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(6)_and(1)_out(0) :- not adder(6)_and(1)_ab,adder(6)_and(1)_in1(0).
adder(6)_and(1)_out(0) :- not adder(6)_and(1)_ab,adder(6)_and(1)_in2(0).
adder(6)_and(1)_out(1) :- not adder(6)_and(1)_ab,adder(6)_and(1)_in1(1),adder(6)_and(1)_in2(1).
adder(6)_and(1)_in1(0) :- not adder(6)_and(1)_ab,adder(6)_and(1)_in2(1),adder(6)_and(1)_out(0).
adder(6)_and(1)_in1(1) :- not adder(6)_and(1)_ab,adder(6)_and(1)_out(1).
adder(6)_and(1)_in2(0) :- not adder(6)_and(1)_ab,adder(6)_and(1)_in1(1),adder(6)_and(1)_out(0).
adder(6)_and(1)_in2(1) :- not adder(6)_and(1)_ab,adder(6)_and(1)_out(1).
adder(6)_and(1)_ab :- adder(6)_and(1)_in1(0),adder(6)_and(1)_out(1).
adder(6)_and(1)_ab :- adder(6)_and(1)_in2(0),adder(6)_and(1)_out(1).
adder(6)_and(1)_ab :- adder(6)_and(1)_in1(1),adder(6)_and(1)_in2(1),adder(6)_and(1)_out(0).
adder(6)_and(1)_p :- not adder(6)_and(1)_ab,not adder(6)_and(1)_d,not adder(6)_and(1)_q,adder(6)_and(1)_out(0).
adder(6)_and(1)_q :- not adder(6)_and(1)_ab,not adder(6)_and(1)_d,not adder(6)_and(1)_p,adder(6)_and(1)_out(0).
adder(6)_and(1)_d :- not adder(6)_and(1)_ab,adder(6)_and(1)_out(0),adder(6)_and(1)_in1(1).
adder(6)_and(1)_d :- not adder(6)_and(1)_ab,adder(6)_and(1)_out(0),adder(6)_and(1)_in2(1).
adder(6)_and(1)_in1(0) :- adder(6)_and(1)_p.
adder(6)_and(1)_in2(0) :- adder(6)_and(1)_q.
adder(6)_and(2)_out(0) :- not adder(6)_and(2)_ab,adder(6)_and(2)_in1(0).
adder(6)_and(2)_out(0) :- not adder(6)_and(2)_ab,adder(6)_and(2)_in2(0).
adder(6)_and(2)_out(1) :- not adder(6)_and(2)_ab,adder(6)_and(2)_in1(1),adder(6)_and(2)_in2(1).
adder(6)_and(2)_in1(0) :- not adder(6)_and(2)_ab,adder(6)_and(2)_in2(1),adder(6)_and(2)_out(0).
adder(6)_and(2)_in1(1) :- not adder(6)_and(2)_ab,adder(6)_and(2)_out(1).
adder(6)_and(2)_in2(0) :- not adder(6)_and(2)_ab,adder(6)_and(2)_in1(1),adder(6)_and(2)_out(0).
adder(6)_and(2)_in2(1) :- not adder(6)_and(2)_ab,adder(6)_and(2)_out(1).
adder(6)_and(2)_ab :- adder(6)_and(2)_in1(0),adder(6)_and(2)_out(1).
adder(6)_and(2)_ab :- adder(6)_and(2)_in2(0),adder(6)_and(2)_out(1).
adder(6)_and(2)_ab :- adder(6)_and(2)_in1(1),adder(6)_and(2)_in2(1),adder(6)_and(2)_out(0).
adder(6)_and(2)_p :- not adder(6)_and(2)_ab,not adder(6)_and(2)_d,not adder(6)_and(2)_q,adder(6)_and(2)_out(0).
adder(6)_and(2)_q :- not adder(6)_and(2)_ab,not adder(6)_and(2)_d,not adder(6)_and(2)_p,adder(6)_and(2)_out(0).
adder(6)_and(2)_d :- not adder(6)_and(2)_ab,adder(6)_and(2)_out(0),adder(6)_and(2)_in1(1).
adder(6)_and(2)_d :- not adder(6)_and(2)_ab,adder(6)_and(2)_out(0),adder(6)_and(2)_in2(1).
adder(6)_and(2)_in1(0) :- adder(6)_and(2)_p.
adder(6)_and(2)_in2(0) :- adder(6)_and(2)_q.
adder(6)_xor(1)_out(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(0),adder(6)_xor(1)_in2(0).
adder(6)_xor(1)_out(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(1),adder(6)_xor(1)_in2(0).
adder(6)_xor(1)_out(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(0),adder(6)_xor(1)_in2(1).
adder(6)_xor(1)_out(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(1),adder(6)_xor(1)_in2(1).
adder(6)_xor(1)_in1(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in2(0),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_in1(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in2(0),adder(6)_xor(1)_out(1).
adder(6)_xor(1)_in1(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in2(1),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_in1(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in2(1),adder(6)_xor(1)_out(1).
adder(6)_xor(1)_in2(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(0),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_in2(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(0),adder(6)_xor(1)_out(1).
adder(6)_xor(1)_in2(1) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(1),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_in2(0) :- not adder(6)_xor(1)_ab,adder(6)_xor(1)_in1(1),adder(6)_xor(1)_out(1).
adder(6)_xor(1)_ab :- adder(6)_xor(1)_in1(0),adder(6)_xor(1)_in2(0),adder(6)_xor(1)_out(1).
adder(6)_xor(1)_ab :- adder(6)_xor(1)_in1(1),adder(6)_xor(1)_in2(0),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_ab :- adder(6)_xor(1)_in1(0),adder(6)_xor(1)_in2(1),adder(6)_xor(1)_out(0).
adder(6)_xor(1)_ab :- adder(6)_xor(1)_in1(1),adder(6)_xor(1)_in2(1),adder(6)_xor(1)_out(1).
adder(6)_xor(2)_out(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(0),adder(6)_xor(2)_in2(0).
adder(6)_xor(2)_out(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(1),adder(6)_xor(2)_in2(0).
adder(6)_xor(2)_out(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(0),adder(6)_xor(2)_in2(1).
adder(6)_xor(2)_out(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(1),adder(6)_xor(2)_in2(1).
adder(6)_xor(2)_in1(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in2(0),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_in1(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in2(0),adder(6)_xor(2)_out(1).
adder(6)_xor(2)_in1(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in2(1),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_in1(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in2(1),adder(6)_xor(2)_out(1).
adder(6)_xor(2)_in2(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(0),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_in2(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(0),adder(6)_xor(2)_out(1).
adder(6)_xor(2)_in2(1) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(1),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_in2(0) :- not adder(6)_xor(2)_ab,adder(6)_xor(2)_in1(1),adder(6)_xor(2)_out(1).
adder(6)_xor(2)_ab :- adder(6)_xor(2)_in1(0),adder(6)_xor(2)_in2(0),adder(6)_xor(2)_out(1).
adder(6)_xor(2)_ab :- adder(6)_xor(2)_in1(1),adder(6)_xor(2)_in2(0),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_ab :- adder(6)_xor(2)_in1(0),adder(6)_xor(2)_in2(1),adder(6)_xor(2)_out(0).
adder(6)_xor(2)_ab :- adder(6)_xor(2)_in1(1),adder(6)_xor(2)_in2(1),adder(6)_xor(2)_out(1).
adder(6)_or(1)_out(0) :- not adder(6)_or(1)_ab,adder(6)_or(1)_in1(0),adder(6)_or(1)_in2(0).
adder(6)_or(1)_out(1) :- not adder(6)_or(1)_ab,adder(6)_or(1)_in1(1).
adder(6)_or(1)_out(1) :- not adder(6)_or(1)_ab,adder(6)_or(1)_in2(1).
adder(6)_or(1)_in1(0) :- not adder(6)_or(1)_ab,adder(6)_or(1)_out(0).
adder(6)_or(1)_in1(1) :- not adder(6)_or(1)_ab,adder(6)_or(1)_in2(0),adder(6)_or(1)_out(1).
adder(6)_or(1)_in2(0) :- not adder(6)_or(1)_ab,adder(6)_or(1)_out(0).
adder(6)_or(1)_in2(1) :- not adder(6)_or(1)_ab,adder(6)_or(1)_in1(0),adder(6)_or(1)_out(1).
adder(6)_or(1)_ab :- adder(6)_or(1)_in1(0),adder(6)_or(1)_in2(0),adder(6)_or(1)_out(1).
adder(6)_or(1)_ab :- adder(6)_or(1)_in1(1),adder(6)_or(1)_out(0).
adder(6)_or(1)_ab :- adder(6)_or(1)_in2(1),adder(6)_or(1)_out(0).
adder(6)_or(1)_p :- not adder(6)_or(1)_ab,not adder(6)_or(1)_d,not adder(6)_or(1)_q,adder(6)_or(1)_out(1).
adder(6)_or(1)_q :- not adder(6)_or(1)_ab,not adder(6)_or(1)_d,not adder(6)_or(1)_p,adder(6)_or(1)_out(1).
adder(6)_or(1)_d :- not adder(6)_or(1)_ab,adder(6)_or(1)_out(1),adder(6)_or(1)_in1(0).
adder(6)_or(1)_d :- not adder(6)_or(1)_ab,adder(6)_or(1)_out(1),adder(6)_or(1)_in2(0).
adder(6)_or(1)_in1(1) :- adder(6)_or(1)_p.
adder(6)_or(1)_in2(1) :- adder(6)_or(1)_q.
adder(6)_and(1)_in1(0) :- adder(6)_in1(0).
adder(6)_in1(0) :- adder(6)_and(1)_in1(0).
adder(6)_and(1)_in1(1) :- adder(6)_in1(1).
adder(6)_in1(1) :- adder(6)_and(1)_in1(1).
adder(6)_xor(1)_in1(0) :- adder(6)_in1(0).
adder(6)_in1(0) :- adder(6)_xor(1)_in1(0).
adder(6)_xor(1)_in1(1) :- adder(6)_in1(1).
adder(6)_in1(1) :- adder(6)_xor(1)_in1(1).
adder(6)_and(1)_in2(0) :- adder(6)_in2(0).
adder(6)_in2(0) :- adder(6)_and(1)_in2(0).
adder(6)_and(1)_in2(1) :- adder(6)_in2(1).
adder(6)_in2(1) :- adder(6)_and(1)_in2(1).
adder(6)_xor(1)_in2(0) :- adder(6)_in2(0).
adder(6)_in2(0) :- adder(6)_xor(1)_in2(0).
adder(6)_xor(1)_in2(1) :- adder(6)_in2(1).
adder(6)_in2(1) :- adder(6)_xor(1)_in2(1).
adder(6)_xor(2)_in2(0) :- adder(6)_inC(0).
adder(6)_inC(0) :- adder(6)_xor(2)_in2(0).
adder(6)_xor(2)_in2(1) :- adder(6)_inC(1).
adder(6)_inC(1) :- adder(6)_xor(2)_in2(1).
adder(6)_and(2)_in1(0) :- adder(6)_inC(0).
adder(6)_inC(0) :- adder(6)_and(2)_in1(0).
adder(6)_and(2)_in1(1) :- adder(6)_inC(1).
adder(6)_inC(1) :- adder(6)_and(2)_in1(1).
adder(6)_xor(2)_in1(0) :- adder(6)_xor(1)_out(0).
adder(6)_xor(1)_out(0) :- adder(6)_xor(2)_in1(0).
adder(6)_xor(2)_in1(1) :- adder(6)_xor(1)_out(1).
adder(6)_xor(1)_out(1) :- adder(6)_xor(2)_in1(1).
adder(6)_and(2)_in2(0) :- adder(6)_xor(1)_out(0).
adder(6)_xor(1)_out(0) :- adder(6)_and(2)_in2(0).
adder(6)_and(2)_in2(1) :- adder(6)_xor(1)_out(1).
adder(6)_xor(1)_out(1) :- adder(6)_and(2)_in2(1).
adder(6)_or(1)_in1(0) :- adder(6)_and(1)_out(0).
adder(6)_and(1)_out(0) :- adder(6)_or(1)_in1(0).
adder(6)_or(1)_in1(1) :- adder(6)_and(1)_out(1).
adder(6)_and(1)_out(1) :- adder(6)_or(1)_in1(1).
adder(6)_or(1)_in2(0) :- adder(6)_and(2)_out(0).
adder(6)_and(2)_out(0) :- adder(6)_or(1)_in2(0).
adder(6)_or(1)_in2(1) :- adder(6)_and(2)_out(1).
adder(6)_and(2)_out(1) :- adder(6)_or(1)_in2(1).
adder(6)_outB(0) :- adder(6)_xor(2)_out(0).
adder(6)_xor(2)_out(0) :- adder(6)_outB(0).
adder(6)_outB(1) :- adder(6)_xor(2)_out(1).
adder(6)_xor(2)_out(1) :- adder(6)_outB(1).
adder(6)_outC(0) :- adder(6)_or(1)_out(0).
adder(6)_or(1)_out(0) :- adder(6)_outC(0).
adder(6)_outC(1) :- adder(6)_or(1)_out(1).
adder(6)_or(1)_out(1) :- adder(6)_outC(1).
adder(6)_s :- adder(6)_and(1)_ab.
adder(6)_s :- adder(6)_and(2)_ab.
adder(6)_s :- adder(6)_xor(1)_ab.
adder(6)_s :- adder(6)_xor(2)_ab.
adder(6)_s :- adder(6)_or(1)_ab.
adder(7)_and(1)_out(0) :- not adder(7)_and(1)_ab,adder(7)_and(1)_in1(0).
adder(7)_and(1)_out(0) :- not adder(7)_and(1)_ab,adder(7)_and(1)_in2(0).
adder(7)_and(1)_out(1) :- not adder(7)_and(1)_ab,adder(7)_and(1)_in1(1),adder(7)_and(1)_in2(1).
adder(7)_and(1)_in1(0) :- not adder(7)_and(1)_ab,adder(7)_and(1)_in2(1),adder(7)_and(1)_out(0).
adder(7)_and(1)_in1(1) :- not adder(7)_and(1)_ab,adder(7)_and(1)_out(1).
adder(7)_and(1)_in2(0) :- not adder(7)_and(1)_ab,adder(7)_and(1)_in1(1),adder(7)_and(1)_out(0).
adder(7)_and(1)_in2(1) :- not adder(7)_and(1)_ab,adder(7)_and(1)_out(1).
adder(7)_and(1)_ab :- adder(7)_and(1)_in1(0),adder(7)_and(1)_out(1).
adder(7)_and(1)_ab :- adder(7)_and(1)_in2(0),adder(7)_and(1)_out(1).
adder(7)_and(1)_ab :- adder(7)_and(1)_in1(1),adder(7)_and(1)_in2(1),adder(7)_and(1)_out(0).
adder(7)_and(1)_p :- not adder(7)_and(1)_ab,not adder(7)_and(1)_d,not adder(7)_and(1)_q,adder(7)_and(1)_out(0).
adder(7)_and(1)_q :- not adder(7)_and(1)_ab,not adder(7)_and(1)_d,not adder(7)_and(1)_p,adder(7)_and(1)_out(0).
adder(7)_and(1)_d :- not adder(7)_and(1)_ab,adder(7)_and(1)_out(0),adder(7)_and(1)_in1(1).
adder(7)_and(1)_d :- not adder(7)_and(1)_ab,adder(7)_and(1)_out(0),adder(7)_and(1)_in2(1).
adder(7)_and(1)_in1(0) :- adder(7)_and(1)_p.
adder(7)_and(1)_in2(0) :- adder(7)_and(1)_q.
adder(7)_and(2)_out(0) :- not adder(7)_and(2)_ab,adder(7)_and(2)_in1(0).
adder(7)_and(2)_out(0) :- not adder(7)_and(2)_ab,adder(7)_and(2)_in2(0).
adder(7)_and(2)_out(1) :- not adder(7)_and(2)_ab,adder(7)_and(2)_in1(1),adder(7)_and(2)_in2(1).
adder(7)_and(2)_in1(0) :- not adder(7)_and(2)_ab,adder(7)_and(2)_in2(1),adder(7)_and(2)_out(0).
adder(7)_and(2)_in1(1) :- not adder(7)_and(2)_ab,adder(7)_and(2)_out(1).
adder(7)_and(2)_in2(0) :- not adder(7)_and(2)_ab,adder(7)_and(2)_in1(1),adder(7)_and(2)_out(0).
adder(7)_and(2)_in2(1) :- not adder(7)_and(2)_ab,adder(7)_and(2)_out(1).
adder(7)_and(2)_ab :- adder(7)_and(2)_in1(0),adder(7)_and(2)_out(1).
adder(7)_and(2)_ab :- adder(7)_and(2)_in2(0),adder(7)_and(2)_out(1).
adder(7)_and(2)_ab :- adder(7)_and(2)_in1(1),adder(7)_and(2)_in2(1),adder(7)_and(2)_out(0).
adder(7)_and(2)_p :- not adder(7)_and(2)_ab,not adder(7)_and(2)_d,not adder(7)_and(2)_q,adder(7)_and(2)_out(0).
adder(7)_and(2)_q :- not adder(7)_and(2)_ab,not adder(7)_and(2)_d,not adder(7)_and(2)_p,adder(7)_and(2)_out(0).
adder(7)_and(2)_d :- not adder(7)_and(2)_ab,adder(7)_and(2)_out(0),adder(7)_and(2)_in1(1).
adder(7)_and(2)_d :- not adder(7)_and(2)_ab,adder(7)_and(2)_out(0),adder(7)_and(2)_in2(1).
adder(7)_and(2)_in1(0) :- adder(7)_and(2)_p.
adder(7)_and(2)_in2(0) :- adder(7)_and(2)_q.
adder(7)_xor(1)_out(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(0),adder(7)_xor(1)_in2(0).
adder(7)_xor(1)_out(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(1),adder(7)_xor(1)_in2(0).
adder(7)_xor(1)_out(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(0),adder(7)_xor(1)_in2(1).
adder(7)_xor(1)_out(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(1),adder(7)_xor(1)_in2(1).
adder(7)_xor(1)_in1(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in2(0),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_in1(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in2(0),adder(7)_xor(1)_out(1).
adder(7)_xor(1)_in1(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in2(1),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_in1(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in2(1),adder(7)_xor(1)_out(1).
adder(7)_xor(1)_in2(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(0),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_in2(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(0),adder(7)_xor(1)_out(1).
adder(7)_xor(1)_in2(1) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(1),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_in2(0) :- not adder(7)_xor(1)_ab,adder(7)_xor(1)_in1(1),adder(7)_xor(1)_out(1).
adder(7)_xor(1)_ab :- adder(7)_xor(1)_in1(0),adder(7)_xor(1)_in2(0),adder(7)_xor(1)_out(1).
adder(7)_xor(1)_ab :- adder(7)_xor(1)_in1(1),adder(7)_xor(1)_in2(0),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_ab :- adder(7)_xor(1)_in1(0),adder(7)_xor(1)_in2(1),adder(7)_xor(1)_out(0).
adder(7)_xor(1)_ab :- adder(7)_xor(1)_in1(1),adder(7)_xor(1)_in2(1),adder(7)_xor(1)_out(1).
adder(7)_xor(2)_out(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(0),adder(7)_xor(2)_in2(0).
adder(7)_xor(2)_out(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(1),adder(7)_xor(2)_in2(0).
adder(7)_xor(2)_out(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(0),adder(7)_xor(2)_in2(1).
adder(7)_xor(2)_out(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(1),adder(7)_xor(2)_in2(1).
adder(7)_xor(2)_in1(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in2(0),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_in1(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in2(0),adder(7)_xor(2)_out(1).
adder(7)_xor(2)_in1(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in2(1),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_in1(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in2(1),adder(7)_xor(2)_out(1).
adder(7)_xor(2)_in2(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(0),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_in2(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(0),adder(7)_xor(2)_out(1).
adder(7)_xor(2)_in2(1) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(1),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_in2(0) :- not adder(7)_xor(2)_ab,adder(7)_xor(2)_in1(1),adder(7)_xor(2)_out(1).
adder(7)_xor(2)_ab :- adder(7)_xor(2)_in1(0),adder(7)_xor(2)_in2(0),adder(7)_xor(2)_out(1).
adder(7)_xor(2)_ab :- adder(7)_xor(2)_in1(1),adder(7)_xor(2)_in2(0),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_ab :- adder(7)_xor(2)_in1(0),adder(7)_xor(2)_in2(1),adder(7)_xor(2)_out(0).
adder(7)_xor(2)_ab :- adder(7)_xor(2)_in1(1),adder(7)_xor(2)_in2(1),adder(7)_xor(2)_out(1).
adder(7)_or(1)_out(0) :- not adder(7)_or(1)_ab,adder(7)_or(1)_in1(0),adder(7)_or(1)_in2(0).
adder(7)_or(1)_out(1) :- not adder(7)_or(1)_ab,adder(7)_or(1)_in1(1).
adder(7)_or(1)_out(1) :- not adder(7)_or(1)_ab,adder(7)_or(1)_in2(1).
adder(7)_or(1)_in1(0) :- not adder(7)_or(1)_ab,adder(7)_or(1)_out(0).
adder(7)_or(1)_in1(1) :- not adder(7)_or(1)_ab,adder(7)_or(1)_in2(0),adder(7)_or(1)_out(1).
adder(7)_or(1)_in2(0) :- not adder(7)_or(1)_ab,adder(7)_or(1)_out(0).
adder(7)_or(1)_in2(1) :- not adder(7)_or(1)_ab,adder(7)_or(1)_in1(0),adder(7)_or(1)_out(1).
adder(7)_or(1)_ab :- adder(7)_or(1)_in1(0),adder(7)_or(1)_in2(0),adder(7)_or(1)_out(1).
adder(7)_or(1)_ab :- adder(7)_or(1)_in1(1),adder(7)_or(1)_out(0).
adder(7)_or(1)_ab :- adder(7)_or(1)_in2(1),adder(7)_or(1)_out(0).
adder(7)_or(1)_p :- not adder(7)_or(1)_ab,not adder(7)_or(1)_d,not adder(7)_or(1)_q,adder(7)_or(1)_out(1).
adder(7)_or(1)_q :- not adder(7)_or(1)_ab,not adder(7)_or(1)_d,not adder(7)_or(1)_p,adder(7)_or(1)_out(1).
adder(7)_or(1)_d :- not adder(7)_or(1)_ab,adder(7)_or(1)_out(1),adder(7)_or(1)_in1(0).
adder(7)_or(1)_d :- not adder(7)_or(1)_ab,adder(7)_or(1)_out(1),adder(7)_or(1)_in2(0).
adder(7)_or(1)_in1(1) :- adder(7)_or(1)_p.
adder(7)_or(1)_in2(1) :- adder(7)_or(1)_q.
adder(7)_and(1)_in1(0) :- adder(7)_in1(0).
adder(7)_in1(0) :- adder(7)_and(1)_in1(0).
adder(7)_and(1)_in1(1) :- adder(7)_in1(1).
adder(7)_in1(1) :- adder(7)_and(1)_in1(1).
adder(7)_xor(1)_in1(0) :- adder(7)_in1(0).
adder(7)_in1(0) :- adder(7)_xor(1)_in1(0).
adder(7)_xor(1)_in1(1) :- adder(7)_in1(1).
adder(7)_in1(1) :- adder(7)_xor(1)_in1(1).
adder(7)_and(1)_in2(0) :- adder(7)_in2(0).
adder(7)_in2(0) :- adder(7)_and(1)_in2(0).
adder(7)_and(1)_in2(1) :- adder(7)_in2(1).
adder(7)_in2(1) :- adder(7)_and(1)_in2(1).
adder(7)_xor(1)_in2(0) :- adder(7)_in2(0).
adder(7)_in2(0) :- adder(7)_xor(1)_in2(0).
adder(7)_xor(1)_in2(1) :- adder(7)_in2(1).
adder(7)_in2(1) :- adder(7)_xor(1)_in2(1).
adder(7)_xor(2)_in2(0) :- adder(7)_inC(0).
adder(7)_inC(0) :- adder(7)_xor(2)_in2(0).
adder(7)_xor(2)_in2(1) :- adder(7)_inC(1).
adder(7)_inC(1) :- adder(7)_xor(2)_in2(1).
adder(7)_and(2)_in1(0) :- adder(7)_inC(0).
adder(7)_inC(0) :- adder(7)_and(2)_in1(0).
adder(7)_and(2)_in1(1) :- adder(7)_inC(1).
adder(7)_inC(1) :- adder(7)_and(2)_in1(1).
adder(7)_xor(2)_in1(0) :- adder(7)_xor(1)_out(0).
adder(7)_xor(1)_out(0) :- adder(7)_xor(2)_in1(0).
adder(7)_xor(2)_in1(1) :- adder(7)_xor(1)_out(1).
adder(7)_xor(1)_out(1) :- adder(7)_xor(2)_in1(1).
adder(7)_and(2)_in2(0) :- adder(7)_xor(1)_out(0).
adder(7)_xor(1)_out(0) :- adder(7)_and(2)_in2(0).
adder(7)_and(2)_in2(1) :- adder(7)_xor(1)_out(1).
adder(7)_xor(1)_out(1) :- adder(7)_and(2)_in2(1).
adder(7)_or(1)_in1(0) :- adder(7)_and(1)_out(0).
adder(7)_and(1)_out(0) :- adder(7)_or(1)_in1(0).
adder(7)_or(1)_in1(1) :- adder(7)_and(1)_out(1).
adder(7)_and(1)_out(1) :- adder(7)_or(1)_in1(1).
adder(7)_or(1)_in2(0) :- adder(7)_and(2)_out(0).
adder(7)_and(2)_out(0) :- adder(7)_or(1)_in2(0).
adder(7)_or(1)_in2(1) :- adder(7)_and(2)_out(1).
adder(7)_and(2)_out(1) :- adder(7)_or(1)_in2(1).
adder(7)_outB(0) :- adder(7)_xor(2)_out(0).
adder(7)_xor(2)_out(0) :- adder(7)_outB(0).
adder(7)_outB(1) :- adder(7)_xor(2)_out(1).
adder(7)_xor(2)_out(1) :- adder(7)_outB(1).
adder(7)_outC(0) :- adder(7)_or(1)_out(0).
adder(7)_or(1)_out(0) :- adder(7)_outC(0).
adder(7)_outC(1) :- adder(7)_or(1)_out(1).
adder(7)_or(1)_out(1) :- adder(7)_outC(1).
adder(7)_s :- adder(7)_and(1)_ab.
adder(7)_s :- adder(7)_and(2)_ab.
adder(7)_s :- adder(7)_xor(1)_ab.
adder(7)_s :- adder(7)_xor(2)_ab.
adder(7)_s :- adder(7)_or(1)_ab.
adder(8)_and(1)_out(0) :- not adder(8)_and(1)_ab,adder(8)_and(1)_in1(0).
adder(8)_and(1)_out(0) :- not adder(8)_and(1)_ab,adder(8)_and(1)_in2(0).
adder(8)_and(1)_out(1) :- not adder(8)_and(1)_ab,adder(8)_and(1)_in1(1),adder(8)_and(1)_in2(1).
adder(8)_and(1)_in1(0) :- not adder(8)_and(1)_ab,adder(8)_and(1)_in2(1),adder(8)_and(1)_out(0).
adder(8)_and(1)_in1(1) :- not adder(8)_and(1)_ab,adder(8)_and(1)_out(1).
adder(8)_and(1)_in2(0) :- not adder(8)_and(1)_ab,adder(8)_and(1)_in1(1),adder(8)_and(1)_out(0).
adder(8)_and(1)_in2(1) :- not adder(8)_and(1)_ab,adder(8)_and(1)_out(1).
adder(8)_and(1)_ab :- adder(8)_and(1)_in1(0),adder(8)_and(1)_out(1).
adder(8)_and(1)_ab :- adder(8)_and(1)_in2(0),adder(8)_and(1)_out(1).
adder(8)_and(1)_ab :- adder(8)_and(1)_in1(1),adder(8)_and(1)_in2(1),adder(8)_and(1)_out(0).
adder(8)_and(1)_p :- not adder(8)_and(1)_ab,not adder(8)_and(1)_d,not adder(8)_and(1)_q,adder(8)_and(1)_out(0).
adder(8)_and(1)_q :- not adder(8)_and(1)_ab,not adder(8)_and(1)_d,not adder(8)_and(1)_p,adder(8)_and(1)_out(0).
adder(8)_and(1)_d :- not adder(8)_and(1)_ab,adder(8)_and(1)_out(0),adder(8)_and(1)_in1(1).
adder(8)_and(1)_d :- not adder(8)_and(1)_ab,adder(8)_and(1)_out(0),adder(8)_and(1)_in2(1).
adder(8)_and(1)_in1(0) :- adder(8)_and(1)_p.
adder(8)_and(1)_in2(0) :- adder(8)_and(1)_q.
adder(8)_and(2)_out(0) :- not adder(8)_and(2)_ab,adder(8)_and(2)_in1(0).
adder(8)_and(2)_out(0) :- not adder(8)_and(2)_ab,adder(8)_and(2)_in2(0).
adder(8)_and(2)_out(1) :- not adder(8)_and(2)_ab,adder(8)_and(2)_in1(1),adder(8)_and(2)_in2(1).
adder(8)_and(2)_in1(0) :- not adder(8)_and(2)_ab,adder(8)_and(2)_in2(1),adder(8)_and(2)_out(0).
adder(8)_and(2)_in1(1) :- not adder(8)_and(2)_ab,adder(8)_and(2)_out(1).
adder(8)_and(2)_in2(0) :- not adder(8)_and(2)_ab,adder(8)_and(2)_in1(1),adder(8)_and(2)_out(0).
adder(8)_and(2)_in2(1) :- not adder(8)_and(2)_ab,adder(8)_and(2)_out(1).
adder(8)_and(2)_ab :- adder(8)_and(2)_in1(0),adder(8)_and(2)_out(1).
adder(8)_and(2)_ab :- adder(8)_and(2)_in2(0),adder(8)_and(2)_out(1).
adder(8)_and(2)_ab :- adder(8)_and(2)_in1(1),adder(8)_and(2)_in2(1),adder(8)_and(2)_out(0).
adder(8)_and(2)_p :- not adder(8)_and(2)_ab,not adder(8)_and(2)_d,not adder(8)_and(2)_q,adder(8)_and(2)_out(0).
adder(8)_and(2)_q :- not adder(8)_and(2)_ab,not adder(8)_and(2)_d,not adder(8)_and(2)_p,adder(8)_and(2)_out(0).
adder(8)_and(2)_d :- not adder(8)_and(2)_ab,adder(8)_and(2)_out(0),adder(8)_and(2)_in1(1).
adder(8)_and(2)_d :- not adder(8)_and(2)_ab,adder(8)_and(2)_out(0),adder(8)_and(2)_in2(1).
adder(8)_and(2)_in1(0) :- adder(8)_and(2)_p.
adder(8)_and(2)_in2(0) :- adder(8)_and(2)_q.
adder(8)_xor(1)_out(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(0),adder(8)_xor(1)_in2(0).
adder(8)_xor(1)_out(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(1),adder(8)_xor(1)_in2(0).
adder(8)_xor(1)_out(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(0),adder(8)_xor(1)_in2(1).
adder(8)_xor(1)_out(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(1),adder(8)_xor(1)_in2(1).
adder(8)_xor(1)_in1(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in2(0),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_in1(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in2(0),adder(8)_xor(1)_out(1).
adder(8)_xor(1)_in1(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in2(1),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_in1(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in2(1),adder(8)_xor(1)_out(1).
adder(8)_xor(1)_in2(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(0),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_in2(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(0),adder(8)_xor(1)_out(1).
adder(8)_xor(1)_in2(1) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(1),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_in2(0) :- not adder(8)_xor(1)_ab,adder(8)_xor(1)_in1(1),adder(8)_xor(1)_out(1).
adder(8)_xor(1)_ab :- adder(8)_xor(1)_in1(0),adder(8)_xor(1)_in2(0),adder(8)_xor(1)_out(1).
adder(8)_xor(1)_ab :- adder(8)_xor(1)_in1(1),adder(8)_xor(1)_in2(0),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_ab :- adder(8)_xor(1)_in1(0),adder(8)_xor(1)_in2(1),adder(8)_xor(1)_out(0).
adder(8)_xor(1)_ab :- adder(8)_xor(1)_in1(1),adder(8)_xor(1)_in2(1),adder(8)_xor(1)_out(1).
adder(8)_xor(2)_out(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(0),adder(8)_xor(2)_in2(0).
adder(8)_xor(2)_out(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(1),adder(8)_xor(2)_in2(0).
adder(8)_xor(2)_out(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(0),adder(8)_xor(2)_in2(1).
adder(8)_xor(2)_out(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(1),adder(8)_xor(2)_in2(1).
adder(8)_xor(2)_in1(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in2(0),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_in1(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in2(0),adder(8)_xor(2)_out(1).
adder(8)_xor(2)_in1(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in2(1),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_in1(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in2(1),adder(8)_xor(2)_out(1).
adder(8)_xor(2)_in2(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(0),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_in2(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(0),adder(8)_xor(2)_out(1).
adder(8)_xor(2)_in2(1) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(1),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_in2(0) :- not adder(8)_xor(2)_ab,adder(8)_xor(2)_in1(1),adder(8)_xor(2)_out(1).
adder(8)_xor(2)_ab :- adder(8)_xor(2)_in1(0),adder(8)_xor(2)_in2(0),adder(8)_xor(2)_out(1).
adder(8)_xor(2)_ab :- adder(8)_xor(2)_in1(1),adder(8)_xor(2)_in2(0),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_ab :- adder(8)_xor(2)_in1(0),adder(8)_xor(2)_in2(1),adder(8)_xor(2)_out(0).
adder(8)_xor(2)_ab :- adder(8)_xor(2)_in1(1),adder(8)_xor(2)_in2(1),adder(8)_xor(2)_out(1).
adder(8)_or(1)_out(0) :- not adder(8)_or(1)_ab,adder(8)_or(1)_in1(0),adder(8)_or(1)_in2(0).
adder(8)_or(1)_out(1) :- not adder(8)_or(1)_ab,adder(8)_or(1)_in1(1).
adder(8)_or(1)_out(1) :- not adder(8)_or(1)_ab,adder(8)_or(1)_in2(1).
adder(8)_or(1)_in1(0) :- not adder(8)_or(1)_ab,adder(8)_or(1)_out(0).
adder(8)_or(1)_in1(1) :- not adder(8)_or(1)_ab,adder(8)_or(1)_in2(0),adder(8)_or(1)_out(1).
adder(8)_or(1)_in2(0) :- not adder(8)_or(1)_ab,adder(8)_or(1)_out(0).
adder(8)_or(1)_in2(1) :- not adder(8)_or(1)_ab,adder(8)_or(1)_in1(0),adder(8)_or(1)_out(1).
adder(8)_or(1)_ab :- adder(8)_or(1)_in1(0),adder(8)_or(1)_in2(0),adder(8)_or(1)_out(1).
adder(8)_or(1)_ab :- adder(8)_or(1)_in1(1),adder(8)_or(1)_out(0).
adder(8)_or(1)_ab :- adder(8)_or(1)_in2(1),adder(8)_or(1)_out(0).
adder(8)_or(1)_p :- not adder(8)_or(1)_ab,not adder(8)_or(1)_d,not adder(8)_or(1)_q,adder(8)_or(1)_out(1).
adder(8)_or(1)_q :- not adder(8)_or(1)_ab,not adder(8)_or(1)_d,not adder(8)_or(1)_p,adder(8)_or(1)_out(1).
adder(8)_or(1)_d :- not adder(8)_or(1)_ab,adder(8)_or(1)_out(1),adder(8)_or(1)_in1(0).
adder(8)_or(1)_d :- not adder(8)_or(1)_ab,adder(8)_or(1)_out(1),adder(8)_or(1)_in2(0).
adder(8)_or(1)_in1(1) :- adder(8)_or(1)_p.
adder(8)_or(1)_in2(1) :- adder(8)_or(1)_q.
adder(8)_and(1)_in1(0) :- adder(8)_in1(0).
adder(8)_in1(0) :- adder(8)_and(1)_in1(0).
adder(8)_and(1)_in1(1) :- adder(8)_in1(1).
adder(8)_in1(1) :- adder(8)_and(1)_in1(1).
adder(8)_xor(1)_in1(0) :- adder(8)_in1(0).
adder(8)_in1(0) :- adder(8)_xor(1)_in1(0).
adder(8)_xor(1)_in1(1) :- adder(8)_in1(1).
adder(8)_in1(1) :- adder(8)_xor(1)_in1(1).
adder(8)_and(1)_in2(0) :- adder(8)_in2(0).
adder(8)_in2(0) :- adder(8)_and(1)_in2(0).
adder(8)_and(1)_in2(1) :- adder(8)_in2(1).
adder(8)_in2(1) :- adder(8)_and(1)_in2(1).
adder(8)_xor(1)_in2(0) :- adder(8)_in2(0).
adder(8)_in2(0) :- adder(8)_xor(1)_in2(0).
adder(8)_xor(1)_in2(1) :- adder(8)_in2(1).
adder(8)_in2(1) :- adder(8)_xor(1)_in2(1).
adder(8)_xor(2)_in2(0) :- adder(8)_inC(0).
adder(8)_inC(0) :- adder(8)_xor(2)_in2(0).
adder(8)_xor(2)_in2(1) :- adder(8)_inC(1).
adder(8)_inC(1) :- adder(8)_xor(2)_in2(1).
adder(8)_and(2)_in1(0) :- adder(8)_inC(0).
adder(8)_inC(0) :- adder(8)_and(2)_in1(0).
adder(8)_and(2)_in1(1) :- adder(8)_inC(1).
adder(8)_inC(1) :- adder(8)_and(2)_in1(1).
adder(8)_xor(2)_in1(0) :- adder(8)_xor(1)_out(0).
adder(8)_xor(1)_out(0) :- adder(8)_xor(2)_in1(0).
adder(8)_xor(2)_in1(1) :- adder(8)_xor(1)_out(1).
adder(8)_xor(1)_out(1) :- adder(8)_xor(2)_in1(1).
adder(8)_and(2)_in2(0) :- adder(8)_xor(1)_out(0).
adder(8)_xor(1)_out(0) :- adder(8)_and(2)_in2(0).
adder(8)_and(2)_in2(1) :- adder(8)_xor(1)_out(1).
adder(8)_xor(1)_out(1) :- adder(8)_and(2)_in2(1).
adder(8)_or(1)_in1(0) :- adder(8)_and(1)_out(0).
adder(8)_and(1)_out(0) :- adder(8)_or(1)_in1(0).
adder(8)_or(1)_in1(1) :- adder(8)_and(1)_out(1).
adder(8)_and(1)_out(1) :- adder(8)_or(1)_in1(1).
adder(8)_or(1)_in2(0) :- adder(8)_and(2)_out(0).
adder(8)_and(2)_out(0) :- adder(8)_or(1)_in2(0).
adder(8)_or(1)_in2(1) :- adder(8)_and(2)_out(1).
adder(8)_and(2)_out(1) :- adder(8)_or(1)_in2(1).
adder(8)_outB(0) :- adder(8)_xor(2)_out(0).
adder(8)_xor(2)_out(0) :- adder(8)_outB(0).
adder(8)_outB(1) :- adder(8)_xor(2)_out(1).
adder(8)_xor(2)_out(1) :- adder(8)_outB(1).
adder(8)_outC(0) :- adder(8)_or(1)_out(0).
adder(8)_or(1)_out(0) :- adder(8)_outC(0).
adder(8)_outC(1) :- adder(8)_or(1)_out(1).
adder(8)_or(1)_out(1) :- adder(8)_outC(1).
adder(8)_s :- adder(8)_and(1)_ab.
adder(8)_s :- adder(8)_and(2)_ab.
adder(8)_s :- adder(8)_xor(1)_ab.
adder(8)_s :- adder(8)_xor(2)_ab.
adder(8)_s :- adder(8)_or(1)_ab.
adder(9)_and(1)_out(0) :- not adder(9)_and(1)_ab,adder(9)_and(1)_in1(0).
adder(9)_and(1)_out(0) :- not adder(9)_and(1)_ab,adder(9)_and(1)_in2(0).
adder(9)_and(1)_out(1) :- not adder(9)_and(1)_ab,adder(9)_and(1)_in1(1),adder(9)_and(1)_in2(1).
adder(9)_and(1)_in1(0) :- not adder(9)_and(1)_ab,adder(9)_and(1)_in2(1),adder(9)_and(1)_out(0).
adder(9)_and(1)_in1(1) :- not adder(9)_and(1)_ab,adder(9)_and(1)_out(1).
adder(9)_and(1)_in2(0) :- not adder(9)_and(1)_ab,adder(9)_and(1)_in1(1),adder(9)_and(1)_out(0).
adder(9)_and(1)_in2(1) :- not adder(9)_and(1)_ab,adder(9)_and(1)_out(1).
adder(9)_and(1)_ab :- adder(9)_and(1)_in1(0),adder(9)_and(1)_out(1).
adder(9)_and(1)_ab :- adder(9)_and(1)_in2(0),adder(9)_and(1)_out(1).
adder(9)_and(1)_ab :- adder(9)_and(1)_in1(1),adder(9)_and(1)_in2(1),adder(9)_and(1)_out(0).
adder(9)_and(1)_p :- not adder(9)_and(1)_ab,not adder(9)_and(1)_d,not adder(9)_and(1)_q,adder(9)_and(1)_out(0).
adder(9)_and(1)_q :- not adder(9)_and(1)_ab,not adder(9)_and(1)_d,not adder(9)_and(1)_p,adder(9)_and(1)_out(0).
adder(9)_and(1)_d :- not adder(9)_and(1)_ab,adder(9)_and(1)_out(0),adder(9)_and(1)_in1(1).
adder(9)_and(1)_d :- not adder(9)_and(1)_ab,adder(9)_and(1)_out(0),adder(9)_and(1)_in2(1).
adder(9)_and(1)_in1(0) :- adder(9)_and(1)_p.
adder(9)_and(1)_in2(0) :- adder(9)_and(1)_q.
adder(9)_and(2)_out(0) :- not adder(9)_and(2)_ab,adder(9)_and(2)_in1(0).
adder(9)_and(2)_out(0) :- not adder(9)_and(2)_ab,adder(9)_and(2)_in2(0).
adder(9)_and(2)_out(1) :- not adder(9)_and(2)_ab,adder(9)_and(2)_in1(1),adder(9)_and(2)_in2(1).
adder(9)_and(2)_in1(0) :- not adder(9)_and(2)_ab,adder(9)_and(2)_in2(1),adder(9)_and(2)_out(0).
adder(9)_and(2)_in1(1) :- not adder(9)_and(2)_ab,adder(9)_and(2)_out(1).
adder(9)_and(2)_in2(0) :- not adder(9)_and(2)_ab,adder(9)_and(2)_in1(1),adder(9)_and(2)_out(0).
adder(9)_and(2)_in2(1) :- not adder(9)_and(2)_ab,adder(9)_and(2)_out(1).
adder(9)_and(2)_ab :- adder(9)_and(2)_in1(0),adder(9)_and(2)_out(1).
adder(9)_and(2)_ab :- adder(9)_and(2)_in2(0),adder(9)_and(2)_out(1).
adder(9)_and(2)_ab :- adder(9)_and(2)_in1(1),adder(9)_and(2)_in2(1),adder(9)_and(2)_out(0).
adder(9)_and(2)_p :- not adder(9)_and(2)_ab,not adder(9)_and(2)_d,not adder(9)_and(2)_q,adder(9)_and(2)_out(0).
adder(9)_and(2)_q :- not adder(9)_and(2)_ab,not adder(9)_and(2)_d,not adder(9)_and(2)_p,adder(9)_and(2)_out(0).
adder(9)_and(2)_d :- not adder(9)_and(2)_ab,adder(9)_and(2)_out(0),adder(9)_and(2)_in1(1).
adder(9)_and(2)_d :- not adder(9)_and(2)_ab,adder(9)_and(2)_out(0),adder(9)_and(2)_in2(1).
adder(9)_and(2)_in1(0) :- adder(9)_and(2)_p.
adder(9)_and(2)_in2(0) :- adder(9)_and(2)_q.
adder(9)_xor(1)_out(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(0),adder(9)_xor(1)_in2(0).
adder(9)_xor(1)_out(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(1),adder(9)_xor(1)_in2(0).
adder(9)_xor(1)_out(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(0),adder(9)_xor(1)_in2(1).
adder(9)_xor(1)_out(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(1),adder(9)_xor(1)_in2(1).
adder(9)_xor(1)_in1(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in2(0),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_in1(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in2(0),adder(9)_xor(1)_out(1).
adder(9)_xor(1)_in1(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in2(1),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_in1(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in2(1),adder(9)_xor(1)_out(1).
adder(9)_xor(1)_in2(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(0),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_in2(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(0),adder(9)_xor(1)_out(1).
adder(9)_xor(1)_in2(1) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(1),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_in2(0) :- not adder(9)_xor(1)_ab,adder(9)_xor(1)_in1(1),adder(9)_xor(1)_out(1).
adder(9)_xor(1)_ab :- adder(9)_xor(1)_in1(0),adder(9)_xor(1)_in2(0),adder(9)_xor(1)_out(1).
adder(9)_xor(1)_ab :- adder(9)_xor(1)_in1(1),adder(9)_xor(1)_in2(0),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_ab :- adder(9)_xor(1)_in1(0),adder(9)_xor(1)_in2(1),adder(9)_xor(1)_out(0).
adder(9)_xor(1)_ab :- adder(9)_xor(1)_in1(1),adder(9)_xor(1)_in2(1),adder(9)_xor(1)_out(1).
adder(9)_xor(2)_out(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(0),adder(9)_xor(2)_in2(0).
adder(9)_xor(2)_out(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(1),adder(9)_xor(2)_in2(0).
adder(9)_xor(2)_out(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(0),adder(9)_xor(2)_in2(1).
adder(9)_xor(2)_out(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(1),adder(9)_xor(2)_in2(1).
adder(9)_xor(2)_in1(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in2(0),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_in1(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in2(0),adder(9)_xor(2)_out(1).
adder(9)_xor(2)_in1(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in2(1),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_in1(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in2(1),adder(9)_xor(2)_out(1).
adder(9)_xor(2)_in2(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(0),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_in2(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(0),adder(9)_xor(2)_out(1).
adder(9)_xor(2)_in2(1) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(1),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_in2(0) :- not adder(9)_xor(2)_ab,adder(9)_xor(2)_in1(1),adder(9)_xor(2)_out(1).
adder(9)_xor(2)_ab :- adder(9)_xor(2)_in1(0),adder(9)_xor(2)_in2(0),adder(9)_xor(2)_out(1).
adder(9)_xor(2)_ab :- adder(9)_xor(2)_in1(1),adder(9)_xor(2)_in2(0),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_ab :- adder(9)_xor(2)_in1(0),adder(9)_xor(2)_in2(1),adder(9)_xor(2)_out(0).
adder(9)_xor(2)_ab :- adder(9)_xor(2)_in1(1),adder(9)_xor(2)_in2(1),adder(9)_xor(2)_out(1).
adder(9)_or(1)_out(0) :- not adder(9)_or(1)_ab,adder(9)_or(1)_in1(0),adder(9)_or(1)_in2(0).
adder(9)_or(1)_out(1) :- not adder(9)_or(1)_ab,adder(9)_or(1)_in1(1).
adder(9)_or(1)_out(1) :- not adder(9)_or(1)_ab,adder(9)_or(1)_in2(1).
adder(9)_or(1)_in1(0) :- not adder(9)_or(1)_ab,adder(9)_or(1)_out(0).
adder(9)_or(1)_in1(1) :- not adder(9)_or(1)_ab,adder(9)_or(1)_in2(0),adder(9)_or(1)_out(1).
adder(9)_or(1)_in2(0) :- not adder(9)_or(1)_ab,adder(9)_or(1)_out(0).
adder(9)_or(1)_in2(1) :- not adder(9)_or(1)_ab,adder(9)_or(1)_in1(0),adder(9)_or(1)_out(1).
adder(9)_or(1)_ab :- adder(9)_or(1)_in1(0),adder(9)_or(1)_in2(0),adder(9)_or(1)_out(1).
adder(9)_or(1)_ab :- adder(9)_or(1)_in1(1),adder(9)_or(1)_out(0).
adder(9)_or(1)_ab :- adder(9)_or(1)_in2(1),adder(9)_or(1)_out(0).
adder(9)_or(1)_p :- not adder(9)_or(1)_ab,not adder(9)_or(1)_d,not adder(9)_or(1)_q,adder(9)_or(1)_out(1).
adder(9)_or(1)_q :- not adder(9)_or(1)_ab,not adder(9)_or(1)_d,not adder(9)_or(1)_p,adder(9)_or(1)_out(1).
adder(9)_or(1)_d :- not adder(9)_or(1)_ab,adder(9)_or(1)_out(1),adder(9)_or(1)_in1(0).
adder(9)_or(1)_d :- not adder(9)_or(1)_ab,adder(9)_or(1)_out(1),adder(9)_or(1)_in2(0).
adder(9)_or(1)_in1(1) :- adder(9)_or(1)_p.
adder(9)_or(1)_in2(1) :- adder(9)_or(1)_q.
adder(9)_and(1)_in1(0) :- adder(9)_in1(0).
adder(9)_in1(0) :- adder(9)_and(1)_in1(0).
adder(9)_and(1)_in1(1) :- adder(9)_in1(1).
adder(9)_in1(1) :- adder(9)_and(1)_in1(1).
adder(9)_xor(1)_in1(0) :- adder(9)_in1(0).
adder(9)_in1(0) :- adder(9)_xor(1)_in1(0).
adder(9)_xor(1)_in1(1) :- adder(9)_in1(1).
adder(9)_in1(1) :- adder(9)_xor(1)_in1(1).
adder(9)_and(1)_in2(0) :- adder(9)_in2(0).
adder(9)_in2(0) :- adder(9)_and(1)_in2(0).
adder(9)_and(1)_in2(1) :- adder(9)_in2(1).
adder(9)_in2(1) :- adder(9)_and(1)_in2(1).
adder(9)_xor(1)_in2(0) :- adder(9)_in2(0).
adder(9)_in2(0) :- adder(9)_xor(1)_in2(0).
adder(9)_xor(1)_in2(1) :- adder(9)_in2(1).
adder(9)_in2(1) :- adder(9)_xor(1)_in2(1).
adder(9)_xor(2)_in2(0) :- adder(9)_inC(0).
adder(9)_inC(0) :- adder(9)_xor(2)_in2(0).
adder(9)_xor(2)_in2(1) :- adder(9)_inC(1).
adder(9)_inC(1) :- adder(9)_xor(2)_in2(1).
adder(9)_and(2)_in1(0) :- adder(9)_inC(0).
adder(9)_inC(0) :- adder(9)_and(2)_in1(0).
adder(9)_and(2)_in1(1) :- adder(9)_inC(1).
adder(9)_inC(1) :- adder(9)_and(2)_in1(1).
adder(9)_xor(2)_in1(0) :- adder(9)_xor(1)_out(0).
adder(9)_xor(1)_out(0) :- adder(9)_xor(2)_in1(0).
adder(9)_xor(2)_in1(1) :- adder(9)_xor(1)_out(1).
adder(9)_xor(1)_out(1) :- adder(9)_xor(2)_in1(1).
adder(9)_and(2)_in2(0) :- adder(9)_xor(1)_out(0).
adder(9)_xor(1)_out(0) :- adder(9)_and(2)_in2(0).
adder(9)_and(2)_in2(1) :- adder(9)_xor(1)_out(1).
adder(9)_xor(1)_out(1) :- adder(9)_and(2)_in2(1).
adder(9)_or(1)_in1(0) :- adder(9)_and(1)_out(0).
adder(9)_and(1)_out(0) :- adder(9)_or(1)_in1(0).
adder(9)_or(1)_in1(1) :- adder(9)_and(1)_out(1).
adder(9)_and(1)_out(1) :- adder(9)_or(1)_in1(1).
adder(9)_or(1)_in2(0) :- adder(9)_and(2)_out(0).
adder(9)_and(2)_out(0) :- adder(9)_or(1)_in2(0).
adder(9)_or(1)_in2(1) :- adder(9)_and(2)_out(1).
adder(9)_and(2)_out(1) :- adder(9)_or(1)_in2(1).
adder(9)_outB(0) :- adder(9)_xor(2)_out(0).
adder(9)_xor(2)_out(0) :- adder(9)_outB(0).
adder(9)_outB(1) :- adder(9)_xor(2)_out(1).
adder(9)_xor(2)_out(1) :- adder(9)_outB(1).
adder(9)_outC(0) :- adder(9)_or(1)_out(0).
adder(9)_or(1)_out(0) :- adder(9)_outC(0).
adder(9)_outC(1) :- adder(9)_or(1)_out(1).
adder(9)_or(1)_out(1) :- adder(9)_outC(1).
adder(9)_s :- adder(9)_and(1)_ab.
adder(9)_s :- adder(9)_and(2)_ab.
adder(9)_s :- adder(9)_xor(1)_ab.
adder(9)_s :- adder(9)_xor(2)_ab.
adder(9)_s :- adder(9)_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(5)_outC(0) :- adder(6)_inC(0).
adder(6)_inC(0) :- adder(5)_outC(0).
adder(5)_outC(1) :- adder(6)_inC(1).
adder(6)_inC(1) :- adder(5)_outC(1).
adder(6)_outC(0) :- adder(7)_inC(0).
adder(7)_inC(0) :- adder(6)_outC(0).
adder(6)_outC(1) :- adder(7)_inC(1).
adder(7)_inC(1) :- adder(6)_outC(1).
adder(7)_outC(0) :- adder(8)_inC(0).
adder(8)_inC(0) :- adder(7)_outC(0).
adder(7)_outC(1) :- adder(8)_inC(1).
adder(8)_inC(1) :- adder(7)_outC(1).
adder(8)_outC(0) :- adder(9)_inC(0).
adder(9)_inC(0) :- adder(8)_outC(0).
adder(8)_outC(1) :- adder(9)_inC(1).
adder(9)_inC(1) :- adder(8)_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(6)_in1(0).
adder(6)_in2(0).
adder(7)_in1(0).
adder(7)_in2(0).
adder(8)_in1(0).
adder(8)_in2(0).
adder(9)_in1(0).
adder(9)_in2(0).
adder(1)_outB(0).
adder(2)_outB(0).
adder(3)_outB(0).
adder(4)_outB(0).
adder(5)_outB(0).
adder(6)_outB(0).
adder(7)_outB(0).
adder(8)_outB(0).
adder(9)_outB(1).
s :- adder(1)_s.
s :- adder(2)_s.
s :- adder(3)_s.
s :- adder(4)_s.
s :- adder(5)_s.
s :- adder(6)_s.
s :- adder(7)_s.
s :- adder(8)_s.
s :- adder(9)_s.
