# Funarch playground examples

Each link opens a complete project in [Plinth Playground](https://plinth.isotopy.xyz/) with its source loaded and ready to compile.

The final section contains intentional mistakes from the paper's compiler-diagnostics study; those examples are expected to fail and are useful for comparing the two error messages.

## Start with the paper example

A small, complete program that makes the surface-language differences easy to see before moving into ledger APIs.

### Recursive withdrawals

The paper's compact introductory example: algebraic data, pattern matching, recursion, and integer arithmetic side by side.

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA4VVTW_bMAz9K4R3SbG4w64BOiBL1i5bl2RLPw5LsbIW4wqTKE-Sk3ht__ug2E3jVulOsvgeyUdJJu-SZdJ73020EaUil_R-3iWMmpJe8g0lH966pJs4U9osmGoWBARWt2RpznOWujDWwwx1oeiwXqZKsr-FDpO_lP5WWFydT08HB4Gvg3evB6MJdA6a7RE8Y8K1oz_XUJSWNqzkobsVVqd4t5vpmc679A2c9scn5_2TT_AROZ-i92TZwZv0Yc4teIgev0oWUYysXFKfq4FCt59wQkxWZvtwyfnMW_SUS9obRHJ-ITGCHitayxtFI3YeOYtG2AhAJf-SGNPKVwU9xoyQR5v7-l6ikgtJYmqcj7GadDOZxzKeor4ROEBHEfBbqby8xGq0iIDjUofDOmdB1mXGRguaLMkqg4LED8qMFUMT0_jEmnkrOSp0W-fQRNAfyL_HZ1URFTHLTEEioBdoJd6oOMsjC1SGXzvzEKRfFEpm6KWJvsNAOUYtVfyRbOFqSAWxIM72EycFWfTGxvBw8JkU-J8ndSFp9cpf00Czig1XOqqDdKHQ02d0v0mp2EswIx2ORPqpJVWKnac0mZ6NJuPZr5PPA0gv2aRaOic5T-tmkyrpvGsjtN6HiOZeUhf5C1uZFoUqc8nQNJVpvXuVm5rCt_m9wpIju6S07kepMq1bn3PTRmMd83lXbUXesZa-dGfrw74L7Qs6uFkPXhIGRhB0BkYXUpEIuwipOf6Qtg40Z4Cf4j4sACJkeOzNtQngCPralOxhxJ5yso_2e_hiJPst_4XjPQxJlNnW8QXh8baA604GnXN2uKBja3TQ1oUz0xS7iXcVZO9MjzBatt_phyeBu5wVHEEWmtcKzCIEaqrh4MHBUJexhmpj2XFdw9vWvgrspiaGhTX6uUdtC2FbIjZjrteD3cuBTkT6wUu3Iyg2DyPbTRSm5FU3wczLZXuAo81LTezDfL96-AdBm1909AcAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA4VWy27jNhT9lQslCwm1XHRrIAE8dsfjNmNrojwW1aC4oa5lYihSJSnLapp_LyjLrwmTrETxHN63DvUcbILRb4OgVHktyASjv54DiSUFo-Arcjlcm2AQGFVr5rZ2LHAINGvSlMlM8rJS2kIiaouarYeftGoMaQhp64CUaV7Z6DVvLi1piWJ4R7qEkKmy4oKOxBTLStBw94BQkn3kdp1rbCLntnRBjEYwX0IY9a9XcOoTskCSjZv-VFz1nrMALqF3ByWVlW3hxHomg5fBoQo797_2wZyX4zm-gJvxYnY_nv0On1AWCVqXk4GL-CWTZ_AULf7JZe7FSPMNjWU7EWjeJsxIkubsLZzLIrUaLRWc3jTCZfHA0YN-FrTlT4Lm0liUzGuhCwAF_5fyBTW2rWhv00Oed138VqPgK055ooz1sXp3KS98Hm-wfMpxgoY84NdaWP6I7XzlARd16Yp1L3PShintTWi5IS0U5pTfElM6nypfjEdWajWX3kAPeU6VB71F-WNx11beIFKmKsod-oCa45PwsyzKHIWS79XcGRlXleAMLVfeOXSUz1hy4R-SA9xOqSKZk2RvE5cVabRK-3BXeMZz_GCkHjg1r7-aZXI3Xy7Sv2dfJhA_ShWX3Bguizjvc4_NcdLPCDvtiAU39idkpww90nnKZK9n50rzs7DNvkyG_adnIOxXR5naQ8N0mcA_-zEANJAukw9Vb6LkihcQLtSdRsZlEQ1gp14DeKWIByOJJlHnXZA5WoRkr11gMglwBcm4VLW0EHZeDITJ2Ew7pvNfkI4iR_wPkj8U9_IOWhu9C_ZWppTX7F13H1rZtxaMVezHaaFPMJQt6zQyTJfJvisDSOadyXNu6MpVGzeoEWw47mW2o6ZWu4CTo-hn8uQOcBfLId7jZhxfH1M6P3AF1Ypv4eISKoElXEKWGRIraCzE11CVaNnavTiggfjahcqcrjWgVu4FDk2T3YmVVmVXJ9mju05toXVw2Bm_OKFtI_jFs91G_fG-RRIc5DfhFhHE577P0rxPbiauNrsRfQ1d7XLaX66HqT69X_t8b3mxtmBcJN3Q3tDKAmntNkhrpSE0a9W4deSu5O-DAJnlm_NfE9RFXZK07s_l-8v_9C8SCM4IAAA)

## Validator case studies

Production-shaped contracts covering the major Cardano script purposes and common ledger operations.

### Smart Tokens

CIP-143 programmable token logic

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-09XXfbtpJ_BdfpSam9lpu2L3u8Uc-1nbTxNnF0I6f3IcpJaBKSsKZAhqQc6Tr573sGHyQ-BiTt2Gl3T_iQWMAAGMwMBoPBALjeu9o7_HF_b52nm4xWe4dvrvd4vKZ7h3svYsYPVtXe_l6Vb8oEkiQUgRzycUVLOudzztZFXtZkto7L-jy_pLw6OMl5XcZJXR1My3xZxut1fJHR5_mSJcdxRacZ4_WKRIX43wP5Lcsv4myWlKyoR9DCGto7PCSnL0k0Uj8nZEBp8r6iH96TYlNSUXLv837TPQPfHxp8f-jA16HF9fgBeX509tvro9-ekuOYL6dxXdOSV-TB-POcW9lP4jr-nfEUzaMlu6JHfHeSxVUY4DfKacmSUD7jy1ldxjVdMhqshPHlHyxGcn_N6JZdZPSUV3XME7QGgUCcsX_T9Ix-rHcF1XUiwKdCJv65iTO2YDSd5lWNQanmZmyJtfg8Xl-k8UlcUSTzxSar2b_i3ekCyTzbrIFYr3lKyyrJS7RDL69omeVxStNXNMnL9EmO4dhCzeqScRTRpp9PciT3Vcwvz853BYrELMkLmkLuH3HJQOpQqDrmaZzlvIvmUMlRUWQsiWuWo3IIIL_Ga5bhQtJk757QgvKU8iQM-LKgZVznJZYPhE9YGveI1B-MfuwYNYLF07iM19CeGB5oNWfxmqa_Mpql0w1a0RAeKjxmO57z3fpLWFWyBBOkns6e5adr4B2rpyXNNqkh8y-n56cvz2bvfnt2Qsb_4vl4zaqK8eVYat5xxqq6snPoNpSTKgEaV4i6sFpaFNlmyThR2m8qf3XCjvOituEPGc8Yp-MkzrKK1XS8LPOP9Wry06Pb1rThSc5TBiIeZ19QHc_HRUkrWl7RcZYvl9agGlhHU4GcFcZZbo29OVcT5i3mxjknoRkOwOT8tt8BZc6D-3M-8iZsqytG6qaOy2R1oGbQSP9_cDAaWVCb6jlNl7Q8KtgBTHAHf_wczP_jRwUSZxsahvpJQp1vSbSO62T1clMXm_pJXG_WbtvnW_JBq10v6-B4w7Ka8eesqlswElfEyAiWqtAiVRj-4JTDsI4zp-CpX-QkTymJlrSeZslZfsS53y9Jg6OqypMXcWFX-eRFXAQK-H19gvdS6Zcm4zWHyTyV-Sd5Se1aXk-fnwTMPDGpHUzFryespEmdlzspus3PGa3P8pQ-EaLKqmpDSyGeUqxk8iXdyT843aqkuox5tUBgC6lC8QZGXWjiA0SiG8h8RVNK17RU42xZNq1Ck6fptsk45cWmPk23VZPynPJlvfLTXzBeT8s8X7RJUsyrWR2XtVnpuSKCCa66P6Ps3_Qoqa1EDa_Se6hR50meiem16iSCBJHUT83-n8wUS8p8KeBPSpraXOqvUhj4IIDk-HQas7IiE3J8ag3gqP0NEEY2CL7zc9TUJsp6ldnQ0HiSrwuW0RSG5nmu1N3hoTlmWwASk_EvRAIFiiYANgEqZLQWw0fLHok5J1e0JBd5uiMTYqgBUQrKEMaJVrloWZla03L9Ii7A9JFD9GDD4ccTelxu2P9w0cRIEBfms9Oz56dnT4-Onz8laVzHT2GEyzmq_Xl4SKKmz-e5oG08IpNfZJ_FP8d5npllYnJBJi2l6txkTEwmwbwLBDPOMikBArHm1-GhFg0jUfB1fXkmf2s52HBWX8UZUneS80oIj6i7-SXqtqQJOomkyFbbP406LsmVRucEpv5I_NmgdUmuUDaAbXaeH58qNjQ_Dw-l4pYKXTUvNXkLNFEwDVElgNfKBXtFr2hZUYOwTlpLXqt7DtSELPOGQfNm9U8gOU4Ssq2kyJNmujwQMzjg9T3kAlA0n69IDc0sc0UmQbEV5I5IjdGpuFw9zehaoq5_wOjcXPxOd8_iagX1GRSzM6TA6nKabDSja6Stqi5ZcZTGminG74CgKHIYgFdxJrIbBXCRSenY8CpeUMg7qmBeV4B6zGNku8jaMRHN5-9ISStBPvgfI9YFE0r-NWc518w2UlBWO1w3wLcV2Sm2Bpi6q8h3ZD7frsi2JONfwgKwqwAcYHcrsmthJYm2l5JEi6om25XOgW9n5OysnO2FT9Zjsr20SqMwuxaGccIWLcIUdFp1vKupXCdCI7sLs0ZC6hXldgpplIubThx85CcF_1T8b2ImUyqeku1qRP7uIt5m71Yj0OxevTbzSrIrHSiaVdQtZ_Y_o1V1vop5NwU0FQyVt10hrVcIjoCBUW7nlask1ohkn2zKkvJkZwm3nThEvu0S30T8HkUctJzNXlfkBUQr9KNOACH2uNw7TP36ou8jMFj6fYFEB8AVrJwN2Td-Hx4Ssa4GSbf_sMCErQZIqSxBO7GiVCT_tczXljkRpHAkSlnGh1jUytZjYGQnxEXDSHysn9FlXFO5YNFD3UoLGi0W1LZ7aDdzKwxaaZhIpBrTLlLjcjVqtTYXLXRobyGmQDMLl8B8PdtcCG-Q3VcndYhec4qAFyPf1EECyI4Kr4bgMHS59pCGGjSnIjKfM_6MMP7K0G0ocU3JhyrM302TSrTIfJ5v6mcAZ9crP9CdjP_eqkjGn_kDSzRjAEGNGBTjx5i6ZPz3QJ0oOLTlwTt6FtEn0DhUiTXlqRWgdIRw9ZXkCV4HpuQa_LomgW7USGBOMD_gU8oWC59e7cBg_NmIjMP5wLVAzywiy3Ym5FEnbIO2P8oUGV_1lxcau1EHIIhaDwASozCLXnV0xK5USO5w7SKIpBQMPubtpjv1rCgoVAh4pWNmLxqsjLAOEissrEic1KSkH4I6WGJW0g_yj_OynZXm85J-eAZ5tlIAMSvph3_Wuy5Bg7ImEdDllcufOPGStFaMHpFfJqrdEXn4EKVcM5sA0r6dAn2Kk_oZtIMpOt27ONGKzFY6eiqCOkb_BY10grkkaL8-g1AgANV3K4MOERUoDqCYoARQq3uodI3SHpU7oC-k1RJhDLuLi_E8SEbUiPA63DFIWSW9gaf8Kr-kqRygbuLhIQHfK-U1izPhDwHrC4xnI_l5fkWzOKHtoHWrmchya7q-oCWKyyv6MS5TCDZQBRe5xgjLOjwkxi-jXQy4Yu0E7goXzIl1SSLbiVix0Yi8d0QZ9mKWtHxPfsKpCRvbjC-nm7LIdWSBn9xgrhNMojmwVXFjxIsuxH9EEF_F1Un1Kyur-iznR6kK4vBSQRCUpT7brS_yzFoTyA54hZKKRBJmPXL8VogVv-7wWLVyfZG1f_8aW6MYNGHjyrJHQo8tScR04atupwHVzHxeUdgqJu-g794SRzBCq0sJOQKrIjGtq-BKDCqCsWUsxnQSlLYGJCSEfJQ6r2O8-sXPt6cchozKMZd6DV4J_FNBYM3HtMwIg32oylj_qRUauvIjkeHsJVHrdpa1yMXbrTzA34lFROFyH-RNd4q8I_X25Qa2bnCeMV6YvD4H4GtR5ChNS1qBszpO03Jf1iN7OwG2fSYTmWaW14WKeLemvBbEW8_q-JKqehxXigkH4qI43n5iNkkgaklVky9c2fzvDRAZchlfCld1_pHTEuocobaBqK6BQWqET0qVIUHF5SpgaYiZU3vFAQwkJTTLiQ6Bx951AwifvuH7drTcVZyBoYqNWP2JqZOWZV6K-DwfQCpho0_vunrkTmgtxWAQ_NX6J_QSninKqYEl68fV0HnuKCGV4BsEpvaA0eXoDVVOaI1cbkd_qbJQ1XyhthDjVZAb1Rk3Gvu4Pmla6NMK775EIdylfA2QDkV8ZXg-3RY0qWkq6HFUtzLTDzZckloLo79WK2RAckCIHDVhW1tEJ59Uejey071o1TIaZK84LbQZ7aqUKNtlAaaThBPU10j1GzOYLeM1qBsSa09Mr0SaJCdVUKa1XWPgOvKNw45117Y458ZOe8gnb9YfqK2P8l2Nd0HZjMHIpFgl6xLE1n0KTSHt1888_zNa6AfuYDAGvIqro_o5jav6qKpofcohLESNmmF1ELUvg6_ZDUpheyyhb4ALTn9CYG-A6gDBvjm-xvTUKJ2BxQeADQAR2_hi4l9DdLNg5smKJpeuBuqsC830En0f1C0atybvLinUfrlkU4r_KlJzw_v_SWc0XhIyMcbwJ5LXK1p-ZBXVhgHpHYbu3oL217kt2RISdVkV-rtf60J_g6wM_aHWhjWRduwsDOGcptvfpW35cgH_S0aOFD_Dtq6wSW4sH259Yr1NMPFspn4JrlylmzgzuNCYsQHzQrXEOEmg2qMse-oYFmaVbaMSqe4y_RYtCLswaZPWdnDs2aR_Rk-GTOb1kLk7caZthCx6vlRdFDyTKQ8f9tFDG6Y-4XSt5r6177XythjCFfnodXBCgzTsqHmIHTXvZYcsLNgh3L0Qg2ly4kP3ToUqbvJAjz2zU6DKoCaE6j4NAiuCBePpK7qgQGYqwpKPdyczuQwI5KHeRMQPBcndkb7BJgS-i1PDOwULpXaWbjLdRaQx3DRx4aSYOUVEuLOJfKHDidhOJ0P_7DfafgOxhmlcox4npckxP-xVjBjlob1X94gErpjTOKCxI-16CJgawlowPBRhsEj2WPiuAjRMQ-Ewy9yaBBqwbYUFzVIIk7aC8FX4LJKBhmx6xwbwsq190KxBDZY7DB4y8TPewS6LRRhbOlgxnPx-TDSoknPzoMURT3-jtTmUpXTLoOmh4NoB7k1PRiiz69JWmx_D3eGee71puv17eAedcw2GTirg7IVAUfnRGbR5EicrmuqqVbx-ndeNOaKlRnjMB7ot2vKNz8II1SKDw7WIDNmy4rfBSdd2xcKq8d119G0UWhEscydgXTESD1SyGWdFMImqBIaVskykDzDBKN0xvZtlhbG1KUsxv6uMV_ZkIDFPnJmje8SR-VwgeppuFcavsEWEMOg2ZXky6zfqFJKDfDTGvJWyEgT2vHP6ilphNsTl4G9_I7oXiG5GJjjVmPj5uf197k1vkrC-onVBCLkWR7_IhPA8pb_THQazL0-FKaAzukWns330xJiBpZmLVSB6hMwEjk_W7LRLNjmtq66Qx4r5WGPhaCq20DLzuOkvmH2eseBqLJM7fRsdhtCaoyI03G69eROO3hDWtdXIy0tz3e9_Q_nYfuCLv0Fv5Pfpk7eJhLXcuZ8kDjS-AJXUSrbAJigP8ruKM5Y-ka2RyZ2wXIqkR-mHD1sUHz60Gu4iT4_8GCd6Gq0rDvbclHcBwTL-lBiEbBo4YjnQnukD_Sq2TMh06e3HYLNFmBZQnWOerBmvafqU1yXcAzDEPmkqsW2U7h3CTmPExkFbI_624Q3tDNSygLYkBLiIHIJ0uRubgu3i0vPfRzDWJIp8k2WNkCKDyGrdhQjq1ebHqMXCsHAAR8QSCZk4pH-NN9TUIaQVpwG7Ujcyd8jXMnnIXZg9ZKjpQwaaP2SwCUTuwgwid2MKEc8cmkyUdHQZJ-FJATcY7mKuJvcz85LO2XfojEvwWbcZ6diUa-mW3i2pXiOO9IbhioVOfgXk_khLw-Z53MNy-Ymir4tCFFUa5HGvpMvvXhln9Akcry2ad8jAzonA_Tp45fy0p55gFKM4xF89oVkdO47eNqIoDNMdbNrGhOiJuKc6IMXJTPomZGEZR-J5VDiV12302SttTQ11RGHpg-srbTTemDrL_OWmpqWJg1Gjba9IyP6jW8SoVebmm7p3F0PDWmfY_ONZWNGmeqssfghLEnyAB0Oc7emZzfNNPaAmccClsyo5OiVaE1krZmT5o8koJYXtxmvz5uaL0FCN-q1hxpHjITcoL474BCvonka9M0NdB26Bp91HcuVhpNvNGrdzHMCBjwY7YKSBye1I0o6-7kNht-sNXuqmvRAziHH7BoqcgYN_i0aZJ-J4DCvTaVzWO20hqXs1Qtldy1_PA2-th4ctjg0t2F7WEcS1MBbAJzNnl581C98m4oDpy5fUGlPJvN5mbLORsthdJ_ZFR6C0vD0mHGxCbNPZidroX-CKFOcvb3scugS9KSnckMr4svUFNGTT3UthAj5Kks16k8EtjnquwReL8siGv4W6YDzOxFxOJvblI179JgdcCZZTrYUNOI7kL9rGkCj-If2xamT4YS6_FQP9T5-8IWwtskuawRoYtiqFxPi0SMu8KMQhKnPJCamkKWzxxcU5uI_dfmo93vReVCTvWlrUtIRGQqGNzo63kPjuRTTaUNjPKDxWJ3lZ0qrI5fkoeWa2aaghXoPsEMn0W0SmDEV8j3UwHowgFB89iNvQUcxfNPiGdF-zHxmkRzchiRkE5fkhrokTsSZQOHIiypwQNm0qIyB6s5spEUBAmrgOvT0ngV_Rhe9y_6xzHcQ1vnJrUgfCubirFXXuhGds8Hg4V2B9Q6B3zKn7CTS-okEV3h70hAUYY38em5R6wiL_Qlxrlii9JTQTcx1-0FvC56ksizLV_sIxEQ4l0Sq0da-IoUx8_evhw0YQ2xz4oTMa_NrsASgPut5AzXMDlrGGkaJH1hBm6UXmQFVhymHkz76e2ui7kiBkw3oJPROwvN8ATqy1Q9M9sYae6xre9ZtPHM5hK8jsMDGEXedo-54ivfGf1nL7r3-sybFYO8KO_aGMDSdTQBHL5iOrV90jCYKRGxr6rhvsZqgOdqkr9LxB0FMEWVtRvsjLhJ6JY-H6xlh1lU8gD94yaC2MZofQPnGuwVsrI1AbJ2W61u6i5ug2mESWZ4uTMfkRv5lJlB92UKrnYHeBhNIqqfLOzfcc8SjQsx0PHw47ToRHquOHhqL5HDZYhMEm9ATPaxLdGGFdh31NmbWN6TLFFgTcPeiWWYvYSCIOTazJ4wl5RCZGknGOIqSJtuo6yZ1oyhOUtRQUcYWZJ-3rS_Q-8j_AHy5sUyH3vVCgYJ3LNO2f4qGPvloqOF_drLKTemuHbDbZ5h21OA__YUxFVq2akWrCynlNt_V1Zf6CZdUiF5G-8Me7z2YkS1-7Vr26C7q4rPla1vsv2MifiN2sz21jetDC1nN7eYfRdXv3S17dYohnn-cI4YGM7O7nuAt3W5679RTW3dUnFc58B2o2RAa8-cdrBxWHlprXpFMyWsB9G9C4BmWicroLNJMDnHGSfxrAnwd0doDgmf2SPdCB-spjZqInAewQ_0qgZ6X4RbT9ps11BAR2yNTmoJ9pjAs_c8aWHIRGhrfYtxy0OOuZtCVmZRPT4d8wldJzqbzYa2p-NFxUxqnQHT1nKlruuPeyyx1_M8nstm29keApMuh54NyGN7o8Nre0UqEYzY3s1ukOTDbWekP0qNKmbh-t1bZJ4LZxqLAxb8TKxF2TGFfnXyNX7zs3939G_H9YrOEjLKZxgJ9PmCTiiOuQy2sEIL4Ngxl7MFAMIdOfiO4CiRPWrqDnOwz9Gx0DcL-gULafIy8YiM8gDCoU9oEyCiWefaOOvd3gXq2DUFQfqp16i1Ur6Mz89Cwu4sfavWh3QKC8FlM7xkUMOLyb1d4YG3IXDG2DyDC5oWGWoW-AzOhvgOzozx7QXZB94UMuc0KwNtOUmwu_CQ0zAPT38GH_5R7ooOk7KezNvu3XI8l-Ec_MbGrCHU36OZNr9JEV54UV9M0U7M0VTE03HqXW7PD2a5D6sYtt3N7dPkpRTY1urCJCC6TRL4pYHBCr2EQp2v4YH3Afed-nbf60zfOL3i7k0K2nAil6YW31kn6_kmdtdDiZ_DbXjDP5ghV-gqFzax0B7qTwgFHs39aGT7L2KAjNss1QwgA8crtAhjh0RWsakoEq27sM8qss15nAKuBVQ_QJtjpQPVUgzykXdcqtxEwUtwkpvKd-1cjcYEkWbG9Y1HRiEOG31ze9J6IRu72envPet-jaKzOHAIuRgj6f9J160C7pdTV1oGU9AtuPmAV-S9QcL0X4sVnxANcPzqtp3x6X_fa47LfHZb_i47Kn66KkqejOFQ0R8I5eli3BrQxtSG_UBheZ_hdou0XhnK4L2Ld6FleXNMvumnLBV2iHvygbfKH2hk_dhsELSesxaJBxhVDbK7Hhm4qm4zQfXzCe9gPWeSEgg6_mQscqOo6zbLzhizxLW7FA34O9wSOa4hHWfSxnwNuYN3plM_BQ51LOk3VcN48_TsNITo-zOLkEltnpgWRWPaNxCmnq53nMsuZnQddFvTuewWxnJJwYCetLFxeZzqpTXtGypulLjqWaaU-h0jZhfWkh69fXmY1mihbQnCYR67hTwH_O97dnJwdqHq9IpP5qnwDVWQezl1P7gdfZy6n_-u9TcAOJlyjk2hV-n9PSeYZXgOrHbw-es0UtrMUgBNRAopOcL9iSRGf5eRknjC9HSBnjVeCfSTRtt-f2ydRezyGF3Sdum4zXojMkKpQHNqdlQnufNXae1e165_hnEqnlYvsMwT4xse9CXjxrHCnn7j6Rl8d7zy53P318JPfDorhSz6HO-XhMJnf4iQo1ScmKZgUVN__SBeM0JRd0AY8Inz8jFdgLtCJ1TuKrnKWwKyne2RbqBVamd47ZnMOYtXfY3wixq8gUCPIW_OkqIZqakFNFL6eCCQElXoJHfiuuSBj_QopEmEBkSx7IE-4FZ-LV0WJF43TG-DKjtXyZK5pCLc_ZJSUwfPfJFO7clpyNYVsrE898indWNVoyiRyO4dnVkVfrhBSrnFX1UbJLMpaQ74SayOK1fKmuDU4uaMbWVhx3k2LcBVmIZV67fyB_618yftbUviJmVhNQSdu0lfaRA629X1qDkGbYO8OQRIKsdcxr8g_BDPIdOSbzvfmefMjW1PgoEt7QskrcISI1KGiYRYdjYhURS0wbG0nvBiX508HrO1KkYmwXK7pVFCfzvcUXfFaXxCQD0iFuHelns1_mr9ex-9F94AU4tA2Ze1FmgipOMwRc1m7SNbnIOJy5bYMsWl4BwD4AaL6iEJ_hH23Mk6rOk0sSzVb5x33y9MM-aS0KAyrmu0R4FqLZy-lBCzLnzXy0ji_pqRCfU57SLU3J99_bFuCbyE7YJ49Gb-973jp0zNP7Y59rBovwv9lIMtJFAjhZtKzsHoBiL99gax80yuHhfN0nU8nIfTKVcjF9-sEupzfgdwUdkSsWk0h5oES5WV1uktrps5CWpoIrJmJQZCkoMwWrElasLh09wjG1pJUaJlROmwhu6W7yybl4QIbTM7elnrn7ku7eieVZe9jKU5RQlWjsAXEslTfFIi-XVOZCVfvETBH1inEVXsHcEyVUHkSxjrqa7yEPU6VgcIjj-Iwv4W-5IScq0GQzXw2wt5Qm3qqOPLBqe0CMdpQZ1Bwfk_CTCV65Q9w_lbRfSlihVL6csmbVD6zKb0FafymMk9QdhUg5Yak4g0uNuIEjzPJIWCPNN4z0sPOW-APwNxYsU3VCFquIt70S0b4kKhZlvpZDX9QDnI7syq_19PG5fXeomVGAF35XVE98N8Ztu4LU1PaFa6FAeHjf5p3rTbo_E8HzoU2QxtVOPH4eW14RFMpD_Hz-E2XI9j0GZPkA8Qa_oiXpUe5N5KXdsz0JwkIiKfAjX2qe3IvYfBeR2AxIfpN-ajZxUZF6gsiUGeyhojzgDPofPx8E797QV1H1w6EXUelilkw1RZDwke4Ctj-6F6nPxt-N4HG532jEjr5uonWUsaszznPlIlJ1fHo75-TePWyHvo_9HhcrvjvfXq_geqm4DKxXPEeIWLPw0IIFBw-oL790IyW6JKrRBpTzlNwQTO9weQVqUqyxbrO8clk0fIXlMR_jdnCd5QPDa6l6UwelooeqbyEYNQwzceCv71trBiRTJrVmhPQISvw6LbFB-N3QBHPwE2PBQNB0FAKGVO9IDUPQLNCchYFwYitkWx2Kav2ckXqo9hF5Iz2dbxs1B4WNEK3BRRnH7WvLxjYjj1xz245KekNCxrcNh5jiLTltQJQsGJDT_c4Gg4i9NS3nL5E4qw7EVG4EQPk6sEGsmm4wbAPQImwFavUktEztAELn79sBhS8YswGxXotvhBJluGem9gYSc0aHNXsEXTnNfos_FrpGgj0OAC8zF3H5hLO9noRBWXgE2IB230043_X0TRgNUH2RTCOjLqVu6RwbKq4ns1t4e7xR1OFKIw8QXB542Dxo8Pki39vduty8foa8bnfsbPPtiBZIO3Rc3K4xexmzhV079_PIff_KZRdcFYHVboqzw09RxGvaLBAQL3vyDExj5of5bY1MxPVo5BYprWjJRAhq05BxJtwnxc3rcCnTXYN7aMFiVVP0JoOjB72elZEVN4GunHppCKWleQzSFRVxpUzHB_a0BHFG8vEWkS3uZWhGhCy6qGo1PwrWajCzmH0bWsGM055RIUPzj2fkgcBD7zk_EFvQZrAFpFQ8RRsbjciDxxPy039ar8OAZeyYiG_U05QCJ2DSo33ZS9eSdMB-RMHeOkPDitewn0lQWTZv_Gt8-1a3OO-9GIdwGwjrW5LjvL8AwWi43nLP4p0AcnhQG6aEJkBPLD4ey_8tJv9bTP63mPyvGJPfHwHfH-P-_yB4fQEHDgbErN9XKDquDWVI-nhM_kPveejTcAR0A2T2XHhhxagbFy5Y6foksEz0b2LQye3Z7SbJOzesM9qjwzrFPT2s051TefvyvKfo9MvFIlnBPbIq4FU4ZoGlsFEAi3RRyfrS7Vh8UeXZpqbn-SuaidMmNjrrS91lTSeo8CawR6oFFO0mTtfnVu_9JDIy_75Dzfvjx7Fw7huHQbsAIrZb7Orb0d36mO89bhZarCARbLyML-IEjsSCU79BeTwWpc5XVD7oQH4gDHY-idQkcUnJJS1qQFvUQTmcoE7Je_8m2_ekykm9gos_x2M49klyPpbyfNVcrMThkSY4XwsR2-u41sYcgVsKl5ssLolWvO_fqIrfvj_4czY4e6TXsJEnprJxFl3XiI7BL-J2CrpXwgwqZG5AfmpUHYqSq8yMq-JQTNoDxsOxd-846GnCPQ0dBP-_uc_qash722Lt1bv2jisivNetF6aVPneBZp9uaNdtimfGJYX7pFhbgnz7qgTrP5GpK9vXpEgRifYWlbpGAzVmCtwXdTL35X0IApkv973F_ip7wT2ydm-DyreW7mE4jcfkExySuqJljcxR4hgNnD0Kzo4wd1k2nDyxY-shdTjnjTw6ZKjW2C2sjwqpRxRgSaaeA5SngwS-IK8picl7Y1y_b3UPOHrRnlQHcDmiUUgcbdKzMKBm_eidHu26HHViqAPhtTFBI7vTdsmRm93WJGStwxoO96e72Ju3ZELe9ABF4pK0o4tKjPv2_hOZIi9J-URMoMfiXlV5BcZ8r6PuQ8LpUiQ1tr400-Z7slbzRlYbjWVuJbhY-Q9gGpfFhkglQN-1VFHPX9Irlm8q1VCUCPecSQ-NhL4v5hOxYR5P3EoMD_0gKtnEoRVZb6qaXFBS1SVL6mxHGE9KGsOSWZLOJZ6D9tjFSFxbK6hqAxq9EyvfYSsutXsUIrmRPmCsDWqReFNk6YE4c5iUsJjvSPSYPBohBRo2aSYNRMYQa11pUKx1E75F6_bIcJTbesJD3HBjI31WdYC2FIwowUGh7tvxqxqF2e4tnu-d7V6LPttjD2RyA1eBpA9O-ahLSXrNjgZ4zo1rQL85zL85zL85zL85zL-Ww_ze_eCGbvPd3z1eb11MOlHdwvq8wLBa7OtdBoC690HL8ta1z6iTuM83bHfqz_cM3_ktIV98-8eNrvr4K1zjYcjyvXm8OoVp0p0_58gF56GDTvYdzd7ppa94MKm7z2-iboCve2Sp7575v5B7X-HUJzT2ySbvdvz-00vOFfldx5D-j3q7_xwnt55AbBf3AAVQIBpg4PEhTyn0HQD6iztvJVmGn-rpZkUv7YPnfXpK7n1-u78XJ7DE3DvcexEzLteHcbncwFti1d7hm7ef_xf7WkcfgcwAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-19a3fbOJLoX8GxctbUHUmdpPd1vfGcsZ1H-04SayIn88HOScMkbHNNkWyS8mPS-e_3FF7Eo0BSjuXu2W1-SCw8CoVCoVBVAApft663dp5NtpZFsspYvbVz8nUrp0u2tbP1jqb57LLemmzVxaqKIUmUIpBDbi5ZxU7z0zxdlkXVkHm2amgVX872q-KmZhWJ2C1kLOIqLZuxX-4wb1iV02x2zKolieJiWaYZawsulrRqjosrltezgyJvKho39WxeFRcVXS7pWcbeFhdpvE9rRqLllZfxJivOaDYGFJeA8M4OOTwi0Vj-3CUmfuR0q4b2pg1vcFpKLE-3yBMiUSNLtiybOxJs6zTf-jbR9DPw_0Hj_wOKv0Pmr9MRebv3_s3HvTevyD7NL-a0AVrVZDT9dppb2S9pQ_-a5gmax6r0mu3ldwcZrcMF3rCcVWkcyk_zi0VT0YZdpCwIJM0vPqUUyX2dsdv0LGOHed3QPEYhcARolv6DJe_ZTXNXMgUTKXzIueNvK5ql5ylL5kXdYKVkc4v0AmvxLV2eJfQAWMfPfLfKmvTv9O7wHMl8v1oCsT7mCavquKjQDh1dsyoraMKSDywuquRlgeHYllo0VZqjiOp-viyQ3A80v3p_fFeiSCziomQJ5H6iVQr8hpZqaJ7QrMi7aA5A9soyS2PapAXKh1DkNV2mGc4kOvvuJStZnrA8Dhc8KllFm6LC8oHwcZrQHpb6lLKbjlmjuBLmJbttsCKHy7JiCe_xNQvR-D1dsuR1yrJkvkIbasf4LT1j2WaZZU6rJqUZILtIL3LarHD27GaqY7YsM9qwn2h9xbJs7TE4mh8fHr1ffHnz0wGZ_j0vpsu0rtP8YppIBpvWiDgJ1hJSepqldTOkuFg8eouXglRTEDbTGiGWV2OVr2qWTJNiepbmiSh4mssVca216jQn2BoCmZNAnlhfeG5aixXrML8urljyKm-qlNU865pmK_a6KpYHFUvalONC_y5WTblqakCRpvmr25LFDUs-Qam9Rpcqa96CnBzHt4f5eTE5zcfemg-LzwxWHxIB043tjLdp3ZDovMiSbBtZ__dXadakOdcDLkBfKOOCc1MjU_p1hnKV1_ScSUhI-bcsuWDVXpnOPv3o574rcpqkMflFzQdCazL3y80rlq0S5md85M1rPA4KVsXMRmNVHxQVc5p4e-CUMfB8NuPDQSL-H64OcXE0m_NfL9OKxU1R3ZForv9esOZ9kTASzWbjThA4o5FoHsj5wBLGljBa_ZCbIi6yOa3osg4DVPkC3Gk-nZLdB_w4wGczPWQkzc8rWjfVKoYJv4H2TnOQKWQOZCC7ZEGmf-aLmkw_yIqaJYJ9KeikvOCY7JLzoqJZRqIaUhfjGeGFakKFBlvCnIIsmRzNJduLaaZ-zWlakTkvy_8dk53p9M_y7xbOLrHnDvDk7J3IhPZKmlbwt8z-QG-spgUuGrD8M4QCCg7H4GouS0pe-JWIOZbdkVV-U9GSUDJ_R-_OGId_lRc3OWkKcsbI_1vVzew0_-9V3XikamvQMR8QTVpdvIGkXS7-zNlMnpDyktGEjEhU1nmisIWfFARp3VRkRMrzorpgAlJUJgrgWDA1zZNtPkw7O-REtj3fL4rss4EMTzDKNvU22SUxLBnwZ3EOuJ3wGlpSkuNqxSC9qSGdy9pnJDo9hbXslhcFeGRE-OJGbsekqQGja5qlCW1AAUpSodN14vYxTxu0VlyA7bFLyvScRBp3njo2RDqJxmNSsqoqqk3N8uczwtsuuPYIyG1kdufHNM04taL5YQ0tvk2vGAGFA5hr989ELWgt-SKV6ydpgDm5rbkUgOUShpDGMfnCh7ChaUZGhMbxGApFFROqOCPReVUseXsVzUg-BjJzEQQgnz3twtIURCJZzGKNl4KxS8rLIq2bvfguztIYJkRGlySSeD972rb4_AFafB5u8fT0lrO5wmxEovbP29ro-o8PgMiPAxF5HkAkqYryA8zNnR0t2zMpBMTqADJTSH9rKVArANQls2AvtHBT_Gb0wekPRwXrzXl6S0ayV0_I6WnNsnOSkzveOz6lczLa3SVPx5AW8ewRJE7JszGXgZI374xOv6Z1I_tt4W4tWF19sAtiaeO2Jb9bXIZ39YwTlgvRRPxJyAmJfnxKRi92ST4hZjd_fDrWwwslZE9FrQmJnqO1nhu1niO1nqG1nhm1nrm1Pqs_IjGaI5KLEkD2s5Y4b1l-0VzafMdXOslMrzK2FMsWTfOmY1DmiBxDR6ZV1z00QGaJRTUKDAmN422S6UEhpGRZuhQ6zenpF8mKikq89J8E793VY1kbqko6cSmJUsTgSjUbOyfdYDoNYd4OEuE83FIpJyxjS8W2GWvIRaF1my9e6-vgIgh-UUDz6OBUDFylaX6hLEUSr6qK5c1Bscobclsb4-ZMKHtSeYBaxvfb0JPOauxP_lS8NaaHPR3XbO852p43iZH2nt2rvWdoe970d9v7bP5wa_tzT4LgldIcxlnIDEjnPLUpTezHGRE27CXLSlZtRg_jvnjRzM6OaM9K3JXuel1W2Ni6hp69ImV7UVQwONvzok7B5TdGqu36toFWcP-iIX3MawnrffFmRSuaN4zVY9Iip40b8OWVZC-hJDpPq7ohLG-quzEBtY5QkvG2p2VVXKcJS4iEy706s1OQTWm5l1BHrF3Dj70l8IXZvCPhAv2_tpRUL7NtVGAhhDtIpbzI9xLKy7-j5WGeswroJfWDsilAWShELc2TQD7diqAmeQIGXonBG2u6vWPVBSPNTaFIwrdtprDzQpa0rMnZHaF1zZrpTVozQhNhrsxOc14QjMz6Y54WuSQd9FdPrlr_FZEOIzua79XCyOWOD3AFj41EJWatGYyI5d8j0LFHp3W0LLGFtif_328VLrWya02GnJ7qdlT5vQ-sbqx1BamJ1N9X7SH1xQdc2igC7PFFr25ae77FxK8Kn666H66631N1b_-uYdxcpjX8ufCcB23RPiyGg8KwgsmXnuNtEBK5GIMR4DQ9DlbmlP5lRfMmbe4EoatiKX0jlg-lpXkQmvgUtP1B0Pa7oEmxU3c3SLh14_itVBuCgUZEOHqitqt_ahEd9_SINyCVBJPzRyYfB2F0EL9jWAk6tC8Gjyyvz4lnjV1fT7pJ4QPc9wE6ZBlKF-enBIYl6jmiqzjpum5oCRL6WHw3re-WZ0XWsw6p0g-8FB1IsAuOgyHlI76oqoW8XQgM8X_fReWft80xNg7rLHVxzevtqT96FjtRSpdec6kTtfZ1W50LXWwRyF_tJCr4PLIr--udxGRI5f4Vzyk_CKM1gd5jAUR7AasghknPUtjqUnwcuCocWsPkuPStHi3I_YEgexekJQi05FgDJrtGK2JmjKyumL8CvGDD5nN4t29ZdEysvuKE-JtL_XXIfZjQBRCp3bSRg7RLyodRR1oiDtcsLEkzskTHJnQLfNa8WG_SEFMpUCKzt0sDlQwlRH14LnnuqWMocGiqr2W4GW11qWfsJYmpZeRFPgXrmxvG9Yzvya2Yq0B0OTbkKnuv3LHZXpfXkpfaE9a-WhSFdS86qkx-7fU18ng-rOLW3McVpvZzfQyuReHm77fehDcgoy-Z1t1JcU4oqUsWp-dpLBQ4mKdUe1540t-au8Nc-nN6VLcAORHlx1ZskAJao0HypIpj6jcOpr1jRuKaNLnhbeYyngOwloYeh7FR1nIRY9qNZcYba0pAv7HMeMccxK1ydCarfg0yKH0IXepDa2IJuzkPiBKFQgBKt7SNmtwy3TrE39MOKKaZpakegGUlWz-sFhAmsIwozkwH5nTu5ye7-CCWMgWGLT06GMteqLq4y4QYZjDdvW4NzYS1Jq85GHMVNbS2RuhkNkc_VLGHF2Nklf8-hvQG7IF40mIk5YYOsSXitzaXDKjFtc8afO_mkqGwJ9IXIP35jv9euBReF5Uv9Ft3Ps3vhC9friizjmWmd_Gw1yEN-nG8yX5P5Xkr39omrRxoKCjpBzVZpnkj8G-nLkxZSNfnYG0mcdfk9vuCpHWdqHsgz4PFoBbiWkY0RdtTq_iQfdp3ad4ogK6AC3gWhLCEJg-46knaP30YNtUP6i4B2cLBp263AU5IJJvgS6hkgg6ZEnWLWAObLksh4odeNM-NXsiKY1Lmaaalk0EjH5qXAFXdNGzIdBm1W-uwtpQ979kFnP0C4SA1Vhhurp_a22Cz0zznZcXJXExL_WKKj3-CbSmzP8HpIKSNsjpstkeUTV8f8FVMVK9E_MhSVO-SgCJpVAkZ_j37Du22g3tenjwlU2M6Gvj4POo62I0VVv7XMm0juUftWa_O-P0Gc_3bIWlerhoylTcMJqS-SssSbhP9g1UFnD5dZQ2Yq7WsHWbJP7Zfxy6Z1nFJ84GQ1cRgHJvTIeCZ5rU4tvwvzDENk8IR8brWmLffNs0Z1V08Mm5FqyKBmaJBOhwLsyW0gKlOiO7yXog_gx7yFiGDROhkb2F2uZcMKIF-DYDTtyDybrbz26E2HENqM51u9bh-ex17spjb5O7umg0R7RNP0vNzS3vwOGOKdwfRWEPfEIJamHGkxHnXNWpJQdpOnJHBfusAGuYItj98tXAHSi4Z0L81ECLWQvHd_RtQ9OHYZzCDrEfyTZK7i9RChn8_BXsFgUncbv1i_Tm5HrlxUrvy-h60dugsl8c1mBrNRhP1QGKZ5siqfA0lsjTdABsY-Gv17OCSxVekuaQNoXGzopkEEYs7n4Q2JGNw5rhiv6zSSm5T1YYpYZ2Sk1dF_ycpaoXhGhkjfV1H27JI7FC0U-FSZXlv1A9EX4H5aMHt83qbgD2eVJk9fu8wjG41DDomKMK7Jf7sVMKgewYN-zrXAu-YoqJQTxf7IfVrD5GLOagO3mD17Evye3Ma49Gfd81BGmtRZdByZPGLdcvuNc1q1rMTOkQn8nv2Ys2OEUMzQnEfuKIJAj3tI4yWk99DGiQTSerFiHuK7oOJ2RV_QbAvfep0m56bOtL_rzMC4QFYDlETCM0TOMtWsbre6Bn_C9bM6d0Sbjm0jbdb3PM9iYNxUbUtGKgOeINgWNImvhS_QJrDH9viwqwAuh3bdbb5tWgkMoKJ0MLMNtESRQMA4ua2xQh-AEJxcyvwsWpsN7qKQAh-Q8oHVhfZNUtMbI5lno3I0arB6qmEFhOdwt3w8ofASf-q3OoKq6MVHKxZLW18jlYWVY64UsPL2ZV2yXmWlgoR0X4hWz5aNdsJL9XcFm1r7sUOrzXDUR863TC2gfVhITbMJRabmHX_NiN_T5vLpKI3ctYJZoAoBgWJQdNL84uNTD1Dl7y5ZM0lg_0tc0qUJaMVdzvfaBRBdcTjk_Tqj3p7xZi_hmhc42SoBmAqhG-La5bR2BW7uEaId6Hr6IScoxVLeHMtRezNGHl7L-S3ZsjODVThl4J48yIQAfP2utLc1ZTERSLP7bu7S2xcvRK__spdfdi6J-_yyOaxpZGcnsrc7U6Vj2O353dpO6yLYf3bGyM94l2QS3EYrH0tzhswZwqk50SxxHlB0ppQUrEbWiXg4RbNc9b_oBKN0uaRLMWObfbYjwCBgxHxKVwyBINQiOgTnDzP_c40t9AJiHvEEn5GnZSrsyt2Ry5pfQn23-2C5-3fza8u0R7MV2d_ZXc_0foSnZt-sbEx2cZuC7tgVbDlpuTov6sLiQeLR5Oa3AKHU2XiYp86t1cWWRrfEb6kMOCjuqENE2EHycFidppf0vqgfg2V3vMrcKfWsT5n_3nN9c1nNrc1kqgYQhBA6GDhXvPjP7fN3WrDJS0OSbS3-0JmXNSGVJEyRYAdS451cGi3niDa0jVEs8sbQeCKNSsI8cZ1apLmdQOAi3MSV7S-hNlZ5ETGBtNjIKUCQuujigN6XJLLRvsoLy5EmscFnKuVHQPhm-yRc0BKRBoZdNgJGyJjMeCGCpkLK6dNttDf1ET_DzXR6cVFBQ40fkx0UxN9TzYi9uIVd4mdUHmYEmLBFVmmpawwRwxFSp3gVWHbXNaz1KFQJAZU3o67a9xPe-oBqp1y0hrwy_ccLFZk4BSCBapGlClO4bqdGbFa-XexOEyQq2dCRxiKNe6c3h7mbvADXU1sk8odes_KemJu0N8e5mOxc6rMKGEA0YDuJGEPi0LlgPQb4mErQ0d8lONRl5amtiKzlN8euLB7xSvK_UGtGLsfKPxe_l8GCeYo2IuePYCydSo49OgaHJyYXR6puqGgqUA7PIBZ990ZjwRt0LP5ooUkZ3ffNrO7QN-nZ8G-pTlX0LtwGA3ZC3fGgZ99lT_6d7yFVR_pAHAutcWEgfhr_dtKisBcHy5uclZxIRY-emB-EpO22vB2edtC5hsurvLqcmDTvPm1tshtvX3E2xpxQb3OTrdxiYRH7AEQKq6Eoca4E73_TrXRLRlsbkhZ5bdrSShsOhjOL2uQEmSmY4zuyv3JJyrWRVdTw7u37tEGwo9v4H6NkWdA-2vumqcGHmOAyRqDLLTbAYV72ufBpcLZEG_HznfgGfWNnBFxI82YeULb6VE6xfaw1Dph67dD1RTxgL9T0eTe1bXVO9G0UO5-ey0O_MPdatwwVasRtJAe4j7Vih8uvW3XSkN9MCqH2Mwo4ihQQys_iMrkoBGcNvdTlUzyBERCrwoxEvELO3WEwXKqJdx43C0ENi8CHtaUnU7Jf86I2IhRZ0SE3AAv1kZs594g5I8tmojvo-nFkZRVccHjWPNfnEG4PGNmWS3dxGhe0nqveQunb_bgWuZhDkGxVcXw5Y72zIaM-cb_5Pc09TUCBcUIpGjqB5FR0924dlw3yB4z15f7JKkkWfC4h1K4nVklxGYkRu2r3FmTe7ATa6ft2zhkFwcvx6E7wHYbXCJYgxm8A9cncAyidhUzx-JPJHJv6I4MF4G10Qj300E45l1aEhTqym3yrlxjDPFiIdrI_RaTV0cmt2rc7Ua6r9IPY1pi3qaR06DNlQW5NFPTuL37uHdBwWe8xw9e6IWx46SXKKPmuOMY9kI9oregMWcs7Ju5dYiXgs8tvp9mFu07ROXBRQbVKtNzlKoXHmhsPpebBB2FSDpCugas4OKH8uXoX_4lOGet9vECOErdZe2x8tiQdArZDv5BuNi6qnpPRvZaDN2z7mFas5pHt2Gs694M7effg-4b2P6Q9N7DRiEj3DxYmvwmnPcIU-HBONy_jt22VduD1hS2biXBGrhLzWzXfPYmpKdJU1LAQE_o8n3bVxYyLm6B87pWzTXYD2nR4b7-47f-MhLApvNYbldkrDJfZaZgNmkBbKbyO9rtiDB0P5GAUa7bk_PgKyYG_MOw49ZrgU_zTjOizxc2wpDrr9QRscGF2y-08Hp4YBu0ij2LkS_MYGstoSNEuniMP_DU8KM0HJhznsMhJKGdFjblcfi_M_KBnTMgAZP75VlRXK3KjfgbztM80c0dQmv7d3CopOOMx1BHA77L3f3WVQghN_ZMZZUwHKXsll8Nli9nGS50c39QW9vGqVqjKL65ZR7IJSXAf0kb_yRfK8ieBL2I3TQYi_VcN2GxMuKsHxL74gM7l5TyrvLDfr25ae3WMFqHFVb4fvv37t0ddWQ5RRfSKHQCyOGAyDyMbA4eJl-CXIEVVo8TtJvvLknaw0P8gKTDjBt7qe3pjBxXNK_PWUUy4Boi35za1EEeLpZVk5xP9_LkDWtM9nVjvD20vAiVt26xbfwkD1Lxfi7UrnKDye2dhqv09C6rojjnfceOBqWA-QGNL1mi2pFPPDdFo21jJUuX8mkBW6HG4wa5MYMeM16QiadpEbV9Gg-QlZxy8vwUBycPy4m7cMYQcGREZoyRclgANmEzxcFYQvNZUvjCyfYEy0OQNjt8PL49es3Rm9g3QrByfDX7Rl5MUdexutvhi_vIWubUrpV-dmpk6fMyWxB4LASmJUjtLprrrIUxT9omL6YKs0B_EJju459Yd7-SEk557yKNvr5iqB0wIWUOl5nQOu_ZLeoohmExJ7lkGxTGsV8QA9kzgtEgpcSlkdRDkCHAhk0FCDxYdAYG7DI_8yJhf2W2NTh8LET992I4OgHgAxMw6yOFlYzhZx3nNYoJAoAEr7uPoql3ILstuRNFzNEL3a_uGhPSe1w9ICe64X4OZPefshHU6CrRt20kPkMXkzKkv0ZcB919dsEu-T6gGWQB6KrViXn4DM4jsVw0TAKJcwJIzwccUIL7R-GzVkPbX_sM1kQLFxWmXhi5XTX-mE5tjcHTyYkl3jPBBrR8_0VRfQ8x56wfkXqKC3uaa3B3HUWztSjbQqNWnTcTcb3cuOziHpexztJ0WAEbs1yfzQiEcnxEqxWa-19tsTpmpvXa3nplB9HzniYpN9He6eC1remJx639HdqeoTi1ds_WMEDReLWlQe93SKzfDktzcPTans0zWEAPk1uJZm_gGiMGLh74NrwO4qZv-z2qEWzQ50HMYUXGHivY6C3ud76HFWzAHGIPt989LOP2u5eNbFV_aGu5_QYP-ndZ0K0nv3OgAxa0mDF9itL32s42pPtb0Qbleq8o-Sr5oAh8Qyye9htm-7TfCdmAdTK08U0ZHe0XMj_ab53bM_0mSfvpCFDt-mHFCjeNB2PNGuFr39DLMA9wr-VxuM5zMw3nmXU9RWbd_9X8hnPWRhkLSQpBEoh3WKFKX4N4BV_MneFxt4mKdxtzBgQD8autz1a3dwLyy1BvG7Mon8_IgqX_YHtxsyNvdiUsg5A9G4tcUixLWolXTXmD9X-pQ9eE_bKiGTyOxa5ZdXdzySDtNmZlQ4ocIqv8lwzGIQJzHCy2dYAZjrW6ffYK4NQvIann2ZOjKoGoU-j7J_0GrXObyYcX3AFdp8r3Rygd99GF8_LBQjhTQDoJ7MQp-va3titT8JtwrduRYo9oWWrS9ZiWDq6mcfnEDe6su2rXFqbDP0lXDWRDfXXGlT85JCBcFEerxnjdbWgvH-RF3Z5uIovEgz3mu8mm14gevFHQY2eQgx6UVE8WscIXLUeJBAiEvRfHq-Uqo01RDXOgtFBf8Vhz9m_sNaGOByFaOMazEG3iwQK_HjbsdQcDSScBx1KD73xqyBE1FrL8flhos9dFqvNtofWfd_AR4WtBf3CLQc85hJ6vRQgLbYeKe8wyQL2MiP8QTP836jlA77LfQD3XA_uXAYLHbXsdTlDfgCIPYtwNY4dOWgru6-7xgDbMwPs2g6Fc50qzzROsa_6KC-XfSyVPQkuDpneDTvcQeU6M6PcE2qUgaFa5AJw1pbV-xFI08tS0ka_NbNgW-lfTFiqrImZ1fXyZVsmcVs2dclFtzjL6JPbzGLd14qKqWF0WOQ__yan3gwzAUfK49xAeWw0w40EguQnEX4mEXzV0JZGxIGdy--nAhOr3TfjR9_LEuPowcHcPv0GvOSD4BtzcCxDbFepT7xWuUcM7nvyI7z6EDbm5DiD18DukgeAED2JHWmMuA30jsQ3uw22WQ-Vg4dyqcw_iZxSO-x4mt8ZWn4R43rBKbrFpeKoNPkksyWgUOpRPqYjdKMPahSdQoK8iegin2S4JhWqR0WSCgDXjWHNchsdorxAg2KuK8qGWwRghDSkBjAWhwfprvr4WCD-DgUIxFbCMLDSWjQQnqeG27OLThum3ly0bitemh0oIjoYkj_z04WOEz-mI_SOB9aPVA87tZ1fgG49m47GBfCvGO4JEimnhMfiDRP3BSNgVJ9GbJQ-CBUr6gWioyW4GTsJ6tU6nHHAoeuGTAH1vzGAjL0xSVKq1UUw6deVhr8Cstcdz4nOv-UKgkTwE2iQwbMoI9odgCNTerZpeA0O-kMbVOXnRvNtz6yyayKQMTJMB_RkQR9P8RvgafY_q9mI-HIB5KtNdQAeH_hvJd-y5saJid4kRGXk6RC_U3gL9BuUDzLSusP6IBJBx0p_1s6sOzIMpZ8ERxUfoPuQdRD3XyOJh8yGKgLL5YOMtnWb8uCcRZ2WKasnPV85O8w57kKCPFzgO5yHW0uOaAEMskIcwEoRBEKRft9af6rOPOvqYOPCb3NbbcqtUvV98aoZBs6FuW6dw7DxRnhss-zSj_P6pjP-vWEqN75ch9IZPdd-vcG-K2mANSxPF3A_a5s6qD_y57PYgRvtQMVLIcDW0cSCM99ACkbEw1SPy30IcBRv2hYHIcIN4BYPBmOJBpIZ74oy2BcTe8PK2uzq8DWRTHodxX3-6Tsh6Yrc3DJNfCYODWij-4T-_ZleIPoKpY3tY-D605KdgYD_85jwe0C-EwKDYfhFxtAl8sVJaR_26qLwgZa5EGwUkmtHpwMo5Mg_1YCM4MNzIYCDGn7ZfGPVxiOz2Asfa89H3KZJ7-RX7az3ebCe4j9Ggbmf8CqmQqaXT1cmGucp6ZUTVKn4y9DamEWIR2oyawo91mIuHPC2ADkW0-8o4IW4C8lRPFU3D1keBIoO8KlhFAdKzunqevMAVYvOhCr-lDvN-QDARD8MA4rpyd0T6--4mhD9HvPUX1vK2u2i_8XoPg_VeRmqHQxf_3Ak4HLw1lKgcjnC1EZMDIUvYFA0jSxc3ZZcne6TnWQutkanRqzjUcllpjcKN7vz9G8SKShhbsgpOIGz0vVmWnxdVzN4vSgYRmkSr7k6bXAMsy4zfpvqY1_I-lTglP19VZVEzMleQkLfA8BZJTqpkWRkxn9L6fZHzQpbBY78nKBsc47YIMYGIOIllXjTc2zDsTUHQnxy_Q1q_pXXDYbZsFTbJ8KXWwb7N0IRzHg_02oa-qFW10lR040DF1n4M_iKdru0s8aKuXAmGkattzoSFu3yjFj7u2LGPQt-Ko9DGgDpjeDsee5aXGe5JddJrx_DXpLlFYvu2V5STKXk2lmdnOLeONyYD_n1G9mnN1K3aoiLR8soLMAZFxhuRC4HGcN-S8VI151n7TWiR9jFPQTkNwTW4GV4lYuLRjEZpQtpmCzwmrV6ikG8_iyGGCXCTVFm99vQcdC9XfKIBcbL1iR0nTqCzDSVII1_D1hOiRQ4wNx4UDkVXNZ5FxuRhx0NXbvWAJPiLRRrzvpPvqIYLJpXalHamrdscf69WjSlqA0L4iJ6Hgg1kwu_smjS7sforRZ0JpceN67-_21Ye5Le3uj2oQvAdYuzTks3s08ANhcjmuO1-ipqfTd29AHn76Gt-XbRWDx5roWC8dYzSYCgRwsXUNRgMvF0rzZWAZgdgd4B3viYncnZ83tjq8B8zImJL9qwPotCjrRASp_79h3utExK6sVKUVdEUcSEjbEI8Ub5g6KvmdgNf7cVjW4jkCXGSlabgZdT6Zer2grFcl-KGG1vzY0PKf9ULgHrLhsiLzyLViy9pZxemSdYmw_0iGG59_XRirTNuGphBfsOGlm_elpadQcmktHJH6H9PXNTWRhD3qfFh4BPODQwL1-QBmyf2wyE4XfnIdMZm_Vo69yMnpLRseo9GTxQJAoFtbeeyxaRjP7Ko40HAu-c5Gfy4G0Y9-3S3ySLyeo3siP_44lw5TGATUl3Sn4soFsBO8k9jmsGHBY56anVkLY3DPVbP427AGBphGs1L_qIVUzZ7Twy3X4e7BqGZMeOcJaPnQjgCS0iCrl596enWWsFbcVzC71gT4k21IBibM9ajDMosdhGENKrAUl1uNSPaIGTzBVJXRBxsuKAl3TMVKHyOb270jJu_8ageDdBX4tB-ueYqxjIO4N5-6xNmNooS0bWI1o-O-EYv_kwGR3Dyv-Hsq75ONkbAtpItAHBg9Ad0EO2ixv1GX3lsi0LIig_shlbgzl5o3UOffAspJwb-EzLo4bn2W08yFugppp550haWJ9Pm6sSLswofJrcTUmpn7ISUsr1FQ6tG5GYsv2gutS_3m7sq6dpvWY6vqg4EVVGfs4ZEXtI9wWnSQ5ccBz0N7fEW4m67tK_hoaGF3G67r6X52qKA74V4MF-ixFty6e9HQdc9wKM18VseL00oeLQmvxwSrcmI59-xk-R1s0XRDLEkWrRDLAWw0PXD4ZS6Qif91QzGAxxc16sBUY4O3WItkABZviN2kaaGHfLsN1hVOSbvzINTSJMdpxC6YhnxwCvdEln6yJXl7rizTrruXRHn62OFATI2IGcdrbH9wm8Aqs-SYX62R327yGStqEkeB_fHTEIi1XQt9SH54gINbDFZqwFC59BGyIREZ60of8tXDCk8LZAjm9zCcWWWsMHqk9mICyk2FIKtb5OvWzldsq2drcWSVvI81Q_HdyWrfxCnNjRNZpf11mSrLlZVDOW_Tkfk7d77Nx_33rwi-zS_mNOmYRWck5t-O82tbMD5r2meoHmsSq_ZXn53kNE6XOANy1mVxqF8UGSaijbsgjNRsNCnlCK5rzN2m_LdZNjhiVEIHAGawV3D9-ymuSuZgokUPlyWRdX8DYK8nKcsmRcwpH4p2dwivcBafEuXZwk9gD0MP_PdKmvSv9O7w3Mk8_1qCcT6mCesquOiQjt0dM2qrKAJPF4VF1XyssBwbEstmirNUUR1P18WSO4Hml-95xyFZC7iomQJ5H6CjfmzDC_V0DyhWZF30RyA7JVllsZUcDpe5DVdphnOJDr77iWD-c3yOFzwqGQVGO9YPhA-ThPaw1KfUnbTMWsOl2XFEt6daxYiIByqSvjVmPkKhTJkAGH9SWkGbSy4T2KFs4xEdnGXF_ndcn1WOGbLEg5w_kTrKwYm6sNS7mh-fHj0fvHlzU8HZPr3vJgu07pO84tpIrlmWiMyIliL3cIknmZp3Qwpni4HFS8FracgQaY1Qm2vxipf1SyZJsX0LIWt476CTVHykiGY59Cxmk1plk1X-XmRJS1bnObLIllljBjLwYzz3sxZDkgEi4yrBZJoNhtPsJyXPLUUgxbIvWJ34g8IACr-QmJ5igxP-RXJF9z5umhg0VuIJE9VbZGc72c0voIhs9MDyWn9E6MJpMmfxzTN9M-Sh9HeX8BqZyQcGAnLKxcXkZ7Wh3nNQMs9yrFUM-0VAG0TllcWsj68zmw0k7eA5uhErONOhTHhcc2Ap8TUIG9-OpjJdbwmkfxr3GbLrNniaE5-UYKE0Josjua61DxbNbSKL2evwDSECy6RMBvgNxjIY78onDKqcprN3qbnDYm6SnATOzoo8vP0gkTvi-OKxml-MUbqiIDpe2U6-_QjiYxt8glyKcatPK9YtgLDz834yDtDIssYsgGs6rZp4C1o36LXy08_BisArtJ9sH_XMLEoTIiJfRfyq_r4lkTiouT-hIizOmOkjEbIy5qp-6m0lq6LzexlKpKqU24kSth5CjH0zth5UTFy_BOpQV_gccUJvS7SBHaDL3ggChAv9Wb2N2HOGg6cnR1yog6yAUE-995kcgDsEhDilTjLROOYB3aUkVFv-YsK8VifK-SOmkWaX2SsKXJoPJpz4yO9YgSm74TMX2VsKUaW8ij80Agdk90WLZEkNlY5RjZU8AcVKTzDeRdnaSy8wXpz1Tga7T8W3BGlUhtP9j24W74TZ0pfdJ-45faxU3qX2BKE6GnvTEPzFNhf5tJDsk9Ot063xuMWiYMwEt7Usmo8ICJwvgAiu66BiVWF-ytsbAS9NUrip4PXEyJ8yLANdyspTk63zr_js7rEFxngDh5xun-Y_Tq_v45tRvaleXO5YysyGxFmnCpOM4Ts-klfyVmWg-NsZ4d4CxAUmEABNa5oiW_wj1LmSd0U8RWJFpfFzYS8-mVCWo3CKEXzu5h7FqLF0XzWFjnN9Xq0pFfskLPPYZ6wW3A1btsa4ElkJ0zI0_HGzuCodWvHUU83N3yuGsyPNYr9r10PCe6jboeyewJyP7UxrH2l0REePq4TMhcDOSFzwRfzV7_Y9SI57HclG5PrlJJIeqB4vUVTreLG6TPnFg3gOuXuTlEL6sxBqwSL1aWjR7hUmrRyeypQT6kIbu1u8slDTv0ZTs_clnrW7it294WbZ1_aNdwVlABKBTe0NZUT80g3gJpYh7w5XD6vwhbMhihhn4kPN99DnlTWgskRF9cMmoW_xS4aB2CeIVY7mpbjGZpwB2VkQQN3sG7nVJ_8NRoB_zAK3CHub0ra7yUsFyrfT1kT9MgCfg_S-qYwTlJ3FiL1uKbiTC454wbOMMsjYc00XzFS084z8Qfgj0RBwADlba-8ncacwxFXoy3gX9XyYVxs1isKv5LsdUX2xHdj3LcrCKS2L7liCmQMN63e-fvIm1IRPB_aLtI4qAZXQi3wQyhOuHgP5WFv9kBRK3zIxPf6YYUsHyDe4CNqkh7lTiIvbcP6JDALiQTDj32uebkRtnkSEWpuDp8kv-pdSpSlXiI89dLY2OS89RLG8-WnH2f-mOo9Ve49HlAO8y3rahZPGbvWrte5p4Ltj-5F6pvxt2a8XOw3atX1VjoJX0vhOWlda8eFdRqI_ApbwRv3sO1gJ1o2Zqz47nzbXsHlUnkVsFeQ-EXqCbLhxQPiq-NCm6qJSrQB9TwhNwTTBzSvQExyG-s-5pV3eGiwheUNPjbaQTvLL3yat5s6KBX9c06ehmBAGKbiwF_tzSjOmSKpVSOER1Dg16mJDcJvTRXMwY_PBQNB01HIb3qrHalhCJoV9J1sOLJsHT4_kLeqtZ8zkveCn5IT4en8rMUcVDbOCA2uCrclMf3a0rHNozWuuu0d6goo3-6pH08Vb8lpF0TJghVyut_ZYBCxz6bm_D0cZ8FAVGXNANLXgU1iNxpOe8ArwixQqychM7WjELp-369QaHF3CwZPgY5Rogz3zDTeREqd2WGtHkFXjt5v8edC10yw5wHgZeYiLp9wtteTcNE0PAPsgnbfzXK-6-kPZjSKukHfPUrd0zk2lF0PFvfw9nizqMOVRkYILiMPm5HG57t8bw_rcvP6GfK6PbCzzdcj2kLKoePi9hXTlzFd2NVzreB2MPDecH3hARO63_V1xpNX8Zo2KwTYy148A8uY-WF-WyMTcT0auWXCalal_AiqbsgIkOGTYn0YLmW6IbgBmq2h0lXXmRw96PVYRtj7g7bl1EtDqC3UYxFqLBCNBsoJ5jbC4OgZgbzlFTtvArQRaoxYc-ZFvkjeH9pfyKg4as9ZXXFtD1t4UfCNxiC28Ytd8vw_zYhYXDN2VMQTN2rO04nopatJusF10GJOaHA3brEZJlHHLO3grAHWLT723hmHcBvI0Lckx8f-DBhDj3o7etbY8ULOGDSGKqEI0HMWH79k_seZ_D_O5P9xJv8Rz-T3n4DvP-P-P-Dw-rl4x-Y3O4oeCODCj6RPp-T_qD0Pde-KgGyAzJ6AIdYZdSNahZWubhWLxOyiOrYCFujkd_rit06yNB64aKwy9DVhnXLkXElW6W_ta8UTceWbd_ro_Dy-hDjjOqwjIQkMKWwUgJHOgSyv3I7Rs7rIVg07Lj64MSxlDdVlRScAuE7ZPdkCirY-p-uPVs9wqZP5mz5q3n9-HDvOvfYxaLcAP9vNd_Xt093C37LRzUJrKEgEGy_TMxpfsYQ79TXK0ymvdXzJxNPu5AeSws4nEZIE3j-_glfNac33_KYsj4uEJeRn3gnRORkD9GdSF_y5cw4RXq0o8qng5zYUVQ4PpsPVTjixvaSNUuYIBNS8WGW0Ikrw_nwiAX_-efbbbHD2cK-hI--awsYxur4iMobvI3oUdCpOHCk0qJK5AfmrFnUoSq4wA_hdmLRBuYdj70jBviYc4Rgu_s-5z-pKyI1tsfbKXXvHFWHer60XpuU-10ALPTLiPwgyIeXSYuT7g-JD_2sbHMTA2ItSgRmeCqKBWmoy3Hd10o3IMRCBzOf73mq_l73gvhhum5pUvra0qfduD4r8mlUNskbxazRw9yi4OsLaZelw4saOLYfk5ZwTcXXIEK3UrayuCoky_I6Q-LONOv4rP3ufEEp-Nub1z63sAUcv2pN6BtEVzSBvcLVJrcKAmvWjd3m0YYUDxnGvjVk0sjvtBBRzs60ATad5hzYc7k93tZPPZJec9BQS0W33zmo-79sIHCJFRI74lZiFXpCnZJdw_xE53eqAvUNydsGTtK4v1LTTLQG1aC5ZdZPyaMk2GheFleBidZor1ZuHuG_XW2-0DVLxol9aqvDfZcWu02JVy4aimLvnTHooJFQQjV-JXebFrgvE8NAPopJNHFaT5apuyBkjdVOlcZPdkTSPK0bBZBakc4nnoD11MeJhvjlV7YJG70QE1EEWl9w9CpHcSB8w1wa1SLwl0n9yxVnDBIfR_I5EL8jTMVJBD5MapIHIGGytgAbZWjXha7RujwxHuS0nPMQNNzbSZwkDpCUfiAocFGKhRkCNw8PuGc8bH3avRX_YqVdkdw1XgaAPTvmoS0h6zY4HeM6NIKl_OMz_cJj_4TD_w2H-WA7zjfvBDdnmu797vN6qmnCiupXVfYFhUOzwLgOKOhHYZH0zgt1L1Enc5xu2O_Xbe4YfPErId0f_WCvUx-8hjIfByxvzeHUy0253_im_YOAwdOiikx2P3bu99IgXk7r7fBJ1F3jcK0vdAuV35d6XOPUxjX2zyZWGA24v2bKy8xrSP6m3-7dxcqsFxHZxDxAAblDRNa4PeUKh7wLQ79x5K8gy_FZP91D00j5436en5ta3z5MtGoOJubWz9Y6mubAPaXWxgmeR662dk8_f_j9esqx01y8BAA)

### Guardrail / Constitution

Governance proposal guardrails

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-1b63MbNw7_VzBup151JKVN7zGjO2dOfiTV1A9d5KQfrEzM7FIy6xW5JbmydUn-9xuQ-yB3ubJzU_nyof5gSyAIksAPIAjSH_fWe6Mf-3srkeQpVXujq497nKzo3mjvjDA-vFF7_T0lchkjyXIBtsDdDZV0zuecrTIhNRwJrjTTuWaCD48E15LEWg1d8kxITZNpyri-gSgzf732WLJM91DoCocYjWByAVGv-HoAXV3gWtHfryHLJTXse5_71TJc7mfVvJ51zaux4o-Db-B0fP7qzfjVCRwSvpwSrankCr4ZfJ5zr_mYaPIL40mwjUq2pmO-OUqJ6mZ4RTmVLO5qZ3w505JoumS0Uwjjy7eMBFpfpvSefUjphCtNeByUYCZAUvYfmpzTO73JaCkzwDwxlv93TlK2YDSZCqVDXMVwM7YMjXhKVh8SckQUDTSe5almv5LNZBFoPM9XqKw3PKFSxUIGF3SxpjIVJKHJaxoLmRyL0BxrrpmWjAcnWq3zWARaXxN-e365yYKTmMUiowm2viWSkQ9pmEsTnpBU8G06RyHjLEtZTBC6ITnI8pKsWBoGSdW8OaYZ5QnlcTfjRUYl0UKG2lHxMUvIA5B6y-jdFq95jOqL7rMNF3yzCutOsjhk2QdGPxeTFSqT6amkaZ44ILyYXk4uzmfvX_18BINfuRismFKMLwc24A1SprTyW-h9V0tSWHSgAv7rjbTI0nzJOBThaGq_beUdiEz7_CPGU8bpICZpqpimg6UUd_rm4PkPXyyJi0EmqaJyTQepWC49WD5SRiXAxtVBKjz0znmxsXzxHjLn0Lkp9Oe819qlvHk51FwTGd8Mi-0kKv8Oh72ex5WrU5osqRxnbIjxfvj2JzsL2wPnTO9xaIAl1Uc3hC9pMiWSrKimUpmGLHsl1lRydJhxjBM2ZOVKsOImfCFsF4tgqCRZyX6bFJlAsFXLr9suJSUql5tfmb5JJLkjqZlKc22X9_B7GeVaTcPDnKWacVXzAFFQUrv5hxOOkyBpo-Ok3eVIJBSiJdXTND4XY87bM7RqHysl4jOSQXRGsgeZvHGPz0jW0eGUKQ0R_u4SaTh8cUhqcxfhpGp4w3EzTWz7kZDUl_JmenrUlUyZXcVzgiPBF2xpgWcg8ZakOT02Jp9KmvxCN8ee_c_IvcNSURkPUM-FPsG5HbeRN-abABXNu6Qy0IKqCZBfG-cvRjDp3mAAB3_gjxH44xAmfCGJ0jKPdY5h4A8fZs5jscpYShNE7qUo4sZo5EK6ZgACgxdFqOjoGiPbAaospdrAYjiVYinJCgjnsKYSPohkAwfgeInphX2AcShjV7CvpWoqV2ckOycraqE3zDl-OaaHMme_cTNEb2eWeT40KMUUhsKapCwxgICIWSSp3k5MhRvW5Px0cn4yPjw9AcZxz0_GaXpyn9FY08TuRgE62rNwKzRgAXj8aOKB8_1QiDQoIrsFEuucpHAAMSa72S2IBdqs8kLsb6LJkKQpRP88KHr0DFfpwQ2uFx5X5bsNrmcOV0sRhQXoxM662JRb1NHIrjaqIoy3-l5DM1YTLSmZ-V2qAufsTHM-j7LbPtD7TBlxW_VouYy8XQH1py6gyiKCPQ1SJQkjNUDvRmoTtFFB6HsGtFYLCK70fp6vik_HlD8azPN5RHkfaGJGoRy-d4RUSEfZ3yPTNsRvFfUiKKrLLbaKehYQ1ek7r0nIdypql--0jdB0o06PqmS7HtUwzgPu9XgzP4Gv_WXopDKOsz2Fg5U6dSbg2dGhj0Zlxov5oDFL46tnJadntjYshVLxo7GP8Z-cK7KgL6VYudL-5eR2ZXfrZuBnXgUGBi9sG7RDumWIwuPUU-o5wqssrSUdMxPbx4D4oGv6kb8_1MOUgvCnhttBgdUbShJHfpvZBh6HObKfNWGp07FX9WS87aidbuOowOSvkK3NOtrarc2jSqYODReqcEi9ttbLw2r3IGUYaUAuRLMw3DZfBYmyELQ_VocIR_yw76q90C_P0xQS1fOaYD7P1pCtX1NPR4-Qan9eklTRNjmazxNICqEhB83WkMB333UsznQ03Xtt2RjE6m8eQ7ZWjv3xvIPDX8qc7iru_XUItqYBKyqXdPCbYHwEMuevsSCPLIatOPIpllBgCggkRJMB5Zj5J3Dd2E1coF3_A2JbhxhkuCgjsxKkbzD6JFSmG6zsXBc9rbziy5Qw6eHLE2_EiQUQuMaj9fCMZNdD3HJvUCBTkFA7Sca1AAKSLvOUSPiZqFuapoDVsuGTpFGFTovkqfxW7c1B7aH5sYRQ7sNBN6tkxdZKsVP3UXhUE2VLZFSkhatmjxvRWMUB7LdYQpwVgiw0q7rKiuj4xnOruLSw_WpxWzvqgkmljTUltR9Uw2Xr0D5lCRzUY9m4hsseqwlEh5PhQmmoBLa8zAqxe5fZ6-BwMlQ8qbu0eiRrrIjhivfduPToSNIZS-ziI1okOVOW9CGrt1Zj5nix7Ihg5Q9buJo5AEdcVxdA9-LdraHQ3JhZU5HbhAHGQ4sZs5bKyN2daKqos6wX7qpQmmMUFBkSFAiwYIzo0Rl3ZZVNOysx_G0IdZEVF4jHtoSpDF3mKYLNHdM3R14YMFGnTX44_Hil5TrotEWV0UffO6llR1nZcFXJpF86hveQGQpJHX-wB71W7bpmLaVBuX3WhWp4D3EG7wPBphEq21jqSqg6gnIQjVGoFg9x1mtCdGsgr5kD5XR4b5bnhVywJCqlkOZeOkDaDfz_PoQTruUGMsG4BsITKKuNBSCewgdWt27R-q0NdUJaT-hqfPCAZd4DdHS2ZjOcsb6vD1kGadakD5xWwm7YcyRX_oBu1iXM99liLmWFli0C4cFxXtw0IOrZ4OxCpfP9w2hUVZU7eWxICNWcvy3u0OIui215UWEuJ561Lyf-fEfx5zuKP99RPOE7ioffSFzSVZYSTcuD12OH6HwI8fhHDZ2PJL7wtUXHwwMUqeiApOkg5wuRJjX0wm8LOq9Um-8FXv18NCyCiYKo-FRfDpdNw9nF1L_QnV1M288Lyovw4SlbaBPTmxzNa-PH3MuPldlzIqKKBKjz4j7yE6Uvu-HeTaZiH2RUtxY7SUuwVFIOAAfVHQV8qu4Y4FN1R4C7ZAlsUFrEtxDNbsRdH05-70ONgDmv9LYit3RilD_hCb2n5jy4v18tCeAq2i9H7cMPvT5E--XQffjRfC_H78Pz3ruda7s6Y-5Q4c4YAAdexRquypuQPlwVtHe4bIBPfvXZ42xfl_idDHav6oHdtjHf_IGm9dZ2BdG-uzo0MdL7Jb1cDNraa8AJo8E94phv-vCToe0YCBDZ2NGrbw13godvI7DBqcidr5JP1RnJdc5j5zxW-6lLrV3Wp1Y3fA61MjW3GRhElVnfVFm7f2b89G6XL1LaSq9LPVWh94xhwq_gum68BsFNofaOSQofcg23lGYK6JrKjamfYpj2S8JG1rWtmeGv6z4oAbyuyi6EjLcXZXEzNOPagrE9K9hiLo62xqntpnD7MF5cxTmQ8W_Fonr57s2rQ61uXT0wNa6_HhYTuMYNSLS3Sa60jrpFHbG-cjjbpGUE093v3uX2HZmK2axX7ClljCgCfRkciq_b9vQ63DtthG9ic7CMZhfTMvHrw9RuAX2Y4kYxxT3D71eaYpPRHqwZgag4qJp-M_MCrVqDMUjVdc0Myi0_ck8xOcTDQL1oJ5NgxQmhKNy1eJ_A2MWlsi0wQYRBaQSh_Xw3j2MsHrxJlKBARLgNqKSPkLGMlpocjeCSyhUoiKZF3uyYBTdh5Haf0zTZo6l3RVZJ8T3_81cCOVcbTxEI8Hod75cqWLQj4w5BUY7u4qGgFVCQGd71h1BQzq9AgczwlcFDjF-LmYtFPpWFt3l_KEfftc2DgcBtqKz_JYFA_m-BoLTF1xUIXG08SUbwFCdM59a0kRd4h83oC2J4raTCgJ8KYdWB9NHSPJU3pFnWx0qq19mU03Gq_X8kN_UcH5_f1PbzT9TdWY7DtnMM25pgI9JV4c01yg4x7k7CDW8OvYhusX1FMAlGq-b-FjceNbaDoWvPryeOOcs2_-j7rr-Ht_tr_z-WiVzmK8o1_kPzu8__BcS6pkXlPAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-1cbXPbNhL-Kzu2pyY7kvp2LzO-s-ccK0k1TWxdlKQfrEwNk5CEmgJRAJStc_Lfb_BCEiBBWfZEaT5UXywCi8Visfvsglj5fm-1d_RDb2-Zp0WGxd7R5f0eRUu8d7T3GhE6WIi93p7IC56oJkMFqgduF5jjKZ1SsmQ5lzDOCol4shg84_mtwBwifKc6JgknTMZtuhGVmFOUDd5ivoQoyZeMZLgmPMupkEQWkuR0cJZTyVEixcBtnuRc4hSi5Y3b-h5lJEUy57ESb6mEPTqC0QVEsX08Blc2mO4lzvA-sxJO9-AArFiwxEsm19Ax05TufepVmnNJvqsk_64teUO99_19eHV6_vLd6cvn8AzR-RhJpSMB-_1PU-p1D5FEvxCaBvswJyt8StdnGRLdBC8xxZwkXf2EzieSI4nnBHcyIXT-nqBA74sM35HrDI-okIgmQQ5aAJSR_-H0HN_KNcMlzwDxSFvFfwuUkRnB6TgXMkRlp5uQeWjGV2h5naIzJHCg83WRSfIrWo9mgc7zYqmU9Y6mmIsk58EFXawwz3KU4vQNTnKeDvOQjDXVRHJCg4JW6xzmgd43iN6cv12zoBCTJGc4Vb3vESfoOgtTSURTlOV0k84Vk1PGMpIgZbQhPorkBVqSLGwkVfd6iBmmKaZJN-EFw1x5U6hfKT4hKXrApN4TfLvBa87REqcvCM7ScREk2GZvxohLgjIl8YTMKZJF2BqCe3gxfju6OJ_89vLnM-j_SvP-kghB6Lyf2m3oi4DTdY4yONbPiJDbkBtofZCcmRX2lUv2RWCNrREFLQRO-2nevyY0NYRTauPFI5B8SqELY3tTGndHnVc4nWN-ysjg_U_t3jHHWZHidsc7KtAMQ8QK_eUsxzzBsTOBJ7t2OU_us5zOyNzIPTYPz6nka4gGg7inW0dUjjlOm81jxNHyPcoK7DZynP6CXbI3SI4R4Y2WFj8tcr8Px5_xoxn-MIARnXEkJC8SZQU7mGZKWbLAyY0K0zoZEDB-lucZ9E-q53eUyIruGo6BkRlcQ8R06EZUQhTHwDDnKhrvRhc_DkBpXqEhhpWxS5JTiAiVeI65iBWZJr1iiLFsbff-CnINbVhATgGB8qsUrsrtvvoX0FwuFAYTASlO8hSnMOP5Eji6NfzGKuBfwfUaFoimg93sAjHinmbZ8zuGE4lTZXF2V9RX_RHVt6iy2KpJfY76_RNt90opgZ5nBckkoa-IkBCNT4VaWkUfhwbkeVY1x0FBlUUsciLkabJOMpLAAbAZuYP9A2AZWsIBTKcCZzNgN4ASWaBM5YB6qID-ieLOcEaWSigzVQTTaUkCHAtpycyHLZFMFq6s7MZ9UqMTJLC3GgAYvybUeH3_BJjaY736aqL9fx9b-doj0d3GkSedI89z-fwPtWQ1kqqkBKIQh-OSg7cJ3sP-N9-A0qPX1lj7fkCOfa1C02IZOr77lhfYtla7oi3Sehm2jiQetMdO26owM2RgG2y1aXpNibY3PE1tba_b4jSsd5ibt2t6LZp95McYdqOUKGKPAUCHd3vbWHH3NzS8pf4INWWjN2AqviGEuW80D8ataewC4H_qAniu_6LMIPznB16OvgjwPhaSbfKxFSS3l_B4SD4vlvbbENNt8JkhwofbeIsmLL3FLuuecXZeLHvAOBti-qnlMC2Ib4J8N8w3gN6VRE8K39YLjTXoR7UKvgWPXJGE-Dvh4CH-J0_gHwoaD81z_NA8jYni7RCjC43Oi2W4Y4hpN-o8IfzYnPup4cdN2R8Xfp4QmEpZnxSYfA_8zFHKO7l0RakwFHrW8GCUeoxdfN4I9vDMf150-9sAnENnHd6cQ0tpQzXdFUh0g4V7aKn7BvB2gcuUJlkgOsdpf6W6ND8iQEiSZcCQEDgFJOpzDE5QITAQKUAsEMOQ6vdD-oB0uyDJArR-1KFTHej6fchn_uRwiwFxDFme36ijE5I7OhW1leIcVCP3IG88UxtT7aRxmMWxdq2wQ9ZURrclzlsjMV7mUB00opCRyWKH9W_PT1tJrOdVtiViSIyorExYzxX7c7yxiVFgkgxL4EhqKDxWJqC_ecx8V6kRSJObqSO2wChVPmdYxaExCqtCYyImEcmcwe5oQqGNmSE91HIFYMSoQS-NrfSfpg7MkO3VUMpUjgiZiJ2vRG3RAFG9xz5qux-dOa2GwFZvmgi-JYeaj3V-82cjO_Npw2nz423BavgQcfjI26CyOL5pMdXkWinbzbqJMpBSmY-D_C9QJnAnod3bdndgRMRokWWVYCJAwlbCt37P0Hytezbqas2Y-yld66zQC2G7Clt_H4B9O7zEfI77v-eEHgEv6Bt1Y1kFLxWJEv0CtjCnNRV-yqilXnibAOK8o72CSC4w3BKO-xle4UyfEkwkjCx49pyQGV_FPUA0BTWqjHYahQUIkmIzYTmVnlgzuzY5oeYudhSjanU8KUF1tBI87HmD7JN5Ld16fWfi33ZHRiv01plqMptDYjXemZsmM_sKPpnNW4AUxDQ9itlBrAPE2rltOVGZ3jpKvGeJifWjtAfld21ErVOm-ahAUR49xkQfnWt3rHiFkcJ4aXNUxGZC2q2CfbDr6wAbN804BiZo2hoZGKhsmnSieVTLpc6Fzuq6oRECmdImKN4PqGmLQZ2xt0EYTP-bzKyZPUDEnhYrNikYGko-2UrHepT2pkp0LZ_2qs2jtg1c3W-Pw6ce87EiNE5JNqz58iWz-a6izT8G8DJfqcIUmuj0W0USfKevLO1Z6fOj9y2RizMTUMaVEj4_jJtyF3UBi-9koL8F0C25QkhdIrQJvpDIuxKbDWKqBgOQ3vz3TLiPh-ZpRGe5A5HlUaeLNHDy4TnL1V23re35DRgLvaNgzAplBqBszPMEpwXH94w1mw7nlUmcajNovytUAK4OTPpymGtgyvkcS4vFqUaohxnHJpjM85Vl1AwWap55vhqldxrtXYivBrX9cp6vdNWDaKF71yCF7UlOgyHnMuz4USmYgvvvwzQ9vYDEtSmtIWVXjTNbJfNGUEp889yct3u3_JtJAf4TPSXv2Sis1hJD4jViCtOaWugeq3ajypb2bZ7bZBEeHWTag8jZqx97sAGXy8-HUGN54W6eftOngp3ewf9zYMoPV3Xp3Q4QuaMExXvv47zm8YDNtqmChbib03ETOE1KWYGndhOzzY5RewbcttBQHIi1xdkDXT2V2WLt5bqk4gACaO9amrzbUOSoC2O-axfG_FXg-FeB418Fjl-wwNF2TdY0p-tlUA68ZBmS-GckbrDKrbec4qsvXJwplgL3UZb1CzrLs7Q2vXApYmc5X7PK8OXPZwMLJgIi-62uVC-7BpOLMfxRGra67phcjDcUvr8iM6mL0rcpVyzE27uaeatrYLE_QmUq0SSwoUJAZL910KnmgY4X3lKG5q3JbqL6OCNULo6gKmrYQUzXKXhZYHkM1fX8R6hu0j9CeemtomNp2CBkntxANFnktz14_kcPaguY0kpvS3SDR1r5I5riO3NveXjo1GlcRoflrD34Pu5BdFhO3YMf9HM5fw9-jD_sXNvO65KdKdx7JXMM3s3UZWS104NL2_Yh1nnmR_Cvl1zK-t1smXv7g7TtXtYTu32ndP0Zt9Zb2yVEh-7q1Bar9l7ZXi5G7bXXoQRWG-41ntJ1D37SbTs2BIgMdsSV_w13Yg8HERhwsvnsZfqxymxd53SvfGo_dVtrl_VbS-9xW6utpiYDg6jaVlP8_cK-QKwPPR8_7LKiuq30yoyG1W3Ga6IOUeq-3LnwzimUFxZwXUi4wZgJwCvM1-baAakLCKXKPqa6iNhcZmjo1pB-1QORu8XGs5wnOAVCZQ4IOJ4XGeJQ5gaa6e0C63k1L_PqxdYoq9n0bf9uLjUethdXcY7JuF44hKhePpQoMuyB01rCSOwZk-ez27Bp41KIoyL1ufnhuEl_StdfuTmbpOXIKUncWTCpfh8h1FF8EtuYUmKEBfoSHOzjpphew73Th-g60QfLaHIxLhO_HoxNCOjBWAWKsYoZ_rhyK9YMx7AiCCJ7UNXjJrqYpVqD3pBq6IpoKzf0inqskkN1GKgX7WQSxJ4QzB63ab_AZnslxxApUDqCUDzfTcls2qrrroxCWYTboZR0D4wwXGrSfY1TvjOpt0UFYUVd1bEGyLvevPie_-krMblG-fvObaP80VJlFm1k3KFRVD-ZcuzBtllTMKWrIStwf4RSFgY_SPi1bHNdrv1FdniT94dy9F3veRAI3I5q9x8DBPxpQFDuxdcFBI1C5N1nBF_ihOn-ktLPC7zDZvQIDK-VZDfwY7PecWtunsob3AzptpycSqQGn45T7Z-R3NQybp_f1Pvnn6i7sxyHbOc27P6qtx3Q3E3ZoY17Py124M1pt-hWFQttE9-SrqLmgM19TTjmFzrsffrQ21P1GSv__5YgPi-WmEr1b00-fPo_A-kIDOtEAAA)

### Crowdfund

Fundraising, withdrawal, and refund validator

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-0caXPbNvavYNyOQ04lNcceM5plZm0rcbR1bK3lODsTZVKYhGSsSYAFQR1N8t93cJEECEp2Wrn7ofxiEXgHgHcCfPDng-XB8FnvIKNJmaLiYPjh8wGBGToYHryFmAxui4PeQUFLFosmBQVED1jdIoZmZEZwllPGwQmjq2RekmRwQglnMObFoGqbpJjwWxDk8m_VPI0ZznkoqGSC5nAIxhcgCPVrBLzw4OcC_fIzyEuGJOzB11416Ar0x2oUPzqjcOb0uf8dODs6P313dPoKHEOymEDOESMF-K7_dUas7hHk8CdMEm8fYniJjsjmJIVFN8ApIojhuKsfk8WUM8jRAqNOIpgsrjH09L5O0RrfpGhMCg5J7KUgBwBT_CtKztGKb3JkaHqAx1K2_y5hiucYJRNacB-UZjfFCx_HM5jdJPAEFsjT-bZMOX4PN-O5p_O8zMRivSMJYkVMmXdCF0vEUgoTlFyimLJkRH1jrKGmnGHiHWg1zxH19F5Ccnd-tcm9g5jGNEeJ6L2GDMOb1A_FIUlgSsm2NRdEjvI8xTHkmHr1UIC8hhlO_UpSdW9GKEckQSTuBrzIEYOcMl-_WPgYJ3CHSl1jtNpiNfdZeo0-3RBKNtk3MDmn40ysGeYThtIyaejaxeRqfHE-_XT65gT03xPaz3BRYLLoK8_VT3HBC7sHrbt6Ei24fuExU4vTPE_LBSZAe52JetsK26c5t-GHmKSYoH4M07TAHPUXjK74bfT86bdSKklMSYKFasH0N5DLGSoQW6K-8qT9lFr6OiM6WNwrLswI8Pv63oyErVAzSUsOWXw70PEgMH8HgzC0oMriDCULxI5yPBDOe3D9orP_-pkCGROO2BKmIMggj29frbkwoaQH5Kvp1a9ndIXYMS1J0s34-rkifLXWJC9Knpd8BHmZhda0GuvrULtag1-Md2p1DY5LnHJMCjV2AtMaGMACHI_bKCc0QSBYID5J43N6RIg7_qu1GvVRUdD4LcxtkqO3MO9AOMMFd4BFUxtaG2rV8Y6IaJSo_hPKkE3l3eTsxJtvSJ9c69SUQy61pd8H0e_4SILPBmBM5gwWnJUxL4Va_u5sZiSmWY5TlAghXVGt3cNhU3o1AICg_xIooA7UWIBFwshSxOVCDiaMLhjMACQELBEDNzTZgAg0FEJiCRyACTAW5sVVrRyx7C3Mz2GGlLAGJREvI3TMSvxfIlmE4b4k83wA3nGcYr4B85LE0hXtRTjCR47Pz8bnr46Oz16BOSbJxYqMSV7qvMNqGQ7B1fqi5JdoLsQkTUGZyNV6TMZkTkWz-e0gMzQHWPwqlPRikUMpEgIOBLMZJrkgwDUBzUm0RpHADw0BOpeyBP8qCw7WAmetGs4pvxWZSP8lQIxRJnPq1jQXiMsxFceboyRhyKS4nvbhsGuaBsK_EF5ievQwSZhaAzP9lAvNayzARckNUmCW4xIVNF2iRJAJxYoIOmZJ_LNUztkzzVaHO8-Lkm-b5EXJ_XSoatgyR9qaIa0no9H9szmjS5TCGB1ltCS8movTPByCa5iWSLARIWSBmA8sUEBZWPsSWnLEJhCzAkTgeDwoSQHnSMSBo0IEjYBTHZxEGxDxDsgHE7Id8Xg8KISKH48HtwgmDU5haLySgzduY9Vswg6tPkrga0YzpXfVAtmt3RrdXC0bJzJSpGmSCiHCOAZaWcXPHzziCaSM1Sr7dTgMwdOt89Da5U7ENHforGcaBsM7D3rfWdCOAWdlwaccMn6M5pShK5whavxnR5-IfxfT8X_E-yUki6a2ip_HlKadyEwiJAgmIglW-mvlcxriezCbpTfgU3kD-i-Vrjp5HkhvJBRac_CpAtJgJlkEovc1TAskViyoxg14KE0Z_KMaS6jgOtboWGyqCUqON_XaNNpscU7Km5_Q5g0sbgUT-61enQZ6ITbs-d1tJWSUokw2iB7PkIoyew_TFBkFa7yLobyF-UAYb4N1Q0CVkjWwMsFaoAn1kr5uKfWq_xIswQ_iZwiegsy3OjCf4l_1Ns-8PGAQBiWrJp8ishCbEUnhDm0KkPl8xkoN_dU6RrnWWLtJKKq19juGtKXbJZ1QQlm9aAlKEUemdVs8k5sNJ5SpNpOgiJFUObTsGrVgacNwGu3KBJTZa0Dt5wOTUZj32exTM9GomwOFmEj7UE5deKFm8Eh80hBb9DMlODm7xrttHNCSfgPMFn8HizcimFQM5NtwCIJ31UDlCGEIopctprCBZJiJ4LSvTPjFAIwokZug_ae_8S2K7xQ7tT6NBiFcyxhEQ1MKnretxiAh7CBg0HxesN2ns7Cdo2jRUO6zOVmGYpxjRDhYUJjWoUUbLFjCFCcqTkk3G-vTDxNXzbsOmlD9Uaas0qtaRR1cZTRRBJ6pX4eHMhezoUBUK64XXz-0Yd-R6zBsRAuv5StA8_kM4vmlWaERiASb6t2B7YF4fkphqsHETw_ESC-whjKvHkgdWzRgXnLd4IB-rfobTkylpl3pSUOmiZ__4aEbtqXwpVjboO1sa5ukpMhttXH6f9Bq1Oa0ZfnlPtHfpRA9AokiqfVe8A7JRNGWNbN3CYEv6Om2sE32HsiWHrgkhMzg5sYdFjCJmdMagNmsSU8bcJ0JWo-fsqakjT6yFVURdEdZIc1mOUNLTMui4uxBF0QdOKMdnZSl700pvSvz7YsOQLvFg-2u-n7C3V8G4D3mtwmDq0cLeIZhI-TVY3h40HtwSLPRG8GpGlhXeOoKS0ZrZH7n8WCOizg8BIRyENzfUYYVos-FvTQOZT868tcBuERxCnH2aCqi-TU0pBrB_19WZA7gtuVLDS0zc_vWHEgfkbgpUXWqFJeMIcKlBjIrZ9YbUx2lbd_quGvhp1faHDp89LepcP0cHgI8r3aiZtYvTV7WfPgtIj6_uyvLc58663Of35QFus-3ZoXusz1LdJ-HZI3uszuL9GHcL6v0Yd4zy3SfzqzTfTB5cHroPlHUPuC0TXAHgT6wDWgH-PY80zO6rrzTT_geIvXnpX5y95R1d97qIWunog_Ri115rO0SO_MygMSZY7dTEXye1lgNAlb-1sVtP9H5bwNVUiZdrqhFeZQgbTzTteGqQ3WrfT8BuyFr3WK-E1avjZisg693bJYVGfVv6uyq1kCGEoQyxAxbuiKaY81O-GEu36pPGbjhLXq6s_5AQJveyHRf1_EzagRTG0gomJiGqKKJ6tguvKT6Ib8xmc-hkf2xVY3dGpt4qvRSfyqLdn0bNPTDNo1qAbq_TDrs2jTqddr28W8nGZOgN8_gV5ZrwWTL6cDDYoHcEvO4rsa5NHpje5zAf1Lb1DLHR4mszDrr8u2bnTNE99kaNrr8_zYnvup20a7m2k-tsc4EdsfprQc58vGe5ai5tI-T3GX-PXaDXpr7yf33Flv-PgCvCGcbkFMsjlmJyINViQwodM3M_oNNdnfSEW68PcNhMzwI_y9ron2gMV9LmHrvxNcg6viC8k9VxiMK8cQHSo1rpGx11qL_rNdJd6g4Ib1qHTCA9OkWnPEYIKrcQSes4qzpFtVLDS-y5pivzcZP1sHUcFVti5yFqHgVZdSqYkkHiUCWvZiPTHIvInxT6LgfsYCJ3vR0LKGzo6mJuYa6c-vT2u1s8WvN3Y3fw7m7mW5_5-xeOp2fWPSktUnBROx5PdnTLocgig0rpTAqERoBudpkHrFvltrvdshEty5YMs3W50Vhif4rBMNhVTHnB1D1Vr5iuu91pWrstequ6wiySPFHu0jxz5sIf95E-PMmwiPeRNh9y-AKZXkKOXoDizuUpvdm0XnH4P73BTrvHzzwIkM3eA4ZxzDtzzFKk85rC4J3gfowTfslEWU5tY56ivp9xdetgv3TNycD7W4KEOhfdcG56RpMLyZ2zff0YtKu-jdF7oMzPOfSy7sQde19Vb0e_IQ2pyVkkHCECnlVoAcmb2G-Ff36BQgm9RbeA-sWsXfcOnAK4rddQxAszWF-D3Qx33Ul4KhQp0iw0JuwNoCvrr-7rH_bPYD9pO7qPsTQSaT2kq4nYq1sPiBqMXZStvahkMnS5EXG-rSnmZpZZYyms1FDt_3c6Ks62tEeu-A0vgPB9JaueuDVLz1QW1YDCpJNLBOBYHoxGdQgM1IJOIN3aCwVZUwStEYJePLEWY0PgdPSA0_Dj48m-stqC7F36V82diuRrqSqyvVseX8Bza--X0DjC999hLRNAoJGQwjNQX0AwRM1LCEDpUPBEzOSHnhWtenx9MBz2bRncYFAOZ3QNdnRXqT2fQCUc9PJ_4fkS7UN8NjzqGXQzS2ZsxcTpYPXLwa2tFtbMdvKvfuwTpBqA9YsWbV5ejC_Nn5XGkZU8gyCSpvsssRe7cmvqH0k9-XjjIC9nb10q0XjOPEP1Qzfsaax-VFl9J2qUNv_yGrVdjf6Fmk9nnBUBjMEk8cKsA4jEMiINw1B1B6DMMncCbZXiGWgAMFEJzd2ZibsKq_jbwtYS7OGbIbk3dCNGO0CByKPBE_ekYIyjpLmuGpCYWf8vn_U7oGJChI9MBGhZCKiio1n1GqToxAsMQSBPg6QeFN5bdFdbaljFYUllnaj0ATSROTZYufVEmBbaFhvzpQSd2I-plLvP3Vo86pUWyURE_tbxmeQJ7Khvn61Vf9UzNA4I_nV5B7WUMWLL2BipymTLXnKH6mMZvW-QR-rhfdmTLu1soY--PqxdwBjjpf2P0GBbFFmiHDxP1I-fv0fkQYnHDhFAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-0ca2_bOPKvDOKikbG2t929BxCci0vibetrWuvitD2gXhSMRCdEJFIrUUm8af_7gSIpkRIly23dxQKrL7bI4XA4M5yXKD0c3B4cPR0dxCzMI5wdHH14OKAoxgdHB68RoZPr7GB0kLE8DUSThALRA3fXOMUruqIkTljKwY9yjtLgenKSsrsMp-Dhe9GxDFKS8GETbk45TimKJhc4jcELWJyQCFeApym7C9c5DSenjPIUBTyblG3gxTflzTsUkRBxlg4FPbGg7ugI5gvwhup2CiYxsDoI9NhxouhZHcAjUERAjOOEb8A1x4oefB6VTCr7fyyJ_LEi3Obew3gAZ8dvXrw9fvELnCB65SMuWJDBYPx5Ra3uGeLoFaGhsw-n5BYf081phLJ2gBeY4pQEbf2EXi15iji-IrgVCaFX7why9D6P8D25jPCcZhzRwImhIABF5HccvsF3fJNgjdMBPC-E_t8cRWRNcOizjLug1HRLcuWa8QzFlyE6RRl2dL7OI07eo8187eh8k8eCWW9piNMsYKlzQYtbnEYMhTg8xwFLwxlz0VhBLXlKqJPQcp0z5ug9R_TmzcUmcRKxDFiCQ9H7DqUEXUZuKI5oiCJGu3gukBwnSUQCxAlz6qEAeY5iErmVpOzezHCCaYhp0A64SHAqdpCrXzA-ICHaolLvCL7r2DVvUIzD5wRHoZ87AfrIxkcpJygSFC_JFUU8d2uDU4YL_2K-eLP8-OLlKYzfUzaOSZYRejUOlRjGmWPTtY6SVmsckYz3AZeWcyt4Ilc4FltynDnW2BiR0zzD4Thk40tCQwm4osodbDHUKwpOQzpa0WG7FznD4RVOjxMyOc4yFrxGCXhJxNhNnjh8SQX97udmr5_iKA9xs-MtzdAag5fkxZ9ThtMADw1yqqUV27Fa1pIjjsHzy4YZ4nkM3mQyHEHVeo5DjGPhDCeTYYF4PIbpN7wKhE8nMKfrFGU8zQMhyj1Ms6JJcI2DG-FZC4edgX_CWATjZ-X9W0p4CXcJU0jIGi7BSwJW7GkO3nAICU5T4UZXNBGKeobpFb8WaD1_np2JFnKDIQI0hGmJ24sAwdF4_Ax8ETdcYeHrzfFTSK4ZyfhxsAkiEsAjSNbkHgaPIIlQDI9gtcpwtIb7DMbPhEomOCKxmA681eojpDjjYi1P4QcoAAdF0xCewH22L8H9NIG3nESEb2Cd06AwwvuR3ZrQcHFH5zTJuSFCz5cRkdi4-J4rDl_cz-mcrtmwPtDBZM3cgN9rxsaIB9cgGkRHbYqHJDNvD_m9mGkEtWZ5J7o-DxXeEnMrqCQEZViCA_hL4ZREpCPjvhSv4WOJTlwR5iBISHKeieWtUxaL2EsszTmbpLeYid_PhcYksumQSCT8fl6hF9cVKxC7lFENMQmSV6mc9Q4AD1YrQhOtsE0Ag1NetR5Ck6GShxbvQ0F5QTvL-TleG6x2oCRr8OojYDCdCq4OG1N55iZq4nQ0abtQb5dMMtoJFTwdlHLTXR8LaVTW5QpzCXCyOQ7DFGcFpKn8JzmJOKHSCvjHWUF-pf5qO6jB6m7LmKFz4t7mSWkECsO0bqfkMlvFv6vIU5yx6BaHDaFrvW9AlrgWOReIFjk_RHJ9Ds1JyLouS88eVCiP-N9QBukxYCCWAANLl2AghzTHOIAkjPpJKInkP61RUlSLnH-RkixyvpuGiAFD95y99YPJgVsUhOW8j4IwsYIdhNoQaU-BluIUdPUS5w7CVBzR0jxjtzhCAbZE-A5FOYbDJUs5DuHQZxnh5BY3AwoTQYezu1WMEd4DU56KYH4KCWeCIwxuJZGEuuy4kM-apBmveSLQ3ojdYFqhK4XlJRkNlWrBAAoUjV3gntLg62rFb5ShbMPMb5qbS1xPXI2S2qrHGGnAKx5pGR2H6HnKYuV1dzfItsBsbDsa2j-Djb0V2uuysKa2DgyBmuPscNbaQ09c1lBxUxmoXQ2hUzIa1642bl_mzc3Pb8RN0xzFecaXHKX8BK9Zii9IjFkt_C6KoLcoAl8YpXsBYrNS-xTGomE7yg5blSJ6hSHEKIwIxXaMLvski0pKokv42Ii5o0sFdsbucHrCRGYvEoaPJhsVrGivR-IA_nNCCcfA68bHzL3h35ViaV0CPoTBv8oVVBilGStzy-coynDJ95OieIPDk43F7wsZvkum-vnlK7x5ibJrB5cNBB3cVelAcnNtc7aRJkiyhYGXBRemnYaZcahMwoSw0omOVCITFdGaRrs9gbdaZWW6K6P6kgbpwpOb66GZtV-kOa5F9E4PX4mh1i2IUy06eDfWWMgsy-P3KIpwzeaIug-iG0tWta1h2BwDSYfMYsN7d3A0QSS1WepkqLdaCciKo21-VUANa9UFE5HlX4vJdRRRMEyEA7FUb5Qsye_4K_ikMWxhEpgFFpOCNYk4Thc5f4U3KlxesxRFEXiCiKMjeIU3L3KUIsoxzoYglzIp6C2XWYUNnkm3pTqS9K7VfSn4sLaOLmbc4A3YWuMXyvG1qgO27jSqAM0UCuyQcJ3xuoKJDXyDN44QbktKXkbpBUmDjv1u3VSRuENzBUp4JCXiaa4pTRraCZgsoNq2epHrkpRdZx02B3baaIGnZp5FkyM2CAUyR8nJ6G1WmUw6QlvspnVvc3S1tckcIiyZXCtr7KMO-fMEZowivs_CsZ6gTK7ddsBmhmNzSw_u6OgKTx3g7eajvafTSIngwbIuxrK71FMqlQoYAvUERcfM-v44ZjnlgORPyCgr0__KRsvZB3Ukqnk6hafq7-PHkES4tEWWSbnGKGziqAyAMFp2Zz3sEBbSq-_POkYZmTMDopHeyK1X7bn605aHJFif44AkBFM-giRYv2AoKv7MVLBY3KiQwFndVJOYdDxqmsbVqlszq-sBTKJgCkWdVN22jClJl-DiXxekXpuEnjXC4uaIKiZiOVc3LfCfne3tdWEh6yKBNOKuKnMqp24rKut8yTV6K60AcCseJp4XWcy0NfQu42oDulGlN6-w4rC1mC28BoA7SfBbGlyLaUKYtsMCJKHy4mYYMlC7e2Dx1VmRqa4iau_GZjG6A10BL83NKUtTHPAti9B5t3w42zqjIyV0Xf5_8oxbQ5Xpa38ysZ0Si5M9CSmIecP4tTg7MX6mTa_gdJO6HqiKdSUpviUsz8o1uVZaCNMG_EFNv4V3BrmNvNg5QoRo7pJC10wDY991wzWTdgeU8EZ2xt2NlDcjgObEQvJbZ23UqLqROv1qC_B0WvPdXdD9xCtI7uFODApMX9QLd4fvsdH2AJQYt9tMA2tP4MePG4Z2-4imXdNj9nYu428TeE_4dZiiuz0G1noKK3eqnUsxQ-fO-qKNcdeo1TLV3yJ-M2I2EWl8G3ff371fyaDMgjI0X1tPt-FyGaqBjcu5OQvLRJndBl5b6dc0xobFHdZRtlujwbNpsdJ9bYO_T-AcBxEi8R53QTnDd88vy7MyvUe0ZKTuBFItbOe9qJ6H1RPKb7c3W3KrP2Kf3vVMPmql91bCdqnJB3maYsoLC5BaFJS5tDF2aJqOerhqoxroZbkj1p7Bnow775RFb4ml6-bmG5gcbXZaapi6Al0uEgbP4KmrKtkscNSvnoGZUQBpdNUKIk16dyiQNFewpWBSv75VAaWBt1etw776Vz7s60vqIPbVvyriGLdTjcQxfoeKiX256yf21XXKzrwcj9Abaicj58YpiEHNDfSiHcY1O9Fv1K6JiTFupxSlMV9vldglbWnMspPy7JrKNGbbRde66z5tzqQNdb9Dmp79SNCljU_2lk_9YyJfPbut3sXaSzzpeOcLth6admZczRcBZLs4KT90TrXtjLUM2VKN7suPXNdCNhUFTd3nnStFYMZZcOts-EBMb4RFOt2oDjgq96MHfMeTqWC3VThJx8Hv3U5660NLO6LSw-yQ0g7hpYGvnygeaOIHdV43ERknsFyHTwcl9W24qnC1O2Voe9SiQhrjfMbAGaqrUNdVTjCQyRdMGrHLtnqb01U6wLb6TlmxFOxwGVO9N1193pbSsy8fFz4kYfErVzICdTsTJazPndFD_Vlr2zWQgvz6QusuNdEdKqKWepjM2HHQrKsO7JeFru0sLUEV50r29F6WrzP57ZNpyI65GoFehwD25pD_OYFfKE83kDAiFr4Hb-x6c3CrL1bu1Tl2-vXvLOkd_p3eWvoIcTPBU1hVj7NAMCtS_0KDzh06LkxyqM_OfPE5FSM11jO5UuEyYNl1Lh04qelaJOE6B--IrYoYxdhVLlPtz8zCivVOknUSx_0VgOI10R_t10T_-gzAX58B-OszAN_xMwCqa7mhjG5iJx04TiLE8UuU3eAo6j3Fn-r1_rX4EEIb4FrMneExiqJxTtcsCisddbzZ73z9vf7y_ouXpxNlbjLw1L_qbX3dNVkufPhNqz6gDJYLv-P7MGdkzYtPufT5RoB18Fi_j_8abftoAHjG4T4HrOsTAnlWYRCGWqCxljWrfYzAHFBMuVjO_yeK6iNomzzPLu4rpI2uifKXHip-m2MrzliUvUZJE7RYgxt-VgzYTxDpR4Ty6yOoV5n3EEwWlbJaoWbamFhUr83i9dER2Ac_R6Aq0-IrQ9VhUdFcFp7FIC1e3Wm84PAaJRPBZeOEuoGpqCJrkwIZZ8ENeMtrdjeCX34bQbWzDChEN0ERCHjLhT-pQFa0FHCMbvC8UJQ5DfG9eBXysMaND16tZQRPhr9-N9GflwHZ3qV_bsR-U3X8WcugJu9PxjEOcWc8a-4jpC4JCByGEEyiPoB3KMkaFTVVoUPeoaZkpJ6WiTZFzwh-Kpr2LC7wpNEZ1rfsbC9Se-SBNG4qCv8QfirDdcd-njU29MyI7q2NPRMbcfbu54nzWLfe5LPaLje69WbvAFFbXk6lN709p2Ok-RSp1DAqg2fwSm2Sn695rtKpUWXJL5jyBgrHp19XdH9VgHa10Or8R2uGQUfJV73nZ-Wmb1WFav_PrFa172ZfIq3vJxwZwRw1H-Puy8Q2PopUeLzlEKauR8m1J8VmaUcXA6zgyHwy7AKuXnOrPwvuBe16CVEHWcVrTIdvaSa_I-B6vUzWPpz-u7_XHoEvncQIfOFKfOFV7HFarTYJHsItQeCpckAxbll8CMrx1tSKlhhuSbFv5DAxyBdxtsi8GgJsCo2o5EwqcevI76nU-w8dXJ_1Uqotgwjfrrs_2JXrrfonfYZZuO6zG0p_8amqZ6vbjjjlj1TG86pot6s-lox3RkzbtbKCPvj86-gABeIzINa3TlF6lceYcvEp1F8__x_6fsxDH1UAAA)

### Hydra Head

Hydra head state-machine validator

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-09a3PbOJJ_BeVNTaiKpIkzj7tVjVLrWMnEt46tHTvZq7JTXoaEZF4okENSjjVJ_vtV4_2kaMeSk93xh0QEGo1mo7vRaDTAjztXO6Pd_s6iSJc5rndGZx93SLzAO6OdV3FGhpf1Tn-nLpZVAkUMCkEN-nCJK3xOzkm2KIuqQS9XaRUP9wvSVHHS1MOXOE6neUaaSxSV9H8oOUmqrGx60G4BWEYjdHCMoh5_HCMbFP2rxr__C5XLClOwnc99SSHt8nvZ5feqS4vuj4O_oMO9o19f7_36HD2LyXwaNw2uSI3-Mvh8TozqSdzEf89I6q3DVXaF98hqP4_rMMCvmOAqS0L1GZmfNFXc4HmGg0gyMn-TxZ7aFzm-zt7l-IDUTUwSLwZKQJxnf-D0CH9oViUWOD3AB3T8_rGM82yW4XRa1I0Pind3ks19PR7Gi3dpvB_X2FP5apk32T_j1cHMU3m0XACzXpMUV3VSVN4XOr7CVV7EKU5_w0lRpZPCR6OCOmmqjHgJle85KTy1v8Xk_dHpqvQScZIUJU6h9k1cZfG73A_VxCSN84K08RyQ7JVlniVxkxVeOQSQF_Eiy_1CIqtXE1xikmKShAGPS1zFTVH56oHxSZbGa0TqTYY_tGjNUbzA6YsM5-l06QXoMjZHxcECeJI10wrny1STpePp6cHx0cnFry_30eCfpBgssrrOyHzArM8gz-qmNmvwdagm5QMzqD1qaPQ0I8WgLnGSUWUKAZX5cp4RxE3PlD21wg6KsjHhR0lBalxdxU12haE6W2Q1FY4bY2KN15HraVhWGEjAA2Y4B3nhiGdHTE1czXEzuMJVnRVkvDvcHT5mSM4Jn0Ta5otzgpyJoH9Oes6kY_SqlS6buEouh3wKicT_w2GvZ0At60OcznG1V2bDN7vDN3G-xCia499bwH6wqk6v0e_CqDhVw726LpJXcalgUFyjV3Hpgj5bZnmTkdoEFaUu_H6RUmKbaZ4cFXuE2ESfXg9fFDlVbRPnCxfwMKsbE-jQBeJqKSteE5hbUla_X1RWN6-nh_uOh0CtKx3tkyZu6GAOBmh8h38U4e4QHZBZFddNtUyaJUjNnXdzTpJiUWY5TmEoTgsuZqORPkYKAMVo8BQxoEDTBMDGIP45bij_htOqmFfxAsWEoCtcoXdFukJjpA07bQVtUEaQEHVvW1ba4GrxKi7BZLMxGi4JPEzws2qZ_R-hXfSojwYqf3B0eHD0fO_Z4XMEtvQQk3lzyZRZex6N0Fn8Fl7wgDR4jiuj9uwtGqPHRlF0gUbouu6hMdpFj3TU13Wg69P4PVYd0yfwH1l_0DWn4Cx-q4EQdAHM-YQI-mWMHqMxOtOrLxhxZ2aT6FpSB79kTUTQAO32wjROqqJUNNKndhopCKEIDSKhQNZbRPI2Ggtl6VoC9_Jc0QcPoxGKqGQ-K4q8p5EIzwqMk3BaLbEqLHVGlegaffcdUnVBGkD7FRH0SclPrJVS7Bd0FLRSSgiuqqKiS4KArGS5LitZrnWhCUiW62wUTKflXbo5WurspE-qG8VAWmHxj5ZdoDF6Eec1DuB_kRGNU_QpOF6v4tU7LNhHQfmYHRXNZUbmWoUxbtmMDl1ziQn6n2XdoGuE8xojDTo4ks9zvFD00Seg7_nvKO6h8VNm8hx2UDhOHH97WXyNohUaoRXXvfEYrdCnT0irX4WIOSosekRBB5IE6DW6rtEYkaJBkdbnde2TgHq54JrNXSS9AOSAP5h2UQeinb0Yzoo8rVD0qIcec15vYk58MmRzMAJfs4lJU29kUrSYdAldgt6-ecKYpBeMRsLBebZqMFsamBBjdM4W-uz5fGdT3PlhiF43WZ41KzRbkoQ5vlFG8ozgFM2qYmH5rEMA722FhXF9csqZR3-ORmh_WVWYJKuT1eJdkYOAMe9VSjWDvAS3usizZHWQoivmWySwTH8Vl8O8KN4vSxMGHEqG6aqHihn1K4QFAeRcX6GUGoumeI8JOLiDp6zUxR-dAgy4GLow9FRT0U24K9nd780KquC_8Rjtepi1WNbNs2VF9vIcOqJ9c_X0V41GinUuV88c-dQshx_hIiPAQspXC2EZVw0sN-k4vFtWpGFt2FuOx7ofxGFZ1SN4V7H-MZoyXP5RtXpXY8tJ7Gms1xj_WJTZI4wInscNRg8M03d2hT6h6KIPEvPLgNLQFHRBIZq-DYzTUdG8ykhzXAET1RiZxaMResXI1cXbhYN3YswACsgyz9lrPEDitcXzktTxDL-oigUfXAj6oagp9EdA5zP60PGUr5SpJFO6JO1uFUwEp9fHy4YKDv31G55R2Tq9PiAHZFZYIuXiKJZNuWxqVHwg0DYj9Im-7FWcP2Qv9q85hEqv4lyXlKs4R2MmHLOMpMcfyAE0tjB5FH2BF2Wz0jQ9EtSiC9TAW1Dng_5iRNKfgiQ01qseKL-Pv4qHswZ9lKFGyWjUwjzm_Igiq2VlsUx6NtH5uXqrCjzNwVNUgR5WeNbjbfwG-ZLSUkurLJ7N0fZNbgp2jOrL-MnFk59-RkPuBYCeRWLNP6xxBaGnGlOJHCJDQn3CCcinFT5h7f6A5eVikelkemuBaPa7jWpv04T_TxkrXkcomnonBmZgOKaCIEAPh3VRNc9WMCYxegdkwBI5rjCMd8Tas-GMe-bzu15PkOFhiYaFMkF7tiRK_31cQZQQ3lynQkJk6S7K0uvdnlH2BMqe9LRZljfm8E-knj3_h_aCFBNtyiqLKoXaoko9r0O18mVc8yW4evS7Uqp-rEvt2dtNuVE_DhE4SLhuaOxwiqusSNElzktcbcXfjNPUQwBllr8K4jXHJwf_e5otsOaow09ZHmobqZZNDy1ApVVJ1KBHaMFWDptg9U9DNMFlUWfNJG6Wi40wFwJ8Ri9ojCLTreirV-5LM-IzTqmOhg6IUSK0kRp3jsYCoTOKpl70Wa8S-sVsC6uJ2H9pz3ZRZ5YD8DfjPVPDLWUz4EUfXfSFrelxFWZ2x-O_gpJB0YV42IwY_DxEdGK9ivMshW2ebWrbHNNZXZuzjZLWOVvN1kYby8fp6LtofFcxGyQCGoOnEEEKUb-XphUWG7pWWesbcCCnkf0KVDhF5RA1HMdvuC7yK5wyFzXAgbDrvH8ZkzmexlW8wI2MQQQqgRkQB_GsZ_q-RQ7l3uApirg57Au7KCtsK2A-CzDDW3cojvgi52FfLHdgbi8f9lFS9lAEa5iD9GEfsR98ZhVt5KLJWCl99x1KSlWXlLKYY5NV7Dm0hIStboLTZ6spYE-yMiaNtoz0VoMfNV2--zumU-5bV2Dc9aW2kPSirLM5AaWGVSOXJ8_KTplE2BiQFKBfHjw1MAiTdgaFLDAlTJeMdrEqFC2JWrcDnlJQBfMfW3v2OLa3ttpxo6cVyQWJBw3sZxRS3BE8yHg3fXKWHmiEKlw3ECMEyzD14PStf-3FSg8dDh89gh4AW2BJ4kMuVye-yvbozJnk6tswCp14FPF4DKzXgwEcCQ0LPs9yTkxGoaDNWUNgFd-QPiKhZXwfERp16aOGoO_HyBvX8a31gUB9SmarEauw6zqZOzt285YlMuWXrOe8iQq6tyDe_5NppAt40VarPngK9afKAym8gu-bc7RGYsrRinQ_iL-r1ZHfAyq0YdcZ46imVkmNhK2qlv9EFyNeMxm_x7pPPMFxCtFSbiVDteZ-mPQdf4OpwXK6gziSkvnf1OdhLRVPsqvTQq8RbHldlrh6Vixh4f8iI1mDUZMtcI8xwO_gA4Dordv4phj2Y19K6dzPixqnhtMbBuiqA1qbdoTrtMLxgemuPHNIuPvcSdFUJJF5yowGlChSmLus030bbh6XmLTwUlV35aRs0YbsvrgIFKBCkEE5WCh6vfzbxArjv4bohMRlfVkIfwTSMa9wlc14Bts2lhq0v5Ug5ETSQQUhUMm9Xo9_G_JiBYo3LHdJFRwtF-_ADQaTqf8rHN0z2anAzVy7ENliK2BRz4GpWmjSF_83twYAXrq1YsM9WpJkWVUr9ICzChyLlepwUc97KDoc_pGVsnNA5FM7LwKN0WaNWFvcGS89gSxabvRocdgilq8d-qi2iagtIpbNdcFIgF-nBQs96CUTnMiyHuXd6s17vOLxd9r78_TJTz_t_tUcXga1wHUdz7HuA_MisXUTiPdaGxJ8DSQcll-edmxnMeD2CBjDbt5eMPh2LfUBuS0GYwA3ZSX_e4iSS5y8PyBJhReYNNswimaPPMJtljlRbrqQ0qc-FvXk8L_hFOMFc86Yfln4-IzVMDwwHz3DM0j-q0RLKtYtcQiEorLCV1NmhPqI4OuGP_S0-n3mdrF6_qDXv-QaDtUvdeX47jvaOyU5rjEXfH-d2hfkNZ2X4YoEFXgATnknIVadx9kCpzzMeFCflFRKlF1gY_ORsfZARI9Yf33O8WPuOIyFCyEqTjQSxzrBn2kEikXaoBceUmWxJn33OLAvhmdiZwzPYCLKlKjM5KD37K3EYEhOujcZ1GSMJrmNZEaJH7ixMp167W20PY62fSqtBVtVW9uUa7qD5tQOE956LfcuUEF5x9IxlMwYwYiidwv2uX3oGBWtsqzDjixy7cBHOdwn2ZwJVl-JgDmjQzXpmwIyRhcggEJO-HD7NEFwU0aiooCkRWKUuFWD6BR3oDl6rx4K_C2-Ivxp1kgURcrE9OkYas4Esz-vpROhyWNf7dbJoauzOaPRY6EEgYDQMFosyqn6FaWPWAYMck2aQKUJqzZ36hqg9aBLC8N7bK42PlJzPxVJLEiz4gygTwE862gGu68vpBks14axY05ZteSM-_ogVWr2CVIrRgay-rSB0jtRL-SMfcsLabOS94WUzPhfyBnlz9T63WgNuilf5q_cl5ngbfsyskfNl1Fl3XwZCR_wZRS-b96XWeNxQFP6tnfo6mzZW7lPWy7Nd58qJngQr-3FjGHQDV632GDH2ErTrFJmtMladH6sz9R3OoHYr2emi3j7d7RMWN0U2w6DMICqxnUbHBhWdzybmJ2D5VwuRKGynKaD8efE9fVPXDd1Ty3X-86TGkNOdOoIoDoppCSRnRegJ0c4xRuLNOw-5tMzjbJvbWqmvWnTMnvuNiVT2MB0zPDcbCq28n7ltHYZ13SHB0PibJZmYrDFVCl2kG43D16ay33DLfBFGZ5hSoWwdtaMnjVsjcqVVDoUHKBjFrCfGttJQShiey_CZLCn42VjWhLF957V0GNKLBweiDA6bm00FCq-aXkYwih6HQ1hogLuhln9Rtsu1HYITaBXNI9cE6u1Louygrrjsm4Kcq21ZvEzJh0-o--16UmLPb9sseVXbRMTW6nzAfLY-LUbjdzKOzop_JTmVXwt5GKAQKmlJ6QnUsqXc3xxy-9hxIpCSbrmA8n3FagsFTUiOtLyqKAMfWWuulr2BDIZKbt7rD_TCCCQZHk_Dp2tjaWQhJp5RYdTvkdWHxP-Q3pnn40X6U7i0wCFe3l5Gb8-vT5uJVP61l4cxws8vz2ONasC9lea6wL2J7eNrsSqoJ0f_eCoGKsHNw7E_qRvzMfnNVmCRuGEjZJ8bB2rLfH7-43w27BO4q_vUyco7i6cCrpdYQDO-1oKQQfeILRuYI1htQaVd8SL9_IKx-lK-JUNBhseO4X3KAmb0bx2SYBj7fcsDe4Y3EwEqDIfEEO3D4grBqKCC8K-Kwb7_6FCsB0BsJncUUA6WAA1-IGh38LAt73d1z7-2zMCdygD5yKIKbMXDW_Vn9_ocV1vkAzJOgXvWoRJbpITyRMied9OhhmijrpCDOdofagPiw83Rx1aGet7g_TmDHNVChCSZ5uLu-yKuAvrdXuRF9afHnvhJcHoi742g0cGH4rAcGxmDEZL1rxZEKZDXOQIfxAB4w6xktsGaNjeAW2qNeRve0zy1TFJ7FDQPzOIFrqLbAPsdZnGTTBws6wvvXGmW0VnfBUsHfRGAZo1MF6MbTGa28Spvv24zhfHQ3gMm4ZsXB7LcJG8JyI8_OdEBh0kmBn5kGCJb9YYr59_vAhUyKmDREFjLX1QtvJO13Z31OyjgJ3nwCqMQy2KObWucwqe6rR9FdEl9pYsj7b5mBiPX0MM4N8t5sIYLBfnxqPunBsVfy7Qtb9_kwU6H2AVfrMKNqh83_hqecPBM30c6PLZKvBo6RfGT_7j9evu4x_KfOpDaA3gNzQW2xmHzsblFgGJ9rWO4aeEQgdrDlSqjht6llMR8cvY65EKkEBUQF9VCfqymX4qqi0k0Ha3GqJ3X9qi1y0uwyWw7X2wcYvdLZD7T6Z6nXrXUVcMtNes3jCUwTXNs5UuuSgbaV66SOHnz4b0-G4fMO4f4PcNtIx-p1W8ESDil3kqikxaNxIbejJkNqN-kRF29AC0C0UvYlLQmNQW7on09C-P2tsVNHIUiBZp57P9P_kVkx60ntgR4Yl8jBNiKS9K943cKhJK-pNGy3vdIk0tEEtr-zoQOHoRL7CwoXY5IyBUKwhx6uNZgyufHgdTZLUAxNr02EBEw4xFqDcf3-hOw7sNQixV1op3ZpOAsTGTjVvmN9mkMOb_cYtXcFfBjnOWsKILjMzjVQmxkZ4B6BFulQEoLehS5mNoXZiyJzoyGKWhaCXA1KNI3RPeSmDPIMcWdkGQMQxdCbJV-IYkBfXLck5C2w_-DYgO7snTm3knG5lMfhiyryzJO722NX28kZeIyYlDFY1GiF1sQCeDkl1R4t9-UBOEal7k7JsPLBhqbTaoyxQiAddngOpSBOs-hL46rAbBNHbBxLqzqnI7I4BSnQ0xULYdGVmHkuW3GuhCKa82Kvcajb5YTVkIu-zgcKTIxSqku4-YTn6c0f-OfIraR2alYXjsSssIfBYd9QwV9DgSukY22naB7kUbpMNfC9VhsH3zaEMIbGKfgdieNfhxiJ6TplqhsgAXIiYpEp8PQTX_nsjmzcPi_UvXQNiF6hZS6nDADRs9Fypprmm1_NRJ0lwHfZi_sW-aUAm_bkRbMVBGpRq9j5wxvIIbprEjSn0TTu6P6udJArCsZ463lg8KHpy1pGEJrhnhyyHVSL9eEs6_pvBhOPb5Fq7FETuiwK9hgn_pvb-m7jAG1tSwhllIqyUKMyiAuEEOtma2nt5mIxnksoe9ZTaz5pE6aPLpFyeiHvvahH3E2aNbzrcBYT7i4u_UsfnE95GdB_zbUokt0b6vC9LPFX0vP1f054cF__yw4J8fFtzihwV51cmKFGS18NKBF2UeN_hlXL_H4ms8HboIflKw--cBg58bvOF3C8PgdAke54MZfFox-B0-6LvGgzjPB0sCx0eVjFrf27O-vuZ8UO_Xl_tDbmVqFPFf6rtyomp4cjw1v_V2cjx1v78HAaOKxPnwMJs11IjbEPp39VA0dS6WVleZ9tFUrDQ8eOwv09lf7QPjC10YNE-cb_mZ5MAM4txE1YdSi04oUndg0ydFNwsDMcrhwf1KX_v3A1kcJ675lf_BrwZG9qcB6NXdzkFb-RkiC0AdCbIheOjFcyeXQKEOZfuhNuEUs08_jtA-Pwa8Af83Bc4z_GgsOwLfUv_6gJaBB5X98KcOAlf0I0RXRcLsoLopkvcoOrksPvTR89_7SKmhBhWTVUKdhejkeDpUIOdEigYkjB5QuTkgKb7GKXr4kL_OWcR_9dHj3sZuJhdjpJ2E29QwqcOmY_Pg3Ud5Fu4E49QdLe2knHNvr4IQoc_wXYLBs3nqulMFJpQNHFhT_xSMjKKORkiE3bYoKIqhZ5F62Iq4GJebbkyvtdDI2OySargeFw8IhhkVbxONYKqcLRxmillIPLzbzRowK9FhfcLk32D2AJjhdg-Atndo3YAeen39MmDtvt_tmkJNAsAe6jG2LUg5c8CilCfebkrO-Vd2EbeLpnH8JEKBlvx_QjQW13Us1jCavSk3I8DbPhLs7qNd-kS766MnWzIu6saSjZoX_WKUsXF0WGP-HlmJmAc3O_xsLqiSeacsDSppTWV2moXAyFrrgMaPZB2KtacWNUvhp_yA-CnnWUHt3QazvNq69XfatcsbdPilagM4uInSpehMaA6XI9AmZmN5-R5ZgU4ZZVIcQMHMGlH-g6_FAUn66Ee3BS3_iZZvXl3Ncyub9POtjqjKGgnYmtg4idntWmakDztoumjaugTkgNBbWaxu190thZVcGUC1To_WpWi2v0eo63Ud36VKunJCldKQCEMtjaEzlNMaA0M9LUYZKmq8tVDRjauiczPo5pTRvYx47OseRMC4ndQd_fBVpQF_2bhy1FotbtE5dTlwFrmFW3FUPfe8bWrc3Ysbx_5r5qxL5nzjHrprLjDua6-dM5dqWxQFlylnkVu4FVFgEa9I3sS7SQvAr3eGSTjPcdLsF3xporI7vCbhk5bC4ZUd7gu6LrqcZ3zOwCe0966oGr46opkBah5qyTuw5IZNgy0JCB3g2yXzjuc7ORBslhNDoc9wchj0yU2y3nE6PVOZ7mZSNgv_kq4N6cv30c_bmOZQxCLuPS1qOdmImD-IEAvq80E7Sz_JvW8zpDnRY5oTbcPdjG1OQBAmb34Y6lMWEiKk4pwSzo1pGdA8sDVpiWwZ8G54a-IRTfsOslYYEbaaBEPnSBN4wTwh94RtUaNIyvhrmd8AjO-rXZTTgm-bcByf3rKdmi2JmhZ-uSdh0ykw46GmwOlx0S6CZMRIO4lSKFYaFBQjZroGypz51wB3lj5vJLVzKyO82rmVirkyrsI4WIHXFpaK-GuAA9-4OtGA4z0pkuhb8o_bbj0tTqsVEdhwPQ2NTm4zIPdrzoTzdJ8GTaNBGw89gDZxx2KPrCZrrJQdf-0K3wLdqvR21PT2GG7b_hsQOtNnvy-xc6jQBc8IEnUQGiN0dKtBt0JM3fv8IlEzAlTr-vz6RctZZ96TcLl0-OJipsOmx8c6-V-BeFnQV9IDZm1LkFv5FPc25E7k4J6G3KXDFxIzh1wPjXUa8kCoLDjk62Jld-lV3qPSw7da70vRWd_G3CFCL6bLItU_7EFKcVnjhLZUM4MeBqBBG5MwFraZyFPD1v9ftyywtNIRmm46vZB3gCIaxjuBD9pP9UzD0k41xNUC1Sia8sRQPSkWVLNszT50WiuL0AtGtbvHsvtoyiKIfTSFOOMUQo5mOzG0qxL30FUWo4iffaDtTppqmTSCA3R8ZcurjIocAwfgKWQVQ3q5ZKJiXMYzzpnAOJBbEJwt5DyqPgzxsdIfSyf_cZ0ImSmRDrgZ7dEbaalwdqtoyk3HYQZHmnwC2NNR-XPlHFq4MdFbaslzXcD1zLhvRT3kCHfXECUqhngE9USD2ryN3Ua-p96LaW3t1M_Szv3sqAFOOuiX6EBbxug6sXaSSLs1cPdJu7W7iQbJRk7SaeeWTjZq55ZmmmrX0VFB1bbR0RNaW9n2tdgQTexvMM9qOmTpTXjGNW_X2LAt4emuG7MiPGuX249zukFNjSX6WNKTrvS3TwiU0eZJTZwzoiF_8tobbaxE42CC7j3IEmVKdyliPJSJyUHJ4RDbmX82n9xi9mPLkJsdPHXTg0srP_jWMwxSuXXTUCpx6c0lvsMuAx3eXXd9E6U_bXLd9BFglZGHWHqTl--G9rZUyZvTHqB8A3TfAdVfgWkzdPaGE6VUdSfTqH2yVJBbCG9sKb3a7skxf4FM69Kban03RiiQlV1607K_WCk6ZHDfSJ2Dqd1lILf7Tpnms4H-PPC7Ytyd2cFALnnpTSb_cqZ9DUbM1L2bxNVMpfXkRbZE2izYjRuzLSaou30ZMYVArnppJ6t_SYSgJa993brdyXFvjQh-LVLsMLW7HLuj5R2hoCx7oDcuzVtMu3f7MqQ5kIFf2in4XyLNLdn666S5S-b-NxGScfjcXcDdAfQOWlDAPdBbMNc0s3yDJpoeVrD9TPMwgVJt9LGkl5Q9lNYxIDj2IAnHQh07EJikZHoxucNtLNUkFrqcCseF3Nb8EINsr30qzMFgeQYCh3bWYWofdijXnHZo1TXu1K05AHFzFDfV-a_JPaOCepPJDORanstombQoxM7nt_2dOGmyK7ixDm6VZZfYxdV8CdJX74zO3n7-fwVVZBoJwAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-19_XPbtrLov4KxOg05lXQa9_bcez115zlWk_idxNaNnfTNRJ0MLEIWJxTIkpQj3TT_-5vFF_FJUo7lJOcc_9BGxGIBLHYXu4sF8PHg9uDo8fBglSfrjFQHR28_HlC8IgdHBy9xSsfL6mB4UOXrcg6fOBSCEvRhSUoyozOaroq8rNE0W9e4nC_HT8r8Q0VKFJENFFzOy7SoYxfujNakpDgbX5FyhaJ5virSjDSAz7dJicenOa1LPK-r8XOCExSt3sP_3-AsTXCdlzH0YAX9OTpCZxcoisXPY6Q3j2YHS0A3WhKcjArRhdkB-g6JdtGKrIp6iyz8M3rwaahIwrr0N9WlvwGoRaKPowF6cXL-7PXJs9_QE0xvpriGcVZoMPo0o0bxBNf4HylNvGWkTG_JCd2eZrgKAzwjlJTpPFSe0pvLusQ1uUlJEElKb96k2FP6NCOb9DojZ7SqMZ17MbAO4Cz9X5Kckw_1tiASpwf4jM3s_6xxli5SkkzzqvZBieYu0xtfiy_w6jrBp7ginsKX66xOf8fbs4Wn8Hy9AmK9pgkpq3leegd0cUvKLMcJSV6ReV4mk9zXxwbqsi5T6u2oGuck95S-wvT9-dW28Hbicp4XJIHSN7hM8XXmh6oxTXCW0zaaA5KTosjSOa7T3MuHAPIUr9LMzySqeDshBaEJofMw4EVBShAcXzkQfp4muIOl3qTkQ4vUnOMVSZ6mJEumay9An7mZ4rJOcQY9vkxvKK7Xfm7wzuHF9Ors4vzy3bPnp2j0O81Hq7SqUnozSsQ0jCqP0AVrcUU1ytKq7gPO1WMneMFHOAKRHFWeMTo11nRdkWSU5KPrlCbdgCtcz5d9MNZ5wVAK0BkV64hfw88osrXwcEbj8IJjLSTFmlZ4QZ6s06xOqWfheUGSG1KeFOn4zU-tpThbExQV8yWZv3-S0lck82B7mVOcpHP0p-QUhCs0deGmJcnWCXELXrPuqn6f5qScE7OhdXWal8Rq4sWpBaOPC0VX-XtCQVZQNB7HsUY4TnamehjJL2tcE0736WmWV-QVSQhZwRI-HsfD5nsywfV6pX_NV6u0Nj7QmlS1B8GEzEuyItRXdkbbyoq13sJFQajdDTEA8ZsNdTRCx_f4xxA-HqMzuihxVZfrOQjTHpqZUc5uYM4wdq7Q9EmeZ2j0q_r9mqa1grtGx6hIF-gaGDVnWrVGURyjgpQl2C8zWoCqeEHoTb0EtNH0rHoBX9L3BGUIx-hY4Y4yhNHRaPQrEL4mNwQMLL3-MSqWeVrVJ_PtPEvn6DtULNINGnyHigyv0HdoNqtItkCbCo1-hckpSJauoDkUzWbvUEmqGsbyGP2AGOCAfYrRj2hTqc5e4feks6uyh7y_quMApqPp22Oq9TldoIiiwS_H6McYFTTNUGSMY4nYIBjB0QAt0QBFYjQRRSP0OEYDVMei7qaK1cgmZV7cw8gYms8e2aayxvWOj8szFHckJ1nWOZBIMhOwcGwNh3_UsPUdT1GS5FGAw-TMMBA2M99_L8cjP9axLitX5ZrEOvP9lpGVb2RDNP3tT2uAuG1MDFFvgekYEEzcEg2Oj9HG033JfRvBdxrAU5xV5gDP8_sbo8TlGaYcnhgZKihY0ihqaMP7qzPVUzA8Po-rXuLtNWkkhWH8XM6CH8ieDcVjgtwomv7fdVWjZdzMR8NyscDBIKfneb1M6Y34KObmFuyNZ-RPTfdHU26EPLrMy5ok6NE0r9I6vSVisO2lcqIU4pZZun2Mbg_luDWLBwYBMNFshtE1DB6jwa_H6Br0wu1j-M8h6_0iz5KXuGA9qowhCEuMc_T0pAK3F02vNhfrOm4fR-zgbRlBvq7lxGWkRjc5ALcvTvzPmmb-FyE52_pXBs7sXhQVizJfsbEsY4Y74mP6WNTwv0eM6ugY3eJs8in2IEKoQQFA6Beleo2uxPoPHqbQvwD3IIRSCkMeICDDviygwzE3HpHULtV-TCAWq2EewKFhCG1rwl06C-YYNfpuxqM0vGR2wCWLlOli-1ty-PPPj_9b-XsmkyrcUni6P0jx8mM_RqYnAhb7-I0Xdl_z9dMYva7TLK23aLGmc-b_72nGcHV5ZRD0dF2WhM63l9vVdZ555RzT7ckqX9PaIihH1iLqEMWb5lk6354l6Laf0BNal-CP95L8AqeltFUd-U8XriRr2iAqFlUt53yAAFXMFm6917EHBRtBDW7bS8ysuzo38VY0sfB60PC_m5z5f1WIHI9QDQgqr1pqJY_b7dmsLlAdoJaD00c9B2eQmnXBaan5Oo2ja4l-mDqBlgz6ypYe98HCSTrgVGit0FromG1twHwCvRBsLRAMMFAs5YL6uFD3yoKrUGtHhaQZqxLn5TpHt9zYW61hVkt6kmUwXbyvUEOoEIWvGaBjC53nz9a4xLQmYHAwDeJVOn77o1HnsaV-vH1rU0erlNZvcMYE_PQSscgb0W0RANBlus6RqKMId70uaS2baqh5B6XG_1pkt0vBCQRhQe2r7E4vgwx8r8pOcMp6dQ86r5N6zkgM9Yda9QmPefRTFPzvx26QFj3A_1KKCkpuIEYGcQpFpkYzBDsSnr-QmgjW84xEVxSqq0xdCIGRKiTSpYOpfy0kNVAC9wNT1kKCz_P6ZUrrixJE2bBMrjZndJF7hN6s0iLwNccgvCXuD4hvoljxmBR_0A-a-Gus_h0qeN1HAAd4FKfD0Au6zjJBEq4wRG-nJalIeUtEpHxt2rN835PFYze2feWv3TLeeb0xBxsVi5QmFx8oD88O0LzecCdojivCey-dXCYVIhjJvjMvOZd1G2EUuFWJ9KnOKFDnI6MSo1NJqjy7JeDXy3-eUcvFEsia8jYXLaVvfE6awAGj55UNon4sKv3nIz6JHk9PoPGCO_zS_AHn5Ou6ALf2GPn4RZbWmzOfnC7Ssqov1jWbWdhaGUh8DjSoCMetlfVbvdt8XXtpZ46DEdgYBSd5WGtxvEYV0VSgDpMVFekYSAQD3hIXG4Npu6SFB5IU_8V2_V3kZScWGtqswn9Z3OXnqgbUkkbYJoHNW8gI4CkRJVmgd8assSV5w0bnsFw_HlasmVI_Z7bYMqLKzqZMSosOS8bh7JQWcVi95Ov6FVm0cLSIo9s12MpUkoUVD7Ta1aKD_RdPb9jQ5H5LruVKKudTFr2TGxcKm_Tfl0y-dw7daXa0iefhQnVNXLYiZYqztCKsowNULPLyhtQ8SqfH13rH1IpqiQ_fHf78d7CdVICNqxNW7TmulsEgVQNxbGDSw1UiRgV5SLgkwEemsXLBmYtT2_qpbdJp9VsoX5LFY-DRQ438C8ilqB6zLuoWa1Tg6hT6WVqUjIoE_ge4GqOcYzm8C5bDBstohNQQj5Go9yN6e7U5S6Lm53X1RzxEabL5w6h4lqC00mpdb2E3GuZCwdWbs-Qxa79ZFQUBdJBDL8ihgYXloFTtA1bNxQb2vlUPjarXfJL0PAH0f_S4ZCS7q_VPq324Q-1Dq3aabHyNy51KVTcqapxmDVFjHYOvA10YNOaAfp2uCt0_trzUCEgEavi6OjRE3PA-Iqa-GegvDBJFo8exjPSA0OtYI9ks4P1Rw8rRMMJAEYwP9rH1z7-IrwK_VlkgVcp3WpJLrrz-lyQ8r6KPKuaQYV3sRdtmuQiQRjtUPNoCWQa0IiXEkCEAAzY_h5Vj-hIbLnxEHwveFWOwF8zUhS6xr91bMALus3dh3BWDkxAQiBwmZBNz54lug4k9DfSYGWdW9P1OhsxKdagbfobsAPlvvpupesA_6wM0u9tnRLuOOjxctG0bsJcFQQg2Yll1OHHj50TpIZRkwRlP4zP4ZvPhMoQ_wOm74p-vCr5JpmyEAR_TgDVtgNv6TwkoIOGZIwEDtRI7-pGeGFP74naRL3VmY0Krfxi4gdNUyXZvO53_MUYil41lzU5JmeYJWpKsIOWettBwknia1AXHSAvy_4qDiNrCWemKoBVL0mD__AGt9kbYn8doQgrY32dZfPshZaK14FrTPbWJiaU1Gnih4lgqGHihBbC0sEkCyDxevFbqOu58KeP9SByPnVWS5mqdo8QUN-ZplFOI9x8j3b5U9Uz4hd80bdDY6JkRYJnLyoazjDlDF4CiMY3BjsUvZgYyKxvoDSuk3Llla9F-uPfvY8SSlG9lZvJ-VcINqaG5fvEqPVBlVLz3wC4La0BFtAmHeptenCRJSaqqcwACLnZr7mcEWgh699izYU42UmxHqD0qAPNBiWXb-NZKTbFDcbrE9IZMcYlXpCZl16Zpj-1PQ6B7bpl66ogVaKcSc7_2LgCwp6E-x2EytfFQUZLbqdhDomRTy3_D99OCL5_wXf4bvjPx4p_FPwUXJsKXkBh559imFSvSGhBF33-vt9TAa02akLxBE1B-Awrg90Q3ACYEJ1lKSYst4RNHzaIIYmwTTEGsz4uFdwa8g9soSh2IiDRT2a-AKdgWm-gCOztyizP0Dq2vvTtI62sB-rooSPkkX9MEAZHeBXaLoMxewfnf9GlK05ogZ5_YXgSlvMkZgIzlH9BcZwX5985SErD-6uZCl85lULGnYi-VC-bHUuhpqGGpbaZ7lVv8-Ztpd9hI-6xNtJ4baLtvngl1P0QBq1D_C-RhRCYqlXMBtPfu2ke9bE37z7E9bfMywIpusbdTGucmZJ4nbDuaN6mfOOriYg027kDVm68TBW5Jho-rze38kDyzc0oxTwBg6GPbMGEk591Fc_Y_UdfQGHpJU89WBTYVmpNTXeRUkD5iNmi-AVJCZ1FeEOojY_M9TESwJdlqPU8LtvQ5mWp3Tnb1b63JZMY4DrfelRp7emkkxcoksWMzC48PuCVq6yZLPXy-rDeF7F6TxxZpVpNyevX1pcqyQbI8JCsFtqsi_P1Zb40Fz81G68QSCgR6hwbtsXRZbqXKsz6q_ZrukLfbIzEO6YHBmsowYpNb1xfHPaXu6hFw3197tm7DhHtJ17U71_RFpgmoVDyZ_8qOxZPkyVbpH9odgvCn3-pptV60HQuJUGlfwolgG2DslEYuVajHhNQhLDMy9SbThJNkQOb8qgSUBzREWvJ2W7UQO9-prW8BK1EOmZTg7lfeXQleLk3b6fr6H4RnOVxfVyyscX3dkpCKs6xF3QLJulJ0e6bn6tlBj3oo3N1ThbzRoB4N9IsUsWy23qg5txZ1dUaBSRh5_ebDQIrUQN_-1Nrs1xxjVnZ4t4DMMpblLxofGIrpUYcu7ijuUq1Mylr4rWACKLhu4KZKOeAa4xfa-ceaapFCY2lTHKKWNCkHVczJEmiOJS1q52F1wRvInnjJ4_0IxDa_W2A-90zTXsYOtTazvW8NsM6qm1ha9qB9u7IdB-3BvthWcQx1N3vbrvrPMbqkuKiWuVwI4GgfO_EnLtTZT-SfnymUTWsHBfcQ7O2Msd4lsqunwd1n4V2C2XaIOEDc1hCxCAkveaz3lpRVmlNUCRzn6xVa15v8udiWeo7Abeb_quAaq8Ybo-uVjC8HzjHIvtL1il2BZYMBQgmzIlWFb4iREtWWBCmS7vgwDGL90pE-KWqKkd-lqkasu1Rn9L1LRTERd6mqZlFV5rwjrqvwu80Vqvq6zRDO9zvN7TnPVXqDqvakZ_-p5NCyZ1gCYSDBbn2wVOlNEEzcydGCxl3J9OLKXxxMNGk9UVkZi3PomCO7Z8PwoZQDFWkizbZjhNzCMBt2aY4pcQne2zVF_zVG7P4GdavSHq8pUm30jymqlcO-84l_h8uNYhd9h4sIobwnZAGXZJUSH2AbJ_mM3RDVw0lEv4w075JV4yfF-Kx_tNw2_nVo7yPwz4Cs2-GcGRdaqWZgMNoS0WwlTlSbAOLP8Wk2Ek1osUl5rG0gmgBvxJLGIcSvSWA4Db1n3gu81FhSWXKZ3qBjYPym1aasWRiumedSUQ8UT5FL6fyVSnBz-lVq7cOuaMN1MLmw_H6HWiLaKh4dmJXXsATxbH7ALn-ahGymTtvq7TF12nZvYOqafd7Q1AFEx9QZZOGZmvyElhOo8PE78u6meWUA6fvkx2aircmBSGc5B9QcD9LHaMC6Y0eCW6yDZxoDIVSZSBjnybLRCLHrg0QiGKcRut4iRknI0DCYE9_glFa15WCKyiIVRzMKGBLTIlA3FtmrFHdCPcsbD3B43dLeh5yQ9yATp5OzXvr8ZwMosPfNMm5ScwMmtWC8eS8GFXn-ngpJGbTtF6TxhF5kG_MmPd5I_RsYrVs9kod7gsn2Tp68qKgO3RpDuQolDjq3CVmXB7lcy3asOcvyyhH_8SGtl4hdsaLmjbkDVPTovlkU3ZlHrYnbOXRmkovfKjPQtdLAIaLd-33wv0uFB6NBy2jbpG80Qs9EqofQ_5KlWJqD-Gaw08Xa5nBjg85Mp4j7XaAVZHk356sy-TicOqexr7HqmOu2C-Ou7X485oruxxOAsTK9_HXVQqrTgtljuCJqmWww6Ksn25DTVt4f0OMAHkczMO840vXGL78ami3WUt50fmgaqPw7QeFtImadWYRRuhvcBU9ER-tyS0jtrhPsGGT63AmqmgUVbcNlGZQSSFtqrNrqfGkIKze4FZUynK5IIhLwzyo4EV7b180w_faKLAwREjRc-bYlmwj5HmwRj8PuUcFyJ0KE0YXZN2jGIo4k8Ttzv-M1PVpDogTX3SNIwWJ904RFN1z21Yv93GpA-GZqXxGD_xYRA3VH8x4jBqqNnSMG7g3SnohBg_5rihj8K8cGnGlTY0lIODbQlLXFBhQUL71YTES89kI5qXS9kh__HTS476DBNxUL0DjBhHU4pD0q8ODWbat31uu8C__TLXz3ALN-JsY5EXOnDIh7dlYa_9mW8eay94Exy9rxMzkVNhJNOPW7SwZ2K3Y9Nfvm9cSeev_2Ufbno_xTW_0h495m3X6mP5CcLcVhd07XM43zFhn6jnl5mgjEe_Dn7tNK77a0HcJ02vF7el3kR2GFs_T_PVrgDP_O1rf5MIzH8uZo-1vdc4HwoffpmnNgdomZCPVAlrq2AMHpsBRnfgPx67Ho-ekTCFO3mMf6kZvGQNa-KjpxdI6ZD4rxUjP1OVinLS2OxmTFEr--2lxosOybDXixIjc2IPtmA3bY5xwocEQSasifbVXajXoO32rWGyj5mVeGSn2wQXfyAdS8S-t_F0NdP0prw9qmxW6ugiZjrcZRP1dBQtcv8aYx7j1nSL-t46Mmpne-GD9cfbvLiLNrewyiaiZH_CL_8FWPeIkr1jvCH5pL2YkZNvEjTg247MY5mY0QzeGWYHlHsHtx8CC8TiBptDbqQaOfwZNKYzBbjHXrB19v7sXs4qgMU8urG2xz3DTo09rQPfLmYsuRsLVRp2sUtMmPfeuqKPv--7DbcuxbOc16Pvv-2FpO9e4_IYyHVK7wsaE1Xwmf13fQ84yv-rZs-F0J3gvrKm124Mqg8SWd9KoV9D6QSAHwGSRN10_o9iNfSU7otgnifbLH0tG3X0Nd05dsYxb4HQte_6ipra_ju9Xu4zRKf8-4ysEsch3jFifRdQtdQvXxG8OeY0eJ5TfKEj7Tr9lDnhMyF_Otfodn_fMmEA4Q2l2Mmln1Yon_pWbSQODl9a45NWfUnk9pJIqCk6wkONnK2Bq_EhIn9zztX7HcRrq5O3KehXnYOcfJrpPNBPaMmgJ8Rn0TLovElJ_qEz7_15nwhxDvZkLnd-KDkFxrEx2c5vuaZLfrX_e8Ppwg39fsCmfbfa_D_5CHireYgdTGbZEtAqldJ0gvNXwVvaAjwcHnSdjllslsF5vuhF7qkCLYsgwX7yli-1hGbHk39xmz5S3schGO_GK9yO2L3ArkHbHbuYZ7rrDuL3y7n0BtOASpQk5Lb1hNizN1R_9UKG_ufAzH4G6NmNkwGBrVztG1xv7mwbhfIFA593xujwYqOv47KNwnKPzwEd47hKTvGhSeaRfCWaHbpRW29YVsrSDOrSdUe2sFlX38alRoYWjkEc1g3akZKNJP_ZppIrZgIk0Ifdj1KNhuAeo7ByElAn-wrzFG7KjfrVzFdQRPyDn5AKLZ1HOsJwjwaJTpGzdrVhhf5IyX8pPr7FZ0_fe-ghIPZNT6Ddql15i9_ZYiSXySmriD8dv0UIyif6rYwy6zG91-i_EGMXdayND6sreg4T-XhH1WhE8nOY8GWF-88rZ76OdfUmLuO2zTaDtjquyJ-gbov29pMcC8mmKHCVD23F23UJda1hri5-SUYcfmjN5kRFzqhKL3pKgRrpDartYuToMXofnuOdxsU2-L5rIJDaNmZYWuFGm_Iq7tWpHu6-E4bve7fRuHeU-Gc-WUlirt8ehjO72T0V-jvpCWC5ptL-icuK9ln-f8HFD4EaDNrs9Mai8hLVC0ZBK2id3bRUJv2eiDD18pwv82zjOOckADjRe0f1e2Sf17CnnePsdTY6C7Z7bsntvSI9fDzPZwqbLrfemQu-Fz_2zM3swQIONr0KBEd7VDPo7mfTPGUNeS-mcrNtuZrqulNxvEetnOuiqqtQfea6XigAy6ySY-un1ebbi-3mHHeH_J8XdOjHd72YbDnxTvroydCfG7R_dnPeP7_SLxzIt3PwcD9L3ON3Yobre5kN6yIW3RtMt1kQrSwk0l9-wr7Gnj4HDMmaR6mlJ-WwQMHUVPMc3ZOfp9bCR4WpxZ15j321Lo8QyZtc3gG-wOuw10veKUgX-JVwP1cz73tgXxUS6Hq5TWztVOvhxyHdeX2HTQYt_rnnFvDL99gHbcO4ffPsBAUDnZZctgJqLFQGnx0Lu9rJv35z86z5-tcYlpTUgV-4xIQKWWqR2OJt5PwHqtnSRTQGvbkVHEN8DsKUEN7Q04e0aQorkBpk2EhLtel_TivfJq1iU9yTJgPnUlsJwIuX7pnp_EsmBSGDx4J4TUeSVlgSllmwTek3YGUjUnuLrEK6Kxt4kEDI21OgDVuEqtBwNPm2OBUDAp88Lf8dhE6O2293ig6PapUS0xpljzzhvsdz3d2HMY6hrLHU46iqFMrKqJwYfaYPQ2muHgRU1Kr3l79zzz3TPNd_Y_dnc3flVS1-lhmGYbl0zdDrF431N0qlHaKZwYE9EUG1OxN9PmpzF6iVPavJC4F2Nm9V4YaeIVxi4jRhgidrXjlncEe74wIC8PGNrLP__V6_mBBtR9-xMu_khSesM7gd6hFbeJPAcvRIn36PeEne5mL-W8wh8c8WCX_sOTOvZLBX3e39GWYtmAL_KRysco--Bnh9kF_gDF7SaaJ4T4SNqetvI8DOQDE7cc6C8eNWux5_WgQH9SdT9d21NbrF_qJs2PBav1KNWuQE0pj8Ej-3ZUGY_MtUspjBsPJ62Nqis6ZKOJdotKQoxGmwtW2huFaq2NMptYNjgXh0fZ__Xm-KnS9qZ4pbbGOp4mC7y4FeYI3Tk5tnviPMxl_N2JK4TBrailErbEvwyKiUJJs7mRdONkILRPErcoPhbcRpO3rDzVLbYhskpPdWvCKbVuaLG3NNy_kN_a9te8K9YOZLtlbcCa5d9Cjc_Ac-qzwu6AZ-K353x_XXLBiO6HmU489wV6sB58Gn48oHhFDo74K09_u9oWpPobLMRsERkvq4PhQZWvyznAfBwN0IuT82evT579hp5gejPFdU1KcFFGn2bUKIbR_yOlibeMlOktnEs6zXAVBnhGKCnTeagcFt66xDW5YRd3B4HepNhT-jQjm_Q6I2cs4D_3YmAd4Jx9Tj7Axo_E6QE-WxV5Wf_PGmfpIiXJNAc5d6FEc_wScqf4BV5dJ_gUg151Cl-uszr9HW_PFp7C8_UKiPWaJqSs5nnpHdDFLSmzHCckeUXmeZlMcl8fGyj-boMPkxrnJPeUvsL0_TnjJU_h5TwvSAKlb3CZ4uvMD1VjmuAsp200ByQnRZGJ5z58eADkKV6lmZ9JVPF2QsCaI3QeBrwoSAm2qa8cCD9PE9zBUm9S8qFFakTR5ZbmdLvy9oOsigzX5Dmu3hM4wtmziYvp1dnF-eW7Z89P0eh3mo9WaQV7oKNEkHdUeYQpWItsgNtH4OP2AU9XvcBZUANnI_HOvR9wAW1XZISzbLSmcMdPw6MzusqTdUYQU2djxoJjpc7kAzozyvuDnj0_HQstU6FI_CtuikXR-PJiiv6UHA_bxJcXUwU1zdY1LufLMXOLKc7GL9JFjaLYhXhBkhtSnhTp-M1PzsuUQ33TeYj4FUz8lkUbz7Qk2TohRsG6arCD8oUmjD5P3vwUrADdgSVCPOHSvNkyhK9WP1nY9OLy7P9dpSvCfzX9hp-y5_Ajttq82jS9corGwr6LMPu_W3csOlihSPxLwM0oqGfkZCWrR3AsgCaZ04YQwRSHEg0K7U0aL9Q-fPdpltJ6eYS4IbIXv51Fik7lHWyyIYiHc5uF32EG3ryYXigcikLjem1u3QCohz4IfYL_SLWDqjqfv0fR5TL_MES__TlEjRhqUJhu58xYiC4vpuMGZEYVa8BD6GeMb85oQjYQln4khvM2Ev8aoh_jP_Y9R9p9M_uaJv2hX-N6m49IXjFzSUjizpZ2Ac3REXJfl-IQcmvj6Ai9dabwjwbOk8ZwdIS0h6c4mBS2oyNb_hoYFU0-OkIyOvaAjNIQ9G3U_HgQdjE2oPYm14ZXbO15fUTGhleAMcxdrzbWCB6usJnDPNQQYg_vgRMNmH_RYX3MJMvMLTcPgLnV5gHQ8k6ACs3iFxy-CrIfHTUr50OrQo0DQB82Px-Ey7kBFiXi6fJ98TlrBsjF9aKpHP8SjG_z_1-IOdN956KD0HykQo0AbYdIknuIHrNfrLkhOnwg5dLc7rtX9aJfIix0jLhARSP-CVWHWIXaEfeTgCgp0-oPCfNJq6py1C0ERu56DzR-JF0ohgac59iDpin8PT-j_p6LPOL2ZoPZ323N-hvt2-QODX6u2AAOoaJ0LnorJUfwEUgT17Hi-wndDkUyufqm2AEEzCyR33_y1Tij8yH6D7cG-_4z-75_cTVPBO_TzrcaYiJrnNTS2MY5wdUuZcYBIQdNH0nrOmIUYHrrLIvbdH9NYR26CKDqkqOuoxvt4wg13dXwfYqkyydMKA2OMMTSmDpDOK05MMTTIpQhosaopYjuXRQ97-btSxjd9xaPfc0DCxhv9rmzP0Shh_sC9rLxSJrlLT6gcepS4G3kfnwQQ9XzJsK-5t19NePY1zzMu_Eeg2_eQ48yBOa983UG01V7QFZwifI2cj8-CCvwiFekJTXsTwMU_O5WWISzjMzr01y4Jk0mgVcl_NVwjJ93hC3omuhqnfEZA3-hk-u8rIV3xPYwm3WoZY_V4hu-DLbspfaAb-fMe17v1ETwVU5Ohb7CqWnQFzdFesfo9CxlupnJyCztS-YbssEP0d8fYplDEY-4x1rUcrIXNv8uQljPvXib_KW2rM2Q5kSPaeopEGZscwKMMHnz01hfspBkoSbOqeDcmJYBLc-ctES2DHg3vDXxsKYCl7dEtMGoo5XB0DnSGF4ST_I95VvUKFI8_polcD0VuQjDZhflKhfbJgLHX3_wnZoHYjUt_PKFmE3vgRkPNRlOj4v2YSQjRtqLlUKx0iCjGDHTDihz5e8A7s193khq71pGeLV3Lf0UHVAV5sEKvLaQtDkE56XANy5OLOD4hQRJtq3oJ3Q30rZntVIZgQ2Xs9Do5C4T8mXVmTSevqRC0_qgzYceQJu4c3FCt5MOLWXHX_vCt0C3Cr0dNb07hrvW_waYzrTZvxTbOb3QGc8IEvVgGiN0dKdJt0JM_dv8LFYzAlRdbX79rOX4mV-Iudx--OJipsGmx8d62V-BeFnQVtIDZm0uyJ1sii825U7k4AtNudsPX0jMnHI9NNZrygOhsuCUd8XK7tOq_IJCX6zrLybovG1j7ZChF9NkUeIftiAVu3QYoS3F4vhFEIAFbcyO8bDNRPKB_f-vmxd4WukRHGbZb3qhaABFLIx3GaPjpk1-8t5KNZQHB-XZMy0plh96b8s-dGo3GiEORrX7x7KHaMojiEM0hTjjFEKOZj05tXBnFLpNMYrE2QdW77Iu1_NaUoDNr6p5mzKW4-AAPIWsYkgvV0RsCJeKjHPOMA7kAzDOA-Q8as8e6uxjpT8WTv5jFwuZKZEOuBnt0StpqXB2rWgqVAfcWeVnwFhH5c-Vc_oiTzVrNbXkuT7gembctyIeaob7S0jDKgZ7BOXEeD973zr2IfI9jathDG1rp34Wdu5nTwlw0kE_RwbaMka72NpJIu1Xwd0n7VdvFwkK3POyS00nG7V3TTNNte_sNEHVttnRE1pbyfa16BCN7XdYZzUZsuQmvOKaF-nsWZeIdNe9aRGRtSv0x4xtUPPz-R8LdpKf_dvHBI3SFklN8iC3qCh-efWNNleycjBB9wvwEr9foTcXcRqqxOQg5wiIh1l_9p_cYr1KbfGQmx2sni2UXo9cmpr84DuvMKjJrbPezLMbszME77HJQIP311z3q3A9lo8AqYw8RM8zZffW97ZUyd37Huj5Hvp9D73-ClSbIbM7LpRK1J1Mo_bFsoF8gPDGA6VXO0872eovkGnteSzj3pRQICvb89TDfQhFjwzuncQ5mNrtfcHgvonm04H-PPD7Ity96cFALrnnIvt7IdrXoMRM2dslrmYKrScvsiXSZsHuXZk9YIK625YRUwjkqhd2svrnRAha8tq7_HYnx701Ivi1cLFD1P587M6Wd4aCvOyB3js3P2DavduWwc2BDPzCTsH_HG5uydbv4uY-mfvfREjGoXN_Bncn0DtpQQb3QD-AumaZ5XtU0eywgm1nmocJGtFG7iWGfsaxJ0kaFs2xA_dmQh8md7oNVw2Z1w0G40JubXGIwb6Az4vBsgwkDu2sw9Q-7NB2o1ynrAmjruMAxO4odpX5r8k849eH7rCYAV-rcxktixaDOPj0x_AAz-v0Fm6sg-tu-SV2uLxZA_dVB0dv__j0_wFx-biMW_sAAA)

### SundaeSwap NFT / Settings

Settings authorization NFT and multisig validator

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-08a3PbOJJ_BeXdcqg6STuZ2ceVbrV1fuShG8fWWXZydVHKC5OQhDMJcAhQti6T_76FJwEQlOWZyJkPwy8y-4VHNxqNZsOfD9YHo5f9g4JmdY7Ywejj5wMCC3QwOngHMRmu2EH_gNG6SgVIUQGBAfcrVKE5mRNclLTiYIY4x2TJhieU8AqmnA0NaJpjwlcgKeWvgc7SCpe8J0QUQuBoBCYXIOnp1zGIkYN_MvTTP0FZV0iSHnzp2w4byj_ZHvzJ70Ewms-DP4Czo_M310dvXoFjSJZTyDmqCAN_GHyZEw99Cjn8EZMsikMVXqMjsjnJIesmeIMIqnDahcdkOeMV5GiJUacQTJbvMYxgX-foAd_maEIYhySNSpAdgDn-f5Sdo3u-KZGRGSGeSK3-dw1zvMAom1LGY1S6uRlexlo8g8VtBk8gQxHkuzrn-APcTBYR5HldiMm6JhmqWEqr6IAu1qjKKcxQdolSWmWnNNbHhmrGK2EMERo7zlMawV5Ccnd-tSmjnZiltESZwL6HFYa3eZyKQ5LBnJJtcy6EHJVljlPIMY3aoSB5DQucx43EojenqEQkQyTtJrwoUQU5rWJ4MfEpzuAjJvUeo_stq2ar_s9hgbLXGOXZtI5y76I43fhsQyjZFPGZr3Aas4tH-n5OJ4VQBebTCuV15gzhYno1uTif3bx5ewIGHwgdFJgxTJYD5QoHOWac-Rj00IXJtD0MWGT1ey0tyrxeYgK0M5uqt620A1pyn36ESY4JGqQwzxnmaLCs6D1fjb__7pdKqklKSYaFxcL8V4gjdFBWiKFqjQY5XS69NbKjDCtAOflBTr2lNCd6B9ths5oTEN2B-nPSa21-Xi8caM1hla6Geu9KzO9w2Ot5VDU7Q9kSVUclHoqtZvj-hwB_9QB-Mk6qhRoe1zjnmLCGBkAGDLSbfjghwv5hHjBO2iwnNEMgWSI-zdNzekRIOIKrB9X1I8Zo-g6WvsjTd7DsYDjDjAfEAtSm1gvRIq6J2MQyhT-hFfKlXE_PTmIBivTkVt8zDjlS6pY7EsNLpabTvoAZslPI68IHXaIMoQJVCsqyo5qvaCW211lKaYkqFsFweIfJ8ke0schjyNBrhMzrqweOCBM2ayDvEIcZ5PAoKzAxwCml-UmFpHU73KZvHu0MF2XutqEDjY0DuqoQZHW1OcqyCjHWBjvyLDDP6b3YGhSiVM4UHC24mRQLyvOLRQAimxaInyHIuA88RgtaBS0oBX3AAak3-OsygzzkayvTovCSQF6HLXnjd0TKsHUwAOOv-EiBL4dgQhYVZLyqU9GfPTQzJyktSpyjTCzqK6rd0mjkrvaGAEAw-Iee8w7WVJCNxcTliMuFN5xWdFnBAkBCwBpV4JZmGzAGjgORXIIHYKNSkER5FZSjqngHSxE3qMU9rIl4OUXHVY3_j8gmenvTzPdD6yD2ohOxzU3Ozybnr46Oz16BEuKKvYXsR7RRm5cLGI3ASYUyRDiGudCOcK9D4XQd8BldoxymSOCPKc19EWPFU6DiFlWR9gvjDCHHTLpU2YsWWChwNAp9p-yT8OLKu0_r2x_R5i1kK4GYXswm_3OFC3QJyRLt3v12l5iyGiYXL61E7LSGOc6U4PusyoXQMVhSTTq3B1cggGMwn6eQKSt0fAC4s71VKKBHg3JUWKTTrKJSbk43xVrMMM-bnhgW6Qa7WcimzaLdJKjQTzWu7DS43Bb197GWtKB5VoFkPmd4CWCaimkVP_8GEryQbeAl4CtEwEuAcobAd70e-M5vWftiwHEh1SKmzp1wujDty7hiDXNwA5LrskTVMa1JBtADB5hNSJrXDK9RzwoRiIYbgNeYYLEtW1MBKyyp8cIVoDq8wmKYslOy5-JdvjbybgTva5gbVas96ikDSc7ofecwbp4wkJx2DkR25-9jkFM1EPUOcto9kGYr1KoKzNZd8jr-dNaYhkgeGds167SR1uv1zFLal2_9YQiuOc4x34BFTVIZsj-Hk11gkl3ckwkpa31E9CCjEbh6uKj5JVoEDu3qYUImZEEF2PwdMFdoAbD4i6mdUZqHXouYZGIpYlIKAVwL0C0J6Hgs-HtGgLGo_6oZBw-C50EBzilfiYPS4B8AVRWtZFKsNcwl4hc1L2suAx810ABmhiq3ei9MapEKtykHwwWDgakuunSJ-smkudeEwQV6XdFCnz1E6A_k7nHzSO_XMK_RB8xXtOZ2U5BjiGJGI_BewIVU-UcHXaKo1j2lHvWWyJ0oQzkSi_akripE0s1sU9zSHMwP5gc9sO7s44T9L6qo0zUNENsjJtz2Su1mLkWxNvsxqfMcJIUhv6JiAyvWe4tq_jy06gYyyAUqyn2O1ZeuUHoXCdrVDHZhdcARGimIWS7ojEM0zg9FDMOWaESTKBV2DkAuW70ynBXBRJo0CFCasLndefV8bp3rwBhg4oEa6n7kMCfpA2AHhz3S-TwG7HPFz7WSM4pquL9IIjMxBr5tBiJjojV_-qBcpieOitZ8h2E5CjcIKBfWuMMJ_mcYO3foVoSbKDtWZ1EwjkToqp2YlVkZTa-vSboS-KxbX2IbemzQ3NGALzLQjRbWoTHu6qRDjlFXKMlTo5qAZqIa5RweRofvEURHE6fwOrov9_yXoU1BfBv3HEmAOO45gv2tuefYAL6xe_YTepLaA3U5c0vtgTqdl0lChutbw30-k4WUxPrFp2iyiGp85jWgclKLiq4B-JRhBlNSB0Cfw0mNSuLm_ddsLC3d0Zo_RXm05k_RnucCd1Sf74Mf0x-t-eMKFIPcSYOC8AkqpDV_gg5pzbuU-DW20ehEf5Vt1Iv5vN3KMx29U0XNqXCNxpfh2ZOWEbUx7jm3jt23kRGfD21PnfGAxreDgcAQb5XR-XK0JWrmwC6ZscBgCg3YTF9oqKwxyICzQRjetu2Wvn36EgLj1VI6TBpZ2_WFNDat-QMj3x6jRG3LI4mbTkcg00nSUryHDbXps7YUF4RZbf14BF0q8Igis7uvMOuvQ1XUJJe7SOk-R3xlFP3eNKoCqza4FU65sZT9CqlSUU22SqSlVIJKRUMtuWKy_a2y0rLE3_SeXCKZ01GClGo-y2TVgk50YksnqBSyr5EqCcSsEw_QIhci_C4m3EfMnDT-WPpfH_--ccZjxzP7RB9k0OZ46y8qhFNBHDXZubGf-1Oj9UYjHpvmu1EUjOZrucaNHJf0Qskxxx1DotI-N-BGsRkhDSe9J2rGgMnVrxDM_LnzWlDUTjsKEDSkgE4zTqQ7DlOCEXqZnzqn_MQ6tmgaLWh-3E3WzEbTCDHW4GXDrGUITxkOuGEG0rvaGXcRh4dh_wOsajgAyqymWQReGh84QaT7LdjJtJvnaySFfJmxj9BdDf_K486-HOzfhjIF-rwOVtgRe_UAU55vLgi6ondI10tFMeKjqp_wFV5UoMRXZvESyeJGJaGHEqUcZSfM_nlFZJLXHCZpzVE1Fd9mTOKXUx3MypNwNAOs1oOt3SkgT1eqUsZZ41psA0tSShhX34x6DhjM5wtcMfGhgvGWOW1rRT2CLYQJoTcR0xRPPGpPjifDBeNAdqUX45OrvJnROMnhoZxWTEgzrceToWpTNHTExDSK1hjJtrYGHp_mDh7Smvvo06GQOC2Yz_mdkAr43WVMUdHnyZ1Xj2piJ9Jtmo4-29WvxvjYbLiPYxRX5Al8h4dd50fxqXcpqk20kfyiPr3ciXw3oYmY4uaD72NMLXwL0C0w9k1LBEhmH9MBiv1EGsCjrtP7XKo_LSqnGZFA78mU5jjdTDLlJW39g-qksLdEiYFZVoEbkIGbpn4AqhDAyQhKKncLb3389r6Ti0elHZtnPAbu9_GaBGN0-hxM9eEhSGS_MkAX3kdROftXVY3-I66I8Pt-TDEmktfbUezw4KOC79iRXa7jrOCLuaWUX_MH6imLPzS7mhLzuRXm9-Onhs7zgsj_8AebKPG3WBPOR1Bq93V7lzT79_zAjEp8xXViTMBEqTw7NqNz5DdFOI99rTdz0wvOECXcsCsaXGJxWnhkKbiHAEzC8fqHbm8U_nE70ol9RXr_PgSvCK82oKTCACDJgCkZtDVYzxD62Qg8WCAxxGgE3I1ArAL_VV5KijAapUu6lD_IX7saUrE0ujYb7Y0o4aJiSPPadLWL9LLVLkIv2rFeRV6e1aUzGQIw9g74UVrVspbL7Iufmk312sREOd-Gzne4wiDFtSZl9PqIncgaFlMbItMZkMNeL_DFYgIzfVbtmkI_J2JltQPV7HEhTRpF1EHZKTMT5vt3TET5VjtRozos2tODVZpRxV1JTxV1NZUuRpzwlN482eXfnhPrgztHZD29a51bur-Tj99lGK06nugFPpHM0m4gile1UrEi4z_q-xhpbHV3XAWUtf72GqCs9f_9FuDvtwB_vwX4jLcAH7-jd4WKMoccvYXsDuX5zk10XsTb_VJd5yW9J9726yYvYSWOG4OFuOrYebdPtM3QAOb5oCaiVrux0fattdgNpvBK2pu3J0PtbBhI9F_NnS2DGs4upv61qdnFtH2DzdwTG57hBZfuPaRoLrC9_wEkU52T7YNpc-Lqg2lT4REREd7vCm_GCcFWrie2Q-pj1-aOmEpCQPkbudBm79UlzhbbdfEtdo9tX1G2unAYXrvYS2QtPjS22gFg3FyXCOp2flb3IMBHn-mTxokLD104dbMBmExMnErdQjBEmlPU8_sgWxkfdM_4BsA4Te9AMlvR-z549VMfNItkTqxqC3iHJtI-JiRDD-pDwosX7Qn5CJIXdkr64DsZGfVB8kLORh-8bABiCvrg-wagxt0HP1iQGmQf_LkhEkPsg79YgB1gH_xVAj_t29q8iHt_xuY1IwzNbzZSttO-gaQmKSjXEWTOx6JWfU63mLCWcYsgW6U4GoFEW2TfmGbPkEfqK0TjcHOLwMfGYD9F6J36zNEIfGwcoSU2RRfiX2o0S8KrAYrhnOKJNjYsjGhTOFUP_olaEHzZdek5VJBsUhlMJ7OL6XC31QlevPDN52PiA8TKfLaFcmnP2_teK5fOyX4c-1SpnGJHwebX8Ymxvkiv2O6N6x8jfTLecs-KAomKAHqt-4t7UdgfE6AiDX1m_pj9bE_PkV3WqVN0d9vTYD_Tz8_m9mFyeqZCkUBazydW9w53JDY3Du0nkp3YzHVBx080ItUFvBjKudIWHak1VqLOryCxhnltUyJimvtNgHZFdeRmWvm0z0vcLetqZZm-jX1FuuFaWKS-wVNMrA7hl-jlm6vBlAF_Sx3orOW4szY5Vpzc3lf1E6lM3koblCXvSKtv3uxG3Vy62Uofq3jelcG9nrOVx1ZHb6VyCqS307kV0lspWwXSW6nd2uhOwi-_7RWnjvIjMH2uk2nQEEhk9DnrqUBoardNMwOfQWnu74vPoqgqABP5CpUK8BMUzoz_DKZyf3XEmFv3ETHJ1CvmsdL9vvZ67TbEtrzvNtRu7rRi_1tAbEbck4uy1L30SgULTqfk5fddOmTHJUKKXyPABh4tBTzZXMKAevfzTR9MVWjdB1MRgE9FLO7zmVW-KVEPrDEEif74IPlm8j_HtGZcLhgjYY2lS1Fsgmkq8noiz9taT-3zMNapYDXgTs5n8DHPlI_w27EeRrqXdmqijOQmWnbTUo5aV-10RYtT78INSyuDsXNjkaTGE5pz8xydXkBWrrVXXgTUa5qI50ZaXbMbW8jkJ0h29VBNHsXti5NK2epHJLGXXdmB3E-4PM4QycE8zuSnZbpn8bfit7wltbvb8tdoa112Oq2A8tl81v5TQ62mWrFRV5ZoumOa6Btax2VTmPFEA7GzEUtXPWomDfHBl0_9A5hyvPb_WzKslnWBCBf_TPnTl38Bv0PUYGFZAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-09a28bOZJ_pWAFYwknaTc7u3sH4zw4x87DO46ts5wMcFEQtLspm3CL7Olm29J5_N8PfHXz2ZKdyMkBoy-xyGKxWKwXiyXmfud2Z-_lcGdBszpH1c7ep_sdkizQzt7O-wST8XW1M9ypaF2mvElCAe-Bu2tUohmZEbwoaMlgktcsKdPr8auS3lWohD5a8o5pWuKCDXy4Y8JQSZJ8fIHKBfRTuihwjlrAKWIMk6tqfEgJK5OUVWPdBP3Fjf77Y5LjLGG0HHBiFpy0vT04PoP-QH3dB5MSmO1UauioULTMduAFKAJggRYFW0FghhnZeRg2_NHdf2no-0tDss22-1EPTg5O3344ePsaXiXkapIwvvYKeqOHGbG6jxKW_IpJFuxDJb5FB2R1mCdVHOAtIqjEaawfk6spKxOGrjCKIsHk6iNOAr1vcrTElzk6JhVLSBrEIAhIcvy_KDtFd2xVII0zAHwsdvu_6yTHc4yyCa1YCEpNN8VXoRlPksVllhwmFQp0vq9zhn9LVsfzQOdpveDM-kAyVFYpLYMLOrtFZU6TDGXnKKVldkRDNLZQU1YKMfVhmnUe0UDveUJuTi9WRZCIaUoLlPHej0mJk8s8DMUSkiU5JV0850gOiiLHacIwDcohB3mTLHAeFpKme3WECkQyRNI44FmBSq4_oX7O-BRnyRqR-ojRXYfWnCYLlL3BKM8mdRBgk72ZJCXDSc4pnuIrkrA6LA3BPTybXByfnU6_vH13CKPfCB0tcFVhcjXK1DaMqoDSRUdJizXKccU2AZcmcy14IVc44io5qgJr9EbUpK5QNsro6BKTTALOiPIDnRZ6RiBkQ4czMoj7jhOUXaHyoMDjjz_7vZMS5XWG_I4PpErmCPpFLf44pKhMke1y6srEDf3DuiwRSVfT1eKS5tAfjwdDuKA3iHBZEt8HBoXNUoV2NsucsoQhudaJMDMVvlJuRmAUHRr4KGH1ItB-jjKEFtxjqi4x8WgE-9_wIxC-HMMxmZdJxco65Vu_hWlmpEivUXrDvbDw7BVMXlGaw-iX5vsHglkDdwn7UOA5XEK_SKmwAQz6gwEUqCy5090OL_42Br1j2-ECV8bXOVoYjOhPJvXlr2j1LqmuYW80-gUmr2qcM0xOcMWgPzngQpKAATbQcJTmAxPrPhTXFFfsIF2lOU7hBRRzvITeCyjyZAEvYDarUD6HG7SCZQWjX7jMFSjHCz4X_wLQn82WUKKK8c3he9Av5iVdCBqW0Nvf56MH5r5clDUaQF9g7gncPYGAK4vA2IK-SfIKqeZl1bDkIM95m8GUdtmOChkr7-SWPSzEsYM835hhRYmy3cewTMD3YNnyRTcJzvg88Xkl2Oqziqy-A6vI6llYFZMpi3cbS9UhrQkzmCUBAKBq_toW8_g55gqVA5OSZ-HgS_g3CAtcByv_arGuSHBZvUuqX9FqDfMmhyXKEOHhQ5BH6tskwaXBsXbQwGg9obcoT1I0cOXPIGfr9q1fzCumqJYM_fb2bqEFJmG44hHjGia7Itb08M-G_iIwRpy0b5McJhNa4eUFXqC1mJ-2nyG0lOZN8yDElI23upLqKgNXWvJI-pbHlecJuUJwh9l1ViZ3Sd5IwyJh6bUextGkSaWWPmlC_PviRrLuQQ3jn9bP9qCVGQ0JPZMIhfAgz8_m94WcrfKQKb8nPz25sv5sxmlttLiZqLJngJ650J651IGFtKVUkaFpI6tO2qSj-U60sROUVOy-KNHvNS5RNoQgoe14DWig_8996IPtCezPVla1fnX6owZNXqE55SLH8AJZq5OiaszJxbXfqu4XqC8HxoBmSH2pQD8UBSpf0ZpkgJYMMEnzusK3yB7VjOMwtkroz-QNJpghuMbOSDEaz_31G2a1nbYTzD6qwX-1xkS7U7jGA7GvBms5174R3jVovwiPYdt2La9zhson7GB-CV-CO5jrHTyhd992B3O6vR0UDHA2aAPu53SwGd6vRduxg9K5_oaZtoiu9c8Rg7SUnimlBPpqiBED9YssRJoCFE6i7xkF4aAHBqWYgBX09OS0lr3Z1gH45zF8YDjHbAXzmqQiEbidk_Ack-zsjhyTombWaVhxlRLGZVnGCxfLY3JM5nTgDgxECTo6SNnSdvm8QeqUNYXeb_V1ly35TI2_0c3yG-96aFVPYY6Ceqo4mfLEKM-2y_ijRHMhlK2YcjHjJBQ1q8DUoxeR2SS9Yia2PBYCLpt2sUTClse2FlxRgTgUTakhAQNhB9GWnsJshkmhY2ofwOCUZVKKgdoPvb33gnJBO63ZOZo_uFbOQilid2eECNhLNB94U-l4XUTqPs5Ak841ue2SSUY7JpynvWbfdJc0N03GqrhC7KxmRc1k1s-U-ovlWa2l3coNDvxxHULPBBpL7GWTZvRZzTiXz2q2m3FkAWE2en35NenIbMdlSmrMNttL49tHIRvE-HWb5DX6DbNrWjN9nrC49pEDwO6UlgxlsMtPMgzfIsXHSO8ghrmDr7dqqVw7EWEiGtwHTr1Ywq1cArfcvp5w_ZjjsmJhDRF-xVZ15xgqBrvyyecKOW2AfloJLTASp05ie7Yz2wl5XAh41RgT5SkX-pP3SaFOv0GMt22j0W-0KnY2WZt3KMmklFlbHT7jCoEeNF6Cf_HRdOwrFRBdmQIpk20GVC3CtA0KSSuyx9X_oJJ2SeopJRLESnWYg7-pMPKlfAlGP4HEhrshB2QlzFo07ajN98Y5s8adh1ONUdf-4-YbtxGL_X3c3DDBQbbABD7w-HKb9zN6PjGdnm1Ndsoy6YFcz7r-CxGsbJIkipHYpSvCV0t3RQ3XpYImy1EaoCpMNCm_L6rMmptHiNlBza5pyYsapiy5weTqV7SqRM9FiZKqLlcHWVaiymnLc3rHb7V972sS-UKvfjbr5PN9lBLY5wiNBmtciE45wmzsGKKX4QzizdaoB-ObG9FxI2bmWIIhbzzGNYd6gS6YJ-_99cgM6AAuM5coze2Lx9F6l5V5CDFfA8peraSSczq9bKidTLIFceMklTdvKxcfSHrNB2SexMhQIiJfLkZmyI2D0hQpjdORvSg2LlAxdLzPw6cF08KIic3pQMrup5-CTAlDBhe7BtRaybYcxz_GoDnxXI6j3ckf1nEESNyC45Dzdhrse1v0bUkceurtdr5HLOFppmCnoaUppQUqKxfiVVKhNwh5U-JFkQc7ZIXSKtA1oTQ_LJEoFwt0v14yRCqZQWp6WlcQTHsG3d9ajhp8tS2jNGYRbsZ4KkfF2GyMsvbQtXLRUf4WKTL9DfO3TYL6exjaSYU2sLHh7dWmP7Tf8V2Xo-KiYIxsBUIOCgqI_Dw4LaE80HYjB_jG0QNsM4KAJ0URtvw-NYoQc1tBuRNL2LGK9NTdOgkAC1P9HIy2tiqM3fpqxSY-RocTbnQSwVgpjXUXrNXaj5xiKg4Al1KnHVxa7RWqmOKL7Vd67lLTmAPN-qhBECFho_1eSNgaCo2pw1Rwk27bBAefa0YUznWGhCeMGrPhoDTsi8LWYWHWR4OgI8KgcMfhw6Ibhw8LZgc9rtjFQV2h6kDqiU8HbEBI4tAxMYiPCGzwtkLlf47lD1du259zbCNGrtyK57U3XnZ9sN3W1AbLZl44OwhOsuZ2zIhbS43y6TdmRi5D32HNRRozBNxuPjWu8qyrvR6f3oJrUxQ6WtSw0WukElU0v0WZd5HUXnY4kKGbkkROLJCA3eYvRGZ6n51GkTtWFBr35m2fQalKej8yYNLDrPiD3pE2y-7k3XttZtwDD-2lGvYVGyAx-DsQx_xotjVXcM6lXK-dx7jm4BhOKTts3FT45qnnEi_8Vxy0FbR2LkLfY15kakmQeaPQs26Y1u32giNjy2N9acOvE2RtvnUuczfUtup8Ga3iOn0__eTyxweQi_LbJfmuC9FWzG3vBwti5GcSSihHb7GjKeieaU17lqz0wLV5xuyhrET37KERT5h9a78n-fcxCEHcskvl8lm9XiYpy1dnBIlf6Tg3VBPn2lOljZrf8wRvicM3c6HZutwrWhYoZSg7rED_eUGAY5HTtRd4vO21f4nXgH7FzXK0ZiN-G-hrTsGJjJdIy7tpWciRhgpHBCESh1ibgagimYdIYmL0JoYLIA2en0CZm5bzUShuP-LlLCZz2Q2wm_OuupZmiesRKrQb894nKLoL7GbtaHD4cxE58TgjOK9iW_aIWfsvG8X8Yv46onvkWgC5OXGoDgSR69zgLPTGEyYPvLQIMbo7JjJ0v6mJ084lUAIRNGcb1EVoIxZAv-klO70jE5rjdHWcce8Su2yXFRW-NfKrvygnLx7pDSFSpGThs8codCrYuC9U827aFGgGysk0Jh84UkbblIoadZ_VddA-xOpzjALzaxnpxetFDcaHC3Y2KttyPx1lXN4ipO1-XEGX3Nova6ymXX0Rg4zX7NqfMHtUQYcpv5ESwC_GTwB8cAndXQpCdRGQPom_l048cOQXMs_LFaWGhgOVpVFU4x7ybdQdkcglpewDW1JrTdYtlo5CjPjGPEVEIy39sdhldxglaG3Y1b61MdsZOPBfcUCBipfWVq_0es0luGVMxox54twk6XLWoEZ_2yrWYPGq3jB7wFcwqi0DbpAUyaq6oM0P1mUtssmwgKtwteIxJBipgzae9U6TjqBZK-ZpR2t_3d7QkrZ1xPmPMXC3vYKCitPpFs43gVcSugxIKIWoTEYI037APjy1Xl4fup-pYv4LLKTbCsQXi6Oo95sc_auuGAj3eJ7cBatwM53aeWols2EX9EShotgm2frIqXTeV80W2YdQobCfGhbZVeipNfeCqZPJ0Sll1_y1GKMsW3Vx_9NuimkZAvvy1DyyQhL2eb3GUlrGyDFSXclnq9w8-IqTeNijecFJPOzx5zNOfz7j9OczTs_4jJPqmq4IJatFkA60KPKEoXdJdYPyfOMp_l89zzTnD1nFAOd87gqNkjwf1WRO86yVUf9lptBzRe7rS2_fHY6Vsamgr_5qX0_SXePp2QR-14IPSQXTs0nHs34neM7EI3xdjzxBc4gfmq8LDJ0nDTZ5Ccp94anBa6GNYK2ri2W7OK9rrPxzPxH_-mPHKjdTQV_9FYHjzWORwbFYeXSyrQB2kmPCrvfAfVliC4Gs-EWs_4LFPjRvLRj85z1_gHg0AT7Zgz6rPv5oQaxPPhoAKr0YgZK_ttdAaiT_-bbd1Pwe2CFP2waoGE1voD-9pndDeP37EFolmZFmaxfJDToW8nFMMrSUd1y7uz5DPkF_t2HJEP4qwrgh9HcFN4bwsm3gLBjC39oGue4h_Nw0yUUO4e8tEF_iEP7RNDQLHMI_RePnbUubU765LWGzSyf23Wl5oahbJ7rnqwJnklsYurcHxlUm77cLx6Jo3B9ZdCBqflOxtwd9JZFDMDPmHDxQRMonT1aXCD61Avs5AG-U9u_twafWEDbAuuiMP5naqgTvaYvJAn1GgZjf65Z7-RBG9dbeHhgGkwM8bKp6BlRCVqkIpvvTs8l4M-2E3V1bfD717Qaumc-mKOfNoWzbunJuHP9ajXGq-f-ASJn_t7GJIVqEVfSpMe1jgCZtLbe8UdCXEcDAVfujrWzYiz7ISEOdXz9lfzTH5ICXPTLO0Ia3PXL8mfoor3sE_aMTGYo42AY2MPdBGwNL_3TUOObNhkkfdmTaiRYl92bhrsavRVbaCCuR51foN4Ipnwx9o1IJwzZAu6AqctOzfN7mi5yedLma8Z3kK0CGKWG-mh5ZGxNQ1KOn7Mt33wbhCL7zHkga3OjG5KcX5RwF_Kr6eKHOGlhrKzeGFQHPptA6DloD7wdCmw9oI6E1Y1RAtAaqCY7WwbWB0hpIJ2haA90GUB2ADz-2xsmj_J7_5uG2AiDvhWYRfU4HMhBqHwTUHLhv3_szr2M63lx8kKGTfArQQKOehAuhib124bw1OvDn4G5523NIb27Mop_eC3LErfUZbocqGSwYRIkXwzYhqFkXDym-BkETeHgb8GhxcQPqzc83Q5jI0HoIEx6AT3gsbo_TWr4q0ABucQJ9dfkgxk3FM-Aex4XCaAy3WJgUOYwPmvC8Hs_zevrkn4exSgXLBUdHPoONeaZ8hPvWu7Iwwrz4qQnvN6whufE2J_g71tBI5YXbIV4GY-PJAkmNR0xn5jmiVsB5abZ52c9vGrRThHMjHmmNY4s_5PEYC2W8gmvQYqRSOu2I88vdzcDthMv6AYEczPpBdlomzsUfxW65j6dtaLZsHfX0Mmq0HMhns1nbTw0F_isKJzaKZYlCP2r4waTjvC2WeKSANNwIpavWikkLvPPwebiTpPwtNev_1UrKq3qBCOP_7dbnh_8DykQNZotrAAA)

### Vesting

Time-locked release of funds

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-1bW3MbtxX-K2fUjGdZi3SctC-c0lNSkm02ssiastKZMGNBuyCJCgusASwp1vZ_7xwAewclt408aSZ8iLU4F1zOdy645OPR9mj4_PgolUnOqT4a_vTxSJCUHg2P3hAmBht9dHykZa5ibHJcgBTYbaiiS7EULM2kMnBFtWFiPTiRwigSGz3wLXPOhNlAlNl_feMiViwzPZRPUdtwCNMZRD3_OYIAN1xr-uEaslxRy3n0-bgcrGd8Vvb-rNF7ax4f-3-A8_HFq3fjV2cwIWI9J8ZQJTT8of95KRrkU2LID0wkQRpVbEvHYn_CiT7M8IoKqlh8iI4TNIoYumb0oBIm1leMBKgvOb1jN5xOhTZExEENdgCEs3_R5ILuzD6jhc4A89Ta8-854WzFaDKX2oS4fHcLtg71eE7Sm4ScEE0DxDc5N-xHsp-uAsSLPMXFeicSqnQsVXBCsy1VXJKEJm9pLFVyKkNjrLgWRjERHGg5z1MZoL4l4vbicp8FB7GIZUYTpF4RxcgND3MZIhLCpbhvzVHJOMs4i4lhMohDZHlJUsbDICnJ-1OaUZFQER9mnGVUESNViI4LH7OEPACpK0Z393jNlyz9hZymOGVm5oryPKlBZTa_nM4uFu9fvT6B_o9C9lOmNRPrfuLXsK8DHnNQit4hpPucafMl7C6i3cu-yni-ZgJ8eJm7r3t5-zIzTf4hE5wJ2o8J55oZ2l8ruTOb0Xff_reachFLkTDEEOH_gzoh-5mimqot7XO5XjdQ-4U6SgUu7Pa5bIB7KXw2eTBxLAWE0sHxUvQ6WagxhFprboiKNwOfSKLi38Gg12tw5fqcJmuqxhkbYOQfXH1_kH713LFMhaFqSzhEKTHx5uzOoP8lx2A_C6r_PJc7qiYyF8nhjq--c4ov77zKWW6y3JwSk6dtqcs7-FCEsA5pMMkZN0xoN0ZBeMUMRMNk2hU5kQmFaE3NnMcXcixEt0c3urHWMn5DsqbK06L5gNQ50wYi_O8hvZajqRObutw-apSEdwIzW-LoJ1LRppZ38_OTQL1io3sBuYUhxsKp34fRL_izCp8PYCpWimij8tjkiNtfvJuliGWaMU4TtOOl9EAfDusGrhiAQP8FOKYDojGyjdAHOTV2EQdzJdeKpECEgC1VcCOTPYyghhkrhTLABBTOFpR1rYaq9A3JLkhKnaEGucCPUzpROfunsF30eo9lme8G8M4wzsweVrmIbZR6FONg-JxenE8vzsaT8zNYMZHMdmIqstzXL42W4RAu72a5eUtXaCbrGJd3UzEVK4kNxd8tMUVXwPAv7ewWYxVmfWiAfBAtl0xkqMB4Bb4PbB2NUL5XKJAra0X4W64N3KHMnWu4kGaDWaH_AqhSUtmKvDPBNTUudunJfpwkihZVcogwHBZTnOUGFReEau6z3IRlpWsAkiTKzbqYMDeIsuVSugnPclPK4GRRoFeIuxnAJziXW8pJTIGkMhcGVkqmYDYUFNnBtY-qGK2uQVGb6ISxyQ3kCghcXxGe0-sBjmN8OgamrfCKKW2ACqP26BcEtFSGJrBFbkhJNliKIsk2F7EYz0slU-y2XMQOYTiE2vBwzhj611SF2beE239LB5e5oWpOmNIwgsl0kAtNVhR5xhqDvRdwIED3FveyR5PpQCPmJtPBhpKkph_d2QWIlty0K1V10-vdbyQCNgmUJoB3mmq4NtKvCqLiGqJZ9LwHsaQqpnYYRoK-ZZk1045oQ1c5h-v09g3JruEpXLfmdQ0KU3jfKCtDDOqoOrFLmsJT6IjtZM4TkGZD1Y5pCkzEuXrQ7GM3wbbRffNwCHayh4zt2SLHlPYOGLvM3IPGYkH6a7D1yYbGt1jt4coBcX7oHfkaEg_lnKKrXc_zmx_o_kTRhArDCIft7cY544lMb5igzh2LOEBEAjXmWAqXoaUCJnRGbT4AJowEKWxWy3C3LzF9FTEBR3AMZCtZglHR7CQIqo2tPCwaMrdXckUg1WGTYzCa6vntxpm6-ux6tZvja6I3-DWRktf58S_n37ebytyxoonzdigWu776dbuc2EUo9Xj7AVgdaJwuBLxI0UnN4CttSrlCD2Dw_bb6evKkrW9SQaIYZaGkGo5Vg4VHtRzb200JmwUTa0771l4ryZMh6Dy1IVmuypyx20hN7VQRDUxjAG9D6Bo7XEkF1xZLcLmhDqiu-NlJdatBikB-0BIoiTe-N2AaNXlcUUQ7ggqKmpBwBy4mtLEutIKVzFULTAnF-spqikLZshr3MWQ8d3DPRa5pgkjN02eKrnxZtmKUJ7oXBiSu2Tghk_3Vrd-E-PwdInTydxOjZWgKyRa2KPHq07fkCXe2jmC5JHGMnNB_Udnfx7GXdhoOlfcAOmrGaJmbOpbwV7pO5SSl-honE8BWEPa4pkLA1ReAY38azOUNmBvCeNVhe3AAlCNW49i1e7L3o0YVc9COUxE2o2-vrFgVml9gSC_ty8aHzegq0KYZFdWSb4Mxyi7LA8GqZVsmsl6vvYBfjpT6YH47EHH2CSAkzbWZ4GmuoMlk79DRaiuQ0URDKBG1BDWeEWcICY8HymlqG5AS3jacEYUnneaSpbQsfBqNuKedLab_wI-3RKw79U-De0s4SxybBWbjbKZO_QaWS34D7_ObEp-tgxvgN5aL3hl4XwNx4_QHkPotbjyicpRgenYT0kNrHN4r2XOe1jbJtRUbQtTiTywsocMoa5OstXsXtLsgz-jhERWbuOJ7uXxf39tVzZETTOxUnN8gTOuelzzaRv37AZwzQYmCrZs-5uQ05-Rr7Na57dmvu7NPswkvsRz-alB88M-2Fm2IspjVhqQZJLlyO0sjDeFjXhyjgilY0DSfqk_4S1uFL7TqPC_aPE-rjkbtrpxwtWkZQcK2DI8J22P6I0RVH_1WH71e2cdj4eNPA3c5af0ZbziAyzWLvwY6PCCvyp4tQNqtuJQYuMqgiQ11LDz4VXM03-KB85YmlKYlX3FyVH66kyL7gWc1oZHdUEFXLGZE7fGzaT5sqewHftdtWzEiFAOK3lJO8cQpoTEniiZu-2kDiNwJP6JqOAAf7TnUSmK-wJHgnc7IpwakH3v6VS2E1yJ2k-klReqKtpp9eTIqE2CdWBSho6qCQvJnF0QBs3goo7VWy-9ibD1aHMWNmkd8bv6NMVSVCdJcyYEe6KuvsqlQ2ZJy6UDuRHmotRNun_8e3uOEKq0tydhft_jTgVHgvKHQ1ZI0d43MOuqk67Ztyp9y0MAJ-jObfmscYYFijO1KB74scvq-muPu6ALolwOsE5loQbkjac9MawPtMDx5EtxJFZueAJDquh_o_Wmouvd1-H2a-3WLVx7THHYEUbN7HFDTZJ36s_h9-uROHTx35WX3HeBWUD6k1tvEVZKcirXZtPu4T7RY1ecPMj15As0dRdSqsiI3BluYt0bQrcpDY2gEzvav1GD3BlH5acv7-pn7YyTSPw_gzJ5TZ5Ih5h4_f6a3V8EMGmjvnobZh0NdxtjcNU-3Y3MHowNV61_dgQheQ2Pt7mWLVW8QK3N9BF0nuLTm43eR38CmmgZfkasBI0eVtoO8rmevV5cfFf9nGOFoiwM3e91T8ZVXOHYW-DSkelDl81Fkb3eKwr7AZK_X2KC7BbTUw0tY35QcRndz69LG_UfYJpMqbsHo3igGx7BNFu16t1u5dIVOq3q3XtZ0GcsMScIB2BogCU1G2VR3_1qVUMDoUn4UqGiGEaxsA2Vb83fvaj20MIdX4tDk74lhqlN0QL0GbP7aHtPYfmK8CL0IHA7Ly-sQ2V1_hm61v_EvSuJA3Am_LLTvBJ7V3wn8_qjw90eFvz8q_IqPCj1psRdS7NPgOGiacWLoa6JvKedf3MWv_70hqtS0Tzjv5_bgvYJe5yVd90lT553cq9cnAx9BNET-r-pFVkEaLGbz5iuqxWzefVZXvC4bnLOVseG6zVF73PY9RPPq_CPA237X1XkehxoOKHjoQdzYXaA1plQQH6uWdm8Sh42yByK8Me5TgRd5yTEIF0HdpXKtTOg9SuldLoe7T8Qs-VPyyeVee5feGOooWLC1y7TOqRaEi7PqkLTOVBZjYXL10qFF_Fz8UTgqaCPjW4gWG7k7hrMPvQ5DsdRRuQrFNctxhZN3Zc3WIlzK2oXQp5-_EmaqIvH_ATa13U1xGNgy22_OWi50DWHedJVHMIJd6Hkzlthb20UPRu3-0U2zjp9eUpWChmjuo2EzHKPHZSG37Yh5o1YydS9-mLty6nt5rYu3AVNlrBqNiH1sa-ZoMZsX6e0Y5lPtYXH24RjmiLWmXIGtfUZ7sGUEIl-DW7mFfZrRXFm7ISnlt8z6ghNCkTnmQSx2WoZqG4f5Wsjh84DU1wNtdYPwCLgtHLndWQO9RbiIDiKi9-tCw9tqn_6fAaKcfuD25iFYVLxHn38-PiKxYdvm_7FH1DpPqTD4P_T9_PnfuZIpcuU3AAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA-1bWXPjNhL-K12Sa0zuSEpms0-uaGplew5tHEtreZyHKDWBSUhCiQQ4BChb6_i_b-HgDVJ0apTKboUvNonuRqOPD0ADeurtemdvBr2Q-UmAee_s56ceRSHunfV-RISONrw36HGWxJ78pKlAtsDDBsd4SZeUhBGLBcyDRKDY24zOY_bAcQwOfpQNCy8mkXDrdFMqcExRMLrFcQiOx8KIBDgnvMNcELoeXTAqYuQJPjJfwAm35t87FBAfCRa7UpNQ6nV2BtMZOK55HUNRDVj2dppzGBk9lj04AdM5hDiMxB7q8pe09zzITGNav8lU-yZVtmyvp2EfribXHz5NPryDc0TXcyTkoDn0h89LWmq-RAL9QKhvbcMx2eEJ3V8EiDcTfMAUx8Rraid0vRAxEnhNcKMQOWiCLK3vA_xI7gM8pVwg6lklKAVQQP6D_Wv8IPYRTmVaiKfKzf9OUEBWBPtzxoWNynS3IGtbj1covPfRBeLY0vhjEgjyE9pPV5bG6ySUxvpEfRxzj8XWAc12OA4Y8rF_gz0W-5fMpmNOtRAxoVZFs3FeMkvrDaLb69t9ZFVi4bEI-7L1DsUE3Qd2KoGojwJG22wuhUyiKCAeEoRZ41CSvEchCexBkjXvL3GEqY-p10w4i3Ass8fWLg3vER8dCKk7gh9asuYahdh_T3DgzxMrQRffzFEsCAqkxguypkgk9miw-nA2v53OrhefP3y8gOFPlA1DwrkEGN-4YcgtSdfIpdFqGBAuupBrrDxIHukRDmVKDrlljDWOhCYc-0OfDe8J9TXhkpoJoAWalxQs8DlYUrd5xrjC_hrHk4iM7r6rt85jHCQ-rjd8ohytMDhRov65YDj2sFvoIFVTJVaq4kIggcGZm9dLJJIQnNHIHUD67Qb7GIdyChuNXCVwOITxV3yUwDcjmNJVjLiIE0-64wjdLGnkbbC3lbOimmY5zM8ZC2D4Nnv_RInI6O5hDBFZwT04kcdUXgpwXBciHMdyGlzSSAbbFaZrsZFinfmUX8kvZIshAOTCOJPtBIDgbDh8C3M526-xnKeL_GOINoxwMfH2XkA8OIFoRR6hfwJRgEI4geWS42AFjxyGb2VoRTggoewOnOXyM8SYCzmWN_AaFGFffXLhW3jkx3Lc30fwSZCAiD2sEuopID2O71aE-rMHOqVRIgoudObnCQkEodoQ8wmXiweY3z5O6ZSumGtsfvs4S8QNXmWvprkquasXiKTmEONV1RvyBcCB5ZLQKPWK_iifKETC24ATrWIWKl0JjVwl2MnUeoqE-e-UKbWf3ZIQUIHpVKmgPx5LldyaeKcQEerPytXSzJ80pOX_emg6YWLsYyrh8kepNeZ3203J-BcZgTHsPLn_Ae8_Ir4xH2SKuU2iLNZOrSzpYbfdpObVZlNfVTPiWKtruixoEikuyE0gP0jT7LYbzfNZtWdJ_R4FXKFxtMbiiu1wgDw8CVlCy6F2h4IEw-mCxQL7cDpnnAiyw_W0rotpGenODDHAAjAVsZwcxxAJJh3MYKddRGg1xNIwW5GYCzWkYoBoeYJtMc3FZRZxIk59kznQByXCdcv8DV3mj7Nciq2xZZNksa2JVc-3to9a27ylwFmgNzYykPYbLAhdBxgiuR0Qm5gl6w2wRMggPgOehDC5nABbpd8ACaiFzK-77ebXkQQDFvgTH53v77abmWaQPXcBnFki3KYsKMSGpYfOqJMOoZAXddhhiegCO0yqm8LOLBESc2aJOEW-H2POB2DedzLo6_ij5ZV5jLiJfnuKzOfTPPdrchSSVWPBsaNFHywSoS-tUYsxx5KD_SIkFAYHr6v4KCXWRdZpShhqQpSlUSNXkw3hqSG2FJ1mQnnYMI5lFyzYYd8IW1LSHrZyRVoKrCl9SeSWp8quwav7eOmM2Rq6X2XGTI3XErMVyt-fBl8zEayp8FWS4Sjp0DkhCuuJNRYG8s73xji_A10NZ7rAaGFw7X2-GG-lpY8NuLYlXtnmTiXI5JJG_u9WyTxVzpAdQr_qJcVQ5bCQlJeHlAQ1dIvChItzVSbA_vm-myNzcGmEm3TFWBbf2WdcVseiRpRZLnm2VdKL6MxB2qLRduMWd3y3cYJrC-gozwinso40n6Uaacy_Q7EsIYlbEuKSjVTdd4cCmMu15KNutywmSwLalpKyyHCD6BqXl82F7zoAs46De_icB54hD-4N2RV7wPE5S6gP-FEUKTNa-b28IJfP_D2hRGAQ1cVhsT4B_8zjIh0viEJsqqXlt2Xk0EWKohFVMhmzFSsZbp2txXQqtcpW058sGetLYc81sxVbazaZF_Xwy1CR2ecEGg1UGpneGfiZqfQaPCtLHGOn_90IrgjFKAZzagArFodJgI6z3Q9UX2bQVWgxwVJOle5vblV-W1xwgWKVd1ygMAI_iVW5GAQTKJgEAfPMe0ZiYihFbydv6X8PZXHlidIpQ36R8W2FEV5nmhTypaJTQVTkk52cC6pa_63Yy7CqnQv9ajdHKwH-Y6TP0nb5MdMR4qpeji0Flj4Zk6VcCWs6aGRN0LVyjgvVCvFYKVSIRzjRJlsuHShLLsy-TxDxYtOpXJyuWIFiUKWITUm2jUa_VSQ9Z_-7tqVKowgLvgPMF_LIQxaR9Wkie6CyAhVqgGtYJZtWmzwl8_JfCRegAPQGPUhQS6h0jtQJTsBnVQ5d5dCIO7aVFCr42kQCLwLewpoh1dVe5QBInXVk7dIyvVGwIWIsOpaGZ-v_CaKdf44pXhGPoHhvoxlImkUJOxrJLg2eNBLo3Ymt-Rm-H9q-6-C60L6wR8h9PgCZtvm-5-DYoIq8FfbDw4Z80qjwttkiRfOsfFhkbLKR2g6vLFmi_Kih5ZRktYHqM8hoWF76aiZa4VoGlwnyZWc7nT6FY7qqVyc85PdDCJqSJzG255h13w1q3qxsQip75qr20C9GWgMkOIdBLX1MzeT7IUQBFhdF4Cl7s6EryHdsrUIMTYuU1kJLg38y8xo_OeWjln46vL6ZPNoGIQlMsSYbSF2TVv0PFneUZKNrocNmoZ458zVJesAKxvjdCzFt7rjBAZY3PXzsBSjGBhGUiMIoLEuFylPmtwZJvYsWxdShw2N1v1rdwvY7QkT-rLAShPjUGIzFayxKQdwAR_kTa5v5MC5h67Dix05CUlxuJ5Zer25k2p9-ZbrpwuG3TiNl2sLAO5GXXHmYY5gZuZ1WouTERzN94mo7EulnwFXC1E5ip7QqdZoiTQY5nWWqywDp7Q6tXQe3N80oxcepJJ-sPpVDsSXRMiGVSlUHDpXiGolqldGi2ctg6batT4vPcumVrMUtle6mp3AhoiuLDNNKhy9gHY_hzQvIX71SxuvOAeVT1w1Gfl3fps1Dg8CahV9g4PSphoDemFU16-zz4qMK4pnI4VsovkqDN6zTm58O5mkhaV73ZRT6ws-BsZaz9ZBK-ipGYa44yPDqVQEWu4h_mUKvc3Q8RDqEg3NpqrEFHe2MDQ4qXjzJn_nlNRMbWZkr1DXz5lK503YZWd1y-6Z4y-2v28h_3Ub-6zbyH3gb2TQt9pTRfWjVA4dRgAT-iPgWB0HnLv70t4xXUiTHQxQEw4TKZWgeerV7w5YLudXLwR8-XowMgnBwzH_5j0PSptFiNocvaTQD4rCYzVt-a3JFVkL9OKTtDjI4xSPbbjeSE16R0CAg4bePucK1ppGpcZaGlDYe6xhiHhAqNmdQvhLtI4GGmHrMx_4AqEZQYDscgznmNtviIxxZZOZAyhxyHvzZ_01Ph1KvsqpjsBV0n6BU55RnHrlTUqIBVKuZ6gdE-sysSJSWLRua84uTlcbs_CFNVOCCeVtwFhv2MIB3X9waQWpqJ7PCe7OYHuRxoi-_WxpuWaFa8dsvf1DM5Ffm_xfCJtN2DGlNqeK2_ztvaeg6q559HMEJfu0ECRwuM2Phwrh-9lI9aymdTVpu0Egey9mLlS0_-64cxHSjttyGttGqFK8GTD5jFdoQ3XtqzewsZvN0ehvAfMpNWLz7MoC5jLUyXxpb-wi7sCMIHLMGV3wL9QOS2j2QJc34d0TlgmaSLHM5D8rFTsVRVecQsxbS8dnA9ccF7U1W2j1C3KaJXP8VUCF6U7hwGiPC_XNFw01-DPqygMiGX7P94bDIaXvPvwx6yJO_GCj9pBjF6yTEVMhfHP_y_F_x9Il3hjwAAA)

### Certifying

Vote-delegation certificate validation

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA71YbXPaOBD-Kzv0PsBM7F7b-8QcnSOQ5JgjhAskvZmjkyryYnSVV64kE7hM_vuNbIMxiLbTa8oXIz3P7kr7opX92Fg22q9OGomKMomm0f77sUEswUa7cckEhQvTOGkYlWnupgoWOAQeFqhxRjMSSaq0hR5qK-ZrQXHYU2Q149aE1eRYCrILaKb5s5qfcC1S23KKEqe23YbBFTRb5bADfgH4YPDTB0gzjTm58XSyXXjFfbldycv9lezt7DF4AcPu6OKme3EGp4ziMbMWNRl4ETzNqAb3mWV_CIq8GGqxxC6te5KZ44QLJNSCH8PdNq1mFmOBR5UIim8F86DnElfiXuKAjGXEvRryBTAp_sVohA92neJGp4c8yCP8Z8akmAuMxspYH6s0NxGxz-KQJfcR6zGDHvAyk1a8Y-vB3AOOssQ564Yi1IYr7d3Q1RK1VCzC6Bq50lFf-dZYsSZWC_IudLvPvvKg14w-jqbr1LuICVcpRg69ZVqwe-lnWUYRk4o-53OnpJumUnBmhfLmoaOcs0RIf5Js4XUfU6QIiR8nXqWomVXahzvHcxGxL6TUrcCHz1TN17jeIdwXt5EaJM4Xwo41yizayaGr8XRwNZrcXfzeg-AdqSARxgiKg-JcCqQw1tQRXB1DojIggfGUX83S3CkxGDApg4zmSkb1PdXJpAKTIhd5xR0jpTKLBUF5Po2L0We5gUptnd8WJAVhwJmURlgMYq0e7KLz-udv1ZQRVxQJl4RM_g91pIJUo0G9xECqOK6l_Vfq2Coozu1Aqlp1zKhsUF_Zi2YER9rLyYxaBx2utpad2cwyzRdh2Ziam2cYtlo1VmaGGMWou6kIXQ8Jb9_s4dMVfNqcPgdQ2FMRQjNGO5Z8pLpE--qnq7Asjy1wQ-5sjwq8pzRWBoAZuBkPe26HQQCd7_jLFb4KYUBzzYzVGbeZc-V3NzMjrpJUSIycc6aq9H27veu1igAMgrdQkI6IckfruMyQaHP_hGOtYs0SYESwRA33KlpDB3YCkUs5GRAEm_h7ZYtZizq5ZOmIJVjEIMzIDfp4qjPxD-UmWq3niszrEG6skMKuYZ4RzyvoWYLjSnswGg5GZ93T4RkIc0ZWaJTr7tyiLop2f9LF7moy-GsqErxmFKML2YAsxqjd31Ol5KFU0zH0kkloDtUD6lOVUQS4siCIy8yIJbbgLrtvgV1oNAsloyLK3F1IHE_N8wDCCOMBzZ2lcyZNEVU4FyQsQnO7MrAtCN4WIICYV2bALpB2rPwKFlAa3J3qgC1Ex8qUxqY6Q6_L-igxZhanqntvLNu0BB_QbsNmEndddchs5lO3yiL0rzHtyge2NiXYgk65Gp_kHXQ2jnme5HwTFu8XSyZF5K4kIFUs-I_IT77tArdb47mzfYB7UamycrpyLaT4N6C5cv_ce4lPElep0Hnfyi2CLSSqdMxnN_lYaL7GeGLZR9c07-Buo73Cb-iAsZuc-9VSmMyXVNRYMdHaXVuex81WkbyotdJ7NvPkqGxGO6lXs32YRBX1i0auMc7lawYOtveNJnJHVlPPk9C_hHBGVq8hVYLsj8jj5GPvWCb7oXYbTjMhrSB3L8mPjvowfx_3ilYJk3O5XeXPbQfdSagOZGTYHM-1Snb1_7apo7quTYC5XR0XLZqtu-S5M7y0vpGsgY9md1RWaadM_BOooYVgyTDbwRN0nIlNo89rtUK3Fet-B98r7kS0Kgo7eOs9aPynQqXxIFePfBhpt7cXnCOM4qDxXX5-Kq_D3J9C7jPL-5MG41Ys61-ImI6zBMm6D0jvn_4DsKcTcFUSAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA71YbU8bORD-K6MEqRspmx7tfUIKugCFi46GPQL0Q1MhZz1JrHpty_aG5BD__eTdzb7FoT3paD5hzzPj8fiZF_a5s-6cHPc7iaQpR9M5-frcESTBzknnM2FisDKdfsfIVMduK0eBk8DTCjXOxEywREltIeKpJTpeDc60fDKoIcCNE0xjzZTt7ePGwqIWhA_uUCcQxDJRjGMFPEdt2WLLxHJwLoXVJLZmUG1CkHyvVg-EM0qs1D3nUuIcPDmB8Q0EvWI5hLo_MOvEpXKoCp9mHTiCwhFIMFF2C95TZqLz0i8jVQHel56-r7nfDOJz2IXr0eTqfnT1Cc6IWEbEukgY6IYvM9EQXxBL_mKCemWo2RpHYnvOiTkMuEKBmsWH5Ewsp1YTi0uGB424qzPikV5y3LA5x7EwlojYayFzgHD2D9IJPtmtwp1ND3icvf3fKeFswZBG0lgfqjhuypa-E69JMqfknBj0CD-n3LIvZDteeISTNHHBuhcUtYml9l7oZo2aS0KR3mIsNb2QPh8r1NRqJryOlve8kB7pLRHfJ3db5XViGkuF1EkfiGZkzv0oSwQlXIrXYu6MjJTiLCaWSS8PHeSSJIz7SVKKtxeoUFAU8WHgjULtcsgnd4GPGSU_oNQDw6dXsmZCEqSXDDmNUi_gZ94mItoywp3HU7YUxKZ-Nnjf8Ca6G99Mpo9Xf55D-EXIMGHGuEpDi2cIjSfpDmrllSvkzNifgecF9Idwld8wdCkZGs8d9zRSkRqkIZXhnAmaA2ei6Ao_rNczAf5q2p-J3uF-co10iXqk2ODh47400shTivuCe2HIAiFQafbHuUQdY9YdwhCG_-MvM3g8gLFYaGKsTmMXxjc4ZiZUvML4u-tsWc80EJ1JySE8Ldf3gtkSN4chKLaAOQQqllk-WQh6PVCotWtibxOLDwO4t4wzu4VFKuKsprxNOJj5JCzTyLejhUVdC0wQ3W3GYiHhJAxPIXKzxtIBspULWs-jPgS1kszYUbyNOYvhCBQnCRzBbGZza3al0awkpxCeOjqrhNh4BYW0ABayUhqoXP5u7Qh_S8QSnUYvwweZb3pNOPA5PPZK5VKdzwvgtXxCfSZTQQE3FmIuTaqxrlHqOLlTionBSggQXTLBLIJtKLkfRwuWJeiCsNAycZNHK3ngjyAamUywC2gP3GRXtwNMZJwLKiulo0F2QPe0CmO1N6xtNjye4HIsFo7jFYcvCW_dK5JmD3WnUyxocoEcl8TinRzNjS2mw5IqmZdtauyrvEIP6sCZmYIXLpyBIubcOaOhCyWiVylEhOnyIZxGtjumm-wRjD1LGbdM7LQdvLp0tpU1OePgRtDD8PxN6gELyqO6wyEcN0Ie5L5oVNmN3LWR0J3Z_MjWozt_NCqf680oFEY9pNnpZ_7UxU3fWiR4s4L-cZD_m7PeNSngcsniNyrr-z2xQdBm-arRtVHkXO3vHbD2Cndxo5jOJj9wmpn1oqAdIvMOl3PZrfao7DZ9dNiBq0d1Owd43AI7Gued7ajOCUcJ2iTUVwh2Djg-_dZvlYUW__pN-HEf9npDdxeTLlQBa5tpZ0UAdbMf2uLsmP0643KmyLhAWcJ4EYk8SL127sB_8-Ljr_HiW3P5y_L29wF8ElZvQUkm7Jukq3eGPdRQ8s8NbiB2PbmRqH47Q19m5n3UbooUcwlWS9shKGLGwja46VSyN3BZk08FzkA-SjS8elamvnyXE70Pre185UQv3pnjINw_iVR3L77IPDK6qSpQez7xVrX6faELaiH1Em0xutAsZmWl6rYdzK9ZP-Uxmx-K2bjz8q3fIbFl6-bHMKKXaYLCum9l317-BW6E1ztAEwAA)

### Voting

Hot committee credential script

- [Open the Plinth implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA71YbW_bNhD-Kwd3wGwgUtdunwy4mOO81FjieI3jfpiLlJHOChfqqJKUYy_Ifx8oSrYkS03WNfWHxLx77ni853ik-dBZdfpvDjqxDFOButP_66FDLMZOv3POOPm3unPQ0TJVgRU5FFgN3N-iwgUtiMeJVAbm0nCK_JEko1hgtO8EU8HJ3EI3yf472WWgeGJ61ji2rvp9GF9At5cPB7APhs8av3yGJFWYATuPB9tAHe71dubX5ZlrK3jwXsHZcHJ6NTw9hkNG0ZQZg4o0vPIeF1RRHzHD_uAUNupQ8RUOaTMSTLcDTpFQ8aBNb5dnFDMYcWx1wimac9agPRG45jcCx6QNo6DRQxYAE_wfDCd4bzYJFj4bwOOMyT9TJviSYziV2jSh8ukuedQ04xmLb0I2YhoblOepMPwj24yXDcpJGttkXVGISgdSNS7oYoVKSBZi-AEDqcIj2RTjDnVpFKfGQLfrPJIN2g-M7iazTdIYxGUgEwytds4UZzeiGWUYhUxI-lrOrZNhkggeMMNlYx1ayAmLuWgukq16c4QJUogUtAMvElTMSNWkt4kPeMieKKk5x_uv7JrnpN5qgibeJnIc21xwM1Uo0rBUQxfT2fhicnl9-n4E3keSXsy15hR5rv94gmujqxpct2nCnBBPN2y_ykzLRKQRJ8i7ydSNvor1ZGKq-D4nwQm9gAmhuUEvUvLe3A7e_vKtnlIKJIXclgwT_8MdSS9RqFGt0BMyiipF-kwfWweuy3pCVmp5Qfmx8cQJsSBoaPwHC-rtnTWV-UvS1DAV3Pr5kdEt_vt-r1dBpfoMwwjVMOG-7fL-_NeafraGL0V_2FP5hykXhpPeYYBpKKTteH9MdtswUTMc75uMZIjQjdBMRTCRQ6L6CmZrF_pQaxmcs6Tq8pwlLfgzrg107d82jxmi4u3IivbR-R7dKq7IHjCh04-kwqqXq-nZyJLoeTD4jp_M4RsfxrRUTBuVBia11fLdp1lQIOOECwwtOTOZl1e_X2ZtBwAG3jtwoBbTwMIGtvAFmiw__lTJSLEYGBGsUMGNDDcwgFIhZFbWBjhBUeKNtk5qUMXnLJmwGB0Hfkp2cISHKuV_UzZFr_dSzLz14cpwwc0GlikFWWN4EXJsxxpPzsaT4-Hh2TEsOYWzyTEZtXF9qCSw2ev3iw1ri95KvHdwOC72qtsmu_GUcVU2KH_vFdZSiso8YBx2AJFcbK_MAJEEI--QtCMftq3Dj5kJbu3cPzsF5MBidMKExmLQhcXC3IFCbcB7V0jthy93LtFuQp3FYdez1AbMXS8PrWwEYG6RbA5S0myJVj_U48xKU5hZDQbwpmqDQqNdkI2i0PRa-Bhd1vjIBe18vBhDRSiBy0w7UUhG2evB00zlyFaqEhvgfyfLmvXyOBvoaii3bo1CezoUJGbeet9G4YqJFN8zPTmZOQrLgip_NfLscG7BOxLKtlUSug4Z91zO29nqnrPEN7JcD3FT3JyS1JTjLguejHu2HtOYlnIXetm8FtEWfG2_X6QGrm3a4Bque_l62he-YqIhekabcX0BNdmTa8hys7-Qmpv6XsiOfZ_RBrqtS36xc-NX370zrJjgof3JAkJGPPgRR8cqu3_OtxO7Wq8Jn1U3Ltn2waJuXs21cdisPviyTnmtxhw4A-jcMt_QWUPo5oNsV6NSUmWil2HpNx_czkwkJ_MjyInv5k307IufJKg2zN6f9rxUcx-YtdsbxZ0tMGsYgGu2J0rGZZ-_u8uZ_b2Da1PYFg22onzQ5VFeOYOc3AOoaJ1hjtDbwSMM7BTFxTCwDzA7LcjlrudXHtau7dqfU507-8ykXFkN73X9_vbq26DN8td4Jf4p_w0Y7BNtX_0-HXRYYPiq-kDJVJTGSMa-X356_BethDR41BQAAA)
- [Open the Plutarch implementation](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA7VYbW_iOBD-K6NQqYnUsNq7-1SJlWi77aLrArfQ7ofLauUmA7VwbMueULiq__3kJKS8mC67WvgASebx45lnxmOT52AenL8_C3KVFQJtcP7vcyBZjsF58Jlx2X60wVlgVWFS96hCgbPA0yMaTGQiea6VIRiKgphJH9sXRj1ZNBDiwhlGqeGaol1cTxIayUR7jCaHMFW55gJfgfeKuJy2L5Ukw1Ky7eoBhPmsurpngmeMlImcG7lz6vwcegMIo_q2A-s-QBLMy4Gxrn1IAjiBemLIMde0hB32RAYvZ40qlfFd49W72s1NoZ7jFtx2-zd33ZuPcMHkdMjIRWuhFb8kcsN8xYj9zWXmtaHhc-zK5aVgdj_gBiUanu6zczkdkWGEU457SVzInHms1wIX_EFgT1piMvUylA4wwf_DrI9PtNS44vSAe2V-_ymY4BOO2VBZ8qHq6UZ86pvxluUPGbtkFj3Gz4Ug_pUtexOPsV_kTqw7maGxqTLegAZzNEKxDLMvmCqTXSmfj6-oERkuvY42cV4pj_ULk7P-eKm9ToxSpTFz1ntmOHsQfhQxmTGh5FuaO5Ku1oKnjLjy1qGDXLOcC3-RNOblFWqUGcp0P3Cg0bi147M74VOesR-U1D3HpzdWTZ_lmF1zFNmw8AIOyc2QGeJMOI9HfCoZFf5q8OZwMBz3Bv3R95tPlxB_lSrOubWuu2R1GmLrWXR7R1WdKhbc0iHwqkn-EK6rCGO3JGPriXFnRCELi1mcqfiBy6wCJrLu_Ht7ciJht3OeJTLav0_cYjZF09W8ff_nrnVoUBRZOTCOofMbPyXh-zb05MQwS6ZInSRHmCaROn3EdOZ2pXKPszC8UEpA_KG5v5OcGtwDdEDzCTxAqFNVrg2CMIpAozFuIzqOFn-04Y644LSESSHTsj8cR445EwV-YrZ_PV4TJRy6LRDO4_gD7Ll0skVbBB3Qj4pb6qbLVPAUTkALlsMJJElqy7Eky59yUHkVf3B1KpBAFYTmM9OOhVl30XrFORBwCXrCZXY5-ijJLKEFNWtrxdtqWMrg1sE_Du6i4IK4vOWWIFzdDRk3Nar8jrbCX5_CE_6EL6C1JoNFMYFNLVCScf2oUkKj4LlzoYwYQkgS7VwwaKmGVB_NJ683AKGeWKp9hhaUY1qdTj1XtAXlMhv3VyI22oWN7qG2Mttki6JNkjISXwacpzW0_llbOtdMWKwf14E3mVp5tCdTv5yeFe-h6akjITVD-UZaaPazSaFZmZKKfyslzPYk7SpPs6gc894r_s9rXgVVSs6lLujgld-t8jwcL3qyJydqS-d1soO7AJd6rQfonFH66DQzKl-3R-XQsJn6WVN9dWrQKjHH7CVq0lDT7GIalkFBjmJQ0GnZX9YGA2z0M19564kyU6TyLtRZ9dO4vM4blX-CNJPL3k9JvVno28JvV_gW_a_1oDJ9b9Q6l_qAYl8vAp90XOqtqm9qdGwK_N39pQrqWFv0n-3qT_d8dbQCoaY8PdIuvXmKO6CIXLk0q9QdaSIPzcErlSq21826LpgOvJb-yWrp1WDHQoueO1rp6tFpPYoWvWY_r45ZJ7Bdx3vq54gJ_asN1T6hFZd0lDzuHMcPSGT1osQd73FBm_ncpevsS2BKi8026x5UDXFjgmdt129Pq8Sdwdbj6s6ZPJ13H7Ryi1lcrfNh5X79Kuj7ZnPZrlVvL_Y5u-L4XlZefUwPXr6dBSwlPt98j8bMtMhRknvN9u3lf76vmWV7EwAA)

## Learn from compiler diagnostics

These projects are intentionally broken. Compile both versions and compare how each language explains the same class of mistake.

### Missing equality constraint

Compare a missing Eq constraint in Plinth with the corresponding PEq constraint in Plutarch.

- [Open the Plinth error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA4WU3W4aMRCFX8Xa3CQSG7V31UpUgkAoagLbEMhFiarJerKM6h07tpewjSL1IfqEfZLKQEmJTHqDZH-H-dvxeUqWSfa-lVRa1gpdkn19ShgqTLLkEohPFy5pJU7XtghXG5UIRDwu0OKc50yV0daL_rsPuSL2C3F8Eq6rIMoyMRyvL9bHtjC1xfU5eW7tMu3--irdU3okLjqjwbQz6IsucJmD92jZiaP0ec57uAcePhPLKENLS-xwc6bAHRYMkNFScYgTlxNvwWNJeDAIcTkjiNBzhSu6Uzhk54GLaIR1AaDoB8oRPvrG4N-YEfFwPfYvNSi6J5S5dj6m2qabUBnLeAHVnYQzcBiBl7XydAPN8D4CR3UVhjVlidYV2kYbGi_RKg0S5RUW2sqejtX4opp4SxwtdNdnT0foFfD30XVjokVMCm1QBjoDS3Cn4ioPLEFpfmvmIUjHGEUFeNLRPQySc6hIxZdkh5seGmSJXBwWjg1a8NrGeBh8QRL-s1Izwsc3Xs1ID6vQDvncoqrlP2swzq-H49Hk2-DTmUhvWKcVOUdcppv3nipy3u0TXB0icjvT1EVe0F6me6PqklhsDSHfnN7Uptr4fX1mLDq0S0w3XpIqvffF5rx1shfTem1nuap97a5Xp9vBBJSmojsdZGLblTjuPwg4EYXm0BaxF79__hK1QyfabaFZgDBaNZW2ZkGFCA96zuT6DzWoYI0g0o-bn67W6gWtRCPaYhWCNMEpb1sJFJ6W-64MtqwrZB9M-_b5D1ltimLJBQAA)
- [Open the Plutarch error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA9WVzU7bQBDHX2Xk9gASrtpbFSlIgYQ0KiQp4ePQoGrwDs6o61mzuw5xEVIfok_YJ6nWpCGgDa0qLj1Z69_f87XjmdtknrTe7SSFUZUml7Q-3yaCBSWt5AhZ3sxcspM4U9ksvLpXQSBwMyNLU5kKF6WxHnpv34915dFmM9jaDqAIslYLBqPmRXNsQ1lZas7J3c7K19rHT1zepq_gsDPsn3b6PdhDycfoPVlx8Cq9m8oj3EWPH1lUlJHlOXWk3tfoNgv6JGQ528RZ8om36Cln2miEJT9jjNADTQu-1DQQ51GyqIUmANT8jdSQbnxd0m-bEfGgKf2nCjVfMamxcT6mWrqbcB7zeIjFpcJ9dBSBR5X2fI714CoCh1URinUqiqzLjI0mNJqT1QYVqWPKjFVdE4vxQTXxliUa6CrPronQY5Svw5O6jAYxyUxJKtAztIyXOq7yKAq1kedqHox0ylJzhp5NtA-D5AAL1vEmWeG6SyWJIsk2C0clWfTGxngofMYK_9BSZ0w3__Ff83dNHjKYcC7oq3gfPtvmL9A8L9MX_37do_HJYDScfOl_2If0XExasHMseaqW1U3dwx08EtwP8FSz808ILdZI42kqyx2wPu6froLVKB9b0pVqUJrC3mm_BUvTsDXuXQNuQ2YkxMXi4ef3H1C5kFO7DUYAoTS6LowtZ5ytjEKYiVMp2fWuK9RhwZyQLcDBFkIrTXdh-RjvGaO315RtKDUW8Bqm0wXUkO7ConFVh110sZNg5nn-ePOhzauCxIfFeHH3C_A7kCMtBwAA)

### Missing on-chain data constraint

See how generic on-chain data requires ToData/UnsafeFromData in Plinth and PIsData in Plutarch.

- [Open the Plinth error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA5VVUU8iMRD-K836AglrztdNuARFkTsFTkAfxJhhOywTu9NN20U49b9fyiKKV7zzqZn5vs58Mzs7fYoWUXLUiHItS4U2Sm6fIoYcoyS6BOLDuY0akdWlSb2rYgmPiMc5GpzwhCkvtHHi9OjbQBG7uajVvTv3pCQR3f7asTaboigNru3opbHNtL36Id1TfCAuWr3OuNU5FcfA2QCcQ8NWHMQvE96B2-DgJ7EMYmhogS1enSiw-wkdZDSU7sOJs6Ez4DAj3BuEOLsmCKBnCpc0Vdhl64DTYIS1AFD0G2UPH92qwNeYAXJ33fZfJSiaEcqBti7E2qQbUhbKeAH5VMIJWAyAl6VydAOr7iwA9srcN2vMEo1NtQkW1F-gURokyitMtZFtHdL4xho6QxwUuq2zrQPoFfBDb7QqgiKGqS5QevQaDMFUhVkOWILS_FnPfZBWUShKwZEOzqGnnEFOKjwkW3jVxgJZIqf7if0CDThtQrhvfEoS_jFS14SPn_01_zPYXxrLTbLhijWv8mBlmBcKHJ6DfUClvi66p7u5_wbkBgZVKd_Nbn8w6vZ7w_vO-YmIb1jHOVlLnMXVkooVWWd3EVzuQ-SmytgGurOTaVaoMiMWmy02qKxPubEu3C4_KQxaNAuMqwUYK70zZhPerN-3TftxBw9U6Uo7Wh62rN-Hogbrs_43YdM5f7fiTFiIW_nsDyGkv3wJqymuw0DlFaIp2j3t5sTZq-dZtH-U1r1Snu98xDgWx-NOIjaNFLWRruI0xJgtzPDM6Lzy1EWq2feX2E14ZnT-ljZJBIj4-3sh3oSPPImzrS7R9OZHxr2oVTKXddEUS__63DUiSB0tdl86MFmZIzv_EN69_AH4pE75HQcAAA)
- [Open the Plutarch error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA9VW32_bNhD-Vw5qH2TACtZXAQngxqnrrbG1KkkfqmK4kGeZqHRUScqJm-V_H8jIjpMx3TD0ZW_ifd_9Pup4l2yS_M04abXsG7JJ_vkuYWwpyZNzVHy0tsk4sbo3woseWOARuFmToYorVm2njYOzN78UTe_QiDWkIw-0npbnMF8GQTgeQ9cbCufkfrz3daD8zOVd9go-TBazy8nsDN4i1wU6R4YtvMruK34CT9Hhb4plFCOjNjTh7WmD9mXCjJiMEi_hiuvSGXRUK3rRiOL6SmEEfdfQrbpuaM7WIYuohRAANuo7yQXduG1HO5sR8jyU_vceG7VSJAttXYw1uCtVHfP4AdtriadoKQKe941Tn3A7X0XARd_6Yl2yJGOFNtGElhsyjUZJ8iMJbeRUx2J8ZJXOKI4Gus9zqiPoR-Svi4ttFw2iFLoj6dErNAqvmzjLIUtsNP-o5t7IpOsaJdApHZ1DT3mHrWriQ7KHt1PqiCWxeJm47Mig0yaG-8ILJfEfRupK0c3_-Nb8uyH3GZSqZnR9fA5_OOY_YXh-zlz893Yvi4v5clH-MXt_Ctkn1lmrrFVcZ3KobmYfe_CE8PADzxpl3TOEbg-Q4KniYQcc_u6frwI_UUe-IZD6nEZ7YPb-9GiYFQvp8HUAD9BRuSzg267hgBbKZbFn7RdFYajpZXAs0SEU57i9Ju8cUvSLp4TsJFR1BKkNglHFAMdQTBfarRXX_vgnFNNfe-sgvSDTgoW0mNhgBUeBvysgWKfF18O4DzDkrQh3JC2XxS7JMRTzYGoMxdm3MRTlWt881Ut9Or19iHKjENLhzgW90pleOEgPUgtBVZxl8PZylsPQKkgHT4AjEJp9rxW7iruV0e2jdp7DLkuEPMtODqs2SHD0N7Vj6Bps4TVUlaQVtLeQnfg0uhadWPuzhwRa8lJ4LLDvgKTVThrq7JUhOAi2b_1T4Ms4QeHU5unDA03dt8TOv0u-3P8Fpw40QawIAAA)

### Function application and parentheses

Contrast ordinary Haskell application with Plutarch's # operator when parentheses are missing.

- [Open the Plinth error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA5VV227bMAz9FcJ7abG4QPdooAOyps2yS5ItvTw0xcBajCNMpgxJTuK1_fdBjpvErdKtT4J4Dm_HNHUfLaLkuBPlWpSKbJTc3EeMOUVJ9B0lH81t1ImsLk3qTWsWeASWczI05SnLvNDGwdnxh7GS7OZwcOjNuSclCQxGtaG-nkBRGqrv0WNnk2nj-izdffwOvnWH_ctu_ww-IWdjdI4MW3gXP065BffQ4VfJIoiRkQvqcnWq0O4n9InJyHQfLjmbOIOOMkl7g0jOriQG0HNFK3mnaMDWIafBCHUBqOQfEkNauqqgp5gB8qCW_UeJSs4kibG2LsRq0k1kFsr4DfM7gadoKQB-L5WT11gNZgFwWOZerEsWZGyqTbCh0YKM0ihI_KRUG9HToRq3rIkzkoOFbvrs6QD6E_n38KIqgkVMUl2Q8OgVGol3KsxyyAKV5tc090G6RaFkik7q4Bx6yjnmUoWHZANXPSqIBXG6nzgqyKDTJoR74VMp8B8jdSVp-dpf8z-D_aaxbJJNKtZc5cHOKC8UOvqM9jcp9faih3qQ-28g3diQKsXO7I7GF4PRcPKr__kU4mvWcS6tlZzF6yUVK2mdbSO02oeIpsvYBtRpZZoVqswkQ7PFxuvbq9xYF67NTwpDlsyC4vUCjJVujdmUm_W73bTPd_BYla60F6ujrvX7EA6wPg9fEhrlvO-aM2WAG_HgDwDhna-lmwuDy7UJ4AS6uS7ZwYAdZWSe7A_wRUt2G_4LxwfokSjTjeMLwpPQwOvxgoNLtjijc6NzX1sHLnTTRx3v1pcdx_Dpsp8Ak9tkbvIwzIzOQVoo0FgSgBZmujSAJitzYmfB6V3HOppk6wgF6Fkr5kEr6OGUd8Ek2bYdf9wqs8tZwgmkfsMuQc98B42M7D3YG9b6raCqLTuuK3jfulee3W7ymUcL9K_sbSfC1MlF-0XfCBElN7ePfwHGqIeuBQgAAA)
- [Open the Plutarch error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA9VWy47bNhT9lQs5Cwu1BkiXBmYAZ5w4ThNbjeaxqIPijnhtE6EuVZLyo9MB-hH9wn5JQVmW7SlnEgTZZEfynPvg4aGo-2gV9V_2okKLSpGN-r_dR4wFRf3oA0o-W9qoF1ldmdwv7VjgEVgvydCMZyyLUhsHr1_-nKrKocmX0I09UHhavw_jab1QT8-hrAzV8-ih19Y6Cn5U8j7pwPvBZHQ9GL2GV8iLFJ0jwxY6ycOMT-AhOvxFsghiZOSKBry9VGifJoyIycj8KVzyInMGHS0kPZlE8uJGYgB9o2gj7xSN2TrkPJihbgCV_JPEhNZuW9I-Z4A8rqX_tUIl55JEqq0LsZpymVyEKr7H4k7gJVoKgB8q5eQtbsfzADipCi_WNQsyNtcmuKHpiozSKEh8pFwbMdShHg-szBnJwUbbfQ51AP2I_HlytS2DTWS5Lkl49AaNxDsVZjlkgUrzc5r7JIOyVDJHJ3XQh57yBgupwiZp4e2QSmJBnD9NnJZk0GkTwr3wuRT4BUvdSFr_wLfm60zud5DJBaOrwj581ubfwTzfxxffftzT9Go8nWS_j95eQnLLOimktZIXiWjUTezhDE4Iuw94oqR1jxDaHCF1pRk3b8Dx5_7xUzB6e3nWWMJCtxnFB7iBzrJpCn_szxXQQjZNW1b7HqSGVCXq_AIdQnor3VIYXIOdMcA5pINCV-yge0WmAAvddGCHNXPMjhZk4tgT_4L0nZZB3j5jHD8LNlmGJKr82XJfzLI_E7BO55-PNTrCkLd5fe262TTdC9qDdFynPOV2vVyV9RaKYSVxf3NrauaMb7jtwUuZJPDqetQHS2oOHSjnRhd1px3wQ_j3738AvZ3JHoFO1wE9cEtiMGQr5fyiJ9Q5JVtHKEDP95m7h2g_iGfM5Noj7PehleqwmCQXBzVPA86hnMsNdF5AqbCAFzCb1YXWDpILKAt03pCuBtaQXHiVcn_p16DnfgKtX7iOaLvjBt2ZZANbD3f_p88mhp8Cy9u4CW_cwTsZgyl2EseQnFaPHj71IsydXJ3-fqFZVAWx839nnx7-A4UFbLeyCQAA)

### Broken recursion

Compare accidental name shadowing in direct Plinth recursion with an incorrectly constructed Plutarch recursive term.

- [Open the Plinth error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA5VV227bOBD9lYH6kqJWgRb7JCAF3LhxvW1tb53LQx0UE3EsE6WGBEnZ1ib59wUlxZeEzrZPAuecuR2OhnfJKsne9ZJSi0qRS7IfdwljSUmWfEPJb5cu6SVOVzYPppYFAYH1kizNec6yNNp6-PT-r6mS7Jdw8jqYy0DKMhhNGkNzPAVTWWrOyUNvm2nr-iTdXfoKvvbHw8v-8BN8RC6m6D1ZdvAqfZjzATxAj18kiyhGVq6oz_WZQnecMCQmK_NjuORi5i16KiQdDSK5uJIYQc8VbeStohE7j5xHIzQFoJL_khjT2teGHmNGyKNG9n8qVHIhSUy18zFWl24mi1jGr1jeCjxDRxHwW6W8vMZ6tIiA46oMYl2yIOtybaMNTVZklUZB4jvl2oqBjtW4Y828lRwtdNvnQEfQ78i_xhe1iRYxy7UhEdArtBJvVZzlkQUqzS9pHoL0jVEyRy91dA4D5RxLqeJDsoXrARliQZwfJ04MWfTaxvAgfC4F_s9IXUlav_TX_M5g_9FYdslmNWuuy2hnVBqFnj6j-0VK_XnRYz0qwx1IP7WkKrE3u5PpxWgynv0cfj6D9Jp1WkrnJBdpu6RSJZ13hwhtjiGi6zJ1EXUOMi2MqgrJ0G2xaXt6kZtq4w_5mbHkyK4obRdgqvTBmM25W7-7Tft0B09V5St3sXnbd2Efwgk239fPCZ1ywbflzBngh7gPHwARnK-lXwqL69YEcAr9UlfsYcSeCrKP9nv4W0v2W_4zx3sYkKjyreMzwqPQwO14wcklO1zQudVlqK0HF7rro4l3E8pOU_h4OczAoMWSPFlwSxR67cBrkypakYLwvvTAabCUV9bJFUGOSrnGG41RNfgl7SpfoaoI0IFcgPSwJkuAsKg4D_cwZya_5WbZzi_9sBNln3MK8_n-Of0Aedi1-za9CF110nKgcDC0mm6gbix7_A28OTjXgd0JzLCwunzq0dpC2OThppdg7uXq8IFHW1QlsQ_v_83DfyANsuoUCAAA)
- [Open the Plutarch error example](https://plinth.isotopy.xyz/#p=zH4sIAAAAAAAAA9VWTW_bOBT8Kw_KHiysFWCLPRlIATduXXdbW63ycaiL4oV8lolSpJak7Giz-e8LKrIsB7RbFL3sTeIMh4_zhqIeok00-mMYFZpXkmw0-vwQKSwoGkUfUKjztY2GkdWVYX7oiQUege2aDC3VUomi1MbB6xd_prJyaNgaBrEHCk8bjWC2aAaa1wsoK0PNe_Q47NbqTX625ENyBu_H8-n1ePoaXqHKU3SOjLJwljwu1QE8QYd_CcWDGBmxobGqLyXa44QpKTKCHcOFyjNn0FEu6KiIUPmNwAD6RtK9uJM0U9ahYkGFpgCU4h_ic9q6uqSdZoA8a6z_WKEUK0E81daFWO1ymchDK77H4o7jJVoKgB8q6cQt1rNVAJxXhTfrWnEylmkT3NBiQ0Zq5MQ_EdOGT3Soxj0rc0aoYKHdPic6gH5C9W1-VZfBIjKmS-IevUEj8E6GWQ4VR6nVKc-9yLgspWDohA7m0FPeYCFkOCQdXE-oJMVJsePERUkGnTYh3BvPBMfvROpG0PZ_fGp-LOR-B5nIFboqnMOTMf8F4fk1ufj5di_Sq9linn2dvr2E5FbppBDWCpUnvHU3sfseHBCePuCJFNY9Q-i-hzQrLVV7B_Q_98-vgunby_M2EhYG7VO8h1voPFuk8Peur4AWskXasbr7IDUkK97oc3QI6a1wa25wC3apAC4gHRe6Ug4GV2QKsDBIx3bSMGfKUU4mjj3xX0jfaRHk7RTj-CTYqkyIV-zkct9V2fUErNPsW9-jHoaqZs2xG2SLdGfoENJZI3nIHXi7KusjFMNG4O7kNtTMGV9wV4O3Mkng1fV0BCUaLMiRAbtGrrcWnC4TSRuS4C_nIVgNhlhlrNgQMJTSNrOxLGUNbk29hji_661wazjz7RQrEA62ZAgQVpVi_mCAv9OWSpHrpo1G0Pm1H0ySl3tLDydcQCmxgN9guewPJy-hLNCxNfRHPctj3i_mj_8W9Mq_QJcc1UxdGV00zVIt-hSXe6g9POhrnvXY9zH8fhyt41asTY0CD50U9A8xJIcFRY9fhhEyJzaH_2Zo8qog5fyv25fH_wDg4rnozwkAAA)
