Fixed Point in Ordinal Analysis Theory
This document is encrypted
Decrypting…
{"salt": "gTQ2aLi10bE_W-UjF-bjnZkmdb7zfn4xjU2OObzFvUE=", "iv": "hEnJD-lCpI0cAJni", "ct": "icNgsCKHblFNWyNJj8E-W7T9I1z0V5UyvEaZ25JrxO24pdzWd5jvOFfGadH-1DtF5KH82gCgsP1PLEpw-C1VE_sZqo1W-QhT6Cz3quTJDqmREcWcDSte8sUMKiBieO159uTB5iK1Fm857N7BIkcUBK3VHjqW9tZe5AseyOibkExi-1BQviO_i9G63nJcad9uukHbZwjWXC1MNMqQtu-3MUIp4DYm0uHyrCVrHUn3CdqWOS9yivZXxhVUyd-bkb-21-r5sqU9ZAQ5H_4VTglu6FRjP_V4e3a0KxCzrEnbA-m0yMFWYPaR0EA-RnT1m38pVJVuIqNK_pTF3bRJYKeGLxBT8g0vPHYX5LaYS8xP9wUMzn0YXCjhzVt9REc805xABpxb_64MZs3hG_LkoLHUARKxPt5xmJ2Yz72haYayotwH3vALUlQo87yKk-uXhHMmJF-YSmutI79XYcoEM0ci97wGeu8oy6DBTJ5Bg0UphSrHMDfxNLOfms2iNtOdtii3pljp_AeHT3OpsIosyIrXEP2uj2kIHeN5hNg-Ju1BFuniZBAnCSatGPp74fEYr1vWdlNTpAKiSpvC9l1XV6mDxFIBm_AE_P0aO5_3Yv9wrhXZTbR_TXZcrbNwx18jLzGFWoxgGZv5YvStiU6u2VxJAMqu8W4MHPAKUsd1mti7yPuhu2SSEpjb-GtSzETm-fdfnRjK7dgRjbZLtoBF_4Zfmb0bg76t7zSAu_S82UP_CISe2aUdRFP55hQ4XNKXKSvS4MbAAV4BrKS6k3sEUzkYuzMkFf97F43SQi0y43xE9L_h_xcN1j8sPzhv7fThER8tD_z6jHCINcDdEWCFJMvzcdwbGrsrTWELRXPbrx9laXXLEhTtZBQXrbnWiaGdstEnhaw0FWmGZrWW4u2jL89DEAbMEobAR9nY5pjD1tQ7GrZVvZITtsY1TpG8_v3ralzIJ248M9_H39pCEPDAWN274gi2yBQ5CfCBOU_ktfhiTlA0lFvu92MhiHP0cZDo82SnpjBV0pzTxpavgIPJ-_WXDvvL2qmJQhsT82H7UvVipjNHM5gWRLPO7J8JRN8ckujHyysmDkVkxWhKavB_RrPHKFLzFXLaXwa8Z3ohol9UbOSKd5nVxWXA4sZOE66JFllkfHpFfh9haPyUYCJomMHEbuK2caCWwMF-nFD1ukeCuqlLfghC5ghrKbyGOGdzdwLwclOpvgNIKrEmYJbvTDCKMeDmLljOjqR6nbVtS8YIvzptVRaEHpnEI1Bhh5l1imCA7AdBm8py7b4L79eb7PWexslZ6YK9OURtZ53Y1STJ0v_xU352fhWrNEYh9qjWImvztttJnnKAkd7nfqnsJM1Qnv_Pds1yrn5QTe4PskLQv8xVTEDb6pso1jZBhCgIADMbflnW_BxivN5bztj2H8o_bWXcdaKC2mCiIccyT5PJUYWQJFgullBmVBhPTUrexfv1_w9txe5npe6mX6-v7ZDFOZunNr3FcM-fCMNOqLAq-zOblN6zbonf0FChxwpQuiImH_Z4wqcbezMJvgOVA4bL_mi6r97Bb6u2bC4y_Ws8F_JZ3I3O7GIrr5vedj061Xlj4NPUgH2IBpc2iKB5sMDNhusapVzy6YAqz86kOWAVcctzuqqV1leiSam9ydhPGYFEKDCPkS14yBeqdXmiKeJbBONwxbpWlA-tQ8_EImwwqvIdfcPB3N697npIyMT438I-YHSJ0-aKrMBW53mY0LpvsSja8is0khaAxlEIiEQs2sX0-XDc20iFt43E5LrarnYS6wGQovmj3Iq_F-_DTHtU0_HN4bvNsSw6qbqmtZAFRbrp2qZmLq-Dpu-5JTwMDMclvg_TIpJgql4EXYbfzJsH9YnTrjxH4i1UOOv8pbXqEjma73ydCXDH-Sm6L1ABZHzOZbfNlQ0sFRJwRDtuPQGWLGF9JD23RcyiX2CeZGVcooxgwJ1hy9pmzZx69Pz7d8yHH72QsOfwbSKbHa-kii8jGrXWFgjpCHd1P23JoX5gMcWLvRm3ZZkCmWqTzmuskiwkG-UmPzvOnpA3ofbLIRYYFL2uXhlxieB1zXGIvW2TJbOP0gRZFkXXXr9VsnQnQk7GSF3OGXfs9N61powRquqcEP2wFqJFJ4_uJoclqS8R3qLUdDW43qNxESKxx_BZnHgbhZR0NC5xRiOAPbGhQuYZ2HLkXwxldhYczqQWdr17yepSuunPodV-CugCdlIlXNXJ53HhJ9_-4rKJPb6ID1Timpg3lD_aXst-de6F8lrdbQQhzhk-Zd5Nsd127rlz3WYvmL-XxGiRdYfXulKhaXoZEo9XB-8RYKxmG44KKJWkVx0ryUhd06NUdTfWpBbXE4lwMtnsKqTc7x4OiRvCjyhr1QaN131u57jyZUWRUP7rsmkl5-zYUNOUm4q6mbQ7QySBFEDR98HDZAXtQomLp8fATQBwzu7OWnnDIbi8X7VQa2mAyFcpc1oCYHRQ0u-Am2PkThI8HSSgzbxQLzUeoUC7B18JaT1Z3NSx3bTWR1kTFXQoXhJ_oqBOzrtBZqxHnsjsOD357TB-PhA61j-4WFa06ZL3fH8pYDfVXzvaZLUU472j5aEIeSNufMf8LZ-3TPEtySsCI4DvlBi1ja0kblSAJqzgAMnQSjQGz6LG0BNc2Awa0DI25kPnyBCcjjICNzEOEixrhahqIkTtDhDkqIG2to_kvMpkRTWG96-q-s_YFCA8-hylLVo8ZvabefQRwvih8nqiiTtQ0YmnB0sl4A5PQET9xo5CJ0y6fxc3ojPpRaH5THlArWCihDHEU59GOj1QxYr9GvGysIlwRfkK27js2t39uD0yxlTtBTiVgvGkszpO9jEaBNDb4W3t9Qs39QI-V49nBLqtuJheoGB6ywXvNS17Wr52OsJbRJk6n5k5jpOCUuOSzEQWdHXe1tAa39NfYNUN_2qhj7ukfoED3-I9z5SIaf2euR4HAIrG_rVn9m2JJOOaJZT3aIbLDwGNr5meMHA3fKO2sBqyHEUQEP5lzc9hXLk15y7h2ZrVfKgyRwXbwx3vLfb6o7V466JpYSR4EzsDEYlSVL28HoXCJnnHu8__KZIqpZKo58wac_SAhKoZ79jxkKNHhpZsfzlknE0raKUYhTknV-RMJ4hFGzOsRUmiGOG4Qwgy4j13s13AVU_ymGHfsWXaJCxAHKD0f5oqySMNbkuJx6qtIgXVMjnfeXFA1Sa98sZJuwOCrFUKc9WF6fuxP61Wl9k4h4ijfGM7EqpoFlbbqeNnjw-x963dyh9NHHAKDGWl73uscbSQGxhmr8YUCTqLSa6kAKWZbh0Tzuh_nLdcii1Q1zrw7mjc7KOqOUKa5jbKWEBWqjo0aRrjG4Hs1ZkPBU6CKUVp7PD89qaxvgjs8bHRVr3WkA2A5toiQdvAwqu9CXS-FraqkVNiL7cbv8ZJHLOGQn2F5FUrAYHV0pyJHbIwDyPhlEE_TWPsQGs4RWYNEjas_YFCrzSNlK-pFALTC9syA0NVVFMmHXKOUgM_DS12oYhd3K27hQFw1mZwwDlvzqMkVdT_MzRAlrCZ05DccB9tocSpvUh-RUv0b6SmKAfe85PFnhbRsyNDmnSxReH4qECfmp8ixE_6rdSyMjXVPNnFEwZJ2QCsoa0M_p_WEezOS8cJssgEy6W4dOh2HCApqFKCYkI1mZAndmMo_tcxPaiRdza2eyjv6wJHHbz96NAJ5J6RqxgssYpcZW6aQAEa3VKKbA-51a1YVM9wlfqx9uSkNtUuULw3-bWk29QN5Vc_-TSskE3U_Wfq5YpIZzuS0EQyhGzyt5V8zhTNOVscPVJb2KUgfw1EsSnftBacHjAWd-ozbo-9DVxs4t1v_246e-D-jwKCUfjF1IaCUNsucdKJJ7huZ-TlgkJ9RejG5j1-cM4QI136cwL5ab5F83-bf3q8h9yaeB9ibqpPOE6litonNE_PKrehjtliiPsEoxluMNgFGQOOs7sT1zbz14u0AzcQ2R2eUW5AHroL2rDmgybt8Q-qzmUs_4eegKFAktpkS70bx4UJq7ORkBk5dseyulK0QpoX26TOeEwhAEp63JPDwqobU2C-y1TQwRg_hZBSOuQ7uGQJExu0z-l66JDhYAc7seJEPUXokLpqfG9E3ARft36FapczCvPM7t9FAKCeTjxJZ0DvTvZmdEP_MaQmOsBJZFdPTdOwhNDXTAoqHmIcGd0GFdNaoZEJoMrd2EMppvdzia4lXoaBLL6CD-CYlCAEJZWCNpuqS70PIU-VWKdZKKU5GlUzXASXmNUWwB7jP8udnFDhqwHD-x7VQSYA8iP6MBdT7NLZxc4gqVjaDLc3NDvXHK0AI7iKRmgVVLCBxCVx1fwP5TUvYd5ws7p2DNGrymyi20kvbqCc_mVRUMIusZW552VrDQ5UcfQkoIoHja1j0mQLbbJ3mvqWXvWx6jdKYPcJw8b112Aa1VICuZaM23UKZof9rM9fH-xzoyS6AXHVcuR4oqNwLqPBw4g0dzlJ5zAX0o88laLNwYeaP03dlvbzpEI0b5qyGuEyVU2BMpNBpRSAa-dPNBvb5jwCeKtK3-BJbu26G7dNy_hA1J-OHU6g9xjgiRjBLE8CtbfjHXG4CTbUi9WfcyKkWedsPshL-KuarA5Mw5HrSLyBDVbZcdXa7LmpZ9Y3Oj0_URxy9vmNCFuBTS-ccvmQ3avnjlBf13IdIXToC6wexi1RNcwCPCNCnol6oO7kuLditg04i-hMx-sQ1IrMEiFF3KCIpEBa8kzjUsKyq8Z0G5os1o0LP-fpGF48i9m0Br-vulUAybBnab2Z89MJao1kPNi3uzV0iPO6IFGB2a0etL9zgeTrncPOhH__g5ZyqZcH5IO8YgpNdOkb6f8WVAFpAttcs3JpU_2Qr7GUIQV8xMWcflGNpVZ0GPyJZrnVUU-JH1Ij6A7XA7_ZH1kgQvpkkAplUO4ia8HM-LNWRxK2b1k8fT0jt-iLkJSk3sOfyENxvaXBr6iYw_j7buZJysDe3eTrwFmHR_M7QH7MqBsq37nfJ8ij11fDgzcO4nl8eOOVkgQc5e9oe0gquFq2jzgdP2HrHcVYnbzPlZ4YWbWPDHb1ROFk1QDw9N32r961F1QtX1ATc8L6JROHdN1CKm0IYUEZedmXW9ak2zO4yeO23DfBNnI0R51Ps7F3KI0W9rFe9t8cLawJ6smIBEwt3FQaRVj-rho7_W_tYhIWGo5MSZ4NI3nCJSrjf53ADa4uPrBeP1rRYjHUb52hIX6AwnyBToidtdeha5f4oR5Yt0Md8lNK5JLv-XZyfArZ4tmjEg9FU4deF4RtSCAx0dVWaM7isHMOI-mvaed9K7V9MlBUzUXOY8peqd8_WV3pLz61X-jBcPH0ptfbZ84w8wrCrfzpJrMdQSkoVrgGbLH8fZ16ExdCbguf-XWICiqnM7SYJZZ-Nnb2RwQMwYJKZX_FEo6Jq6urXwgdJsHFRgN_BcFXN9a7FQyXan0nmF74vLDKKFNABLF0EMjJTp8QvQH0LtH8cl5RKYnJq5ox_g8BRNDmZGucxe0UkrSP4RzQJFM02XFDZi_RQdKWbyJv5SX13gLbT5abYolsCcke-t_W4qsJFt8BHW1GaHNP59gmVnNQegMKHI6VFwkJD2_MfLsmv9jk7_8tB4pF5qkb0tU515o8qAT4kIf5m9AJ7aQhkIGSwR50zFA2lOyQcJvwyarUibGoiRydKnr-68wFNU766UW3evS57m5V2FUWZkxivkRSZ0ygoGF_eDDvoK4xdgoHVAS2xt8xLJHjA3mXMjN1cGu_r0sEHvsH5IbFwa7IuCikiE3s34JxDztOEy7P3OF3-lfrhv_AHtv6YkPL27ON90J45NNuLzAIyOGZWMOBJNvmSPZUIM96QMN0rnMynsKqVMbYnvTgG1WWKz8F_bjpsi_C5m3rz6E5kh6e7Y5yVJKevRNaMIqOhdc49IxOYew2_mpaQjQwWHOHI3EILaiYjiatiIP8BWSU3heeIzYlUqqBduxQrivq-9Z2mJYx6_DvlIfuC8EQqJ0cLtUaatcB2Fc3auWv25gsfVwD_m_l1XVRO_joF-nSHVzEwMNUFgJ7B20F8aY5P2YqUUYzUdVb9nc9iXGWnvvEEcJY0mvBj9isY8BttHXfN1DUwZHA9P4lbetcmzYmFJShyCwLMGScwXvKi8q2y4OQHYwoAiIXTH51OLM_GESVWjOlhkV8R7XruUu1SsXEkjMrTFDSA05B3AhcAAk3OqjbEm6EI2DJHapg5nH67SMI6mAPdBk2GI61yAjkDsWH42kz9DzayOqDbOIIclGFBwknSFwheVSI5aHxG85lqE-ZtRikIgNGPgUVvNZ8au-edqXlmTOn9fgGSoiuJ1YejS80aOZb46uYLKApiYluL1EfGC67rfdHn65LFKEAPVKEYO4C9eQi3DgIw633zbXl5qY9FLM4nIsz1VEprolwBwqZ8bki2t8KucVDKKldwK5eAede31oeoTXIZRbFJufahIrKy2lzrkCTENr4EcwsrQK_8J770nFgusW3kMPLspBxdP0LXUac0KYZYrjfAzoDEiBr58f_cZM2A9Kn9shBr7H71MOjcfpwp6kRcdhtN-4jHcYhcOk05-gjg9p9F_xvoSm75SweUd-RdB4t0-0ZdOuLABdM7WuCTeo-0wpZyLraPcrk3x7_PZiHG918CoIJDPKM-GjuWpF0hlutW2ooqt8XXJmUBRgb4uP16LVv4NnkZPOH8OvrS4G5SVfZgEM-ySNGo6RfrCN0ZsCk-LWyShtLX_bUFyOdd_7vGBEbyIYt_-S0YxMH0Zm_nERw76yVsciZIdQ4HK6rxh-OWH914Pkdu_RHKUoL8bcowrH3mcP4Ff16-INxVN7KSdzuQXF7GoIYCcbw-f56UK_mEyU0R97i9N6vk__82BTis1FvIwCMd5ZTrLvZNPtJjQNrcHpF5ZZlcdTG4o0n0Td3swBSLfQHsCDvNKCBww3Pm6A-icVUM1kAsZtsc4P0dfGgqauQuMzrN0x4zdCKJAVpPwVEA880FZakeFgnr1fTfH1SthDT7kykXTAsEhCYbpj7Ht7d6UyQfDDCu3zkunkQlpZg2Bol7JxcpvLA6c81VliY1BfhUujyGhjoP0HbUGT1zOyfmZtaDmTqDqTLhdRiV742h3OneHudDrQejnSW-JTqO6_c8cira1VjybKrL25duVJSkad4zrBZX-ZVWsIT8N1fiJpuolLHq7QTqC92U8kdm_cTM29poK-LqoX6fZdhGQL6oj8sF9hgPgDi_SkCpeNSq3dD6HhaaBjWJCyy9VJpluMWQQqLWdtS5F1qU1E2tdBPhw53FhdigbVQ5ZmnSeMDHmJZ_WQlJSG-HjU-Y1ittMFm4E-ORZ79Rpi2mjna_FYeTIE257lLrKEMbX4QMDNViSJ6pZHl9NPlxMDZHGAZat4n24QuAJP4kgccOLfR-Sq8iGBriCTvM7jBSXW7ghn7hKH3IkPhN1A2jRtnhe48KG4prgH3S34fW7XqzGvTv5U-cG_cBqeytyVZm9VMwgQGI3MPFN3xG3Tsqq108WJgfDUqrRW3O8XTmsadwX3sl588bt7usKQl5N1-6OFb9LsUghKQHks9oKSf-zyCfA1DokxtyepfmnvjuJ_pceIR72gYjxHjAWPVOi85VxJIuLAxus18IsuEhw9cTppW2dmKCD-mCkUK_hFAtHRxpmIRFgGXS6hKEATle2NkvA4oIFYBhTgRRvfNY9v6MhbbM5azUFH_t3XtRJcBVmZHUNMgA9n1lilI6xRIS8GV4ElAAI1PFY-viK8DJk2GTVAuIXefh0zaKnII8Sdf7hMs97YG1DiJpz6ao7mLSgqTKlaa1Tc5HyxiqqCkKzQSB6QFWjeJZ6Hn4nLCtdPLTvl2gJzORGSOFIBM836iF8-Fec_D7SUxrkP_DnQZthMpsvvsflWSNpQKTp5Wl8MLvEWOY4gRCW5JCe3o_xhcNMpZQJuPx1MpYgEb099wGnFYFOtFEoVZyxu5-VpDNo-18nb-WLBpNX5ZDfz8_s2x7WyRsGBVr9EC1ZJLkFYySW6VyDGPaZvSs3eFPV7pPDDOwJitCM4cp9sTwNTSpXyRK3mPF-kjCnY-3-Wx46Vj0zzVzfDFa5SlMSvfieSIOFPalstyAU5WJ8DJimRGgNLotVifnGMRPuNih81md45oQUasK_WA9htj0KI62mVqfrzO3o8Lhz732WBqnbGk_T7FUp0bmlV0kiTmN6TRRigV0Tnibsf5dhKKSaRToYvt9xhyAbNWpHnyhOpWqb9QQyqGBOxUC_g=", "iter": 260000}