#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Smallsemi",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Copyright", ".-1", [ 0, 0, 1 ], 36, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-2", [ 0, 0, 2 ], 57, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Colophon", ".-3", [ 0, 0, 3 ], 66, 2, "colophon", "X7982162280BC7A61" ], 
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 73, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 4, "introduction", "X7DFB63A97E67C0A1" ], 
  [ "\033[1X\033[33X\033[0;-2YRequirements\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 58, 5, "requirements", "X85A08CF187A6D986" ], 
  [ "\033[1X\033[33X\033[0;-2YOperating System\033[133X\033[101X", "1.1-1", 
      [ 1, 1, 1 ], 70, 5, "operating system", "X82C5588B7E8B2725" ], 
  [ "\033[1X\033[33X\033[0;-2YRAM\033[133X\033[101X", "1.1-2", [ 1, 1, 2 ], 
      79, 5, "ram", "X78F27CCA81555251" ], 
  [ "\033[1X\033[33X\033[0;-2YDisk Space\033[133X\033[101X", "1.1-3", 
      [ 1, 1, 3 ], 95, 5, "disk space", "X87E4E0377BF1EAC6" ], 
  [ "\033[1X\033[33X\033[0;-2YInstallation and Setup\033[133X\033[101X", 
      "1.2", [ 1, 2, 0 ], 112, 5, "installation and setup", 
      "X796A04C37CB7AC04" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDownload and Extract \033[5XSmallsemi\033[105X\\
033[101X\027\033[1X\027\033[133X\033[101X", "1.2-1", [ 1, 2, 1 ], 115, 5, 
      "download and extract smallsemi", "X7C87C34C79B9D28D" ], 
  [ "\033[1X\033[33X\033[0;-2YContents\033[133X\033[101X", "1.2-2", 
      [ 1, 2, 2 ], 133, 6, "contents", "X86BA319E87365B5C" ], 
  [ "\033[1X\033[33X\033[0;-2YLoading\033[133X\033[101X", "1.2-3", 
      [ 1, 2, 3 ], 150, 6, "loading", "X861ED1338181C66D" ], 
  [ "\033[1X\033[33X\033[0;-2YMemory Issues\033[133X\033[101X", "1.2-4", 
      [ 1, 2, 4 ], 170, 6, "memory issues", "X803939AE7C3565DA" ], 
  [ "\033[1X\033[33X\033[0;-2YTesting\033[133X\033[101X", "1.2-5", 
      [ 1, 2, 5 ], 195, 7, "testing", "X7DE7E7187BE24368" ], 
  [ "\033[1X\033[33X\033[0;-2YCustomizing\033[133X\033[101X", "1.2-6", 
      [ 1, 2, 6 ], 228, 7, "customizing", "X7B3500B984306465" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Data in the Library\033[133X\033[101X", 
      "2", [ 2, 0, 0 ], 1, 9, "the data in the library", "X7E933CC381DA3D7C" ]
    , 
  [ "\033[1X\033[33X\033[0;-2YCreation of the Semigroups\033[133X\033[101X", 
      "2.1", [ 2, 1, 0 ], 8, 9, "creation of the semigroups", 
      "X7A8F62A38080168D" ], 
  [ "\033[1X\033[33X\033[0;-2YStoring the Semigroups\033[133X\033[101X", 
      "2.2", [ 2, 2, 0 ], 52, 10, "storing the semigroups", 
      "X79038EE8873A1B4B" ], 
  [ "\033[1X\033[33X\033[0;-2YExtended Examples\033[133X\033[101X", "3", 
      [ 3, 0, 0 ], 1, 11, "extended examples", "X7CDC63A27F7790AA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLists, Enumerators and Iterators of Semigroups\\
033[133X\033[101X", "3.1", [ 3, 1, 0 ], 22, 11, 
      "lists enumerators and iterators of semigroups", "X80DFE0117B7A7C24" ], 
  [ "\033[1X\033[33X\033[0;-2YPrecomputed properties\033[133X\033[101X", 
      "3.1-1", [ 3, 1, 1 ], 61, 12, "precomputed properties", 
      "X790CB8D686E0A336" ], 
  [ "\033[1X\033[33X\033[0;-2YUser functions\033[133X\033[101X", "3.1-2", 
      [ 3, 1, 2 ], 152, 13, "user functions", "X804593297D7EEF68" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroups of order 8\033[133X\033[101X", 
      "3.1-3", [ 3, 1, 3 ], 280, 15, "semigroups of order 8", 
      "X7E4F0756878EB958" ], 
  [ "\033[1X\033[33X\033[0;-2YIdentifying Semigroups\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 331, 16, "identifying semigroups", 
      "X8772952F7B2CFDE1" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctionality\033[133X\033[101X", "4", 
      [ 4, 0, 0 ], 1, 18, "functionality", "X87F1120883F5B4D0" ], 
  [ "\033[1X\033[33X\033[0;-2YIndividual Semigroups\033[133X\033[101X", 
      "4.1", [ 4, 1, 0 ], 4, 18, "individual semigroups", "X83F5AF81859D6CBF" 
     ], 
  [ "\033[1X\033[33X\033[0;-2YProperties of Semigroups\033[133X\033[101X", 
      "4.2", [ 4, 2, 0 ], 194, 21, "properties of semigroups", 
      "X78274024827F306D" ], 
  [ "\033[1X\033[33X\033[0;-2YIsIdempotentGenerated\033[133X\033[101X", 
      "4.2-12", [ 4, 2, 12 ], 509, 26, "isidempotentgenerated", 
      "X835484C481CF3DDD" ], 
  [ "\033[1X\033[33X\033[0;-2YIsNilpotentSemigroup\033[133X\033[101X", 
      "4.2-20", [ 4, 2, 20 ], 689, 29, "isnilpotentsemigroup", 
      "X780ADE31828F0848" ], 
  [ "\033[1X\033[33X\033[0;-2YIsSimpleSemigroup\033[133X\033[101X", "4.2-28", 
      [ 4, 2, 28 ], 849, 32, "issimplesemigroup", "X836F4692839F4874" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YNilpotent semigroups by coclass\033[133X\033[101X\
", "4.3", [ 4, 3, 0 ], 1025, 35, "nilpotent semigroups by coclass", 
      "X866B154E7F54AE62" ], 
  [ "\033[1X\033[33X\033[0;-2YStarred Green's relations\033[133X\033[101X", 
      "4.4", [ 4, 4, 0 ], 1066, 35, "starred greens relations", 
      "X7D6E81E37E3AAED8" ], 
  [ "\033[1X\033[33X\033[0;-2YFamilies of Semigroups\033[133X\033[101X", 
      "4.5", [ 4, 5, 0 ], 1185, 38, "families of semigroups", 
      "X82F9C36C86006857" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 49, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 49, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 50, "index", "X83A0356F839C696F" ], 
  [ "\033[2XSmallSemigroup\033[102X", "4.1-1", [ 4, 1, 1 ], 21, 18, 
      "smallsemigroup", "X8538248D78185960" ], 
  [ "\033[2XSmallSemigroupNC\033[102X", "4.1-1", [ 4, 1, 1 ], 21, 18, 
      "smallsemigroupnc", "X8538248D78185960" ], 
  [ "\033[2XIsSmallSemigroup\033[102X", "4.1-2", [ 4, 1, 2 ], 44, 18, 
      "issmallsemigroup", "X857428A57D3FFACB" ], 
  [ "\033[2XIsSmallSemigroupElt\033[102X", "4.1-3", [ 4, 1, 3 ], 61, 19, 
      "issmallsemigroupelt", "X7EC241FB7985775E" ], 
  [ "\033[2XRecoverMultiplicationTable\033[102X", "4.1-4", [ 4, 1, 4 ], 80, 
      19, "recovermultiplicationtable", "X793FF84E80B334D1" ], 
  [ "\033[2XRecoverMultiplicationTableNC\033[102X", "4.1-4", [ 4, 1, 4 ], 80, 
      19, "recovermultiplicationtablenc", "X793FF84E80B334D1" ], 
  [ "\033[2XSemigroupByMultiplicationTableNC\033[102X", "4.1-5", [ 4, 1, 5 ], 
      117, 20, "semigroupbymultiplicationtablenc", "X813727FD851302B7" ], 
  [ "\033[2XIdSmallSemigroup\033[102X", "4.1-6", [ 4, 1, 6 ], 140, 20, 
      "idsmallsemigroup", "X788211A07D67C282" ], 
  [ "\033[2XEquivalenceSmallSemigroup\033[102X", "4.1-7", [ 4, 1, 7 ], 155, 
      20, "equivalencesmallsemigroup", "X79D38A3886C7431D" ], 
  [ "\033[2XInfoSmallsemi\033[102X", "4.1-8", [ 4, 1, 8 ], 172, 21, 
      "infosmallsemi", "X8078FC78871FA496" ], 
  [ "\033[2XUnloadSmallsemiData\033[102X", "4.1-9", [ 4, 1, 9 ], 180, 21, 
      "unloadsmallsemidata", "X841BB74986A73272" ], 
  [ "\033[2XAnnihilators\033[102X", "4.2-1", [ 4, 2, 1 ], 247, 22, 
      "annihilators", "X86A4F95783A18702" ], 
  [ "\033[2XDiagonalOfMultiplicationTable\033[102X", "4.2-2", [ 4, 2, 2 ], 
      264, 22, "diagonalofmultiplicationtable", "X7E1195927C454C8A" ], 
  [ "\033[2XDisplaySmallSemigroup\033[102X", "4.2-3", [ 4, 2, 3 ], 279, 22, 
      "displaysmallsemigroup", "X7DCF7C368665E94D" ], 
  [ "\033[2XIndexPeriod\033[102X", "4.2-4", [ 4, 2, 4 ], 317, 23, 
      "indexperiod", "X86B662117F4C4C7F" ], 
  [ "\033[2XIsBand\033[102X", "4.2-5", [ 4, 2, 5 ], 339, 23, "isband", 
      "X7C8DB14587D1B55A" ], 
  [ "\033[2XIsBrandtSemigroup\033[102X", "4.2-6", [ 4, 2, 6 ], 360, 24, 
      "isbrandtsemigroup", "X7EFDBA687DCDA6FA" ], 
  [ "\033[2XIsCliffordSemigroup\033[102X", "4.2-7", [ 4, 2, 7 ], 382, 24, 
      "iscliffordsemigroup", "X81DE11987BB81017" ], 
  [ "\033[2XIsCommutativeSemigroup\033[102X", "4.2-8", [ 4, 2, 8 ], 414, 25, 
      "iscommutativesemigroup", "X843EFDA4807FDC31" ], 
  [ "\033[2XIsCommutative\033[102X", "4.2-8", [ 4, 2, 8 ], 414, 25, 
      "iscommutative", "X843EFDA4807FDC31" ], 
  [ "\033[2XIsCompletelyRegularSemigroup\033[102X", "4.2-9", [ 4, 2, 9 ], 
      443, 25, "iscompletelyregularsemigroup", "X7AFA23AF819FBF3D" ], 
  [ "\033[2XIsFullTransformationSemigroupCopy\033[102X", "4.2-10", 
      [ 4, 2, 10 ], 466, 25, "isfulltransformationsemigroupcopy", 
      "X7D51FD2B7AA3E8DF" ], 
  [ "\033[2XIsGroupAsSemigroup\033[102X", "4.2-11", [ 4, 2, 11 ], 491, 26, 
      "isgroupassemigroup", "X852F29E8795FA489" ], 
  [ "\033[2XIsIdempotentGenerated\033[102X", "4.2-12", [ 4, 2, 12 ], 509, 26, 
      "isidempotentgenerated", "X835484C481CF3DDD" ], 
  [ "\033[2XIsSemiband\033[102X", "4.2-12", [ 4, 2, 12 ], 509, 26, 
      "issemiband", "X835484C481CF3DDD" ], 
  [ "\033[2XIsInverseSemigroup\033[102X", "4.2-13", [ 4, 2, 13 ], 539, 27, 
      "isinversesemigroup", "X83F1529479D56665" ], 
  [ "\033[2XIsLeftZeroSemigroup\033[102X", "4.2-14", [ 4, 2, 14 ], 561, 27, 
      "isleftzerosemigroup", "X7E9261367C8C52C0" ], 
  [ "\033[2XIsMonogenicSemigroup\033[102X", "4.2-15", [ 4, 2, 15 ], 581, 27, 
      "ismonogenicsemigroup", "X79D46BAB7E327AD1" ], 
  [ "\033[2XIsMonoidAsSemigroup\033[102X", "4.2-16", [ 4, 2, 16 ], 605, 28, 
      "ismonoidassemigroup", "X7E4DEECD7CD9886D" ], 
  [ "\033[2XIsMultSemigroupOfNearRing\033[102X", "4.2-17", [ 4, 2, 17 ], 627, 
      28, "ismultsemigroupofnearring", "X79FF88207AFC8330" ], 
  [ "\033[2XIsNGeneratedSemigroup\033[102X", "4.2-18", [ 4, 2, 18 ], 650, 29, 
      "isngeneratedsemigroup", "X83D4ED237BB929AF" ], 
  [ "\033[2XIsNIdempotentSemigroup\033[102X", "4.2-19", [ 4, 2, 19 ], 672, 
      29, "isnidempotentsemigroup", "X87BF19367BA2B9ED" ], 
  [ "\033[2XIsNilpotentSemigroup\033[102X", "4.2-20", [ 4, 2, 20 ], 689, 29, 
      "isnilpotentsemigroup", "X780ADE31828F0848" ], 
  [ "\033[2XIsNilpotent\033[102X", "4.2-20", [ 4, 2, 20 ], 689, 29, 
      "isnilpotent", "X780ADE31828F0848" ], 
  [ "\033[2XIsOrthodoxSemigroup\033[102X", "4.2-21", [ 4, 2, 21 ], 713, 30, 
      "isorthodoxsemigroup", "X7935C476808C8773" ], 
  [ "\033[2XIsRectangularBand\033[102X", "4.2-22", [ 4, 2, 22 ], 732, 30, 
      "isrectangularband", "X7E9B674D781B072C" ], 
  [ "\033[2XIsRegularSemigroup\033[102X", "4.2-23", [ 4, 2, 23 ], 751, 30, 
      "isregularsemigroup", "X7C4663827C5ACEF1" ], 
  [ "\033[2XIsRightZeroSemigroup\033[102X", "4.2-24", [ 4, 2, 24 ], 774, 31, 
      "isrightzerosemigroup", "X7CB099958658F979" ], 
  [ "\033[2XIsSelfDualSemigroup\033[102X", "4.2-25", [ 4, 2, 25 ], 790, 31, 
      "isselfdualsemigroup", "X846FC6247EE31607" ], 
  [ "\033[2XIsSemigroupWithClosedIdempotents\033[102X", "4.2-26", 
      [ 4, 2, 26 ], 811, 31, "issemigroupwithclosedidempotents", 
      "X7D3ACD8A7C0AB34C" ], 
  [ "\033[2XIsSemigroupWithZero\033[102X", "4.2-27", [ 4, 2, 27 ], 830, 31, 
      "issemigroupwithzero", "X82D229727C6278EC" ], 
  [ "\033[2XIsSimpleSemigroup\033[102X", "4.2-28", [ 4, 2, 28 ], 849, 32, 
      "issimplesemigroup", "X836F4692839F4874" ], 
  [ "\033[2XIsCompletelySimpleSemigroup\033[102X", "4.2-28", [ 4, 2, 28 ], 
      849, 32, "iscompletelysimplesemigroup", "X836F4692839F4874" ], 
  [ "\033[2XIsSingularSemigroupCopy\033[102X", "4.2-29", [ 4, 2, 29 ], 875, 
      32, "issingularsemigroupcopy", "X85A3F78C864507EB" ], 
  [ "\033[2XIsZeroGroup\033[102X", "4.2-30", [ 4, 2, 30 ], 900, 33, 
      "iszerogroup", "X85F7E5CD86F0643B" ], 
  [ "\033[2XIsZeroSemigroup\033[102X", "4.2-31", [ 4, 2, 31 ], 922, 33, 
      "iszerosemigroup", "X81A1882181B75CC9" ], 
  [ "\033[2XIsZeroSimpleSemigroup\033[102X", "4.2-32", [ 4, 2, 32 ], 958, 34, 
      "iszerosimplesemigroup", "X8193A60F839C064E" ], 
  [ "\033[2XMinimalGeneratingSet\033[102X", "4.2-33", [ 4, 2, 33 ], 978, 34, 
      "minimalgeneratingset", "X81D15723804771E2" ], 
  [ "\033[2XNilpotencyDegree\033[102X", "4.2-34", [ 4, 2, 34 ], 996, 34, 
      "nilpotencydegree", "X7D1C336E7B0A059C" ], 
  [ "\033[2XNilpotentSemigroupsByCoclass\033[102X", "4.3-1", [ 4, 3, 1 ], 
      1041, 35, "nilpotentsemigroupsbycoclass", "X819BD88C78976AFD" ], 
  [ "\033[2XIsStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "isstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XIsRStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "isrstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XIsLStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "islstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XIsJStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "isjstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XIsHStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "ishstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XIsDStarRelation\033[102X", "4.4-1", [ 4, 4, 1 ], 1085, 36, 
      "isdstarrelation", "X84EAD3BC80389059" ], 
  [ "\033[2XRStarRelation\033[102X", "4.4-2", [ 4, 4, 2 ], 1097, 36, 
      "rstarrelation", "X7A8059EC848E0A77" ], 
  [ "\033[2XLStarRelation\033[102X", "4.4-2", [ 4, 4, 2 ], 1097, 36, 
      "lstarrelation", "X7A8059EC848E0A77" ], 
  [ "\033[2XJStarRelation\033[102X", "4.4-2", [ 4, 4, 2 ], 1097, 36, 
      "jstarrelation", "X7A8059EC848E0A77" ], 
  [ "\033[2XDStarRelation\033[102X", "4.4-2", [ 4, 4, 2 ], 1097, 36, 
      "dstarrelation", "X7A8059EC848E0A77" ], 
  [ "\033[2XHStarRelation\033[102X", "4.4-2", [ 4, 4, 2 ], 1097, 36, 
      "hstarrelation", "X7A8059EC848E0A77" ], 
  [ "\033[2XRStarClass\033[102X for a semigroup and element", "4.4-3", 
      [ 4, 4, 3 ], 1108, 36, "rstarclass for a semigroup and element", 
      "X7D30CDC386C8816A" ], 
  [ "\033[2XLStarClass\033[102X for a semigroup and element", "4.4-3", 
      [ 4, 4, 3 ], 1108, 36, "lstarclass for a semigroup and element", 
      "X7D30CDC386C8816A" ], 
  [ "\033[2XDStarClass\033[102X for a semigroup and element", "4.4-3", 
      [ 4, 4, 3 ], 1108, 36, "dstarclass for a semigroup and element", 
      "X7D30CDC386C8816A" ], 
  [ "\033[2XJStarClass\033[102X for a semigroup and element", "4.4-3", 
      [ 4, 4, 3 ], 1108, 36, "jstarclass for a semigroup and element", 
      "X7D30CDC386C8816A" ], 
  [ "\033[2XHStarClass\033[102X for a semigroup and element", "4.4-3", 
      [ 4, 4, 3 ], 1108, 36, "hstarclass for a semigroup and element", 
      "X7D30CDC386C8816A" ], 
  [ "\033[2XRStarClass\033[102X for a Green's *-class", "4.4-4", [ 4, 4, 4 ], 
      1129, 37, "rstarclass for a greens *-class", "X83E1C16B8247ECBD" ], 
  [ "\033[2XLStarClass\033[102X for a Green's *-class", "4.4-4", [ 4, 4, 4 ], 
      1129, 37, "lstarclass for a greens *-class", "X83E1C16B8247ECBD" ], 
  [ "\033[2XDStarClass\033[102X for a Green's *-class", "4.4-4", [ 4, 4, 4 ], 
      1129, 37, "dstarclass for a greens *-class", "X83E1C16B8247ECBD" ], 
  [ "\033[2XJStarClass\033[102X for a Green's *-class", "4.4-4", [ 4, 4, 4 ], 
      1129, 37, "jstarclass for a greens *-class", "X83E1C16B8247ECBD" ], 
  [ "\033[2XIsStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "isstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XIsRStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "isrstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XIsLStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "islstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XIsJStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "isjstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XIsHStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "ishstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XIsDStarClass\033[102X", "4.4-5", [ 4, 4, 5 ], 1154, 37, 
      "isdstarclass", "X82A391177D13A7E0" ], 
  [ "\033[2XRStarClasses\033[102X", "4.4-6", [ 4, 4, 6 ], 1166, 37, 
      "rstarclasses", "X83B9C0417C03A220" ], 
  [ "\033[2XLStarClasses\033[102X", "4.4-6", [ 4, 4, 6 ], 1166, 37, 
      "lstarclasses", "X83B9C0417C03A220" ], 
  [ "\033[2XJStarClasses\033[102X", "4.4-6", [ 4, 4, 6 ], 1166, 37, 
      "jstarclasses", "X83B9C0417C03A220" ], 
  [ "\033[2XDStarClasses\033[102X", "4.4-6", [ 4, 4, 6 ], 1166, 37, 
      "dstarclasses", "X83B9C0417C03A220" ], 
  [ "\033[2XHStarClasses\033[102X", "4.4-6", [ 4, 4, 6 ], 1166, 37, 
      "hstarclasses", "X83B9C0417C03A220" ], 
  [ "\033[2XAllSmallSemigroups\033[102X", "4.5-1", [ 4, 5, 1 ], 1269, 39, 
      "allsmallsemigroups", "X81DC0FE28043C9B0" ], 
  [ "\033[2XEnumeratorOfSmallSemigroups\033[102X", "4.5-2", [ 4, 5, 2 ], 
      1315, 40, "enumeratorofsmallsemigroups", "X831E543E83DDFDEA" ], 
  [ "\033[2XEnumeratorOfSmallSemigroupsByIds\033[102X", "4.5-3", [ 4, 5, 3 ], 
      1362, 40, "enumeratorofsmallsemigroupsbyids", "X7F8EF88E7EB417A8" ], 
  [ "\033[2XEnumeratorOfSmallSemigroupsByIdsNC\033[102X", "4.5-3", 
      [ 4, 5, 3 ], 1362, 40, "enumeratorofsmallsemigroupsbyidsnc", 
      "X7F8EF88E7EB417A8" ], 
  [ "\033[2XArgumentsUsedToCreate\033[102X", "4.5-4", [ 4, 5, 4 ], 1393, 41, 
      "argumentsusedtocreate", "X7A14F5A58020DCFF" ], 
  [ "\033[2XIdsOfSmallSemigroups\033[102X", "4.5-5", [ 4, 5, 5 ], 1408, 41, 
      "idsofsmallsemigroups", "X814BA9F778B06D47" ], 
  [ "\033[2XIsEnumeratorOfSmallSemigroups\033[102X", "4.5-6", [ 4, 5, 6 ], 
      1448, 42, "isenumeratorofsmallsemigroups", "X7BF0DCA5853A5C22" ], 
  [ "\033[2XIsIdSmallSemigroup\033[102X", "4.5-7", [ 4, 5, 7 ], 1462, 42, 
      "isidsmallsemigroup", "X83C27CD97895698A" ], 
  [ "\033[2XIsIteratorOfSmallSemigroups\033[102X", "4.5-8", [ 4, 5, 8 ], 
      1478, 42, "isiteratorofsmallsemigroups", "X803366027F328BC9" ], 
  [ "\033[2XIteratorOfSmallSemigroups\033[102X", "4.5-9", [ 4, 5, 9 ], 1491, 
      43, "iteratorofsmallsemigroups", "X7D6BFDE17A9BEEC3" ], 
  [ "\033[2XNr3NilpotentSemigroups\033[102X", "4.5-10", [ 4, 5, 10 ], 1543, 
      44, "nr3nilpotentsemigroups", "X867F3E967CF3AFE9" ], 
  [ "\033[2XNrSmallSemigroups\033[102X", "4.5-11", [ 4, 5, 11 ], 1569, 44, 
      "nrsmallsemigroups", "X8257C9207DDF2451" ], 
  [ "\033[2XOneSmallSemigroup\033[102X", "4.5-12", [ 4, 5, 12 ], 1611, 45, 
      "onesmallsemigroup", "X7C71885F7DF31EC4" ], 
  [ "\033[2XPositionsOfSmallSemigroupsIn\033[102X", "4.5-13", [ 4, 5, 13 ], 
      1650, 45, "positionsofsmallsemigroupsin", "X7EACCD1F7DF9DD3C" ], 
  [ "\033[2XPositionsOfSmallSemigroups\033[102X", "4.5-14", [ 4, 5, 14 ], 
      1666, 46, "positionsofsmallsemigroups", "X7FAF09BF7CC1C265" ], 
  [ "\033[2XPrecomputedSmallSemisInfo\033[102X", "4.5-15", [ 4, 5, 15 ], 
      1699, 46, "precomputedsmallsemisinfo", "X79AFE7FC81C0DF37" ], 
  [ "\033[2XRandomSmallSemigroup\033[102X", "4.5-16", [ 4, 5, 16 ], 1721, 47, 
      "randomsmallsemigroup", "X7A63356C85E45F6F" ], 
  [ "\033[2XSizesOfSmallSemigroupsIn\033[102X", "4.5-17", [ 4, 5, 17 ], 1761, 
      47, "sizesofsmallsemigroupsin", "X83C6631B7D53AE02" ], 
  [ "\033[2XUpToIsomorphism\033[102X", "4.5-18", [ 4, 5, 18 ], 1775, 47, 
      "uptoisomorphism", "X87C50557821D4786" ] ]
);