capture10.lam

-- numSubsts:  1
-- bind depth: 3
-- depth:      4
-- substs:     1,2,2,True
\x0.(\x1.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 4
-- depth:      5
-- substs:     1,3,2,True
\x0.(\x1.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 5
-- depth:      6
-- substs:     1,4,2,True
\x0.(\x1.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 6
-- depth:      7
-- substs:     1,5,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 7
-- depth:      8
-- substs:     1,6,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 8
-- depth:      9
-- substs:     1,7,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 9
-- depth:      10
-- substs:     1,8,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 10
-- depth:      11
-- substs:     1,9,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.\x0.\x0.\x0.\x0.x1) (\x2.x0)
-- numSubsts:  1
-- bind depth: 11
-- depth:      12
-- substs:     1,10,2,True
\x0.(\x1.\x0.\x0.\x0.\x0.\x0.\x0.\x0.\x0.\x0.x1) (\x2.x0)