3.1_alt.out y = 1 ]]> x = 1 ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> c2 != 1 ]]> y) = x -> (x ^ y) ]]> (x ^ y) = x -> y ]]> (x v y) = x -> x ]]> (x v y) = 1 ]]> (y v x) = 1 ]]> y = 1 ]]> y = 1 ]]> x = 1 ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> z = x -> (y -> z) ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> 1 = 1 ]]> x = x ]]> y) ^ (z -> y) = (x v z) -> y ]]> c4 != 1 ]]> y) ^ (x -> 1) = x -> y ]]> y) = x -> (x ^ y) ]]> x) = (1 v y) -> x ]]> (x ^ y) = x -> y ]]> (x v y) = x -> x ]]> (x v y) = 1 ]]> (y v x) = 1 ]]> ~ (x ^ y) = 1 ]]> y = 1 ]]> x) ^ 1 = (x ^ y) => x ]]> x) = 1 -> x ]]> x) = x ]]> (y -> x) = 1 ]]> (y -> x)) ^ (x -> 1) = 1 ]]> (y -> x)) ^ 1 = 1 ]]> (y -> x)) ^ 1 = (x ^ y) => x ]]> x = 1 ]]> y = 1 ]]> ~ y = y => x ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> ~ c6 != c6 => c5 ]]> ~ y) ^ (y -> x) = y => x ]]> ~ y) ^ (y -> ~ x) = x => ~ y ]]> ~ y) ^ (y -> ~ x) = y => ~ x ]]> ~ y = y => ~ x ]]> ~ y = y => x ]]> y) ^ y = y ]]> x = 1 ]]> y) ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> x = x ]]> (x -> y) = x -> y ]]> y) ^ (z -> y) = (x v z) -> y ]]> c8) ^ c8 != c8 ]]> y) ]]> y) = x -> (x ^ y) ]]> y) ^ ((~ y -> ~ x) ^ z) = (x => y) ^ z ]]> x) = (1 v y) -> x ]]> (x ^ y) = x -> y ]]> (x ^ (x -> y)) = x -> y ]]> x) = 1 -> x ]]> x) = x ]]> y) ^ y = y ]]> y) v y = x -> y ]]> (x v z)) = x ]]> (x ^ (x -> y)) = x -> (y v ~ x) ]]> (y v ~ x) = x -> y ]]> (~ x v y) = x -> y ]]> y) = ~ x ]]> y) = ~ ~ x ]]> y) = x ]]> y) ^ x = x ]]> y) ^ y = (x => y) ^ y ]]> y) ^ y = y ]]> (x ^ y) = x => y ]]> x = 1 ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> y) ^ (z -> y) = (x v z) -> y ]]> (c9 ^ c10) != c9 => c10 ]]> y) = x -> (x ^ y) ]]> y) = (y v x) -> y ]]> (x ^ y) = x -> y ]]> y) ^ (~ (x ^ y) -> ~ x) = x => (x ^ y) ]]> x = y -> x ]]> ~ x = ~ y -> ~ x ]]> y) ^ (~ y -> ~ x) = x => (x ^ y) ]]> (x ^ y) = x => y ]]>