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