{"status":"validated_core_external_runtime_required","item":"kit","search_performed":false,"candidate":null,"sim_zb64":"eNqdGdty47b1XV+BOg8mZYoSZcm27NVO0plNttNu4lm7eeiOo4FISKJNAQwA2pQ7/feeA4A3WXLSenYlCjg49yt4cnJyF9OMSrKl8olpIlmepTElYkXodjuINzTLGF8z8v3F8mI2jlZXYe8r+71IJVOEF9t8d4NfS0pSRUSuU8FpRrw8oykntzu9EZysAMeSxk8IojLxwqQf9n4WhDP9IuRTQD79+iUgdyJLk1TvSCy2eZoxSYQkrNRMIsYVrABBxhKWEAp8FlynWxb24GGxpXwHnOtCckWkeFHkG0vWLMA1mmYL+4PK5aKz/CyyYssewt6tTGM2tKvk688/EaUlo1sFRxhJecJyBh9c35Cc6o2CJQ2/jKjZjiTpagXcrqTYkq+F0mHvn4oRvWFkAZylfLEg64LKhLxsGIezz+Ip5WtSM24OUqJimeZw+OTkpJducyE12ERv6uci02kuRcyUwuNUkW1ebRpD4BLPe1rurnsE/gxeZxsH9pjqHitjlmvyN7P0SUohLXjCVgbA61O5VgHp959e8Mm32xXIi6S5t/Kvnb7Jqt51CwjQ6xnihqijDSqlepHyVAfuma7AtgG5/7z4/IP5ujefX+/GvfvPZG43er3vyKcSfTLVbVPUJlLCmZMkkoLlY8q5AHWJZ2uDHG1r7BYCqlJItUlX+mLSJy+p3pA7QK2/pOXFhChwLnC4nHIFpr0hfxXl4EuRoSdyIbc0Uzfk77yAQ7ciVUpwRHi/YWDsDXXU0P7gEMBcuizQQ0CRyA6unypyG68vJsN/pet1ARogS5BJQTAxDlYNe98b9cc03rD5vSyY30OFL5AvDz+cJV5BNzwPC/DCi4ndOGt+j8oZO7+8nC1nl6sJvYyjqV+f8l5/814/fmyAz0e+7/fbh5er6dXk8iKJYjZh0+XsncPjy/3Ds0kymsyWy+j8PIoitmwOvyEc+XbTOc0rSVfw8Ze2ZCOfsAyU26xEfu+YkgqersBIntJUM6co80x+m9uHNvlo7B+A+PChJdzU/wMcIL6BEIUmbrujjPF0Ml1NZtFkdREnSZRY6O/IL7nJAuD7z5DX6LNIE0UysQZ5b8h0jE4BiScDv8bkiMnGeNZeLg3b2jPEA2+VCao94GdPVP8snPrDyXR0Pp3NLsaX55dgpYvwqC6tt79VZVCAoHuabu0+H9ntMIkpLVS/S+0NxmHf/ELZC/Ak8yMWyqs28rT/fNziuQ1CSwlyesNslm5TtIlBAgHtDba09BAgCEeV40EqTQAmsork8DgyTy8bqDR296PF1OS/97VQY+3PSVGvcHIGVN4qgg8izG25EJkpWZhQFfgEW5RB/bgLwB2SxYph+VJP+IBJ50cGtTBjmHSyFGoxls0AM2GRJ1Sb4mIRKFIo+BAcyhRUW/ClvNBHEw0rWVxo5t0G5DGAYr1YFoCWbgXU2sCkS2QIHu8wUTtll8EO9HH77TEYPQT4FT3Y6sOYWx8/YHBbdDaicfXcgq2hy6Boq5R7URigoUZhEIUDOO8sla4cD+QDGCnEtsCeMj/rQgTH4N+PEDmsOmZpNvajJVCyuBr7MHQVWvYNzmYZpSr7u6FXngFIY2GKG7sB39UryN/uD5jBv46OEPuZR8sBUEZRg92AWpQsA4RW2dddqoc53+1zXlac7/Y4NxsDXnY4L/8fzoHrYAfsI9OGfce5Yu8r2xL8CBjepddSPlDy9yTmu0FH+bj6xzIYDQLosKstYH7hvAt1OQCIPyN2c6z20UcyByYa+ZcBNXWhbnW8u+D+c+DCCjDRXaCDDg2/Q3psl88fXHiEURUeS98Puiu0W04tdgzto+kTuuEUeFtX4W76pD8d3SoXqLDdsKzEtytzi6dlCbtvg39uoT5aoE78Q8R77yWLWs2t0MdMYNu7ffMfTQCVpb2mDoGf2QgaGlz+oPT3fGQvAe3TaWUFlzAstMXaqQ2r1LmZg2j0sBc7FZ9o5XLQYXboGbz2LDhC2Q9nM/9/Ztar4st68WC3L3XDbovXKkm1cp61goE9SNH6onjCqtlUmMc6EGx5McEK8YAx0nHlgcMNFAGH8YjR8dZFClfAwLUTJm0FU+krO+bgRubIOuDtt1FwjoSaw5bguFWrxhVs9C6swdnYDVGPHqxHRH38VUW7QdgGjGrAcR9/VYBaaOgX50aaQ4Rxfdg4FFpobFISWGSVSoWmNDgO+JtEM0dDOm6NetgSWX7PpOOn3o2FkKZ7OsTIqEmubbLDcYjQBrHxGwPsyb6R2WB8OHNymwO+MYjd8Idw7g1ejA4DWqVBs+FSoRn17YiPzR2WBNuYgL8+YlctKYfsN/YPhJ0lUCd1y6qhNDBbB6LtIwlHo1HUIHvP93EkbHmoi4HWSjsQWrQcO5QnEAxdUpXILr+UNl4P2afaq2K5/Vfry+25IGzp8ljo2esMvEPyoMqZYTogW0b5woafab/BSddbCiPxQmmWV1cLd3agfWUSmv/JKEj0LmdzWDEDzcXEqgEa4QB64Lqm4lWCLanRCFtG0P4otKC3FiHb5nrneeNg4h/BacMysPFovsb2yxTdFt69cgu8vC3B6smvsEYWa2SxRhZr9BYruMy5+bAjiZ0MpJ055+3JP2iez6JqgEH7WnyVrerLrvquqxsAVQzAyLXYFlXiwQEMhWisZcakQTjtR+EY/7vR1dxurBlnaExlxtKXjYBxCUKUSbKkOt6QJYMIYwQzMUwiIbkzFzU4lGyYZA5TqgheIsIEzLi+JrGbavGG7xkwwYkE60q8wRglDLphVl9Rfv35pyaSdRPJXadqKRQvIKqhNn8zsKEW++1hEcQ2bmo/z+zza6uPdrrFwa7TRo0CW2P2g7cDFB0Bkm4sRF6r0datyQ7HKPVTS2q/mwfkW5nlnsymgcMq0pLaesQZ2vvVP4SwM/UewuguAKoKXJAPJJwGxp0OS7zns6hO1juQjGD9uZ2MWmfOaj9/x/l7Jj9Z51nEgq/Sdfs67eTk5FNJY02+oPt+LTi4dwjZMs0SB63M1aJzcsy9gI8WmbYWUCHe2FZVFDIMrCZiGzqgheRrL+Xakuy0Nva+RoaVVqNZGIyjEDLL/k54ERxehyxydTXGFAJp4ArQ2zYIb45g4NCYk6yUehOYlOyCBIsybPYqVzA+FhhXN17xRlcdAzSpHtDWsgV7iCpajqnqvrsuDwp7MhGr+VVdEOYmLzaG+YUzm+3ZekdoJuAnpAdVKPIr5WmWUZKDSRDZjb3bcEaC9JK7K5DE5opbqpQjF0Elt/du+5fqNwRrkBNf1W8U1Ibm0KmMoI5YZHcVSyzBy7olA87W9pZlyfQLY/bKzuCR6gY4z6Bl4hA0XFcvFaAFDSsxnYWs+1AFoDpdF6JQVEpqFHa4fBktwqlvxga+SQ3mwtBsPFR9IHYbZqVuzZviODpeHB/FEpF7aGRlzFwZdJ9SPZwZBeMY0OqDGpLUyfOt8s9Hv+nGkNrDEU6+Iz/CAbT1FvVtWg8wHnyl4BGxSFChUCFSUDBkc2HVr3IWp6sUIP+R8qIkG4HvZiy++w2e45qV+JaFQ2oGNkTKlbGVZU/VpcxIgMXM3hDie4NtHq5tiCAO7xQAn0798FaIzES70QQoiipzxfeeOnA/3NLcc2oJUBVBvCn4E0bUHEtzFECh9Kyyh0OLvQ/xfsh2PTDEYsHpli0W2C+eVq+hTi0X7oUMleucShi6HqHUBPgyzbYV2Py5rfAHuYYEyvUt/pKeazxCmiRQ0+yWdzoY8NPAcAGCBy7tzcfTi2PgKMaBE6Nj8EbaAweu3AQFHOehYRiPKcdmtyGFzg77rStMlaPZNIjqm2tpJhR8lwj+tQKLFng3XyHBl4nzTu6yZZeGJp3arzMach+erdFdaMbqMN6BoVm1cCAh6j9Mim2uvH+f8tNrQBacYi92eu3yPTDx7RpayhBXPTD6m77d/J0q9vaI0omXJGI1j/xhM2Yiw++gAbdO1Ok1CgGs2HS4ADEWdsvwOMTd/0DJ+S+Owyj5","sim_sha256":"d003c663b94968b58aaefb65fef8e910638ee1664e19f96c809b45e499910638","harness_zb64":"eNqtO2uP2ziS3/tXaAIcJKVptd15XNIOA/TMziJfbncwCfaLzxBoibYV6zWk3G13kP9+VUVKomx1p7O3DcS2xGKxqlhvMi9evPgsN4UsG7HKpSfvRL4XTVaVV40SWZmVG28rVCm1jrx/yDupPN0I1WhPS6GSrZcVdZ4lWZMfo4s/96V3nzVbbzLZyryee1rcSU/kuZdsZbKrq6yEiVnpCZhdCyUa6d2rzKysE3gGhGmmZNJUCvC9ePHiAvBXqvGE2sAELRlQo7d5tmLeV12VzCtEs4XPfd5ktaoSoBNJFtorauZVmnl1luxymNdkhbxYq6rwapgCGDyL+g94bJcp90V9xNll3b7CD+bprLi4SOUaJgN9aSDYimkpUx3eXHjwJ3hZR0ILpcQxEOF85T6vwnnKxeKGTZeTFX3RHCWbvSqB4aQJSp7LMkhDVkhRxmm2XvN1XokmSCN8E4QhLNe90k0apGm15rPwCgUQ6b9UExgMYehla8/8/jjzZK6l94+qlIzWxL/7SunmDV8sYDsCYmKRLUNmkePvpbeulJfhViEbaqNBCIBvcfNmuewRAQMiy+NU5o2wtAXI5sywOVuGHfFCrc7hrg3cdQ8XGiGLpiqyJMYdDnC3GGqltKKuOe4YvQ/ndQRqAcobFTtQnMA8aP5F7SWTh0w3cbWjp5DmNryOUENjvV+vs0NQR+bHpR81Re2H8yZChZRxIw9NgOtHKaiEDogAlpUpoOfXIQIqWecikUFtiV7JMtkWQu1iEPBOqqARemdptltd6WgjmzpLA9jOrIgGkCdYgpKhQrcKhuBqX8Y4JJsAtTL68in+dMum7Hoasegdi6bT6fs3bGZY/VqtNF+4gJrNAGIa0uaSHSpRbmTwdkrvmf2+LEOjn2ToHO0mqqVax0m1Lxug1uAnQy9qZAhGShKYD5h3fhj9UVV5YKhHY6rh8abTGnyKQQZAHexelhI5NZKDI1GMn0tHxzTYNqehQtTBqZQZ8smS7b7c6exBcsu9lskY5RPiacT6SlbGupG15kYWSv61l/Aija1XkZoTQyxRUgzfo611TIW9eYikye7kCaDGzTMss5j2gBgk+wYxglTgm5ld1jFQH5v3vLzCgd6IhSqAr6LOchnLQ5LvU5kavSdaiNF9HWelM2R1DDU3S0RAMMzqGav2Tatr6BN4DtYTGA0xgPQJ2hFaj9erZHkc6BlOt8oLjnAU7MsA6sLd6VMH6wxG+zoF4ZPTMhxySxq+kCAlS+Nkxj7dxuhUrL8x3rdzR1/csdVgzHLneCAQDLO7NAd3iEHtAUSicCAEz1HWDz4sxwX7wi3RfEA6KZrBYDYglbhzlZaBsiKHUPcn7jOg3SeNJwVEwlrJCfhNtEMIlBS6CEKUjbfzRJkCRAaKBHxPUHc9XVdNROj+JVW2PsKaSQUhW6Ye4rmr8n0B8XgDcV033p973fjoBlJZS3JsoLHJHkIp6reFjlrq6PvAjlxFkBU0mchj4EiqO6kXvt6vigwib1X6y/mOH14e56sMQp7ecXRKr41I1YobpHxq0JIfQsLRDCIyP8dNqCyRHF9Ga1CJmJ7nyCI/Xh3moDjrrOHi2CLDPwh8CPCRYHtU+LcRRSH4LJoAYYMBceBBH0N3LwnwijCEk0N4Rc+DGbCKOHycRsMFCNeRHye7q+BwKQ4GUdgTOoF3hLabJnNL8IenCAYpzoHIIiuDw8Sh9CogEIMTdPrwMnr/Pnw+pYjhAESFk6PlsqPVEjoRR1e0ZvQMHezrhJuxudnfS+5MpB2jbcRfZhtPVQa4c/hCuHB+5LurQ4cFdo2hOhl9kKcYCE4qVSmrYhMVYcphHuLjCDTKZqUDmhR+LMQhiKYzNpOT/3751NzwBtJiSKluwaMrzJN/RwRB4DsWpnpLBgBDl8/MSmaDZLppszkV4cMJP+FZiEKHwjFhA0OBnyEjFPjBTBpGv9FfYK7F8fs0T7PG1y47eHvGJnNEYARr6G8jiMi78IH+MQF3lKFv5phr9k7tn6X0PvC3rydItEdhGuqICkMQhVH0aOtMFVRyMK+svCI7SPRnWB1sjp6JhFHrgdpyoChiiCux0saRoG/Ed+hWZZMhsmj4G1bZtLNX+yxPY/Pu8fnyrohsgFXtzM9VnqVZc/zNvn969kpoMHGQgJ2NqdKdKLM8F/Hq2ICWpDIGwcVilbU6WVaNN/vASxSaVbV/Ye5p1MxHwRsxQoUDDhzyRZKvH7YIKDnGyBRR/quD0AM3S2+dmEV7J1O/h+qN+nxVgsG6CqsCzKTUvsbN66m58dKKaFdyD5Mp/FmaeoJ+KlXH4ECbj0ueI9nk1SrwX/aM9PQ36nhDkZFTAg/qnurAoAKlF6lJ7sPeVUL6JOvGC3qW2T8/03d4g6ltVu6l6wgznVEYxuQf12FooSFFZJ/o8SmbpeBML8v+xc2pg0bPYyyJxhcWwzL8gB7f5jMnY5f2kfzRmW9/RGvIAld5lew8TApyUWsoxCHJuMuqvfYgRUMim22mPRB0vW/6UtzdyVElGi+ajONy0jTIs9sE60c55jxZb/hi2ecJSD3QR/N6njHnZ+gqoJ7aFCYnNS7D2jc5zn6rAWskasx3AtcLGPeKH9abUn4YU0VhljBvoZ7P7jD1QU9Hy25W6InM0vBpubtjMX/K2oNwDgFe82/f50rc4xe2NSS9aOsA+Nm6H37qdwLHRgAtCiZY+F985n+6hY/fWm/sL1HFOudsugEdoKs8utqrBIoV2GJTX3eTqJ+Aq3DuIDaoCDKO11iExK1tXgUIjfpR5X54sgJ3FnKt0QpggVOX3DZ5Ir0V12/eBmZOBKUfjILlRlt5SDOImk3gbC3kzJKfOoqOGP/yJ5ACfLtlDgckSlik95kIwM074gUnaYcmFNLQQBPebmobXCwh4VxQSuElkd4nWDGyJKKYq4cIaMmOvLlZ3RigWR5f9yT0oTICjcOqCepKTN1d2WGprB4t9Z3qzMGGNd0KW3YBWTGtyujnXcjAztg7Z++NTtvdHSvMiYKLPvltYcfId8kS9xZw4RZVZBmqL68j86X7voJb4Dkuzb9EbOTQA1Xda94twNBeO7oeKRO7VM1WgAytG/61kxk5AaOA3Gg86+QYOx0A/A7Hs8D/CGqTxt3LbLMFeTZbSGvNMs12QTX6p99v/xZ//nL755ebk+fL2SuolpOqPgYWTQ3eKTkG99adgAfpuwEWcP5MvNg2VaAUaXDP3obzjiizkCyyJtbWF3brQW74dyXlg/T+2kNtDO469WavJu8m1y2DmLRUgEV6+zLZYrhJvU+3Hsgoz7vU0vqnYNyngb80/sx1WqYRRjRjau60fO/DlzP5NoTn5lhLHAGAt687I8dW0H3IOfBMSDBN1Hzhk1cHIqlwiLewVAATYUsXs1dLr5AFRGPvEJosrISoXu+VtCqiPQvrrZj9IULvm98XAn77A8Ugkx2IAYbXvutfVh73viE394vZ9bsl8DGlv+9zyBacoffuEMSTQVpjVn+Y+30A3/YNx3dusiZVobnvXXp+9LWCjGftB3aN7cvZq8uvy/C799I7LL59/b4MfUL1tUc1e+XkcSRE75J7iyFLDw7d09eXW0R56QXfaO3v4ZVlY+5Iqv8bMrYOHj5MQ++BT+cmAuKbj68NAnz/+ilcp5IGUltmZ7NrQ9hL7yFEUbtj11NnzMqUmL20KtOjvOJeyw4gcZ6cLfpuf+O3xSZsXI6wHXQIxvTQp2beE1CQEG8r9WuOyZXPxMB7mXmLG7G89P+3tFtNLIT04tICrG6WxtTp9Cnoz43YRpZSUZlou4Z4KIC5CBaOBB2XHLSudwq/H8zRlLdChwK6rs1BV+T9QWdCkMd7kA6DEUGprqkY7ZbzqhJPtBDT37EghQSozBrKQ3PIiTU5kzV5nbm3ztASbVfV21Z5CrEAsZd0YAYFUeptpTppptmiMLHdpQ1kVdqtWMgP9TwOHE+48Am+72Vg7SXyPKDXi91y4dfoalLfnOXs0GQWPiaHv2KCOMj9zguG26tfr34zBSaigSoTkEh75tfXmrZYdbbmA59NR8pWUxOS9KG6WHuzKJpNPWeexZnYw51+I6AQ2Ks7yHiGBzd+RK8jlFdPDwCdl7N0UAEjFWT9UAqtfDqTWN9QW5Wb40ESebDuXQm6dMh1qyKCRImyDqpQGglFF54RxqrcmNdts2aY6sFWwsZGv/3P7e/YREEeP9uWRtBG3T5IhiyamdyhrmpzjPGWGsn8enr9dno9nTFQpBXkNnzy3nF4xaCCemUsfcrwx/X09TsH0vZs2+76Y637ou3Is0e69j1AoZ30jkRJDADjkHj0O8unbAUpdWzth1tCFn530OkvDYQVCx8Tz7Botv3nE5TMKMpiybC8y2B/CC12u/nENL38rFz74XD8iWXtxmpud76zN7SouA9Cjh47erdpp/XD/nJuymEbJabTy81L67sGTWyqgu3Ax9fWhY8ZVndIT/UxkePJw1aQP3OLL0oczyttuwa1qSF3FjluH2QtOyfHbttYzz7JMe4sKyGhsae9JzNtujiYaY/H7Vr01B0Lk8DvTQ/Fkrl0TC1qII8LuiG2mBxoxgFnECHLcD6yGXxzObs4acUQePjRQp9pkr8clnOPw/Ee2w9nWN3znfS342bRZpZq02MMl5Adu6QHwEr4X7Mp59MhgS0ebqX+5PLh/PkepeVFj/sUu+y/61EcSZFZ+8u2bUNexvEvwLgN/8iLI3XW+geiMjw7GaHXAz/U7rrrsE433CFsCMbP8c1dwH6PO09jZRQ+V6MGXuziZMJZWOJ9DNt0Mcxplzz/6sS8kUV9HoHpxsQwzCKgDbT3XaC1IRZ7gkb9mBNoaUZ7lSKpoUBySmraejbUg/Oi2FGGESO3YeEUCSWZJoFzs8yu5WkdOXF1mpI8P5WAPNAkND3eObx7Zgsc7Rqgr3yrMTbb6XOc83hgOOo7t5ATYtp4pCTUdwtW8jKjCtq6FlsQnxbdNGbo6tqBtjR22sC2qTXWJTnhxyQ+XRiOmoo8UMh+sK9ObMOUXGL3jftg/1mxL7wt4KhUhtl9m7qTFbVeweQFo5bcYz5tqTyzexj+vI7+mwsZNbYVR7BW1YM8v85hj+FO6xOxhvrXmkB7tw/EleMpwdFrE4uuPWKQG202v8M5bL1wSxY7cKawZ6cu1MTsoE/V6LTDAnZwIhScPy6SXzgSBYbeSxRc+KOGgni9ItMFdsmsfZijIt5SZ+XVnXZcdNkCnSg9YYydpK0N2suVIODhOdpgXdeI/DZPjCL89W72fuY/cnzSQjILiHfUqIE5lnoZEfVh/zyFa56T7M23z7sE5F7vcW47mjsy7E7HX9ocAilmDetHPt0OhraiHXMtZmTHn77FM3IlR2w2SmLxTBcLXfMxp618cVqa10O9dq6xIYKls014exITJAJJEMSe4HYX8ZKFb45Ml53Gt5fFDL+g173IRs+FqcvQHfT1NTFN+WVw0kZXPqdLI8rFZLaE3HEMKd0GgNriFCt2wK3yGUYA2cJX4h4zSFK6b9/n5njr7JiK5jqtB4C2DXwrpUCNiklZMdEqtgfPdvLIc1GsUuGpG2Vk2IrQsr/oXjtnAt2iy19MM32EeaEKU1SdeAcSgFQbKM4tey2LDsnDnBEHN5Z+EEtL/3liifwEG2CyyiFJYfALHfJKJDuXK4c7mEBNGBQs0XRjvhYwsDS2tjmfeH4q5VK6Y3dUN0XghopBJ2WEAOco/I5h+9lcIw6fmNULkKhc7EypNHzF7ujYcWe8rsY0LMDYHkPKRX3XIfjl3cjRESmogYvo/q5uww/16EE9ixsqrLBhvwBF2Q16ZXifxme+OfmFHwLyveWZFi2XxvKLTrmNUlDjjlNHbuFX1QbycT6l2wC4vxhsm8GrqtlKFW9FPnzdHMztm8HLFXgd48LodX+mBcPBQGl+4T6F+c/3ovYx6sAoSrHaxaSIH/j16zfdneCNNgWz7sTVq+7mR27cuLrFuXNZ4lVM18kb6S/oBJq1D1/8Zeva3a2kky0jS/qk+/G0c0TBQ1YHj+wUE6Z7APmg5tOwSyutpy6YoP+JQMu3qv69XxulJFY6dq5BDa912VtRqLp4jwzczOmNKd+qhtKtugzlarSorUxB293j9RFXSZLH3bVAJFTQgBOxOof/I9J9Gh1uyXPw0dY5CH8i0BbY1++u8rf/ryO6VZs9tof/wCcVAOeJympKmOM4rZI4Dud6v+Jgr2kKNeiKpimNkA2H4F9ABpL6dHEbyXfKqBUHcJpm5gS+rimYzc1bYZcO/MkECgQ8sONUC8q1QF1/M7seA6XcZgT83RgwCGWUNtSDUhTSuBybopMui9xtPZzxgJPGFjI3hHqqhmv+gOMfAj/GRnseAERx3rFx8zNCG96ZOJ/Z6anfTaKrho9sMdUvo1vcH6n4P2a4r/qfAeyeZ5yzOPs5JXqEL1O3+P9vWvu7Xc8zGVvLjC5sKqVnLPofMZlz2rrc3X8mnjMok7X5rMT/68T9S7/9Pw7UJNMSQXVfjYrI+htQduNLbhTv/+eOiEqIPrZGcl2jiMg5tgdGJ5g6s1G8/R8awuQ/zMHICMmjKMBt0HyRn0zGlQG0u9U1jsCYDWAw568w1PfGROSewfbkOGeU40itzt5gTU0NtxO0fXNsfH6re4CgbXWIyDY7RqUCDkTxvqLD5XB/XaCabmw4lxXxajasG8foxOIYlo1jjFVx7N+YmHXxfwzNqsA=","harness_sha256":"24169a30bddafe5f82fa6873adcd7d6c15892f883d1af25eebaa9b5f623606bc","port_zb64":"eNqVPGtz2zqu3/UrdM+ZufU7EvXennSum7inmU2Tbpxud0/H41ESpXHrR9ay06a/fgHwAVK2e87tTBUKBEEQAEEQpPzLL79cjYV/P1+VmzT2H1frzcB/U1X10bqqq/UTFB7Xs9uq9rd15a+rcu5vl7NN3fOXq42/Lr/5128/fRyeTgbe2J/VmtCnOJi8pCalfw+UHvwf1Xrll+t1+ezfr9Z+Vd4++HfV43z1vKiWm4F3/dZq7s+rZev67fRi+G40bvf8GXQ5K+ezH9UdkFstoNPpP4fnH0bjgX+x8u/LerMoNw8D72y5qT5Xa80U0luta+i3gs7ms5tqXW6q+TMxXy22c3i7e+nXFVTP7u+rNbAC/cA46+18Uw+8X375xZstUCo+dqDLy+3i8dkva3/56BE/ALgpfV37ZbbxPO9X/3UJArhdLetNudzU/uO6uq3uKh8FDh2tZ1UN7JcLGJR6JUarp3K+RcZI3H0UN9BiMqv1HTB65988+5uHarb269V2fVv5q9vb7RpGcFsN/PPf5rNl9Wp68Rtgz5bl/JXuAkjNlk/wslo/+6N/jq7+jcxXoGN/PtuAfOZ+a7a8nW+h2We/nq9Q14/l7Vd8LZd3oKX/rDdtIAKUoH//oawfgBsc1Kb6vkFlgfq+z26BErH6EtFAENytPVowISCku16Un2G427tKGVh5dweaX8EA/M12Wd7MK+BlDSIDdBDeeLPe3m622HK2vEMzBVrEpLSDfjn/vFrPNg8L3YPqtNqUIJ87MsUShrpR9lyVJFcyQ1D/r0o93KdfP5Qo/PJ2vaprS+aS8GZW3fXQMKRmltCqRrOYPw88Txu0f+y3XoB5vuj5L94N/zV9MxpR8exCF1+/H+Of0fnw/Xh0Oj0ZvsfX83x6EWBhfPb7xfB8ev32ajR+e3lOhM4LVXl6djU9HZ0M/03QMFDg4cm1DQ4NqT9GNlwo+PXlv2xwxD2/G9oVsao4H757ferUJHYPr89HF6d2bWr1s1OZWTzvVGohvH87vJ4Oz+GPhBc78OnV6Hp4dk7VItitHoMyZKWWxhVOiOvpBwkVlkTP3r1Hbt59OL+WlVoivw+vR1MpFq7UUkGVIoKEaolcXw1PR1Ma+eXlWDXRAhlfD89H0+E1IEF/b+Ap6zPD4rWxB5FbUjTAwunmanh9dmkqo8DVl4Ebe7gevZ+eXH644F4iLYfXw/FIW+h55JrEyeXojYQ3LIIr9PDfnF9+nJJVcJ1tDgzNLOg/PgxPrarcMhGG2nPAQOPAgjodxKEjdLeVcMbnttNjR/Oa/v1CiSSObfD4/PL9aPr+6vJ6dCJ1HCe79UrRsl5L4Y/R1aWE6AFRKcTS5cXIAASVEqNTLBHSm+H5+evhyd+h+7OTkalT+HrUZxdn12fgR2iEpio0JWEjSXWausiUYpfUHyNTk8iSaHR3pScE1oSmJEwpMiWiDSI8GY3HsOBfmQomnZpSJkuZkUZmyGeGfG5qc1Obm1oj7qQwtUbOqZFzquV8nkYGZuw+1Wo+z2K7RC1gEOzODcHcEMxDAzONc0MwT03JsFqYFoWpLTJjvOA+T0bT302nhZFAoSWgkdjJFoZ6GAROMVRF3en1x0sFEY0uwbJHFx/Q+1wojIQpFU5RETWLDxRTLmZOUeEKZksEDlSoIlNg33n54Zo9WBgxFxFzYZwCFIXTUK+0oZn/shgyysXoI8MFFyNV5B5j7jHhHnkChgl3ksRcTJwi4b7/MH5r9BuymYbGTsmzGQQmnEamO7baMBNOUSFkme2/aVlWCzKj54yecy9svyEbcJhnTlE3yxmq7ZM6RK/BY2Cjp6KFNgKrY5srhM10M56i6pCLSmFFbDc6uby6Ag8OJKfvLk9H++DgwM/+qYyK51doJti7s/H47OJ3XkBCM8FMlV69eb4Jnm8iiBmaOsWQi0LFB7i6SHHp/kSQ7Sy+ejBQmTNFzbIi4y7TVC1U0ZiyCJllnnXCxCFycR1jxx9HZ7+/1QFU5NS/GY6vd+rV4GLuwEw9xSBFUCw9nkqCp5JImauURZZmDNUGqOMuQzDjrjNWR8bdZNxNFjE0cqCCi5EqskLN2iCLGjdhhIQREkbgQWU8KDOrcKEBZV9eKTjr2MwrCBXN1BVmKrxHgTZniih4bAWPreBRFDwKs/pAuCm4aAwmYoOJwtDV58Xl2VgFmGbTAcWEi5r45WsOCSKzHJyOLsZn1/+ejk/AqGzA+8uPI43MTAk96svT0zE3ggrT+fDq9xHHNZGInQpqZwJ/qg25KFQxsdfG651GCTdKuJHRWGSi9ndDiINYq5EJ22VREeHpQkUNZflzxBiZkBE3k2qIPIkinkSRiQghAsWJytCIixSw/WN6AqPU0k5Y2hzwRSbi+wesmUMLNeJizMVEor47O2VYysWMi7kqsvHw6klFuVZcftB9smlx6Bhx7BhxUBiloVNUCLyeRryeRhwPRplVTJyiws24Y14royJwigqXJ2LEsy/i2UdFwUUlz8Kiyx0XbG5Y1Lgp46aMmzJuyrjMesEyKzLGzRiXLdosjbIouKhxWepFwbgF4xYaN+YlM+Ylk4pCFUNGEFyMuBhzMeFiykUaZtszeUf/2F8+Diif2foUDoKeHwxCfFApCAJ4yfEl1xAI6PI45WfPTxOFniU9PxskVTfM8DWJen4yiA68FkC5GIT6NS2A0KAwtQXWmtdc5MiCyDUgSEKkhs1Tws8TbJCbzgU8xSAz+ICVauRQ9PxwIEydesTmkQ0EPQAjp0pgPdKtI+gJ/A01AYkl8mlQRZ5kEHGbJyLLLgRy7JRCGJh8yuYp9S6fJP1YMURNmOGARiBkTZzH8IZP1QyZ1ewhd8ArvYG08xgqC/yju0C6WgQg0jBQLykKFB66Dt4SXUfC1C8FUmS1YrOcbUDLNjQP6jnhisD+k5qRF6hP5Jz/Sc0QAlqD7CJ3BhLsNAhVVyhJ2WIvVir/RFJOgUiqfgC4BZQcvLjBPT6EGRbXpobZXJHEMTKJMDI0nEeglLDD4C7o54/w0MMWnnDMTb0rM1Imv0eLYt97aDXF11APiKzRwCPrCbaDErbUT74ntCFNDi01hXFz2CKxJ7FojmhXPjDKGKLyNCuKsIhi2OyhIhsgSwjSmHLbZKTnsHD2mVfkPtC9Sf+mHJw97/eqgx9hAaYVBXkewPIF+/2YHEiROjDgWcjhNf6hN2oAFe8HwMzj3rFHaRrlKMMihBgNPB4SasAyy9Zs08nzSAC7SR7CprXI4z2wSLrFAyr5mab0igSTUEP3GTT50hQHJIfVNFHXXMGYATeSWDvPhkOQevzLbkG2Bq+TO5O9Mfctyw3shVlSazqrfcADgyug5xSxDzoZMSCnCOwJl2JuhsgllBV63GCv21Ir1J4qvd6FQcNfNQQldlas8KCfDA/MR15Poj0PUAWaHi9ZmWgU6REnHDkk7BIDo/GwobN94UbDcsKdYe7YQLDXse9ZAETOAFne8TLKUAU/Ay7aEyPgohMS2oqP3eHtTPq/8pj0/LvN82N1DJGpOkhv4zH02WKx3dDZqTokfckHmj4eNld0Xrmoq/kTnmPOv5XPtX+7WlT6sH3gfRyeQsgbeOq8Esqhpw4soSw8K2EA77HXPKIEYOqZo0l4yz1zIonEAo9PIvFdeOYEEl+JoD55REDq2SeOCMm95kkjMhZ4jRNGBAqvcbKIwNjjo0F8T72dk0QE517jBBGAUeDpk0N8E17jxBCBsdc4KURg6ukTQnzLvcbJIEoSBLNzIohw4amTQHyJPXUCiC+p1zj5Q2Du8YkfvCdI1j7pQ5jw9AkfvmmRY/YP343ENSD33JM8VLEUt36TSjQndwiKPX1ih2/SJPRb7tkndADJ9OAtrEx47okcwmD8+iQOX1Nv9wQO4bm3e/KGphh4eOKGJeFdXiCJPPHcMzSEFZ5zYgagQnju+RjCEs8+DUNI7tlnX2TuoWcdaxEk9dTZEJl/6jlHNwiLMs85qaF5AQL/eEmlxNtz8kI1mWcOPmjqBJ45z6D3xDOHF/QOJq5OFPA1Kzx1fECzTHic/ydA4Tn5eYQVGqaT8TQTVUvXU4gg9val2akq9/Zn2qmy8Oy0OoLAaVjpdILEXjMfTvM/9Nw8OAEjr5n0JnDq7SSwEQ6zfCdxTXDTpUlNExj8HeeWyd8knsnRkr+JvGbqlcC5Z6dGEQR2rJKf5JDA3dhJT4LFnpP3JFjicZKTAOgTdHITAUXgNZKaBBVeM21JYPBdJhtJPjD0KIdI5cJTWUJ8CyNPpwTpNfVk0o98ZeBRWo/KYAqXHwgchZ43vDh5e3k1HV0MXxPD6k6YzL+0vbcjcCum0kHuhrIWFHSFzFqoukoqzE3j9GGtjUWaUGYiyosihzAJgHGUBAK3yYMwgogZdiB9MYiCLM1yqodwPQsRNRwkaUQ7agi+olxgINSPBnmapZg/AFSRZwlmWLCrMM4zShmF0BduwYJBEmdBLpvHQZ7JOCpM0iSlzUqQhGmGEUIUx7lkEzYLiWwQRmArRC6G7YyQnKVpEkgmoYnICtrt5UGmOBcp8JhQMRVRItlJ4iiIaeMRRUWSFNS1yEKiGQL5Ik2JUIzCiBExFiKIIkocFZmI5ADDHMSSUwCM23MqhUUYx6mkU0RBFEtRiCzJCynADIYrZQlOMEpjKsZRCmKQLMdJlklhhbDRKZSwgkJShW2NlEIB3AVKfyDVMCJphQmVADGNs1QKPRegEplLy8M4kqOMw7SIJUtZArsxpYo4JZ0Cn0orsGsrRBDKEWfQCGN0MI84E0kkOc6SICWdhwPwDmkh+4dhRCnJO44ygUDMDwGryqZAC2lE5gPyDiWn4EXCjPZ7IOM4lSaVZaBOYj8rolQpKYO9ZEo6jIsizXPZpiiEzDXFIscdGZoFCJy0AFqC/aBULJh5Ggu5D85i1Ew0AMUllMZLkjjG7CW0AOMAg6ausyLIJcU4Dwq0YRSCSElXQDtKiryQmGkipHWKJJGFIAMzJh4jHGqi6BSRVC90HCdUDfYvEjWTBAwxJAEhs0WmzCchrQNv4JAKUlAWx0UshQ6SCpX5gfTBpIkUTJE0IvsAkyjkJIBpmmRKfyLJRUqyTIUopLCCJE5R6iEmLrOMkglg2bGQksnjNCXbhX1PBFNUdpSCgSn2YfedSksCGFkH0Cwi5RtgToMGZfJXxGo+ZHkRBqkSWAH2LRUIwk6kHLIcVCglGsHwAjlQEGIq5JQADxEpQwKWlccScRhJnsDjhcpFoE1G0qZSSimiQqB9EiuPCOYl88dgKwFhpiCRgIwTDCSMir27EfDfeFGUvO7tanlbbqol/G+xY+9ZDjkY9ILBpN3zbZfdJiro1iUxoPP43Gq/xNfrT846MMFgBK8WTymkRwQb++3wk7UyKGTv//D6buu2vH2ojq/X26rt3VX3/vRx9Q2Y7Pn35e1mte751ffH9t88H/7Jy8JE/xOsehMCfnuYwX4LkPxXCMf4ciLR8d/sHm+otpCG/79+yBUWvc6x6stUytc9FdjNMV1QHtCFZyTsH2G/EBxO2orLzXa9VMQPjhI2ics7GmfZ8296/jc1RmD4xn917JfMqiJY+l2/ddMv251vngPu+62yf4Pgg52Vqq/Ftuc/9fz5quc/zFSPv/rj1Xx2N9s860vceO+49eR3/LCK0ra/WfnlUl/07eEGlkZ3W85hD3vzDFhhPiBS9R1KZwstSUSSjpRKGUi9kX4kJNyBiCYEbw1/wXvO63L5uWplbUezX/zf/MhVKaln22+hRjBGmvS/tDvAFmADX6/8nYpqXlfKntDuJ6xqqNhHu9v60jdEkITB+Sa51xHYRLJ4DEGW7KVFlRiPcZXwaYRQim0kiNMYJzQ4ic3upN02Xd/N8Mr6bYXB26r/iE0fQTjzlSL62H+YSeArULyhQoJmKj+guaZ0JIUGT55WbjvTbD77Ws1nD6vVHU/No5YqdOEvxpqTzo/Oj7YlK5hc3NDAwUy6x/43fg/pvfPIQ4VOypsahrTYto8WW0YVEvWuI8ktEDE8KgPPbrawm9UVuEaqERpPzapFT1X2gRwJQqK+8vFdy8FsKyY/8Wb1plrPwFVY8291UwP9x9Wmh58qTGXpZkYX2r+C55utawDU4NiWWLF9xpcfFbsIsOXj4z3uDuFEWCM+gRU4jDLuk9SWNQZS5grAmqmO1mIfmJPKA+vheqPlPvDd1n0S+85ElSORloTo9OWAJrLXb8sZWD7WFbmU2bKlpQG4zd2bZcJyYF0ambXvn3RailpfTx6nCekFOjrkKb2f0ZbWNqVPHebkIwjyxJAnRzR/PnpNrGcT+SlvQBs/q2iI/r5CjwC6o2Vl+ywNF3RlKweRiAmTu2joYblaL8q5Miw2CWjXZgNw2red/txmLuKRQ665Os/uttQxTlzJRXPSS/5mdSWN2d7AT7qaQkcXnGZfUTFHracutW/2TV7AWqVR5pKFnv8VAqUnHhG+7jhF7UekqpzqSo0IvIA9nM1qU86naIVP6DRV4kE2Qc9cdaojhSM9WrWscdE+5pBpx/n+OIKSk7SYSGadpIWaDKu7uxpXAEm3gzRMGmNyxCu6YsIYHromaUGc5bBMiMh2jrneZDcm3gH/sLdxMzcysUKOZrTxbXa3ecCvfx5m/fnKiNhdJsFZSldqLZQQO8iVkqKF/UvlD5qJSN0slqhGFQksyhqlSBwctehPV8WHECy0Ld0QmY78Y4RJzclnc9LH9gySulvN2js6JgwCPK5XN4CKcO4U32RfX6fl+oamgG1UCwVtWD4tWNRCNl5UEBG6WMZlEYkedS+Rb6rNt6pa6gUYq/sa3ajmqVzPlGqwZceeX9Rv17wT5Y72jF1Cb1SqLvVfsxrqTl7plQ9XD2tJZCaseicugIH3DJ4c5aG1v96sy80Uv6hsjXHS9fzvQc9/DkzcPawxtNXRN0h5OX92vsCkjwLpczdQ6uzzEj+hhLB7jp/H0WeeYxl3jz8FE8mzPleYKHh4AB5NGtuo8acEQc/B0fcARQXPPYGfm6rXLVNFzEna68qsUSnT97o232n6B/OeNCoxtWwGEP2spa7cWaahLsY6HK6tV1tEPVdgP9VueQ/RnVbvrJ5SrFYuVtvlZvrdlAC2mS0qcBaLx56vvvfFel18VjYBUcHTFNfrY9Ipw2DNJlioorSy3kw3NYHERPm2dXWLX3ASMFI7qtsNvcaK1EO5sQcPNrUoCZBqugt6zXT9j4re84laor5PK9WikKBbHKBkTfGL3whLgOp1CzNljZ+B0mJF2lHUyesfs2z6elxggAYIdqjBu/uPZfVtCgH2o02FG5jQSGH9zWvEllP8rnoPA97+GNRqRUayPwZdbOeNRdkcx4JtKRptOwRj3b063l0Dm9rVvrxlgCao7UDfP9nB3lTzFY7XeEtDwW15oMe+bI+xHRV+M/H8/o0hWl/HlYQ5it4nCTK3RgM+rN7XQhtko5E50T4gb2m0ln/D9dw2iUNbktmSbBttgWgcNS2Cz34bOww5s+DZYSzJYheJOvGxU81k3HmEPFiQnr1icRs9Pd2sCu1CjnVlo5Z2Jcfsmo6Mv0LR8UtzeUDnoiecdDT7dqjKBZk9qtyiGL+H+Tryooqm8n2E+rlckO+xdgx6//IzSwQU1XIfP/jJ+IwmuGHJnTcuQkeSarBJe2GqYcd2C/s7TJE11llnE3g47v3s7Hr1/O6ZOFgfV0/azfQTicadQdZRNpD4bE04uVaIibNZ3y8ojW/UTOaFzqS2oy+px3aXY86+VmK7faQC4aY1WHEkQnr+LSZELb+wV559a3DWSfyE86Mq5FQq7CPt9hH1qW30p8mtcg44KpAwV1EmrELdYuf6ysTNLpmdOSndnnXGLOpygSN7UwJJGc4/Pq5gG+YCTR6K1bLFpU/b6KuGeu5CueC6Cgbo/xzUsOSjhS0Nh20sbx8dRIs/HB62c4wI3l3Ke4VJ93omBxJHxDirmyadO1CjAWNUn0tiaVF+b1Fwg962cR1IziJ9HUhNIMkdLCOOrTHJvTXkDjf+b8eEs+Pj8A9PDeqh3VUj6NCrpmKEifZBaQx5x2mydyE6NGlAXqEcnGl/KCcn5wY6GCipJtcNf6KDQyNH62IY5lbcNcuu3E1J0cD2JJoILl3qvpG6mSfC+1nGqemSDyad2FU31WUQL89PJ13ZPwMvRh/VrqH8Bks+REfoYVSMb9bJZ3udfP65i8Fguec76zhsdqdq797IHu9BVuaks8nkzHtmOe2ZBXQnqaz3KmYkbWfvZHXi7JuQBSUBOXqyIU1DBl/unTi2BtnklVyT3EuLtnVv6wdDFxp0VPxs3fKTRq6vTk2c0E6O63DwjHTNexc7MxG6S2s3erbJcOhN/LoxvBzD4Zj4GJ8dFQ1blyNhVtGIbbNtojSi5WP609GB8p8Q28HZoSZjjh+VySW29cZPraVoZ//vhVQ2R9pQMhE6y5v3larUUSjOeKDOGU0TgWnhTzKVayZnKv6zLe9QLLeNOhgFyto90oZFMhg4yxHlMnAYVO6Gg16axYO2jZJO8ISgpYj3CdI+Inxn12JYxKUqGPQIsdto1xlkoUiLFG8wBRneMApTd/NjD+inlMKBKBIRB1kS5SKNwiBNFCm9RTCbmq4TbTqXV3WmeD37jL91NTW7GhdsmaYlXr7OuH9dW8u1mxI/fIQBG80pJxmimKswFzc1KYoocoIcSexQmKO62ptb0olYpn6Iis3A3kzUwfRDYy/Jgzyyjrmc256TnQMK/AU18kV2sO/eBgUVNo7OmhdD7UNkSzD4p2P6aOxQDdxt6mhqx+99q2afH6y7G32zzO2E0yYolta5Rr8KW2xDQRZsAeuBNa62TpTq9t9tbSpzVtf4y2tKIxU5Vfviq44bzb3XhkoOcsohi+qjvc+6u8c7FPiEHVzFUjJnO8CGstudRjPbPu1UvQb3fLVqa/qOJ6PsKxqCBYxkEGC4tqsobjC07VCznM2ntmHxQZ25LDxp4lsuxNawuUg8saelNB3Tt9WBuWFsXVcgn2XJAwA9m81ew1ntLJJWWyVG5nl/Y5KYao05ICOh+5tSn12ajHPXhNPEeIcC8K6VXCIokOk6UpFg05Mkv6BcMvXS1csu4fEapOHm6wFZaVYW962rYhKJCHEM99NVx3T2NwOKe6s7K89sLyN2vtlZR3QOvK6368qOvKxcqToPfXICM2vbaJrbLoaTn7Lvr5XKoOhvICYdINlVAB4QADuN2EHTZ48ic/goli4S5vCP8vgI71OH6PxQdq9k/7uhkxuGcnOXLHf3F8nWG9jETt2Nz87t+0kXw32usi7g21Q4ujMBoiHfPjLFPXFf/TC7V2uC+/kJmI0mLbfnm81aRs7UhFmyP9bh42S6V3HMg3T10lVUGlKFZ1/3A0QQ+Mp0/FcUs0NXagWeNt0bUsthuuWcDvrQ1av9LGUK1ZAo8sb7YC3cWzcRfpP1Wg6KlDX61apW8m58ADXp0FLgRC3O5l02fWVdsjBfXTQWUquTHcw/26kp9RCJn+zElLQZDdpN6/nqUbnS3Y+S9ruB3Y+UlA7qrwfIabQ/I6e7NXc6Z+oinfl8atJ0Fk5lt4Vm44DaHTNKo2Cy0QNUpVU3qKKRN6iawXrMC05m3E5QDkFlyyh1It/kp4k6dUb96BaUa/iTFnvviMmxYPdkblpehy4lGZkxgmUwPM+AKtIzkjpEz0irQe8wJesro31St6s9w9WBUe6nZca4Q0tGRM6d6sZu9b4qN2CbtfPdjVyL8UvdQR82rxiJCCpR1JQosCMXvSHXlZi50GVea5utDq8C1LgnUxNY7LTCQTN3B+TaLj29WVDsyibWrgGBVsqqE1bpDk/WTigftI9ytVPWo7HCvMat4zBqu7aiZfvpi84HxIMeGn8f/lqV1t7qRiqSP5bqhiKfvPTLPfBi4nDywJzkDUZ+7LYO4u7DxOX2T0YjCXWblB46YdT9AgElj2enb2vooNQfjb3kzS7RMBTAXueHq9w9eCJw8dgtDULdH8C6Nx36RRKrZ3ZHjAmwbulgqhszQMK+KKNPGvFShX0tQN85Iag5J1S3aNwwEu9ayASffa3GnMqoyzI0Ee0LMjoCVjdiTOCL9ywauSq6aaFPb+07LPoCMX6Jfk3+5e0Qf818s17N6fUBf3Rb7hFrwHx8hF0MRBqblV8D8SVmkfAL9F/999ubObzcVfclfiAxq4HSS/Vb3vRT5DpCxzXwfvYd2uN37vSD7+aHvulzENrUmB9y4h+Tlx+H2D/Uvdk+ziv+KXr82OGFk5DD34eyPN4LRJGNXlhfrUxfdOvNujVrEyMz2+6DtvuzUvRhiubkv/JHreE=","port_sha256":"9aa80ce98b31cb18b14192a87a9b6d133e4c9c2d7adc4a51a5f170be95d92fef","differential_test_zb64":"eNrNGdtu2zj23V+hzWBHks3IlzSD1h4VG0w76Dw0U0yD3YfAEGiJttXIlCJKjtUi/77nHFI325l239ZBZIo8Nx6eK31xcfFXKa11nu6scCvCh7Qs5pZnqTDnRbgdC7n31Nb6+Wcrq4ptKi3PG0fxeh0UQhVeVln3SjyWQoZCLb2Li4tBvMvSvLBUpZj1RaWSWUW8E8za8WLLrC1X2yReDYhfBlPwYhmUT/CqFyIRxjue1Avv9GtNWpY74MuVJTMNDhMrXgPLL3ExAO4eUvdiqUReOBOmitxBBk4QrONEBIELALmQhesaYRDZ0Lj7ENzefHz/meHojp4fbujrr88zZgEtXgSxjIt6zNeFyDUdvtsFYbrLRBEXcSo9sd95POIZANTk3//742dEE5vqRq+8jIrvIG+D+zlN4iguqt/M/HnMMM2FBywi0WwJX/6Q63TwyT+rh8GtH8vCQc3xfLO/ny5dK15biZDNnPt2aolECet6Mvj457v3fgM8W57CzjSs/eHGHqi0zEPh6xNosK7OsbjSaJ/GDrIY2Z5KE9t1vVzwCIzuUDjugCs8VQsBrFhaDvJg9h38w/nA8/0uLgoRweg3LqM4AlXb7qCY+GiKXibyNWirlKB4x11YoX+sVMet9e5oyRuWoafKEGxdsdATeZ7mapDlqDfb4AJT3E/orapChGkkXGbjUNnsDPPLYsLWSam2/l1eAheZeYrvxVfn09g2EkSezL7arCbnAwge+apcr4FCy4dFRZXRcgnyvAazVvjyVeSpcl5NYJ/F1ne0CaPW6QB9UpjWOJp6Z+Gunf5wg/rIKtB8u95qdj6w4EN2uOW5BOXURpeBXsOKloG5fnMwKHhJyiN1ZA6vlr1Tdu/tJxFvtoWyl7CZxuccxSCSTCcTDx/wVS+SE+pV1CabeuzNGw+/phMaw9Md7PgBDs6feAtLlbt6mO4FDMAWeJKsePgQHE8ofFnHuSr821SKAe4vUKB5GSmiAM569A5Opfz75cJCqWOewHhAJ6/8bzbPV/Z8wuxcFDxOaIhHFZDTBqoQmaJJxXf6NWgkofkNz4JNEUy7L6/pZVVWGlMkmi7sOACIZkwsVACWSIRh/hk0yPPinHsM1mluQYhHP8u53Ajn1tUH/pN1V8pYbi5pGmBEBCFfpgWctbC2IokuIZfoAAmRDhTCk5JjeLJWSRo+eEQllxs0U6ARpTsvEmteJkUAs84Vne4IeLsEefDXYDWFA9DikDkA4gF/EG+HU0m6cQDBZe0Y3uCjjZPH+XfRZy32dQe38g9DxKcXFW923FDqkvCA2xWD5y8Gy4R8/zTWd3029Pgq1gjH3mqMxuNZJmTkOAdW1aTPhjHx6BueHjlCYAjEX4VjEqiDSfDguqz7DlQBuTXe0Tnql5w4i7Xv6L2LR28VR8FaQHxrZrh6oJm/EzNb+8eujDtbdP3pb0XIUU98pfDUeJ7zyhFr9zJbu8OpeEUgxsPhy9HDWsLcwzncr/b8kd8swAQsLNDrR5QHYfKtN5m69UovMGiQmh7BNQAg/VRHPNgDuNUuw8iRcFU0HhwUFE2kPyHApy2EeUv+OgMb0q6Fn0gkBSc+aGfhNo1D4dxPmf6bsSt2zd4sja57/EY+4TYLaLxDH+svsvzWeCVYLljBpXc9JLs2T8JmekxY6hFKKJptnIIsNklhI7WE8C02IldQa113gCBhaDi/szf86Eh4fxr1lrUCW0hZxLIULWMMhzqKGRXSNiFQfWnDFHF1+zxBGOn7pOcVZJqH3uJP1k0ClibBV/FIwi1msUTsIIxT1LKVleViH6elsh7LFKCiPN4LBVkhSZTXowW+wcAbfLEmBYjHf85AATqhZuseaJpEwYHhEwINqxYPEG6qhcrSwq/Ghx4o5Az/dw40jjf1BYlDBLUQbehML4G/+xbPvb9/Eq2sqNhYbKBo5D7BngAd/PbgH8YOUhoTPHhC5T8cyUWyHXzncEmbcTXoglc+beuyWqDkyLSHJpJj0ccgOqjN/fVl0Wn/jewA/COyD78rOwl+eUCZnYq2UTXbOC+7EucFXKVpcuwQs45D1J9HfxfLjjNC2jH+SOJjFoJ0Mr1ymfcGHApyyy+nRECBwPNUkO6uho8LMxrxQ20cWhOdIzohcX6HRNggAWEzGvFqaI4OeD2M4cAblfYtWFfRh7f6zCvzzesJDjNHTvmnFFCEyVTGED6bcmyOTZQFbSdkUfDAJE3zOstZQ+s/N+9c74jOLSkXsiGUJym4oTjwsDAUIqs+LIoiWL/QwVBT2CdkWlMo7LpJdO+6hLmndoQfGK8orS17uE9Q22IRBGHrHsPmfjidDIfT1x3cmnwfcU8M9+OpmL5uYVtyfWiKjH7T8DlUERpTMT0Z1YasZnY/Wbbj6ZI1maSdnXUgoG3rH+r5emR/VI+oJ6hSQWaH5PvhmqOxR6g9xB5EJS0wgR0qDX9EmKbq6PQIoA22N7vfm51rd2z27+qFmQGAjf9wndKI/f16pePM3ZKCHII6DitWFjYdp+6oG5Jvdn0HY89hxOzaS+y5ZHazG3veHqxNzWuwwi4DmBbQminouWB+v4OZNbNxo/Y8g1EssxKG96iwISliPusaiZ6bzZdLaDoK6ghVQ/G5J/P/SWl2XINgM4bqh2/jIKYtw1pkUUO94EYn9Qr0Wn6jncvjyq8hV7dlS1LHySyDp3tW2nMt4VLvG1n70D3UoE2X2K6/nZ4sv+4uH/nTSeHa7GwhUTmdWuxYD7rywcLPNMNNL6PPFvTo/u8e2IrXVdlxT3uq1BMI1hFdEzWl2nTi+29aX9P3O7AwmrLG0ZTNGuW3/gazxAvdihkDt/kK7NJmaJzgXgnPFF4SnYsc1IT37oMG/6LrTGiLrVxkCQYP0qRpmxhMCt6UuUctJF3ngo/4E53CMHEAQlsi97GJwv18ibcX51q0XqEdt1TM2aotzwSc5FHJvff1+n3cT1Irxk9DMob3fwB/hsGd7enY4cwZ3g3B4/oo8dQbHPmrkY664LZlLpuFAQRcCr/KRF4SBWoUVvmmPQaOA6NagKn1OnUH5xMJUfbPIOBtwwJ6B+gIAkR8ITXkQpVJN2JD/L0Fs8Lc2LnguR1ik4Kh1/Tw1IH0ILpWN+/YIjTgdBXM81ilsrs2nGnrhGSEbXqA1/giRyF0HqgNdie4fBFIh+ex06EKWQMOPxcBWXowCSZTDYsmfwzZhJLzKL1YPu5uCzMdSAPTG53paAYJlgreMD+iA/cSpgnTf0ho04p4g53dSoD5CouHocgKjoSABDLjG6CiAwa6uYgCckd7ru+hzByEr3pmdHsJAQH9MzBXtSA/Vf+t90CLrX82CaCdBuso4fx1t9Oa/jkYVGkG/Oz5N9ssFmlAvEztAam5U4lQ3g5MvdWCdEosdkyn0a0OiQTVMZbxy+S/h9njalxCe0zXgPGW3PjjcEoK7oM2m+g41YvkepIcUx6fo1CHCBAcR8x+4vmuPshAHMKkjFD/GIefcTVJWpFeDN7PA+fTeG3TD2Tf8KL8Ofh2++zhlbftek95XAh9u02X4FG5y5SjQwKLZQQi+9AqLsyvAPgjgAmuMqtsBuHGNb82/A16L3/8FwmyAis=","differential_test_sha256":"32345abab9b1ea77ebe084b02e1c4b7bb692b5202af7c62572e36f96d3e2cb5b","tests_zb64":"eNrFV91v2zYQf89fIWAPklCGlZTE+YIeuq5bgWLFsBV7MQyCls42Z0rUSMquM+x/35GWbclx3KJ7qIBYInmfvzveXUTVKG2Dv4yqSSOKpQRioWpmAj/aWlgLxl7MtKqChtuFFNNAbDl+w+VF9123VbMJuAnqZrdVVHz3ueC6BmOIWxAjqouLQnJjgg/CfkLpJtrpoW75lhuIHy4CfEqYBW6frUHMF9Ywrdq6tFo0kQE566jcs847JbQjjZwy+uk9e/8m3lM5JoqaQdt3f7dcRhLqaB2T9Co5ENUNdTpFPe9IGdeabxh4jmM1u3WjpCg2KCwm64OsYsHrOZT5mhaq2UTxY7cxvkwnr3KanrLso+qM24mGSlhmUH4prNNATh90ouN4CJ2x3AITSMatUPUxcDxHf59AKxNdJ/HjdLDcU3kwjdXcMoGxijg5wEvSJKHuB1/x4zHl9CXKU7L5zIIeCv+kWyA0Jff0nqSe2S3u7/F1Jq7TcTqaEGfPsyM+Tm8nKOok9y8auDdhxz/EsuGaSwmSaWi0KttCTIV02B+BagBKk2sXj2iUXDmHiX+no7iHPF4FqtuaVbze9PKVeHaSOmcP5NMvkGdD8vNZzMn0LKmUhVQGEIcHkkyIe2HCulc2IdoqmWMguXuncJlmZyLxktFjjEFMzYI3QKKEXMfPoBYaypPZ6h2JxuMrSm4ouczohIzx4w6/r+hk0oesR43Jc72lIOOMkhF+Xw+o9b6EdLoRJDJOMQzZ5IyDehxWwGtWitksnJCM3pxIOiQygKd4eFbSWmljb5Bw7BR7z9KMDL06xafBciFZCdLycPIKd7ie7pZkaOIR0Bp/OMZ8LexCtVgvgOticQw8mBwLOn3765t3KyVbV0n+cFcW5pvoTOV1N7cUhcW9xognyNORT9c8S7JRkiUpWYGeYqbll/dxz0W+QpptN6Il9hYTgYkfdT13EcV7VaqKzqErblhW8TY2ynBpcjCIzTLqhRVMWx2kScVLE3kF8eNBmNkLQyVfe4v2WkmnZKv6TKhcPpptRu6Z97cAsXGN6MD+Q/BRBTNhHboBrLhsfQk3D4FdCBMI7NPBtBWyNAHfN1ncDkoF2IqVDbbBpC8bhHAV2FMtytIkOUqNmQZ4AoYIMVUXgD9yw+Yt18/upUueYDc2YBd3fZ/rzU94jwqr9CYqhc7dwBAx5kgYi/GWaaht7KaGmZIl6IM43xa29NsjbJxN3rwOfYhos5ThgLZo6FqjC2y6QcOjQeL49Jv2hohzkwKZQw3ao5wnxHNVCtuY0ljw4l5o3LOTs4UpKhqCFuKk9AR1OKQsueW5m7C69IsOhK/DzgzqzsOYYgcqmYXPNjpS9yx2Tup4x47X/IxfFEu1MM9E+rD15P7OhUH8/sRMg3daKx0/fL2TA6cWGDasJtTXFijRr22AvGOhm/d8igUV10vQ4Teb1enp6ca+iQunewvoMKWxZuFYUs/Z3E1F3ymXVy6V8TqL0mfa1tABw6oPl0+cXjI7003+z/JhW1kdRmX+M1YSiFG7DpaBqINx+CYk4Y/49zac/Bt/e+A9Yg7fYgHFslGitg5jrNwvpqe3JTriiSl8Fm7Yj581IC6ZawpMYTOQvPleYXEGNxpWQrXmdOIeR8IT5bdZ4ie8Oh9d/w+gHQ6Rl5Um5M4lsevX4DxgNa+gn89nQT/B1nPnhSj4i2hZoeqZmLNS8zVTGmE5DoPudWBk5q3ECNbz6NaP9ckXJsGBlj0PiWZYF22kKRYGzOAqSu8pyXBGj8nxCR2R0/so6O4uI9TBl9zFLhAXYhYwDwJjeR4ydFLUjIUP+/833QbOCv8BdEvJgQ==","tests_sha256":"2ff44560ef5b8ee5d5e1c32daf4e2c63b05fb858b9a4646640884fc66ca22bcd","code_zb64":"eNrdPFt32zaT7/kVbB96RJu0eb9YlnyU2Gl91kn8xe7XdnuyPpRE20wkUSUp20mb/76DKwEQlJVvT142D44IYAaDuWEwuBweGleXp7/bF8UsX9W5fT7PV01xW+TVkfHm/PrFusrulplRl4tiXjSfjf9xDpIDLxi+eFEs12XVGH9P3ry5aqqsye8+v8zq/KtxW5VL48eDQ6XiAHD8OORg11U2z89Xt2ULcC5A0NYvZuUKSmaNwSqMojYUzMbfLwz4tylWjRdGBoDUTbZqjLOLyeXV2enNq8mlMTKSob7V1fnPbycXN9e/vD+7+uXdxSk0/W1yahwaUej0gJyev785PXs1+QPaxqGj/OsBmry65kChvyPQ1fl/n3071PW73zlQ6u7c1c9vJhwsSncEu5i8eXnawqXpt4zs5cXZ21MOm3jJ7uOTQUN3dyHIkGkS7gZ6+cvk+mZyAf8BlBc73wp18/7senJ+gXj77bBXkzdnAOl6O4K+P/v32fvrm18BZpsSn7+5RBx58+vFNbQMelr+PLk+uyHqQVvGHTr6enlz/vYGwQPQztr7fnJ6doNl/O7dFerOBxEZe8bLy6s+ZbqeXJzdTK4BFIbzGv4iZjnhzty6pk6CWL4fblE8sWG4dQjvJ9fn73ZqT42INHWTXaV8dX12efPq3a9vGflRnwhfTq7Obl6fITEE2zmJxfzq3dlrpOXOtzkBCuZ6W7t4ffHutxts/rR9kATbITDbSVv/GU1ATf/16+SU04J0YCsE0hjaOHWTwN/aGBkNZ86zLQW63Z00WEAfgV/aQVJCF88ZCfI+N//1FitBtEvbq4t3l2c3l+/fXZ+9QmaY7mzBLTS1SeTdNdaIwW83q1lTlCsju23y6nxVNEW2KL7kA4a3IEW/W4ZS8odp5E8As8oWRvmQV1Uxz40qbzbVqjYYOIcyaZyA/tWLsqn/dD4AXcw0hrTQ1RX6H4gNDw0FRYgqGIHG2HCME+NxXjwMGIkWrzWNI6oGCJGCJ0J4UplFrPMY1SVdW6TVyQeNqar4XUxo0EFi/MMZNVBxmMbxseFGjslZg9mQOl6o0uAGqIaxROASkYYxYAy1OGtNQuJXnRJcPWbrAY8QjVm2WMyzJjMaVPQfC51pz7rKH14W89d5zml2gGaxelJ/EqtdoXqR1c11DVWoIAoGpIX3wRx2OpoX1VUDYSrH4wt4IKg9g8iaVQUiBb9kjcjODuK6gKBcbBRJBC6nc6k2FmprsCyxLtGgb8onkbRUBG/yNRbMq3KzarG4wMAXejJfl9VrYBlqSqnudngLDUSiQJ26jUBD8qrJ4Otz29DXcmeRY9qwuhw0xTIHv7Rcg3lS4Z10qmxWdWQItjMtywUsON7mj1cw7i0YW5Di1hhwCFH7RArzRbau8/n77FGD0+7g1IACnIBkLK11TqSvI6GhjFJQz5t5Pss+vwK25VU+H7Aaq13qWAyNKSPhavy43CwG5Msybtbl42/ZfMAXPS24At/qI0ZAP1sM7QqoFwVXV4yBfLUI+GKoFx6JTNFr5Mh/+klmsaNKUxQLMbrzFVZ0FRv2+CbEf32SYFQIWMZCUGjK6NuKLhbR+DE7eIElLdVMY1+sR5gtHKTacjO5h6/S1+GhcVmVs7yujYesKjKwT7Q6X1flOrsD7ZnD1Fcj79zc5wZKL5SgW8ZmDa48P+hIQDTvseGqU5Fs/W7fbIdVSvVRQv3XF7Jx3xZV3ZyvqHmrkBIody/rsnUuVV7n1UMuTf1SDaid3BKFAWvJC6LRE5c/QkrGvD90o/Gpt3n+K7F/graoX24+Q8/CpHYkTGFd8u+yJTYWhugYi/2ECp+VHulGvj5frhdFPpdJpwgx7X/zNmwEgs7kC5SrEVvIQyAOAIAsQiTiFGaoWDYURQgaeHUEWnabV0ZmrEobI4QCcGMPEB/MsEMjCSakhMixGuuybmhDhPhAP3/M8isIO3Ia9kkDFnUGnASdbkBn+9z9HZ78cCvbcLvO544Ao2au3us/0iWkzd1aNx4EDpl66JrPl94HYzzmy0TJAVIJorayekohPvJuRE7MXbSKh30KlpdYR/TQRO7P63Y7M8akP6r3+9RtPVrQl01qZCisRbit3bYl38asM7mokoRGGMbXsO/R1PoJvUwh4qScEk0/m9anxe3tgOk4ocyk/8lWJWLLFut7bJSCap2IKaejbiZJjwlYfnmfNVopYo9X57BOm19WBXaNP6jK3PGArg5HtsxPiwoRnIE4hqS0XK/Fwq6KtT3rplKMY7P2EOnMRYx1w5BCbLeNBb0P+lkV2vxAvVNLOCpFozPRX+h12JL/A201VOY7Pg5SbXKpKYm6bXOm4j8wTYx6zcBBCVyQvaeSwvVmnq2b4iH/mYRxNIQiYbalJu40YY8Ef8yzdaaKmFUosR8dPwn90IclmZwaKmqIFcu2AiNqkc0djyQ8eMoRwp01HjgxdEwRD3RakyTlQ41kqAqAHfAE6jNxH5hbq4BujwKiRmPRy1HhMsqgmrg6i/drdjG1jm/E/B0fMvG1veDP6aCWasTtMcuNmtTh0c8udcKSVNFCYWOBCwOQMSmJ1X1Uy1P+OZrUi7JCJGXFwqjKTVOs7oz8rw1OHNUoirGz+cdNjYLQZVbdFShbsK4KCFYPpOhhM60BDM3MOCKoIXaASAJ5QWOWrVYQ6U1J/EqzOEZWTQtoepfT4EWKDFRvyqKpseHTfBsqJQGTRrGYUq3KapktrsQ4E8dIHabTWacTODHesl7NDuRRB1KB4PGWBNo1tZQmtGB6d1GcTgXcDsGCcqnJsEesr9gKIavrzTKf23MoQHuOKGDDAj8w3pZC8gcCu02zqZBs1pum7gZyICtYoEyzabEAPG2/A5pvsMRVhaU0N9GymHc9uGS/zlFnA4krenStwyEMliMwS+YrD6IsIWiyxHiAesfGEjVCxiIvPLpLkmyJJnV1RfIHjks4InF1LKb9hLF1GuDsH+WCJp2EenufNUWpLpu+kUY5DBfQjtUdF1PuVKkVllUdROp2cJ+Nrjf1PRsOgd1Tt9S6ExgGGlNbCEyGhH532wuS1nlpIYHDf+5jpD2BEGs0NjyWlBBweGpqGtsoXbbt1PmYjOikLbFJSSfw/bpDEknZrOW+peU581pqy91STOoW9JYOOk010S3tZUz42nYqsfTrC122dctKgviO/lUEVhPAMGabkyZFSD/blvo0mbKX3vKgfGKDV5toE8ZXxR1yyiPajbbNRbHKs0pb9a9NNq+A47PhM+uudTb7lM8nq9l9WbWRV/RBvxqqNqs3ebZqs/UieN9qOQO/zXNHUn99a2cB4tiIYrBsoWh/X2PYRBYQ5VMKTU4qrIBptc3qDgVsmsUwg4T18ID+tgmGLZCccQanAe0FSUOBsQTdXCuRIpodM8yVlzArzVnHlsEUK3a9KI0cN0icOAqdxI26qLjUn8XmemnoBU4c+okX+a4ThZEcSLzozf4pBfviilab+pW31c0uRrmBJklXVgUOOS9wchUgeBZ22GlzBY4C54ewv1CmJj+AQUdxmrqpH7iJ7wTb4kaiq68X5WNrGWGfZRDXjT4TZ9BC9hjFjA690x7ZROL0QC1BhnR8WkC8udhd5mHS8IqdUhn0HEQQodq+MKTQtfcsbO+GjTiYgmTfCScOaTSmn2gLksH32SRLQX3dBKskldDxu3JFYk+c6Es7R6qsNuUYBTBfwJ8jWqRZNlbCarvCq2zeC3f2BUv/221dF9Osm07vTuU8Y5kXd/dNJ6WF+pDjbKC9w5NW66oqn8Ei7jeGjaDtStBDYve2iW9Z1DVaJVJW0KUZeBZwUr6TJI6fRq6fBl6aJImplyvDAaJV/sWRKfTQrdVxszM2vCLDX0QYFOHWxTwRyv5Ixadn6AI890rgAupFp2CECqVjwaRupthNsxLLEEMm1ompnXHCDyOskjDZzNg0Aw4EffMO2LmDvswrrPrfd9TajyI/QQ4zdX2YKdwo2YqAOQfsL0AzWcB2RHDyoblJ4nugGmHiuikoB/hgBa+450YZ0+66tdRaXWfeG6hSNCxUbSnejuRrd7sIPC0dqbodSJFrwrlbfKq2PQXD3ER7OMzi+R7uQ4QzYFbLEl4tn/qyOGG67t8UaHOIUEHB2Tknq41ATLGOn/myePjKgwtLCjVMDsdOfll0/SGQwkhA/0mDb+lQslwtWaYwh4uqIQcFQ0HaYiigPUVymj8MWfZ+sbiERXG9qXI5jGkXYSMy6fxNIcUFmk0OMYlY8CJ2k2s26jg4WQYwJB1wugegWdrUn/JHpnnsbJtF8XIxiCflKFtJC6tdV5gaNZnifIlwoEbZ8CRbDi2l6uQwZUeAqJQRsUrCmp0Cwi3GZDgn5MsmX9JaTLtWlpHoupEJ2aGb5/am6iZb5J1MXefIcput4wms7rZY3yIJdXGNF5qa5SojwBR+6s5cUBzC2lXA21nAdvq/ui9u+SDlE5QWx9QzgKzB9wokFC1SS3OkWDcClKIdj9pB6ra1mHTpj32B9m5UwLWF/hjLhJ6wclsu7+ZX+tI2agfbyVGJ75BDy58l53nlxe4NhxGTBdg8Ph8gJsDw7iTlN8mD/AMhww+6Fse6fWOeT6Pot8WKuN3Lsqy5aiiH0sWApydWVPcCBJxo4UPT7HJXrFiPUc4GahSrxaXbuqRevasA/WBase3sV2cw+63h5+BmVi7XqPU1RDG/Fc391aJc54MpTXh3DxurJ7Q4zc+hzGjevHsCWUS53U//B330kP1/4YSO7BcvdtzCw1u7zIFQKkAFuRHzXZ6WRN/RqR7mE8LW2j9BC9h4By02zsMuNoX4rfiiLr6OYXDKto4z6o6TY+rxQ8QF4E2PZb4sq8/G6kmZQlaz+xylMTQeZPVETpXTI9U8St5DJ9YO3dz1bFeXhaCwrgDbxtB73vOQntQriez3wl369AVImjbcDTAQAGkEvRtgKACyqNJ8Bozvjd5LUY0mqNmXQppnIxpKE06EDhgDYRYxbfqxujfxuMi/w7ZUiycWudnOEZwxPZOF5NsZGhv/0HaTiLyX9y130Zb0QyczQ5G5LDQ8MmylSK+xoroLe4RIntF2XXcllUXpq3EChCRtNmuPwh8megyi0m+E//mxfDf6YJq7aOVtWfHLA8aqGDnDVXHs+vB3f18XKRDBDYCIVfFhHDCmke9R0NeNBHZsq3B2L2B3Oqe6atxPLfYrw3vW93k2hx50YQkd3rTlGvGL5v79dM/V50dFwExQOnKsb/8+2wbI3e5qeoySLA7IdrCajimSN5Pf8VUQqKE/oZ4JcjU1zS0B8ioTMGa7YczMXY6YCJeD2BpTuBpEl5ntdv6IrgPIdonxj3qgX90tx/5WWEzT6x8INXaiQ/FqkXz6TbgrxC9TiJeEhG0G4W4Q31qQ0WAfQHfr2mscnQ0TYaJkl3lYuEJ1gF/kUa7yEE3szqdPJjmhi8/koBQCv73DVvZMozPp+k7PtIu0OQqDyGHGY2T44l8QuH6qzfgT5F/k0i8IKAiiwEsgJh4M7MCLwhCCBTSjo5XywPWTNE1cXOSSIjvwQ8fzcJFHijzXd1M/xUU+beX5ThzFCS4LaJnrB7FLkIWsKIxguiLYIlKW+InnEsCYtvKTKI7wPUU0DdAOkjj0YlyUMmRBElNaBfo9MiKX0h8GsZOQDsGZmuC09Vskgy/H4KW+gFtkgdfgS+v1vugd3hTvZYa+F0SIkC8mkgwq8vw49mhRRwYwliCKogALIQmchPKNDcIBLoWRKAQ3dUI3ikUhBH4QJFR6VAhukLohvrTJZZC4vhclogjcwPFTSQC2G6HdS1kCQeDFqSgAL3FiSifjvxeB4EJJAHbk+SETCpeA7wTxd5WA7cZJ6jqRJANQNg8MxO+Tgg+McMMUS8Hz/TQMU0kMqRe7lFPMFlxgcRSlkhyQKQSiGLzA8xzfF8UAvIxBJWRTSMA6ElEQHtrGk03Bc1NksZIluNCj4weyKOIwSWVJuCCHMJJFAbBe5EfB9xVGnKaBbA42uBUX65NWElGUuKFPfJIb+BEYgCgJ2wvCOA5FSYRumviSHMCOnDSSfBIoRBwlkj0AYakju6QAHITri3JwAzdkRTG3kSCOqGuhgkg8cEiSR4JhBL6niCFwozRIFTHEYeBQa/puYvBToFBxS4EPetgrhjhF7EJiAB8ELk1yS6BQHb/kR6nnuJJfsmMYr+PLk0MQe6EfSpNDHDqRp1iE5wdR6su+CUTvUy2OmeeLvVSaHCKQoeyaYG70I1+WhA+26yqzg+cnbvydzcGPEy/FjqQVBHDaScM+QbigSF5MJQF+I6BDYSOJY/DFsSiIOEWikOTgxhGYeix7phQkLE3SgB5ok+SQQHzgR5IUkE+nHocZhAdjciNpioCwIAo8UQ4+0K74JfC5QRg58gwBkYz/va0B1EidIILU98Kgd5Z2oJpKwfZgdoAQRBRDHKdOEsmxUuKkiSwGmA0i5ryYGGCOTClbAoYrCmmQxawBevQcRxJDDBO8ND24PtJoySsBDalPXSOVAvA7CBM5UIJwAkxS9kqeBxrjfueJGmiLvESRA9hqFPVaA7hZqMViwBqWxopfikPm1JlZh77j0tmACgI0MUgDX5kg4tilsysPWkFPYN6XRAHRUeTLUwRMBmksuSUIT8NYFgV4vcSLRFFAoAiGE8iOyXMgtmf2zCI+B7Qt/r5xK6h35IeSKFKwYUc3QUyNQ34nFTUWvpS9efW5A+nUm3hsqn3s4iFbbPL281Pv6knz5AHKLX1CJxzwjjBdv2GE8j4pLkI7K0tyFpE0XOLziCTbhlvYmLJPuqcO8kXDz5aiVjYhW2xLsZKmxwT7Cf7PJmV824hyqW6qzawx5KP3mgcdlpt2F/hBOGE3rYfSrV3pjYcrfL9Ws6ks7SgPhWvCQ+WFAVo33XyWn1dgY5AF3XeV4PlVsfqmhfZxCyTFp4Plhh5/Iz/hv1oaJmn1ANx3xW1gVCRdqu4yZlEy6T4dUO6RQ0pPB8AzjUbcF2xvuAMAfDVVmjCHdfsYMASSG3RRap/jGm+9lkUv2o84cHKSHLGPblIJjX9fftlkb0Bx2K4mC4VZbQGYObqZZmC67NtalNZ9sfXEFrTaH0mPqGw5v7N8T+44jbBEu1x+EOofhuJ1mgk/j1Y+ruw1311FV/Sz9jo+vhSFTAXdmEaaeqATjMR63RHUASXUYhThVGTLGkSeBUpkGRJ3vsrXp3rUAI9mkaGr3Gt8bxWGQI5EHRjvVovPBjiSgl8KKzcNGeRKHJaKsLzF17pK+ANYgTuW8Vg090b+tF4Us6IRYcW7Lwfa0wS3OCUJpoAvsmOTAG+GNb27C32r7Jr1qzG5RSVgbi9tEcsmFgUIyZUvWLXvaa97qVe+RGgK06Ladj61LuYbTJF06oPQaWEdNS38d8sOTlng02XSqcP2YiDpwWI/tiD61DqYB2R7+xiz7ggszVvSU3VYISnJn0yLMuTBQuOHb2er9TJc3OCdrefvcpVVTwegWJaWUe11iCZb/JuYNPDF03kK1vYLPzeKRpFboAgEXDtHk/t07dliDAnDRkPf/3KYmFaggSvn85o5f4rDwpDqsWzrpqj/qpoBoWAPxRxmx9GjGRKrv3oWSewG/bYChAEiOw2K9sWFDlTSheKTMzpTQmkE3mICu60ei3lzz9h6X9jgtHoENS/Qe2eznHrn40V5siht9PMI68f4vjhB/9v3xZGOni8vwT9yAaI/DCNVkFo3sS6zmo+YQCKCLfx339sDGEuSK26Iu7Lw345MMEL8DMghvsJJO6DfbVvGaoQcsxo11BC4rsqp1A5RgX5o2n6aVFPRjHuVd0kaiiZMTAlh0LUn137YQWU6OyEsFqJPd54wbx7zfKUaLAah8L0my9+/YXvT0IXiWBCZ/MAdKsFt2Gwp+RjaqMXEmlNnRSm16P+qPDkxmmd0BEJ739BhLg4H+wxA5Joa2k6l1UtmcY7yX489wa1uzUK7n45HGTrvRvR3amfWI9qUzmxyR9AG/vaRk4lrqQ0n4sFqg1mrDVOfIc3SkIhujpe3TfvQzKL4lC+K+7KcG9lDWYCdgCWjt4uL1aZoihyikcb4ixxBRn2synmuubBcz0dkAbVhrpQ4qa7G/dlup2Uz4dLcLawvGLaPsOz9eBwPP3a3sLmpjj4e+8Bl6HE88O2PJriPE3BY7PeRi3i+3OwPPto+Kuh5nmb0cTTyT2LvaAA/vH/+gb/BSRDiTxd/hieuA9h6TmMyvzdaUye6Phqskftcq75T8p+jej52TmTPCf7vqOeVlVZKI8lDBnvER1pfVPoeiTwekRSsFrzzBtrsT+fD/uhxiH656Bd5l2bdN9yR/FqMhZx9J2hCyLwWGZl/rbm5NeBYUtSYEItQppu6ZAqWXQq4TuJXW1qsngYrMRnAQhqPOaknpMDmBUdu5yBOJyWiPyMnhNptMqRGVd+aEEHx9/GofQ+V5ztuxePjtKx9NXWfXxxCd2JZsUVp6BkLDbTahw5nTVm19MNq4znqUdC9WTSyh0Ql6tXix3sIi4wBoNQt0NDAUdVPBnv3hmNhgTd8WZRCRRNJIb86RQehbYq7H0vPBvVkvuQnB/mVL1pgCWErtHutMo4+5fcNom9nhIUQAkvYu08c4jeqKEnCzQqqHOhiBFUL3ghfsbBQL9ITM22UQa5nsjAAvVrFh4yBOhMhhpCfaSNlar4MpqXXixIEVcNUg7hRls2RMS0aGyboOwhq6xw9rwExZ50/QKTzNn9sQBLovAewLFsseGLpQJEVmYzYGJ6e19lOaopd6CRjElcyPcc6GCq0XlEOYFbdh9JQH5/xlVIv4a89fSaa6CVDADk+xu9ja97C+UzudStgqC2B8r1eKN9ToFBbAuVGvVBupJIYMaikF0gdFh9U/5jUIfER9Q+oHQ8dhdoSv51VgdY/GYdIzGg4w/+3LfiSHCkhajTUJQOAVQa6DFGBRTbP+b27vHmbLfOB8IwxtqHuW8Z1U6H0HQnzBK/zI0ve3bjOj0g+X1/8L7LqN8g=","code_sha256":"99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe","t_code_zb64":"eNrdPF1X40iu7/wKzzzMiRsH4iSEhJBw0g09w7nQsITenrl7uDlOYsDdSZyxHQI9w3+/Un1/OaR335YHsKsklUqlUkkqmf19b3h9+nv1IpnEizyunk/jRZHcJ3F25F2e3+4ss+hhHnl5OkumSfHi/V9tr71Xb3Z3dpL5Ms0K76/B5eWwyKIifnh5H+Xxq3efpXPv5719o2MPaPzcFWi3WTSNzxf3qUQ4VzAY9M4kXUDLpPB4h5fknkHZ+2vHg59VsijqBy0PUPIiWhTe2cXgenh2OvowuPZ6Xrvrhhqe//ppcDG6/e3mbPjb1cUpgH4ZnHr7XuugVoJyen4zOj37MPgDYA8PasZPCdLgw61AOmhsiTQ8/9+zH8e6vfpdIHXCrYf69XIg0FqdLdEuBpfvTyVep/MjM3t/cfbpVOC26+3t56ejHoTbL4KO2WkfbId6/dvgdjS4gD+AVT+s/SjW6ObsdnB+gbL9cdzh4PIMMMP6lqg3Z/88u7kdfQacTUp8fnmNErn8fHELkM0SyF8Ht2cjqh4M8tDio2yUy/NPI8QHpK2192ZwejYia3x1NcThGrBE3jvv/fWwTJluBxdno8EtoMJ0PsJvFFbtYGtp3TIjQXd+42CD4qmABxuncDO4Pb/aCp5tIgoatrdd5eHt2fXow9XnT5z9VtkSvh8Mz0Yfz3AZmpslSZb5w9XZR9Ty2o8ZAYYW1jcO8fHi6suIbH8G32w3N2MQsVPYxhuagKD/+Dw4FbygDmzEQI1hwJ2w3WxsBMZNI4TzJqTCd7iVBivkW2CXtlgpZYi3Nglan9H/fCJK0NoGdnhxdX02ur65uj37gNuws/UOlthsT6J1d+xGgn6/WkyKJF140X0RZ+eLpEiiWfI9rnC6CW36PfCMlj98L34GnEU089KnOMuSaexlcbHKFrnH0QWWz/wE/MlnaZH/q3YHfPGt0WWNoauxcUf3cNczSBxgB2fQ63s178RbT5OnCmcxEL2+d8TUAAkZdFpIp6OLiA9+iH1tey+y7vadY6ua9EPCaNMi4v0tBFUxafje8bEXtmq+EA0RQ6dWPzB5CJvYw0WiSImuhlfhAg2EaH3K4qtLCYbraFkRHqI3iWazaVREXoFN//aic+1ZZvHT+2T6MY4FzzXgWe0e5N/U7lDpnkV5cZtDFza0mhUKUb/zu9ZA0yQbFuCmCjoNhQ44tWfgWfOupsrBb1GhitMinCfglKtALY3B+Xiq9R4qvTnsLLWv7SBfpM8qax0VvYiXZGE+pKuFpBKCAHfcbH5Ms48gMgRlXNsD3gOAyhSokw0EGhJnRQRvLxKw4ZTOLCa8EXXZK5J5DHZpvoTtyRbvxOqq8q4jT9k74zSdQcDxKV4PYd4bKEqU5N6rCAxV+1QO41m0zOPpTbR20KxaNB2ogKcQ6Wuxzon2dqQA6iQV9RxN40n08gHEFmfxtMJ7AhnqBJyMrxMRaryer2YV+hZ4o2W6/hJNKyLokegGvtRHQoC9SgoyAiolIdSVUKBvkoAIhkrxcckMvUZD/ssvuohr5mqqy0I33fmCKLpJjVh8H/y/spXgXChU+opT6OvkZYdNRd38RByiIdBCNd/bVfuRckCc1KoOpo/wqr3t73vXWTqJ89x7irIkgv2J0fkyS5fRA2jPFI6+HK1z8Rh7mF5IQbe81RJMebxnrYC6vfteaB5F+u4Py047olKmjVL6X3f0zX2fZHlxvmDb28TUUIV5WabSuGRxHmdPsXb0az2gdjokugFLzQri7KnJ76GScesPwzhs6n0cf6b7n5JN8verFxhZOdSOlCPMZv8hmpPNwgkdk2U/YYvPW49cM1+ez5ezJJ7qrDOChPe/BAyfgaIz8QxzNSqEPgVqAAApoEyipIhA1bauuoSggcMj0LL7OPMib5FWCUFoADP2BP7BhBg0mmBCJUTD6i3TvGCASHjPfX5M4iG4HTFz+7QJqzoDRoIdN6CzZeb+gRx+BKrqhbbxeaDICBa6rf6ahZBVYdZsfxAk5Luxc3Fe1u+8fl+EiZoBZCuIsLp6ai4+Wje6TtxcSMUjNoWsl9pH9dBH81e3h514fToe0/tdZrbWAYxVpT06FtEiAluVsPTdm1iHi7mSAERwGg7xrX2nnXCvKXicTFLq1o/G+Wlyf1/hOk4589kffVep1KLZ8pFsSkW1TtSU05GdSXJTApFfP0aFcxWJxctjiNOm11lCTONPpjJbFjB00Yjm8WmSIcMRLEeXtqbLpdpoq5gc2XWUEhqrZR1Z5yai75qG5mKH0hes37lPVYD5iVknyTi24ux8/A2jdiX7PzGornHeiXnQbl+smpGo23RmGvaD8MS5d0wclCCEta+brAi9mUbLInmKf6VuHHOhqJsdmIk7h9uj4R+LbJ1vEuYdhu/H5k9dP3wJtC1nuooOZtW2jcjILe65455Ghxw5iruzJBOnG51wJBwduSVpe9exMkwFYB+IBOobfh9sN6mAYYkCIlBftXJscTln0E1NXSDG9W1K0vD1uL0TU6a2thT9LR10co3S7vPcqM8MHnu1uVNCUkMLlYsFsRhAjK+S2l3GtX7kn+OhnqQZshQlMy9LV0WyePDiP1ckcZSjF1ONpl9XOTqh8yh7SDBbsMwScFb3NO9hNc4BDU9m4hHk4DuAJ4FW0JtEiwV4emPqv7Isjhdl4wRAH2LmvGiegWlNuTfV9xos34at1GFyKBZXqkWazaPZUPUziY9kCZ2dOpbjxGXLR/UtzCML08AQ/paGam+1DktowfEeop/OFlhOIYB2DaRbsqwfeIQQ5flqHk+rU2jAO0d02MiC73mfUiX5A47dqlhluDbLVZHbjhysFQQo42iczICOHLfC8g2BGlUEBriPYbEYunLNn85xsIomFTc5aXCogHUPLNDlKpyoQHGaAtUfYNaxCFSN0KnogYcdkkRzPNTNiOQP4pcIQmp0rKb9lLlZACT7x6TgSCfhaDdRkaRm2PSDPOpuuEK2b964+PqgRq8SVlmEzOvgsj26XOWPfDoU9515pWYfYASpz/ZC0+dE2LsNr6y0y0orCRzxuEuIljhCHKjv1XlSQqFRN1PTZI+ysG2rwft0RieypUpbLMf3dYskknFZK2yLlDm3Wibkdikm8wp6wwAWqMO7ZaP0qVzloJpIX3dc2dYNkQS1HeVRBFEToNDnl5M+I8heJaQ7TWbcpUsZpM988iaIM2E8TB7QKPfYME6Yi2QRR5mz6x+raJqBxCfdN+KuZTT5Fk8Hi8ljmknPq3Xnjoay1eIyjhYyW6+il0XLEdhtkTvSxiuLnRWMY691CDtbadrddWxsuhbg5TMOfcEqRMCsu8r79hVqjmCYY0I8XGHPVUphA6YQnCd4wLsgbSowl6ada6WriKdjRKTyHk6lKR848LhiHYb1VqdVC5vt2mHroNYOWzYpsepvUgvrnYN6s3Z40GjXW42w1jpo6Y7ETmn2z2jYVSNaZ+pXv1b3bYo6gCNJl2YJcTkvSHIVMEQWtmvBDMFQkPwQsRfG0dRowqRbh51O2Gk0w3aj1tzkN1Jd/ThL13JnHJTtDGq68bVdq0jMkk0xYVO34HFPtGslWHNYQzY/JyK5XLTDPMIaidgZl82SQgQVS45FMJWh62/ill7YqJNJaPadSmKfeWPugzahGfwGP2QZasN1wBpJJSy/SxfU9ySJvo5VUhXIlGOrCecF/DpiTY6wMVOi7YxE2WIUYewTnv6vyj6b0sROp9tHuchYxsnDY2GltHAM3c8G3i2ZSK3LsngCQdwXTo2StVewjste37R88yTPMUpkomChGVgWMFKNWrtda3RaYaPTrHfa7bbvXldOA5bW+Dls+coIdq9LmtbcSERG3uhiMIIbg3m6KLs9k55boDOw3AtFCjiKS8EoF8bAypYajYmZ5i2Bp7pMfBDfeeIc3PWISsJhM+HHDBgQfBcD8LqDsswrRP03llo3Wq1GGw1mJ2zASRG22hsJcONA7AVoJnfYjihNMbWw3W7UQTUO2mHYAeUAG2zQVe/cmGDkrZvkNrCNeamjyshwV1VyvJnIq31dBJaWzdS8DmTEHe7cPamqlVUw3EzI4rBA5HuEDVFqwAIpEtGtV30FgjHX8JcJXg5RLhg6r3MKpAfiq32i5isQ7qtwLgLN1fAFHq/8Clj8obDCWcA/2uQlH0aWS7LlK2e4qhq6U9BVVlt1BZxVJKfxU5dn72ezawiK81UW626MDMJ69ND5i2GqAVqVFjGpVEgQu4odF3UCnYYBnIiFzu4AHKFN/i1ec83jtW0BoyuWQa2UY2KlEIGMK3yHmoxJvkQpqDEuPOmVg+TUPBzGvASIrTIyaySseRUQgejT6ZzQtyp902IxZ6ysE3ENozOyxTBv3U3lRTSLrUydVbIss3UigWVfi5UFSTjELQk0HeEqZ8BXHl01F4yGErsqdK0A1hp/+Jjci0nqFZSBoFQygagg3xVoJCTRwFFS7JoBpmj7PTlJ17UWX132sKvwbnsFQlvYQ19n9IS3V/V2O79SlrYxB9jMjsm8xQ5rf5Odt5WXmDfiRgxmsOdJfYCaACO3k0zeNA/yN7gMP7kgjl33xiKfxshv8hUJ3Ps0zYVqGEXpqsNT4iuadwEKTQx8WJpdH4o3uynq2UCHYklarqtLZtVtBShHcy7b1nZ1AqffEh4ro0k6XyL0LXgxX5LicThLl3FlzBLedrGxWaEleH6LZMTy5nYFskpys53+N8YoYfs/kYSL7Z2dLa/wyNUuNyCMC1BBsYnFLY9ksVFzqR6RE1KT+5+SBWpiAElNyNCmZjC/kV7LpmdtDMHZxnm27HkKSq5icO5TKKXgzK2Q1zc9ZvdpegziFqOA07wdIbcnivPEyn2RNHE7u2opuV7toNSGi+JZtShcSSspteAilaST6dzJ7Kws27USZIpgePE2V08qClm4bZRuaxk8NQUkC/efotkqlq/ffFqrRW5n0Zk067hVxcbF/obRGvFuGW+EoO7zkSY8JeY0r0oB5yS3So05gagSzr65yrbjWSHy5AhVpWyrsIwqBT2m1E/InyptE0cgU/wcnOxJ4enXiI7i9PlKerRPSrZwnHe1CkStXn1IagUdDrLmHXeVkseuUS3N+sarF71UnM9BX+iya1EQwDzNXrznt9ZVqICzUB9X8XlvvmKpPPoIf3JtmhTqCaQfqi4tNmkForZgZilf3ec9Jj2acHneA5k5NOIx4X6uhQBy9U2eiIRdNhmmQKTdD9FMCVr9jSUmrGi4J5DbJ+0j/mJ7Cjj/Xf0rjXcVRqMaOpwVIuoA0PzeaBzB1uXvwSwNHpON2SeA2u1pH4RsyEXMb2i9Ro+sqC3lJ6X/qauWBgxEbi1dL6pL4SliuXEkS4tJgQduFaz+RE3dcy2MJnpXOr3CGA04R6QUQIoG2QtAiQJPk86rXgpSogZkNrMIy1KXpAYPpkDTO3ve1WL24oEhSUSBS7oq6CQX6rRMguk9KVFJ4RdQBelAGA2+hRc/L2fJJClUXPUef88ZGd2TcxK2AinKJVsCrBnRdNujvjc8gHI1phUhCmVZgEJ3Nt1RQJCWr1QbtXfO0hWzfEXFZjiS1KZce55MV4QjLYKlfAZER/2A/O5umFRCMmVaBlUWOdERAv6wgdA3aWCecO/tEsqudD47k1mGkCgkY/mbHzCBPAU4f3ivbdy9nJbY8LWNucTYFNXzHihW4BSUvNqF6PKfdEuDXOouS8Fhv4scOM4iDkARKLrzjKa1QfKehGDCtHHqu9/3237QdOCl02nOjT+jERBM84opGCX5n1lRoRy8Q5/Dtww9npBE/c28ijoMPgdNpLAf1hwkZPW4hdW2scThjPEx4xFkSxi0odbJtHjkYn1MqmC0ShZqmuC3m5OYWefjWXoyS6v4eET0o/+YnODf6mNy5OLn+3uwj2IB8RenyBQkdx2s8ygXM6aYyHBAfu/W3wFOoK0rASRDBeS3tSaEIPmkYZ+Uo7EB2LuE5aJG4kTUCOhgcJmlYw0OucAHB+y3QTZWt3Gp8s4poLqF6VZCCi54WsLAL13Y6YRUAuTPlRuNi3UcL8wNS1AYfumWFd/y8OwhDGEYFmRTJA+xhcDw01KzMQxIUuLgzFgxTgP211xPwYzjkyCF0dLvgbiJI84+R1ClZrq2Yy16iQIhUfG0LnFuXTELG37c70WYu6P6O65GwRrLeKIqrXeqgnzL2InUWGolmHgKpDMbSDf1DdYCB4tYBZveF/KjmVnyLZ4lj2k69aKnNIF9AjsZ/w9LslglRRKDN1J4f9LrFBxjkU5jR/FlPu3RAGrFTSk1UrbGYYTMAodoohQA3UN8wal97dW6X48Pu193d0urH3pfjxsgZRixX2lUv/pgPk7AYPHnoxBlPl/tVr5WG9hQ8qlN72uv1zg5rB9V4KH+99/wu3nSPCCvIXk9OAlrQK0ks8ztXm/JjOjyqLJE87k0badmP3v5tF870S0n2L+jki9G5Cr1NAvZfEdtZPDd5G9N12ONqxBIdOt7zsm/ane7vXUXn0J8ot/YLMum29O/fAnQ2FtOExKrS2L0/A2m/kaHY85IE0YCypnr6NI5mNscCJ0kX6BIqnUHVbplgAoF7gtWT2hDVTQchdY1ifk1e0m+T3G1ZTIkx64fTYig/33ck//bQeQ77tWrMNYm/wPEriiCwPo+3hwwHkrmwhwt+dH2pEgzyT9EG29xj073alboFhJbzDLJ9SO4RV4FSLoCNJw4dv3i8W94BBXueMNbwDg0NJE2ijIQNgknKBm+r30C9eoWjf75tChfYQ2B4rYC3EdTcOyz5B9YenkizBQXWKNuf65NvrdjLCm3xEw58JKXqYUAItfFAY6ifS4jvQxaasbdAPwCT0yZIFkHIcHQPzmlbWa+DI6lj7MUFiqHowalkabFkTdOiioc0A/g1OYxfioAPmceP4Gn8yleF7ASmMsEkUWzmUgs7RlrRQ8jPofnt3XWSk3x4jQ6JzWSWUweYyxwKzmiMF551nUssz/6xDFeSHlcvS2+XHuhmlhvdwHl+Jj8rx/Hdz0vtEbVQENYitWol2I16gYWwlKssFWKFbZMFlscq12KZE5LTKp8TuaUxIzKJyTnw2ZhQpLvADPQ+mdvH5cZp9P9r4UQITkqIQJ1XckAEJWHF7sZ7MjiLbv3EBefonlcUf4lC9lD9v9lyYsM03fUzVOszs88eTcKaz/j+rzu/D8Zrh1j","t_code_sha256":"ebd9de9bf6af6e55d5e308fd15dbb88edec11fd684891d02a30aec185acd19b3","params":{"hidden_units":8,"W1":[[-0.042655,1.389981,-0.435022,2.131939,-2.307678,-0.134711,-1.563002,0.838218,-3.867643,-0.287527,-0.014871,0.138925,0.547082],[0.840878,1.015656,1.905167,4.344855,1.49152,0.813268,0.140392,-0.166508,-0.344279,0.280778,-0.262185,-0.623571,0.543047],[2.339559,1.927192,-1.149669,0.419394,2.422033,2.797237,-0.184718,2.200018,2.191446,-1.193034,-0.027589,-1.571561,-1.126364],[-1.436015,-0.245775,0.519839,0.840096,-1.06768,0.941901,-0.447013,1.415013,-1.647625,0.825277,0.681432,-1.416949,-1.754078],[1.014618,-1.515656,3.692017,-0.716903,-2.472535,-0.750627,-1.234693,-1.457361,0.437293,0.064478,-0.154363,-3.496125,0.238174],[1.237463,-0.770777,0.793692,-1.766367,2.499688,1.239927,0.842836,-0.357134,-2.299169,0.131642,0.337489,3.91456,0.554438],[-2.559287,0.779086,-0.480982,-2.426775,2.235989,0.776522,-0.2552,-0.074918,1.361255,-0.489339,0.456458,1.516253,-0.226631],[-3.164297,-1.575901,2.530196,3.744943,-1.077146,-1.736719,-0.508633,1.762971,0.752575,-0.725826,2.462294,-2.054677,1.028772]],"b1":[1.446428,-2.846664,-3.039159,-0.668153,-0.67968,-1.68127,-2.09327,-0.152766],"W2":[[0.532461,-1.789106,-0.079941,-0.398251,-3.782992,-0.373606,-1.339628,0.932635],[0.237721,-1.524133,-0.899179,0.243723,0.796095,-0.493254,-0.436366,0.913103]],"b2":[0.654604,1.544139],"weight_fixed_point_scale":1000000,"feature_fixed_point_scale":1000000,"output_unit_fee":0.0001,"feature_order":["sigmaHat","lambdaHat","sizeHat","toxEma","actEma","direction","(spot-staleHat)/staleHat","signed_trade_ratio","arb_probability","first_in_step","uncertainty","min(silent,8)/8","anchor_mean"],"feature_multipliers":[1000,2,500,500,500,1,500,500,2,2,1000000,1,500],"feature_offsets":[-1,-1,-1,-1,-1,-1,0,0,-1,-1,-1,0,-1],"feature_clip":[-4,4],"hidden_relu_clip":[0,4],"toxicity_anchor":{"count_cap":674,"linear_k_wad":712696014807650816,"quadratic_k_wad":1295240753826310656},"cma":{"seed":21,"population":16,"dimension":130,"initial_sigma":0.2,"W1_initial_rng":"numpy.default_rng(21).normal(0,0.35,104)","other_initial_values":0,"generations":413,"train_seeds":[22000000,22105727],"train_markets_per_generation":256,"monitor_seeds":[30000000,30002047],"monitor_every_generations":10,"selection":"best historical training-block proposal rescored on monitor; retain maximum monitor gain"}},"params_sha256":"3cd7f8ba0317531606be03b8d9367602a4341648b0e9de1a42e6e0ccd650994a","unchanged_HA":{"code":true,"params":true,"emitter_source_equals_original":true,"compiled_bytecode_sha256":"1f28b203eeb71521aef4fd30a725415d9e87216a1120de47f03d36d7f6a9959f"},"hashes":{"ha":{"url":"https://api.imd.fun/artifacts/2801efc8190e86318dd922d4a7179f63684d77a226047fc2f3c78232963eb690","json_sha256":"2801efc8190e86318dd922d4a7179f63684d77a226047fc2f3c78232963eb690","source_sha256":"99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe","source_field":"code"},"t":{"url":"https://api.imd.fun/artifacts/6ac5e013b7b1fb4c5e7bdcdfec0aba28b16824e18ccf39500f258533879faffe","json_sha256":"6ac5e013b7b1fb4c5e7bdcdfec0aba28b16824e18ccf39500f258533879faffe","source_sha256":"ebd9de9bf6af6e55d5e308fd15dbb88edec11fd684891d02a30aec185acd19b3","source_field":"code"},"replica":{"url":"https://api.imd.fun/artifacts/e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea","json_sha256":"e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea","source_sha256":"1e4c44b4bffbdeed65872ee15d46dbde209bf5aa11014329d13d100507b4040c","source_field":"replica_source"},"port":{"url":"https://api.imd.fun/artifacts/d845a4b94eab87f23956fd1939c0135d955df212d1f3037f2a761c178cef7a0e","json_sha256":"d845a4b94eab87f23956fd1939c0135d955df212d1f3037f2a761c178cef7a0e","source_sha256":"9eac3553357528b06eeae3ed8d18283d83401e1968145ceba16be356a147e271","source_field":"port_source"},"RS2_contract":{"source_from":"port artifact contract_source_zlib_base64","source_sha256":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2"},"upstream_differential_test":"006223a8f8c59e547cb52fb9001e45948e485c3a6a24788b8db53772a9938bbb","setup_script":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b"},"dependency_versions":{"amm-challenge":"0.1.0","amm_sim_rs":"0.1.0.post1","certifi":"2026.10.23","charset-normalizer":"3.5.2","cma":"4.5.0","idna":"3.20","llvmlite":"0.50.0","numba":"0.68.1","numpy":"2.5.4","packaging":"26.3","py-solc-x":"2.1.0","pyrevm":"0.3.7","python":"3.12.3","requests":"2.34.2","solc":"0.8.24","urllib3":"2.8.0"},"dependency_delivery":{"bundled":false,"required_runtime":"Goal SETUP checkout at 6b6921f8d463314aa7c96234e1be25a25245f704 with its installed dependencies and solc 0.8.24.","limitation":"Only the two requested JSON outputs are delivered. Installed binary dependencies are not embedded; this is not an offline runtime bundle."},"speed":{"n":512,"n_steps":10000,"requested_processes":8,"created_processes":8,"active_processes":8,"seconds":1.2410795730538666,"markets_per_second":412.5440552857908,"warm_compile_excluded":true,"pool_startup_included":true},"gates":{"A":{"passed":true,"threshold_bps":0.01,"HA":{"sequences":50,"swap_callbacks":100000,"initialization_callbacks":50,"fee_comparisons":200100,"max_abs_fee_difference_bps":7.60422131512728e-05,"mean_abs_fee_difference_bps":2.8959305465407583e-06,"share_above_0_01_bps":0.0,"callback_share_above_0_01_bps":0.0,"seed_start":310000,"seed_end":310049,"first_divergence":null,"coverage":{"arb":24108,"retail":75892,"zero_trade_steps":10092,"same_step_callbacks":60031,"gap_gt_1":23993,"gap_gt_8":6494,"buy":50140,"sell":49860,"max_gap":34,"max_trades_per_step":4}},"T":{"sequences":50,"swap_callbacks":100000,"initialization_callbacks":50,"fee_comparisons":200100,"max_abs_fee_difference_bps":1.2216616607219066e-09,"mean_abs_fee_difference_bps":4.959318273918133e-12,"share_above_0_01_bps":0.0,"callback_share_above_0_01_bps":0.0,"seed_start":310000,"seed_end":310049,"first_divergence":null,"coverage":{"arb":23721,"retail":76279,"zero_trade_steps":9862,"same_step_callbacks":60111,"gap_gt_1":23857,"gap_gt_8":6420,"buy":50312,"sell":49688,"max_gap":31,"max_trades_per_step":4}},"RS2":{"sequences":50,"swap_callbacks":100000,"initialization_callbacks":50,"fee_comparisons":200100,"max_abs_fee_difference_bps":1.865105292431224e-09,"mean_abs_fee_difference_bps":5.274328451016615e-12,"share_above_0_01_bps":0.0,"callback_share_above_0_01_bps":0.0,"seed_start":310000,"seed_end":310049,"first_divergence":null,"coverage":{"arb":23644,"retail":76356,"zero_trade_steps":9807,"same_step_callbacks":60148,"gap_gt_1":23829,"gap_gt_8":6404,"buy":50332,"sell":49668,"max_gap":28,"max_trades_per_step":4}}},"B":{"passed":true,"threshold_gain_error":0.15,"reference_real_HA_minus_T":1.257,"replica_HA_minus_T":1.141450774002562,"absolute_gain_error":0.115549225997438,"seeds":[6020000,6020511],"n":512},"C":{"passed":true,"threshold_bps":0.1,"code_sha256":"99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe","frozen_policy":"unchanged HA emitted from params","sequences":50,"swap_callbacks":100000,"initialization_callbacks":50,"fee_comparisons":200100,"max_abs_fee_difference_bps":7.60422131512728e-05,"mean_abs_fee_difference_bps":2.8959305465407583e-06,"share_above_0_01_bps":0.0,"callback_share_above_0_01_bps":0.0,"seed_start":310000,"seed_end":310049,"first_divergence":null,"coverage":{"arb":24108,"retail":75892,"zero_trade_steps":10092,"same_step_callbacks":60031,"gap_gt_1":23993,"gap_gt_8":6494,"buy":50140,"sell":49860,"max_gap":34,"max_trades_per_step":4}}},"restart":{"weights_from":"params.W1 rows, params.b1, params.W2 rows, params.b2 (130 entries)","weight_quantization":1e-06,"es_seed":20260201,"population":16,"sigma0":0.1,"weight_scales":[1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0],"train_markets_per_generation":256,"monitor_every_generations":10,"checkpoint":"trusted local pickle including CMA and numpy RNG state; atomic replacement","curve":"one entry every 10 generations; empty because kit performs no search"},"curve":[],"missing_or_unrun":["Offline binary dependencies not bundled or clean-runtime tested; goal SETUP environment is required.","No actual optimization run, training curve, candidate-vs-HA confirmation, or holdout evaluation: kit role explicitly performs no search."],"seeds":{"differential":[310000,310049],"benchmark":[6010000,6010511],"gate_B":[6020000,6020511],"unit_parallel":[6030000,6030015],"real_probe":[7099000,7099000],"confirmation":[7100000,7100511],"train_reserved":[400000000,409999999],"monitor_reserved":[30000000,30002047],"replica_holdout_reserved":[40000000,40008191],"search_seeds_consumed":0,"monitor_seeds_consumed":0,"holdout_seeds_consumed":0},"replica_validation":{"gate_B":{"n":512,"mean_diff":1.141450774002562,"se":0.04724531432073899,"worst5":[[6020304,-5.577225930296436],[6020177,-2.2362743520841377],[6020319,-1.7082346276455382],[6020317,-1.6019895692272712],[6020429,-1.5199139459144817]],"retail_delta":4.132259885392789,"arb_delta":-2.990809111390226,"seed_start":6020000,"seed_end":6020511,"HA_mean":529.2829680945093,"T_mean":528.1415173205069},"fresh_same_seed_block":{"n":512,"mean_diff":1.1790259373500414,"se":0.04116104852226915,"worst5":[[7100136,-2.1661979009737706],[7100141,-1.8577908753227348],[7100299,-1.4272911674581792],[7100501,-1.376104269920745],[7100386,-1.31856531836047]],"retail_delta":4.074377859661931,"arb_delta":-2.8953519223118898,"seed_start":7100000,"seed_end":7100511,"HA_mean":524.7495879209221,"T_mean":523.570561983572},"rng_caveat":"Replica intentionally uses independent SplitMix64/xorshift64*/Box-Muller/Knuth streams, not Rust Pcg64/Ziggurat. Seeds/configs match, paths do not.","fresh_real_gain_gap":0.008702636898828775,"fresh_real_transfer_passed":true},"real":{"n":512,"seeds":[7100000,7100511],"valid":true,"means":{"T":{"edge":523.670492657263,"retail":549.6880374453842,"arb":-26.017544788120325},"HA":{"edge":524.8408159577154,"retail":553.7972133534323,"arb":-28.95639739571801}},"max_abs_arb_volume_reconstruction_error":9.921409218804911e-05,"vs_T":{"n":512,"mean_diff":1.1703233004512126,"se":0.038156447759340004,"worst5":[[7100443,-1.5163463057523359],[7100094,-1.3738674984641648],[7100097,-1.3417621999839184],[7100461,-1.0196376016823478],[7100360,-0.9764796773863509]],"retail_delta":4.109175908048883,"arb_delta":-2.9388526075976698},"vs_HA":null,"vs_HA_note":"No candidate was searched; real comparison is unchanged HA minus T. No candidate-vs-HA result exists.","protocol":"Each arm separately against 30bps VanillaStrategy using amm_sim_rs.run_batch(bytecode, VanillaStrategy, configs, 8). Fresh ascending confirmation chunks: 8, seven 64s, 56; shared paired seeds, no seed repeated within an arm."},"gas":{"T":[{"role":"Baseline","callback":"afterInitialize","calls":512,"ok":512,"max_ok_gas":21796,"sum_ok_gas":11159552,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":5482062,"ok":5482062,"max_ok_gas":22592,"sum_ok_gas":123691495164,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":512,"ok":512,"max_ok_gas":21526,"sum_ok_gas":11021312,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":512,"ok":512,"max_ok_gas":243115,"sum_ok_gas":124474880,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":5283007,"ok":5283007,"max_ok_gas":225472,"sum_ok_gas":653958022311,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":512,"ok":512,"max_ok_gas":21623,"sum_ok_gas":11070976,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"HA":[{"role":"Baseline","callback":"afterInitialize","calls":512,"ok":512,"max_ok_gas":21796,"sum_ok_gas":11159552,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":5495082,"ok":5495082,"max_ok_gas":22592,"sum_ok_gas":123984557232,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":512,"ok":512,"max_ok_gas":21526,"sum_ok_gas":11021312,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":512,"ok":512,"max_ok_gas":243147,"sum_ok_gas":124491264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":5439770,"ok":5439770,"max_ok_gas":233512,"sum_ok_gas":716466330418,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":512,"ok":512,"max_ok_gas":21654,"sum_ok_gas":11086848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}]},"api":{"port":"strat_init(S,TH,x0,y0); strat_after(S,TH,is_buy,amount_x,amount_y,timestamp,reserve_x,reserve_y). S is a fresh np.zeros(40), real units; TH_T/TH_HA/TH_RS2 select policy. Public TH_VALUES defaults to HA.","sim":"run_market(TH,seed,mean_size,rate,sigma,n_steps); run_many(TH,seeds,procs=8,n_steps=10000) -> float64[n,4] edge,retail_edge,arb_edge,retail_volume.","parameters":"TH_BASE_VALUES preserves RS2 numeric-literal inventory. Only named semantic entries are knobs; L<line>_N<ordinal> entries are raw audit literals, not tunables. TH_NAMES includes appended enable flags and 130 weights. Use HEAD_START for weights.","training":"harness.policy(flat130), harness.weights(TH), harness.emit_solidity(flat130); train refuses failed gates, resumes local checkpoints; freeze selects maximum monitor; holdout is once-only after freeze.","files":{"sim":"sim.py","port":"port.py","harness":"harness.py","differential_test":"diff_test.py","tests":"test_kit.py","code":"HA.sol","t_code":"T.sol"}},"decode_instructions":"For each api.files entry k -> filename: b=zlib.decompress(base64.b64decode(result[k+\"_zb64\"])); assert hashlib.sha256(b).hexdigest()==result[k+\"_sha256\"]; write b to scratch/kit/filename inside the pinned checkout. Decode all seven files as siblings. No network is used by these source files at import/evaluation time once the required SETUP runtime exists.","commands":["git clone https://github.com/benedictbrady/amm-challenge test/scratch/amm-challenge; git checkout 6b6921f8d463314aa7c96234e1be25a25245f704 (inside checkout)","sh scratch/setup.sh (goal script verbatim, once, exit 0)",". scratch/env.sh && python scratch/kit/harness.py speed --n 512 --procs 8 --out scratch/kit/speed.json",". scratch/env.sh && python scratch/kit/harness.py replica --start 6020000 --n 512 --procs 8 --out scratch/kit/B.json",". scratch/env.sh && timeout 470 python scratch/kit/diff_test.py 50 HA",". scratch/env.sh && timeout 470 python scratch/kit/diff_test.py 50 T",". scratch/env.sh && python -c \"import sys;sys.path.insert(0,'scratch/kit');import harness,port;from pathlib import Path;Path('scratch/kit/Emitted.sol').write_text(harness.emit_solidity(harness.weights(port.TH_HA)))\"",". scratch/env.sh && timeout 470 python scratch/kit/diff_test.py 50 Emitted",". scratch/env.sh && timeout 470 python scratch/kit/harness.py real --start START --n COUNT --out scratch/kit/real_START.json (START,COUNT: 7100000,8;7100008,64;7100072,64;7100136,64;7100200,64;7100264,64;7100328,64;7100392,64;7100456,56; one invocation each)",". scratch/env.sh && python scratch/kit/harness.py aggregate --out scratch/kit/real_summary.json scratch/kit/real_7100*.json",". scratch/env.sh && python scratch/kit/harness.py replica --start 7100000 --n 512 --procs 8 --out scratch/kit/replica_fresh.json",". scratch/env.sh && python scratch/kit/test_kit.py"],"future_commands_not_run":[". scratch/env.sh && timeout 470 python scratch/kit/harness.py train --validation RESULT_JSON --checkpoint scratch/search.pkl --generations 1 --procs 8",". scratch/env.sh && python scratch/kit/harness.py freeze --checkpoint scratch/search.pkl --directory scratch/frozen",". scratch/env.sh && timeout 470 python scratch/kit/diff_test.py 50 Candidate scratch/frozen/Candidate.sol scratch/frozen/weights.json",". scratch/env.sh && timeout 470 python scratch/kit/harness.py holdout --frozen scratch/frozen --procs 8 --out scratch/holdout.json",". scratch/env.sh && timeout 470 python scratch/kit/harness.py real --start FRESH_UNUSED_SEED --n 64 --candidate scratch/frozen/Candidate.sol --out scratch/future_real.json"],"checks":{"setup":"passed","unit_tests":{"passed":true,"n":9,"log_tail":"----------------------------------------------------------------------\nRan 9 tests in 0.701s\n\nOK"},"solidity_emitter":"source and compiled bytecode identical to original HA","offline_clean_runtime":"not tested; dependencies not bundled","search_integration":"No actual fitness search performed, as required. CMA proposal/restart mechanics, freeze and guards tested; long optimization remains unexecuted."},"notes":["All source-derived assertions refer to the named artifact URLs in hashes or pinned GitHub URLs in sources.json. Benchmark, gates, gas and fresh real metrics are local measurements, not claims copied from prior results.","The unchanged RS2 base was also differentially checked on 50x2000 callbacks. RS2.sol is decoded from the port artifact contract_source_zlib_base64 field; the delivered core API covers RS2, T, HA.","No leaderboard submission, ranking claim, fee search, monitor selection, or reserved holdout evaluation was performed.","HA port uses float64 without fastmath, same quantized weights as Solidity. Fixed-point rounding is bounded empirically by A/C, not assumed exact.","Real edge is read directly from Rust. Arb edge is reconstructed from each pre-arb constant-k state using prior end-step spot/fees and current fair price; retail=edge-arb. Independent engine arb-volume cross-check error is reported. Decomposition is a float reconstruction.","Probe 7099000 used HA only to inspect engine schema; excluded from paired confirmation. Initial probe with incomplete SimulationConfig raised TypeError before running a market, then the full config probe ran once.","Only requested JSON outputs are delivered. Offline binary dependency packaging is missing; use the documented preinstalled goal SETUP environment."]}