{"key": "compose-p4", "idea": "P4 picker: spread 1 -> MA, spread 2/3 -> B_RC (retreat cancel on 2,3), spread 4 -> B_RC4 (retreat cancel on 4); equality audit and timing", "code": "H4sIAAAAAAACA+19+2/jRpLw7/oruAnuhrQpWZRkj+2zDMzsbW4WO7idZO6wyBqGQEmUzLFeFiVbnr387189+s2mHh4nu/iQABmLZHd1dXV3VXV1ddV33333x+W8KPLZuD6YP2bLoJ8WWfCUr+6CvJhP0lU2jIP1bLWeZcNgkS3rxWKZpcMAyy7zYVYExSod3GfDyyBLB3dBOlgVwXw2eQ7yWbBcz+BhFOT47mkWDObTRbbKV/NlwGAa3333XS2fLubLVTBNV3e10XI+DebLYbbsz+f3vcW0N7hLJ5NsNs4axWoJ6IwBMld4D5h+Fu+2Vlw9LwBPUeuP6WyQTf6KJePg0yQdZOL3Z+hNrfYp6AbDfLAKJ+m0t+w2G63TOJh2TxvNOCjycW/WTRqtOMCvX+Brs5lc8Ad8ap/Sb3zfimuB/O9hmm667WaziUCW03zWBQj376DYW/j7Ef4mUHGBP5qnRr10Op1Dc1DpeZhN4WsnDv7WbTGc0TO8OIupUO+he0Yv6WGBzREofobHRfrsIjXqwxvAfbRmPDb4NwH8V/ng/pmbBVR76R2MU7eFj/dZtujd5fDtVDxM5lz5wxr7h2X6+azonhOC+WTFYNazHFsH4F/W00U+G4leDZEUVOv+I2LTPMdfI/ELC3I5mCpc7EPSTagZ3Y3n4Yjp8LcRUoaKjRFJJuqYUcSfD6Nuh78jgUaCQgC7N04X1JAFNWGw44THXj6nEoVg1k8Yq3Eh0ExEf6cJ//06FB9GE5oqzdOo9vnHFswwnOuN4mG5CoGw9PLTn93XwRE/L/KoNsxGwWA4CjfRZbDMVuvlLGg2TqFECA0Ex1wwW0KB4CQAaBFXWdhVuNRmEda58gb/j7jGpz9TjXz2GC6iS6LEAjHKZyFQK1zEQZLVLyL4E9T5J5VZWVjXDbQn83GItRdcZRFFXGMDNVbwArp4mpyeJm8B/WbjvNk6P21D3RU9NpNmu3VOj/A/ohgm8CFpdNqtt+fnqlxyftE6u5DluGozaTdF1aOgrRutb4IcSBJcEemyCbC5DX0cATvqEbtKgVuELdF9/G8I9ZiI6hXAGAIMIEHS0gXxvz5wtHv1ZhPUu0HIg0b9h04M6asYjQ0RfLKYhveiRfEBG7yPoDP30IsBPVDR0SR8sEsSoUeT+XwZPkBZmJhIJBwcaAyearX//ut//ukzdOIGxwa4TqN5BmMY1pNGGx6St/RAE7vRogfzt1lI1b6tffrpr+//BDBxmGq1H3rvPsBDAj9++Ch+/PieftS+D4qkDvg9XQLrnw3zVT6fpZNgkt9nk/xuPh+icFiky1UOb4FfTIognQ2DrxmIpEbww3oCYiTb3KXrAsRQ8LCer7ICgA7SWdDPggyEFAgsoEWaT4D3B+myn4M8GGf/EczEx7wIVjAsWD0F4ASaiiIYkEaTbJVpCCAHGsH/gNQapIhqMJsvp+kk/8pPg/lymaF4A8hBkU3gN7xu1H74+Ne/9f747hPSGejXbCcoM+DHGf8Vj/wv/JM04qAF/3fg/3P4PzmDf9r45gxfJS182To9a0QM+r9++vN/4hDe8uOnn/78158+d+GRJu5yFveWTzh9w7CulyKMYxSfniTnUQy/484JrN3Q91nMKJJ1Sevs9BgQ71ycHgFgvTqm0MhUNgJio3mWvL0475xetM/Pzjox1EzOO2ftTqd12jpvXpxCW8hj2vDyop3Aaj49O29DsVYbHjvt9mmrcwFvGDd4fd4x/6PX+1XejYmxmnvTbqfROT8/ThrnnfMj6JX+hLOwQKIq+Yj9nlGXk7gVtyN7sfceu4rNJcehYq3AojpRPYlOerPIrlCMu5r+vUfn63St4fVmgFtU7z2etOxCT93e8uioNzvhhQ+61nwJSycstUW9aaSLRTYbhiEAj6H5uPcU6XI9nNylDg+ww2pCO11eLOf9brGehk9HxNhCjfEgqk/X0Ukxjur2F1wP6ltEjQA2gAzNJkbUQR4Rk7hLOMkipObNDuCiLQ7rAeDWTY65C5U92AtJatzFkkQlSoZmM07qWtz2ltERth0Z6KulrYdpCYss5tZiokLMzbi1mAOUGgc2APMGx7hWG0zSogh6n5PQ1JLFHEZh0uvls3zV64XAyEbG3MbHxgy5u/2K1EB4XWSrMKLX34P4AeoQ1yyCBWrSQ9Ael6A8A9vm8sDe09mzqfdT8SBdIRPNlwEqm3ZDS1DVu8E/ftG0/l5UyodB/RqUSdqnkDxIZwD0GaFR89NstrKB9QcA67/ns8wA1gfZk40ug2Ldr2PzwRj2McEA6mLTIb4yBpvBPFWDecry8d2qsCsUK5KPp2YnYERWsDPK6iDMFkExxKlFjdlVF4M+kZl+pqJdp0hfDoTzPvW/X/XL41m4PQq+L2/PUDanUxCRS7syinSYoEKckybgKQBTf16sl1m5cSRFLy3ue0R/XxepBAl8BpPh3PshBaXNU45aq6CVWWDhQ9UowPIdRT1oL245IgVS7VNjMF88uzQuWr1pxbDgp7Ty00QNNz5gufrFhUvN3ryPTbvV4UMBWNOKMTmDD0Eoi3szVCSat0ewMQ4VkyyXRHbBM/js/G27U/5OH1FdKH2awieSsuXm1889YL2yu4h8NpmIV54pRBVg9N0K/MpXQXwpvR/my9Vz1zN94Bvvbz1jg82lowx2/GWABW1zPYTU/HWeD4m3xsEqHZcZ7DEqyPKdUOehIOjvwEJDLmSAm896yDYExGIF42PA/EC7MBA94lMDyxa9ZYYcOp+Ndc+YuVAZvdp7/QzWQD8f0nosUD/WXaZ15a8hVzDVwO2GsUcSTAb0b1yTthhWDEjgHEIbdUQNNi+wczkJWraw1eC6MLdsWMy5/hc2c6iVZ5u8WEGHA1jP9QWIIlDu8+I+AEGZTkBSwNKGboIGP5//B+51genPl88egGwLE7ItnSAzfA5AAXnMh5nQ/5EhwCopVvPBPTY5zQZ36Swvpo0SPIOB3Ly5/9h/c6tYvHo58r18c+vB7Y/ZrJijAMTxmK9nw/qneV4U0DdkY8buKg7WaNhjc9x8veQtVgV6o47JsG+asFm5rS6JlCt2lxPCEQvewIK9hU3qRRyon9UVp1nKvKrVOOvAvMjR1nHWaLfPYKbgO9zhnpOmluut+0Xko9eneQE7z8csSMfjZTbGQSNCwdwEFWo53+SgQmVAIlCieMf3HwHuggzmpoGlgwGQHLqETeNEmA8GacGCsMhwlwvb0GX+CI+AVgoSfprhaqym+nSN/dQqJFoLmo23LbZmnJ2yOorQLOJU044UDQCJCy+m5VddVjF6i5f7RqPE1t1CRNOuDfnIArFl4oHuNUVE0P4kLExnW5hA63LbGmusF0NoPSQ7Lol2YAXzJdoHYxr63gQm8IQNevQMPDebjVd3bK/jV8D7QWi01Au5OnpotTxtNKNoHxz+QUv7Eil89suWHiWX+0FDmymBa8fBm8VoAr+BVs2tsNt7wtakAqhErDeaWtTomXwlCYbNN1RBphlW1u9MssEXIJyB6ieb5WkhmSiliIijPpCtCb6imQgtT8bGyPzww0f1gWxR6sOP72v7SBVccgWwerJiT/AIpI+Mlg0gTSVlURvhAj25GYlBYJLtTBZCJaZcph9F5UERC9dcxzeIRXn5Au5U2CteleSeQ2uzdVb6iDI7xs+PiO0iDuaTYY86GAcoHbsE3NdoiOggvZpETybKta7PEhyIpwomRsEroyAs8ehAtL8P/meZwn6BxBmyXtp/0iYhBsk/mKyHKO3QTJCxIZFks5DiZQas1COk+XoazhvqjRoqmglzYr40mvOnWU9oBUCOeYN+93KaGUC6MksAQbDOhKpDpwW4DakbbR/RQEQ7hTLPBFtvNEaG27kmo6yfrrbs3gaORkEqGV0D1ysC768AsutRHgZIUwghRabQxMMt8T+tIDgqQ8XEl4szj4PpuoNUz2braYbCJtQCtWJm4X9fO7iPImTrCIIs5Y1WZXmJTk60Khl6WmjObaL2OhyFXztRFOFgKOLRKYM4bYGW8Z8Sm1YKe/BvQeuUFlcZfUM1w6nqTo4ycZWGZhWnlxWFyb6W9vMJTnugkYBwHJw36VQn5I6ah0ioNGCXT6C0RJDLR7s0DrEe3r6lU0b4mbwF4VJ3CXwm6VtCMYo8U8rQN1PApE9zJQXujTPla74Ij5xp5lEYF1l6LxCUhba1o+jxhKc8UJfth2Q5FMVudylWOEZTIPET63ox10Z8LZUvlgCJ5GTFrELwBUqZsWkDKQcTux0xE62wx+A32LhddT2WmGNXn/FYhUqsx2NaOuYTyLIlZ5sIlh20rUx0IAYT0/rq2H1qmpnFwV0OhBv0kWNbFmavNLh0l/W8QRIQBDT6FTTe/+/PHnk/F/MMm5s3aL/ac+yPtDyBi5RrE35Inbu8sjYg8unmDZ6kw+7y2mUsBRoD/mFV3SXv3E7RLPAKTpgXfFDIJ5K/2C2n39by5z99/PjCprNU65ywYovU/qqNr3382i+x65TazdIdwykPzjPUBu/yqKSeQ0sIKIRBwDUPxbN+RKjDgCWrN7fRjiFH6KJaDG1H7qhLXwseeb2U0cAMdIQ15tEdUXilUF7Zn499OxOrp2S8SUr9g1audIN1HxirO8L8U9MfV6i5w593OCR3pMbfvSuZgbftC1mZ/YehplVOMnuSiMb78/kk1OZd5odIOONl8O9lxU8gbVdPfdVTX3XoEiJQsWtTNmOlOHgqv9tSOa2uLPpt6CR1s9Erh2PLwfEWT0vF5VBtnYGEKo12aQZ5ymHzpQlbOlCJzfMUh6XjVmoOAO5yGw8lAnByTuY1vQtRB0d8BESucMGiF67qsKVBhyK0O7ALnTrumc3zAjThFfsWZMFqHtxwC1o5eMqHYllBu3VCwDaDzPrie4v5S+cc9muzVbjEHVWI1Y9w4aNtGtiHqR8NSFWBfh4HYU6GpVMUhFjlBME6drRZ39CL5Kj1B3K7iQwL2kEHL2AuVyWF9YlaQ70NgaOlb6b5aFmYFWPRLXF0hhuGMwM7e3GgbkYaNSidBW6finHkad3WudYzHEnAGX68uaVKB1mY+WBBqnq+/Zc6buwisXGhY/+BNtgL+HPWYBaMY9gNzrl7/m3K98FfZ7C/zcm1khSh5TMdUsI0XqQD3IjBt2yT0kFrcnJOG/pGBaw/gVhEW+Qw2wTDHCDOBhm5sCwzGPUsuEsfs6Cfr+ogV0F8DqDw8Gh4VAnvp2xdZEQQ2t0VwdNdPhE+NLRJJKPoMh/nZBJdC69MP7j7bDnLJuXxUvO2iQu2uGlW7wQHuTKN9gfV+z5cWgPaqOXVZdA1DxcR/n9fWYyRlsfvqPoPW7Ttg/rXAewJpXuZdx9kdZt/3Fw2L+vJLXp80XP1rtdaotWdRSsSzPTK7zALllhmRmwV/q8uSnsZ4ICZtSPpP8USd4J1yRCPcblvwUuqPttLcA+OcenAOGTVW3Plf7HybGm9OjPt75bZYz5fI5dYrReTLNS9GsTyvL/CXEETDikxKF5OfZ61MXYPIEl0ttOEpu/22XvADJZ+jGq+HjQgPOEPHxb/kOwk6TZy2qT0DuQOlvAqHOEAWmo6KsNBFTErCbmar4TR4Knwyb4nkI1YRtshDBOESyBisEBBbXxHq0BPtjBQZomBYZbgGsYieUyXvZUU46La9qpoSuKGjsSP2GaYi7t0ZXggi8JiG09lm60I/15cnFuIsKQv8jFK+qMAD9LgmTz2SfbzR36Az5oyQ8uZ+QMUBWg+Xxr5C3RN1rdRwieC6ZcUJygoN2DQ9NehbytO/kTzJxKeZNknBZOkNKvKbNa+5LNn9PkgB3yQvumETp/Tp/Q5oEsQuW25N8iIP3nfiHvM0eTNbUx2Szx0IxstjInE8AgJ3JLTlAgiOkO2p6GpXX4VB3cIX7/9O7z9iqrWUFNwIfypvzIQNRhvbj3+U1D6iEfbJOkPH23Kqf1/19jnXR5my/9FjZVwtaGR/McvpTOhxSYmftNfPwPkWDHvmMdLndESlDIjeFg9d+VBAK6Sh7rCsjHOVuEcdDyyURGm8PBgSgiPTNp0AeTRYlP6MEgXXeWWcjPIy/oTXnpApE+IwnWaJkAF7hkTAN/VdZny9isdZV2Acy361DyNW43mkZ4xxBUirh35tObm1eYKPUQPPAmCmpvrLvTRX4/MNKMtWoblxoPUOe4mOwsDq96nGPsa/c9ynR3cp2qkbYckHxrV+o7p/VXV1x193KNvaursQIJdul7WA+n95atNU6Lprz/ZaN/qTbTlTClcxtOY/W/J/Za9b+1TJuW3u02zyGYFMBzhK40ML5xspHsx/O96GHscjL39J1+/GxxC65xENBez53HZ1GgdMeElEXWAG1oji/t6XbbbbXq6yI5vYR7PIkG0me8Ujqcb7YpmnuOPvaEU28BA/wEKUaWOpJ4djW/at3hUZ8AkAPUx+uo5q0hW6bhVRKPkBIDA47F9HCNHItZzoYzcdNNlC+m4+vyoq0+PHuvTDTf5iI1htTJMGOjuHsc+fodHn4+nmKFEnfFNwlR40v0VDRkdjU4AiWqYBsBvhTVVsPbHS2sRlipHmgT8cyz0VFAisw6fDhiqYzFMrFp0BEnXDnGXzEdHlkL4ZUE3q+giwd9x82spl6ziJKCiPvHAzoQWTHey9OBOvrDCKhRU3Qf0+3z3Hi/wlQxg4QYPG1Hdwkasz2TdBUT4Ypl9QQ0+obFe1z7ICPYFQX/pO763lnokevilWjBvQPddVHNOaAP3R3jcTEj6mWK1qCAYfQUDDdKbfXah1Deab6TyCl8NRsHpWhklokmpMre9tbLw+yWPt8kXnF9ov4YJcQQIxeb7vnrfr5na8AeP71jFvHEb5OlzFIBKS8rfEb82yLW8m+upuRSbAu0lSI6LShBBsSlO+rq4mSoWwszdZd2/Y5jo3EoXMrHtKzr1wjekeOLnd+5SeCjyrxnw0wK07TEozTFp43iCy4yOXGu6aJ+OXEt+AQuiCy270x3BeOzXBqXcmb5c8iW/pIUX5U6PlERYkjvEKft/0Kk7OZx95A4BJS0w06lJutNG0wY2rZN/IZq5jzQdj45aXuDTtW0dwLuMXe71SRACxkfU0dJip4LXdNVh7/7bPILQIDC4/83qZ5VwcPsJPcGb8LjrVGIP5tCxNVVcn1BkcIuNd9kgzBDdqejQcmEeKalpxA1GZotTt0Xpc4orFzsjjl0i2bS2SKyQ94rFYvq70/Ts52ioKR2nIkoJ0meF/1xcfAupddOArlg15BB6uzdUcobpIn9QtpTSxHiFZvgIetZP3NPnQjsFrvRPpOzVoRPR5hzlms+rMbMajJ5AI40z5kOMr/7G8hmHnM+vY8KB3Bddo4OWrMBEwk/Sg18p1s9Z0VN3CQAhbFexMfTrx5Y+Vbjz73LUZePQ53W/yIfA/+TFBHSB5IOXKdqC2NERF0CWDTM+5tZue3y/uVF52DTgKw1Pd3OAdzdf5l/nMwQmLtrhNYJMHOsMczqNgrnOFytYEfODFr5Hoc+vh84PtbuxMMsZ3sZEtNAtdexxJIoqbQCe0QF2R2gdgeTcPvzV+gXNAyGi5MiOnKEVs5ZlFq45truxBQ4jT0SRI93S4v7XZh8rIfXF2v612McrNLNLFRV+TR/5+JkZAaqlFxXW9z4OWdLolF2hWVj20bz/TswIx1kuJXnQ9huwyP+tiRvnrdJ0S1f3EZJSUTD99oxrIkkDDbWhe5tCinghm5knSWGHX4Trph7JqHoOwwQGQhj2d1K80BTEeleYnDZhsKHNdx80d29pscW+w4wEKWnGAuizo87N/PXcz64tFzC9OGGZvaCp7f5mVW1xKB1xHEG/WRpaC381X4TcbkwXutCzMVs4jGB1t8wKYM9DBqbi8jhcxxYmwgU+W+BTnQUtsRJsBv96FovZkDgoMBqLg1ZT8keYCQjH3VwBCj++t1pOtrciSUfRREqwtl75+V5eU25dwkIcLeezlbgqvsIZx54qQmKJGB/9NcjN+RpaRpm2Vkrj03y5ugsQJenCQM6u4qJ6QBe63hT2dfV9adYR5CJpQyPsesM7Xe1o+l0J3UkvoR2DdupjpTwPCejOew7mGjDdM7ti3vAqMO896PgAETJAhU0lt0c4tYr3dAHW8EqjW6l4VA/LBNlETP5bhp8gOfiKAri4kR3FMN11iQeUWKSeEzDjA276SfASEMMS1BpZ94+YjQlUyDENnx/0uR68EYwRBgnHqrZLi+exNOBel6b4A0ktc8dt3xijyqL7Ekd+vEKfOIfzOrBJiTnVLPhn5cdnKUxm06opbvkD8r2bNx9QxRdnm7AafYebgs4I42fsJ5RM5cZAOsqYq3qS8arT941h6bXY5w6QCLLlHHnzDCYKx5igpU9+UXzoDSv6Dh4Nn710Ol3PKP7QJa3y4Oc/fQ6KOTMK2lCjXEiXmVR6jU0fxyjwbPvS6cq6bv6QujfZR0Wi7jp0YpTvSeMiTtz9PmoaJ/KyPUxdtiLI/X1iH4Ai9aZT062XB+baEbeCFamQcMiKcIww+FnJu/gpSyfAANVN77S4g5X4M3TYms105ih6RK3Ggj58c9uzcQLd4ImF1uiZ1HzR0omtD2NoNHfv0CsG6SQzbi+Q5n5C3oHOsiI6AbEdQ8hynMmzbwPg0fY94YYUmqfD7lN+H7wHybKcr2EaWps0eU14sF4uYUkJKQW0gyk9zIocbwmhgtXwqKYG+vwQwxQ79Gr8pxQ4fx8QCkZpvhT3xLyoCRFJgu+N2P29EK3RejKpJPzIpfvIJryzt+f5qhhFzfUNEkEEEN7FBTvEksI8yPJJqGYnBkVzbwyNRSi6RUmsa7L+QSpSPwM61C18GAtHfYw0KNgfc3HeqPGKLI8GMIxYcIlVrNT9Ea5MAl0PfpaxdVL2KFgEd2kRfFkXq2CAcToxzuYsS5c4fMssK2sRoca7RdsSYtiR6oIYPoNP2Dyioi9CpZdCru5W5hiTvh3erlvOxGPTosgfM5bjXk9vafJRBa/VwLNQ37Jd10RX1RXxOXomDoAgDA7BAUfT3hHdDZSGyppRBv/mC296ik3mPrqaLbMFo2o+fQ8rG+YPTaL1DNXjxaW41yxCQ8yYD4hAsDHOm75UmWvuZSIp4+UFMO82z6cg/CwWNAGQVyGwB7rTvFxlMQzM6Xbd6HbiIbiCb5H8IXHkMncFo3wafUG9HZ+vTDTGCZmdEuG+jSL/D6V5TOY3ebMRZf6RBn8QuzYAHfnkXgUwdWHP4175zzLCSeHNys8pj5WKpsB2M6upaAc1ONKprKUCENyS6YMa41NaW/VMzLvXJkCPAJK8U10VpElkaJHvl/lwTM7v2QBDSgqJCaoEzo016KC4mOcUeZKmkFxSFGvkEcqm/Ykh6tEDCr3srvTacWbWYGVf+bAkHEf+pMlakm0HKHTjeaqENc3dhxR1srY4zGRI7JyJJyK+c2Nc2gSGeMJ+EnAgGKYMjEz1rWW79WpX1R2ph6oD6rJ2Xskett6jot2MWVrGp4NJkI7tIHQpXSt1LqSg4FYDgw89Gh2Ma6OBUnhl3OzYbc2yp17fBoevUvsVhQumONfh3OEJM+D4c7zkUVIfBK7S59iIkx3q/b4zy3AvYJsJfHuAPa/DEl2OuxSW2Gej2MeZXIAQJ9lilcu4guxjqfrCUzr2thWVbyaThaMxzIHXLIcmScpFsa0F2vWMtsjm+aKLxLtvuF56/D/F6BsTarHqsZ3VDnaGk4WnrrJD4hpla6TrewJA/Gtlq6EOrW7CfETmk/JN0IyMV47HrUUoH3kqp6G3FJ32d+mgByaH8FgUgaBJ97ivOCFjpSlpUpDIwjE1wpQmqvDpGXmRQRnQ7zKMuw1bO2GXYKvjGONQodlxJUJm4k1AZWGsdprpopZHRielroTU7HHlBEHe/cAiXQRuRwWJ/JgwQMtmL4uePp0FAdwUShAR8pqmQbRF8Wb8urvXslsJp2kjHVYvsr0cauU+qpimk4kYMkYEhw3W3XMR9LO7HJVvGABgo2hSQi5FO+BLHLQCJLqKTC0jmqrhQsU5DSao41sxpLcOoyL5BhXJ1W7qS2on284kCTrq01AWF9P2SyhY4mZzS/HbUPSScXQTWUuC7KKb6LYSECoXAtA2tO7QFXD7LL27SeTMxA7jY9mIWGqe4B44u140w3bOsjKzdQzb2KTtiZfO7jMPx6PYSLg95R8PvK18qB3EEdM7Yof+KeXbn4sTO6hXfcTlnjuJoqbox+lc6fcXVp+omTCuMdo/sqfKsz6z9FWwbeOfzebr8R3dw2diKs65dairZqqE4j+IzHyutjvBHrkdYjVcNBUbHkzoA8iTI9q22rjPl7/xAlCqinNgJDDejs4gxUvNFHNI9Lt6RLf6fTrAiIHZcVGqTnaZ4SET3BKFpaTUlNeqVTtWyGyjmUJYTs5tjFIWZmb5W46yPtZVXGK/9cn2RGJ3Qv22SESbymrpYOouuDEtD1GFvwc1eGMVRXH3IkRq30zeSrLeU4QJUqyQRypGHPGUDNvig3uEWMVM1eB4Tm4j7ZQmSep1aSlVfqnieY+RM5KqO/DEEzFQYGJi7hMTkW9mdYNWtPPSstnOC6avJFzFJDtYv917zlTzOb+q4VMzcE/WGrFt1dnE+SwkSqvAQ/bLveYFnxJs018r6Nb/51PNdS4RzjHuMX8p+tHDSPoSDPokTpLyGS0bIhwnI3Jx8jpV9HdvAUruBeT7xasRMLp2QzCrVkfLMkH2ouc9h5ohq4C3G3KzMVreiiMY3EZQZNMtoV5MsOzNUVH1PtUF2atDHDejbXJgnDZCJ8ggFj5gLIt7HpTwHkMHof+EYnd4iGIM7x+Q8FH5UBHBpQQO3ULvUwEOYxmhy0QZHJ+OIbjUAKfdV9ZDPi1Fu3WfDz6BPaKdyrnuPpjTpWfuz5FAU476MVkvj+j44aR8J5rqXovGnEi2KPUYiRMqZ9v8uLVuMKq5ptLSS4EgA1Nf5uuVbXtkizsosQ8J6a90xMK9FnjUCZQQuUeuEyl0B0CwdcFZfNCWtE7qxH0UabYruTheyVbLqwsYSNbSxexZiWslJ3thvRvwR4Pc6DBp+b5MhRQEynhxQ/UPoaTTknH8R4+Vep4PpWMDZQp4M31TZmgH95et67LHaMKb5Bg2U67x7rxkwTX6dw1LYssFXLZ/EtNwuYWf834r+hVj9WCvA89gKYcqoVrQJN82alSiFGMjnZBS/7DLrZqDYF5cmM5ckq1rYYL8pCM1KYylLti3vdbpE/OZqe/UV2ThwZkWnPhUoNLE6r/GxJJcWo4NorHv7No1eczVAzQiP8LaQV365u7stVLk/JMzo8yjrXloz0Xv0tpGGeVvp6cWyybvPEYDOBf3+mDNH++3xbiuv84piU8BIbe6UqRsqYJELprmYe3PJCge70nXceJLrmcDsyhThoqXuC8W9RoT130TBI8uHxyh1FqzzYXuA6gTVKZFJO6xklDfrKt8k9QNTfIj+LAWCsNWT94KvMTVzA98ao6gPOtM0ARGEn7FCOZEnoNFPqaHJYlwMVH+GAGUYwc8+Cecd12mL2A1uMFzpIBQ9A4WY0uTbg++6WAe0N0AEDQJLP2HiLDQl/pKrG9x26sUGPz+stM4OuZo9ZfBKp89S99rckrFUwaV0HJN17nmjxRuL5sFC+ENRoH8pjVT2fN5BygHuJpLKywNU2pJ13Mi13uO07kWrKSZutOhacjw2ipS9bp8ikFeiDqu3QimPKC7JI9S7z6UwoIaPs7bb0e9SD6Y04/OWSvCwQky0MA6dlm3WxQrqh4suXut36pr5eV1WN9St287nY68Cd7oZ0Uxnb1t4MRi5kDjvQcy597j1XgWYZ5LC+vV9ls7zqZb+zQa0MQ1nmg7nhjzwcTsaIvgrU5lZ9XBkAi45I8DHUhJOzpxThV1NbrQ17Wc8OwKQZZM5ewrfl+0Mn6+gM9j7rl9Fc1qtjyNpmsZf/7gKAFKJ5jkMLvltSeiAoXbEAjVVRt1F5S4dCteRdJrzaaUymrgBeqAqJAlFQkEybUJJZFAXNz/4f6UcmJs85ItFpMchJ+70VZ6Frsh0CKoEtIcgtURo94EL1yyYhmh9mZcshfvGhT8s8CAx34dQFkbsDzBt478pId1+dMV8L1KCz8xFtBjuJpxpIbBjf0XkskHwFepTvCiinubRbZ8VPcQlG+PVI2rm+rpqkovka+2tZiLGy3VqldpahwoBEqkNg0l2PS+OleVVmX1v6qTNIY7+4ilevuomq9OFJTZBmEQkTJdBHr70EYUvfXMh7pFsENs26XeEmalDTLFUxQlt4VTFFfOlbeY9NNOZ8+G5L1m7zNT/kaXlZGc5v2iG1YHq2LleDDJ0mVY6UIhvBOPTfRZg/4vdKkyMz2heJ7kg3xF8f+LebDIlnXmkjomguhJnhUOOJXYkRMUs+8PBdZkv14MfUAuy0wb0ttZiW+UWHMez+2wZn46kebizCsVa91WUpjwlbrgTX7bdWc7K0WxNdOtpa8muG4mdme5sfRGb5y5PoEB6DqCCS/SDovuXqkXqu0Dv9Sq5wvsVKAui9ueSGHHrUb+s5DtnpZqHHx4VB7MbxsOJIvK7S0GwSa8D2Jc6WtrLrYK3F8LLQMZZyJE0bc5+FzhMcm+/j3Xg21Bzu3pwIdZLrb2nOwXXY/+JGK5EiHIOY+S/FFkAy0oMKlfyGGm1JbRn8SPJ1fXPDRDktMAocsahvWvyumHjHabn+vWjH5d1DjnMlie4SEWuXFdUfh4C+7TGWPNAoguxZCt7Ew6AVXrpn1rRsblY0236cMjwIaiS8yFB/fX7OSAkwubdr5eebyZd7ay2Bghcn1UpPurFM7FG4GXtqs3rTKhfSF72RkIw+F2DkRzkHfLpkeODjTIj5MrO0e1iB2mYwMfJ7ewLBf1ajUMynhCrsJ6UoxksYkHeSyW0g2NeYw9j9yu38Z8XaVWpSjA/3ul6Nw32+33wZ8m+TgXee1yvHU7yDFGUp/zX0B7oHLhqJKoj1FhGGaLSYYXfGhb7GoIzLSxSxSMO51CYdjQB0sMhVRXuf8YcMqXKiqyi3ImTpF6kxNyyhwdxIZKNMfko8JAimEOLDOC8yhD/MVlIIk6dx+UAxPF0sPAOt6I/HqLwvZKqrQAu81mQ8dacfgKV8lGK71KKZmSEfMAs/2RorrF3lPhZ2EdWWxza9/qCSm4I7VYVJfocde0pDxA4ZfdNk4aq7q920PH9ux4cbeRHdPReKCvSV6L9pkl45m+zBorbxcn30xlRHpPKoPELotNzCfLfthG7Phg/wApW5RF14kOfvxShYBKwVzSYC6DvcydRncrWxdfPPsMadD5xSvFxMmhRJWz/oRRJDLXVsgx3tefbk9FqzMco8tNKS2x4Iui5f3uBRqJ2Soyv2lPLO+WI/i/oDwMuyzNWn11Kv7iRy6tQm77eenLkDM08Urs7F02OnfCPrtWy6eL+XJF5tsa74GxZn8+v+8tpr3BHeh32WyM8cJxezsG+coV3qdF9lm821px9bzIClnLuHIYB3obG1M3ap96FEyFkrpTQNpus9HCe8WYjB3ENlppu0mjFQcUSbmLdvTkgj/gU/uUfuN7KINu9V159RSPv7rw8v4dfH0Lfz/C3wTKL/AHWuPxhjknh8fAIV2M5hL8DRPK0xntM6eS52vo3TOWxTKmggFBhEkQKIz68OMCr+pzqxv8S3nDMVwTt6ZuXHAieuG5C99OxcNkzpU/rLE3WIZiq58TXvlkxWDWs7zLsllmheT3GJavS7XuPyI2zXP8NRK/sCCXWywzLvYh6Qpd43k44l7/bYR04Cu8iBtTbsyY4c+HUbfD3ymWh6CHuN8viTpKGNo44eGUz6lqcNZPGIdxIZBKRO+mCf/9OhQfRhMafVTLP//Y6hV2XO8WGm3h/ac/e77IjCeLPKrV6B7tcATFOJqyCuF3Kk8OjkWUvuUo3ICmw61FouqiXNXMnoxA8K7rJuKahA/XzGePWJM2LAsjCc6CYhE2L0BJw9NE/l0TYVBkL+pGNyhFAKZ+4QoLOsTdiJgR0N/T5PQ0eUvh186brfNTvPS9EtHYmu3WOT0eBRRnPEwoEEKn3Xp7fq7KJecXrbMLWY6rNpN2U1Q9CtqixTpduaSQZjJBGmyCkHf19DkpH4wOOU0ME6/GiibGh8WE28Tu+8ssxduaGzynD9UQcbjuk2Co6L1hek6A6UCJe2MkBPx7PBm652MlfuYaGOQ/CR/coeND9QcR2vJYjADruDUK7M5z6gZHoUUa9RkMVlhPGm18St7SE01tYF/0ZD1Y5TSI2xqZdBg4hcr7offuAz/i7x8+6t8/vte/P/5FVIHfn9+r33L3xy9QbW8nyEuxLf4rHvnfU/LjjwPiQR38h/hLcob/tuntGb1OWvShdXqGa0xF5xc0ueU3n376819/+qze0QxYzuA5hr9P+J4sMHU9o4FCQA5M+ZicM8UQD3jEhRBWlMOh6y0lxTBVOU/OzgUuPG5RzL+paH1qtA6suXmWvL0475xetM/PzjpEleS8c9budFqnrfPmxakYy9M2vL1oJ7BkTs/OafxabXjutNunrc4FvFJIw5fzjvkff9kXwh4o0QLqTbnfnUYHliqu2vMOLkjuKRaglCNqDHhP2pvJ7gMx9NF+79Hgk8hQkA+EipMBR+hElAIY6E4gSFPrFWOXvRIg/jhdOzC57SPGHMFxqyd8Jtx74uI8nsBUuPiJWJSgtsyXeToJjeZlB5WJgtuMBWIxwyRDRA+Tvbi0GAhamGuFyYHWfi6NejEF/ZcsSIdqpfqU5GxNORrGEZ8y26Vw4VmFIpkaBh5E0gDVEzaaSGRlvySsZBFKzLhTlLxm/14xbsg2hJ8FdWyffu3EWGLioswZNihpDYsnLR1poHGLIfBi5yOToehxXYrFy39k27GiVKwx0FAUEyohJXjQkWAHUAU0z9bvmufvmucLNM9WpebZ2k/zbB2iebYszbN1kObZMjTP1u+aZ2t/zbO1U/NslTXPlqN5tizNs/UyzbP1a2qeLal5Ajts/84Of2eHL2CH7Up22N6PHbYPYYdtix22D2KHbYMdtn9nh+392WF7Jztsl9lh22GHbYsdtl/GDtu/JjtsG+yw8zs7/J0dvoAddirZYWc/dtg5hB12LHbYOYgddgx22PmdHXb2Z4edneywU2aHHYcddix22HkZO+z8muywI9lhbTBJiyLofW61O6F5DgQo1yjYYK+Xz/JVr0d3CIiudC42E7H0jcNpfY1I+tDKkFkiiz084sGlevHkvCg4WuGpfF4MVPr2BV05MQtb95nKN5l0+neFZeFAsOPryiAb5Wi5Jgz3qowJz3t1RGZ19d2gKVU2Lq0YyFRcWUh0CfSBnaruiXFD90/8inGtx+bAHXcpZLeYkPCRsngs+ZLILBL157MepvYQIMgdk42VIouLyrhh3DFyU/qJmN+hvJSpMkT0+plBRzwRpztryE38RckLQRal2D9owBR3qgEDhZW8jwELMcbViZfkHmNcuhjKOOZ0rrGIx6lOI2JxwBCLs5xYnEHEfLIgqtEvadknY5kyzMXa2hWbJit46L37gP/+8BH//fgX/PfH9/jv5/eIgGnbiy2bWezYvhiW+EFHCAxR/KCDBIYr0LNGRrknl0hlTyE8uAXyL57DMmlbh5O2JUjbEqRtCdK2mLQtRdqWIm1rL9xbftxbVbi3D8e9LXBvC9zbAvc2495WuLcV7u29cG/7cW9X4d45HPeOwL0jcO8I3DuMe0fh3lG4d/bCvePHvWPhvve0YzdCxDoy33HGbmSfegXoBgIzazmFxcSbZrbfpFlMhHqXKVusT+q4yXw7lYcxVmPr516xnqoMJyLDPb8SdwnNsiAD3LL8yikrXpqvOL+7Fh6ON65xX9dOku7CKbYT6JA1Jp107Jald0zp7URJbnzAIvWLCyjwQacA0bnri57y4EIgLPX3EANYNq0s60oXX4eN/mnEOMkkx5PSQsZckn9Q/q32S5lqxn6rfJ6MRaN8yDjX4iVGcI+DN7DngN+oDp5J9y7TtdADgDayOuA/bqI4Zj9H6uftjxWDn3c3xm3Vrorzb11A7Z4aOQa9qGMiTcQ8kcgauHorGIkJLgPC1EwqgKDO5CuVMeCSD7Ot67WXfLbtuTR7GQDWjI1GxsBFpoPtui9HvpfiDq5O1agUwhs8HXa+PlK8ae83TrxKHzGGL65G2LKrn3ZhzBdJRVuNM8x7n+M28azRbp9R1PmzDu4UzvnKkt7zXEQOFMz3faO3b0YGStwLnPJBoHb1F+3aQKrcta2kmyYHtYCZXNROj9ENnLSdZjWH5pwes6tyYdLqwBH+ZA9Yzb9EvSvUv0DpQBWvkvDjO2RWIuAhal789oeP5tsfhC/wj+/Ntz++57cf/2K+/fgXfvvZKvv5fc0OcefZRui4ReVthA5659m5CFU/8O54jrs6koy1/VC8GWUWp54xg+B6NkLqjvtR9Zal9iq93NbJf4k+Kraj7w0weOEhyw4rzW3tU8y8ONBCEtWJchl1oUms0rKfrpzrVMAUeY7HdsmXdz4Z9oQ/LychQAg119Gf/cOpU9e6CsXOoFiholxilLsyytW1S7mFjb72KXw2tnt4776gSL7yBJrzqRkXejmCgG6RvaQjL9sXvs9qukE7DO/avBNtiwO3TqAunHSNVjkNkygB3PrR9LVBXKkdOwyBFimOkDGGXlxrDabrjn2zVQsJ5dT/FW1CITWO7iIkZJKGjPEgYefUl5JLSCsOdGSGrx2RElH1lYwBwlb5tUP/CNaslcDg34LWqXF/xBC2OAncwRAKh5S5VhF6aRQgT5tU3CmCTopax8F5k2ycIqqEaVVFeSYSLms+Q+UjnwAU8+ntW06Sg5Y30GTqLp2aZ5JOJbxUSiBDVUC216cxpETeMIJf80V45Iy3kPuLLL0XmMgPLjzVQQzAgeXZG4i8gESxW58Qp0WIAS2fWGkQjkOIjKU7xBIKUw6rWagcpAJM5nFA8ZZDvPXEQUS33w7ekrhmMhekQajlqOFaVaQWcQgxGnKpoMipls9GRuLUQtxdMC9xvFpibDt1TPOC7gAU6be1uD0/trfJLNXKFkyegmL/ZNo8i+Fci75c1BwPKUs9xJdnEBlKuLs8klurjCMwhgXdj8JSWT8SQcUXyUqlQLUGCAGJojE0E+kxkgdURsI4ZVI2zJRy3oCGca0NzUrZsDCnXWEi8aXgTwpkXdaw0BNbyBcqpsZtGcydhfk78tU7pPgdKZB370wLQSAE9V53+H+xwPbn80moN/l85ZRu5Ro7/38P9F19gYddL/XVS616ThYw21agBEHNl9DLMiW4ZUU/DFlSN4FfSdkr6ectl+pyUkf1TRbEhehfmgDq6zsKjuVMKONMIzaPNAzuhoraHKrd5dSSZoA4lyYUDvspl2nL4Uudiqjt0KxvJ5/rnHOAuCUqWyHWpABOaBLC8Ei0WAYkF6DV4yDMaWd4ivotFj5BgM4ec9YnYSPp0x8owxGUwyBW+WSFKRmlEH8i8AnlU5/1cas765sqcjEWKIvjn5iyBev2ad6gVCPdAVP+oYZWkJVIACeBtZ7lHHMKfnDsrfHrWGzIVoHnnOvFJAuVwOsPYnmEpSwkbMaTIrYmta8BUm8gIwSgmg44+tpUaYorUGFoMBOeaEAIM32ZDqfFAPWvXL8iL1ggBv5/b17Hgy/XASht1oU/Co7/hLYG1BCGKlitdbXVxsFLj18HJ6W6KMRMvA5Bq4yVH6kKnLah9KRu2K8ctcIzOYxFhAGHC5VX9apL8x/+nImowyEu7W5wzitDduU+W86yiRFlbNDErhU3TUP5H+TKwtMfyF4QCZomDbwk4AZkl0RPbbqoWKqRgxP/uLlsXtYTTCjFz8amxGIqEjFreQQUqAzezIi9wv+5MdxPMNyZPdpPsWyWal5y/WPkPHr4UdXwjaa8uuyOoTnPYFE+5vN1sRdDKC9+p3vuembYrz9P7eXs9m81XwkN/6kw2CqmfMVPen9AWwO3syTAUO+nuqi59yS4cKA2DANjwyBKE5Ue02VPZkxVVXZUw30aN3Mkfqi4bhQIQXu5iGIq3AJ6lLQi/HtxcS6aZ6lR5GMRhpBT1pLnl0ywS45fOuBhMbS8ZD5AIYBjexzIX2gIIT2Grs+LtWLITyhiZDP+OjQ2FUZfONgD9ghV4dEE8wLiNhvtoWQQ4GiKVP2IM9QeGRiKlmhDNmS6fxXWVJkc9u/w/BWlJgYZLBbsNhN+5SqKCm9uLT+NYiGzAXy74dWKbGaafw646F/ScRWZxRkjkV9lcMN6C8xhDytQBEJRa5AjfZhRcKC+Wloc4FRnKcaJ+2AakTgktww4yBji04O5zo34vOjWxLFJdZwZdgIx476oOClj+mSaJGWCdyfkjQgMYpaUMPAcBYAgqGszjKnh80WTh1aoyrQQGTwHc5ts2HDVvqxVxYGQobehO5dWQABo35Dz1nkl9tUwmAXOUan/izwx1dZ7PzZ2w87pqQnajuhhHjiX8KvCbhtuaqg8bYiz493YqDNlsyiT3IzCMtmY5sSNndYWpn+4jNGmQ1ex4gCvYaHLUD7BUFSm0VD5ppiBQIbZrGCzmrqFtqDorBvr1hn+W756Rk2a0YXs83+ftVG0R/seCnOttWbLloiOdcpGHdpDMV+aZbGU7pE8MQ+BMLNIkmjmM5/ydCCNaKZWZ3EQgMIDAXpKAIgGuENFus6AruOb9i2SxARJ9VECjPmM353RZu1OqXYhqtNRBTYXB2PbsieHwvBM0klGpxtlHhnrcGQ+gyPZlDfc0CMFWYMaCg6MqdRBTHPhNoeIoOzeoeafIMVYxkx7MnolGjC7Q7ZKQKEEtgTzG4BNbWAvwaywFA8Sv/DPsdCiiEXrzBZN0nBeUmVo3wImyzX5bKMSzsdfQuH5sqB5TsGY/456tqUwsfaQgML1xOM+E4ue/I5w7CdfWP0S6hbG2UfHw3fv2deZd/7hRkbGQnj4lixA6M6ymIYckhd1LjTO6bKVu/8vqTkQSohv2OeXlAKB5peF4C1f+t4qC0414KuiuTU198XM4GaX1/oP8mwlI6Eaau94NMGYlbe8X/qqCGNS03FhQjonn3zBsULjExD6CGDGgfG+r973he3pg3DNqgXuONhweTCOgo0IPXZk5q1Y3s31oC6FRoqeAeSOcEBg8ft3DAedMMjjmxNxoAr8UebwwM/v3tx+k/5ZExxoFDwU+dcMWFkBaxCzOMekH+JZRZdDSVKQQEoMLwcBC2Pqrft3WgpRAugrMwya8veX6tdSep1xjAO6BqC5Tp0/kVSgkxKOAMhdBvoKINOpSdBTWsUOrCnAIieeKjp7m5iu5XYVU2R3uZMnoCVghg3snSFyqYiT7brcXeH5DnsZVGtFxKmSs7DKnhtr0wp08thCWnmB4DrE1qUBlHjlYmPu2bcP7bcOoksdmPjfTB4vCdYvIYFBgV0EcPvv676L9K7O+/vuQvk1eq47vqPfTrc9vXbQ3dFnb5cdELIMmgMQ8csX0sFxjjKn/q9B08UKJbFg9uhJKSQ1ZdYUIbJFnMNyDhSbBD6/ZsXe+TpMPRCMnjwjb72UpPPwLoqolbU53QNSJT4vPCLg88ZZPzGOGlfa7SVE4l3ZGaDddUBeUSUgJHQqls7uGnaFneVLVLHlLRd6Xo1ZKOPtRc4TCdPsAyXN+BtrfJz3GlXFmKYNudAeGcaHFNdc+En6Yapt23NW9GAqZrPVfPkMDWNbSsijd6ZI76GcMr0j5/X5R62LPQ5Cn4eYyr7CjqnC7Gf4pVLToVvq2OOKVtqM2r267jIiR5QbbBup1FQhcgk9RxJgxBQQQ8YsDhdEKTZspBYqJld/nYW6ksYmXmLfsFB3QXrthWrRC4gFqBnWYdLzKIw4qXnJKeyMEJJI8r3SeYdDnRMuEUlkSSks6+jbWiwdLuwsrMsKN5SPfNTK6KBCeSHt/5QkNml0TLmFaWpBqT7R563a9SYlpt9uKklGXphNNJTslGm7BI6Vgki49xi+yEmjpVVW7e7rSkqms5RV+El4Zxkhj2v7kLHPbhJmjPRv9dG5tv1lcHFSYNCDW9nul+Nphu94i0MM+s3cveIC0TRFb1YofioCpBvZDRWzVXfF9Y58hQl0COmYUqyjW2q2iC5fTYCKfpCXzm6HT5N+ngTwWyMow6S5RvkjKIlrmJP+cuPCHpj4qFGS39iYIcB/606IEyEDwzigG/JSttBIJTpKtIu2wXxWd8usuJtPpHeJC7fVlJKJ8lJj5H7qMZOrnuj8d4Q8/PVPqH/WgKv+VdDinzKAoViPkpKwELfMOwdj45Gu75IvlMhfTAuWE7ajdxF5oHFMdf7EKdoxIn2dvj2giCZlnkOAf7vDWtEaBV0jnTI79z3o885w0FenV1fKZkfDYDIlI0ezBP5Awo2NSg9oXiPlhroXvcpJpKCUFPdGvPqS9Jez6YHUNMToZ+VfZql+NRsyr5cPyNJv3nxIRK5ZOt9dZszCGbboIFb+WSQKTKUGb6SxXYjb6MYW7ZspwfetBulE+zd32LEswXAjic/gROrEibpoSf6S7AoujUt8aR0DzvNVRQxDL42jrNZghBNjj8I0u3aVL8GkVHgUZFJIPgwNgt5t7H6WpZPVnb4gmBZ3gPPPeEQFUGri6BVBiSQNKv1qZB6Ygj74xDJ2xJkdBdwTW98WaUW+XSCu0uU4k6f/xjAcbd96bUhzfZJ7kNF6MqmEMXJBjGwYzg6QqeokTjY1XQvlF2L5WogZeFlzONHGq1egrwWEH2KYzdL559clvu6i1UPLvx6X4Vnttfq7tbu/cm9X+mougrm4cBMfG1mTmxfyIsVYhKehj4cvzJ8BH+oXcp2xcETHyESSWau8GIg5ix+5GoC9xYKzhatYbY1GyKQIZj34OYoM1bFCLUYcBOGNXOQ226tEhj+4+WWM+hxFytRrF2lR5I8Z6wmGSzMNkfp2rUaDtQXtDGD2W5VX/ee4VkgD0SeDCkwGi+Ym0+c7M3oUJnMTbYvcbE/ZTXJDDjtkDr10jl6R0P75sY0+30CeA6mjWvrtJt7B5Hg5NQ4jRrmdgxjB/mzgtyf6oTR/MckPorgwbEkdWN4IrjC90RtDiRZvfhaSBKEYd1IAh8jEloWGLIpB5CTOJsqJhzYKRYn2Q+LosBiIzugC7ufw+cpsdJyQETmRPt6oE/9BZVl6hWATmGNV+sZ4xHIit+NWgAmzklPutzai23uPUx4IFaqCjeFWA1G5E2QGbRroqbASt7RvoSbYr6UUwGILKX5bSryUEC+ngxE6o5oKNni/7vmQWK6yRg2PRihuAemL9ri+eE2RV/OVNg2IGF8r+8aTpRlyjL0F5y9kkuzeD377shvPU68u/JDiJrEtPIgYE+EgfKJ9luzVaMBK9gdhQHgRAF3/RdWFnKC6xL+VkCoLhIEQPTKCKlUyhME3WnI+s1W3hXIJ2SuaJX1qUdNIDW9Qz7mu+GC6cdmWiyCwhED5+iLZcfijTNol8zwss0zNSHzo0bTEQC9YmqKzstGeq8+yp15fVsaHlB+EqX5ASbnCOUuR2Xw2mcMEpFZItHHj8gqIkcIrdDMZo2nEtmwaJpEtV62pQ8ddiknqs6A6+1dRWriQCb4g40eyJ71CjIcp9oLV0ac4w/Awh5W3HJrdqhnZ3RsLPNMwIMsjvD2umO9xZ5o7pwaDBlLkG5TBssSATdNZOs7U8QpOSj5kES6QUE3Pq29nT/10JlIoyosQFIsDt2n840FohA8eftRf41kTmZzJqCte32UTDdGxj1/ud1a/z/3H9I5mpN+ibuxUxYktFCe9yn+W1nWN7LKwOeGheXN7u/XAzqx3Haz2zpqNSr/pT5/N5uvxHd2u5uFQFvOqiScL+k8tyZDirXrkIsKcXoCLtT8euYvyLDFc9fEiHeFqZnSUs1wk+PZl9i6nCvUdoYj2TNiDdJEO+KqBwLFWmX/VKEvHA3Ykh6qRJFrROUg5RERQvVrsfOyqbZtWCiM5nlXDyW4hXDi2/YZeRmB9vKmXhDtNvNMfZ6bYcBLXENzY6ixJ/+NqpnjzRgQbJ0XTQ1ujd9zKjfUdg7K9qPXa3hRz6XVPl+4TcUSuuYnyRpIdqm2Zv7yHN1YvMfLjraOO8aDv8a4/udlTBKVk27jhnPUPHLDNiCF8/IuAwI8vmwjiSDMyB4v70/022tvL1hSXpa8ldURfh8vx9gh6UIEGIS5WicDgtM2/t25GfcPYmGNvDNJmryNfwxmQJ5egNKFP2Xebr09f/308E90NCTk56BWn1TamNksiiGhfgY+oCBjMCh9vNrcUERG1e1r9m8gaIuLOG32lKEDRJyqabdzh/ZvtQ3R3k8hhQXzx0b4HJ4DsoOkeLNalqjNxyVb2ahyhPOsU9feYI9s7Y64wuxOv24ewzcy0Wn3atmj8zKjMjyObPLups5U4Bm0s0gjHC6z7cpXczITt1ZhfWaxsmUS/CSu3ifaNO/t7DnRD+yb2ciGDODIYiopoxNNsjdgzyayp9uhWjnFj91FWRsnevm2iqp7f93dRcgchLTp61mRi+MSwZ40OAPowkn48QIWAChtOF7TbdpwSdXZ1d4n191iYJR8ecuuUkg2wQT+WW4fYo+XlXrzJHGUvylLqjJa3FTNAUXKfGaOL71FaFd6j7H2qi7DnlfA2QXsaR34CAvTYBwsoCCChe/cYXgp9ndTaxUMVY/D/QINknJMjEOEuVMdGEQgGtULnpDIQ9qv5A0WqMoD010M+50dDcZ+P7oGHoJlGGckGcwoAwUgfCXTkRDgmw9gR2dtOzPgQVOtaNMABUlG35/ZO6DNZqBhqNxjVhJFN/hbNcg14MV+vpB2MzcyweX1IaN9Kpy+MuWigTtXFjuFIuwMDYlCZ9S9eRgBWmsd0UnuKZdqVSjJGilCrpQtNyjXeHU0ABWFtJtNWHc9e8J1BIHJoFh5hU8HRoZ8mEg8B10un0as52f6oLJkYjkK6i1CakDfTN4qRH9x/tqRKCqD1apJjcEu5nrtzaVKUDnZTnAiDvhPQgO12xAsq2OG3ohZ51J5XgmmAfB2IGuDrwJOz8cFem/Z0VK6WYt9Ja9EzL+lDVHlNZDVfpROyjTzUlPmDr5qYHp1SyIRamiHr6kj5gS13tDixWQ19ZMY21ef7Ij0CLp1Axu33TPe+nO4H01Zyd0ldbHDrjK+c2nKJQ49pk1Xbgug3o7ltVXqZizldXAYvJ4xrxq931chvqaSnmWIBfhoph1k9cVjEmRMSzQJcynTYnD/eb40dXX/xKYPWQ+iKRynUtNRpmLSAiHn++TOJocd7vuIdceTCgVmCO0il5NhgCbWNXffN0kx1PjtBqbdmWy1d8FEnnNydSIXigYKbteszSdf/yS3hw1ooCIYbtlhcnsbF3f8PfAiNdcW8F/0CKsOvGKuemGEC5OzHAtTnmGh1jPXUrHywRrq8OFKxinetDtxmOhxSKGB7Ca2l2esHY3DUYdINFEYzx9JaC0sdGcGc/8a8Bn53uY1LjChOV/k8W7s61jR6WBDGYEk36CLXRZIDOxWs+rCCsk8WNYwPgN25Vve/cP6vdPC+EUwEQGdJTtNKL6HYqIbTfPmy4eEszRwvOmuzOOyiT4TjAwoXRwrEVg+WjGvrVfEsT64diKYa0deMmiaudapjRuX3lM6ekQuWrpFps8N6ZVoefWmZAjcFUWMwydKl/ij29/Js+xiB1qwgU3M7ABI2als6nAVopSQqo691R4CEYY2AsTnDw8Yme2yc8wM1TrqBMicwOM7ojVJkJ/ljZsTexLQGBwRgrhYcv9R85IbFDLU4x0RPpNPhFiPXiuQ9t1ZU9jW588qhEUoMei2XQygJ7BDVBykOXPcCy/C1XtlYfisCZrPOcBrRxvY+zyX+sPeBLuo1kSe4ncHeS0jJSdQvzDmFBJKxCbmnZLenBCJ8VdlgQZwyRESq0SxUZwlB+Dz5bBsQzWSkBVrHoWtG+gjFVpypVLKAi/tHKM7DuYxuZRg1o8gNTogiq6LoVmyN9YOVuxwJ0cU3nUwQevvWDOLIlqtSc1ujFwqUyeEV+3jNQ4CTAdtxP18ZrhtekIuNG7vRQxfjCr8dD5I12puWj75m9EgRYoe0t041MoNcJoyjuG13+STDdygtr5xscSJCkA5HiaVuaWUs2OqXGO3kVkRCmNVqybohN29olGCdQqcit1e3HIjTTkKmRBP860065qZopZ/ud52EdZDWApVvBBPskNfAfSpj5xncyGRY+3OPrtyhiMMMl7lFln7g5oE10Toqb3W2pZ61CmN4MdToj81wn8oblNOqqdAyhb4yr1Mn2JjxTqKcgO3WDqFfRkyHXRpzD+0IAVYrcuCna5kz5IAIYjQTJzlMvCHbM/meE4WrE43XFeS6C0CEGxGvIumfaxNBpY7xAnVAWLO4IqcvOUPiPkOgK25ycy/s/D9WVkav0qGN+15FI/g/rOaqXTvmuBZ5TsVfHKzSKqy275tfhpWx8nxoOZkAqxnEFv7wT2cPL+IO/5LMYSdvOIA1vJQz/AsyhtfgCzqzxvYEjjo3Had+E7neOAPcMIc9xGyQqUx1wlyCAQOsaeM8ytiQnLlOmCAH5bBEsTwrtGyEkd6WKwSu5HwEeG22YDgz0Jc/zkxRp7fKqK6FxmV+zKrFW+PK1Vh5+mkxM2PzbCtYSn/FUsarHmOnuYLH8ZywNezkldjuPpu2BUIltmhww1Moee9+SgcBDB7VXTwmkyn/5P2zZFfPscWqnoMo4dOCZToQPsn7R3vftY32M1r88YvZqEpNWxIcl8FenN3oVmWLkrN7LBwyAmYkEuhqNV8iSJn/ipAUfFyeNUO/J/PoqZN3UGd/JE9uN7OjWOkCPBkQfbabWq3359lgPe0Dxp9XaLIZo9zrfW61O7XaABopgt77n/4YlouJOfHdd9/x9YIgDZY5dKMODS0zKDLk5YlETQCpyaSf0r6dLVxF0DppB/PZ5LkBIFQEy14PpsKq1yNRYGywivUiW4ZRQ32P7FPFnmi1ZyTvCDU3rCo9yUbIN/+h7jYETWO3DU+/6OCa81kP468QZiJjp+nVymbr7ems9RVquuqxI6G1tn1hLk08scAfoqq303vQhOAADE0RfVNFEln1lPpoBfTnq1vCJQMvZLUtv2V3mlkx6FkSCaSovlUz1NaMvr1seM0xEUrvifBd9RljkcQeuGw9oTg8HsC+90Torvp8bAF2eg2kEf2y3/tnnFq3OsNBfzKX3FGtGqYXTVHJ6S0wjXyVTYFnUEYxLHWN89WlOEkEhm7jVolX3URMCCkvhIqx/j74vF7AnAPekT1my+dggSbbKfAOPK4YTNZDNINgUkwMOA+KT6q6jwg0TJuvaSfjPnFrJJW53dJI5EU+Y80i5CKxYTRmZZbfN7bSJ/DfNBJVK0x7TlV5BclfyeVNvisOJfcFBhU5Png8dVJ7I5YasswkShwYN8KiX0x6N7LNasuVsWr7cwll2/KqaOzqMIKVyF5Exiz6T+n7tcqWMJ1WyJ9oWgEUnj2wRinrcoGzaHWXBTNAX8mahjmJ1bZ263JY9N0jD1WX9nXbK6elyts3Z1aaA7maqsQy5u1FUWyK5Y5HLnf+NQVz5zDJ3Pn/RDR3dsjmzusLZ+Pq3e8yeR+Z3Hklodx5danc+V0s/y6WfxfL/zpimUWvFLXh+7TInP3wVllJazufzTL05sFJtq8Ik9xdVBZOE3ZnB/3dUg5NPE27Vrpb2mEtDjbp8inZl97nhDmeCBnGEc9FYuzgBH00jYC7rLpELokNkK6U+3/uHgumEkEBAA==", "code_sha256": "ffa425242e7514591810c2b9d7873495d8ee17b68d523566895359744ef385d3", "part_sha256": {"MA": "5d1bd5272884f513b19f0e66a7c235f6c188a08e4f7787ac9346f1614dda3ed3", "MB": "4f9167dddd457f394e988bf9c9e2576dd6120834bfb8d93573ce9451fd587598", "B_RC": "02696ea6fd0922f64167a1153748f6a38bf2fd5d87c7a4ac6cb974bb9482f57c", "B_RC4": "27cef4140f19ecf15aeaa82c8a4bc70f9f066083a5bed10bcb963d8ecbb9b8aa", "P4": "ffa425242e7514591810c2b9d7873495d8ee17b68d523566895359744ef385d3", "W": "accbde6a21b3b86b3bb95db393a74b6c9f20fde939f031db29d7d00dda13ca19", "W4": "80ad60b0345ff4b2807d90f6edd9417559fd51f3a4cf36c78bdb978a5f7e470c"}, "audit": {"seeds": "460000..460199", "n_by_spread": {"1": 44, "2": 54, "3": 60, "4": 42}, "mismatches": [], "all_equal": true}, "seconds_per_simulation": {"P4": {"overall": 3.2735, "1": 2.8627, "2": 3.2363, "3": 3.3918, "4": 3.5829}, "MA": {"overall": 3.3084, "1": 2.9094, "2": 3.266, "3": 3.486, "4": 3.5271}, "B_RC": {"overall": 3.2801, "1": 2.877, "2": 3.2809, "3": 3.3526, "4": 3.5979}, "B_RC4": {"overall": 3.281, "1": 3.0171, "2": 3.1953, "3": 3.3693, "4": 3.5414}}, "python_version": "3.12.3", "check_values": [[310000, 3, 17.5126554022], [310001, 2, 24.2585786274], [310002, 1, 2.3761435866], [310003, 3, 249.5411334743]], "failures": [], "notes": "All part hashes matched brief. Simulator b244530 unmodified, default config, 2000 steps, in-process via sample_config/SimulationEngine/load_strategy_factory. Seeds ran as 4 concurrent single-process chunks of 50 (not --workers), so timings include contention on an 8-core host. No seeds lost on retry. check_values entries are [seed, spread, total_edge]. Nothing tuned."}