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

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

 

• 1. مربوط به حقوق ماهوی است. یعنی گرچه رئیس دولت، و به تبع او وزیر امور خارجه یا سایر کارگزاران دولتی ملزم به رعایت قوانین ماهوی دولت پذیرنده هستند اما نقض این قواعد در حقوق ملی یا بین المللی نه به آنها، بلکه به دولت متبوعشان قابل انتساب است.[۱۰۳]
  2. اعمال رسمی هر رئیس کشور یا دولت قانونی (دوژوره)[۱۰۴] و عملی (دفاکتو)[۱۰۵] را تحت پوشش قرار می دهد.
  3. بنابر اقتضای طبیعی دو ویژگی پیش گفته، این نوع مصونیت پس از پایان مأموریت رئیس دولت، از او سلب نمی شود. زیرا عمل غیرقانونی به فرد منتسب نبوده و به دولت منتسب است. بنابراین مسئولیت های ناشی از آن نیز به دولت قابل انتساب است نه به فرد.
  4. این مصونیت ها ” جهانشمول “[۱۰۶] هستند و بنابراین در برابر هر دولت دیگر (حتی دولت های ثالث غیر از دولت های پذیرنده) قابل استناد است.

۲- مصونیت شخصی: این مصونیت اعمالی را در بر می گیرد که رئیس کشور یا دولت در زمان تصدی مقام و در ظرفیت شخصی خویش و فارغ از وظایف و مسئولیت های رسمی خود انجام می دهد. و از ویژگی های ذیل برخوردار است:

• 1. مربوط به حقوق شکلی و صرفاً شامل مصونیت قضایی است. بنابراین چون اعمال مشمول این نوع مصونیت منتسب به خود فرد است، فرد را از صلاحیت محاکم مصون می کند نه از مسئولیت.
  2. شامل اعمال رئیس دولت یا کشور، در زمان تصدی مقام یا قبل از آن، می شود.
  3. پس از پایان دوران تصدی مقام چنین مصونیتی برداشته می شود.
  4. همیشه ارزش جهانشمولی ندارد و عمدتاً در قبال کشورهای میزبان و پذیرنده قابل اعمال است.[۱۰۷]

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

میباشد. ” [۵۱]

1. احکام تکرار جرم در مورد مرتکبین جرائم سیاسی و اطفال ( ماده ۳۸ ) قابل اجرا نبود.
2. “تشدید مجازات مجرم بر مبنای سوابق محکومیت و فقرات محکومیت قبلی متفاوت بود. “[۵۲]

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

1. کسی که به حکم لازم الاجرا محکوم به جزای جنایی شده و در ظرف ده سال از تاریخ اتمام مدت مجازات مجدداً مرتکب جنحه مهم و یا جنایتی گردد اعم از اینکه حکم سابق اجرا شده یا نشده باشد.
2. کسی که به حکم لازم الاجرا محکوم به حبس تادیبی بیش از دو ماه شده و در ظرف پنج سال از تاریخ اتمام مدت مجازات مرتکب جنحه مهم یا جنایت گردد خواه حکم سابق اجرا شده یا نشده باشد.”

ماده ۲۵ – “در موارد تکرار جرم به طریق زیر رفتار می شود :

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

سرقت و اختلاش و ارتشاء و کلاهبرداری و خیانت در امانت از حیث تکرار جرم نظیر هم محسوب است.

1. 1. اگر مجرم دو سابقه محکومیت جنایی یا جنحه داشته باشد مجازات او یک درجه تشدید شده یا بیشتر از دو برابر حداکثر مجازات جرم سوم خواهد بدون اینکه از سه برابر حداکثر تجاوز کند.
   2. هر گاه مجرم بیش از دو سابقه محکومیت جنایی یا جنحه داشته باشد مجازات او یک درجه تشدید
      می شود و نباید از دو برابر حداقل مجازات اشد کمتر باشد مگر اینکه دو برابر حداقل بیش از حداکثر مجازات اشد باشد که در این صورت به همان حداکثر محکوم خواهد شد. مجازات کسانی که بیش از دو سابقه محکومیت برای دزدی و یا کلاهبرداری داشته باشد حبس موقت با اعمال شاقه است مگر اینکه قانوناً جزای بیشتری برای آن ها مقرر باشد و درمورد این اشخاص محکمه باید حکم دهد که محکوم بعد از انقضای مدت محکومیت در یکی از نقاطی که از طرف دولت معین می شود توقف اجباری نماید. تعیین مدت توقف اجباری به نظر وزیر عدلیه بوده ولی نباید از ده سال تجاوز کند. به علاوه دولت می تواند حکم محکومیت این محکومین را نیز در همان نقطه اجرانماید.

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

 

1. هر گاه در حین صدور حکم محکومیت های سابق مجرم معلوم نبوده و بعداً معلوم شود مدعی العموم که در نزد محکمه حاکمه مأموریت دارد باید مراتب را به محکمه اطلاع دهد. در این صورت اگر محکمه محکومیت های سابق را محرز دانست مکلف خواهد بود حکم خود را بر طبق مقررات فوق تصحیح نماید.

برای اجرای مقررات این قانون محکومیت های قبل از تصویب آن نیز منظور خواهد شد.”
تبصره – “جرم قاچاق اسلحه و طلا تابع مقررات فوق است.”
شرایط و مقررات تکرار جرم در مواد فوق عبارت اند از :

1. همانند قانون قبلی “حکم لازم الاجرا ” مدنظر می باشد و اجرای کامل مجازات شرط نیست و صریحاً در پایان قید کرده” اعم از اینکه حکم سابق اجرا شده یا نشده باشد. ” حال باید دید چه فرقی بین ” حکم لازم الاجرا “و “حکم قطعی ” وجود دارد؟

” حکم لازم الاجرا یعنی حکمی که مراحل رسیدگی آن مطابق قانون طی شده یا سپری گردیده و قابل اجرا باشد. فرق آن با جمله حکم قطعی در این است که ممکن است حکم قطعی بوده ولی لازم الاجرا نباشد. مثل حکم قطعی غیابی زیرا اگر بخواهند چنین حکمی را به موقع اجرا گذارند ممکن است محکوم علیه اعتراض کند و در صورت اعتراض از حال قطعیت خارج می شود. بنابراین باید صبر کرد تا نتیجه اعتراض متهم معلوم شود اگر متهم در اثر اعتراض محکوم علیه برائت او صادر شد، چون محکومیت او منتفی
می شود دیگر لازم الاجرا نیست و جرم بعدی مشمول قواعد تکرار جرم نخواهد شد برعکس اگر اعتراض متهم تأثیری در از بین بردن محکومیت نداشت در این صورت لازم الاجرا می شود. ” [۵۴]

1. همانند قانون قبلی (۱۳۰۴ ) تکرار تنها در مورد جنایت و جنحه مهم مصداق پیدا می کند.
2. ” قانونگذار، تکرار جرم عام و تکرار جرم دائم را در بند های ۱ و ۲ ماده ۲۴ اصلاحی مورد پذ یرش قرار داده است.”[۵۵]
3. ” همچنین قانونگذار، اعمال قاعده تکرار جرم را در قانون مجازات عمومی تنها در جرائم عمومی پذیرفته و به این ترتیب جرائم اختصاصی همانند جرائم خاص نظامی را استثناء کرده است.” [۵۶]
4. “منظور از تاریخ مدت اتمام مجازات تاریخ اجرای مجازات نیست زیرا در ماده مذکور صراحتا ً آمده است خواه حکم سابق اجرا شده یا نشده باشد. “[۵۷]

قانونگذار در ماده ۲۵ سه حالت را برای مجازات در نظر گرفته بود :

1. مجرم فقط یک محکومیت جنایی یا جنحه داشته باشد.
2. مجرم دو سابقه محکومیت جنایی یا جنحه داشته باشد.
3. مجرم بیش از دو سابقه محکومیت جنایی یا جنحه داشته باشد.

در حالت اول ” مجازات مجرم بیشتر از حداکثر مجازات جرمی است که دفعه دوم مرتکب شده، بدون اینکه از حداکثر آن مجازات به علاوه نصف تجاوز کند. “در این مورد استثنایی هم قائل شده و آن در موردی است که ” مرتکب نظیر همان جرم شده باشد”. مجازات تکرار کننده در این صورت ” بیشتر از حداکثر مجازات جرم دوم خواهد بود بدون اینکه از دو برابر حداکثر تجاوز کند. “
در این قسمت جرائم مشابه را نام می برد و ارتشاء و کلاهبرداری را به موارد قانون پیشین اضافه می کند.
در حالت دوم مجازات تکرار کننده ” یک درجه تشدید شده یا بیشتر از دو برابر حداکثر مجازات جرم سوم خواهد بود بدون اینکه از سه برابر تجاوز کند.
حالت سوم مربوط می شود به زمانی که مجرم بیش از دو سابقه محکومیت جنایی یا جنحه داشته باشد. در این صورت ” مجازات او یک درجه تشدید می شود و نباید از دو برابر حداقل مجازات کمتر باشد. ” در این مورد نیز تخصیصی وجود دارد مبنی بر اینکه ” مگر اینکه دو برابر حداقل، بیش از حداکثر مجازات اشد باشد که در این صورت به همان حداکثر محکوم خواهد شد. “
تخصیص دیگری که در این ماده وجود دارد در مورد مرتکبین کلاهبرداری و یا سرقتی است که بیش از دو بار مرتکب این جرم شده اند، مجازات این دسته ” حبس موقت با اعمال شاقه است مگر اینکه قانوناً جزای بیشتری برای آنها مقرر باشد و در مورد این اشخاص محکمه باید حکم دهد که محکوم بعد از انقضای مدت محکومیت در یکی از نقاطی که از طرف دولت معین میشود توقف اجباری نماید. “

 

۱۰۴۸۵۳۳۷*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 مراجعه نمایید.

 

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

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

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

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

منابع

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