var -40..40: INT____00001 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00002 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00003 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00004 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00005 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00006 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00007 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00008 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00009 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00010 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00011 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00012 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00013 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00014 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00015 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00016 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00017 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00018 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00019 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00020 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00021 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00022 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00023 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00024 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00025 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00026 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00027 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00028 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00029 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00030 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00031 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00032 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00033 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00034 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00035 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00036 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00037 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00038 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00039 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00040 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00041 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00042 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00043 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00044 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00045 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00046 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00047 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00048 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00049 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00050 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00051 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00052 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00053 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00054 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00055 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00056 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00057 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00058 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00059 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00060 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00061 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00062 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00063 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00064 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00065 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00066 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00067 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00068 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00069 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00070 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00071 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00072 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00073 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00074 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00075 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00076 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00077 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00078 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00079 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00080 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00081 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00082 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00083 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00084 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00085 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00086 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00087 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00088 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00089 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00090 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00091 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00092 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00093 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00094 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00095 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00096 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00097 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00098 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00099 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00100 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00101 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00102 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00103 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00104 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00105 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00106 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00107 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00108 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00109 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00110 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00111 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00112 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00113 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00114 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00115 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00116 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00117 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00118 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00119 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00120 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00121 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00122 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00123 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00124 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00125 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00126 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00127 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00128 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00129 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00130 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00131 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00132 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00133 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00134 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00135 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00136 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00137 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00138 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00139 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00140 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00141 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00142 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00143 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00144 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00145 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00146 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00147 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00148 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00149 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00150 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00151 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00152 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00153 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00154 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00155 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00156 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00157 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00158 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00159 :: is_defined_var :: var_is_introduced;
var -40..40: INT____00160 :: is_defined_var :: var_is_introduced;
array [1..4] of var 1..40: weights :: output_array([1..4]);
array [1..160] of var -1..1: x :: output_array([1..40, 1..4]);
constraint int_le(weights[1], weights[2]);
constraint int_le(weights[2], weights[3]);
constraint int_le(weights[3], weights[4]);
constraint int_lin_eq([1, 1, 1, 1], [INT____00001, INT____00002, INT____00003, INT____00004], 1);
constraint int_lin_eq([1, 1, 1, 1], [INT____00005, INT____00006, INT____00007, INT____00008], 2);
constraint int_lin_eq([1, 1, 1, 1], [INT____00009, INT____00010, INT____00011, INT____00012], 3);
constraint int_lin_eq([1, 1, 1, 1], [INT____00013, INT____00014, INT____00015, INT____00016], 4);
constraint int_lin_eq([1, 1, 1, 1], [INT____00017, INT____00018, INT____00019, INT____00020], 5);
constraint int_lin_eq([1, 1, 1, 1], [INT____00021, INT____00022, INT____00023, INT____00024], 6);
constraint int_lin_eq([1, 1, 1, 1], [INT____00025, INT____00026, INT____00027, INT____00028], 7);
constraint int_lin_eq([1, 1, 1, 1], [INT____00029, INT____00030, INT____00031, INT____00032], 8);
constraint int_lin_eq([1, 1, 1, 1], [INT____00033, INT____00034, INT____00035, INT____00036], 9);
constraint int_lin_eq([1, 1, 1, 1], [INT____00037, INT____00038, INT____00039, INT____00040], 10);
constraint int_lin_eq([1, 1, 1, 1], [INT____00041, INT____00042, INT____00043, INT____00044], 11);
constraint int_lin_eq([1, 1, 1, 1], [INT____00045, INT____00046, INT____00047, INT____00048], 12);
constraint int_lin_eq([1, 1, 1, 1], [INT____00049, INT____00050, INT____00051, INT____00052], 13);
constraint int_lin_eq([1, 1, 1, 1], [INT____00053, INT____00054, INT____00055, INT____00056], 14);
constraint int_lin_eq([1, 1, 1, 1], [INT____00057, INT____00058, INT____00059, INT____00060], 15);
constraint int_lin_eq([1, 1, 1, 1], [INT____00061, INT____00062, INT____00063, INT____00064], 16);
constraint int_lin_eq([1, 1, 1, 1], [INT____00065, INT____00066, INT____00067, INT____00068], 17);
constraint int_lin_eq([1, 1, 1, 1], [INT____00069, INT____00070, INT____00071, INT____00072], 18);
constraint int_lin_eq([1, 1, 1, 1], [INT____00073, INT____00074, INT____00075, INT____00076], 19);
constraint int_lin_eq([1, 1, 1, 1], [INT____00077, INT____00078, INT____00079, INT____00080], 20);
constraint int_lin_eq([1, 1, 1, 1], [INT____00081, INT____00082, INT____00083, INT____00084], 21);
constraint int_lin_eq([1, 1, 1, 1], [INT____00085, INT____00086, INT____00087, INT____00088], 22);
constraint int_lin_eq([1, 1, 1, 1], [INT____00089, INT____00090, INT____00091, INT____00092], 23);
constraint int_lin_eq([1, 1, 1, 1], [INT____00093, INT____00094, INT____00095, INT____00096], 24);
constraint int_lin_eq([1, 1, 1, 1], [INT____00097, INT____00098, INT____00099, INT____00100], 25);
constraint int_lin_eq([1, 1, 1, 1], [INT____00101, INT____00102, INT____00103, INT____00104], 26);
constraint int_lin_eq([1, 1, 1, 1], [INT____00105, INT____00106, INT____00107, INT____00108], 27);
constraint int_lin_eq([1, 1, 1, 1], [INT____00109, INT____00110, INT____00111, INT____00112], 28);
constraint int_lin_eq([1, 1, 1, 1], [INT____00113, INT____00114, INT____00115, INT____00116], 29);
constraint int_lin_eq([1, 1, 1, 1], [INT____00117, INT____00118, INT____00119, INT____00120], 30);
constraint int_lin_eq([1, 1, 1, 1], [INT____00121, INT____00122, INT____00123, INT____00124], 31);
constraint int_lin_eq([1, 1, 1, 1], [INT____00125, INT____00126, INT____00127, INT____00128], 32);
constraint int_lin_eq([1, 1, 1, 1], [INT____00129, INT____00130, INT____00131, INT____00132], 33);
constraint int_lin_eq([1, 1, 1, 1], [INT____00133, INT____00134, INT____00135, INT____00136], 34);
constraint int_lin_eq([1, 1, 1, 1], [INT____00137, INT____00138, INT____00139, INT____00140], 35);
constraint int_lin_eq([1, 1, 1, 1], [INT____00141, INT____00142, INT____00143, INT____00144], 36);
constraint int_lin_eq([1, 1, 1, 1], [INT____00145, INT____00146, INT____00147, INT____00148], 37);
constraint int_lin_eq([1, 1, 1, 1], [INT____00149, INT____00150, INT____00151, INT____00152], 38);
constraint int_lin_eq([1, 1, 1, 1], [INT____00153, INT____00154, INT____00155, INT____00156], 39);
constraint int_lin_eq([1, 1, 1, 1], [INT____00157, INT____00158, INT____00159, INT____00160], 40);
constraint int_lin_eq([1, 1, 1, 1], [weights[1], weights[2], weights[3], weights[4]], 40);
constraint int_times(x[1], weights[1], INT____00001) :: defines_var(INT____00001);
constraint int_times(x[2], weights[2], INT____00002) :: defines_var(INT____00002);
constraint int_times(x[3], weights[3], INT____00003) :: defines_var(INT____00003);
constraint int_times(x[4], weights[4], INT____00004) :: defines_var(INT____00004);
constraint int_times(x[5], weights[1], INT____00005) :: defines_var(INT____00005);
constraint int_times(x[6], weights[2], INT____00006) :: defines_var(INT____00006);
constraint int_times(x[7], weights[3], INT____00007) :: defines_var(INT____00007);
constraint int_times(x[8], weights[4], INT____00008) :: defines_var(INT____00008);
constraint int_times(x[9], weights[1], INT____00009) :: defines_var(INT____00009);
constraint int_times(x[10], weights[2], INT____00010) :: defines_var(INT____00010);
constraint int_times(x[11], weights[3], INT____00011) :: defines_var(INT____00011);
constraint int_times(x[12], weights[4], INT____00012) :: defines_var(INT____00012);
constraint int_times(x[13], weights[1], INT____00013) :: defines_var(INT____00013);
constraint int_times(x[14], weights[2], INT____00014) :: defines_var(INT____00014);
constraint int_times(x[15], weights[3], INT____00015) :: defines_var(INT____00015);
constraint int_times(x[16], weights[4], INT____00016) :: defines_var(INT____00016);
constraint int_times(x[17], weights[1], INT____00017) :: defines_var(INT____00017);
constraint int_times(x[18], weights[2], INT____00018) :: defines_var(INT____00018);
constraint int_times(x[19], weights[3], INT____00019) :: defines_var(INT____00019);
constraint int_times(x[20], weights[4], INT____00020) :: defines_var(INT____00020);
constraint int_times(x[21], weights[1], INT____00021) :: defines_var(INT____00021);
constraint int_times(x[22], weights[2], INT____00022) :: defines_var(INT____00022);
constraint int_times(x[23], weights[3], INT____00023) :: defines_var(INT____00023);
constraint int_times(x[24], weights[4], INT____00024) :: defines_var(INT____00024);
constraint int_times(x[25], weights[1], INT____00025) :: defines_var(INT____00025);
constraint int_times(x[26], weights[2], INT____00026) :: defines_var(INT____00026);
constraint int_times(x[27], weights[3], INT____00027) :: defines_var(INT____00027);
constraint int_times(x[28], weights[4], INT____00028) :: defines_var(INT____00028);
constraint int_times(x[29], weights[1], INT____00029) :: defines_var(INT____00029);
constraint int_times(x[30], weights[2], INT____00030) :: defines_var(INT____00030);
constraint int_times(x[31], weights[3], INT____00031) :: defines_var(INT____00031);
constraint int_times(x[32], weights[4], INT____00032) :: defines_var(INT____00032);
constraint int_times(x[33], weights[1], INT____00033) :: defines_var(INT____00033);
constraint int_times(x[34], weights[2], INT____00034) :: defines_var(INT____00034);
constraint int_times(x[35], weights[3], INT____00035) :: defines_var(INT____00035);
constraint int_times(x[36], weights[4], INT____00036) :: defines_var(INT____00036);
constraint int_times(x[37], weights[1], INT____00037) :: defines_var(INT____00037);
constraint int_times(x[38], weights[2], INT____00038) :: defines_var(INT____00038);
constraint int_times(x[39], weights[3], INT____00039) :: defines_var(INT____00039);
constraint int_times(x[40], weights[4], INT____00040) :: defines_var(INT____00040);
constraint int_times(x[41], weights[1], INT____00041) :: defines_var(INT____00041);
constraint int_times(x[42], weights[2], INT____00042) :: defines_var(INT____00042);
constraint int_times(x[43], weights[3], INT____00043) :: defines_var(INT____00043);
constraint int_times(x[44], weights[4], INT____00044) :: defines_var(INT____00044);
constraint int_times(x[45], weights[1], INT____00045) :: defines_var(INT____00045);
constraint int_times(x[46], weights[2], INT____00046) :: defines_var(INT____00046);
constraint int_times(x[47], weights[3], INT____00047) :: defines_var(INT____00047);
constraint int_times(x[48], weights[4], INT____00048) :: defines_var(INT____00048);
constraint int_times(x[49], weights[1], INT____00049) :: defines_var(INT____00049);
constraint int_times(x[50], weights[2], INT____00050) :: defines_var(INT____00050);
constraint int_times(x[51], weights[3], INT____00051) :: defines_var(INT____00051);
constraint int_times(x[52], weights[4], INT____00052) :: defines_var(INT____00052);
constraint int_times(x[53], weights[1], INT____00053) :: defines_var(INT____00053);
constraint int_times(x[54], weights[2], INT____00054) :: defines_var(INT____00054);
constraint int_times(x[55], weights[3], INT____00055) :: defines_var(INT____00055);
constraint int_times(x[56], weights[4], INT____00056) :: defines_var(INT____00056);
constraint int_times(x[57], weights[1], INT____00057) :: defines_var(INT____00057);
constraint int_times(x[58], weights[2], INT____00058) :: defines_var(INT____00058);
constraint int_times(x[59], weights[3], INT____00059) :: defines_var(INT____00059);
constraint int_times(x[60], weights[4], INT____00060) :: defines_var(INT____00060);
constraint int_times(x[61], weights[1], INT____00061) :: defines_var(INT____00061);
constraint int_times(x[62], weights[2], INT____00062) :: defines_var(INT____00062);
constraint int_times(x[63], weights[3], INT____00063) :: defines_var(INT____00063);
constraint int_times(x[64], weights[4], INT____00064) :: defines_var(INT____00064);
constraint int_times(x[65], weights[1], INT____00065) :: defines_var(INT____00065);
constraint int_times(x[66], weights[2], INT____00066) :: defines_var(INT____00066);
constraint int_times(x[67], weights[3], INT____00067) :: defines_var(INT____00067);
constraint int_times(x[68], weights[4], INT____00068) :: defines_var(INT____00068);
constraint int_times(x[69], weights[1], INT____00069) :: defines_var(INT____00069);
constraint int_times(x[70], weights[2], INT____00070) :: defines_var(INT____00070);
constraint int_times(x[71], weights[3], INT____00071) :: defines_var(INT____00071);
constraint int_times(x[72], weights[4], INT____00072) :: defines_var(INT____00072);
constraint int_times(x[73], weights[1], INT____00073) :: defines_var(INT____00073);
constraint int_times(x[74], weights[2], INT____00074) :: defines_var(INT____00074);
constraint int_times(x[75], weights[3], INT____00075) :: defines_var(INT____00075);
constraint int_times(x[76], weights[4], INT____00076) :: defines_var(INT____00076);
constraint int_times(x[77], weights[1], INT____00077) :: defines_var(INT____00077);
constraint int_times(x[78], weights[2], INT____00078) :: defines_var(INT____00078);
constraint int_times(x[79], weights[3], INT____00079) :: defines_var(INT____00079);
constraint int_times(x[80], weights[4], INT____00080) :: defines_var(INT____00080);
constraint int_times(x[81], weights[1], INT____00081) :: defines_var(INT____00081);
constraint int_times(x[82], weights[2], INT____00082) :: defines_var(INT____00082);
constraint int_times(x[83], weights[3], INT____00083) :: defines_var(INT____00083);
constraint int_times(x[84], weights[4], INT____00084) :: defines_var(INT____00084);
constraint int_times(x[85], weights[1], INT____00085) :: defines_var(INT____00085);
constraint int_times(x[86], weights[2], INT____00086) :: defines_var(INT____00086);
constraint int_times(x[87], weights[3], INT____00087) :: defines_var(INT____00087);
constraint int_times(x[88], weights[4], INT____00088) :: defines_var(INT____00088);
constraint int_times(x[89], weights[1], INT____00089) :: defines_var(INT____00089);
constraint int_times(x[90], weights[2], INT____00090) :: defines_var(INT____00090);
constraint int_times(x[91], weights[3], INT____00091) :: defines_var(INT____00091);
constraint int_times(x[92], weights[4], INT____00092) :: defines_var(INT____00092);
constraint int_times(x[93], weights[1], INT____00093) :: defines_var(INT____00093);
constraint int_times(x[94], weights[2], INT____00094) :: defines_var(INT____00094);
constraint int_times(x[95], weights[3], INT____00095) :: defines_var(INT____00095);
constraint int_times(x[96], weights[4], INT____00096) :: defines_var(INT____00096);
constraint int_times(x[97], weights[1], INT____00097) :: defines_var(INT____00097);
constraint int_times(x[98], weights[2], INT____00098) :: defines_var(INT____00098);
constraint int_times(x[99], weights[3], INT____00099) :: defines_var(INT____00099);
constraint int_times(x[100], weights[4], INT____00100) :: defines_var(INT____00100);
constraint int_times(x[101], weights[1], INT____00101) :: defines_var(INT____00101);
constraint int_times(x[102], weights[2], INT____00102) :: defines_var(INT____00102);
constraint int_times(x[103], weights[3], INT____00103) :: defines_var(INT____00103);
constraint int_times(x[104], weights[4], INT____00104) :: defines_var(INT____00104);
constraint int_times(x[105], weights[1], INT____00105) :: defines_var(INT____00105);
constraint int_times(x[106], weights[2], INT____00106) :: defines_var(INT____00106);
constraint int_times(x[107], weights[3], INT____00107) :: defines_var(INT____00107);
constraint int_times(x[108], weights[4], INT____00108) :: defines_var(INT____00108);
constraint int_times(x[109], weights[1], INT____00109) :: defines_var(INT____00109);
constraint int_times(x[110], weights[2], INT____00110) :: defines_var(INT____00110);
constraint int_times(x[111], weights[3], INT____00111) :: defines_var(INT____00111);
constraint int_times(x[112], weights[4], INT____00112) :: defines_var(INT____00112);
constraint int_times(x[113], weights[1], INT____00113) :: defines_var(INT____00113);
constraint int_times(x[114], weights[2], INT____00114) :: defines_var(INT____00114);
constraint int_times(x[115], weights[3], INT____00115) :: defines_var(INT____00115);
constraint int_times(x[116], weights[4], INT____00116) :: defines_var(INT____00116);
constraint int_times(x[117], weights[1], INT____00117) :: defines_var(INT____00117);
constraint int_times(x[118], weights[2], INT____00118) :: defines_var(INT____00118);
constraint int_times(x[119], weights[3], INT____00119) :: defines_var(INT____00119);
constraint int_times(x[120], weights[4], INT____00120) :: defines_var(INT____00120);
constraint int_times(x[121], weights[1], INT____00121) :: defines_var(INT____00121);
constraint int_times(x[122], weights[2], INT____00122) :: defines_var(INT____00122);
constraint int_times(x[123], weights[3], INT____00123) :: defines_var(INT____00123);
constraint int_times(x[124], weights[4], INT____00124) :: defines_var(INT____00124);
constraint int_times(x[125], weights[1], INT____00125) :: defines_var(INT____00125);
constraint int_times(x[126], weights[2], INT____00126) :: defines_var(INT____00126);
constraint int_times(x[127], weights[3], INT____00127) :: defines_var(INT____00127);
constraint int_times(x[128], weights[4], INT____00128) :: defines_var(INT____00128);
constraint int_times(x[129], weights[1], INT____00129) :: defines_var(INT____00129);
constraint int_times(x[130], weights[2], INT____00130) :: defines_var(INT____00130);
constraint int_times(x[131], weights[3], INT____00131) :: defines_var(INT____00131);
constraint int_times(x[132], weights[4], INT____00132) :: defines_var(INT____00132);
constraint int_times(x[133], weights[1], INT____00133) :: defines_var(INT____00133);
constraint int_times(x[134], weights[2], INT____00134) :: defines_var(INT____00134);
constraint int_times(x[135], weights[3], INT____00135) :: defines_var(INT____00135);
constraint int_times(x[136], weights[4], INT____00136) :: defines_var(INT____00136);
constraint int_times(x[137], weights[1], INT____00137) :: defines_var(INT____00137);
constraint int_times(x[138], weights[2], INT____00138) :: defines_var(INT____00138);
constraint int_times(x[139], weights[3], INT____00139) :: defines_var(INT____00139);
constraint int_times(x[140], weights[4], INT____00140) :: defines_var(INT____00140);
constraint int_times(x[141], weights[1], INT____00141) :: defines_var(INT____00141);
constraint int_times(x[142], weights[2], INT____00142) :: defines_var(INT____00142);
constraint int_times(x[143], weights[3], INT____00143) :: defines_var(INT____00143);
constraint int_times(x[144], weights[4], INT____00144) :: defines_var(INT____00144);
constraint int_times(x[145], weights[1], INT____00145) :: defines_var(INT____00145);
constraint int_times(x[146], weights[2], INT____00146) :: defines_var(INT____00146);
constraint int_times(x[147], weights[3], INT____00147) :: defines_var(INT____00147);
constraint int_times(x[148], weights[4], INT____00148) :: defines_var(INT____00148);
constraint int_times(x[149], weights[1], INT____00149) :: defines_var(INT____00149);
constraint int_times(x[150], weights[2], INT____00150) :: defines_var(INT____00150);
constraint int_times(x[151], weights[3], INT____00151) :: defines_var(INT____00151);
constraint int_times(x[152], weights[4], INT____00152) :: defines_var(INT____00152);
constraint int_times(x[153], weights[1], INT____00153) :: defines_var(INT____00153);
constraint int_times(x[154], weights[2], INT____00154) :: defines_var(INT____00154);
constraint int_times(x[155], weights[3], INT____00155) :: defines_var(INT____00155);
constraint int_times(x[156], weights[4], INT____00156) :: defines_var(INT____00156);
constraint int_times(x[157], weights[1], INT____00157) :: defines_var(INT____00157);
constraint int_times(x[158], weights[2], INT____00158) :: defines_var(INT____00158);
constraint int_times(x[159], weights[3], INT____00159) :: defines_var(INT____00159);
constraint int_times(x[160], weights[4], INT____00160) :: defines_var(INT____00160);
solve  :: int_search(weights, occurrence, indomain_min, complete) minimize weights[4];