array [1..100] of int: N = [0, 2, 4, 3, 3, 4, 5, 2, 5, 4, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 4, 2, 0, 3, 3, 4, 4, 2, 4, 4, 5, 2, 4, 0, 3, 4, 5, 2, 5, 4, 5, 2, 4, 3, 0, 4, 5, 2, 5, 4, 4, 1, 4, 3, 2, 0, 4, 1, 4, 3, 4, 1, 4, 3, 2, 3, 0, 1, 4, 3, 5, 2, 4, 3, 3, 4, 5, 0, 5, 4, 5, 2, 4, 3, 3, 4, 5, 2, 0, 4, 5, 2, 4, 3, 3, 4, 5, 2, 5, 0];
var 0..2415: INT____00001 :: is_defined_var :: var_is_introduced;
var 0..2415: Maxscore :: output_var = INT____00001;
array [1..100] of var 0..1: X :: output_array([0..9, 0..9]);
array [1..10] of var 0..9: Z :: output_array([0..9]);
constraint int_lin_eq([-1, 4, 6, 9, 16, 25, 12, 35, 32, 2, 3, 5, 6, 8, 9, 4, 4, 12, 15, 24, 28, 16, 36, 40, 10, 6, 16, 18, 28, 40, 18, 50, 44, 15, 8, 20, 18, 32, 45, 20, 55, 48, 16, 5, 24, 21, 16, 40, 11, 48, 39, 20, 6, 28, 24, 18, 30, 12, 52, 42, 30, 14, 32, 27, 30, 44, 60, 70, 60, 35, 16, 36, 30, 33, 48, 65, 28, 64, 40, 18, 40, 33, 36, 52, 70, 30, 80], [INT____00001, X[3], X[4], X[5], X[6], X[7], X[8], X[9], X[10], X[13], X[14], X[16], X[17], X[19], X[20], X[21], X[22], X[24], X[25], X[26], X[27], X[28], X[29], X[30], X[31], X[32], X[33], X[35], X[36], X[37], X[38], X[39], X[40], X[41], X[42], X[43], X[44], X[46], X[47], X[48], X[49], X[50], X[51], X[52], X[53], X[54], X[55], X[57], X[58], X[59], X[60], X[61], X[62], X[63], X[64], X[65], X[66], X[68], X[69], X[70], X[71], X[72], X[73], X[74], X[75], X[76], X[77], X[79], X[80], X[81], X[82], X[83], X[84], X[85], X[86], X[87], X[88], X[90], X[91], X[92], X[93], X[94], X[95], X[96], X[97], X[98], X[99]], 0) :: defines_var(INT____00001);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [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], X[81], X[82], X[83], X[84], X[85], X[86], X[87], X[88], X[89], X[90], X[91], X[92], X[93], X[94], X[95], X[96], X[97], X[98], X[99], X[100]], 9);
constraint int_lin_le([10], [X[1]], 9);
constraint int_lin_le([10], [X[12]], 9);
constraint int_lin_le([10], [X[23]], 9);
constraint int_lin_le([10], [X[34]], 9);
constraint int_lin_le([10], [X[45]], 9);
constraint int_lin_le([10], [X[56]], 9);
constraint int_lin_le([10], [X[67]], 9);
constraint int_lin_le([10], [X[78]], 9);
constraint int_lin_le([10], [X[89]], 9);
constraint int_lin_le([10], [X[100]], 9);
constraint int_lin_le([10, -1, 1], [X[11], Z[1], Z[2]], 9);
constraint int_lin_le([10, -1, 1], [X[21], Z[1], Z[3]], 9);
constraint int_lin_le([10, -1, 1], [X[22], Z[2], Z[3]], 9);
constraint int_lin_le([10, -1, 1], [X[31], Z[1], Z[4]], 9);
constraint int_lin_le([10, -1, 1], [X[32], Z[2], Z[4]], 9);
constraint int_lin_le([10, -1, 1], [X[33], Z[3], Z[4]], 9);
constraint int_lin_le([10, -1, 1], [X[41], Z[1], Z[5]], 9);
constraint int_lin_le([10, -1, 1], [X[42], Z[2], Z[5]], 9);
constraint int_lin_le([10, -1, 1], [X[43], Z[3], Z[5]], 9);
constraint int_lin_le([10, -1, 1], [X[44], Z[4], Z[5]], 9);
constraint int_lin_le([10, -1, 1], [X[51], Z[1], Z[6]], 9);
constraint int_lin_le([10, -1, 1], [X[52], Z[2], Z[6]], 9);
constraint int_lin_le([10, -1, 1], [X[53], Z[3], Z[6]], 9);
constraint int_lin_le([10, -1, 1], [X[54], Z[4], Z[6]], 9);
constraint int_lin_le([10, -1, 1], [X[55], Z[5], Z[6]], 9);
constraint int_lin_le([10, -1, 1], [X[61], Z[1], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[62], Z[2], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[63], Z[3], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[64], Z[4], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[65], Z[5], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[66], Z[6], Z[7]], 9);
constraint int_lin_le([10, -1, 1], [X[71], Z[1], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[72], Z[2], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[73], Z[3], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[74], Z[4], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[75], Z[5], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[76], Z[6], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[77], Z[7], Z[8]], 9);
constraint int_lin_le([10, -1, 1], [X[81], Z[1], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[82], Z[2], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[83], Z[3], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[84], Z[4], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[85], Z[5], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[86], Z[6], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[87], Z[7], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[88], Z[8], Z[9]], 9);
constraint int_lin_le([10, -1, 1], [X[91], Z[1], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[92], Z[2], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[93], Z[3], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[94], Z[4], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[95], Z[5], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[96], Z[6], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[97], Z[7], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[98], Z[8], Z[10]], 9);
constraint int_lin_le([10, -1, 1], [X[99], Z[9], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[2], Z[1], Z[2]], 9);
constraint int_lin_le([10, 1, -1], [X[3], Z[1], Z[3]], 9);
constraint int_lin_le([10, 1, -1], [X[4], Z[1], Z[4]], 9);
constraint int_lin_le([10, 1, -1], [X[5], Z[1], Z[5]], 9);
constraint int_lin_le([10, 1, -1], [X[6], Z[1], Z[6]], 9);
constraint int_lin_le([10, 1, -1], [X[7], Z[1], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[8], Z[1], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[9], Z[1], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[10], Z[1], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[13], Z[2], Z[3]], 9);
constraint int_lin_le([10, 1, -1], [X[14], Z[2], Z[4]], 9);
constraint int_lin_le([10, 1, -1], [X[15], Z[2], Z[5]], 9);
constraint int_lin_le([10, 1, -1], [X[16], Z[2], Z[6]], 9);
constraint int_lin_le([10, 1, -1], [X[17], Z[2], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[18], Z[2], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[19], Z[2], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[20], Z[2], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[24], Z[3], Z[4]], 9);
constraint int_lin_le([10, 1, -1], [X[25], Z[3], Z[5]], 9);
constraint int_lin_le([10, 1, -1], [X[26], Z[3], Z[6]], 9);
constraint int_lin_le([10, 1, -1], [X[27], Z[3], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[28], Z[3], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[29], Z[3], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[30], Z[3], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[35], Z[4], Z[5]], 9);
constraint int_lin_le([10, 1, -1], [X[36], Z[4], Z[6]], 9);
constraint int_lin_le([10, 1, -1], [X[37], Z[4], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[38], Z[4], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[39], Z[4], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[40], Z[4], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[46], Z[5], Z[6]], 9);
constraint int_lin_le([10, 1, -1], [X[47], Z[5], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[48], Z[5], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[49], Z[5], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[50], Z[5], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[57], Z[6], Z[7]], 9);
constraint int_lin_le([10, 1, -1], [X[58], Z[6], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[59], Z[6], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[60], Z[6], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[68], Z[7], Z[8]], 9);
constraint int_lin_le([10, 1, -1], [X[69], Z[7], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[70], Z[7], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[79], Z[8], Z[9]], 9);
constraint int_lin_le([10, 1, -1], [X[80], Z[8], Z[10]], 9);
constraint int_lin_le([10, 1, -1], [X[90], Z[9], Z[10]], 9);
constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [Z[1], Z[2], Z[3], Z[4], Z[5], Z[6], Z[7], Z[8], Z[9], Z[10]], -1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[1], X[2], X[3], X[4], X[5], X[6], X[7], X[8], X[9], X[10]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[1], X[11], X[21], X[31], X[41], X[51], X[61], X[71], X[81], X[91]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[2], X[12], X[22], X[32], X[42], X[52], X[62], X[72], X[82], X[92]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[3], X[13], X[23], X[33], X[43], X[53], X[63], X[73], X[83], X[93]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[4], X[14], X[24], X[34], X[44], X[54], X[64], X[74], X[84], X[94]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[5], X[15], X[25], X[35], X[45], X[55], X[65], X[75], X[85], X[95]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[6], X[16], X[26], X[36], X[46], X[56], X[66], X[76], X[86], X[96]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[7], X[17], X[27], X[37], X[47], X[57], X[67], X[77], X[87], X[97]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[8], X[18], X[28], X[38], X[48], X[58], X[68], X[78], X[88], X[98]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[9], X[19], X[29], X[39], X[49], X[59], X[69], X[79], X[89], X[99]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[10], X[20], X[30], X[40], X[50], X[60], X[70], X[80], X[90], X[100]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[11], X[12], X[13], X[14], X[15], X[16], X[17], X[18], X[19], X[20]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[21], X[22], X[23], X[24], X[25], X[26], X[27], X[28], X[29], X[30]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[31], X[32], X[33], X[34], X[35], X[36], X[37], X[38], X[39], X[40]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[41], X[42], X[43], X[44], X[45], X[46], X[47], X[48], X[49], X[50]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[51], X[52], X[53], X[54], X[55], X[56], X[57], X[58], X[59], X[60]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[61], X[62], X[63], X[64], X[65], X[66], X[67], X[68], X[69], X[70]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[71], X[72], X[73], X[74], X[75], X[76], X[77], X[78], X[79], X[80]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[81], X[82], X[83], X[84], X[85], X[86], X[87], X[88], X[89], X[90]], 1);
constraint int_lin_le([1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [X[91], X[92], X[93], X[94], X[95], X[96], X[97], X[98], X[99], X[100]], 1);
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], X[81], X[82], X[83], X[84], X[85], X[86], X[87], X[88], X[89], X[90], X[91], X[92], X[93], X[94], X[95], X[96], X[97], X[98], X[99], X[100]], first_fail, indomain_max, complete) maximize INT____00001;