push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))))
name_5:
| push ()
| ret
call name_5
lift (\x0 -> (\x1 -> x0 x1))
name_3:
| catchFail
|   <try>
|   | push (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
|   | name_2:
|   | | push (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0))
|   | | ret
|   | call name_2
|   | lift (\x0 -> (\x1 -> x0 x1))
|   | read
|   | lift (\x0 -> (\x1 -> x0 x1))
|   | call name_3
|   | lift (\x0 -> (\x1 -> x0 x1))
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift Pure
|     choices [id]
|       <branch>
|       | push (\x0 -> x0)
|       | ret
|       <default>
|         fail
call name_3
lift (\x0 -> (\x1 -> x0 x1))
call name_5
lift (\x0 -> (\x1 -> x0 x1))
name_7:
| push ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) Pure
| name_6:
| | catchFail
| |   <try>
| |   | join_55:
| |   | | call name_5
| |   | | lift (\x0 -> (\x1 -> x0 x1))
| |   | | name_4:
| |   | | | catchFail
| |   | | |   <try>
| |   | | |   | push (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
| |   | | |   | call name_2
| |   | | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   | | |   | read
| |   | | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   | | |   | call name_4
| |   | | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   | | |   | popFail
| |   | | |   | ret
| |   | | |   <handler>
| |   | | |     pushInput
| |   | | |     lift Pure
| |   | | |     choices [id]
| |   | | |       <branch>
| |   | | |       | push (\x0 -> x0)
| |   | | |       | ret
| |   | | |       <default>
| |   | | |         fail
| |   | | call name_4
| |   | | lift (\x0 -> (\x1 -> x0 x1))
| |   | | call name_5
| |   | | lift (\x0 -> (\x1 -> x0 x1))
| |   | | call name_6
| |   | | lift (\x0 -> (\x1 -> x0 x1))
| |   | | popFail
| |   | | ret
| |   | pushInput
| |   | read
| |   | swap
| |   | loadInput
| |   | choices [(==) Pure,(==) Pure,(==) Pure,(==) Pure,(==) Pure,(==) Pure,(==) Pure]
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) ']'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) Pure))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> x0))))))))))))))))))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | call name_5
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | name_1:
| |   |   | | catchFail
| |   |   | |   <try>
| |   |   | |   | push (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
| |   |   | |   | call name_2
| |   |   | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | |   | read
| |   |   | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | |   | call name_1
| |   |   | |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | |   | popFail
| |   |   | |   | ret
| |   |   | |   <handler>
| |   |   | |     pushInput
| |   |   | |     lift Pure
| |   |   | |     choices [id]
| |   |   | |       <branch>
| |   |   | |       | push (\x0 -> x0)
| |   |   | |       | ret
| |   |   | |       <default>
| |   |   | |         fail
| |   |   | call name_1
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | call name_5
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | call name_7
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | read
| |   |   | lift (\x0 -> (\x1 -> x0 x1))
| |   |   | refJoin join_55
| |   |   <default>
| |   |     fail
| |   <handler>
| |     pushInput
| |     lift Pure
| |     choices [id]
| |       <branch>
| |       | push (\x0 -> x0)
| |       | ret
| |       <default>
| |         fail
| call name_6
| lift (\x0 -> (\x1 -> x0 x1))
| ret
call name_7
lift (\x0 -> (\x1 -> x0 x1))
ret