#SIXFORMAT GapDocGAP HELPBOOKINFOSIXTMP := rec( encoding := "UTF-8", bookname := "XMod", entries := [ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], [ "Abstract", ".-1", [ 0, 0, 1 ], 37, 2, "abstract", "X7AA6C5737B711C89" ], [ "Copyright", ".-2", [ 0, 0, 2 ], 67, 2, "copyright", "X81488B807F2A1CF1" ], [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 72, 2, "acknowledgements", "X82A988D47DFAFCFA" ], [ "Table of Contents", ".-4", [ 0, 0, 4 ], 102, 3, "table of contents", "X8537FEB07AF2BEC8" ], [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 5, "introduction", "X7DFB63A97E67C0A1" ], [ "\033[1X2d-objects\033[0X", "2", [ 2, 0, 0 ], 1, 7, "2d-objects", "X8359CCB57F2C0807" ], [ "\033[1XConstructions for crossed modules\033[0X", "2.1", [ 2, 1, 0 ], 4, 7, "constructions for crossed modules", "X7BAD9A7F7AFEEC89" ], [ "\033[1XPre-crossed modules\033[0X", "2.2", [ 2, 2, 0 ], 143, 9, "pre-crossed modules", "X7D435B6279032D4D" ], [ "\033[1XCat1-groups and pre-cat1-groups\033[0X", "2.3", [ 2, 3, 0 ], 217, 10, "cat1-groups and pre-cat1-groups", "X7F868C2181018D0C" ], [ "\033[1XSelection of a small cat1-group\033[0X", "2.4", [ 2, 4, 0 ], 355, 13, "selection of a small cat1-group", "X7B38B960782937EB" ], [ "\033[1X2d-mappings\033[0X", "3", [ 3, 0, 0 ], 1, 15, "2d-mappings", "X815144D67C1D1AE3" ] , [ "\033[1XMorphisms of 2d-objects\033[0X", "3.1", [ 3, 1, 0 ], 4, 15, "morphisms of 2d-objects", "X81A31F338392CAD8" ], [ "\033[1XMorphisms of pre-crossed modules\033[0X", "3.2", [ 3, 2, 0 ], 22, 15, "morphisms of pre-crossed modules", "X78CADE4D7EB1EA44" ], [ "\033[1XMorphisms of pre-cat1-groups\033[0X", "3.3", [ 3, 3, 0 ], 108, 17, "morphisms of pre-cat1-groups", "X84DDF8247FC4982B" ], [ "\033[1XOperations on morphisms\033[0X", "3.4", [ 3, 4, 0 ], 161, 18, "operations on morphisms", "X7B09A28579707CAF" ], [ "\033[1XDerivations and Sections\033[0X", "4", [ 4, 0, 0 ], 1, 20, "derivations and sections", "X7C01AE7783898705" ], [ "\033[1XWhitehead Multiplication\033[0X", "4.1", [ 4, 1, 0 ], 4, 20, "whitehead multiplication", "X78790B7D87D9FD73" ], [ "\033[1XWhitehead Groups and Monoids\033[0X", "4.2", [ 4, 2, 0 ], 135, 22, "whitehead groups and monoids", "X83886F9484B44B03" ], [ "\033[1XActors of 2d-objects\033[0X", "5", [ 5, 0, 0 ], 1, 25, "actors of 2d-objects", "X815CE6AF7EF49FB5" ], [ "\033[1XActor of a crossed module\033[0X", "5.1", [ 5, 1, 0 ], 4, 25, "actor of a crossed module", "X7B853602873FC7AB" ], [ "\033[1XInduced Constructions\033[0X", "6", [ 6, 0, 0 ], 1, 28, "induced constructions", "X8339DF98872D2E1C" ], [ "\033[1XInduced crossed modules\033[0X", "6.1", [ 6, 1, 0 ], 4, 28, "induced crossed modules", "X7966FF497C36C465" ], [ "\033[1XCrossed squares and their morphisms\033[0X", "7", [ 7, 0, 0 ], 1, 31, "crossed squares and their morphisms", "X8016C9727A692E1A" ], [ "\033[1XConstructions for crossed squares\033[0X", "7.1", [ 7, 1, 0 ], 79, 32, "constructions for crossed squares", "X820A7D30847BC828" ], [ "\033[1XMorphisms of crossed squares\033[0X", "7.2", [ 7, 2, 0 ], 237, 34, "morphisms of crossed squares", "X78A79A7E85128C7B" ], [ "\033[1XUtility functions\033[0X", "8", [ 8, 0, 0 ], 1, 36, "utility functions", "X810FFB1C8035C8BE" ], [ "\033[1XInclusion and Restriction Mappings\033[0X", "8.1", [ 8, 1, 0 ], 12, 36, "inclusion and restriction mappings", "X844AFC3A7DD6E190" ], [ "\033[1XEndomorphism Classes and Automorphisms\033[0X", "8.2", [ 8, 2, 0 ], 43, 37, "endomorphism classes and automorphisms", "X865059CB78FDD5F9" ], [ "\033[1XAbelian Modules\033[0X", "8.3", [ 8, 3, 0 ], 135, 38, "abelian modules", "X852BD9CA84C2AFF0" ], [ "\033[1XDistinct and Common Representatives\033[0X", "8.4", [ 8, 4, 0 ], 167, 39, "distinct and common representatives", "X82F443FF84B8FCE3" ], [ "\033[1XDevelopment history\033[0X", "9", [ 9, 0, 0 ], 1, 40, "development history", "X810C43BC7F63C4B4" ], [ "\033[1XChanges from version to version\033[0X", "9.1", [ 9, 1, 0 ], 17, 40, "changes from version to version", "X7ACE7E8384B73156" ], [ "\033[1XVersion 1 for \033[5XGAP\033[1X 3\033[0X", "9.1-1", [ 9, 1, 1 ], 20, 40, "version 1 for gap 3", "X848198AA862249C4" ], [ "\033[1XVersion 2\033[0X", "9.1-2", [ 9, 1, 2 ], 26, 40, "version 2", "X7CF8E72D80AAB54F" ], [ "\033[1XVersion 2.001 for \033[5XGAP\033[1X 4\033[0X", "9.1-3", [ 9, 1, 3 ], 38, 40, "version 2.001 for gap 4", "X7F9CE0487BB6F660" ], [ "\033[1XInduced crossed modules\033[0X", "9.1-4", [ 9, 1, 4 ], 46, 41, "induced crossed modules", "X7966FF497C36C465" ], [ "\033[1XVersions 2.002 -- 2.006\033[0X", "9.1-5", [ 9, 1, 5 ], 54, 41, "versions 2.002 -- 2.006", "X7E0B70FD82DC5BA8" ], [ "\033[1XVersions 2.007 -- 2.010\033[0X", "9.1-6", [ 9, 1, 6 ], 73, 41, "versions 2.007 -- 2.010", "X7F6E650E85384C25" ], [ "\033[1XVersion 2.12\033[0X", "9.1-7", [ 9, 1, 7 ], 98, 41, "version 2.12", "X7A71BD747D1AA4A5" ], [ "\033[1XWhat needs doing next?\033[0X", "9.2", [ 9, 2, 0 ], 116, 42, "what needs doing next?", "X83D1530487593182" ], [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 43, "bibliography", "X7A6F98FD85F02BFE" ], [ "References", "bib", [ "Bib", 0, 0 ], 1, 43, "references", "X7A6F98FD85F02BFE" ], [ "Index", "ind", [ "Ind", 0, 0 ], 1, 45, "index", "X83A0356F839C696F" ], [ "\033[10XInfoXMod\033[0m", "1.", [ 1, 0, 0 ], 1, 5, "infoxmod", "X7DFB63A97E67C0A1" ], [ "crossed module", "2.1", [ 2, 1, 0 ], 4, 7, "crossed module", "X7BAD9A7F7AFEEC89" ], [ "2d-object", "2.1", [ 2, 1, 0 ], 4, 7, "2d-object", "X7BAD9A7F7AFEEC89" ], [ "\033[2XXMod\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmod", "X7C8175AE7F76B586" ], [ "\033[2XXModByBoundaryAndAction\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbyboundaryandaction", "X7C8175AE7F76B586" ], [ "\033[2XXModByTrivialAction\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbytrivialaction", "X7C8175AE7F76B586" ], [ "\033[2XXModByNormalSubgroup\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbynormalsubgroup", "X7C8175AE7F76B586" ], [ "\033[2XXModByCentralExtension\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbycentralextension", "X7C8175AE7F76B586" ], [ "\033[2XXModByAutomorphismGroup\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbyautomorphismgroup", "X7C8175AE7F76B586" ], [ "\033[2XXModByInnerAutomorphismGroup\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbyinnerautomorphismgroup", "X7C8175AE7F76B586" ], [ "\033[2XXModByGroupOfAutomorphisms\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbygroupofautomorphisms", "X7C8175AE7F76B586" ], [ "\033[2XXModByAbelianModule\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "xmodbyabelianmodule", "X7C8175AE7F76B586" ], [ "\033[2XDirectProduct\033[0X", "2.1-1", [ 2, 1, 1 ], 22, 7, "directproduct", "X7C8175AE7F76B586" ], [ "\033[2XSource\033[0X", "2.1-2", [ 2, 1, 2 ], 60, 8, "source", "X7DE8173F80E07AB1" ], [ "\033[2XRange\033[0X", "2.1-2", [ 2, 1, 2 ], 60, 8, "range", "X7DE8173F80E07AB1" ], [ "\033[2XBoundary\033[0X", "2.1-2", [ 2, 1, 2 ], 60, 8, "boundary", "X7DE8173F80E07AB1" ], [ "\033[2XAutoGroup\033[0X", "2.1-2", [ 2, 1, 2 ], 60, 8, "autogroup", "X7DE8173F80E07AB1" ] , [ "\033[2XXModAction\033[0X", "2.1-2", [ 2, 1, 2 ], 60, 8, "xmodaction", "X7DE8173F80E07AB1" ], [ "\033[2XSize\033[0X", "2.1-3", [ 2, 1, 3 ], 78, 8, "size", "X858ADA3B7A684421" ], [ "\033[2XName\033[0X", "2.1-3", [ 2, 1, 3 ], 78, 8, "name", "X858ADA3B7A684421" ], [ "display a 2d-object", "2.1-3", [ 2, 1, 3 ], 78, 8, "display a 2d-object", "X858ADA3B7A684421" ], [ "\033[2XSubXMod\033[0X", "2.1-4", [ 2, 1, 4 ], 120, 9, "subxmod", "X7884284383284A87" ], [ "\033[2XIdentitySubXMod\033[0X", "2.1-4", [ 2, 1, 4 ], 120, 9, "identitysubxmod", "X7884284383284A87" ], [ "\033[2XNormalSubXMods\033[0X", "2.1-4", [ 2, 1, 4 ], 120, 9, "normalsubxmods", "X7884284383284A87" ], [ "pre-crossed module", "2.2", [ 2, 2, 0 ], 143, 9, "pre-crossed module", "X7D435B6279032D4D" ], [ "\033[2XPreXModByBoundaryAndAction\033[0X", "2.2-1", [ 2, 2, 1 ], 146, 9, "prexmodbyboundaryandaction", "X8487BE427858C5C9" ], [ "\033[2XSubPreXMod\033[0X", "2.2-1", [ 2, 2, 1 ], 146, 9, "subprexmod", "X8487BE427858C5C9" ], [ "Peiffer subgroup", "2.2-1", [ 2, 2, 1 ], 146, 9, "peiffer subgroup", "X8487BE427858C5C9" ], [ "\033[2XPeifferSubgroup\033[0X", "2.2-2", [ 2, 2, 2 ], 170, 10, "peiffersubgroup", "X8527F4C07A8F359E" ], [ "\033[2XXModByPeifferQuotient\033[0X", "2.2-2", [ 2, 2, 2 ], 170, 10, "xmodbypeifferquotient", "X8527F4C07A8F359E" ], [ "\033[2XIsPermXMod\033[0X", "2.2-3", [ 2, 2, 3 ], 209, 10, "ispermxmod", "X7E564129785A2DF2" ], [ "\033[2XIsPcPreXMod\033[0X", "2.2-3", [ 2, 2, 3 ], 209, 10, "ispcprexmod", "X7E564129785A2DF2" ], [ "cat1-group", "2.3", [ 2, 3, 0 ], 217, 10, "cat1-group", "X7F868C2181018D0C" ], [ "\033[2XSource\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "source", "X7DE8173F80E07AB1" ], [ "\033[2XRange\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "range", "X7DE8173F80E07AB1" ], [ "\033[2XTailMap\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "tailmap", "X7DE8173F80E07AB1" ], [ "\033[2XHeadMap\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "headmap", "X7DE8173F80E07AB1" ], [ "\033[2XRangeEmbedding\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "rangeembedding", "X7DE8173F80E07AB1" ], [ "\033[2XKernelEmbedding\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "kernelembedding", "X7DE8173F80E07AB1" ], [ "\033[2XBoundary\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "boundary", "X7DE8173F80E07AB1" ] , [ "\033[2XName\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "name", "X7DE8173F80E07AB1" ], [ "\033[2XSize\033[0X", "2.3-1", [ 2, 3, 1 ], 220, 10, "size", "X7DE8173F80E07AB1" ], [ "\033[2XCat1\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "cat1", "X7F4221DF83D1B6D8" ], [ "\033[2XPreCat1ByTailHeadEmbedding\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "precat1bytailheadembedding", "X7F4221DF83D1B6D8" ], [ "\033[2XPreCat1ByEndomorphisms\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "precat1byendomorphisms", "X7F4221DF83D1B6D8" ], [ "\033[2XPreCat1ByNormalSubgroup\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "precat1bynormalsubgroup", "X7F4221DF83D1B6D8" ], [ "\033[2XCat1ByPeifferQuotient\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "cat1bypeifferquotient", "X7F4221DF83D1B6D8" ], [ "\033[2XReverse\033[0X", "2.3-2", [ 2, 3, 2 ], 254, 11, "reverse", "X7F4221DF83D1B6D8" ], [ "\033[2XCat1OfXMod\033[0X", "2.3-3", [ 2, 3, 3 ], 310, 12, "cat1ofxmod", "X7EB380BA7AC52D53" ], [ "\033[2XXModOfCat1\033[0X", "2.3-3", [ 2, 3, 3 ], 310, 12, "xmodofcat1", "X7EB380BA7AC52D53" ], [ "\033[2XPreCat1OfPreXMod\033[0X", "2.3-3", [ 2, 3, 3 ], 310, 12, "precat1ofprexmod", "X7EB380BA7AC52D53" ], [ "\033[2XPreXModOfPreCat1\033[0X", "2.3-3", [ 2, 3, 3 ], 310, 12, "prexmodofprecat1", "X7EB380BA7AC52D53" ], [ "selection of a small cat1-group", "2.4", [ 2, 4, 0 ], 355, 13, "selection of a small cat1-group", "X7B38B960782937EB" ], [ "\033[2XCat1Select\033[0X", "2.4-1", [ 2, 4, 1 ], 366, 13, "cat1select", "X7B8E67D880E380C8" ], [ "2d-mapping", "3.", [ 3, 0, 0 ], 1, 15, "2d-mapping", "X815144D67C1D1AE3" ], [ "morphism of 2d-object", "3.1", [ 3, 1, 0 ], 4, 15, "morphism of 2d-object", "X81A31F338392CAD8" ], [ "crossed module morphism", "3.1", [ 3, 1, 0 ], 4, 15, "crossed module morphism", "X81A31F338392CAD8" ], [ "\033[2XSource\033[0X", "3.1-1", [ 3, 1, 1 ], 10, 15, "source", "X7DE8173F80E07AB1" ], [ "\033[2XRange\033[0X", "3.1-1", [ 3, 1, 1 ], 10, 15, "range", "X7DE8173F80E07AB1" ], [ "\033[2XSourceHom\033[0X", "3.1-1", [ 3, 1, 1 ], 10, 15, "sourcehom", "X7DE8173F80E07AB1" ], [ "\033[2XRangeHom\033[0X", "3.1-1", [ 3, 1, 1 ], 10, 15, "rangehom", "X7DE8173F80E07AB1" ], [ "morphism", "3.2", [ 3, 2, 0 ], 22, 15, "morphism", "X78CADE4D7EB1EA44" ], [ "\033[2XIsXModMorphism\033[0X", "3.2-1", [ 3, 2, 1 ], 25, 15, "isxmodmorphism", "X82B912B18127A42A" ], [ "\033[2XIsCat1Morphism\033[0X", "3.2-1", [ 3, 2, 1 ], 25, 15, "iscat1morphism", "X82B912B18127A42A" ], [ "\033[2XIsPreXModMorphism\033[0X", "3.2-1", [ 3, 2, 1 ], 25, 15, "isprexmodmorphism", "X82B912B18127A42A" ], [ "\033[2XIsPreCat1Morphism\033[0X", "3.2-1", [ 3, 2, 1 ], 25, 15, "isprecat1morphism", "X82B912B18127A42A" ], [ "\033[2XIsInjective\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "isinjective", "X7F065FD7822C0A12" ], [ "\033[2XIsSurjective\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "issurjective", "X7F065FD7822C0A12" ], [ "\033[2XIsSingleValued\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "issinglevalued", "X7F065FD7822C0A12" ], [ "\033[2XIsTotal\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "istotal", "X7F065FD7822C0A12" ], [ "\033[2XIsBijective\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "isbijective", "X7F065FD7822C0A12" ], [ "\033[2XIsEndomorphism2dObject\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "isendomorphism2dobject", "X7F065FD7822C0A12" ], [ "\033[2XIsAutomorphism2dObject\033[0X", "3.2-2", [ 3, 2, 2 ], 47, 16, "isautomorphism2dobject", "X7F065FD7822C0A12" ], [ "\033[2XXModMorphism\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "xmodmorphism", "X7CEABD6487CF2A38" ], [ "\033[2XXModMorphismByHoms\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "xmodmorphismbyhoms", "X7CEABD6487CF2A38" ], [ "\033[2XPreXModMorphism\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "prexmodmorphism", "X7CEABD6487CF2A38" ], [ "\033[2XPreXModMorphismByHoms\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "prexmodmorphismbyhoms", "X7CEABD6487CF2A38" ], [ "\033[2XInclusionMorphism2dObjects\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "inclusionmorphism2dobjects", "X7CEABD6487CF2A38" ], [ "\033[2XInnerAutomorphismXMod\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "innerautomorphismxmod", "X7CEABD6487CF2A38" ], [ "\033[2XIdentityMapping\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "identitymapping", "X7CEABD6487CF2A38" ], [ "\033[2XIsomorphismPermObject\033[0X", "3.2-3", [ 3, 2, 3 ], 61, 16, "isomorphismpermobject", "X7CEABD6487CF2A38" ], [ "display a 2d-mapping", "3.2-3", [ 3, 2, 3 ], 61, 16, "display a 2d-mapping", "X7CEABD6487CF2A38" ], [ "\033[2XCat1Morphism\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "cat1morphism", "X85EB07357B682966" ], [ "\033[2XCat1MorphismByHoms\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "cat1morphismbyhoms", "X85EB07357B682966" ], [ "\033[2XPreCat1Morphism\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "precat1morphism", "X85EB07357B682966" ], [ "\033[2XPreCat1MorphismByHoms\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "precat1morphismbyhoms", "X85EB07357B682966" ], [ "\033[2XInclusionMorphism2dObjects\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "inclusionmorphism2dobjects", "X85EB07357B682966" ], [ "\033[2XInnerAutomorphismCat1\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "innerautomorphismcat1", "X85EB07357B682966" ], [ "\033[2XIdentityMapping\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "identitymapping", "X85EB07357B682966" ], [ "\033[2XIsmorphismPermObject\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "ismorphismpermobject", "X85EB07357B682966" ], [ "\033[2XSmallerDegreePerm2dObject\033[0X", "3.3-1", [ 3, 3, 1 ], 120, 17, "smallerdegreeperm2dobject", "X85EB07357B682966" ], [ "operations on morphisms", "3.4", [ 3, 4, 0 ], 161, 18, "operations on morphisms", "X7B09A28579707CAF" ], [ "\033[2XOrder\033[0X", "3.4-1", [ 3, 4, 1 ], 164, 18, "order", "X84F59A2687C62763" ], [ "\033[2XCompositionMorphism\033[0X", "3.4-1", [ 3, 4, 1 ], 164, 18, "compositionmorphism", "X84F59A2687C62763" ], [ "\033[2XKernel\033[0X", "3.4-2", [ 3, 4, 2 ], 201, 18, "kernel", "X7DCD99628504B810" ], [ "\033[2XKernel2dMapping\033[0X", "3.4-2", [ 3, 4, 2 ], 201, 18, "kernel2dmapping", "X7DCD99628504B810" ], [ "up 2d-mapping of 2d-object", "4.", [ 4, 0, 0 ], 1, 20, "up 2d-mapping of 2d-object", "X7C01AE7783898705" ], [ "Whitehead multiplication", "4.1", [ 4, 1, 0 ], 4, 20, "whitehead multiplication", "X78790B7D87D9FD73" ], [ "\033[2XIsDerivation\033[0X", "4.1-1", [ 4, 1, 1 ], 7, 20, "isderivation", "X82FE679F79FDBF75" ], [ "\033[2XIsSection\033[0X", "4.1-1", [ 4, 1, 1 ], 7, 20, "issection", "X82FE679F79FDBF75" ] , [ "\033[2XIsUp2dMapping\033[0X", "4.1-1", [ 4, 1, 1 ], 7, 20, "isup2dmapping", "X82FE679F79FDBF75" ], [ "derivation, of crossed module", "4.1-1", [ 4, 1, 1 ], 7, 20, "derivation of crossed module", "X82FE679F79FDBF75" ], [ "Whitehead monoid", "4.1-1", [ 4, 1, 1 ], 7, 20, "whitehead monoid", "X82FE679F79FDBF75" ] , [ "regular derivation", "4.1-1", [ 4, 1, 1 ], 7, 20, "regular derivation", "X82FE679F79FDBF75" ], [ "Whitehead group", "4.1-1", [ 4, 1, 1 ], 7, 20, "whitehead group", "X82FE679F79FDBF75" ], [ "section, of cat1-group", "4.1-1", [ 4, 1, 1 ], 7, 20, "section of cat1-group", "X82FE679F79FDBF75" ], [ "Whitehead multiplication", "4.1-1", [ 4, 1, 1 ], 7, 20, "whitehead multiplication", "X82FE679F79FDBF75" ], [ "\033[2XDerivationByImages\033[0X", "4.1-2", [ 4, 1, 2 ], 55, 20, "derivationbyimages", "X83EC6F7780F5636E" ], [ "\033[2XObject2d\033[0X", "4.1-2", [ 4, 1, 2 ], 55, 20, "object2d", "X83EC6F7780F5636E" ], [ "\033[2XGeneratorImages\033[0X", "4.1-2", [ 4, 1, 2 ], 55, 20, "generatorimages", "X83EC6F7780F5636E" ], [ "\033[2XSectionByImages\033[0X", "4.1-3", [ 4, 1, 3 ], 106, 21, "sectionbyimages", "X79FE2BFD85FE88B3" ], [ "\033[2XSectionByDerivation\033[0X", "4.1-3", [ 4, 1, 3 ], 106, 21, "sectionbyderivation", "X79FE2BFD85FE88B3" ], [ "\033[2XDerivationBySection\033[0X", "4.1-3", [ 4, 1, 3 ], 106, 21, "derivationbysection", "X79FE2BFD85FE88B3" ], [ "\033[2XRegularDerivations\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "regularderivations", "X84CD856C84BDB019" ], [ "\033[2XAllDerivations\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "allderivations", "X84CD856C84BDB019" ], [ "\033[2XRegularSections\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "regularsections", "X84CD856C84BDB019" ], [ "\033[2XAllSections\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "allsections", "X84CD856C84BDB019" ], [ "\033[2XImagesList\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "imageslist", "X84CD856C84BDB019" ], [ "\033[2XImagesTable\033[0X", "4.2-1", [ 4, 2, 1 ], 138, 22, "imagestable", "X84CD856C84BDB019" ], [ "\033[2XCompositeDerivation\033[0X", "4.2-2", [ 4, 2, 2 ], 184, 23, "compositederivation", "X804BC7FB7CD0B325" ], [ "\033[2XImagePositions\033[0X", "4.2-2", [ 4, 2, 2 ], 184, 23, "imagepositions", "X804BC7FB7CD0B325" ], [ "\033[2XCompositeSection\033[0X", "4.2-2", [ 4, 2, 2 ], 184, 23, "compositesection", "X804BC7FB7CD0B325" ], [ "\033[2XWhiteheadGroupTable\033[0X", "4.2-3", [ 4, 2, 3 ], 218, 23, "whiteheadgrouptable", "X7F4E9D127E188A63" ], [ "\033[2XWhiteheadMonoidTable\033[0X", "4.2-3", [ 4, 2, 3 ], 218, 23, "whiteheadmonoidtable", "X7F4E9D127E188A63" ], [ "\033[2XWhiteheadPermGroup\033[0X", "4.2-3", [ 4, 2, 3 ], 218, 23, "whiteheadpermgroup", "X7F4E9D127E188A63" ], [ "\033[2XWhiteheadTransMonoid\033[0X", "4.2-3", [ 4, 2, 3 ], 218, 23, "whiteheadtransmonoid", "X7F4E9D127E188A63" ], [ "actor", "5.1", [ 5, 1, 0 ], 4, 25, "actor", "X7B853602873FC7AB" ], [ "\033[2XWhiteheadXMod\033[0X", "5.1-1", [ 5, 1, 1 ], 14, 25, "whiteheadxmod", "X790EBC7C7D320C03" ], [ "\033[2XLueXMod\033[0X", "5.1-1", [ 5, 1, 1 ], 14, 25, "luexmod", "X790EBC7C7D320C03" ], [ "\033[2XNorrieXMod\033[0X", "5.1-1", [ 5, 1, 1 ], 14, 25, "norriexmod", "X790EBC7C7D320C03" ], [ "\033[2XActorXMod\033[0X", "5.1-1", [ 5, 1, 1 ], 14, 25, "actorxmod", "X790EBC7C7D320C03" ], [ "\033[2XAutomorphismPermGroup\033[0X", "5.1-1", [ 5, 1, 1 ], 14, 25, "automorphismpermgroup", "X790EBC7C7D320C03" ], [ "crossed square", "5.1-1", [ 5, 1, 1 ], 14, 25, "crossed square", "X790EBC7C7D320C03" ], [ "\033[2XCentre\033[0X", "5.1-2", [ 5, 1, 2 ], 42, 25, "centre", "X847ABE6F781C7FE8" ], [ "\033[2XInnerActor\033[0X", "5.1-2", [ 5, 1, 2 ], 42, 25, "inneractor", "X847ABE6F781C7FE8" ], [ "\033[2XInnerMorphism\033[0X", "5.1-2", [ 5, 1, 2 ], 42, 25, "innermorphism", "X847ABE6F781C7FE8" ], [ "induced crossed module", "6.1", [ 6, 1, 0 ], 4, 28, "induced crossed module", "X7966FF497C36C465" ], [ "\033[2XInducedXMod\033[0X", "6.1-1", [ 6, 1, 1 ], 7, 28, "inducedxmod", "X874CB2A278AADE3A" ], [ "\033[2XInducedCat1\033[0X", "6.1-1", [ 6, 1, 1 ], 7, 28, "inducedcat1", "X874CB2A278AADE3A" ], [ "\033[2XIsInducedXMod\033[0X", "6.1-1", [ 6, 1, 1 ], 7, 28, "isinducedxmod", "X874CB2A278AADE3A" ], [ "\033[2XIsInducedCat1\033[0X", "6.1-1", [ 6, 1, 1 ], 7, 28, "isinducedcat1", "X874CB2A278AADE3A" ], [ "\033[2XMorphismOfInducedXMod\033[0X", "6.1-1", [ 6, 1, 1 ], 7, 28, "morphismofinducedxmod", "X874CB2A278AADE3A" ], [ "\033[2XAllInducedXMods\033[0X", "6.1-2", [ 6, 1, 2 ], 140, 30, "allinducedxmods", "X7B24D47F8078540F" ], [ "crossed module", "7.", [ 7, 0, 0 ], 1, 31, "crossed module", "X8016C9727A692E1A" ], [ "cat2-group", "7.", [ 7, 0, 0 ], 1, 31, "cat2-group", "X8016C9727A692E1A" ], [ "3d-object", "7.", [ 7, 0, 0 ], 1, 31, "3d-object", "X8016C9727A692E1A" ], [ "crossed pairing", "7.", [ 7, 0, 0 ], 1, 31, "crossed pairing", "X8016C9727A692E1A" ], [ "\033[2XXSq\033[0X", "7.1-1", [ 7, 1, 1 ], 89, 32, "xsq", "X7EE4565E79848E6C" ], [ "\033[2XXSqByNormalSubgroups\033[0X", "7.1-1", [ 7, 1, 1 ], 89, 32, "xsqbynormalsubgroups", "X7EE4565E79848E6C" ], [ "\033[2XActorXSq\033[0X", "7.1-1", [ 7, 1, 1 ], 89, 32, "actorxsq", "X7EE4565E79848E6C" ], [ "\033[2XTranspose3dObject\033[0X", "7.1-1", [ 7, 1, 1 ], 89, 32, "transpose3dobject", "X7EE4565E79848E6C" ], [ "\033[2XName\033[0X", "7.1-1", [ 7, 1, 1 ], 89, 32, "name", "X7EE4565E79848E6C" ], [ "\033[2XIsXSq\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "isxsq", "X7E8088ED7ABF4CAC" ], [ "\033[2XIs3dObject\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "is3dobject", "X7E8088ED7ABF4CAC" ], [ "\033[2XIsPerm3dObject\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "isperm3dobject", "X7E8088ED7ABF4CAC" ], [ "\033[2XIsPc3dObject\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "ispc3dobject", "X7E8088ED7ABF4CAC" ], [ "\033[2XIsFp3dObject\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "isfp3dobject", "X7E8088ED7ABF4CAC" ], [ "\033[2XIsPreXSq\033[0X", "7.1-2", [ 7, 1, 2 ], 188, 33, "isprexsq", "X7E8088ED7ABF4CAC" ] , [ "\033[2XUp2dObject\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "up2dobject", "X854AD9647FA34EB2" ], [ "\033[2XLeft2dObject\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "left2dobject", "X854AD9647FA34EB2" ], [ "\033[2XDown2dObject\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "down2dobject", "X854AD9647FA34EB2" ], [ "\033[2XRight2dObject\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "right2dobject", "X854AD9647FA34EB2" ], [ "\033[2XDiagonalAction\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "diagonalaction", "X854AD9647FA34EB2" ], [ "\033[2XXPair\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "xpair", "X854AD9647FA34EB2" ], [ "\033[2XImageElmXPair\033[0X", "7.1-3", [ 7, 1, 3 ], 200, 34, "imageelmxpair", "X854AD9647FA34EB2" ], [ "morphism of 3d-object", "7.2", [ 7, 2, 0 ], 237, 34, "morphism of 3d-object", "X78A79A7E85128C7B" ], [ "crossed square morphism", "7.2", [ 7, 2, 0 ], 237, 34, "crossed square morphism", "X78A79A7E85128C7B" ], [ "3d-mapping", "7.2", [ 7, 2, 0 ], 237, 34, "3d-mapping", "X78A79A7E85128C7B" ], [ "\033[2XSource\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "source", "X7DE8173F80E07AB1" ], [ "\033[2XRange\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "range", "X7DE8173F80E07AB1" ], [ "\033[2XUp2dMorphism\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "up2dmorphism", "X7DE8173F80E07AB1" ], [ "\033[2XLeft2dMorphism\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "left2dmorphism", "X7DE8173F80E07AB1" ], [ "\033[2XDown2dMorphism\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "down2dmorphism", "X7DE8173F80E07AB1" ], [ "\033[2XRight2dMorphism\033[0X", "7.2-1", [ 7, 2, 1 ], 243, 34, "right2dmorphism", "X7DE8173F80E07AB1" ], [ "\033[2XIsXSqMorphism\033[0X", "7.2-2", [ 7, 2, 2 ], 257, 35, "isxsqmorphism", "X7EB013DB87B1F45C" ], [ "\033[2XIsPreXSqMorphism\033[0X", "7.2-2", [ 7, 2, 2 ], 257, 35, "isprexsqmorphism", "X7EB013DB87B1F45C" ], [ "\033[2XIsBijective\033[0X", "7.2-2", [ 7, 2, 2 ], 257, 35, "isbijective", "X7EB013DB87B1F45C" ], [ "\033[2XIsAutomorphism3dObject\033[0X", "7.2-2", [ 7, 2, 2 ], 257, 35, "isautomorphism3dobject", "X7EB013DB87B1F45C" ], [ "inclusion mapping", "8.1", [ 8, 1, 0 ], 12, 36, "inclusion mapping", "X844AFC3A7DD6E190" ], [ "restriction mapping", "8.1", [ 8, 1, 0 ], 12, 36, "restriction mapping", "X844AFC3A7DD6E190" ], [ "\033[2XInclusionMappingGroups\033[0X", "8.1-1", [ 8, 1, 1 ], 18, 36, "inclusionmappinggroups", "X7F8E297F7C84DE51" ], [ "\033[2XRestrictionMappingGroups\033[0X", "8.1-1", [ 8, 1, 1 ], 18, 36, "restrictionmappinggroups", "X7F8E297F7C84DE51" ], [ "\033[2XMappingToOne\033[0X", "8.1-1", [ 8, 1, 1 ], 18, 36, "mappingtoone", "X7F8E297F7C84DE51" ], [ "endomorphism classes", "8.2", [ 8, 2, 0 ], 43, 37, "endomorphism classes", "X865059CB78FDD5F9" ], [ "\033[2XEndomorphismClasses\033[0X", "8.2-1", [ 8, 2, 1 ], 46, 37, "endomorphismclasses", "X79CD91BD78953CDF" ], [ "\033[2XEndoClassNaturalHom\033[0X", "8.2-1", [ 8, 2, 1 ], 46, 37, "endoclassnaturalhom", "X79CD91BD78953CDF" ], [ "\033[2XEndoClassIsomorphism\033[0X", "8.2-1", [ 8, 2, 1 ], 46, 37, "endoclassisomorphism", "X79CD91BD78953CDF" ], [ "\033[2XEndoClassConjugators\033[0X", "8.2-1", [ 8, 2, 1 ], 46, 37, "endoclassconjugators", "X79CD91BD78953CDF" ], [ "\033[2XAutoGroup\033[0X", "8.2-1", [ 8, 2, 1 ], 46, 37, "autogroup", "X79CD91BD78953CDF" ], [ "\033[2XInnerAutomorphismByNormalSubgroup\033[0X", "8.2-2", [ 8, 2, 2 ], 115, 38, "innerautomorphismbynormalsubgroup", "X8750B6B08694462A" ], [ "\033[2XIsGroupOfAutomorphisms\033[0X", "8.2-2", [ 8, 2, 2 ], 115, 38, "isgroupofautomorphisms", "X8750B6B08694462A" ], [ "abelian module", "8.3", [ 8, 3, 0 ], 135, 38, "abelian module", "X852BD9CA84C2AFF0" ], [ "\033[2XAbelianModuleObject\033[0X", "8.3-1", [ 8, 3, 1 ], 138, 38, "abelianmoduleobject", "X806DEFCC859BB4F1" ], [ "\033[2XIsAbelianModule\033[0X", "8.3-1", [ 8, 3, 1 ], 138, 38, "isabelianmodule", "X806DEFCC859BB4F1" ], [ "\033[2XAbelianModuleGroup\033[0X", "8.3-1", [ 8, 3, 1 ], 138, 38, "abelianmodulegroup", "X806DEFCC859BB4F1" ], [ "\033[2XAbelianModuleAction\033[0X", "8.3-1", [ 8, 3, 1 ], 138, 38, "abelianmoduleaction", "X806DEFCC859BB4F1" ], [ "distinct and common representatives", "8.4", [ 8, 4, 0 ], 167, 39, "distinct and common representatives", "X82F443FF84B8FCE3" ], [ "\033[2XDistinctRepresentatives\033[0X", "8.4-1", [ 8, 4, 1 ], 170, 39, "distinctrepresentatives", "X78105CAA847A888C" ], [ "\033[2XCommonRepresentatives\033[0X", "8.4-1", [ 8, 4, 1 ], 170, 39, "commonrepresentatives", "X78105CAA847A888C" ], [ "\033[2XCommonTransversal\033[0X", "8.4-1", [ 8, 4, 1 ], 170, 39, "commontransversal", "X78105CAA847A888C" ], [ "\033[2XIsCommonTransversal\033[0X", "8.4-1", [ 8, 4, 1 ], 170, 39, "iscommontransversal", "X78105CAA847A888C" ], [ "version 1 for \033[5XGAP\033[0m 3", "9.1-1", [ 9, 1, 1 ], 20, 40, "version 1 for gap 3", "X848198AA862249C4" ], [ "version 2.001 for \033[5XGAP\033[0m 4", "9.1-3", [ 9, 1, 3 ], 38, 40, "version 2.001 for gap 4", "X7F9CE0487BB6F660" ] ] );