*Main> mapM_ print machine1 ("q0",0000000000[1]1100000000) ("q0",0000000001[1]1000000000) ("q0",0000000011[1]0000000000) ("q0",0000000111[0]0000000000) ("qf",0000000111[1]0000000000)