\GAPDocLabFile{ctbllib}
\makelabel{ctbllib:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{ctbllib:Copyright}{}{X81488B807F2A1CF1}
\makelabel{ctbllib:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{ctbllib:Introduction to the GAP Character Table Library}{1}{X86DEA3CF7802FFF7}
\makelabel{ctbllib:History of the GAP Character Table Library}{1.1}{X7ED5D4B77E9F2A4C}
\makelabel{ctbllib:What's New in CTblLib, Compared to Older Versions?}{1.2}{X7DFD446B7840A6E0}
\makelabel{ctbllib:What's New in Version 1.3.11? (May 2025)}{1.2.1}{X84BDBA6B7F5900CC}
\makelabel{ctbllib:What's New in Version 1.3.9? (March 2024)}{1.2.2}{X85710FDF79D428D2}
\makelabel{ctbllib:What's New in Version 1.3.8? (March 2024)}{1.2.3}{X78A8624787A5F2BB}
\makelabel{ctbllib:What's New in Version 1.3.7? (January 2024)}{1.2.4}{X87C0A6BA86AF8C25}
\makelabel{ctbllib:What's New in Version 1.3.6? (May 2023)}{1.2.5}{X788E2D9E8715CEBF}
\makelabel{ctbllib:What's New in Version 1.3.5? (March 2023)}{1.2.6}{X853CED1A7F4A7CB6}
\makelabel{ctbllib:What's New in Version 1.3.4? (April 2022)}{1.2.7}{X8673993582B1792E}
\makelabel{ctbllib:What's New in Version 1.3.3? (January 2022)}{1.2.8}{X81F15ABF81515359}
\makelabel{ctbllib:What's New in Version 1.3.2? (March 2021)}{1.2.9}{X7C0B3B6D7EC044DC}
\makelabel{ctbllib:What's New in Version 1.3.1? (April 2020)}{1.2.10}{X79418416826FE5F2}
\makelabel{ctbllib:What's New in Version 1.3.0? (December 2019)}{1.2.11}{X83D8236D7E750DFE}
\makelabel{ctbllib:What's New in Version 1.2.2? (March 2013)}{1.2.12}{X7BC6B5FD7F720EA0}
\makelabel{ctbllib:What's New in Version 1.2.0 and 1.2.1? (May 2012)}{1.2.13}{X7E26A5FD7EBB4FA1}
\makelabel{ctbllib:What's New in Version 1.1? (November 2003)}{1.2.14}{X79402202865D152A}
\makelabel{ctbllib:Acknowledgements}{1.3}{X82A988D47DFAFCFA}
\makelabel{ctbllib:Tutorial for the GAP Character Table Library}{2}{X7C4E7E1181E82D8E}
\makelabel{ctbllib:Concepts used in the GAP Character Table Library}{2.1}{X86B34875862028E8}
\makelabel{ctbllib:Accessing a Character Table from the Library}{2.2}{X84930B2D7849E019}
\makelabel{ctbllib:Accessing a Character Table via a name}{2.2.1}{X8658DC3A83B5A98B}
\makelabel{ctbllib:Accessing a Character Table via properties}{2.2.2}{X7AA474817D17BF49}
\makelabel{ctbllib:Accessing a Character Table via a Table of Marks}{2.2.3}{X7C6BFB4384CAFFC8}
\makelabel{ctbllib:Accessing a Character Table relative to another Character Table}{2.2.4}{X7E6AF18C7F139F54}
\makelabel{ctbllib:Different character tables for the same group}{2.2.5}{X7CD1E9AA871848EC}
\makelabel{ctbllib:Examples of Using the GAP Character Table Library}{2.3}{X83B721F3801ED6D1}
\makelabel{ctbllib:Example: Ambivalent Simple Groups}{2.3.1}{X87AC9A4181AC369C}
\makelabel{ctbllib:Example: Simple p-pure Groups}{2.3.2}{X7AD705F685FBF179}
\makelabel{ctbllib:Example: Simple Groups with only one p-Block}{2.3.3}{X7C2C7B138646D0C5}
\makelabel{ctbllib:Example:The Sylow 3 subgroup of 3.O'N}{2.3.4}{X7FA308D585DC1B40}
\makelabel{ctbllib:Example: Primitive Permutation Characters of 2.A6}{2.3.5}{X83BF83D87BC1B123}
\makelabel{ctbllib:Example: A Permutation Character of Fi23}{2.3.6}{X808DD8997F10D429}
\makelabel{ctbllib:Example: Non-commutators in the commutator group}{2.3.7}{X7A23CB7D8267FE55}
\makelabel{ctbllib:Example: An irreducible 11-modular character of J4 (December 2018)}{2.3.8}{X79CDDEE67A41EAB8}
\makelabel{ctbllib:Example: Tensor Products that are Generalized Projectives (October 2019)}{2.3.9}{X8135F74080E50B14}
\makelabel{ctbllib:Example: Certain elementary abelian subgroups in quasisimple groups (November 2020)}{2.3.10}{X7AD5E36B7D44C507}
\makelabel{ctbllib:The User Interface to the GAP Character Table Library}{3}{X7EB517EB7A50A58F}
\makelabel{ctbllib:Accessing Data of the CTblLib Package}{3.1}{X7A5EECF8853A05A0}
\makelabel{ctbllib:Admissible Names for Character Tables in CTblLib}{3.1.1}{X818A9DE5799A4809}
\makelabel{ctbllib:The Interface to the TomLib Package}{3.2}{X7EED71B4827BEBFA}
\makelabel{ctbllib:The Interface to GAP's Group Libraries}{3.3}{X83D85EB2792D9D22}
\makelabel{ctbllib:Unipotent Characters of Finite Groups of Lie Type}{3.4}{X7C1F6C01852D7933}
\makelabel{ctbllib:Browse Applications Provided by CTblLib}{3.5}{X7900893987A89915}
\makelabel{ctbllib:Duplicates of Library Character Tables}{3.6}{X7E5CFB187E313B11}
\makelabel{ctbllib:Attributes for Library Character Tables}{3.7}{X7CCFEC998135F6FA}
\makelabel{ctbllib:Contents of the GAP Character Table Library}{4}{X85854AF07F2F8745}
\makelabel{ctbllib:Ordinary and Brauer Tables in the GAP Character Table Library}{4.1}{X80EEFF8B79856A75}
\makelabel{ctbllib:Ordinary Character Tables}{4.1.1}{X8569BC8E7A9D4BCE}
\makelabel{ctbllib:Brauer Tables}{4.1.2}{X7AD048607A08C6FF}
\makelabel{ctbllib:Generic Character Tables}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:Available generic character tables}{4.2.1}{X78CD9A2D8680506B}
\makelabel{ctbllib:Components of generic character tables}{4.2.3}{X7C2CB9E07990B63D}
\makelabel{ctbllib:Example: The generic table of cyclic groups}{4.2.4}{X7D693E9787073E30}
\makelabel{ctbllib:Example: The generic table of the general linear group GL(2,q)}{4.2.5}{X81231BCE79486FA3}
\makelabel{ctbllib:Atlas Tables}{4.3}{X7F44BD4B79473085}
\makelabel{ctbllib:Improvements to the Atlas}{4.3.1}{X7CC608CD8690F9B1}
\makelabel{ctbllib:Power Maps}{4.3.2}{X7FED949A86575949}
\makelabel{ctbllib:Projective Characters and Projections}{4.3.3}{X824823F47BB6AD6C}
\makelabel{ctbllib:Tables of Isoclinic Groups}{4.3.4}{X78732CDF85FB6774}
\makelabel{ctbllib:Ordering of Characters and Classes}{4.3.5}{X7C4B91CD84D5CDCC}
\makelabel{ctbllib:Examples of the Atlas Format for GAP Tables}{4.3.7}{X827044A37C04C0D1}
\makelabel{ctbllib:CAS Tables}{4.4}{X7BC3F0B0814D5B67}
\makelabel{ctbllib:Customizations of the GAP Character Table Library}{4.5}{X835811C279FB1E56}
\makelabel{ctbllib:Installing the GAP Character Table Library}{4.5.1}{X8202ACD57ACD5CAC}
\makelabel{ctbllib:Unloading Character Table Data}{4.5.2}{X83FA9D6B86150501}
\makelabel{ctbllib:Changing the display format of several functions}{4.5.3}{X7E859C3482F27089}
\makelabel{ctbllib:User preference MagmaPath}{4.5.4}{X7DFAD31F84F55870}
\makelabel{ctbllib:Technicalities of the Access to Character Tables from the Library}{4.6}{X8782716579A1B993}
\makelabel{ctbllib:Data Files of the GAP Character Table Library}{4.6.1}{X84E18B0B84F50B1E}
\makelabel{ctbllib:How to Extend the GAP Character Table Library}{4.7}{X78FFDF0F83E7EB0D}
\makelabel{ctbllib:Sanity Checks for the GAP Character Table Library}{4.8}{X7E3235FD7864A672}
\makelabel{ctbllib:Maintenance of the GAP Character Table Library}{4.9}{X7D24C9D17DAB50D0}
\makelabel{ctbllib:Functions for Character Table Constructions}{5}{X7B915AD178236991}
\makelabel{ctbllib:Character Tables of Groups of Structure M.G.A}{5.1}{X7C32AA0784A79D53}
\makelabel{ctbllib:Character Tables of Groups of Structure G.S3}{5.2}{X821F4CB186913250}
\makelabel{ctbllib:CharacterTableOfTypeGS3}{5.2.1}{X7E06095E7CB3316D}
\makelabel{ctbllib:Character Tables of Groups of Structure G.22}{5.3}{X83EB02D38624821C}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeGV4}{5.3.1}{X7CACDDED7A8C1CF9}
\makelabel{ctbllib:Character Tables of Groups of Structure 22.G}{5.4}{X79142119791673EF}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeV4G}{5.4.1}{X7E7043A5857B9240}
\makelabel{ctbllib:BrauerTableOfTypeV4G}{5.4.2}{X8536F9027F097C79}
\makelabel{ctbllib:Character Tables of Subdirect Products of Index Two}{5.5}{X7B7282A37F293B36}
\makelabel{ctbllib:Brauer Tables of Extensions by p-regular Automorphisms}{5.6}{X81255DAA7AB13278}
\makelabel{ctbllib:Character Tables of Coprime Central Extensions}{5.7}{X844C69217B80537A}
\makelabel{ctbllib:Construction Functions used in the Character Table Library}{5.8}{X874C19D079CE0BE0}
\makelabel{ctbllib:Interfaces to Other Data Formats for Character Tables}{6}{X81C250407B91443F}
\makelabel{ctbllib:Interface to the CAS System}{6.1}{X79F5E5A283E0D190}
\makelabel{ctbllib:Interface to the MOC System}{6.2}{X835EE8028539BB63}
\makelabel{ctbllib:Interface to GAP 3}{6.3}{X80E1850F7DCED030}
\makelabel{ctbllib:Interface to the Cambridge Format}{6.4}{X7806073380076800}
\makelabel{ctbllib:Interface to the MAGMA System}{6.5}{X8676916F81F40A0F}
\makelabel{ctbllib:Utility Functions Provided by the CTblLib Package}{7}{X797E1693780F1093}
\makelabel{ctbllib:Write Character Values in Terms of Atomic Atlas Irrationalities}{7.1}{X7BC89F7C8460E979}
\makelabel{ctbllib:Create a String that Describes the Group Structure}{7.2}{X7D867FE08240B83B}
\makelabel{ctbllib:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{ctbllib:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{ctbllib:Index}{Ind}{X83A0356F839C696F}
\makelabel{ctbllib:CTblLib}{}{X7D2C85EC87DD46E5}
\makelabel{ctbllib:License}{}{X81488B807F2A1CF1}
\makelabel{ctbllib:CharacterTable for a string}{3.1.2}{X86C06F408706F27A}
\makelabel{ctbllib:BrauerTable for a string, and a prime integer}{3.1.3}{X7E42C22278DA4048}
\makelabel{ctbllib:AllCharacterTableNames}{3.1.4}{X7C091641852BB6FE}
\makelabel{ctbllib:selection function!for character tables}{3.1.4}{X7C091641852BB6FE}
\makelabel{ctbllib:OneCharacterTableName}{3.1.5}{X7EC4A57E8393D75C}
\makelabel{ctbllib:NameOfEquivalentLibraryCharacterTable}{3.1.6}{X845DEEE282D4F1EB}
\makelabel{ctbllib:NamesOfEquivalentLibraryCharacterTables}{3.1.6}{X845DEEE282D4F1EB}
\makelabel{ctbllib:TableOfMarks for a character table from the library}{3.2.1}{X8400C0397CA2FA3C}
\makelabel{ctbllib:CharacterTable for a table of marks}{3.2.2}{X87110C1584D09BE4}
\makelabel{ctbllib:FusionCharTableTom}{3.2.3}{X7A82CB487DBDDC53}
\makelabel{ctbllib:FusionToTom}{3.2.4}{X7B1AAED68753B1BE}
\makelabel{ctbllib:NameOfLibraryCharacterTable}{3.2.5}{X8435BFE878FFFDAB}
\makelabel{ctbllib:GroupInfoForCharacterTable}{3.3.1}{X78DCD38B7D96D8A4}
\makelabel{ctbllib:KnowsSomeGroupInfo}{3.3.2}{X87CFDC8081767CA4}
\makelabel{ctbllib:CharacterTableForGroupInfo}{3.3.3}{X78B7A5DB87B5285C}
\makelabel{ctbllib:GroupForGroupInfo}{3.3.4}{X804D2AC37E0D4755}
\makelabel{ctbllib:GroupForTom}{3.3.5}{X83B9EFB47CE0A617}
\makelabel{ctbllib:AtlasStabilizer}{3.3.6}{X8032EF83823B1D88}
\makelabel{ctbllib:IsNontrivialDirectProduct}{3.3.7}{X7AADD757809DFDD5}
\makelabel{ctbllib:character unipotent}{3.4}{X7C1F6C01852D7933}
\makelabel{ctbllib:UnipotentCharacter}{3.4.1}{X79F645F278C27F23}
\makelabel{ctbllib:DeligneLusztigNames}{3.4.2}{X803FD7F87AFBBDE4}
\makelabel{ctbllib:DeligneLusztigName}{3.4.3}{X84B9D8EF84EB4145}
\makelabel{ctbllib:KnowsDeligneLusztigNames}{3.4.4}{X78A05C0A82E23048}
\makelabel{ctbllib:DisplayCTblLibInfo for a character table}{3.5.1}{X8684C73E844E7033}
\makelabel{ctbllib:DisplayCTblLibInfo for a name}{3.5.1}{X8684C73E844E7033}
\makelabel{ctbllib:StringCTblLibInfo for a character table}{3.5.1}{X8684C73E844E7033}
\makelabel{ctbllib:StringCTblLibInfo for a name}{3.5.1}{X8684C73E844E7033}
\makelabel{ctbllib:BrowseCTblLibInfo}{3.5.2}{X7A038A267CD17032}
\makelabel{ctbllib:BrowseCTblLibInfo for a character table}{3.5.2}{X7A038A267CD17032}
\makelabel{ctbllib:BrowseCTblLibInfo for a name}{3.5.2}{X7A038A267CD17032}
\makelabel{ctbllib:BrowseCommonIrrationalities}{3.5.3}{X83FDD44E7E0AE885}
\makelabel{ctbllib:BrowseCTblLibDifferences}{3.5.4}{X87CA74CF7B533CC6}
\makelabel{ctbllib:BrowseAtlasContents}{3.5.5}{X8135745381E1C0E2}
\makelabel{ctbllib:DisplayAtlasContents}{3.5.6}{X810789F77F20C839}
\makelabel{ctbllib:StringAtlasContents}{3.5.6}{X810789F77F20C839}
\makelabel{ctbllib:BrowseAtlasMap}{3.5.7}{X86AC6408815EF122}
\makelabel{ctbllib:DisplayAtlasMap for the name of a simple group}{3.5.8}{X875A6BB485A49976}
\makelabel{ctbllib:DisplayAtlasMap for a record}{3.5.8}{X875A6BB485A49976}
\makelabel{ctbllib:StringsAtlasMap for the name of a simple group}{3.5.8}{X875A6BB485A49976}
\makelabel{ctbllib:StringsAtlasMap for a record}{3.5.8}{X875A6BB485A49976}
\makelabel{ctbllib:BrowseAtlasTable}{3.5.9}{X79DC72707B08A701}
\makelabel{ctbllib:BrowseAtlasImprovements}{3.5.10}{X79E3F783818FE75A}
\makelabel{ctbllib:duplicate character table}{3.6}{X7E5CFB187E313B11}
\makelabel{ctbllib:IsDuplicateTable}{3.6.1}{X7FD4A9DF7CBAA418}
\makelabel{ctbllib:IdentifierOfMainTable}{3.6.2}{X860F49407882658F}
\makelabel{ctbllib:IdentifiersOfDuplicateTables}{3.6.3}{X7C83435B78DE62F6}
\makelabel{ctbllib:Maxes}{3.7.1}{X8150E63F7DBDF252}
\makelabel{ctbllib:ProjectivesInfo}{3.7.2}{X82DC2E7779322DA8}
\makelabel{ctbllib:ExtensionInfoCharacterTable}{3.7.3}{X82A008987DB887C2}
\makelabel{ctbllib:ConstructionInfoCharacterTable}{3.7.4}{X851118377D1D6EC9}
\makelabel{ctbllib:InfoText}{3.7.5}{X871562FD7F982C12}
\makelabel{ctbllib:IsAtlasCharacterTable}{3.7.6}{X867813EB79DC6953}
\makelabel{ctbllib:character tables!library of}{4}{X85854AF07F2F8745}
\makelabel{ctbllib:tables!library of}{4}{X85854AF07F2F8745}
\makelabel{ctbllib:library tables}{4}{X85854AF07F2F8745}
\makelabel{ctbllib:generic character tables}{4}{X85854AF07F2F8745}
\makelabel{ctbllib:character tables!library of}{4.1}{X80EEFF8B79856A75}
\makelabel{ctbllib:tables!library of}{4.1}{X80EEFF8B79856A75}
\makelabel{ctbllib:library of character tables}{4.1}{X80EEFF8B79856A75}
\makelabel{ctbllib:character tables!generic}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:tables!generic}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:library tables!generic}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:spin groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:symmetric groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:alternating groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:dihedral groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:Suzuki groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:Weyl groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:cyclic groups!character table}{4.2}{X81E3F9A384365282}
\makelabel{ctbllib:CharacterTableSpecialized}{4.2.2}{X78DA225F78F381C9}
\makelabel{ctbllib:character tables!ATLAS}{4.3}{X7F44BD4B79473085}
\makelabel{ctbllib:tables!library}{4.3}{X7F44BD4B79473085}
\makelabel{ctbllib:library of character tables}{4.3}{X7F44BD4B79473085}
\makelabel{ctbllib:AtlasLabelsOfIrreducibles}{4.3.6}{X7ADC9DC980CF0685}
\makelabel{ctbllib:character tables!CAS}{4.3.7}{X827044A37C04C0D1}
\makelabel{ctbllib:tables!library}{4.3.7}{X827044A37C04C0D1}
\makelabel{ctbllib:library of character tables}{4.3.7}{X827044A37C04C0D1}
\makelabel{ctbllib:character tables CAS}{4.4}{X7BC3F0B0814D5B67}
\makelabel{ctbllib:tables library}{4.4}{X7BC3F0B0814D5B67}
\makelabel{ctbllib:library of character tables}{4.4}{X7BC3F0B0814D5B67}
\makelabel{ctbllib:CASInfo}{4.4.1}{X786A80A279674E91}
\makelabel{ctbllib:user preferences UnloadCTblLibFiles}{4.5.2}{X83FA9D6B86150501}
\makelabel{ctbllib:user preferences DisplayFunction}{4.5.3}{X7E859C3482F27089}
\makelabel{ctbllib:user preferences MagmaPath}{4.5.4}{X7DFAD31F84F55870}
\makelabel{ctbllib:LIBLIST}{4.6.2}{X84E728FD860CAC0F}
\makelabel{ctbllib:LibInfoCharacterTable}{4.6.3}{X80B7DF9C83A0F3F1}
\makelabel{ctbllib:library tables!add}{4.7}{X78FFDF0F83E7EB0D}
\makelabel{ctbllib:tables!add to the library}{4.7}{X78FFDF0F83E7EB0D}
\makelabel{ctbllib:NotifyNameOfCharacterTable}{4.7.1}{X7A3B010A8790DD6E}
\makelabel{ctbllib:LibraryFusion}{4.7.2}{X8160EA7C85DCB485}
\makelabel{ctbllib:LibraryFusionTblToTom}{4.7.3}{X79E06BD67F6BC3A5}
\makelabel{ctbllib:PrintToLib}{4.7.4}{X780CBC347876A54B}
\makelabel{ctbllib:NotifyCharacterTable}{4.7.5}{X79366F797CD02DAF}
\makelabel{ctbllib:NotifyCharacterTables}{4.7.6}{X8374B5D081F85DBC}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeMGA}{5.1.1}{X78F82DD67E083B88}
\makelabel{ctbllib:BrauerTableOfTypeMGA}{5.1.2}{X83BE977185ADC24B}
\makelabel{ctbllib:PossibleActionsForTypeMGA}{5.1.3}{X7899AA12836EEF8F}
\makelabel{ctbllib:CharacterTableOfTypeGS3}{5.2.1}{X7E06095E7CB3316D}
\makelabel{ctbllib:CharacterTableOfTypeGS3 for Brauer tables}{5.2.1}{X7E06095E7CB3316D}
\makelabel{ctbllib:PossibleActionsForTypeGS3}{5.2.2}{X82FC6C377BEF0139}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeGV4}{5.3.1}{X7CACDDED7A8C1CF9}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeGV4 for Brauer tables}{5.3.1}{X7CACDDED7A8C1CF9}
\makelabel{ctbllib:PossibleActionsForTypeGV4}{5.3.2}{X7CCD5A2979883144}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeV4G}{5.4.1}{X7E7043A5857B9240}
\makelabel{ctbllib:PossibleCharacterTablesOfTypeV4G for conj. ordinary tables, and an autom.}{5.4.1}{X7E7043A5857B9240}
\makelabel{ctbllib:BrauerTableOfTypeV4G for three factors}{5.4.2}{X8536F9027F097C79}
\makelabel{ctbllib:BrauerTableOfTypeV4G for one factor and an autom.}{5.4.2}{X8536F9027F097C79}
\makelabel{ctbllib:CharacterTableOfIndexTwoSubdirectProduct}{5.5.1}{X7D0207B07B48FD06}
\makelabel{ctbllib:ConstructIndexTwoSubdirectProduct}{5.5.2}{X8714D24B802DA949}
\makelabel{ctbllib:ConstructIndexTwoSubdirectProductInfo}{5.5.3}{X8254CA95814DF613}
\makelabel{ctbllib:IBrOfExtensionBySingularAutomorphism}{5.6.1}{X7AF3EA6C783FCFF9}
\makelabel{ctbllib:CharacterTableOfCommonCentralExtension}{5.7.1}{X82CEF31D7815C53D}
\makelabel{ctbllib:ConstructMGA}{5.8.1}{X7A948B397B5BC0AD}
\makelabel{ctbllib:ConstructMGAInfo}{5.8.2}{X84DE92E579BA7171}
\makelabel{ctbllib:ConstructGS3}{5.8.3}{X80F14D1C86CF1E9C}
\makelabel{ctbllib:ConstructGS3Info}{5.8.3}{X80F14D1C86CF1E9C}
\makelabel{ctbllib:ConstructV4G}{5.8.4}{X7C1CE54A864936E0}
\makelabel{ctbllib:ConstructProj}{5.8.5}{X8726ADCC7BCEA96F}
\makelabel{ctbllib:ConstructProjInfo}{5.8.5}{X8726ADCC7BCEA96F}
\makelabel{ctbllib:ConstructDirectProduct}{5.8.6}{X7EF9996082140544}
\makelabel{ctbllib:ConstructCentralProduct}{5.8.7}{X781EAFEB80EC1ED8}
\makelabel{ctbllib:ConstructSubdirect}{5.8.8}{X84F6BB30845D75E1}
\makelabel{ctbllib:ConstructWreathSymmetric}{5.8.9}{X7F26BEC67B744999}
\makelabel{ctbllib:ConstructIsoclinic}{5.8.10}{X7F6A9FE57C77D778}
\makelabel{ctbllib:ConstructPermuted}{5.8.11}{X7D3F0AC2825C8CA1}
\makelabel{ctbllib:ConstructAdjusted}{5.8.12}{X85FE8954830F85A0}
\makelabel{ctbllib:ConstructFactor}{5.8.13}{X803FE1FF82790290}
\makelabel{ctbllib:CAS tables}{6.1}{X79F5E5A283E0D190}
\makelabel{ctbllib:CAS format}{6.1}{X79F5E5A283E0D190}
\makelabel{ctbllib:CASString}{6.1.1}{X841537DA7E495B73}
\makelabel{ctbllib:MAKElb11}{6.2.1}{X842957217E3697A1}
\makelabel{ctbllib:MOCTable}{6.2.2}{X832005B37F0A2872}
\makelabel{ctbllib:MOCString}{6.2.3}{X7FBC528C7818814C}
\makelabel{ctbllib:ScanMOC}{6.2.4}{X7F17B82879C8F953}
\makelabel{ctbllib:GAPChars}{6.2.5}{X7FBA67C585BEBFE5}
\makelabel{ctbllib:MOCChars}{6.2.6}{X7BF1B6BF83BDD27E}
\makelabel{ctbllib:GAP3CharacterTableScan}{6.3.1}{X7DB321DE80046931}
\makelabel{ctbllib:GAP3CharacterTableString}{6.3.2}{X7B2C53137D1227FE}
\makelabel{ctbllib:GAP3CharacterTableData}{6.3.3}{X7B2725D2789A9D85}
\makelabel{ctbllib:CambridgeMaps}{6.4.1}{X78A84889878D98BB}
\makelabel{ctbllib:StringOfCambridgeFormat}{6.4.2}{X8209063C813240E5}
\makelabel{ctbllib:BosmaBase}{6.5.1}{X79D160BD7ECA6D2F}
\makelabel{ctbllib:GAPTableOfMagmaFile for a file}{6.5.2}{X7B1FAE1A7FD5D5A1}
\makelabel{ctbllib:GAPTableOfMagmaFile for a string}{6.5.2}{X7B1FAE1A7FD5D5A1}
\makelabel{ctbllib:CharacterTableComputedByMagma}{6.5.3}{X824D2B4A79A9E5AE}
\makelabel{ctbllib:CTblLib.StringOfAtlasIrrationality}{7.1.1}{X874167957FD2B7EA}
\makelabel{ctbllib:StructureDescriptionCharacterTableName}{7.2.1}{X816807E4874585FD}
