c1 :- p26.
c1 :- n27.
c1 :- p24.
c2 :- p23.
c2 :- n13.
c2 :- n15.
c3 :- n18.
c3 :- p28.
c3 :- p5.
c4 :- n13.
c4 :- n8.
c4 :- p14.
c5 :- n26.
c5 :- p18.
c5 :- n9.
c6 :- n11.
c6 :- p16.
c6 :- n17.
c7 :- p22.
c7 :- n19.
c7 :- n4.
c8 :- n4.
c8 :- p24.
c8 :- n18.
c9 :- p3.
c9 :- p1.
c9 :- p25.
c10 :- p16.
c10 :- n14.
c10 :- p18.
c11 :- p6.
c11 :- n1.
c11 :- p24.
c12 :- p22.
c12 :- n9.
c12 :- n17.
c13 :- n10.
c13 :- n8.
c13 :- p9.
c14 :- n11.
c14 :- n26.
c14 :- p28.
c15 :- p4.
c15 :- n18.
c15 :- p16.
c16 :- n17.
c16 :- n30.
c16 :- n18.
c17 :- p22.
c17 :- p18.
c17 :- p7.
c18 :- n29.
c18 :- p25.
c18 :- p28.
c19 :- p10.
c19 :- n14.
c19 :- n29.
c20 :- p28.
c20 :- n2.
c20 :- n5.
c21 :- p17.
c21 :- n23.
c21 :- p7.
c22 :- p8.
c22 :- p20.
c22 :- n12.
c23 :- p14.
c23 :- p30.
c23 :- p12.
c24 :- p24.
c24 :- p11.
c24 :- n18.
c25 :- n24.
c25 :- p4.
c25 :- n7.
c26 :- p9.
c26 :- p30.
c26 :- p10.
c27 :- p22.
c27 :- n8.
c27 :- n24.
c28 :- p25.
c28 :- n2.
c28 :- n10.
c29 :- p21.
c29 :- p1.
c29 :- n25.
c30 :- p28.
c30 :- p24.
c30 :- p19.
c31 :- n18.
c31 :- n24.
c31 :- p19.
c32 :- p11.
c32 :- p28.
c32 :- n29.
c33 :- p1.
c33 :- n30.
c33 :- n7.
c34 :- p18.
c34 :- p16.
c34 :- n23.
c35 :- p6.
c35 :- p1.
c35 :- p18.
c36 :- n10.
c36 :- n27.
c36 :- p6.
c37 :- n26.
c37 :- p27.
c37 :- p22.
c38 :- p13.
c38 :- p4.
c38 :- n20.
c39 :- p2.
c39 :- p10.
c39 :- p12.
c40 :- n23.
c40 :- n15.
c40 :- n19.
c41 :- p13.
c41 :- p8.
c41 :- n16.
c42 :- p13.
c42 :- n1.
c42 :- p21.
c43 :- p16.
c43 :- p29.
c43 :- p10.
c44 :- p2.
c44 :- p3.
c44 :- p5.
c45 :- n2.
c45 :- n18.
c45 :- n25.
c46 :- n8.
c46 :- p24.
c46 :- p29.
c47 :- n29.
c47 :- p14.
c47 :- n5.
c48 :- n2.
c48 :- p20.
c48 :- n21.
c49 :- p30.
c49 :- n16.
c49 :- n17.
c50 :- n2.
c50 :- p5.
c50 :- p8.
c51 :- n9.
c51 :- p7.
c51 :- p16.
c52 :- p22.
c52 :- n20.
c52 :- n18.
c53 :- p9.
c53 :- p22.
c53 :- p10.
c54 :- p29.
c54 :- n24.
c54 :- p17.
c55 :- p28.
c55 :- n20.
c55 :- n14.
c56 :- n3.
c56 :- p20.
c56 :- p21.
c57 :- p9.
c57 :- n29.
c57 :- n13.
c58 :- n24.
c58 :- n23.
c58 :- n12.
c59 :- n22.
c59 :- n17.
c59 :- p12.
c60 :- n25.
c60 :- n8.
c60 :- p14.
c61 :- n14.
c61 :- n21.
c61 :- p30.
c62 :- p30.
c62 :- p16.
c62 :- p8.
c63 :- p6.
c63 :- n8.
c63 :- n30.
c64 :- n28.
c64 :- p22.
c64 :- p13.
c65 :- n26.
c65 :- p15.
c65 :- p22.
c66 :- n19.
c66 :- p20.
c66 :- n29.
c67 :- p4.
c67 :- p6.
c67 :- p13.
c68 :- n11.
c68 :- n15.
c68 :- n5.
c69 :- n6.
c69 :- p14.
c69 :- n18.
c70 :- p3.
c70 :- n10.
c70 :- n14.
c71 :- p24.
c71 :- n28.
c71 :- p1.
c72 :- n12.
c72 :- p11.
c72 :- n13.
c73 :- p13.
c73 :- n23.
c73 :- p29.
c74 :- n13.
c74 :- p30.
c74 :- p19.
c75 :- n29.
c75 :- p4.
c75 :- p12.
c76 :- n16.
c76 :- n5.
c76 :- p19.
c77 :- p2.
c77 :- n22.
c77 :- n6.
c78 :- n20.
c78 :- n21.
c78 :- p3.
c79 :- n23.
c79 :- n4.
c79 :- n18.
c80 :- n6.
c80 :- p24.
c80 :- p23.
c81 :- p1.
c81 :- p5.
c81 :- p30.
c82 :- n6.
c82 :- n14.
c82 :- p1.
c83 :- p21.
c83 :- n9.
c83 :- p15.
c84 :- n2.
c84 :- n14.
c84 :- n28.
c85 :- p3.
c85 :- n24.
c85 :- p2.
c86 :- p4.
c86 :- n9.
c86 :- p6.
c87 :- p13.
c87 :- n5.
c87 :- p14.
c88 :- n24.
c88 :- n17.
c88 :- p10.
c89 :- n5.
c89 :- p3.
c89 :- p10.
c90 :- p3.
c90 :- n18.
c90 :- n19.
c91 :- p1.
c91 :- n9.
c91 :- p18.
c92 :- n10.
c92 :- n4.
c92 :- p19.
c93 :- p19.
c93 :- n13.
c93 :- p10.
c94 :- n2.
c94 :- p20.
c94 :- p1.
c95 :- n28.
c95 :- p7.
c95 :- p21.
c96 :- p1.
c96 :- p5.
c96 :- n13.
c97 :- p2.
c97 :- p12.
c97 :- n15.
c98 :- n13.
c98 :- n14.
c98 :- n17.
c99 :- n12.
c99 :- n5.
c99 :- p13.
c100 :- p15.
c100 :- p4.
c100 :- n22.
c101 :- p10.
c101 :- n13.
c101 :- p22.
c102 :- n25.
c102 :- p16.
c102 :- n5.
c103 :- n5.
c103 :- p2.
c103 :- p14.
c104 :- p14.
c104 :- n26.
c104 :- p13.
c105 :- n3.
c105 :- p14.
c105 :- n6.
c106 :- p12.
c106 :- n22.
c106 :- p3.
c107 :- n19.
c107 :- p21.
c107 :- n22.
c108 :- n23.
c108 :- p19.
c108 :- p4.
c109 :- n10.
c109 :- n20.
c109 :- p16.
c110 :- p30.
c110 :- n2.
c110 :- n16.
c111 :- n7.
c111 :- n2.
c111 :- p29.
c112 :- p11.
c112 :- p27.
c112 :- n7.
c113 :- p6.
c113 :- p25.
c113 :- n23.
c114 :- n12.
c114 :- p9.
c114 :- n30.
c115 :- p20.
c115 :- p22.
c115 :- p6.
c116 :- p21.
c116 :- n25.
c116 :- p22.
c117 :- p7.
c117 :- n12.
c117 :- n5.
c118 :- p3.
c118 :- n12.
c118 :- n16.
c119 :- n7.
c119 :- p2.
c119 :- n14.
c120 :- n27.
c120 :- p2.
c120 :- p26.
c121 :- n18.
c121 :- p29.
c121 :- n6.
c122 :- n30.
c122 :- p10.
c122 :- p27.
c123 :- p23.
c123 :- n30.
c123 :- n27.
c124 :- p17.
c124 :- p16.
c124 :- p13.
c125 :- p11.
c125 :- n28.
c125 :- p26.
c126 :- n15.
c126 :- n4.
c126 :- n21.
c127 :- p15.
c127 :- p7.
c127 :- n20.
c128 :- p22.
c128 :- n19.
c128 :- n7.
c129 :- n17.
c129 :- n23.
c129 :- p6.
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.
p21 :- not n21.
n21 :- not p21.
p22 :- not n22.
n22 :- not p22.
p23 :- not n23.
n23 :- not p23.
p24 :- not n24.
n24 :- not p24.
p25 :- not n25.
n25 :- not p25.
p26 :- not n26.
n26 :- not p26.
p27 :- not n27.
n27 :- not p27.
p28 :- not n28.
n28 :- not p28.
p29 :- not n29.
n29 :- not p29.
p30 :- not n30.
n30 :- not p30.
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, c87, c88, c89, c90, c91, c92, c93, c94, c95, c96, c97, c98, c99, c100, c101, c102, c103, c104, c105, c106, c107, c108, c109, c110, c111, c112, c113, c114, c115, c116, c117, c118, c119, c120, c121, c122, c123, c124, c125, c126, c127, c128, c129 }
