$use StdIO; $func Main = e; Main, X X X X X X X X X X X X X X X X X X X X X X X X X X X :: ex, ex : e91 X e92 X e93 X e94, e92 : s s s s s s s s s, e93 : s s s s s s s s s, e91 9 e92 9 e93 9 e94 :: ex, ex : e81 X e82 X e83 X e84, e82 : s s s s s s s s, e83 : s s s s s s s s, e81 8 e82 8 e83 8 e84 :: ex, ex : e71 X e72 X e73 X e74, e72 : s s s s s s s, e73 : s s s s s s s, e71 7 e72 7 e73 7 e74 :: ex, ex : e61 X e62 X e63 X e64, e62 : s s s s s s, e63 : s s s s s s, e61 6 e62 6 e63 6 e64 :: ex, ex : e51 X e52 X e53 X e54, e52 : s s s s s, e53 : s s s s s, e51 5 e52 5 e53 5 e54 :: ex, ex : e41 X e42 X e43 X e44, e42 : s s s s, e43 : s s s s, e41 4 e42 4 e43 4 e44 :: ex, ex : e31 X e32 X e33 X e34, e32 : s s s, e33 : s s s, e31 3 e32 3 e33 3 e34 :: ex, ex : e21 X e22 X e23 X e24, e22 : s s, e23 : s s, e21 2 e22 2 e23 2 e24 :: ex, ex : e11 X e12 X e13 X e14, e12 : s, e13 : s, e11 1 e12 1 e13 1 e14 :: ex, , $fail;