push (\u1 -> (\u2 -> u2))
name_2:
| push (\u1 -> Term)
| name_1:
| | catchFail
| |   <try>
| |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| |   | 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))
| ret
call name_2
lift (\u1 -> (\u2 -> u1 u2))
name_4:
| push (\u1 -> u1 Term)
| name_3:
| | catchFail
| |   <try>
| |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
| |   | join_46:
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | call name_2
| |   | | lift (\u1 -> (\u2 -> u1 u2))
| |   | | call name_3
| |   | | 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 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> cons Term))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <branch>
| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | call name_2
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | call name_4
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | read (']' ==)
| |   |   | lift (\u1 -> (\u2 -> u1 u2))
| |   |   | refJoin join_46
| |   |   <default>
| |   |     fail
| |   <handler>
| |     pushInput
| |     lift Term
| |     choices [(\u1 -> u1)]
| |       <branch>
| |       | push (\u1 -> u1)
| |       | ret
| |       <default>
| |         fail
| call name_3
| lift (\u1 -> (\u2 -> u1 u2))
| ret
call name_4
lift (\u1 -> (\u2 -> u1 u2))
ret