4.11.out x = x ]]> z = x => (y => z) ]]> y) => y) = x ]]> y = 1 ]]> y = x => (x => y) ]]> def)") ]]> (x => y) = x -> y ]]> 0 ]]> 0 = ~ x ]]> (y => z) = y => (x => z) ]]> y) ^ (x => z) = x => (y ^ z) ]]> y)) v y = y ]]> y) ^ (z => y) = (x v z) => y ]]> y) ^ y = y ]]> y = x => y ]]> x = 1 ]]> z = x -> (y -> z) ]]> y) ]]> x = 1 ]]> y = x -> y ]]> (x => (y => z)) = (x * y) -> z ]]> 0 = x ]]> ((y ^ (x => z)) => z) = 1 ]]> (y => (x => z)) = y => (x -> z) ]]> (y => (z => u)) = z => (x => (y => u)) ]]> 0) = (x v y) => 0 ]]> x = y => x ]]> z = y -> (x -> z) ]]> y) ]]> 0) = x ^ ~ x ]]> 0 = x ^ (y => 0) ]]> (y ^ z)) => (x => y) = 1 ]]> y) ^ y = y ]]> x) ^ z) = (y -> x) ^ (x v z) ]]> (y => x) = (x v y) -> x ]]> ((y ^ (x => z)) => z)) = x ]]> (x -> z) = x -> z ]]> ((y => x) -> z) = x -> z ]]> (y -> z) = y -> (x -> z) ]]> ((x => (y ^ z)) => y) = 1 ]]> ((y * (y => x)) -> z) = (y * (y => x)) -> z ]]> 0 = ~ x ^ ~ y ]]> 0 = ~ x v y ]]> (x ^ (y => 0)) = (~ x v y) -> 0 ]]> ((y v x) => y) = (y v x) -> y ]]> z)) => z) = x ]]> z) => z) = x ]]> (((y v x) => (z ^ u)) => z)) = x ]]> (x => y) = (y v x) -> y ]]> x = y -> x ]]> (y => (x => (y => z))) = (x * y) -> z ]]> (y => ((z ^ (y => (x => u))) => u)) = 1 ]]> (z => (u => 0)) = z => (u => (~ x v y)) ]]> x)) = (z -> x) ^ (x v y) ]]> x)) = x v (y ^ ~ y) ]]> (z ^ u)) => z) = x ]]> (x => (y -> z)) = (x * y) -> z ]]> z = x -> (y -> z) ]]> y) ^ (y v x) = y v (x ^ ~ x) ]]> (y -> ((y => x) -> z)) = (y * (y => x)) -> z ]]> 0) => y) = x ]]> (((~ (x => y) v z) -> 0) => (z => y)) = 1 ]]> (((y v ~ (x => z)) -> 0) => (y => z)) = 1 ]]> (y => (((y v ~ (x => z)) -> 0) => z)) = 1 ]]> (y => (((y v ~ ~ x) -> 0) => 0)) = 1 ]]> (y => (((y v x) -> 0) => 0)) = 1 ]]> (y => ~ ((y v x) -> 0)) = 1 ]]> (y -> ((x => y) -> z)) = (x * (x => y)) -> z ]]> y)) -> z = x -> (y -> z) ]]> y)) -> z = x -> ((x => y) -> z) ]]> ((x => y) -> z) = x -> (y -> z) ]]> y)) -> z = x -> (y -> z) ]]> ((x -> y) -> z) = x -> (y -> z) ]]> (((x v y) -> x) -> z) = x -> z ]]> ((y -> x) -> z) = x -> z ]]> y) ^ (y v x)) -> z = y -> z ]]> z = x -> z ]]> (y => ~ (y -> 0)) = 1 ]]> (z => ~ u) = z => (u => (~ x v y)) ]]> ((x -> 0) => (~ y v y)) = 1 ]]> ((x -> 0) => (y v ~ y)) = 1 ]]> ((x -> (y -> 0)) => (z v ~ z)) = 1 ]]> 0) ^ x) => (1 => (y v ~ y)) = 1 ]]> 0)) => (1 => (y v ~ y)) = 1 ]]> (1 => (y v ~ y)) = 1 ]]> (y v ~ y) = 1 ]]> (y v ~ y)) = x ^ ~ x ]]>