rustic-sysy/sysy_sets/79_var_name.sy

15 lines
38 KiB
Plaintext
Raw Normal View History

2024-08-27 18:13:31 +08:00
int main() {
int xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz = 2;
const int Cy92k8jOyGwpymrp_aZeu_vYwQPeRGHYo0nKXgxMsU3ALykomjoy0v7PrBR5MLWuTcPITZzLajYN3kAhROsMQ6uUe3NqQ6QJyFKvM2G1h6mT3QX9DYbJQsDjb_qKv7vEp6fZLUYJbP4BQnFuisvKlzY8Ym0f_IYchIbJQCvl5R0X3cujCWAWQmNXr8sWoyCtt8ghUridaVa8TcycXdrhLOXI4akvL4wY1B3BCAX4nTZsUGemmDbrjvz_XQ37Hw5lRNDM3AuNOb_oeTlLhRcIjoby7T1ozDgHQbUJFDKlD7D999ynqfEwOeJ1UTkX0elvwrn_Cem72IEwj0Kx_bCapCVe5JSCtVSKmoHhm0wlescYbATn21EnuIjiP_bVvzEvjKY9d7azInHGIwWjZJW_I8EgXj0rP9adIEZxSMJ6BLnuegBp71xWiZCJh_s4efmZUatbxHChtdHkY_VnLFku8X29hgVTjgPdTqjbP2Jcu2bV58lnZIt5wQk3rqeTInqkxNW4OvSbvo6np8PVtL0zjbJ5Sx2oSU1KcQTAG4Dgx14Eb8zGbDvs19ErvuUl48YOguAP2tJhbWBZ5Zv7FSg5V6BsF0ABLFmcT1LFgbgI0af8OK8eOrCzbQgG9SLnx9UTJx3_fCGpFOe5TtAqRvc4tqQglgYgfbGUpRT8X3yGln8jnUt6uR2Xgacd0JfjQg8CWLBihfD9JlE2hPUyoNzhaLmiZleiA4dg1I1q_5ugfO5PyfWwEVVwyTAlpaza1fOCAUCJW5Fy7g_fHFBfDNdUf98CJRmULkQ_qKCBxqVTV1JYDHm1vkKFt9qzr9sGxZWyLhQwTaBt2X_diibJJRHPEHGqcyla_O5MOy5VOu5tvpkw3V9Nn0UwUBzWEa32i2ekbzyGHjwsjoCm9q1IRDsunPKOgXpLmo21aUPPjpKH0nwKJWSfOTpa03CYMBjAZAxxLXNyH2wuTPt0ievT3BLmixYFifby5cqUHHZx7oaK6PnfHMoTh8PIF7KUQY2lkO3zgr9TnRNKtra_BbFArmWlWpvBVBBGuXnKuhJXSWRdARZi00QIMeApsc9hPXeV0OT9UiauD3mgxKTvWieLmXXg0ccoUyTkghCWRbA_SVbTEwHvmX8M_987cngFjVGdz7jYuWcTprOvoYc5qzNK8HZnP0iKHka2ysn6qvr4sheXnyybWMTdrMH6ej26BhzU2bHDgLZISeWIdu_mIQIKmgPNY7A6LujG1lp2K86YJ57RGFyTy5lPyV3yTRc3b5MEFMExLrqSx3m_vSNy1jr73sw6qU4wsBDTdhLvfqtR3FfKhcIdYNhz6BzzF50J42BSKYvk5x4oMhs7OSzPwPdMtEDt1BEkciRTt5LZgGBWYTsWAdXV3gbLKz0y2mOked_wgPwcu7dIuid2p1a0pq5SyV0aSYs13abh_ddAoNTiB7ZTwL3mw05WISorBytfJexyq0534kbAnp5DQwnGiAuM5GMVdE0mAnMr = 20;
int VLDTJUr0eYj3UiHhVWtQqVrqunxn8GIY2SPSCOKZw1azce1XN6Oqaz7crOokQxd0Jl_HNREMFQUaJQeHFmH5vE_4dX1cLiR7f9h64RWN1G3M1mKM7Y7FB1LheRSAHJA08GrqaVlh7NN05M3MGbywOWe5g91MEJX8AeOgM9Ja2XqNDj_cm1adEFa8e30NudvaPNpxFOC2C66LKK8i5xA8HVJgwFZWtYKEthyhLGYDShqNOShWyq14gC7EdfD4gR1dhvtMQDUbiGDc7G4WrjBJNb0zS0L8ALJ8CHKer7t657HqogSAcWFx2TBiQdtSP8jYK3tsS6_IefxvEGLTInAvZk5pvYhNVCDh6o8rHvfK3D_BEeFOIIsh0C_cUEX2RAsgwIMHkUbt3PbBXDp8_RuJr98J9y7eicGQLMpnpaNRz_W4vDanyNCy8SwZQij6CeJYhK9Z5AjUlta4VJTHlKy40vp3kAL9pWllUHbtAF_KsoETwLz0B7QQ5RN9b6DK2JkFFhsnRlmVrgXP_dsJib9gf_3_soE4nRVxmpm_liH19vUvlTxn3buGVkrZNsE7tSkwUiA1bBv9nMh3k6blOh6133Ym6WHqEh2nFO0wCtkd1PlgYW2_9TVzXMpwSEOi0NGp_LK6FqNiSZtHV2GEENDd15YV4CbryZLfM0QOY66Gi3gT_tRhAM3J6gSBHKN1ae9L1ucoWEQhUuYg2RcFwH3TR1J9MefSP7d7IEIbwm67h7al2_gOFIWKBt3rajglu0uTdDvmLfHd6SY6_dV2zMw8GFrAdlzE8i9YRCkJIBX3GZCmg_DsP09NVwBvRGs5znxMs47KvW8ipgOddYBylDm0eWNiSCL7NucfP6bDig9FxbLuoaRXJnWTDXEXb9OZS7CxbSn0Aph_cBLCN5_TNV73C9Hvz_6KTW9a34u1RW0Eesra9htMiKKycfHXUOe9QFhObXLBiCTSebAXH6O3Vv9C7_NLdPzSAk12YB3Vvr99sS2_rum0coC33LqNPUu_NXwKqo76sHr30xmOp7ASvq5R2AMxqzT_lKazOesV3Gu4cGWWIqWpN0kuem0xAxxKoBAnfmZZmyHlIckPpTAqMx9AZTUjiyZhuarAcfi3daF5FB3gJqZWH7XzcepCyrWwP_B_7PxaMzrI8yxhM2Ll2QYplWPApZ6Lxu7P5Q2GmM7G81pRrqFAYKMR_Licfh5OElDfR6W8RnFyIyzzdU8plHryg6RmKKusbR8gvNfYtne4JYeRHvEq623V87mCS8g6oPV1SYbSeDjfRir8QIvehNkvc2peAAtAJcBfLezojs8xTzGImP3BJLl9lHBbl8Ugb62gCbviGUaFMHhPBo9sFoLEPlG1De_gNmgWnK3Zt2hNKNqWuniLGWRgAS9jX6d7hDh6KSkVIsWaFxdt1XMjnqL1SRSBQiY9hnJkzD5XWG3oSWqUUUWCeq3kyvSdZrLRZHwsCsD027R2Xmsfekwxq_1S_09ug96n68v36Dbu6wZJr3cd4LfTPA6PbfSR_3m3DZyfPaPF_xM3mX6p7jg9GVfRtHCY8t_esPiazgDyjq_67vDqFuTOi8RAPPUKTWCsxI_XzgsBOvzQlxdIYhMF0d3Dve9iJzH7556mrXhGhFPFasFOrMjWZ6gyMpu9NuuEmrnDWcAV9uqJ6lLhTP5doiZJB8sei3RcNnQRHty4MlVKlVNasXYAtNNfPoh8zXM29wWtC9XReAxBSNaSDzqwVQU0PhfScQQwq4y04ait8KaAyuPKxmVuTcbQlWFfOr96d9umCj8A_XFmsF6mliW0FukpoTSCARZ3SG2aZmYVzPj3hTNl0EN1UDw7OMTLHM1nwbgc9I3d2r8SbLoGlbEk3nKrOv_kwYjgnyIwfiwaGd4igaLsk1cA1NAhJHsgH79ZA83wgEaxJ0iOfMKZ1QtBoIsxsecoER8HnjlvUYEfehifkE17w_OrsFCzdKgkQxe8BClbywbfbacJx86aWsSC[Cy92k8jOyGwpymrp_aZeu_vYwQPeRGHYo0nKXgxMsU3ALykomjoy0v7PrBR5MLWuTcPITZzLajYN3kAhROsMQ6uUe3NqQ6QJyFKvM2G1h6mT3QX9DYbJQsDjb_qKv7vEp6fZLUYJbP4BQnFuisvKlzY8Ym0f_IYchIbJQCvl5R0X3cujCWAWQmNXr8sWoyCtt8ghUridaVa8TcycXdrhLOXI4akvL4wY1B3BCAX4nTZsUGemmDbrjvz_XQ37Hw5lRNDM3AuNOb_oeTlLhRcIjoby7T1ozDgHQbUJFDKlD7D999ynqfEwOeJ1UTkX0elvwrn_Cem72IEwj0Kx_bCapCVe5JSCtVSKmoHhm0wlescYbATn21EnuIjiP_bVvzEvjKY9d7azInHGIwWjZJW_I8EgXj0rP9adIEZxSMJ6BLnuegBp71xWiZCJh_s4efmZUatbxHChtdHkY_VnLFku8X29hgVTjgPdTqjbP2Jcu2bV58lnZIt5wQk3rqeTInqkxNW4OvSbvo6np8PVtL0zjbJ5Sx2oSU1KcQTAG4Dgx14Eb8zGbDvs19ErvuUl48YOguAP2tJhbWBZ5Zv7FSg5V6BsF0ABLFmcT1LFgbgI0af8OK8eOrCzbQgG9SLnx9UTJx3_fCGpFOe5TtAqRvc4tqQglgYgfbGUpRT8X3yGln8jnUt6uR2Xgacd0JfjQg8CWLBihfD9JlE2hPUyoNzhaLmiZleiA4dg1I1q_5ugfO5PyfWwEVVwyTAlpaza1fOCAUCJW5Fy7g_fHFBfDNdUf98CJRmULkQ_qKCBxqVTV1JYDHm1vkKFt9qzr9sGxZWyLhQwTaBt2X_diibJJRHPEHGqcyla_O5MOy5VOu5tvpkw3V9Nn0UwUBzWEa32i2ekbzyGHjwsjoCm9q1IRDsunPKOgXpLmo21aUPPjpKH0nwKJWSfOTpa03CYMBjAZAxxLXNyH2wuTPt0ievT3BLmixYFifby5cqUHHZx7oaK6PnfHMoTh8PIF7KUQY2lkO3zgr9TnRNKtra_BbFArmWlWpvBVBBGuXnKuhJXSWRdARZi00QIMeApsc9hPXeV0OT9UiauD3mgxKTvWieLmXXg0ccoUyTkghCWRbA_SVbTEwHvmX8M_987cngFjVGdz7jYuWcTprOvoYc5qzNK8HZnP0iKHka2ysn6qvr4sheXnyybWMTdrMH6ej26BhzU2bHDgLZISeWIdu_mIQIKmgPNY7A6LujG1lp2K86YJ57RGFyTy5lPyV3yTRc3b5MEFMExLrqSx3m_vSNy1jr73sw6qU4wsBDTdhLvfqtR3FfKhcIdYNhz6BzzF50J42BSKYvk5x4oMhs7OSzPwPdMtEDt1BEkciRTt5LZgGBWYTsWAdXV3gbLKz0y2mOked_wgPwcu7dIuid2p1a0pq5SyV0aSYs13abh_ddAoNTiB7ZTwL3mw05WISorBytfJexyq0534kbAnp5DQwnGiAuM5GMVdE0mAnMr] = {1, 2};
int V62vtYqjKr7vUHagX8crbD1Pj3RQqU188LgQk6im7Spz55lXZst8JZUowhVn7jz0bBXMsqvfWOKodXpT1Le6hFHrOb7UtEvFnsLGY9ZFBZjhjQKYHD0x0UoUVFYqNdSKrJLMPgBCvFrv0fiyCCZLqZptbJsZi9hCttHTcJVZ1ZkY63OoAyp5j02vip4mrw1SkZ5_06fVVOf4Cxyo2FIwGshCl2UN5A9lmUcdYhWZFN0LmC0eVdXx_fxzUpPwuaKAcHwBEZ0cAQXqfysxTiVb70SjMOnk89XrM2q34razAD6MiwPqVLzq05wRNWFAbxWc6Nv6YRj5uiZCwnyk4IrUDwcK_x1qH1Epkh5Kub8I0bRAISObdx9dy4VEbYDAxbLusLgTYjmrI_8t9jQ9WNe8zSnfmyOfvG8pWIzBXgzANur56sXGJ6DGIEFn1POWjp8WeJ9VwKxagoEXETh_4_BXKtibxg2CX5uhIWotBtmf3Z2qllM7FDf8rjLc0ib6NrDpXEArt1gKyw4BHszFGsn3ZE1ojKg1akhO2TQ1CS_rnTnWg_xzuCqVMeabyZOcrKXPKtLLN8VZweyipoSeobDTgb9XNPtN3k15D3gnzXajF3MDJQjMUCzqFuPXvDL1I7ZUZa4Iwn3eeRFbBiktbICOI8AKvmxVR0opvRUGikTcL4CpobsupXk_hnTqKdr3ZkKMy1iZ29TiIQ3k77TnpF9aBbnYOqHSeEEGp4XKGHPJvN6zvt5cdl48qq0Gis7lbuDABnaOWB6j7KYtSWSTcvgV_Xf8W6eGnLfaRvKbwzjo6XJ666ohjJTZ6zVyH3hjKNoQdG2jqj7q6dc2weSwBIuq60zR0OtAkho_7wZcEFWevTKzz4kcHHnqmRgwVXMovcVfwJoe2bnDxp2qyZ3ZZKwssaxwbcobq2R3QjLmyPdFyufpJKzwkavnMtvqahN_SXxvbRVrD5FvUm5SN9Gx8Rma36q2S2LYxOmbVtDa28yDYOxVkzwCF1dkj9azf60ebCoHdu1F8OnYl4R62eX8H3suqKcugZcwslPstms5GUcCcd53xTs1y7JucvmnbcsTFI4veCK4_yFg_G4CqyyrARVWsMxcYWjrmRKDY5tpUlySttXqwUt2NEql371PGNmX5qC972ZjKR2LiCwccUZfb6RkptSAaGqDfWaLcDUUaJ6zqPIKzZNVXKinBmO2lO2M_k1ppG8NGbGZvy_Op8jybGIc_B9LmcGre5k9Nd0KZZRqD7X6QFVHhkNNjuKFYlx_a3vWTtmX3SrGVuQCMJEsgbqla8TS3lfkyhnjl3JVtr1LlGsDvMJAoubwHxxJ86Tv9L6k5c6K82CMeYDAXaMNh9KjqEAGTUHe6w5daraYhFYE3PLs9K0Tl7PCHyAoQutsdM2O0Sts_leOLsignSl9k1_nl8Z5LICcY11qnBusAfntTlJhH6b3TfVrks8_pf0H1Tpbj2vyqglle5oBCdeSOUJfrW9RmCJdOpvEIttyciMOEExGrMR4uXrl4F6a7VzPsFuRhi4sNib1_EDOKATGy1JQWPaPsepXwltnW_EDT5eKMGoagdkFiRPn_iDpu0ArPE1MRz5JYXPUyLQL9TuJUJWO5VvnqTQz19bwix0Z5XTFhmxGytpqJgh7TNzd_G_VXVr5N_gtFr7jmxZ4zOBOFNPytdNCw2fYUyybUkFPU43fam7IATF28q2xNwcpP95S5Mf7W4XD2sxLy5posJQqZzv60UEoPgLjUkzXZtovAT7zUibCC9LvXAwuIMaOolWRGNCLZUrSzm_yTfmEZXwUlPd0g76KaL1C6zyjXBb0DKhqcGqKBie4J3TyRv3j4wJfW4LGz0Gibv2jeJwYHfiUupWZNzG0rOtUkIYIdfZKmvwp9z9z7RlYrmxnVpgW_p2r1iloJbUoFa7yFBL0i701BLC8cy60YPgRf8nxdMSdeb34M34H7uZZFzGHfD_bb_FE08SRw_uPwSdtLMiwztlpB_9Z6X2CyqKB0rxfSSHE6k6kvByG2FqKipOMyDyAS2i7Tw3LwK6YWNVOhbVRx4gelY4g046RJsXBiXL5NTrpJL22F4zlc3o0KiSE = 0;
while (xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz < Cy92k8jOyGwpymrp_aZeu_vYwQPeRGHYo0nKXgxMsU3ALykomjoy0v7PrBR5MLWuTcPITZzLajYN3kAhROsMQ6uUe3NqQ6QJyFKvM2G1h6mT3QX9DYbJQsDjb_qKv7vEp6fZLUYJbP4BQnFuisvKlzY8Ym0f_IYchIbJQCvl5R0X3cujCWAWQmNXr8sWoyCtt8ghUridaVa8TcycXdrhLOXI4akvL4wY1B3BCAX4nTZsUGemmDbrjvz_XQ37Hw5lRNDM3AuNOb_oeTlLhRcIjoby7T1ozDgHQbUJFDKlD7D999ynqfEwOeJ1UTkX0elvwrn_Cem72IEwj0Kx_bCapCVe5JSCtVSKmoHhm0wlescYbATn21EnuIjiP_bVvzEvjKY9d7azInHGIwWjZJW_I8EgXj0rP9adIEZxSMJ6BLnuegBp71xWiZCJh_s4efmZUatbxHChtdHkY_VnLFku8X29hgVTjgPdTqjbP2Jcu2bV58lnZIt5wQk3rqeTInqkxNW4OvSbvo6np8PVtL0zjbJ5Sx2oSU1KcQTAG4Dgx14Eb8zGbDvs19ErvuUl48YOguAP2tJhbWBZ5Zv7FSg5V6BsF0ABLFmcT1LFgbgI0af8OK8eOrCzbQgG9SLnx9UTJx3_fCGpFOe5TtAqRvc4tqQglgYgfbGUpRT8X3yGln8jnUt6uR2Xgacd0JfjQg8CWLBihfD9JlE2hPUyoNzhaLmiZleiA4dg1I1q_5ugfO5PyfWwEVVwyTAlpaza1fOCAUCJW5Fy7g_fHFBfDNdUf98CJRmULkQ_qKCBxqVTV1JYDHm1vkKFt9qzr9sGxZWyLhQwTaBt2X_diibJJRHPEHGqcyla_O5MOy5VOu5tvpkw3V9Nn0UwUBzWEa32i2ekbzyGHjwsjoCm9q1IRDsunPKOgXpLmo21aUPPjpKH0nwKJWSfOTpa03CYMBjAZAxxLXNyH2wuTPt0ievT3BLmixYFifby5cqUHHZx7oaK6PnfHMoTh8PIF7KUQY2lkO3zgr9TnRNKtra_BbFArmWlWpvBVBBGuXnKuhJXSWRdARZi00QIMeApsc9hPXeV0OT9UiauD3mgxKTvWieLmXXg0ccoUyTkghCWRbA_SVbTEwHvmX8M_987cngFjVGdz7jYuWcTprOvoYc5qzNK8HZnP0iKHka2ysn6qvr4sheXnyybWMTdrMH6ej26BhzU2bHDgLZISeWIdu_mIQIKmgPNY7A6LujG1lp2K86YJ57RGFyTy5lPyV3yTRc3b5MEFMExLrqSx3m_vSNy1jr73sw6qU4wsBDTdhLvfqtR3FfKhcIdYNhz6BzzF50J42BSKYvk5x4oMhs7OSzPwPdMtEDt1BEkciRTt5LZgGBWYTsWAdXV3gbLKz0y2mOked_wgPwcu7dIuid2p1a0pq5SyV0aSYs13abh_ddAoNTiB7ZTwL3mw05WISorBytfJexyq0534kbAnp5DQwnGiAuM5GMVdE0mAnMr) {
VLDTJUr0eYj3UiHhVWtQqVrqunxn8GIY2SPSCOKZw1azce1XN6Oqaz7crOokQxd0Jl_HNREMFQUaJQeHFmH5vE_4dX1cLiR7f9h64RWN1G3M1mKM7Y7FB1LheRSAHJA08GrqaVlh7NN05M3MGbywOWe5g91MEJX8AeOgM9Ja2XqNDj_cm1adEFa8e30NudvaPNpxFOC2C66LKK8i5xA8HVJgwFZWtYKEthyhLGYDShqNOShWyq14gC7EdfD4gR1dhvtMQDUbiGDc7G4WrjBJNb0zS0L8ALJ8CHKer7t657HqogSAcWFx2TBiQdtSP8jYK3tsS6_IefxvEGLTInAvZk5pvYhNVCDh6o8rHvfK3D_BEeFOIIsh0C_cUEX2RAsgwIMHkUbt3PbBXDp8_RuJr98J9y7eicGQLMpnpaNRz_W4vDanyNCy8SwZQij6CeJYhK9Z5AjUlta4VJTHlKy40vp3kAL9pWllUHbtAF_KsoETwLz0B7QQ5RN9b6DK2JkFFhsnRlmVrgXP_dsJib9gf_3_soE4nRVxmpm_liH19vUvlTxn3buGVkrZNsE7tSkwUiA1bBv9nMh3k6blOh6133Ym6WHqEh2nFO0wCtkd1PlgYW2_9TVzXMpwSEOi0NGp_LK6FqNiSZtHV2GEENDd15YV4CbryZLfM0QOY66Gi3gT_tRhAM3J6gSBHKN1ae9L1ucoWEQhUuYg2RcFwH3TR1J9MefSP7d7IEIbwm67h7al2_gOFIWKBt3rajglu0uTdDvmLfHd6SY6_dV2zMw8GFrAdlzE8i9YRCkJIBX3GZCmg_DsP09NVwBvRGs5znxMs47KvW8ipgOddYBylDm0eWNiSCL7NucfP6bDig9FxbLuoaRXJnWTDXEXb9OZS7CxbSn0Aph_cBLCN5_TNV73C9Hvz_6KTW9a34u1RW0Eesra9htMiKKycfHXUOe9QFhObXLBiCTSebAXH6O3Vv9C7_NLdPzSAk12YB3Vvr99sS2_rum0coC33LqNPUu_NXwKqo76sHr30xmOp7ASvq5R2AMxqzT_lKazOesV3Gu4cGWWIqWpN0kuem0xAxxKoBAnfmZZmyHlIckPpTAqMx9AZTUjiyZhuarAcfi3daF5FB3gJqZWH7XzcepCyrWwP_B_7PxaMzrI8yxhM2Ll2QYplWPApZ6Lxu7P5Q2GmM7G81pRrqFAYKMR_Licfh5OElDfR6W8RnFyIyzzdU8plHryg6RmKKusbR8gvNfYtne4JYeRHvEq623V87mCS8g6oPV1SYbSeDjfRir8QIvehNkvc2peAAtAJcBfLezojs8xTzGImP3BJLl9lHBbl8Ugb62gCbviGUaFMHhPBo9sFoLEPlG1De_gNmgWnK3Zt2hNKNqWuniLGWRgAS9jX6d7hDh6KSkVIsWaFxdt1XMjnqL1SRSBQiY9hnJkzD5XWG3oSWqUUUWCeq3kyvSdZrLRZHwsCsD027R2Xmsfekwxq_1S_09ug96n68v36Dbu6wZJr3cd4LfTPA6PbfSR_3m3DZyfPaPF_xM3mX6p7jg9GVfRtHCY8t_esPiazgDyjq_67vDqFuTOi8RAPPUKTWCsxI_XzgsBOvzQlxdIYhMF0d3Dve9iJzH7556mrXhGhFPFasFOrMjWZ6gyMpu9NuuEmrnDWcAV9uqJ6lLhTP5doiZJB8sei3RcNnQRHty4MlVKlVNasXYAtNNfPoh8zXM29wWtC9XReAxBSNaSDzqwVQU0PhfScQQwq4y04ait8KaAyuPKxmVuTcbQlWFfOr96d9umCj8A_XFmsF6mliW0FukpoTSCARZ3SG2aZmYVzPj3hTNl0EN1UDw7OMTLHM1nwbgc9I3d2r8SbLoGlbEk3nKrOv_kwYjgnyIwfiwaGd4igaLsk1cA1NAhJHsgH79ZA83wgEaxJ0iOfMKZ1QtBoIsxsecoER8HnjlvUYEfehifkE17w_OrsFCzdKgkQxe8BClbywbfbacJx86aWsSC[xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz] = VLDTJUr0eYj3UiHhVWtQqVrqunxn8GIY2SPSCOKZw1azce1XN6Oqaz7crOokQxd0Jl_HNREMFQUaJQeHFmH5vE_4dX1cLiR7f9h64RWN1G3M1mKM7Y7FB1LheRSAHJA08GrqaVlh7NN05M3MGbywOWe5g91MEJX8AeOgM9Ja2XqNDj_cm1adEFa8e30NudvaPNpxFOC2C66LKK8i5xA8HVJgwFZWtYKEthyhLGYDShqNOShWyq14gC7EdfD4gR1dhvtMQDUbiGDc7G4WrjBJNb0zS0L8ALJ8CHKer7t657HqogSAcWFx2TBiQdtSP8jYK3tsS6_IefxvEGLTInAvZk5pvYhNVCDh6o8rHvfK3D_BEeFOIIsh0C_cUEX2RAsgwIMHkUbt3PbBXDp8_RuJr98J9y7eicGQLMpnpaNRz_W4vDanyNCy8SwZQij6CeJYhK9Z5AjUlta4VJTHlKy40vp3kAL9pWllUHbtAF_KsoETwLz0B7QQ5RN9b6DK2JkFFhsnRlmVrgXP_dsJib9gf_3_soE4nRVxmpm_liH19vUvlTxn3buGVkrZNsE7tSkwUiA1bBv9nMh3k6blOh6133Ym6WHqEh2nFO0wCtkd1PlgYW2_9TVzXMpwSEOi0NGp_LK6FqNiSZtHV2GEENDd15YV4CbryZLfM0QOY66Gi3gT_tRhAM3J6gSBHKN1ae9L1ucoWEQhUuYg2RcFwH3TR1J9MefSP7d7IEIbwm67h7al2_gOFIWKBt3rajglu0uTdDvmLfHd6SY6_dV2zMw8GFrAdlzE8i9YRCkJIBX3GZCmg_DsP09NVwBvRGs5znxMs47KvW8ipgOddYBylDm0eWNiSCL7NucfP6bDig9FxbLuoaRXJnWTDX
V62vtYqjKr7vUHagX8crbD1Pj3RQqU188LgQk6im7Spz55lXZst8JZUowhVn7jz0bBXMsqvfWOKodXpT1Le6hFHrOb7UtEvFnsLGY9ZFBZjhjQKYHD0x0UoUVFYqNdSKrJLMPgBCvFrv0fiyCCZLqZptbJsZi9hCttHTcJVZ1ZkY63OoAyp5j02vip4mrw1SkZ5_06fVVOf4Cxyo2FIwGshCl2UN5A9lmUcdYhWZFN0LmC0eVdXx_fxzUpPwuaKAcHwBEZ0cAQXqfysxTiVb70SjMOnk89XrM2q34razAD6MiwPqVLzq05wRNWFAbxWc6Nv6YRj5uiZCwnyk4IrUDwcK_x1qH1Epkh5Kub8I0bRAISObdx9dy4VEbYDAxbLusLgTYjmrI_8t9jQ9WNe8zSnfmyOfvG8pWIzBXgzANur56sXGJ6DGIEFn1POWjp8WeJ9VwKxagoEXETh_4_BXKtibxg2CX5uhIWotBtmf3Z2qllM7FDf8rjLc0ib6NrDpXEArt1gKyw4BHszFGsn3ZE1ojKg1akhO2TQ1CS_rnTnWg_xzuCqVMeabyZOcrKXPKtLLN8VZweyipoSeobDTgb9XNPtN3k15D3gnzXajF3MDJQjMUCzqFuPXvDL1I7ZUZa4Iwn3eeRFbBiktbICOI8AKvmxVR0opvRUGikTcL4CpobsupXk_hnTqKdr3ZkKMy1iZ29TiIQ3k77TnpF9aBbnYOqHSeEEGp4XKGHPJvN6zvt5cdl48qq0Gis7lbuDABnaOWB6j7KYtSWSTcvgV_Xf8W6eGnLfaRvKbwzjo6XJ666ohjJTZ6zVyH3hjKNoQdG2jqj7q6dc2weSwBIuq60zR0OtAkho_7wZcEFWevTKzz4kcHHnqmRgwVXMovcVfwJoe2bnDxp2qyZ3ZZKwssaxwbcobq2R3QjLmyPdFyufpJKzwkavnMtvqahN_SXxvbRVrD5FvUm5SN9Gx8Rma36q2S2LYxOmbVtDa28yDYOxVkzwCF1dkj9azf60ebCoHdu1F8OnYl4R62eX8H3suqKcugZcwslPstms5GUcCcd53xTs1y7JucvmnbcsTFI4veCK4_yFg_G4CqyyrARVWsMxcYWjrmRKDY5tpUlySttXqwUt2NEql371PGNmX5qC972ZjKR2LiCwccUZfb6RkptSAaGqDfWaLcDUUaJ6zqPIKzZNVXKinBmO2lO2M_k1ppG8NGbGZvy_Op8jybGIc_B9LmcGre5k9Nd0KZZRqD7X6QFVHhkNNjuKFYlx_a3vWTtmX3SrGVuQCMJEsgbqla8TS3lfkyhnjl3JVtr1LlGsDvMJAoubwHxxJ86Tv9L6k5c6K82CMeYDAXaMNh9KjqEAGTUHe6w5daraYhFYE3PLs9K0Tl7PCHyAoQutsdM2O0Sts_leOLsignSl9k1_nl8Z5LICcY11qnBusAfntTlJhH6b3TfVrks8_pf0H1Tpbj2vyqglle5oBCdeSOUJfrW9RmCJdOpvEIttyciMOEExGrMR4uXrl4F6a7VzPsFuRhi4sNib1_EDOKATGy1JQWPaPsepXwltnW_EDT5eKMGoagdkFiRPn_iDpu0ArPE1MRz5JYXPUyLQL9TuJUJWO5VvnqTQz19bwix0Z5XTFhmxGytpqJgh7TNzd_G_VXVr5N_gtFr7jmxZ4zOBOFNPytdNCw2fYUyybUkFPU43fam7IATF28q2xNwcpP95S5Mf7W4XD2sxLy5posJQqZzv60UEoPgLjUkzXZtovAT7zUibCC9LvXAwuIMaOolWRGNCLZUrSzm_yTfmEZXwUlPd0g76KaL1C6zyjXBb0DKhqcGqKBie4J3TyRv3j4wJfW4LGz0Gibv2jeJwYHfiUupWZNzG0rOtUkIYIdfZKmvwp9z9z7RlYrmxnVpgW_p2r1iloJbUoFa7yFBL0i701BLC8cy60YPgRf8nxdMSdeb34M34H7uZZFzGHfD_bb_FE08SRw_uPwSdtLMiwztlpB_9Z6X2CyqKB0rxfSSHE6k6kvByG2FqKipOMyDyAS2i7Tw3LwK6YWNVOhbVRx4gelY4g046RJsXBiXL5NTrpJL22F4zlc3o0KiSE = V62vtYqjKr7vUHagX8crbD1Pj3RQqU188LgQk6im7Spz55lXZst8JZUowhVn7jz0bBXMsqvfWOKodXpT1Le6hFHrOb7UtEvFnsLGY9ZFBZjhjQKYHD0x0UoUVFYqNdSKrJLMPgBCvFrv0fiyCCZLqZptbJsZi9hCttHTcJVZ1ZkY63OoAyp5j02vip4mrw1SkZ5_06fVVOf4Cxyo2FIwGshCl2UN5A9lmUcdYhWZFN0LmC0eVdXx_fxzUpPwuaKAcHwBEZ0cAQXqfysxTiVb70SjMOnk89XrM2q34razAD6MiwPqVLzq05wRNWFAbxWc6Nv6YRj5uiZCwnyk4IrUDwcK_x1qH1Epkh5Kub8I0bRAISObdx9dy4VEbYDAxbLusLgTYjmrI_8t9jQ9WNe8zSnfmyOfvG8pWIzBXgzANur56sXGJ6DGIEFn1POWjp8WeJ9VwKxagoEXETh_4_BXKtibxg2CX5uhIWotBtmf3Z2qllM7FDf8rjLc0ib6NrDpXEArt1gKyw4BHszFGsn3ZE1ojKg1akhO2TQ1CS_rnTnWg_xzuCqVMeabyZOcrKXPKtLLN8VZweyipoSeobDTgb9XNPtN3k15D3gnzXajF3MDJQjMUCzqFuPXvDL1I7ZUZa4Iwn3eeRFbBiktbICOI8AKvmxVR0opvRUGikTcL4CpobsupXk_hnTqKdr3ZkKMy1iZ29TiIQ3k77TnpF9aBbnYOqHSeEEGp4XKGHPJvN6zvt5cdl48qq0Gis7lbuDABnaOWB6j7KYtSWSTcvgV_Xf8W6eGnLfaRvKbwzjo6XJ666ohjJTZ6zVyH3hjKNoQdG2jqj7q6dc2weSwBIuq60zR0OtAkho_7wZcEFWevTKzz4kcHHnqmRgwVXMovcVfwJoe2bnDxp2qyZ3ZZKwssaxwbcobq2R3QjLmyPdFyufpJKzwkavnMtvqahN_SXxvbRVrD5FvUm5SN9Gx8Rma36q2S2LYxOmbVtDa28yDYOxVkzwCF1dkj9azf60ebCoHdu1F8OnYl4R62eX8H3suqKcugZcwslPstms5GUcCcd53xTs1y7JucvmnbcsTFI4veCK4_yFg_G4CqyyrARVWsMxcYWjrmRKDY5tpUlySttXqwUt2NEql371PGNmX5qC972ZjKR2LiCwccUZfb6RkptSAaGqDfWaLcDUUaJ6zqPIKzZNVXKinBmO2lO2M_k1ppG8NGbGZvy_Op8jybGIc_B9LmcGre5k9Nd0KZZRqD7X6QFVHhkNNjuKFYlx_a3vWTtmX3SrGVuQCMJEsgbqla8TS3lfkyhnjl3JVtr1LlGsDvMJAoubwHxxJ86Tv9L6k5c6K82CMeYDAXaMNh9KjqEAGTUHe6w5daraYhFYE3PLs9K0Tl7PCHyAoQutsdM2O0Sts_leOLsignSl9k1_nl8Z5LICcY11qnBusAfntTlJhH6b3TfVrks8_pf0H1Tpbj2vyqglle5oBCdeSOUJfrW9RmCJdOpvEIttyciMOEExGrMR4uXrl4F6a7VzPsFuRhi4sNib1_EDOKATGy1JQWPaPsepXwltnW_EDT5eKMGoagdkFiRPn_iDpu0ArPE1MRz5JYXPUyLQL9TuJUJWO5VvnqTQz19bwix0Z5XTFhmxGytpqJgh7TNzd_G_VXVr5N_gtFr7jmxZ4zOBOFNPytdNCw2fYUyybUkFPU43fam7IATF28q2xNwcpP95S5Mf7W4XD2sxLy5posJQqZzv60UEoPgLjUkzXZtovAT7zUibCC9LvXAwuIMaOolWRGNCLZUrSzm_yTfmEZXwUlPd0g76KaL1C6zyjXBb0DKhqcGqKBie4J3TyRv3j4wJfW4LGz0Gibv2jeJwYHfiUupWZNzG0rOtUkIYIdfZKmvwp9z9z7RlYrmxnVpgW_p2r1iloJbUoFa7yFBL0i701BLC8cy60YPgRf8nxdMSdeb34M34H7uZZFzGHfD_bb_FE08SRw_uP
putint(VLDTJUr0eYj3UiHhVWtQqVrqunxn8GIY2SPSCOKZw1azce1XN6Oqaz7crOokQxd0Jl_HNREMFQUaJQeHFmH5vE_4dX1cLiR7f9h64RWN1G3M1mKM7Y7FB1LheRSAHJA08GrqaVlh7NN05M3MGbywOWe5g91MEJX8AeOgM9Ja2XqNDj_cm1adEFa8e30NudvaPNpxFOC2C66LKK8i5xA8HVJgwFZWtYKEthyhLGYDShqNOShWyq14gC7EdfD4gR1dhvtMQDUbiGDc7G4WrjBJNb0zS0L8ALJ8CHKer7t657HqogSAcWFx2TBiQdtSP8jYK3tsS6_IefxvEGLTInAvZk5pvYhNVCDh6o8rHvfK3D_BEeFOIIsh0C_cUEX2RAsgwIMHkUbt3PbBXDp8_RuJr98J9y7eicGQLMpnpaNRz_W4vDanyNCy8SwZQij6CeJYhK9Z5AjUlta4VJTHlKy40vp3kAL9pWllUHbtAF_KsoETwLz0B7QQ5RN9b6DK2JkFFhsnRlmVrgXP_dsJib9gf_3_soE4nRVxmpm_liH19vUvlTxn3buGVkrZNsE7tSkwUiA1bBv9nMh3k6blOh6133Ym6WHqEh2nFO0wCtkd1PlgYW2_9TVzXMpwSEOi0NGp_LK6FqNiSZtHV2GEENDd15YV4CbryZLfM0QOY66Gi3gT_tRhAM3J6gSBHKN1ae9L1ucoWEQhUuYg2RcFwH3TR1J9MefSP7d7IEIbwm67h7al2_gOFIWKBt3rajglu0uTdDvmLfHd6SY6_dV2zMw8GFrAdlzE8i9YRCkJIBX3GZCmg_DsP09NVwBvRGs5znxMs47KvW8ipgOddYBylDm0eWNiSCL7NucfP6bDig9FxbLuoaRXJnWTDXEXb9OZS7CxbSn0Aph_cBLCN5_TNV73C9Hvz_6KTW9a34u1RW0Eesra9htMiKKycfHXUOe9QFhObXLBiCTSebAXH6O3Vv9C7_NLdPzSAk12YB3Vvr99sS2_rum0coC33LqNPUu_NXwKqo76sHr30xmOp7ASvq5R2AMxqzT_lKazOesV3Gu4cGWWIqWpN0kuem0xAxxKoBAnfmZZmyHlIckPpTAqMx9AZTUjiyZhuarAcfi3daF5FB3gJqZWH7XzcepCyrWwP_B_7PxaMzrI8yxhM2Ll2QYplWPApZ6Lxu7P5Q2GmM7G81pRrqFAYKMR_Licfh5OElDfR6W8RnFyIyzzdU8plHryg6RmKKusbR8gvNfYtne4JYeRHvEq623V87mCS8g6oPV1SYbSeDjfRir8QIvehNkvc2peAAtAJcBfLezojs8xTzGImP3BJLl9lHBbl8Ugb62gCbviGUaFMHhPBo9sFoLEPlG1De_gNmgWnK3Zt2hNKNqWuniLGWRgAS9jX6d7hDh6KSkVIsWaFxdt1XMjnqL1SRSBQiY9hnJkzD5XWG3oSWqUUUWCeq3kyvSdZrLRZHwsCsD027R2Xmsfekwxq_1S_09ug96n68v36Dbu6wZJr3cd4LfTPA6PbfSR_3m3DZyfPaPF_xM3mX6p7jg9GVfRtHCY8t_esPiazgDyjq_67vDqFuTOi8RAPPUKTWCsxI_XzgsBOvzQlxdIYhMF0d3Dve9iJzH7556mrXhGhFPFasFOrMjWZ6gyMpu9NuuEmrnDWcAV9uqJ6lLhTP5doiZJB8sei3RcNnQRHty4MlVKlVNasXYAtNNfPoh8zXM29wWtC9XReAxBSNaSDzqwVQU0PhfScQQwq4y04ait8KaAyuPKxmVuTcbQlWFfOr96d9umCj8A_XFmsF6mliW0FukpoTSCARZ3SG2aZmYVzPj3hTNl0EN1UDw7OMTLHM1nwbgc9I3d2r8SbLoGlbEk3nKrOv_kwYjgnyIwfiwaGd4igaLsk1cA1NAhJHsgH79ZA83wgEaxJ0iOfMKZ1QtBoIsxsecoER8HnjlvUYEfehifkE17w_OrsFCzdKgkQxe8BClbywbfbacJx86aWsSC[xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz]);
putch(10);
xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz = xU4UVdo6fPho5bRhUTjrlIMjqIY_evCyLJf0suh6fNNJ_3DxUYEO_xR1xkH9B68yOd4nSYbkstCnMA1BvxzZHFcKgYsWCq9M6sWFj2hbYtXZAMA2V8pUya5kbMgjwVwR_IKh_EeyZ5EU504YyCm79GrBpe7NMhLcqK5b41z3SzpL6eQTdwdgiZLmh_BbdR_2e0ZcLGxpg0kD_SiCYiQWzh5ekfalc_qYy9ohDjYcW4XpZtkKT0LaIwpKT_eexlt3zRaWJlQTLKmDCqe83zBQAyZx9y79siWba8uMlkcoHe7YzKgeb2Lb44q6WW_vA7Kr9_c_I0LjpZWr2nyAcoFo9aOgYD4DikZLLO3GOQnLPymmJWZGewbfJOKcABxkHBbsjYup399BZw8fM62exxL6Os5P6r8dQxQnUAghxk5yVAElumTAW3cKIKf603d1W9zymy8I006tqdZnh2sUZjqZhYn1ljJCZyFbV6Lnp6IUAuM8pm1v2BE_iBujx7lhYKEvlNGPXjkoQjQXhMudJymkqc7H3mC_695Be7Dzlc_jnHycVoDXb4EczmxL2_UqouAWiUjUCG2hWi3t4QaOucBuNtIPw0nquTOLf5rLgbzuVbRfeTzymEnU08sFsRsach7SVQKOenEZ1N6kTBQFE5SZtqb7KGPp9Who2UvLK2fOKx8CQKNv6_Lc5NXh2p8n4Ob8lqo28dyadcRKyElXXvbl0JVfL9hDNy8S1yrJ5dg3wkEW2Xay5l0rE52vwJAbFxnfJXbAUkEBxeNifGgRB872UPpJ040uyvQAuhHXnakBM_3GjgFBcjAZzr_UJ1c3PglWVrFsLB4fID5bt2SQfC9zL2igpbtoxLeNf8QeUO_faaxtzVXWw015a1xytmdBXlfHIz3zBiOepkTKe8JD2S3xI3aBva2SE6J3Cx7QZgg5lLQ9Va9EONhhN4PLzvmj9uEQsxph6Bb0dhR8l65gFMTQM0zY8Ep1kj15kHfwTtjgp_qYcjjMguuFQxOP_Wuhw8tyRfYFDCaXhacEEXwA3Gp7JaXyLpmlZehZXTaO4w6xKYDyrpkycIiZBvyS6fxEqqzEybbmloWe5atTihpsXm9d6j0iyUP56maXEvx7OaOERJRjyTdx0Q2gdU92GE5Y1vyuc1GNj7gTmL84xjHcNQOiC8Blhf3J77ykaAhFYeWAp0W1TtVz + 1;
}
return V62vtYqjKr7vUHagX8crbD1Pj3RQqU188LgQk6im7Spz55lXZst8JZUowhVn7jz0bBXMsqvfWOKodXpT1Le6hFHrOb7UtEvFnsLGY9ZFBZjhjQKYHD0x0UoUVFYqNdSKrJLMPgBCvFrv0fiyCCZLqZptbJsZi9hCttHTcJVZ1ZkY63OoAyp5j02vip4mrw1SkZ5_06fVVOf4Cxyo2FIwGshCl2UN5A9lmUcdYhWZFN0LmC0eVdXx_fxzUpPwuaKAcHwBEZ0cAQXqfysxTiVb70SjMOnk89XrM2q34razAD6MiwPqVLzq05wRNWFAbxWc6Nv6YRj5uiZCwnyk4IrUDwcK_x1qH1Epkh5Kub8I0bRAISObdx9dy4VEbYDAxbLusLgTYjmrI_8t9jQ9WNe8zSnfmyOfvG8pWIzBXgzANur56sXGJ6DGIEFn1POWjp8WeJ9VwKxagoEXETh_4_BXKtibxg2CX5uhIWotBtmf3Z2qllM7FDf8rjLc0ib6NrDpXEArt1gKyw4BHszFGsn3ZE1ojKg1akhO2TQ1CS_rnTnWg_xzuCqVMeabyZOcrKXPKtLLN8VZweyipoSeobDTgb9XNPtN3k15D3gnzXajF3MDJQjMUCzqFuPXvDL1I7ZUZa4Iwn3eeRFbBiktbICOI8AKvmxVR0opvRUGikTcL4CpobsupXk_hnTqKdr3ZkKMy1iZ29TiIQ3k77TnpF9aBbnYOqHSeEEGp4XKGHPJvN6zvt5cdl48qq0Gis7lbuDABnaOWB6j7KYtSWSTcvgV_Xf8W6eGnLfaRvKbwzjo6XJ666ohjJTZ6zVyH3hjKNoQdG2jqj7q6dc2weSwBIuq60zR0OtAkho_7wZcEFWevTKzz4kcHHnqmRgwVXMovcVfwJoe2bnDxp2qyZ3ZZKwssaxwbcobq2R3QjLmyPdFyufpJKzwkavnMtvqahN_SXxvbRVrD5FvUm5SN9Gx8Rma36q2S2LYxOmbVtDa28yDYOxVkzwCF1dkj9azf60ebCoHdu1F8OnYl4R62eX8H3suqKcugZcwslPstms5GUcCcd53xTs1y7JucvmnbcsTFI4veCK4_yFg_G4CqyyrARVWsMxcYWjrmRKDY5tpUlySttXqwUt2NEql371PGNmX5qC972ZjKR2LiCwccUZfb6RkptSAaGqDfWaLcDUUaJ6zqPIKzZNVXKinBmO2lO2M_k1ppG8NGbGZvy_Op8jybGIc_B9LmcGre5k9Nd0KZZRqD7X6QFVHhkNNjuKFYlx_a3vWTtmX3SrGVuQCMJEsgbqla8TS3lfkyhnjl3JVtr1LlGsDvMJAoubwHxxJ86Tv9L6k5c6K82CMeYDAXaMNh9KjqEAGTUHe6w5daraYhFYE3PLs9K0Tl7PCHyAoQutsdM2O0Sts_leOLsignSl9k1_nl8Z5LICcY11qnBusAfntTlJhH6b3TfVrks8_pf0H1Tpbj2vyqglle5oBCdeSOUJfrW9RmCJdOpvEIttyciMOEExGrMR4uXrl4F6a7VzPsFuRhi4sNib1_EDOKATGy1JQWPaPsepXwltnW_EDT5eKMGoagdkFiRPn_iDpu0ArPE1MRz5JYXPUyLQL9TuJUJWO5VvnqTQz19bwix0Z5XTFhmxGytpqJgh7TNzd_G_VXVr5N_gtFr7jmxZ4zOBOFNPytdNCw2fYUyybUkFPU43fam7IATF28q2xNwcpP95S5Mf7W4XD2sxLy5posJQqZzv60UEoPgLjUkzXZtovAT7zUibCC9LvXAwuIMaOolWRGNCLZUrSzm_yTfmEZXwUlPd0g76KaL1C6zyjXBb0DKhqcGqKBie4J3TyRv3j4wJfW4LGz0Gibv2jeJwYHfiUupWZNzG0rOtUkIYIdfZKmvwp9z9z7RlYrmxnVpgW_p2r1iloJbUoFa7yFBL0i701BLC8cy60YPgRf8nxdMSdeb34M34H7uZZFzGHfD_bb_FE08SRw_uPwSdtLMiwztlpB_9Z6X2CyqKB0rxfSSHE6k6kvByG2FqKipOMyDyAS2i7Tw3LwK6YWNVOhbVRx4gelY4g046RJsXBiXL5NTrpJL22F4zlc3o0KiSE;
}