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