f253f98
1 2 3 4 5 6 7 8 9
INPUT x OUTPUT s, r VAR _l_1, r, s, x IN s = REG _l_1 _l_1 = XOR x s r = AND x s