array [1..36] of int: p = [3, 6, 1, 7, 6, 3, 10, 8, 5, 4, 10, 10, 9, 1, 5, 4, 7, 8, 5, 5, 5, 3, 8, 9, 3, 3, 9, 1, 5, 4, 10, 3, 1, 3, 4, 9];
array [1..36] of int: sigma = [3, 1, 2, 4, 6, 5, 2, 3, 5, 6, 1, 4, 3, 4, 6, 1, 2, 5, 2, 1, 3, 4, 5, 6, 3, 2, 5, 6, 1, 4, 2, 4, 6, 1, 5, 3];
var 197..197: K = 197;
array [1..216] of var 0..1: Y :: output_array([1..6, 1..6, 1..6]);
array [1..36] of var int: x :: output_array([1..6, 1..6]);
var 0..197: z :: output_var;
constraint int_le(0, x[1]);
constraint int_le(0, x[2]);
constraint int_le(0, x[3]);
constraint int_le(0, x[4]);
constraint int_le(0, x[5]);
constraint int_le(0, x[6]);
constraint int_le(0, x[7]);
constraint int_le(0, x[8]);
constraint int_le(0, x[9]);
constraint int_le(0, x[10]);
constraint int_le(0, x[11]);
constraint int_le(0, x[12]);
constraint int_le(0, x[13]);
constraint int_le(0, x[14]);
constraint int_le(0, x[15]);
constraint int_le(0, x[16]);
constraint int_le(0, x[17]);
constraint int_le(0, x[18]);
constraint int_le(0, x[19]);
constraint int_le(0, x[20]);
constraint int_le(0, x[21]);
constraint int_le(0, x[22]);
constraint int_le(0, x[23]);
constraint int_le(0, x[24]);
constraint int_le(0, x[25]);
constraint int_le(0, x[26]);
constraint int_le(0, x[27]);
constraint int_le(0, x[28]);
constraint int_le(0, x[29]);
constraint int_le(0, x[30]);
constraint int_le(0, x[31]);
constraint int_le(0, x[32]);
constraint int_le(0, x[33]);
constraint int_le(0, x[34]);
constraint int_le(0, x[35]);
constraint int_le(0, x[36]);
constraint int_le(x[1], 197);
constraint int_le(x[2], 197);
constraint int_le(x[3], 197);
constraint int_le(x[4], 197);
constraint int_le(x[5], 197);
constraint int_le(x[6], 197);
constraint int_le(x[7], 197);
constraint int_le(x[8], 197);
constraint int_le(x[9], 197);
constraint int_le(x[10], 197);
constraint int_le(x[11], 197);
constraint int_le(x[12], 197);
constraint int_le(x[13], 197);
constraint int_le(x[14], 197);
constraint int_le(x[15], 197);
constraint int_le(x[16], 197);
constraint int_le(x[17], 197);
constraint int_le(x[18], 197);
constraint int_le(x[19], 197);
constraint int_le(x[20], 197);
constraint int_le(x[21], 197);
constraint int_le(x[22], 197);
constraint int_le(x[23], 197);
constraint int_le(x[24], 197);
constraint int_le(x[25], 197);
constraint int_le(x[26], 197);
constraint int_le(x[27], 197);
constraint int_le(x[28], 197);
constraint int_le(x[29], 197);
constraint int_le(x[30], 197);
constraint int_le(x[31], 197);
constraint int_le(x[32], 197);
constraint int_le(x[33], 197);
constraint int_le(x[34], 197);
constraint int_le(x[35], 197);
constraint int_le(x[36], 197);
constraint int_lin_le([-1, 1], [z, x[5]], -6);
constraint int_lin_le([-1, 1], [z, x[10]], -4);
constraint int_lin_le([-1, 1], [z, x[17]], -7);
constraint int_lin_le([-1, 1], [z, x[24]], -9);
constraint int_lin_le([-1, 1], [z, x[28]], -1);
constraint int_lin_le([-1, 1], [z, x[33]], -1);
constraint int_lin_le([-1, 1], [x[1], x[3]], -1);
constraint int_lin_le([-1, 1], [x[5], x[6]], -3);
constraint int_lin_le([-1, 1], [x[7], x[12]], -10);
constraint int_lin_le([-1, 1], [x[13], x[18]], -8);
constraint int_lin_le([-1, 1], [x[19], x[20]], -5);
constraint int_lin_le([-1, 1], [x[25], x[30]], -4);
constraint int_lin_le([-1, 1], [x[26], x[27]], -9);
constraint int_lin_le([-1, 1], [x[31], x[36]], -9);
constraint int_lin_le([-1, 1], [x[33], x[35]], -4);
constraint int_lin_le([1, -1], [x[1], x[2]], -3);
constraint int_lin_le([1, -1], [x[2], x[4]], -6);
constraint int_lin_le([1, -1], [x[4], x[6]], -7);
constraint int_lin_le([1, -1], [x[7], x[10]], -10);
constraint int_lin_le([1, -1], [x[8], x[9]], -8);
constraint int_lin_le([1, -1], [x[9], x[11]], -5);
constraint int_lin_le([1, -1], [x[11], x[12]], -10);
constraint int_lin_le([1, -1], [x[13], x[14]], -9);
constraint int_lin_le([1, -1], [x[14], x[17]], -1);
constraint int_lin_le([1, -1], [x[15], x[16]], -5);
constraint int_lin_le([1, -1], [x[16], x[18]], -4);
constraint int_lin_le([1, -1], [x[19], x[21]], -5);
constraint int_lin_le([1, -1], [x[21], x[22]], -5);
constraint int_lin_le([1, -1], [x[22], x[23]], -3);
constraint int_lin_le([1, -1], [x[23], x[24]], -8);
constraint int_lin_le([1, -1], [x[25], x[28]], -3);
constraint int_lin_le([1, -1], [x[26], x[29]], -3);
constraint int_lin_le([1, -1], [x[29], x[30]], -5);
constraint int_lin_le([1, -1], [x[31], x[35]], -10);
constraint int_lin_le([1, -1], [x[32], x[34]], -3);
constraint int_lin_le([1, -1], [x[34], x[36]], -3);
constraint int_lin_le([-197, -1, 1], [Y[7], x[1], x[7]], -10);
constraint int_lin_le([-197, -1, 1], [Y[8], x[2], x[8]], -8);
constraint int_lin_le([-197, -1, 1], [Y[9], x[3], x[9]], -5);
constraint int_lin_le([-197, -1, 1], [Y[10], x[4], x[10]], -4);
constraint int_lin_le([-197, -1, 1], [Y[11], x[5], x[11]], -10);
constraint int_lin_le([-197, -1, 1], [Y[12], x[6], x[12]], -10);
constraint int_lin_le([-197, -1, 1], [Y[13], x[1], x[13]], -9);
constraint int_lin_le([-197, -1, 1], [Y[14], x[2], x[14]], -1);
constraint int_lin_le([-197, -1, 1], [Y[15], x[3], x[15]], -5);
constraint int_lin_le([-197, -1, 1], [Y[16], x[4], x[16]], -4);
constraint int_lin_le([-197, -1, 1], [Y[17], x[5], x[17]], -7);
constraint int_lin_le([-197, -1, 1], [Y[18], x[6], x[18]], -8);
constraint int_lin_le([-197, -1, 1], [Y[19], x[1], x[19]], -5);
constraint int_lin_le([-197, -1, 1], [Y[20], x[2], x[20]], -5);
constraint int_lin_le([-197, -1, 1], [Y[21], x[3], x[21]], -5);
constraint int_lin_le([-197, -1, 1], [Y[22], x[4], x[22]], -3);
constraint int_lin_le([-197, -1, 1], [Y[23], x[5], x[23]], -8);
constraint int_lin_le([-197, -1, 1], [Y[24], x[6], x[24]], -9);
constraint int_lin_le([-197, -1, 1], [Y[25], x[1], x[25]], -3);
constraint int_lin_le([-197, -1, 1], [Y[26], x[2], x[26]], -3);
constraint int_lin_le([-197, -1, 1], [Y[27], x[3], x[27]], -9);
constraint int_lin_le([-197, -1, 1], [Y[28], x[4], x[28]], -1);
constraint int_lin_le([-197, -1, 1], [Y[29], x[5], x[29]], -5);
constraint int_lin_le([-197, -1, 1], [Y[30], x[6], x[30]], -4);
constraint int_lin_le([-197, -1, 1], [Y[31], x[1], x[31]], -10);
constraint int_lin_le([-197, -1, 1], [Y[32], x[2], x[32]], -3);
constraint int_lin_le([-197, -1, 1], [Y[33], x[3], x[33]], -1);
constraint int_lin_le([-197, -1, 1], [Y[34], x[4], x[34]], -3);
constraint int_lin_le([-197, -1, 1], [Y[35], x[5], x[35]], -4);
constraint int_lin_le([-197, -1, 1], [Y[36], x[6], x[36]], -9);
constraint int_lin_le([-197, -1, 1], [Y[49], x[7], x[13]], -9);
constraint int_lin_le([-197, -1, 1], [Y[50], x[8], x[14]], -1);
constraint int_lin_le([-197, -1, 1], [Y[51], x[9], x[15]], -5);
constraint int_lin_le([-197, -1, 1], [Y[52], x[10], x[16]], -4);
constraint int_lin_le([-197, -1, 1], [Y[53], x[11], x[17]], -7);
constraint int_lin_le([-197, -1, 1], [Y[54], x[12], x[18]], -8);
constraint int_lin_le([-197, -1, 1], [Y[55], x[7], x[19]], -5);
constraint int_lin_le([-197, -1, 1], [Y[56], x[8], x[20]], -5);
constraint int_lin_le([-197, -1, 1], [Y[57], x[9], x[21]], -5);
constraint int_lin_le([-197, -1, 1], [Y[58], x[10], x[22]], -3);
constraint int_lin_le([-197, -1, 1], [Y[59], x[11], x[23]], -8);
constraint int_lin_le([-197, -1, 1], [Y[60], x[12], x[24]], -9);
constraint int_lin_le([-197, -1, 1], [Y[61], x[7], x[25]], -3);
constraint int_lin_le([-197, -1, 1], [Y[62], x[8], x[26]], -3);
constraint int_lin_le([-197, -1, 1], [Y[63], x[9], x[27]], -9);
constraint int_lin_le([-197, -1, 1], [Y[64], x[10], x[28]], -1);
constraint int_lin_le([-197, -1, 1], [Y[65], x[11], x[29]], -5);
constraint int_lin_le([-197, -1, 1], [Y[66], x[12], x[30]], -4);
constraint int_lin_le([-197, -1, 1], [Y[67], x[7], x[31]], -10);
constraint int_lin_le([-197, -1, 1], [Y[68], x[8], x[32]], -3);
constraint int_lin_le([-197, -1, 1], [Y[69], x[9], x[33]], -1);
constraint int_lin_le([-197, -1, 1], [Y[70], x[10], x[34]], -3);
constraint int_lin_le([-197, -1, 1], [Y[71], x[11], x[35]], -4);
constraint int_lin_le([-197, -1, 1], [Y[72], x[12], x[36]], -9);
constraint int_lin_le([-197, -1, 1], [Y[91], x[13], x[19]], -5);
constraint int_lin_le([-197, -1, 1], [Y[92], x[14], x[20]], -5);
constraint int_lin_le([-197, -1, 1], [Y[93], x[15], x[21]], -5);
constraint int_lin_le([-197, -1, 1], [Y[94], x[16], x[22]], -3);
constraint int_lin_le([-197, -1, 1], [Y[95], x[17], x[23]], -8);
constraint int_lin_le([-197, -1, 1], [Y[96], x[18], x[24]], -9);
constraint int_lin_le([-197, -1, 1], [Y[97], x[13], x[25]], -3);
constraint int_lin_le([-197, -1, 1], [Y[98], x[14], x[26]], -3);
constraint int_lin_le([-197, -1, 1], [Y[99], x[15], x[27]], -9);
constraint int_lin_le([-197, -1, 1], [Y[100], x[16], x[28]], -1);
constraint int_lin_le([-197, -1, 1], [Y[101], x[17], x[29]], -5);
constraint int_lin_le([-197, -1, 1], [Y[102], x[18], x[30]], -4);
constraint int_lin_le([-197, -1, 1], [Y[103], x[13], x[31]], -10);
constraint int_lin_le([-197, -1, 1], [Y[104], x[14], x[32]], -3);
constraint int_lin_le([-197, -1, 1], [Y[105], x[15], x[33]], -1);
constraint int_lin_le([-197, -1, 1], [Y[106], x[16], x[34]], -3);
constraint int_lin_le([-197, -1, 1], [Y[107], x[17], x[35]], -4);
constraint int_lin_le([-197, -1, 1], [Y[108], x[18], x[36]], -9);
constraint int_lin_le([-197, -1, 1], [Y[133], x[19], x[25]], -3);
constraint int_lin_le([-197, -1, 1], [Y[134], x[20], x[26]], -3);
constraint int_lin_le([-197, -1, 1], [Y[135], x[21], x[27]], -9);
constraint int_lin_le([-197, -1, 1], [Y[136], x[22], x[28]], -1);
constraint int_lin_le([-197, -1, 1], [Y[137], x[23], x[29]], -5);
constraint int_lin_le([-197, -1, 1], [Y[138], x[24], x[30]], -4);
constraint int_lin_le([-197, -1, 1], [Y[139], x[19], x[31]], -10);
constraint int_lin_le([-197, -1, 1], [Y[140], x[20], x[32]], -3);
constraint int_lin_le([-197, -1, 1], [Y[141], x[21], x[33]], -1);
constraint int_lin_le([-197, -1, 1], [Y[142], x[22], x[34]], -3);
constraint int_lin_le([-197, -1, 1], [Y[143], x[23], x[35]], -4);
constraint int_lin_le([-197, -1, 1], [Y[144], x[24], x[36]], -9);
constraint int_lin_le([-197, -1, 1], [Y[175], x[25], x[31]], -10);
constraint int_lin_le([-197, -1, 1], [Y[176], x[26], x[32]], -3);
constraint int_lin_le([-197, -1, 1], [Y[177], x[27], x[33]], -1);
constraint int_lin_le([-197, -1, 1], [Y[178], x[28], x[34]], -3);
constraint int_lin_le([-197, -1, 1], [Y[179], x[29], x[35]], -4);
constraint int_lin_le([-197, -1, 1], [Y[180], x[30], x[36]], -9);
constraint int_lin_le([-197, 1, -1], [Y[37], x[1], x[7]], -3);
constraint int_lin_le([-197, 1, -1], [Y[38], x[2], x[8]], -6);
constraint int_lin_le([-197, 1, -1], [Y[39], x[3], x[9]], -1);
constraint int_lin_le([-197, 1, -1], [Y[40], x[4], x[10]], -7);
constraint int_lin_le([-197, 1, -1], [Y[41], x[5], x[11]], -6);
constraint int_lin_le([-197, 1, -1], [Y[42], x[6], x[12]], -3);
constraint int_lin_le([-197, 1, -1], [Y[73], x[1], x[13]], -3);
constraint int_lin_le([-197, 1, -1], [Y[74], x[2], x[14]], -6);
constraint int_lin_le([-197, 1, -1], [Y[75], x[3], x[15]], -1);
constraint int_lin_le([-197, 1, -1], [Y[76], x[4], x[16]], -7);
constraint int_lin_le([-197, 1, -1], [Y[77], x[5], x[17]], -6);
constraint int_lin_le([-197, 1, -1], [Y[78], x[6], x[18]], -3);
constraint int_lin_le([-197, 1, -1], [Y[79], x[7], x[13]], -10);
constraint int_lin_le([-197, 1, -1], [Y[80], x[8], x[14]], -8);
constraint int_lin_le([-197, 1, -1], [Y[81], x[9], x[15]], -5);
constraint int_lin_le([-197, 1, -1], [Y[82], x[10], x[16]], -4);
constraint int_lin_le([-197, 1, -1], [Y[83], x[11], x[17]], -10);
constraint int_lin_le([-197, 1, -1], [Y[84], x[12], x[18]], -10);
constraint int_lin_le([-197, 1, -1], [Y[109], x[1], x[19]], -3);
constraint int_lin_le([-197, 1, -1], [Y[110], x[2], x[20]], -6);
constraint int_lin_le([-197, 1, -1], [Y[111], x[3], x[21]], -1);
constraint int_lin_le([-197, 1, -1], [Y[112], x[4], x[22]], -7);
constraint int_lin_le([-197, 1, -1], [Y[113], x[5], x[23]], -6);
constraint int_lin_le([-197, 1, -1], [Y[114], x[6], x[24]], -3);
constraint int_lin_le([-197, 1, -1], [Y[115], x[7], x[19]], -10);
constraint int_lin_le([-197, 1, -1], [Y[116], x[8], x[20]], -8);
constraint int_lin_le([-197, 1, -1], [Y[117], x[9], x[21]], -5);
constraint int_lin_le([-197, 1, -1], [Y[118], x[10], x[22]], -4);
constraint int_lin_le([-197, 1, -1], [Y[119], x[11], x[23]], -10);
constraint int_lin_le([-197, 1, -1], [Y[120], x[12], x[24]], -10);
constraint int_lin_le([-197, 1, -1], [Y[121], x[13], x[19]], -9);
constraint int_lin_le([-197, 1, -1], [Y[122], x[14], x[20]], -1);
constraint int_lin_le([-197, 1, -1], [Y[123], x[15], x[21]], -5);
constraint int_lin_le([-197, 1, -1], [Y[124], x[16], x[22]], -4);
constraint int_lin_le([-197, 1, -1], [Y[125], x[17], x[23]], -7);
constraint int_lin_le([-197, 1, -1], [Y[126], x[18], x[24]], -8);
constraint int_lin_le([-197, 1, -1], [Y[145], x[1], x[25]], -3);
constraint int_lin_le([-197, 1, -1], [Y[146], x[2], x[26]], -6);
constraint int_lin_le([-197, 1, -1], [Y[147], x[3], x[27]], -1);
constraint int_lin_le([-197, 1, -1], [Y[148], x[4], x[28]], -7);
constraint int_lin_le([-197, 1, -1], [Y[149], x[5], x[29]], -6);
constraint int_lin_le([-197, 1, -1], [Y[150], x[6], x[30]], -3);
constraint int_lin_le([-197, 1, -1], [Y[151], x[7], x[25]], -10);
constraint int_lin_le([-197, 1, -1], [Y[152], x[8], x[26]], -8);
constraint int_lin_le([-197, 1, -1], [Y[153], x[9], x[27]], -5);
constraint int_lin_le([-197, 1, -1], [Y[154], x[10], x[28]], -4);
constraint int_lin_le([-197, 1, -1], [Y[155], x[11], x[29]], -10);
constraint int_lin_le([-197, 1, -1], [Y[156], x[12], x[30]], -10);
constraint int_lin_le([-197, 1, -1], [Y[157], x[13], x[25]], -9);
constraint int_lin_le([-197, 1, -1], [Y[158], x[14], x[26]], -1);
constraint int_lin_le([-197, 1, -1], [Y[159], x[15], x[27]], -5);
constraint int_lin_le([-197, 1, -1], [Y[160], x[16], x[28]], -4);
constraint int_lin_le([-197, 1, -1], [Y[161], x[17], x[29]], -7);
constraint int_lin_le([-197, 1, -1], [Y[162], x[18], x[30]], -8);
constraint int_lin_le([-197, 1, -1], [Y[163], x[19], x[25]], -5);
constraint int_lin_le([-197, 1, -1], [Y[164], x[20], x[26]], -5);
constraint int_lin_le([-197, 1, -1], [Y[165], x[21], x[27]], -5);
constraint int_lin_le([-197, 1, -1], [Y[166], x[22], x[28]], -3);
constraint int_lin_le([-197, 1, -1], [Y[167], x[23], x[29]], -8);
constraint int_lin_le([-197, 1, -1], [Y[168], x[24], x[30]], -9);
constraint int_lin_le([-197, 1, -1], [Y[181], x[1], x[31]], -3);
constraint int_lin_le([-197, 1, -1], [Y[182], x[2], x[32]], -6);
constraint int_lin_le([-197, 1, -1], [Y[183], x[3], x[33]], -1);
constraint int_lin_le([-197, 1, -1], [Y[184], x[4], x[34]], -7);
constraint int_lin_le([-197, 1, -1], [Y[185], x[5], x[35]], -6);
constraint int_lin_le([-197, 1, -1], [Y[186], x[6], x[36]], -3);
constraint int_lin_le([-197, 1, -1], [Y[187], x[7], x[31]], -10);
constraint int_lin_le([-197, 1, -1], [Y[188], x[8], x[32]], -8);
constraint int_lin_le([-197, 1, -1], [Y[189], x[9], x[33]], -5);
constraint int_lin_le([-197, 1, -1], [Y[190], x[10], x[34]], -4);
constraint int_lin_le([-197, 1, -1], [Y[191], x[11], x[35]], -10);
constraint int_lin_le([-197, 1, -1], [Y[192], x[12], x[36]], -10);
constraint int_lin_le([-197, 1, -1], [Y[193], x[13], x[31]], -9);
constraint int_lin_le([-197, 1, -1], [Y[194], x[14], x[32]], -1);
constraint int_lin_le([-197, 1, -1], [Y[195], x[15], x[33]], -5);
constraint int_lin_le([-197, 1, -1], [Y[196], x[16], x[34]], -4);
constraint int_lin_le([-197, 1, -1], [Y[197], x[17], x[35]], -7);
constraint int_lin_le([-197, 1, -1], [Y[198], x[18], x[36]], -8);
constraint int_lin_le([-197, 1, -1], [Y[199], x[19], x[31]], -5);
constraint int_lin_le([-197, 1, -1], [Y[200], x[20], x[32]], -5);
constraint int_lin_le([-197, 1, -1], [Y[201], x[21], x[33]], -5);
constraint int_lin_le([-197, 1, -1], [Y[202], x[22], x[34]], -3);
constraint int_lin_le([-197, 1, -1], [Y[203], x[23], x[35]], -8);
constraint int_lin_le([-197, 1, -1], [Y[204], x[24], x[36]], -9);
constraint int_lin_le([-197, 1, -1], [Y[205], x[25], x[31]], -3);
constraint int_lin_le([-197, 1, -1], [Y[206], x[26], x[32]], -3);
constraint int_lin_le([-197, 1, -1], [Y[207], x[27], x[33]], -9);
constraint int_lin_le([-197, 1, -1], [Y[208], x[28], x[34]], -1);
constraint int_lin_le([-197, 1, -1], [Y[209], x[29], x[35]], -5);
constraint int_lin_le([-197, 1, -1], [Y[210], x[30], x[36]], -4);
constraint int_lin_le([197, -1, 1], [Y[37], x[1], x[7]], 187);
constraint int_lin_le([197, -1, 1], [Y[38], x[2], x[8]], 189);
constraint int_lin_le([197, -1, 1], [Y[39], x[3], x[9]], 192);
constraint int_lin_le([197, -1, 1], [Y[40], x[4], x[10]], 193);
constraint int_lin_le([197, -1, 1], [Y[41], x[5], x[11]], 187);
constraint int_lin_le([197, -1, 1], [Y[42], x[6], x[12]], 187);
constraint int_lin_le([197, -1, 1], [Y[73], x[1], x[13]], 188);
constraint int_lin_le([197, -1, 1], [Y[74], x[2], x[14]], 196);
constraint int_lin_le([197, -1, 1], [Y[75], x[3], x[15]], 192);
constraint int_lin_le([197, -1, 1], [Y[76], x[4], x[16]], 193);
constraint int_lin_le([197, -1, 1], [Y[77], x[5], x[17]], 190);
constraint int_lin_le([197, -1, 1], [Y[78], x[6], x[18]], 189);
constraint int_lin_le([197, -1, 1], [Y[79], x[7], x[13]], 188);
constraint int_lin_le([197, -1, 1], [Y[80], x[8], x[14]], 196);
constraint int_lin_le([197, -1, 1], [Y[81], x[9], x[15]], 192);
constraint int_lin_le([197, -1, 1], [Y[82], x[10], x[16]], 193);
constraint int_lin_le([197, -1, 1], [Y[83], x[11], x[17]], 190);
constraint int_lin_le([197, -1, 1], [Y[84], x[12], x[18]], 189);
constraint int_lin_le([197, -1, 1], [Y[109], x[1], x[19]], 192);
constraint int_lin_le([197, -1, 1], [Y[110], x[2], x[20]], 192);
constraint int_lin_le([197, -1, 1], [Y[111], x[3], x[21]], 192);
constraint int_lin_le([197, -1, 1], [Y[112], x[4], x[22]], 194);
constraint int_lin_le([197, -1, 1], [Y[113], x[5], x[23]], 189);
constraint int_lin_le([197, -1, 1], [Y[114], x[6], x[24]], 188);
constraint int_lin_le([197, -1, 1], [Y[115], x[7], x[19]], 192);
constraint int_lin_le([197, -1, 1], [Y[116], x[8], x[20]], 192);
constraint int_lin_le([197, -1, 1], [Y[117], x[9], x[21]], 192);
constraint int_lin_le([197, -1, 1], [Y[118], x[10], x[22]], 194);
constraint int_lin_le([197, -1, 1], [Y[119], x[11], x[23]], 189);
constraint int_lin_le([197, -1, 1], [Y[120], x[12], x[24]], 188);
constraint int_lin_le([197, -1, 1], [Y[121], x[13], x[19]], 192);
constraint int_lin_le([197, -1, 1], [Y[122], x[14], x[20]], 192);
constraint int_lin_le([197, -1, 1], [Y[123], x[15], x[21]], 192);
constraint int_lin_le([197, -1, 1], [Y[124], x[16], x[22]], 194);
constraint int_lin_le([197, -1, 1], [Y[125], x[17], x[23]], 189);
constraint int_lin_le([197, -1, 1], [Y[126], x[18], x[24]], 188);
constraint int_lin_le([197, -1, 1], [Y[145], x[1], x[25]], 194);
constraint int_lin_le([197, -1, 1], [Y[146], x[2], x[26]], 194);
constraint int_lin_le([197, -1, 1], [Y[147], x[3], x[27]], 188);
constraint int_lin_le([197, -1, 1], [Y[148], x[4], x[28]], 196);
constraint int_lin_le([197, -1, 1], [Y[149], x[5], x[29]], 192);
constraint int_lin_le([197, -1, 1], [Y[150], x[6], x[30]], 193);
constraint int_lin_le([197, -1, 1], [Y[151], x[7], x[25]], 194);
constraint int_lin_le([197, -1, 1], [Y[152], x[8], x[26]], 194);
constraint int_lin_le([197, -1, 1], [Y[153], x[9], x[27]], 188);
constraint int_lin_le([197, -1, 1], [Y[154], x[10], x[28]], 196);
constraint int_lin_le([197, -1, 1], [Y[155], x[11], x[29]], 192);
constraint int_lin_le([197, -1, 1], [Y[156], x[12], x[30]], 193);
constraint int_lin_le([197, -1, 1], [Y[157], x[13], x[25]], 194);
constraint int_lin_le([197, -1, 1], [Y[158], x[14], x[26]], 194);
constraint int_lin_le([197, -1, 1], [Y[159], x[15], x[27]], 188);
constraint int_lin_le([197, -1, 1], [Y[160], x[16], x[28]], 196);
constraint int_lin_le([197, -1, 1], [Y[161], x[17], x[29]], 192);
constraint int_lin_le([197, -1, 1], [Y[162], x[18], x[30]], 193);
constraint int_lin_le([197, -1, 1], [Y[163], x[19], x[25]], 194);
constraint int_lin_le([197, -1, 1], [Y[164], x[20], x[26]], 194);
constraint int_lin_le([197, -1, 1], [Y[165], x[21], x[27]], 188);
constraint int_lin_le([197, -1, 1], [Y[166], x[22], x[28]], 196);
constraint int_lin_le([197, -1, 1], [Y[167], x[23], x[29]], 192);
constraint int_lin_le([197, -1, 1], [Y[168], x[24], x[30]], 193);
constraint int_lin_le([197, -1, 1], [Y[181], x[1], x[31]], 187);
constraint int_lin_le([197, -1, 1], [Y[182], x[2], x[32]], 194);
constraint int_lin_le([197, -1, 1], [Y[183], x[3], x[33]], 196);
constraint int_lin_le([197, -1, 1], [Y[184], x[4], x[34]], 194);
constraint int_lin_le([197, -1, 1], [Y[185], x[5], x[35]], 193);
constraint int_lin_le([197, -1, 1], [Y[186], x[6], x[36]], 188);
constraint int_lin_le([197, -1, 1], [Y[187], x[7], x[31]], 187);
constraint int_lin_le([197, -1, 1], [Y[188], x[8], x[32]], 194);
constraint int_lin_le([197, -1, 1], [Y[189], x[9], x[33]], 196);
constraint int_lin_le([197, -1, 1], [Y[190], x[10], x[34]], 194);
constraint int_lin_le([197, -1, 1], [Y[191], x[11], x[35]], 193);
constraint int_lin_le([197, -1, 1], [Y[192], x[12], x[36]], 188);
constraint int_lin_le([197, -1, 1], [Y[193], x[13], x[31]], 187);
constraint int_lin_le([197, -1, 1], [Y[194], x[14], x[32]], 194);
constraint int_lin_le([197, -1, 1], [Y[195], x[15], x[33]], 196);
constraint int_lin_le([197, -1, 1], [Y[196], x[16], x[34]], 194);
constraint int_lin_le([197, -1, 1], [Y[197], x[17], x[35]], 193);
constraint int_lin_le([197, -1, 1], [Y[198], x[18], x[36]], 188);
constraint int_lin_le([197, -1, 1], [Y[199], x[19], x[31]], 187);
constraint int_lin_le([197, -1, 1], [Y[200], x[20], x[32]], 194);
constraint int_lin_le([197, -1, 1], [Y[201], x[21], x[33]], 196);
constraint int_lin_le([197, -1, 1], [Y[202], x[22], x[34]], 194);
constraint int_lin_le([197, -1, 1], [Y[203], x[23], x[35]], 193);
constraint int_lin_le([197, -1, 1], [Y[204], x[24], x[36]], 188);
constraint int_lin_le([197, -1, 1], [Y[205], x[25], x[31]], 187);
constraint int_lin_le([197, -1, 1], [Y[206], x[26], x[32]], 194);
constraint int_lin_le([197, -1, 1], [Y[207], x[27], x[33]], 196);
constraint int_lin_le([197, -1, 1], [Y[208], x[28], x[34]], 194);
constraint int_lin_le([197, -1, 1], [Y[209], x[29], x[35]], 193);
constraint int_lin_le([197, -1, 1], [Y[210], x[30], x[36]], 188);
constraint int_lin_le([197, 1, -1], [Y[7], x[1], x[7]], 194);
constraint int_lin_le([197, 1, -1], [Y[8], x[2], x[8]], 191);
constraint int_lin_le([197, 1, -1], [Y[9], x[3], x[9]], 196);
constraint int_lin_le([197, 1, -1], [Y[10], x[4], x[10]], 190);
constraint int_lin_le([197, 1, -1], [Y[11], x[5], x[11]], 191);
constraint int_lin_le([197, 1, -1], [Y[12], x[6], x[12]], 194);
constraint int_lin_le([197, 1, -1], [Y[13], x[1], x[13]], 194);
constraint int_lin_le([197, 1, -1], [Y[14], x[2], x[14]], 191);
constraint int_lin_le([197, 1, -1], [Y[15], x[3], x[15]], 196);
constraint int_lin_le([197, 1, -1], [Y[16], x[4], x[16]], 190);
constraint int_lin_le([197, 1, -1], [Y[17], x[5], x[17]], 191);
constraint int_lin_le([197, 1, -1], [Y[18], x[6], x[18]], 194);
constraint int_lin_le([197, 1, -1], [Y[19], x[1], x[19]], 194);
constraint int_lin_le([197, 1, -1], [Y[20], x[2], x[20]], 191);
constraint int_lin_le([197, 1, -1], [Y[21], x[3], x[21]], 196);
constraint int_lin_le([197, 1, -1], [Y[22], x[4], x[22]], 190);
constraint int_lin_le([197, 1, -1], [Y[23], x[5], x[23]], 191);
constraint int_lin_le([197, 1, -1], [Y[24], x[6], x[24]], 194);
constraint int_lin_le([197, 1, -1], [Y[25], x[1], x[25]], 194);
constraint int_lin_le([197, 1, -1], [Y[26], x[2], x[26]], 191);
constraint int_lin_le([197, 1, -1], [Y[27], x[3], x[27]], 196);
constraint int_lin_le([197, 1, -1], [Y[28], x[4], x[28]], 190);
constraint int_lin_le([197, 1, -1], [Y[29], x[5], x[29]], 191);
constraint int_lin_le([197, 1, -1], [Y[30], x[6], x[30]], 194);
constraint int_lin_le([197, 1, -1], [Y[31], x[1], x[31]], 194);
constraint int_lin_le([197, 1, -1], [Y[32], x[2], x[32]], 191);
constraint int_lin_le([197, 1, -1], [Y[33], x[3], x[33]], 196);
constraint int_lin_le([197, 1, -1], [Y[34], x[4], x[34]], 190);
constraint int_lin_le([197, 1, -1], [Y[35], x[5], x[35]], 191);
constraint int_lin_le([197, 1, -1], [Y[36], x[6], x[36]], 194);
constraint int_lin_le([197, 1, -1], [Y[49], x[7], x[13]], 187);
constraint int_lin_le([197, 1, -1], [Y[50], x[8], x[14]], 189);
constraint int_lin_le([197, 1, -1], [Y[51], x[9], x[15]], 192);
constraint int_lin_le([197, 1, -1], [Y[52], x[10], x[16]], 193);
constraint int_lin_le([197, 1, -1], [Y[53], x[11], x[17]], 187);
constraint int_lin_le([197, 1, -1], [Y[54], x[12], x[18]], 187);
constraint int_lin_le([197, 1, -1], [Y[55], x[7], x[19]], 187);
constraint int_lin_le([197, 1, -1], [Y[56], x[8], x[20]], 189);
constraint int_lin_le([197, 1, -1], [Y[57], x[9], x[21]], 192);
constraint int_lin_le([197, 1, -1], [Y[58], x[10], x[22]], 193);
constraint int_lin_le([197, 1, -1], [Y[59], x[11], x[23]], 187);
constraint int_lin_le([197, 1, -1], [Y[60], x[12], x[24]], 187);
constraint int_lin_le([197, 1, -1], [Y[61], x[7], x[25]], 187);
constraint int_lin_le([197, 1, -1], [Y[62], x[8], x[26]], 189);
constraint int_lin_le([197, 1, -1], [Y[63], x[9], x[27]], 192);
constraint int_lin_le([197, 1, -1], [Y[64], x[10], x[28]], 193);
constraint int_lin_le([197, 1, -1], [Y[65], x[11], x[29]], 187);
constraint int_lin_le([197, 1, -1], [Y[66], x[12], x[30]], 187);
constraint int_lin_le([197, 1, -1], [Y[67], x[7], x[31]], 187);
constraint int_lin_le([197, 1, -1], [Y[68], x[8], x[32]], 189);
constraint int_lin_le([197, 1, -1], [Y[69], x[9], x[33]], 192);
constraint int_lin_le([197, 1, -1], [Y[70], x[10], x[34]], 193);
constraint int_lin_le([197, 1, -1], [Y[71], x[11], x[35]], 187);
constraint int_lin_le([197, 1, -1], [Y[72], x[12], x[36]], 187);
constraint int_lin_le([197, 1, -1], [Y[91], x[13], x[19]], 188);
constraint int_lin_le([197, 1, -1], [Y[92], x[14], x[20]], 196);
constraint int_lin_le([197, 1, -1], [Y[93], x[15], x[21]], 192);
constraint int_lin_le([197, 1, -1], [Y[94], x[16], x[22]], 193);
constraint int_lin_le([197, 1, -1], [Y[95], x[17], x[23]], 190);
constraint int_lin_le([197, 1, -1], [Y[96], x[18], x[24]], 189);
constraint int_lin_le([197, 1, -1], [Y[97], x[13], x[25]], 188);
constraint int_lin_le([197, 1, -1], [Y[98], x[14], x[26]], 196);
constraint int_lin_le([197, 1, -1], [Y[99], x[15], x[27]], 192);
constraint int_lin_le([197, 1, -1], [Y[100], x[16], x[28]], 193);
constraint int_lin_le([197, 1, -1], [Y[101], x[17], x[29]], 190);
constraint int_lin_le([197, 1, -1], [Y[102], x[18], x[30]], 189);
constraint int_lin_le([197, 1, -1], [Y[103], x[13], x[31]], 188);
constraint int_lin_le([197, 1, -1], [Y[104], x[14], x[32]], 196);
constraint int_lin_le([197, 1, -1], [Y[105], x[15], x[33]], 192);
constraint int_lin_le([197, 1, -1], [Y[106], x[16], x[34]], 193);
constraint int_lin_le([197, 1, -1], [Y[107], x[17], x[35]], 190);
constraint int_lin_le([197, 1, -1], [Y[108], x[18], x[36]], 189);
constraint int_lin_le([197, 1, -1], [Y[133], x[19], x[25]], 192);
constraint int_lin_le([197, 1, -1], [Y[134], x[20], x[26]], 192);
constraint int_lin_le([197, 1, -1], [Y[135], x[21], x[27]], 192);
constraint int_lin_le([197, 1, -1], [Y[136], x[22], x[28]], 194);
constraint int_lin_le([197, 1, -1], [Y[137], x[23], x[29]], 189);
constraint int_lin_le([197, 1, -1], [Y[138], x[24], x[30]], 188);
constraint int_lin_le([197, 1, -1], [Y[139], x[19], x[31]], 192);
constraint int_lin_le([197, 1, -1], [Y[140], x[20], x[32]], 192);
constraint int_lin_le([197, 1, -1], [Y[141], x[21], x[33]], 192);
constraint int_lin_le([197, 1, -1], [Y[142], x[22], x[34]], 194);
constraint int_lin_le([197, 1, -1], [Y[143], x[23], x[35]], 189);
constraint int_lin_le([197, 1, -1], [Y[144], x[24], x[36]], 188);
constraint int_lin_le([197, 1, -1], [Y[175], x[25], x[31]], 194);
constraint int_lin_le([197, 1, -1], [Y[176], x[26], x[32]], 194);
constraint int_lin_le([197, 1, -1], [Y[177], x[27], x[33]], 188);
constraint int_lin_le([197, 1, -1], [Y[178], x[28], x[34]], 196);
constraint int_lin_le([197, 1, -1], [Y[179], x[29], x[35]], 192);
constraint int_lin_le([197, 1, -1], [Y[180], x[30], x[36]], 193);
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], Y[1], Y[2], Y[3], Y[4], Y[5], Y[6], Y[7], Y[8], Y[9], Y[10], Y[11], Y[12], Y[13], Y[14], Y[15], Y[16], Y[17], Y[18], Y[19], Y[20], Y[21], Y[22], Y[23], Y[24], Y[25], Y[26], Y[27], Y[28], Y[29], Y[30], Y[31], Y[32], Y[33], Y[34], Y[35], Y[36], Y[37], Y[38], Y[39], Y[40], Y[41], Y[42], Y[43], Y[44], Y[45], Y[46], Y[47], Y[48], Y[49], Y[50], Y[51], Y[52], Y[53], Y[54], Y[55], Y[56], Y[57], Y[58], Y[59], Y[60], Y[61], Y[62], Y[63], Y[64], Y[65], Y[66], Y[67], Y[68], Y[69], Y[70], Y[71], Y[72], Y[73], Y[74], Y[75], Y[76], Y[77], Y[78], Y[79], Y[80], Y[81], Y[82], Y[83], Y[84], Y[85], Y[86], Y[87], Y[88], Y[89], Y[90], Y[91], Y[92], Y[93], Y[94], Y[95], Y[96], Y[97], Y[98], Y[99], Y[100], Y[101], Y[102], Y[103], Y[104], Y[105], Y[106], Y[107], Y[108], Y[109], Y[110], Y[111], Y[112], Y[113], Y[114], Y[115], Y[116], Y[117], Y[118], Y[119], Y[120], Y[121], Y[122], Y[123], Y[124], Y[125], Y[126], Y[127], Y[128], Y[129], Y[130], Y[131], Y[132], Y[133], Y[134], Y[135], Y[136], Y[137], Y[138], Y[139], Y[140], Y[141], Y[142], Y[143], Y[144], Y[145], Y[146], Y[147], Y[148], Y[149], Y[150], Y[151], Y[152], Y[153], Y[154], Y[155], Y[156], Y[157], Y[158], Y[159], Y[160], Y[161], Y[162], Y[163], Y[164], Y[165], Y[166], Y[167], Y[168], Y[169], Y[170], Y[171], Y[172], Y[173], Y[174], Y[175], Y[176], Y[177], Y[178], Y[179], Y[180], Y[181], Y[182], Y[183], Y[184], Y[185], Y[186], Y[187], Y[188], Y[189], Y[190], Y[191], Y[192], Y[193], Y[194], Y[195], Y[196], Y[197], Y[198], Y[199], Y[200], Y[201], Y[202], Y[203], Y[204], Y[205], Y[206], Y[207], Y[208], Y[209], Y[210], Y[211], Y[212], Y[213], Y[214], Y[215], Y[216], 197, z], first_fail, indomain_min, complete) minimize z;