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