c1 :- n86.
c1 :- p77.
c1 :- n6.
c2 :- n5.
c2 :- p34.
c2 :- n90.
c3 :- p86.
c3 :- p73.
c3 :- n50.
c4 :- n43.
c4 :- n17.
c4 :- n1.
c5 :- n20.
c5 :- p52.
c5 :- n56.
c6 :- p35.
c6 :- p90.
c6 :- p18.
c7 :- p46.
c7 :- p35.
c7 :- p73.
c8 :- n68.
c8 :- n16.
c8 :- p78.
c9 :- p13.
c9 :- p82.
c9 :- p38.
c10 :- n75.
c10 :- p16.
c10 :- n28.
c11 :- p72.
c11 :- n14.
c11 :- p32.
c12 :- p39.
c12 :- n61.
c12 :- p6.
c13 :- p79.
c13 :- n7.
c13 :- p4.
c14 :- p49.
c14 :- n60.
c14 :- n86.
c15 :- n63.
c15 :- n19.
c15 :- p60.
c16 :- n84.
c16 :- n3.
c16 :- p53.
c17 :- n48.
c17 :- n2.
c17 :- p1.
c18 :- n3.
c18 :- n62.
c18 :- n88.
c19 :- n63.
c19 :- p48.
c19 :- p67.
c20 :- p13.
c20 :- p68.
c20 :- n29.
c21 :- p21.
c21 :- p75.
c21 :- n14.
c22 :- n12.
c22 :- p18.
c22 :- n68.
c23 :- p55.
c23 :- n73.
c23 :- p37.
c24 :- n59.
c24 :- n13.
c24 :- p45.
c25 :- n7.
c25 :- p80.
c25 :- p88.
c26 :- p61.
c26 :- n55.
c26 :- n22.
c27 :- p16.
c27 :- p42.
c27 :- n27.
c28 :- n44.
c28 :- p18.
c28 :- n75.
c29 :- p27.
c29 :- n84.
c29 :- p41.
c30 :- n68.
c30 :- n85.
c30 :- p4.
c31 :- n73.
c31 :- p5.
c31 :- p1.
c32 :- p53.
c32 :- n63.
c32 :- p81.
c33 :- n79.
c33 :- n57.
c33 :- n5.
c34 :- n59.
c34 :- p51.
c34 :- p70.
c35 :- n61.
c35 :- p12.
c35 :- p14.
c36 :- n11.
c36 :- p20.
c36 :- n53.
c37 :- p50.
c37 :- n89.
c37 :- p86.
c38 :- n28.
c38 :- p65.
c38 :- p33.
c39 :- n21.
c39 :- p11.
c39 :- p35.
c40 :- n52.
c40 :- p5.
c40 :- n68.
c41 :- p88.
c41 :- p24.
c41 :- n40.
c42 :- p72.
c42 :- n59.
c42 :- p6.
c43 :- p50.
c43 :- n87.
c43 :- n3.
c44 :- p9.
c44 :- n31.
c44 :- p64.
c45 :- p59.
c45 :- n74.
c45 :- n23.
c46 :- p23.
c46 :- p59.
c46 :- p89.
c47 :- n35.
c47 :- p62.
c47 :- p79.
c48 :- n68.
c48 :- p57.
c48 :- n82.
c49 :- n33.
c49 :- n18.
c49 :- p58.
c50 :- n6.
c50 :- p89.
c50 :- n46.
c51 :- p78.
c51 :- p80.
c51 :- n71.
c52 :- p8.
c52 :- p41.
c52 :- n79.
c53 :- n40.
c53 :- p14.
c53 :- n80.
c54 :- p65.
c54 :- p3.
c54 :- p76.
c55 :- n17.
c55 :- n82.
c55 :- p90.
c56 :- p7.
c56 :- p34.
c56 :- n10.
c57 :- n39.
c57 :- n14.
c57 :- p81.
c58 :- n25.
c58 :- n77.
c58 :- p52.
c59 :- n20.
c59 :- p84.
c59 :- p77.
c60 :- p57.
c60 :- n4.
c60 :- p17.
c61 :- p38.
c61 :- p34.
c61 :- n58.
c62 :- p35.
c62 :- p20.
c62 :- p1.
c63 :- p26.
c63 :- n85.
c63 :- p24.
c64 :- n61.
c64 :- p42.
c64 :- p88.
c65 :- p34.
c65 :- p78.
c65 :- p39.
c66 :- n74.
c66 :- p5.
c66 :- p9.
c67 :- p28.
c67 :- n48.
c67 :- n61.
c68 :- n28.
c68 :- p60.
c68 :- p25.
c69 :- n55.
c69 :- n69.
c69 :- n50.
c70 :- p88.
c70 :- n21.
c70 :- n58.
c71 :- p64.
c71 :- p67.
c71 :- n82.
c72 :- p24.
c72 :- p58.
c72 :- p90.
c73 :- p76.
c73 :- n36.
c73 :- p56.
c74 :- n18.
c74 :- n13.
c74 :- p5.
c75 :- p61.
c75 :- n24.
c75 :- p64.
c76 :- p67.
c76 :- p84.
c76 :- n33.
c77 :- p10.
c77 :- p13.
c77 :- n82.
c78 :- n58.
c78 :- n44.
c78 :- p36.
c79 :- p49.
c79 :- n85.
c79 :- p6.
c80 :- n6.
c80 :- p46.
c80 :- p17.
c81 :- p49.
c81 :- n12.
c81 :- p83.
c82 :- n67.
c82 :- n41.
c82 :- n84.
c83 :- p19.
c83 :- p31.
c83 :- p16.
c84 :- n26.
c84 :- n41.
c84 :- p29.
c85 :- n7.
c85 :- n71.
c85 :- n39.
c86 :- n47.
c86 :- n41.
c86 :- n44.
c87 :- n65.
c87 :- n23.
c87 :- n71.
c88 :- n64.
c88 :- p79.
c88 :- n42.
c89 :- n81.
c89 :- n61.
c89 :- p2.
c90 :- p88.
c90 :- p28.
c90 :- p24.
c91 :- n4.
c91 :- n8.
c91 :- p28.
c92 :- n28.
c92 :- n11.
c92 :- n86.
c93 :- p8.
c93 :- n85.
c93 :- p67.
c94 :- n23.
c94 :- n2.
c94 :- p57.
c95 :- n61.
c95 :- n42.
c95 :- p4.
c96 :- n68.
c96 :- n2.
c96 :- p58.
c97 :- p82.
c97 :- p67.
c97 :- n26.
c98 :- n29.
c98 :- n46.
c98 :- p44.
c99 :- p41.
c99 :- n22.
c99 :- p13.
c100 :- p36.
c100 :- n2.
c100 :- p29.
c101 :- n87.
c101 :- p1.
c101 :- p26.
c102 :- p56.
c102 :- p84.
c102 :- n36.
c103 :- n75.
c103 :- n18.
c103 :- p22.
c104 :- n55.
c104 :- p59.
c104 :- p8.
c105 :- p65.
c105 :- n12.
c105 :- n59.
c106 :- p23.
c106 :- p55.
c106 :- n44.
c107 :- p69.
c107 :- p32.
c107 :- p55.
c108 :- n28.
c108 :- p59.
c108 :- p62.
c109 :- p87.
c109 :- p13.
c109 :- p11.
c110 :- n23.
c110 :- p68.
c110 :- n37.
c111 :- p86.
c111 :- n55.
c111 :- n60.
c112 :- n10.
c112 :- p4.
c112 :- p30.
c113 :- n69.
c113 :- p6.
c113 :- p71.
c114 :- n82.
c114 :- n64.
c114 :- n3.
c115 :- n78.
c115 :- p66.
c115 :- n73.
c116 :- p29.
c116 :- n66.
c116 :- n82.
c117 :- p85.
c117 :- p76.
c117 :- p21.
c118 :- n37.
c118 :- p79.
c118 :- p57.
c119 :- p59.
c119 :- p34.
c119 :- n8.
c120 :- n28.
c120 :- p74.
c120 :- n27.
c121 :- p38.
c121 :- p50.
c121 :- p72.
c122 :- p46.
c122 :- n41.
c122 :- p33.
c123 :- p80.
c123 :- n63.
c123 :- n46.
c124 :- n80.
c124 :- p10.
c124 :- n83.
c125 :- n10.
c125 :- p60.
c125 :- p76.
c126 :- p42.
c126 :- p30.
c126 :- n4.
c127 :- p33.
c127 :- n66.
c127 :- n53.
c128 :- p32.
c128 :- p45.
c128 :- n13.
c129 :- p36.
c129 :- n80.
c129 :- p76.
c130 :- n68.
c130 :- n11.
c130 :- n39.
c131 :- p60.
c131 :- n50.
c131 :- n61.
c132 :- n37.
c132 :- p67.
c132 :- n56.
c133 :- n1.
c133 :- n36.
c133 :- p66.
c134 :- n80.
c134 :- p20.
c134 :- n18.
c135 :- n44.
c135 :- p39.
c135 :- n80.
c136 :- n75.
c136 :- n23.
c136 :- n47.
c137 :- p87.
c137 :- n85.
c137 :- n57.
c138 :- n35.
c138 :- p8.
c138 :- p6.
c139 :- n90.
c139 :- n61.
c139 :- p60.
c140 :- p87.
c140 :- n41.
c140 :- n17.
c141 :- p35.
c141 :- p69.
c141 :- n54.
c142 :- n85.
c142 :- n33.
c142 :- p58.
c143 :- n74.
c143 :- p43.
c143 :- p33.
c144 :- n81.
c144 :- n66.
c144 :- n75.
c145 :- p81.
c145 :- n3.
c145 :- n23.
c146 :- p90.
c146 :- p37.
c146 :- n47.
c147 :- n26.
c147 :- n74.
c147 :- p77.
c148 :- p57.
c148 :- n32.
c148 :- p88.
c149 :- n65.
c149 :- n24.
c149 :- p40.
c150 :- p31.
c150 :- n40.
c150 :- p86.
c151 :- n69.
c151 :- p59.
c151 :- p33.
c152 :- n69.
c152 :- p47.
c152 :- p19.
c153 :- n49.
c153 :- n20.
c153 :- n8.
c154 :- p72.
c154 :- n45.
c154 :- n26.
c155 :- n66.
c155 :- p86.
c155 :- n63.
c156 :- n71.
c156 :- p79.
c156 :- n1.
c157 :- n49.
c157 :- n6.
c157 :- n31.
c158 :- p43.
c158 :- p71.
c158 :- p51.
c159 :- p52.
c159 :- n21.
c159 :- n74.
c160 :- n62.
c160 :- n68.
c160 :- n35.
c161 :- n29.
c161 :- p85.
c161 :- p8.
c162 :- n28.
c162 :- n5.
c162 :- p84.
c163 :- p30.
c163 :- n10.
c163 :- n47.
c164 :- p90.
c164 :- p37.
c164 :- n84.
c165 :- n32.
c165 :- p71.
c165 :- p52.
c166 :- p39.
c166 :- n72.
c166 :- p70.
c167 :- n25.
c167 :- n82.
c167 :- p10.
c168 :- n15.
c168 :- n70.
c168 :- p30.
c169 :- n68.
c169 :- p10.
c169 :- n29.
c170 :- n79.
c170 :- n4.
c170 :- p46.
c171 :- n43.
c171 :- p87.
c171 :- p65.
c172 :- n28.
c172 :- p29.
c172 :- p21.
c173 :- p20.
c173 :- p23.
c173 :- n3.
c174 :- p79.
c174 :- p23.
c174 :- n22.
c175 :- n82.
c175 :- n86.
c175 :- p50.
c176 :- n82.
c176 :- n1.
c176 :- n57.
c177 :- p10.
c177 :- p12.
c177 :- p51.
c178 :- n53.
c178 :- p81.
c178 :- n6.
c179 :- n30.
c179 :- n80.
c179 :- p35.
c180 :- p60.
c180 :- p12.
c180 :- n38.
c181 :- n79.
c181 :- n15.
c181 :- n87.
c182 :- n67.
c182 :- p4.
c182 :- n44.
c183 :- n62.
c183 :- p10.
c183 :- p58.
c184 :- p79.
c184 :- p57.
c184 :- n11.
c185 :- n65.
c185 :- n39.
c185 :- p42.
c186 :- p61.
c186 :- p7.
c186 :- p41.
c187 :- p38.
c187 :- p79.
c187 :- n1.
c188 :- n58.
c188 :- n39.
c188 :- n6.
c189 :- p84.
c189 :- p55.
c189 :- n50.
c190 :- p34.
c190 :- p66.
c190 :- p29.
c191 :- p63.
c191 :- p10.
c191 :- p54.
c192 :- p11.
c192 :- p65.
c192 :- n55.
c193 :- n59.
c193 :- p75.
c193 :- n84.
c194 :- n19.
c194 :- p56.
c194 :- p76.
c195 :- n59.
c195 :- n17.
c195 :- p52.
c196 :- p7.
c196 :- n78.
c196 :- p10.
c197 :- n88.
c197 :- p63.
c197 :- n64.
c198 :- p8.
c198 :- n55.
c198 :- p65.
c199 :- p23.
c199 :- p61.
c199 :- n2.
c200 :- n47.
c200 :- n59.
c200 :- n38.
c201 :- p8.
c201 :- n24.
c201 :- n2.
c202 :- p15.
c202 :- p5.
c202 :- n78.
c203 :- p30.
c203 :- n79.
c203 :- n77.
c204 :- p3.
c204 :- p78.
c204 :- n50.
c205 :- p77.
c205 :- p4.
c205 :- n71.
c206 :- n1.
c206 :- n70.
c206 :- p74.
c207 :- p17.
c207 :- p25.
c207 :- n85.
c208 :- n77.
c208 :- p56.
c208 :- n16.
c209 :- n53.
c209 :- p24.
c209 :- n58.
c210 :- n24.
c210 :- n27.
c210 :- p19.
c211 :- p1.
c211 :- n27.
c211 :- n23.
c212 :- n26.
c212 :- n6.
c212 :- p57.
c213 :- n10.
c213 :- p48.
c213 :- p47.
c214 :- p57.
c214 :- n86.
c214 :- n53.
c215 :- p39.
c215 :- n83.
c215 :- p82.
c216 :- n63.
c216 :- n48.
c216 :- n83.
c217 :- p27.
c217 :- p71.
c217 :- n40.
c218 :- p37.
c218 :- n24.
c218 :- n19.
c219 :- n23.
c219 :- n66.
c219 :- p48.
c220 :- n40.
c220 :- p90.
c220 :- p9.
c221 :- n48.
c221 :- n5.
c221 :- n14.
c222 :- n36.
c222 :- n40.
c222 :- n39.
c223 :- p8.
c223 :- p31.
c223 :- p77.
c224 :- n79.
c224 :- n59.
c224 :- n24.
c225 :- p15.
c225 :- p7.
c225 :- p37.
c226 :- n41.
c226 :- n46.
c226 :- n74.
c227 :- p36.
c227 :- p7.
c227 :- n74.
c228 :- n89.
c228 :- p12.
c228 :- p22.
c229 :- p34.
c229 :- p78.
c229 :- n27.
c230 :- p4.
c230 :- n14.
c230 :- p90.
c231 :- n18.
c231 :- p90.
c231 :- n44.
c232 :- n87.
c232 :- n12.
c232 :- p21.
c233 :- p24.
c233 :- p46.
c233 :- n36.
c234 :- p14.
c234 :- n78.
c234 :- n75.
c235 :- p72.
c235 :- n10.
c235 :- n35.
c236 :- p31.
c236 :- p28.
c236 :- n84.
c237 :- p50.
c237 :- n39.
c237 :- n34.
c238 :- p56.
c238 :- n57.
c238 :- n89.
c239 :- n88.
c239 :- n77.
c239 :- p31.
c240 :- n56.
c240 :- p59.
c240 :- p8.
c241 :- p85.
c241 :- p32.
c241 :- n7.
c242 :- n62.
c242 :- p78.
c242 :- n88.
c243 :- n48.
c243 :- p74.
c243 :- p10.
c244 :- n51.
c244 :- n34.
c244 :- p21.
c245 :- p79.
c245 :- n33.
c245 :- p15.
c246 :- n65.
c246 :- p41.
c246 :- p9.
c247 :- p30.
c247 :- n14.
c247 :- p24.
c248 :- p32.
c248 :- p67.
c248 :- n77.
c249 :- n76.
c249 :- p34.
c249 :- p18.
c250 :- n15.
c250 :- n64.
c250 :- n79.
c251 :- p59.
c251 :- p47.
c251 :- n76.
c252 :- n66.
c252 :- p71.
c252 :- p42.
c253 :- n55.
c253 :- p52.
c253 :- n88.
c254 :- p77.
c254 :- n41.
c254 :- n67.
c255 :- p12.
c255 :- n75.
c255 :- n78.
c256 :- n36.
c256 :- n33.
c256 :- n69.
c257 :- n11.
c257 :- n37.
c257 :- n38.
c258 :- n73.
c258 :- p13.
c258 :- n20.
c259 :- p14.
c259 :- n2.
c259 :- n76.
c260 :- n4.
c260 :- p69.
c260 :- p30.
c261 :- n14.
c261 :- n66.
c261 :- p37.
c262 :- n12.
c262 :- n21.
c262 :- n6.
c263 :- n17.
c263 :- p54.
c263 :- p29.
c264 :- n71.
c264 :- n9.
c264 :- p46.
c265 :- n12.
c265 :- n54.
c265 :- p81.
c266 :- n46.
c266 :- n34.
c266 :- p49.
c267 :- p14.
c267 :- p89.
c267 :- n79.
c268 :- n87.
c268 :- n25.
c268 :- p76.
c269 :- p31.
c269 :- p3.
c269 :- p80.
c270 :- n88.
c270 :- p70.
c270 :- n17.
c271 :- n62.
c271 :- n80.
c271 :- n19.
c272 :- p41.
c272 :- p61.
c272 :- n4.
c273 :- p51.
c273 :- p90.
c273 :- n89.
c274 :- n68.
c274 :- p17.
c274 :- p23.
c275 :- n72.
c275 :- n14.
c275 :- p74.
c276 :- n74.
c276 :- n77.
c276 :- n8.
c277 :- p60.
c277 :- p9.
c277 :- p63.
c278 :- p89.
c278 :- n11.
c278 :- p27.
c279 :- p70.
c279 :- p38.
c279 :- n81.
c280 :- p6.
c280 :- p38.
c280 :- n21.
c281 :- p7.
c281 :- p71.
c281 :- n61.
c282 :- p69.
c282 :- p17.
c282 :- n89.
c283 :- n69.
c283 :- p2.
c283 :- n8.
c284 :- n17.
c284 :- n30.
c284 :- p14.
c285 :- n66.
c285 :- n88.
c285 :- p31.
c286 :- n69.
c286 :- p45.
c286 :- n60.
c287 :- n81.
c287 :- p38.
c287 :- p72.
c288 :- n90.
c288 :- n71.
c288 :- n76.
c289 :- n35.
c289 :- n53.
c289 :- p28.
c290 :- n80.
c290 :- n86.
c290 :- p70.
c291 :- n47.
c291 :- p22.
c291 :- n11.
c292 :- p32.
c292 :- n65.
c292 :- p30.
c293 :- n49.
c293 :- n14.
c293 :- n12.
c294 :- p33.
c294 :- n17.
c294 :- n48.
c295 :- n42.
c295 :- p16.
c295 :- p78.
c296 :- n39.
c296 :- p43.
c296 :- p14.
c297 :- n4.
c297 :- n13.
c297 :- n61.
c298 :- n65.
c298 :- n36.
c298 :- n51.
c299 :- p34.
c299 :- n64.
c299 :- n63.
c300 :- n73.
c300 :- n89.
c300 :- p14.
c301 :- n53.
c301 :- p21.
c301 :- n14.
c302 :- p62.
c302 :- n34.
c302 :- p59.
c303 :- n32.
c303 :- p3.
c303 :- n82.
c304 :- p90.
c304 :- n21.
c304 :- n49.
c305 :- p60.
c305 :- n8.
c305 :- p4.
c306 :- p6.
c306 :- p44.
c306 :- n71.
c307 :- p5.
c307 :- n32.
c307 :- n86.
c308 :- p82.
c308 :- p62.
c308 :- n46.
c309 :- n35.
c309 :- n84.
c309 :- n79.
c310 :- n28.
c310 :- n26.
c310 :- p49.
c311 :- n30.
c311 :- n61.
c311 :- n39.
c312 :- n89.
c312 :- n8.
c312 :- n68.
c313 :- p48.
c313 :- n87.
c313 :- n8.
c314 :- p34.
c314 :- n79.
c314 :- n63.
c315 :- n81.
c315 :- p36.
c315 :- n17.
c316 :- n35.
c316 :- p50.
c316 :- p56.
c317 :- n33.
c317 :- p72.
c317 :- n28.
c318 :- p8.
c318 :- n36.
c318 :- p81.
c319 :- n47.
c319 :- n86.
c319 :- n24.
c320 :- p10.
c320 :- p59.
c320 :- p67.
c321 :- p73.
c321 :- p56.
c321 :- n47.
c322 :- p59.
c322 :- p85.
c322 :- p49.
c323 :- p81.
c323 :- p64.
c323 :- p73.
c324 :- p68.
c324 :- p86.
c324 :- n69.
c325 :- n85.
c325 :- n76.
c325 :- p30.
c326 :- p59.
c326 :- n45.
c326 :- n16.
c327 :- p45.
c327 :- p64.
c327 :- p61.
c328 :- n54.
c328 :- n64.
c328 :- n90.
c329 :- p70.
c329 :- n36.
c329 :- n87.
c330 :- p71.
c330 :- n45.
c330 :- p10.
c331 :- p22.
c331 :- n88.
c331 :- n40.
c332 :- n13.
c332 :- p71.
c332 :- n19.
c333 :- p62.
c333 :- n50.
c333 :- n65.
c334 :- p61.
c334 :- n27.
c334 :- p67.
c335 :- p43.
c335 :- n68.
c335 :- p72.
c336 :- n47.
c336 :- n60.
c336 :- p9.
c337 :- p3.
c337 :- p71.
c337 :- p15.
c338 :- p74.
c338 :- p39.
c338 :- n61.
c339 :- n79.
c339 :- p83.
c339 :- p43.
c340 :- n82.
c340 :- n16.
c340 :- n18.
c341 :- n74.
c341 :- n38.
c341 :- n26.
c342 :- p26.
c342 :- n50.
c342 :- p64.
c343 :- n50.
c343 :- p15.
c343 :- n41.
c344 :- p37.
c344 :- n12.
c344 :- n55.
c345 :- n29.
c345 :- n21.
c345 :- p6.
c346 :- n65.
c346 :- p28.
c346 :- p86.
c347 :- n45.
c347 :- n58.
c347 :- p2.
c348 :- n72.
c348 :- n19.
c348 :- p61.
c349 :- n84.
c349 :- p36.
c349 :- n58.
c350 :- p90.
c350 :- p15.
c350 :- n16.
c351 :- p15.
c351 :- n49.
c351 :- n50.
c352 :- p15.
c352 :- n17.
c352 :- n50.
c353 :- p25.
c353 :- p30.
c353 :- p75.
c354 :- n3.
c354 :- p59.
c354 :- n20.
c355 :- p18.
c355 :- n31.
c355 :- n20.
c356 :- n55.
c356 :- p26.
c356 :- p15.
c357 :- p7.
c357 :- n64.
c357 :- p56.
c358 :- n74.
c358 :- n29.
c358 :- p5.
c359 :- n56.
c359 :- n78.
c359 :- n39.
c360 :- n42.
c360 :- p27.
c360 :- p9.
c361 :- p27.
c361 :- n76.
c361 :- n7.
c362 :- p42.
c362 :- n20.
c362 :- n29.
c363 :- n72.
c363 :- p73.
c363 :- n23.
c364 :- n18.
c364 :- p71.
c364 :- p9.
c365 :- p35.
c365 :- p20.
c365 :- n6.
c366 :- n76.
c366 :- p31.
c366 :- n26.
c367 :- n47.
c367 :- n76.
c367 :- p58.
c368 :- n32.
c368 :- p78.
c368 :- n90.
c369 :- p37.
c369 :- p43.
c369 :- p86.
c370 :- p77.
c370 :- n5.
c370 :- p84.
c371 :- p32.
c371 :- n47.
c371 :- p29.
c372 :- p5.
c372 :- n9.
c372 :- n61.
c373 :- p42.
c373 :- n39.
c373 :- n2.
c374 :- p18.
c374 :- n52.
c374 :- p83.
c375 :- p40.
c375 :- n44.
c375 :- n19.
c376 :- p31.
c376 :- p81.
c376 :- p88.
c377 :- n44.
c377 :- p14.
c377 :- n5.
c378 :- n29.
c378 :- p3.
c378 :- n12.
c379 :- n70.
c379 :- p23.
c379 :- p40.
c380 :- p77.
c380 :- p37.
c380 :- n65.
c381 :- n46.
c381 :- p61.
c381 :- p15.
c382 :- n2.
c382 :- n35.
c382 :- p89.
c383 :- p32.
c383 :- p39.
c383 :- n52.
c384 :- n84.
c384 :- p23.
c384 :- n41.
c385 :- p16.
c385 :- p84.
c385 :- p36.
c386 :- n14.
c386 :- p58.
c386 :- p51.
c387 :- p13.
c387 :- p26.
c387 :- n37.
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.
p61 :- not n61.
n61 :- not p61.
p62 :- not n62.
n62 :- not p62.
p63 :- not n63.
n63 :- not p63.
p64 :- not n64.
n64 :- not p64.
p65 :- not n65.
n65 :- not p65.
p66 :- not n66.
n66 :- not p66.
p67 :- not n67.
n67 :- not p67.
p68 :- not n68.
n68 :- not p68.
p69 :- not n69.
n69 :- not p69.
p70 :- not n70.
n70 :- not p70.
p71 :- not n71.
n71 :- not p71.
p72 :- not n72.
n72 :- not p72.
p73 :- not n73.
n73 :- not p73.
p74 :- not n74.
n74 :- not p74.
p75 :- not n75.
n75 :- not p75.
p76 :- not n76.
n76 :- not p76.
p77 :- not n77.
n77 :- not p77.
p78 :- not n78.
n78 :- not p78.
p79 :- not n79.
n79 :- not p79.
p80 :- not n80.
n80 :- not p80.
p81 :- not n81.
n81 :- not p81.
p82 :- not n82.
n82 :- not p82.
p83 :- not n83.
n83 :- not p83.
p84 :- not n84.
n84 :- not p84.
p85 :- not n85.
n85 :- not p85.
p86 :- not n86.
n86 :- not p86.
p87 :- not n87.
n87 :- not p87.
p88 :- not n88.
n88 :- not p88.
p89 :- not n89.
n89 :- not p89.
p90 :- not n90.
n90 :- not p90.
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, c259, c260, c261, c262, c263, c264, c265, c266, c267, c268, c269, c270, c271, c272, c273, c274, c275, c276, c277, c278, c279, c280, c281, c282, c283, c284, c285, c286, c287, c288, c289, c290, c291, c292, c293, c294, c295, c296, c297, c298, c299, c300, c301, c302, c303, c304, c305, c306, c307, c308, c309, c310, c311, c312, c313, c314, c315, c316, c317, c318, c319, c320, c321, c322, c323, c324, c325, c326, c327, c328, c329, c330, c331, c332, c333, c334, c335, c336, c337, c338, c339, c340, c341, c342, c343, c344, c345, c346, c347, c348, c349, c350, c351, c352, c353, c354, c355, c356, c357, c358, c359, c360, c361, c362, c363, c364, c365, c366, c367, c368, c369, c370, c371, c372, c373, c374, c375, c376, c377, c378, c379, c380, c381, c382, c383, c384, c385, c386, c387 }
