ortools-clone/examples/flatzinc/debruijn_binary.fzn

predicate fzn_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_fzn_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_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
array [1..52] of var 0..12: bin_code :: output_array([1..52]);
array [1..208] of var 0..12: binary :: output_array([1..52, 1..4]);
array [1..13] of var int: gcc :: output_array([0..12]);
array [1..4] of var 0..12: t____00001;
array [1..4] of var 0..12: t____00002;
array [1..4] of var 0..12: t____00003;
array [1..4] of var 0..12: t____00004;
array [1..4] of var 0..12: t____00005;
array [1..4] of var 0..12: t____00006;
array [1..4] of var 0..12: t____00007;
array [1..4] of var 0..12: t____00008;
array [1..4] of var 0..12: t____00009;
array [1..4] of var 0..12: t____00010;
array [1..4] of var 0..12: t____00011;
array [1..4] of var 0..12: t____00012;
array [1..4] of var 0..12: t____00013;
array [1..4] of var 0..12: t____00014;
array [1..4] of var 0..12: t____00015;
array [1..4] of var 0..12: t____00016;
array [1..4] of var 0..12: t____00017;
array [1..4] of var 0..12: t____00018;
array [1..4] of var 0..12: t____00019;
array [1..4] of var 0..12: t____00020;
array [1..4] of var 0..12: t____00021;
array [1..4] of var 0..12: t____00022;
array [1..4] of var 0..12: t____00023;
array [1..4] of var 0..12: t____00024;
array [1..4] of var 0..12: t____00025;
array [1..4] of var 0..12: t____00026;
array [1..4] of var 0..12: t____00027;
array [1..4] of var 0..12: t____00028;
array [1..4] of var 0..12: t____00029;
array [1..4] of var 0..12: t____00030;
array [1..4] of var 0..12: t____00031;
array [1..4] of var 0..12: t____00032;
array [1..4] of var 0..12: t____00033;
array [1..4] of var 0..12: t____00034;
array [1..4] of var 0..12: t____00035;
array [1..4] of var 0..12: t____00036;
array [1..4] of var 0..12: t____00037;
array [1..4] of var 0..12: t____00038;
array [1..4] of var 0..12: t____00039;
array [1..4] of var 0..12: t____00040;
array [1..4] of var 0..12: t____00041;
array [1..4] of var 0..12: t____00042;
array [1..4] of var 0..12: t____00043;
array [1..4] of var 0..12: t____00044;
array [1..4] of var 0..12: t____00045;
array [1..4] of var 0..12: t____00046;
array [1..4] of var 0..12: t____00047;
array [1..4] of var 0..12: t____00048;
array [1..4] of var 0..12: t____00049;
array [1..4] of var 0..12: t____00050;
array [1..4] of var 0..12: t____00051;
array [1..4] of var 0..12: t____00052;
array [1..52] of var 0..28560: x :: output_array([1..52]);
constraint fzn_all_different_int(x);
constraint global_cardinality(bin_code, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], gcc);
constraint int_eq(bin_code[1], binary[1]);
constraint int_eq(bin_code[2], binary[5]);
constraint int_eq(bin_code[3], binary[9]);
constraint int_eq(bin_code[4], binary[13]);
constraint int_eq(bin_code[5], binary[17]);
constraint int_eq(bin_code[6], binary[21]);
constraint int_eq(bin_code[7], binary[25]);
constraint int_eq(bin_code[8], binary[29]);
constraint int_eq(bin_code[9], binary[33]);
constraint int_eq(bin_code[10], binary[37]);
constraint int_eq(bin_code[11], binary[41]);
constraint int_eq(bin_code[12], binary[45]);
constraint int_eq(bin_code[13], binary[49]);
constraint int_eq(bin_code[14], binary[53]);
constraint int_eq(bin_code[15], binary[57]);
constraint int_eq(bin_code[16], binary[61]);
constraint int_eq(bin_code[17], binary[65]);
constraint int_eq(bin_code[18], binary[69]);
constraint int_eq(bin_code[19], binary[73]);
constraint int_eq(bin_code[20], binary[77]);
constraint int_eq(bin_code[21], binary[81]);
constraint int_eq(bin_code[22], binary[85]);
constraint int_eq(bin_code[23], binary[89]);
constraint int_eq(bin_code[24], binary[93]);
constraint int_eq(bin_code[25], binary[97]);
constraint int_eq(bin_code[26], binary[101]);
constraint int_eq(bin_code[27], binary[105]);
constraint int_eq(bin_code[28], binary[109]);
constraint int_eq(bin_code[29], binary[113]);
constraint int_eq(bin_code[30], binary[117]);
constraint int_eq(bin_code[31], binary[121]);
constraint int_eq(bin_code[32], binary[125]);
constraint int_eq(bin_code[33], binary[129]);
constraint int_eq(bin_code[34], binary[133]);
constraint int_eq(bin_code[35], binary[137]);
constraint int_eq(bin_code[36], binary[141]);
constraint int_eq(bin_code[37], binary[145]);
constraint int_eq(bin_code[38], binary[149]);
constraint int_eq(bin_code[39], binary[153]);
constraint int_eq(bin_code[40], binary[157]);
constraint int_eq(bin_code[41], binary[161]);
constraint int_eq(bin_code[42], binary[165]);
constraint int_eq(bin_code[43], binary[169]);
constraint int_eq(bin_code[44], binary[173]);
constraint int_eq(bin_code[45], binary[177]);
constraint int_eq(bin_code[46], binary[181]);
constraint int_eq(bin_code[47], binary[185]);
constraint int_eq(bin_code[48], binary[189]);
constraint int_eq(bin_code[49], binary[193]);
constraint int_eq(bin_code[50], binary[197]);
constraint int_eq(bin_code[51], binary[201]);
constraint int_eq(bin_code[52], binary[205]);
constraint int_eq(binary[1], t____00001[1]);
constraint int_eq(binary[2], binary[5]);
constraint int_eq(binary[2], t____00001[2]);
constraint int_eq(binary[3], binary[6]);
constraint int_eq(binary[3], t____00001[3]);
constraint int_eq(binary[4], binary[7]);
constraint int_eq(binary[4], t____00001[4]);
constraint int_eq(binary[5], t____00002[1]);
constraint int_eq(binary[6], binary[9]);
constraint int_eq(binary[6], t____00002[2]);
constraint int_eq(binary[7], binary[10]);
constraint int_eq(binary[7], t____00002[3]);
constraint int_eq(binary[8], binary[11]);
constraint int_eq(binary[8], t____00002[4]);
constraint int_eq(binary[9], t____00003[1]);
constraint int_eq(binary[10], binary[13]);
constraint int_eq(binary[10], t____00003[2]);
constraint int_eq(binary[11], binary[14]);
constraint int_eq(binary[11], t____00003[3]);
constraint int_eq(binary[12], binary[15]);
constraint int_eq(binary[12], t____00003[4]);
constraint int_eq(binary[13], t____00004[1]);
constraint int_eq(binary[14], binary[17]);
constraint int_eq(binary[14], t____00004[2]);
constraint int_eq(binary[15], binary[18]);
constraint int_eq(binary[15], t____00004[3]);
constraint int_eq(binary[16], binary[19]);
constraint int_eq(binary[16], t____00004[4]);
constraint int_eq(binary[17], t____00005[1]);
constraint int_eq(binary[18], binary[21]);
constraint int_eq(binary[18], t____00005[2]);
constraint int_eq(binary[19], binary[22]);
constraint int_eq(binary[19], t____00005[3]);
constraint int_eq(binary[20], binary[23]);
constraint int_eq(binary[20], t____00005[4]);
constraint int_eq(binary[21], t____00006[1]);
constraint int_eq(binary[22], binary[25]);
constraint int_eq(binary[22], t____00006[2]);
constraint int_eq(binary[23], binary[26]);
constraint int_eq(binary[23], t____00006[3]);
constraint int_eq(binary[24], binary[27]);
constraint int_eq(binary[24], t____00006[4]);
constraint int_eq(binary[25], t____00007[1]);
constraint int_eq(binary[26], binary[29]);
constraint int_eq(binary[26], t____00007[2]);
constraint int_eq(binary[27], binary[30]);
constraint int_eq(binary[27], t____00007[3]);
constraint int_eq(binary[28], binary[31]);
constraint int_eq(binary[28], t____00007[4]);
constraint int_eq(binary[29], t____00008[1]);
constraint int_eq(binary[30], binary[33]);
constraint int_eq(binary[30], t____00008[2]);
constraint int_eq(binary[31], binary[34]);
constraint int_eq(binary[31], t____00008[3]);
constraint int_eq(binary[32], binary[35]);
constraint int_eq(binary[32], t____00008[4]);
constraint int_eq(binary[33], t____00009[1]);
constraint int_eq(binary[34], binary[37]);
constraint int_eq(binary[34], t____00009[2]);
constraint int_eq(binary[35], binary[38]);
constraint int_eq(binary[35], t____00009[3]);
constraint int_eq(binary[36], binary[39]);
constraint int_eq(binary[36], t____00009[4]);
constraint int_eq(binary[37], t____00010[1]);
constraint int_eq(binary[38], binary[41]);
constraint int_eq(binary[38], t____00010[2]);
constraint int_eq(binary[39], binary[42]);
constraint int_eq(binary[39], t____00010[3]);
constraint int_eq(binary[40], binary[43]);
constraint int_eq(binary[40], t____00010[4]);
constraint int_eq(binary[41], t____00011[1]);
constraint int_eq(binary[42], binary[45]);
constraint int_eq(binary[42], t____00011[2]);
constraint int_eq(binary[43], binary[46]);
constraint int_eq(binary[43], t____00011[3]);
constraint int_eq(binary[44], binary[47]);
constraint int_eq(binary[44], t____00011[4]);
constraint int_eq(binary[45], t____00012[1]);
constraint int_eq(binary[46], binary[49]);
constraint int_eq(binary[46], t____00012[2]);
constraint int_eq(binary[47], binary[50]);
constraint int_eq(binary[47], t____00012[3]);
constraint int_eq(binary[48], binary[51]);
constraint int_eq(binary[48], t____00012[4]);
constraint int_eq(binary[49], t____00013[1]);
constraint int_eq(binary[50], binary[53]);
constraint int_eq(binary[50], t____00013[2]);
constraint int_eq(binary[51], binary[54]);
constraint int_eq(binary[51], t____00013[3]);
constraint int_eq(binary[52], binary[55]);
constraint int_eq(binary[52], t____00013[4]);
constraint int_eq(binary[53], t____00014[1]);
constraint int_eq(binary[54], binary[57]);
constraint int_eq(binary[54], t____00014[2]);
constraint int_eq(binary[55], binary[58]);
constraint int_eq(binary[55], t____00014[3]);
constraint int_eq(binary[56], binary[59]);
constraint int_eq(binary[56], t____00014[4]);
constraint int_eq(binary[57], t____00015[1]);
constraint int_eq(binary[58], binary[61]);
constraint int_eq(binary[58], t____00015[2]);
constraint int_eq(binary[59], binary[62]);
constraint int_eq(binary[59], t____00015[3]);
constraint int_eq(binary[60], binary[63]);
constraint int_eq(binary[60], t____00015[4]);
constraint int_eq(binary[61], t____00016[1]);
constraint int_eq(binary[62], binary[65]);
constraint int_eq(binary[62], t____00016[2]);
constraint int_eq(binary[63], binary[66]);
constraint int_eq(binary[63], t____00016[3]);
constraint int_eq(binary[64], binary[67]);
constraint int_eq(binary[64], t____00016[4]);
constraint int_eq(binary[65], t____00017[1]);
constraint int_eq(binary[66], binary[69]);
constraint int_eq(binary[66], t____00017[2]);
constraint int_eq(binary[67], binary[70]);
constraint int_eq(binary[67], t____00017[3]);
constraint int_eq(binary[68], binary[71]);
constraint int_eq(binary[68], t____00017[4]);
constraint int_eq(binary[69], t____00018[1]);
constraint int_eq(binary[70], binary[73]);
constraint int_eq(binary[70], t____00018[2]);
constraint int_eq(binary[71], binary[74]);
constraint int_eq(binary[71], t____00018[3]);
constraint int_eq(binary[72], binary[75]);
constraint int_eq(binary[72], t____00018[4]);
constraint int_eq(binary[73], t____00019[1]);
constraint int_eq(binary[74], binary[77]);
constraint int_eq(binary[74], t____00019[2]);
constraint int_eq(binary[75], binary[78]);
constraint int_eq(binary[75], t____00019[3]);
constraint int_eq(binary[76], binary[79]);
constraint int_eq(binary[76], t____00019[4]);
constraint int_eq(binary[77], t____00020[1]);
constraint int_eq(binary[78], binary[81]);
constraint int_eq(binary[78], t____00020[2]);
constraint int_eq(binary[79], binary[82]);
constraint int_eq(binary[79], t____00020[3]);
constraint int_eq(binary[80], binary[83]);
constraint int_eq(binary[80], t____00020[4]);
constraint int_eq(binary[81], t____00021[1]);
constraint int_eq(binary[82], binary[85]);
constraint int_eq(binary[82], t____00021[2]);
constraint int_eq(binary[83], binary[86]);
constraint int_eq(binary[83], t____00021[3]);
constraint int_eq(binary[84], binary[87]);
constraint int_eq(binary[84], t____00021[4]);
constraint int_eq(binary[85], t____00022[1]);
constraint int_eq(binary[86], binary[89]);
constraint int_eq(binary[86], t____00022[2]);
constraint int_eq(binary[87], binary[90]);
constraint int_eq(binary[87], t____00022[3]);
constraint int_eq(binary[88], binary[91]);
constraint int_eq(binary[88], t____00022[4]);
constraint int_eq(binary[89], t____00023[1]);
constraint int_eq(binary[90], binary[93]);
constraint int_eq(binary[90], t____00023[2]);
constraint int_eq(binary[91], binary[94]);
constraint int_eq(binary[91], t____00023[3]);
constraint int_eq(binary[92], binary[95]);
constraint int_eq(binary[92], t____00023[4]);
constraint int_eq(binary[93], t____00024[1]);
constraint int_eq(binary[94], binary[97]);
constraint int_eq(binary[94], t____00024[2]);
constraint int_eq(binary[95], binary[98]);
constraint int_eq(binary[95], t____00024[3]);
constraint int_eq(binary[96], binary[99]);
constraint int_eq(binary[96], t____00024[4]);
constraint int_eq(binary[97], t____00025[1]);
constraint int_eq(binary[98], binary[101]);
constraint int_eq(binary[98], t____00025[2]);
constraint int_eq(binary[99], binary[102]);
constraint int_eq(binary[99], t____00025[3]);
constraint int_eq(binary[100], binary[103]);
constraint int_eq(binary[100], t____00025[4]);
constraint int_eq(binary[101], t____00026[1]);
constraint int_eq(binary[102], binary[105]);
constraint int_eq(binary[102], t____00026[2]);
constraint int_eq(binary[103], binary[106]);
constraint int_eq(binary[103], t____00026[3]);
constraint int_eq(binary[104], binary[107]);
constraint int_eq(binary[104], t____00026[4]);
constraint int_eq(binary[105], t____00027[1]);
constraint int_eq(binary[106], binary[109]);
constraint int_eq(binary[106], t____00027[2]);
constraint int_eq(binary[107], binary[110]);
constraint int_eq(binary[107], t____00027[3]);
constraint int_eq(binary[108], binary[111]);
constraint int_eq(binary[108], t____00027[4]);
constraint int_eq(binary[109], t____00028[1]);
constraint int_eq(binary[110], binary[113]);
constraint int_eq(binary[110], t____00028[2]);
constraint int_eq(binary[111], binary[114]);
constraint int_eq(binary[111], t____00028[3]);
constraint int_eq(binary[112], binary[115]);
constraint int_eq(binary[112], t____00028[4]);
constraint int_eq(binary[113], t____00029[1]);
constraint int_eq(binary[114], binary[117]);
constraint int_eq(binary[114], t____00029[2]);
constraint int_eq(binary[115], binary[118]);
constraint int_eq(binary[115], t____00029[3]);
constraint int_eq(binary[116], binary[119]);
constraint int_eq(binary[116], t____00029[4]);
constraint int_eq(binary[117], t____00030[1]);
constraint int_eq(binary[118], binary[121]);
constraint int_eq(binary[118], t____00030[2]);
constraint int_eq(binary[119], binary[122]);
constraint int_eq(binary[119], t____00030[3]);
constraint int_eq(binary[120], binary[123]);
constraint int_eq(binary[120], t____00030[4]);
constraint int_eq(binary[121], t____00031[1]);
constraint int_eq(binary[122], binary[125]);
constraint int_eq(binary[122], t____00031[2]);
constraint int_eq(binary[123], binary[126]);
constraint int_eq(binary[123], t____00031[3]);
constraint int_eq(binary[124], binary[127]);
constraint int_eq(binary[124], t____00031[4]);
constraint int_eq(binary[125], t____00032[1]);
constraint int_eq(binary[126], binary[129]);
constraint int_eq(binary[126], t____00032[2]);
constraint int_eq(binary[127], binary[130]);
constraint int_eq(binary[127], t____00032[3]);
constraint int_eq(binary[128], binary[131]);
constraint int_eq(binary[128], t____00032[4]);
constraint int_eq(binary[129], t____00033[1]);
constraint int_eq(binary[130], binary[133]);
constraint int_eq(binary[130], t____00033[2]);
constraint int_eq(binary[131], binary[134]);
constraint int_eq(binary[131], t____00033[3]);
constraint int_eq(binary[132], binary[135]);
constraint int_eq(binary[132], t____00033[4]);
constraint int_eq(binary[133], t____00034[1]);
constraint int_eq(binary[134], binary[137]);
constraint int_eq(binary[134], t____00034[2]);
constraint int_eq(binary[135], binary[138]);
constraint int_eq(binary[135], t____00034[3]);
constraint int_eq(binary[136], binary[139]);
constraint int_eq(binary[136], t____00034[4]);
constraint int_eq(binary[137], t____00035[1]);
constraint int_eq(binary[138], binary[141]);
constraint int_eq(binary[138], t____00035[2]);
constraint int_eq(binary[139], binary[142]);
constraint int_eq(binary[139], t____00035[3]);
constraint int_eq(binary[140], binary[143]);
constraint int_eq(binary[140], t____00035[4]);
constraint int_eq(binary[141], t____00036[1]);
constraint int_eq(binary[142], binary[145]);
constraint int_eq(binary[142], t____00036[2]);
constraint int_eq(binary[143], binary[146]);
constraint int_eq(binary[143], t____00036[3]);
constraint int_eq(binary[144], binary[147]);
constraint int_eq(binary[144], t____00036[4]);
constraint int_eq(binary[145], t____00037[1]);
constraint int_eq(binary[146], binary[149]);
constraint int_eq(binary[146], t____00037[2]);
constraint int_eq(binary[147], binary[150]);
constraint int_eq(binary[147], t____00037[3]);
constraint int_eq(binary[148], binary[151]);
constraint int_eq(binary[148], t____00037[4]);
constraint int_eq(binary[149], t____00038[1]);
constraint int_eq(binary[150], binary[153]);
constraint int_eq(binary[150], t____00038[2]);
constraint int_eq(binary[151], binary[154]);
constraint int_eq(binary[151], t____00038[3]);
constraint int_eq(binary[152], binary[155]);
constraint int_eq(binary[152], t____00038[4]);
constraint int_eq(binary[153], t____00039[1]);
constraint int_eq(binary[154], binary[157]);
constraint int_eq(binary[154], t____00039[2]);
constraint int_eq(binary[155], binary[158]);
constraint int_eq(binary[155], t____00039[3]);
constraint int_eq(binary[156], binary[159]);
constraint int_eq(binary[156], t____00039[4]);
constraint int_eq(binary[157], t____00040[1]);
constraint int_eq(binary[158], binary[161]);
constraint int_eq(binary[158], t____00040[2]);
constraint int_eq(binary[159], binary[162]);
constraint int_eq(binary[159], t____00040[3]);
constraint int_eq(binary[160], binary[163]);
constraint int_eq(binary[160], t____00040[4]);
constraint int_eq(binary[161], t____00041[1]);
constraint int_eq(binary[162], binary[165]);
constraint int_eq(binary[162], t____00041[2]);
constraint int_eq(binary[163], binary[166]);
constraint int_eq(binary[163], t____00041[3]);
constraint int_eq(binary[164], binary[167]);
constraint int_eq(binary[164], t____00041[4]);
constraint int_eq(binary[165], t____00042[1]);
constraint int_eq(binary[166], binary[169]);
constraint int_eq(binary[166], t____00042[2]);
constraint int_eq(binary[167], binary[170]);
constraint int_eq(binary[167], t____00042[3]);
constraint int_eq(binary[168], binary[171]);
constraint int_eq(binary[168], t____00042[4]);
constraint int_eq(binary[169], t____00043[1]);
constraint int_eq(binary[170], binary[173]);
constraint int_eq(binary[170], t____00043[2]);
constraint int_eq(binary[171], binary[174]);
constraint int_eq(binary[171], t____00043[3]);
constraint int_eq(binary[172], binary[175]);
constraint int_eq(binary[172], t____00043[4]);
constraint int_eq(binary[173], t____00044[1]);
constraint int_eq(binary[174], binary[177]);
constraint int_eq(binary[174], t____00044[2]);
constraint int_eq(binary[175], binary[178]);
constraint int_eq(binary[175], t____00044[3]);
constraint int_eq(binary[176], binary[179]);
constraint int_eq(binary[176], t____00044[4]);
constraint int_eq(binary[177], t____00045[1]);
constraint int_eq(binary[178], binary[181]);
constraint int_eq(binary[178], t____00045[2]);
constraint int_eq(binary[179], binary[182]);
constraint int_eq(binary[179], t____00045[3]);
constraint int_eq(binary[180], binary[183]);
constraint int_eq(binary[180], t____00045[4]);
constraint int_eq(binary[181], t____00046[1]);
constraint int_eq(binary[182], binary[185]);
constraint int_eq(binary[182], t____00046[2]);
constraint int_eq(binary[183], binary[186]);
constraint int_eq(binary[183], t____00046[3]);
constraint int_eq(binary[184], binary[187]);
constraint int_eq(binary[184], t____00046[4]);
constraint int_eq(binary[185], t____00047[1]);
constraint int_eq(binary[186], binary[189]);
constraint int_eq(binary[186], t____00047[2]);
constraint int_eq(binary[187], binary[190]);
constraint int_eq(binary[187], t____00047[3]);
constraint int_eq(binary[188], binary[191]);
constraint int_eq(binary[188], t____00047[4]);
constraint int_eq(binary[189], t____00048[1]);
constraint int_eq(binary[190], binary[193]);
constraint int_eq(binary[190], t____00048[2]);
constraint int_eq(binary[191], binary[194]);
constraint int_eq(binary[191], t____00048[3]);
constraint int_eq(binary[192], binary[195]);
constraint int_eq(binary[192], t____00048[4]);
constraint int_eq(binary[193], t____00049[1]);
constraint int_eq(binary[194], binary[197]);
constraint int_eq(binary[194], t____00049[2]);
constraint int_eq(binary[195], binary[198]);
constraint int_eq(binary[195], t____00049[3]);
constraint int_eq(binary[196], binary[199]);
constraint int_eq(binary[196], t____00049[4]);
constraint int_eq(binary[197], t____00050[1]);
constraint int_eq(binary[198], binary[201]);
constraint int_eq(binary[198], t____00050[2]);
constraint int_eq(binary[199], binary[202]);
constraint int_eq(binary[199], t____00050[3]);
constraint int_eq(binary[200], binary[203]);
constraint int_eq(binary[200], t____00050[4]);
constraint int_eq(binary[201], t____00051[1]);
constraint int_eq(binary[202], binary[205]);
constraint int_eq(binary[202], t____00051[2]);
constraint int_eq(binary[203], binary[206]);
constraint int_eq(binary[203], t____00051[3]);
constraint int_eq(binary[204], binary[207]);
constraint int_eq(binary[204], t____00051[4]);
constraint int_eq(binary[205], t____00052[1]);
constraint int_eq(binary[206], binary[1]);
constraint int_eq(binary[206], t____00052[2]);
constraint int_eq(binary[207], binary[2]);
constraint int_eq(binary[207], t____00052[3]);
constraint int_eq(binary[208], binary[3]);
constraint int_eq(binary[208], t____00052[4]);
constraint int_eq(gcc[2], gcc[1]);
constraint int_eq(gcc[3], gcc[2]);
constraint int_eq(gcc[4], gcc[3]);
constraint int_eq(gcc[5], gcc[4]);
constraint int_eq(gcc[6], gcc[5]);
constraint int_eq(gcc[7], gcc[6]);
constraint int_eq(gcc[8], gcc[7]);
constraint int_eq(gcc[9], gcc[8]);
constraint int_eq(gcc[10], gcc[9]);
constraint int_eq(gcc[11], gcc[10]);
constraint int_eq(gcc[12], gcc[11]);
constraint int_eq(gcc[13], gcc[12]);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00001[1], t____00001[2], t____00001[3], t____00001[4], x[1]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00002[1], t____00002[2], t____00002[3], t____00002[4], x[2]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00003[1], t____00003[2], t____00003[3], t____00003[4], x[3]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00004[1], t____00004[2], t____00004[3], t____00004[4], x[4]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00005[1], t____00005[2], t____00005[3], t____00005[4], x[5]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00006[1], t____00006[2], t____00006[3], t____00006[4], x[6]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00007[1], t____00007[2], t____00007[3], t____00007[4], x[7]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00008[1], t____00008[2], t____00008[3], t____00008[4], x[8]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00009[1], t____00009[2], t____00009[3], t____00009[4], x[9]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00010[1], t____00010[2], t____00010[3], t____00010[4], x[10]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00011[1], t____00011[2], t____00011[3], t____00011[4], x[11]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00012[1], t____00012[2], t____00012[3], t____00012[4], x[12]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00013[1], t____00013[2], t____00013[3], t____00013[4], x[13]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00014[1], t____00014[2], t____00014[3], t____00014[4], x[14]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00015[1], t____00015[2], t____00015[3], t____00015[4], x[15]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00016[1], t____00016[2], t____00016[3], t____00016[4], x[16]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00017[1], t____00017[2], t____00017[3], t____00017[4], x[17]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00018[1], t____00018[2], t____00018[3], t____00018[4], x[18]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00019[1], t____00019[2], t____00019[3], t____00019[4], x[19]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00020[1], t____00020[2], t____00020[3], t____00020[4], x[20]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00021[1], t____00021[2], t____00021[3], t____00021[4], x[21]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00022[1], t____00022[2], t____00022[3], t____00022[4], x[22]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00023[1], t____00023[2], t____00023[3], t____00023[4], x[23]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00024[1], t____00024[2], t____00024[3], t____00024[4], x[24]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00025[1], t____00025[2], t____00025[3], t____00025[4], x[25]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00026[1], t____00026[2], t____00026[3], t____00026[4], x[26]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00027[1], t____00027[2], t____00027[3], t____00027[4], x[27]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00028[1], t____00028[2], t____00028[3], t____00028[4], x[28]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00029[1], t____00029[2], t____00029[3], t____00029[4], x[29]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00030[1], t____00030[2], t____00030[3], t____00030[4], x[30]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00031[1], t____00031[2], t____00031[3], t____00031[4], x[31]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00032[1], t____00032[2], t____00032[3], t____00032[4], x[32]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00033[1], t____00033[2], t____00033[3], t____00033[4], x[33]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00034[1], t____00034[2], t____00034[3], t____00034[4], x[34]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00035[1], t____00035[2], t____00035[3], t____00035[4], x[35]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00036[1], t____00036[2], t____00036[3], t____00036[4], x[36]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00037[1], t____00037[2], t____00037[3], t____00037[4], x[37]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00038[1], t____00038[2], t____00038[3], t____00038[4], x[38]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00039[1], t____00039[2], t____00039[3], t____00039[4], x[39]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00040[1], t____00040[2], t____00040[3], t____00040[4], x[40]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00041[1], t____00041[2], t____00041[3], t____00041[4], x[41]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00042[1], t____00042[2], t____00042[3], t____00042[4], x[42]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00043[1], t____00043[2], t____00043[3], t____00043[4], x[43]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00044[1], t____00044[2], t____00044[3], t____00044[4], x[44]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00045[1], t____00045[2], t____00045[3], t____00045[4], x[45]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00046[1], t____00046[2], t____00046[3], t____00046[4], x[46]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00047[1], t____00047[2], t____00047[3], t____00047[4], x[47]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00048[1], t____00048[2], t____00048[3], t____00048[4], x[48]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00049[1], t____00049[2], t____00049[3], t____00049[4], x[49]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00050[1], t____00050[2], t____00050[3], t____00050[4], x[50]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00051[1], t____00051[2], t____00051[3], t____00051[4], x[51]], 0);
constraint int_lin_eq([-2197, -169, -13, -1, 1], [t____00052[1], t____00052[2], t____00052[3], t____00052[4], x[52]], 0);
constraint minimum_int(x[1], x);
solve  :: int_search(x, first_fail, indomain_split, complete) satisfy;