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 _l_17_21 = SELECT 0 b _l_16_22 = SELECT 0 a c_n1_27 = 0 _l_10_50 = XOR _l_16_22 _l_17_21 _l_11_49 = AND _l_10_50 c_n1_27 _l_9_51 = AND _l_16_22 _l_17_21 _l_7_52 = XOR _l_16_22 _l_17_21 s_n_26 = XOR _l_7_52 c_n1_27 c = OR _l_9_51 _l_11_49 o = s_n_26