c1 :- p27.
c1 :- n2.
c1 :- n32.
c2 :- n34.
c2 :- n23.
c2 :- p26.
c3 :- p27.
c3 :- n38.
c3 :- n19.
c4 :- p24.
c4 :- n36.
c4 :- p25.
c5 :- p7.
c5 :- n34.
c5 :- p29.
c6 :- p40.
c6 :- p36.
c6 :- p18.
c7 :- n23.
c7 :- n17.
c7 :- n7.
c8 :- n4.
c8 :- p13.
c8 :- p31.
c9 :- n39.
c9 :- n31.
c9 :- p22.
c10 :- p31.
c10 :- p16.
c10 :- n9.
c11 :- n36.
c11 :- p14.
c11 :- p13.
c12 :- p37.
c12 :- p19.
c12 :- p11.
c13 :- n21.
c13 :- n1.
c13 :- n3.
c14 :- p25.
c14 :- n37.
c14 :- n18.
c15 :- p22.
c15 :- p30.
c15 :- n40.
c16 :- p19.
c16 :- n18.
c16 :- p37.
c17 :- n12.
c17 :- p24.
c17 :- p34.
c18 :- n19.
c18 :- n6.
c18 :- n14.
c19 :- n9.
c19 :- n16.
c19 :- p17.
c20 :- n10.
c20 :- p35.
c20 :- n5.
c21 :- n26.
c21 :- n29.
c21 :- n18.
c22 :- p37.
c22 :- n16.
c22 :- p38.
c23 :- n36.
c23 :- p25.
c23 :- p28.
c24 :- n22.
c24 :- n6.
c24 :- p26.
c25 :- n5.
c25 :- n32.
c25 :- p26.
c26 :- n17.
c26 :- n18.
c26 :- p24.
c27 :- n1.
c27 :- p20.
c27 :- p11.
c28 :- n20.
c28 :- n29.
c28 :- p40.
c29 :- p9.
c29 :- n3.
c29 :- p2.
c30 :- n25.
c30 :- n29.
c30 :- n16.
c31 :- p37.
c31 :- n17.
c31 :- p20.
c32 :- n22.
c32 :- p10.
c32 :- n17.
c33 :- n31.
c33 :- p24.
c33 :- p32.
c34 :- p30.
c34 :- p40.
c34 :- n29.
c35 :- p32.
c35 :- p36.
c35 :- p12.
c36 :- p21.
c36 :- p20.
c36 :- n27.
c37 :- n7.
c37 :- p15.
c37 :- p19.
c38 :- n7.
c38 :- n8.
c38 :- p28.
c39 :- p10.
c39 :- p11.
c39 :- n16.
c40 :- p35.
c40 :- p1.
c40 :- n18.
c41 :- n16.
c41 :- p5.
c41 :- p12.
c42 :- p2.
c42 :- p18.
c42 :- n20.
c43 :- n23.
c43 :- n3.
c43 :- n12.
c44 :- p15.
c44 :- n25.
c44 :- p11.
c45 :- n31.
c45 :- n34.
c45 :- n10.
c46 :- p3.
c46 :- p22.
c46 :- p13.
c47 :- p29.
c47 :- n19.
c47 :- n26.
c48 :- p33.
c48 :- p10.
c48 :- p15.
c49 :- p32.
c49 :- n28.
c49 :- p6.
c50 :- p27.
c50 :- p14.
c50 :- n25.
c51 :- n22.
c51 :- n35.
c51 :- n16.
c52 :- n2.
c52 :- n11.
c52 :- n20.
c53 :- p35.
c53 :- p15.
c53 :- n38.
c54 :- p21.
c54 :- n8.
c54 :- p23.
c55 :- n33.
c55 :- p29.
c55 :- p30.
c56 :- n33.
c56 :- n24.
c56 :- p38.
c57 :- p12.
c57 :- p7.
c57 :- n33.
c58 :- p22.
c58 :- p35.
c58 :- p36.
c59 :- p29.
c59 :- p37.
c59 :- p14.
c60 :- p16.
c60 :- p27.
c60 :- p25.
c61 :- p28.
c61 :- p23.
c61 :- p20.
c62 :- n7.
c62 :- n5.
c62 :- p15.
c63 :- p20.
c63 :- p9.
c63 :- p10.
c64 :- p29.
c64 :- p7.
c64 :- p23.
c65 :- n31.
c65 :- n25.
c65 :- n12.
c66 :- p11.
c66 :- n9.
c66 :- p24.
c67 :- n39.
c67 :- p31.
c67 :- p21.
c68 :- p20.
c68 :- n40.
c68 :- p7.
c69 :- n15.
c69 :- n3.
c69 :- p24.
c70 :- n22.
c70 :- n27.
c70 :- p2.
c71 :- p26.
c71 :- n3.
c71 :- n31.
c72 :- n25.
c72 :- n23.
c72 :- p14.
c73 :- n4.
c73 :- p7.
c73 :- n34.
c74 :- p27.
c74 :- n3.
c74 :- n1.
c75 :- n27.
c75 :- n12.
c75 :- p15.
c76 :- n10.
c76 :- n21.
c76 :- p2.
c77 :- n15.
c77 :- p6.
c77 :- n1.
c78 :- p13.
c78 :- n6.
c78 :- p26.
c79 :- n37.
c79 :- n34.
c79 :- p8.
c80 :- n10.
c80 :- p22.
c80 :- n18.
c81 :- n23.
c81 :- n3.
c81 :- n26.
c82 :- p1.
c82 :- p9.
c82 :- n12.
c83 :- p20.
c83 :- p32.
c83 :- n11.
c84 :- n11.
c84 :- p10.
c84 :- p18.
c85 :- n7.
c85 :- p11.
c85 :- p32.
c86 :- p5.
c86 :- p15.
c86 :- p22.
c87 :- n20.
c87 :- n17.
c87 :- p39.
c88 :- n40.
c88 :- n27.
c88 :- n15.
c89 :- n39.
c89 :- p9.
c89 :- n26.
c90 :- n23.
c90 :- p5.
c90 :- n34.
c91 :- n2.
c91 :- n23.
c91 :- n11.
c92 :- p34.
c92 :- n14.
c92 :- p27.
c93 :- n29.
c93 :- p17.
c93 :- n1.
c94 :- p19.
c94 :- n4.
c94 :- n9.
c95 :- p19.
c95 :- n34.
c95 :- n3.
c96 :- p8.
c96 :- n33.
c96 :- n36.
c97 :- p21.
c97 :- n33.
c97 :- p35.
c98 :- p13.
c98 :- n5.
c98 :- p36.
c99 :- n5.
c99 :- n9.
c99 :- n8.
c100 :- p37.
c100 :- p18.
c100 :- p39.
c101 :- n6.
c101 :- n27.
c101 :- n30.
c102 :- n13.
c102 :- p39.
c102 :- n38.
c103 :- n19.
c103 :- n8.
c103 :- n24.
c104 :- n16.
c104 :- n8.
c104 :- n21.
c105 :- n15.
c105 :- n38.
c105 :- n4.
c106 :- n28.
c106 :- n13.
c106 :- p39.
c107 :- n30.
c107 :- n3.
c107 :- n28.
c108 :- n4.
c108 :- p37.
c108 :- p19.
c109 :- n30.
c109 :- p39.
c109 :- n7.
c110 :- n18.
c110 :- n38.
c110 :- p28.
c111 :- p2.
c111 :- p9.
c111 :- n38.
c112 :- p31.
c112 :- n33.
c112 :- n6.
c113 :- p36.
c113 :- n13.
c113 :- p24.
c114 :- n9.
c114 :- p14.
c114 :- n15.
c115 :- n14.
c115 :- n34.
c115 :- n27.
c116 :- p29.
c116 :- n38.
c116 :- n15.
c117 :- n12.
c117 :- n30.
c117 :- p13.
c118 :- p40.
c118 :- p13.
c118 :- n5.
c119 :- p11.
c119 :- p19.
c119 :- p9.
c120 :- n9.
c120 :- n37.
c120 :- n10.
c121 :- p28.
c121 :- p29.
c121 :- n12.
c122 :- n11.
c122 :- n27.
c122 :- p24.
c123 :- n18.
c123 :- p38.
c123 :- p5.
c124 :- p26.
c124 :- p20.
c124 :- p18.
c125 :- p1.
c125 :- p26.
c125 :- n39.
c126 :- n35.
c126 :- p3.
c126 :- n26.
c127 :- n18.
c127 :- n4.
c127 :- p19.
c128 :- p5.
c128 :- p18.
c128 :- n23.
c129 :- n4.
c129 :- p39.
c129 :- n9.
c130 :- p37.
c130 :- p13.
c130 :- p8.
c131 :- p5.
c131 :- p38.
c131 :- p25.
c132 :- n26.
c132 :- p14.
c132 :- n37.
c133 :- p15.
c133 :- n5.
c133 :- p35.
c134 :- n28.
c134 :- n27.
c134 :- n4.
c135 :- n35.
c135 :- n10.
c135 :- p27.
c136 :- n25.
c136 :- p33.
c136 :- p34.
c137 :- p34.
c137 :- p32.
c137 :- p3.
c138 :- p39.
c138 :- n1.
c138 :- p7.
c139 :- n31.
c139 :- n17.
c139 :- p40.
c140 :- n8.
c140 :- n39.
c140 :- p23.
c141 :- p30.
c141 :- n17.
c141 :- p35.
c142 :- p37.
c142 :- n2.
c142 :- n40.
c143 :- p34.
c143 :- p22.
c143 :- n19.
c144 :- p6.
c144 :- n37.
c144 :- p25.
c145 :- p17.
c145 :- n21.
c145 :- p27.
c146 :- p33.
c146 :- p36.
c146 :- n28.
c147 :- p36.
c147 :- n39.
c147 :- p30.
c148 :- p14.
c148 :- n24.
c148 :- n35.
c149 :- n40.
c149 :- p13.
c149 :- n30.
c150 :- n4.
c150 :- n17.
c150 :- p32.
c151 :- p33.
c151 :- n32.
c151 :- p21.
c152 :- p7.
c152 :- n25.
c152 :- n38.
c153 :- p39.
c153 :- p29.
c153 :- n37.
c154 :- n21.
c154 :- p40.
c154 :- n26.
c155 :- p31.
c155 :- n17.
c155 :- n12.
c156 :- n37.
c156 :- n7.
c156 :- n32.
c157 :- n17.
c157 :- p16.
c157 :- n1.
c158 :- n17.
c158 :- p39.
c158 :- p35.
c159 :- n1.
c159 :- n33.
c159 :- p22.
c160 :- n7.
c160 :- n3.
c160 :- p30.
c161 :- n17.
c161 :- p3.
c161 :- p11.
c162 :- n17.
c162 :- p28.
c162 :- n35.
c163 :- p15.
c163 :- p2.
c163 :- n25.
c164 :- n32.
c164 :- p7.
c164 :- n29.
c165 :- p26.
c165 :- n31.
c165 :- p2.
c166 :- n11.
c166 :- n8.
c166 :- p3.
c167 :- p33.
c167 :- p8.
c167 :- n20.
c168 :- p23.
c168 :- p20.
c168 :- n32.
c169 :- n32.
c169 :- n7.
c169 :- p19.
c170 :- p38.
c170 :- p40.
c170 :- p3.
c171 :- n28.
c171 :- n1.
c171 :- n19.
c172 :- n34.
c172 :- n39.
c172 :- p22.
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.
p31 :- not n31.
n31 :- not p31.
p32 :- not n32.
n32 :- not p32.
p33 :- not n33.
n33 :- not p33.
p34 :- not n34.
n34 :- not p34.
p35 :- not n35.
n35 :- not p35.
p36 :- not n36.
n36 :- not p36.
p37 :- not n37.
n37 :- not p37.
p38 :- not n38.
n38 :- not p38.
p39 :- not n39.
n39 :- not p39.
p40 :- not n40.
n40 :- not p40.
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, c130, c131, c132, c133, c134, c135, c136, c137, c138, c139, c140, c141, c142, c143, c144, c145, c146, c147, c148, c149, c150, c151, c152, c153, c154, c155, c156, c157, c158, c159, c160, c161, c162, c163, c164, c165, c166, c167, c168, c169, c170, c171, c172 }
