2.3. BAJARILUVCHI VA UMUMQIYMATLI FORMULALAR
1- t a ’ r i f . Agar A formula ifodasiga kiruvchi va M sohaga oid o‘zgaruvchilarning shunday qiymatlari mavjud bo‘lib, bu qiymatlarda A formula chin qiymat qabul qilsa, u holda predikatlar mantiqining A formulasi M sohada bajariluvchi formula deb ataladi.
2- t a ’ r i f . Agar shunday soha mavjud bo‘lib, unda A formula bajariladigan bo‘lsa, u holda A bajariluvchi formula deb ataladi.
Demak, agar biror formula bajariluvchi bo‘lsa, bu hali uning istalgan sohada bajariluvchanligini bildirmaydi.
3- t a ’ r i f . Agar A ning ifodasiga kiruvchi va M sohaga oid hamma o‘zgaruvchilarning qiymatlarida A formula chin qiymat qabul qilsa, u holda A formula M sohada aynan chin formula deb ataladi.
4- t a ’ r i f . Agar A formula har qanday sohada aynan chin bo‘lsa, u holda A umumqiymatli formula deb ataladi.
5- t a ’ r i f . Agar A formula ifodasiga kiruvchi va M sohaga oid hamma o‘zgaruvchilarning qiymatlarida A formula yolg‘on qiymat qabul qilsa, u holda A formula M sohada aynan yolg‘on formula deb ataladi.
Demak, predikatlar mantiqi formulalarini ikki sinfga ajratish mumkin: bajariluvchi sinflar va bajarilmas (bajarilmaydigan) sinflar formulalari.
6- t a ’ r i f . Umumqiymatli formula mantiq qonuni deb ataladi.
t e o r e m a . A umumqiymatli formula bo‘lishi uchun uning inkori A bajariluvchi formula bo‘lmasligi zarur va yetarlidir.
t e o r e m a . bajariluvchi formula bo‘lishi uchun ning umumqiymatli formula bo‘lmasligi zarur va yetarlidir.
Berilgan predikatni umumqiymatlilikga tekshirish.
x( A(x) xB(x)) y( A(x) C( y) C( y)B(x));
Quyidagi teng kuchli formulalardan foydalandim:
1. xA(x) x A(x) . (a)
2. xA(x) x A(x) . (b)
3. xA(x) x A(x) . (c)
4. xA(x) x A(x) . (d)
5. x xy x (e)
6. x y x y (f)
Quyidagi formula umumqiymatlimi?
x( A(x) xB(x)) y( A(x) C( y) C( y)B(x));
1-ish.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAA+QAAAAbCAIAAAB6E9IXAAAACXBIWXMAABYlAAAWKAH8/Fq9AABNoElEQVR4nO1dCTyUX/efZ8Yga4utFKFVqy1LRNlCKUkpKUIJkexbskvZsi9lyR4l2VO2SKTSIu0rWbJnneX5z1hnmBkzUW+//6fvx+d9fz3zzDP3nnvu95x77rnnoQJBEPIP//AP//AP//AP//AP//APfx+o/tcN+Id/+Id/+Id/+Id/+Id/+AfC+Oes/8M//MM//MM//MM//MM//KX4Hznrg1/Kyto3ygvMB8i5u6/KSf/O3mtOQgRaO/TtfkkLv4LQQjKehG6uyv/ILS++GE5pe/9foe/9nQeDknLr5pFxL+pTaX7X+p2bF8GmXH99Nw8losLPRNYA/qeAaKku+rhMUWwxlKy7XwVqRfMn+MpTT/8M3fk8/xm9ojQvbPpn0zD08k4xXFxxFcPfLFFk26M7bxcrSnCSJRvIf0RPwJ5XeY9gijtWkTNOWKC/VeQ3r1IQZv0d9EkJN4LtjwrqObZLLaWZ0sCmB/nfeBW2sP+3gzGoH08KG1gUJZeRpW7oplQd5+HASO0FBCQ3F6T3/wtg7+v8Goj8jtXk6AgxdvpPsNavYbipsrhxpYIIK1ldG3zqfSxNMsFTkoBvQZEa/6wrrGKUlOOlo7C5fxSI71V3v/AoiLKTawf+A3pCid0HOx8XPmORluaiJe/63GD6REV/iNivVro3N+EoaYsMtqYd35kmcSPNYDm5Izb6ve4nkQ5BLUrONuR56mBPiYOuX+Mp/Wm/AvbWXbEP+CJ3zp4cTx0DKDv/4syzmoky7heOrKWnpNFzA7D92r6VhoVDRD6mWmVRXOMqSK59RX3IC76Wkx0TWfQZAYHSs/NwL6Ia7OkFWTfK7D1qevrg5gXTxwXdXhloH4M86HqGHKOFAYyLnynNTDPlwCVXVW4cfxTGtwbuanAYbuBnJ7f4z3sEcyvJSQy8TnHyqhWycd5Cnk4PPvXRPfdStnj63Yivue7OeZzGrgZkWnyalauGz+lqLzT1t5RipWhG/TqQ7c9zk+LTsksef+yFUAGInuYvTV3DI4dYaHdGf87VY8OZWIPvrju7V22wOi9EQev+F3qC6qwvSLmWmnXv0ftuENOr3pavjZ1DI72Cb7v8rvg0F04HkN+LLjhmMBu4naLAM4Ny8i/KMNdMUvH21FhBlJf7n18PTsm7GRVb1QZC4MxLeTgZwb7ufhouETl1vTOndq2cRkGUciMEWLR22XvLwwlC5y7pbWKc/A508Vq2G2cPJsp7eh1a/XvMfn+pnZwd6FXkLU36+Yg6H5WTzVZFfvIMFD1/6MPN865lq8+6HCNP3VCfYk+ezl0UGz1NcnNGenMF1KsLUuKudQgiH1NL+T3PPbmU3FmGeJMVlJB7+2p0SSMKAmNYzMO1ANrf/RO2WGCHmo6Zifo6AgtlVEvJRYeUeTquJmTOSWLs9L9gLVz0pBxYrpdDzA7AeEzvPPESpTw29/NFrKPv220OjhLkzcO+Klcdjw8Hq6dLgFI1hjCs5uu0P6rDbeVnKkqmXzNrIFqf3E66lp5T+uRzH0AFGe7G2IHuUfVk3Jf8JUNzPs7N/a8SHH1eits5iVEw3n9STwZf3ghKyc2MjKlsRUOomDh5lzJheLcPvkxYbt/xM0aqq6evGCi1+8CCNdxfrbX01zv4nhRkBma8PjeYPlehy5UV2W39ol8cdt5IYiaj3sT6ZbHpu3NR5qm337NW86DzuXlejLxYG9ieb6kX3IBWZVuE/0NgZ5mD2jmI+y0PSfKFAjAJGIZdjNXcs+trdJatKOMfXuYBzIoe2QUWaEKfIaq9NSKHURQ8DcarZOasoExXw29dTacW3XBdE2PhEa0PLuuoWR1OSriXVh6pyo7bQ1RTltH+8NURGVYbyLRaGEBZpawjmS6pqmh8T0s9yT/hmVBxKrpEMZ1TVtRpuxV7iOcP++tzK8kx/Hzko2722TwzeCd5wZQRinZ7OCCqxTJlEgy9jj58rHh/WtwhLvIFQ82t6hXBaKkkf8I2O0Jt6W+O6g1+uO1lbhlQCt9pec49M1KIkw7bB7Dv871QEx277JbNcjIsOFLoe+qvYdxgdCNsF9nBlFH8WT0Z/lJ46az5xTtIGTPnc+mhosvoR3o18K088oyOVcZXflkZ3BAE4mOizqEbOxKS9VZQ5pMBC0TNItxC9+3d25hw48xmwu4q3QYN6w17xX/elbn8benJW2+DpDE/MvA5z/ngQWvVa2mOBfdcxXEcWIq5cQT063SCA+iO7tr5KSjbbdtETBmYL2wS7h2lobanMe6mpRBlfjJZoBNTlWjfHZhpse0wqeny825w8DvhOEnKWjDwPOjAiad6N6L2kre/BUG+CdO3yOlgs5o6FeeU9OYIMO7DoTlbfxKs7NCTa6VRiaCk6AN8lepZV2VZoFLI9cX8w4lv41Uxi8ChphKfI/sdNRKSTDNLAxQW4Y4Q8nOanmaSeGyq4Woaok+dCmLs9GdZaxroZV2yC0wJ2gFk7aWDQUOU2wGwq+L8Pvv+c5k+MoS2aAh8ARtOvFQ3LGs61Q2lWI2xoOXTuBTKYKykYOqeE6hEId1SjL43Ge5nrIOrGPfaOPvkXN3MQYvtM7r3fUHAqePn73SKyEkxTd4N9jz03GfZZpvpL7eIMufpD+oJ7bp9Vm67pQZKtvp+4NDLeBcuh5nAg18LXTUP2O5NSLXNLfaUwmVYiu0+FnRrjgReptNT2fnRP9t7+6QwiF2fCxAwntBlmia7XU6HFFtGyBMNPw9WhkV92+1/gOz9cCyGX13WOFKhcqeUXGsENt80O3HlAwrgYGPFs6YYbj6oWSSXf58CT30McN5jEZ6lIupHOSvSj3L/WXKhYuOXYCP80XAfB/wXRnbo9Yv3KAjdVpUdo4KAs4mfCTibdsemOsY20FDZczJzqL/GXe3Up+MVYRQYrTHQbTp79WzJlj2nOSsjd00qNMAkfu6KrpzkHtsl5Rel53wdSRJzLkn010QdtbgNqTXkztgxih6CzGPBX0iC7Xmmqh6MFx9pUuCpjwJYuN0zUmObrJrLkhJX0d+294P4nGmudiy0nkMrsiri6BocVxOg55a1jLtUvdp1pQz3RKfQTal6eyJXxtdQ6qmPPfTP6AmyMc9WXcvv8Xz14PIYg4044RNg3tJtZjGBjyvNFuxYMzHjwe5ia1U7hEP1cQo99THQrDWMdiwR2WvAWXlNYwkRwYDtDa9a0ACrnMqW0R+Zx63k5qN7ffvlmosO8QZFRuNb4xRz4yRgyzRC/UpFDhxaWp5tuHJS56hX6ke5lgrv1V1SmXqYvEwSSkCzxfDkaqHg+HcHLVYSo1GwOT3kJpt+6TZKOAdsvnFiT9CyyEdkuzjDL/yP293tAuH8HPjO+tyT3pyAbtnmrcsIfgJ2vFsAraT8iX2v6z+jIIwyKttGWYNmiYydv/F1IdfnYfYRJ2Xt+SdGqLfcfo9Fj8XDExR46qMgxk5/iLUIAsa6VoKV8EfDw4m/MK+R76MPH7gtefsBmZ76eDgRAWFmZcWL/lGuxhOAsin5hpVLqKhfvFNks/m3pFRgMfQuxXiv/tWPPHqxNcEafDj6AGXkU3KM93iwNlRShmOi9ahPcdrqaSI3qij11EfxJ/UE7Gp41YQGFsmqiI+Kj3aZwvlL+tclfR/728ecKDXjGesVxXZ/EjDOfZcDy0QPHFxaknt6LfWM12cNgu4E805jbTrl4BuuctrsBHsAdtwOSYEfua3AROhTIhiu89V1rJdLvLmOzG0pjByNTLJ76ADIACs7LgkjXgYct30iHZO64ZckAbConLdaxW+qHymZf4qsfOK/FkPV+cWdIPU2FbnJMCiMk4sT06mhT+8+IiHjznpfpYvuhTb1vKOU5SyNA8ql7XnqsoiBqWJd0n6c3Aj4akP3IyFyujYKT8IU/qy7PqdAf7x6wqxww4UGcTJzBrAUrR//nRaAIBewseIoNNiaeeZEHLPxU5VfW1XTbDJz3Rex55iTfK2f1O8gNHTjzROyB2M/su2Py485QiDUDTBvEpaQFVk//gn6S7zh6ZxVrvVSvx6f/e16ArbmmcqrhTUwq4TnJ55YRYAX6DcKi8nyCI4PFdhZaKMfBjlWpc7xy82BLtZwNwvcZHRKQfzmMYJpC2DnvbyqIWD+jl1bJ71FOCcXBwzyafjjW4x/NepEU8yN+ACYdzjZC68+rRsoXWKxdnJIAba9rhb+601OXt2arc891+46jE/bRM7LOfyhia8EYccP1RAb+kDUKJKfApJFNyYZG93gcni5g1zjMvDIS9frOUCNZXY2XDvxm0jvL0R/RV5pL4Rup8p25olrsCVcS2CQ54iPbz+hIGMjAHbftde7PKRVfpDY6pI0iLHTb2etPwTk6xA9q4fi4fECZK5ksOHEk2k/MD5KHwsbbmCdcjXGB52IlbPilcM6HrJVbsK/w11Hfko6Jns0tXGZdmp+uDrn9BkKsGwWlpLbsWL8E9S7CIOzZUKBkSIUL3wn8Mf0pKckr2IAwqiigvMrVJxci2GQd4iPbzC8O+qsU2z3p4Bpm72jxJqTun4y5bYb4DNfnx0Ix/6oRU4arhO47Ju75gAhbx1svxVQuNqwVogCXxn9Ld7Wu4bhgIs888w3Y4H6EH3CqkHNUfuebch7Fg7WyYjY9yQ7jwe0qrY7yVz7TgeUS+Podis9F+fbmvF7f/kpYxio8NSO4/QKObbyj59bRTzJKWhEUwkrK+BwL6K+7hUSM7JrNq4dbxDqTbhVUAOnUZTEL88z+DqtIwLutnZexir+kjhPmSeufZAv6JJN4Kkd5zbNMskBURd41JfKNsJ406/Twa8A7Lzt7FQ4tCN+72IyoyktN80MC4QdDL/ZXahi4WCZZLqBSm+b5BbhSwfJPqw4DQzbj+5bcjXMJuxkueXquV5KIt+EHtONe4/i0g0P1yKSlAJl335Wb/24terJd3HM6dsWvY/sJFqCmEs9mQb051i9o+GvhhcfDIo2IOSpYwBdtNXsBN+4Yg0/8bO6+mWd86HZUSlsxSFtcafTTm5F6hEKBNYyP0uzS35C6FVVpHE+7K+ve4+ZoHT8G8fC4BRz43QAHHuPKpof8nRM004/jONYQnkOHJWyNXR2ydO4qvLLTyf2o6x7TA7Ya/pEqTmKEfInkPXBkd9VgzXInFUj+HnXzT6ze2vYfnLXFj/vOx8PY7axlnV1vMXAxjrZjt9Ien8bhqqy77RPidlAhl/VvcaoGXztxokjpIjnl60iP66yPSTwy/E+Yuw0l6yFfBl6zBNhEWkm+Gf9frD1ur1bOUwxXZmFPI1Ff0s0Nq2Sc9Krs/V/xoprByhW42kAFuw8umeBUoBtjF7hqV9bbZLA8As/rROpXyArja8E7SPgqWMBW7rTQns8ugG233Q6fw8tl7ybcPyWXPxW6zaBvvKc4h4InRLu4hUyUP/sLWZC0PJvGtsJpNjuTwfApnpUyXT/BYekY7eO4TyF2PVZgYjZhPIcMVZwPaQqGUxLReB4ytAAg3qK1rgGoT5m+wSmP3xaV9eAVI4vDVZYCEDArpoQkxOut1pE/cozDfhgyLqIgDs9dHtkxcjjPMSrID2nluNZSesiVqIhcFa2CZca9TI6IK+LRklOYtpiCN1cEnLpWunTZ3UvO4X9SxI1sf5F/6sECz2bxLfcdoVldgJj/QUWSW3fCMtJ97/mqmrKM7uZME9ImktXXuUk492ofcvmRP3Q3wr9/VIqMAKt75eOKL2yB2N9wd5nV8z0nNK/8LsVF5qNBkqQL3PyP6Jh65QVeSZ+d6ghwiHiNQrGrXP+xHhAa/B+cHDV4EIdWYFpngmiId09+Nbjurpn72i1Moo9JTD0iG4ru2R4yudOn2LUg2sHx/fwYMu3beOBXIr1z3TYegiHzKjWyUixekWFBRaevao8u9xY+Lrt/C/Edh9luJd47NdSE6ZguPlxQU7hveJ7JeUtOxIf+kqOmnLwR6ae6PGyLZeLEo9glBj9OcH/ejNsi+w28tZtGIo2Mq3eGV0uWbINDYGxTO76YFax/jHvIKsOykzLOgC7a2K8owuf1NU9b+Kyu5NjgrWgw5+zHPXORNbS62U88N0xLjxqwe0STJeTg4PLTYJk8J0g1KdEY6MiYb8o/TXEHF709xsWBhm8bldPT48OYbxCc6d73SCToqOLMtHIP7Bgi/SC8W98TfJPaYRtPitNwH6Bve/LcvOKMOItqWU0K80etymol/5yOzz79DKKPLdNxJVI6Am6KcPc4OZKzysmm4gFtMAfuXbHYxfZx1qJTZv2YGuapXXOD5BOysadRJycQVBaZPy/e/IDIl+glp3ZTiCBA+z7VJmH7VVxyUPg+J0iizGbgnoXsXubQ9OBpHv+ChMnv6CLpWTWQIuT/FOd5fSmRSsHKrLvdYG08iqyE5oF9lR6nL/eBtJuMnUci4SQ4EZyqHXsVmbJHYJU12/7X204aLt2slcAm9T29dDCVP9kFyXDOc+FodtmpL9U4LRMPh3NdEGihwcQq+weyjOO9by3Nt4rKh87A74ttsjPN8fuIiC/5pzTNwt7SK2dVnVZgQn8nuqf+AW6wUiavEg22FVko5+43Lv84M/jThAozlQkRXp9TxO8InKxpPeZ1TS3wBqrdcjGAlcDk6AKqGZyVajy+HARIz3IrJWWHJA7+ojHOYXf0VQiuDGb/rpAx9hPaPhKvXM6vGNXfxYFhj1FLjbesXYaeQw8T/YMy8aK5ON8w+wiB0EM76C+F3mcMA4oQ+2Lr4raM957YuxEgrUoBdUamQ1vRVS16O+m6lOcrEMIiJanhbkF9+4VF5c3SsU8DNw+OhxgZ47hliOFm/yLUnUwkkS9vup/u51aVk6Skaynoj5EG1g1aKSUCqULYu3A5K4OCTUGf1REXoy9++RZ3fPWtR73Mo5jTffgu+u2ehYxz1lNcyrdxMd7PE90u9i8qKzAsEf6F7bgKzHy9ZUT5tU7QkKP8BDzONCfk02MCjZfjDrBP20CoN9Hnnat7AMWqjk7bSe60QmwSUiPp5qi3sf532yjkpSTIrDiR7W/LMrNx4q37A2/78OY8fhnf5m1qFoyp3PebdP1E234fdZtEoNVOXd+gDQyuIvX3mqfc8nNIM06Y6dDo8nbJOw++Z4khGHrDhF4Up5/1Isj5zbgrl6JXJ8FiAkFWKRqosVT2uLdkKIx5Uzyz3x9fhN6Y9UJYw/j2WV3SfpDroPawaBIq6CTO5x5az00zR8wcfJwImkB7GEZ5JPUtAYU1SbBjWS5c4NPLx73HjYvPLcFkuLaC0LZ2VjGG4p8npr6HAnjF9g4PbcTyiFz2mfLvtILmmpuaTbeJ/YGb/0Yrq2XAWXlWdpBA8M9tQNdJiDAClQ9SL7xwcRixexsGK2E9Xmla9pa8mBcXuQBntnH16FLFSwubt1f5KKhfjHe6tJJZZ+NL/0PnyqYx7Gcs48WOt4P1Lv8/AYUjFdxJz9GOqjeb8/KbkZ4uEU/ptt2NuqKp+o4UQzeT874jKaSFiSQNQRfs/+8v9zrDHNV7Vh/22j9EtP5JbYHnRoWLeVe3EIDwT25Q8UvsokWTC9IyvmheQwnwYt6o/AGeGRRVvLdXuU95NEcMVBtOO1+KGq3vtxhZN41vbWzjmWhh4H5qwQ3VCWFfXnZmf7IW3K0sBY41NnS3vn+RuK9Dq3jLOCnGymVg9DFmzdzkKMHWIq2fnMwJXbn/LLkVhTuQhJsz00u6ALplQRXTZtXALPIcc+Nux5FHN99Jtf53E2tlH0/005qhfWwc3OxDcIBXOWk3SS8jiqxIiO5/KKMPB6fwbh3KrPa6prHyOcYEIzZgB259ubxCIdaQh4E4nHIRUz7AA5100NkVsP7diulrB9g3biZYFwdgaTm3CCyPP/q2y8/ruc2nTQavQvsa23u/PEm4foTl23SkyxNVE+gi+V3c1nvNwtXvGtGOP25t/i8aViXcbUwAacHVR/pc+sHCCzcZXqUjzxW7LmTnN0G0ogJEcw6QSKpONYJrSiKCf/aeP32xzOrR3eCwf62lo72Zwkp1T4KOydmEmyl0CYmoK4k6VaT7qkpQhp+mH2nDaSWUJbHTsXhzg+P76YGunilfVyq6h4RYSs+GjckxY1kUOs4ANbNAsug956mXK+3wrUOMF7BzQuBR+VJN7+cMJ3zCB2MX9dY7pKfQNETDyF8WaI/BcsK31A3mPCVAUahYx7rVZ5c0d99+paL03XtDM2hm6cOB3awcXOx/8TMABBjirNSin8CCzZuXk7OQIJt2eYnsgUDqo5yNTm2oiFQVo6JTARSpEe/+YhboNKzOMNdhunujinHsrTB26cPXWph4+bm6KbGkyox0put0pIFMkcf+Twn/xOaap3yTmxOJ7Lny9PijFA3t7iXC+TtQqJdFMbp6ee95KxmEL5TaP10rZ+34ZBrgOKLROPd+ile9gk6uXrw/DOaXt/YuLg5OqjJYifirEV5x/mN3LXDlU7JHUTlJZ1cP+tyRmgEhGmF4MbqlLDPL1uuP7y4ffuoUgx3trZ3f7qdUNR2jI8D/So99QkCtmLzRrJiNthw4rk2/awMabqc4HY0wMDKNt5OUmoMsGw96SW050Gg9h67LHvX/AMxii1xx4/FDbMtX8YKgUNwJc2wSXg11c2n15Or3bdsxRszqlUqCvQOZpbSstcPE8yIB1vSrc9mUF90XEOA4QbvX/Yr64NAuQ+ZqpMXJ0e9y0ipHoJyb95EcM8BgaZbLiDAciPi49s310tD9u4dY7bu1rbObw0JOR+M109G0X+XdcNpTm1OQTNItWV08Yro+vTkXtplF4/kdxwqLuGRDlKjxgdNwu5T4EkCCzcL8sAKXqSm1tlvwClAR+z6LED8IfMkTxksFwu69lHdjBenM+D360GZi/Xvb8WfjlSMvKpuznsT96ffvPlQajgUcS4/W2LCnUa/Ky39iPFrlq/gIoOE+x66HQ9icCy13EiDbviOJWGWiXND6May0jcoCNXylcuJ7OHTcW63cz8avyMkK7302KOEBr3MAmW26SNPxbOKhwrS9LSorP3silmeHwI4NP39rlcci9Xa9qP5VuJpQeJnxMDWmD1rTO4SqDWFGh5ebjH5Txg9t6Kzq2aCcmxmRsWewugW85z8HXjLJvTXgpxnSAjQHL9/eVzPjx89Q2gINdcut6KPZ2QW41goZH1xWQsIzOflIyAGbOvh89cc9LaNT9O7m5H1hOdzDLvfHR9CBS5oeVYsg0FeV96tGji2e/JzYAEf3yLgTktp0WPEHunZLVWA+UpeQdp31eNOSHd8v3HdQZJ44jc5kqTlEpDigmzlNUyIM654/aYblBzhGiinbtojpLZaDScDgCGA8ntPEBjDuJIcBwFL0c4/DG67bWMEfzS39GOm9eRCcqj6XkUfBLaOj4fwtgBAwyZifOF0bIFjQXphXXfhXbmEIi0CegxdvIKHHnK/teTuc6S8CN7nwKJdnh6SAra2N/YQyqPtu+9umbHE+oEuIa8MUZuajpk7AIvCPhkyt0B67t99NIyZbasIzjZg4WpxydUQUdi98Lygd6/eoyCj3irVFvfyUshuq4V4oWYSegIwybpcUBIwskzcf5NAxdjBRxfM4xnNio0IlYRGvkxLe4aAQJh2qMuTmdGGqL1X3g1Cl6/gIeQGAMwrRCVXQMToK6Nueb+rf4eCjDrrVBvtix5A1E6g8APocJ5V3DDIk+qi+72nNPHCTsiRJDUI1YsL25a5dbZ1/ESAEHr+owE1pbqCCyd0Df1pBm4kTa049/Gs4qWCvK+/V9rkuAFnLQZbjtXs6tqi8q7Ty6cVg+tKVOc9kU+s9t0YaORCXmfqEGRJYImGidq5E8GFNjEquNm5iMeR4a/kXbTwjS5AwyJ40scsNsemKD2/brg0Z2tskQ7fhC70Vtx9OAiBbVhJTtUgdFPaaeP7chFV+xdDEU+/t2AkzcK2cOznZiQ96kWb9C6cjb11tjg9tw72MFMoukifUAIVEdKDzE5pIajnHhKSni+QBD4ZQoopT/5z5tFHvc3Pw0xryKcwFa6grh/tvcMghJZP3bs810iCDWeaIZ7eK+8AoZx8PITNE0C9cMOxC5ZxN0+XpefUMdal8YcXBa2d7hURYycSrEU5mOTdQ4/fUY0+JaPUlJHuLE283B/YmaDOd7KAoB0Y4jw98l80SzdLLYVIrjJKvHqi9M2bDnD7yAYcwH4ksQapu7eMkxmAoJvL79UjMbNlFdFgNQ5GwonIs3cct9ChvzS3IiDQZZO7On0zqDGUlmPrWS+DWLELOel3H3+4Wb0/7Q6hXBQY9woeOOTx15Li16it6/E+Bzg0LjhfEbZzzFeKVp5Ge2D3HWfbwrVONYcIHU0YqkzBrGMhAKeSmjh5iyrwR/k9jKtBxUPY64JxbJDigEA2t9+IqLz59vU3FGTUNWfaHVGTDtuVuBRvDv4m6zYJ5LOc/C9oCKzBb8eyC51t7VjepVuj5fvwnr7woonfAztnsPvkepIwHqzGNLwtLvmCFsRxlYldH8XPNE1u3duDpPoBgVBLB9TnGExk0ZCYU7A1OkbbfLzDa075iE6wGOpVTEi1xOkrhNKNmKSVJOal5Eboh1ulJ+ARCuL18wYEBGBlZ50xuQHsKXU8HrfMu9IIG51EtDaNOOsTZzeQDc8akNiDRKwkwq60W3ZuXxQcd93I0fDaDULyhWAPXHOwwbCJfc9eIyGss42GQ7mORMc/bNgdkm0mLfUyKj1AcyXh9gELd/sWbeieXmsKUeWuGjLlGr3ETimmK+nxJy6YpaTtmGJnwebCnEfDwJKTN96Hy9Gifn57nBNiY+aT7aitT30r9YzghDvW9+olxhmAYoRPXMUBVtmdQvC8qkvHb5zPvEKkFB2UbQlGlg09L59/Ru3G2WmHYa7DIN+bX75sRUtTVB6IUEvY9gQl27yQ8yx2Utj6Kuh6xPENhF+kQL4koayrV7EA5c1NzWjIeFohvLcJonhkG4arEG+fN2CYnoaVfdGMTcdS9AWUxR0HbLAM1dI8upAclyvq68tX3SDmymISkoatlpfndb6Yb228ODTLn8iKE8a2GCPRrs/P63tAkSnjDuXUuuR4VcTG+a5CqBy+2R2u8zePhhvdMSUYMEY3PqzCcDSEeqOYIJl7Fsj3LxowfEJFUncgVCv4V1KhK5qaMWIc+2EopOkH9+ET+IFuUnoCsO3zdrkq5GCfrRKrir9CQzaEmgcN6NyyFiIUTgE7Hj54jXFV4PxiQmRu66BbX9VPicMS7tUKKvD996YeEDIWTgKgzc2smibr8AYNyrYYWyNn4NWzd0hN3Ne2jSapUW12Kn/kuB6G6Hr/4LqPuVVUvJkWhC47+vC4i0oWNxKn1kkA8znYMPrc+wp7ZGUZTnECdqwyQQZfPXuDhIhN1QwmFf/7D10I1r7D6SMjJ/GSz4zyxsfmywaluisZTA5qT0FI/PChFBUCyycYr7zCKvtHRQ6GSwKzgvhwGoT88KKhH1vhg31qAcbpQH2OM7R4sT+xcidGW8CfLS0/Qezx0vGnkUN6UG75nfxUlfecDZb6ZoUSO+pAhPSw+GWlxR520I25p9g/vURjz20z1dIp10iOPvpzfs5zJJTXPK/BTwKO7P386FagpXlAho0WmvZ24sn141Md7HhV34TVelLsBOWU27mBqrTUXZ/LOyucgKc+0nYi7ESKtSgGwKLsn+z0TPZ8metOiYaA61EnNhNReyYln6JS++kajKzx3uuLd+fC1WvYofeavzWjIBxjExXe34SUO7IdI6Th189fY9b8zGxsM7+4BxtODGZyLj27AZtA1drUMsIm40pLlhrDN+6UXeITmnXGgu1KpgmRrHFqdg6MUfr2tu7VIGT9lPx9GK++n1XsVgt3XWlfSfzPBqq9LJIWWpSfWEHosagPVQ8xDYbQCogLkplrinwzIhs6VnZS4ZB5K9dww9AY8aIh4+4hHPH9p+gRJfy3RvwW64bTv9f5+W9RsHV2xU/dNlMhuj88zPA9axGWePYwSJcdc3R8niPJsfvkeJIAAzsHIwDpePXsFQLCSzPj9VHQK14sf+g4E+8yLMGNkJBaAAMc+03Uz+kE5dhvURsT90BZaHSbWhjhzFBgwTY5QXh2DbfiEX48LQB7W1ox2gvQ0dPNMA/AjgIr/ZubAqq0R+u3I1qbf6AxAmUbT6waaG3BGE+AjoGe1JNoxeW20sdkL9yuRbxCEJyRCTNFB1u/t6AmfIzJdvR8efmxA0lJuVsI21Fn/RLd0JfPIg9vqS29HHvhyHpC8S+WlYIsBL493M4yfSwYJeVEadOKF8trTavfBLbfza4cnKhNBGNYKnLQ6yZT2/pdV3KtDruIPr04tmpG/2hpRWGFz0BK+FBOGdm1sPKPa3YfIhpYgDIyYWtToUbICTctdvQ6ugV7faqzDvY1NrxrG6JIkvPUnEyKjvhUv07Sl6grvRQbYCC8cPo8IV+SMHZONhi67XsbZm6MNBv1LurCZ43RM2Po1mbsdVp6upkCKliKDmE+X3Zm/Yh2ozELyRF/YGLXpxW7DQShoiep5lQbZbexXLwKE9VQIJ41zjh/VNLYBy6c2i7YSkN/8zjps166D722TLrdqPeR5r4dh9PsthB2xVHfv3zHVh2ex7mU3EI1Y7KB09GRYnVgAQc7LQTZ1tKOhjCMyKK39EIi+5nEKYdBSOoJxnXS8bWNEbN0LdsRiHMcE/31mqXXp73RmdKENwNQ37+O9Aq2ZBm5FdIwA4ftFXQGOprHvng+gG5raRtf4vVXX4qiMYpbM8VjY2DCdhrRgo3t4jbsfV5eAwrGp6g48gX4fL5tBmFZsG/8ernxBjqbhUvMR84gk8eNRKkVF1BGZox8e7qbmzEPxLmLlokJw29DLSPaOe1L87n455OQAhmAC5w4JbgxJPqF7vibOdCNacFZywwqCQfuqNbJyiz2CkcLa6jgR8/QbdjlL0bdZrQTyLfh+g5Nx2+lSI9QLHqkbzDWiTIE5JEebPV2GU7os0FB9T1Ez4ARI72xT39NaTGYt4RfaMn0y2DHC2ZgqrNOavTR3wtzahHAYgWVkTQkKkZusSO+t+Y182sk3zTV8t7yyGUsD2lMuDMoGoxPRmY5tLZzk5o60bALMXYizVr9Ta/etlJmB6h3OZkWaHk9eJdmKPms9ELsZUNRFgLx50UrBBcR+PZwz9QYHGbhxQ5Ff8HO6FGgPsZ6v95zwRbrJGBcjXaQLB+lp9RRL57bu+Lk6PnwUdrHSVknT42pheSkmENT6bdqbiOeNT4yoyHDLd8x1Eo/dTzgG8wCDBMUzf2PVjhumtQLRH3QmTCkQY75JsJMgWoaYUxgAScnSScK9ysjdmAm2cDYl2DM7IeWNuSYQwU2X/col7JNnOKQ/xbrNgH0p4KcF0jockXlkaAKnJlX8nhwFryR/9itpJNHN4lUWI/OYvLsPjme5Khda+9rbsa4pjjONbHrox8yL+NnJly+lShI71YxyBrrsEoHJ33ZY4TdzgR/ZAanMR4rlCVCQdBF3NxMQEVd9dNhPXncpQQKObbfB5DUDrDlpunJ+Ob+hRaiPKN5DKhebKYBz4Q/BCKRKOx8n0HJADqu5axQZEP1417I6vlEboLDseW40cPDBPYiEQ88dqondFJELdjmIYZH/q+rNtzgOLfQA1tKapYRAMDMzb0QQD5/+GTgNBe+svQUZ5f1QRiVduFWQGKW2SXFcCW5511W5nMv8dEtJhA1JjLSMoMtWb6MGvLyycOXSPUtRLQCDseeNgaHh4bxBUMFx85NzHUC7+RDPgtUVwz5TOm7KUDk6A7Rz5fXTLQWb355QXQW+6pQLJGi37T+QIywCPpTjGuNisfVMecOhRpXTpINwlC0bsDrIWbPHXyeo1f62ppACCML68SSDCNpyMyPgi/jXQpDP3tU24TeSqxWAEbSkFFJE/yYWsDC/3jS7jPB2mVW/GP+0fcUK7cGxeAUOWLUD1DBYSObvzNoAg4wuoMkQ3dG5duGXVdjO9RXeSEEdubq9OOSpPQE+/FakwCTeFnzi8ceuAiO0gf445a900Nxjye7ia0vABg1FTBzE/EwPuKkJQFlxfbqB7ZX2CXe4GN/317DCJlp4XuMXDFDMDg8jPcqG/TX/JxnSOhSRZVNuJkCiiqC8NyS/oeZBU1mq0ZyVcjjRqLUiovx+TmMnZ+4EZkRuSOmTts5A5TrsLGyq3nwPYvIkZI4yJdXQmqlLOKJVUSiWsaDmQG1tY++oKX5cGcAcnQCzTSW2LLqjhUDNA3718aNXhnqaETi+kvkkt4yXi4Y+ODxow8ouTVEGkuM9Mb78itKSymIjz7YXpRTNYSN2YjhxPQWye8Sp0m+NViflf36nMBoAgWIQqBG1YJko7AioQI/Pa55g1Iidi6OGDuRYi3kyxBN2YB3FL+jCDnq3/c1JJsd4tj02k9yFpvgIzwFPm9pHRpZzKK/JriUy7rEjubuoVDjukfaDnQUWOlFfBqc7yTF4zRyBd3X2gkC7DhvgiFPjWm5li+Got4/etwBChA7Tk1FPcKYiGHCdoBOzN5P87rm2ahDhcZju5joz7FnLzTtj3fcSsy5BKioRjSaAjuARiFniAGPPHikiDGirbVjJBYDtt5yubn+3LXpBzp+h3WbaGpTQfZjBBSzeBWc1BSAXUFFGH7rzuDjzLzPlmt5xwacDLtPlidJNdafYQR5138VM7hAVBsNjEQCgyOfGHgIwVHv4oNLNp0KIPZi0+HnETe+cTND6irLXiHlN+Pk2tMzMWLlMzQ4SMJcoL8lGVu/1ytvOTdxIgdZbbNOwufDZKYBQMfEiBkDxOAAySd9Soh9yboY+qmqtHb4kCyRUBQSgZUhLSMDgelPrRjx7WcE8V8gBLA111BKLfLNMDBf4LhPlI/eLD117O7TleT3S1ghjx+U1SH2SOC2s688+9602kTYjXro2I79xCVsaAgjPdRgPymR9VeFFHSvpEW9qqj4gt4yLcNqrD0jfgXAwDTl1a+j16GMzAQ2EOHiPvU9PqT7ORVgV5nN9p0Xnw5AGNYe8ogKMJ6Npw7BJghgmXQ09EsHfrjqUq3sET6e1Tu6/u0fGhgiwUdYijYskrv1LVBufCMQ/d5Pcq3FQ5bJjfaxyDFkcETNiVAA2HY7/CE1DwzxpPRBryk3kWp6CMSIRKdJegIMUucuqW3WORtzIBd7FgfszHd0KBV0eaxOvIoGjG/dahrIm/6+D+++oyHE0/5AcILHR3WnGzEwgGkO8TM9I2dKsCEVrAR/VngHQ80jtxHISSGlJyOgFbHxP5Kqbh6mdfcMNguut8TF+jafY7UW8bKRMO61q+khT7sRH99NlpMm3auxeBVklESIymu0V59bf2B33gZqfX17ToUSyooHR7oFMDLi9gpsGUlSY5NXEcGlH8z8HJ2gE4aSPG4kSq14GNUaGAPjlIgZEnt9bAdg2ne+VuXXNs/gQ8HYBRTEuYkrALBgl4mW3e7L6a7yOhxAX0nI1U71KDUiqgh25IVWArwwxLOyB11n+XDCbqMD8wMcHMB4U0SzaQdqvfQiOEJelxyeqL31M1WdTfMGxhcbHx6ySA/sKgouQ/FRIV+UVnbYrCFycIkY6U3gF5SWQpAY/e7i7PI+CJOyCn7Vaoyajf4Hjh1gmI8VCUha0XpKgksGV8CRDWWVreAGIvsNxNiJFGtRiXjU9XiQ7OY0gD0VjrKKno/6IHSrNdwiL5vOxlOHYPWLjZUOgv7Rill/M4Kf48+Xy7pHjhMhDSMjRsGHSXsW2Jq9pjXqhU3ekuMhGtQLNyGBcy9wcl7IUmN0U1rUUyYu2FBN6cMBvd1EztAiR/w8jESJMCYwX8HNW2GzqVXKvnStxVgHOcPG+anMpRgl4vkqVCvXr4JDvg61v3/fAe4gXj0LBCdYioqRGUMpg4MkVQeCXS0vwoY3MHaAE2jJdL253uXK9FI0v8e6jTf6R1HOQ8ziVU5ZFI+uYGMTYmrcewa7T64nOdofgrxL4PrIZ9+q8x41zcC7UNZNClt5Jt8aT/puCHSppomqi3Fwoc1VuZcRkR+VvDWJcBCiPtT3x9Goky0bTpbcr2hGb14KBdFoyIhxolnOi1lqve9q7ySQcjLW+A/RJ92HbLPtcc/Oo1qbRzINJosiwZfzYSi6oaejE4m31YsD9NdEryeK4TYDQuqpWHaT3USFWRqioTD8dg91dfWDEBgXDzlnXmfG8KtgLe2oN8N0/MfC0kOPrp31CXYI6v2VC+/VI826Nmln36/4hJLALFHRaPQIDw8+yC5qH6lNhBe8GawtediLjayIS05U5wIW8fJglqM/Ots7iWrlQI1fOMw09MgHQeu60gfdZ3gXAJixA6D4EkN3d2JTxGFcfPgiA0evU3PxzMlbhFGfrukevPR0gIZX3S/96ikBit/oOB3jLPIDPdQddP7FPl//yT1eGPeK5TBIC7KzvQeE0BL8LSxFn60/mlQoh0OBqNEsmMmzzxjBrOCmgrxEdbZ3oSGLCYoCbM/zvL3W2xN4Knu5qqx2WHMH9cSY4t7W04GVKAP3cqKvDAUWqnh6bNtsY5OxJ1mDodLDMn2J7QNdUlV9gQWKBxXmZ2d21SSlNJjY8hM89/bthl0Q+ozX/tGDSaOy+Ybu6ugisA07gdGIVV1r2wC6/Z5zOJN1lAShvTdy9IRph8sFlc2Glon7M4+xPPExj2M0LzWcXlsHBwyyB3expSW2PktJrrN0I5iFCbbkOvp0GPgcGT1KBOPkW04DeTTY9QM7I4j3aiEbKxVkuK2lE939xs0fdTqCYJUzsKdr+qwAO4pyKgeBBbIqErjWGuyqKKlDYDOWJcTHk3bI4EZS1IoDdE9XD+bqEh5ufCH0d3UPEZi2oxioibaxKp7hgCm1lJeEGDcNiYlII2Z4YrVQ8NVX2nYsN4IzFuje3U44sgd23vHK4HXz2f1c2vdhSc3QEUXaiRkAW76CGwb5iO7swAwMM+GB6b3vfOKmaHjxIZwquei27y1ICHQx+8TLOMggPbC7xDuZ85yvWr2kN9ZhOr6LjtBUJEZ6uKBcaSkBqdHvK88u6YHQKatsx3v1Tt+D4pph7EaOhMRE2jJGL5bPgzz42Tmi9YT70lvuE7/QJvBAg9j52tKqvpNqDJSwExmsRQlQX1P0D3o/6qNevvfi9djTwnPwLjXouDeJGh6MOPdo14UgLhw7wIdRvuc/OzqHiHoW3xKNHZpNblyRZJpuByaddTLUGGy+6VkqHuiMlFS+Wln6DLFbDE7IRwG7sTMaWIjdXyfSJYBd48L5q4L2DnnKV5Rhd51tC9Y6PTpIKiMQ4FA5KM1wt/BnRWLaBz1TPkK3Ij8m2UQz2bqPvboXYwcwPWof7OjEuEzEaWA0vNHY8gON+pTkmCviEk7wcPVvsW5jj+6+l32/H8KkMmXx2lNR8gTLu8slJMaDdGTYfTI9ScwoYfoD5eDhpiPr+giGn8TYWBTOxLvirqISPBONm5FRgPnKxkcYdl5OOTtQmgg5fGPKYYFx9Ndecv96KMSMt7FqLVXh45LKXiO1tphzBSJuxhuoIPB14sKMkPf9jV8xiy5CReMGn/npBrF639Xjw20Q2NHY2A+B0LOyTixNqNaKYWZtQ2/j12Y0hFAAGPEmyrFcxjOcB9ohRJ1UXna/Gb0BevNcApu9tRSuzFDfv31HYRwYIdG5YNWBWg9tm6IuNrkLt65biRIWEWUYehHk/Hy33wmen282wTOflNzvsOTtT3K6scrZXIRmuCa7oBmEb8F7GRLYXeluHvkO41WJW1gqTnpL8M1iQjTR+e3fGvsJshDYXerqN3wyWmxNnQQXtLqquHpIS/pNsGutirsunoRHk91gfCJC+JMM9f1rExpCxS8qSDRDk3wgGoJ0TDJb5kvYZ2S6bSd1ApACjLLI15b3Je6ZnSdC8d4eDuPeIrIY+rCp6UsjCsJGQBdQH2NPOHZZ5FhvxsvrQH7/NnKuaHIhCcwXFltLlVvX9BnzpGnprZCR0swOyXzWMWuW3BJjDEy/X/oKuZ2rzCvop6ET/vk0RBP22fBNYoIkTutDlxy+6HRV2OZcDsdS1ygqozsmBP3vSQBsGm4O4Xet7td46DpvzXOXmmIBBt6m2bk+Vw10nVAqKOcWkaXQ+18aPzcRyDKffDADG2aGon80PUqwv77WOYLIC7LJ0hOAVc3L9aqgo/2NFZsvBw0cv2Uxw8sEgfm7nZ3lck3uPPc9biNd6Cs35RjQ0KdbTo6VMn7ek4f+6QTFN8LTHzR9bZx8xS8BwLHFRdBtTc/SHZIW20eJEfY+Ud+/NGGM9WIhYe7J97Z1380q7YMwKChL43wJ1XTbyj6jHQRYVe2NJ+r0zsiNpKl1Eui2b02D2HLyovjRLAzTYcQOsAgJEypsybQvun4fURGQD9jKoyZyXo4h95S4Q8oETwWvJyhXsDnLMX6JRcw6njyx+b7JFSUvkAorH1zwa9M7v48NgLKLbOGBlbzDqBuK4NYP+CPX0qhCLa5IDi9wODYEuFXWZyS9tlynqEXmMRtX3RNf6B1bUfIMsWvdo0sXv2q7HMCLJxMjPTxQrLTkg+ToD9zPwsZstuPFbMD2e06W8d/QAPMOG3PpyalIIyS+GZ5c1vy1CUFwVQi2FziH0ZteFVx3X5wNeFGJcW/UBJ/6e7896HIYL0BHjJ3IYi1ygXwbrmuU3sQkap12y1OefW4KVcOwL1dEv27+UOGV3aQbbIwbVqZaLSa8EHje2fS1CQUhVD8D8TpUzwt2rtAE/w3y/Y2NHSBuISLIjGqM+pzgkC3gGM3HDGyZF51XXv4JJbqgwCUSbmEvj7fo6m/61o7xjgXFNpPYUoAuP+5nEyNu6XaIjsYiaaFlucEMBWyhS7U9rSLvOz8qcz7uJZZlv2XKMqiv/pq19xetYPsJMwnj2yLMCjxuw9hINGQB0aePGEOwvuVLdUB8reqlACJlVn6PdRtBb3FWcS+EXmUX7uIV3ZJra5vaCgKLlOxOTxSsn9Huk+tJgp2NTX0YoyIgis95xK6Pgm53WP3umTuEBzIEQL3lpOH6zZ7733fxGT3agkdC6O9JmsImL8R05FFvmaySFBYAAIOM9FJoXaH/WYts9HKLsDFzwiCjuoMpNfPNi9d4hQrGn5JlonG+XaNiynkjSN/T6noMsaD6+4cmduHnbVOVm594/e2L18MQ3snB7ikwEjiYt1J7H/O7Ie24IE4ogNomu4Hq7oNwa5vHUEadkH1TVjeId/XvUcAC+d1bZ13NG3v03+xS3aK94QVJBvykHofub//eMUBwKwnxow8NYQHbM3VEdCo26+yCv6UySjBjA4CFMjIrYJUlwZZWpSCbUZgWDVYlr2V8QcP45eVGqQD982tNdpSn06Wsd4PMAsZxaRa4lXQBFgVVCdr80tcv3iAhk+noqPdhyuJOrXI6Yj0feN0TsW9D2iy7bVFAXJa3udk11CbnkClrIbD3TUMjGrpUaZcAntagvze87gZha5SVCJcbpgToL3HmLvdp5S7m3TgrRGyTbOTGmSSJd2mURZ5knbvinBEnOSVUT71l906OkKhP9a/7IQJT3w0NdpY5aJhWS924PuXc7fCL6roBzJP7+zH/u2D0GmyNivIql6dvG141o+UmYzaIaidhxStMGlq8X1vlwq6upoKAW+XEaFPvXDtn3coAVfb1mZLbivrU8HYAAhdUUSS9kw5bcTLAIk7iwE7I4mO37Mh4CzT1+rMZNzr3H75Q7qkgVGNoaaIpJ8jDQovo+PisPCs+qW6FTZQLXtUhuOBuZc7AkK/1Db2gCPGdVSg2GQhZH3TuUcTNwBVEOIVcPYFyHfO1ixE5pnBjoUZS5raZF4BUK08l3+o4eMDlboCK0FMDK9PD8sIr2OYhO7+8qMi+lvCQwyzCSxmXWqDLlXZvtHlQ11D/GaVK/DV6IwUekG+jHe9dvhVK9Fzn4NuGTyiATXH3ZMkssDkzvrAbQiunKDO6bkd2vS1PD3Y5F1r6HWTf7nI9Wgtn5UOYG8mm1gmg3ta/RUEYt6tux89AGnpb/wGJIYHdEnPlQBIEwKZmctBB3UiToW9X6EF8xUU+dhOTDaVR117V2CQVHLsODgHF5cTnJeQluVh1M4Jyl/xGh4dq025lrksBTa8aukCJaWkpA8+DDh+7xu3XJICv6eim2lqMEwEO9vVPxIyJkB7ymbekjD9kz9F1Ld+2BMRvpIGAYrJb6a9mpbpaDiwAZbwDpmR+ECO9qaBMaZG9rS3dBHPgwa4ObKoBZvQPbJlp9MHO/PisZpBKWEF2tFI0qvdTVWa4u1NA/mfEQtGziYmncMuBQDl37haClz1qePkBtW+yECDqpa/MtgtDu45tavu8yTcB60BtkZVkishIdz+LZkGLe1yeQkLE2Ilc1iIH6MZEy3PFMGnP3Fs2W0htrYID7U3tROxAWx8Kgq8pI+s5sDrfJdQ+7ZrMlJga7VZVhYWxie+wnsXqqVyKbiu02G/7VqFg/5SYxWBd9XOMj0I90I9pxdj5SyJqPFBmIah6fcnhgxwfu9SuRPDAALSUrCD17apoe5u31NQalz2mWB/k+/q3CAiN5C550rWl4etMA4yu7di7C+A+VWi+ceYSL7RCDplpXfu0A8sctws/MLYy0ti+aflC6qEfH56W3oxLfSNwPsoer+oQjbiqIltU7IeXrwcg64kqN8CEfYPw0H0PL+Gk1N3EUlZ+m3WDgK234/M6QeptijKjRgzZ/b4iI9T1XNC9RjSrlENqjM6kVSZm9yn2JJEY3kVC6OVUZfEVitj1Xwc5UWUon7bJTjete7Lntaes2QCaBewLIHeeNTCHXjm/dcS5gosZWindOP+hZ/np6NObxr1pYNEuPfXFmdeqH7xByeFUDB18nuTiExyb+qAZQXXN1pr/kufhDdjvDL7MCIzPuhWf+B0zD3tumCjqPDlw0MBUCaPg85X0NDjTr1RXvkIqTRIonImdlbqz/jnK/6rfrhE1ga0+YqEZY1rRwXA4zlFq6h4asqGqtgvgOqm/c9bv4AY7stwuvd8WUJRswE86pAB2pBzh1csnfKwC0+JVNgCcmY2Fqu35C+qgGI/R1x5SbdKz2pts/ayLVf+q5ZpXCR6p+Vlxyd8wZumFmxC9/3xmWnBwEEWzcNlqgaPu54/rHdjCMfUQ/NL9esoOxberHjaht0xoK0C7iJ0J+ajuw+GIKMvRoDHdDpOz2wr8O/s3Xg49vnLqYn74yYMnQ1Trjx2XmLLLXlv1AkkrrneM2FkG8tFX7O1Rs8E174bFDGX4ZpYk3r+xyYrzqHl3+wScWjudyuZJ62mtuupbU/FkWFN68mPU+yxPr8Arifc+DwJfXUyFmLwMRLEjgvqQd/lqZk5CXAMK848SexXN9wcO6J5VX0eDGatjult8resqavpPc01wGpSBjYOur+5Ju+7VUO2RaAPArmZ+MvhxegeoGOi1e+o7GcDu2qoGFMN2Pa0ZVz/Um876n0zWanZzkSUvWwjKJudR/Gp/WmjItazbLodDTAcg8xYtWyMko3rUKuW84LRiC7SSutprw71qK2qHteWIOntYIwhjYjsd7D11vY0D8vWEao1xgFnCnhfmHrvIqwAHLJJyLKzfcyMiOO5moeexKPM+cN4CzpWC23YdMUmwE2Wfqsqw1Yf1trkbVVVWd4Orif4ENrsHRk+tH3RxP6FyxaNAPH9Q2w9baag/8lZEdFNxRFRmYVpMbg/mX0WGXHTW8xnhyIEhCD3rcn4pY79DBrqq6+bjPY0wN5JNreNAfaypaQEXH9FXxX9vCfLlg9qfUB4Tffk52PciCTppIz2eaJcB8/ippArQs7Iz9D960qJzJfz4yOYpwLLH3EiwJqkduSPQd9+EeKnFdHU2BJ+vrXg0dFxpsofoluJgd//wuOxXvRBGXyMfDh9LeaylR7fcvxqZdjs5thzLBPX+mnt7jh44YnxUdCFAhPToWDkYBiufNh2NjjixCqsWwPxdZ0xEKuM6ENsC/TWm7WwQI73poEBpUQ2BigJOTwkUNhgBXHrfDKNvsvRJjFt6wc3YtFaMfayxXUvvMZ+JBj0wCI5MZj1vH73j+wRZpxbF4jukt8O1qrSyuh1cPzFPAToWDsahkqfftKOjjEfZkUnJzFSsLKpjSOzy5cNTw6PE2IkC1poRA/d93O+vcc6ZwVPHoCdDl0/7NrFsAiivOf4FOlZWBjj3Ts/A0xumkxmTgp4md3J4dcULpCpO/W9EQ7qr9+WY5PLGYViHo8VmX89jI1uDiDdZgbG3bsdf+4SxxYO5Fju16zUO6J1VXUVFRI1hDOxstN0NT3v1YoJGGQXKfdDiWKRBQQdcLd5NfupxZLCtpvoDer6SwQGumVY/80Tt/LSvn0Rdcpj+XneCgHGq+FW80kwODU3ITnfQ8O8YgtIv4lojsn3vMad0z40Lpv4gvazeId74y9UVzxDqEkTD/FjGhHNsOhdsK0qUbH6LdUO3lEWH3yhIj73VhZkQpad56R3mM1KjBgZAOlbuteKGlw7p6+7ZOKXyDGG7T6knif5aU9MIsmno751S2orI9VmALP8KYNFMbVFDQampp/wssFAp6EVHEP4T1xhlfzGa9gymndYWEqn2OXkf7NdPjhLthsNe1zB/U++mXaducwHzF0egNQyyllZSSZa5eW/OC0wcKJsn7lzV6ox3H3TZoWtvDhHuEepdft5ruu2BljKzzy0f+jaw3jPLWGfdjJt/AMvxvKHjM9wk8vgH/nlMGK9u+gfdsX8sOuIgfMThYgJFLQRY1e2ML2T7ZRc0mxgsGT+DxXkg/t0B/BvnCdmWNNkSfsjwo5w7rWzqASZTfK2+suzin1zHnI4TTH6jCMjGLi6bm64nRWYsmE2WJCeB/tEB7PDOCN5F+H1tNCJm9ipX9LDHyKUnC1HD+FSdojF/U++G8SqZu2P+CJ0/hq3Uc9S6rJp9u+Sn+q5xvoLxny5oPI3f/kWKAU9bAwi3tvtedvnwSgOnI+REqOil/Oq/zHwbXiMXCRxyij7kRNbNcMHT9nujjhVmVw/JSRHz1oc6ulm1Y0KtBEjMJor0hFbY/UkjWe2bAHTBhv22EfuJaO/Um7m1HY/7KiTcLuo6coDYjgGio4tZPfKKsxgJdUS+yMn/Ml8l+szoliN0yfZTzpi/QIqaTogbKaDWEYxUn6EW97BRwg/PoV7l5X9gVAg9u3UOchNmANV6h5peaxBOM31xZJjz1RDvEjBf9mJty8Vpj9hg6LA/9PCd7AeDStsnWgxl324ahPmbejeUXVLfCfN3mUBjCJIebIVe5hc9/PuYpL2qW7wI94gY6REE2UoLW+/4BOE4w02kR19c1wnz55tCzs9NAMp5yFH/4t0rt++062qNL+mgPMeufzqGfyPDVtcHza6EH0KMnShiLdJANXZwnslwMBKbOQDBfCRr8AjZDwY7OkApj4wwNcI53XTSFtY7rpnmZdd7iEwOOHzNfrdYzN/Uu+GrVC09MX9XCDyJoBpTC1qXNlvj3Qdw7I18uZdIY9sKs6vA9WYOBF4PNA0As0LE+48z3obfSPYt2i6YP7JuppUwt1WIPZWf/cxHgljqINjbMbTeKi3mKKl3mv0W6wZl33bCGfMXQMa9kyBo9yn0JLHVZ57ARJzsduGbEWLXZwNyg6EwOM0s18uwNcZB9tdlosMemPhJzir1BLby5GWn1G2RYeVmQTJEq1+SwkBVZMxHKc9KA55ZEwtGjTdq2W2c/WN+K2iErYNNM1XCop/pnNv0K0fqwc688JRBtQBfdfwdOfB7engWvU68h/zUBJJfANUqddtVs3/MFIDdD3yc3xyJdN9I1F2Bcmr5eSWLuYTk2InundXrPIAFSh7+mncMQlK+KusTykCeEejPyeEF7KduOG+d/TpyLgBwaF66kCxqH5LlIKlBaDsW9TXDPordLViNePh5jvVkLsAgc/6yTu6h0Gsf9hM8Y4VuznHyh9tHHuYmxXs/iyMSfihezDkyu3eBzZ4bh59GRz8TOldmMqUCYX95ZFzjDq8MnRmDc3MCKBXNLHNtADZ1n4u7t1gE3zgnc5i8d6ETw28jvf8u6Lc6BZ/I2R8a90bTgnj+FwkQY6c5ZS3Yir3WK2b/mCkAe2t8nZ5pRHgRDylAefQDz6dKXg69ZxmuQOYr1ghj9mqMenstspzvbJ6d8G/NXiMbUC6dQLcUcZ+QAusrKoQSOwZfRtjdkQ7ykyR1Evjvsm6zt/uIFzFRtRscis3Xw8m6PivM1ZF1ckArYJMU/HSnhdehYleRWY0VzcazSWFPFS09HpR6ilPsrg89C7S/IxqWe2rODuz/B8Ao5Zbi9WLPmaD9BWeJv1eFCMCecnf3Vwfj8g/iOyXgj1wnvw7jhASluaooPGdAdn39Di5eNv9n1UXT+GXnLyuwkGwhjM8gNqZWzs7xjnSIwqzWwgDHvpCkx4p6lmnKyZqk/FeCAJsz7ELRdomeBCuP/G8AXa5zNa5WzsI+b0ek8vhAD7Z+7qTnWkzz9Yal3TO14PMbSAVu/0Y9ARYp+6fYKB82j1W9eXx8r3+o7XP7PK4l85pz7SzLZP29hUiSS3/NhXNVilfydYicpKIAs+NGxOtw28zVgbcspmzuDzzxdSyTjsw9wfcfYjrosiNR1x7Ln7bJkovZM7st5N9Cev9pAAvkL6Y47jpwJnrv7ZMUawUxdvobWWsMqO5vjSh2rgUDNf6no1gcg5VJaxSc3zQh8om8jUu5+CWpWbnrs1Nj1JcEmxgm9xRnyt2b3waqVUbxVx7L2zuXSAaMDzT4s+nL4CJuFtSLyNOXEGZhB0jW1vv79GR2dh/5Ptomldvvpo0ALVnXZ4k/S+JUvNrXboOnzEwSgsOOrJjNipGK+1DMbdDE1Dg2IFxnNQUiQXzOsDz/2fBmtMayWVvY/xZo1xlfT4cYWJy9FRWwZykFAz9Qf+VMAMwly0cOz+EFe2sDzWK5AjOdxOeguuKcAuy4pb9x//Ul+tYbv7wXvRipxTvz+hZg3xWSi7I4YRjEdsV082zyewFmSbfbES56p1w4Y85PLblCstldD7zPZAhE3rAU/HsoGguAdWdgLsrawNCP/Sr24C/qlb+8qOV7GaujNPUovcgL0qRo7u/VEwYRu1txPnom9lxXveTYoOgPEapCRrVbzA0XNPRohvsrkjSxQ+8SzL16rG+F7Jp65uDX8MvciGrKsbOvO5R27Si+8zX8MdXCrcXsZoTaf83ZBBbJXcoJsNc/5cNx1Vp0VnZ9rknv/wHoBCxvJkL1TG24r/js5CDfCBJjp7+WtbCbqrmGG/cksOjaCjW+FbwQpbNy5hUbbOn+6ByUqbFRlG8k6XIRM+GX1Rj9o8TFonBHXJrx+t+fu0YJoEv2RuSgzpw6Fc4SdWoDPWTgvpWw7GXggK1c9ysuxyuWG0mJ6y/Vk1+2+6jmfAfrh+opiVOO9xG7Pnv88YgL7eqjV1M3J152jVG21SFZ8GMm0Kw8HJm2MSXQLVrBWm9q+SGCANsfXA0toz8RF7phNj/83wXDZuPEhOqrl11TDjhoriPHIUB/KwqJec5tn6S/Ao83UO+zfRM/CngnyS+bY42cE6DRECo6JlQH/EDEFYWl5LaQatmewAz+zCDPoO4zJtKzCepBWWVc0lcUhfle6D1hrTxzfVgMhl/f9EtrlvBPkF78N4ZBYZwqvjfW3A7yCuw2NZVGgwAN07zenpXnrx0XJDX1/nI9ARZI2KRFl0Vcdu/VcVCFoAEaRob+Lk7XOFfRRSQGDd1cGhlVw2p+LXDNXNodyrkR7H6UEHQHPHwlWhBvZxpsux8dXslsEh/M/7uPlf4ewBYrXrixOjfYx6/X2FyO4g0qXMwd6f1/AcC8xSI15n5kkGuGtpM6WfvLxNjpL2etETvAjO6EqoVdVeIid2+Fmvdg2PWN1y+7R3RbnhCfzT7rL6jxwIs0/1s9O0OvScxR3eK5BXy5ekj6+ozLHqHdFqcEURDoPGagC7HdL37fSlKe+l+tJ5TbfbD3SdLlPIRGVIzwQoCM63PUzjl/4swAmDcecdqIRqNn3R2Acf0hRw+ynwQsENV1Ev8bp8CfA3TRFn0XETQZbw8evX3JDmMnuekig/EoW56D/q2iBFjUYj+p/dJX6VbutfGcC92EUC+VM/PYgUaTKSTqlXtsnKB/9RqSlm+3lefIW1I4zpa1nSXnK3+3noyAimObsbvkyLtfTuU3nyLnK1A2qRNO0r+jVxRyI8AoqOUoPL0hwCIJPSfJv1rsM4NmubKFx06yJxAJzBHp/X8CjE3ylJvErNnp72YtYMGuqPfdv/RNhrUH7Mn3LEiBQjWm5d9vt/6vlegI6Fer243YSKj0pfquS+R85e/WEwildh+g33TIQYAA7xK5Pjf43y1zpr4X7U88ae5+87+Nqe8mJQFiIvt/Lcr/hW5OeyHlXwoKZfMf0ZO/q1ezZ7T/iNhnxtx1ZA5I7/8b5oCd/iOs9Wv4X9gBCtT0fwqKGfM/oCd/Oe/+H/QbWsTZe6sNAAAAAElFTkSuQmCC)
Demek:Formula umumqiymatli emas.
Xulosa: Umumqiymatli formulalar xususiyati o’rganildi;
Do'stlaringiz bilan baham: |