Self Defining Logic via Fixed Point
This document is encrypted
Decrypting…
{"salt": "sa6I0plMnfccds39aSIPT9ebP9a4NyUy0dBeNkiuUkA=", "iv": "OEuTDX4ovXflGGYE", "ct": "229WD0J4xtBVgbx_z1mCikUjN0uYXeRzgVR1GG_-MYuVt09qXx_SBarlJGFFQ8jdG-culz8qz1zozwE-iq3guT16Qk3-DbnH-v-n8Fc29cbv2zNEWubCuPOphlQybC0KhdoJEKS6GDJ2XT_qib_JUycCF0XB8P9xje1TZ2F2Zl2jr_VcfiYOSwusrOhPCYjYHO9NPgLyhWzb6Z6k64ie9L0UB1s3Qb52bxPsgdtOTL-sMFYtVO2_8Mrh0y6SG9MgnH5V2fhGnUIoysUhU3QF3v9niOd7DTGasQGyuDHHBL9vsqCbEtvrqG9XMEDrzpAGvrOIP5IoCnYgVbhzDzIqmr5mu2K5N8HReGQ8rxqgnFF9JUdaC064Vsy17deERDM7ZdRxTpiMtdfDltWX-LIevEbCduSdGRKXUSvm5eSYQjXAYqMGJ7kMoyqDOeeHJjbpET3vmPwuc5LAu7cXrVSUhaSC1Jv2JHSCdizVmd0dAsbNhcjSLlyi2xNK_scrcRRyh5vVtt-XrcTcqAdgRa_sst8MZg6GEk-bwXM5aphEjKpowZI7PVaBV6jSF9VUmZ_Q_FP-US3eg6_PEz_ykWQJFQQ3dWCsnvP7kc37x8or1noqmO7eLOI_gnFJB5C67FYu1I24rg1cMemmafauB5lJupBgJASGLbreXVPdvMb2I9QKbXooPu-LthOwDZQAxvryG7jfzPsO9aGZErnWf9n7ioTy7M_JShLOe1hJjY9-_qJ5KIE-N1UMFDedhB0Gfkwd61kmifcWvhuQi-OFojMFhONC1cUNYGRDinCTSdHVwA0PyKOx2St5AgQX7nt7plsgH7IzS11lysLr1MjC9VQPgkJCxkjfmU4SwqsgvoQxl-pvG2J7RZtisXi3k6m1KVxBqDZGWjQ6j3EC91HRGCvdMF83X08vLrfDmj-bS88kGZdhcT2Q_Wi7nXGyYR4My6pkXnByCWcj-kR0eRRfuUsG_ofN_EunwMDuSgmEFbp7WrrxH6bt03qrdCYZfXyTf3nvK5zwk9R775z4vvuPCD9EmCdmA21_ARiYHXuabWKsXGpVIHNezYabeQcTl9UxNmnJG3gtblvgSwX6t5XjyBEU27j64X0SCX4LIaeyLnAfVdcReM--u0NdgHKriQfAxBcypdEPZQVcOoVh9O9ExKk-wzu2bm2wpKWRwwFkGDo0ZHQeML9sq2fU1lIFB_NejSabHt6k9DbhpXutoSmwC1NEsGM9nNlxiHTZWq95O3R5IuSSim4w8AY4ljxKgKqBP96i16J0BYxn6_yGtehzUu5F9_1IEvQzH-ckYas84qCw7kpt-0t8EcmXIdM80e0JgY02IIkaGVNMiJwtnKqhik43osb42Wx-S0okvCzS1ItutKPjbszxZlMcKyIvhteIjQYvzLQ9hjcWvn_hMnWBo2X-HK7z0VmY_1Jdj3nGPcGbPRN50EApM73rnKkkxa_sA0vJxrRkCIiIJ5mWhpBrMpNgiR7l8iTXp4XT2Gdf-NytT8maYWx2Fw_Z2dOBdbIzx3SDvppsxz_poj3qhnd_BIGvvg6X82Rj4DU9eUoocACK95RPqMvn1RMQVxdZwRRDAWeQBXY1Uarid4tg_mmdwW1MdxB3AommrV-B17zTpQ85mtzhOdX7WwbvIlu9JeRBqLb-qNH8k5t_1xX4qnFfYxs_o6RX2NAyi0b-GKGwJwLSabzZdbh76Uq28PyOisqxzH4jP08Ys1n61Xc2WpUvXCRzMHdAWS20k36EQMNWGN69DeX6ZVlw6xcgbHrEDznICLMM_PXqlRZmycxQbaZZM6Zsb88Jay1-KYgc2H1uuOXVgBmxKhQdrrs4EDQQZ2ywXWfykyWkzoJmnTimta719V4m6AI3Bcmj0ND_ixJs_4KfLAeG6kCpIbv7dZs-Dobpwm7f-27NOEkpdac_MgEbflZ0us9ZYQvkIJDEcUTDBDPk1iP9CxqVy6HOwOUMopdBcOOP-mGux_GUhDuVeVG74LYMcbGkrV3AMmsatS8iFTM_QYzJZmVlqZyrINVuJa4aFG8rinY1GOrggSEDGCYP26nvKR4tXNpmR0CvFrr27Zhe2ityFTWgYjipqhVG759My0En0CdjIgh2hkN9wVmM7xswkHLTidvGPtYOOZiKqAKjbUDT0GsFCHwI6MiI3GpqEC7uC0kaV1kw-upGvotIQdISqE1J4ZZMfFYuw9wthr_UDCTe5yBwpae34Tyr8EIv6vFVeuvq1ufwWtH8fhF_SN8_7GYFKPvxHToIXMz5LnSacb4aUJTqbasDfdxyMjct_tiOYkMzjEtv1vLV498xRfvpya6-CsVDHgmxqSeDRzDtJZKpwTIvwRb_fR6Fd5DG5TNFcyab50Kh2oEUgRSRpPqsk5LtcXUUOhs6zR2DBsXbYcVQtJUMeBV3jHWz0AYaBPZuwOzQfemKJKH0pqSbKOdXe4LisJ44clksf-5G8fy9sGL9B6MBDKw-H4XCj4X3yOFlwzeY67pywZmlQFlQZ9SnWisbjF3IH1GgOXaLYUHu33KrAbA0LcvwZgWeZPRLstqlZeCheTCfUOCf1ZVQdu41GCOJcLzvnmk6ngaG_59GB2GIOe4vuBSHR2neTmzcqLBieOmnyJus7aWYVjB-PpTGj9f0lFDsd84dJFAaM4HPQJbCE3mUPdmxIFbtN7W_E0R6si9qxTBi0U-YH_8QQ2JoooxhpUF8TM4YgWM3K0IjgTzcXok4UPmqzPsyRWWvyhVPNv35rbHhfinv9x6YZ1ylX8Z9Oj0PAzGHAj1KP_OjeC5GEOD4WauG5aLzTRxpByZaG0xtu8QV_wMpULcLfxYPSFRpZ4za9GCH3CjGPQP33TUZO1PLyQlbXqJjFQ_aGnCDkwI8r_AC0Nn2-j9rvZ2ARv3E_lTNo2aiu7jKpbVwJaaZFp9IW0uAqKHXM7bxCOjyO6ZzMJFGXGjByh6mz9RHTFYjed5tZvOaoIMJa5m4WVpWjG36LpbwWGH6CfvCRpeSMnor5jC4C4ys6KKoMXLNeKD2igkmeYrqRAheeOf-gW_BygXYAI0VvCWad0a7xJy7u3K8qLZvJBjnUXKad7uW3-LnUMu1-k3rOHRI9oyWVJWO9bRmNJjZgIfh_WIEUvdrqMK8gbsZKocZ_SENf7CkM1ZmIU4mAS4LFFfiiO8-fWLFWsYzUDpeknegWJ4gfalNjc1tIso-GSqOh85d1qbUoyKQbFgJfbJBpgaV83viroLePOGfy_H5_iLMcI6aS_j3p20Wa6a4r8nGYe39-yX_IAtJQfNvivj2cwJ3Vb5WCxtgDj-yzSfIwCIb_1DC1ul8eXMXSARY2FjezaD5Pmqwwc06a8sBBJDJbVF2YHmt4L9qKtZUy_LfvFzei05xA6cIhptxXtYUJmoS6WHG6rFcbUszVvbA-d1KS_epmwrdlxt8KBKh71YsP2Flu9tJj3Qt-eKpfCJMnPvhrfTJE5JKex_PJQVPwXQp4YPcZC7spFUDPv-FntIs7IEmUyrhBHFsQrqcRLHh7gMeOmvmgQs2Bl7vPmD76iPCvtNRJD0r30vkiC70DxAVORqml7iV1zjB1j8-a8eegyp7KRJeLVTqvoiUYawH5M9MoC4iwwuoEiMuolMwe_CmRZTigdBVNmW8rKD8kcCP7ZDPtWAE6GC5wBqoXuR3Js96oPNPk40l-k0ALM3UFnR8wuy6lcB_yveTE1x1sqDd26un0l3Bl2M8-_wP5dsDIa80bRVOYSu0stgg8zPJInJUAJOlwwjl7F7DftKM9-AoqDfKg69YAxPK5G0ZcQc0zKox7W4buIG9AgaXJWVe9GgO32B05kC8dAeTRNn0xUJw80EJZyxaX_BoOuKeyt3EECqj3hEGt1M4fsmHf3gmc2XYJg8iGTpjgNCUsBPTGCL2CNRktJjeUx05DGGQMvgpG1UW-FxVL1-92dK9OrKFwJ6jX1K5iApPl9LwN4x0RmcDzb13vXW_TeZa5raibsMIY6zRqTd15MROrq_rYHTBGbkfbk2hpBjgii7oWNFXtJrPe86eTRbjyXcGVcCqH8cvrVqbzZVPMT2Dvg4voOkQOCnwdbAJ_4oEKHx0gXAIc0sm056E2Qwcwo_KLJFlzaWQT51CR7aI1z8DVpALJbPoAEbnvOdXCzBZcY55j0e2YKaqIAb2V6--9kDVN6-9LdyB2dRLvk7YD9uXorN-peATpq1Nl2kJcodDaAoP7oNjh3sEml8TdTIiJ1qdPdxRIhfo6k1JLrSb8KKq4_V8EdSct0qUrNz9SdNODCFT9L9aUQRISvzHwlAYH4ehrsiBx5vRC8h9Q7bxnJ3xcg-f2sDVILj-rDUzuGAkpngHOn3ZWeeK51k__a8woJNs4LY_pL7Od66xYrEdtAlSCBHvhBeJj0G7lP36wUxEgfpS91nQk4EW1aVb2MPvf7nrmloWFauSORVDW3C7tlZl_7bnEAKR_lD6gdoNOddN-6yK-UYqXwGcs4w2gnqD2WpXAW3eBjPQrErRwnXtI9L5OsCEkKHsV0OT3mYjmBKt-NS7S1aR5CFOOlolFS0StjQwCRnzzMq2bqkCD6pCZ1I8MNbullEG_ILV7ui4UEzaYBklme5JGtnTdsQoXa-GU-YhVhIdJmBMpFSe7X8akEId4PCDXopQlwn3GZYFNIGSWkHaFPL4PxKI_UaqnNhK9R44IkWp2Sc8vtusrccMiFMwwrAHzFTJ-64cJQbDbzah8iNxkLR7I89WnG83JPGk_JnF50uOZTiNXjlNC8aFsrD5X4D6NNBDx_e1yCIvSLOvAidL6z-I-w_20ESnDKb2xr1TuyP-xQ92ap5IIuD2mbuuj3WlBNtd7DtxtN3LX_Xws34dDeQ2NERuSf-VjVpJ60vKIPS6-LDOyDHOubNDgbIXG7BmTbhwR8XvL_JK1AZ1W529QInu-T3L_V8xMfQSinjg9gIvsQwOHeJroEZ2gfIymC7maDjIuZkVR2QuCBXIvpkV1aEz3LxYy7jWlaBoM8mJy_KFl4b4XVChO0HCxvksER44Dgc2qYhE9W-S32SMkRVZu3VuyyJ6ArbUvTYsFAzSbkIiUsFWSGt0fJBsvdXINGMMF1xCTx3Kw6TtTcHhltlG6dvR2z5satemIhU3yNwFxVbqWjZioN6E4kHWUHCs3kPDwfbVYkiEtAlD6EhR_Y6PWlP54GPWFJX9XWzmF7E16MGEWqGgXDMD6EEG6Nd68muM6scQGnJtD5cLIcSbOYMJAP0nMz9GamXL2YHXgMhdGAovK3egwiIomSIrqBWul6FnnEa-gZvh76zVGsZq4hboiyPf4a25qqNhaXyVLpdpTejsDJUz1Ua43rzE4AQizFHjDKTQZ3e-jjV_BbrzzJKcm4MoZiS9oyZJ6HyFpHG_nyQ5zs1pR04vY5OQRSDRTuFrdmMs7rzJKYxZtTasq3qR8WlIKdrOOdF5j1VkgB3z-83gRq1e7APjrRjdsqOuHBpTLF-GeRqEZk0oEXn4nn9EdPf1I8UWOSJ3H7SXhfW7QgNmWzyim7myWSPopzVFUjVg0l4K3RMNMl39iEyvajpFmFZkad4mux4SDtjbIdkYt-VQCu-X9zva12-KmZ4pyJt95fK0yih8cQtpBNgYpTJUQVwXgSvQCa0Sb0ki3rBp5yAwIocdsPkt2so3mDdf3MOCnPnnngQJ6GtbnkYqhwOr3A9tVV5W-k3zZfmVoGt7PeNFADz4bDkORahY1dS85Fb57_4vge8k8A40BWVo5RML74gKbwKseYcrb71i3O1Dz_4t0mkQI4kJs8Nu01J35LhXlFIwgBkPJgXazyomgtqZ0HJMT74913IiNVfoB7PGwb49SK17-FSmCL1H1KoCc9S1WhnvuwknYQ46k8to9rDt5660pRx6lt373WbrH3setWWvAlSRZqlgRV5GrmLg2B6OAxRXAxUBjKN1TXl9kYI5rZnk5-n6WDezF4NiStKLrw1pUoKILw832LCH9fSfvusg4jIIca4gXHMWe_9HEHO2aU1VVa6X4wy6i-d7cQwTfDHWcoApCvKna9EqJCnbiRTs1N7LYLEuXT3TPDx1C8P1V1Yk1-F38esdese3JpDApi3YPUJfPXnsvKethgAPmkpNslZxpT2nugRyjhxzI-anQNuq0Nnk5YFz4F2xxrv6ZvJzX1h-TjmG_GWfh4kX2VSZdUk0XemEbegbg3bz9QIU481uIAg_SGLyU2lZ7NXO7ZPRcaWVpQZWd8flGc7kzl2Xhj7lNUAvlY71cMVU_pjyzLgIQ_1_IZJnjIkBC92gPV6MpyIxmOzJ6xKL4cE7m9QHoR-hWPdosa3yT3-SUATjEBtJzO8T1e5OMcmm7Crni8L-ej92TwAuc2AsMhAm3bk8wDHbQ8qdHHT4O0tgDuT8G8rAWTPBOCak85bHfbvjuq6jeQBea1dN3jq2fi0_qOuLy5q9jnnvJoAIEDzP7jlJLWP-W7MmDZ2vEfPYM6y5KZpyruB17QxdT21u0jzGRL_rFSNpFo_f2VuSgRVD50udSNF-Hp2gi22UwPgQuELTUiK9-l-ethgFvVr35GZrVxbDvdcgwYhWpzT4aeWmFmnVfcN4d9QPNCK7Q7PpOVYnur6W_usIbcKMR3z8fBKYYIuW1ympdIvrJ6_Rglmn1cDy5DfyI0Fzb52tkEK20vesRPOuXJMSbFalWp3cFZTo-KPuVbhPCmhVrCMPMnPCg7-7pRNMFpDIpK_zmOINd-WYKTJuwJ6dGTA9mKI4RDnsG97bRtJhGPKgwIO41uJ7-_FuMRcbu6MXybf_iQGd2sVTBXQpnlP_FT9XjHhf_NjeXOvDESB1RglP8AADxNRKnWVz5RNFV4gXMgYHuoUdwHad_rVUHqYtiuDyzvZCRB4dMZNwIwM1K_R9E8rrTGulVM0xwjpOuBJhtP2snDH3meCD6QkaT7_DU3N5CjHn_vK4TVJJTTYizHt1bKiwMHi79LSndTap9s9NEx3nUxfISa30Tn5rLg75vaFf59Jio4rNslTYBAXsUgTKKlKuBa36h8HS41xjoP-wakrTc-1PWjw81Ix7SLlfmzWMi09KuDaAz_wC-UtKfsYlq6rVEaanMTHadfO5x9Rzw7Ucr4jQm7p_gT5BkxXUnIT7elDJoz1DF_HPO5JWs_VuPpOhM7b9JXDITfKLXSVHA8vf4Tn-J39oft7C7HLSF6VMhkHmBFlvzKrUj0LeVKgWRcJiAykLt82vtsGEOBuC-5_MEzW36GOEEQNgo5RoIm_cFReysafaokFHcjWuZ3kHzTJ5Wx6K1mNfUS29JheQn5MG_ddngTcM_X-PTyovVGIcEWMW5VMjxyADQnrHSkGrLIIAeJVIR16_gtEQqjdfCjWIJHL_kN1Mtzww9keXVGIT-fXpHNL5zqE2-Z6L2RP-zSN87CB1SWV-CuE2GAcITJjkEcg-y4--bfXZWBF2f8Lm1dUmHGxXjekLKp6r7Bf4jpoCOfL27NmvEGbN_eqRSmv842FNNreinZjWc4FqLrzsu63HHjXMcxlxu2x0bUmSwxQnetWw9Q_9YBdsdw8uzlvAuVoFDusFJ6yeLnSnfowoZlKlMbi1OoZugvnxyUU_OY8A6SqVfv_AfOOo3Pd2hB4WJ0q5vf16wqhakEQ1hfk3TO96Hl982vSuRt8vZ_7KDyxK2_vbtOXJKWwExT0QpkJLzx4k7aOJFJ0YtvA1XTf6sLZ0xf8bTrGUal124mGWTUzxThmzfq1eSFYQAOagC1edqCt2t0iQPwcM5qMsHKcISzKKmDB7UxFdFQFWcKCz9qxfaqQo4f8GkSX7L1yPm-wr6hiasDo4HgsEpCxy0CBDm28SN3BiaQU-qmwD6OdVrsTkECJxKs8PmkIQ62GhqSAZTzoVRTqofvgrDaU07eSpCJS93jTmHOSqBuJO8WQTreeXSJS4pn_fC1rFMJzQn2dAlU__Zh6YDyVihBI4fVKfKDECY8DLVILkKwJOQGg83VwigIJZZCKeaoXY6KMRhrY8ZbiXuAh5OJSGtN3GCONSzhPYwrOvGgGKZvUyPsun3faDAWTVSgkm1p1Qq1A8mwUwMPvrSWZFp1zFDgMHbIU2wZEqJLwuWVHA2JY8YLJ4ISDZiuHvi_rV7LseZUGz1iTUCyZgmQkt8_-1q_V2z74Hzr6rKfcDYqF0fiu-ptfchChp5X5zjovx9ehPKEjTYFZcEeCw9y-oTdivrTH_-tR9ymeuwGjnk_to0UEljCKO5I5jahpMcUrkSY1EqLv303sltWOu98teIQufQESuz0GO1WZNHuJmIEtpwh4nkVSUKTj159RRSUbHKJUQLW2RVqXiy7WaZDRbBKFIN1w8lnPlf1yAvXq43h6sV1v4MvKadxKsMUAzVSDr1rOeo1j04oDQUKZejtSRqovontGQG2tKlJ7oeyVIYdmwjWlrIp14fYnum_0GdU6YjNDoomU1SUH8IZPzxPGE6u39T5vXlNxAHrhtP7tnfqjOxxaASb8hs-xDjzP2aa0vkks56LyVfZvfxOkTdcsZNLNDjnANZui_AwkfIO-q4GQdXhkkVeAILmIjhwd3nvULbhfrDRulK6vbUr-XVXcHlSQ_j80NjpWXxX3EjeWwUOEdpj4mL0KZ--jm5-ZE9L-BoLyjzhPTn66P8ftDoIvj7Yb6zQFwJZ9YNG4VIQmEMgc94prpOy3bos7uDHBfs910EEGX_q06OZn65OAa4B0ZYR1Ejlbvn0zcZTyz2Ixzcp7sqr4BnzmdtT61HS5rYXMIljwDvnXDVx5plVjra44xYktxIoZ7oh5is5foptVAS7Edk-kNnTZSy8kN4w7uM_28Xot9j-SVHKAglFZ7HOhU9luJmab4Rjl4pGdf0rRUh3iM62b0nGM9xqhxAxMH2mqnSyIkdIsslxt04j8_vdHmyqJ2x7ahlgQv7GdChXEJM7ZyVcsH9KicODafxGHeE7aSJT0KpVUnCyL7zggreW_RSLmVJQwk6X0-qecbOFft0AtS0t_CnkweGGR3clrR0HacfJCw8eu3Wf54PcOiwpY5KOM1liSXSb8Ots2rvtnhIjcLyu3Ar6RuTku7sIFQmmj1NHNlDyqYsN4cXQk2NQE5WIZFflpAyUBED2wOstrgiZAIQMaJxVKabeLDMT9W8AZBYE8GeZ359ecDUpJcVM6H-zKGD2Vr2rvMYP9O66dB3GwHFp1I7rG2gSM4XYDk57-WYp2uICetOeuUcfmfzjx55uBZCiNg4WLr-EF1ycVfcvvvdjgzWp5sTB8EsFzFxXG9Jer61eUGMpWW4D6jzUbR6V8MSH6GHzyCbSwln-RM_6QSueQDTZNk5b_GT8nilj8X6hSFZ5NTDDNI6nfXPWcw_g5siasmqKsBCu4q7CZhsnKQzek9fH5jbfQLaMeFPfBqqJ0BoLVYuK-YJmjDH-UXLb8s6rvhB53yWVGg4WXO2X9DAlNjZlELa_dGnTaiRjZFAO8rSelnkZKRE9yrIlvkadHxY2QPHqgkAtUIZtMhw-QUZPteBpY7HMlhYtEfQGGQdAsU1WspLH6Uf1XRPGDbTGeD_JHitbqaRDuWfIKiobDB5ciR3Fl01YHd2ymEOZWVj5GcWNq-sCnRCBviUvyUYPmbmHtO8DQ6zr_Jc90q3dFhT23lWkxhdNcNYJq9J3oGbiMDfMPJl3r1BXBapYx-zPJ28y4U-rsSnZN1TZxNwTzPNxBPyR8OmtAYHcV0ygwmcxziOoLgxgJuqYCErrVsN5u4Z3kkByVPZOFizUzOz97pfYlboxkn668KHV5TOjv4_dEvdFkdI23jI32h0rQxf40ZWMmU995MdGnPnnwIfbTqG3fIXMXGbTULx-CVOR2h5WcxHWsscdLTZHj-0j5X6TIObEI74ahCNFcR8xMNnH1eqKm1c7hL2ApV02Bf8uP3VBb6YJW-FxoBlTT4j81eN1uYW8zSRSvltNbrQ7RYDxaO", "iter": 260000}