Mathematics as ternary logical closure projection
This document is encrypted
Decrypting…
{"salt": "lgEJOwwRO9PaDLNvQIJCGVfvV8BVUp04LevHawBguDI=", "iv": "jSBOond6A-9-hVRr", "ct": "f-2TbGttmbfmNkmORnNaTAEkjNg4mgctpu7UW8Eg_tkf_FN4-BM8oxB0jCScL2GigCArCbP_CFghRQGn9YtiVY4ZesYBCtL5RzGu-QGMZrkhUfgXIcMITwufa8vM_JCH43QA1hfKnXt0bbcs0TkdRDjg2seLnXhL0hLyfYxaJEIG8KMjt5GRyLC2pC7tLOCno4RwD776msFVzC4M9n6zCriY25dnXLPCDDGA1eUr60TJDpgGfAryun-igT_ldjYDGCiHgxAyFtEB9UthAUXBrgQNl10bAGgZUvNW57mJJa0hux-R7GqeqQdCBlA9v_zkh7fHkg9UFRZEPc_VYdfg4vAE7imztFlxpZldhz7h7hdnqFM7wz8-lrtXZftg2iu169uozVuEYD5xS16Y2jqImseFwgn1y5sMJZ2glt96X6Jnb4Ibsj9Ch6XwRTeUa_BqF6G1TRUUfCdEww07dN5C5zvw5GclSn2kzfkPsqnvGJoGXWuAh-eTSGYZds-HnY2Pf0YJFK1jFhXEkuhoyh6Og8Z9kJgkHKuSzkk4PMH0YyFBC8rMhjJe2F01ZhpXc6AQ6YmItXxaiazxs_VQgRjO52_zvokUrtv8O341izNBYexKioCeKfi5LHDxUd5LaaBSWNBEcaGTuK0lopNjYQT9pkg6UvgQg3Aba9rj5i9kbL9YZIRAnzNQ2YB6cA8VHfDKjbRxj9tmgC0skbVhtnDb9G591gSFaMNd44v4mVnqfmwa8z--QXcAxVgE0iXdFCvG7ymg857E7CTfcpVjmo-16oSl5qhRabWbWRAJTsSSDvoemJd1YDtOwvPloJEuNUyVtcNe4IoXKn155MhIe0vF6MybdqFTYZzrZ38jMU51KcCyDuec7dcaG8xWLDWBInnQ5yX5GH21p3YXeQsfSxaxhxwsBG9cLyQd1FvtEEL7XNW4GLTawvEo-_L_z8Tc1MII-T58Ax8nBtd_ZjfoMg0_brNz85ziwD1HKMNhmDabfTTVQJPToZxOqJmaeVFMj2E-sSqx0oOhEX8NdquCHPrZwi69MEdkHjB3gBtinpeDRZ9cs0D019ptBHbfxO3CuJt10pKUq7majaPZVtegj9NOeWTjli1yc1XBUTu5BX7ea1pkyBncAULpZ2U0sKzIQ6jS9E5EHwzMW765QoJ1b7UqPrMmtvgWt0DaE4qTUUY5_jpbDXZUWvG7kjsIuYWOMf_6OfOM7c61GjA5eVViy8thbBAigyuKUMvLpjb-x6sFyBA_Yo89R81Nlgy7l_iIH-HwJg3vq9OlG5Rb2kJDSSpi35qkqHf07i1Ain9rimdXrqghwhSKa4nFZeZdf6DhIHW2a2zXnkOeqLEuBZROW9Zxz694mx-F3sH7_go6BzYyizj0ipbXLZwqlv9GFK-T-k7VM4qkT26zoIaUyWprH03gv4y785oU92CT3pSKhqpugmGYrlOdL3STsPNizr1esQcuaObgipg7ZU0eoCmylFos8YEiBhbHmcGkkS5ExDC5uohab6EXgtYQs674AiPeLg6B9wix7_taeEioCEEQ792MQOlyCE9oS2t151Qe1xGC6gRzvrW6jHi5B6rmj5Su9-jyCYhfXpNxeAWVEB9dDcKsv-9-jsIBKBOiK0ylLtimg2tU2cVbau_2cMs7KSelYelB_9v2gNBY98e5w3sjOp3CBlOWCB8mY3jiLPUkErpmzJx5onlUuumnrnS03fgf75Slulq-gEnAcPafT_f0PJU_dVkf3YFxMtdOjXUX-CA-Q0RTht1moUuR2AkxVfOugH7gBh6Wc_iBI0Mv4hFZmxkip2Pfn9jeFgxASq--TvL0aQdnaW-gJKt1UbMpUonYYKRkN2JObiSR5O5j7Pw7-0pTp1CztghodMhVyXgB_TSiu68CyWklwygdLM0g02klGaw0llqZFaHXXFL9sBN9ZjGZM3qrCmxWKCsOK9fjLe6RLMijebWFIfrERkgxjuPj7WL1MgFq1G3lTtE9ZzVE66pV62GEd0M1DiIcwKZF4OQFYJI1x3fMLaqy02Igla5BQ-lfR_XHkoKym17kcN2rMpyJf_9vZu0hsfMJ6x2FruAwfDcv7ViH97aPogzdUsaVwcHNBP0QLjvC_YOiEZxuwsPLxshp5QrrHzmjm2FPv9Kjv4VKd1p68kxj-aiBQwcGqrebY8wEtSKoEnWyezjt2HiDj6O3tLi6OwdywtGKbmpXD5zR9qK1S1p7slwRcZhW2qc4jChKWkniz92F2GWYLOsuMAnivsJD1XIR3szUdzZmXG6Zn7EFn7-nmf6XOiuQ5PYulcTxNfMitTYxUJo7AxJns5NgeQIWbRib7wLCmVyhHx1gm4nxdi6zgVdQ8A9BzSE4_GPj6YdJfcyy-yKIBdT0T0j8DwJNw2opaXXQsSkY4BN0vh15LJZV93ApMAsqa--H8AcU7-FKY6dLuUl6uxzVIiZ7VoF1RtjpDRycm4tcdA9VfM8o2OkX00dWKmSyZXE-bNCjegg0uDaMs6-QckryX2m06pH2C4r59NR6ZJEIlGV55jVBvEyaMmOnwwvnhXUsTfnn5spnYPSjsJVOe2j9iSwkjQqALry1-boeue-qmGQ1F8YL-t87aAKvl7TXoVcJ-OvIusru55Hf6XOF5EUedt3Rwhg9fI_4t5U_ehQRdniYefrssxHurzExd5PEmXRce47JwuupWBHSwGgiBEEvOXLTrvkDLypEV96SzX4oTNyqs-C0UpLsZFshC0VXjHTDeLAZcgw_cDcrgddyDoXOgOULlr3QKKR_t_W071KxGVGm0-YgNItYmklHlayB3CcqjslWGUwi4rra4ypowL0VoL98lBCKOuaAnrTYEh8pbin-7ZnInrHoqITVE3M_vd4-pbEz5SEHA6lERWbHh1D9Ecc0sQ0mUIQGR7o0A4Ue8zGRHie5KjEZgbZ1nj8vtygFhmnWlpA24Cz1cCrstVjvp_vAThWOSRWjb0kC_lLU7hCd5bFd5LeXxSAH62nmZ4SAcQpI3stu__hdV8jTrcrtn194qV5vjjn--R3rM3yxMIRM495_YinL2Snhrb6JB18a1unEiD4rJ7dO7zmfzb0ZIK5xx7qC1xOpbEDKJ3uMqI45kQFx0w1EfvEDL7nHd_EQ2sL_QLacRZe9Loe8SMmsRnz9GnwxXHlGpEnuAsvvB-9kSkxHNVWNz8WCu5otFs1ZHRsxsIqeqH6ktbNA8vZHGJUXmwQZmCPOuAO-C5fvEj9DjmuOXwgdesna0mw7Arc8EcLTXlna28oZYsuLJ7Yf51MTPNALkmjORRraLMfYg3GEx7S9_fM1y2L9UiYNT94bLHsjIhStgKyFL8dZyL6_bnBrsqDTw_onC7NpEutsewZ0USrrqmKWNHjaoLEMJvE_AM_Rbn1rjaIJ12yqWDWGB1GqZ0CQlVC3Y_zdmgScs915Q340n6rggxzDHowxZqucnPJ4q1qtApjjnxpNw1qRYLhNSN5kXfJ1dt-gkViPJ_e7tZLxQk9G87oZSS2z1x9Sf6LdNPhVlxAKBJ2YhGnS8smjHI9IEhrS2nDVhpKYiP7gkOixw16IRKKjds42N2CyE3o_9C3Y2i9rXtFhW4U4e5TT5Km2lDKDHg4RwVXYzwASfxzt0iLt7_fofbbygPa6zKKLubB-m6rW56YhzR_vIqQeGAwOOmWn8tw6GHqe8kOYR4daSPduHw62pvdzYHzkOfgdwBTP-_VHMxCTqBCql76bR_cVoj9cvC4AY79WkPD-v4vIlLJssISgT5IkJLdX9p2SOgzjUC9IfDN-V6a3DQycIjCEwRoKd69nXQxmERA0nZvCzHDgcWP4IMLtsBrGZoYQPRBiAvercv8NqsDxm-eW0LvY1sbafceDTCZ5SG79r3CKY-lEmnC54QOF-QfGprfmj_7nep_PDwwU0I4s6RoJ1f0S-efo0z0xbVwosBTxlE5yPELxVoAa4TZ2o_51joX75CurVwOIJ-1OpirLx7Tc8f6rBT6i21LBa783hIQWiyF97FS5Eo4XppG8ArkJ1RlUzUHQrbr8nIL-QNdTV8qlpbZV76U-vxyvjnxrh3rvONcldChweYRzWpjbgxb9bZNyyQD-oG58JiphnfON2kuiRhQlsTAKaMGvS5BhOjHmGWBVYf1pBPFao7ikLagv_AUB7D_3Rb8bhxqfEQVQMLn8tE7tvC8sW-kbm3Sz9vUymRL-DTvhYA2Ft1yOZhgqVQAKuKSPk2xqQyILKVHfi_oRbTfnEzfgMPKTuCm03q5lxpcanO9UtYnDVBGHQBmIvaeZELZK78E2qBj1xjs7Vr-q65EO_NtYt39vSy4U9LXFXDjayKvkgMPIsb1WAmag1kZ6x4QXntq9QXs5uwzqXUemaM8jAc1ylwHM4vNhPf53EY9eN3IUjynEO6xo-JL35OMS_coxVR9uR9iRkiLSEwQJZ0epTtchntet-iJg-LB3X_9qkwoyGAIyvLnvz6tOQ7uMKEw46nYGKykbuKjptRbBIbpseaY9TLXwLuXrZiZfikpNpwxt1p3R43A6cyR38w-iRIfKnzJMGkZj5JJFr8v1TLIM-5ccRYceeU7xwkEc9MVdhC9nCYFhdrn7YlOJhGb5bPt2tn15EuN8IB9hqPVvLfDs3z772kUkeTRX0jMwBp0hGEh1vDxCAO6EjN6-H3k6NOJKrKTTuhT-pqf161nDgfWFGb70ps1i9bw0LtjpneH2XnMlaO95aDT4-275G2dLFumw8ygtwDJWekaxCjP81SM_lXbvW-22MDOdw45hyF8q8ypLioPdoOEnbsdbnGNKGdpc6FZrUQsXvt2JHiOs6F6f2rXmOnlbsBtZWaup3nlQ7SaQOZVits0EjVAYHrs2lx31P9iCqNuNZ2rnkdlG_YO1J7Qora1mn4m88PJ3kESa5mWortXExtsMMoX2M4U30JcFyR2CUGnLNlrlDtq-YgujaJ8S0gqKHt-rAmUdxweOxrlc8bxdmMKN3Siq8OO7fhmdLo32orB9blTyrrzs2a_lnRoX-NEKNte4yX2_XFn1-6Jt6SJfD_jJrC1lKJuJiwV5rNursCWLNroPFMde2N57Zni-drz0UEpyTltDih-BKW6xFVEpN3ylKU6Ke21RiYbkPGcRZgQeTZWX5JkKNlnanEO2pb5FpgdKAgT0sbwt0S7cE4JoOkxyg8FgnC3BV9Rwj7sTEkT3ImfZBEa5YLSNm5el58WDvgoXyyLKYGH-cz3vqHUgBobOMNtK9lwhYIe3FV7aiDInpJhn5fOPI1UCU1rLqZ_BU-1w0EAT2eCQXSXKj2u34CfTc9eke3Xza0Y72rGsCljkqcH-8-3nl_y_FuDClmhQJNgxF3QpQITUd732PTXMZkC0kjTOkxrjR1q2pARXh80Dx35m0yqUf-Kv-K8pY769CWVRMWyriG5kJaPpyjJpAv7PIe7yZpCxjPGwPjqDV6Ywge429zDsT5GkiE-hLDnmASusceE0CBloZqJstlMHIzkZfoEKNsMWO9BCbphW0nDhPd4uA4dSIRtgu3lu6GCKUy3811M5Rsmk_xPgMfipVtI2-U18CTagKvbNlF5AIGWre3VntX6jVQ2Qi0I5fX-LzIY_QOxv_nag-RsjfJDYKkbpUhkGnLKDqe4RktFPVNOoENzz-2ULfVHKwmC_Axx788HZI05Eer000kX3s8V7hUi0GI5HjMaXsLeHmQenGrMHW0CvA1NdMm8Smp0cNCjdzeai2g4M0GP4f_-jEus5hLM7eRLLNWsFQ1I_9DYGW8h0fojvHc-rMthgPNxDCRq8Vr0KSKb5-5ksx6NsBb5TjHDs0UUartMRmwW7mrjJD0nHGmGXfmHpk0NsH8LSZIJ0HV7GHqmqF-cyXO4yuEDmp0RnsQrq6oNNBliwQOW9toOwTPxqS37ZljcrxeMf64yLOUvg3xVjJxCPOSRkgnKLlb-u9XAoz-VWiqw5Gt3J75_aIco1BmniEp71odoizne1hHKP7PDsINBA44IGuDfnlKEUojH1M0JkKABFzltOQhQ6DSSPaXbVsuPI3epaaFeFe0KKHZUo5ZtHIqqFEepJTW3qwPW54lg6xqxWrA6Tkzu2xyaajo-S90sZw8AigwkrQu1MDfOCgE-T5EW-0OU5QH7kMIpsUzD-YimNdlnqIgffwEfbqfbOPxFCtPKi8xfoOJ6388BpB_lsfBX659LANo2lUFZJlQKulM4Y90A7b2DM96yqlP_OQnhji09ACKMHA0NoBVgJzvQRxshvNBVlLupF1PYqTvdhqeLR5SQE6xYrI9SIvdpIN0LhPG7FU9-2viBnduLkTUkO58mcEgeL0K91uexP7BDKmHy6ZBv5QrrOxQOFXygBD8KTUHfM2k3ZFd4w3_6h-v2GxQwOf06-Vy0RzScsUYG2lkaM7Yskjw--3ljDMyGFgCYhQ1juDGk_xtHop3v7lvgCgl7G-4fPKX2ZMy-BpLTNE_EebqvIKU8XkotaDqUolMUrdQXpN6-YuCaqNoFL_mrSLKvMzsvB97NUZzSDwU5SgEB_nmrC8G_6Ohv2yhns0vmXWfXuXwrYB7v_QHfqsO6EnUO4vgvjqIdwcBjPb1cEY23B7O1OlapiaEIIPQst8IozEvhSgLQXB_I9-vPJSwI8LV7Ok0NmBFEisWvofND1B3EjuwmwUB699Cwo2w_j9tQZFU94bkWBdRKwgAM7NlPudro3DIk7jz1cf45F7zTmd5j5hr9o_F0CqZvEZ2ACc0GkQ14LKBGRKOL4Jh-KyjHHEGoYaSjlfwVaR2tQoayQ1kuVXuMu6ixLQ9XZiPvC0umTD1YIDtc-wOIBq7e0lAYSopnPL1hOodwvwOey8oP3Oc2LWW6Z65ObTvw3cWIHStPkd-odunaZ4-b7SgLcemh1l7YN3-440d8mIJFYvXsW08oj_4s3Sef4Agqriph9O6qyoGUAwBb59AaZV67uwIAdIjErQ_Ud8VmuJuN3j7S2myyarQS9ZgcJpMXM-7JX15E9E76dYAoUn0BXggAEXw5_jqe4U2gY9gFBu7q2JFVq8Cji4rDtL01iBrIlD5KckZYhuHLrSwVjw5p8qkvyzaUM6iYoo2axtMBtYBtvlpGSYrMmGQCsbFoElwl3Z420TeuzEi642zxdb4gaLhbM6FIsCPf5GZjhIMKXK70NClCV3RJGgLH04CcIKJOfcvBuHCeI8UGtUckZHO4svyou0Fcl9kEQDZgir9M-A2qDs3jY-tuqagVlUWn1YMyef0Ep_P2RCNJIU3D1zR9kzibtR7JwjOuylEdJl1OS6CBVaJtImqmxCIZWAB0C0xEdxEf5iK5qP5EPUIbqP_-kC2Ze7izKOh_l7bOrzfmDfz46KMPHa1cQrYfOMdUqfMaRZ18pIJ3BmRmsjnDvyLcOphMUp3mtHyPk72geagMb7xW3mToxr3rrLdaIqckkPMiXgaNXljZznUzk6g9InWqII-nph5IFVLDOqo0PBlZQtrNGg7xoXGe8wrsrsMz-riZ_TNbURyxag7jE9CwUJHVr5mYzJf9lgAm8bNxA18TffLbqZudsgUAJS04ga_7hxWEZs1WIDTPbglPLP8KU1qqJs_ghkcQzo80nMC9FgZ1Jsz3s0Tkhg0ooev-DvzVl7fjUvu11MMvUuFxj33YIB43l5MXh4qQXJC-BH8yqmif0rE38G2k5tfmdaf6DBVyK-kZCQ-PO80AaQ0onzPxf2H-1EnpE72zIxQI2cArnolWokNZpPTNgQG3iSGdnMhlQvuTEcYI7Bphwby4yFiV0NelveXl-02Aodf3emS02z3VBabSMMJxJ7M0q4H0PX_bRK5RloNqMkJKuI3PEtbU9sfzcVQKwyk2rLrjDlYgeG750SXkG9Kh9-2HMqzyvt9Bc6Jfob0NRCZD3GUJD00rYNCw8G-NNmZWo2LgRnmbXR20ptP3Fj3a2wtNimJeU52NggYa7sXTktcAfdbYhLbOegJdpnC7qolcFLqZJRSzfMVWXG60Fu6j4CIc_I235fl5IeaW1LFNB2Ed_WnJ0aB1WFwbgQ9qxjD1UXSUjJP2bRq7vZl6hlpobSDSyhURoOQYNsHb61cDM3-5yJfEn6_FuFmM5Pe_PevnVhoHzUS3ktLwUJamK9LK-D9BPhw21PWsP2UtD1HLznN_FLKjC9rgNtfN4UoPi7mUEUHBtpD9xVcGL2HhXVLVJPF4VIGisLduxN__xyauDB2BQz184N-ZnvVBaS1-YItW6NPU4vtXKoijVvYSHgCJ0H-oNeWkIevxW2LSKcw8quOH-E79wkVLZ2QiqvSBcOd14wNyqZnam7UQn04p4ATVu5KAGc1eVF5wOPQTC4s6qIOf7wDD73VHoW5OzcSHnMXDDWyPqhqmkiL99liVVn5MSJsgV-5svTOv45HYT8U766sPa_6GBZ6QEM6O8nikRKA0TrJ1xNiD0DIvkcMa2Oq4ylCxXPvhpGVR8J8hjbdP9Wmaeq8aXNR42ojzgfVLDMUAVxa6OFAM7FBd-YluJhHLSOEr_ELi824qi_y_BLlwPOLkcwX5JEBvdxkO7YrhDBXttrGs-4rFU55NXOBkqmI-RiFQmG17TQe0Vsam1intXrJBI8nxYeCFWmr9vedPx5DVB7js4xPm89w79nxf7tIKCSk1TQ1K5K1UUVn7N7VXDBDL3nZesQGo9n2i7nkVsq3dXFWU8AY9J9ac9z_FkPfn2cBp-mrJQbr9jrIAHxTOKAUjqLj3HXcerSNi_3wzvMOMxt7tRnyee5s95Eb_MYnND5cS_Cu2_FMnjQt1hY69RxMFnXKchmWQ1QHrK4mxjG6yB7tQEkfwVEtZTxGV47yimzJKYe7uaEwyg3mE_MxhKNmPfUMdDKk9gJ_HO1J13a5EITfqHtR6S8OKiTG1SsrGLAnDK9h0w5Obbw58sJY6QFTDxTn4C7QKetvldLI8aVzk_K7jFv7OKtriwKxODpT7gvBtzC6YLn1_wpbHABD3n1p3Y-9iv77zkufkjwlVmEcpxuXZI2Y97QgPGsnfBCbfzG3YFp1NuVaVx10QldaF86HYsS5SuR43huocrdieepMsq7Z7KIRkTUcy4Arlhe4No7vuMKjcMdkgoung8tFX0puQVGBi7Wk6LB35CkzUnVWvLME3r707MZvTBL29Q8pr7bu_xWOCA3j2TC2ZutSP6k-zdNSNTSNCWmbeoWmnFQIntF4bp1o0A_1aqzsN4WZUVXvoFEIzqcrCCjWwysw7QWaBab-sDPij7c9jlX6T-wATsvqz-t_87vCOoPNlmzIZOYXXRCRCn6zt3GZCSzsFHWtxFFvTSRsG0oq0Ik_sNTjTMhpgUdUhTxDK29h3Ny5hCVj0RELJOtYDjJH631vbmHW0Ug_grp-DQ5aO9fDmWRTCmv9lssHtkX4c7tfKQcNFIrt4kWPavKPQZWgPTrcmKQYxrnM694BsZGaUMQMeJc5DN-EAyzuuBpirAv_DUuT4-84pZJD9RBnBCKvA0FZp7wvnmLChy-pyV-W3n_ucMSqwxWcqPq5M2wt3ywe7JLuAs_ZFUvCVKvL0WpRHL9VlV6SwcDPwovt61IzFfwj0rnbTxTxlVrKky6rhXS7QTWODAf0W7FIEMc09h-4dpQh1dQ0kgK0xGYL00cf9aH8YvW7BFIMOz0Ua-onjZjPuA8G74m7yDzhLOQAaR-vJgeDU0VHriLbKBbx29hnJLxbuigP7n6-bqbVMH1gSOw5rLY3CnpksGXeCfCM9HOaSKX-UJn9ApTHQyaBt7Y-EfMEjJQg3tvsoOIrSNoo1Gwmr5GDICc4LBXkDx8Fx0vV-IO4CXOAUAxdMv3Rh670KIvx8tfL2fp6gzTkSi8wfxI8QfjJRckbGJjq7nY5znlcAME0tsqyT6DlC-Rb5J_KgX2q5S1yMXKQhOwDUx9zH_upktFbp5LCC873ylowvKfdAoKq4_Re-0rCOKKM_HiUDP_ciaU1G_Ht_zREvtooZSzgU7lTOjp91XepvSyfvp__0KT14UATR6tm4zfXbxuCptbJPS5VF3BIi-F3jXvKayH0OICa4v5omOskHH_-yM-EvNt2cwaag86NF59GWTsH1pj0Z3EOF3CoJVZQjrj-mwUmOmxUHucqJTWhUw2rH3gX7vN8W07kE6sirZ0noTHY4VRgdJbNig20pe67IGhJz1Jbufk5agoqjl_6mfXsLL2nQVa-K-wYiQMg9PajjOu2GacIW8SQIUKw2JgZIcI0mfsf5M_myWDf33KcXRGphVMPMAG5qJtmbvCseQLBeNurp8mKdp_16zguk0I7lMkWZ4CRLJ2LCnYnKnb5C-L-y5Wty_BjNCOnyAhLPPoR6cWYLCdyvvP7rLXD4EFfqAAsjQdyGHX7WTg7ulZc6Pdd2pzD7ScljtDhpXECZmRu530B-Q3HRrYYVm3qpupJZdT2w5vOav568rWgLYNA0VAY-N8QiusWJQ2LZNnui2GHs5SVETpLEmuCEfFfgTNtWN9EWKp1TQcoZ8j1jER3ydxAhKKYC64UkYvGsYzOkchTbU0_R0jViIb-v46FHDnKEkgJFoVxUDAMmQmayiY3oVAmDd16VejQc=", "iter": 260000}