200 lines
19 KiB
MiniZinc
200 lines
19 KiB
MiniZinc
var 0..240: INT____00001 :: is_defined_var :: var_is_introduced;
|
|
array [1..80] of var 0..1: a;
|
|
array [1..80] of var 0..1: x;
|
|
array [1..16] of var int: y :: output_array([1..4, 1..4]);
|
|
var 0..240: z :: output_var = INT____00001;
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[1], x[2], x[3], x[4], x[5], y[1]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[6], x[7], x[8], x[9], x[10], y[2]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[11], x[12], x[13], x[14], x[15], y[3]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[16], x[17], x[18], x[19], x[20], y[4]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[21], x[22], x[23], x[24], x[25], y[5]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[26], x[27], x[28], x[29], x[30], y[6]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[31], x[32], x[33], x[34], x[35], y[7]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[36], x[37], x[38], x[39], x[40], y[8]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[41], x[42], x[43], x[44], x[45], y[9]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[46], x[47], x[48], x[49], x[50], y[10]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[51], x[52], x[53], x[54], x[55], y[11]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[56], x[57], x[58], x[59], x[60], y[12]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[61], x[62], x[63], x[64], x[65], y[13]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[66], x[67], x[68], x[69], x[70], y[14]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[71], x[72], x[73], x[74], x[75], y[15]], 0);
|
|
constraint int_lin_eq([-1, -2, -3, -4, -5, 1], [x[76], x[77], x[78], x[79], x[80], y[16]], 0);
|
|
constraint int_lin_eq([-1, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5], [INT____00001, x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80]], 0) :: defines_var(INT____00001);
|
|
constraint int_lin_le([1, 1], [a[1], x[1]], 1);
|
|
constraint int_lin_le([1, 1], [a[2], x[2]], 1);
|
|
constraint int_lin_le([1, 1], [a[3], x[3]], 1);
|
|
constraint int_lin_le([1, 1], [a[4], x[4]], 1);
|
|
constraint int_lin_le([1, 1], [a[5], x[5]], 1);
|
|
constraint int_lin_le([1, 1], [a[6], x[6]], 1);
|
|
constraint int_lin_le([1, 1], [a[7], x[7]], 1);
|
|
constraint int_lin_le([1, 1], [a[8], x[8]], 1);
|
|
constraint int_lin_le([1, 1], [a[9], x[9]], 1);
|
|
constraint int_lin_le([1, 1], [a[10], x[10]], 1);
|
|
constraint int_lin_le([1, 1], [a[11], x[11]], 1);
|
|
constraint int_lin_le([1, 1], [a[12], x[12]], 1);
|
|
constraint int_lin_le([1, 1], [a[13], x[13]], 1);
|
|
constraint int_lin_le([1, 1], [a[14], x[14]], 1);
|
|
constraint int_lin_le([1, 1], [a[15], x[15]], 1);
|
|
constraint int_lin_le([1, 1], [a[16], x[16]], 1);
|
|
constraint int_lin_le([1, 1], [a[17], x[17]], 1);
|
|
constraint int_lin_le([1, 1], [a[18], x[18]], 1);
|
|
constraint int_lin_le([1, 1], [a[19], x[19]], 1);
|
|
constraint int_lin_le([1, 1], [a[20], x[20]], 1);
|
|
constraint int_lin_le([1, 1], [a[21], x[21]], 1);
|
|
constraint int_lin_le([1, 1], [a[22], x[22]], 1);
|
|
constraint int_lin_le([1, 1], [a[23], x[23]], 1);
|
|
constraint int_lin_le([1, 1], [a[24], x[24]], 1);
|
|
constraint int_lin_le([1, 1], [a[25], x[25]], 1);
|
|
constraint int_lin_le([1, 1], [a[26], x[26]], 1);
|
|
constraint int_lin_le([1, 1], [a[27], x[27]], 1);
|
|
constraint int_lin_le([1, 1], [a[28], x[28]], 1);
|
|
constraint int_lin_le([1, 1], [a[29], x[29]], 1);
|
|
constraint int_lin_le([1, 1], [a[30], x[30]], 1);
|
|
constraint int_lin_le([1, 1], [a[31], x[31]], 1);
|
|
constraint int_lin_le([1, 1], [a[32], x[32]], 1);
|
|
constraint int_lin_le([1, 1], [a[33], x[33]], 1);
|
|
constraint int_lin_le([1, 1], [a[34], x[34]], 1);
|
|
constraint int_lin_le([1, 1], [a[35], x[35]], 1);
|
|
constraint int_lin_le([1, 1], [a[36], x[36]], 1);
|
|
constraint int_lin_le([1, 1], [a[37], x[37]], 1);
|
|
constraint int_lin_le([1, 1], [a[38], x[38]], 1);
|
|
constraint int_lin_le([1, 1], [a[39], x[39]], 1);
|
|
constraint int_lin_le([1, 1], [a[40], x[40]], 1);
|
|
constraint int_lin_le([1, 1], [a[41], x[41]], 1);
|
|
constraint int_lin_le([1, 1], [a[42], x[42]], 1);
|
|
constraint int_lin_le([1, 1], [a[43], x[43]], 1);
|
|
constraint int_lin_le([1, 1], [a[44], x[44]], 1);
|
|
constraint int_lin_le([1, 1], [a[45], x[45]], 1);
|
|
constraint int_lin_le([1, 1], [a[46], x[46]], 1);
|
|
constraint int_lin_le([1, 1], [a[47], x[47]], 1);
|
|
constraint int_lin_le([1, 1], [a[48], x[48]], 1);
|
|
constraint int_lin_le([1, 1], [a[49], x[49]], 1);
|
|
constraint int_lin_le([1, 1], [a[50], x[50]], 1);
|
|
constraint int_lin_le([1, 1], [a[51], x[51]], 1);
|
|
constraint int_lin_le([1, 1], [a[52], x[52]], 1);
|
|
constraint int_lin_le([1, 1], [a[53], x[53]], 1);
|
|
constraint int_lin_le([1, 1], [a[54], x[54]], 1);
|
|
constraint int_lin_le([1, 1], [a[55], x[55]], 1);
|
|
constraint int_lin_le([1, 1], [a[56], x[56]], 1);
|
|
constraint int_lin_le([1, 1], [a[57], x[57]], 1);
|
|
constraint int_lin_le([1, 1], [a[58], x[58]], 1);
|
|
constraint int_lin_le([1, 1], [a[59], x[59]], 1);
|
|
constraint int_lin_le([1, 1], [a[60], x[60]], 1);
|
|
constraint int_lin_le([1, 1], [a[61], x[61]], 1);
|
|
constraint int_lin_le([1, 1], [a[62], x[62]], 1);
|
|
constraint int_lin_le([1, 1], [a[63], x[63]], 1);
|
|
constraint int_lin_le([1, 1], [a[64], x[64]], 1);
|
|
constraint int_lin_le([1, 1], [a[65], x[65]], 1);
|
|
constraint int_lin_le([1, 1], [a[66], x[66]], 1);
|
|
constraint int_lin_le([1, 1], [a[67], x[67]], 1);
|
|
constraint int_lin_le([1, 1], [a[68], x[68]], 1);
|
|
constraint int_lin_le([1, 1], [a[69], x[69]], 1);
|
|
constraint int_lin_le([1, 1], [a[70], x[70]], 1);
|
|
constraint int_lin_le([1, 1], [a[71], x[71]], 1);
|
|
constraint int_lin_le([1, 1], [a[72], x[72]], 1);
|
|
constraint int_lin_le([1, 1], [a[73], x[73]], 1);
|
|
constraint int_lin_le([1, 1], [a[74], x[74]], 1);
|
|
constraint int_lin_le([1, 1], [a[75], x[75]], 1);
|
|
constraint int_lin_le([1, 1], [a[76], x[76]], 1);
|
|
constraint int_lin_le([1, 1], [a[77], x[77]], 1);
|
|
constraint int_lin_le([1, 1], [a[78], x[78]], 1);
|
|
constraint int_lin_le([1, 1], [a[79], x[79]], 1);
|
|
constraint int_lin_le([1, 1], [a[80], x[80]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[6], x[7], x[8], x[9], x[10]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[11], x[12], x[13], x[14], x[15]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[16], x[17], x[18], x[19], x[20]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[21], x[22], x[23], x[24], x[25]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[26], x[27], x[28], x[29], x[30]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[31], x[32], x[33], x[34], x[35]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[36], x[37], x[38], x[39], x[40]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[41], x[42], x[43], x[44], x[45]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[46], x[47], x[48], x[49], x[50]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[51], x[52], x[53], x[54], x[55]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[56], x[57], x[58], x[59], x[60]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[61], x[62], x[63], x[64], x[65]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[66], x[67], x[68], x[69], x[70]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[71], x[72], x[73], x[74], x[75]], 1);
|
|
constraint int_lin_le([1, 1, 1, 1, 1], [x[76], x[77], x[78], x[79], x[80]], 1);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[1], x[6], x[11], x[16], x[21], x[26], x[41], x[51], x[61], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[2], x[7], x[12], x[17], x[22], x[27], x[42], x[52], x[62], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[3], x[8], x[13], x[18], x[23], x[28], x[43], x[53], x[63], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[4], x[9], x[14], x[19], x[24], x[29], x[44], x[54], x[64], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[5], x[10], x[15], x[20], x[25], x[30], x[45], x[55], x[65], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[6], x[1], x[11], x[16], x[21], x[26], x[31], x[46], x[56], x[66]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[7], x[2], x[12], x[17], x[22], x[27], x[32], x[47], x[57], x[67]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[8], x[3], x[13], x[18], x[23], x[28], x[33], x[48], x[58], x[68]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[9], x[4], x[14], x[19], x[24], x[29], x[34], x[49], x[59], x[69]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[10], x[5], x[15], x[20], x[25], x[30], x[35], x[50], x[60], x[70]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[11], x[1], x[6], x[16], x[26], x[31], x[36], x[41], x[51], x[71]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[12], x[2], x[7], x[17], x[27], x[32], x[37], x[42], x[52], x[72]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[13], x[3], x[8], x[18], x[28], x[33], x[38], x[43], x[53], x[73]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[14], x[4], x[9], x[19], x[29], x[34], x[39], x[44], x[54], x[74]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[15], x[5], x[10], x[20], x[30], x[35], x[40], x[45], x[55], x[75]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[16], x[1], x[6], x[11], x[31], x[36], x[46], x[56], x[61], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[17], x[2], x[7], x[12], x[32], x[37], x[47], x[57], x[62], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[18], x[3], x[8], x[13], x[33], x[38], x[48], x[58], x[63], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[19], x[4], x[9], x[14], x[34], x[39], x[49], x[59], x[64], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[20], x[5], x[10], x[15], x[35], x[40], x[50], x[60], x[65], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[21], x[1], x[6], x[26], x[31], x[36], x[41], x[46], x[61], x[71]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[22], x[2], x[7], x[27], x[32], x[37], x[42], x[47], x[62], x[72]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[23], x[3], x[8], x[28], x[33], x[38], x[43], x[48], x[63], x[73]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[24], x[4], x[9], x[29], x[34], x[39], x[44], x[49], x[64], x[74]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[25], x[5], x[10], x[30], x[35], x[40], x[45], x[50], x[65], x[75]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[36], x[11], x[16], x[21], x[26], x[31], x[51], x[56], x[66], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[37], x[12], x[17], x[22], x[27], x[32], x[52], x[57], x[67], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[38], x[13], x[18], x[23], x[28], x[33], x[53], x[58], x[68], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[39], x[14], x[19], x[24], x[29], x[34], x[54], x[59], x[69], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[40], x[15], x[20], x[25], x[30], x[35], x[55], x[60], x[70], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[41], x[1], x[11], x[21], x[26], x[46], x[51], x[56], x[61], x[66]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[42], x[2], x[12], x[22], x[27], x[47], x[52], x[57], x[62], x[67]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[43], x[3], x[13], x[23], x[28], x[48], x[53], x[58], x[63], x[68]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[44], x[4], x[14], x[24], x[29], x[49], x[54], x[59], x[64], x[69]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[45], x[5], x[15], x[25], x[30], x[50], x[55], x[60], x[65], x[70]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[56], x[6], x[16], x[31], x[36], x[41], x[46], x[51], x[71], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[57], x[7], x[17], x[32], x[37], x[42], x[47], x[52], x[72], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[58], x[8], x[18], x[33], x[38], x[43], x[48], x[53], x[73], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[59], x[9], x[19], x[34], x[39], x[44], x[49], x[54], x[74], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[60], x[10], x[20], x[35], x[40], x[45], x[50], x[55], x[75], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[61], x[1], x[16], x[21], x[31], x[41], x[46], x[66], x[71], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[62], x[2], x[17], x[22], x[32], x[42], x[47], x[67], x[72], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[63], x[3], x[18], x[23], x[33], x[43], x[48], x[68], x[73], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[64], x[4], x[19], x[24], x[34], x[44], x[49], x[69], x[74], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[65], x[5], x[20], x[25], x[35], x[45], x[50], x[70], x[75], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[66], x[6], x[26], x[36], x[41], x[46], x[51], x[61], x[71], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[67], x[7], x[27], x[37], x[42], x[47], x[52], x[62], x[72], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[68], x[8], x[28], x[38], x[43], x[48], x[53], x[63], x[73], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[69], x[9], x[29], x[39], x[44], x[49], x[54], x[64], x[74], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[70], x[10], x[30], x[40], x[45], x[50], x[55], x[65], x[75], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[71], x[11], x[21], x[31], x[46], x[51], x[56], x[61], x[66], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[72], x[12], x[22], x[32], x[47], x[52], x[57], x[62], x[67], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[73], x[13], x[23], x[33], x[48], x[53], x[58], x[63], x[68], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[74], x[14], x[24], x[34], x[49], x[54], x[59], x[64], x[69], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[75], x[15], x[25], x[35], x[50], x[55], x[60], x[65], x[70], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[76], x[1], x[16], x[26], x[36], x[51], x[56], x[61], x[66], x[71]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[77], x[2], x[17], x[27], x[37], x[52], x[57], x[62], x[67], x[72]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[78], x[3], x[18], x[28], x[38], x[53], x[58], x[63], x[68], x[73]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[79], x[4], x[19], x[29], x[39], x[54], x[59], x[64], x[69], x[74]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[80], x[5], x[20], x[30], x[40], x[55], x[60], x[65], x[70], x[75]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[26], x[1], x[6], x[11], x[21], x[31], x[36], x[41], x[46], x[51], x[66], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[27], x[2], x[7], x[12], x[22], x[32], x[37], x[42], x[47], x[52], x[67], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[28], x[3], x[8], x[13], x[23], x[33], x[38], x[43], x[48], x[53], x[68], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[29], x[4], x[9], x[14], x[24], x[34], x[39], x[44], x[49], x[54], x[69], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[30], x[5], x[10], x[15], x[25], x[35], x[40], x[45], x[50], x[55], x[70], x[80]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[31], x[6], x[11], x[16], x[21], x[26], x[36], x[46], x[51], x[56], x[61], x[71]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[32], x[7], x[12], x[17], x[22], x[27], x[37], x[47], x[52], x[57], x[62], x[72]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[33], x[8], x[13], x[18], x[23], x[28], x[38], x[48], x[53], x[58], x[63], x[73]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[34], x[9], x[14], x[19], x[24], x[29], x[39], x[49], x[54], x[59], x[64], x[74]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[35], x[10], x[15], x[20], x[25], x[30], x[40], x[50], x[55], x[60], x[65], x[75]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[46], x[6], x[16], x[21], x[26], x[31], x[41], x[51], x[56], x[61], x[66], x[71]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[47], x[7], x[17], x[22], x[27], x[32], x[42], x[52], x[57], x[62], x[67], x[72]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[48], x[8], x[18], x[23], x[28], x[33], x[43], x[53], x[58], x[63], x[68], x[73]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[49], x[9], x[19], x[24], x[29], x[34], x[44], x[54], x[59], x[64], x[69], x[74]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[50], x[10], x[20], x[25], x[30], x[35], x[45], x[55], x[60], x[65], x[70], x[75]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[51], x[1], x[11], x[26], x[31], x[36], x[41], x[46], x[56], x[66], x[71], x[76]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[52], x[2], x[12], x[27], x[32], x[37], x[42], x[47], x[57], x[67], x[72], x[77]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[53], x[3], x[13], x[28], x[33], x[38], x[43], x[48], x[58], x[68], x[73], x[78]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[54], x[4], x[14], x[29], x[34], x[39], x[44], x[49], x[59], x[69], x[74], x[79]], 0);
|
|
constraint int_lin_le([-99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [a[55], x[5], x[15], x[30], x[35], x[40], x[45], x[50], x[60], x[70], x[75], x[80]], 0);
|
|
solve :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80]], first_fail, indomain, complete) maximize INT____00001;
|