$offlisting * * Equation counts * Total E G L N X C B * 2022 1061 188 773 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 1253 1172 81 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 11973 10247 1726 0 * * Solve m using MIQCP maximizing objvar; Variables objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18 ,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35 ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86 ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102 ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115 ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128 ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141 ,x142,x143,x144,x145,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,x227,x228,x229,x230,x231,x232 ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245 ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258 ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271 ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284 ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297 ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674 ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687 ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700 ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778 ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791 ,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804 ,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817 ,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830 ,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843 ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856 ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869 ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882 ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895 ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908 ,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921 ,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934 ,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947 ,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960 ,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973 ,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986 ,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999 ,x1000,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010 ,x1011,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021 ,x1022,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032 ,x1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043 ,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054 ,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065 ,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076 ,x1077,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087 ,x1088,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098 ,x1099,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109 ,x1110,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120 ,x1121,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131 ,x1132,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142 ,x1143,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153 ,x1154,x1155,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164 ,x1165,x1166,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175 ,x1176,x1177,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186 ,x1187,x1188,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197 ,x1198,x1199,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208 ,x1209,x1210,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219 ,x1220,x1221,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230 ,x1231,x1232,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241 ,x1242,x1243,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252 ,x1253; Positive Variables x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17 ,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34 ,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51 ,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68 ,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85 ,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101 ,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114 ,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127 ,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140 ,x141,x142,x143,x144,x145,x227,x228,x229,x230,x231,x232,x233,x234 ,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247 ,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260 ,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273 ,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285,x286 ,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298,x299 ,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311,x312 ,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324,x325 ,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337,x338 ,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351 ,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364 ,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376,x377 ,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389,x390 ,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402,x403 ,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415,x416 ,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,x428,x429 ,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442 ,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455 ,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468 ,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480,x481 ,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493,x494 ,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506,x507 ,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519,x520 ,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532,x533 ,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546 ,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559 ,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570,x571,x572 ,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583,x584,x585 ,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596,x597,x598 ,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609,x610,x611 ,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,x623,x624 ,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636,x637 ,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650 ,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663 ,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674,x675,x676 ,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687,x688,x689 ,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700,x701,x702 ,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713,x714,x715 ,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726,x727,x728 ,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740,x741 ,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753,x754 ,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765,x766,x767 ,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778,x779,x780 ,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791,x792,x793 ,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804,x805,x806 ,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,x818,x819 ,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831,x832 ,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844,x845 ,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856,x857,x858 ,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869,x870,x871 ,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882,x883,x884 ,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895,x896,x897 ,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908,x909,x910 ,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921,x922,x923 ,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934,x935,x936 ,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947,x948,x949 ,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960,x961,x962 ,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973,x974,x975 ,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986,x987,x988 ,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999,x1000,x1001 ,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010,x1011,x1012 ,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021,x1022,x1023 ,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032,x1033,x1034 ,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043,x1044,x1045 ,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054,x1055,x1056 ,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065,x1066,x1067 ,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076,x1077,x1078 ,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087,x1088,x1089 ,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098,x1099,x1100 ,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109,x1110,x1111 ,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120,x1121,x1122 ,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131,x1132,x1133 ,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142,x1143,x1144 ,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153,x1154,x1155 ,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164,x1165,x1166 ,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175,x1176,x1177 ,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186,x1187,x1188 ,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197,x1198,x1199 ,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208,x1209,x1210 ,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219,x1220,x1221 ,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230,x1231,x1232 ,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241,x1242,x1243 ,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252,x1253; Binary Variables 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; 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,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337 ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350 ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363 ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376 ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389 ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402 ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415 ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428 ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441 ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454 ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467 ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480 ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493 ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506 ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519 ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532 ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545 ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558 ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571 ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584 ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597 ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610 ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818 ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831 ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844 ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857 ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870 ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883 ,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896 ,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909 ,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922 ,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935 ,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948 ,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961 ,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974 ,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987 ,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000 ,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011 ,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022 ,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033 ,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044 ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055 ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066 ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077 ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088 ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099 ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110 ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121 ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132 ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143 ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154 ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165 ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176 ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187 ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198 ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209 ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220 ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231 ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242 ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253 ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264 ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275 ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286 ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297 ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308 ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319 ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330 ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341 ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352 ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363 ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374 ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385 ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396 ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407 ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418 ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429 ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440 ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451 ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462 ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473 ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484 ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495 ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506 ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517 ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528 ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539 ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550 ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561 ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572 ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583 ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594 ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605 ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616 ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627 ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638 ,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649 ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660 ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671 ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682 ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693 ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704 ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715 ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726 ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737 ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748 ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759 ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770 ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781 ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792 ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803 ,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814 ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825 ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836 ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847 ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858 ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869 ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880 ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891 ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902 ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913 ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924 ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935 ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946 ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957 ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968 ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979 ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990 ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001 ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012 ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022; e1.. - objvar + 0.3*x2 + 0.5*x3 + 0.5*x4 + 0.8*x5 + 0.1*x6 + 0.6*x7 + 0.85*x8 + 0.2*x9 + 0.5*x10 + 0.8*x11 + 0.3*x12 + 0.1*x13 + 0.6*x14 + 0.85*x15 + 0.2*x16 + 0.5*x17 + 0.8*x18 + 0.3*x19 + 0.1*x20 + 0.6*x21 + 0.85*x22 + 0.2*x23 + 0.5*x24 + 0.8*x25 + 0.3*x26 + 0.1*x27 + 0.6*x28 + 0.85*x29 + 0.2*x30 + 0.5*x31 + 0.8*x32 + 0.3*x33 + 0.1*x34 + 0.6*x35 + 0.85*x36 + 0.2*x37 + 0.5*x38 + 0.8*x39 + 0.3*x40 + 0.1*x41 + 0.6*x42 + 0.85*x43 + 0.2*x44 + 0.5*x45 + 0.8*x46 + 0.3*x47 + 0.1*x48 + 0.6*x49 + 0.85*x50 + 0.2*x51 + 0.5*x52 + 0.8*x53 + 0.3*x54 + 0.1*x55 + 0.6*x56 + 0.85*x57 + 0.2*x58 + 0.5*x59 + 0.8*x60 + 0.3*x61 + 0.1*x62 + 0.6*x63 + 0.85*x64 + 0.2*x65 + 0.5*x66 + 0.8*x67 + 0.3*x68 + 0.1*x69 + 0.6*x70 + 0.85*x71 + 0.2*x72 + 0.5*x73 + 0.8*x74 + 0.3*x75 + 0.1*x76 + 0.6*x77 + 0.85*x78 + 0.2*x79 + 0.5*x80 + 0.8*x81 + 0.3*x82 + 0.1*x83 + 0.6*x84 + 0.85*x85 + 0.2*x86 + 0.5*x87 + 0.8*x88 + 0.3*x89 + 0.1*x90 + 0.6*x91 + 0.85*x92 + 0.2*x93 + 0.5*x94 + 0.8*x95 + 0.3*x96 + 0.1*x97 + 0.6*x98 + 0.85*x99 + 0.2*x100 + 0.5*x101 + 0.8*x102 + 0.3*x103 + 0.1*x104 + 0.6*x105 + 0.85*x106 + 0.2*x107 + 0.5*x108 + 0.8*x109 + 0.3*x110 + 0.1*x111 + 0.6*x112 + 0.85*x113 + 0.2*x114 + 0.5*x115 + 0.8*x116 + 0.3*x117 + 0.1*x118 + 0.6*x119 + 0.85*x120 + 0.2*x121 + 0.5*x122 + 0.8*x123 + 0.3*x124 + 0.1*x125 + 0.6*x126 + 0.85*x127 + 0.2*x128 + 0.5*x129 + 0.8*x130 + 0.3*x131 + 0.1*x132 + 0.6*x133 + 0.85*x134 + 0.2*x135 + 0.5*x136 + 0.8*x137 + 0.3*x138 + 0.1*x139 + 0.6*x140 + 0.85*x141 + 0.2*x142 + 0.5*x143 + 0.8*x144 + 0.3*x145 =E= 0; e2.. b146 + b147 =L= 1; e3.. b146 + b148 =L= 1; e4.. b147 + b149 =L= 1; e5.. b149 + b150 =L= 1; e6.. b151 + b152 =L= 1; e7.. b152 + b153 =L= 1; e8.. b149 + b154 =L= 1; e9.. b152 + b155 =L= 1; e10.. b148 + b154 + b155 =L= 1; e11.. b154 + b155 + b156 =L= 1; e12.. b154 + b155 + b157 =L= 1; e13.. b158 + b159 =L= 1; e14.. b158 + b160 =L= 1; e15.. b161 + b162 =L= 1; e16.. b161 + b163 =L= 1; e17.. b161 + b164 =L= 1; e18.. b159 + b165 =L= 1; e19.. b162 + b165 =L= 1; e20.. b164 + b166 =L= 1; e21.. b166 + b167 =L= 1; e22.. b165 + b168 =L= 1; e23.. b166 + b169 =L= 1; e24.. b158 + b161 =L= 1; e25.. b160 + b168 + b169 =L= 1; e26.. b163 + b168 + b169 =L= 1; e27.. b168 + b169 + b170 =L= 1; e28.. b171 + b172 =L= 1; e29.. b171 + b173 =L= 1; e30.. b174 + b175 =L= 1; e31.. b174 + b176 =L= 1; e32.. b174 + b177 =L= 1; e33.. b178 + b179 =L= 1; e34.. b178 + b180 =L= 1; e35.. b172 + b181 =L= 1; e36.. b175 + b181 =L= 1; e37.. b177 + b182 =L= 1; e38.. b180 + b182 =L= 1; e39.. b181 + b183 =L= 1; e40.. b182 + b184 =L= 1; e41.. b171 + b174 + b178 =L= 1; e42.. b173 + b183 + b184 =L= 1; e43.. b176 + b183 + b184 =L= 1; e44.. b179 + b183 + b184 =L= 1; e45.. b185 + b186 =L= 1; e46.. b185 + b187 =L= 1; e47.. b188 + b189 =L= 1; e48.. b188 + b190 =L= 1; e49.. b188 + b191 =L= 1; e50.. b192 + b193 =L= 1; e51.. b192 + b194 =L= 1; e52.. b186 + b195 =L= 1; e53.. b189 + b195 =L= 1; e54.. b191 + b196 =L= 1; e55.. b194 + b196 =L= 1; e56.. b195 + b197 =L= 1; e57.. b196 + b198 =L= 1; e58.. b185 + b188 + b192 =L= 1; e59.. b187 + b197 + b198 =L= 1; e60.. b190 + b197 + b198 =L= 1; e61.. b193 + b197 + b198 =L= 1; e62.. b199 + b200 =L= 1; e63.. b199 + b201 =L= 1; e64.. b202 + b203 =L= 1; e65.. b202 + b204 =L= 1; e66.. b202 + b205 =L= 1; e67.. b206 + b207 =L= 1; e68.. b206 + b208 =L= 1; e69.. b200 + b209 =L= 1; e70.. b203 + b209 =L= 1; e71.. b205 + b210 =L= 1; e72.. b208 + b210 =L= 1; e73.. b209 + b211 =L= 1; e74.. b210 + b212 =L= 1; e75.. b199 + b202 + b206 =L= 1; e76.. b201 + b211 + b212 =L= 1; e77.. b204 + b211 + b212 =L= 1; e78.. b207 + b211 + b212 =L= 1; e79.. b213 + b214 =L= 1; e80.. b213 + b215 =L= 1; e81.. b216 + b217 =L= 1; e82.. b216 + b218 =L= 1; e83.. b216 + b219 =L= 1; e84.. b220 + b221 =L= 1; e85.. b220 + b222 =L= 1; e86.. b214 + b223 =L= 1; e87.. b217 + b223 =L= 1; e88.. b219 + b224 =L= 1; e89.. b222 + b224 =L= 1; e90.. b223 + b225 =L= 1; e91.. b224 + b226 =L= 1; e92.. b213 + b216 + b220 =L= 1; e93.. b215 + b225 + b226 =L= 1; e94.. b218 + b225 + b226 =L= 1; e95.. b221 + b225 + b226 =L= 1; e96.. b146 + b158 + b171 + b185 + b199 + b213 =G= 1; e97.. b161 + b174 + b188 + b202 + b216 =G= 1; e98.. b178 + b192 + b206 + b220 =G= 1; e99.. b149 + b165 + b181 + b195 + b209 + b223 =G= 1; e100.. b154 + b168 + b183 + b197 + b211 + b225 =G= 1; e101.. b155 + b169 + b184 + b198 + b212 + b226 =G= 1; e102.. b152 + b166 + b182 + b196 + b210 + b224 =G= 1; e103.. b149 + b152 + b154 + b155 + b165 + b166 + b168 + b169 + b181 + b182 + b183 + b184 + b195 + b196 + b197 + b198 + b209 + b210 + b211 + b212 + b223 + b224 + b225 + b226 =G= 5; e104.. b146 + b158 + b171 + b185 + b199 + b213 =L= 1; e105.. b161 + b174 + b188 + b202 + b216 =L= 1; e106.. b178 + b192 + b206 + b220 =L= 1; e107.. b149 + b165 + b181 + b195 + b209 + b223 =L= 2; e108.. b154 + b168 + b183 + b197 + b211 + b225 =L= 1; e109.. b155 + b169 + b184 + b198 + b212 + b226 =L= 1; e110.. b152 + b166 + b182 + b196 + b210 + b224 =L= 2; e111.. b149 + b152 + b154 + b155 + b165 + b166 + b168 + b169 + b181 + b182 + b183 + b184 + b195 + b196 + b197 + b198 + b209 + b210 + b211 + b212 + b223 + b224 + b225 + b226 =L= 5; e112.. b149 + b154 =G= 1; e113.. b152 + b155 =G= 1; e114.. b149 + b154 =L= 1; e115.. b152 + b155 =L= 1; e116.. - x227 - x228 - x229 - x230 - x231 - x232 + x233 + x234 + x235 + x236 + x237 + x238 =L= 0; e117.. - x239 - x240 - x241 - x242 - x243 - x244 + x245 + x246 + x247 + x248 + x249 =L= 0; e118.. b146 - b161 =G= 0; e119.. b146 + b158 - b161 - b174 =G= 0; e120.. b161 - b178 =G= 0; e121.. b146 + b158 - b161 + b171 - b174 - b188 =G= 0; e122.. b161 + b174 - b178 - b192 =G= 0; e123.. b146 + b158 - b161 + b171 - b174 + b185 - b188 - b202 =G= 0; e124.. b161 + b174 - b178 + b188 - b192 - b206 =G= 0; e125.. b146 + b158 - b161 + b171 - b174 + b185 - b188 + b199 - b202 - b216 =G= 0; e126.. b161 + b174 - b178 + b188 - b192 + b202 - b206 - b220 =G= 0; e127.. x233 - x250 - x251 =E= 0; e128.. - x227 - x252 =E= 0; e129.. - x239 - x253 =E= 0; e130.. - x254 - x255 + x256 =E= 0; e131.. - x257 - x258 + x259 =E= 0; e132.. - x260 - x261 + x262 =E= 0; e133.. - x263 - x264 + x265 =E= 0; e134.. - x266 - x267 + x268 =E= 0; e135.. - x269 - x270 + x271 =E= 0; e136.. - x272 - x273 + x274 =E= 0; e137.. - x275 - x276 + x277 =E= 0; e138.. - x278 - x279 + x280 =E= 0; e139.. - x281 - x282 + x283 =E= 0; e140.. - x284 - x285 + x286 =E= 0; e141.. x234 - x287 - x288 =E= 0; e142.. - x228 + x245 - x289 =E= 0; e143.. - x240 - x290 =E= 0; e144.. - x291 - x292 + x293 =E= 0; e145.. - x294 - x295 + x296 =E= 0; e146.. - x297 - x298 + x299 =E= 0; e147.. - x300 - x301 + x302 =E= 0; e148.. - x303 - x304 + x305 =E= 0; e149.. - x306 - x307 + x308 =E= 0; e150.. - x309 - x310 + x311 =E= 0; e151.. - x312 - x313 + x314 =E= 0; e152.. - x315 - x316 + x317 =E= 0; e153.. - x318 - x319 + x320 =E= 0; e154.. - x321 - x322 + x323 =E= 0; e155.. x235 - x324 - x325 =E= 0; e156.. - x229 + x246 - x326 =E= 0; e157.. - x241 - x327 + x328 =E= 0; e158.. - x329 - x330 + x331 =E= 0; e159.. - x332 - x333 + x334 =E= 0; e160.. - x335 - x336 + x337 =E= 0; e161.. - x338 - x339 + x340 =E= 0; e162.. - x341 - x342 + x343 =E= 0; e163.. - x344 - x345 + x346 =E= 0; e164.. - x347 - x348 + x349 =E= 0; e165.. - x350 - x351 + x352 =E= 0; e166.. - x353 - x354 + x355 =E= 0; e167.. - x356 - x357 + x358 =E= 0; e168.. - x359 - x360 + x361 =E= 0; e169.. x236 - x362 - x363 =E= 0; e170.. - x230 + x247 - x364 =E= 0; e171.. - x242 - x365 + x366 =E= 0; e172.. - x367 - x368 + x369 =E= 0; e173.. - x370 - x371 + x372 =E= 0; e174.. - x373 - x374 + x375 =E= 0; e175.. - x376 - x377 + x378 =E= 0; e176.. - x379 - x380 + x381 =E= 0; e177.. - x382 - x383 + x384 =E= 0; e178.. - x385 - x386 + x387 =E= 0; e179.. - x388 - x389 + x390 =E= 0; e180.. - x391 - x392 + x393 =E= 0; e181.. - x394 - x395 + x396 =E= 0; e182.. - x397 - x398 + x399 =E= 0; e183.. x237 - x400 - x401 =E= 0; e184.. - x231 + x248 - x402 =E= 0; e185.. - x243 - x403 + x404 =E= 0; e186.. - x405 - x406 + x407 =E= 0; e187.. - x408 - x409 + x410 =E= 0; e188.. - x411 - x412 + x413 =E= 0; e189.. - x414 - x415 + x416 =E= 0; e190.. - x417 - x418 + x419 =E= 0; e191.. - x420 - x421 + x422 =E= 0; e192.. - x423 - x424 + x425 =E= 0; e193.. - x426 - x427 + x428 =E= 0; e194.. - x429 - x430 + x431 =E= 0; e195.. - x432 - x433 + x434 =E= 0; e196.. - x435 - x436 + x437 =E= 0; e197.. x238 - x438 - x439 =E= 0; e198.. - x232 + x249 - x440 =E= 0; e199.. - x244 - x441 + x442 =E= 0; e200.. - x443 - x444 + x445 =E= 0; e201.. - x446 - x447 + x448 =E= 0; e202.. - x449 - x450 + x451 =E= 0; e203.. - x452 - x453 + x454 =E= 0; e204.. - x455 - x456 + x457 =E= 0; e205.. - x458 - x459 + x460 =E= 0; e206.. - x461 - x462 + x463 =E= 0; e207.. - x464 - x465 + x466 =E= 0; e208.. - x467 - x468 + x469 =E= 0; e209.. - x470 - x471 + x472 =E= 0; e210.. - x473 - x474 + x475 =E= 0; e211.. - 0.001*b146 + x250 =G= 0; e212.. - 0.001*b158 + x287 =G= 0; e213.. - 4.001*b161 + x228 =G= 0; e214.. - 0.001*b171 + x324 =G= 0; e215.. - 4.001*b174 + x229 =G= 0; e216.. - 8.001*b178 + x241 =G= 0; e217.. - 0.001*b185 + x362 =G= 0; e218.. - 4.001*b188 + x230 =G= 0; e219.. - 8.001*b192 + x242 =G= 0; e220.. - 0.001*b199 + x400 =G= 0; e221.. - 4.001*b202 + x231 =G= 0; e222.. - 8.001*b206 + x243 =G= 0; e223.. - 0.001*b213 + x438 =G= 0; e224.. - 4.001*b216 + x232 =G= 0; e225.. - 8.001*b220 + x244 =G= 0; e226.. - 12*b146 + x233 =L= 0; e227.. - 12*b147 + x256 =L= 0; e228.. - 12*b148 + x259 =L= 0; e229.. - 12*b150 + x262 =L= 0; e230.. - 12*b156 + x265 =L= 0; e231.. - 12*b151 + x268 =L= 0; e232.. - 12*b157 + x271 =L= 0; e233.. - 12*b153 + x274 =L= 0; e234.. - 12*b149 + x277 =L= 0; e235.. - 12*b154 + x280 =L= 0; e236.. - 12*b155 + x283 =L= 0; e237.. - 12*b152 + x286 =L= 0; e238.. - 12*b158 + x234 =L= 0; e239.. - 12*b161 + x245 =L= 0; e240.. - 12*b159 + x293 =L= 0; e241.. - 12*b160 + x296 =L= 0; e242.. - 12*b162 + x299 =L= 0; e243.. - 12*b163 + x302 =L= 0; e244.. - 12*b164 + x305 =L= 0; e245.. - 12*b170 + x308 =L= 0; e246.. - 12*b167 + x311 =L= 0; e247.. - 12*b165 + x314 =L= 0; e248.. - 12*b168 + x317 =L= 0; e249.. - 12*b169 + x320 =L= 0; e250.. - 12*b166 + x323 =L= 0; e251.. - 12*b171 + x235 =L= 0; e252.. - 12*b174 + x246 =L= 0; e253.. - 12*b178 + x328 =L= 0; e254.. - 12*b172 + x331 =L= 0; e255.. - 12*b173 + x334 =L= 0; e256.. - 12*b175 + x337 =L= 0; e257.. - 12*b176 + x340 =L= 0; e258.. - 12*b177 + x343 =L= 0; e259.. - 12*b179 + x346 =L= 0; e260.. - 12*b180 + x349 =L= 0; e261.. - 12*b181 + x352 =L= 0; e262.. - 12*b183 + x355 =L= 0; e263.. - 12*b184 + x358 =L= 0; e264.. - 12*b182 + x361 =L= 0; e265.. - 12*b185 + x236 =L= 0; e266.. - 12*b188 + x247 =L= 0; e267.. - 12*b192 + x366 =L= 0; e268.. - 12*b186 + x369 =L= 0; e269.. - 12*b187 + x372 =L= 0; e270.. - 12*b189 + x375 =L= 0; e271.. - 12*b190 + x378 =L= 0; e272.. - 12*b191 + x381 =L= 0; e273.. - 12*b193 + x384 =L= 0; e274.. - 12*b194 + x387 =L= 0; e275.. - 12*b195 + x390 =L= 0; e276.. - 12*b197 + x393 =L= 0; e277.. - 12*b198 + x396 =L= 0; e278.. - 12*b196 + x399 =L= 0; e279.. - 12*b199 + x237 =L= 0; e280.. - 12*b202 + x248 =L= 0; e281.. - 12*b206 + x404 =L= 0; e282.. - 12*b200 + x407 =L= 0; e283.. - 12*b201 + x410 =L= 0; e284.. - 12*b203 + x413 =L= 0; e285.. - 12*b204 + x416 =L= 0; e286.. - 12*b205 + x419 =L= 0; e287.. - 12*b207 + x422 =L= 0; e288.. - 12*b208 + x425 =L= 0; e289.. - 12*b209 + x428 =L= 0; e290.. - 12*b211 + x431 =L= 0; e291.. - 12*b212 + x434 =L= 0; e292.. - 12*b210 + x437 =L= 0; e293.. - 12*b213 + x238 =L= 0; e294.. - 12*b216 + x249 =L= 0; e295.. - 12*b220 + x442 =L= 0; e296.. - 12*b214 + x445 =L= 0; e297.. - 12*b215 + x448 =L= 0; e298.. - 12*b217 + x451 =L= 0; e299.. - 12*b218 + x454 =L= 0; e300.. - 12*b219 + x457 =L= 0; e301.. - 12*b221 + x460 =L= 0; e302.. - 12*b222 + x463 =L= 0; e303.. - 12*b223 + x466 =L= 0; e304.. - 12*b225 + x469 =L= 0; e305.. - 12*b226 + x472 =L= 0; e306.. - 12*b224 + x475 =L= 0; e307.. - 50*b146 + x476 =G= 0; e308.. - 50*b158 + x477 =G= 0; e309.. - 50*b161 + x478 =G= 0; e310.. - 50*b171 + x479 =G= 0; e311.. - 50*b174 + x480 =G= 0; e312.. - 50*b178 + x481 =G= 0; e313.. - 50*b185 + x482 =G= 0; e314.. - 50*b188 + x483 =G= 0; e315.. - 50*b192 + x484 =G= 0; e316.. - 50*b199 + x485 =G= 0; e317.. - 50*b202 + x486 =G= 0; e318.. - 50*b206 + x487 =G= 0; e319.. - 50*b213 + x488 =G= 0; e320.. - 50*b216 + x489 =G= 0; e321.. - 50*b220 + x490 =G= 0; e322.. - 50*b146 + x476 =L= 0; e323.. - 100*b147 + x491 =L= 0; e324.. - 100*b148 + x492 =L= 0; e325.. - 100*b150 + x493 =L= 0; e326.. - 100*b156 + x494 =L= 0; e327.. - 100*b151 + x495 =L= 0; e328.. - 100*b157 + x496 =L= 0; e329.. - 100*b153 + x497 =L= 0; e330.. - 50*b149 + x498 =L= 0; e331.. - 50*b154 + x499 =L= 0; e332.. - 50*b155 + x500 =L= 0; e333.. - 50*b152 + x501 =L= 0; e334.. - 50*b158 + x477 =L= 0; e335.. - 50*b161 + x478 =L= 0; e336.. - 100*b159 + x502 =L= 0; e337.. - 100*b160 + x503 =L= 0; e338.. - 100*b162 + x504 =L= 0; e339.. - 100*b163 + x505 =L= 0; e340.. - 100*b164 + x506 =L= 0; e341.. - 100*b170 + x507 =L= 0; e342.. - 100*b167 + x508 =L= 0; e343.. - 50*b165 + x509 =L= 0; e344.. - 50*b168 + x510 =L= 0; e345.. - 50*b169 + x511 =L= 0; e346.. - 50*b166 + x512 =L= 0; e347.. - 50*b171 + x479 =L= 0; e348.. - 50*b174 + x480 =L= 0; e349.. - 50*b178 + x481 =L= 0; e350.. - 100*b172 + x513 =L= 0; e351.. - 100*b173 + x514 =L= 0; e352.. - 100*b175 + x515 =L= 0; e353.. - 100*b176 + x516 =L= 0; e354.. - 100*b177 + x517 =L= 0; e355.. - 100*b179 + x518 =L= 0; e356.. - 100*b180 + x519 =L= 0; e357.. - 50*b181 + x520 =L= 0; e358.. - 50*b183 + x521 =L= 0; e359.. - 50*b184 + x522 =L= 0; e360.. - 50*b182 + x523 =L= 0; e361.. - 50*b185 + x482 =L= 0; e362.. - 50*b188 + x483 =L= 0; e363.. - 50*b192 + x484 =L= 0; e364.. - 100*b186 + x524 =L= 0; e365.. - 100*b187 + x525 =L= 0; e366.. - 100*b189 + x526 =L= 0; e367.. - 100*b190 + x527 =L= 0; e368.. - 100*b191 + x528 =L= 0; e369.. - 100*b193 + x529 =L= 0; e370.. - 100*b194 + x530 =L= 0; e371.. - 50*b195 + x531 =L= 0; e372.. - 50*b197 + x532 =L= 0; e373.. - 50*b198 + x533 =L= 0; e374.. - 50*b196 + x534 =L= 0; e375.. - 50*b199 + x485 =L= 0; e376.. - 50*b202 + x486 =L= 0; e377.. - 50*b206 + x487 =L= 0; e378.. - 100*b200 + x535 =L= 0; e379.. - 100*b201 + x536 =L= 0; e380.. - 100*b203 + x537 =L= 0; e381.. - 100*b204 + x538 =L= 0; e382.. - 100*b205 + x539 =L= 0; e383.. - 100*b207 + x540 =L= 0; e384.. - 100*b208 + x541 =L= 0; e385.. - 50*b209 + x542 =L= 0; e386.. - 50*b211 + x543 =L= 0; e387.. - 50*b212 + x544 =L= 0; e388.. - 50*b210 + x545 =L= 0; e389.. - 50*b213 + x488 =L= 0; e390.. - 50*b216 + x489 =L= 0; e391.. - 50*b220 + x490 =L= 0; e392.. - 100*b214 + x546 =L= 0; e393.. - 100*b215 + x547 =L= 0; e394.. - 100*b217 + x548 =L= 0; e395.. - 100*b218 + x549 =L= 0; e396.. - 100*b219 + x550 =L= 0; e397.. - 100*b221 + x551 =L= 0; e398.. - 100*b222 + x552 =L= 0; e399.. - 50*b223 + x553 =L= 0; e400.. - 50*b225 + x554 =L= 0; e401.. - 50*b226 + x555 =L= 0; e402.. - 50*b224 + x556 =L= 0; e403.. x476 - x557 =E= 0; e404.. x491 - x558 =E= 0; e405.. x492 - x559 =E= 0; e406.. x493 - x560 =E= 0; e407.. x494 - x561 =E= 0; e408.. x495 - x562 =E= 0; e409.. x496 - x563 =E= 0; e410.. x497 - x564 =E= 0; e411.. - x2 + x498 =E= 0; e412.. - x3 + x499 =E= 0; e413.. - x4 + x500 =E= 0; e414.. - x5 + x501 =E= 0; e415.. x477 - x565 - x566 - x567 - x568 - x569 - x570 - x571 =E= 0; e416.. x478 - x572 =E= 0; e417.. x502 - x573 - x574 - x575 - x576 - x577 - x578 - x579 =E= 0; e418.. x503 - x580 - x581 - x582 - x583 - x584 - x585 - x586 =E= 0; e419.. x504 - x587 - x588 - x589 - x590 - x591 - x592 - x593 =E= 0; e420.. x505 - x594 - x595 - x596 - x597 - x598 - x599 - x600 =E= 0; e421.. x506 - x601 - x602 - x603 - x604 - x605 - x606 - x607 =E= 0; e422.. x507 - x608 - x609 - x610 - x611 - x612 - x613 - x614 =E= 0; e423.. x508 - x615 - x616 - x617 - x618 - x619 - x620 - x621 =E= 0; e424.. - x6 - x7 - x8 - x9 - x10 - x11 - x12 + x509 =E= 0; e425.. - x13 - x14 - x15 - x16 - x17 - x18 - x19 + x510 =E= 0; e426.. - x20 - x21 - x22 - x23 - x24 - x25 - x26 + x511 =E= 0; e427.. - x27 - x28 - x29 - x30 - x31 - x32 - x33 + x512 =E= 0; e428.. x479 - x622 - x623 - x624 - x625 - x626 - x627 - x628 =E= 0; e429.. x480 - x629 - x630 - x631 - x632 - x633 - x634 - x635 =E= 0; e430.. x481 - x636 =E= 0; e431.. x513 - x637 - x638 - x639 - x640 - x641 - x642 - x643 =E= 0; e432.. x514 - x644 - x645 - x646 - x647 - x648 - x649 - x650 =E= 0; e433.. x515 - x651 - x652 - x653 - x654 - x655 - x656 - x657 =E= 0; e434.. x516 - x658 - x659 - x660 - x661 - x662 - x663 - x664 =E= 0; e435.. x517 - x665 - x666 - x667 - x668 - x669 - x670 - x671 =E= 0; e436.. x518 - x672 - x673 - x674 - x675 - x676 - x677 - x678 =E= 0; e437.. x519 - x679 - x680 - x681 - x682 - x683 - x684 - x685 =E= 0; e438.. - x34 - x35 - x36 - x37 - x38 - x39 - x40 + x520 =E= 0; e439.. - x41 - x42 - x43 - x44 - x45 - x46 - x47 + x521 =E= 0; e440.. - x48 - x49 - x50 - x51 - x52 - x53 - x54 + x522 =E= 0; e441.. - x55 - x56 - x57 - x58 - x59 - x60 - x61 + x523 =E= 0; e442.. x482 - x686 - x687 - x688 - x689 - x690 - x691 - x692 =E= 0; e443.. x483 - x693 - x694 - x695 - x696 - x697 - x698 - x699 =E= 0; e444.. x484 - x700 - x701 - x702 - x703 - x704 - x705 - x706 =E= 0; e445.. x524 - x707 - x708 - x709 - x710 - x711 - x712 - x713 =E= 0; e446.. x525 - x714 - x715 - x716 - x717 - x718 - x719 - x720 =E= 0; e447.. x526 - x721 - x722 - x723 - x724 - x725 - x726 - x727 =E= 0; e448.. x527 - x728 - x729 - x730 - x731 - x732 - x733 - x734 =E= 0; e449.. x528 - x735 - x736 - x737 - x738 - x739 - x740 - x741 =E= 0; e450.. x529 - x742 - x743 - x744 - x745 - x746 - x747 - x748 =E= 0; e451.. x530 - x749 - x750 - x751 - x752 - x753 - x754 - x755 =E= 0; e452.. - x62 - x63 - x64 - x65 - x66 - x67 - x68 + x531 =E= 0; e453.. - x69 - x70 - x71 - x72 - x73 - x74 - x75 + x532 =E= 0; e454.. - x76 - x77 - x78 - x79 - x80 - x81 - x82 + x533 =E= 0; e455.. - x83 - x84 - x85 - x86 - x87 - x88 - x89 + x534 =E= 0; e456.. x485 - x756 - x757 - x758 - x759 - x760 - x761 - x762 =E= 0; e457.. x486 - x763 - x764 - x765 - x766 - x767 - x768 - x769 =E= 0; e458.. x487 - x770 - x771 - x772 - x773 - x774 - x775 - x776 =E= 0; e459.. x535 - x777 - x778 - x779 - x780 - x781 - x782 - x783 =E= 0; e460.. x536 - x784 - x785 - x786 - x787 - x788 - x789 - x790 =E= 0; e461.. x537 - x791 - x792 - x793 - x794 - x795 - x796 - x797 =E= 0; e462.. x538 - x798 - x799 - x800 - x801 - x802 - x803 - x804 =E= 0; e463.. x539 - x805 - x806 - x807 - x808 - x809 - x810 - x811 =E= 0; e464.. x540 - x812 - x813 - x814 - x815 - x816 - x817 - x818 =E= 0; e465.. x541 - x819 - x820 - x821 - x822 - x823 - x824 - x825 =E= 0; e466.. - x90 - x91 - x92 - x93 - x94 - x95 - x96 + x542 =E= 0; e467.. - x97 - x98 - x99 - x100 - x101 - x102 - x103 + x543 =E= 0; e468.. - x104 - x105 - x106 - x107 - x108 - x109 - x110 + x544 =E= 0; e469.. - x111 - x112 - x113 - x114 - x115 - x116 - x117 + x545 =E= 0; e470.. x488 - x826 - x827 - x828 - x829 - x830 - x831 - x832 =E= 0; e471.. x489 - x833 - x834 - x835 - x836 - x837 - x838 - x839 =E= 0; e472.. x490 - x840 - x841 - x842 - x843 - x844 - x845 - x846 =E= 0; e473.. x546 - x847 - x848 - x849 - x850 - x851 - x852 - x853 =E= 0; e474.. x547 - x854 - x855 - x856 - x857 - x858 - x859 - x860 =E= 0; e475.. x548 - x861 - x862 - x863 - x864 - x865 - x866 - x867 =E= 0; e476.. x549 - x868 - x869 - x870 - x871 - x872 - x873 - x874 =E= 0; e477.. x550 - x875 - x876 - x877 - x878 - x879 - x880 - x881 =E= 0; e478.. x551 - x882 - x883 - x884 - x885 - x886 - x887 - x888 =E= 0; e479.. x552 - x889 - x890 - x891 - x892 - x893 - x894 - x895 =E= 0; e480.. - x118 - x119 - x120 - x121 - x122 - x123 - x124 + x553 =E= 0; e481.. - x125 - x126 - x127 - x128 - x129 - x130 - x131 + x554 =E= 0; e482.. - x132 - x133 - x134 - x135 - x136 - x137 - x138 + x555 =E= 0; e483.. - x139 - x140 - x141 - x142 - x143 - x144 - x145 + x556 =E= 0; e484.. x896 - x897 =E= 0; e485.. x898 - x899 - x900 =E= 0; e486.. x901 - x902 =E= 0; e487.. x903 - x904 =E= 0; e488.. x905 - x906 - x907 - x908 =E= 0; e489.. x909 - x910 - x911 - x912 =E= 0; e490.. x913 - x914 - x915 =E= 0; e491.. - x916 - x917 + x918 =E= 0; e492.. - x919 - x920 + x921 =E= 0; e493.. x922 - x923 - x924 - x925 - x926 - x927 - x928 - x929 =E= 0; e494.. x930 - x931 =E= 0; e495.. x932 - x933 - x934 - x935 - x936 - x937 - x938 - x939 =E= 0; e496.. x940 - x941 - x942 - x943 - x944 - x945 - x946 - x947 =E= 0; e497.. x948 - x949 - x950 - x951 - x952 - x953 - x954 - x955 =E= 0; e498.. x956 - x957 - x958 - x959 - x960 - x961 - x962 - x963 =E= 0; e499.. x964 - x965 - x966 - x967 - x968 - x969 - x970 - x971 =E= 0; e500.. x972 - x973 - x974 - x975 - x976 - x977 - x978 - x979 =E= 0; e501.. - x980 - x981 - x982 - x983 - x984 - x985 - x986 + x987 =E= 0; e502.. - x988 - x989 - x990 - x991 - x992 - x993 - x994 + x995 =E= 0; e503.. x996 - x997 - x998 - x999 - x1000 - x1001 - x1002 - x1003 =E= 0; e504.. x1004 - x1005 - x1006 - x1007 - x1008 - x1009 - x1010 - x1011 =E= 0; e505.. x1012 - x1013 =E= 0; e506.. x1014 - x1015 - x1016 - x1017 - x1018 - x1019 - x1020 - x1021 =E= 0; e507.. x1022 - x1023 - x1024 - x1025 - x1026 - x1027 - x1028 - x1029 =E= 0; e508.. x1030 - x1031 - x1032 - x1033 - x1034 - x1035 - x1036 - x1037 =E= 0; e509.. x1038 - x1039 - x1040 - x1041 - x1042 - x1043 - x1044 - x1045 =E= 0; e510.. x1046 - x1047 - x1048 - x1049 - x1050 - x1051 - x1052 - x1053 =E= 0; e511.. x1054 - x1055 - x1056 - x1057 - x1058 - x1059 - x1060 - x1061 =E= 0; e512.. - x1062 - x1063 - x1064 - x1065 - x1066 - x1067 - x1068 + x1069 =E= 0; e513.. - x1070 - x1071 - x1072 - x1073 - x1074 - x1075 - x1076 + x1077 =E= 0; e514.. x1078 - x1079 - x1080 - x1081 - x1082 - x1083 - x1084 - x1085 =E= 0; e515.. x1086 - x1087 - x1088 - x1089 - x1090 - x1091 - x1092 - x1093 =E= 0; e516.. x1094 - x1095 - x1096 - x1097 - x1098 - x1099 - x1100 - x1101 =E= 0; e517.. x1102 - x1103 - x1104 - x1105 - x1106 - x1107 - x1108 - x1109 =E= 0; e518.. x1110 - x1111 - x1112 - x1113 - x1114 - x1115 - x1116 - x1117 =E= 0; e519.. x1118 - x1119 - x1120 - x1121 - x1122 - x1123 - x1124 - x1125 =E= 0; e520.. x1126 - x1127 - x1128 - x1129 - x1130 - x1131 - x1132 - x1133 =E= 0; e521.. x1134 - x1135 - x1136 - x1137 - x1138 - x1139 - x1140 - x1141 =E= 0; e522.. x1142 - x1143 - x1144 - x1145 - x1146 - x1147 - x1148 - x1149 =E= 0; e523.. - x1150 - x1151 - x1152 - x1153 - x1154 - x1155 - x1156 + x1157 =E= 0; e524.. - x1158 - x1159 - x1160 - x1161 - x1162 - x1163 - x1164 + x1165 =E= 0; e525.. x1166 - x1167 - x1168 - x1169 - x1170 - x1171 - x1172 - x1173 =E= 0; e526.. x1174 - x1175 - x1176 - x1177 - x1178 - x1179 - x1180 - x1181 =E= 0; e527.. x1182 - x1183 - x1184 - x1185 - x1186 - x1187 - x1188 - x1189 =E= 0; e528.. x1190 - x1191 - x1192 - x1193 - x1194 - x1195 - x1196 - x1197 =E= 0; e529.. x1198 - x1199 - x1200 - x1201 - x1202 - x1203 - x1204 - x1205 =E= 0; e530.. x1206 - x1207 - x1208 - x1209 - x1210 - x1211 - x1212 - x1213 =E= 0; e531.. x1214 - x1215 - x1216 - x1217 - x1218 - x1219 - x1220 - x1221 =E= 0; e532.. x1222 - x1223 - x1224 - x1225 - x1226 - x1227 - x1228 - x1229 =E= 0; e533.. x1230 - x1231 - x1232 - x1233 - x1234 - x1235 - x1236 - x1237 =E= 0; e534.. - x1238 - x1239 - x1240 - x1241 - x1242 - x1243 - x1244 + x1245 =E= 0; e535.. - x1246 - x1247 - x1248 - x1249 - x1250 - x1251 - x1252 + x1253 =E= 0; e536.. x476 + x896 =E= 50; e537.. - x476 + x491 + x492 + x898 =E= 20; e538.. x493 + x494 + x495 + x901 =E= 20; e539.. x496 + x497 + x903 =E= 20; e540.. - x491 - x493 + x498 + x905 =E= 30; e541.. - x492 - x494 - x496 + x499 + x500 + x909 =E= 50; e542.. - x495 - x497 + x501 + x913 =E= 30; e543.. - x498 - x499 + x918 =E= 0; e544.. - x500 - x501 + x921 =E= 0; e545.. x476 + x477 + x922 =E= 50; e546.. x478 + x930 =E= 50; e547.. - x476 - x477 + x491 + x492 + x502 + x503 + x932 =E= 20; e548.. - x478 + x493 + x494 + x495 + x504 + x505 + x506 + x940 =E= 20; e549.. x496 + x497 + x507 + x508 + x948 =E= 20; e550.. - x491 - x493 + x498 - x502 - x504 + x509 + x956 =E= 30; e551.. - x492 - x494 - x496 + x499 + x500 - x503 - x505 - x507 + x510 + x511 + x964 =E= 50; e552.. - x495 - x497 + x501 - x506 - x508 + x512 + x972 =E= 30; e553.. - x498 - x499 - x509 - x510 + x987 =E= 0; e554.. - x500 - x501 - x511 - x512 + x995 =E= 0; e555.. x476 + x477 + x479 + x996 =E= 50; e556.. x478 + x480 + x1004 =E= 50; e557.. x481 + x1012 =E= 50; e558.. - x476 - x477 - x479 + x491 + x492 + x502 + x503 + x513 + x514 + x1014 =E= 20; e559.. - x478 - x480 + x493 + x494 + x495 + x504 + x505 + x506 + x515 + x516 + x517 + x1022 =E= 20; e560.. - x481 + x496 + x497 + x507 + x508 + x518 + x519 + x1030 =E= 20; e561.. - x491 - x493 + x498 - x502 - x504 + x509 - x513 - x515 + x520 + x1038 =E= 30; e562.. - x492 - x494 - x496 + x499 + x500 - x503 - x505 - x507 + x510 + x511 - x514 - x516 - x518 + x521 + x522 + x1046 =E= 50; e563.. - x495 - x497 + x501 - x506 - x508 + x512 - x517 - x519 + x523 + x1054 =E= 30; e564.. - x498 - x499 - x509 - x510 - x520 - x521 + x1069 =E= 0; e565.. - x500 - x501 - x511 - x512 - x522 - x523 + x1077 =E= 0; e566.. x476 + x477 + x479 + x482 + x1078 =E= 50; e567.. x478 + x480 + x483 + x1086 =E= 50; e568.. x481 + x484 + x1094 =E= 50; e569.. - x476 - x477 - x479 - x482 + x491 + x492 + x502 + x503 + x513 + x514 + x524 + x525 + x1102 =E= 20; e570.. - x478 - x480 - x483 + x493 + x494 + x495 + x504 + x505 + x506 + x515 + x516 + x517 + x526 + x527 + x528 + x1110 =E= 20; e571.. - x481 - x484 + x496 + x497 + x507 + x508 + x518 + x519 + x529 + x530 + x1118 =E= 20; e572.. - x491 - x493 + x498 - x502 - x504 + x509 - x513 - x515 + x520 - x524 - x526 + x531 + x1126 =E= 30; e573.. - x492 - x494 - x496 + x499 + x500 - x503 - x505 - x507 + x510 + x511 - x514 - x516 - x518 + x521 + x522 - x525 - x527 - x529 + x532 + x533 + x1134 =E= 50; e574.. - x495 - x497 + x501 - x506 - x508 + x512 - x517 - x519 + x523 - x528 - x530 + x534 + x1142 =E= 30; e575.. - x498 - x499 - x509 - x510 - x520 - x521 - x531 - x532 + x1157 =E= 0; e576.. - x500 - x501 - x511 - x512 - x522 - x523 - x533 - x534 + x1165 =E= 0; e577.. x476 + x477 + x479 + x482 + x485 + x1166 =E= 50; e578.. x478 + x480 + x483 + x486 + x1174 =E= 50; e579.. x481 + x484 + x487 + x1182 =E= 50; e580.. - x476 - x477 - x479 - x482 - x485 + x491 + x492 + x502 + x503 + x513 + x514 + x524 + x525 + x535 + x536 + x1190 =E= 20; e581.. - x478 - x480 - x483 - x486 + x493 + x494 + x495 + x504 + x505 + x506 + x515 + x516 + x517 + x526 + x527 + x528 + x537 + x538 + x539 + x1198 =E= 20; e582.. - x481 - x484 - x487 + x496 + x497 + x507 + x508 + x518 + x519 + x529 + x530 + x540 + x541 + x1206 =E= 20; e583.. - x491 - x493 + x498 - x502 - x504 + x509 - x513 - x515 + x520 - x524 - x526 + x531 - x535 - x537 + x542 + x1214 =E= 30; e584.. - x492 - x494 - x496 + x499 + x500 - x503 - x505 - x507 + x510 + x511 - x514 - x516 - x518 + x521 + x522 - x525 - x527 - x529 + x532 + x533 - x536 - x538 - x540 + x543 + x544 + x1222 =E= 50; e585.. - x495 - x497 + x501 - x506 - x508 + x512 - x517 - x519 + x523 - x528 - x530 + x534 - x539 - x541 + x545 + x1230 =E= 30; e586.. - x498 - x499 - x509 - x510 - x520 - x521 - x531 - x532 - x542 - x543 + x1245 =E= 0; e587.. - x500 - x501 - x511 - x512 - x522 - x523 - x533 - x534 - x544 - x545 + x1253 =E= 0; e588.. x557 + x897 =E= 50; e589.. - x557 + x899 =E= 0; e590.. x558 + x559 + x900 =E= 20; e591.. x560 + x561 + x562 + x902 =E= 20; e592.. x563 + x564 + x904 =E= 20; e593.. - x558 + x906 =E= 0; e594.. - x560 + x907 =E= 0; e595.. x2 + x908 =E= 30; e596.. - x559 + x910 =E= 0; e597.. x3 + x4 - x561 + x911 =E= 50; e598.. - x563 + x912 =E= 0; e599.. - x562 + x914 =E= 0; e600.. x5 - x564 + x915 =E= 30; e601.. - x3 + x916 =E= 0; e602.. - x2 + x917 =E= 0; e603.. - x4 + x919 =E= 0; e604.. - x5 + x920 =E= 0; e605.. x557 + x565 + x923 =E= 50; e606.. x566 + x924 =E= 0; e607.. x567 + x925 =E= 0; e608.. x568 + x926 =E= 0; e609.. x569 + x927 =E= 0; e610.. x570 + x928 =E= 0; e611.. x571 + x929 =E= 0; e612.. x572 + x931 =E= 50; e613.. - x557 - x565 + x573 + x580 + x933 =E= 0; e614.. - x566 + x574 + x581 + x934 =E= 0; e615.. - x567 + x575 + x582 + x935 =E= 0; e616.. x558 + x559 - x568 + x576 + x583 + x936 =E= 20; e617.. - x569 + x577 + x584 + x937 =E= 0; e618.. - x570 + x578 + x585 + x938 =E= 0; e619.. - x571 + x579 + x586 + x939 =E= 0; e620.. x587 + x594 + x601 + x941 =E= 0; e621.. - x572 + x588 + x595 + x602 + x942 =E= 0; e622.. x589 + x596 + x603 + x943 =E= 0; e623.. x590 + x597 + x604 + x944 =E= 0; e624.. x560 + x561 + x562 + x591 + x598 + x605 + x945 =E= 20; e625.. x592 + x599 + x606 + x946 =E= 0; e626.. x593 + x600 + x607 + x947 =E= 0; e627.. x608 + x615 + x949 =E= 0; e628.. x609 + x616 + x950 =E= 0; e629.. x610 + x617 + x951 =E= 0; e630.. x611 + x618 + x952 =E= 0; e631.. x612 + x619 + x953 =E= 0; e632.. x563 + x564 + x613 + x620 + x954 =E= 20; e633.. x614 + x621 + x955 =E= 0; e634.. x6 - x573 - x587 + x957 =E= 0; e635.. x7 - x574 - x588 + x958 =E= 0; e636.. x8 - x575 - x589 + x959 =E= 0; e637.. x9 - x558 - x576 - x590 + x960 =E= 0; e638.. x10 - x560 - x577 - x591 + x961 =E= 0; e639.. x11 - x578 - x592 + x962 =E= 0; e640.. x2 + x12 - x579 - x593 + x963 =E= 30; e641.. x13 + x20 - x580 - x594 - x608 + x965 =E= 0; e642.. x14 + x21 - x581 - x595 - x609 + x966 =E= 0; e643.. x15 + x22 - x582 - x596 - x610 + x967 =E= 0; e644.. x16 + x23 - x559 - x583 - x597 - x611 + x968 =E= 0; e645.. x3 + x4 + x17 + x24 - x561 - x584 - x598 - x612 + x969 =E= 50; e646.. x18 + x25 - x563 - x585 - x599 - x613 + x970 =E= 0; e647.. x19 + x26 - x586 - x600 - x614 + x971 =E= 0; e648.. x27 - x601 - x615 + x973 =E= 0; e649.. x28 - x602 - x616 + x974 =E= 0; e650.. x29 - x603 - x617 + x975 =E= 0; e651.. x30 - x604 - x618 + x976 =E= 0; e652.. x31 - x562 - x605 - x619 + x977 =E= 0; e653.. x5 + x32 - x564 - x606 - x620 + x978 =E= 30; e654.. x33 - x607 - x621 + x979 =E= 0; e655.. - x6 - x13 + x980 =E= 0; e656.. - x7 - x14 + x981 =E= 0; e657.. - x8 - x15 + x982 =E= 0; e658.. - x9 - x16 + x983 =E= 0; e659.. - x3 - x10 - x17 + x984 =E= 0; e660.. - x11 - x18 + x985 =E= 0; e661.. - x2 - x12 - x19 + x986 =E= 0; e662.. - x20 - x27 + x988 =E= 0; e663.. - x21 - x28 + x989 =E= 0; e664.. - x22 - x29 + x990 =E= 0; e665.. - x23 - x30 + x991 =E= 0; e666.. - x4 - x24 - x31 + x992 =E= 0; e667.. - x5 - x25 - x32 + x993 =E= 0; e668.. - x26 - x33 + x994 =E= 0; e669.. x557 + x565 + x622 + x997 =E= 50; e670.. x566 + x623 + x998 =E= 0; e671.. x567 + x624 + x999 =E= 0; e672.. x568 + x625 + x1000 =E= 0; e673.. x569 + x626 + x1001 =E= 0; e674.. x570 + x627 + x1002 =E= 0; e675.. x571 + x628 + x1003 =E= 0; e676.. x629 + x1005 =E= 0; e677.. x572 + x630 + x1006 =E= 50; e678.. x631 + x1007 =E= 0; e679.. x632 + x1008 =E= 0; e680.. x633 + x1009 =E= 0; e681.. x634 + x1010 =E= 0; e682.. x635 + x1011 =E= 0; e683.. x636 + x1013 =E= 50; e684.. - x557 - x565 + x573 + x580 - x622 + x637 + x644 + x1015 =E= 0; e685.. - x566 + x574 + x581 - x623 + x638 + x645 + x1016 =E= 0; e686.. - x567 + x575 + x582 - x624 + x639 + x646 + x1017 =E= 0; e687.. x558 + x559 - x568 + x576 + x583 - x625 + x640 + x647 + x1018 =E= 20; e688.. - x569 + x577 + x584 - x626 + x641 + x648 + x1019 =E= 0; e689.. - x570 + x578 + x585 - x627 + x642 + x649 + x1020 =E= 0; e690.. - x571 + x579 + x586 - x628 + x643 + x650 + x1021 =E= 0; e691.. x587 + x594 + x601 - x629 + x651 + x658 + x665 + x1023 =E= 0; e692.. - x572 + x588 + x595 + x602 - x630 + x652 + x659 + x666 + x1024 =E= 0; e693.. x589 + x596 + x603 - x631 + x653 + x660 + x667 + x1025 =E= 0; e694.. x590 + x597 + x604 - x632 + x654 + x661 + x668 + x1026 =E= 0; e695.. x560 + x561 + x562 + x591 + x598 + x605 - x633 + x655 + x662 + x669 + x1027 =E= 20; e696.. x592 + x599 + x606 - x634 + x656 + x663 + x670 + x1028 =E= 0; e697.. x593 + x600 + x607 - x635 + x657 + x664 + x671 + x1029 =E= 0; e698.. x608 + x615 + x672 + x679 + x1031 =E= 0; e699.. x609 + x616 + x673 + x680 + x1032 =E= 0; e700.. x610 + x617 - x636 + x674 + x681 + x1033 =E= 0; e701.. x611 + x618 + x675 + x682 + x1034 =E= 0; e702.. x612 + x619 + x676 + x683 + x1035 =E= 0; e703.. x563 + x564 + x613 + x620 + x677 + x684 + x1036 =E= 20; e704.. x614 + x621 + x678 + x685 + x1037 =E= 0; e705.. x6 + x34 - x573 - x587 - x637 - x651 + x1039 =E= 0; e706.. x7 + x35 - x574 - x588 - x638 - x652 + x1040 =E= 0; e707.. x8 + x36 - x575 - x589 - x639 - x653 + x1041 =E= 0; e708.. x9 + x37 - x558 - x576 - x590 - x640 - x654 + x1042 =E= 0; e709.. x10 + x38 - x560 - x577 - x591 - x641 - x655 + x1043 =E= 0; e710.. x11 + x39 - x578 - x592 - x642 - x656 + x1044 =E= 0; e711.. x2 + x12 + x40 - x579 - x593 - x643 - x657 + x1045 =E= 30; e712.. x13 + x20 + x41 + x48 - x580 - x594 - x608 - x644 - x658 - x672 + x1047 =E= 0; e713.. x14 + x21 + x42 + x49 - x581 - x595 - x609 - x645 - x659 - x673 + x1048 =E= 0; e714.. x15 + x22 + x43 + x50 - x582 - x596 - x610 - x646 - x660 - x674 + x1049 =E= 0; e715.. x16 + x23 + x44 + x51 - x559 - x583 - x597 - x611 - x647 - x661 - x675 + x1050 =E= 0; e716.. x3 + x4 + x17 + x24 + x45 + x52 - x561 - x584 - x598 - x612 - x648 - x662 - x676 + x1051 =E= 50; e717.. x18 + x25 + x46 + x53 - x563 - x585 - x599 - x613 - x649 - x663 - x677 + x1052 =E= 0; e718.. x19 + x26 + x47 + x54 - x586 - x600 - x614 - x650 - x664 - x678 + x1053 =E= 0; e719.. x27 + x55 - x601 - x615 - x665 - x679 + x1055 =E= 0; e720.. x28 + x56 - x602 - x616 - x666 - x680 + x1056 =E= 0; e721.. x29 + x57 - x603 - x617 - x667 - x681 + x1057 =E= 0; e722.. x30 + x58 - x604 - x618 - x668 - x682 + x1058 =E= 0; e723.. x31 + x59 - x562 - x605 - x619 - x669 - x683 + x1059 =E= 0; e724.. x5 + x32 + x60 - x564 - x606 - x620 - x670 - x684 + x1060 =E= 30; e725.. x33 + x61 - x607 - x621 - x671 - x685 + x1061 =E= 0; e726.. - x6 - x13 - x34 - x41 + x1062 =E= 0; e727.. - x7 - x14 - x35 - x42 + x1063 =E= 0; e728.. - x8 - x15 - x36 - x43 + x1064 =E= 0; e729.. - x9 - x16 - x37 - x44 + x1065 =E= 0; e730.. - x3 - x10 - x17 - x38 - x45 + x1066 =E= 0; e731.. - x11 - x18 - x39 - x46 + x1067 =E= 0; e732.. - x2 - x12 - x19 - x40 - x47 + x1068 =E= 0; e733.. - x20 - x27 - x48 - x55 + x1070 =E= 0; e734.. - x21 - x28 - x49 - x56 + x1071 =E= 0; e735.. - x22 - x29 - x50 - x57 + x1072 =E= 0; e736.. - x23 - x30 - x51 - x58 + x1073 =E= 0; e737.. - x4 - x24 - x31 - x52 - x59 + x1074 =E= 0; e738.. - x5 - x25 - x32 - x53 - x60 + x1075 =E= 0; e739.. - x26 - x33 - x54 - x61 + x1076 =E= 0; e740.. x557 + x565 + x622 + x686 + x1079 =E= 50; e741.. x566 + x623 + x687 + x1080 =E= 0; e742.. x567 + x624 + x688 + x1081 =E= 0; e743.. x568 + x625 + x689 + x1082 =E= 0; e744.. x569 + x626 + x690 + x1083 =E= 0; e745.. x570 + x627 + x691 + x1084 =E= 0; e746.. x571 + x628 + x692 + x1085 =E= 0; e747.. x629 + x693 + x1087 =E= 0; e748.. x572 + x630 + x694 + x1088 =E= 50; e749.. x631 + x695 + x1089 =E= 0; e750.. x632 + x696 + x1090 =E= 0; e751.. x633 + x697 + x1091 =E= 0; e752.. x634 + x698 + x1092 =E= 0; e753.. x635 + x699 + x1093 =E= 0; e754.. x700 + x1095 =E= 0; e755.. x701 + x1096 =E= 0; e756.. x636 + x702 + x1097 =E= 50; e757.. x703 + x1098 =E= 0; e758.. x704 + x1099 =E= 0; e759.. x705 + x1100 =E= 0; e760.. x706 + x1101 =E= 0; e761.. - x557 - x565 + x573 + x580 - x622 + x637 + x644 - x686 + x707 + x714 + x1103 =E= 0; e762.. - x566 + x574 + x581 - x623 + x638 + x645 - x687 + x708 + x715 + x1104 =E= 0; e763.. - x567 + x575 + x582 - x624 + x639 + x646 - x688 + x709 + x716 + x1105 =E= 0; e764.. x558 + x559 - x568 + x576 + x583 - x625 + x640 + x647 - x689 + x710 + x717 + x1106 =E= 20; e765.. - x569 + x577 + x584 - x626 + x641 + x648 - x690 + x711 + x718 + x1107 =E= 0; e766.. - x570 + x578 + x585 - x627 + x642 + x649 - x691 + x712 + x719 + x1108 =E= 0; e767.. - x571 + x579 + x586 - x628 + x643 + x650 - x692 + x713 + x720 + x1109 =E= 0; e768.. x587 + x594 + x601 - x629 + x651 + x658 + x665 - x693 + x721 + x728 + x735 + x1111 =E= 0; e769.. - x572 + x588 + x595 + x602 - x630 + x652 + x659 + x666 - x694 + x722 + x729 + x736 + x1112 =E= 0; e770.. x589 + x596 + x603 - x631 + x653 + x660 + x667 - x695 + x723 + x730 + x737 + x1113 =E= 0; e771.. x590 + x597 + x604 - x632 + x654 + x661 + x668 - x696 + x724 + x731 + x738 + x1114 =E= 0; e772.. x560 + x561 + x562 + x591 + x598 + x605 - x633 + x655 + x662 + x669 - x697 + x725 + x732 + x739 + x1115 =E= 20; e773.. x592 + x599 + x606 - x634 + x656 + x663 + x670 - x698 + x726 + x733 + x740 + x1116 =E= 0; e774.. x593 + x600 + x607 - x635 + x657 + x664 + x671 - x699 + x727 + x734 + x741 + x1117 =E= 0; e775.. x608 + x615 + x672 + x679 - x700 + x742 + x749 + x1119 =E= 0; e776.. x609 + x616 + x673 + x680 - x701 + x743 + x750 + x1120 =E= 0; e777.. x610 + x617 - x636 + x674 + x681 - x702 + x744 + x751 + x1121 =E= 0; e778.. x611 + x618 + x675 + x682 - x703 + x745 + x752 + x1122 =E= 0; e779.. x612 + x619 + x676 + x683 - x704 + x746 + x753 + x1123 =E= 0; e780.. x563 + x564 + x613 + x620 + x677 + x684 - x705 + x747 + x754 + x1124 =E= 20; e781.. x614 + x621 + x678 + x685 - x706 + x748 + x755 + x1125 =E= 0; e782.. x6 + x34 + x62 - x573 - x587 - x637 - x651 - x707 - x721 + x1127 =E= 0; e783.. x7 + x35 + x63 - x574 - x588 - x638 - x652 - x708 - x722 + x1128 =E= 0; e784.. x8 + x36 + x64 - x575 - x589 - x639 - x653 - x709 - x723 + x1129 =E= 0; e785.. x9 + x37 + x65 - x558 - x576 - x590 - x640 - x654 - x710 - x724 + x1130 =E= 0; e786.. x10 + x38 + x66 - x560 - x577 - x591 - x641 - x655 - x711 - x725 + x1131 =E= 0; e787.. x11 + x39 + x67 - x578 - x592 - x642 - x656 - x712 - x726 + x1132 =E= 0; e788.. x2 + x12 + x40 + x68 - x579 - x593 - x643 - x657 - x713 - x727 + x1133 =E= 30; e789.. x13 + x20 + x41 + x48 + x69 + x76 - x580 - x594 - x608 - x644 - x658 - x672 - x714 - x728 - x742 + x1135 =E= 0; e790.. x14 + x21 + x42 + x49 + x70 + x77 - x581 - x595 - x609 - x645 - x659 - x673 - x715 - x729 - x743 + x1136 =E= 0; e791.. x15 + x22 + x43 + x50 + x71 + x78 - x582 - x596 - x610 - x646 - x660 - x674 - x716 - x730 - x744 + x1137 =E= 0; e792.. x16 + x23 + x44 + x51 + x72 + x79 - x559 - x583 - x597 - x611 - x647 - x661 - x675 - x717 - x731 - x745 + x1138 =E= 0; e793.. x3 + x4 + x17 + x24 + x45 + x52 + x73 + x80 - x561 - x584 - x598 - x612 - x648 - x662 - x676 - x718 - x732 - x746 + x1139 =E= 50; e794.. x18 + x25 + x46 + x53 + x74 + x81 - x563 - x585 - x599 - x613 - x649 - x663 - x677 - x719 - x733 - x747 + x1140 =E= 0; e795.. x19 + x26 + x47 + x54 + x75 + x82 - x586 - x600 - x614 - x650 - x664 - x678 - x720 - x734 - x748 + x1141 =E= 0; e796.. x27 + x55 + x83 - x601 - x615 - x665 - x679 - x735 - x749 + x1143 =E= 0; e797.. x28 + x56 + x84 - x602 - x616 - x666 - x680 - x736 - x750 + x1144 =E= 0; e798.. x29 + x57 + x85 - x603 - x617 - x667 - x681 - x737 - x751 + x1145 =E= 0; e799.. x30 + x58 + x86 - x604 - x618 - x668 - x682 - x738 - x752 + x1146 =E= 0; e800.. x31 + x59 + x87 - x562 - x605 - x619 - x669 - x683 - x739 - x753 + x1147 =E= 0; e801.. x5 + x32 + x60 + x88 - x564 - x606 - x620 - x670 - x684 - x740 - x754 + x1148 =E= 30; e802.. x33 + x61 + x89 - x607 - x621 - x671 - x685 - x741 - x755 + x1149 =E= 0; e803.. - x6 - x13 - x34 - x41 - x62 - x69 + x1150 =E= 0; e804.. - x7 - x14 - x35 - x42 - x63 - x70 + x1151 =E= 0; e805.. - x8 - x15 - x36 - x43 - x64 - x71 + x1152 =E= 0; e806.. - x9 - x16 - x37 - x44 - x65 - x72 + x1153 =E= 0; e807.. - x3 - x10 - x17 - x38 - x45 - x66 - x73 + x1154 =E= 0; e808.. - x11 - x18 - x39 - x46 - x67 - x74 + x1155 =E= 0; e809.. - x2 - x12 - x19 - x40 - x47 - x68 - x75 + x1156 =E= 0; e810.. - x20 - x27 - x48 - x55 - x76 - x83 + x1158 =E= 0; e811.. - x21 - x28 - x49 - x56 - x77 - x84 + x1159 =E= 0; e812.. - x22 - x29 - x50 - x57 - x78 - x85 + x1160 =E= 0; e813.. - x23 - x30 - x51 - x58 - x79 - x86 + x1161 =E= 0; e814.. - x4 - x24 - x31 - x52 - x59 - x80 - x87 + x1162 =E= 0; e815.. - x5 - x25 - x32 - x53 - x60 - x81 - x88 + x1163 =E= 0; e816.. - x26 - x33 - x54 - x61 - x82 - x89 + x1164 =E= 0; e817.. x557 + x565 + x622 + x686 + x756 + x1167 =E= 50; e818.. x566 + x623 + x687 + x757 + x1168 =E= 0; e819.. x567 + x624 + x688 + x758 + x1169 =E= 0; e820.. x568 + x625 + x689 + x759 + x1170 =E= 0; e821.. x569 + x626 + x690 + x760 + x1171 =E= 0; e822.. x570 + x627 + x691 + x761 + x1172 =E= 0; e823.. x571 + x628 + x692 + x762 + x1173 =E= 0; e824.. x629 + x693 + x763 + x1175 =E= 0; e825.. x572 + x630 + x694 + x764 + x1176 =E= 50; e826.. x631 + x695 + x765 + x1177 =E= 0; e827.. x632 + x696 + x766 + x1178 =E= 0; e828.. x633 + x697 + x767 + x1179 =E= 0; e829.. x634 + x698 + x768 + x1180 =E= 0; e830.. x635 + x699 + x769 + x1181 =E= 0; e831.. x700 + x770 + x1183 =E= 0; e832.. x701 + x771 + x1184 =E= 0; e833.. x636 + x702 + x772 + x1185 =E= 50; e834.. x703 + x773 + x1186 =E= 0; e835.. x704 + x774 + x1187 =E= 0; e836.. x705 + x775 + x1188 =E= 0; e837.. x706 + x776 + x1189 =E= 0; e838.. - x557 - x565 + x573 + x580 - x622 + x637 + x644 - x686 + x707 + x714 - x756 + x777 + x784 + x1191 =E= 0; e839.. - x566 + x574 + x581 - x623 + x638 + x645 - x687 + x708 + x715 - x757 + x778 + x785 + x1192 =E= 0; e840.. - x567 + x575 + x582 - x624 + x639 + x646 - x688 + x709 + x716 - x758 + x779 + x786 + x1193 =E= 0; e841.. x558 + x559 - x568 + x576 + x583 - x625 + x640 + x647 - x689 + x710 + x717 - x759 + x780 + x787 + x1194 =E= 20; e842.. - x569 + x577 + x584 - x626 + x641 + x648 - x690 + x711 + x718 - x760 + x781 + x788 + x1195 =E= 0; e843.. - x570 + x578 + x585 - x627 + x642 + x649 - x691 + x712 + x719 - x761 + x782 + x789 + x1196 =E= 0; e844.. - x571 + x579 + x586 - x628 + x643 + x650 - x692 + x713 + x720 - x762 + x783 + x790 + x1197 =E= 0; e845.. x587 + x594 + x601 - x629 + x651 + x658 + x665 - x693 + x721 + x728 + x735 - x763 + x791 + x798 + x805 + x1199 =E= 0; e846.. - x572 + x588 + x595 + x602 - x630 + x652 + x659 + x666 - x694 + x722 + x729 + x736 - x764 + x792 + x799 + x806 + x1200 =E= 0; e847.. x589 + x596 + x603 - x631 + x653 + x660 + x667 - x695 + x723 + x730 + x737 - x765 + x793 + x800 + x807 + x1201 =E= 0; e848.. x590 + x597 + x604 - x632 + x654 + x661 + x668 - x696 + x724 + x731 + x738 - x766 + x794 + x801 + x808 + x1202 =E= 0; e849.. x560 + x561 + x562 + x591 + x598 + x605 - x633 + x655 + x662 + x669 - x697 + x725 + x732 + x739 - x767 + x795 + x802 + x809 + x1203 =E= 20; e850.. x592 + x599 + x606 - x634 + x656 + x663 + x670 - x698 + x726 + x733 + x740 - x768 + x796 + x803 + x810 + x1204 =E= 0; e851.. x593 + x600 + x607 - x635 + x657 + x664 + x671 - x699 + x727 + x734 + x741 - x769 + x797 + x804 + x811 + x1205 =E= 0; e852.. x608 + x615 + x672 + x679 - x700 + x742 + x749 - x770 + x812 + x819 + x1207 =E= 0; e853.. x609 + x616 + x673 + x680 - x701 + x743 + x750 - x771 + x813 + x820 + x1208 =E= 0; e854.. x610 + x617 - x636 + x674 + x681 - x702 + x744 + x751 - x772 + x814 + x821 + x1209 =E= 0; e855.. x611 + x618 + x675 + x682 - x703 + x745 + x752 - x773 + x815 + x822 + x1210 =E= 0; e856.. x612 + x619 + x676 + x683 - x704 + x746 + x753 - x774 + x816 + x823 + x1211 =E= 0; e857.. x563 + x564 + x613 + x620 + x677 + x684 - x705 + x747 + x754 - x775 + x817 + x824 + x1212 =E= 20; e858.. x614 + x621 + x678 + x685 - x706 + x748 + x755 - x776 + x818 + x825 + x1213 =E= 0; e859.. x6 + x34 + x62 + x90 - x573 - x587 - x637 - x651 - x707 - x721 - x777 - x791 + x1215 =E= 0; e860.. x7 + x35 + x63 + x91 - x574 - x588 - x638 - x652 - x708 - x722 - x778 - x792 + x1216 =E= 0; e861.. x8 + x36 + x64 + x92 - x575 - x589 - x639 - x653 - x709 - x723 - x779 - x793 + x1217 =E= 0; e862.. x9 + x37 + x65 + x93 - x558 - x576 - x590 - x640 - x654 - x710 - x724 - x780 - x794 + x1218 =E= 0; e863.. x10 + x38 + x66 + x94 - x560 - x577 - x591 - x641 - x655 - x711 - x725 - x781 - x795 + x1219 =E= 0; e864.. x11 + x39 + x67 + x95 - x578 - x592 - x642 - x656 - x712 - x726 - x782 - x796 + x1220 =E= 0; e865.. x2 + x12 + x40 + x68 + x96 - x579 - x593 - x643 - x657 - x713 - x727 - x783 - x797 + x1221 =E= 30; e866.. x13 + x20 + x41 + x48 + x69 + x76 + x97 + x104 - x580 - x594 - x608 - x644 - x658 - x672 - x714 - x728 - x742 - x784 - x798 - x812 + x1223 =E= 0; e867.. x14 + x21 + x42 + x49 + x70 + x77 + x98 + x105 - x581 - x595 - x609 - x645 - x659 - x673 - x715 - x729 - x743 - x785 - x799 - x813 + x1224 =E= 0; e868.. x15 + x22 + x43 + x50 + x71 + x78 + x99 + x106 - x582 - x596 - x610 - x646 - x660 - x674 - x716 - x730 - x744 - x786 - x800 - x814 + x1225 =E= 0; e869.. x16 + x23 + x44 + x51 + x72 + x79 + x100 + x107 - x559 - x583 - x597 - x611 - x647 - x661 - x675 - x717 - x731 - x745 - x787 - x801 - x815 + x1226 =E= 0; e870.. x3 + x4 + x17 + x24 + x45 + x52 + x73 + x80 + x101 + x108 - x561 - x584 - x598 - x612 - x648 - x662 - x676 - x718 - x732 - x746 - x788 - x802 - x816 + x1227 =E= 50; e871.. x18 + x25 + x46 + x53 + x74 + x81 + x102 + x109 - x563 - x585 - x599 - x613 - x649 - x663 - x677 - x719 - x733 - x747 - x789 - x803 - x817 + x1228 =E= 0; e872.. x19 + x26 + x47 + x54 + x75 + x82 + x103 + x110 - x586 - x600 - x614 - x650 - x664 - x678 - x720 - x734 - x748 - x790 - x804 - x818 + x1229 =E= 0; e873.. x27 + x55 + x83 + x111 - x601 - x615 - x665 - x679 - x735 - x749 - x805 - x819 + x1231 =E= 0; e874.. x28 + x56 + x84 + x112 - x602 - x616 - x666 - x680 - x736 - x750 - x806 - x820 + x1232 =E= 0; e875.. x29 + x57 + x85 + x113 - x603 - x617 - x667 - x681 - x737 - x751 - x807 - x821 + x1233 =E= 0; e876.. x30 + x58 + x86 + x114 - x604 - x618 - x668 - x682 - x738 - x752 - x808 - x822 + x1234 =E= 0; e877.. x31 + x59 + x87 + x115 - x562 - x605 - x619 - x669 - x683 - x739 - x753 - x809 - x823 + x1235 =E= 0; e878.. x5 + x32 + x60 + x88 + x116 - x564 - x606 - x620 - x670 - x684 - x740 - x754 - x810 - x824 + x1236 =E= 30; e879.. x33 + x61 + x89 + x117 - x607 - x621 - x671 - x685 - x741 - x755 - x811 - x825 + x1237 =E= 0; e880.. - x6 - x13 - x34 - x41 - x62 - x69 - x90 - x97 + x1238 =E= 0; e881.. - x7 - x14 - x35 - x42 - x63 - x70 - x91 - x98 + x1239 =E= 0; e882.. - x8 - x15 - x36 - x43 - x64 - x71 - x92 - x99 + x1240 =E= 0; e883.. - x9 - x16 - x37 - x44 - x65 - x72 - x93 - x100 + x1241 =E= 0; e884.. - x3 - x10 - x17 - x38 - x45 - x66 - x73 - x94 - x101 + x1242 =E= 0; e885.. - x11 - x18 - x39 - x46 - x67 - x74 - x95 - x102 + x1243 =E= 0; e886.. - x2 - x12 - x19 - x40 - x47 - x68 - x75 - x96 - x103 + x1244 =E= 0; e887.. - x20 - x27 - x48 - x55 - x76 - x83 - x104 - x111 + x1246 =E= 0; e888.. - x21 - x28 - x49 - x56 - x77 - x84 - x105 - x112 + x1247 =E= 0; e889.. - x22 - x29 - x50 - x57 - x78 - x85 - x106 - x113 + x1248 =E= 0; e890.. - x23 - x30 - x51 - x58 - x79 - x86 - x107 - x114 + x1249 =E= 0; e891.. - x4 - x24 - x31 - x52 - x59 - x80 - x87 - x108 - x115 + x1250 =E= 0; e892.. - x5 - x25 - x32 - x53 - x60 - x81 - x88 - x109 - x116 + x1251 =E= 0; e893.. - x26 - x33 - x54 - x61 - x82 - x89 - x110 - x117 + x1252 =E= 0; e894.. - 5*x276 + x498 =G= 0; e895.. - 5*x279 + x499 =G= 0; e896.. - 5*x282 + x500 =G= 0; e897.. - 5*x285 + x501 =G= 0; e898.. - 5*x313 + x509 =G= 0; e899.. - 5*x316 + x510 =G= 0; e900.. - 5*x319 + x511 =G= 0; e901.. - 5*x322 + x512 =G= 0; e902.. - 5*x351 + x520 =G= 0; e903.. - 5*x354 + x521 =G= 0; e904.. - 5*x357 + x522 =G= 0; e905.. - 5*x360 + x523 =G= 0; e906.. - 5*x389 + x531 =G= 0; e907.. - 5*x392 + x532 =G= 0; e908.. - 5*x395 + x533 =G= 0; e909.. - 5*x398 + x534 =G= 0; e910.. - 5*x427 + x542 =G= 0; e911.. - 5*x430 + x543 =G= 0; e912.. - 5*x433 + x544 =G= 0; e913.. - 5*x436 + x545 =G= 0; e914.. - 5*x465 + x553 =G= 0; e915.. - 5*x468 + x554 =G= 0; e916.. - 5*x471 + x555 =G= 0; e917.. - 5*x474 + x556 =G= 0; e918.. - 50*x251 + x476 =L= 0; e919.. - 50*x255 + x491 =L= 0; e920.. - 50*x258 + x492 =L= 0; e921.. - 50*x261 + x493 =L= 0; e922.. - 50*x264 + x494 =L= 0; e923.. - 50*x267 + x495 =L= 0; e924.. - 50*x270 + x496 =L= 0; e925.. - 50*x273 + x497 =L= 0; e926.. - 50*x276 + x498 =L= 0; e927.. - 50*x279 + x499 =L= 0; e928.. - 50*x282 + x500 =L= 0; e929.. - 50*x285 + x501 =L= 0; e930.. - 50*x288 + x477 =L= 0; e931.. - 50*x289 + x478 =L= 0; e932.. - 50*x292 + x502 =L= 0; e933.. - 50*x295 + x503 =L= 0; e934.. - 50*x298 + x504 =L= 0; e935.. - 50*x301 + x505 =L= 0; e936.. - 50*x304 + x506 =L= 0; e937.. - 50*x307 + x507 =L= 0; e938.. - 50*x310 + x508 =L= 0; e939.. - 50*x313 + x509 =L= 0; e940.. - 50*x316 + x510 =L= 0; e941.. - 50*x319 + x511 =L= 0; e942.. - 50*x322 + x512 =L= 0; e943.. - 50*x325 + x479 =L= 0; e944.. - 50*x326 + x480 =L= 0; e945.. - 50*x327 + x481 =L= 0; e946.. - 50*x330 + x513 =L= 0; e947.. - 50*x333 + x514 =L= 0; e948.. - 50*x336 + x515 =L= 0; e949.. - 50*x339 + x516 =L= 0; e950.. - 50*x342 + x517 =L= 0; e951.. - 50*x345 + x518 =L= 0; e952.. - 50*x348 + x519 =L= 0; e953.. - 50*x351 + x520 =L= 0; e954.. - 50*x354 + x521 =L= 0; e955.. - 50*x357 + x522 =L= 0; e956.. - 50*x360 + x523 =L= 0; e957.. - 50*x363 + x482 =L= 0; e958.. - 50*x364 + x483 =L= 0; e959.. - 50*x365 + x484 =L= 0; e960.. - 50*x368 + x524 =L= 0; e961.. - 50*x371 + x525 =L= 0; e962.. - 50*x374 + x526 =L= 0; e963.. - 50*x377 + x527 =L= 0; e964.. - 50*x380 + x528 =L= 0; e965.. - 50*x383 + x529 =L= 0; e966.. - 50*x386 + x530 =L= 0; e967.. - 50*x389 + x531 =L= 0; e968.. - 50*x392 + x532 =L= 0; e969.. - 50*x395 + x533 =L= 0; e970.. - 50*x398 + x534 =L= 0; e971.. - 50*x401 + x485 =L= 0; e972.. - 50*x402 + x486 =L= 0; e973.. - 50*x403 + x487 =L= 0; e974.. - 50*x406 + x535 =L= 0; e975.. - 50*x409 + x536 =L= 0; e976.. - 50*x412 + x537 =L= 0; e977.. - 50*x415 + x538 =L= 0; e978.. - 50*x418 + x539 =L= 0; e979.. - 50*x421 + x540 =L= 0; e980.. - 50*x424 + x541 =L= 0; e981.. - 50*x427 + x542 =L= 0; e982.. - 50*x430 + x543 =L= 0; e983.. - 50*x433 + x544 =L= 0; e984.. - 50*x436 + x545 =L= 0; e985.. - 50*x439 + x488 =L= 0; e986.. - 50*x440 + x489 =L= 0; e987.. - 50*x441 + x490 =L= 0; e988.. - 50*x444 + x546 =L= 0; e989.. - 50*x447 + x547 =L= 0; e990.. - 50*x450 + x548 =L= 0; e991.. - 50*x453 + x549 =L= 0; e992.. - 50*x456 + x550 =L= 0; e993.. - 50*x459 + x551 =L= 0; e994.. - 50*x462 + x552 =L= 0; e995.. - 50*x465 + x553 =L= 0; e996.. - 50*x468 + x554 =L= 0; e997.. - 50*x471 + x555 =L= 0; e998.. - 50*x474 + x556 =L= 0; e999.. x276 + x279 + x313 + x316 + x351 + x354 + x389 + x392 + x427 + x430 + x465 + x468 =E= 12; e1000.. x282 + x285 + x319 + x322 + x357 + x360 + x395 + x398 + x433 + x436 + x471 + x474 =E= 12; e1001.. x498 + x509 + x520 + x531 + x542 + x553 =G= 50; e1002.. x501 + x512 + x523 + x534 + x545 + x556 =G= 50; e1003.. x499 + x500 + x510 + x511 + x521 + x522 + x532 + x533 + x543 + x544 + x554 + x555 =G= 50; e1004.. x498 + x509 + x520 + x531 + x542 + x553 =L= 50; e1005.. x501 + x512 + x523 + x534 + x545 + x556 =L= 50; e1006.. x499 + x500 + x510 + x511 + x521 + x522 + x532 + x533 + x543 + x544 + x554 + x555 =L= 50; e1007.. 0.3*x2 - 0.25*x498 =G= 0; e1008.. 0.5*x3 - 0.45*x499 =G= 0; e1009.. 0.5*x4 - 0.45*x500 =G= 0; e1010.. 0.8*x5 - 0.75*x501 =G= 0; e1011.. 0.1*x6 + 0.85*x7 + 0.6*x8 + 0.2*x9 + 0.5*x10 + 0.8*x11 + 0.3*x12 - 0.25*x509 =G= 0; e1012.. 0.1*x13 + 0.85*x14 + 0.6*x15 + 0.2*x16 + 0.5*x17 + 0.8*x18 + 0.3*x19 - 0.45*x510 =G= 0; e1013.. 0.1*x20 + 0.85*x21 + 0.6*x22 + 0.2*x23 + 0.5*x24 + 0.8*x25 + 0.3*x26 - 0.45*x511 =G= 0; e1014.. 0.1*x27 + 0.85*x28 + 0.6*x29 + 0.2*x30 + 0.5*x31 + 0.8*x32 + 0.3*x33 - 0.75*x512 =G= 0; e1015.. 0.1*x34 + 0.85*x35 + 0.6*x36 + 0.2*x37 + 0.5*x38 + 0.8*x39 + 0.3*x40 - 0.25*x520 =G= 0; e1016.. 0.1*x41 + 0.85*x42 + 0.6*x43 + 0.2*x44 + 0.5*x45 + 0.8*x46 + 0.3*x47 - 0.45*x521 =G= 0; e1017.. 0.1*x48 + 0.85*x49 + 0.6*x50 + 0.2*x51 + 0.5*x52 + 0.8*x53 + 0.3*x54 - 0.45*x522 =G= 0; e1018.. 0.1*x55 + 0.85*x56 + 0.6*x57 + 0.2*x58 + 0.5*x59 + 0.8*x60 + 0.3*x61 - 0.75*x523 =G= 0; e1019.. 0.1*x62 + 0.85*x63 + 0.6*x64 + 0.2*x65 + 0.5*x66 + 0.8*x67 + 0.3*x68 - 0.25*x531 =G= 0; e1020.. 0.1*x69 + 0.85*x70 + 0.6*x71 + 0.2*x72 + 0.5*x73 + 0.8*x74 + 0.3*x75 - 0.45*x532 =G= 0; e1021.. 0.1*x76 + 0.85*x77 + 0.6*x78 + 0.2*x79 + 0.5*x80 + 0.8*x81 + 0.3*x82 - 0.45*x533 =G= 0; e1022.. 0.1*x83 + 0.85*x84 + 0.6*x85 + 0.2*x86 + 0.5*x87 + 0.8*x88 + 0.3*x89 - 0.75*x534 =G= 0; e1023.. 0.1*x90 + 0.85*x91 + 0.6*x92 + 0.2*x93 + 0.5*x94 + 0.8*x95 + 0.3*x96 - 0.25*x542 =G= 0; e1024.. 0.1*x97 + 0.85*x98 + 0.6*x99 + 0.2*x100 + 0.5*x101 + 0.8*x102 + 0.3*x103 - 0.45*x543 =G= 0; e1025.. 0.1*x104 + 0.85*x105 + 0.6*x106 + 0.2*x107 + 0.5*x108 + 0.8*x109 + 0.3*x110 - 0.45*x544 =G= 0; e1026.. 0.1*x111 + 0.85*x112 + 0.6*x113 + 0.2*x114 + 0.5*x115 + 0.8*x116 + 0.3*x117 - 0.75*x545 =G= 0; e1027.. 0.1*x118 + 0.85*x119 + 0.6*x120 + 0.2*x121 + 0.5*x122 + 0.8*x123 + 0.3*x124 - 0.25*x553 =G= 0; e1028.. 0.1*x125 + 0.85*x126 + 0.6*x127 + 0.2*x128 + 0.5*x129 + 0.8*x130 + 0.3*x131 - 0.45*x554 =G= 0; e1029.. 0.1*x132 + 0.85*x133 + 0.6*x134 + 0.2*x135 + 0.5*x136 + 0.8*x137 + 0.3*x138 - 0.45*x555 =G= 0; e1030.. 0.1*x139 + 0.85*x140 + 0.6*x141 + 0.2*x142 + 0.5*x143 + 0.8*x144 + 0.3*x145 - 0.75*x556 =G= 0; e1031.. 0.3*x2 - 0.35*x498 =L= 0; e1032.. 0.5*x3 - 0.65*x499 =L= 0; e1033.. 0.5*x4 - 0.65*x500 =L= 0; e1034.. 0.8*x5 - 0.85*x501 =L= 0; e1035.. 0.1*x6 + 0.85*x7 + 0.6*x8 + 0.2*x9 + 0.5*x10 + 0.8*x11 + 0.3*x12 - 0.35*x509 =L= 0; e1036.. 0.1*x13 + 0.85*x14 + 0.6*x15 + 0.2*x16 + 0.5*x17 + 0.8*x18 + 0.3*x19 - 0.65*x510 =L= 0; e1037.. 0.1*x20 + 0.85*x21 + 0.6*x22 + 0.2*x23 + 0.5*x24 + 0.8*x25 + 0.3*x26 - 0.65*x511 =L= 0; e1038.. 0.1*x27 + 0.85*x28 + 0.6*x29 + 0.2*x30 + 0.5*x31 + 0.8*x32 + 0.3*x33 - 0.85*x512 =L= 0; e1039.. 0.1*x34 + 0.85*x35 + 0.6*x36 + 0.2*x37 + 0.5*x38 + 0.8*x39 + 0.3*x40 - 0.35*x520 =L= 0; e1040.. 0.1*x41 + 0.85*x42 + 0.6*x43 + 0.2*x44 + 0.5*x45 + 0.8*x46 + 0.3*x47 - 0.65*x521 =L= 0; e1041.. 0.1*x48 + 0.85*x49 + 0.6*x50 + 0.2*x51 + 0.5*x52 + 0.8*x53 + 0.3*x54 - 0.65*x522 =L= 0; e1042.. 0.1*x55 + 0.85*x56 + 0.6*x57 + 0.2*x58 + 0.5*x59 + 0.8*x60 + 0.3*x61 - 0.85*x523 =L= 0; e1043.. 0.1*x62 + 0.85*x63 + 0.6*x64 + 0.2*x65 + 0.5*x66 + 0.8*x67 + 0.3*x68 - 0.35*x531 =L= 0; e1044.. 0.1*x69 + 0.85*x70 + 0.6*x71 + 0.2*x72 + 0.5*x73 + 0.8*x74 + 0.3*x75 - 0.65*x532 =L= 0; e1045.. 0.1*x76 + 0.85*x77 + 0.6*x78 + 0.2*x79 + 0.5*x80 + 0.8*x81 + 0.3*x82 - 0.65*x533 =L= 0; e1046.. 0.1*x83 + 0.85*x84 + 0.6*x85 + 0.2*x86 + 0.5*x87 + 0.8*x88 + 0.3*x89 - 0.85*x534 =L= 0; e1047.. 0.1*x90 + 0.85*x91 + 0.6*x92 + 0.2*x93 + 0.5*x94 + 0.8*x95 + 0.3*x96 - 0.35*x542 =L= 0; e1048.. 0.1*x97 + 0.85*x98 + 0.6*x99 + 0.2*x100 + 0.5*x101 + 0.8*x102 + 0.3*x103 - 0.65*x543 =L= 0; e1049.. 0.1*x104 + 0.85*x105 + 0.6*x106 + 0.2*x107 + 0.5*x108 + 0.8*x109 + 0.3*x110 - 0.65*x544 =L= 0; e1050.. 0.1*x111 + 0.85*x112 + 0.6*x113 + 0.2*x114 + 0.5*x115 + 0.8*x116 + 0.3*x117 - 0.85*x545 =L= 0; e1051.. 0.1*x118 + 0.85*x119 + 0.6*x120 + 0.2*x121 + 0.5*x122 + 0.8*x123 + 0.3*x124 - 0.35*x553 =L= 0; e1052.. 0.1*x125 + 0.85*x126 + 0.6*x127 + 0.2*x128 + 0.5*x129 + 0.8*x130 + 0.3*x131 - 0.65*x554 =L= 0; e1053.. 0.1*x132 + 0.85*x133 + 0.6*x134 + 0.2*x135 + 0.5*x136 + 0.8*x137 + 0.3*x138 - 0.65*x555 =L= 0; e1054.. 0.1*x139 + 0.85*x140 + 0.6*x141 + 0.2*x142 + 0.5*x143 + 0.8*x144 + 0.3*x145 - 0.85*x556 =L= 0; e1055.. - x476 - x477 - x479 - x482 - x485 - x488 =G= -50; e1056.. - x478 - x480 - x483 - x486 - x489 =G= -50; e1057.. - x481 - x484 - x487 - x490 =G= -50; e1058.. x476 + x477 + x479 + x482 + x485 + x488 - x491 - x492 - x502 - x503 - x513 - x514 - x524 - x525 - x535 - x536 - x546 - x547 =G= -20; e1059.. x478 + x480 + x483 + x486 + x489 - x493 - x494 - x495 - x504 - x505 - x506 - x515 - x516 - x517 - x526 - x527 - x528 - x537 - x538 - x539 - x548 - x549 - x550 =G= -20; e1060.. x481 + x484 + x487 + x490 - x496 - x497 - x507 - x508 - x518 - x519 - x529 - x530 - x540 - x541 - x551 - x552 =G= -20; e1061.. x491 + x493 - x498 + x502 + x504 - x509 + x513 + x515 - x520 + x524 + x526 - x531 + x535 + x537 - x542 + x546 + x548 - x553 =G= -30; e1062.. x492 + x494 + x496 - x499 - x500 + x503 + x505 + x507 - x510 - x511 + x514 + x516 + x518 - x521 - x522 + x525 + x527 + x529 - x532 - x533 + x536 + x538 + x540 - x543 - x544 + x547 + x549 + x551 - x554 - x555 =G= -50; e1063.. x495 + x497 - x501 + x506 + x508 - x512 + x517 + x519 - x523 + x528 + x530 - x534 + x539 + x541 - x545 + x550 + x552 - x556 =G= -30; e1064.. x498 + x499 + x509 + x510 + x520 + x521 + x531 + x532 + x542 + x543 + x553 + x554 =G= 0; e1065.. x500 + x501 + x511 + x512 + x522 + x523 + x533 + x534 + x544 + x545 + x555 + x556 =G= 0; e1066.. - x476 - x477 - x479 - x482 - x485 - x488 =L= 0; e1067.. - x478 - x480 - x483 - x486 - x489 =L= 0; e1068.. - x481 - x484 - x487 - x490 =L= 0; e1069.. x476 + x477 + x479 + x482 + x485 + x488 - x491 - x492 - x502 - x503 - x513 - x514 - x524 - x525 - x535 - x536 - x546 - x547 =L= 80; e1070.. x478 + x480 + x483 + x486 + x489 - x493 - x494 - x495 - x504 - x505 - x506 - x515 - x516 - x517 - x526 - x527 - x528 - x537 - x538 - x539 - x548 - x549 - x550 =L= 80; e1071.. x481 + x484 + x487 + x490 - x496 - x497 - x507 - x508 - x518 - x519 - x529 - x530 - x540 - x541 - x551 - x552 =L= 80; e1072.. x491 + x493 - x498 + x502 + x504 - x509 + x513 + x515 - x520 + x524 + x526 - x531 + x535 + x537 - x542 + x546 + x548 - x553 =L= 70; e1073.. x492 + x494 + x496 - x499 - x500 + x503 + x505 + x507 - x510 - x511 + x514 + x516 + x518 - x521 - x522 + x525 + x527 + x529 - x532 - x533 + x536 + x538 + x540 - x543 - x544 + x547 + x549 + x551 - x554 - x555 =L= 50; e1074.. x495 + x497 - x501 + x506 + x508 - x512 + x517 + x519 - x523 + x528 + x530 - x534 + x539 + x541 - x545 + x550 + x552 - x556 =L= 70; e1075.. - x557 - x565 - x622 - x686 - x756 - x826 =G= -50; e1076.. - x566 - x623 - x687 - x757 - x827 =G= 0; e1077.. - x567 - x624 - x688 - x758 - x828 =G= 0; e1078.. - x568 - x625 - x689 - x759 - x829 =G= 0; e1079.. - x569 - x626 - x690 - x760 - x830 =G= 0; e1080.. - x570 - x627 - x691 - x761 - x831 =G= 0; e1081.. - x571 - x628 - x692 - x762 - x832 =G= 0; e1082.. - x629 - x693 - x763 - x833 =G= 0; e1083.. - x572 - x630 - x694 - x764 - x834 =G= -50; e1084.. - x631 - x695 - x765 - x835 =G= 0; e1085.. - x632 - x696 - x766 - x836 =G= 0; e1086.. - x633 - x697 - x767 - x837 =G= 0; e1087.. - x634 - x698 - x768 - x838 =G= 0; e1088.. - x635 - x699 - x769 - x839 =G= 0; e1089.. - x700 - x770 - x840 =G= 0; e1090.. - x701 - x771 - x841 =G= 0; e1091.. - x636 - x702 - x772 - x842 =G= -50; e1092.. - x703 - x773 - x843 =G= 0; e1093.. - x704 - x774 - x844 =G= 0; e1094.. - x705 - x775 - x845 =G= 0; e1095.. - x706 - x776 - x846 =G= 0; e1096.. x557 + x565 - x573 - x580 + x622 - x637 - x644 + x686 - x707 - x714 + x756 - x777 - x784 + x826 - x847 - x854 =G= 0; e1097.. x566 - x574 - x581 + x623 - x638 - x645 + x687 - x708 - x715 + x757 - x778 - x785 + x827 - x848 - x855 =G= 0; e1098.. x567 - x575 - x582 + x624 - x639 - x646 + x688 - x709 - x716 + x758 - x779 - x786 + x828 - x849 - x856 =G= 0; e1099.. - x558 - x559 + x568 - x576 - x583 + x625 - x640 - x647 + x689 - x710 - x717 + x759 - x780 - x787 + x829 - x850 - x857 =G= -20; e1100.. x569 - x577 - x584 + x626 - x641 - x648 + x690 - x711 - x718 + x760 - x781 - x788 + x830 - x851 - x858 =G= 0; e1101.. x570 - x578 - x585 + x627 - x642 - x649 + x691 - x712 - x719 + x761 - x782 - x789 + x831 - x852 - x859 =G= 0; e1102.. x571 - x579 - x586 + x628 - x643 - x650 + x692 - x713 - x720 + x762 - x783 - x790 + x832 - x853 - x860 =G= 0; e1103.. - x587 - x594 - x601 + x629 - x651 - x658 - x665 + x693 - x721 - x728 - x735 + x763 - x791 - x798 - x805 + x833 - x861 - x868 - x875 =G= 0; e1104.. x572 - x588 - x595 - x602 + x630 - x652 - x659 - x666 + x694 - x722 - x729 - x736 + x764 - x792 - x799 - x806 + x834 - x862 - x869 - x876 =G= 0; e1105.. - x589 - x596 - x603 + x631 - x653 - x660 - x667 + x695 - x723 - x730 - x737 + x765 - x793 - x800 - x807 + x835 - x863 - x870 - x877 =G= 0; e1106.. - x590 - x597 - x604 + x632 - x654 - x661 - x668 + x696 - x724 - x731 - x738 + x766 - x794 - x801 - x808 + x836 - x864 - x871 - x878 =G= 0; e1107.. - x560 - x561 - x562 - x591 - x598 - x605 + x633 - x655 - x662 - x669 + x697 - x725 - x732 - x739 + x767 - x795 - x802 - x809 + x837 - x865 - x872 - x879 =G= -20; e1108.. - x592 - x599 - x606 + x634 - x656 - x663 - x670 + x698 - x726 - x733 - x740 + x768 - x796 - x803 - x810 + x838 - x866 - x873 - x880 =G= 0; e1109.. - x593 - x600 - x607 + x635 - x657 - x664 - x671 + x699 - x727 - x734 - x741 + x769 - x797 - x804 - x811 + x839 - x867 - x874 - x881 =G= 0; e1110.. - x608 - x615 - x672 - x679 + x700 - x742 - x749 + x770 - x812 - x819 + x840 - x882 - x889 =G= 0; e1111.. - x609 - x616 - x673 - x680 + x701 - x743 - x750 + x771 - x813 - x820 + x841 - x883 - x890 =G= 0; e1112.. - x610 - x617 + x636 - x674 - x681 + x702 - x744 - x751 + x772 - x814 - x821 + x842 - x884 - x891 =G= 0; e1113.. - x611 - x618 - x675 - x682 + x703 - x745 - x752 + x773 - x815 - x822 + x843 - x885 - x892 =G= 0; e1114.. - x612 - x619 - x676 - x683 + x704 - x746 - x753 + x774 - x816 - x823 + x844 - x886 - x893 =G= 0; e1115.. - x563 - x564 - x613 - x620 - x677 - x684 + x705 - x747 - x754 + x775 - x817 - x824 + x845 - x887 - x894 =G= -20; e1116.. - x614 - x621 - x678 - x685 + x706 - x748 - x755 + x776 - x818 - x825 + x846 - x888 - x895 =G= 0; e1117.. - x6 - x34 - x62 - x90 - x118 + x573 + x587 + x637 + x651 + x707 + x721 + x777 + x791 + x847 + x861 =G= 0; e1118.. - x7 - x35 - x63 - x91 - x119 + x574 + x588 + x638 + x652 + x708 + x722 + x778 + x792 + x848 + x862 =G= 0; e1119.. - x8 - x36 - x64 - x92 - x120 + x575 + x589 + x639 + x653 + x709 + x723 + x779 + x793 + x849 + x863 =G= 0; e1120.. - x9 - x37 - x65 - x93 - x121 + x558 + x576 + x590 + x640 + x654 + x710 + x724 + x780 + x794 + x850 + x864 =G= 0; e1121.. - x10 - x38 - x66 - x94 - x122 + x560 + x577 + x591 + x641 + x655 + x711 + x725 + x781 + x795 + x851 + x865 =G= 0; e1122.. - x11 - x39 - x67 - x95 - x123 + x578 + x592 + x642 + x656 + x712 + x726 + x782 + x796 + x852 + x866 =G= 0; e1123.. - x2 - x12 - x40 - x68 - x96 - x124 + x579 + x593 + x643 + x657 + x713 + x727 + x783 + x797 + x853 + x867 =G= -30; e1124.. - x13 - x20 - x41 - x48 - x69 - x76 - x97 - x104 - x125 - x132 + x580 + x594 + x608 + x644 + x658 + x672 + x714 + x728 + x742 + x784 + x798 + x812 + x854 + x868 + x882 =G= 0; e1125.. - x14 - x21 - x42 - x49 - x70 - x77 - x98 - x105 - x126 - x133 + x581 + x595 + x609 + x645 + x659 + x673 + x715 + x729 + x743 + x785 + x799 + x813 + x855 + x869 + x883 =G= 0; e1126.. - x15 - x22 - x43 - x50 - x71 - x78 - x99 - x106 - x127 - x134 + x582 + x596 + x610 + x646 + x660 + x674 + x716 + x730 + x744 + x786 + x800 + x814 + x856 + x870 + x884 =G= 0; e1127.. - x16 - x23 - x44 - x51 - x72 - x79 - x100 - x107 - x128 - x135 + x559 + x583 + x597 + x611 + x647 + x661 + x675 + x717 + x731 + x745 + x787 + x801 + x815 + x857 + x871 + x885 =G= 0; e1128.. - x3 - x4 - x17 - x24 - x45 - x52 - x73 - x80 - x101 - x108 - x129 - x136 + x561 + x584 + x598 + x612 + x648 + x662 + x676 + x718 + x732 + x746 + x788 + x802 + x816 + x858 + x872 + x886 =G= -50; e1129.. - x18 - x25 - x46 - x53 - x74 - x81 - x102 - x109 - x130 - x137 + x563 + x585 + x599 + x613 + x649 + x663 + x677 + x719 + x733 + x747 + x789 + x803 + x817 + x859 + x873 + x887 =G= 0; e1130.. - x19 - x26 - x47 - x54 - x75 - x82 - x103 - x110 - x131 - x138 + x586 + x600 + x614 + x650 + x664 + x678 + x720 + x734 + x748 + x790 + x804 + x818 + x860 + x874 + x888 =G= 0; e1131.. - x27 - x55 - x83 - x111 - x139 + x601 + x615 + x665 + x679 + x735 + x749 + x805 + x819 + x875 + x889 =G= 0; e1132.. - x28 - x56 - x84 - x112 - x140 + x602 + x616 + x666 + x680 + x736 + x750 + x806 + x820 + x876 + x890 =G= 0; e1133.. - x29 - x57 - x85 - x113 - x141 + x603 + x617 + x667 + x681 + x737 + x751 + x807 + x821 + x877 + x891 =G= 0; e1134.. - x30 - x58 - x86 - x114 - x142 + x604 + x618 + x668 + x682 + x738 + x752 + x808 + x822 + x878 + x892 =G= 0; e1135.. - x31 - x59 - x87 - x115 - x143 + x562 + x605 + x619 + x669 + x683 + x739 + x753 + x809 + x823 + x879 + x893 =G= 0; e1136.. - x5 - x32 - x60 - x88 - x116 - x144 + x564 + x606 + x620 + x670 + x684 + x740 + x754 + x810 + x824 + x880 + x894 =G= -30; e1137.. - x33 - x61 - x89 - x117 - x145 + x607 + x621 + x671 + x685 + x741 + x755 + x811 + x825 + x881 + x895 =G= 0; e1138.. x6 + x13 + x34 + x41 + x62 + x69 + x90 + x97 + x118 + x125 =G= 0; e1139.. x7 + x14 + x35 + x42 + x63 + x70 + x91 + x98 + x119 + x126 =G= 0; e1140.. x8 + x15 + x36 + x43 + x64 + x71 + x92 + x99 + x120 + x127 =G= 0; e1141.. x9 + x16 + x37 + x44 + x65 + x72 + x93 + x100 + x121 + x128 =G= 0; e1142.. x3 + x10 + x17 + x38 + x45 + x66 + x73 + x94 + x101 + x122 + x129 =G= 0; e1143.. x11 + x18 + x39 + x46 + x67 + x74 + x95 + x102 + x123 + x130 =G= 0; e1144.. x2 + x12 + x19 + x40 + x47 + x68 + x75 + x96 + x103 + x124 + x131 =G= 0; e1145.. x20 + x27 + x48 + x55 + x76 + x83 + x104 + x111 + x132 + x139 =G= 0; e1146.. x21 + x28 + x49 + x56 + x77 + x84 + x105 + x112 + x133 + x140 =G= 0; e1147.. x22 + x29 + x50 + x57 + x78 + x85 + x106 + x113 + x134 + x141 =G= 0; e1148.. x23 + x30 + x51 + x58 + x79 + x86 + x107 + x114 + x135 + x142 =G= 0; e1149.. x4 + x24 + x31 + x52 + x59 + x80 + x87 + x108 + x115 + x136 + x143 =G= 0; e1150.. x5 + x25 + x32 + x53 + x60 + x81 + x88 + x109 + x116 + x137 + x144 =G= 0; e1151.. x26 + x33 + x54 + x61 + x82 + x89 + x110 + x117 + x138 + x145 =G= 0; e1152.. - x557 - x565 - x622 - x686 - x756 - x826 =L= 0; e1153.. - x566 - x623 - x687 - x757 - x827 =L= 50; e1154.. - x567 - x624 - x688 - x758 - x828 =L= 50; e1155.. - x568 - x625 - x689 - x759 - x829 =L= 50; e1156.. - x569 - x626 - x690 - x760 - x830 =L= 50; e1157.. - x570 - x627 - x691 - x761 - x831 =L= 50; e1158.. - x571 - x628 - x692 - x762 - x832 =L= 50; e1159.. - x629 - x693 - x763 - x833 =L= 50; e1160.. - x572 - x630 - x694 - x764 - x834 =L= 0; e1161.. - x631 - x695 - x765 - x835 =L= 50; e1162.. - x632 - x696 - x766 - x836 =L= 50; e1163.. - x633 - x697 - x767 - x837 =L= 50; e1164.. - x634 - x698 - x768 - x838 =L= 50; e1165.. - x635 - x699 - x769 - x839 =L= 50; e1166.. - x700 - x770 - x840 =L= 50; e1167.. - x701 - x771 - x841 =L= 50; e1168.. - x636 - x702 - x772 - x842 =L= 0; e1169.. - x703 - x773 - x843 =L= 50; e1170.. - x704 - x774 - x844 =L= 50; e1171.. - x705 - x775 - x845 =L= 50; e1172.. - x706 - x776 - x846 =L= 50; e1173.. x557 + x565 - x573 - x580 + x622 - x637 - x644 + x686 - x707 - x714 + x756 - x777 - x784 + x826 - x847 - x854 =L= 100; e1174.. x566 - x574 - x581 + x623 - x638 - x645 + x687 - x708 - x715 + x757 - x778 - x785 + x827 - x848 - x855 =L= 100; e1175.. x567 - x575 - x582 + x624 - x639 - x646 + x688 - x709 - x716 + x758 - x779 - x786 + x828 - x849 - x856 =L= 100; e1176.. - x558 - x559 + x568 - x576 - x583 + x625 - x640 - x647 + x689 - x710 - x717 + x759 - x780 - x787 + x829 - x850 - x857 =L= 80; e1177.. x569 - x577 - x584 + x626 - x641 - x648 + x690 - x711 - x718 + x760 - x781 - x788 + x830 - x851 - x858 =L= 100; e1178.. x570 - x578 - x585 + x627 - x642 - x649 + x691 - x712 - x719 + x761 - x782 - x789 + x831 - x852 - x859 =L= 100; e1179.. x571 - x579 - x586 + x628 - x643 - x650 + x692 - x713 - x720 + x762 - x783 - x790 + x832 - x853 - x860 =L= 100; e1180.. - x587 - x594 - x601 + x629 - x651 - x658 - x665 + x693 - x721 - x728 - x735 + x763 - x791 - x798 - x805 + x833 - x861 - x868 - x875 =L= 100 ; e1181.. x572 - x588 - x595 - x602 + x630 - x652 - x659 - x666 + x694 - x722 - x729 - x736 + x764 - x792 - x799 - x806 + x834 - x862 - x869 - x876 =L= 100; e1182.. - x589 - x596 - x603 + x631 - x653 - x660 - x667 + x695 - x723 - x730 - x737 + x765 - x793 - x800 - x807 + x835 - x863 - x870 - x877 =L= 100 ; e1183.. - x590 - x597 - x604 + x632 - x654 - x661 - x668 + x696 - x724 - x731 - x738 + x766 - x794 - x801 - x808 + x836 - x864 - x871 - x878 =L= 100 ; e1184.. - x560 - x561 - x562 - x591 - x598 - x605 + x633 - x655 - x662 - x669 + x697 - x725 - x732 - x739 + x767 - x795 - x802 - x809 + x837 - x865 - x872 - x879 =L= 80; e1185.. - x592 - x599 - x606 + x634 - x656 - x663 - x670 + x698 - x726 - x733 - x740 + x768 - x796 - x803 - x810 + x838 - x866 - x873 - x880 =L= 100 ; e1186.. - x593 - x600 - x607 + x635 - x657 - x664 - x671 + x699 - x727 - x734 - x741 + x769 - x797 - x804 - x811 + x839 - x867 - x874 - x881 =L= 100 ; e1187.. - x608 - x615 - x672 - x679 + x700 - x742 - x749 + x770 - x812 - x819 + x840 - x882 - x889 =L= 100; e1188.. - x609 - x616 - x673 - x680 + x701 - x743 - x750 + x771 - x813 - x820 + x841 - x883 - x890 =L= 100; e1189.. - x610 - x617 + x636 - x674 - x681 + x702 - x744 - x751 + x772 - x814 - x821 + x842 - x884 - x891 =L= 100; e1190.. - x611 - x618 - x675 - x682 + x703 - x745 - x752 + x773 - x815 - x822 + x843 - x885 - x892 =L= 100; e1191.. - x612 - x619 - x676 - x683 + x704 - x746 - x753 + x774 - x816 - x823 + x844 - x886 - x893 =L= 100; e1192.. - x563 - x564 - x613 - x620 - x677 - x684 + x705 - x747 - x754 + x775 - x817 - x824 + x845 - x887 - x894 =L= 80; e1193.. - x614 - x621 - x678 - x685 + x706 - x748 - x755 + x776 - x818 - x825 + x846 - x888 - x895 =L= 100; e1194.. - x6 - x34 - x62 - x90 - x118 + x573 + x587 + x637 + x651 + x707 + x721 + x777 + x791 + x847 + x861 =L= 100; e1195.. - x7 - x35 - x63 - x91 - x119 + x574 + x588 + x638 + x652 + x708 + x722 + x778 + x792 + x848 + x862 =L= 100; e1196.. - x8 - x36 - x64 - x92 - x120 + x575 + x589 + x639 + x653 + x709 + x723 + x779 + x793 + x849 + x863 =L= 100; e1197.. - x9 - x37 - x65 - x93 - x121 + x558 + x576 + x590 + x640 + x654 + x710 + x724 + x780 + x794 + x850 + x864 =L= 100; e1198.. - x10 - x38 - x66 - x94 - x122 + x560 + x577 + x591 + x641 + x655 + x711 + x725 + x781 + x795 + x851 + x865 =L= 100; e1199.. - x11 - x39 - x67 - x95 - x123 + x578 + x592 + x642 + x656 + x712 + x726 + x782 + x796 + x852 + x866 =L= 100; e1200.. - x2 - x12 - x40 - x68 - x96 - x124 + x579 + x593 + x643 + x657 + x713 + x727 + x783 + x797 + x853 + x867 =L= 70; e1201.. - x13 - x20 - x41 - x48 - x69 - x76 - x97 - x104 - x125 - x132 + x580 + x594 + x608 + x644 + x658 + x672 + x714 + x728 + x742 + x784 + x798 + x812 + x854 + x868 + x882 =L= 100; e1202.. - x14 - x21 - x42 - x49 - x70 - x77 - x98 - x105 - x126 - x133 + x581 + x595 + x609 + x645 + x659 + x673 + x715 + x729 + x743 + x785 + x799 + x813 + x855 + x869 + x883 =L= 100; e1203.. - x15 - x22 - x43 - x50 - x71 - x78 - x99 - x106 - x127 - x134 + x582 + x596 + x610 + x646 + x660 + x674 + x716 + x730 + x744 + x786 + x800 + x814 + x856 + x870 + x884 =L= 100; e1204.. - x16 - x23 - x44 - x51 - x72 - x79 - x100 - x107 - x128 - x135 + x559 + x583 + x597 + x611 + x647 + x661 + x675 + x717 + x731 + x745 + x787 + x801 + x815 + x857 + x871 + x885 =L= 100; e1205.. - x3 - x4 - x17 - x24 - x45 - x52 - x73 - x80 - x101 - x108 - x129 - x136 + x561 + x584 + x598 + x612 + x648 + x662 + x676 + x718 + x732 + x746 + x788 + x802 + x816 + x858 + x872 + x886 =L= 50; e1206.. - x18 - x25 - x46 - x53 - x74 - x81 - x102 - x109 - x130 - x137 + x563 + x585 + x599 + x613 + x649 + x663 + x677 + x719 + x733 + x747 + x789 + x803 + x817 + x859 + x873 + x887 =L= 100; e1207.. - x19 - x26 - x47 - x54 - x75 - x82 - x103 - x110 - x131 - x138 + x586 + x600 + x614 + x650 + x664 + x678 + x720 + x734 + x748 + x790 + x804 + x818 + x860 + x874 + x888 =L= 100; e1208.. - x27 - x55 - x83 - x111 - x139 + x601 + x615 + x665 + x679 + x735 + x749 + x805 + x819 + x875 + x889 =L= 100; e1209.. - x28 - x56 - x84 - x112 - x140 + x602 + x616 + x666 + x680 + x736 + x750 + x806 + x820 + x876 + x890 =L= 100; e1210.. - x29 - x57 - x85 - x113 - x141 + x603 + x617 + x667 + x681 + x737 + x751 + x807 + x821 + x877 + x891 =L= 100; e1211.. - x30 - x58 - x86 - x114 - x142 + x604 + x618 + x668 + x682 + x738 + x752 + x808 + x822 + x878 + x892 =L= 100; e1212.. - x31 - x59 - x87 - x115 - x143 + x562 + x605 + x619 + x669 + x683 + x739 + x753 + x809 + x823 + x879 + x893 =L= 100; e1213.. - x5 - x32 - x60 - x88 - x116 - x144 + x564 + x606 + x620 + x670 + x684 + x740 + x754 + x810 + x824 + x880 + x894 =L= 70; e1214.. - x33 - x61 - x89 - x117 - x145 + x607 + x621 + x671 + x685 + x741 + x755 + x811 + x825 + x881 + x895 =L= 100; e1215.. 12*b158 + 12*b159 + x233 + x256 - x287 - x291 =L= 12; e1216.. 12*b158 + 12*b160 + x233 + x259 - x287 - x294 =L= 12; e1217.. 12*b161 + 12*b162 - x228 + x262 - x297 =L= 12; e1218.. 12*b161 + 12*b163 - x228 + x265 - x300 =L= 12; e1219.. 12*b161 + 12*b164 - x228 + x268 - x303 =L= 12; e1220.. 12*b170 - x240 + x271 - x306 =L= 12; e1221.. 12*b167 - x240 + x274 - x309 =L= 12; e1222.. 12*b159 + 12*b165 + x256 + x277 - x291 - x312 =L= 12; e1223.. 12*b162 + 12*b165 + x262 + x277 - x297 - x312 =L= 12; e1224.. 12*b164 + 12*b166 + x268 + x286 - x303 - x321 =L= 12; e1225.. 12*b166 + 12*b167 + x274 + x286 - x309 - x321 =L= 12; e1226.. 12*b165 + 12*b168 + x277 + x280 - x312 - x315 =L= 12; e1227.. 12*b166 + 12*b169 + x283 + x286 - x318 - x321 =L= 12; e1228.. 12*b158 + 12*b161 - x228 + x233 - x240 - x287 =L= 12; e1229.. 12*b160 + 12*b168 + 12*b169 + x259 + x280 + x283 - x294 - x315 - x318 =L= 12; e1230.. 12*b163 + 12*b168 + 12*b169 + x265 + x280 + x283 - x300 - x315 - x318 =L= 12; e1231.. 12*b168 + 12*b169 + 12*b170 + x271 + x280 + x283 - x306 - x315 - x318 =L= 12; e1232.. 12*b171 + 12*b172 + x233 + x256 + x288 + x292 - x324 - x329 =L= 12; e1233.. 12*b171 + 12*b173 + x233 + x259 + x288 + x295 - x324 - x332 =L= 12; e1234.. 12*b174 + 12*b175 - x229 + x262 + x289 + x298 - x335 =L= 12; e1235.. 12*b174 + 12*b176 - x229 + x265 + x289 + x301 - x338 =L= 12; e1236.. 12*b174 + 12*b177 - x229 + x268 + x289 + x304 - x341 =L= 12; e1237.. 12*b178 + 12*b179 - x241 + x271 + x290 + x307 - x344 =L= 12; e1238.. 12*b178 + 12*b180 - x241 + x274 + x290 + x310 - x347 =L= 12; e1239.. 12*b172 + 12*b181 + x256 + x277 + x292 + x313 - x329 - x350 =L= 12; e1240.. 12*b175 + 12*b181 + x262 + x277 + x298 + x313 - x335 - x350 =L= 12; e1241.. 12*b177 + 12*b182 + x268 + x286 + x304 + x322 - x341 - x359 =L= 12; e1242.. 12*b180 + 12*b182 + x274 + x286 + x310 + x322 - x347 - x359 =L= 12; e1243.. 12*b181 + 12*b183 + x277 + x280 + x313 + x316 - x350 - x353 =L= 12; e1244.. 12*b182 + 12*b184 + x283 + x286 + x319 + x322 - x356 - x359 =L= 12; e1245.. 12*b171 + 12*b174 + 12*b178 - x229 + x233 - x241 + x288 + x289 + x290 - x324 =L= 12; e1246.. 12*b173 + 12*b183 + 12*b184 + x259 + x280 + x283 + x295 + x316 + x319 - x332 - x353 - x356 =L= 12; e1247.. 12*b176 + 12*b183 + 12*b184 + x265 + x280 + x283 + x301 + x316 + x319 - x338 - x353 - x356 =L= 12; e1248.. 12*b179 + 12*b183 + 12*b184 + x271 + x280 + x283 + x307 + x316 + x319 - x344 - x353 - x356 =L= 12; e1249.. 12*b185 + 12*b186 + x233 + x256 + x288 + x292 + x325 + x330 - x362 - x367 =L= 12; e1250.. 12*b185 + 12*b187 + x233 + x259 + x288 + x295 + x325 + x333 - x362 - x370 =L= 12; e1251.. 12*b188 + 12*b189 - x230 + x262 + x289 + x298 + x326 + x336 - x373 =L= 12; e1252.. 12*b188 + 12*b190 - x230 + x265 + x289 + x301 + x326 + x339 - x376 =L= 12; e1253.. 12*b188 + 12*b191 - x230 + x268 + x289 + x304 + x326 + x342 - x379 =L= 12; e1254.. 12*b192 + 12*b193 - x242 + x271 + x290 + x307 + x327 + x345 - x382 =L= 12; e1255.. 12*b192 + 12*b194 - x242 + x274 + x290 + x310 + x327 + x348 - x385 =L= 12; e1256.. 12*b186 + 12*b195 + x256 + x277 + x292 + x313 + x330 + x351 - x367 - x388 =L= 12; e1257.. 12*b189 + 12*b195 + x262 + x277 + x298 + x313 + x336 + x351 - x373 - x388 =L= 12; e1258.. 12*b191 + 12*b196 + x268 + x286 + x304 + x322 + x342 + x360 - x379 - x397 =L= 12; e1259.. 12*b194 + 12*b196 + x274 + x286 + x310 + x322 + x348 + x360 - x385 - x397 =L= 12; e1260.. 12*b195 + 12*b197 + x277 + x280 + x313 + x316 + x351 + x354 - x388 - x391 =L= 12; e1261.. 12*b196 + 12*b198 + x283 + x286 + x319 + x322 + x357 + x360 - x394 - x397 =L= 12; e1262.. 12*b185 + 12*b188 + 12*b192 - x230 + x233 - x242 + x288 + x289 + x290 + x325 + x326 + x327 - x362 =L= 12; e1263.. 12*b187 + 12*b197 + 12*b198 + x259 + x280 + x283 + x295 + x316 + x319 + x333 + x354 + x357 - x370 - x391 - x394 =L= 12; e1264.. 12*b190 + 12*b197 + 12*b198 + x265 + x280 + x283 + x301 + x316 + x319 + x339 + x354 + x357 - x376 - x391 - x394 =L= 12; e1265.. 12*b193 + 12*b197 + 12*b198 + x271 + x280 + x283 + x307 + x316 + x319 + x345 + x354 + x357 - x382 - x391 - x394 =L= 12; e1266.. 12*b199 + 12*b200 + x233 + x256 + x288 + x292 + x325 + x330 + x363 + x368 - x400 - x405 =L= 12; e1267.. 12*b199 + 12*b201 + x233 + x259 + x288 + x295 + x325 + x333 + x363 + x371 - x400 - x408 =L= 12; e1268.. 12*b202 + 12*b203 - x231 + x262 + x289 + x298 + x326 + x336 + x364 + x374 - x411 =L= 12; e1269.. 12*b202 + 12*b204 - x231 + x265 + x289 + x301 + x326 + x339 + x364 + x377 - x414 =L= 12; e1270.. 12*b202 + 12*b205 - x231 + x268 + x289 + x304 + x326 + x342 + x364 + x380 - x417 =L= 12; e1271.. 12*b206 + 12*b207 - x243 + x271 + x290 + x307 + x327 + x345 + x365 + x383 - x420 =L= 12; e1272.. 12*b206 + 12*b208 - x243 + x274 + x290 + x310 + x327 + x348 + x365 + x386 - x423 =L= 12; e1273.. 12*b200 + 12*b209 + x256 + x277 + x292 + x313 + x330 + x351 + x368 + x389 - x405 - x426 =L= 12; e1274.. 12*b203 + 12*b209 + x262 + x277 + x298 + x313 + x336 + x351 + x374 + x389 - x411 - x426 =L= 12; e1275.. 12*b205 + 12*b210 + x268 + x286 + x304 + x322 + x342 + x360 + x380 + x398 - x417 - x435 =L= 12; e1276.. 12*b208 + 12*b210 + x274 + x286 + x310 + x322 + x348 + x360 + x386 + x398 - x423 - x435 =L= 12; e1277.. 12*b209 + 12*b211 + x277 + x280 + x313 + x316 + x351 + x354 + x389 + x392 - x426 - x429 =L= 12; e1278.. 12*b210 + 12*b212 + x283 + x286 + x319 + x322 + x357 + x360 + x395 + x398 - x432 - x435 =L= 12; e1279.. 12*b199 + 12*b202 + 12*b206 - x231 + x233 - x243 + x288 + x289 + x290 + x325 + x326 + x327 + x363 + x364 + x365 - x400 =L= 12; e1280.. 12*b201 + 12*b211 + 12*b212 + x259 + x280 + x283 + x295 + x316 + x319 + x333 + x354 + x357 + x371 + x392 + x395 - x408 - x429 - x432 =L= 12; e1281.. 12*b204 + 12*b211 + 12*b212 + x265 + x280 + x283 + x301 + x316 + x319 + x339 + x354 + x357 + x377 + x392 + x395 - x414 - x429 - x432 =L= 12; e1282.. 12*b207 + 12*b211 + 12*b212 + x271 + x280 + x283 + x307 + x316 + x319 + x345 + x354 + x357 + x383 + x392 + x395 - x420 - x429 - x432 =L= 12; e1283.. 12*b213 + 12*b214 + x233 + x256 + x288 + x292 + x325 + x330 + x363 + x368 + x401 + x406 - x438 - x443 =L= 12; e1284.. 12*b213 + 12*b215 + x233 + x259 + x288 + x295 + x325 + x333 + x363 + x371 + x401 + x409 - x438 - x446 =L= 12; e1285.. 12*b216 + 12*b217 - x232 + x262 + x289 + x298 + x326 + x336 + x364 + x374 + x402 + x412 - x449 =L= 12; e1286.. 12*b216 + 12*b218 - x232 + x265 + x289 + x301 + x326 + x339 + x364 + x377 + x402 + x415 - x452 =L= 12; e1287.. 12*b216 + 12*b219 - x232 + x268 + x289 + x304 + x326 + x342 + x364 + x380 + x402 + x418 - x455 =L= 12; e1288.. 12*b220 + 12*b221 - x244 + x271 + x290 + x307 + x327 + x345 + x365 + x383 + x403 + x421 - x458 =L= 12; e1289.. 12*b220 + 12*b222 - x244 + x274 + x290 + x310 + x327 + x348 + x365 + x386 + x403 + x424 - x461 =L= 12; e1290.. 12*b214 + 12*b223 + x256 + x277 + x292 + x313 + x330 + x351 + x368 + x389 + x406 + x427 - x443 - x464 =L= 12; e1291.. 12*b217 + 12*b223 + x262 + x277 + x298 + x313 + x336 + x351 + x374 + x389 + x412 + x427 - x449 - x464 =L= 12; e1292.. 12*b219 + 12*b224 + x268 + x286 + x304 + x322 + x342 + x360 + x380 + x398 + x418 + x436 - x455 - x473 =L= 12; e1293.. 12*b222 + 12*b224 + x274 + x286 + x310 + x322 + x348 + x360 + x386 + x398 + x424 + x436 - x461 - x473 =L= 12; e1294.. 12*b223 + 12*b225 + x277 + x280 + x313 + x316 + x351 + x354 + x389 + x392 + x427 + x430 - x464 - x467 =L= 12; e1295.. 12*b224 + 12*b226 + x283 + x286 + x319 + x322 + x357 + x360 + x395 + x398 + x433 + x436 - x470 - x473 =L= 12; e1296.. 12*b213 + 12*b216 + 12*b220 - x232 + x233 - x244 + x288 + x289 + x290 + x325 + x326 + x327 + x363 + x364 + x365 + x401 + x402 + x403 - x438 =L= 12; e1297.. 12*b215 + 12*b225 + 12*b226 + x259 + x280 + x283 + x295 + x316 + x319 + x333 + x354 + x357 + x371 + x392 + x395 + x409 + x430 + x433 - x446 - x467 - x470 =L= 12; e1298.. 12*b218 + 12*b225 + 12*b226 + x265 + x280 + x283 + x301 + x316 + x319 + x339 + x354 + x357 + x377 + x392 + x395 + x415 + x430 + x433 - x452 - x467 - x470 =L= 12; e1299.. 12*b221 + 12*b225 + 12*b226 + x271 + x280 + x283 + x307 + x316 + x319 + x345 + x354 + x357 + x383 + x392 + x395 + x421 + x430 + x433 - x458 - x467 - x470 =L= 12; e1300.. 12*b171 + 12*b172 + x234 + x293 - x324 - x329 =L= 12; e1301.. 12*b171 + 12*b173 + x234 + x296 - x324 - x332 =L= 12; e1302.. 12*b174 + 12*b175 - x229 + x245 + x299 - x335 =L= 12; e1303.. 12*b174 + 12*b176 - x229 + x245 + x302 - x338 =L= 12; e1304.. 12*b174 + 12*b177 - x229 + x245 + x305 - x341 =L= 12; e1305.. 12*b178 + 12*b179 - x241 + x308 - x344 =L= 12; e1306.. 12*b178 + 12*b180 - x241 + x311 - x347 =L= 12; e1307.. 12*b172 + 12*b181 + x293 + x314 - x329 - x350 =L= 12; e1308.. 12*b175 + 12*b181 + x299 + x314 - x335 - x350 =L= 12; e1309.. 12*b177 + 12*b182 + x305 + x323 - x341 - x359 =L= 12; e1310.. 12*b180 + 12*b182 + x311 + x323 - x347 - x359 =L= 12; e1311.. 12*b181 + 12*b183 + x314 + x317 - x350 - x353 =L= 12; e1312.. 12*b182 + 12*b184 + x320 + x323 - x356 - x359 =L= 12; e1313.. 12*b171 + 12*b174 + 12*b178 - x229 + x234 - x241 + x245 - x324 =L= 12; e1314.. 12*b173 + 12*b183 + 12*b184 + x296 + x317 + x320 - x332 - x353 - x356 =L= 12; e1315.. 12*b176 + 12*b183 + 12*b184 + x302 + x317 + x320 - x338 - x353 - x356 =L= 12; e1316.. 12*b179 + 12*b183 + 12*b184 + x308 + x317 + x320 - x344 - x353 - x356 =L= 12; e1317.. 12*b185 + 12*b186 + x234 + x293 + x325 + x330 - x362 - x367 =L= 12; e1318.. 12*b185 + 12*b187 + x234 + x296 + x325 + x333 - x362 - x370 =L= 12; e1319.. 12*b188 + 12*b189 - x230 + x245 + x299 + x326 + x336 - x373 =L= 12; e1320.. 12*b188 + 12*b190 - x230 + x245 + x302 + x326 + x339 - x376 =L= 12; e1321.. 12*b188 + 12*b191 - x230 + x245 + x305 + x326 + x342 - x379 =L= 12; e1322.. 12*b192 + 12*b193 - x242 + x308 + x327 + x345 - x382 =L= 12; e1323.. 12*b192 + 12*b194 - x242 + x311 + x327 + x348 - x385 =L= 12; e1324.. 12*b186 + 12*b195 + x293 + x314 + x330 + x351 - x367 - x388 =L= 12; e1325.. 12*b189 + 12*b195 + x299 + x314 + x336 + x351 - x373 - x388 =L= 12; e1326.. 12*b191 + 12*b196 + x305 + x323 + x342 + x360 - x379 - x397 =L= 12; e1327.. 12*b194 + 12*b196 + x311 + x323 + x348 + x360 - x385 - x397 =L= 12; e1328.. 12*b195 + 12*b197 + x314 + x317 + x351 + x354 - x388 - x391 =L= 12; e1329.. 12*b196 + 12*b198 + x320 + x323 + x357 + x360 - x394 - x397 =L= 12; e1330.. 12*b185 + 12*b188 + 12*b192 - x230 + x234 - x242 + x245 + x325 + x326 + x327 - x362 =L= 12; e1331.. 12*b187 + 12*b197 + 12*b198 + x296 + x317 + x320 + x333 + x354 + x357 - x370 - x391 - x394 =L= 12; e1332.. 12*b190 + 12*b197 + 12*b198 + x302 + x317 + x320 + x339 + x354 + x357 - x376 - x391 - x394 =L= 12; e1333.. 12*b193 + 12*b197 + 12*b198 + x308 + x317 + x320 + x345 + x354 + x357 - x382 - x391 - x394 =L= 12; e1334.. 12*b199 + 12*b200 + x234 + x293 + x325 + x330 + x363 + x368 - x400 - x405 =L= 12; e1335.. 12*b199 + 12*b201 + x234 + x296 + x325 + x333 + x363 + x371 - x400 - x408 =L= 12; e1336.. 12*b202 + 12*b203 - x231 + x245 + x299 + x326 + x336 + x364 + x374 - x411 =L= 12; e1337.. 12*b202 + 12*b204 - x231 + x245 + x302 + x326 + x339 + x364 + x377 - x414 =L= 12; e1338.. 12*b202 + 12*b205 - x231 + x245 + x305 + x326 + x342 + x364 + x380 - x417 =L= 12; e1339.. 12*b206 + 12*b207 - x243 + x308 + x327 + x345 + x365 + x383 - x420 =L= 12; e1340.. 12*b206 + 12*b208 - x243 + x311 + x327 + x348 + x365 + x386 - x423 =L= 12; e1341.. 12*b200 + 12*b209 + x293 + x314 + x330 + x351 + x368 + x389 - x405 - x426 =L= 12; e1342.. 12*b203 + 12*b209 + x299 + x314 + x336 + x351 + x374 + x389 - x411 - x426 =L= 12; e1343.. 12*b205 + 12*b210 + x305 + x323 + x342 + x360 + x380 + x398 - x417 - x435 =L= 12; e1344.. 12*b208 + 12*b210 + x311 + x323 + x348 + x360 + x386 + x398 - x423 - x435 =L= 12; e1345.. 12*b209 + 12*b211 + x314 + x317 + x351 + x354 + x389 + x392 - x426 - x429 =L= 12; e1346.. 12*b210 + 12*b212 + x320 + x323 + x357 + x360 + x395 + x398 - x432 - x435 =L= 12; e1347.. 12*b199 + 12*b202 + 12*b206 - x231 + x234 - x243 + x245 + x325 + x326 + x327 + x363 + x364 + x365 - x400 =L= 12; e1348.. 12*b201 + 12*b211 + 12*b212 + x296 + x317 + x320 + x333 + x354 + x357 + x371 + x392 + x395 - x408 - x429 - x432 =L= 12; e1349.. 12*b204 + 12*b211 + 12*b212 + x302 + x317 + x320 + x339 + x354 + x357 + x377 + x392 + x395 - x414 - x429 - x432 =L= 12; e1350.. 12*b207 + 12*b211 + 12*b212 + x308 + x317 + x320 + x345 + x354 + x357 + x383 + x392 + x395 - x420 - x429 - x432 =L= 12; e1351.. 12*b213 + 12*b214 + x234 + x293 + x325 + x330 + x363 + x368 + x401 + x406 - x438 - x443 =L= 12; e1352.. 12*b213 + 12*b215 + x234 + x296 + x325 + x333 + x363 + x371 + x401 + x409 - x438 - x446 =L= 12; e1353.. 12*b216 + 12*b217 - x232 + x245 + x299 + x326 + x336 + x364 + x374 + x402 + x412 - x449 =L= 12; e1354.. 12*b216 + 12*b218 - x232 + x245 + x302 + x326 + x339 + x364 + x377 + x402 + x415 - x452 =L= 12; e1355.. 12*b216 + 12*b219 - x232 + x245 + x305 + x326 + x342 + x364 + x380 + x402 + x418 - x455 =L= 12; e1356.. 12*b220 + 12*b221 - x244 + x308 + x327 + x345 + x365 + x383 + x403 + x421 - x458 =L= 12; e1357.. 12*b220 + 12*b222 - x244 + x311 + x327 + x348 + x365 + x386 + x403 + x424 - x461 =L= 12; e1358.. 12*b214 + 12*b223 + x293 + x314 + x330 + x351 + x368 + x389 + x406 + x427 - x443 - x464 =L= 12; e1359.. 12*b217 + 12*b223 + x299 + x314 + x336 + x351 + x374 + x389 + x412 + x427 - x449 - x464 =L= 12; e1360.. 12*b219 + 12*b224 + x305 + x323 + x342 + x360 + x380 + x398 + x418 + x436 - x455 - x473 =L= 12; e1361.. 12*b222 + 12*b224 + x311 + x323 + x348 + x360 + x386 + x398 + x424 + x436 - x461 - x473 =L= 12; e1362.. 12*b223 + 12*b225 + x314 + x317 + x351 + x354 + x389 + x392 + x427 + x430 - x464 - x467 =L= 12; e1363.. 12*b224 + 12*b226 + x320 + x323 + x357 + x360 + x395 + x398 + x433 + x436 - x470 - x473 =L= 12; e1364.. 12*b213 + 12*b216 + 12*b220 - x232 + x234 - x244 + x245 + x325 + x326 + x327 + x363 + x364 + x365 + x401 + x402 + x403 - x438 =L= 12; e1365.. 12*b215 + 12*b225 + 12*b226 + x296 + x317 + x320 + x333 + x354 + x357 + x371 + x392 + x395 + x409 + x430 + x433 - x446 - x467 - x470 =L= 12; e1366.. 12*b218 + 12*b225 + 12*b226 + x302 + x317 + x320 + x339 + x354 + x357 + x377 + x392 + x395 + x415 + x430 + x433 - x452 - x467 - x470 =L= 12; e1367.. 12*b221 + 12*b225 + 12*b226 + x308 + x317 + x320 + x345 + x354 + x357 + x383 + x392 + x395 + x421 + x430 + x433 - x458 - x467 - x470 =L= 12; e1368.. 12*b185 + 12*b186 + x235 + x331 - x362 - x367 =L= 12; e1369.. 12*b185 + 12*b187 + x235 + x334 - x362 - x370 =L= 12; e1370.. 12*b188 + 12*b189 - x230 + x246 + x337 - x373 =L= 12; e1371.. 12*b188 + 12*b190 - x230 + x246 + x340 - x376 =L= 12; e1372.. 12*b188 + 12*b191 - x230 + x246 + x343 - x379 =L= 12; e1373.. 12*b192 + 12*b193 - x242 + x328 + x346 - x382 =L= 12; e1374.. 12*b192 + 12*b194 - x242 + x328 + x349 - x385 =L= 12; e1375.. 12*b186 + 12*b195 + x331 + x352 - x367 - x388 =L= 12; e1376.. 12*b189 + 12*b195 + x337 + x352 - x373 - x388 =L= 12; e1377.. 12*b191 + 12*b196 + x343 + x361 - x379 - x397 =L= 12; e1378.. 12*b194 + 12*b196 + x349 + x361 - x385 - x397 =L= 12; e1379.. 12*b195 + 12*b197 + x352 + x355 - x388 - x391 =L= 12; e1380.. 12*b196 + 12*b198 + x358 + x361 - x394 - x397 =L= 12; e1381.. 12*b185 + 12*b188 + 12*b192 - x230 + x235 - x242 + x246 + x328 - x362 =L= 12; e1382.. 12*b187 + 12*b197 + 12*b198 + x334 + x355 + x358 - x370 - x391 - x394 =L= 12; e1383.. 12*b190 + 12*b197 + 12*b198 + x340 + x355 + x358 - x376 - x391 - x394 =L= 12; e1384.. 12*b193 + 12*b197 + 12*b198 + x346 + x355 + x358 - x382 - x391 - x394 =L= 12; e1385.. 12*b199 + 12*b200 + x235 + x331 + x363 + x368 - x400 - x405 =L= 12; e1386.. 12*b199 + 12*b201 + x235 + x334 + x363 + x371 - x400 - x408 =L= 12; e1387.. 12*b202 + 12*b203 - x231 + x246 + x337 + x364 + x374 - x411 =L= 12; e1388.. 12*b202 + 12*b204 - x231 + x246 + x340 + x364 + x377 - x414 =L= 12; e1389.. 12*b202 + 12*b205 - x231 + x246 + x343 + x364 + x380 - x417 =L= 12; e1390.. 12*b206 + 12*b207 - x243 + x328 + x346 + x365 + x383 - x420 =L= 12; e1391.. 12*b206 + 12*b208 - x243 + x328 + x349 + x365 + x386 - x423 =L= 12; e1392.. 12*b200 + 12*b209 + x331 + x352 + x368 + x389 - x405 - x426 =L= 12; e1393.. 12*b203 + 12*b209 + x337 + x352 + x374 + x389 - x411 - x426 =L= 12; e1394.. 12*b205 + 12*b210 + x343 + x361 + x380 + x398 - x417 - x435 =L= 12; e1395.. 12*b208 + 12*b210 + x349 + x361 + x386 + x398 - x423 - x435 =L= 12; e1396.. 12*b209 + 12*b211 + x352 + x355 + x389 + x392 - x426 - x429 =L= 12; e1397.. 12*b210 + 12*b212 + x358 + x361 + x395 + x398 - x432 - x435 =L= 12; e1398.. 12*b199 + 12*b202 + 12*b206 - x231 + x235 - x243 + x246 + x328 + x363 + x364 + x365 - x400 =L= 12; e1399.. 12*b201 + 12*b211 + 12*b212 + x334 + x355 + x358 + x371 + x392 + x395 - x408 - x429 - x432 =L= 12; e1400.. 12*b204 + 12*b211 + 12*b212 + x340 + x355 + x358 + x377 + x392 + x395 - x414 - x429 - x432 =L= 12; e1401.. 12*b207 + 12*b211 + 12*b212 + x346 + x355 + x358 + x383 + x392 + x395 - x420 - x429 - x432 =L= 12; e1402.. 12*b213 + 12*b214 + x235 + x331 + x363 + x368 + x401 + x406 - x438 - x443 =L= 12; e1403.. 12*b213 + 12*b215 + x235 + x334 + x363 + x371 + x401 + x409 - x438 - x446 =L= 12; e1404.. 12*b216 + 12*b217 - x232 + x246 + x337 + x364 + x374 + x402 + x412 - x449 =L= 12; e1405.. 12*b216 + 12*b218 - x232 + x246 + x340 + x364 + x377 + x402 + x415 - x452 =L= 12; e1406.. 12*b216 + 12*b219 - x232 + x246 + x343 + x364 + x380 + x402 + x418 - x455 =L= 12; e1407.. 12*b220 + 12*b221 - x244 + x328 + x346 + x365 + x383 + x403 + x421 - x458 =L= 12; e1408.. 12*b220 + 12*b222 - x244 + x328 + x349 + x365 + x386 + x403 + x424 - x461 =L= 12; e1409.. 12*b214 + 12*b223 + x331 + x352 + x368 + x389 + x406 + x427 - x443 - x464 =L= 12; e1410.. 12*b217 + 12*b223 + x337 + x352 + x374 + x389 + x412 + x427 - x449 - x464 =L= 12; e1411.. 12*b219 + 12*b224 + x343 + x361 + x380 + x398 + x418 + x436 - x455 - x473 =L= 12; e1412.. 12*b222 + 12*b224 + x349 + x361 + x386 + x398 + x424 + x436 - x461 - x473 =L= 12; e1413.. 12*b223 + 12*b225 + x352 + x355 + x389 + x392 + x427 + x430 - x464 - x467 =L= 12; e1414.. 12*b224 + 12*b226 + x358 + x361 + x395 + x398 + x433 + x436 - x470 - x473 =L= 12; e1415.. 12*b213 + 12*b216 + 12*b220 - x232 + x235 - x244 + x246 + x328 + x363 + x364 + x365 + x401 + x402 + x403 - x438 =L= 12; e1416.. 12*b215 + 12*b225 + 12*b226 + x334 + x355 + x358 + x371 + x392 + x395 + x409 + x430 + x433 - x446 - x467 - x470 =L= 12; e1417.. 12*b218 + 12*b225 + 12*b226 + x340 + x355 + x358 + x377 + x392 + x395 + x415 + x430 + x433 - x452 - x467 - x470 =L= 12; e1418.. 12*b221 + 12*b225 + 12*b226 + x346 + x355 + x358 + x383 + x392 + x395 + x421 + x430 + x433 - x458 - x467 - x470 =L= 12; e1419.. 12*b199 + 12*b200 + x236 + x369 - x400 - x405 =L= 12; e1420.. 12*b199 + 12*b201 + x236 + x372 - x400 - x408 =L= 12; e1421.. 12*b202 + 12*b203 - x231 + x247 + x375 - x411 =L= 12; e1422.. 12*b202 + 12*b204 - x231 + x247 + x378 - x414 =L= 12; e1423.. 12*b202 + 12*b205 - x231 + x247 + x381 - x417 =L= 12; e1424.. 12*b206 + 12*b207 - x243 + x366 + x384 - x420 =L= 12; e1425.. 12*b206 + 12*b208 - x243 + x366 + x387 - x423 =L= 12; e1426.. 12*b200 + 12*b209 + x369 + x390 - x405 - x426 =L= 12; e1427.. 12*b203 + 12*b209 + x375 + x390 - x411 - x426 =L= 12; e1428.. 12*b205 + 12*b210 + x381 + x399 - x417 - x435 =L= 12; e1429.. 12*b208 + 12*b210 + x387 + x399 - x423 - x435 =L= 12; e1430.. 12*b209 + 12*b211 + x390 + x393 - x426 - x429 =L= 12; e1431.. 12*b210 + 12*b212 + x396 + x399 - x432 - x435 =L= 12; e1432.. 12*b199 + 12*b202 + 12*b206 - x231 + x236 - x243 + x247 + x366 - x400 =L= 12; e1433.. 12*b201 + 12*b211 + 12*b212 + x372 + x393 + x396 - x408 - x429 - x432 =L= 12; e1434.. 12*b204 + 12*b211 + 12*b212 + x378 + x393 + x396 - x414 - x429 - x432 =L= 12; e1435.. 12*b207 + 12*b211 + 12*b212 + x384 + x393 + x396 - x420 - x429 - x432 =L= 12; e1436.. 12*b213 + 12*b214 + x236 + x369 + x401 + x406 - x438 - x443 =L= 12; e1437.. 12*b213 + 12*b215 + x236 + x372 + x401 + x409 - x438 - x446 =L= 12; e1438.. 12*b216 + 12*b217 - x232 + x247 + x375 + x402 + x412 - x449 =L= 12; e1439.. 12*b216 + 12*b218 - x232 + x247 + x378 + x402 + x415 - x452 =L= 12; e1440.. 12*b216 + 12*b219 - x232 + x247 + x381 + x402 + x418 - x455 =L= 12; e1441.. 12*b220 + 12*b221 - x244 + x366 + x384 + x403 + x421 - x458 =L= 12; e1442.. 12*b220 + 12*b222 - x244 + x366 + x387 + x403 + x424 - x461 =L= 12; e1443.. 12*b214 + 12*b223 + x369 + x390 + x406 + x427 - x443 - x464 =L= 12; e1444.. 12*b217 + 12*b223 + x375 + x390 + x412 + x427 - x449 - x464 =L= 12; e1445.. 12*b219 + 12*b224 + x381 + x399 + x418 + x436 - x455 - x473 =L= 12; e1446.. 12*b222 + 12*b224 + x387 + x399 + x424 + x436 - x461 - x473 =L= 12; e1447.. 12*b223 + 12*b225 + x390 + x393 + x427 + x430 - x464 - x467 =L= 12; e1448.. 12*b224 + 12*b226 + x396 + x399 + x433 + x436 - x470 - x473 =L= 12; e1449.. 12*b213 + 12*b216 + 12*b220 - x232 + x236 - x244 + x247 + x366 + x401 + x402 + x403 - x438 =L= 12; e1450.. 12*b215 + 12*b225 + 12*b226 + x372 + x393 + x396 + x409 + x430 + x433 - x446 - x467 - x470 =L= 12; e1451.. 12*b218 + 12*b225 + 12*b226 + x378 + x393 + x396 + x415 + x430 + x433 - x452 - x467 - x470 =L= 12; e1452.. 12*b221 + 12*b225 + 12*b226 + x384 + x393 + x396 + x421 + x430 + x433 - x458 - x467 - x470 =L= 12; e1453.. 12*b213 + 12*b214 + x237 + x407 - x438 - x443 =L= 12; e1454.. 12*b213 + 12*b215 + x237 + x410 - x438 - x446 =L= 12; e1455.. 12*b216 + 12*b217 - x232 + x248 + x413 - x449 =L= 12; e1456.. 12*b216 + 12*b218 - x232 + x248 + x416 - x452 =L= 12; e1457.. 12*b216 + 12*b219 - x232 + x248 + x419 - x455 =L= 12; e1458.. 12*b220 + 12*b221 - x244 + x404 + x422 - x458 =L= 12; e1459.. 12*b220 + 12*b222 - x244 + x404 + x425 - x461 =L= 12; e1460.. 12*b214 + 12*b223 + x407 + x428 - x443 - x464 =L= 12; e1461.. 12*b217 + 12*b223 + x413 + x428 - x449 - x464 =L= 12; e1462.. 12*b219 + 12*b224 + x419 + x437 - x455 - x473 =L= 12; e1463.. 12*b222 + 12*b224 + x425 + x437 - x461 - x473 =L= 12; e1464.. 12*b223 + 12*b225 + x428 + x431 - x464 - x467 =L= 12; e1465.. 12*b224 + 12*b226 + x434 + x437 - x470 - x473 =L= 12; e1466.. 12*b213 + 12*b216 + 12*b220 - x232 + x237 - x244 + x248 + x404 - x438 =L= 12; e1467.. 12*b215 + 12*b225 + 12*b226 + x410 + x431 + x434 - x446 - x467 - x470 =L= 12; e1468.. 12*b218 + 12*b225 + 12*b226 + x416 + x431 + x434 - x452 - x467 - x470 =L= 12; e1469.. 12*b221 + 12*b225 + 12*b226 + x422 + x431 + x434 - x458 - x467 - x470 =L= 12; e1470.. - b147 - b148 + b158 =L= 0; e1471.. - b146 - b150 - b151 - b156 + b161 =L= 0; e1472.. - b146 - b153 - b157 =L= 0; e1473.. - b146 - b149 + b159 =L= 0; e1474.. - b146 - b154 - b155 + b160 =L= 0; e1475.. - b149 + b162 =L= 0; e1476.. - b154 - b155 + b163 =L= 0; e1477.. - b152 + b164 =L= 0; e1478.. - b154 - b155 + b170 =L= 0; e1479.. - b152 + b167 =L= 0; e1480.. - b147 - b150 - b154 + b165 =L= 0; e1481.. - b148 - b149 - b155 - b156 - b157 + b168 =L= 0; e1482.. - b148 - b152 - b154 - b156 - b157 + b169 =L= 0; e1483.. - b151 - b153 - b155 + b166 =L= 0; e1484.. - b159 - b160 - b161 + b171 =L= 0; e1485.. - b158 - b162 - b163 - b164 + b174 =L= 0; e1486.. - b158 - b161 - b167 - b170 + b178 =L= 0; e1487.. - b158 - b165 + b172 =L= 0; e1488.. - b158 - b168 - b169 + b173 =L= 0; e1489.. - b161 - b165 + b175 =L= 0; e1490.. - b161 - b168 - b169 + b176 =L= 0; e1491.. - b161 - b166 + b177 =L= 0; e1492.. - b168 - b169 + b179 =L= 0; e1493.. - b166 + b180 =L= 0; e1494.. - b159 - b162 - b168 + b181 =L= 0; e1495.. - b160 - b163 - b165 - b169 - b170 + b183 =L= 0; e1496.. - b160 - b163 - b166 - b168 - b170 + b184 =L= 0; e1497.. - b164 - b167 - b169 + b182 =L= 0; e1498.. - b172 - b173 - b174 - b178 + b185 =L= 0; e1499.. - b171 - b175 - b176 - b177 - b178 + b188 =L= 0; e1500.. - b171 - b174 - b179 - b180 + b192 =L= 0; e1501.. - b171 - b181 + b186 =L= 0; e1502.. - b171 - b183 - b184 + b187 =L= 0; e1503.. - b174 - b181 + b189 =L= 0; e1504.. - b174 - b183 - b184 + b190 =L= 0; e1505.. - b174 - b182 + b191 =L= 0; e1506.. - b178 - b183 - b184 + b193 =L= 0; e1507.. - b178 - b182 + b194 =L= 0; e1508.. - b172 - b175 - b183 + b195 =L= 0; e1509.. - b173 - b176 - b179 - b181 - b184 + b197 =L= 0; e1510.. - b173 - b176 - b179 - b182 - b183 + b198 =L= 0; e1511.. - b177 - b180 - b184 + b196 =L= 0; e1512.. - b186 - b187 - b188 - b192 + b199 =L= 0; e1513.. - b185 - b189 - b190 - b191 - b192 + b202 =L= 0; e1514.. - b185 - b188 - b193 - b194 + b206 =L= 0; e1515.. - b185 - b195 + b200 =L= 0; e1516.. - b185 - b197 - b198 + b201 =L= 0; e1517.. - b188 - b195 + b203 =L= 0; e1518.. - b188 - b197 - b198 + b204 =L= 0; e1519.. - b188 - b196 + b205 =L= 0; e1520.. - b192 - b197 - b198 + b207 =L= 0; e1521.. - b192 - b196 + b208 =L= 0; e1522.. - b186 - b189 - b197 + b209 =L= 0; e1523.. - b187 - b190 - b193 - b195 - b198 + b211 =L= 0; e1524.. - b187 - b190 - b193 - b196 - b197 + b212 =L= 0; e1525.. - b191 - b194 - b198 + b210 =L= 0; e1526.. - b200 - b201 - b202 - b206 + b213 =L= 0; e1527.. - b199 - b203 - b204 - b205 - b206 + b216 =L= 0; e1528.. - b199 - b202 - b207 - b208 + b220 =L= 0; e1529.. - b199 - b209 + b214 =L= 0; e1530.. - b199 - b211 - b212 + b215 =L= 0; e1531.. - b202 - b209 + b217 =L= 0; e1532.. - b202 - b211 - b212 + b218 =L= 0; e1533.. - b202 - b210 + b219 =L= 0; e1534.. - b206 - b211 - b212 + b221 =L= 0; e1535.. - b206 - b210 + b222 =L= 0; e1536.. - b200 - b203 - b211 + b223 =L= 0; e1537.. - b201 - b204 - b207 - b209 - b212 + b225 =L= 0; e1538.. - b201 - b204 - b207 - b210 - b211 + b226 =L= 0; e1539.. - b205 - b208 - b212 + b224 =L= 0; e1540.. - 30*x5 + 30*x501 =E= 0; e1541.. - 50*x4 + 50*x500 =E= 0; e1542.. - 50*x3 + 50*x499 =E= 0; e1543.. - 30*x2 + 30*x498 =E= 0; e1544.. 20*x497 - 20*x564 =E= 0; e1545.. 20*x496 - 20*x563 =E= 0; e1546.. 20*x495 - 20*x562 =E= 0; e1547.. 20*x494 - 20*x561 =E= 0; e1548.. 20*x493 - 20*x560 =E= 0; e1549.. 20*x492 - 20*x559 =E= 0; e1550.. 20*x491 - 20*x558 =E= 0; e1551.. 50*x476 - 50*x557 =E= 0; e1552.. 50*x481 - 50*x636 =E= 0; e1553.. 50*x478 - 50*x572 =E= 0; e1554.. x897*x477 - x896*x565 =E= 0; e1555.. -x896*x566 =E= 0; e1556.. -x896*x567 =E= 0; e1557.. -x896*x568 =E= 0; e1558.. -x896*x569 =E= 0; e1559.. -x896*x570 =E= 0; e1560.. -x896*x571 =E= 0; e1561.. x899*x502 - x898*x573 =E= 0; e1562.. -x898*x574 =E= 0; e1563.. -x898*x575 =E= 0; e1564.. x900*x502 - x898*x576 =E= 0; e1565.. -x898*x577 =E= 0; e1566.. -x898*x578 =E= 0; e1567.. -x898*x579 =E= 0; e1568.. x899*x503 - x898*x580 =E= 0; e1569.. -x898*x581 =E= 0; e1570.. -x898*x582 =E= 0; e1571.. x900*x503 - x898*x583 =E= 0; e1572.. -x898*x584 =E= 0; e1573.. -x898*x585 =E= 0; e1574.. -x898*x586 =E= 0; e1575.. -x901*x587 =E= 0; e1576.. -x901*x588 =E= 0; e1577.. -x901*x589 =E= 0; e1578.. -x901*x590 =E= 0; e1579.. x902*x504 - x901*x591 =E= 0; e1580.. -x901*x592 =E= 0; e1581.. -x901*x593 =E= 0; e1582.. -x901*x594 =E= 0; e1583.. -x901*x595 =E= 0; e1584.. -x901*x596 =E= 0; e1585.. -x901*x597 =E= 0; e1586.. x902*x505 - x901*x598 =E= 0; e1587.. -x901*x599 =E= 0; e1588.. -x901*x600 =E= 0; e1589.. -x901*x601 =E= 0; e1590.. -x901*x602 =E= 0; e1591.. -x901*x603 =E= 0; e1592.. -x901*x604 =E= 0; e1593.. x902*x506 - x901*x605 =E= 0; e1594.. -x901*x606 =E= 0; e1595.. -x901*x607 =E= 0; e1596.. -x903*x608 =E= 0; e1597.. -x903*x609 =E= 0; e1598.. -x903*x610 =E= 0; e1599.. -x903*x611 =E= 0; e1600.. -x903*x612 =E= 0; e1601.. x904*x507 - x903*x613 =E= 0; e1602.. -x903*x614 =E= 0; e1603.. -x903*x615 =E= 0; e1604.. -x903*x616 =E= 0; e1605.. -x903*x617 =E= 0; e1606.. -x903*x618 =E= 0; e1607.. -x903*x619 =E= 0; e1608.. x904*x508 - x903*x620 =E= 0; e1609.. -x903*x621 =E= 0; e1610.. -x905*x6 =E= 0; e1611.. -x905*x7 =E= 0; e1612.. -x905*x8 =E= 0; e1613.. x906*x509 - x905*x9 =E= 0; e1614.. x907*x509 - x905*x10 =E= 0; e1615.. -x905*x11 =E= 0; e1616.. x908*x509 - x905*x12 =E= 0; e1617.. -x909*x13 =E= 0; e1618.. -x909*x14 =E= 0; e1619.. -x909*x15 =E= 0; e1620.. x910*x510 - x909*x16 =E= 0; e1621.. x911*x510 - x909*x17 =E= 0; e1622.. x912*x510 - x909*x18 =E= 0; e1623.. -x909*x19 =E= 0; e1624.. -x909*x20 =E= 0; e1625.. -x909*x21 =E= 0; e1626.. -x909*x22 =E= 0; e1627.. x910*x511 - x909*x23 =E= 0; e1628.. x911*x511 - x909*x24 =E= 0; e1629.. x912*x511 - x909*x25 =E= 0; e1630.. -x909*x26 =E= 0; e1631.. -x913*x27 =E= 0; e1632.. -x913*x28 =E= 0; e1633.. -x913*x29 =E= 0; e1634.. -x913*x30 =E= 0; e1635.. x914*x512 - x913*x31 =E= 0; e1636.. x915*x512 - x913*x32 =E= 0; e1637.. -x913*x33 =E= 0; e1638.. x923*x479 - x922*x622 =E= 0; e1639.. x924*x479 - x922*x623 =E= 0; e1640.. x925*x479 - x922*x624 =E= 0; e1641.. x926*x479 - x922*x625 =E= 0; e1642.. x927*x479 - x922*x626 =E= 0; e1643.. x928*x479 - x922*x627 =E= 0; e1644.. x929*x479 - x922*x628 =E= 0; e1645.. -x930*x629 =E= 0; e1646.. x931*x480 - x930*x630 =E= 0; e1647.. -x930*x631 =E= 0; e1648.. -x930*x632 =E= 0; e1649.. -x930*x633 =E= 0; e1650.. -x930*x634 =E= 0; e1651.. -x930*x635 =E= 0; e1652.. x933*x513 - x932*x637 =E= 0; e1653.. x934*x513 - x932*x638 =E= 0; e1654.. x935*x513 - x932*x639 =E= 0; e1655.. x936*x513 - x932*x640 =E= 0; e1656.. x937*x513 - x932*x641 =E= 0; e1657.. x938*x513 - x932*x642 =E= 0; e1658.. x939*x513 - x932*x643 =E= 0; e1659.. x933*x514 - x932*x644 =E= 0; e1660.. x934*x514 - x932*x645 =E= 0; e1661.. x935*x514 - x932*x646 =E= 0; e1662.. x936*x514 - x932*x647 =E= 0; e1663.. x937*x514 - x932*x648 =E= 0; e1664.. x938*x514 - x932*x649 =E= 0; e1665.. x939*x514 - x932*x650 =E= 0; e1666.. x941*x515 - x940*x651 =E= 0; e1667.. x942*x515 - x940*x652 =E= 0; e1668.. x943*x515 - x940*x653 =E= 0; e1669.. x944*x515 - x940*x654 =E= 0; e1670.. x945*x515 - x940*x655 =E= 0; e1671.. x946*x515 - x940*x656 =E= 0; e1672.. x947*x515 - x940*x657 =E= 0; e1673.. x941*x516 - x940*x658 =E= 0; e1674.. x942*x516 - x940*x659 =E= 0; e1675.. x943*x516 - x940*x660 =E= 0; e1676.. x944*x516 - x940*x661 =E= 0; e1677.. x945*x516 - x940*x662 =E= 0; e1678.. x946*x516 - x940*x663 =E= 0; e1679.. x947*x516 - x940*x664 =E= 0; e1680.. x941*x517 - x940*x665 =E= 0; e1681.. x942*x517 - x940*x666 =E= 0; e1682.. x943*x517 - x940*x667 =E= 0; e1683.. x944*x517 - x940*x668 =E= 0; e1684.. x945*x517 - x940*x669 =E= 0; e1685.. x946*x517 - x940*x670 =E= 0; e1686.. x947*x517 - x940*x671 =E= 0; e1687.. x949*x518 - x948*x672 =E= 0; e1688.. x950*x518 - x948*x673 =E= 0; e1689.. x951*x518 - x948*x674 =E= 0; e1690.. x952*x518 - x948*x675 =E= 0; e1691.. x953*x518 - x948*x676 =E= 0; e1692.. x954*x518 - x948*x677 =E= 0; e1693.. x955*x518 - x948*x678 =E= 0; e1694.. x949*x519 - x948*x679 =E= 0; e1695.. x950*x519 - x948*x680 =E= 0; e1696.. x951*x519 - x948*x681 =E= 0; e1697.. x952*x519 - x948*x682 =E= 0; e1698.. x953*x519 - x948*x683 =E= 0; e1699.. x954*x519 - x948*x684 =E= 0; e1700.. x955*x519 - x948*x685 =E= 0; e1701.. x957*x520 - x956*x34 =E= 0; e1702.. x958*x520 - x956*x35 =E= 0; e1703.. x959*x520 - x956*x36 =E= 0; e1704.. x960*x520 - x956*x37 =E= 0; e1705.. x961*x520 - x956*x38 =E= 0; e1706.. x962*x520 - x956*x39 =E= 0; e1707.. x963*x520 - x956*x40 =E= 0; e1708.. x965*x521 - x964*x41 =E= 0; e1709.. x966*x521 - x964*x42 =E= 0; e1710.. x967*x521 - x964*x43 =E= 0; e1711.. x968*x521 - x964*x44 =E= 0; e1712.. x969*x521 - x964*x45 =E= 0; e1713.. x970*x521 - x964*x46 =E= 0; e1714.. x971*x521 - x964*x47 =E= 0; e1715.. x965*x522 - x964*x48 =E= 0; e1716.. x966*x522 - x964*x49 =E= 0; e1717.. x967*x522 - x964*x50 =E= 0; e1718.. x968*x522 - x964*x51 =E= 0; e1719.. x969*x522 - x964*x52 =E= 0; e1720.. x970*x522 - x964*x53 =E= 0; e1721.. x971*x522 - x964*x54 =E= 0; e1722.. x973*x523 - x972*x55 =E= 0; e1723.. x974*x523 - x972*x56 =E= 0; e1724.. x975*x523 - x972*x57 =E= 0; e1725.. x976*x523 - x972*x58 =E= 0; e1726.. x977*x523 - x972*x59 =E= 0; e1727.. x978*x523 - x972*x60 =E= 0; e1728.. x979*x523 - x972*x61 =E= 0; e1729.. x997*x482 - x996*x686 =E= 0; e1730.. x998*x482 - x996*x687 =E= 0; e1731.. x999*x482 - x996*x688 =E= 0; e1732.. x1000*x482 - x996*x689 =E= 0; e1733.. x1001*x482 - x996*x690 =E= 0; e1734.. x1002*x482 - x996*x691 =E= 0; e1735.. x1003*x482 - x996*x692 =E= 0; e1736.. x1005*x483 - x1004*x693 =E= 0; e1737.. x1006*x483 - x1004*x694 =E= 0; e1738.. x1007*x483 - x1004*x695 =E= 0; e1739.. x1008*x483 - x1004*x696 =E= 0; e1740.. x1009*x483 - x1004*x697 =E= 0; e1741.. x1010*x483 - x1004*x698 =E= 0; e1742.. x1011*x483 - x1004*x699 =E= 0; e1743.. -x1012*x700 =E= 0; e1744.. -x1012*x701 =E= 0; e1745.. x1013*x484 - x1012*x702 =E= 0; e1746.. -x1012*x703 =E= 0; e1747.. -x1012*x704 =E= 0; e1748.. -x1012*x705 =E= 0; e1749.. -x1012*x706 =E= 0; e1750.. x1015*x524 - x1014*x707 =E= 0; e1751.. x1016*x524 - x1014*x708 =E= 0; e1752.. x1017*x524 - x1014*x709 =E= 0; e1753.. x1018*x524 - x1014*x710 =E= 0; e1754.. x1019*x524 - x1014*x711 =E= 0; e1755.. x1020*x524 - x1014*x712 =E= 0; e1756.. x1021*x524 - x1014*x713 =E= 0; e1757.. x1015*x525 - x1014*x714 =E= 0; e1758.. x1016*x525 - x1014*x715 =E= 0; e1759.. x1017*x525 - x1014*x716 =E= 0; e1760.. x1018*x525 - x1014*x717 =E= 0; e1761.. x1019*x525 - x1014*x718 =E= 0; e1762.. x1020*x525 - x1014*x719 =E= 0; e1763.. x1021*x525 - x1014*x720 =E= 0; e1764.. x1023*x526 - x1022*x721 =E= 0; e1765.. x1024*x526 - x1022*x722 =E= 0; e1766.. x1025*x526 - x1022*x723 =E= 0; e1767.. x1026*x526 - x1022*x724 =E= 0; e1768.. x1027*x526 - x1022*x725 =E= 0; e1769.. x1028*x526 - x1022*x726 =E= 0; e1770.. x1029*x526 - x1022*x727 =E= 0; e1771.. x1023*x527 - x1022*x728 =E= 0; e1772.. x1024*x527 - x1022*x729 =E= 0; e1773.. x1025*x527 - x1022*x730 =E= 0; e1774.. x1026*x527 - x1022*x731 =E= 0; e1775.. x1027*x527 - x1022*x732 =E= 0; e1776.. x1028*x527 - x1022*x733 =E= 0; e1777.. x1029*x527 - x1022*x734 =E= 0; e1778.. x1023*x528 - x1022*x735 =E= 0; e1779.. x1024*x528 - x1022*x736 =E= 0; e1780.. x1025*x528 - x1022*x737 =E= 0; e1781.. x1026*x528 - x1022*x738 =E= 0; e1782.. x1027*x528 - x1022*x739 =E= 0; e1783.. x1028*x528 - x1022*x740 =E= 0; e1784.. x1029*x528 - x1022*x741 =E= 0; e1785.. x1031*x529 - x1030*x742 =E= 0; e1786.. x1032*x529 - x1030*x743 =E= 0; e1787.. x1033*x529 - x1030*x744 =E= 0; e1788.. x1034*x529 - x1030*x745 =E= 0; e1789.. x1035*x529 - x1030*x746 =E= 0; e1790.. x1036*x529 - x1030*x747 =E= 0; e1791.. x1037*x529 - x1030*x748 =E= 0; e1792.. x1031*x530 - x1030*x749 =E= 0; e1793.. x1032*x530 - x1030*x750 =E= 0; e1794.. x1033*x530 - x1030*x751 =E= 0; e1795.. x1034*x530 - x1030*x752 =E= 0; e1796.. x1035*x530 - x1030*x753 =E= 0; e1797.. x1036*x530 - x1030*x754 =E= 0; e1798.. x1037*x530 - x1030*x755 =E= 0; e1799.. x1039*x531 - x1038*x62 =E= 0; e1800.. x1040*x531 - x1038*x63 =E= 0; e1801.. x1041*x531 - x1038*x64 =E= 0; e1802.. x1042*x531 - x1038*x65 =E= 0; e1803.. x1043*x531 - x1038*x66 =E= 0; e1804.. x1044*x531 - x1038*x67 =E= 0; e1805.. x1045*x531 - x1038*x68 =E= 0; e1806.. x1047*x532 - x1046*x69 =E= 0; e1807.. x1048*x532 - x1046*x70 =E= 0; e1808.. x1049*x532 - x1046*x71 =E= 0; e1809.. x1050*x532 - x1046*x72 =E= 0; e1810.. x1051*x532 - x1046*x73 =E= 0; e1811.. x1052*x532 - x1046*x74 =E= 0; e1812.. x1053*x532 - x1046*x75 =E= 0; e1813.. x1047*x533 - x1046*x76 =E= 0; e1814.. x1048*x533 - x1046*x77 =E= 0; e1815.. x1049*x533 - x1046*x78 =E= 0; e1816.. x1050*x533 - x1046*x79 =E= 0; e1817.. x1051*x533 - x1046*x80 =E= 0; e1818.. x1052*x533 - x1046*x81 =E= 0; e1819.. x1053*x533 - x1046*x82 =E= 0; e1820.. x1055*x534 - x1054*x83 =E= 0; e1821.. x1056*x534 - x1054*x84 =E= 0; e1822.. x1057*x534 - x1054*x85 =E= 0; e1823.. x1058*x534 - x1054*x86 =E= 0; e1824.. x1059*x534 - x1054*x87 =E= 0; e1825.. x1060*x534 - x1054*x88 =E= 0; e1826.. x1061*x534 - x1054*x89 =E= 0; e1827.. x1079*x485 - x1078*x756 =E= 0; e1828.. x1080*x485 - x1078*x757 =E= 0; e1829.. x1081*x485 - x1078*x758 =E= 0; e1830.. x1082*x485 - x1078*x759 =E= 0; e1831.. x1083*x485 - x1078*x760 =E= 0; e1832.. x1084*x485 - x1078*x761 =E= 0; e1833.. x1085*x485 - x1078*x762 =E= 0; e1834.. x1087*x486 - x1086*x763 =E= 0; e1835.. x1088*x486 - x1086*x764 =E= 0; e1836.. x1089*x486 - x1086*x765 =E= 0; e1837.. x1090*x486 - x1086*x766 =E= 0; e1838.. x1091*x486 - x1086*x767 =E= 0; e1839.. x1092*x486 - x1086*x768 =E= 0; e1840.. x1093*x486 - x1086*x769 =E= 0; e1841.. x1095*x487 - x1094*x770 =E= 0; e1842.. x1096*x487 - x1094*x771 =E= 0; e1843.. x1097*x487 - x1094*x772 =E= 0; e1844.. x1098*x487 - x1094*x773 =E= 0; e1845.. x1099*x487 - x1094*x774 =E= 0; e1846.. x1100*x487 - x1094*x775 =E= 0; e1847.. x1101*x487 - x1094*x776 =E= 0; e1848.. x1103*x535 - x1102*x777 =E= 0; e1849.. x1104*x535 - x1102*x778 =E= 0; e1850.. x1105*x535 - x1102*x779 =E= 0; e1851.. x1106*x535 - x1102*x780 =E= 0; e1852.. x1107*x535 - x1102*x781 =E= 0; e1853.. x1108*x535 - x1102*x782 =E= 0; e1854.. x1109*x535 - x1102*x783 =E= 0; e1855.. x1103*x536 - x1102*x784 =E= 0; e1856.. x1104*x536 - x1102*x785 =E= 0; e1857.. x1105*x536 - x1102*x786 =E= 0; e1858.. x1106*x536 - x1102*x787 =E= 0; e1859.. x1107*x536 - x1102*x788 =E= 0; e1860.. x1108*x536 - x1102*x789 =E= 0; e1861.. x1109*x536 - x1102*x790 =E= 0; e1862.. x1111*x537 - x1110*x791 =E= 0; e1863.. x1112*x537 - x1110*x792 =E= 0; e1864.. x1113*x537 - x1110*x793 =E= 0; e1865.. x1114*x537 - x1110*x794 =E= 0; e1866.. x1115*x537 - x1110*x795 =E= 0; e1867.. x1116*x537 - x1110*x796 =E= 0; e1868.. x1117*x537 - x1110*x797 =E= 0; e1869.. x1111*x538 - x1110*x798 =E= 0; e1870.. x1112*x538 - x1110*x799 =E= 0; e1871.. x1113*x538 - x1110*x800 =E= 0; e1872.. x1114*x538 - x1110*x801 =E= 0; e1873.. x1115*x538 - x1110*x802 =E= 0; e1874.. x1116*x538 - x1110*x803 =E= 0; e1875.. x1117*x538 - x1110*x804 =E= 0; e1876.. x1111*x539 - x1110*x805 =E= 0; e1877.. x1112*x539 - x1110*x806 =E= 0; e1878.. x1113*x539 - x1110*x807 =E= 0; e1879.. x1114*x539 - x1110*x808 =E= 0; e1880.. x1115*x539 - x1110*x809 =E= 0; e1881.. x1116*x539 - x1110*x810 =E= 0; e1882.. x1117*x539 - x1110*x811 =E= 0; e1883.. x1119*x540 - x1118*x812 =E= 0; e1884.. x1120*x540 - x1118*x813 =E= 0; e1885.. x1121*x540 - x1118*x814 =E= 0; e1886.. x1122*x540 - x1118*x815 =E= 0; e1887.. x1123*x540 - x1118*x816 =E= 0; e1888.. x1124*x540 - x1118*x817 =E= 0; e1889.. x1125*x540 - x1118*x818 =E= 0; e1890.. x1119*x541 - x1118*x819 =E= 0; e1891.. x1120*x541 - x1118*x820 =E= 0; e1892.. x1121*x541 - x1118*x821 =E= 0; e1893.. x1122*x541 - x1118*x822 =E= 0; e1894.. x1123*x541 - x1118*x823 =E= 0; e1895.. x1124*x541 - x1118*x824 =E= 0; e1896.. x1125*x541 - x1118*x825 =E= 0; e1897.. x1127*x542 - x1126*x90 =E= 0; e1898.. x1128*x542 - x1126*x91 =E= 0; e1899.. x1129*x542 - x1126*x92 =E= 0; e1900.. x1130*x542 - x1126*x93 =E= 0; e1901.. x1131*x542 - x1126*x94 =E= 0; e1902.. x1132*x542 - x1126*x95 =E= 0; e1903.. x1133*x542 - x1126*x96 =E= 0; e1904.. x1135*x543 - x1134*x97 =E= 0; e1905.. x1136*x543 - x1134*x98 =E= 0; e1906.. x1137*x543 - x1134*x99 =E= 0; e1907.. x1138*x543 - x1134*x100 =E= 0; e1908.. x1139*x543 - x1134*x101 =E= 0; e1909.. x1140*x543 - x1134*x102 =E= 0; e1910.. x1141*x543 - x1134*x103 =E= 0; e1911.. x1135*x544 - x1134*x104 =E= 0; e1912.. x1136*x544 - x1134*x105 =E= 0; e1913.. x1137*x544 - x1134*x106 =E= 0; e1914.. x1138*x544 - x1134*x107 =E= 0; e1915.. x1139*x544 - x1134*x108 =E= 0; e1916.. x1140*x544 - x1134*x109 =E= 0; e1917.. x1141*x544 - x1134*x110 =E= 0; e1918.. x1143*x545 - x1142*x111 =E= 0; e1919.. x1144*x545 - x1142*x112 =E= 0; e1920.. x1145*x545 - x1142*x113 =E= 0; e1921.. x1146*x545 - x1142*x114 =E= 0; e1922.. x1147*x545 - x1142*x115 =E= 0; e1923.. x1148*x545 - x1142*x116 =E= 0; e1924.. x1149*x545 - x1142*x117 =E= 0; e1925.. x1167*x488 - x1166*x826 =E= 0; e1926.. x1168*x488 - x1166*x827 =E= 0; e1927.. x1169*x488 - x1166*x828 =E= 0; e1928.. x1170*x488 - x1166*x829 =E= 0; e1929.. x1171*x488 - x1166*x830 =E= 0; e1930.. x1172*x488 - x1166*x831 =E= 0; e1931.. x1173*x488 - x1166*x832 =E= 0; e1932.. x1175*x489 - x1174*x833 =E= 0; e1933.. x1176*x489 - x1174*x834 =E= 0; e1934.. x1177*x489 - x1174*x835 =E= 0; e1935.. x1178*x489 - x1174*x836 =E= 0; e1936.. x1179*x489 - x1174*x837 =E= 0; e1937.. x1180*x489 - x1174*x838 =E= 0; e1938.. x1181*x489 - x1174*x839 =E= 0; e1939.. x1183*x490 - x1182*x840 =E= 0; e1940.. x1184*x490 - x1182*x841 =E= 0; e1941.. x1185*x490 - x1182*x842 =E= 0; e1942.. x1186*x490 - x1182*x843 =E= 0; e1943.. x1187*x490 - x1182*x844 =E= 0; e1944.. x1188*x490 - x1182*x845 =E= 0; e1945.. x1189*x490 - x1182*x846 =E= 0; e1946.. x1191*x546 - x1190*x847 =E= 0; e1947.. x1192*x546 - x1190*x848 =E= 0; e1948.. x1193*x546 - x1190*x849 =E= 0; e1949.. x1194*x546 - x1190*x850 =E= 0; e1950.. x1195*x546 - x1190*x851 =E= 0; e1951.. x1196*x546 - x1190*x852 =E= 0; e1952.. x1197*x546 - x1190*x853 =E= 0; e1953.. x1191*x547 - x1190*x854 =E= 0; e1954.. x1192*x547 - x1190*x855 =E= 0; e1955.. x1193*x547 - x1190*x856 =E= 0; e1956.. x1194*x547 - x1190*x857 =E= 0; e1957.. x1195*x547 - x1190*x858 =E= 0; e1958.. x1196*x547 - x1190*x859 =E= 0; e1959.. x1197*x547 - x1190*x860 =E= 0; e1960.. x1199*x548 - x1198*x861 =E= 0; e1961.. x1200*x548 - x1198*x862 =E= 0; e1962.. x1201*x548 - x1198*x863 =E= 0; e1963.. x1202*x548 - x1198*x864 =E= 0; e1964.. x1203*x548 - x1198*x865 =E= 0; e1965.. x1204*x548 - x1198*x866 =E= 0; e1966.. x1205*x548 - x1198*x867 =E= 0; e1967.. x1199*x549 - x1198*x868 =E= 0; e1968.. x1200*x549 - x1198*x869 =E= 0; e1969.. x1201*x549 - x1198*x870 =E= 0; e1970.. x1202*x549 - x1198*x871 =E= 0; e1971.. x1203*x549 - x1198*x872 =E= 0; e1972.. x1204*x549 - x1198*x873 =E= 0; e1973.. x1205*x549 - x1198*x874 =E= 0; e1974.. x1199*x550 - x1198*x875 =E= 0; e1975.. x1200*x550 - x1198*x876 =E= 0; e1976.. x1201*x550 - x1198*x877 =E= 0; e1977.. x1202*x550 - x1198*x878 =E= 0; e1978.. x1203*x550 - x1198*x879 =E= 0; e1979.. x1204*x550 - x1198*x880 =E= 0; e1980.. x1205*x550 - x1198*x881 =E= 0; e1981.. x1207*x551 - x1206*x882 =E= 0; e1982.. x1208*x551 - x1206*x883 =E= 0; e1983.. x1209*x551 - x1206*x884 =E= 0; e1984.. x1210*x551 - x1206*x885 =E= 0; e1985.. x1211*x551 - x1206*x886 =E= 0; e1986.. x1212*x551 - x1206*x887 =E= 0; e1987.. x1213*x551 - x1206*x888 =E= 0; e1988.. x1207*x552 - x1206*x889 =E= 0; e1989.. x1208*x552 - x1206*x890 =E= 0; e1990.. x1209*x552 - x1206*x891 =E= 0; e1991.. x1210*x552 - x1206*x892 =E= 0; e1992.. x1211*x552 - x1206*x893 =E= 0; e1993.. x1212*x552 - x1206*x894 =E= 0; e1994.. x1213*x552 - x1206*x895 =E= 0; e1995.. x1215*x553 - x1214*x118 =E= 0; e1996.. x1216*x553 - x1214*x119 =E= 0; e1997.. x1217*x553 - x1214*x120 =E= 0; e1998.. x1218*x553 - x1214*x121 =E= 0; e1999.. x1219*x553 - x1214*x122 =E= 0; e2000.. x1220*x553 - x1214*x123 =E= 0; e2001.. x1221*x553 - x1214*x124 =E= 0; e2002.. x1223*x554 - x1222*x125 =E= 0; e2003.. x1224*x554 - x1222*x126 =E= 0; e2004.. x1225*x554 - x1222*x127 =E= 0; e2005.. x1226*x554 - x1222*x128 =E= 0; e2006.. x1227*x554 - x1222*x129 =E= 0; e2007.. x1228*x554 - x1222*x130 =E= 0; e2008.. x1229*x554 - x1222*x131 =E= 0; e2009.. x1223*x555 - x1222*x132 =E= 0; e2010.. x1224*x555 - x1222*x133 =E= 0; e2011.. x1225*x555 - x1222*x134 =E= 0; e2012.. x1226*x555 - x1222*x135 =E= 0; e2013.. x1227*x555 - x1222*x136 =E= 0; e2014.. x1228*x555 - x1222*x137 =E= 0; e2015.. x1229*x555 - x1222*x138 =E= 0; e2016.. x1231*x556 - x1230*x139 =E= 0; e2017.. x1232*x556 - x1230*x140 =E= 0; e2018.. x1233*x556 - x1230*x141 =E= 0; e2019.. x1234*x556 - x1230*x142 =E= 0; e2020.. x1235*x556 - x1230*x143 =E= 0; e2021.. x1236*x556 - x1230*x144 =E= 0; e2022.. x1237*x556 - x1230*x145 =E= 0; * set non-default bounds x896.up = 50; x897.up = 50; x898.up = 100; x899.up = 100; x900.up = 100; x901.up = 100; x902.up = 100; x903.up = 100; x904.up = 100; x905.up = 100; x906.up = 100; x907.up = 100; x908.up = 100; x909.up = 100; x910.up = 100; x911.up = 100; x912.up = 100; x913.up = 100; x914.up = 100; x915.up = 100; x922.up = 50; x923.up = 50; x924.up = 50; x925.up = 50; x926.up = 50; x927.up = 50; x928.up = 50; x929.up = 50; x930.up = 50; x931.up = 50; x932.up = 100; x933.up = 100; x934.up = 100; x935.up = 100; x936.up = 100; x937.up = 100; x938.up = 100; x939.up = 100; x940.up = 100; x941.up = 100; x942.up = 100; x943.up = 100; x944.up = 100; x945.up = 100; x946.up = 100; x947.up = 100; x948.up = 100; x949.up = 100; x950.up = 100; x951.up = 100; x952.up = 100; x953.up = 100; x954.up = 100; x955.up = 100; x956.up = 100; x957.up = 100; x958.up = 100; x959.up = 100; x960.up = 100; x961.up = 100; x962.up = 100; x963.up = 100; x964.up = 100; x965.up = 100; x966.up = 100; x967.up = 100; x968.up = 100; x969.up = 100; x970.up = 100; x971.up = 100; x972.up = 100; x973.up = 100; x974.up = 100; x975.up = 100; x976.up = 100; x977.up = 100; x978.up = 100; x979.up = 100; x996.up = 50; x997.up = 50; x998.up = 50; x999.up = 50; x1000.up = 50; x1001.up = 50; x1002.up = 50; x1003.up = 50; x1004.up = 50; x1005.up = 50; x1006.up = 50; x1007.up = 50; x1008.up = 50; x1009.up = 50; x1010.up = 50; x1011.up = 50; x1012.up = 50; x1013.up = 50; x1014.up = 100; x1015.up = 100; x1016.up = 100; x1017.up = 100; x1018.up = 100; x1019.up = 100; x1020.up = 100; x1021.up = 100; x1022.up = 100; x1023.up = 100; x1024.up = 100; x1025.up = 100; x1026.up = 100; x1027.up = 100; x1028.up = 100; x1029.up = 100; x1030.up = 100; x1031.up = 100; x1032.up = 100; x1033.up = 100; x1034.up = 100; x1035.up = 100; x1036.up = 100; x1037.up = 100; x1038.up = 100; x1039.up = 100; x1040.up = 100; x1041.up = 100; x1042.up = 100; x1043.up = 100; x1044.up = 100; x1045.up = 100; x1046.up = 100; x1047.up = 100; x1048.up = 100; x1049.up = 100; x1050.up = 100; x1051.up = 100; x1052.up = 100; x1053.up = 100; x1054.up = 100; x1055.up = 100; x1056.up = 100; x1057.up = 100; x1058.up = 100; x1059.up = 100; x1060.up = 100; x1061.up = 100; x1078.up = 50; x1079.up = 50; x1080.up = 50; x1081.up = 50; x1082.up = 50; x1083.up = 50; x1084.up = 50; x1085.up = 50; x1086.up = 50; x1087.up = 50; x1088.up = 50; x1089.up = 50; x1090.up = 50; x1091.up = 50; x1092.up = 50; x1093.up = 50; x1094.up = 50; x1095.up = 50; x1096.up = 50; x1097.up = 50; x1098.up = 50; x1099.up = 50; x1100.up = 50; x1101.up = 50; x1102.up = 100; x1103.up = 100; x1104.up = 100; x1105.up = 100; x1106.up = 100; x1107.up = 100; x1108.up = 100; x1109.up = 100; x1110.up = 100; x1111.up = 100; x1112.up = 100; x1113.up = 100; x1114.up = 100; x1115.up = 100; x1116.up = 100; x1117.up = 100; x1118.up = 100; x1119.up = 100; x1120.up = 100; x1121.up = 100; x1122.up = 100; x1123.up = 100; x1124.up = 100; x1125.up = 100; x1126.up = 100; x1127.up = 100; x1128.up = 100; x1129.up = 100; x1130.up = 100; x1131.up = 100; x1132.up = 100; x1133.up = 100; x1134.up = 100; x1135.up = 100; x1136.up = 100; x1137.up = 100; x1138.up = 100; x1139.up = 100; x1140.up = 100; x1141.up = 100; x1142.up = 100; x1143.up = 100; x1144.up = 100; x1145.up = 100; x1146.up = 100; x1147.up = 100; x1148.up = 100; x1149.up = 100; x1166.up = 50; x1167.up = 50; x1168.up = 50; x1169.up = 50; x1170.up = 50; x1171.up = 50; x1172.up = 50; x1173.up = 50; x1174.up = 50; x1175.up = 50; x1176.up = 50; x1177.up = 50; x1178.up = 50; x1179.up = 50; x1180.up = 50; x1181.up = 50; x1182.up = 50; x1183.up = 50; x1184.up = 50; x1185.up = 50; x1186.up = 50; x1187.up = 50; x1188.up = 50; x1189.up = 50; x1190.up = 100; x1191.up = 100; x1192.up = 100; x1193.up = 100; x1194.up = 100; x1195.up = 100; x1196.up = 100; x1197.up = 100; x1198.up = 100; x1199.up = 100; x1200.up = 100; x1201.up = 100; x1202.up = 100; x1203.up = 100; x1204.up = 100; x1205.up = 100; x1206.up = 100; x1207.up = 100; x1208.up = 100; x1209.up = 100; x1210.up = 100; x1211.up = 100; x1212.up = 100; x1213.up = 100; x1214.up = 100; x1215.up = 100; x1216.up = 100; x1217.up = 100; x1218.up = 100; x1219.up = 100; x1220.up = 100; x1221.up = 100; x1222.up = 100; x1223.up = 100; x1224.up = 100; x1225.up = 100; x1226.up = 100; x1227.up = 100; x1228.up = 100; x1229.up = 100; x1230.up = 100; x1231.up = 100; x1232.up = 100; x1233.up = 100; x1234.up = 100; x1235.up = 100; x1236.up = 100; x1237.up = 100; Model m / all /; m.limrow=0; m.limcol=0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' m.tolproj = 0.0; $if not set MIQCP $set MIQCP MIQCP Solve m using %MIQCP% maximizing objvar;