print """eJx1Wk2X3LiRvONXwLr4UqX3dt/bPWyfNDOaUe9zW/ZI448jSIIkpkiiBiC7RP96R2QCrG5Zc/G4 iwSQyIyMjEzq42LX0ds+pLzap7h0brexl9/muKwj/3h3TWE62f/63//+n5M+ceniV7vG22Lw/Mlv y3CyYbG3MbSjvOK2dYyJq3/++PTuz9+/tx9/tJ8/vMefn97bm8u2iWk5GXe9epd8h81s47kHHl19 6n27Wmfz6lbPXZJ/jtO2higvBLHQfNiGzS9xzXZ0nf11wxVm13mu8y3uYv/k7M+xHf00ySZhfWvt k1t204Y1/Msv+YQ3fVgGsfkWZ7/Yftrlh3hzqZPfP4RhtJ/W5P16spN3z3hu8CAk245h6hJWtUlW uVVWxCt+6mJMOGB0efWL3rCL4m7TbiG5jIcORubteo1pLVZg0ww7biO22pbWp9XBKW3ckhtgYkBI nJm3zADAwc5eHdZmt5xsFxK85ru6zeqv+eU9xoifpsQA03z7/3GadvsU4J10gvf7mHwJIQM0OLyE 0DCybfIu00L/7NNu5rBsq4f5MGy+OoRqSHG7nuxzbEPv8f+zXK3fpomOb7cUYg7r/taYR7ogZm/X MHvE2i2hzfaGk7gZQKde6f3NAox8IWfciTeP22roHIvw7bx9pIXAxhBws0T74KsAPLiEyDx7WkGT l1VBHbK5hKUDCj7zanrqEpvJIxa3MSp84DDrBrgdePIO3pBjHqy4w9A19B42Gn5nER+38HpY3FSW iUc/XfH8ZNTF31zFTdW6RRLKdV0Q0AM8eJ4BnQhQuAkewf2vWzOFliBGgAQPgjzsmk/1XP5Pik3j 8ZsBwLvQumXF8yN7cIs4PfsKR2BtAaanr12yXeNiJP5N7Ha10tZEsm66MVprjBe8iQDMGYFxXQDE yg0BuuDlHD2P9r48LfZIlMMdGha+czdUoq+4+dprAPCGRbTveFZjwE3E92/N4wqr8jatxPUqbu5T nAUbSNUmcEekniaqzS50r8jRfIsP72yCZSP4rDJKO7k5puJXIRqz+CCg5WMk1xmPzjsIKt5IdjgC ybpEfT4Fervy8Q9baztvfg4ktOC3k01bHoVYvkrxuuJlgiNef8d1jUsJu3aKjmK+27Kva8atabZG 4ApuBjUvJHqEd0LuvrM7wjUAE8v5fOPKxZKJAGf6jzSWHFzoyN2dyyNOfZzdEBakezRYnLKfejz8 AZ766xa+RKV3D4pdvV8evnpUsp67A/lcTA5+8Ss4w0lyz44xefVkC2COXLY0dct2Yjp3kl0AYpyE qpFI3JkeaKaNVDRp+dJkRX0xPRKBy+gNu7gZtuRs88j8aPx6g/moDoQsVvHGjLojHkBA027cv7bk H2zvWkQ2sljgeZNQRB9gL0oM4uovqIuLpKLNYVi4VwacSXgPRmvvF8TTARYoAi0zBKmRZjAuQt0B /hMooCPkYGqPsAXcTPdq9kI9zv7kkHgLNttr4qL4dn6V+nESynztS3c9E6oGEbxjAO5LrLZ4Cngz DH2pUKhhScLSe3eQp/W7N0JQvDkcCdiHAQDTpwuLwgj+oAVM5h5OxKXA5Iy7sHaMpgmD7aXywY51 PJFybJ5x0/LzQJfSPHGC/wI1ETxIs5PzZyIN8XwGIt0FtoxhLgt7kJZPf0RM4RqyHX77FRde/C4C I5CUVtMw0H1NUQYyww+dIgVV2C3DRAIQXnEUDJLwjYNSAFmbkQnyqlIoGfZSuWA7GQxkRNadLhrL 7uUKg/oKuOTQSe4wPsh61siR99FaQyZiwjSuvSBzfySaX8WON3LHwlr0Rb002SdyBDaHW035O2Vm 86rUYL8DzS3I+GWvDHrzE50a4ZstMZntjneyiROuUCguLGLuCNPvyYoccdAr5dkqiSxkDmfXd5BQ 3QBj9GJ4bfKDFCjxOd+BR4ZIvwsC5RSUH4NThW2dLrssntkFWutUMDiqWYov1FT72xbAENuy+Ba5 jSQ7sd6uyphSW+AfSXtckyoVmSfbCn8x1KhUWbgPUueXBc/XbYGEnXbllt82N6FYaLi15jBIWqVz xH8B46PEm41WlgAn4MqfhZdgDD0ouOBDHNGyjq6OuQ6gCJO51QgPs14qNI7iXWKIg5ZIktzU+zSl x/XEo75ocwdjanFwlIhSExl40rxof9QCAdB1IrexiMDxyGuqR+sajTGuDlQIpzIWBKNKTgR7l90H 1foG0NpAC+1+Pl9T7DamLpZsoLPnmOSOvfdT0V882H9ZGVDR2CwVCd5JrFdLp14u7wvoJX9nMhcl ASXqzli2XqIMWyRHTPfHd9Dew8JSx2xndEqCfFW85ITScfwMmYslqzesEB2WMjf4AtCMowVyvAEs LXG25ZVZSqPkd4BI2yZR0fcYiC7Jm/C3pu1AFsPCE5AfO40fUttU9mDCfpBosACw6HXeXwsWU3G+ IAP48dfagpgh9GsNuQRaLHx6a+8+UT6fOhEWH5RymK+oMwjRsr6ytkHzoLwBomR5kFQhmd2Akp06 J0mhRoHRRix1+V55aR3bjCWobrFXvE1dIlkDfMELpH/IstYj6m+edlL46Y3KN6G0qas1jwVn8lIe wqJmXlGYldDMX959/vj46V74P/gFpfbxb+zApsIBFvGp8TrZNy/T2GXDvlZ3ZjUryorKB/VFCoEm BFa9IEnQexSeN2gXwU5QM4tqFBQLOROwan3FO9lOZNmMEsbNUYfgBPS35s/6NnkkoLA6pV15uQsA EYIDliPmhT3iIhklIhNOMmgytd4EMVoPYIWH/6khhFyFX+RBhgqBPRDapcEm9rjuJu7SXKfzWUEA C4Dl3SrdLLZAcj8HZi0XSEWm7UYdJxo4AthFqb5hugChG97/HSQiFhQp5lhcqgPc6eeGzyUMSKZA 9KDBCBMbyUE6RRqhyQffns95y9J5C2LZxMhaJjVv9QJEFaZZiMUc7xMHvtCJHOrzCpCIcugDE1ca n04BABKELOVDUcmUAUDvRTleO5FLIRvKJDZmjRfxgXtiBRz7nbComdxKmn20s4dzZDO0V24t7TDa Gcqhjtzwfuk2aYBhcREsxi07BCgYlYTApicHlgea8H1tp6pNpVuFJkAG4Kaq0mVSgegyxQ8xcSrP j0mGg/FeyxQ1W/WnYUshoOPLUKaw7uY4CJAGJgq60QgHDoZyEW7KvQYkPrprVswrUzdOoe8zNGod buDSynQ42n/h9KJsoOWaFYzY3VYtJzNO/ifAQYxLaSh/H0kI6dwkwNeIKLxF9r3gn/x/9sVsjcqG B+5lp6rBT9WbplSQr1+chcxwpmY2BHWSWqo9M3USOsuLcR3HHAinqLQqcMVESS+wAG+DwyYZkJFj H47MY9LdVIMmscneUshSBFhqJuz5o0gcimLOdNrW5YA71gfam7Co0gndBuNKtcPfTeg6dtrCYczj 7H/bGPG9DCmAm/UG8r4TSkEJErDn9gVoeq2KV9IDEwmXOBl1U20ceqHWlp0AnIRnws+Hr7k/jJjy 3QEyPWTv3ml4E24jdH0DWXIOU0YwlPTJt+HqC/jKiM5A32c3Vz7IqoJqE/BdxMrgtPO5MwbDPofk SrF/RknYfB2YUSng6BsHJAUTXRQZkWQqxcU0mKT6WaiiI8XSbSrc9bqTcA10RCicT9Y4nGnoLya8 tDBsbbuuuskpaiOJ+krWkXYKlUDlC1x3PhvaMwemMt0B1tlFxmigdBpTR7zuYH4pPTw9LsSA9GGc YzLewHUYAt1xk8JIocrZLzQV+8hHm7HdhTrxICdI4c/JP3POoTMrSg1qc5+wPaK/UJ83dRLDN6hQ XxWahugQUcyRrqp16Nn93GvnwvqIo3TU9Ke4AbL/eHx8lPNm+xPkl6gSUN0frP10jKl0FMuNYCVY zie3likCELOuUx27qWLIpCz59SDYKq2OCRupYkWWDqK9PsvEgnxXYMWxUtGyZW5LpYj/Mt3I0J4Z Pb8sBWO4SvS+5VBWbGRT4ojp9E2Xs98jNYg0kJwB85VmTrmvNtG4818ceOWkBVA89FDnb5w/OP3g II01mwG5/8oE5E+qywnWtpRhKTS1RcS1L3FRjyUtdbB18DLk50BDzzN6cTmTKcVztmvJ7kNaouKQ BWuNlqWnWmEkwiVBUKavoQyxoNo5TY1SJlnwNbQdp7NcrmQ3ku9OHJqIwCj3fZKRPiCeH16mXqYd gKTviXhOEwaOg7Hoe4dOLOUCwAMtI9RWplkScvsi2HzPvBxN244D2nw+jyoo9M9Kr5IOQeygjAYO PjESpt/YBCOVvokFmVJYznEZlMxzlYU5rwENPBi5/r0BkYENLZV5rzYTjR+cfOchO+OPwPL3Uyzl WGYC2nRNnlpHvVxEw6ySZ46dn+gGBEP7/7Xo2d2ARbVDIgV3wNPbN8b8wnmPptDvyEsUm9R57bhF ngllJtKz5JWUn0uQrxW0Q1pSEhA2FnEn872Cidq6ycqG34eAHUQW7cvHpX5kUkQCoInRakenKvbI BZnj9NWAUrD4fUEZ8AbxUyqwHFX8hoR1nBfWMnb0OvJlqhbGm1cOl7qYPDiXvHUrXRDHIyLBkEla y41HXYj77EXkk5Uc+o3tizZpMk4nkji2mIS7NGhEgDrKyIwGNuz3Lr1M4eVe5zNJUAL5OkBd6KT1 lBZIDonLvQxItBZpcPp8TceXgtd7yDzElJlhJ92z3FRcQMHCgYKXEeC2iMSXjslJBIoOMVSrOoCo 8wbk8o1Ax+5Ps//PE/nJsZwJTifPzdKTuxJLJh1toRR3DeLsKJqkUT6fAX6LKGo5ROd1MJgL2nT+ J44FNcWVRIN8cahdv++pfyUx5JvPGksjShafS3XsN2rMO1upCj6ZxcnvoM9nF6Y6tGTfwrEDLgnX aJ9zn6l7zgda75FUmtNKBF3oe44/0JnJl08ZktRsGN3UI0c+S0eEIsDv1a/zgYNoXEQ+iZRZYak/ KDv4b6BF5siFdQQ335OMo486V9TAZ5mIu3tGkA1P/A70tcxUPfFKZypBaXF9+5IooZxe6dCmfIWW 2bV8Y9D2JQ3y2cr8nfaWccrf3v3w3j69//6Xp68BBfS42tpfxz2HtvxptM9p4/X4nAR4Rakj2pmz WEnLjGJyk1lk0YxGZi+pkJpMi0iw3bbudZYX2NlS3coAsCMqdXJJWFWykLf1Y5HUqRffiwDzlyM1 +YbIge8MT2Xpqoag3yylqINGVa+4NAcqiJco51qZc9qM5SLSjXwL4Uc/3UAfT3xTMM05RGwd6ZeT TH4rYKLX74RGOEcUw2eXGi91WeaeReKU2RbRskqClu9JHaWAEDzbrkpmkJfrMbbXLoxPd7+WbjGv ldIAmNyCHI1+jEAO/epuJ/k82JXBlhYhFJ3Nq4n8hoBmt2m0k9F5vTmoU9ZoJ6cwuCVGxJeJbj0Y 7T9FzbLN8jHfiC9zvYLMmr1KHO4jn+hTPjegJnKre/15luRp6pxUjkmicbvah+o/8ACRtTrBnvwy 8MuOfPfACToVqv6yA8rjrDNhv3tuNkpjnGIrfYMO+6X31VFn9uZuIosZDsvHv5NAQCBK+Sr8Gvrj 7zuZGVqAP7fOyxBOihSLFufROnWeeFwpNIs0VFm+cUzh4st3u3zJxxxdR1Dsnn84sFu/Rx/Tv9n9 CvkWWlM+lzGDi67OW5aBrU6wTqqRxyKMhTzks8C0tRf5xy6SfILZt/8GxJjFqA==""".decode('base64').decode('zip')