結果
| 問題 | No.3408 1215 Segments |
| コンテスト | |
| ユーザー |
apricity
|
| 提出日時 | 2025-12-15 08:13:01 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 156 ms / 2,500 ms |
| コード長 | 28,188 bytes |
| 記録 | |
| コンパイル時間 | 266 ms |
| コンパイル使用メモリ | 82,256 KB |
| 実行使用メモリ | 80,868 KB |
| 最終ジャッジ日時 | 2025-12-15 08:13:10 |
| 合計ジャッジ時間 | 7,451 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 46 |
ソースコード
from base64 import b64decode
from gzip import decompress
s = "H4sIADNAP2kCA229W2IsOa5k+39HIwNAeoS0M+t097R68Ld3EIBjeak+slIpKRQPdxIwmC1+fd3/09fX/x1ffln+V/V/wbe9f2v80PgX/nTwp8Wftvynzafz94d0P7f63c+38pf1y/Na/EuPV+Ff/QBf/QfUD8jngW/Ws7h/a76Ufjr1LfFZPt+PzWfp430Yf17zzesnLT5p8Ulbvk5/vpf59PEaPj8s0/iUx0sSX5LxJdl5nePtOV/e18D9UH+/wOu/+PqDr/9xeSy+fuPrf1w853WbND9h+/zUuAr810/Y+O74+a7Ni+3zZo0LoN+7x+Vgn5/qV3LeLRsX/nxnne+sf9Ub/HnT86Xbefj8vX7S4vsuvu96vO8vvu+L7/vjZtl8353ve95KVm+3+nXPi9HmJdyfivipiJ+K5a/Er5ew80OK/pDOuyN8ZuJnJn5m5/J32Vjk7O+7YL/cDa77clN+LuNS5Qf8uHWCH3DwAxY/YPEDNn7AedvZWAnudzJfov39GO6Fqd6Neu8tH/xxj9r5G32b5812X0p2P+fPG3U/57oQ7P7Ecdm9edltXnY+7txxa2ouFX0VBq/C4FUoXoWPtXHxKjRehY+V8/yf15WVS8Lnsh8rc/y6kASv0cVrVLxGjdeo8Ro9i5BZ3+nnS801yc9j1afWF7T6gu4rZVzfjxUreH2L17fx+j7Lm98X4PlyLCDK5/zfq93izbB4Mxhvhscu47wZvG6GfN/OW35+V/VE6lbJ+8o0l9XzRvcT7BtJvJHUN9K9hd73lfq+qnd23maPJdnrNusfzLsuH+lr3oTiTSjehOJNKN6En+ffD/X3P+Ce/OY9efGeDN6Tjx35xXty8Z5cvCeN9+Rjv968J533ZO7mveDkv2juOWbGAsDnnuP3bYcbWLyBLReI9eues3g/b97Pxvs5ywY/24Q9ygbn7R19e5/HN9zt6rt9bG5984s3v3jzW97V/tzc7jX8XhrEpeH8w02/7oSLK8Wj1HGuFGfbPJ/g31do/Tv3LtrriLiOqNeR3G2xrJy3y0apMVeZzVVmc5VxrjJZceXVXm+Kn2dkj4oruAYF1yBxDRLXIOMaJK5B4hpkXIPO75pp7vx1Pedn6H/fb+7849n2gmVcsMQF6/xUXWZ1kffuyuUsuJyJy5m4nBmXs/OQZl3zfL5raFfqYjivoT/9Zz1iXAqNS+G5ruttz7Wk3vZ6Yqa7br1fUd1wdr8Zc1XVY1X94ar64qq6uKo+6u03V9XNVXVzVXWuqlmNey156ptv1tU2S6pec4NrbnDNFddccc19lO6La65xzX0U9p4XkM8KKz5/f/R+69cKa3NFvrgiO1fk6BX53M/CAv3oEYIL9OICLS7QxgVaXKCNC7RxgT77hJtmZedms7KLWprOd3s1F1dzcTU3ruZ+ftjz9vjqxX1Uhb3WP6rCzbU+m6DziJ8Fci79waU/uPSLS7+49BuX/rOpRN+Fdr70Z4GZ/4aN4Xwanmvt+d18n3v9621D3DYubhsXt43gthHcNsRt49HHLW4bi9uGcdswbhvObcO4beQL9XttnbuIcxfx2kVmyWymWTL3HpPvXy+t56HMZsncO5C4Az1KZuMO5NyBjDuQn9/1u0Y4Xw6Zo2+6ui9ru1JvV6MY793rUYwv7l7G3cu4e3kuLufF26NB9trM5gu+72b7mludaqubTYCZZhPQG6G4Eao3whK35r54bjRrDdGwTTq3Sec26V/1f+cqPj+c13NdrX7WzCoUTLMX6T1V3FPFPVXcU8U91T6PWi//vxqXP9xi39xiN7fY2QuMbl2zB+od9+KOe3HHDe64wR1X3HEfysOLO+7ijru44xp3XOOO+5ApNndc546bIkZuCLUfnIdqheFTPAypLmb/1NuzuD2L27Plk9m/9k8Xd+sXd+vgbr24W4u79UMtWdytN3dr427t3K2Nu3UqLV670/mua7ZxvZc79/LovXy0cb21q7f20cb1Ti/u9OJOb9lyxa9tnHHjd2780Ru/+u/edYC6DhgdYZcFYllw/hE2hzT+9+7yXxrEi0VDsGh4KEuLRcNi0WAsGh66k7NoONWJW922fr7UbD09F85sPeNe+1FhPFpPY4Xh57tnm6odynvG4Kg/1PXH6GK7HHl0seezq85AZ0n2IWTOYuXFYuXFYmWxWFksVozFykNn2yxWNosVZ7HiLFaCxYqzWPEqVs6Wme+05+6bG2+VMvmW5aKaV7lcsy/vQidY6AQLHbHQEQsdY6EjFjpioWMsdM7vutnsy2udzDsp/i5yv/TlzqooWBU5q6LoqmjqC1UkqYukr1aH75pJrJnEmslYM4k1U+oBjq63lq/quOZ2fS8yWSN9fvcX8WCz/HKWX87yK6r8qjtBWY2dD1Aozh7CabA4E4szsTgzFmdicSYWZ8bi7Lxnfl+7n++aTUmjFpkhafQwcVRydr6bNVouFt6THdZ5Yp0XrPOCdV6wzhPrPLHOE+s8Y51nrPNSaPHRG3++vIUDipB232X5w2Y2xod9eacWUddz3gKfR/5FszHWl8b68lyMdalUoe9fcwRTn34WCHZPOFGbfm6T/hRyd6039rNF3m/sZz+939gqHv2u5VDm/sMy95tl7sUyN1jmPuT6H5a5L5a5L5a5i2XuYplrLHMfYv6bZe5mmbtZ5jrLXGeZm8q/V/2a75+mvmVunNj51Le6Jg7WxMGaWKyJxZr4MSZYrImNNfFjiODZYsbUt9anvh0z9v2rvvVixfxmxbxYMW9WzMaKOecRn92j3qK7gN4soC8W0M4COlhAOwvo6AL6PKChnlbX00OE6/L6McsIlteL5bVYXhvLa7G8NpbXxvL6vDlhNkW4MJ8i3Cqh53y3a/GHCOesxYO1+LqXByv54C7NxdLcWJqLpbmxND8bontbBc6XmmpfmE21r+t4dR1v/d27rH9ogS+W9Ytl/WMMtFnWb5b1zrI+h0Rey4X1f71Vxi76g0V/sOgXi36x6BeLfmPRf17Ckk/RcZXH4CE6OluC6JbglCOGDkHsEMQOwdghiB3CuerDNOXMc8X2iNtTunmqm273YqpTQo/uQuwuHlLom93Fm93FZnex2V04u4u893J78rpDzjvhj/naxd7jYu8R7D2Cvcdi7xHsPYK9h9h7iL2HsfcQe4/HqG6x91jsPYy9h7H3cPYext4jO5Mu087vuqbW252JszPx6kym1uvnkUvr7b4lm5zc+LJPcPOp9XZXI3Y1D6032NUsdjXBrmaxqxG7GmNXI3Y1xq7G2NU4uxpjV+PV1XS7kE2O+s25e55c+VxTkDbXFKR9TNNng6RukIYg7WPMqXsjKNmq2id1+3QbRu5u6iFmX+ymgt1UsJta7KbEbkrsph5z28VuythNGbspZzdl7KaM3dRZGsxrIz/fPV3ylz0mwl691lTcvVUE+5qdmKoTm4r7uRdace8+TezTHoq7sU/z6tO66c62rS+j0cWpu7jR5HVT9xDv7bMM2TQr3Kv35w/fq/dT6V/sABc7wMUO0NgBGjvAx/Tc2QE6O0CvDjDlyPM+5Rpbm1v1h+r+sA1no13Mvc41xxG1Aqt6S81xRFdjYm8p9pbq3vIe6N6tprrV/Gprz915qjvPKpJmI/oYdDgbUWcjGtV59qdr9z2odBpUm6puU1OQ+Zpdq9i1il2r2LXmgMW/htbQF39W73XF5rvTLa7Y4ootrtjiii2ujqTlX23d8vsl/Nec5182wD9sgF9sgBcb4Iez4g8b4Dcb4Dcb4M0GeLMBdjbAWTlGtYXqmnR6y2yOm3qNudgeX2yPg+1xsD0Otsdieyy2xw+Txovt8WJ7vNgeG9tjY3v8cHRstsfO9jj9HmZzGBXZEpUf7vPKhmN3frB3Ly320mIvbakCXL8Oo95srb/ZWm+21hdba2drHd1an0JW6LQfxpKLnfaLnXaw017stIOd9mKnLXbaxk5b7LQfppTFTnuz0zZ22s5O29hpp6HFe/U9X2rO09xtztO6LXe25dFt+ZindZeu7tLHPK2bdrFpF5t2y3Z0/TpPC/bwiz38Zg8v9vDGHj5dNzFd8XdLb2zpnS19dEuvfvl3h6/u8MdYrxt+dcM/xnrd/4v9//nHMn+O9dTfvtUBUR04C0O4fp0BvikWbIoF6SOKsy7Fw0d0UTu4qB0EtYOgdiBqBw+X0aJ2sKgdGLUDo3bwsCQ5tYPziqJFbz9f2pw9nrWuZ48tNIhCw2P2GBQaFoUGUWgwCg1GocEpNBiFhjPV9DTf1KDSNYecYZpDzlYl1KrEGHK2SKEWKe4q79YsHiPQoGYhahZGzeJc5lE69BlthGmOT2N6zi1f4H9PU7+pd3xT77iod1zUO4J6R1DvEPWOhzHsRb3jRb1jUe9Y1Ds29Y5FvWNR7zDqHUa9w6l3GPWO/FzjbsCm/LEpf2zKH075wyl/BOUPp/zhJX+kwPpZFM5Kfz76KY6oxJE5WzbXnC23dJIKjtucLZ8VuZuEFlaCwkpQWBGFFVFYMQororAiCitGYeX8bpzX0AGaLHtySV5av86WF1WYTRVmUYXZVGGMKoxThTGqMLlgREuMOl+eZvbh1nNqNEGNxqnRRGs05xo3TclGLdnkZfE1FRxRwbFWcMbwvAUdtaAzhuet74j6jqjvGPUdUd85f9ddc3hetUoZoM5FOYfnX51xubUhURuy1oa+uoO8pSJRKspdMYuE3Dvc9etY/kUhaVFIWhSSNoUko5BkFJKyYovzifjDQrmpKzl1JaeuFNSVnLqSU1eK0pXqTVXKTPmmQnVSqU7TaFC3oD00qYc5M6hJiZqUqEkZNSlRkxI1KaMmdd7nMJtGg7NQdN1bFcXTaOAUsKIFrDJPTD1LrWflRfQ15S1R3jLKW6K8dVRG97Ysf37YNQ0OVTOkGFZFwtPv4CWNfZWLP5WyHIB8TeFMFM5E4exhndgUzjaFs03hzCmcOYWzfO5ZBlhW/VkGWG7ycWofe/hpgypbUGULqmyiyiaqbEaVTVTZjCqbqLKJKpuoshlVNqPKdh65Ntzyd7imGaS2xWyJalusIvrv9kwzyFeb/W/BzijYiYKdUbATBbtTRNRGUJaAXPlrN3T9ajMJqntBdW9R3RPVPVHdM6p7orpnVPeM6p5R3fNS92rrKrGv5hhT+0vd0DW9MOaII/twKNm9QOUjt26o0g1HULEXivPDt6r4MM7YuWhuEILsvkOfthqj5mjUHI2aY7ZirmnJqcs7JbS6vGsC4bo9JfcnWGKGN9zDppqpVjNTY9AUN585sf9Q3PxDcfNNcXNT3JxZq5GP0vQNtdb5Ta3zm1rnRa3zotYZ1DqDWqeodT4c7z/UOl/UOl/UOhe1zkWtc1HrNGqdRq3zYY9/U+vc1Do3tU6n1unUOtNL3xdR/oumQcnP0+iIlzsTyTENSq2TBnXSoE4q6qSiTvrw4S/qpEad9OHS96y61jQo7c+7MvAL168GpW+qqD9UUS+qqC+qqEEVdVFFFVXUh+H/RRX1TRV1UUXdVFEXVdRNFdWoojpVVKOKmmGBKInifPfTtbXHqjXWTY31osbq1FiDGqtTY43WWM/LdEiu6lVqOLBagVUrsMOB1YLsI4YQFGQXBVlRkDUKsqIgaxRkjYLseSeX+XRgLYvpwNrlXj/fbfX24cBaVG831duL6q1RvXWqt9Hqrfq9usXcR3TCKeYGxdzVYu5ZDh3arqjtWou5wybWUq8o9RqlXlHqNUq9ZxcL17SJhdu0ia3agc93WxfGYpb/uGViUSY2ysS5TEZu2F+tGg/HWYvID8fZN0XkiyJyUER+5EpeFJFfFJEXReRFEdkoIj9SJ5si8qaI7BSRnSJyRlS89rscoWoa384m0sa3VpyDinNQcRYVZ1FxFhVno+J8XuDO1SXVgl0gj4fxbVGP3tSjjXp0JmXiLPX+SMo45emgPO2Up6Pl6TRvQK1Wq9XDf9fitShei+K1UbwWxeuzTi+z6b876xX8d/nhQekWle7PQ1l4wxzOl/rVu7eogz+SQU4d/Bj9vJFl3mOW2/fXKrmokosquVolP0/IIZqf2YYPy/XU0H+oof9QQ39RQ39RQ1/U0Bc1dKOG/sgrvamhv6mhb2romxr6RQ19U0Pf1NCdGrpTQw9q6E4N3UtD/+wRqbzqvKLbppVyUt4DWV3X9RSalsnW3y/q7xf196D+HtTfF/X3oP4e1N9F/V3U3436u6i/i/q7UX8X9fdH5GpRf1/U3436u1F/d+rvRv091XnX9Fe62/RXtjrvVOe91Pnprwzz6a9s7T6F/qzbUw0Pi+mvbGVfVPYf/spNZf+isr+p7F9U9p3KflDZdyr70cr+aWylKfSrhf4jYOlr6v6PxFlQ91/U/YO6/6LuL+r+Rt1f1P2Nur9T9xd1f6PuL+r+OTOIYaMYYwDjGMA5BjCOAbzGANNt6rcJGUOCLHOyMq+whdt0m1axnQ/VEwX1RGG4TXvAIA4YxAGDccDgHDCIAwbjgCFbkOi5qs6X3arprmNT4OpphHoaMVyuPZx4uFzfHE5sDic2hxMXhxPO4YRzOBE1nKiNLe+Box438+OMLh4Bw4uji+DoIji6WBxdBEcXwdHF4uhCHF2Iowvj6EIcXYiji0d0cXF0YRxdGEcXztGFcXRhHF2cK9W9FtzzUK5p8vX8S/bISHrNOabJN5hc7SmIagoyTb5nQW6Tb89IxBnJw+QbnJEszkjEGYlxRiLOSIwzknO3nVWlXu89MjGOTLxGJk0kzAmK+uXfAxXVQGU6kc8i0+9Hj1vU45YxnOnpi3r6ov7uPYx5+JSDwxhxGCMOY4zDGOMw5lie3Rt9eFoqTQd0mKYDOppb+xHCq1J9GqIvznUuznUuznWCc53gXCc41xHnOuJc55GfXZzrLM51Fuc6xrmOca7jnOsY5zrOuY5xrmOc6+QQKIvP8lbHeUef3mrn1Mc59fGa+kwDeBWB2RL1TEg9ExoG8B4R5bTJbRrAq0SsuYjbNID3PEmcJ4nzpIcB3DhPcs6TjPMk5zzJOE9KISdrJGVsOYuiKkJiUv26OEkfes+i1LOo4UPv0ZR6NDV86D2pevjQFydVi5OqzUmVcVJlnFQ5J1XGSdURgWqXzB84F1LXRT3Hcs6xnHOsqDlWFiufC642vux2esqlnnKVOWIOvcShl9XQa/ru7zo9H0rTd38u0fbd94RMnJCJEzJxQnaGfO4z49/70e27v3GcY5ymHqfliqY5XROna6dRq6X+aeH3GrZ1oMju5ToXnR7FiaO4h/3fOYpzjuKco7hUBHPZVM5SctmsLjOXzeq54xipq8J0zdhBj/HEMZ44xhPHeOIYTxzjGcd44hjv00D1tZFjKGvH/Uezag31/z01zPz+hzO/fzjz++bM7+LMLzjzewT8/+XM74czvx/O/F6c+b0481uc+S3O/Iwzv0f8/w9nfm/O/N6c+W3O/DZnfpszP+fMzznzS1ZA1NgsdXHNTMbHVjrZkz4zGT0gvDggvDggDA4IgwPC4IBQHBCKA0JxQPjgDLw4IFwcEC4OCI0DQuOA8AEl2BwQOgeEiSw4D9XR9fNQTcT8DOwGwHmOp+9pojhNFKeJli/z9WtE44fDxT8cLr44XHxzuLg4XNwcLhqHi6mXfvSGevPvWeObs8Zvzho3Z40XZ42bs8aLs0bnrDE4a3TOGqNnjbnEYfSoHj2ODEpPIh9chYuTyBcnkcFJ5OIkMjiJXJxEipNI4yRSnEQaJ5HiJPJBbFicRG5OIo2TSOck0jiJTNqDayZU4vzdkinCfSZUemzpHFtGjy1HQqWnmOop5kio9FBTHGqKQ03L0MP+NaGyOeO8OON8ccbpnHEGZ5yrZ5xHvzOMPMWR5wNJERx5Lo48N0ee4sjTOPJ0jjzFkadx5Jmwi/gqM9v5UjNk0wNR40DUORCNHoiOkE3PR9Xz0RGy6XGpelw6QjbrLpowPT3/2BbPkE1O7zFMNQ5TncPU6GFqG9rHbFU9Wx3xnR61iqPWsx0tt3FUUPytM+KXNM8PB7EvDmIXB7EPEsibg9g3B7Gbg9jNQaxzEJuckKg92joBdKeIekx7cUx7cUwbHNMGx7TBMa04phXHtA+oyOKYdnFMaxzTGse0DwKJc0x7Xv4ymxmjlR1Dtoxns25htWe64kz3kTHanOlenOk6Z7rRM90jjBpGvA/USXDEuzjiDY54F0e84ojXOOIVR7zGEa9xxOsc8RpHvOchw1snOF9qBqHONtGC/LqHRRgPq8fDIwjV02JxWixOi43T4rN5nrWu/q5FhR7PpLlnyepZ8ohY9Wj5EbHaHC0nJeYsiOlUvifNwUlzcNIsTprFSbNx0mycNJ91eplmeGvd/v/zpT/DW0fc4Fj681D5Cdbv5ieYvzuG1uLQ+g+H1n84tH5zaP3m0HpzaL05tHYOraugOQV5VMj0rJ3xwOB8c6T9zZH2xZH2xZH2iyPtiyPtiyPt4Eg7ONJeHGkHR9rBkbY40hZH2saRtjjSfhB1XhxpvzjSXhxpL460N0faiyPtxZG2caRtHGk7R9rGkbZxpO0caRtH2jnwjpyjpDoemom6HnhvDrw3B97Ogbdz4B0ceDsH3l4D75mo8/OKKlHX43DVOHwm6txtJup6WJ4ze/eZqHP3majrUXpwlB4cpYujdHGUbhyli6N0cZRuHKWf310WM1FXXWrP1/evibqLc/cX5+4X5+4vzt2Dc/fFuXtw7r44dxfn7sa5uzh3fzCRFufum3P3xbn75tzdOHd3zt2Nc3fn3D04dzfO3Z1zd+Pc3WvunuXc+d1IlTNHbjWVz103G94iE4Rm+rBn9s6ZfXBm75zZR8/sR/qwR/jqEf5IH/ZEX5zoW0/0R/qwB/zqAf9IH/a8X5z3i/N+47xfnPefvxtuM31YfWjBJM8a9F/pQ6M5wGkOCJoDjOYApzkg2hyg+4iL9gqovQLql39bB9TWgZGJbCeB6CSwdhKMTGQbC0RjQfYW0cdBfYpbtxmR/Lx1/eZ0q5UFyud3fwlQftOjcNGjcNGj8KJHIehRCHoUFj0KokdB9Cg8sF0vehQWPQqLHoVNj8KiR2HRo7DpUTB6FIweBadHwehRMHoUEggWVfHXmzLzo+1g2HQwOB0MTgdD0MHgdDA4HQxRDobKqSkNDed6d/gbVP6GGTb1XMj0cD+o3A8zbOoprNjDG/HgkgW9EaI3QvRGGL0RojdC9EYYvRHnM1rmM2x69tCWsKq1fIZNF40Um0YKo5HCaaQwGimcRoooI0Xqded3o99l2Cwe4DWnzSLaZnEvdrfrQu26uI1RtwlDNGFYmzBGmrY9GWpPxkjTtkVDtGgYLRqiReOYTsI107Rnqe80bTWeI02bwg/sHaK9Iz+T+OrD5XT3ks8k7qL5w2j+MJo/vNoGKefj0wvi9IJ4eUEKRlzWkLwrvqZTROUUmYHgc9N1ILh9JKKPRPSRqH0krSgNW8lHvu9e0nL1Kb3tRZfJiy6TF10miy6TRZfJosvE6DIxukwejL5Nl8mmy2TTZeJ0mThdJkGXidNlEnSZOF0mTpeJl8vk3HEpeGS3WJV1eVDUHpTadqYlJV012UtmtLp6SSv/ima0ujX0oH8l6F8J+ldE/4roXzH6V0T/itG/IvpXRP9Kml1inAA07CxGO4vRznL+UDVipQ66zaR1tUu5g1W7lD8cf3WdX5LWTmdM0BnjdMYEnTFOZ0y0M6autWmUURtlsiTR9M2ofTNfN4+obTSijUa00RhtNKKNxmijEW00mQ6P8qSfHw6gFKuMzyq46vbyW//9FO4zSqvorcltVrlFbo+8Sh9B8037zqZ956J9x2nfcdp3gvYdp30nyr6T69B5qKiDUKVp7lGbe/JW+JpenweRMuj1CXp9Fr0+otdH9PoYvT6i18fo9XF6fUSvj+j1MXp9RK9P2obyHniG443WH6P1x8v6M0P5fmtkX9MYlKaiG2V7fthmKL8KuRwyVyGXj9ymItFUJJqKjKYi0VRkNBX5eaiY5+PlvVDPquucdHJWYVPbpuvX9H/QkCQakkRD0knqWp9wksltTZBAVQXp7PN2v39+N4Ad6J39iRkIepuC3qagtynobRK9TaK3SfQ2id4mo7fJ6G0yeptyWBFjkHrvkuU2jmE4ufej9KrUfpS/W/tR/q793YE67NXLdTpcan3+SsU0F+Rc4T9/9xeOgtGAZTRgOQ1YRgOWny4gqjs6P5xrTvUI8TXPaat7Pw0IN0tLNr1cai/X4De0tUtl7eoDU/2+RD9XzjB+5XAsbgNX3BfDZwh7XwxlXIrbrRHpBIpfToX5X/SQ/UsP2Q89ZC96yBY9ZA9G7n/oIftDD9kfesje9JC96SHb9JBtesicHrIak5YtST01nacL2oRbtMPsmw6zbzrMLjrMLjrMLjrMgg6zoMMs6DATHWaiw+yB2/2hw+xFh9mLDrNFh9miw2zRYWZ0mBkdZkaH2QPV+6bDbNNhtukwczrMnA6z5PqmVaGcCudpNNH0PI0+L/Hzjo5jo9cEY7Q7LehOC7rTRHea6E57MIEX3WlGd9qDGOyZ6dkTjHF9TFx9v7R37QHG+EPv2j/0rr3pXfumd23Tu3bRu+b0rkV71874ULCyPeDD37Sy/dDKdtHK9qKV7aKV7UUrW9DKtmhlC1rZFq1sopXNaGUTrWwPcPGLVrY3rWyLVrZNK9uilW3Tyma0sjmtbEYrm9PKZrSyJRI5ymtyfve8oqKG+N902E0Nad/bpu/tou/N6XsL+t6cvrdo39ughrQNTm2DG9SQdsWpXXGDGtImuQdsOWiSWzTJiSY5o0lONMkZTXJGk9x5Y/f54aKGbFuTGnLVqTRlatm/UkMuOupedNS96agLOuoWHXWbjjrRUWd01KWYvE7G3h+A6EWD3abB7qLBzmiwcxrsggY7o8HOabCLNtipL4bbb6f22w0sStvvHuhpp/0uaL9bbb8bWJR244luPGv73cCitDlPNOcZzXmiOc9ozjufwnKbWJTlPrEou/i+57vt5HtgUYxOPqeTL+jkW+3kU7+i29gnGvtu1Pbgr7TPT/T5GX1+WXFGpdfPd0MTx/J5+TeOpU2BalOg93dvj+AD1vKHHsE3PYKbHsEEgK9Tk6wHAPyblsFvWgYvWgYvWgaDlsGgZVC0DD7w4C9aBl+0DC5aBhctg4uWQaNl0GgZfLDENy2Dm5ZBp2XQaRlM8LhXNRvnS03AzCnGGjATOQfwB4c8aDcM2g1Fu6FoNxTthka74Xm9V5rGc/R6ZZn5BMxcNCO+aEYMmhEXzYiiGfGBQ180I26aERfNiJtmRKMZ0WlGNJoRE6UeFUM93w1NCk5bFZ1WxaBV0WlVjLYqnjIy4FxUOxcHI6eNjGoj42DktK9R9DWKvkajr1H0NZ73eZtPRs7Znf+bkWN0PTpdj9GuR90ZwjZBqk2QZUOYnkjRE2ltghxsnrZIihbJw0NYrsnmWZ0X/TzTSJnnieq56KcM+ikfBPtFP+Win9Lop3zw7Z1+Sqef8vg4w+uWOz/smkygyJshmUBtvhTNl6L58sEEMpovz7Z8rvZ65LxE0wo0rJlqa+bAC7VT84EXMj+7RakP0ZvHL/Chf+jj/Ic+zm/6OL/p47zo47zo4wz6OIM+TtHH+cD7/9DH+UMf54s+zhd9nG/6OF/0cb7o41z0cS76ODd9nIs+zkUfp9HHafRxOn2cRh9nLlvrdipMW+ebts43bZ2bts5NW+dFW+emrXPT1um0dTptnUFbp9PW6bR1Bm2dTlunl63zQCPSDHbeOiuRMm7riW7hKMcIx4vYCKi2hOYdkrJSLpcWNhFQbRi9aBi9aBgNGkaDhtFFw2jQMBo0jIqGUdEwajSMioZR0TBqNIyKhtHHyQiLhtFFw6jRMGo0jDoNo0bDaNpJ3SYCKm5nH+ykTjupl510IqDWeeRCQLXZNJ2pqVCVQdPWREC1FVW0oj4QUC9aUd+0or5oRX3TirpoRd20oi5aUTetqEYrqtOKarSiZq2UklTBQdfZBPxxMMSmUfWiUXXTqHrRqOo0qgaNqk6jatCoumhUdRpVg0ZVp1E12qh6llLT9K2qfavppfyaNlbRxmptYx2orXa1ql2tA7XVJtfH+RRBk+uiyTVocl00uYomV6PJVTS5Gk2uTpOraHI1mlxFk2saZON2yn++1CRvtQXWaIF1WmCNFlgvC+wkb4XbJG+1QTab1NvqdX7YJ3mrBKuSgMpNq3bTDvJWm2sf5C2nuTZorl001zrNtUFz7WpzbbpwNb22otfW2mv71YfZ3tZb0XprtN6K1luj9dZpvRWtt0brrZf1tg6KVDpx29A9jLnZ36fKlA3X59q40WKlBeVDtYtX7eIdaLE29apNvda/e3t81R5f69+9Lb8PLNkPLb8vWn5ftPy+afldtPwuWn43Lb9Gy6/R8puL7Dr3YzwOWHnTAbzpAN50AF90AG86gDcdwBcdwE4HsNMBHHQAOx3ATgdwlAM450fnkc/LT1PK7Q9Wm6YHwu1sv41wa/fw4+iWi+7hoHs46B5edA8H3cNB9/Cie1h0D4vuYaN7WHQPi+5ho3tYdA+L7uHHCTKL7mGje9joHna6h43uYaN7+FyE0Sa+81Buk/cW6c20x1E1XlbjyXtb5pP31kZklRF58t5O9dW8t7YpizblB+9t06Z80abstCkHbcpOm3LQprzapnwGKKbpWla7lo+Jyr6miVk0MT+O1wmamBdNzKKJ2WhiFk3MRhOz08QsmpiNJmbRxGw0MZ8tztMbWBS60KTftcXZaHH2sjhP+l24Jv2uDdAqA/Sk38V9ADjs0Wp79DBTt1tadEuLbmmjW9rLLd0I1DRPN216eKnVXurB1Wtr9YOrt2mtdlqrndbq6ETmUVXOD0d5pQ3G68eJSEHjddB4LRqvReO10XgtGq9F47XReG00Xh/veHiZYf0E9TVZgGcZaRZgCVbpRS3BarAAEzkOD7ed70a5sz/XdClUGfQsSSqTnW34Fg3fbxq+3zR8v2n43jR8bxq+Nw3fTsO30/CdV19qUJ62l9SgagS1jirpj7OlLrrDL7rDL7rDg+7woDt80R0edIcvusOD7vCgOzzoDhfd4aI73OgOF93hRne46A4X3eGPM60W3eGL7vBFd7jRHW50hzvd4UZ3uNMdbnSHG93hVu5wFcsgzeK1Z03veFnJNWmOFpo0x3aWO53lTme5l7N80hxLz8mn0b5zte980Bzbhp73dJsqz99NtUflWfdJc2zPuuhZFz3rD5pj0LO+6FkPetYXPetBz/qiZ130rBs966Jn3ehZFz3rRs+60bPu9KwbPetOz7rRs+7lWT/7eKp0KTsURbIc7WpHu/ojuw3u6Y8PTZhlyQ6V7A1NmGW1/0WFKnO82hw/YJbtlVd75QfMsq3zauu8+pFvJ73aSa9+5NtYrzbW6z4ssH32D0zmRZ/9RZ/9iz77oM8+6LNf9NkHffaLPnvRZy/67I0+e9Fn/zgbbtFnv+iz3/TZG332Rp+902dv9Nk7ffZBn73RZ2/02Tt99kafvZfPvivgtN2npAQXfsYMQhM4eta6loPao+/06Ds9+lEe/Qkc9fsgYTj41Q7+ARxtQ79o6Lcy9E/gaLVpqjCATeDoWUUbONruf9H9L7r/Rff/uXLCbQJHqyF6AkeN2QBnNsCYDXBmA6LCANVdmN1dTDYQnRxQJwfUL/AOEqiDBAOD2rkCda5gYFA7ZiDGDBKDGl+zzK8WIPMOVZk/IamLmQRjJsGYSfDKJKiiSRlRKDDATCyIiQWvxEJ+DF4BhvtjuPMMqjzDRLdWsa1H2kFMO6jTDtlcIfzw97t3lausD8pBtJiFWMxCLGYhFrMQxiyEMQthzEI8jmt0ZiGcWQhnFsIrC5Fuq/PisoAs30ElJdRJibruZnBCHZwovNfMUWRgIzRBtlVeqjIYmiDbj4/zBtl2BkPMYIgZDDGDoc5g3LjFO5KhjmR89VF2d0JDndBIkqFmYEMd2Chr18xvPAC6zvyGM78RzG848xtRCY26mtzvja8GL5XuUKc7vurI8RH2UIc9UuP/mtkPMfshZj/E7Icx+yFmPxL6GyWN1pcD0t+rd2YIvDeVszjk0ne+22vdDQzOxZypEjFVcnB4tYykc8b75HBmTsTMiZg5ETMnYuZEZ8SQn8LHLni/7SU1xG2TQ0DlfzOg8h8GVP4woPJmQGUzoOKDWNs+/vbf/w/zKv8wr/IP8yrfzKt8M69yMa9yMa8SzKsE8ypiXuVxCuq/zKv8MK/yw7zKi3mVF/MqL+ZVFvMqi3mVxbyKMa9izKs8jkz9w7zKm3mVN/Mqm3mVzbzKZl7FmVdx5lWceZU8bjUqW+J1JQ7Gs5+XUBZ5D58Rl/6Xb2ZdLmZdLmZdglmXYNYlmHURsy5i1kXMujyOan0x67KYdVnMuhizLsasy+Nc182sizPrkqe+1sAwia3noWoN25+Pri/jDsYEgzFiMEYMxlgGjd6/Mp7/YU7mX+ZkvpmT+WFO5mJO5sWcTDAns5iTEXMyj+Nlf5iT+cOczIs5mTdzMi/mZN7MySzmZDZzMos5mc2cjDEn48zJGHMyaf9bZSk+3/3YOhpx3SmaN1M030zRbKZoLqZoNlM0F1M0zhRNMEXjTNEEUzTOFE10iuY8GUeoRh2qGXjsztioMzYDj92Rm8ehtxcjNy9GboKRm8XITTBysxi5ESM3xsiNGLkxRm7EyM3jON3FyM1m5MYYuXFGboyRmzyK123isZf7xGMvj4nH7nyOM58Tnc8ZeOyO66jjOgOP3ekdMb0jpncsrfnXr3jsF8M8b4Z5vhnmWQzzbIZ5LoZ5jGEeZ5gnOsyjvszubM/jvODNbM/FbM+L2R5ntieY7VnM9jizPcFsz+pszxGIHFEfMepjne0ZdPBO/ojJn8dJxMHkz2LyZzP5IyZ/jMkfZ/JHTP4Ykz95xnHUpnh+ODRh4RE2YeEdEzLGhJwxoeiY0ICFd2pInRoasPAOEalDRAMW3pkiMVNkaShfv8LCnRGjYMRoMWK0O2J0Ok9H4khMHBkTR1mprWzyvxhAEgNIxgCSM4AUHUBqbs/II6nzSINo3vEkdTxpEM07rSSmlU5JuN2fRPPG6Ywsk5hlOh/yCv2KP/+H0aZvRpsuRpuC0abHsdQ/jDb9MNr0YrTpxWjTYrRpMdpkjDY9Dq1+M9r0ZrRpM9q0GW3ajDY5o03OaFOecB3VF2T3qYlsP3V7I9s7B3UxB3UxBxXMQQVzUMEclJiDEnNQYg7qcTr2Yg5qMQdlzEEZc1CPo7SdOSjP3JFPgvspxZvgfkrxJrh3aEoMTT0I7i+Gpt4MTS2GpjZDU8bQVJ7ZvU79HI8zuzczVBczVJsZqosZKmeGKpihcmaoojNUZzbtiFSpI1UDQt8Jq8d538GE1WLCKpiwWkxYiQkrY8JKTFgZE1ZiwsqYsDImrJwJK2PC6vzB5ZqI+lOqNaJ+pWycJsl9a/lIZ6nTWQNR32GtB6LeGdYKhrVWh7XOFNKR3RKzW8bslpjdMma3nNktMbtlzG6dKjuSMFbw+9AE5y/XBOd30Esd9Brg/M59qXNf1t+9Y2APrP6LMbDFGNjjAPfNGNhmDMwZA8vj3SMdKIkJOuVdAfs7JBYMiQVDYsGQmBgSE0NiYkjMGBIzhsTOC9y928b50ifOf6eC8sT5OxNl0Ymy85uOgJkYMBMDZsaAmRgwO/PS5ZXxi/Ol5rkB57aqJ5nX1X8fI3AKreRwnIDDyKqJWbXHmQP/Mqv2L7NqP8yq/TCr9mJW7cWs2mJWbTGrZsyqGbNqf5hV+8Os2ptZtTezat/Mqr2ZVXszq7aZVdvMql3Mqm1m1Tazas6smjOrFsyqObNqXlm1T/Fc/s3z5qhmfZVkq5Sw5ukNf8M04/SG9it8M+f2zZzbxZzbxZzbizm3izm3izm3YM4tmHNbzLkFc27BnNtizi2Ycwvm3MScm5hzM+bcxJybmHMz5tzEnJuYc3sx5/Zizm0x57aYc9vMuS3m3BZzbsacmzHn5sy5GXNuxpybM+dmzLllCq6pcecPheYxER42j4noUNxmKG4zFOcMxTlDccFQnDMU5xWKm8dEhNs8JqIjc6rI3DwmIs4LrK6uA3WZ60tVvDJLHvOYiI7bBeN2wbidGLcT43bGuJ0YtxPjdsa43fndbWseE1FCdx8Hcf16TMSb2bxvZvPezOZ9M5u3mc27mM3bzOZdzOY5s3nBbJ4zmxedzTsjVGlG9dRRveMf1ddM7onJvYvJvReTexeTey8m94LJvcXkXjC5t5jc20zuBZN7i8m9YHJvMbknJveMyT0xuWdM7jmTe2Jyz5jcE5N7WYGuZlcgyLcY5NsM8i0G+TaDfMYgnzPIZwzyOYN8wSCfMcjnDPIZg3xeQb6s4c/TiGqODDE/VcxvHvTh582pgz46BJiiS0r3OYP4LIz3QR8dEXRGBIMRQWdEMDoiOA766MSgOjE4DvroAKEYILQOEI6DPjpPqM4TjoM+Ol4oxgvFeKExXijGC8/fXR8/WpNfS1HPH/+sZr8c9BHMIi5mETeziMEs4mIWcTOLKGYRjVlEZxZRzCIas4g5R0pFPfvrz43Tn/6dVDQmFZ1JxWBS0ZhUdCYVo5OK6mvjDi6qg4u6vV6dYxRzjNY5xnEKSsca1bHGcQpKpxzVKcdxCkqHHsXQo3XocZyC0hlIMQOZqmFonoJS2nXJR+7PU1DUT+POT4r5Sev8ZHtmR5xSjFOmLpjCb/Z9n2f1y/kqfxi2fDNs+WbY8pthy82w5WbY8mLY0hm2dIYto8KWaTaoreXzeDXqqiimGMX8ZhTzYhTzYhTzxSjmxSjmxSjmi1HMYBQzGMVcjGIGo5jBKOZiFFOMYopRTGMUU4xiilFMYxTzxSjmYhRzMYq5GcVcjGIuRjE3o5jGKKYxiumMYhqjmMYopjOKaYxiGqOYntd3fe88VGiecnNq/sbSd25zM7fpzG06c5vB3KYzt+nMbUblNucpN9FHMzhSnapU5zzl5jQIfcpNZz5Vmc95yk3k/WSPRKiYCA0mQsVEqJgINSZCxUSomAg1JkLPR7Yt5ik3pwXoSXTJ789Tbi7GR1+Mjwbjo4vx0WB8dDE+uhkfFeOjxvioGB81xkfPDn+qzbqu7jTpYpp0M01qTJM606TGNKkzTRpMkxrTpM40qTFN6kyTRqVJC3SgDJeqr7o7a6rKms4Dgk552QcEdRJVTKI6k6jRSdRxQFAHU9XB1HFAUOdUxZyqdU51HBDUsVV1bHUcENQpVjHFakyxiinWc20st3lA0CkR+4Cgkv2fBwQZI6/OyGt05FX9Eu4ErDoBq34JdyBWDMRaB2LHwUSdjxXzsXntR8kTn4c6pUufzlPSfU6cSqt/Hlt0MVsbzNYGs7WL2VoxWytma43Z2sVs7WK21pitNWZrndlaY7bWmK09cpJHyQ3nu6F51FInb53JW6/kbUfoMohbx77MXK4qlzvPZTrbRJ/L1KldVWp3nssUucrYI9MrZnrFTO/jXCZjptcr05tPuiO+6j90J37Vid/sDzUDwOoA8DgAqvPAjwOg/j4Nb0Scn/enpgCfvOw9BXieFvXN8PA3w8PfDA9fDA9fDA9fDA8Hw8PB8HAwPCyGh8XwsBgefjE8/GJ4+MXw8GJ4eDE8vBkeXgwPb4aHF8PDi+HhxfCwMTxsDA87w8PG8LAzPGwMDxvDw5k0zhlBHTy1Dhn8efDUZrR4M1q8GS12Roud0eJgtNgZLQ5Gi53RYme02CtanIaiMyJLYb/YjxU8VgePa943c8hiDrlCy5rnfdUUQJVh1jzvy84bW2iQDi1XpNnmeV81I7BKONs876sTzsGEczDhHEw4iwlnMeFsTDiLCWdjwllMOIsJ54xDh+Z5Xx14NgaejYHn84dKUa81e5w8ZbfunbV86d75w+uvJeSX874Ws9Ob2enF7PRmdnoxO72ZnTZmp53ZaWN22pmdNman0/yYYrWl1pTqdNHH1knD5fraQWtn0DoYtHYGrYNBa2fQOjpofVYps5m7VueuT+NumjFsMYZtHcM+3hX7mqlsMZVtncoeB6l1SFsd0h4HqXVmW53ZHgepdYRbjHCLEW5jhFuMcBsj3GKE+zzn0nILKN2o0ROodp8HqcU4Pep8+TxILXdPm+FwMRxuHQ7/Kr/ayIqLWXHrrHiZAmd0XIyOp9cjNM9zK72unGKhX89zezFn/mLO/M2c+WLOfDFnvpkzX8yZb+bMjTlzY87cmTM35sw9PdNtyND50jQwBKZ5YF2n0DdT6BdT6M4UujOFHkyhO1PowRT6YgrdmUJ3ptCDKXRnCj0qhZ4zzfMkU+w6FrQ7o67OqOe79TUj62Jkvc6R0zxkr5Qxq7i75iF7Z1vsQ/Y63y7m24P59mC+fTHfLubbxXy7Md8u5tuN+XZnvl3Mt4v5dmO+Xcy3Z1Q+utI6X2qeudfpd2P63Zh+90q/zzP3wm2eudfZ+MzVZ3OVQ7SzpfYBJCUrZcqnZKV85M7VP87cc+bqg7l6Z64+mKtfnasvAtiM2atj9slX1Ezdi6l769T9l9+tWIXwxRC+MYQvhvCNIXwxhG8M4XuF8HN9U2XyrT+FO6Kf4f/UZCorFJpnDJZUkhyn0kbykTver4r315k1ZrcKkccKdvj/cSDhZvjfGf53hv+j0v69Y9gtDlhWIXFrPckCyA3ka5ICRFKAkRQQJAWIpACRFGAkBYikAJEUcKp3j2IEHotLaB6x2ByBg0KoBj/RNdXCZ91TPfs4YrG69AkdsPPd7E7P73aj/fn2QBKISIJNJMEmkmATSbCJJHAiCZxIAieSIOMU2SxbhjCyWba0YmWzXL3vOgdWVci/cAZBnEEQZxDEGQRxBiLOQMQZGHEGIs7AiDMQcQZGnIGIMxBxBiLOQMQZGHEGRpyBEWdw/m41gHX+ZHZ8df5kaJ5deSdhzklz7vPsyuqt8nfd/Xl2ZeIIwU0wchNEboKRmyByE4zcBJGbkAi70Dwzs0rxjClU7V1dUujXMzODzIUgc2GRuRBkLiwyF0TmgshcMDIXROaCkbkgMheMzAUjc8HIXHAyF4zMBS/IQp3abH4XVHU4ZwwPySEyqLz0A9CQJIjQPDK0KigVzUHzyNCqZDKi6h3Vk03Wg5r1MI4MbfSDCv1QnEv3e3cu/bLAEGowhPqhbk7E4/RRIyfCyInw4kSUg6awEcVMnRQJFUVinmta20Sea9qMiTMCcL9zaRM5YUROGJETRuSEETmRB9mE5omptQQlBqCWoAQb1BJUU6HQHfy/r/a/34j7aq9kcLQfo9gWXyNFHW03KtRFUsk0yRfnNLh6J/8+K4Aw/g9BGP9DEMY/BGF8E4RxEYQRBGGIIIz/RRDGvwRh/EsQxg9BGD8EYbwIwngRhLEIwlgEYRhBGEYQxn8IwvhDEMYfgjDeBGG8CcJ4E4SxCcLYBGFsgjCcIAwnCCNzDKvIC3mQnObJtJ8o1Q1x6A3mH1IzvknN+CY14yI14yI14yI1I0jNCFIzgtSMIDVDpGaI1AyRmiFSM35IzXiRmvEiNWORmrFIzVikZhipGUZqhpGaYaRmvEnN2KRmbFIznNQMJzXjfHIrz+mrc/nO06gw9sr4bI6B14cm0R96EzcuEjeCxI0gcUMkbojEDZG4sUjcMBI3jMQNT/fMNc+tfX0+q14umsfxOLf2X/I4/kMexw95HH/I43iRx/Emj2ORx7HJ4zDyOHKh3UfN6ePjNA/XbTzHP8RzvInn+Cae4008xzfxHJt4jot4jk08x0U8hxPPEcRzOPEc0XiOs4UZaB1qWsc41LfhHSK845vwjh/COy7CO16Ed1yEd7wI7wjCOxbhHUF4xyK8IwjvWIR3iPAOI7xDhHcY4R0ivMMI73gR3vEmvGMR3rEJ71iEd2zCO4zwDie8wwjvcMI7jPCOc3lHVKD6rlDu84HjvMA6HzjC5/nADf7YBH9cBH84wR9B8IcT/BEN/hjnAzcHRM0BGecDNxZEjQUZ5wM3JUSkhAQpIYuUEJESYqSEiJQQIyXESAnxNHmseT7w9TdKdp8P/MosVZ8zef16PvCbSJFvIkV+iBTZRIpcRIq8iBRxIkWCSJHVSJGTwTAQRkTCiJEwcpEw8iJh5E3CSJAwskgY2SSMBAkji4SRTcKISBgxEkachBGRMGIkjGSuf5WJ4nx3aR6e3PyRRf7IJn/kIn/EyB9x8keC/BEjf8TJH4nmj6jvoxtHosaRjKOVm06ippOMo5UbViLCSpywkiCsZDWsZByt3OwSkV1iDSsZRys3ykREmRhRJiLKxIgyOR/ZPr9b+u3+qzLeRytfeRJhfre5J4+jlYPck0XuySb35CL3ROSeGLknTu5JNPfE+lO4MSgiBsWIQXFiUIIYlNUYFPWHclNRRCqKNQZlnA7dkBQRkmINSRmnQzczRWSmGJkp5x8rNE+HXmHzdOjPJ3ifDt2Alft0aPVj3bwVkbdi5K2cDuBvDxn9hz74lXHQdNNYHgdN/0sayw9pLC/SWBZpLEYayx/SWP6QxvImjeVNGssmjWWTxuKksRwv2VnT4+jGeXjxffx1s1q+yWr5JqvlIqvlIqvlIqslyGoJslqCrBaR1SKyWkRWy4uslhdZLYuslkVWyyKrxchqMbJajKwWI6tlk9WyyWpxslqcrJbzoazWnuN8afPo7JXbZMK4Tz/YR2c35yXIeQlyXkTOi8h5ETkvRs6LZQJkz6OzX0mtfB6d/SYF5psUmE0KzEUKjJMCE02BOWkWAxRGhMJchMK8CIW5CIV5EQoThMIsQmGCUJhFKIwIhTFCYUQojBEKswiF2YTCLEJhNqEwRiiMEwpjhMI4oTBGKMz5pdMR1FWXHUGfHH46gj45vAkyToJMkCDjJMhEE2TGyeENlFEDZcbJ4c2XUfNlxsnhjZsRcTMibsaImxFxM+dDuSzmyeGnbv/vk8ODMJpFGM0mjEaE0RhhNEkEX6fYPk/1ZtMY2TRONk2QTWNk0zjZNNFsGvUbe6Nq1KiacYBBk2vU5Jpx2nmDbESQjTW5Zpx23lwbkWtzZirbbZ52fko1nHaufqgbgiNCcD7/zVfUYbh2vtSvJ6W/icjZROSc5352ST/D1kHMuUjMuUjMCRJzgsQckZgjEnMWiTmLxJxFYo6RmGMk5hiJOU5ijpOYc17vAV3L87iZ5Zrnt5/9qM9vXzlLz/Pbm7Yj0nZE2s7j/PYgbWeRtiPSdoy0HSNtx0nbMdJ2TgsSUYCE893QPCh+ZVFwXv6N5lGjecYx8k3qUZN6xjHyDe5Rg3vU3705Po9D5oMcH5HjY+T4nBPpk03+OQDr86XmAfXLB1Lb8+X/93n1/yED6D9kAP0hA+gPGUBvMoDeZABtMoA2GUBOBlBeBTldWilz7FM1ry8Sgv4hIegfEoK+SQj6JiHoh4SgbxKCvkkIukgIukgIepEQdJEQdJEQFCQEBQlBi4SgICEoSAgSCUEiIchICBIJQSIh6IeEoB8Sgl4kBL1ICHqTEPQiIehFQtAiIWiRELRJCFokBC0SgjYJQYuEoEVCkJEQZCQEOQlBRkKQkRDkJAQZCUG5BKwMvuaes9Sh2ckPepMf9CY/aJMftMkPusgP2uQHbfKDnPwgJz8oyA9y8oOc/KAgP8jJD/LiB6VO8mkj/bztnlH8pgup6ELnM0p9KPKM0wd7SMUeOp9RJh/P214GvSYTJacpyjp1nmQcI4o/uEUXuUUXuUVBblGQW7TILQpyi4LcIpFbJHKLjNwikVskcouM3CKRWyRyixa5RYvcIiO3yMgtcnKLjNyipBqdZ1XW1fX5CMt3clONnFQjL6rR11cfu/1JOH/1Iak38ygBSTmXTCfoLmDCg4gkEpFEItI3iUg/JCJ9k4j0QyLSRSLSi0Ski0SkF4lIQSLSIhEpSERaJCKJRCQjEUkkIhmJSC8Skd4kIr1IRHqTiLRIRNokIi0SkTaJSBeJSItEpE0i0iIRaZOIZCQiOYlIRiKSk4gUJCIZiUhOIpKRiORFREqt6fzueZ9zzbl5SSkE5ng0u7VznHqtOTdNaZOmdJGmtElTukhTctKUgjQlJ00pSFNapCk5aUpBmpKTphRNUzp9pWvCldRwpVML+NdkLYmsJWvW0imU8ncTvaRGLyU852uSmEQSkzWJ6XgO83cTzKQGM50wXv5ucppETlOQ07TIaQpymhY5TSKnychpEjlNRk6Tk9MkcpqMnCaR05SMpxgEr8/Q9j6rYVCcjBQnJ8XJSHHyojjdQIIDddJ9iHUznlLYzklrmhzW+cxKPanhaZ1wUEAoNRCqxi2TDyXyoRb5UJt8qIt8qEU+1CYf6iIfysiHcvKhgnwoIx/KyYeK5kOpr8kbF6XGRamvyZseJdKjnPSoID1qkR7lpEcF6VGr6VGntHdNmJQIk7KGSWUN9zXZUiJbysiW8mZLJc9KEzUloqasUVNftTcM8pRInsopx7r9xBNEJYKojCAqJ4hKBFEZQVReIKqctJ2Hior/CpiqHLbkeLS04rD2BukeYuZDNdNKzbTqpMhAXKkRV1/VFA3ilUi8MhKvvIlXX33C3Q3AEgFYRgBWDmpy1Jg04s/b3q+oJ4Bp8WhalpqW1eiEAc8S4Vn/EJ71TXjWN+FZP4RnXYRnXYRnvQjPCsKzgvCsRXiWCM8S4VlGeNYP4VkvwrNehGe9Cc96EZ71IjzrTXjWIjxrEZ61Cc9ahGctwrM24VlGeJYRnuWEZxnhWUZ4Voryq8S7+vPnrfsiWutNtNYmWmsTrXURrbWJ1tpEa11EaznRWk60VhCt5URrOdFaQbSWE63lRGtFobXSxnmeRvSpuwBvqcBbafI8TyMyDvnAcqmwXKXlKSld5wQCQrtEaNdFaFcQ2hWEdi1Cu4LQriC0axHaJUK7RGiXEdolQrtEaJcR2iVCu0RolxHatQjtMkK7jNAuJ7TLCO0yQrvO1b68NqfzUHeM9XwZRZAA4cuL8PU1irOdjWD5nYr/peJ/VX2kxIF9VSk26GAiHUykg71IB3uTDrZIB9ukgy3SwTbpYBfpYEY6mJMOZqSDOelgUXSwdBue312nO84VsNlhIjtskx12kR3mZIcF2WFOdliQHbbIDnOyw4LsMCc7LMgOW80Oy21cEyWmRonlKvA1yWIiWcyaLHbej/zdJg8VaOxktu1rcsdE7piROxbkji1yx0TumJE7JnLHjNwxJ3dM5I4ZuWMid8zIHTutQCQeI0eZpyGqezAboroHb0iZEVLmBSn7Ut+SH2aZ+pa8EWYqhFllXpVEs+6OBuBMDTgbOLTmnYm8MyfvLMg7W807y6oN+DMRf2aNP8ua7mvS0EQampGG5segsU6JZV+Eo4lwNCMczQuOlnY7K1aa9Tt5o9NU6LSvmzuXxXa9kzdYTQ1WU7+TN2dNzVmz/u6NXROxay9i1xaxa4vYtU3smhG7ZsSueQ0hPjdDFZ1FYduksG1S2JwUNieFLUhhc1LYnBS2KApbDhrPI0cunweO1ow2FaPtq/rURLadspcEN5HgFiS4BQluIsFNJLgZCW4iwU0kuBkJbiLBTSS4GQluRoLb+QSXF8/Jj1UsDSTn9Z6tvO6lnmgnm6cm2gmoaBicEwYXDYPLbgNsODUbLh0GXxMVJ6LijKg4ERVnRMWJqLhDWDnrZL3AXCd7saiJdp4jUSPs8wJ7Zp3nSDR1zos6l2aAhtCdNtS/JpNOZNKJTDqRSfdDJt0PmXQ/ZNK9yKR7kUn3IpNukUm3yKRbZNIZmXRGJp2RSfcmk+5NJt2bTLpNJt0mk+4ik26TSXeRSbfJpNtk0m0y6ZxMOieTLsikczLpgkw6J5POyaTzYtJ9di7LRFTOrC33oSLWqYl1J4udRWcC7NLOkxNtP9bemmh70e7Omu0P2t1F2t1F2t1F2l2Qdhek3S3S7oK0u0XaXZB2F6TdBWl3Iu1OpN0ZaXci7c5Iu3PS7kTanUi7M9LuRNqdkXYn0u5E2l2i8dbNCpnwu0X43SL8bhF+Z4TfGeF3TvidEX7nhN8Z4XdG+J0V/E517l2y8KpLmmi8IuVlzZ6ggbA6hAjgPCc4zwnO8wLnpbr3+Ws18C1fZGH11Fi98uhOyl4eH5bj4KO79jhYheSLGjIDySci+UQkn4jk20TyXUTybSL5LiL5NpF8F5F8TiRfEMnnRPIFkXxOJF80ku+sYbJJ6FMT+g4kRZrAPjWw7yuF48nvE/l9QX7fIr8vyO9b5PcF+X2L/D6R32fk94n8PiO/z8nvE/l9Rn6fk98n8vuM/D6R32fk94n8viQDrkLsnx9eH1N9FVVN9zPS/Zx0PyPdz0n3M9L9vOh+idk7j5zTwxruFPtPzf5T31Y3CjChKjlMzHFGTQ9V3EBr35TdU7z8u40RVGME67jgSRVUUwUrzTIhgyJkUIQMGiGDTsigCBk0QgadkEERMmiEDPp5GqsjB2b33CrFh8/n2+9GD30qulqAQjWgUP1u3LxCNa9Q/W7c+EIRX/gmvvBNfOE38YWb+MJNfOFFfOEmvvAivtCJL3TiC4P4Qie+MApfmPak81A5bvCcxxXcUA03PBt7GiayPxNZhxdZhxdZhy+yDoOswyDrcJF1GGQdLrION1mHQdZhkHW4yDoMsg4XWYci61BkHRpZhyLr0Mg6dLIORdahyDo0sg5F1mFiE9cIiw704SL6cBF9uIk+NKIPjehDJ/rQiD50og+D6EMj+tCIPnSiD43oQy/0Yb/aJCE2iWqAEVVgxJYUk5OoUv8GNjExkTmbyD99Kqj2ITRU0QlVdEIVo6CKX3XUkt0ThHzOjVxUIxfrYKJJYBQJjFYExu6N7R43qOiNjZkvPuNXnaY8cI0irlHENYq4xnPVLffW5+0W9ouOVzpYEOa4CHMMwhwXYY6bMEcR5miEOYowRyPM0QlzFGGORpijnz0opfuiFqyvNqRN1KMR9ehEPRpRj07UYxTqMWvT81ApoZ9r4wZBqkGQ6mvj5kKKXEgrLmTODM6zqqFxMSXrWK2mRqqvjRsiqYZIloo6mZJqpmSdODERkyJi8jiwIsqgfEbG3rPWAlCq/9DNo1TzKNV/6MZTinjKc3mUHltbe9EqL9Iqg7TKIK1ykVYp0ipFWqWRVinSKo20yqMOnPW5T1ZreOUivNIIrzTCK53wSiO80giv9IJX1mpeLMsiZ0+0pQptmfPB/N1xetsAX4rgSy/w5QC7tmqaZPHGYqqwmGUwMbtVUz2gmSI0U4RmGqGZXtDMeu+Koal+5BupqUZq3r98EzZFwubfP3TLhp+r45YNDz+rZUN9Ecd5Ecd5Ecd5Ecd5EccZxHEGcZxBHGcQxyniOEUcp4jjFHGcizjORRznIo5zEcdpxHEacZxOHKcRx+nEcRpxnE4cpxHHacRxGnGcifJMcS9TIKXm5V6glav6F9mdTnank93pZHd6sTsTdHByYFFEBdkke6rJnrkjaYI+1aDPr/IDDO5nAkajlOPzJKNainzkForOQ51jS/RghorMUJEZKjJDRWaokRnqZIYamaFOZqiRGepkhhqZoSexUcrJeb0tlVRwJ7WREhDWnWfxW1g4H8qNH1XjRwvQMGmkahrplxfN64aTquGkXz1yuFmlIqt0kVW6yCrdZJUusko3WaVGVqmRVepklRpZpU5WqZFV6uc5r5q0nYfKFi81/nOn9JGxDTZ1gk2dYNMg2NQJNo1ilaYCeYyl2Wqd44Ru7Kkae1p2w0lBFSmo1hTUOn5zQlFFKKoVFLXWbPe7L1PhVvsgv0Kmpn6jSVBVE1TTv/w1gaoiUFUEqopAVSNQVQSqnhdYTU2qdh637cTvBiGRkNURVJ0QDa3xyWZVs1kTkmIT1SqiWq1RrUm40SS3iuTWo6NWaZoHq1Utmq7+e8JJrquT6xoFcq2MuvtduemgWpv6qqa+pvajCYEVIbBGCKwIgRUhsPZ55CqoEvtQJVPm3+N+1//uJ1WNZFq/AbIiQNYJkHUCZJ0AWSdA9tA7qirQAchWVVDxuKwKKqSYVUFFRdch7NWhv9Gn/4JFK7JoRRatyKIVWbQii1Zk0RpZtCKL1siiFVm0diSdqH7+81B1h6YtoW7JMx/vSyWJenVtfPgDA2v7/37v//v/ATcnWGwnVAEA"
s = decompress(b64decode(s)).decode()
n = int(input())
d = 1
i = 0
l = len(s)
v = [[] for _ in range(20)]
a = [0,0,1,1,2,3,4,5,6,6,7,7,8,9,9]
while i < l:
if s[i] == '|' or s[i] == '\n':
d += 1
i += 1
else:
tmp = [0 for _ in range(15)]
for j in range(i,i+15):
tmp[j-i] = ord(s[j])-ord('0')
# print(tmp)
v[d].append(tmp)
i += 15
INF = 8888888888888888888
ans = INF
sn = str(n)
nd = len(sn)
def calcmx(cur, c):
res = cur
for i in range(14,-1,-1):
for _ in range(c[i]):
res = res * 10 + a[i]
return res
def f(sc, c):
if c[0]+c[1] == sc:
return INF
if nd < sc:
fnz = 0
for i in range(2,15):
if c[i] > 0:
fnz = i
break
tmp = a[fnz]
for i in range(15):
num = c[i] if i != fnz else c[i]-1
for _ in range(num):
tmp = tmp * 10 + a[i]
return tmp
else:
mx = calcmx(0, c)
if mx < n:
return INF
cp = c[:]
cur = 0
for i in range(sc):
ni = ord(sn[i]) - ord('0')
for j in range(15):
if cp[j] == 0 or ni > a[j]:
continue
if ni < a[j]:
cur = cur*10 + a[j]
cp[j] -= 1
for k in range(15):
for _ in range(cp[k]):
cur = cur * 10 + a[k]
return cur
else:
cp[j] -= 1
pre = cur
cur = cur * 10 + a[j]
tmp = calcmx(cur, cp)
if tmp < n:
cur = pre
cp[j] += 1
else:
break
return cur
for c in v[nd]:
ans = min(ans, f(nd,c))
if nd+1 < 20:
for c in v[nd+1]:
ans = min(ans, f(nd+1,c))
print(ans)
apricity