Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "XMod",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Abstract", "0.0-1", [ 0, 0, 1 ], 50, 2, "abstract", "X7AA6C5737B711C89" ]
    , 
  [ "Copyright", "0.0-2", [ 0, 0, 2 ], 87, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 97, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 106, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 5, "introduction", "X7DFB63A97E67C0A1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y2d-groups : crossed modules and cat\033[22X^1\\
033[122X\033[101X\027\033[1X\027-groups\033[133X\033[101X", "2", [ 2, 0, 0 ], 
      1, 8, "2d-groups : crossed modules and cat^1-groups", 
      "X7EB8288E8424F39F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructions for crossed modules\033[133X\033[10\
1X", "2.1", [ 2, 1, 0 ], 8, 8, "constructions for crossed modules", 
      "X7BAD9A7F7AFEEC89" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties of crossed modules\033[133X\033[101X"
        , "2.2", [ 2, 2, 0 ], 335, 14, "properties of crossed modules", 
      "X7CF622538749FE73" ], 
  [ "\033[1X\033[33X\033[0;-2YPre-crossed modules\033[133X\033[101X", "2.3", 
      [ 2, 3, 0 ], 457, 16, "pre-crossed modules", "X7D435B6279032D4D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCat\033[22X^1\033[122X\033[101X\027\033[1X\027-gr\
oups and pre-cat\033[22X^1\033[122X\033[101X\027\033[1X\027-groups\033[133X\
\033[101X", "2.4", [ 2, 4, 0 ], 544, 17, "cat^1-groups and pre-cat^1-groups", 
      "X7AAABC1D7E110988" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YProperties of cat\033[22X^1\033[122X\033[101X\\
027\033[1X\027-groups and pre-cat\033[22X^1\033[122X\033[101X\027\033[1X\027-g\
roups\033[133X\033[101X", "2.5", [ 2, 5, 0 ], 806, 22, 
      "properties of cat^1-groups and pre-cat^1-groups", "X8317816A8361F88C" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2YEnumerating cat\033[22X^1\033[122X\033[101X\027\\
033[1X\027-groups with a given source\033[133X\033[101X", "2.6", [ 2, 6, 0 ], 
      952, 24, "enumerating cat^1-groups with a given source", 
      "X80D6CB4080417BFA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSelection of a small cat\033[22X^1\033[122X\033[1\
01X\027\033[1X\027-group\033[133X\033[101X", "2.7", [ 2, 7, 0 ], 1083, 27, 
      "selection of a small cat^1-group", "X7A6A70BD86DE458D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMore functions for crossed modules and cat\033[22\
X^1\033[122X\033[101X\027\033[1X\027-groups\033[133X\033[101X", "2.8", 
      [ 2, 8, 0 ], 1166, 28, 
      "more functions for crossed modules and cat^1-groups", 
      "X8614CDCF8063117F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe group groupoid associated to a cat\033[22X^1\\
033[122X\033[101X\027\033[1X\027-group\033[133X\033[101X", "2.9", 
      [ 2, 9, 0 ], 1215, 29, "the group groupoid associated to a cat^1-group",
      "X7CFAB044817E5E91" ], 
  [ "\033[1X\033[33X\033[0;-2Y2d-mappings\033[133X\033[101X", "3", 
      [ 3, 0, 0 ], 1, 32, "2d-mappings", "X815144D67C1D1AE3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMorphisms of 2-dimensional groups\033[133X\033[10\
1X", "3.1", [ 3, 1, 0 ], 4, 32, "morphisms of 2-dimensional groups", 
      "X7BBEA95E7AE1F317" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMorphisms of pre-crossed modules\033[133X\033[101\
X", "3.2", [ 3, 2, 0 ], 22, 32, "morphisms of pre-crossed modules", 
      "X78CADE4D7EB1EA44" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMorphisms of pre-cat\033[22X^1\033[122X\033[101X\\
027\033[1X\027-groups\033[133X\033[101X", "3.3", [ 3, 3, 0 ], 156, 35, 
      "morphisms of pre-cat^1-groups", "X7B9D3C1F7A395FF2" ], 
  [ "\033[1X\033[33X\033[0;-2YOperations on morphisms\033[133X\033[101X", 
      "3.4", [ 3, 4, 0 ], 284, 37, "operations on morphisms", 
      "X7B09A28579707CAF" ], 
  [ "\033[1X\033[33X\033[0;-2YQuasi-isomorphisms\033[133X\033[101X", "3.5", 
      [ 3, 5, 0 ], 341, 38, "quasi-isomorphisms", "X79C47E3D7855A117" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsoclinism of groups and crossed modules\033[133X\
\033[101X", "4", [ 4, 0, 0 ], 1, 40, 
      "isoclinism of groups and crossed modules", "X802AFE8E7EDB435E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMore operations for crossed modules\033[133X\033[\
101X", "4.1", [ 4, 1, 0 ], 15, 40, "more operations for crossed modules", 
      "X7E373BF3836B3A9C" ], 
  [ "\033[1X\033[33X\033[0;-2YIsoclinism for groups\033[133X\033[101X", 
      "4.2", [ 4, 2, 0 ], 426, 47, "isoclinism for groups", 
      "X7B0D511A82FD945E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsoclinism for crossed modules\033[133X\033[101X"
        , "4.3", [ 4, 3, 0 ], 519, 49, "isoclinism for crossed modules", 
      "X81338C977972AD83" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhitehead group of a crossed module\033[133X\033[\
101X", "5", [ 5, 0, 0 ], 1, 51, "whitehead group of a crossed module", 
      "X85CD9A43847AE1B8" ], 
  [ "\033[1X\033[33X\033[0;-2YDerivations and Sections\033[133X\033[101X", 
      "5.1", [ 5, 1, 0 ], 4, 51, "derivations and sections", 
      "X7C01AE7783898705" ], 
  [ "\033[1X\033[33X\033[0;-2YWhitehead Monoids and Groups\033[133X\033[101X",
      "5.2", [ 5, 2, 0 ], 219, 54, "whitehead monoids and groups", 
      "X861A52407D3C627D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEndomorphisms determined by a derivation\033[133X\
\033[101X", "5.3", [ 5, 3, 0 ], 398, 58, 
      "endomorphisms determined by a derivation", "X7E53AF1884B2D03D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhitehead groups for cat\033[22X^1\033[122X\033[1\
01X\027\033[1X\027-groups\033[133X\033[101X", "5.4", [ 5, 4, 0 ], 461, 59, 
      "whitehead groups for cat^1-groups", "X820501BF83D1D6D7" ], 
  [ "\033[1X\033[33X\033[0;-2YActors of 2d-groups\033[133X\033[101X", "6", 
      [ 6, 0, 0 ], 1, 60, "actors of 2d-groups", "X84C872BB7F1E5F25" ], 
  [ "\033[1X\033[33X\033[0;-2YActor of a crossed module\033[133X\033[101X", 
      "6.1", [ 6, 1, 0 ], 4, 60, "actor of a crossed module", 
      "X7B853602873FC7AB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YActor of a cat\033[22X^1\033[122X\033[101X\027\\
033[1X\027-group\033[133X\033[101X", "6.2", [ 6, 2, 0 ], 237, 64, 
      "actor of a cat^1-group", "X81BFAD86831097E3" ], 
  [ "\033[1X\033[33X\033[0;-2YInduced constructions\033[133X\033[101X", "7", 
      [ 7, 0, 0 ], 1, 66, "induced constructions", "X8339DF98872D2E1C" ], 
  [ "\033[1X\033[33X\033[0;-2YCoproducts of crossed modules\033[133X\033[101X"
        , "7.1", [ 7, 1, 0 ], 8, 66, "coproducts of crossed modules", 
      "X80D3C8F97A10D5E5" ], 
  [ "\033[1X\033[33X\033[0;-2YInduced crossed modules\033[133X\033[101X", 
      "7.2", [ 7, 2, 0 ], 90, 67, "induced crossed modules", 
      "X7966FF497C36C465" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInduced cat\033[22X^1\033[122X\033[101X\027\033[1\
X\027-groups\033[133X\033[101X", "7.3", [ 7, 3, 0 ], 255, 70, 
      "induced cat^1-groups", "X814A695779706E22" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCrossed squares and Cat\033[22X^2\033[122X\033[10\
1X\027\033[1X\027-groups\033[133X\033[101X", "8", [ 8, 0, 0 ], 1, 71, 
      "crossed squares and cat^2-groups", "X780368C083C76EDC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDefinition of a crossed square and a crossed \\
033[22Xn\033[122X\033[101X\027\033[1X\027-cube of groups\033[133X\033[101X", 
      "8.1", [ 8, 1, 0 ], 12, 71, 
      "definition of a crossed square and a crossed n-cube of groups", 
      "X7C4AFE8D85848C8F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructions for crossed squares\033[133X\033[10\
1X", "8.2", [ 8, 2, 0 ], 128, 73, "constructions for crossed squares", 
      "X820A7D30847BC828" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSubstructures of Crossed Squares\033[133X\033[101\
X", "8.3", [ 8, 3, 0 ], 616, 81, "substructures of crossed squares", 
      "X79A59CED7C69BF18" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms of crossed squares\033[133X\033[101X",
      "8.4", [ 8, 4, 0 ], 676, 82, "morphisms of crossed squares", 
      "X78A79A7E85128C7B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDefinitions and constructions for cat\033[22X^2\\
033[122X\033[101X\027\033[1X\027-groups and their morphisms\033[133X\033[101X"
        , "8.5", [ 8, 5, 0 ], 772, 84, 
      "definitions and constructions for cat^2-groups and their morphisms", 
      "X86D5AA247B64ED51" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEnumerating cat\033[22X^2\033[122X\033[101X\027\\
033[1X\027-groups with a given source\033[133X\033[101X", "8.6", [ 8, 6, 0 ], 
      1171, 91, "enumerating cat^2-groups with a given source", 
      "X80FB2B328578DE42" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCat\033[22X^3\033[122X\033[101X\027\033[1X\027-gr\
oups and Crossed cubes\033[133X\033[101X", "9", [ 9, 0, 0 ], 1, 95, 
      "cat^3-groups and crossed cubes", "X7DBA3A7E81C71A64" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFunctions for (pre-)cat\033[22X^3\033[122X\033[10\
1X\027\033[1X\027-groups\033[133X\033[101X", "9.1", [ 9, 1, 0 ], 12, 95, 
      "functions for pre- cat^3-groups", "X7CC52AF4840F478E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEnumerating cat\033[22X^3\033[122X\033[101X\027\\
033[1X\027-groups with a given source\033[133X\033[101X", "9.2", [ 9, 2, 0 ], 
      99, 97, "enumerating cat^3-groups with a given source", 
      "X80E074E37D02B2F6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDefinition and constructions for cat\033[22X^n\\
033[122X\033[101X\027\033[1X\027-groups and their morphisms\033[133X\033[101X"
        , "9.3", [ 9, 3, 0 ], 135, 97, 
      "definition and constructions for cat^n-groups and their morphisms", 
      "X7F8538B580847268" ], 
  [ "\033[1X\033[33X\033[0;-2YCrossed modules of groupoids\033[133X\033[101X",
      "10", [ 10, 0, 0 ], 1, 100, "crossed modules of groupoids", 
      "X80B3A81B7E5CA3A9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructions for crossed modules of groupoids\\
033[133X\033[101X", "10.1", [ 10, 1, 0 ], 7, 100, 
      "constructions for crossed modules of groupoids", "X847F4ED77F50528C" ],
  [ "\033[1X\033[33X\033[0;-2YDouble Groupoids\033[133X\033[101X", "11", 
      [ 11, 0, 0 ], 1, 103, "double groupoids", "X83B7E8A287C9284A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructions for Double Groupoids\033[133X\033[1\
01X", "11.1", [ 11, 1, 0 ], 21, 103, "constructions for double groupoids", 
      "X87AC8EF586C35CD4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConversion of Basic Double Groupoids\033[133X\\
033[101X", "11.2", [ 11, 2, 0 ], 316, 108, 
      "conversion of basic double groupoids", "X7D69B5A680FE4C81" ], 
  [ "\033[1X\033[33X\033[0;-2YCommutative double groupoids\033[133X\033[101X",
      "11.3", [ 11, 3, 0 ], 367, 110, "commutative double groupoids", 
      "X853B15F483477D5C" ], 
  [ "\033[1X\033[33X\033[0;-2YApplications\033[133X\033[101X", "12", 
      [ 12, 0, 0 ], 1, 111, "applications", "X7DD7F0847FF2B96C" ], 
  [ "\033[1X\033[33X\033[0;-2YFree Loop Spaces\033[133X\033[101X", "12.1", 
      [ 12, 1, 0 ], 8, 111, "free loop spaces", "X8575260A80F735BD" ], 
  [ "\033[1X\033[33X\033[0;-2YInteraction with HAP\033[133X\033[101X", "13", 
      [ 13, 0, 0 ], 1, 113, "interaction with hap", "X81EC8C8A82C15298" ], 
  [ "\033[1X\033[33X\033[0;-2YCalling HAP functions\033[133X\033[101X", 
      "13.1", [ 13, 1, 0 ], 7, 113, "calling hap functions", 
      "X865CE53A827FBE6F" ], 
  [ "\033[1X\033[33X\033[0;-2YUtility functions\033[133X\033[101X", "14", 
      [ 14, 0, 0 ], 1, 115, "utility functions", "X810FFB1C8035C8BE" ], 
  [ "\033[1X\033[33X\033[0;-2YMappings\033[133X\033[101X", "14.1", 
      [ 14, 1, 0 ], 15, 115, "mappings", "X7C9734B880042C73" ], 
  [ "\033[1X\033[33X\033[0;-2YAbelian Modules\033[133X\033[101X", "14.2", 
      [ 14, 2, 0 ], 70, 116, "abelian modules", "X852BD9CA84C2AFF0" ], 
  [ "\033[1X\033[33X\033[0;-2YDevelopment history\033[133X\033[101X", "15", 
      [ 15, 0, 0 ], 1, 118, "development history", "X810C43BC7F63C4B4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanges from version to version\033[133X\033[101X\
", "15.1", [ 15, 1, 0 ], 17, 118, "changes from version to version", 
      "X7ACE7E8384B73156" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YVersion 1 for \033[5XGAP\033[105X\033[101X\027\\
033[1X\027 3\033[133X\033[101X", "15.1-1", [ 15, 1, 1 ], 20, 118, 
      "version 1 for gap 3", "X848198AA862249C4" ], 
  [ "\033[1X\033[33X\033[0;-2YVersion 2\033[133X\033[101X", "15.1-2", 
      [ 15, 1, 2 ], 26, 118, "version 2", "X7CF8E72D80AAB54F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YVersion 2.001 for \033[5XGAP\033[105X\033[101X\\
027\033[1X\027 4\033[133X\033[101X", "15.1-3", [ 15, 1, 3 ], 38, 118, 
      "version 2.001 for gap 4", "X7F9CE0487BB6F660" ], 
  [ "\033[1X\033[33X\033[0;-2YInduced crossed modules\033[133X\033[101X", 
      "15.1-4", [ 15, 1, 4 ], 46, 119, "induced crossed modules", 
      "X7966FF497C36C465" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.002 -- 2.006\033[133X\033[101X", 
      "15.1-5", [ 15, 1, 5 ], 52, 119, "versions 2.002 -- 2.006", 
      "X7E0B70FD82DC5BA8" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.007 -- 2.010\033[133X\033[101X", 
      "15.1-6", [ 15, 1, 6 ], 64, 119, "versions 2.007 -- 2.010", 
      "X7F6E650E85384C25" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YVersions for \033[5XGAP\033[105X\033[101X\027\\
033[1X\027 [4.5 .. 4.12]\033[133X\033[101X", "15.2", [ 15, 2, 0 ], 87, 119, 
      "versions for gap [4.5 .. 4.12]", "X80A8A3FB82048ADD" ], 
  [ "\033[1X\033[33X\033[0;-2YAllCat1s\033[133X\033[101X", "15.2-1", 
      [ 15, 2, 1 ], 99, 119, "allcat1s", "X794BBE42839F2E18" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.43 - 2.56\033[133X\033[101X", 
      "15.2-2", [ 15, 2, 2 ], 117, 120, "versions 2.43 - 2.56", 
      "X78C26CC27D48B1A8" ], 
  [ "\033[1X\033[33X\033[0;-2YVersion 2.61\033[133X\033[101X", "15.2-3", 
      [ 15, 2, 3 ], 133, 120, "version 2.61", "X8715310378F0F8D2" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.63 - 2.74\033[133X\033[101X", 
      "15.2-4", [ 15, 2, 4 ], 143, 120, "versions 2.63 - 2.74", 
      "X87EE8E70786CAF46" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.75 - 2.85\033[133X\033[101X", 
      "15.2-5", [ 15, 2, 5 ], 152, 120, "versions 2.75 - 2.85", 
      "X85F63D6979B72CA5" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions 2.86 - 2.91\033[133X\033[101X", 
      "15.2-6", [ 15, 2, 6 ], 160, 120, "versions 2.86 - 2.91", 
      "X81023EBF7CD2352E" ], 
  [ "\033[1X\033[33X\033[0;-2YVersions from 2.92\033[133X\033[101X", 
      "15.2-7", [ 15, 2, 7 ], 168, 121, "versions from 2.92", 
      "X87062F217BAC0B6E" ], 
  [ "\033[1X\033[33X\033[0;-2YWhat needs doing next?\033[133X\033[101X", 
      "15.3", [ 15, 3, 0 ], 175, 121, "what needs doing next?", 
      "X83D1530487593182" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 122, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 122, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 124, "index", "X83A0356F839C696F" ], 
  [ "\033[10XInfoXMod\033[110X", "1.0", [ 1, 0, 0 ], 1, 5, "infoxmod", 
      "X7DFB63A97E67C0A1" ], 
  [ "2d-domain", "2.0", [ 2, 0, 0 ], 1, 8, "2d-domain", "X7EB8288E8424F39F" ],
  [ "2d-group", "2.0", [ 2, 0, 0 ], 1, 8, "2d-group", "X7EB8288E8424F39F" ], 
  [ "crossed module", "2.1", [ 2, 1, 0 ], 8, 8, "crossed module", 
      "X7BAD9A7F7AFEEC89" ], 
  [ "\033[2XXMod\033[102X", "2.1-1", [ 2, 1, 1 ], 29, 8, "xmod", 
      "X7C8175AE7F76B586" ], 
  [ "\033[2XXModByBoundaryAndAction\033[102X", "2.1-1", [ 2, 1, 1 ], 29, 8, 
      "xmodbyboundaryandaction", "X7C8175AE7F76B586" ], 
  [ "\033[2XXModByNormalSubgroup\033[102X", "2.1-2", [ 2, 1, 2 ], 50, 9, 
      "xmodbynormalsubgroup", "X83050ED686776933" ], 
  [ "\033[2XXModByTrivialAction\033[102X", "2.1-3", [ 2, 1, 3 ], 57, 9, 
      "xmodbytrivialaction", "X867B2D53832EF05E" ], 
  [ "\033[2XXModByAutomorphismGroup\033[102X", "2.1-4", [ 2, 1, 4 ], 94, 9, 
      "xmodbyautomorphismgroup", "X78B14FDA817CCEEF" ], 
  [ "\033[2XXModByInnerAutomorphismGroup\033[102X", "2.1-4", [ 2, 1, 4 ], 94, 
      9, "xmodbyinnerautomorphismgroup", "X78B14FDA817CCEEF" ], 
  [ "\033[2XXModByGroupOfAutomorphisms\033[102X", "2.1-4", [ 2, 1, 4 ], 94, 
      9, "xmodbygroupofautomorphisms", "X78B14FDA817CCEEF" ], 
  [ "\033[2XXModByCentralExtension\033[102X", "2.1-5", [ 2, 1, 5 ], 123, 10, 
      "xmodbycentralextension", "X7D0F6FAA7AF69844" ], 
  [ "\033[2XXModByPullback\033[102X", "2.1-6", [ 2, 1, 6 ], 156, 11, 
      "xmodbypullback", "X84FA2B0A795B6997" ], 
  [ "\033[2XXModByAbelianModule\033[102X", "2.1-7", [ 2, 1, 7 ], 193, 11, 
      "xmodbyabelianmodule", "X824631577864961E" ], 
  [ "\033[2XDirectProduct\033[102X for crossed modules", "2.1-8", 
      [ 2, 1, 8 ], 200, 11, "directproduct for crossed modules", 
      "X81704DFB795C0D29" ], 
  [ "\033[2XSource\033[102X for crossed modules", "2.1-9", [ 2, 1, 9 ], 229, 
      12, "source for crossed modules", "X790248A67CB9C33A" ], 
  [ "\033[2XRange\033[102X for crossed modules", "2.1-9", [ 2, 1, 9 ], 229, 
      12, "range for crossed modules", "X790248A67CB9C33A" ], 
  [ "\033[2XBoundary\033[102X for crossed modules", "2.1-9", [ 2, 1, 9 ], 
      229, 12, "boundary for crossed modules", "X790248A67CB9C33A" ], 
  [ "\033[2XXModAction\033[102X for crossed modules of groups", "2.1-9", 
      [ 2, 1, 9 ], 229, 12, "xmodaction for crossed modules of groups", 
      "X790248A67CB9C33A" ], 
  [ "AutoGroup", "2.1-9", [ 2, 1, 9 ], 229, 12, "autogroup", 
      "X790248A67CB9C33A" ], 
  [ "\033[2XImageElmXModAction\033[102X", "2.1-10", [ 2, 1, 10 ], 264, 12, 
      "imageelmxmodaction", "X7AF6602C87845F1D" ], 
  [ "\033[2XSize2d\033[102X for crossed modules", "2.1-11", [ 2, 1, 11 ], 
      277, 13, "size2d for crossed modules", "X7846A7D37957B89E" ], 
  [ "\033[2XName\033[102X for crossed modules", "2.1-12", [ 2, 1, 12 ], 296, 
      13, "name for crossed modules", "X85516B19803C01C0" ], 
  [ "\033[2XIdGroup\033[102X for crossed modules", "2.1-12", [ 2, 1, 12 ], 
      296, 13, "idgroup for crossed modules", "X85516B19803C01C0" ], 
  [ "\033[2XExternalSetXMod\033[102X", "2.1-12", [ 2, 1, 12 ], 296, 13, 
      "externalsetxmod", "X85516B19803C01C0" ], 
  [ "Display for a 2d-group", "2.1-12", [ 2, 1, 12 ], 296, 13, 
      "display for a 2d-group", "X85516B19803C01C0" ], 
  [ "Is2DimensionalDomain", "2.2", [ 2, 2, 0 ], 335, 14, 
      "is2dimensionaldomain", "X7CF622538749FE73" ], 
  [ "Is2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, "is2dimensionalgroup",
      "X7CF622538749FE73" ], 
  [ "IsTrivialAction2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, 
      "istrivialaction2dimensionalgroup", "X7CF622538749FE73" ], 
  [ "IsNormalSubgroup2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, 
      "isnormalsubgroup2dimensionalgroup", "X7CF622538749FE73" ], 
  [ "IsCentralExtension2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, 
      "iscentralextension2dimensionalgroup", "X7CF622538749FE73" ], 
  [ "IsAutomorphismGroup2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, 
      "isautomorphismgroup2dimensionalgroup", "X7CF622538749FE73" ], 
  [ "IsAbelianModule2DimensionalGroup", "2.2", [ 2, 2, 0 ], 335, 14, 
      "isabelianmodule2dimensionalgroup", "X7CF622538749FE73" ], 
  [ "\033[2XIsXMod\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, "isxmod", 
      "X7E77E6B881B1CE50" ], 
  [ "\033[2XIsPreXMod\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, "isprexmod", 
      "X7E77E6B881B1CE50" ], 
  [ "\033[2XIs2DimensionalGroup\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, 
      "is2dimensionalgroup", "X7E77E6B881B1CE50" ], 
  [ "\033[2XIsPerm2DimensionalGroup\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, 
      "isperm2dimensionalgroup", "X7E77E6B881B1CE50" ], 
  [ "\033[2XIsPc2DimensionalGroup\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, 
      "ispc2dimensionalgroup", "X7E77E6B881B1CE50" ], 
  [ "\033[2XIsFp2DimensionalGroup\033[102X", "2.2-1", [ 2, 2, 1 ], 347, 14, 
      "isfp2dimensionalgroup", "X7E77E6B881B1CE50" ], 
  [ "\033[2XSubXMod\033[102X", "2.2-2", [ 2, 2, 2 ], 386, 15, "subxmod", 
      "X7884284383284A87" ], 
  [ "\033[2XTrivialSubXMod\033[102X", "2.2-2", [ 2, 2, 2 ], 386, 15, 
      "trivialsubxmod", "X7884284383284A87" ], 
  [ "\033[2XNormalSubXMods\033[102X", "2.2-2", [ 2, 2, 2 ], 386, 15, 
      "normalsubxmods", "X7884284383284A87" ], 
  [ "\033[2XIsNormal\033[102X for pre-crossed modules", "2.2-2", [ 2, 2, 2 ], 
      386, 15, "isnormal for pre-crossed modules", "X7884284383284A87" ], 
  [ "\033[2XKernelCokernelXMod\033[102X", "2.2-3", [ 2, 2, 3 ], 434, 15, 
      "kernelcokernelxmod", "X7D8165F77B23BCF6" ], 
  [ "pre-crossed module", "2.3", [ 2, 3, 0 ], 457, 16, "pre-crossed module", 
      "X7D435B6279032D4D" ], 
  [ "\033[2XPreXModByBoundaryAndAction\033[102X", "2.3-1", [ 2, 3, 1 ], 460, 
      16, "prexmodbyboundaryandaction", "X8487BE427858C5C9" ], 
  [ "\033[2XPreXModWithTrivialRange\033[102X", "2.3-1", [ 2, 3, 1 ], 460, 16, 
      "prexmodwithtrivialrange", "X8487BE427858C5C9" ], 
  [ "\033[2XSubPreXMod\033[102X", "2.3-1", [ 2, 3, 1 ], 460, 16, 
      "subprexmod", "X8487BE427858C5C9" ], 
  [ "Peiffer subgroup", "2.3-1", [ 2, 3, 1 ], 460, 16, "peiffer subgroup", 
      "X8487BE427858C5C9" ], 
  [ "\033[2XPeifferSubgroup\033[102X", "2.3-2", [ 2, 3, 2 ], 504, 17, 
      "peiffersubgroup", "X8527F4C07A8F359E" ], 
  [ "\033[2XXModByPeifferQuotient\033[102X", "2.3-2", [ 2, 3, 2 ], 504, 17, 
      "xmodbypeifferquotient", "X8527F4C07A8F359E" ], 
  [ "cat\033[22X^1\033[122X-group", "2.4", [ 2, 4, 0 ], 544, 17, 
      "cat^1-group", "X7AAABC1D7E110988" ], 
  [ "\033[2XCat1Group\033[102X", "2.4-1", [ 2, 4, 1 ], 566, 18, "cat1group", 
      "X7CF4C37F87D27EBA" ], 
  [ "\033[2XPreCat1Group\033[102X", "2.4-1", [ 2, 4, 1 ], 566, 18, 
      "precat1group", "X7CF4C37F87D27EBA" ], 
  [ "\033[2XPreCat1GroupByTailHeadEmbedding\033[102X", "2.4-1", [ 2, 4, 1 ], 
      566, 18, "precat1groupbytailheadembedding", "X7CF4C37F87D27EBA" ], 
  [ "\033[2XPreCat1GroupWithIdentityEmbedding\033[102X", "2.4-1", 
      [ 2, 4, 1 ], 566, 18, "precat1groupwithidentityembedding", 
      "X7CF4C37F87D27EBA" ], 
  [ "\033[2XSource\033[102X for cat1-groups", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "source for cat1-groups", "X7C4FFC4086531157" ], 
  [ "\033[2XRange\033[102X for cat1-groups", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "range for cat1-groups", "X7C4FFC4086531157" ], 
  [ "\033[2XTailMap\033[102X", "2.4-2", [ 2, 4, 2 ], 608, 18, "tailmap", 
      "X7C4FFC4086531157" ], 
  [ "\033[2XHeadMap\033[102X", "2.4-2", [ 2, 4, 2 ], 608, 18, "headmap", 
      "X7C4FFC4086531157" ], 
  [ "\033[2XRangeEmbedding\033[102X", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "rangeembedding", "X7C4FFC4086531157" ], 
  [ "\033[2XKernelEmbedding\033[102X", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "kernelembedding", "X7C4FFC4086531157" ], 
  [ "\033[2XBoundary\033[102X for cat1-groups", "2.4-2", [ 2, 4, 2 ], 608, 
      18, "boundary for cat1-groups", "X7C4FFC4086531157" ], 
  [ "\033[2XName\033[102X for cat1-groups", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "name for cat1-groups", "X7C4FFC4086531157" ], 
  [ "\033[2XSize2d\033[102X for cat1-groups", "2.4-2", [ 2, 4, 2 ], 608, 18, 
      "size2d for cat1-groups", "X7C4FFC4086531157" ], 
  [ "\033[2XDiagonalCat1Group\033[102X", "2.4-3", [ 2, 4, 3 ], 654, 19, 
      "diagonalcat1group", "X79944C7B87F767FD" ], 
  [ "\033[2XTransposeCat1Group\033[102X", "2.4-4", [ 2, 4, 4 ], 689, 20, 
      "transposecat1group", "X79385660821E54A3" ], 
  [ "\033[2XTransposeIsomorphism\033[102X", "2.4-4", [ 2, 4, 4 ], 689, 20, 
      "transposeisomorphism", "X79385660821E54A3" ], 
  [ "\033[2XCat1GroupByPeifferQuotient\033[102X", "2.4-5", [ 2, 4, 5 ], 715, 
      20, "cat1groupbypeifferquotient", "X87544FAD873672E1" ], 
  [ "\033[2XSubCat1Group\033[102X", "2.4-6", [ 2, 4, 6 ], 752, 21, 
      "subcat1group", "X85D9C5F881DBA9FC" ], 
  [ "\033[2XSubPreCat1Group\033[102X", "2.4-6", [ 2, 4, 6 ], 752, 21, 
      "subprecat1group", "X85D9C5F881DBA9FC" ], 
  [ "\033[2XDirectProduct\033[102X for cat1-groups", "2.4-7", [ 2, 4, 7 ], 
      770, 21, "directproduct for cat1-groups", "X7CE4F14585F6D473" ], 
  [ "\033[2XIsCat1Group\033[102X", "2.5-1", [ 2, 5, 1 ], 813, 22, 
      "iscat1group", "X78E03FAB84A57D03" ], 
  [ "\033[2XIsPreXCat1Group\033[102X", "2.5-1", [ 2, 5, 1 ], 813, 22, 
      "isprexcat1group", "X78E03FAB84A57D03" ], 
  [ "\033[2XIsIdentityCat1Group\033[102X", "2.5-1", [ 2, 5, 1 ], 813, 22, 
      "isidentitycat1group", "X78E03FAB84A57D03" ], 
  [ "\033[2XIsPreCat1GroupWithIdentityEmbedding\033[102X", "2.5-2", 
      [ 2, 5, 2 ], 849, 23, "isprecat1groupwithidentityembedding", 
      "X7B7CF88F83B0129D" ], 
  [ "\033[2XIsomorphicPreCat1GroupWithIdentityEmbedding\033[102X", "2.5-2", 
      [ 2, 5, 2 ], 849, 23, "isomorphicprecat1groupwithidentityembedding", 
      "X7B7CF88F83B0129D" ], 
  [ "\033[2XIsomorphismToPreCat1GroupWithIdentityEmbedding\033[102X", 
      "2.5-2", [ 2, 5, 2 ], 849, 23, 
      "isomorphismtoprecat1groupwithidentityembedding", "X7B7CF88F83B0129D" ],
  [ "\033[2XCat1GroupOfXMod\033[102X", "2.5-3", [ 2, 5, 3 ], 882, 23, 
      "cat1groupofxmod", "X82F10A59867C765D" ], 
  [ "\033[2XXModOfCat1Group\033[102X", "2.5-3", [ 2, 5, 3 ], 882, 23, 
      "xmodofcat1group", "X82F10A59867C765D" ], 
  [ "\033[2XPreCat1GroupRecordOfPreXMod\033[102X", "2.5-3", [ 2, 5, 3 ], 882, 
      23, "precat1grouprecordofprexmod", "X82F10A59867C765D" ], 
  [ "\033[2XPreXModRecordOfPreCat1Group\033[102X", "2.5-3", [ 2, 5, 3 ], 882, 
      23, "prexmodrecordofprecat1group", "X82F10A59867C765D" ], 
  [ "\033[2XAllCat1GroupsWithImage\033[102X", "2.6-1", [ 2, 6, 1 ], 964, 25, 
      "allcat1groupswithimage", "X7BDEBBF17CE6A6D4" ], 
  [ "\033[2XAllCat1GroupsWithImageIterator\033[102X", "2.6-1", [ 2, 6, 1 ], 
      964, 25, "allcat1groupswithimageiterator", "X7BDEBBF17CE6A6D4" ], 
  [ "\033[2XAllCat1GroupsWithImageNumber\033[102X", "2.6-1", [ 2, 6, 1 ], 
      964, 25, "allcat1groupswithimagenumber", "X7BDEBBF17CE6A6D4" ], 
  [ "\033[2XAllCat1GroupsWithImageUpToIsomorphism\033[102X", "2.6-1", 
      [ 2, 6, 1 ], 964, 25, "allcat1groupswithimageuptoisomorphism", 
      "X7BDEBBF17CE6A6D4" ], 
  [ "\033[2XAllCat1GroupsMatrix\033[102X", "2.6-2", [ 2, 6, 2 ], 992, 25, 
      "allcat1groupsmatrix", "X7FBFC8C87FC1AC5A" ], 
  [ "\033[2XAllCat1GroupsIterator\033[102X", "2.6-3", [ 2, 6, 3 ], 1032, 26, 
      "allcat1groupsiterator", "X7FEB2FCE7D9ADA85" ], 
  [ "\033[2XAllCat1GroupsUpToIsomorphism\033[102X", "2.6-3", [ 2, 6, 3 ], 
      1032, 26, "allcat1groupsuptoisomorphism", "X7FEB2FCE7D9ADA85" ], 
  [ "\033[2XAllCat1Groups\033[102X", "2.6-3", [ 2, 6, 3 ], 1032, 26, 
      "allcat1groups", "X7FEB2FCE7D9ADA85" ], 
  [ "\033[2XCatnGroupNumbers\033[102X for cat1-groups", "2.6-4", [ 2, 6, 4 ], 
      1058, 26, "catngroupnumbers for cat1-groups", "X7C6346A17FEEDFA1" ], 
  [ "\033[2XCatnGroupLists\033[102X for cat1-groups", "2.6-4", [ 2, 6, 4 ], 
      1058, 26, "catngrouplists for cat1-groups", "X7C6346A17FEEDFA1" ], 
  [ "\033[2XInitCatnGroupRecords\033[102X", "2.6-4", [ 2, 6, 4 ], 1058, 26, 
      "initcatngrouprecords", "X7C6346A17FEEDFA1" ], 
  [ "selection of a small cat\033[22X^1\033[122X-group", "2.7", [ 2, 7, 0 ], 
      1083, 27, "selection of a small cat^1-group", "X7A6A70BD86DE458D" ], 
  [ "CAT1_LIST_MAX_SIZE", "2.7", [ 2, 7, 0 ], 1083, 27, "cat1_list_max_size", 
      "X7A6A70BD86DE458D" ], 
  [ "CAT1_LIST_NUMBERS", "2.7", [ 2, 7, 0 ], 1083, 27, "cat1_list_numbers", 
      "X7A6A70BD86DE458D" ], 
  [ "\033[2XCat1Select\033[102X", "2.7-1", [ 2, 7, 1 ], 1101, 27, 
      "cat1select", "X7B8E67D880E380C8" ], 
  [ "\033[2XIdGroup\033[102X for 2d-groups", "2.8-1", [ 2, 8, 1 ], 1175, 28, 
      "idgroup for 2d-groups", "X7831DB527CF9DD57" ], 
  [ "\033[2XStructureDescription\033[102X for 2d-groups", "2.8-1", 
      [ 2, 8, 1 ], 1175, 28, "structuredescription for 2d-groups", 
      "X7831DB527CF9DD57" ], 
  [ "\033[2XIsSubXMod\033[102X", "2.8-2", [ 2, 8, 2 ], 1194, 29, "issubxmod", 
      "X83BBC6818168C282" ], 
  [ "\033[2XIsSubPreXMod\033[102X", "2.8-2", [ 2, 8, 2 ], 1194, 29, 
      "issubprexmod", "X83BBC6818168C282" ], 
  [ "\033[2XIsSubCat1Group\033[102X", "2.8-2", [ 2, 8, 2 ], 1194, 29, 
      "issubcat1group", "X83BBC6818168C282" ], 
  [ "\033[2XIsSubPreCat1Group\033[102X", "2.8-2", [ 2, 8, 2 ], 1194, 29, 
      "issubprecat1group", "X83BBC6818168C282" ], 
  [ "\033[2XIsSub2DimensionalGroup\033[102X", "2.8-2", [ 2, 8, 2 ], 1194, 29, 
      "issub2dimensionalgroup", "X83BBC6818168C282" ], 
  [ "\033[2XGroupGroupoid\033[102X", "2.9-1", [ 2, 9, 1 ], 1233, 29, 
      "groupgroupoid", "X7AF5AF668331321E" ], 
  [ "\033[2XGroupGroupoidElement\033[102X", "2.9-2", [ 2, 9, 2 ], 1271, 30, 
      "groupgroupoidelement", "X8578AB6D7C1FC4F3" ], 
  [ "2d-mapping", "3.0", [ 3, 0, 0 ], 1, 32, "2d-mapping", 
      "X815144D67C1D1AE3" ], 
  [ "morphism of 2d-group", "3.1", [ 3, 1, 0 ], 4, 32, "morphism of 2d-group",
      "X7BBEA95E7AE1F317" ], 
  [ "crossed module morphism", "3.1", [ 3, 1, 0 ], 4, 32, 
      "crossed module morphism", "X7BBEA95E7AE1F317" ], 
  [ "\033[2XSource\033[102X for 2d-group mappings", "3.1-1", [ 3, 1, 1 ], 10, 
      32, "source for 2d-group mappings", "X7FFD094F7FFB1F17" ], 
  [ "\033[2XRange\033[102X for 2d-group mappings", "3.1-1", [ 3, 1, 1 ], 10, 
      32, "range for 2d-group mappings", "X7FFD094F7FFB1F17" ], 
  [ "\033[2XSourceHom\033[102X", "3.1-1", [ 3, 1, 1 ], 10, 32, "sourcehom", 
      "X7FFD094F7FFB1F17" ], 
  [ "\033[2XRangeHom\033[102X", "3.1-1", [ 3, 1, 1 ], 10, 32, "rangehom", 
      "X7FFD094F7FFB1F17" ], 
  [ "morphism", "3.2", [ 3, 2, 0 ], 22, 32, "morphism", "X78CADE4D7EB1EA44" ],
  [ "\033[2XIsXModMorphism\033[102X", "3.2-1", [ 3, 2, 1 ], 25, 32, 
      "isxmodmorphism", "X82B912B18127A42A" ], 
  [ "\033[2XIsPreXModMorphism\033[102X", "3.2-1", [ 3, 2, 1 ], 25, 32, 
      "isprexmodmorphism", "X82B912B18127A42A" ], 
  [ "\033[2XIsInjective\033[102X for pre-xmod morphisms", "3.2-2", 
      [ 3, 2, 2 ], 46, 33, "isinjective for pre-xmod morphisms", 
      "X7E078F497F4EFA9F" ], 
  [ "\033[2XIsSurjective\033[102X for pre-xmod morphisms", "3.2-2", 
      [ 3, 2, 2 ], 46, 33, "issurjective for pre-xmod morphisms", 
      "X7E078F497F4EFA9F" ], 
  [ "\033[2XIsSingleValued\033[102X for pre-xmod morphisms", "3.2-2", 
      [ 3, 2, 2 ], 46, 33, "issinglevalued for pre-xmod morphisms", 
      "X7E078F497F4EFA9F" ], 
  [ "\033[2XIsTotal\033[102X for pre-xmod morphisms", "3.2-2", [ 3, 2, 2 ], 
      46, 33, "istotal for pre-xmod morphisms", "X7E078F497F4EFA9F" ], 
  [ "\033[2XIsBijective\033[102X for pre-xmod morphisms", "3.2-2", 
      [ 3, 2, 2 ], 46, 33, "isbijective for pre-xmod morphisms", 
      "X7E078F497F4EFA9F" ], 
  [ "\033[2XIsEndo2DimensionalMapping\033[102X", "3.2-2", [ 3, 2, 2 ], 46, 
      33, "isendo2dimensionalmapping", "X7E078F497F4EFA9F" ], 
  [ "\033[2XXModMorphism\033[102X", "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "xmodmorphism", "X7CEABD6487CF2A38" ], 
  [ "\033[2XXModMorphismByGroupHomomorphisms\033[102X", "3.2-3", [ 3, 2, 3 ], 
      59, 33, "xmodmorphismbygrouphomomorphisms", "X7CEABD6487CF2A38" ], 
  [ "\033[2XPreXModMorphism\033[102X", "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "prexmodmorphism", "X7CEABD6487CF2A38" ], 
  [ "\033[2XPreXModMorphismByGroupHomomorphisms\033[102X", "3.2-3", 
      [ 3, 2, 3 ], 59, 33, "prexmodmorphismbygrouphomomorphisms", 
      "X7CEABD6487CF2A38" ], 
  [ "\033[2XInclusionMorphism2DimensionalDomains\033[102X for crossed modules"
        , "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "inclusionmorphism2dimensionaldomains for crossed modules", 
      "X7CEABD6487CF2A38" ], 
  [ "\033[2XInnerAutomorphismXMod\033[102X", "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "innerautomorphismxmod", "X7CEABD6487CF2A38" ], 
  [ "\033[2XIdentityMapping\033[102X for pre-xmods", "3.2-3", [ 3, 2, 3 ], 
      59, 33, "identitymapping for pre-xmods", "X7CEABD6487CF2A38" ], 
  [ "display a 2d-mapping", "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "display a 2d-mapping", "X7CEABD6487CF2A38" ], 
  [ "order of a 2d-automorphism", "3.2-3", [ 3, 2, 3 ], 59, 33, 
      "order of a 2d-automorphism", "X7CEABD6487CF2A38" ], 
  [ "\033[2XIsomorphismPerm2DimensionalGroup\033[102X for pre-xmod morphisms",
      "3.2-4", [ 3, 2, 4 ], 108, 34, 
      "isomorphismperm2dimensionalgroup for pre-xmod morphisms", 
      "X854FC0C781AD62EC" ], 
  [ "\033[2XIsomorphismPc2DimensionalGroup\033[102X for pre-xmod morphisms", 
      "3.2-4", [ 3, 2, 4 ], 108, 34, 
      "isomorphismpc2dimensionalgroup for pre-xmod morphisms", 
      "X854FC0C781AD62EC" ], 
  [ "\033[2XIsomorphismByIsomorphisms\033[102X", "3.2-4", [ 3, 2, 4 ], 108, 
      34, "isomorphismbyisomorphisms", "X854FC0C781AD62EC" ], 
  [ "\033[2XMorphismOfPullback\033[102X for a crossed module by pullback", 
      "3.2-5", [ 3, 2, 5 ], 147, 34, 
      "morphismofpullback for a crossed module by pullback", 
      "X87BCAAF787A7FF69" ], 
  [ "\033[2XIsCat1GroupMorphism\033[102X", "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "iscat1groupmorphism", "X7C47D0EC782D4C40" ], 
  [ "\033[2XIsPreCat1GroupMorphism\033[102X", "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "isprecat1groupmorphism", "X7C47D0EC782D4C40" ], 
  [ "\033[2XCat1GroupMorphism\033[102X", "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "cat1groupmorphism", "X7C47D0EC782D4C40" ], 
  [ "\033[2XCat1GroupMorphismByGroupHomomorphisms\033[102X", "3.3-1", 
      [ 3, 3, 1 ], 169, 35, "cat1groupmorphismbygrouphomomorphisms", 
      "X7C47D0EC782D4C40" ], 
  [ "\033[2XPreCat1GroupMorphism\033[102X", "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "precat1groupmorphism", "X7C47D0EC782D4C40" ], 
  [ "\033[2XPreCat1GroupMorphismByGroupHomomorphisms\033[102X", "3.3-1", 
      [ 3, 3, 1 ], 169, 35, "precat1groupmorphismbygrouphomomorphisms", 
      "X7C47D0EC782D4C40" ], 
  [ "\033[2XInclusionMorphism2DimensionalDomains\033[102X for cat1-groups", 
      "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "inclusionmorphism2dimensionaldomains for cat1-groups", 
      "X7C47D0EC782D4C40" ], 
  [ "\033[2XInnerAutomorphismCat1\033[102X", "3.3-1", [ 3, 3, 1 ], 169, 35, 
      "innerautomorphismcat1", "X7C47D0EC782D4C40" ], 
  [ "\033[2XIdentityMapping\033[102X for precat1-morphisms", "3.3-1", 
      [ 3, 3, 1 ], 169, 35, "identitymapping for precat1-morphisms", 
      "X7C47D0EC782D4C40" ], 
  [ "\033[2XCat1GroupMorphismOfXModMorphism\033[102X", "3.3-2", [ 3, 3, 2 ], 
      208, 35, "cat1groupmorphismofxmodmorphism", "X7D7459E67B568B44" ], 
  [ "\033[2XXModMorphismOfCat1GroupMorphism\033[102X", "3.3-2", [ 3, 3, 2 ], 
      208, 35, "xmodmorphismofcat1groupmorphism", "X7D7459E67B568B44" ], 
  [ "\033[2XIsomorphismPermObject\033[102X", "3.3-3", [ 3, 3, 3 ], 241, 36, 
      "isomorphismpermobject", "X7C6AF7C285D546B2" ], 
  [ "\033[2XIsomorphismPerm2DimensionalGroup\033[102X for pre-cat1 morphisms",
      "3.3-3", [ 3, 3, 3 ], 241, 36, 
      "isomorphismperm2dimensionalgroup for pre-cat1 morphisms", 
      "X7C6AF7C285D546B2" ], 
  [ "\033[2XIsomorphismFp2DimensionalGroup\033[102X for pre-cat1 morphisms", 
      "3.3-3", [ 3, 3, 3 ], 241, 36, 
      "isomorphismfp2dimensionalgroup for pre-cat1 morphisms", 
      "X7C6AF7C285D546B2" ], 
  [ "\033[2XIsomorphismPc2DimensionalGroup\033[102X for pre-cat1 morphisms", 
      "3.3-3", [ 3, 3, 3 ], 241, 36, 
      "isomorphismpc2dimensionalgroup for pre-cat1 morphisms", 
      "X7C6AF7C285D546B2" ], 
  [ 
      "\033[2XRegularActionHomomorphism2DimensionalGroup\033[102X for pre-cat1 mo\
rphisms", "3.3-3", [ 3, 3, 3 ], 241, 36, 
      "regularactionhomomorphism2dimensionalgroup for pre-cat1 morphisms", 
      "X7C6AF7C285D546B2" ], 
  [ 
      "\033[2XSmallerDegreePermutationRepresentation2DimensionalGroup\033[102X fo\
r perm 2d-groups", "3.3-4", [ 3, 3, 4 ], 264, 36, 
      "smallerdegreepermutationrepresentation2dimensionalgroup for perm 2d-gro\
ups", "X837B0299846C2391" ], 
  [ "operations on morphisms", "3.4", [ 3, 4, 0 ], 284, 37, 
      "operations on morphisms", "X7B09A28579707CAF" ], 
  [ "\033[2XCompositionMorphism\033[102X", "3.4-1", [ 3, 4, 1 ], 287, 37, 
      "compositionmorphism", "X811F886081AAB95F" ], 
  [ "\033[2XKernel\033[102X for 2d-mappings", "3.4-2", [ 3, 4, 2 ], 312, 37, 
      "kernel for 2d-mappings", "X83C3A2478159DE76" ], 
  [ "\033[2XKernel2DimensionalMapping\033[102X", "3.4-2", [ 3, 4, 2 ], 312, 
      37, "kernel2dimensionalmapping", "X83C3A2478159DE76" ], 
  [ "quasi isomorphisms", "3.5", [ 3, 5, 0 ], 341, 38, "quasi isomorphisms", 
      "X79C47E3D7855A117" ], 
  [ "\033[2XQuotientQuasiIsomorphism\033[102X", "3.5-1", [ 3, 5, 1 ], 388, 
      39, "quotientquasiisomorphism", "X86F08B1981618400" ], 
  [ "\033[2XSubQuasiIsomorphism\033[102X", "3.5-2", [ 3, 5, 2 ], 409, 39, 
      "subquasiisomorphism", "X7C4C1C587B8932A7" ], 
  [ "\033[2XQuasiIsomorphism\033[102X", "3.5-3", [ 3, 5, 3 ], 422, 39, 
      "quasiisomorphism", "X83365AF2812E5C04" ], 
  [ "\033[2XFactorPreXMod\033[102X", "4.1-1", [ 4, 1, 1 ], 18, 40, 
      "factorprexmod", "X873ED97185D9176E" ], 
  [ "\033[2XNaturalMorphismByNormalSubPreXMod\033[102X", "4.1-1", 
      [ 4, 1, 1 ], 18, 40, "naturalmorphismbynormalsubprexmod", 
      "X873ED97185D9176E" ], 
  [ "\033[2XIntersectionSubXMods\033[102X", "4.1-2", [ 4, 1, 2 ], 52, 41, 
      "intersectionsubxmods", "X8591E25680C5C575" ], 
  [ "\033[2XDisplacement\033[102X", "4.1-3", [ 4, 1, 3 ], 76, 41, 
      "displacement", "X7E20208279038BB8" ], 
  [ "\033[2XDisplacementGroup\033[102X", "4.1-3", [ 4, 1, 3 ], 76, 41, 
      "displacementgroup", "X7E20208279038BB8" ], 
  [ "\033[2XDisplacementSubgroup\033[102X", "4.1-3", [ 4, 1, 3 ], 76, 41, 
      "displacementsubgroup", "X7E20208279038BB8" ], 
  [ "\033[2XCommutatorSubXMod\033[102X", "4.1-4", [ 4, 1, 4 ], 140, 42, 
      "commutatorsubxmod", "X86ACB83E7D70C625" ], 
  [ "\033[2XCrossActionSubgroup\033[102X", "4.1-4", [ 4, 1, 4 ], 140, 42, 
      "crossactionsubgroup", "X86ACB83E7D70C625" ], 
  [ "\033[2XDerivedSubXMod\033[102X", "4.1-5", [ 4, 1, 5 ], 164, 43, 
      "derivedsubxmod", "X86E0804B780A7FD6" ], 
  [ "\033[2XFixedPointSubgroupXMod\033[102X", "4.1-6", [ 4, 1, 6 ], 180, 43, 
      "fixedpointsubgroupxmod", "X85640DD17F5A2949" ], 
  [ "\033[2XStabilizerSubgroupXMod\033[102X", "4.1-6", [ 4, 1, 6 ], 180, 43, 
      "stabilizersubgroupxmod", "X85640DD17F5A2949" ], 
  [ "\033[2XCentreXMod\033[102X", "4.1-7", [ 4, 1, 7 ], 203, 43, 
      "centrexmod", "X7B57446086BA1BF0" ], 
  [ "\033[2XCentralizer\033[102X", "4.1-7", [ 4, 1, 7 ], 203, 43, 
      "centralizer", "X7B57446086BA1BF0" ], 
  [ "\033[2XNormalizer\033[102X", "4.1-7", [ 4, 1, 7 ], 203, 43, 
      "normalizer", "X7B57446086BA1BF0" ], 
  [ "\033[2XCentralQuotient\033[102X", "4.1-8", [ 4, 1, 8 ], 238, 44, 
      "centralquotient", "X814D9E1E78EEE665" ], 
  [ "\033[2XIsAbelian2DimensionalGroup\033[102X", "4.1-9", [ 4, 1, 9 ], 257, 
      44, "isabelian2dimensionalgroup", "X7F4222757B0E08B6" ], 
  [ "\033[2XIsAspherical2DimensionalGroup\033[102X", "4.1-9", [ 4, 1, 9 ], 
      257, 44, "isaspherical2dimensionalgroup", "X7F4222757B0E08B6" ], 
  [ "\033[2XIsSimplyConnected2DimensionalGroup\033[102X", "4.1-9", 
      [ 4, 1, 9 ], 257, 44, "issimplyconnected2dimensionalgroup", 
      "X7F4222757B0E08B6" ], 
  [ "\033[2XIsFaithful2DimensionalGroup\033[102X", "4.1-9", [ 4, 1, 9 ], 257, 
      44, "isfaithful2dimensionalgroup", "X7F4222757B0E08B6" ], 
  [ "\033[2XLowerCentralSeriesOfXMod\033[102X", "4.1-10", [ 4, 1, 10 ], 287, 
      45, "lowercentralseriesofxmod", "X87C524C08588AAC0" ], 
  [ "\033[2XIsNilpotent2DimensionalGroup\033[102X", "4.1-10", [ 4, 1, 10 ], 
      287, 45, "isnilpotent2dimensionalgroup", "X87C524C08588AAC0" ], 
  [ "\033[2XNilpotencyClass2DimensionalGroup\033[102X", "4.1-10", 
      [ 4, 1, 10 ], 287, 45, "nilpotencyclass2dimensionalgroup", 
      "X87C524C08588AAC0" ], 
  [ "\033[2XIsomorphismXMods\033[102X", "4.1-11", [ 4, 1, 11 ], 341, 45, 
      "isomorphismxmods", "X7C67623F797A0301" ], 
  [ "\033[2XAllXMods\033[102X", "4.1-12", [ 4, 1, 12 ], 368, 46, "allxmods", 
      "X81EE2188863E6E85" ], 
  [ "\033[2XAllXModsWithGroups\033[102X", "4.1-12", [ 4, 1, 12 ], 368, 46, 
      "allxmodswithgroups", "X81EE2188863E6E85" ], 
  [ "\033[2XAllXModsUpToIsomorphism\033[102X", "4.1-12", [ 4, 1, 12 ], 368, 
      46, "allxmodsuptoisomorphism", "X81EE2188863E6E85" ], 
  [ "\033[2XIsomorphismClassRepresentatives2dGroups\033[102X", "4.1-12", 
      [ 4, 1, 12 ], 368, 46, "isomorphismclassrepresentatives2dgroups", 
      "X81EE2188863E6E85" ], 
  [ "\033[2XIsoclinism\033[102X for groups", "4.2-1", [ 4, 2, 1 ], 429, 47, 
      "isoclinism for groups", "X7B0D511A82FD945E" ], 
  [ "\033[2XAreIsoclinicDomains\033[102X for groups", "4.2-1", [ 4, 2, 1 ], 
      429, 47, "areisoclinicdomains for groups", "X7B0D511A82FD945E" ], 
  [ "\033[2XIsStemDomain\033[102X for groups", "4.2-2", [ 4, 2, 2 ], 462, 47, 
      "isstemdomain for groups", "X7C72991985B58DB8" ], 
  [ "\033[2XIsoclinicStemDomain\033[102X for groups", "4.2-2", [ 4, 2, 2 ], 
      462, 47, "isoclinicstemdomain for groups", "X7C72991985B58DB8" ], 
  [ "\033[2XAllStemGroupIds\033[102X", "4.2-2", [ 4, 2, 2 ], 462, 47, 
      "allstemgroupids", "X7C72991985B58DB8" ], 
  [ "\033[2XAllStemGroupFamilies\033[102X", "4.2-2", [ 4, 2, 2 ], 462, 47, 
      "allstemgroupfamilies", "X7C72991985B58DB8" ], 
  [ "\033[2XIsoclinicRank\033[102X for groups", "4.2-3", [ 4, 2, 3 ], 500, 
      48, "isoclinicrank for groups", "X82DD52587F81C95C" ], 
  [ "\033[2XIsoclinicMiddleLength\033[102X for groups", "4.2-3", [ 4, 2, 3 ], 
      500, 48, "isoclinicmiddlelength for groups", "X82DD52587F81C95C" ], 
  [ "\033[2XIsoclinism\033[102X for crossed modules", "4.3-1", [ 4, 3, 1 ], 
      522, 49, "isoclinism for crossed modules", "X81338C977972AD83" ], 
  [ "\033[2XAreIsoclinicDomains\033[102X for crossed modules of groups", 
      "4.3-1", [ 4, 3, 1 ], 522, 49, 
      "areisoclinicdomains for crossed modules of groups", 
      "X81338C977972AD83" ], 
  [ "\033[2XIsStemDomain\033[102X for crossed modules of groups", "4.3-2", 
      [ 4, 3, 2 ], 559, 49, "isstemdomain for crossed modules of groups", 
      "X7E86DCB083CA5915" ], 
  [ "\033[2XIsoclinicStemDomain\033[102X for crossed modules of groups", 
      "4.3-2", [ 4, 3, 2 ], 559, 49, 
      "isoclinicstemdomain for crossed modules of groups", 
      "X7E86DCB083CA5915" ], 
  [ "\033[2XIsoclinicRank\033[102X for crossed modules of groups", "4.3-3", 
      [ 4, 3, 3 ], 579, 50, "isoclinicrank for crossed modules of groups", 
      "X820C412679910975" ], 
  [ "\033[2XIsoclinicMiddleLength\033[102X for crossed modules of groups", 
      "4.3-3", [ 4, 3, 3 ], 579, 50, 
      "isoclinicmiddlelength for crossed modules of groups", 
      "X820C412679910975" ], 
  [ "up 2d-mapping of 2d-group", "5.0", [ 5, 0, 0 ], 1, 51, 
      "up 2d-mapping of 2d-group", "X85CD9A43847AE1B8" ], 
  [ "derivation, of crossed module", "5.1", [ 5, 1, 0 ], 4, 51, 
      "derivation of crossed module", "X7C01AE7783898705" ], 
  [ "Whitehead monoid", "5.1", [ 5, 1, 0 ], 4, 51, "whitehead monoid", 
      "X7C01AE7783898705" ], 
  [ "regular derivation", "5.1", [ 5, 1, 0 ], 4, 51, "regular derivation", 
      "X7C01AE7783898705" ], 
  [ "Whitehead group", "5.1", [ 5, 1, 0 ], 4, 51, "whitehead group", 
      "X7C01AE7783898705" ], 
  [ "section, of cat1-group", "5.1", [ 5, 1, 0 ], 4, 51, 
      "section of cat1-group", "X7C01AE7783898705" ], 
  [ "Whitehead multiplication", "5.1", [ 5, 1, 0 ], 4, 51, 
      "whitehead multiplication", "X7C01AE7783898705" ], 
  [ "\033[2XDerivationByImages\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "derivationbyimages", "X83EC6F7780F5636E" ], 
  [ "\033[2XIsDerivation\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "isderivation", "X83EC6F7780F5636E" ], 
  [ "\033[2XIsUp2DimensionalMapping\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "isup2dimensionalmapping", "X83EC6F7780F5636E" ], 
  [ "\033[2XUpGeneratorImages\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "upgeneratorimages", "X83EC6F7780F5636E" ], 
  [ "\033[2XUpImagePositions\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "upimagepositions", "X83EC6F7780F5636E" ], 
  [ "\033[2XObject2d\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, "object2d", 
      "X83EC6F7780F5636E" ], 
  [ "\033[2XDerivationImage\033[102X", "5.1-1", [ 5, 1, 1 ], 51, 51, 
      "derivationimage", "X83EC6F7780F5636E" ], 
  [ "\033[2XPrincipalDerivation\033[102X", "5.1-2", [ 5, 1, 2 ], 112, 52, 
      "principalderivation", "X7F119F9580C150B1" ], 
  [ "\033[2XSectionByHomomorphism\033[102X", "5.1-3", [ 5, 1, 3 ], 126, 53, 
      "sectionbyhomomorphism", "X7E1C72897CD31D66" ], 
  [ "\033[2XIsSection\033[102X", "5.1-3", [ 5, 1, 3 ], 126, 53, "issection", 
      "X7E1C72897CD31D66" ], 
  [ "\033[2XUpHomomorphism\033[102X", "5.1-3", [ 5, 1, 3 ], 126, 53, 
      "uphomomorphism", "X7E1C72897CD31D66" ], 
  [ "\033[2XSectionByDerivation\033[102X", "5.1-3", [ 5, 1, 3 ], 126, 53, 
      "sectionbyderivation", "X7E1C72897CD31D66" ], 
  [ "\033[2XDerivationBySection\033[102X", "5.1-3", [ 5, 1, 3 ], 126, 53, 
      "derivationbysection", "X7E1C72897CD31D66" ], 
  [ "\033[2XIdentityDerivation\033[102X", "5.1-4", [ 5, 1, 4 ], 176, 54, 
      "identityderivation", "X87D9F7257DFF0236" ], 
  [ "\033[2XIdentitySection\033[102X", "5.1-4", [ 5, 1, 4 ], 176, 54, 
      "identitysection", "X87D9F7257DFF0236" ], 
  [ "\033[2XWhiteheadProduct\033[102X", "5.1-5", [ 5, 1, 5 ], 195, 54, 
      "whiteheadproduct", "X7AD6E23F8254F400" ], 
  [ "\033[2XWhiteheadOrder\033[102X", "5.1-5", [ 5, 1, 5 ], 195, 54, 
      "whiteheadorder", "X7AD6E23F8254F400" ], 
  [ "IsMonoidOfUp2DimensionalMappingsObj", "5.2", [ 5, 2, 0 ], 219, 54, 
      "ismonoidofup2dimensionalmappingsobj", "X861A52407D3C627D" ], 
  [ "\033[2XAllDerivations\033[102X", "5.2-1", [ 5, 2, 1 ], 228, 54, 
      "allderivations", "X788884E48534F7CB" ], 
  [ "\033[2XImagesList\033[102X", "5.2-1", [ 5, 2, 1 ], 228, 54, 
      "imageslist", "X788884E48534F7CB" ], 
  [ "\033[2XDerivationClass\033[102X", "5.2-1", [ 5, 2, 1 ], 228, 54, 
      "derivationclass", "X788884E48534F7CB" ], 
  [ "\033[2XImagesTable\033[102X", "5.2-1", [ 5, 2, 1 ], 228, 54, 
      "imagestable", "X788884E48534F7CB" ], 
  [ "\033[2XWhiteheadMonoidTable\033[102X", "5.2-2", [ 5, 2, 2 ], 278, 55, 
      "whiteheadmonoidtable", "X7CB1614E7EC58A84" ], 
  [ "\033[2XWhiteheadTransformationMonoid\033[102X", "5.2-2", [ 5, 2, 2 ], 
      278, 55, "whiteheadtransformationmonoid", "X7CB1614E7EC58A84" ], 
  [ "\033[2XRegularDerivations\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 56, 
      "regularderivations", "X84CD856C84BDB019" ], 
  [ "\033[2XWhiteheadGroupTable\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 56, 
      "whiteheadgrouptable", "X84CD856C84BDB019" ], 
  [ "\033[2XWhiteheadPermGroup\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 56, 
      "whiteheadpermgroup", "X84CD856C84BDB019" ], 
  [ "\033[2XIsWhiteheadPermGroup\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 56, 
      "iswhiteheadpermgroup", "X84CD856C84BDB019" ], 
  [ "\033[2XWhiteheadRegularGroup\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 56, 
      "whiteheadregulargroup", "X84CD856C84BDB019" ], 
  [ "\033[2XWhiteheadGroupIsomorphism\033[102X", "5.2-3", [ 5, 2, 3 ], 312, 
      56, "whiteheadgroupisomorphism", "X84CD856C84BDB019" ], 
  [ "\033[2XPrincipalDerivations\033[102X", "5.2-4", [ 5, 2, 4 ], 368, 57, 
      "principalderivations", "X8452E45878691CD3" ], 
  [ "\033[2XPrincipalDerivationSubgroup\033[102X", "5.2-4", [ 5, 2, 4 ], 368, 
      57, "principalderivationsubgroup", "X8452E45878691CD3" ], 
  [ "\033[2XWhiteheadHomomorphism\033[102X", "5.2-4", [ 5, 2, 4 ], 368, 57, 
      "whiteheadhomomorphism", "X8452E45878691CD3" ], 
  [ "\033[2XSourceEndomorphism\033[102X", "5.3-1", [ 5, 3, 1 ], 401, 58, 
      "sourceendomorphism", "X86AF32CA84217C46" ], 
  [ "\033[2XRangeEndomorphism\033[102X", "5.3-2", [ 5, 3, 2 ], 423, 58, 
      "rangeendomorphism", "X84463DE2872AA709" ], 
  [ "\033[2XObject2dEndomorphism\033[102X", "5.3-3", [ 5, 3, 3 ], 437, 58, 
      "object2dendomorphism", "X7E27AE6478566A94" ], 
  [ "\033[2XAllSections\033[102X", "5.4-1", [ 5, 4, 1 ], 464, 59, 
      "allsections", "X813CAA17855172E4" ], 
  [ "\033[2XRegularSections\033[102X", "5.4-1", [ 5, 4, 1 ], 464, 59, 
      "regularsections", "X813CAA17855172E4" ], 
  [ "actor", "6.1", [ 6, 1, 0 ], 4, 60, "actor", "X7B853602873FC7AB" ], 
  [ "\033[2XAutomorphismPermGroup\033[102X", "6.1-1", [ 6, 1, 1 ], 14, 60, 
      "automorphismpermgroup", "X80F121357F06E72D" ], 
  [ "\033[2XGeneratingAutomorphisms\033[102X", "6.1-1", [ 6, 1, 1 ], 14, 60, 
      "generatingautomorphisms", "X80F121357F06E72D" ], 
  [ "\033[2XPermAutomorphismAs2dGroupMorphism\033[102X", "6.1-1", 
      [ 6, 1, 1 ], 14, 60, "permautomorphismas2dgroupmorphism", 
      "X80F121357F06E72D" ], 
  [ "\033[2XWhiteheadXMod\033[102X", "6.1-2", [ 6, 1, 2 ], 73, 61, 
      "whiteheadxmod", "X790EBC7C7D320C03" ], 
  [ "\033[2XLueXMod\033[102X", "6.1-2", [ 6, 1, 2 ], 73, 61, "luexmod", 
      "X790EBC7C7D320C03" ], 
  [ "\033[2XNorrieXMod\033[102X", "6.1-2", [ 6, 1, 2 ], 73, 61, "norriexmod", 
      "X790EBC7C7D320C03" ], 
  [ "\033[2XActorXMod\033[102X", "6.1-2", [ 6, 1, 2 ], 73, 61, "actorxmod", 
      "X790EBC7C7D320C03" ], 
  [ "crossed square", "6.1-2", [ 6, 1, 2 ], 73, 61, "crossed square", 
      "X790EBC7C7D320C03" ], 
  [ "\033[2XXModCentre\033[102X", "6.1-3", [ 6, 1, 3 ], 183, 63, 
      "xmodcentre", "X85CF21F57F0F1329" ], 
  [ "\033[2XInnerActorXMod\033[102X", "6.1-3", [ 6, 1, 3 ], 183, 63, 
      "inneractorxmod", "X85CF21F57F0F1329" ], 
  [ "\033[2XInnerMorphism\033[102X", "6.1-3", [ 6, 1, 3 ], 183, 63, 
      "innermorphism", "X85CF21F57F0F1329" ], 
  [ "\033[2XActorCat1Group\033[102X", "6.2-1", [ 6, 2, 1 ], 240, 64, 
      "actorcat1group", "X82097EE1866D0C2B" ], 
  [ "\033[2XInnerActorCat1Group\033[102X", "6.2-1", [ 6, 2, 1 ], 240, 64, 
      "inneractorcat1group", "X82097EE1866D0C2B" ], 
  [ "\033[2XActor\033[102X", "6.2-2", [ 6, 2, 2 ], 285, 65, "actor", 
      "X7FE056707BB983B3" ], 
  [ "\033[2XInnerActor\033[102X", "6.2-2", [ 6, 2, 2 ], 285, 65, 
      "inneractor", "X7FE056707BB983B3" ], 
  [ "\033[2XCoproductXMod\033[102X", "7.1-1", [ 7, 1, 1 ], 13, 66, 
      "coproductxmod", "X7C01F5D98046E44B" ], 
  [ "\033[2XCoproductInfo\033[102X", "7.1-1", [ 7, 1, 1 ], 13, 66, 
      "coproductinfo", "X7C01F5D98046E44B" ], 
  [ "induced crossed module", "7.2", [ 7, 2, 0 ], 90, 67, 
      "induced crossed module", "X7966FF497C36C465" ], 
  [ "\033[2XInducedXMod\033[102X", "7.2-1", [ 7, 2, 1 ], 93, 67, 
      "inducedxmod", "X874CB2A278AADE3A" ], 
  [ "\033[2XIsInducedXMod\033[102X", "7.2-1", [ 7, 2, 1 ], 93, 67, 
      "isinducedxmod", "X874CB2A278AADE3A" ], 
  [ "\033[2XInducedXModBySurjection\033[102X", "7.2-1", [ 7, 2, 1 ], 93, 67, 
      "inducedxmodbysurjection", "X874CB2A278AADE3A" ], 
  [ "\033[2XInducedXModByCopower\033[102X", "7.2-1", [ 7, 2, 1 ], 93, 67, 
      "inducedxmodbycopower", "X874CB2A278AADE3A" ], 
  [ "\033[2XMorphismOfInducedXMod\033[102X", "7.2-1", [ 7, 2, 1 ], 93, 67, 
      "morphismofinducedxmod", "X874CB2A278AADE3A" ], 
  [ "\033[2XAllInducedXMods\033[102X", "7.2-2", [ 7, 2, 2 ], 236, 70, 
      "allinducedxmods", "X7B24D47F8078540F" ], 
  [ "induced cat1-groups", "7.3", [ 7, 3, 0 ], 255, 70, "induced cat1-groups",
      "X814A695779706E22" ], 
  [ "\033[2XInducedCat1Group\033[102X", "7.3-1", [ 7, 3, 1 ], 258, 70, 
      "inducedcat1group", "X7BCE57BE7F6E6B08" ], 
  [ "\033[2XInducedCat1GroupByFreeProduct\033[102X", "7.3-1", [ 7, 3, 1 ], 
      258, 70, "inducedcat1groupbyfreeproduct", "X7BCE57BE7F6E6B08" ], 
  [ "3d-group", "8.0", [ 8, 0, 0 ], 1, 71, "3d-group", "X780368C083C76EDC" ], 
  [ "3d-domain", "8.0", [ 8, 0, 0 ], 1, 71, "3d-domain", "X780368C083C76EDC" ]
    , [ "crossed square", "8.1", [ 8, 1, 0 ], 12, 71, "crossed square", 
      "X7C4AFE8D85848C8F" ], 
  [ "crossed pairing", "8.1", [ 8, 1, 0 ], 12, 71, "crossed pairing", 
      "X7C4AFE8D85848C8F" ], 
  [ "crossed n-cube", "8.1", [ 8, 1, 0 ], 12, 71, "crossed n-cube", 
      "X7C4AFE8D85848C8F" ], 
  [ "\033[2XCrossedSquareByXMods\033[102X", "8.2-1", [ 8, 2, 1 ], 138, 73, 
      "crossedsquarebyxmods", "X866A7FAC7FCB62C2" ], 
  [ "\033[2XPreCrossedSquareByPreXMods\033[102X", "8.2-1", [ 8, 2, 1 ], 138, 
      73, "precrossedsquarebyprexmods", "X866A7FAC7FCB62C2" ], 
  [ "Display for a 3d-group", "8.2-1", [ 8, 2, 1 ], 138, 73, 
      "display for a 3d-group", "X866A7FAC7FCB62C2" ], 
  [ "\033[2XSize3d\033[102X for 3d-objects", "8.2-2", [ 8, 2, 2 ], 188, 74, 
      "size3d for 3d-objects", "X7FA98BD47FF9B044" ], 
  [ "\033[2XCrossedSquareByNormalSubgroups\033[102X", "8.2-3", [ 8, 2, 3 ], 
      203, 74, "crossedsquarebynormalsubgroups", "X7896DAF786F46234" ], 
  [ "\033[2XCrossedPairingByCommutators\033[102X", "8.2-3", [ 8, 2, 3 ], 203, 
      74, "crossedpairingbycommutators", "X7896DAF786F46234" ], 
  [ "\033[2XCrossedSquareByNormalSubXMod\033[102X", "8.2-4", [ 8, 2, 4 ], 
      244, 75, "crossedsquarebynormalsubxmod", "X7FA367977B1895A7" ], 
  [ "\033[2XCrossedPairingBySingleXModAction\033[102X", "8.2-4", [ 8, 2, 4 ], 
      244, 75, "crossedpairingbysinglexmodaction", "X7FA367977B1895A7" ], 
  [ "\033[2XActorCrossedSquare\033[102X", "8.2-5", [ 8, 2, 5 ], 278, 75, 
      "actorcrossedsquare", "X833362FE87ED3C48" ], 
  [ "\033[2XCrossedPairingByDerivations\033[102X", "8.2-5", [ 8, 2, 5 ], 278, 
      75, "crossedpairingbyderivations", "X833362FE87ED3C48" ], 
  [ "\033[2XCrossedSquareByAutomorphismGroup\033[102X", "8.2-6", [ 8, 2, 6 ], 
      315, 76, "crossedsquarebyautomorphismgroup", "X82E4EA93824F7B26" ], 
  [ "\033[2XCrossedPairingByConjugators\033[102X", "8.2-6", [ 8, 2, 6 ], 315, 
      76, "crossedpairingbyconjugators", "X82E4EA93824F7B26" ], 
  [ "\033[2XCrossedSquareByPullback\033[102X", "8.2-7", [ 8, 2, 7 ], 344, 76, 
      "crossedsquarebypullback", "X839E065783795CB8" ], 
  [ "\033[2XCrossedSquareByXModSplitting\033[102X", "8.2-8", [ 8, 2, 8 ], 
      383, 77, "crossedsquarebyxmodsplitting", "X7F5554907AF73190" ], 
  [ "\033[2XCrossedPairingByPreImages\033[102X", "8.2-8", [ 8, 2, 8 ], 383, 
      77, "crossedpairingbypreimages", "X7F5554907AF73190" ], 
  [ "\033[2XCrossedSquare\033[102X", "8.2-9", [ 8, 2, 9 ], 425, 78, 
      "crossedsquare", "X87FBE3CE87DC8CD5" ], 
  [ "\033[2XTranspose3DimensionalGroup\033[102X for crossed squares", 
      "8.2-10", [ 8, 2, 10 ], 454, 78, 
      "transpose3dimensionalgroup for crossed squares", "X7F94830681EA19BE" ],
  [ "\033[2XCentralQuotient\033[102X for crossed modules", "8.2-11", 
      [ 8, 2, 11 ], 478, 78, "centralquotient for crossed modules", 
      "X7C2647CB82DDD065" ], 
  [ "\033[2XIsCrossedSquare\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "iscrossedsquare", "X8645AA3686F126D5" ], 
  [ "\033[2XIsPreCrossedSquare\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "isprecrossedsquare", "X8645AA3686F126D5" ], 
  [ "\033[2XIs3dObject\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "is3dobject", "X8645AA3686F126D5" ], 
  [ "\033[2XIsPerm3dObject\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "isperm3dobject", "X8645AA3686F126D5" ], 
  [ "\033[2XIsPc3dObject\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "ispc3dobject", "X8645AA3686F126D5" ], 
  [ "\033[2XIsFp3dObject\033[102X", "8.2-12", [ 8, 2, 12 ], 515, 79, 
      "isfp3dobject", "X8645AA3686F126D5" ], 
  [ "\033[2XUp2DimensionalGroup\033[102X for crossed squares", "8.2-13", 
      [ 8, 2, 13 ], 527, 79, "up2dimensionalgroup for crossed squares", 
      "X828CFC5A83097189" ], 
  [ "\033[2XLeft2DimensionalGroup\033[102X for crossed squares", "8.2-13", 
      [ 8, 2, 13 ], 527, 79, "left2dimensionalgroup for crossed squares", 
      "X828CFC5A83097189" ], 
  [ "\033[2XDown2DimensionalGroup\033[102X for crossed squares", "8.2-13", 
      [ 8, 2, 13 ], 527, 79, "down2dimensionalgroup for crossed squares", 
      "X828CFC5A83097189" ], 
  [ "\033[2XRight2DimensionalGroup\033[102X for crossed squares", "8.2-13", 
      [ 8, 2, 13 ], 527, 79, "right2dimensionalgroup for crossed squares", 
      "X828CFC5A83097189" ], 
  [ "\033[2XCrossDiagonalActions\033[102X for crossed squares", "8.2-13", 
      [ 8, 2, 13 ], 527, 79, "crossdiagonalactions for crossed squares", 
      "X828CFC5A83097189" ], 
  [ "\033[2XDiagonal2DimensionalGroup\033[102X for crossed squares", 
      "8.2-13", [ 8, 2, 13 ], 527, 79, 
      "diagonal2dimensionalgroup for crossed squares", "X828CFC5A83097189" ], 
  [ "\033[2XName\033[102X", "8.2-13", [ 8, 2, 13 ], 527, 79, "name", 
      "X828CFC5A83097189" ], 
  [ "\033[2XIsSymmetric3DimensionalGroup\033[102X", "8.2-14", [ 8, 2, 14 ], 
      561, 80, "issymmetric3dimensionalgroup", "X7F81DA90820F4405" ], 
  [ "\033[2XIsAbelian3DimensionalGroup\033[102X", "8.2-14", [ 8, 2, 14 ], 
      561, 80, "isabelian3dimensionalgroup", "X7F81DA90820F4405" ], 
  [ "\033[2XIsTrivialAction3DimensionalGroup\033[102X", "8.2-14", 
      [ 8, 2, 14 ], 561, 80, "istrivialaction3dimensionalgroup", 
      "X7F81DA90820F4405" ], 
  [ "\033[2XIsNormalSub3DimensionalGroup\033[102X", "8.2-14", [ 8, 2, 14 ], 
      561, 80, "isnormalsub3dimensionalgroup", "X7F81DA90820F4405" ], 
  [ "\033[2XIsCentralExtension3DimensionalGroup\033[102X", "8.2-14", 
      [ 8, 2, 14 ], 561, 80, "iscentralextension3dimensionalgroup", 
      "X7F81DA90820F4405" ], 
  [ "\033[2XIsAutomorphismGroup3DimensionalGroup\033[102X", "8.2-14", 
      [ 8, 2, 14 ], 561, 80, "isautomorphismgroup3dimensionalgroup", 
      "X7F81DA90820F4405" ], 
  [ "\033[2XCrossed Pairing\033[102X", "8.2-15", [ 8, 2, 15 ], 574, 80, 
      "crossed pairing", "X7AE671C7798F99FD" ], 
  [ "\033[2XSubCrossedSquare\033[102X", "8.3-1", [ 8, 3, 1 ], 623, 81, 
      "subcrossedsquare", "X83F16E94857407F3" ], 
  [ "\033[2XIsSubCrossedSquare\033[102X", "8.3-1", [ 8, 3, 1 ], 623, 81, 
      "issubcrossedsquare", "X83F16E94857407F3" ], 
  [ "\033[2XSubPreCrossedSquare\033[102X", "8.3-1", [ 8, 3, 1 ], 623, 81, 
      "subprecrossedsquare", "X83F16E94857407F3" ], 
  [ "\033[2XIsSubPreCrossedSquare\033[102X", "8.3-1", [ 8, 3, 1 ], 623, 81, 
      "issubprecrossedsquare", "X83F16E94857407F3" ], 
  [ "\033[2XTrivialSub3DimensionalGroup\033[102X", "8.3-2", [ 8, 3, 2 ], 658, 
      82, "trivialsub3dimensionalgroup", "X7D0D7F787D438D9A" ], 
  [ "\033[2XTrivialSubCrossedSquare\033[102X", "8.3-2", [ 8, 3, 2 ], 658, 82, 
      "trivialsubcrossedsquare", "X7D0D7F787D438D9A" ], 
  [ "\033[2XTrivialSubPreCrossedSquare\033[102X", "8.3-2", [ 8, 3, 2 ], 658, 
      82, "trivialsubprecrossedsquare", "X7D0D7F787D438D9A" ], 
  [ "morphism of 3d-group", "8.4", [ 8, 4, 0 ], 676, 82, 
      "morphism of 3d-group", "X78A79A7E85128C7B" ], 
  [ "crossed square morphism", "8.4", [ 8, 4, 0 ], 676, 82, 
      "crossed square morphism", "X78A79A7E85128C7B" ], 
  [ "3d-mapping", "8.4", [ 8, 4, 0 ], 676, 82, "3d-mapping", 
      "X78A79A7E85128C7B" ], 
  [ "\033[2XCrossedSquareMorphism\033[102X", "8.4-1", [ 8, 4, 1 ], 682, 82, 
      "crossedsquaremorphism", "X83E733547A14FD61" ], 
  [ "\033[2XCrossedSquareMorphismByXModMorphisms\033[102X", "8.4-1", 
      [ 8, 4, 1 ], 682, 82, "crossedsquaremorphismbyxmodmorphisms", 
      "X83E733547A14FD61" ], 
  [ "\033[2XCrossedSquareMorphismByGroupHomomorphisms\033[102X", "8.4-1", 
      [ 8, 4, 1 ], 682, 82, "crossedsquaremorphismbygrouphomomorphisms", 
      "X83E733547A14FD61" ], 
  [ "\033[2XPreCrossedSquareMorphismByPreXModMorphisms\033[102X", "8.4-1", 
      [ 8, 4, 1 ], 682, 82, "precrossedsquaremorphismbyprexmodmorphisms", 
      "X83E733547A14FD61" ], 
  [ "\033[2XPreCrossedSquareMorphismByGroupHomomorphisms\033[102X", "8.4-1", 
      [ 8, 4, 1 ], 682, 82, "precrossedsquaremorphismbygrouphomomorphisms", 
      "X83E733547A14FD61" ], 
  [ "\033[2XSource\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 82, "source", 
      "X7DE8173F80E07AB1" ], 
  [ "\033[2XRange\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 82, "range", 
      "X7DE8173F80E07AB1" ], 
  [ "\033[2XUp2DimensionalMorphism\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 82, 
      "up2dimensionalmorphism", "X7DE8173F80E07AB1" ], 
  [ "\033[2XLeft2DimensionalMorphism\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 
      82, "left2dimensionalmorphism", "X7DE8173F80E07AB1" ], 
  [ "\033[2XDown2DimensionalMorphism\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 
      82, "down2dimensionalmorphism", "X7DE8173F80E07AB1" ], 
  [ "\033[2XRight2DimensionalMorphism\033[102X", "8.4-2", [ 8, 4, 2 ], 690, 
      82, "right2dimensionalmorphism", "X7DE8173F80E07AB1" ], 
  [ "\033[2XIsCrossedSquareMorphism\033[102X", "8.4-3", [ 8, 4, 3 ], 704, 82, 
      "iscrossedsquaremorphism", "X8284240C7B9BB783" ], 
  [ "\033[2XIsPreCrossedSquareMorphism\033[102X", "8.4-3", [ 8, 4, 3 ], 704, 
      82, "isprecrossedsquaremorphism", "X8284240C7B9BB783" ], 
  [ "\033[2XIsBijective\033[102X", "8.4-3", [ 8, 4, 3 ], 704, 82, 
      "isbijective", "X8284240C7B9BB783" ], 
  [ "\033[2XIsEndomorphism3dObject\033[102X", "8.4-3", [ 8, 4, 3 ], 704, 82, 
      "isendomorphism3dobject", "X8284240C7B9BB783" ], 
  [ "\033[2XIsAutomorphism3dObject\033[102X", "8.4-3", [ 8, 4, 3 ], 704, 82, 
      "isautomorphism3dobject", "X8284240C7B9BB783" ], 
  [ "\033[2XInclusionMorphismHigherDimensionalDomains\033[102X", "8.4-4", 
      [ 8, 4, 4 ], 768, 84, "inclusionmorphismhigherdimensionaldomains", 
      "X8614E38E7A67690E" ], 
  [ "cat\033[22X^2\033[122X-group", "8.5", [ 8, 5, 0 ], 772, 84, 
      "cat^2-group", "X86D5AA247B64ED51" ], 
  [ "\033[2XCat2Group\033[102X", "8.5-1", [ 8, 5, 1 ], 853, 85, "cat2group", 
      "X849D845586F92444" ], 
  [ "\033[2XPreCat2Group\033[102X", "8.5-1", [ 8, 5, 1 ], 853, 85, 
      "precat2group", "X849D845586F92444" ], 
  [ "\033[2XIsCat2Group\033[102X", "8.5-1", [ 8, 5, 1 ], 853, 85, 
      "iscat2group", "X849D845586F92444" ], 
  [ "\033[2XPreCat2GroupByPreCat1Groups\033[102X", "8.5-1", [ 8, 5, 1 ], 853, 
      85, "precat2groupbyprecat1groups", "X849D845586F92444" ], 
  [ "\033[2XUp2DimensionalGroup\033[102X for cat2-groups", "8.5-2", 
      [ 8, 5, 2 ], 917, 86, "up2dimensionalgroup for cat2-groups", 
      "X81BD4011837BCC2E" ], 
  [ "\033[2XLeft2DimensionalGroup\033[102X for cat2-groups", "8.5-2", 
      [ 8, 5, 2 ], 917, 86, "left2dimensionalgroup for cat2-groups", 
      "X81BD4011837BCC2E" ], 
  [ "\033[2XDown2DimensionalGroup\033[102X for cat2-groups", "8.5-2", 
      [ 8, 5, 2 ], 917, 86, "down2dimensionalgroup for cat2-groups", 
      "X81BD4011837BCC2E" ], 
  [ "\033[2XRight2DimensionalGroup\033[102X for cat2-groups", "8.5-2", 
      [ 8, 5, 2 ], 917, 86, "right2dimensionalgroup for cat2-groups", 
      "X81BD4011837BCC2E" ], 
  [ "\033[2XDiagonal2DimensionalGroup\033[102X for cat2-groups", "8.5-2", 
      [ 8, 5, 2 ], 917, 86, "diagonal2dimensionalgroup for cat2-groups", 
      "X81BD4011837BCC2E" ], 
  [ "\033[2XDirectProduct\033[102X", "8.5-3", [ 8, 5, 3 ], 937, 86, 
      "directproduct", "X861BA02C7902A4F4" ], 
  [ "\033[2XDisplayLeadMaps\033[102X", "8.5-4", [ 8, 5, 4 ], 971, 87, 
      "displayleadmaps", "X85713B1C7C34324E" ], 
  [ "\033[2XTranspose3DimensionalGroup\033[102X for cat2-groups", "8.5-5", 
      [ 8, 5, 5 ], 988, 87, "transpose3dimensionalgroup for cat2-groups", 
      "X864B346686AAA522" ], 
  [ "\033[2XCat2GroupMorphism\033[102X", "8.5-6", [ 8, 5, 6 ], 1004, 88, 
      "cat2groupmorphism", "X83616C237F4745FB" ], 
  [ "\033[2XCat2GroupMorphismByCat1GroupMorphisms\033[102X", "8.5-6", 
      [ 8, 5, 6 ], 1004, 88, "cat2groupmorphismbycat1groupmorphisms", 
      "X83616C237F4745FB" ], 
  [ "\033[2XCat2GroupMorphismByGroupHomomorphisms\033[102X", "8.5-6", 
      [ 8, 5, 6 ], 1004, 88, "cat2groupmorphismbygrouphomomorphisms", 
      "X83616C237F4745FB" ], 
  [ "\033[2XPreCat2GroupMorphism\033[102X", "8.5-6", [ 8, 5, 6 ], 1004, 88, 
      "precat2groupmorphism", "X83616C237F4745FB" ], 
  [ "\033[2XPreCat2GroupMorphismByPreCat1GroupMorphisms\033[102X", "8.5-6", 
      [ 8, 5, 6 ], 1004, 88, "precat2groupmorphismbyprecat1groupmorphisms", 
      "X83616C237F4745FB" ], 
  [ "\033[2XPreCat2GroupMorphismByGroupHomomorphisms\033[102X", "8.5-6", 
      [ 8, 5, 6 ], 1004, 88, "precat2groupmorphismbygrouphomomorphisms", 
      "X83616C237F4745FB" ], 
  [ "\033[2XCat2GroupOfCrossedSquare\033[102X", "8.5-7", [ 8, 5, 7 ], 1051, 
      88, "cat2groupofcrossedsquare", "X7D46CB517FCAA83B" ], 
  [ "\033[2XCrossedSquareOfCat2Group\033[102X", "8.5-7", [ 8, 5, 7 ], 1051, 
      88, "crossedsquareofcat2group", "X7D46CB517FCAA83B" ], 
  [ "\033[2XSubdiagonal2DimensionalGroup\033[102X", "8.5-8", [ 8, 5, 8 ], 
      1087, 89, "subdiagonal2dimensionalgroup", "X82F896C7851294B7" ], 
  [ "\033[2XSubCat2Group\033[102X", "8.5-9", [ 8, 5, 9 ], 1117, 90, 
      "subcat2group", "X7DB082D282C52855" ], 
  [ "\033[2XIsSubCat2Group\033[102X", "8.5-9", [ 8, 5, 9 ], 1117, 90, 
      "issubcat2group", "X7DB082D282C52855" ], 
  [ "\033[2XSubPreCat2Group\033[102X", "8.5-9", [ 8, 5, 9 ], 1117, 90, 
      "subprecat2group", "X7DB082D282C52855" ], 
  [ "\033[2XIsSubPreCat2Group\033[102X", "8.5-9", [ 8, 5, 9 ], 1117, 90, 
      "issubprecat2group", "X7DB082D282C52855" ], 
  [ "\033[2XTrivialSubCat2Group\033[102X", "8.5-10", [ 8, 5, 10 ], 1152, 90, 
      "trivialsubcat2group", "X838423B47FEE09B2" ], 
  [ "\033[2XTrivialSubPreCat2Group\033[102X", "8.5-10", [ 8, 5, 10 ], 1152, 
      90, "trivialsubprecat2group", "X838423B47FEE09B2" ], 
  [ "\033[2XAllCat2GroupsWithImagesIterator\033[102X", "8.6-1", [ 8, 6, 1 ], 
      1185, 91, "allcat2groupswithimagesiterator", "X7D421DE57B44F37A" ], 
  [ "\033[2XAllCat2GroupsWithImagesNumber\033[102X", "8.6-1", [ 8, 6, 1 ], 
--> --------------------

--> maximum size reached

--> --------------------