3.13.out 0 = ~ x ]]> x = x ]]> ~ y = y => x ]]> 0 ]]> 0 != ~ c1 ]]> ~ 1 = x ]]> 0 = x ]]> 0 = ~ x ]]>