## ams_version=1.0 Model Main_sonet24v5 { Variable objvar; Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Constraint e1 { Definition: { (-136*b2*b3) - 360*b2 - 744*b3 - 344*b2*b4 - 744*b4 - 496*b2*b5 - 504*b5 - 192*b2*b6 - 64*b6 - 360*b2*b7 - 416*b7 - 168*b2*b8 - 432*b8 - 480*b2*b9 - 512*b9 - 96*b2*b10 - 192*b10 - 528*b2*b11 - 112*b11 - 424*b2*b12 - 32* b12 - 40*b2*b13 - 152*b13 - 648*b2*b14 - 568*b14 - 488*b2*b15 - 224*b15 - 80*b2*b16 - 104*b16 - 704*b2*b17 - 360*b17 - 616*b2*b18 - 416*b18 - 272*b2 *b19 - 632*b19 - 16*b2*b20 - 88*b20 - 656*b2*b21 - 320*b21 - 424*b2*b22 - 96*b22 - 208*b2*b23 - 456*b23 - 496*b2*b24 - 384*b24 - 144*b3*b4 - 568*b3* b5 - 112*b3*b6 - 776*b3*b7 - 656*b3*b8 - 432*b3*b9 - 72*b3*b10 - 736*b3* b11 - 440*b3*b12 - 624*b3*b13 - 696*b3*b14 - 552*b3*b15 - 16*b3*b16 - 256* b3*b17 - 336*b3*b18 - 112*b3*b19 - 360*b3*b20 - 480*b3*b21 - 536*b3*b22 - 16*b3*b23 - 336*b3*b24 - 648*b4*b5 - 512*b4*b6 - 656*b4*b7 - 464*b4*b8 - 784*b4*b9 - 288*b4*b10 - 736*b4*b11 - 24*b4*b12 - 496*b4*b13 - 432*b4*b14 - 168*b4*b15 - 680*b4*b16 - 552*b4*b17 - 560*b4*b18 - 160*b4*b19 - 600*b4 *b20 - 640*b4*b21 - 96*b4*b22 - 656*b4*b23 - 80*b4*b24 - 792*b5*b6 - 32*b5 *b7 - 104*b5*b8 - 672*b5*b9 - 784*b5*b10 - 216*b5*b11 - 648*b5*b12 - 472* b5*b13 - 376*b5*b14 - 664*b5*b15 - 424*b5*b16 - 640*b5*b17 - 280*b5*b19 - 720*b5*b20 - 784*b5*b21 - 568*b5*b22 - 664*b5*b23 - 432*b5*b24 - 688*b6*b7 - 712*b6*b8 - 216*b6*b9 - 568*b6*b10 - 80*b6*b11 - 784*b6*b12 - 728*b6* b13 - 688*b6*b14 - 240*b6*b15 - 440*b6*b16 - 160*b6*b17 - 320*b6*b18 - 56* b6*b19 - 608*b6*b20 - 424*b6*b21 - 728*b6*b22 - 600*b6*b23 - 264*b6*b24 - 576*b7*b8 - 272*b7*b9 - 256*b7*b10 - 56*b7*b11 - 696*b7*b12 - 512*b7*b13 - 56*b7*b14 - 592*b7*b15 - 432*b7*b16 - 464*b7*b17 - 776*b7*b18 - 712*b7* b19 - 96*b7*b20 - 664*b7*b21 - 632*b7*b22 - 312*b7*b23 - 56*b7*b24 - 712* b8*b9 - 712*b8*b10 - 784*b8*b11 - 216*b8*b12 - 152*b8*b13 - 48*b8*b14 - 480*b8*b16 - 104*b8*b17 - 608*b8*b18 - 520*b8*b19 - 448*b8*b20 - 408*b8* b21 - 400*b8*b22 - 224*b8*b23 - 296*b8*b24 - 272*b9*b10 - 696*b9*b11 - 192 *b9*b12 - 784*b9*b13 - 376*b9*b14 - 400*b9*b15 - 40*b9*b16 - 456*b9*b17 - 384*b9*b18 - 752*b9*b19 - 168*b9*b20 - 248*b9*b21 - 200*b9*b22 - 96*b9*b23 - 304*b9*b24 - 120*b10*b11 - 16*b10*b12 - 712*b10*b13 - 752*b10*b14 - 168 *b10*b15 - 760*b10*b16 - 752*b10*b17 - 264*b10*b18 - 64*b10*b19 - 568*b10* b20 - 792*b10*b21 - 512*b10*b22 - 592*b10*b23 - 8*b10*b24 - 352*b11*b12 - 96*b11*b13 - 288*b11*b14 - 664*b11*b15 - 704*b11*b16 - 272*b11*b17 - 240* b11*b18 - 312*b11*b19 - 312*b11*b20 - 312*b11*b21 - 696*b11*b22 - 688*b11* b23 - 480*b11*b24 - 560*b12*b13 - 88*b12*b14 - 584*b12*b15 - 72*b12*b16 - 624*b12*b17 - 600*b12*b18 - 400*b12*b19 - 584*b12*b20 - 384*b12*b21 - 360* b12*b22 - 152*b12*b23 - 656*b12*b24 - 40*b13*b14 - 720*b13*b15 - 264*b13* b16 - 168*b13*b17 - 136*b13*b18 - 272*b13*b19 - 520*b13*b20 - 648*b13*b21 - 560*b13*b22 - 552*b13*b24 - 456*b14*b15 - 664*b14*b16 - 480*b14*b17 - 768*b14*b18 - 176*b14*b19 - 792*b14*b20 - 272*b14*b21 - 664*b14*b22 - 176* b14*b23 - 368*b14*b24 - 448*b15*b16 - 664*b15*b17 - 192*b15*b18 - 664*b15* b19 - 264*b15*b20 - 392*b15*b21 - 248*b15*b22 - 240*b15*b23 - 552*b15*b24 - 520*b16*b17 - 280*b16*b18 - 88*b16*b19 - 784*b16*b20 - 448*b16*b21 - 640*b16*b22 - 680*b16*b23 - 584*b16*b24 - 488*b17*b18 - 440*b17*b19 - 200* b17*b20 - 664*b17*b21 - 96*b17*b22 - 64*b17*b23 - 760*b17*b24 - 488*b18* b19 - 248*b18*b20 - 376*b18*b21 - 760*b18*b22 - 528*b18*b23 - 552*b18*b24 - 744*b19*b20 - 592*b19*b21 - 416*b19*b22 - 560*b19*b23 - 456*b19*b24 - 680*b20*b21 - 568*b20*b22 - 320*b20*b23 - 120*b20*b24 - 320*b21*b22 - 464* b21*b23 - 16*b21*b24 - 32*b22*b23 - 448*b22*b24 - 80*b23*b24 - 136*b25*b26 - 344*b25*b27 - 496*b25*b28 - 192*b25*b29 - 360*b25*b30 - 168*b25*b31 - 480*b25*b32 - 96*b25*b33 - 528*b25*b34 - 424*b25*b35 - 40*b25*b36 - 648* b25*b37 - 488*b25*b38 - 80*b25*b39 - 704*b25*b40 - 616*b25*b41 - 272*b25* b42 - 16*b25*b43 - 656*b25*b44 - 424*b25*b45 - 208*b25*b46 - 496*b25*b47 - 144*b26*b27 - 568*b26*b28 - 112*b26*b29 - 776*b26*b30 - 656*b26*b31 - 432*b26*b32 - 72*b26*b33 - 736*b26*b34 - 440*b26*b35 - 624*b26*b36 - 696* b26*b37 - 552*b26*b38 - 16*b26*b39 - 256*b26*b40 - 336*b26*b41 - 112*b26* b42 - 360*b26*b43 - 480*b26*b44 - 536*b26*b45 - 16*b26*b46 - 336*b26*b47 - 648*b27*b28 - 512*b27*b29 - 656*b27*b30 - 464*b27*b31 - 784*b27*b32 - 288*b27*b33 - 736*b27*b34 - 24*b27*b35 - 496*b27*b36 - 432*b27*b37 - 168* b27*b38 - 680*b27*b39 - 552*b27*b40 - 560*b27*b41 - 160*b27*b42 - 600*b27* b43 - 640*b27*b44 - 96*b27*b45 - 656*b27*b46 - 80*b27*b47 - 792*b28*b29 - 32*b28*b30 - 104*b28*b31 - 672*b28*b32 - 784*b28*b33 - 216*b28*b34 - 648* b28*b35 - 472*b28*b36 - 376*b28*b37 - 664*b28*b38 - 424*b28*b39 - 640*b28* b40 - 280*b28*b42 - 720*b28*b43 - 784*b28*b44 - 568*b28*b45 - 664*b28*b46 - 432*b28*b47 - 688*b29*b30 - 712*b29*b31 - 216*b29*b32 - 568*b29*b33 - 80*b29*b34 - 784*b29*b35 - 728*b29*b36 - 688*b29*b37 - 240*b29*b38 - 440* b29*b39 - 160*b29*b40 - 320*b29*b41 - 56*b29*b42 - 608*b29*b43 - 424*b29* b44 - 728*b29*b45 - 600*b29*b46 - 264*b29*b47 - 576*b30*b31 - 272*b30*b32 - 256*b30*b33 - 56*b30*b34 - 696*b30*b35 - 512*b30*b36 - 56*b30*b37 - 592 *b30*b38 - 432*b30*b39 - 464*b30*b40 - 776*b30*b41 - 712*b30*b42 - 96*b30* b43 - 664*b30*b44 - 632*b30*b45 - 312*b30*b46 - 56*b30*b47 - 712*b31*b32 - 712*b31*b33 - 784*b31*b34 - 216*b31*b35 - 152*b31*b36 - 48*b31*b37 - 480*b31*b39 - 104*b31*b40 - 608*b31*b41 - 520*b31*b42 - 448*b31*b43 - 408* b31*b44 - 400*b31*b45 - 224*b31*b46 - 296*b31*b47 - 272*b32*b33 - 696*b32* b34 - 192*b32*b35 - 784*b32*b36 - 376*b32*b37 - 400*b32*b38 - 40*b32*b39 - 456*b32*b40 - 384*b32*b41 - 752*b32*b42 - 168*b32*b43 - 248*b32*b44 - 200*b32*b45 - 96*b32*b46 - 304*b32*b47 - 120*b33*b34 - 16*b33*b35 - 712* b33*b36 - 752*b33*b37 - 168*b33*b38 - 760*b33*b39 - 752*b33*b40 - 264*b33* b41 - 64*b33*b42 - 568*b33*b43 - 792*b33*b44 - 512*b33*b45 - 592*b33*b46 - 8*b33*b47 - 352*b34*b35 - 96*b34*b36 - 288*b34*b37 - 664*b34*b38 - 704* b34*b39 - 272*b34*b40 - 240*b34*b41 - 312*b34*b42 - 312*b34*b43 - 312*b34* b44 - 696*b34*b45 - 688*b34*b46 - 480*b34*b47 - 560*b35*b36 - 88*b35*b37 - 584*b35*b38 - 72*b35*b39 - 624*b35*b40 - 600*b35*b41 - 400*b35*b42 - 584*b35*b43 - 384*b35*b44 - 360*b35*b45 - 152*b35*b46 - 656*b35*b47 - 40* b36*b37 - 720*b36*b38 - 264*b36*b39 - 168*b36*b40 - 136*b36*b41 - 272*b36* b42 - 520*b36*b43 - 648*b36*b44 - 560*b36*b45 - 552*b36*b47 - 456*b37*b38 - 664*b37*b39 - 480*b37*b40 - 768*b37*b41 - 176*b37*b42 - 792*b37*b43 - 272*b37*b44 - 664*b37*b45 - 176*b37*b46 - 368*b37*b47 - 448*b38*b39 - 664* b38*b40 - 192*b38*b41 - 664*b38*b42 - 264*b38*b43 - 392*b38*b44 - 248*b38* b45 - 240*b38*b46 - 552*b38*b47 - 520*b39*b40 - 280*b39*b41 - 88*b39*b42 - 784*b39*b43 - 448*b39*b44 - 640*b39*b45 - 680*b39*b46 - 584*b39*b47 - 488*b40*b41 - 440*b40*b42 - 200*b40*b43 - 664*b40*b44 - 96*b40*b45 - 64* b40*b46 - 760*b40*b47 - 488*b41*b42 - 248*b41*b43 - 376*b41*b44 - 760*b41* b45 - 528*b41*b46 - 552*b41*b47 - 744*b42*b43 - 592*b42*b44 - 416*b42*b45 - 560*b42*b46 - 456*b42*b47 - 680*b43*b44 - 568*b43*b45 - 320*b43*b46 - 120*b43*b47 - 320*b44*b45 - 464*b44*b46 - 16*b44*b47 - 32*b45*b46 - 448* b45*b47 - 80*b46*b47 - 144*b48*b49 - 568*b48*b50 - 112*b48*b51 - 776*b48* b52 - 656*b48*b53 - 432*b48*b54 - 72*b48*b55 - 736*b48*b56 - 440*b48*b57 - 624*b48*b58 - 696*b48*b59 - 552*b48*b60 - 16*b48*b61 - 256*b48*b62 - 336*b48*b63 - 112*b48*b64 - 360*b48*b65 - 480*b48*b66 - 536*b48*b67 - 16* b48*b68 - 336*b48*b69 - 648*b49*b50 - 512*b49*b51 - 656*b49*b52 - 464*b49* b53 - 784*b49*b54 - 288*b49*b55 - 736*b49*b56 - 24*b49*b57 - 496*b49*b58 - 432*b49*b59 - 168*b49*b60 - 680*b49*b61 - 552*b49*b62 - 560*b49*b63 - 160*b49*b64 - 600*b49*b65 - 640*b49*b66 - 96*b49*b67 - 656*b49*b68 - 80* b49*b69 - 792*b50*b51 - 32*b50*b52 - 104*b50*b53 - 672*b50*b54 - 784*b50* b55 - 216*b50*b56 - 648*b50*b57 - 472*b50*b58 - 376*b50*b59 - 664*b50*b60 - 424*b50*b61 - 640*b50*b62 - 280*b50*b64 - 720*b50*b65 - 784*b50*b66 - 568*b50*b67 - 664*b50*b68 - 432*b50*b69 - 688*b51*b52 - 712*b51*b53 - 216* b51*b54 - 568*b51*b55 - 80*b51*b56 - 784*b51*b57 - 728*b51*b58 - 688*b51* b59 - 240*b51*b60 - 440*b51*b61 - 160*b51*b62 - 320*b51*b63 - 56*b51*b64 - 608*b51*b65 - 424*b51*b66 - 728*b51*b67 - 600*b51*b68 - 264*b51*b69 - 576*b52*b53 - 272*b52*b54 - 256*b52*b55 - 56*b52*b56 - 696*b52*b57 - 512* b52*b58 - 56*b52*b59 - 592*b52*b60 - 432*b52*b61 - 464*b52*b62 - 776*b52* b63 - 712*b52*b64 - 96*b52*b65 - 664*b52*b66 - 632*b52*b67 - 312*b52*b68 - 56*b52*b69 - 712*b53*b54 - 712*b53*b55 - 784*b53*b56 - 216*b53*b57 - 152*b53*b58 - 48*b53*b59 - 480*b53*b61 - 104*b53*b62 - 608*b53*b63 - 520* b53*b64 - 448*b53*b65 - 408*b53*b66 - 400*b53*b67 - 224*b53*b68 - 296*b53* b69 - 272*b54*b55 - 696*b54*b56 - 192*b54*b57 - 784*b54*b58 - 376*b54*b59 - 400*b54*b60 - 40*b54*b61 - 456*b54*b62 - 384*b54*b63 - 752*b54*b64 - 168*b54*b65 - 248*b54*b66 - 200*b54*b67 - 96*b54*b68 - 304*b54*b69 - 120* b55*b56 - 16*b55*b57 - 712*b55*b58 - 752*b55*b59 - 168*b55*b60 - 760*b55* b61 - 752*b55*b62 - 264*b55*b63 - 64*b55*b64 - 568*b55*b65 - 792*b55*b66 - 512*b55*b67 - 592*b55*b68 - 8*b55*b69 - 352*b56*b57 - 96*b56*b58 - 288* b56*b59 - 664*b56*b60 - 704*b56*b61 - 272*b56*b62 - 240*b56*b63 - 312*b56* b64 - 312*b56*b65 - 312*b56*b66 - 696*b56*b67 - 688*b56*b68 - 480*b56*b69 - 560*b57*b58 - 88*b57*b59 - 584*b57*b60 - 72*b57*b61 - 624*b57*b62 - 600 *b57*b63 - 400*b57*b64 - 584*b57*b65 - 384*b57*b66 - 360*b57*b67 - 152*b57 *b68 - 656*b57*b69 - 40*b58*b59 - 720*b58*b60 - 264*b58*b61 - 168*b58*b62 - 136*b58*b63 - 272*b58*b64 - 520*b58*b65 - 648*b58*b66 - 560*b58*b67 - 552*b58*b69 - 456*b59*b60 - 664*b59*b61 - 480*b59*b62 - 768*b59*b63 - 176* b59*b64 - 792*b59*b65 - 272*b59*b66 - 664*b59*b67 - 176*b59*b68 - 368*b59* b69 - 448*b60*b61 - 664*b60*b62 - 192*b60*b63 - 664*b60*b64 - 264*b60*b65 - 392*b60*b66 - 248*b60*b67 - 240*b60*b68 - 552*b60*b69 - 520*b61*b62 - 280*b61*b63 - 88*b61*b64 - 784*b61*b65 - 448*b61*b66 - 640*b61*b67 - 680* b61*b68 - 584*b61*b69 - 488*b62*b63 - 440*b62*b64 - 200*b62*b65 - 664*b62* b66 - 96*b62*b67 - 64*b62*b68 - 760*b62*b69 - 488*b63*b64 - 248*b63*b65 - 376*b63*b66 - 760*b63*b67 - 528*b63*b68 - 552*b63*b69 - 744*b64*b65 - 592* b64*b66 - 416*b64*b67 - 560*b64*b68 - 456*b64*b69 - 680*b65*b66 - 568*b65* b67 - 320*b65*b68 - 120*b65*b69 - 320*b66*b67 - 464*b66*b68 - 16*b66*b69 - 32*b67*b68 - 448*b67*b69 - 80*b68*b69 - 648*b70*b71 - 512*b70*b72 - 656 *b70*b73 - 464*b70*b74 - 784*b70*b75 - 288*b70*b76 - 736*b70*b77 - 24*b70* b78 - 496*b70*b79 - 432*b70*b80 - 168*b70*b81 - 680*b70*b82 - 552*b70*b83 - 560*b70*b84 - 160*b70*b85 - 600*b70*b86 - 640*b70*b87 - 96*b70*b88 - 656*b70*b89 - 80*b70*b90 - 792*b71*b72 - 32*b71*b73 - 104*b71*b74 - 672* b71*b75 - 784*b71*b76 - 216*b71*b77 - 648*b71*b78 - 472*b71*b79 - 376*b71* b80 - 664*b71*b81 - 424*b71*b82 - 640*b71*b83 - 280*b71*b85 - 720*b71*b86 - 784*b71*b87 - 568*b71*b88 - 664*b71*b89 - 432*b71*b90 - 688*b72*b73 - 712*b72*b74 - 216*b72*b75 - 568*b72*b76 - 80*b72*b77 - 784*b72*b78 - 728* b72*b79 - 688*b72*b80 - 240*b72*b81 - 440*b72*b82 - 160*b72*b83 - 320*b72* b84 - 56*b72*b85 - 608*b72*b86 - 424*b72*b87 - 728*b72*b88 - 600*b72*b89 - 264*b72*b90 - 576*b73*b74 - 272*b73*b75 - 256*b73*b76 - 56*b73*b77 - 696*b73*b78 - 512*b73*b79 - 56*b73*b80 - 592*b73*b81 - 432*b73*b82 - 464* b73*b83 - 776*b73*b84 - 712*b73*b85 - 96*b73*b86 - 664*b73*b87 - 632*b73* b88 - 312*b73*b89 - 56*b73*b90 - 712*b74*b75 - 712*b74*b76 - 784*b74*b77 - 216*b74*b78 - 152*b74*b79 - 48*b74*b80 - 480*b74*b82 - 104*b74*b83 - 608*b74*b84 - 520*b74*b85 - 448*b74*b86 - 408*b74*b87 - 400*b74*b88 - 224* b74*b89 - 296*b74*b90 - 272*b75*b76 - 696*b75*b77 - 192*b75*b78 - 784*b75* b79 - 376*b75*b80 - 400*b75*b81 - 40*b75*b82 - 456*b75*b83 - 384*b75*b84 - 752*b75*b85 - 168*b75*b86 - 248*b75*b87 - 200*b75*b88 - 96*b75*b89 - 304*b75*b90 - 120*b76*b77 - 16*b76*b78 - 712*b76*b79 - 752*b76*b80 - 168* b76*b81 - 760*b76*b82 - 752*b76*b83 - 264*b76*b84 - 64*b76*b85 - 568*b76* b86 - 792*b76*b87 - 512*b76*b88 - 592*b76*b89 - 8*b76*b90 - 352*b77*b78 - 96*b77*b79 - 288*b77*b80 - 664*b77*b81 - 704*b77*b82 - 272*b77*b83 - 240* b77*b84 - 312*b77*b85 - 312*b77*b86 - 312*b77*b87 - 696*b77*b88 - 688*b77* b89 - 480*b77*b90 - 560*b78*b79 - 88*b78*b80 - 584*b78*b81 - 72*b78*b82 - 624*b78*b83 - 600*b78*b84 - 400*b78*b85 - 584*b78*b86 - 384*b78*b87 - 360* b78*b88 - 152*b78*b89 - 656*b78*b90 - 40*b79*b80 - 720*b79*b81 - 264*b79* b82 - 168*b79*b83 - 136*b79*b84 - 272*b79*b85 - 520*b79*b86 - 648*b79*b87 - 560*b79*b88 - 552*b79*b90 - 456*b80*b81 - 664*b80*b82 - 480*b80*b83 - 768*b80*b84 - 176*b80*b85 - 792*b80*b86 - 272*b80*b87 - 664*b80*b88 - 176* b80*b89 - 368*b80*b90 - 448*b81*b82 - 664*b81*b83 - 192*b81*b84 - 664*b81* b85 - 264*b81*b86 - 392*b81*b87 - 248*b81*b88 - 240*b81*b89 - 552*b81*b90 - 520*b82*b83 - 280*b82*b84 - 88*b82*b85 - 784*b82*b86 - 448*b82*b87 - 640*b82*b88 - 680*b82*b89 - 584*b82*b90 - 488*b83*b84 - 440*b83*b85 - 200* b83*b86 - 664*b83*b87 - 96*b83*b88 - 64*b83*b89 - 760*b83*b90 - 488*b84* b85 - 248*b84*b86 - 376*b84*b87 - 760*b84*b88 - 528*b84*b89 - 552*b84*b90 - 744*b85*b86 - 592*b85*b87 - 416*b85*b88 - 560*b85*b89 - 456*b85*b90 - 680*b86*b87 - 568*b86*b88 - 320*b86*b89 - 120*b86*b90 - 320*b87*b88 - 464* b87*b89 - 16*b87*b90 - 32*b88*b89 - 448*b88*b90 - 80*b89*b90 - 792*b91*b92 - 32*b91*b93 - 104*b91*b94 - 672*b91*b95 - 784*b91*b96 - 216*b91*b97 - 648*b91*b98 - 472*b91*b99 - 376*b91*b100 - 664*b91*b101 - 424*b91*b102 - 640*b91*b103 - 280*b91*b104 - 720*b91*b105 - 784*b91*b106 - 568*b91*b107 - 664*b91*b108 - 432*b91*b109 - 688*b92*b93 - 712*b92*b94 - 216*b92*b95 - 568*b92*b96 - 80*b92*b97 - 784*b92*b98 - 728*b92*b99 - 688*b92*b100 - 240*b92*b101 - 440*b92*b102 - 160*b92*b103 - 56*b92*b104 - 608*b92*b105 - 424*b92*b106 - 728*b92*b107 - 600*b92*b108 - 264*b92*b109 - 320*b92*b110 - 576*b93*b94 - 272*b93*b95 - 256*b93*b96 - 56*b93*b97 - 696*b93*b98 - 512*b93*b99 - 56*b93*b100 - 592*b93*b101 - 432*b93*b102 - 464*b93*b103 - 712*b93*b104 - 96*b93*b105 - 664*b93*b106 - 632*b93*b107 - 312*b93*b108 - 56*b93*b109 - 776*b93*b110 - 712*b94*b95 - 712*b94*b96 - 784*b94*b97 - 216 *b94*b98 - 152*b94*b99 - 48*b94*b100 - 480*b94*b102 - 104*b94*b103 - 520* b94*b104 - 448*b94*b105 - 408*b94*b106 - 400*b94*b107 - 224*b94*b108 - 296 *b94*b109 - 608*b94*b110 - 272*b95*b96 - 696*b95*b97 - 192*b95*b98 - 784* b95*b99 - 376*b95*b100 - 400*b95*b101 - 40*b95*b102 - 456*b95*b103 - 752* b95*b104 - 168*b95*b105 - 248*b95*b106 - 200*b95*b107 - 96*b95*b108 - 304* b95*b109 - 384*b95*b110 - 120*b96*b97 - 16*b96*b98 - 712*b96*b99 - 752*b96 *b100 - 168*b96*b101 - 760*b96*b102 - 752*b96*b103 - 64*b96*b104 - 568*b96 *b105 - 792*b96*b106 - 512*b96*b107 - 592*b96*b108 - 8*b96*b109 - 264*b96* b110 - 352*b97*b98 - 96*b97*b99 - 288*b97*b100 - 664*b97*b101 - 704*b97* b102 - 272*b97*b103 - 312*b97*b104 - 312*b97*b105 - 312*b97*b106 - 696*b97 *b107 - 688*b97*b108 - 480*b97*b109 - 240*b97*b110 - 560*b98*b99 - 88*b98* b100 - 584*b98*b101 - 72*b98*b102 - 624*b98*b103 - 400*b98*b104 - 584*b98* b105 - 384*b98*b106 - 360*b98*b107 - 152*b98*b108 - 656*b98*b109 - 600*b98 *b110 - 40*b99*b100 - 720*b99*b101 - 264*b99*b102 - 168*b99*b103 - 272*b99 *b104 - 520*b99*b105 - 648*b99*b106 - 560*b99*b107 - 552*b99*b109 - 136* b99*b110 - 456*b100*b101 - 664*b100*b102 - 480*b100*b103 - 176*b100*b104 - 792*b100*b105 - 272*b100*b106 - 664*b100*b107 - 176*b100*b108 - 368* b100*b109 - 768*b100*b110 - 448*b101*b102 - 664*b101*b103 - 664*b101*b104 - 264*b101*b105 - 392*b101*b106 - 248*b101*b107 - 240*b101*b108 - 552* b101*b109 - 192*b101*b110 - 520*b102*b103 - 88*b102*b104 - 784*b102*b105 - 448*b102*b106 - 640*b102*b107 - 680*b102*b108 - 584*b102*b109 - 280* b102*b110 - 440*b103*b104 - 200*b103*b105 - 664*b103*b106 - 96*b103*b107 - 64*b103*b108 - 760*b103*b109 - 488*b103*b110 - 744*b104*b105 - 592*b104 *b106 - 416*b104*b107 - 560*b104*b108 - 456*b104*b109 - 488*b104*b110 - 680*b105*b106 - 568*b105*b107 - 320*b105*b108 - 120*b105*b109 - 248*b105* b110 - 320*b106*b107 - 464*b106*b108 - 16*b106*b109 - 376*b106*b110 - 32* b107*b108 - 448*b107*b109 - 760*b107*b110 - 80*b108*b109 - 528*b108*b110 - 552*b109*b110 - 688*b111*b112 - 712*b111*b113 - 216*b111*b114 - 568* b111*b115 - 80*b111*b116 - 784*b111*b117 - 728*b111*b118 - 688*b111*b119 - 240*b111*b120 - 440*b111*b121 - 160*b111*b122 - 320*b111*b123 - 56*b111 *b124 - 608*b111*b125 - 424*b111*b126 - 728*b111*b127 - 600*b111*b128 - 264*b111*b129 - 576*b112*b113 - 272*b112*b114 - 256*b112*b115 - 56*b112* b116 - 696*b112*b117 - 512*b112*b118 - 56*b112*b119 - 592*b112*b120 - 432* b112*b121 - 464*b112*b122 - 776*b112*b123 - 712*b112*b124 - 96*b112*b125 - 664*b112*b126 - 632*b112*b127 - 312*b112*b128 - 56*b112*b129 - 712*b113 *b114 - 712*b113*b115 - 784*b113*b116 - 216*b113*b117 - 152*b113*b118 - 48 *b113*b119 - 480*b113*b121 - 104*b113*b122 - 608*b113*b123 - 520*b113*b124 - 448*b113*b125 - 408*b113*b126 - 400*b113*b127 - 224*b113*b128 - 296* b113*b129 - 272*b114*b115 - 696*b114*b116 - 192*b114*b117 - 784*b114*b118 - 376*b114*b119 - 400*b114*b120 - 40*b114*b121 - 456*b114*b122 - 384*b114 *b123 - 752*b114*b124 - 168*b114*b125 - 248*b114*b126 - 200*b114*b127 - 96 *b114*b128 - 304*b114*b129 - 120*b115*b116 - 16*b115*b117 - 712*b115*b118 - 752*b115*b119 - 168*b115*b120 - 760*b115*b121 - 752*b115*b122 - 264* b115*b123 - 64*b115*b124 - 568*b115*b125 - 792*b115*b126 - 512*b115*b127 - 592*b115*b128 - 8*b115*b129 - 352*b116*b117 - 96*b116*b118 - 288*b116* b119 - 664*b116*b120 - 704*b116*b121 - 272*b116*b122 - 240*b116*b123 - 312 *b116*b124 - 312*b116*b125 - 312*b116*b126 - 696*b116*b127 - 688*b116*b128 - 480*b116*b129 - 560*b117*b118 - 88*b117*b119 - 584*b117*b120 - 72*b117* b121 - 624*b117*b122 - 600*b117*b123 - 400*b117*b124 - 584*b117*b125 - 384 *b117*b126 - 360*b117*b127 - 152*b117*b128 - 656*b117*b129 - 40*b118*b119 - 720*b118*b120 - 264*b118*b121 - 168*b118*b122 - 136*b118*b123 - 272* b118*b124 - 520*b118*b125 - 648*b118*b126 - 560*b118*b127 - 552*b118*b129 - 456*b119*b120 - 664*b119*b121 - 480*b119*b122 - 768*b119*b123 - 176* b119*b124 - 792*b119*b125 - 272*b119*b126 - 664*b119*b127 - 176*b119*b128 - 368*b119*b129 - 448*b120*b121 - 664*b120*b122 - 192*b120*b123 - 664* b120*b124 - 264*b120*b125 - 392*b120*b126 - 248*b120*b127 - 240*b120*b128 - 552*b120*b129 - 520*b121*b122 - 280*b121*b123 - 88*b121*b124 - 784*b121 *b125 - 448*b121*b126 - 640*b121*b127 - 680*b121*b128 - 584*b121*b129 - 488*b122*b123 - 440*b122*b124 - 200*b122*b125 - 664*b122*b126 - 96*b122* b127 - 64*b122*b128 - 760*b122*b129 - 488*b123*b124 - 248*b123*b125 - 376* b123*b126 - 760*b123*b127 - 528*b123*b128 - 552*b123*b129 - 744*b124*b125 - 592*b124*b126 - 416*b124*b127 - 560*b124*b128 - 456*b124*b129 - 680* b125*b126 - 568*b125*b127 - 320*b125*b128 - 120*b125*b129 - 320*b126*b127 - 464*b126*b128 - 16*b126*b129 - 32*b127*b128 - 448*b127*b129 - 80*b128* b129 - 576*b130*b131 - 272*b130*b132 - 256*b130*b133 - 56*b130*b134 - 696* b130*b135 - 512*b130*b136 - 56*b130*b137 - 592*b130*b138 - 432*b130*b139 - 464*b130*b140 - 776*b130*b141 - 712*b130*b142 - 96*b130*b143 - 664*b130 *b144 - 632*b130*b145 - 312*b130*b146 - 56*b130*b147 - 712*b131*b132 - 712 *b131*b133 - 784*b131*b134 - 216*b131*b135 - 152*b131*b136 - 48*b131*b137 - 480*b131*b139 - 104*b131*b140 - 608*b131*b141 - 520*b131*b142 - 448* b131*b143 - 408*b131*b144 - 400*b131*b145 - 224*b131*b146 - 296*b131*b147 - 272*b132*b133 - 696*b132*b134 - 192*b132*b135 - 784*b132*b136 - 376* b132*b137 - 400*b132*b138 - 40*b132*b139 - 456*b132*b140 - 384*b132*b141 - 752*b132*b142 - 168*b132*b143 - 248*b132*b144 - 200*b132*b145 - 96*b132 *b146 - 304*b132*b147 - 120*b133*b134 - 16*b133*b135 - 712*b133*b136 - 752 *b133*b137 - 168*b133*b138 - 760*b133*b139 - 752*b133*b140 - 264*b133*b141 - 64*b133*b142 - 568*b133*b143 - 792*b133*b144 - 512*b133*b145 - 592*b133 *b146 - 8*b133*b147 - 352*b134*b135 - 96*b134*b136 - 288*b134*b137 - 664* b134*b138 - 704*b134*b139 - 272*b134*b140 - 240*b134*b141 - 312*b134*b142 - 312*b134*b143 - 312*b134*b144 - 696*b134*b145 - 688*b134*b146 - 480* b134*b147 - 560*b135*b136 - 88*b135*b137 - 584*b135*b138 - 72*b135*b139 - 624*b135*b140 - 600*b135*b141 - 400*b135*b142 - 584*b135*b143 - 384*b135* b144 - 360*b135*b145 - 152*b135*b146 - 656*b135*b147 - 40*b136*b137 - 720* b136*b138 - 264*b136*b139 - 168*b136*b140 - 136*b136*b141 - 272*b136*b142 - 520*b136*b143 - 648*b136*b144 - 560*b136*b145 - 552*b136*b147 - 456* b137*b138 - 664*b137*b139 - 480*b137*b140 - 768*b137*b141 - 176*b137*b142 - 792*b137*b143 - 272*b137*b144 - 664*b137*b145 - 176*b137*b146 - 368* b137*b147 - 448*b138*b139 - 664*b138*b140 - 192*b138*b141 - 664*b138*b142 - 264*b138*b143 - 392*b138*b144 - 248*b138*b145 - 240*b138*b146 - 552* b138*b147 - 520*b139*b140 - 280*b139*b141 - 88*b139*b142 - 784*b139*b143 - 448*b139*b144 - 640*b139*b145 - 680*b139*b146 - 584*b139*b147 - 488* b140*b141 - 440*b140*b142 - 200*b140*b143 - 664*b140*b144 - 96*b140*b145 - 64*b140*b146 - 760*b140*b147 - 488*b141*b142 - 248*b141*b143 - 376*b141 *b144 - 760*b141*b145 - 528*b141*b146 - 552*b141*b147 - 744*b142*b143 - 592*b142*b144 - 416*b142*b145 - 560*b142*b146 - 456*b142*b147 - 680*b143* b144 - 568*b143*b145 - 320*b143*b146 - 120*b143*b147 - 320*b144*b145 - 464 *b144*b146 - 16*b144*b147 - 32*b145*b146 - 448*b145*b147 - 80*b146*b147 - 712*b148*b149 - 712*b148*b150 - 784*b148*b151 - 216*b148*b152 - 152*b148* b153 - 48*b148*b154 - 480*b148*b155 - 104*b148*b156 - 608*b148*b157 - 520* b148*b158 - 448*b148*b159 - 408*b148*b160 - 400*b148*b161 - 224*b148*b162 - 296*b148*b163 - 272*b149*b150 - 696*b149*b151 - 192*b149*b152 - 784* b149*b153 - 376*b149*b154 - 40*b149*b155 - 456*b149*b156 - 384*b149*b157 - 752*b149*b158 - 168*b149*b159 - 248*b149*b160 - 200*b149*b161 - 96*b149 *b162 - 304*b149*b163 - 400*b149*b164 - 120*b150*b151 - 16*b150*b152 - 712 *b150*b153 - 752*b150*b154 - 760*b150*b155 - 752*b150*b156 - 264*b150*b157 - 64*b150*b158 - 568*b150*b159 - 792*b150*b160 - 512*b150*b161 - 592*b150 *b162 - 8*b150*b163 - 168*b150*b164 - 352*b151*b152 - 96*b151*b153 - 288* b151*b154 - 704*b151*b155 - 272*b151*b156 - 240*b151*b157 - 312*b151*b158 - 312*b151*b159 - 312*b151*b160 - 696*b151*b161 - 688*b151*b162 - 480* b151*b163 - 664*b151*b164 - 560*b152*b153 - 88*b152*b154 - 72*b152*b155 - 624*b152*b156 - 600*b152*b157 - 400*b152*b158 - 584*b152*b159 - 384*b152* b160 - 360*b152*b161 - 152*b152*b162 - 656*b152*b163 - 584*b152*b164 - 40* b153*b154 - 264*b153*b155 - 168*b153*b156 - 136*b153*b157 - 272*b153*b158 - 520*b153*b159 - 648*b153*b160 - 560*b153*b161 - 552*b153*b163 - 720* b153*b164 - 664*b154*b155 - 480*b154*b156 - 768*b154*b157 - 176*b154*b158 - 792*b154*b159 - 272*b154*b160 - 664*b154*b161 - 176*b154*b162 - 368* b154*b163 - 456*b154*b164 - 520*b155*b156 - 280*b155*b157 - 88*b155*b158 - 784*b155*b159 - 448*b155*b160 - 640*b155*b161 - 680*b155*b162 - 584* b155*b163 - 448*b155*b164 - 488*b156*b157 - 440*b156*b158 - 200*b156*b159 - 664*b156*b160 - 96*b156*b161 - 64*b156*b162 - 760*b156*b163 - 664*b156* b164 - 488*b157*b158 - 248*b157*b159 - 376*b157*b160 - 760*b157*b161 - 528 *b157*b162 - 552*b157*b163 - 192*b157*b164 - 744*b158*b159 - 592*b158*b160 - 416*b158*b161 - 560*b158*b162 - 456*b158*b163 - 664*b158*b164 - 680* b159*b160 - 568*b159*b161 - 320*b159*b162 - 120*b159*b163 - 264*b159*b164 - 320*b160*b161 - 464*b160*b162 - 16*b160*b163 - 392*b160*b164 - 32*b161* b162 - 448*b161*b163 - 248*b161*b164 - 80*b162*b163 - 240*b162*b164 - 552* b163*b164 - 272*b165*b166 - 696*b165*b167 - 192*b165*b168 - 784*b165*b169 - 376*b165*b170 - 400*b165*b171 - 40*b165*b172 - 456*b165*b173 - 384*b165 *b174 - 752*b165*b175 - 168*b165*b176 - 248*b165*b177 - 200*b165*b178 - 96 *b165*b179 - 304*b165*b180 - 120*b166*b167 - 16*b166*b168 - 712*b166*b169 - 752*b166*b170 - 168*b166*b171 - 760*b166*b172 - 752*b166*b173 - 264* b166*b174 - 64*b166*b175 - 568*b166*b176 - 792*b166*b177 - 512*b166*b178 - 592*b166*b179 - 8*b166*b180 - 352*b167*b168 - 96*b167*b169 - 288*b167* b170 - 664*b167*b171 - 704*b167*b172 - 272*b167*b173 - 240*b167*b174 - 312 *b167*b175 - 312*b167*b176 - 312*b167*b177 - 696*b167*b178 - 688*b167*b179 - 480*b167*b180 - 560*b168*b169 - 88*b168*b170 - 584*b168*b171 - 72*b168* b172 - 624*b168*b173 - 600*b168*b174 - 400*b168*b175 - 584*b168*b176 - 384 *b168*b177 - 360*b168*b178 - 152*b168*b179 - 656*b168*b180 - 40*b169*b170 - 720*b169*b171 - 264*b169*b172 - 168*b169*b173 - 136*b169*b174 - 272* b169*b175 - 520*b169*b176 - 648*b169*b177 - 560*b169*b178 - 552*b169*b180 - 456*b170*b171 - 664*b170*b172 - 480*b170*b173 - 768*b170*b174 - 176* b170*b175 - 792*b170*b176 - 272*b170*b177 - 664*b170*b178 - 176*b170*b179 - 368*b170*b180 - 448*b171*b172 - 664*b171*b173 - 192*b171*b174 - 664* b171*b175 - 264*b171*b176 - 392*b171*b177 - 248*b171*b178 - 240*b171*b179 - 552*b171*b180 - 520*b172*b173 - 280*b172*b174 - 88*b172*b175 - 784*b172 *b176 - 448*b172*b177 - 640*b172*b178 - 680*b172*b179 - 584*b172*b180 - 488*b173*b174 - 440*b173*b175 - 200*b173*b176 - 664*b173*b177 - 96*b173* b178 - 64*b173*b179 - 760*b173*b180 - 488*b174*b175 - 248*b174*b176 - 376* b174*b177 - 760*b174*b178 - 528*b174*b179 - 552*b174*b180 - 744*b175*b176 - 592*b175*b177 - 416*b175*b178 - 560*b175*b179 - 456*b175*b180 - 680* b176*b177 - 568*b176*b178 - 320*b176*b179 - 120*b176*b180 - 320*b177*b178 - 464*b177*b179 - 16*b177*b180 - 32*b178*b179 - 448*b178*b180 - 80*b179* b180 - 120*b181*b182 - 16*b181*b183 - 712*b181*b184 - 752*b181*b185 - 168* b181*b186 - 760*b181*b187 - 752*b181*b188 - 264*b181*b189 - 64*b181*b190 - 568*b181*b191 - 792*b181*b192 - 512*b181*b193 - 592*b181*b194 - 8*b181* b195 - 352*b182*b183 - 96*b182*b184 - 288*b182*b185 - 664*b182*b186 - 704* b182*b187 - 272*b182*b188 - 240*b182*b189 - 312*b182*b190 - 312*b182*b191 - 312*b182*b192 - 696*b182*b193 - 688*b182*b194 - 480*b182*b195 - 560* b183*b184 - 88*b183*b185 - 584*b183*b186 - 72*b183*b187 - 624*b183*b188 - 600*b183*b189 - 400*b183*b190 - 584*b183*b191 - 384*b183*b192 - 360*b183* b193 - 152*b183*b194 - 656*b183*b195 - 40*b184*b185 - 720*b184*b186 - 264* b184*b187 - 168*b184*b188 - 136*b184*b189 - 272*b184*b190 - 520*b184*b191 - 648*b184*b192 - 560*b184*b193 - 552*b184*b195 - 456*b185*b186 - 664* b185*b187 - 480*b185*b188 - 768*b185*b189 - 176*b185*b190 - 792*b185*b191 - 272*b185*b192 - 664*b185*b193 - 176*b185*b194 - 368*b185*b195 - 448* b186*b187 - 664*b186*b188 - 192*b186*b189 - 664*b186*b190 - 264*b186*b191 - 392*b186*b192 - 248*b186*b193 - 240*b186*b194 - 552*b186*b195 - 520* b187*b188 - 280*b187*b189 - 88*b187*b190 - 784*b187*b191 - 448*b187*b192 - 640*b187*b193 - 680*b187*b194 - 584*b187*b195 - 488*b188*b189 - 440* b188*b190 - 200*b188*b191 - 664*b188*b192 - 96*b188*b193 - 64*b188*b194 - 760*b188*b195 - 488*b189*b190 - 248*b189*b191 - 376*b189*b192 - 760*b189* b193 - 528*b189*b194 - 552*b189*b195 - 744*b190*b191 - 592*b190*b192 - 416 *b190*b193 - 560*b190*b194 - 456*b190*b195 - 680*b191*b192 - 568*b191*b193 - 320*b191*b194 - 120*b191*b195 - 320*b192*b193 - 464*b192*b194 - 16*b192 *b195 - 32*b193*b194 - 448*b193*b195 - 80*b194*b195 - 352*b196*b197 - 96* b196*b198 - 288*b196*b199 - 664*b196*b200 - 704*b196*b201 - 272*b196*b202 - 240*b196*b203 - 312*b196*b204 - 312*b196*b205 - 312*b196*b206 - 696* b196*b207 - 688*b196*b208 - 480*b196*b209 - 560*b197*b198 - 88*b197*b199 - 584*b197*b200 - 72*b197*b201 - 624*b197*b202 - 600*b197*b203 - 400*b197 *b204 - 584*b197*b205 - 384*b197*b206 - 360*b197*b207 - 152*b197*b208 - 656*b197*b209 - 40*b198*b199 - 720*b198*b200 - 264*b198*b201 - 168*b198* b202 - 136*b198*b203 - 272*b198*b204 - 520*b198*b205 - 648*b198*b206 - 560 *b198*b207 - 552*b198*b209 - 456*b199*b200 - 664*b199*b201 - 480*b199*b202 - 768*b199*b203 - 176*b199*b204 - 792*b199*b205 - 272*b199*b206 - 664* b199*b207 - 176*b199*b208 - 368*b199*b209 - 448*b200*b201 - 664*b200*b202 - 192*b200*b203 - 664*b200*b204 - 264*b200*b205 - 392*b200*b206 - 248* b200*b207 - 240*b200*b208 - 552*b200*b209 - 520*b201*b202 - 280*b201*b203 - 88*b201*b204 - 784*b201*b205 - 448*b201*b206 - 640*b201*b207 - 680*b201 *b208 - 584*b201*b209 - 488*b202*b203 - 440*b202*b204 - 200*b202*b205 - 664*b202*b206 - 96*b202*b207 - 64*b202*b208 - 760*b202*b209 - 488*b203* b204 - 248*b203*b205 - 376*b203*b206 - 760*b203*b207 - 528*b203*b208 - 552 *b203*b209 - 744*b204*b205 - 592*b204*b206 - 416*b204*b207 - 560*b204*b208 - 456*b204*b209 - 680*b205*b206 - 568*b205*b207 - 320*b205*b208 - 120* b205*b209 - 320*b206*b207 - 464*b206*b208 - 16*b206*b209 - 32*b207*b208 - 448*b207*b209 - 80*b208*b209 - 560*b210*b211 - 88*b210*b212 - 584*b210* b213 - 72*b210*b214 - 624*b210*b215 - 600*b210*b216 - 400*b210*b217 - 584* b210*b218 - 384*b210*b219 - 360*b210*b220 - 152*b210*b221 - 656*b210*b222 - 40*b211*b212 - 720*b211*b213 - 264*b211*b214 - 168*b211*b215 - 136*b211 *b216 - 272*b211*b217 - 520*b211*b218 - 648*b211*b219 - 560*b211*b220 - 552*b211*b222 - 456*b212*b213 - 664*b212*b214 - 480*b212*b215 - 768*b212* b216 - 176*b212*b217 - 792*b212*b218 - 272*b212*b219 - 664*b212*b220 - 176 *b212*b221 - 368*b212*b222 - 448*b213*b214 - 664*b213*b215 - 192*b213*b216 - 664*b213*b217 - 264*b213*b218 - 392*b213*b219 - 248*b213*b220 - 240* b213*b221 - 552*b213*b222 - 520*b214*b215 - 280*b214*b216 - 88*b214*b217 - 784*b214*b218 - 448*b214*b219 - 640*b214*b220 - 680*b214*b221 - 584* b214*b222 - 488*b215*b216 - 440*b215*b217 - 200*b215*b218 - 664*b215*b219 - 96*b215*b220 - 64*b215*b221 - 760*b215*b222 - 488*b216*b217 - 248*b216* b218 - 376*b216*b219 - 760*b216*b220 - 528*b216*b221 - 552*b216*b222 - 744 *b217*b218 - 592*b217*b219 - 416*b217*b220 - 560*b217*b221 - 456*b217*b222 - 680*b218*b219 - 568*b218*b220 - 320*b218*b221 - 120*b218*b222 - 320* b219*b220 - 464*b219*b221 - 16*b219*b222 - 32*b220*b221 - 448*b220*b222 - 80*b221*b222 - 40*b223*b224 - 720*b223*b225 - 264*b223*b226 - 168*b223* b227 - 136*b223*b228 - 272*b223*b229 - 520*b223*b230 - 648*b223*b231 - 560 *b223*b232 - 552*b223*b233 - 456*b224*b225 - 664*b224*b226 - 480*b224*b227 - 768*b224*b228 - 176*b224*b229 - 792*b224*b230 - 272*b224*b231 - 664* b224*b232 - 368*b224*b233 - 176*b224*b234 - 448*b225*b226 - 664*b225*b227 - 192*b225*b228 - 664*b225*b229 - 264*b225*b230 - 392*b225*b231 - 248* b225*b232 - 552*b225*b233 - 240*b225*b234 - 520*b226*b227 - 280*b226*b228 - 88*b226*b229 - 784*b226*b230 - 448*b226*b231 - 640*b226*b232 - 584*b226 *b233 - 680*b226*b234 - 488*b227*b228 - 440*b227*b229 - 200*b227*b230 - 664*b227*b231 - 96*b227*b232 - 760*b227*b233 - 64*b227*b234 - 488*b228* b229 - 248*b228*b230 - 376*b228*b231 - 760*b228*b232 - 552*b228*b233 - 528 *b228*b234 - 744*b229*b230 - 592*b229*b231 - 416*b229*b232 - 456*b229*b233 - 560*b229*b234 - 680*b230*b231 - 568*b230*b232 - 120*b230*b233 - 320* b230*b234 - 320*b231*b232 - 16*b231*b233 - 464*b231*b234 - 448*b232*b233 - 32*b232*b234 - 80*b233*b234 - 456*b235*b236 - 664*b235*b237 - 480*b235* b238 - 768*b235*b239 - 176*b235*b240 - 792*b235*b241 - 272*b235*b242 - 664 *b235*b243 - 176*b235*b244 - 368*b235*b245 - 448*b236*b237 - 664*b236*b238 - 192*b236*b239 - 664*b236*b240 - 264*b236*b241 - 392*b236*b242 - 248* b236*b243 - 240*b236*b244 - 552*b236*b245 - 520*b237*b238 - 280*b237*b239 - 88*b237*b240 - 784*b237*b241 - 448*b237*b242 - 640*b237*b243 - 680*b237 *b244 - 584*b237*b245 - 488*b238*b239 - 440*b238*b240 - 200*b238*b241 - 664*b238*b242 - 96*b238*b243 - 64*b238*b244 - 760*b238*b245 - 488*b239* b240 - 248*b239*b241 - 376*b239*b242 - 760*b239*b243 - 528*b239*b244 - 552 *b239*b245 - 744*b240*b241 - 592*b240*b242 - 416*b240*b243 - 560*b240*b244 - 456*b240*b245 - 680*b241*b242 - 568*b241*b243 - 320*b241*b244 - 120* b241*b245 - 320*b242*b243 - 464*b242*b244 - 16*b242*b245 - 32*b243*b244 - 448*b243*b245 - 80*b244*b245 - 448*b246*b247 - 664*b246*b248 - 192*b246* b249 - 664*b246*b250 - 264*b246*b251 - 392*b246*b252 - 248*b246*b253 - 240 *b246*b254 - 552*b246*b255 - 520*b247*b248 - 280*b247*b249 - 88*b247*b250 - 784*b247*b251 - 448*b247*b252 - 640*b247*b253 - 680*b247*b254 - 584* b247*b255 - 488*b248*b249 - 440*b248*b250 - 200*b248*b251 - 664*b248*b252 - 96*b248*b253 - 64*b248*b254 - 760*b248*b255 - 488*b249*b250 - 248*b249* b251 - 376*b249*b252 - 760*b249*b253 - 528*b249*b254 - 552*b249*b255 - 744 *b250*b251 - 592*b250*b252 - 416*b250*b253 - 560*b250*b254 - 456*b250*b255 - 680*b251*b252 - 568*b251*b253 - 320*b251*b254 - 120*b251*b255 - 320* b252*b253 - 464*b252*b254 - 16*b252*b255 - 32*b253*b254 - 448*b253*b255 - 80*b254*b255 - 520*b256*b257 - 280*b256*b258 - 88*b256*b259 - 784*b256* b260 - 448*b256*b261 - 640*b256*b262 - 680*b256*b263 - 584*b256*b264 - 488 *b257*b258 - 440*b257*b259 - 200*b257*b260 - 664*b257*b261 - 96*b257*b262 - 64*b257*b263 - 760*b257*b264 - 488*b258*b259 - 248*b258*b260 - 376*b258 *b261 - 760*b258*b262 - 528*b258*b263 - 552*b258*b264 - 744*b259*b260 - 592*b259*b261 - 416*b259*b262 - 560*b259*b263 - 456*b259*b264 - 680*b260* b261 - 568*b260*b262 - 320*b260*b263 - 120*b260*b264 - 320*b261*b262 - 464 *b261*b263 - 16*b261*b264 - 32*b262*b263 - 448*b262*b264 - 80*b263*b264 - 488*b265*b266 - 440*b265*b267 - 200*b265*b268 - 664*b265*b269 - 96*b265* b270 - 64*b265*b271 - 760*b265*b272 - 488*b266*b267 - 248*b266*b268 - 376* b266*b269 - 760*b266*b270 - 528*b266*b271 - 552*b266*b272 - 744*b267*b268 - 592*b267*b269 - 416*b267*b270 - 560*b267*b271 - 456*b267*b272 - 680* b268*b269 - 568*b268*b270 - 320*b268*b271 - 120*b268*b272 - 320*b269*b270 - 464*b269*b271 - 16*b269*b272 - 32*b270*b271 - 448*b270*b272 - 80*b271* b272 - 488*b273*b274 - 248*b273*b275 - 376*b273*b276 - 760*b273*b277 - 528 *b273*b278 - 552*b273*b279 - 744*b274*b275 - 592*b274*b276 - 416*b274*b277 - 560*b274*b278 - 456*b274*b279 - 680*b275*b276 - 568*b275*b277 - 320* b275*b278 - 120*b275*b279 - 320*b276*b277 - 464*b276*b278 - 16*b276*b279 - 32*b277*b278 - 448*b277*b279 - 80*b278*b279 - 744*b280*b281 - 592*b280* b282 - 416*b280*b283 - 560*b280*b284 - 456*b280*b285 - 680*b281*b282 - 568 *b281*b283 - 320*b281*b284 - 120*b281*b285 - 320*b282*b283 - 464*b282*b284 - 16*b282*b285 - 32*b283*b284 - 448*b283*b285 - 80*b284*b285 - 680*b286* b287 - 568*b286*b288 - 320*b286*b289 - 120*b286*b290 - 320*b287*b288 - 464 *b287*b289 - 16*b287*b290 - 32*b288*b289 - 448*b288*b290 - 80*b289*b290 - 320*b291*b292 - 464*b291*b293 - 16*b291*b294 - 32*b292*b293 - 448*b292* b294 - 80*b293*b294 - 32*b295*b296 - 448*b295*b297 - 80*b296*b297 - 80* b298*b299 - objvar = 0 } } Constraint e2 { Definition: b2 + b25 = 1; } Constraint e3 { Definition: b3 + b26 + b48 = 1; } Constraint e4 { Definition: b4 + b27 + b49 + b70 = 1; } Constraint e5 { Definition: b5 + b28 + b50 + b71 + b91 = 1; } Constraint e6 { Definition: b6 + b29 + b51 + b72 + b92 + b111 = 1; } Constraint e7 { Definition: b7 + b30 + b52 + b73 + b93 + b112 + b130 = 1; } Constraint e8 { Definition: b8 + b31 + b53 + b74 + b94 + b113 + b131 + b148 = 1; } Constraint e9 { Definition: b9 + b32 + b54 + b75 + b95 + b114 + b132 + b149 + b165 = 1; } Constraint e10 { Definition: b10 + b33 + b55 + b76 + b96 + b115 + b133 + b150 + b166 + b181 = 1; } Constraint e11 { Definition: { b11 + b34 + b56 + b77 + b97 + b116 + b134 + b151 + b167 + b182 + b196 = 1 } } Constraint e12 { Definition: { b12 + b35 + b57 + b78 + b98 + b117 + b135 + b152 + b168 + b183 + b197 + b210 = 1 } } Constraint e13 { Definition: { b13 + b36 + b58 + b79 + b99 + b118 + b136 + b153 + b169 + b184 + b198 + b211 + b223 = 1 } } Constraint e14 { Definition: { b14 + b37 + b59 + b80 + b100 + b119 + b137 + b154 + b170 + b185 + b199 + b212 + b224 + b235 = 1 } } Constraint e15 { Definition: { b15 + b38 + b60 + b81 + b101 + b120 + b138 + b164 + b171 + b186 + b200 + b213 + b225 + b236 + b246 = 1 } } Constraint e16 { Definition: { b16 + b39 + b61 + b82 + b102 + b121 + b139 + b155 + b172 + b187 + b201 + b214 + b226 + b237 + b247 + b256 = 1 } } Constraint e17 { Definition: { b17 + b40 + b62 + b83 + b103 + b122 + b140 + b156 + b173 + b188 + b202 + b215 + b227 + b238 + b248 + b257 + b265 = 1 } } Constraint e18 { Definition: { b18 + b41 + b63 + b84 + b110 + b123 + b141 + b157 + b174 + b189 + b203 + b216 + b228 + b239 + b249 + b258 + b266 + b273 = 1 } } Constraint e19 { Definition: { b19 + b42 + b64 + b85 + b104 + b124 + b142 + b158 + b175 + b190 + b204 + b217 + b229 + b240 + b250 + b259 + b267 + b274 + b280 = 1 } } Constraint e20 { Definition: { b20 + b43 + b65 + b86 + b105 + b125 + b143 + b159 + b176 + b191 + b205 + b218 + b230 + b241 + b251 + b260 + b268 + b275 + b281 + b286 = 1 } } Constraint e21 { Definition: { b21 + b44 + b66 + b87 + b106 + b126 + b144 + b160 + b177 + b192 + b206 + b219 + b231 + b242 + b252 + b261 + b269 + b276 + b282 + b287 + b291 = 1 } } Constraint e22 { Definition: { b22 + b45 + b67 + b88 + b107 + b127 + b145 + b161 + b178 + b193 + b207 + b220 + b232 + b243 + b253 + b262 + b270 + b277 + b283 + b288 + b292 + b295 = 1 } } Constraint e23 { Definition: { b23 + b46 + b68 + b89 + b108 + b128 + b146 + b162 + b179 + b194 + b208 + b221 + b234 + b244 + b254 + b263 + b271 + b278 + b284 + b289 + b293 + b296 + b298 = 1 } } Constraint e24 { Definition: { b24 + b47 + b69 + b90 + b109 + b129 + b147 + b163 + b180 + b195 + b209 + b222 + b233 + b245 + b255 + b264 + b272 + b279 + b285 + b290 + b294 + b297 + b299 + b300 = 1 } } Constraint e25 { Definition: - b25 + b26 <= 0; } Constraint e26 { Definition: - b25 + b27 <= 0; } Constraint e27 { Definition: - b25 + b28 <= 0; } Constraint e28 { Definition: - b25 + b29 <= 0; } Constraint e29 { Definition: - b25 + b30 <= 0; } Constraint e30 { Definition: - b25 + b31 <= 0; } Constraint e31 { Definition: - b25 + b32 <= 0; } Constraint e32 { Definition: - b25 + b33 <= 0; } Constraint e33 { Definition: - b25 + b34 <= 0; } Constraint e34 { Definition: - b25 + b35 <= 0; } Constraint e35 { Definition: - b25 + b36 <= 0; } Constraint e36 { Definition: - b25 + b37 <= 0; } Constraint e37 { Definition: - b25 + b38 <= 0; } Constraint e38 { Definition: - b25 + b39 <= 0; } Constraint e39 { Definition: - b25 + b40 <= 0; } Constraint e40 { Definition: - b25 + b41 <= 0; } Constraint e41 { Definition: - b25 + b42 <= 0; } Constraint e42 { Definition: - b25 + b43 <= 0; } Constraint e43 { Definition: - b25 + b44 <= 0; } Constraint e44 { Definition: - b25 + b45 <= 0; } Constraint e45 { Definition: - b25 + b46 <= 0; } Constraint e46 { Definition: - b25 + b47 <= 0; } Constraint e47 { Definition: - b48 + b49 <= 0; } Constraint e48 { Definition: - b48 + b50 <= 0; } Constraint e49 { Definition: - b48 + b51 <= 0; } Constraint e50 { Definition: - b48 + b52 <= 0; } Constraint e51 { Definition: - b48 + b53 <= 0; } Constraint e52 { Definition: - b48 + b54 <= 0; } Constraint e53 { Definition: - b48 + b55 <= 0; } Constraint e54 { Definition: - b48 + b56 <= 0; } Constraint e55 { Definition: - b48 + b57 <= 0; } Constraint e56 { Definition: - b48 + b58 <= 0; } Constraint e57 { Definition: - b48 + b59 <= 0; } Constraint e58 { Definition: - b48 + b60 <= 0; } Constraint e59 { Definition: - b48 + b61 <= 0; } Constraint e60 { Definition: - b48 + b62 <= 0; } Constraint e61 { Definition: - b48 + b63 <= 0; } Constraint e62 { Definition: - b48 + b64 <= 0; } Constraint e63 { Definition: - b48 + b65 <= 0; } Constraint e64 { Definition: - b48 + b66 <= 0; } Constraint e65 { Definition: - b48 + b67 <= 0; } Constraint e66 { Definition: - b48 + b68 <= 0; } Constraint e67 { Definition: - b48 + b69 <= 0; } Constraint e68 { Definition: - b70 + b71 <= 0; } Constraint e69 { Definition: - b70 + b72 <= 0; } Constraint e70 { Definition: - b70 + b73 <= 0; } Constraint e71 { Definition: - b70 + b74 <= 0; } Constraint e72 { Definition: - b70 + b75 <= 0; } Constraint e73 { Definition: - b70 + b76 <= 0; } Constraint e74 { Definition: - b70 + b77 <= 0; } Constraint e75 { Definition: - b70 + b78 <= 0; } Constraint e76 { Definition: - b70 + b79 <= 0; } Constraint e77 { Definition: - b70 + b80 <= 0; } Constraint e78 { Definition: - b70 + b81 <= 0; } Constraint e79 { Definition: - b70 + b82 <= 0; } Constraint e80 { Definition: - b70 + b83 <= 0; } Constraint e81 { Definition: - b70 + b84 <= 0; } Constraint e82 { Definition: - b70 + b85 <= 0; } Constraint e83 { Definition: - b70 + b86 <= 0; } Constraint e84 { Definition: - b70 + b87 <= 0; } Constraint e85 { Definition: - b70 + b88 <= 0; } Constraint e86 { Definition: - b70 + b89 <= 0; } Constraint e87 { Definition: - b70 + b90 <= 0; } Constraint e88 { Definition: - b91 + b92 <= 0; } Constraint e89 { Definition: - b91 + b93 <= 0; } Constraint e90 { Definition: - b91 + b94 <= 0; } Constraint e91 { Definition: - b91 + b95 <= 0; } Constraint e92 { Definition: - b91 + b96 <= 0; } Constraint e93 { Definition: - b91 + b97 <= 0; } Constraint e94 { Definition: - b91 + b98 <= 0; } Constraint e95 { Definition: - b91 + b99 <= 0; } Constraint e96 { Definition: - b91 + b100 <= 0; } Constraint e97 { Definition: - b91 + b101 <= 0; } Constraint e98 { Definition: - b91 + b102 <= 0; } Constraint e99 { Definition: - b91 + b103 <= 0; } Constraint e100 { Definition: - b91 + b110 <= 0; } Constraint e101 { Definition: - b91 + b104 <= 0; } Constraint e102 { Definition: - b91 + b105 <= 0; } Constraint e103 { Definition: - b91 + b106 <= 0; } Constraint e104 { Definition: - b91 + b107 <= 0; } Constraint e105 { Definition: - b91 + b108 <= 0; } Constraint e106 { Definition: - b91 + b109 <= 0; } Constraint e107 { Definition: - b111 + b112 <= 0; } Constraint e108 { Definition: - b111 + b113 <= 0; } Constraint e109 { Definition: - b111 + b114 <= 0; } Constraint e110 { Definition: - b111 + b115 <= 0; } Constraint e111 { Definition: - b111 + b116 <= 0; } Constraint e112 { Definition: - b111 + b117 <= 0; } Constraint e113 { Definition: - b111 + b118 <= 0; } Constraint e114 { Definition: - b111 + b119 <= 0; } Constraint e115 { Definition: - b111 + b120 <= 0; } Constraint e116 { Definition: - b111 + b121 <= 0; } Constraint e117 { Definition: - b111 + b122 <= 0; } Constraint e118 { Definition: - b111 + b123 <= 0; } Constraint e119 { Definition: - b111 + b124 <= 0; } Constraint e120 { Definition: - b111 + b125 <= 0; } Constraint e121 { Definition: - b111 + b126 <= 0; } Constraint e122 { Definition: - b111 + b127 <= 0; } Constraint e123 { Definition: - b111 + b128 <= 0; } Constraint e124 { Definition: - b111 + b129 <= 0; } Constraint e125 { Definition: - b130 + b131 <= 0; } Constraint e126 { Definition: - b130 + b132 <= 0; } Constraint e127 { Definition: - b130 + b133 <= 0; } Constraint e128 { Definition: - b130 + b134 <= 0; } Constraint e129 { Definition: - b130 + b135 <= 0; } Constraint e130 { Definition: - b130 + b136 <= 0; } Constraint e131 { Definition: - b130 + b137 <= 0; } Constraint e132 { Definition: - b130 + b138 <= 0; } Constraint e133 { Definition: - b130 + b139 <= 0; } Constraint e134 { Definition: - b130 + b140 <= 0; } Constraint e135 { Definition: - b130 + b141 <= 0; } Constraint e136 { Definition: - b130 + b142 <= 0; } Constraint e137 { Definition: - b130 + b143 <= 0; } Constraint e138 { Definition: - b130 + b144 <= 0; } Constraint e139 { Definition: - b130 + b145 <= 0; } Constraint e140 { Definition: - b130 + b146 <= 0; } Constraint e141 { Definition: - b130 + b147 <= 0; } Constraint e142 { Definition: - b148 + b149 <= 0; } Constraint e143 { Definition: - b148 + b150 <= 0; } Constraint e144 { Definition: - b148 + b151 <= 0; } Constraint e145 { Definition: - b148 + b152 <= 0; } Constraint e146 { Definition: - b148 + b153 <= 0; } Constraint e147 { Definition: - b148 + b154 <= 0; } Constraint e148 { Definition: - b148 + b164 <= 0; } Constraint e149 { Definition: - b148 + b155 <= 0; } Constraint e150 { Definition: - b148 + b156 <= 0; } Constraint e151 { Definition: - b148 + b157 <= 0; } Constraint e152 { Definition: - b148 + b158 <= 0; } Constraint e153 { Definition: - b148 + b159 <= 0; } Constraint e154 { Definition: - b148 + b160 <= 0; } Constraint e155 { Definition: - b148 + b161 <= 0; } Constraint e156 { Definition: - b148 + b162 <= 0; } Constraint e157 { Definition: - b148 + b163 <= 0; } Constraint e158 { Definition: - b165 + b166 <= 0; } Constraint e159 { Definition: - b165 + b167 <= 0; } Constraint e160 { Definition: - b165 + b168 <= 0; } Constraint e161 { Definition: - b165 + b169 <= 0; } Constraint e162 { Definition: - b165 + b170 <= 0; } Constraint e163 { Definition: - b165 + b171 <= 0; } Constraint e164 { Definition: - b165 + b172 <= 0; } Constraint e165 { Definition: - b165 + b173 <= 0; } Constraint e166 { Definition: - b165 + b174 <= 0; } Constraint e167 { Definition: - b165 + b175 <= 0; } Constraint e168 { Definition: - b165 + b176 <= 0; } Constraint e169 { Definition: - b165 + b177 <= 0; } Constraint e170 { Definition: - b165 + b178 <= 0; } Constraint e171 { Definition: - b165 + b179 <= 0; } Constraint e172 { Definition: - b165 + b180 <= 0; } Constraint e173 { Definition: - b181 + b182 <= 0; } Constraint e174 { Definition: - b181 + b183 <= 0; } Constraint e175 { Definition: - b181 + b184 <= 0; } Constraint e176 { Definition: - b181 + b185 <= 0; } Constraint e177 { Definition: - b181 + b186 <= 0; } Constraint e178 { Definition: - b181 + b187 <= 0; } Constraint e179 { Definition: - b181 + b188 <= 0; } Constraint e180 { Definition: - b181 + b189 <= 0; } Constraint e181 { Definition: - b181 + b190 <= 0; } Constraint e182 { Definition: - b181 + b191 <= 0; } Constraint e183 { Definition: - b181 + b192 <= 0; } Constraint e184 { Definition: - b181 + b193 <= 0; } Constraint e185 { Definition: - b181 + b194 <= 0; } Constraint e186 { Definition: - b181 + b195 <= 0; } Constraint e187 { Definition: - b196 + b197 <= 0; } Constraint e188 { Definition: - b196 + b198 <= 0; } Constraint e189 { Definition: - b196 + b199 <= 0; } Constraint e190 { Definition: - b196 + b200 <= 0; } Constraint e191 { Definition: - b196 + b201 <= 0; } Constraint e192 { Definition: - b196 + b202 <= 0; } Constraint e193 { Definition: - b196 + b203 <= 0; } Constraint e194 { Definition: - b196 + b204 <= 0; } Constraint e195 { Definition: - b196 + b205 <= 0; } Constraint e196 { Definition: - b196 + b206 <= 0; } Constraint e197 { Definition: - b196 + b207 <= 0; } Constraint e198 { Definition: - b196 + b208 <= 0; } Constraint e199 { Definition: - b196 + b209 <= 0; } Constraint e200 { Definition: - b210 + b211 <= 0; } Constraint e201 { Definition: - b210 + b212 <= 0; } Constraint e202 { Definition: - b210 + b213 <= 0; } Constraint e203 { Definition: - b210 + b214 <= 0; } Constraint e204 { Definition: - b210 + b215 <= 0; } Constraint e205 { Definition: - b210 + b216 <= 0; } Constraint e206 { Definition: - b210 + b217 <= 0; } Constraint e207 { Definition: - b210 + b218 <= 0; } Constraint e208 { Definition: - b210 + b219 <= 0; } Constraint e209 { Definition: - b210 + b220 <= 0; } Constraint e210 { Definition: - b210 + b221 <= 0; } Constraint e211 { Definition: - b210 + b222 <= 0; } Constraint e212 { Definition: - b223 + b224 <= 0; } Constraint e213 { Definition: - b223 + b225 <= 0; } Constraint e214 { Definition: - b223 + b226 <= 0; } Constraint e215 { Definition: - b223 + b227 <= 0; } Constraint e216 { Definition: - b223 + b228 <= 0; } Constraint e217 { Definition: - b223 + b229 <= 0; } Constraint e218 { Definition: - b223 + b230 <= 0; } Constraint e219 { Definition: - b223 + b231 <= 0; } Constraint e220 { Definition: - b223 + b232 <= 0; } Constraint e221 { Definition: - b223 + b234 <= 0; } Constraint e222 { Definition: - b223 + b233 <= 0; } Constraint e223 { Definition: - b235 + b236 <= 0; } Constraint e224 { Definition: - b235 + b237 <= 0; } Constraint e225 { Definition: - b235 + b238 <= 0; } Constraint e226 { Definition: - b235 + b239 <= 0; } Constraint e227 { Definition: - b235 + b240 <= 0; } Constraint e228 { Definition: - b235 + b241 <= 0; } Constraint e229 { Definition: - b235 + b242 <= 0; } Constraint e230 { Definition: - b235 + b243 <= 0; } Constraint e231 { Definition: - b235 + b244 <= 0; } Constraint e232 { Definition: - b235 + b245 <= 0; } Constraint e233 { Definition: - b246 + b247 <= 0; } Constraint e234 { Definition: - b246 + b248 <= 0; } Constraint e235 { Definition: - b246 + b249 <= 0; } Constraint e236 { Definition: - b246 + b250 <= 0; } Constraint e237 { Definition: - b246 + b251 <= 0; } Constraint e238 { Definition: - b246 + b252 <= 0; } Constraint e239 { Definition: - b246 + b253 <= 0; } Constraint e240 { Definition: - b246 + b254 <= 0; } Constraint e241 { Definition: - b246 + b255 <= 0; } Constraint e242 { Definition: - b256 + b257 <= 0; } Constraint e243 { Definition: - b256 + b258 <= 0; } Constraint e244 { Definition: - b256 + b259 <= 0; } Constraint e245 { Definition: - b256 + b260 <= 0; } Constraint e246 { Definition: - b256 + b261 <= 0; } Constraint e247 { Definition: - b256 + b262 <= 0; } Constraint e248 { Definition: - b256 + b263 <= 0; } Constraint e249 { Definition: - b256 + b264 <= 0; } Constraint e250 { Definition: - b265 + b266 <= 0; } Constraint e251 { Definition: - b265 + b267 <= 0; } Constraint e252 { Definition: - b265 + b268 <= 0; } Constraint e253 { Definition: - b265 + b269 <= 0; } Constraint e254 { Definition: - b265 + b270 <= 0; } Constraint e255 { Definition: - b265 + b271 <= 0; } Constraint e256 { Definition: - b265 + b272 <= 0; } Constraint e257 { Definition: - b273 + b274 <= 0; } Constraint e258 { Definition: - b273 + b275 <= 0; } Constraint e259 { Definition: - b273 + b276 <= 0; } Constraint e260 { Definition: - b273 + b277 <= 0; } Constraint e261 { Definition: - b273 + b278 <= 0; } Constraint e262 { Definition: - b273 + b279 <= 0; } Constraint e263 { Definition: - b280 + b281 <= 0; } Constraint e264 { Definition: - b280 + b282 <= 0; } Constraint e265 { Definition: - b280 + b283 <= 0; } Constraint e266 { Definition: - b280 + b284 <= 0; } Constraint e267 { Definition: - b280 + b285 <= 0; } Constraint e268 { Definition: - b286 + b287 <= 0; } Constraint e269 { Definition: - b286 + b288 <= 0; } Constraint e270 { Definition: - b286 + b289 <= 0; } Constraint e271 { Definition: - b286 + b290 <= 0; } Constraint e272 { Definition: - b291 + b292 <= 0; } Constraint e273 { Definition: - b291 + b293 <= 0; } Constraint e274 { Definition: - b291 + b294 <= 0; } Constraint e275 { Definition: - b295 + b296 <= 0; } Constraint e276 { Definition: - b295 + b297 <= 0; } Constraint e277 { Definition: - b298 + b299 <= 0; } Constraint e278 { Definition: { 7872*b2 - 136*b3*b2 + 8392*b3 - 344*b4*b2 + 9720*b4 - 496*b5*b2 + 10984* b5 - 192*b6*b2 + 9912*b6 - 360*b7*b2 + 9672*b7 - 168*b8*b2 + 8792*b8 - 480*b9*b2 + 8936*b9 - 96*b10*b2 + 9128*b10 - 528*b11*b2 + 9368*b11 - 424 *b12*b2 + 8856*b12 - 40*b13*b2 + 9056*b13 - 648*b14*b2 + 9304*b14 - 488* b15*b2 + 9360*b15 - 80*b16*b2 + 9528*b16 - 704*b17*b2 + 9528*b17 - 616* b18*b2 + 9520*b18 - 272*b19*b2 + 8536*b19 - 16*b20*b2 + 9720*b20 - 656* b21*b2 + 10664*b21 - 424*b22*b2 + 9904*b22 - 208*b23*b2 + 7352*b23 - 496 *b24*b2 + 7896*b24 - 144*b4*b3 - 568*b5*b3 - 112*b6*b3 - 776*b7*b3 - 656 *b8*b3 - 432*b9*b3 - 72*b10*b3 - 736*b11*b3 - 440*b12*b3 - 624*b13*b3 - 696*b14*b3 - 552*b15*b3 - 16*b16*b3 - 256*b17*b3 - 336*b18*b3 - 112*b19* b3 - 360*b20*b3 - 480*b21*b3 - 536*b22*b3 - 16*b23*b3 - 336*b24*b3 - 648 *b5*b4 - 512*b6*b4 - 656*b7*b4 - 464*b8*b4 - 784*b9*b4 - 288*b10*b4 - 736*b11*b4 - 24*b12*b4 - 496*b13*b4 - 432*b14*b4 - 168*b15*b4 - 680*b16* b4 - 552*b17*b4 - 560*b18*b4 - 160*b19*b4 - 600*b20*b4 - 640*b21*b4 - 96 *b22*b4 - 656*b23*b4 - 80*b24*b4 - 792*b6*b5 - 32*b7*b5 - 104*b8*b5 - 672*b9*b5 - 784*b10*b5 - 216*b11*b5 - 648*b12*b5 - 472*b13*b5 - 376*b14* b5 - 664*b15*b5 - 424*b16*b5 - 640*b17*b5 - 280*b19*b5 - 720*b20*b5 - 784*b21*b5 - 568*b22*b5 - 664*b23*b5 - 432*b24*b5 - 688*b7*b6 - 712*b8* b6 - 216*b9*b6 - 568*b10*b6 - 80*b11*b6 - 784*b12*b6 - 728*b13*b6 - 688* b14*b6 - 240*b15*b6 - 440*b16*b6 - 160*b17*b6 - 320*b18*b6 - 56*b19*b6 - 608*b20*b6 - 424*b21*b6 - 728*b22*b6 - 600*b23*b6 - 264*b24*b6 - 576* b8*b7 - 272*b9*b7 - 256*b10*b7 - 56*b11*b7 - 696*b12*b7 - 512*b13*b7 - 56*b14*b7 - 592*b15*b7 - 432*b16*b7 - 464*b17*b7 - 776*b18*b7 - 712*b19* b7 - 96*b20*b7 - 664*b21*b7 - 632*b22*b7 - 312*b23*b7 - 56*b24*b7 - 712* b9*b8 - 712*b10*b8 - 784*b11*b8 - 216*b12*b8 - 152*b13*b8 - 48*b14*b8 - 480*b16*b8 - 104*b17*b8 - 608*b18*b8 - 520*b19*b8 - 448*b20*b8 - 408*b21 *b8 - 400*b22*b8 - 224*b23*b8 - 296*b24*b8 - 272*b10*b9 - 696*b11*b9 - 192*b12*b9 - 784*b13*b9 - 376*b14*b9 - 400*b15*b9 - 40*b16*b9 - 456*b17* b9 - 384*b18*b9 - 752*b19*b9 - 168*b20*b9 - 248*b21*b9 - 200*b22*b9 - 96 *b23*b9 - 304*b24*b9 - 120*b11*b10 - 16*b12*b10 - 712*b13*b10 - 752*b14* b10 - 168*b15*b10 - 760*b16*b10 - 752*b17*b10 - 264*b18*b10 - 64*b19*b10 - 568*b20*b10 - 792*b21*b10 - 512*b22*b10 - 592*b23*b10 - 8*b24*b10 - 352*b12*b11 - 96*b13*b11 - 288*b14*b11 - 664*b15*b11 - 704*b16*b11 - 272 *b17*b11 - 240*b18*b11 - 312*b19*b11 - 312*b20*b11 - 312*b21*b11 - 696* b22*b11 - 688*b23*b11 - 480*b24*b11 - 560*b13*b12 - 88*b14*b12 - 584*b15 *b12 - 72*b16*b12 - 624*b17*b12 - 600*b18*b12 - 400*b19*b12 - 584*b20* b12 - 384*b21*b12 - 360*b22*b12 - 152*b23*b12 - 656*b24*b12 - 40*b14*b13 - 720*b15*b13 - 264*b16*b13 - 168*b17*b13 - 136*b18*b13 - 272*b19*b13 - 520*b20*b13 - 648*b21*b13 - 560*b22*b13 - 552*b24*b13 - 456*b15*b14 - 664*b16*b14 - 480*b17*b14 - 768*b18*b14 - 176*b19*b14 - 792*b20*b14 - 272*b21*b14 - 664*b22*b14 - 176*b23*b14 - 368*b24*b14 - 448*b16*b15 - 664*b17*b15 - 192*b18*b15 - 664*b19*b15 - 264*b20*b15 - 392*b21*b15 - 248*b22*b15 - 240*b23*b15 - 552*b24*b15 - 520*b17*b16 - 280*b18*b16 - 88*b19*b16 - 784*b20*b16 - 448*b21*b16 - 640*b22*b16 - 680*b23*b16 - 584*b24*b16 - 488*b18*b17 - 440*b19*b17 - 200*b20*b17 - 664*b21*b17 - 96 *b22*b17 - 64*b23*b17 - 760*b24*b17 - 488*b19*b18 - 248*b20*b18 - 376* b21*b18 - 760*b22*b18 - 528*b23*b18 - 552*b24*b18 - 744*b20*b19 - 592* b21*b19 - 416*b22*b19 - 560*b23*b19 - 456*b24*b19 - 680*b21*b20 - 568* b22*b20 - 320*b23*b20 - 120*b24*b20 - 320*b22*b21 - 464*b23*b21 - 16*b24 *b21 - 32*b23*b22 - 448*b24*b22 - 80*b24*b23 <= 41592 } } Constraint e279 { Definition: { (-136*b26*b25) - 41272*b25 + 9136*b26 - 344*b27*b25 + 10464*b27 - 496* b28*b25 + 11488*b28 - 192*b29*b25 + 9976*b29 - 360*b30*b25 + 10088*b30 - 168*b31*b25 + 9224*b31 - 480*b32*b25 + 9448*b32 - 96*b33*b25 + 9320* b33 - 528*b34*b25 + 9480*b34 - 424*b35*b25 + 8888*b35 - 40*b36*b25 + 9208*b36 - 648*b37*b25 + 9872*b37 - 488*b38*b25 + 9584*b38 - 80*b39*b25 + 9632*b39 - 704*b40*b25 + 9888*b40 - 616*b41*b25 + 9936*b41 - 272*b42* b25 + 9168*b42 - 16*b43*b25 + 9808*b43 - 656*b44*b25 + 10984*b44 - 424* b45*b25 + 10000*b45 - 208*b46*b25 + 7808*b46 - 496*b47*b25 + 8280*b47 - 144*b27*b26 - 568*b28*b26 - 112*b29*b26 - 776*b30*b26 - 656*b31*b26 - 432*b32*b26 - 72*b33*b26 - 736*b34*b26 - 440*b35*b26 - 624*b36*b26 - 696 *b37*b26 - 552*b38*b26 - 16*b39*b26 - 256*b40*b26 - 336*b41*b26 - 112* b42*b26 - 360*b43*b26 - 480*b44*b26 - 536*b45*b26 - 16*b46*b26 - 336*b47 *b26 - 648*b28*b27 - 512*b29*b27 - 656*b30*b27 - 464*b31*b27 - 784*b32* b27 - 288*b33*b27 - 736*b34*b27 - 24*b35*b27 - 496*b36*b27 - 432*b37*b27 - 168*b38*b27 - 680*b39*b27 - 552*b40*b27 - 560*b41*b27 - 160*b42*b27 - 600*b43*b27 - 640*b44*b27 - 96*b45*b27 - 656*b46*b27 - 80*b47*b27 - 792*b29*b28 - 32*b30*b28 - 104*b31*b28 - 672*b32*b28 - 784*b33*b28 - 216 *b34*b28 - 648*b35*b28 - 472*b36*b28 - 376*b37*b28 - 664*b38*b28 - 424* b39*b28 - 640*b40*b28 - 280*b42*b28 - 720*b43*b28 - 784*b44*b28 - 568* b45*b28 - 664*b46*b28 - 432*b47*b28 - 688*b30*b29 - 712*b31*b29 - 216* b32*b29 - 568*b33*b29 - 80*b34*b29 - 784*b35*b29 - 728*b36*b29 - 688*b37 *b29 - 240*b38*b29 - 440*b39*b29 - 160*b40*b29 - 320*b41*b29 - 56*b42* b29 - 608*b43*b29 - 424*b44*b29 - 728*b45*b29 - 600*b46*b29 - 264*b47* b29 - 576*b31*b30 - 272*b32*b30 - 256*b33*b30 - 56*b34*b30 - 696*b35*b30 - 512*b36*b30 - 56*b37*b30 - 592*b38*b30 - 432*b39*b30 - 464*b40*b30 - 776*b41*b30 - 712*b42*b30 - 96*b43*b30 - 664*b44*b30 - 632*b45*b30 - 312 *b46*b30 - 56*b47*b30 - 712*b32*b31 - 712*b33*b31 - 784*b34*b31 - 216* b35*b31 - 152*b36*b31 - 48*b37*b31 - 480*b39*b31 - 104*b40*b31 - 608*b41 *b31 - 520*b42*b31 - 448*b43*b31 - 408*b44*b31 - 400*b45*b31 - 224*b46* b31 - 296*b47*b31 - 272*b33*b32 - 696*b34*b32 - 192*b35*b32 - 784*b36* b32 - 376*b37*b32 - 400*b38*b32 - 40*b39*b32 - 456*b40*b32 - 384*b41*b32 - 752*b42*b32 - 168*b43*b32 - 248*b44*b32 - 200*b45*b32 - 96*b46*b32 - 304*b47*b32 - 120*b34*b33 - 16*b35*b33 - 712*b36*b33 - 752*b37*b33 - 168 *b38*b33 - 760*b39*b33 - 752*b40*b33 - 264*b41*b33 - 64*b42*b33 - 568* b43*b33 - 792*b44*b33 - 512*b45*b33 - 592*b46*b33 - 8*b47*b33 - 352*b35* b34 - 96*b36*b34 - 288*b37*b34 - 664*b38*b34 - 704*b39*b34 - 272*b40*b34 - 240*b41*b34 - 312*b42*b34 - 312*b43*b34 - 312*b44*b34 - 696*b45*b34 - 688*b46*b34 - 480*b47*b34 - 560*b36*b35 - 88*b37*b35 - 584*b38*b35 - 72*b39*b35 - 624*b40*b35 - 600*b41*b35 - 400*b42*b35 - 584*b43*b35 - 384 *b44*b35 - 360*b45*b35 - 152*b46*b35 - 656*b47*b35 - 40*b37*b36 - 720* b38*b36 - 264*b39*b36 - 168*b40*b36 - 136*b41*b36 - 272*b42*b36 - 520* b43*b36 - 648*b44*b36 - 560*b45*b36 - 552*b47*b36 - 456*b38*b37 - 664* b39*b37 - 480*b40*b37 - 768*b41*b37 - 176*b42*b37 - 792*b43*b37 - 272* b44*b37 - 664*b45*b37 - 176*b46*b37 - 368*b47*b37 - 448*b39*b38 - 664* b40*b38 - 192*b41*b38 - 664*b42*b38 - 264*b43*b38 - 392*b44*b38 - 248* b45*b38 - 240*b46*b38 - 552*b47*b38 - 520*b40*b39 - 280*b41*b39 - 88*b42 *b39 - 784*b43*b39 - 448*b44*b39 - 640*b45*b39 - 680*b46*b39 - 584*b47* b39 - 488*b41*b40 - 440*b42*b40 - 200*b43*b40 - 664*b44*b40 - 96*b45*b40 - 64*b46*b40 - 760*b47*b40 - 488*b42*b41 - 248*b43*b41 - 376*b44*b41 - 760*b45*b41 - 528*b46*b41 - 552*b47*b41 - 744*b43*b42 - 592*b44*b42 - 416*b45*b42 - 560*b46*b42 - 456*b47*b42 - 680*b44*b43 - 568*b45*b43 - 320*b46*b43 - 120*b47*b43 - 320*b45*b44 - 464*b46*b44 - 16*b47*b44 - 32* b46*b45 - 448*b47*b45 - 80*b47*b46 <= 0 } } Constraint e280 { Definition: { (-144*b49*b48) - 40368*b48 + 10464*b49 - 568*b50*b48 + 11488*b50 - 112* b51*b48 + 9976*b51 - 776*b52*b48 + 10088*b52 - 656*b53*b48 + 9224*b53 - 432*b54*b48 + 9448*b54 - 72*b55*b48 + 9320*b55 - 736*b56*b48 + 9480*b56 - 440*b57*b48 + 8888*b57 - 624*b58*b48 + 9208*b58 - 696*b59*b48 + 9872* b59 - 552*b60*b48 + 9584*b60 - 16*b61*b48 + 9632*b61 - 256*b62*b48 + 9888*b62 - 336*b63*b48 + 9936*b63 - 112*b64*b48 + 9168*b64 - 360*b65*b48 + 9808*b65 - 480*b66*b48 + 10984*b66 - 536*b67*b48 + 10000*b67 - 16*b68 *b48 + 7808*b68 - 336*b69*b48 + 8280*b69 - 648*b50*b49 - 512*b51*b49 - 656*b52*b49 - 464*b53*b49 - 784*b54*b49 - 288*b55*b49 - 736*b56*b49 - 24 *b57*b49 - 496*b58*b49 - 432*b59*b49 - 168*b60*b49 - 680*b61*b49 - 552* b62*b49 - 560*b63*b49 - 160*b64*b49 - 600*b65*b49 - 640*b66*b49 - 96*b67 *b49 - 656*b68*b49 - 80*b69*b49 - 792*b51*b50 - 32*b52*b50 - 104*b53*b50 - 672*b54*b50 - 784*b55*b50 - 216*b56*b50 - 648*b57*b50 - 472*b58*b50 - 376*b59*b50 - 664*b60*b50 - 424*b61*b50 - 640*b62*b50 - 280*b64*b50 - 720*b65*b50 - 784*b66*b50 - 568*b67*b50 - 664*b68*b50 - 432*b69*b50 - 688*b52*b51 - 712*b53*b51 - 216*b54*b51 - 568*b55*b51 - 80*b56*b51 - 784*b57*b51 - 728*b58*b51 - 688*b59*b51 - 240*b60*b51 - 440*b61*b51 - 160*b62*b51 - 320*b63*b51 - 56*b64*b51 - 608*b65*b51 - 424*b66*b51 - 728 *b67*b51 - 600*b68*b51 - 264*b69*b51 - 576*b53*b52 - 272*b54*b52 - 256* b55*b52 - 56*b56*b52 - 696*b57*b52 - 512*b58*b52 - 56*b59*b52 - 592*b60* b52 - 432*b61*b52 - 464*b62*b52 - 776*b63*b52 - 712*b64*b52 - 96*b65*b52 - 664*b66*b52 - 632*b67*b52 - 312*b68*b52 - 56*b69*b52 - 712*b54*b53 - 712*b55*b53 - 784*b56*b53 - 216*b57*b53 - 152*b58*b53 - 48*b59*b53 - 480 *b61*b53 - 104*b62*b53 - 608*b63*b53 - 520*b64*b53 - 448*b65*b53 - 408* b66*b53 - 400*b67*b53 - 224*b68*b53 - 296*b69*b53 - 272*b55*b54 - 696* b56*b54 - 192*b57*b54 - 784*b58*b54 - 376*b59*b54 - 400*b60*b54 - 40*b61 *b54 - 456*b62*b54 - 384*b63*b54 - 752*b64*b54 - 168*b65*b54 - 248*b66* b54 - 200*b67*b54 - 96*b68*b54 - 304*b69*b54 - 120*b56*b55 - 16*b57*b55 - 712*b58*b55 - 752*b59*b55 - 168*b60*b55 - 760*b61*b55 - 752*b62*b55 - 264*b63*b55 - 64*b64*b55 - 568*b65*b55 - 792*b66*b55 - 512*b67*b55 - 592*b68*b55 - 8*b69*b55 - 352*b57*b56 - 96*b58*b56 - 288*b59*b56 - 664* b60*b56 - 704*b61*b56 - 272*b62*b56 - 240*b63*b56 - 312*b64*b56 - 312* b65*b56 - 312*b66*b56 - 696*b67*b56 - 688*b68*b56 - 480*b69*b56 - 560* b58*b57 - 88*b59*b57 - 584*b60*b57 - 72*b61*b57 - 624*b62*b57 - 600*b63* b57 - 400*b64*b57 - 584*b65*b57 - 384*b66*b57 - 360*b67*b57 - 152*b68* b57 - 656*b69*b57 - 40*b59*b58 - 720*b60*b58 - 264*b61*b58 - 168*b62*b58 - 136*b63*b58 - 272*b64*b58 - 520*b65*b58 - 648*b66*b58 - 560*b67*b58 - 552*b69*b58 - 456*b60*b59 - 664*b61*b59 - 480*b62*b59 - 768*b63*b59 - 176*b64*b59 - 792*b65*b59 - 272*b66*b59 - 664*b67*b59 - 176*b68*b59 - 368*b69*b59 - 448*b61*b60 - 664*b62*b60 - 192*b63*b60 - 664*b64*b60 - 264*b65*b60 - 392*b66*b60 - 248*b67*b60 - 240*b68*b60 - 552*b69*b60 - 520*b62*b61 - 280*b63*b61 - 88*b64*b61 - 784*b65*b61 - 448*b66*b61 - 640*b67*b61 - 680*b68*b61 - 584*b69*b61 - 488*b63*b62 - 440*b64*b62 - 200*b65*b62 - 664*b66*b62 - 96*b67*b62 - 64*b68*b62 - 760*b69*b62 - 488* b64*b63 - 248*b65*b63 - 376*b66*b63 - 760*b67*b63 - 528*b68*b63 - 552* b69*b63 - 744*b65*b64 - 592*b66*b64 - 416*b67*b64 - 560*b68*b64 - 456* b69*b64 - 680*b66*b65 - 568*b67*b65 - 320*b68*b65 - 120*b69*b65 - 320* b67*b66 - 464*b68*b66 - 16*b69*b66 - 32*b68*b67 - 448*b69*b67 - 80*b69* b68 <= 0 } } Constraint e281 { Definition: { (-648*b71*b70) - 39040*b70 + 11488*b71 - 512*b72*b70 + 9976*b72 - 656* b73*b70 + 10088*b73 - 464*b74*b70 + 9224*b74 - 784*b75*b70 + 9448*b75 - 288*b76*b70 + 9320*b76 - 736*b77*b70 + 9480*b77 - 24*b78*b70 + 8888*b78 - 496*b79*b70 + 9208*b79 - 432*b80*b70 + 9872*b80 - 168*b81*b70 + 9584* b81 - 680*b82*b70 + 9632*b82 - 552*b83*b70 + 9888*b83 - 560*b84*b70 + 9936*b84 - 160*b85*b70 + 9168*b85 - 600*b86*b70 + 9808*b86 - 640*b87*b70 + 10984*b87 - 96*b88*b70 + 10000*b88 - 656*b89*b70 + 7808*b89 - 80*b90* b70 + 8280*b90 - 792*b72*b71 - 32*b73*b71 - 104*b74*b71 - 672*b75*b71 - 784*b76*b71 - 216*b77*b71 - 648*b78*b71 - 472*b79*b71 - 376*b80*b71 - 664*b81*b71 - 424*b82*b71 - 640*b83*b71 - 280*b85*b71 - 720*b86*b71 - 784*b87*b71 - 568*b88*b71 - 664*b89*b71 - 432*b90*b71 - 688*b73*b72 - 712*b74*b72 - 216*b75*b72 - 568*b76*b72 - 80*b77*b72 - 784*b78*b72 - 728 *b79*b72 - 688*b80*b72 - 240*b81*b72 - 440*b82*b72 - 160*b83*b72 - 320* b84*b72 - 56*b85*b72 - 608*b86*b72 - 424*b87*b72 - 728*b88*b72 - 600*b89 *b72 - 264*b90*b72 - 576*b74*b73 - 272*b75*b73 - 256*b76*b73 - 56*b77* b73 - 696*b78*b73 - 512*b79*b73 - 56*b80*b73 - 592*b81*b73 - 432*b82*b73 - 464*b83*b73 - 776*b84*b73 - 712*b85*b73 - 96*b86*b73 - 664*b87*b73 - 632*b88*b73 - 312*b89*b73 - 56*b90*b73 - 712*b75*b74 - 712*b76*b74 - 784 *b77*b74 - 216*b78*b74 - 152*b79*b74 - 48*b80*b74 - 480*b82*b74 - 104* b83*b74 - 608*b84*b74 - 520*b85*b74 - 448*b86*b74 - 408*b87*b74 - 400* b88*b74 - 224*b89*b74 - 296*b90*b74 - 272*b76*b75 - 696*b77*b75 - 192* b78*b75 - 784*b79*b75 - 376*b80*b75 - 400*b81*b75 - 40*b82*b75 - 456*b83 *b75 - 384*b84*b75 - 752*b85*b75 - 168*b86*b75 - 248*b87*b75 - 200*b88* b75 - 96*b89*b75 - 304*b90*b75 - 120*b77*b76 - 16*b78*b76 - 712*b79*b76 - 752*b80*b76 - 168*b81*b76 - 760*b82*b76 - 752*b83*b76 - 264*b84*b76 - 64*b85*b76 - 568*b86*b76 - 792*b87*b76 - 512*b88*b76 - 592*b89*b76 - 8*b90*b76 - 352*b78*b77 - 96*b79*b77 - 288*b80*b77 - 664*b81*b77 - 704* b82*b77 - 272*b83*b77 - 240*b84*b77 - 312*b85*b77 - 312*b86*b77 - 312* b87*b77 - 696*b88*b77 - 688*b89*b77 - 480*b90*b77 - 560*b79*b78 - 88*b80 *b78 - 584*b81*b78 - 72*b82*b78 - 624*b83*b78 - 600*b84*b78 - 400*b85* b78 - 584*b86*b78 - 384*b87*b78 - 360*b88*b78 - 152*b89*b78 - 656*b90* b78 - 40*b80*b79 - 720*b81*b79 - 264*b82*b79 - 168*b83*b79 - 136*b84*b79 - 272*b85*b79 - 520*b86*b79 - 648*b87*b79 - 560*b88*b79 - 552*b90*b79 - 456*b81*b80 - 664*b82*b80 - 480*b83*b80 - 768*b84*b80 - 176*b85*b80 - 792*b86*b80 - 272*b87*b80 - 664*b88*b80 - 176*b89*b80 - 368*b90*b80 - 448*b82*b81 - 664*b83*b81 - 192*b84*b81 - 664*b85*b81 - 264*b86*b81 - 392*b87*b81 - 248*b88*b81 - 240*b89*b81 - 552*b90*b81 - 520*b83*b82 - 280*b84*b82 - 88*b85*b82 - 784*b86*b82 - 448*b87*b82 - 640*b88*b82 - 680*b89*b82 - 584*b90*b82 - 488*b84*b83 - 440*b85*b83 - 200*b86*b83 - 664*b87*b83 - 96*b88*b83 - 64*b89*b83 - 760*b90*b83 - 488*b85*b84 - 248* b86*b84 - 376*b87*b84 - 760*b88*b84 - 528*b89*b84 - 552*b90*b84 - 744* b86*b85 - 592*b87*b85 - 416*b88*b85 - 560*b89*b85 - 456*b90*b85 - 680* b87*b86 - 568*b88*b86 - 320*b89*b86 - 120*b90*b86 - 320*b88*b87 - 464* b89*b87 - 16*b90*b87 - 32*b89*b88 - 448*b90*b88 - 80*b90*b89 <= 0 } } Constraint e282 { Definition: { (-792*b92*b91) - 38016*b91 + 9976*b92 - 32*b93*b91 + 10088*b93 - 104*b94 *b91 + 9224*b94 - 672*b95*b91 + 9448*b95 - 784*b96*b91 + 9320*b96 - 216* b97*b91 + 9480*b97 - 648*b98*b91 + 8888*b98 - 472*b99*b91 + 9208*b99 - 376*b100*b91 + 9872*b100 - 664*b101*b91 + 9584*b101 - 424*b102*b91 + 9632*b102 - 640*b103*b91 + 9888*b103 - 280*b104*b91 + 9168*b104 - 720* b105*b91 + 9808*b105 - 784*b106*b91 + 10984*b106 - 568*b107*b91 + 10000* b107 - 664*b108*b91 + 7808*b108 - 432*b109*b91 + 8280*b109 - 688*b93*b92 - 712*b94*b92 - 216*b95*b92 - 568*b96*b92 - 80*b97*b92 - 784*b98*b92 - 728*b99*b92 - 688*b100*b92 - 240*b101*b92 - 440*b102*b92 - 160*b103*b92 - 56*b104*b92 - 608*b105*b92 - 424*b106*b92 - 728*b107*b92 - 600*b108* b92 - 264*b109*b92 - 320*b110*b92 + 9936*b110 - 576*b94*b93 - 272*b95* b93 - 256*b96*b93 - 56*b97*b93 - 696*b98*b93 - 512*b99*b93 - 56*b100*b93 - 592*b101*b93 - 432*b102*b93 - 464*b103*b93 - 712*b104*b93 - 96*b105* b93 - 664*b106*b93 - 632*b107*b93 - 312*b108*b93 - 56*b109*b93 - 776* b110*b93 - 712*b95*b94 - 712*b96*b94 - 784*b97*b94 - 216*b98*b94 - 152* b99*b94 - 48*b100*b94 - 480*b102*b94 - 104*b103*b94 - 520*b104*b94 - 448 *b105*b94 - 408*b106*b94 - 400*b107*b94 - 224*b108*b94 - 296*b109*b94 - 608*b110*b94 - 272*b96*b95 - 696*b97*b95 - 192*b98*b95 - 784*b99*b95 - 376*b100*b95 - 400*b101*b95 - 40*b102*b95 - 456*b103*b95 - 752*b104*b95 - 168*b105*b95 - 248*b106*b95 - 200*b107*b95 - 96*b108*b95 - 304*b109* b95 - 384*b110*b95 - 120*b97*b96 - 16*b98*b96 - 712*b99*b96 - 752*b100* b96 - 168*b101*b96 - 760*b102*b96 - 752*b103*b96 - 64*b104*b96 - 568* b105*b96 - 792*b106*b96 - 512*b107*b96 - 592*b108*b96 - 8*b109*b96 - 264 *b110*b96 - 352*b98*b97 - 96*b99*b97 - 288*b100*b97 - 664*b101*b97 - 704 *b102*b97 - 272*b103*b97 - 312*b104*b97 - 312*b105*b97 - 312*b106*b97 - 696*b107*b97 - 688*b108*b97 - 480*b109*b97 - 240*b110*b97 - 560*b99*b98 - 88*b100*b98 - 584*b101*b98 - 72*b102*b98 - 624*b103*b98 - 400*b104* b98 - 584*b105*b98 - 384*b106*b98 - 360*b107*b98 - 152*b108*b98 - 656* b109*b98 - 600*b110*b98 - 40*b100*b99 - 720*b101*b99 - 264*b102*b99 - 168*b103*b99 - 272*b104*b99 - 520*b105*b99 - 648*b106*b99 - 560*b107*b99 - 552*b109*b99 - 136*b110*b99 - 456*b101*b100 - 664*b102*b100 - 480* b103*b100 - 176*b104*b100 - 792*b105*b100 - 272*b106*b100 - 664*b107* b100 - 176*b108*b100 - 368*b109*b100 - 768*b110*b100 - 448*b102*b101 - 664*b103*b101 - 664*b104*b101 - 264*b105*b101 - 392*b106*b101 - 248*b107 *b101 - 240*b108*b101 - 552*b109*b101 - 192*b110*b101 - 520*b103*b102 - 88*b104*b102 - 784*b105*b102 - 448*b106*b102 - 640*b107*b102 - 680*b108* b102 - 584*b109*b102 - 280*b110*b102 - 440*b104*b103 - 200*b105*b103 - 664*b106*b103 - 96*b107*b103 - 64*b108*b103 - 760*b109*b103 - 488*b110* b103 - 744*b105*b104 - 592*b106*b104 - 416*b107*b104 - 560*b108*b104 - 456*b109*b104 - 488*b110*b104 - 680*b106*b105 - 568*b107*b105 - 320*b108 *b105 - 120*b109*b105 - 248*b110*b105 - 320*b107*b106 - 464*b108*b106 - 16*b109*b106 - 376*b110*b106 - 32*b108*b107 - 448*b109*b107 - 760*b110* b107 - 80*b109*b108 - 528*b110*b108 - 552*b110*b109 <= 0 } } Constraint e283 { Definition: { (-688*b112*b111) - 39528*b111 + 10088*b112 - 712*b113*b111 + 9224*b113 - 216*b114*b111 + 9448*b114 - 568*b115*b111 + 9320*b115 - 80*b116*b111 + 9480*b116 - 784*b117*b111 + 8888*b117 - 728*b118*b111 + 9208*b118 - 688*b119*b111 + 9872*b119 - 240*b120*b111 + 9584*b120 - 440*b121*b111 + 9632*b121 - 160*b122*b111 + 9888*b122 - 320*b123*b111 + 9936*b123 - 56* b124*b111 + 9168*b124 - 608*b125*b111 + 9808*b125 - 424*b126*b111 + 10984*b126 - 728*b127*b111 + 10000*b127 - 600*b128*b111 + 7808*b128 - 264*b129*b111 + 8280*b129 - 576*b113*b112 - 272*b114*b112 - 256*b115* b112 - 56*b116*b112 - 696*b117*b112 - 512*b118*b112 - 56*b119*b112 - 592 *b120*b112 - 432*b121*b112 - 464*b122*b112 - 776*b123*b112 - 712*b124* b112 - 96*b125*b112 - 664*b126*b112 - 632*b127*b112 - 312*b128*b112 - 56 *b129*b112 - 712*b114*b113 - 712*b115*b113 - 784*b116*b113 - 216*b117* b113 - 152*b118*b113 - 48*b119*b113 - 480*b121*b113 - 104*b122*b113 - 608*b123*b113 - 520*b124*b113 - 448*b125*b113 - 408*b126*b113 - 400*b127 *b113 - 224*b128*b113 - 296*b129*b113 - 272*b115*b114 - 696*b116*b114 - 192*b117*b114 - 784*b118*b114 - 376*b119*b114 - 400*b120*b114 - 40*b121* b114 - 456*b122*b114 - 384*b123*b114 - 752*b124*b114 - 168*b125*b114 - 248*b126*b114 - 200*b127*b114 - 96*b128*b114 - 304*b129*b114 - 120*b116* b115 - 16*b117*b115 - 712*b118*b115 - 752*b119*b115 - 168*b120*b115 - 760*b121*b115 - 752*b122*b115 - 264*b123*b115 - 64*b124*b115 - 568*b125* b115 - 792*b126*b115 - 512*b127*b115 - 592*b128*b115 - 8*b129*b115 - 352 *b117*b116 - 96*b118*b116 - 288*b119*b116 - 664*b120*b116 - 704*b121* b116 - 272*b122*b116 - 240*b123*b116 - 312*b124*b116 - 312*b125*b116 - 312*b126*b116 - 696*b127*b116 - 688*b128*b116 - 480*b129*b116 - 560*b118 *b117 - 88*b119*b117 - 584*b120*b117 - 72*b121*b117 - 624*b122*b117 - 600*b123*b117 - 400*b124*b117 - 584*b125*b117 - 384*b126*b117 - 360*b127 *b117 - 152*b128*b117 - 656*b129*b117 - 40*b119*b118 - 720*b120*b118 - 264*b121*b118 - 168*b122*b118 - 136*b123*b118 - 272*b124*b118 - 520*b125 *b118 - 648*b126*b118 - 560*b127*b118 - 552*b129*b118 - 456*b120*b119 - 664*b121*b119 - 480*b122*b119 - 768*b123*b119 - 176*b124*b119 - 792*b125 *b119 - 272*b126*b119 - 664*b127*b119 - 176*b128*b119 - 368*b129*b119 - 448*b121*b120 - 664*b122*b120 - 192*b123*b120 - 664*b124*b120 - 264*b125 *b120 - 392*b126*b120 - 248*b127*b120 - 240*b128*b120 - 552*b129*b120 - 520*b122*b121 - 280*b123*b121 - 88*b124*b121 - 784*b125*b121 - 448*b126* b121 - 640*b127*b121 - 680*b128*b121 - 584*b129*b121 - 488*b123*b122 - 440*b124*b122 - 200*b125*b122 - 664*b126*b122 - 96*b127*b122 - 64*b128* b122 - 760*b129*b122 - 488*b124*b123 - 248*b125*b123 - 376*b126*b123 - 760*b127*b123 - 528*b128*b123 - 552*b129*b123 - 744*b125*b124 - 592*b126 *b124 - 416*b127*b124 - 560*b128*b124 - 456*b129*b124 - 680*b126*b125 - 568*b127*b125 - 320*b128*b125 - 120*b129*b125 - 320*b127*b126 - 464*b128 *b126 - 16*b129*b126 - 32*b128*b127 - 448*b129*b127 - 80*b129*b128 <= 0 } } Constraint e284 { Definition: { (-576*b131*b130) - 39416*b130 + 9224*b131 - 272*b132*b130 + 9448*b132 - 256*b133*b130 + 9320*b133 - 56*b134*b130 + 9480*b134 - 696*b135*b130 + 8888*b135 - 512*b136*b130 + 9208*b136 - 56*b137*b130 + 9872*b137 - 592* b138*b130 + 9584*b138 - 432*b139*b130 + 9632*b139 - 464*b140*b130 + 9888 *b140 - 776*b141*b130 + 9936*b141 - 712*b142*b130 + 9168*b142 - 96*b143* b130 + 9808*b143 - 664*b144*b130 + 10984*b144 - 632*b145*b130 + 10000* b145 - 312*b146*b130 + 7808*b146 - 56*b147*b130 + 8280*b147 - 712*b132* b131 - 712*b133*b131 - 784*b134*b131 - 216*b135*b131 - 152*b136*b131 - 48*b137*b131 - 480*b139*b131 - 104*b140*b131 - 608*b141*b131 - 520*b142* b131 - 448*b143*b131 - 408*b144*b131 - 400*b145*b131 - 224*b146*b131 - 296*b147*b131 - 272*b133*b132 - 696*b134*b132 - 192*b135*b132 - 784*b136 *b132 - 376*b137*b132 - 400*b138*b132 - 40*b139*b132 - 456*b140*b132 - 384*b141*b132 - 752*b142*b132 - 168*b143*b132 - 248*b144*b132 - 200*b145 *b132 - 96*b146*b132 - 304*b147*b132 - 120*b134*b133 - 16*b135*b133 - 712*b136*b133 - 752*b137*b133 - 168*b138*b133 - 760*b139*b133 - 752*b140 *b133 - 264*b141*b133 - 64*b142*b133 - 568*b143*b133 - 792*b144*b133 - 512*b145*b133 - 592*b146*b133 - 8*b147*b133 - 352*b135*b134 - 96*b136* b134 - 288*b137*b134 - 664*b138*b134 - 704*b139*b134 - 272*b140*b134 - 240*b141*b134 - 312*b142*b134 - 312*b143*b134 - 312*b144*b134 - 696*b145 *b134 - 688*b146*b134 - 480*b147*b134 - 560*b136*b135 - 88*b137*b135 - 584*b138*b135 - 72*b139*b135 - 624*b140*b135 - 600*b141*b135 - 400*b142* b135 - 584*b143*b135 - 384*b144*b135 - 360*b145*b135 - 152*b146*b135 - 656*b147*b135 - 40*b137*b136 - 720*b138*b136 - 264*b139*b136 - 168*b140* b136 - 136*b141*b136 - 272*b142*b136 - 520*b143*b136 - 648*b144*b136 - 560*b145*b136 - 552*b147*b136 - 456*b138*b137 - 664*b139*b137 - 480*b140 *b137 - 768*b141*b137 - 176*b142*b137 - 792*b143*b137 - 272*b144*b137 - 664*b145*b137 - 176*b146*b137 - 368*b147*b137 - 448*b139*b138 - 664*b140 *b138 - 192*b141*b138 - 664*b142*b138 - 264*b143*b138 - 392*b144*b138 - 248*b145*b138 - 240*b146*b138 - 552*b147*b138 - 520*b140*b139 - 280*b141 *b139 - 88*b142*b139 - 784*b143*b139 - 448*b144*b139 - 640*b145*b139 - 680*b146*b139 - 584*b147*b139 - 488*b141*b140 - 440*b142*b140 - 200*b143 *b140 - 664*b144*b140 - 96*b145*b140 - 64*b146*b140 - 760*b147*b140 - 488*b142*b141 - 248*b143*b141 - 376*b144*b141 - 760*b145*b141 - 528*b146 *b141 - 552*b147*b141 - 744*b143*b142 - 592*b144*b142 - 416*b145*b142 - 560*b146*b142 - 456*b147*b142 - 680*b144*b143 - 568*b145*b143 - 320*b146 *b143 - 120*b147*b143 - 320*b145*b144 - 464*b146*b144 - 16*b147*b144 - 32*b146*b145 - 448*b147*b145 - 80*b147*b146 <= 0 } } Constraint e285 { Definition: { (-712*b149*b148) - 40280*b148 + 9448*b149 - 712*b150*b148 + 9320*b150 - 784*b151*b148 + 9480*b151 - 216*b152*b148 + 8888*b152 - 152*b153*b148 + 9208*b153 - 48*b154*b148 + 9872*b154 - 480*b155*b148 + 9632*b155 - 104* b156*b148 + 9888*b156 - 608*b157*b148 + 9936*b157 - 520*b158*b148 + 9168 *b158 - 448*b159*b148 + 9808*b159 - 408*b160*b148 + 10984*b160 - 400* b161*b148 + 10000*b161 - 224*b162*b148 + 7808*b162 - 296*b163*b148 + 8280*b163 - 272*b150*b149 - 696*b151*b149 - 192*b152*b149 - 784*b153* b149 - 376*b154*b149 - 40*b155*b149 - 456*b156*b149 - 384*b157*b149 - 752*b158*b149 - 168*b159*b149 - 248*b160*b149 - 200*b161*b149 - 96*b162* b149 - 304*b163*b149 - 400*b164*b149 + 9584*b164 - 120*b151*b150 - 16* b152*b150 - 712*b153*b150 - 752*b154*b150 - 760*b155*b150 - 752*b156* b150 - 264*b157*b150 - 64*b158*b150 - 568*b159*b150 - 792*b160*b150 - 512*b161*b150 - 592*b162*b150 - 8*b163*b150 - 168*b164*b150 - 352*b152* b151 - 96*b153*b151 - 288*b154*b151 - 704*b155*b151 - 272*b156*b151 - 240*b157*b151 - 312*b158*b151 - 312*b159*b151 - 312*b160*b151 - 696*b161 *b151 - 688*b162*b151 - 480*b163*b151 - 664*b164*b151 - 560*b153*b152 - 88*b154*b152 - 72*b155*b152 - 624*b156*b152 - 600*b157*b152 - 400*b158* b152 - 584*b159*b152 - 384*b160*b152 - 360*b161*b152 - 152*b162*b152 - 656*b163*b152 - 584*b164*b152 - 40*b154*b153 - 264*b155*b153 - 168*b156* b153 - 136*b157*b153 - 272*b158*b153 - 520*b159*b153 - 648*b160*b153 - 560*b161*b153 - 552*b163*b153 - 720*b164*b153 - 664*b155*b154 - 480*b156 *b154 - 768*b157*b154 - 176*b158*b154 - 792*b159*b154 - 272*b160*b154 - 664*b161*b154 - 176*b162*b154 - 368*b163*b154 - 456*b164*b154 - 520*b156 *b155 - 280*b157*b155 - 88*b158*b155 - 784*b159*b155 - 448*b160*b155 - 640*b161*b155 - 680*b162*b155 - 584*b163*b155 - 448*b164*b155 - 488*b157 *b156 - 440*b158*b156 - 200*b159*b156 - 664*b160*b156 - 96*b161*b156 - 64*b162*b156 - 760*b163*b156 - 664*b164*b156 - 488*b158*b157 - 248*b159* b157 - 376*b160*b157 - 760*b161*b157 - 528*b162*b157 - 552*b163*b157 - 192*b164*b157 - 744*b159*b158 - 592*b160*b158 - 416*b161*b158 - 560*b162 *b158 - 456*b163*b158 - 664*b164*b158 - 680*b160*b159 - 568*b161*b159 - 320*b162*b159 - 120*b163*b159 - 264*b164*b159 - 320*b161*b160 - 464*b162 *b160 - 16*b163*b160 - 392*b164*b160 - 32*b162*b161 - 448*b163*b161 - 248*b164*b161 - 80*b163*b162 - 240*b164*b162 - 552*b164*b163 <= 0 } } Constraint e286 { Definition: { (-272*b166*b165) - 40056*b165 + 9320*b166 - 696*b167*b165 + 9480*b167 - 192*b168*b165 + 8888*b168 - 784*b169*b165 + 9208*b169 - 376*b170*b165 + 9872*b170 - 400*b171*b165 + 9584*b171 - 40*b172*b165 + 9632*b172 - 456* b173*b165 + 9888*b173 - 384*b174*b165 + 9936*b174 - 752*b175*b165 + 9168 *b175 - 168*b176*b165 + 9808*b176 - 248*b177*b165 + 10984*b177 - 200* b178*b165 + 10000*b178 - 96*b179*b165 + 7808*b179 - 304*b180*b165 + 8280 *b180 - 120*b167*b166 - 16*b168*b166 - 712*b169*b166 - 752*b170*b166 - 168*b171*b166 - 760*b172*b166 - 752*b173*b166 - 264*b174*b166 - 64*b175* b166 - 568*b176*b166 - 792*b177*b166 - 512*b178*b166 - 592*b179*b166 - 8 *b180*b166 - 352*b168*b167 - 96*b169*b167 - 288*b170*b167 - 664*b171* b167 - 704*b172*b167 - 272*b173*b167 - 240*b174*b167 - 312*b175*b167 - 312*b176*b167 - 312*b177*b167 - 696*b178*b167 - 688*b179*b167 - 480*b180 *b167 - 560*b169*b168 - 88*b170*b168 - 584*b171*b168 - 72*b172*b168 - 624*b173*b168 - 600*b174*b168 - 400*b175*b168 - 584*b176*b168 - 384*b177 *b168 - 360*b178*b168 - 152*b179*b168 - 656*b180*b168 - 40*b170*b169 - 720*b171*b169 - 264*b172*b169 - 168*b173*b169 - 136*b174*b169 - 272*b175 *b169 - 520*b176*b169 - 648*b177*b169 - 560*b178*b169 - 552*b180*b169 - 456*b171*b170 - 664*b172*b170 - 480*b173*b170 - 768*b174*b170 - 176*b175 *b170 - 792*b176*b170 - 272*b177*b170 - 664*b178*b170 - 176*b179*b170 - 368*b180*b170 - 448*b172*b171 - 664*b173*b171 - 192*b174*b171 - 664*b175 *b171 - 264*b176*b171 - 392*b177*b171 - 248*b178*b171 - 240*b179*b171 - 552*b180*b171 - 520*b173*b172 - 280*b174*b172 - 88*b175*b172 - 784*b176* b172 - 448*b177*b172 - 640*b178*b172 - 680*b179*b172 - 584*b180*b172 - 488*b174*b173 - 440*b175*b173 - 200*b176*b173 - 664*b177*b173 - 96*b178* b173 - 64*b179*b173 - 760*b180*b173 - 488*b175*b174 - 248*b176*b174 - 376*b177*b174 - 760*b178*b174 - 528*b179*b174 - 552*b180*b174 - 744*b176 *b175 - 592*b177*b175 - 416*b178*b175 - 560*b179*b175 - 456*b180*b175 - 680*b177*b176 - 568*b178*b176 - 320*b179*b176 - 120*b180*b176 - 320*b178 *b177 - 464*b179*b177 - 16*b180*b177 - 32*b179*b178 - 448*b180*b178 - 80 *b180*b179 <= 0 } } Constraint e287 { Definition: { (-120*b182*b181) - 40184*b181 + 9480*b182 - 16*b183*b181 + 8888*b183 - 712*b184*b181 + 9208*b184 - 752*b185*b181 + 9872*b185 - 168*b186*b181 + 9584*b186 - 760*b187*b181 + 9632*b187 - 752*b188*b181 + 9888*b188 - 264* b189*b181 + 9936*b189 - 64*b190*b181 + 9168*b190 - 568*b191*b181 + 9808* b191 - 792*b192*b181 + 10984*b192 - 512*b193*b181 + 10000*b193 - 592* b194*b181 + 7808*b194 - 8*b195*b181 + 8280*b195 - 352*b183*b182 - 96* b184*b182 - 288*b185*b182 - 664*b186*b182 - 704*b187*b182 - 272*b188* b182 - 240*b189*b182 - 312*b190*b182 - 312*b191*b182 - 312*b192*b182 - 696*b193*b182 - 688*b194*b182 - 480*b195*b182 - 560*b184*b183 - 88*b185* b183 - 584*b186*b183 - 72*b187*b183 - 624*b188*b183 - 600*b189*b183 - 400*b190*b183 - 584*b191*b183 - 384*b192*b183 - 360*b193*b183 - 152*b194 *b183 - 656*b195*b183 - 40*b185*b184 - 720*b186*b184 - 264*b187*b184 - 168*b188*b184 - 136*b189*b184 - 272*b190*b184 - 520*b191*b184 - 648*b192 *b184 - 560*b193*b184 - 552*b195*b184 - 456*b186*b185 - 664*b187*b185 - 480*b188*b185 - 768*b189*b185 - 176*b190*b185 - 792*b191*b185 - 272*b192 *b185 - 664*b193*b185 - 176*b194*b185 - 368*b195*b185 - 448*b187*b186 - 664*b188*b186 - 192*b189*b186 - 664*b190*b186 - 264*b191*b186 - 392*b192 *b186 - 248*b193*b186 - 240*b194*b186 - 552*b195*b186 - 520*b188*b187 - 280*b189*b187 - 88*b190*b187 - 784*b191*b187 - 448*b192*b187 - 640*b193* b187 - 680*b194*b187 - 584*b195*b187 - 488*b189*b188 - 440*b190*b188 - 200*b191*b188 - 664*b192*b188 - 96*b193*b188 - 64*b194*b188 - 760*b195* b188 - 488*b190*b189 - 248*b191*b189 - 376*b192*b189 - 760*b193*b189 - 528*b194*b189 - 552*b195*b189 - 744*b191*b190 - 592*b192*b190 - 416*b193 *b190 - 560*b194*b190 - 456*b195*b190 - 680*b192*b191 - 568*b193*b191 - 320*b194*b191 - 120*b195*b191 - 320*b193*b192 - 464*b194*b192 - 16*b195* b192 - 32*b194*b193 - 448*b195*b193 - 80*b195*b194 <= 0 } } Constraint e288 { Definition: { (-352*b197*b196) - 40024*b196 + 8888*b197 - 96*b198*b196 + 9208*b198 - 288*b199*b196 + 9872*b199 - 664*b200*b196 + 9584*b200 - 704*b201*b196 + 9632*b201 - 272*b202*b196 + 9888*b202 - 240*b203*b196 + 9936*b203 - 312* b204*b196 + 9168*b204 - 312*b205*b196 + 9808*b205 - 312*b206*b196 + 10984*b206 - 696*b207*b196 + 10000*b207 - 688*b208*b196 + 7808*b208 - 480*b209*b196 + 8280*b209 - 560*b198*b197 - 88*b199*b197 - 584*b200*b197 - 72*b201*b197 - 624*b202*b197 - 600*b203*b197 - 400*b204*b197 - 584* b205*b197 - 384*b206*b197 - 360*b207*b197 - 152*b208*b197 - 656*b209* b197 - 40*b199*b198 - 720*b200*b198 - 264*b201*b198 - 168*b202*b198 - 136*b203*b198 - 272*b204*b198 - 520*b205*b198 - 648*b206*b198 - 560*b207 *b198 - 552*b209*b198 - 456*b200*b199 - 664*b201*b199 - 480*b202*b199 - 768*b203*b199 - 176*b204*b199 - 792*b205*b199 - 272*b206*b199 - 664*b207 *b199 - 176*b208*b199 - 368*b209*b199 - 448*b201*b200 - 664*b202*b200 - 192*b203*b200 - 664*b204*b200 - 264*b205*b200 - 392*b206*b200 - 248*b207 *b200 - 240*b208*b200 - 552*b209*b200 - 520*b202*b201 - 280*b203*b201 - 88*b204*b201 - 784*b205*b201 - 448*b206*b201 - 640*b207*b201 - 680*b208* b201 - 584*b209*b201 - 488*b203*b202 - 440*b204*b202 - 200*b205*b202 - 664*b206*b202 - 96*b207*b202 - 64*b208*b202 - 760*b209*b202 - 488*b204* b203 - 248*b205*b203 - 376*b206*b203 - 760*b207*b203 - 528*b208*b203 - 552*b209*b203 - 744*b205*b204 - 592*b206*b204 - 416*b207*b204 - 560*b208 *b204 - 456*b209*b204 - 680*b206*b205 - 568*b207*b205 - 320*b208*b205 - 120*b209*b205 - 320*b207*b206 - 464*b208*b206 - 16*b209*b206 - 32*b208* b207 - 448*b209*b207 - 80*b209*b208 <= 0 } } Constraint e289 { Definition: { (-560*b211*b210) - 40616*b210 + 9208*b211 - 88*b212*b210 + 9872*b212 - 584*b213*b210 + 9584*b213 - 72*b214*b210 + 9632*b214 - 624*b215*b210 + 9888*b215 - 600*b216*b210 + 9936*b216 - 400*b217*b210 + 9168*b217 - 584* b218*b210 + 9808*b218 - 384*b219*b210 + 10984*b219 - 360*b220*b210 + 10000*b220 - 152*b221*b210 + 7808*b221 - 656*b222*b210 + 8280*b222 - 40* b212*b211 - 720*b213*b211 - 264*b214*b211 - 168*b215*b211 - 136*b216* b211 - 272*b217*b211 - 520*b218*b211 - 648*b219*b211 - 560*b220*b211 - 552*b222*b211 - 456*b213*b212 - 664*b214*b212 - 480*b215*b212 - 768*b216 *b212 - 176*b217*b212 - 792*b218*b212 - 272*b219*b212 - 664*b220*b212 - 176*b221*b212 - 368*b222*b212 - 448*b214*b213 - 664*b215*b213 - 192*b216 *b213 - 664*b217*b213 - 264*b218*b213 - 392*b219*b213 - 248*b220*b213 - 240*b221*b213 - 552*b222*b213 - 520*b215*b214 - 280*b216*b214 - 88*b217* b214 - 784*b218*b214 - 448*b219*b214 - 640*b220*b214 - 680*b221*b214 - 584*b222*b214 - 488*b216*b215 - 440*b217*b215 - 200*b218*b215 - 664*b219 *b215 - 96*b220*b215 - 64*b221*b215 - 760*b222*b215 - 488*b217*b216 - 248*b218*b216 - 376*b219*b216 - 760*b220*b216 - 528*b221*b216 - 552*b222 *b216 - 744*b218*b217 - 592*b219*b217 - 416*b220*b217 - 560*b221*b217 - 456*b222*b217 - 680*b219*b218 - 568*b220*b218 - 320*b221*b218 - 120*b222 *b218 - 320*b220*b219 - 464*b221*b219 - 16*b222*b219 - 32*b221*b220 - 448*b222*b220 - 80*b222*b221 <= 0 } } Constraint e290 { Definition: { (-40*b224*b223) - 40296*b223 + 9872*b224 - 720*b225*b223 + 9584*b225 - 264*b226*b223 + 9632*b226 - 168*b227*b223 + 9888*b227 - 136*b228*b223 + 9936*b228 - 272*b229*b223 + 9168*b229 - 520*b230*b223 + 9808*b230 - 648* b231*b223 + 10984*b231 - 560*b232*b223 + 10000*b232 - 552*b233*b223 + 8280*b233 - 456*b225*b224 - 664*b226*b224 - 480*b227*b224 - 768*b228* b224 - 176*b229*b224 - 792*b230*b224 - 272*b231*b224 - 664*b232*b224 - 368*b233*b224 - 176*b234*b224 + 7808*b234 - 448*b226*b225 - 664*b227* b225 - 192*b228*b225 - 664*b229*b225 - 264*b230*b225 - 392*b231*b225 - 248*b232*b225 - 552*b233*b225 - 240*b234*b225 - 520*b227*b226 - 280*b228 *b226 - 88*b229*b226 - 784*b230*b226 - 448*b231*b226 - 640*b232*b226 - 584*b233*b226 - 680*b234*b226 - 488*b228*b227 - 440*b229*b227 - 200*b230 *b227 - 664*b231*b227 - 96*b232*b227 - 760*b233*b227 - 64*b234*b227 - 488*b229*b228 - 248*b230*b228 - 376*b231*b228 - 760*b232*b228 - 552*b233 *b228 - 528*b234*b228 - 744*b230*b229 - 592*b231*b229 - 416*b232*b229 - 456*b233*b229 - 560*b234*b229 - 680*b231*b230 - 568*b232*b230 - 120*b233 *b230 - 320*b234*b230 - 320*b232*b231 - 16*b233*b231 - 464*b234*b231 - 448*b233*b232 - 32*b234*b232 - 80*b234*b233 <= 0 } } Constraint e291 { Definition: { (-456*b236*b235) - 39632*b235 + 9584*b236 - 664*b237*b235 + 9632*b237 - 480*b238*b235 + 9888*b238 - 768*b239*b235 + 9936*b239 - 176*b240*b235 + 9168*b240 - 792*b241*b235 + 9808*b241 - 272*b242*b235 + 10984*b242 - 664 *b243*b235 + 10000*b243 - 176*b244*b235 + 7808*b244 - 368*b245*b235 + 8280*b245 - 448*b237*b236 - 664*b238*b236 - 192*b239*b236 - 664*b240* b236 - 264*b241*b236 - 392*b242*b236 - 248*b243*b236 - 240*b244*b236 - 552*b245*b236 - 520*b238*b237 - 280*b239*b237 - 88*b240*b237 - 784*b241* b237 - 448*b242*b237 - 640*b243*b237 - 680*b244*b237 - 584*b245*b237 - 488*b239*b238 - 440*b240*b238 - 200*b241*b238 - 664*b242*b238 - 96*b243* b238 - 64*b244*b238 - 760*b245*b238 - 488*b240*b239 - 248*b241*b239 - 376*b242*b239 - 760*b243*b239 - 528*b244*b239 - 552*b245*b239 - 744*b241 *b240 - 592*b242*b240 - 416*b243*b240 - 560*b244*b240 - 456*b245*b240 - 680*b242*b241 - 568*b243*b241 - 320*b244*b241 - 120*b245*b241 - 320*b243 *b242 - 464*b244*b242 - 16*b245*b242 - 32*b244*b243 - 448*b245*b243 - 80 *b245*b244 <= 0 } } Constraint e292 { Definition: { (-448*b247*b246) - 39920*b246 + 9632*b247 - 664*b248*b246 + 9888*b248 - 192*b249*b246 + 9936*b249 - 664*b250*b246 + 9168*b250 - 264*b251*b246 + 9808*b251 - 392*b252*b246 + 10984*b252 - 248*b253*b246 + 10000*b253 - 240*b254*b246 + 7808*b254 - 552*b255*b246 + 8280*b255 - 520*b248*b247 - 280*b249*b247 - 88*b250*b247 - 784*b251*b247 - 448*b252*b247 - 640*b253* b247 - 680*b254*b247 - 584*b255*b247 - 488*b249*b248 - 440*b250*b248 - 200*b251*b248 - 664*b252*b248 - 96*b253*b248 - 64*b254*b248 - 760*b255* b248 - 488*b250*b249 - 248*b251*b249 - 376*b252*b249 - 760*b253*b249 - 528*b254*b249 - 552*b255*b249 - 744*b251*b250 - 592*b252*b250 - 416*b253 *b250 - 560*b254*b250 - 456*b255*b250 - 680*b252*b251 - 568*b253*b251 - 320*b254*b251 - 120*b255*b251 - 320*b253*b252 - 464*b254*b252 - 16*b255* b252 - 32*b254*b253 - 448*b255*b253 - 80*b255*b254 <= 0 } } Constraint e293 { Definition: { (-520*b257*b256) - 39872*b256 + 9888*b257 - 280*b258*b256 + 9936*b258 - 88*b259*b256 + 9168*b259 - 784*b260*b256 + 9808*b260 - 448*b261*b256 + 10984*b261 - 640*b262*b256 + 10000*b262 - 680*b263*b256 + 7808*b263 - 584*b264*b256 + 8280*b264 - 488*b258*b257 - 440*b259*b257 - 200*b260* b257 - 664*b261*b257 - 96*b262*b257 - 64*b263*b257 - 760*b264*b257 - 488 *b259*b258 - 248*b260*b258 - 376*b261*b258 - 760*b262*b258 - 528*b263* b258 - 552*b264*b258 - 744*b260*b259 - 592*b261*b259 - 416*b262*b259 - 560*b263*b259 - 456*b264*b259 - 680*b261*b260 - 568*b262*b260 - 320*b263 *b260 - 120*b264*b260 - 320*b262*b261 - 464*b263*b261 - 16*b264*b261 - 32*b263*b262 - 448*b264*b262 - 80*b264*b263 <= 0 } } Constraint e294 { Definition: { (-488*b266*b265) - 39616*b265 + 9936*b266 - 440*b267*b265 + 9168*b267 - 200*b268*b265 + 9808*b268 - 664*b269*b265 + 10984*b269 - 96*b270*b265 + 10000*b270 - 64*b271*b265 + 7808*b271 - 760*b272*b265 + 8280*b272 - 488* b267*b266 - 248*b268*b266 - 376*b269*b266 - 760*b270*b266 - 528*b271* b266 - 552*b272*b266 - 744*b268*b267 - 592*b269*b267 - 416*b270*b267 - 560*b271*b267 - 456*b272*b267 - 680*b269*b268 - 568*b270*b268 - 320*b271 *b268 - 120*b272*b268 - 320*b270*b269 - 464*b271*b269 - 16*b272*b269 - 32*b271*b270 - 448*b272*b270 - 80*b272*b271 <= 0 } } Constraint e295 { Definition: { (-488*b274*b273) - 39568*b273 + 9168*b274 - 248*b275*b273 + 9808*b275 - 376*b276*b273 + 10984*b276 - 760*b277*b273 + 10000*b277 - 528*b278*b273 + 7808*b278 - 552*b279*b273 + 8280*b279 - 744*b275*b274 - 592*b276*b274 - 416*b277*b274 - 560*b278*b274 - 456*b279*b274 - 680*b276*b275 - 568* b277*b275 - 320*b278*b275 - 120*b279*b275 - 320*b277*b276 - 464*b278* b276 - 16*b279*b276 - 32*b278*b277 - 448*b279*b277 - 80*b279*b278 <= 0 } } Constraint e296 { Definition: { (-744*b281*b280) - 40336*b280 + 9808*b281 - 592*b282*b280 + 10984*b282 - 416*b283*b280 + 10000*b283 - 560*b284*b280 + 7808*b284 - 456*b285* b280 + 8280*b285 - 680*b282*b281 - 568*b283*b281 - 320*b284*b281 - 120* b285*b281 - 320*b283*b282 - 464*b284*b282 - 16*b285*b282 - 32*b284*b283 - 448*b285*b283 - 80*b285*b284 <= 0 } } Constraint e297 { Definition: { (-680*b287*b286) - 39696*b286 + 10984*b287 - 568*b288*b286 + 10000*b288 - 320*b289*b286 + 7808*b289 - 120*b290*b286 + 8280*b290 - 320*b288*b287 - 464*b289*b287 - 16*b290*b287 - 32*b289*b288 - 448*b290*b288 - 80*b290 *b289 <= 0 } } Constraint e298 { Definition: { (-320*b292*b291) - 38520*b291 + 10000*b292 - 464*b293*b291 + 7808*b293 - 16*b294*b291 + 8280*b294 - 32*b293*b292 - 448*b294*b292 - 80*b294* b293 <= 0 } } Constraint e299 { Definition: { (-32*b296*b295) - 39504*b295 + 7808*b296 - 448*b297*b295 + 8280*b297 - 80*b297*b296 <= 0 } } Constraint e300 { Definition: (-80*b299*b298) - 41696*b298 + 8280*b299 <= 0; } Procedure MainInitialization; MathematicalProgram sonet24v5 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sonet24v5; } } Procedure MainTermination { Body: { return 1; } } }