۱۰۴۸۵۳۳۷*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

روش تحقیق

در این مطالعه از روش مطالعهی اسنادی و بررسی گزارشهای آماری به منظور شناخت وضع موجود و نیز از روش تحلیل ثانویه داده ها[۵۱] برای بررسی و تبیین تغییرات متغیّر وابسته استفاده شده است.
داده های تحقیق
به منظور انجام این تحقیق از ۲۰ درصد داده های خام سرشماری عمومی نفوس و مسکن سال ۱۳۸۵ استان کردستان استفاده شده است. داده ها در مرکز آمار ایران به فرمتdbf موجود بود. بعد از گرفتن داده ها باید آنها را وارد محیطSPSS میکردیم. نیاز بود قبل از تجزیه و تحلیل داده ها، کدهای معتبر مربوط به تحقیق که مورد نیاز بودند را تعریف میکردیم و کدهایی که نیاز نبودند و مربوط به تحقیق نبودند حذف میشدند. پس از حذف کدهای غیر معتبر[۵۲] حجم نهایی نمونه تعیین گردید.

جهت دانلود متن کامل پایان نامه به سایت azarim.ir مراجعه نمایید.

جامعهی آماری

جامعهی آماری شامل کلیهی فارغالتّحصیلان (۳۴ – ۲۴ ساله) آموزش عالی استان کردستان است. با در نظر گرفتن متغیّر وابستهی نهایی تحقیق (شاغل و بیکار بودن افراد) و متغیّرهای مستقل و حذف کدهای غیر معتبر، تعداد فارغالتّحصیلان (۳۴ – ۲۴ ساله ) آموزش عالی استان کردستان با استناد به ۲۰ درصد داده های خام سرشماری سال ۱۳۸۵، ۵۹۹ نفر میباشد که از این تعداد ۳۸۲ نفر (۸/۶۳ درصد) مرد و ۲۱۷ نفر (۲/۳۶درصد) زن میباشند.
تعریف متغیّرها و مفاهیم تحقیق
الف) متغیّر وابسته
متغیّر وابستهی پژوهش«وضعیّت اشتغال فرد» میباشد که در دو مقولهی «شاغل» و «بیکار» طبقهبندی میشود.
اشتغال: به کار گماردن و یا استخدام فرد در ازای پرداخت مزد نقدی یا غیر نقدی در محدوده زمانی معیّن است.
شاغل: کسی است که شغل و حرفهای دارد و به طور عمده ساعاتی را در هفته یا در ماه به این شغل و حرفه میپردازد و مزد و حقوقی بابت کار در این شغل دریافت میکند (امانی ۱۳۸۰: ۲۸).
طبق تعاریف بهکار رفته در سرشماری نفوس و مسکن سال ۱۳۸۵، «شاغل» کسی است که در ۷ روز پیش از مراجعهی مأمور سرشماری حداقل یک ساعت کار کرده، هر چند در شغل معمولی خود کار نکرده باشد، شاغل محسوب میشود. علاوه بر این، افراد دارای شرایط زیر نیز شاغل به حساب میآیند:
افرادی که دارای شغلی هستند ولی در ۷ روز پیش از مراجعهی مأمور سرشماری حداقّل یک ساعت کار نکردهاند.
افرادی که در فعالیّتهای کشاورزی برای خود کار میکنند و به دلیل فصلی بودن کارشان در ۷ روز پیش از مراجعهی مأمور سرشماری کار نکردهاند.
افرادی که به دلیل نوبتی بودنکارشان در ۷ روز پیش از مراجعهی مأمور سرشماری سرکار خود نرفتهاند.
افرادی که از سازمان محلّ کار خود بورسیه تحصیلی گرفتهاند و مشغول به تحصیل هستند و به این دلیل در ۷ روز پیش از مراجعه مأمور سرشماری کار نکردهاند.
افرادی که به دلیل مرخصی، تعطیلات، بیماری و مسافرت و … در۷ روز پیش از مراجعهی مأمور سرشماری سرکار خود نرفتهاند .
افرادی که به دلایلی نظیر تغییرات موقّت سازمانی یا خرابی دستگاه ها و ماشین آلات، نداشتن مشتری یا سفارش کار به طور موقّت سرکار خود نرفتهاند.
افرادی که از کار خود معلّق شدهاند ولی پیوند رسمی شغلی دارند (مرکز آمار ایران ۱۳۸۵).
بیکار: افرادی که در ۷ روز پیش از مراجعهی مأمور سرشماری حدَاقل یک ساعت کار نکردهاند و دارای شغلی نیز نبودهاند، در صورت داشتن دو شرط زیر بیکار محسوب میشوند:
در ۳۰ روز گذشته برای جستجوی کار، اقدامات مشخصی نظیر ثبت نام یا پیگیری در مؤسَسات کاریابی، پرس و جو از دوستان، تماس با کارفرمایان، مطالعهی آگهیهای استخدامی و … انجام داده باشند.
آمادهی به کار باشند، یعنی طیَ یک دورهی ۱۵ روزه شامل ۷ روز گذشته و ۷ روز آینده آمادگی شروع به کار را داشته باشند. همچنین افراد دارای شرایط زیر بیکار محسوب شدهاند:
– افرادی که در انتظار شروع کار جدید هستند، یعنی برای آنان کاری مهیا شده و قرار است در آینده به آن کار مشغول شوند و نیز آمادهی به کار (طبق تعریف) هستند (همان).
– افرادی که در انتظار بازگشت به شغل قبلی و نیز آمادهی به کار (طبق تعریف) هستند. منظور از «در انتظار بازگشت به شغل قبلی» این است که فرد قبلاً دارای کار بوده و به دلایلی کار خود را از دست داده و پیوند رسمی شغلی ندارد ولی در انتظار بازگشت به شغل خود بسر میبرد.
ب) متغیّرهای مستقل
عوامل جمعیّتی
عوامل جمعیّتی مؤثّر بر اشتغال فارغالتّحصیلان آموزش عالی را میتوان به جنس، سن، وضعیّت زناشویی و فرزندآوری دستهبندی کرد. البتّه متغیّر فرزندآوری (داشتن فرزند و تعداد فرزندان در حال حاضر زنده) تنها برای زنان در نظر گرفته میشود.
جنس: جنسیّت فرد به معنی زن یا مرد بودن وی میباشد.
سن: منظور از سن، تعداد سالهای کاملی است که از زمان تولد فرد تا سال سرشماری گذشته است.
به منظور تحلیل بهتر، متغیّر سن به دو گروه سنّی ۲۹-۲۴ ساله، ۳۴-۳۰ ساله تبدیل شد تا اثر هرکدام از گروه های سنی روی متغیّر وابسته روشن گردد.
وضع زناشویی: وضعیّت زناشویی شامل چهار حالت؛ دارای همسر، بیهمسر بر اثر طلاق، بیهمسر بر اثر فوت و هرگز ازدواج نکرده میباشد.
دارای همسر: زنان یا مردانی که عقد ازدواج بستهاند. اعم از این که در هنگام سرشماری با همسر خود زندگی مشترک داشته و یا نداشته باشند. دارای همسر محسوب میشوند (مرکز آمار ایران ۱۳۸۵).
بیهمسر بر اثر طلاق: زنان یا مردانی که از همسر خود براثر طلاق جدا شده و تا زمان سرشماری مجدداً ازدواج نکردهاند. بیهمسر بر اثر طلاق تلقی میشوند (همان).
بیهمسر بر اثر فوت: زنان یا مردانی که همسرشان فوت کرده است و تا زمان سرشماری مجدداً ازدواج نکردهاند بیهمسر بر اثر فوت همسر شناخته میشوند (همان).
هرگز ازدواج نکرده: زنان یا مردانی که تا زمان سرشماری همسر اختیار نکردهاند، هرگز ازدواج نکرده شناخته میشوند. زنان یا مردانی که نامزد شده ولی هنوز عقد نکردهاند در این گروه قرار میگیرند (همان).
داشتن فرزند و تعداد فرزندان: در سرشماری سؤالات مربوط به بدنیا آوردن و داشتن فرزند تنها از زنان پرسیده شده است. بنابراین، در این تحقیق متغیّرهای مربوط به فرزندان تنها برای زنان محاسبه شده است. بر حسب این متغیّر، فارغ التّحصیلان زن به دو گروه زنانی که فرزند دارند و زنانی که فرزند ندارند تقسیم شده اند.
تعداد فرزندان: منظور مجموع فرزندان دختر و پسر در حال حاضر زندهی هر زن میباشد.
عوامل اجتماعی
عوامل اجتماعی مؤثّر بر اشتغال فارغالتّحصیلان آموزش عالی را میتوان به سطح تحصیلات (پایه و مدرک تحصیلی) و رشته تحصیلی دستهبندی کرد. پایه، دوره یا مدرک تحصیلی برای افراد در حال تحصیل و افراد غیر محصّل بر اساس سطوح، چارچوبها و توصیههای طبقهبندی بین المللی سطوح آموزشی و رشته های تحصیلی* (ISCED-97 )[53] و انطباق آن با نظام آموزشی کشور در گذشته و حال تنظیم شده است.
۱- سطح تحصیلات (مدرک تحصیلی): با استناد به تعریف ارائه شده در سرشماری عمومی نفوس و مسکن سال ۱۳۸۵، مدرک تحصیلی افراد باسواد به شرح ذیل طبقهبندی شده است:
ابتدایی
راهنمایی و سیکل اوّل متوسَطهی نظام قدیم
سیکل دوّم متوسَطهی نظام قدیم، متوسّطهی نظام فعلی، متوسّطهی نظام جدید
دیپلم متوسَطه و پیش دانشگاهی
کاردانی (فوق دیپلم)
کارشناسی (لیسانس)
کارشناسی ارشد (فوق لیسانس)
دکتری
علوم دینی
سواد آموزی
غیر رسمی

به طور کلی پژوهش علمی نیازمند تردید منظم و منطقی است. پژوهشگر باید به نتایج پژوهش به دید انتقاد بنگرد و منتقد سرسخت پژوهش‏های خویش و دیگران باشد. به بیان دیگر، دنیایی که مورد مطالعه ما است، دنیایی صد در صد درست یا نادرست نیست. در علم تجربی هیچ چیزی را نمی‏توان با قطعیت مطلق اثبات کرد و اصولاً تئوری نه ثابت کردنی، نه رد کردنی و نه غیر احتمالی است. (رحمانی،۱۳۸۷)
این فصل به ارزیابی و تشریح نتایج آزمون فرضیه‏ها و ارائه پیشنهادها اختصاص دارد. در ابتدای این فصل با توجه به آزمون فرضیه‏ها و تحلیل‏های آماری انجام شده، نتایج تحقیق بیان شده است. در ادامه پیشنهادات و محدودیت‏های تحقیق ارائه گردیده است.

ارزیابی و تشریح نتایج آزمون فرضیه‏ها

با توجه به آنچه در فصل چهارم بیان گردید، در این فصل ابتدا به نتایج فرضیات اصلی پرداخته می

نتایج فرضیه اصلی اول

“پیش‏بینی سود مدیریت بر ریسک سیستماتیک تأثیرگذار است.”
نتایج فرضیات فرعی دوم و سوم پژوهش با یافته یاغی‏شی (۲۰۰۹) مبنی بر وجود تأثیر بین دقت و اعتبار پیش‏بینی سود مدیریت و ریسک سیستماتیک همخوانی ندارد.
دلیل این تضاد را شاید بتوان این گونه تفسیر نمود که فعالیت در کشورهای با شرایط اقتصادی و سیاسی متفاوت از جمله عوامل تأثیرگذار بر نتایج فرضیات این پژوهش می

نتایج فرضیه اصلی دوم

“پیش‏بینی سود مدیریت بر ریسک غیرسیستماتیک تأثیرگذار است.”
تحقیقات بوتوسون و هریس (۲۰۰۰) با نتایج این پژوهش سازگار است. آنها در پژوهش خود دریافتند که افزایش دفعات پیش‏بینی می

نتایج فرضیه اصلی سوم

“پیش‏بینی سود مدیریت بر ارزش شرکت تأثیرگذار است.”
یاغی‏شی (۲۰۰۹) نیز در پژوهش خود بدین نتیجه رسید که بین سه متغیر دقت پیش‏بینی، دفعات پیش‏بینی و اعتبار پیش‏بینی با ارزش شرکت رابطه مستقیم وجود دارد. البته در جامعه مورد بررسی وی، افشای سود به صورت اختیاری مطرح بوده است که می

نتیجه‏گیری کلی پژوهش

در جمع‏بندی و نتیجه‏گیری کلی آزمون فرضیه‏های تحقیق مبنی بر رابطه معنادار متغیر مستقل پیش‏بینی سود مدیریت با ارزش و ریسک شرکت‏ها در دوره زمانی ۱۳۸۷ تا ۱۳۹۲ می

پیشنهادهای متناظر بر نتایج تحقیق

۱- باتوجه به نتایج حاصل از آزمون فرضیه اصلی اول، نتایج مبین این مطلب است که هر چقدر تعداد دفعات پیش‏بینی سود توسط مدیران بیشتر باشد، منجر به کاهش ریسک سیستماتیک می‏گردد، لذا به سرمایه‏گذاران پیشنهاد می‏گردد در شرکت‏هایی سرمایه‏گذاری کنند که تعداد دفعات پیش‏بینی‏های آنها بالاتر است. همچنین به سازمان بورس اوراق بهادار پیشنهاد می‏گردد که شرکت‏ها را ملزم به پیش‏بینی‏های میان دوره‏ای از قبیل سه ماهه، شش ماهه و نه ماهه و یک ساله نماید تا استفاده‏کنندگان بتوانند در اتخاذ تصمیمات اقتصادی درست عمل کنند.
۲- با توجه به نتایج حاصل از آزمون فرضیه اصلی دوم، نتایج بیانگر این موضوع می‏باشد که هر چقدر دقت پیش‏بینی‏های مدیران بالاتر باشد، نشانگر پایین بودن نوسانات سود و پایداری سود این شرکت‏ها می باشد، لذا شرکت‏هایی که از ثبات سود برخوردارند و پیش‏بینی سودهای آنها از دقت بالایی برخوردار است، باعث می‏گردد اعتبار این شرکت‏ها بالا رود و استفاده‏کنندگان روی به سرمایه‏گذاری در این شرکت‏ها آورند، چرا که سرمایه‏گذارن تمایل دارند در شرکت‏هایی سرمایه‏گذاری کنند که از ثبات بالایی برخوردار باشند، لذا با توجه به مطالب مطرحه شده پیشنهاد می‏گردد، استفاده‏کنندگان به این عوامل به عنوان متغیرهای مهم در تصمیم‏ گیری توجه نمایند.
۳- با توجه به نتایج حاصل از آزمون فرضیه اصلی سوم، نتایج بیانگر این موضوع می‏باشد که هر چقدر اعتبار پیش‏بینی‏های مدیران بالاتر باشد، حاصل آن به وجود آمدن اعتبار این شرکت‏ها در بازار سرمایه می‏باشد، چرا که اعتبار یک شرکت بستگی به میزان اعتبار پیش‏بینی‏های مدیران می‏باشد که باعث به وجود آمدن اعتبار می‏گردد، بنابراین با توجه به نتایج حاصل از آزمون این فرضیه، پیشنهاد می‏گردد که سرمایه‏گذاران به این مؤلفه اعتبار پیش‏بینی شرکت در بازار سرمایه توجه ویژه داشته باشند تا بتوانند تصمیمات درست اتخاذ نمایند.
۴- با توجه به وجود تردید در مورد پیش‏بینی‏های مدیریت از سود و عدم وجود مکانیزمی برای برطرف کردن این ابهام پیشنهاد می
۵- با توجه به حساسیت بازار به کیفیت سود شرکت‏های کوچک پیشنهاد می‏گردد متولیان بازار سرمایه نظارت بیشتری بر روی چگونگی پیش‏بینی‏های سود در این شرکت‏ها داشته باشند.
۶- پیشنهاد می‏شود بورس اوراق بهادار تهران با همکاری جامعه حسابداران رسمی ایران ترتیبی اتخاذ نمایند تا صحت پیش‏بینی‏های مدیریت از فروش و سود، قبل از اعلام مورد رسیدگی قرار گیرد و این نکته را مدنظر قرار دهند که تقویت و اجبار به افشای اطلاعات لزوماً به معنای بهبود محیط اطلاعاتی شرکت نیست؛ زیرا نتایج افشای شرکت می‏تواند به سادگی بازتاب خطاهای عادی باشد که به علت ارزیابی نادرست مدیران از دورنمای تجاری به وجود آمده است.
۷- پیشنهاد می‏شود متولیان بازار سرمایه ترتیبی اتخاذ نمایند که میزان انحراف در پیش‏بینی سود نسبت به سود واقعی هر شرکت به همراه دلایل انحرافات به طور ادواری از طریق اطلاعیه‏هایی به اطلاع سرمایه‏گذاران برسد.
۸- تهیه برنامه‏های آماری مبتنی بر مدل‏های آماری برای پیش‏بینی سودهای آتی بر اساس اجزای سودهای گذشته و در اختیار گذاشتن آن برای کلیه کسانی که خواهان بهره‏گیری از این نوع مدل‏های پیشرفته برای پیش‏بینی سود می‏باشند.
۹- تهیه رهنمودی برای ارائه گزارش پیش‏بینی سود هر سهم توسط کمیته‏ای متشکل از نمایندگان بورس، مراجع استانداردگذار و جامعه حسابداران رسمی ایران.
۱۰- به سرمایه‏گذاران و تحلیل‏گران توصیه می‏شود هنگام تحلیل اطلاعات حسابداری، سود را با دقت بیشتری ارزیابی کنند، به ویژه در مورد شرکت‏هایی که در محیط تجاری نامطمئن فعالیت می‏کنند.

برای دانلود متن کامل پایان نامه به سایت zusa.ir مراجعه نمایید.

 

پیشنهاد برای پژوهش‏های آتی

۱- بررسی دوباره پژوهش فوق به همراه اضافه نمودن سایر متغیرهایی که مؤثر به نظر می
۲- برخی از زمینه‏های تحقیق که می
الف) میزان واکنش سرمایه‏گذاران در زمان اعلام سود واقعی در مواردی که سود واقعی از سود پیش‏بینی شده اختلاف دارد.
ب) میزان تأثیر شهرت در پیش‏بینی‏های مدیریت بر روی بالا بردن اعتبار پیش‏بینی‏هایی که ذاتاً کمتر معتبر هستند.
ج) بررسی تأثیر بین پیش‏بینی‏های مدیریت از سود با ارزش و ریسک شرکت‏ها در سطح صنایع مختلف
د) تأثیر عوامل کلان اقتصادی نظیر تولید ناخالص داخلی، تورم و … بر پیش‏بینی‏های مدیریت از سود.

محدودیت‏های تحقیق

در هنگام انجام هر تحقیق محدودیت‏هایی نیز بر سر راه محقق قرار می‏گیرد که این تحقیق نیز از آن مستثنی نیست. عمده‏ترین محدودیت‏های تحقیق حاضر که در تفسیر یافته های پژوهش و تعمیم آن باید مدنظر قرار گیرد، به شرح زیر است:
۱- در این تحقیق همان طور که در فصل سوم هم بدان اشاره شد، با برخی محدودیت‏ها در زمینه انتخاب نمونه مواجه بودیم که از آن جمله عدم تغییر سال مالی، در دسترس بودن اطلاعات مورد نیاز متغیرها و …. بود. قطعاً استفاده از دوره های و تعداد شرکت‏های بیشتر بر اعتبار و روایی تحقیق خواهد افزود.
۲- یکی از محدودیت‏های این تحقیق عدم استفاده از رگرسیون در سطح شرکت (رگرسیون سری زمانی) به دلیل کوتاه بودن سری زمانی هر شرکت بوده است. بنابراین، پیشنهاد می­ شود که در سال‏های آتی با در اختیار داشتن اطلاعات لازم برای انجام تحقیق مشابه در بازه زمانی طولانی‏تر، این تحقیق با بهره گرفتن از رگرسیون سری زمانی در سطح هر شرکت انجام گردد.
۳- با توجه به قلمرو زمانی تحقیق حاضر (۱۳۹۲-۱۳۸۷) و نیز این که شرکت های نمونه از لحاظ اندازه، ساختار سازمانی، نوع محصولات و نوع صنعت لزوماً معرف تمام واحد های اقتصادی فعال در کشور نیستند، لذا تعمیم یافته ها بایستی با احتیاط انجام گیرد.
۴- شرکت‏های بورس اوراق بهادار تهران نمونه کوچکی از شرکت‏های ایرانی است، لذا تعمیم نتایج این تحقیق به کل شرکت‏های ایرانی میسر نیست.

منابع

منابع فارسی
– آذر، ع ، مؤمنی، منصور. (۱۳۸۵). آمار و کاربرد آن در مدیریت. تهران: انتشارات سمت.
– آزاد، م. (۱۳۸۲). محتوای اطلاعاتی پیش‏بینی سود شرکت‏ها. رساله کارشناسی ارشد دانشگاه علامه طباطبائی. دانشکده حسابداری و مدیریت.
– آزاد، م، خالقی مقدم، ح. (۱۳۸۳). محتوای اطلاعاتی پیش‏بینی سود شرکت‏ها. مطالعات حسابداری.
– آقابیگی، ص. (۱۳۸۴). بررسی رابطه اندازه شرکت و نسبت ارزش دفتری به ارزش بازار با بازده سهام شرکت‏های پذیرفته شده در بورس اوراق بهادار تهران. رساله کارشناسی ارشد. دانشگاه شهید بهشتی.
– بولو، ق. (۱۳۸۶). هزینه حقوق صاحبان سهام و ویژگی‏های سود. رساله دکتری حسابداری. دانشگاه علامه طباطبایی. دانشکده حسابداری و مدیریت.
– پورحیدری، ا. و دیگران. (۱۳۸۴). بررسی میزان ارتباط سود و ارزش دفتری با ارزش بازار سهام شرکت‏های پذیرفته شده در بورس اوراق بهادار تهران. بررسی‏های حسابداری و حسابرسی.
– پی نوو، ر. (۱۳۸۳). مدیریت مالی. ترجمه علی پارسائیان و علی جهانخانی. تهران: انتشارات سمت.
– تلنگی، ا. (۱۳۸۶). تقابل نظریه مالی و مالی رفتاری. تحقیقات مالی. ۱۷٫
– ثابت، ح. (۱۳۸۴). عوامل مؤثر بر سوگیری مدیران در پیش‏بینی سود. پایان نامه کارشناسی ارشد. دانشگاه شهید

در حقوق رم در بسیاری از وقایع از پذیرش بطلان قرارداد امتناع می کرد؛ و در مواردی که ضمانت اجرایی برای اکراه قائل بود، در حقیقت «بهدلیل ترس[۲۰۷]» بود و آن را یک جرم تلقی می کرد. چنانچه عامل انسانی در این زمینه دخالت نداشت، هیچ ضمانت اجرایی در نظر گرفته نمی شد. [۲۰۸] در حقوق رم، اکراه جزای مستقلی غیر از ابطال عقد داشته است؛ اما اکراهی که ناشی از اوضاع و احوال ناگهانی بود، جزایی نداشت. این قاعده به حقوق فرانسه نیز انتقال یافت. بهعلاوه اثر عقد مکره، ابطال عقد شناخته شد. پوتیه نظر عدم بطلان را پذیرفت اما این مسأله را افزود که (میزان) تعهد قراردادی براساس (سلطه) ضرورت می تواند کمتر باشد مشروط به اینکه مبلغ توافق شده گزاف باشد.[۲۰۹]
در قانون مدنی فرانسه مانند ایران، حکم مسأله سوء استفاده ی از اضطرار پیشبینی نشده است و به همین علت شارحین قانون مدنی و صاحبنظران، آرای مختلفی مطرح کرده اند:
بر طبق نظر کلاسیک ، اکراه زمانی محقق می شود که به طور ارادی اعمال گردد یعنی اکراه نمی تواند ناشی از وقایع خارجی باشد؛ و همچنین ترس نمی تواند سبب ابطال قرارداد باشد؛ مگر اینکه ناشی از اکراه «شخص» باشد. در این مورد اکراه، سبب اصلی نیست..[۲۱۰]
دکترین کلاسیک بیان میدارد ماده ۱۱۰۹ ق.م. فرانسه در مقام بیان این نکته است که می گوید : اکراه باید «به زور» باشد؛ و این امر، حکایت از دخالت شخص و نه اوضاع و احوال میکند.[۲۱۱]
از واژه اکراه در قانون «فعل یک انسان اراده شده است»؛ یعنی قصد اجبار کننده شرط است.[۲۱۲] بنابر این عقد به این دلایل نمیتواند باطل باشد.
مفهوم واژه اجبار در ماده ۱۱۰۹ ق.م. فرانسه از ماده ۴۰۰ قانون جزای این کشور استنباط می گردد. از این مفهوم، معنای بسیار مهمی استنباط می شود و آن این است که اگر به طور اتفاقی شرایطی در نتیجه اوضاع و احوال ایجاد شود، به گونه ای که فردی از خطر پیش آمده سوء استفاده نماید؛ یا بدون اینکه قصدی باشد، طرف قرارداد در شرایطی قرار گیرد که مجبور به امضای قرارداد شود، اکراه محقق نمی شود. دکترین مزبور این امر را مورد شناسایی قرار داده است که تعهد ناشی از ضرورت می تواند به علت فقدان جزیی سبب، کمتر باشد؛ یا اینکه در مورد عیب سبب یا عیب اراده، باطل باشد[۲۱۳]؛ و این زمانی است که مشقت روانی ایجاد شده، در نتیجه شرایط خارجی (مانند وضعیت جنون) باشد؛ از سوی دیگر، در موردی که خدمتی انجام پذیرفته است، بر اساس اصل ممنوع بودن دارا شدن غیر عادلانه، اجرت مناسبی پرداخت شود .[۲۱۴]
به عکس، برخی بر این عقیدهاند که استفاده از اوضاع و احوال، از بزرگترین مظاهر اکراه است.[۲۱۵]
براساس نظر دیگر، اضطرار شبیه اکراه است؛ مشروط به اینکه طرف قرارداد از وضعیت اضطراری، سود بسیار زیادی کسب نماید. زمانی که تهدید به اجرا گذاشتن قانون، علیه فردی، می تواند اکراه تلقی گردد (البته موردی که اجرای قانون از هدفش دور شود)؛ به قیاس اولویت، سوءاستفاده از نیاز دیگران در موقعیتی که شخص، نا امید است، می تواند اکراه قلمداد شود.
رویهی قضایی در این زمینه فراوان نیست. اما در هر صورت دادگاه استیناف در حکمی
(۲۷ آوریل سال ۱۸۸۷) مسأله دریایی را تأیید نمود. از آن جا که برای نجات کشتی[۲۱۶]، طرف قرارداد مبلغ بسیار زیادی مطالبه کرده بود، دادگاه اعلام کرد که وضعیت ضرورت می تواند عاملی برای ابطا ل قرارداد باشد. همچنین در تاریخ ۲۹ آوریل سال ۱۹۱۶ این مسأله (نجات دریایی) تأیید شد. از همین قبیل است قراردادی که بین یک جراح و مریض منعقد شده بود. اعتبار قرارداد وابسته به این مسأله شناخته شد که اجرت دریافتی معمول باشد و گفته شد این صورت (مبلغ گزاف) می تواند از موجبات ابطال قرارداد باشد.[۲۱۷]
برخی از طرفداران نظریه بطلان به «غبن» استناد کرده اند.[۲۱۸] گروهی نیز معتقدند دست کم ، زمانی که از اضطرار، حالت «اضطراب فکری[۲۱۹]» بالایی ایجاد می شود (به گونه ای که مقارن با حالت جنون [۲۲۰] است)، اراده معدوم است.[۲۲۱]
بعضی دیگر بر این عقیدهاند که اکراه، عیب اراده است و تفاوتی نمی کند که معلول یک جرم یا یک واقعه (بی نام) باشد. از لحاظ اجتماعی اثر بخشی به قراردادی که تحت سلطه ضرورت شکل گرفته، دشوار میباشد. به علاوه این فرض وجود دارد که در اکثر موارد متعهدٌله (در قرارداد ناشی از ضرورت) از وضعیت اضطرار آگاه است، و در اکثر دعاوی مطرح شده در محاکم، بدون تردید این حالت وجود دارد. در صورتی که وضعیت ضرورت نادیده گرفته شود (یعنی اثر بطلان به آن داده نشود؛ مانند اکراه) ، تفاوتی ناعادلانه بین اشتباه و اکراه بهوجود می آید. چون اشتباه چه ارادی و چه غیر ارادی بطلان قرارداد را در پی دارد. پس چرا بین اکراه ارادی (که دیگری منشأ ترس باشد) و غیر ارادی (که ناشی از حوادث خارجی باشد که منتهی به ضرورت می شود) تفاوت وجود دارد؟ (یعنی اولی موجب بطلان است و دومی اثری ندارد؟)[۲۲۲]
با اینکه شعبه عرایض دیوان کشور در حکمی (در ۲۷ آوریل ۱۸۸۷) تأیید کرد که وضعیت اضطرار سبب بطلان قرارداد است و چنین تصمیمی الهام گر قانون ۲۹ آوریل سال ۱۹۱۶ (که در مورد کمک و نجات دریایی است) شد، بسیاری از محاکم در این زمینه ساکت هستند، و معلوم نیست علت آن، چیست؟ در حالی که در اغلب موارد، طرف قرارداد از وضعیت اضطرار سود مالی بالایی می برد و از چنین وضعیتی کاملاً آگاهی دارد.[۲۲۳]
در ماده هفتم قانون فوق پیشبینی شد

جهت دانلود متن کامل این پایان نامه به سایت abisho.ir مراجعه نمایید.

ه است: «قاضی بر تعدیل یا ابطال قرارداد (در زمان خطر غرق شدن) تسلط دارد». همچنین قانونگذار پس از جنگ جهانی دوم برای نظم دادن به تصرفات برخی گروه ها که تحت تأثیر ترس ناشی از اشغال آلمانی ها و ترس از قوانین نژادی بود، قانون خاصی در سال ۱۹۴۵ وضع نمود؛ سپس در ۱۹ ژوئن ۱۹۴۷ آن را تعدیل کرد. قصد قانونگذار از تشریع قانون خاص، ابراء ذمه مدعی بطلان، از اثبات اکراه در چنین مواردی بود[۲۲۴].
به هر حال، رویه قضایی پذیرفته که اکراه می تواند ناشی از اوضاع و احوال باشد و وجود یک فرد مشخص، ضروری نیست. هرچند که این راه حل مورد انتقاد واقع شده است. توسیع بیش از حد مفهوم اکراه، می تواند نامطلوب هم باشد؛ چون به ندرت اراده ی آزاد دیده می شود؛ و اغلب اوضاع و احوال هستند که اراده را تحت تأثیر قرار می دهند.[۲۲۵]
به همین علت، رویه قضایی برای وضعیت ضرورت، مادام که احتیاط اقتضا نکند، حساب باز نمی کند. رویه قضایی خواستار بررسی قصد طرفی است که از شرایط ناامید کننده دیگری سوء استفاده کردهاست. شعبه مدنی دیوان استیناف در ۲۴ مه ۱۹۸۹ این چنین قضاوت نمود: «وضعیت ضرورت باید به گونه ای باشد که شرایط غیرعادی و سنگینی بر شخص تحمیل شود».[۲۲۶]
با توجه به ماهیت حقوقی عیب اکراه، این امر شرط شده است که در وضعیت ضرورت، طرف قربانی باید مورد سوء استفاده واقع شده باشد[۲۲۷] تا حدی که برخی معتقدند رویه قضایی در این راستا افراط و سخت گیری کرده است . ( یعنی تا شرط سوء استفاده کردن احراز نشد ه محاکم رأی بر ابطال نداده اند . )[۲۲۸]
. این مسأله به طور خاص در خرید با قیمت بسیار نازل بیشتر دیده شده است (در مواردی فروشنده نمی تواند از فروش امتناع کند). برای تضمین تعهدات، بهتر است که شرط سوء استفاده، دوباره وارد مفهوم جرم مدنی بودن اکراه شود ( یعنی به عنوان شرط عیب اراده مطرح نشود ).[۲۲۹]
خلاصه آنکه، در حال حاضر در حقوق فرانسه، به اکراه، نه تنها از این جهت که یک «عمل نامشروع» است؛ بلکه از آن جا که عیب اراده نیز میباشد، نگریسته می شود. بنابراین، اکراهی که ناشی از اضطرار است، هرچند وصف نخست را ندارد اما وصف دوم را واجد است؛ زیرا به این مسأله نظر نمی شود که متعهدله مقصر است یا خیر؟ بلکه توجه به سوی این موضوع است که از حیث وجود اکراه، آیا اراده متعهد آزاد و مختار است یا اینکه تحت فشار اساسی صادر شده است؟[۲۳۰] بنابراین اضطرار می تواند با شرط سوء استفاده از آن سبب ابطال قرارداد باشد .
ب- اکراه ضعفا علیه قدرتمندان :
اهمیتی که اکراه در حقوق رم و باستان داشته در حال حاضر از بین رفته است. اکراه در دوره های خاصی (مثل زمانی که قوانین نژادی در زمان اشغال آلمانی ها [۱۹۴۵-۱۹۴۰] تصویب شد) یا در موقعیتهای حاشیه ای (مثل سوءاستفاده از اعمال راه های قانونی) بیشتر مطرح بوده است[۲۳۱].
امروزه اکراه می تواند به عنوان یک وسیله تحصیل رضایت علیه قدرتمندان سیاسی و اقتصادی اعمال شود مانند ، عمل حقوقی که به نفع کشاورزان یا کارگران از طریق اکراه، اعتصاب، اشغال و حبس های غیرقانونی رؤسای شرکتها و کارخانه ها ایجاد تعهد می کند.[۲۳۲]
چنین اکراههایی را می توان اکراه ضعفا علیه قدرتمندان نامید که گاهی همچون پاسخی علیه اجبار اقتصادی است که آنها بر کارگران و کشاورزان تحمیل کرده اند.[۲۳۳]
قانونگذار و دولت در برابر این قبیل اکراهها حساسیت ندارند؛ اما واقعیت این است که اکثر قوانین اجتماعی که برای خروج از وضعیت بردگی به کارگران کمک می کنند،
توسط اتحادیه های کارگری دیکته می شوند. کارگران با اهرم اکراه و فشار به دنبال راهی هستند تا حقوق خود را بستانند.[۲۳۴]
تمام هدف رویه قضایی این است که تمایل اشخاص را به اکراه که عنصری ضد اجتماعی
است معطوف نکند.[۲۳۵]
علیرغم توسعه مفهوم اکراه (با توجه به اینکه وضعیت ضرورت نیز گاهی اکراه شناخته شده است) اعمال قواعد اکراه نادر است. در حقیقت رویه قضایی سعی دارد بهخاطر وضعیت تبعی حقوقی مزدبگیران که ناشی از قرارداد کار است، نتیجه قضایا را به نفع آنها تمام کند[۲۳۶]. هرچند که در مواردی به نفع آنها رأی مثبت نداده است، اما به نظر می رسد به این به دلیل نیست که نمی خواهد این موارد را عیب اراده تلقی نکند، بلکه به دنبال عناصری است که به طور کافی برای تعیین عیب اراده به عنوان حمایت از مزدبگیران کافی باشد. در مواردی نیز که قضات ادعای اکراه را نپذیرفته اند آنها را از مطالبه جبران خسارت محروم نکرده اند و سعی بر این داشته اند که بدون جستوجو و تحقیق، رأی به عدم عوامل عیوب اراده داده نشود. (بدین معنا که ممکن است مورد اکراه نباشد ولی اشتباه یا تدلیس باشد .)
ج: رابطه حقوقی و وابستگی اقتصادی با اکراه[۲۳۷]:
سختی روابط اجتماعی امروز و زندگی تجاری، گاه موجب می گردد که طرفهای قرارداد در مواردی به علت اکراه، تقاضای ابطال قرارداد را بنمایند. مواردی وجود دارد که مؤلفان قانون مدنی آنها را در نظر نگرفته اند. این بحث در روابط حقوقی و اجتماعی در قراردادهای خاصی مطرح می شود (مانند مزدبگیران، تولید و پخش کنندگان).
تصمیم بر آن شده که رابطه تبعی بین کارگر و رئیس به تنهایی عاملی برای ابطال قرارداد به علت عیب اراده نیست؛ ولی گاهی چنین مواردی دیده می شود؛ برای نمونه، در برخی از قراردادها میان رئیس و کارمند چنین پیش بینی و الزام شده است که کارمند (یا کارگر) نمی تواند بعد از پایان کار ب
ا رئیس خود رقابت کاری کند. با وجود این گاهی فشارهای مشخصی در چنین قراردادهایی پذیرفته شده است. از جمله: زمانی که وابستگی اقتصادی بین دو نفر، وضعیت را برای یک طرف قرارداد در مذاکرات قراردادی یا تجدید آن مشکل کند، یعنی به گونه ای باشد که حق دفاع نداشته باشد. در این زمینه عقاید مختلفی وجود دارد و به طور خاص در شاخه های متفاوت حقوق همچون حقوق رقابت و حقوق مصرف، این مسأله (اکراه) ظاهراً پذیرفته شده است. قانون مدنی در این مورد ساکت است.
در حقوق رقابت به طور صریح متونی یافت می شوند که خواستار چنین مفهومی هستند. برحسب ماده ۸ قانون اول دسامبر سال ۱۹۸۶ در ارتباط با آزادی قیمت و رقابت:
«۱- سوءاستفاده از قیمت توسط مقاطعه کار یا گروهی از مقاطعهکاران ممنوع است.
۲- در وضعیت وابستگی اقتصادی که یک مشتری مقاطعه کار درآن یافت می شود به گونه ای که نمی تواند راه حل مشابهی پیدا کند. این سوءاستفاده ها می تواند به طور خاص در قالب امتناع از فروش یا فروش بسته یا شرایط خاص فروش یا این که طرف مقابل مطیع شرایطی باشد که از لحاظ تجاری قابل توجیه نباشد، مطرح شود». معنای این عبارت این است که در یک رابطه تجاری، طرفهای قراردادی حق جابهجایی ندارند و شرایطی بر مشتری یا صاحب کار تحمیل می شود.
وابستگی، بهموجب بند ۲ ماده ۸ یک مفهوم نوعی است که باید از دو لحاظ ارزیابی شود:
۱- خصوصیات تکنیکی محصولات (که می بایست مشخص باشند)
۲- وضعیت واقعی بازار مربوطه.
در این موارد هیچ راه حل موازی (قابل جابهجایی) نباید پیشنهاد شود. این وابستگی باید اقتصادی باشد. این وضعیت مخصوصاً در تجارتهای خاصی (مانند عطر) دیده می شود. در این مورد، شرایط به گونه ای است که فروشنده بدون پیشنهاد طرف مقابل نمی تواند کالای خود را بفروشد. برای مثال تولید کننده ای که اجناسش را به یک مرکز فروش می دهد، تولید خود را در معرض خطر قرار می دهد (یعنی باید شرایط آن مرکز را که به او تحمیل می شود بپذیرد؛ در غیر این صورت محصول او در خطر است). یا برای مثال صاحب کاری که مجبور است شرایط مقاطعهکاری را (که نمی تواند آن را عوض کند) بپذیرد.
رویه قضایی تمایل دارد قواعد مربوط به اکراه در موردی که دو طرف قرارداد از لحاظ اقتصادی برابر نیستند، اعمال شوند. قواعد مربوط به آزادی رقابت نیز از این قبیل است و هر توافقی را که سوءاستفاده از موقعیتی برتر یا وضعیت وابستگی اقتصادی ناشی می شود، ممنوع و باطل اعلام می کند.[۲۳۸] در این موارد یک طرف قرارداد آنقدر ضعیف است که نمی تواند در مذاکرات قرارداد، تجدیدنظر و یا فسخ قرارداد از خود دفاع کند.[۲۳۹]
دادگاه استیناف پاریس در ۲۷ سپتامبر ۱۹۷۷، تجدیدنظر قراردادی را که با اختیار از طرف صاحب امتیاز پذیرفته نشده بود، رد کرد. استدلال دیوان این بود که: «دو طرف قرارداد امتیاز فروش اتومبیل در یک ردیف نیستند و در حقوق موضوعه چنین امتیاز گیرنده ای صاحب حق نیست. در حالی که قضات اولیه هم به درستی توصیف کردند که قرارداد تحمیلی بین یک شرکت قوی و یک امتیاز گیرنده، به گونه ای است که قدرت آنها قابل قیاس نیست». اما این حکم توسط شعبه ی تجاری دیوان تمیز نقض شد .( اول مه ۱۹۸۰) . علت حکم قضات این بود که از نظر آن ها اکراه غیر قانونی به اثبات نرسیده نبود . .
اما در حکم دیگری در دادگاه استیناف پاریس (۲۷ مه ۱۹۷۸)، صدمه به آزادی اراده که ناشی از سلطه اقتصادی بودهاست، اکراه شناخته شد. [۲۴۰]
به هر حال، در رویه قضایی دیوان عالی کشور به خاطر متون جدیدی که حاکم بر حقوق رقابت هستند، تناقض دیده می شود..[۲۴۱]
د – عیب اکراه و برخی از مقررات حمایت کننده از مصرف کنندگان[۲۴۲]:
چنین مشاهده شده است که تمایل دکترین، به سمت نزدیک کردن عیب اکراه با فروش های تحمیلی خانگی (مثل دورهگردها که با تحمیل وارد خانه می شوند) از طریق مقررات قانونی میباشد. چنین فروشهایی با اعمال فشار توسط شرایط غیرعادی انجام می شوند. در مقررات منعی برای عدم نزدیکی چنین قراردادهای تحمیلی با اکراه دیده نمی شود.
در واقع ماده ۳۵ قانون Scrivener، ۱۰ ژانویه ۱۹۷۸ در ارتباط با حمایت و اطلاعات مصرف کنندگان، اجازه منع، محدودیت یا تنظیم شرایطی که وارد قرارداد می شود را (از طریق احکام شورای حکومتی) می دهد. این قانون در مورد قرارداد مربوط به مصرف کنندگان و افراد متخصص و غیرمتخصص مشاغل (که از طریق فشار اقتصادی، سود زیادی برده اند) است. هدف اولیه این مقررات این است که ضمانت اجرایی برای «سوءاستفاده از فشار اقتصادی» (که نتیجه آن اکراهی است که به آزادی اراده صدمه می زند)، ارائه دهند.
در عرض مطالب گذشته، می توان بین اکراه و جرم جزایی سوءاستفاده از ضعفا در ارتباط با دست فروشان و فروشهای خانگی پیوندی برقرار کرد. ضمانت اجرای این مطلب در ماده هفتم قانون شماره ۱۱۳۷-۷۲ به تاریخ ۲۲ دسامبر ۱۹۷۲ پیش بینی شده است . این قانون برای حمایت از مصرف کنندگان میباشد. قانون ۶۰-۹۲، ۱۸ ژانویه ۱۹۹۲ حمایت از مصرف کنندگان را تقویت می کند و زمینه توسعه اعمال این قوانین را فراهم می کند. در آئیننامه وزارتخانهای پیشبینی شده: «جرم سوءاستفاده از ضعفا (که توسط قانون ۱۹۷۲ مشخص شده و توسط قانون ۱۸ ژانویه ۱۹۹۲ توسعه داده شده است)، می تواند بهعنوان سوءاستفاده از آسیب پذیری مصرف کنندگان و به طور خاص در مورد اشخاص پیر اعمال شود. این نوع از سوءاستفاده، در اکثر موارد در قالب ضعف بسیار بالا، خدمات ارائه شده بدون نیاز واقعی اشخاص، شرایطی
که با شتاب وارد مذاکرات قراردادی می شوند و شتاب در انجام کارها دیده می شود.
ه –اکراه مادی و معنوی:

برخی از نویسندگان، اکراه را به دو مورد، تقسیم کرده اند[۲۴۳]:
۱- اکراه مادی[۲۴۴]
۲- اکراه معنوی[۲۴۵]
در اکراه مادی، شخص به زور کاری را انجام میدهد؛ مانند اینکه تحت سلطه هیپنوتیزم یا مستی کامل کاری را انجام دهد یا با فشار، سندی را امضا کند. ضرر در این حالت، فعلیت دارد..[۲۴۶]
اما در اکراه معنوی، قربانی اکراه قرارداد را بهخاطر فرار از ضرر تهدید شده می پذیرد. این نوع ضرر مربوط به آ ینده است .
گفتار سوم -قلمرو اکراه در حقوق مصر :

ماده ۷ «حقوق مربوط به تولد»
۱- هر کودکی از بدو تولد حق داشتن یک نام را دارد که باید در دفاتر مربوطه ثبت شود. همچنین داشتن تابعیت حق اوست و در صورت امکان باید والدین خود را شناخته و از سوی آنها نگهداری شود.
۲- حکومتهای عضو پیمان، حقوق عنوان شده در این پیمان را در رابطه با حقوق و قوانین داخلی خود و وظایف بین المللی بخصوص در مورد کودک بدون تابعیت، تضمین نموده و اجراء نماید.
بخش دوم: تفسیر ماده ۷
بیش از ۱۲ میلیون نفر در سراسر جهان از بی هویتی یا همان فقدان ملیت رنج می برند که در این میان، کودکان آسیب پذیرترین هستند. سازمانی با نام پیشگام عدالت (Open Society Justice Initiative)، تعداد این کودکان که به سن قانونی هم نرسیده اند را تقریباً ۵ میلیون برآورد شده است. بی هویتی پیامدهای متعددی دارد، از آن جمله کودکان بی هویت در فقر شدید رشد پیدا می کنند و از حقوق اولیه ای هم چون تحصیلات و بهداشت محروم می شوند. نداشتن مدارک شناسایی و هویتی حتی جابجایی این کودکان را مشکل می کند. آنها به دلیل نداشتن مدرک شناسایی در معرض اخراج از کشور، باز داشت، قاچاق انسان، کاراجباری و محرومیت از سایر حقوق اجتماعی قرار می گیرند با وجود اهمیت بسیار زیاد مسئله هویت در حقوق کودک، می بینیم که توجه بسیار کمی به آن شده است.[۶۸]
بند اول: کودک و حق ملیت
حقوق بین الملل از حق هویت ملی حمایت می کند بطوری که ماده ۱۵ اعلامیه جهانی حقوق بشر به این قانون اختصاص داده شده است. در معاهدات بین المللی حقوق بشر از جمله کنوانسیون حقوق کودک (CRC)، پیمان نامه بین المللی حقوق مدنی و سیاسی (ICCPR)، و همچنین کنوانسیون احیای هویت ملی ملاحظات خاصی برای تابعیت کودکان در نظر گرفته شده است. علاوه بر این، سازمان های حقوق بشر در آفریقا، سرزمین های عرب، اروپا و آمریکا کمک های بیشتری در سطح منطقه ای ارائه می دهند.
کنوانسیون حقوق کودک نقش بسیار مهمی در حمایت از هویت ملی کودکان دارد به این علت که تقریباً همه کشورها این کنوانسیون را تصویب کرده اند. ماده ۷ این کنوانسیون به حق تابعیت ملی کودکان اشاره می کند و طبق این ماده دولت ها موظف هستند در خصوص کودکان بدون ملیت این حق را به آنها بدهند. اگر چه کمیته حقوق کودک، تعریف دقیقی از حق داشتن هویت ملی ارائه نداده است اما تأکید کرده همه دولت ها موظف هستند اط ملیت دار بودن کودکان اطمینان حاصل کنند. این کمیته همچنین تأکید کرده است که کشورهای عضو کنوانسیون حقوق کودک باید این حق را به گونه ای که منافع کودک به بهترین شکل ممکن در نظر گرفته شده باشد اجرا کنند.[۶۹]
حداقل مفهومی که باید از حق داشتن ملیت تحت قوانین کنوانسیون حقوق کودک بدست آید این است که کودکان بی هویت از زمان تولد بتوانند تا تابعیت کشوری که در آن متولد شده اند را بدست آورند. این قانون در عمل در سیستم های منطقه ای و همچنین در کنوانسیون احیای هویت به رسمیت شناخته می شود. از اوار دهه۱۹۴۰ بود که کارشناسان به این نکته مهم برای از بین بردن بی هویتی پی بردند.
بند دوم: علل بی هویتی در کودکان
تلاش در جهت حل مشکل ملیت و تبعیض در کودکان نیازمند شاخت دلایل عدم هویت است. فقدان ملیت در کودکان اغلب نتیجه مستقیم فقدان ملیت والدین آنها است، به طوری که در بیشتر کشورهای جهان تابعیت فقط به کودکانی اعطا می شود که والدینشان تبعه آن کشور باشند. بی هویتی دور باطلی است که از والدین به فرزندان به ارث می رسد و دوران کودکی و همچنین فرصت های آینده آنها را در بزرگسالی تحت تأثیر قرار می دهد.
یکی دیگر از دلایل بی هویتی کودکان، سیستم های تبعیض آمیز ملیتی علیه زنان است. در بسیاری از کشورهای جهان انتقال تابعیت از زنانی که شوهران خارجی دارند به فرزندانشان ممنوع است. در حالی که این مشکل به شکل جهانی باقی مانده، برخی کشورها قدم هایی در راه اصلاح این قوانین تبعیض آمیز برداشته اند. به طور مثال در ۱۵ سال گذشته، الجزایر، مصر، مراکش و تونس موفق شده اند با اصلاح قوانین شهروندی، گامهای قابل توجهی برای پایان دادن به تبعیض جنسیتی بردارند و به زنان توانایی انتقال تابعیت خود را به فرزندانشان داده اند.
تغییر دولت ها نیز به مشکل بی هویتی کودکان دامن زده است. وقتی دولتی از هم پاشیده و دولت روی کار آمده، کودکان اقلیت های قومی در معرض خطر بی ملیتی قرار می گیرند در بیشتر دولت های جدید ملیت اقلیت ها نادیده گرفته می شود در برخی موارد، علت ها نژاد پرستانه یا سیاسی هستند و در برخی دیگر، شرایط نامساعدی است که ممکن است سال ها طول بکشد تا چاره ای برای آن پیدا شود.[۷۰] در دوران معاصر این شرایط را در کشورهایی مثل جهاهید شوروی سابق، کشورهای بالکان، ارتیره و اتیوپی، بنگلادش و پاکستان شاهد بوده ایم که شرایط بسیاری از آنها به آهستگی رو به بهبود است.
بند سوم: پی آمدهای بی ملیتی کودکان
کودکان بدون ملیت از محرومیت های حقوقی، ناشی از نداشتن هویت، آسیب می بینید. بدین معنی که این کودکان دارای هیچ گونه شخصیت حقوقی نیستند و نمی توانند هیچ تأثیری هم بر جامعه ای که در آن زندگی می کنند، بگذارند. حقوق اولیه بشر باید در همه جا و برای همه یکسان باشد[۷۱] اما همه کشورها حقوق بخصوصی را برای شهروندان خود در نظر می گیرند که این حقوق، کودکان بدون تابعیت آن کشورها را در بر نمی گیرد. این حقوق شامل موارد متعددی از جمله دسترسی به خدمات درمانی و امنیت اجتماعی است که در پاره ای موارد منافع کودکان در آن لحاظ می شود. وقت

جهت دانلود متن کامل این پایان نامه به سایت jemo.ir مراجعه نمایید.

ی کودکان به سن قانونی می رسند. حق کار و حق رأی دادن آنها در این قوانین تحت تأثیر قرار می گیرد. در حقیقت در بسیاری کشورها حتی حقوق اولیه بشر فقط در اختیار شهروندان قرار می گیرد. برای مثال در کویت افراد بدون تابعیت هنوز برای دستیابی به ابتدایی ترین حقوق شهروندی، مث گواهی تولد و مرگ، مشکل دارند.