push (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
name_3:
| push Term
| ret
call name_3
lift (\u1 -> (\u2 -> u1 u2))
name_2:
| catchFail
|   <try>
|   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
|   | name_7:
|   | | push (\u1 -> (\u2 -> u2))
|   | | ret
|   | call name_7
|   | lift (\u1 -> (\u2 -> u1 u2))
|   | read Term
|   | lift (\u1 -> (\u2 -> u1 u2))
|   | call name_2
|   | lift (\u1 -> (\u2 -> u1 u2))
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift Term
|     choices [(\u1 -> u1)]
|       <branch>
|       | push (\u1 -> u1)
|       | ret
|       <default>
|         fail
call name_2
lift (\u1 -> (\u2 -> u1 u2))
call name_3
lift (\u1 -> (\u2 -> u1 u2))
name_5:
| push (\u1 -> u1 Term)
| name_4:
| | catchFail
| |   <try>
| |   | join_55:
| |   | | call name_3
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | name_1:
| |   | | | catchFail
| |   | | |   <try>
| |   | | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
| |   | | |   | call name_7
| |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   | | |   | read Term
| |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   | | |   | call name_1
| |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   | | |   | popFail
| |   | | |   | ret
| |   | | |   <handler>
| |   | | |     pushInput
| |   | | |     lift Term
| |   | | |     choices [(\u1 -> u1)]
| |   | | |       <branch>
| |   | | |       | push (\u1 -> u1)
| |   | | |       | ret
| |   | | |       <default>
| |   | | |         fail
| |   | | call name_1
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | call name_3
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | call name_4
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | popFail
| |   | | ret
| |   | pushInput
| |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   | swap
| |   | loadInput
| |   | choices [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> Term u5 : u10 u11)))))))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | call name_3
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | name_6:
| |   |   | | catchFail
| |   |   | |   <try>
| |   |   | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
| |   |   | |   | call name_7
| |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | |   | read Term
| |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | |   | call name_6
| |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | |   | popFail
| |   |   | |   | ret
| |   |   | |   <handler>
| |   |   | |     pushInput
| |   |   | |     lift Term
| |   |   | |     choices [(\u1 -> u1)]
| |   |   | |       <branch>
| |   |   | |       | push (\u1 -> u1)
| |   |   | |       | ret
| |   |   | |       <default>
| |   |   | |         fail
| |   |   | call name_6
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | call name_3
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | call name_5
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | read (']' ==)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_55
| |   |   <default>
| |   |     fail
| |   <handler>
| |     pushInput
| |     lift Term
| |     choices [(\u1 -> u1)]
| |       <branch>
| |       | push (\u1 -> u1)
| |       | ret
| |       <default>
| |         fail
| call name_4
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call name_5
lift (\u1 -> (\u2 -> u1 u2))
ret