MDL Minimality of 37/73
This document is encrypted
Decrypting…
{"salt": "YXM5-GR1cOQ6Tew_YEKIZ9ULWNb_Wa1yI_NTL-QCayA=", "iv": "dcKQG2q2c5wQ6i1a", "ct": "4XBJ7kcvWP3buw1kxcdM1Y6TME_1kZE130ZHKbRKyTjm4MqBaP1w1SkSpyyNGp23MbdZ5ZXXkpJbXwfJ4JjBClqwZ5b1CutPu8mn0KoWUZMDzlTbFhkVI_lZ_v3Kcc8UL7DC03iATYnzZpn_Vp2RyRDGREoIzl-9YZA17j4JBDer0-o2ZoVIpnS3UHcjhqrnQZbIU60Zx6-8RhnhnfO1aFG8lXkJktj-GZEnOhL-WJY726EINcSg5NbWQ2IUFBPOSjQQ3hN3ogXBR2Vc5yhGyKcV7T188YBgZ4pPEMnbVpNejwDlDHwqbbZo1d9V5wPnYWQTcsyeHiF53kBlbpvu4yXGGCF8ETE3-OMimEpNlqHuSe1DglZ2IbUaLY3O65iyAMJQ3x2tm8nHrZuHA6On4sM8JAEprcxmxqxyQGaA9KLW6v8Vyy-3HuYNzlBO8GOHmEDsDbLdORtHUdb9T5Gu8mgwv8HmFKw--nvXklUP7TrUwNNry_PR4GYwF_uAKHWLp5lLyp907pfXkRFbN0TjQ7j5PD9efCs4Nd-ssJnniCQ-mECCqUp7KnpryFPz268fIqUycXoy1O86ke1LeiX3pdod3ZwTNEPv1llaAkjgqGDsxfUXWTqRA7u2Cbj5TzvKJap4jI8Xd2SXnb9TfFUaOs1CZ6wCmc6EIQcujIvWvAT8VW1qbvQNXv_9nO1w3HSPN3D3Z2wxkm6ezckWN9KRRppBlloVHliT-4kgX_qsUJCLofAPIJSbmwofIcP7PF41Ndsmp3x5FgXkPzgV5RGCPttCYsn9pjS_BBgy5QqWYgGKtkCeF0oec2kSA0qGWQ1xhXKGd5d30fw_triHxg1waQJCAnn_H5YBtE6o0OndMJqwr3hQjVKuR9D8KKtjEtSTbf8CgXjgQEKJJNr6hLFjQHrT8Yqh94YlrgYboBK7z1bh-xFmoiEVM3BAUjYde6ro4tD3NF4_uN1uDqesHShrC_iOLltEXAwKan0gLyc-f-8IcqRShH2jrroEPjqxeEA5W3eaCl5JPktwxQgd3AMo9J1Yr0bBnRiGPGYBG6KrFtBkTAbubCgObNkFnMVLqyt5pp2bwKJERaWij5LqDkM6gdE614T_Q5JOqqnMHdCv9FRbypIiK3to6S5dafmfl-fABQQ328zqcsnM-GyZg5ovqpfbZsVcSSItYdlm-UoLPWIjdR-f4GHPpnPjHivrcdO6OXlaQXV_VdHXRzcwKDVZH40186fplMZqzJlw44W5NvIbQCT-TLs1wjtOluKQfnilx37u1vW6AqEdaiS8Y2zZ5-MlKh63SPAcfPgjDqSDRirX45R3oY1UzvSGhk2Um7uZFsIv-uIc-S-vz7z9aMrXyNwGXC0aE8Qr1Ye41d-qqlV7Rhy51Ynva3p_WBJCcwNtmjvV79AaGP3gAhOgHTl16SUZlttSCa_Lb87OEv4-xjbpouiJ3bvASxvCz8AcJLYXc7z-hq3v2ylo0s2SFVpF2EDCN3A3ypocvEnZQLuqJ-0qx6K5arIBGOI3n2HxMcudOgymHpk9F8AhIwzXT-Yc9lO4pBtFNJau3RKt8PmnMoHGk-3LtmYNDYDK3sMtTri3phk_jszRREUHM08orI1yxDOkHcM8kU14i85j80KaeqTSsZRqA3hdXQVt_Hbq3C4JAkzn_s3G_XYSVq9VaHOoIGsZyyfvUb_DFYjc0_rhNEw6EM7VboF44r_H-BYtquU94s-YKJ8VnkOGG2x5rpgoMaOueSXtgi9vnEJle1t9CMSiRrwfWoKuM9iLEcrnBjV86mUbB7C7m3CDl-iY1YVallYgsh05V5vt0SnghYytAgFj2b3BQl_-nwLzPfpYYZandNPnRqqeJNrYprzuAMZ4kW0gQWnBBsuLgJgE2U7rS9OQL-U97BdiEWcOUI5CIiEYN196eAvDLQCp5kZKhiszvZUT8KXAlDj885jY9lppojAI9FW6eHC2fIoPG49FVnHRFvx4ucnszHRXPLoaRthgC6tS8mIwQ5NVqtYr6V-yo4kuJLzGDZo-CSyBFGFwLxtpvnc4R2tJZ5tMWz4M8sUYJIktNFErv3JZXjFRq90g4O7nVof1GwzDIRcPjxNskrL5dsImXLsFSmhEms2JvzCv9fZk6xwLCpossbnhdAx7I5g1Ti9M-tGxWd4k2u8_3I7XZNJFa68sM2AJ2zcDNgybsWXcJApfmnPZmCUWFiZMyJ_-r1VEt2yporXbfWXRGTHgVLB-26Zx-FJzQJI6rY4h9Z2aXiBF5LkgxZJlGIYMDBQSTQ3ope2bU9DA7mzZM53e_qPK-Bd_4NEn2WQjSumauTldmvETObfGVnO5ZebXqrl1Ak7t7K_hdbh5DxXb5ZQFqRaDIPFlChsGu4b45am3s6kSJwrkC8vR4jKs7yYx4Kp8WR6chS6epMhkwv-ccxfhzEZl80ZAIO20nuP5zrYoSh6oN8HO4fN80gLn-ES4dX3d78kQ9O7my7lIt08j3706XlItKeRshjTQUeyYCa2LhjeI5wYY-IIxBzVGop_c9KuNJqpbFT2M4ag0wlwtq_5BGfo1rZvj6ySV2f2bNRueVpksdODYbGG-SwrviyBNkKuwp3zKbyCoGiOTojnzHF1FuFE9W9l1gTKdhTfCxfZzOAleMAbemNTYRG8_lbI6tdSUNHyHi96hOHfLxR8J-mydqulkS02vJyvC82H9kGKN3hgvFpio-GYlo9yoEyQM3rOdlKLYwdq52khmKgodnHo3a08Qq8vJTxyM0xdvQeZJoOv7sBdcNLlJMyUf9ADIEuOZzR5Idxtuyzja6mhMlbZ06o4WCVoE8KT3Su9_eAjKigQtMlTgygTQvVIWeHqCTK4J1Pr-JN-Lm5tcQFesF2_XE1IuKNzS-hI8edUou8P6vy8gXbHFnK0-j6EcbSRiqCl6mXbIOhHGhBua6w8kPAco-yhQfk_gOIvW9HaWmQU1b-RFttxTHG5GHI4mMmQx2Dmf74PBQlGjW7tSYHdACNV70Kdz7ibHGPqbTMj1c-67zzVK3s1zG1Ys3Xu1I5vNx8OVOG3bva3UnnaC2rr9Qp0Nt0v6BaSMW6Z5j1UoQRwnFByM3NCH0gjbMlGQyz2Vc7jGc85JQ1-MOq8gD-6ke-2z1hSJY-J3HiSnXEujG5vvnyr1tOu84ogtXVPbkSJ4Cblsa1q6aI5ONkmwKVINtzhEtztxhhDSZyOn-JGt7yXVCn5zeUz1hLenEQSiN81L9oTifoziSQo2a1RJ3Zm4HxRwwrmMk0tHxjTMXEn-axTXnVyrsmBJypYAQlKUTddFmFJNiLVKGCDiAXFQw8nVp3YLGKGKbJp0b0g6Q0QBrWe89bGYQ74z3VIZ3gs3-6NXnQvZfbKRTKt900_L4rM28mO2Jhq02aPmAxApcNWMTs8PbiFwb4tI2CQzZt772T9iUZRhe2lNXlrRjhu85y0djmA_p_mLYlI6klVm2wn2p5fj7JTNZdGWENplUxoW8_twQl5U0fEw2BYueeCjpf9SDHxI3cSMAk08Mot_eaBPwA44KGDE7sisZHCHMuDnTR2TdUjTb3KIc1RG9EALKheUZSGM_IzIcd3zXbqWqbqp9byR2MfmyZUoZda4WcwvUUyHOX7N710sFvjZpmVHRaC5eSmUxyD8U7-PabqBMl1S2J8_gHRW75Mn0r6GlzePTI7YsxFlMiW9-XE6MD0Ytg3po_dL6gg2m1C5bDEuo6OJ6jZWh_x7Ymge2UQ6Z67vSmJWSXsrd_rGpfHg4lUjln0yJx9o7bo-6N7Cn8sfkEJZ4bw4fdrSOxfR6krfqkEJH9eW5u26gg4MmPBk5oRP4lVVijkJ9yn8gAar8JvXkB2WE530KRz1xize2FVpHbAZnlZK8HCdeU8jl2ydqGaDuYxE6jOxFHIZdJBNCCoG_yo9qInt3ifppshWR4OdHDZT6hUHj5Qa9DnJHUe2_WR1CSSI0aQH84qOERl8SM3KGxTTRfcL7IazMKoT8S10ne9kR7cZee3D5ooZyXbo_7GfQfDAf_4K7ynTsSXN3XOEFRKzxkgoCBoyC9kWub28HGNx8mvEQSC8klKH51lB_LJEio-YttqArcFgA3iTebRMS_W_iw_P4LXdv1c4vdME9qJqOcRU6A-TCx51I280ybLFaAiWrqOFR1nSSOOm0tE63DmWeZy4QnFcWgWiYomhda7A-cslA_MYzk9_zwi1H-Z5yeTSxDjNNIJDy5Cn2caPUB8gmRKe6tTuhfp241OMxn7YWSVx7y4hWhopDqQTUED2YFCtoLKZoedGXft4RRCSgQmREo-_6pSO5TEb6bMyUWAliJVmddNu0qcCRFfe9A7dzLpTl30IL8wy35gT6OThImeiBHvoQVjpRW5XugCGbvz9rkLuOSM0XUfZHy-4mIxMPhKW42SKNA_D3gbhHyt_44prkJ4eAjeqW3O4T9wUB4qBBHyO5RS5DaK6HqWJNe9Fy8graPfu5u7kBja_uBF1FSVwxPLyCJPmdP7eRYMSoas9FqlO_Hd3_2QE_AqR4IdN13_g2t-hAudcqvAsC2Bc1MF9dYBSZ3iWNdlTmh55NnmVdSI5huY8E4U6C5zyeP6xjg8fp45zwpDwToNxgrRzDFZinLkz0OLpjLxwnK0TPeVcRR_ACV1SF1U2b76t5FJMYZcO-6lYrKf3z65v5Jz5gWnWp_3wP7cQ5bwNwoo9to4NMvEPUozz-7DbhS6KtrB8Kmb8Y7es4nDC83CtYbThJNPHNzQcsGPL0e-e7toN2H81iTIkHgIdvf6oVqxNB2ViF--m_l0521KlI-5ZUFl5gzzoQTSHpx8zOGAGpUKqVRdUQD7rZb8bZ6U_Qhu9HDiouXkTHWtgUN1Ew_a5BCD43xXDrMomDIbsvhnsskk2-bAhra08JB_QE69_yMQnlXR6Rkjw0TSoCrwYl_PO1ZMFmPolIqxVQ68vdVRBTHInpewQMwcV9Wjf5ZY8AHdk7LNjYYyLkITVO3myVnD1OWIQttYhMwbU0vMZ67CdqgivJFRczKQ5bQVCnfnQV91dXjk_vYHABM0jjKdy-iktgvkgYMdxOcTK56HbtmH7O7mSduJzcOU58wAlgIq3TakLBNgVzn-WE9v2YnTtqjAxU8xdf2u4GhQE5V0hfrjCyrL67EakxQouva9WrSnbDx62asNsuPUTmZcH1S4yQe97elDMYzOlwbZ8eDbluBQcuc1DUsD-3xKcok23byVQZfwlXtTF9vVVJUT-9g2eTutwYfk6VS5clDaPyxg0HsDHUbYPZDFJzyPw3lZg3fseICdUcdoRyxkXctx4rJAPH3v1_aTD9L5HDIN83LD0syuIZr6fMJ9oDt1nY1fuJUZ1tPGbWbl1fJBsgzXmiI8h42ML9-oD0euIieVs1jFT19kY-we1iFEoUw0yYlE1M4msqdhAJ5SqZHxHXP3JbTsvXAp7TATu9WFeSJT2rAGPhPM2kpg3SHA4F9c9eCC_n2W7rDxeVf0ALg8-5WfCoJKoFsqzGkmLVKFeW85RPEEuBIL4l5MuBaz5AMLbg6JTyrots7AwyIhdHnZGrPZXZRiVmHju4RiZFMdBLpekjQax_7KTyw-rn3ufv0IMEMfxslGEI6BW4kAQTxjM9bQUr_VY-e8QLMRmnn2knSk1IwCXEon45vzR51d1bN5-nnwmAYVwqX5Wp70N7DGHnbBXBLjhlf_Y3bhrxYZSz7wIZknr84b8jlb8Nm6Tzin1yqISIguvtQS8_Usk9VIiDL48t0l__c1bQ0_g58lC9wCqGZUnduwgQ3x_Ods8LVVdeLGygs3j7NbHuJ7_LYa7-uDpNkcAIazScTS5OEC71HtqQQxVGgvfq3-rFDqBQhHPq8MNj2jaZbS5Fh86VfqLBgkA3Yo2MuquQjNRvo_khR2FZFLSoxy2BNGX0f1NgPEBgi4dsRfKcnmpcAKYroiwa2QKsJH5Z_RJEAKCmXGnmU8ruQNlVZHlpiufYokyVFWLufyEzVhjS_zrfUma7wcsqn24Pg5oiYdXuXA48h04MPWtwahsnHRLoj25k6It7_v-YeCyyyK3oQFVewa2K8-rsIwSRPN8-00afDVIyt4pAQKVm-d80Bwo9k3iTGdyA4LwfjVPV4xrbsRgSIM-G_kRwW8fz6ynNH4ko07pu_YNOT8ZMZPJe_lMEPiofFDSZW6eIYYPU85fgOm-iERIhRHvONy9UWxbRB3Rh0ab-i0pJpAC3mWUNwPjsXaH7-DwkRvaE381ZUbR6aVuN7FaOwC2rVlJnwsR9iOCkwU1I7eQBXuRR3lPqAZme9I4EGqoBtnkMut6esHUwlWmL2QzAqfMpIWlh1pJ0btyDuFI08qguNohXJHqKk2FwVrrGAXnsDplz2tWLyFyWZW9XpsJNga7JwNKBrSKpHTaCEHuqfHjPGT2XWQ5vI-TQb-imcpw4c1BCotC27k3qGJhW9mOTex91NSBACR1UP7dmRVF4ayypsmbmI52dby1CvFc3EfKObnv03NvtvlxOQTKiOCWlc9-3T1AhMltUENF-ZxbTOtxXCUj5kXCQsd0QDtTpCPVYQ6uAv6vygU9TRduGYl39-InXQwxxcsz9Cw3PCrGfzVljZ5KXM7Lu2ASZLhqzEIgKBgpR00YtB0g5CcYE-HC60I-HD6-u2zBw9lqdm_5UEJQOJxUt4v5XLxyQY-bw0PtYhGGqOEdO3dAI9oWBMuKHsiwU2skZjfjYgbcrFDLvwThy4loigK2ZjnGmu5FVFl1raHy3MQGP_j2C84zV0nsHNe5M_oaZwgFdUojLG3D0ojmLkCPQw9-yZFbCKz-tjJtU-hqnShWoQTfPUsu-rYjgCAlmVD3s9yfm1qTygCguh3msea11Sv-iVr0KEoDKFpPEbur0ajhTssfmIBvmTH0quPYCEDwS8Lu2W-esbCHfdsSGMcynSZ6Esh9DtwKOaL-VBnjdLVKU2ii_uU2RtbFha1JGeFacSYor-cNriY7CaQy50Xj6ec3GBLLfjqt2wgtQSKVBS5KIZly771sWpNqozwvUMpUtx6ZeZLiL1Ea54YnIC3L34EYVXmmgTxsEWYZ_4wjo8zbPC0MyJ1jHBCnGjOejjnTHfx71Y7vNu8eX550uMSVRilGTGNuzHeErMTiTVelJtuk7MAP17lX4lrL8PjDQwvB5klNVAt22DdS9lZXhFGdAs7m8pqcJEDsP5lNv-cnGnOKhfS2UFbSGQpvNHNnAmuBT2BGB56jK2NDBjZ1v_KICZxA9hx3Z7TF7i1G8anNMoGZk6A1GBtFhjtyv7x1G-gkN6Fix5ELyMdq4yiNNppA77kySwQeGk2rKEsJJPhTOPJmmsHrQZ46QpbBPM5hmqSw0J4qZC0czTWf31-Po-e_B_yFk7k92he29E_gdUDZflIM9mvoIu9aRP9yEcssevVuHgMkgWBBB6aOhPK9DgkJ8eKTBZo3znSImNp-VRivaHtULZBeMj_YYxIq4OTpQyo162fB6tXmUTdj_y1Z55aEGfLn_OBOcDWGm5czvfzG1LRGnATv6foKNiaOGd9qqlYgOH64yfDtgoha2QuLeubt3DYiI5TYE7ho_HNaeUgeXfCn7jEuDmzwBk-kJfmO5UYTekCtxV8hm9MI_nmFxIcEb4ylBs0ODiJq9p4iRh8jDK5VK4bAAF_iRdrVem3Rc4BbskR657d4sVU_WxoJ8glYPc8M8P9PcSz5x6MvJSiFMRM5EZhy-qeonfNsT3WrHjgNyWqIWBxIgVAwloMaqXXShEduEXjBYoSO8ZeTAa9TIpxcfWoBoyLT_yToPLecYVlgwrfbiPZdHJ8-JsBb7o2fG-Pzs1VezrOsSwjj-WEoYbS6i88rT5LrQ8dE40LtjwQWHuKUnZPGlh5cN7uz_77uXkW8kr0Q_fPG-vv9jto4rj5Wkc_9ftXARt_fuNSfDgkVkfftal5tqi0SrUqGTV7XKkYvQtwidVMZQLpmM3F7Q4QHRv7PfnV2r54FYw13WuTLyKmOj78eKhUzSd3_d_alRxyTvEAN0Kfpptd29b152qE_1KxKg0PvMn0op0PjpF2CgQINQTh7hJ9fgs7Ly7TnxRQzb8jD2mXOzGTrWxeLjMTCcjQJHMCj6fcjOmksYUBO3yJFsddMOn0zLqhpZtL3tlBJpHK2EUIXfUZeZC2EUzAIwm31pHl7uCEGIs2fBzTfdJALsXoBiAIulSn2__cKoC7iGiOaDi-19jf-JnUJ9ZS7qZXV5o0CGD6DsM5r-IGsQstD31I-Eiqz-1wz7s96GIuK7MOAnhxL3wvYLlJA-cEvxRtQUP19j4B7TlswNerruQIWKdzE5KunOWHf8Hne_-bQPJWlhn6eWzutte9NC-B8yGhWfEwb0EsK_cMvf3cu7RIASlJDtm2Fpp6LrvU5IfuXhMoipm7ruvKo8-4QrCNzpeLYQDiRIAa_IU0KZ8oVzDaOEYbkA8oxFpbQjMoNsSOVw226uxKKOxOQPaPmqA3uChGp4w7-n0Tau0vDnHI3yJeJoKEez-XPe-Wgg1bEj1OVZr9qwCvsQC8gIN4GHwwELEb0DRpRL0LA75vibMbsH0W8Ts9HuMWJWe26hbyzqUfJhZ95Bb_B8_yuIotKBmNlBfhHHIwMKQJSR3uUtntO-MupS8nUw7Q92LTNgJpA0owsBea7D7duyeXmx7cS9Ja6JPDmSQ0nj5pce60uJn4tDyNUeHc2sYEaUoYw6UP3XMgM86NmLL-cx-K2G28HQtxlyG6XIr-9MQ5WiQcYAwvzFIsm22EvIvdq4CoQ9vlA3mcVwA4MbiSw10GK4WZrAoyPna3GE_6OBoubsBztWZV0MG0cVm11eCjPyt8r2OfoyLDLBvjdvYfMRJkCr-XiELDlUQgzCwcgs1A27U6JW4JupLjWDK2MMwa7M8e6907ZxTLgb3PDMuQJ0bG5m3JqJM3uOmnuhEBDAiDx2Gwf90TGdrUE-79_NFN2F6rs8VVAlhy5i6vJtL4dVaF3vDTOLkWz0tfCDeA63hB4BY8l4GvAAakn3yCQBVJooCNwaDagwntmr6DtDpnwg2lby2Utna7JulBS76535ND3oRFzp8EnT6j-feDDalG0lCmHSt_WACvOnR5dkJk6NlJ_tr0NhwiGCazy0aTseLdLiduBRAUVTk671vqbjWQm8CYfxnC3EPb4ugSWrrgrSJy5v3mPz-rHl2eE2cFG7HVgszCukJsU0fdgOZKyXdV5motFufRz-XOj77kppWwxMkp9kdL3hMjWk4KkUnJhC5nMUhGDoU6Zyy6PQgHgnhNu6Qc3V-4qowwrmOvs7Io-DKbxwaPb_JIvza72iySXK98MV0G059hWmq8tXWYogregNYAV_zSdm_U3zFgpGy9_3EG0QM94b_u-u4Pf65DZ5K_pHCaJOCh_GtnUFR5Z8YKVoXxzFoIwF48WBQ3bUEbZqlYatGG68_nXJCkdqpbD8u9INFoBsoDxIVtBn9lAg2exUOBRrM_uYFo82LU-zrwP-HnovSVSka2IM98Kw_cbfU9EvzMTQmVTwVTmeLvD0VMTqbgFtiP9UTc3ujmsYw_tL-a6XGvrQe6otpXxxoeJRGiCP19ZtS1FX5IsRdlev7g6UGO7lVb7fNnoUjqZWLhccmPiPHiKZxOfaYiHasEeT7L7dYHjoR7WslKPmtIrtNdqTXGi_8dfReobTC7fCcKuuonwzfm2U5-1l-bDix7Az3jpkIh2eKNfS2U_-t1qlp9QRCbxzoj84fpyg9mV_OckSDK1MbKJtvHyUsCT5rZFbdFUXYvHgB56RBMoKZEs-Cp-MIAHZwjo39_BFwTBa2imYE3cde36fQ9fQgk2wo0lq7_xOM6LVaIDF10LOnBEcCfLw1cdDqsY8eccnrLfnnU8tFiMcYhqYlI7PryKOoo0R4Oulw6Fk7G6Hx36JyyOXrkMkqdV3Kzg5_0Dk8mG_EJ2gL6yTIpGht6eWKGkFEzAjjHDOMx6_OJETMkHxCuY1pt46R4uV2ppl5RWDZnywylEwQyjdhezFtwGqszymtm7RbhHNdY68Nlcf81fCJEuGESANpTaU1Nl5FtF3m6yPfk6a3GnWEVz6Dy5bPPSQZH6hikXUusD_RKkUGaeuXPuhNVHnDKfPIdL5nAu5zYMDEuAmHftVllXGxpE8JZouRB4KdKNZg-BhQTRwZeDvp4jtb1x2pyvaSl8d2yLeLIkzTHslnV3nkfovZ__nJ5Cqqmc8yFa3Up_A24oEopWlkRBIIhxYDbJFKX0MDb5SDy9G6DRODWM8pRdgSVfAdzxSUxLcrUnE8lcAlnYED4-IP_3MCrnk4Wt7yOjOohd6-AYndaOogKFB_xdKMUcl__cvUbvjCQqfyg0v57EfWeOtBSKrPwjWh3uWQqtVhSkWCLcpePMcAnQcC7RxHooQAkXWYx9A9obsPzwMJtwtR82w0DRle7rgVQiUhBRajaYqjQpxl2cuCHgyAwDlstP5Dx8QTAic3R8JHw81j_gJ6ld1i1wlkaj8OH--wZQXDaY5QGktYLPedw-aiwZ6PyttuQ80xzcGJjqNNlFWdEMUwvWAg2oCKAYKKYpD3LuB1B3AWp0D8UWWj4ATv-cD60xcZUJIEvpW00Pv2IOh3qncsdn306DrB55GnqmJIlkhI9_C2HCfQ4tDSUBeHMrDtUn3bHtm0Zr3C6VNpyTTc9Uiq3t09aqJdbGWvHR30_Rn5kHmFjO2QgozClvWpklW6bDz7BZQ6vbuA87pFcbfNgmWD1Zm2sK47DDXCAyoXq3KFSlcRJ4q4FO0-r6zSLOxBHwh-cm4-4vscz1FGnozmI2_ru8z9hB7tiJODxq-Cuc7p7tQOSCmr7UWv2BoL5hYxXluv4LWBX_8GYWDWiPM3fBZPn-phPeCSFV-bppWnqzEq2bXN1N8wDIVrXjR6kOap7kWB1J8IH7-Re3JykGrvashR0_X7X9tD6oZ8FQ21tDHc1wMJ3LVz0oFuogBfGMkyHPmoPs7q-BpDWjB9M6zWhvDgHMUWbYGqEND8PPJRwJTqhi_2W02BwXIwhulmu6bPay5N0n_m2sSkFJ3LRfkMXGi1S2ZrJiEO47eZv9aQmwRb_hoRVY3LhWuhXuW6GY-1S-Doe5_vSIoEQkOjvpWg1CHf5hsIQBvsChk5NakidoztEaTHqyOvur2VvDyy1tcNQOFRR9XOUFwAqpLiX8viztacuJaZN0T4999kPYWXHVSiaZhJ5ve9aBNH6XjMSNe3hzPZ6GKTImlqPbZ1dv0EQiiOXDqFvP7INdgvtjJ1NDKkD4peW0FhoOm536Xw9LDoMjV9ltKlNQ4uQquhaDOx-Yp80fNn4NOjsS3_vndoGEsgADk2q99xJ0uc9NYZaCDv5qDpU0OqB_AlhjNDxSkP3ZKSUwZbaJRNas4gtamDjtudeYWBKEg54TXoI5hyk75cOVlHDzLFKhUrCO6IM3fuUgr8KGjBasITdzq9nNU5PehsXhC5mhcQD3v8MXUsvkoehEYyC1snOp5-M3n_xSLRakR-eRz6Z2uvOvALaHbHA2wAxgr1ZNvSpEf8FLsq8NHq8m5-_i-MPFa868Ne1gZfjGjQJEjt3Il6tuHNW4Zvy_boxZC5Yfts49NQzgsMkrL_swwhC1ltHDMhH2uGqS-14wGeTbtmVIUv4BrCPOGwpZheIs8CIhc7E0ZlqInHboeoOm3pwI-_YYyo7h3CjTMDdmJKeW0gVyP2Yib22vaoYM9s2TgQ7sJQNsfOtFFQaVmju4WGwK9MeNyZOAvBc0TfCm7OVuuDsvNPi7GH7AOH5wZkbMWFV8EMVmsF7hLhcSr5lG-TdBxfhQ2Aql2bnFH7KCb1TU4SFWTAqbP3Jd6KW9JtIwidTYuG8MhtNxUXLajPhDYf42o6SKt4-Co20fPB0OF9FR6cpCBhgJpriq0XGudTKC4PRaEtQqQoD8BB3qEOm8P7slbXvG2L1qszsTTNjf4_dzGCMr1eyeQ_14FCsl0I0eMJ07NVpbF1d9P5B8mHiHNTB_WCrFyU9bw6uJP5CY8g_kUdsYURkZhvxEzH3ZwzMpJYkcz7frBO5gbM1VC9VLrjtXTh7U1zcZVq0sSFG8UH1_G3bFY7uHY60pRD1s8k-lmpu5FxoE2dc0bwm9u9_duFjyDEWUaOW_UfxsK4AnxetkCBFZR1nTttndpmEK2asmUK2ZgbVMiC-TsexF2J2Zk0uDxMHY_wO1YA5uP_icI6lvq1wepWj0Ho7u6v05Md3wWxwJeXVVOEEEEgaNZ1t9IQIGkERgd3yDqy00I4HTHJgXBLemzetRQhvgUoTtdsPXFrZdmHzVSMAsMqhZJrrhyZgmrXcsNc1M-J8dvePiY6C1eY5vtWcDItTN5OoYShkGnZ8XPg0Byn594XkzAOuT32u5z143LVhjNAcBomw2vnU8mCxkCV2IBwhjsRv2rYJYLv318vEc1Dqmgvxa7g-vzgP_bXAIrdbxJEUxOH90jG37mIKCsjc4dNzX36hwW91F34-UnID-DlRhXiyYqjR4jU_fAG7funTRlSwafr9nENT9QvBX534Lc-UszXCrT3GipKDT-NLXw11-EfSRtlmKDicsGtoi3rFM5M28gS2rCgvFkC3CsCycu3OU1szkRZwm3HNlGdW8nB3rOBRS0ErgIcLlxcYKA7ML7XZSV9Mcc8aptPBZ4ismT3zr_ivoRaudOxoYCZ3yFpwc7MHMeKszdkQ3U35mQzyI4gHbEmpEFHD0K-rtKt69d13iDqy05sPjfb7flIW7-SODPRAKpYK3nrhVpMGeFhpHfP9A0itcE5uth-jP_K38xyCEFMIGTJhAXzF8ySpCnI8nLiClrHC8ptuUdFN0x3OQQhZD5IefHb0fnmS4jAqmpxPsusWmSQrm1kRxVQH2-YZIfALp5FFIdOm2765XjUhH6yGxZ6fNxei_m-V3J68x1kqgF6CzY2zUVFCQyHJ1io0F05OHnAz-_tExRMiVeman3wyZcoMCf6lLV9EgPC66SNNxY66-q7V7yNyNnYQmRif6VnxkWa99a-iOgbgcVmhKCM_SZx5xA52amwJRgWw2zTzaYfxMgtsRLIa0-cnOnJlGTUJJwnh-rZWwYvmPzrBbuyCkqeuIrOTaw-M7F6xhpGVpjj1vuzZjCIpcN0nI8reQyLZ-Djagc7aLj_Cpl_DzjHOoNgGnFMY8sMephq7vDYASPSnhCAkMRRmQmbSza3WsjnJsfU4D2kFG5o17j10IZqNhxyNN3TkpRgWXUr-lEjRZStt-ogESuTsclFq8z8xcTUiVN1GJWT9-QgTyGBFlsvd3n1p8QoHBrY7-H0uJopygsoB0iBJpNeCieNFLBrT4U1TJ-0bQ_yj5-Cm2ncZGiy3o0xLU8bu5J84z-LcUvZ1RXCQMPRI5OPq94dVDAXn_88lmWoxgIJnc7RPgJvJXrVfSY2p7fDJl-POQWZGJj-F3PqlxC3Jt6BIQ0IC2fT2afYQCFnyaUxxTYC-IUneP-xEBSu0YHb7fTmGLIczWDPcDuns66_jOZcEGohuCoFCntgg3yTVr0EKh5NPQSdJpWODIwVvt3garj19GO9Lq5h77UDwEpy22-MvRkG09MMPGXvYYU0_N4Fa5gWlYaXzzD7CLhlIglVOZdWgd8dLYiWfPsO_o_0as3xx116CFw7uQewoPZ4-cVfhIcAsNk9YRJJEiVMp0bE5mDoL9BzBSf2VimpeezH7TKIuFxHomWgYsluG0I_HShEM66acW-lERr9cm_4VpBSPNvg4EcbLMbvKC_Pd2Ycu120x6FJQ-9th2GsPWHMlMQAQ3wKsD9sQa2CXqtmUIKNelJioQzBjXWhMdlTAJG-7UNhHCOMOkAkEqZvmyvvSLe-RSQQGT-iJ5-HDVRd8wmn8SRRfST87bWKldXHdEiPuwwafciCS70vW7XPdfq1mOouywfa-cvx-b4LzO5JoKKPGB40ogWWJZKl9MMgwEwjlhYUwAc90OTMa7T4zCq1U5pqJUiQsK_vUdF31oB9fLUDnDruhjzhDuUhb-BhzLqJKoWHdU-yU8BDMYC0giRxnQ0ANapDefH3g6sJ6JUmxc8pln_a4Cc07wIqSqZfcI385e-RmLSwYIBthDK5s5IJz3AhxaYsvZAJUscAZHJLJOsiij_Ti4HcuuWJTrDSNZwi-EGt2kCFi6CwRr6hJ3i9Lm-B21JUQKrkU7WbmJz7CVaGP7ee89OjC0Lj52e494xPNMulVTKnOKLohm0Msndpvt7M2psUQCKETsm8dczqeff53SWjRLHSldowFXUfCOt5fJYfarK_a_dkX3KAygqwtepzVlP7zHw5wyZsz8Lsa4ufxQ2Q08IzH817KkrHkImJBXgtGSJlSFiiPKxBbVM0DdN306zJMoV-rAOKvX8GO0-6QtjhZgllg5MfZF2lzKYENqZ1Tuzp59IvtWr4HumxsXX8WUG22Lkx6QrfofrDPM8gXx35TEpHnGJa77ACD4h5uC-8vObUzV4b8jMU4gSZWpPqtFOueJoYoNR27eodHhnYzQo1lPP7-ZgXHu7AfQEL2Bq2o7m8i9QPFuYoSWyyB97NpUEzw7hPtmu2I09tXXtv4zrLTDvNK4b_0WsCEVBuYDoyjHpXLWyFjRQDE54EG7OH89tbO1xQ5MhqiHDT4IcU-Tff_YuHjQDs-opqVoWCHWOzrBbUCrHcB8CkZ5NzDqBpUsSNHYoVARIrm18KELd7HxLwetoVdz97CWVEC1MoeQwgQyjN3zoXk6kEqky2k3KFYn7qlxW94i6SwEhgBxy3mrf8j_ND_gjDpFwRb7w36lENMH28C1_46W-s9X-cMiho_pSjcUzvzkxX8lKEJ0BL40LhgQ5FRNxg0-0KhIZkX98JKYBURGkUGWwwpUfpGJFzrdnMli-UjBpoX_NUANF7LIwpH9q0gjYWVtlFJePn_fPWXTGX0I40xQO2nB03O5NCygx1847IkVkg3X36O2vLsjuHkNweqQHETqt_VeqXkAbfHrEZl8yGnv49Bl1HnDml-wbtRRp1L5UN3DCJw4Adi6NViNfsxDGxUwUxXWR9MgVyKgChuSKIxZzeh0QhJ4UPDT2NQghkVMUX7ylvkqKKsyfQ2y2rPKrpdVc_PFCje5hWi2g2g1DkutHGeN19qXM1pR9q6GIBKgvzOC3s4kWzCtI_LDDBDz0NOxKF0bJsfwGIaalCI4-j-5uVF905lzpd_7QCpvKV5PHhjwdzuTeIqPJk7WqFDlBfg7S3Elq9JfxplIS3WMsrWZBEjIbQ800bXAlXhNRSSer_wVVcUSsa3nCusmVrTIJlojetmSKDhLB324N9o2rFKSpMMnrZidNEwZhUcVZ6ne3cUVN4Eb9CD3ThOgioteT_TD0ZxCI9QjGlyyFetN5VD4wBwzDIgYijdbM-6Yv3Q2Dk3JWx7MdudFeWfxie_K7gn1P1hmrd-fLsSJXiGaGOzxZJxok1WKx5jmh7sbhud-2VZadH7ykTRK_qg7TZ0oVgkDLmJBP3mFTeFY3oDOL4R1uRc5k0AvcOV6cLLay2KRZWcqiBFko0yjKbwvN-huz0LV6ZElIRuYp7lOLmKBfNcq4o-QB3MqSl6cBC0cAz0jgZYc1iQ_MPlzVZYuFQ6tazFE4wCew1C-hMrB1EVW_XEbGAg8LiGHr0resQe3XLPqEOIirj-dTfBeXobZLJBIFuqh-LEdZwL6pBQVMHTs0nP1RDGDL8DYUaSJPLY7Vjxa3-GyWqHUrGCF66wcdV4le_mCnXzmw8DgeGVbh1VLKN1gYqXTn2djF3tEWUw14FkXwuKH5IkzmQbKJW7-PHkmUpqqHApO1PJ__Qv0yJN97I4L9X8fHEwKhc5HhxJuPBodsFNyn__aorEGm4v6Gj3y-nPKIoJZYrIX9PavsiYFexbJK5WuxXfrSm_gTPVjSNdYSAuIAEkjm4oQ1hDmy52sZarEMmpOTPyZIAZpYXPi4dxkisoc-2QItHP54PY1jolAawrV_9wPY_KOhQhQMuaSz5g4YYo-tUEagLkZw_6T5DelLf7XV6nZDLTBJbk1mwLAocgGRl59-CPVHjDbS9kfuhF2jjWUO0Fz0_3YcjTvKMClTHd5r-snv_dqIw3QfipHjA8y6BdHxxEI97hGZIA7sxEQ4yOMzB88fSp_7pOjPk0OSm2hGkGSPU_vCK2g6_wdO-GsZxhuhVAHjfmfjfs5_NsA9l4YemHGvsawJsILtAXG6z5YkT8Wx0fCyIDrZfUGDErT7w8grYP4_fw21ToFFha60z97UIYKzJJFM2A0j36XAoYrO88LT7FeTJCeUDgX1nNi6-GDFZTLhJMACiEoT5Z_jDCGqtcrnbvz0M_RgJbY3vDF8m7ym76wF6Txj_NtsNCtXVcgZnm7pE3baEYtOV9oAYR-HUmyqe_wvoHceCgQhxpKNRcZPzNHoZ4qTNs5FizU3meKjtjRfEPtyT5fd3wIrY_ae8XbtcHHWD5H53yowxxgvJVBXqEfKL1hfU2mBhGfX7E0TEkz8QTKmhO1cb0lOgKLpowoaJ-aSyjJyVp2MU5nhSBzEwgUGm3aDkKBkUOzCymrB23ogp5XSXFr6z-ZQZVaSeEpTI2J9tj9IK78_c92aCWYAX0Dr-mIOgbmclN6yA4O5du-noyacWdrnUmWzesHYoFaRq7xmn7N49e9vYy8-mAKCoEAKvbTDeJn-vW6C2B4eehj5Cy9E_yl0YqlXiTkgGYLbW5DjnCJ4Bf-xX8XIFwxxzFQKZ5fqMnaBlCPv5kcn9TqkgUM-6LVH5yJ-3JGwtiAg6DUad7EjC2BS95EWBH7enQ8w0f7c95tYWRBzV9GWH8x0LVr4Pe7oov7KQ7n1rgx0S345jk9V3Tc952qY9HLPqApL1POtVF8RPQPx2hyvTISwaoayWTiDnqRxLv0iEsBfh9emkRP3irnNWVoqIpSpbB7HdGPqcX54EOW0LfsECQA4HTQnZUpd2-E2DcYHHf5eiczsPCSKiQSw9uezLNOWD_hxBOr-S3zYhNjFuilz4r1VR6PJVJWatZtyo1ailw_Wro-ndaOdmvnRJBCfXmmQh4DH0JeT7WnIFJLzIaBRt9qFu4yLT_n-sfMw59D-BMQTO7AD-ka-VYb465R5SMkoscVszNfqDDUcrZh1jXDcJyCFhM0Ccn7PNDvVrW650WnggP0pDnoPVvkJvLNMOGo4a-H1h_9hp5wpyPH-TjL2nvr2hk2lyg-xf6c6T3q11wtgb6OyJMcJtbW1iAj_8Oi85NHNkLA2w1NDGPba7FnlumvOqWk1tcAizAdg-Nm4SQ3JcAXwnSBQmqTfAXXECNMOplMN9TokoHvMdO7G-Ed3kV8eVUx3PlQPdTR6RMh9n2P7bA1niW3g1pAGKb3EykquVRlVTyuq37wxtsEEccdQxUxe2Qk9-2p8BgDCG3DMY_ImBXEB6q4mgeVwHhxoc_rYlWIZ37JCkMKDkxdp5Zi7QorRLhVyhyDW8RvO-wxKMQvCwX2eKZiwMVXrDwZiN3GOYasMrqDrplfcSTt42fht4tsrxtZcs3hnEL3VRTF7HIzgcdaSJOcoz_XIjyUfPxHNGyg7ZnBBIkLjAwdciWRucRJCsKUUfDOaxcUzon6ze6yXLnIE0YRhxEp", "iter": 260000}