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