#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "fr",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Abstract", ".-1", [ 0, 0, 1 ], 35, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", ".-2", [ 0, 0, 2 ], 49, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 54, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Colophon", ".-4", [ 0, 0, 4 ], 60, 2, "colophon", "X7982162280BC7A61" ], 
  [ "Table of Contents", ".-5", [ 0, 0, 5 ], 85, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1XLicensing\033[0X", "1", [ 1, 0, 0 ], 1, 10, "licensing", 
      "X86DB23CC834ABD71" ], 
  [ "\033[1XFR package\033[0X", "2", [ 2, 0, 0 ], 1, 11, "fr package", 
      "X7ADCE68284FB4ACF" ], 
  [ "\033[1XA brief mathematical introduction\033[0X", "2.1", [ 2, 1, 0 ], 4, 
      11, "a brief mathematical introduction", "X80C332C686212786" ], 
  [ "\033[1XAn example session\033[0X", "2.2", [ 2, 2, 0 ], 91, 12, 
      "an example session", "X78DF4DE18260BD80" ], 
  [ "\033[1XFunctionally recursive machines\033[0X", "3", [ 3, 0, 0 ], 1, 16, 
      "functionally recursive machines", "X7D65CA8B876E514C" ], 
  [ "\033[1XTypes of machines\033[0X", "3.1", [ 3, 1, 0 ], 30, 16, 
      "types of machines", "X7D52F7ED83E2D153" ], 
  [ "\033[1XProducts of machines\033[0X", "3.2", [ 3, 2, 0 ], 55, 17, 
      "products of machines", "X7EB36FBB78F4F26A" ], 
  [ "\033[1XCreators for \033[10XFRMachine\033[1Xs\033[0X", "3.3", 
      [ 3, 3, 0 ], 81, 17, "creators for frmachines", "X828640667D2E5280" ], 
  [ "\033[1XAttributes for \033[10XFRMachine\033[1Xs\033[0X", "3.4", 
      [ 3, 4, 0 ], 325, 21, "attributes for frmachines", "X8753FA157B2AD6DC" ]
    , [ "\033[1XOperations for \033[10XFRMachine\033[1Xs\033[0X", "3.5", 
      [ 3, 5, 0 ], 425, 23, "operations for frmachines", "X8158A8307CA98A3D" ]
    , [ "\033[1XFunctionally recursive elements\033[0X", "4", [ 4, 0, 0 ], 1, 
      28, "functionally recursive elements", "X863D82207A1320F1" ], 
  [ "\033[1XCreators for \033[10XFRElement\033[1Xs\033[0X", "4.1", 
      [ 4, 1, 0 ], 37, 28, "creators for frelements", "X79DE08CD7EE57360" ], 
  [ "\033[1XOperations and Attributes for \033[10XFRElement\033[1Xs\033[0X", 
      "4.2", [ 4, 2, 0 ], 330, 33, "operations and attributes for frelements",
      "X812C932C7E2F2885" ], 
  [ "\033[1XMealy machines and elements\033[0X", "5", [ 5, 0, 0 ], 1, 40, 
      "mealy machines and elements", "X7C77EBC17DEF4CF6" ], 
  [ "\033[1XCreators for \033[10XMealyMachine\033[1Xs and \033[10XMealyElement\
\033[1Xs\033[0X", "5.1", [ 5, 1, 0 ], 41, 40, 
      "creators for mealymachines and mealyelements", "X846B89F686B50AE1" ], 
  [ "\033[1XOperations and Attributes for \033[10XMealyMachine\033[1Xs and \
\033[10XMealyElement\033[1Xs\033[0X", "5.2", [ 5, 2, 0 ], 222, 43, 
      "operations and attributes for mealymachines and mealyelements", 
      "X7F673D877B205708" ], 
  [ "\033[1XLinear machines and elements\033[0X", "6", [ 6, 0, 0 ], 1, 56, 
      "linear machines and elements", "X84AD415C872BFB91" ], 
  [ "\033[1XMethods and operations for \033[10XLinearFRMachine\033[1Xs and \
\033[10XLinearFRElement\033[1Xs\033[0X", "6.1", [ 6, 1, 0 ], 32, 56, 
      "methods and operations for linearfrmachines and linearfrelements", 
      "X812C0F7B7A31FCEF" ], 
  [ "\033[1XSelf-similar groups, monoids and semigroups\033[0X", "7", 
      [ 7, 0, 0 ], 1, 65, "self-similar groups monoids and semigroups", 
      "X86C0E6F083DCCDC8" ], 
  [ "\033[1XCreators for FR semigroups\033[0X", "7.1", [ 7, 1, 0 ], 24, 65, 
      "creators for fr semigroups", "X80A26BAA7B53C1BD" ], 
  [ "\033[1XOperations for FR semigroups\033[0X", "7.2", [ 7, 2, 0 ], 514, 
      73, "operations for fr semigroups", "X84E20571841DE1E4" ], 
  [ "\033[1XProperties for infinite groups\033[0X", "7.3", [ 7, 3, 0 ], 1223, 
      85, "properties for infinite groups", "X7E8485A081EBB3AA" ], 
  [ "\033[1XAlgebras\033[0X", "8", [ 8, 0, 0 ], 1, 88, "algebras", 
      "X7DDBF6F47A2E021C" ], 
  [ "\033[1XCreators for FR algebras\033[0X", "8.1", [ 8, 1, 0 ], 15, 88, 
      "creators for fr algebras", "X842EE9427C63F92E" ], 
  [ "\033[1XOperations for FR algebras\033[0X", "8.2", [ 8, 2, 0 ], 91, 89, 
      "operations for fr algebras", "X7EFB4F2E7E908B9F" ], 
  [ "\033[1XIterated monodromy groups\033[0X", "9", [ 9, 0, 0 ], 1, 91, 
      "iterated monodromy groups", "X798DE1297EC58F59" ], 
  [ "\033[1XCreators and operations for IMG FR machines\033[0X", "9.1", 
      [ 9, 1, 0 ], 21, 91, "creators and operations for img fr machines", 
      "X7CA23C95828C2A3E" ], 
  [ "\033[1XSpiders\033[0X", "9.2", [ 9, 2, 0 ], 279, 95, "spiders", 
      "X7C73C74D87428A33" ], 
  [ "\033[1XExamples\033[0X", "10", [ 10, 0, 0 ], 1, 97, "examples", 
      "X7A489A5D79DA9E5C" ], 
  [ "\033[1XExamples of groups\033[0X", "10.1", [ 10, 1, 0 ], 8, 97, 
      "examples of groups", "X7AF5DEF08531AFA5" ], 
  [ "\033[1XExamples of semigroups\033[0X", "10.2", [ 10, 2, 0 ], 656, 108, 
      "examples of semigroups", "X81B82FA1811AAF8D" ], 
  [ "\033[1XExamples of algebras\033[0X", "10.3", [ 10, 3, 0 ], 681, 108, 
      "examples of algebras", "X803B02408573A30E" ], 
  [ "\033[1XBacher's determinant identities\033[0X", "10.4", [ 10, 4, 0 ], 
      738, 109, "bachers determinant identities", "X7989134C83AF38AE" ], 
  [ "\033[1XVH groups\033[0X", "10.5", [ 10, 5, 0 ], 945, 112, "vh groups", 
      "X7C4A51947E1609A8" ], 
  [ "\033[1XFR implementation details\033[0X", "11", [ 11, 0, 0 ], 1, 115, 
      "fr implementation details", "X86D6616E868AF75C" ], 
  [ "\033[1XThe family of FR objects\033[0X", "11.1", [ 11, 1, 0 ], 16, 115, 
      "the family of fr objects", "X79719CD17A948933" ], 
  [ "\033[1XFilters for \033[10XFRObject\033[1Xs\033[0X", "11.2", 
      [ 11, 2, 0 ], 71, 116, "filters for frobjects", "X856A3AD87C93FC1F" ], 
  [ "\033[1XSome of the algorithms implemented\033[0X", "11.3", [ 11, 3, 0 ], 
      251, 119, "some of the algorithms implemented", "X7E97015E8153F782" ], 
  [ "\033[1XOrder of FR elements\033[0X", "11.3-2", [ 11, 3, 2 ], 281, 119, 
      "order of fr elements", "X84B4FF607DA18152" ], 
  [ "\033[1XMembership in semigroups\033[0X", "11.3-3", [ 11, 3, 3 ], 299, 
      120, "membership in semigroups", "X847B4AFF809D2A56" ], 
  [ "\033[1XOrder of groups\033[0X", "11.3-4", [ 11, 3, 4 ], 329, 120, 
      "order of groups", "X7A0AC96784ACE0BE" ], 
  [ "\033[1XImages and preimages of some groups in f.p. and l.p. groups\033[0X\
", "11.3-5", [ 11, 3, 5 ], 346, 120, 
      "images and preimages of some groups in f.p. and l.p. groups", 
      "X8329884F790E1542" ], 
  [ "\033[1XComparison of FR, Mealy, vector, and algebra elements\033[0X", 
      "11.3-6", [ 11, 3, 6 ], 375, 121, 
      "comparison of fr mealy vector and algebra elements", 
      "X7F4247367D1EBEB9" ], 
  [ "\033[1XInverses of linear elements\033[0X", "11.3-7", [ 11, 3, 7 ], 401, 
      121, "inverses of linear elements", "X81F95FEB7C72ABFF" ], 
  [ "\033[1XMiscellanea\033[0X", "12", [ 12, 0, 0 ], 1, 123, "miscellanea", 
      "X785C6C0B80936CC8" ], 
  [ "\033[1XHelpers\033[0X", "12.1", [ 12, 1, 0 ], 4, 123, "helpers", 
      "X7E665607810488EE" ], 
  [ "\033[1XUser settings\033[0X", "12.2", [ 12, 2, 0 ], 530, 131, 
      "user settings", "X7ADFF37084706CEC" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 133, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 133, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 137, "index", "X83A0356F839C696F" ], 
  [ "\033[2XFRMachineNC\033[0X (family,free,listlist,list)", "3.3-1", 
      [ 3, 3, 1 ], 84, 17, "frmachinenc family free listlist list", 
      "X80D310EF7FD5EA44" ], 
  [ "\033[2XFRMachine\033[0X ([list,]list,list)", "3.3-2", [ 3, 3, 2 ], 107, 
      17, "frmachine [list ]list list", "X808F3BD97EDA8CE8" ], 
  [ "\033[2XFRMachine\033[0X (semigroup,list,list)", "3.3-2", [ 3, 3, 2 ], 
      107, 17, "frmachine semigroup list list", "X808F3BD97EDA8CE8" ], 
  [ "\033[2XUnderlyingFRMachine\033[0X", "3.3-3", [ 3, 3, 3 ], 165, 18, 
      "underlyingfrmachine", "X7C383F4383D22BFC" ], 
  [ "\033[2XAsGroupFRMachine\033[0X", "3.3-4", [ 3, 3, 4 ], 183, 19, 
      "asgroupfrmachine", "X7BF186227C0ABE8D" ], 
  [ "\033[2XAsMonoidFRMachine\033[0X", "3.3-4", [ 3, 3, 4 ], 183, 19, 
      "asmonoidfrmachine", "X7BF186227C0ABE8D" ], 
  [ "\033[2XAsSemigroupFRMachine\033[0X", "3.3-4", [ 3, 3, 4 ], 183, 19, 
      "assemigroupfrmachine", "X7BF186227C0ABE8D" ], 
  [ "\033[2XChangeFRMachineBasis\033[0X", "3.3-5", [ 3, 3, 5 ], 288, 20, 
      "changefrmachinebasis", "X814F53B97C3F43F5" ], 
  [ "\033[2XStateSet\033[0X (FR machine)", "3.4-1", [ 3, 4, 1 ], 328, 21, 
      "stateset fr machine", "X8000470D7DA7FFBD" ], 
  [ "\033[2XGeneratorsOfFRMachine\033[0X", "3.4-2", [ 3, 4, 2 ], 346, 21, 
      "generatorsoffrmachine", "X7F77F5DD789FA2F4" ], 
  [ "\033[2XOutput\033[0X (FR machine,state)", "3.4-3", [ 3, 4, 3 ], 361, 22, 
      "output fr machine state", "X80B52A8A7F30878E" ], 
  [ "\033[2XOutput\033[0X (FR machine,state,letter)", "3.4-3", [ 3, 4, 3 ], 
      361, 22, "output fr machine state letter", "X80B52A8A7F30878E" ], 
  [ "\033[2XTransition\033[0X (FR machine,state,input)", "3.4-4", 
      [ 3, 4, 4 ], 384, 22, "transition fr machine state input", 
      "X7AEE87BC8393FA54" ], 
  [ "\033[2XWreathRecursion\033[0X", "3.4-5", [ 3, 4, 5 ], 402, 22, 
      "wreathrecursion", "X7D95D1498586E5D0" ], 
  [ "\033[2XStructuralGroup\033[0X", "3.5-1", [ 3, 5, 1 ], 428, 23, 
      "structuralgroup", "X8289C2F77D67EDC3" ], 
  [ "\033[2XStructuralMonoid\033[0X", "3.5-1", [ 3, 5, 1 ], 428, 23, 
      "structuralmonoid", "X8289C2F77D67EDC3" ], 
  [ "\033[2XStructuralSemigroup\033[0X", "3.5-1", [ 3, 5, 1 ], 428, 23, 
      "structuralsemigroup", "X8289C2F77D67EDC3" ], 
  [ "\033[2X\\+\033[0X", "3.5-2", [ 3, 5, 2 ], 456, 23, "+", 
      "X7F2703417F270341" ], 
  [ "\033[2X\\*\033[0X", "3.5-3", [ 3, 5, 3 ], 496, 24, "*", 
      "X7857704878577048" ], 
  [ "\033[2XTensorSumOp\033[0X (FR Machines)", "3.5-4", [ 3, 5, 4 ], 505, 24, 
      "tensorsumop fr machines", "X7C0677148107F7FE" ], 
  [ "\033[2XTensorProductOp\033[0X (FR Machines)", "3.5-5", [ 3, 5, 5 ], 530, 
      24, "tensorproductop fr machines", "X8077C8A47E22FCB5" ], 
  [ "\033[2XDirectSumOp\033[0X (FR Machines)", "3.5-6", [ 3, 5, 6 ], 559, 25, 
      "directsumop fr machines", "X7D248C737D29A7CC" ], 
  [ "\033[2XDirectProductOp\033[0X (FR Machines)", "3.5-7", [ 3, 5, 7 ], 589, 
      25, "directproductop fr machines", "X81456F10820CAC87" ], 
  [ "\033[2XTreeWreathProduct\033[0X (FR machine)", "3.5-8", [ 3, 5, 8 ], 
      617, 26, "treewreathproduct fr machine", "X7A0858097AA3FBDA" ], 
  [ "\033[2XSubFRMachine\033[0X", "3.5-9", [ 3, 5, 9 ], 657, 26, 
      "subfrmachine", "X811B5BF17A3FE577" ], 
  [ "\033[2XMinimized\033[0X (FR machine)", "3.5-10", [ 3, 5, 10 ], 676, 27, 
      "minimized fr machine", "X81B382BD81B2BD34" ], 
  [ "\033[2XCorrespondence\033[0X (FR machine)", "3.5-11", [ 3, 5, 11 ], 700, 
      27, "correspondence fr machine", "X7C107A42815F91DA" ], 
  [ "\033[2XFRElementNC\033[0X (family,free,listlist,list,assocword)", 
      "4.1-1", [ 4, 1, 1 ], 40, 28, 
      "frelementnc family free listlist list assocword", "X7839813183881054" ]
    , 
  [ "\033[2XFRElement\033[0X ([list,]list,list,list)", "4.1-2", [ 4, 1, 2 ], 
      65, 29, "frelement [list ]list list list", "X7CF5EDEB874BF9E3" ], 
  [ "\033[2XFRElement\033[0X (semigroup,list,list,list)", "4.1-2", 
      [ 4, 1, 2 ], 65, 29, "frelement semigroup list list list", 
      "X7CF5EDEB874BF9E3" ], 
  [ "\033[2XFRElement\033[0X (machine/element,list)", "4.1-3", [ 4, 1, 3 ], 
      120, 30, "frelement machine/element list", "X86181654827919EE" ], 
  [ "\033[2XComposeElement\033[0X (elementcoll,perm)", "4.1-4", [ 4, 1, 4 ], 
      145, 30, "composeelement elementcoll perm", "X80D518E2804ABF70" ], 
  [ "\033[2XVertexElement\033[0X", "4.1-5", [ 4, 1, 5 ], 170, 31, 
      "vertexelement", "X7CE388057DAB4802" ], 
  [ "\033[2XDiagonalElement\033[0X", "4.1-6", [ 4, 1, 6 ], 195, 31, 
      "diagonalelement", "X848EB430831097E6" ], 
  [ "\033[2XAsGroupFRElement\033[0X", "4.1-7", [ 4, 1, 7 ], 270, 32, 
      "asgroupfrelement", "X7EB5DE3978840CDF" ], 
  [ "\033[2XAsMonoidFRElement\033[0X", "4.1-7", [ 4, 1, 7 ], 270, 32, 
      "asmonoidfrelement", "X7EB5DE3978840CDF" ], 
  [ "\033[2XAsSemigroupFRElement\033[0X", "4.1-7", [ 4, 1, 7 ], 270, 32, 
      "assemigroupfrelement", "X7EB5DE3978840CDF" ], 
  [ "\033[2XOutput\033[0X (FR element)", "4.2-1", [ 4, 2, 1 ], 333, 33, 
      "output fr element", "X78F819CF7DDBF310" ], 
  [ "\033[2XActivity\033[0X", "4.2-2", [ 4, 2, 2 ], 351, 34, "activity", 
      "X8732D01C82999F32" ], 
  [ "\033[2XActivityInt\033[0X", "4.2-2", [ 4, 2, 2 ], 351, 34, 
      "activityint", "X8732D01C82999F32" ], 
  [ "\033[2XActivityTransformation\033[0X", "4.2-2", [ 4, 2, 2 ], 351, 34, 
      "activitytransformation", "X8732D01C82999F32" ], 
  [ "\033[2XActivityPerm\033[0X", "4.2-2", [ 4, 2, 2 ], 351, 34, 
      "activityperm", "X8732D01C82999F32" ], 
  [ "\033[2XTransition\033[0X (FR element,input)", "4.2-3", [ 4, 2, 3 ], 392, 
      34, "transition fr element input", "X7CE58B2D837B2845" ], 
  [ "\033[2XPortrait\033[0X", "4.2-4", [ 4, 2, 4 ], 410, 35, "portrait", 
      "X84A193C67CDBDA35" ], 
  [ "\033[2XPortraitInt\033[0X", "4.2-4", [ 4, 2, 4 ], 410, 35, 
      "portraitint", "X84A193C67CDBDA35" ], 
  [ "\033[2XDecompositionOfFRElement\033[0X", "4.2-5", [ 4, 2, 5 ], 440, 35, 
      "decompositionoffrelement", "X850EB66E7804BA3B" ], 
  [ "\033[2XStateSet\033[0X (FR element)", "4.2-6", [ 4, 2, 6 ], 461, 35, 
      "stateset fr element", "X85441F1683E9D820" ], 
  [ "\033[2XState\033[0X", "4.2-7", [ 4, 2, 7 ], 479, 36, "state", 
      "X819E3E3080297347" ], 
  [ "\033[2XStates\033[0X", "4.2-8", [ 4, 2, 8 ], 500, 36, "states", 
      "X7B0C97BC7C3BA20D" ], 
  [ "\033[2XFixedStates\033[0X", "4.2-9", [ 4, 2, 9 ], 533, 37, 
      "fixedstates", "X804B2E0F7E37F5B8" ], 
  [ "\033[2XLimitStates\033[0X", "4.2-10", [ 4, 2, 10 ], 565, 37, 
      "limitstates", "X8303B36C83371FB3" ], 
  [ "\033[2XIsFiniteStateFRElement\033[0X", "4.2-11", [ 4, 2, 11 ], 591, 37, 
      "isfinitestatefrelement", "X7C4076707CBBE945" ], 
  [ "\033[2XIsFiniteStateFRMachine\033[0X", "4.2-11", [ 4, 2, 11 ], 591, 37, 
      "isfinitestatefrmachine", "X7C4076707CBBE945" ], 
  [ "\033[2XInitialState\033[0X", "4.2-12", [ 4, 2, 12 ], 616, 38, 
      "initialstate", "X79E65E818690B4EB" ], 
  [ "\033[2X\\^\033[0X (POW)", "4.2-13", [ 4, 2, 13 ], 633, 38, "^ pow", 
      "X823B6E3D819432D6" ], 
  [ "\033[2X\\*\033[0X (PROD)", "4.2-14", [ 4, 2, 14 ], 659, 39, "* prod", 
      "X7C3CF6AF86336EDC" ], 
  [ "\033[2X\\[\\]\033[0X (ELMLIST)", "4.2-15", [ 4, 2, 15 ], 683, 39, 
      "[] elmlist", "X78C19ACA78F9F067" ], 
  [ "\033[2X\\{\\}\033[0X (ELMSLIST)", "4.2-15", [ 4, 2, 15 ], 683, 39, 
      "{} elmslist", "X78C19ACA78F9F067" ], 
  [ "\033[2XMealyMachine\033[0X ([list,]listlist,list)", "5.1-1", 
      [ 5, 1, 1 ], 44, 40, "mealymachine [list ]listlist list", 
      "X7EF3E00080624B70" ], 
  [ "\033[2XMealyElement\033[0X ([list,]listlist,list,int)", "5.1-1", 
      [ 5, 1, 1 ], 44, 40, "mealyelement [list ]listlist list int", 
      "X7EF3E00080624B70" ], 
  [ "\033[2XMealyMachine\033[0X (domain,domain,function,function)", "5.1-2", 
      [ 5, 1, 2 ], 104, 41, "mealymachine domain domain function function", 
      "X875B8FED7FD20FA1" ], 
  [ "\033[2XMealyElement\033[0X (domain,domain,function,function,obj)", 
      "5.1-2", [ 5, 1, 2 ], 104, 41, 
      "mealyelement domain domain function function obj", "X875B8FED7FD20FA1" 
     ], [ "\033[2XMealyMachineNC\033[0X (family,listlist,list)", "5.1-3", 
      [ 5, 1, 3 ], 135, 42, "mealymachinenc family listlist list", 
      "X8578657C7F4B6254" ], 
  [ "\033[2XMealyElementNC\033[0X (family,listlist,list,int)", "5.1-3", 
      [ 5, 1, 3 ], 135, 42, "mealyelementnc family listlist list int", 
      "X8578657C7F4B6254" ], 
  [ "\033[2XAllMealyMachines\033[0X", "5.1-4", [ 5, 1, 4 ], 174, 42, 
      "allmealymachines", "X83BBE01884D6E315" ], 
  [ "\033[2XDraw\033[0X", "5.2-1", [ 5, 2, 1 ], 225, 43, "draw", 
      "X7DF9F3AD86602DFC" ], 
  [ "\033[2XMinimized\033[0X (Mealy machine)", "5.2-2", [ 5, 2, 2 ], 248, 44, 
      "minimized mealy machine", "X8395542D846FA2B9" ], 
  [ "\033[2XDualMachine\033[0X", "5.2-3", [ 5, 2, 3 ], 283, 44, 
      "dualmachine", "X809F069B798ED985" ], 
  [ "\033[2XIsReversible\033[0X", "5.2-4", [ 5, 2, 4 ], 305, 45, 
      "isreversible", "X7D5D480C782FCC0B" ], 
  [ "\033[2XIsMinimized\033[0X", "5.2-5", [ 5, 2, 5 ], 319, 45, 
      "isminimized", "X8310A1C08158793C" ], 
  [ "\033[2XAlphabetInvolution\033[0X", "5.2-6", [ 5, 2, 6 ], 341, 45, 
      "alphabetinvolution", "X7CCB79B981912CCC" ], 
  [ "\033[2XIsBireversible\033[0X", "5.2-7", [ 5, 2, 7 ], 359, 46, 
      "isbireversible", "X80D2545D7D0990A2" ], 
  [ "\033[2XStateGrowth\033[0X", "5.2-8", [ 5, 2, 8 ], 375, 46, 
      "stategrowth", "X83364DAB825D7A0D" ], 
  [ "\033[2XDegree\033[0X (FR element)", "5.2-9", [ 5, 2, 9 ], 399, 46, 
      "degree fr element", "X84BE780A81CAC69C" ], 
  [ "\033[2XDegreeOfFRMachine\033[0X", "5.2-9", [ 5, 2, 9 ], 399, 46, 
      "degreeoffrmachine", "X84BE780A81CAC69C" ], 
  [ "\033[2XDegreeOfFRElement\033[0X", "5.2-9", [ 5, 2, 9 ], 399, 46, 
      "degreeoffrelement", "X84BE780A81CAC69C" ], 
  [ "\033[2XIsFinitaryFRElement\033[0X", "5.2-10", [ 5, 2, 10 ], 425, 47, 
      "isfinitaryfrelement", "X793C427084F830CE" ], 
  [ "\033[2XIsFinitaryFRMachine\033[0X", "5.2-10", [ 5, 2, 10 ], 425, 47, 
      "isfinitaryfrmachine", "X793C427084F830CE" ], 
  [ "\033[2XDepth\033[0X (FR element)", "5.2-11", [ 5, 2, 11 ], 452, 47, 
      "depth fr element", "X7E5E8B2C79688DC0" ], 
  [ "\033[2XDepthOfFRMachine\033[0X", "5.2-11", [ 5, 2, 11 ], 452, 47, 
      "depthoffrmachine", "X7E5E8B2C79688DC0" ], 
  [ "\033[2XDepthOfFRElement\033[0X", "5.2-11", [ 5, 2, 11 ], 452, 47, 
      "depthoffrelement", "X7E5E8B2C79688DC0" ], 
  [ "\033[2XIsBoundedFRElement\033[0X", "5.2-12", [ 5, 2, 12 ], 473, 47, 
      "isboundedfrelement", "X82F4410E85C54C7E" ], 
  [ "\033[2XIsBoundedFRMachine\033[0X", "5.2-12", [ 5, 2, 12 ], 473, 47, 
      "isboundedfrmachine", "X82F4410E85C54C7E" ], 
  [ "\033[2XIsPolynomialGrowthFRElement\033[0X", "5.2-13", [ 5, 2, 13 ], 500, 
      48, "ispolynomialgrowthfrelement", "X81D4A3F27C5FAD96" ], 
  [ "\033[2XIsPolynomialGrowthFRMachine\033[0X", "5.2-13", [ 5, 2, 13 ], 500, 
      48, "ispolynomialgrowthfrmachine", "X81D4A3F27C5FAD96" ], 
  [ "\033[2XSignatures\033[0X", "5.2-14", [ 5, 2, 14 ], 527, 48, 
      "signatures", "X7ECE17387910C023" ], 
  [ "\033[2XVertexTransformationsFRMachine\033[0X", "5.2-15", [ 5, 2, 15 ], 
      549, 49, "vertextransformationsfrmachine", "X83DFDC3384EA4634" ], 
  [ "\033[2XVertexTransformationsFRElement\033[0X", "5.2-15", [ 5, 2, 15 ], 
      549, 49, "vertextransformationsfrelement", "X83DFDC3384EA4634" ], 
  [ "\033[2XFixedRay\033[0X (FR element)", "5.2-16", [ 5, 2, 16 ], 569, 49, 
      "fixedray fr element", "X7E0CB3767CE08692" ], 
  [ "\033[2XIsLevelTransitive\033[0X (FR element)", "5.2-17", [ 5, 2, 17 ], 
      589, 49, "isleveltransitive fr element", "X828C167B7D7691E9" ], 
  [ "\033[2XAsMealyMachine\033[0X (FR machine)", "5.2-18", [ 5, 2, 18 ], 615, 
      50, "asmealymachine fr machine", "X79EFE2C97D2CCEEC" ], 
  [ "\033[2XAsMealyMachine\033[0X (List)", "5.2-19", [ 5, 2, 19 ], 657, 50, 
      "asmealymachine list", "X80F9A18483F98442" ], 
  [ "\033[2XAsMealyElement\033[0X", "5.2-20", [ 5, 2, 20 ], 688, 51, 
      "asmealyelement", "X7FB3F0A2878DD2CF" ], 
  [ "\033[2XAsIntMealyMachine\033[0X", "5.2-21", [ 5, 2, 21 ], 713, 51, 
      "asintmealymachine", "X7FBBBD9A839011C8" ], 
  [ "\033[2XAsIntMealyElement\033[0X", "5.2-21", [ 5, 2, 21 ], 713, 51, 
      "asintmealyelement", "X7FBBBD9A839011C8" ], 
  [ "\033[2XTopElement\033[0X", "5.2-22", [ 5, 2, 22 ], 747, 52, 
      "topelement", "X8191456B7E586785" ], 
  [ "\033[2XConfinalityClasses\033[0X", "5.2-23", [ 5, 2, 23 ], 770, 52, 
      "confinalityclasses", "X7A87ED9D789245E4" ], 
  [ "\033[2XIsWeaklyFinitaryFRElement\033[0X", "5.2-23", [ 5, 2, 23 ], 770, 
      52, "isweaklyfinitaryfrelement", "X7A87ED9D789245E4" ], 
  [ "\033[2XGerms\033[0X", "5.2-24", [ 5, 2, 24 ], 799, 53, "germs", 
      "X81592E3D79745A40" ], 
  [ "\033[2XNormOfBoundedFRElement\033[0X", "5.2-24", [ 5, 2, 24 ], 799, 53, 
      "normofboundedfrelement", "X81592E3D79745A40" ], 
  [ "\033[2XHasOpenSetConditionFRElement\033[0X", "5.2-25", [ 5, 2, 25 ], 
      832, 53, "hasopensetconditionfrelement", "X7F76AF2D7C0279F9" ], 
  [ "\033[2XLimitMachine\033[0X", "5.2-26", [ 5, 2, 26 ], 849, 53, 
      "limitmachine", "X82308064814FEA51" ], 
  [ "\033[2XNucleusMachine\033[0X (FR machine)", "5.2-27", [ 5, 2, 27 ], 880, 
      54, "nucleusmachine fr machine", "X7F8163B5816969C8" ], 
  [ "\033[2XGuessMealyElement\033[0X", "5.2-28", [ 5, 2, 28 ], 912, 54, 
      "guessmealyelement", "X7B29565784A591EC" ], 
  [ "\033[2XVectorMachine\033[0X", "6.1-1", [ 6, 1, 1 ], 35, 56, 
      "vectormachine", "X7F1EB8CB87229764" ], 
  [ "\033[2XVectorElement\033[0X", "6.1-1", [ 6, 1, 1 ], 35, 56, 
      "vectorelement", "X7F1EB8CB87229764" ], 
  [ "\033[2XVectorMachineNC\033[0X", "6.1-1", [ 6, 1, 1 ], 35, 56, 
      "vectormachinenc", "X7F1EB8CB87229764" ], 
  [ "\033[2XVectorElementNC\033[0X", "6.1-1", [ 6, 1, 1 ], 35, 56, 
      "vectorelementnc", "X7F1EB8CB87229764" ], 
  [ "\033[2XAlgebraMachine\033[0X", "6.1-2", [ 6, 1, 2 ], 85, 57, 
      "algebramachine", "X7F65118683209DC5" ], 
  [ "\033[2XAlgebraElement\033[0X", "6.1-2", [ 6, 1, 2 ], 85, 57, 
      "algebraelement", "X7F65118683209DC5" ], 
  [ "\033[2XAlgebraMachineNC\033[0X", "6.1-2", [ 6, 1, 2 ], 85, 57, 
      "algebramachinenc", "X7F65118683209DC5" ], 
  [ "\033[2XAlgebraElementNC\033[0X", "6.1-2", [ 6, 1, 2 ], 85, 57, 
      "algebraelementnc", "X7F65118683209DC5" ], 
  [ "\033[2XTransition\033[0X (Linear machine)", "6.1-3", [ 6, 1, 3 ], 132, 
      58, "transition linear machine", "X7A19036B828BBA0C" ], 
  [ "\033[2XTransitions\033[0X", "6.1-4", [ 6, 1, 4 ], 155, 58, 
      "transitions", "X846683198081BA82" ], 
  [ "\033[2XNestedMatrixState\033[0X", "6.1-5", [ 6, 1, 5 ], 175, 59, 
      "nestedmatrixstate", "X80F694298399E78D" ], 
  [ "\033[2XNestedMatrixCoefficient\033[0X", "6.1-5", [ 6, 1, 5 ], 175, 59, 
      "nestedmatrixcoefficient", "X80F694298399E78D" ], 
  [ "\033[2XActivitySparse\033[0X", "6.1-6", [ 6, 1, 6 ], 198, 59, 
      "activitysparse", "X7FCEE3BF86B02CC6" ], 
  [ "\033[2XActivities\033[0X", "6.1-7", [ 6, 1, 7 ], 228, 60, "activities", 
      "X8436BEA67F1C3C27" ], 
  [ "\033[2XIsConvergent\033[0X", "6.1-8", [ 6, 1, 8 ], 245, 60, 
      "isconvergent", "X7EF5B7417AE6B3F8" ], 
  [ "\033[2XTransposedFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 60, 
      "transposedfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XIsSymmetricFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 60, 
      "issymmetricfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XIsAntisymmetricFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 60, 
      "isantisymmetricfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XIsLowerTriangularFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 
      60, "islowertriangularfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XIsUpperTriangularFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 
      60, "isuppertriangularfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XIsDiagonalFRElement\033[0X", "6.1-9", [ 6, 1, 9 ], 276, 60, 
      "isdiagonalfrelement", "X8136C21885019A4A" ], 
  [ "\033[2XLDUDecompositionFRElement\033[0X", "6.1-10", [ 6, 1, 10 ], 315, 
      61, "ldudecompositionfrelement", "X796B736286CACF85" ], 
  [ "\033[2XGuessVectorElement\033[0X", "6.1-11", [ 6, 1, 11 ], 344, 62, 
      "guessvectorelement", "X783E8F427A23EAD1" ], 
  [ "\033[2XAsLinearMachine\033[0X", "6.1-12", [ 6, 1, 12 ], 375, 62, 
      "aslinearmachine", "X865EE2E887ECC079" ], 
  [ "\033[2XAsLinearElement\033[0X", "6.1-12", [ 6, 1, 12 ], 375, 62, 
      "aslinearelement", "X865EE2E887ECC079" ], 
  [ "\033[2XAsVectorMachine\033[0X", "6.1-13", [ 6, 1, 13 ], 435, 63, 
      "asvectormachine", "X82586DFB8458EF05" ], 
  [ "\033[2XAsVectorElement\033[0X", "6.1-13", [ 6, 1, 13 ], 435, 63, 
      "asvectorelement", "X82586DFB8458EF05" ], 
  [ "\033[2XAsAlgebraMachine\033[0X", "6.1-14", [ 6, 1, 14 ], 447, 63, 
      "asalgebramachine", "X7818245A7DABB311" ], 
  [ "\033[2XAsAlgebraElement\033[0X", "6.1-14", [ 6, 1, 14 ], 447, 63, 
      "asalgebraelement", "X7818245A7DABB311" ], 
  [ "\033[2XAsVectorMachine\033[0X (Linear machine)", "6.1-15", [ 6, 1, 15 ], 
      458, 64, "asvectormachine linear machine", "X7BDD40B27F7541B2" ], 
  [ "\033[2XAsVectorElement\033[0X (Linear machine)", "6.1-15", [ 6, 1, 15 ], 
      458, 64, "asvectorelement linear machine", "X7BDD40B27F7541B2" ], 
  [ "\033[2XAsAlgebraMachine\033[0X (Linear machine)", "6.1-16", 
      [ 6, 1, 16 ], 478, 64, "asalgebramachine linear machine", 
      "X8120605981DDE434" ], 
  [ "\033[2XAsAlgebraElement\033[0X (Linear machine)", "6.1-16", 
      [ 6, 1, 16 ], 478, 64, "asalgebraelement linear machine", 
      "X8120605981DDE434" ], 
  [ "\033[2XFRGroup\033[0X", "7.1-1", [ 7, 1, 1 ], 31, 65, "frgroup", 
      "X7AE8F92383272329" ], 
  [ "\033[2XFRMonoid\033[0X", "7.1-1", [ 7, 1, 1 ], 31, 65, "frmonoid", 
      "X7AE8F92383272329" ], 
  [ "\033[2XFRSemigroup\033[0X", "7.1-1", [ 7, 1, 1 ], 31, 65, "frsemigroup", 
      "X7AE8F92383272329" ], 
  [ "\033[2XSCGroup\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, "scgroup", 
      "X853E3F0680C76F56" ], 
  [ "\033[2XSCGroupNC\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, "scgroupnc", 
      "X853E3F0680C76F56" ], 
  [ "\033[2XSCMonoid\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, "scmonoid", 
      "X853E3F0680C76F56" ], 
  [ "\033[2XSCMonoidNC\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, "scmonoidnc", 
      "X853E3F0680C76F56" ], 
  [ "\033[2XSCSemigroup\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, 
      "scsemigroup", "X853E3F0680C76F56" ], 
  [ "\033[2XSCSemigroupNC\033[0X", "7.1-2", [ 7, 1, 2 ], 104, 67, 
      "scsemigroupnc", "X853E3F0680C76F56" ], 
  [ "\033[2XCorrespondence\033[0X (FR semigroup)", "7.1-3", [ 7, 1, 3 ], 166, 
      68, "correspondence fr semigroup", "X7F15D57A7959FEF6" ], 
  [ "\033[2XFullSCGroup\033[0X", "7.1-4", [ 7, 1, 4 ], 189, 68, 
      "fullscgroup", "X7D0B8334786E2802" ], 
  [ "\033[2XFullSCMonoid\033[0X", "7.1-4", [ 7, 1, 4 ], 189, 68, 
      "fullscmonoid", "X7D0B8334786E2802" ], 
  [ "\033[2XFullSCSemigroup\033[0X", "7.1-4", [ 7, 1, 4 ], 189, 68, 
      "fullscsemigroup", "X7D0B8334786E2802" ], 
  [ "\033[2XFRMachineFRGroup\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "frmachinefrgroup", "X7DB92C34827D513F" ], 
  [ "\033[2XFRMachineFRMonoid\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "frmachinefrmonoid", "X7DB92C34827D513F" ], 
  [ "\033[2XFRMachineFRSemigroup\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "frmachinefrsemigroup", "X7DB92C34827D513F" ], 
  [ "\033[2XMealyMachineFRGroup\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "mealymachinefrgroup", "X7DB92C34827D513F" ], 
  [ "\033[2XMealyMachineFRMonoid\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "mealymachinefrmonoid", "X7DB92C34827D513F" ], 
  [ "\033[2XMealyMachineFRSemigroup\033[0X", "7.1-5", [ 7, 1, 5 ], 242, 69, 
      "mealymachinefrsemigroup", "X7DB92C34827D513F" ], 
  [ "\033[2XIsomorphismFRGroup\033[0X", "7.1-6", [ 7, 1, 6 ], 293, 70, 
      "isomorphismfrgroup", "X7BF4AC9F830A8E1A" ], 
  [ "\033[2XIsomorphismFRMonoid\033[0X", "7.1-6", [ 7, 1, 6 ], 293, 70, 
      "isomorphismfrmonoid", "X7BF4AC9F830A8E1A" ], 
  [ "\033[2XIsomorphismFRSemigroup\033[0X", "7.1-6", [ 7, 1, 6 ], 293, 70, 
      "isomorphismfrsemigroup", "X7BF4AC9F830A8E1A" ], 
  [ "\033[2XIsomorphismMealyGroup\033[0X", "7.1-7", [ 7, 1, 7 ], 367, 71, 
      "isomorphismmealygroup", "X7DE1CAE981F2825B" ], 
  [ "\033[2XIsomorphismMealyMonoid\033[0X", "7.1-7", [ 7, 1, 7 ], 367, 71, 
      "isomorphismmealymonoid", "X7DE1CAE981F2825B" ], 
  [ "\033[2XIsomorphismMealySemigroup\033[0X", "7.1-7", [ 7, 1, 7 ], 367, 71, 
      "isomorphismmealysemigroup", "X7DE1CAE981F2825B" ], 
  [ "\033[2XFRGroupByVirtualEndomorphism\033[0X", "7.1-8", [ 7, 1, 8 ], 405, 
      72, "frgroupbyvirtualendomorphism", "X7BB8DDEA83946C73" ], 
  [ "\033[2XTreeWreathProduct\033[0X (FR group)", "7.1-9", [ 7, 1, 9 ], 465, 
      73, "treewreathproduct fr group", "X79D75A7D80DD9AD1" ], 
  [ "\033[2XWeaklyBranchedEmbedding\033[0X", "7.1-10", [ 7, 1, 10 ], 497, 73, 
      "weaklybranchedembedding", "X85840A047C04BFC6" ], 
  [ "\033[2XPermGroup\033[0X", "7.2-1", [ 7, 2, 1 ], 517, 73, "permgroup", 
      "X7C6D7BA0818A3A3D" ], 
  [ "\033[2XEpimorphismPermGroup\033[0X", "7.2-1", [ 7, 2, 1 ], 517, 73, 
      "epimorphismpermgroup", "X7C6D7BA0818A3A3D" ], 
  [ "\033[2XPcGroup\033[0X", "7.2-2", [ 7, 2, 2 ], 553, 74, "pcgroup", 
      "X8620BEAF7957FA4D" ], 
  [ "\033[2XEpimorphismPcGroup\033[0X", "7.2-2", [ 7, 2, 2 ], 553, 74, 
      "epimorphismpcgroup", "X8620BEAF7957FA4D" ], 
  [ "\033[2XTransMonoid\033[0X", "7.2-3", [ 7, 2, 3 ], 590, 75, 
      "transmonoid", "X79B8CFEA79987E12" ], 
  [ "\033[2XTransformationMonoid\033[0X", "7.2-3", [ 7, 2, 3 ], 590, 75, 
      "transformationmonoid", "X79B8CFEA79987E12" ], 
  [ "\033[2XEpimorphismTransMonoid\033[0X", "7.2-3", [ 7, 2, 3 ], 590, 75, 
      "epimorphismtransmonoid", "X79B8CFEA79987E12" ], 
  [ "\033[2XEpimorphismTransformationMonoid\033[0X", "7.2-3", [ 7, 2, 3 ], 
      590, 75, "epimorphismtransformationmonoid", "X79B8CFEA79987E12" ], 
  [ "\033[2XTransSemigroup\033[0X", "7.2-4", [ 7, 2, 4 ], 626, 75, 
      "transsemigroup", "X82BF1F2579A02C5E" ], 
  [ "\033[2XTransformationSemigroup\033[0X", "7.2-4", [ 7, 2, 4 ], 626, 75, 
      "transformationsemigroup", "X82BF1F2579A02C5E" ], 
  [ "\033[2XEpimorphismTransSemigroup\033[0X", "7.2-4", [ 7, 2, 4 ], 626, 75, 
      "epimorphismtranssemigroup", "X82BF1F2579A02C5E" ], 
  [ "\033[2XEpimorphismTransformationSemigroup\033[0X", "7.2-4", [ 7, 2, 4 ], 
      626, 75, "epimorphismtransformationsemigroup", "X82BF1F2579A02C5E" ], 
  [ "\033[2XEpimorphismGermGroup\033[0X", "7.2-5", [ 7, 2, 5 ], 661, 76, 
      "epimorphismgermgroup", "X7BDC634086437315" ], 
  [ "\033[2XEpimorphismGermGroup\033[0X (EGG0)", "7.2-5", [ 7, 2, 5 ], 661, 
      76, "epimorphismgermgroup egg0", "X7BDC634086437315" ], 
  [ "\033[2XStabilizerImage\033[0X", "7.2-6", [ 7, 2, 6 ], 701, 76, 
      "stabilizerimage", "X87378D53791D0B70" ], 
  [ "\033[2XLevelStabilizer\033[0X", "7.2-7", [ 7, 2, 7 ], 725, 77, 
      "levelstabilizer", "X7B4CD9CA872BA368" ], 
  [ "\033[2XIsStateClosedFRSemigroup\033[0X", "7.2-8", [ 7, 2, 8 ], 744, 77, 
      "isstateclosedfrsemigroup", "X7F65F07F85034B3B" ], 
  [ "\033[2XStateClosure\033[0X", "7.2-9", [ 7, 2, 9 ], 768, 78, 
      "stateclosure", "X79246DB482BEAF2D" ], 
  [ "\033[2XIsRecurrentFRSemigroup\033[0X", "7.2-10", [ 7, 2, 10 ], 787, 78, 
      "isrecurrentfrsemigroup", "X7E2F34417EBB7673" ], 
  [ "\033[2XIsLevelTransitive\033[0X (FR group)", "7.2-11", [ 7, 2, 11 ], 
      807, 78, "isleveltransitive fr group", "X7FBF56737D9063F4" ], 
  [ "\033[2XIsInfinitelyTransitive\033[0X", "7.2-12", [ 7, 2, 12 ], 827, 79, 
      "isinfinitelytransitive", "X7D95219481AEDD20" ], 
  [ "\033[2XIsFinitaryFRSemigroup\033[0X", "7.2-13", [ 7, 2, 13 ], 846, 79, 
      "isfinitaryfrsemigroup", "X7A6CB30181662C77" ], 
  [ "\033[2XIsWeaklyFinitaryFRSemigroup\033[0X", "7.2-13", [ 7, 2, 13 ], 846, 
      79, "isweaklyfinitaryfrsemigroup", "X7A6CB30181662C77" ], 
  [ "\033[2XIsBoundedFRSemigroup\033[0X", "7.2-13", [ 7, 2, 13 ], 846, 79, 
      "isboundedfrsemigroup", "X7A6CB30181662C77" ], 
  [ "\033[2XIsPolynomialGrowthFRSemigroup\033[0X", "7.2-13", [ 7, 2, 13 ], 
      846, 79, "ispolynomialgrowthfrsemigroup", "X7A6CB30181662C77" ], 
  [ "\033[2XIsFiniteStateFRSemigroup\033[0X", "7.2-13", [ 7, 2, 13 ], 846, 
      79, "isfinitestatefrsemigroup", "X7A6CB30181662C77" ], 
  [ "\033[2XDegree\033[0X (FR semigroup)", "7.2-14", [ 7, 2, 14 ], 874, 79, 
      "degree fr semigroup", "X791BCD9D782C6237" ], 
  [ "\033[2XDegreeOfFRSemigroup\033[0X", "7.2-14", [ 7, 2, 14 ], 874, 79, 
      "degreeoffrsemigroup", "X791BCD9D782C6237" ], 
  [ "\033[2XDepth\033[0X (FR semigroup)", "7.2-14", [ 7, 2, 14 ], 874, 79, 
      "depth fr semigroup", "X791BCD9D782C6237" ], 
  [ "\033[2XDepthOfFRSemigroup\033[0X", "7.2-14", [ 7, 2, 14 ], 874, 79, 
      "depthoffrsemigroup", "X791BCD9D782C6237" ], 
  [ "\033[2XHasOpenSetConditionFRSemigroup\033[0X", "7.2-15", [ 7, 2, 15 ], 
      898, 80, "hasopensetconditionfrsemigroup", "X7FA67E4387C91BD8" ], 
  [ "\033[2XIsContracting\033[0X", "7.2-16", [ 7, 2, 16 ], 913, 80, 
      "iscontracting", "X7EAB4B5B843C0EC5" ], 
  [ "\033[2XNucleusOfFRSemigroup\033[0X", "7.2-17", [ 7, 2, 17 ], 931, 80, 
      "nucleusoffrsemigroup", "X7CA062A67C1554BB" ], 
  [ "\033[2XNucleusMachine\033[0X (FR semigroup)", "7.2-18", [ 7, 2, 18 ], 
      951, 81, "nucleusmachine fr semigroup", "X8443D711796F06E4" ], 
  [ "\033[2XBranchingSubgroup\033[0X", "7.2-19", [ 7, 2, 19 ], 984, 81, 
      "branchingsubgroup", "X7A874A107D4944E1" ], 
  [ "\033[2XFindBranchingSubgroup\033[0X", "7.2-20", [ 7, 2, 20 ], 1006, 81, 
      "findbranchingsubgroup", "X78ADACCD8586D3C7" ], 
  [ "\033[2XIsBranched\033[0X (FR group)", "7.2-21", [ 7, 2, 21 ], 1038, 82, 
      "isbranched fr group", "X832D98E47ACA099C" ], 
  [ "\033[2XIsBranchingSubgroup\033[0X (FR semigroup)", "7.2-22", 
      [ 7, 2, 22 ], 1058, 82, "isbranchingsubgroup fr semigroup", 
      "X7A905CE87B49213F" ], 
  [ "\033[2XTopVertexTransformations\033[0X", "7.2-23", [ 7, 2, 23 ], 1076, 
      82, "topvertextransformations", "X8749E0797A99F531" ], 
  [ "\033[2XVertexTransformations\033[0X (FR semigroup)", "7.2-24", 
      [ 7, 2, 24 ], 1099, 83, "vertextransformations fr semigroup", 
      "X7C56C90086070A2E" ], 
  [ "\033[2XVirtualEndomorphism\033[0X", "7.2-25", [ 7, 2, 25 ], 1122, 83, 
      "virtualendomorphism", "X7DF2D9838625CDED" ], 
  [ "\033[2XEpimorphismFromFpGroup\033[0X", "7.2-26", [ 7, 2, 26 ], 1146, 84, 
      "epimorphismfromfpgroup", "X7C81CB1C7F0D7A90" ], 
  [ "\033[2XIsomorphismSubgroupFpGroup\033[0X", "7.2-27", [ 7, 2, 27 ], 1182, 
      84, "isomorphismsubgroupfpgroup", "X8740656382656D63" ], 
  [ "\033[2XAsSubgroupFpGroup\033[0X", "7.2-27", [ 7, 2, 27 ], 1182, 84, 
      "assubgroupfpgroup", "X8740656382656D63" ], 
  [ "\033[2XIsomorphismLpGroup\033[0X", "7.2-27", [ 7, 2, 27 ], 1182, 84, 
      "isomorphismlpgroup", "X8740656382656D63" ], 
  [ "\033[2XAsLpGroup\033[0X", "7.2-27", [ 7, 2, 27 ], 1182, 84, "aslpgroup", 
      "X8740656382656D63" ], 
  [ "\033[2XIsTorsionGroup\033[0X", "7.3-1", [ 7, 3, 1 ], 1226, 85, 
      "istorsiongroup", "X840ED7D279ECAB7F" ], 
  [ "\033[2XIsTorsionFreeGroup\033[0X", "7.3-2", [ 7, 3, 2 ], 1250, 85, 
      "istorsionfreegroup", "X7914F2D68077F503" ], 
  [ "\033[2XIsAmenableGroup\033[0X", "7.3-3", [ 7, 3, 3 ], 1271, 86, 
      "isamenablegroup", "X87E93FFC820ED40E" ], 
  [ "\033[2XIsVirtuallySimpleGroup\033[0X", "7.3-4", [ 7, 3, 4 ], 1286, 86, 
      "isvirtuallysimplegroup", "X873C0A7C8422C0C9" ], 
  [ "\033[2XIsResiduallyFinite\033[0X", "7.3-5", [ 7, 3, 5 ], 1295, 86, 
      "isresiduallyfinite", "X79A3A0CF82B6F089" ], 
  [ "\033[2XIsSQUniversal\033[0X", "7.3-6", [ 7, 3, 6 ], 1311, 86, 
      "issquniversal", "X86E1182E7EEFAADB" ], 
  [ "\033[2XIsJustInfinite\033[0X", "7.3-7", [ 7, 3, 7 ], 1324, 86, 
      "isjustinfinite", "X7FDAEAFF78A5E7D2" ], 
  [ "\033[2XFRAlgebra\033[0X", "8.1-1", [ 8, 1, 1 ], 22, 88, "fralgebra", 
      "X812FEA6778152E49" ], 
  [ "\033[2XFRAlgebraWithOne\033[0X", "8.1-1", [ 8, 1, 1 ], 22, 88, 
      "fralgebrawithone", "X812FEA6778152E49" ], 
  [ "\033[2XSCAlgebra\033[0X", "8.1-2", [ 8, 1, 2 ], 57, 89, "scalgebra", 
      "X844B890F7BF56236" ], 
  [ "\033[2XSCAlgebraWithOne\033[0X", "8.1-2", [ 8, 1, 2 ], 57, 89, 
      "scalgebrawithone", "X844B890F7BF56236" ], 
  [ "\033[2XSCAlgebraNC\033[0X", "8.1-2", [ 8, 1, 2 ], 57, 89, "scalgebranc", 
      "X844B890F7BF56236" ], 
  [ "\033[2XSCAlgebraWithOneNC\033[0X", "8.1-2", [ 8, 1, 2 ], 57, 89, 
      "scalgebrawithonenc", "X844B890F7BF56236" ], 
  [ "\033[2XBranchingIdeal\033[0X", "8.1-3", [ 8, 1, 3 ], 82, 89, 
      "branchingideal", "X81D8D0E886C8E143" ], 
  [ "\033[2XMatrixQuotient\033[0X", "8.2-1", [ 8, 2, 1 ], 94, 89, 
      "matrixquotient", "X8115B018871FD364" ], 
  [ "\033[2XEpimorphismMatrixQuotient\033[0X", "8.2-1", [ 8, 2, 1 ], 94, 89, 
      "epimorphismmatrixquotient", "X8115B018871FD364" ], 
  [ "\033[2XThinnedAlgebra\033[0X", "8.2-2", [ 8, 2, 2 ], 111, 90, 
      "thinnedalgebra", "X8150FC4E84D208C6" ], 
  [ "\033[2XThinnedAlgebraWithOne\033[0X", "8.2-2", [ 8, 2, 2 ], 111, 90, 
      "thinnedalgebrawithone", "X8150FC4E84D208C6" ], 
  [ "\033[2XNillity\033[0X", "8.2-3", [ 8, 2, 3 ], 132, 90, "nillity", 
      "X8572DCAE7F888DDA" ], 
  [ "\033[2XIMGFRMachine\033[0X (FR machine)", "9.1-1", [ 9, 1, 1 ], 24, 91, 
      "imgfrmachine fr machine", "X79C411167D97F0F9" ], 
  [ "\033[2XIMGRelator\033[0X", "9.1-2", [ 9, 1, 2 ], 43, 91, "imgrelator", 
      "X7BCE03F2827DAA0A" ], 
  [ "\033[2XMating\033[0X", "9.1-3", [ 9, 1, 3 ], 52, 92, "mating", 
      "X7AB029AE8590964E" ], 
  [ "\033[2XPolynomialFRMachine\033[0X", "9.1-4", [ 9, 1, 4 ], 70, 92, 
      "polynomialfrmachine", "X7D71EBDA7D7C3474" ], 
  [ "\033[2XPolynomialIMGMachine\033[0X", "9.1-4", [ 9, 1, 4 ], 70, 92, 
      "polynomialimgmachine", "X7D71EBDA7D7C3474" ], 
  [ "\033[2XPolynomialMealyMachine\033[0X", "9.1-4", [ 9, 1, 4 ], 70, 92, 
      "polynomialmealymachine", "X7D71EBDA7D7C3474" ], 
  [ "\033[2XDBRationalIMGGroup\033[0X", "9.1-5", [ 9, 1, 5 ], 155, 93, 
      "dbrationalimggroup", "X82F0B23486F2E3AC" ], 
  [ "\033[2XValueRational\033[0X", "9.1-6", [ 9, 1, 6 ], 185, 94, 
      "valuerational", "X7A32EC907B726CF7" ], 
  [ "\033[2XCriticalValuesQuadraticRational\033[0X", "9.1-7", [ 9, 1, 7 ], 
      203, 94, "criticalvaluesquadraticrational", "X789111E786DF284D" ], 
  [ "\033[2XCanonicalQuadraticRational\033[0X", "9.1-8", [ 9, 1, 8 ], 223, 
      94, "canonicalquadraticrational", "X7EA768B886A5C7F2" ], 
  [ "\033[2XPostCriticalMachine\033[0X", "9.1-9", [ 9, 1, 9 ], 245, 95, 
      "postcriticalmachine", "X8365719F7E03B7C3" ], 
  [ "\033[2XRationalFunction\033[0X", "9.2-1", [ 9, 2, 1 ], 282, 95, 
      "rationalfunction", "X7CC0BBAD807D1A45" ], 
  [ "\033[2XIMGFRMachine\033[0X (rational function)", "9.2-2", [ 9, 2, 2 ], 
      293, 96, "imgfrmachine rational function", "X7ED04E0884385D54" ], 
  [ "\033[2XFullBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 97, 
      "fullbinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XFiniteDepthBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 97, 
      "finitedepthbinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XFinitaryBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 97, 
      "finitarybinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XBoundedBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 97, 
      "boundedbinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XPolynomialGrowthBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 
      97, "polynomialgrowthbinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XFiniteStateBinaryGroup\033[0X", "10.1-1", [ 10, 1, 1 ], 11, 97, 
      "finitestatebinarygroup", "X7D774B847D81E6DE" ], 
  [ "\033[2XBinaryKneadingGroup\033[0X", "10.1-2", [ 10, 1, 2 ], 30, 97, 
      "binarykneadinggroup", "X813F53C57F41F5F5" ], 
  [ "\033[2XBinaryKneadingMachine\033[0X", "10.1-2", [ 10, 1, 2 ], 30, 97, 
      "binarykneadingmachine", "X813F53C57F41F5F5" ], 
  [ "\033[2XBasilicaGroup\033[0X", "10.1-3", [ 10, 1, 3 ], 79, 98, 
      "basilicagroup", "X7B8D49D079D336E8" ], 
  [ "\033[2XAddingGroup\033[0X", "10.1-4", [ 10, 1, 4 ], 98, 98, 
      "addinggroup", "X85F4FDF787173863" ], 
  [ "\033[2XAddingMachine\033[0X", "10.1-4", [ 10, 1, 4 ], 98, 98, 
      "addingmachine", "X85F4FDF787173863" ], 
  [ "\033[2XAddingElement\033[0X", "10.1-4", [ 10, 1, 4 ], 98, 98, 
      "addingelement", "X85F4FDF787173863" ], 
  [ "\033[2XBinaryAddingGroup\033[0X", "10.1-5", [ 10, 1, 5 ], 134, 99, 
      "binaryaddinggroup", "X7A4BB24A805CDF63" ], 
  [ "\033[2XBinaryAddingMachine\033[0X", "10.1-5", [ 10, 1, 5 ], 134, 99, 
      "binaryaddingmachine", "X7A4BB24A805CDF63" ], 
  [ "\033[2XBinaryAddingElement\033[0X", "10.1-5", [ 10, 1, 5 ], 134, 99, 
      "binaryaddingelement", "X7A4BB24A805CDF63" ], 
  [ "\033[2XMixerGroup\033[0X", "10.1-6", [ 10, 1, 6 ], 143, 99, 
      "mixergroup", "X78AFA63B86C94227" ], 
  [ "\033[2XMixerMachine\033[0X", "10.1-6", [ 10, 1, 6 ], 143, 99, 
      "mixermachine", "X78AFA63B86C94227" ], 
  [ "\033[2XSunicGroup\033[0X", "10.1-7", [ 10, 1, 7 ], 183, 100, 
      "sunicgroup", "X84C97E0687F119C0" ], 
  [ "\033[2XSunicmachine\033[0X", "10.1-7", [ 10, 1, 7 ], 183, 100, 
      "sunicmachine", "X84C97E0687F119C0" ], 
  [ "\033[2XGrigorchukMachines\033[0X", "10.1-8", [ 10, 1, 8 ], 206, 100, 
      "grigorchukmachines", "X79E3F3BE80F34590" ], 
  [ "\033[2XGrigorchukGroups\033[0X", "10.1-8", [ 10, 1, 8 ], 206, 100, 
      "grigorchukgroups", "X79E3F3BE80F34590" ], 
  [ "\033[2XGrigorchukMachine\033[0X", "10.1-9", [ 10, 1, 9 ], 243, 101, 
      "grigorchukmachine", "X85BAE48780E665A4" ], 
  [ "\033[2XGrigorchukGroup\033[0X", "10.1-9", [ 10, 1, 9 ], 243, 101, 
      "grigorchukgroup", "X85BAE48780E665A4" ], 
  [ "\033[2XGrigorchukOverGroup\033[0X", "10.1-10", [ 10, 1, 10 ], 259, 101, 
      "grigorchukovergroup", "X800640597E9C707D" ], 
  [ "\033[2XGrigorchukEvilTwin\033[0X", "10.1-11", [ 10, 1, 11 ], 282, 101, 
      "grigorchukeviltwin", "X7C58F33D825A473A" ], 
  [ "\033[2XBrunnerSidkiVieiraGroup\033[0X", "10.1-12", [ 10, 1, 12 ], 300, 
      102, "brunnersidkivieiragroup", "X7F93EC437B5AE276" ], 
  [ "\033[2XBrunnerSidkiVieiraMachine\033[0X", "10.1-12", [ 10, 1, 12 ], 300, 
      102, "brunnersidkivieiramachine", "X7F93EC437B5AE276" ], 
  [ "\033[2XAleshinGroups\033[0X", "10.1-13", [ 10, 1, 13 ], 322, 102, 
      "aleshingroups", "X7F8A028B799946D3" ], 
  [ "\033[2XAleshinMachines\033[0X", "10.1-13", [ 10, 1, 13 ], 322, 102, 
      "aleshinmachines", "X7F8A028B799946D3" ], 
  [ "\033[2XAleshinGroup\033[0X", "10.1-14", [ 10, 1, 14 ], 343, 102, 
      "aleshingroup", "X7C286D3A84790ECE" ], 
  [ "\033[2XAleshinMachine\033[0X", "10.1-14", [ 10, 1, 14 ], 343, 102, 
      "aleshinmachine", "X7C286D3A84790ECE" ], 
  [ "\033[2XBabyAleshinGroup\033[0X", "10.1-15", [ 10, 1, 15 ], 353, 103, 
      "babyaleshingroup", "X7E024B4D7BA411B1" ], 
  [ "\033[2XBabyAleshinMachine\033[0X", "10.1-15", [ 10, 1, 15 ], 353, 103, 
      "babyaleshinmachine", "X7E024B4D7BA411B1" ], 
  [ "\033[2XSidkiFreeGroup\033[0X", "10.1-16", [ 10, 1, 16 ], 376, 103, 
      "sidkifreegroup", "X8108E3A8872A6FFE" ], 
  [ "\033[2XGuptaSidkiGroups\033[0X", "10.1-17", [ 10, 1, 17 ], 385, 103, 
      "guptasidkigroups", "X82D3CB6A7C189C78" ], 
  [ "\033[2XGeneralizedGuptaSidkiGroups\033[0X", "10.1-17", [ 10, 1, 17 ], 
      385, 103, "generalizedguptasidkigroups", "X82D3CB6A7C189C78" ], 
  [ "\033[2XGuptaSidkiMachines\033[0X", "10.1-17", [ 10, 1, 17 ], 385, 103, 
      "guptasidkimachines", "X82D3CB6A7C189C78" ], 
  [ "\033[2XGuptaSidkiGroup\033[0X", "10.1-18", [ 10, 1, 18 ], 406, 104, 
      "guptasidkigroup", "X83E59288860EF661" ], 
  [ "\033[2XGuptaSidkiMachine\033[0X", "10.1-18", [ 10, 1, 18 ], 406, 104, 
      "guptasidkimachine", "X83E59288860EF661" ], 
  [ "\033[2XNeumannGroup\033[0X", "10.1-19", [ 10, 1, 19 ], 415, 104, 
      "neumanngroup", "X8521B4FF7BA189B2" ], 
  [ "\033[2XNeumannMachine\033[0X", "10.1-19", [ 10, 1, 19 ], 415, 104, 
      "neumannmachine", "X8521B4FF7BA189B2" ], 
  [ "\033[2XFabrykowskiGuptaGroup\033[0X", "10.1-20", [ 10, 1, 20 ], 434, 
      104, "fabrykowskiguptagroup", "X878D1C7080EA9797" ], 
  [ "\033[2XFabrykowskiGuptaGroups\033[0X", "10.1-20", [ 10, 1, 20 ], 434, 
      104, "fabrykowskiguptagroups", "X878D1C7080EA9797" ], 
  [ "\033[2XOtherSpinalGroup\033[0X", "10.1-21", [ 10, 1, 21 ], 448, 104, 
      "otherspinalgroup", "X864A87957D1E1AF6" ], 
  [ "\033[2XGammaPQMachine\033[0X", "10.1-22", [ 10, 1, 22 ], 457, 104, 
      "gammapqmachine", "X7A0319827CB51ED0" ], 
  [ "\033[2XGammaPQGroup\033[0X", "10.1-22", [ 10, 1, 22 ], 457, 104, 
      "gammapqgroup", "X7A0319827CB51ED0" ], 
  [ "\033[2XHanoiGroup\033[0X", "10.1-23", [ 10, 1, 23 ], 486, 105, 
      "hanoigroup", "X7A0BE9F57B401C5C" ], 
  [ "\033[2XDahmaniGroup\033[0X", "10.1-24", [ 10, 1, 24 ], 495, 105, 
      "dahmanigroup", "X7C7A0EEF7EFF8B99" ], 
  [ "\033[2XMamaghaniGroup\033[0X", "10.1-25", [ 10, 1, 25 ], 511, 105, 
      "mamaghanigroup", "X7C958AB78484E256" ], 
  [ "\033[2XWeierstrassGroup\033[0X", "10.1-26", [ 10, 1, 26 ], 522, 105, 
      "weierstrassgroup", "X86D952E8784E4D97" ], 
  [ "\033[2XFRAffineGroup\033[0X", "10.1-27", [ 10, 1, 27 ], 544, 106, 
      "fraffinegroup", "X86B124758135DFBD" ], 
  [ "\033[2XCayleyGroup\033[0X", "10.1-28", [ 10, 1, 28 ], 611, 107, 
      "cayleygroup", "X7CFBE31A78F2681B" ], 
  [ "\033[2XCayleyMachine\033[0X", "10.1-28", [ 10, 1, 28 ], 611, 107, 
      "cayleymachine", "X7CFBE31A78F2681B" ], 
  [ "\033[2XLamplighterGroup\033[0X", "10.1-28", [ 10, 1, 28 ], 611, 107, 
      "lamplightergroup", "X7CFBE31A78F2681B" ], 
  [ "\033[2XI2Machine\033[0X", "10.2-1", [ 10, 2, 1 ], 659, 108, "i2machine", 
      "X87541DA582705033" ], 
  [ "\033[2XI2Monoid\033[0X", "10.2-1", [ 10, 2, 1 ], 659, 108, "i2monoid", 
      "X87541DA582705033" ], 
  [ "\033[2XI4Machine\033[0X", "10.2-2", [ 10, 2, 2 ], 670, 108, "i4machine", 
      "X7B32ED3D8715FA4B" ], 
  [ "\033[2XI4Monoid\033[0X", "10.2-2", [ 10, 2, 2 ], 670, 108, "i4monoid", 
      "X7B32ED3D8715FA4B" ], 
  [ "\033[2XPSZAlgebra\033[0X", "10.3-1", [ 10, 3, 1 ], 684, 108, 
      "pszalgebra", "X80E15ABC879F8EE2" ], 
  [ "\033[2XGrigorchukThinnedAlgebra\033[0X", "10.3-2", [ 10, 3, 2 ], 706, 
      109, "grigorchukthinnedalgebra", "X7D015CA5829FAA2A" ], 
  [ "\033[2XGuptaSidkiThinnedAlgebra\033[0X", "10.3-3", [ 10, 3, 3 ], 717, 
      109, "guptasidkithinnedalgebra", "X7B66ED537D0A43AF" ], 
  [ "\033[2XSidkiFreeAlgebra\033[0X", "10.3-4", [ 10, 3, 4 ], 728, 109, 
      "sidkifreealgebra", "X7B0B5B09878C7CEA" ], 
  [ "\033[2XVHStructure\033[0X", "10.5-1", [ 10, 5, 1 ], 950, 113, 
      "vhstructure", "X7E0071D4838B239D" ], 
  [ "\033[2XIsVHGroup\033[0X", "10.5-1", [ 10, 5, 1 ], 950, 113, "isvhgroup", 
      "X7E0071D4838B239D" ], 
  [ "\033[2XVerticalAction\033[0X", "10.5-2", [ 10, 5, 2 ], 970, 113, 
      "verticalaction", "X7F852A357D7E2E76" ], 
  [ "\033[2XHorizontalAction\033[0X", "10.5-2", [ 10, 5, 2 ], 970, 113, 
      "horizontalaction", "X7F852A357D7E2E76" ], 
  [ "\033[2XVHGroup\033[0X", "10.5-3", [ 10, 5, 3 ], 988, 113, "vhgroup", 
      "X86B1C2F079FE8D82" ], 
  [ "\033[2XIsIrreducibleVHGroup\033[0X", "10.5-4", [ 10, 5, 4 ], 1002, 113, 
      "isirreduciblevhgroup", "X7D1FCB877D1B96EA" ], 
  [ "\033[2XMaximalSimpleSubgroup\033[0X", "10.5-5", [ 10, 5, 5 ], 1013, 114, 
      "maximalsimplesubgroup", "X84DB7FA4846075A7" ], 
  [ "\033[2XFRMFamily\033[0X", "11.1-1", [ 11, 1, 1 ], 21, 115, "frmfamily", 
      "X7F5497A47F8C81DD" ], 
  [ "\033[2XFREFamily\033[0X", "11.1-2", [ 11, 1, 2 ], 29, 115, "frefamily", 
      "X7C6A63427F6DB4C6" ], 
  [ "\033[2XAlphabetOfFRObject\033[0X", "11.1-3", [ 11, 1, 3 ], 39, 115, 
      "alphabetoffrobject", "X7BC9CD3685C26823" ], 
  [ "\033[2XAsPermutation\033[0X (FR object)", "11.1-4", [ 11, 1, 4 ], 48, 
      116, "aspermutation fr object", "X793E0E1283BE7C73" ], 
  [ "\033[2XAsTransformation\033[0X (FR object)", "11.1-5", [ 11, 1, 5 ], 59, 
      116, "astransformation fr object", "X7B41902D87A48EDB" ], 
  [ "\033[2XIsGroupFRMachine\033[0X", "11.2-1", [ 11, 2, 1 ], 74, 116, 
      "isgroupfrmachine", "X7CC0BFD67CE7060E" ], 
  [ "\033[2XIsMonoidFRMachine\033[0X", "11.2-1", [ 11, 2, 1 ], 74, 116, 
      "ismonoidfrmachine", "X7CC0BFD67CE7060E" ], 
  [ "\033[2XIsSemigroupFRMachine\033[0X", "11.2-1", [ 11, 2, 1 ], 74, 116, 
      "issemigroupfrmachine", "X7CC0BFD67CE7060E" ], 
  [ "\033[2XIsFRMachineStrRep\033[0X", "11.2-2", [ 11, 2, 2 ], 87, 116, 
      "isfrmachinestrrep", "X8157AE587CBA24C4" ], 
  [ "\033[2XIsMealyMachine\033[0X", "11.2-3", [ 11, 2, 3 ], 96, 116, 
      "ismealymachine", "X79C2395A7D65214B" ], 
  [ "\033[2XIsMealyElement\033[0X", "11.2-4", [ 11, 2, 4 ], 104, 117, 
      "ismealyelement", "X7C86614187606A4C" ], 
  [ "\033[2XIsMealyMachineIntRep\033[0X", "11.2-5", [ 11, 2, 5 ], 112, 117, 
      "ismealymachineintrep", "X78E206B28015A395" ], 
  [ "\033[2XIsMealyMachineDomainRep\033[0X", "11.2-6", [ 11, 2, 6 ], 125, 
      117, "ismealymachinedomainrep", "X7AE5B4257E2DB7E6" ], 
  [ "\033[2XIsVectorFRMachineRep\033[0X", "11.2-7", [ 11, 2, 7 ], 138, 117, 
      "isvectorfrmachinerep", "X8087EE9F79E8E339" ], 
  [ "\033[2XIsAlgebraFRMachineRep\033[0X", "11.2-8", [ 11, 2, 8 ], 148, 117, 
      "isalgebrafrmachinerep", "X7859869E7FEDA49F" ], 
  [ "\033[2XIsLinearFRMachine\033[0X", "11.2-9", [ 11, 2, 9 ], 162, 117, 
      "islinearfrmachine", "X877B1EBD80170001" ], 
  [ "\033[2XIsLinearFRElement\033[0X", "11.2-10", [ 11, 2, 10 ], 170, 118, 
      "islinearfrelement", "X823F46A67D458AAD" ], 
  [ "\033[2XIsFRElement\033[0X", "11.2-11", [ 11, 2, 11 ], 178, 118, 
      "isfrelement", "X7966F9B982B1DFE1" ], 
  [ "\033[2XIsFRObject\033[0X", "11.2-12", [ 11, 2, 12 ], 189, 118, 
      "isfrobject", "X785D09F27DBDF6A8" ], 
  [ "\033[2XIsFRMachine\033[0X", "11.2-13", [ 11, 2, 13 ], 199, 118, 
      "isfrmachine", "X7C22A1A28058F754" ], 
  [ "\033[2XIsInvertible\033[0X", "11.2-14", [ 11, 2, 14 ], 212, 118, 
      "isinvertible", "X83AEFB8184F4B023" ], 
  [ "\033[2XIsFRGroup\033[0X", "11.2-15", [ 11, 2, 15 ], 232, 119, 
      "isfrgroup", "X81D717E187305F2A" ], 
  [ "\033[2XIsFRMonoid\033[0X", "11.2-15", [ 11, 2, 15 ], 232, 119, 
      "isfrmonoid", "X81D717E187305F2A" ], 
  [ "\033[2XIsFRSemigroup\033[0X", "11.2-15", [ 11, 2, 15 ], 232, 119, 
      "isfrsemigroup", "X81D717E187305F2A" ], 
  [ "\033[2XIsFRAlgebra\033[0X", "11.2-16", [ 11, 2, 16 ], 242, 119, 
      "isfralgebra", "X853B16B381CB5366" ], 
  [ "\033[2XIsFRAlgebraWithOne\033[0X", "11.2-16", [ 11, 2, 16 ], 242, 119, 
      "isfralgebrawithone", "X853B16B381CB5366" ], 
  [ "\033[2XFRMachineRWS\033[0X", "11.3-1", [ 11, 3, 1 ], 258, 119, 
      "frmachinerws", "X84278D6F7AAD101F" ], 
  [ "\033[2Xmaybe\033[0X", "12.1-1", [ 12, 1, 1 ], 7, 123, "maybe", 
      "X7AF592A57A86A158" ], 
  [ "\033[2XReturnMaybe\033[0X", "12.1-2", [ 12, 1, 2 ], 15, 123, 
      "returnmaybe", "X7FFD58887FB6D36D" ], 
  [ "\033[2XTensorSum\033[0X", "12.1-3", [ 12, 1, 3 ], 22, 123, "tensorsum", 
      "X844D3035877B5052" ], 
  [ "\033[2XTensorProductX\033[0X", "12.1-4", [ 12, 1, 4 ], 30, 123, 
      "tensorproductx", "X868A30347924CEDF" ], 
  [ "\033[2XDirectSum\033[0X", "12.1-5", [ 12, 1, 5 ], 38, 123, "directsum", 
      "X82AD6F187B550060" ], 
  [ "\033[2XPeriodicList\033[0X", "12.1-6", [ 12, 1, 6 ], 46, 124, 
      "periodiclist", "X7B401DFE817D3927" ], 
  [ "\033[2XPeriodicList\033[0X (period, looping point)", "12.1-6", 
      [ 12, 1, 6 ], 46, 124, "periodiclist period looping point", 
      "X7B401DFE817D3927" ], 
  [ "\033[2XPeriodicList\033[0X (list, function)", "12.1-6", [ 12, 1, 6 ], 
      46, 124, "periodiclist list function", "X7B401DFE817D3927" ], 
  [ "\033[2XCompressedPeriodicList\033[0X", "12.1-6", [ 12, 1, 6 ], 46, 124, 
      "compressedperiodiclist", "X7B401DFE817D3927" ], 
  [ "\033[2XCompressedPeriodicList\033[0X (period, looping point)", "12.1-6", 
      [ 12, 1, 6 ], 46, 124, "compressedperiodiclist period looping point", 
      "X7B401DFE817D3927" ], 
  [ "\033[2XPrePeriod\033[0X", "12.1-6", [ 12, 1, 6 ], 46, 124, "preperiod", 
      "X7B401DFE817D3927" ], 
  [ "\033[2XPeriod\033[0X", "12.1-6", [ 12, 1, 6 ], 46, 124, "period", 
      "X7B401DFE817D3927" ], 
  [ "\033[2XCompressPeriodicList\033[0X", "12.1-7", [ 12, 1, 7 ], 92, 124, 
      "compressperiodiclist", "X7AFE88F37FC58083" ], 
  [ "\033[2XIsConfinal\033[0X", "12.1-8", [ 12, 1, 8 ], 110, 125, 
      "isconfinal", "X7CA5FA3F7AF9BA3D" ], 
  [ "\033[2XConfinalityClass\033[0X", "12.1-9", [ 12, 1, 9 ], 128, 125, 
      "confinalityclass", "X86AB4AFF7B1613E3" ], 
  [ "\033[2XLargestCommonPrefix\033[0X", "12.1-10", [ 12, 1, 10 ], 144, 125, 
      "largestcommonprefix", "X84FB28807BC8A502" ], 
  [ "\033[2XWordGrowth\033[0X", "12.1-11", [ 12, 1, 11 ], 158, 125, 
      "wordgrowth", "X7BFF1432803C9172" ], 
  [ "\033[2XOrbitGrowth\033[0X", "12.1-11", [ 12, 1, 11 ], 158, 125, 
      "orbitgrowth", "X7BFF1432803C9172" ], 
  [ "\033[2XBall\033[0X", "12.1-11", [ 12, 1, 11 ], 158, 125, "ball", 
      "X7BFF1432803C9172" ], 
  [ "\033[2XSphere\033[0X", "12.1-11", [ 12, 1, 11 ], 158, 125, "sphere", 
      "X7BFF1432803C9172" ], 
  [ "\033[2XShortGroupRelations\033[0X", "12.1-12", [ 12, 1, 12 ], 270, 127, 
      "shortgrouprelations", "X868E478F86A10CFF" ], 
  [ "\033[2XShortMonoidRelations\033[0X", "12.1-12", [ 12, 1, 12 ], 270, 127, 
      "shortmonoidrelations", "X868E478F86A10CFF" ], 
  [ "\033[2XShortGroupWordInSet\033[0X", "12.1-13", [ 12, 1, 13 ], 307, 128, 
      "shortgroupwordinset", "X7B9942AA84B0753E" ], 
  [ "\033[2XShortMonoidWordInSet\033[0X", "12.1-13", [ 12, 1, 13 ], 307, 128, 
      "shortmonoidwordinset", "X7B9942AA84B0753E" ], 
  [ "\033[2XShortSemigroupWordInSet\033[0X", "12.1-13", [ 12, 1, 13 ], 307, 
      128, "shortsemigroupwordinset", "X7B9942AA84B0753E" ], 
  [ "\033[2XSurfaceBraidFpGroup\033[0X", "12.1-14", [ 12, 1, 14 ], 341, 128, 
      "surfacebraidfpgroup", "X84472A637B648C47" ], 
  [ "\033[2XPureSurfaceBraidFpGroup\033[0X", "12.1-14", [ 12, 1, 14 ], 341, 
      128, "puresurfacebraidfpgroup", "X84472A637B648C47" ], 
  [ "\033[2XCharneyBraidFpGroup\033[0X", "12.1-15", [ 12, 1, 15 ], 360, 128, 
      "charneybraidfpgroup", "X87E12292861FFE79" ], 
  [ "\033[2XArtinRepresentation\033[0X", "12.1-16", [ 12, 1, 16 ], 370, 129, 
      "artinrepresentation", "X814375977D2E4AD9" ], 
  [ "\033[2XStringByInt\033[0X", "12.1-17", [ 12, 1, 17 ], 379, 129, 
      "stringbyint", "X7E4966327C37C790" ], 
  [ "\033[2XPositionTower\033[0X", "12.1-18", [ 12, 1, 18 ], 387, 129, 
      "positiontower", "X7979A86E781759F0" ], 
  [ "\033[2XCoefficientsInAbelianExtension\033[0X", "12.1-19", [ 12, 1, 19 ], 
      399, 129, "coefficientsinabelianextension", "X79016B3878B5EFAA" ], 
  [ "\033[2XMagmaEndomorphismByImagesNC\033[0X", "12.1-20", [ 12, 1, 20 ], 
      408, 129, "magmaendomorphismbyimagesnc", "X8624AFAD872509D8" ], 
  [ "\033[2XMagmaHomomorphismByImagesNC\033[0X", "12.1-21", [ 12, 1, 21 ], 
      418, 129, "magmahomomorphismbyimagesnc", "X7F7E6457877F69EC" ], 
  [ "\033[2XNewFIFO\033[0X", "12.1-22", [ 12, 1, 22 ], 428, 130, "newfifo", 
      "X7D44289E861E3343" ], 
  [ "\033[2XAdd\033[0X (FIFO)", "12.1-22", [ 12, 1, 22 ], 428, 130, 
      "add fifo", "X7D44289E861E3343" ], 
  [ "\033[2XAppend\033[0X (FIFO)", "12.1-22", [ 12, 1, 22 ], 428, 130, 
      "append fifo", "X7D44289E861E3343" ], 
  [ "\033[2XProductIdeal\033[0X", "12.1-23", [ 12, 1, 23 ], 452, 130, 
      "productideal", "X86AC1C028093204D" ], 
  [ "\033[2XProductBOIIdeal\033[0X", "12.1-23", [ 12, 1, 23 ], 452, 130, 
      "productboiideal", "X86AC1C028093204D" ], 
  [ "\033[2XDimensionSeries\033[0X", "12.1-24", [ 12, 1, 24 ], 465, 130, 
      "dimensionseries", "X794940277C9AD85C" ], 
  [ "\033[2XTrans\033[0X", "12.1-25", [ 12, 1, 25 ], 493, 131, "trans", 
      "X7CA512F481AADD38" ], 
  [ "\033[2XInfoFR\033[0X", "12.2-1", [ 12, 2, 1 ], 533, 131, "infofr", 
      "X7E95AC267805E4C1" ], 
  [ "\033[2XFR_SEARCH\033[0X", "12.2-2", [ 12, 2, 2 ], 550, 132, "fr_search", 
      "X7DBA334C83DE0619" ] ]
);