۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
کاشان :
max = 749807570*u1 + 6996*u2 + 4018*u3 + 133*u4;
۲۴۸۷۸۹*v1 + 2872880*v2 + 10*v3 = 1;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1 – 2872880*v2 – 10*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
خوانسار :
max = 78993410*u1 + 661*u2 + 520*u3 + 95*u4;
۲۰۴۹۰*v1 + 1723728*v2 + 6*v3 = 1;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
خمینی شهر :
max = 308945680*u1 + 6074*u2 + 2872*u3 + 195*u4;
۲۱۸۷۳۷*v1 + 2585592*v2 + 9*v3 =1;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1 -2585592*v2 -9*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
خور و بیایانک :
max = 67342400*u1 + 411*u2 + 306*u3 + 70*u4;
۱۷۴۸۸*v1 + 1723728*v2 + 6*v3 = 1;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
لنجان :
max = 255331547*u1 + 4827*u2 + 2481*u3 + 52*u4;
۵۵۹۸۴*v1 + 2298304*v2 + 8*v3 = 1;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1 – 2298304*v2 – 8*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
مبارکه :
max = 271882333*u1 + 2870*u2 + 1518*u3 + 38*u4;
۶۲۴۵۴*v1 + 1436440*v2 + 5*v3 = 1;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1 – 1436440*v2 – 5*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
نائین :
max = 89732110*u1 + 814*u2 + 728*u3 + 22*u4;
۲۴۴۲۴*v1 + 1723728*v2 + 6*v3 = 1;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
نطنز :
max = 18451329*u1 + 831*u2 + 624*u3 + 48*u4;
۲۰۷۳۶*v1 + 861864*v2 + 3*v3 = 1;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1 – 861864*v2 – 3*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
نجف آباد :
max = 521943271*u1 + 7032*u2 + 4131*u3 + 92*u4;
۲۰۶۱۱۴*v1 + 1723728*v2 + 6*v3 = 1;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
سمیرم :
max = 184524131*u1 + 1519*u2 + 843*u3 + 68*u4;
۲۶۲۶۰*v1 + 1149152*v2 + 4*v3 = 1;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1 – 1149152*v2 – 4*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
شاهین شهر و میمه :
max = 345471290*u1 + 3648*u2 + 2616*u3 + 84*u4;
۱۲۶۰۷۰*v1 + 1436440*v2 + 5*v3 = 1;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1 – 1436440*v2 – 5*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
شهر رضا :
max = 211844921*u1 + 3294*u2 + 2151*u3 + 122*u4;
۱۰۸۲۹۹*v1 + 2011016*v2 + 7*v3 = 1;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1 – 2011016*v2 – 7*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
تیران و کرون :
max = 10485337*u1 + 1806*u2 + 694*u3 + 10*u4;
۱۹۳۱*v1 + 861864*v2 + 3*v3 = 1;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1 – 861864*v2 – 3*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4 – 7500*v1-1436440*v2-5*v3 < 0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4 – 20490*v1-1723728*v2-6*v3 < 0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3 < 0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3 < 0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3 < 0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3 < 0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3 < 0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3 < 0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3 < 0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3 < 0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3 < 0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3 < 0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3 < 0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3 < 0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3 < 0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3 < 0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3 < 0;
۵-۴-۲ ) مدل CCR نوشته شده ادارات ثبت احوال استان مرکزی توسط نرم افزار lingo
اراک :
max = 1218000000*u1 + 25060*u2 + 9619*u3 + 661*u4;
۴۳۸۳۳۸*v1+4509000*v2+27*v3=1;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4 -438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
آشتیان :
max =51508500*u1 + 1334*u2 + 343*u3 + 73*u4;
۱۰۳۲۴*v1+668000*v2+4*v3=1;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
دلیجان :
max =153801500*u1 + 3171*u2 + 759*u3 + 77*u4;
۳۱۸۵۲*v1+835000*v2+5*v3=1;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
فراهان :
max =63625500*u1 + 950*u2 + 9*u3 + 89*u4;
۳۵۶۶*v1+1002000*v2+6*v3=1;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
خمین :
max =280910200*u1 + 4040*u2 + 1878*u3 + 74*u4;
۶۴۰۳۱*v1+2004000*v2+12*v3=1;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
خنداب :
max =32430000*u1 + 3621*u2 + 518*u3 + 132*u4;
۶۹۲۸*v1+835000*v2+5*v3=1;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
کمیجان :
max =103564000*u1 + 1278*u2 + 436*u3 + 114*u4;
۸۹۲۸*v1+1002000*v2+6*v3=1;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
محلات :
max =173828500*u1 + 1473*u2 + 434*u3 + 81*u4;
۳۵۳۱۹*v1+1002000*v2+6*v3=1;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
سربنده :
max =26427500*u1 + 684*u2 + 2*u3 + 54*u4;
۲۰۸۱*v1+501*v2+3*v3=1;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
ساوه :
max =259722900*u1 + 10391*u2 + 3255*u3 + 361*u4;
۱۷۹۰۰۹*v1+2338000*v2+14*v3=1;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1+2338000*v2+14*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
شازند :
max =215863000*u1 + 4159*u2 + 998*u3 + 246*u4;
۱۹۳۵۳*v1+1837000*v2+11*v3=1;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
تفرش :
max =54084500*u1 + 1173*u2 + 514*u3 + 74*u4;
۱۳۹۱۴*v1+668000*v2+4*v3=1;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
زرندیه :
max =67345200*u1 + 2830*u2 + 508*u3 + 55*u4;
۱۷۳۳۷*v1+1002000*v2+6*v3=1;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
۵-۴-۳ ) مقایسه ادارات ثبت احوال استان اصفهان با استان مرکزی نوشته شده در مدل CCR توسط نرم افزار lingo
آران و بیدگل با استان مرکزی:
max =153946598*u1 + 1959*u2 + 944*u3 + 144*u4;
۵۵۶۵۱*v1+9745760*v2+20*v3=1;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4-55651*v1-9745760*v2-20*v3<0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4-15284*v1-8283896*v2-17*v3<0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4-1583609*v1-22983040*v2-80*v3<0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4-33941*v1-861864*v2-3*v3<0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1-2585592*v2-9*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
اردستان با استان مرکزی :
max = 67556000*u1 + 875*u2 + 573*u3 + 108*u4;
۱۵۲۸۴*v1+8283896*v2+17*v3=1;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4-15284*v1-8283896*v2-17*v3<0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4-55651*v1-9745760*v2-20*v3<0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4-1583609*v1-22983040*v2-80*v3<0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4-33941*v1-861864*v2-3*v3<0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1-2585592*v2-9*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
برخوار با استان مرکزی :
max = 5338741*u1 + 2319*u2 + 900*u3 + 40*u4;
۳۳۹۴۱*v1+861864*v2+3*v3=1;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4-33941*v1-861864*v2-3*v3<0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4-55651*v1-9745760*v2-20*v3<0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4-15284*v1-8283896*v2-17*v3<0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4-1583609*v1-22983040*v2-80*v3<0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1-2585592*v2-9*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
چادگان با استان مرکزی :
max = 15977350*u1 + 1403*u2 + 560*u3 + 18*u4;
۷۵۰۰*v1 + 1436440*v2 + 5*v3 = 1;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1 – 1436440*v2 – 5*v3<0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1-2585592*v2-9*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
دهاقان با استان مرکزی :
max = 20168500*u1 + 798*u2 + 292*u3 + 30*u4;
۳۴۱۴۹*v1 + 1436440*v2 + 5*v3 = 1;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1 – 1436440*v2 – 5*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
اصفهان با استان مرکزی :
max = 2158408953*u1 + 43273*u2 + 25793*u3 + 745*u4;
۱۵۸۳۶۰۹*v1+22983040*v2+80*v3=1;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4-1583609*v1-22983040*v2-80*v3<0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4-55651*v1-9745760*v2-20*v3<0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4-15284*v1-8283896*v2-17*v3<0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4-33941*v1-861864*v2-3*v3<0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1-2585592*v2-9*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
فریدن با استان مرکزی :
max = 221947656*u1 + 1996*u2 + 1352*u3 + 64*u4;
۸۱۶۲۲*v1 + 1436440*v2 + 5*v3 = 1;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1 – 1436440*v2 – 5*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
فلاورجان با استان مرکزی :
max = 153801590*u1 + 5232*u2 + 3237*u3 + 57*u4;
۳۷۷۴۰*v1 + 1723728*v2 + 6*v3 = 1;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
فریدون شهر با استان مرکزی :
max = 198755400*u1 + 1321*u2 + 780*u3 + 59*u4;
۳۸۹۵۵*v1 + 2298304*v2 + 8*v3 = 1;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1 – 2298304*v2 – 8*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
گلپایگان با استان مرکزی :
max = 214776301*u1 + 1980*u2 + 1287*u3 + 79*u4;
۴۷۸۴۹*v1 + 2585592*v2 + 9*v3 = 1;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1 – 2585592*v2 – 9*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
کاشان با استان مرکزی :
max = 749807570*u1 + 6996*u2 + 4018*u3 + 133*u4;
۲۴۸۷۸۹*v1 + 2872880*v2 + 10*v3 = 1;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1 – 2872880*v2 – 10*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
خوانسار با استان مرکزی :
max = 78993410*u1 + 661*u2 + 520*u3 + 95*u4;
۲۰۴۹۰*v1 + 1723728*v2 + 6*v3 = 1;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
خمینی شهر با استان مرکزی :
max = 308945680*u1 + 6074*u2 + 2872*u3 + 195*u4;
۲۱۸۷۳۷*v1 + 2585592*v2 + 9*v3 =1;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4-218737*v1 -2585592*v2 -9*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
خور و بیابانک با استان مرکزی :
max = 67342400*u1 + 411*u2 + 306*u3 + 70*u4;
۱۷۴۸۸*v1 + 1723728*v2 + 6*v3 = 1;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
لنجان با استان مرکزی :
max = 255331547*u1 + 4827*u2 + 2481*u3 + 52*u4;
۵۵۹۸۴*v1 + 2298304*v2 + 8*v3 = 1;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1 – 2298304*v2 – 8*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1-1436440*v2-5*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
مبارکه با استان مرکزی :
max = 271882333*u1 + 2870*u2 + 1518*u3 + 38*u4;
۶۲۴۵۴*v1 + 1436440*v2 + 5*v3 = 1;
۲۷۱۸۸۲۳۳۳*u1 + 2870*u2 + 1518*u3 + 38*u4-62454*v1 – 1436440*v2 – 5*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1-2585592*v2-9*v3 < 0;
۷۸۹۹۳۴۱۰*u1 + 661*u2 + 520*u3 + 95*u4-20490*v1-1723728*v2-6*v3<0;
۶۷۳۴۲۴۰۰*u1 + 411*u2 + 306*u3 + 70*u4-17488*v1-1723728*v2-6*v3<0;
۲۰۱۶۸۵۰۰*u1 + 798*u2 + 292*u3 + 30*u4-34149*v1-1436440*v2-5*v3<0;
۱۸۴۵۲۴۱۳۱*u1 + 1519*u2 + 843*u3 + 68*u4-26260*v1-1149152*v2-4*v3<0;
۳۴۵۴۷۱۲۹۰*u1 + 3648*u2 + 2616*u3 + 84*u4-126070*v1-1436440*v2-5*v3<0;
۲۱۱۸۴۴۹۲۱*u1 + 3294*u2 + 2151*u3 + 122*u4-108299*v1-2011016*v2-7*v3<0;
۲۲۱۹۴۷۶۵۶*u1 + 1996*u2 + 1352*u3 + 64*u4-81622*v1-1436440*v2-5*v3<0;
۱۹۸۷۵۵۴۰۰*u1 + 1321*u2 + 780*u3 + 59*u4-38955*v1-2298304*v2-8*v3<0;
۱۵۳۸۰۱۵۹۰*u1 + 5232*u2 + 3237*u3 + 57*u4-37740*v1-1723728*v2-6*v3<0;
۷۴۹۸۰۷۵۷۰*u1 + 6996*u2 + 4018*u3 + 133*u4-248789*v1-2872880*v2-10*v3<0;
۲۱۴۷۷۶۳۰۱*u1 + 1980*u2 + 1287*u3 + 79*u4-47849*v1-2585592*v2-9*v3<0;
۲۵۵۳۳۱۵۴۷*u1 + 4827*u2 + 2481*u3 + 52*u4-55984*v1-2298304*v2-8*v3<0;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1-1723728*v2-6*v3<0;
۵۲۱۹۴۳۲۷۱*u1 + 7032*u2 + 4131*u3 + 92*u4-206114*v1-1723728*v2-6*v3<0;
۱۸۴۵۱۳۲۹*u1 + 831*u2 + 624*u3 + 48*u4-20736*v1-861864*v2-3*v3<0;
۱۲۱۸۰۰۰۰۰۰*u1 + 25060*u2 + 9619*u3 + 661*u4-438338*v1-4509000*v2-27*v3<0;
۵۱۵۰۸۵۰۰*u1 + 1334*u2 + 343*u3 + 73*u4-10324*v1-668000*v2-4*v3<0;
۵۴۰۸۴۵۰۰*u1 + 1173*u2 + 514*u3 + 74*u4-13914*v1-668000*v2-4*v3<0;
۲۸۰۹۱۰۲۰۰*u1 + 4040*u2 + 1878*u3 + 74*u4-64031*v1-2004000*v2-12*v3<0;
۳۲۴۳۰۰۰۰*u1 + 3621*u2 + 518*u3 + 132*u4-6928*v1-835000*v2-5*v3<0;
۱۵۳۸۰۱۵۰۰*u1 + 3171*u2 + 759*u3 + 77*u4-31852*v1-835000*v2-5*v3<0;
۶۷۳۴۵۲۰۰*u1 + 2830*u2 + 508*u3 + 55*u4-17337*v1-1002000*v2-6*v3<0;
۲۵۹۷۲۲۹۰۰*u1 + 10391*u2 + 3255*u3 + 361*u4-179009*v1-2338000*v2-14*v3<0;
۲۶۴۲۷۵۰۰*u1 + 684*u2 + 2*u3 + 54*u4-2081*v1-501*v2-3*v3<0;
۲۱۵۸۶۳۰۰۰*u1 + 4159*u2 + 998*u3 + 246*u4-19353*v1-1837000*v2-11*v3<0;
۶۳۶۲۵۵۰۰*u1 + 950*u2 + 9*u3 + 89*u4-3566*v1-1002000*v2-6*v3<0;
۱۰۳۵۶۴۰۰۰*u1 + 1278*u2 + 436*u3 + 114*u4-8928*v1-1002000*v2-6*v3<0;
۱۷۳۸۲۸۵۰۰*u1 + 1473*u2 + 434*u3 + 81*u4-35319*v1-1002000*v2-6*v3<0;
نائین با استان مرکزی :
max = 89732110*u1 + 814*u2 + 728*u3 + 22*u4;
۲۴۴۲۴*v1 + 1723728*v2 + 6*v3 = 1;
۸۹۷۳۲۱۱۰*u1 + 814*u2 + 728*u3 + 22*u4-24424*v1 – 1723728*v2 – 6*v3 <0;
۱۵۳۹۴۶۵۹۸*u1 + 1959*u2 + 944*u3 + 144*u4 – 55651*v1 – 9745760*v2 – 20*v3 < 0;
۶۷۵۵۶۰۰۰*u1 + 875*u2 + 573*u3 + 108*u4 – 15284*v1-8283896*v2-17*v3 < 0;
۲۱۵۸۴۰۸۹۵۳*u1 + 43273*u2 + 25793*u3 + 745*u4 – 1583609*v1-22983040*v2-80*v3 < 0;
۵۳۳۸۷۴۱*u1 + 2319*u2 + 900*u3 + 40*u4 – 33941*v1-861864*v2-3*v3 < 0;
۱۰۴۸۵۳۳۷*u1 + 1806*u2 + 694*u3 + 10*u4-1931*v1-861864*v2-3*v3<0;
۱۵۹۷۷۳۵۰*u1 + 1403*u2 + 560*u3 + 18*u4-7500*v1-1436440*v2-5*v3<0;
۳۰۸۹۴۵۶۸۰*u1 + 6074*u2 + 2872*u3 + 195*u4 – 218737*v1
فرم در حال بارگذاری ...
