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