array [1..36] of var int: res :: output_array([1..6, 1..6]);
array [1..180] of var 0..1: x;
constraint int_eq(x[1], x[26]);
constraint int_eq(x[1], x[176]);
constraint int_eq(x[2], x[27]);
constraint int_eq(x[2], x[177]);
constraint int_eq(x[3], x[28]);
constraint int_eq(x[3], x[178]);
constraint int_eq(x[4], x[29]);
constraint int_eq(x[4], x[179]);
constraint int_eq(x[5], x[30]);
constraint int_eq(x[5], x[180]);
constraint int_eq(x[6], x[56]);
constraint int_eq(x[6], x[171]);
constraint int_eq(x[7], x[57]);
constraint int_eq(x[7], x[172]);
constraint int_eq(x[8], x[58]);
constraint int_eq(x[8], x[173]);
constraint int_eq(x[9], x[59]);
constraint int_eq(x[9], x[174]);
constraint int_eq(x[10], x[60]);
constraint int_eq(x[10], x[175]);
constraint int_eq(x[11], x[86]);
constraint int_eq(x[11], x[166]);
constraint int_eq(x[12], x[87]);
constraint int_eq(x[12], x[167]);
constraint int_eq(x[13], x[88]);
constraint int_eq(x[13], x[168]);
constraint int_eq(x[14], x[89]);
constraint int_eq(x[14], x[169]);
constraint int_eq(x[15], x[90]);
constraint int_eq(x[15], x[170]);
constraint int_eq(x[16], x[116]);
constraint int_eq(x[16], x[161]);
constraint int_eq(x[17], x[117]);
constraint int_eq(x[17], x[162]);
constraint int_eq(x[18], x[118]);
constraint int_eq(x[18], x[163]);
constraint int_eq(x[19], x[119]);
constraint int_eq(x[19], x[164]);
constraint int_eq(x[20], x[120]);
constraint int_eq(x[20], x[165]);
constraint int_eq(x[21], x[146]);
constraint int_eq(x[21], x[156]);
constraint int_eq(x[22], x[147]);
constraint int_eq(x[22], x[157]);
constraint int_eq(x[23], x[148]);
constraint int_eq(x[23], x[158]);
constraint int_eq(x[24], x[149]);
constraint int_eq(x[24], x[159]);
constraint int_eq(x[25], x[150]);
constraint int_eq(x[25], x[160]);
constraint int_eq(x[26], x[151]);
constraint int_eq(x[26], x[176]);
constraint int_eq(x[27], x[152]);
constraint int_eq(x[27], x[177]);
constraint int_eq(x[28], x[153]);
constraint int_eq(x[28], x[178]);
constraint int_eq(x[29], x[154]);
constraint int_eq(x[29], x[179]);
constraint int_eq(x[30], x[155]);
constraint int_eq(x[30], x[180]);
constraint int_eq(x[31], x[21]);
constraint int_eq(x[31], x[146]);
constraint int_eq(x[32], x[22]);
constraint int_eq(x[32], x[147]);
constraint int_eq(x[33], x[23]);
constraint int_eq(x[33], x[148]);
constraint int_eq(x[34], x[24]);
constraint int_eq(x[34], x[149]);
constraint int_eq(x[35], x[25]);
constraint int_eq(x[35], x[150]);
constraint int_eq(x[36], x[51]);
constraint int_eq(x[36], x[141]);
constraint int_eq(x[37], x[52]);
constraint int_eq(x[37], x[142]);
constraint int_eq(x[38], x[53]);
constraint int_eq(x[38], x[143]);
constraint int_eq(x[39], x[54]);
constraint int_eq(x[39], x[144]);
constraint int_eq(x[40], x[55]);
constraint int_eq(x[40], x[145]);
constraint int_eq(x[41], x[81]);
constraint int_eq(x[41], x[136]);
constraint int_eq(x[42], x[82]);
constraint int_eq(x[42], x[137]);
constraint int_eq(x[43], x[83]);
constraint int_eq(x[43], x[138]);
constraint int_eq(x[44], x[84]);
constraint int_eq(x[44], x[139]);
constraint int_eq(x[45], x[85]);
constraint int_eq(x[45], x[140]);
constraint int_eq(x[46], x[111]);
constraint int_eq(x[46], x[131]);
constraint int_eq(x[47], x[112]);
constraint int_eq(x[47], x[132]);
constraint int_eq(x[48], x[113]);
constraint int_eq(x[48], x[133]);
constraint int_eq(x[49], x[114]);
constraint int_eq(x[49], x[134]);
constraint int_eq(x[50], x[115]);
constraint int_eq(x[50], x[135]);
constraint int_eq(x[51], x[126]);
constraint int_eq(x[51], x[141]);
constraint int_eq(x[52], x[127]);
constraint int_eq(x[52], x[142]);
constraint int_eq(x[53], x[128]);
constraint int_eq(x[53], x[143]);
constraint int_eq(x[54], x[129]);
constraint int_eq(x[54], x[144]);
constraint int_eq(x[55], x[130]);
constraint int_eq(x[55], x[145]);
constraint int_eq(x[56], x[121]);
constraint int_eq(x[56], x[171]);
constraint int_eq(x[57], x[122]);
constraint int_eq(x[57], x[172]);
constraint int_eq(x[58], x[123]);
constraint int_eq(x[58], x[173]);
constraint int_eq(x[59], x[124]);
constraint int_eq(x[59], x[174]);
constraint int_eq(x[60], x[125]);
constraint int_eq(x[60], x[175]);
constraint int_eq(x[61], x[16]);
constraint int_eq(x[61], x[116]);
constraint int_eq(x[62], x[17]);
constraint int_eq(x[62], x[117]);
constraint int_eq(x[63], x[18]);
constraint int_eq(x[63], x[118]);
constraint int_eq(x[64], x[19]);
constraint int_eq(x[64], x[119]);
constraint int_eq(x[65], x[20]);
constraint int_eq(x[65], x[120]);
constraint int_eq(x[66], x[46]);
constraint int_eq(x[66], x[111]);
constraint int_eq(x[67], x[47]);
constraint int_eq(x[67], x[112]);
constraint int_eq(x[68], x[48]);
constraint int_eq(x[68], x[113]);
constraint int_eq(x[69], x[49]);
constraint int_eq(x[69], x[114]);
constraint int_eq(x[70], x[50]);
constraint int_eq(x[70], x[115]);
constraint int_eq(x[71], x[76]);
constraint int_eq(x[71], x[106]);
constraint int_eq(x[72], x[77]);
constraint int_eq(x[72], x[107]);
constraint int_eq(x[73], x[78]);
constraint int_eq(x[73], x[108]);
constraint int_eq(x[74], x[79]);
constraint int_eq(x[74], x[109]);
constraint int_eq(x[75], x[80]);
constraint int_eq(x[75], x[110]);
constraint int_eq(x[76], x[101]);
constraint int_eq(x[76], x[106]);
constraint int_eq(x[77], x[102]);
constraint int_eq(x[77], x[107]);
constraint int_eq(x[78], x[103]);
constraint int_eq(x[78], x[108]);
constraint int_eq(x[79], x[104]);
constraint int_eq(x[79], x[109]);
constraint int_eq(x[80], x[105]);
constraint int_eq(x[80], x[110]);
constraint int_eq(x[81], x[96]);
constraint int_eq(x[81], x[136]);
constraint int_eq(x[82], x[97]);
constraint int_eq(x[82], x[137]);
constraint int_eq(x[83], x[98]);
constraint int_eq(x[83], x[138]);
constraint int_eq(x[84], x[99]);
constraint int_eq(x[84], x[139]);
constraint int_eq(x[85], x[100]);
constraint int_eq(x[85], x[140]);
constraint int_eq(x[86], x[91]);
constraint int_eq(x[86], x[166]);
constraint int_eq(x[87], x[92]);
constraint int_eq(x[87], x[167]);
constraint int_eq(x[88], x[93]);
constraint int_eq(x[88], x[168]);
constraint int_eq(x[89], x[94]);
constraint int_eq(x[89], x[169]);
constraint int_eq(x[90], x[95]);
constraint int_eq(x[90], x[170]);
constraint int_eq(x[91], x[11]);
constraint int_eq(x[91], x[86]);
constraint int_eq(x[92], x[12]);
constraint int_eq(x[92], x[87]);
constraint int_eq(x[93], x[13]);
constraint int_eq(x[93], x[88]);
constraint int_eq(x[94], x[14]);
constraint int_eq(x[94], x[89]);
constraint int_eq(x[95], x[15]);
constraint int_eq(x[95], x[90]);
constraint int_eq(x[96], x[41]);
constraint int_eq(x[96], x[81]);
constraint int_eq(x[97], x[42]);
constraint int_eq(x[97], x[82]);
constraint int_eq(x[98], x[43]);
constraint int_eq(x[98], x[83]);
constraint int_eq(x[99], x[44]);
constraint int_eq(x[99], x[84]);
constraint int_eq(x[100], x[45]);
constraint int_eq(x[100], x[85]);
constraint int_eq(x[101], x[71]);
constraint int_eq(x[101], x[76]);
constraint int_eq(x[102], x[72]);
constraint int_eq(x[102], x[77]);
constraint int_eq(x[103], x[73]);
constraint int_eq(x[103], x[78]);
constraint int_eq(x[104], x[74]);
constraint int_eq(x[104], x[79]);
constraint int_eq(x[105], x[75]);
constraint int_eq(x[105], x[80]);
constraint int_eq(x[106], x[71]);
constraint int_eq(x[106], x[101]);
constraint int_eq(x[107], x[72]);
constraint int_eq(x[107], x[102]);
constraint int_eq(x[108], x[73]);
constraint int_eq(x[108], x[103]);
constraint int_eq(x[109], x[74]);
constraint int_eq(x[109], x[104]);
constraint int_eq(x[110], x[75]);
constraint int_eq(x[110], x[105]);
constraint int_eq(x[111], x[66]);
constraint int_eq(x[111], x[131]);
constraint int_eq(x[112], x[67]);
constraint int_eq(x[112], x[132]);
constraint int_eq(x[113], x[68]);
constraint int_eq(x[113], x[133]);
constraint int_eq(x[114], x[69]);
constraint int_eq(x[114], x[134]);
constraint int_eq(x[115], x[70]);
constraint int_eq(x[115], x[135]);
constraint int_eq(x[116], x[61]);
constraint int_eq(x[116], x[161]);
constraint int_eq(x[117], x[62]);
constraint int_eq(x[117], x[162]);
constraint int_eq(x[118], x[63]);
constraint int_eq(x[118], x[163]);
constraint int_eq(x[119], x[64]);
constraint int_eq(x[119], x[164]);
constraint int_eq(x[120], x[65]);
constraint int_eq(x[120], x[165]);
constraint int_eq(x[121], x[6]);
constraint int_eq(x[121], x[56]);
constraint int_eq(x[122], x[7]);
constraint int_eq(x[122], x[57]);
constraint int_eq(x[123], x[8]);
constraint int_eq(x[123], x[58]);
constraint int_eq(x[124], x[9]);
constraint int_eq(x[124], x[59]);
constraint int_eq(x[125], x[10]);
constraint int_eq(x[125], x[60]);
constraint int_eq(x[126], x[36]);
constraint int_eq(x[126], x[51]);
constraint int_eq(x[127], x[37]);
constraint int_eq(x[127], x[52]);
constraint int_eq(x[128], x[38]);
constraint int_eq(x[128], x[53]);
constraint int_eq(x[129], x[39]);
constraint int_eq(x[129], x[54]);
constraint int_eq(x[130], x[40]);
constraint int_eq(x[130], x[55]);
constraint int_eq(x[131], x[46]);
constraint int_eq(x[131], x[66]);
constraint int_eq(x[132], x[47]);
constraint int_eq(x[132], x[67]);
constraint int_eq(x[133], x[48]);
constraint int_eq(x[133], x[68]);
constraint int_eq(x[134], x[49]);
constraint int_eq(x[134], x[69]);
constraint int_eq(x[135], x[50]);
constraint int_eq(x[135], x[70]);
constraint int_eq(x[136], x[41]);
constraint int_eq(x[136], x[96]);
constraint int_eq(x[137], x[42]);
constraint int_eq(x[137], x[97]);
constraint int_eq(x[138], x[43]);
constraint int_eq(x[138], x[98]);
constraint int_eq(x[139], x[44]);
constraint int_eq(x[139], x[99]);
constraint int_eq(x[140], x[45]);
constraint int_eq(x[140], x[100]);
constraint int_eq(x[141], x[36]);
constraint int_eq(x[141], x[126]);
constraint int_eq(x[142], x[37]);
constraint int_eq(x[142], x[127]);
constraint int_eq(x[143], x[38]);
constraint int_eq(x[143], x[128]);
constraint int_eq(x[144], x[39]);
constraint int_eq(x[144], x[129]);
constraint int_eq(x[145], x[40]);
constraint int_eq(x[145], x[130]);
constraint int_eq(x[146], x[31]);
constraint int_eq(x[146], x[156]);
constraint int_eq(x[147], x[32]);
constraint int_eq(x[147], x[157]);
constraint int_eq(x[148], x[33]);
constraint int_eq(x[148], x[158]);
constraint int_eq(x[149], x[34]);
constraint int_eq(x[149], x[159]);
constraint int_eq(x[150], x[35]);
constraint int_eq(x[150], x[160]);
constraint int_eq(x[151], x[1]);
constraint int_eq(x[151], x[26]);
constraint int_eq(x[152], x[2]);
constraint int_eq(x[152], x[27]);
constraint int_eq(x[153], x[3]);
constraint int_eq(x[153], x[28]);
constraint int_eq(x[154], x[4]);
constraint int_eq(x[154], x[29]);
constraint int_eq(x[155], x[5]);
constraint int_eq(x[155], x[30]);
constraint int_eq(x[156], x[21]);
constraint int_eq(x[156], x[31]);
constraint int_eq(x[157], x[22]);
constraint int_eq(x[157], x[32]);
constraint int_eq(x[158], x[23]);
constraint int_eq(x[158], x[33]);
constraint int_eq(x[159], x[24]);
constraint int_eq(x[159], x[34]);
constraint int_eq(x[160], x[25]);
constraint int_eq(x[160], x[35]);
constraint int_eq(x[161], x[16]);
constraint int_eq(x[161], x[61]);
constraint int_eq(x[162], x[17]);
constraint int_eq(x[162], x[62]);
constraint int_eq(x[163], x[18]);
constraint int_eq(x[163], x[63]);
constraint int_eq(x[164], x[19]);
constraint int_eq(x[164], x[64]);
constraint int_eq(x[165], x[20]);
constraint int_eq(x[165], x[65]);
constraint int_eq(x[166], x[11]);
constraint int_eq(x[166], x[91]);
constraint int_eq(x[167], x[12]);
constraint int_eq(x[167], x[92]);
constraint int_eq(x[168], x[13]);
constraint int_eq(x[168], x[93]);
constraint int_eq(x[169], x[14]);
constraint int_eq(x[169], x[94]);
constraint int_eq(x[170], x[15]);
constraint int_eq(x[170], x[95]);
constraint int_eq(x[171], x[6]);
constraint int_eq(x[171], x[121]);
constraint int_eq(x[172], x[7]);
constraint int_eq(x[172], x[122]);
constraint int_eq(x[173], x[8]);
constraint int_eq(x[173], x[123]);
constraint int_eq(x[174], x[9]);
constraint int_eq(x[174], x[124]);
constraint int_eq(x[175], x[10]);
constraint int_eq(x[175], x[125]);
constraint int_eq(x[176], x[1]);
constraint int_eq(x[176], x[151]);
constraint int_eq(x[177], x[2]);
constraint int_eq(x[177], x[152]);
constraint int_eq(x[178], x[3]);
constraint int_eq(x[178], x[153]);
constraint int_eq(x[179], x[4]);
constraint int_eq(x[179], x[154]);
constraint int_eq(x[180], x[5]);
constraint int_eq(x[180], x[155]);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[6], x[7], x[8], x[9], x[10]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[11], x[12], x[13], x[14], x[15]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[16], x[17], x[18], x[19], x[20]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[21], x[22], x[23], x[24], x[25]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[26], x[27], x[28], x[29], x[30]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[31], x[32], x[33], x[34], x[35]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[36], x[37], x[38], x[39], x[40]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[41], x[42], x[43], x[44], x[45]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[46], x[47], x[48], x[49], x[50]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[51], x[52], x[53], x[54], x[55]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[56], x[57], x[58], x[59], x[60]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[61], x[62], x[63], x[64], x[65]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[66], x[67], x[68], x[69], x[70]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[71], x[72], x[73], x[74], x[75]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[76], x[77], x[78], x[79], x[80]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[81], x[82], x[83], x[84], x[85]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[86], x[87], x[88], x[89], x[90]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[91], x[92], x[93], x[94], x[95]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[96], x[97], x[98], x[99], x[100]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[101], x[102], x[103], x[104], x[105]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[106], x[107], x[108], x[109], x[110]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[111], x[112], x[113], x[114], x[115]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[116], x[117], x[118], x[119], x[120]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[121], x[122], x[123], x[124], x[125]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[126], x[127], x[128], x[129], x[130]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[131], x[132], x[133], x[134], x[135]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[136], x[137], x[138], x[139], x[140]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[141], x[142], x[143], x[144], x[145]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[146], x[147], x[148], x[149], x[150]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[151], x[152], x[153], x[154], x[155]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[156], x[157], x[158], x[159], x[160]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[161], x[162], x[163], x[164], x[165]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[166], x[167], x[168], x[169], x[170]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[171], x[172], x[173], x[174], x[175]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1], [x[176], x[177], x[178], x[179], x[180]], 1);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[1], x[1], x[2], x[3], x[4], x[5]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[2], x[6], x[7], x[8], x[9], x[10]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[3], x[11], x[12], x[13], x[14], x[15]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[4], x[16], x[17], x[18], x[19], x[20]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[5], x[21], x[22], x[23], x[24], x[25]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[6], x[26], x[27], x[28], x[29], x[30]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[7], x[31], x[32], x[33], x[34], x[35]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[8], x[36], x[37], x[38], x[39], x[40]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[9], x[41], x[42], x[43], x[44], x[45]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[10], x[46], x[47], x[48], x[49], x[50]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[11], x[51], x[52], x[53], x[54], x[55]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[12], x[56], x[57], x[58], x[59], x[60]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[13], x[61], x[62], x[63], x[64], x[65]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[14], x[66], x[67], x[68], x[69], x[70]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[15], x[71], x[72], x[73], x[74], x[75]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[16], x[76], x[77], x[78], x[79], x[80]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[17], x[81], x[82], x[83], x[84], x[85]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[18], x[86], x[87], x[88], x[89], x[90]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[19], x[91], x[92], x[93], x[94], x[95]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[20], x[96], x[97], x[98], x[99], x[100]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[21], x[101], x[102], x[103], x[104], x[105]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[22], x[106], x[107], x[108], x[109], x[110]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[23], x[111], x[112], x[113], x[114], x[115]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[24], x[116], x[117], x[118], x[119], x[120]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[25], x[121], x[122], x[123], x[124], x[125]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[26], x[126], x[127], x[128], x[129], x[130]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[27], x[131], x[132], x[133], x[134], x[135]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[28], x[136], x[137], x[138], x[139], x[140]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[29], x[141], x[142], x[143], x[144], x[145]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[30], x[146], x[147], x[148], x[149], x[150]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[31], x[151], x[152], x[153], x[154], x[155]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[32], x[156], x[157], x[158], x[159], x[160]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[33], x[161], x[162], x[163], x[164], x[165]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[34], x[166], x[167], x[168], x[169], x[170]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[35], x[171], x[172], x[173], x[174], x[175]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5], [res[36], x[176], x[177], x[178], x[179], x[180]], 0);
constraint int_lin_eq([-1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5], x[6], x[12], x[18], x[24], x[30], x[31], x[62], x[93], x[124], x[155]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[6], x[7], x[8], x[9], x[10], x[11], x[17], x[23], x[29], x[36], x[67], x[98], x[129], x[160]], 0);
constraint int_lin_eq([1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[31], x[32], x[33], x[34], x[35], x[36], x[42], x[48], x[54], x[60], x[61], x[92], x[123], x[154]], 0);
constraint int_lin_eq([1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[6], x[11], x[12], x[13], x[14], x[15], x[16], x[22], x[28], x[41], x[72], x[103], x[134], x[165]], 0);
constraint int_lin_eq([1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[31], x[61], x[62], x[63], x[64], x[65], x[66], x[72], x[78], x[84], x[90], x[91], x[122], x[153]], 0);
constraint int_lin_eq([1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1, 1], [x[6], x[31], x[36], x[37], x[38], x[39], x[40], x[41], x[47], x[53], x[59], x[66], x[97], x[128], x[159]], 0);
constraint int_lin_eq([1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1], [x[3], x[7], x[11], x[16], x[17], x[18], x[19], x[20], x[21], x[27], x[46], x[77], x[108], x[139], x[170]], 0);
constraint int_lin_eq([1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1], [x[3], x[32], x[61], x[91], x[92], x[93], x[94], x[95], x[96], x[102], x[108], x[114], x[120], x[121], x[152]], 0);
constraint int_lin_eq([1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1], [x[7], x[36], x[61], x[66], x[67], x[68], x[69], x[70], x[71], x[77], x[83], x[89], x[96], x[127], x[158]], 0);
constraint int_lin_eq([1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1, 1], [x[11], x[32], x[36], x[41], x[42], x[43], x[44], x[45], x[46], x[52], x[58], x[71], x[102], x[133], x[164]], 0);
constraint int_lin_eq([1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1], [x[4], x[8], x[12], x[16], x[21], x[22], x[23], x[24], x[25], x[26], x[51], x[82], x[113], x[144], x[175]], 0);
constraint int_lin_eq([1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1], [x[4], x[33], x[62], x[91], x[121], x[122], x[123], x[124], x[125], x[126], x[132], x[138], x[144], x[150], x[151]], 0);
constraint int_lin_eq([1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1], [x[8], x[37], x[66], x[91], x[96], x[97], x[98], x[99], x[100], x[101], x[107], x[113], x[119], x[126], x[157]], 0);
constraint int_lin_eq([1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1], [x[12], x[41], x[62], x[66], x[71], x[72], x[73], x[74], x[75], x[76], x[82], x[88], x[101], x[132], x[163]], 0);
constraint int_lin_eq([1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1, 1], [x[16], x[33], x[37], x[41], x[46], x[47], x[48], x[49], x[50], x[51], x[57], x[76], x[107], x[138], x[169]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[5], x[9], x[13], x[17], x[21], x[26], x[27], x[28], x[29], x[30], x[56], x[87], x[118], x[149], x[180]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[5], x[34], x[63], x[92], x[121], x[151], x[152], x[153], x[154], x[155], x[156], x[162], x[168], x[174], x[180]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[9], x[38], x[67], x[96], x[121], x[126], x[127], x[128], x[129], x[130], x[131], x[137], x[143], x[149], x[156]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[13], x[42], x[71], x[92], x[96], x[101], x[102], x[103], x[104], x[105], x[106], x[112], x[118], x[131], x[162]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[17], x[46], x[63], x[67], x[71], x[76], x[77], x[78], x[79], x[80], x[81], x[87], x[106], x[137], x[168]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1, 1], [x[21], x[34], x[38], x[42], x[46], x[51], x[52], x[53], x[54], x[55], x[56], x[81], x[112], x[143], x[174]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1], [x[10], x[39], x[68], x[97], x[126], x[151], x[156], x[157], x[158], x[159], x[160], x[161], x[167], x[173], x[179]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1], [x[14], x[43], x[72], x[101], x[122], x[126], x[131], x[132], x[133], x[134], x[135], x[136], x[142], x[148], x[161]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1], [x[18], x[47], x[76], x[93], x[97], x[101], x[106], x[107], x[108], x[109], x[110], x[111], x[117], x[136], x[167]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1], [x[22], x[51], x[64], x[68], x[72], x[76], x[81], x[82], x[83], x[84], x[85], x[86], x[111], x[142], x[173]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1, 1], [x[26], x[35], x[39], x[43], x[47], x[51], x[56], x[57], x[58], x[59], x[60], x[86], x[117], x[148], x[179]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1], [x[15], x[44], x[73], x[102], x[131], x[152], x[156], x[161], x[162], x[163], x[164], x[165], x[166], x[172], x[178]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1], [x[19], x[48], x[77], x[106], x[123], x[127], x[131], x[136], x[137], x[138], x[139], x[140], x[141], x[147], x[166]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1], [x[23], x[52], x[81], x[94], x[98], x[102], x[106], x[111], x[112], x[113], x[114], x[115], x[116], x[141], x[172]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1, 1], [x[27], x[56], x[65], x[69], x[73], x[77], x[81], x[86], x[87], x[88], x[89], x[90], x[116], x[147], x[178]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1], [x[20], x[49], x[78], x[107], x[136], x[153], x[157], x[161], x[166], x[167], x[168], x[169], x[170], x[171], x[177]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1], [x[24], x[53], x[82], x[111], x[124], x[128], x[132], x[136], x[141], x[142], x[143], x[144], x[145], x[146], x[171]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1, 1], [x[28], x[57], x[86], x[95], x[99], x[103], x[107], x[111], x[116], x[117], x[118], x[119], x[120], x[146], x[177]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1], [x[25], x[54], x[83], x[112], x[141], x[154], x[158], x[162], x[166], x[171], x[172], x[173], x[174], x[175], x[176]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5, 1], [x[29], x[58], x[87], x[116], x[125], x[129], x[133], x[137], x[141], x[146], x[147], x[148], x[149], x[150], x[176]], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -2, -3, -4, -5], [x[30], x[59], x[88], x[117], x[146], x[155], x[159], x[163], x[167], x[171], x[176], x[177], x[178], x[179], x[180]], 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], 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], x[101], x[102], x[103], x[104], x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[117], x[118], x[119], x[120], x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[140], x[141], x[142], x[143], x[144], x[145], x[146], x[147], x[148], x[149], x[150], x[151], x[152], x[153], x[154], x[155], x[156], x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[169], x[170], x[171], x[172], x[173], x[174], x[175], x[176], x[177], x[178], x[179], x[180]], first_fail, indomain, complete) satisfy;