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