INPUT a, b
OUTPUT o, c
VAR
  _l_10_50, _l_11_49, _l_16_22, _l_17_21, _l_7_52, _l_9_51, a, b, c, 
  c_n1_27, o, s_n_26
IN
o = s_n_26
c = OR _l_9_51 _l_11_49
s_n_26 = XOR _l_7_52 c_n1_27
_l_7_52 = XOR _l_16_22 _l_17_21
_l_9_51 = AND _l_16_22 _l_17_21
_l_10_50 = XOR _l_16_22 _l_17_21
_l_11_49 = AND _l_10_50 c_n1_27
c_n1_27 = 0
_l_16_22 = SELECT 0 a
_l_17_21 = SELECT 0 b