predicate all_different_int(array [int] of var int: x);
predicate count(array [int] of var int: x, var int: y, var int: c);
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
predicate maximum_int(var int: m, array [int] of var int: x);
predicate minimum_int(var int: m, array [int] of var int: x);
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
predicate sort(array [int] of var int: x, array [int] of var int: y);
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
predicate var_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
array [1..400] of int: scores = [0, 30, 10, 33, 49, 50, 38, 32, 92, 61, 31, 22, 31, 55, 26, 19, 21, 61, 14, 0, 30, 0, 21, 23, 10, 33, 28, 15, 22, 22, 36, 33, 36, 38, 36, 24, 26, 22, 55, 0, 10, 21, 0, 10, 22, 26, 10, 22, 10, 41, 26, 52, 21, 24, 21, 33, 33, 10, 33, 0, 33, 23, 10, 0, 24, 25, 37, 24, 36, 36, 22, 22, 22, 22, 22, 10, 13, 36, 10, 0, 49, 10, 22, 24, 0, 41, 55, 42, 57, 57, 16, 15, 21, 69, 16, 33, 31, 57, 23, 0, 50, 33, 26, 25, 41, 0, 25, 19, 53, 53, 44, 33, 39, 61, 34, 27, 30, 53, 22, 0, 38, 28, 10, 37, 55, 25, 0, 29, 36, 36, 22, 22, 44, 58, 22, 32, 18, 36, 10, 0, 32, 15, 22, 24, 42, 19, 29, 0, 30, 30, 16, 10, 16, 21, 11, 59, 36, 61, 45, 0, 92, 22, 10, 36, 57, 53, 36, 30, 0, 69, 28, 27, 33, 50, 28, 21, 19, 69, 11, 0, 61, 22, 41, 36, 57, 53, 36, 30, 69, 0, 28, 27, 33, 50, 28, 21, 19, 69, 11, 0, 31, 36, 26, 22, 16, 44, 22, 16, 28, 28, 0, 33, 42, 39, 37, 30, 27, 28, 25, 0, 22, 33, 52, 22, 15, 33, 22, 10, 27, 27, 33, 0, 38, 36, 38, 26, 21, 27, 21, 0, 31, 36, 21, 22, 21, 39, 44, 16, 33, 33, 42, 38, 0, 39, 42, 57, 27, 33, 25, 0, 55, 38, 24, 22, 69, 61, 58, 21, 50, 50, 39, 36, 39, 0, 34, 27, 32, 50, 22, 0, 26, 36, 21, 22, 16, 34, 22, 11, 28, 28, 37, 38, 42, 34, 0, 30, 22, 28, 25, 0, 19, 24, 33, 10, 33, 27, 32, 59, 21, 21, 30, 26, 57, 27, 30, 0, 39, 52, 37, 0, 21, 26, 33, 13, 31, 30, 18, 36, 19, 19, 27, 21, 27, 32, 22, 39, 0, 19, 34, 0, 61, 22, 10, 36, 57, 53, 36, 61, 69, 69, 28, 27, 33, 50, 28, 52, 19, 0, 11, 0, 14, 55, 33, 10, 23, 22, 10, 45, 11, 11, 25, 21, 25, 22, 25, 37, 34, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0];
var 0..1840: INT____00001 :: is_defined_var :: var_is_introduced;
var 0..1840: total :: output_var = INT____00001;
array [1..400] of var 0..1: x :: output_array([1..20, 1..20]);
constraint int_eq(x[1], 0);
constraint int_eq(x[2], x[21]);
constraint int_eq(x[3], x[41]);
constraint int_eq(x[4], x[61]);
constraint int_eq(x[5], x[81]);
constraint int_eq(x[6], x[101]);
constraint int_eq(x[7], x[121]);
constraint int_eq(x[8], x[141]);
constraint int_eq(x[9], x[161]);
constraint int_eq(x[10], x[181]);
constraint int_eq(x[11], x[201]);
constraint int_eq(x[12], x[221]);
constraint int_eq(x[13], x[241]);
constraint int_eq(x[14], x[261]);
constraint int_eq(x[15], x[281]);
constraint int_eq(x[16], x[301]);
constraint int_eq(x[17], x[321]);
constraint int_eq(x[18], x[341]);
constraint int_eq(x[19], x[361]);
constraint int_eq(x[20], x[381]);
constraint int_eq(x[21], x[2]);
constraint int_eq(x[22], 0);
constraint int_eq(x[23], x[42]);
constraint int_eq(x[24], x[62]);
constraint int_eq(x[25], x[82]);
constraint int_eq(x[26], x[102]);
constraint int_eq(x[27], x[122]);
constraint int_eq(x[28], x[142]);
constraint int_eq(x[29], x[162]);
constraint int_eq(x[30], x[182]);
constraint int_eq(x[31], x[202]);
constraint int_eq(x[32], x[222]);
constraint int_eq(x[33], x[242]);
constraint int_eq(x[34], x[262]);
constraint int_eq(x[35], x[282]);
constraint int_eq(x[36], x[302]);
constraint int_eq(x[37], x[322]);
constraint int_eq(x[38], x[342]);
constraint int_eq(x[39], x[362]);
constraint int_eq(x[40], x[382]);
constraint int_eq(x[41], x[3]);
constraint int_eq(x[42], x[23]);
constraint int_eq(x[43], 0);
constraint int_eq(x[44], x[63]);
constraint int_eq(x[45], x[83]);
constraint int_eq(x[46], x[103]);
constraint int_eq(x[47], x[123]);
constraint int_eq(x[48], x[143]);
constraint int_eq(x[49], x[163]);
constraint int_eq(x[50], x[183]);
constraint int_eq(x[51], x[203]);
constraint int_eq(x[52], x[223]);
constraint int_eq(x[53], x[243]);
constraint int_eq(x[54], x[263]);
constraint int_eq(x[55], x[283]);
constraint int_eq(x[56], x[303]);
constraint int_eq(x[57], x[323]);
constraint int_eq(x[58], x[343]);
constraint int_eq(x[59], x[363]);
constraint int_eq(x[60], x[383]);
constraint int_eq(x[61], x[4]);
constraint int_eq(x[62], x[24]);
constraint int_eq(x[63], x[44]);
constraint int_eq(x[64], 0);
constraint int_eq(x[65], x[84]);
constraint int_eq(x[66], x[104]);
constraint int_eq(x[67], x[124]);
constraint int_eq(x[68], x[144]);
constraint int_eq(x[69], x[164]);
constraint int_eq(x[70], x[184]);
constraint int_eq(x[71], x[204]);
constraint int_eq(x[72], x[224]);
constraint int_eq(x[73], x[244]);
constraint int_eq(x[74], x[264]);
constraint int_eq(x[75], x[284]);
constraint int_eq(x[76], x[304]);
constraint int_eq(x[77], x[324]);
constraint int_eq(x[78], x[344]);
constraint int_eq(x[79], x[364]);
constraint int_eq(x[80], x[384]);
constraint int_eq(x[81], x[5]);
constraint int_eq(x[82], x[25]);
constraint int_eq(x[83], x[45]);
constraint int_eq(x[84], x[65]);
constraint int_eq(x[85], 0);
constraint int_eq(x[86], x[105]);
constraint int_eq(x[87], x[125]);
constraint int_eq(x[88], x[145]);
constraint int_eq(x[89], x[165]);
constraint int_eq(x[90], x[185]);
constraint int_eq(x[91], x[205]);
constraint int_eq(x[92], x[225]);
constraint int_eq(x[93], x[245]);
constraint int_eq(x[94], x[265]);
constraint int_eq(x[95], x[285]);
constraint int_eq(x[96], x[305]);
constraint int_eq(x[97], x[325]);
constraint int_eq(x[98], x[345]);
constraint int_eq(x[99], x[365]);
constraint int_eq(x[100], x[385]);
constraint int_eq(x[101], x[6]);
constraint int_eq(x[102], x[26]);
constraint int_eq(x[103], x[46]);
constraint int_eq(x[104], x[66]);
constraint int_eq(x[105], x[86]);
constraint int_eq(x[106], 0);
constraint int_eq(x[107], x[126]);
constraint int_eq(x[108], x[146]);
constraint int_eq(x[109], x[166]);
constraint int_eq(x[110], x[186]);
constraint int_eq(x[111], x[206]);
constraint int_eq(x[112], x[226]);
constraint int_eq(x[113], x[246]);
constraint int_eq(x[114], x[266]);
constraint int_eq(x[115], x[286]);
constraint int_eq(x[116], x[306]);
constraint int_eq(x[117], x[326]);
constraint int_eq(x[118], x[346]);
constraint int_eq(x[119], x[366]);
constraint int_eq(x[120], x[386]);
constraint int_eq(x[121], x[7]);
constraint int_eq(x[122], x[27]);
constraint int_eq(x[123], x[47]);
constraint int_eq(x[124], x[67]);
constraint int_eq(x[125], x[87]);
constraint int_eq(x[126], x[107]);
constraint int_eq(x[127], 0);
constraint int_eq(x[128], x[147]);
constraint int_eq(x[129], x[167]);
constraint int_eq(x[130], x[187]);
constraint int_eq(x[131], x[207]);
constraint int_eq(x[132], x[227]);
constraint int_eq(x[133], x[247]);
constraint int_eq(x[134], x[267]);
constraint int_eq(x[135], x[287]);
constraint int_eq(x[136], x[307]);
constraint int_eq(x[137], x[327]);
constraint int_eq(x[138], x[347]);
constraint int_eq(x[139], x[367]);
constraint int_eq(x[140], x[387]);
constraint int_eq(x[141], x[8]);
constraint int_eq(x[142], x[28]);
constraint int_eq(x[143], x[48]);
constraint int_eq(x[144], x[68]);
constraint int_eq(x[145], x[88]);
constraint int_eq(x[146], x[108]);
constraint int_eq(x[147], x[128]);
constraint int_eq(x[148], 0);
constraint int_eq(x[149], x[168]);
constraint int_eq(x[150], x[188]);
constraint int_eq(x[151], x[208]);
constraint int_eq(x[152], x[228]);
constraint int_eq(x[153], x[248]);
constraint int_eq(x[154], x[268]);
constraint int_eq(x[155], x[288]);
constraint int_eq(x[156], x[308]);
constraint int_eq(x[157], x[328]);
constraint int_eq(x[158], x[348]);
constraint int_eq(x[159], x[368]);
constraint int_eq(x[160], x[388]);
constraint int_eq(x[161], x[9]);
constraint int_eq(x[162], x[29]);
constraint int_eq(x[163], x[49]);
constraint int_eq(x[164], x[69]);
constraint int_eq(x[165], x[89]);
constraint int_eq(x[166], x[109]);
constraint int_eq(x[167], x[129]);
constraint int_eq(x[168], x[149]);
constraint int_eq(x[169], 0);
constraint int_eq(x[170], x[189]);
constraint int_eq(x[171], x[209]);
constraint int_eq(x[172], x[229]);
constraint int_eq(x[173], x[249]);
constraint int_eq(x[174], x[269]);
constraint int_eq(x[175], x[289]);
constraint int_eq(x[176], x[309]);
constraint int_eq(x[177], x[329]);
constraint int_eq(x[178], x[349]);
constraint int_eq(x[179], x[369]);
constraint int_eq(x[180], x[389]);
constraint int_eq(x[181], x[10]);
constraint int_eq(x[182], x[30]);
constraint int_eq(x[183], x[50]);
constraint int_eq(x[184], x[70]);
constraint int_eq(x[185], x[90]);
constraint int_eq(x[186], x[110]);
constraint int_eq(x[187], x[130]);
constraint int_eq(x[188], x[150]);
constraint int_eq(x[189], x[170]);
constraint int_eq(x[190], 0);
constraint int_eq(x[191], x[210]);
constraint int_eq(x[192], x[230]);
constraint int_eq(x[193], x[250]);
constraint int_eq(x[194], x[270]);
constraint int_eq(x[195], x[290]);
constraint int_eq(x[196], x[310]);
constraint int_eq(x[197], x[330]);
constraint int_eq(x[198], x[350]);
constraint int_eq(x[199], x[370]);
constraint int_eq(x[200], x[390]);
constraint int_eq(x[201], x[11]);
constraint int_eq(x[202], x[31]);
constraint int_eq(x[203], x[51]);
constraint int_eq(x[204], x[71]);
constraint int_eq(x[205], x[91]);
constraint int_eq(x[206], x[111]);
constraint int_eq(x[207], x[131]);
constraint int_eq(x[208], x[151]);
constraint int_eq(x[209], x[171]);
constraint int_eq(x[210], x[191]);
constraint int_eq(x[211], 0);
constraint int_eq(x[212], x[231]);
constraint int_eq(x[213], x[251]);
constraint int_eq(x[214], x[271]);
constraint int_eq(x[215], x[291]);
constraint int_eq(x[216], x[311]);
constraint int_eq(x[217], x[331]);
constraint int_eq(x[218], x[351]);
constraint int_eq(x[219], x[371]);
constraint int_eq(x[220], x[391]);
constraint int_eq(x[221], x[12]);
constraint int_eq(x[222], x[32]);
constraint int_eq(x[223], x[52]);
constraint int_eq(x[224], x[72]);
constraint int_eq(x[225], x[92]);
constraint int_eq(x[226], x[112]);
constraint int_eq(x[227], x[132]);
constraint int_eq(x[228], x[152]);
constraint int_eq(x[229], x[172]);
constraint int_eq(x[230], x[192]);
constraint int_eq(x[231], x[212]);
constraint int_eq(x[232], 0);
constraint int_eq(x[233], x[252]);
constraint int_eq(x[234], x[272]);
constraint int_eq(x[235], x[292]);
constraint int_eq(x[236], x[312]);
constraint int_eq(x[237], x[332]);
constraint int_eq(x[238], x[352]);
constraint int_eq(x[239], x[372]);
constraint int_eq(x[240], x[392]);
constraint int_eq(x[241], x[13]);
constraint int_eq(x[242], x[33]);
constraint int_eq(x[243], x[53]);
constraint int_eq(x[244], x[73]);
constraint int_eq(x[245], x[93]);
constraint int_eq(x[246], x[113]);
constraint int_eq(x[247], x[133]);
constraint int_eq(x[248], x[153]);
constraint int_eq(x[249], x[173]);
constraint int_eq(x[250], x[193]);
constraint int_eq(x[251], x[213]);
constraint int_eq(x[252], x[233]);
constraint int_eq(x[253], 0);
constraint int_eq(x[254], x[273]);
constraint int_eq(x[255], x[293]);
constraint int_eq(x[256], x[313]);
constraint int_eq(x[257], x[333]);
constraint int_eq(x[258], x[353]);
constraint int_eq(x[259], x[373]);
constraint int_eq(x[260], x[393]);
constraint int_eq(x[261], x[14]);
constraint int_eq(x[262], x[34]);
constraint int_eq(x[263], x[54]);
constraint int_eq(x[264], x[74]);
constraint int_eq(x[265], x[94]);
constraint int_eq(x[266], x[114]);
constraint int_eq(x[267], x[134]);
constraint int_eq(x[268], x[154]);
constraint int_eq(x[269], x[174]);
constraint int_eq(x[270], x[194]);
constraint int_eq(x[271], x[214]);
constraint int_eq(x[272], x[234]);
constraint int_eq(x[273], x[254]);
constraint int_eq(x[274], 0);
constraint int_eq(x[275], x[294]);
constraint int_eq(x[276], x[314]);
constraint int_eq(x[277], x[334]);
constraint int_eq(x[278], x[354]);
constraint int_eq(x[279], x[374]);
constraint int_eq(x[280], x[394]);
constraint int_eq(x[281], x[15]);
constraint int_eq(x[282], x[35]);
constraint int_eq(x[283], x[55]);
constraint int_eq(x[284], x[75]);
constraint int_eq(x[285], x[95]);
constraint int_eq(x[286], x[115]);
constraint int_eq(x[287], x[135]);
constraint int_eq(x[288], x[155]);
constraint int_eq(x[289], x[175]);
constraint int_eq(x[290], x[195]);
constraint int_eq(x[291], x[215]);
constraint int_eq(x[292], x[235]);
constraint int_eq(x[293], x[255]);
constraint int_eq(x[294], x[275]);
constraint int_eq(x[295], 0);
constraint int_eq(x[296], x[315]);
constraint int_eq(x[297], x[335]);
constraint int_eq(x[298], x[355]);
constraint int_eq(x[299], x[375]);
constraint int_eq(x[300], x[395]);
constraint int_eq(x[301], x[16]);
constraint int_eq(x[302], x[36]);
constraint int_eq(x[303], x[56]);
constraint int_eq(x[304], x[76]);
constraint int_eq(x[305], x[96]);
constraint int_eq(x[306], x[116]);
constraint int_eq(x[307], x[136]);
constraint int_eq(x[308], x[156]);
constraint int_eq(x[309], x[176]);
constraint int_eq(x[310], x[196]);
constraint int_eq(x[311], x[216]);
constraint int_eq(x[312], x[236]);
constraint int_eq(x[313], x[256]);
constraint int_eq(x[314], x[276]);
constraint int_eq(x[315], x[296]);
constraint int_eq(x[316], 0);
constraint int_eq(x[317], x[336]);
constraint int_eq(x[318], x[356]);
constraint int_eq(x[319], x[376]);
constraint int_eq(x[320], x[396]);
constraint int_eq(x[321], x[17]);
constraint int_eq(x[322], x[37]);
constraint int_eq(x[323], x[57]);
constraint int_eq(x[324], x[77]);
constraint int_eq(x[325], x[97]);
constraint int_eq(x[326], x[117]);
constraint int_eq(x[327], x[137]);
constraint int_eq(x[328], x[157]);
constraint int_eq(x[329], x[177]);
constraint int_eq(x[330], x[197]);
constraint int_eq(x[331], x[217]);
constraint int_eq(x[332], x[237]);
constraint int_eq(x[333], x[257]);
constraint int_eq(x[334], x[277]);
constraint int_eq(x[335], x[297]);
constraint int_eq(x[336], x[317]);
constraint int_eq(x[337], 0);
constraint int_eq(x[338], x[357]);
constraint int_eq(x[339], x[377]);
constraint int_eq(x[340], x[397]);
constraint int_eq(x[341], x[18]);
constraint int_eq(x[342], x[38]);
constraint int_eq(x[343], x[58]);
constraint int_eq(x[344], x[78]);
constraint int_eq(x[345], x[98]);
constraint int_eq(x[346], x[118]);
constraint int_eq(x[347], x[138]);
constraint int_eq(x[348], x[158]);
constraint int_eq(x[349], x[178]);
constraint int_eq(x[350], x[198]);
constraint int_eq(x[351], x[218]);
constraint int_eq(x[352], x[238]);
constraint int_eq(x[353], x[258]);
constraint int_eq(x[354], x[278]);
constraint int_eq(x[355], x[298]);
constraint int_eq(x[356], x[318]);
constraint int_eq(x[357], x[338]);
constraint int_eq(x[358], 0);
constraint int_eq(x[359], x[378]);
constraint int_eq(x[360], x[398]);
constraint int_eq(x[361], x[19]);
constraint int_eq(x[362], x[39]);
constraint int_eq(x[363], x[59]);
constraint int_eq(x[364], x[79]);
constraint int_eq(x[365], x[99]);
constraint int_eq(x[366], x[119]);
constraint int_eq(x[367], x[139]);
constraint int_eq(x[368], x[159]);
constraint int_eq(x[369], x[179]);
constraint int_eq(x[370], x[199]);
constraint int_eq(x[371], x[219]);
constraint int_eq(x[372], x[239]);
constraint int_eq(x[373], x[259]);
constraint int_eq(x[374], x[279]);
constraint int_eq(x[375], x[299]);
constraint int_eq(x[376], x[319]);
constraint int_eq(x[377], x[339]);
constraint int_eq(x[378], x[359]);
constraint int_eq(x[379], 0);
constraint int_eq(x[380], x[399]);
constraint int_eq(x[381], x[20]);
constraint int_eq(x[382], x[40]);
constraint int_eq(x[383], x[60]);
constraint int_eq(x[384], x[80]);
constraint int_eq(x[385], x[100]);
constraint int_eq(x[386], x[120]);
constraint int_eq(x[387], x[140]);
constraint int_eq(x[388], x[160]);
constraint int_eq(x[389], x[180]);
constraint int_eq(x[390], x[200]);
constraint int_eq(x[391], x[220]);
constraint int_eq(x[392], x[240]);
constraint int_eq(x[393], x[260]);
constraint int_eq(x[394], x[280]);
constraint int_eq(x[395], x[300]);
constraint int_eq(x[396], x[320]);
constraint int_eq(x[397], x[340]);
constraint int_eq(x[398], x[360]);
constraint int_eq(x[399], x[380]);
constraint int_eq(x[400], 0);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[21], x[41], x[61], x[81], x[101], x[121], x[141], x[161], x[181], x[201], x[221], x[241], x[261], x[281], x[301], x[321], x[341], x[361], x[381]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[22], x[42], x[62], x[82], x[102], x[122], x[142], x[162], x[182], x[202], x[222], x[242], x[262], x[282], x[302], x[322], x[342], x[362], x[382]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[3], x[23], x[43], x[63], x[83], x[103], x[123], x[143], x[163], x[183], x[203], x[223], x[243], x[263], x[283], x[303], x[323], x[343], x[363], x[383]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[4], x[24], x[44], x[64], x[84], x[104], x[124], x[144], x[164], x[184], x[204], x[224], x[244], x[264], x[284], x[304], x[324], x[344], x[364], x[384]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[5], x[25], x[45], x[65], x[85], x[105], x[125], x[145], x[165], x[185], x[205], x[225], x[245], x[265], x[285], x[305], x[325], x[345], x[365], x[385]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[6], x[26], x[46], x[66], x[86], x[106], x[126], x[146], x[166], x[186], x[206], x[226], x[246], x[266], x[286], x[306], x[326], x[346], x[366], x[386]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[7], x[27], x[47], x[67], x[87], x[107], x[127], x[147], x[167], x[187], x[207], x[227], x[247], x[267], x[287], x[307], x[327], x[347], x[367], x[387]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[8], x[28], x[48], x[68], x[88], x[108], x[128], x[148], x[168], x[188], x[208], x[228], x[248], x[268], x[288], x[308], x[328], x[348], x[368], x[388]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[9], x[29], x[49], x[69], x[89], x[109], x[129], x[149], x[169], x[189], x[209], x[229], x[249], x[269], x[289], x[309], x[329], x[349], x[369], x[389]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[10], x[30], x[50], x[70], x[90], x[110], x[130], x[150], x[170], x[190], x[210], x[230], x[250], x[270], x[290], x[310], x[330], x[350], x[370], x[390]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[11], x[31], x[51], x[71], x[91], x[111], x[131], x[151], x[171], x[191], x[211], x[231], x[251], x[271], x[291], x[311], x[331], x[351], x[371], x[391]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[12], x[32], x[52], x[72], x[92], x[112], x[132], x[152], x[172], x[192], x[212], x[232], x[252], x[272], x[292], x[312], x[332], x[352], x[372], x[392]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[13], x[33], x[53], x[73], x[93], x[113], x[133], x[153], x[173], x[193], x[213], x[233], x[253], x[273], x[293], x[313], x[333], x[353], x[373], x[393]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[14], x[34], x[54], x[74], x[94], x[114], x[134], x[154], x[174], x[194], x[214], x[234], x[254], x[274], x[294], x[314], x[334], x[354], x[374], x[394]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[15], x[35], x[55], x[75], x[95], x[115], x[135], x[155], x[175], x[195], x[215], x[235], x[255], x[275], x[295], x[315], x[335], x[355], x[375], x[395]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[16], x[36], x[56], x[76], x[96], x[116], x[136], x[156], x[176], x[196], x[216], x[236], x[256], x[276], x[296], x[316], x[336], x[356], x[376], x[396]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[17], x[37], x[57], x[77], x[97], x[117], x[137], x[157], x[177], x[197], x[217], x[237], x[257], x[277], x[297], x[317], x[337], x[357], x[377], x[397]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[18], x[38], x[58], x[78], x[98], x[118], x[138], x[158], x[178], x[198], x[218], x[238], x[258], x[278], x[298], x[318], x[338], x[358], x[378], x[398]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[19], x[39], x[59], x[79], x[99], x[119], x[139], x[159], x[179], x[199], x[219], x[239], x[259], x[279], x[299], x[319], x[339], x[359], x[379], x[399]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[20], x[40], x[60], x[80], x[100], x[120], x[140], x[160], x[180], x[200], x[220], x[240], x[260], x[280], x[300], x[320], x[340], x[360], x[380], x[400]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96], x[97], x[98], x[99], x[100]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [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]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [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]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [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]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [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]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[181], x[182], x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[195], x[196], x[197], x[198], x[199], x[200]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[201], x[202], x[203], x[204], x[205], x[206], x[207], x[208], x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[221], x[222], x[223], x[224], x[225], x[226], x[227], x[228], x[229], x[230], x[231], x[232], x[233], x[234], x[235], x[236], x[237], x[238], x[239], x[240]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[241], x[242], x[243], x[244], x[245], x[246], x[247], x[248], x[249], x[250], x[251], x[252], x[253], x[254], x[255], x[256], x[257], x[258], x[259], x[260]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[261], x[262], x[263], x[264], x[265], x[266], x[267], x[268], x[269], x[270], x[271], x[272], x[273], x[274], x[275], x[276], x[277], x[278], x[279], x[280]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[281], x[282], x[283], x[284], x[285], x[286], x[287], x[288], x[289], x[290], x[291], x[292], x[293], x[294], x[295], x[296], x[297], x[298], x[299], x[300]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[301], x[302], x[303], x[304], x[305], x[306], x[307], x[308], x[309], x[310], x[311], x[312], x[313], x[314], x[315], x[316], x[317], x[318], x[319], x[320]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[321], x[322], x[323], x[324], x[325], x[326], x[327], x[328], x[329], x[330], x[331], x[332], x[333], x[334], x[335], x[336], x[337], x[338], x[339], x[340]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[341], x[342], x[343], x[344], x[345], x[346], x[347], x[348], x[349], x[350], x[351], x[352], x[353], x[354], x[355], x[356], x[357], x[358], x[359], x[360]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[361], x[362], x[363], x[364], x[365], x[366], x[367], x[368], x[369], x[370], x[371], x[372], x[373], x[374], x[375], x[376], x[377], x[378], x[379], x[380]], 1);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[381], x[382], x[383], x[384], x[385], x[386], x[387], x[388], x[389], x[390], x[391], x[392], x[393], x[394], x[395], x[396], x[397], x[398], x[399], x[400]], 1);
constraint int_lin_eq([-1, 30, 10, 33, 49, 50, 38, 32, 92, 61, 31, 22, 31, 55, 26, 19, 21, 61, 14, 21, 23, 10, 33, 28, 15, 22, 22, 36, 33, 36, 38, 36, 24, 26, 22, 55, 10, 22, 26, 10, 22, 10, 41, 26, 52, 21, 24, 21, 33, 33, 10, 33, 24, 25, 37, 24, 36, 36, 22, 22, 22, 22, 22, 10, 13, 36, 10, 41, 55, 42, 57, 57, 16, 15, 21, 69, 16, 33, 31, 57, 23, 25, 19, 53, 53, 44, 33, 39, 61, 34, 27, 30, 53, 22, 29, 36, 36, 22, 22, 44, 58, 22, 32, 18, 36, 10, 30, 30, 16, 10, 16, 21, 11, 59, 36, 61, 45, 69, 28, 27, 33, 50, 28, 21, 19, 69, 11, 28, 27, 33, 50, 28, 21, 19, 69, 11, 33, 42, 39, 37, 30, 27, 28, 25, 38, 36, 38, 26, 21, 27, 21, 39, 42, 57, 27, 33, 25, 34, 27, 32, 50, 22, 30, 22, 28, 25, 39, 52, 37, 19, 34, 11], [INT____00001, 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[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[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[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[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[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[128], x[129], x[130], x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[149], x[150], x[151], x[152], x[153], x[154], x[155], x[156], x[157], x[158], x[159], x[170], x[171], x[172], x[173], x[174], x[175], x[176], x[177], x[178], x[179], x[191], x[192], x[193], x[194], x[195], x[196], x[197], x[198], x[199], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[233], x[234], x[235], x[236], x[237], x[238], x[239], x[254], x[255], x[256], x[257], x[258], x[259], x[275], x[276], x[277], x[278], x[279], x[296], x[297], x[298], x[299], x[317], x[318], x[319], x[338], x[339], x[359]], 0) :: defines_var(INT____00001);
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], x[181], x[182], x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[195], x[196], x[197], x[198], x[199], x[200], x[201], x[202], x[203], x[204], x[205], x[206], x[207], x[208], x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[221], x[222], x[223], x[224], x[225], x[226], x[227], x[228], x[229], x[230], x[231], x[232], x[233], x[234], x[235], x[236], x[237], x[238], x[239], x[240], x[241], x[242], x[243], x[244], x[245], x[246], x[247], x[248], x[249], x[250], x[251], x[252], x[253], x[254], x[255], x[256], x[257], x[258], x[259], x[260], x[261], x[262], x[263], x[264], x[265], x[266], x[267], x[268], x[269], x[270], x[271], x[272], x[273], x[274], x[275], x[276], x[277], x[278], x[279], x[280], x[281], x[282], x[283], x[284], x[285], x[286], x[287], x[288], x[289], x[290], x[291], x[292], x[293], x[294], x[295], x[296], x[297], x[298], x[299], x[300], x[301], x[302], x[303], x[304], x[305], x[306], x[307], x[308], x[309], x[310], x[311], x[312], x[313], x[314], x[315], x[316], x[317], x[318], x[319], x[320], x[321], x[322], x[323], x[324], x[325], x[326], x[327], x[328], x[329], x[330], x[331], x[332], x[333], x[334], x[335], x[336], x[337], x[338], x[339], x[340], x[341], x[342], x[343], x[344], x[345], x[346], x[347], x[348], x[349], x[350], x[351], x[352], x[353], x[354], x[355], x[356], x[357], x[358], x[359], x[360], x[361], x[362], x[363], x[364], x[365], x[366], x[367], x[368], x[369], x[370], x[371], x[372], x[373], x[374], x[375], x[376], x[377], x[378], x[379], x[380], x[381], x[382], x[383], x[384], x[385], x[386], x[387], x[388], x[389], x[390], x[391], x[392], x[393], x[394], x[395], x[396], x[397], x[398], x[399], x[400]], first_fail, indomain_split, complete) maximize INT____00001;