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