{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","gates":{"T":"pass","F":"pass","G":"fail"},"all_pass":false,"T":{"first_trades":64503,"mismatches":0,"method":"Unchanged Solidity isArb versus tellref.is_arb on identical WAD observations at first own trade of each timestamp within F callbacks."},"F":{"callbacks":100000,"max_error_bps":4.637583025934866e-07,"seeds":[74200,74249],"callbacks_per_seed":2000,"tables":"harness decoded q_u1.json; SHA256 d5645b6dd4ed8f1e33cc712d56d9eb916a50db7d5014c285b0f388cd114f96f9","closed_loop":"Contract fees drive replica and update reference previous fees; internal reference state evolves independently. Engine fee clamp applied before comparison."},"G":{"runtime_bytes":24242,"source_chars":45523,"peak_gas":248120,"base_peak_gas":208003,"mean_gas":185301.57142857142,"base_mean_gas":130610.56443910058,"out_of_gas":94550,"base_out_of_gas":0,"mean_gas_denominator":"Successful Submission/afterSwap only: candidate 28 of 94578; BASE 88991 of 88991. OOG gas is not included by native sum_ok_gas.","compiler":"solc 0.8.24 optimizer=200 viaIR=true evmVersion=paris","config_fields_compared":48},"source_sha256":"7d7b2f15d05dfcb53a4cadfa15d079e7b8df1ad30af35de685048675af9bd37d","code_zb64":"eNq9fWt33LiR6Pf5FUzOud6mmy0RAJ9qUd4km83O2ZnNJBnf2WSOk8MXrB73S92tlz3z329VoQCS/bAlZffKbolNoIBCoVAvFMHzc+93m7aZ7S6878vH+Wrjjd7vFvWH5ez99c4PvPez3fVtdVavFufd/fNysZhsZ4t/jTIhy0RlUgmRyKgVcZiUdSmUqEsV1yrNdK7CJvc27bYtN/X1+XY1v2ubs6/Oz72/fPdv/z35Zla3y207+bppl7uZnrWbC+/br7//ar0p3y9KD6rPALlH7+/hWXYmo+lXs8V6tdl5n37z7bd/2W3KXfv+8bfltv3F05vVwvv12flewRk08esO7PtN2bRfL/WqA/i6B8G1ETtC1IMybw1I1I9e9XicREwMzxJjf7AX3h/K2+12Vi49PZvv2o039m4W3q6s5u3WG90s/vFBtJP47KftaukH2LduW29zO2+9lYbGyvnZ+vFftghzV26gmZ032jbevL1r54G3voZBBt72cVkDunpevvfPvN/M515N0+ppwHd33fIgAotCuWwYAzvxNCd/3Mzez5bl3GIH876G4WyhaRj+DQx0PZ8tW29U31az2vstf98G3p++/Yvwqvmq8rbXpYwTT5V1WldZdnZ25k+528BTk+18tfO2OyB34C3K3TWhgiOuV8u7drOdrZZEA5yd3Wa2mEhvhHM3UUAD0wy01xsvNLaCsXqzpVfBgGUcI92oG0mDmq9WH27Xk+u2bDar1eLC+10IFDRY1kmWZWmtEUvvHpgd0Gi1ntUz4EfvfrVptgAPPNN4K+jRWwPt6nI+r8r6A/S4W3mLdrHaPBqCXrfY37aFoTTeh+VqB/SBaTfsgFi1JfwtH2Zb776cf5gt3+P83JebhscLE6Vnm+0OBlguWg+me3e9aHezOjA3gE5bGtP72V07uRUXdnC3whv1mdjOQpLXKhGtGd96fruFYRjmCqg3wBTmAoa6md3BtK9vgXMAzz9A898Zth9hV8CBtsWsyVJRJhW2SKjwotiubjd1e+Fd73br7cX5+Wclx/lu07bnTxUf53sr6ivAGsZa7zw7ZA8ourfwvU9fefADc0TzbMf5thCtyKZHy775L1kkuRJRKrIwjvM8ilWYm7q3+5W/TaIifNB7P6YyMgHw3/bH8J1XeAtvBMBCZr73s3fnvlxewm9vyjUF1tyu+1U3J6pKrKorqKHLy8skgoudqfGzVy/xMpeEhr5d1jtYT977dvdfwD4j32sfYP0saaY3IF9gwW1mDTBEu7vdLLejLaw4YErD0773yYMWrtv6A7D/J1PH+/X37Xz+7Wz5DTHer6e/eL8MO1vczkdMrDLgi8pHYvd6th2acv9YR+Xr6vztYfPN7G72P9T+2/PqsP2ysq0/vKDRh8vwzeTh4uGw3Xo+W7uWg/+JATxclm/Ki9HDVfWmunjwD7ucL584FO/jsANqBn827c3tbNNCHyEIXa78YerK769ncyi99N76nx5eF3L6YTKZ/rJffFXI11jhHCuMx70K3OJjQbP6MHkbPIzfdj09ygK56TF47O7dFI9T7yP8co2ACLXjWBZqurwsZD5djgvpf7oh+JvgUfrTj+Pi5nzZ65zJKF9/HH94DWvftHhAxfZh/SKO6AapkUKTCInAfYbTjrSXSQgF032afCiQcOGbhzGgdi4vHib01z9HTG2lTfEw6eHeA98Y0m2CzWHTYDksiySJZQY9j6maDNI4CXtfswi/bKR/CL5qGm5bKZlEPSARhv0macRHGtia6UY0xtBYgBcTuOjVZDp9QApsXxu4EcvgkQCBaK8/+P7F9vwzFSYfLAYHMwvWwO5/YGqLsDett44TLQIP/mtSObbkY7F015tCTPuNfby6AjkOi+0TXBVwOd1cXhZJBGvblCaRLYSbWKZkfzlRHSVtHSjEOiJx8CJxjSdUlh2Au+5N513frmvTs3QF1B911GsMV6Ud5qwIp7PLdDobj/1NMdqMl+cb/1weTDdTbHMJ5W82F1jrxNStG/2imQOEQcA/+Fci7K9GvjBsCet9ghz8EDwAkn4gwSxJZCbTKFHA4aEMw07Ygqr/jxI8CzA8AC9AYbnaLMiAns29cr3erB5mCyqbeu0G2MUHYfjdNQi719ubzW4EC2wizvZURW9wVkGAf7QFR+hlXGqlLA19CjR4vMq64YNwf/P2gmkfHi5XEKqxBPssT8AkynIkQVdnSaJgCRJ6nIahylSYRFGkwKzGar3SRKUqT6QMVaxEEoenWlEqB75PkjDNsDX66bcjhAzTXOYiylOwRLnCsZakFFKoOE9EkudKHDYFyMgwyZIUelRpst+UpXyRASaZitIkypQAwdirYyRhQ4ilcZwkqQAmyVAsYlv94gQoI9I0BuTDdL+vXkXAJwtThcjlUWLQ7jckYR6SSEZZmuZJGn2mJSS5Ugl8UsDfEqBXIc3B+E5iIWMBxm72maaiKIwENBdnMkpjeYJUyPQEQ3CGY48un4BW2jJoQDb3uXCCLVzgrxPrfreBK7s4FnZx3NmL+cpeXc++YPL8zdZc7Fwzu9Ni/q4n5kfz1WWxePVqcVlcz/pLJ1gER9bPtilI09zB0mOzzyjA+WqyCLaNu12Z29czvr3f0LosUO6VDmBd0Y2qV/VvBUqPKlhX/gSvymBd+gMd87dL0SY8lNHfgsXlfPVmvrq4ngV359FhpxuD1LqcrKvgb73yxa5YkKbfNmhk3O1o5u+Ct2MCwC/UOclSQgjAJ9YoITF0t7sMfQAMh7MNMnUCP714g/FyvdHnogyBJ8JAJKn3W//Ciz0TodgBE4Jz6gIV5PJ4o83qPgBXbn67WIJnzcEUP7C9l9sP3hb9otVyDtZmNWvA41qvgCLeYrbZrDZn3u+6MMEWSSUSbyTOM69ab32A9757+5f/UNKbLRZtMwOndAvoAX+WhIP2RvVYyTQBPw8jChhnOLOdHwYgoD7FY7xdBZ30WuFGKKwQUGUvBEzRsScAiphstjvsutfs1g9s0OQgqEFYVI87Cv6wq/un774prtuHX8fgoEc1+MciFCUKgDhEmRHB7xpuRaKU4MonodYp9JXXWldwXUfwge9NpnUr4ZPCB8pa9Jfhu4ZyHcMngQ+Uaainc/iU8KngA3V1oxlAaxI9LEhCRf0jJmGIAhwFK+KUwwdRrOBTw6cFEIARUFdAmYDvYP2GCtpQNYNDWSYNGLQV6zaUIqMWSFzHsblIoQ5I6DCFkhRgM7R6ERbazRrTNYj4MId7OcDkgFcOgDnUzaG8BJxL+F5CR2VF6AsakQI0QO0B/jkgUYUwbkCwQlyhzOAA7SbYb8p9hwbnDPrJ4B5q3QzKMyzTjItgfBTjhPhAvbxknKD9HOqWUK/E8UOdEtorE8YT6pZ5h28JMCWOA2AqqF9B3QrKK7hXl248OdBdA1cIVMLAG7FIRCoykYtSVKIWDRjFGnSclJFE8yIFFZFLIA6MOhJ12NAM87gjaDdB+iqmdX+8JY8ZILK2N247Bz3a41hpnHaM/fG5uSCM9/FtyRZRMiLWt/MBtVMoSBvGJ2dcLB592seMC9TJqz26qyfQvDXsTDSHehXUqeB+pR3Nq6P0ZmqfoLWCddEfUWW4+4CyfarGZgRExYwxbHrUw74t5YBuwME1zGUEfUioYf/hbMZwD0yLUPI/gb9TnHcwJOGfon/4XYCgqPl+au+jbEjLJmNOybi1MARBAgtd0/0M/sXYB4oXLMtqdz8FqVKmQDHgt1I2hGUO10CUuAFyN4B5riPAK4ZvuUgiuAsWKNSGCUrhfhrWMlEtTKOk2iWRB+6LOIpwJuAu3weuFrBchWoFSiQd1lRW6ZYIG6sU1wyVaKiftjHdV4BXi2sJflfwL2twbSSwegA/uttS+zhNyAOJLFEeQxvYbwWCgkSaFDAfKAQb+gftI1eGbRvLHDmHWqF2sDpIZJhVmEmEqKlfhasQhLDSJdCrJCwr+FsTxVsQ8rUWPN6WYIBL4R4sBpmAJM+aVEVApTZ87g/2oWBeMuYG5iJYdSgxYSZofiMuQ4mMXNICHin8Qz6icphRc18Tr6T0L2vyFvkkBQoLkr0o8/MGZDBINbiPa4olctskQtIKNfeRh2DGWmwf5ipC/smBYgr6yNuW8UItgvfxbwq8VBNGwFOwcmHtAY2lLgFX7Bvvy7SE+8BrhEmGnGNGEOXIP4ANzgbwJfzDlSDBwkbMNc04zkjGI66JTjXgU/F9LIk08RXwjqRRlTRm1HgwvzohHjQzzveRXTXyWsp0KIl6Ma2mRFTUa0X4EARqKRFJxCjn9vF+LUldAQ0aGpXpAzUxMl8Eq0CRzE+oDOapAq2vElh/ICVgpccaaSua9Nn8I8IEWk+Ib0Ije0Krde0VykL3ja6VsQEaYeQPQ0vXgjhsg79LslyAt8BwqY1M24MWA0wIkvqUII+A4sATLQjSJkkJDzGQmx28wdr8hpZh/qooJ1gJllUFtBPIZz1o2cGSLSUIHvkvUblCKrca+yxJtRloC9m1YmCx1xgss0qIJANrzUjzlKRZpBu2zCT3aj4h90gYt2nYqChSOhroBpDhDXHWXt+yGzFgWcUoa8CCDFNHYdNCVOfEZ117du4stI4qYe5GNLey14dCfRrmPFOyN3eGZlUcQY8GYyuNuvEpErV1r2/Zm2UZtciLTlYpxs22EKHqCHH2NJX0oHUZkb6ila0c3oO+UW+HBrLDXCLFFdhULAlP9a0oltK4GbetwzTR2j4GrRzdoqSkcce9Geugsz3oqI8dtpZI6nsPWrSkBzMnw9WA5o5qaJkLRevbzhlQCOw0lMBGysdGEu9BU82IbAKoqVzvIC9JZhr5Z6D7fSvXd6yw74zoE1J5BBB5T9ravvfHjf9ilHyiJKqbNhPWQJkbdX++h/2DdYFyVqD7gpIqI02ZO91mYA3uktugXmldl+hbgezGkYP2gPVa65rmKmG8jQ4x0AbGYiLbugKPLWpEREZhQz4WSA+CTBzFrVbGWjFfxag3arDbwLPJYAw5yA+QVQCNdVLyKfs0j0iLG1jQfXEcJzV4iSpvI7CXwAqBceQgbxKiXswjj4nbEtKBoD1Rx8pMJYrMKLSzk4y0skCtg5aOzqh+B2+vQDKCRYUBrFLUxlMF7mgADv1WsChAdkr0WWlsidGM1DNajClqZbC6M4U2JvhdYIMyP+iG+wbpq1uyMGOaO6QA0q2CK0CXoNGmAFMBnOTKeLroERPF8arSFdkaCcOn9AFtAJZ/JlMDjcirlLgwRL0GMrTFfnVOsil1I05pvtDaBY0vW5kLDsOCZgCcdE79l0esNEs7tGOBWgwtn6ilc8YhM7YyQWdPhrYjQFtDC5yz50GbEZRk11lo8Uw7Ay2hEqDj50Nr5BWQlbCea/TQnoc5cECE9hzweYS+3Qts7BD8AHCZsG/yvZ/9A1YaYQ5UEC+CB+0BFmLJEZ7nwzek41T4wh8QhDoL/7kftIhIlkY9K/FztmLPZgxV3ZKklayJwiMW3/6H7QzoUTalsZ34nrU0pbOB+m1EBgrgcvRURZmkzh7qrETWkMa6RIlhSkBuwFwBp+UC1yxY7srYqWpg6XY2hiBJKUhWgWxQIAyxVWoXPSnZszek6avn6aFmUNRnJWtZa8m2R8T6ganXswAFl4WEe0g+UikqGkHE8QbVszQz178Ze+TmIAdsY5K0FemHrpQ0KlmaFcUfLY0VxfEkeeIS6INSPuZeFUFHPL6oakl3hqyZjfdDdTECqiryShM3TqPDhbW/KMxQm9FZO4q1ZhTJNmNdbOyeuKOmaQejhjJhXjCYG20PvEBeXsY6LGJKW0+CrBAMtcoaZ57GaqyKhEKh+cBaVAwtezYjbWpJST6Z5RBj96D8zNluinme4p7FQ61hhApDsOyjGeicrISaoK3+Vm7cljcQOiWqpY5HJemMlLzRzt7rY959oqgizFOy0A0tyUJg/zd1VlM0gCZrLYwU+ro5cZtgHkA8854Pvg8dOcxj2dCMtcQ/xNs0Pxl714d9K7eKABqsHRARYcVzaWbMaNuMoWNnoUcDe1PR7ISypL4jsnRCB50PrMWIxhQxv0bENRVG+KWJxgjGXrC1kTGvpKH1qmK3QnHmE12RzVRRRAAsH5AjuB5TtjLtfFsrO7dcTLTMwdKEmYoSEO7IbWglU8SEYDLuP6aezUyg9VTSJ43TWDQ52MiloLFAr2ghm94NfMbWXkbwxu6uw1aCtImljnGno8HkRklznmPvunbQKUcmU8bcxHsAYQXWom7aFnrKaO+jEugXol5JyPpKbOyKx22+oT+gVSxLlWjR4O5BLXCmM1ynuH9C1q5wFLO2ekQcBJyFZqLELZqsFegb6IpkmzQeN3Jt04JlpgmuW2fG40B7rZaNBFtWox5sKTqAW0AJynn0Nlg327mz0MZiE4B3LE3cAK3LGLUo4n1Eo1fOu6lo7Wu0ekCrpGzLftnSNJ6VkTUIXUkt5ZMtj8xxC0bcMZpeSanbZ1maJGMJGu1ctH6e89MQ72uCboR+Tt+6NHxG484x2K6fZe+BS6LREwMbOQYfLn2JpQXQEe5CiOhFVlarS0woEDKUL7TTwFIFr7N5sZ3Xktx4sZVY1v+spdmABAW5ULE8G8ZExF6McRj9A1lWQT3d0H6C6sl5NWhDOstU9uDBCqo5UhlqtkmUi4Z1EQoxjE2RLqC4ahKSLEwpUhW5f6qnPQiCeFqafRudamMbg4zA6CR5otFAX0QsT0yMsSHbTYLmKWmPxkQuwNLFbzpnDzt2H+M7m0hIKxJdN9hHxi0abZQRZinGSrnXhFuJSaKghgKxqdMWa9ekI60VAdC0m9Pomm08GyOIaVeDdrfbmuKmNdHd9svQaGmCNSlQnrLdkDjMkUYp6SWiVm9WYtK0OW4HCbSiM8bZjCAxmq6tKPol2S9QvBcd81/aD8KNZ52xdWvjSsA/TSlMDkDMNrnxImK2waFv3CkUpAE4hhQz1qWOXGwsZmsh7nEjlua4xyDQbkG5JR18xPwYk91gZykmbouJQvi3TDQGXdEG53i0nXHJdm/ioC0Gdm8R8MOYpqTdUfJVVC+KGHK/ibOSLQcLbrdKjH1eh1avMK+Q5RixjZs63o0cBSKCxs1U3JvlOD23HrPdZyydIR8qji0DdJxT3znpUM3r1vQdMy+nDvOEuSQOzX5mpTQZmMZH1LTyrKUcOmvD9p4yDobqWdiQG5NTTJNw1xXb8BzD69lrMVPB8lMJykVTzDjXNgqOK9jGVRMXoTIwGetxY4vhriRCG24W/ESGkZDWTsHYhiDa4Y6vtWNKsgJo/4njF4J8xxakQcz2r1njUKqb0Ow7ml0vsvhwp70ttVal2YPWaG9mxk8miiXUJ0bIKuIfpCnMD+0Ual3H9EcZex7zXgTZPxlGNknTJ2wnI/0bsnoQSwUasIpiYHCglapFBlYW+PS6RPknkJQ2IplzRBB3F4TZa8QIk8hVrfISrMwYYHQi0pbUE8oJgfZmzFYuUhTGpjEuXpNVqECHtkqrimMvuEcnteF2snLRemXfyti5wJ0ipYgD2rGNTKNIxS6yaCJgkmxcGANqZ9onTFlWp7grRp4MRYplFiWSrR7cAyJbGTMC0p5NIal3hNZEQTAycWZEDOQFe5NtCeNRnbLTbDxX0p46zlotI3Bh66dbmjCdZu7ReEqFirR4qu1AKwukAFjzMJ+ZaEULfZdP3vhEWtVEeQVz10iptMifZWjkAmkPOlO0UkXymVHNRoDMEbijqWSsmudFFhuwLmGsQAGwM3NVhs+2FlvMXyjDUlbqhbaiRvctl+1Lo5It+AaiDqOX2nkt+HM6f7mdmFF+0D/1Q/H+wa65i12CnFfOxgyHsUmd8b3+zrfda2+4hGfF7Sej1I65JcUWo/mECcjKtmI41dv9RtMkbdsmY0xUt8esM1hrGaYQDuFC0aaYYh5y3hrjQnA6ijBaElNZ5MpIVgAXKiPNQUjKrk3MZIxLssAILs9dmdCYJpU5rz/MrWxC/ZhF0kXLMpNDZiwonauEd/NMhIGysoxlLEqSJ3aHEMaXtNwm+mO1a5HKMF6G+l+EHGXKnM4MlWmT0thc1CQxY1BmthqQqML57DHJ0VA1pAEqjmfEgzaF2Z8n7ZewZU3RCm1kT0TRgIxihzHHjhqTm0m7ahVmIVBkLSLp33CMNaQostSJNnuCFDkjmmNZfmQv5nQ+iD61ntv6czsvbUuPOCUn4vpoPagTEftQu5iji1xabIwnKlw01HE9jTm2PGFjMXS3jNGnqBlOmqwTKlExco5qcjPvHE8nKAVaHe20Jgy77A7k30zVxAMpR6VtGfQpFe9vY1ns+qO4oFJs3YDVU0asschHkJRRx/EtlRseJBtbmKxauzuu8i7ejzsRyuULQBm5HoJsB7BuuEWzz6dSE5vCbDwdti56S3CpXWGUR9tbR6mJXZu8KI6cdjvtCgmDe7pcP3PaH8auaJ2TNZi76JvhQkH7+CHlGCUOMuEy6WRh3Isckl1G9n1OUb6cLdyEo5qJ2c+nvemK7PbERVwT8klaghVtTb6noZixtcMj8aCKPOaTjB2mJ3f10tORDjDNamPNuUwV0d/XkjVZ0bKXd+RWBeLOuxdimFtEsdqw282gCAD/QFnCZQn7W8ADEm3bHEy5hstSG8MWMe0p5DprKldm2m0pPyTDuGpj9kFs7D/ljMoUPSgy9KwPgJRvONYPs1alriylWah55wT1Q8JlJZV3+wsZqE0T20iZ/5BHLU8IygGKQiPhS4IqWbbKrHFtZr1MPCpLW/YNa4LI3X480CKVPHZFGJa9tWIeMVIcVc34w2Vk3Zu9gn60nnZrSJXmZPmnvX0EKpM49oos66RXRjFTsiCNLEy41H4qXXJ0Xeja6RzOiG8aULJZi7nhos1E7UphPCXQWzbgwDXkO7Vk76fkJR21ldscVmUV5if1g/Fxjq0H0HinY544zAY9FROlkT0dYH8rYaJP/UgdaYQGw6KSVnBvH5X9V95JIUjOogF/t2rb1kqzyu2foJ8fgpbMRcVasXTxLkXZIjV4enFrZIgti8j2KilOU2GyuzZ7cSbrB8tqmpW8iWivPmM4RdE2s9Ma1Q1jnHEkR5h4F3IC2qEY12c4uz9NV5jLrkuKDtC+F2lIQwfKd6fIE8NRWWL0E2aekxxhunAeDWUO5iQfaccnYm2b2NHgOgIqIAcoirlZmQHf0pzaVJwxKjmviCIXcUZ72LGJTLB3nBjMYkWxcUk4KLZdDH+rCPN0sMeaZjPjkZJ/jDZYG6PE0N2+TEayXAmS/i16kIriKEbnoJ0nJOX0yLgBn1/G2uyCJiS7EpLYOe1ZhxQRyDgOUZ/w31A/VeJk7oQ46fa1pWg+531kZC/s7eKIk+vO/SSt8xqG9cXJNmDO6/TAG9mryVm+omdf1XkfagDjrERB2VImXxYzuuF/kjrfRhzBR1CsFqU02MICM+UxHiTjmvc/xQGUMNlcshQpWQO052byF2J1HAqxx5RolHWkg8N+hnIk+dklMcg0xt0P+9SBGORE04eMw3S/L8CjlJmuXR7B0AIWFMlJ921esH5SXuNyIA0tlGDeG4xKmGxVuZf57KAoj7ztj0k3ombNrfb6cnD4HJUIXWYOtlyxvk/2skd6uTv0J2Eo1Ys/fxYKNYvoR6ljlz25D9XbpUHtJ0wOrcnUSFxUOTkyLh5Fi7vrJNlI1kmX/dKHkns57AKjlbR7JI2e1rXbw0ldvkPCuzhmHQgBfiZuxUjF+zMY7xMDKNXLlE3pgTIpy4Ye9EP8uCepS/YiMrdDYmQ02Bfgb4A1r00GdmpsP/KQBOU8WrpE3BdRV+CTNg1FTnHfu6J1IzXvi1IkMe7lJ3AsnZ6TqnH8NcZuK5OVbp8y5BhF4jSuJHpGAv9VCIVPLIYNa7+GPj0B5iL2imLNlahExKvucz+xm3cDhb5+/oToU8RQCeV95k+ECnk3iXKWBcb6npB/R7Ngouo5PfcZPS1rj3ZwjFVWY67iEzEMee8GxxVTNPI5+7Qx9fUsKPLVcZZVmDw7WpYI9fyd4VaL9CUxQv3Mce3NoslqEUd1qjiunZPa7eyGn8lnHLYi68RG2Ibyv/fsy15+JK7BPHUaqi/1QrY4Q16rDeZQsxwCvyBJna50MtZofdLglGeKa0uYfb+SnvOp4pah+s/KhOapY9w3E6lA+ZpwHo3BV8XxAZQwuyHAc9KNucOFxhNFrCu7TE1jZQJ/69Lt5/fpBLVIL5fuiRq7r54Iu8/c5Y3KHpRwurJ72iMSCdu+ctCX+wd+Oz3K2YMzO45xmPUy4vYyVBGK9te6pzBSkkh9qE7n8dMa9EeRjShcrkDM9uoQw16P9CR3yna9dLonYhtg2FfXo6Y4Y/9Jjz5U19fwX2K0Oe+kcjYf53wNnwjpjUsr0uaKc2e10+URP6cqOX7Rfz4K99AwSiqNRuEdILvjK50m6jIiwT8QNWZcCbtzb5+KV9xXl8uo3FPmlcK4FD53lwjjVbX89E3EvkvM2Y3dM1K1aCTmv+FYaspRbdkKqBjLtKdhzRxgtC+WJawb1BAJr15txgbOa0Sx5cjNg7U6NGbBhxGmrQm2AFieWxmRusyK2OUrYEYTRgcAN0HZGpRHVll5TFG2lnf3Lf3RdojllyV2Z8FFJGekaEX+hEz3Loc2Iqha5E/aibLPvySwwiN8mvrLUM4zpqwN3PkS+VO0Ock4k4GZmWcInprBTz4HxnTwefnwWVlomEOG0d5n7azhrgI+4R42z9+PQyvlBXleKnzB7hvnm7xsxy8hm7ZheSie8OwAyJe4Zo8mPCK/wiNPDhBUrdgGlAOt0s/+Cvc0Nqy1PO/FbmxWOWsXPqHDaVCnzduEnsqkSEA/18xKarLySLdWfclL/nLLTwrYZyJNbnRC/niuc/KzRW8Mxl9uuS+Xf03POCfow7JHoQZZcQr1sjDxpe7ZhYi9nMhaET36UD3M6sZdbo5ld5So3ROs0u2D2u8RRn2EsUx6mdY6ZnlNbbgnohXjFNHmhXbnhUhzBkKPJiFbkQOdgqecoNxzIzNjl72nTVRvzpiGmG8e6p5lJp0F0dkb9vkKWxpJg6F0NhJHPXvyXfXobngnwhgS6i/y8trBE6z2DIi414uBiskGUNqMDONjytkPVn9F/ESLcvSKaV+wZiqYpxZtdlLK2ifdy2g0ZwyElLuDPAz6TmfO8zXZRNYDC11GW0ZWDz0VS/g1FEHVjJWJemROE8UcJxOgzTH7GmoTNSiPkGKK0sVOY6f/SHOjxyuTFvdX6alOG/ODb4nNnXEnZBj/WWHGDebgUn2774L+APrPOXnqGWcD1u6Zl4SeGUWo3GaV4WrVLpJOMWMz0zZPnrlfJFJZX06XQ5mKOT+c+UaZk7RvgM8lNmCkqC/qSXqalaK4KXEBaD3xZekrmfa0L4JPJYFmrp70lCF7Gmzn6y9iSE9bUm4p73KGqUjEE3SlNvGqiK3AXEqhnqZb6SkJfgZZiqc/S0iphiqkYxbCZ2nYusIj+Sii9DxtV+PTZ8/3fXUuwpc8Z6irl+plu6/gzokgtk6bwwgl6Lq+ZuHdfK3riuV22Mt2aavc3rX7/TIW9JivrUtnYdV4Kk7ednUxpo/HAOkyq13dVpexOYdGZjZmqXQUm6c+YFWkMcemU5XSbOE+Q4g+M2XGJdJoU8xz1LSNjtG4iGBxtTS6xehrayL6xu6vRciaCvc3ogZPhkHtBjICLXFc7boU2uy7YW71ES5oTj6xmlNkWw2j7FnIz/KF/ahyEvNzbPYpRdJNtfHsc3rSmukeyop3UumJHmPFlkJWRh5kJlKlYxBDSZuXnC1MJ1ORaYHaILfPzuHxTkYiw4Azk+Gi2jyWTMnWnBVm2IW8LnNXJkgJTB0wuaQmO5XsCZISJT1NZ+rGFGs0HMh5lSKk7H16/rst7SkxmD9Bp6cpypEx1E35HLP9aFyqD+JbWV21GT1dIKowG0Rpwhh8EEHjYb+bZHuMkq0hyZTYLCrdNibFxGRLKH7anIiu8dQAk00bK1EBD9UkS/FcTzp3RLUxYIwlIWV34FM+qkXeAxqVpD+IZrkmDYj+XWmeSMckWnvWCyanmZ282uWz0PObmT3tJaXZN3vQMqZ2Sc/mnHlU0dk2oY7MSS5EYcxBNVEnzDWWnKmEGTIl8ZvU5nlPCoSo/NDjaDVlDx/ZJ0v1r80xiNvd5rbeeX/63vtkD9Cdf+iODA67S9FdSndZd3WX8+5y013W7nKltT1LcluX83a6d9zmzc6d4bs7eUQ5IMovQdj53qevZnq0q4oi9L1d8afvR+EDcWEQPtDBczEfyiZNIhwdLZbzoW7CHGqX8hFkdNBeaA7eowYos5cOGyv5mDTFx7rh8W4p1MBatXuc0h6WAu0GMpBRIEQASzo49Pb96VftfNt6jLsY4K4s/pIPdAvNcWh0yF7FR6WlfCidNIfy0ThSc1ifOS4VGqAT3TJGPeET3yI+dU+Y0+DoVLiaT+fL+LQ+JJiyBMDTvHAh0Zl7sdkfx7P46Ey+2hIIasOqK2WOD0pJfFQrkih7tGhFg6YOBgdgLaApYrZPJG3yakofCQMVRCpQYYDPeQWH0ZE9gskDgtkxDyZb88l4DROu3CNeZE74Q08xKg8mvU89SznBFNtnAjx07mCUmC4fBlEgs0CoIBYi/vLI1HFWqPgcv5RZWvEoRW+UFbN2as4HxHMCY8EN0AF+0uQ14sF+3cTtDdSyieqziCULplTQEYDZqem2k31sqiuaZpUEMgmSJFPBEXNqjxrRUWoQ51WMdMSnG8Z7874357jAKTOV57g/b3bW6NgWQlKkgFyQx3l+fMbo9Ni9w90/9AVT4I4iPyXFbu0R2u4AYPuehdFodimSN7uzTXgBl0ripbiAX9L3r65GInk9mv0fkfi+/yqJYxVPf9nDBd8C8+ej6Dx8AR2v7CPkzt69daccF7uz5WYipuZVC9ezSXklfKc3FsWoHF/P8Kx1mEEgyS5Y+JfFg18WiylNLLSwYKl/DOvf/e9hXT8R69Fod1Z/ADpnrxdAYRnHTx7Bpq1Xm2ZkjrPlUVTBsRHN3dXGXdVfOEHanTp9t/zscFcwWlC049H8NU7WeOO/HuH4x6J3mvJdwadI01nCREj+k42qH1fvfP/ng5tjAbcvL7PBOxb65+4vi3C6vKyny/HYvxv3esh6jcjx8t2ghbtlcTc+VbemunevYUzGYrhbdtdHJ2HebtaHL2yxF/pLJ9ofLMeSDp2uJmWg/cOVdrvRA5bdm3t7cPa9u5Juvj/Ye7uOL35aPB2/g4mfuXdArO/P39KJ17MrJXJ/VsBva3jpYn0/seT2X7+dHrTzU9eO5HZ+ugLMfip+WthW3hdraVv56WgrJa+28hKYbz6Rr17hypp/YAlWAjtaAQYL7INfjseHjWwKI8t2wczvLM7CiIpd8NPB+eE/Zu8s9e+OM+kcmHR+KadzYNL+/c3qHkrgN5TBbygd3f04fx2N4ctr+S7ofcGFUNjFHuyCcjwPNlgU1IcISYfQfDOdb34M39mF0SNH6UiBVcSxKkOKHZ6bPl9ZIJK7dOQ5FzXDEmxnAvUP2qi7NjohWLMQtK3VzWGdUW1ww3qT+rDlPhHw6PPtl6emY+8egrfFyL6HZTz3J0RNYL7zERGNvzOiP0auz5vpoLF+lx+hy4+X0fQjdHnz48d3BYmPO7iCCf84jt4Ft/70CCq91perpt2e7uGQr4ZD68+hduObITvRLOH4Ns30FMxDaFC+gaEHN0DoYKPdXD0IWyiwUJnCg6b66NYrnAX4DejC76Po9lmmQ/mnMdSn6UeU6yMoD17yQYiBEfYgghqQIir+aJYXtPOuWF6Fb5bHXhNif3756vQ3w2U/znk+6ZfpAahkLoBS2g96JcKWKCp53+vy4CVO3Cp1Ai3yFbSw2/nH1dK9nDsaf/Oi16pY6P8svkH7EGxirVP4JPCJ4RPBR+IB0/Cp4QNlLXxvslTXLXygHB+gyqEsbTEUczH6Bq3L8IHt4wRtZPhE/KQWRt7oafvUnJRP58vAB89DrOBTppgzo3WGDUUZNZQBUBKZQwVVDR+JjxFkmEIfCnAwBZQJbBS+hxiIwVRsNOTR+cwuwCr/J34w+9X3T73mZ/SfLEi/eSVilFbmdXr+hF5qcPBKCH4T5nl7V87Xq7n3j/VqK837HODrPxaz5l+23g/yG2/0fjNrYMZmO3pJQkzvZAi8H37zb/iOSHxR4+p2t/c6IWjKmXUvfRPU3WUxEcngvUJ0G9+11LsbZce0M0j6LrADJm2U7b9lDazk+WpgJjfFaL5CQ/nqSqBRgCy9aGCxXxZ3PjS4aDoLuTl861pZIABIh+lwXkhejEd3kxKQPqdWoY9JeepdTNumW0kfnkO8fX4IH6TE05boxHHcfQpJmX1g1vCnfXa4Wbj3pF549wGsZ4xmbVuY9BFOtZn0w9ejBl7Vzmet5pep1i2+khEAAm++nKw3s7r9u/SHA8S3blrucIbjfWc4rq+DaoXv3HxcBk9jIk93BnD5+bc2dW+PeU3+uWOSg9fwfbhMXr3aNlcFTsgHMABg+j70jThn3hb0MsLRtplQVZ/m2ULxPT8IgyOvpVvfG+D783hMbA3VlKQ32FnC3BRg7/JKeB0fsvqucu+vkVMXkxy+CG19jRHET7sKVsVacpfyPA4mCXQJH38Mv6YAVoj+G9CQ3xGKGhBvxIXyxyOYlzfhBXhb0BKtdGzJJ+Co//6znt9Q3OxGu8qfDt2H4k/ffXNAkYeyIK8DfI0A/ApwKD4EnQcxgl78ifDH9zeT+0PYqoMlKk6gBYDAi1PtTO575pOuioeK3pxEry17qM6JSfyentZl8VD2qpSHVfrNEamBPWH2oSKBm1ulu+XEwPG3qP6hmODpITElrMk8S/G9zcdqfvu2kDKN8V1XqQIrOu+9W4yD4N/hS3e23ic28kT8zttMe1/uu6j2fuzavrt4xG3wJK67hWfeePPnU0t1CLc66upZll7tyvn0M+++W58t6e13Q9uNwMbF+uz+x9m7aefuzYbGlVneP12Fr16tzzY//vTukv5MwOv5NDJ3AnenGNlLcw/s7xF2QHXuuzr3ts491flp8OLOwTsBCUt8/dWn1dmyENPVGTlNjn5w4x5vvLV6ZNVrCST1f9Eb8WYf+d3GFx5Myx29N2l7W01QVrc3t+V8sii3W29Xbt63O9LSyxVOy2K2pNfnnT2BuoaQ/MIqug4I+UMxhn1Z2bNYLQCbqXuHGSJQvD1Xz59PKwHtjB6ZxXt8V+Ip32FXfmiL+0uDAtHjzf1F79uhzY13xwXCTc0wxvQWLrxB0z+Dqb2fmAqHveoRwl8V3AXHf084GDjtwABMXtNbgPA+MQAVEZJwBVoHL4FUpl4RnnA+9Ah5qlD+pyO88yXHYsClNBI3gmci27VE/ALoHk75iqecF+1qb4pPA6x6XLk65Mp9x2RN4vaE0Dp85Z3ePEl+HZVew05upp3JQa9pM2ZHIEBAm0cP4yTL0lTm0Yl4o3HeFTnvz1wzD8VibB3Xj6joXm/3HNYbmNIbnDeij2Hu4GH8zR+Ch8k3f/CnN0BaKkfcefV/RCOAW032f1KnAsVhEba37BtPvzCDOrVyE+jNiSnU3bbpTy+IH2J8r+i/VfbAbOD3By5H9Je4/vWoe1ExRgCHm5z+5K0f5Hnaoqc1+fZtIGQr0kPXDF8Z+BDgSwUf/BODA1m9dK/N1f9EeLR0Gq8qBi/VtHHKqvN1atwSqHhHAMhb+5faB8tkLIyLA3bL4ZudmRglWKEDt/T4uLbQKQzsxMLrv1nyf2PpvVTXlEXHbCNj1oOjaFYHrA3/fDh0sOGA1INwf6+x6rAx1xI4n89r7L6/EPHSvVg3AtYL3oJD6Qf79yr/oLmyMK+SjIhhq8K8TjIasu9AQBichwLhHjuE5veX9d4LxDXYN/qyUFNN7w8/UEV7fYzNYihf69fxeebvd1kiwx7p8EhLE9NSdaKl6kRLv7xMPrX3o+83ZdN+vdQrevVjU+5Kz70IdTVvFr3ru+BJL1y1V3W3PpyL3OyMi1xu+mkke07xpnJ+9BPWzNqJD3Trt8V2vtptf8zfTWG9FHTrlZpCU3yd/apvhHxmlXXKzLSYjGfYJk5Sf49Omn0x/PsReZZtT6vC6EXe/vDl2s3uwPgj/EqQYCTXCNEIEPXXBYujdQAkBtrqzR63d3t8DVhuCL6ELv0l+sMnY99mqDzQUUDzjBPsF+bFuu7GOMtVaFWIQQGGWBjbZN0BEl5HkR0abR3oIrgbDmZAol8hgxwVdNvH6cDZsvLv0ZJ8d1YuVrfL3V+Pi6N5WJSP4AaD0iwfUQWeCmU/VQAPXhG9O5ttf3v7+IYXc31Rsww+anU36MohNp+P5d8AxmOn4V9bGWoaxjeT47cGLnrK/bNB/vlNAcO/wdEfr8dM3BPckrolJMrH4Ib7tC/4nQNvhOalvvObYA7FMstaSoXwT/VAC6mGlTk+6iYRSwwd48/sK1j3FAm6fXwtwZch0xrXFbD0ntOzLpx0XJ9iws9MfycP3IasFQH8h10u3//Z7djSEPzLSyiebqox05a4ZBFwaW+xWCkGY1/+PILV8Ca6CP2fKYaVXYQnBHqpQaJ+vZztZuRouwE8OAH86HvtA4tdjJlv8PXGe2kbwe1TXiO/XdsV9/hatCI7f+jR0aAfniQQsN92PeQOAyJOglD91yMxdpaJMOQ8bES9Kx6m5jJ6VzzyZfwOppHnruuFMfnZtfqWW526KRD77ct3hcykwkfy8AmeJM7yA8SS6HDHY7QPFezf8A+2O/RsDtPl3a5BNbdmm6P03pdr3NJodt521663UzuD3rK9B+0MetnbzO5girfr1c7bUBgF3wYNfERacsg1pu3Tb1PvB6kDN/uBS5Sxt4zWrm4fD9T99czZFPU1Bts/7y4Ewz/OYvgsP85XKNToReRrMPJ01W20X88K6yOZsrI/N0/SoCe159246OvI6Qg1m9WjqORYaXZLex/iYCBrxBbI+IYGY8ZyYbA/QP7ku+Xn/HJ59OGMl7g2r5P3h++Ut9P+N2fcuam62x0Zx1cHOq+snAe6DWiVIg2bS9HmflPA78PNg1nRoQWg/jjJQhHncZgpEas0SvIIs3TT/bT0IyOf84vpkVb4+VsgD5LZ/WA988n3aL7UKjRHWmwTMKN2RYA18PGrV/NyPN+ABWHQLwP63g+jA6sW69nV23M53MuYXcWgml+9Ws8u8xwv99T+wiiFWTBf+5Tc9HYCXxa7PRV6Z6sRojir+Mvvgdzt6HqxgzL81R/gLzaPkxbUopivp3fAz3Qbvi528PVud7hLuG4LVPkLf7oxkZcN9b9urcURGHZz3w+lH3LRJsB+T+wgkvr6y325PuqV/POayy7gbVhYBeWch60orAbq7snCCvzDyPEJJ2BLjrBdQScrGb/g2Epen4IRvYY3JyudbFhXFmYrX30L6sklnpVdwdVVEplCF3FZ7gq8L3LJG/P4M7UOGpXJOC76WtIOpTPJwdZqN3ftX42l4L7/tz+1wv0AGn2LwuW1oZNR3E07xQKm9m62aLe7crG+Isxh3IT6m17JZFByEQ4W5MkW9talVWHF9+18/m25uwYj/zebasTGfmA9jv92V38NuiF2l38NrHkSWOPEbeuBiO+uyxOhFCOSUArZYKbD6Ha+/iMsij/AqvihbCxqbxxqF33UTJlF5sIh00FZ5C865H3/lKfUW9gF2xLk3VUB2AugcDfBNuhodWJuArQRrMytaaugc4qP2OfO0uuQ7Uy+DutDNb++nj7N06ydN+cUDCtjK+IuegVWCpKCnh44J9xSfbm5qK82/qcNuT7snAx9GTD63s/u2gvgu1uw25oZboHtvGoGXyZXYC/N5958CVZdeKZiNAPRsrsvH8Ehxvu1N/oDgH+3ms/qx8Ar5+vrsqDfskAIf9CZ1Qb1rwrAqtOpoJY3KOpR5s83pE4UqKwkgIIaM/yARU/gD5M3Hk/X1wXOIm2+y2MTuB/tWWO4p8CQ1K4XVyDLY8+sCw6MObzz4ski6A3or11PNw0CmOQkgHtrUy8s5ptiU/GtbljE9jiQdju6DzabYH0d4NjAKhxssL+/LTfNv7ctLn3cXe++l89wpBZ9J3Ov7M732eF8upP1meY2p5qTXXMwlp97YgzdoJ97S57Afwa+gItcGm+27zSBIrkIDw2HzwtJl4EAC+d34NfPW3CU0L14jylhm3a2KN+3uE7+b7mczefoPS0WJRgIDZR//fvf/x6XVrl5TCJMSQAhunXbzNjifLUF5F2Dq9vdFi2P3XVpbm7Az5p6u1m79bbtvK13tB7nq3uoDExwNjRx3Cwf2TjZ2zMZZpXpq0Lm/Z8oe/UKQ9TDZ5NTG56I38Ei5FiwnuyBpgdw2URbnbJf18n9fRBwamwHRx+9obH+5Xqmd9tRz3i7m4GTuv+4jWc3fi32+2kcRuUaD9P5l2UX2Cg7r7MX7ehys7qb6+6u7poCfupQHPik2GeH354NUAWAA/T9EDwG0Ae0bdY/oP/LV/NZtQHGcjA8o86PtBPvMmEwCaLw0EaafqHm9z/8MVZY17u89GL1lOrSVZdfqv7N19/aym69n67977///T9+95vvDObp1C7Gc0/PV+A2z1fvJW4jemNPBF6IrrT3AJXDwKseee2BhjPJIb0cDzf11Wz3TbscfempI6973qW/do45AmZNeaMH76obJgABXld4B8bsLb0xX/3yGTiwXBxYEjEUXnwOSMkOSEkGwovPAYmkh2Bi8Us+D9QblB3SFwbUG48dzhdG0xuMHcuXhtIbiR3IcYhfAZv4tsaeEfFLx2jL28V50y49WKuwyq4QZoPGE0w6GEXLtgRzcDfBbCOvWd1W89ZbvJZ/bwNP/h2WxWXhLbxLvFZnrsk/LlsPLQZUBhck0oENJ/N2+R56gNZAq6CawdRijXwM2mCxAj2xWrbE0w20rmcPgAEWelsUg3t83Wk2HEDgVhiM5IssfhNY86TtM3sL64qlNa8aaBmW3mTvLnaBd2N1aCBvl9Puuukby96oBTqFOHvbJfQEbeN0WpU8AcsdIKAAmsckXTIuu7pdYR8Kgbqpv4EKUP980DNMh6M4msZbqDZbej/i7NEcgms3mACMisJM3+PeP5oANU3jYCQ3yI0kRf09wdDucVtv7MUXBv+iIZ8c9i+Hj12ZahOo/3pQ1eXU3s9q5AEJ5Zvh1JmiK0To55/t16LA769eIT1e4bqEG8Lfp8jNCYrcYHVLQxoD6ZmpJeFBjlZvyRojrAAdMRIwIPiD/9v2H/f+OSpAQKLcomsJDL5vQyHoH7VbCwD1wxcXzOL4gsFhIDyOBKUGP+pL4wi8SSz7oVJCBnCGhYswgSeOhZFx1ntLeX8BXTETIf+Q4BnyBbJKgYZAj5u4aq/wkPOOYkliBdf6IZq4TFgcDxrCtYaL3NvOMCkec+tBYB9tHZuYIGHhwj187SYYfNIZiEoQs8CLOKO4fO5Jzo7aMbAa3x3dk8A+0PkoQt3s3Z+c36dJwXuSdklI4+N7xGVQMwkHM/Srf5RQXG534L1Bs2AVepMB97PL7I0GFdG6ocrdUmFiuDG5+m5UfZ5c444NCLjh8Nj43E9pMmzkvTHPOAxYyDd0vjBsUiB9h3N8OFVQhquPdCJPi1l+16XVoSWae7tNWe8rMVPl+DL7/JL0j0Rm18DkLuB8fOWM1tDH2vLgaAEIw0j9IRGGS5NmbAjHYMHBCjjMhVs7Yq8HqxXbusB7V1ddA+u9ldBN/mK27B5/dplWp+bdkchiUcLKqQCHEvqspv3ZQ/vahoHwkacLD7viBVS1YG4jPfg7hdiN6pf7YhVgf/+wdlNpQH/o7BKC/eELK/EIs/7jAJ8f9hD6gTE64EyEBKfhdr4erctZ458jkr45pIYsK+RVmFYoM7oEr34wCgR0HFCE7b2qvcb4GRX7nZX3Z0beeCXg209WekJxty0Mcw2+/pmRUou2hGrYIPVlYqlo/i1XYOYtwdffwUpwc7BH2r3orON2xKaj73MJfnssUOAZEpA+Q0VvvgEDo08H37kTV26/dzVMr64CfzXlTkP2I15Bt2R5dfHAcF0ebhhCFctqbsR2pJODZd+w1cX9omLcK78iJ+wQrw6iv0KbE+vTuPNfDWL+JmTdTYcJpf+wf+evvTs2Fn14C2odirtNe/fnQ4je7X7b1QwjR/3utx/wBjV7kkv2Ncgp7tODpk/yYmGoMrAFQQ11tHFY7g3OUWYYgL6wsDhSHlCwTwFHQn/6/43V8QZZhlc2wDFE3Ia+hhsUjrrvO034npaFtVrJWj1YFfSs6umFcdTMhPpmyK+ht8ManSV5sDGHzij2hvYbdjmkqik22tZ4OYVbPlQGZiKpVOPWdIUTLj1ENoTeRuiUYHtj4+GemztD89RiyLRA/Noj7aF3FZp5ewMq/AK/TfpGGorzEcYWLqnmGL2R8Xi579nYBu86u+OuPXR0ttb2uMPkGmdd960BfMr0/cJSZq8iFg3sjO3BDh/0wqaUA+XpdbJtmMh2kObe40QMPv4/VoxLjg==","harness_zb64":"eNrNfQtz48ax7l9B1nWKpBYE8SIASoHrOvba8bVj5+6uk1MlqVh4DCR6SYAGwJVkx//9ft0zeJGgdp34JMfnREsAg3n09HR/3dM9+OVFJh72xSavjf3Ti8sXN/x/n5ci3dSX2tvoaVuU2vSu3iXv8s3dfT3TtbtNfX+IjaTYLbr7i2i3m1eb3f9xA8uOPCewHcvybFdYS9OLkshyrCRylonjB9nKMdOVVopKRGVyv6iK7XuRGjf5l+Jhzl3RUlGLcrfJN1W9SbRdVN5t8mirlZv3+LsvKjzdFOWVVh3iZBtVlVZk2n6T5yLVqjraClnwT5+9eYVq5ZBu8s1uX5Q1aqvvb/KsLHZavKlEUmvqgbxab0VWt4V7tUWV9qf2fimi7U3+VWisVv5N/u1XIdVqbIu76Vezm/wvP3TXtjmbG759k795++qvobEUc/cm/0R7ey+0N8V2AzI/aarKQyUq7vSk0v4c4VZelLtoO6+jDZrf78vicYN6N0WuZZiVGlXk4kH78q12V26IgJ9on+332yc8ieqjF+5FKbS6KK60V3/7ixaVmMOdIOJGKbqAEtGWXiwPeRLV6EZdaH//7AvUmYpMu0dnpo+zy5tcw39PYRRXuJRXm0x7+jS4LEV9KHPNMujG46emJraV0ExDFspDw3SWNvhh5S1Xq2Blyfs0jEjb5NrU8E3TCRzTc13X8YJA9wzHd1aebeNFx/KWuuMYK8sOPM/0A5TULcs2TH9lryx35Qe+pdu2ZdiWs1x5lrdaOXTDNGzTCzwfLzq+N7vMw/zi6WUkG0/RqQBVBY7re27gWIF73CvL8JdLz/MtD09tz9Utz0AXLd9fomXT1wPP8APTd9CUvXI9tLnyjKXn2m7g+yvPd3XP8Q3HcTz8z0dTlu6vHAN1LS17aa1WbqC7rmm4Fka7DGzXX9qzyzRMu27S7Et2Eo/76fzx4nFhzy7yRSofN4SXXNInPt3AonobXpvG7ctrnsRpy5eWif8umnp31vTHC+JQ1L34ajb/yw+zBag5Y1r8SLQoo/xOTC3dNa3Z7U3+6u/hddcpw72YWvNsJstnVP7LtyglF+dfwefJ0/RPhvzR8BFx1nqNRV6v19NKbDP9rV7s6/C7IhdNGfqP7qWbpJ7ih4bqf/l11j2k94xvQggNemzsi/108s1Ed2azK36Uga/jKHkXxkWx7Yo0tye6OevXdtiLcjoz2m5xj46bYxlVhddT09AtY3YrW4ry5L4oQ/69O35D5Okmvwu/jDAxsvi+esqT/g2Sh6jV7IgDCbvH3UoSZ19XfargMqwgN0Q6nZb6g6Q8fhDt8Yw44eFTs9f1uoAsC6vDbvpwVLZXCG/lRS3LfhpaYm4FvTbb8ci+vgyt4TPFi9cdl3Hpyr6fMaG60p9or346QLTtiD/iTV7peJkGK3KMSIufMPi8EUzaTkR5dXmkFaI85Qdzfq18D/oavdFCZ4g65IEsJJNcFYc6vL69ojbDXbFDU6HZe2VIlKNhP9xvtoIoenRftvVOhOjX9EGXzfKwZtzQy5CeXsnm5MVFefUw51+nVYH+9NanoayIVhVNgj0baZbXxqE2IOjBXlja3MaC3tfpz4IHP5udHXDTGJe74HaOmkGJrcinaGX2qeTsb0Y6AqKF1BFaWbOrfpem5cXDS9Uv2ZvFFDe6zumDq9mwbpJilx8zwu61n08ZnDrfFWhZFE8XP8+OCt72Ft92s28Xnr7T3/enoEqlRK5+gkzdRY9TE89nisH6XP72vhRCgRqpzTXwfVpG6IXQtWzzCG7fQMnSADE26GBAmW+OuPJnfc/qaDrvWnWwpBbeTCchZC9wNT15dsw0j+Hu5c8XVTq8e8T2A3qDp2l0pf748tuvZvrjnP4+XOxnpxRl7mglVkd0omWFtQMB3VJzW+j3m4GIPyLcs0vxxyiUJKfuuaapk/Cf3m/mJXVyQVpsdsxKP8Zj79AL821x5p2Hi/DV369/jG4v6J/49mofhVB0X76le1f7uLmIb4fv9SmIQdAa3kfzfXzSANjjodB2m1TyBxgjr0EpRrMiSu5bOAZBV7wX2jZ6uCIxuY0SFHr93VfG6UxmEk3ZSx3QZUxqDHr3kgZ+0QO+0y/f6pkaIs90dGEsj/t9Us38fDWxrCY+quYjmKbI13UZpUKyzaZax4cnPXrUoye91h/1Jz3bRncnYEEpMCWrmmaUWm+rPK2trygZTdSzqxT6Y8411cAx9VWxTXc6/rxXSl7nf95fZbGeRfIefirY0dW3LcIjfbhntASGuLrfnDxb0LOoT6w9g43yZQ9mHCn8Hiy5Ha6q3zZ0eRf3wun7xZ8MWADcyvu2jSKGXqvCp8XjgORpDbAwBhR6KOdEs/SR0SXDGSaAlBWdmBi+B0EctvNwyv7rDqrSSk/ruaVDe44thDUJ9ZAMOYPX2RSXL/nyzddf2aONt7iL2ZYURKMbrj62/6evD3hpNs7JmLSojI8GkfRYRzHU4it6TU6xNAKqi69OGYqpZfaMig6wRU8M/i8u7MXUvoAJgF+z2SJ6ooqjp9awG1aWPzKyqp4k4BqgjA/Kc2mLlfPkuO/JvBxFSCl6QegvM0fhGP33Uxg9vbT6Fs7UWF6Us77BgxspKDZeAYS/fTFGoJ9G6fPTIjPHKyrDBHR5GT6cPgbV+ooC4oCpd1IWQ5aAXA67eloofG4sL3ur7G15EOeYrRGxaFIZRgOT5Fgvfb9XyJu8EVp0FwGh1/O4OKD5/WHLdmbrhtHSTcqsWsQwOXNgyh+Lktwa1CtjfNk39hcPqGVzHsfIjJL2S8Mof5pOk0/LEzb5Yzk7b9EcC1HDWV5MwVkzEqGo6WyN/GvMtLodh+3Ux/PTwVh2QPjh81MT8mpoa5ZzJSie608ZM/4F6j6jHXqEeSfEXoksdFekV73fYTeOnhq6D812AqVEUkSy2ttJXv8xtORte3akiqjAtijeHfY9P0Q1UwObwQJx9TLmf/b3egdnlWikB8emuOoujWUcXJTEs+tMiAZevNBfdE496fP8RPvP+DulYxJKdg61Cgs2imFivhXbrfSTaPvtAVgwF9ILmWP9zoscFoJyg2IdGtqbOt1uYo3uG6OOTnVRo9p9sdX5RykyXbkw0XpomRcXVoD+sLPvIUqnMHYaKhIWyrZFVOPmBUrPZClQdNqaRA89cM2V+bqspVE6MPcfk+0hFZp4L8onehsWdQEmEfndBiO8Azkj2Pzb7SYFtn0AybW/Rflmu40mlXyqJIk0xC3DnMtePcwWBFPCkO+Zhmk6PQny8DK07GDgKXvQ+y/SqAdeKkUoo5uHZpS5EGm1ZtTZE5q/nxcrMkPZs9ZLFZkT3YTAmp0U3eTZSWHcm+iqppM36uhw/AJuTXTbOC2LNQPJvq5Dc/xBdCcGjz7Kafb4AD4ziYOkoHnia3nnqGj8IGVF9BA6F8xPy6MS56eit955MmjRX57Ur0B6HBIbo8i1eavUYtQ8i9pn1u0Zw+UY7FP7RALZ8kVU3lWzyzPCqCEal58NzR7y5o9YPQTVL/tY/QF3H3T886QIBjHSPb/fwHyRi11J6w77997U1ezoalb0AYmih74dEm1SPRbQLEKPMnBCOI0euwoepULtK9Jp9NRV/NSv644dZk3/4k1Otomse6Yf3ea2ZrP50u7eT+6hLKXXDeue2Pji4rg66i+9Nb+bcc/outuZME8mFRTTZb3/qhXazEZYH/ZbmCLRfgqBqE+7iZzNPn4mP9G+3GxBAgZLDL8OGAF0wAGishRJAXBWHpJ6Q/qDN7aSBl5Beos7UVZKQYwbeuNmXk90bdN1Zd+HjTO356eJTZi+5nnb98MmqLS1j+zQI54MmTK/wTQ6slCZYUC8UNlJ5mzBht5X9qm5pB5Io8k8tt4I74aKHmeQ7aas6hEMuxedvaUAz0ghrp+U6V40PWGtuhdNj3Uuc2zNgeMZVE5pmH/kIiegFk8+lS+f9Fy9fjkU/3Jqxtz/nR6Qil+WnA9eP3rxLtp39ir1ZdHuDZx0Z6q0GBYrxtFqvE/NGS+BKer61DweH27+0Rwz9JVrJjJfTtuq5o2evDga0GJ6dONloz5HpqsZQTezpxsfL6ML9OzsyxK/nppuEnBX4RloPeqQ+ziEPdLHwXO0+kHs/SGEnWyB7dI1urL/z0JsloZ3vKOtgPBFC4mbwIcBJt4D8UW2elFAxgILNq8CPqU3+Q8tXpa48QvI/ingrWCbeXa5x83m2Zv7KC0epm2IxekG6AleOBKCwCgNHrFBAM/0LNN1Am8ZrBY/nMdNx2U/DGDUYGBbiPLsBm0F3KVvNztACxvY7aS39DykPxJMyZL8V97IQ/Oqk5LNxW5TgeGS+/Y6ehRlGZqGvHwoqCyp2MZzEb1ripJfNpz3tiGL+Mfwx6rIDZosYF2RT/+6mJD/A2ZDatCjyWx2jTs5lFFSV5Pb68kb/ISefDLAN/3rye3R+Haivi/SKkQr1xPxfkeF5b2vafdmk22gaydqQ1goCJWmZZiCsYqnafwETjSIt+7F47RfCz1JilTQb9wXST25PQHm1X2oOIpHB61Pg0MHomZg+i+TqsjqyaWlT37aTS5VkZ/WB0sV0cmquIRRoUuLQf78ZnLp/Dr7eLas7hVyvXqv34UEN6bHY9YngeNHInP9iX5N0P8HXQL+Hxqs3bFf+F5N7aO8s38KB2+cY9/FD00NzWI4xWzHgO3ikAM+pf0hPeD5Awo84B8gItJmP1/8IP0sP/OGSg+4DWBI/Yew5cMj1QPZUYXX1Pqgev1ooPoRKW6Pt9SzYxR/QTUfa9eiPjMLfb69nmyqz1ADxULoBwzTXnr/7L+zya3OHYHthP8fQQm8xmF/Dxf5S4YVHI2BTs/+EGJkfSwcNvzVzuL57Qrom/Pcl9hxFMdL4r7+JNRyGm51x5T/nUR3kHghWNNe6Xez4dbkjzpzhcgPO0GSYnpkZUqPNkVJNQrFgHjd7bPpz4sfZvPjm9H1j1jrF8zrJ1go/bQnEy/PwAglMdO+wPxl0lgBE4nr8pcQCvVmJ6oazU4ua31SbSBxLn/EDxWKNrlED/UJ5kSUAtBkckmd+/VEKbULFyM/WbpM4J58rk+FR1MD/Wy3zvqr+ap53Fii+Bk9nDc01Aj7ESkNcMrDsNNGl2W0AYBipT37bWKlPOTME/2Zrsuny3Y6mwKsBrmGXguCEQI3rCBCy/JVJcp6pK8n3WP/kdKxTTPNJCtPf67zspNLR93jO3qzAJu7zTXA3uMa3FOU63jfPGN+0iUjdTyl02qgqvMKqnNDropIvUFPMNoNIYY82on1Ogwn6/UOOma9niiKgfFKaVZUT5UBxfKenCtXCRDk0W0btyV6GNx2bmdNTEpzb/apozBxu3rK4qFqwwkytiA4ykJtDHIvdP77kpvuT2gZSgg07aDOjCd2dkXVNvs15ewKphS6xlgjPez2WOszPdseoKMJzfdmHgo4m0hEPP+Fm/1V6WLjodzUYl2Lx2FFaGgmgbR0j64Jwf4vANJ7mAXkbVZ4+K99BzPmQ6cx6PdRRYV06X7+a0ilput1Bvy1Xs8odIzqnM6MfQQRAyanmaSagShoIcCcZNRCFFB1KyoIFYYrRPsEI1tjZOuyogclAW8mTzj5N5JngjGQQxJIt6qnKlCShLm78iSCWZouDYcZkzZopicQ9QyHSAzCtzoG9l3wuo6/SxPVA/Rdk4dSiZHr8npCvZncyi0gfg3t3ob97vWqmHXv8t7Rdas3quM6ZqH02ZrtG+yGkW918uXktbY4BxOhaF/inJT+Y2iYVvuKYifI/wioY0podgDXiaOidM3IejqbGQDW6eYOOm6K3p5aAlkpxM+iswOq4lAmYi1rJ7wPWteClCfz0eRS/qtPtiKqBGlSTDQU5CGfXF7f6pMYcrlWP7cF0Yx/w7zINndgerFNqzWZH2D2dHIphKEeiZ8OtI1DSnY6+3VAUOpnf+ErYSEeMX8Yoz75ouByUDwiqlm6VRO5LVNFtLQuz9QwLm54xMQF8mUsoYJUxy/oFEdClzudlifNz/V0wvHpOurn6HqeAX06yZrQfX40nKBbJV652mtUdxuCDGtlk02p7lnbFKNt1Uiv1lmnQWpxrah+q70MtetfJngNOAXdlIx/Wf0qV410Z4I4MMjU0FjEVwbU1pqqqtYcydo+wbDxFJO7jomVp7xiun7TNoF+fA8aTL+WA6KJnVaz49b1YNb1nlto229bLtXqhHmI/x227VZtu6xZ3feWSnkbsqldDcoRFmbvzabKyEITavOuNESKVQGGP8RYqRWUNxmY/fpUg7wwoT8f+dkjD4O6ygEg+dP08fqdXLHvGAML49Xr19+/ftNE91YP0T68rno0aF5G42WxhYULZPCm64WMaeikDj9nl/8bVNWY4M3EyzV22+jh48mv2hXakpiMYPwDboo22wOIi1XIQ8QqhrjBev1F8Y0ksT4hSk0un6Pbr4N50CeMi9Di5JINBynhCnnrtkcKDAjLl6KWZWkSnVz37lzphSpSvDt5xDQ9/5RBEXlNfp0NSEii6+NXztiyO+GN3oqkBIRrrvf2DyGtj8HSO8FMR9N6PafVdIKiUKmcsssYwv5dHxmJ/+wufrOJ/wZqQuSb/E7u0Ff4tRV1kTf729TNg8zEIXanJb7j7f6fakuLo/yddidysiVRgiID8mfH8lt7DeRxBOi0z1lYaYzlk3LDvkuZgpTKLSRY6DVwWLRfVLviHQjNAwGpexlVHwSFAOhQfFWH15Q2b68B+fYi6fKtiDXGAxhga8eCAJ66Lrqf+21Ugx93vWAHmNXQLd2NewIJmJTuDuxgpvPrV198/VYLoXR+F1Jrk76JPjmiu67Jf6HVOMKjeTwBo3/59es3b3Xt28/eUHdWPgMtnX8sLeCh//fWWr/582eAKXg8SbwgCPwkyzzLCkxh2XFkx1YiYsdxRJr5XhQ4ZrayMs+Jl6nvL6MgML0sXonEDNBxdPPVd199/d2r9eff/+UvTIGJF3sr28qC1PUcx3KjyE9Wnu1gsLGwlwBItrvMfNOld1nmM9mK4m6i00hhNdX0q6jvRbm+j7Z8VSuoR79jADVpytKAX3//PTX7Qftg/e33n3+Dgu0kGq+/hbiYzmhn9Dssmfe0+VNpbMvRXifeg6QpEgqYudsWMSQEasE4//r1t6++QE0EbZpwF4Ur06iOGpDRbAcPkSeX6MPLrg51h5HMsA71Lo+RHw/RalcF5MMGLQCJkthl67P1uqqczCKH0BAsP5rSnANIjmeMGLq+ZJEid9HVegS5aA9tk78v3tFv+QIv5WYVS/cJ2gNlGITIxlvRS0p/U1EEIG2NTyudZMN2RtUSCh0+UsvU+Jo2nstoO/RTqleY1bU/hlA0+MMcP1Q7A4ucHTZ/o93uV8RI00xBW61qhK7q/u5Q1Rh9t+mN6n7htn41jF+omV8ns8H0XLN3YXaq9JppWUNbkqiYNj06sTsH9fVvt1UooFu2dYBrabEQVise2izQz1UxSr1Mi4eczBbQXjvkKrO1qYf6AOmxqdsd/cYEL7aJ2vVmyUy9oZdEzYlUhni/M/qV0DvHrSsM+CjADFyfwbO73Rp3ol7jfnKoicumE9MIDNttCCoeSY6jl6GWk31RXts9u269i/JNxquGOKoEaKaILXI7JhIAlsDWfGu7yQ+P88fAW3vupZzoSceLaqWhHzPtD2Hb6nPsMmkSg9GWpgRoY6sescMxMfprvLVXKmXcrPvLXZqRjTQbFhks+cYUUrMQ9tmjcTXKXKBkI2hFXk/3BjnU9FbKKNTOKUEqA7Cpw/j8++/evv7s87dv1m9ef77+4uvXBgnA6eRCmmINSH8nnkh2K+kkOw9lJ6NV+h2Ytc0qTU1sQKK6a3K95q1DyO5ZN0/UAAsHzH0jePuTxCYOutDW0lKX+2KkvBk2nRzqbB5MZqdh8bIGozokJOaP/OKSB17LpdsIjcYoVW2qPOqItgUvtV9UfRJmtmJC7uNwGOK6neJnqK0ttIkKWxxzUrDlfVr1GB2Grepas1/JztXwuJHJKYFUBb+FQkeVjhOqqXeEUu1MX2P6b4lSkukVbZstTvCUvN9U1T4YrsZhdYOVKA1t0e3iDSGr0YesjaRrXDJFOWiluy0r7NoZc9ScaGQZeAUCMe6PiOPTDaVnmYbhXEIWkqCHSjhspbqmmFdVZKCAP2IAX3796tsv3jwj34e/Gd+rV8mf8i2Bvb999vrrz777/BWm4LDZQipFlVD0/MiKWW429f6FLsBFuWiJmpHQ6t2f5ms1fLxdha6u6BqedEDubHAonT6eS0FBuOuHonwH5R4GOni83HAY4Mn4ZsZa1i+r7glesDw6aA43ByjyIxtu6dFI+jBkRzMRDplvuCvIzj5OfeeJOk2lheiM6rqkzCTO/URx1mLNfQ5BkbfHsmxPcZCa5HSTZYx7mfvEo/YL9e5XLFaubLBGOyK8DDXraCUcCG63y4y2yCQH6tJ3p2v9JZdkd+P0UPDyjI+NfdmME0j0GHtRZmuF3HtuOKkdVE2j/jhyxWm9a3IcaNfo1K2utf42io1kXDvSljZv+tJzznWNnrjoPtFeC4rLUK4I5pYNmTqwgIGzk80+olgitvCf2ghMHeUo8p1QKvnjNkDuPzdmfsuCNU+d7MIwmZHAN92WIhXMYkrfG/QrXlCut48R7kqWtJGhyhumKQdyxzPUWssy5EoiEPKsP49x27MePS5x4tNrwjipDapd+rLorVM/GBkK5gnMOxojdwCE7vqyaBtlE3E42MnQxum1DTqPe9U+1INDrvRtdthqXdvj7VKPQu3DHsNuV7Ox0JRGHXqK1cYo76HQCCwiKl1hrUjnMQ1LjKDlcVahogu1FhvAfGYk5CNF35TLVDU55jgdTPzQT03F2aisn/ZiCjrAVKgUiOSMCSLXHz/MBDB1yTrmPi3OT/rIljrpAXorpD+6nL41zcC68e+G1C29eYmFS6j+1bVWYoT8t4ckOgEmndPaqA0h4cD3ZSpK9PaQc2AlfhE9rzR1ygWQRXrgeAMgqCvt+hYDAUDBQ5BKU9YqryYJpKkLVPnnWJPSZaBwLBvL6BzNdIv4aOFSbDl5CZTZpEywSiNN3cLQSkmvV5SmXh326BGZWERmaDOVtdQ6Qbvx/7euHaFMEtqsQlhuG01vt1vSaDBQSum1ACvsivSwFezdASVYkKI5WMsbQGwaWX7qCzI0uVem+I68IKK/aZyCcgmdukDnP7Awl14mzsEnKlSA240zCZRXvRGVlKQNGcZcKaMenaHgo1uXp2dTKPHISVDs/OqVYWXXMxuPbM1evIlcxGHPhXHa0qiOp4iuZzwinSk/dHVdb0ltVuCEejq5uakn0kzdMoLNtSm7+2AfdY7lpiajrt4PTSRZDb1aTU/Dw7nKJnFUtkqKvCKCTSefTGa97mLq3otceqf6lMJwwbpiuPb+HFWQcEl9iLaacntw4Mj+AJZmvxv4LiNO55dTsA8q3cQHaSLR2Q0DUH/GWdS73UPWg2eAofunc86dxnfO/5CHkiJAyT35T5kSv9F1sWldpsptQFql800/64mhzQ7V3BlHDNNQeWjbxPHi4ciH1GvkDlJyr2vvAHz11h0EJoZs0DXpNzmUW9SIWgbAil8863GSeQZUq9yQlrfnVZmQH5vdVtIBihYG3NfN9XxycuwAb6MrQkv2owWhYg/ws3WiLbji01jAnp+57/6innAEDSkeWj31mghARdjBid8fa1FIvlaynzm/nSNgQ+rViTnBc3ZNj8jml7qRhxR284E5CPG/gYWwLsGjDTmOTc7zGwLtvoCU6M0qDQm5ltM9ym9ZD6zrYtprCJPRedBGzEs+Ua+Q5+xMjnpDc94FjJ97u++Q67eM2UTFGIhyxU1UNppRHbJs8yhbNPZP1Ir0FinmV/pMeVRbMkn26lFI0aXz9LUOM1kDRbfwzPDo5b2eJurKgF8mWRYEsecsncSOotR3XDszI9uzVm6GC1/4QbxKnNgJUi9wIt91V6bppa7trPwgSS138qwEwORQHI32cC/EthngGVmgTHcyP87G8vU3zV5qVp/Lz9qnvbrbMILssrXC8R6s8P5Jdiwsf531olg+pID74FJxAopTOONg002n7d/1IAQpPPLJnvJab+O7eUfNbMsReif+11L8DwuequKjPd7JWMPNpkQV8orXu8V3NIT2/kglHbdRye4K+hi6hmNKG3fgEUU6s/+01sZb+nF1sKug8bgekebj9jzG+tBWCJBA1k7YlO63JWrakavaTPDNDrK5JIhWUUaNrr3fRF+/5tgHqLP3u781dWGNb6rRaeGl1DZ6CgoM9YilGu1lz8vxivZP9T1qaHbTDXnd1Dyd6RKVhPwX4kc9WK/1dgc+HCjTySiVeOEdzUsvIkQV0FmSrt+Jp0pGghiC49KmZ2jPL4Xty+Pxd+GYS1fXOo/iuZrXSc/VG07GwZXRuZLprMIsguG8LnMleyQmIduBZFetflWbu100Ric2/iijc0J0hVaXNunNC8PLbl7MWnczx4405lCklFW7MbqmYk0kTQOJo7rYbZI10XwqoTCnEjeysw9SeiKN8YXSNLt3sJum8qJqmJWiE9fFu37cTgbNX+/IgdREZODVin5PYc5C94UTYwK5zXU3m1xl2GtKVURh9r10HTKMisrIUo7qpFYmD8BjsPuKw3EaTstaUx6lzkkj7CfN69DW5SbsGhaCPElgdnqWG0dNkkmTT0aecrDSsZFCnaPUzimXoBOhiml/E6ugKD8+x20K+uhaj87Zho/iHXoBCxUhrUJA8c4xnkOJQ47F944fdpNNApu9EkLNtUr1bfezpSnaC1Bowkwvx9MP1irAWgbOtPWF6l+9ib4HZQ8oJ382oXd8QZowIs/J9W0/Mg1c0obrVicRE9Iu7NkgKnBMtipddk0W83MAhI9S0QByk3ccWXqpDJIFi9FFI6kXci0vGoeK1A586sCdSCdDl1wTWEfRhJ1r82wgNnW1F4qtIIyMiXjZufBmbGB0Hr1PteXgfM7TsXWjkj1r4iEidtts7g7FodIO+eang1A4VZPLcDL0IKrxyPmb3LKp0fbjY3vAb6uthhMrT1p1ikWIMD9v9ly9rh03PlwI01O/IV67liGbt537kG+OOPCoTOdVHMmi5o6deZW8j1SC+9ZO7h9C+Yq8HPfF92nU+CeHs9UXLSNOd9VkF9R6+7t44PtU/Xg3/CjZPtaDPvryh33gLZlHZ+aZHr27fZaKbSCz2kr5p+aPPI7i/SbljLmhCcDs3HNHHWIs/Xu5xFgX7bvUwVJQuhR5GE8FhJIMA1Ez6xk+qlWGA+EZSQ1GgLETKmcGcIKMQgzJLzOGQaixQxVixCQWt6IWE47eabvJIcaT9uEo8BjDNk0F0jUattd6z10XHkv4ccgtNYkq21xP+ipHPWujv8cq6nao161bH8sgolXNl4pTol7EcyuhRtEb6UCehVLtKSgYVzayiox9L5v0Q/AHk9voxj5ak+yi8yyPPGadqVjKIJDEwSLsdptzb5sU8BHbboxh2i2ItUxc6nevVe/H1OhhDxXS3JnIem/RNMyvHLE6yQDFD45N4Qkpnd/tdocMqJiLbtXJo8ToFUN7LTg2UmbE8JbProDyi/j8MlGWh710Q+XSDK/VZsUwBvLDO9OKGVFkxK/cuJSb7WIKUtWipCyqqtlB4A8rFJda/VDIGHCOu1aamo9QxJgYb8oDgHlLYsKv39H5jcN4vyzJ6628I12KLW1mvxWpS0i9ZwlT9iuCcJkYFJ1P3qlIgmy61E92Jrg3gMMUmitLyDtUbP3qv7V/9K+/+1Nf3yn418OqfT5pEOvRC/3l3vhxmI0pKzRcryWR1mtgvicYvJws2uey9lfLbPKf2ewjdls+dqPljMfqjDSnk34aiT5EhMOSuNn2/lRjyX1CtbPsmLpmaxf8+2PlWWO8hpY5O919eTaUAj1r2v80VHQd8TyrNI7BIfoDE68nSBuUGJ6PSDk6Nl5mWrdHsnDK6OPYuaInqmHAR/1dYVL9YTb5hcElKqPT7mSaM4VM4Mavk7FTsvvSuc/SMuVuxAUzCg/OeO6Pjlzoc0ibplw8zEaLNZN9bsAXF1zieEy/ZTwnuT7cRh6OMf7FBU90o3tbgK14dYYio6nVH9ufD9F1HKwRKpl2bpGy4oDdJqfF+Ky8O9D3CP7KT6ZgxyaRBtInLZL1etZ/lY6lWEfqnelkPm9kyaRbcBNUQYbSoj2AYQHlvRjGkj5baUeFsWrVNhbhh0WrUyQoeLZWSbB+jRQNwPuzqk7q51wlrcxVzsrH1Mwqc6yr8sHzL0OozWXWn85mX8iT31Tl2M+/LaXT6KtueywInX5D6l5Wwf9QJf3tUNLbFhlGdN9oBTPdgcXe5Dx0JWS7dOna/WgW1YaQZkY7ttaMtwwD9V0pqdq/jXqatdPGFjXYi5vsIApf9pcK32igmHwq8dhwNHq/7wrj9Q57YPPy+LgHuX44W+/sTsN/OnHvbMeg0wra8RVtDIzGJS6PA1i099VpTAu/ppbDh/P5xpPCANOfHbv2f7SPHv30aPgUaEOfIANkoe38vdCmFLLT214ci9lp/OoVhepwAIw+zLziSM+bXGUgyUxHymLhAzyBOMjXWikaANbeRyWdakzU5qCFZneQNimaZDSm3te1BNyVjEwqBQX3NudC6P1wJc7yoIbpnqofKyt5F90JdvQDgIODAat1KnaTQ01RuDaNXk0zRm5oX9fNro1sk5cMlgl6XTzkXRzUoiqTxUjIvzbFWze5Y2rxvlKffqGtHnmCIe33aMA06mR1/KRDVCh2VDxGHI9UqAA8g78UJyFkJb8Xc8kBpuzNvsmboCVYOordqBzUB2VyEmfh3fqwp9Mfm2B0UvhAfl32FDnNyLspLaJccoaKLZYosWm/F9d9FGDdZpLGKkm94LCfVDxesnFxk5dsN8nNI5RNi50xskmSltEDqWNAsjXnSctIDnUnKvns6zVvoBAh72Ji2LtdBGmUy+/eFRRAJ/npJCzc0P5EnW4S4cjJooE4FEPGgdMNCR+KwzblrYGEEcHK8AHOt1tCk70NKq5kmEILIjGrgArN5FIhOrxTO6IYZ7r2sgU0tfelJcd5BVcU29f5KCT7FLlMJ5idfuLwg2m3gzRbmEcnabGfffvt939/9cX6zStOmFR0ucm/W//9+9ffvOLUz4ByVmlrnDI9bl5gqmqxr25e0C6VCnVe8+oa3nocXj7JS5rI3aH7LSe1vUxr/O7jy5sXIywhyx9zz+Au3ehXrm7Hhyf0tYjlTeLFmxenqSBtksjlabAWWRn5/vfJzqC6/takaDTZGcpHKFfR/twSCnsG0TEhKAoqvzMOUNyQR9O/GccF1jBAIexH7kePwzoHC/FMtf0yRzUPH7WVtxN/UmX7pKmod6PfN0LxfbL1bZr2lbD9NSpYwpF75xNSTqgcHt/o8xGJhvVAYpzkFPFWdZ/jNjPpnjkvfKez64006Ddk0JMwUYkk9CU9/nGabPS/LHtITSFf/Y9mEPVziFpx9mwuUZezSUEEw+yhzVjq0PgcjWQTDWb5KJvouUwiMigg03tZQ2Pxfbzrlx+fLNyOo0sAGslRUrX205NU2tL5SMI3T7S3/+pxU0Md9OH0ZYMmhrryJG/pv1LFtf8FNaL9lzbdUHuzoywl2f0zZjrvnJ0z0Rubbj+0BW9ezOdS5I/Zgn1V+EwFwIb0fvMWM6EqTT3aj9uOUZuY0W+mbxSyF+WYnK9fffnDG2hmfvm/gAg5VJ2BHhcETZ5kiAgB/F4+Bwo3QqD7D4SW/dAHvSCnC/BvSOezVTVAVXnqMbFv8mdDnc/moTf+g+ZFirRqorja4C2ouHUUb5o26mdd8+olLXy2rumsPaxU4fv1+fwwtUHcpenyrlybrnoiF0bFez9brrfeJcVnzdh6lteZxLn6o1LmRi2494351v5QiXKt/Ju14vfD5GgS5ca6PP3YZKXqEJ/PKwMsK7bAbbxrffOi29jGrfN5aahRvd1se7c1tBvfbQUqiS/Ufnl3qba8+zvFqGzW7Q1j/RXFXQMY6ZwT+bs76UReN2edyKvutBNgSRXSW9DubBfTQV+tkQZhP00Ld5VcaJIcaCtb9tiQn31QZ4eoqadhdEvz5sUD7KCbF5f49TG+ip7pK4VAX5CQEBlA7wYdX6o+Dh6xpq7oYTvGwXPa+lxXvem81IbZYqi9P9m83Uys1B5mdVpdZ1uPVdd/+qHqWi5ZcxQDVSc5Q3JURTUcneU1/noTmEA18MYLVdEFN4zU0+oNc1hnRw3JWVylOr6sX64Rd2oLSoVXUuGjU2xkLkeXcd8/0ObZGvnFZma7VP7+K0dBl9IMXiszeN1Hey8uW7F5VIMSydKZKSf0kLcHXKxhdjvDRllkHRfnmydFW9xHBTvo1y9SvKNnxTt1U63arURr/SNaxWmEak+pD8MQu81VfkKy4YFiOGHlZUdgKlPRhtziS7IJyLgfnJ52jAWAlF5yD4c4ib+PAXHDrG6NOmxvXjQeWwxayVXoekEAToKqY+dtP2PrP+e5/UQb7xFUlIwJIPaUUmydRXhW3TMgagLY9cZZCONILgsZLwUpYVDt/5yv9hPtf9Rb+wk7Anupi/T9RUslUlD3e85UMiBbJ2vjVKUDIqFgp3V0N3Cwzq6o8u5cqCZDa1NpsQCVNkkdl1H6xANJ7imwP78TGM7HHhcmOx/FwNhY8fw546TYHnb0SXd0qUnekjMhw6SltJH4s03i4noov7LWsBj/2MScf9ocwA0Uu32InqouL4HjAXsF1QCn1bvNfo9u8MKcN+ex89F9M9kIZ36FKiRe+4ci8z+0Lg8MF417+R/sdVZTVAoZYAiOS4pqHpW7NquMun7Zp7SsFcW/pah5TUbNN59q+oTuQrfzzjp5LLm3n/Dkbu6g18g53J4EK72eiq5XR8zf+MPJy1vJfSZOqUUrg+Q3RYibWo77pk6Em3mpGXlJlsZOLFJPuG5iZ6soy9JguXKdxPci16b5Th3M38o07cyxUi+Lg8g2b2rHXZpLz1mhLlnp3DEs27C8l7Zpexb+pxqfH/J3ORboXPboLj/M1TxyLNmaEi1p0gyQw7j7+aa+r+t9dblY9FZdRDJhO6/uF6ottsDndDpZGm2h7hdqMVSLRhYsmm4sfuf+naEsT/lNncWp8LBaAs8Xwl/GbhCbQtir2I5Xjm+LZJl6lu+vVmkcZU4gAjtNzOXKy+zM950AFVmeb/t24NzU7H6c28bScOfJ3rFs9Rei8Yk7sbbXtr+WPTEGd4Pm7sP9tqOoTGSV5Linr7ymRlHeLdQuSrVwnUXkLBL0LvFsYa0Sx/GFlzq+b8ZmIFx/GQR+FjtmIgLX91MnMVciSyIvtjPTtoPIW/xefX6eykHsOBnI6qyslRuvYi/BH8v3MieBqHHilSvQVRus7Hq+G0SpmWQrz0wjIcTSNT2wbwCONi0mchzNTcMLDOvfRmXbWZiB5USxSQc5mq7pgNRJ7LuWs7IjAdLGluNAzAY+up9mXra0wRdxhqXomu7id+v082ROl6YllpbpmL4XryLLjUUQLFN76bsphIXnrxzLt6Jo6UbB0kkt23WFaVmpi5nASCAbwNkrD1NxU2+373dbICD0emka5r+J1MnCtxe2HXuuu4JajkXiJknggb1jb7kS9GMZxT4IjpEGfhSJxLd8kYjMdc0MNxa/Z7/zkYzkltiRSGMvsAMTyMFxE8syV16QgUfdwAmggUHFpW36K8vJYjvJLMxHFLvJEhLcw7LErEFuLAPwdi9V2TQswzQYUXCfzXkUb5yu4zaqH+u35Y/S+1kgNCKD+3Bk8bt361lypuYSxDCxrpZ26sWJFZhxYNrLJdSb52RmDOGVgQEEWGGZ2NESAi9OMPWJm0Wpm93ULpg7sD1SmqV4v0OnHcM/O//W6fz3R/Gb2NZPFl6ysHyIhsBaCs+HtEWvgjh2PPyfcKNV5jheFrmuG8XxKqCcXku4MaR05gVWJBa/V5+fpbEbZ+4yilZeYq8E0ITjLSEYMN9LKzMzy008CC87Fg7gLyhp0nd74tSKQPQ0FaYLZQfkzBReE9JaP0Jz0Nd+90/OPKcoDXTrt5EuSBdeugA48YSV+H7si0yshO37CRaPHcdBHPgrE4Dd8h1vla38xI6dFOs9hmRwIeisxQc78zzf+dbKyfwE6lLgB2Yow1BtcFm2MqHyTWFh4kyoJHCZm8TLpZMEvuMAIThJaiWgib1aLYkoPCY6etr2DOdfoInngCCLOLKSZWA6YJaViNLI8S2LJkpkECrLhJaHvYpMP0h92woCK3DjJIpXabq0/cWH+vIsSezITLESLd/OAidKvCh2wKzLpbsyPSxCJ3Yg24AysA4BkqDIE9OzMjz1MXGBANj0MTHLm5pOxCGki4lxXMP+F0gSmYvMXSRQqRAEmRWvoGsFeNXziHEtO1maJrSfAIATIFgMZBH7FnSGHVimawV2tPhgZ56liZNiMa4CyrIHW8SwtcCrsRVDEC2XWeY7SQRhlLqAhGYQ+1FieeYqMHGPwLoL1Qot7BGAgeUG2F/33GVAukvDHl/1H5asv4Pa9bNFslw4dDB1RPoVImyZYf6DzCEDQ6SwIIJlILIIv4WdJcLKMiC3JcyRZJUJHyD03zaq55UySC98y7ZXPhgWcNiE5khjwE5hQe6Z0MQp1IaFRWT7nmt5abDy0jiwEgvgzcZqhjAkLL9J8wgjsP8V2baEDrUXJOQtSFLTsdEhAK8l5EgqrHTpZbAnXBg3lpuBp6NlCjHsR8xDEUQzdPAz3XiWDsDP4Eix9LBOPUh88F5sA5hi6WK5OHaQWVi7vptEoIKfrmAqCAhbL/GXWPACBLCcJZDVTQ17f7uJHaya4F8S9Ct7sUoXiSs8bwlBhuoxbDcwA9cRPiRMEGTRyoUBACZcmjBWBZHH9mLfTB3biQANP9CVZwkiVjF0nfA9sXTMGAZIZiZJajrQ1T4AcwTBHmSpa8fRCiIfqjtbQRfC6IuAm63UYoKYgU2meEnfl5yTWWpYpmH/K6LesReptSBFbGfCTogubmqm1nJl2zA7A9tKAw/yLPWJU9Il7AkrjgWuhBNZMSZr8TH9GSdN50OBHRytLFhky8SNTTJmCKt4S6heJ4N88zwXCgfc4/ormMN2gplakmiL48i3BBQUTIfAd20Gs51zav7RrqljZwI5tQmSGj0I+4wXbCHfX3xse2coohxJWD+ZcOIEqiZwPLACUBCAWhwEMTSgj+mAfLHiLF2uYHq7QHnQkeQ085cZ1tByBRW4tG27rRAc8DuB8l6F40NgD1idQdxEgAdLC3LQjleZZccJwB/Mfwe2EyxAx/eWwKdxnKwsS/hmFPipB5CROFCkQNPW0oT14pmyRuVsiXbQZfP38jyNlzKFyxAW9LFIV90I6bPv5QaM33zNcBvld8z4vWoWH11v3vfgnbjGHFiyEGoxcJvtA3375hIIwc5MD6JlmWKQUWrBHLaEufRN04uXZDuaK+hjcxX5gjSziUpc5xnXWEROYHQx2u+3Yp5G5cMm/9/iFvvtfRsnqJKUMdgBojACFgBHgHOgGbIl1BS0pw+hAOOBfAwQjyYwYhb7KzdzfTLBIiEyUhkW1DuUR/CcRwztP64ta22uuRe/TWpm2SJaASAnMFLAxgKLMQ2A04VtekDxQGJLewkzexW7sM4tyAATU+xEPsbhgm5OtvhtPXuWYH4qlgJMBY2VAE34WRJ4JG4ik0gXRKlvwvJ3ksxbpn7mRnbipquluVqZfAtsByhiu8qDeM5PJLtl/3MES91F5C8wbwBFQQqAGpNAxxRFqQNr1HI9cwmd6DvQPG60XKGzsL0yy/FM0/WhC8TiN3btWYpBoyyBcGI/gRGTChKrS7L5XdMHsSIP9h4MfdN2TfJK+WmygmUBazC1Ah9zG8OSxSJ3YSV+yE/1r1FttbCyBeF2AMXYAYTwYSn6cQDVEvuZLVwrEUvgTZAqQ59XIgagBOpfQa5YHqi4+O29o32+3rfxXly++OXmhcwHlpEE/84dPhmE2z9TSvYB0xTbkAwp5i0DdCJ4FqVZRHf8FQgCqGmBt8iAXqbCC5Y0pcCWUKUwHIcVs+lA9YI5bedXjP/1q8+++MurefvVOWOXgg7/meSU/Pv3otxGT7xvU5SbOzoWRstSAFbbSdqtp/iQp1uZAZHjKYjj+mJ4l89OVeXXP2MFav/3zfff8ZEzl3SqiraL9ob2hQye4sIyUmdScY6lfKUutH52Q1u+afK4cPNxQEP7rqCDW4EUExm/SU8HY+KjtdCdJ7k1+1V0qKpNlHMVtAFYU6oGX3A4Lu0TQktph33KuXz0cWyNv0DBX1+nHb9MCO3uEJWUzPBF72MWcu+tjqp3lFKt8kUGG2XNcS9T6RfT2C+maxDZjBoeNXb16DLLRMIGvdtg7fZme45LGcNDYn/GuRwouI3KO6GB9KIkAnRnzHSHicqPGNHWntjBkk9lBjHPjjqDZi6PypRTzTU/yZSwaEs5N0/yQzjN6YickZFlHFbAJw89GdoPw4N+ZdQPbzLiHeYPOi2GthVVTl7zZaG7grNGZHWg8etD3uyU7kva4+X8KfqMjWKSsvgZjNh+hJ5JoiI6tO4UNK07AE3X/krnnYFivbrlB1LX26LYU/1v3n72+q32+fc/fPdWm9LHf9uzzTG5QqZd0+FeNCAuG7YfPbX4r81/Hf7rmtwpri2ENSMPNqbgSY7HqFTjc66IB2Fon7UNzvk7wSrxeMNffUsrmcHfy9poUnuimr9VLPOImi5fccydxikU7dzvwBHRO1rZmL62KKVuXfIlT98hVxzRfr5G46+8ywQRUJ++/jxojM425s61HwPXVTgOJ8YMvjYv6UdHm9RYwVvt7599oQ7ENbQvL7U2T5V2sWXKFZ9ZDRkqD2mQhzbrDQ98E1JkuupHiOmOzDDa5FloOEtaVlkdWnyGvmSdtGMa/mQd51zR+q60lD7TzE3uovKdqHn+iHAZBXbQKNF80etgFi+yiEvFD4vooWFmqoHO12ypg7mn+Coa0A7r+kChnRza1d+55y+307ET7fBztZo542XBomohpZc634CiAjgBKyn2m+Yre/V9d6Y2OApT+lZm00kmaFKJVF+/pEqi9MdDyud/p1dSwn/FCUHGQEJrDxRdJInejRQrfmlyaV3KJdkhxT88ygcpNz8D29/vBCb9Un4WUIpgmv5tvhCP+wUdbbqoUZfMt/szfaL48y++lAlrX77V7soN54wRZx34kFqa1R1HO0Zd1lpVUyTDlcqSaj47X1ENOYn5SiXg8UHcTSMajI6yeNzs5MoiOUd5hsTXZYYJ/Ds1jE5O54Z7MbXmX76dQZa8oWgSijWnkwsF18PV88LU2Hqk80RIETeLB1BQDgSynIOXie03mKbt5p3Ybu6LIu26GG3vRFxGtE7oRPF2zWyLuzkuKlqa/IlHko3R+4LoQ2yzA8AgDmnKsNDNtsWDwfQmAlKiNo209XOCOaHy5OLWZReshUODqCiJriApQop8k9Jh1rGgL41ZYm7ZcuKZ6igSg1UwOVK1ztFRjZdtpU3bMxJr6i2EPfTDywiypihnpP5Bbu6BrJpiSKmvh3xTyyzQqoEBmMttLhu46i3HFDXMuQY6cb26L7Zpy4i8NNBbe2VSLdTvQNKC+Y0nXZcn5c2hE8u0G2lXQEa9cCw2IwBoQo1TNHhOmvMV1WFEvScyK4H6WHHAjIwT+5Jz8BrJNd8fwAN86nIJvqRFTmF3lE1pQHXxmiUSA89fatW2ADU8wwik1OWhgsiWHRBrKFjDR++ruzTSB0FQ8orf1lbNhLFsACARsvP00p4OGsSK/Z7C/ek8ty29eKk1UVEcSOy71mql0+Jv1YjeyIW3vTCiLl2g+ea8XAlYTpQ3WmsMdTg9lkSROlJrgbZKCHqZsShj32XmKGm95mN1lAQJLr4jsCERE0c6HaXaYmLu7nk5vdu0D0q9S4qs2oOBARVOMvPUEUOV5gZtCivHo0q+l4e5qnzfQGZ3t3HyDBvoa7gae0XaBE4VMU3iPilKaHaZlx8R+irzuqEja2RqZNdkKu+Ie4mkUn80B2X1zw4zpFwlaU0FeT1fUbau/FoDFo/8jILGn8hVOJ+/xQWxzxwOFuVPINYF+1pu8q80ij9eUP6Z/FjC2BdJOqwkE0y///4r+UUDfgVIZntIJeezgpQHNXffKWadBnSySYzepyW4SRLt6guU8qC9iO+jj9yD7Xbe4hAYoiDAm4RZmxd9O/D2+zQSh3LQmzp4TQbFU+IIpYTvWKQTQIuAZmj8L379/2hKMz8=","ledger":{"lease":[10000496,10000497,10000498,10000499,10000500,10000501,10000502,10000503],"run":[{"arm":"BASE","seed":10000496},{"arm":"BASE","seed":10000497},{"arm":"BASE","seed":10000498},{"arm":"BASE","seed":10000499},{"arm":"BASE","seed":10000500},{"arm":"BASE","seed":10000501},{"arm":"BASE","seed":10000502},{"arm":"BASE","seed":10000503},{"arm":"few-point","seed":10000496},{"arm":"few-point","seed":10000497},{"arm":"few-point","seed":10000498},{"arm":"few-point","seed":10000499},{"arm":"few-point","seed":10000500},{"arm":"few-point","seed":10000501},{"arm":"few-point","seed":10000502},{"arm":"few-point","seed":10000503}],"burnt":[]},"failed":"Gate G: 94550 Submission/afterSwap OOG callbacks on the eight lease seeds; successful-callback peak 248120 > 245000. Source and runtime size pass, but gas does not. Stopped after this failed block; no source changes after T began.","not_done":["No board submission; candidate is not eligible for submission.","No post-failure retuning, engine rerun, qt1 comparison, or performance claim.","Generic goal P/Q scoring was not rerun for this bounded frozen-rule port; this result gates T/F/G only.","Runtime distributions are not embedded in the changed-files harness; offline replay needs the specified installed runtime."],"implementation":{"rule":"frozen k3, K=3, fallback=0, soft=1, a0=ainf=0.35","base_sha256":"99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72","frozen_rule_source_sha256":"ba7f7b2d764da09dc89dbbd9572fac62701c6d66e5b84e5bfa8d7a83b34369d6","tell_library_byte_identical":true,"QPL_payload_byte_identical":true,"approximations":"FT uses BASE Hart normal CDF, mirrored in fewpoint.py. WAD mass normalization and equal-third bins; residual <=1e-12 dropped; dead mass below 1e-18 resets (mirrored in reference). Fixed-point ln/exp/root and truncation. Fill likelihood evaluated as equivalent log-density ratio.","cost_reason":"Silent branches perform on-demand FT evaluations during binary searches, repeatedly calling WAD ln/exp/CDF; runtime budget leaves little room for a full FT table. No gas-cheap approximation was substituted for the frozen rule."},"evidence":{"replica_rows":[{"seed":74200,"callbacks":2000,"first_trades":1198,"mismatches":0,"max_error_bps":4.1233755992964305e-07,"worst":{"callback":1186,"timestamp":898,"side":0,"solidity":0.01845062726321182,"reference":0.018450627304445577},"peak_transaction_gas":4919901},{"seed":74201,"callbacks":2000,"first_trades":1354,"mismatches":0,"max_error_bps":3.9996176509626835e-07,"worst":{"callback":1797,"timestamp":1853,"side":1,"solidity":0.010088920208648771,"reference":0.010088920168652595},"peak_transaction_gas":5198067},{"seed":74202,"callbacks":2000,"first_trades":1326,"mismatches":0,"max_error_bps":4.541541795410886e-07,"worst":{"callback":588,"timestamp":534,"side":1,"solidity":0.01590140677610233,"reference":0.01590140682151775},"peak_transaction_gas":3653358},{"seed":74203,"callbacks":2000,"first_trades":1233,"mismatches":0,"max_error_bps":4.4381314595609567e-07,"worst":{"callback":1048,"timestamp":876,"side":1,"solidity":0.029999667316013296,"reference":0.02999966736039461},"peak_transaction_gas":3708024},{"seed":74204,"callbacks":2000,"first_trades":1277,"mismatches":0,"max_error_bps":4.5049295890886576e-07,"worst":{"callback":882,"timestamp":797,"side":0,"solidity":0.015401217295737735,"reference":0.015401217250688439},"peak_transaction_gas":3923009},{"seed":74205,"callbacks":2000,"first_trades":1299,"mismatches":0,"max_error_bps":4.2127072663600273e-07,"worst":{"callback":1458,"timestamp":1321,"side":1,"solidity":0.018932265568944125,"reference":0.018932265611071197},"peak_transaction_gas":6626971},{"seed":74206,"callbacks":2000,"first_trades":1233,"mismatches":0,"max_error_bps":4.361744992964489e-07,"worst":{"callback":1633,"timestamp":1383,"side":0,"solidity":0.019736203699284298,"reference":0.019736203742901748},"peak_transaction_gas":3353526},{"seed":74207,"callbacks":2000,"first_trades":1359,"mismatches":0,"max_error_bps":4.147416264588255e-07,"worst":{"callback":615,"timestamp":625,"side":1,"solidity":0.015176290279164123,"reference":0.01517629023768996},"peak_transaction_gas":5471453},{"seed":74208,"callbacks":2000,"first_trades":1239,"mismatches":0,"max_error_bps":4.6156179572820477e-07,"worst":{"callback":1703,"timestamp":1451,"side":0,"solidity":0.02656471525218339,"reference":0.026564715206027212},"peak_transaction_gas":3896526},{"seed":74209,"callbacks":2000,"first_trades":1171,"mismatches":0,"max_error_bps":4.281278456752524e-07,"worst":{"callback":113,"timestamp":97,"side":0,"solidity":0.019301810485619377,"reference":0.01930181052843216},"peak_transaction_gas":5082418},{"seed":74210,"callbacks":2000,"first_trades":1185,"mismatches":0,"max_error_bps":4.4702153437214953e-07,"worst":{"callback":107,"timestamp":77,"side":1,"solidity":0.0153794171860824,"reference":0.015379417141380247},"peak_transaction_gas":3765307},{"seed":74211,"callbacks":2000,"first_trades":1388,"mismatches":0,"max_error_bps":4.449695993613556e-07,"worst":{"callback":940,"timestamp":956,"side":0,"solidity":0.010886026674011838,"reference":0.010886026629514878},"peak_transaction_gas":4871859},{"seed":74212,"callbacks":2000,"first_trades":1184,"mismatches":0,"max_error_bps":4.121142663238153e-07,"worst":{"callback":1713,"timestamp":1344,"side":0,"solidity":0.013656808117835591,"reference":0.013656808159047018},"peak_transaction_gas":3906935},{"seed":74213,"callbacks":2000,"first_trades":1217,"mismatches":0,"max_error_bps":4.6275087928204783e-07,"worst":{"callback":1588,"timestamp":1286,"side":1,"solidity":0.02993438964111817,"reference":0.02993438968739326},"peak_transaction_gas":4601609},{"seed":74214,"callbacks":2000,"first_trades":1363,"mismatches":0,"max_error_bps":4.520534641061502e-07,"worst":{"callback":1759,"timestamp":1802,"side":1,"solidity":0.029969702838135874,"reference":0.02996970288334122},"peak_transaction_gas":5509777},{"seed":74215,"callbacks":2000,"first_trades":1220,"mismatches":0,"max_error_bps":4.0533246897789255e-07,"worst":{"callback":1380,"timestamp":1113,"side":0,"solidity":0.015303122336524862,"reference":0.01530312237705811},"peak_transaction_gas":3745766},{"seed":74216,"callbacks":2000,"first_trades":1262,"mismatches":0,"max_error_bps":4.5778578844357654e-07,"worst":{"callback":1382,"timestamp":1186,"side":0,"solidity":0.026594551237670492,"reference":0.026594551191891913},"peak_transaction_gas":7189738},{"seed":74217,"callbacks":2000,"first_trades":1405,"mismatches":0,"max_error_bps":4.0793783281922735e-07,"worst":{"callback":480,"timestamp":573,"side":0,"solidity":0.015561093894944006,"reference":0.01556109393573779},"peak_transaction_gas":5553854},{"seed":74218,"callbacks":2000,"first_trades":1230,"mismatches":0,"max_error_bps":4.366437073022311e-07,"worst":{"callback":1335,"timestamp":1122,"side":0,"solidity":0.019449961382312732,"reference":0.019449961425977103},"peak_transaction_gas":3892678},{"seed":74219,"callbacks":2000,"first_trades":1347,"mismatches":0,"max_error_bps":4.1513320558905775e-07,"worst":{"callback":1338,"timestamp":1384,"side":1,"solidity":0.00919711367638218,"reference":0.009197113634868859},"peak_transaction_gas":6578480},{"seed":74220,"callbacks":2000,"first_trades":1284,"mismatches":0,"max_error_bps":4.410204493265901e-07,"worst":{"callback":514,"timestamp":445,"side":1,"solidity":0.023878317492677003,"reference":0.023878317536779048},"peak_transaction_gas":6655127},{"seed":74221,"callbacks":2000,"first_trades":1447,"mismatches":0,"max_error_bps":4.4530046316992866e-07,"worst":{"callback":1646,"timestamp":1845,"side":0,"solidity":0.04191466005111466,"reference":0.04191466009564471},"peak_transaction_gas":5131429},{"seed":74222,"callbacks":2000,"first_trades":1270,"mismatches":0,"max_error_bps":4.637583025934866e-07,"worst":{"callback":657,"timestamp":624,"side":1,"solidity":0.026607274022990606,"reference":0.026607273976614776},"peak_transaction_gas":4298812},{"seed":74223,"callbacks":2000,"first_trades":1321,"mismatches":0,"max_error_bps":4.330833261456668e-07,"worst":{"callback":611,"timestamp":582,"side":0,"solidity":0.01840187769314092,"reference":0.018401877649832588},"peak_transaction_gas":7137145},{"seed":74224,"callbacks":2000,"first_trades":1261,"mismatches":0,"max_error_bps":4.0627610650711965e-07,"worst":{"callback":155,"timestamp":148,"side":1,"solidity":0.013136614639709167,"reference":0.013136614680336778},"peak_transaction_gas":4350794},{"seed":74225,"callbacks":2000,"first_trades":1359,"mismatches":0,"max_error_bps":4.263977365637217e-07,"worst":{"callback":807,"timestamp":819,"side":1,"solidity":0.015419310032861573,"reference":0.015419310075501347},"peak_transaction_gas":4002258},{"seed":74226,"callbacks":2000,"first_trades":1315,"mismatches":0,"max_error_bps":4.265164957328871e-07,"worst":{"callback":685,"timestamp":624,"side":0,"solidity":0.015250332368801902,"reference":0.015250332326150253},"peak_transaction_gas":4926322},{"seed":74227,"callbacks":2000,"first_trades":1253,"mismatches":0,"max_error_bps":4.317997348568525e-07,"worst":{"callback":809,"timestamp":663,"side":1,"solidity":0.06780054902416795,"reference":0.06780054898098797},"peak_transaction_gas":3768716},{"seed":74228,"callbacks":2000,"first_trades":1387,"mismatches":0,"max_error_bps":4.409924855841574e-07,"worst":{"callback":949,"timestamp":1055,"side":0,"solidity":0.009358374697585794,"reference":0.009358374653486545},"peak_transaction_gas":6584681},{"seed":74229,"callbacks":2000,"first_trades":1244,"mismatches":0,"max_error_bps":4.5134916637490363e-07,"worst":{"callback":920,"timestamp":756,"side":0,"solidity":0.055778617387571526,"reference":0.05577861734243661},"peak_transaction_gas":6115931},{"seed":74230,"callbacks":2000,"first_trades":1310,"mismatches":0,"max_error_bps":4.1099951567091786e-07,"worst":{"callback":1732,"timestamp":1621,"side":0,"solidity":0.01095238642827017,"reference":0.01095238638717022},"peak_transaction_gas":4859511},{"seed":74231,"callbacks":2000,"first_trades":1236,"mismatches":0,"max_error_bps":4.3699252549878054e-07,"worst":{"callback":26,"timestamp":19,"side":1,"solidity":0.016902884782516683,"reference":0.016902884826215936},"peak_transaction_gas":3892453},{"seed":74232,"callbacks":2000,"first_trades":1221,"mismatches":0,"max_error_bps":4.2851425532952625e-07,"worst":{"callback":1215,"timestamp":973,"side":1,"solidity":0.010918346750636335,"reference":0.01091834670778491},"peak_transaction_gas":6654508},{"seed":74233,"callbacks":2000,"first_trades":1248,"mismatches":0,"max_error_bps":4.317478319304513e-07,"worst":{"callback":84,"timestamp":61,"side":0,"solidity":0.030076142310034873,"reference":0.030076142353209656},"peak_transaction_gas":5034264},{"seed":74234,"callbacks":2000,"first_trades":1267,"mismatches":0,"max_error_bps":4.3554462120232174e-07,"worst":{"callback":466,"timestamp":447,"side":1,"solidity":0.026528462753036854,"reference":0.026528462709482392},"peak_transaction_gas":3185741},{"seed":74235,"callbacks":2000,"first_trades":1322,"mismatches":0,"max_error_bps":4.381594392866006e-07,"worst":{"callback":444,"timestamp":389,"side":0,"solidity":0.02288299656339888,"reference":0.022882996607214823},"peak_transaction_gas":6616396},{"seed":74236,"callbacks":2000,"first_trades":1310,"mismatches":0,"max_error_bps":4.3207007416334875e-07,"worst":{"callback":407,"timestamp":401,"side":1,"solidity":0.016039516013432883,"reference":0.01603951605663989},"peak_transaction_gas":4911565},{"seed":74237,"callbacks":2000,"first_trades":1255,"mismatches":0,"max_error_bps":4.45963474482447e-07,"worst":{"callback":1839,"timestamp":1565,"side":1,"solidity":0.02503288179525855,"reference":0.025032881750662202},"peak_transaction_gas":3769559},{"seed":74238,"callbacks":2000,"first_trades":1332,"mismatches":0,"max_error_bps":4.4506525201382097e-07,"worst":{"callback":156,"timestamp":174,"side":0,"solidity":0.015367088448435833,"reference":0.015367088403929308},"peak_transaction_gas":5308669},{"seed":74239,"callbacks":2000,"first_trades":1360,"mismatches":0,"max_error_bps":4.2348496237520905e-07,"worst":{"callback":1152,"timestamp":1276,"side":0,"solidity":0.026438639791050694,"reference":0.026438639748702197},"peak_transaction_gas":6654387},{"seed":74240,"callbacks":2000,"first_trades":1361,"mismatches":0,"max_error_bps":4.4744537935903494e-07,"worst":{"callback":550,"timestamp":557,"side":0,"solidity":0.02652138523207403,"reference":0.026521385187329494},"peak_transaction_gas":6624495},{"seed":74241,"callbacks":2000,"first_trades":1206,"mismatches":0,"max_error_bps":4.5448991792262916e-07,"worst":{"callback":698,"timestamp":578,"side":1,"solidity":0.0488831936864791,"reference":0.04888319364103011},"peak_transaction_gas":4447682},{"seed":74242,"callbacks":2000,"first_trades":1317,"mismatches":0,"max_error_bps":4.5892928346447093e-07,"worst":{"callback":38,"timestamp":31,"side":0,"solidity":0.020247767640728748,"reference":0.02024776759483582},"peak_transaction_gas":6653985},{"seed":74243,"callbacks":2000,"first_trades":1243,"mismatches":0,"max_error_bps":4.5418089428261865e-07,"worst":{"callback":1178,"timestamp":936,"side":1,"solidity":0.023872322241780288,"reference":0.023872322287198378},"peak_transaction_gas":4063886},{"seed":74244,"callbacks":2000,"first_trades":1187,"mismatches":0,"max_error_bps":4.4860278686220667e-07,"worst":{"callback":1835,"timestamp":1407,"side":1,"solidity":0.021566072501599306,"reference":0.021566072456739027},"peak_transaction_gas":3850571},{"seed":74245,"callbacks":2000,"first_trades":1229,"mismatches":0,"max_error_bps":4.041029316725897e-07,"worst":{"callback":1730,"timestamp":1425,"side":1,"solidity":0.047107369394386804,"reference":0.0471073694347971},"peak_transaction_gas":5542978},{"seed":74246,"callbacks":2000,"first_trades":1394,"mismatches":0,"max_error_bps":4.1249472587656655e-07,"worst":{"callback":1055,"timestamp":1113,"side":1,"solidity":0.01544785223433678,"reference":0.015447852193087308},"peak_transaction_gas":6695796},{"seed":74247,"callbacks":2000,"first_trades":1343,"mismatches":0,"max_error_bps":4.2538120595403406e-07,"worst":{"callback":277,"timestamp":277,"side":0,"solidity":0.015408552811619533,"reference":0.015408552854157653},"peak_transaction_gas":4073185},{"seed":74248,"callbacks":2000,"first_trades":1408,"mismatches":0,"max_error_bps":4.338484085875116e-07,"worst":{"callback":1296,"timestamp":1469,"side":0,"solidity":0.03026361244199859,"reference":0.03026361239861375},"peak_transaction_gas":7169726},{"seed":74249,"callbacks":2000,"first_trades":1323,"mismatches":0,"max_error_bps":4.586617544100058e-07,"worst":{"callback":1656,"timestamp":1555,"side":1,"solidity":0.02655509532798026,"reference":0.026555095282114083},"peak_transaction_gas":4279352}],"engine_gas_stats":{"BASE":[{"role":"Baseline","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":21796,"sum_ok_gas":174368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":87454,"ok":87454,"max_ok_gas":22592,"sum_ok_gas":1973198492,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":8,"ok":8,"max_ok_gas":21526,"sum_ok_gas":172208,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":137205,"sum_ok_gas":1097640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":88991,"ok":88991,"max_ok_gas":208003,"sum_ok_gas":11623164740,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":8,"ok":8,"max_ok_gas":21569,"sum_ok_gas":172552,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"few-point":[{"role":"Baseline","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":21796,"sum_ok_gas":174368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":90868,"ok":90868,"max_ok_gas":22592,"sum_ok_gas":2050180844,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":8,"ok":8,"max_ok_gas":21526,"sum_ok_gas":172208,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":184056,"sum_ok_gas":1472448,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":94578,"ok":28,"max_ok_gas":248120,"sum_ok_gas":5188444,"oog":94550,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":8,"ok":8,"max_ok_gas":21602,"sum_ok_gas":172816,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}]},"engine_edges_valid":false,"preflight":[{"seed":74199,"callbacks":50,"first_trades":33,"mismatches":0,"max_error_bps":2.8666603812954605e-07,"worst":{"callback":35,"timestamp":31,"side":0,"solidity":0.003821433124990857,"reference":0.003821433153657461},"peak_transaction_gas":1738909}]}}