Quelle named-digraphs-main-database.g Sprache: unbekannt

#############################################################################
##
##  named-digraphs-main-database.g
##  Copyright (C) 2021                        Tom Conti-Leslie
##                                            Reinis Cirpons
##                                            Murray Whyte
##                                            Maria Tsalakou
##                                            Marina Anagnostopoulou-Merkouri
##                                            Lea Racine
##                                            James D. Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

#############################################################################
# This is the NAMED DIGRAPHS MAIN DATABASE.
#
# This file gets read when the global Digraphs function
# DIGRAPHS_LoadNamedDigraphs() is called. It binds the global variable
# DIGRAPHS_NamedDigraphs to a record where each component's name is
# the name of a "famous" digraph, and its value is the DiSparse6 string
# describing that digraph (i.e. can be obtained with DigraphByDiSparse6String).
#
# The digraphs in this database provide a useful collection of graph examples
# that can be easily loaded using Digraph("name"). Some basic properties of
# these digraphs are also recorded in the corresponding TEST database, at
# data/named-digraphs-test-database.g.
# These can be used as checks to ensure that Digraphs
# functions are working properly, and indeed every value in the test database
# is checked when running DigraphsTestExtreme(). Every named digraph added
# to this database must also have a corresponding entry in the named digraphs
# test database for the extreme tests to pass.
#
# N.B. this database also contains named UNDIRECTED graphs, for which each
# undirected edge is represented by two directed edges.
#############################################################################

DIGRAPHS_NamedDigraphs.("diamond") := ".Cg@_Qq_E@J";
DIGRAPHS_NamedDigraphs.("fork") := ".DkgC|kgC~";
DIGRAPHS_NamedDigraphs.("tetrahedral") := ".Ca@_QqGE@J";
DIGRAPHS_NamedDigraphs.("utility") := ".EaGcbcbyGaQMQN";
DIGRAPHS_NamedDigraphs.("twotriangles") := ".Ea@ozRg_[Ms";
DIGRAPHS_NamedDigraphs.("sixteencell") := ".G`?K?a_CS?bH?OqDaGXAepA?W@D?Gg@EQ?`cJCOqDL";
DIGRAPHS_NamedDigraphs.("banner") := ".DkQ_QupI@J";
DIGRAPHS_NamedDigraphs.("cross") := ".EowCczB_QR";
DIGRAPHS_NamedDigraphs.("octahedral") := ".Ea@_WGxGsyGE@_bcbR";
DIGRAPHS_NamedDigraphs.("threetriangles") := ".H`?L@rH[tbx`?L@rH[tb~";
DIGRAPHS_NamedDigraphs.("bull") := ".DkAcbuoIQN";
DIGRAPHS_NamedDigraphs.("hgraph") := ".EoBccz?MQR";
DIGRAPHS_NamedDigraphs.("rgraph") := ".Eob_QNkGwCb";
DIGRAPHS_NamedDigraphs.("pentatope") := ".Da@_Q_QNW_WCgCb";
DIGRAPHS_NamedDigraphs.("longhorn") := ".FkHgyP^kHgyP^";
DIGRAPHS_NamedDigraphs.("egraph") := ".EkY_sypiBR";
DIGRAPHS_NamedDigraphs.("claw") := ".Ck@JJ?Q";
DIGRAPHS_NamedDigraphs.("net") := ".EkHMbRjARgs";
DIGRAPHS_NamedDigraphs.("isobutane") := ".MsCOyGRSpwIUru_aFPAYeN@Qu^";
DIGRAPHS_NamedDigraphs.("ethane") := ".Gk?`WaEZD_CJCOr^";
DIGRAPHS_NamedDigraphs.("paw") := ".CgWCkgWCn";
DIGRAPHS_NamedDigraphs.("petersen") := ".I`ACWqHKhhccTEgO`EKaRIYXHDP";
DIGRAPHS_NamedDigraphs.("square") := ".CaHJGaQ";
DIGRAPHS_NamedDigraphs.("moserspindle") := ".Faq_YLGCb}JI@gs_QN";
DIGRAPHS_NamedDigraphs.("butterfly") := ".Daq_QNWkgCb";
DIGRAPHS_NamedDigraphs.("kite") := ".DgXIANYEQ_b";
DIGRAPHS_NamedDigraphs.("housex") := ".DgWCgCbu`_Q_QN";
DIGRAPHS_NamedDigraphs.("eiffeltower") := ".FkJdIP^kJdIP^";
DIGRAPHS_NamedDigraphs.("fish") := ".EkgE@G}kgE@G~";
DIGRAPHS_NamedDigraphs.("trianglesquare") := ".Fa@ozp^a@ozp^";
DIGRAPHS_NamedDigraphs.("agraph") := ".EkgIRRjIAcs";
DIGRAPHS_NamedDigraphs.("antenna") := ".EgWcyLMgWcyLN";
DIGRAPHS_NamedDigraphs.("balaban10cage") := ".~?@E_GA?a?QD`wYC`g]D`GUF`hoOCXGRbPAMCWoQbpMHDw_Ua`UJDGgYa@aHEWkZb`aKEw{YbPeSDXWVd@aTEX[Zd`iaKIKphRMcKigliqq]Hh{hgAa`HxsnfAy@Nb}ALBiALRmBLruBLbq@MBfE_GA?a?QD`wYC`g]D`GUF`hoOCXGRbPAMCWoQbpMHDw_Ua`UJDGgYa@aHEWkZb`aKEw{YbPeSDXWVd@aTEX[Zd`iaKIKphRMcKigliqq]Hh{hgAa`HxsnfAy@Nb}ALBiALRmBLruBLbq@MBf";
DIGRAPHS_NamedDigraphs.("balaban11cage") := ".~?@o_GA?`_UCc?_JaOiKBwsMc@EQCpQWDh][EhmeDhiWexeVfXqGFg_^aQEIGgkcaaUHGGkbbAYLIG{kbaeNIwwibQuKHwS]`qQCFw[a`AEDGGWd`aM]HiClgambIX{fhQqcIi?glb}{PJ\\@nSUwOjk}mSAyOxksdq}\\JhcoeBUYKXWrfBJMTk|VsDbPU\\HYtTvSVLLZpc^IR[lKqCe@Vd}AWEE@WeUAWuQBXeeBXubo_GA?`_UCc?_JaOiKBwsMc@EQCpQWDh][EhmeDhiWexeVfXqGFg_^aQEIGgkcaaUHGGkbbAYLIG{kbaeNIwwibQuKHwS]`qQCFw[a`AEDGGWd`aM]HiClgambIX{fhQqcIi?glb}{PJ\\@nSUwOjk}mSAyOxksdq}\\JhcoeBUYKXWrfBJMTk|VsDbPU\\HYtTvSVLLZpc^IR[lKqCe@Vd}AWEE@WeUAWuQBXeeBXub";
DIGRAPHS_NamedDigraphs.("barnettebosaklederberg") := ".e_OGC_GFa`gs]QIcAwcUMMbBwcUVIgdY@QWRecilOtRhRbk{xAKfWH_xBJfgXW~ALoRQRL?_OH?ONDBPg{cTGDpGk[\\EFpGkmTPIsAcofLHTY`ifQfFXxqCXMoR@qEVNOqp}CZ_ecf";
DIGRAPHS_NamedDigraphs.("biggssmith") := ".~?@e_GA?b?QDBGQC`WUE`gaFDGeFDgeGaWgWapiJEWkRa`IGCWWO`o}IBgqQHGuTHhiPgyEXIx]RfQu_dAaadh_merI[frY]IX?ibrAMKyQwNJYeiId?lJAtmSIrNymljcayjsiiOyqpPIUfPzHNlsuzNjo}nsBMSk|OoSJBPKdPnSjDPklRrCvFQGDSTWDUTwHWUWL[VwL\\VgHYU}Y?_GAK@GSK`GQD`WYEaG[SaW[UaWaHa`aJEgkXapMICg_P``AFBwgMbHGcbXSeehEbgXcjdxM\\JYASIIIUeAyZKhq^LhwhcAiNKGwrhJ_{liYgiSAskJUxOjK~iyumQJinQihBjJDChY\\Fkc}vRZk}nBy~OKxQrtB@OkLCqTE|QkTEqtNKR[\\G_TPT_TXV_d`X_tp^_tt]_dhZ";
DIGRAPHS_NamedDigraphs.("bislitcube") := ".Gg?Gg@F?OqpCKeI?AI?PoCKkPBH";
DIGRAPHS_NamedDigraphs.("brinkmann") := ".T____gEFbc`GHaGIbFcELaDJM`DKLaEH`FIPcDFHbDEIt____gEFbc`GHaGIbFcELaDJM`DKLaEH`FIPcDFHbDEI";
DIGRAPHS_NamedDigraphs.("brouwerhaemers") := ".~?@P_G?@_G?B_GA?_GA?_GA?@W?G_?Y?@w?J_?q?Ag?H_OKHA_kK_OKDB`KS_OKEC@GS_OKFBpCR_OKGBPCQ_OOD@_cP_OOD@ogQ_OOEA?oR_OOFA?kS_OOLB_{ODWCIBP?PD@q@AOsNC`K\\_OkMC@GREgCKB_{PD@m@@O_HB@?W_OSGA_kNDwCE@okKBPY@@_[HA_wX__KKBP?RE`saHAYA?okLBpOZFACbHgGBA_wNC`g\\FqKd__KHB`?PEpo_HAUA?oSE@o_TFq?`GgGCCPGRD@wbHASeIwGC@OkKB`[WFq?e__OEA_kOD`c_GaMA@?[HB?{UEP{`HGGCA?cIBP[WGQGd__SNC@CQDPW[FQWo___NC@KSDPcYEqSl__WLB`CRDP[ZFQKn__[LB`GSDP_YFAOm__SEA_oSE@c\\FaCi__SFAOkRDpc[FaGh__WGAOkQD`_ZF`{f__[GA_oPD`[YFa?g_oSEApGRFPw^GaKeIa{oKbOw_oSFB@CSF@w_GQOeIQwoKbKv_oWGA`CSEpw_GQKdHqsnKROu_o[GAPGRE`w^GaOdIAsmKRKt_oSHA_{OEPo\\GQGdJAsrLB[w_o_JB?{OD`gZFq?eJB?rLBSu_oWHB?sME@k\\FqCcJAwpKbWw_o[IAosMDpg[GAGbJA{pKbSv`?cJBP?QD`_[GaOeIQkqKrSwMwOIB?sNCPWVFQCbHagjKbOuLrqCA_oMC@OWEPg_HASgIrCrLb[x`?cJB_{RDpcZFqKdHqkpLBSwMgODA@?PCpSVGAGdHa_hJrOtLr}C@O_NC`OTE@{`HQWfIawrLb`?`?WFBPKSDPc`GaKcIQglKR[wNgOE@owPC`SUFq?bHA[gKBGtLbuDAOgMCPGVE@o\\FaSfIAkmJrG}Pw_JB?sRD@[WE`k]HaciIqwnKRtG`_cKC@CRD`cZFPwcIAcjJR?sOCYFA_kNC`OUEPg[FaKfIaklKBK~PWSEAowOD@SWEPk[GA[hJA{oMBpA`O[KB_{RDP[XE`s^IAgkJb?vMsEEA?gLC@GTD`_YFQGgIaolJrWyPG[GAOsNCPSUDpk[GQ[hJAsmLRdBsWA??WA??wA?_GA?_GA?_?U?AG?E_?]?Aw?K_?i?AWCBAOgJBGCB@OwRDGCB@`?QDGCB@o{PCwCBA?sPCgCC@OWHCWCC@O[ICgCC@__KCwCC@o_JDGCCBOwNC@U@A_sOCPO[_OcLBpGRFWCJB`?QCpi@B?wNCPOZ_OSGAOoOEGCDA?gJBp]@@_[JB?sU_OWFAOgMEWGBB?sOCpg\\GaOe__KJBO{SEpo`GqYA?ogMBpGYFP{bHWGBAOwOCPk[GAOd__KD@_[GDP{_GQIA@@CQCpO]GqOdHamA@?SJB?wVE@{_HgGC@_gJC@WXGAGb__OFAOoND`c^GQQA@?_HA_sVEACaHWGDBp?PC`SUF@seKGGGBp?RD@SXE`kdJWGEBOwPCpSVEpsbJwGFBOwQD@SWE`ocJgGD@_gKD@_XFPw`IgGD@ocJCp[XF@waIWGEA?cJC`WWEpw^HwGFA?gKCPWVE`w_IGKD@_kQCps]FqGbHagnKBGsMGKD@ooPD@o]GACcHacmKBGrLwKEA?gPD@k]GACbHQ[lJrCsLgKFA?cQCpg]FqGcHQ_lJbCrLWKDAOgNC@c[FQCaHQolKrOvMGKGAooNC@WYEp{_HaooKrOtLgKEAOoLB`_ZFP{`HAomKRGuMGKFA_kLB`[YFA?aGqonKRGtLwOHAosOC`WWFAGcHacjKbKtMBmCA_oLBpCUDps`GqWiIrGsLb[{`?gKB`?SE@cYGAOdIAkpKrWvMWOHAowNCp[XEp{bHQ[jKROtMBiC@O_OCPKTDq?aHQWgIQ{sLR[~`?SGBpGSDP_^GQSeHqgmKrWwOGOE@osRD@SXGQGbHAciJRCvMByC@_[MCPGTD`{_GqOfIB?qLRW|`OcIB`CQDp_[FPwdHq_jJa{qNc]GAooLCpOVE@gZFaWhIakmJrC|QGWHB@?PCpWXEps]HA_hIqsoLC@E`ogJBpGSD`cYF@wbHqgjJR?rNsUD@_kMC@OTE@cZFA?fIQonKB_{OgSFB?wNCpSVEPg\\Fq_iJAwoLrl@`__IBP?QDPWWE`saIAgkJQ{uMcQFA?cLBpCTD`[ZFACfIQolJbSxO~";
DIGRAPHS_NamedDigraphs.("butane") := ".Ms?GhcJ`IjFUru_@DK`[HTWyu^";
DIGRAPHS_NamedDigraphs.("celminsswartsnark1") := ".Y___eDgCDefHfcdKcEfniOgHjbNRaLMbJO`PQaR`KWy___eDgCDefHfcdKcEfniOgHjbNRaLMbJO`PQaR`KW";
DIGRAPHS_NamedDigraphs.("celminsswartsnark2") := ".Y___dCcgFchfIeGdhLkLdIeFjgQbNP`OQaRaMbV`UWy___dCcgFchfIeGdhLkLdIeFjgQbNP`OQaRaMbV`UW";
DIGRAPHS_NamedDigraphs.("chvatal") := ".K`ACIQJCkqENGXwcKeG`dxACGScUHXcK]OrpGXKPBJ";
DIGRAPHS_NamedDigraphs.("clebsch") := ".O_____`A`B`C`DaBGHaCFHaDFGbCEHKbDEGJcDEFIo_____`A`B`C`DaBGHaCFHaDFGbCEHKbDEGJcDEFI";
DIGRAPHS_NamedDigraphs.("contiguoususa") := ".pb_G{gRM@PgsuIPaQywk`LIrAkCXEFrqDmEIMp?hGfXeERQAOHFO_w_[a`crhyQILfRqI_VMRQHag_jHdDSk_SIYhWofTQq`\\KgSoQ`h?`SRrXoycjFCq\\QjVSQPK}cRjd~EM?bq`KwDEbRWhEHJjaqCsjKIoPcW^NGUwWgzCAca\\eWXLGH?c\\ABa@qIERMfhGgu\\NGi@[xLGeIaAkeSTQq@OhidbA\\TJIDsq`R@IEcADPNLfBiQk[RHtIl\\PHCryPMmV~";
DIGRAPHS_NamedDigraphs.("conwaysmith") := ".~??~_O?K?B??o?S?D?@`g?KJ?A@O{?GECR@[mVOFrx|A`PISQ\\GeThDAsqXLLRRKws[fER[kWLFERPkw\\NRq@CcRIDQp[pDCap`KlEDAp`OjFCaphKm`cA`WsgWPP_wk[TJgc[SOJFDbADH@@Cqxc|@@DB@gz@@cqpk{f__q`Sw\\SOO`SmXMHtSCGUKEbY`RDCBq@cxEBbq@gvFCbqHgymbA`xGu]VQ@O{aXNJUCSQNHFBit^AAbA@Kq`RjWOWWOIEcQ`[r``ph?eZPiTsKOLGDBaPSlYoowwaTMhTQ}EGFCQpxKhWlwOS[QKFSq`dCCbQP[wbTkg_gWPIeSQlbCDBQP_ucUKFSOQKGdbQDWn\\o_owcVNHSz@r~_O?K?B??o?S?D?@`g?KJ?A@O{?GECR@[mVOFrx|A`PISQ\\GeThDAsqXLLRRKws[fER[kWLFERPkw\\NRq@CcRIDQp[pDCap`KlEDAp`OjFCaphKm`cA`WsgWPP_wk[TJgc[SOJFDbADH@@Cqxc|@@DB@gz@@cqpk{f__q`Sw\\SOO`SmXMHtSCGUKEbY`RDCBq@cxEBbq@gvFCbqHgymbA`xGu]VQ@O{aXNJUCSQNHFBit^AAbA@Kq`RjWOWWOIEcQ`[r``ph?eZPiTsKOLGDBaPSlYoowwaTMhTQ}EGFCQpxKhWlwOS[QKFSq`dCCbQP[wbTkg_gWPIeSQlbCDBQP_ucUKFSOQKGdbQDWn\\o_owcVNHSz@r";
DIGRAPHS_NamedDigraphs.("coxeter") := ".[___fCdechIdeKfgMgfchOePdQ`IKaLMbJN`OPbSTaQR{___fCdechIdeKfgMgfchOePdQ`IKaLMbJN`OPbSTaQR";
DIGRAPHS_NamedDigraphs.("cremonarichmondconfiguration") := ".NiAPYDe]HcOGa?bpCTSqHUqGrIV}gHDgUXweP?aGANCPTRGdZGbKh^";
DIGRAPHS_NamedDigraphs.("cricket") := ".DkgCbuq_QN";
DIGRAPHS_NamedDigraphs.("cubical") := ".G`ADOaHCXHBHaCGTAGcPccKf";
DIGRAPHS_NamedDigraphs.("cuboctahedral") := ".K`?KGBkCkqqIY`RpGXK`fPqC?o_MoQrJGhiDNC`cqE\\F";
DIGRAPHS_NamedDigraphs.("dart") := ".DkQ_QNZCgCb";
DIGRAPHS_NamedDigraphs.("decane") := "._jCq`U_PHO_[?AWa@RCWMXdArS_QZfBqxuWLJFKDWeSIsAHICB_?RCOIWb@rKgUYcAR[w]VMr@hWx";
DIGRAPHS_NamedDigraphs.("deltoidalhexecontahedral") := ".}i??KKNABOokGHA@p@CWRFCpPC_^HFP@SWVFEpPcoZIDrqCwbNHRa[g`LHrASkb@HOQ[?`?GtCyd]piHdAx`UKGCIUiVPGsd[oXLFYhWqZMUbq@KilfsI\\Z\\NGtAqw^PIT]TSlWK[alWmV~i_?BBBo_sKJAAO_[OPECppKSPGFqPsOTEDppkSXKEq`[{`MGrqSwfIGRQ[odJGoQSCf?GOALPMhVkYaXOmWTbA@AdidsQLHVKERPuiUKerdg{_RIjX|AfUvRqLOkmFsQdVdTJUBFGjUJd~";
DIGRAPHS_NamedDigraphs.("deltoidalicositetrahedral") := ".Ym?@GHaCIKbFJLaEILbDJKaBKLeFHLcDGK`FHJ_EHI`DGJ_CGIym?@GHaCIKbFJLaEILbDJKaBKLeFHLcDGK`FHJ_EHI`DGJ_CGI";
DIGRAPHS_NamedDigraphs.("desarguesconfiguration") := ".Ig?SPqF?XBPCSs?cI\\Ei?DC[`oEOsPDL?HAfP";
DIGRAPHS_NamedDigraphs.("desargues") := ".S___fCDEccededaGLbGKaHJbHI`IJ`KLs___fCDEccededaGLbGKaHJbHI`IJ`KL";
DIGRAPHS_NamedDigraphs.("disdyakisdodecahedral") := ".Yk?HI_GJcDFbEF`BGaDH`CIaEJ_@GIKLOQ_AHJKLPR`BCFMNOQaDEFMNPRbEGJLNORcDHIKMPQyk?HI_GJcDFbEF`BGaDH`CIaEJ_@GIKLOQ_AHJKLPR`BCFMNOQaDEFMNPRbEGJLNORcDHIKMPQ";
DIGRAPHS_NamedDigraphs.("disdyakistriacontahedral") := ".}n?BXq?YMoOgYACBo`?mEHDPp?qGHEp`WyIIFrAHY[OJrq@aYPKoaPQERIsapigVMTR@meXMoAPOs[NFtax^?HdRXs{^UkEKCGDCacADEdRoOo[OJOGSQPLCBb@hDAcQiD[SKMFcCAXMhTO`?ocUPHDAp\\BCbQXdEdTjUKKSNIeCY\\SlWO`WwgVPHdIp^PJERPs}gTjeL?mWLfBqdSnW^jo?u[_EbkCIE_`?{GOJ`aPS[OKaAPkWUMaa`{oaUfCA{{_WecRKGcS`cqlGkYiDrdSoZheRk?cSLFBp|WmVoAXSu\\NFtj@b@A@PGh?`PhS{CKFCAsADCcRP?woYPOhCi`VDBB`x@?eRiTSGOKHDcQPOkVOpGseXPhTYtbBDBqh`EfTJUCGUMIDsQXQkVsQpcs\\NiDYxbOJeBXo{hTJuF";
DIGRAPHS_NamedDigraphs.("dodecahedral") := ".S___fCDEceGcdIdeK`GaIMaJbKObL`HQs___fCDEceGcdIdeK`GaIMaJbKObL`HQ";
DIGRAPHS_NamedDigraphs.("domino") := ".Eaq_xHMaq_xHN";
DIGRAPHS_NamedDigraphs.("doro") := ".~?@C_GA?_GA?_?Q?@W?E_?I??w?@c?uMCG}NbPMMCgsNC@IMBpCRbOwSDX?Pc`SXcpOXEgCA?osMBwOIB?wOC`qEA_kND@S[`OkKBPCRFGGC@`?SDpq@@?SQCp_[_oSECPSUFGOD@`WVE@s]Fw[GAPWVEA?`Gg[HA`?SDqMGAOkPDPWb`o_KC`KWGwOHB@?WEaYCA?gQDpce`O[JCpWXHQeEA?gTDpkf`_[JD@WYHqaDAOoPE@kdIwgJB?sMBqSeHwCE@p?WE`saJWGDAPSVEpw`IWCEA@CWEp{_IBAB@?_RD`c^GAqA@O[QDpc\\Gakq_oOHD@WYFaCiJwGEB?{OEp{dJBM@@?kMCpg]Hqcp_oWKBpCYFQWjKbYB@OgLDPc\\Hass_OSIBPGZFa[iJrUA@?kMD@c^HQ_oMGCHA_{OEq?hLB]AA?kLDPcaJBCx_OcJBpCYGagoLWKFA_wSEQ?jJrW{_o[KB`KYGQsrMbuAA?oLC`k`IBGwMwCA@owOCaOgIQw{NWCBA?sPCqOiJQwzNgGBAO{SDQOjJAw~OKQ?_GA?_GA?@G?D_?Y??g?B_?EOBWwObw}LCwwQbO{OCgwNCPMLB`OTc@EQDPeRD@cY_OGBBOwN`?gKB`?QFGWIAo{SDPqDAooLCPK[__OEC@OVFGCC@PGRE@qB@OWPDPW[`?SED`[WFPw^`o_HD`[WGACa`ocIC@OVGw_HApCTDaMFA?oQCp_b`?cKC@_YHgOGA`GVEQYD@okRD`cdIWWGA`SVEq]E@okSD`gfIGSHB@CWEqSja_kKBOwNHQWf_OWFC@_YFQGl__SHDP[ZFaCh_OWGCP_ZFq?gKGKCA@KUEP{_JGGD@pGVEPsaIrIB@?cSD`g]GQgn__WKBp?ZFqSkKwCCAowRE`wfIREB@_oNCPg\\HakqLgKDA_sTEPseJRQ@@OgLC`k]HqgnLWGCAowSEP{dIB?w_OcIBp?ZGAcsLwGGAosTEQGkKRe@AOkNCPgaIb?t_o[IB`OXGAknLbqB@ooMCpg`JRKyNWGGB?sQEqCgKb_z_OGFB`?QHA_hJbo|_OKGBPCRHAglJbk}__KHBpOTHAkkJb|?";
DIGRAPHS_NamedDigraphs.("doublestarsnark") := ".]___eDccfedgIhJdFcEgJhIsKRlQrq`UVbNVaMU`OPbRTaQS}___eDccfedgIhJdFcEgJhIsKRlQrq`UVbNVaMU`OPbRTaQS";
DIGRAPHS_NamedDigraphs.("doyle") := ".Z____eDdjGHgIeHKfIJbGcGcFbE`KQaJP`LOSaMNRbDHOcDINaFHQ`EIPz____eDdjGHgIeHKfIJbGcGcFbE`KQaJP`LOSaMNRbDHOcDINaFHQ`EIP";
DIGRAPHS_NamedDigraphs.("dyck") := ".__OGC[IEa@g_UUIdQhCeNJFR@{k`KGRPss^CbPWHCnAHDwPOpBJEWHKrBIeKCA@?b`OsOLCAqpSiTGcpxWyWNdcH`AYMebwcYJ@GdwPGnAIEGXWr@HeWXSp";
DIGRAPHS_NamedDigraphs.("edgeexcisedcoxeter") := ".Y___dCgEcfdGlEHgKfdNfKeIcbQRaPR`HK`IJbMOaLNy___dCgEcfdGlEHgKfdNfKeIcbQRaPR`HK`IJbMOaLN";
DIGRAPHS_NamedDigraphs.("ellinghamhortongraph54") := ".u_OGC[LEdAXL?XIFCHW{`HcCwxMWTeDGsOkWadrCOJLFRP{k\\IFp@CSNZmFzhz?`pH[YQZasy\\EbNe`Id{LUn_itkDSk`JTsLWmzOGCAMEbQ`Ke_KdBaCk]OcqA[[fKIrAcYGUKPQxaGDebhg}UMdBw_aIFlvB|s|_OwcmLHLpY\\MbPfrOdQ}EjVoTYuAiUOdiyEkV^";
DIGRAPHS_NamedDigraphs.("ellinghamhortongraph78") := ".~?@M_GA?`OQCa_eHb_gLaouKbGiJbWqQDXKTc@QPDG{Qb`MHcHE[FXo]ePuWFhWZdpibHH{agAEGiIaFiQmiIy{higSmJwWmKGWlJwSkKGaG`JSvlb]mljUyMzg{mRqwMzx?nR}F`yUfhgDDPwHDPgLCPwLBPgHAPGD@O{y?_GAD@GQIAWeMA_uJBWqKagmLbHGTcpUODHCSbpIMCweOcXo\\f@yXFX_]d`mVEiKcfqI_GWagiG]hIygjjqei`Qwn`awo`asn`QooaGaClR]uLyyulZgzmbqxNJ_zncA|Nw]FhY]e_STF_cTE_sPF_sLE_cHC_SDB";
DIGRAPHS_NamedDigraphs.("errera") := ".Pa?_A_A``D`D`E`FG_B_CIaBFHaCGHKdEIJbDFIKMcEGJLMpa?_A_A``D`D`E`FG_B_CIaBFHaCGHKdEIJbDFIKMcEGJLM";
DIGRAPHS_NamedDigraphs.("faulkneryoungergraph42") := ".i_OGCSHCcaGwaKHaa`[wPFFQWpAIFaSQ[w`Redh|GpLetAtSpYlUr|mm`kfgPtF@MGgPyE^ROSKL?gtOGCAICaQPC[PECpPOm[GbbhKW`DBpIHM[OhrQs}cWerY`YiWlUjX}vVOuRsGyb_fCSG|BNhgIEE_S^";
DIGRAPHS_NamedDigraphs.("faulkneryoungergraph44") := ".k_OGCWJGBpx_mTEEQxO}QMFqQC_YQapG`QZIDqA{SXEBtAkQs[jeJluvXPTSLX@BNgwHxHAQosQaA``GDUq@?_P_k_NFeAxSWXJdBxGw^HGQ@hIJCaDHkgVGJpPcWNSIpJPqmWmvZ\\dDTOtcCK}b_fccHJBPIGIEC_T^";
DIGRAPHS_NamedDigraphs.("fivesquares") := ".S__cBbfEeiHhlKklMiJfGcD`As__cBbfEeiHhlKklMiJfGcD`A";
DIGRAPHS_NamedDigraphs.("fivetriangles") := ".N`?L@rH[tbyRdVU[Z}C?sFKdrUNhMT\\Xpn";
DIGRAPHS_NamedDigraphs.("folkman") := ".S____j@DEF`DEFaDGHbEGIcFHIcFHIbEGIaDGH`ABCs____j@DEF`DEFaDGHbEGIcFHIcFHIbEGIaDGH`ABC";
DIGRAPHS_NamedDigraphs.("foursquares") := ".O__cBbfEeiHhiJfGcD`Ao__cBbfEeiHhiJfGcD`A";
DIGRAPHS_NamedDigraphs.("fourtriangles") := ".K`?L@rH[tbyRdVGOBO[qVLW}cxT";
DIGRAPHS_NamedDigraphs.("franklin") := ".K`ADpcJK`gdLGhgaHqCGVEOkqEaSsaeaGf";
DIGRAPHS_NamedDigraphs.("fritsch") := ".He?K?b_G[@CJCOqpCOp{r?E?PoCM?aDaGXWaGW~";
DIGRAPHS_NamedDigraphs.("frucht") := ".K`A?icgUtwdPKyGaHqCGAiQ`ZVaTCrgaGf";
DIGRAPHS_NamedDigraphs.("gardner") := ".~?B]_WA_gC_cG?{F`WI`SM@kLaGOaC[A[[bk\\cG_cCcC[bcwecsmDkmdsqEKpegsecxFCUFKvFKYew{fl?DG~f|BDXAgTFGtJGhHhLFHTIiHNiWWihShxSj@DILYIPUJKWIlVd`GiHQiCXI\\WiXSh|MKPbhh`K\\MKDJJp^h`^h`[JljKpihPidGigp`h@HglBLxog`mMDCLlEM\\iL\\kgxugHtMt@M|?M`xbOyF[tE{wNcUFCrNkVEX}awqe`~eKoOQBagnO[ZFc~dIFcyGdAEbWgcyFP[tFsiGS}PSiPKeciOQKcPyPciMcaLe?udXGeqTdYSc[aRIYcIWRSaQ{`QsSDm`DclRskRk_bybSc]SQcby_SK]R{YB[[SD[SM_tYkteitqnaQnaIlaQoaImU\\VLCRTDVUSRUKO`ywVKMUyx`yu`qti@Qa_niA|aa{`kKWJA`Z?WSKV{JVtTJKTETXWsTWkI`JIX[GXJJ`JG`BFoLZb?XaoVxzPxrO_{EYjU_jSYsEYBR_jPYS??GC_GBTK??OXzsB?SD?cC`?F_{J@SI`oL`kPACOb_Rbc\\bk`CC_c_bc[fCsedoldsmeOpeKtEcsfGwaoxewxbSvFc|g?hF{~gWjGTAgxEhXDHLHgxIhTPH|RBDTIdNIdWGhPjPQIpXb@Ti{kHDPITObHRjDRIdNhpaK\\LKHbhp_hX]J|KJ|KJ`\\lXeLTILShDTEKLGHLDgXnMDCLpog`lgprlPjldFMt@MhugHvg@sNKYFOzegvf@{aoweX|awrNsVESsN{peAAO[TDyBbW{f{hO{fPCgOsZDCfOyJeg}dPAfqIdQHcsdQAPcaNQKdPscPkoEsjHCuQkjQcbcQXRS`RAYcQVcIUa_lsGkdi]da\\cC^SYcbqaSc^SA`bq^bOZba_ja`sEjTektUmT{QT{PTkQUCPTqrixgaYgiyqaYpaCNVAx`qvVKNUsMUlOISSD|OVkSVcL`b@WSJWBA`a~`Y}ihXagqjJEajD`SHXRJ`BHX[HXCGW}@j[WBKUA~NYNMYCF_rTYsDYbU_rOY[DYJQ_?@?c@?Yh_?ABN";
DIGRAPHS_NamedDigraphs.("gem") := ".DgHI@G|gHI@G~";
DIGRAPHS_NamedDigraphs.("georges") := ".q_OGCSHCc@xWaPHDq`cgVHEPw{sbNHRaL?dRJTAkWpDJqRSgrCmFZXvCDbVs\\xD`PwCUF@`oOtAeEiTocieAcSOSqmCfT[gCA@DAPH?]UGcQP[gXIDqPc]NLGrqSwbOHSqtOjEKPQ{ctIKpJ`uu\\p@Wt|F]PWS]@D`oW[CLOh`id[HIh_hDCDKj`HtV";
DIGRAPHS_NamedDigraphs.("gewirtzbipartitedouble") := ".~?@o_GA?_GA?_GA?_HSJB?sMBp?PC`KSaoqMBwwObPALBxKScPIPCxGSbOyNCh?Pc@INCWwQb`EMCwwSc@QNCw{Sc@MLCgsPbpALCwsSc`MPDGkLb?yJBgoLb@EKCgoSb@MKCGoNapEJCgkSapMJBwkO_oOUFq?`GaKrLGSED`{gIQgjLRYGAPW`IAsoKR`?a?gUGAckJrGvNw[HDaGcHakqMRuFA`WbHQ[iKRg}_oSUHQWlJa{zOWOEDaOfJAwoNCI@?`[WEPgZF@s]__SVGq[jJrGrOgGEEAGeIb?pKsE@@Pc`HacoKbO{_OWYGA[gJrCsMwGBEaCdIQopLSIA@@c_HA_lKbT@_OKWGqOjJRCuNGCCDqGdIaoqLbmAA@kiIqolJbs}__[[GACeHqw~OGGIF`{bHAcoNSAAAPs^GaSgJrw~_O_[GaKmJr?xMgCFEqOdIAcmLra@APw^GQ[jJB[y_Og\\Fq?eIaswMWcIFPwpKbKsLRYEA@c]GAkrMRp?`O_YFQCiKrgzNwKIDpoeJBKyNBuCAP_[HqsrMRk}`O[WFQKgLBd?OWWFDpwaIROyNsIBAPc[HA{sLs@A`?gYFASoLB_~OWSIE`kfJRSvNCAEAPcZHaotMBk~_o[VFQ?jLR[zNgOFE@w`IbSwNBuDAP_ZHR?uMbtA`_gVEqOnLbc}OWKGEPsaIRWwNSECA@g]Gq_uLrxA`o_ZFBCqMrp@OgKEE@g^Jb_yNcAC@P[XFqwvMRs~{GA?_GA?_GA?_GATAooLB_{OCPGRDGkKb_}MCGsObO}RDHCQcPMQDGsMbpIOCX?QbpEMCgwPb`MMDH?SbpMNDH?RbPILCW{ObPMLDHGRcPQJBWoMaoyKBWoPb@IKDGoRb@AKBwkPapIJDGkRao}JCGKCD`{_GQGbKrQD@`W^IAciIrSua?cUGQ_lKBCwOG_IDa?hJA{qLr}FAPWaHAWjKbc|`ogUGqSfIbCyNgKDDaSeJQwnMsEC@`WcHqomKBpA_OGVE@cYEpo\\FgGDDqKfIq{qKsIA@`_aHagoKRL@_OSXGQWhKBGsNGCEEa?fIA{pLBmA?pg`HQckKRTA__OXGAOgJRGtOWCBEAKcIqspLbq@@@[aHQgkKbWz___ZIakkJQw|NgGFFA?`Ha[mNsAAA`w^GqOhKBt?__c\\FqGdIA{}NwCGFAGbJa{oMRi@@pkcHQ_hJb[w_Oc]FqCfIqovMgCIFP{_HaglMBeHA`s]KRGrLBSu`__XFa?jKrc{OGSGE`s`IbKyMr}BA`[[HaorMbo|`?cWFA[lKrczNgSFE@sbIBOxOCEE@p[]GacsMb|A_ocXFAOnLB\\?OgOIE`odKBOwNsEDA`gZHqstLrp?`_cXEqWkLR_zNwKFDps_IrSvMryC@p_]GQgtMBo|`OcWEqSoLbg|OgWIDpkcJrWxNcEBA@c\\GacuMBt@`?_YFaKgLb[}Og[GEpopKbk{OSIB@`_YFqwwMbx?`?SVEP{mLrc|N~";
DIGRAPHS_NamedDigraphs.("gewirtzcone") := ".x_OGCA@?_OGCAAA__wGaAF_`gGQAD_agGeCBEbgO_]R`@pxICEGCWOgYP`APpACCECgOSWR`aPXClBDAq@UGDDbqcWSJFEwocULLPp?kWVa@pXKpDCAqPeEEHCr@c{```px?oZOGwW_]PKebyIECEcqp[}b``PpGiVOGhGgWNIDsQMKFGcq`gybbAA@GgZMGg_caQIDRyDJDDCAXOk_Ohh?g[RJeb`xJFCbQP[u\\NHgwgWPIeRq@MjcAP`?kWNFtAiGIEbrHkw`SIggc[NKEbiDMja@`_wiWMGti}IEEBQpcyaUJg__[PJEri@Gha`ph?iYMFsae?@@?o_SKFCAPOkWLFBq@CcRIDQp[oXLEr`s{^OGSQLGdRHtAdSjUJTq|_pXKubTkv{oGCA@?_OGCA@@@OO[CP@BoOsCH@AoPSCRA@bPsGONHo_w{dABCAKGSLGo`Gw`AABASGIKHopGkaU`a`X?jCAapxQKIDbb[WQJEegw_UKJp?wkeWaa@XGrBBCaX_q]Ooow{_WLgC[KONGeRP|DBABQXWm^PoogwcTJgCScSKFdAyHFEBcQXOs\\Pp`@?cSLfCSOQPHDAh|Adaaa@KgUOGSs_SMHdrPo{dbaPhGmZMfcs[SKGdRHx?fTq@Go_UKFby`TCDBPxcu[OiDSSQMFeBPtAfTp?oo[TKFCYt^DBB@hWq\\PJDsOOMGdbXt?cSpOws_TLFByPR??__WOIEBa@GgUKEb`x?aQHdAhWmWKebXoy]NgCIHEcQhcy`QiTjDix]oWkeZPiuZ~";
DIGRAPHS_NamedDigraphs.("gewirtz") := ".w_OGCA@?_OGCAAA__wGaAF_`gGQAD_agGeCBEbgO_]R`@pxICEGCWOgYP`APpACCECgOSWR`aPXClBDAq@UGDDbqcWSJFEwocULLPp?kWVa@pXKpDCAqPeEEHCr@c{```px?oZOGwW_]PKebyIECEcqp[}b``PpGiVOGhGgWNIDsQMKFGcq`gybbAA@GgZMGg_caQIDRyDJDDCAXOk_Ohh?g[RJeb`xJFCbQP[u\\NHgwgWPIeRq@MjcAP`?kWNFtAiGIEbrHkw`SIggc[NKEbiDMja@`_wiWMGti}IEEBQpcyaUJg__[PJEri@Gha`ph?iYMFsafp?_OGCA@?_OGCCD@@oPCCN@BOOcCJ@DOPKGELFO`?{fABbqSGKOGo`OsbACbaCGGKHO_gofBCaqHYEIDcAkOIJFdGogUMLp`GkYYba@WonCBaqXaIGDcbKKKQHeBHxBBBbq@_u_Pop?{aXLFsSKGLHdax|FBAbaPSm_PQPOo]SJgc[WMPHdBPtFECCAPOu[PP@HCcSIfsIUIIGCq`X?`RQ@OweVLFBqUMHEcaxky]RPpOoaTKfcA\\VGCbA@Wo]NiDSOSLFeRXpAgTPPGw]WLFSI\\VCBB@pSo[PjT{SKKEdbHtCkVP@?waULfSAPRDBbQ@Ss[NhDN";
DIGRAPHS_NamedDigraphs.("goldnerharary") := ".Jk?XGaJ?GqeN?PAeMaG`cK\\A\\u?KcPD_CXRF_G`RFPCOqEM`N";
DIGRAPHS_NamedDigraphs.("golomb") := ".IgMXG@F?PGaJ?GbFPi_xc_C[@CaGk?aK\\F";
DIGRAPHS_NamedDigraphs.("gosset") := ".w_O?K?AA_?OOM?@@?oc?AA@`G?CCBA@g?CCBA`g?CCBA`pC?AAA@Ooa?@@@?g[QI_?OOWMGCa`[?ABA@Oo_T??_o_SMHDbW?CEEBa@GoYM_?O_WMIDb@gw^??`P?cSJEBPo{`?@?o_SKGDBW?GECA`pGk[Q_?_WWMGCb@xGf?@@?o[SJECAPKh?@@P?cSJECQPKgT_?o_WMLFBq@GeSIo?WSOHEb`xCcRIDa{?GDDApgw_PHCqhWmW_@`?gWLFcAHGgTJDr@e?FCap_w]OGcq`SkVKERTsAA@`?gWOIEcbcCCBA@OwcUMHfBkCCBB@p?cWNIFBhyAAA@_wgUKGDR`s{^___g_QIDbAHWw\\NFsCCECB@pgw]OJfBhw}___og_QLFBqH_w\\NFsIIACAa`Ws[OGeR`s{_Ogc[CKGDB@g{_PLFBh|?`PGscCMHDb@o{_PLfBp|?`PGsaUCBA@_xGeSIdr`s{^OGgOKIGCcaXOkWMFRp|AbRo__SSJHCqhWq[MfcADGfSO_o_SKHDAhWs[MfsADIfSIWO[QJECq`SkZMFby@AeRiDIiECAbPpGeVKER`s{aPhCy`RBBA@g{cSJeBPoy^PGsi\\OiUOowc[NHdAx_u[NFsQLKfSItauGEDBQ@GiVKeb`t?aQHSydSkUp?wk[OHdQxcu[NGCQPKfSitax^DCappCeUKERXo{`PhCq`QjUJeCSOIEcQPWoXLFBiDEcQiDIhWlVkWo[WNGDAh[sZMFsAHIeRidYt[nWQ@Go]PIDb@gu[NgSYTKgTItixaqXq`Wo_PIdbHgu[OGSaTKhTItz@aqXlHgw]OGdr@csZMGcYPIeUJTq|_pXKubUcRIDQp[oXLEra\\OhTItat[nWKURLgtZ]GC?B??_g?CCB_?OOKH??__WQ?@@?o_Y?@@?ogY?@@?og[P??___SKG_?OOOIFCag?CCEBa@GgV??_o_SKGDO?GKGDBaPWu?@@`_w_QKEbg?CGEBa`WoYMFo?GSOHDAp_s[NGO?OKGDBA@Ou?A@`?g[QJFCg?GEEBa@Go]QHo?OOKFDAp`?cRIO?OSOHDAp`CcRIDW?KGEBbPo{_QHdAk?EDCAPgw]PHCq`Wn?A@POkYMGCQPKiUJeG?WOIEBPx?aQIDQp[oX_@pGkWMFcAHKgTJDr@ct\\?__WOIECA`hGx@@?o_SMHDbaXoz@@?oo[OHEBq`oy]____WMIDbA@Sw\\NFwGGIGCa`WoaUMFRp|@@@`?o[YMFcAxoy]NgGGKIGCbPo{aWMFRp|Aa_`?ggULFCAHcw\\NGCIHF@BA@OoYNGCRPoy^OGSQLH@BaPWo[NGCRXo{^OGSQLGd`?o_WMQHdAh[w\\NFsAICBAa@HGeSJEB`s{^Ogs{GGDDAqPKiUKfBhx?`QHtCGKGDBAPOiULFBh|?`QhtAeCFCap`KgTJEr`w}_Ohcy`Qi``?gs[QHdr@cw\\NGcYPMgSooo_YNHDAx_s[MfsQLIfSIdcKMHFBqXOmWLfBp|CbRHtAlWla@`Os_QIdrHgw\\OGcaTMhTJDkOMJFCAXSmXLfBq@CcRHtIlWmVpPGk[PHdb@cu[NGSYPKgSitax`DCA`hCcUKERPoy`PhCi`QiUJTzEKFEBq@OiVLEr`|?aQhcyhUlVJuC_QKFcQ`WoYLfByDEdRIDQlYmWke[gUKGCQhWqYLfCADGdRITQl]oWkeZQYMFcAH[oXLEraHEcQhdat[nWKURLgthCq`SkVKERPkwfSITQlWlVJuBDcrYLUv";
DIGRAPHS_NamedDigraphs.("graphcartesianproductofk33andk3") := ".Q_____CgEf`CEF`DGHIaDGHbDGHaCEFKbCEFL`ABEG`ABFHq_____CgEf`CEF`DGHIaDGHbDGHaCEFKbCEFL`ABEG`ABFH";
DIGRAPHS_NamedDigraphs.("grayconfigurationmengerdual") := ".Z____@_B_Aj@FGcGIJcFHJbFGaFG`HIKLbHIaHIdFHMPeGINQdGIMPeFHNQ`ABJMN`ABOPQcDELRUcDEKSTz____@_B_Aj@FGcGIJcFHJbFGaFG`HIKLbHIaHIdFHMPeGINQdGIMPeFHNQ`ABJMN`ABOPQcDELRUcDEKST";
DIGRAPHS_NamedDigraphs.("gray") := ".u_OGCoGDb@w_aIJaag_eMGbAwoiMHcAxGiXMfsYDUhRhRY|YobkGjXqqYlgJPyw^kfZyAy]og{IIAgToTIiElVodayEcRociZl?_OH_OJEBp@CSVDDP@K[PEDp`S[RGDqPSq\\NgsIlQfQetyt`FWPUrdctZOUbto~XMvsDs|`PwSSDOj_iTSLYn`JDsLGf`HSv";
DIGRAPHS_NamedDigraphs.("greatrhombicosidodecahedral") := ".~?@w_GA?`OQCa?]FaoiIb_uLcPAOd@MRdpYUe`eXfpy]gaE`hQQgHY{mjjGpjBEilaixHjewMj[zn`ugIQmlnRx?i{IhOytBnSPDlRg{hbSukbSukbKslyqvkZ@KRj@LRi|JRYMaIAeaGqQ_HtI^NRy^GAEwQza\\FhlYed`Xe`k[eA}VFTmVE@eTOHOmVhOTDhHKcQt`cPGRbsIMJEQMBpAKLGkjXwkKBWcdaAhia?cI`aPl`QYD@_]BFDeBFA]AMVE@HtI@?_Rw_GA?`OQCa?]FaoiIb_uLcPAOd@MRdpYUe`eXfpy]gaE`hQQgHY{mjjGpjBEilaixHjewMj[zn`ugIQmlnRx?i{IhOytBnSPDlRg{hbSukbSukbKslyqvkZ@KRj@LRi|JRYMaIAeaGqQ_HtI^NRy^GAEwQza\\FhlYed`Xe`k[eA}VFTmVE@eTOHOmVhOTDhHKcQt`cPGRbsIMJEQMBpAKLGkjXwkKBWcdaAhia?cI`aPl`QYD@_]BFDeBFA]AMVE@HtI@?_R";
DIGRAPHS_NamedDigraphs.("greatrhombicuboctahedral") := ".o_OGCSHCc@w{kTIfBXlKdQgtqtYpXhdZT[tPHRrsww\\fBqConJGfxWoZHIqAqIOHDPbCSuda`_{K_[`cAcGqg_cqcCCCwOGCAICaQ?{]UIdR`kueQhSYxYlWksqlimYgchxy[[Mr`xAWVdcR{kWLcdX@XDGCagpaIZQpOo]EOMOq@QCXSOQXQAAA^";
DIGRAPHS_NamedDigraphs.("grinberggraph42") := ".i_OGC_NDbAW_aGFaaGo]XJecHo}THHpGkY_TfdYX]gUhDyHYrWNVZdhBZOOR{C|APosQYE`QocART?_OH?]JECp@CONDCP_{qVLGR`{iQRaPWt?jNIsq|OlQJsQteo]mvJQEu__fwHyCb`gcsLAd`GCf";
DIGRAPHS_NamedDigraphs.("grinberggraph44") := ".k_OGCSHCdAXKWVDDBH?e_GDppSW^DBpIXQcSfsA|E[XfqG|_xTMtb\\gx\\lts\\dDBOhWHxHANosQaAb`GDUq@?_POcQSHcp`[SSKcAY?_VFDP`{SNChdIPQ^OJsXpe^GbuBdSzULubduvVPuSSLAd_fccG~BPIGIMC_T^";
DIGRAPHS_NamedDigraphs.("grinberggraph46") := ".m_OGCSHCdAWwiYGbAgo_RDBbg{mOKcbX_uIPaTa|CdVheilOxKhVBtk|^nujAQybkggYDH@OHgQ]EdTOS[HCkvOGCAICaQ`K[TLCP`SWOHa`ps]VGEQPkoZDGpIp]aQjsrTUg[eSj`yu]nvzT`H\\PuSSLAc_gCsHNBQigIMCaU^";
DIGRAPHS_NamedDigraphs.("groetzsch") := ".Ji?c@pEUPBFaGhg@CKey_H?[PdcOpwaIY?PBH";
DIGRAPHS_NamedDigraphs.("gruenbaumgraph121") := ".~?@x`oMB@wUDAWQCAwYE`g]GageKawsObpENCwwQbPUMDH?UcP]QEXKWd@mTEhq\\fyE_fiIbhAedIIYfJGMD`IGggqecIiSjhqueJIymLy}nMZAoMzEqkzUslj[|mByxNzh?nCEzOjtBncQ~P[@Eocb@P{fIq{rMr[~OT\\FQT|NSU[|TsDZPT|HWtDjRU\\n[v\\z_v}FawubcxejdX}DfwebbY]PixUreYw@l_Exr_U}@[FUA[gHp\\~eF?wKF`WSH`GOJ`gYE`waIaWqJbPANCW{Rb`ILDWwSc@YPDxGXcpaSExSYfHu^gYA]giMcIYSghi[k_wUCgaabIYOihQmfJYWkjiwvjy{xkJ?zkZIrlZQulruwNjc~mcA{OZlAnSM}PJ|DoCZAQKDFq[jJrKzLr|@Ts\\HVs|PXrtVOTlDVsdbSUlLXu|r\\vmB^w]JbYMReYmTfwU^aYMLhxEjdZMXj_Eu?ZfM@ZwDo\\WHq_fDv";
DIGRAPHS_NamedDigraphs.("gruenbaumgraph124") := ".~?@{_GA?`OQC@W_F`oaKAgmIBGkLc_{Pb`AOCxCQe@SVd@YUEX[Wexi\\f@y\\Fho^hACbgAIHGaUGGqQPcIGhgqaFiQigIyqkJyylkBInKZGrkRQulZavMZ_xlri~Mry{NWW}NwS|OGiJpouKqsPEosVGQk\\HdciVQZxDnSYCpdJDS[hNqTBCQ{LKqCvFRlNRVLVSvTz[V|nYu\\bUt}ZfYMVcwunaYm\\hxebdYmPjwuraZ\\|`veAB[VUB[FQ@ZwHm_fLx_VHw~GA?_GSC`?UG@w[Gb?iJa_qJBXGNCWwOc@MPCh_TDxOUd`eVEHmYfXo]fPy[FyO`Gy?aaQGdaAKccXAaIYKg`yciiAmkjA}mjZ?qjrEqKzCsljUwlrewMZ[ynrk}nBuENb}DNSAIa{[LbKlCPkLDqCjFQXXIdse}PZtE`KXQpTFIR{dOpCnBRK`LpszRstrTtLt]vD~ZulfWtl^exubdxMLjwejfY]XgxUjcY}Lkwev^W\\x__vDt_v@s_U}AZgHr]WDq]N";
DIGRAPHS_NamedDigraphs.("gruenbaumgraph25") := ".X____hGfed`DEaFGLaIKaDHbHIcJKP`GKbFJR`HJcEIOcDFTbEGNx____hGfed`DEaFGLaIKaDHbHIcJKP`GKbFJR`HJcEIOcDFTbEGN";
DIGRAPHS_NamedDigraphs.("halljanko") := ".~?@c_G?@_?CA_?CA_?CA_?CA_?E??W?@_?CB@?[G_?CD@_[G_?CB@O[H_?CC@_[H_?CC@O_H_?CB@__H_?GFA?cIAw?A@o_HB?u??_[GAOwN_?GD@_cIApCQ_?GB@?cIApCQ_?GB@O_KBP?Q_?GC@__KBP?Q_?GC@O[MBp?P_?GB@_[MBp?P_?SEAOgKB`?SD`a?@OWHA_sNC@OTDw?C@__IB?wPCpSWEg?B@_[IB?wQCpWVEg?C@O[IBO{QCpSWEW?B@O_IBO{PCpWVEW?B@?cJB?{OCpWVEpu??oOHAosMC@KTE@o]_?OEA?kKBpCSDP[XF@s__?OD@okKBpGSD`_YEpw__?KE@okLB`GSDP[XEpw^_?KDA?kLB`CSD`_YF@s^_OGFA?cIAp?PC`KS_OGFA?cKBP?PC`SU_OGFA?cMBp?PC`[W_OGB@?cIAp?RD@{_Ha]@?_SEAOgJC@KSEPgeHwCA@?WGB?sPDPWZGQSf_OGB@O_KBPCTD`wcHQ]@?_OD@owNC`[WFQGdHgCA?oWFB_{QDp_[GqSe_OSEAOgKB`KXE`k[HQ_iJWCD@_cIBO{REPg\\FaSgIqq@?oWFA_oME@cZFAKfIQgkJwCC@__IB?wUEPk[GQWhIqsn_OOD@ogLBp[YFPwaHqcjJQy@?oSGA_sNDPg\\FaOeIQgkJgCB@?cJB?{SFq?`GaShIaopKgCB@?cJBOwSFq?bHAShIqsoKwCC@__JB?{UEp{`GaWgIqomKBGt_OOD@okKBp[\\FqCaHq_iJQ{pKrU@?oSGAosMDPw_GqOeIAglJr?qLGCB@_[JBOwWFA?bHA[gIqomKRKs__KCA`?RDP_ZFP{_HQciJB?rLBUA?oOIC@KUDpo]Fq?dIQklKRGsLWGD@_kOD@WWEPgaHASgIqomJrWx__SEAp?SDP[XEaCbHQ_iJQwnLraA?oSKCPKUDpo]FqOeIAglJbKvMBg{__OEBPCRDP_ZFQ?`Ha_jJA{pLbczNWGB@_{QCpWVF@w^Gq[gIqonKBWxMbuA@?SMC`KTE@k\\GAGfIAglJbGvMBk{__KDB@CSD`_XFaGcHaciJB?rLB_zNS@@__KEBpGSDP[YFACbHqciJB?rLBczNBw~__OEBPCSDP[YEqCbHacjJRCqLRWyNC@@__ODB`GSD`_XFQGcHqcjJRCqLR[yNRw~`o_IApCQCpO[FQCcHa[gIRCrLrc}NsLD`o_IApCQCpOZFaGbHa[gIR?qLb`?OSHC`ocKBP?QDPWYFA?aHQ[iIqwqLBczNCDB`ocKBP?QDPWXFP{bHQ[iIq{oLR[yNS@Da?cMBp?PDp_XFa?`HQWkJQ{pLB_zNR|Aa?cMBp?PDp_YEp{cHQWkJQwrLRWyNBxC_o[IB@CSE@cZFaGbHQklJbCqLBcyNBxCPSXHQgOGA_wQD@WXF@s`HASiJAwoKrSuMrp@OcLFQSiBA?gNC`OTE`o\\GQOdIqsnKRGsMBg|OCPDPs`J`?[IBPCSDpgZFaGbHQgkJr?rLR[zNR|AOsXGQwKFA_oODP_XEps^GqWgJQwpKr[xMrs~OSHFQClMRwKGA_{ODP_YEps^HA[gIq{oKbWwMro~OSLEQShKRWOGA_wOD`[XF@w_GQ[gIawoKbWwMbs}OCTEQClMRwOFA_sOD`[YF@w_GaWgJA{pKr[xMbo}OCPFQShKRWSFAooPCp[[FP{`HASjJAwqLBWxMrs~OCHFQSlLRdADA?kMC`KTEpw_GaKdIqomKrSuMRg|Ns@DPc`IRC|Q`_[JBPCRE@o\\GACcHQglJr?tLr_yNBx@PC\\GQctMSwWGAo{QCpWZF`{aGqSiJQ{pLB[wMro}OSLEQSlKRtED@okKC@SVEPs^GQKeIQooKbOuMBg{NcLCPc`IRDDQTTYEA?kNC@WWE`k^GaOfIQgpKrOvMRg|OCHDPs`IRd@RTTYE@okLC@WWE`o_GaOeIQsoKbSuMBk|NsHDPcdJRtDQTD]DA?kMC@SVEPw_GQKfIQkpKrSvMRk{OSLCPsdJRT@RTD]DAOoMCPKVE`k[FqOfIQknKBCtLrl?OSHCPc`IRtDTTd`X`OcKB`GRDPgZFA?aHackJr?pLB_yNb|BPS\\HQsxRTD\\YUwWHBO{QCpWXFPw^GqWhJQwqKrSuMrw~OsTFQChLSDTUUDeEAOsNCPKWEPs]GACfIQgmKbKsMRh?OSHCPcdJRDHSTthZ_ocKBpCSE@c]GACaHq_jJr?tLb[{Nb|BPS\\GQsxNSDHUUtt]_ocKBpGSDPg[GACaHa_lJbKtLb[|OCDAPCXHQcpLSTLTUdp^`?cLB`GSD`c\\FqKcHa_kJrCsMBc{OCDAPCXGQsxNSDHVUDp^`?cLB`CSDpgZFqKcHq_iJbGsMBc|Nb|BPS\\HQcpLSTLSUTt]xGA??W?@?g?@?g?@?g?@?g?@_?E??W?@?oOFAG?@@OWFAG?@?oSFAW?@@?WFAW?@@?SGAW?@?oWGAW?A@o_HA_m??_[GAOoL_?GFA?cMBw?A@OWHA_kPCg?A?oOHA_kPCg?A?oSGB?sOCg?A@?WGB?sOCg?A@?SFB_{OCW?A?oWFB_{OCW?D@_cIB?wOD@WW_?SEAOgLBp?SDP]?@?WGA_oMCPKTE@i??oWFA_oMC`KUDpi?@?SFA_sNC`KTE@e??oSGA_sNCPKUDpe??oOHAooNC@KUDpk\\_?KCAOkLB`?RDP_[Fg?C@__JB?{PD@SVEPo\\GG?C@O[JB?{QD@WWE`k]GG?B@_[JBOwQD@SVEPk]Fw?B@O_JBOwPD@WWE`o\\FwCA@o_HA_kOCPGRDGCA@o_HB?sOCPGTDgCA@o_HB_{OCPGVEGCA?oOHA_kOCpO^GAWf_OGD@_cIAp?RD@cYHa]@?_OEA?oLCPSUEqCdHwCA?oSGB?sPDPW]HASf_OGC@O[MBpGVE@saHQY@?_KE@owNC`[WFAKdHgCD@_cIB?wREPgZFASgIau@@OWHA_sNCpcYFPwdIAkk_OKE@ogKB`_XEpobHqciJA}@@?WGA_oMD`cZFACeIQklJwCC@O[IBO{VE`s]Ga[hIqsm_OKDA?gLBpSYFPwcHaciJAy@?oOHAooND@{_GQGdIQgkKRI@?oOHAosMD@{_GqOdIQklKBM@@?WGAooND`k^GQGeIAkkJb?qLWCC@O[JB?{VFP{`Ga[gIasnKRKt_OKDA?kLB`S]GAKcHa_iJQ{oKbQ@?oWFAosME@o_GqOfIAkkJbCrLGGB@?gOCpSWEps^GAShIaooKrOt__KCA`?RD`[[F`{_HQcjJRCqLBUA@OWJC@OUE@cYGaOdIAkkJa{uMWGD@_kOD@SVEPg`GqSgIasmJr[w__KDB@CRD`[[F`{cHa_iJQwrLr_yNGGC@_sPCpSWEps_GQWgIqonKRWxMruA?oWNC`KUDpo]FqKfIAkkJr?uMRg|__ODB`GRDP_ZFQ?aHq_iJQwqLr_zNGGB@OoPD@WWEPwaHAWhIaooKrOwMrt?OWGB@_{QD@SVE`o`Gq[hIaooKrOxMro}NwGC@_sPD@SVE`k`GqWhIqspKbSuMbp?OWGC@OwQD@WWEPsaHA[hIqspKbSvMbs}Nw[GA_kPC`KSF@s`HAWfIAcpKr[xNb|BPW[GA_kPC`KSEpwaGqWfIAcoKbWwOCDAPG[HB?sOC`SUE`o_GaSfIakmKbOxMrp@Ow[HB?sOC`SUEPs^GqSfIaknKBSvMbt?PW_HB_{OCP[WEPw_GQSeJAsnKROwMrs~Og_HB_{OCP[WE`k^HASeJAsmKrSuMbo}PGKFA_oPD@_XEpwaGqSjJQwpKbOxMbo}PCTEQSiCA?gMC`OUEPo\\GQOdIaomKBKtLbk{OSHBPsdI_o_IBpGSDPg[FQCcHQklJrCqLB_yNS@CPS\\GQwOFA_sPD@[YEpwaGqSiJA{oKrSvMrs~OcLEQCmB@ogKC@SWEPk\\FqKeIAsmKRKvMRk|NsDAPs`JRc}BA?gNC@SWE`k\\FqOfIAknKBGuMBk{NsDBPcdIRCuCA?gMC@WVEPo]GACfIAgmKBGuMBg|Nc@DPc`JRc}C@ogLC@WVE`o]GAGeIAonKRKvMRg{Nc@CPsdIRCuD@okKCPKVF@s^GQOdIqomKbOuMRk|Ns@APsdJRSxO`O_JB`GRDPk]GAGbHQkkJbKtLbcyNR|?PSXGQcpNSgWFAosPCp_[FQ?`HASiJQ{oLR[wMbo}OSPFQChLRdMEA?kNC`KUEpw^GaKdIasnKROvMBk{NcDBPcdJRC|P`O[JB@?TDpc\\FqCbHackKBGsLb_yNBxBPCXGQcpPSdTU`__JBp?UE@gZFqGcHqciKRKsLrcyNS@APS\\GQcxOStTU`_[JBP?UE@g[GAGcHaclKBGtLb_zNR|APSXHQs|PSdPV`O_JB`?TDpc]GACbHqcjKRKtLrczNCDBPC\\HQstOStPV`OcKB`CRDpgZF@{cHqcjJr?pLR[zOCDAPCXGQc|PTTXWUWSHB?wQCpSYEpo_GaWhJA{oKROwMbw~OsTFQSlMStPVUdmEAOsNC`KUEPs]FqKeIQsmKbKtLbk}NsLDPs`IRT@TTd`X`_cLBpCRE@c\\Fa?`HqciJbGrLBcyOCDAPCXHQspQTD\\YUwKHB?{PD@_XFa?`Ga[gIq{oLRWvNBw~OsTFQClMRt@QTdl\\VgKHB?{QD@SYFA?`GaWgJQwrLRWvNS@@OcPEQShKRTDRTTh[VwOHBOwQD@WXFP{bHAWgJA{pLB_xNC@@OcPEQClMRt@QTt`[VwOHBOwPD@[YEp{bHA[gIawqLB_xNRw~OsTFQShKRTDRTDd\\Vn";
DIGRAPHS_NamedDigraphs.("halvedfoster") := ".l_O?KA?B_O?k_NICr@[wZPGRww_]OGchGgUKEbgW[XDBbg_[UUb@phUEGDp@?qIGEeWo_[Y_bPxmAJGEWGwc[NOP`Cs\\`aQPeIHGew_c]YPP`H?w``a`xSzDDCApxJEDCRAAGIHDry]CLHECKGUPJgdKGWOIhGOw]UPi|kA?@_O?[A?Dc@xOeWJfBYHA^FCBq@CdHDAp_s\\BBbGg[\\CBaqsWMLIop?mGGEPP?srECBbSCYNLoPX?r@FCb`yAKGebkKQQKpPHCvCCbrQIKHGFCKKSNIfWgg_UNHWogaWOP@PGm^Ro`hGo``AqH\\Ch`BA@THAFBqqLV";
DIGRAPHS_NamedDigraphs.("harborth") := ".s_O?KA?Bb@XGSLEBaWwiMJdbIHAOOgCQTCfSiDZ@WnTJEH@InVLtr@miXLVJ{{s\\NRrXo~MORryA[_PhHqNLLGCX?oYgaa[}XMj`IgIlXCFBwa\\Un``_waEDTJWGHYmyOG?E@?@p_kcIEb@pK[TFDqpdC`GGSAHIaRiTAl_kVidbC_dVjeyx_vTKejd}]YMfhxkw^fGHx|@MOGscxFeecAK_WLSPPM^KfTodSDUkaB`{PMjVooo[PBAidkCClV^";
DIGRAPHS_NamedDigraphs.("harries") := ".~?@E_GA?a?]E`GUC`gUD`GYF`xoKCg{Rc@ELBgoSbP]ODWwWcPiNDhKXc`mJEg_Ta`]GEGkZaPQHDggXdPYVExOWePioKzCqgAa`IYOjhQiaJIKnhqyeJXo^fPy@Lb]AMBeAMbu@MrqBLR}BLBzE_GA?a?]E`GUC`gUD`GYF`xoKCg{Rc@ELBgoSbP]ODWwWcPiNDhKXc`mJEg_Ta`]GEGkZaPQHDggXdPYVExOWePioKzCqgAa`IYOjhQiaJIKnhqyeJXo^fPy@Lb]AMBeAMbu@MrqBLR}BLBz";
DIGRAPHS_NamedDigraphs.("harrieswong") := ".~?@E_GA?a?YF`WQC`W]E`GUF`hoKCx?QbpELBgoSbP]QDWwWc@mPDhKXbpiHEg_Tap]GEGcXa`QJDggZdPYVEXOWe`moKzCqgAa`IYOjhQqfIiWngqyaJXo^fPy@Lb]AMBeAMbu@MrqBLR}BLBzE_GA?a?YF`WQC`W]E`GUF`hoKCx?QbpELBgoSbP]QDWwWc@mPDhKXbpiHEg_Tap]GEGcXa`QJDggZdPYVEXOWe`moKzCqgAa`IYOjhQqfIiWngqyaJXo^fPy@Lb]AMBeAMbu@MrqBLR}BLBz";
DIGRAPHS_NamedDigraphs.("hatzel") := ".xa`GwYQGdag?Q?D`awGYCH`AGG]EIbQac]IUaQBCmQYeSRcuc]hriAE]__OW[Iwcmh{YV?enHKQ^AenhY`YmWkeyhj_pXK|AfWnYzTrVSjZL~KSHFBQPCkT?AO?kKV@BO`KGP@BopSYSSbpQsQOWdqRSqa[esbtM\\OOrsCABB`VCdtNbQwCtxHaRwSt|JSJTrDcvTL[EJHfgSzDzVYmYydZXn";
DIGRAPHS_NamedDigraphs.("heawoodfourcolor") := ".Xa?@_@AdCccEcDF_B_AdGeFfGJK`BH`AIpINOjKLOhMcDERdJOPQSeKOQRS`MNOPRU_HIPRSTxa?@_@AdCccEcDF_B_AdGeFfGJK`BH`AIpINOjKLOhMcDERdJOPQSeKOQRS`MNOPRU_HIPRST";
DIGRAPHS_NamedDigraphs.("heawood") := ".M`AE?cJCpxCLK`xDNKhnO`B?QDaW{aEeO{afeSv";
DIGRAPHS_NamedDigraphs.("heptane") := ".VoLMNiJK_@cDQaBQeFORgHPSvoLMNiJK_@cDQaBQeFORgHPS";
DIGRAPHS_NamedDigraphs.("herschel") := ".JcAKWObGXRqGW{qDLmOGp`AK`dNG`brGSv";
DIGRAPHS_NamedDigraphs.("hexane") := ".SmJKLgHIaB_@OcDMOeFNPsmJKLgHIaB_@OcDMOeFNP";
DIGRAPHS_NamedDigraphs.("higmansimsbipartitedouble") := ".~?BG_C?_C?_C?_C?_C?_C?_C?_C?_C?_C?_C?dgVB?XBOZB_\\Bo^C?`CObC_dCofD?hDOjDcVB?XBOZBccCgeCwgDK`CWeDGiDc`COfD?iD[aCWcCgjDc^C?gDGjDc]C?dCwiDc]BwcCoiD[\\BwbCggDS\\C?aC_hDS\\C?`CgeD[\\Bw`C_fDc\\BobCwhD[\\BoaCogDc^C?aCWeC{]C?`CWcDC]Bw`COdDKVB?\\Bo^CCZB_eCwjDcYBWdDGiD[YB_cD?iDcXBObCogD[XBOaCwhDcXBWbC_fDSXB_aCgeDSXBW`CggDcXB_`C_hD[ZB_aCWgDKYB_`CWdC{YBW`COcCsXBO^C?`DSXB_]BwbDcXBW]C?aD[YBW\\C?bDcZB_\\Bo`DSYB_\\BwaD[ZB_^C?cCkYB_]C?eDKYBW]BwfDCXBW\\BweDKXB_\\C?fDCXBO\\BocCkVBG\\CGaC[WBG\\DOjDcVB__CWiD[VBW^COiDcVBO]CGjDcWBW^CGbD[WB__CGaDcWBO]CObDSWBW_CogDSWB_^CwhDSWBO^CgeDcWBO_C_fD[WBW]C_hDcWB_]CggD[VBG_C_eDcVBG^CgfD[VBG]D?hDSVBO\\CofDSVB_\\CghDcVBW\\C_gD[VBW_CGfDKVB_^CGeDCVBO^CWcDKVBO_COdDCVBW]CWdCsVB_]COcC{WBG_CWdDKWBG^COcDCWBG]CGeC{WB_\\CWcCsWBW\\COdC{WBO\\CGgDKVB?bCwgDcVB?aCohD[VB?`C_dDSJ@_L@oNA?mFxKHhMHxOIHWJHYJX[Jh]J{J@_QAWTAomFxKI@RI`TIp_KHgLHkLhsM{MA?PAWSAomFxMIHQI`UIxbKhfLXnMHrMsL@wPAOSAgmFxLHxQIXTIxaK`eLPmM@qMkG@OJ@gSAomGXGHHJIHTJ@\\LXlLprMhvNKH@OM@wTAomGhEHPJI@VJ@^LHoMHsMhuNSG@GKA?SAgmG`FHHIHxUJ@]LPkLxqMpvNCF@GJ@wRA_mG@CH@JHpRJ`]KXcKpkMHsNKF@OJA?PAgmGPCGhHHhSJX^KHcL@mMHrNCF@?L@oRAgmGPEGxJH`QJX]K@aKplLxrNSF@?NA?QAomGHDH@IH`QJP\\KHbKxkLpqNSF@OK@oQA_mG@BGxIHhSJ`\\KPdKxlM@sNCF@GK@gPAomGHBGpHHpRJP^K@dL@nM@qNKG@GJ@oPAOmG@AGXDHxUJHYK@bKphLXtNCH@OLA?QAWmGHAGxGI@VJH[K`dL@iLXvNSG@OK@wPAWmG@@G`EIHTJHZKHaKxhLPuNKC?oJ@oSAgxFW{Fg~HhUJ@]KplMHrM`tNCD?oLA?TAouEw|Fo~H`VJ@^L@mLxqMXvNSC?gK@wSAowFO{Fo~HpTJ@\\KxkM@qM`uNKB?gJA?QA_rFGyFg~HxSJ`\\KXcLXkLpvNCB?oJ@wPAotEwyF_~IHRJP^KHbLHmMHtNKB?_NA?RAgsEwxFo~I@QJX]KHcLPkMHuNSB?_L@oQAotEowFg~I@QJP\\K@dLXlM@tNSB?oK@gRA_rF?zFo~IHRJ`]KPdLPlLxvNKB?gK@oPAgsEozF_~HxSJX^K@aLHnM@uNCC?gJ@gPAWrEgvFW~HpTJHZK@cKpgLXrNKD?oM@wQAWsEgwFG~H`VJH[KPbKpfLHsNSC?oKA?PAOrE_uFO~HhUJHYKHdKxgLPqNC@?OJ@_PA_rFOzF`?GXCHHLHpNIHRI`TIs@?OMA?QAgsEoxFhAGhFHPKHhNI@QI`UI{@?OL@wRAotEwwFp@GpGHXKHpOIHQIXTI{A?gG@WNAgoEwxF`CGhJH`NIhWJXeLHkLsA?_H@WOAopEwyFhDH@HHpOIpWJPgLXkMKA?_I@_LAgoEozFpEGxHHhOIhWJXgLPlMCA?oI@wOA_qFGyFpCH@IHhPIxWJ`fLPmMKA?gH@gMA_qF?zFhBGxJHpNIxWJ`eLXnMCA?oG@_MAopEowF`BGpIH`PIpWJPfLHlL{A?WFA_TAonF_|FpHHPJIPRI`kLhmLxoMKA?WI@WMAWpEgxFX?GPJI@PI`ZJ`hLXlMKA?WG@gOAGqEWuEx@GPHHxPIPYJXiLXmL{A?WH@_NAOoE_wFP?GHIHxOIXYJ`hLPkMCA?oF@WLAOoEWtFhAGXGH`LIXYJ`eL@lLsA?gF@_OAWpEWsFp@G`FH`MI`ZJ`fL@kL{A?_F@oNAGqE_tF`?GhEHhMIPYJXeKxoMKA?gIAGQAonEguFP@GXDI`TIxfL@hLXmMCA?_GAORA_nEWwFH?GxGIPTIpeKxiLXkLkA?oHAGRAgnE_vFXAG`EIXUIxeL@hLPnMK@?WFAGQAWnEWsEh?GHAIPRI`_KHaKXcKk@?WH@WLAgoEwzFhAHHJHxOIX]Jx_K`tM{@?WI@_OAopEoyFp@HHII@PI`\\Jx`KhuM{@?WG@oNA_qF?xF`?HPJHxPIP\\JpaKXtMs@?gF@WMAopEg{FhBGhJH`MI`\\Jx_KXrMc@?oF@_NAgoE_{FpCGpIH`LIX]Jx`KPqMc@?_F@gOA_qEW|FpFH@HHhMIP\\JpcKhqM[@?_I@WNAOoEgxFP?GhGHhOIhXJh`K`sMk@?oG@WOAWpEWvFHAG`GH`PIpXJp`KXrM{@?_H@_MAWpE_wFX?GpFHpOIpXJp_KhsMs@?gG@_LAOoEWuF@@GXFH`NIhXJh_KPqM{@?oI@gMAGqEguFXAGXEHhPIxXJxaKhrMk@?gH@wOAGqE_vFP@G`DHpNIxXJxbK`qMs@?gIAWSAgnFGzFpCGxJI`TIxaK`rM`uM{@?oHAOSAonF?yFhBH@IIXUIxbKhqM`tM{@?_GAGTAonEovF`DGpHIPTIp_KHqMXtMsD?oH@OJ@_oEGyFXBG`WJH[JxgLHsMxwNKC?gG@OMA?pEOuFHDGxWJHZJhfLXrMpwNSC?oG@GL@woEOvF@EH@WJHYJpeLPqMhxNSB?_F@?J@_oEGrF`?HHYJX\\Jp_KHkLhwNKB?gF@OL@woEOtFp@HXZJ`\\JxaK`mM@xNSB?oF@GMA?pEOsFhAHPYJ`]JxbKhnMHwNSB?gG@GRAonEGvF@@HX_KXhLXkLxuMxxNSB?oG@OQAgnE?uFHAHP`KPhLPlLptMxwNSB?_H@OPA_nEOyFX?HHcKhiLXoMHtMpwNKC?oF@ORAonEGtFpEH@`KhfL@lMHrM`xNSC?gF@GQAgnE?sFhDGx_K`eL@kM@qM`wNSD?oF@?PA_nEOrF`BG`aKXeKxmLxqMXwNK@?OF@?H@OnE?pEP?GHAGXCGhEGxGHHIH[@?OB?_D?onE?pEOrE_tEovF?xFOzF_|FvG_C?_C?_C?_C?_C?_C?_C?_C?_C?_C?_C?dgVB?XBOZB_\\Bo^C?`CObC_dCofD?hDOjDcVB?XBOZBccCgeCwgDK`CWeDGiDc`COfD?iD[aCWcCgjDc^C?gDGjDc]C?dCwiDc]BwcCoiD[\\BwbCggDS\\C?aC_hDS\\C?`CgeD[\\Bw`C_fDc\\BobCwhD[\\BoaCogDc^C?aCWeC{]C?`CWcDC]Bw`COdDKVB?\\Bo^CCZB_eCwjDcYBWdDGiD[YB_cD?iDcXBObCogD[XBOaCwhDcXBWbC_fDSXB_aCgeDSXBW`CggDcXB_`C_hD[ZB_aCWgDKYB_`CWdC{YBW`COcCsXBO^C?`DSXB_]BwbDcXBW]C?aD[YBW\\C?bDcZB_\\Bo`DSYB_\\BwaD[ZB_^C?cCkYB_]C?eDKYBW]BwfDCXBW\\BweDKXB_\\C?fDCXBO\\BocCkVBG\\CGaC[WBG\\DOjDcVB__CWiD[VBW^COiDcVBO]CGjDcWBW^CGbD[WB__CGaDcWBO]CObDSWBW_CogDSWB_^CwhDSWBO^CgeDcWBO_C_fD[WBW]C_hDcWB_]CggD[VBG_C_eDcVBG^CgfD[VBG]D?hDSVBO\\CofDSVB_\\CghDcVBW\\C_gD[VBW_CGfDKVB_^CGeDCVBO^CWcDKVBO_COdDCVBW]CWdCsVB_]COcC{WBG_CWdDKWBG^COcDCWBG]CGeC{WB_\\CWcCsWBW\\COdC{WBO\\CGgDKVB?bCwgDcVB?aCohD[VB?`C_dDSJ@_L@oNA?mFxKHhMHxOIHWJHYJX[Jh]J{J@_QAWTAomFxKI@RI`TIp_KHgLHkLhsM{MA?PAWSAomFxMIHQI`UIxbKhfLXnMHrMsL@wPAOSAgmFxLHxQIXTIxaK`eLPmM@qMkG@OJ@gSAomGXGHHJIHTJ@\\LXlLprMhvNKH@OM@wTAomGhEHPJI@VJ@^LHoMHsMhuNSG@GKA?SAgmG`FHHIHxUJ@]LPkLxqMpvNCF@GJ@wRA_mG@CH@JHpRJ`]KXcKpkMHsNKF@OJA?PAgmGPCGhHHhSJX^KHcL@mMHrNCF@?L@oRAgmGPEGxJH`QJX]K@aKplLxrNSF@?NA?QAomGHDH@IH`QJP\\KHbKxkLpqNSF@OK@oQA_mG@BGxIHhSJ`\\KPdKxlM@sNCF@GK@gPAomGHBGpHHpRJP^K@dL@nM@qNKG@GJ@oPAOmG@AGXDHxUJHYK@bKphLXtNCH@OLA?QAWmGHAGxGI@VJH[K`dL@iLXvNSG@OK@wPAWmG@@G`EIHTJHZKHaKxhLPuNKC?oJ@oSAgxFW{Fg~HhUJ@]KplMHrM`tNCD?oLA?TAouEw|Fo~H`VJ@^L@mLxqMXvNSC?gK@wSAowFO{Fo~HpTJ@\\KxkM@qM`uNKB?gJA?QA_rFGyFg~HxSJ`\\KXcLXkLpvNCB?oJ@wPAotEwyF_~IHRJP^KHbLHmMHtNKB?_NA?RAgsEwxFo~I@QJX]KHcLPkMHuNSB?_L@oQAotEowFg~I@QJP\\K@dLXlM@tNSB?oK@gRA_rF?zFo~IHRJ`]KPdLPlLxvNKB?gK@oPAgsEozF_~HxSJX^K@aLHnM@uNCC?gJ@gPAWrEgvFW~HpTJHZK@cKpgLXrNKD?oM@wQAWsEgwFG~H`VJH[KPbKpfLHsNSC?oKA?PAOrE_uFO~HhUJHYKHdKxgLPqNC@?OJ@_PA_rFOzF`?GXCHHLHpNIHRI`TIs@?OMA?QAgsEoxFhAGhFHPKHhNI@QI`UI{@?OL@wRAotEwwFp@GpGHXKHpOIHQIXTI{A?gG@WNAgoEwxF`CGhJH`NIhWJXeLHkLsA?_H@WOAopEwyFhDH@HHpOIpWJPgLXkMKA?_I@_LAgoEozFpEGxHHhOIhWJXgLPlMCA?oI@wOA_qFGyFpCH@IHhPIxWJ`fLPmMKA?gH@gMA_qF?zFhBGxJHpNIxWJ`eLXnMCA?oG@_MAopEowF`BGpIH`PIpWJPfLHlL{A?WFA_TAonF_|FpHHPJIPRI`kLhmLxoMKA?WI@WMAWpEgxFX?GPJI@PI`ZJ`hLXlMKA?WG@gOAGqEWuEx@GPHHxPIPYJXiLXmL{A?WH@_NAOoE_wFP?GHIHxOIXYJ`hLPkMCA?oF@WLAOoEWtFhAGXGH`LIXYJ`eL@lLsA?gF@_OAWpEWsFp@G`FH`MI`ZJ`fL@kL{A?_F@oNAGqE_tF`?GhEHhMIPYJXeKxoMKA?gIAGQAonEguFP@GXDI`TIxfL@hLXmMCA?_GAORA_nEWwFH?GxGIPTIpeKxiLXkLkA?oHAGRAgnE_vFXAG`EIXUIxeL@hLPnMK@?WFAGQAWnEWsEh?GHAIPRI`_KHaKXcKk@?WH@WLAgoEwzFhAHHJHxOIX]Jx_K`tM{@?WI@_OAopEoyFp@HHII@PI`\\Jx`KhuM{@?WG@oNA_qF?xF`?HPJHxPIP\\JpaKXtMs@?gF@WMAopEg{FhBGhJH`MI`\\Jx_KXrMc@?oF@_NAgoE_{FpCGpIH`LIX]Jx`KPqMc@?_F@gOA_qEW|FpFH@HHhMIP\\JpcKhqM[@?_I@WNAOoEgxFP?GhGHhOIhXJh`K`sMk@?oG@WOAWpEWvFHAG`GH`PIpXJp`KXrM{@?_H@_MAWpE_wFX?GpFHpOIpXJp_KhsMs@?gG@_LAOoEWuF@@GXFH`NIhXJh_KPqM{@?oI@gMAGqEguFXAGXEHhPIxXJxaKhrMk@?gH@wOAGqE_vFP@G`DHpNIxXJxbK`qMs@?gIAWSAgnFGzFpCGxJI`TIxaK`rM`uM{@?oHAOSAonF?yFhBH@IIXUIxbKhqM`tM{@?_GAGTAonEovF`DGpHIPTIp_KHqMXtMsD?oH@OJ@_oEGyFXBG`WJH[JxgLHsMxwNKC?gG@OMA?pEOuFHDGxWJHZJhfLXrMpwNSC?oG@GL@woEOvF@EH@WJHYJpeLPqMhxNSB?_F@?J@_oEGrF`?HHYJX\\Jp_KHkLhwNKB?gF@OL@woEOtFp@HXZJ`\\JxaK`mM@xNSB?oF@GMA?pEOsFhAHPYJ`]JxbKhnMHwNSB?gG@GRAonEGvF@@HX_KXhLXkLxuMxxNSB?oG@OQAgnE?uFHAHP`KPhLPlLptMxwNSB?_H@OPA_nEOyFX?HHcKhiLXoMHtMpwNKC?oF@ORAonEGtFpEH@`KhfL@lMHrM`xNSC?gF@GQAgnE?sFhDGx_K`eL@kM@qM`wNSD?oF@?PA_nEOrF`BG`aKXeKxmLxqMXwNK@?OF@?H@OnE?pEP?GHAGXCGhEGxGHHIH[@?OB?_D?onE?pEOrE_tEovF?xFOzF_|Fv";
DIGRAPHS_NamedDigraphs.("higmansims") := ".~?@c_GA?_GA?_GA?_GA?_GA?_GA?_GA?_GCA?oOD@gCABOwNCWCAAooOCgCA@ogSDgCAA?cRDWCBAowTDgCBB?sRDGCBAOgNCGCB@o_PCgCEBpGSDWCEC@CRDgCEA?gJBWCE@ocKBgCC@okNCwCDA_wQCwCCAOsQDgCDAOkPDGCD@osODWCDA?oNDgCCA?wODGCCA_oPDWGBC@CSDQGbHASeIWGBBpGRDaGbHq_iIwGBA?gKBa?`HAWfIGGB@ocJBQ?`HQciIwGEB?sTD`w^HASfIgGEAowRD@w^Ha_hIwGEAOgPC`o\\HA_hIgGE@o_NC@o\\HQWfIwGDAOwOD`s^GAGcIwGDA?sQD@o]GQKcIwGDA_kNDPs^GQKeIgGC@owQDPs]GQGfIWGCAOoND@o^GQGdIGGCA?kPD`s]GAKdIGGCA_sOCpo^GAKfIWGD@ooPCpo]GAGeIgKEBOwOC`gZHA[hIrWwMRmB@_kKBpCYEqSeIAgsLR[y_oWGAPOUE@ccHQ_jLb[yMwKE@ogRDP_XHa[hIbOtMBeB@OgLCPWXEq?bHAgpKr[w_oSHB@GTE@g`GaOiKRKxMgKD@owND@cZGQGeIr?qMRiB@?gJC`OWEqCbIAcoKrOz_oOGBO{TEPg`GqSfKRGsMwKC@ooOD`_ZGAGdHrCqLRYB@?cMCPKXEa?aIAcoKrSu_oSGAp?RE@g_GqWjKBGvMGoMCPGSD`[ZFaGcIA{rLbg~PC]JBO{OD@WVEp{bHQkmKb[zNsDEaosPC`KTDpg]GqciJbKsMBxAPWoMBp?RDP[YFqGeHq{qLRc}OCMGA`?QDPWVE@sbHA[nKR_zNSHE`ocNCPSUDpc\\GaSiJbCtMbpBPw_IBpCRD@[XFAKeIA{oLB[{OSUFAP?QCpOVE@oaIQkmKBWxNS@CaOgLB`OTDpc^GQOhJRKxMrtDPw[GAooSDP[WFaCdHasqLBg{OCYFA?sMCpWVEPw_HqkkKbWwNSDBaOgJB@KUDp_^GA_iJBKtLrpAPG_HB?sOCP[YFA?cHQspLb[~OcMFA_kMC@CVEps_HaclKBSwNcDCa?cJB_{QDpg\\GQ_jJB?yMr|?PW[IB?sNC`[ZFACfIaopLBc}Pc]C@O[GAOgWEPo\\GACkJR?pNBtGQShJ`OWGB`CTEPg\\FaOeJQ{wMcLDQS|RTwSEA_oOD@_ZF@{cHasnLrdCPchLSdYC@_gMBpWXEps^Hq_kJrSzOS\\IRtDS`OWFApGUE@k\\FagjJAwwMcPEQsxOTGOE@osPD@cZF@wdIQsmLBX@PslKStYC@_cJC@SWE`s^HQclJbSzOCHGRdHV`OWHBO{REPg[FqgjJAwvMSLDQCpPTWOEA?oQCp_YF@wfIAonLBX?OcdLSDUC@PKSDPWWEPw^GaKmJrGrNBtSTTXV`?SNC@CQE`k[FQGbJa{oKRw~SDDQSwODAooLB`gZF`{_GQolKbK}NspLRc~c_GA?_GA?_GA?_GA?_GA?_GA?_GA?_GCA?oOD@gCABOwNCWCAAooOCgCA@ogSDgCAA?cRDWCBAowTDgCBB?sRDGCBAOgNCGCB@o_PCgCEBpGSDWCEC@CRDgCEA?gJBWCE@ocKBgCC@okNCwCDA_wQCwCCAOsQDgCDAOkPDGCD@osODWCDA?oNDgCCA?wODGCCA_oPDWGBC@CSDQGbHASeIWGBBpGRDaGbHq_iIwGBA?gKBa?`HAWfIGGB@ocJBQ?`HQciIwGEB?sTD`w^HASfIgGEAowRD@w^Ha_hIwGEAOgPC`o\\HA_hIgGE@o_NC@o\\HQWfIwGDAOwOD`s^GAGcIwGDA?sQD@o]GQKcIwGDA_kNDPs^GQKeIgGC@owQDPs]GQGfIWGCAOoND@o^GQGdIGGCA?kPD`s]GAKdIGGCA_sOCpo^GAKfIWGD@ooPCpo]GAGeIgKEBOwOC`gZHA[hIrWwMRmB@_kKBpCYEqSeIAgsLR[y_oWGAPOUE@ccHQ_jLb[yMwKE@ogRDP_XHa[hIbOtMBeB@OgLCPWXEq?bHAgpKr[w_oSHB@GTE@g`GaOiKRKxMgKD@owND@cZGQGeIr?qMRiB@?gJC`OWEqCbIAcoKrOz_oOGBO{TEPg`GqSfKRGsMwKC@ooOD`_ZGAGdHrCqLRYB@?cMCPKXEa?aIAcoKrSu_oSGAp?RE@g_GqWjKBGvMGoMCPGSD`[ZFaGcIA{rLbg~PC]JBO{OD@WVEp{bHQkmKb[zNsDEaosPC`KTDpg]GqciJbKsMBxAPWoMBp?RDP[YFqGeHq{qLRc}OCMGA`?QDPWVE@sbHA[nKR_zNSHE`ocNCPSUDpc\\GaSiJbCtMbpBPw_IBpCRD@[XFAKeIA{oLB[{OSUFAP?QCpOVE@oaIQkmKBWxNS@CaOgLB`OTDpc^GQOhJRKxMrtDPw[GAooSDP[WFaCdHasqLBg{OCYFA?sMCpWVEPw_HqkkKbWwNSDBaOgJB@KUDp_^GA_iJBKtLrpAPG_HB?sOCP[YFA?cHQspLb[~OcMFA_kMC@CVEps_HaclKBSwNcDCa?cJB_{QDpg\\GQ_jJB?yMr|?PW[IB?sNC`[ZFACfIaopLBc}Pc]C@O[GAOgWEPo\\GACkJR?pNBtGQShJ`OWGB`CTEPg\\FaOeJQ{wMcLDQS|RTwSEA_oOD@_ZF@{cHasnLrdCPchLSdYC@_gMBpWXEps^Hq_kJrSzOS\\IRtDS`OWFApGUE@k\\FagjJAwwMcPEQsxOTGOE@osPD@cZF@wdIQsmLBX@PslKStYC@_cJC@SWE`s^HQclJbSzOCHGRdHV`OWHBO{REPg[FqgjJAwvMSLDQCpPTWOEA?oQCp_YF@wfIAonLBX?OcdLSDUC@PKSDPWWEPw^GaKmJrGrNBtSTTXV`?SNC@CQE`k[FQGbJa{oKRw~SDDQSwODAooLB`gZF`{_GQolKbK}NspLRc~";
DIGRAPHS_NamedDigraphs.("hoffman") := ".O____h@DEFaDFGbDEG`CEFaCFGbCEG`ABDo____h@DEFaDFGbDEG`CEFaCFGbCEG`ABD";
DIGRAPHS_NamedDigraphs.("hoffmansingletonbipartitedouble") := ".~?@c_GA?_GA?_G{GAOgJB?sMaGaGaGaGaWiMbWmKaWiMbGmLaWeHaWqLbgmJbgqLbGuJbgiIagiLbgmK_p?[Ha[gIWOOFqOjLBaECACdIbGv`p?_GqotLgSOFaGlKreAC@smJr?p_Po\\F`{_GWCcIAgnLRe@HQcjJbKu_QKeJRCqMGCaHqooLB]@D`[WEPgZ`@SYFAwtLw[QEPooKbeDD@k[KROu``KWFA{rMGORDq?dKReFD@[`Gaww``SVFaOoLgSQDp{bJr]CCPkbIB?r`PCWHA[mKgWPEQGhKRUFCPgdHa{s`@OUFackKg[TD`{fIbMDCpW`Hakt``GUGA_lLGOQE@saHaiDDPc\\HQ_k`pKZFQOhJWWSE`sbHqmBCPWuLr_x_pKXFaKiJgKSE@{dJRABC`g`HAop_pSZGAGjJwGPDqgjJAuACpg^IBGu_`OXGAWrLwGTEAChLBeAC`k]HrSwxGA?_GA?_GANA?cIAooLBgaGaGaGaGeIbguJbGeIbgqJbWeHaWeKbWyJawyKbWqLawyIagiIbWyJbGKOFAWfIAeCC@{cIrOw``?`HQgqLw[OGAKkLRYDC@waJRKx_`?\\Ja{oKWC[FPw^GAE@HA_iJrSx_QShIqwrLgCbHaspKba@Ga[kKBOv_PWVE@cYEwOTE`omLR]FC`c[KBGx`POZFBCsLgWRE@onKraCCp[_HRCx`pOVGQGmMGWTDpwcKBYDC`[^Gq{v`@CZGq_oKwSPEAOfJbIECPcaIRCt`pCYHQWnLGOSD`whJBIFDPW^Hqgr`PKUGQWjLWWQDa?gJRQCC`_\\GaWi`PSXFQSgJG[REpscIQuED@g\\Gq[j_pCULb[wMWKREPwbIayBD@_^HQso_pGYGQOkKWKTEq?aIq}ACP[iIqol_`KYFq_qLgGSEQ?eKr]ADP_`IROx_`GZFa[tMN";
DIGRAPHS_NamedDigraphs.("hoffmansingletoncomplement") := ".q_O?K?AA_?OOM?@@?oc?AA@`?k?AA@`?gY?@@?o_SKF_?OOKGDB@pC?AA@`?gWMGCo?GGECA`p?cT??__WSKFCAPOm?@@?o_WMGCa`Wq?@@@?gWMGCa`WoZ??__WOIGCa`WoYM_?OOKGEBa@GkWLFBw?CCBA`_wcSJEBPo{`??___SKFCA`WoYMFcAK?AA@`Oo[OHDAp_w]OGo?GGECA`p?cSJEBPx?cR_?OOKGEBa@GgULFCAHGeS_?OOOIEBa@GgWLFBqHGeSIo?GGECA``WoYMFcAHGeSIdg?CCBA@_w_SKEb`x?cRIDQp]?@@?o_SMGCapgw]OGcq`SkVKO?GGEDBA@GgUKEbqHGeSIdax_r??___SKFCa`Wo[OGcaXOiUJeBHi?@@`?gWMGCap_w]OGcaXSkVKERPm?@@`?gWMGDAp_s]OGcaXOkVKERPkx??_o_SKFCa`Ws[NGCQPKgTJeBHgu[Mo?GKGDBA@GgWLFBq@CcSIdax_qYLfBhy?@@?o_SKFCa`_s[NGCQXOkVKERXs{^_?OOKGDB@p?gULFBqHGeTJDr@cs[MfcC?AA@`?gWOHDAp_w]OHCq`SmWLEr`w}_Oo?GGECA`_w_QJEBQ@CcSIdaxcsZMFRy@Aa_?Ow_QIDb@gw]OGcaXOiUKERPkw\\NFsADCb_?_WOKFCa`WoYNGCQPKgTJDr@gu[MfcADCbQO?OKIEBa@GoYMFcAHGeSIdax_qYMFby@AaPhCk?CBA@Ow_SJEB`x?aQHdAhWmWKer`s}_OgcYPIe_?__SKGCa`Ws[NGCQPKgTJDrHgu\\NFsADCbQHSq]?A@`?gWMGCa`WoYMFcAHGoXLEr`s{^OGSQLGdRHtC?ECA`_w_QIDb@gweSIdax_qYLfBhw}_OgcYPIeRiDKCCBA`_w_SJEBPp?aQHdAh[oXLErhw}_OgcYPKfSITSCCBA@OwcSJEBPo{aQIDQp[oXLEr`w}_OgcYPIeRiTQmAA@`?o_QIDb@gw]OGcqhWmWKebXoy^OGSQLGdRiDIhUk____SKFCAPWoYMFcAPKgUJeBHgu[MfcADCbQHSq`QiTjDkCCBA@Oo[OHDBq@CcRIDQp_qYLfBhw}_OgcYPIeRiDIlWlVOOWOIEBa@GgUKEb`x?aQHdAhWm[Mfby@AaPhCiXMgTItat[n`?o_SKFCAPOkWLFBq@CcRIDQp[oXLEr`s{^Qhcy`QiTjDix]oxOG?E?@@O?GGF??__WQ?@@?o_U?@@?o_SL??__WOIEBo?GGECA`_wa?@@?o_SKFCAW?CCBA@Ow_QI_?OOKIEBa@GgV??__WOKFCAPOkX??___SKFCAPOkWL_?OOKGDCAPOkWLFO?GGECB@p?cUKEb`{?AA@`Oo[QIDb@gw]O_?OOOIEBa@OkWLFBq@E?@@?ogWMGCa`Wo[NGCW?CCBA@Ow_QIDb@g{_QHo?GGECB@p?cSJEba@CcRIO?GGGDB@p?cSKEb`xCcRIDW?CCBA@OokWLFBq@CcRIDQs?AA@`?o[OIEBPo{_QHdAhWn??__WOIFCAPWs[NGCQXOiUJeG?CCBA``?cSJEBPxCcRIDQp[oX_?OOOIEBaPOkWMGCQPKgTJDr@ct??_o_SKFCAPWo[NGCQPKiUJeBHgv??_o_SKFCA`WoYNGCQPKgUJeBHgu[_?OWOIEBaPOkYMFcAHGeSIdr@csZMFW?CECA``?cSKEb`x?aQIDQp[oXLEr`s|??__WOIEBaPOoYMFcAHKgUJeBHky]No?GGECA`_w_SJEb`xCcRIdax_qYMFRqA?@@?o_SKGCa`Wo[NGCaXOiVKEbXo{^OGW?CCBA@Oo[OHDb@h?aQIDQp[qYLfBh|?`PO?G[OHDAp_s[NGCQPKgTJEBHgu[Mfby@AaPo?OKGEBaPOkWLFcAHGeSIdax_sZMFRq@AaPhG?GEDB@p?cWLFBq@CcRIDQp[oXLFBp|?`PGsaU?A@`?g[OIDb@o{_PHCq`SkVKERXoy^OGSQLGdRO?OOIECAPOkYMFcAHGeSIdaxcsZMfby@AaPhCiXN?@?o_SKFCAPOkWLFBq@CcWKebXoy]NgCIHEcQhcya?BA@Oo[OHDAp_s[RIDQp[oXLEr`s{^OGSQLGdRHtAeAA@`Oo[OIDb@gw_PHCq`SmWKebXs{^OGSQLGeRiDIiAA@`?g[QIDb@gw]PHDAhWmWKebXo{^OGSQLGdRHtIhV@@?o_WOHDAp_s[NGCQXSkVKERPkw\\NgCIHEcQhtAdSjUOOOOIEBa@GkWLFBq@GeSJDr@csZMFRq@AaPhCiXOhTItauAA@`?gWMGCa`x?aQHdAhWoXLEr`s{^OGSQLGdRHtAdUkUjgGKGDB@p?cSJEBPo{_PHCq`SkVMFRp|?`PGsaTKfSIdYpYmVo_WOIEBa@GgUKEb`x?aQHdAhWmWKebXoy]NhSq\\OhTItat[nW^";
DIGRAPHS_NamedDigraphs.("hoffmansingleton") := ".q_OGCA@?_OWKEB@_o`C[YMaA`sKWMbApsSQMbAG_aMG`aGgaCIIo``]CHKO`hYCJIOpG{gXaBAP_w]aaq@Ws]bBAXWrDEcaxeMJGeBKWYPIesC[QQIegWkeTMPP_{i\\aBQXOsbaAQHWyaaApx[u`bA`x_seSpPPCg[QigwgeVMfscKYOKFSIUEIHDbY\\PECcAxpEfbbA@OuaR[gCA@?_OGCEB@_oWKGPFEbg_g\\BEBgok\\DCbgoaGGbaGWaIG`AakGWV`ARCGYU`AqcKQNIEW_ocWMFggk_ULFgooeUKpPhGmXbaqH_rEEcQhl@FCcahiEJHdRcSWNIfW_seSLGw_caUMgg_k]VLgWog]WLHdKSSPIFCiiMIHdrh|HBEcB@tAd`aaPWufSP`H?m[Phwwo_SLgcv";
DIGRAPHS_NamedDigraphs.("hoffmansingletonline") := ".~?An_C??K??GA_?@?OB_?@?OB?c??GA?WC?k?_?F_?F@C??wG@K??wG@GI_?F@?H@OJ`oL`gM`gM@{L@oNACVASQA{QAwWaOVB?Xa[RB[RBW[aWZB_\\acSB{SBw_a_^C?`akUagbaocaocCsTCWdagbCggaocCofagVaWWaW^DcRCgkDkRCwkDgmaO[aO_ECQCooEKQDGoEGqa_ba_cEcSBosEkSBOsEguagZD[UBKUBgxag`DWwaogFGyaoaFGyFcTDOjF?zawfDWnawaDW|F{[CWoEcWC_kEkZCoqFCXCgmFK^ColEPBc?dDopGcbCwnE_~GKWCGkFXAbG]EoxGc^D?lF`Dbg`FOzHCcDGrEhAbghEWyHXKb_aE?|G@@bOZEwwG[_DOpFpEbOgEw{HPNboiEo}HHOaGVDW~GCLCWsGHF`gXFHCHHS`geEPBGhSIkLCGzH@JI`TIsMBWwGXN`ocEhAH`W`odDpCGpWJKMCO|G@MJ@XJSNB?kGPG`w[E@@Hp[`wgF`IIH[JkNDO}I@QJ`\\JsPBwlGhII[OC?pGpOa?\\FPJHh`a?fDw~Gx`KSPBouHHQIX_aGhEXKHhRK@ca?YExNIH`KPb_GL@oNA?P_GRD_lDonK{@AOoEGqEXfLC@A_sEguExfL@h_GTDWwFW}KxgLHi_GUFGyF_|KxgLHiL[F@gM@wOAHf_wQAwWBGYLkFAWZB_\\BplLsFA_^C?`CPlLpn_wTCWdD?hLhmLxo_wUC_eCwiLhmLxoMKBAOVB?XBPm_ORBW[Bg]L{CA_^C?`CPo_gUC_eCwiMSEAgbCggDHp`?RD_lDonLCHAOoEGqEXh`OSE_tEovLSJAoxFO{Fhk`_TDWwFW}L[IAwjFx?IXy`?hEXKHhdNCGCO|G@MJXwNsGDO}I@QJxwNp~`?YExNIHeN@}Ny?`GfDw~GxbNKHD?{HPPJpxOSHCGzH@JIxxOQB`G]EpHIPcNIAOYC`O\\FPJHhaNP|`OdDpCGpYNP|OsICoqGXDIpyNiEO{JCWsGHFI`z`WZF@BHxWNYH`WWD`AH@[NYHPSKBGxG`HIh{`_^DhDHP_NaK`_[E@@Hp\\NaKPkJC?pGpOKHzPIIP[KC_tGPKJH{PaLPsAAwjFx?IXsNkAC?pGpOKHsPyP_OcEhAH`XMaOQIQ_OgF`IIH]MaBQIQQ[BCWsGHFI`rPKBBwlGhIK@rPiT_W\\FPJHhaMYEQiU_WiFpOIP^MY?QiUQ{CBWwGXNJ@tPSCBGxG`HIhtPaX__fDw~GxbMiARIY__hEXKHhdMh}RIYR[DB_oGHMJhuPsEB?kGPGJ`vP[DCgmG`EJPuOy\\_oeEPBGhUMyGRsDCGzH@JIxuOa\\R{EBouHHQK`vOi]SCDBOvHxPKpuOI\\Ry`_oaFh?HpZMx~Rq_SSG@hSIhUIxwNp~OA@`GMJ@XJPZNIAOYCOkI@x[Jh]JxyNiEOyG`_OKHaKXeNaKPiMQCJAHRK@cKhzPIIPYN_OLI`TIpVMaPQQRQad_WMJ@XJPZMYTQqVRAe__NJ`\\Jp^MiXRQZRaf_oOKHaKXeMy]SAaSag_gPIX_K`dMq\\Ry`SYht{?_?@_?@?S??GA?[??GA?WC_?@?OB?_D_C??{??wG_?F@?H_?F@?H@S??wG@GI@[M@kL@sL@oN`gM@wOawQaOVaOVBCQAwWBKRaWZaWZBcRBW[BkSa_^a_^CCSBw_CKTasTC[UCcUC_eagbCkTCWdDCUC_eC{TA{RBCRBwkaWdD_laWfD_lDsQBcQC?oaOeE?paOhE?pESSC[SC_sa_]E_ta_YE_tEsTBWjaoXao\\FKTCGjFCUD?xFSUCOxFO{agiDWwF[VCwjD{VCOjFg~b_bE?sb?cD_tbWeEOwbGdDoxbweDgqG[_CgmEHCcWfDwsFx@b?`D_zGSXBouFHCbwgDg{Gk\\CGyFXGc_hEWtGS\\DGrFPJHc[COoFh?GKYBWvF@Bc?iEG}GsYD?vF`IH{]DOuFpHICPAwjFx?`gbE`@G{LBGxG`HIcLCoqGXDI`T`g`FXGHXSIhU`oZF@BH{MC_tGPKJCMCgmG`EJ@X`oaFh?HpWJHY`wWD`AHCNB_oGHMJcND?{HPPJ`\\`wiFpOIP[Jh]aG^DhDHPRa?_EHEICOBgyHXLKKOCwnFxFKHaaG]EpHIPRKCPDGrH`LIX_KcOBOvHxPKHaK[@@gM@wOAK@AWkDgmDxf_GQE?pEOrKxg_GSE_tEovKxgLK@AgjF?zFpfL@hLS@AoxFO{FhfL@hLPj_wL@oNA?PK{FAOVB?XBPl_wRBW[Bg]Lhm_wSBw_CGaLhmL{FAgbCggDHlLpnMCFAocCofDPlLpnM@p_WQAwWBGYLsAAWZB_\\Bpn__SBw_CGaMCDAocCofDPq_oTCWdD?hMKGAWkDgmDxg`GQE?pEOrLKIA_sEguExi`WUFGyF_|LcKAgjF?zFpj`OVDW~G@RNSGDGrH`LKhw`?aFh?HpZN@}`?iFpOIP^N@}N{GBOvHxPKpwNp~OCHCwnFxFKXx`GgF`IIH]NIA`G`FXGHXVNIAO[HBouHHQK`xOQBOcIBgyHXLKPyNkICgmG`EJPyNiE`OeEPBGhUNP|OqF`WbE`@GxSN[JBWwGXNJ@zPKJB?kGPGJ`zPII`_XFHCHHTNcKBwlGhIK@{PcKB_oGHMJh{PaL`W_EHEI@`NYHPQJ`_cEhAH`XNaKPiM_OVDW~G@RM`|_O_EHEI@`MaNQKAC_tGPKJHsQAPQSAD?{HPPJpsOYPQQR_WbE`@GxSMYH_W^DhDHP_MYLQkBBgyHXLKPrOqTQsBDO}I@QJxrOATQqV__ZF@BHxWMiI__XFHCHHTMiKRKCCwnFxFKXtOQXRSCDGrH`LKhtNqXRQZ_g[E@@Hp\\MqM_oWD`AH@[MyJ_gdDpCGpYMqFRkECoqGXDIpvPA]_g`FXGHXVMqCRi^_o]EpHIPcMyDRq__gYExNIHeMq@Ri^SKECO|G@MJXvNy]SAa`?LI`TIpVN@}Ny?OKH@pWJHYJXxOQBOaD`ONJ`\\Jp^NP|OqFPCKA@`KPbKp{PaLPqO`WPIX_K`dNYHPQJP{A@hSIhUIxsQIQQYSSkB@pWJHYJXrQiUQyWSsC@x[Jh]JxtRIYRY[S{EA@`KPbKpvRq_SQcTCDAHRK@cKhuRi^SIbTN";
DIGRAPHS_NamedDigraphs.("hoffmansingletonminusstar") := ".i_OGCA@?e?O{WOKaapcKQKaA`cGNEBoo{ONDBoP@IAIIOPXUAHHpP@OrCCcbCKSTJP`XKnACCAXaCJFdAsGQLIdwOg[QKp@?{i\\OpPOseZNopX?cYOP`Gwg[NOp?waVLp@WsaXMP`O{aWLPPH?aUMygCA@?_OH_CNECBGgkXBCbG_gXABp_{KNCBpO{COQ_aacCUT_aQ[SOSKp@HGpBDDQsWURJo`@?eW`ApxOlACbQh]CIFCbKOONIfSKSSLHer{KUOHEcCWQMIFBsKOMGdr[OULGeRcWSNGeBSSQOGdbn";
DIGRAPHS_NamedDigraphs.("hortongraph92") := ".~?@[_GA?aOQHaWwLbXCOcH_QDPYPDP]PCpYQD@]SDhKVdXKSgPw_fqAEGHo\\`hyMHAUMGqYNGaYNGQULiymKJGoljIuokY{ojbEqLZKscGqqKzoyMzczmBmuLzaxnsA{OZt?ncFAP[LCaC]FPkfG`ohJa?lI`?UFAGlJaciD@gUCt_LMTWHNTWDRTWLQTGHRTGDOS\\q?_GAH@GeHb_uLcPAOe@GTDhCTDxCRDhGSDxOUcp]TcpQ`FaA^GGW_f@uEfgwcHWwbHg{aHg{`HWujiwokbAukjZApjrAmKZGtkrQObJGrnBgzmRmwMzWvmJe~OJp@nSA}O[HDosQGPw\\Eq[aFAcmGAsiC@W[GasmIQgSE`WRU?sxT_c|T_TLT_tHS_dLS_T@P";
DIGRAPHS_NamedDigraphs.("hortongraph96") := ".~?@__GA?`oUD`gYL@oqGBGcJa_mFaGeI`GQPDXGTcpYSDgwPbPIOCw{Se@mXFhg\\dpq^Gi?`hIMehiUd`WYfIy_jiQqiJGqJ`I]giierkzCskRUqLjGvjbQlLZ?vjrZCO{MwOjdAmb}zNjt@nCBBojaxrCzKR{\\Mpc~CR[TLqSnGQkVC_t\\X_dXW_dTX_tPW_T@R_TDQwGA?_G[D`WYEbO[Ka?qHAwgJ`waHagQCcPUQDXKUd@YMCWsQc@MNDH_ZePyYFX[[fqI_GYQbhiYdhWUEhqmgIyckiaqKawQfiIihkzMpLJCtkbYqLywsjRUoLy{upCNBmCIxOjg~mry|OZp?o{Iwm[pMrC~FRkXNpCvDR[dJqCjDpGLVUWHUUGHTUWLSUGDOSwDPSn";
DIGRAPHS_NamedDigraphs.("house") := ".DaoIQNWkAcb";
DIGRAPHS_NamedDigraphs.("icosahedral") := ".K`?K?oD?XJ`CYGrFcOpxdKa`RHTqC?oB?S@cmCPgbK]PBFeSqIDKdV";
DIGRAPHS_NamedDigraphs.("icosahedralline") := ".]___@_A_@B_ACD_@BD_ACEFiHhiJhIJK`HIaHIMbJKcJKO`IKLMaHJLNcHJLPRbIKLOQ`BMOQTaCNPRSdEHIMNfGJKOP`DEMQUWaDENRVWYbFGOTUXcFGPSVX[}___@_A_@B_ACD_@BD_ACEFiHhiJhIJK`HIaHIMbJKcJKO`IKLMaHJLNcHJLPRbIKLOQ`BMOQTaCNPRSdEHIMNfGJKOP`DEMQUWaDENRVWYbFGOTUXcFGPSVX[";
DIGRAPHS_NamedDigraphs.("icosidodecahedral") := ".]___@_AeDddEdFefIhgKeIfJhKgLiJkLmPnO`MSaNTcOTbPS`QUaQVYbRXcRW[}___@_AeDddEdFefIhgKeIfJhKgLiJkLmPnO`MSaNTcOTbPS`QUaQVYbRXcRW[";
DIGRAPHS_NamedDigraphs.("kittell") := ".V__@`A_@eDe`BCbGdeFijKkLdEIJKLfJLMcGHiKMPhMOPQ_ADEFaBFHORS_CDIPQSv__@`A_@eDe`BCbGdeFijKkLdEIJKLfJLMcGHiKMPhMOPQ_ADEFaBFHORS_CDIPQS";
DIGRAPHS_NamedDigraphs.("kleindistance2") := ".W__@_@A_@AB_@AB_@ABC_@ABD_@CF_@DEG_CDGH_ACEGHI_BDFGHIJ_ACEFGIJ_BDEFHIKL`BCDEHIM`ACDFGILN`BCEGHJKN`ADFGHJKOPaBEFJKLMPQbCFGIKLMNOPRaDEHIJLMNOQR`EFGHLMNOPQRSTaBCDIJKNOPQRSTw__@_@A_@AB_@AB_@ABC_@ABD_@CF_@DEG_CDGH_ACEGHI_BDFGHIJ_ACEFGIJ_BDEFHIKL`BCDEHIM`ACDFGILN`BCEGHJKN`ADFGHJKOPaBEFJKLMPQbCFGIKLMNOPRaDEHIJLMNOQR`EFGHLMNOPQRSTaBCDIJKNOPQRST";
DIGRAPHS_NamedDigraphs.("klein") := ".W__@__@_A_BC_BDi@AGaEHI`FHIcEGIJdFGIKcDHaBHJ`BHKOcFHKLNdEHJMN`CGNPaDGNOSbFGLOQTbEGMPRSw__@__@_A_BC_BDi@AGaEHI`FHIcEGIJdFGIKcDHaBHJ`BHKOcFHKLNdEHJMN`CGNPaDGNOSbFGLOQTbEGMPRS";
DIGRAPHS_NamedDigraphs.("krackhardtkite") := ".I`OKhdcOkqENGXRFPiD?qeUPArGW{`dK\\F";
DIGRAPHS_NamedDigraphs.("kroneckerproductoficosahedralgraphcomplementandonesmatrixj2") := ".W__@_@_@_@_AB_CDE_CDE_ABFG_ABCD__`ABCDEFGHIJK`EFGHIJK`EFGHIJK`CDEHIJK`CDEHIJK`ABFGIJKOP`ABFGIJKOPaBCDEHJKMNQRaBCDEHJKMNQRaBCDFGJKMNOPaBCDFGJKMNOPw__@_@_@_@_AB_CDE_CDE_ABFG_ABCD__`ABCDEFGHIJK`EFGHIJK`EFGHIJK`CDEHIJK`CDEHIJK`ABFGIJKOP`ABFGIJKOPaBCDEHJKMNQRaBCDEHJKMNQRaBCDFGJKMNOPaBCDFGJKMNOP";
DIGRAPHS_NamedDigraphs.("kroneckerproductofpetersenlinegraphcomplementandonesmatrixj2") := ".]__@_@_@AB_@AB_@AB_@AB_@CDEF_@CDEF_@ABCD_@ABCD_ABCDEFGHIJ_CDEFGHIJ_CDEFGHIJ_ABEFGHIJLM_ABEFGHIJLM_@EFIJKLM_@EFIJKLM_ABCDGHNOPQ_ABCDGHNOPQ`ABCDEFGHIJKLMNOPQRS`CDEFGHIJKNOPQRS`CDEFGHIJKNOPQRS`ABGHIJKLMNOPQRS`ABGHIJKLMNOPQRS`ABCDEFKLMNOPQRSUVWX`ABCDEFKLMNOPQRSUVWXaBCDEFGHIJLMPQRSUVWXaBCDEFGHIJLMPQRSUVWX}__@_@_@AB_@AB_@AB_@AB_@CDEF_@CDEF_@ABCD_@ABCD_ABCDEFGHIJ_CDEFGHIJ_CDEFGHIJ_ABEFGHIJLM_ABEFGHIJLM_@EFIJKLM_@EFIJKLM_ABCDGHNOPQ_ABCDGHNOPQ`ABCDEFGHIJKLMNOPQRS`CDEFGHIJKNOPQRS`CDEFGHIJKNOPQRS`ABGHIJKLMNOPQRS`ABGHIJKLMNOPQRS`ABCDEFKLMNOPQRSUVWX`ABCDEFKLMNOPQRSUVWXaBCDEFGHIJLMPQRSUVWXaBCDEFGHIJLMPQRSUVWX";
DIGRAPHS_NamedDigraphs.("kummer") := ".__OGCA@?g_OO[OHDP?g[QKFp?o[SLFPOo[OJGOo_cSJGOog_QLFOoo_SKFoOW[UKEo_W[[NGO___WLGO_ggUKFO_ocULFoO__UMFoOggYNGOOocWMGWGCA@?_OIGCCFCAPSOIFCb@{OKFDBPsSKFCAqCKGHDAqCKIGCbPsKKGDB@{CEFDb@kGEFFBqCGGGEBQCGIIDb@sGKHDbP{CGGDb`{CIIEbqCCKHEBaF";
DIGRAPHS_NamedDigraphs.("levi") := ".]___kCDeFgJhIfGeHfIeJcGdHdJcI`KL`MNaPSbOTbRVaQU}___kCDeFgJhIfGeHfIeJcGdHdJcI`KL`MNaPSbOTbRVaQU";
DIGRAPHS_NamedDigraphs.("ljubljana") := ".~?@o_GA?b_mKbWUF`hSRDHCSc`QZBpEMCx?QbhANh@caeAEYGxo_fPyZFx[bdQIUGWgJa?uHBGSJ`_uFBGSG`oiEAX_]eaAXFxiXeIEbggQC`GeIaKWuPZ`DlsUzPJhAmSMcNIW}hRugMYczhriiNyp@isAlNyx@jsApNJG}kBurOjTBlCRKR{xPrTBHSklSqdNTUL\\YtdfEU{`\\ptqAVeEBWEM@VuI@XE]AXeeBXUbo_GA?b_mKbWUF`hSRDHCSc`QZBpEMCx?QbhANh@caeAEYGxo_fPyZFx[bdQIUGWgJa?uHBGSJ`_uFBGSG`oiEAX_]eaAXFxiXeIEbggQC`GeIaKWuPZ`DlsUzPJhAmSMcNIW}hRugMYczhriiNyp@isAlNyx@jsApNJG}kBurOjTBlCRKR{xPrTBHSklSqdNTUL\\YtdfEU{`\\ptqAVeEBWEM@VuI@XE]AXeeBXUb";
--> --------------------

--> maximum size reached

--> --------------------

Quelle named-digraphs-main-database.g Sprache: unbekannt

[ Dauer der Verarbeitung: 0.53 Sekunden (vorverarbeitet) ]