$offlisting * * Equation counts * Total E G L N X C B * 1 0 0 1 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 1226 1 1225 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 1226 1 1225 0 * * Solve m using MINLP maximizing objvar; Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19 ,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36 ,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53 ,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70 ,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87 ,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103 ,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116 ,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129 ,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142 ,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155 ,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168 ,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181 ,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194 ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207 ,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220 ,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233 ,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246 ,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259 ,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271,b272 ,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284,b285 ,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297,b298 ,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310,b311 ,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323,b324 ,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336,b337 ,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349,b350 ,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362,b363 ,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375,b376 ,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388,b389 ,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401,b402 ,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414,b415 ,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427,b428 ,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440,b441 ,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453,b454 ,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466,b467 ,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479,b480 ,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492,b493 ,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505,b506 ,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518,b519 ,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531,b532 ,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544,b545 ,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557,b558 ,b559,b560,b561,b562,b563,b564,b565,b566,b567,b568,b569,b570,b571 ,b572,b573,b574,b575,b576,b577,b578,b579,b580,b581,b582,b583,b584 ,b585,b586,b587,b588,b589,b590,b591,b592,b593,b594,b595,b596,b597 ,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,b609,b610 ,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621,b622,b623 ,b624,b625,b626,b627,b628,b629,b630,b631,b632,b633,b634,b635,b636 ,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647,b648,b649 ,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660,b661,b662 ,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673,b674,b675 ,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686,b687,b688 ,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699,b700,b701 ,b702,b703,b704,b705,b706,b707,b708,b709,b710,b711,b712,b713,b714 ,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725,b726,b727 ,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738,b739,b740 ,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751,b752,b753 ,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764,b765,b766 ,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777,b778,b779 ,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790,b791,b792 ,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804,b805 ,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817,b818 ,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830,b831 ,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842,b843,b844 ,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855,b856,b857 ,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868,b869,b870 ,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881,b882,b883 ,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894,b895,b896 ,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907,b908,b909 ,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920,b921,b922 ,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933,b934,b935 ,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946,b947,b948 ,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959,b960,b961 ,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972,b973,b974 ,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985,b986,b987 ,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998,b999,b1000 ,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009,b1010,b1011 ,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020,b1021,b1022 ,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031,b1032,b1033 ,b1034,b1035,b1036,b1037,b1038,b1039,b1040,b1041,b1042,b1043,b1044 ,b1045,b1046,b1047,b1048,b1049,b1050,b1051,b1052,b1053,b1054,b1055 ,b1056,b1057,b1058,b1059,b1060,b1061,b1062,b1063,b1064,b1065,b1066 ,b1067,b1068,b1069,b1070,b1071,b1072,b1073,b1074,b1075,b1076,b1077 ,b1078,b1079,b1080,b1081,b1082,b1083,b1084,b1085,b1086,b1087,b1088 ,b1089,b1090,b1091,b1092,b1093,b1094,b1095,b1096,b1097,b1098,b1099 ,b1100,b1101,b1102,b1103,b1104,b1105,b1106,b1107,b1108,b1109,b1110 ,b1111,b1112,b1113,b1114,b1115,b1116,b1117,b1118,b1119,b1120,b1121 ,b1122,b1123,b1124,b1125,b1126,b1127,b1128,b1129,b1130,b1131,b1132 ,b1133,b1134,b1135,b1136,b1137,b1138,b1139,b1140,b1141,b1142,b1143 ,b1144,b1145,b1146,b1147,b1148,b1149,b1150,b1151,b1152,b1153,b1154 ,b1155,b1156,b1157,b1158,b1159,b1160,b1161,b1162,b1163,b1164,b1165 ,b1166,b1167,b1168,b1169,b1170,b1171,b1172,b1173,b1174,b1175,b1176 ,b1177,b1178,b1179,b1180,b1181,b1182,b1183,b1184,b1185,b1186,b1187 ,b1188,b1189,b1190,b1191,b1192,b1193,b1194,b1195,b1196,b1197,b1198 ,b1199,b1200,b1201,b1202,b1203,b1204,b1205,b1206,b1207,b1208,b1209 ,b1210,b1211,b1212,b1213,b1214,b1215,b1216,b1217,b1218,b1219,b1220 ,b1221,b1222,b1223,b1224,b1225,objvar; Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17 ,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34 ,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51 ,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68 ,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85 ,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101 ,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114 ,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127 ,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140 ,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153 ,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166 ,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179 ,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192 ,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205 ,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218 ,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231 ,b232,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244 ,b245,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257 ,b258,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270 ,b271,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283 ,b284,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296 ,b297,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309 ,b310,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322 ,b323,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335 ,b336,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348 ,b349,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361 ,b362,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374 ,b375,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387 ,b388,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400 ,b401,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413 ,b414,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426 ,b427,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439 ,b440,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452 ,b453,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465 ,b466,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478 ,b479,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491 ,b492,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504 ,b505,b506,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517 ,b518,b519,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530 ,b531,b532,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543 ,b544,b545,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556 ,b557,b558,b559,b560,b561,b562,b563,b564,b565,b566,b567,b568,b569 ,b570,b571,b572,b573,b574,b575,b576,b577,b578,b579,b580,b581,b582 ,b583,b584,b585,b586,b587,b588,b589,b590,b591,b592,b593,b594,b595 ,b596,b597,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608 ,b609,b610,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621 ,b622,b623,b624,b625,b626,b627,b628,b629,b630,b631,b632,b633,b634 ,b635,b636,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647 ,b648,b649,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660 ,b661,b662,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673 ,b674,b675,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686 ,b687,b688,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699 ,b700,b701,b702,b703,b704,b705,b706,b707,b708,b709,b710,b711,b712 ,b713,b714,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725 ,b726,b727,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738 ,b739,b740,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751 ,b752,b753,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764 ,b765,b766,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777 ,b778,b779,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790 ,b791,b792,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803 ,b804,b805,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816 ,b817,b818,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829 ,b830,b831,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842 ,b843,b844,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855 ,b856,b857,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868 ,b869,b870,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881 ,b882,b883,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894 ,b895,b896,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907 ,b908,b909,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920 ,b921,b922,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933 ,b934,b935,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946 ,b947,b948,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959 ,b960,b961,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972 ,b973,b974,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985 ,b986,b987,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998 ,b999,b1000,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009 ,b1010,b1011,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020 ,b1021,b1022,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031 ,b1032,b1033,b1034,b1035,b1036,b1037,b1038,b1039,b1040,b1041,b1042 ,b1043,b1044,b1045,b1046,b1047,b1048,b1049,b1050,b1051,b1052,b1053 ,b1054,b1055,b1056,b1057,b1058,b1059,b1060,b1061,b1062,b1063,b1064 ,b1065,b1066,b1067,b1068,b1069,b1070,b1071,b1072,b1073,b1074,b1075 ,b1076,b1077,b1078,b1079,b1080,b1081,b1082,b1083,b1084,b1085,b1086 ,b1087,b1088,b1089,b1090,b1091,b1092,b1093,b1094,b1095,b1096,b1097 ,b1098,b1099,b1100,b1101,b1102,b1103,b1104,b1105,b1106,b1107,b1108 ,b1109,b1110,b1111,b1112,b1113,b1114,b1115,b1116,b1117,b1118,b1119 ,b1120,b1121,b1122,b1123,b1124,b1125,b1126,b1127,b1128,b1129,b1130 ,b1131,b1132,b1133,b1134,b1135,b1136,b1137,b1138,b1139,b1140,b1141 ,b1142,b1143,b1144,b1145,b1146,b1147,b1148,b1149,b1150,b1151,b1152 ,b1153,b1154,b1155,b1156,b1157,b1158,b1159,b1160,b1161,b1162,b1163 ,b1164,b1165,b1166,b1167,b1168,b1169,b1170,b1171,b1172,b1173,b1174 ,b1175,b1176,b1177,b1178,b1179,b1180,b1181,b1182,b1183,b1184,b1185 ,b1186,b1187,b1188,b1189,b1190,b1191,b1192,b1193,b1194,b1195,b1196 ,b1197,b1198,b1199,b1200,b1201,b1202,b1203,b1204,b1205,b1206,b1207 ,b1208,b1209,b1210,b1211,b1212,b1213,b1214,b1215,b1216,b1217,b1218 ,b1219,b1220,b1221,b1222,b1223,b1224,b1225; Equations e1; e1.. 2*b1*b49 - 2*b1 - 2*b49 - 2*b1*b744 + 2*b1*b745 + 2*b1*b753 + 2*b2*b554 - 2*b2 - 2*b554 - 2*b2*b665 + 2*b665 + 2*b2*b751 + 2*b2*b791 + 2*b3*b69 - 2* b3 - 2*b69 + 2*b3*b106 - 2*b106 + 2*b3*b312 + 2*b312 - 2*b3*b390 + 4*b390 + 2*b4*b18 - 4*b4 - 2*b18 + 2*b4*b34 - 2*b34 + 2*b4*b385 - 2*b385 + 2*b4* b783 + 2*b5*b126 - 2*b5 - 2*b126 - 2*b5*b428 + 2*b428 + 2*b5*b842 + 2*b5* b843 + 2*b6*b106 - 2*b6 + 2*b6*b155 - 2*b155 - 2*b6*b477 + 2*b477 + 2*b6* b858 + 2*b7*b126 - 2*b7 + 2*b7*b182 - 2*b182 - 2*b7*b522 + 2*b522 + 2*b7* b871 + 2*b8*b155 - 2*b8 + 2*b8*b180 - 2*b180 + 2*b8*b209 - 2*b209 - 2*b8* b573 + 2*b573 + 2*b9*b131 - 2*b9 - 2*b131 + 2*b9*b764 - 2*b9*b846 + 2*b9* b847 + 2*b10*b153 - 2*b10 - 2*b153 + 2*b10*b182 + 2*b10*b239 - 2*b239 - 2* b10*b627 + 2*b627 + 2*b11*b162 - 2*b11 - 2*b162 + 2*b11*b756 - 2*b11*b861 + 2*b11*b862 + 2*b12*b19 - 2*b12 - 4*b19 + 2*b12*b59 - 4*b59 + 2*b12*b814 - 2*b12*b945 + 2*b13*b154 - 2*b13 - 4*b154 + 2*b13*b209 + 2*b13*b276 - 2* b276 - 2*b13*b688 + 2*b688 + 2*b14*b188 - 2*b14 - 2*b188 + 2*b14*b488 + 2* b488 + 2*b14*b757 - 2*b14*b875 + 2*b15*b181 - 2*b15 - 4*b181 + 2*b15*b239 + 2*b15*b314 - 2*b314 - 2*b15*b933 + 2*b16*b216 - 2*b16 - 2*b216 + 2*b16* b765 + 2*b16*b787 - 2*b16*b890 - 2*b17*b400 - 2*b17 + 2*b400 + 2*b17*b402 - 2*b402 + 2*b17*b645 - 4*b645 + 2*b17*b833 - 2*b18*b347 - 2*b347 + 2*b18 *b469 - 2*b469 + 2*b18*b677 - 4*b677 + 2*b19*b208 - 4*b208 + 2*b19*b276 + 2*b19*b353 - 2*b353 + 2*b20*b248 - 2*b20 - 2*b248 - 2*b20*b438 + 2*b438 + 2*b20*b773 + 2*b20*b774 + 2*b21*b364 - 2*b21 - 2*b364 - 2*b21*b441 + 2* b441 + 2*b21*b707 - 4*b707 + 2*b21*b710 + 2*b710 + 2*b22*b237 - 4*b22 - 4* b237 + 2*b22*b314 + 2*b22*b391 - 2*b391 + 2*b22*b933 + 2*b23*b285 - 2*b23 - 2*b285 - 2*b23*b485 + 2*b485 + 2*b23*b764 + 2*b23*b788 + 2*b24*b322 - 2 *b24 - 2*b322 - 2*b24*b533 + 2*b533 + 2*b24*b756 + 2*b24*b804 + 2*b25*b192 - 2*b25 - 2*b192 - 2*b25*b597 + 4*b597 + 2*b25*b940 + 2*b25*b941 + 2*b26* b46 - 2*b26 - 2*b46 + 2*b26*b557 - 4*b557 + 2*b27*b219 - 2*b27 - 4*b219 + 2*b27*b329 - 2*b329 - 2*b27*b654 + 4*b654 + 2*b27*b953 + 2*b28*b251 - 2* b28 - 4*b251 + 2*b28*b368 - 2*b368 - 2*b28*b716 + 2*b716 + 2*b28*b966 - 2* b29*b177 - 2*b29 - 2*b177 + 2*b29*b748 + 2*b29*b797 + 2*b29*b870 + 2*b30* b137 - 2*b30 - 2*b137 + 2*b30*b289 - 4*b289 + 2*b30*b405 - 4*b405 - 2*b30* b980 + 2*b31*b79 - 2*b31 - 4*b79 - 2*b31*b166 - 2*b166 + 2*b31*b289 + 2* b31*b1008 + 2*b32*b81 - 2*b32 - 2*b81 + 2*b32*b982 - 2*b33*b149 - 2*b33 - 2*b149 + 2*b33*b752 + 2*b33*b784 + 2*b33*b885 + 2*b34*b737 + 2*b34*b870 - 2*b34*b886 + 2*b35*b166 - 2*b35 + 2*b35*b330 - 4*b330 + 2*b35*b450 - 4* b450 - 2*b35*b994 + 2*b36*b55 - 2*b36 - 2*b55 + 2*b36*b95 - 4*b95 - 2*b36* b137 + 2*b36*b330 + 2*b37*b99 - 2*b37 - 2*b99 + 2*b37*b996 + 2*b38*b469 - 2*b38 + 2*b38*b759 + 2*b38*b901 - 2*b38*b969 + 2*b39*b40 - 4*b39 - 2*b40 + 2*b39*b856 + 2*b39*b885 + 2*b39*b886 + 2*b40*b58 - 2*b58 - 2*b40*b348 + 4*b348 + 2*b40*b736 + 2*b41*b104 - 2*b41 - 2*b104 + 2*b41*b273 - 4*b273 + 2*b41*b744 - 2*b41*b1055 + 2*b42*b73 - 2*b42 - 2*b73 + 2*b42*b359 - 2* b359 - 2*b42*b934 + 2*b42*b935 + 2*b43*b642 - 2*b43 - 2*b642 + 2*b43*b846 - 2*b43*b961 + 2*b43*b962 + 2*b44*b192 - 2*b44 + 2*b44*b369 - 4*b369 + 2* b44*b500 - 4*b500 - 2*b44*b1007 + 2*b45*b65 - 2*b45 - 4*b65 + 2*b45*b115 - 4*b115 + 2*b45*b369 - 2*b45*b966 + 2*b46*b47 - 2*b47 - 2*b46*b142 - 2* b142 + 2*b46*b298 - 4*b298 + 2*b47*b118 - 2*b118 + 2*b48*b49 - 4*b48 + 2* b48*b840 + 2*b48*b901 + 2*b48*b902 + 2*b49*b68 - 2*b68 - 2*b49*b386 + 2* b386 + 2*b50*b104 - 2*b50 + 2*b50*b150 - 2*b150 + 2*b50*b737 - 2*b50*b1024 + 2*b51*b396 - 2*b51 - 2*b396 - 2*b51*b947 + 2*b51*b948 + 2*b51*b949 + 2* b52*b830 - 2*b52 - 2*b52*b975 + 2*b52*b976 + 2*b52*b977 + 2*b53*b219 - 2* b53 + 2*b53*b406 - 4*b406 + 2*b53*b544 - 4*b544 - 2*b53*b1019 + 2*b54*b79 - 2*b54 + 2*b54*b139 - 4*b139 + 2*b54*b406 - 2*b54*b953 + 2*b55*b659 - 4* b659 + 2*b55*b981 - 2*b55*b1020 + 2*b56*b57 - 2*b56 - 2*b57 - 2*b56*b117 - 2*b117 + 2*b56*b337 - 4*b337 + 2*b56*b1021 + 2*b57*b143 - 4*b143 + 2* b58*b178 - 4*b178 - 2*b58*b1013 + 2*b58*b1055 + 2*b59*b104 + 2*b59*b178 + 2*b59*b842 + 2*b60*b71 + 2*b60 + 2*b71 - 2*b60*b127 + 4*b127 - 2*b60*b578 - 2*b578 - 2*b60*b769 + 2*b61*b436 - 2*b61 - 2*b436 - 2*b61*b958 + 2*b61* b959 + 2*b61*b960 + 2*b62*b533 - 2*b62 + 2*b62*b817 - 2*b62*b991 + 2*b62* b992 + 2*b63*b251 - 2*b63 + 2*b63*b451 - 4*b451 + 2*b63*b598 - 4*b598 - 2* b63*b1029 + 2*b64*b95 - 2*b64 + 2*b64*b168 - 4*b168 + 2*b64*b451 - 2*b64* b941 + 2*b65*b254 - 4*b254 + 2*b65*b967 + 2*b65*b1009 + 2*b66*b67 - 2*b66 - 2*b67 - 2*b66*b98 - 2*b98 + 2*b66*b376 - 4*b376 + 2*b66*b1030 + 2*b67* b171 - 4*b171 + 2*b68*b150 + 2*b68*b206 - 4*b206 - 2*b68*b1001 + 2*b69* b156 - 2*b156 + 2*b69*b814 - 2*b69*b1098 - 2*b70*b157 + 2*b70 + 4*b157 - 2 *b70*b760 + 2*b70*b762 - 2*b70*b827 - 2*b71*b771 - 2*b71*b1088 - 2*b71* b1089 + 2*b72*b245 - 2*b72 - 4*b245 + 2*b72*b483 - 2*b483 - 2*b72*b973 + 2 *b72*b974 + 2*b73*b731 + 2*b73*b860 - 2*b73*b937 + 2*b74*b485 - 2*b74 + 2* b74*b802 - 2*b74*b1005 + 2*b74*b1006 + 2*b75*b76 - 2*b75 - 2*b76 + 2*b75* b112 - 2*b112 + 2*b75*b325 - 4*b325 - 2*b75*b848 + 2*b76*b133 - 2*b133 + 2 *b76*b217 - 2*b217 - 2*b76*b1101 + 2*b77*b289 - 4*b77 + 2*b77*b501 - 2* b501 + 2*b77*b655 - 4*b655 + 2*b77*b1029 + 2*b78*b115 - 4*b78 + 2*b78*b194 - 4*b194 + 2*b78*b501 + 2*b78*b941 + 2*b79*b954 + 2*b79*b1020 - 2*b80*b81 - 2*b80 + 2*b80*b169 - 4*b169 + 2*b80*b197 - 4*b197 + 2*b80*b1048 + 2*b81 *b82 - 2*b82 + 2*b81*b728 - 2*b728 + 2*b82*b197 + 2*b83*b850 - 2*b83 + 2* b83*b1093 + 2*b84*b85 - 2*b84 - 4*b85 - 2*b84*b562 + 2*b562 + 2*b84*b782 + 2*b84*b930 + 2*b85*b419 - 2*b419 + 2*b85*b463 - 4*b463 + 2*b85*b743 + 2 *b86*b88 + 2*b86 - 2*b88 - 2*b86*b184 + 4*b184 - 2*b86*b754 - 2*b86*b844 - 2*b87*b785 + 2*b87 + 2*b87*b799 - 2*b87*b1074 - 2*b87*b1075 + 2*b88* b771 + 2*b88*b1075 - 2*b88*b1108 + 2*b89*b282 - 4*b89 - 4*b282 + 2*b89* b529 - 2*b529 + 2*b89*b973 + 2*b89*b990 + 2*b90*b321 - 2*b90 - 2*b321 + 2* b90*b529 - 2*b90*b923 + 2*b90*b949 + 2*b91*b161 - 2*b91 - 2*b161 + 2*b91* b360 - 2*b360 + 2*b91*b438 - 2*b91*b1018 + 2*b92*b134 - 2*b92 - 4*b134 - 2 *b92*b654 + 2*b92*b738 + 2*b92*b894 + 2*b93*b330 - 4*b93 + 2*b93*b545 - 2* b545 + 2*b93*b717 - 4*b717 + 2*b93*b1019 + 2*b94*b139 - 4*b94 + 2*b94*b221 - 4*b221 + 2*b94*b545 + 2*b94*b953 + 2*b95*b942 + 2*b95*b1010 - 2*b96*b97 - 2*b96 + 2*b97 + 2*b96*b735 + 2*b96*b751 + 2*b96*b1010 + 2*b97*b195 - 4* b195 - 2*b97*b1048 - 2*b97*b1111 + 2*b98*b195 + 2*b98*b225 - 4*b225 + 2* b98*b1063 + 2*b99*b100 - 2*b100 + 2*b99*b668 - 2*b668 - 2*b99*b1050 + 2* b100*b225 + 2*b101*b866 - 2*b101 + 2*b101*b1080 - 2*b102*b512 + 2*b102 + 2 *b512 - 2*b102*b782 + 2*b102*b916 - 2*b102*b1095 - 2*b103*b613 - 2*b103 + 2*b613 + 2*b103*b795 + 2*b103*b943 + 2*b103*b1095 - 2*b104*b1042 + 2*b105* b180 + 2*b105 - 2*b105*b686 - 2*b686 - 2*b105*b753 - 2*b105*b871 + 2*b106* b630 - 2*b630 - 2*b106*b1072 + 2*b107*b109 + 2*b107 - 4*b109 - 2*b107*b696 + 2*b696 - 2*b107*b750 - 2*b107*b859 - 2*b108*b694 + 4*b108 + 2*b694 - 2* b108*b799 - 2*b108*b800 - 2*b108*b1059 + 2*b109*b430 - 4*b430 + 2*b109* b785 + 2*b109*b1059 + 2*b110*b319 - 4*b110 - 4*b319 + 2*b110*b585 - 2*b585 + 2*b110*b958 + 2*b110*b1004 + 2*b111*b397 - 4*b111 - 2*b397 + 2*b111* b831 + 2*b111*b890 + 2*b111*b1018 + 2*b112*b163 - 2*b163 + 2*b112*b287 - 2 *b287 - 2*b112*b595 + 4*b595 + 2*b113*b369 - 2*b113 + 2*b113*b599 - 2*b599 - 2*b113*b738 + 2*b113*b1007 + 2*b114*b168 - 4*b114 + 2*b114*b253 - 4* b253 + 2*b114*b599 + 2*b114*b966 + 2*b115*b929 + 2*b115*b995 + 2*b116*b117 - 2*b116 + 2*b116*b1066 - 2*b116*b1078 + 2*b116*b1079 + 2*b117*b223 - 4* b223 + 2*b117*b262 - 2*b262 + 2*b118*b119 - 2*b119 + 2*b118*b606 - 2*b606 - 2*b118*b1066 + 2*b119*b262 + 2*b120*b302 + 2*b120 + 2*b302 - 2*b120* b510 + 2*b510 - 2*b120*b808 - 2*b120*b1119 + 2*b121*b123 - 2*b121 - 2*b123 + 2*b121*b381 - 4*b381 - 2*b121*b611 + 2*b611 + 2*b121*b955 - 2*b122*b795 + 2*b122 + 2*b122*b899 - 2*b122*b1081 - 2*b122*b1083 - 2*b123*b673 + 2* b673 + 2*b123*b809 + 2*b123*b1083 + 2*b124*b153 + 2*b124 - 2*b124*b625 - 2 *b625 - 2*b124*b749 - 2*b124*b858 + 2*b125*b153 - 2*b125 + 2*b125*b311 - 4 *b311 - 2*b125*b428 + 2*b125*b1055 + 2*b126*b691 - 2*b691 - 2*b126*b1057 - 2*b127*b815 - 2*b127*b1044 - 2*b127*b1045 + 2*b128*b800 - 4*b128 + 2* b128*b872 + 2*b128*b1045 + 2*b128*b1108 + 2*b129*b214 - 4*b129 - 2*b214 + 2*b129*b358 - 4*b358 + 2*b129*b638 - 2*b638 + 2*b129*b947 + 2*b130*b131 - 4*b130 + 2*b130*b437 - 4*b437 + 2*b130*b875 + 2*b130*b1005 - 2*b131*b1123 + 2*b131*b1124 + 2*b132*b134 - 2*b132 + 2*b132*b249 - 2*b249 - 2*b132* b652 + 4*b652 + 2*b132*b833 + 2*b133*b135 - 4*b135 + 2*b133*b739 - 2*b133* b926 + 2*b134*b135 + 2*b134*b1062 + 2*b135*b543 + 2*b543 + 2*b135*b733 + 2 *b136*b406 - 2*b136 + 2*b136*b657 - 2*b657 - 2*b136*b733 + 2*b136*b994 + 2 *b137*b138 - 4*b138 + 2*b137*b912 + 2*b138*b194 + 2*b138*b291 - 4*b291 + 2 *b138*b657 + 2*b139*b915 + 2*b139*b981 + 2*b140*b254 - 2*b140 + 2*b140* b551 + 2*b551 + 2*b140*b724 - 4*b724 - 2*b140*b1065 + 2*b141*b142 - 4*b141 + 2*b141*b1050 + 2*b141*b1078 + 2*b141*b1092 + 2*b142*b259 - 4*b259 + 2* b142*b299 - 2*b299 + 2*b143*b144 - 2*b144 + 2*b143*b555 - 4*b555 + 2*b143* b1066 + 2*b144*b299 - 2*b145*b560 + 2*b145 + 2*b560 - 2*b145*b794 + 2*b145 *b852 - 2*b145*b1129 + 2*b146*b148 - 2*b146 - 2*b148 + 2*b146*b418 - 4* b418 - 2*b146*b671 + 2*b671 + 2*b146*b968 - 2*b147*b809 + 2*b147 + 2*b147* b881 - 2*b147*b1067 - 2*b147*b1069 + 2*b148*b822 + 2*b148*b1069 - 2*b148* b1130 + 2*b149*b385 + 2*b149*b563 - 2*b563 + 2*b149*b1012 + 2*b150*b152 - 2*b152 - 2*b150*b1071 + 2*b151*b154 + 2*b151 - 2*b151*b571 - 2*b571 - 2* b151*b745 - 2*b151*b842 + 2*b152*b154 + 2*b152*b351 - 4*b351 - 2*b152*b477 - 2*b153*b1135 + 2*b154*b1135 - 2*b155*b355 + 2*b355 + 2*b155*b770 + 2* b156*b243 - 2*b243 + 2*b156*b353 - 2*b156*b523 - 2*b523 - 2*b157*b828 - 2* b157*b1036 - 2*b157*b1037 + 2*b158*b815 - 4*b158 + 2*b158*b887 + 2*b158* b1037 + 2*b158*b1100 + 2*b159*b246 - 4*b159 - 4*b246 + 2*b159*b395 - 4* b395 + 2*b159*b700 - 2*b700 + 2*b159*b934 + 2*b160*b162 - 4*b160 + 2*b160* b484 - 4*b484 + 2*b160*b861 + 2*b160*b991 + 2*b161*b321 + 2*b161*b816 - 2* b161*b1138 - 2*b162*b1137 + 2*b162*b1138 - 2*b163*b164 + 2*b164 + 2*b163* b734 + 2*b163*b1077 + 2*b164*b499 + 2*b499 - 2*b164*b597 - 2*b164*b1141 + 2*b165*b451 - 4*b165 + 2*b165*b719 - 2*b719 + 2*b165*b738 + 2*b165*b980 + 2*b166*b167 - 4*b167 + 2*b166*b927 + 2*b167*b221 + 2*b167*b332 - 4*b332 + 2*b167*b719 + 2*b168*b898 + 2*b168*b967 + 2*b169*b170 - 2*b170 + 2*b169* b1064 + 2*b169*b1104 + 2*b170*b296 - 4*b296 + 2*b170*b338 - 2*b338 - 2* b170*b996 + 2*b171*b172 - 2*b172 + 2*b171*b607 - 4*b607 + 2*b171*b1050 + 2 *b172*b338 - 2*b173*b611 + 2*b173 - 2*b173*b781 + 2*b173*b868 - 2*b173* b1144 + 2*b174*b176 - 2*b174 - 2*b176 + 2*b174*b461 - 4*b461 - 2*b174*b983 + 2*b174*b984 - 2*b175*b822 + 2*b175 + 2*b175*b867 - 2*b175*b1051 - 2* b175*b1052 + 2*b176*b837 + 2*b176*b1052 - 2*b176*b1145 + 2*b177*b616 - 2* b616 + 2*b177*b1022 + 2*b177*b1146 + 2*b178*b179 - 2*b179 + 2*b178*b1085 + 2*b179*b181 + 2*b179*b389 - 4*b389 - 2*b179*b522 - 2*b180*b238 - 2*b238 + 2*b180*b1042 + 2*b181*b238 + 2*b181*b798 + 2*b182*b183 - 2*b183 - 2* b182*b316 + 2*b316 + 2*b183*b577 - 4*b577 - 2*b183*b760 + 2*b183*b1136 - 2 *b184*b845 - 2*b184*b1026 - 2*b184*b1027 + 2*b185*b828 - 4*b185 + 2*b185* b903 + 2*b185*b1027 + 2*b185*b1088 + 2*b186*b283 - 4*b186 - 4*b283 + 2* b186*b434 - 4*b434 + 2*b186*b732 + 2*b186*b921 + 2*b187*b188 - 4*b187 + 2* b187*b531 - 4*b531 + 2*b187*b846 + 2*b187*b975 + 2*b188*b361 - 2*b361 - 2* b188*b1150 + 2*b189*b324 - 4*b189 - 2*b324 + 2*b189*b361 + 2*b189*b490 + 2 *b490 + 2*b189*b801 - 2*b190*b191 - 2*b190 + 2*b191 + 2*b190*b739 + 2*b190 *b832 + 2*b190*b1090 + 2*b191*b449 + 2*b449 - 2*b191*b654 - 2*b191*b1152 + 2*b192*b193 - 2*b193 - 2*b192*b1009 + 2*b193*b253 + 2*b193*b371 - 4* b371 - 2*b193*b720 - 2*b720 + 2*b194*b880 + 2*b194*b954 + 2*b195*b196 - 2* b196 + 2*b195*b258 - 2*b258 + 2*b196*b336 - 4*b336 + 2*b196*b377 - 2*b377 - 2*b196*b982 + 2*b197*b198 - 2*b198 + 2*b197*b669 - 4*b669 + 2*b198*b377 - 2*b199*b200 + 2*b199 + 2*b200 - 2*b199*b768 + 2*b200*b201 - 2*b201 - 2* b200*b671 - 2*b200*b1154 + 2*b201*b462 - 4*b462 - 2*b201*b807 + 2*b201* b881 + 2*b202*b204 - 2*b202 - 4*b204 + 2*b202*b511 - 4*b511 - 2*b202*b997 + 2*b202*b998 - 2*b203*b837 + 2*b203 + 2*b203*b851 - 2*b203*b1039 - 2* b203*b1041 + 2*b204*b462 + 2*b204*b853 + 2*b204*b1041 + 2*b205*b676 - 2* b205 - 4*b676 - 2*b205*b931 + 2*b205*b1032 + 2*b205*b1155 + 2*b206*b207 - 2*b207 + 2*b206*b1071 + 2*b206*b1097 + 2*b207*b208 + 2*b207*b426 - 4*b426 - 2*b207*b573 + 2*b208*b275 - 2*b275 + 2*b208*b813 + 2*b209*b212 - 2*b212 - 2*b209*b278 + 2*b278 + 2*b210*b212 - 2*b210 + 2*b210*b275 - 2*b210*b691 + 2*b210*b1135 - 2*b211*b276 + 2*b211 - 2*b211*b429 - 2*b429 + 2*b211* b631 - 4*b631 - 2*b211*b690 - 2*b690 + 2*b212*b631 - 2*b212*b754 + 2*b213* b845 - 4*b213 + 2*b213*b919 + 2*b213*b1016 + 2*b213*b1074 + 2*b214*b873 + 2*b214*b962 - 2*b214*b1018 + 2*b215*b216 - 4*b215 + 2*b215*b587 - 4*b587 + 2*b215*b830 + 2*b215*b961 + 2*b216*b398 - 2*b398 - 2*b216*b532 + 2*b532 - 2*b217*b218 + 2*b218 + 2*b217*b818 + 2*b217*b910 - 2*b218*b716 + 2*b218 *b913 - 2*b218*b1160 + 2*b219*b220 - 2*b220 + 2*b219*b659 + 2*b220*b291 + 2*b220*b409 - 4*b409 - 2*b220*b658 - 2*b658 + 2*b221*b292 - 2*b292 + 2* b221*b942 + 2*b222*b550 + 2*b222 - 4*b550 - 2*b222*b741 - 2*b222*b995 - 2* b222*b1104 + 2*b223*b224 - 4*b224 + 2*b223*b295 - 2*b295 + 2*b223*b1049 + 2*b224*b375 - 4*b375 + 2*b224*b414 - 2*b414 + 2*b224*b982 + 2*b225*b226 - 2*b226 + 2*b225*b729 - 4*b729 + 2*b226*b414 - 2*b227*b228 + 2*b227 + 2* b228 - 2*b227*b780 + 2*b228*b229 - 2*b229 - 2*b228*b983 - 2*b228*b1162 - 2 *b229*b793 + 2*b229*b899 + 2*b229*b1145 + 2*b230*b232 - 4*b230 - 4*b232 + 2*b230*b304 + 2*b304 + 2*b230*b561 - 4*b561 + 2*b230*b997 - 2*b231*b851 + 4*b231 - 2*b231*b853 - 2*b231*b1031 - 2*b231*b1033 + 2*b232*b869 + 2*b232* b1033 + 2*b232*b1145 + 2*b233*b234 - 2*b233 - 2*b234 - 2*b233*b759 + 2* b233*b795 + 2*b233*b1033 - 2*b234*b917 + 2*b234*b1040 + 2*b234*b1163 + 2* b235*b236 - 4*b235 - 2*b236 + 2*b235*b1056 + 2*b235*b1085 + 2*b235*b1106 + 2*b236*b237 + 2*b236*b473 - 4*b473 - 2*b236*b627 + 2*b237*b313 - 2*b313 + 2*b237*b826 + 2*b238*b240 - 2*b240 + 2*b238*b1136 - 2*b239*b241 + 2* b241 + 2*b239*b242 - 2*b242 + 2*b240*b242 + 2*b240*b313 - 2*b240*b630 - 2* b241*b629 - 2*b629 + 2*b241*b692 - 4*b692 - 2*b241*b1107 + 2*b242*b692 - 2 *b242*b750 + 2*b243*b430 - 2*b243*b694 + 2*b243*b1057 + 2*b244*b245 + 2* b244 - 2*b244*b634 + 2*b634 - 2*b244*b958 - 2*b244*b1166 + 2*b245*b771 + 2 *b245*b1167 + 2*b246*b888 + 2*b246*b976 + 2*b246*b1018 + 2*b247*b248 - 4* b247 + 2*b247*b640 - 4*b640 + 2*b247*b817 + 2*b247*b951 + 2*b248*b439 - 2* b439 - 2*b248*b588 + 2*b588 + 2*b249*b401 - 2*b401 - 2*b249*b540 + 2*b540 + 2*b249*b925 - 2*b250*b895 + 2*b250 + 2*b250*b928 - 2*b250*b980 - 2*b250 *b1170 + 2*b251*b252 - 2*b252 + 2*b251*b1009 + 2*b252*b332 + 2*b252*b453 - 4*b453 - 2*b252*b600 - 2*b600 + 2*b253*b255 - 4*b255 + 2*b253*b929 + 2* b254*b257 - 4*b257 + 2*b254*b662 - 4*b662 + 2*b255*b257 + 2*b255*b453 + 2* b255*b897 - 2*b256*b258 + 2*b256 + 2*b256*b505 - 4*b505 - 2*b256*b665 - 2* b256*b981 + 2*b257*b258 + 2*b257*b741 + 2*b258*b413 - 4*b413 + 2*b259*b261 - 4*b261 + 2*b259*b335 - 2*b335 + 2*b259*b1065 - 2*b260*b377 + 2*b260 + 2 *b260*b457 - 4*b457 - 2*b260*b746 - 2*b260*b758 + 2*b261*b413 + 2*b261* b457 + 2*b261*b996 + 2*b262*b263 - 2*b263 - 2*b262*b791 + 2*b263*b457 - 2* b264*b265 + 2*b264 + 2*b265 - 2*b264*b793 + 2*b265*b266 - 2*b266 - 2*b265* b997 - 2*b265*b1171 - 2*b266*b780 + 2*b266*b916 + 2*b266*b1130 + 2*b267* b268 - 4*b267 + 2*b268 + 2*b267*b269 - 4*b269 + 2*b267*b612 - 4*b612 + 2* b267*b983 - 2*b268*b867 - 2*b268*b869 - 2*b268*b1023 + 2*b269*b883 + 2* b269*b1023 + 2*b269*b1130 + 2*b270*b272 - 2*b270 - 2*b272 + 2*b270*b675 - 4*b675 - 2*b270*b1052 + 2*b270*b1053 + 2*b271*b272 - 2*b271 - 2*b271*b752 + 2*b271*b809 + 2*b271*b1023 + 2*b272*b565 - 2*b565 - 2*b272*b900 + 2* b273*b350 - 4*b350 + 2*b273*b783 + 2*b273*b1034 + 2*b274*b971 - 4*b274 + 2 *b274*b1042 + 2*b274*b1097 + 2*b274*b1114 + 2*b275*b277 - 2*b277 - 2*b275* b871 + 2*b276*b279 - 4*b279 + 2*b277*b279 - 2*b277*b576 - 2*b576 + 2*b277* b1172 + 2*b278*b280 - 2*b280 - 2*b278*b575 - 2*b575 - 2*b278*b1099 + 2* b279*b280 + 2*b279*b750 - 2*b280*b919 + 2*b280*b1044 + 2*b281*b282 + 2* b281 - 2*b281*b580 + 2*b580 - 2*b281*b973 - 2*b281*b1174 + 2*b282*b584 + 2 *b584 + 2*b282*b785 + 2*b283*b904 + 2*b283*b992 + 2*b283*b1005 + 2*b284* b285 - 4*b284 + 2*b284*b702 - 4*b702 + 2*b284*b802 + 2*b284*b937 + 2*b285* b486 - 2*b486 - 2*b285*b641 + 2*b641 + 2*b286*b363 - 2*b286 + 2*b363 + 2* b286*b486 - 2*b286*b644 + 2*b644 + 2*b286*b1124 + 2*b287*b443 - 2*b443 - 2 *b287*b496 + 2*b496 + 2*b287*b909 - 2*b288*b878 + 2*b288 + 2*b288*b940 - 2 *b288*b994 - 2*b288*b1177 + 2*b289*b290 - 2*b290 + 2*b290*b371 + 2*b290* b503 - 4*b503 - 2*b290*b546 - 2*b546 + 2*b291*b293 - 4*b293 + 2*b291*b915 + 2*b292*b409 + 2*b292*b879 - 2*b292*b1161 + 2*b293*b503 + 2*b293*b914 + 2*b293*b1161 - 2*b294*b295 + 2*b294 + 2*b294*b454 - 4*b454 - 2*b294*b603 + 2*b603 - 2*b294*b967 + 2*b295*b456 - 4*b456 + 2*b295*b1161 + 2*b296* b298 + 2*b296*b374 - 2*b374 + 2*b296*b1079 - 2*b297*b338 + 2*b297 + 2*b297 *b508 - 4*b508 - 2*b297*b740 - 2*b297*b767 + 2*b298*b456 + 2*b298*b508 + 2 *b299*b300 - 2*b300 - 2*b299*b778 + 2*b300*b508 - 2*b301*b807 + 2*b301 - 2 *b301*b1011 - 2*b302*b673 - 2*b302*b850 - 2*b302*b851 + 2*b303*b673 - 2* b303 - 2*b303*b768 + 2*b303*b930 + 2*b303*b1011 - 2*b304*b305 + 2*b305 - 2 *b304*b881 - 2*b304*b883 + 2*b305*b306 - 2*b306 - 2*b305*b1012 - 2*b305* b1179 + 2*b306*b307 - 2*b307 - 2*b306*b748 + 2*b306*b822 + 2*b307*b618 - 2 *b618 - 2*b307*b884 + 2*b307*b1068 - 2*b308*b737 + 4*b308 - 2*b308*b885 - 2*b308*b1164 - 2*b308*b1165 + 2*b309*b388 + 2*b309 - 4*b388 - 2*b309*b839 - 2*b309*b918 - 2*b309*b1133 + 2*b310*b473 - 2*b310 + 2*b310*b570 - 4* b570 + 2*b310*b886 - 2*b310*b1165 + 2*b311*b957 + 2*b311*b1106 + 2*b311* b1121 - 2*b312*b798 - 2*b312*b1071 - 2*b312*b1180 + 2*b313*b315 - 2*b315 - 2*b313*b858 + 2*b314*b317 - 4*b317 - 2*b314*b988 + 2*b315*b317 - 2*b315 *b1098 + 2*b315*b1180 + 2*b316*b318 - 2*b318 - 2*b316*b1035 - 2*b316*b1087 + 2*b317*b318 + 2*b317*b754 - 2*b318*b903 + 2*b318*b1036 + 2*b319*b527 + 2*b527 + 2*b319*b800 + 2*b319*b989 + 2*b320*b920 - 2*b320 + 2*b320*b991 + 2*b320*b1006 - 2*b320*b1046 + 2*b321*b322 - 2*b321*b731 + 2*b322*b534 - 2* b534 - 2*b322*b703 + 2*b703 + 2*b323*b534 - 2*b323 - 2*b323*b706 + 2*b706 + 2*b323*b938 + 2*b323*b1138 + 2*b324*b325 - 2*b324*b440 - 2*b440 + 2* b324*b492 - 2*b492 + 2*b325*b327 - 2*b327 + 2*b325*b938 - 2*b326*b446 - 2* b326 + 2*b446 + 2*b326*b492 + 2*b326*b832 + 2*b326*b892 + 2*b327*b446 + 2* b327*b647 - 2*b647 - 2*b327*b1077 + 2*b328*b329 + 2*b328 - 2*b328*b865 - 2 *b328*b1007 - 2*b328*b1184 - 2*b329*b834 + 2*b329*b1185 + 2*b330*b331 - 2* b331 + 2*b331*b409 + 2*b331*b548 - 4*b548 - 2*b331*b1186 + 2*b332*b333 - 4 *b333 + 2*b332*b898 + 2*b333*b411 + 2*b411 + 2*b333*b548 + 2*b333*b1153 - 2*b334*b335 + 2*b334 + 2*b334*b410 - 4*b410 - 2*b334*b551 - 2*b334*b954 + 2*b335*b507 - 4*b507 + 2*b335*b1153 + 2*b336*b337 + 2*b336*b412 - 2*b412 + 2*b336*b1092 + 2*b337*b507 + 2*b337*b556 - 4*b556 + 2*b338*b339 - 2* b339 + 2*b339*b556 - 2*b340*b342 + 2*b340 - 2*b342 - 2*b340*b820 + 2*b341* b342 - 2*b341 + 2*b341*b768 + 2*b342*b344 - 4*b344 + 2*b342*b983 - 2*b343* b613 + 2*b343 - 2*b343*b866 - 2*b343*b867 + 2*b343*b1080 + 2*b344*b613 + 2 *b344*b780 + 2*b344*b943 + 2*b345*b346 + 2*b345 - 2*b346 - 2*b345*b998 - 2 *b345*b999 - 2*b345*b1187 + 2*b346*b347 - 2*b346*b742 + 2*b346*b837 + 2* b347*b678 - 2*b678 + 2*b347*b1082 - 2*b348*b901 - 2*b348*b1156 - 2*b348* b1158 + 2*b349*b425 + 2*b349 - 4*b425 - 2*b349*b824 - 2*b349*b932 - 2*b349 *b1121 + 2*b350*b518 - 4*b518 + 2*b350*b624 - 4*b624 + 2*b350*b902 + 2* b351*b945 + 2*b351*b1114 + 2*b351*b1133 - 2*b352*b813 + 4*b352 - 2*b352* b814 - 2*b352*b1056 - 2*b352*b1188 + 2*b353*b356 - 4*b356 - 2*b353*b972 + 2*b354*b356 - 2*b354 - 2*b354*b1086 + 2*b354*b1172 + 2*b354*b1188 + 2*b355 *b357 - 2*b357 - 2*b355*b1043 - 2*b355*b1073 + 2*b356*b357 + 2*b356*b760 - 2*b357*b887 + 2*b357*b1026 + 2*b358*b481 + 2*b481 + 2*b358*b815 + 2* b358*b1003 + 2*b359*b360 + 2*b359*b975 - 2*b359*b1060 + 2*b360*b703 - 2* b360*b1191 + 2*b361*b362 - 2*b362 - 2*b361*b802 + 2*b362*b924 - 2*b362* b1047 + 2*b362*b1192 - 2*b363*b757 - 2*b363*b848 - 2*b363*b1176 - 2*b364* b403 + 2*b403 + 2*b364*b818 + 2*b364*b979 + 2*b365*b403 - 2*b365 + 2*b365* b709 - 2*b709 - 2*b365*b1090 + 2*b365*b1176 - 2*b366*b367 + 2*b366 + 2* b367 - 2*b366*b712 + 2*b712 - 2*b366*b775 + 2*b366*b849 + 2*b367*b368 - 2* b367*b1019 - 2*b367*b1194 - 2*b368*b819 + 2*b368*b1195 + 2*b369*b370 - 2* b370 + 2*b370*b453 + 2*b370*b601 - 4*b601 - 2*b370*b1196 + 2*b371*b372 - 4 *b372 + 2*b371*b880 + 2*b372*b373 + 2*b373 + 2*b372*b601 + 2*b372*b1143 - 2*b373*b374 - 2*b373*b747 - 2*b373*b942 + 2*b374*b553 - 4*b553 + 2*b374* b1143 + 2*b375*b376 + 2*b375*b455 - 2*b455 + 2*b375*b1104 + 2*b376*b553 + 2*b376*b608 - 4*b608 + 2*b377*b378 - 2*b378 + 2*b378*b608 - 2*b379*b380 + 2*b379 - 2*b380 - 2*b379*b835 + 2*b380*b381 + 2*b380*b671 + 2*b380*b1178 + 2*b381*b562 + 2*b381*b793 + 2*b382*b383 + 2*b382 - 4*b383 - 2*b382*b743 - 2*b382*b984 - 2*b382*b1197 + 2*b383*b384 - 2*b384 + 2*b383*b748 + 2* b383*b853 - 2*b384*b854 + 2*b384*b1054 + 2*b384*b1094 + 2*b385*b742 - 2* b385*b1132 + 2*b386*b681 - 4*b681 - 2*b386*b1147 - 2*b386*b1149 + 2*b387* b472 + 2*b387 - 4*b472 - 2*b387*b810 - 2*b387*b944 - 2*b387*b1114 + 2*b388 *b570 + 2*b388*b685 - 4*b685 + 2*b388*b1165 + 2*b389*b520 - 2*b520 + 2* b389*b1121 + 2*b389*b1148 - 2*b390*b826 - 2*b390*b1042 - 2*b390*b1198 + 2* b391*b393 - 4*b393 - 2*b391*b987 + 2*b391*b988 + 2*b392*b393 - 2*b392 - 2* b392*b1072 + 2*b392*b1180 + 2*b392*b1198 + 2*b393*b394 - 2*b394 + 2*b393* b769 - 2*b394*b872 + 2*b394*b1015 + 2*b394*b1057 + 2*b395*b435 + 2*b435 + 2*b395*b828 + 2*b395*b1017 + 2*b396*b397 + 2*b396*b961 - 2*b396*b1076 + 2* b397*b641 - 2*b397*b1201 + 2*b398*b399 - 2*b399 - 2*b398*b817 + 2*b398* b1139 + 2*b399*b908 - 2*b399*b1061 + 2*b399*b1202 - 2*b400*b765 + 2*b400* b1125 - 2*b400*b1169 + 2*b401*b803 + 2*b401*b1047 - 2*b401*b1101 + 2*b402* b805 + 2*b402*b964 - 2*b402*b965 - 2*b403*b652 - 2*b403*b1194 - 2*b404* b650 + 2*b404 + 2*b650 - 2*b404*b789 + 2*b404*b834 - 2*b404*b1038 + 2*b405 *b656 - 2*b656 + 2*b405*b819 + 2*b405*b1038 + 2*b406*b408 - 4*b408 + 2* b407*b408 - 4*b407 + 2*b407*b656 + 2*b407*b659 + 2*b407*b896 + 2*b408*b503 + 2*b408*b661 - 4*b661 + 2*b409*b410 + 2*b410*b661 + 2*b410*b1128 - 2* b411*b412 - 2*b411*b751 - 2*b411*b929 + 2*b412*b605 - 4*b605 + 2*b412* b1128 + 2*b413*b506 - 2*b506 + 2*b413*b728 - 2*b414*b554 + 2*b414*b1204 - 2*b415*b416 + 2*b415 - 2*b416 - 2*b415*b850 + 2*b416*b418 + 2*b416*b611 + 2*b416*b1171 - 2*b417*b512 + 2*b417 + 2*b417*b610 - 4*b610 - 2*b417*b899 - 2*b417*b1093 + 2*b418*b512 + 2*b418*b807 + 2*b419*b421 - 2*b421 - 2* b419*b837 + 2*b419*b1105 + 2*b420*b421 - 4*b420 + 2*b420*b752 + 2*b420* b869 + 2*b420*b1000 + 2*b421*b422 - 2*b422 - 2*b421*b838 + 2*b422*b423 - 2 *b423 - 2*b422*b885 + 2*b422*b1053 + 2*b423*b986 - 2*b423*b1120 + 2*b423* b1146 + 2*b424*b517 + 2*b424 - 4*b517 - 2*b424*b796 - 2*b424*b956 - 2*b424 *b1106 + 2*b425*b427 - 2*b427 + 2*b425*b624 + 2*b425*b1158 + 2*b426*b475 - 2*b475 + 2*b426*b1133 + 2*b426*b1157 + 2*b427*b475 + 2*b427*b517 - 2* b427*b826 + 2*b428*b687 - 4*b687 - 2*b428*b1207 + 2*b429*b430 + 2*b429* b431 - 2*b431 + 2*b429*b630 + 2*b430*b432 - 4*b432 + 2*b431*b432 - 2*b431* b634 + 2*b431*b859 + 2*b432*b433 - 4*b433 + 2*b432*b761 + 2*b433*b434 + 2* b433*b934 + 2*b433*b946 + 2*b434*b845 + 2*b434*b1109 - 2*b435*b585 - 2* b435*b905 - 2*b435*b1201 + 2*b436*b437 - 2*b436*b528 + 2*b528 + 2*b436* b951 + 2*b437*b588 + 2*b437*b1201 - 2*b438*b906 - 2*b438*b1210 + 2*b439* b440 - 2*b439*b830 + 2*b439*b1125 + 2*b440*b442 - 2*b442 + 2*b440*b1210 - 2*b441*b774 + 2*b441*b1139 - 2*b441*b1159 - 2*b442*b787 + 2*b442*b891 + 2* b442*b1159 - 2*b443*b445 - 2*b445 + 2*b443*b786 + 2*b443*b1061 + 2*b444* b646 - 2*b444 + 2*b646 + 2*b444*b789 + 2*b444*b848 - 2*b444*b952 + 2*b445* b952 + 2*b445*b1090 + 2*b445*b1159 - 2*b446*b595 - 2*b446*b1184 - 2*b447* b448 + 2*b447 - 2*b448 - 2*b447*b805 + 2*b447*b819 - 2*b447*b1028 + 2*b448 *b450 + 2*b448*b1029 + 2*b448*b1184 - 2*b449*b718 - 2*b718 - 2*b449*b893 - 2*b449*b896 + 2*b450*b718 + 2*b450*b834 + 2*b451*b452 - 4*b452 + 2*b452 *b548 + 2*b452*b723 - 4*b723 + 2*b452*b1196 + 2*b453*b454 + 2*b454*b723 + 2*b454*b1118 + 2*b455*b667 - 2*b667 - 2*b455*b914 + 2*b455*b1118 + 2*b456* b552 - 2*b552 + 2*b456*b668 + 2*b457*b1212 - 2*b458*b459 + 2*b458 - 2*b459 - 2*b458*b866 + 2*b459*b461 + 2*b459*b560 + 2*b459*b1162 + 2*b460*b559 + 2*b460 - 2*b559 - 2*b460*b916 - 2*b460*b1080 - 2*b460*b1081 + 2*b461*b820 + 2*b461*b1081 + 2*b462*b463 + 2*b462*b672 - 4*b672 + 2*b463*b464 - 2* b464 + 2*b463*b1081 + 2*b464*b466 - 4*b466 - 2*b464*b955 + 2*b464*b1012 + 2*b465*b467 - 2*b465 - 2*b467 - 2*b465*b822 + 2*b465*b1095 + 2*b465*b1112 + 2*b466*b467 + 2*b466*b759 + 2*b466*b883 + 2*b467*b468 - 2*b468 - 2*b467 *b823 + 2*b468*b470 - 2*b470 - 2*b468*b870 + 2*b468*b1070 + 2*b469*b796 - 2*b469*b970 + 2*b470*b970 - 2*b470*b1113 + 2*b470*b1155 + 2*b471*b569 + 2* b471 - 4*b569 - 2*b471*b783 - 2*b471*b970 - 2*b471*b1097 + 2*b472*b474 - 2 *b474 + 2*b472*b685 + 2*b472*b1149 + 2*b473*b476 - 4*b476 + 2*b473*b1148 + 2*b474*b476 + 2*b474*b569 - 2*b474*b813 + 2*b475*b688 - 2*b475*b1208 + 2*b476*b627 + 2*b476*b1208 - 2*b477*b574 - 2*b574 + 2*b477*b626 - 4*b626 + 2*b478*b479 - 2*b478 - 2*b479 + 2*b478*b691 - 2*b478*b988 + 2*b478* b1108 - 2*b479*b580 + 2*b479*b844 + 2*b479*b1200 - 2*b480*b579 + 2*b480 - 2*b579 + 2*b480*b697 - 2*b697 - 2*b480*b919 - 2*b480*b1003 - 2*b481*b638 - 2*b481*b922 - 2*b481*b1191 - 2*b482*b483 + 2*b482 - 2*b482*b874 + 2* b482*b1191 - 2*b482*b1214 + 2*b483*b484 + 2*b483*b937 + 2*b484*b532 + 2* b484*b1191 - 2*b485*b487 + 2*b487 - 2*b485*b923 + 2*b486*b489 - 4*b489 - 2 *b486*b846 + 2*b487*b489 - 2*b487*b804 - 2*b487*b1215 - 2*b488*b491 - 2* b491 - 2*b488*b801 - 2*b488*b803 + 2*b489*b491 + 2*b489*b1061 - 2*b490* b493 - 2*b493 - 2*b490*b788 - 2*b490*b892 + 2*b491*b493 + 2*b491*b876 - 2* b492*b495 - 2*b495 + 2*b492*b772 + 2*b493*b495 + 2*b493*b1151 + 2*b494* b708 - 2*b494 + 2*b708 + 2*b494*b775 + 2*b494*b863 - 2*b494*b939 + 2*b495* b939 + 2*b495*b1077 - 2*b496*b541 + 4*b541 + 2*b496*b1126 - 2*b496*b1177 - 2*b497*b498 + 4*b497 - 2*b498 - 2*b497*b540 - 2*b497*b818 - 2*b497*b819 + 2*b498*b500 + 2*b498*b1019 + 2*b498*b1177 - 2*b499*b910 - 2*b499*b912 - 2*b499*b1142 + 2*b500*b849 + 2*b500*b1142 + 2*b501*b502 - 4*b502 - 2* b501*b1102 + 2*b502*b504 - 2*b504 + 2*b502*b601 + 2*b502*b1186 + 2*b503* b505 + 2*b504*b505 + 2*b504*b660 - 4*b660 - 2*b504*b735 + 2*b505*b1111 + 2 *b506*b727 - 2*b727 - 2*b506*b897 + 2*b506*b1111 + 2*b507*b604 - 4*b604 + 2*b507*b606 + 2*b508*b1216 + 2*b509*b510 - 2*b509 + 2*b509*b511 + 2*b509* b1154 - 2*b509*b1218 - 2*b510*b930 - 2*b510*b1067 + 2*b511*b835 + 2*b511* b1067 - 2*b512*b1206 + 2*b513*b514 - 2*b513 - 2*b514 - 2*b513*b809 + 2* b513*b969 + 2*b513*b1083 + 2*b514*b515 - 2*b515 + 2*b514*b823 - 2*b514* b1219 + 2*b515*b516 - 4*b516 - 2*b515*b857 + 2*b515*b1084 + 2*b516*b956 + 2*b516*b1113 + 2*b516*b1163 + 2*b517*b519 - 2*b519 + 2*b517*b1134 + 2*b518 *b521 - 4*b521 + 2*b518*b971 + 2*b518*b1157 + 2*b519*b521 + 2*b519*b622 - 4*b622 - 2*b519*b798 + 2*b520*b685 + 2*b520*b933 - 2*b520*b1199 + 2*b521* b573 + 2*b521*b1199 + 2*b522*b572 - 4*b572 - 2*b522*b628 - 2*b628 + 2*b523 *b524 - 2*b524 + 2*b523*b770 + 2*b523*b1100 - 2*b524*b525 + 2*b525 + 2* b524*b827 + 2*b524*b1190 + 2*b525*b635 - 2*b635 - 2*b525*b903 - 2*b525* b989 - 2*b526*b528 + 2*b526 + 2*b526*b698 - 4*b698 - 2*b526*b860 - 2*b526* b1089 - 2*b527*b700 - 2*b527*b935 - 2*b527*b1183 + 2*b528*b1183 - 2*b528* b1221 + 2*b529*b531 - 2*b529*b1109 + 2*b530*b732 - 2*b530 + 2*b530*b950 + 2*b530*b1004 - 2*b530*b1150 + 2*b531*b1150 + 2*b531*b1183 - 2*b532*b962 - 2*b532*b1215 - 2*b533*b936 - 2*b533*b993 + 2*b534*b535 - 4*b535 - 2*b534* b861 + 2*b535*b537 - 2*b537 + 2*b535*b993 + 2*b535*b1047 - 2*b536*b538 + 4 *b536 - 2*b538 - 2*b536*b804 - 2*b536*b909 - 2*b536*b1139 + 2*b537*b538 - 2*b537*b862 + 2*b537*b863 + 2*b538*b539 - 2*b539 + 2*b538*b1140 + 2*b539* b926 - 2*b539*b979 + 2*b539*b1062 + 2*b540*b1140 - 2*b540*b1170 - 2*b541* b542 - 2*b542 - 2*b541*b832 - 2*b541*b834 + 2*b542*b544 + 2*b542*b1007 + 2 *b542*b1170 - 2*b543*b739 - 2*b543*b927 - 2*b543*b1127 + 2*b544*b864 + 2* b544*b1127 + 2*b545*b547 - 4*b547 - 2*b545*b1110 + 2*b546*b547 + 2*b546* b1127 + 2*b546*b1185 + 2*b547*b549 - 4*b549 + 2*b547*b661 + 2*b548*b550 + 2*b549*b550 + 2*b549*b722 - 4*b722 + 2*b549*b735 + 2*b550*b1103 - 2*b551* b740 - 2*b551*b792 + 2*b552*b792 - 2*b552*b879 + 2*b552*b1103 + 2*b553* b555 + 2*b553*b666 - 4*b666 + 2*b554*b557 + 2*b554*b740 + 2*b555*b557 + 2* b555*b792 + 2*b556*b558 - 2*b558 + 2*b556*b778 + 2*b557*b558 + 2*b559*b561 + 2*b559*b1144 - 2*b559*b1222 - 2*b560*b943 - 2*b560*b1051 + 2*b561*b850 + 2*b561*b1051 - 2*b562*b882 - 2*b562*b1197 + 2*b563*b564 - 2*b564 - 2* b563*b795 + 2*b563*b1069 + 2*b564*b566 - 2*b566 + 2*b564*b838 - 2*b564* b1223 + 2*b565*b567 - 4*b567 - 2*b565*b1096 + 2*b565*b1164 + 2*b566*b567 - 2*b566*b841 + 2*b566*b1096 + 2*b567*b944 + 2*b567*b1120 + 2*b568*b683 - 2*b568 - 4*b683 + 2*b568*b944 - 2*b568*b1106 + 2*b568*b1113 + 2*b569* b571 + 2*b569*b1122 + 2*b570*b572 + 2*b570*b957 + 2*b571*b572 + 2*b571* b683 + 2*b572*b1189 - 2*b573*b689 - 2*b689 + 2*b574*b575 + 2*b574*b1043 + 2*b574*b1208 + 2*b575*b689 + 2*b575*b1220 + 2*b576*b578 + 2*b576*b843 + 2* b576*b1107 + 2*b577*b579 + 2*b577*b988 + 2*b577*b1088 + 2*b578*b579 + 2* b578*b1220 + 2*b579*b1182 + 2*b580*b581 - 4*b581 - 2*b580*b887 + 2*b581* b583 - 4*b583 + 2*b581*b637 + 2*b637 + 2*b581*b1182 + 2*b582*b636 + 2*b582 - 4*b636 - 2*b582*b873 - 2*b582*b1075 - 2*b582*b1076 + 2*b583*b761 + 2* b583*b860 + 2*b583*b1076 - 2*b584*b732 - 2*b584*b948 - 2*b584*b1175 + 2* b585*b587 + 2*b585*b907 + 2*b586*b700 - 2*b586 + 2*b586*b936 + 2*b586*b990 - 2*b586*b1137 + 2*b587*b1137 + 2*b587*b1175 - 2*b588*b976 - 2*b588*b1211 + 2*b589*b591 - 4*b589 - 2*b591 + 2*b589*b706 + 2*b589*b978 + 2*b589* b1192 - 2*b590*b592 + 2*b590 - 2*b592 + 2*b590*b705 - 4*b705 - 2*b590*b925 - 2*b590*b1125 + 2*b591*b592 - 2*b591*b847 + 2*b591*b848 + 2*b592*b593 - 2*b593 + 2*b592*b1126 + 2*b593*b594 - 2*b594 + 2*b593*b712 - 2*b593*b964 - 2*b594*b790 + 2*b594*b911 + 2*b594*b1160 - 2*b595*b596 - 2*b596 - 2* b595*b849 + 2*b596*b598 + 2*b596*b994 + 2*b596*b1160 - 2*b597*b734 - 2* b597*b1117 + 2*b598*b877 + 2*b598*b1117 + 2*b599*b721 - 2*b721 - 2*b599* b1117 + 2*b600*b721 + 2*b600*b1117 + 2*b600*b1195 + 2*b601*b602 - 2*b602 + 2*b602*b766 + 2*b602*b1091 - 2*b602*b1224 - 2*b603*b746 + 2*b603*b777 - 2*b603*b779 + 2*b604*b779 + 2*b604*b879 + 2*b604*b1091 + 2*b605*b607 + 2*b605*b726 - 4*b726 + 2*b605*b728 + 2*b606*b727 - 2*b606*b1217 + 2*b607* b779 + 2*b607*b1217 + 2*b608*b609 - 2*b609 + 2*b608*b791 + 2*b609*b1217 + 2*b610*b612 + 2*b610*b1129 + 2*b610*b1222 - 2*b611*b1039 + 2*b612*b866 + 2 *b612*b1039 - 2*b613*b1187 + 2*b614*b968 - 2*b614 + 2*b614*b1032 + 2*b614* b1197 - 2*b614*b1223 + 2*b615*b984 - 4*b615 + 2*b615*b1040 + 2*b615*b1187 + 2*b615*b1223 + 2*b616*b617 - 4*b617 - 2*b616*b782 + 2*b616*b1052 + 2* b617*b619 - 2*b619 + 2*b617*b854 + 2*b617*b1223 + 2*b618*b620 - 4*b620 - 2 *b618*b1084 + 2*b618*b1156 + 2*b619*b620 - 2*b619*b825 + 2*b619*b1105 + 2* b620*b932 + 2*b620*b1131 + 2*b621*b623 - 2*b621 - 2*b623 + 2*b621*b932 - 2 *b621*b1097 + 2*b621*b1120 + 2*b622*b625 + 2*b622*b985 + 2*b622*b1115 + 2* b623*b625 - 2*b623*b753 + 2*b623*b1013 + 2*b624*b626 + 2*b624*b945 + 2* b625*b626 + 2*b626*b1181 - 2*b627*b987 + 2*b628*b629 + 2*b628*b1035 + 2* b628*b1199 + 2*b629*b987 + 2*b629*b1213 + 2*b630*b632 - 2*b632 + 2*b631* b633 - 2*b633 + 2*b631*b1074 + 2*b632*b633 - 2*b632*b799 + 2*b632*b1213 - 2*b633*b946 + 2*b633*b1174 + 2*b634*b636 - 2*b634*b872 + 2*b635*b699 + 2* b699 + 2*b635*b1190 - 2*b635*b1221 + 2*b636*b1174 + 2*b636*b1221 - 2*b637* b888 - 2*b637*b1059 - 2*b637*b1060 + 2*b638*b639 - 2*b639 + 2*b638*b640 + 2*b639*b923 + 2*b639*b974 - 2*b639*b1123 + 2*b640*b1123 + 2*b640*b1168 - 2 *b641*b992 - 2*b641*b1203 + 2*b642*b801 + 2*b642*b906 - 2*b642*b963 + 2* b643*b644 - 4*b643 + 2*b643*b645 + 2*b643*b963 + 2*b643*b1202 - 2*b644* b647 - 2*b644*b708 + 2*b645*b647 + 2*b645*b847 - 2*b646*b649 - 2*b649 - 2* b646*b706 - 2*b646*b755 + 2*b647*b649 - 2*b648*b651 + 2*b648 - 2*b651 - 2* b648*b805 - 2*b648*b891 + 2*b648*b892 + 2*b649*b650 + 2*b649*b651 - 2*b650 *b1151 - 2*b650*b1152 + 2*b651*b894 + 2*b651*b1152 - 2*b652*b653 - 2*b653 - 2*b652*b864 + 2*b653*b655 + 2*b653*b980 + 2*b653*b1152 - 2*b654*b1110 + 2*b655*b893 + 2*b655*b1110 + 2*b656*b658 - 2*b656*b913 + 2*b657*b660 - 2*b657*b1127 + 2*b658*b660 + 2*b658*b1110 + 2*b659*b662 + 2*b660*b662 + 2* b661*b663 - 4*b663 + 2*b662*b663 + 2*b663*b664 - 2*b664 + 2*b663*b777 + 2* b664*b666 - 2*b664*b981 + 2*b664*b1078 + 2*b665*b766 - 2*b665*b767 + 2* b666*b767 + 2*b666*b897 + 2*b667*b668 + 2*b667*b669 - 2*b667*b751 - 2*b668 *b730 + 2*b730 + 2*b669*b730 + 2*b669*b767 + 2*b670*b672 - 4*b670 + 2*b670 *b882 + 2*b670*b1119 + 2*b670*b1218 - 2*b671*b1031 + 2*b672*b768 + 2*b672* b1031 - 2*b673*b1179 + 2*b674*b955 - 2*b674 + 2*b674*b1022 + 2*b674*b1206 - 2*b674*b1219 + 2*b675*b998 + 2*b675*b1179 + 2*b675*b1219 + 2*b676*b677 + 2*b676*b782 + 2*b676*b1041 + 2*b677*b679 - 2*b679 + 2*b677*b1219 + 2* b678*b681 - 2*b678*b1070 + 2*b678*b1147 + 2*b679*b681 - 2*b679*b812 + 2* b679*b1112 - 2*b680*b823 + 2*b680 - 2*b680*b824 + 2*b680*b917 - 2*b680* b918 + 2*b681*b918 + 2*b682*b684 - 2*b682 - 2*b684 + 2*b682*b918 - 2*b682* b1085 + 2*b682*b1131 + 2*b683*b686 + 2*b683*b1001 + 2*b684*b686 - 2*b684* b749 + 2*b684*b1024 + 2*b685*b687 + 2*b686*b687 + 2*b687*b1173 - 2*b688* b971 - 2*b688*b972 + 2*b689*b690 + 2*b689*b1189 + 2*b690*b972 + 2*b690* b1209 + 2*b691*b693 - 4*b693 + 2*b692*b694 + 2*b692*b695 - 4*b695 + 2*b693 *b695 + 2*b693*b799 + 2*b693*b1209 - 2*b694*b1166 + 2*b695*b946 + 2*b695* b1166 + 2*b696*b698 - 2*b696*b1015 - 2*b696*b1016 + 2*b697*b921 + 2*b697* b1200 - 2*b697*b1214 + 2*b698*b1166 + 2*b698*b1214 - 2*b699*b904 - 2*b699* b1045 - 2*b699*b1046 + 2*b700*b702 + 2*b701*b702 - 2*b701 - 2*b701*b962 + 2*b701*b1046 + 2*b701*b1167 + 2*b702*b1116 - 2*b703*b1006 - 2*b703*b1193 + 2*b704*b705 - 2*b704 - 2*b704*b757 + 2*b704*b977 + 2*b704*b1193 + 2* b705*b707 + 2*b705*b1210 - 2*b706*b709 + 2*b707*b709 + 2*b707*b862 - 2* b708*b711 - 2*b711 - 2*b708*b763 + 2*b709*b711 - 2*b710*b713 - 2*b713 - 2* b710*b818 - 2*b710*b876 + 2*b711*b713 + 2*b711*b1028 - 2*b712*b1140 - 2* b712*b1141 + 2*b713*b714 + 2*b714 + 2*b713*b1141 - 2*b714*b715 - 2*b715 - 2*b714*b877 - 2*b714*b965 + 2*b715*b716 + 2*b715*b717 + 2*b715*b1141 - 2* b716*b1102 + 2*b717*b910 + 2*b717*b1102 + 2*b718*b720 + 2*b718*b1196 + 2* b719*b722 - 2*b719*b1142 + 2*b720*b722 + 2*b720*b1102 + 2*b721*b723 - 2* b721*b1224 + 2*b722*b1224 + 2*b723*b724 + 2*b724*b725 - 2*b725 + 2*b724* b1224 + 2*b725*b726 - 2*b725*b995 + 2*b725*b1064 + 2*b726*b758 + 2*b726* b914 + 2*b727*b729 - 2*b727*b747 - 2*b728*b1205 + 2*b729*b758 + 2*b729* b1205 - 2*b730*b1212 - 2*b730*b1225 - 2*b731*b732 + 2*b731*b906 - 2*b733* b734 + 2*b733*b896 + 2*b734*b911 - 2*b735*b806 - 2*b736*b737 - 2*b736*b745 + 2*b736*b749 - 2*b738*b739 + 2*b740*b741 - 2*b741*b758 + 2*b742*b743 - 2 *b742*b931 - 2*b743*b1112 + 2*b744*b855 - 2*b744*b1034 + 2*b745*b798 + 2* b746*b747 + 2*b746*b778 + 2*b747*b806 - 2*b748*b917 + 2*b749*b813 + 2*b750 *b872 - 2*b752*b900 + 2*b753*b826 + 2*b754*b887 - 2*b755*b756 + 2*b755* b757 + 2*b755*b964 - 2*b756*b938 - 2*b759*b884 + 2*b760*b903 - 2*b761*b762 - 2*b761*b959 + 2*b762*b1089 - 2*b762*b1100 - 2*b763*b764 + 2*b763*b765 + 2*b763*b979 - 2*b764*b924 - 2*b765*b963 - 2*b766*b1010 - 2*b766*b1092 - 2*b769*b770 + 2*b769*b919 - 2*b770*b1136 - 2*b771*b948 - 2*b772*b773 + 2*b772*b774 - 2*b772*b925 + 2*b773*b829 - 2*b773*b908 - 2*b774*b978 - 2* b775*b776 + 2*b775*b865 + 2*b776*b876 + 2*b776*b925 - 2*b776*b926 - 2*b777 *b1020 - 2*b777*b1079 - 2*b778*b779 + 2*b780*b781 - 2*b783*b784 + 2*b784* b854 - 2*b784*b956 - 2*b785*b935 - 2*b786*b787 + 2*b786*b788 - 2*b786*b909 + 2*b787*b816 - 2*b788*b993 - 2*b789*b790 + 2*b789*b878 + 2*b790*b891 + 2 *b790*b909 - 2*b791*b792 + 2*b793*b794 - 2*b796*b797 + 2*b796*b985 + 2* b797*b838 - 2*b797*b944 - 2*b800*b922 - 2*b801*b802 + 2*b803*b804 - 2*b803 *b892 + 2*b805*b895 + 2*b806*b1020 - 2*b806*b1049 + 2*b807*b808 - 2*b810* b811 + 2*b810*b812 + 2*b810*b1001 + 2*b811*b823 + 2*b811*b931 - 2*b811* b932 + 2*b812*b884 - 2*b812*b986 - 2*b814*b843 - 2*b815*b905 - 2*b816*b817 - 2*b816*b862 + 2*b820*b821 - 2*b820*b868 - 2*b821*b1080 + 2*b824*b825 + 2*b824*b1013 + 2*b825*b900 - 2*b825*b1002 + 2*b827*b1098 - 2*b827*b1220 - 2*b828*b889 - 2*b829*b830 + 2*b829*b831 - 2*b829*b847 - 2*b831*b1116 - 2* b831*b1124 - 2*b832*b833 - 2*b833*b863 + 2*b835*b836 - 2*b835*b852 - 2* b836*b1093 - 2*b838*b840 - 2*b839*b840 + 2*b839*b841 + 2*b839*b1024 + 2* b840*b900 + 2*b841*b917 - 2*b841*b1014 - 2*b842*b1172 - 2*b843*b1086 + 2* b844*b1086 - 2*b844*b1213 - 2*b845*b874 - 2*b849*b940 + 2*b851*b852 - 2* b852*b1130 - 2*b853*b1094 - 2*b854*b856 - 2*b855*b856 + 2*b855*b857 - 2* b855*b902 + 2*b856*b884 + 2*b857*b931 - 2*b857*b1025 + 2*b858*b1071 + 2* b859*b1072 - 2*b859*b1209 - 2*b860*b1004 + 2*b861*b950 - 2*b863*b938 + 2* b864*b865 - 2*b864*b928 - 2*b865*b1062 + 2*b867*b868 - 2*b868*b1145 - 2* b869*b1082 - 2*b870*b1034 + 2*b871*b1056 + 2*b873*b874 - 2*b873*b990 + 2* b874*b1089 + 2*b875*b936 - 2*b875*b1192 - 2*b876*b924 + 2*b877*b878 - 2* b877*b913 - 2*b878*b1077 - 2*b879*b880 - 2*b880*b1153 - 2*b881*b882 + 2* b882*b1093 - 2*b883*b1068 - 2*b886*b1157 + 2*b888*b889 - 2*b888*b974 + 2* b889*b1075 - 2*b889*b1109 + 2*b890*b923 - 2*b890*b1202 - 2*b891*b908 - 2* b893*b894 + 2*b893*b895 - 2*b894*b952 - 2*b895*b1090 - 2*b896*b966 - 2* b897*b898 - 2*b898*b1143 - 2*b899*b998 - 2*b901*b1054 - 2*b902*b1148 + 2* b904*b905 - 2*b904*b960 + 2*b905*b1059 - 2*b906*b907 + 2*b907*b960 - 2* b907*b1116 + 2*b908*b1169 - 2*b910*b911 - 2*b911*b939 + 2*b912*b913 - 2* b912*b953 - 2*b914*b915 - 2*b915*b1128 - 2*b916*b984 - 2*b920*b921 + 2* b920*b922 - 2*b920*b949 - 2*b921*b1037 + 2*b922*b1045 + 2*b924*b1176 + 2* b926*b1170 + 2*b927*b928 - 2*b927*b941 - 2*b928*b1195 - 2*b929*b1118 - 2* b930*b968 - 2*b933*b957 - 2*b934*b1027 + 2*b935*b1037 - 2*b936*b937 + 2* b939*b1177 - 2*b940*b1185 - 2*b942*b1111 - 2*b943*b955 - 2*b945*b1189 - 2* b946*b1017 - 2*b947*b1016 + 2*b947*b1017 + 2*b948*b1027 - 2*b949*b951 - 2* b950*b951 - 2*b950*b977 + 2*b952*b1184 - 2*b954*b1103 + 2*b956*b1115 - 2* b957*b1181 + 2*b958*b1003 + 2*b959*b1016 - 2*b959*b1167 - 2*b960*b961 + 2* b963*b1203 - 2*b964*b1047 + 2*b965*b1101 + 2*b965*b1194 - 2*b967*b1091 - 2 *b968*b1000 + 2*b969*b999 - 2*b969*b1146 + 2*b970*b1122 - 2*b971*b1173 + 2 *b972*b1173 + 2*b973*b989 - 2*b974*b975 - 2*b976*b1168 - 2*b977*b978 + 2* b978*b1211 - 2*b979*b1061 - 2*b982*b1030 - 2*b985*b986 - 2*b985*b1085 + 2* b986*b1134 + 2*b987*b1181 - 2*b989*b1182 - 2*b990*b991 - 2*b992*b1175 + 2* b993*b1215 + 2*b995*b1008 - 2*b996*b1021 + 2*b997*b1011 + 2*b999*b1000 - 2 *b999*b1105 - 2*b1000*b1206 - 2*b1001*b1002 + 2*b1002*b1132 + 2*b1002* b1149 - 2*b1003*b1190 - 2*b1004*b1005 - 2*b1006*b1183 - 2*b1008*b1009 - 2* b1008*b1010 - 2*b1011*b1178 - 2*b1012*b1096 - 2*b1013*b1014 + 2*b1014* b1147 + 2*b1014*b1158 + 2*b1015*b1107 - 2*b1015*b1200 - 2*b1017*b1200 - 2* b1022*b1023 - 2*b1022*b1084 - 2*b1024*b1025 + 2*b1025*b1156 + 2*b1025* b1165 + 2*b1026*b1099 - 2*b1026*b1190 + 2*b1028*b1151 - 2*b1028*b1160 - 2* b1029*b1038 + 2*b1031*b1179 - 2*b1032*b1033 - 2*b1032*b1070 + 2*b1034* b1164 + 2*b1035*b1207 - 2*b1035*b1220 + 2*b1036*b1087 - 2*b1036*b1182 + 2* b1038*b1194 + 2*b1039*b1187 - 2*b1040*b1041 - 2*b1040*b1053 + 2*b1043* b1198 - 2*b1043*b1213 + 2*b1044*b1073 - 2*b1044*b1174 + 2*b1046*b1214 + 2* b1048*b1049 - 2*b1048*b1050 - 2*b1049*b1118 + 2*b1051*b1197 - 2*b1053* b1054 + 2*b1054*b1132 - 2*b1055*b1056 - 2*b1057*b1058 + 2*b1058*b1188 + 2* b1058*b1207 - 2*b1058*b1209 + 2*b1060*b1168 + 2*b1060*b1221 - 2*b1062* b1126 - 2*b1063*b1064 + 2*b1063*b1065 - 2*b1063*b1066 - 2*b1064*b1103 - 2* b1065*b1128 + 2*b1067*b1206 - 2*b1068*b1069 + 2*b1068*b1070 + 2*b1072* b1073 - 2*b1073*b1074 + 2*b1076*b1175 - 2*b1078*b1091 - 2*b1079*b1143 - 2* b1082*b1083 + 2*b1082*b1084 + 2*b1086*b1087 - 2*b1087*b1088 - 2*b1092* b1153 - 2*b1094*b1095 + 2*b1094*b1096 + 2*b1098*b1099 - 2*b1099*b1100 + 2* b1101*b1169 - 2*b1104*b1161 - 2*b1105*b1163 - 2*b1107*b1108 + 2*b1109* b1201 - 2*b1112*b1155 - 2*b1113*b1115 - 2*b1114*b1115 + 2*b1116*b1193 - 2* b1120*b1122 - 2*b1121*b1122 + 2*b1123*b1203 - 2*b1124*b1125 - 2*b1126* b1176 - 2*b1131*b1132 - 2*b1131*b1134 - 2*b1133*b1134 - 2*b1135*b1136 + 2* b1137*b1211 - 2*b1138*b1139 - 2*b1140*b1169 + 2*b1142*b1186 - 2*b1146* b1147 - 2*b1148*b1149 + 2*b1150*b1215 - 2*b1151*b1159 - 2*b1155*b1156 - 2* b1157*b1158 - 2*b1163*b1164 - 2*b1167*b1168 - 2*b1172*b1173 - 2*b1180* b1181 - 2*b1185*b1186 - 2*b1188*b1189 - 2*b1192*b1193 - 2*b1195*b1196 - 2* b1198*b1199 - 2*b1202*b1203 - 2*b1204*b1205 + 2*b1205*b1225 - 2*b1207* b1208 - 2*b1210*b1211 - 2*b1216*b1217 + objvar =L= 0; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set MINLP $set MINLP MINLP Solve m using %MINLP% maximizing objvar;