parity(1)_n(1)_out(0) :- not parity(1)_n(1)_ab,parity(1)_n(1)_in(1).
parity(1)_n(1)_out(1) :- not parity(1)_n(1)_ab,parity(1)_n(1)_in(0).
parity(1)_n(1)_in(0) :- not parity(1)_n(1)_ab,parity(1)_n(1)_out(1).
parity(1)_n(1)_in(1) :- not parity(1)_n(1)_ab,parity(1)_n(1)_out(0).
parity(1)_n(1)_ab :- parity(1)_n(1)_in(0),parity(1)_n(1)_out(0).
parity(1)_n(1)_ab :- parity(1)_n(1)_in(1),parity(1)_n(1)_out(1).
parity(1)_n(2)_out(0) :- not parity(1)_n(2)_ab,parity(1)_n(2)_in(1).
parity(1)_n(2)_out(1) :- not parity(1)_n(2)_ab,parity(1)_n(2)_in(0).
parity(1)_n(2)_in(0) :- not parity(1)_n(2)_ab,parity(1)_n(2)_out(1).
parity(1)_n(2)_in(1) :- not parity(1)_n(2)_ab,parity(1)_n(2)_out(0).
parity(1)_n(2)_ab :- parity(1)_n(2)_in(0),parity(1)_n(2)_out(0).
parity(1)_n(2)_ab :- parity(1)_n(2)_in(1),parity(1)_n(2)_out(1).
parity(1)_n(3)_out(0) :- not parity(1)_n(3)_ab,parity(1)_n(3)_in(1).
parity(1)_n(3)_out(1) :- not parity(1)_n(3)_ab,parity(1)_n(3)_in(0).
parity(1)_n(3)_in(0) :- not parity(1)_n(3)_ab,parity(1)_n(3)_out(1).
parity(1)_n(3)_in(1) :- not parity(1)_n(3)_ab,parity(1)_n(3)_out(0).
parity(1)_n(3)_ab :- parity(1)_n(3)_in(0),parity(1)_n(3)_out(0).
parity(1)_n(3)_ab :- parity(1)_n(3)_in(1),parity(1)_n(3)_out(1).
parity(1)_and(1)_out(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in1(0).
parity(1)_and(1)_out(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in2(0).
parity(1)_and(1)_out(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in3(0).
parity(1)_and(1)_out(1) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in1(1),parity(1)_and(1)_in2(1),parity(1)_and(1)_in3(1).
parity(1)_and(1)_in1(1) :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(1).
parity(1)_and(1)_in2(1) :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(1).
parity(1)_and(1)_in3(1) :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(1).
parity(1)_and(1)_in1(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in2(1),parity(1)_and(1)_in3(1),parity(1)_and(1)_out(0).
parity(1)_and(1)_in2(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in1(1),parity(1)_and(1)_in3(1),parity(1)_and(1)_out(0).
parity(1)_and(1)_in3(0) :- not parity(1)_and(1)_ab,parity(1)_and(1)_in1(1),parity(1)_and(1)_in2(1),parity(1)_and(1)_out(0).
parity(1)_and(1)_ab :- parity(1)_and(1)_in1(0),parity(1)_and(1)_out(1).
parity(1)_and(1)_ab :- parity(1)_and(1)_in2(0),parity(1)_and(1)_out(1).
parity(1)_and(1)_ab :- parity(1)_and(1)_in3(0),parity(1)_and(1)_out(1).
parity(1)_and(1)_ab :- parity(1)_and(1)_in1(1),parity(1)_and(1)_in2(1),parity(1)_and(1)_in3(1),parity(1)_and(1)_out(0).
parity(1)_and(1)_p :- not parity(1)_and(1)_ab,not parity(1)_and(1)_d,not parity(1)_and(1)_r,not parity(1)_and(1)_q,parity(1)_and(1)_out(0).
parity(1)_and(1)_q :- not parity(1)_and(1)_ab,not parity(1)_and(1)_d,not parity(1)_and(1)_r,not parity(1)_and(1)_p,parity(1)_and(1)_out(0).
parity(1)_and(1)_r :- not parity(1)_and(1)_ab,not parity(1)_and(1)_d,not parity(1)_and(1)_q,not parity(1)_and(1)_p,parity(1)_and(1)_out(0).
parity(1)_and(1)_d :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(0),parity(1)_and(1)_in1(1),parity(1)_and(1)_in2(1).
parity(1)_and(1)_d :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(0),parity(1)_and(1)_in2(1),parity(1)_and(1)_in3(1).
parity(1)_and(1)_d :- not parity(1)_and(1)_ab,parity(1)_and(1)_out(0),parity(1)_and(1)_in3(1),parity(1)_and(1)_in1(1).
parity(1)_and(1)_in1(0) :- parity(1)_and(1)_p.
parity(1)_and(1)_in2(0) :- parity(1)_and(1)_q.
parity(1)_and(1)_in3(0) :- parity(1)_and(1)_r.
parity(1)_and(2)_out(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in1(0).
parity(1)_and(2)_out(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in2(0).
parity(1)_and(2)_out(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in3(0).
parity(1)_and(2)_out(1) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in1(1),parity(1)_and(2)_in2(1),parity(1)_and(2)_in3(1).
parity(1)_and(2)_in1(1) :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(1).
parity(1)_and(2)_in2(1) :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(1).
parity(1)_and(2)_in3(1) :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(1).
parity(1)_and(2)_in1(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in2(1),parity(1)_and(2)_in3(1),parity(1)_and(2)_out(0).
parity(1)_and(2)_in2(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in1(1),parity(1)_and(2)_in3(1),parity(1)_and(2)_out(0).
parity(1)_and(2)_in3(0) :- not parity(1)_and(2)_ab,parity(1)_and(2)_in1(1),parity(1)_and(2)_in2(1),parity(1)_and(2)_out(0).
parity(1)_and(2)_ab :- parity(1)_and(2)_in1(0),parity(1)_and(2)_out(1).
parity(1)_and(2)_ab :- parity(1)_and(2)_in2(0),parity(1)_and(2)_out(1).
parity(1)_and(2)_ab :- parity(1)_and(2)_in3(0),parity(1)_and(2)_out(1).
parity(1)_and(2)_ab :- parity(1)_and(2)_in1(1),parity(1)_and(2)_in2(1),parity(1)_and(2)_in3(1),parity(1)_and(2)_out(0).
parity(1)_and(2)_p :- not parity(1)_and(2)_ab,not parity(1)_and(2)_d,not parity(1)_and(2)_r,not parity(1)_and(2)_q,parity(1)_and(2)_out(0).
parity(1)_and(2)_q :- not parity(1)_and(2)_ab,not parity(1)_and(2)_d,not parity(1)_and(2)_r,not parity(1)_and(2)_p,parity(1)_and(2)_out(0).
parity(1)_and(2)_r :- not parity(1)_and(2)_ab,not parity(1)_and(2)_d,not parity(1)_and(2)_q,not parity(1)_and(2)_p,parity(1)_and(2)_out(0).
parity(1)_and(2)_d :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(0),parity(1)_and(2)_in1(1),parity(1)_and(2)_in2(1).
parity(1)_and(2)_d :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(0),parity(1)_and(2)_in2(1),parity(1)_and(2)_in3(1).
parity(1)_and(2)_d :- not parity(1)_and(2)_ab,parity(1)_and(2)_out(0),parity(1)_and(2)_in3(1),parity(1)_and(2)_in1(1).
parity(1)_and(2)_in1(0) :- parity(1)_and(2)_p.
parity(1)_and(2)_in2(0) :- parity(1)_and(2)_q.
parity(1)_and(2)_in3(0) :- parity(1)_and(2)_r.
parity(1)_and(3)_out(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in1(0).
parity(1)_and(3)_out(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in2(0).
parity(1)_and(3)_out(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in3(0).
parity(1)_and(3)_out(1) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in1(1),parity(1)_and(3)_in2(1),parity(1)_and(3)_in3(1).
parity(1)_and(3)_in1(1) :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(1).
parity(1)_and(3)_in2(1) :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(1).
parity(1)_and(3)_in3(1) :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(1).
parity(1)_and(3)_in1(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in2(1),parity(1)_and(3)_in3(1),parity(1)_and(3)_out(0).
parity(1)_and(3)_in2(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in1(1),parity(1)_and(3)_in3(1),parity(1)_and(3)_out(0).
parity(1)_and(3)_in3(0) :- not parity(1)_and(3)_ab,parity(1)_and(3)_in1(1),parity(1)_and(3)_in2(1),parity(1)_and(3)_out(0).
parity(1)_and(3)_ab :- parity(1)_and(3)_in1(0),parity(1)_and(3)_out(1).
parity(1)_and(3)_ab :- parity(1)_and(3)_in2(0),parity(1)_and(3)_out(1).
parity(1)_and(3)_ab :- parity(1)_and(3)_in3(0),parity(1)_and(3)_out(1).
parity(1)_and(3)_ab :- parity(1)_and(3)_in1(1),parity(1)_and(3)_in2(1),parity(1)_and(3)_in3(1),parity(1)_and(3)_out(0).
parity(1)_and(3)_p :- not parity(1)_and(3)_ab,not parity(1)_and(3)_d,not parity(1)_and(3)_r,not parity(1)_and(3)_q,parity(1)_and(3)_out(0).
parity(1)_and(3)_q :- not parity(1)_and(3)_ab,not parity(1)_and(3)_d,not parity(1)_and(3)_r,not parity(1)_and(3)_p,parity(1)_and(3)_out(0).
parity(1)_and(3)_r :- not parity(1)_and(3)_ab,not parity(1)_and(3)_d,not parity(1)_and(3)_q,not parity(1)_and(3)_p,parity(1)_and(3)_out(0).
parity(1)_and(3)_d :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(0),parity(1)_and(3)_in1(1),parity(1)_and(3)_in2(1).
parity(1)_and(3)_d :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(0),parity(1)_and(3)_in2(1),parity(1)_and(3)_in3(1).
parity(1)_and(3)_d :- not parity(1)_and(3)_ab,parity(1)_and(3)_out(0),parity(1)_and(3)_in3(1),parity(1)_and(3)_in1(1).
parity(1)_and(3)_in1(0) :- parity(1)_and(3)_p.
parity(1)_and(3)_in2(0) :- parity(1)_and(3)_q.
parity(1)_and(3)_in3(0) :- parity(1)_and(3)_r.
parity(1)_and(4)_out(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in1(0).
parity(1)_and(4)_out(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in2(0).
parity(1)_and(4)_out(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in3(0).
parity(1)_and(4)_out(1) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in1(1),parity(1)_and(4)_in2(1),parity(1)_and(4)_in3(1).
parity(1)_and(4)_in1(1) :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(1).
parity(1)_and(4)_in2(1) :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(1).
parity(1)_and(4)_in3(1) :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(1).
parity(1)_and(4)_in1(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in2(1),parity(1)_and(4)_in3(1),parity(1)_and(4)_out(0).
parity(1)_and(4)_in2(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in1(1),parity(1)_and(4)_in3(1),parity(1)_and(4)_out(0).
parity(1)_and(4)_in3(0) :- not parity(1)_and(4)_ab,parity(1)_and(4)_in1(1),parity(1)_and(4)_in2(1),parity(1)_and(4)_out(0).
parity(1)_and(4)_ab :- parity(1)_and(4)_in1(0),parity(1)_and(4)_out(1).
parity(1)_and(4)_ab :- parity(1)_and(4)_in2(0),parity(1)_and(4)_out(1).
parity(1)_and(4)_ab :- parity(1)_and(4)_in3(0),parity(1)_and(4)_out(1).
parity(1)_and(4)_ab :- parity(1)_and(4)_in1(1),parity(1)_and(4)_in2(1),parity(1)_and(4)_in3(1),parity(1)_and(4)_out(0).
parity(1)_and(4)_p :- not parity(1)_and(4)_ab,not parity(1)_and(4)_d,not parity(1)_and(4)_r,not parity(1)_and(4)_q,parity(1)_and(4)_out(0).
parity(1)_and(4)_q :- not parity(1)_and(4)_ab,not parity(1)_and(4)_d,not parity(1)_and(4)_r,not parity(1)_and(4)_p,parity(1)_and(4)_out(0).
parity(1)_and(4)_r :- not parity(1)_and(4)_ab,not parity(1)_and(4)_d,not parity(1)_and(4)_q,not parity(1)_and(4)_p,parity(1)_and(4)_out(0).
parity(1)_and(4)_d :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(0),parity(1)_and(4)_in1(1),parity(1)_and(4)_in2(1).
parity(1)_and(4)_d :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(0),parity(1)_and(4)_in2(1),parity(1)_and(4)_in3(1).
parity(1)_and(4)_d :- not parity(1)_and(4)_ab,parity(1)_and(4)_out(0),parity(1)_and(4)_in3(1),parity(1)_and(4)_in1(1).
parity(1)_and(4)_in1(0) :- parity(1)_and(4)_p.
parity(1)_and(4)_in2(0) :- parity(1)_and(4)_q.
parity(1)_and(4)_in3(0) :- parity(1)_and(4)_r.
parity(1)_nor_out(1) :- not parity(1)_nor_ab,parity(1)_nor_in1(0),parity(1)_nor_in2(0),parity(1)_nor_in3(0),parity(1)_nor_in4(0).
parity(1)_nor_out(0) :- not parity(1)_nor_ab,parity(1)_nor_in1(1).
parity(1)_nor_out(0) :- not parity(1)_nor_ab,parity(1)_nor_in2(1).
parity(1)_nor_out(0) :- not parity(1)_nor_ab,parity(1)_nor_in3(1).
parity(1)_nor_out(0) :- not parity(1)_nor_ab,parity(1)_nor_in4(1).
parity(1)_nor_in1(0) :- not parity(1)_nor_ab,parity(1)_nor_out(1).
parity(1)_nor_in2(0) :- not parity(1)_nor_ab,parity(1)_nor_out(1).
parity(1)_nor_in3(0) :- not parity(1)_nor_ab,parity(1)_nor_out(1).
parity(1)_nor_in4(0) :- not parity(1)_nor_ab,parity(1)_nor_out(1).
parity(1)_nor_in1(1) :- not parity(1)_nor_ab,parity(1)_nor_in2(0),parity(1)_nor_in3(0),parity(1)_nor_in4(0),parity(1)_nor_out(0).
parity(1)_nor_in2(1) :- not parity(1)_nor_ab,parity(1)_nor_in1(0),parity(1)_nor_in3(0),parity(1)_nor_in4(0),parity(1)_nor_out(0).
parity(1)_nor_in3(1) :- not parity(1)_nor_ab,parity(1)_nor_in2(0),parity(1)_nor_in1(0),parity(1)_nor_in4(0),parity(1)_nor_out(0).
parity(1)_nor_in4(1) :- not parity(1)_nor_ab,parity(1)_nor_in2(0),parity(1)_nor_in3(0),parity(1)_nor_in1(0),parity(1)_nor_out(0).
parity(1)_nor_ab :- parity(1)_nor_in1(0),parity(1)_nor_in2(0),parity(1)_nor_in3(0),parity(1)_nor_in4(0),parity(1)_nor_out(0).
parity(1)_nor_ab :- parity(1)_nor_in1(1),parity(1)_nor_out(1).
parity(1)_nor_ab :- parity(1)_nor_in2(1),parity(1)_nor_out(1).
parity(1)_nor_ab :- parity(1)_nor_in3(1),parity(1)_nor_out(1).
parity(1)_nor_ab :- parity(1)_nor_in4(1),parity(1)_nor_out(1).
parity(1)_nor_p :- not parity(1)_nor_ab,not parity(1)_nor_d,not parity(1)_nor_s,not parity(1)_nor_r,not parity(1)_nor_q,parity(1)_nor_out(0).
parity(1)_nor_q :- not parity(1)_nor_ab,not parity(1)_nor_d,not parity(1)_nor_s,not parity(1)_nor_r,not parity(1)_nor_p,parity(1)_nor_out(0).
parity(1)_nor_r :- not parity(1)_nor_ab,not parity(1)_nor_d,not parity(1)_nor_s,not parity(1)_nor_q,not parity(1)_nor_p,parity(1)_nor_out(0).
parity(1)_nor_s :- not parity(1)_nor_ab,not parity(1)_nor_d,not parity(1)_nor_r,not parity(1)_nor_q,not parity(1)_nor_p,parity(1)_nor_out(0).
parity(1)_nor_d :- not parity(1)_nor_ab,parity(1)_nor_out(0),parity(1)_nor_in1(0),parity(1)_nor_in2(0),parity(1)_nor_in3(0).
parity(1)_nor_d :- not parity(1)_nor_ab,parity(1)_nor_out(0),parity(1)_nor_in2(1),parity(1)_nor_in3(0),parity(1)_nor_in4(0).
parity(1)_nor_d :- not parity(1)_nor_ab,parity(1)_nor_out(0),parity(1)_nor_in3(1),parity(1)_nor_in4(0),parity(1)_nor_in1(0).
parity(1)_nor_d :- not parity(1)_nor_ab,parity(1)_nor_out(0),parity(1)_nor_in4(1),parity(1)_nor_in1(0),parity(1)_nor_in2(0).
parity(1)_nor_in1(1) :- parity(1)_nor_p.
parity(1)_nor_in2(1) :- parity(1)_nor_q.
parity(1)_nor_in3(1) :- parity(1)_nor_r.
parity(1)_nor_in4(1) :- parity(1)_nor_s.
parity(1)_in1(0) :- parity(1)_n(1)_in(0).
parity(1)_n(1)_in(0) :- parity(1)_in1(0).
parity(1)_in1(1) :- parity(1)_n(1)_in(1).
parity(1)_n(1)_in(1) :- parity(1)_in1(1).
parity(1)_in2(0) :- parity(1)_n(2)_in(0).
parity(1)_n(2)_in(0) :- parity(1)_in2(0).
parity(1)_in2(1) :- parity(1)_n(2)_in(1).
parity(1)_n(2)_in(1) :- parity(1)_in2(1).
parity(1)_in3(0) :- parity(1)_n(3)_in(0).
parity(1)_n(3)_in(0) :- parity(1)_in3(0).
parity(1)_in3(1) :- parity(1)_n(3)_in(1).
parity(1)_n(3)_in(1) :- parity(1)_in3(1).
parity(1)_in1(0) :- parity(1)_and(2)_in1(0).
parity(1)_and(2)_in1(0) :- parity(1)_in1(0).
parity(1)_in1(1) :- parity(1)_and(2)_in1(1).
parity(1)_and(2)_in1(1) :- parity(1)_in1(1).
parity(1)_in1(0) :- parity(1)_and(3)_in2(0).
parity(1)_and(3)_in2(0) :- parity(1)_in1(0).
parity(1)_in1(1) :- parity(1)_and(3)_in2(1).
parity(1)_and(3)_in2(1) :- parity(1)_in1(1).
parity(1)_in2(0) :- parity(1)_and(1)_in1(0).
parity(1)_and(1)_in1(0) :- parity(1)_in2(0).
parity(1)_in2(1) :- parity(1)_and(1)_in1(1).
parity(1)_and(1)_in1(1) :- parity(1)_in2(1).
parity(1)_in2(0) :- parity(1)_and(3)_in1(0).
parity(1)_and(3)_in1(0) :- parity(1)_in2(0).
parity(1)_in2(1) :- parity(1)_and(3)_in1(1).
parity(1)_and(3)_in1(1) :- parity(1)_in2(1).
parity(1)_in3(0) :- parity(1)_and(1)_in2(0).
parity(1)_and(1)_in2(0) :- parity(1)_in3(0).
parity(1)_in3(1) :- parity(1)_and(1)_in2(1).
parity(1)_and(1)_in2(1) :- parity(1)_in3(1).
parity(1)_in3(0) :- parity(1)_and(2)_in2(0).
parity(1)_and(2)_in2(0) :- parity(1)_in3(0).
parity(1)_in3(1) :- parity(1)_and(2)_in2(1).
parity(1)_and(2)_in2(1) :- parity(1)_in3(1).
parity(1)_n(1)_out(0) :- parity(1)_and(1)_in3(0).
parity(1)_and(1)_in3(0) :- parity(1)_n(1)_out(0).
parity(1)_n(1)_out(1) :- parity(1)_and(1)_in3(1).
parity(1)_and(1)_in3(1) :- parity(1)_n(1)_out(1).
parity(1)_n(1)_out(0) :- parity(1)_and(4)_in3(0).
parity(1)_and(4)_in3(0) :- parity(1)_n(1)_out(0).
parity(1)_n(1)_out(1) :- parity(1)_and(4)_in3(1).
parity(1)_and(4)_in3(1) :- parity(1)_n(1)_out(1).
parity(1)_n(2)_out(0) :- parity(1)_and(2)_in3(0).
parity(1)_and(2)_in3(0) :- parity(1)_n(2)_out(0).
parity(1)_n(2)_out(1) :- parity(1)_and(2)_in3(1).
parity(1)_and(2)_in3(1) :- parity(1)_n(2)_out(1).
parity(1)_n(2)_out(0) :- parity(1)_and(4)_in2(0).
parity(1)_and(4)_in2(0) :- parity(1)_n(2)_out(0).
parity(1)_n(2)_out(1) :- parity(1)_and(4)_in2(1).
parity(1)_and(4)_in2(1) :- parity(1)_n(2)_out(1).
parity(1)_n(3)_out(0) :- parity(1)_and(3)_in3(0).
parity(1)_and(3)_in3(0) :- parity(1)_n(3)_out(0).
parity(1)_n(3)_out(1) :- parity(1)_and(3)_in3(1).
parity(1)_and(3)_in3(1) :- parity(1)_n(3)_out(1).
parity(1)_n(3)_out(0) :- parity(1)_and(4)_in1(0).
parity(1)_and(4)_in1(0) :- parity(1)_n(3)_out(0).
parity(1)_n(3)_out(1) :- parity(1)_and(4)_in1(1).
parity(1)_and(4)_in1(1) :- parity(1)_n(3)_out(1).
parity(1)_and(1)_out(0) :- parity(1)_nor_in1(0).
parity(1)_nor_in1(0) :- parity(1)_and(1)_out(0).
parity(1)_and(1)_out(1) :- parity(1)_nor_in1(1).
parity(1)_nor_in1(1) :- parity(1)_and(1)_out(1).
parity(1)_and(2)_out(0) :- parity(1)_nor_in2(0).
parity(1)_nor_in2(0) :- parity(1)_and(2)_out(0).
parity(1)_and(2)_out(1) :- parity(1)_nor_in2(1).
parity(1)_nor_in2(1) :- parity(1)_and(2)_out(1).
parity(1)_and(3)_out(0) :- parity(1)_nor_in3(0).
parity(1)_nor_in3(0) :- parity(1)_and(3)_out(0).
parity(1)_and(3)_out(1) :- parity(1)_nor_in3(1).
parity(1)_nor_in3(1) :- parity(1)_and(3)_out(1).
parity(1)_and(4)_out(0) :- parity(1)_nor_in4(0).
parity(1)_nor_in4(0) :- parity(1)_and(4)_out(0).
parity(1)_and(4)_out(1) :- parity(1)_nor_in4(1).
parity(1)_nor_in4(1) :- parity(1)_and(4)_out(1).
parity(1)_out(0) :- parity(1)_nor_out(0).
parity(1)_nor_out(0) :- parity(1)_out(0).
parity(1)_out(1) :- parity(1)_nor_out(1).
parity(1)_nor_out(1) :- parity(1)_out(1).
parity(1)_s :- parity(1)_n(1)_ab.
parity(1)_s :- parity(1)_n(2)_ab.
parity(1)_s :- parity(1)_n(3)_ab.
parity(1)_s :- parity(1)_and(1)_ab.
parity(1)_s :- parity(1)_and(2)_ab.
parity(1)_s :- parity(1)_and(3)_ab.
parity(1)_s :- parity(1)_and(4)_ab.
parity(1)_s :- parity(1)_nor_ab.
parity(2)_n(1)_out(0) :- not parity(2)_n(1)_ab,parity(2)_n(1)_in(1).
parity(2)_n(1)_out(1) :- not parity(2)_n(1)_ab,parity(2)_n(1)_in(0).
parity(2)_n(1)_in(0) :- not parity(2)_n(1)_ab,parity(2)_n(1)_out(1).
parity(2)_n(1)_in(1) :- not parity(2)_n(1)_ab,parity(2)_n(1)_out(0).
parity(2)_n(1)_ab :- parity(2)_n(1)_in(0),parity(2)_n(1)_out(0).
parity(2)_n(1)_ab :- parity(2)_n(1)_in(1),parity(2)_n(1)_out(1).
parity(2)_n(2)_out(0) :- not parity(2)_n(2)_ab,parity(2)_n(2)_in(1).
parity(2)_n(2)_out(1) :- not parity(2)_n(2)_ab,parity(2)_n(2)_in(0).
parity(2)_n(2)_in(0) :- not parity(2)_n(2)_ab,parity(2)_n(2)_out(1).
parity(2)_n(2)_in(1) :- not parity(2)_n(2)_ab,parity(2)_n(2)_out(0).
parity(2)_n(2)_ab :- parity(2)_n(2)_in(0),parity(2)_n(2)_out(0).
parity(2)_n(2)_ab :- parity(2)_n(2)_in(1),parity(2)_n(2)_out(1).
parity(2)_n(3)_out(0) :- not parity(2)_n(3)_ab,parity(2)_n(3)_in(1).
parity(2)_n(3)_out(1) :- not parity(2)_n(3)_ab,parity(2)_n(3)_in(0).
parity(2)_n(3)_in(0) :- not parity(2)_n(3)_ab,parity(2)_n(3)_out(1).
parity(2)_n(3)_in(1) :- not parity(2)_n(3)_ab,parity(2)_n(3)_out(0).
parity(2)_n(3)_ab :- parity(2)_n(3)_in(0),parity(2)_n(3)_out(0).
parity(2)_n(3)_ab :- parity(2)_n(3)_in(1),parity(2)_n(3)_out(1).
parity(2)_and(1)_out(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in1(0).
parity(2)_and(1)_out(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in2(0).
parity(2)_and(1)_out(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in3(0).
parity(2)_and(1)_out(1) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in1(1),parity(2)_and(1)_in2(1),parity(2)_and(1)_in3(1).
parity(2)_and(1)_in1(1) :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(1).
parity(2)_and(1)_in2(1) :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(1).
parity(2)_and(1)_in3(1) :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(1).
parity(2)_and(1)_in1(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in2(1),parity(2)_and(1)_in3(1),parity(2)_and(1)_out(0).
parity(2)_and(1)_in2(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in1(1),parity(2)_and(1)_in3(1),parity(2)_and(1)_out(0).
parity(2)_and(1)_in3(0) :- not parity(2)_and(1)_ab,parity(2)_and(1)_in1(1),parity(2)_and(1)_in2(1),parity(2)_and(1)_out(0).
parity(2)_and(1)_ab :- parity(2)_and(1)_in1(0),parity(2)_and(1)_out(1).
parity(2)_and(1)_ab :- parity(2)_and(1)_in2(0),parity(2)_and(1)_out(1).
parity(2)_and(1)_ab :- parity(2)_and(1)_in3(0),parity(2)_and(1)_out(1).
parity(2)_and(1)_ab :- parity(2)_and(1)_in1(1),parity(2)_and(1)_in2(1),parity(2)_and(1)_in3(1),parity(2)_and(1)_out(0).
parity(2)_and(1)_p :- not parity(2)_and(1)_ab,not parity(2)_and(1)_d,not parity(2)_and(1)_r,not parity(2)_and(1)_q,parity(2)_and(1)_out(0).
parity(2)_and(1)_q :- not parity(2)_and(1)_ab,not parity(2)_and(1)_d,not parity(2)_and(1)_r,not parity(2)_and(1)_p,parity(2)_and(1)_out(0).
parity(2)_and(1)_r :- not parity(2)_and(1)_ab,not parity(2)_and(1)_d,not parity(2)_and(1)_q,not parity(2)_and(1)_p,parity(2)_and(1)_out(0).
parity(2)_and(1)_d :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(0),parity(2)_and(1)_in1(1),parity(2)_and(1)_in2(1).
parity(2)_and(1)_d :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(0),parity(2)_and(1)_in2(1),parity(2)_and(1)_in3(1).
parity(2)_and(1)_d :- not parity(2)_and(1)_ab,parity(2)_and(1)_out(0),parity(2)_and(1)_in3(1),parity(2)_and(1)_in1(1).
parity(2)_and(1)_in1(0) :- parity(2)_and(1)_p.
parity(2)_and(1)_in2(0) :- parity(2)_and(1)_q.
parity(2)_and(1)_in3(0) :- parity(2)_and(1)_r.
parity(2)_and(2)_out(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in1(0).
parity(2)_and(2)_out(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in2(0).
parity(2)_and(2)_out(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in3(0).
parity(2)_and(2)_out(1) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in1(1),parity(2)_and(2)_in2(1),parity(2)_and(2)_in3(1).
parity(2)_and(2)_in1(1) :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(1).
parity(2)_and(2)_in2(1) :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(1).
parity(2)_and(2)_in3(1) :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(1).
parity(2)_and(2)_in1(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in2(1),parity(2)_and(2)_in3(1),parity(2)_and(2)_out(0).
parity(2)_and(2)_in2(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in1(1),parity(2)_and(2)_in3(1),parity(2)_and(2)_out(0).
parity(2)_and(2)_in3(0) :- not parity(2)_and(2)_ab,parity(2)_and(2)_in1(1),parity(2)_and(2)_in2(1),parity(2)_and(2)_out(0).
parity(2)_and(2)_ab :- parity(2)_and(2)_in1(0),parity(2)_and(2)_out(1).
parity(2)_and(2)_ab :- parity(2)_and(2)_in2(0),parity(2)_and(2)_out(1).
parity(2)_and(2)_ab :- parity(2)_and(2)_in3(0),parity(2)_and(2)_out(1).
parity(2)_and(2)_ab :- parity(2)_and(2)_in1(1),parity(2)_and(2)_in2(1),parity(2)_and(2)_in3(1),parity(2)_and(2)_out(0).
parity(2)_and(2)_p :- not parity(2)_and(2)_ab,not parity(2)_and(2)_d,not parity(2)_and(2)_r,not parity(2)_and(2)_q,parity(2)_and(2)_out(0).
parity(2)_and(2)_q :- not parity(2)_and(2)_ab,not parity(2)_and(2)_d,not parity(2)_and(2)_r,not parity(2)_and(2)_p,parity(2)_and(2)_out(0).
parity(2)_and(2)_r :- not parity(2)_and(2)_ab,not parity(2)_and(2)_d,not parity(2)_and(2)_q,not parity(2)_and(2)_p,parity(2)_and(2)_out(0).
parity(2)_and(2)_d :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(0),parity(2)_and(2)_in1(1),parity(2)_and(2)_in2(1).
parity(2)_and(2)_d :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(0),parity(2)_and(2)_in2(1),parity(2)_and(2)_in3(1).
parity(2)_and(2)_d :- not parity(2)_and(2)_ab,parity(2)_and(2)_out(0),parity(2)_and(2)_in3(1),parity(2)_and(2)_in1(1).
parity(2)_and(2)_in1(0) :- parity(2)_and(2)_p.
parity(2)_and(2)_in2(0) :- parity(2)_and(2)_q.
parity(2)_and(2)_in3(0) :- parity(2)_and(2)_r.
parity(2)_and(3)_out(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in1(0).
parity(2)_and(3)_out(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in2(0).
parity(2)_and(3)_out(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in3(0).
parity(2)_and(3)_out(1) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in1(1),parity(2)_and(3)_in2(1),parity(2)_and(3)_in3(1).
parity(2)_and(3)_in1(1) :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(1).
parity(2)_and(3)_in2(1) :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(1).
parity(2)_and(3)_in3(1) :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(1).
parity(2)_and(3)_in1(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in2(1),parity(2)_and(3)_in3(1),parity(2)_and(3)_out(0).
parity(2)_and(3)_in2(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in1(1),parity(2)_and(3)_in3(1),parity(2)_and(3)_out(0).
parity(2)_and(3)_in3(0) :- not parity(2)_and(3)_ab,parity(2)_and(3)_in1(1),parity(2)_and(3)_in2(1),parity(2)_and(3)_out(0).
parity(2)_and(3)_ab :- parity(2)_and(3)_in1(0),parity(2)_and(3)_out(1).
parity(2)_and(3)_ab :- parity(2)_and(3)_in2(0),parity(2)_and(3)_out(1).
parity(2)_and(3)_ab :- parity(2)_and(3)_in3(0),parity(2)_and(3)_out(1).
parity(2)_and(3)_ab :- parity(2)_and(3)_in1(1),parity(2)_and(3)_in2(1),parity(2)_and(3)_in3(1),parity(2)_and(3)_out(0).
parity(2)_and(3)_p :- not parity(2)_and(3)_ab,not parity(2)_and(3)_d,not parity(2)_and(3)_r,not parity(2)_and(3)_q,parity(2)_and(3)_out(0).
parity(2)_and(3)_q :- not parity(2)_and(3)_ab,not parity(2)_and(3)_d,not parity(2)_and(3)_r,not parity(2)_and(3)_p,parity(2)_and(3)_out(0).
parity(2)_and(3)_r :- not parity(2)_and(3)_ab,not parity(2)_and(3)_d,not parity(2)_and(3)_q,not parity(2)_and(3)_p,parity(2)_and(3)_out(0).
parity(2)_and(3)_d :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(0),parity(2)_and(3)_in1(1),parity(2)_and(3)_in2(1).
parity(2)_and(3)_d :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(0),parity(2)_and(3)_in2(1),parity(2)_and(3)_in3(1).
parity(2)_and(3)_d :- not parity(2)_and(3)_ab,parity(2)_and(3)_out(0),parity(2)_and(3)_in3(1),parity(2)_and(3)_in1(1).
parity(2)_and(3)_in1(0) :- parity(2)_and(3)_p.
parity(2)_and(3)_in2(0) :- parity(2)_and(3)_q.
parity(2)_and(3)_in3(0) :- parity(2)_and(3)_r.
parity(2)_and(4)_out(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in1(0).
parity(2)_and(4)_out(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in2(0).
parity(2)_and(4)_out(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in3(0).
parity(2)_and(4)_out(1) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in1(1),parity(2)_and(4)_in2(1),parity(2)_and(4)_in3(1).
parity(2)_and(4)_in1(1) :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(1).
parity(2)_and(4)_in2(1) :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(1).
parity(2)_and(4)_in3(1) :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(1).
parity(2)_and(4)_in1(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in2(1),parity(2)_and(4)_in3(1),parity(2)_and(4)_out(0).
parity(2)_and(4)_in2(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in1(1),parity(2)_and(4)_in3(1),parity(2)_and(4)_out(0).
parity(2)_and(4)_in3(0) :- not parity(2)_and(4)_ab,parity(2)_and(4)_in1(1),parity(2)_and(4)_in2(1),parity(2)_and(4)_out(0).
parity(2)_and(4)_ab :- parity(2)_and(4)_in1(0),parity(2)_and(4)_out(1).
parity(2)_and(4)_ab :- parity(2)_and(4)_in2(0),parity(2)_and(4)_out(1).
parity(2)_and(4)_ab :- parity(2)_and(4)_in3(0),parity(2)_and(4)_out(1).
parity(2)_and(4)_ab :- parity(2)_and(4)_in1(1),parity(2)_and(4)_in2(1),parity(2)_and(4)_in3(1),parity(2)_and(4)_out(0).
parity(2)_and(4)_p :- not parity(2)_and(4)_ab,not parity(2)_and(4)_d,not parity(2)_and(4)_r,not parity(2)_and(4)_q,parity(2)_and(4)_out(0).
parity(2)_and(4)_q :- not parity(2)_and(4)_ab,not parity(2)_and(4)_d,not parity(2)_and(4)_r,not parity(2)_and(4)_p,parity(2)_and(4)_out(0).
parity(2)_and(4)_r :- not parity(2)_and(4)_ab,not parity(2)_and(4)_d,not parity(2)_and(4)_q,not parity(2)_and(4)_p,parity(2)_and(4)_out(0).
parity(2)_and(4)_d :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(0),parity(2)_and(4)_in1(1),parity(2)_and(4)_in2(1).
parity(2)_and(4)_d :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(0),parity(2)_and(4)_in2(1),parity(2)_and(4)_in3(1).
parity(2)_and(4)_d :- not parity(2)_and(4)_ab,parity(2)_and(4)_out(0),parity(2)_and(4)_in3(1),parity(2)_and(4)_in1(1).
parity(2)_and(4)_in1(0) :- parity(2)_and(4)_p.
parity(2)_and(4)_in2(0) :- parity(2)_and(4)_q.
parity(2)_and(4)_in3(0) :- parity(2)_and(4)_r.
parity(2)_nor_out(1) :- not parity(2)_nor_ab,parity(2)_nor_in1(0),parity(2)_nor_in2(0),parity(2)_nor_in3(0),parity(2)_nor_in4(0).
parity(2)_nor_out(0) :- not parity(2)_nor_ab,parity(2)_nor_in1(1).
parity(2)_nor_out(0) :- not parity(2)_nor_ab,parity(2)_nor_in2(1).
parity(2)_nor_out(0) :- not parity(2)_nor_ab,parity(2)_nor_in3(1).
parity(2)_nor_out(0) :- not parity(2)_nor_ab,parity(2)_nor_in4(1).
parity(2)_nor_in1(0) :- not parity(2)_nor_ab,parity(2)_nor_out(1).
parity(2)_nor_in2(0) :- not parity(2)_nor_ab,parity(2)_nor_out(1).
parity(2)_nor_in3(0) :- not parity(2)_nor_ab,parity(2)_nor_out(1).
parity(2)_nor_in4(0) :- not parity(2)_nor_ab,parity(2)_nor_out(1).
parity(2)_nor_in1(1) :- not parity(2)_nor_ab,parity(2)_nor_in2(0),parity(2)_nor_in3(0),parity(2)_nor_in4(0),parity(2)_nor_out(0).
parity(2)_nor_in2(1) :- not parity(2)_nor_ab,parity(2)_nor_in1(0),parity(2)_nor_in3(0),parity(2)_nor_in4(0),parity(2)_nor_out(0).
parity(2)_nor_in3(1) :- not parity(2)_nor_ab,parity(2)_nor_in2(0),parity(2)_nor_in1(0),parity(2)_nor_in4(0),parity(2)_nor_out(0).
parity(2)_nor_in4(1) :- not parity(2)_nor_ab,parity(2)_nor_in2(0),parity(2)_nor_in3(0),parity(2)_nor_in1(0),parity(2)_nor_out(0).
parity(2)_nor_ab :- parity(2)_nor_in1(0),parity(2)_nor_in2(0),parity(2)_nor_in3(0),parity(2)_nor_in4(0),parity(2)_nor_out(0).
parity(2)_nor_ab :- parity(2)_nor_in1(1),parity(2)_nor_out(1).
parity(2)_nor_ab :- parity(2)_nor_in2(1),parity(2)_nor_out(1).
parity(2)_nor_ab :- parity(2)_nor_in3(1),parity(2)_nor_out(1).
parity(2)_nor_ab :- parity(2)_nor_in4(1),parity(2)_nor_out(1).
parity(2)_nor_p :- not parity(2)_nor_ab,not parity(2)_nor_d,not parity(2)_nor_s,not parity(2)_nor_r,not parity(2)_nor_q,parity(2)_nor_out(0).
parity(2)_nor_q :- not parity(2)_nor_ab,not parity(2)_nor_d,not parity(2)_nor_s,not parity(2)_nor_r,not parity(2)_nor_p,parity(2)_nor_out(0).
parity(2)_nor_r :- not parity(2)_nor_ab,not parity(2)_nor_d,not parity(2)_nor_s,not parity(2)_nor_q,not parity(2)_nor_p,parity(2)_nor_out(0).
parity(2)_nor_s :- not parity(2)_nor_ab,not parity(2)_nor_d,not parity(2)_nor_r,not parity(2)_nor_q,not parity(2)_nor_p,parity(2)_nor_out(0).
parity(2)_nor_d :- not parity(2)_nor_ab,parity(2)_nor_out(0),parity(2)_nor_in1(0),parity(2)_nor_in2(0),parity(2)_nor_in3(0).
parity(2)_nor_d :- not parity(2)_nor_ab,parity(2)_nor_out(0),parity(2)_nor_in2(1),parity(2)_nor_in3(0),parity(2)_nor_in4(0).
parity(2)_nor_d :- not parity(2)_nor_ab,parity(2)_nor_out(0),parity(2)_nor_in3(1),parity(2)_nor_in4(0),parity(2)_nor_in1(0).
parity(2)_nor_d :- not parity(2)_nor_ab,parity(2)_nor_out(0),parity(2)_nor_in4(1),parity(2)_nor_in1(0),parity(2)_nor_in2(0).
parity(2)_nor_in1(1) :- parity(2)_nor_p.
parity(2)_nor_in2(1) :- parity(2)_nor_q.
parity(2)_nor_in3(1) :- parity(2)_nor_r.
parity(2)_nor_in4(1) :- parity(2)_nor_s.
parity(2)_in1(0) :- parity(2)_n(1)_in(0).
parity(2)_n(1)_in(0) :- parity(2)_in1(0).
parity(2)_in1(1) :- parity(2)_n(1)_in(1).
parity(2)_n(1)_in(1) :- parity(2)_in1(1).
parity(2)_in2(0) :- parity(2)_n(2)_in(0).
parity(2)_n(2)_in(0) :- parity(2)_in2(0).
parity(2)_in2(1) :- parity(2)_n(2)_in(1).
parity(2)_n(2)_in(1) :- parity(2)_in2(1).
parity(2)_in3(0) :- parity(2)_n(3)_in(0).
parity(2)_n(3)_in(0) :- parity(2)_in3(0).
parity(2)_in3(1) :- parity(2)_n(3)_in(1).
parity(2)_n(3)_in(1) :- parity(2)_in3(1).
parity(2)_in1(0) :- parity(2)_and(2)_in1(0).
parity(2)_and(2)_in1(0) :- parity(2)_in1(0).
parity(2)_in1(1) :- parity(2)_and(2)_in1(1).
parity(2)_and(2)_in1(1) :- parity(2)_in1(1).
parity(2)_in1(0) :- parity(2)_and(3)_in2(0).
parity(2)_and(3)_in2(0) :- parity(2)_in1(0).
parity(2)_in1(1) :- parity(2)_and(3)_in2(1).
parity(2)_and(3)_in2(1) :- parity(2)_in1(1).
parity(2)_in2(0) :- parity(2)_and(1)_in1(0).
parity(2)_and(1)_in1(0) :- parity(2)_in2(0).
parity(2)_in2(1) :- parity(2)_and(1)_in1(1).
parity(2)_and(1)_in1(1) :- parity(2)_in2(1).
parity(2)_in2(0) :- parity(2)_and(3)_in1(0).
parity(2)_and(3)_in1(0) :- parity(2)_in2(0).
parity(2)_in2(1) :- parity(2)_and(3)_in1(1).
parity(2)_and(3)_in1(1) :- parity(2)_in2(1).
parity(2)_in3(0) :- parity(2)_and(1)_in2(0).
parity(2)_and(1)_in2(0) :- parity(2)_in3(0).
parity(2)_in3(1) :- parity(2)_and(1)_in2(1).
parity(2)_and(1)_in2(1) :- parity(2)_in3(1).
parity(2)_in3(0) :- parity(2)_and(2)_in2(0).
parity(2)_and(2)_in2(0) :- parity(2)_in3(0).
parity(2)_in3(1) :- parity(2)_and(2)_in2(1).
parity(2)_and(2)_in2(1) :- parity(2)_in3(1).
parity(2)_n(1)_out(0) :- parity(2)_and(1)_in3(0).
parity(2)_and(1)_in3(0) :- parity(2)_n(1)_out(0).
parity(2)_n(1)_out(1) :- parity(2)_and(1)_in3(1).
parity(2)_and(1)_in3(1) :- parity(2)_n(1)_out(1).
parity(2)_n(1)_out(0) :- parity(2)_and(4)_in3(0).
parity(2)_and(4)_in3(0) :- parity(2)_n(1)_out(0).
parity(2)_n(1)_out(1) :- parity(2)_and(4)_in3(1).
parity(2)_and(4)_in3(1) :- parity(2)_n(1)_out(1).
parity(2)_n(2)_out(0) :- parity(2)_and(2)_in3(0).
parity(2)_and(2)_in3(0) :- parity(2)_n(2)_out(0).
parity(2)_n(2)_out(1) :- parity(2)_and(2)_in3(1).
parity(2)_and(2)_in3(1) :- parity(2)_n(2)_out(1).
parity(2)_n(2)_out(0) :- parity(2)_and(4)_in2(0).
parity(2)_and(4)_in2(0) :- parity(2)_n(2)_out(0).
parity(2)_n(2)_out(1) :- parity(2)_and(4)_in2(1).
parity(2)_and(4)_in2(1) :- parity(2)_n(2)_out(1).
parity(2)_n(3)_out(0) :- parity(2)_and(3)_in3(0).
parity(2)_and(3)_in3(0) :- parity(2)_n(3)_out(0).
parity(2)_n(3)_out(1) :- parity(2)_and(3)_in3(1).
parity(2)_and(3)_in3(1) :- parity(2)_n(3)_out(1).
parity(2)_n(3)_out(0) :- parity(2)_and(4)_in1(0).
parity(2)_and(4)_in1(0) :- parity(2)_n(3)_out(0).
parity(2)_n(3)_out(1) :- parity(2)_and(4)_in1(1).
parity(2)_and(4)_in1(1) :- parity(2)_n(3)_out(1).
parity(2)_and(1)_out(0) :- parity(2)_nor_in1(0).
parity(2)_nor_in1(0) :- parity(2)_and(1)_out(0).
parity(2)_and(1)_out(1) :- parity(2)_nor_in1(1).
parity(2)_nor_in1(1) :- parity(2)_and(1)_out(1).
parity(2)_and(2)_out(0) :- parity(2)_nor_in2(0).
parity(2)_nor_in2(0) :- parity(2)_and(2)_out(0).
parity(2)_and(2)_out(1) :- parity(2)_nor_in2(1).
parity(2)_nor_in2(1) :- parity(2)_and(2)_out(1).
parity(2)_and(3)_out(0) :- parity(2)_nor_in3(0).
parity(2)_nor_in3(0) :- parity(2)_and(3)_out(0).
parity(2)_and(3)_out(1) :- parity(2)_nor_in3(1).
parity(2)_nor_in3(1) :- parity(2)_and(3)_out(1).
parity(2)_and(4)_out(0) :- parity(2)_nor_in4(0).
parity(2)_nor_in4(0) :- parity(2)_and(4)_out(0).
parity(2)_and(4)_out(1) :- parity(2)_nor_in4(1).
parity(2)_nor_in4(1) :- parity(2)_and(4)_out(1).
parity(2)_out(0) :- parity(2)_nor_out(0).
parity(2)_nor_out(0) :- parity(2)_out(0).
parity(2)_out(1) :- parity(2)_nor_out(1).
parity(2)_nor_out(1) :- parity(2)_out(1).
parity(2)_s :- parity(2)_n(1)_ab.
parity(2)_s :- parity(2)_n(2)_ab.
parity(2)_s :- parity(2)_n(3)_ab.
parity(2)_s :- parity(2)_and(1)_ab.
parity(2)_s :- parity(2)_and(2)_ab.
parity(2)_s :- parity(2)_and(3)_ab.
parity(2)_s :- parity(2)_and(4)_ab.
parity(2)_s :- parity(2)_nor_ab.
parity(3)_n(1)_out(0) :- not parity(3)_n(1)_ab,parity(3)_n(1)_in(1).
parity(3)_n(1)_out(1) :- not parity(3)_n(1)_ab,parity(3)_n(1)_in(0).
parity(3)_n(1)_in(0) :- not parity(3)_n(1)_ab,parity(3)_n(1)_out(1).
parity(3)_n(1)_in(1) :- not parity(3)_n(1)_ab,parity(3)_n(1)_out(0).
parity(3)_n(1)_ab :- parity(3)_n(1)_in(0),parity(3)_n(1)_out(0).
parity(3)_n(1)_ab :- parity(3)_n(1)_in(1),parity(3)_n(1)_out(1).
parity(3)_n(2)_out(0) :- not parity(3)_n(2)_ab,parity(3)_n(2)_in(1).
parity(3)_n(2)_out(1) :- not parity(3)_n(2)_ab,parity(3)_n(2)_in(0).
parity(3)_n(2)_in(0) :- not parity(3)_n(2)_ab,parity(3)_n(2)_out(1).
parity(3)_n(2)_in(1) :- not parity(3)_n(2)_ab,parity(3)_n(2)_out(0).
parity(3)_n(2)_ab :- parity(3)_n(2)_in(0),parity(3)_n(2)_out(0).
parity(3)_n(2)_ab :- parity(3)_n(2)_in(1),parity(3)_n(2)_out(1).
parity(3)_n(3)_out(0) :- not parity(3)_n(3)_ab,parity(3)_n(3)_in(1).
parity(3)_n(3)_out(1) :- not parity(3)_n(3)_ab,parity(3)_n(3)_in(0).
parity(3)_n(3)_in(0) :- not parity(3)_n(3)_ab,parity(3)_n(3)_out(1).
parity(3)_n(3)_in(1) :- not parity(3)_n(3)_ab,parity(3)_n(3)_out(0).
parity(3)_n(3)_ab :- parity(3)_n(3)_in(0),parity(3)_n(3)_out(0).
parity(3)_n(3)_ab :- parity(3)_n(3)_in(1),parity(3)_n(3)_out(1).
parity(3)_and(1)_out(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in1(0).
parity(3)_and(1)_out(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in2(0).
parity(3)_and(1)_out(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in3(0).
parity(3)_and(1)_out(1) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in1(1),parity(3)_and(1)_in2(1),parity(3)_and(1)_in3(1).
parity(3)_and(1)_in1(1) :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(1).
parity(3)_and(1)_in2(1) :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(1).
parity(3)_and(1)_in3(1) :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(1).
parity(3)_and(1)_in1(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in2(1),parity(3)_and(1)_in3(1),parity(3)_and(1)_out(0).
parity(3)_and(1)_in2(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in1(1),parity(3)_and(1)_in3(1),parity(3)_and(1)_out(0).
parity(3)_and(1)_in3(0) :- not parity(3)_and(1)_ab,parity(3)_and(1)_in1(1),parity(3)_and(1)_in2(1),parity(3)_and(1)_out(0).
parity(3)_and(1)_ab :- parity(3)_and(1)_in1(0),parity(3)_and(1)_out(1).
parity(3)_and(1)_ab :- parity(3)_and(1)_in2(0),parity(3)_and(1)_out(1).
parity(3)_and(1)_ab :- parity(3)_and(1)_in3(0),parity(3)_and(1)_out(1).
parity(3)_and(1)_ab :- parity(3)_and(1)_in1(1),parity(3)_and(1)_in2(1),parity(3)_and(1)_in3(1),parity(3)_and(1)_out(0).
parity(3)_and(1)_p :- not parity(3)_and(1)_ab,not parity(3)_and(1)_d,not parity(3)_and(1)_r,not parity(3)_and(1)_q,parity(3)_and(1)_out(0).
parity(3)_and(1)_q :- not parity(3)_and(1)_ab,not parity(3)_and(1)_d,not parity(3)_and(1)_r,not parity(3)_and(1)_p,parity(3)_and(1)_out(0).
parity(3)_and(1)_r :- not parity(3)_and(1)_ab,not parity(3)_and(1)_d,not parity(3)_and(1)_q,not parity(3)_and(1)_p,parity(3)_and(1)_out(0).
parity(3)_and(1)_d :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(0),parity(3)_and(1)_in1(1),parity(3)_and(1)_in2(1).
parity(3)_and(1)_d :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(0),parity(3)_and(1)_in2(1),parity(3)_and(1)_in3(1).
parity(3)_and(1)_d :- not parity(3)_and(1)_ab,parity(3)_and(1)_out(0),parity(3)_and(1)_in3(1),parity(3)_and(1)_in1(1).
parity(3)_and(1)_in1(0) :- parity(3)_and(1)_p.
parity(3)_and(1)_in2(0) :- parity(3)_and(1)_q.
parity(3)_and(1)_in3(0) :- parity(3)_and(1)_r.
parity(3)_and(2)_out(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in1(0).
parity(3)_and(2)_out(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in2(0).
parity(3)_and(2)_out(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in3(0).
parity(3)_and(2)_out(1) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in1(1),parity(3)_and(2)_in2(1),parity(3)_and(2)_in3(1).
parity(3)_and(2)_in1(1) :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(1).
parity(3)_and(2)_in2(1) :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(1).
parity(3)_and(2)_in3(1) :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(1).
parity(3)_and(2)_in1(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in2(1),parity(3)_and(2)_in3(1),parity(3)_and(2)_out(0).
parity(3)_and(2)_in2(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in1(1),parity(3)_and(2)_in3(1),parity(3)_and(2)_out(0).
parity(3)_and(2)_in3(0) :- not parity(3)_and(2)_ab,parity(3)_and(2)_in1(1),parity(3)_and(2)_in2(1),parity(3)_and(2)_out(0).
parity(3)_and(2)_ab :- parity(3)_and(2)_in1(0),parity(3)_and(2)_out(1).
parity(3)_and(2)_ab :- parity(3)_and(2)_in2(0),parity(3)_and(2)_out(1).
parity(3)_and(2)_ab :- parity(3)_and(2)_in3(0),parity(3)_and(2)_out(1).
parity(3)_and(2)_ab :- parity(3)_and(2)_in1(1),parity(3)_and(2)_in2(1),parity(3)_and(2)_in3(1),parity(3)_and(2)_out(0).
parity(3)_and(2)_p :- not parity(3)_and(2)_ab,not parity(3)_and(2)_d,not parity(3)_and(2)_r,not parity(3)_and(2)_q,parity(3)_and(2)_out(0).
parity(3)_and(2)_q :- not parity(3)_and(2)_ab,not parity(3)_and(2)_d,not parity(3)_and(2)_r,not parity(3)_and(2)_p,parity(3)_and(2)_out(0).
parity(3)_and(2)_r :- not parity(3)_and(2)_ab,not parity(3)_and(2)_d,not parity(3)_and(2)_q,not parity(3)_and(2)_p,parity(3)_and(2)_out(0).
parity(3)_and(2)_d :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(0),parity(3)_and(2)_in1(1),parity(3)_and(2)_in2(1).
parity(3)_and(2)_d :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(0),parity(3)_and(2)_in2(1),parity(3)_and(2)_in3(1).
parity(3)_and(2)_d :- not parity(3)_and(2)_ab,parity(3)_and(2)_out(0),parity(3)_and(2)_in3(1),parity(3)_and(2)_in1(1).
parity(3)_and(2)_in1(0) :- parity(3)_and(2)_p.
parity(3)_and(2)_in2(0) :- parity(3)_and(2)_q.
parity(3)_and(2)_in3(0) :- parity(3)_and(2)_r.
parity(3)_and(3)_out(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in1(0).
parity(3)_and(3)_out(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in2(0).
parity(3)_and(3)_out(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in3(0).
parity(3)_and(3)_out(1) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in1(1),parity(3)_and(3)_in2(1),parity(3)_and(3)_in3(1).
parity(3)_and(3)_in1(1) :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(1).
parity(3)_and(3)_in2(1) :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(1).
parity(3)_and(3)_in3(1) :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(1).
parity(3)_and(3)_in1(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in2(1),parity(3)_and(3)_in3(1),parity(3)_and(3)_out(0).
parity(3)_and(3)_in2(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in1(1),parity(3)_and(3)_in3(1),parity(3)_and(3)_out(0).
parity(3)_and(3)_in3(0) :- not parity(3)_and(3)_ab,parity(3)_and(3)_in1(1),parity(3)_and(3)_in2(1),parity(3)_and(3)_out(0).
parity(3)_and(3)_ab :- parity(3)_and(3)_in1(0),parity(3)_and(3)_out(1).
parity(3)_and(3)_ab :- parity(3)_and(3)_in2(0),parity(3)_and(3)_out(1).
parity(3)_and(3)_ab :- parity(3)_and(3)_in3(0),parity(3)_and(3)_out(1).
parity(3)_and(3)_ab :- parity(3)_and(3)_in1(1),parity(3)_and(3)_in2(1),parity(3)_and(3)_in3(1),parity(3)_and(3)_out(0).
parity(3)_and(3)_p :- not parity(3)_and(3)_ab,not parity(3)_and(3)_d,not parity(3)_and(3)_r,not parity(3)_and(3)_q,parity(3)_and(3)_out(0).
parity(3)_and(3)_q :- not parity(3)_and(3)_ab,not parity(3)_and(3)_d,not parity(3)_and(3)_r,not parity(3)_and(3)_p,parity(3)_and(3)_out(0).
parity(3)_and(3)_r :- not parity(3)_and(3)_ab,not parity(3)_and(3)_d,not parity(3)_and(3)_q,not parity(3)_and(3)_p,parity(3)_and(3)_out(0).
parity(3)_and(3)_d :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(0),parity(3)_and(3)_in1(1),parity(3)_and(3)_in2(1).
parity(3)_and(3)_d :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(0),parity(3)_and(3)_in2(1),parity(3)_and(3)_in3(1).
parity(3)_and(3)_d :- not parity(3)_and(3)_ab,parity(3)_and(3)_out(0),parity(3)_and(3)_in3(1),parity(3)_and(3)_in1(1).
parity(3)_and(3)_in1(0) :- parity(3)_and(3)_p.
parity(3)_and(3)_in2(0) :- parity(3)_and(3)_q.
parity(3)_and(3)_in3(0) :- parity(3)_and(3)_r.
parity(3)_and(4)_out(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in1(0).
parity(3)_and(4)_out(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in2(0).
parity(3)_and(4)_out(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in3(0).
parity(3)_and(4)_out(1) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in1(1),parity(3)_and(4)_in2(1),parity(3)_and(4)_in3(1).
parity(3)_and(4)_in1(1) :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(1).
parity(3)_and(4)_in2(1) :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(1).
parity(3)_and(4)_in3(1) :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(1).
parity(3)_and(4)_in1(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in2(1),parity(3)_and(4)_in3(1),parity(3)_and(4)_out(0).
parity(3)_and(4)_in2(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in1(1),parity(3)_and(4)_in3(1),parity(3)_and(4)_out(0).
parity(3)_and(4)_in3(0) :- not parity(3)_and(4)_ab,parity(3)_and(4)_in1(1),parity(3)_and(4)_in2(1),parity(3)_and(4)_out(0).
parity(3)_and(4)_ab :- parity(3)_and(4)_in1(0),parity(3)_and(4)_out(1).
parity(3)_and(4)_ab :- parity(3)_and(4)_in2(0),parity(3)_and(4)_out(1).
parity(3)_and(4)_ab :- parity(3)_and(4)_in3(0),parity(3)_and(4)_out(1).
parity(3)_and(4)_ab :- parity(3)_and(4)_in1(1),parity(3)_and(4)_in2(1),parity(3)_and(4)_in3(1),parity(3)_and(4)_out(0).
parity(3)_and(4)_p :- not parity(3)_and(4)_ab,not parity(3)_and(4)_d,not parity(3)_and(4)_r,not parity(3)_and(4)_q,parity(3)_and(4)_out(0).
parity(3)_and(4)_q :- not parity(3)_and(4)_ab,not parity(3)_and(4)_d,not parity(3)_and(4)_r,not parity(3)_and(4)_p,parity(3)_and(4)_out(0).
parity(3)_and(4)_r :- not parity(3)_and(4)_ab,not parity(3)_and(4)_d,not parity(3)_and(4)_q,not parity(3)_and(4)_p,parity(3)_and(4)_out(0).
parity(3)_and(4)_d :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(0),parity(3)_and(4)_in1(1),parity(3)_and(4)_in2(1).
parity(3)_and(4)_d :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(0),parity(3)_and(4)_in2(1),parity(3)_and(4)_in3(1).
parity(3)_and(4)_d :- not parity(3)_and(4)_ab,parity(3)_and(4)_out(0),parity(3)_and(4)_in3(1),parity(3)_and(4)_in1(1).
parity(3)_and(4)_in1(0) :- parity(3)_and(4)_p.
parity(3)_and(4)_in2(0) :- parity(3)_and(4)_q.
parity(3)_and(4)_in3(0) :- parity(3)_and(4)_r.
parity(3)_nor_out(1) :- not parity(3)_nor_ab,parity(3)_nor_in1(0),parity(3)_nor_in2(0),parity(3)_nor_in3(0),parity(3)_nor_in4(0).
parity(3)_nor_out(0) :- not parity(3)_nor_ab,parity(3)_nor_in1(1).
parity(3)_nor_out(0) :- not parity(3)_nor_ab,parity(3)_nor_in2(1).
parity(3)_nor_out(0) :- not parity(3)_nor_ab,parity(3)_nor_in3(1).
parity(3)_nor_out(0) :- not parity(3)_nor_ab,parity(3)_nor_in4(1).
parity(3)_nor_in1(0) :- not parity(3)_nor_ab,parity(3)_nor_out(1).
parity(3)_nor_in2(0) :- not parity(3)_nor_ab,parity(3)_nor_out(1).
parity(3)_nor_in3(0) :- not parity(3)_nor_ab,parity(3)_nor_out(1).
parity(3)_nor_in4(0) :- not parity(3)_nor_ab,parity(3)_nor_out(1).
parity(3)_nor_in1(1) :- not parity(3)_nor_ab,parity(3)_nor_in2(0),parity(3)_nor_in3(0),parity(3)_nor_in4(0),parity(3)_nor_out(0).
parity(3)_nor_in2(1) :- not parity(3)_nor_ab,parity(3)_nor_in1(0),parity(3)_nor_in3(0),parity(3)_nor_in4(0),parity(3)_nor_out(0).
parity(3)_nor_in3(1) :- not parity(3)_nor_ab,parity(3)_nor_in2(0),parity(3)_nor_in1(0),parity(3)_nor_in4(0),parity(3)_nor_out(0).
parity(3)_nor_in4(1) :- not parity(3)_nor_ab,parity(3)_nor_in2(0),parity(3)_nor_in3(0),parity(3)_nor_in1(0),parity(3)_nor_out(0).
parity(3)_nor_ab :- parity(3)_nor_in1(0),parity(3)_nor_in2(0),parity(3)_nor_in3(0),parity(3)_nor_in4(0),parity(3)_nor_out(0).
parity(3)_nor_ab :- parity(3)_nor_in1(1),parity(3)_nor_out(1).
parity(3)_nor_ab :- parity(3)_nor_in2(1),parity(3)_nor_out(1).
parity(3)_nor_ab :- parity(3)_nor_in3(1),parity(3)_nor_out(1).
parity(3)_nor_ab :- parity(3)_nor_in4(1),parity(3)_nor_out(1).
parity(3)_nor_p :- not parity(3)_nor_ab,not parity(3)_nor_d,not parity(3)_nor_s,not parity(3)_nor_r,not parity(3)_nor_q,parity(3)_nor_out(0).
parity(3)_nor_q :- not parity(3)_nor_ab,not parity(3)_nor_d,not parity(3)_nor_s,not parity(3)_nor_r,not parity(3)_nor_p,parity(3)_nor_out(0).
parity(3)_nor_r :- not parity(3)_nor_ab,not parity(3)_nor_d,not parity(3)_nor_s,not parity(3)_nor_q,not parity(3)_nor_p,parity(3)_nor_out(0).
parity(3)_nor_s :- not parity(3)_nor_ab,not parity(3)_nor_d,not parity(3)_nor_r,not parity(3)_nor_q,not parity(3)_nor_p,parity(3)_nor_out(0).
parity(3)_nor_d :- not parity(3)_nor_ab,parity(3)_nor_out(0),parity(3)_nor_in1(0),parity(3)_nor_in2(0),parity(3)_nor_in3(0).
parity(3)_nor_d :- not parity(3)_nor_ab,parity(3)_nor_out(0),parity(3)_nor_in2(1),parity(3)_nor_in3(0),parity(3)_nor_in4(0).
parity(3)_nor_d :- not parity(3)_nor_ab,parity(3)_nor_out(0),parity(3)_nor_in3(1),parity(3)_nor_in4(0),parity(3)_nor_in1(0).
parity(3)_nor_d :- not parity(3)_nor_ab,parity(3)_nor_out(0),parity(3)_nor_in4(1),parity(3)_nor_in1(0),parity(3)_nor_in2(0).
parity(3)_nor_in1(1) :- parity(3)_nor_p.
parity(3)_nor_in2(1) :- parity(3)_nor_q.
parity(3)_nor_in3(1) :- parity(3)_nor_r.
parity(3)_nor_in4(1) :- parity(3)_nor_s.
parity(3)_in1(0) :- parity(3)_n(1)_in(0).
parity(3)_n(1)_in(0) :- parity(3)_in1(0).
parity(3)_in1(1) :- parity(3)_n(1)_in(1).
parity(3)_n(1)_in(1) :- parity(3)_in1(1).
parity(3)_in2(0) :- parity(3)_n(2)_in(0).
parity(3)_n(2)_in(0) :- parity(3)_in2(0).
parity(3)_in2(1) :- parity(3)_n(2)_in(1).
parity(3)_n(2)_in(1) :- parity(3)_in2(1).
parity(3)_in3(0) :- parity(3)_n(3)_in(0).
parity(3)_n(3)_in(0) :- parity(3)_in3(0).
parity(3)_in3(1) :- parity(3)_n(3)_in(1).
parity(3)_n(3)_in(1) :- parity(3)_in3(1).
parity(3)_in1(0) :- parity(3)_and(2)_in1(0).
parity(3)_and(2)_in1(0) :- parity(3)_in1(0).
parity(3)_in1(1) :- parity(3)_and(2)_in1(1).
parity(3)_and(2)_in1(1) :- parity(3)_in1(1).
parity(3)_in1(0) :- parity(3)_and(3)_in2(0).
parity(3)_and(3)_in2(0) :- parity(3)_in1(0).
parity(3)_in1(1) :- parity(3)_and(3)_in2(1).
parity(3)_and(3)_in2(1) :- parity(3)_in1(1).
parity(3)_in2(0) :- parity(3)_and(1)_in1(0).
parity(3)_and(1)_in1(0) :- parity(3)_in2(0).
parity(3)_in2(1) :- parity(3)_and(1)_in1(1).
parity(3)_and(1)_in1(1) :- parity(3)_in2(1).
parity(3)_in2(0) :- parity(3)_and(3)_in1(0).
parity(3)_and(3)_in1(0) :- parity(3)_in2(0).
parity(3)_in2(1) :- parity(3)_and(3)_in1(1).
parity(3)_and(3)_in1(1) :- parity(3)_in2(1).
parity(3)_in3(0) :- parity(3)_and(1)_in2(0).
parity(3)_and(1)_in2(0) :- parity(3)_in3(0).
parity(3)_in3(1) :- parity(3)_and(1)_in2(1).
parity(3)_and(1)_in2(1) :- parity(3)_in3(1).
parity(3)_in3(0) :- parity(3)_and(2)_in2(0).
parity(3)_and(2)_in2(0) :- parity(3)_in3(0).
parity(3)_in3(1) :- parity(3)_and(2)_in2(1).
parity(3)_and(2)_in2(1) :- parity(3)_in3(1).
parity(3)_n(1)_out(0) :- parity(3)_and(1)_in3(0).
parity(3)_and(1)_in3(0) :- parity(3)_n(1)_out(0).
parity(3)_n(1)_out(1) :- parity(3)_and(1)_in3(1).
parity(3)_and(1)_in3(1) :- parity(3)_n(1)_out(1).
parity(3)_n(1)_out(0) :- parity(3)_and(4)_in3(0).
parity(3)_and(4)_in3(0) :- parity(3)_n(1)_out(0).
parity(3)_n(1)_out(1) :- parity(3)_and(4)_in3(1).
parity(3)_and(4)_in3(1) :- parity(3)_n(1)_out(1).
parity(3)_n(2)_out(0) :- parity(3)_and(2)_in3(0).
parity(3)_and(2)_in3(0) :- parity(3)_n(2)_out(0).
parity(3)_n(2)_out(1) :- parity(3)_and(2)_in3(1).
parity(3)_and(2)_in3(1) :- parity(3)_n(2)_out(1).
parity(3)_n(2)_out(0) :- parity(3)_and(4)_in2(0).
parity(3)_and(4)_in2(0) :- parity(3)_n(2)_out(0).
parity(3)_n(2)_out(1) :- parity(3)_and(4)_in2(1).
parity(3)_and(4)_in2(1) :- parity(3)_n(2)_out(1).
parity(3)_n(3)_out(0) :- parity(3)_and(3)_in3(0).
parity(3)_and(3)_in3(0) :- parity(3)_n(3)_out(0).
parity(3)_n(3)_out(1) :- parity(3)_and(3)_in3(1).
parity(3)_and(3)_in3(1) :- parity(3)_n(3)_out(1).
parity(3)_n(3)_out(0) :- parity(3)_and(4)_in1(0).
parity(3)_and(4)_in1(0) :- parity(3)_n(3)_out(0).
parity(3)_n(3)_out(1) :- parity(3)_and(4)_in1(1).
parity(3)_and(4)_in1(1) :- parity(3)_n(3)_out(1).
parity(3)_and(1)_out(0) :- parity(3)_nor_in1(0).
parity(3)_nor_in1(0) :- parity(3)_and(1)_out(0).
parity(3)_and(1)_out(1) :- parity(3)_nor_in1(1).
parity(3)_nor_in1(1) :- parity(3)_and(1)_out(1).
parity(3)_and(2)_out(0) :- parity(3)_nor_in2(0).
parity(3)_nor_in2(0) :- parity(3)_and(2)_out(0).
parity(3)_and(2)_out(1) :- parity(3)_nor_in2(1).
parity(3)_nor_in2(1) :- parity(3)_and(2)_out(1).
parity(3)_and(3)_out(0) :- parity(3)_nor_in3(0).
parity(3)_nor_in3(0) :- parity(3)_and(3)_out(0).
parity(3)_and(3)_out(1) :- parity(3)_nor_in3(1).
parity(3)_nor_in3(1) :- parity(3)_and(3)_out(1).
parity(3)_and(4)_out(0) :- parity(3)_nor_in4(0).
parity(3)_nor_in4(0) :- parity(3)_and(4)_out(0).
parity(3)_and(4)_out(1) :- parity(3)_nor_in4(1).
parity(3)_nor_in4(1) :- parity(3)_and(4)_out(1).
parity(3)_out(0) :- parity(3)_nor_out(0).
parity(3)_nor_out(0) :- parity(3)_out(0).
parity(3)_out(1) :- parity(3)_nor_out(1).
parity(3)_nor_out(1) :- parity(3)_out(1).
parity(3)_s :- parity(3)_n(1)_ab.
parity(3)_s :- parity(3)_n(2)_ab.
parity(3)_s :- parity(3)_n(3)_ab.
parity(3)_s :- parity(3)_and(1)_ab.
parity(3)_s :- parity(3)_and(2)_ab.
parity(3)_s :- parity(3)_and(3)_ab.
parity(3)_s :- parity(3)_and(4)_ab.
parity(3)_s :- parity(3)_nor_ab.
parity(1)_out(0) :- parity(2)_in1(0).
parity(2)_in1(0) :- parity(1)_out(0).
parity(1)_out(1) :- parity(2)_in1(1).
parity(2)_in1(1) :- parity(1)_out(1).
parity(2)_out(0) :- parity(3)_in1(0).
parity(3)_in1(0) :- parity(2)_out(0).
parity(2)_out(1) :- parity(3)_in1(1).
parity(3)_in1(1) :- parity(2)_out(1).
parity(1)_in1(0).
parity(1)_in2(0).
parity(1)_in3(0).
parity(2)_in2(0).
parity(2)_in3(0).
parity(3)_in2(0).
parity(3)_in3(0).
parity(3)_out(1).
s :- parity(1)_s.
s :- parity(2)_s.
s :- parity(3)_s.
