y = 1 -> y = 1))
]]> y = 1 & y => x = 1 -> x = y))
]]> x = y => y
]]> ((x => y) => y) = 1
]]> (y => x) = 1
]]> y != 1
]]> y != 1
]]> y != 1
]]> x != 1
]]> c2 != c1 => c1
]]> x) => x = 1
]]> x = x
]]> x = 1
]]> (y => y) = 1
]]> x = y => y
]]> y = 1 -> y = 1))
]]> y = 1 & y => x = 1 -> x = y))
]]> ~ (y => y)
]]> ((x => y) => y) = 1
]]> x = 1
]]> ~ y) => (y => ~ x) = 1
]]> (y => x) = 1
]]> y != 1
]]> y != 1
]]> y != 1
]]> x != 1
]]> ~ (c4 => c4)
]]> ~ (c4 => c4) != ~ c3
]]> 1 = 1
]]> x) => x = 1
]]> ~ y = y => ~ x
]]> 1) => y) => y = 1
]]> x = x
]]> x = 1
]]> (y => y) = 1
]]> x = y => y
]]> 1) => y = y
]]> x) => y = y
]]> ~ (y => y) = ~ x
]]> y = 1 -> y = 1))
]]> y = 1 & y => x = 1 -> x = y))
]]> y = ~ y => ~ x
]]> ((x => y) => y) = 1
]]> x = 1
]]> ~ y) => (y => ~ x) = 1
]]> (y => x) = 1
]]> y != 1
]]> y != 1
]]> y != 1
]]> x != 1
]]> ~ c5 != c5 => c6
]]> x) => x = 1
]]> ~ y = y => ~ x
]]> x = x
]]> x = 1
]]> ~ ~ x = 1
]]> ~ y = y => x
]]>