array [1..1238] of int: E = [1, 2, 1, 3, 1, 5, 1, 7, 1, 8, 1, 12, 1, 15, 1, 16, 1, 19, 1, 20, 1, 21, 1, 22, 1, 28, 1, 30, 1, 34, 1, 35, 1, 37, 1, 41, 1, 42, 1, 47, 1, 50, 2, 3, 2, 5, 2, 6, 2, 7, 2, 8, 2, 9, 2, 10, 2, 13, 2, 17, 2, 19, 2, 20, 2, 21, 2, 23, 2, 25, 2, 26, 2, 29, 2, 31, 2, 35, 2, 36, 2, 44, 2, 45, 2, 46, 2, 50, 3, 5, 3, 6, 3, 8, 3, 9, 3, 10, 3, 11, 3, 14, 3, 16, 3, 23, 3, 24, 3, 26, 3, 27, 3, 28, 3, 29, 3, 30, 3, 31, 3, 34, 3, 35, 3, 36, 3, 39, 3, 41, 3, 42, 3, 43, 3, 44, 3, 50, 4, 6, 4, 7, 4, 9, 4, 10, 4, 11, 4, 13, 4, 14, 4, 15, 4, 17, 4, 21, 4, 22, 4, 23, 4, 24, 4, 25, 4, 27, 4, 28, 4, 30, 4, 31, 4, 33, 4, 34, 4, 35, 4, 36, 4, 37, 4, 38, 4, 40, 4, 41, 4, 42, 4, 46, 4, 49, 5, 6, 5, 11, 5, 14, 5, 21, 5, 24, 5, 25, 5, 28, 5, 35, 5, 38, 5, 39, 5, 41, 5, 44, 5, 49, 5, 50, 6, 8, 6, 9, 6, 10, 6, 13, 6, 14, 6, 16, 6, 17, 6, 19, 6, 22, 6, 23, 6, 26, 6, 27, 6, 30, 6, 34, 6, 35, 6, 38, 6, 39, 6, 40, 6, 41, 6, 44, 6, 45, 6, 47, 6, 50, 7, 8, 7, 9, 7, 10, 7, 11, 7, 13, 7, 15, 7, 16, 7, 18, 7, 20, 7, 22, 7, 23, 7, 24, 7, 25, 7, 33, 7, 35, 7, 36, 7, 38, 7, 43, 7, 45, 7, 46, 7, 47, 8, 10, 8, 11, 8, 13, 8, 16, 8, 17, 8, 18, 8, 19, 8, 20, 8, 21, 8, 22, 8, 23, 8, 24, 8, 25, 8, 26, 8, 33, 8, 35, 8, 36, 8, 39, 8, 42, 8, 44, 8, 48, 8, 49, 9, 12, 9, 14, 9, 17, 9, 19, 9, 20, 9, 23, 9, 28, 9, 30, 9, 31, 9, 32, 9, 33, 9, 34, 9, 38, 9, 39, 9, 42, 9, 44, 9, 45, 9, 46, 10, 11, 10, 13, 10, 15, 10, 16, 10, 17, 10, 20, 10, 21, 10, 22, 10, 23, 10, 25, 10, 26, 10, 27, 10, 28, 10, 30, 10, 31, 10, 32, 10, 37, 10, 38, 10, 41, 10, 43, 10, 44, 10, 45, 10, 50, 11, 12, 11, 14, 11, 15, 11, 18, 11, 21, 11, 24, 11, 25, 11, 26, 11, 29, 11, 32, 11, 33, 11, 35, 11, 36, 11, 37, 11, 39, 11, 40, 11, 42, 11, 43, 11, 45, 11, 47, 11, 49, 11, 50, 12, 13, 12, 16, 12, 17, 12, 19, 12, 24, 12, 25, 12, 26, 12, 30, 12, 31, 12, 32, 12, 34, 12, 36, 12, 37, 12, 39, 12, 41, 12, 44, 12, 47, 12, 48, 12, 49, 13, 15, 13, 16, 13, 18, 13, 19, 13, 20, 13, 22, 13, 23, 13, 24, 13, 27, 13, 28, 13, 29, 13, 31, 13, 33, 13, 35, 13, 36, 13, 37, 13, 44, 13, 47, 13, 49, 13, 50, 14, 15, 14, 16, 14, 17, 14, 18, 14, 19, 14, 20, 14, 21, 14, 26, 14, 28, 14, 29, 14, 30, 14, 31, 14, 32, 14, 34, 14, 35, 14, 36, 14, 38, 14, 39, 14, 41, 14, 44, 14, 46, 14, 47, 14, 48, 15, 18, 15, 21, 15, 22, 15, 23, 15, 25, 15, 28, 15, 29, 15, 30, 15, 33, 15, 34, 15, 36, 15, 37, 15, 38, 15, 39, 15, 40, 15, 43, 15, 44, 15, 46, 15, 50, 16, 17, 16, 19, 16, 20, 16, 25, 16, 26, 16, 29, 16, 35, 16, 38, 16, 39, 16, 40, 16, 41, 16, 42, 16, 44, 17, 18, 17, 19, 17, 21, 17, 22, 17, 23, 17, 25, 17, 26, 17, 28, 17, 29, 17, 33, 17, 37, 17, 44, 17, 45, 17, 48, 18, 20, 18, 24, 18, 27, 18, 28, 18, 31, 18, 32, 18, 34, 18, 35, 18, 36, 18, 37, 18, 38, 18, 45, 18, 48, 18, 49, 18, 50, 19, 22, 19, 24, 19, 28, 19, 29, 19, 36, 19, 37, 19, 39, 19, 41, 19, 43, 19, 45, 19, 48, 19, 49, 20, 21, 20, 22, 20, 24, 20, 25, 20, 26, 20, 27, 20, 29, 20, 30, 20, 31, 20, 33, 20, 34, 20, 35, 20, 38, 20, 39, 20, 41, 20, 42, 20, 43, 20, 44, 20, 45, 20, 46, 20, 48, 20, 49, 21, 22, 21, 23, 21, 29, 21, 31, 21, 35, 21, 38, 21, 42, 21, 46, 21, 47, 22, 23, 22, 26, 22, 27, 22, 28, 22, 29, 22, 30, 22, 39, 22, 40, 22, 41, 22, 42, 22, 44, 22, 45, 22, 46, 22, 47, 22, 49, 22, 50, 23, 28, 23, 31, 23, 32, 23, 33, 23, 34, 23, 35, 23, 36, 23, 39, 23, 40, 23, 41, 23, 42, 23, 44, 23, 45, 23, 48, 23, 49, 23, 50, 24, 25, 24, 27, 24, 29, 24, 30, 24, 31, 24, 33, 24, 34, 24, 38, 24, 42, 24, 43, 24, 44, 24, 49, 24, 50, 25, 26, 25, 27, 25, 29, 25, 30, 25, 33, 25, 34, 25, 36, 25, 38, 25, 40, 25, 41, 25, 42, 25, 44, 25, 46, 25, 47, 25, 48, 25, 49, 26, 28, 26, 31, 26, 32, 26, 33, 26, 37, 26, 38, 26, 39, 26, 40, 26, 41, 26, 42, 26, 45, 26, 47, 26, 48, 26, 49, 27, 29, 27, 30, 27, 33, 27, 34, 27, 35, 27, 39, 27, 40, 27, 46, 27, 48, 28, 29, 28, 37, 28, 40, 28, 42, 28, 44, 28, 46, 28, 47, 28, 50, 29, 35, 29, 38, 29, 39, 29, 41, 29, 42, 29, 48, 30, 31, 30, 32, 30, 35, 30, 37, 30, 38, 30, 40, 30, 43, 30, 45, 30, 46, 30, 47, 30, 48, 31, 33, 31, 35, 31, 38, 31, 40, 31, 41, 31, 42, 31, 44, 31, 46, 31, 47, 31, 50, 32, 33, 32, 35, 32, 39, 32, 40, 32, 46, 32, 49, 32, 50, 33, 34, 33, 36, 33, 37, 33, 40, 33, 42, 33, 43, 33, 44, 33, 45, 33, 50, 34, 35, 34, 36, 34, 37, 34, 38, 34, 40, 34, 43, 34, 44, 34, 49, 34, 50, 35, 36, 35, 38, 35, 41, 35, 42, 35, 43, 35, 45, 35, 46, 35, 47, 35, 49, 35, 50, 36, 37, 36, 39, 36, 40, 36, 41, 36, 42, 36, 43, 36, 48, 36, 50, 37, 38, 37, 41, 37, 43, 37, 46, 37, 47, 37, 48, 37, 49, 37, 50, 38, 41, 38, 45, 38, 46, 38, 48, 38, 49, 38, 50, 39, 43, 39, 46, 39, 47, 39, 48, 39, 49, 40, 43, 40, 45, 40, 48, 40, 50, 41, 42, 41, 43, 41, 44, 41, 45, 41, 46, 41, 48, 41, 49, 42, 43, 42, 44, 42, 46, 42, 48, 42, 49, 43, 45, 43, 46, 43, 48, 43, 50, 44, 45, 44, 48, 45, 46, 45, 47, 45, 48, 46, 49, 47, 49, 47, 50, 48, 49, 48, 50, 49, 50];
var 0..50: INT____00001 :: is_defined_var :: var_is_introduced;
var 0..50: obj :: output_var = INT____00001;
array [1..50] of var 0..1: x :: output_array([1..50]);
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], [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]], 0) :: defines_var(INT____00001);
constraint int_lin_le([1, 1], [x[1], x[2]], 1);
constraint int_lin_le([1, 1], [x[1], x[3]], 1);
constraint int_lin_le([1, 1], [x[1], x[5]], 1);
constraint int_lin_le([1, 1], [x[1], x[7]], 1);
constraint int_lin_le([1, 1], [x[1], x[8]], 1);
constraint int_lin_le([1, 1], [x[1], x[12]], 1);
constraint int_lin_le([1, 1], [x[1], x[15]], 1);
constraint int_lin_le([1, 1], [x[1], x[16]], 1);
constraint int_lin_le([1, 1], [x[1], x[19]], 1);
constraint int_lin_le([1, 1], [x[1], x[20]], 1);
constraint int_lin_le([1, 1], [x[1], x[21]], 1);
constraint int_lin_le([1, 1], [x[1], x[22]], 1);
constraint int_lin_le([1, 1], [x[1], x[28]], 1);
constraint int_lin_le([1, 1], [x[1], x[30]], 1);
constraint int_lin_le([1, 1], [x[1], x[34]], 1);
constraint int_lin_le([1, 1], [x[1], x[35]], 1);
constraint int_lin_le([1, 1], [x[1], x[37]], 1);
constraint int_lin_le([1, 1], [x[1], x[41]], 1);
constraint int_lin_le([1, 1], [x[1], x[42]], 1);
constraint int_lin_le([1, 1], [x[1], x[47]], 1);
constraint int_lin_le([1, 1], [x[1], x[50]], 1);
constraint int_lin_le([1, 1], [x[2], x[3]], 1);
constraint int_lin_le([1, 1], [x[2], x[5]], 1);
constraint int_lin_le([1, 1], [x[2], x[6]], 1);
constraint int_lin_le([1, 1], [x[2], x[7]], 1);
constraint int_lin_le([1, 1], [x[2], x[8]], 1);
constraint int_lin_le([1, 1], [x[2], x[9]], 1);
constraint int_lin_le([1, 1], [x[2], x[10]], 1);
constraint int_lin_le([1, 1], [x[2], x[13]], 1);
constraint int_lin_le([1, 1], [x[2], x[17]], 1);
constraint int_lin_le([1, 1], [x[2], x[19]], 1);
constraint int_lin_le([1, 1], [x[2], x[20]], 1);
constraint int_lin_le([1, 1], [x[2], x[21]], 1);
constraint int_lin_le([1, 1], [x[2], x[23]], 1);
constraint int_lin_le([1, 1], [x[2], x[25]], 1);
constraint int_lin_le([1, 1], [x[2], x[26]], 1);
constraint int_lin_le([1, 1], [x[2], x[29]], 1);
constraint int_lin_le([1, 1], [x[2], x[31]], 1);
constraint int_lin_le([1, 1], [x[2], x[35]], 1);
constraint int_lin_le([1, 1], [x[2], x[36]], 1);
constraint int_lin_le([1, 1], [x[2], x[44]], 1);
constraint int_lin_le([1, 1], [x[2], x[45]], 1);
constraint int_lin_le([1, 1], [x[2], x[46]], 1);
constraint int_lin_le([1, 1], [x[2], x[50]], 1);
constraint int_lin_le([1, 1], [x[3], x[5]], 1);
constraint int_lin_le([1, 1], [x[3], x[6]], 1);
constraint int_lin_le([1, 1], [x[3], x[8]], 1);
constraint int_lin_le([1, 1], [x[3], x[9]], 1);
constraint int_lin_le([1, 1], [x[3], x[10]], 1);
constraint int_lin_le([1, 1], [x[3], x[11]], 1);
constraint int_lin_le([1, 1], [x[3], x[14]], 1);
constraint int_lin_le([1, 1], [x[3], x[16]], 1);
constraint int_lin_le([1, 1], [x[3], x[23]], 1);
constraint int_lin_le([1, 1], [x[3], x[24]], 1);
constraint int_lin_le([1, 1], [x[3], x[26]], 1);
constraint int_lin_le([1, 1], [x[3], x[27]], 1);
constraint int_lin_le([1, 1], [x[3], x[28]], 1);
constraint int_lin_le([1, 1], [x[3], x[29]], 1);
constraint int_lin_le([1, 1], [x[3], x[30]], 1);
constraint int_lin_le([1, 1], [x[3], x[31]], 1);
constraint int_lin_le([1, 1], [x[3], x[34]], 1);
constraint int_lin_le([1, 1], [x[3], x[35]], 1);
constraint int_lin_le([1, 1], [x[3], x[36]], 1);
constraint int_lin_le([1, 1], [x[3], x[39]], 1);
constraint int_lin_le([1, 1], [x[3], x[41]], 1);
constraint int_lin_le([1, 1], [x[3], x[42]], 1);
constraint int_lin_le([1, 1], [x[3], x[43]], 1);
constraint int_lin_le([1, 1], [x[3], x[44]], 1);
constraint int_lin_le([1, 1], [x[3], x[50]], 1);
constraint int_lin_le([1, 1], [x[4], x[6]], 1);
constraint int_lin_le([1, 1], [x[4], x[7]], 1);
constraint int_lin_le([1, 1], [x[4], x[9]], 1);
constraint int_lin_le([1, 1], [x[4], x[10]], 1);
constraint int_lin_le([1, 1], [x[4], x[11]], 1);
constraint int_lin_le([1, 1], [x[4], x[13]], 1);
constraint int_lin_le([1, 1], [x[4], x[14]], 1);
constraint int_lin_le([1, 1], [x[4], x[15]], 1);
constraint int_lin_le([1, 1], [x[4], x[17]], 1);
constraint int_lin_le([1, 1], [x[4], x[21]], 1);
constraint int_lin_le([1, 1], [x[4], x[22]], 1);
constraint int_lin_le([1, 1], [x[4], x[23]], 1);
constraint int_lin_le([1, 1], [x[4], x[24]], 1);
constraint int_lin_le([1, 1], [x[4], x[25]], 1);
constraint int_lin_le([1, 1], [x[4], x[27]], 1);
constraint int_lin_le([1, 1], [x[4], x[28]], 1);
constraint int_lin_le([1, 1], [x[4], x[30]], 1);
constraint int_lin_le([1, 1], [x[4], x[31]], 1);
constraint int_lin_le([1, 1], [x[4], x[33]], 1);
constraint int_lin_le([1, 1], [x[4], x[34]], 1);
constraint int_lin_le([1, 1], [x[4], x[35]], 1);
constraint int_lin_le([1, 1], [x[4], x[36]], 1);
constraint int_lin_le([1, 1], [x[4], x[37]], 1);
constraint int_lin_le([1, 1], [x[4], x[38]], 1);
constraint int_lin_le([1, 1], [x[4], x[40]], 1);
constraint int_lin_le([1, 1], [x[4], x[41]], 1);
constraint int_lin_le([1, 1], [x[4], x[42]], 1);
constraint int_lin_le([1, 1], [x[4], x[46]], 1);
constraint int_lin_le([1, 1], [x[4], x[49]], 1);
constraint int_lin_le([1, 1], [x[5], x[6]], 1);
constraint int_lin_le([1, 1], [x[5], x[11]], 1);
constraint int_lin_le([1, 1], [x[5], x[14]], 1);
constraint int_lin_le([1, 1], [x[5], x[21]], 1);
constraint int_lin_le([1, 1], [x[5], x[24]], 1);
constraint int_lin_le([1, 1], [x[5], x[25]], 1);
constraint int_lin_le([1, 1], [x[5], x[28]], 1);
constraint int_lin_le([1, 1], [x[5], x[35]], 1);
constraint int_lin_le([1, 1], [x[5], x[38]], 1);
constraint int_lin_le([1, 1], [x[5], x[39]], 1);
constraint int_lin_le([1, 1], [x[5], x[41]], 1);
constraint int_lin_le([1, 1], [x[5], x[44]], 1);
constraint int_lin_le([1, 1], [x[5], x[49]], 1);
constraint int_lin_le([1, 1], [x[5], x[50]], 1);
constraint int_lin_le([1, 1], [x[6], x[8]], 1);
constraint int_lin_le([1, 1], [x[6], x[9]], 1);
constraint int_lin_le([1, 1], [x[6], x[10]], 1);
constraint int_lin_le([1, 1], [x[6], x[13]], 1);
constraint int_lin_le([1, 1], [x[6], x[14]], 1);
constraint int_lin_le([1, 1], [x[6], x[16]], 1);
constraint int_lin_le([1, 1], [x[6], x[17]], 1);
constraint int_lin_le([1, 1], [x[6], x[19]], 1);
constraint int_lin_le([1, 1], [x[6], x[22]], 1);
constraint int_lin_le([1, 1], [x[6], x[23]], 1);
constraint int_lin_le([1, 1], [x[6], x[26]], 1);
constraint int_lin_le([1, 1], [x[6], x[27]], 1);
constraint int_lin_le([1, 1], [x[6], x[30]], 1);
constraint int_lin_le([1, 1], [x[6], x[34]], 1);
constraint int_lin_le([1, 1], [x[6], x[35]], 1);
constraint int_lin_le([1, 1], [x[6], x[38]], 1);
constraint int_lin_le([1, 1], [x[6], x[39]], 1);
constraint int_lin_le([1, 1], [x[6], x[40]], 1);
constraint int_lin_le([1, 1], [x[6], x[41]], 1);
constraint int_lin_le([1, 1], [x[6], x[44]], 1);
constraint int_lin_le([1, 1], [x[6], x[45]], 1);
constraint int_lin_le([1, 1], [x[6], x[47]], 1);
constraint int_lin_le([1, 1], [x[6], x[50]], 1);
constraint int_lin_le([1, 1], [x[7], x[8]], 1);
constraint int_lin_le([1, 1], [x[7], x[9]], 1);
constraint int_lin_le([1, 1], [x[7], x[10]], 1);
constraint int_lin_le([1, 1], [x[7], x[11]], 1);
constraint int_lin_le([1, 1], [x[7], x[13]], 1);
constraint int_lin_le([1, 1], [x[7], x[15]], 1);
constraint int_lin_le([1, 1], [x[7], x[16]], 1);
constraint int_lin_le([1, 1], [x[7], x[18]], 1);
constraint int_lin_le([1, 1], [x[7], x[20]], 1);
constraint int_lin_le([1, 1], [x[7], x[22]], 1);
constraint int_lin_le([1, 1], [x[7], x[23]], 1);
constraint int_lin_le([1, 1], [x[7], x[24]], 1);
constraint int_lin_le([1, 1], [x[7], x[25]], 1);
constraint int_lin_le([1, 1], [x[7], x[33]], 1);
constraint int_lin_le([1, 1], [x[7], x[35]], 1);
constraint int_lin_le([1, 1], [x[7], x[36]], 1);
constraint int_lin_le([1, 1], [x[7], x[38]], 1);
constraint int_lin_le([1, 1], [x[7], x[43]], 1);
constraint int_lin_le([1, 1], [x[7], x[45]], 1);
constraint int_lin_le([1, 1], [x[7], x[46]], 1);
constraint int_lin_le([1, 1], [x[7], x[47]], 1);
constraint int_lin_le([1, 1], [x[8], x[10]], 1);
constraint int_lin_le([1, 1], [x[8], x[11]], 1);
constraint int_lin_le([1, 1], [x[8], x[13]], 1);
constraint int_lin_le([1, 1], [x[8], x[16]], 1);
constraint int_lin_le([1, 1], [x[8], x[17]], 1);
constraint int_lin_le([1, 1], [x[8], x[18]], 1);
constraint int_lin_le([1, 1], [x[8], x[19]], 1);
constraint int_lin_le([1, 1], [x[8], x[20]], 1);
constraint int_lin_le([1, 1], [x[8], x[21]], 1);
constraint int_lin_le([1, 1], [x[8], x[22]], 1);
constraint int_lin_le([1, 1], [x[8], x[23]], 1);
constraint int_lin_le([1, 1], [x[8], x[24]], 1);
constraint int_lin_le([1, 1], [x[8], x[25]], 1);
constraint int_lin_le([1, 1], [x[8], x[26]], 1);
constraint int_lin_le([1, 1], [x[8], x[33]], 1);
constraint int_lin_le([1, 1], [x[8], x[35]], 1);
constraint int_lin_le([1, 1], [x[8], x[36]], 1);
constraint int_lin_le([1, 1], [x[8], x[39]], 1);
constraint int_lin_le([1, 1], [x[8], x[42]], 1);
constraint int_lin_le([1, 1], [x[8], x[44]], 1);
constraint int_lin_le([1, 1], [x[8], x[48]], 1);
constraint int_lin_le([1, 1], [x[8], x[49]], 1);
constraint int_lin_le([1, 1], [x[9], x[12]], 1);
constraint int_lin_le([1, 1], [x[9], x[14]], 1);
constraint int_lin_le([1, 1], [x[9], x[17]], 1);
constraint int_lin_le([1, 1], [x[9], x[19]], 1);
constraint int_lin_le([1, 1], [x[9], x[20]], 1);
constraint int_lin_le([1, 1], [x[9], x[23]], 1);
constraint int_lin_le([1, 1], [x[9], x[28]], 1);
constraint int_lin_le([1, 1], [x[9], x[30]], 1);
constraint int_lin_le([1, 1], [x[9], x[31]], 1);
constraint int_lin_le([1, 1], [x[9], x[32]], 1);
constraint int_lin_le([1, 1], [x[9], x[33]], 1);
constraint int_lin_le([1, 1], [x[9], x[34]], 1);
constraint int_lin_le([1, 1], [x[9], x[38]], 1);
constraint int_lin_le([1, 1], [x[9], x[39]], 1);
constraint int_lin_le([1, 1], [x[9], x[42]], 1);
constraint int_lin_le([1, 1], [x[9], x[44]], 1);
constraint int_lin_le([1, 1], [x[9], x[45]], 1);
constraint int_lin_le([1, 1], [x[9], x[46]], 1);
constraint int_lin_le([1, 1], [x[10], x[11]], 1);
constraint int_lin_le([1, 1], [x[10], x[13]], 1);
constraint int_lin_le([1, 1], [x[10], x[15]], 1);
constraint int_lin_le([1, 1], [x[10], x[16]], 1);
constraint int_lin_le([1, 1], [x[10], x[17]], 1);
constraint int_lin_le([1, 1], [x[10], x[20]], 1);
constraint int_lin_le([1, 1], [x[10], x[21]], 1);
constraint int_lin_le([1, 1], [x[10], x[22]], 1);
constraint int_lin_le([1, 1], [x[10], x[23]], 1);
constraint int_lin_le([1, 1], [x[10], x[25]], 1);
constraint int_lin_le([1, 1], [x[10], x[26]], 1);
constraint int_lin_le([1, 1], [x[10], x[27]], 1);
constraint int_lin_le([1, 1], [x[10], x[28]], 1);
constraint int_lin_le([1, 1], [x[10], x[30]], 1);
constraint int_lin_le([1, 1], [x[10], x[31]], 1);
constraint int_lin_le([1, 1], [x[10], x[32]], 1);
constraint int_lin_le([1, 1], [x[10], x[37]], 1);
constraint int_lin_le([1, 1], [x[10], x[38]], 1);
constraint int_lin_le([1, 1], [x[10], x[41]], 1);
constraint int_lin_le([1, 1], [x[10], x[43]], 1);
constraint int_lin_le([1, 1], [x[10], x[44]], 1);
constraint int_lin_le([1, 1], [x[10], x[45]], 1);
constraint int_lin_le([1, 1], [x[10], x[50]], 1);
constraint int_lin_le([1, 1], [x[11], x[12]], 1);
constraint int_lin_le([1, 1], [x[11], x[14]], 1);
constraint int_lin_le([1, 1], [x[11], x[15]], 1);
constraint int_lin_le([1, 1], [x[11], x[18]], 1);
constraint int_lin_le([1, 1], [x[11], x[21]], 1);
constraint int_lin_le([1, 1], [x[11], x[24]], 1);
constraint int_lin_le([1, 1], [x[11], x[25]], 1);
constraint int_lin_le([1, 1], [x[11], x[26]], 1);
constraint int_lin_le([1, 1], [x[11], x[29]], 1);
constraint int_lin_le([1, 1], [x[11], x[32]], 1);
constraint int_lin_le([1, 1], [x[11], x[33]], 1);
constraint int_lin_le([1, 1], [x[11], x[35]], 1);
constraint int_lin_le([1, 1], [x[11], x[36]], 1);
constraint int_lin_le([1, 1], [x[11], x[37]], 1);
constraint int_lin_le([1, 1], [x[11], x[39]], 1);
constraint int_lin_le([1, 1], [x[11], x[40]], 1);
constraint int_lin_le([1, 1], [x[11], x[42]], 1);
constraint int_lin_le([1, 1], [x[11], x[43]], 1);
constraint int_lin_le([1, 1], [x[11], x[45]], 1);
constraint int_lin_le([1, 1], [x[11], x[47]], 1);
constraint int_lin_le([1, 1], [x[11], x[49]], 1);
constraint int_lin_le([1, 1], [x[11], x[50]], 1);
constraint int_lin_le([1, 1], [x[12], x[13]], 1);
constraint int_lin_le([1, 1], [x[12], x[16]], 1);
constraint int_lin_le([1, 1], [x[12], x[17]], 1);
constraint int_lin_le([1, 1], [x[12], x[19]], 1);
constraint int_lin_le([1, 1], [x[12], x[24]], 1);
constraint int_lin_le([1, 1], [x[12], x[25]], 1);
constraint int_lin_le([1, 1], [x[12], x[26]], 1);
constraint int_lin_le([1, 1], [x[12], x[30]], 1);
constraint int_lin_le([1, 1], [x[12], x[31]], 1);
constraint int_lin_le([1, 1], [x[12], x[32]], 1);
constraint int_lin_le([1, 1], [x[12], x[34]], 1);
constraint int_lin_le([1, 1], [x[12], x[36]], 1);
constraint int_lin_le([1, 1], [x[12], x[37]], 1);
constraint int_lin_le([1, 1], [x[12], x[39]], 1);
constraint int_lin_le([1, 1], [x[12], x[41]], 1);
constraint int_lin_le([1, 1], [x[12], x[44]], 1);
constraint int_lin_le([1, 1], [x[12], x[47]], 1);
constraint int_lin_le([1, 1], [x[12], x[48]], 1);
constraint int_lin_le([1, 1], [x[12], x[49]], 1);
constraint int_lin_le([1, 1], [x[13], x[15]], 1);
constraint int_lin_le([1, 1], [x[13], x[16]], 1);
constraint int_lin_le([1, 1], [x[13], x[18]], 1);
constraint int_lin_le([1, 1], [x[13], x[19]], 1);
constraint int_lin_le([1, 1], [x[13], x[20]], 1);
constraint int_lin_le([1, 1], [x[13], x[22]], 1);
constraint int_lin_le([1, 1], [x[13], x[23]], 1);
constraint int_lin_le([1, 1], [x[13], x[24]], 1);
constraint int_lin_le([1, 1], [x[13], x[27]], 1);
constraint int_lin_le([1, 1], [x[13], x[28]], 1);
constraint int_lin_le([1, 1], [x[13], x[29]], 1);
constraint int_lin_le([1, 1], [x[13], x[31]], 1);
constraint int_lin_le([1, 1], [x[13], x[33]], 1);
constraint int_lin_le([1, 1], [x[13], x[35]], 1);
constraint int_lin_le([1, 1], [x[13], x[36]], 1);
constraint int_lin_le([1, 1], [x[13], x[37]], 1);
constraint int_lin_le([1, 1], [x[13], x[44]], 1);
constraint int_lin_le([1, 1], [x[13], x[47]], 1);
constraint int_lin_le([1, 1], [x[13], x[49]], 1);
constraint int_lin_le([1, 1], [x[13], x[50]], 1);
constraint int_lin_le([1, 1], [x[14], x[15]], 1);
constraint int_lin_le([1, 1], [x[14], x[16]], 1);
constraint int_lin_le([1, 1], [x[14], x[17]], 1);
constraint int_lin_le([1, 1], [x[14], x[18]], 1);
constraint int_lin_le([1, 1], [x[14], x[19]], 1);
constraint int_lin_le([1, 1], [x[14], x[20]], 1);
constraint int_lin_le([1, 1], [x[14], x[21]], 1);
constraint int_lin_le([1, 1], [x[14], x[26]], 1);
constraint int_lin_le([1, 1], [x[14], x[28]], 1);
constraint int_lin_le([1, 1], [x[14], x[29]], 1);
constraint int_lin_le([1, 1], [x[14], x[30]], 1);
constraint int_lin_le([1, 1], [x[14], x[31]], 1);
constraint int_lin_le([1, 1], [x[14], x[32]], 1);
constraint int_lin_le([1, 1], [x[14], x[34]], 1);
constraint int_lin_le([1, 1], [x[14], x[35]], 1);
constraint int_lin_le([1, 1], [x[14], x[36]], 1);
constraint int_lin_le([1, 1], [x[14], x[38]], 1);
constraint int_lin_le([1, 1], [x[14], x[39]], 1);
constraint int_lin_le([1, 1], [x[14], x[41]], 1);
constraint int_lin_le([1, 1], [x[14], x[44]], 1);
constraint int_lin_le([1, 1], [x[14], x[46]], 1);
constraint int_lin_le([1, 1], [x[14], x[47]], 1);
constraint int_lin_le([1, 1], [x[14], x[48]], 1);
constraint int_lin_le([1, 1], [x[15], x[18]], 1);
constraint int_lin_le([1, 1], [x[15], x[21]], 1);
constraint int_lin_le([1, 1], [x[15], x[22]], 1);
constraint int_lin_le([1, 1], [x[15], x[23]], 1);
constraint int_lin_le([1, 1], [x[15], x[25]], 1);
constraint int_lin_le([1, 1], [x[15], x[28]], 1);
constraint int_lin_le([1, 1], [x[15], x[29]], 1);
constraint int_lin_le([1, 1], [x[15], x[30]], 1);
constraint int_lin_le([1, 1], [x[15], x[33]], 1);
constraint int_lin_le([1, 1], [x[15], x[34]], 1);
constraint int_lin_le([1, 1], [x[15], x[36]], 1);
constraint int_lin_le([1, 1], [x[15], x[37]], 1);
constraint int_lin_le([1, 1], [x[15], x[38]], 1);
constraint int_lin_le([1, 1], [x[15], x[39]], 1);
constraint int_lin_le([1, 1], [x[15], x[40]], 1);
constraint int_lin_le([1, 1], [x[15], x[43]], 1);
constraint int_lin_le([1, 1], [x[15], x[44]], 1);
constraint int_lin_le([1, 1], [x[15], x[46]], 1);
constraint int_lin_le([1, 1], [x[15], x[50]], 1);
constraint int_lin_le([1, 1], [x[16], x[17]], 1);
constraint int_lin_le([1, 1], [x[16], x[19]], 1);
constraint int_lin_le([1, 1], [x[16], x[20]], 1);
constraint int_lin_le([1, 1], [x[16], x[25]], 1);
constraint int_lin_le([1, 1], [x[16], x[26]], 1);
constraint int_lin_le([1, 1], [x[16], x[29]], 1);
constraint int_lin_le([1, 1], [x[16], x[35]], 1);
constraint int_lin_le([1, 1], [x[16], x[38]], 1);
constraint int_lin_le([1, 1], [x[16], x[39]], 1);
constraint int_lin_le([1, 1], [x[16], x[40]], 1);
constraint int_lin_le([1, 1], [x[16], x[41]], 1);
constraint int_lin_le([1, 1], [x[16], x[42]], 1);
constraint int_lin_le([1, 1], [x[16], x[44]], 1);
constraint int_lin_le([1, 1], [x[17], x[18]], 1);
constraint int_lin_le([1, 1], [x[17], x[19]], 1);
constraint int_lin_le([1, 1], [x[17], x[21]], 1);
constraint int_lin_le([1, 1], [x[17], x[22]], 1);
constraint int_lin_le([1, 1], [x[17], x[23]], 1);
constraint int_lin_le([1, 1], [x[17], x[25]], 1);
constraint int_lin_le([1, 1], [x[17], x[26]], 1);
constraint int_lin_le([1, 1], [x[17], x[28]], 1);
constraint int_lin_le([1, 1], [x[17], x[29]], 1);
constraint int_lin_le([1, 1], [x[17], x[33]], 1);
constraint int_lin_le([1, 1], [x[17], x[37]], 1);
constraint int_lin_le([1, 1], [x[17], x[44]], 1);
constraint int_lin_le([1, 1], [x[17], x[45]], 1);
constraint int_lin_le([1, 1], [x[17], x[48]], 1);
constraint int_lin_le([1, 1], [x[18], x[20]], 1);
constraint int_lin_le([1, 1], [x[18], x[24]], 1);
constraint int_lin_le([1, 1], [x[18], x[27]], 1);
constraint int_lin_le([1, 1], [x[18], x[28]], 1);
constraint int_lin_le([1, 1], [x[18], x[31]], 1);
constraint int_lin_le([1, 1], [x[18], x[32]], 1);
constraint int_lin_le([1, 1], [x[18], x[34]], 1);
constraint int_lin_le([1, 1], [x[18], x[35]], 1);
constraint int_lin_le([1, 1], [x[18], x[36]], 1);
constraint int_lin_le([1, 1], [x[18], x[37]], 1);
constraint int_lin_le([1, 1], [x[18], x[38]], 1);
constraint int_lin_le([1, 1], [x[18], x[45]], 1);
constraint int_lin_le([1, 1], [x[18], x[48]], 1);
constraint int_lin_le([1, 1], [x[18], x[49]], 1);
constraint int_lin_le([1, 1], [x[18], x[50]], 1);
constraint int_lin_le([1, 1], [x[19], x[22]], 1);
constraint int_lin_le([1, 1], [x[19], x[24]], 1);
constraint int_lin_le([1, 1], [x[19], x[28]], 1);
constraint int_lin_le([1, 1], [x[19], x[29]], 1);
constraint int_lin_le([1, 1], [x[19], x[36]], 1);
constraint int_lin_le([1, 1], [x[19], x[37]], 1);
constraint int_lin_le([1, 1], [x[19], x[39]], 1);
constraint int_lin_le([1, 1], [x[19], x[41]], 1);
constraint int_lin_le([1, 1], [x[19], x[43]], 1);
constraint int_lin_le([1, 1], [x[19], x[45]], 1);
constraint int_lin_le([1, 1], [x[19], x[48]], 1);
constraint int_lin_le([1, 1], [x[19], x[49]], 1);
constraint int_lin_le([1, 1], [x[20], x[21]], 1);
constraint int_lin_le([1, 1], [x[20], x[22]], 1);
constraint int_lin_le([1, 1], [x[20], x[24]], 1);
constraint int_lin_le([1, 1], [x[20], x[25]], 1);
constraint int_lin_le([1, 1], [x[20], x[26]], 1);
constraint int_lin_le([1, 1], [x[20], x[27]], 1);
constraint int_lin_le([1, 1], [x[20], x[29]], 1);
constraint int_lin_le([1, 1], [x[20], x[30]], 1);
constraint int_lin_le([1, 1], [x[20], x[31]], 1);
constraint int_lin_le([1, 1], [x[20], x[33]], 1);
constraint int_lin_le([1, 1], [x[20], x[34]], 1);
constraint int_lin_le([1, 1], [x[20], x[35]], 1);
constraint int_lin_le([1, 1], [x[20], x[38]], 1);
constraint int_lin_le([1, 1], [x[20], x[39]], 1);
constraint int_lin_le([1, 1], [x[20], x[41]], 1);
constraint int_lin_le([1, 1], [x[20], x[42]], 1);
constraint int_lin_le([1, 1], [x[20], x[43]], 1);
constraint int_lin_le([1, 1], [x[20], x[44]], 1);
constraint int_lin_le([1, 1], [x[20], x[45]], 1);
constraint int_lin_le([1, 1], [x[20], x[46]], 1);
constraint int_lin_le([1, 1], [x[20], x[48]], 1);
constraint int_lin_le([1, 1], [x[20], x[49]], 1);
constraint int_lin_le([1, 1], [x[21], x[22]], 1);
constraint int_lin_le([1, 1], [x[21], x[23]], 1);
constraint int_lin_le([1, 1], [x[21], x[29]], 1);
constraint int_lin_le([1, 1], [x[21], x[31]], 1);
constraint int_lin_le([1, 1], [x[21], x[35]], 1);
constraint int_lin_le([1, 1], [x[21], x[38]], 1);
constraint int_lin_le([1, 1], [x[21], x[42]], 1);
constraint int_lin_le([1, 1], [x[21], x[46]], 1);
constraint int_lin_le([1, 1], [x[21], x[47]], 1);
constraint int_lin_le([1, 1], [x[22], x[23]], 1);
constraint int_lin_le([1, 1], [x[22], x[26]], 1);
constraint int_lin_le([1, 1], [x[22], x[27]], 1);
constraint int_lin_le([1, 1], [x[22], x[28]], 1);
constraint int_lin_le([1, 1], [x[22], x[29]], 1);
constraint int_lin_le([1, 1], [x[22], x[30]], 1);
constraint int_lin_le([1, 1], [x[22], x[39]], 1);
constraint int_lin_le([1, 1], [x[22], x[40]], 1);
constraint int_lin_le([1, 1], [x[22], x[41]], 1);
constraint int_lin_le([1, 1], [x[22], x[42]], 1);
constraint int_lin_le([1, 1], [x[22], x[44]], 1);
constraint int_lin_le([1, 1], [x[22], x[45]], 1);
constraint int_lin_le([1, 1], [x[22], x[46]], 1);
constraint int_lin_le([1, 1], [x[22], x[47]], 1);
constraint int_lin_le([1, 1], [x[22], x[49]], 1);
constraint int_lin_le([1, 1], [x[22], x[50]], 1);
constraint int_lin_le([1, 1], [x[23], x[28]], 1);
constraint int_lin_le([1, 1], [x[23], x[31]], 1);
constraint int_lin_le([1, 1], [x[23], x[32]], 1);
constraint int_lin_le([1, 1], [x[23], x[33]], 1);
constraint int_lin_le([1, 1], [x[23], x[34]], 1);
constraint int_lin_le([1, 1], [x[23], x[35]], 1);
constraint int_lin_le([1, 1], [x[23], x[36]], 1);
constraint int_lin_le([1, 1], [x[23], x[39]], 1);
constraint int_lin_le([1, 1], [x[23], x[40]], 1);
constraint int_lin_le([1, 1], [x[23], x[41]], 1);
constraint int_lin_le([1, 1], [x[23], x[42]], 1);
constraint int_lin_le([1, 1], [x[23], x[44]], 1);
constraint int_lin_le([1, 1], [x[23], x[45]], 1);
constraint int_lin_le([1, 1], [x[23], x[48]], 1);
constraint int_lin_le([1, 1], [x[23], x[49]], 1);
constraint int_lin_le([1, 1], [x[23], x[50]], 1);
constraint int_lin_le([1, 1], [x[24], x[25]], 1);
constraint int_lin_le([1, 1], [x[24], x[27]], 1);
constraint int_lin_le([1, 1], [x[24], x[29]], 1);
constraint int_lin_le([1, 1], [x[24], x[30]], 1);
constraint int_lin_le([1, 1], [x[24], x[31]], 1);
constraint int_lin_le([1, 1], [x[24], x[33]], 1);
constraint int_lin_le([1, 1], [x[24], x[34]], 1);
constraint int_lin_le([1, 1], [x[24], x[38]], 1);
constraint int_lin_le([1, 1], [x[24], x[42]], 1);
constraint int_lin_le([1, 1], [x[24], x[43]], 1);
constraint int_lin_le([1, 1], [x[24], x[44]], 1);
constraint int_lin_le([1, 1], [x[24], x[49]], 1);
constraint int_lin_le([1, 1], [x[24], x[50]], 1);
constraint int_lin_le([1, 1], [x[25], x[26]], 1);
constraint int_lin_le([1, 1], [x[25], x[27]], 1);
constraint int_lin_le([1, 1], [x[25], x[29]], 1);
constraint int_lin_le([1, 1], [x[25], x[30]], 1);
constraint int_lin_le([1, 1], [x[25], x[33]], 1);
constraint int_lin_le([1, 1], [x[25], x[34]], 1);
constraint int_lin_le([1, 1], [x[25], x[36]], 1);
constraint int_lin_le([1, 1], [x[25], x[38]], 1);
constraint int_lin_le([1, 1], [x[25], x[40]], 1);
constraint int_lin_le([1, 1], [x[25], x[41]], 1);
constraint int_lin_le([1, 1], [x[25], x[42]], 1);
constraint int_lin_le([1, 1], [x[25], x[44]], 1);
constraint int_lin_le([1, 1], [x[25], x[46]], 1);
constraint int_lin_le([1, 1], [x[25], x[47]], 1);
constraint int_lin_le([1, 1], [x[25], x[48]], 1);
constraint int_lin_le([1, 1], [x[25], x[49]], 1);
constraint int_lin_le([1, 1], [x[26], x[28]], 1);
constraint int_lin_le([1, 1], [x[26], x[31]], 1);
constraint int_lin_le([1, 1], [x[26], x[32]], 1);
constraint int_lin_le([1, 1], [x[26], x[33]], 1);
constraint int_lin_le([1, 1], [x[26], x[37]], 1);
constraint int_lin_le([1, 1], [x[26], x[38]], 1);
constraint int_lin_le([1, 1], [x[26], x[39]], 1);
constraint int_lin_le([1, 1], [x[26], x[40]], 1);
constraint int_lin_le([1, 1], [x[26], x[41]], 1);
constraint int_lin_le([1, 1], [x[26], x[42]], 1);
constraint int_lin_le([1, 1], [x[26], x[45]], 1);
constraint int_lin_le([1, 1], [x[26], x[47]], 1);
constraint int_lin_le([1, 1], [x[26], x[48]], 1);
constraint int_lin_le([1, 1], [x[26], x[49]], 1);
constraint int_lin_le([1, 1], [x[27], x[29]], 1);
constraint int_lin_le([1, 1], [x[27], x[30]], 1);
constraint int_lin_le([1, 1], [x[27], x[33]], 1);
constraint int_lin_le([1, 1], [x[27], x[34]], 1);
constraint int_lin_le([1, 1], [x[27], x[35]], 1);
constraint int_lin_le([1, 1], [x[27], x[39]], 1);
constraint int_lin_le([1, 1], [x[27], x[40]], 1);
constraint int_lin_le([1, 1], [x[27], x[46]], 1);
constraint int_lin_le([1, 1], [x[27], x[48]], 1);
constraint int_lin_le([1, 1], [x[28], x[29]], 1);
constraint int_lin_le([1, 1], [x[28], x[37]], 1);
constraint int_lin_le([1, 1], [x[28], x[40]], 1);
constraint int_lin_le([1, 1], [x[28], x[42]], 1);
constraint int_lin_le([1, 1], [x[28], x[44]], 1);
constraint int_lin_le([1, 1], [x[28], x[46]], 1);
constraint int_lin_le([1, 1], [x[28], x[47]], 1);
constraint int_lin_le([1, 1], [x[28], x[50]], 1);
constraint int_lin_le([1, 1], [x[29], x[35]], 1);
constraint int_lin_le([1, 1], [x[29], x[38]], 1);
constraint int_lin_le([1, 1], [x[29], x[39]], 1);
constraint int_lin_le([1, 1], [x[29], x[41]], 1);
constraint int_lin_le([1, 1], [x[29], x[42]], 1);
constraint int_lin_le([1, 1], [x[29], x[48]], 1);
constraint int_lin_le([1, 1], [x[30], x[31]], 1);
constraint int_lin_le([1, 1], [x[30], x[32]], 1);
constraint int_lin_le([1, 1], [x[30], x[35]], 1);
constraint int_lin_le([1, 1], [x[30], x[37]], 1);
constraint int_lin_le([1, 1], [x[30], x[38]], 1);
constraint int_lin_le([1, 1], [x[30], x[40]], 1);
constraint int_lin_le([1, 1], [x[30], x[43]], 1);
constraint int_lin_le([1, 1], [x[30], x[45]], 1);
constraint int_lin_le([1, 1], [x[30], x[46]], 1);
constraint int_lin_le([1, 1], [x[30], x[47]], 1);
constraint int_lin_le([1, 1], [x[30], x[48]], 1);
constraint int_lin_le([1, 1], [x[31], x[33]], 1);
constraint int_lin_le([1, 1], [x[31], x[35]], 1);
constraint int_lin_le([1, 1], [x[31], x[38]], 1);
constraint int_lin_le([1, 1], [x[31], x[40]], 1);
constraint int_lin_le([1, 1], [x[31], x[41]], 1);
constraint int_lin_le([1, 1], [x[31], x[42]], 1);
constraint int_lin_le([1, 1], [x[31], x[44]], 1);
constraint int_lin_le([1, 1], [x[31], x[46]], 1);
constraint int_lin_le([1, 1], [x[31], x[47]], 1);
constraint int_lin_le([1, 1], [x[31], x[50]], 1);
constraint int_lin_le([1, 1], [x[32], x[33]], 1);
constraint int_lin_le([1, 1], [x[32], x[35]], 1);
constraint int_lin_le([1, 1], [x[32], x[39]], 1);
constraint int_lin_le([1, 1], [x[32], x[40]], 1);
constraint int_lin_le([1, 1], [x[32], x[46]], 1);
constraint int_lin_le([1, 1], [x[32], x[49]], 1);
constraint int_lin_le([1, 1], [x[32], x[50]], 1);
constraint int_lin_le([1, 1], [x[33], x[34]], 1);
constraint int_lin_le([1, 1], [x[33], x[36]], 1);
constraint int_lin_le([1, 1], [x[33], x[37]], 1);
constraint int_lin_le([1, 1], [x[33], x[40]], 1);
constraint int_lin_le([1, 1], [x[33], x[42]], 1);
constraint int_lin_le([1, 1], [x[33], x[43]], 1);
constraint int_lin_le([1, 1], [x[33], x[44]], 1);
constraint int_lin_le([1, 1], [x[33], x[45]], 1);
constraint int_lin_le([1, 1], [x[33], x[50]], 1);
constraint int_lin_le([1, 1], [x[34], x[35]], 1);
constraint int_lin_le([1, 1], [x[34], x[36]], 1);
constraint int_lin_le([1, 1], [x[34], x[37]], 1);
constraint int_lin_le([1, 1], [x[34], x[38]], 1);
constraint int_lin_le([1, 1], [x[34], x[40]], 1);
constraint int_lin_le([1, 1], [x[34], x[43]], 1);
constraint int_lin_le([1, 1], [x[34], x[44]], 1);
constraint int_lin_le([1, 1], [x[34], x[49]], 1);
constraint int_lin_le([1, 1], [x[34], x[50]], 1);
constraint int_lin_le([1, 1], [x[35], x[36]], 1);
constraint int_lin_le([1, 1], [x[35], x[38]], 1);
constraint int_lin_le([1, 1], [x[35], x[41]], 1);
constraint int_lin_le([1, 1], [x[35], x[42]], 1);
constraint int_lin_le([1, 1], [x[35], x[43]], 1);
constraint int_lin_le([1, 1], [x[35], x[45]], 1);
constraint int_lin_le([1, 1], [x[35], x[46]], 1);
constraint int_lin_le([1, 1], [x[35], x[47]], 1);
constraint int_lin_le([1, 1], [x[35], x[49]], 1);
constraint int_lin_le([1, 1], [x[35], x[50]], 1);
constraint int_lin_le([1, 1], [x[36], x[37]], 1);
constraint int_lin_le([1, 1], [x[36], x[39]], 1);
constraint int_lin_le([1, 1], [x[36], x[40]], 1);
constraint int_lin_le([1, 1], [x[36], x[41]], 1);
constraint int_lin_le([1, 1], [x[36], x[42]], 1);
constraint int_lin_le([1, 1], [x[36], x[43]], 1);
constraint int_lin_le([1, 1], [x[36], x[48]], 1);
constraint int_lin_le([1, 1], [x[36], x[50]], 1);
constraint int_lin_le([1, 1], [x[37], x[38]], 1);
constraint int_lin_le([1, 1], [x[37], x[41]], 1);
constraint int_lin_le([1, 1], [x[37], x[43]], 1);
constraint int_lin_le([1, 1], [x[37], x[46]], 1);
constraint int_lin_le([1, 1], [x[37], x[47]], 1);
constraint int_lin_le([1, 1], [x[37], x[48]], 1);
constraint int_lin_le([1, 1], [x[37], x[49]], 1);
constraint int_lin_le([1, 1], [x[37], x[50]], 1);
constraint int_lin_le([1, 1], [x[38], x[41]], 1);
constraint int_lin_le([1, 1], [x[38], x[45]], 1);
constraint int_lin_le([1, 1], [x[38], x[46]], 1);
constraint int_lin_le([1, 1], [x[38], x[48]], 1);
constraint int_lin_le([1, 1], [x[38], x[49]], 1);
constraint int_lin_le([1, 1], [x[38], x[50]], 1);
constraint int_lin_le([1, 1], [x[39], x[43]], 1);
constraint int_lin_le([1, 1], [x[39], x[46]], 1);
constraint int_lin_le([1, 1], [x[39], x[47]], 1);
constraint int_lin_le([1, 1], [x[39], x[48]], 1);
constraint int_lin_le([1, 1], [x[39], x[49]], 1);
constraint int_lin_le([1, 1], [x[40], x[43]], 1);
constraint int_lin_le([1, 1], [x[40], x[45]], 1);
constraint int_lin_le([1, 1], [x[40], x[48]], 1);
constraint int_lin_le([1, 1], [x[40], x[50]], 1);
constraint int_lin_le([1, 1], [x[41], x[42]], 1);
constraint int_lin_le([1, 1], [x[41], x[43]], 1);
constraint int_lin_le([1, 1], [x[41], x[44]], 1);
constraint int_lin_le([1, 1], [x[41], x[45]], 1);
constraint int_lin_le([1, 1], [x[41], x[46]], 1);
constraint int_lin_le([1, 1], [x[41], x[48]], 1);
constraint int_lin_le([1, 1], [x[41], x[49]], 1);
constraint int_lin_le([1, 1], [x[42], x[43]], 1);
constraint int_lin_le([1, 1], [x[42], x[44]], 1);
constraint int_lin_le([1, 1], [x[42], x[46]], 1);
constraint int_lin_le([1, 1], [x[42], x[48]], 1);
constraint int_lin_le([1, 1], [x[42], x[49]], 1);
constraint int_lin_le([1, 1], [x[43], x[45]], 1);
constraint int_lin_le([1, 1], [x[43], x[46]], 1);
constraint int_lin_le([1, 1], [x[43], x[48]], 1);
constraint int_lin_le([1, 1], [x[43], x[50]], 1);
constraint int_lin_le([1, 1], [x[44], x[45]], 1);
constraint int_lin_le([1, 1], [x[44], x[48]], 1);
constraint int_lin_le([1, 1], [x[45], x[46]], 1);
constraint int_lin_le([1, 1], [x[45], x[47]], 1);
constraint int_lin_le([1, 1], [x[45], x[48]], 1);
constraint int_lin_le([1, 1], [x[46], x[49]], 1);
constraint int_lin_le([1, 1], [x[47], x[49]], 1);
constraint int_lin_le([1, 1], [x[47], x[50]], 1);
constraint int_lin_le([1, 1], [x[48], x[49]], 1);
constraint int_lin_le([1, 1], [x[48], x[50]], 1);
constraint int_lin_le([1, 1], [x[49], x[50]], 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]], first_fail, indomain_max, complete) maximize INT____00001;