import Pump.REG
student = Ja { n = 4 , zerlege = listToFM 
  [ ("aaaaabbbccc", Zerlegung { u = "", v = "a", w = "aaaabbbccc" } ),
    ("aaaabc", Zerlegung { u = "", v = "a", w = "aaabc" } ),
    ("aabc", Zerlegung { u = "", v = "a", w = "abc" } ),
    ("abbbccc", Zerlegung { u = "", v = "a", w = "bbbccc" } ),
    ("bbbbcccc", Zerlegung { u = "", v = "b", w = "bbbcccc" } ),
    ("bbbcc", Zerlegung { u = "", v = "b", w = "bbcc" } ),
    ("bccccccccc", Zerlegung { u = "", v = "b", w = "ccccccccc" } )
  ]}