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