{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","ready":true,"parity":{"LEAN":{"n":512,"mean_diff":2.3856583819537036e-08,"mean_abs_diff":2.467403068528995e-07,"max_abs_diff":4.991815103494446e-07,"within_1e-6":512,"within_1e-4":512,"worst_seeds":[{"seed":10010819,"ours":562.5080615008185,"engine":562.508062,"diff":-4.991815103494446e-07},{"seed":10011013,"ours":521.6151534991393,"engine":521.615153,"diff":4.991393325326499e-07},{"seed":10010840,"ours":434.1645114986087,"engine":434.164511,"diff":4.986086992175842e-07},{"seed":10010665,"ours":415.9616344978349,"engine":415.961634,"diff":4.97834889756632e-07},{"seed":10010868,"ours":419.2160744970788,"engine":419.216074,"diff":4.970788154423644e-07}]},"QLX5":{"n":512,"mean_diff":-1.7222758774693148e-09,"mean_abs_diff":2.5279466320249355e-07,"max_abs_diff":4.994752202946984e-07,"within_1e-6":512,"within_1e-4":512,"worst_seeds":[{"seed":10010679,"ours":430.2326974994752,"engine":430.232697,"diff":4.994752202946984e-07},{"seed":10010731,"ours":513.7523605005905,"engine":513.752361,"diff":-4.994094524590764e-07},{"seed":10010628,"ours":424.7176514989878,"engine":424.717651,"diff":4.989877879779669e-07},{"seed":10010588,"ours":482.5394355012557,"engine":482.539436,"diff":-4.987443276149861e-07},{"seed":10010911,"ours":499.16124850178534,"engine":499.161249,"diff":-4.982146606380411e-07}]}},"qlx5_minus_lean":{"yours":0.035185415827387545,"engine":0.035185,"engine_rounded_rows":0.03518544140624724},"split_hit_rate":{"tries":3655997,"hits":3256738,"rate":0.8907934005416306},"knobs":[{"name":"qlx","default":1,"meaning":"0 selects LEAN; 1 enables tracked QLX5 split rule"},{"name":"init_fee","default":2823606104386589,"meaning":"initial fees, WAD"},{"name":"sigma2","default":893025000000,"meaning":"variance per step, WAD"},{"name":"gap_cap","default":12,"meaning":"maximum silent-step truncations"},{"name":"rho","default":260000000000000000,"meaning":"retail likelihood mass, WAD"},{"name":"ld_shift","default":6801595083153746944,"meaning":"negative log-size mean, WAD"},{"name":"ld_sd","default":1176000000000000000,"meaning":"log-size dispersion, WAD"},{"name":"d_floor","default":1000000000,"meaning":"minimum absolute log spot move, WAD"},{"name":"arb_threshold","default":500000000000000000,"meaning":"posterior strict arb cutoff, WAD"},{"name":"mix_lo","default":5000000000000000,"meaning":"mixture lower posterior cutoff, WAD"},{"name":"mix_hi","default":995000000000000000,"meaning":"mixture upper posterior cutoff, WAD"},{"name":"rival_gamma","default":997000000000000000,"meaning":"rival price band and marginal candidate gamma, WAD"},{"name":"pull","default":350000000000000000,"meaning":"log rival pull on nonbinding miss, WAD"},{"name":"split_gap","default":7,"meaning":"split enabled when dt < this"},{"name":"split_nc","default":5,"meaning":"offsets 0,+1,-1,+2,-2; count 1,3,5"},{"name":"tell_budget","default":4,"meaning":"preimage plus grid-hit budget"},{"name":"tell_min_bits","default":60,"meaning":"tell reserve floor 2**bits"},{"name":"tell_max_bits","default":120,"meaning":"tell amount/reserve exclusive ceiling 2**bits"},{"name":"tell_wide_bits","default":48,"meaning":"widen grid search at k0 >= 2**bits"},{"name":"split_min_bits","default":40,"meaning":"split reserve floor 2**bits"},{"name":"split_max_bits","default":128,"meaning":"split amount/reserve exclusive ceiling 2**bits"},{"name":"qg","default":8980177656976769,"meaning":"split rival gamma mantissa"},{"name":"qge","default":-53,"meaning":"split rival gamma exponent"},{"name":"qk","default":8782888972198741,"meaning":"split sqrt(initial k * gamma) mantissa"},{"name":"qke","default":-43,"meaning":"split sqrt(initial k * gamma) exponent"},{"name":"phase_first_count","default":1,"meaning":"count selecting first retail phase"},{"name":"syn_on_bound","default":1,"meaning":"synced flag after bound or split hit"},{"name":"syn_on_pull","default":1,"meaning":"synced flag after log pull"},{"name":"table_ids","default":[0,1,2,3,4],"meaning":"arb, first synced, first unsynced, later synced, later unsynced tables"},{"name":"sd_levels","default":[0,4,8,12,16,20,26,34],"meaning":"belief SD interpolation levels in bps"},{"name":"w_step","default":5,"meaning":"table row and rival grid unit in bps"},{"name":"w_center","default":160,"meaning":"row coordinate for zero own-price offset"},{"name":"w_max","default":320,"meaning":"maximum row coordinate"},{"name":"arb_half_band","default":6,"meaning":"phase-zero rival clip half-width in grid units"},{"name":"max_fee","default":100000000000000000,"meaning":"maximum returned fee WAD"},{"name":"mix_z_floor","default":1000000,"meaning":"truncated Gaussian probability floor, WAD"},{"name":"fallback_variance_div","default":4,"meaning":"variance shrink divisor when probability below floor"},{"name":"pdf_cutoff","default":10,"meaning":"normal density cutoff in standard deviations"},{"name":"cdf_cutoff","default":8,"meaning":"normal cumulative cutoff in standard deviations"},{"name":"guard_low","default":2999999999999948,"meaning":"first forbidden fee WAD sharing vanilla gamma"},{"name":"guard_high","default":3000000000000057,"meaning":"last forbidden fee WAD sharing vanilla gamma"},{"name":"w2_levels","default":[-160,-130,-100,-80,-60,-50,-40,-30,-25,-20,-17,-14,-12,-11,-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10,11,12,14,17,20,25,30,40,50,60,80,100,130,160],"meaning":"nonuniform rival grid for retail phases"},{"name":"table_0_ks","default":[0,7],"meaning":"SD level knot indices"},{"name":"table_0_rs","default":[0,85,112,114,120,123,124,129,132,137,141,144,146,148,149,150,151,156,157,163,167,170,171,320],"meaning":"own row knots"},{"name":"table_0_cs","default":[0,1,3,5,6,7,8,9,10,11,12],"meaning":"rival column knots"},{"name":"table_0_scale","default":250000000000000000,"meaning":"node scale in WAD bps"},{"name":"table_1_ks","default":[0,3,7],"meaning":"SD level knot indices"},{"name":"table_1_rs","default":[0,82,107,119,124,128,130,133,135,136,139,140,143,144,145,146,147,148,150,152,154,156,158,159,161,162,164,165,166,167,168,169,170,171,172,173,175,178,181,185,189,202,320],"meaning":"own row knots"},{"name":"table_1_cs","default":[0,9,12,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,34,36,37,38,39,40,41,42,48],"meaning":"rival column knots"},{"name":"table_1_scale","default":500000000000000000,"meaning":"node scale in WAD bps"},{"name":"table_2_ks","default":[0,2,3,7],"meaning":"SD level knot indices"},{"name":"table_2_rs","default":[0,74,105,131,132,133,135,136,138,139,141,142,143,144,146,148,151,156,157,158,161,164,165,167,168,169,171,320],"meaning":"own row knots"},{"name":"table_2_cs","default":[0,18,19,21,22,23,24,25,26,27,28,30,48],"meaning":"rival column knots"},{"name":"table_2_scale","default":500000000000000000,"meaning":"node scale in WAD bps"},{"name":"table_3_ks","default":[0,3,7],"meaning":"SD level knot indices"},{"name":"table_3_rs","default":[0,81,115,125,135,137,139,142,143,145,146,147,149,151,153,155,158,159,161,163,165,166,167,168,169,170,171,172,174,176,178,182,184,188,191,320],"meaning":"own row knots"},{"name":"table_3_cs","default":[0,11,16,17,18,19,20,21,22,23,24,25,27,28,29,30,32,34,36,37,38,39,40,41,42,48],"meaning":"rival column knots"},{"name":"table_3_scale","default":1000000000000000000,"meaning":"node scale in WAD bps"},{"name":"table_4_ks","default":[0,3,7],"meaning":"SD level knot indices"},{"name":"table_4_rs","default":[0,91,120,136,138,139,141,143,144,146,149,155,164,168,171,173,320],"meaning":"own row knots"},{"name":"table_4_cs","default":[0,18,21,22,24,25,26,27,30,48],"meaning":"rival column knots"},{"name":"table_4_scale","default":500000000000000000,"meaning":"node scale in WAD bps"}],"runs_per_core_s":{"LEAN":2.3655785874465263,"QLX5":2.235744373400893},"code_zb64":"eNrsvX1/28aVBtq/+SkQdRuREkjh/YUS3XUcp9Wt43gdp5tUV8sFSVBixLcQpETF8Xe/z3NmAAIkJTnZNr3bjX6JJQwGZ86cOe8zOHj78vnnX75sTQa/+8f9WPgJPE9+42f7t+OGxd+6PXSc4HeG9btf4WeVLZMFhvzd/82fF4t0MFq2jXfJ/Xi2MOpXy0n/Zjq6ul42TONqtLxe9Vr92eRk036STCbNbDT5dy+ynSRwI8e17cDxUtu3gqSf2K7dT1y/74bRMHatQWws0ixNFv3rk2w2vk0HrVrt5TrpL41XL5+/PvmPV9/6xny2WLaMt+kPqxE6G2/ul9ezqeG2bMc0pqvJ/N5wWn7Lk4teYlitIGrZZm08vp2MR8sUDb7VsoxkOjBeHB/bIWCtpsvRJDXmi3RBsBm6ZUaySI3pbGnMk/6NIGLgJ7s2eqvReNDKruV6rkbvzxZp/zrt37Tm9+V2QJwDDlqNk3myvD5Zzk6y1Xw+HqWD5g/jdTNZLEdDzK/1fTabViDugZbeJuNVshRwzebdbHGTLjLDw9+z1TK/O5pNd4D10mn/epIsBGDtxWwywewzgxCM2XA4Hk3T0zKut+liNByRBiDSaEKKZ8byOjVy3I0C79rX6dJ48927P3/12hiCKXLqHGbGaLpMF4CKf1vG65nRG02TBaCe9BPMThE4ux7N56TufDYe9XGzJX/c1w+54Ic/HXLJD03j6OhmOutlDfDHcrWYZkY6vQLWpDtG6ifjcQ/LlGEWSZbVpl0I6jLt2E7UMgrIs2lqDGYpZzLKWsZfANBYTUfL7CS7TuYaodHUkJGEhqe1OflxcZsas8UAzDHgzWVmAiiYZIT2weh2lM0WilRYgdEAzIDOmCuZ6O46nRpLjDK9atU2OJPIowyj96+T6RXmb/wwH7dAILbOFiP0S8bGf7x5ZSRDkM9IjL7IniFLVZskN2l3mfTGpNe9MQDMAQbD/TtIIZlhkQ5HyyVHVfO/b/XncyOfTWYMR2tw4HyGNaotZqsp8L2SKVBEFhj7erTsTm5WRp0iwKXn6g3SZpYMU9400vUynWbgtkarBiiOH7SuMQTw7xEeSJWNrqbCKsBpki5HfVPkKZkaL//6pTEDkw3HszsjnazGyXK2ACuN1k3MZTTB+IpWxmJ2x+WdiiAu8AxYsNecjPqLWTMdXBGtpTEapBDg5b1w2VWSGROQY2zWhpjudUkuQFk+PhllxLtlZLPVop92sfrA3rhOMnKlIubAgKY3evdYw1btd7/9yE9ZjfyT7L/tWk7V/tuW4/m/2f9f4+f3hvIAfl0HQNkfgxbapFI2qdtHGfRJlt/LVbwB2Z/Xfm+8gyCnos5n4wH1xmzYvBtNB9A2WZoOoL+nKdSP6LUdJaE6tmpoX42XnfcfarRryWJC26DtkqnsUqOtrCxNS90Gd1o+vBB0bRi/N/6f83eiUaFeQLXmeNRbJIt74w63V3Ooz/54BT0jADA36N+sc3EplxwPxjhNlhxyQQtRd/VY0r1DYrQwr36aZV1e1BvFXT7NWW6eLTBTfzhRo61QZjdBdwNaYdJKYJWng/qecZpL1VuR5wJPX3beH06783TRVUgftu3APOzPV90MuhSOxmFbgzUPJ+CfZNpdrKaZPEFj2EWHzZq2VJe6HZwsZS5CBA2g8QEWGdamTkZoDeDtZfXBqL+sK/PYmbfSfuvF25efn78zC23VUag2Go3fNPn/TP9r3+4fOcYT+t/ygnA7/vOs8Df9/6vo/09O4AXCW679cyxBhlCjma5q/YFx8G+Q+8U0QdR28G/WQeOgdvBv71UY0m6qqMf9cGBUHeVa//jYaGbLQafPwM9ofuXiUtSz0Ry+OX9R9pWbs/wqmz39IPzEZbe3GMElzZ9WERwe/pdZ/zwm/SfKf+B6O/kfN/xN/v+F/b+Dg4NzxJP0RxDmSVbhiiFxEVaKl7VMx+OTbI7wlbEvQvVpP1UimElYqONJYD1Nl0x8tAA39x/7y/u58h5fKBcTftNgNjGZsoHfZk7wO++rUkzoOp3vdz91I7Do/jBesw2/yq3jFB4Q8eU9XtTefvXVu44erPUGv+vd7nA0TrvdRgv0ICHqjRazMwjX0afzovXi81ev6tlyUeezJ4e5sjmEk/NN4L1Bjzdfnb9+9/Jt/UWr312BaoHXOD3fvqHbP99uH8xWUJqN2mzeIU6a6N3Z/HQ2byWLKyFY54JDmRqOWbnY/s2bl3wY8+HDHX2jVhukQ2aiBll93Wir9I5RQvrIa9SPLupJj/efPaujZdRofFqv22dnQL1pN8RLHG3cXa9x2RCoOdaKDerag1501Oq23sqvuhc54MLGaX+2mi47VuGBlyA6VDUlBzzpLFpX6ZJweqNlVl+0+Kd2tk3HtxqN097TfciNdgF0NDTKfZxGO+k0k0du9zrNXsXrv9lgHJWwVXnL0XDZKQOwgIPfqHTCEDedjtX+sZMc9yp30rG6Z/Nec/89h/eO9t9zcU+WMGmcnPB3r9E4qjdtDllPzqzGJ516D7/wAAI3u7EXiMcBzs5kKns7+JtRnj2TbsUgGONR2EGVXJoafIo5zTOrjUBmOZqu0p1uwOnT7Uln6f8E3E+97VXhnH5stMBHUB7TK+iHxjOs3n4os9WysyU/jdNpetWZzetKzpKGCVRMddFrmEDIvDGFYCaebpxezZadbDWpM9JCw8X3l42zM0re90rYvi8LW0FjjLGXxkmWpVB9BNr50azfmInZ06OhzfxRi95xx9aBpagAaVPaIU/vbgkyVahoJ/7RpQd2yr9K6mmjycytP4U05sP3q10vFeBt1UUkrhF1EgcxPQoJNH0UDnvRKelMtJxDZxLcvpF7KZYilcHVn2p09XcJgc/fEIw8Mk56WCCE6wi/V3MapHRw2LbMw/kMMbhtHmIJD9uOecjk7GHb/aBWhk8UKXbpLxSfjDIYRqbypU1RoNL4obadkLjYykXY7uVGVFScbnbN9DblqBLNL1ZTlaeY51sDjfz+u8UqNUu5/g3bqabpvPVjuphldd47hflMJgQqf3BXApx0Ol8uOtK7pZyA1iBZJt0kq3/+BjfnHfXU9s3zN5ux5rCOo2XdTh3LxD+OCZDmfI6n1+b8vkMZ4r2Gqf9yqqmaxeyOhFFTam9LPu5eOJefdB7QGEvzZjQFaWazsdlb3ZvJ2kzuzbV53+GD7ejyFK2dHm7X8UfjdHN/kswp3ma9aGpsGYPpcNbZ+AhHLtWIYq46Z8j7jdNhzxwm5sQq4OnmzrBH9DGoUgnDpKoi1/O0D+brKI68oBfU6o+hKUbD+3pdKNcwFXDJ78g0ZIIdQbgDnBf3HSB9WQFMJUPmVCDMoabIvammX9JEOQqm4q6lYupDUUn5vSpF5slogNEr80ruT4u5wM1r6W2TOvuaOQ5EfGKZfuOUurkgaV0p2rosDx7c+9CLVu8eTiPVcKPRMF/Ppql+DP9cWJdU2C0mL9OHle7uVEVWH51rK7vDim54iswLLx98ssXfaNFa4qKkJC73afOsBtJ1u4zau91O57DbnSSjabd72C5lFDsP5fM2Pmi6kExt1tl28MzC9ddNnR3TAbS3E4h5evC37OBT8X9pl/uftf/juMHu/s9v8f+//v5PHovL2QbdttlQZyid9mvzj46irzqiAcazBD5wfX5yeDUbD9KpbEjI3v8hH0oGcKrWS6qNXjLg/gxNNhWYWe9BWSfZTYPW++riME8CHF62Rst0UnipsuHUUc4yug1Hi2zZZePhpbl1fYzrqfwNKI1T7n13lAfU7dGnqqvNKzTBGcBT2h/KEWlUvC1zYV4TtR9Hc/0c4XFIRbUut8+z7nW6Pry84IwuSyEj9PQQpFnWFzAxjRY61RGiXbdBhHxr6EIGEVLsdDWvEYE/ulGzUeuKPuWZm4JZxzmqNG4cyw6w4GaONnE8GoCW37T3P/yncn7ln6H/bdsLbX9b/3veb+f/fpWfg4OD6hGmptbAzWEC5T9cjeHnZ0sD+p5Hekb6YJzaxb1OjTeIpQajq4nx/Msvjf41XDM8nrZqtV/hYGFty64Ydf1bKVGTG+74I3EwL1MdDMBUmhnc1zlPcaVjOTamJoTfchhpYCRX8GCzZQOT+M/rZKn6jLK2kejjh0wAZv3FaK4OIA0F9FswUp6R7qXTlJqxB9rcy7QKyvx7LegFsWMPo4EXuK7tJUnYjwPHxTR7qeMnju94/jC0PKOOB7ugR3eRgWQ86QZ6zWH8BpI9MeAzG7Aj1PCb1TlRKLQWmYTM6dwYz2bzNuY26qfSYBrJojfCHK5SAC0dnuI0plC9i0kyHiHIJv2WyWi8k8/apKV4gC5DQLtakm59xOXqTOHyjjttszFP1aWLpuDRT+YIG1LTkDNezO/Pp4TN7fx0eSIIdvW5BKBv5jcUEmpChK0meJgZsztJWA1mE8wLdn2SGfU3/avAMzoPo/yqf2U70bfZGN1ohoA3z9fJ393hYjbprhDF8aohOMqfxrFhN05hdq+uVohTHob+9RLPJIvBayGiafxlugLsNzMQeDY1jVezq/xO3tMYApFcmLLRID19BPf8ccFMQzWWyU3K4Nsg9gIGvtLE6APR1DRUQsi4TsWfehh2lw91AUYJyoZdBL5a1ReGPvBymNEvAXue9IeTiVqa4ucGbENGFZ4ocMqWM+6sFocVEx5uTRf3xg+rGfEsbqzmAyA+eBjT3j1cILgcEyZXTGOY4qGbdC5HShKsI7M7S8jgqg/u2fBXwfSrhSDcH8+ydNAE6cE+ox95VlIY4cboGIu1cWQANy3akxnHMnNUwaPDES7TddrHJDdDiBwsNuSAFDQpBYaE5qZhtWjvAJLHk+CammXhg1dLyRbfESAlN3VyB9+MoqCugP4g7TIbI43p7eQEjI/JXt2rQZOJhOTCHgVBtVTO1LqKZnyYuHC5l9ApfS6B8Z/PP8/3W7JT0FbF/UQyBTP1eHLTTu2QqhNB+iqjDuC23XX68ACyXFgp0L2vjnPJ2tXVEc0ubnfnyWgBhZfNsEbJZM42fbarx0PctfMlR6SLqGzLYVZW9IJCfsD1ZrTEXTAqFX8bTVhzDAiu/osh/nYyXcoDg0VyJ8xaU3uBWqHABLwRihX5aqN+R5sgR3i/vkvkcOx1wrOxjZbxDmpPmYghaCj5DGpn5hK7w2mdv0fJuLvuYl1NI7+8V5eSsQR3SXKyYTSfGYwChCJyH+FAfkHpYy5HgGZdZnT02uew9ZUGzVNeAD+ZF3KW98svKzjUyvmxj8HmHU3rbLXYMCA9BEYQUG7kdEqX6G45959v9wqn1YfjuuS6IHLgpqjRKGl5/JJj0LX6fyaDdlv0MxTmqXTJwWAFEkMl3imbg1V/KdxTRkAOUsvoY9KKR+CXPIPMM3tQ8DVJ3rU35BCgPZ66luxuy/gGjIO5dkWU62rLpDqb8WjSy1rGF2lx6pyDQ4ZqddcyevMMisXtQgNs/w/o/y2E/281lRzvZLFI7g1muylYS61GE4RH0Etp0r+m9TfqFDcl1mB1qlnoOIjPf6ul+29M9l4zpQDkmicDWP7xfcv4PB2PbuUMfB7qtjdyQVGFADx/cy6Nw9FVF7NWtvHU2A5Xu5ihYgv8gftFjr/wxmhNss4XyTgDi+l0v1yp3pV4WD9Embou+T14ZiFrw/487dhqtRpynCBPH8i2/r59fbFEig753e9HS/ipErJibeoHv8BVPSjJysEvzYccNGovX//p/PVLYHHwmO/4sa7jQa32e2q9LgmXLkfiGFb/5nJCW7aNz55//fIVxu5+/fLdu/PXf/papKNo/evzt+fPX794WXvd/frdyzdfA0WbQVrt/PX5u/Pnr7pv3p6/eKlaW5vWb3davsufRNufPvuy++U3aMgvPucC2Lh4+/Ld8/NX3c+++Q6Av/pMuvh569fnfwOa53/68rn0dmpfvnz+WrW+ff76T8SibsctyzQcwGrUnr99e/5XDP32+btSD6sVmIbcF1DlG8AuihxlqIFr1KjVvnz+bfeLly+7tIUd8FFLpfntXTEWUVac8HtDGe62HdZef/X2y+evgOPbfXDcB6D83vhrMoVHkHydG3iwStuAIjkyPnvzde3L89fd519+9c3rd4qK9Cue/Pm9UXgobTuKarWvvnnX/eL85avPvxb+p2Pe3bgkB6ahmjYhAZvgtW91Yku5z5b1P4Dr1b2djVcT2pnqo5Vbj8FQUcBDYLbvPorN7VU3N2VbyOBObtfKdx6DUKVNGUL1zpBv/3QRUy+64lvvm2Fumbfnlpvox3DaPF0dd/P0YzQpNnm2xhaPMytRWEV8qkE8PpmqfoFrFy5NyM6EpHF7BWkAVwJYLEOXiU3oReqcMouWCYiH5rPlNhw2Pc6w287pDv9CCe/nj6d54+cu414S7cDcS7H/0YoX425xqRqo1NiAJflKvbQlCQcd9AwMYQ2jzr1qw9qkFKBaddpAIhoVREumQjUKA+nHHFOSBBihacMdFkcWqywJBELnm4f3mfEtXJbkrps7uOihgCBqk3f7vtNegnigR/RI4TBAEUwzOkoJwCtcOQU6ZtoNNB5y5HU4niwFu1bt5V9fvq7oycKdJsk4E+Ey7vhapYjOtEu5lMbuChgHasbCWSXnvXR9n19XvPbqIkvDLuyqoJTpt3V9X4Ffgb0XrrDNhlfAICAw0zDdwQhRE4yR13KNbNE/ydMl+WFthKj1v53/qUuL2H1rGsXf35b+/gIuV3825/uoCPRVlq3Gu2/pPrcC37N9J4p8N6CBDuOg9rdvlUEV77Z+ISi7rdi2Qj+M/dh3Qys2dx6VJs+LnTBy4sgPrDjwfLa5juV4Xui6kRvbQcAmB25V6Fu+Y3mh5cSmHsL2wiiKnSj27dCWZ63I9Z3ABghuarrShAHcMIztMIgC1/fgm7TiMAos1wnjKLIijoom13MD9AgdK4x8z1FjOK0o9mzHtogz/LyIXSM/tN0odDF7B0PJ45HjRGHoxkHk+LopjC34inbowTcASHk0xDQ9NPhACo8E+Sih6wSgix9bnhM5oXS1/Nh1Ax/j2vrpILJ82ws81wHSjiNNfuBEruWC1L4PukmbS/fXjd0ANxyvGARUj3k6KPKi0PciQdIH8UI/xrytII5VUxBboBPoGHHagbRhnRwbI7ggQmAJNr6LefmOi/YIC5CP4tu27+EHDrjveo7Lrl7s+sASlAxAIUvm54WB7cUxSBbEtueqfn7sYAlDXHIOqs1zQkCyIzsGrkGUj+M5AZCOI8IOHcHSs20Ls8PixBjGl9m4mJ8HWFhyy4ss6edi1R2sPrC2AvUo5skqCH4ARorsqKCZ69sxeMLheXhFCtcNAd0GDWOQwxaKg8rgBowdBQwHpMmGJwtmwCrGitROHIbgSS+KLXBNXAyBxYwgSeBTx4k9GQN/4vE4tsAikVpUx48DChJwxkrIAjgQkpBLEns+iKraXJAKooP1isAmxRhYNhAVnAemtHxZAPKmHwRgOKCJBZM2iy9++l4g4igQMSngEYYMqCgc0hZiKuBEcHwUYKXzYSCuATCMLEqhmgqYJrJDLh5QDdQy256PVeZbB17gWK7qBwSj0I5ADfC3tDieBXrZWHM87xcMBr5AC0M7rr2gbVuuBznzKZhQCmyyYi5UQC7CsloyLgZ1sXYx//F9GcQKQTDLgWKwA7BIQTCgGgaQEnANxCKQUSzoLyuMXRuUiQJZU8vz0AfQIAShmhzmDp0CqCFkHCpC2hxiFgMa5+sWgwASsHQ9iL0b2qqrFWLeEBbQLSDj2C0wEBjGAwQf4g7VxLYIohygc2DLrFWbBeaNwPrgOAiGGgbtoe2QM4l6CAaVvlhNhMKBF3vQEAokUEYniCw0EOmKJg/SjDG5fRj6qgkqCTSmlgLzxcUYTiQaF4tgYRUVPnbskyqBH9tQj5FqA0DPJ3XxiKMGtsirEHwoJc8LZBioXRDAd8CgWOt8FMzC9cgj0CyQR9UTzEHRDhywNvhStZGM0L5Qag64RdpAekwfKi0OA9cRDDEiX3724xBM6kWbcaDjfOhsIgbVoZ53wYQWFoWy5kSBakOPGPOEUgPrqzYYqxBcAVED37syQwAPoStAL0pLGBTjWCQ4yAOtEMSK5tAuMCV+RMbCUI5qA9Gg68C1MGzSEnmWUBa9HMxH2kCRABYVrA1x9/NBYPdisA+ULUQ/lLlQ9UL+uJJU/EKzkISB7QKeUP7CeKEHkx3RQIcxuEWaYJNhHWGUIMBBsfwhJgdK27L8II90hRUHd1pUT2Hoq0FgqKFa0Aq29SzVhomBaX1aIMsKVBPVR0TRIqr5KNAtUOUBVDLYxVXCEUB7QWHArIKGfhSqNmhP4AHSgMdcQTwA5jQrsMngPUtIjRXjCkKbw+7ABBbjgCE8mgjYkDCK1TjQaKHHdcSieXpsMLJDjQwOdgNLjQONaAU0GqAJflQbJo0VCbgOjlMMQ8kDR9GAQ8kplMCi+BszhdZylazDbofMZ2EMSJOrpgiTD0sH0XRoWtkE5oJTgpXy4EDBB8qHgYmH6FMkHDvHHI/AVNIcgetCW4b2Q5gudHM4CIyKtFFZQk1B6mjN1bMw7DQRsP3Qc3FBNV+EPY7gIIBPVVcYO5hALqQN70a3OWAeXMK2YWxZb9zDXKHHPDcCTCEaoMMaQ4qhS63Ci2E77YsFSwTKKab0wU/QrXAUsMixo2ZDHYp1DcC+vmJIMh2YHs6K7YDZBBvoPxgFAIDmgN4qWA0aHs6EF2MVKAQCEgoCPGTBYwEtNEND1MFDmC5WDFpewQzAtpDfCHzlqMlAEIAHXSJ5szYqhoGoRdB8MLKQWsWpnni14BmHLkeshgH9sX4OFCR8apFh8LsPswBepoQpXehRVmFruYhQh5vZwNbDrNLNg7+mUbIpnlBfoDEeV8NYoAKkHcwIPrPVbCy4jVgnMF9AxmIbyABTCKpzdcMNq4F9MADoAQ7GQqq+EEa4A6AmFJViaDp49LZBdAtLKcMQPAUYPjAYIFJNFtUOXCusJJyrYhSwkCeqi32VxgAngYlgKuCaAISr2iDDcC8gANBpjsyaFioW7oNIRq56FhwPrgC1KZBewdDQKvCgoRQdApWeNvkTUgjfBzIqTRatayw+ErhYt2FU0JkhhqcF1qELjOWEuQe7bUwA9Q7WBXo7YlQiywh1C5sP6Q5BOleZEEBHGACuDwKwqYYZwG/BgocW8VFaAH4iXJmISgitXqFsHOgvKAsID4wx9IH0BTNFIQ0GrIbiKqwe8YCZhoQBe9Vmx3QawetQ6bJaDtYdGhqzgZhaxcoAOsyly+gCykXZQ6y8TWcIygWW0laTQSggupcGI1AWDVxLKQTzh3R9VBN8Ct+nwaF7UdAM/oXFoAEaOQL/Cy1oXHEBMQGrR2oypAM1H7geg7m6DREZGI0c7Gt+pMGL6JS69Dk2jAZtD3L49PuoeYVmwJha1KP9hGeoYLr0PSCcAZWJQgeeC2bpMwKEeAodbXgumCSsCJ3XQmhA6hgRCVwOwlDWhiLDQWPR5ZFgCY8c/gz1GaQR96WNHhG0Eh05hIaqH9YAK4/usKvwo/Jx6OrC5gZc80i8TbTB1AFtUJ3xtXIEaJFimYkDlJSatBjHMFjw6UaFsmAMVUEGm+PTxy7Ggb6GZw9tA96GEZO+TsgADhwIefGVu2rZMUM40AO94KypNlALvgoVBHWotEGMMDTCLcRyce4NWHCLwRkIWqGO41iMBtoglXByYKVBUo9ukcVgPyQTMfUARCPVZjHFANLDYZZIxaJLDDLCBDniJjrFOAiCYYAsRjCwJKH09cQVpLtKs6XGduGbQ11ZlIiY2gFtDJxAA9eVbSI1NiMqaHx0hzLwi2EQaDCmZDQQ6qct0T4UOqgMSp4FxxhqQDlZIAltHdoiSBd+YnortiXYwBUAzREjQQd6cW4+0Q7XmwJPC47HZBzYZ6qFkG8PQRyFGhFjeDAVsIHP4sqsYdph6Vw6bozyZDaA7tt03oEfo4xiHJuqGd4ltCPIKisBux070AFgTKy8J2OHTHLEXAaGeo7AhAkSxxFiBQlT4zAAhZoCLra4cvk49OUQrWAIIuHK3hFUGtQKRAX0Y/QpbaA18zUQEhiZSOYYMu6Ff2kxIheJQhuEmdEK5gfRc8JiHIgCNa/NJYk8oTv8LeiWiCkssoGMA1miLqXjCSYOBCbYHg3UNvByFHnBc/TxoKoi+jxxPgzMBmsvQrmEyuthG/QYhVlYXbwotFl0T6DLMAh8EkEHaAWMLmA2XcKQNiouxPchRTJ082GwrDazH1DtjH6FwpBBRlAUAtEm0gYL7NAZhF7EQskwCNPpSwRMTEHT68aA8TyWEuvE8KpYH/A4M07wPSOuSCAzYoAbMerB6jI7JlNiR8fGYNC48LmEmrCVDDPtmCGeHyt6QK3YEjVBzqGiCglCDO6QkRlPwVzKpCyzdmkaA3nPbzpv6Z39Ru1vX+zmLGUXD3El8xqi6QJFa+YSoQFIAXiEDK1VKxpjcWqol12lbAAAnjmoSHJB54V6M5MxmcdUDXSex1C6GJHZCebjmCBwlCaxLMwQbgscMZAfEiO04EsZCOLoJMdUXarNptvLWDWkDlSMAG72GFfSBWAOwiq42OKqI4SBAYVhdCyNHg0lBqUAQs1HGgi1N1ZEwLtKOuAUwHuxyId0CyWdylbmkiyYJtaNwBQL3QkGYxILXgwkHBpJ6RGmQ3ANUmGisDJ+oFqh6+A+QnKZo3FtPSIzDjFj04iDqmnDOQYtoLFih6FXIT4cCEGWzYwYjb/qjEUDH8NHgtJ1Ld1IB9Vhcgkmw9ZjQRItToKJKZgWRRxoOzeAtDEPQlNSjAX/I6IXzSw1vB7FFUxgMLnk+PSvfVdNzWN6kd4sCAhZDhTZYHltyLP4oiCrUvBgB4o1HDEMCgnbzM1nmorpD6ZptGpheAJwTHnDKDBPoFoD6n6oNYteiqem7NMTimlqmRSL9TLTDWa8TJZh6q7Q4FhPZlBgfcjQYaTGCxBF0XEnH9KIqkb4wJwsLD5XPFaNMU0DVQWkwVJ2k8FCyGSCRUtuxxvGhCUEp4N9oKChkBWIEMujVHOMJY3V3ICKR6NB7cVcqDRGEkgwdwtjF/q6ETbRJUNTHorUMW/AkEDLMMgOSEDVm+4NhmFyEhpALSesD+MJKEW6jEqnWkxiwXpHYt+sUDe6kk+BqqJGDTYiEDNFD0bA1F16Aqp3GMsGBC0io1I20vzCX6PDCpF3LEc1OsyLIobB6BQx1ciko0Mf05HUfT6YyhQArRDmI3SU6WT8JoEjVgwLquFCYmOyP7xZpnxVT6wJFCtjQNgMX9GWGUACxWDMOlh2MRhcgIgsLKllpbBFX3DjAC42aK/4g++XhUQVc+IOhmoD4wVMNzjkKaVebK4KdCbdfViroFCTNoWHWWd6z4426aAnky1wVkFD0FjBRUTENA14FNYp1HARk9ItZnaMzoiiAANxn/QGzyA+KMbyGLYxCKIeCG3dmTksh3yGVQ5jtWAeXVzQDzYWWCllCscF2gYBATP3TLKoRlAIEast4hYGBd8zPU73zQslolKa0KaDQccE6+PTC5FGPGyToeEvYO0U09oBRQPSS18JbruaLR0VkjLkwlkb7W8zkw6P1ONWhW8pVrRpeHx690xw+oEaDFOHdIK76T3GSotxUNFW9AzB+2ow0IJ+ksfldq3NitHdB62YPMbqqL50yWFCHZos2HO1YBGNGdaAm3xwDRVSsVQlw3XIgFLpbCh7+PUW3UVugRXibMNLBfVEhSJcU7gyyHeYrRW9JIwMd5Des8Mgi3GLqxrptmO9ma1zlB2gC2QxVJKMSVxwhsOUriS4YGGYjJfOtsQ1cHrIToj1VCM4EAwLFDiq7gh+RBuiUZ+ZYZkTbWPM5BAiZhi3QpAd5mnoGQEMOFH5PQ6HoQrFTe5BqEYENZ4te6sMn1WjS3/JI1/AJYp8RzUyaQF5pSH2N54ttKjP/RVPIh9XOYPQwdzkgJpWFk61MaNiMRx3tVg4PAcXc1/VYkZWucAON5+Y5YOC5woWA9EHsin4sK0wKqoz1QyYCZ4+0316AYCQRAoUcD0lWEOER1SvkB9NvIAjhDRxEbPrm5FAY2otLBUQtJVmAPPQDjEFGGiCghCS4YOtCkKlAplM9+lsQ62EkCLdkYkmOhxQwOCnYhzQ16Z3AosCo6SGAQdSp1KzwodTlIMVwUjc6aMNUDzuMJJDD3Rn0k41QdjgnsFpY8K3NCGyM9ad+UAGKzISMHJtbqAyVwMeUG0wXxBoCi+TiKpN9nVsbkZCfhXd4SvCeeXmHGSR9NQjuZglodo+t0kspaxBXCh+KAhxvFTQyeyYwyR0rBwzNZRDvx5qEaOESs0yDIUzDoNrs2vB4fDEGKbDNnObOVTYY20lbYtAztZiQzfaZvCF4an7pQ3cSRcrlKDAV44TFSPsKncAoQlJo3wkj/uKmCQx9RWHgWHxNJkbtI8UM3NlQvqK5HHYFN2R0SYsF41nbKk2KnHuvjGhxcxJMRJ3UyETETeVtL/CkMgnx2NRmY5WoQ5MIjEIGArnyxnS5GHxmWWONeFDnidgMs2jR1iYXjZFDEa5qwpVptDithjUIFjRZrpKDc/tW0oyeMTTmQ5X8kxwMxm5wGXQjQE3Ymzu5TMaKYaKGROCqFgq7n2GKoADH8Nbi2mqEZ2qtpBbCkwdQ/RDZYs8uqGyIvDVdXjOHAvw5iIyD1/ocbi2XGgMxHMUClWoETwVctfGpvek2sC2ECKbu7mWpfsxGOEGLZo9tcZExPPoTNF6exsvCXF5LA4K1ih2lDR64g1Y3LxA9Kf8Txph+OcB+QJxngpTmTy0mNdg9tv2lGmi9eMWC4+YcDu9GMnnDnQkZymYmFadmU6idaBEOGrtcC2ZPnAYD6xEOqjm1iYPGwA3eLrq6ZBZVp/pLSyX62xmxfy8x7QPdF+kwhFYeu6/cAcWaxIrABH3yxyGlszzKvKRmXisBMEPeFPTFCIge+OMLxCrbEaKmbfjORHZ/FaJBsaPlAWbWs7R2QPuoDJ1x10OZa9INY/HpGVXO1D9uP8Z8nABw9ZNkgIOH4jPbSqYSYUTpJ7HgBije4wjVBv0F2YlzmGkGBSI89SIRUeFOlK1IXQF33CHAt5NMR3mFW2e7mHw6ym+85lWkS08BuyKHbg9DdlExIpgW4fqsF4x94mYDEXwoPrxxAm0rws3AWTbzAeYcF+QKSlwk+pLGxEyY8KTOLYiEVZAUsRQmzo3ArrSdDN/THOp2qBPfOaEbAazm0Qit82ZIWF2lTsR0jdmZgN9mVBRcS0Tv9zugKamHtPdIHj0WuCsQ9JVQsuSpB+MhUWdVgzDzRlue9PYA3WVEOOOg0VNFXOnIlJt1LIu9yMk2pE2pjSZbOSZJUnCsw2hKUjB7W/uLm8yYvQD2RxbSqXRLePmBHxO+PKxSqcxhPAk2QkVr9q49RzJ4R/P0akj+qN839mihSm2eiRDx+gXKw6B8ZTupcWhGcE/mJBO28GSBEw7xDx6ocJ4OQUDy8gULDjZVplBmnubjgCdlsIUMdsgG090Ch1l9OgLwZ9EZ66WcjhAa4u+DjQEmctWbdylpnV3ucHoqWwlfRy4eFA6CHyKxQmpXLhNHjCdrOYjKQWPgQgDQ1tnQMFAPKtDR8RShh1GiJurFE+bCXqVUaXzAJdIHKpNcAuxw1J73GjnFo/qSx8D1o3BR6htcwgu4MhMmNAjV23MRcPRiLjJ5eksr3jmTLMFDNqKcTA9j5Yg4Fk1tb6UMDnIwAR8rDO6cUDv1JVjdL5ac4CPZJuXiclImSUQh+46mQO6Ko43WWs6flwM5RuoDLfePwKhmA7VmXAeiIodsR8q6wYXhwE1cwAI35R6iKja4MhF5GFn42XRHrvUD7CsTIJJXx5/YNaKh4FiZSojukM8rIT14h6fyvYzd6NCDhhAlcFnhoubTTG3LDdbJAymAx44pM/tqE0FTJcHMBCARdzYUFsXjhwm4hECnjrTWxxy4g6RvWvpXRNusUEKGV1iHQuqxdzksCXVz21KtbvzQOK11v1GZV5VIb1a928v336Flu43datR634l7+DgwsbFl66j76y/0D9o/dq2dRdbrnQf25GrSF9FvHJCdeWEvHL1c648l8N25TlfP+fLc36sr2JeBa66Cly58vQVJtP94osNgkT4m1fdP5/nTTwT8vJzy7e/eBH4nz/3GuoNEJ7UnfevjLm8CC2vgngGnnx3/ubV+cu3pnE9urpWnw2Z3amX2hTkVzmd1vCf/M+/gOr94sUL/PIx9JsXf3IddstxhYNBlUQ/gSG65ZeGl/ftWdAFgyPEaoKPcgjnr1/k1A2Yn7eooAMJPR3O/91/fuWTHlSA4CQIWch0ndOyanj2r3IPq2+c7O3xxreL+9SWofICIkap6r5T3BeVzi0Pxh5wOXj/qzcvX3e//uYz3akpRxuZc2VWQTzhtGkHBI7ePBfdxM/WO+rtEg2gfasvnpub9YHrW35ZXd2hrJlbp61rtX+XN9lYVbE7WY2vR/XENHq68ktiAdnE+NQgO6sWW1qePTPIharsIDv1yp16trSUO80tAcU3kHqWbrGLFlUZbG5LH7vUR8RFtag+k9GAp+gJToNvGMe8tjUC6hKQ9GW55hjB6c6Vh+0qMI6RX9cqBOJLiPVsqanze/XGK/BRv49KkgA4xXvmgDgbGM5/SdFB9MUDF/JE93qk35rtjmd8pbcvLfw9nl3qapIC/sLS9Rpn6tJWl1O5xj9HhpYy1SxP6eUkZH2Ts8OtojMuN8/++VyRSkAS8DEHctVA/WSx4NsVovFqeSlCdDpj102ZoKIfdKEqdkTUCRDjCkDnEr+lW37f5n3A2iI1OBukNoXFC4J/jQu+D/B2etVuV5i/baR8t9IQTaDKB8s7JPJCiOs0+eUeVQaJXzRajvl2MD8robAgVVNdN+BO6fh0Ml/e1yEwhb5v7KsEXK6rK2BIz41COzY2uqnot2bHer2eKTaDvjf+y8ga6gr6vixLsiazpUCW+35ctN9djC4F0lruoVvD+Mng1dkZWsVONFXzp2Rnu9GowJalvuMC4ak7LgSeU2xf8B6rTarb7tZtxaYc/+7C0338TR+iIiZRvz0oC0Uit0UycNcuwOiRAg0l3Bopf1gkhQ+3tcQddzZSdiqvCOvPnoxnjhKMY43mw1zMrmfGRzGx8LDGdx8TA1R+7fBadc2b3LxJY1NokyrjT9P1UpURyfXMpuPTGkGxCvooXon2vMapSIf7tqPQXWdj9cx/GRq1vOg271QYa5xzFjyJEmfBu9iaxVU65bv2ZWWZm6BS9RKI0pCiC8srjgPrYkN+nP9q8ugNq8NaZl48WOOkDfWRsXHM6hWaaZmytxCazdOpZe/F5yu5tcEGwj7rCuwui3qwrslsCg6Dk4dJ12388/LN1+evvnp94jQEzfoOmnWa+OOnkIS9obbwHQIuHIRtmzPQr9RtI7+x4lulY9rGajkayztT+WtU9ex+MkmXi1Gf78gtVnzJX0GVXuli1u0nmSq9cXc9gnpkLd2NTMjKdKrcuSkOV34pWXqCKehU5h1W1BLONkWkZ5UQNgnhtqyNqsSTK9z727fQdbWtCtjrBiSXd1hi57JaKlevw7r8DPDsGFa133qtXx4vN97f69fLy42KLE1O44g9zvjsEf7ZLe297pJWG5bb6XD/VAdBi+UIWuPZVX3dbcAvlBfZdkHdl3ved3cquK+AKeayi2VOojVovgtb31VvzzXRq0zJv32hiU5/iReXhJE3ymKWNAAQEAQhSPWm0Ex5uY0HlozO76YMEd+td1pYa74WSDgngKMK28C0f7FI08++/tyYZKupkVJWW339RdAtGVmk6iuTwn4YgaD4jie5EMimlA3pPeqtpPoKa+3MVlBL09WkuVwk7ChVfjjuARE8MIZpwrpURp03XySLq1lrOZuMTwH/gJLLQQ7kG47DId9JhEgnrC0rNUaKkkyHmdRgKhVmUi315jiZ9AZJQ149lVJieW0Y1mgo1aopVVdqGedLTGQ4ZHUtKVxxhXt9PcZoqqo8sSwbP5U4m+pSJeEfSAz9oi3fjs1aGGO7sJaUsslET7YJbjBapKosCsSjf82ZbqNT67567UhkGbSYTg95Bj6QxJSNMNBKm5YtfSRG5Cs1Ec8KOdwxZX6RH/lFZKRiNHSTTp7n8NS6x0MOzAzyFYH02EKnl29UmBZUfiw7ttxQDfXyDWFAkMPih+m8mK+eYSTLZRdX8A1slztMwIdpDY9naQjEZw/G0k2+XOGqc0LMDXGLxpUpBezio4vHHXxb0l6WH0pMa7kxekQgL60ev9s6kO8FySvHirlZd0QVtpEbbeN6bTwz/kz6/rT+yXjWEY1cr/9ZqovRKru0RezV2e32Z90BIXD3z89ffdFVZFRlOjcnyay1OxwETuq5qn85CaJd4NbtKL2rl5IirPFJsLb/CNChlTg95+cDfXf++rv9IFNXyj/+fJCfnf9pL0RwUuC4Tu9nQqyY6rwKGr9boqJlanFlqXJ3kwJbRzv8W0GmUa52L/qvUJXrRtlt0+sZWlHLjfnViNfJ67aAE8XGqEhJO+sSqfpHqlBLPnIivFHigEp11+KuWsiduvPrh6zITdn45yJKFX9sNK2W3/iIL2E8AqICYffpj0asaf9sREpPiM9NM1nyXm7EyolqK/qp2HlPHx2Y5x4N4DVzX1s+OFJQnxy/wauCj7WNT3XY3F2pzkzzlPJG1RPiWogVVkGRnpo4M3VRn8ebC6d84ZYvvPyCeq7R0MWG73V2C24B7/Vh6MXxaxr9hsxZUhCFNNxseWQa3fvatjyMB5QImJmbLZkb9K66KjmmC0ZNtUQdHBx8wXJ4BiP1OwM+K7WrlHjcSh2UCjYO9RNVf1oqQejvgiISkA9FqaCunCrwdlIFmyRG9xs1iGpPyo9Nn8owTMvfGVIR/64b/tBQP+4OVaSznxjrRz1WNQApr0xiGj9uMpUsTiRfeuZHTevlEoRtqWYQNyoLh1v12yKeqVRoaxvVom40hiM5PqHLC0q90dkdY0iGLqeb4oJJJvpPaqvpiRZJnVsNL2e+O+OTjnG3w3y5IEkPkUpJG4NQd8YZTL663nnsrkyZkg4o5PduK0beFIS727Cs+rZ9fZJMl/ADQWD11SITlF1eq6pwpnJCWamkQ89f9aTdUp/QkTVN5P4zqoWcW2U+Z8YD6JfQNHd0zsQ00jzKgBhAEu8atX0PT6gPZIAyFERNCPEbG1YpF/+UuphwcG4eLPdp6mKfrJxSYSGp8IgA6krTDzO82rYGu4t6BUfK3tMlDwL15VVVzwiarLjSXdcXa9NY3Ev10E3pxEa7bK317Nq2HTdtzy5scF6G5qzzEJpmgesVyERVUcxTbRtg1EJ/qi4fA2yaquo3BQZH6uFabmd02VLd+a67WKvGY/Xopp0q/gZ6XXVSWr/LCKLDqqdN3SnHUN16thdBuWeWUcLcavtmsGcpMn5x6Om1KC2FFzbtIH5gKSjfRdMzzvxxem6T7O+8WBv6Nwu0Hl0CLhKb9f2msVkCdetjxl3OliwpKmD4zEmJR3R/3cUs+jZV331LtGbJx+793jW636xRaYlCv2nH4dYSfRzu/+AFUdQtMCpLT7Ek+OdYU6OyisVSqfZ1Li3rXFrWOUbrR6RlXZGW+4+VFilfVR/Bc+KHofTjWD7TmDMJsVr0sSjfmsZ3pvHFZ/j/uWk8x+VzXOsqsVvVZU2jTwDp7Xh2tTFcuTrXJb6UpswrfDWKesdabA1412a1r8q1wnNwGkxKSOnjkdqll9LiqrRzV0oAFyWvNxWQ6yq512gZb1U9OaOeVxsztRL6qeDZnxQxG4VtlGUqUoyymN/lV3RTOQvxVD+iTGLOzI5lNR0nqm1yfrJ+rAGnFoHMuc+sfPEZhs5XqlEO0tQ8thm2xAKqPmoldVlV/EoCNAJFn2+Vq7el7fnzXG4dd/Y99Z1+ijpAMNugmldjYxJ547xu0Ni0sVf1YZj9Spv6IqNeAbv98fR37aZT2i0rNNe+FdiyJl88f2gJchb6+Ysg1ekKpfnoKjSNB0ldVjCyQN89vEDFMghGT6+Dxm5rJcqtElwaH/tTWovAaTpxKa3/sCxsG42Hl2L9C6Xh/qOloanG+AcuQxV+cr+7MmoRNv2SNWMZCZ8SnVZK7jdN99ox3/TidHTjpt93RSOUOXc3gbryUqfowjav0H5T+NSi7VvZdTJP0XtDbWm/gImQDdLlbrtsjCozs3tT7ZLutstWKe01N20U9eTjeuWVLDp77Ayq7N7x5c79njuBWuA9d0K1wHvuRLwz322P1fh7pm6p8ffcEapUtrQ294Qo3+2/J4R5/sCDQojnxZNqEenLMUdcq+6B/UzxjV2Ir8TfpY8IILgJmnbpnAJHtEusJBuHpqQ7dgrOr+9MLo04IgteLHhRLWNfFvaeBLOSpEk2f/Yo/uUqy+p+tbGqG2Bd1YmU0kYkd9eKzEDR8flOx2Sn424ekURwFBEepa36ZoExTEZjRL/7v2xQ9u7k26bUBhX3Li9lrnJfVz1+8+VqkvAzLYvRLfS2+pDHhF8Y56YOonI5TpCZ+YcFSm5e7t/tFPKXbwirGuxgth3f76tpUXJfisrv+6BM2wuajh3DP/tixB0kqm5ibWzKSDeKEVhtVX1upF6q4avq5icZcx73qiC8ZIaWxnWSySMaM/nbqJdLrzaM8egmvRtlaUvg5k4iPGZ+c5sf9JnmFNEUl2r6aVr+oMDdbDUe6M9VSO384ksDi8VskW38ya1vIvOTnLnuLGXY1JeUS7nbrcfUZ2j3PCg3qo/ubtW13bDpO/pzHvorOG3PbYZKOAeL0ZBmt67rqTeZa2dck/NQ+W/msVWpdXn2dsYTI+WekhrKflgs66qbNjjzxxOki8XHJFAX8+2spm5fbNp50Oqr1y/16Z9kItmqdb0qBSwMoHqk63lX9dps2nCvtVGqdr7ZPZ6rPVnSL/T37AqfEIZKlEHO9NAlkduMm13puztF6cu9JqvueFre1SesRrFCAMJ/atL32zIFnd0E73dP3P/is6c6PH+iw3ONgvqy8r4O3z3RQb7p9HiXZNG7faILmPypLv3VpPd0l+SpLtNluYe/yXQ2Cu5Rtc8r3+gpyqSbxQdvtKIx9bewTKOi+7Zy805JAWgXtfhgwraHWnw3oVY15GHQjPz82zHgTX2A11QnffNPzYiHWMCGWq40fNfYa6fzvc2eVbLUpb/Rvs9Wb7duqUcndwV3srW1h4y5VTHS+6z4Vo/P1Om9Uo/dzy5sw/wZT6iTzPJJrM3CyIcv9PlHEF1td5QWFBJe/UbG8daaTskqndxgFkaiYJxlaVNHWfwSZX8Piu7aC8RoQbjZ/tna+1nMS184l9kcdTZ71cqaHItlODJ+LHWl08zutdLoTsuoflGr7fpNKX5b+aYV9+LqGw/C9uzql9IfEI7dhE7Rer/tWotSns908vrEWKy395fl7pkx379bXM44bn2pigHf8+2xypnJIiG502MrN0kXZb430C2czn3fgs9zkMVRMrHPTEbWFfQjY97YPXpWKpVfZCjX+1B8cDPjozDrJ/OcfqyHtm8AdjkrhtkPv4Qtuu90KZI+3eGDyZ7q1sE+RB5L+jw5UfXFt+rWyxx03c62lMbTj/yi4WY3mCz9qk3m195ML0/8Sq74o7K+tafCxD1Z4X1zmt08sICw7Dp38hBFch9Bd2sq8myd58hF9dkvFNXP/tmiuu7ejhbLVTLeEle91QCxnTf2yLfi/c3DzW0dtiUl6onyzs7fVax1lrssbo9tmu5D4OEs98fLmoLRrMjcryBp1v8SSatm3J+Qs5LhdlulWJKbdZZl1B/6Tqmhop/iuD8/UArfsfwZKavpeFE51bkaL7eOXs/nWw6gOoeN5md5GFedrjyAf0pnkBeLxlZ+WA+k/ziuDDDtJnlgqs4v6F5N9eGvsgfSnZXdLDy25YbIV2bKQaYK7Y5VDFdxrxYN9ZJjcSq/bfOFc9f2KhBVJrk8M5jIrQ+f7eSj3K2k3J48b4l/Hsv3liff38y93N2+bOznvyJT2b/cc7z+sWzy/qyy8xgEyaI27ce6lLPMe1PMT6WA96eCszyuKq/AViK20Pm2uKlWdQ3ubXFTt1rXjvS1t/o60tfeWUXMaHcZyh9x86xm6Kuvy4qKXt7NurAJu5/5vbILCyjR1G4Hp9zB3u0gb41ubNqaL3Re8Z97e4//6VQ78yjoFf+5d/aqO/Z/RH3fJ/vWpLjbe4gV9x4QFeWhXkk9wcB7709XzCsteEzynscnBXciwAzOvb33mUFKcbzi0cuFTHdvL0xWOj4y28qM9bvEe2XxwekVEDiPEw74EC4S7qOrHFdoPAHNegARum1E9QzdPmJKDy+iQAGB9/o0guXms4f7B6I9z89maJPOr0GaeDo35vbfz5j/DJv+hF3Pk196G28PBSrGPe/Fd9kksaPOQuh0ReMhTwlE/kUktBUJe/87SKi2r+57j5Mw7/WxJNwvbWVlHDlN2w61Npb4NFfH+Umr9UaoN59nM+qOs0eF7jwxf1Spf/aUUv9sn1LvVZX6faHU13sw6lWV+n2h1Nf7lXrvcaW+ToqDCev9HX6ZXu9Rr/ee1OvrQq9rHKja17+Cai/P+xdr9/XHa/f109p9/YR2z7E9Q8+Pm9jDC5rDArH3qvn1x6r5+x01j//W//9X83JARDTOfVnjfIxZSO4/xiysE52dSvYmpta9X0ZgWxG4969JYPujCKx6gYIFgUuBtdcyNolux3GaTmAzocmXSyV9/7GJb25x6fh9N6XFza385vOtF6qXqpbH1VYAq/YXLpY6Jqsakidw2QJAFTjSoR9HVJtY6lJiL9m8OtlN22/BcXM4dTnbJPQ8loelfMvzUqOchmlQO2+2WR6an5wW2rWFpR5yamg3BPp5VAiBlgf0Rpf7dii2Okflzt890Tkud37+FGjbqnQX4Hq3sLTlErlNx/Kf2o7kTp2A0dmj6hbe7nKJ67JvyfSNR5eNML0cps5pVW4G+U0Rzq2bpKiTzzoXlpPKCzt6u6zyWLz1WPJxj9lu+blvt5GxvfLtYn3lliQw1M5Z0SaH09Qpq01jlDdapcY4b3Q3jY6VNzqlRltzS+lpx9EsUW7zLqsJo/zQefW0Oc8j8XiOnMrg/vfoiiWnuFn80cePpl29vYxx813L/GBQ6SiCFN3wG3uOE9x+bM+8flOxl18Mve89ufLJHM5u38mc8nms7OL7S6GA/F6oIzuKDvLHLzuJpRdEA6+eyNq8YTVIx6PblG9RzWfjUX/EN6z6syngTZdy2Ky8anKjSyzq+miA+la0mZ8UUF+K3t72b1dqa0kbiJHfJo/uDsIZbg4Blj5cvXmxQV0Vn8k2jcr3qzeXFZxqe92Bj0Jxg5yQ6r7O77f3uC78ZHuv2Dg/ODioP7RS6mhaQWBAOMHD6lTfFRaCZ8uMu+vZODV6STbKeKRousyK82IKSuWzLrifY8KA0raOjlgLk805XkVz+XX18vEqNe/N8pqlVchR3/DM/H55PZtKmr6gynB0xfPY9VIVLuDMD6bfjJaHmdGbzZYZfLz5STaZ3aRdbTo2Txr1L5Nl//rtajpFpIt1H41Zv4631XsckBZMapDm78wjMJkXdTK6i+mVPuA1WCR3md596JYOV+mW6kmvzdE0qXeRLNUJm+rZv3rpuOReKNuDld4XmWoFo8rztbbR7QjOxZGwrt4HwO3WajrCtCf1oy9fPn+tDoC9ff76T/ro2kIppErH52/fnv/1+St0e1fpqya41VkOk1UgKiZQFQ/UYT5TX3Gw4mIzSy0TUGX6WKmSi85rLJVSOVlHH61PwdrL4kprzw7fUdXKrYMpvnv55uvqYVGALr2nMxj1l3zFenMSdHMQlHUOZFil1PXlZiEeEkjaTsFaNvn0X5kEtQSg/M2K1LswEq5Vomxut8oLuC0RuXks25BxOq1XDrXuWp2SLVPP5N6DpEPlD7UZYRqEVj4D+7i909Ai1sfSEI+NwCNYtVQVuJUDsv8j85ibveL8piKP+QAlS+8G527TI1Zwyx3PXYNd67d5XYIsVf9xNK+XeYqncJdY7GxZz8sVaOFY8KhePV+X6hoIv+Gu2uRpU/9qf6hxuU1X6bsRn26Pqi93hSpS9HGiQp3FY4IrOSMoFT0m89EYTTxMWLwGJ8NsBEqvjHHBNZbBG2q9S1x5eaqOMs7GqwmcuLxuT+n4lRzKLB1xXqSsqiQnrnkruzjcdD68/EcLJGfBupkkv7a2cl5ebuj3HYZXFQNaltWdJ/aU922xvgMcunqZbG4h4llFwh4h7R5B2rjFBXqaKbarzMizSSZnDq5Ws1WmemNuF22G4I1tT+ex7vblE/Ccy8Y+Udwa4mM99bJEsQGCgLXudqfJJO12GekfdEGF0bTbPdAv7E/IU0Z2rw+8yom/jvg4aAOlrphcaUiZRhJctzX4Br/imJjloSyreHOp8qiz/1FHPar21XtSULbymLv/MVc95qrB6N5tPeftf86rPCevJnRK2kEFFDJ1U1Pg2Jg2zB2fVPzRxiYc4TliMjTV3INAOFwpPEE8SYzp2swXde0FMIIB3N/9/J+UkTnfUZjf/+4f9cPlDTxPfuNn+7dv237+t2rnp6bC3xnW736FnxX4f4Hhf/d/8+f3xgvYp9HSeJfcj+nrXy0n/ZspC/GC965Gy+tVD7HA5GTTfpJMJs1sNPl3L7KdJHAjx+XngryUH41I+ont2v3E9ftuGA1j1xrEEu8li/71STYb36aDVg2m5i3YdzZY9VPDtx1jni6a1KdiHpPFKIPktIyvpuN7MWDz0ZSlYaazaVPV8JG+dwg6Znetmo56SqyMaOhutrhh+TwPf9O903dh6lrfAzpRqGnlBTHHmHB/+9mtyZvmBJHASJ+rHiFQ4BtLc5MBrTlPltfjUS9/VsU6uD+d5015uM7Wee3F25efn7/rzFtpv6X+rr396is0KDitN/hd73aH8Am6XbFgpFG90QJKcEuUJ/L9rFeO37SGvpi3ihfHksVEv1y1mEg908NXCE4OzcP/ePWtf9i4VHCy1WSSLO7r8qaV8goKkDwg1Xn/oVBO+wGV8iSLzsVCeooOE63IktIXh3jy8LLTwa/LU1Yx7GwsOu7S9Ti8bKrR2UD8Dy8vL9i/BG9x2ThNBvJsL6sTziYxh8XNlp0M1E4H9QtxFSVmK6CZs9Ui6xSj6bl29g9qCpJKlQ4aiowLc1Bo5oV0aFyaN+l9R5VzNNbtplSFuzjkvUOo34u2f7l1Dk6gdwS9aYdGZbFomOJCl0bEBNmkZqhvA/S+LsmAHZL1vvt8VYq3j47eH7IOA2y0nTaDQ3F30QFLjw5nHTaiW6mPt6+P12h8MIXM8qZW1pG/1QosF+DuDjuDkHJxePkYI2jWOb0eLYvH+PdHPaWdt0XxpFrRo7q9r7sy1E27UYXcOBF3T/15overwQydnLIXtxcKwGUTfwnHK+RuCUKnRCSJndUblxU/SZaXOmt531HLbi7SZHDfgX9fB7ApsaOO48syuK4s8OGlonZxs7S4+p6zwUOBL/BomD+M1353Mpqusu4YYBWr3Qu1+E/O9vy2rG9Hvr7uLljjKx10SQ/NQrgDeOrwAtZG0icKnFpt+deUFeQ/ptznXydyR7af5I9NFNUQlUNvsZ4XU+zkqrb1fHG1Ys3vN7xa1CHqrWQw6Ca6uX5YaPBDUxxssKipczQdb193KPnDosfhlro/3PfEdA9oLBS6Lq6yTtISTPlERvwy4Lk07DPOIWtNz9hVlanpcIQWyDhAWEHlfnJ4NRsP0ql2/TQGLbJFd5muGbye6qV5X+ii9nvFd+1FzoBa57JB8eaHDVdfXRxy9Q4vL9oKn8sPhXPaubg8vQP3dWiwWpMZIrTZdNTXhdWl9Nhk3rpKl8ziCT6H2Ty5I4pvZrNxXQBq6kvlNlZyaVe3L83FQkkGqEleqLNPazRJ5nUYK1NCdG1gzP71anrDpEEnamy/5AN0W8AgnQ52jviCpeqjY7vxB9fpdKy2cnwP6SCMU+j9QxM3TSEeeOSQE+7iD+Ht+vbMm7xtOg1zOF5l1x2+iV0kGzr7rOIpbrRUwZp6XzykjrLeplBYuqohO/vH0vTrlIlp6rcGc1WmL7f1oI4QKh6CgJGCN3fQNKliI+G7ATyQjAeczSxlVLeEou7UQRHzsH3YaBwf/r/kfkW90gPvb9q3MuyNmeuWFgBPwOtSL+eTjmKwDyZTu9NlxwFapWAQGjcPBQ/bSshrv/vt53/bj1ZU/ByNqKl/QvznBAj2qvGf/Vv89yv9vD9Q2u2gffArRoBtlaqUv3UqURIa+CNxGL/RHWKXRQq/JttUb7hO07FUp2gGPX53exg1VFF1+Z4Sd+UWM8JMrqCRsmXLeCkPto1eigAS7kxvAddM8O9fQ00DbvrvOagBPydse0kS9uPAcTGdXur4CT9i7A9Dy2sZfxkt28aI6hDeXnMyaI6T1ZQl6U+uZsm46dph1JT9sWZ2jfBt0Ny4Ic2b0fLfPT9lMfKBnTjxcNhP4kFgRcPBMLD6sdUbQhK8gTOw7NaBeXB3nXBVVKZ2k6i95D4LSfMWnJvTpQ7g+u8uh2wVySluynKLbNJFLGy17JbVms+ypa1IWd30bPI9OroEi6QPF09loVvX6RrYSEZKQoGDts7YmQdTFRsctO3APMjD3oM2eEoSX66F/w7aF65lutalqVsdv+v5aHV80/MvP5gHOd6caJej7QA4sNZ2y0+skN/yTqx+L5gfR0CKzeCxKBy4qdUfWO6muQc+DIbxMHSTXr/Ue9AP+t7QjT3bCjfNQewmYeoOfdvyk02z7fYSrz/oufwW2aY5DAdBaIWDyA/SqNw87Pl2v+8P3H6pd9JzrKRneaETBCW8/cQfOI5l+/1kEG+aozR2/IHXd8CCJUz8oWX1h+CdNHHsMoKuFwwjL+Hn7jfNnhv44ONh4IChS72BIRg7GviuN9w0x+BJfuHVT2NfaLKzVIpGVmoPhoPQTl279DQ/m9tLID9YiNL0+o5vpVbat6J0UKK/F/TtdBBFXjRISr1DiJnlRUPHDsvNdsTC83GY9HrD0pD8YH2Q9oMIUxmUgAyiXkgIlh9bJU4IbTeNUzsOBnaJGIFtpZw4WqMSoWN/6LlD1+kP7UrvIEiGQy/wQtcr0z9OwHiRH/X8XgkIZmcNwaUB+MQp9e77PrAJ/bSf9EoMEvrxYNBLB4mvGOTyw4dfTf/DK3T8oHU9n//jxnjc/tuITbfyv1bo2/Zv9v/X+Dk5+ackgDHs1xNugGajKxjm5iS5mo6Wq0FqgBub/KoJGDO9Shd6h3SUqcLk4i4slqfGdGYwbFxMk7Fxjbga0ZVA/Xx0O5LNT11nPM3KZcZbxmf8YMqcIat8H2aR/rAawXOYzqbT9AqNt6m6PR3w4ynzRcIDGrNpP639fjTtj4nhWT9bDoDes3KTSg+Um5ha6KrqQpWefIWi3MDP1UyvntXwe9VfGufG+5qhthK7S4PfZeu8/3DKUzpjAyh2hjyocVozzuuNjk5a4AqB23yM2Z71x8DEeCeJDQZqBnBtt/Fnb5x2R8MzuRxlXSHvIhmfvXvWbktCyeSU2m3JiFjPAP+dcdt4zyHzZ9RabZ749NPbM+uUX5/roNsfc6TrVqNZ/H3baJf+Pv1Q4xu/dBQw0/pgtuI3LwaN94p89cGzjvXpp4Mz2Jiocdrt8lHbiUCIaadeumwM1LD1HHZjesqv35Ua6tNnzwJPRjyvizkz4PEtjoys8V4Rs1M/yhDFNhEdj4b1aeP4ODuVN5PR3nh/RKbryL9H53Xbahyfo/34uHlo4YEPpMv0008/IVfVZRQBqi6VR/VeJwg/qRPXn4jfT/wW30/8EJ88MpKDZsuseII73WwcddzTEWhx2myOGkCOnwlsaHCBdzQ6DrxmV05iLRGA98c/jseqz2l+ppPgb2ejgdFnYrDeeA8oCrnGhos+7DLOs3dE5RaL0V2is0ILnNCpv2twGvkAXPDmbfuWMLiDPOrLbPqTuSb2+aeJmf/Va+zObNRscmZJi3h/0um1ynNUrWeq8Y9Nu21XJnauRXi2aOYonhsLtVhcS70qjUWLc/0E/+SPL/j4cDFKWc6IC5YD6nT2410gREjAEr8+/ZSzTMxeo9OxHoL3yePwPqkngNZ46Omzp5H5RCHzR7lo1+XXH3PEnlnt/M8z68FRnj06Su8seRC9pyaHZx8e9UnKnCnCaLY6N5LBAPZh/1NY94qe6GNJNrwGNjvzTkfHx433/eOqBlEsdqxY7HQhv0rqo3/af/asE3inH7Rq+qTfqDBRgR1Ds8ewK3T5g6iV8b+tYqnQO+7nCCqsmxs8b0/7++Z1dvsg4npNNjJ0/DDuIqAbzscidfRikLVOlXxJj9MPkvjHAwUPdiz21+TZ339zv2cm+f2eur9oadX1OPbNx0XluN6siNnmwaOHp713lahXFHEbeT2RBznve/z9/ZnXHJ1+/zDvHXFxv788lqU9/l4zIf54ig0/lOio1cDpR1LrrKxZiGlW2N6MC3aqVx0XcMQaBSx2nXayk8AzbzrZH4DQhkbTDY3KXNqcXp6d3RDYzaefjp5NG+rmT/ndpn357FkdhuymOqOPncqzZ3//qWC5j6f7JnM8BbLFZI6nx/aZV50Q2zDh/8GEPt3PkPnCJ8r2fKIk8fQhPq0oik9z9fbYuD/9/cf96WPGPXl83F5LW3EM+cNpSbHAomm4P8DzpVjWOZytRnXUL3hYVcW6SCcV/VtyQyr9fuzU0fXsDL7jT2oypz9sG4f6jyccwxJ/a9L58Q/q6vQD3VutBj8R1wbYJAobULD+GH7rTn1HR5ChcjysS/N+q0uv1EVhYP7YWZ/cC8IV7/hHaar6xz8W/rGgTMWHuSScUWvjIp7zBeNO7xT/llpF3DrsqdzXJm+rP9kTgcn07CwrqA05O70htW9Ibb2UeNpEP20nMLS2BHm7oHwDMYWEFSGE3YCI3fxBENcDPXtmC+F/2FWKP2wL3g/iPX66MX0bX2RjM0qe/3Hv9EO5f/OJ/s2t/kdP9D/a6n/yRP+Trf5n8MS06tvtzBWo9IYlebj3s2dbvX96ApefetvEPK5X+x13bIIsd8DwNLGz8UB768fH6nd+6HQ82KJ4cwtocwsoOuwAbTZ3gdY+nP62P7n7czOd9bJ/2M7fR+X/PMcOtvN/YWD9lv/7193/OzAPhPEO2hfvD5imwvA/jLnPpFNaB23bPOBJqdH0CvcsI0vHaX+ZGTwZc8qj45LRyliluX+TDgwekFG1V4zFapwefDALwOrwe5qWoTtAObAC2/LcKPCjuDyYfmNSXv0z+U3EMjB5G8Ypg4owQ8e39JbYBsxtshgl037Ks63yNsoOrKtk3u0n88qsnTKISbIeTVYTIxuN0+mySSCl7ydmZViL61llfoG19VOGqz8RzXr649H1bDYwJvC6dvAbD7ryPcIy4CCybD/2rci1fTf0gtjzypCLJOp4dtWUN654by/kQWXedhg8gnABbTDKQE4meHdgDrrD8Wy2qEDdC2yCBSZVkx6YcbUUXFXh0cnsNt2Bmyx63eU1Tx3DjpSh+9ZjNOYua7oY8ZT/csHX4wDH6K+Ws+FwZ4jJaN0dzx6DXcV/LR8sH8/uUla2z8d5BPj1qAw8jj8G/Go+/xjw6m1LKUVaHSN8jAH5kK4V0JMi4lPy4OJqxHx+H1cjnrxSFU53hpyvxuPyWK5vPc47hh4Pz/HDZNPZtDfCENMrg5vquzIupyCvqpIZlmEqRaN00EB9eWLA6hv0OnYhTfuVpS0DAkWzdMmPWBzbZtM2jx2z6Zwaffm0kW26pl8Gt2RVqd5qcJVWZLIigfNFOoIbDbUzXmXG1WI0aF4DV/3UNjDIQpd+e0XEK+Rjt/yFbUMkzHCOjuSZHWDJegeY7exCU6+Jn+RA03UfqFJp9NPRmKvy0AB3o0G6M4IXlQdgl6lM21AWx0gQf0gR+z1Q1frsI4Jn7a73k1TQ4PaSIdqF90vo8MNV1fZAHcNZ8oM4DMIg3oOzcL4qP5x/aLYKr2IXm777OIx0PZ9NYYwqMG4qOIWRE0VRHDp2HIWevQtP6oflVraojtzYj99NFT/P/Xh4+3CdXydZ2lWnWUTKHvQ5lAwqv4OLod7J0qZTwFSW/p6vz3Zlk/JBkOjUh74YjpMrIxlCr6pNTb4TrWYCSd0DdFvfPQGTCk8eKYuP2v8bVJjywjJt04GS8S7LEGGo8jfQFPD8ajXNr7ljtDCqV/ldQ8aqysWgO05v0/H26J4ZmfB47MCElnAC060i0oN3kg6Nrz+XzeDFfKa+SGQoWDy02ptXxrmT1x8fVLaCGE/Yqi/qKK6mplhNZcN5F1w/5cAV2le1I4H1oQ1gTGivuFnNrJUxu5s2lXlTGr4KFhqiYr+qOjL3+qqwt12S62Q87NJ2VlR3xRKQR5uCjpprfzyaG3yuCS0p36LeTL8ycWqwLYfZftTZKVDOP+LNk2R7/JAfH/TRKuukt+4Hxp+SVZbBi+axvl7Sg1Zc3iv1u2O0h/rbLN3c7+4ORrcPWsnCOc+uF6PpDfzK21HG74PTlJcHAw9iGRTWZTUyGHaVQ1SdS8UXViW0YY8yQlLd5f3lvJz2IL0d7bry/b2woz2g+yv1lS6ajI+FfrXCPXibd5VwIS7/VC2qkn1wdm80oG3VS2vwhCP14i06jseJUrq7I10jYKwwe4WJ/IpbNU5+2Uh3zj790qSsNm2X/4DBmhH+Z4uP/2Hem7zh+PifHUL87+F/+F82PTG0xXjEbOJGgGfwCJ5AZ3pphd40fTMwQ2ix2MQTeJDazDMBjQrNNzEERsKAGBfDEw3iA8Quq8s51dU/ylpJ3gkomZtsV6Fb3ZttnRpWIEN3CmWMG76mT6e3vx/OYhtO5GM+mA2ng8nYjov/+Tem6qLdDTFTTBjxn+0F+B+q3MM9TNb20e6jDatrB3guwO8Q7SE8Wqc6dShKUXTEby9i/V2T5e4h++VueKErIzwIOesn42pS4NE4Yspv/ckzlDLy5Za5UHDt3SVxf9mi2HsWBYS3QEw71osRKX5yQWQXC+aC6C7ugelseEpqcXy9QKFaJFkgwPE9vUhswzMByBjQGKM9wDNBoBYuwH14lvkC2iH6hIAdok+IexHayCxRDKZ3fu4C27sLHIsUEQMKko0hYhEnyJxjgg0xcYgW3AUHYhaZYEgeMCZrwYEwQQKwphuZoAPIABb1HNOLfjZ/2Lv88XjA/5H84ezyh/NLOcTZ5ZAQq2eRE2wtpmXOiDR3UGydEodo8S2LLblCOCLnhjIn/GwxdvaIsVrXBxaVivPnr5nzD1oz9+8m0+4emQaVye2Or1cq1KuUr1BZfmO9Smj3/S3ZdT9CbmmbAi23uI5wHXEhfvaKuntW1H5KZMvy+ncVVnd34Xcd1l+y8t7fbeW93ZWPbWVad2SzLJexWmmRw0ivpPtzV8vbK396eUqS98vEzvs7id3lh9/2437tn0lyk3ZVxP4PKwHz5Pt/tr1d/8UPgt/2//6l6798rj6ezTfZZouRSvyrijCS4/mPN68MURO98axnLGdGYoxn0BjGi+NjfeDfZG5lzMIMpVouUr4lr9Hy5qOrrMx631fe4n9zcrjZGd9+df8vHXS/UB0OL0+10ss6728uDqkYDy/b+Es365e7b6jp/vKh9lmHsH+Yj1u9UQG4d79kPYeWJAHrPb6xbdoN1jbVVQdYvOKzRqdjWwgdJXv12UXbu+x0eocglH1YIxmyzsXh5nWOw2NBUu3uspYAX44Qmg/20ZmlwGb8qu1o2To0D/XLCO8kY/ZejsyNzenCnPZP1VF1puSOjNvTD6eggBRdY9mBmqoNoDMRm+IAFz4jEnCJyWJPZhBErhn7cZzX3c2Bd6TgXU7Qi+GhMjDvRx+674cfDi/V+4pDVZfmhq/9sz7EYT87bORYtJL5nNUE6jlMLJhMkOjl5QvGpW9+jRvV0gaL0r3tj4HNOpjacX18NF0cLxpH9Wn/2G6c3rKCRGu4mE30Sn52MWvPjhGTHmI9l+P00FSvTqi6AwqdHM/bRu2Rr3JN+0270b493jPCsXPcxyjucf/njCOMkrcND4u1NP4KIl9cdt6/PzwGRVvfz0bTOqs5gBNMAcRSAljtRq0CQkNQjPLu+WevXn5NKCUgh+//kJnqv7/+Iftw+If6UWaOGrqMRFZlFLWGxVCzjlXbSE9738jE/U338LiQvZZsXNYBonN4DOzrM/wJYKezY6nBUxZNKXUwykby/ms/rdyTGhYNdTjOrj009Os3z98+//Lr6lA1yrg2qtfz+WGlaAOlW1FGYOoCDf+ss0n5W7v/zPpvVmD9Vv/t/5r9f7lOYGCGo3U6aEopbTnaY5yokzyzvOiSFKYwPuM79bpQQCubGb10KO/7i81v1c71u4LF99mNhO/0qcw4HQapeZMYmXrlMB0PmzzCn4y4VZG/aDhiXRmWBlJVg2rvisKppjFa6pqsUgwOsnw9Sfn2h+wjSf1onvJIWSR1kbIYisGyANTgarK5d9Ln23VSGO7FPodFKsztqyxHzc+GXpIX3JSi7PrvDaWktGu/9ueXb19+tOvzl9dfffZ1xfnh44/4P4XnU3t1/lnnRevF569e0Uzo54pVOmw0ap+/QYc3X52/fvfybf1Fq99Vr/w1To3z7Tu66jn3cTsA3FJwpOj5qRQwZTlOoV/nYgPJLP35+Rvz/M3lqfTFNOVNxgIyXKmbMlxcnrIcZwnq53iYLbvPsmxq+WFen/KfLZxYSWo/bgUs81HcBebu+Jsa/Hqbe/RjWl+b96Yq3lopld/ryGcAirstxXS6k76qVDDrmZh1vdy5URpRNpVV1X+W/E/WZnJvLs0HR3+45y/DhDjIEynwyOrJYqJrvZlHR0rG8rFVXbSPcMPJ8R9OVfeLwx/G68PLjlTlB+xK3Tntfu8vhSg9VlMIw920ozFp3aT3PA+vYOurmq5mpfu2F8kIPsVf2eXlYjFbwA/TtwyRrLbxXl9/0KNocHk9Kj3rMor5ZPITR5gvMZbNEl1wdpwsyz7whhQbH/e2o+EUJER40ylTsfy9oZLjNFDeUnu7gBcdrtvGJ+J4DRq7MxdVYojX1zZKTtyWUwzU8yphJX9ZvpEm96o+bv6Kal51kl3M7a8rCFupyrz7WUpD2QicuZEEs8qQpccEbrkqZw45LxEueckd1lUi0XkQ7KmqNV5Ur7adCA7tatmp1KxP+61yFeu8EL4U6zOlABt67C2Aj/aHCsBXAJi7paYfIVCmNQRLvW8Kb3P/qdHYaais3XtVFK8tVJQSj20SRBV/bKuShazhznLaugSlFLGU8S5sW9qlxmSlmeW0DydWtZEltA9ls3qrt8sbeY22Tdl4wP7wYCW0fUWxpTTpkxWxn+l62DZLYuS1BUuFWC8q2qf0QeelqkCny9V2ecE3XmZ3nUp1WLZcHPbnqy5M975HmsvdKnF4ploz77eM6b/Wj/bW+v+8+i88qu7tvP/hO7/Ff//a9V9ejWAsknERf5XCKtGes6GKCBljUeW1jK8luaXOaj1c4mVTWuVgU9zooFyYZYVAr1yBRbyEZ9UCL6omy6MFXpLx1UxwflarraRMuBRKWY7S0xIOmzTQQY2vESQ8fNWXPTWdQ+KLjUcGomFEq53pajyeLxenNf3unfFN/WDPVuYB1ubVa6d+EMSu7YV2ZPl+HHu+a8Vy6133Rf0gxPL4lYdOa+fGZDWunxuJeW6UXpM/6p18I6/Vkbh7bn/DNw/xcNLDzXVxY31m/bG5bq/lUR4v5F1z+/H1WfLHpF1fP+v9sddeNwTQeKoA6bd918/khe2bjqVLsKzPvmm8Xx91HL4zevpBNz7rOEdsP2H78fHph3PjviMor5vfmOvjbzD3e6fDKd6b9w3zh869+WPnvngRddpxT6dnHSc+nR53nMb7H6TrD+a90zj98bjzw8n09ING2jn68fjmCDQWdNP1fKQQHg2BW9MjHkVJknwSZ4GF5lP1ymud6Fp/XB8DxonTXjfld+MEvxqtTY2VM5bdqct71Z11U0Y0F2oKC3PB9v+vvS+Bjiw7y7tvr1W7ep+emh6PVE961V2Ltpb01O6ZXkZMz3TP9LRtRihySVXq1rRUKlVVSyp1NzMsOQRiJywxxoEYs8RAgMDhQAKHGGc7IUCCbU5OwAaCAS9gBnv2bqlU9fL9975atPWYc2JIiF7PlO67/13++99/ve+9e+l4GntgoD8+hNZ7OSBuDfZDbdZvh/roJhfnX0svplJu/UQiPtDXUAyc1NgIHwWvkhdUpK56Ud2iRASJ2pez9PnumXxPeJx/gnvTHM6fctP8c3eQKLe4WGggkR2t02cchF/tuYapyFg5O1abjhuIdOgdJkTFCf4a8JDVZ8Xv8hbo++QbJtjiNhL2jRH61vXGKczG3a1fnw+Kr8/tcK43cypnokT1o/NR3J/JDeOX45dNzdbQAxuvmmNC5CauTF05d2HqiWvPX75wYbJxWmsbfBNliAEiRLdVaxW9mNZ4+ASka2AgPhQf7BtIkJDGScYENWZEb9Z49f1P+kK1aPOO6WP2Yr33J3brHQJx5trweDjKZTYTPpHop90hTw9AzIdOx4Q0EyUatzaaGb59YjAaTQwlyN72JQaGhqigdWIgMZg4PRCPRxP9idgA1wnITSROg/oDA9HBIaoSdbPhEUcHT8dPx/pODw4Nxmr58XgsHkv0nx6IDZw+nWjMx8AHhgYG0Vqi+hnXibtmhjNhBnLYOx6e4eNIhU8Moa+hRN/gQN9QIga23WscscH+/oGBwRgoS/v9VXEbwMhicA+AYHSwhgI6H4oOJgiT030DsRpmINdAX7xvaHDw9MBgX604kSORGMD/g8ClPpLB07BlA/C9+2P0Fmwtv68v2hdDnf6heB88k9oIhZilGkdIr2vyXA4RU783q1ictzJWyqwJGp/4CDUzTD9gJmFVyGiNjlv4NyYMHynQBfDXMv6fX8TPjTnO28sNond7fnHUXujqWoDszLn8ZC1Y0bsk8imbi+yyaSWF9M8vRhasPEK+aXF/Y869zyZtkp4kUtM8NW1aL9jE4tPIMSOUSqIU5+wXRmuc/fT4+6ZemLpw6fLl52pbO91+wVoYnV88M784fGPOWj5VK3zh7KVLj5994qmp95x9bvzsM0+cnzo3/p7Ju1wxcnSyyUh22noBAyjYC1yF5VPQkNZygRN82brWy8vRDceGiyvHELUiVY1aozRhUkBt2DCiy/By4S6oTZplIT+90zpV56e65UFMaL1MCkUzOzYg4eZsyc6MjdGu3wt2pivs6ss8qpoWvYZvi4xwHhlEOZQbo/w7dyhp25Tu6govdcXMRzCn5hIsXsNGBuMhOuSamIA6T5OCgcj1kO13N2igPdAQS1LtM/2J4f44cMrahHLGygs7VbDTvYO9fNeswlidcQpj0AxnXIzj/f3AeTg7Olqo9l8YjQz0CbJlx8YQORI6oL7AKCUwAk9eFFiFU6OjCMrNUxf5Vms9Fx+pZZmZO7AIAl+ie8aM9Nd0ODVXRddK9+Yj/YNCvfJXwMkiz3Ken7XrqAuc+xOizVne6Cynb352rB9GPz8bsdHFLCfErJUHUGxehMLCVoVnXXQFLQljSj1SA+yKNEzbQF8kH8nP1kwQPYd2J7k/0Qvei9RGkzN3ija5AqFsLo1xrbiEW+Hbe8A54/bS7QxILhBrhW+gWzGPaftGBE54jbeJcgtW2rTtlTMLQu55Vm+smtkbE9npKtfTS+d1dsLk3YzSDJI7t8rz6Ns6Tu4Fe6t1n1+0UfbGHH57Y0Sv8M3o2BgvTowLLQQf7sYcOWwAojQy8SsoyM+UEDuzkAM4vzhyk7QV+XdEA5J1vvEO+HOsP0ENQiYKrkzUdmJCAZf9blpp6yKGmFw1qWnq1EWVbt2x0ueE6C5LBjoLBU3fGoiB4ofuZ4oW37WMFrL5Nn38+0me5B+DkBLgd/StXu2mRiE0N3btVGwLlS7aLtcCyPkRbQtXJ7s6NlZrlXaVgwagvGrbNNQ7d5KrtvgzxoExs7HxpDUt+GAE8Qdtk0PTTKyUFf5GOHmH71fXWOdmFETquXgqfA38me4Fcc36jHBuSIKWmNmLtJbPx9bLs6e3Z4seSM3EhqNmb3i6lqS2xgTxql0nRhrmQxQkJ5sTorgLIYrbCRGe2aXYzI5iyaKAJLdBGklQjFrFmLUWtdYEM6aLVnqNk1BA0kWXikWT5/KSKCJyZ4pi5MXonWLMxWMtemcttpXS1HAqbafXIukiZ9T0WOzOnVR6FHq/XojybTsGfzcKVzc2shbjf2r7qhEUFW4XBbgowOki2h25u+uOZeRwzo3GzxSjwzRIOzzXxTE7sxYdXuNyKii0NmoX65K0FrE5luSAC3nbiqSQsjWQRohZsQqO1WOnqmrLJudyo65eWyL5zpi3tygyNHgDurrmHGRIU8YjN2AgodruuiqW0lzn1U0X8Fuo4XcbSdCiUdZvw3O5uysaqXp4yzVs0tX100LRg3WrWULLJ28VFkMTaG7SxhAydfcBWVC50d17WRE6vFo5zSuvCPnKc1ZCddNeIi1NtqWxWTJ0g1ubJV0kWobQLNy8RbprBYPIkcLKVRXYFo21EOV/MjMPUlrjoWcv8pxnL56nm6fEzVPnuWLKrrgiuLJDBHO7qKzc6s5iu0hqbg95vM33lrIWuHfaqCy5Jj1DP8NcdQqiZhesLJF1BehV85ILVlLkgQpncsXh3GoVtLxgLTeAVodzxcbZSIrpyCHRcxF10r02vI3EDtjyggvsXU6PwMMKJ9PklAhzdKZ/aLh/ENg/bScXaPulZNqmAnkEjPAXySF0vZMBd5mjQIvqXFDDS71Pn1oyaTcrHh7aS+Z0Lp28ObIEcby7BY3wEvjTvBNe6ll6xH6a61kXqUZ0U5R49qnqWDCnOwbzbHWkvZh+jCYJldSfOJNM03fgLt1StBsX597wRQgnABF6PytMAxRjM2nPL+p8qxLKzLj7JhIv2gvR3vAc6Z7oMP7EgDT+xGlrV/xNnIkPR+Lk1qRm7BR8e7fvzIKVEWKXXehJIcDK5HvtbLo3lY4sc5OfyY9GOaciEenvqyuxjKsrFqxIRqiLDHda6gXI57hb12e8K8xpBG33Jyx0Ztvgqypr0jxZC3fr6qXOq8KhmJ7LJFOu4yb8MdJwK2ZvLDIQFcNJFugsi4I90TUZdj12t7U0La6QFU6bo/bK8LVR7vdFwOp3+Xa2bs1w2jTT8KSqFqGW3QtfIF0PDtK7aaQcxYuZWwtiRaIRSWQiOkKC8mniERtCyaao6zTRN5+xUYYQGkHQiFLu5p0i380D8rQct2TnM6dE3aUxO1x1xk3zNiHIW8Q0NLS4R0vVdtBkYWVuJm3He8L5TGSpB/EoD1Yocyyfgj4RcDufcmMlMqLm7SXR3ZK9BYmaAMZHCJ+7tflcEn7wOK1A0ANt6NfkXIrMBH/ViNxCerhJsjo/t+C2ghiJ+qCSXLVRYswG/M4dUY3niqSbz1sRfhyleG7DQiJn+yWu2DBhHAV3QTEltuFemMuEXV4T7SJaF7cCPwpEIlnhDzcsBFzjGbTh3/bVrWtjY7Q7Gi3JpnPZqm20eGRV20SVB9KRpEWhEmf3bDInPmznnFyYFjZmLj2fMm/XX45EkYn+Sb6F+e0rU/zt0Kno1FNXrfrNc403TzTeXH3i7KXzd61axVhjxVhjxVhjxdiOivHGivHGivHGivEdFRONFRONFRONFRM7KvY1VuxrrNjXWLHPrXi3tlEd6FWYnpzghJzk7Ji/lZut0ti1+dk4p/ZNJAsiInlxwdr2NCFbnQb+Ym5XwXZfzUXrgslu5u1sb30W0TpCwdyOzJhpzezI5Jqaf75jZye2QBLm5IiwADVmhXU+dW2XBW9CPJyduDL13qmnz75vEp4ttToLpRuZ6xHh7ouNrcR3b+XFBap23c7GIy+61ZJ2FKF41JqpPUxIjhZOZuYj8a6um/mJJO3Tat80k5B/Ac4ROEfgXH4ix8FzZq4GniHwDIFn8hMzHPyiOQPweGh5YmiyZvbm0d/8aHxkHlavmkdP4aP05B35+G2AzCxSefwCgl9Alifme/p6Uaon3oucSbtwcnkCDkbvvNlDCPbmCMjTM70zvEgPn4URLrz0/ftEfHd0oLVukR68ibYiRINJs+faqbBLDTeH/BPIaq2BNTSwhlhiDQ0sTaxN2lxBLCNl4ae3b9K6RXX4y+GN9XaOmfYWnaX+5/gIIkRmgYFLcDcHra1GRTdLtJvpEsZj5WZNazVWzY1RboLnjuxNSnQ4wzt8kchkRmjiRIfuFLo5fLWHt7waRSfWzKz71vxEwzRkxqJnMmIp/u5dl87zLjX4j6gBfEUCOAPlBkisCklwyHWz5ka4bfAmUd9NoXyhINa5sov5eJjWeLfKd9aNLFYgmpCg+NSl8+85f+nqiFj+pc1fG59jUO4YcvuGGrL7hlxxmV+0+dpN35DL7zfmIvOLYzHXc0vZ4flFhPFVz3RlYiGFZkbtZVrCWUgJbwT1kawNa7HnWm94ObIyMb9IXZ5CrRtzk+Le3OadjI/xnfbIdYJGWxHKLXtDBDP5YsbadfiN69c9fAXffezmGlFBSk6eq+eq5BHjuzk60NWVJ0MtyH0T/AAkb3KJLhRs/hwznE9FqnAxhIbSdYhpRclAk2YW9VZOCZ129fnzVyZ7RfqJ8/SSK1pB4brGQ6PWypIN/RjZVszsaWhjxFX+mRkKILJx7nDcIF/2dmHapoLCmIyfuzo5ko27WMQb0bB4B2efe3zqybOXLkw9fvaZc4TMbplm7265I+gcDthOkOsIbkekl2NITn4CkQLmEF5/zOTocYbehl7W5B2AAeHtrSZtbvMwZFg72LqbEAYafSSGgr0rS5EVa3W6XqaBnhFUQEFK7KgWWVki8zJtr07zByzied7q9CnOO6ZYCp1N2qvJRnCyEVyL0DmJZ6fd2UTfUxfOnwcriPzk9nwRyfPvqa7Sm2W01TKCUSuftXJWdtXKFkeqRwSgUdQvWDOZAmILq37oriXeTxupCgUCA584gWCq+shhbi29OBvmPZijQ1Hx4JBXo2VyiwO68rtJEuSYEL547exzEJXL750kdVDPeXL84pOTxHazEJnFrq5ZWp5FVHBS4FSPO2Yj9AgJjjHgiHtmz9DdMKVrmmEWtBDn9oROPHGiikao4V3v6qEwq5abKLqJnlAuubKLHhTvTWRHBG3zt++O5E/ms/DQi6Twx+l5a/5kzqZMJBbs+UyY0pSbXbVdeLbIKyAFFsFPko9//Jnx5/kcjghHJL0wky2GCQ0Q0iV4vv5AiSo/cHz0crM7GDRi3nZR3tJ6F52tvLJ768kHts5fvBZr1VWahZKrqVqyyB/L8BqFamYdXKymer4uMhe2IV3YgnWBO3N0JPlqyrSSxTA6hxUP010xTGnMUL6AabDydhHTtGot0D3Egv4sw3/Dn5xFk1E4yaWCJ5JCAJK5abERuQVR4O1AIqpjSxVs2ir1JJciAuLPCK0upwr0NgFvACJl80cAAEMC6bdo0brQ7PQwBFC8uc5zuCg/f/7SpanHr527eP75yXrG0+PPTD0+/vzVxizI/Las946fOy/yKDAdoQCTzs0+48aZ1GlydTgpuufoDNfRWR0uurqHSylYlz/2zFrXIrPTpklyOk8nxy/PuZlJdwk/U3edUwVSgSTNZ69MPXH2Cvd6Xti+WCPWapZ7Od9fHb/49Fm4krRe9IKFSTFt95Ez6a35RfQLK76tMDDMEjaEN8dSIDkssKsit+W587z74JkeKYsn0FnxxNnkj53509kqEpTeDY1xRMbJ6XCNDOAsWpHi8S+hd676/DllN96SLZ2z6x3T6+nc9l06N3X1yfEL7kTT3blJjve8+xi6+nD/BV7guScvQ/Nn54AtfxVgSyVUodz5nDVzwxxBf5j4rq55ePQ5WBnRcdLi9+40E2dn58aqlvb5J587f/XJy5fOcf3rAuip+qXLk11d2bnR6v2T45Pm7QXeW3bOmofFoyQM4RwoR1+ouhCODhGZfsyGUssFnl4oAEY/pll/8gCkqPH5LNqJuiYffRVwi/mBzc6mbW4w6SVj4YDkeE/ZtKDR+HvOXgL7Pf302Un3lYfdIOYICWx0hGS6ej6V8AXtqFgGy/E1+xmbWKw2Fy6f7WxvuKHITjQ4Pwp1srRaPdZglkekz156H6ibKnDqXr1yCUbgIsnNbdIqZJJpaYl84wXOnEtQXgum7S7M1wV6d91COoU0nXASROvPPDHZcLdVr7h5WxTLsxerf8+7iaeqf+FvjPDmbWBH61+rJm6rD0J5xp07HMmZ0dzwzFjOpEN6ZjjReXff/MzUZfR/+VrNveOH+jxii7WvHIl4juaZz/h8jrMN1bxy7dIlhDCZ8IwZmafXLLY1yeEjdzHHwARzSpPN4VeePHv1/NSF8eeuPj/1BPp9ftJ9IohowCbJzJvgR+HkW7kcz8rVs/gccBNh2jyQWEEhCwEExQ7L5FzCigg/CKVgqCgnWc1JujlEM3uB/oCpR7hpsskww3PIjXAbZM9Ob1t/IHNDr+5xywQW2hsMR2OV/y3axRFhkmj8lIQhGhEWzCYrttPRKGyxqsjjnzfYVV50c2I8hz/hFhlxnrEQdW8T/Nb1IqseRUE4LPtvwf9//P5/Lk3fgX4jP/9+p++/Y/2xxM73//v33///e/3997j4Rur64jxt9ZlbXMmH+FfO/GD4W9ns/Bwd454rzM3Sd+LfdPXyM6GweHE+lSwk+QGwmXRhZTF309yx/8t0Mp8e6LPW6JPqmfyyNbdY+8I6X0RAncz/DbeHmd5asvE7ri07uFT3a3F7OJm/kYz3D4SnTTpFPTV3PZ0vhBEGdMfSs0PR6dlpOiD6dGx6aHBwOjbbF+0bSvanBxIzs/Fkur8v1p9ID6SHBgcSyXRidig5DcIm4qnZ6Vh/t2+18YvtaRgZm0Z7MpXGXEGm88jkRDg5PdCX4tu+hFcnuonMU2vI6oa7ddLNN32UbU+k5mYK4dq3arkJ8QkeXCX6DMMW39zl3K/QkEvfZNRzxUdpplnfQgWEP3kOTT7HN+sJzy2evMq/qhi/TFFtbWubiVpHDbuvAJ9J26ZPSsNiH5TqR3H0BjvMX7zPFJtsCPaZcr9icj9Wb9hso+FTNj48sR3O173VT8P+OZxG9IPYhFQmnT2Ut8PdFv4Nd9Pni/9Pyr+7E9E3tI93+P4LfL9D/8cT+/t//a1cf/va30c7Vp2VPsY0D1M9gZaOIydi73e+1fkR5xed/+z8rvMHzp85X3Zecb7mvO686bzlvO3cc+47686GU3I2nbJTcRyHMYnJTGEq05jODOZhXuZjfhZgTayVdbDD7DgLszgbZVdYin07+xjTtYp8yI+i7BrLshxbZbfZHfZt7DvZd7MPsu9l38/+GfsQ+0H2YfYj7F+wn2A/xf4V+1n2bolJiqYbHq/PH3CU3uNMQQvPsZtsBbVfRsv/kH0X+0fsH7MPsH+KVr4P7fwAWvpB9kPsn6Olj7IfZT/Gfpz9JPuX7ONo86fZz/B2f479PPsF9kvsV9ivsU+w36Z+vIHmlta29o7OAwcPHT5y9NhDxx8OnXjXY13dYbMn6qjHgkymvr+JzbHvANai3+9Bzx9k/4T3TSMQ2H8UfVKPoj8+irb2arvHo0x51xE+jmdZnt1FO9+NVqgNgf2H0MpH2A+7uP/EDsz/NftFYP5v2K+yf8c+SW3763gT2g1YK60+3tEEyF1FVqD6IXTwk2j0Z0EIQq/zACF3PHo8IKuKLNHFvkNTVFXGJclyTlF0XVEUWZGcS0gblN501v4ARPGgGGt+SfpRWfF4NFV2XmLNH6C0UdnItQd9EVn1BqWWSX8w4H1T0vzeA0/724I+34clI9A15msLBnzeK5LRea69I0jpY5LnkbGWpuZAMOivMO9jg4HmpuZmn/FF5n000tTc0uT3e/6Y6Q/3BluamgI+z6eZ/0BPoKU5GPAbv83YI0daW4LBoM/4Adb0RdPf0hRAmY+xt0qss7Ul4Pcr38S+9sZGu6+52e8LqKxp85XX0G9TwK+zV+5/vqt0//f72pr2EldfQPF6MHQi0V1N9/k0FfSS2bcpelPQMHQd95NINxsewzA8n/2abDS3erwev/ezvl+TjZZWMHLT/2xjP4V0uyfQ/CVNY0/L3tb2Ju9X0ZZ8SPa2HTLeDOi6Kn1S8nW2bQQ9Xl2V1yTvAY/f4/Oig3HJ0+r3B7xeQ5EfkzzNzUG/z4P8gCQF2v1Ie3T1LeYNtvn8Pi8AG+ztQDMGTuk/ZaXgQeDg8xjaS0w/GkS2F4DnWEe42YvyXk8gzDxG2eNDjSb2CPtCRWGy7gvoTZ9wBrxvKZtvrbe2/v5e9JH0ii5DaCXSEPyHOfyPAzmuyJ8B/8ikOiSJSbUS+Cs7pXse548k4jYOlkQjADqSXHlb6zwuRa5LVLt6AQY95Mhswz/eeVx+vTQgqQIsc6jjSA6TN/TTic3KPcmntQBMQF4EUOZo5VLrjY03NMWoMLUMZQZOp3/okxr+crDviTeFNCjqnzDdrS3zjiulZzuaXzckLh+S+lvMw8vR6AjsPNUuyaqsyLyG8knmRau8LIFLzxtgG2Ij3p/yMRbgtWU+KvkZSSeuUhRODln9EGuSHcUFbzzpMXRIplyrvcqaFYk3LkvOGRVM2FhbWWJBlTcONj3p99bBVEBSX2QBTRLVAfa4YFU0JyvTLFgFH2/2EVhTBOYctWusXecjU9QjTT6wvAYmdsHIvMyafQpVV/ztxH8Ai9okQbLWzw55DaYoqu7lbEu1q33LsvYIOxIk6dIhQB7qWozbra+2s44WTat4mM9L0gYoWgciVFVSfSXnaLNP8pQDm36PjrYhIQADQo3Ir/yK83SHlwUDTNn06DohTqKseoGBqmkv/Ten95B6uNRWUtY1Q3MxV4MGoJ7Wa+/5Tef0FwZ9zaV19W1Z19C5pqu6GvDqnW3hgehrjH38xiFZqigldl8VcPrx6Qe6wj3HYFT9D1VUp6xsyPcdVdMhjLqq+Y3m5neF4+3sh5xbwKKM2vJGRUJNj+ZRVb/W3PKucKyd/ZhzE0a37CibrFwq+cg8AkXD5z92qBvgTzmDssoqcqVSkdYZM6hjQ/X6vQ8dPGm2g7/u+bV1nW3UVBphZwR8xwBu20WkvWgBigfg8G5g6sDrbT5wYA8wOvAZLQRu3UNn+IO+A517gktGk7/jWFf3Ho2X3gy2dXaEzT01Nvti6HBXd3BvD+ytQFe3X9obvqmFfc4DPLiyaigP8vBe/YWX38EHdDRPWWVC4zVqRaEZld+VNahNidUUX/Uf6Yyy/DloJ6RIacqkgUQJiHy57DU6j1wnPcRVIgkk1KVcwU1lU+swDxtqZVASaojJXGNITlli5XuBxCOK48iy0SYJWWZcqCVlXals+i3rdWgPKDCV0OMKUMIdUxymyD1H5YoKv0HhStMjcUmX6F7yBvodpaTq/BaC+lvwGDXCWFE0mfnbDgcrkEFVkeBPAPwbLMggqTA/yHXWR2RDpz4BkUh/fYgdY7xxBaKpPv4XHjK+ssbRRJlvZ12gAhqH2GtHvLCQKom2QkYCKuT9zFIrGqkK3dPiFWoRjSucDIqaZCf0ChEEuscfhPohw455kHkBdYKFDIcUqO4NGgEvaWTSLQqnhqK+lx0ziKKy4TUCQu+Jxvk/9Sl2wpBRHWZVh/0l+SPVI2qr6hgzPZhDGpeXW/AqmDSbokVYV5MK3xtqygNzXatNNAH4EIv4VVLtpDegNUm1qOTIce9N97CeJlATjjvAXqEWVYUoI6uS6n/TORk0JDQvQW14vKQ5YKpoVjB4vfRDzu2AzvSy5gBi0LhJZXuJxLrufek/Ohea9YpWgWNiQKl5vJoBiNej+TSf8d5nP+sc6ZBVJ7CJ6oADOeg1oGEEmk70PPfWl53fi7V5JG/F2DR4dVJrqlf3+AOnhuLlrzoep1zqZJ6yvk4KG/VIqRpqe3N/z8Brf+QEWmWPWnEqUkUixEirq16v3tQaPXnq/p86R0t+JsNwS9L/8j6s63zOYDgCB61IT+VVp8nRnJLuyCUH0kyjIzAUW2tP/7vKMLtaGW3XBN1P5save5s7wonu9V2UJowVuKa5o/fUid2Uh4fI4m85GO49UdldaYJjWw52nwxt7q4zgoa3+WB35OHda2+AZs0dZneovHvt15o9rQce6z24t9Jq7egOd+ytsiob4e42+QE6bbOrrfwgnVfxag9UiT/3TkrzM1rpqCFERparilFy3T9Z/SW53OTnvobwRiibCecP6kf/FJzKZogiyY1wKCTXm1LJV32/5L3XDKFRuehAPACoMAigc68ia75+yXfPrwq5gHmH8pLKkld+c0MyoIqMTslY9xCUy4UBJ6RyYPNz9zDnaAEsLxkbJHWQS3CBHtCbX7v3Z1qAkYOhaJ4vsuAmNB55BJpHaa44r6jlgMSoLoF/ix2WSjp0A8ERGdxzDKDFh6JJmvc/sMPKfZ2wwn8+4698igxbAJWmQdNqiINC+n2oW/KVmvyfO8RQCUOW8QeNe3+YPSyX4CHh0n1vkjeGbiWNk1HVvC+xh/xsQyY47AuQNGhImixpOhSGb5G9K1iBH00DR68KKQeZGqBoUfe9yB7xwe9WuIvIUFcnlUwERt+6P82OBSCfjKjiSCo0rkHUJb2EsfhTrL2VfHoU16D7oHRcGirwlnX/N7Nj3rLqyIS8g14h3iqRgNwnyfCfYVFg7FSIFQxGaoOqQ72AzoonGGVmUEXrJWh48vC4XoPXx+nka36YnfRW4IKrG+Srkm6g6lAwUCMeX3sz64WX66C6QTrbMIKSV1OCpGN8nubjCoN/ITGl4nkL+hczbvjLQU1H6AXFd/DQV5xhRNCOfh82WTN0L2bNLytNcsDb3tS8eeXzTp/m8TmvaWXPump4dehkpgX9ul9S2vzn3/17zuihUrm8UZZaXyVHEirXx5okRI1t7PDo6Z92Xii/ffDzzRv39UNlDSrXp/g8pfaAH27vyTMj8F405fVN2YHKdVCZdK6kHyx7g3q5+1w/OYtwwOSyXi63lctQySpo1qlo7eta+MJJgF9HtTfke1xTyF5MWLPuldocvbPl2R4IeUXdotPIz5UDLXIg8K4Lx3ZVmk6nz2DNB9svd+4i8pis1oDTev/48QtHdlMJ7esBSW8vPXTizOHddYa3wzDWjz/6+B6uZrnTOaC1P2bv4Sz+4cEjqtZ7eFjd09NsPeLrjT9AK77Rap58kCv5F73H1AfpvC/2rD9QJ778yXdQml7dDc25d2kqTKpG6hK7j5QIvgkI5U1uH4+TJectFFIkimvZqzNNfwWYwsNcmV3/6h8w8jopYr5/+ZDzKRcmfXnW8LJPUCuAvXn+kOZlv0x34IrDCbC58+O8pPP6C44B2EfoTtp4N/kzHva9uFPZ/cfJLfOw74LiVtcHEObBYWCr5HQe6eSxqMfJoKT/YIAK4m6CSWqLj9w1qjfEJK3FINdERw8xJgXvtZJl13Qvs5lSAtNromQM8XxlE+JOboVzGG5n6X6FdLceZB2sopY2K7KuGp4gPFbmlOW33wwCab9jMLZei2K2rIM0N87zK1uDl6+2ePQGX591Kw2OPbtHniM5l9SMXAbhYZs46RnmAZQgL4Y5G9c8rzBaE8Cd88Z7fMpnMXb46QANHNKVTzNa7lDY/dEWuEi/we9U9ijibUP9FaoHXzABdeNRfhKCBYvwaNAHf0v5YdBMVtsO+SkcV76f/H6js53WBQzlewCTAoeCJMeGcpvJpbbmJnJvActiwnz+AJ8jA961JAXgnPKgXbFZWUE++XtwyRLMUXS6RUmv9AhrqZBGJQ/bK50gLtS4cwhd1srWPc46FK4OVxOz5CuxkgPFC8dS97EKW5de0QNAzA8DXPOD/P4tItRkNIZ6xhan4+VLUHNydaVJYpZS4Q6CmJt1qGwROIHx9QrjYYbs0KW/jTuYHkkudfu8X/tr3BnkYXcGvd77f0h3KNvU5PN4yp9hKnn/RlPAZ3jL/56RBdB9QXj9Huff0p2h0/ok5OHjuPPpHh4veOSPMgQPHrhxRAnpQzCqPo/P7/WBW+UPUkkPX8TD3bfCGga88Bd5nJ9D70rAx8MGA2GMAlcVetuguxEwluvWI6yJMm+Z7miSPN4u5q8AU+6Uez2tDPELqlBNj38D7rq0aXDh8Pr+2Al/4Zj0F8fo1uf7GSfyedt5rakZsuJveAT3lyf83kZ5gMWpX/c2t3ieL7/8+9pRnS9vCc2kHPaowqmDIPyJ1ObXRIwK+0pBiocv0fiOfvXzmCk/xSea9urb60fXycTgTimXNt/u/Aqr0J0qORtyyf/nrOxFsAFFtSltev8H2/R4yHUoI2hV/zsa9sDJkeB3VdRPwtcHjOJp/Pwq21DRH/AADuyX2H2FYA58Dkn6WfAI4VKB/yNJH2XrFQNNMp26+SDbLHkVtUycoahFhsBZxxjgdHiM97HyWw6Fb5haVb3KXpMrcGsQsBge5RJ7dXPTQCf4Z3iH2Be9zj2KZTyGXznKSl9y2kvwbQzZ3/oo+9Rjf1h+7HUdDkWTrjFvSWXl8n34EIEG++aR/O2NtG5tabj5ykNbzcfLkuKGOI3rISKdIdPgpqXGEpL0m1UzUs10aCJJSW1+mEm1WaUcJlUqsCeq3PLIdbI2Uq0dSSp5fE2lh/2eyuvfwhS3GgE2Wbnn4LqKyM1hytUGkLPZ+pABCWZiQflxZghEKPyI+CtMkqtLKjb42a3l+MKbtEbgQqR+ArmLLt2SykMFoZmlGPNUu3pYNWR38ZmDwvCxOKB8DMKtuLU47DhrocUcSfZD7nV3eUSs7rSwAwAp3H/eBvKyTu5S0yJlDSRCmg3nmIauFZ1cZb3WF3XxBadLRbgt0/KLAMnuCrv0FecouKSiblKEY9C6g44QB3MgPZxxXnoU8Yy8KQmQwhdljRbfiZ4/cU5p8No25Q2YCI/CAyTJazx63L8uMwPaTy5LZYdwQWigAN2O9od8zqbjlxzZgQ4ul/kyKj050to7jvkrv+2MMIe0JnkUNAJN1hW1o+Oov/K2E4T4lRURJ+pURVGC/qMd/u1BrUZjB+hIp3eH+4QQANrQf3gXENqEqfcf7ti5fucgJtG8LR27gBDgQJUF2nZrEIOAlevsMHaPabVA2x4gdk/taNf3csv09j2D4a8d3NsjfNN4YAgtq45Ul1SpQZznJf4gonGd0YXI/4XJcpX/+dOX6nqk43yYSS6/4n/yDx2nXAJfKp5j10kqOcdC9CsO20T406nJPkUr/QPmyg14r+JozsHOiu6QKEvKtSpIQhjS1sbc6Jzi9HOQSr6oCZXp79ygOF/gJMk28zH3sYreovFHku4jIzlGUskfe6gHoH1lUYtfFmsRz28QOGoevhBXXVC1WJAvDSiGogsQR4kea4RYu+LQ4wsSWcNtUFTsYAcVsWoKhjcUtxav2Mw6xEMPAeK13EuHmDuEPa0eGO6DENHXG84x4CQ7JOWqh9bjSCHwNYnXncMyBIXxYNlL2IiFSFY69qrTiuCeHsUD5OGrjBTs6/7YCYl9qUOVKxotziJsU2SdP5EKPGRprzsB1alABZTQpMEFFiNQ2zp79A1HBzUc9PZVtdUgz1Al1dF8rEv9mtMGBQA+J44waLGC1hS05g5L+oJzSJU2tBLxsbPehHCf8Nc6Oh/bzpZcwamKp+344R2L7nyFVvW0HTu8M4ii5y+63nFoJ4iMsaJ5Wo8c3inmFceAYW3r7Nhtgb8sez3tnS27L6E5ns72pt2DtVKltS24ZxzXseeLSBXFu/d62ANXy74ka0GnHiLUnw4w+VtgaJhcfyja8HjgP0GzyEJUxPKXC0Vc8BHu3dBSOYkLtDMXUBLzyhzzOO6qGTE1VF5FKgnm/RbW5JCBUeglAd2R1tdLHt68DLvc5HD7Q0tPb28qMBRCJcjKOdbmSPzpggqTo5KKkF3QGOukZwYciU1d4CCUhTrEWmFT+MrTWx6+oE0PoiGNsjrAmum9EKC3yTFhKkVKXFLirImKKOhd5o9NeIjLMYywZq7M6EbmeoOeV9Ct2sWaKUol8gl+VxQheor6EGtVylJFPGClNyA0XgUgrYO1V+AvlRTSDyRfcAxppU1WtCALAAWmbNJyEtSKZLgLjbrPx/wy85TU+2R8vZpCBozRQpvHI7OA5ijlTYwbUiBJHhIiiJgjHXvNeWizDE9Iq0i0gqhqJH8Qbsff9RfOkZJDnt+Rt2l1hl7IgH1W7rGO7hIZADS26XgrFY8qKQF68qKXnI7udVoqK0kl4siyF4OmNXki/4FHycptuJxa1iV6qBKoqNJ6sO3R7TIpqT61bCgl3+GHtrOsDOwRi9wLHDu685EhGQ3o/Icf3SEGso9YxTAOHN+5Jt2iqlCB3hPtu0hrWSsh3Hpk16eEzqvtUutDzbuL1u+YHUf3sqOvdB7Z0/qut+z9zLD0IFmmWMERrzbcrTmUlRlh+RDLO78D3mZ82aXya5SkuP+xA7/Ic52NzZzyUZ57X3u/f+MDlKxsPBcMyN9JKwVvPusxguwWWPne4FHD8LPriF0PmCWED84gU46rRlBXg5Uw+3NH8atqoAVCFdhUP9fsYYedLzgb3o2HEbsdqD90+OumLctHMAvCI35ZrtD7EnSTliSNHilCmn6XKd4SLUhI8icQpG5qULG+tl9migdO1VvvPvCXPw475aidUdjw70OSeeF+N1e+G8m/fA5INrHbaPvgCQlJeZ7JLXrQbxhB6AnF8LV4kau97YCAzYiNWvwKK5e+Qq/EtPvXnTeCNItfPlSLMzeMt6vJD/zGy5/RjnrcN0q+WT7YBMGHJmAvSMF2riOdyh8z1q7DZ6hUSp9m5Q4NzcZ+Xf2vrNxm+LT2L3659ddZqU3zK18IloyfZxstuvcNVS1pH2cbTc2v6RWdyR9h6wFaZ9Fl6dswZ4a+iQhanmQbFcmrq4ZfP8revOdxfF6tExr3jWZ5syIrh3wVqMoK7OanT9cMx9eCWj0me2n/I4m/x1cuPTs1n05mpuhz2G/QVyDv8P1HX6xv2/kPMVz733/8vf3+w/do6PxqIZecKaRTdORsOpfOzKRDtfMU8iOhWxk6dCe0kqOTnXL8DIjUonssQz60uDBXKNB3JO5HHwvJwg1xRt7M4vx8mp9sm6+ewvPE4q1MIZ3zie+3Q3aoz3fpshV6chzJcCw0OhoaiFohnojFo6ZPnAyVS88tJK+nwyvVE2qp9Aov3WeGTp0KxaKhnp5QbEicegZohjaGhixlrhduhM1QJBTjoAUrlKa6mdDYGMpFQv1xi/8FzbYceRSeuFk/lyuMaguh3lBMnFCaKYRpjCfnU+nVbPgmmjRD6DzdGxsyQ7YdWpmkLIH6zHwyn5+bLYYxhuW5xVt5dDeXsuisOxSy3J1sbUGO6vFTq1YoWwSa1TpiVLcoiz6RDacnunFXPZdrNk1DQquEHJXin4mig+pJZ5nFQigaGrV5SfxxiTVYP7TIHXT3rQx97IN5Sqe6OfA6Wo6djIJA4tsS2vExdEqMlRe4iAJEkOugwOlodDB2+nS8v2+wL4q/J6O1w9aAVr235CoqYQzJ1a0nmBGely4ThtnV0CjxBJ23tEoZUTc5RiBMXWzr2WZ74k/XKmieXhXkFGyUXTW397ua/xu0eDOK1oBND4YP5gtXuY8YEj31hvoT9Q7mF63QjTliupvgbFSt8hGSo4LT+4bEnKEEsaJbKl5vg74kRQvRLUcj83OoduBNA23gTmL41Z2HGt+sH2q8kFwNE44xk+NJ2G1tkp9qRa0CdnMHBAMpYFr4OPoTXDcUQl3bJ6h6VXd83AFcXd6Kd2En3tVz7sBtYRSPYKzEi9e3yF5ydfeOOQV7bVcNNJyHt5o3MS4OHnOlcXdOWFxO57p3SEx2Md9NTfEG+CR2Z9LXRbmZIuSchJYENgd5tTjX1wTXZb2wy/NFwfNEQZEz05ATJmZJigzT/Dokt0hcX9zC9UXR7RpB1hohM8UtCBXzJG2UWuOp5HQ+jAoRtGeGtsjenr27xC3mSTNSai1v7kLfnbQl5ixyzi42cHZxK3MUiauL5hZpWOOV1raJw9rWimtUcc3cfi7iGlG7uJNxduVWlEc7XNSJJrSpR7rImyUzA9w4qLgdBKXVn9jZxQP1TCPHU1/FXfi9uHebxJuNNk1w5r6X/X+3/780v/p3+f13f7x/cMf334PRff9/3/9/J/+f+/ykbavO/lx+KVfwvffsuZBd99Cv9MfplvsLcdwlancJ3+VnzpO5vEJeOR2m4bsgKoe3H55mhQZN30VqKDx0eigaGxwc6B84PTgwOHCaasL9uvrsUxw6OBQfGho6PRiPnR4a7INvFekD9PKFC1fPP3+VSlC4gVz8T53GXb89hzglNZW/MTdbCGesUPVkWGjjPPdHd9iwDA0hIlz1JSuUQ9OpueWFRdoiX4zPPSKYzpGpDjlfC0yqJ8nAFwnnYCl5KeKAHGl5fkdkXyLXynRxzCzmFqj1tB2to0dmO7MDOxpl3RsHrltGsOMcYFiOOX5ce8MxgIuZ+aJ7AHJ+twAL08cjLMB2EK/a8QIN5kqjHVyAYWz0yhqctCrqPGbrpVbEzNCJ8NRs6m868l3RTm3JaKRQSswQn/IxCkG4e+fOM8GHG7COVLHmyX5xXmyGsEzxeNNymzO3txd2G0QBczfm4U24EKJNHOafGATtEnuIW1AV93UGqQ5jaQe9l96Z3ktb6S0OcApNu4SusjvxXnIiOon+p2m31FByIjaJatO0DYOoiSHsUlPMX5LXaagZaayZTKV4TYsOTM7Y1YiE4lxyqqiC5ZbfjpNACiR1W02Te0+tANHwtAubrsLqgTqpqnDS7chdJkjW2CYWo8hsYVdeSQOS3xryNFA1wyMnmnp3Dm2hFsOZnbgv8WWP0B3MAbBdCj0CfgWKYd4DX+eIk8JwMb6Voa3yV7ZSl2jO21pBRdKebmG+VVttfNWtxBtJhZHwv3XW5GD4rRHKd6c0nYG6z9B2C+HcqkWHXfCzLijAd9tGLo95BHqI0SwX01zRPVWaFhVohqHtqzAKQiGoNLnV1QnesGmapJvd092tEEWJYfS5am5Z7AhTp6JQym38usU5l+jByV3dKA6NXEeby9QwbAR+L8a3nnYdhmJZrvOi2E97qnHkKLCwizikiF69xDypevUZSOUcPyie9o+fWrHEVvakvej0nimEJW5TPMam7bsE3KyxT6M6LXCJqdYENxRqUiDU1m626QLtpyaaI9Mj7IZ7lr1QNeFwZpa3jD9cjGu41TCpnjXGGUkc8SYYjMchYnBiyIiFp2jzteqAc6v8t0i/mFP6M5efoq3XQgtRG9OembETDXp8hqtyWneDUU5YoX7zQbYKxRfgNoam02THE6QV+7trFBE41JaQCJX6TdG92Wk0OMUIPZepQHJSCFvZf49Rme4Z8nPEioK9BRZmLcIFT9H4XC9kYjgzM9loEsEHtACEUo2rFVX22obyroHq3N6Mt51NaWjmrkseYTpknFjdtwdp9gO2/8NXIZ0vTE1D9K6nv2GHgL9D/BePRQe2Pf+JDvYl9uO/v43r7+j87/r52PUD6E9s29u4ejL41GLWPR32VnVD4iTfJD6Zsbbli3NIpsVxnItZcSonWTGrVmTxVoE2sly1iiO7Hpq2enJlYm7STuJnpCjS05S+u3oyk75uJzPIpcR0ZmT15Aw9Og2byKqmxkNrI/mVucLMjfAiHcKRhO2IDq/Zq73FEXGeE8+KUVZkS1acsnq2ZCUo69SWrD7KGh3lg2rM76f8sbEd+QOU31VtArYyeWu+QHl3irufGgf60JjX+NCrO0Wu0ZB3bD7NT1GcIg1S3bQ7W9u1O1usbTZN3lptO+r6btTV1Ez1gMVi7cAZcTojPTSxxmkRGb/kmeFPkmcledYMfsmk91kDUSsWj1p9Q+ZOHPPZeTgHW5Ako/ROCFf30a7midPU6hwkTuqB32EtTFa3fh3ndo/jvB1zagpN9Ft9hOoQnQi8fRXhhGnRyVME2baCQJC+hDlCPdsLDacnbh3t8iLsvzgUqHG8fD/vLbh/3Vt4Ey+IrUZnp/mN2GV0NslvajuM7u8gun/tX/vX/rV/7V/71/61f+1f+9f+tX/tX/vX/rV/7V/71/71f9/1vwHTl/N7","source_sha256":"02bf84d91568f0fdb9ab67b673844cb797bed8ace89cba91f2ba3129fb4003c0","run":["python3 - <<'PY'\nimport json,base64,zlib,tarfile,io,hashlib\nx=json.load(open('artifacts/goal/batches/b-qlx/items/r1/result.json')); b=zlib.decompress(base64.b64decode(x['code_zb64'])); assert hashlib.sha256(b).hexdigest()==x['source_sha256']; tarfile.open(fileobj=io.BytesIO(b)).extractall('test/scratch/review',filter='data')\nPY","PYTHON=../venv/bin/python sh test/scratch/review/build.sh","OPENBLAS_NUM_THREADS=1 test/scratch/venv/bin/python test/scratch/review/corecheck.py","curl -fsSL https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 -o test/scratch/qlx.json","python3 test/scratch/review/prepare.py test/scratch/qlx.json","OPENBLAS_NUM_THREADS=1 test/scratch/venv/bin/python test/scratch/review/check.py","OPENBLAS_NUM_THREADS=1 test/scratch/venv/bin/python test/scratch/review/evaluate.py --workers 4 --out test/scratch/review-evaluation.json","OPENBLAS_NUM_THREADS=1 test/scratch/venv/bin/python test/scratch/port/benchmark.py > test/scratch/benchmark.json # 3 warm repeats x16, process_time"],"not_done":{"first_divergence":null,"limits":["Engine rows rounded to 6 decimals: all 1024 comparisons are within half a micro-edge; no sub-rounding claim.","No engine run, fresh seed evaluation, tuning, Solidity gas check, or leaderboard submission.","Runtime dependencies and compiler are prerequisites, not packed.","Integer arithmetic is bounded, not a general EVM overflow emulator."],"checks":{"core_16_seed_edges":32,"core_bit_mismatches":0,"integer_operations":110953,"reference_callbacks":22215,"tell_mismatches":0,"split_mismatches":0,"refused_fees_512_both":0}}}
