morphism ks
 "0->011010011001001101001
  1->100101100100110010110
  2->100101100110110010110
  3->011010011011001101001":
image Z2 ks Z::