morphism d9
 "0->012301312
 1->312012312
 2->301312312
 3->013123012":
promote D d9:
morphism code "0->0 1->0 2->1 3->1":
image D9 code D:
eval test9a "?msd_9 ~Ei,p (p>0) & Au (u>=i & 3*u<=3*i+4*p) => D9[u]=D9[u+p]"::
# tests that morphism does indeed generate a (7/3)+-free word
convert D3 msd_3 D9::

morphism ff6
 "0->013121
 1->013031
 2->013231
 3->012131":
promote FF6 ff6:
eval test6 "?msd_6 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF6[u]=FF6[v]"::
morphism ks
 "0->011010011001001101001
  1->100101100100110010110
  2->100101100110110010110
  3->011010011011001101001":
image F27 ks FF6::