adder(1)_and(1)_out(0) :- not adder(1)_and(1)_ab,adder(1)_and(1)_in1(0).
adder(1)_and(1)_out(0) :- not adder(1)_and(1)_ab,adder(1)_and(1)_in2(0).
adder(1)_and(1)_out(1) :- not adder(1)_and(1)_ab,adder(1)_and(1)_in1(1),adder(1)_and(1)_in2(1).
adder(1)_and(1)_in1(0) :- not adder(1)_and(1)_ab,adder(1)_and(1)_in2(1),adder(1)_and(1)_out(0).
adder(1)_and(1)_in1(1) :- not adder(1)_and(1)_ab,adder(1)_and(1)_out(1).
adder(1)_and(1)_in2(0) :- not adder(1)_and(1)_ab,adder(1)_and(1)_in1(1),adder(1)_and(1)_out(0).
adder(1)_and(1)_in2(1) :- not adder(1)_and(1)_ab,adder(1)_and(1)_out(1).
adder(1)_and(1)_ab :- adder(1)_and(1)_in1(0),adder(1)_and(1)_out(1).
adder(1)_and(1)_ab :- adder(1)_and(1)_in2(0),adder(1)_and(1)_out(1).
adder(1)_and(1)_ab :- adder(1)_and(1)_in1(1),adder(1)_and(1)_in2(1),adder(1)_and(1)_out(0).
adder(1)_and(1)_p :- not adder(1)_and(1)_ab,not adder(1)_and(1)_d,not adder(1)_and(1)_q,adder(1)_and(1)_out(0).
adder(1)_and(1)_q :- not adder(1)_and(1)_ab,not adder(1)_and(1)_d,not adder(1)_and(1)_p,adder(1)_and(1)_out(0).
adder(1)_and(1)_d :- not adder(1)_and(1)_ab,adder(1)_and(1)_out(0),adder(1)_and(1)_in1(1).
adder(1)_and(1)_d :- not adder(1)_and(1)_ab,adder(1)_and(1)_out(0),adder(1)_and(1)_in2(1).
adder(1)_and(1)_in1(0) :- adder(1)_and(1)_p.
adder(1)_and(1)_in2(0) :- adder(1)_and(1)_q.
adder(1)_and(2)_out(0) :- not adder(1)_and(2)_ab,adder(1)_and(2)_in1(0).
adder(1)_and(2)_out(0) :- not adder(1)_and(2)_ab,adder(1)_and(2)_in2(0).
adder(1)_and(2)_out(1) :- not adder(1)_and(2)_ab,adder(1)_and(2)_in1(1),adder(1)_and(2)_in2(1).
adder(1)_and(2)_in1(0) :- not adder(1)_and(2)_ab,adder(1)_and(2)_in2(1),adder(1)_and(2)_out(0).
adder(1)_and(2)_in1(1) :- not adder(1)_and(2)_ab,adder(1)_and(2)_out(1).
adder(1)_and(2)_in2(0) :- not adder(1)_and(2)_ab,adder(1)_and(2)_in1(1),adder(1)_and(2)_out(0).
adder(1)_and(2)_in2(1) :- not adder(1)_and(2)_ab,adder(1)_and(2)_out(1).
adder(1)_and(2)_ab :- adder(1)_and(2)_in1(0),adder(1)_and(2)_out(1).
adder(1)_and(2)_ab :- adder(1)_and(2)_in2(0),adder(1)_and(2)_out(1).
adder(1)_and(2)_ab :- adder(1)_and(2)_in1(1),adder(1)_and(2)_in2(1),adder(1)_and(2)_out(0).
adder(1)_and(2)_p :- not adder(1)_and(2)_ab,not adder(1)_and(2)_d,not adder(1)_and(2)_q,adder(1)_and(2)_out(0).
adder(1)_and(2)_q :- not adder(1)_and(2)_ab,not adder(1)_and(2)_d,not adder(1)_and(2)_p,adder(1)_and(2)_out(0).
adder(1)_and(2)_d :- not adder(1)_and(2)_ab,adder(1)_and(2)_out(0),adder(1)_and(2)_in1(1).
adder(1)_and(2)_d :- not adder(1)_and(2)_ab,adder(1)_and(2)_out(0),adder(1)_and(2)_in2(1).
adder(1)_and(2)_in1(0) :- adder(1)_and(2)_p.
adder(1)_and(2)_in2(0) :- adder(1)_and(2)_q.
adder(1)_xor(1)_out(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(0),adder(1)_xor(1)_in2(0).
adder(1)_xor(1)_out(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(1),adder(1)_xor(1)_in2(0).
adder(1)_xor(1)_out(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(0),adder(1)_xor(1)_in2(1).
adder(1)_xor(1)_out(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(1),adder(1)_xor(1)_in2(1).
adder(1)_xor(1)_in1(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in2(0),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_in1(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in2(0),adder(1)_xor(1)_out(1).
adder(1)_xor(1)_in1(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in2(1),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_in1(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in2(1),adder(1)_xor(1)_out(1).
adder(1)_xor(1)_in2(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(0),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_in2(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(0),adder(1)_xor(1)_out(1).
adder(1)_xor(1)_in2(1) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(1),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_in2(0) :- not adder(1)_xor(1)_ab,adder(1)_xor(1)_in1(1),adder(1)_xor(1)_out(1).
adder(1)_xor(1)_ab :- adder(1)_xor(1)_in1(0),adder(1)_xor(1)_in2(0),adder(1)_xor(1)_out(1).
adder(1)_xor(1)_ab :- adder(1)_xor(1)_in1(1),adder(1)_xor(1)_in2(0),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_ab :- adder(1)_xor(1)_in1(0),adder(1)_xor(1)_in2(1),adder(1)_xor(1)_out(0).
adder(1)_xor(1)_ab :- adder(1)_xor(1)_in1(1),adder(1)_xor(1)_in2(1),adder(1)_xor(1)_out(1).
adder(1)_xor(2)_out(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(0),adder(1)_xor(2)_in2(0).
adder(1)_xor(2)_out(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(1),adder(1)_xor(2)_in2(0).
adder(1)_xor(2)_out(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(0),adder(1)_xor(2)_in2(1).
adder(1)_xor(2)_out(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(1),adder(1)_xor(2)_in2(1).
adder(1)_xor(2)_in1(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in2(0),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_in1(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in2(0),adder(1)_xor(2)_out(1).
adder(1)_xor(2)_in1(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in2(1),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_in1(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in2(1),adder(1)_xor(2)_out(1).
adder(1)_xor(2)_in2(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(0),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_in2(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(0),adder(1)_xor(2)_out(1).
adder(1)_xor(2)_in2(1) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(1),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_in2(0) :- not adder(1)_xor(2)_ab,adder(1)_xor(2)_in1(1),adder(1)_xor(2)_out(1).
adder(1)_xor(2)_ab :- adder(1)_xor(2)_in1(0),adder(1)_xor(2)_in2(0),adder(1)_xor(2)_out(1).
adder(1)_xor(2)_ab :- adder(1)_xor(2)_in1(1),adder(1)_xor(2)_in2(0),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_ab :- adder(1)_xor(2)_in1(0),adder(1)_xor(2)_in2(1),adder(1)_xor(2)_out(0).
adder(1)_xor(2)_ab :- adder(1)_xor(2)_in1(1),adder(1)_xor(2)_in2(1),adder(1)_xor(2)_out(1).
adder(1)_or(1)_out(0) :- not adder(1)_or(1)_ab,adder(1)_or(1)_in1(0),adder(1)_or(1)_in2(0).
adder(1)_or(1)_out(1) :- not adder(1)_or(1)_ab,adder(1)_or(1)_in1(1).
adder(1)_or(1)_out(1) :- not adder(1)_or(1)_ab,adder(1)_or(1)_in2(1).
adder(1)_or(1)_in1(0) :- not adder(1)_or(1)_ab,adder(1)_or(1)_out(0).
adder(1)_or(1)_in1(1) :- not adder(1)_or(1)_ab,adder(1)_or(1)_in2(0),adder(1)_or(1)_out(1).
adder(1)_or(1)_in2(0) :- not adder(1)_or(1)_ab,adder(1)_or(1)_out(0).
adder(1)_or(1)_in2(1) :- not adder(1)_or(1)_ab,adder(1)_or(1)_in1(0),adder(1)_or(1)_out(1).
adder(1)_or(1)_ab :- adder(1)_or(1)_in1(0),adder(1)_or(1)_in2(0),adder(1)_or(1)_out(1).
adder(1)_or(1)_ab :- adder(1)_or(1)_in1(1),adder(1)_or(1)_out(0).
adder(1)_or(1)_ab :- adder(1)_or(1)_in2(1),adder(1)_or(1)_out(0).
adder(1)_or(1)_p :- not adder(1)_or(1)_ab,not adder(1)_or(1)_d,not adder(1)_or(1)_q,adder(1)_or(1)_out(1).
adder(1)_or(1)_q :- not adder(1)_or(1)_ab,not adder(1)_or(1)_d,not adder(1)_or(1)_p,adder(1)_or(1)_out(1).
adder(1)_or(1)_d :- not adder(1)_or(1)_ab,adder(1)_or(1)_out(1),adder(1)_or(1)_in1(0).
adder(1)_or(1)_d :- not adder(1)_or(1)_ab,adder(1)_or(1)_out(1),adder(1)_or(1)_in2(0).
adder(1)_or(1)_in1(1) :- adder(1)_or(1)_p.
adder(1)_or(1)_in2(1) :- adder(1)_or(1)_q.
adder(1)_and(1)_in1(0) :- adder(1)_in1(0).
adder(1)_in1(0) :- adder(1)_and(1)_in1(0).
adder(1)_and(1)_in1(1) :- adder(1)_in1(1).
adder(1)_in1(1) :- adder(1)_and(1)_in1(1).
adder(1)_xor(1)_in1(0) :- adder(1)_in1(0).
adder(1)_in1(0) :- adder(1)_xor(1)_in1(0).
adder(1)_xor(1)_in1(1) :- adder(1)_in1(1).
adder(1)_in1(1) :- adder(1)_xor(1)_in1(1).
adder(1)_and(1)_in2(0) :- adder(1)_in2(0).
adder(1)_in2(0) :- adder(1)_and(1)_in2(0).
adder(1)_and(1)_in2(1) :- adder(1)_in2(1).
adder(1)_in2(1) :- adder(1)_and(1)_in2(1).
adder(1)_xor(1)_in2(0) :- adder(1)_in2(0).
adder(1)_in2(0) :- adder(1)_xor(1)_in2(0).
adder(1)_xor(1)_in2(1) :- adder(1)_in2(1).
adder(1)_in2(1) :- adder(1)_xor(1)_in2(1).
adder(1)_xor(2)_in2(0) :- adder(1)_inC(0).
adder(1)_inC(0) :- adder(1)_xor(2)_in2(0).
adder(1)_xor(2)_in2(1) :- adder(1)_inC(1).
adder(1)_inC(1) :- adder(1)_xor(2)_in2(1).
adder(1)_and(2)_in1(0) :- adder(1)_inC(0).
adder(1)_inC(0) :- adder(1)_and(2)_in1(0).
adder(1)_and(2)_in1(1) :- adder(1)_inC(1).
adder(1)_inC(1) :- adder(1)_and(2)_in1(1).
adder(1)_xor(2)_in1(0) :- adder(1)_xor(1)_out(0).
adder(1)_xor(1)_out(0) :- adder(1)_xor(2)_in1(0).
adder(1)_xor(2)_in1(1) :- adder(1)_xor(1)_out(1).
adder(1)_xor(1)_out(1) :- adder(1)_xor(2)_in1(1).
adder(1)_and(2)_in2(0) :- adder(1)_xor(1)_out(0).
adder(1)_xor(1)_out(0) :- adder(1)_and(2)_in2(0).
adder(1)_and(2)_in2(1) :- adder(1)_xor(1)_out(1).
adder(1)_xor(1)_out(1) :- adder(1)_and(2)_in2(1).
adder(1)_or(1)_in1(0) :- adder(1)_and(1)_out(0).
adder(1)_and(1)_out(0) :- adder(1)_or(1)_in1(0).
adder(1)_or(1)_in1(1) :- adder(1)_and(1)_out(1).
adder(1)_and(1)_out(1) :- adder(1)_or(1)_in1(1).
adder(1)_or(1)_in2(0) :- adder(1)_and(2)_out(0).
adder(1)_and(2)_out(0) :- adder(1)_or(1)_in2(0).
adder(1)_or(1)_in2(1) :- adder(1)_and(2)_out(1).
adder(1)_and(2)_out(1) :- adder(1)_or(1)_in2(1).
adder(1)_outB(0) :- adder(1)_xor(2)_out(0).
adder(1)_xor(2)_out(0) :- adder(1)_outB(0).
adder(1)_outB(1) :- adder(1)_xor(2)_out(1).
adder(1)_xor(2)_out(1) :- adder(1)_outB(1).
adder(1)_outC(0) :- adder(1)_or(1)_out(0).
adder(1)_or(1)_out(0) :- adder(1)_outC(0).
adder(1)_outC(1) :- adder(1)_or(1)_out(1).
adder(1)_or(1)_out(1) :- adder(1)_outC(1).
adder(1)_s :- adder(1)_and(1)_ab.
adder(1)_s :- adder(1)_and(2)_ab.
adder(1)_s :- adder(1)_xor(1)_ab.
adder(1)_s :- adder(1)_xor(2)_ab.
adder(1)_s :- adder(1)_or(1)_ab.
adder(2)_and(1)_out(0) :- not adder(2)_and(1)_ab,adder(2)_and(1)_in1(0).
adder(2)_and(1)_out(0) :- not adder(2)_and(1)_ab,adder(2)_and(1)_in2(0).
adder(2)_and(1)_out(1) :- not adder(2)_and(1)_ab,adder(2)_and(1)_in1(1),adder(2)_and(1)_in2(1).
adder(2)_and(1)_in1(0) :- not adder(2)_and(1)_ab,adder(2)_and(1)_in2(1),adder(2)_and(1)_out(0).
adder(2)_and(1)_in1(1) :- not adder(2)_and(1)_ab,adder(2)_and(1)_out(1).
adder(2)_and(1)_in2(0) :- not adder(2)_and(1)_ab,adder(2)_and(1)_in1(1),adder(2)_and(1)_out(0).
adder(2)_and(1)_in2(1) :- not adder(2)_and(1)_ab,adder(2)_and(1)_out(1).
adder(2)_and(1)_ab :- adder(2)_and(1)_in1(0),adder(2)_and(1)_out(1).
adder(2)_and(1)_ab :- adder(2)_and(1)_in2(0),adder(2)_and(1)_out(1).
adder(2)_and(1)_ab :- adder(2)_and(1)_in1(1),adder(2)_and(1)_in2(1),adder(2)_and(1)_out(0).
adder(2)_and(1)_p :- not adder(2)_and(1)_ab,not adder(2)_and(1)_d,not adder(2)_and(1)_q,adder(2)_and(1)_out(0).
adder(2)_and(1)_q :- not adder(2)_and(1)_ab,not adder(2)_and(1)_d,not adder(2)_and(1)_p,adder(2)_and(1)_out(0).
adder(2)_and(1)_d :- not adder(2)_and(1)_ab,adder(2)_and(1)_out(0),adder(2)_and(1)_in1(1).
adder(2)_and(1)_d :- not adder(2)_and(1)_ab,adder(2)_and(1)_out(0),adder(2)_and(1)_in2(1).
adder(2)_and(1)_in1(0) :- adder(2)_and(1)_p.
adder(2)_and(1)_in2(0) :- adder(2)_and(1)_q.
adder(2)_and(2)_out(0) :- not adder(2)_and(2)_ab,adder(2)_and(2)_in1(0).
adder(2)_and(2)_out(0) :- not adder(2)_and(2)_ab,adder(2)_and(2)_in2(0).
adder(2)_and(2)_out(1) :- not adder(2)_and(2)_ab,adder(2)_and(2)_in1(1),adder(2)_and(2)_in2(1).
adder(2)_and(2)_in1(0) :- not adder(2)_and(2)_ab,adder(2)_and(2)_in2(1),adder(2)_and(2)_out(0).
adder(2)_and(2)_in1(1) :- not adder(2)_and(2)_ab,adder(2)_and(2)_out(1).
adder(2)_and(2)_in2(0) :- not adder(2)_and(2)_ab,adder(2)_and(2)_in1(1),adder(2)_and(2)_out(0).
adder(2)_and(2)_in2(1) :- not adder(2)_and(2)_ab,adder(2)_and(2)_out(1).
adder(2)_and(2)_ab :- adder(2)_and(2)_in1(0),adder(2)_and(2)_out(1).
adder(2)_and(2)_ab :- adder(2)_and(2)_in2(0),adder(2)_and(2)_out(1).
adder(2)_and(2)_ab :- adder(2)_and(2)_in1(1),adder(2)_and(2)_in2(1),adder(2)_and(2)_out(0).
adder(2)_and(2)_p :- not adder(2)_and(2)_ab,not adder(2)_and(2)_d,not adder(2)_and(2)_q,adder(2)_and(2)_out(0).
adder(2)_and(2)_q :- not adder(2)_and(2)_ab,not adder(2)_and(2)_d,not adder(2)_and(2)_p,adder(2)_and(2)_out(0).
adder(2)_and(2)_d :- not adder(2)_and(2)_ab,adder(2)_and(2)_out(0),adder(2)_and(2)_in1(1).
adder(2)_and(2)_d :- not adder(2)_and(2)_ab,adder(2)_and(2)_out(0),adder(2)_and(2)_in2(1).
adder(2)_and(2)_in1(0) :- adder(2)_and(2)_p.
adder(2)_and(2)_in2(0) :- adder(2)_and(2)_q.
adder(2)_xor(1)_out(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(0),adder(2)_xor(1)_in2(0).
adder(2)_xor(1)_out(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(1),adder(2)_xor(1)_in2(0).
adder(2)_xor(1)_out(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(0),adder(2)_xor(1)_in2(1).
adder(2)_xor(1)_out(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(1),adder(2)_xor(1)_in2(1).
adder(2)_xor(1)_in1(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in2(0),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_in1(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in2(0),adder(2)_xor(1)_out(1).
adder(2)_xor(1)_in1(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in2(1),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_in1(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in2(1),adder(2)_xor(1)_out(1).
adder(2)_xor(1)_in2(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(0),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_in2(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(0),adder(2)_xor(1)_out(1).
adder(2)_xor(1)_in2(1) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(1),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_in2(0) :- not adder(2)_xor(1)_ab,adder(2)_xor(1)_in1(1),adder(2)_xor(1)_out(1).
adder(2)_xor(1)_ab :- adder(2)_xor(1)_in1(0),adder(2)_xor(1)_in2(0),adder(2)_xor(1)_out(1).
adder(2)_xor(1)_ab :- adder(2)_xor(1)_in1(1),adder(2)_xor(1)_in2(0),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_ab :- adder(2)_xor(1)_in1(0),adder(2)_xor(1)_in2(1),adder(2)_xor(1)_out(0).
adder(2)_xor(1)_ab :- adder(2)_xor(1)_in1(1),adder(2)_xor(1)_in2(1),adder(2)_xor(1)_out(1).
adder(2)_xor(2)_out(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(0),adder(2)_xor(2)_in2(0).
adder(2)_xor(2)_out(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(1),adder(2)_xor(2)_in2(0).
adder(2)_xor(2)_out(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(0),adder(2)_xor(2)_in2(1).
adder(2)_xor(2)_out(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(1),adder(2)_xor(2)_in2(1).
adder(2)_xor(2)_in1(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in2(0),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_in1(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in2(0),adder(2)_xor(2)_out(1).
adder(2)_xor(2)_in1(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in2(1),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_in1(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in2(1),adder(2)_xor(2)_out(1).
adder(2)_xor(2)_in2(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(0),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_in2(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(0),adder(2)_xor(2)_out(1).
adder(2)_xor(2)_in2(1) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(1),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_in2(0) :- not adder(2)_xor(2)_ab,adder(2)_xor(2)_in1(1),adder(2)_xor(2)_out(1).
adder(2)_xor(2)_ab :- adder(2)_xor(2)_in1(0),adder(2)_xor(2)_in2(0),adder(2)_xor(2)_out(1).
adder(2)_xor(2)_ab :- adder(2)_xor(2)_in1(1),adder(2)_xor(2)_in2(0),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_ab :- adder(2)_xor(2)_in1(0),adder(2)_xor(2)_in2(1),adder(2)_xor(2)_out(0).
adder(2)_xor(2)_ab :- adder(2)_xor(2)_in1(1),adder(2)_xor(2)_in2(1),adder(2)_xor(2)_out(1).
adder(2)_or(1)_out(0) :- not adder(2)_or(1)_ab,adder(2)_or(1)_in1(0),adder(2)_or(1)_in2(0).
adder(2)_or(1)_out(1) :- not adder(2)_or(1)_ab,adder(2)_or(1)_in1(1).
adder(2)_or(1)_out(1) :- not adder(2)_or(1)_ab,adder(2)_or(1)_in2(1).
adder(2)_or(1)_in1(0) :- not adder(2)_or(1)_ab,adder(2)_or(1)_out(0).
adder(2)_or(1)_in1(1) :- not adder(2)_or(1)_ab,adder(2)_or(1)_in2(0),adder(2)_or(1)_out(1).
adder(2)_or(1)_in2(0) :- not adder(2)_or(1)_ab,adder(2)_or(1)_out(0).
adder(2)_or(1)_in2(1) :- not adder(2)_or(1)_ab,adder(2)_or(1)_in1(0),adder(2)_or(1)_out(1).
adder(2)_or(1)_ab :- adder(2)_or(1)_in1(0),adder(2)_or(1)_in2(0),adder(2)_or(1)_out(1).
adder(2)_or(1)_ab :- adder(2)_or(1)_in1(1),adder(2)_or(1)_out(0).
adder(2)_or(1)_ab :- adder(2)_or(1)_in2(1),adder(2)_or(1)_out(0).
adder(2)_or(1)_p :- not adder(2)_or(1)_ab,not adder(2)_or(1)_d,not adder(2)_or(1)_q,adder(2)_or(1)_out(1).
adder(2)_or(1)_q :- not adder(2)_or(1)_ab,not adder(2)_or(1)_d,not adder(2)_or(1)_p,adder(2)_or(1)_out(1).
adder(2)_or(1)_d :- not adder(2)_or(1)_ab,adder(2)_or(1)_out(1),adder(2)_or(1)_in1(0).
adder(2)_or(1)_d :- not adder(2)_or(1)_ab,adder(2)_or(1)_out(1),adder(2)_or(1)_in2(0).
adder(2)_or(1)_in1(1) :- adder(2)_or(1)_p.
adder(2)_or(1)_in2(1) :- adder(2)_or(1)_q.
adder(2)_and(1)_in1(0) :- adder(2)_in1(0).
adder(2)_in1(0) :- adder(2)_and(1)_in1(0).
adder(2)_and(1)_in1(1) :- adder(2)_in1(1).
adder(2)_in1(1) :- adder(2)_and(1)_in1(1).
adder(2)_xor(1)_in1(0) :- adder(2)_in1(0).
adder(2)_in1(0) :- adder(2)_xor(1)_in1(0).
adder(2)_xor(1)_in1(1) :- adder(2)_in1(1).
adder(2)_in1(1) :- adder(2)_xor(1)_in1(1).
adder(2)_and(1)_in2(0) :- adder(2)_in2(0).
adder(2)_in2(0) :- adder(2)_and(1)_in2(0).
adder(2)_and(1)_in2(1) :- adder(2)_in2(1).
adder(2)_in2(1) :- adder(2)_and(1)_in2(1).
adder(2)_xor(1)_in2(0) :- adder(2)_in2(0).
adder(2)_in2(0) :- adder(2)_xor(1)_in2(0).
adder(2)_xor(1)_in2(1) :- adder(2)_in2(1).
adder(2)_in2(1) :- adder(2)_xor(1)_in2(1).
adder(2)_xor(2)_in2(0) :- adder(2)_inC(0).
adder(2)_inC(0) :- adder(2)_xor(2)_in2(0).
adder(2)_xor(2)_in2(1) :- adder(2)_inC(1).
adder(2)_inC(1) :- adder(2)_xor(2)_in2(1).
adder(2)_and(2)_in1(0) :- adder(2)_inC(0).
adder(2)_inC(0) :- adder(2)_and(2)_in1(0).
adder(2)_and(2)_in1(1) :- adder(2)_inC(1).
adder(2)_inC(1) :- adder(2)_and(2)_in1(1).
adder(2)_xor(2)_in1(0) :- adder(2)_xor(1)_out(0).
adder(2)_xor(1)_out(0) :- adder(2)_xor(2)_in1(0).
adder(2)_xor(2)_in1(1) :- adder(2)_xor(1)_out(1).
adder(2)_xor(1)_out(1) :- adder(2)_xor(2)_in1(1).
adder(2)_and(2)_in2(0) :- adder(2)_xor(1)_out(0).
adder(2)_xor(1)_out(0) :- adder(2)_and(2)_in2(0).
adder(2)_and(2)_in2(1) :- adder(2)_xor(1)_out(1).
adder(2)_xor(1)_out(1) :- adder(2)_and(2)_in2(1).
adder(2)_or(1)_in1(0) :- adder(2)_and(1)_out(0).
adder(2)_and(1)_out(0) :- adder(2)_or(1)_in1(0).
adder(2)_or(1)_in1(1) :- adder(2)_and(1)_out(1).
adder(2)_and(1)_out(1) :- adder(2)_or(1)_in1(1).
adder(2)_or(1)_in2(0) :- adder(2)_and(2)_out(0).
adder(2)_and(2)_out(0) :- adder(2)_or(1)_in2(0).
adder(2)_or(1)_in2(1) :- adder(2)_and(2)_out(1).
adder(2)_and(2)_out(1) :- adder(2)_or(1)_in2(1).
adder(2)_outB(0) :- adder(2)_xor(2)_out(0).
adder(2)_xor(2)_out(0) :- adder(2)_outB(0).
adder(2)_outB(1) :- adder(2)_xor(2)_out(1).
adder(2)_xor(2)_out(1) :- adder(2)_outB(1).
adder(2)_outC(0) :- adder(2)_or(1)_out(0).
adder(2)_or(1)_out(0) :- adder(2)_outC(0).
adder(2)_outC(1) :- adder(2)_or(1)_out(1).
adder(2)_or(1)_out(1) :- adder(2)_outC(1).
adder(2)_s :- adder(2)_and(1)_ab.
adder(2)_s :- adder(2)_and(2)_ab.
adder(2)_s :- adder(2)_xor(1)_ab.
adder(2)_s :- adder(2)_xor(2)_ab.
adder(2)_s :- adder(2)_or(1)_ab.
adder(3)_and(1)_out(0) :- not adder(3)_and(1)_ab,adder(3)_and(1)_in1(0).
adder(3)_and(1)_out(0) :- not adder(3)_and(1)_ab,adder(3)_and(1)_in2(0).
adder(3)_and(1)_out(1) :- not adder(3)_and(1)_ab,adder(3)_and(1)_in1(1),adder(3)_and(1)_in2(1).
adder(3)_and(1)_in1(0) :- not adder(3)_and(1)_ab,adder(3)_and(1)_in2(1),adder(3)_and(1)_out(0).
adder(3)_and(1)_in1(1) :- not adder(3)_and(1)_ab,adder(3)_and(1)_out(1).
adder(3)_and(1)_in2(0) :- not adder(3)_and(1)_ab,adder(3)_and(1)_in1(1),adder(3)_and(1)_out(0).
adder(3)_and(1)_in2(1) :- not adder(3)_and(1)_ab,adder(3)_and(1)_out(1).
adder(3)_and(1)_ab :- adder(3)_and(1)_in1(0),adder(3)_and(1)_out(1).
adder(3)_and(1)_ab :- adder(3)_and(1)_in2(0),adder(3)_and(1)_out(1).
adder(3)_and(1)_ab :- adder(3)_and(1)_in1(1),adder(3)_and(1)_in2(1),adder(3)_and(1)_out(0).
adder(3)_and(1)_p :- not adder(3)_and(1)_ab,not adder(3)_and(1)_d,not adder(3)_and(1)_q,adder(3)_and(1)_out(0).
adder(3)_and(1)_q :- not adder(3)_and(1)_ab,not adder(3)_and(1)_d,not adder(3)_and(1)_p,adder(3)_and(1)_out(0).
adder(3)_and(1)_d :- not adder(3)_and(1)_ab,adder(3)_and(1)_out(0),adder(3)_and(1)_in1(1).
adder(3)_and(1)_d :- not adder(3)_and(1)_ab,adder(3)_and(1)_out(0),adder(3)_and(1)_in2(1).
adder(3)_and(1)_in1(0) :- adder(3)_and(1)_p.
adder(3)_and(1)_in2(0) :- adder(3)_and(1)_q.
adder(3)_and(2)_out(0) :- not adder(3)_and(2)_ab,adder(3)_and(2)_in1(0).
adder(3)_and(2)_out(0) :- not adder(3)_and(2)_ab,adder(3)_and(2)_in2(0).
adder(3)_and(2)_out(1) :- not adder(3)_and(2)_ab,adder(3)_and(2)_in1(1),adder(3)_and(2)_in2(1).
adder(3)_and(2)_in1(0) :- not adder(3)_and(2)_ab,adder(3)_and(2)_in2(1),adder(3)_and(2)_out(0).
adder(3)_and(2)_in1(1) :- not adder(3)_and(2)_ab,adder(3)_and(2)_out(1).
adder(3)_and(2)_in2(0) :- not adder(3)_and(2)_ab,adder(3)_and(2)_in1(1),adder(3)_and(2)_out(0).
adder(3)_and(2)_in2(1) :- not adder(3)_and(2)_ab,adder(3)_and(2)_out(1).
adder(3)_and(2)_ab :- adder(3)_and(2)_in1(0),adder(3)_and(2)_out(1).
adder(3)_and(2)_ab :- adder(3)_and(2)_in2(0),adder(3)_and(2)_out(1).
adder(3)_and(2)_ab :- adder(3)_and(2)_in1(1),adder(3)_and(2)_in2(1),adder(3)_and(2)_out(0).
adder(3)_and(2)_p :- not adder(3)_and(2)_ab,not adder(3)_and(2)_d,not adder(3)_and(2)_q,adder(3)_and(2)_out(0).
adder(3)_and(2)_q :- not adder(3)_and(2)_ab,not adder(3)_and(2)_d,not adder(3)_and(2)_p,adder(3)_and(2)_out(0).
adder(3)_and(2)_d :- not adder(3)_and(2)_ab,adder(3)_and(2)_out(0),adder(3)_and(2)_in1(1).
adder(3)_and(2)_d :- not adder(3)_and(2)_ab,adder(3)_and(2)_out(0),adder(3)_and(2)_in2(1).
adder(3)_and(2)_in1(0) :- adder(3)_and(2)_p.
adder(3)_and(2)_in2(0) :- adder(3)_and(2)_q.
adder(3)_xor(1)_out(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(0),adder(3)_xor(1)_in2(0).
adder(3)_xor(1)_out(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(1),adder(3)_xor(1)_in2(0).
adder(3)_xor(1)_out(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(0),adder(3)_xor(1)_in2(1).
adder(3)_xor(1)_out(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(1),adder(3)_xor(1)_in2(1).
adder(3)_xor(1)_in1(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in2(0),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_in1(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in2(0),adder(3)_xor(1)_out(1).
adder(3)_xor(1)_in1(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in2(1),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_in1(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in2(1),adder(3)_xor(1)_out(1).
adder(3)_xor(1)_in2(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(0),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_in2(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(0),adder(3)_xor(1)_out(1).
adder(3)_xor(1)_in2(1) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(1),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_in2(0) :- not adder(3)_xor(1)_ab,adder(3)_xor(1)_in1(1),adder(3)_xor(1)_out(1).
adder(3)_xor(1)_ab :- adder(3)_xor(1)_in1(0),adder(3)_xor(1)_in2(0),adder(3)_xor(1)_out(1).
adder(3)_xor(1)_ab :- adder(3)_xor(1)_in1(1),adder(3)_xor(1)_in2(0),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_ab :- adder(3)_xor(1)_in1(0),adder(3)_xor(1)_in2(1),adder(3)_xor(1)_out(0).
adder(3)_xor(1)_ab :- adder(3)_xor(1)_in1(1),adder(3)_xor(1)_in2(1),adder(3)_xor(1)_out(1).
adder(3)_xor(2)_out(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(0),adder(3)_xor(2)_in2(0).
adder(3)_xor(2)_out(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(1),adder(3)_xor(2)_in2(0).
adder(3)_xor(2)_out(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(0),adder(3)_xor(2)_in2(1).
adder(3)_xor(2)_out(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(1),adder(3)_xor(2)_in2(1).
adder(3)_xor(2)_in1(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in2(0),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_in1(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in2(0),adder(3)_xor(2)_out(1).
adder(3)_xor(2)_in1(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in2(1),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_in1(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in2(1),adder(3)_xor(2)_out(1).
adder(3)_xor(2)_in2(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(0),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_in2(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(0),adder(3)_xor(2)_out(1).
adder(3)_xor(2)_in2(1) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(1),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_in2(0) :- not adder(3)_xor(2)_ab,adder(3)_xor(2)_in1(1),adder(3)_xor(2)_out(1).
adder(3)_xor(2)_ab :- adder(3)_xor(2)_in1(0),adder(3)_xor(2)_in2(0),adder(3)_xor(2)_out(1).
adder(3)_xor(2)_ab :- adder(3)_xor(2)_in1(1),adder(3)_xor(2)_in2(0),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_ab :- adder(3)_xor(2)_in1(0),adder(3)_xor(2)_in2(1),adder(3)_xor(2)_out(0).
adder(3)_xor(2)_ab :- adder(3)_xor(2)_in1(1),adder(3)_xor(2)_in2(1),adder(3)_xor(2)_out(1).
adder(3)_or(1)_out(0) :- not adder(3)_or(1)_ab,adder(3)_or(1)_in1(0),adder(3)_or(1)_in2(0).
adder(3)_or(1)_out(1) :- not adder(3)_or(1)_ab,adder(3)_or(1)_in1(1).
adder(3)_or(1)_out(1) :- not adder(3)_or(1)_ab,adder(3)_or(1)_in2(1).
adder(3)_or(1)_in1(0) :- not adder(3)_or(1)_ab,adder(3)_or(1)_out(0).
adder(3)_or(1)_in1(1) :- not adder(3)_or(1)_ab,adder(3)_or(1)_in2(0),adder(3)_or(1)_out(1).
adder(3)_or(1)_in2(0) :- not adder(3)_or(1)_ab,adder(3)_or(1)_out(0).
adder(3)_or(1)_in2(1) :- not adder(3)_or(1)_ab,adder(3)_or(1)_in1(0),adder(3)_or(1)_out(1).
adder(3)_or(1)_ab :- adder(3)_or(1)_in1(0),adder(3)_or(1)_in2(0),adder(3)_or(1)_out(1).
adder(3)_or(1)_ab :- adder(3)_or(1)_in1(1),adder(3)_or(1)_out(0).
adder(3)_or(1)_ab :- adder(3)_or(1)_in2(1),adder(3)_or(1)_out(0).
adder(3)_or(1)_p :- not adder(3)_or(1)_ab,not adder(3)_or(1)_d,not adder(3)_or(1)_q,adder(3)_or(1)_out(1).
adder(3)_or(1)_q :- not adder(3)_or(1)_ab,not adder(3)_or(1)_d,not adder(3)_or(1)_p,adder(3)_or(1)_out(1).
adder(3)_or(1)_d :- not adder(3)_or(1)_ab,adder(3)_or(1)_out(1),adder(3)_or(1)_in1(0).
adder(3)_or(1)_d :- not adder(3)_or(1)_ab,adder(3)_or(1)_out(1),adder(3)_or(1)_in2(0).
adder(3)_or(1)_in1(1) :- adder(3)_or(1)_p.
adder(3)_or(1)_in2(1) :- adder(3)_or(1)_q.
adder(3)_and(1)_in1(0) :- adder(3)_in1(0).
adder(3)_in1(0) :- adder(3)_and(1)_in1(0).
adder(3)_and(1)_in1(1) :- adder(3)_in1(1).
adder(3)_in1(1) :- adder(3)_and(1)_in1(1).
adder(3)_xor(1)_in1(0) :- adder(3)_in1(0).
adder(3)_in1(0) :- adder(3)_xor(1)_in1(0).
adder(3)_xor(1)_in1(1) :- adder(3)_in1(1).
adder(3)_in1(1) :- adder(3)_xor(1)_in1(1).
adder(3)_and(1)_in2(0) :- adder(3)_in2(0).
adder(3)_in2(0) :- adder(3)_and(1)_in2(0).
adder(3)_and(1)_in2(1) :- adder(3)_in2(1).
adder(3)_in2(1) :- adder(3)_and(1)_in2(1).
adder(3)_xor(1)_in2(0) :- adder(3)_in2(0).
adder(3)_in2(0) :- adder(3)_xor(1)_in2(0).
adder(3)_xor(1)_in2(1) :- adder(3)_in2(1).
adder(3)_in2(1) :- adder(3)_xor(1)_in2(1).
adder(3)_xor(2)_in2(0) :- adder(3)_inC(0).
adder(3)_inC(0) :- adder(3)_xor(2)_in2(0).
adder(3)_xor(2)_in2(1) :- adder(3)_inC(1).
adder(3)_inC(1) :- adder(3)_xor(2)_in2(1).
adder(3)_and(2)_in1(0) :- adder(3)_inC(0).
adder(3)_inC(0) :- adder(3)_and(2)_in1(0).
adder(3)_and(2)_in1(1) :- adder(3)_inC(1).
adder(3)_inC(1) :- adder(3)_and(2)_in1(1).
adder(3)_xor(2)_in1(0) :- adder(3)_xor(1)_out(0).
adder(3)_xor(1)_out(0) :- adder(3)_xor(2)_in1(0).
adder(3)_xor(2)_in1(1) :- adder(3)_xor(1)_out(1).
adder(3)_xor(1)_out(1) :- adder(3)_xor(2)_in1(1).
adder(3)_and(2)_in2(0) :- adder(3)_xor(1)_out(0).
adder(3)_xor(1)_out(0) :- adder(3)_and(2)_in2(0).
adder(3)_and(2)_in2(1) :- adder(3)_xor(1)_out(1).
adder(3)_xor(1)_out(1) :- adder(3)_and(2)_in2(1).
adder(3)_or(1)_in1(0) :- adder(3)_and(1)_out(0).
adder(3)_and(1)_out(0) :- adder(3)_or(1)_in1(0).
adder(3)_or(1)_in1(1) :- adder(3)_and(1)_out(1).
adder(3)_and(1)_out(1) :- adder(3)_or(1)_in1(1).
adder(3)_or(1)_in2(0) :- adder(3)_and(2)_out(0).
adder(3)_and(2)_out(0) :- adder(3)_or(1)_in2(0).
adder(3)_or(1)_in2(1) :- adder(3)_and(2)_out(1).
adder(3)_and(2)_out(1) :- adder(3)_or(1)_in2(1).
adder(3)_outB(0) :- adder(3)_xor(2)_out(0).
adder(3)_xor(2)_out(0) :- adder(3)_outB(0).
adder(3)_outB(1) :- adder(3)_xor(2)_out(1).
adder(3)_xor(2)_out(1) :- adder(3)_outB(1).
adder(3)_outC(0) :- adder(3)_or(1)_out(0).
adder(3)_or(1)_out(0) :- adder(3)_outC(0).
adder(3)_outC(1) :- adder(3)_or(1)_out(1).
adder(3)_or(1)_out(1) :- adder(3)_outC(1).
adder(3)_s :- adder(3)_and(1)_ab.
adder(3)_s :- adder(3)_and(2)_ab.
adder(3)_s :- adder(3)_xor(1)_ab.
adder(3)_s :- adder(3)_xor(2)_ab.
adder(3)_s :- adder(3)_or(1)_ab.
adder(4)_and(1)_out(0) :- not adder(4)_and(1)_ab,adder(4)_and(1)_in1(0).
adder(4)_and(1)_out(0) :- not adder(4)_and(1)_ab,adder(4)_and(1)_in2(0).
adder(4)_and(1)_out(1) :- not adder(4)_and(1)_ab,adder(4)_and(1)_in1(1),adder(4)_and(1)_in2(1).
adder(4)_and(1)_in1(0) :- not adder(4)_and(1)_ab,adder(4)_and(1)_in2(1),adder(4)_and(1)_out(0).
adder(4)_and(1)_in1(1) :- not adder(4)_and(1)_ab,adder(4)_and(1)_out(1).
adder(4)_and(1)_in2(0) :- not adder(4)_and(1)_ab,adder(4)_and(1)_in1(1),adder(4)_and(1)_out(0).
adder(4)_and(1)_in2(1) :- not adder(4)_and(1)_ab,adder(4)_and(1)_out(1).
adder(4)_and(1)_ab :- adder(4)_and(1)_in1(0),adder(4)_and(1)_out(1).
adder(4)_and(1)_ab :- adder(4)_and(1)_in2(0),adder(4)_and(1)_out(1).
adder(4)_and(1)_ab :- adder(4)_and(1)_in1(1),adder(4)_and(1)_in2(1),adder(4)_and(1)_out(0).
adder(4)_and(1)_p :- not adder(4)_and(1)_ab,not adder(4)_and(1)_d,not adder(4)_and(1)_q,adder(4)_and(1)_out(0).
adder(4)_and(1)_q :- not adder(4)_and(1)_ab,not adder(4)_and(1)_d,not adder(4)_and(1)_p,adder(4)_and(1)_out(0).
adder(4)_and(1)_d :- not adder(4)_and(1)_ab,adder(4)_and(1)_out(0),adder(4)_and(1)_in1(1).
adder(4)_and(1)_d :- not adder(4)_and(1)_ab,adder(4)_and(1)_out(0),adder(4)_and(1)_in2(1).
adder(4)_and(1)_in1(0) :- adder(4)_and(1)_p.
adder(4)_and(1)_in2(0) :- adder(4)_and(1)_q.
adder(4)_and(2)_out(0) :- not adder(4)_and(2)_ab,adder(4)_and(2)_in1(0).
adder(4)_and(2)_out(0) :- not adder(4)_and(2)_ab,adder(4)_and(2)_in2(0).
adder(4)_and(2)_out(1) :- not adder(4)_and(2)_ab,adder(4)_and(2)_in1(1),adder(4)_and(2)_in2(1).
adder(4)_and(2)_in1(0) :- not adder(4)_and(2)_ab,adder(4)_and(2)_in2(1),adder(4)_and(2)_out(0).
adder(4)_and(2)_in1(1) :- not adder(4)_and(2)_ab,adder(4)_and(2)_out(1).
adder(4)_and(2)_in2(0) :- not adder(4)_and(2)_ab,adder(4)_and(2)_in1(1),adder(4)_and(2)_out(0).
adder(4)_and(2)_in2(1) :- not adder(4)_and(2)_ab,adder(4)_and(2)_out(1).
adder(4)_and(2)_ab :- adder(4)_and(2)_in1(0),adder(4)_and(2)_out(1).
adder(4)_and(2)_ab :- adder(4)_and(2)_in2(0),adder(4)_and(2)_out(1).
adder(4)_and(2)_ab :- adder(4)_and(2)_in1(1),adder(4)_and(2)_in2(1),adder(4)_and(2)_out(0).
adder(4)_and(2)_p :- not adder(4)_and(2)_ab,not adder(4)_and(2)_d,not adder(4)_and(2)_q,adder(4)_and(2)_out(0).
adder(4)_and(2)_q :- not adder(4)_and(2)_ab,not adder(4)_and(2)_d,not adder(4)_and(2)_p,adder(4)_and(2)_out(0).
adder(4)_and(2)_d :- not adder(4)_and(2)_ab,adder(4)_and(2)_out(0),adder(4)_and(2)_in1(1).
adder(4)_and(2)_d :- not adder(4)_and(2)_ab,adder(4)_and(2)_out(0),adder(4)_and(2)_in2(1).
adder(4)_and(2)_in1(0) :- adder(4)_and(2)_p.
adder(4)_and(2)_in2(0) :- adder(4)_and(2)_q.
adder(4)_xor(1)_out(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(0),adder(4)_xor(1)_in2(0).
adder(4)_xor(1)_out(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(1),adder(4)_xor(1)_in2(0).
adder(4)_xor(1)_out(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(0),adder(4)_xor(1)_in2(1).
adder(4)_xor(1)_out(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(1),adder(4)_xor(1)_in2(1).
adder(4)_xor(1)_in1(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in2(0),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_in1(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in2(0),adder(4)_xor(1)_out(1).
adder(4)_xor(1)_in1(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in2(1),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_in1(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in2(1),adder(4)_xor(1)_out(1).
adder(4)_xor(1)_in2(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(0),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_in2(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(0),adder(4)_xor(1)_out(1).
adder(4)_xor(1)_in2(1) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(1),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_in2(0) :- not adder(4)_xor(1)_ab,adder(4)_xor(1)_in1(1),adder(4)_xor(1)_out(1).
adder(4)_xor(1)_ab :- adder(4)_xor(1)_in1(0),adder(4)_xor(1)_in2(0),adder(4)_xor(1)_out(1).
adder(4)_xor(1)_ab :- adder(4)_xor(1)_in1(1),adder(4)_xor(1)_in2(0),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_ab :- adder(4)_xor(1)_in1(0),adder(4)_xor(1)_in2(1),adder(4)_xor(1)_out(0).
adder(4)_xor(1)_ab :- adder(4)_xor(1)_in1(1),adder(4)_xor(1)_in2(1),adder(4)_xor(1)_out(1).
adder(4)_xor(2)_out(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(0),adder(4)_xor(2)_in2(0).
adder(4)_xor(2)_out(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(1),adder(4)_xor(2)_in2(0).
adder(4)_xor(2)_out(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(0),adder(4)_xor(2)_in2(1).
adder(4)_xor(2)_out(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(1),adder(4)_xor(2)_in2(1).
adder(4)_xor(2)_in1(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in2(0),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_in1(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in2(0),adder(4)_xor(2)_out(1).
adder(4)_xor(2)_in1(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in2(1),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_in1(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in2(1),adder(4)_xor(2)_out(1).
adder(4)_xor(2)_in2(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(0),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_in2(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(0),adder(4)_xor(2)_out(1).
adder(4)_xor(2)_in2(1) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(1),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_in2(0) :- not adder(4)_xor(2)_ab,adder(4)_xor(2)_in1(1),adder(4)_xor(2)_out(1).
adder(4)_xor(2)_ab :- adder(4)_xor(2)_in1(0),adder(4)_xor(2)_in2(0),adder(4)_xor(2)_out(1).
adder(4)_xor(2)_ab :- adder(4)_xor(2)_in1(1),adder(4)_xor(2)_in2(0),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_ab :- adder(4)_xor(2)_in1(0),adder(4)_xor(2)_in2(1),adder(4)_xor(2)_out(0).
adder(4)_xor(2)_ab :- adder(4)_xor(2)_in1(1),adder(4)_xor(2)_in2(1),adder(4)_xor(2)_out(1).
adder(4)_or(1)_out(0) :- not adder(4)_or(1)_ab,adder(4)_or(1)_in1(0),adder(4)_or(1)_in2(0).
adder(4)_or(1)_out(1) :- not adder(4)_or(1)_ab,adder(4)_or(1)_in1(1).
adder(4)_or(1)_out(1) :- not adder(4)_or(1)_ab,adder(4)_or(1)_in2(1).
adder(4)_or(1)_in1(0) :- not adder(4)_or(1)_ab,adder(4)_or(1)_out(0).
adder(4)_or(1)_in1(1) :- not adder(4)_or(1)_ab,adder(4)_or(1)_in2(0),adder(4)_or(1)_out(1).
adder(4)_or(1)_in2(0) :- not adder(4)_or(1)_ab,adder(4)_or(1)_out(0).
adder(4)_or(1)_in2(1) :- not adder(4)_or(1)_ab,adder(4)_or(1)_in1(0),adder(4)_or(1)_out(1).
adder(4)_or(1)_ab :- adder(4)_or(1)_in1(0),adder(4)_or(1)_in2(0),adder(4)_or(1)_out(1).
adder(4)_or(1)_ab :- adder(4)_or(1)_in1(1),adder(4)_or(1)_out(0).
adder(4)_or(1)_ab :- adder(4)_or(1)_in2(1),adder(4)_or(1)_out(0).
adder(4)_or(1)_p :- not adder(4)_or(1)_ab,not adder(4)_or(1)_d,not adder(4)_or(1)_q,adder(4)_or(1)_out(1).
adder(4)_or(1)_q :- not adder(4)_or(1)_ab,not adder(4)_or(1)_d,not adder(4)_or(1)_p,adder(4)_or(1)_out(1).
adder(4)_or(1)_d :- not adder(4)_or(1)_ab,adder(4)_or(1)_out(1),adder(4)_or(1)_in1(0).
adder(4)_or(1)_d :- not adder(4)_or(1)_ab,adder(4)_or(1)_out(1),adder(4)_or(1)_in2(0).
adder(4)_or(1)_in1(1) :- adder(4)_or(1)_p.
adder(4)_or(1)_in2(1) :- adder(4)_or(1)_q.
adder(4)_and(1)_in1(0) :- adder(4)_in1(0).
adder(4)_in1(0) :- adder(4)_and(1)_in1(0).
adder(4)_and(1)_in1(1) :- adder(4)_in1(1).
adder(4)_in1(1) :- adder(4)_and(1)_in1(1).
adder(4)_xor(1)_in1(0) :- adder(4)_in1(0).
adder(4)_in1(0) :- adder(4)_xor(1)_in1(0).
adder(4)_xor(1)_in1(1) :- adder(4)_in1(1).
adder(4)_in1(1) :- adder(4)_xor(1)_in1(1).
adder(4)_and(1)_in2(0) :- adder(4)_in2(0).
adder(4)_in2(0) :- adder(4)_and(1)_in2(0).
adder(4)_and(1)_in2(1) :- adder(4)_in2(1).
adder(4)_in2(1) :- adder(4)_and(1)_in2(1).
adder(4)_xor(1)_in2(0) :- adder(4)_in2(0).
adder(4)_in2(0) :- adder(4)_xor(1)_in2(0).
adder(4)_xor(1)_in2(1) :- adder(4)_in2(1).
adder(4)_in2(1) :- adder(4)_xor(1)_in2(1).
adder(4)_xor(2)_in2(0) :- adder(4)_inC(0).
adder(4)_inC(0) :- adder(4)_xor(2)_in2(0).
adder(4)_xor(2)_in2(1) :- adder(4)_inC(1).
adder(4)_inC(1) :- adder(4)_xor(2)_in2(1).
adder(4)_and(2)_in1(0) :- adder(4)_inC(0).
adder(4)_inC(0) :- adder(4)_and(2)_in1(0).
adder(4)_and(2)_in1(1) :- adder(4)_inC(1).
adder(4)_inC(1) :- adder(4)_and(2)_in1(1).
adder(4)_xor(2)_in1(0) :- adder(4)_xor(1)_out(0).
adder(4)_xor(1)_out(0) :- adder(4)_xor(2)_in1(0).
adder(4)_xor(2)_in1(1) :- adder(4)_xor(1)_out(1).
adder(4)_xor(1)_out(1) :- adder(4)_xor(2)_in1(1).
adder(4)_and(2)_in2(0) :- adder(4)_xor(1)_out(0).
adder(4)_xor(1)_out(0) :- adder(4)_and(2)_in2(0).
adder(4)_and(2)_in2(1) :- adder(4)_xor(1)_out(1).
adder(4)_xor(1)_out(1) :- adder(4)_and(2)_in2(1).
adder(4)_or(1)_in1(0) :- adder(4)_and(1)_out(0).
adder(4)_and(1)_out(0) :- adder(4)_or(1)_in1(0).
adder(4)_or(1)_in1(1) :- adder(4)_and(1)_out(1).
adder(4)_and(1)_out(1) :- adder(4)_or(1)_in1(1).
adder(4)_or(1)_in2(0) :- adder(4)_and(2)_out(0).
adder(4)_and(2)_out(0) :- adder(4)_or(1)_in2(0).
adder(4)_or(1)_in2(1) :- adder(4)_and(2)_out(1).
adder(4)_and(2)_out(1) :- adder(4)_or(1)_in2(1).
adder(4)_outB(0) :- adder(4)_xor(2)_out(0).
adder(4)_xor(2)_out(0) :- adder(4)_outB(0).
adder(4)_outB(1) :- adder(4)_xor(2)_out(1).
adder(4)_xor(2)_out(1) :- adder(4)_outB(1).
adder(4)_outC(0) :- adder(4)_or(1)_out(0).
adder(4)_or(1)_out(0) :- adder(4)_outC(0).
adder(4)_outC(1) :- adder(4)_or(1)_out(1).
adder(4)_or(1)_out(1) :- adder(4)_outC(1).
adder(4)_s :- adder(4)_and(1)_ab.
adder(4)_s :- adder(4)_and(2)_ab.
adder(4)_s :- adder(4)_xor(1)_ab.
adder(4)_s :- adder(4)_xor(2)_ab.
adder(4)_s :- adder(4)_or(1)_ab.
adder(5)_and(1)_out(0) :- not adder(5)_and(1)_ab,adder(5)_and(1)_in1(0).
adder(5)_and(1)_out(0) :- not adder(5)_and(1)_ab,adder(5)_and(1)_in2(0).
adder(5)_and(1)_out(1) :- not adder(5)_and(1)_ab,adder(5)_and(1)_in1(1),adder(5)_and(1)_in2(1).
adder(5)_and(1)_in1(0) :- not adder(5)_and(1)_ab,adder(5)_and(1)_in2(1),adder(5)_and(1)_out(0).
adder(5)_and(1)_in1(1) :- not adder(5)_and(1)_ab,adder(5)_and(1)_out(1).
adder(5)_and(1)_in2(0) :- not adder(5)_and(1)_ab,adder(5)_and(1)_in1(1),adder(5)_and(1)_out(0).
adder(5)_and(1)_in2(1) :- not adder(5)_and(1)_ab,adder(5)_and(1)_out(1).
adder(5)_and(1)_ab :- adder(5)_and(1)_in1(0),adder(5)_and(1)_out(1).
adder(5)_and(1)_ab :- adder(5)_and(1)_in2(0),adder(5)_and(1)_out(1).
adder(5)_and(1)_ab :- adder(5)_and(1)_in1(1),adder(5)_and(1)_in2(1),adder(5)_and(1)_out(0).
adder(5)_and(1)_p :- not adder(5)_and(1)_ab,not adder(5)_and(1)_d,not adder(5)_and(1)_q,adder(5)_and(1)_out(0).
adder(5)_and(1)_q :- not adder(5)_and(1)_ab,not adder(5)_and(1)_d,not adder(5)_and(1)_p,adder(5)_and(1)_out(0).
adder(5)_and(1)_d :- not adder(5)_and(1)_ab,adder(5)_and(1)_out(0),adder(5)_and(1)_in1(1).
adder(5)_and(1)_d :- not adder(5)_and(1)_ab,adder(5)_and(1)_out(0),adder(5)_and(1)_in2(1).
adder(5)_and(1)_in1(0) :- adder(5)_and(1)_p.
adder(5)_and(1)_in2(0) :- adder(5)_and(1)_q.
adder(5)_and(2)_out(0) :- not adder(5)_and(2)_ab,adder(5)_and(2)_in1(0).
adder(5)_and(2)_out(0) :- not adder(5)_and(2)_ab,adder(5)_and(2)_in2(0).
adder(5)_and(2)_out(1) :- not adder(5)_and(2)_ab,adder(5)_and(2)_in1(1),adder(5)_and(2)_in2(1).
adder(5)_and(2)_in1(0) :- not adder(5)_and(2)_ab,adder(5)_and(2)_in2(1),adder(5)_and(2)_out(0).
adder(5)_and(2)_in1(1) :- not adder(5)_and(2)_ab,adder(5)_and(2)_out(1).
adder(5)_and(2)_in2(0) :- not adder(5)_and(2)_ab,adder(5)_and(2)_in1(1),adder(5)_and(2)_out(0).
adder(5)_and(2)_in2(1) :- not adder(5)_and(2)_ab,adder(5)_and(2)_out(1).
adder(5)_and(2)_ab :- adder(5)_and(2)_in1(0),adder(5)_and(2)_out(1).
adder(5)_and(2)_ab :- adder(5)_and(2)_in2(0),adder(5)_and(2)_out(1).
adder(5)_and(2)_ab :- adder(5)_and(2)_in1(1),adder(5)_and(2)_in2(1),adder(5)_and(2)_out(0).
adder(5)_and(2)_p :- not adder(5)_and(2)_ab,not adder(5)_and(2)_d,not adder(5)_and(2)_q,adder(5)_and(2)_out(0).
adder(5)_and(2)_q :- not adder(5)_and(2)_ab,not adder(5)_and(2)_d,not adder(5)_and(2)_p,adder(5)_and(2)_out(0).
adder(5)_and(2)_d :- not adder(5)_and(2)_ab,adder(5)_and(2)_out(0),adder(5)_and(2)_in1(1).
adder(5)_and(2)_d :- not adder(5)_and(2)_ab,adder(5)_and(2)_out(0),adder(5)_and(2)_in2(1).
adder(5)_and(2)_in1(0) :- adder(5)_and(2)_p.
adder(5)_and(2)_in2(0) :- adder(5)_and(2)_q.
adder(5)_xor(1)_out(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(0),adder(5)_xor(1)_in2(0).
adder(5)_xor(1)_out(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(1),adder(5)_xor(1)_in2(0).
adder(5)_xor(1)_out(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(0),adder(5)_xor(1)_in2(1).
adder(5)_xor(1)_out(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(1),adder(5)_xor(1)_in2(1).
adder(5)_xor(1)_in1(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in2(0),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_in1(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in2(0),adder(5)_xor(1)_out(1).
adder(5)_xor(1)_in1(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in2(1),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_in1(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in2(1),adder(5)_xor(1)_out(1).
adder(5)_xor(1)_in2(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(0),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_in2(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(0),adder(5)_xor(1)_out(1).
adder(5)_xor(1)_in2(1) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(1),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_in2(0) :- not adder(5)_xor(1)_ab,adder(5)_xor(1)_in1(1),adder(5)_xor(1)_out(1).
adder(5)_xor(1)_ab :- adder(5)_xor(1)_in1(0),adder(5)_xor(1)_in2(0),adder(5)_xor(1)_out(1).
adder(5)_xor(1)_ab :- adder(5)_xor(1)_in1(1),adder(5)_xor(1)_in2(0),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_ab :- adder(5)_xor(1)_in1(0),adder(5)_xor(1)_in2(1),adder(5)_xor(1)_out(0).
adder(5)_xor(1)_ab :- adder(5)_xor(1)_in1(1),adder(5)_xor(1)_in2(1),adder(5)_xor(1)_out(1).
adder(5)_xor(2)_out(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(0),adder(5)_xor(2)_in2(0).
adder(5)_xor(2)_out(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(1),adder(5)_xor(2)_in2(0).
adder(5)_xor(2)_out(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(0),adder(5)_xor(2)_in2(1).
adder(5)_xor(2)_out(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(1),adder(5)_xor(2)_in2(1).
adder(5)_xor(2)_in1(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in2(0),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_in1(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in2(0),adder(5)_xor(2)_out(1).
adder(5)_xor(2)_in1(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in2(1),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_in1(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in2(1),adder(5)_xor(2)_out(1).
adder(5)_xor(2)_in2(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(0),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_in2(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(0),adder(5)_xor(2)_out(1).
adder(5)_xor(2)_in2(1) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(1),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_in2(0) :- not adder(5)_xor(2)_ab,adder(5)_xor(2)_in1(1),adder(5)_xor(2)_out(1).
adder(5)_xor(2)_ab :- adder(5)_xor(2)_in1(0),adder(5)_xor(2)_in2(0),adder(5)_xor(2)_out(1).
adder(5)_xor(2)_ab :- adder(5)_xor(2)_in1(1),adder(5)_xor(2)_in2(0),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_ab :- adder(5)_xor(2)_in1(0),adder(5)_xor(2)_in2(1),adder(5)_xor(2)_out(0).
adder(5)_xor(2)_ab :- adder(5)_xor(2)_in1(1),adder(5)_xor(2)_in2(1),adder(5)_xor(2)_out(1).
adder(5)_or(1)_out(0) :- not adder(5)_or(1)_ab,adder(5)_or(1)_in1(0),adder(5)_or(1)_in2(0).
adder(5)_or(1)_out(1) :- not adder(5)_or(1)_ab,adder(5)_or(1)_in1(1).
adder(5)_or(1)_out(1) :- not adder(5)_or(1)_ab,adder(5)_or(1)_in2(1).
adder(5)_or(1)_in1(0) :- not adder(5)_or(1)_ab,adder(5)_or(1)_out(0).
adder(5)_or(1)_in1(1) :- not adder(5)_or(1)_ab,adder(5)_or(1)_in2(0),adder(5)_or(1)_out(1).
adder(5)_or(1)_in2(0) :- not adder(5)_or(1)_ab,adder(5)_or(1)_out(0).
adder(5)_or(1)_in2(1) :- not adder(5)_or(1)_ab,adder(5)_or(1)_in1(0),adder(5)_or(1)_out(1).
adder(5)_or(1)_ab :- adder(5)_or(1)_in1(0),adder(5)_or(1)_in2(0),adder(5)_or(1)_out(1).
adder(5)_or(1)_ab :- adder(5)_or(1)_in1(1),adder(5)_or(1)_out(0).
adder(5)_or(1)_ab :- adder(5)_or(1)_in2(1),adder(5)_or(1)_out(0).
adder(5)_or(1)_p :- not adder(5)_or(1)_ab,not adder(5)_or(1)_d,not adder(5)_or(1)_q,adder(5)_or(1)_out(1).
adder(5)_or(1)_q :- not adder(5)_or(1)_ab,not adder(5)_or(1)_d,not adder(5)_or(1)_p,adder(5)_or(1)_out(1).
adder(5)_or(1)_d :- not adder(5)_or(1)_ab,adder(5)_or(1)_out(1),adder(5)_or(1)_in1(0).
adder(5)_or(1)_d :- not adder(5)_or(1)_ab,adder(5)_or(1)_out(1),adder(5)_or(1)_in2(0).
adder(5)_or(1)_in1(1) :- adder(5)_or(1)_p.
adder(5)_or(1)_in2(1) :- adder(5)_or(1)_q.
adder(5)_and(1)_in1(0) :- adder(5)_in1(0).
adder(5)_in1(0) :- adder(5)_and(1)_in1(0).
adder(5)_and(1)_in1(1) :- adder(5)_in1(1).
adder(5)_in1(1) :- adder(5)_and(1)_in1(1).
adder(5)_xor(1)_in1(0) :- adder(5)_in1(0).
adder(5)_in1(0) :- adder(5)_xor(1)_in1(0).
adder(5)_xor(1)_in1(1) :- adder(5)_in1(1).
adder(5)_in1(1) :- adder(5)_xor(1)_in1(1).
adder(5)_and(1)_in2(0) :- adder(5)_in2(0).
adder(5)_in2(0) :- adder(5)_and(1)_in2(0).
adder(5)_and(1)_in2(1) :- adder(5)_in2(1).
adder(5)_in2(1) :- adder(5)_and(1)_in2(1).
adder(5)_xor(1)_in2(0) :- adder(5)_in2(0).
adder(5)_in2(0) :- adder(5)_xor(1)_in2(0).
adder(5)_xor(1)_in2(1) :- adder(5)_in2(1).
adder(5)_in2(1) :- adder(5)_xor(1)_in2(1).
adder(5)_xor(2)_in2(0) :- adder(5)_inC(0).
adder(5)_inC(0) :- adder(5)_xor(2)_in2(0).
adder(5)_xor(2)_in2(1) :- adder(5)_inC(1).
adder(5)_inC(1) :- adder(5)_xor(2)_in2(1).
adder(5)_and(2)_in1(0) :- adder(5)_inC(0).
adder(5)_inC(0) :- adder(5)_and(2)_in1(0).
adder(5)_and(2)_in1(1) :- adder(5)_inC(1).
adder(5)_inC(1) :- adder(5)_and(2)_in1(1).
adder(5)_xor(2)_in1(0) :- adder(5)_xor(1)_out(0).
adder(5)_xor(1)_out(0) :- adder(5)_xor(2)_in1(0).
adder(5)_xor(2)_in1(1) :- adder(5)_xor(1)_out(1).
adder(5)_xor(1)_out(1) :- adder(5)_xor(2)_in1(1).
adder(5)_and(2)_in2(0) :- adder(5)_xor(1)_out(0).
adder(5)_xor(1)_out(0) :- adder(5)_and(2)_in2(0).
adder(5)_and(2)_in2(1) :- adder(5)_xor(1)_out(1).
adder(5)_xor(1)_out(1) :- adder(5)_and(2)_in2(1).
adder(5)_or(1)_in1(0) :- adder(5)_and(1)_out(0).
adder(5)_and(1)_out(0) :- adder(5)_or(1)_in1(0).
adder(5)_or(1)_in1(1) :- adder(5)_and(1)_out(1).
adder(5)_and(1)_out(1) :- adder(5)_or(1)_in1(1).
adder(5)_or(1)_in2(0) :- adder(5)_and(2)_out(0).
adder(5)_and(2)_out(0) :- adder(5)_or(1)_in2(0).
adder(5)_or(1)_in2(1) :- adder(5)_and(2)_out(1).
adder(5)_and(2)_out(1) :- adder(5)_or(1)_in2(1).
adder(5)_outB(0) :- adder(5)_xor(2)_out(0).
adder(5)_xor(2)_out(0) :- adder(5)_outB(0).
adder(5)_outB(1) :- adder(5)_xor(2)_out(1).
adder(5)_xor(2)_out(1) :- adder(5)_outB(1).
adder(5)_outC(0) :- adder(5)_or(1)_out(0).
adder(5)_or(1)_out(0) :- adder(5)_outC(0).
adder(5)_outC(1) :- adder(5)_or(1)_out(1).
adder(5)_or(1)_out(1) :- adder(5)_outC(1).
adder(5)_s :- adder(5)_and(1)_ab.
adder(5)_s :- adder(5)_and(2)_ab.
adder(5)_s :- adder(5)_xor(1)_ab.
adder(5)_s :- adder(5)_xor(2)_ab.
adder(5)_s :- adder(5)_or(1)_ab.
adder(1)_outC(0) :- adder(2)_inC(0).
adder(2)_inC(0) :- adder(1)_outC(0).
adder(1)_outC(1) :- adder(2)_inC(1).
adder(2)_inC(1) :- adder(1)_outC(1).
adder(2)_outC(0) :- adder(3)_inC(0).
adder(3)_inC(0) :- adder(2)_outC(0).
adder(2)_outC(1) :- adder(3)_inC(1).
adder(3)_inC(1) :- adder(2)_outC(1).
adder(3)_outC(0) :- adder(4)_inC(0).
adder(4)_inC(0) :- adder(3)_outC(0).
adder(3)_outC(1) :- adder(4)_inC(1).
adder(4)_inC(1) :- adder(3)_outC(1).
adder(4)_outC(0) :- adder(5)_inC(0).
adder(5)_inC(0) :- adder(4)_outC(0).
adder(4)_outC(1) :- adder(5)_inC(1).
adder(5)_inC(1) :- adder(4)_outC(1).
adder(1)_inC(0).
adder(1)_in1(0).
adder(1)_in2(0).
adder(2)_in1(0).
adder(2)_in2(0).
adder(3)_in1(0).
adder(3)_in2(0).
adder(4)_in1(0).
adder(4)_in2(0).
adder(5)_in1(0).
adder(5)_in2(0).
adder(1)_outB(0).
adder(2)_outB(0).
adder(3)_outB(0).
adder(4)_outB(0).
adder(5)_outB(1).
s :- adder(1)_s.
s :- adder(2)_s.
s :- adder(3)_s.
s :- adder(4)_s.
s :- adder(5)_s.
