Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Semigroups",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Abstract", "0.0-1", [ 0, 0, 1 ], 217, 2, "abstract", "X7AA6C5737B711C89" 
     ], 
  [ "Copyright", "0.0-2", [ 0, 0, 2 ], 240, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 249, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 285, 4, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe \033[5XSemigroups\033[105X\033[101X\027\033[1\
X\027 package\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 8, 
      "the semigroups package", "X7D8D6DB37A0326BE" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 4, 8, "introduction", "X7DFB63A97E67C0A1" ], 
  [ "\033[1X\033[33X\033[0;-2YOverview\033[133X\033[101X", "1.2", 
      [ 1, 2, 0 ], 19, 8, "overview", "X8389AD927B74BA4A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInstalling \033[5XSemigroups\033[105X\033[101X\\
027\033[1X\027\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10, 
      "installing semigroups", "X82398F3785F63754" ], 
  [ "\033[1X\033[33X\033[0;-2YFor those in a hurry\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 4, 10, "for those in a hurry", "X7DA3059C79842BF3" ], 
  [ "\033[1X\033[33X\033[0;-2YCompiling the kernel module\033[133X\033[101X", 
      "2.2", [ 2, 2, 0 ], 68, 11, "compiling the kernel module", 
      "X849F6196875A6DF5" ], 
  [ "\033[1X\033[33X\033[0;-2YRebuilding the documentation\033[133X\033[101X",
      "2.3", [ 2, 3, 0 ], 105, 11, "rebuilding the documentation", 
      "X857CBE5484CF703A" ], 
  [ "\033[1X\033[33X\033[0;-2YTesting your installation\033[133X\033[101X", 
      "2.4", [ 2, 4, 0 ], 120, 12, "testing your installation", 
      "X7862D3F37C5BBDEF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMore information during a computation\033[133X\\
033[101X", "2.5", [ 2, 5, 0 ], 188, 13, 
      "more information during a computation", "X798CBC46800AB80F" ], 
  [ "\033[1X\033[33X\033[0;-2YBipartitions and blocks\033[133X\033[101X", 
      "3", [ 3, 0, 0 ], 1, 14, "bipartitions and blocks", "X7C18DB427C9C0917" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe family and categories of bipartitions\033[133\
X\033[101X", "3.1", [ 3, 1, 0 ], 93, 15, 
      "the family and categories of bipartitions", "X7850845886902FBF" ], 
  [ "\033[1X\033[33X\033[0;-2YCreating bipartitions\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 121, 16, "creating bipartitions", 
      "X85D77073820C7E72" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging the representation of a bipartition\033[\
133X\033[101X", "3.3", [ 3, 3, 0 ], 301, 18, 
      "changing the representation of a bipartition", "X7C2C44D281A0D2C9" ], 
  [ "\033[1X\033[33X\033[0;-2YOperators for bipartitions\033[133X\033[101X", 
      "3.4", [ 3, 4, 0 ], 541, 22, "operators for bipartitions", 
      "X83F2C3C97E8FFA49" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes for bipartitons\033[133X\033[101X", 
      "3.5", [ 3, 5, 0 ], 635, 24, "attributes for bipartitons", 
      "X87F3A304814797CE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCreating blocks and their attributes\033[133X\\
033[101X", "3.6", [ 3, 6, 0 ], 1041, 30, 
      "creating blocks and their attributes", "X87684C148592F831" ], 
  [ "\033[1X\033[33X\033[0;-2YActions on blocks\033[133X\033[101X", "3.7", 
      [ 3, 7, 0 ], 1159, 32, "actions on blocks", "X7A45E0067F344683" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroups of bipartitions\033[133X\033[101X", 
      "3.8", [ 3, 8, 0 ], 1203, 33, "semigroups of bipartitions", 
      "X876C963F830719E2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPartitioned binary relations (PBRs)\033[133X\033[\
101X", "4", [ 4, 0, 0 ], 1, 36, "partitioned binary relations pbrs", 
      "X85A717D1790B7BB5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe family and categories of PBRs\033[133X\033[10\
1X", "4.1", [ 4, 1, 0 ], 17, 36, "the family and categories of pbrs", 
      "X7C40DA67826FF873" ], 
  [ "\033[1X\033[33X\033[0;-2YCreating PBRs\033[133X\033[101X", "4.2", 
      [ 4, 2, 0 ], 42, 36, "creating pbrs", "X8758C4FB81D2C2A1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging the representation of a PBR\033[133X\\
033[101X", "4.3", [ 4, 3, 0 ], 144, 38, "changing the representation of a pbr"
        , "X86B714987C01895F" ], 
  [ "\033[1X\033[33X\033[0;-2YOperators for PBRs\033[133X\033[101X", "4.4", 
      [ 4, 4, 0 ], 290, 41, "operators for pbrs", "X872B5817878660E5" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes for PBRs\033[133X\033[101X", "4.5", 
      [ 4, 5, 0 ], 306, 41, "attributes for pbrs", "X78EC8E597EB99730" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroups of PBRs\033[133X\033[101X", "4.6", 
      [ 4, 6, 0 ], 612, 46, "semigroups of pbrs", "X7ECD4BBD7A0E834E" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrices over semirings\033[133X\033[101X", 
      "5", [ 5, 0, 0 ], 1, 48, "matrices over semirings", "X82D6B7FE7CAC0AFA" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCreating matrices over semirings\033[133X\033[101\
X", "5.1", [ 5, 1, 0 ], 47, 49, "creating matrices over semirings", 
      "X7ECF673C7BE2384D" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix filters\033[133X\033[101X", "5.1-8", 
      [ 5, 1, 8 ], 364, 54, "matrix filters", "X782480C686F1A663" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix collection filters\033[133X\033[101X", 
      "5.1-9", [ 5, 1, 9 ], 395, 54, "matrix collection filters", 
      "X86233A3E86512493" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperators for matrices over semirings\033[133X\\
033[101X", "5.2", [ 5, 2, 0 ], 521, 57, 
      "operators for matrices over semirings", "X807E402687741CDA" ], 
  [ "\033[1X\033[33X\033[0;-2YBoolean matrices\033[133X\033[101X", "5.3", 
      [ 5, 3, 0 ], 540, 57, "boolean matrices", "X844A32A184E5EB75" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrices over finite fields\033[133X\033[101X", 
      "5.4", [ 5, 4, 0 ], 1158, 67, "matrices over finite fields", 
      "X873822B6830CE367" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrices over the integers\033[133X\033[101X", 
      "5.5", [ 5, 5, 0 ], 1219, 68, "matrices over the integers", 
      "X8770A88E82AA24B7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMax-plus and min-plus matrices\033[133X\033[101X"
        , "5.6", [ 5, 6, 0 ], 1307, 70, "max-plus and min-plus matrices", 
      "X86BFFFBC87F2AB1E" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix semigroups\033[133X\033[101X", "5.7", 
      [ 5, 7, 0 ], 1391, 71, "matrix semigroups", "X79B614AA803BD103" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix semigroup filters\033[133X\033[101X", 
      "5.7-1", [ 5, 7, 1 ], 1417, 72, "matrix semigroup filters", 
      "X7DC6EB0680B3E4DD" ], 
  [ "\033[1X\033[33X\033[0;-2YMatrix monoid filters\033[133X\033[101X", 
      "5.7-2", [ 5, 7, 2 ], 1435, 72, "matrix monoid filters", 
      "X8616225581BC7414" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups and monoids defined by generating sets\
\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 74, 
      "semigroups and monoids defined by generating sets", 
      "X7995B4F18672DDB0" ], 
  [ "\033[1X\033[33X\033[0;-2YUnderlying algorithms\033[133X\033[101X", 
      "6.1", [ 6, 1, 0 ], 9, 74, "underlying algorithms", "X7A19D22B7A05CC2F" 
     ], [ "\033[1X\033[33X\033[0;-2YActing semigroups\033[133X\033[101X", 
      "6.1-1", [ 6, 1, 1 ], 18, 74, "acting semigroups", "X7A3AC74C7FF85825" ]
    , 
  [ "\033[1X\033[33X\033[0;-2YThe Froidure-Pin Algorithm\033[133X\033[101X", 
      "6.1-3", [ 6, 1, 3 ], 85, 75, "the froidure-pin algorithm", 
      "X7E2DE9767D5D82F7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups represented by generators\033[133X\\
033[101X", "6.2", [ 6, 2, 0 ], 183, 77, "semigroups represented by generators"
        , "X79BD00A682BDED7A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOptions when creating semigroups\033[133X\033[101\
X", "6.3", [ 6, 3, 0 ], 200, 77, "options when creating semigroups", 
      "X799EBA2F819D8867" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSubsemigroups and supersemigroups\033[133X\033[10\
1X", "6.4", [ 6, 4, 0 ], 346, 79, "subsemigroups and supersemigroups", 
      "X87AA2EB6810B4631" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging the representation of a semigroup\033[13\
3X\033[101X", "6.5", [ 6, 5, 0 ], 499, 82, 
      "changing the representation of a semigroup", "X82CCC1A781650878" ], 
  [ "\033[1X\033[33X\033[0;-2YRandom semigroups\033[133X\033[101X", "6.6", 
      [ 6, 6, 0 ], 1027, 91, "random semigroups", "X7C3F130B8362D55A" ], 
  [ "\033[1X\033[33X\033[0;-2YStandard examples\033[133X\033[101X", "7", 
      [ 7, 0, 0 ], 1, 94, "standard examples", "X7C76D1DC7DAF03D3" ], 
  [ "\033[1X\033[33X\033[0;-2YTransformation semigroups\033[133X\033[101X", 
      "7.1", [ 7, 1, 0 ], 7, 94, "transformation semigroups", 
      "X7E42E8337A78B076" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups of order-preserving transformations\\
033[133X\033[101X", "7.1-5", [ 7, 1, 5 ], 89, 95, 
      "semigroups of order-preserving transformations", "X80E80A0A83B57483" ],
  [ "\033[1X\033[33X\033[0;-2YSemigroups of partial permutations\033[133X\033[\
101X", "7.2", [ 7, 2, 0 ], 199, 97, "semigroups of partial permutations", 
      "X862BA1C67AA1C77C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInverse monoids of order-preserving partial permu\
tations\033[133X\033[101X", "7.2-3", [ 7, 2, 3 ], 248, 98, 
      "inverse monoids of order-preserving partial permutations", 
      "X85D841AE83DF101C" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroups of bipartitions\033[133X\033[101X", 
      "7.3", [ 7, 3, 0 ], 302, 99, "semigroups of bipartitions", 
      "X876C963F830719E2" ], 
  [ "\033[1X\033[33X\033[0;-2YStandard PBR semigroups\033[133X\033[101X", 
      "7.4", [ 7, 4, 0 ], 698, 106, "standard pbr semigroups", 
      "X874C945E7C61A969" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups of matrices over a finite field\033[13\
3X\033[101X", "7.5", [ 7, 5, 0 ], 725, 106, 
      "semigroups of matrices over a finite field", "X857DBF537A9A9976" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups of boolean matrices\033[133X\033[101X"
        , "7.6", [ 7, 6, 0 ], 798, 108, "semigroups of boolean matrices", 
      "X85BACB7F81660ECC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSemigroups of matrices over a semiring\033[133X\\
033[101X", "7.7", [ 7, 7, 0 ], 955, 110, 
      "semigroups of matrices over a semiring", "X7F3D0AEE79AA8C98" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YExamples in various representations\033[133X\033[\
101X", "7.8", [ 7, 8, 0 ], 1005, 111, "examples in various representations", 
      "X7ED2F2577CD6B578" ], 
  [ "\033[1X\033[33X\033[0;-2YFree bands\033[133X\033[101X", "7.9", 
      [ 7, 9, 0 ], 1353, 117, "free bands", "X7BB29A6779E8066A" ], 
  [ "\033[1X\033[33X\033[0;-2YOperators\033[133X\033[101X", "7.9-10", 
      [ 7, 9, 10 ], 1567, 120, "operators", "X7AD6F77E7D95C996" ], 
  [ "\033[1X\033[33X\033[0;-2YGraph inverse semigroups\033[133X\033[101X", 
      "7.10", [ 7, 10, 0 ], 1582, 120, "graph inverse semigroups", 
      "X850B10D783053100" ], 
  [ "\033[1X\033[33X\033[0;-2YFree inverse semigroups\033[133X\033[101X", 
      "7.11", [ 7, 11, 0 ], 1819, 124, "free inverse semigroups", 
      "X7E51292C8755DCF2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDisplaying free inverse semigroup elements\033[13\
3X\033[101X", "7.11-8", [ 7, 11, 8 ], 1977, 127, 
      "displaying free inverse semigroup elements", "X8073A2387A42B52D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperators for free inverse semigroup elements\\
033[133X\033[101X", "7.11-9", [ 7, 11, 9 ], 2011, 128, 
      "operators for free inverse semigroup elements", "X7A55FD9A7DF21C60" ], 
  [ "\033[1X\033[33X\033[0;-2YStandard constructions\033[133X\033[101X", "8", 
      [ 8, 0, 0 ], 1, 129, "standard constructions", "X86EE8DC987BA646E" ], 
  [ "\033[1X\033[33X\033[0;-2YProducts of semigroups\033[133X\033[101X", 
      "8.1", [ 8, 1, 0 ], 8, 129, "products of semigroups", 
      "X79546641809113CE" ], 
  [ "\033[1X\033[33X\033[0;-2YDual semigroups\033[133X\033[101X", "8.2", 
      [ 8, 2, 0 ], 80, 130, "dual semigroups", "X7F035EC07AA7CD97" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YStrong semilattices of semigroups\033[133X\033[10\
1X", "8.3", [ 8, 3, 0 ], 213, 132, "strong semilattices of semigroups", 
      "X7BEA92E67A6D349A" ], 
  [ "\033[1X\033[33X\033[0;-2YMcAlister triple semigroups\033[133X\033[101X", 
      "8.4", [ 8, 4, 0 ], 350, 135, "mcalister triple semigroups", 
      "X7CC4F6FE87AFE638" ], 
  [ "\033[1X\033[33X\033[0;-2YIdeals\033[133X\033[101X", "9", [ 9, 0, 0 ], 1, 
      140, "ideals", "X83629803819C4A6F" ], 
  [ "\033[1X\033[33X\033[0;-2YCreating ideals\033[133X\033[101X", "9.1", 
      [ 9, 1, 0 ], 22, 140, "creating ideals", "X82D4D9A578A56A8D" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes of ideals\033[133X\033[101X", "9.2", 
      [ 9, 2, 0 ], 78, 141, "attributes of ideals", "X85D4E72B787B1C49" ], 
  [ "\033[1X\033[33X\033[0;-2YGreen's relations\033[133X\033[101X", "10", 
      [ 10, 0, 0 ], 1, 144, "greens relations", "X80C6C718801855E9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCreating Green's classes and representatives\033[\
133X\033[101X", "10.1", [ 10, 1, 0 ], 7, 144, 
      "creating greens classes and representatives", "X788D6753849BAD7C" ], 
  [ "\033[1X\033[33X\033[0;-2YXClassOfYClass\033[133X\033[101X", "10.1-1", 
      [ 10, 1, 1 ], 13, 144, "xclassofyclass", "X87558FEF805D24E1" ], 
  [ "\033[1X\033[33X\033[0;-2YGreensXClassOfElement\033[133X\033[101X", 
      "10.1-2", [ 10, 1, 2 ], 78, 145, "greensxclassofelement", 
      "X81B7AD4C7C552867" ], 
  [ "\033[1X\033[33X\033[0;-2YGreensXClassOfElementNC\033[133X\033[101X", 
      "10.1-3", [ 10, 1, 3 ], 117, 146, "greensxclassofelementnc", 
      "X7B44317786571F8B" ], 
  [ "\033[1X\033[33X\033[0;-2YGreensXClasses\033[133X\033[101X", "10.1-4", 
      [ 10, 1, 4 ], 185, 147, "greensxclasses", "X7D51218A80234DE5" ], 
  [ "\033[1X\033[33X\033[0;-2YXClassReps\033[133X\033[101X", "10.1-5", 
      [ 10, 1, 5 ], 285, 149, "xclassreps", "X865387A87FAAC395" ], 
  [ "\033[1X\033[33X\033[0;-2YMaximalXClasses\033[133X\033[101X", "10.1-7", 
      [ 10, 1, 7 ], 368, 150, "maximalxclasses", "X834172F4787A565B" ], 
  [ "\033[1X\033[33X\033[0;-2YNrXClasses\033[133X\033[101X", "10.1-9", 
      [ 10, 1, 9 ], 427, 151, "nrxclasses", "X7E45FD9F7BADDFBD" ], 
  [ "\033[1X\033[33X\033[0;-2YPartialOrderOfXClasses\033[133X\033[101X", 
      "10.1-10", [ 10, 1, 10 ], 508, 152, "partialorderofxclasses", 
      "X8140814084748101" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIterators and enumerators of classes and represen\
tatives\033[133X\033[101X", "10.2", [ 10, 2, 0 ], 645, 155, 
      "iterators and enumerators of classes and representatives", 
      "X819CCBD67FD27115" ], 
  [ "\033[1X\033[33X\033[0;-2YIteratorOfXClassReps\033[133X\033[101X", 
      "10.2-1", [ 10, 2, 1 ], 651, 155, "iteratorofxclassreps", 
      "X8566F84A7F6D4193" ], 
  [ "\033[1X\033[33X\033[0;-2YIteratorOfXClasses\033[133X\033[101X", 
      "10.2-2", [ 10, 2, 2 ], 666, 155, "iteratorofxclasses", 
      "X867D7B8982915960" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties of Green's classes\033[133X\033[101X"
        , "10.3", [ 10, 3, 0 ], 744, 156, "properties of greens classes", 
      "X820EF2BA7D5D53B4" ], 
  [ "\033[1X\033[33X\033[0;-2YLess than for Green's classes\033[133X\033[101X"
        , "10.3-1", [ 10, 3, 1 ], 750, 157, "less than for greens classes", 
      "X85F30ACF86C3A733" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes of Green's classes\033[133X\033[101X"
        , "10.4", [ 10, 4, 0 ], 855, 158, "attributes of greens classes", 
      "X855723B17D4AAF8F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperations for Green's relations and classes\033[\
133X\033[101X", "10.5", [ 10, 5, 0 ], 1178, 164, 
      "operations for greens relations and classes", "X802E2BC9828341A2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes and operations for semigroups\033[133X\
\033[101X", "11", [ 11, 0, 0 ], 1, 166, 
      "attributes and operations for semigroups", "X7C75B1DB81C7779B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAccessing the elements of a semigroup\033[133X\\
033[101X", "11.1", [ 11, 1, 0 ], 8, 166, 
      "accessing the elements of a semigroup", "X7AE0630287B8A757" ], 
  [ "\033[1X\033[33X\033[0;-2YCayley graphs\033[133X\033[101X", "11.2", 
      [ 11, 2, 0 ], 119, 168, "cayley graphs", "X789D5E5A8558AA07" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRandom elements of a semigroup\033[133X\033[101X"
        , "11.3", [ 11, 3, 0 ], 149, 168, "random elements of a semigroup", 
      "X824184C785BF12FF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YProperties of elements in a semigroup\033[133X\\
033[101X", "11.4", [ 11, 4, 0 ], 164, 169, 
      "properties of elements in a semigroup", "X80EB463F7E5D8920" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperations for elements in a semigroup\033[133X\\
033[101X", "11.5", [ 11, 5, 0 ], 227, 170, 
      "operations for elements in a semigroup", "X7A20EC348515E37B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YExpressing semigroup elements as words in generat\
ors\033[133X\033[101X", "11.6", [ 11, 6, 0 ], 256, 170, 
      "expressing semigroup elements as words in generators", 
      "X81CEB3717E021643" ], 
  [ "\033[1X\033[33X\033[0;-2YGenerating sets\033[133X\033[101X", "11.7", 
      [ 11, 7, 0 ], 460, 174, "generating sets", "X7E4AA1437A6C7B40" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMinimal ideals and multiplicative zeros\033[133X\\
033[101X", "11.8", [ 11, 8, 0 ], 798, 179, 
      "minimal ideals and multiplicative zeros", "X830E18747A0B5BED" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGroup of units and identity elements\033[133X\\
033[101X", "11.9", [ 11, 9, 0 ], 952, 182, 
      "group of units and identity elements", "X7CAB17667ED5A6E8" ], 
  [ "\033[1X\033[33X\033[0;-2YIdempotents\033[133X\033[101X", "11.10", 
      [ 11, 10, 0 ], 1004, 183, "idempotents", "X7C651C9C78398FFF" ], 
  [ "\033[1X\033[33X\033[0;-2YMaximal subsemigroups\033[133X\033[101X", 
      "11.11", [ 11, 11, 0 ], 1175, 186, "maximal subsemigroups", 
      "X7D490B867CEFCBEF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes of transformations and transformation \
semigroups\033[133X\033[101X", "11.12", [ 11, 12, 0 ], 1367, 189, 
      "attributes of transformations and transformation semigroups", 
      "X87696C597F453F4F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes of partial perm semigroups\033[133X\\
033[101X", "11.13", [ 11, 13, 0 ], 1628, 193, 
      "attributes of partial perm semigroups", "X84B8E29C7D7565B0" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes of Rees (0-)matrix semigroups\033[133X\
\033[101X", "11.14", [ 11, 14, 0 ], 1708, 195, 
      "attributes of rees 0- matrix semigroups", "X7AF313CF7CBE98D7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes of inverse semigroups\033[133X\033[101\
X", "11.15", [ 11, 15, 0 ], 1773, 196, "attributes of inverse semigroups", 
      "X822D030682BC1275" ], 
  [ "\033[1X\033[33X\033[0;-2YNambooripad partial order\033[133X\033[101X", 
      "11.16", [ 11, 16, 0 ], 2172, 202, "nambooripad partial order", 
      "X7AA4CE887EEA661A" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties of semigroups\033[133X\033[101X", 
      "12", [ 12, 0, 0 ], 1, 204, "properties of semigroups", 
      "X78274024827F306D" ], 
  [ "\033[1X\033[33X\033[0;-2YArbitrary semigroups\033[133X\033[101X", 
      "12.1", [ 12, 1, 0 ], 7, 204, "arbitrary semigroups", 
      "X7D297AEC827F3D4E" ], 
  [ "\033[1X\033[33X\033[0;-2YIsIdempotentGenerated\033[133X\033[101X", 
      "12.1-8", [ 12, 1, 8 ], 243, 208, "isidempotentgenerated", 
      "X835484C481CF3DDD" ], 
  [ "\033[1X\033[33X\033[0;-2YIsXTrivial\033[133X\033[101X", "12.1-19", 
      [ 12, 1, 19 ], 567, 213, "isxtrivial", "X8752642C7F7E512B" ], 
  [ "\033[1X\033[33X\033[0;-2YIsSimpleSemigroup\033[133X\033[101X", 
      "12.1-22", [ 12, 1, 22 ], 661, 215, "issimplesemigroup", 
      "X836F4692839F4874" ], 
  [ "\033[1X\033[33X\033[0;-2YInverse semigroups\033[133X\033[101X", "12.2", 
      [ 12, 2, 0 ], 883, 218, "inverse semigroups", "X80F2725581B166EE" ], 
  [ "\033[1X\033[33X\033[0;-2YCongruences\033[133X\033[101X", "13", 
      [ 13, 0, 0 ], 1, 225, "congruences", "X82BD951079E3C349" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroup congruence objects\033[133X\033[101X",
      "13.1", [ 13, 1, 0 ], 43, 225, "semigroup congruence objects", 
      "X784770137D98FEB9" ], 
  [ "\033[1X\033[33X\033[0;-2YCreating congruences\033[133X\033[101X", 
      "13.2", [ 13, 2, 0 ], 136, 227, "creating congruences", 
      "X7D49787B7B2589B2" ], 
  [ "\033[1X\033[33X\033[0;-2YCongruence classes\033[133X\033[101X", "13.3", 
      [ 13, 3, 0 ], 228, 229, "congruence classes", "X7D65BB067A762CD6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFinding the congruences of a semigroup\033[133X\\
033[101X", "13.4", [ 13, 4, 0 ], 502, 233, 
      "finding the congruences of a semigroup", "X806DEBC07E6D8FCA" ], 
  [ "\033[1X\033[33X\033[0;-2YComparing congruences\033[133X\033[101X", 
      "13.5", [ 13, 5, 0 ], 1120, 244, "comparing congruences", 
      "X857D750579B87DBF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCongruences on Rees matrix semigroups\033[133X\\
033[101X", "13.6", [ 13, 6, 0 ], 1210, 245, 
      "congruences on rees matrix semigroups", "X7A6478D1831DD787" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCongruences on inverse semigroups\033[133X\033[10\
1X", "13.7", [ 13, 7, 0 ], 1440, 249, "congruences on inverse semigroups", 
      "X7BFDC38178940AE6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCongruences on graph inverse semigroups\033[133X\\
033[101X", "13.8", [ 13, 8, 0 ], 1654, 252, 
      "congruences on graph inverse semigroups", "X8036DAA287C71CAC" ], 
  [ "\033[1X\033[33X\033[0;-2YRees congruences\033[133X\033[101X", "13.9", 
      [ 13, 9, 0 ], 1783, 255, "rees congruences", "X7CE483078769A4D6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YUniversal and trivial congruences\033[133X\033[10\
1X", "13.10", [ 13, 10, 0 ], 1839, 256, "universal and trivial congruences", 
      "X7C6B4A2980BE9B03" ], 
  [ "\033[1X\033[33X\033[0;-2YSemigroup homomorphisms\033[133X\033[101X", 
      "14", [ 14, 0, 0 ], 1, 258, "semigroup homomorphisms", 
      "X861935DB81A478C2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YHomomorphisms of arbitrary semigroups\033[133X\\
033[101X", "14.1", [ 14, 1, 0 ], 7, 258, 
      "homomorphisms of arbitrary semigroups", "X7F1FDA9C7C25799A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsomorphisms of arbitrary semigroups\033[133X\\
033[101X", "14.2", [ 14, 2, 0 ], 224, 262, 
      "isomorphisms of arbitrary semigroups", "X7A8945817BD44943" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsomorphisms of Rees (0-)matrix semigroups\033[13\
3X\033[101X", "14.3", [ 14, 3, 0 ], 624, 268, 
      "isomorphisms of rees 0- matrix semigroups", "X80DE3DB0782D9358" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOperators for isomorphisms of Rees (0-)matrix sem\
igroups\033[133X\033[101X", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "operators for isomorphisms of rees 0- matrix semigroups", 
      "X7ED8BF227F4229E2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFinitely presented semigroups and Tietze transfor\
mations\033[133X\033[101X", "15", [ 15, 0, 0 ], 1, 273, 
      "finitely presented semigroups and tietze transformations", 
      "X7F11EF307D4F409B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging representation for words and strings\\
033[133X\033[101X", "15.1", [ 15, 1, 0 ], 18, 273, 
      "changing representation for words and strings", "X87CDF7DF7E47F8FB" ], 
  [ "\033[1X\033[33X\033[0;-2YHelper functions\033[133X\033[101X", "15.2", 
      [ 15, 2, 0 ], 103, 275, "helper functions", "X7BD4785D8488BAD5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCreating Tietze transformation objects\033[133X\\
033[101X", "15.3", [ 15, 3, 0 ], 241, 277, 
      "creating tietze transformation objects", "X8379F50C83FA5088" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YPrinting Tietze transformation objects\033[133X\\
033[101X", "15.4", [ 15, 4, 0 ], 416, 280, 
      "printing tietze transformation objects", "X84E3986C7EA62A06" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChanging Tietze transformation objects\033[133X\\
033[101X", "15.5", [ 15, 5, 0 ], 552, 282, 
      "changing tietze transformation objects", "X7EAF8F7A7F7A2A78" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConverting a Tietze transformation object into a \
fp semigroup\033[133X\033[101X", "15.6", [ 15, 6, 0 ], 757, 285, 
      "converting a tietze transformation object into a fp semigroup", 
      "X7CBD15BC86CC2080" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAutomatically simplifying a Tietze transformation\
 object\033[133X\033[101X", "15.7", [ 15, 7, 0 ], 876, 287, 
      "automatically simplifying a tietze transformation object", 
      "X8549F1C87E7BD29A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAutomatically simplifying an fp semigroup\033[133\
X\033[101X", "15.8", [ 15, 8, 0 ], 954, 289, 
      "automatically simplifying an fp semigroup", "X817332E27D0406A7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YVisualising semigroups and elements\033[133X\033[\
101X", "16", [ 16, 0, 0 ], 1, 293, "visualising semigroups and elements", 
      "X80E82C6785300A86" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10Xdot\033[110X\033[101X\027\033[1X\027 pict\
ures\033[133X\033[101X", "16.1", [ 16, 1, 0 ], 11, 293, "dot pictures", 
      "X82E16CAB874A1D84" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10Xtex\033[110X\033[101X\027\033[1X\027 outp\
ut\033[133X\033[101X", "16.2", [ 16, 2, 0 ], 162, 295, "tex output", 
      "X83152CA78114E2BD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10Xtikz\033[110X\033[101X\027\033[1X\027 pic\
tures\033[133X\033[101X", "16.3", [ 16, 3, 0 ], 189, 296, "tikz pictures", 
      "X7BDDE0FE80D09887" ], 
  [ "\033[1X\033[33X\033[0;-2YIO\033[133X\033[101X", "17", [ 17, 0, 0 ], 1, 
      299, "io", "X80CDCB927B3E5BB9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YReading and writing elements to a file\033[133X\\
033[101X", "17.1", [ 17, 1, 0 ], 4, 299, 
      "reading and writing elements to a file", "X7CE72BB17F2D49F8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YReading and writing multiplication tables to a fi\
le\033[133X\033[101X", "17.2", [ 17, 2, 0 ], 85, 300, 
      "reading and writing multiplication tables to a file", 
      "X7AB8E281795A4964" ], 
  [ "\033[1X\033[33X\033[0;-2YTranslations\033[133X\033[101X", "18", 
      [ 18, 0, 0 ], 1, 302, "translations", "X7EC01B437CC2B2C9" ], 
  [ "\033[1X\033[33X\033[0;-2YMethods for translations\033[133X\033[101X", 
      "18.1", [ 18, 1, 0 ], 68, 303, "methods for translations", 
      "X864C64877E5714AC" ], 
  [ "\033[1X\033[33X\033[0;-2YIsXTranslation\033[133X\033[101X", "18.1-1", 
      [ 18, 1, 1 ], 71, 303, "isxtranslation", "X849F15607B774B90" ], 
  [ "\033[1X\033[33X\033[0;-2YIsXTranslationCollection\033[133X\033[101X", 
      "18.1-3", [ 18, 1, 3 ], 125, 304, "isxtranslationcollection", 
      "X7F536B1B85978B63" ], 
  [ "\033[1X\033[33X\033[0;-2YXPartOfBitranslation\033[133X\033[101X", 
      "18.1-4", [ 18, 1, 4 ], 137, 304, "xpartofbitranslation", 
      "X7D52D17E7A28CE0E" ], 
  [ "\033[1X\033[33X\033[0;-2YXTranslation\033[133X\033[101X", "18.1-5", 
      [ 18, 1, 5 ], 148, 304, "xtranslation", "X7ACCBAB57E910910" ], 
  [ "\033[1X\033[33X\033[0;-2YUnderlyingSemigroup\033[133X\033[101X", 
      "18.1-7", [ 18, 1, 7 ], 215, 305, "underlyingsemigroup", 
      "X7B5BB0BA8683A021" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YXTranslationsSemigroupOfFamily\033[133X\033[101X"
        , "18.1-8", [ 18, 1, 8 ], 225, 305, "xtranslationssemigroupoffamily", 
      "X857C28C8790A35F6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTypeXTranslationSemigroupElements\033[133X\033[10\
1X", "18.1-9", [ 18, 1, 9 ], 249, 306, "typextranslationsemigroupelements", 
      "X7AA681A283A22C28" ], 
  [ "\033[1X\033[33X\033[0;-2YXTranslations\033[133X\033[101X", "18.1-10", 
      [ 18, 1, 10 ], 260, 306, "xtranslations", "X7D5CC8A48371410D" ], 
  [ "\033[1X\033[33X\033[0;-2YNrXTranslations\033[133X\033[101X", "18.1-12", 
      [ 18, 1, 12 ], 298, 307, "nrxtranslations", "X7C826FBA78739FA4" ], 
  [ "\033[1X\033[33X\033[0;-2YInnerXTranslations\033[133X\033[101X", 
      "18.1-13", [ 18, 1, 13 ], 322, 307, "innerxtranslations", 
      "X7E9306DF79587A33" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 309, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 309, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 312, "index", "X83A0356F839C696F" ], 
  [ "\033[5XSemigroups\033[105X package overview", "1.0", [ 1, 0, 0 ], 1, 8, 
      "semigroups package overview", "X7D8D6DB37A0326BE" ], 
  [ "\033[2XSemigroupsTestInstall\033[102X", "2.4-1", [ 2, 4, 1 ], 135, 12, 
      "semigroupstestinstall", "X80F85B577A3DFCF9" ], 
  [ "\033[2XSemigroupsTestStandard\033[102X", "2.4-2", [ 2, 4, 2 ], 145, 12, 
      "semigroupsteststandard", "X7C2D57708006AB63" ], 
  [ "\033[2XSemigroupsTestExtreme\033[102X", "2.4-3", [ 2, 4, 3 ], 159, 12, 
      "semigroupstestextreme", "X7ED2F9C784B554D8" ], 
  [ "\033[2XSemigroupsTestAll\033[102X", "2.4-4", [ 2, 4, 4 ], 175, 12, 
      "semigroupstestall", "X8544F4BD79F0BF3C" ], 
  [ "\033[2XInfoSemigroups\033[102X", "2.5-1", [ 2, 5, 1 ], 191, 13, 
      "infosemigroups", "X85CD4E6C82BECAF3" ], 
  [ "\033[2XIsBipartition\033[102X", "3.1-1", [ 3, 1, 1 ], 96, 15, 
      "isbipartition", "X80F11BEF856E7902" ], 
  [ "\033[2XIsBipartitionCollection\033[102X", "3.1-2", [ 3, 1, 2 ], 107, 15, 
      "isbipartitioncollection", "X82F5D10C85489832" ], 
  [ "\033[2XIsBipartitionCollColl\033[102X", "3.1-2", [ 3, 1, 2 ], 107, 15, 
      "isbipartitioncollcoll", "X82F5D10C85489832" ], 
  [ "\033[2XBipartition\033[102X", "3.2-1", [ 3, 2, 1 ], 129, 16, 
      "bipartition", "X7E052E6378A5B758" ], 
  [ "\033[2XBipartitionByIntRep\033[102X", "3.2-2", [ 3, 2, 2 ], 145, 16, 
      "bipartitionbyintrep", "X846AA7568435D2CE" ], 
  [ "\033[2XIdentityBipartition\033[102X", "3.2-3", [ 3, 2, 3 ], 183, 16, 
      "identitybipartition", "X8379B0538101FBC8" ], 
  [ "\033[2XLeftOne\033[102X for a bipartition", "3.2-4", [ 3, 2, 4 ], 196, 
      17, "leftone for a bipartition", "X824EDD4582AAA8C7" ], 
  [ "\033[2XLeftProjection\033[102X", "3.2-4", [ 3, 2, 4 ], 196, 17, 
      "leftprojection", "X824EDD4582AAA8C7" ], 
  [ "\033[2XRightOne\033[102X for a bipartition", "3.2-5", [ 3, 2, 5 ], 225, 
      17, "rightone for a bipartition", "X790B71108070FAC2" ], 
  [ "\033[2XRightProjection\033[102X", "3.2-5", [ 3, 2, 5 ], 225, 17, 
      "rightprojection", "X790B71108070FAC2" ], 
  [ "\033[2XStarOp\033[102X for a bipartition", "3.2-6", [ 3, 2, 6 ], 252, 
      18, "starop for a bipartition", "X7CE00E0C79F62745" ], 
  [ "\033[2XStar\033[102X for a bipartition", "3.2-6", [ 3, 2, 6 ], 252, 18, 
      "star for a bipartition", "X7CE00E0C79F62745" ], 
  [ "\033[2XRandomBipartition\033[102X", "3.2-7", [ 3, 2, 7 ], 278, 18, 
      "randombipartition", "X8077265981409CCB" ], 
  [ "\033[2XRandomBlockBijection\033[102X", "3.2-7", [ 3, 2, 7 ], 278, 18, 
      "randomblockbijection", "X8077265981409CCB" ], 
  [ "\033[2XAsBipartition\033[102X", "3.3-1", [ 3, 3, 1 ], 314, 19, 
      "asbipartition", "X855126D98583C181" ], 
  [ "\033[2XAsBlockBijection\033[102X", "3.3-2", [ 3, 3, 2 ], 418, 20, 
      "asblockbijection", "X85A5AD2B7F3B776F" ], 
  [ "\033[2XAsTransformation\033[102X for a bipartition", "3.3-3", 
      [ 3, 3, 3 ], 462, 21, "astransformation for a bipartition", 
      "X7CE91D0C83865214" ], 
  [ "\033[2XAsPartialPerm\033[102X for a bipartition", "3.3-4", [ 3, 3, 4 ], 
      489, 21, "aspartialperm for a bipartition", "X7C5212EF7A200E63" ], 
  [ "\033[2XAsPermutation\033[102X for a bipartition", "3.3-5", [ 3, 3, 5 ], 
      517, 22, "aspermutation for a bipartition", "X7C684CD38405DBEF" ], 
  [ "\033[10X*\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22, 
      "* for bipartitions", "X83F2C3C97E8FFA49" ], 
  [ "\033[10X<\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22, 
      "< for bipartitions", "X83F2C3C97E8FFA49" ], 
  [ "\033[10X=\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22, 
      "= for bipartitions", "X83F2C3C97E8FFA49" ], 
  [ "\033[2XPartialPermLeqBipartition\033[102X", "3.4-1", [ 3, 4, 1 ], 555, 
      23, "partialpermleqbipartition", "X7A39D36086647536" ], 
  [ "\033[2XNaturalLeqPartialPermBipartition\033[102X", "3.4-2", [ 3, 4, 2 ], 
      564, 23, "naturalleqpartialpermbipartition", "X8608D78F83D55108" ], 
  [ "\033[2XNaturalLeqBlockBijection\033[102X", "3.4-3", [ 3, 4, 3 ], 579, 
      23, "naturalleqblockbijection", "X79E8FA077E24C1F4" ], 
  [ "\033[2XPermLeftQuoBipartition\033[102X", "3.4-4", [ 3, 4, 4 ], 611, 23, 
      "permleftquobipartition", "X7D9F5A248028FF52" ], 
  [ "\033[2XDegreeOfBipartition\033[102X", "3.5-1", [ 3, 5, 1 ], 641, 24, 
      "degreeofbipartition", "X780F5E00784FE58C" ], 
  [ "\033[2XDegreeOfBipartitionCollection\033[102X", "3.5-1", [ 3, 5, 1 ], 
      641, 24, "degreeofbipartitioncollection", "X780F5E00784FE58C" ], 
  [ "\033[2XRankOfBipartition\033[102X", "3.5-2", [ 3, 5, 2 ], 669, 24, 
      "rankofbipartition", "X82074756826AD2C2" ], 
  [ "\033[2XNrTransverseBlocks\033[102X for a bipartition", "3.5-2", 
      [ 3, 5, 2 ], 669, 24, "nrtransverseblocks for a bipartition", 
      "X82074756826AD2C2" ], 
  [ "\033[2XExtRepOfObj\033[102X for a bipartition", "3.5-3", [ 3, 5, 3 ], 
      690, 25, "extrepofobj for a bipartition", "X86F6506C780C6E08" ], 
  [ "\033[2XIntRepOfBipartition\033[102X", "3.5-4", [ 3, 5, 4 ], 706, 25, 
      "intrepofbipartition", "X7ECD393A854C073B" ], 
  [ "\033[2XRightBlocks\033[102X", "3.5-5", [ 3, 5, 5 ], 729, 25, 
      "rightblocks", "X86A10B138230C2A4" ], 
  [ "\033[2XLeftBlocks\033[102X", "3.5-6", [ 3, 5, 6 ], 756, 26, 
      "leftblocks", "X7B9B364379D8F4E8" ], 
  [ "\033[2XNrLeftBlocks\033[102X", "3.5-7", [ 3, 5, 7 ], 783, 26, 
      "nrleftblocks", "X79AEDB5382FD25CF" ], 
  [ "\033[2XNrRightBlocks\033[102X", "3.5-8", [ 3, 5, 8 ], 801, 26, 
      "nrrightblocks", "X86385A3C8662E1A7" ], 
  [ "\033[2XNrBlocks\033[102X for blocks", "3.5-9", [ 3, 5, 9 ], 819, 27, 
      "nrblocks for blocks", "X8110B6557A98FB5C" ], 
  [ "\033[2XNrBlocks\033[102X for a bipartition", "3.5-9", [ 3, 5, 9 ], 819, 
      27, "nrblocks for a bipartition", "X8110B6557A98FB5C" ], 
  [ "\033[2XDomainOfBipartition\033[102X", "3.5-10", [ 3, 5, 10 ], 841, 27, 
      "domainofbipartition", "X8657EE2B79E1DD02" ], 
  [ "\033[2XCodomainOfBipartition\033[102X", "3.5-11", [ 3, 5, 11 ], 860, 27, 
      "codomainofbipartition", "X84569A187A211332" ], 
  [ "\033[2XIsTransBipartition\033[102X", "3.5-12", [ 3, 5, 12 ], 879, 28, 
      "istransbipartition", "X79C556827A578509" ], 
  [ "\033[2XIsDualTransBipartition\033[102X", "3.5-13", [ 3, 5, 13 ], 905, 
      28, "isdualtransbipartition", "X7F0B8ACC7C9A937F" ], 
  [ "\033[2XIsPermBipartition\033[102X", "3.5-14", [ 3, 5, 14 ], 931, 29, 
      "ispermbipartition", "X8031B53E7D0ECCFA" ], 
  [ "\033[2XIsPartialPermBipartition\033[102X", "3.5-15", [ 3, 5, 15 ], 953, 
      29, "ispartialpermbipartition", "X87C771D37B1FE95C" ], 
  [ "\033[2XIsBlockBijection\033[102X", "3.5-16", [ 3, 5, 16 ], 977, 29, 
      "isblockbijection", "X829494DF7FD6CFEC" ], 
  [ "\033[2XIsUniformBlockBijection\033[102X", "3.5-17", [ 3, 5, 17 ], 999, 
      30, "isuniformblockbijection", "X79D54AD8833B9551" ], 
  [ "\033[2XCanonicalBlocks\033[102X", "3.5-18", [ 3, 5, 18 ], 1019, 30, 
      "canonicalblocks", "X7B87B9B081FF88BB" ], 
  [ "\033[2XIsBlocks\033[102X", "3.6-1", [ 3, 6, 1 ], 1052, 31, "isblocks", 
      "X7D77092078EC860C" ], 
  [ "\033[2XBLOCKS_NC\033[102X", "3.6-2", [ 3, 6, 2 ], 1061, 31, "blocks_nc", 
      "X81302B217DCAAE6F" ], 
  [ "\033[2XExtRepOfObj\033[102X for a blocks", "3.6-3", [ 3, 6, 3 ], 1083, 
      31, "extrepofobj for a blocks", "X7D2CB12279623CE2" ], 
  [ "\033[2XRankOfBlocks\033[102X", "3.6-4", [ 3, 6, 4 ], 1098, 31, 
      "rankofblocks", "X787D22AE7FA69239" ], 
  [ "\033[2XNrTransverseBlocks\033[102X for blocks", "3.6-4", [ 3, 6, 4 ], 
      1098, 31, "nrtransverseblocks for blocks", "X787D22AE7FA69239" ], 
  [ "\033[2XDegreeOfBlocks\033[102X", "3.6-5", [ 3, 6, 5 ], 1117, 32, 
      "degreeofblocks", "X8527DC6A8771C2BE" ], 
  [ "\033[2XProjectionFromBlocks\033[102X", "3.6-6", [ 3, 6, 6 ], 1133, 32, 
      "projectionfromblocks", "X815D99A983B2355F" ], 
  [ "\033[2XOnRightBlocks\033[102X", "3.7-1", [ 3, 7, 1 ], 1165, 32, 
      "onrightblocks", "X7B701DA37F75E77B" ], 
  [ "\033[2XOnLeftBlocks\033[102X", "3.7-2", [ 3, 7, 2 ], 1184, 33, 
      "onleftblocks", "X7A5A4AF57BEA2313" ], 
  [ "\033[2XIsBipartitionSemigroup\033[102X", "3.8-1", [ 3, 8, 1 ], 1217, 33, 
      "isbipartitionsemigroup", "X810BFF647C4E191E" ], 
  [ "\033[2XIsBipartitionMonoid\033[102X", "3.8-1", [ 3, 8, 1 ], 1217, 33, 
      "isbipartitionmonoid", "X810BFF647C4E191E" ], 
  [ "\033[2XIsBlockBijectionSemigroup\033[102X", "3.8-2", [ 3, 8, 2 ], 1267, 
      34, "isblockbijectionsemigroup", "X80C37124794636F3" ], 
  [ "\033[2XIsBlockBijectionMonoid\033[102X", "3.8-2", [ 3, 8, 2 ], 1267, 34, 
      "isblockbijectionmonoid", "X80C37124794636F3" ], 
  [ "\033[2XIsPartialPermBipartitionSemigroup\033[102X", "3.8-3", 
      [ 3, 8, 3 ], 1282, 34, "ispartialpermbipartitionsemigroup", 
      "X79A706A582ABE558" ], 
  [ "\033[2XIsPartialPermBipartitionMonoid\033[102X", "3.8-3", [ 3, 8, 3 ], 
      1282, 34, "ispartialpermbipartitionmonoid", "X79A706A582ABE558" ], 
  [ "\033[2XIsPermBipartitionGroup\033[102X", "3.8-4", [ 3, 8, 4 ], 1297, 34, 
      "ispermbipartitiongroup", "X7DEE07577D7379AC" ], 
  [ "\033[2XDegreeOfBipartitionSemigroup\033[102X", "3.8-5", [ 3, 8, 5 ], 
      1307, 35, "degreeofbipartitionsemigroup", "X8162E2BB7CF144F5" ], 
  [ "\033[2XIsPBR\033[102X", "4.1-1", [ 4, 1, 1 ], 20, 36, "ispbr", 
      "X82CCBADC80AE2D15" ], 
  [ "\033[2XIsPBRCollection\033[102X", "4.1-2", [ 4, 1, 2 ], 30, 36, 
      "ispbrcollection", "X854A9CEA7AC14C0A" ], 
  [ "\033[2XIsPBRCollColl\033[102X", "4.1-2", [ 4, 1, 2 ], 30, 36, 
      "ispbrcollcoll", "X854A9CEA7AC14C0A" ], 
  [ "\033[2XPBR\033[102X", "4.2-1", [ 4, 2, 1 ], 48, 37, "pbr", 
      "X82A8646F7C70CF3B" ], 
  [ "\033[2XRandomPBR\033[102X", "4.2-2", [ 4, 2, 2 ], 74, 37, "randompbr", 
      "X82FE736F7F11B157" ], 
  [ "\033[2XEmptyPBR\033[102X", "4.2-3", [ 4, 2, 3 ], 97, 37, "emptypbr", 
      "X8646781B7EAE04C0" ], 
  [ "\033[2XIdentityPBR\033[102X", "4.2-4", [ 4, 2, 4 ], 112, 38, 
      "identitypbr", "X80D20EA3816DC862" ], 
  [ "\033[2XUniversalPBR\033[102X", "4.2-5", [ 4, 2, 5 ], 128, 38, 
      "universalpbr", "X847BA0177D90E9D7" ], 
  [ "\033[2XAsPBR\033[102X", "4.3-1", [ 4, 3, 1 ], 158, 38, "aspbr", 
      "X81CBBE6080439596" ], 
  [ "\033[2XAsTransformation\033[102X for a PBR", "4.3-2", [ 4, 3, 2 ], 237, 
      40, "astransformation for a pbr", "X8407F516825A514A" ], 
  [ "\033[2XAsPartialPerm\033[102X for a PBR", "4.3-3", [ 4, 3, 3 ], 256, 40, 
      "aspartialperm for a pbr", "X795B1C16819905E8" ], 
  [ "\033[2XAsPermutation\033[102X for a PBR", "4.3-4", [ 4, 3, 4 ], 273, 40, 
      "aspermutation for a pbr", "X86786B297FBCD064" ], 
  [ "\033[10X * \033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41, 
      "* for pbrs", "X872B5817878660E5" ], 
  [ "\033[10X<\033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41, 
      "< for pbrs", "X872B5817878660E5" ], 
  [ "\033[10X=\033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41, 
      "= for pbrs", "X872B5817878660E5" ], 
  [ "\033[2XStarOp\033[102X for a PBR", "4.5-1", [ 4, 5, 1 ], 311, 41, 
      "starop for a pbr", "X7DFC277E80A50C2F" ], 
  [ "\033[2XStar\033[102X for a PBR", "4.5-1", [ 4, 5, 1 ], 311, 41, 
      "star for a pbr", "X7DFC277E80A50C2F" ], 
  [ "\033[2XDegreeOfPBR\033[102X", "4.5-2", [ 4, 5, 2 ], 327, 41, 
      "degreeofpbr", "X785B576B7823D626" ], 
  [ "\033[2XDegreeOfPBRCollection\033[102X", "4.5-2", [ 4, 5, 2 ], 327, 41, 
      "degreeofpbrcollection", "X785B576B7823D626" ], 
  [ "\033[2XExtRepOfObj\033[102X for a PBR", "4.5-3", [ 4, 5, 3 ], 354, 42, 
      "extrepofobj for a pbr", "X78302D7E81BB1E54" ], 
  [ "\033[2XPBRNumber\033[102X", "4.5-4", [ 4, 5, 4 ], 371, 42, "pbrnumber", 
      "X7F4C8A2B79E6D963" ], 
  [ "\033[2XNumberPBR\033[102X", "4.5-4", [ 4, 5, 4 ], 371, 42, "numberpbr", 
      "X7F4C8A2B79E6D963" ], 
  [ "\033[2XIsEmptyPBR\033[102X", "4.5-5", [ 4, 5, 5 ], 393, 42, 
      "isemptypbr", "X82FD0AB179ED4AFD" ], 
  [ "\033[2XIsIdentityPBR\033[102X", "4.5-6", [ 4, 5, 6 ], 411, 43, 
      "isidentitypbr", "X7E263B2F7B838D6E" ], 
  [ "\033[2XIsUniversalPBR\033[102X", "4.5-7", [ 4, 5, 7 ], 435, 43, 
      "isuniversalpbr", "X7A280FC27BAD0EF0" ], 
  [ "\033[2XIsBipartitionPBR\033[102X", "4.5-8", [ 4, 5, 8 ], 458, 43, 
      "isbipartitionpbr", "X81EC86397E098BC8" ], 
  [ "\033[2XIsBlockBijectionPBR\033[102X", "4.5-8", [ 4, 5, 8 ], 458, 43, 
      "isblockbijectionpbr", "X81EC86397E098BC8" ], 
  [ "\033[2XIsTransformationPBR\033[102X", "4.5-9", [ 4, 5, 9 ], 491, 44, 
      "istransformationpbr", "X7AF425D17BBE9023" ], 
  [ "\033[2XIsDualTransformationPBR\033[102X", "4.5-10", [ 4, 5, 10 ], 525, 
      44, "isdualtransformationpbr", "X7962D03186B1AFDF" ], 
  [ "\033[2XIsPartialPermPBR\033[102X", "4.5-11", [ 4, 5, 11 ], 549, 45, 
      "ispartialpermpbr", "X7883CD5D824CC236" ], 
  [ "\033[2XIsPermPBR\033[102X", "4.5-12", [ 4, 5, 12 ], 579, 45, 
      "ispermpbr", "X85B21BB0835FE166" ], 
  [ "\033[2XIsPBRSemigroup\033[102X", "4.6-1", [ 4, 6, 1 ], 627, 46, 
      "ispbrsemigroup", "X8554A3F878A4DC73" ], 
  [ "\033[2XIsPBRMonoid\033[102X", "4.6-1", [ 4, 6, 1 ], 627, 46, 
      "ispbrmonoid", "X8554A3F878A4DC73" ], 
  [ "\033[2XDegreeOfPBRSemigroup\033[102X", "4.6-2", [ 4, 6, 2 ], 677, 47, 
      "degreeofpbrsemigroup", "X80FC004C7B65B4C0" ], 
  [ "\033[2XIsMatrixOverSemiring\033[102X", "5.1-1", [ 5, 1, 1 ], 59, 49, 
      "ismatrixoversemiring", "X8711618C7A8A1B60" ], 
  [ "\033[2XIsMatrixOverSemiringCollection\033[102X", "5.1-2", [ 5, 1, 2 ], 
      76, 49, "ismatrixoversemiringcollection", "X86F696B883677D6B" ], 
  [ "\033[2XIsMatrixOverSemiringCollColl\033[102X", "5.1-2", [ 5, 1, 2 ], 76, 
      49, "ismatrixoversemiringcollcoll", "X86F696B883677D6B" ], 
  [ "\033[2XDimensionOfMatrixOverSemiring\033[102X", "5.1-3", [ 5, 1, 3 ], 
      91, 49, "dimensionofmatrixoversemiring", "X7C1CDA817CE076FD" ], 
  [ "\033[2XDimensionOfMatrixOverSemiringCollection\033[102X", "5.1-4", 
      [ 5, 1, 4 ], 111, 50, "dimensionofmatrixoversemiringcollection", 
      "X7FF0B2A783BA2D06" ], 
  [ "\033[2XMatrix\033[102X for a filter and a matrix", "5.1-5", [ 5, 1, 5 ], 
      132, 50, "matrix for a filter and a matrix", "X7DCA234C86ED8BD3" ], 
  [ "\033[2XMatrix\033[102X for a semiring and a matrix", "5.1-5", 
      [ 5, 1, 5 ], 132, 50, "matrix for a semiring and a matrix", 
      "X7DCA234C86ED8BD3" ], 
  [ "\033[2XAsMatrix\033[102X for a filter and a matrix", "5.1-6", 
      [ 5, 1, 6 ], 219, 51, "asmatrix for a filter and a matrix", 
      "X85426D8885431ECE" ], 
  [ "\033[2XAsMatrix\033[102X for a filter, matrix, and threshold", "5.1-6", 
      [ 5, 1, 6 ], 219, 51, "asmatrix for a filter matrix and threshold", 
      "X85426D8885431ECE" ], 
  [ "\033[2XAsMatrix\033[102X for a filter, matrix, threshold, and period", 
      "5.1-6", [ 5, 1, 6 ], 219, 51, 
      "asmatrix for a filter matrix threshold and period", 
      "X85426D8885431ECE" ], 
  [ "\033[2XRandomMatrix\033[102X for a filter and a matrix", "5.1-7", 
      [ 5, 1, 7 ], 307, 53, "randommatrix for a filter and a matrix", 
      "X82172D747D66C8CC" ], 
  [ "\033[2XRandomMatrix\033[102X for a semiring and a matrix", "5.1-7", 
      [ 5, 1, 7 ], 307, 53, "randommatrix for a semiring and a matrix", 
      "X82172D747D66C8CC" ], 
  [ "\033[2XIsBooleanMat\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "isbooleanmat", "X782480C686F1A663" ], 
  [ "\033[2XIsMatrixOverFiniteField\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "ismatrixoverfinitefield", "X782480C686F1A663" ], 
  [ "\033[2XIsMaxPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "ismaxplusmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIsMinPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "isminplusmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIsTropicalMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "istropicalmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIsTropicalMaxPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "istropicalmaxplusmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIsTropicalMinPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "istropicalminplusmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIsNTPMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, 
      "isntpmatrix", "X782480C686F1A663" ], 
  [ "\033[2XIntegers\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, "integers", 
      "X782480C686F1A663" ], 
  [ "\033[2XIsBooleanMatCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "isbooleanmatcollection", "X86233A3E86512493" ], 
  [ "\033[2XIsBooleanMatCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "isbooleanmatcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsMatrixOverFiniteFieldCollection\033[102X", "5.1-9", 
      [ 5, 1, 9 ], 395, 54, "ismatrixoverfinitefieldcollection", 
      "X86233A3E86512493" ], 
  [ "\033[2XIsMatrixOverFiniteFieldCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 
      395, 54, "ismatrixoverfinitefieldcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsMaxPlusMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 
      54, "ismaxplusmatrixcollection", "X86233A3E86512493" ], 
  [ "\033[2XIsMaxPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "ismaxplusmatrixcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsMinPlusMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 
      54, "isminplusmatrixcollection", "X86233A3E86512493" ], 
  [ "\033[2XIsMinPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "isminplusmatrixcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsTropicalMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 
      54, "istropicalmatrixcollection", "X86233A3E86512493" ], 
  [ "\033[2XIsTropicalMaxPlusMatrixCollection\033[102X", "5.1-9", 
      [ 5, 1, 9 ], 395, 54, "istropicalmaxplusmatrixcollection", 
      "X86233A3E86512493" ], 
  [ "\033[2XIsTropicalMaxPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 
      395, 54, "istropicalmaxplusmatrixcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsTropicalMinPlusMatrixCollection\033[102X", "5.1-9", 
      [ 5, 1, 9 ], 395, 54, "istropicalminplusmatrixcollection", 
      "X86233A3E86512493" ], 
  [ "\033[2XIsTropicalMinPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 
      395, 54, "istropicalminplusmatrixcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XIsNTPMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "isntpmatrixcollection", "X86233A3E86512493" ], 
  [ "\033[2XIsNTPMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54, 
      "isntpmatrixcollcoll", "X86233A3E86512493" ], 
  [ "\033[2XAsList\033[102X", "5.1-10", [ 5, 1, 10 ], 422, 55, "aslist", 
      "X8289FCCC8274C89D" ], 
  [ "\033[2XAsMutableList\033[102X", "5.1-10", [ 5, 1, 10 ], 422, 55, 
      "asmutablelist", "X8289FCCC8274C89D" ], 
  [ "\033[2XThresholdTropicalMatrix\033[102X", "5.1-11", [ 5, 1, 11 ], 456, 
      55, "thresholdtropicalmatrix", "X7D21408E845E4648" ], 
  [ "\033[2XThresholdNTPMatrix\033[102X", "5.1-12", [ 5, 1, 12 ], 486, 56, 
      "thresholdntpmatrix", "X7874559881FE8779" ], 
  [ "\033[2XPeriodNTPMatrix\033[102X", "5.1-12", [ 5, 1, 12 ], 486, 56, 
      "periodntpmatrix", "X7874559881FE8779" ], 
  [ "\033[10X*\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ], 
      521, 57, "* for matrices over a semiring", "X807E402687741CDA" ], 
  [ "\033[10X<\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ], 
      521, 57, "< for matrices over a semiring", "X807E402687741CDA" ], 
  [ "\033[10X=\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ], 
      521, 57, "= for matrices over a semiring", "X807E402687741CDA" ], 
  [ "\033[2XBooleanMat\033[102X", "5.3-1", [ 5, 3, 1 ], 571, 57, 
      "booleanmat", "X84A16D4D7D015885" ], 
  [ "\033[2XAsBooleanMat\033[102X", "5.3-2", [ 5, 3, 2 ], 611, 58, 
      "asbooleanmat", "X7DA524567E0E7E16" ], 
  [ "\033[2X\\in\033[102X", "5.3-3", [ 5, 3, 3 ], 756, 61, "in", 
      "X87BDB89B7AAFE8AD" ], 
  [ "\033[2XOnBlist\033[102X", "5.3-4", [ 5, 3, 4 ], 775, 61, "onblist", 
      "X8629FA5F7B682078" ], 
  [ "\033[2XSuccessors\033[102X", "5.3-5", [ 5, 3, 5 ], 795, 61, 
      "successors", "X85E2FD8B82652876" ], 
  [ "\033[2XBooleanMatNumber\033[102X", "5.3-6", [ 5, 3, 6 ], 817, 62, 
      "booleanmatnumber", "X7E0FD5878106AB66" ], 
  [ "\033[2XNumberBooleanMat\033[102X", "5.3-6", [ 5, 3, 6 ], 817, 62, 
      "numberbooleanmat", "X7E0FD5878106AB66" ], 
  [ "\033[2XBlistNumber\033[102X", "5.3-7", [ 5, 3, 7 ], 846, 62, 
      "blistnumber", "X793A1C277C1D7D6D" ], 
  [ "\033[2XNumberBlist\033[102X", "5.3-7", [ 5, 3, 7 ], 846, 62, 
      "numberblist", "X793A1C277C1D7D6D" ], 
  [ 
      "\033[2XCanonicalBooleanMat\033[102X for a perm group, perm group and boole\
an matrix", "5.3-8", [ 5, 3, 8 ], 880, 63, 
      "canonicalbooleanmat for a perm group perm group and boolean matrix", 
      "X7EEA5011862E6298" ], 
  [ "\033[2XCanonicalBooleanMat\033[102X for a perm group and boolean matrix",
      "5.3-8", [ 5, 3, 8 ], 880, 63, 
      "canonicalbooleanmat for a perm group and boolean matrix", 
      "X7EEA5011862E6298" ], 
  [ "\033[2XCanonicalBooleanMat\033[102X", "5.3-8", [ 5, 3, 8 ], 880, 63, 
      "canonicalbooleanmat", "X7EEA5011862E6298" ], 
  [ "\033[2XIsRowTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64, 
      "isrowtrimbooleanmat", "X794C91597CC9F784" ], 
  [ "\033[2XIsColTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64, 
      "iscoltrimbooleanmat", "X794C91597CC9F784" ], 
  [ "\033[2XIsTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64, 
      "istrimbooleanmat", "X794C91597CC9F784" ], 
  [ "\033[2XIsSymmetricBooleanMat\033[102X", "5.3-10", [ 5, 3, 10 ], 974, 64, 
      "issymmetricbooleanmat", "X7D22BA78790EFBC6" ], 
  [ "\033[2XIsReflexiveBooleanMat\033[102X", "5.3-11", [ 5, 3, 11 ], 1002, 
      65, "isreflexivebooleanmat", "X7C373B7D87044050" ], 
  [ "\033[2XIsTransitiveBooleanMat\033[102X", "5.3-12", [ 5, 3, 12 ], 1030, 
      65, "istransitivebooleanmat", "X7CDAD39B856AC3E5" ], 
  [ "\033[2XIsAntiSymmetricBooleanMat\033[102X", "5.3-13", [ 5, 3, 13 ], 
      1057, 66, "isantisymmetricbooleanmat", "X8570C8A08549383D" ], 
  [ "\033[2XIsTotalBooleanMat\033[102X", "5.3-14", [ 5, 3, 14 ], 1084, 66, 
      "istotalbooleanmat", "X7A68D87982A07C6F" ], 
  [ "\033[2XIsOntoBooleanMat\033[102X", "5.3-14", [ 5, 3, 14 ], 1084, 66, 
      "isontobooleanmat", "X7A68D87982A07C6F" ], 
  [ "\033[2XIsPartialOrderBooleanMat\033[102X", "5.3-15", [ 5, 3, 15 ], 1117, 
      67, "ispartialorderbooleanmat", "X7D9BECEA7E9B72A7" ], 
  [ "\033[2XIsEquivalenceBooleanMat\033[102X", "5.3-16", [ 5, 3, 16 ], 1130, 
      67, "isequivalencebooleanmat", "X82EA957982B79827" ], 
  [ "\033[2XIsTransformationBooleanMat\033[102X", "5.3-17", [ 5, 3, 17 ], 
      1145, 67, "istransformationbooleanmat", "X7E6B588887D34A0A" ], 
  [ "\033[2XRowSpaceBasis\033[102X for a matrix over finite field", "5.4-1", 
      [ 5, 4, 1 ], 1174, 68, "rowspacebasis for a matrix over finite field", 
      "X857E626783CCF766" ], 
  [ "\033[2XRowSpaceTransformation\033[102X for a matrix over finite field", 
      "5.4-1", [ 5, 4, 1 ], 1174, 68, 
      "rowspacetransformation for a matrix over finite field", 
      "X857E626783CCF766" ], 
  [ "\033[2XRowSpaceTransformationInv\033[102X for a matrix over finite field"
        , "5.4-1", [ 5, 4, 1 ], 1174, 68, 
      "rowspacetransformationinv for a matrix over finite field", 
      "X857E626783CCF766" ], 
  [ "\033[2XRightInverse\033[102X for a matrix over finite field", "5.4-2", 
      [ 5, 4, 2 ], 1197, 68, "rightinverse for a matrix over finite field", 
      "X8733B04781B682E5" ], 
  [ "\033[2XLeftInverse\033[102X for a matrix over finite field", "5.4-2", 
      [ 5, 4, 2 ], 1197, 68, "leftinverse for a matrix over finite field", 
      "X8733B04781B682E5" ], 
  [ "\033[2XInverseOp\033[102X for an integer matrix", "5.5-1", [ 5, 5, 1 ], 
      1234, 69, "inverseop for an integer matrix", "X7BC66ECE8378068E" ], 
  [ "\033[2XIsTorsion\033[102X for an integer matrix", "5.5-2", [ 5, 5, 2 ], 
      1257, 69, "istorsion for an integer matrix", "X7CA636F080777C36" ], 
  [ "\033[2XOrder\033[102X", "5.5-3", [ 5, 5, 3 ], 1284, 69, "order", 
      "X84F59A2687C62763" ], 
  [ "\033[2XInverseOp\033[102X", "5.6-1", [ 5, 6, 1 ], 1323, 70, "inverseop", 
      "X82EC4F49877D6EB1" ], 
  [ "\033[2XRadialEigenvector\033[102X", "5.6-2", [ 5, 6, 2 ], 1341, 70, 
      "radialeigenvector", "X83663A5387042B69" ], 
  [ "\033[2XSpectralRadius\033[102X", "5.6-3", [ 5, 6, 3 ], 1356, 71, 
      "spectralradius", "X83FCFB368743E4BA" ], 
  [ "\033[2XUnweightedPrecedenceDigraph\033[102X", "5.6-4", [ 5, 6, 4 ], 
      1372, 71, "unweightedprecedencedigraph", "X869F60527C2B9328" ], 
  [ "\033[2XIsMatrixOverSemiringSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 
      1417, 72, "ismatrixoversemiringsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsBooleanMatSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 72, 
      "isbooleanmatsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsMatrixOverFiniteFieldSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 
      1417, 72, "ismatrixoverfinitefieldsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsMaxPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 
      72, "ismaxplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsMinPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 
      72, "isminplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsTropicalMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 
      72, "istropicalmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsTropicalMaxPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 
      1417, 72, "istropicalmaxplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsTropicalMinPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 
      1417, 72, "istropicalminplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsNTPMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 72, 
      "isntpmatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsIntegerMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 
      72, "isintegermatrixsemigroup", "X7DC6EB0680B3E4DD" ], 
  [ "\033[2XIsMatrixOverSemiringMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 
      72, "ismatrixoversemiringmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsBooleanMatMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "isbooleanmatmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsMatrixOverFiniteFieldMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 
      1435, 72, "ismatrixoverfinitefieldmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsMaxPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "ismaxplusmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsMinPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "isminplusmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsTropicalMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "istropicalmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsTropicalMaxPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 
      1435, 72, "istropicalmaxplusmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsTropicalMinPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 
      1435, 72, "istropicalminplusmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsNTPMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "isntpmatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsIntegerMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72, 
      "isintegermatrixmonoid", "X8616225581BC7414" ], 
  [ "\033[2XIsFinite\033[102X", "5.7-3", [ 5, 7, 3 ], 1453, 72, "isfinite", 
      "X808A4061809A6E67" ], 
  [ "\033[2XIsTorsion\033[102X", "5.7-4", [ 5, 7, 4 ], 1486, 73, "istorsion", 
      "X80C6B26284721409" ], 
  [ "\033[2XNormalizeSemigroup\033[102X", "5.7-5", [ 5, 7, 5 ], 1508, 73, 
      "normalizesemigroup", "X873DE466868DA849" ], 
  [ "\033[2XIsActingSemigroup\033[102X", "6.1-2", [ 6, 1, 2 ], 66, 75, 
      "isactingsemigroup", "X7F69D8FC7D578A0C" ], 
  [ "\033[2XCanUseFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ], 159, 76, 
      "canusefroidurepin", "X7FEE8CFA87E7B872" ], 
  [ "\033[2XCanUseGapFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ], 159, 76, 
      "canusegapfroidurepin", "X7FEE8CFA87E7B872" ], 
  [ "\033[2XCanUseLibsemigroupsFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ], 
      159, 76, "canuselibsemigroupsfroidurepin", "X7FEE8CFA87E7B872" ], 
  [ "\033[2XInverseMonoidByGenerators\033[102X", "6.2-1", [ 6, 2, 1 ], 186, 
      77, "inversemonoidbygenerators", "X79A15C7C83BBA60B" ], 
  [ "\033[2XInverseSemigroupByGenerators\033[102X", "6.2-1", [ 6, 2, 1 ], 
      186, 77, "inversesemigroupbygenerators", "X79A15C7C83BBA60B" ], 
  [ "\033[2XSEMIGROUPS.DefaultOptionsRec\033[102X", "6.3-1", [ 6, 3, 1 ], 
      335, 79, "semigroups.defaultoptionsrec", "X78CF5DCC7C697BB3" ], 
  [ "\033[2XClosureSemigroup\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79, 
      "closuresemigroup", "X7BE36790862AE26F" ], 
  [ "\033[2XClosureMonoid\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79, 
      "closuremonoid", "X7BE36790862AE26F" ], 
  [ "\033[2XClosureInverseSemigroup\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79, 
      "closureinversesemigroup", "X7BE36790862AE26F" ], 
  [ "\033[2XClosureInverseMonoid\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79, 
      "closureinversemonoid", "X7BE36790862AE26F" ], 
  [ "\033[2XSubsemigroupByProperty\033[102X for a semigroup and function", 
      "6.4-2", [ 6, 4, 2 ], 434, 81, 
      "subsemigroupbyproperty for a semigroup and function", 
      "X7E5B4C5A82F9E0E0" ], 
  [ 
      "\033[2XSubsemigroupByProperty\033[102X for a semigroup, function, and limi\
t on the size of the subsemigroup", "6.4-2", [ 6, 4, 2 ], 434, 81, 
      "subsemigroupbyproperty for a semigroup function and limit on the size o\
f the subsemigroup", "X7E5B4C5A82F9E0E0" ], 
  [ "\033[2XInverseSubsemigroupByProperty\033[102X", "6.4-3", [ 6, 4, 3 ], 
      464, 81, "inversesubsemigroupbyproperty", "X832AEDCC7BA9E5F5" ], 
  [ "\033[2XIsomorphismSemigroup\033[102X", "6.5-1", [ 6, 5, 1 ], 572, 83, 
      "isomorphismsemigroup", "X838F18E87F765697" ], 
  [ "\033[2XIsomorphismMonoid\033[102X", "6.5-2", [ 6, 5, 2 ], 648, 84, 
      "isomorphismmonoid", "X83D03BE678C9974F" ], 
  [ "\033[2XAsSemigroup\033[102X", "6.5-3", [ 6, 5, 3 ], 701, 85, 
      "assemigroup", "X80ED104F85AE5134" ], 
  [ "\033[2XAsMonoid\033[102X", "6.5-4", [ 6, 5, 4 ], 745, 86, "asmonoid", 
      "X7B22038F832B9C0F" ], 
  [ "\033[2XIsomorphismPermGroup\033[102X", "6.5-5", [ 6, 5, 5 ], 782, 87, 
      "isomorphismpermgroup", "X80B7B1C783AA1567" ], 
  [ "\033[2XRZMSNormalization\033[102X", "6.5-6", [ 6, 5, 6 ], 823, 87, 
      "rzmsnormalization", "X870210EA7912B52A" ], 
  [ "\033[2XRMSNormalization\033[102X", "6.5-7", [ 6, 5, 7 ], 898, 89, 
      "rmsnormalization", "X80DE617E841E5BA0" ], 
  [ "\033[2XIsomorphismReesMatrixSemigroup\033[102X for a semigroup", 
      "6.5-8", [ 6, 5, 8 ], 926, 89, 
      "isomorphismreesmatrixsemigroup for a semigroup", "X7E2ECC577A1CF7CA" ],
  [ "\033[2XIsomorphismReesZeroMatrixSemigroup\033[102X", "6.5-8", 
      [ 6, 5, 8 ], 926, 89, "isomorphismreeszeromatrixsemigroup", 
      "X7E2ECC577A1CF7CA" ], 
  [ "\033[2XIsomorphismReesMatrixSemigroupOverPermGroup\033[102X", "6.5-8", 
      [ 6, 5, 8 ], 926, 89, "isomorphismreesmatrixsemigroupoverpermgroup", 
      "X7E2ECC577A1CF7CA" ], 
  [ "\033[2XIsomorphismReesZeroMatrixSemigroupOverPermGroup\033[102X", 
      "6.5-8", [ 6, 5, 8 ], 926, 89, 
      "isomorphismreeszeromatrixsemigroupoverpermgroup", "X7E2ECC577A1CF7CA" ]
    , 
  [ "\033[2XAntiIsomorphismDualFpSemigroup\033[102X", "6.5-9", [ 6, 5, 9 ], 
      961, 90, "antiisomorphismdualfpsemigroup", "X820BB66381737F2D" ], 
  [ "\033[2XAntiIsomorphismDualFpMonoid\033[102X", "6.5-9", [ 6, 5, 9 ], 961, 
      90, "antiisomorphismdualfpmonoid", "X820BB66381737F2D" ], 
  [ "\033[2XEmbeddingFpMonoid\033[102X", "6.5-10", [ 6, 5, 10 ], 994, 90, 
      "embeddingfpmonoid", "X7873016586653A44" ], 
  [ "\033[2XRandomSemigroup\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91, 
      "randomsemigroup", "X789DE9AB79FCFEB5" ], 
  [ "\033[2XRandomMonoid\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91, 
      "randommonoid", "X789DE9AB79FCFEB5" ], 
  [ "\033[2XRandomInverseSemigroup\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91, 
      "randominversesemigroup", "X789DE9AB79FCFEB5" ], 
  [ "\033[2XRandomInverseMonoid\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91, 
      "randominversemonoid", "X789DE9AB79FCFEB5" ], 
  [ "\033[2XCatalanMonoid\033[102X", "7.1-1", [ 7, 1, 1 ], 15, 94, 
      "catalanmonoid", "X84C4C81380B0239D" ], 
  [ "\033[2XEndomorphismsPartition\033[102X", "7.1-2", [ 7, 1, 2 ], 31, 94, 
      "endomorphismspartition", "X85C1D4307D0F5FF7" ], 
  [ "\033[2XPartialTransformationMonoid\033[102X", "7.1-3", [ 7, 1, 3 ], 55, 
      95, "partialtransformationmonoid", "X808A27F87E5AC598" ], 
  [ "\033[2XSingularTransformationSemigroup\033[102X", "7.1-4", [ 7, 1, 4 ], 
      72, 95, "singulartransformationsemigroup", "X7894EE357D103806" ], 
  [ "\033[2XSingularTransformationMonoid\033[102X", "7.1-4", [ 7, 1, 4 ], 72, 
      95, "singulartransformationmonoid", "X7894EE357D103806" ], 
  [ 
      "\033[2XOrderEndomorphisms\033[102X monoid of order preserving transformati\
ons", "7.1-5", [ 7, 1, 5 ], 89, 95, 
      "orderendomorphisms monoid of order preserving transformations", 
      "X80E80A0A83B57483" ], 
  [ "\033[2XSingularOrderEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89, 
      95, "singularorderendomorphisms", "X80E80A0A83B57483" ], 
  [ "\033[2XOrderAntiEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89, 95, 
      "orderantiendomorphisms", "X80E80A0A83B57483" ], 
  [ "\033[2XPartialOrderEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89, 
      95, "partialorderendomorphisms", "X80E80A0A83B57483" ], 
  [ "\033[2XPartialOrderAntiEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 
      89, 95, "partialorderantiendomorphisms", "X80E80A0A83B57483" ], 
  [ "\033[2XEndomorphismMonoid\033[102X for a digraph", "7.1-6", [ 7, 1, 6 ], 
      152, 97, "endomorphismmonoid for a digraph", "X868955247F2AFAA5" ], 
  [ "\033[2XEndomorphismMonoid\033[102X for a digraph and vertex coloring", 
      "7.1-6", [ 7, 1, 6 ], 152, 97, 
      "endomorphismmonoid for a digraph and vertex coloring", 
      "X868955247F2AFAA5" ], 
  [ "\033[2XMunnSemigroup\033[102X", "7.2-1", [ 7, 2, 1 ], 207, 98, 
      "munnsemigroup", "X78FBE6DD7BCA30C1" ], 
  [ "\033[2XRookMonoid\033[102X", "7.2-2", [ 7, 2, 2 ], 233, 98, 
      "rookmonoid", "X82D9619B7845CAEB" ], 
  [ "\033[2XPOI\033[102X monoid of order preserving partial perms", "7.2-3", 
      [ 7, 2, 3 ], 248, 98, "poi monoid of order preserving partial perms", 
      "X85D841AE83DF101C" ], 
  [ 
      "\033[2XPODI\033[102X monoid of order preserving or reversing partial perms\
", "7.2-3", [ 7, 2, 3 ], 248, 98, 
      "podi monoid of order preserving or reversing partial perms", 
      "X85D841AE83DF101C" ], 
  [ "\033[2XPOPI\033[102X monoid of orientation preserving partial perms", 
      "7.2-3", [ 7, 2, 3 ], 248, 98, 
      "popi monoid of orientation preserving partial perms", 
      "X85D841AE83DF101C" ], 
  [ 
      "\033[2XPORI\033[102X monoid of orientation preserving or reversing partial\
 perms", "7.2-3", [ 7, 2, 3 ], 248, 98, 
      "pori monoid of orientation preserving or reversing partial perms", 
      "X85D841AE83DF101C" ], 
  [ "\033[2XPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99, 
      "partitionmonoid", "X7E4B61FF7CCFD74A" ], 
  [ "\033[2XRookPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99, 
      "rookpartitionmonoid", "X7E4B61FF7CCFD74A" ], 
  [ "\033[2XSingularPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99, 
      "singularpartitionmonoid", "X7E4B61FF7CCFD74A" ], 
  [ "\033[2XBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100, 
      "brauermonoid", "X79D33B2E7BA3073A" ], 
  [ "\033[2XPartialBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100, 
      "partialbrauermonoid", "X79D33B2E7BA3073A" ], 
  [ "\033[2XSingularBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100, 
      "singularbrauermonoid", "X79D33B2E7BA3073A" ], 
  [ "\033[2XJonesMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101, 
      "jonesmonoid", "X8378FC8B840B9706" ], 
  [ "\033[2XTemperleyLiebMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101, 
      "temperleyliebmonoid", "X8378FC8B840B9706" ], 
  [ "\033[2XSingularJonesMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101, 
      "singularjonesmonoid", "X8378FC8B840B9706" ], 
  [ "\033[2XPartialJonesMonoid\033[102X", "7.3-4", [ 7, 3, 4 ], 407, 101, 
      "partialjonesmonoid", "X8458B0F7874484CE" ], 
  [ "\033[2XAnnularJonesMonoid\033[102X", "7.3-5", [ 7, 3, 5 ], 446, 102, 
      "annularjonesmonoid", "X7DB8CB067CBE1254" ], 
  [ "\033[2XMotzkinMonoid\033[102X", "7.3-6", [ 7, 3, 6 ], 462, 102, 
      "motzkinmonoid", "X8375152F7AB52B7B" ], 
  [ "\033[2XDualSymmetricInverseSemigroup\033[102X", "7.3-7", [ 7, 3, 7 ], 
      489, 102, "dualsymmetricinversesemigroup", "X83C7587C81B985BA" ], 
  [ "\033[2XDualSymmetricInverseMonoid\033[102X", "7.3-7", [ 7, 3, 7 ], 489, 
      102, "dualsymmetricinversemonoid", "X83C7587C81B985BA" ], 
  [ "\033[2XSingularDualSymmetricInverseMonoid\033[102X", "7.3-7", 
      [ 7, 3, 7 ], 489, 102, "singulardualsymmetricinversemonoid", 
      "X83C7587C81B985BA" ], 
  [ "\033[2XPartialDualSymmetricInverseMonoid\033[102X", "7.3-7", 
      [ 7, 3, 7 ], 489, 102, "partialdualsymmetricinversemonoid", 
      "X83C7587C81B985BA" ], 
  [ "\033[2XUniformBlockBijectionMonoid\033[102X", "7.3-8", [ 7, 3, 8 ], 525, 
      103, "uniformblockbijectionmonoid", "X8301C61384168D6F" ], 
  [ "\033[2XFactorisableDualSymmetricInverseMonoid\033[102X", "7.3-8", 
      [ 7, 3, 8 ], 525, 103, "factorisabledualsymmetricinversemonoid", 
      "X8301C61384168D6F" ], 
  [ "\033[2XSingularUniformBlockBijectionMonoid\033[102X", "7.3-8", 
      [ 7, 3, 8 ], 525, 103, "singularuniformblockbijectionmonoid", 
      "X8301C61384168D6F" ], 
  [ "\033[2XPartialUniformBlockBijectionMonoid\033[102X", "7.3-8", 
      [ 7, 3, 8 ], 525, 103, "partialuniformblockbijectionmonoid", 
      "X8301C61384168D6F" ], 
  [ "\033[2XSingularFactorisableDualSymmetricInverseMonoid\033[102X", 
      "7.3-8", [ 7, 3, 8 ], 525, 103, 
      "singularfactorisabledualsymmetricinversemonoid", "X8301C61384168D6F" ],
  [ "\033[2XPlanarUniformBlockBijectionMonoid\033[102X", "7.3-8", 
      [ 7, 3, 8 ], 525, 103, "planaruniformblockbijectionmonoid", 
      "X8301C61384168D6F" ], 
  [ "\033[2XSingularPlanarUniformBlockBijectionMonoid\033[102X", "7.3-8", 
      [ 7, 3, 8 ], 525, 103, "singularplanaruniformblockbijectionmonoid", 
      "X8301C61384168D6F" ], 
  [ "\033[2XPlanarPartitionMonoid\033[102X", "7.3-9", [ 7, 3, 9 ], 587, 104, 
      "planarpartitionmonoid", "X8444092A7967A029" ], 
  [ "\033[2XSingularPlanarPartitionMonoid\033[102X", "7.3-9", [ 7, 3, 9 ], 
      587, 104, "singularplanarpartitionmonoid", "X8444092A7967A029" ], 
  [ "\033[2XModularPartitionMonoid\033[102X", "7.3-10", [ 7, 3, 10 ], 614, 
      105, "modularpartitionmonoid", "X7F208DC584C0B9D1" ], 
  [ "\033[2XSingularModularPartitionMonoid\033[102X", "7.3-10", [ 7, 3, 10 ], 
      614, 105, "singularmodularpartitionmonoid", "X7F208DC584C0B9D1" ], 
  [ "\033[2XPlanarModularPartitionMonoid\033[102X", "7.3-10", [ 7, 3, 10 ], 
      614, 105, "planarmodularpartitionmonoid", "X7F208DC584C0B9D1" ], 
  [ "\033[2XSingularPlanarModularPartitionMonoid\033[102X", "7.3-10", 
      [ 7, 3, 10 ], 614, 105, "singularplanarmodularpartitionmonoid", 
      "X7F208DC584C0B9D1" ], 
  [ "\033[2XApsisMonoid\033[102X", "7.3-11", [ 7, 3, 11 ], 659, 105, 
      "apsismonoid", "X7C82B25F8441928E" ], 
  [ "\033[2XSingularApsisMonoid\033[102X", "7.3-11", [ 7, 3, 11 ], 659, 105, 
      "singularapsismonoid", "X7C82B25F8441928E" ], 
  [ "\033[2XCrossedApsisMonoid\033[102X", "7.3-11", [ 7, 3, 11 ], 659, 105, 
      "crossedapsismonoid", "X7C82B25F8441928E" ], 
  [ "\033[2XSingularCrossedApsisMonoid\033[102X", "7.3-11", [ 7, 3, 11 ], 
      659, 105, "singularcrossedapsismonoid", "X7C82B25F8441928E" ], 
  [ "\033[2XFullPBRMonoid\033[102X", "7.4-1", [ 7, 4, 1 ], 705, 106, 
      "fullpbrmonoid", "X7DBB30AA83663CE8" ], 
  [ "\033[2XFullMatrixMonoid\033[102X", "7.5-1", [ 7, 5, 1 ], 733, 107, 
      "fullmatrixmonoid", "X7D4B473A7D7735E3" ], 
  [ "\033[2XGeneralLinearMonoid\033[102X", "7.5-1", [ 7, 5, 1 ], 733, 107, 
      "generallinearmonoid", "X7D4B473A7D7735E3" ], 
  [ "\033[2XGLM\033[102X", "7.5-1", [ 7, 5, 1 ], 733, 107, "glm", 
      "X7D4B473A7D7735E3" ], 
  [ "\033[2XSpecialLinearMonoid\033[102X", "7.5-2", [ 7, 5, 2 ], 757, 107, 
      "speciallinearmonoid", "X785924807B60F187" ], 
  [ "\033[2XSLM\033[102X", "7.5-2", [ 7, 5, 2 ], 757, 107, "slm", 
      "X785924807B60F187" ], 
  [ "\033[2XIsFullMatrixMonoid\033[102X", "7.5-3", [ 7, 5, 3 ], 779, 107, 
      "isfullmatrixmonoid", "X860B2A4382CA8F87" ], 
  [ "\033[2XIsGeneralLinearMonoid\033[102X", "7.5-3", [ 7, 5, 3 ], 779, 107, 
      "isgenerallinearmonoid", "X860B2A4382CA8F87" ], 
  [ "\033[2XFullBooleanMatMonoid\033[102X", "7.6-1", [ 7, 6, 1 ], 806, 108, 
      "fullbooleanmatmonoid", "X7B20103D84E010EF" ], 
  [ "\033[2XRegularBooleanMatMonoid\033[102X", "7.6-2", [ 7, 6, 2 ], 826, 
      108, "regularbooleanmatmonoid", "X7A43263981F2F2AF" ], 
  [ "\033[2XReflexiveBooleanMatMonoid\033[102X", "7.6-3", [ 7, 6, 3 ], 853, 
      109, "reflexivebooleanmatmonoid", "X78DF50747A28098C" ], 
  [ "\033[2XHallMonoid\033[102X", "7.6-4", [ 7, 6, 4 ], 874, 109, 
      "hallmonoid", "X79EF0EA68782CFCA" ], 
  [ "\033[2XGossipMonoid\033[102X", "7.6-5", [ 7, 6, 5 ], 901, 109, 
      "gossipmonoid", "X7F083600787C78FF" ], 
  [ "\033[2XTriangularBooleanMatMonoid\033[102X", "7.6-6", [ 7, 6, 6 ], 929, 
      110, "triangularbooleanmatmonoid", "X81BBCF2E84239521" ], 
  [ "\033[2XUnitriangularBooleanMatMonoid\033[102X", "7.6-6", [ 7, 6, 6 ], 
      929, 110, "unitriangularbooleanmatmonoid", "X81BBCF2E84239521" ], 
  [ "\033[2XFullTropicalMaxPlusMonoid\033[102X", "7.7-1", [ 7, 7, 1 ], 963, 
      110, "fulltropicalmaxplusmonoid", "X81E937B6852A9C69" ], 
  [ "\033[2XFullTropicalMinPlusMonoid\033[102X", "7.7-2", [ 7, 7, 2 ], 984, 
      111, "fulltropicalminplusmonoid", "X85EDC03180768931" ], 
  [ "\033[2XTrivialSemigroup\033[102X", "7.8-1", [ 7, 8, 1 ], 1014, 111, 
      "trivialsemigroup", "X82B07E907B3A55F0" ], 
  [ "\033[2XMonogenicSemigroup\033[102X", "7.8-2", [ 7, 8, 2 ], 1054, 112, 
      "monogenicsemigroup", "X8411EBD97A220921" ], 
  [ "\033[2XRectangularBand\033[102X", "7.8-3", [ 7, 8, 3 ], 1101, 112, 
      "rectangularband", "X7E4DFDE27BF8B8F7" ], 
  [ "\033[2XFreeSemilattice\033[102X", "7.8-4", [ 7, 8, 4 ], 1139, 113, 
      "freesemilattice", "X7982E0667ECEB265" ], 
  [ "\033[2XZeroSemigroup\033[102X", "7.8-5", [ 7, 8, 5 ], 1210, 114, 
      "zerosemigroup", "X801FC1D97D832A6F" ], 
  [ "\033[2XLeftZeroSemigroup\033[102X", "7.8-6", [ 7, 8, 6 ], 1255, 115, 
      "leftzerosemigroup", "X8672CFA47CA620B2" ], 
  [ "\033[2XRightZeroSemigroup\033[102X", "7.8-6", [ 7, 8, 6 ], 1255, 115, 
      "rightzerosemigroup", "X8672CFA47CA620B2" ], 
  [ "\033[2XBrandtSemigroup\033[102X", "7.8-7", [ 7, 8, 7 ], 1288, 116, 
      "brandtsemigroup", "X7E2B20C77D47F7FB" ], 
  [ "\033[2XFreeBand\033[102X for a given rank", "7.9-1", [ 7, 9, 1 ], 1379, 
      117, "freeband for a given rank", "X7B2A65F382DB36EC" ], 
  [ "\033[2XFreeBand\033[102X for a list of names", "7.9-1", [ 7, 9, 1 ], 
      1379, 117, "freeband for a list of names", "X7B2A65F382DB36EC" ], 
  [ "\033[2XFreeBand\033[102X for various names", "7.9-1", [ 7, 9, 1 ], 1379, 
      117, "freeband for various names", "X7B2A65F382DB36EC" ], 
  [ "\033[2XIsFreeBandCategory\033[102X", "7.9-2", [ 7, 9, 2 ], 1409, 118, 
      "isfreebandcategory", "X7F5658DC7E56C4A6" ], 
  [ "\033[2XIsFreeBand\033[102X for a given semigroup", "7.9-3", [ 7, 9, 3 ], 
      1423, 118, "isfreeband for a given semigroup", "X7B1CD5FC7E034B88" ], 
  [ "\033[2XIsFreeBandElement\033[102X", "7.9-4", [ 7, 9, 4 ], 1439, 118, 
      "isfreebandelement", "X7DECF69087BB3B16" ], 
  [ "\033[2XIsFreeBandElementCollection\033[102X", "7.9-5", [ 7, 9, 5 ], 
      1454, 118, "isfreebandelementcollection", "X842839C87DAAA43C" ], 
  [ "\033[2XIsFreeBandSubsemigroup\033[102X", "7.9-6", [ 7, 9, 6 ], 1462, 
      118, "isfreebandsubsemigroup", "X7AEF4CD1857E7DCC" ], 
  [ "\033[2XContentOfFreeBandElement\033[102X", "7.9-7", [ 7, 9, 7 ], 1484, 
      119, "contentoffreebandelement", "X808CAEC17BF271D1" ], 
  [ "\033[2XContentOfFreeBandElementCollection\033[102X", "7.9-7", 
      [ 7, 9, 7 ], 1484, 119, "contentoffreebandelementcollection", 
      "X808CAEC17BF271D1" ], 
  [ "\033[2XEqualInFreeBand\033[102X", "7.9-8", [ 7, 9, 8 ], 1518, 119, 
      "equalinfreeband", "X7CD9426180587CA4" ], 
  [ "\033[2XGreensDClassOfElement\033[102X for a free band and element", 
      "7.9-9", [ 7, 9, 9 ], 1546, 120, 
      "greensdclassofelement for a free band and element", 
      "X85DC5D50875E55D6" ], 
  [ "\033[2XGraphInverseSemigroup\033[102X", "7.10-1", [ 7, 10, 1 ], 1593, 
      121, "graphinversesemigroup", "X7A9EEFD386D6F630" ], 
  [ "\033[2XRange\033[102X for a graph inverse semigroup element", "7.10-2", 
      [ 7, 10, 2 ], 1650, 122, "range for a graph inverse semigroup element", 
      "X8187F0FF784A82CD" ], 
  [ "\033[2XSource\033[102X for a graph inverse semigroup element", "7.10-2", 
      [ 7, 10, 2 ], 1650, 122, "source for a graph inverse semigroup element",
      "X8187F0FF784A82CD" ], 
  [ "\033[2XIsVertex\033[102X for a graph inverse semigroup element", 
      "7.10-3", [ 7, 10, 3 ], 1674, 122, 
      "isvertex for a graph inverse semigroup element", "X7DEE927C83D4DFDD" ],
  [ "\033[2XIsGraphInverseSemigroup\033[102X", "7.10-4", [ 7, 10, 4 ], 1703, 
      122, "isgraphinversesemigroup", "X7BFDF88B799B05A0" ], 
  [ "\033[2XIsGraphInverseSemigroupElement\033[102X", "7.10-4", [ 7, 10, 4 ], 
      1703, 122, "isgraphinversesemigroupelement", "X7BFDF88B799B05A0" ], 
  [ "\033[2XGraphOfGraphInverseSemigroup\033[102X", "7.10-5", [ 7, 10, 5 ], 
      1726, 123, "graphofgraphinversesemigroup", "X7BE287A385A058BC" ], 
  [ "\033[2XIsGraphInverseSemigroupElementCollection\033[102X", "7.10-6", 
      [ 7, 10, 6 ], 1744, 123, "isgraphinversesemigroupelementcollection", 
      "X870128E4845D6ABD" ], 
  [ "\033[2XIsGraphInverseSubsemigroup\033[102X", "7.10-7", [ 7, 10, 7 ], 
      1752, 123, "isgraphinversesubsemigroup", "X7BC6D5107ED09DBA" ], 
  [ "\033[2XVerticesOfGraphInverseSemigroup\033[102X", "7.10-8", 
      [ 7, 10, 8 ], 1776, 124, "verticesofgraphinversesemigroup", 
      "X7DF1ACC27CC998EB" ], 
  [ "\033[2XIndexOfVertexOfGraphInverseSemigroup\033[102X", "7.10-9", 
      [ 7, 10, 9 ], 1799, 124, "indexofvertexofgraphinversesemigroup", 
      "X87500BC782212D4A" ], 
  [ "\033[2XFreeInverseSemigroup\033[102X for a given rank", "7.11-1", 
      [ 7, 11, 1 ], 1873, 125, "freeinversesemigroup for a given rank", 
      "X7F3F9DED8003CBD0" ], 
  [ "\033[2XFreeInverseSemigroup\033[102X for a list of names", "7.11-1", 
      [ 7, 11, 1 ], 1873, 125, "freeinversesemigroup for a list of names", 
      "X7F3F9DED8003CBD0" ], 
  [ "\033[2XFreeInverseSemigroup\033[102X for various names", "7.11-1", 
      [ 7, 11, 1 ], 1873, 125, "freeinversesemigroup for various names", 
      "X7F3F9DED8003CBD0" ], 
  [ "\033[2XIsFreeInverseSemigroupCategory\033[102X", "7.11-2", [ 7, 11, 2 ], 
      1902, 126, "isfreeinversesemigroupcategory", "X7CE4CFD886220179" ], 
  [ "\033[2XIsFreeInverseSemigroup\033[102X", "7.11-3", [ 7, 11, 3 ], 1913, 
      126, "isfreeinversesemigroup", "X7B91643B827DA6DB" ], 
  [ "\033[2XIsFreeInverseSemigroupElement\033[102X", "7.11-4", [ 7, 11, 4 ], 
      1921, 126, "isfreeinversesemigroupelement", "X7999FE0286283CC2" ], 
  [ "\033[2XIsFreeInverseSemigroupElementCollection\033[102X", "7.11-5", 
      [ 7, 11, 5 ], 1928, 126, "isfreeinversesemigroupelementcollection", 
      "X813A291779726739" ], 
  [ "\033[2XCanonicalForm\033[102X for a free inverse semigroup element", 
      "7.11-6", [ 7, 11, 6 ], 1936, 126, 
      "canonicalform for a free inverse semigroup element", 
      "X7DB7DCEC7E0FE9A3" ], 
  [ "\033[2XMinimalWord\033[102X for free inverse semigroup element", 
      "7.11-7", [ 7, 11, 7 ], 1955, 127, 
      "minimalword for free inverse semigroup element", "X87BB5D047EB7C2BF" ],
  [ "\033[2XDirectProduct\033[102X", "8.1-1", [ 8, 1, 1 ], 14, 129, 
      "directproduct", "X861BA02C7902A4F4" ], 
  [ "\033[2XDirectProductOp\033[102X", "8.1-1", [ 8, 1, 1 ], 14, 129, 
      "directproductop", "X861BA02C7902A4F4" ], 
  [ "\033[2XWreathProduct\033[102X", "8.1-2", [ 8, 1, 2 ], 59, 130, 
      "wreathproduct", "X8786EFBC78D7D6ED" ], 
  [ "\033[2XDualSemigroup\033[102X", "8.2-1", [ 8, 2, 1 ], 88, 130, 
      "dualsemigroup", "X79F2643C8642A3B0" ], 
  [ "\033[2XIsDualSemigroupRep\033[102X", "8.2-2", [ 8, 2, 2 ], 111, 131, 
      "isdualsemigrouprep", "X83403224821CD079" ], 
  [ "\033[2XIsDualSemigroupElement\033[102X", "8.2-3", [ 8, 2, 3 ], 152, 131, 
      "isdualsemigroupelement", "X79BAAA397FC1FA2E" ], 
  [ "\033[2XAntiIsomorphismDualSemigroup\033[102X", "8.2-4", [ 8, 2, 4 ], 
      183, 132, "antiisomorphismdualsemigroup", "X7CB64FA378EC715B" ], 
  [ "\033[2XStrongSemilatticeOfSemigroups\033[102X", "8.3-1", [ 8, 3, 1 ], 
      228, 133, "strongsemilatticeofsemigroups", "X82C3F9C9861EEDFE" ], 
  [ "\033[2XSSSE\033[102X", "8.3-2", [ 8, 3, 2 ], 261, 133, "ssse", 
      "X798DE3E581978834" ], 
  [ "\033[2XIsSSSE\033[102X", "8.3-3", [ 8, 3, 3 ], 301, 134, "isssse", 
      "X7B7B70F37C9C3836" ], 
  [ "\033[2XIsStrongSemilatticeOfSemigroups\033[102X", "8.3-4", [ 8, 3, 4 ], 
      309, 134, "isstrongsemilatticeofsemigroups", "X838F24247D4DBE18" ], 
  [ "\033[2XSemilatticeOfStrongSemilatticeOfSemigroups\033[102X", "8.3-5", 
      [ 8, 3, 5 ], 321, 134, "semilatticeofstrongsemilatticeofsemigroups", 
      "X87100CE6836DE3DB" ], 
  [ "\033[2XSemigroupsOfStrongSemilatticeOfSemigroups\033[102X", "8.3-6", 
      [ 8, 3, 6 ], 331, 134, "semigroupsofstrongsemilatticeofsemigroups", 
      "X79E6C08D87984579" ], 
  [ "\033[2XHomomorphismsOfStrongSemilatticeOfSemigroups\033[102X", "8.3-7", 
      [ 8, 3, 7 ], 340, 135, "homomorphismsofstrongsemilatticeofsemigroups", 
      "X806655138370ECFF" ], 
  [ "\033[2XIsMcAlisterTripleSemigroup\033[102X", "8.4-1", [ 8, 4, 1 ], 418, 
      136, "ismcalistertriplesemigroup", "X85C00EB085774624" ], 
  [ "\033[2XMcAlisterTripleSemigroup\033[102X", "8.4-2", [ 8, 4, 2 ], 428, 
      136, "mcalistertriplesemigroup", "X7B5FF3A27BB057F2" ], 
  [ "\033[2XMcAlisterTripleSemigroupGroup\033[102X", "8.4-3", [ 8, 4, 3 ], 
      509, 137, "mcalistertriplesemigroupgroup", "X7A54FDB186CD2E94" ], 
  [ "\033[2XMcAlisterTripleSemigroupPartialOrder\033[102X", "8.4-4", 
      [ 8, 4, 4 ], 517, 137, "mcalistertriplesemigrouppartialorder", 
      "X8046966B7F9A1ED5" ], 
  [ "\033[2XMcAlisterTripleSemigroupSemilattice\033[102X", "8.4-5", 
      [ 8, 4, 5 ], 526, 137, "mcalistertriplesemigroupsemilattice", 
      "X86C0C3EF84517DAB" ], 
  [ "\033[2XMcAlisterTripleSemigroupAction\033[102X", "8.4-6", [ 8, 4, 6 ], 
      535, 138, "mcalistertriplesemigroupaction", "X86D6442E85881DEA" ], 
  [ "\033[2XIsMcAlisterTripleSemigroupElement\033[102X", "8.4-7", 
      [ 8, 4, 7 ], 543, 138, "ismcalistertriplesemigroupelement", 
      "X7B4EC9FC82249A83" ], 
  [ "\033[2XIsMTSE\033[102X", "8.4-7", [ 8, 4, 7 ], 543, 138, "ismtse", 
      "X7B4EC9FC82249A83" ], 
  [ "\033[2XMcAlisterTripleSemigroupElement\033[102X", "8.4-8", [ 8, 4, 8 ], 
      555, 138, "mcalistertriplesemigroupelement", "X854BFB1C7BA57985" ], 
  [ "\033[2XMTSE\033[102X", "8.4-8", [ 8, 4, 8 ], 555, 138, "mtse", 
      "X854BFB1C7BA57985" ], 
  [ "\033[2XSemigroupIdeal\033[102X", "9.1-1", [ 9, 1, 1 ], 25, 140, 
      "semigroupideal", "X78E15B0184A1DC14" ], 
  [ "\033[2XIdeals\033[102X for a semigroup", "9.1-2", [ 9, 1, 2 ], 48, 141, 
      "ideals for a semigroup", "X7AF9B33881D185C6" ], 
  [ "\033[2XGeneratorsOfSemigroupIdeal\033[102X", "9.2-1", [ 9, 2, 1 ], 81, 
      141, "generatorsofsemigroupideal", "X87BB45DB844D41BC" ], 
  [ "\033[2XMinimalIdealGeneratingSet\033[102X", "9.2-2", [ 9, 2, 2 ], 114, 
      142, "minimalidealgeneratingset", "X8777E71A82C2BAF9" ], 
  [ "\033[2XSupersemigroupOfIdeal\033[102X", "9.2-3", [ 9, 2, 3 ], 138, 142, 
      "supersemigroupofideal", "X7DB8699784FA4114" ], 
  [ "\033[2XDClassOfHClass\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 144, 
      "dclassofhclass", "X87558FEF805D24E1" ], 
  [ "\033[2XDClassOfLClass\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 144, 
      "dclassoflclass", "X87558FEF805D24E1" ], 
  [ "\033[2XDClassOfRClass\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 144, 
      "dclassofrclass", "X87558FEF805D24E1" ], 
  [ "\033[2XLClassOfHClass\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 144, 
      "lclassofhclass", "X87558FEF805D24E1" ], 
  [ "\033[2XRClassOfHClass\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 144, 
      "rclassofhclass", "X87558FEF805D24E1" ], 
  [ "\033[2XGreensDClassOfElement\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, 
      "greensdclassofelement", "X81B7AD4C7C552867" ], 
  [ "\033[2XDClass\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, "dclass", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XGreensHClassOfElement\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, 
      "greenshclassofelement", "X81B7AD4C7C552867" ], 
  [ "\033[2XGreensHClassOfElement\033[102X for a Rees matrix semigroup", 
      "10.1-2", [ 10, 1, 2 ], 78, 145, 
      "greenshclassofelement for a rees matrix semigroup", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XHClass\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, "hclass", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XHClass\033[102X for a Rees matrix semigroup", "10.1-2", 
      [ 10, 1, 2 ], 78, 145, "hclass for a rees matrix semigroup", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XGreensLClassOfElement\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, 
      "greenslclassofelement", "X81B7AD4C7C552867" ], 
  [ "\033[2XLClass\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, "lclass", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XGreensRClassOfElement\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, 
      "greensrclassofelement", "X81B7AD4C7C552867" ], 
  [ "\033[2XRClass\033[102X", "10.1-2", [ 10, 1, 2 ], 78, 145, "rclass", 
      "X81B7AD4C7C552867" ], 
  [ "\033[2XGreensDClassOfElementNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 
      146, "greensdclassofelementnc", "X7B44317786571F8B" ], 
  [ "\033[2XDClassNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 146, "dclassnc", 
      "X7B44317786571F8B" ], 
  [ "\033[2XGreensHClassOfElementNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 
      146, "greenshclassofelementnc", "X7B44317786571F8B" ], 
  [ "\033[2XHClassNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 146, "hclassnc", 
      "X7B44317786571F8B" ], 
  [ "\033[2XGreensLClassOfElementNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 
      146, "greenslclassofelementnc", "X7B44317786571F8B" ], 
  [ "\033[2XLClassNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 146, "lclassnc", 
      "X7B44317786571F8B" ], 
  [ "\033[2XGreensRClassOfElementNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 
      146, "greensrclassofelementnc", "X7B44317786571F8B" ], 
  [ "\033[2XRClassNC\033[102X", "10.1-3", [ 10, 1, 3 ], 117, 146, "rclassnc", 
      "X7B44317786571F8B" ], 
  [ "\033[2XGreensDClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, 
      "greensdclasses", "X7D51218A80234DE5" ], 
  [ "\033[2XDClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, "dclasses", 
      "X7D51218A80234DE5" ], 
  [ "\033[2XGreensHClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, 
      "greenshclasses", "X7D51218A80234DE5" ], 
  [ "\033[2XHClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, "hclasses", 
      "X7D51218A80234DE5" ], 
  [ "\033[2XGreensJClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, 
      "greensjclasses", "X7D51218A80234DE5" ], 
  [ "\033[2XJClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, "jclasses", 
      "X7D51218A80234DE5" ], 
  [ "\033[2XGreensLClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, 
      "greenslclasses", "X7D51218A80234DE5" ], 
  [ "\033[2XLClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, "lclasses", 
      "X7D51218A80234DE5" ], 
  [ "\033[2XGreensRClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, 
      "greensrclasses", "X7D51218A80234DE5" ], 
  [ "\033[2XRClasses\033[102X", "10.1-4", [ 10, 1, 4 ], 185, 147, "rclasses", 
      "X7D51218A80234DE5" ], 
  [ "\033[2XDClassReps\033[102X", "10.1-5", [ 10, 1, 5 ], 285, 149, 
      "dclassreps", "X865387A87FAAC395" ], 
  [ "\033[2XHClassReps\033[102X", "10.1-5", [ 10, 1, 5 ], 285, 149, 
      "hclassreps", "X865387A87FAAC395" ], 
  [ "\033[2XLClassReps\033[102X", "10.1-5", [ 10, 1, 5 ], 285, 149, 
      "lclassreps", "X865387A87FAAC395" ], 
  [ "\033[2XRClassReps\033[102X", "10.1-5", [ 10, 1, 5 ], 285, 149, 
      "rclassreps", "X865387A87FAAC395" ], 
  [ "\033[2XMinimalDClass\033[102X", "10.1-6", [ 10, 1, 6 ], 340, 150, 
      "minimaldclass", "X81E5A04F7DA3A1E1" ], 
  [ "\033[2XMaximalDClasses\033[102X", "10.1-7", [ 10, 1, 7 ], 368, 150, 
      "maximaldclasses", "X834172F4787A565B" ], 
  [ "\033[2XMaximalLClasses\033[102X", "10.1-7", [ 10, 1, 7 ], 368, 150, 
      "maximallclasses", "X834172F4787A565B" ], 
  [ "\033[2XMaximalRClasses\033[102X", "10.1-7", [ 10, 1, 7 ], 368, 150, 
      "maximalrclasses", "X834172F4787A565B" ], 
  [ "\033[2XNrRegularDClasses\033[102X", "10.1-8", [ 10, 1, 8 ], 400, 151, 
      "nrregulardclasses", "X7AA3F0A77D0043FB" ], 
  [ "\033[2XRegularDClasses\033[102X", "10.1-8", [ 10, 1, 8 ], 400, 151, 
      "regulardclasses", "X7AA3F0A77D0043FB" ], 
  [ "\033[2XNrDClasses\033[102X", "10.1-9", [ 10, 1, 9 ], 427, 151, 
      "nrdclasses", "X7E45FD9F7BADDFBD" ], 
  [ "\033[2XNrHClasses\033[102X", "10.1-9", [ 10, 1, 9 ], 427, 151, 
      "nrhclasses", "X7E45FD9F7BADDFBD" ], 
  [ "\033[2XNrLClasses\033[102X", "10.1-9", [ 10, 1, 9 ], 427, 151, 
      "nrlclasses", "X7E45FD9F7BADDFBD" ], 
  [ "\033[2XNrRClasses\033[102X", "10.1-9", [ 10, 1, 9 ], 427, 151, 
      "nrrclasses", "X7E45FD9F7BADDFBD" ], 
  [ "\033[2XPartialOrderOfDClasses\033[102X", "10.1-10", [ 10, 1, 10 ], 508, 
      152, "partialorderofdclasses", "X8140814084748101" ], 
  [ "\033[2XPartialOrderOfLClasses\033[102X", "10.1-10", [ 10, 1, 10 ], 508, 
      152, "partialorderoflclasses", "X8140814084748101" ], 
  [ "\033[2XPartialOrderOfRClasses\033[102X", "10.1-10", [ 10, 1, 10 ], 508, 
      152, "partialorderofrclasses", "X8140814084748101" ], 
  [ "\033[2XLengthOfLongestDClassChain\033[102X", "10.1-11", [ 10, 1, 11 ], 
      573, 153, "lengthoflongestdclasschain", "X83B0EDA57F1D2F97" ], 
  [ "\033[2XIsGreensDGreaterThanFunc\033[102X", "10.1-12", [ 10, 1, 12 ], 
      603, 154, "isgreensdgreaterthanfunc", "X7E872C5381D0DD8A" ], 
  [ "\033[2XIteratorOfDClassReps\033[102X", "10.2-1", [ 10, 2, 1 ], 651, 155, 
      "iteratorofdclassreps", "X8566F84A7F6D4193" ], 
  [ "\033[2XIteratorOfHClassReps\033[102X", "10.2-1", [ 10, 2, 1 ], 651, 155, 
      "iteratorofhclassreps", "X8566F84A7F6D4193" ], 
  [ "\033[2XIteratorOfLClassReps\033[102X", "10.2-1", [ 10, 2, 1 ], 651, 155, 
      "iteratoroflclassreps", "X8566F84A7F6D4193" ], 
  [ "\033[2XIteratorOfDClasses\033[102X", "10.2-2", [ 10, 2, 2 ], 666, 155, 
      "iteratorofdclasses", "X867D7B8982915960" ], 
  [ "\033[2XIteratorOfRClasses\033[102X", "10.2-2", [ 10, 2, 2 ], 666, 155, 
      "iteratorofrclasses", "X867D7B8982915960" ], 
  [ "\033[2X\\<\033[102X for Green's classes", "10.3-1", [ 10, 3, 1 ], 750, 
      157, "< for greens classes", "X85F30ACF86C3A733" ], 
  [ "\033[2XIsRegularGreensClass\033[102X", "10.3-2", [ 10, 3, 2 ], 792, 157, 
      "isregulargreensclass", "X859DD1C079C80DCC" ], 
  [ "\033[2XIsGreensClassNC\033[102X", "10.3-3", [ 10, 3, 3 ], 846, 158, 
      "isgreensclassnc", "X7E9BD34B8021045A" ], 
  [ "\033[2XGroupHClass\033[102X", "10.4-1", [ 10, 4, 1 ], 861, 158, 
      "grouphclass", "X8723756387DD4C0F" ], 
  [ "\033[2XSchutzenbergerGroup\033[102X", "10.4-2", [ 10, 4, 2 ], 911, 159, 
      "schutzenbergergroup", "X84F1321E8217D2A8" ], 
  [ "\033[2XStructureDescriptionSchutzenbergerGroups\033[102X", "10.4-3", 
      [ 10, 4, 3 ], 973, 160, "structuredescriptionschutzenbergergroups", 
      "X81202126806443F9" ], 
  [ "\033[2XStructureDescriptionMaximalSubgroups\033[102X", "10.4-4", 
      [ 10, 4, 4 ], 1005, 161, "structuredescriptionmaximalsubgroups", 
      "X838F43FE79A8C678" ], 
  [ "\033[2XMultiplicativeNeutralElement\033[102X for an H-class", "10.4-5", 
      [ 10, 4, 5 ], 1033, 161, "multiplicativeneutralelement for an h-class", 
      "X8459E4067C5773AD" ], 
  [ "\033[2XStructureDescription\033[102X for an H-class", "10.4-6", 
      [ 10, 4, 6 ], 1055, 162, "structuredescription for an h-class", 
      "X85B34FFB82C83127" ], 
  [ "\033[2XInjectionPrincipalFactor\033[102X", "10.4-7", [ 10, 4, 7 ], 1076, 
      162, "injectionprincipalfactor", "X7EBB4F1981CC2AE9" ], 
  [ "\033[2XInjectionNormalizedPrincipalFactor\033[102X", "10.4-7", 
      [ 10, 4, 7 ], 1076, 162, "injectionnormalizedprincipalfactor", 
      "X7EBB4F1981CC2AE9" ], 
  [ "\033[2XIsomorphismReesMatrixSemigroup\033[102X for a D-class", "10.4-7", 
      [ 10, 4, 7 ], 1076, 162, "isomorphismreesmatrixsemigroup for a d-class",
      "X7EBB4F1981CC2AE9" ], 
  [ "\033[2XPrincipalFactor\033[102X", "10.4-8", [ 10, 4, 8 ], 1145, 163, 
      "principalfactor", "X86C6D777847AAEC7" ], 
  [ "\033[2XNormalizedPrincipalFactor\033[102X", "10.4-8", [ 10, 4, 8 ], 
      1145, 163, "normalizedprincipalfactor", "X86C6D777847AAEC7" ], 
  [ "\033[2XLeftGreensMultiplier\033[102X", "10.5-1", [ 10, 5, 1 ], 1184, 
      164, "leftgreensmultiplier", "X7EDE3F03879B2B12" ], 
  [ "\033[2XRightGreensMultiplier\033[102X", "10.5-1", [ 10, 5, 1 ], 1184, 
      164, "rightgreensmultiplier", "X7EDE3F03879B2B12" ], 
  [ "\033[2XAsListCanonical\033[102X", "11.1-1", [ 11, 1, 1 ], 11, 166, 
      "aslistcanonical", "X7AC3FAA5826516AD" ], 
  [ "\033[2XEnumeratorCanonical\033[102X", "11.1-1", [ 11, 1, 1 ], 11, 166, 
      "enumeratorcanonical", "X7AC3FAA5826516AD" ], 
  [ "\033[2XIteratorCanonical\033[102X", "11.1-1", [ 11, 1, 1 ], 11, 166, 
      "iteratorcanonical", "X7AC3FAA5826516AD" ], 
  [ "\033[2XPositionCanonical\033[102X", "11.1-2", [ 11, 1, 2 ], 66, 167, 
      "positioncanonical", "X7B4B10AE81602D4E" ], 
  [ "\033[2XEnumerate\033[102X", "11.1-3", [ 11, 1, 3 ], 89, 167, 
      "enumerate", "X7BCD5342793C7A7E" ], 
  [ "\033[2XIsEnumerated\033[102X", "11.1-4", [ 11, 1, 4 ], 109, 168, 
      "isenumerated", "X877FAAA67F834897" ], 
  [ "\033[2XRightCayleyDigraph\033[102X", "11.2-1", [ 11, 2, 1 ], 122, 168, 
      "rightcayleydigraph", "X7EA002E27B10CCE0" ], 
  [ "\033[2XLeftCayleyDigraph\033[102X", "11.2-1", [ 11, 2, 1 ], 122, 168, 
      "leftcayleydigraph", "X7EA002E27B10CCE0" ], 
  [ "\033[2XRandom\033[102X for a semigroup", "11.3-1", [ 11, 3, 1 ], 152, 
      168, "random for a semigroup", "X7BB7FDFE7AFFD672" ], 
  [ "\033[2XIndexPeriodOfSemigroupElement\033[102X", "11.4-1", [ 11, 4, 1 ], 
      167, 169, "indexperiodofsemigroupelement", "X869AC4247E2BA4A2" ], 
  [ "\033[2XSmallestIdempotentPower\033[102X", "11.4-2", [ 11, 4, 2 ], 193, 
      169, "smallestidempotentpower", "X84E1A41F84B70DBB" ], 
  [ "\033[2XOneInverseOfSemigroupElement\033[102X", "11.5-1", [ 11, 5, 1 ], 
      230, 170, "oneinverseofsemigroupelement", "X7BDAC0B581B71D0F" ], 
  [ "\033[2XEvaluateWord\033[102X", "11.6-1", [ 11, 6, 1 ], 263, 170, 
      "evaluateword", "X799D2F3C866B9AED" ], 
  [ "\033[2XFactorization\033[102X", "11.6-2", [ 11, 6, 2 ], 319, 171, 
      "factorization", "X8357294D7B164106" ], 
  [ "\033[2XMinimalFactorization\033[102X", "11.6-3", [ 11, 6, 3 ], 383, 172, 
      "minimalfactorization", "X83A4D71382C5B6C3" ], 
  [ "\033[2XNonTrivialFactorization\033[102X", "11.6-4", [ 11, 6, 4 ], 417, 
      173, "nontrivialfactorization", "X86261F4682DC9842" ], 
  [ "\033[2XGenerators\033[102X", "11.7-1", [ 11, 7, 1 ], 463, 174, 
      "generators", "X7BD5B55C802805B4" ], 
  [ "\033[2XSmallGeneratingSet\033[102X", "11.7-2", [ 11, 7, 2 ], 521, 175, 
      "smallgeneratingset", "X814DBABC878D5232" ], 
  [ "\033[2XSmallSemigroupGeneratingSet\033[102X", "11.7-2", [ 11, 7, 2 ], 
      521, 175, "smallsemigroupgeneratingset", "X814DBABC878D5232" ], 
  [ "\033[2XSmallMonoidGeneratingSet\033[102X", "11.7-2", [ 11, 7, 2 ], 521, 
      175, "smallmonoidgeneratingset", "X814DBABC878D5232" ], 
  [ "\033[2XSmallInverseSemigroupGeneratingSet\033[102X", "11.7-2", 
      [ 11, 7, 2 ], 521, 175, "smallinversesemigroupgeneratingset", 
      "X814DBABC878D5232" ], 
  [ "\033[2XSmallInverseMonoidGeneratingSet\033[102X", "11.7-2", 
      [ 11, 7, 2 ], 521, 175, "smallinversemonoidgeneratingset", 
      "X814DBABC878D5232" ], 
  [ "\033[2XIrredundantGeneratingSubset\033[102X", "11.7-3", [ 11, 7, 3 ], 
      591, 176, "irredundantgeneratingsubset", "X7F88DA9487720D2B" ], 
  [ "\033[2XMinimalSemigroupGeneratingSet\033[102X", "11.7-4", [ 11, 7, 4 ], 
      658, 177, "minimalsemigroupgeneratingset", "X8409DBED7996D495" ], 
  [ "\033[2XMinimalMonoidGeneratingSet\033[102X", "11.7-4", [ 11, 7, 4 ], 
      658, 177, "minimalmonoidgeneratingset", "X8409DBED7996D495" ], 
  [ "\033[2XMinimalInverseSemigroupGeneratingSet\033[102X", "11.7-4", 
      [ 11, 7, 4 ], 658, 177, "minimalinversesemigroupgeneratingset", 
      "X8409DBED7996D495" ], 
  [ "\033[2XMinimalInverseMonoidGeneratingSet\033[102X", "11.7-4", 
      [ 11, 7, 4 ], 658, 177, "minimalinversemonoidgeneratingset", 
      "X8409DBED7996D495" ], 
  [ "\033[2XGeneratorsSmallest\033[102X for a semigroup", "11.7-5", 
      [ 11, 7, 5 ], 704, 178, "generatorssmallest for a semigroup", 
      "X82B02F0887AD1B78" ], 
  [ "\033[2XIndecomposableElements\033[102X", "11.7-6", [ 11, 7, 6 ], 762, 
      179, "indecomposableelements", "X7B4CD8937858A895" ], 
  [ "\033[2XMinimalIdeal\033[102X", "11.8-1", [ 11, 8, 1 ], 804, 180, 
      "minimalideal", "X7BC68589879C3BE9" ], 
  [ "\033[2XRepresentativeOfMinimalIdeal\033[102X", "11.8-2", [ 11, 8, 2 ], 
      841, 180, "representativeofminimalideal", "X7CA6744182D07C5B" ], 
  [ "\033[2XRepresentativeOfMinimalDClass\033[102X", "11.8-2", [ 11, 8, 2 ], 
      841, 180, "representativeofminimaldclass", "X7CA6744182D07C5B" ], 
  [ "\033[2XMultiplicativeZero\033[102X", "11.8-3", [ 11, 8, 3 ], 880, 181, 
      "multiplicativezero", "X7B39F93C8136D642" ], 
  [ "\033[2XUnderlyingSemigroupOfSemigroupWithAdjoinedZero\033[102X", 
      "11.8-4", [ 11, 8, 4 ], 917, 181, 
      "underlyingsemigroupofsemigroupwithadjoinedzero", "X7CD6F5CB83B030B6" ],
  [ "\033[2XGroupOfUnits\033[102X", "11.9-1", [ 11, 9, 1 ], 955, 182, 
      "groupofunits", "X811AEDD88280C277" ], 
  [ "\033[2XIdempotents\033[102X", "11.10-1", [ 11, 10, 1 ], 1007, 183, 
      "idempotents", "X7C651C9C78398FFF" ], 
  [ "\033[2XNrIdempotents\033[102X", "11.10-2", [ 11, 10, 2 ], 1071, 184, 
      "nridempotents", "X7CFC4DB387452320" ], 
  [ "\033[2XIdempotentGeneratedSubsemigroup\033[102X", "11.10-3", 
      [ 11, 10, 3 ], 1122, 185, "idempotentgeneratedsubsemigroup", 
      "X83970D028143B79B" ], 
  [ "\033[2XMaximalSubsemigroups\033[102X for a finite semigroup", "11.11-1", 
      [ 11, 11, 1 ], 1211, 186, "maximalsubsemigroups for a finite semigroup",
      "X860A10E387C19150" ], 
  [ "\033[2XMaximalSubsemigroups\033[102X for a finite semigroup and a record"
        , "11.11-1", [ 11, 11, 1 ], 1211, 186, 
      "maximalsubsemigroups for a finite semigroup and a record", 
      "X860A10E387C19150" ], 
  [ "\033[2XNrMaximalSubsemigroups\033[102X", "11.11-2", [ 11, 11, 2 ], 1299, 
      188, "nrmaximalsubsemigroups", "X7A52B4117BCEF379" ], 
  [ "\033[2XIsMaximalSubsemigroup\033[102X", "11.11-3", [ 11, 11, 3 ], 1336, 
      188, "ismaximalsubsemigroup", "X82D74C2478A49FD5" ], 
  [ "\033[2XComponentRepsOfTransformationSemigroup\033[102X", "11.12-1", 
      [ 11, 12, 1 ], 1370, 189, "componentrepsoftransformationsemigroup", 
      "X8065DBC48722B085" ], 
  [ "\033[2XComponentsOfTransformationSemigroup\033[102X", "11.12-2", 
      [ 11, 12, 2 ], 1390, 189, "componentsoftransformationsemigroup", 
      "X8706A72A7F3EE532" ], 
  [ "\033[2XCyclesOfTransformationSemigroup\033[102X", "11.12-3", 
      [ 11, 12, 3 ], 1407, 190, "cyclesoftransformationsemigroup", 
      "X7AA697B186301F54" ], 
  [ 
      "\033[2XDigraphOfAction\033[102X for a transformation semigroup, list, and \
action", "11.12-4", [ 11, 12, 4 ], 1424, 190, 
      "digraphofaction for a transformation semigroup list and action", 
      "X8089CF7182AD1925" ], 
  [ "\033[2XDigraphOfActionOnPoints\033[102X for a transformation semigroup", 
      "11.12-5", [ 11, 12, 5 ], 1468, 191, 
      "digraphofactiononpoints for a transformation semigroup", 
      "X7B5ACD5C7E7612A2" ], 
  [ 
      "\033[2XDigraphOfActionOnPoints\033[102X for a transformation semigroup and\
 an integer", "11.12-5", [ 11, 12, 5 ], 1468, 191, 
      "digraphofactiononpoints for a transformation semigroup and an integer",
      "X7B5ACD5C7E7612A2" ], 
  [ 
      "\033[2XFixedPointsOfTransformationSemigroup\033[102X for a transformation \
semigroup", "11.12-6", [ 11, 12, 6 ], 1504, 191, 
      "fixedpointsoftransformationsemigroup for a transformation semigroup", 
      "X7C6D8689819AEEE2" ], 
  [ "\033[2XIsTransitive\033[102X for a transformation semigroup and a set", 
      "11.12-7", [ 11, 12, 7 ], 1522, 192, 
      "istransitive for a transformation semigroup and a set", 
      "X83DA161F875F63B1" ], 
  [ 
      "\033[2XIsTransitive\033[102X for a transformation semigroup and a pos int"
        , "11.12-7", [ 11, 12, 7 ], 1522, 192, 
      "istransitive for a transformation semigroup and a pos int", 
      "X83DA161F875F63B1" ], 
  [ "\033[2XSmallestElementSemigroup\033[102X", "11.12-8", [ 11, 12, 8 ], 
      1553, 192, "smallestelementsemigroup", "X7C65202187A9C9F5" ], 
  [ "\033[2XLargestElementSemigroup\033[102X", "11.12-8", [ 11, 12, 8 ], 
      1553, 192, "largestelementsemigroup", "X7C65202187A9C9F5" ], 
  [ "\033[2XCanonicalTransformation\033[102X", "11.12-9", [ 11, 12, 9 ], 
      1579, 192, "canonicaltransformation", "X84792D3D804413CD" ], 
  [ 
      "\033[2XIsConnectedTransformationSemigroup\033[102X for a transformation se\
migroup", "11.12-10", [ 11, 12, 10 ], 1608, 193, 
      "isconnectedtransformationsemigroup for a transformation semigroup", 
      "X82ABE03F80B8CA2B" ], 
  [ "\033[2XComponentRepsOfPartialPermSemigroup\033[102X", "11.13-1", 
      [ 11, 13, 1 ], 1631, 193, "componentrepsofpartialpermsemigroup", 
      "X7BC22CB47C7B5EBB" ], 
  [ "\033[2XComponentsOfPartialPermSemigroup\033[102X", "11.13-2", 
      [ 11, 13, 2 ], 1653, 194, "componentsofpartialpermsemigroup", 
      "X8464BC397ACBF2F1" ], 
  [ "\033[2XCyclesOfPartialPerm\033[102X", "11.13-3", [ 11, 13, 3 ], 1673, 
      194, "cyclesofpartialperm", "X832937BB87EB4349" ], 
  [ "\033[2XCyclesOfPartialPermSemigroup\033[102X", "11.13-4", [ 11, 13, 4 ], 
      1689, 194, "cyclesofpartialpermsemigroup", "X7F7A5E5E8355E230" ], 
  [ "\033[2XRZMSDigraph\033[102X", "11.14-1", [ 11, 14, 1 ], 1711, 195, 
      "rzmsdigraph", "X7EA1B28785B9D38C" ], 
  [ "\033[2XRZMSConnectedComponents\033[102X", "11.14-2", [ 11, 14, 2 ], 
      1739, 195, "rzmsconnectedcomponents", "X79B062917AB34542" ], 
  [ "\033[2XNaturalLeqInverseSemigroup\033[102X", "11.15-1", [ 11, 15, 1 ], 
      1776, 196, "naturalleqinversesemigroup", "X7A75A6C486F1DC71" ], 
  [ "\033[2XJoinIrreducibleDClasses\033[102X", "11.15-2", [ 11, 15, 2 ], 
      1797, 196, "joinirreducibledclasses", "X85CDF93C805AF82A" ], 
  [ "\033[2XMajorantClosure\033[102X", "11.15-3", [ 11, 15, 3 ], 1831, 196, 
      "majorantclosure", "X801CC67E80898608" ], 
  [ "\033[2XMinorants\033[102X", "11.15-4", [ 11, 15, 4 ], 1878, 197, 
      "minorants", "X84A3DB79816374DB" ], 
  [ "\033[2XPrimitiveIdempotents\033[102X", "11.15-5", [ 11, 15, 5 ], 1906, 
      198, "primitiveidempotents", "X80C0C6C37C4A2ABD" ], 
  [ "\033[2XRightCosetsOfInverseSemigroup\033[102X", "11.15-6", 
      [ 11, 15, 6 ], 1938, 198, "rightcosetsofinversesemigroup", 
      "X7B5D89A585F8B5EA" ], 
  [ "\033[2XSameMinorantsSubgroup\033[102X", "11.15-7", [ 11, 15, 7 ], 1969, 
      199, "sameminorantssubgroup", "X83298E9E86A343FF" ], 
  [ "\033[2XSmallerDegreePartialPermRepresentation\033[102X", "11.15-8", 
      [ 11, 15, 8 ], 2009, 199, "smallerdegreepartialpermrepresentation", 
      "X786D4E397EA4445D" ], 
  [ "\033[2XVagnerPrestonRepresentation\033[102X", "11.15-9", [ 11, 15, 9 ], 
      2045, 200, "vagnerprestonrepresentation", "X7BC49C3487384364" ], 
  [ "\033[2XCharacterTableOfInverseSemigroup\033[102X", "11.15-10", 
      [ 11, 15, 10 ], 2092, 201, "charactertableofinversesemigroup", 
      "X7C83DF9A7973AF6D" ], 
  [ "\033[2XEUnitaryInverseCover\033[102X", "11.15-11", [ 11, 15, 11 ], 2147, 
      202, "eunitaryinversecover", "X8383E6747D02D975" ], 
  [ "\033[2XNambooripadLeqRegularSemigroup\033[102X", "11.16-1", 
      [ 11, 16, 1 ], 2175, 202, "nambooripadleqregularsemigroup", 
      "X7A7EB0DA8398886E" ], 
  [ "\033[2XNambooripadPartialOrder\033[102X", "11.16-2", [ 11, 16, 2 ], 
      2203, 203, "nambooripadpartialorder", "X7928C7D37A9BCBD5" ], 
  [ "\033[2XIsBand\033[102X", "12.1-1", [ 12, 1, 1 ], 13, 204, "isband", 
      "X7C8DB14587D1B55A" ], 
  [ "\033[2XIsBlockGroup\033[102X", "12.1-2", [ 12, 1, 2 ], 47, 205, 
      "isblockgroup", "X79659C467C8A7EBD" ], 
  [ "\033[2XIsCommutativeSemigroup\033[102X", "12.1-3", [ 12, 1, 3 ], 89, 
      205, "iscommutativesemigroup", "X843EFDA4807FDC31" ], 
  [ "\033[2XIsCompletelyRegularSemigroup\033[102X", "12.1-4", [ 12, 1, 4 ], 
      121, 206, "iscompletelyregularsemigroup", "X7AFA23AF819FBF3D" ], 
  [ "\033[2XIsCongruenceFreeSemigroup\033[102X", "12.1-5", [ 12, 1, 5 ], 152, 
      206, "iscongruencefreesemigroup", "X855088F378D8F5E1" ], 
  [ "\033[2XIsSurjectiveSemigroup\033[102X", "12.1-6", [ 12, 1, 6 ], 181, 
      207, "issurjectivesemigroup", "X7C9560A18348AEE3" ], 
  [ "\033[2XIsGroupAsSemigroup\033[102X", "12.1-7", [ 12, 1, 7 ], 215, 207, 
      "isgroupassemigroup", "X852F29E8795FA489" ], 
  [ "\033[2XIsIdempotentGenerated\033[102X", "12.1-8", [ 12, 1, 8 ], 243, 
      208, "isidempotentgenerated", "X835484C481CF3DDD" ], 
  [ "\033[2XIsSemiband\033[102X", "12.1-8", [ 12, 1, 8 ], 243, 208, 
      "issemiband", "X835484C481CF3DDD" ], 
  [ "\033[2XIsLeftSimple\033[102X", "12.1-9", [ 12, 1, 9 ], 270, 208, 
      "isleftsimple", "X8206D2B0809952EF" ], 
  [ "\033[2XIsRightSimple\033[102X", "12.1-9", [ 12, 1, 9 ], 270, 208, 
      "isrightsimple", "X8206D2B0809952EF" ], 
  [ "\033[2XIsLeftZeroSemigroup\033[102X", "12.1-10", [ 12, 1, 10 ], 316, 
      209, "isleftzerosemigroup", "X7E9261367C8C52C0" ], 
  [ "\033[2XIsMonogenicSemigroup\033[102X", "12.1-11", [ 12, 1, 11 ], 338, 
      210, "ismonogenicsemigroup", "X79D46BAB7E327AD1" ], 
  [ "\033[2XIsMonogenicMonoid\033[102X", "12.1-12", [ 12, 1, 12 ], 374, 210, 
      "ismonogenicmonoid", "X790DC9F4798DBB09" ], 
  [ "\033[2XIsMonoidAsSemigroup\033[102X", "12.1-13", [ 12, 1, 13 ], 398, 
      211, "ismonoidassemigroup", "X7E4DEECD7CD9886D" ], 
  [ "\033[2XIsOrthodoxSemigroup\033[102X", "12.1-14", [ 12, 1, 14 ], 440, 
      211, "isorthodoxsemigroup", "X7935C476808C8773" ], 
  [ "\033[2XIsRectangularBand\033[102X", "12.1-15", [ 12, 1, 15 ], 467, 212, 
      "isrectangularband", "X7E9B674D781B072C" ], 
  [ "\033[2XIsRectangularGroup\033[102X", "12.1-16", [ 12, 1, 16 ], 497, 212, 
      "isrectangulargroup", "X80E682BB78547F41" ], 
  [ "\033[2XIsRegularSemigroup\033[102X", "12.1-17", [ 12, 1, 17 ], 522, 213, 
      "isregularsemigroup", "X7C4663827C5ACEF1" ], 
  [ "\033[2XIsRightZeroSemigroup\033[102X", "12.1-18", [ 12, 1, 18 ], 545, 
      213, "isrightzerosemigroup", "X7CB099958658F979" ], 
  [ "\033[2XIsRTrivial\033[102X", "12.1-19", [ 12, 1, 19 ], 567, 213, 
      "isrtrivial", "X8752642C7F7E512B" ], 
  [ "\033[2XIsLTrivial\033[102X", "12.1-19", [ 12, 1, 19 ], 567, 213, 
      "isltrivial", "X8752642C7F7E512B" ], 
  [ "\033[2XIsHTrivial\033[102X", "12.1-19", [ 12, 1, 19 ], 567, 213, 
      "ishtrivial", "X8752642C7F7E512B" ], 
  [ "\033[2XIsDTrivial\033[102X", "12.1-19", [ 12, 1, 19 ], 567, 213, 
      "isdtrivial", "X8752642C7F7E512B" ], 
  [ "\033[2XIsAperiodicSemigroup\033[102X", "12.1-19", [ 12, 1, 19 ], 567, 
      213, "isaperiodicsemigroup", "X8752642C7F7E512B" ], 
  [ "\033[2XIsCombinatorialSemigroup\033[102X", "12.1-19", [ 12, 1, 19 ], 
      567, 213, "iscombinatorialsemigroup", "X8752642C7F7E512B" ], 
  [ "\033[2XIsSemigroupWithAdjoinedZero\033[102X", "12.1-20", [ 12, 1, 20 ], 
      606, 214, "issemigroupwithadjoinedzero", "X7826DDF8808EC4D9" ], 
  [ "\033[2XIsSemilattice\033[102X", "12.1-21", [ 12, 1, 21 ], 633, 214, 
      "issemilattice", "X833D24AE7C900B85" ], 
  [ "\033[2XIsSimpleSemigroup\033[102X", "12.1-22", [ 12, 1, 22 ], 661, 215, 
      "issimplesemigroup", "X836F4692839F4874" ], 
  [ "\033[2XIsCompletelySimpleSemigroup\033[102X", "12.1-22", [ 12, 1, 22 ], 
      661, 215, "iscompletelysimplesemigroup", "X836F4692839F4874" ], 
  [ "\033[2XIsSynchronizingSemigroup\033[102X for a transformation semigroup",
      "12.1-23", [ 12, 1, 23 ], 693, 215, 
      "issynchronizingsemigroup for a transformation semigroup", 
      "X7EEC85187D315398" ], 
  [ "\033[2XIsUnitRegularMonoid\033[102X", "12.1-24", [ 12, 1, 24 ], 722, 
      216, "isunitregularmonoid", "X80F9A4B87997839F" ], 
  [ "\033[2XIsZeroGroup\033[102X", "12.1-25", [ 12, 1, 25 ], 735, 216, 
      "iszerogroup", "X85F7E5CD86F0643B" ], 
  [ "\033[2XIsZeroRectangularBand\033[102X", "12.1-26", [ 12, 1, 26 ], 760, 
      216, "iszerorectangularband", "X7C6787D07B95B450" ], 
  [ "\033[2XIsZeroSemigroup\033[102X", "12.1-27", [ 12, 1, 27 ], 792, 217, 
      "iszerosemigroup", "X81A1882181B75CC9" ], 
  [ "\033[2XIsZeroSimpleSemigroup\033[102X", "12.1-28", [ 12, 1, 28 ], 822, 
      217, "iszerosimplesemigroup", "X8193A60F839C064E" ], 
  [ "\033[2XIsSelfDualSemigroup\033[102X", "12.1-29", [ 12, 1, 29 ], 854, 
      218, "isselfdualsemigroup", "X846FC6247EE31607" ], 
  [ "\033[2XIsCliffordSemigroup\033[102X", "12.2-1", [ 12, 2, 1 ], 889, 218, 
      "iscliffordsemigroup", "X81DE11987BB81017" ], 
  [ "\033[2XIsBrandtSemigroup\033[102X", "12.2-2", [ 12, 2, 2 ], 912, 219, 
      "isbrandtsemigroup", "X7EFDBA687DCDA6FA" ], 
  [ "\033[2XIsEUnitaryInverseSemigroup\033[102X", "12.2-3", [ 12, 2, 3 ], 
      946, 219, "iseunitaryinversesemigroup", "X843EA0E37C968BBF" ], 
  [ "\033[2XIsFInverseSemigroup\033[102X", "12.2-4", [ 12, 2, 4 ], 993, 220, 
      "isfinversesemigroup", "X86F942F48158DAC3" ], 
  [ "\033[2XIsFInverseMonoid\033[102X", "12.2-5", [ 12, 2, 5 ], 1021, 221, 
      "isfinversemonoid", "X864F1906858BB8CF" ], 
  [ "\033[2XIsFactorisableInverseMonoid\033[102X", "12.2-6", [ 12, 2, 6 ], 
      1030, 221, "isfactorisableinversemonoid", "X8440E22681BD1EE6" ], 
  [ "\033[2XIsJoinIrreducible\033[102X", "12.2-7", [ 12, 2, 7 ], 1056, 221, 
      "isjoinirreducible", "X817F9F3984FC842C" ], 
  [ "\033[2XIsMajorantlyClosed\033[102X", "12.2-8", [ 12, 2, 8 ], 1105, 222, 
      "ismajorantlyclosed", "X81E6D24F852A7937" ], 
  [ "\033[2XIsMonogenicInverseSemigroup\033[102X", "12.2-9", [ 12, 2, 9 ], 
      1144, 223, "ismonogenicinversesemigroup", "X7D2641AD830DEC1C" ], 
  [ "\033[2XIsMonogenicInverseMonoid\033[102X", "12.2-10", [ 12, 2, 10 ], 
      1172, 223, "ismonogenicinversemonoid", "X7EDFA6CA86645DBE" ], 
  [ "\033[2XIsSemigroupCongruence\033[102X", "13.1-1", [ 13, 1, 1 ], 46, 225, 
      "issemigroupcongruence", "X78E34B737F0E009F" ], 
  [ "\033[2XIsLeftSemigroupCongruence\033[102X", "13.1-2", [ 13, 1, 2 ], 76, 
      226, "isleftsemigroupcongruence", "X7E909A78830D42A6" ], 
  [ "\033[2XIsRightSemigroupCongruence\033[102X", "13.1-3", [ 13, 1, 3 ], 
      106, 227, "isrightsemigroupcongruence", "X839EEA797B1CCB67" ], 
  [ "\033[2XSemigroupCongruence\033[102X", "13.2-1", [ 13, 2, 1 ], 139, 227, 
      "semigroupcongruence", "X85CE56AC84FA5D33" ], 
  [ "\033[2XLeftSemigroupCongruence\033[102X", "13.2-2", [ 13, 2, 2 ], 168, 
      228, "leftsemigroupcongruence", "X8757DB087BE7E55A" ], 
  [ "\033[2XRightSemigroupCongruence\033[102X", "13.2-3", [ 13, 2, 3 ], 198, 
      228, "rightsemigroupcongruence", "X7D01176B788FEE60" ], 
  [ "\033[2XIsCongruenceClass\033[102X", "13.3-1", [ 13, 3, 1 ], 239, 229, 
      "iscongruenceclass", "X7B1F67A97E23E6A4" ], 
  [ "\033[2XIsLeftCongruenceClass\033[102X", "13.3-2", [ 13, 3, 2 ], 260, 
      229, "isleftcongruenceclass", "X7C803E8C84E81A0B" ], 
  [ "\033[2XIsRightCongruenceClass\033[102X", "13.3-3", [ 13, 3, 3 ], 282, 
      230, "isrightcongruenceclass", "X7D2F11C28470BC5A" ], 
  [ "\033[2XNonTrivialEquivalenceClasses\033[102X", "13.3-4", [ 13, 3, 4 ], 
      304, 230, "nontrivialequivalenceclasses", "X86C05F31797C1D6D" ], 
  [ 
      "\033[2XEquivalenceRelationLookup\033[102X for an equivalence relation over\
 a finite semigroup", "13.3-5", [ 13, 3, 5 ], 332, 230, 
      "equivalencerelationlookup for an equivalence relation over a finite sem\
igroup", "X7DA4BABC7891A7F1" ], 
  [ 
      "\033[2XEquivalenceRelationCanonicalLookup\033[102X for an equivalence rela\
tion over a finite semigroup", "13.3-6", [ 13, 3, 6 ], 370, 231, 
      "equivalencerelationcanonicallookup for an equivalence relation over a f\
inite semigroup", "X8022B7898553F624" ], 
  [ "\033[2XEquivalenceRelationCanonicalPartition\033[102X", "13.3-7", 
      [ 13, 3, 7 ], 405, 232, "equivalencerelationcanonicalpartition", 
      "X842D567F79648FEB" ], 
  [ "\033[2XOnLeftCongruenceClasses\033[102X", "13.3-8", [ 13, 3, 8 ], 434, 
      232, "onleftcongruenceclasses", "X85400841879E41A5" ], 
  [ "\033[2XOnRightCongruenceClasses\033[102X", "13.3-9", [ 13, 3, 9 ], 468, 
      233, "onrightcongruenceclasses", "X7D66F8607B4F0D8F" ], 
  [ "\033[2XCongruencesOfSemigroup\033[102X for a semigroup", "13.4-1", 
      [ 13, 4, 1 ], 505, 233, "congruencesofsemigroup for a semigroup", 
      "X7E8D5BA27CB5A4DA" ], 
  [ "\033[2XLeftCongruencesOfSemigroup\033[102X for a semigroup", "13.4-1", 
      [ 13, 4, 1 ], 505, 233, "leftcongruencesofsemigroup for a semigroup", 
      "X7E8D5BA27CB5A4DA" ], 
  [ "\033[2XRightCongruencesOfSemigroup\033[102X for a semigroup", "13.4-1", 
      [ 13, 4, 1 ], 505, 233, "rightcongruencesofsemigroup for a semigroup", 
      "X7E8D5BA27CB5A4DA" ], 
  [ 
      "\033[2XCongruencesOfSemigroup\033[102X for a semigroup and a multiplicativ\
e element collection", "13.4-1", [ 13, 4, 1 ], 505, 233, 
      "congruencesofsemigroup for a semigroup and a multiplicative element col\
lection", "X7E8D5BA27CB5A4DA" ], 
  [ 
      "\033[2XLeftCongruencesOfSemigroup\033[102X for a semigroup and a multiplic\
ative element collection", "13.4-1", [ 13, 4, 1 ], 505, 233, 
      "leftcongruencesofsemigroup for a semigroup and a multiplicative element\
 collection", "X7E8D5BA27CB5A4DA" ], 
  [ 
      "\033[2XRightCongruencesOfSemigroup\033[102X for a semigroup and a multipli\
cative element collection", "13.4-1", [ 13, 4, 1 ], 505, 233, 
      "rightcongruencesofsemigroup for a semigroup and a multiplicative elemen\
t collection", "X7E8D5BA27CB5A4DA" ], 
  [ "\033[2XMinimalCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalcongruencesofsemigroup for a semigroup", "X7838738987B2DB41" ], 
  [ "\033[2XMinimalLeftCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalleftcongruencesofsemigroup for a semigroup", 
      "X7838738987B2DB41" ], 
  [ "\033[2XMinimalRightCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalrightcongruencesofsemigroup for a semigroup", 
      "X7838738987B2DB41" ], 
  [ 
      "\033[2XMinimalCongruencesOfSemigroup\033[102X for a semigroup and a multip\
licative element collection", "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalcongruencesofsemigroup for a semigroup and a multiplicative elem\
ent collection", "X7838738987B2DB41" ], 
  [ 
      "\033[2XMinimalLeftCongruencesOfSemigroup\033[102X for a semigroup and a mu\
ltiplicative element collection", "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalleftcongruencesofsemigroup for a semigroup and a multiplicative \
element collection", "X7838738987B2DB41" ], 
  [ 
      "\033[2XMinimalRightCongruencesOfSemigroup\033[102X for a semigroup and a m\
ultiplicative element collection", "13.4-2", [ 13, 4, 2 ], 538, 234, 
      "minimalrightcongruencesofsemigroup for a semigroup and a multiplicative\
 element collection", "X7838738987B2DB41" ], 
  [ "\033[2XPrincipalCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalcongruencesofsemigroup for a semigroup", "X7986F3597F9DF7AF" ]
    , 
  [ "\033[2XPrincipalLeftCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalleftcongruencesofsemigroup for a semigroup", 
      "X7986F3597F9DF7AF" ], 
  [ "\033[2XPrincipalRightCongruencesOfSemigroup\033[102X for a semigroup", 
      "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalrightcongruencesofsemigroup for a semigroup", 
      "X7986F3597F9DF7AF" ], 
  [ 
      "\033[2XPrincipalCongruencesOfSemigroup\033[102X for a semigroup and a mult\
iplicative element collection", "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalcongruencesofsemigroup for a semigroup and a multiplicative el\
ement collection", "X7986F3597F9DF7AF" ], 
  [ 
      "\033[2XPrincipalLeftCongruencesOfSemigroup\033[102X for a semigroup and a \
multiplicative element collection", "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalleftcongruencesofsemigroup for a semigroup and a multiplicativ\
e element collection", "X7986F3597F9DF7AF" ], 
  [ 
      "\033[2XPrincipalRightCongruencesOfSemigroup\033[102X for a semigroup and a\
 multiplicative element collection", "13.4-3", [ 13, 4, 3 ], 582, 234, 
      "principalrightcongruencesofsemigroup for a semigroup and a multiplicati\
ve element collection", "X7986F3597F9DF7AF" ], 
  [ "\033[2XIsCongruencePoset\033[102X", "13.4-4", [ 13, 4, 4 ], 627, 235, 
      "iscongruenceposet", "X8195D6F47EE52806" ], 
  [ "\033[2XIsCayleyDigraphOfCongruences\033[102X", "13.4-4", [ 13, 4, 4 ], 
      627, 235, "iscayleydigraphofcongruences", "X8195D6F47EE52806" ], 
  [ "\033[2XLatticeOfCongruences\033[102X for a semigroup", "13.4-5", 
      [ 13, 4, 5 ], 702, 236, "latticeofcongruences for a semigroup", 
      "X86C9C5BA7FE93F4C" ], 
  [ "\033[2XLatticeOfLeftCongruences\033[102X for a semigroup", "13.4-5", 
      [ 13, 4, 5 ], 702, 236, "latticeofleftcongruences for a semigroup", 
      "X86C9C5BA7FE93F4C" ], 
  [ "\033[2XLatticeOfRightCongruences\033[102X for a semigroup", "13.4-5", 
      [ 13, 4, 5 ], 702, 236, "latticeofrightcongruences for a semigroup", 
      "X86C9C5BA7FE93F4C" ], 
  [ 
      "\033[2XLatticeOfCongruences\033[102X for a semigroup and a list or collect\
ion", "13.4-5", [ 13, 4, 5 ], 702, 236, 
      "latticeofcongruences for a semigroup and a list or collection", 
      "X86C9C5BA7FE93F4C" ], 
  [ 
      "\033[2XLatticeOfLeftCongruences\033[102X for a semigroup and a list or col\
lection", "13.4-5", [ 13, 4, 5 ], 702, 236, 
      "latticeofleftcongruences for a semigroup and a list or collection", 
      "X86C9C5BA7FE93F4C" ], 
  [ 
      "\033[2XLatticeOfRightCongruences\033[102X for a semigroup and a list or co\
llection", "13.4-5", [ 13, 4, 5 ], 702, 236, 
      "latticeofrightcongruences for a semigroup and a list or collection", 
      "X86C9C5BA7FE93F4C" ], 
  [ "\033[2XCayleyDigraphOfCongruences\033[102X for a semigroup", "13.4-6", 
      [ 13, 4, 6 ], 749, 237, "cayleydigraphofcongruences for a semigroup", 
      "X784CFDE37A0B4F84" ], 
  [ "\033[2XCayleyDigraphOfLeftCongruences\033[102X for a semigroup", 
      "13.4-6", [ 13, 4, 6 ], 749, 237, 
      "cayleydigraphofleftcongruences for a semigroup", "X784CFDE37A0B4F84" ],
  [ "\033[2XCayleyDigraphOfRightCongruences\033[102X for a semigroup", 
      "13.4-6", [ 13, 4, 6 ], 749, 237, 
      "cayleydigraphofrightcongruences for a semigroup", "X784CFDE37A0B4F84" ]
    , 
  [ 
      "\033[2XCayleyDigraphOfCongruences\033[102X for a semigroup and a list or c\
ollection", "13.4-6", [ 13, 4, 6 ], 749, 237, 
      "cayleydigraphofcongruences for a semigroup and a list or collection", 
      "X784CFDE37A0B4F84" ], 
  [ 
      "\033[2XCayleyDigraphOfLeftCongruences\033[102X for a semigroup and a list \
or collection", "13.4-6", [ 13, 4, 6 ], 749, 237, 
      "cayleydigraphofleftcongruences for a semigroup and a list or collection\
", "X784CFDE37A0B4F84" ], 
  [ 
      "\033[2XCayleyDigraphOfRightCongruences\033[102X for a semigroup and a list\
 or collection", "13.4-6", [ 13, 4, 6 ], 749, 237, 
      "cayleydigraphofrightcongruences for a semigroup and a list or collectio\
n", "X784CFDE37A0B4F84" ], 
  [ "\033[2XPosetOfPrincipalCongruences\033[102X for a semigroup", "13.4-7", 
      [ 13, 4, 7 ], 803, 238, "posetofprincipalcongruences for a semigroup", 
      "X83ACF2C0789F621B" ], 
  [ "\033[2XPosetOfPrincipalLeftCongruences\033[102X for a semigroup", 
      "13.4-7", [ 13, 4, 7 ], 803, 238, 
      "posetofprincipalleftcongruences for a semigroup", "X83ACF2C0789F621B" ]
    , [ "\033[2XPosetOfPrincipalRightCongruences\033[102X for a semigroup", 
      "13.4-7", [ 13, 4, 7 ], 803, 238, 
      "posetofprincipalrightcongruences for a semigroup", "X83ACF2C0789F621B" 
     ], 
  [ 
      "\033[2XPosetOfPrincipalCongruences\033[102X for a semigroup and a multipli\
cative element collection", "13.4-7", [ 13, 4, 7 ], 803, 238, 
      "posetofprincipalcongruences for a semigroup and a multiplicative elemen\
t collection", "X83ACF2C0789F621B" ], 
  [ 
      "\033[2XPosetOfPrincipalLeftCongruences\033[102X for a semigroup and a mult\
iplicative element collection", "13.4-7", [ 13, 4, 7 ], 803, 238, 
      "posetofprincipalleftcongruences for a semigroup and a multiplicative el\
ement collection", "X83ACF2C0789F621B" ], 
  [ 
      "\033[2XPosetOfPrincipalRightCongruences\033[102X for a semigroup and a mul\
tiplicative element collection", "13.4-7", [ 13, 4, 7 ], 803, 238, 
      "posetofprincipalrightcongruences for a semigroup and a multiplicative e\
lement collection", "X83ACF2C0789F621B" ], 
  [ "\033[2XCongruencesOfPoset\033[102X", "13.4-8", [ 13, 4, 8 ], 846, 239, 
      "congruencesofposet", "X7B2E2CEE8626FBC3" ], 
  [ "\033[2XUnderlyingSemigroupOfCongruencePoset\033[102X", "13.4-9", 
      [ 13, 4, 9 ], 876, 239, "underlyingsemigroupofcongruenceposet", 
      "X830F42B582A2FAA0" ], 
  [ "\033[2XPosetOfCongruences\033[102X", "13.4-10", [ 13, 4, 10 ], 894, 240, 
      "posetofcongruences", "X78A91138818A4FAE" ], 
  [ "\033[2XJoinSemilatticeOfCongruences\033[102X", "13.4-11", [ 13, 4, 11 ], 
      921, 240, "joinsemilatticeofcongruences", "X87CF25A178B7F1AF" ], 
  [ "\033[2XGeneratingCongruencesOfJoinSemilattice\033[102X", "13.4-12", 
      [ 13, 4, 12 ], 954, 241, "generatingcongruencesofjoinsemilattice", 
      "X7ECE04727B6A58A3" ], 
  [ "\033[2XMinimalCongruences\033[102X for a list or collection", "13.4-13", 
      [ 13, 4, 13 ], 978, 241, "minimalcongruences for a list or collection", 
      "X780E2B3F8509CE32" ], 
  [ "\033[2XMinimalCongruences\033[102X for a congruence poset", "13.4-13", 
      [ 13, 4, 13 ], 978, 241, "minimalcongruences for a congruence poset", 
      "X780E2B3F8509CE32" ], 
  [ 
      "\033[2XNumberOfRightCongruences\033[102X for a semigroup, positive integer\
, and list or collection", "13.4-14", [ 13, 4, 14 ], 1019, 242, 
      "numberofrightcongruences for a semigroup positive integer and list or c\
ollection", "X7AE16F237E862934" ], 
  [ 
      "\033[2XNumberOfLeftCongruences\033[102X for a semigroup, positive integer,\
 and list or collection", "13.4-14", [ 13, 4, 14 ], 1019, 242, 
      "numberofleftcongruences for a semigroup positive integer and list or co\
llection", "X7AE16F237E862934" ], 
  [ 
      "\033[2XNumberOfRightCongruences\033[102X for a semigroup, and a positive i\
nteger", "13.4-14", [ 13, 4, 14 ], 1019, 242, 
      "numberofrightcongruences for a semigroup and a positive integer", 
      "X7AE16F237E862934" ], 
  [ 
      "\033[2XNumberOfLeftCongruences\033[102X for a semigroup, and a positive in\
teger", "13.4-14", [ 13, 4, 14 ], 1019, 242, 
      "numberofleftcongruences for a semigroup and a positive integer", 
      "X7AE16F237E862934" ], 
  [ "\033[2XNumberOfRightCongruences\033[102X for a semigroup", "13.4-14", 
      [ 13, 4, 14 ], 1019, 242, "numberofrightcongruences for a semigroup", 
      "X7AE16F237E862934" ], 
  [ "\033[2XNumberOfLeftCongruences\033[102X for a semigroup", "13.4-14", 
      [ 13, 4, 14 ], 1019, 242, "numberofleftcongruences for a semigroup", 
      "X7AE16F237E862934" ], 
  [ 
      "\033[2XIteratorOfRightCongruences\033[102X for a semigroup, positive integ\
er, and list or collection", "13.4-15", [ 13, 4, 15 ], 1064, 243, 
      "iteratorofrightcongruences for a semigroup positive integer and list or\
 collection", "X807A5FCC87661FA4" ], 
  [ 
      "\033[2XIteratorOfLeftCongruences\033[102X for a semigroup, positive intege\
r, and list or collection", "13.4-15", [ 13, 4, 15 ], 1064, 243, 
      "iteratorofleftcongruences for a semigroup positive integer and list or \
collection", "X807A5FCC87661FA4" ], 
  [ 
      "\033[2XIteratorOfRightCongruences\033[102X for a semigroup, and a positive\
 integer", "13.4-15", [ 13, 4, 15 ], 1064, 243, 
      "iteratorofrightcongruences for a semigroup and a positive integer", 
      "X807A5FCC87661FA4" ], 
  [ 
      "\033[2XIteratorOfLeftCongruences\033[102X for a semigroup, and a positive \
integer", "13.4-15", [ 13, 4, 15 ], 1064, 243, 
      "iteratorofleftcongruences for a semigroup and a positive integer", 
      "X807A5FCC87661FA4" ], 
  [ "\033[2XIteratorOfRightCongruences\033[102X for a semigroup", "13.4-15", 
      [ 13, 4, 15 ], 1064, 243, "iteratorofrightcongruences for a semigroup", 
      "X807A5FCC87661FA4" ], 
  [ "\033[2XIteratorOfLeftCongruences\033[102X for a semigroup", "13.4-15", 
      [ 13, 4, 15 ], 1064, 243, "iteratorofleftcongruences for a semigroup", 
      "X807A5FCC87661FA4" ], 
  [ "\033[2XIsSubrelation\033[102X", "13.5-1", [ 13, 5, 1 ], 1123, 244, 
      "issubrelation", "X85075F1D878512F5" ], 
  [ "\033[2XIsSuperrelation\033[102X", "13.5-2", [ 13, 5, 2 ], 1144, 244, 
      "issuperrelation", "X83878AED7A8E75BE" ], 
  [ "\033[2XMeetSemigroupCongruences\033[102X", "13.5-3", [ 13, 5, 3 ], 1167, 
      244, "meetsemigroupcongruences", "X7952A5A5789C6F60" ], 
  [ "\033[2XMeetLeftSemigroupCongruences\033[102X", "13.5-3", [ 13, 5, 3 ], 
      1167, 244, "meetleftsemigroupcongruences", "X7952A5A5789C6F60" ], 
  [ "\033[2XMeetRightSemigroupCongruences\033[102X", "13.5-3", [ 13, 5, 3 ], 
      1167, 244, "meetrightsemigroupcongruences", "X7952A5A5789C6F60" ], 
  [ "\033[2XJoinSemigroupCongruences\033[102X", "13.5-4", [ 13, 5, 4 ], 1188, 
      245, "joinsemigroupcongruences", "X8262D5207DBF3C5B" ], 
  [ "\033[2XJoinLeftSemigroupCongruences\033[102X", "13.5-4", [ 13, 5, 4 ], 
      1188, 245, "joinleftsemigroupcongruences", "X8262D5207DBF3C5B" ], 
  [ "\033[2XJoinRightSemigroupCongruences\033[102X", "13.5-4", [ 13, 5, 4 ], 
      1188, 245, "joinrightsemigroupcongruences", "X8262D5207DBF3C5B" ], 
  [ "\033[2XIsRMSCongruenceByLinkedTriple\033[102X", "13.6-1", [ 13, 6, 1 ], 
      1269, 246, "isrmscongruencebylinkedtriple", "X7F4AFD7F7E163022" ], 
  [ "\033[2XIsRZMSCongruenceByLinkedTriple\033[102X", "13.6-1", [ 13, 6, 1 ], 
      1269, 246, "isrzmscongruencebylinkedtriple", "X7F4AFD7F7E163022" ], 
  [ "\033[2XRMSCongruenceByLinkedTriple\033[102X", "13.6-2", [ 13, 6, 2 ], 
      1300, 247, "rmscongruencebylinkedtriple", "X87A475E4847D3C96" ], 
  [ "\033[2XRZMSCongruenceByLinkedTriple\033[102X", "13.6-2", [ 13, 6, 2 ], 
      1300, 247, "rzmscongruencebylinkedtriple", "X87A475E4847D3C96" ], 
  [ "\033[2XIsRMSCongruenceClassByLinkedTriple\033[102X", "13.6-3", 
      [ 13, 6, 3 ], 1333, 247, "isrmscongruenceclassbylinkedtriple", 
      "X79E4CF7B79B25AE3" ], 
  [ "\033[2XIsRZMSCongruenceClassByLinkedTriple\033[102X", "13.6-3", 
      [ 13, 6, 3 ], 1333, 247, "isrzmscongruenceclassbylinkedtriple", 
      "X79E4CF7B79B25AE3" ], 
  [ "\033[2XRMSCongruenceClassByLinkedTriple\033[102X", "13.6-4", 
      [ 13, 6, 4 ], 1364, 248, "rmscongruenceclassbylinkedtriple", 
      "X7E9AB940868FCC9D" ], 
  [ "\033[2XRZMSCongruenceClassByLinkedTriple\033[102X", "13.6-4", 
      [ 13, 6, 4 ], 1364, 248, "rzmscongruenceclassbylinkedtriple", 
      "X7E9AB940868FCC9D" ], 
  [ "\033[2XIsLinkedTriple\033[102X", "13.6-5", [ 13, 6, 5 ], 1400, 248, 
      "islinkedtriple", "X7B19CACF7A37ADBC" ], 
  [ "\033[2XAsSemigroupCongruenceByGeneratingPairs\033[102X", "13.6-6", 
      [ 13, 6, 6 ], 1422, 249, "assemigroupcongruencebygeneratingpairs", 
      "X7DB7E32E865AD95D" ], 
  [ "\033[2XIsInverseSemigroupCongruenceByKernelTrace\033[102X", "13.7-1", 
      [ 13, 7, 1 ], 1479, 249, "isinversesemigroupcongruencebykerneltrace", 
      "X8546E48E85A2A7E8" ], 
  [ "\033[2XInverseSemigroupCongruenceByKernelTrace\033[102X", "13.7-2", 
      [ 13, 7, 2 ], 1505, 250, "inversesemigroupcongruencebykerneltrace", 
      "X7A588B737CEEB104" ], 
  [ "\033[2XAsInverseSemigroupCongruenceByKernelTrace\033[102X", "13.7-3", 
      [ 13, 7, 3 ], 1537, 250, "asinversesemigroupcongruencebykerneltrace", 
      "X87916D4E854F1F6B" ], 
  [ "\033[2XKernelOfSemigroupCongruence\033[102X", "13.7-4", [ 13, 7, 4 ], 
      1561, 251, "kernelofsemigroupcongruence", "X7D521AFF7876CBC7" ], 
  [ "\033[2XTraceOfSemigroupCongruence\033[102X", "13.7-5", [ 13, 7, 5 ], 
      1583, 251, "traceofsemigroupcongruence", "X80972A5B82D88F89" ], 
  [ "\033[2XIsInverseSemigroupCongruenceClassByKernelTrace\033[102X", 
      "13.7-6", [ 13, 7, 6 ], 1611, 252, 
      "isinversesemigroupcongruenceclassbykerneltrace", "X8049A0E780A7A8D9" ],
  [ "\033[2XMinimumGroupCongruence\033[102X", "13.7-7", [ 13, 7, 7 ], 1635, 
      252, "minimumgroupcongruence", "X857495647F9A9579" ], 
  [ "\033[2XIsCongruenceByWangPair\033[102X", "13.8-1", [ 13, 8, 1 ], 1657, 
      252, "iscongruencebywangpair", "X7AEB7DA27E76145B" ], 
  [ "\033[2XCongruenceByWangPair\033[102X", "13.8-2", [ 13, 8, 2 ], 1692, 
      253, "congruencebywangpair", "X7F30D10F7BEEEBB9" ], 
  [ "\033[2XAsCongruenceByWangPair\033[102X", "13.8-3", [ 13, 8, 3 ], 1719, 
      254, "ascongruencebywangpair", "X817F4FC27E9BACD8" ], 
  [ "\033[2XGeneratingCongruencesOfLattice\033[102X", "13.8-4", [ 13, 8, 4 ], 
      1751, 254, "generatingcongruencesoflattice", "X858AE13379B5C380" ], 
  [ "\033[2XSemigroupIdealOfReesCongruence\033[102X", "13.9-1", [ 13, 9, 1 ], 
      1790, 255, "semigroupidealofreescongruence", "X7BC02E08840E0AF4" ], 
  [ "\033[2XIsReesCongruenceClass\033[102X", "13.9-2", [ 13, 9, 2 ], 1813, 
      255, "isreescongruenceclass", "X7E15F66A8029C64A" ], 
  [ "\033[2XIsUniversalSemigroupCongruence\033[102X", "13.10-1", 
      [ 13, 10, 1 ], 1854, 256, "isuniversalsemigroupcongruence", 
      "X8751EF557A81A2B1" ], 
  [ "\033[2XIsUniversalSemigroupCongruenceClass\033[102X", "13.10-2", 
      [ 13, 10, 2 ], 1876, 256, "isuniversalsemigroupcongruenceclass", 
      "X8646253C86AFFA29" ], 
  [ "\033[2XUniversalSemigroupCongruence\033[102X", "13.10-3", [ 13, 10, 3 ], 
      1894, 256, "universalsemigroupcongruence", "X7B99C6A47F3D375F" ], 
  [ "\033[2XTrivialCongruence\033[102X", "13.10-4", [ 13, 10, 4 ], 1910, 257, 
      "trivialcongruence", "X7A9B483B7B4E0E27" ], 
  [ 
      "\033[2XSemigroupHomomorphismByImages\033[102X for two semigroups and two l\
ists", "14.1-1", [ 14, 1, 1 ], 10, 258, 
      "semigrouphomomorphismbyimages for two semigroups and two lists", 
      "X817596438369885B" ], 
  [ 
      "\033[2XSemigroupHomomorphismByImages\033[102X for two semigroups and a lis\
t", "14.1-1", [ 14, 1, 1 ], 10, 258, 
      "semigrouphomomorphismbyimages for two semigroups and a list", 
      "X817596438369885B" ], 
  [ "\033[2XSemigroupHomomorphismByImages\033[102X for two semigroups", 
      "14.1-1", [ 14, 1, 1 ], 10, 258, 
      "semigrouphomomorphismbyimages for two semigroups", "X817596438369885B" 
     ], 
  [ 
      "\033[2XSemigroupHomomorphismByImages\033[102X for a semigroup and two list\
s", "14.1-1", [ 14, 1, 1 ], 10, 258, 
      "semigrouphomomorphismbyimages for a semigroup and two lists", 
      "X817596438369885B" ], 
  [ "\033[2XSemigroupHomomorphismByFunctionNC\033[102X", "14.1-2", 
      [ 14, 1, 2 ], 41, 258, "semigrouphomomorphismbyfunctionnc", 
      "X7DAA6AD985C22AD6" ], 
  [ "\033[2XSemigroupHomomorphismByFunction\033[102X", "14.1-2", 
      [ 14, 1, 2 ], 41, 258, "semigrouphomomorphismbyfunction", 
      "X7DAA6AD985C22AD6" ], 
  [ "\033[2XIsSemigroupHomomorphismByImages\033[102X", "14.1-3", 
      [ 14, 1, 3 ], 109, 260, "issemigrouphomomorphismbyimages", 
      "X7C76C6E5780D4A57" ], 
  [ "\033[2XIsSemigroupHomomorphismByFunction\033[102X", "14.1-4", 
      [ 14, 1, 4 ], 133, 260, "issemigrouphomomorphismbyfunction", 
      "X7F9CF9457E84BAE2" ], 
  [ 
      "\033[2XAsSemigroupHomomorphismByImages\033[102X for a semigroup homomorphi\
sm by function", "14.1-5", [ 14, 1, 5 ], 158, 260, 
      "assemigrouphomomorphismbyimages for a semigroup homomorphism by functio\
n", "X7CEBDC767CC184B6" ], 
  [ 
      "\033[2XAsSemigroupHomomorphismByFunction\033[102X for a semigroup homomorp\
hism by images", "14.1-6", [ 14, 1, 6 ], 180, 261, 
      "assemigrouphomomorphismbyfunction for a semigroup homomorphism by image\
s", "X7973F31986CF0DD4" ], 
  [ "\033[2XKernelOfSemigroupHomomorphism\033[102X", "14.1-7", [ 14, 1, 7 ], 
      200, 261, "kernelofsemigrouphomomorphism", "X86BCE2207E55FC9F" ], 
  [ "\033[2XIsIsomorphicSemigroup\033[102X", "14.2-1", [ 14, 2, 1 ], 227, 
      262, "isisomorphicsemigroup", "X7A6D59247F15935E" ], 
  [ "\033[2XSmallestMultiplicationTable\033[102X", "14.2-2", [ 14, 2, 2 ], 
      254, 262, "smallestmultiplicationtable", "X7DE212DF7DF0A4E9" ], 
  [ "\033[2XCanonicalMultiplicationTable\033[102X", "14.2-3", [ 14, 2, 3 ], 
      288, 263, "canonicalmultiplicationtable", "X7FFEEFF484039A42" ], 
  [ "\033[2XCanonicalMultiplicationTablePerm\033[102X", "14.2-4", 
      [ 14, 2, 4 ], 328, 263, "canonicalmultiplicationtableperm", 
      "X869533A7819EC2F8" ], 
  [ "\033[2XOnMultiplicationTable\033[102X", "14.2-5", [ 14, 2, 5 ], 355, 
      264, "onmultiplicationtable", "X83BC6B998479BD27" ], 
  [ "\033[2XIsomorphismSemigroups\033[102X", "14.2-6", [ 14, 2, 6 ], 382, 
      264, "isomorphismsemigroups", "X8248C522825E2684" ], 
  [ "\033[2XAutomorphismGroup\033[102X for a semigroup", "14.2-7", 
      [ 14, 2, 7 ], 437, 265, "automorphismgroup for a semigroup", 
      "X79BFF4E77A8090EF" ], 
  [ 
      "\033[2XSemigroupIsomorphismByImages\033[102X for two semigroups and two li\
sts", "14.2-8", [ 14, 2, 8 ], 457, 265, 
      "semigroupisomorphismbyimages for two semigroups and two lists", 
      "X80FE565183A9410D" ], 
  [ 
      "\033[2XSemigroupIsomorphismByImages\033[102X for two semigroups and a list\
", "14.2-8", [ 14, 2, 8 ], 457, 265, 
      "semigroupisomorphismbyimages for two semigroups and a list", 
      "X80FE565183A9410D" ], 
  [ "\033[2XSemigroupIsomorphismByImages\033[102X for two semigroups", 
      "14.2-8", [ 14, 2, 8 ], 457, 265, 
      "semigroupisomorphismbyimages for two semigroups", "X80FE565183A9410D" ]
    , 
  [ 
      "\033[2XSemigroupIsomorphismByImages\033[102X for a semigroup and two list"
        , "14.2-8", [ 14, 2, 8 ], 457, 265, 
      "semigroupisomorphismbyimages for a semigroup and two list", 
      "X80FE565183A9410D" ], 
  [ "\033[2XSemigroupIsomorphismByFunctionNC\033[102X", "14.2-9", 
      [ 14, 2, 9 ], 482, 266, "semigroupisomorphismbyfunctionnc", 
      "X7B44408D8309C3DC" ], 
  [ "\033[2XSemigroupIsomorphismByFunction\033[102X", "14.2-9", [ 14, 2, 9 ], 
      482, 266, "semigroupisomorphismbyfunction", "X7B44408D8309C3DC" ], 
  [ "\033[2XIsSemigroupIsomorphismByFunction\033[102X", "14.2-10", 
      [ 14, 2, 10 ], 517, 266, "issemigroupisomorphismbyfunction", 
      "X7EFDBD2C7A4FB6AF" ], 
  [ 
      "\033[2XAsSemigroupIsomorphismByFunction\033[102X for a semigroup homomorph\
ism by images", "14.2-11", [ 14, 2, 11 ], 544, 267, 
      "assemigroupisomorphismbyfunction for a semigroup homomorphism by images\
", "X86C4FC857AF125BD" ], 
  [ "\033[2XSmallerDegreeTransformationRepresentation\033[102X", "14.2-12", 
      [ 14, 2, 12 ], 563, 267, "smallerdegreetransformationrepresentation", 
      "X794E5DA4872989E4" ], 
  [ "\033[2XMinimalFaithfulTransformationDegree\033[102X", "14.2-13", 
      [ 14, 2, 13 ], 608, 268, "minimalfaithfultransformationdegree", 
      "X867264587CFD0013" ], 
  [ "\033[2XIsRMSIsoByTriple\033[102X", "14.3-1", [ 14, 3, 1 ], 636, 268, 
      "isrmsisobytriple", "X82FCB1E585429FEA" ], 
  [ "\033[2XIsRZMSIsoByTriple\033[102X", "14.3-1", [ 14, 3, 1 ], 636, 268, 
      "isrzmsisobytriple", "X82FCB1E585429FEA" ], 
  [ "\033[2XRMSIsoByTriple\033[102X", "14.3-2", [ 14, 3, 2 ], 659, 269, 
      "rmsisobytriple", "X82B0BDCD7CBDCC2E" ], 
  [ "\033[2XRZMSIsoByTriple\033[102X", "14.3-2", [ 14, 3, 2 ], 659, 269, 
      "rzmsisobytriple", "X82B0BDCD7CBDCC2E" ], 
  [ "\033[2XELM_LIST\033[102X for IsRMSIsoByTriple", "14.3-3", [ 14, 3, 3 ], 
      707, 270, "elm_list for isrmsisobytriple", "X81C4DE427D4A3D6C" ], 
  [ "\033[2XCompositionMapping2\033[102X for IsRMSIsoByTriple", "14.3-4", 
      [ 14, 3, 4 ], 728, 270, "compositionmapping2 for isrmsisobytriple", 
      "X7A02528F8721F378" ], 
  [ "\033[2XCompositionMapping2\033[102X for IsRZMSIsoByTriple", "14.3-4", 
      [ 14, 3, 4 ], 728, 270, "compositionmapping2 for isrzmsisobytriple", 
      "X7A02528F8721F378" ], 
  [ "\033[2XImagesElm\033[102X for IsRMSIsoByTriple", "14.3-5", [ 14, 3, 5 ], 
      772, 271, "imageselm for isrmsisobytriple", "X7F159C1179C93C11" ], 
  [ "\033[2XImagesRepresentative\033[102X for IsRMSIsoByTriple", "14.3-5", 
      [ 14, 3, 5 ], 772, 271, "imagesrepresentative for isrmsisobytriple", 
      "X7F159C1179C93C11" ], 
  [ "\033[2XCanonicalReesZeroMatrixSemigroup\033[102X", "14.3-6", 
      [ 14, 3, 6 ], 810, 271, "canonicalreeszeromatrixsemigroup", 
      "X8765885F784557B9" ], 
  [ "\033[2XCanonicalReesMatrixSemigroup\033[102X", "14.3-6", [ 14, 3, 6 ], 
      810, 271, "canonicalreesmatrixsemigroup", "X8765885F784557B9" ], 
  [ 
      "\033[10XELM_LIST\033[110X (for Rees (0-)matrix semigroup isomorphisms by t\
riples)", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "elm_list for rees 0- matrix semigroup isomorphisms by triples", 
      "X7ED8BF227F4229E2" ], 
  [ 
      "\033[10X * \033[110X (for Rees (0-)matrix semigroup isomorphisms by triple\
s)", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "* for rees 0- matrix semigroup isomorphisms by triples", 
      "X7ED8BF227F4229E2" ], 
  [ 
      "\033[10X<\033[110X (for Rees (0-)matrix semigroup isomorphisms by triples)\
", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "< for rees 0- matrix semigroup isomorphisms by triples", 
      "X7ED8BF227F4229E2" ], 
  [ 
      "\033[10X = \033[110X (for Rees (0-)matrix semigroup isomorphisms by triple\
s)", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "= for rees 0- matrix semigroup isomorphisms by triples", 
      "X7ED8BF227F4229E2" ], 
  [ 
      "\033[10X ^ \033[110X (for Rees (0-)matrix semigroup isomorphisms by triple\
s)", "14.3-7", [ 14, 3, 7 ], 837, 272, 
      "^ for rees 0- matrix semigroup isomorphisms by triples", 
      "X7ED8BF227F4229E2" ], 
  [ "\033[2XWordToString\033[102X for a string and a list", "15.1-1", 
      [ 15, 1, 1 ], 24, 273, "wordtostring for a string and a list", 
      "X7CACE2997C1D243A" ], 
  [ "\033[2XRandomWord\033[102X for two integers", "15.1-2", [ 15, 1, 2 ], 
      37, 273, "randomword for two integers", "X7C81FB0F7BF3D4A3" ], 
  [ "\033[2XStandardiseWord\033[102X", "15.1-3", [ 15, 1, 3 ], 53, 274, 
      "standardiseword", "X7B338B917D72FBED" ], 
  [ "\033[2XStandardizeWord\033[102X", "15.1-3", [ 15, 1, 3 ], 53, 274, 
      "standardizeword", "X7B338B917D72FBED" ], 
  [ "\033[2XStringToWord\033[102X for a string", "15.1-4", [ 15, 1, 4 ], 78, 
      274, "stringtoword for a string", "X7B07470F86FDC7BA" ], 
  [ "\033[2XParseRelations\033[102X", "15.2-1", [ 15, 2, 1 ], 111, 275, 
      "parserelations", "X7C2FCCA487DFC84C" ], 
  [ "\033[2XElementOfFpSemigroup\033[102X", "15.2-2", [ 15, 2, 2 ], 149, 275, 
      "elementoffpsemigroup", "X847012347856C55E" ], 
  [ "\033[2XElementOfFpMonoid\033[102X", "15.2-3", [ 15, 2, 3 ], 177, 276, 
      "elementoffpmonoid", "X82B7A51B7FE90486" ], 
  [ "\033[2XFreeMonoidAndAssignGeneratorVars\033[102X", "15.2-4", 
      [ 15, 2, 4 ], 188, 276, "freemonoidandassigngeneratorvars", 
      "X7C3837FA83BE9CD9" ], 
  [ "\033[2XFreeSemigroupAndAssignGeneratorVars\033[102X", "15.2-4", 
      [ 15, 2, 4 ], 188, 276, "freesemigroupandassigngeneratorvars", 
      "X7C3837FA83BE9CD9" ], 
  [ "\033[2XIsSubsemigroupOfFpMonoid\033[102X", "15.2-5", [ 15, 2, 5 ], 213, 
      276, "issubsemigroupoffpmonoid", "X7FF4A1CF79799314" ], 
  [ "\033[2XStzPresentation\033[102X", "15.3-1", [ 15, 3, 1 ], 262, 277, 
      "stzpresentation", "X7B505DA083E2EC0C" ], 
  [ "\033[2XIsStzPresentation\033[102X", "15.3-2", [ 15, 3, 2 ], 281, 277, 
      "isstzpresentation", "X7B86C70F84BCF8BD" ], 
  [ "\033[2XGeneratorsOfStzPresentation\033[102X", "15.3-3", [ 15, 3, 3 ], 
      312, 278, "generatorsofstzpresentation", "X7F399C5982227D31" ], 
  [ "\033[2XRelationsOfStzPresentation\033[102X", "15.3-4", [ 15, 3, 4 ], 
      344, 278, "relationsofstzpresentation", "X7DCFA5D8834C31BF" ], 
  [ "\033[2XUnreducedFpSemigroup\033[102X for a presentation", "15.3-5", 
      [ 15, 3, 5 ], 372, 279, "unreducedfpsemigroup for a presentation", 
      "X79D7439679E96F28" ], 
  [ "\033[2XLength\033[102X", "15.3-6", [ 15, 3, 6 ], 394, 279, "length", 
      "X780769238600AFD1" ], 
  [ "\033[2XStzPrintRelations\033[102X", "15.4-1", [ 15, 4, 1 ], 427, 280, 
      "stzprintrelations", "X80F18CED8572886B" ], 
  [ "\033[2XStzPrintRelation\033[102X", "15.4-2", [ 15, 4, 2 ], 457, 280, 
      "stzprintrelation", "X81837E037DE5ACBF" ], 
  [ "\033[2XStzPrintGenerators\033[102X", "15.4-3", [ 15, 4, 3 ], 477, 281, 
      "stzprintgenerators", "X846B86477CBA3A2F" ], 
  [ "\033[2XStzPrintPresentation\033[102X", "15.4-4", [ 15, 4, 4 ], 507, 281, 
      "stzprintpresentation", "X7D5096807EC939E1" ], 
  [ "\033[2XStzAddRelation\033[102X", "15.5-1", [ 15, 5, 1 ], 583, 283, 
      "stzaddrelation", "X7FCA079C7C4D398F" ], 
  [ "\033[2XStzRemoveRelation\033[102X", "15.5-2", [ 15, 5, 2 ], 622, 283, 
      "stzremoverelation", "X802456968490EE7C" ], 
  [ "\033[2XStzAddGenerator\033[102X", "15.5-3", [ 15, 5, 3 ], 650, 284, 
      "stzaddgenerator", "X7F2E7FAF7F899DB9" ], 
  [ "\033[2XStzRemoveGenerator\033[102X", "15.5-4", [ 15, 5, 4 ], 686, 284, 
      "stzremovegenerator", "X85D1304A8461AB59" ], 
  [ "\033[2XStzSubstituteRelation\033[102X", "15.5-5", [ 15, 5, 5 ], 725, 
      285, "stzsubstituterelation", "X85A89C227B8B1A96" ], 
  [ "\033[2XTietzeForwardMap\033[102X", "15.6-1", [ 15, 6, 1 ], 776, 286, 
      "tietzeforwardmap", "X7C46AF3A867F273A" ], 
  [ "\033[2XTietzeBackwardMap\033[102X", "15.6-2", [ 15, 6, 2 ], 805, 286, 
      "tietzebackwardmap", "X7F6E26348503DD53" ], 
  [ "\033[2XStzIsomorphism\033[102X", "15.6-3", [ 15, 6, 3 ], 834, 287, 
      "stzisomorphism", "X80142D917E368E46" ], 
  [ "\033[2XStzSimplifyOnce\033[102X", "15.7-1", [ 15, 7, 1 ], 888, 288, 
      "stzsimplifyonce", "X818403DA85EA82B8" ], 
  [ "\033[2XStzSimplifyPresentation\033[102X", "15.7-2", [ 15, 7, 2 ], 932, 
      288, "stzsimplifypresentation", "X87B27F5A87103502" ], 
  [ "\033[2XSimplifyFpSemigroup\033[102X", "15.8-1", [ 15, 8, 1 ], 970, 289, 
      "simplifyfpsemigroup", "X7F9ED6117BA94F01" ], 
  [ "\033[2XSimplifiedFpSemigroup\033[102X", "15.8-2", [ 15, 8, 2 ], 1018, 
      290, "simplifiedfpsemigroup", "X7B32AC2B7D5C74D6" ], 
  [ "\033[2XUnreducedFpSemigroup\033[102X for a semigroup", "15.8-3", 
      [ 15, 8, 3 ], 1067, 291, "unreducedfpsemigroup for a semigroup", 
      "X876620BC7BD37EF6" ], 
  [ "\033[2XFpTietzeIsomorphism\033[102X", "15.8-4", [ 15, 8, 4 ], 1103, 291, 
      "fptietzeisomorphism", "X80C4E1757D4F3CE5" ], 
  [ "\033[2XDotString\033[102X", "16.1-1", [ 16, 1, 1 ], 21, 293, 
      "dotstring", "X7F51F3CD7E13D199" ], 
  [ "\033[2XDotString\033[102X for a Cayley digraph", "16.1-2", [ 16, 1, 2 ], 
      95, 294, "dotstring for a cayley digraph", "X853B81B385E2CF36" ], 
  [ "\033[2XDotSemilatticeOfIdempotents\033[102X", "16.1-3", [ 16, 1, 3 ], 
      111, 295, "dotsemilatticeofidempotents", "X7C22E8D17D6C23EA" ], 
  [ "\033[2XDotLeftCayleyDigraph\033[102X", "16.1-4", [ 16, 1, 4 ], 138, 295, 
      "dotleftcayleydigraph", "X7E38369D7E8BEA4C" ], 
  [ "\033[2XDotRightCayleyDigraph\033[102X", "16.1-4", [ 16, 1, 4 ], 138, 
      295, "dotrightcayleydigraph", "X7E38369D7E8BEA4C" ], 
  [ "\033[2XTexString\033[102X", "16.2-1", [ 16, 2, 1 ], 169, 296, 
      "texstring", "X80FBF08180F7F181" ], 
  [ "\033[2XTikzString\033[102X", "16.3-1", [ 16, 3, 1 ], 199, 296, 
      "tikzstring", "X7F0971F678B4FC66" ], 
  [ "\033[2XTikzLeftCayleyDigraph\033[102X", "16.3-2", [ 16, 3, 2 ], 302, 
      298, "tikzleftcayleydigraph", "X81EF7F777EEF69C1" ], 
  [ "\033[2XTikzRightCayleyDigraph\033[102X", "16.3-2", [ 16, 3, 2 ], 302, 
      298, "tikzrightcayleydigraph", "X81EF7F777EEF69C1" ], 
  [ "\033[2XReadGenerators\033[102X", "17.1-1", [ 17, 1, 1 ], 10, 299, 
      "readgenerators", "X8728096E8427EDE8" ], 
  [ "\033[2XWriteGenerators\033[102X", "17.1-2", [ 17, 1, 2 ], 30, 299, 
      "writegenerators", "X78041E8F87EFDE62" ], 
  [ "\033[2XIteratorFromGeneratorsFile\033[102X", "17.1-3", [ 17, 1, 3 ], 66, 
      300, "iteratorfromgeneratorsfile", "X8711D6E280F87E67" ], 
  [ "\033[2XReadMultiplicationTable\033[102X", "17.2-1", [ 17, 2, 1 ], 92, 
      300, "readmultiplicationtable", "X805058C07F9373B4" ], 
  [ "\033[2XWriteMultiplicationTable\033[102X", "17.2-2", [ 17, 2, 2 ], 116, 
      301, "writemultiplicationtable", "X868B824B7E24FA96" ], 
  [ "\033[2XIteratorFromMultiplicationTableFile\033[102X", "17.2-3", 
      [ 17, 2, 3 ], 143, 301, "iteratorfrommultiplicationtablefile", 
      "X85708F5B7FBE3549" ], 
  [ 
      "\033[2XIsSemigroupTranslation\033[102X for IsAssociativeElement and IsMult\
iplicativeElementWithOne", "18.1-1", [ 18, 1, 1 ], 71, 303, 
      "issemigrouptranslation for isassociativeelement and ismultiplicativeele\
mentwithone", "X849F15607B774B90" ], 
  [ "\033[2XIsLeftTranslation\033[102X for IsSemigroupTranslation", "18.1-1", 
      [ 18, 1, 1 ], 71, 303, "islefttranslation for issemigrouptranslation", 
      "X849F15607B774B90" ], 
  [ "\033[2XIsRightTranslation\033[102X for IsSemigroupTranslation", 
      "18.1-1", [ 18, 1, 1 ], 71, 303, 
      "isrighttranslation for issemigrouptranslation", "X849F15607B774B90" ], 
  [ "\033[2XIsBitranslation\033[102X for IsAssociativeElement and IsMultiplica\
tiveElementWithOne", "18.1-2", [ 18, 1, 2 ], 99, 303, 
      "isbitranslation for isassociativeelement and ismultiplicativeelementwit\
hone", "X7F6689E885982816" ], 
  [ "\033[2XIsSemigroupTranslationCollection\033[102X", "18.1-3", 
      [ 18, 1, 3 ], 125, 304, "issemigrouptranslationcollection", 
      "X7F536B1B85978B63" ], 
  [ "\033[2XIsLeftTranslationCollection\033[102X", "18.1-3", [ 18, 1, 3 ], 
      125, 304, "islefttranslationcollection", "X7F536B1B85978B63" ], 
  [ "\033[2XIsRightTranslationCollection\033[102X", "18.1-3", [ 18, 1, 3 ], 
      125, 304, "isrighttranslationcollection", "X7F536B1B85978B63" ], 
  [ "\033[2XIsBitranslationCollection\033[102X", "18.1-3", [ 18, 1, 3 ], 125, 
      304, "isbitranslationcollection", "X7F536B1B85978B63" ], 
  [ "\033[2XLeftPartOfBitranslation\033[102X", "18.1-4", [ 18, 1, 4 ], 137, 
      304, "leftpartofbitranslation", "X7D52D17E7A28CE0E" ], 
  [ "\033[2XRightPartOfBitranslation\033[102X", "18.1-4", [ 18, 1, 4 ], 137, 
      304, "rightpartofbitranslation", "X7D52D17E7A28CE0E" ], 
  [ 
      "\033[2XLeftTranslation\033[102X for IsLeftTranslationsSemigroup, IsGeneral\
Mapping", "18.1-5", [ 18, 1, 5 ], 148, 304, 
      "lefttranslation for islefttranslationssemigroup isgeneralmapping", 
      "X7ACCBAB57E910910" ], 
  [ 
      "\033[2XRightTranslation\033[102X for IsRightTranslationsSemigroup, IsGener\
alMapping", "18.1-5", [ 18, 1, 5 ], 148, 304, 
      "righttranslation for isrighttranslationssemigroup isgeneralmapping", 
      "X7ACCBAB57E910910" ], 
  [ 
      "\033[2XBitranslation\033[102X for IsBitranslationsSemigroup, IsLeftTransla\
tion, IsRightTranslation", "18.1-6", [ 18, 1, 6 ], 191, 305, 
      "bitranslation for isbitranslationssemigroup islefttranslation isrighttr\
anslation", "X8664424983C3281F" ], 
  [ "\033[2XUnderlyingSemigroup\033[102X for IsTranslationsSemigroup", 
      "18.1-7", [ 18, 1, 7 ], 215, 305, 
      "underlyingsemigroup for istranslationssemigroup", "X7B5BB0BA8683A021" ]
    , [ "\033[2XUnderlyingSemigroup\033[102X for IsBitranslationsSemigroup", 
      "18.1-7", [ 18, 1, 7 ], 215, 305, 
      "underlyingsemigroup for isbitranslationssemigroup", 
      "X7B5BB0BA8683A021" ], 
  [ "\033[2XLeftTranslationsSemigroupOfFamily\033[102X for IsFamily", 
      "18.1-8", [ 18, 1, 8 ], 225, 305, 
      "lefttranslationssemigroupoffamily for isfamily", "X857C28C8790A35F6" ],
  [ "\033[2XRightTranslationsSemigroupOfFamily\033[102X for IsFamily", 
      "18.1-8", [ 18, 1, 8 ], 225, 305, 
      "righttranslationssemigroupoffamily for isfamily", "X857C28C8790A35F6" ]
    , [ "\033[2XTranslationalHullOfFamily\033[102X for IsFamily", "18.1-8", 
      [ 18, 1, 8 ], 225, 305, "translationalhulloffamily for isfamily", 
      "X857C28C8790A35F6" ], 
  [ 
      "\033[2XTypeLeftTranslationsSemigroupElements\033[102X for IsLeftTranslatio\
nsSemigroup", "18.1-9", [ 18, 1, 9 ], 249, 306, 
      "typelefttranslationssemigroupelements for islefttranslationssemigroup",
      "X7AA681A283A22C28" ], 
  [ 
      "\033[2XTypeRightTranslationsSemigroupElements\033[102X for IsRightTranslat\
ionsSemigroup", "18.1-9", [ 18, 1, 9 ], 249, 306, 
      "typerighttranslationssemigroupelements for isrighttranslationssemigroup\
", "X7AA681A283A22C28" ], 
  [ "\033[2XTypeBitranslations\033[102X for IsBitranslationsSemigroup", 
      "18.1-9", [ 18, 1, 9 ], 249, 306, 
      "typebitranslations for isbitranslationssemigroup", "X7AA681A283A22C28" 
     ], 
  [ 
      "\033[2XLeftTranslations\033[102X for IsSemigroup and CanUseFroidurePin and\
 IsFinite", "18.1-10", [ 18, 1, 10 ], 260, 306, 
      "lefttranslations for issemigroup and canusefroidurepin and isfinite", 
      "X7D5CC8A48371410D" ], 
  [ 
      "\033[2XRightTranslations\033[102X for IsSemigroup and CanUseFroidurePin an\
d IsFinite", "18.1-10", [ 18, 1, 10 ], 260, 306, 
      "righttranslations for issemigroup and canusefroidurepin and isfinite", 
      "X7D5CC8A48371410D" ], 
  [ 
      "\033[2XTranslationalHull\033[102X for IsSemigroup and CanUseFroidurePin an\
d IsFinite", "18.1-11", [ 18, 1, 11 ], 280, 306, 
      "translationalhull for issemigroup and canusefroidurepin and isfinite", 
      "X8231194386449BD4" ], 
  [ 
      "\033[2XNrLeftTranslations\033[102X for IsSemigroup and CanUseFroidurePin a\
nd IsFinite", "18.1-12", [ 18, 1, 12 ], 298, 307, 
      "nrlefttranslations for issemigroup and canusefroidurepin and isfinite",
      "X7C826FBA78739FA4" ], 
  [ 
      "\033[2XNrRightTranslations\033[102X for IsSemigroup and CanUseFroidurePin \
and IsFinite", "18.1-12", [ 18, 1, 12 ], 298, 307, 
      "nrrighttranslations for issemigroup and canusefroidurepin and isfinite"
        , "X7C826FBA78739FA4" ], 
  [ 
      "\033[2XNrBitranslations\033[102X for IsSemigroup and CanUseFroidurePin and\
 IsFinite", "18.1-12", [ 18, 1, 12 ], 298, 307, 
      "nrbitranslations for issemigroup and canusefroidurepin and isfinite", 
      "X7C826FBA78739FA4" ], 
  [ 
      "\033[2XInnerLeftTranslations\033[102X for IsSemigroup and CanUseFroidurePi\
n and IsFinite", "18.1-13", [ 18, 1, 13 ], 322, 307, 
      "innerlefttranslations for issemigroup and canusefroidurepin and isfinit\
e", "X7E9306DF79587A33" ], 
  [ 
      "\033[2XInnerRightTranslations\033[102X for IsSemigroup and CanUseFroidureP\
in and IsFinite", "18.1-13", [ 18, 1, 13 ], 322, 307, 
      "innerrighttranslations for issemigroup and canusefroidurepin and isfini\
te", "X7E9306DF79587A33" ], 
  [ 
      "\033[2XInnerTranslationalHull\033[102X for IsSemigroup and CanUseFroidureP\
in and IsFinite", "18.1-14", [ 18, 1, 14 ], 345, 307, 
      "innertranslationalhull for issemigroup and canusefroidurepin and isfini\
te", "X7C109DF080E72F68" ], 
  [ "\033[2XUnderlyingRepresentatives\033[102X for IsTranslationsSemigroup", 
      "18.1-15", [ 18, 1, 15 ], 374, 308, 
      "underlyingrepresentatives for istranslationssemigroup", 
      "X87E30C387BE79FB8" ], 
  [ "\033[2XImageSetOfTranslation\033[102X for IsSemigroupTranslation", 
      "18.1-16", [ 18, 1, 16 ], 398, 308, 
      "imagesetoftranslation for issemigrouptranslation", "X7E81252986BB72BB" 
     ] ]
);