-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathproblem94.fact
1 lines (1 loc) · 8.31 KB
/
problem94.fact
1
0eNrtXdtuHEly/RcC+2KTu5UReRXGBubFz96BHjQwBgJF9Ywa5g3NpuzBgB/gD/GP+UvcTWrYzc6KzjipJqVY1i6wWPESrI7biYiMOvnH0Yfz29n1Yn65PHrzx9H87Ory5ujNf/xxdDP/7fL0fP215e/Xs6M3R/Pl7OLo+Ojy9GL9r5ur89PFyfXp5ez86O74aH75cfbfR2/c3S/HR7PL5Xw5nz2Iuf/H7+8vby8+zBarHxgVcHx0fXWz+p2ry/XfW8k58X8Nx0e/r/5PdH8Nd3fHlSBSCnItQawT1JTjdXKaHyzo5KSWnKj8XENLUFIK4pagrBQUW4KKUlBpCXKDThJRUxLs2CELkmDPFiWhri0KQn1bFIQ6tygI9m5REuzeoiTYv0VJsINLkgh2cFES7uBBkIQ7uCQJdnBJEOzgkiDYwSVBuINLknAHlyThDi5Jwh1ckMS4g0uSNg6+uPpwdX21WI6IyV+E+FERBMcICQ/DcIxIkjwaI5KgLde+/XCzPL3/5TpE/pQyKiOi4SE9TILDQ5KU4fCQJBU4PARJflCpep2SZV37jT+fX/02v1nOz07OPs1ulqvnurmZf56dXC+uPs8/rn62lhyaj0iS9Jvl1eL0t1ktlJu28IzGjy+CJI/GjygpgPEjCoogxoiCEhhEoqCMBpEoqaBBJEkKAxpEoiSHYowoiVCMESUpHXwTf6KkLQdfzmbnD8E34uD5UVIUJAU46CRJEQ46SVJCg04SlNGgkwQVNOgEQXGAg06S5OCgkyQRHHSSpC0Hvzg9Pz+Znc/OlosVOFxfnc/GIKwp0cPuyYKkALunJCmi7ikJSqh7SoIy6p6SoAK7pyApDbB7SpIc7J6SJIIxQZK0cfSL2cf57UXT0zeq94JID4rk2BS5cfmPs7N1rXdydnXxYX55uirSRtyMtsQdH32cL1Z///7bq2+cXV0uF1fn7z/MPp1+nq9+ffU7X4S+X33v472gm/VXf50vbpbvq/nx5/lieXt6vjVCvv+Jk39fz4/XY+fl6XoGPaz/cXF9urh/xjdH/7L6havb5fUtLvL699WT3V4u3/+6uLp4P79cyTh68+vp+c3s7uFPXj58vvunduv/+W0xm11uz63nH1daXAXX2Xxxdjtf3v+b7n65G9V2BA3oN64vNKVpkyD+1NBeC/IG7klpw1/n58vZQpj5NxR8uzaY25r+HwMy/m1LxhoVvwih9RHC/Ob9+pEfbDVuqsXsY8tQbkuj998vu98XDLnJpqeL+fLTxey+vdFEDiu1vpF7gOC5ma1lvMc0f3U9Wzw0lm+O/tIXY3eAadLarOPhVerwOj4iORyD0oqlL/nRd5T8/u9//vfA6W+5uJ19I7uVRnRmnV3zgNWYboO8g3Aw5UCJj/UYJ0EiQb63PoS4Fxdf0vf48MA7HM7zMu+611N3ybF2ly/up5DmGtIkjM+MQsOjbdOubePzQsPQAw28Cw3/3OcFiKGpYWi/37KkTBseDPLyJMi7/VZ8Ht08fT0yf3iIUSGxL8+E7yjP/GuHh/EB8ww1MkOC3E9MHGAlv+V+Xpk4uip53qrCT0rZ3uQBdBiVPp+xGOQN0Eo7JQWU+NhykRzVo+VLGfb7Sam+0HCs4vd/3w1uf2J0A7UkKHNRGVBU+zMtUXzhhufdFqptcgp9PWh9OD89+08ZuEZ9IpdGzVuUvUoBK1A/9Lrx6pF33FAZu4W6fSR8Fz7ivt5H3MH9QxugcNnJ+Rsp340qP379wCGCyi+E9afqWPXwdGj4Ygv/wrZ429MCfEmEXx8tb6E2YFf9JA4etqNqRJBzXmlIcDo+gBF1kOI5Pi2e+QBN+qOBOwpoVRbbLVR2Syfaa7+iNV+E43BT/O1Y0D9vHP48mhP5aYj9U18fhFmqKkJzq4SExiyjPz5qvAQbL3xXxqOvNx6hxsuYKZLSFPhph/9Gpnj33ZgiNnq71Aqr9DxhVVBbrldx7y1J33A8+WQ49LVlx8+gLd0AHmS4YdDNfO5/ECzb3T+aOd6h5nAOrNtLa0zitOZysLn4H81cb2Fz8VdHz3Fd3o/bp38EQd/jCOLkexhBuEFZb99PEzvVz9/jlLBH/f/1ab6cHd4EQWsC3z0Hotc6B6rG5HQ4c3ROEMj4BOFLFBxuglCdVNQg7kEjOnVa+5o5Ar9o/8M98zw6xCzvHTbLi42BUNbO+lqN1r5GatwvSC4v0lc0wi/rCNTjCO8O4Qg/Y46QtIYeaXGPtdMP2NAZStuPLfIwbWftaZp3AtOBg8PGdmAlT+7i+mcgblrREqyTkQl+9eNOzu/KlWy3RdWhidnHOcoUs/smK7sxhk2Yd+W5ljwxZp3rHpRNMStZBzp1q37c7YHqQRu02Br04zRtCtp987WdIKMBC9rGJnQlTw5a7h6XTkErWYewoCV90Dpt0PbvtzgL+y2Pw4sX3m/x+lYogLMOylrbht7a2OUXDtmfn+uEg+ETjtZhLgUsaKPWWrGrT12vjk/b/WIrslujhq9qbWR0TL0l7YuH2rvvJ9RCy1oFK3bUiTF3tZdTqO3tII73J1KwI5FDrfQWoi8eam8NoRo28yFtU0hDV1M4hdreur+RJ8E+Qgw1cr1vcLki8d0S9CKkK+NSWCUl+P1SPPaWHj3ybbj4nG/pvdt6S486+TZ+3n7Tz23xbSBC3o4LYfFtQaFh0Z6wE3bCvuEYdPHuGdPDT4dPD7PPs8Xvy0/zy98OmCc4yF0m+eYRutpKsS+lvyjdwU+Hn/P9/ZCmag3nWT9AWJt9L1aj2F/9AJPWNRLmGhFMpwdxjb8/dQ13ANd4d0DXoKi2fJfhoNkStSTKtUPuc4Vk3BXefhtXcL51cNDMAs3FRUqtE0Xt+e4WJThKnubAV6CrVROC09+QlD7PQ3dr6icqMbyo4QiOzll7LLLFDw/VOOEb0onRTvb64cA1Ds6leB8QyFRBOytn6gOXYBxcfv5GdUYLO9ijdYY6pcLHzv6RiNe97PuKbzU78D2vIfyITvv2mGPEE5iyqH0PrryDqj9InL17Gmfly3/yAdr0nw6cDluDPGbowEOfLwM46Xrko3JsiVmWhs5J10+jD8IILVYFds2T49r8Ub3goTd957SGJ2LUZ6tCW685sPZ0heFj55NNih5eFB1np2efenqOH3d7jh966tqHvw5m69bSe2rOVFMQLQfzMGxuKnhhy/04/nbrzjHm3w5b2IwGIbQOQOxF5cNHyMN3rfu/vIDuG0MS8u20p6QocR4eo9BrDw1PUGh4sd/y+G7+BChKQPHUApTmCDYPouFgugT/2nOabxTsFIaWPbx2oOjhOUZ89TktQDktyKEB77inKadpc1po5LTcLJKzWCR7eIE9v/qcxq2clps5Tcul4GEuBeemwNIGVuskvk00U2TLwXMDN7x6OMoYHIlDdQ+3/o5efVprnEBRjM20pp2Yeng64PxrD47goOC4t9ao8gPc+7swYYoSU0Jr67BwE1Nky8GTAxdffVpr8KBQak7VgvasIMADgs2tNFNktSKrtX5XWtUaDWL/GvBryPKrByRoBeIhzsaVDw8P6NUfFoRWE5qbC0JBu3Ie8Jfcp4m1Oq01Nn5p4GZaE6c7AR4f0Ks/5wkQk/xDnI0rH54A0Ks/LwiNvQ0qzfOCoH3JKsBDAnr1BwYR4kZ6sNa48nFSwenEQIspcWhhSrNUdmLYRHx14NUfGYTWakdpHhkE7Ys/sYP6b4osbWQ1yOPINas1J453In4dw6s/MoiMAZJ4ZBBx8r1Xf2QQG8v2PIRWWova7Y6I39QwTa3VaS220lqzYCDZcvD4gF/9YU+EyL5ZngDEiN8x8+rTWuMlEnbNhZuoXfCIOKvddGSgTmuN1wuoSdlCJEdWxq8OevVpDXq94CHOxpVfcE7dV5/WGk0oU/MkNGrfL0jwkMC/+sFzIuyVYvE8Lbn+C5gmTGlgSqIWpjRLZRanoon6b0x6rWktDa201pytJW0TmniHrfH89OJ65D3Cx1yWMSYdYhb/NMikuHmG8uczHOaF8uEJY+GQUuF4T/DT9Wq5eyKNs3c0MHW+Yk5PhJVhGFxJjrZeNkek8fYL60Pi5F1e81l+EeYhYf7Jo7mUQyl+S1qApIWnNig+OWa/kRYhaXH79X7nVwFTtoUlSFh68mghuFzI5w1pQIak5SfSIruQPa0PCb9IK5C08kQarf4bOG9JW6dQQNyPox91I82BJJ7qtzdT0KUhV6WhKgX8+fcesaD3MhCZWuCHo7uvUkOFsCz2ZCnqFDO8jGLcQRVDLJ4cpKT63INFfyAvx0FWfWzXjcbijYepYGjsJjCewHgCY0NgrH7tOA+qJEQmsdg3XmcgL2Jxdiq9sEko9iIUZ1J9bG8TipP4sXWdceiFYi9CcQYb4zBB8QTFExRbgmLtYWrW9cXRJhQ33n+iIJ6WZV1bnExCcRDPQbKuKy69mBTk2kfXmGaTRUCQax+wKy4TFE9QPEGxJSjWMjwUXVfsnE3MEbuRout63WCzBmntiUbZIXR9sTM5J6EolgKFwUkxT6A4geIEioZAUc0PUrwuB3JvRxLF9ZGia41dMInHSdyoKrrW15mcx1aeV+OxXKjommOXen0xyb6oPLY1OaehJI5hCnponKZSYCoFplLAUimg5NShQdkfZ5u41FqSTklUjLKBLjYLlSx+bl1/TN3LTKmIfxpsUWnaZppwacIlU7gUtLika1HJ5iqpeLcHDbr+mGyucYXGFQKUo6gYXQNNNve4MoufW9cfk81FriwXA7rmnLo3ubJc+oH9MU2rXFMdMtUhpuoQJYsZOeVWtc2dpeLFz61rf8nmDltoEXIUEY+dsj+2uVNVgvi5ufde6QkUJ1CcQNEAKGo58FY20uXA7o3WItbmTtcfs819riK2Q07X/rLNfa7YeL2LB9kXdf0xmxyY8CAXaLr+mHt3OHgQRzEO7I95WiWbSoGpFDBVCihfdSLS9cdscp+LB7EOIeVbxTb3uaJv4bFYqJCuP2aTgwN2JH5u3YvH3LvHxk4cSRD45jFP+1wTHk94bAqPkxaPlf2xzX2u2KDkYifuNZGygTa5z8VOLlR0/bE3OThgEhcpSNcf+949NiY5BsH+2E97bBMeT3hsCY+1TL3Euv7Y29znSq25LYlDRNY10N7kPheL1zUQK3m5vE08FucCjFJWRwyPXeJd5xP5zYk3HfPF7OP89uJkdr76K4v52cn11fls32Ml8bHGSME57waI9EQolW56VregA+eJUHHnioU6o9y5z6sJPrAmYqUJsXTnBGoiPqsm4sFZhHfjVZxwcQaj43k1EQ6siVBpQs4TBaMahrNorp5FhHA/YGzPpoziq/sbRBZm8g5TxPNmLH9gRQw7inDyS3OeQFx1fbDqG++bO9bud3rGWHNt+XCVWLysCI/R5JrCGl9hjRczrA+YR5gqxPJQESeLoOsj5hGm6rBcXX3txVUbnzAqZUvp3eWaSlsszX3GFGErWaYqR4hNvC8YyzRaheWqlxWJvikMIOaGTsxtXLLsPCt73eAwGlhTUBOqGVgQxxCBMEXYyrBVpxvE4iMwRphsKrEEX3mErAiPKcJS8bGy8m7KyGKGDQHjTIYzbJXtg1gIhYixKNvC/1yFqdjehYQpwlaYVj1CkL0zg5hbOjG3se/gvJZPIRSQB9cU1pSqrYli9REHkBnXlBfHamwlcgRTRDmCTbW6perwoliIRQKjw1ZJWiqfEFu8yCA1KAq8paqGRK5mih7karYVqtV0TqRNXf0sqAlTI+a46xOuyOk7oiNm7sTe0sLerMTemEDuV1tuXGWXKE7SYgbZf03l2TRUmhBL6VhAn7CFvVXvL2siDaBP2KpMq82HKGJvciAfsak8kWrglzUBnyOmviQfXGOoGbRDzcQgjzVcOFUTiyQiTvKgJ5kqF1JlpSJ7UgBpXG0hTrWtkcSZhfJOcmdzepPq6BCrEOUt5S6bnLIO1SwkiWdH2ovLi0XspaGaAOyJjgLSHoPpm4bqXEg2i/YqZ5sLRYOvWD9FVN26vFlXCFDnRlFo3CjlgvaNeOXFy2RzvlgtkLDM5628i5nYZnapepwsIk72oCZMVSH1tsKegEb5jW1FR3WGJBP7Ki/DJZOLZis770bHIGKv8n5cCt3YW5XJMs+08spcsjmsy9Wwbk/SKqAmbFUhqUrfYhNZ0BUr6tyxCrlVhWh5AArK32rKjUuNOLLxCGTwNYW99XFakX2CQZ8whTiu6vb2aMKDPmGqMnXVBEA+TlPex0gml5vI1cTOIvArb2gkm/Ox6hyC9/hEAuld0XrM1UlLLA4LumpFnbtWsXFXmIuDFnsLyFFrK7tUnjRInsTK2+XY5CyEq/kii/y9rLxOjgeb2Fv1vcMgaoLA6LBVj1UNlshlzQOD1MW2omM3yfs9PuFBTdiqQqqzqYFFTQQQ7rhzvSmGFtyxDu5YeTMXc3e5kCtPkhEngXy0prCXqum7k2Mqgwy1trJLqXzCi5oooCZMYS9VVcggzULYoWzNlrCXq5GeF2fOrLzfiE3Ox7jqe71I2MwOJWy2hL1cT4VIxA6HUjijQEa7Y0vvRFR1KEUVd67AxdbMOUZlIaC9m8XkrhVXVZx3IuJob2vJNrNLVY+J3OSsvZ7F5oYRVX2vkxEngz5hqQrhagJAJGuigJTEpqKjqtG9SM7MytszvM1FL6r6XidWIcr7NHz3/h3VSUt+GHT93HdunaUWj1VU8lix8voJb3LDaE2numM8EhGHPMi4ayu7xEoTsk8E0CdMYS9Xfe8en4igT5jCXqoWakXmW9ZeB2BzKkTVVEiuQgg9WPSdSz2pRZzEyneMmApoPFPlAtfs4WLhpKRV39A2B7Bc4JpNWsyzSirzzcN48KoJOZyVbOIbYtzwrB6RDuwRNRmtGM5afvHhZTRxaLCrSmkWhw/sQU34Z9XEj4dN8SOBWdMny3kDpVl/Xt2UA+vGq4mkWUmz7roTaHUQLlK+s5Lo/IUcNjy7UcTGU8lz7rqBJIp/uWAmeN7smZ+ZwnpPhlCSmrPJ5OmrEsvXTKMisChpzslkrTGiCLGd9IT5iKlSw1f5yovlJ8qebgpN6xsA9ijCY8zIphCsTp8iMzIr2dO9TRzJQLKMGEU0Wl/5qr7yMqYl7FnQskIkp2YlY3iyiaZlhOp59yuygxSM6tdW7sxqzmMOA+YjltC0VgTtUYTDPMJUfRXq+kpsg5S86KU3X4lUz6wkIi+dWZsrdngSSYZZyQWebdYUWc22zEou8GyypghJDxlKInI3mMSMEU3IGSKBhL2mCosRKvIqXESCaw4Z1I2p9jTW92uIda+W9HywiKi1l8gE16wlPedeSBVJnFnLMs69nVCsKos9eiCQR9kUqNYZVGSUZi3RN5lE1ej1+VLLMu5N1t2x9gmxW9eyjAeTqBrjCD3zLpmZnDki6CWmaq8RLnqxCtXSmQeb9UVdaYmNiZbOPJrMoRXN7r7oKCD7MVpfiFzHrOUPjyYhHXFHLX946q20Ul1piR1aIpBk11S+rDUh0g2zlhm8mETVRCMU1LtfETs0LVF5Nll7pariSGIVChOVmxqDV/EiUzGzkqiculeTUnVuk8TVJCVXONncTRpJY3JCz6BZYIgX+xItObfN7aRM+nypZQa3uZ5UXcrNtW7EK0M5O5BQ11TFURNvi9TCrKUgt7mglKvZThb7Ei0Fuc2dtYpkeR1BkiY8yOZrK4dmIE8EUBOmIH0kT4idiZaCvHtJqb5lOcvQhrKAo/WFyPnNWs5vm5sXpaYplPNlAYlxTdUX1TXBPKIbEVXLAHqJrfqiqCm1WUsubnJla02WfFzpRtIEgaTBplC1usZxX3QwqAlbqFrU9MmsJRfvXl8TyZJZy+bdu79G9SWERawulITabHNbqWQ9+a+SUJtNbuRwfbNZkZEjg5qwVV/U0VHRdQxih6alDbe5rTQMI7oZ14TX0oab3E1Zk/9qfcJracNt7iuVrKaI9lra8N41Mh7qUGXxYRh8GBDiZYJjr6XK9jazRO0RSdREAMlsTaFqdYmLH+R8GUFNWELVNYlv7RO7X8mibhIYL5aqUD+StLyoiQwS/VrCkjFNFFETBdSEqfqiojzeEx1aQvDevS2Z4NhrGbh7t5XY1WzLYnWhJcE2ua3kRzQRRE0wqAlT9UVFU7uyvKgJD1IX26ovAuATKLG3qfqiuo3M1/T5Tqy9lFTf3uSCkB/xErEeV1J9+8EmqhbAJzJIZgyjqljaaLm1e5fnuLpuZPVppYfR0lub3MjxtSbEqyW8lt7a5B5KTUC7sryoCQJJiU1hSU3+Xt/5QWKHBpN4m6o4RjQhx4sHmW5NoSqRmqbYa0m8Te5tcXVFwL7o2FRai6sPV9dXi+UIh1H54g/jIrZKlNsPq89w/5s1y+GDDDcuI6tkrGuAPUKKSsiapFMWsk2CvEfImkdkjxCHPMmq+hsVQsiTrIX8cnw0X84uVr/w4fx2dr2YX66N+Xm2uLn/ccrOJ19STG6IId7d/T+Yoz2R