Knot Geometry Inspires Finite-State Automata
This document is encrypted
Decrypting…
{"salt": "WrDp8gkUBhOI3XpMRO8rCYwJZA792R1x5WQBefm1nhU=", "iv": "Fctyta8BLXkuCXF9", "ct": "5H4OFbODfy3uzduEvtS4dFlL0qDwHRmVDtpq_j2-AGUQZe1n546IC-dmmKPbk6h0i04MuBqeVJq0SRpH-BKt48Vtlk2210c8DS5mH1pHYOtapJIqcXdIMEmZ1lgB0TWP1EpkL6MUM3vCsUBnGxiuei8-GiGLF0D3QtJLFFGhX52CTPuY3wPrdRl3Wn3_kCvXcod4dxVLKOhlcLrQhkTfTfeYsiirmCu9WpdPbs9yberLESQ1fnD0VMSw4dQ_HQ3y77wpOa_VCEaoQ84-P2xKrLKZC7_Qrx9dPl7XKKC4dB1EOoCPBBXP2pv5LBZy8ir1LqmrTyHAgQxwKNrFD7dkTiQCM41k0AI4rcmMx4kuD1OLYZpZF5f2hi8Urp4YCqRwp-HfmK8Za23ku46gPVbrsGcBsyxu7Hg0tt7gE2wa933PAJ5ifk7zu3h-j23neDnXF3NF1A75haFB3ajcOsLrph-mziPrjmYh60QlrtaDqyfsA36PXHy_iXWkNYxDeTctqSAPTkYYhqb7n6LUHbFW2J2pRgteI_RGpHRfMB-P6iudqAzFRlKU9E0cfpTWw3c_z5DI0hgyFUXMRkcPt_74U4v9OjGKeag1p5SGrza7YxAwOaoYcroYLh0jcO-2JGuaze-bgd6ZtLSeqM1HZp41ErSZtlWUp-e6qmymzzK7EdGq6MgsK4D_cUIBrgtlKEz9DZz9IsMbsgJ0CgJ-yC2HPs3vsuHnNhB0MZ1WfiPe72MLWnUiENzc5W75WBGtNLXg_HiIGUcIC5g7AfijmSM25NbHEpeskzEKJqg1muumzEsaD-XvRNVcUZKIqeMw_hZsIP-eKEpGjXJwzl6zkBzs1cENDevGbsnS4cXpzD7by7mmifNGafuCErAKt4lVlgl4qU9lvRa2DLz3Psk3O5xPLGxZ_a2MwGUbRbOAJ1I9oFZa1lK1uovA7RZwdjskJ0O3egNz1-FzXofKvMA4v7JAaOVGLGMVh25e5hTuRI8Y2TyK--sv10I1nYzJPvKRQP-SGa8szxSghby_dB-xJdcLA-IMr7_AICWMpZ0RMqZlZ0UzU0jNatE7ggAClznAkwzvnQQlrHE9B5oTFQMM1ILrTNtu7LgTNtN0v6p--5Jq8o-w-5RTvAonVGVEz0xWp1gi7tXg27l_8cOiGIkyl86X__FbisGxep3ybBgKctSE1TMT28S90rsLVWSMG4WBpmULiJqOVBAuQunbi72bprLeWmuJ_1g91JM4nbYOHnwH1jzi4tZ-QjtR0PpW_FauAO_aFOM-kdv5agTERhCOI91I6h8kPZRqmGE77wz0J1WaAsxirdrO9OLwcAOw4y21hpvbTQAPa_-s5SEgwki5nI3iazYGxlNL4vON_l58TY8gR8D40TRx3MZcdfuGiRZ8PYjbAYRvh2qwrheq6hlPoZkploUKckFeB8aKgttVpg6YjbHM6p1O74IT_bbdDQCZ9XbC2fupRgUHK6kq0pyVXY_r4sDpNiLn7PVrM_Wnysd65qfO1Z9DkPL_bC69rqroNFeXLtI0nrutMuXTHBK9nE1XOhuRiJzxjjQi0KvZmPYjIHgEFjpt5gEucIHGvAGEsoHwyf3aRe_ZSHv4VEJSUz6ZN-QJNjkpny9TTFWWZ_odBJf9JiERdBWLyzOHWFKj1HeJ3VgvInLDwFjD1G3ukzcBioLxJghlSHDvnzBQ4jR0JCi3FxP2gxsTlmcQS1rEeau_0UjqsArvVD4gAReKUPy6bmA2jUPYqOgvgYXZ-nBmn4nEw2QQ4jXLgVw6CQu97FuQWoqsVTqogm8u_nCrF7ot2-kSCsJB2cJhF9FmVozUP3SaAItVZkJu5MV11Zv80BEp9yw9bxjZVTeDo-Xyihfia_l4pm1AAlUJUvEa5D-nsNSJspCp2neZL3r19GeGGfs8Vhk5SF8qvaf1drBZEgkigdmZRh-n-0Q-zeu0jFhOSSaHwsQgXQqOhmYeACTG2HLJ23xtf_2akq8obhT68Zvra-L1xgxG0MVAwZdYzrYht_pRTQwxtQJZ7dbLcCMToiKxQUL6kcHW-gk6hqfQc6yH5bmrWvs28dNbBhfJt08sIAcdQvK0p0VrOQDK8MJxMncLt9ExgBuV5bh7Y768OKQBDPRMKrj2x0cscMgnwEC8UiznV4Plt3_5kHerqDAhb5RVAiUxsAgmIttIRV79UcE7V2Nm3SfQIMyk7M-q9aTF8rHZGsWovyliDzXLm4iZFzjXBRohSCUaKsftZXUkEIcWDvg-IBDslxdrlyEeZI28c55fBOA6CqMzcg-PB25zXF1zhJyJWMzqKMo6HddkYOhz2yTuT4PX49c9Jkkk5ARZRBPr_sTJLiP66uZMIKr3Rg7Aswl8KOGG-g6GC23sQ0HCAaKVLYG2KClqh6gQyDwP2ELsprevhn3H1C-UXnCpRNGs-bpEXp96EmvDnucY1khTnWqMvZUrwOUnVyU9M3B-biTeXSu9XiuFypH_0sTiuWA5sdpyyiTgFlLXdOvt7Ua_0Nljfbnae9D0icDWM2Ee5_QMBE_Yl4q4S_YH6BmwLTaJXoCMVV3qLQMGkbsfaCE13TpYahvTEAM-y2NSqDVaO0ZiYCxCyVrf3JBzguI_fq9KL7CjJL59crwIgsZUyXmlvqrzuwpRsaU4rRSwI3tao3PlT63vxjCNS9YgfxCzWDO3hTOLBSCN-7qkHb_lnO5hLU9jF6qPU2pRA1C7jvkJQLbFqQHjySX1wqOc2pqvb7i1qVfUuT0mhwE4c8GCQDRrGtCNvOMLdwFQ8N7_scOfKRD3_6Pq3uT-9WsDeNacONsm6RFsK7uhoM0hDyseHSCCHpHhOoVDe08-xhQ1eEnsm3OXXVPvJ3_0yJE_Tt-GlH3ljVqbJfdXQgWyY8Lfd8CnH3k8zUmZCT09YII0diW3wjDZ39jX6SyRMlK0QA9XuDErkpyKaQ0J3Tx4q2Xw6djyuVKTWrz1aV5QBxXOj1bvkw84gg9Ck0kxt1zHdwp247JRJzJA2ODEuspS_-pF0kcIsXrLoLS2mOgyLjA5hKEdED7wi9VDHstNQO39D0HO6MDS_Bqoyffr_5Me-5qtGRQ_ILX9y7Vj6OadIdX1TpoUHM15Mlw8Y9BqLABFEAmxGaGUpJyB44KP-abUzDvnx7TrJAeEXAsDbc4A14DAL0MjiEqoPdcdCv8-suSeyfDhiQ0YWrr4tKybipAs2FpIdZidcqHtlwiW5qzZzu2pGFZ1ZYLiUZ8NFOptRY7nAnsKxoZ8UIbeKqTa7ZUIgnH9fBdVBw4HatIJqTmVWnhEschyXTqMZwCmiEpWNK2XsCsTP_8iqX3Jmq-u0gbLrkVGXHByJhpamrhqli-vs-iOXp8yHprOgRZRNVlSvXHoQwd8q3FuNZKoBXB8gBoceMxzXD-e7IfrUmf6tjGmqQQM-D2nsi-P5SCRPjOdX3fAc7wO35N8W_zKRG2K3OU5dbJNbvt7rW4TezgtHOJkWQQ-J308ebZDAgv70DhHalNg2f_3M4b18JUti8IcN8SLPKHg89jOBsO5B9VDq6hbTJFb6QtnRp2rgFEZ63iee8Ok-BhjyzaL-f3Ngu5uFbt2h5eMQ52WGKjVeRtGDnWptBLJJwvqQvRNjLVJ_Qt2k0XeDfgv6Dop9yCrVRwa-lobYY4cqWXaP6-bW6NoZqGZoxA4wqe0-rcnSoqGAYmRiLZYN8QlSv2HbCg_PdoavUok2y6tsgd22U1TBD---JI5LbQPU_Vv4QkuG5LQydbiQZphrRYzuV2jwT8kZ3sa36hycR2IkTbFwVaBrs4_2cup3IQaPgZtdYA2hvhVfxfHP7JCMPOXH1hHP4WU7iLlK5yQtRwCADpAOI7xBluE8JLDK6ZLB-TqDcrC1_iuTPKWLDVTrUwoUH52rdFZf5U5b-3B7ZQ3rN_3589eXJ9kU0R59qZMnd2o6Sz6nm3pjZy5Aj_WJ1EcrsidqQTfVKR4qgz5HTBR3DCzfIOlQrWr0SsCkV-3Gwh3Mo5i9FkzKz_M084nYEyV_B0RRY4kRoFOx13HmRachHxJy26AT7roGtsLjNrM06skefuivhxWrbs1oD4KQYAJJp6so-LxCogUxI7tYyS5CsnM5OZfhg5SnvdE6yMa4FExMX4115Q-QeKeTb0wbxQhnoaiGsf3lNefJv-JXxqkjItnhpPNaSRZZAwrPgwgUAr2vZKL3icZDsYMYtmHzcLsCZrXBFbTwwCK9fXeYDKUzIsIpSRRyxTXT6JYkCIBH0tJ82k5ze3kHi061zKNphe91JLal1nDgiNwSEZ53I3-_Ug1bjhZrYKUcCy14Wd4pBNH7jbbz435cByryvLuYD2U1uyAxL4WjfJVKl1-g9Py10scSxBDmZ9mqEsNLqchIJN5Z-D_NAIEg9nXY19P9-ziNowkhMXdOCsSd4GYejTLilwnaCWYXCHP0dQp7wjSHu9nL0-ZeAuSeWn4ut6nmtGCcXpu9VLQLd4gYJcfguVjsPHGVMjZ7fEl7Sg0rdqy2lfZbdGxv36FceTIJ0P3sSUtmNDzKIZhN23bs_1sUM2fC8mdMCo6Jb5Ee2_OKMDTtXb8BrTulgR4c-91XlpMC2e-g-uECXsA-zHCnJoGaexJSjzGoKQPAj2vTvctLMo-sTtAajC1cW1Lo5peGl1UpPMgNEhaA_RtEDYrRGkBZ2w0L70UdlIZzWKtFw9OC8ppwKrogAJuVlPuOmvMXEfaRXyq1Uiaya3cJUem2zihQMST2P35E9gOx18XWNYjhidDnEtsKOWu2oXeHmcVW3W--_cXmLMvEnXCg9NJgrJMlIb2E82AfHZ7Jq6aWHMDdKUePUyR7qTSsZkAtaRSu1OS7bjgc4GwI_H5_MOl43-PavY3dwHFJTSdGU1CG2YkEVKvwgVs_1ziu-3RXg4BL9pxW8-Wy-YL3Cj6n2y04d4TqWMnjsc6NEyGXVRESPNi_vCdS5yBDRNUxwUsz2yQB34X0xVr44OCUWsmd1tit5jo3GSeSgchu1AL8_X6O2SNimYgarzFKY8-Drtbvv8iNolEUv_9cpSsUrDTKbEfH29XnbTZh7QEFcPVA9hc-iSVUX69IHXtq-7DB0BVDBwC97eRYkIlIZn1_wuENFIGTi50NVQVc9WDJRwEtmv0SgWWZwPcPOLz0djF4gSyQMJwmCII3YWiYxxt_JrHEY12GUHMs8ley-ZqdMIGZ5ZzF5apZPsuswMCI348TKYb-PM8g0g3h3H59WZI90ivjqI2Hl8URdtxsFm3pq7jGYzEisaXJ2QmnzNPvWZGfAlLDOKRJPEoLZVUNns7cUHYdHJUEHNE-ch-VNGA-8btVz3LamqLrvVIP2h0SqD-D7jXum8fuJCBEPIcHW7gnZwO_oAHjvChgBAWPVP2L9aXu3Y_uZCdyFs031CH2n5nyxqybcQK-Rwb0Gn03TkmnBi7hZaocAp1q_X1TzQ768I_h7mb6Ebp2bes-pyTQLDiYLATaWjz5qwNS1mhiVxzyvxl84xvf2r1ufsdpnBiwWalvrvM2dcVniUo__j3-exvalzN-Z41FCjiCaeDcXP79HY8NYkZmcnf7wN4-HYEron19en6kyUT9JDGIzgOe_Tp5kiAtDyof8-DAAEqVtri7CDUGuNrvFe7Ey4Is4vOKeU4BxeZ0s8TS6okUMSdwOW3nQJGJuet38Cxoz8i3tGbn961oZjbKoFH-JulWT4OmcM0bVT6H-Kn_FbdV6ScBJHHwZK7gYNIQrkXc60We1jwnF-9pKrGK7oshzS1TQj0ls72r2x1yhBm-0foTlOlLpYh8vFr4BsnWVmXFFBwQUtKaWctc9PLP_GsXk0hrLirRl9tnYk-isiDWDzIeEGZ3GetwlbCXoimNQ84VwfNsA4l58G5YMmygxotwoKTsBoJl85h-5lQ68FLUQ3wzK85L9xRBpDm58kv4gGrXYKtiMkBGgof3Qqyce9wSZkBr2nUCFqcDCCow_3S6D8t7-apl1XlPPtApoCoY8Nv0N8jPThno39VO8NlSD6ioPBRLib2DsdWfOn5JbCZwZW_rHHp-ZxcxbFyrGQ3FLQQy-XkTo6RoyIrlm_E1RZqV0lWH1ayLFGLrGhMdzIWQNLYrGgFvr2DqQYhRUetiShNlZzA7txy4ldyWZxnsqEhJCioeoBNANg9q1RYeS9CMyyYduwKxwqYGTUc3z0dSIj-PwpSIJAoXVLITOtscB-Vfdae0NxbsUFIHiJkfkfdWb10FdTN7kPcR98ZMqAw2mZgZuM5l6GRrLgQqsyomLDG4dKGMdRYQ_mmHBffOlSw3ufJGLGEoByA-16HT0Yo9ASsgnu9px6GlI1NZmQ-Zhqk9ZdGk7t3bXkEl16EBACtvELrSE7GjdnI4ZNweyj3v30CUY085LvaXKwxY-gU5tRKwQo14_gzggLeNxzaIoIGqqgwynxZm7yAvjuybX5PegBZ--Peyz4SgYvLFEWwF_qqJyrlBzKrHjgPkibAxg4aQA0IH_MI0vMvNtjpc1bw1Gh8dAALtakTZ2WQ1hrpuOC1vzxqUKB_9YuGd8Ts7maxUeDlbnFpN_1jkHHYWugeRcxi91u3zAMddX_mU7p3vzmwstmzB4ZjxEKoB6Uat20ZH66KFEJ2NAwOWMZYQHn6jCqmJSCmnaC7bKJ4h-Xnk9zrUwDbKIx41KzGxr6iNgNYXd9b3mmKd98-yrqgusxg8LXboyscZTXQpuhnpRU-9OYhwgMpyIfQQs45ovIWcb2Z4zRkGTJgFfLMrSe7JNU3z7yQS2d1nZEijYLFh5xXAoUAl2Ruc-2Epd8ehZboAaWA1390rI0adFPe1cnV1s-w3_8CgvU9-S0hvDakHH3LjN2IyRzItd-7mLknylIYsZVJE6Vk33AkzsvU0s47u8NDNg8dmveBC4iFWzgPkCykQi6Ts6hCDuu3GxOFXdbBFkSYLTM-MUjrUleGButLMeCEv7oWCvqVFvizO6nSr0Z3p_It06P6sAWhpP4jaOjvmPugyEYWvRxaBwC8qaQ7WyOIj7mSwl7OTNY4SJ55NyhaBbzWAsFE9fJpZjxRba8PSYL0q1QhgVXMWDblYZ-SKmLQodZHd3FUK-H8JtCXMAwFFQsioK_6jDsbWlkl6GzwI-XWOn4tGu_ru4vOaAklcFyJV4Jle9UsjmCDysl7OLVMU9kvo_tDE-q1pXQauaSm_cK2T8XiSKIEaBixqDe2z6JXsrNYhV616u41TYIMnuWtrFolQgXcIkcKZXKHGry-EW6CbeVNsvCfFkb78wY9x9m9Kq_EoRqEksZODPn5EPW_1b0hMf3Fe2Ecc1u6nMgVl4ziRtPK9McrOIYHBf4tvMEJboB5qO0r4SmXZomPXDaLb3fX2qW9aIr2EeZAyTMnsoW744mTukrqXp0X5d2VJTWYQRXncmVk9bNNudQnNHnSqYSOtETOPiOQAW8ykYzCNUUBny4rT-2ezG4fIIMoQD2LJsU35QW99NqIqwRybH6eKz0soxgAfoWUkWOlrM_ojBWMtjY-wPX41JPmuMwlbzsiloz8nzRX4GYeb2oxQVbBJ16sY9vsiTax6B_m8Z_stJXCcHh9m2XDM90-LIJ6h1YYS7RVdmnRl0qY5BOEk4Jndea0oPOFAJtkaMwezvF1FenW48CUljFfmrm6EuhUh7Mfn5qI-VX4lICBm2_d-43Zp47LcueCbfRwpAOyCbRRm4aZSrVeVw8571__VJsOViRYQ_GoRaXEXYAPywliFDRXlrwD-YcLO8bk2BJVcW8SnamxQxZqQYp2RK9fXZYt9Zbo2Zb1d7AjlfeiJRSAjxroSMz0BxFDFuzQQdDqaC4ZQqHjcLJKlFbVafHmit9z-0yD1cpeLjylCL_LSYTK5k8HKN11BFoUyCwekY1gHSZGAKRsLsAzP5QCNab_WpVIDW11HRp9JgS9qNoOYqR0dxDVua9IYZZKp20Oz4eByHB8MY6tg2jDQTdN-2xnZ-291jPVznLkIHrzciTzgAsNMUcxruCzNex_GRGiT_TIMyzlsiUWqZ9KJLdB7JwR29uVCr0voUFJBiHrsVstx32o-pLngUniJfMOS7dWVvUcGxeP2mxopbvAEmThl8WGv0wwuJuDIPiiAhdtSbG7KoJhzB2PLbLXcY2-a2fDJXR_SOMtwOUpdBuwHKuU0Rafo70irnjFXBw00e0K8DVkWPOA2CO_W5xNjLc4bo8LzbPQek2UB-VlzniwnihIZdI_7KIl8j0dYQDioyGi1iogaqqp-JjhW2d0_YvK4vRlPmjMrhZKZ_x1JkzERRZkRoxqWvZXm6jzj94L9hEanNJOpNkaDOaX9q9uZuQsVtooJdRuPzCoK_2nBvpRRRfAEW_x33YzwddX5v4igGwIVb8H8aVqrhsaCOjqKa9uyfZTE4qPJ6a9gbOS1CKYKlvXD_VUSnq0OsIEixuPbHk9RLzL7DV145EurBC39QdDXPV4WFrsRRi9sBugLwcvgmTTcdsG_yG2PPTiSJti0LyiPQx7t9r7q5kHjFHbQlP_R0spfoKFYzxJqDx-bU2CygRb9Mgu6qqvZaVLkfhC5KpJVqhUEYfmW9fwZcw-YRpBMcbS2A-naP54RljHm-WB3U0jdCQ04-6evU0ziETUU1dRt8UuIhMgksESUsqU-UcHFa7w25yKQp_LG-t3yTsJRICylV4E6CYiIYzKEzBEfE8KQx6oJrV-bWMhTPnIDN4czVAWnSvJD09EzuOWvlWq-dZhjTPmtHgiP_Rk3UwkRVv79OtA6lZq6l_DMmcl5PnfonE8U1Hdwys9WB4M2p_jF_3g6e3_cUmQypr5bJcQzuF7nHZkDxRNly_UYpJKZg97FZFLwT5AaDuiJ7fgsp0v-00SmRwltQXxzgpR5itRi7wM1DxxdyJoFQk0XfDqVGMzgzPty1bcdUoKHIkoeDDCMga_2IfiWyK8Ld78M5oH_iwhkvv8pcMUfNy_ckqpVtMKInb2c5G_LsVh3wgi5bOw4d8XLsIuf9W9ZGQl5K2T1gACJZgnjUJsIU7vi2wpNlY1_SG290yQd0DYvvVY8MyXo5s_pRTvmSR8RvQVRDJwfowjWA7KlhOOKt2So1RVcTyR62QI-mUlv2GYOQIBnhw14TPPEybxX-ivsS2ZiWdhRtudomf8rm-tMxAHZh7m9BvUsqJixG2zkkqKR5QcWIsHeJyqoHSmfvZxFDSULQlraVYCO3FIFVJ_S0am6qkalZEFttgpZk4p6jcdnpUIAhNSK7xRPbwpX55Y9lh6WAe0OgDrMxIA4ObG7QqiJbmEimDA8krNhqBOVd4ZLZ8DqizW1o-23wDlErxm5WplBWe8A5Tw31IUksXoukspb4ybELdBGuzBariWomYGY44GKe0UOjfXh6uF_G0KFYjUrG7QtFBkOVz4WJWqTntO8gO52CqrjfAIc6a9D5Aa3nuwX8glZNqqr-IgZwsaPQou7kyP8QbpfF0DbhrvFmcTiIeKjjtMQNps2PUF0uevAHePOPR5TgCU6-htJydz5QhWe3MrMLopo9MVBrzaMQJK6Mdy48lnuiByN--G_qA0VCVE_O88mVChLrO5hs9AhTuGRG_roFNqTUsti2p_0F57HZCvQagj5tYoHf49d1Db4dAfFa7F5nctV6zLl9wdr3PCWtxd_CxASJKvaYTlMy7zyxZCOLwas1EdDK8cOn5lZHlvMWknfiJlcy6vsjJxOL5Zymgpoakn2FS4VmpFEcQlBut_gapNYeQtU_-3V1sbJnSHyu5YoogbUEbcttRfDKSuLxJmXRiU2Wr9TG5CvvDqRgjqCMNLxWZ7j_6sAI4iwR4S7fsbYgBJQDHMPvMaggJvuLgXIbVZd0wckwoCBK-DPCuyrVU_I0QPjKGMAua_37Hs-dvuOHaJMAh_n8IVDmIN8he3X7PHW9WZxdfXaWsiT3fxabvbh1o4JGlA-gGsDJS7qqyA0LhCZD4HUmK7fiu7gvq0o3pwJ7I2etLsUjFFf7gmPjZk8xEyMCDCY1CXyVT_QXENsZSRLDTv1YhpttKZLehLW-_xm3u0QMd7RAb2Was2-Po-DUydBqbqK2uKSmLUW-4-U6hJZ0jeJSXfqaDPp6o1cpAajX6PdIxm2cbjjD5FZJdLb3VK22ATvLEPbxvDsBVE0XGJ7seo1QZtJ3qZTxLWkWVQ7K-lZL59l9ugLjShUGurp_2DldINdmRsE5KDUgX1MZb8dxgzYea8KTupMyRuzEOWN5i2iMczhL8d35HgumUvw0M72NZfncfGZ8vIE1BuGY3gwuYtX5dN0R2OedJJtmsmY0x9GU0I674sxn9Z2aopgsDyng-Grm8v1Iym2LLD2XXYFVE3MM-6K2bSm5UrLhWquxnjjMVpN0sGeGBjfTNKpG2ulPjuN65Lk_4oa5sWHw7rE55hFkbC6-pIZFzHBs06-xge5EFJOlfP8iq0ooeW0c1H6Eyk7Z9l7R9mPO9vB9-20ZJqBK32EC02LbgJ3p27TnGk52b2PNcjgcw1EkdqT5b5tqYPVcy4QYvGi4r1axCUCkQDAGXwiOuHzDrvyp3Nk0uUFvV0rMcEpV93oBCAYcssjz51IHObAELaQYPlGlL17X9yIX61f7u1-cGgp_mCx87Qz_JxXQwaShyczCgOFvUDqo2ByglxuJoJZ-iP6w-RD07dh1IJXeCwOHum8wm3Lp0mZ6M9c67Se6InyzN0ZybPX6WhnaNMSJh9twGyunZJmvHkurwjEI5Sk9OwF0Xcs0mQXKETyIVyF3LIT6E5rZLwARJErTUrk7hYvSo7vChupUhK6rbqpmH8KDUsnRNUg7IeO0rsH96W74J-eGPkz6xroWib9DP5ah75434ubo_EZZdWt-bsjm68TbSgakmAmbbeW_kgjl0vVifqUmq8vg9tqbudT9oH8V-doP3-SqS2Q07mGDLM1qmm6Egej-OQRnSXJyaivSVybgdkq72lMYKYlWHapINdTE-zfioiYEXbyLC5e5HFVwmnLgSX4nJpfOAE7-OIbyeMFAqoNCvn1DitjZkwPv_MJTtZtGCSyr2sMDlWRpBlZcZrxj7odqN7J55QC0oIZVNdX6Y7ahFDwxtbDhQe_dGde2jBtPi7Pjb9Nt3GX1EsLx8YO1xSYG3bv2u4ajGlQxDKiE0uUDzetrrUTkotJqiZU2eM8AAgtRLhOcVmqHKEgaJ6-k_XHUhDunISEcIknnhaHZlFgQYXfk8wgk7kZvxEZd51zi7aEIbSx-MOdkegOBEEWJQu9uPYxNvBBm3FAYNoTSlMvQAi76OxxSuTdQtxVM_IcozGko6ILKtmtu_cY4kG3M_cIkpG3LZyq3GZMGz8uCySBFY03RM9G9rla2Xihlq5bM-76n2JlMEcepOuBS4BxaJf45UMwvJbvX5uMnOidVeBafVESpK-B177iKaF-_bYxMT356XPNM7NCQxONIYAipP4CgARJa8uVjD46oFc2r5kFWbUCPRBlmUNhJn8e0ma20vq2yopfl6KKtB6LaDhFtPSUICP1CMSzW5ChM6khw_WCFKzb9LVvL9kK-pdqr3HMpOg-41KYe5sAx1lHwGcQfDmsyW4d6KfVj-8n5WYH102P7mRhccb6i2bjOuNtQEzRleJQ9oEX5SrRrT3EpXI7zDQZ-YRQqopWsF7v1BhM08bLiYr3qQBD98XgVC3zAI_QkI89SAJpA7xYE60ahMVSKHGoZ-F4l4epY_lNMlpZ_dIOKK1g1vYoBgprs_m7JtRdALxja0DF9zoyaBCpP7PKlOGWz8yPmHnSExQhurC4jIxks80V-xqWVr8ABLc-4aVA8cWtEVBpyPtl3-H_034Ewewmmj_YlTWMzxXgwhBWp8AzvuWDpeXE_RQmHa3M6HVCj7tQZsUEJ8hfOiAOnc5XC78-954zkkVJcKV1En7LLR0X9JiAnG1GHNUQB7ajD3vVResBj5OIsCPBWbdh7Ef_N7TYJ0q_OA0RE21t3rcxAC71IB1aEBDoXt3KYiiyutWo4HQi6CfNZLzjFZaYWhMOVQ4rnP-gsbXClZFVClg90Mis1HUAKdGero2ck-YkNRY6I7OgUn3q9RzLju_sPiByyyBG5NqMA9CsrBim_mklOsFdPf2lNs_Td-8YpsX5-SWlYwhSdpoYHNHm1kjm5XRnhO0Jb-JFWtTcVNj211pcdxwWDD5tANiO0z0zAoic-KeugbVGkAjWjov98BpGQ2rJDIOW5iBPg5EIJojrFjSK0Li0rVilHbe2f7INWwBch9lASdeCAiULxM5zV1Y7K1bOlX8SlkkXhNm5dlxpfiZqchUblYt6F8hHXjfXS74GEPFSC7BTZ_thIOGCquH2uJrXS3iCWMzVs3pGHrJoQn-8v57ktV4xp2PivDreix71ppYhV6eik1715Y86mxWx3lPomEOwtr1uYdFqkWi_6P8xQ_wT4VikIvUFG6yY6KIdlmsWikdaEHiUYxZNqmPuv5YknZiNAIFut59k8BoWIrB2ZV3KTsjMeVT0oCfdP57yX6oMIc3iZc0TMLyXbD0yHm7ziZiTpYRDoxPJDOx4YrR6Zoi4BuBu6-EOkHEaq3E3TD_CXfe9oeey8pPv6XRn6btf29-owmzTBAlFoPi2vH8SI1gfAcxFvzFwVNm-0vd_EgMXxst8RpJvfjmWc3OnMCXyavhJIq1TzoE1_E909-KNs8iT5ivBqA1ssMWOuSi_NDkLANbvaqcyHLtVUq7gPaiR_TzdYtlQEKuwFBRm4E7AXjvD98ATdVCZGdQkVOMRXfhDxUUiYyftEQHj_7PoqRQxhq-pvRVjuBHMK5IMVairxi4ciuIvmduXEDHmkerE5IpdNZb3xOOnEoxv0sFqx64XnoP8I6e-URJbsVFBG7FlSp1zK48d43rTqiImnyz0QcXXbIC2nTt1TNTsBZBLCzm38ZTnwQrBLH2dKTCvuIr-w-yZYeJeGE1nG_tHXwSYI2ZSvyRAxzcWnu5nlB2WDPSk6bWpqjdZNKS9bQyhFxCpD19Ikm4om_vpHRZpyXz0Ug_MH9lkq4-ahylcao5KkmbEgUgVYPSQ0LKEmver4v8dgfweg-m2lOdyrzaKbP7SCnMy8qVi93Gw1c_Id814mPcSZClnW-jMDs94VmeouXntWhEiHb-BJa-3K4rn-xEYNAsb0OgDHquWg39iMrcn55c9xwJcEdKaLqDmGERY1J5nOxS3PRWYDMt4RYrRWX8m6H7wT17PKDHLa5AEJzLCt4Z-ZdTqYnaa6AJdIeAwwyG8QXN7Re5ZwZ9EXyaG6uhvU-ba5A34uA2KJhFM1iczY-yPWb2UaOK9w5MM6hidR5SED3Wyzn11ialnoLns3GRY5z8sAdS0dTIaXA5iX00WXRxLZ05JPYzHyg6ARtwFCUQVZfhj2ntHHabR4ruJnI2i8mSRsue4WAXWVNUx7evBhL89g_djOPwuD_NRfnMZcqAJ_cUvmeHXMYMVKAW8tooJPFnhZZ8GiXUMYycDw5umZ1bbkGSclvR-XoRf5lphLyrfjn0iSEzxjDWMSJ6y2fSZOedHDLUjEDPUQNNxiqfrvvMf2sTPwC0pOT6De1NxeF_b_d0bqAQwboRkUILbhpJ307x4YHEasgrqbjVoEMYAR1230n4n2vwsc7CU_2Ln6rTq7PkqN5RoF5TfaZ8pw3cAY3NL7uEhVypgZ2wWCBZoP5clgDjQ1_HJv5fXh3BrTRyLBcr5pwl87e7mpvZLmgkdshRjUDQS-3mgDW3s7oZrWVV-2wDnkLeCE-lNBp_ARl2e3DBw8mb6_kFr37Is9LH-hrfl-12DYlpSMGiMDvR07AEHlU23wULHcd6cEj0P4VWHPRwQgz7IB0oYwMylbD5Yb9NK1lY2ZN4VDAHod3AgsUEr53Xdly2Zy8fMIjEK4_CQYhod9e1usCnRZHEFdNWH7Ox-NWd-AiZlclRX6AazS5Jwyq3Px1mzqmMuVpW1QIw95MLJ_eqJFmkytmiCnw0xoFuzej7gdB15Ol4GXKockBwegq-thBXJHx4OEqyDH_6-2pywNT5NGOniAJ-xYLUy5b8Cdc0pz_a41GioR65tT8NtdjVSxu4ck3e9b5LlaB7O-opsncahJV8CAhaG9vtNnA2203bu6k8ZXq9Cj_aC2t817-pMQ07FDo5MoZ9LyKeG8kWrpu83myzDL1gduQXhM8ef4G_SPDdilMD94dbTGAeEY6UZqmioDfTViHWY4yik8i-lXbwfNhaLJ60UyWa8_cSp7VezRbwORYBxdA3oHDd_7hEnQ6_LhNlTqJe9nMog17RmYcfjx8RQSheK31iICIIFqOJ9ZCwuVK271oi1DqjBmRRBZFhp6ITJQ6nzVSC4YwNTG_K_61IwUHCilAoBzxNxJYJzzo9trY2-ZupnYg7y78QUmJJZPMTNNlgYy9fPpQ3V0bLt3XbV7I6Sp7mwGmcvrwEjVhR6zyN0k3BI9R8VYJZVmTMkx79dsgBI8IQs06D0Ispox8fylFdkXQDyoJcR83GbtIh7XyYa8sKYRtJ2ha8IQnqPtIo3gf-0LBbgZtk8sQDO3q-SlO-J1N58jkn_MnHrotx1d4oRHHoJBKnUe5_6Ik3m4UPieYlYBvVuBvLeRvRIuq3z50FR0Qy9gcHCW49jwVjj-1MxuUgZw3UKUWCDKOY20jSnuuKe96dqbp8cSw3fe8IEJlllg3t30qaOQuz4auYoV1nnymKe-QtPN4K9OKWtTjyBCiGQ5XA2513GTih8tZni_Dq8la_vy15QaGWIe7RbJv1MvldHCBwgCwamqbn0w6QYQvWirgtwAKPJ6qfvSHwQOPn73lrNbTQVeE2bN62G7mk60eZ9U-gLuMm-1OLr_9vFqAfMmpZcKrVmlf2GrqKAgte7zrR3nLwOyENCFShu3z4bPiwv0h-OpyfOkPF9Eqb9rcl-M1ffzPGsRapvHHQpO0IUkFtKG4DkVRjGzeV92ypDQ2gGx5s3FtKzcHXJwBCQTKDTbcB6Mul9l7Q3iIJEWcisBqsl6xCzca2h-vAGqMzjeJIjPbUyg7vFfuxo0E1GUz-rqxzTtnamHHZT2f6H3mnpPywMi-Tjl9yibuU67exx5UO4tglwdN77-y9xiAeFlgGhsIMsZx1TVqy8y_P5LQ-e5LcmPqu-x-5Ww4joVUqC_T-ufaqE2n5EM7SJdNdLgu0V_x-hAQKYNflBqF-mSN2Digf2QS1Xa7uRguFRJFxFtzOnMKkTaGwC9qVHA6vTHHv_rK-_50OA3Jt7J0AoXq1NwMXMYG6XquRuYPYY48hLCE9PzGAQm6Y5ItppWJ-qzBVCw5jS-yJacXmDNsRrTHD-JF9HuddRF2abETQfAqLrvVxTdkAr-VtByDGA6WUe7uygu1HkmFrH7GxLyzB-jJ3engXHTeOPZwKsgURhhEZY3224Yi8ZWIv_WShvLyWD5-Pv4CFuBvuVHhxTmx3BoCpybMmxPmCtvHjJ8ogjL4It8dP4Dds0A_0C67fFMr_VQ3tF_M8vgygBJG1keLpYoXXFq6L6otU1B1qLGQzcwNKPseRbhwrhlDcrUAjJEgeTBs7TnxYxjNTIYHBPNc6uoJO10ECuQIvDveIxxZVeydUN9npxXoLLp6QD64B4F07klkG67XJdMq4Wj_7ZSLzX7US27SNu3AC7GZTxoodAFtTAmVjfzs0zLnhQC54909P56MZjf3EqfmIUghvEciquhJSWojHtYzJqW7sQwUUcd7ow8FB78rSJK6OFr8hF8f97idqJ_XBwOzkmP4WnKg0RJGQkcwf6vspRrSSSEye2RqyZOuyI2Ifji4azXYOKUiYt6dQJCJIyHq79nOFAyF3LXuHQjjsuhGv19W4nVuqUC2fPCqGdoK8V7cGO05Y2009uigUP2fJb2qwcFNfVrmzNHCgFz8wV7WFd77EgXV0NybZ5MsJ_SVeImBepY05E_vrecS2SytevfPUKbM8tb1vTaNvDZ3B49MH8-hlIUOigeWU3peDbu5_MGR2c-s_8yS1kuA78PficpwA1QrUsxmFjLMQpF55IzTrCrWFv-VJ2L4ZfSSvXYYoK7TtIYWx2lX4TTmnLaiP-nHVj5nXCIxPSfaksoswmpJBCrvTH0cKD4NxMzdEjrmqhj2uww2Kv_uQIuprRu4VEamfPLn3rusn_XLv149gaRnKpHyg2nA6EzjfntcyXyg3Wtv9gMJIhiMtA6F6OrcmWl-637VnhGPUDcZ1TNXzt3QouzYVBPLDVWBr5JG-6buuVNBfO-GSa4zB4vd1xin1x1A4Z9gJfBAlkh7cMn4l7VOtXZSwsd011fABzHxaQmuis58V882FUdPClo1z89gK-Ao6LP8NhZiNuLo4Rj8wbbpsOqZ7b3AUgY0laoFpZWMlK_D08qpleLDXZPW4p1jidiNSWRynIz-FIfveTSFZPRWMvjGGqZ_61TcGlj5G9v3PJJp385xxThBtSnYPNQwupYirWGIiwSUWWjA8mLv3kivsWb7UJ_fts0KmGa3_Et6TxJ36FwR75n7VlHizuVTVjx8H5rGwgi0zf4bMuI78sC5-NWBMjtoH3qmIMLTI_WiszD59uhawdYAxwgBRkEYPkJlNZVaM5bh0Y5QVWlPDFVEsm2YkMZDp1peHB0T6J8-pDWjGMqOSTarD3StL-R2Aw1cHClyj9PwWmSt7DRdrqMoUSaLm07Q1ywFwvr5JpKtUSQ8dYOmwuTRq3z4veesmzUzc5PFcsfLkKvFDyHncETZ86_-od7pj4NsHQq24-7rt8WevcsBB9a09QR_hLkF6CR_pZmW29PsLfRKyKdFZZuRoIfwNfhcwGbWIq4zB-XIYqlseB5LMgUhoDv7nAEGKtjTY6O0ye5rJBLN65ZjhkMRlFXdmeEF9-sgyeV4y2fD4kwP-xKGXzSIaspJsYBXZccQxcMC4sES1AKq_pCm7AK2Pa1PaSVnk3GyhdDyHOKfOD12crWaHfrZi4ZEFxpEZuNdqvI8TxV4wXmUxzn02WMjoYgR8scGSO4pc3E3MLo9I2lI5PihiqAwi1v_mtPelkKhhif4z6EatiumdOsLDRi8Hop1z_odKRZfxflsFywm3Tjah-wg6kt0IU514uCf8VQXBolMZDIetPH2n60Q1etiTUR7iB5gTcqQM4ohNSCuK33gmlue9UtyKw3GdKzZBldCCgduKHf_BBFRewggX5YZslTmMJTBNDXepkzbP5o4Iwu_skBNnyAJHohzALaJGo4x4JbNAuO4oMauN55tqq6voSGjOyxgqcWRFRD9qaJR1nU7As70bchHxB58wVFFQRmHeIKj0HTMjV9_juDq8g4GftJHVQ6wmm4XF8Ohpms0acmX4-RDD8zm1KO3zram4_w0s0xYEwOpFLQdc_ddu0WsYQoBqYLvoYAY6JuSSpqbTzF8TJGy9hv7osXpnCb6DbllJtUBnvYDOOoQpMlef04JyoCvLbzAi18qFhvMF2bmiC2tHPAFUfnYMVCQECYZ89SepGvd81pp9NYCZRGKgGsf3w8x8OVwSR6RSRSnDQTrEy8mTIcFPfGCwcM6B4mw1IZIMmk9_jysJ9sPlbJ22Rm8QQ1Yc1eWWEjXVXKnVOY5A2vVVds-sTsHU_VkeDpqpuSUDcsX507SkLOyouVBA-rPWP5x6eq8tZnJMIjOal85B4jJy7FbF9eQMPE1yWRLW8Pc4eg8T_5arosymHsqpuul3RoxDT4hoXtvrnpQZ5eEYa6xTmPFq4-0tY19SH9n0ljcrMgH6ztgH776ow4BHl7sGugAByflkL3iJ3090G6hl-MFfvvU-Z0wz21A9eggYT2yZLw7MF_rz_p6u1mojSYEyqwqpVl7HfVSlVCVnu9XkoBIk-89g_ei7UPiHbYfXbAGKnrT5LjuAgtGqdWCYCBIgbI15Fk9GvltwFZ-VuHh32SaOCpm1qWneeunDOMQdVuCnEPKJEe_EhlFUyN7dAHVPhYHCxSKFO_b4AEGs-Oz6LwEoNY423OPtbCjJFNlXn9ovVYfgM36zKK8aifaZ26tzNRlpd5qSJfm5zpKkLoius58XJE8wlVPYJZRp2ZxszfPHvu1WoHdBmiVh6JKbTeyWS6YUPGa3QI59BJCWtI9KCes7CWkzohmmtooW-I3Dn28do4TqBtag-Mku3e9GavRBCsNOn4SqbwWWz5x6bo5_iAdBqU1KXAi4nDwcu_VWuJGJblqIkR8U-Sak0cONTD170K6ghDj7qubeK-vG4LZF3vxDnFFCt-pK2OYHWA-uHZtohGwz4U8QtKleIgXBDLLxGRYNk6FUKJQcrHs7623zHHHs-nzlbN-jt82d6mgEhrFWSPUEOHzduV2rmB4oTe33CQKo2s6pB61ia3wrtdzt4xTaRfQeU9If2-YjglLJ7ST5-KAWSPNdTnfJUKg4TSvYTimeed4qa3-_UZ36CbRqlFGxIPOLToea_4X_boIgM5ReG3TWxlXBixEcygYmyl3f_CdVc7-P-MdEAlt5bqHabYCuwSuX5Z1xH4VRJw3bMuQCDTqu7rnY9T7Vm3Yk2b2xVgzyVsElJTv-40nmvEXkC0gGo7yZw_7U_CFdu05SL4BI5ubz51jz-lhkeVBQkgcQxeBEq2cgXvd82cos0k-sKeQPtDA2IR-INpKpYE385oEqXdEjT8hPyzoLIEw9k_yQf_176uTmrhnSwfo6dyJcdPukqFrUOsOwHenIwLWQAGVfK3RO02ut-7HBnU7BmS-SFs51r4zI1AbgI4BuWVlPr9qgoNbO1D4yXKqgr-EqJ2N8owx-40dWiDU2Fb4Wd4kN7UDR-W59NzQUEbytVqCq4hzEWp5DLkeL7pkVAfBTa0kjTMxMWIATeGGBro2zM_Bm_HTFlU7Tic1QISxwSYrz6OqcNM0irm6dELj_j0vRqise2MoRCjRnSoQnGdIXmeoedm0ZSOAMjopEBV_jh0nPqTU2Iiyd4ckcERDzrEtQY-PMjN2TusKjIg==", "iter": 260000, "z": true}