eval ysquf "?msd_fib ~Ei,n n>=1 & At (t<n) => Y2[i+t]=Y2[i+t+n]":

morphism ks
 "0->011010011001001101001
  1->100101100100110010110
  2->100101100110110010110
  3->011010011011001101001":
image YP ks Y2::