MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance sonet25v6

A variant of the graph partitioning problem where the weight of a cluster in the partition depends on the edges incident to its nodes. This instance has its origin in SONET/SDH optical networks.
Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
-30590.00000000 p1 ( gdx sol )
(infeas: 0)
-30610.00000000 p2 ( gdx sol )
(infeas: 0)
-30660.00000000 p3 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
-74736.71389000 (ANTIGONE)
-90145.00000000 (BARON)
-93006.00000000 (COUENNE)
-112356.93770000 (CPLEX)
-52450.00000000 (GUROBI)
-87920.00000000 (LINDO)
-75878.53228000 (SCIP)
-87322.44968000 (SHOT)
References Bonami, Pierre, Nguyen, Viet Hung, Klein, Michel, and Minoux, Michel, On the Solution of a Graph Partitioning Problem under Capacity Constraints. In Mahjoub, A. Ridha, Markakis, Vangelis, Milis, Ioannis, and Paschos, Vangelis Th., Eds, Combinatorial Optimization, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012, 285-296.
Source QPLIB instance 2036, contributed by Pierre Bonami
Application Graph Partitioning
Added to library 18 Aug 2018
Problem type BQCQP
#Variables 324
#Binary Variables 324
#Integer Variables 0
#Nonlinear Variables 323
#Nonlinear Binary Variables 323
#Nonlinear Integer Variables 0
Objective Sense min
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 323
#Nonlinear Nonzeros in Objective 323
#Constraints 324
#Linear Constraints 300
#Quadratic Constraints 24
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 1199
#Nonlinear Nonzeros in Jacobian 323
#Nonzeros in (Upper-Left) Hessian of Lagrangian 5042
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 24
Minimal blocksize in Hessian of Lagrangian 2
Maximal blocksize in Hessian of Lagrangian 24
Average blocksize in Hessian of Lagrangian 13.458333
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 4.1266e+04
Infeasibility of initial point 1
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        325       25        0      300        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        325        1      324        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1523      877      646        0
*
*  Solve m using MIQCP minimizing objvar;


Variables  objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
          ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
          ,b324,b325;

Binary Variables  b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
          ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
          ,b324,b325;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
          ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
          ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
          ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
          ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
          ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
          ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
          ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
          ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
          ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
          ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
          ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
          ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
          ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
          ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
          ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
          ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
          ,e325;


e1.. (-970*b2*b3) - 430*b2 - 620*b3 - 820*b2*b4 - 240*b4 - 540*b2*b5 - 450*b5
      - 90*b2*b6 - 210*b6 - 920*b2*b7 - 600*b7 - 550*b2*b8 - 120*b8 - 780*b2*b9
      - 660*b9 - 870*b2*b10 - 530*b10 - 690*b2*b11 - 50*b11 - 20*b2*b12 - 810*
     b12 - 320*b2*b13 - 610*b13 - 420*b2*b14 - 100*b14 - 140*b2*b15 - 880*b15
      - 450*b2*b16 - 770*b16 - 600*b2*b17 - 340*b17 - 670*b2*b18 - 20*b18 - 20*
     b2*b19 - 820*b19 - 420*b2*b20 - 530*b20 - 810*b2*b21 - 260*b21 - 640*b2*
     b22 - 620*b22 - 820*b2*b23 - 180*b23 - 580*b2*b24 - 710*b24 - 980*b2*b25
      - 140*b25 - 360*b3*b4 - 920*b3*b5 - 30*b3*b6 - 620*b3*b7 - 540*b3*b8 - 
     210*b3*b9 - 850*b3*b10 - 690*b3*b11 - 700*b3*b12 - 200*b3*b13 - 750*b3*b14
      - 800*b3*b15 - 120*b3*b16 - 820*b3*b17 - 100*b3*b18 - 990*b3*b19 - 40*b3*
     b20 - 130*b3*b21 - 840*b3*b22 - 980*b3*b23 - 270*b3*b24 - 810*b3*b25 - 590
     *b4*b5 - 470*b4*b6 - 830*b4*b7 - 530*b4*b8 - 800*b4*b9 - 350*b4*b11 - 900*
     b4*b12 - 980*b4*b13 - 710*b4*b14 - 830*b4*b15 - 540*b4*b16 - 860*b4*b17 - 
     890*b4*b18 - 270*b4*b19 - 710*b4*b20 - 100*b4*b21 - 980*b4*b22 - 910*b4*
     b23 - 860*b4*b24 - 300*b4*b25 - 550*b5*b6 - 200*b5*b7 - 400*b5*b8 - 70*b5*
     b9 - 760*b5*b10 - 530*b5*b11 - 910*b5*b12 - 750*b5*b13 - 330*b5*b14 - 720*
     b5*b15 - 340*b5*b16 - 320*b5*b17 - 70*b5*b18 - 870*b5*b19 - 640*b5*b20 - 
     70*b5*b21 - 740*b5*b22 - 540*b5*b23 - 580*b5*b24 - 970*b5*b25 - 890*b6*b7
      - 120*b6*b8 - 830*b6*b9 - 790*b6*b10 - 390*b6*b11 - 70*b6*b12 - 890*b6*
     b13 - 890*b6*b14 - 980*b6*b15 - 270*b6*b16 - 190*b6*b17 - 60*b6*b18 - 600*
     b6*b20 - 130*b6*b21 - 760*b6*b22 - 650*b6*b23 - 560*b6*b24 - 510*b6*b25 - 
     500*b7*b8 - 280*b7*b9 - 370*b7*b10 - 340*b7*b11 - 870*b7*b12 - 240*b7*b13
      - 980*b7*b14 - 470*b7*b15 - 500*b7*b16 - 50*b7*b17 - 570*b7*b18 - 480*b7*
     b19 - 940*b7*b20 - 210*b7*b21 - 310*b7*b22 - 250*b7*b23 - 120*b7*b24 - 380
     *b7*b25 - 150*b8*b9 - 20*b8*b10 - 890*b8*b11 - 940*b8*b12 - 210*b8*b13 - 
     950*b8*b14 - 940*b8*b15 - 330*b8*b16 - 80*b8*b17 - 710*b8*b18 - 990*b8*b19
      - 640*b8*b20 - 740*b8*b21 - 10*b8*b22 - 440*b8*b23 - 120*b8*b24 - 360*b8*
     b25 - 830*b9*b10 - 880*b9*b11 - 340*b9*b12 - 300*b9*b13 - 390*b9*b14 - 390
     *b9*b15 - 390*b9*b16 - 870*b9*b17 - 860*b9*b18 - 600*b9*b19 - 700*b9*b20
      - 110*b9*b21 - 730*b9*b22 - 90*b9*b23 - 780*b9*b24 - 750*b9*b25 - 500*b10
     *b11 - 730*b10*b12 - 480*b10*b13 - 450*b10*b14 - 190*b10*b15 - 820*b10*b16
      - 50*b10*b17 - 900*b10*b18 - 330*b10*b19 - 210*b10*b20 - 170*b10*b21 - 
     340*b10*b22 - 650*b10*b23 - 810*b10*b24 - 700*b10*b25 - 690*b11*b13 - 570*
     b11*b14 - 830*b11*b15 - 600*b11*b16 - 960*b11*b17 - 220*b11*b18 - 990*b11*
     b19 - 340*b11*b20 - 830*b11*b21 - 220*b11*b22 - 460*b11*b23 - 560*b11*b24
      - 830*b11*b25 - 240*b12*b13 - 830*b12*b14 - 330*b12*b15 - 490*b12*b16 - 
     310*b12*b17 - 300*b12*b18 - 690*b12*b19 - 650*b12*b20 - 350*b12*b21 - 110*
     b12*b22 - 980*b12*b23 - 560*b12*b24 - 800*b12*b25 - 850*b13*b14 - 730*b13*
     b15 - 610*b13*b16 - 550*b13*b17 - 250*b13*b18 - 830*b13*b19 - 120*b13*b20
      - 80*b13*b21 - 950*b13*b22 - 610*b13*b23 - 310*b13*b24 - 470*b13*b25 - 
     950*b14*b15 - 660*b14*b16 - 690*b14*b17 - 930*b14*b18 - 740*b14*b19 - 520*
     b14*b20 - 700*b14*b21 - 570*b14*b22 - 850*b14*b23 - 710*b14*b24 - 400*b14*
     b25 - 150*b15*b16 - 400*b15*b17 - 580*b15*b18 - 20*b15*b19 - 40*b15*b20 - 
     560*b15*b21 - 100*b15*b22 - 360*b15*b23 - 410*b15*b24 - 830*b15*b25 - 980*
     b16*b17 - 490*b16*b18 - 80*b16*b19 - 330*b16*b20 - 130*b16*b21 - 690*b16*
     b22 - 280*b16*b23 - 740*b16*b24 - 750*b17*b18 - 220*b17*b19 - 660*b17*b20
      - 440*b17*b21 - 670*b17*b22 - 400*b17*b23 - 480*b17*b24 - 370*b17*b25 - 
     490*b18*b19 - 850*b18*b20 - 90*b18*b21 - 410*b18*b22 - 10*b18*b24 - 990*
     b18*b25 - 540*b19*b20 - 570*b19*b21 - 80*b19*b22 - 640*b19*b23 - 940*b19*
     b24 - 10*b19*b25 - 470*b20*b21 - 440*b20*b22 - 500*b20*b23 - 80*b20*b24 - 
     770*b20*b25 - 640*b21*b22 - 770*b21*b23 - 570*b21*b24 - 900*b21*b25 - 290*
     b22*b23 - 850*b22*b24 - 640*b22*b25 - 470*b23*b24 - 810*b23*b25 - 320*b24*
     b25 - 970*b26*b27 - 820*b26*b28 - 540*b26*b29 - 90*b26*b30 - 920*b26*b31
      - 550*b26*b32 - 780*b26*b33 - 870*b26*b34 - 690*b26*b35 - 20*b26*b36 - 
     320*b26*b37 - 420*b26*b38 - 140*b26*b39 - 450*b26*b40 - 600*b26*b41 - 670*
     b26*b42 - 20*b26*b43 - 420*b26*b44 - 810*b26*b45 - 640*b26*b46 - 820*b26*
     b47 - 580*b26*b48 - 980*b26*b49 - 360*b27*b28 - 920*b27*b29 - 30*b27*b30
      - 620*b27*b31 - 540*b27*b32 - 210*b27*b33 - 850*b27*b34 - 690*b27*b35 - 
     700*b27*b36 - 200*b27*b37 - 750*b27*b38 - 800*b27*b39 - 120*b27*b40 - 820*
     b27*b41 - 100*b27*b42 - 990*b27*b43 - 40*b27*b44 - 130*b27*b45 - 840*b27*
     b46 - 980*b27*b47 - 270*b27*b48 - 810*b27*b49 - 590*b28*b29 - 470*b28*b30
      - 830*b28*b31 - 530*b28*b32 - 800*b28*b33 - 350*b28*b35 - 900*b28*b36 - 
     980*b28*b37 - 710*b28*b38 - 830*b28*b39 - 540*b28*b40 - 860*b28*b41 - 890*
     b28*b42 - 270*b28*b43 - 710*b28*b44 - 100*b28*b45 - 980*b28*b46 - 910*b28*
     b47 - 860*b28*b48 - 300*b28*b49 - 550*b29*b30 - 200*b29*b31 - 400*b29*b32
      - 70*b29*b33 - 760*b29*b34 - 530*b29*b35 - 910*b29*b36 - 750*b29*b37 - 
     330*b29*b38 - 720*b29*b39 - 340*b29*b40 - 320*b29*b41 - 70*b29*b42 - 870*
     b29*b43 - 640*b29*b44 - 70*b29*b45 - 740*b29*b46 - 540*b29*b47 - 580*b29*
     b48 - 970*b29*b49 - 890*b30*b31 - 120*b30*b32 - 830*b30*b33 - 790*b30*b34
      - 390*b30*b35 - 70*b30*b36 - 890*b30*b37 - 890*b30*b38 - 980*b30*b39 - 
     270*b30*b40 - 190*b30*b41 - 60*b30*b42 - 600*b30*b44 - 130*b30*b45 - 760*
     b30*b46 - 650*b30*b47 - 560*b30*b48 - 510*b30*b49 - 500*b31*b32 - 280*b31*
     b33 - 370*b31*b34 - 340*b31*b35 - 870*b31*b36 - 240*b31*b37 - 980*b31*b38
      - 470*b31*b39 - 500*b31*b40 - 50*b31*b41 - 570*b31*b42 - 480*b31*b43 - 
     940*b31*b44 - 210*b31*b45 - 310*b31*b46 - 250*b31*b47 - 120*b31*b48 - 380*
     b31*b49 - 150*b32*b33 - 20*b32*b34 - 890*b32*b35 - 940*b32*b36 - 210*b32*
     b37 - 950*b32*b38 - 940*b32*b39 - 330*b32*b40 - 80*b32*b41 - 710*b32*b42
      - 990*b32*b43 - 640*b32*b44 - 740*b32*b45 - 10*b32*b46 - 440*b32*b47 - 
     120*b32*b48 - 360*b32*b49 - 830*b33*b34 - 880*b33*b35 - 340*b33*b36 - 300*
     b33*b37 - 390*b33*b38 - 390*b33*b39 - 390*b33*b40 - 870*b33*b41 - 860*b33*
     b42 - 600*b33*b43 - 700*b33*b44 - 110*b33*b45 - 730*b33*b46 - 90*b33*b47
      - 780*b33*b48 - 750*b33*b49 - 500*b34*b35 - 730*b34*b36 - 480*b34*b37 - 
     450*b34*b38 - 190*b34*b39 - 820*b34*b40 - 50*b34*b41 - 900*b34*b42 - 330*
     b34*b43 - 210*b34*b44 - 170*b34*b45 - 340*b34*b46 - 650*b34*b47 - 810*b34*
     b48 - 700*b34*b49 - 690*b35*b37 - 570*b35*b38 - 830*b35*b39 - 600*b35*b40
      - 960*b35*b41 - 220*b35*b42 - 990*b35*b43 - 340*b35*b44 - 830*b35*b45 - 
     220*b35*b46 - 460*b35*b47 - 560*b35*b48 - 830*b35*b49 - 240*b36*b37 - 830*
     b36*b38 - 330*b36*b39 - 490*b36*b40 - 310*b36*b41 - 300*b36*b42 - 690*b36*
     b43 - 650*b36*b44 - 350*b36*b45 - 110*b36*b46 - 980*b36*b47 - 560*b36*b48
      - 800*b36*b49 - 850*b37*b38 - 730*b37*b39 - 610*b37*b40 - 550*b37*b41 - 
     250*b37*b42 - 830*b37*b43 - 120*b37*b44 - 80*b37*b45 - 950*b37*b46 - 610*
     b37*b47 - 310*b37*b48 - 470*b37*b49 - 950*b38*b39 - 660*b38*b40 - 690*b38*
     b41 - 930*b38*b42 - 740*b38*b43 - 520*b38*b44 - 700*b38*b45 - 570*b38*b46
      - 850*b38*b47 - 710*b38*b48 - 400*b38*b49 - 150*b39*b40 - 400*b39*b41 - 
     580*b39*b42 - 20*b39*b43 - 40*b39*b44 - 560*b39*b45 - 100*b39*b46 - 360*
     b39*b47 - 410*b39*b48 - 830*b39*b49 - 980*b40*b41 - 490*b40*b42 - 80*b40*
     b43 - 330*b40*b44 - 130*b40*b45 - 690*b40*b46 - 280*b40*b47 - 740*b40*b48
      - 750*b41*b42 - 220*b41*b43 - 660*b41*b44 - 440*b41*b45 - 670*b41*b46 - 
     400*b41*b47 - 480*b41*b48 - 370*b41*b49 - 490*b42*b43 - 850*b42*b44 - 90*
     b42*b45 - 410*b42*b46 - 10*b42*b48 - 990*b42*b49 - 540*b43*b44 - 570*b43*
     b45 - 80*b43*b46 - 640*b43*b47 - 940*b43*b48 - 10*b43*b49 - 470*b44*b45 - 
     440*b44*b46 - 500*b44*b47 - 80*b44*b48 - 770*b44*b49 - 640*b45*b46 - 770*
     b45*b47 - 570*b45*b48 - 900*b45*b49 - 290*b46*b47 - 850*b46*b48 - 640*b46*
     b49 - 470*b47*b48 - 810*b47*b49 - 320*b48*b49 - 360*b50*b51 - 920*b50*b52
      - 30*b50*b53 - 620*b50*b54 - 540*b50*b55 - 210*b50*b56 - 850*b50*b57 - 
     690*b50*b58 - 700*b50*b59 - 200*b50*b60 - 750*b50*b61 - 800*b50*b62 - 120*
     b50*b63 - 820*b50*b64 - 100*b50*b65 - 990*b50*b66 - 40*b50*b67 - 130*b50*
     b68 - 840*b50*b69 - 980*b50*b70 - 270*b50*b71 - 810*b50*b72 - 590*b51*b52
      - 470*b51*b53 - 830*b51*b54 - 530*b51*b55 - 800*b51*b56 - 350*b51*b58 - 
     900*b51*b59 - 980*b51*b60 - 710*b51*b61 - 830*b51*b62 - 540*b51*b63 - 860*
     b51*b64 - 890*b51*b65 - 270*b51*b66 - 710*b51*b67 - 100*b51*b68 - 980*b51*
     b69 - 910*b51*b70 - 860*b51*b71 - 300*b51*b72 - 550*b52*b53 - 200*b52*b54
      - 400*b52*b55 - 70*b52*b56 - 760*b52*b57 - 530*b52*b58 - 910*b52*b59 - 
     750*b52*b60 - 330*b52*b61 - 720*b52*b62 - 340*b52*b63 - 320*b52*b64 - 70*
     b52*b65 - 870*b52*b66 - 640*b52*b67 - 70*b52*b68 - 740*b52*b69 - 540*b52*
     b70 - 580*b52*b71 - 970*b52*b72 - 890*b53*b54 - 120*b53*b55 - 830*b53*b56
      - 790*b53*b57 - 390*b53*b58 - 70*b53*b59 - 890*b53*b60 - 890*b53*b61 - 
     980*b53*b62 - 270*b53*b63 - 190*b53*b64 - 60*b53*b65 - 600*b53*b67 - 130*
     b53*b68 - 760*b53*b69 - 650*b53*b70 - 560*b53*b71 - 510*b53*b72 - 500*b54*
     b55 - 280*b54*b56 - 370*b54*b57 - 340*b54*b58 - 870*b54*b59 - 240*b54*b60
      - 980*b54*b61 - 470*b54*b62 - 500*b54*b63 - 50*b54*b64 - 570*b54*b65 - 
     480*b54*b66 - 940*b54*b67 - 210*b54*b68 - 310*b54*b69 - 250*b54*b70 - 120*
     b54*b71 - 380*b54*b72 - 150*b55*b56 - 20*b55*b57 - 890*b55*b58 - 940*b55*
     b59 - 210*b55*b60 - 950*b55*b61 - 940*b55*b62 - 330*b55*b63 - 80*b55*b64
      - 710*b55*b65 - 990*b55*b66 - 640*b55*b67 - 740*b55*b68 - 10*b55*b69 - 
     440*b55*b70 - 120*b55*b71 - 360*b55*b72 - 830*b56*b57 - 880*b56*b58 - 340*
     b56*b59 - 300*b56*b60 - 390*b56*b61 - 390*b56*b62 - 390*b56*b63 - 870*b56*
     b64 - 860*b56*b65 - 600*b56*b66 - 700*b56*b67 - 110*b56*b68 - 730*b56*b69
      - 90*b56*b70 - 780*b56*b71 - 750*b56*b72 - 500*b57*b58 - 730*b57*b59 - 
     480*b57*b60 - 450*b57*b61 - 190*b57*b62 - 820*b57*b63 - 50*b57*b64 - 900*
     b57*b65 - 330*b57*b66 - 210*b57*b67 - 170*b57*b68 - 340*b57*b69 - 650*b57*
     b70 - 810*b57*b71 - 700*b57*b72 - 690*b58*b60 - 570*b58*b61 - 830*b58*b62
      - 600*b58*b63 - 960*b58*b64 - 220*b58*b65 - 990*b58*b66 - 340*b58*b67 - 
     830*b58*b68 - 220*b58*b69 - 460*b58*b70 - 560*b58*b71 - 830*b58*b72 - 240*
     b59*b60 - 830*b59*b61 - 330*b59*b62 - 490*b59*b63 - 310*b59*b64 - 300*b59*
     b65 - 690*b59*b66 - 650*b59*b67 - 350*b59*b68 - 110*b59*b69 - 980*b59*b70
      - 560*b59*b71 - 800*b59*b72 - 850*b60*b61 - 730*b60*b62 - 610*b60*b63 - 
     550*b60*b64 - 250*b60*b65 - 830*b60*b66 - 120*b60*b67 - 80*b60*b68 - 950*
     b60*b69 - 610*b60*b70 - 310*b60*b71 - 470*b60*b72 - 950*b61*b62 - 660*b61*
     b63 - 690*b61*b64 - 930*b61*b65 - 740*b61*b66 - 520*b61*b67 - 700*b61*b68
      - 570*b61*b69 - 850*b61*b70 - 710*b61*b71 - 400*b61*b72 - 150*b62*b63 - 
     400*b62*b64 - 580*b62*b65 - 20*b62*b66 - 40*b62*b67 - 560*b62*b68 - 100*
     b62*b69 - 360*b62*b70 - 410*b62*b71 - 830*b62*b72 - 980*b63*b64 - 490*b63*
     b65 - 80*b63*b66 - 330*b63*b67 - 130*b63*b68 - 690*b63*b69 - 280*b63*b70
      - 740*b63*b71 - 750*b64*b65 - 220*b64*b66 - 660*b64*b67 - 440*b64*b68 - 
     670*b64*b69 - 400*b64*b70 - 480*b64*b71 - 370*b64*b72 - 490*b65*b66 - 850*
     b65*b67 - 90*b65*b68 - 410*b65*b69 - 10*b65*b71 - 990*b65*b72 - 540*b66*
     b67 - 570*b66*b68 - 80*b66*b69 - 640*b66*b70 - 940*b66*b71 - 10*b66*b72 - 
     470*b67*b68 - 440*b67*b69 - 500*b67*b70 - 80*b67*b71 - 770*b67*b72 - 640*
     b68*b69 - 770*b68*b70 - 570*b68*b71 - 900*b68*b72 - 290*b69*b70 - 850*b69*
     b71 - 640*b69*b72 - 470*b70*b71 - 810*b70*b72 - 320*b71*b72 - 590*b73*b74
      - 470*b73*b75 - 830*b73*b76 - 530*b73*b77 - 800*b73*b78 - 350*b73*b79 - 
     900*b73*b80 - 980*b73*b81 - 710*b73*b82 - 830*b73*b83 - 540*b73*b84 - 860*
     b73*b85 - 890*b73*b86 - 270*b73*b87 - 710*b73*b88 - 100*b73*b89 - 980*b73*
     b90 - 910*b73*b91 - 860*b73*b92 - 300*b73*b93 - 550*b74*b75 - 200*b74*b76
      - 400*b74*b77 - 70*b74*b78 - 530*b74*b79 - 910*b74*b80 - 750*b74*b81 - 
     330*b74*b82 - 720*b74*b83 - 340*b74*b84 - 320*b74*b85 - 70*b74*b86 - 870*
     b74*b87 - 640*b74*b88 - 70*b74*b89 - 740*b74*b90 - 540*b74*b91 - 580*b74*
     b92 - 970*b74*b93 - 760*b74*b94 - 890*b75*b76 - 120*b75*b77 - 830*b75*b78
      - 390*b75*b79 - 70*b75*b80 - 890*b75*b81 - 890*b75*b82 - 980*b75*b83 - 
     270*b75*b84 - 190*b75*b85 - 60*b75*b86 - 600*b75*b88 - 130*b75*b89 - 760*
     b75*b90 - 650*b75*b91 - 560*b75*b92 - 510*b75*b93 - 790*b75*b94 - 500*b76*
     b77 - 280*b76*b78 - 340*b76*b79 - 870*b76*b80 - 240*b76*b81 - 980*b76*b82
      - 470*b76*b83 - 500*b76*b84 - 50*b76*b85 - 570*b76*b86 - 480*b76*b87 - 
     940*b76*b88 - 210*b76*b89 - 310*b76*b90 - 250*b76*b91 - 120*b76*b92 - 380*
     b76*b93 - 370*b76*b94 - 150*b77*b78 - 890*b77*b79 - 940*b77*b80 - 210*b77*
     b81 - 950*b77*b82 - 940*b77*b83 - 330*b77*b84 - 80*b77*b85 - 710*b77*b86
      - 990*b77*b87 - 640*b77*b88 - 740*b77*b89 - 10*b77*b90 - 440*b77*b91 - 
     120*b77*b92 - 360*b77*b93 - 20*b77*b94 - 880*b78*b79 - 340*b78*b80 - 300*
     b78*b81 - 390*b78*b82 - 390*b78*b83 - 390*b78*b84 - 870*b78*b85 - 860*b78*
     b86 - 600*b78*b87 - 700*b78*b88 - 110*b78*b89 - 730*b78*b90 - 90*b78*b91
      - 780*b78*b92 - 750*b78*b93 - 830*b78*b94 - 690*b79*b81 - 570*b79*b82 - 
     830*b79*b83 - 600*b79*b84 - 960*b79*b85 - 220*b79*b86 - 990*b79*b87 - 340*
     b79*b88 - 830*b79*b89 - 220*b79*b90 - 460*b79*b91 - 560*b79*b92 - 830*b79*
     b93 - 500*b79*b94 - 240*b80*b81 - 830*b80*b82 - 330*b80*b83 - 490*b80*b84
      - 310*b80*b85 - 300*b80*b86 - 690*b80*b87 - 650*b80*b88 - 350*b80*b89 - 
     110*b80*b90 - 980*b80*b91 - 560*b80*b92 - 800*b80*b93 - 730*b80*b94 - 850*
     b81*b82 - 730*b81*b83 - 610*b81*b84 - 550*b81*b85 - 250*b81*b86 - 830*b81*
     b87 - 120*b81*b88 - 80*b81*b89 - 950*b81*b90 - 610*b81*b91 - 310*b81*b92
      - 470*b81*b93 - 480*b81*b94 - 950*b82*b83 - 660*b82*b84 - 690*b82*b85 - 
     930*b82*b86 - 740*b82*b87 - 520*b82*b88 - 700*b82*b89 - 570*b82*b90 - 850*
     b82*b91 - 710*b82*b92 - 400*b82*b93 - 450*b82*b94 - 150*b83*b84 - 400*b83*
     b85 - 580*b83*b86 - 20*b83*b87 - 40*b83*b88 - 560*b83*b89 - 100*b83*b90 - 
     360*b83*b91 - 410*b83*b92 - 830*b83*b93 - 190*b83*b94 - 980*b84*b85 - 490*
     b84*b86 - 80*b84*b87 - 330*b84*b88 - 130*b84*b89 - 690*b84*b90 - 280*b84*
     b91 - 740*b84*b92 - 820*b84*b94 - 750*b85*b86 - 220*b85*b87 - 660*b85*b88
      - 440*b85*b89 - 670*b85*b90 - 400*b85*b91 - 480*b85*b92 - 370*b85*b93 - 
     50*b85*b94 - 490*b86*b87 - 850*b86*b88 - 90*b86*b89 - 410*b86*b90 - 10*b86
     *b92 - 990*b86*b93 - 900*b86*b94 - 540*b87*b88 - 570*b87*b89 - 80*b87*b90
      - 640*b87*b91 - 940*b87*b92 - 10*b87*b93 - 330*b87*b94 - 470*b88*b89 - 
     440*b88*b90 - 500*b88*b91 - 80*b88*b92 - 770*b88*b93 - 210*b88*b94 - 640*
     b89*b90 - 770*b89*b91 - 570*b89*b92 - 900*b89*b93 - 170*b89*b94 - 290*b90*
     b91 - 850*b90*b92 - 640*b90*b93 - 340*b90*b94 - 470*b91*b92 - 810*b91*b93
      - 650*b91*b94 - 320*b92*b93 - 810*b92*b94 - 700*b93*b94 - 550*b95*b96 - 
     200*b95*b97 - 400*b95*b98 - 70*b95*b99 - 760*b95*b100 - 530*b95*b101 - 910
     *b95*b102 - 750*b95*b103 - 330*b95*b104 - 720*b95*b105 - 340*b95*b106 - 
     320*b95*b107 - 70*b95*b108 - 870*b95*b109 - 640*b95*b110 - 70*b95*b111 - 
     740*b95*b112 - 540*b95*b113 - 580*b95*b114 - 970*b95*b115 - 890*b96*b97 - 
     120*b96*b98 - 830*b96*b99 - 790*b96*b100 - 390*b96*b101 - 70*b96*b102 - 
     890*b96*b103 - 890*b96*b104 - 980*b96*b105 - 270*b96*b106 - 190*b96*b107
      - 60*b96*b108 - 600*b96*b110 - 130*b96*b111 - 760*b96*b112 - 650*b96*b113
      - 560*b96*b114 - 510*b96*b115 - 500*b97*b98 - 280*b97*b99 - 370*b97*b100
      - 340*b97*b101 - 870*b97*b102 - 240*b97*b103 - 980*b97*b104 - 470*b97*
     b105 - 500*b97*b106 - 50*b97*b107 - 570*b97*b108 - 480*b97*b109 - 940*b97*
     b110 - 210*b97*b111 - 310*b97*b112 - 250*b97*b113 - 120*b97*b114 - 380*b97
     *b115 - 150*b98*b99 - 20*b98*b100 - 890*b98*b101 - 940*b98*b102 - 210*b98*
     b103 - 950*b98*b104 - 940*b98*b105 - 330*b98*b106 - 80*b98*b107 - 710*b98*
     b108 - 990*b98*b109 - 640*b98*b110 - 740*b98*b111 - 10*b98*b112 - 440*b98*
     b113 - 120*b98*b114 - 360*b98*b115 - 830*b99*b100 - 880*b99*b101 - 340*b99
     *b102 - 300*b99*b103 - 390*b99*b104 - 390*b99*b105 - 390*b99*b106 - 870*
     b99*b107 - 860*b99*b108 - 600*b99*b109 - 700*b99*b110 - 110*b99*b111 - 730
     *b99*b112 - 90*b99*b113 - 780*b99*b114 - 750*b99*b115 - 500*b100*b101 - 
     730*b100*b102 - 480*b100*b103 - 450*b100*b104 - 190*b100*b105 - 820*b100*
     b106 - 50*b100*b107 - 900*b100*b108 - 330*b100*b109 - 210*b100*b110 - 170*
     b100*b111 - 340*b100*b112 - 650*b100*b113 - 810*b100*b114 - 700*b100*b115
      - 690*b101*b103 - 570*b101*b104 - 830*b101*b105 - 600*b101*b106 - 960*
     b101*b107 - 220*b101*b108 - 990*b101*b109 - 340*b101*b110 - 830*b101*b111
      - 220*b101*b112 - 460*b101*b113 - 560*b101*b114 - 830*b101*b115 - 240*
     b102*b103 - 830*b102*b104 - 330*b102*b105 - 490*b102*b106 - 310*b102*b107
      - 300*b102*b108 - 690*b102*b109 - 650*b102*b110 - 350*b102*b111 - 110*
     b102*b112 - 980*b102*b113 - 560*b102*b114 - 800*b102*b115 - 850*b103*b104
      - 730*b103*b105 - 610*b103*b106 - 550*b103*b107 - 250*b103*b108 - 830*
     b103*b109 - 120*b103*b110 - 80*b103*b111 - 950*b103*b112 - 610*b103*b113
      - 310*b103*b114 - 470*b103*b115 - 950*b104*b105 - 660*b104*b106 - 690*
     b104*b107 - 930*b104*b108 - 740*b104*b109 - 520*b104*b110 - 700*b104*b111
      - 570*b104*b112 - 850*b104*b113 - 710*b104*b114 - 400*b104*b115 - 150*
     b105*b106 - 400*b105*b107 - 580*b105*b108 - 20*b105*b109 - 40*b105*b110 - 
     560*b105*b111 - 100*b105*b112 - 360*b105*b113 - 410*b105*b114 - 830*b105*
     b115 - 980*b106*b107 - 490*b106*b108 - 80*b106*b109 - 330*b106*b110 - 130*
     b106*b111 - 690*b106*b112 - 280*b106*b113 - 740*b106*b114 - 750*b107*b108
      - 220*b107*b109 - 660*b107*b110 - 440*b107*b111 - 670*b107*b112 - 400*
     b107*b113 - 480*b107*b114 - 370*b107*b115 - 490*b108*b109 - 850*b108*b110
      - 90*b108*b111 - 410*b108*b112 - 10*b108*b114 - 990*b108*b115 - 540*b109*
     b110 - 570*b109*b111 - 80*b109*b112 - 640*b109*b113 - 940*b109*b114 - 10*
     b109*b115 - 470*b110*b111 - 440*b110*b112 - 500*b110*b113 - 80*b110*b114
      - 770*b110*b115 - 640*b111*b112 - 770*b111*b113 - 570*b111*b114 - 900*
     b111*b115 - 290*b112*b113 - 850*b112*b114 - 640*b112*b115 - 470*b113*b114
      - 810*b113*b115 - 320*b114*b115 - 890*b116*b117 - 120*b116*b118 - 830*
     b116*b119 - 790*b116*b120 - 390*b116*b121 - 70*b116*b122 - 890*b116*b123
      - 890*b116*b124 - 980*b116*b125 - 270*b116*b126 - 190*b116*b127 - 60*b116
     *b128 - 600*b116*b129 - 130*b116*b130 - 760*b116*b131 - 650*b116*b132 - 
     560*b116*b133 - 510*b116*b134 - 500*b117*b118 - 280*b117*b119 - 370*b117*
     b120 - 340*b117*b121 - 870*b117*b122 - 240*b117*b123 - 980*b117*b124 - 470
     *b117*b125 - 500*b117*b126 - 50*b117*b127 - 570*b117*b128 - 940*b117*b129
      - 210*b117*b130 - 310*b117*b131 - 250*b117*b132 - 120*b117*b133 - 380*
     b117*b134 - 480*b117*b135 - 150*b118*b119 - 20*b118*b120 - 890*b118*b121
      - 940*b118*b122 - 210*b118*b123 - 950*b118*b124 - 940*b118*b125 - 330*
     b118*b126 - 80*b118*b127 - 710*b118*b128 - 640*b118*b129 - 740*b118*b130
      - 10*b118*b131 - 440*b118*b132 - 120*b118*b133 - 360*b118*b134 - 990*b118
     *b135 - 830*b119*b120 - 880*b119*b121 - 340*b119*b122 - 300*b119*b123 - 
     390*b119*b124 - 390*b119*b125 - 390*b119*b126 - 870*b119*b127 - 860*b119*
     b128 - 700*b119*b129 - 110*b119*b130 - 730*b119*b131 - 90*b119*b132 - 780*
     b119*b133 - 750*b119*b134 - 600*b119*b135 - 500*b120*b121 - 730*b120*b122
      - 480*b120*b123 - 450*b120*b124 - 190*b120*b125 - 820*b120*b126 - 50*b120
     *b127 - 900*b120*b128 - 210*b120*b129 - 170*b120*b130 - 340*b120*b131 - 
     650*b120*b132 - 810*b120*b133 - 700*b120*b134 - 330*b120*b135 - 690*b121*
     b123 - 570*b121*b124 - 830*b121*b125 - 600*b121*b126 - 960*b121*b127 - 220
     *b121*b128 - 340*b121*b129 - 830*b121*b130 - 220*b121*b131 - 460*b121*b132
      - 560*b121*b133 - 830*b121*b134 - 990*b121*b135 - 240*b122*b123 - 830*
     b122*b124 - 330*b122*b125 - 490*b122*b126 - 310*b122*b127 - 300*b122*b128
      - 650*b122*b129 - 350*b122*b130 - 110*b122*b131 - 980*b122*b132 - 560*
     b122*b133 - 800*b122*b134 - 690*b122*b135 - 850*b123*b124 - 730*b123*b125
      - 610*b123*b126 - 550*b123*b127 - 250*b123*b128 - 120*b123*b129 - 80*b123
     *b130 - 950*b123*b131 - 610*b123*b132 - 310*b123*b133 - 470*b123*b134 - 
     830*b123*b135 - 950*b124*b125 - 660*b124*b126 - 690*b124*b127 - 930*b124*
     b128 - 520*b124*b129 - 700*b124*b130 - 570*b124*b131 - 850*b124*b132 - 710
     *b124*b133 - 400*b124*b134 - 740*b124*b135 - 150*b125*b126 - 400*b125*b127
      - 580*b125*b128 - 40*b125*b129 - 560*b125*b130 - 100*b125*b131 - 360*b125
     *b132 - 410*b125*b133 - 830*b125*b134 - 20*b125*b135 - 980*b126*b127 - 490
     *b126*b128 - 330*b126*b129 - 130*b126*b130 - 690*b126*b131 - 280*b126*b132
      - 740*b126*b133 - 80*b126*b135 - 750*b127*b128 - 660*b127*b129 - 440*b127
     *b130 - 670*b127*b131 - 400*b127*b132 - 480*b127*b133 - 370*b127*b134 - 
     220*b127*b135 - 850*b128*b129 - 90*b128*b130 - 410*b128*b131 - 10*b128*
     b133 - 990*b128*b134 - 490*b128*b135 - 470*b129*b130 - 440*b129*b131 - 500
     *b129*b132 - 80*b129*b133 - 770*b129*b134 - 540*b129*b135 - 640*b130*b131
      - 770*b130*b132 - 570*b130*b133 - 900*b130*b134 - 570*b130*b135 - 290*
     b131*b132 - 850*b131*b133 - 640*b131*b134 - 80*b131*b135 - 470*b132*b133
      - 810*b132*b134 - 640*b132*b135 - 320*b133*b134 - 940*b133*b135 - 10*b134
     *b135 - 500*b136*b137 - 280*b136*b138 - 370*b136*b139 - 340*b136*b140 - 
     870*b136*b141 - 240*b136*b142 - 980*b136*b143 - 470*b136*b144 - 500*b136*
     b145 - 50*b136*b146 - 570*b136*b147 - 480*b136*b148 - 940*b136*b149 - 210*
     b136*b150 - 310*b136*b151 - 250*b136*b152 - 120*b136*b153 - 380*b136*b154
      - 150*b137*b138 - 20*b137*b139 - 890*b137*b140 - 940*b137*b141 - 210*b137
     *b142 - 950*b137*b143 - 940*b137*b144 - 330*b137*b145 - 80*b137*b146 - 710
     *b137*b147 - 990*b137*b148 - 640*b137*b149 - 740*b137*b150 - 10*b137*b151
      - 440*b137*b152 - 120*b137*b153 - 360*b137*b154 - 830*b138*b139 - 880*
     b138*b140 - 340*b138*b141 - 300*b138*b142 - 390*b138*b143 - 390*b138*b144
      - 390*b138*b145 - 870*b138*b146 - 860*b138*b147 - 600*b138*b148 - 700*
     b138*b149 - 110*b138*b150 - 730*b138*b151 - 90*b138*b152 - 780*b138*b153
      - 750*b138*b154 - 500*b139*b140 - 730*b139*b141 - 480*b139*b142 - 450*
     b139*b143 - 190*b139*b144 - 820*b139*b145 - 50*b139*b146 - 900*b139*b147
      - 330*b139*b148 - 210*b139*b149 - 170*b139*b150 - 340*b139*b151 - 650*
     b139*b152 - 810*b139*b153 - 700*b139*b154 - 690*b140*b142 - 570*b140*b143
      - 830*b140*b144 - 600*b140*b145 - 960*b140*b146 - 220*b140*b147 - 990*
     b140*b148 - 340*b140*b149 - 830*b140*b150 - 220*b140*b151 - 460*b140*b152
      - 560*b140*b153 - 830*b140*b154 - 240*b141*b142 - 830*b141*b143 - 330*
     b141*b144 - 490*b141*b145 - 310*b141*b146 - 300*b141*b147 - 690*b141*b148
      - 650*b141*b149 - 350*b141*b150 - 110*b141*b151 - 980*b141*b152 - 560*
     b141*b153 - 800*b141*b154 - 850*b142*b143 - 730*b142*b144 - 610*b142*b145
      - 550*b142*b146 - 250*b142*b147 - 830*b142*b148 - 120*b142*b149 - 80*b142
     *b150 - 950*b142*b151 - 610*b142*b152 - 310*b142*b153 - 470*b142*b154 - 
     950*b143*b144 - 660*b143*b145 - 690*b143*b146 - 930*b143*b147 - 740*b143*
     b148 - 520*b143*b149 - 700*b143*b150 - 570*b143*b151 - 850*b143*b152 - 710
     *b143*b153 - 400*b143*b154 - 150*b144*b145 - 400*b144*b146 - 580*b144*b147
      - 20*b144*b148 - 40*b144*b149 - 560*b144*b150 - 100*b144*b151 - 360*b144*
     b152 - 410*b144*b153 - 830*b144*b154 - 980*b145*b146 - 490*b145*b147 - 80*
     b145*b148 - 330*b145*b149 - 130*b145*b150 - 690*b145*b151 - 280*b145*b152
      - 740*b145*b153 - 750*b146*b147 - 220*b146*b148 - 660*b146*b149 - 440*
     b146*b150 - 670*b146*b151 - 400*b146*b152 - 480*b146*b153 - 370*b146*b154
      - 490*b147*b148 - 850*b147*b149 - 90*b147*b150 - 410*b147*b151 - 10*b147*
     b153 - 990*b147*b154 - 540*b148*b149 - 570*b148*b150 - 80*b148*b151 - 640*
     b148*b152 - 940*b148*b153 - 10*b148*b154 - 470*b149*b150 - 440*b149*b151
      - 500*b149*b152 - 80*b149*b153 - 770*b149*b154 - 640*b150*b151 - 770*b150
     *b152 - 570*b150*b153 - 900*b150*b154 - 290*b151*b152 - 850*b151*b153 - 
     640*b151*b154 - 470*b152*b153 - 810*b152*b154 - 320*b153*b154 - 150*b155*
     b156 - 20*b155*b157 - 890*b155*b158 - 940*b155*b159 - 210*b155*b160 - 950*
     b155*b161 - 940*b155*b162 - 330*b155*b163 - 80*b155*b164 - 710*b155*b165
      - 990*b155*b166 - 640*b155*b167 - 740*b155*b168 - 10*b155*b169 - 440*b155
     *b170 - 120*b155*b171 - 360*b155*b172 - 830*b156*b157 - 880*b156*b158 - 
     340*b156*b159 - 300*b156*b160 - 390*b156*b161 - 390*b156*b162 - 390*b156*
     b163 - 870*b156*b164 - 860*b156*b165 - 600*b156*b166 - 700*b156*b167 - 110
     *b156*b168 - 730*b156*b169 - 90*b156*b170 - 780*b156*b171 - 750*b156*b172
      - 500*b157*b158 - 730*b157*b159 - 480*b157*b160 - 450*b157*b161 - 190*
     b157*b162 - 820*b157*b163 - 50*b157*b164 - 900*b157*b165 - 330*b157*b166
      - 210*b157*b167 - 170*b157*b168 - 340*b157*b169 - 650*b157*b170 - 810*
     b157*b171 - 700*b157*b172 - 690*b158*b160 - 570*b158*b161 - 830*b158*b162
      - 600*b158*b163 - 960*b158*b164 - 220*b158*b165 - 990*b158*b166 - 340*
     b158*b167 - 830*b158*b168 - 220*b158*b169 - 460*b158*b170 - 560*b158*b171
      - 830*b158*b172 - 240*b159*b160 - 830*b159*b161 - 330*b159*b162 - 490*
     b159*b163 - 310*b159*b164 - 300*b159*b165 - 690*b159*b166 - 650*b159*b167
      - 350*b159*b168 - 110*b159*b169 - 980*b159*b170 - 560*b159*b171 - 800*
     b159*b172 - 850*b160*b161 - 730*b160*b162 - 610*b160*b163 - 550*b160*b164
      - 250*b160*b165 - 830*b160*b166 - 120*b160*b167 - 80*b160*b168 - 950*b160
     *b169 - 610*b160*b170 - 310*b160*b171 - 470*b160*b172 - 950*b161*b162 - 
     660*b161*b163 - 690*b161*b164 - 930*b161*b165 - 740*b161*b166 - 520*b161*
     b167 - 700*b161*b168 - 570*b161*b169 - 850*b161*b170 - 710*b161*b171 - 400
     *b161*b172 - 150*b162*b163 - 400*b162*b164 - 580*b162*b165 - 20*b162*b166
      - 40*b162*b167 - 560*b162*b168 - 100*b162*b169 - 360*b162*b170 - 410*b162
     *b171 - 830*b162*b172 - 980*b163*b164 - 490*b163*b165 - 80*b163*b166 - 330
     *b163*b167 - 130*b163*b168 - 690*b163*b169 - 280*b163*b170 - 740*b163*b171
      - 750*b164*b165 - 220*b164*b166 - 660*b164*b167 - 440*b164*b168 - 670*
     b164*b169 - 400*b164*b170 - 480*b164*b171 - 370*b164*b172 - 490*b165*b166
      - 850*b165*b167 - 90*b165*b168 - 410*b165*b169 - 10*b165*b171 - 990*b165*
     b172 - 540*b166*b167 - 570*b166*b168 - 80*b166*b169 - 640*b166*b170 - 940*
     b166*b171 - 10*b166*b172 - 470*b167*b168 - 440*b167*b169 - 500*b167*b170
      - 80*b167*b171 - 770*b167*b172 - 640*b168*b169 - 770*b168*b170 - 570*b168
     *b171 - 900*b168*b172 - 290*b169*b170 - 850*b169*b171 - 640*b169*b172 - 
     470*b170*b171 - 810*b170*b172 - 320*b171*b172 - 830*b173*b174 - 880*b173*
     b175 - 340*b173*b176 - 300*b173*b177 - 390*b173*b178 - 390*b173*b179 - 390
     *b173*b180 - 870*b173*b181 - 860*b173*b182 - 600*b173*b183 - 700*b173*b184
      - 110*b173*b185 - 730*b173*b186 - 90*b173*b187 - 780*b173*b188 - 750*b173
     *b189 - 500*b174*b175 - 730*b174*b176 - 480*b174*b177 - 450*b174*b178 - 
     190*b174*b179 - 820*b174*b180 - 50*b174*b181 - 900*b174*b182 - 330*b174*
     b183 - 210*b174*b184 - 170*b174*b185 - 340*b174*b186 - 650*b174*b187 - 810
     *b174*b188 - 700*b174*b189 - 690*b175*b177 - 570*b175*b178 - 830*b175*b179
      - 600*b175*b180 - 960*b175*b181 - 220*b175*b182 - 990*b175*b183 - 340*
     b175*b184 - 830*b175*b185 - 220*b175*b186 - 460*b175*b187 - 560*b175*b188
      - 830*b175*b189 - 240*b176*b177 - 830*b176*b178 - 330*b176*b179 - 490*
     b176*b180 - 310*b176*b181 - 300*b176*b182 - 690*b176*b183 - 650*b176*b184
      - 350*b176*b185 - 110*b176*b186 - 980*b176*b187 - 560*b176*b188 - 800*
     b176*b189 - 850*b177*b178 - 730*b177*b179 - 610*b177*b180 - 550*b177*b181
      - 250*b177*b182 - 830*b177*b183 - 120*b177*b184 - 80*b177*b185 - 950*b177
     *b186 - 610*b177*b187 - 310*b177*b188 - 470*b177*b189 - 950*b178*b179 - 
     660*b178*b180 - 690*b178*b181 - 930*b178*b182 - 740*b178*b183 - 520*b178*
     b184 - 700*b178*b185 - 570*b178*b186 - 850*b178*b187 - 710*b178*b188 - 400
     *b178*b189 - 150*b179*b180 - 400*b179*b181 - 580*b179*b182 - 20*b179*b183
      - 40*b179*b184 - 560*b179*b185 - 100*b179*b186 - 360*b179*b187 - 410*b179
     *b188 - 830*b179*b189 - 980*b180*b181 - 490*b180*b182 - 80*b180*b183 - 330
     *b180*b184 - 130*b180*b185 - 690*b180*b186 - 280*b180*b187 - 740*b180*b188
      - 750*b181*b182 - 220*b181*b183 - 660*b181*b184 - 440*b181*b185 - 670*
     b181*b186 - 400*b181*b187 - 480*b181*b188 - 370*b181*b189 - 490*b182*b183
      - 850*b182*b184 - 90*b182*b185 - 410*b182*b186 - 10*b182*b188 - 990*b182*
     b189 - 540*b183*b184 - 570*b183*b185 - 80*b183*b186 - 640*b183*b187 - 940*
     b183*b188 - 10*b183*b189 - 470*b184*b185 - 440*b184*b186 - 500*b184*b187
      - 80*b184*b188 - 770*b184*b189 - 640*b185*b186 - 770*b185*b187 - 570*b185
     *b188 - 900*b185*b189 - 290*b186*b187 - 850*b186*b188 - 640*b186*b189 - 
     470*b187*b188 - 810*b187*b189 - 320*b188*b189 - 500*b190*b191 - 730*b190*
     b192 - 480*b190*b193 - 450*b190*b194 - 190*b190*b195 - 820*b190*b196 - 50*
     b190*b197 - 900*b190*b198 - 330*b190*b199 - 210*b190*b200 - 170*b190*b201
      - 340*b190*b202 - 650*b190*b203 - 810*b190*b204 - 700*b190*b205 - 690*
     b191*b193 - 570*b191*b194 - 830*b191*b195 - 600*b191*b196 - 960*b191*b197
      - 220*b191*b198 - 990*b191*b199 - 340*b191*b200 - 830*b191*b201 - 220*
     b191*b202 - 460*b191*b203 - 560*b191*b204 - 830*b191*b205 - 240*b192*b193
      - 830*b192*b194 - 330*b192*b195 - 490*b192*b196 - 310*b192*b197 - 300*
     b192*b198 - 690*b192*b199 - 650*b192*b200 - 350*b192*b201 - 110*b192*b202
      - 980*b192*b203 - 560*b192*b204 - 800*b192*b205 - 850*b193*b194 - 730*
     b193*b195 - 610*b193*b196 - 550*b193*b197 - 250*b193*b198 - 830*b193*b199
      - 120*b193*b200 - 80*b193*b201 - 950*b193*b202 - 610*b193*b203 - 310*b193
     *b204 - 470*b193*b205 - 950*b194*b195 - 660*b194*b196 - 690*b194*b197 - 
     930*b194*b198 - 740*b194*b199 - 520*b194*b200 - 700*b194*b201 - 570*b194*
     b202 - 850*b194*b203 - 710*b194*b204 - 400*b194*b205 - 150*b195*b196 - 400
     *b195*b197 - 580*b195*b198 - 20*b195*b199 - 40*b195*b200 - 560*b195*b201
      - 100*b195*b202 - 360*b195*b203 - 410*b195*b204 - 830*b195*b205 - 980*
     b196*b197 - 490*b196*b198 - 80*b196*b199 - 330*b196*b200 - 130*b196*b201
      - 690*b196*b202 - 280*b196*b203 - 740*b196*b204 - 750*b197*b198 - 220*
     b197*b199 - 660*b197*b200 - 440*b197*b201 - 670*b197*b202 - 400*b197*b203
      - 480*b197*b204 - 370*b197*b205 - 490*b198*b199 - 850*b198*b200 - 90*b198
     *b201 - 410*b198*b202 - 10*b198*b204 - 990*b198*b205 - 540*b199*b200 - 570
     *b199*b201 - 80*b199*b202 - 640*b199*b203 - 940*b199*b204 - 10*b199*b205
      - 470*b200*b201 - 440*b200*b202 - 500*b200*b203 - 80*b200*b204 - 770*b200
     *b205 - 640*b201*b202 - 770*b201*b203 - 570*b201*b204 - 900*b201*b205 - 
     290*b202*b203 - 850*b202*b204 - 640*b202*b205 - 470*b203*b204 - 810*b203*
     b205 - 320*b204*b205 - 690*b206*b207 - 570*b206*b208 - 830*b206*b209 - 600
     *b206*b210 - 960*b206*b211 - 220*b206*b212 - 990*b206*b213 - 340*b206*b214
      - 830*b206*b215 - 220*b206*b216 - 460*b206*b217 - 560*b206*b218 - 830*
     b206*b219 - 850*b207*b208 - 730*b207*b209 - 610*b207*b210 - 550*b207*b211
      - 250*b207*b212 - 830*b207*b213 - 120*b207*b214 - 80*b207*b215 - 950*b207
     *b216 - 610*b207*b217 - 310*b207*b218 - 470*b207*b219 - 240*b207*b220 - 
     950*b208*b209 - 660*b208*b210 - 690*b208*b211 - 930*b208*b212 - 740*b208*
     b213 - 520*b208*b214 - 700*b208*b215 - 570*b208*b216 - 850*b208*b217 - 710
     *b208*b218 - 400*b208*b219 - 830*b208*b220 - 150*b209*b210 - 400*b209*b211
      - 580*b209*b212 - 20*b209*b213 - 40*b209*b214 - 560*b209*b215 - 100*b209*
     b216 - 360*b209*b217 - 410*b209*b218 - 830*b209*b219 - 330*b209*b220 - 980
     *b210*b211 - 490*b210*b212 - 80*b210*b213 - 330*b210*b214 - 130*b210*b215
      - 690*b210*b216 - 280*b210*b217 - 740*b210*b218 - 490*b210*b220 - 750*
     b211*b212 - 220*b211*b213 - 660*b211*b214 - 440*b211*b215 - 670*b211*b216
      - 400*b211*b217 - 480*b211*b218 - 370*b211*b219 - 310*b211*b220 - 490*
     b212*b213 - 850*b212*b214 - 90*b212*b215 - 410*b212*b216 - 10*b212*b218 - 
     990*b212*b219 - 300*b212*b220 - 540*b213*b214 - 570*b213*b215 - 80*b213*
     b216 - 640*b213*b217 - 940*b213*b218 - 10*b213*b219 - 690*b213*b220 - 470*
     b214*b215 - 440*b214*b216 - 500*b214*b217 - 80*b214*b218 - 770*b214*b219
      - 650*b214*b220 - 640*b215*b216 - 770*b215*b217 - 570*b215*b218 - 900*
     b215*b219 - 350*b215*b220 - 290*b216*b217 - 850*b216*b218 - 640*b216*b219
      - 110*b216*b220 - 470*b217*b218 - 810*b217*b219 - 980*b217*b220 - 320*
     b218*b219 - 560*b218*b220 - 800*b219*b220 - 240*b221*b222 - 830*b221*b223
      - 330*b221*b224 - 490*b221*b225 - 310*b221*b226 - 300*b221*b227 - 690*
     b221*b228 - 650*b221*b229 - 350*b221*b230 - 110*b221*b231 - 980*b221*b232
      - 560*b221*b233 - 800*b221*b234 - 850*b222*b223 - 730*b222*b224 - 610*
     b222*b225 - 550*b222*b226 - 250*b222*b227 - 830*b222*b228 - 120*b222*b229
      - 80*b222*b230 - 950*b222*b231 - 610*b222*b232 - 310*b222*b233 - 470*b222
     *b234 - 950*b223*b224 - 660*b223*b225 - 690*b223*b226 - 930*b223*b227 - 
     740*b223*b228 - 520*b223*b229 - 700*b223*b230 - 570*b223*b231 - 850*b223*
     b232 - 710*b223*b233 - 400*b223*b234 - 150*b224*b225 - 400*b224*b226 - 580
     *b224*b227 - 20*b224*b228 - 40*b224*b229 - 560*b224*b230 - 100*b224*b231
      - 360*b224*b232 - 410*b224*b233 - 830*b224*b234 - 980*b225*b226 - 490*
     b225*b227 - 80*b225*b228 - 330*b225*b229 - 130*b225*b230 - 690*b225*b231
      - 280*b225*b232 - 740*b225*b233 - 750*b226*b227 - 220*b226*b228 - 660*
     b226*b229 - 440*b226*b230 - 670*b226*b231 - 400*b226*b232 - 480*b226*b233
      - 370*b226*b234 - 490*b227*b228 - 850*b227*b229 - 90*b227*b230 - 410*b227
     *b231 - 10*b227*b233 - 990*b227*b234 - 540*b228*b229 - 570*b228*b230 - 80*
     b228*b231 - 640*b228*b232 - 940*b228*b233 - 10*b228*b234 - 470*b229*b230
      - 440*b229*b231 - 500*b229*b232 - 80*b229*b233 - 770*b229*b234 - 640*b230
     *b231 - 770*b230*b232 - 570*b230*b233 - 900*b230*b234 - 290*b231*b232 - 
     850*b231*b233 - 640*b231*b234 - 470*b232*b233 - 810*b232*b234 - 320*b233*
     b234 - 850*b235*b236 - 730*b235*b237 - 610*b235*b238 - 550*b235*b239 - 250
     *b235*b240 - 830*b235*b241 - 120*b235*b242 - 80*b235*b243 - 950*b235*b244
      - 610*b235*b245 - 310*b235*b246 - 470*b235*b247 - 950*b236*b237 - 660*
     b236*b238 - 690*b236*b239 - 930*b236*b240 - 740*b236*b241 - 520*b236*b242
      - 700*b236*b243 - 570*b236*b244 - 850*b236*b245 - 710*b236*b246 - 400*
     b236*b247 - 150*b237*b238 - 400*b237*b239 - 580*b237*b240 - 20*b237*b241
      - 40*b237*b242 - 560*b237*b243 - 100*b237*b244 - 360*b237*b245 - 410*b237
     *b246 - 830*b237*b247 - 980*b238*b239 - 490*b238*b240 - 80*b238*b241 - 330
     *b238*b242 - 130*b238*b243 - 690*b238*b244 - 280*b238*b245 - 740*b238*b246
      - 750*b239*b240 - 220*b239*b241 - 660*b239*b242 - 440*b239*b243 - 670*
     b239*b244 - 400*b239*b245 - 480*b239*b246 - 370*b239*b247 - 490*b240*b241
      - 850*b240*b242 - 90*b240*b243 - 410*b240*b244 - 10*b240*b246 - 990*b240*
     b247 - 540*b241*b242 - 570*b241*b243 - 80*b241*b244 - 640*b241*b245 - 940*
     b241*b246 - 10*b241*b247 - 470*b242*b243 - 440*b242*b244 - 500*b242*b245
      - 80*b242*b246 - 770*b242*b247 - 640*b243*b244 - 770*b243*b245 - 570*b243
     *b246 - 900*b243*b247 - 290*b244*b245 - 850*b244*b246 - 640*b244*b247 - 
     470*b245*b246 - 810*b245*b247 - 320*b246*b247 - 950*b248*b249 - 660*b248*
     b250 - 690*b248*b251 - 930*b248*b252 - 740*b248*b253 - 520*b248*b254 - 700
     *b248*b255 - 570*b248*b256 - 850*b248*b257 - 710*b248*b258 - 400*b248*b259
      - 150*b249*b250 - 400*b249*b251 - 580*b249*b252 - 20*b249*b253 - 40*b249*
     b254 - 560*b249*b255 - 100*b249*b256 - 360*b249*b257 - 410*b249*b258 - 830
     *b249*b259 - 980*b250*b251 - 490*b250*b252 - 80*b250*b253 - 330*b250*b254
      - 130*b250*b255 - 690*b250*b256 - 280*b250*b257 - 740*b250*b258 - 750*
     b251*b252 - 220*b251*b253 - 660*b251*b254 - 440*b251*b255 - 670*b251*b256
      - 400*b251*b257 - 480*b251*b258 - 370*b251*b259 - 490*b252*b253 - 850*
     b252*b254 - 90*b252*b255 - 410*b252*b256 - 10*b252*b258 - 990*b252*b259 - 
     540*b253*b254 - 570*b253*b255 - 80*b253*b256 - 640*b253*b257 - 940*b253*
     b258 - 10*b253*b259 - 470*b254*b255 - 440*b254*b256 - 500*b254*b257 - 80*
     b254*b258 - 770*b254*b259 - 640*b255*b256 - 770*b255*b257 - 570*b255*b258
      - 900*b255*b259 - 290*b256*b257 - 850*b256*b258 - 640*b256*b259 - 470*
     b257*b258 - 810*b257*b259 - 320*b258*b259 - 150*b260*b261 - 400*b260*b262
      - 580*b260*b263 - 20*b260*b264 - 40*b260*b265 - 560*b260*b266 - 100*b260*
     b267 - 360*b260*b268 - 410*b260*b269 - 830*b260*b270 - 980*b261*b262 - 490
     *b261*b263 - 80*b261*b264 - 330*b261*b265 - 130*b261*b266 - 690*b261*b267
      - 280*b261*b268 - 740*b261*b269 - 750*b262*b263 - 220*b262*b264 - 660*
     b262*b265 - 440*b262*b266 - 670*b262*b267 - 400*b262*b268 - 480*b262*b269
      - 370*b262*b270 - 490*b263*b264 - 850*b263*b265 - 90*b263*b266 - 410*b263
     *b267 - 10*b263*b269 - 990*b263*b270 - 540*b264*b265 - 570*b264*b266 - 80*
     b264*b267 - 640*b264*b268 - 940*b264*b269 - 10*b264*b270 - 470*b265*b266
      - 440*b265*b267 - 500*b265*b268 - 80*b265*b269 - 770*b265*b270 - 640*b266
     *b267 - 770*b266*b268 - 570*b266*b269 - 900*b266*b270 - 290*b267*b268 - 
     850*b267*b269 - 640*b267*b270 - 470*b268*b269 - 810*b268*b270 - 320*b269*
     b270 - 980*b271*b272 - 490*b271*b273 - 80*b271*b274 - 330*b271*b275 - 130*
     b271*b276 - 690*b271*b277 - 280*b271*b278 - 740*b271*b279 - 750*b272*b273
      - 220*b272*b274 - 660*b272*b275 - 440*b272*b276 - 670*b272*b277 - 400*
     b272*b278 - 480*b272*b279 - 370*b272*b280 - 490*b273*b274 - 850*b273*b275
      - 90*b273*b276 - 410*b273*b277 - 10*b273*b279 - 990*b273*b280 - 540*b274*
     b275 - 570*b274*b276 - 80*b274*b277 - 640*b274*b278 - 940*b274*b279 - 10*
     b274*b280 - 470*b275*b276 - 440*b275*b277 - 500*b275*b278 - 80*b275*b279
      - 770*b275*b280 - 640*b276*b277 - 770*b276*b278 - 570*b276*b279 - 900*
     b276*b280 - 290*b277*b278 - 850*b277*b279 - 640*b277*b280 - 470*b278*b279
      - 810*b278*b280 - 320*b279*b280 - 750*b281*b282 - 220*b281*b283 - 660*
     b281*b284 - 440*b281*b285 - 670*b281*b286 - 400*b281*b287 - 480*b281*b288
      - 370*b281*b289 - 490*b282*b283 - 850*b282*b284 - 90*b282*b285 - 410*b282
     *b286 - 10*b282*b288 - 990*b282*b289 - 540*b283*b284 - 570*b283*b285 - 80*
     b283*b286 - 640*b283*b287 - 940*b283*b288 - 10*b283*b289 - 470*b284*b285
      - 440*b284*b286 - 500*b284*b287 - 80*b284*b288 - 770*b284*b289 - 640*b285
     *b286 - 770*b285*b287 - 570*b285*b288 - 900*b285*b289 - 290*b286*b287 - 
     850*b286*b288 - 640*b286*b289 - 470*b287*b288 - 810*b287*b289 - 320*b288*
     b289 - 490*b290*b291 - 850*b290*b292 - 90*b290*b293 - 410*b290*b294 - 10*
     b290*b295 - 990*b290*b296 - 540*b291*b292 - 570*b291*b293 - 80*b291*b294
      - 940*b291*b295 - 10*b291*b296 - 640*b291*b297 - 470*b292*b293 - 440*b292
     *b294 - 80*b292*b295 - 770*b292*b296 - 500*b292*b297 - 640*b293*b294 - 570
     *b293*b295 - 900*b293*b296 - 770*b293*b297 - 850*b294*b295 - 640*b294*b296
      - 290*b294*b297 - 320*b295*b296 - 470*b295*b297 - 810*b296*b297 - 540*
     b298*b299 - 570*b298*b300 - 80*b298*b301 - 640*b298*b302 - 940*b298*b303
      - 10*b298*b304 - 470*b299*b300 - 440*b299*b301 - 500*b299*b302 - 80*b299*
     b303 - 770*b299*b304 - 640*b300*b301 - 770*b300*b302 - 570*b300*b303 - 900
     *b300*b304 - 290*b301*b302 - 850*b301*b303 - 640*b301*b304 - 470*b302*b303
      - 810*b302*b304 - 320*b303*b304 - 470*b305*b306 - 440*b305*b307 - 500*
     b305*b308 - 80*b305*b309 - 770*b305*b310 - 640*b306*b307 - 770*b306*b308
      - 570*b306*b309 - 900*b306*b310 - 290*b307*b308 - 850*b307*b309 - 640*
     b307*b310 - 470*b308*b309 - 810*b308*b310 - 320*b309*b310 - 640*b311*b312
      - 770*b311*b313 - 570*b311*b314 - 900*b311*b315 - 290*b312*b313 - 850*
     b312*b314 - 640*b312*b315 - 470*b313*b314 - 810*b313*b315 - 320*b314*b315
      - 290*b316*b317 - 850*b316*b318 - 640*b316*b319 - 470*b317*b318 - 810*
     b317*b319 - 320*b318*b319 - 470*b320*b321 - 810*b320*b322 - 320*b321*b322
      - 320*b323*b324 - objvar =E= 0;

e2..    b2 + b26 =E= 1;

e3..    b3 + b27 + b50 =E= 1;

e4..    b4 + b28 + b51 + b73 =E= 1;

e5..    b5 + b29 + b52 + b74 + b95 =E= 1;

e6..    b6 + b30 + b53 + b75 + b96 + b116 =E= 1;

e7..    b7 + b31 + b54 + b76 + b97 + b117 + b136 =E= 1;

e8..    b8 + b32 + b55 + b77 + b98 + b118 + b137 + b155 =E= 1;

e9..    b9 + b33 + b56 + b78 + b99 + b119 + b138 + b156 + b173 =E= 1;

e10..    b10 + b34 + b57 + b94 + b100 + b120 + b139 + b157 + b174 + b190 =E= 1;

e11..    b11 + b35 + b58 + b79 + b101 + b121 + b140 + b158 + b175 + b191 + b206
       =E= 1;

e12..    b12 + b36 + b59 + b80 + b102 + b122 + b141 + b159 + b176 + b192 + b220
       + b221 =E= 1;

e13..    b13 + b37 + b60 + b81 + b103 + b123 + b142 + b160 + b177 + b193 + b207
       + b222 + b235 =E= 1;

e14..    b14 + b38 + b61 + b82 + b104 + b124 + b143 + b161 + b178 + b194 + b208
       + b223 + b236 + b248 =E= 1;

e15..    b15 + b39 + b62 + b83 + b105 + b125 + b144 + b162 + b179 + b195 + b209
       + b224 + b237 + b249 + b260 =E= 1;

e16..    b16 + b40 + b63 + b84 + b106 + b126 + b145 + b163 + b180 + b196 + b210
       + b225 + b238 + b250 + b261 + b271 =E= 1;

e17..    b17 + b41 + b64 + b85 + b107 + b127 + b146 + b164 + b181 + b197 + b211
       + b226 + b239 + b251 + b262 + b272 + b281 =E= 1;

e18..    b18 + b42 + b65 + b86 + b108 + b128 + b147 + b165 + b182 + b198 + b212
       + b227 + b240 + b252 + b263 + b273 + b282 + b290 =E= 1;

e19..    b19 + b43 + b66 + b87 + b109 + b135 + b148 + b166 + b183 + b199 + b213
       + b228 + b241 + b253 + b264 + b274 + b283 + b291 + b298 =E= 1;

e20..    b20 + b44 + b67 + b88 + b110 + b129 + b149 + b167 + b184 + b200 + b214
       + b229 + b242 + b254 + b265 + b275 + b284 + b292 + b299 + b305 =E= 1;

e21..    b21 + b45 + b68 + b89 + b111 + b130 + b150 + b168 + b185 + b201 + b215
       + b230 + b243 + b255 + b266 + b276 + b285 + b293 + b300 + b306 + b311
       =E= 1;

e22..    b22 + b46 + b69 + b90 + b112 + b131 + b151 + b169 + b186 + b202 + b216
       + b231 + b244 + b256 + b267 + b277 + b286 + b294 + b301 + b307 + b312
       + b316 =E= 1;

e23..    b23 + b47 + b70 + b91 + b113 + b132 + b152 + b170 + b187 + b203 + b217
       + b232 + b245 + b257 + b268 + b278 + b287 + b297 + b302 + b308 + b313
       + b317 + b320 =E= 1;

e24..    b24 + b48 + b71 + b92 + b114 + b133 + b153 + b171 + b188 + b204 + b218
       + b233 + b246 + b258 + b269 + b279 + b288 + b295 + b303 + b309 + b314
       + b318 + b321 + b323 =E= 1;

e25..    b25 + b49 + b72 + b93 + b115 + b134 + b154 + b172 + b189 + b205 + b219
       + b234 + b247 + b259 + b270 + b280 + b289 + b296 + b304 + b310 + b315
       + b319 + b322 + b324 + b325 =E= 1;

e26..  - b26 + b27 =L= 0;

e27..  - b26 + b28 =L= 0;

e28..  - b26 + b29 =L= 0;

e29..  - b26 + b30 =L= 0;

e30..  - b26 + b31 =L= 0;

e31..  - b26 + b32 =L= 0;

e32..  - b26 + b33 =L= 0;

e33..  - b26 + b34 =L= 0;

e34..  - b26 + b35 =L= 0;

e35..  - b26 + b36 =L= 0;

e36..  - b26 + b37 =L= 0;

e37..  - b26 + b38 =L= 0;

e38..  - b26 + b39 =L= 0;

e39..  - b26 + b40 =L= 0;

e40..  - b26 + b41 =L= 0;

e41..  - b26 + b42 =L= 0;

e42..  - b26 + b43 =L= 0;

e43..  - b26 + b44 =L= 0;

e44..  - b26 + b45 =L= 0;

e45..  - b26 + b46 =L= 0;

e46..  - b26 + b47 =L= 0;

e47..  - b26 + b48 =L= 0;

e48..  - b26 + b49 =L= 0;

e49..  - b50 + b51 =L= 0;

e50..  - b50 + b52 =L= 0;

e51..  - b50 + b53 =L= 0;

e52..  - b50 + b54 =L= 0;

e53..  - b50 + b55 =L= 0;

e54..  - b50 + b56 =L= 0;

e55..  - b50 + b57 =L= 0;

e56..  - b50 + b58 =L= 0;

e57..  - b50 + b59 =L= 0;

e58..  - b50 + b60 =L= 0;

e59..  - b50 + b61 =L= 0;

e60..  - b50 + b62 =L= 0;

e61..  - b50 + b63 =L= 0;

e62..  - b50 + b64 =L= 0;

e63..  - b50 + b65 =L= 0;

e64..  - b50 + b66 =L= 0;

e65..  - b50 + b67 =L= 0;

e66..  - b50 + b68 =L= 0;

e67..  - b50 + b69 =L= 0;

e68..  - b50 + b70 =L= 0;

e69..  - b50 + b71 =L= 0;

e70..  - b50 + b72 =L= 0;

e71..  - b73 + b74 =L= 0;

e72..  - b73 + b75 =L= 0;

e73..  - b73 + b76 =L= 0;

e74..  - b73 + b77 =L= 0;

e75..  - b73 + b78 =L= 0;

e76..  - b73 + b94 =L= 0;

e77..  - b73 + b79 =L= 0;

e78..  - b73 + b80 =L= 0;

e79..  - b73 + b81 =L= 0;

e80..  - b73 + b82 =L= 0;

e81..  - b73 + b83 =L= 0;

e82..  - b73 + b84 =L= 0;

e83..  - b73 + b85 =L= 0;

e84..  - b73 + b86 =L= 0;

e85..  - b73 + b87 =L= 0;

e86..  - b73 + b88 =L= 0;

e87..  - b73 + b89 =L= 0;

e88..  - b73 + b90 =L= 0;

e89..  - b73 + b91 =L= 0;

e90..  - b73 + b92 =L= 0;

e91..  - b73 + b93 =L= 0;

e92..  - b95 + b96 =L= 0;

e93..  - b95 + b97 =L= 0;

e94..  - b95 + b98 =L= 0;

e95..  - b95 + b99 =L= 0;

e96..  - b95 + b100 =L= 0;

e97..  - b95 + b101 =L= 0;

e98..  - b95 + b102 =L= 0;

e99..  - b95 + b103 =L= 0;

e100..  - b95 + b104 =L= 0;

e101..  - b95 + b105 =L= 0;

e102..  - b95 + b106 =L= 0;

e103..  - b95 + b107 =L= 0;

e104..  - b95 + b108 =L= 0;

e105..  - b95 + b109 =L= 0;

e106..  - b95 + b110 =L= 0;

e107..  - b95 + b111 =L= 0;

e108..  - b95 + b112 =L= 0;

e109..  - b95 + b113 =L= 0;

e110..  - b95 + b114 =L= 0;

e111..  - b95 + b115 =L= 0;

e112..  - b116 + b117 =L= 0;

e113..  - b116 + b118 =L= 0;

e114..  - b116 + b119 =L= 0;

e115..  - b116 + b120 =L= 0;

e116..  - b116 + b121 =L= 0;

e117..  - b116 + b122 =L= 0;

e118..  - b116 + b123 =L= 0;

e119..  - b116 + b124 =L= 0;

e120..  - b116 + b125 =L= 0;

e121..  - b116 + b126 =L= 0;

e122..  - b116 + b127 =L= 0;

e123..  - b116 + b128 =L= 0;

e124..  - b116 + b135 =L= 0;

e125..  - b116 + b129 =L= 0;

e126..  - b116 + b130 =L= 0;

e127..  - b116 + b131 =L= 0;

e128..  - b116 + b132 =L= 0;

e129..  - b116 + b133 =L= 0;

e130..  - b116 + b134 =L= 0;

e131..  - b136 + b137 =L= 0;

e132..  - b136 + b138 =L= 0;

e133..  - b136 + b139 =L= 0;

e134..  - b136 + b140 =L= 0;

e135..  - b136 + b141 =L= 0;

e136..  - b136 + b142 =L= 0;

e137..  - b136 + b143 =L= 0;

e138..  - b136 + b144 =L= 0;

e139..  - b136 + b145 =L= 0;

e140..  - b136 + b146 =L= 0;

e141..  - b136 + b147 =L= 0;

e142..  - b136 + b148 =L= 0;

e143..  - b136 + b149 =L= 0;

e144..  - b136 + b150 =L= 0;

e145..  - b136 + b151 =L= 0;

e146..  - b136 + b152 =L= 0;

e147..  - b136 + b153 =L= 0;

e148..  - b136 + b154 =L= 0;

e149..  - b155 + b156 =L= 0;

e150..  - b155 + b157 =L= 0;

e151..  - b155 + b158 =L= 0;

e152..  - b155 + b159 =L= 0;

e153..  - b155 + b160 =L= 0;

e154..  - b155 + b161 =L= 0;

e155..  - b155 + b162 =L= 0;

e156..  - b155 + b163 =L= 0;

e157..  - b155 + b164 =L= 0;

e158..  - b155 + b165 =L= 0;

e159..  - b155 + b166 =L= 0;

e160..  - b155 + b167 =L= 0;

e161..  - b155 + b168 =L= 0;

e162..  - b155 + b169 =L= 0;

e163..  - b155 + b170 =L= 0;

e164..  - b155 + b171 =L= 0;

e165..  - b155 + b172 =L= 0;

e166..  - b173 + b174 =L= 0;

e167..  - b173 + b175 =L= 0;

e168..  - b173 + b176 =L= 0;

e169..  - b173 + b177 =L= 0;

e170..  - b173 + b178 =L= 0;

e171..  - b173 + b179 =L= 0;

e172..  - b173 + b180 =L= 0;

e173..  - b173 + b181 =L= 0;

e174..  - b173 + b182 =L= 0;

e175..  - b173 + b183 =L= 0;

e176..  - b173 + b184 =L= 0;

e177..  - b173 + b185 =L= 0;

e178..  - b173 + b186 =L= 0;

e179..  - b173 + b187 =L= 0;

e180..  - b173 + b188 =L= 0;

e181..  - b173 + b189 =L= 0;

e182..  - b190 + b191 =L= 0;

e183..  - b190 + b192 =L= 0;

e184..  - b190 + b193 =L= 0;

e185..  - b190 + b194 =L= 0;

e186..  - b190 + b195 =L= 0;

e187..  - b190 + b196 =L= 0;

e188..  - b190 + b197 =L= 0;

e189..  - b190 + b198 =L= 0;

e190..  - b190 + b199 =L= 0;

e191..  - b190 + b200 =L= 0;

e192..  - b190 + b201 =L= 0;

e193..  - b190 + b202 =L= 0;

e194..  - b190 + b203 =L= 0;

e195..  - b190 + b204 =L= 0;

e196..  - b190 + b205 =L= 0;

e197..  - b206 + b220 =L= 0;

e198..  - b206 + b207 =L= 0;

e199..  - b206 + b208 =L= 0;

e200..  - b206 + b209 =L= 0;

e201..  - b206 + b210 =L= 0;

e202..  - b206 + b211 =L= 0;

e203..  - b206 + b212 =L= 0;

e204..  - b206 + b213 =L= 0;

e205..  - b206 + b214 =L= 0;

e206..  - b206 + b215 =L= 0;

e207..  - b206 + b216 =L= 0;

e208..  - b206 + b217 =L= 0;

e209..  - b206 + b218 =L= 0;

e210..  - b206 + b219 =L= 0;

e211..  - b221 + b222 =L= 0;

e212..  - b221 + b223 =L= 0;

e213..  - b221 + b224 =L= 0;

e214..  - b221 + b225 =L= 0;

e215..  - b221 + b226 =L= 0;

e216..  - b221 + b227 =L= 0;

e217..  - b221 + b228 =L= 0;

e218..  - b221 + b229 =L= 0;

e219..  - b221 + b230 =L= 0;

e220..  - b221 + b231 =L= 0;

e221..  - b221 + b232 =L= 0;

e222..  - b221 + b233 =L= 0;

e223..  - b221 + b234 =L= 0;

e224..  - b235 + b236 =L= 0;

e225..  - b235 + b237 =L= 0;

e226..  - b235 + b238 =L= 0;

e227..  - b235 + b239 =L= 0;

e228..  - b235 + b240 =L= 0;

e229..  - b235 + b241 =L= 0;

e230..  - b235 + b242 =L= 0;

e231..  - b235 + b243 =L= 0;

e232..  - b235 + b244 =L= 0;

e233..  - b235 + b245 =L= 0;

e234..  - b235 + b246 =L= 0;

e235..  - b235 + b247 =L= 0;

e236..  - b248 + b249 =L= 0;

e237..  - b248 + b250 =L= 0;

e238..  - b248 + b251 =L= 0;

e239..  - b248 + b252 =L= 0;

e240..  - b248 + b253 =L= 0;

e241..  - b248 + b254 =L= 0;

e242..  - b248 + b255 =L= 0;

e243..  - b248 + b256 =L= 0;

e244..  - b248 + b257 =L= 0;

e245..  - b248 + b258 =L= 0;

e246..  - b248 + b259 =L= 0;

e247..  - b260 + b261 =L= 0;

e248..  - b260 + b262 =L= 0;

e249..  - b260 + b263 =L= 0;

e250..  - b260 + b264 =L= 0;

e251..  - b260 + b265 =L= 0;

e252..  - b260 + b266 =L= 0;

e253..  - b260 + b267 =L= 0;

e254..  - b260 + b268 =L= 0;

e255..  - b260 + b269 =L= 0;

e256..  - b260 + b270 =L= 0;

e257..  - b271 + b272 =L= 0;

e258..  - b271 + b273 =L= 0;

e259..  - b271 + b274 =L= 0;

e260..  - b271 + b275 =L= 0;

e261..  - b271 + b276 =L= 0;

e262..  - b271 + b277 =L= 0;

e263..  - b271 + b278 =L= 0;

e264..  - b271 + b279 =L= 0;

e265..  - b271 + b280 =L= 0;

e266..  - b281 + b282 =L= 0;

e267..  - b281 + b283 =L= 0;

e268..  - b281 + b284 =L= 0;

e269..  - b281 + b285 =L= 0;

e270..  - b281 + b286 =L= 0;

e271..  - b281 + b287 =L= 0;

e272..  - b281 + b288 =L= 0;

e273..  - b281 + b289 =L= 0;

e274..  - b290 + b291 =L= 0;

e275..  - b290 + b292 =L= 0;

e276..  - b290 + b293 =L= 0;

e277..  - b290 + b294 =L= 0;

e278..  - b290 + b297 =L= 0;

e279..  - b290 + b295 =L= 0;

e280..  - b290 + b296 =L= 0;

e281..  - b298 + b299 =L= 0;

e282..  - b298 + b300 =L= 0;

e283..  - b298 + b301 =L= 0;

e284..  - b298 + b302 =L= 0;

e285..  - b298 + b303 =L= 0;

e286..  - b298 + b304 =L= 0;

e287..  - b305 + b306 =L= 0;

e288..  - b305 + b307 =L= 0;

e289..  - b305 + b308 =L= 0;

e290..  - b305 + b309 =L= 0;

e291..  - b305 + b310 =L= 0;

e292..  - b311 + b312 =L= 0;

e293..  - b311 + b313 =L= 0;

e294..  - b311 + b314 =L= 0;

e295..  - b311 + b315 =L= 0;

e296..  - b316 + b317 =L= 0;

e297..  - b316 + b318 =L= 0;

e298..  - b316 + b319 =L= 0;

e299..  - b320 + b321 =L= 0;

e300..  - b320 + b322 =L= 0;

e301..  - b323 + b324 =L= 0;

e302.. 13120*b2 - 970*b3*b2 + 12740*b3 - 820*b4*b2 + 14590*b4 - 540*b5*b2 + 
       12410*b5 - 90*b6*b2 + 10720*b6 - 920*b7*b2 + 11320*b7 - 550*b8*b2 + 
       11160*b8 - 780*b9*b2 + 12130*b9 - 870*b10*b2 + 11820*b10 - 690*b11*b2 + 
       13360*b11 - 20*b12*b2 + 12120*b12 - 320*b13*b2 + 11660*b13 - 420*b14*b2
        + 15840*b14 - 140*b15*b2 + 11750*b15 - 450*b16*b2 + 9990*b16 - 600*b17*
       b2 + 11720*b17 - 670*b18*b2 + 11190*b18 - 20*b19*b2 + 11390*b19 - 420*
       b20*b2 + 11210*b20 - 810*b21*b2 + 9570*b21 - 640*b22*b2 + 12010*b22 - 
       820*b23*b2 + 12750*b23 - 580*b24*b2 + 11690*b24 - 980*b25*b2 + 13900*b25
        - 360*b4*b3 - 920*b5*b3 - 30*b6*b3 - 620*b7*b3 - 540*b8*b3 - 210*b9*b3
        - 850*b10*b3 - 690*b11*b3 - 700*b12*b3 - 200*b13*b3 - 750*b14*b3 - 800*
       b15*b3 - 120*b16*b3 - 820*b17*b3 - 100*b18*b3 - 990*b19*b3 - 40*b20*b3
        - 130*b21*b3 - 840*b22*b3 - 980*b23*b3 - 270*b24*b3 - 810*b25*b3 - 590*
       b5*b4 - 470*b6*b4 - 830*b7*b4 - 530*b8*b4 - 800*b9*b4 - 350*b11*b4 - 900
       *b12*b4 - 980*b13*b4 - 710*b14*b4 - 830*b15*b4 - 540*b16*b4 - 860*b17*b4
        - 890*b18*b4 - 270*b19*b4 - 710*b20*b4 - 100*b21*b4 - 980*b22*b4 - 910*
       b23*b4 - 860*b24*b4 - 300*b25*b4 - 550*b6*b5 - 200*b7*b5 - 400*b8*b5 - 
       70*b9*b5 - 760*b10*b5 - 530*b11*b5 - 910*b12*b5 - 750*b13*b5 - 330*b14*
       b5 - 720*b15*b5 - 340*b16*b5 - 320*b17*b5 - 70*b18*b5 - 870*b19*b5 - 640
       *b20*b5 - 70*b21*b5 - 740*b22*b5 - 540*b23*b5 - 580*b24*b5 - 970*b25*b5
        - 890*b7*b6 - 120*b8*b6 - 830*b9*b6 - 790*b10*b6 - 390*b11*b6 - 70*b12*
       b6 - 890*b13*b6 - 890*b14*b6 - 980*b15*b6 - 270*b16*b6 - 190*b17*b6 - 60
       *b18*b6 - 600*b20*b6 - 130*b21*b6 - 760*b22*b6 - 650*b23*b6 - 560*b24*b6
        - 510*b25*b6 - 500*b8*b7 - 280*b9*b7 - 370*b10*b7 - 340*b11*b7 - 870*
       b12*b7 - 240*b13*b7 - 980*b14*b7 - 470*b15*b7 - 500*b16*b7 - 50*b17*b7
        - 570*b18*b7 - 480*b19*b7 - 940*b20*b7 - 210*b21*b7 - 310*b22*b7 - 250*
       b23*b7 - 120*b24*b7 - 380*b25*b7 - 150*b9*b8 - 20*b10*b8 - 890*b11*b8 - 
       940*b12*b8 - 210*b13*b8 - 950*b14*b8 - 940*b15*b8 - 330*b16*b8 - 80*b17*
       b8 - 710*b18*b8 - 990*b19*b8 - 640*b20*b8 - 740*b21*b8 - 10*b22*b8 - 440
       *b23*b8 - 120*b24*b8 - 360*b25*b8 - 830*b10*b9 - 880*b11*b9 - 340*b12*b9
        - 300*b13*b9 - 390*b14*b9 - 390*b15*b9 - 390*b16*b9 - 870*b17*b9 - 860*
       b18*b9 - 600*b19*b9 - 700*b20*b9 - 110*b21*b9 - 730*b22*b9 - 90*b23*b9
        - 780*b24*b9 - 750*b25*b9 - 500*b11*b10 - 730*b12*b10 - 480*b13*b10 - 
       450*b14*b10 - 190*b15*b10 - 820*b16*b10 - 50*b17*b10 - 900*b18*b10 - 330
       *b19*b10 - 210*b20*b10 - 170*b21*b10 - 340*b22*b10 - 650*b23*b10 - 810*
       b24*b10 - 700*b25*b10 - 690*b13*b11 - 570*b14*b11 - 830*b15*b11 - 600*
       b16*b11 - 960*b17*b11 - 220*b18*b11 - 990*b19*b11 - 340*b20*b11 - 830*
       b21*b11 - 220*b22*b11 - 460*b23*b11 - 560*b24*b11 - 830*b25*b11 - 240*
       b13*b12 - 830*b14*b12 - 330*b15*b12 - 490*b16*b12 - 310*b17*b12 - 300*
       b18*b12 - 690*b19*b12 - 650*b20*b12 - 350*b21*b12 - 110*b22*b12 - 980*
       b23*b12 - 560*b24*b12 - 800*b25*b12 - 850*b14*b13 - 730*b15*b13 - 610*
       b16*b13 - 550*b17*b13 - 250*b18*b13 - 830*b19*b13 - 120*b20*b13 - 80*b21
       *b13 - 950*b22*b13 - 610*b23*b13 - 310*b24*b13 - 470*b25*b13 - 950*b15*
       b14 - 660*b16*b14 - 690*b17*b14 - 930*b18*b14 - 740*b19*b14 - 520*b20*
       b14 - 700*b21*b14 - 570*b22*b14 - 850*b23*b14 - 710*b24*b14 - 400*b25*
       b14 - 150*b16*b15 - 400*b17*b15 - 580*b18*b15 - 20*b19*b15 - 40*b20*b15
        - 560*b21*b15 - 100*b22*b15 - 360*b23*b15 - 410*b24*b15 - 830*b25*b15
        - 980*b17*b16 - 490*b18*b16 - 80*b19*b16 - 330*b20*b16 - 130*b21*b16 - 
       690*b22*b16 - 280*b23*b16 - 740*b24*b16 - 750*b18*b17 - 220*b19*b17 - 
       660*b20*b17 - 440*b21*b17 - 670*b22*b17 - 400*b23*b17 - 480*b24*b17 - 
       370*b25*b17 - 490*b19*b18 - 850*b20*b18 - 90*b21*b18 - 410*b22*b18 - 10*
       b24*b18 - 990*b25*b18 - 540*b20*b19 - 570*b21*b19 - 80*b22*b19 - 640*b23
       *b19 - 940*b24*b19 - 10*b25*b19 - 470*b21*b20 - 440*b22*b20 - 500*b23*
       b20 - 80*b24*b20 - 770*b25*b20 - 640*b22*b21 - 770*b23*b21 - 570*b24*b21
        - 900*b25*b21 - 290*b23*b22 - 850*b24*b22 - 640*b25*b22 - 470*b24*b23
        - 810*b25*b23 - 320*b25*b24 =L= 40395.8;

e303.. (-970*b27*b26) - 37545.8*b26 + 13360*b27 - 820*b28*b26 + 14830*b28 - 540
       *b29*b26 + 12860*b29 - 90*b30*b26 + 10930*b30 - 920*b31*b26 + 11920*b31
        - 550*b32*b26 + 11280*b32 - 780*b33*b26 + 12790*b33 - 870*b34*b26 + 
       12350*b34 - 690*b35*b26 + 13410*b35 - 20*b36*b26 + 12930*b36 - 320*b37*
       b26 + 12270*b37 - 420*b38*b26 + 15940*b38 - 140*b39*b26 + 12630*b39 - 
       450*b40*b26 + 10760*b40 - 600*b41*b26 + 12060*b41 - 670*b42*b26 + 11210*
       b42 - 20*b43*b26 + 12210*b43 - 420*b44*b26 + 11740*b44 - 810*b45*b26 + 
       9830*b45 - 640*b46*b26 + 12630*b46 - 820*b47*b26 + 12930*b47 - 580*b48*
       b26 + 12400*b48 - 980*b49*b26 + 14040*b49 - 360*b28*b27 - 920*b29*b27 - 
       30*b30*b27 - 620*b31*b27 - 540*b32*b27 - 210*b33*b27 - 850*b34*b27 - 690
       *b35*b27 - 700*b36*b27 - 200*b37*b27 - 750*b38*b27 - 800*b39*b27 - 120*
       b40*b27 - 820*b41*b27 - 100*b42*b27 - 990*b43*b27 - 40*b44*b27 - 130*b45
       *b27 - 840*b46*b27 - 980*b47*b27 - 270*b48*b27 - 810*b49*b27 - 590*b29*
       b28 - 470*b30*b28 - 830*b31*b28 - 530*b32*b28 - 800*b33*b28 - 350*b35*
       b28 - 900*b36*b28 - 980*b37*b28 - 710*b38*b28 - 830*b39*b28 - 540*b40*
       b28 - 860*b41*b28 - 890*b42*b28 - 270*b43*b28 - 710*b44*b28 - 100*b45*
       b28 - 980*b46*b28 - 910*b47*b28 - 860*b48*b28 - 300*b49*b28 - 550*b30*
       b29 - 200*b31*b29 - 400*b32*b29 - 70*b33*b29 - 760*b34*b29 - 530*b35*b29
        - 910*b36*b29 - 750*b37*b29 - 330*b38*b29 - 720*b39*b29 - 340*b40*b29
        - 320*b41*b29 - 70*b42*b29 - 870*b43*b29 - 640*b44*b29 - 70*b45*b29 - 
       740*b46*b29 - 540*b47*b29 - 580*b48*b29 - 970*b49*b29 - 890*b31*b30 - 
       120*b32*b30 - 830*b33*b30 - 790*b34*b30 - 390*b35*b30 - 70*b36*b30 - 890
       *b37*b30 - 890*b38*b30 - 980*b39*b30 - 270*b40*b30 - 190*b41*b30 - 60*
       b42*b30 - 600*b44*b30 - 130*b45*b30 - 760*b46*b30 - 650*b47*b30 - 560*
       b48*b30 - 510*b49*b30 - 500*b32*b31 - 280*b33*b31 - 370*b34*b31 - 340*
       b35*b31 - 870*b36*b31 - 240*b37*b31 - 980*b38*b31 - 470*b39*b31 - 500*
       b40*b31 - 50*b41*b31 - 570*b42*b31 - 480*b43*b31 - 940*b44*b31 - 210*b45
       *b31 - 310*b46*b31 - 250*b47*b31 - 120*b48*b31 - 380*b49*b31 - 150*b33*
       b32 - 20*b34*b32 - 890*b35*b32 - 940*b36*b32 - 210*b37*b32 - 950*b38*b32
        - 940*b39*b32 - 330*b40*b32 - 80*b41*b32 - 710*b42*b32 - 990*b43*b32 - 
       640*b44*b32 - 740*b45*b32 - 10*b46*b32 - 440*b47*b32 - 120*b48*b32 - 360
       *b49*b32 - 830*b34*b33 - 880*b35*b33 - 340*b36*b33 - 300*b37*b33 - 390*
       b38*b33 - 390*b39*b33 - 390*b40*b33 - 870*b41*b33 - 860*b42*b33 - 600*
       b43*b33 - 700*b44*b33 - 110*b45*b33 - 730*b46*b33 - 90*b47*b33 - 780*b48
       *b33 - 750*b49*b33 - 500*b35*b34 - 730*b36*b34 - 480*b37*b34 - 450*b38*
       b34 - 190*b39*b34 - 820*b40*b34 - 50*b41*b34 - 900*b42*b34 - 330*b43*b34
        - 210*b44*b34 - 170*b45*b34 - 340*b46*b34 - 650*b47*b34 - 810*b48*b34
        - 700*b49*b34 - 690*b37*b35 - 570*b38*b35 - 830*b39*b35 - 600*b40*b35
        - 960*b41*b35 - 220*b42*b35 - 990*b43*b35 - 340*b44*b35 - 830*b45*b35
        - 220*b46*b35 - 460*b47*b35 - 560*b48*b35 - 830*b49*b35 - 240*b37*b36
        - 830*b38*b36 - 330*b39*b36 - 490*b40*b36 - 310*b41*b36 - 300*b42*b36
        - 690*b43*b36 - 650*b44*b36 - 350*b45*b36 - 110*b46*b36 - 980*b47*b36
        - 560*b48*b36 - 800*b49*b36 - 850*b38*b37 - 730*b39*b37 - 610*b40*b37
        - 550*b41*b37 - 250*b42*b37 - 830*b43*b37 - 120*b44*b37 - 80*b45*b37 - 
       950*b46*b37 - 610*b47*b37 - 310*b48*b37 - 470*b49*b37 - 950*b39*b38 - 
       660*b40*b38 - 690*b41*b38 - 930*b42*b38 - 740*b43*b38 - 520*b44*b38 - 
       700*b45*b38 - 570*b46*b38 - 850*b47*b38 - 710*b48*b38 - 400*b49*b38 - 
       150*b40*b39 - 400*b41*b39 - 580*b42*b39 - 20*b43*b39 - 40*b44*b39 - 560*
       b45*b39 - 100*b46*b39 - 360*b47*b39 - 410*b48*b39 - 830*b49*b39 - 980*
       b41*b40 - 490*b42*b40 - 80*b43*b40 - 330*b44*b40 - 130*b45*b40 - 690*b46
       *b40 - 280*b47*b40 - 740*b48*b40 - 750*b42*b41 - 220*b43*b41 - 660*b44*
       b41 - 440*b45*b41 - 670*b46*b41 - 400*b47*b41 - 480*b48*b41 - 370*b49*
       b41 - 490*b43*b42 - 850*b44*b42 - 90*b45*b42 - 410*b46*b42 - 10*b48*b42
        - 990*b49*b42 - 540*b44*b43 - 570*b45*b43 - 80*b46*b43 - 640*b47*b43 - 
       940*b48*b43 - 10*b49*b43 - 470*b45*b44 - 440*b46*b44 - 500*b47*b44 - 80*
       b48*b44 - 770*b49*b44 - 640*b46*b45 - 770*b47*b45 - 570*b48*b45 - 900*
       b49*b45 - 290*b47*b46 - 850*b48*b46 - 640*b49*b46 - 470*b48*b47 - 810*
       b49*b47 - 320*b49*b48 =L= 0;

e304.. (-360*b51*b50) - 37735.8*b50 + 14830*b51 - 920*b52*b50 + 12860*b52 - 30*
       b53*b50 + 10930*b53 - 620*b54*b50 + 11920*b54 - 540*b55*b50 + 11280*b55
        - 210*b56*b50 + 12790*b56 - 850*b57*b50 + 12350*b57 - 690*b58*b50 + 
       13410*b58 - 700*b59*b50 + 12930*b59 - 200*b60*b50 + 12270*b60 - 750*b61*
       b50 + 15940*b61 - 800*b62*b50 + 12630*b62 - 120*b63*b50 + 10760*b63 - 
       820*b64*b50 + 12060*b64 - 100*b65*b50 + 11210*b65 - 990*b66*b50 + 12210*
       b66 - 40*b67*b50 + 11740*b67 - 130*b68*b50 + 9830*b68 - 840*b69*b50 + 
       12630*b69 - 980*b70*b50 + 12930*b70 - 270*b71*b50 + 12400*b71 - 810*b72*
       b50 + 14040*b72 - 590*b52*b51 - 470*b53*b51 - 830*b54*b51 - 530*b55*b51
        - 800*b56*b51 - 350*b58*b51 - 900*b59*b51 - 980*b60*b51 - 710*b61*b51
        - 830*b62*b51 - 540*b63*b51 - 860*b64*b51 - 890*b65*b51 - 270*b66*b51
        - 710*b67*b51 - 100*b68*b51 - 980*b69*b51 - 910*b70*b51 - 860*b71*b51
        - 300*b72*b51 - 550*b53*b52 - 200*b54*b52 - 400*b55*b52 - 70*b56*b52 - 
       760*b57*b52 - 530*b58*b52 - 910*b59*b52 - 750*b60*b52 - 330*b61*b52 - 
       720*b62*b52 - 340*b63*b52 - 320*b64*b52 - 70*b65*b52 - 870*b66*b52 - 640
       *b67*b52 - 70*b68*b52 - 740*b69*b52 - 540*b70*b52 - 580*b71*b52 - 970*
       b72*b52 - 890*b54*b53 - 120*b55*b53 - 830*b56*b53 - 790*b57*b53 - 390*
       b58*b53 - 70*b59*b53 - 890*b60*b53 - 890*b61*b53 - 980*b62*b53 - 270*b63
       *b53 - 190*b64*b53 - 60*b65*b53 - 600*b67*b53 - 130*b68*b53 - 760*b69*
       b53 - 650*b70*b53 - 560*b71*b53 - 510*b72*b53 - 500*b55*b54 - 280*b56*
       b54 - 370*b57*b54 - 340*b58*b54 - 870*b59*b54 - 240*b60*b54 - 980*b61*
       b54 - 470*b62*b54 - 500*b63*b54 - 50*b64*b54 - 570*b65*b54 - 480*b66*b54
        - 940*b67*b54 - 210*b68*b54 - 310*b69*b54 - 250*b70*b54 - 120*b71*b54
        - 380*b72*b54 - 150*b56*b55 - 20*b57*b55 - 890*b58*b55 - 940*b59*b55 - 
       210*b60*b55 - 950*b61*b55 - 940*b62*b55 - 330*b63*b55 - 80*b64*b55 - 710
       *b65*b55 - 990*b66*b55 - 640*b67*b55 - 740*b68*b55 - 10*b69*b55 - 440*
       b70*b55 - 120*b71*b55 - 360*b72*b55 - 830*b57*b56 - 880*b58*b56 - 340*
       b59*b56 - 300*b60*b56 - 390*b61*b56 - 390*b62*b56 - 390*b63*b56 - 870*
       b64*b56 - 860*b65*b56 - 600*b66*b56 - 700*b67*b56 - 110*b68*b56 - 730*
       b69*b56 - 90*b70*b56 - 780*b71*b56 - 750*b72*b56 - 500*b58*b57 - 730*b59
       *b57 - 480*b60*b57 - 450*b61*b57 - 190*b62*b57 - 820*b63*b57 - 50*b64*
       b57 - 900*b65*b57 - 330*b66*b57 - 210*b67*b57 - 170*b68*b57 - 340*b69*
       b57 - 650*b70*b57 - 810*b71*b57 - 700*b72*b57 - 690*b60*b58 - 570*b61*
       b58 - 830*b62*b58 - 600*b63*b58 - 960*b64*b58 - 220*b65*b58 - 990*b66*
       b58 - 340*b67*b58 - 830*b68*b58 - 220*b69*b58 - 460*b70*b58 - 560*b71*
       b58 - 830*b72*b58 - 240*b60*b59 - 830*b61*b59 - 330*b62*b59 - 490*b63*
       b59 - 310*b64*b59 - 300*b65*b59 - 690*b66*b59 - 650*b67*b59 - 350*b68*
       b59 - 110*b69*b59 - 980*b70*b59 - 560*b71*b59 - 800*b72*b59 - 850*b61*
       b60 - 730*b62*b60 - 610*b63*b60 - 550*b64*b60 - 250*b65*b60 - 830*b66*
       b60 - 120*b67*b60 - 80*b68*b60 - 950*b69*b60 - 610*b70*b60 - 310*b71*b60
        - 470*b72*b60 - 950*b62*b61 - 660*b63*b61 - 690*b64*b61 - 930*b65*b61
        - 740*b66*b61 - 520*b67*b61 - 700*b68*b61 - 570*b69*b61 - 850*b70*b61
        - 710*b71*b61 - 400*b72*b61 - 150*b63*b62 - 400*b64*b62 - 580*b65*b62
        - 20*b66*b62 - 40*b67*b62 - 560*b68*b62 - 100*b69*b62 - 360*b70*b62 - 
       410*b71*b62 - 830*b72*b62 - 980*b64*b63 - 490*b65*b63 - 80*b66*b63 - 330
       *b67*b63 - 130*b68*b63 - 690*b69*b63 - 280*b70*b63 - 740*b71*b63 - 750*
       b65*b64 - 220*b66*b64 - 660*b67*b64 - 440*b68*b64 - 670*b69*b64 - 400*
       b70*b64 - 480*b71*b64 - 370*b72*b64 - 490*b66*b65 - 850*b67*b65 - 90*b68
       *b65 - 410*b69*b65 - 10*b71*b65 - 990*b72*b65 - 540*b67*b66 - 570*b68*
       b66 - 80*b69*b66 - 640*b70*b66 - 940*b71*b66 - 10*b72*b66 - 470*b68*b67
        - 440*b69*b67 - 500*b70*b67 - 80*b71*b67 - 770*b72*b67 - 640*b69*b68 - 
       770*b70*b68 - 570*b71*b68 - 900*b72*b68 - 290*b70*b69 - 850*b71*b69 - 
       640*b72*b69 - 470*b71*b70 - 810*b72*b70 - 320*b72*b71 =L= 0;

e305.. (-590*b74*b73) - 36265.8*b73 + 12860*b74 - 470*b75*b73 + 10930*b75 - 830
       *b76*b73 + 11920*b76 - 530*b77*b73 + 11280*b77 - 800*b78*b73 + 12790*b78
        - 350*b79*b73 + 13410*b79 - 900*b80*b73 + 12930*b80 - 980*b81*b73 + 
       12270*b81 - 710*b82*b73 + 15940*b82 - 830*b83*b73 + 12630*b83 - 540*b84*
       b73 + 10760*b84 - 860*b85*b73 + 12060*b85 - 890*b86*b73 + 11210*b86 - 
       270*b87*b73 + 12210*b87 - 710*b88*b73 + 11740*b88 - 100*b89*b73 + 9830*
       b89 - 980*b90*b73 + 12630*b90 - 910*b91*b73 + 12930*b91 - 860*b92*b73 + 
       12400*b92 - 300*b93*b73 + 14040*b93 - 550*b75*b74 - 200*b76*b74 - 400*
       b77*b74 - 70*b78*b74 - 530*b79*b74 - 910*b80*b74 - 750*b81*b74 - 330*b82
       *b74 - 720*b83*b74 - 340*b84*b74 - 320*b85*b74 - 70*b86*b74 - 870*b87*
       b74 - 640*b88*b74 - 70*b89*b74 - 740*b90*b74 - 540*b91*b74 - 580*b92*b74
        - 970*b93*b74 - 760*b94*b74 + 12350*b94 - 890*b76*b75 - 120*b77*b75 - 
       830*b78*b75 - 390*b79*b75 - 70*b80*b75 - 890*b81*b75 - 890*b82*b75 - 980
       *b83*b75 - 270*b84*b75 - 190*b85*b75 - 60*b86*b75 - 600*b88*b75 - 130*
       b89*b75 - 760*b90*b75 - 650*b91*b75 - 560*b92*b75 - 510*b93*b75 - 790*
       b94*b75 - 500*b77*b76 - 280*b78*b76 - 340*b79*b76 - 870*b80*b76 - 240*
       b81*b76 - 980*b82*b76 - 470*b83*b76 - 500*b84*b76 - 50*b85*b76 - 570*b86
       *b76 - 480*b87*b76 - 940*b88*b76 - 210*b89*b76 - 310*b90*b76 - 250*b91*
       b76 - 120*b92*b76 - 380*b93*b76 - 370*b94*b76 - 150*b78*b77 - 890*b79*
       b77 - 940*b80*b77 - 210*b81*b77 - 950*b82*b77 - 940*b83*b77 - 330*b84*
       b77 - 80*b85*b77 - 710*b86*b77 - 990*b87*b77 - 640*b88*b77 - 740*b89*b77
        - 10*b90*b77 - 440*b91*b77 - 120*b92*b77 - 360*b93*b77 - 20*b94*b77 - 
       880*b79*b78 - 340*b80*b78 - 300*b81*b78 - 390*b82*b78 - 390*b83*b78 - 
       390*b84*b78 - 870*b85*b78 - 860*b86*b78 - 600*b87*b78 - 700*b88*b78 - 
       110*b89*b78 - 730*b90*b78 - 90*b91*b78 - 780*b92*b78 - 750*b93*b78 - 830
       *b94*b78 - 690*b81*b79 - 570*b82*b79 - 830*b83*b79 - 600*b84*b79 - 960*
       b85*b79 - 220*b86*b79 - 990*b87*b79 - 340*b88*b79 - 830*b89*b79 - 220*
       b90*b79 - 460*b91*b79 - 560*b92*b79 - 830*b93*b79 - 500*b94*b79 - 240*
       b81*b80 - 830*b82*b80 - 330*b83*b80 - 490*b84*b80 - 310*b85*b80 - 300*
       b86*b80 - 690*b87*b80 - 650*b88*b80 - 350*b89*b80 - 110*b90*b80 - 980*
       b91*b80 - 560*b92*b80 - 800*b93*b80 - 730*b94*b80 - 850*b82*b81 - 730*
       b83*b81 - 610*b84*b81 - 550*b85*b81 - 250*b86*b81 - 830*b87*b81 - 120*
       b88*b81 - 80*b89*b81 - 950*b90*b81 - 610*b91*b81 - 310*b92*b81 - 470*b93
       *b81 - 480*b94*b81 - 950*b83*b82 - 660*b84*b82 - 690*b85*b82 - 930*b86*
       b82 - 740*b87*b82 - 520*b88*b82 - 700*b89*b82 - 570*b90*b82 - 850*b91*
       b82 - 710*b92*b82 - 400*b93*b82 - 450*b94*b82 - 150*b84*b83 - 400*b85*
       b83 - 580*b86*b83 - 20*b87*b83 - 40*b88*b83 - 560*b89*b83 - 100*b90*b83
        - 360*b91*b83 - 410*b92*b83 - 830*b93*b83 - 190*b94*b83 - 980*b85*b84
        - 490*b86*b84 - 80*b87*b84 - 330*b88*b84 - 130*b89*b84 - 690*b90*b84 - 
       280*b91*b84 - 740*b92*b84 - 820*b94*b84 - 750*b86*b85 - 220*b87*b85 - 
       660*b88*b85 - 440*b89*b85 - 670*b90*b85 - 400*b91*b85 - 480*b92*b85 - 
       370*b93*b85 - 50*b94*b85 - 490*b87*b86 - 850*b88*b86 - 90*b89*b86 - 410*
       b90*b86 - 10*b92*b86 - 990*b93*b86 - 900*b94*b86 - 540*b88*b87 - 570*b89
       *b87 - 80*b90*b87 - 640*b91*b87 - 940*b92*b87 - 10*b93*b87 - 330*b94*b87
        - 470*b89*b88 - 440*b90*b88 - 500*b91*b88 - 80*b92*b88 - 770*b93*b88 - 
       210*b94*b88 - 640*b90*b89 - 770*b91*b89 - 570*b92*b89 - 900*b93*b89 - 
       170*b94*b89 - 290*b91*b90 - 850*b92*b90 - 640*b93*b90 - 340*b94*b90 - 
       470*b92*b91 - 810*b93*b91 - 650*b94*b91 - 320*b93*b92 - 810*b94*b92 - 
       700*b94*b93 =L= 0;

e306.. (-550*b96*b95) - 38235.8*b95 + 10930*b96 - 200*b97*b95 + 11920*b97 - 400
       *b98*b95 + 11280*b98 - 70*b99*b95 + 12790*b99 - 760*b100*b95 + 12350*
       b100 - 530*b101*b95 + 13410*b101 - 910*b102*b95 + 12930*b102 - 750*b103*
       b95 + 12270*b103 - 330*b104*b95 + 15940*b104 - 720*b105*b95 + 12630*b105
        - 340*b106*b95 + 10760*b106 - 320*b107*b95 + 12060*b107 - 70*b108*b95
        + 11210*b108 - 870*b109*b95 + 12210*b109 - 640*b110*b95 + 11740*b110 - 
       70*b111*b95 + 9830*b111 - 740*b112*b95 + 12630*b112 - 540*b113*b95 + 
       12930*b113 - 580*b114*b95 + 12400*b114 - 970*b115*b95 + 14040*b115 - 890
       *b97*b96 - 120*b98*b96 - 830*b99*b96 - 790*b100*b96 - 390*b101*b96 - 70*
       b102*b96 - 890*b103*b96 - 890*b104*b96 - 980*b105*b96 - 270*b106*b96 - 
       190*b107*b96 - 60*b108*b96 - 600*b110*b96 - 130*b111*b96 - 760*b112*b96
        - 650*b113*b96 - 560*b114*b96 - 510*b115*b96 - 500*b98*b97 - 280*b99*
       b97 - 370*b100*b97 - 340*b101*b97 - 870*b102*b97 - 240*b103*b97 - 980*
       b104*b97 - 470*b105*b97 - 500*b106*b97 - 50*b107*b97 - 570*b108*b97 - 
       480*b109*b97 - 940*b110*b97 - 210*b111*b97 - 310*b112*b97 - 250*b113*b97
        - 120*b114*b97 - 380*b115*b97 - 150*b99*b98 - 20*b100*b98 - 890*b101*
       b98 - 940*b102*b98 - 210*b103*b98 - 950*b104*b98 - 940*b105*b98 - 330*
       b106*b98 - 80*b107*b98 - 710*b108*b98 - 990*b109*b98 - 640*b110*b98 - 
       740*b111*b98 - 10*b112*b98 - 440*b113*b98 - 120*b114*b98 - 360*b115*b98
        - 830*b100*b99 - 880*b101*b99 - 340*b102*b99 - 300*b103*b99 - 390*b104*
       b99 - 390*b105*b99 - 390*b106*b99 - 870*b107*b99 - 860*b108*b99 - 600*
       b109*b99 - 700*b110*b99 - 110*b111*b99 - 730*b112*b99 - 90*b113*b99 - 
       780*b114*b99 - 750*b115*b99 - 500*b101*b100 - 730*b102*b100 - 480*b103*
       b100 - 450*b104*b100 - 190*b105*b100 - 820*b106*b100 - 50*b107*b100 - 
       900*b108*b100 - 330*b109*b100 - 210*b110*b100 - 170*b111*b100 - 340*b112
       *b100 - 650*b113*b100 - 810*b114*b100 - 700*b115*b100 - 690*b103*b101 - 
       570*b104*b101 - 830*b105*b101 - 600*b106*b101 - 960*b107*b101 - 220*b108
       *b101 - 990*b109*b101 - 340*b110*b101 - 830*b111*b101 - 220*b112*b101 - 
       460*b113*b101 - 560*b114*b101 - 830*b115*b101 - 240*b103*b102 - 830*b104
       *b102 - 330*b105*b102 - 490*b106*b102 - 310*b107*b102 - 300*b108*b102 - 
       690*b109*b102 - 650*b110*b102 - 350*b111*b102 - 110*b112*b102 - 980*b113
       *b102 - 560*b114*b102 - 800*b115*b102 - 850*b104*b103 - 730*b105*b103 - 
       610*b106*b103 - 550*b107*b103 - 250*b108*b103 - 830*b109*b103 - 120*b110
       *b103 - 80*b111*b103 - 950*b112*b103 - 610*b113*b103 - 310*b114*b103 - 
       470*b115*b103 - 950*b105*b104 - 660*b106*b104 - 690*b107*b104 - 930*b108
       *b104 - 740*b109*b104 - 520*b110*b104 - 700*b111*b104 - 570*b112*b104 - 
       850*b113*b104 - 710*b114*b104 - 400*b115*b104 - 150*b106*b105 - 400*b107
       *b105 - 580*b108*b105 - 20*b109*b105 - 40*b110*b105 - 560*b111*b105 - 
       100*b112*b105 - 360*b113*b105 - 410*b114*b105 - 830*b115*b105 - 980*b107
       *b106 - 490*b108*b106 - 80*b109*b106 - 330*b110*b106 - 130*b111*b106 - 
       690*b112*b106 - 280*b113*b106 - 740*b114*b106 - 750*b108*b107 - 220*b109
       *b107 - 660*b110*b107 - 440*b111*b107 - 670*b112*b107 - 400*b113*b107 - 
       480*b114*b107 - 370*b115*b107 - 490*b109*b108 - 850*b110*b108 - 90*b111*
       b108 - 410*b112*b108 - 10*b114*b108 - 990*b115*b108 - 540*b110*b109 - 
       570*b111*b109 - 80*b112*b109 - 640*b113*b109 - 940*b114*b109 - 10*b115*
       b109 - 470*b111*b110 - 440*b112*b110 - 500*b113*b110 - 80*b114*b110 - 
       770*b115*b110 - 640*b112*b111 - 770*b113*b111 - 570*b114*b111 - 900*b115
       *b111 - 290*b113*b112 - 850*b114*b112 - 640*b115*b112 - 470*b114*b113 - 
       810*b115*b113 - 320*b115*b114 =L= 0;

e307.. (-890*b117*b116) - 40165.8*b116 + 11920*b117 - 120*b118*b116 + 11280*
       b118 - 830*b119*b116 + 12790*b119 - 790*b120*b116 + 12350*b120 - 390*
       b121*b116 + 13410*b121 - 70*b122*b116 + 12930*b122 - 890*b123*b116 + 
       12270*b123 - 890*b124*b116 + 15940*b124 - 980*b125*b116 + 12630*b125 - 
       270*b126*b116 + 10760*b126 - 190*b127*b116 + 12060*b127 - 60*b128*b116
        + 11210*b128 - 600*b129*b116 + 11740*b129 - 130*b130*b116 + 9830*b130
        - 760*b131*b116 + 12630*b131 - 650*b132*b116 + 12930*b132 - 560*b133*
       b116 + 12400*b133 - 510*b134*b116 + 14040*b134 - 500*b118*b117 - 280*
       b119*b117 - 370*b120*b117 - 340*b121*b117 - 870*b122*b117 - 240*b123*
       b117 - 980*b124*b117 - 470*b125*b117 - 500*b126*b117 - 50*b127*b117 - 
       570*b128*b117 - 940*b129*b117 - 210*b130*b117 - 310*b131*b117 - 250*b132
       *b117 - 120*b133*b117 - 380*b134*b117 - 480*b135*b117 + 12210*b135 - 150
       *b119*b118 - 20*b120*b118 - 890*b121*b118 - 940*b122*b118 - 210*b123*
       b118 - 950*b124*b118 - 940*b125*b118 - 330*b126*b118 - 80*b127*b118 - 
       710*b128*b118 - 640*b129*b118 - 740*b130*b118 - 10*b131*b118 - 440*b132*
       b118 - 120*b133*b118 - 360*b134*b118 - 990*b135*b118 - 830*b120*b119 - 
       880*b121*b119 - 340*b122*b119 - 300*b123*b119 - 390*b124*b119 - 390*b125
       *b119 - 390*b126*b119 - 870*b127*b119 - 860*b128*b119 - 700*b129*b119 - 
       110*b130*b119 - 730*b131*b119 - 90*b132*b119 - 780*b133*b119 - 750*b134*
       b119 - 600*b135*b119 - 500*b121*b120 - 730*b122*b120 - 480*b123*b120 - 
       450*b124*b120 - 190*b125*b120 - 820*b126*b120 - 50*b127*b120 - 900*b128*
       b120 - 210*b129*b120 - 170*b130*b120 - 340*b131*b120 - 650*b132*b120 - 
       810*b133*b120 - 700*b134*b120 - 330*b135*b120 - 690*b123*b121 - 570*b124
       *b121 - 830*b125*b121 - 600*b126*b121 - 960*b127*b121 - 220*b128*b121 - 
       340*b129*b121 - 830*b130*b121 - 220*b131*b121 - 460*b132*b121 - 560*b133
       *b121 - 830*b134*b121 - 990*b135*b121 - 240*b123*b122 - 830*b124*b122 - 
       330*b125*b122 - 490*b126*b122 - 310*b127*b122 - 300*b128*b122 - 650*b129
       *b122 - 350*b130*b122 - 110*b131*b122 - 980*b132*b122 - 560*b133*b122 - 
       800*b134*b122 - 690*b135*b122 - 850*b124*b123 - 730*b125*b123 - 610*b126
       *b123 - 550*b127*b123 - 250*b128*b123 - 120*b129*b123 - 80*b130*b123 - 
       950*b131*b123 - 610*b132*b123 - 310*b133*b123 - 470*b134*b123 - 830*b135
       *b123 - 950*b125*b124 - 660*b126*b124 - 690*b127*b124 - 930*b128*b124 - 
       520*b129*b124 - 700*b130*b124 - 570*b131*b124 - 850*b132*b124 - 710*b133
       *b124 - 400*b134*b124 - 740*b135*b124 - 150*b126*b125 - 400*b127*b125 - 
       580*b128*b125 - 40*b129*b125 - 560*b130*b125 - 100*b131*b125 - 360*b132*
       b125 - 410*b133*b125 - 830*b134*b125 - 20*b135*b125 - 980*b127*b126 - 
       490*b128*b126 - 330*b129*b126 - 130*b130*b126 - 690*b131*b126 - 280*b132
       *b126 - 740*b133*b126 - 80*b135*b126 - 750*b128*b127 - 660*b129*b127 - 
       440*b130*b127 - 670*b131*b127 - 400*b132*b127 - 480*b133*b127 - 370*b134
       *b127 - 220*b135*b127 - 850*b129*b128 - 90*b130*b128 - 410*b131*b128 - 
       10*b133*b128 - 990*b134*b128 - 490*b135*b128 - 470*b130*b129 - 440*b131*
       b129 - 500*b132*b129 - 80*b133*b129 - 770*b134*b129 - 540*b135*b129 - 
       640*b131*b130 - 770*b132*b130 - 570*b133*b130 - 900*b134*b130 - 570*b135
       *b130 - 290*b132*b131 - 850*b133*b131 - 640*b134*b131 - 80*b135*b131 - 
       470*b133*b132 - 810*b134*b132 - 640*b135*b132 - 320*b134*b133 - 940*b135
       *b133 - 10*b135*b134 =L= 0;

e308.. (-500*b137*b136) - 39175.8*b136 + 11280*b137 - 280*b138*b136 + 12790*
       b138 - 370*b139*b136 + 12350*b139 - 340*b140*b136 + 13410*b140 - 870*
       b141*b136 + 12930*b141 - 240*b142*b136 + 12270*b142 - 980*b143*b136 + 
       15940*b143 - 470*b144*b136 + 12630*b144 - 500*b145*b136 + 10760*b145 - 
       50*b146*b136 + 12060*b146 - 570*b147*b136 + 11210*b147 - 480*b148*b136
        + 12210*b148 - 940*b149*b136 + 11740*b149 - 210*b150*b136 + 9830*b150
        - 310*b151*b136 + 12630*b151 - 250*b152*b136 + 12930*b152 - 120*b153*
       b136 + 12400*b153 - 380*b154*b136 + 14040*b154 - 150*b138*b137 - 20*b139
       *b137 - 890*b140*b137 - 940*b141*b137 - 210*b142*b137 - 950*b143*b137 - 
       940*b144*b137 - 330*b145*b137 - 80*b146*b137 - 710*b147*b137 - 990*b148*
       b137 - 640*b149*b137 - 740*b150*b137 - 10*b151*b137 - 440*b152*b137 - 
       120*b153*b137 - 360*b154*b137 - 830*b139*b138 - 880*b140*b138 - 340*b141
       *b138 - 300*b142*b138 - 390*b143*b138 - 390*b144*b138 - 390*b145*b138 - 
       870*b146*b138 - 860*b147*b138 - 600*b148*b138 - 700*b149*b138 - 110*b150
       *b138 - 730*b151*b138 - 90*b152*b138 - 780*b153*b138 - 750*b154*b138 - 
       500*b140*b139 - 730*b141*b139 - 480*b142*b139 - 450*b143*b139 - 190*b144
       *b139 - 820*b145*b139 - 50*b146*b139 - 900*b147*b139 - 330*b148*b139 - 
       210*b149*b139 - 170*b150*b139 - 340*b151*b139 - 650*b152*b139 - 810*b153
       *b139 - 700*b154*b139 - 690*b142*b140 - 570*b143*b140 - 830*b144*b140 - 
       600*b145*b140 - 960*b146*b140 - 220*b147*b140 - 990*b148*b140 - 340*b149
       *b140 - 830*b150*b140 - 220*b151*b140 - 460*b152*b140 - 560*b153*b140 - 
       830*b154*b140 - 240*b142*b141 - 830*b143*b141 - 330*b144*b141 - 490*b145
       *b141 - 310*b146*b141 - 300*b147*b141 - 690*b148*b141 - 650*b149*b141 - 
       350*b150*b141 - 110*b151*b141 - 980*b152*b141 - 560*b153*b141 - 800*b154
       *b141 - 850*b143*b142 - 730*b144*b142 - 610*b145*b142 - 550*b146*b142 - 
       250*b147*b142 - 830*b148*b142 - 120*b149*b142 - 80*b150*b142 - 950*b151*
       b142 - 610*b152*b142 - 310*b153*b142 - 470*b154*b142 - 950*b144*b143 - 
       660*b145*b143 - 690*b146*b143 - 930*b147*b143 - 740*b148*b143 - 520*b149
       *b143 - 700*b150*b143 - 570*b151*b143 - 850*b152*b143 - 710*b153*b143 - 
       400*b154*b143 - 150*b145*b144 - 400*b146*b144 - 580*b147*b144 - 20*b148*
       b144 - 40*b149*b144 - 560*b150*b144 - 100*b151*b144 - 360*b152*b144 - 
       410*b153*b144 - 830*b154*b144 - 980*b146*b145 - 490*b147*b145 - 80*b148*
       b145 - 330*b149*b145 - 130*b150*b145 - 690*b151*b145 - 280*b152*b145 - 
       740*b153*b145 - 750*b147*b146 - 220*b148*b146 - 660*b149*b146 - 440*b150
       *b146 - 670*b151*b146 - 400*b152*b146 - 480*b153*b146 - 370*b154*b146 - 
       490*b148*b147 - 850*b149*b147 - 90*b150*b147 - 410*b151*b147 - 10*b153*
       b147 - 990*b154*b147 - 540*b149*b148 - 570*b150*b148 - 80*b151*b148 - 
       640*b152*b148 - 940*b153*b148 - 10*b154*b148 - 470*b150*b149 - 440*b151*
       b149 - 500*b152*b149 - 80*b153*b149 - 770*b154*b149 - 640*b151*b150 - 
       770*b152*b150 - 570*b153*b150 - 900*b154*b150 - 290*b152*b151 - 850*b153
       *b151 - 640*b154*b151 - 470*b153*b152 - 810*b154*b152 - 320*b154*b153
        =L= 0;

e309.. (-150*b156*b155) - 39815.8*b155 + 12790*b156 - 20*b157*b155 + 12350*b157
        - 890*b158*b155 + 13410*b158 - 940*b159*b155 + 12930*b159 - 210*b160*
       b155 + 12270*b160 - 950*b161*b155 + 15940*b161 - 940*b162*b155 + 12630*
       b162 - 330*b163*b155 + 10760*b163 - 80*b164*b155 + 12060*b164 - 710*b165
       *b155 + 11210*b165 - 990*b166*b155 + 12210*b166 - 640*b167*b155 + 11740*
       b167 - 740*b168*b155 + 9830*b168 - 10*b169*b155 + 12630*b169 - 440*b170*
       b155 + 12930*b170 - 120*b171*b155 + 12400*b171 - 360*b172*b155 + 14040*
       b172 - 830*b157*b156 - 880*b158*b156 - 340*b159*b156 - 300*b160*b156 - 
       390*b161*b156 - 390*b162*b156 - 390*b163*b156 - 870*b164*b156 - 860*b165
       *b156 - 600*b166*b156 - 700*b167*b156 - 110*b168*b156 - 730*b169*b156 - 
       90*b170*b156 - 780*b171*b156 - 750*b172*b156 - 500*b158*b157 - 730*b159*
       b157 - 480*b160*b157 - 450*b161*b157 - 190*b162*b157 - 820*b163*b157 - 
       50*b164*b157 - 900*b165*b157 - 330*b166*b157 - 210*b167*b157 - 170*b168*
       b157 - 340*b169*b157 - 650*b170*b157 - 810*b171*b157 - 700*b172*b157 - 
       690*b160*b158 - 570*b161*b158 - 830*b162*b158 - 600*b163*b158 - 960*b164
       *b158 - 220*b165*b158 - 990*b166*b158 - 340*b167*b158 - 830*b168*b158 - 
       220*b169*b158 - 460*b170*b158 - 560*b171*b158 - 830*b172*b158 - 240*b160
       *b159 - 830*b161*b159 - 330*b162*b159 - 490*b163*b159 - 310*b164*b159 - 
       300*b165*b159 - 690*b166*b159 - 650*b167*b159 - 350*b168*b159 - 110*b169
       *b159 - 980*b170*b159 - 560*b171*b159 - 800*b172*b159 - 850*b161*b160 - 
       730*b162*b160 - 610*b163*b160 - 550*b164*b160 - 250*b165*b160 - 830*b166
       *b160 - 120*b167*b160 - 80*b168*b160 - 950*b169*b160 - 610*b170*b160 - 
       310*b171*b160 - 470*b172*b160 - 950*b162*b161 - 660*b163*b161 - 690*b164
       *b161 - 930*b165*b161 - 740*b166*b161 - 520*b167*b161 - 700*b168*b161 - 
       570*b169*b161 - 850*b170*b161 - 710*b171*b161 - 400*b172*b161 - 150*b163
       *b162 - 400*b164*b162 - 580*b165*b162 - 20*b166*b162 - 40*b167*b162 - 
       560*b168*b162 - 100*b169*b162 - 360*b170*b162 - 410*b171*b162 - 830*b172
       *b162 - 980*b164*b163 - 490*b165*b163 - 80*b166*b163 - 330*b167*b163 - 
       130*b168*b163 - 690*b169*b163 - 280*b170*b163 - 740*b171*b163 - 750*b165
       *b164 - 220*b166*b164 - 660*b167*b164 - 440*b168*b164 - 670*b169*b164 - 
       400*b170*b164 - 480*b171*b164 - 370*b172*b164 - 490*b166*b165 - 850*b167
       *b165 - 90*b168*b165 - 410*b169*b165 - 10*b171*b165 - 990*b172*b165 - 
       540*b167*b166 - 570*b168*b166 - 80*b169*b166 - 640*b170*b166 - 940*b171*
       b166 - 10*b172*b166 - 470*b168*b167 - 440*b169*b167 - 500*b170*b167 - 80
       *b171*b167 - 770*b172*b167 - 640*b169*b168 - 770*b170*b168 - 570*b171*
       b168 - 900*b172*b168 - 290*b170*b169 - 850*b171*b169 - 640*b172*b169 - 
       470*b171*b170 - 810*b172*b170 - 320*b172*b171 =L= 0;

e310.. (-830*b174*b173) - 38305.8*b173 + 12350*b174 - 880*b175*b173 + 13410*
       b175 - 340*b176*b173 + 12930*b176 - 300*b177*b173 + 12270*b177 - 390*
       b178*b173 + 15940*b178 - 390*b179*b173 + 12630*b179 - 390*b180*b173 + 
       10760*b180 - 870*b181*b173 + 12060*b181 - 860*b182*b173 + 11210*b182 - 
       600*b183*b173 + 12210*b183 - 700*b184*b173 + 11740*b184 - 110*b185*b173
        + 9830*b185 - 730*b186*b173 + 12630*b186 - 90*b187*b173 + 12930*b187 - 
       780*b188*b173 + 12400*b188 - 750*b189*b173 + 14040*b189 - 500*b175*b174
        - 730*b176*b174 - 480*b177*b174 - 450*b178*b174 - 190*b179*b174 - 820*
       b180*b174 - 50*b181*b174 - 900*b182*b174 - 330*b183*b174 - 210*b184*b174
        - 170*b185*b174 - 340*b186*b174 - 650*b187*b174 - 810*b188*b174 - 700*
       b189*b174 - 690*b177*b175 - 570*b178*b175 - 830*b179*b175 - 600*b180*
       b175 - 960*b181*b175 - 220*b182*b175 - 990*b183*b175 - 340*b184*b175 - 
       830*b185*b175 - 220*b186*b175 - 460*b187*b175 - 560*b188*b175 - 830*b189
       *b175 - 240*b177*b176 - 830*b178*b176 - 330*b179*b176 - 490*b180*b176 - 
       310*b181*b176 - 300*b182*b176 - 690*b183*b176 - 650*b184*b176 - 350*b185
       *b176 - 110*b186*b176 - 980*b187*b176 - 560*b188*b176 - 800*b189*b176 - 
       850*b178*b177 - 730*b179*b177 - 610*b180*b177 - 550*b181*b177 - 250*b182
       *b177 - 830*b183*b177 - 120*b184*b177 - 80*b185*b177 - 950*b186*b177 - 
       610*b187*b177 - 310*b188*b177 - 470*b189*b177 - 950*b179*b178 - 660*b180
       *b178 - 690*b181*b178 - 930*b182*b178 - 740*b183*b178 - 520*b184*b178 - 
       700*b185*b178 - 570*b186*b178 - 850*b187*b178 - 710*b188*b178 - 400*b189
       *b178 - 150*b180*b179 - 400*b181*b179 - 580*b182*b179 - 20*b183*b179 - 
       40*b184*b179 - 560*b185*b179 - 100*b186*b179 - 360*b187*b179 - 410*b188*
       b179 - 830*b189*b179 - 980*b181*b180 - 490*b182*b180 - 80*b183*b180 - 
       330*b184*b180 - 130*b185*b180 - 690*b186*b180 - 280*b187*b180 - 740*b188
       *b180 - 750*b182*b181 - 220*b183*b181 - 660*b184*b181 - 440*b185*b181 - 
       670*b186*b181 - 400*b187*b181 - 480*b188*b181 - 370*b189*b181 - 490*b183
       *b182 - 850*b184*b182 - 90*b185*b182 - 410*b186*b182 - 10*b188*b182 - 
       990*b189*b182 - 540*b184*b183 - 570*b185*b183 - 80*b186*b183 - 640*b187*
       b183 - 940*b188*b183 - 10*b189*b183 - 470*b185*b184 - 440*b186*b184 - 
       500*b187*b184 - 80*b188*b184 - 770*b189*b184 - 640*b186*b185 - 770*b187*
       b185 - 570*b188*b185 - 900*b189*b185 - 290*b187*b186 - 850*b188*b186 - 
       640*b189*b186 - 470*b188*b187 - 810*b189*b187 - 320*b189*b188 =L= 0;

e311.. (-500*b191*b190) - 38745.8*b190 + 13410*b191 - 730*b192*b190 + 12930*
       b192 - 480*b193*b190 + 12270*b193 - 450*b194*b190 + 15940*b194 - 190*
       b195*b190 + 12630*b195 - 820*b196*b190 + 10760*b196 - 50*b197*b190 + 
       12060*b197 - 900*b198*b190 + 11210*b198 - 330*b199*b190 + 12210*b199 - 
       210*b200*b190 + 11740*b200 - 170*b201*b190 + 9830*b201 - 340*b202*b190
        + 12630*b202 - 650*b203*b190 + 12930*b203 - 810*b204*b190 + 12400*b204
        - 700*b205*b190 + 14040*b205 - 690*b193*b191 - 570*b194*b191 - 830*b195
       *b191 - 600*b196*b191 - 960*b197*b191 - 220*b198*b191 - 990*b199*b191 - 
       340*b200*b191 - 830*b201*b191 - 220*b202*b191 - 460*b203*b191 - 560*b204
       *b191 - 830*b205*b191 - 240*b193*b192 - 830*b194*b192 - 330*b195*b192 - 
       490*b196*b192 - 310*b197*b192 - 300*b198*b192 - 690*b199*b192 - 650*b200
       *b192 - 350*b201*b192 - 110*b202*b192 - 980*b203*b192 - 560*b204*b192 - 
       800*b205*b192 - 850*b194*b193 - 730*b195*b193 - 610*b196*b193 - 550*b197
       *b193 - 250*b198*b193 - 830*b199*b193 - 120*b200*b193 - 80*b201*b193 - 
       950*b202*b193 - 610*b203*b193 - 310*b204*b193 - 470*b205*b193 - 950*b195
       *b194 - 660*b196*b194 - 690*b197*b194 - 930*b198*b194 - 740*b199*b194 - 
       520*b200*b194 - 700*b201*b194 - 570*b202*b194 - 850*b203*b194 - 710*b204
       *b194 - 400*b205*b194 - 150*b196*b195 - 400*b197*b195 - 580*b198*b195 - 
       20*b199*b195 - 40*b200*b195 - 560*b201*b195 - 100*b202*b195 - 360*b203*
       b195 - 410*b204*b195 - 830*b205*b195 - 980*b197*b196 - 490*b198*b196 - 
       80*b199*b196 - 330*b200*b196 - 130*b201*b196 - 690*b202*b196 - 280*b203*
       b196 - 740*b204*b196 - 750*b198*b197 - 220*b199*b197 - 660*b200*b197 - 
       440*b201*b197 - 670*b202*b197 - 400*b203*b197 - 480*b204*b197 - 370*b205
       *b197 - 490*b199*b198 - 850*b200*b198 - 90*b201*b198 - 410*b202*b198 - 
       10*b204*b198 - 990*b205*b198 - 540*b200*b199 - 570*b201*b199 - 80*b202*
       b199 - 640*b203*b199 - 940*b204*b199 - 10*b205*b199 - 470*b201*b200 - 
       440*b202*b200 - 500*b203*b200 - 80*b204*b200 - 770*b205*b200 - 640*b202*
       b201 - 770*b203*b201 - 570*b204*b201 - 900*b205*b201 - 290*b203*b202 - 
       850*b204*b202 - 640*b205*b202 - 470*b204*b203 - 810*b205*b203 - 320*b205
       *b204 =L= 0;

e312.. (-690*b207*b206) - 37685.8*b206 + 12270*b207 - 570*b208*b206 + 15940*
       b208 - 830*b209*b206 + 12630*b209 - 600*b210*b206 + 10760*b210 - 960*
       b211*b206 + 12060*b211 - 220*b212*b206 + 11210*b212 - 990*b213*b206 + 
       12210*b213 - 340*b214*b206 + 11740*b214 - 830*b215*b206 + 9830*b215 - 
       220*b216*b206 + 12630*b216 - 460*b217*b206 + 12930*b217 - 560*b218*b206
        + 12400*b218 - 830*b219*b206 + 14040*b219 - 850*b208*b207 - 730*b209*
       b207 - 610*b210*b207 - 550*b211*b207 - 250*b212*b207 - 830*b213*b207 - 
       120*b214*b207 - 80*b215*b207 - 950*b216*b207 - 610*b217*b207 - 310*b218*
       b207 - 470*b219*b207 - 240*b220*b207 + 12930*b220 - 950*b209*b208 - 660*
       b210*b208 - 690*b211*b208 - 930*b212*b208 - 740*b213*b208 - 520*b214*
       b208 - 700*b215*b208 - 570*b216*b208 - 850*b217*b208 - 710*b218*b208 - 
       400*b219*b208 - 830*b220*b208 - 150*b210*b209 - 400*b211*b209 - 580*b212
       *b209 - 20*b213*b209 - 40*b214*b209 - 560*b215*b209 - 100*b216*b209 - 
       360*b217*b209 - 410*b218*b209 - 830*b219*b209 - 330*b220*b209 - 980*b211
       *b210 - 490*b212*b210 - 80*b213*b210 - 330*b214*b210 - 130*b215*b210 - 
       690*b216*b210 - 280*b217*b210 - 740*b218*b210 - 490*b220*b210 - 750*b212
       *b211 - 220*b213*b211 - 660*b214*b211 - 440*b215*b211 - 670*b216*b211 - 
       400*b217*b211 - 480*b218*b211 - 370*b219*b211 - 310*b220*b211 - 490*b213
       *b212 - 850*b214*b212 - 90*b215*b212 - 410*b216*b212 - 10*b218*b212 - 
       990*b219*b212 - 300*b220*b212 - 540*b214*b213 - 570*b215*b213 - 80*b216*
       b213 - 640*b217*b213 - 940*b218*b213 - 10*b219*b213 - 690*b220*b213 - 
       470*b215*b214 - 440*b216*b214 - 500*b217*b214 - 80*b218*b214 - 770*b219*
       b214 - 650*b220*b214 - 640*b216*b215 - 770*b217*b215 - 570*b218*b215 - 
       900*b219*b215 - 350*b220*b215 - 290*b217*b216 - 850*b218*b216 - 640*b219
       *b216 - 110*b220*b216 - 470*b218*b217 - 810*b219*b217 - 980*b220*b217 - 
       320*b219*b218 - 560*b220*b218 - 800*b220*b219 =L= 0;

e313.. (-240*b222*b221) - 38165.8*b221 + 12270*b222 - 830*b223*b221 + 15940*
       b223 - 330*b224*b221 + 12630*b224 - 490*b225*b221 + 10760*b225 - 310*
       b226*b221 + 12060*b226 - 300*b227*b221 + 11210*b227 - 690*b228*b221 + 
       12210*b228 - 650*b229*b221 + 11740*b229 - 350*b230*b221 + 9830*b230 - 
       110*b231*b221 + 12630*b231 - 980*b232*b221 + 12930*b232 - 560*b233*b221
        + 12400*b233 - 800*b234*b221 + 14040*b234 - 850*b223*b222 - 730*b224*
       b222 - 610*b225*b222 - 550*b226*b222 - 250*b227*b222 - 830*b228*b222 - 
       120*b229*b222 - 80*b230*b222 - 950*b231*b222 - 610*b232*b222 - 310*b233*
       b222 - 470*b234*b222 - 950*b224*b223 - 660*b225*b223 - 690*b226*b223 - 
       930*b227*b223 - 740*b228*b223 - 520*b229*b223 - 700*b230*b223 - 570*b231
       *b223 - 850*b232*b223 - 710*b233*b223 - 400*b234*b223 - 150*b225*b224 - 
       400*b226*b224 - 580*b227*b224 - 20*b228*b224 - 40*b229*b224 - 560*b230*
       b224 - 100*b231*b224 - 360*b232*b224 - 410*b233*b224 - 830*b234*b224 - 
       980*b226*b225 - 490*b227*b225 - 80*b228*b225 - 330*b229*b225 - 130*b230*
       b225 - 690*b231*b225 - 280*b232*b225 - 740*b233*b225 - 750*b227*b226 - 
       220*b228*b226 - 660*b229*b226 - 440*b230*b226 - 670*b231*b226 - 400*b232
       *b226 - 480*b233*b226 - 370*b234*b226 - 490*b228*b227 - 850*b229*b227 - 
       90*b230*b227 - 410*b231*b227 - 10*b233*b227 - 990*b234*b227 - 540*b229*
       b228 - 570*b230*b228 - 80*b231*b228 - 640*b232*b228 - 940*b233*b228 - 10
       *b234*b228 - 470*b230*b229 - 440*b231*b229 - 500*b232*b229 - 80*b233*
       b229 - 770*b234*b229 - 640*b231*b230 - 770*b232*b230 - 570*b233*b230 - 
       900*b234*b230 - 290*b232*b231 - 850*b233*b231 - 640*b234*b231 - 470*b233
       *b232 - 810*b234*b232 - 320*b234*b233 =L= 0;

e314.. (-850*b236*b235) - 38825.8*b235 + 15940*b236 - 730*b237*b235 + 12630*
       b237 - 610*b238*b235 + 10760*b238 - 550*b239*b235 + 12060*b239 - 250*
       b240*b235 + 11210*b240 - 830*b241*b235 + 12210*b241 - 120*b242*b235 + 
       11740*b242 - 80*b243*b235 + 9830*b243 - 950*b244*b235 + 12630*b244 - 610
       *b245*b235 + 12930*b245 - 310*b246*b235 + 12400*b246 - 470*b247*b235 + 
       14040*b247 - 950*b237*b236 - 660*b238*b236 - 690*b239*b236 - 930*b240*
       b236 - 740*b241*b236 - 520*b242*b236 - 700*b243*b236 - 570*b244*b236 - 
       850*b245*b236 - 710*b246*b236 - 400*b247*b236 - 150*b238*b237 - 400*b239
       *b237 - 580*b240*b237 - 20*b241*b237 - 40*b242*b237 - 560*b243*b237 - 
       100*b244*b237 - 360*b245*b237 - 410*b246*b237 - 830*b247*b237 - 980*b239
       *b238 - 490*b240*b238 - 80*b241*b238 - 330*b242*b238 - 130*b243*b238 - 
       690*b244*b238 - 280*b245*b238 - 740*b246*b238 - 750*b240*b239 - 220*b241
       *b239 - 660*b242*b239 - 440*b243*b239 - 670*b244*b239 - 400*b245*b239 - 
       480*b246*b239 - 370*b247*b239 - 490*b241*b240 - 850*b242*b240 - 90*b243*
       b240 - 410*b244*b240 - 10*b246*b240 - 990*b247*b240 - 540*b242*b241 - 
       570*b243*b241 - 80*b244*b241 - 640*b245*b241 - 940*b246*b241 - 10*b247*
       b241 - 470*b243*b242 - 440*b244*b242 - 500*b245*b242 - 80*b246*b242 - 
       770*b247*b242 - 640*b244*b243 - 770*b245*b243 - 570*b246*b243 - 900*b247
       *b243 - 290*b245*b244 - 850*b246*b244 - 640*b247*b244 - 470*b246*b245 - 
       810*b247*b245 - 320*b247*b246 =L= 0;

e315.. (-950*b249*b248) - 35155.8*b248 + 12630*b249 - 660*b250*b248 + 10760*
       b250 - 690*b251*b248 + 12060*b251 - 930*b252*b248 + 11210*b252 - 740*
       b253*b248 + 12210*b253 - 520*b254*b248 + 11740*b254 - 700*b255*b248 + 
       9830*b255 - 570*b256*b248 + 12630*b256 - 850*b257*b248 + 12930*b257 - 
       710*b258*b248 + 12400*b258 - 400*b259*b248 + 14040*b259 - 150*b250*b249
        - 400*b251*b249 - 580*b252*b249 - 20*b253*b249 - 40*b254*b249 - 560*
       b255*b249 - 100*b256*b249 - 360*b257*b249 - 410*b258*b249 - 830*b259*
       b249 - 980*b251*b250 - 490*b252*b250 - 80*b253*b250 - 330*b254*b250 - 
       130*b255*b250 - 690*b256*b250 - 280*b257*b250 - 740*b258*b250 - 750*b252
       *b251 - 220*b253*b251 - 660*b254*b251 - 440*b255*b251 - 670*b256*b251 - 
       400*b257*b251 - 480*b258*b251 - 370*b259*b251 - 490*b253*b252 - 850*b254
       *b252 - 90*b255*b252 - 410*b256*b252 - 10*b258*b252 - 990*b259*b252 - 
       540*b254*b253 - 570*b255*b253 - 80*b256*b253 - 640*b257*b253 - 940*b258*
       b253 - 10*b259*b253 - 470*b255*b254 - 440*b256*b254 - 500*b257*b254 - 80
       *b258*b254 - 770*b259*b254 - 640*b256*b255 - 770*b257*b255 - 570*b258*
       b255 - 900*b259*b255 - 290*b257*b256 - 850*b258*b256 - 640*b259*b256 - 
       470*b258*b257 - 810*b259*b257 - 320*b259*b258 =L= 0;

e316.. (-150*b261*b260) - 38465.8*b260 + 10760*b261 - 400*b262*b260 + 12060*
       b262 - 580*b263*b260 + 11210*b263 - 20*b264*b260 + 12210*b264 - 40*b265*
       b260 + 11740*b265 - 560*b266*b260 + 9830*b266 - 100*b267*b260 + 12630*
       b267 - 360*b268*b260 + 12930*b268 - 410*b269*b260 + 12400*b269 - 830*
       b270*b260 + 14040*b270 - 980*b262*b261 - 490*b263*b261 - 80*b264*b261 - 
       330*b265*b261 - 130*b266*b261 - 690*b267*b261 - 280*b268*b261 - 740*b269
       *b261 - 750*b263*b262 - 220*b264*b262 - 660*b265*b262 - 440*b266*b262 - 
       670*b267*b262 - 400*b268*b262 - 480*b269*b262 - 370*b270*b262 - 490*b264
       *b263 - 850*b265*b263 - 90*b266*b263 - 410*b267*b263 - 10*b269*b263 - 
       990*b270*b263 - 540*b265*b264 - 570*b266*b264 - 80*b267*b264 - 640*b268*
       b264 - 940*b269*b264 - 10*b270*b264 - 470*b266*b265 - 440*b267*b265 - 
       500*b268*b265 - 80*b269*b265 - 770*b270*b265 - 640*b267*b266 - 770*b268*
       b266 - 570*b269*b266 - 900*b270*b266 - 290*b268*b267 - 850*b269*b267 - 
       640*b270*b267 - 470*b269*b268 - 810*b270*b268 - 320*b270*b269 =L= 0;

e317.. (-980*b272*b271) - 40335.8*b271 + 12060*b272 - 490*b273*b271 + 11210*
       b273 - 80*b274*b271 + 12210*b274 - 330*b275*b271 + 11740*b275 - 130*b276
       *b271 + 9830*b276 - 690*b277*b271 + 12630*b277 - 280*b278*b271 + 12930*
       b278 - 740*b279*b271 + 12400*b279 - 750*b273*b272 - 220*b274*b272 - 660*
       b275*b272 - 440*b276*b272 - 670*b277*b272 - 400*b278*b272 - 480*b279*
       b272 - 370*b280*b272 + 14040*b280 - 490*b274*b273 - 850*b275*b273 - 90*
       b276*b273 - 410*b277*b273 - 10*b279*b273 - 990*b280*b273 - 540*b275*b274
        - 570*b276*b274 - 80*b277*b274 - 640*b278*b274 - 940*b279*b274 - 10*
       b280*b274 - 470*b276*b275 - 440*b277*b275 - 500*b278*b275 - 80*b279*b275
        - 770*b280*b275 - 640*b277*b276 - 770*b278*b276 - 570*b279*b276 - 900*
       b280*b276 - 290*b278*b277 - 850*b279*b277 - 640*b280*b277 - 470*b279*
       b278 - 810*b280*b278 - 320*b280*b279 =L= 0;

e318.. (-750*b282*b281) - 39035.8*b281 + 11210*b282 - 220*b283*b281 + 12210*
       b283 - 660*b284*b281 + 11740*b284 - 440*b285*b281 + 9830*b285 - 670*b286
       *b281 + 12630*b286 - 400*b287*b281 + 12930*b287 - 480*b288*b281 + 12400*
       b288 - 370*b289*b281 + 14040*b289 - 490*b283*b282 - 850*b284*b282 - 90*
       b285*b282 - 410*b286*b282 - 10*b288*b282 - 990*b289*b282 - 540*b284*b283
        - 570*b285*b283 - 80*b286*b283 - 640*b287*b283 - 940*b288*b283 - 10*
       b289*b283 - 470*b285*b284 - 440*b286*b284 - 500*b287*b284 - 80*b288*b284
        - 770*b289*b284 - 640*b286*b285 - 770*b287*b285 - 570*b288*b285 - 900*
       b289*b285 - 290*b287*b286 - 850*b288*b286 - 640*b289*b286 - 470*b288*
       b287 - 810*b289*b287 - 320*b289*b288 =L= 0;

e319.. (-490*b291*b290) - 39885.8*b290 + 12210*b291 - 850*b292*b290 + 11740*
       b292 - 90*b293*b290 + 9830*b293 - 410*b294*b290 + 12630*b294 - 10*b295*
       b290 + 12400*b295 - 990*b296*b290 + 14040*b296 - 540*b292*b291 - 570*
       b293*b291 - 80*b294*b291 - 940*b295*b291 - 10*b296*b291 - 640*b297*b291
        + 12930*b297 - 470*b293*b292 - 440*b294*b292 - 80*b295*b292 - 770*b296*
       b292 - 500*b297*b292 - 640*b294*b293 - 570*b295*b293 - 900*b296*b293 - 
       770*b297*b293 - 850*b295*b294 - 640*b296*b294 - 290*b297*b294 - 320*b296
       *b295 - 470*b297*b295 - 810*b297*b296 =L= 0;

e320.. (-540*b299*b298) - 38885.8*b298 + 11740*b299 - 570*b300*b298 + 9830*b300
        - 80*b301*b298 + 12630*b301 - 640*b302*b298 + 12930*b302 - 940*b303*
       b298 + 12400*b303 - 10*b304*b298 + 14040*b304 - 470*b300*b299 - 440*b301
       *b299 - 500*b302*b299 - 80*b303*b299 - 770*b304*b299 - 640*b301*b300 - 
       770*b302*b300 - 570*b303*b300 - 900*b304*b300 - 290*b302*b301 - 850*b303
       *b301 - 640*b304*b301 - 470*b303*b302 - 810*b304*b302 - 320*b304*b303
        =L= 0;

e321.. (-470*b306*b305) - 39355.8*b305 + 9830*b306 - 440*b307*b305 + 12630*b307
        - 500*b308*b305 + 12930*b308 - 80*b309*b305 + 12400*b309 - 770*b310*
       b305 + 14040*b310 - 640*b307*b306 - 770*b308*b306 - 570*b309*b306 - 900*
       b310*b306 - 290*b308*b307 - 850*b309*b307 - 640*b310*b307 - 470*b309*
       b308 - 810*b310*b308 - 320*b310*b309 =L= 0;

e322.. (-640*b312*b311) - 41265.8*b311 + 12630*b312 - 770*b313*b311 + 12930*
       b313 - 570*b314*b311 + 12400*b314 - 900*b315*b311 + 14040*b315 - 290*
       b313*b312 - 850*b314*b312 - 640*b315*b312 - 470*b314*b313 - 810*b315*
       b313 - 320*b315*b314 =L= 0;

e323.. (-290*b317*b316) - 38465.8*b316 + 12930*b317 - 850*b318*b316 + 12400*
       b318 - 640*b319*b316 + 14040*b319 - 470*b318*b317 - 810*b319*b317 - 320*
       b319*b318 =L= 0;

e324.. (-470*b321*b320) - 38165.8*b320 + 12400*b321 - 810*b322*b320 + 14040*
       b322 - 320*b322*b321 =L= 0;

e325.. (-320*b324*b323) - 38695.8*b323 + 14040*b324 =L= 0;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;


Last updated: 2024-08-26 Git hash: 6cc1607f
Imprint / Privacy Policy / License: CC-BY 4.0