c1 :- p7.
c1 :- p14.
c1 :- n8.
c2 :- p10.
c2 :- n19.
c2 :- n14.
c3 :- p19.
c3 :- p2.
c3 :- p15.
c4 :- p8.
c4 :- n4.
c4 :- n5.
c5 :- p3.
c5 :- n10.
c5 :- p1.
c6 :- p12.
c6 :- p4.
c6 :- p6.
c7 :- p11.
c7 :- p5.
c7 :- n7.
c8 :- n20.
c8 :- n5.
c8 :- n15.
c9 :- p7.
c9 :- n14.
c9 :- n11.
c10 :- n12.
c10 :- p1.
c10 :- n7.
c11 :- n2.
c11 :- p1.
c11 :- p5.
c12 :- p3.
c12 :- p11.
c12 :- n20.
c13 :- p17.
c13 :- n13.
c13 :- n19.
c14 :- p9.
c14 :- n1.
c14 :- n2.
c15 :- p18.
c15 :- p2.
c15 :- n4.
c16 :- n3.
c16 :- p6.
c16 :- n1.
c17 :- n20.
c17 :- n10.
c17 :- n11.
c18 :- n14.
c18 :- n2.
c18 :- p1.
c19 :- p4.
c19 :- n17.
c19 :- p14.
c20 :- p11.
c20 :- p1.
c20 :- n9.
c21 :- p9.
c21 :- p10.
c21 :- p2.
c22 :- p8.
c22 :- n18.
c22 :- n3.
c23 :- p1.
c23 :- p20.
c23 :- p14.
c24 :- n14.
c24 :- n10.
c24 :- n6.
c25 :- p4.
c25 :- p18.
c25 :- p17.
c26 :- p6.
c26 :- p4.
c26 :- p2.
c27 :- n12.
c27 :- n19.
c27 :- p18.
c28 :- p5.
c28 :- p8.
c28 :- n15.
c29 :- p7.
c29 :- n6.
c29 :- n2.
c30 :- n9.
c30 :- p20.
c30 :- p6.
c31 :- p17.
c31 :- p1.
c31 :- n12.
c32 :- n10.
c32 :- p2.
c32 :- p1.
c33 :- p3.
c33 :- n20.
c33 :- n4.
c34 :- p18.
c34 :- n4.
c34 :- n13.
c35 :- p8.
c35 :- p16.
c35 :- p13.
c36 :- p8.
c36 :- p15.
c36 :- p16.
c37 :- n7.
c37 :- n11.
c37 :- n6.
c38 :- n12.
c38 :- p15.
c38 :- n9.
c39 :- n4.
c39 :- n15.
c39 :- n18.
c40 :- p10.
c40 :- n2.
c40 :- p9.
c41 :- p20.
c41 :- p10.
c41 :- n16.
c42 :- p14.
c42 :- p12.
c42 :- n17.
c43 :- p11.
c43 :- p16.
c43 :- n1.
c44 :- n17.
c44 :- n11.
c44 :- n14.
c45 :- n14.
c45 :- n20.
c45 :- p10.
c46 :- p5.
c46 :- p16.
c46 :- n10.
c47 :- n6.
c47 :- p13.
c47 :- p3.
c48 :- p19.
c48 :- n4.
c48 :- n10.
c49 :- n6.
c49 :- n2.
c49 :- n8.
c50 :- n13.
c50 :- n12.
c50 :- p9.
c51 :- n16.
c51 :- n14.
c51 :- p10.
c52 :- p11.
c52 :- p16.
c52 :- n15.
c53 :- p7.
c53 :- p14.
c53 :- n6.
c54 :- p20.
c54 :- p7.
c54 :- n19.
c55 :- n17.
c55 :- p2.
c55 :- p8.
c56 :- n20.
c56 :- n2.
c56 :- n11.
c57 :- n11.
c57 :- p1.
c57 :- p3.
c58 :- n19.
c58 :- p4.
c58 :- n11.
c59 :- p1.
c59 :- n10.
c59 :- p11.
c60 :- n15.
c60 :- p5.
c60 :- n13.
c61 :- p19.
c61 :- n20.
c61 :- p13.
c62 :- n1.
c62 :- p3.
c62 :- n11.
c63 :- p13.
c63 :- p10.
c63 :- p11.
c64 :- p7.
c64 :- p15.
c64 :- p3.
c65 :- p9.
c65 :- n20.
c65 :- n7.
c66 :- n13.
c66 :- n4.
c66 :- p19.
c67 :- p7.
c67 :- p5.
c67 :- n9.
c68 :- n11.
c68 :- p6.
c68 :- p10.
c69 :- n12.
c69 :- n5.
c69 :- n1.
c70 :- n13.
c70 :- p15.
c70 :- n6.
c71 :- p1.
c71 :- n3.
c71 :- p5.
c72 :- n16.
c72 :- n10.
c72 :- n20.
c73 :- n8.
c73 :- n7.
c73 :- p19.
c74 :- n5.
c74 :- p3.
c74 :- n4.
c75 :- p15.
c75 :- p10.
c75 :- n13.
c76 :- p18.
c76 :- n11.
c76 :- p1.
c77 :- n13.
c77 :- p10.
c77 :- n2.
c78 :- p10.
c78 :- p16.
c78 :- n9.
c79 :- p14.
c79 :- n6.
c79 :- p8.
c80 :- p19.
c80 :- n6.
c80 :- n12.
c81 :- n17.
c81 :- p8.
c81 :- n1.
c82 :- p4.
c82 :- n7.
c82 :- n18.
c83 :- n6.
c83 :- p7.
c83 :- n2.
c84 :- n11.
c84 :- p3.
c84 :- p16.
c85 :- n1.
c85 :- p11.
c85 :- n6.
c86 :- n4.
c86 :- n5.
c86 :- p15.
p1 :- not n1.
n1 :- not p1.
p2 :- not n2.
n2 :- not p2.
p3 :- not n3.
n3 :- not p3.
p4 :- not n4.
n4 :- not p4.
p5 :- not n5.
n5 :- not p5.
p6 :- not n6.
n6 :- not p6.
p7 :- not n7.
n7 :- not p7.
p8 :- not n8.
n8 :- not p8.
p9 :- not n9.
n9 :- not p9.
p10 :- not n10.
n10 :- not p10.
p11 :- not n11.
n11 :- not p11.
p12 :- not n12.
n12 :- not p12.
p13 :- not n13.
n13 :- not p13.
p14 :- not n14.
n14 :- not p14.
p15 :- not n15.
n15 :- not p15.
p16 :- not n16.
n16 :- not p16.
p17 :- not n17.
n17 :- not p17.
p18 :- not n18.
n18 :- not p18.
p19 :- not n19.
n19 :- not p19.
p20 :- not n20.
n20 :- not p20.
compute 1 { c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16, c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30, c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44, c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58, c59, c60, c61, c62, c63, c64, c65, c66, c67, c68, c69, c70, c71, c72, c73, c74, c75, c76, c77, c78, c79, c80, c81, c82, c83, c84, c85, c86 }
