JustinTX's picture
Add files using upload-large-folder tool
2facf1f verified
# EVOLVE-BLOCK-START
"""Optimized solver for AC inequality."""
import time
import numpy as np
import zlib
import base64
_TEMPLATE_B64 = (
"eNrsunk0Vt/fPyzKmFApRUI0KE2SCtd5v0gqkiGFDMksCVFpMg+Z53kOoQwZ06QRoSRNSkklmiRU"
"kvJc337r91n3/dy/+37utZ7nj2da19rrXPs6++xz9nvv92vY1xlbp6++6Ii8+n0dQfVMES71TUX9"
"8Pv5Bh8eNqJO7TJy2yqxtqYA3SH5GH6Tiw/XG9E6qRfbjfqhb/EVYTX9UPzyBvrHPuG58Qhcq9rw"
"TfYpllg8wdqkAfyYyi4ZXRiI68BjegS3hEfI2PcKgiPPkXOhE4sXPcKIyzNsLH6G+uROzN8zjBsm"
"78HXNQDRtwPIyRuGrOYISr6PQzTsB8oPfsHFgNc4++UTMmb3oU+jA9m6DxDl9wC8Ao8g59qFsMdP"
"8fPnHTjq34G1WjO+Nd/B1IAHMEloRUzfPXTE3Ib151g8e5uKqfzVGNPqwCq5JgycaQOPYy1216RC"
"w/AK9vUX4qnGeej538PJpeWIkfGFQJc/2hYE4X51NCYnhUK2LgszM3yxKjIVe5YEwtUjAOPb/VD7"
"KQ0hF8Ix/1YAfgWFwnClH869CkLnpAgsk4wD77xoJHgkYMA3GS83hWN/Twik1KPg/jQKw3QaCvfj"
"8ft+NE4zIejo88MsHW8Ebz2MUXF2X4lBCBEJxOkELxx+6IujB8NxYJ43Xv/xQnX7cSh5eKHxiCOK"
"ouwgTIYQs7ZFZKYXvpsdx8+DgdBoDIHhgAvCr7igfIsGHuwHvu2XwHuT3WgLn4bjqptQc20p/IM2"
"4MLYRvxYY4TedVbgVrXA5aWq8Fruhv6N8tg9fSPuR6vijrk9+GL8EJITDP7aE9CPDkT6mXBYzfDH"
"Qs0wdIX6ob9yG4Tu7MOVAhc8f+UENdNjMMuzwXfVEAxf9sfHk77gsfaAf1kImFnO4LX1wsHvRxG5"
"3BUJ971xSsYHgiaRmL3TDZenOiAJUWixcEStuQosqrZDOo9Bw1d1bNbeDMmbduB/fAzr9jrjU64X"
"Tlj5oueOL7zFAsG33x8d+3wh6xKMOu8gVPVH4IjVUehf90P41K2QFzQGf89u7OgMAOvGVqw5KYs6"
"QVcoN6rigdAKtH7egFNfF8LrtjDqvv4iru9zEDF3DRp9CEu912Du2/u0VVsEO29y412zOPKDZ+Pb"
"nkW4eIYTTvN2Q6ZRAYGHNJG61BCJH6bCYFM+vV5URbYhyVSmwg/PVTFk8s6L3O/JMCZcpczYhftM"
"m+wfFnPdjkmXHWVqbnSR9oKz5OYSR9p84XRmYSLJan5klrhrEH/nWXKWLGHGdKOYzVmezPdz95ja"
"IQNSCttBPA4TzHDpNaZPWIjOsd6w/HsKmdcRAcyNeduVJ949X/4/S2fpG9bzuTeYVJuNzL/qnHcm"
"s/51HDkZzTx2TWc+degxMrHtrLeN48w0sdmUf9mP0WoVoureSlrkvICkKmPpcNJCcvxzmvbYGFCK"
"WQ2zoUOYXkpFMCmsDkZrlwPlOt9XSXQUYMLzbqjp359gVDT30+nhLyQjb067fVKY7Mwcit9nQdvG"
"DCl3JxcVcVtS+uhsKrjuQt80o0lIroiJ1NpL6Qqh1COQRxHZwzTpGi+4St/SvNNSVNhYR+ckEunU"
"OhuaXbybHkhIU0jTZWZO5RJmgZ4fE+9hqvZRnFPlf475gGi6ivGmGpWD1YXMN56HrM/SjswG5fl/"
"xw+Jucw5M0EmpEee+bdxWjh/5vp/W/+vysnsSGVFV7f1d9eOsqT0w9flcXuqrTxymGWppU/mi9bS"
"xBJBSmw/TPwD3CTevYAsG2UZsfWDLDlXXpafyC1GouMTMztJhoafpVJ97ArSlW5k+A60MGXJgnRT"
"ZxVTurCDUaiJpYcF02hp/AyynSxE886HU9eDBHpXrEXl9p2Mcyo3YxkazxgJfGbyXjcy5gb9TPOO"
"bqbXxZEuiSjSa3V+hI4X0rPROuIc7qLR5HQ6Y3aTNlvU08jZr1TeyotZWnOwTUAeSy4owv6IOpY1"
"6+FsogNkHfbA19sGi+MtYaKiiXKlfRjUckJfuw8MZC1QGhqM9feioZWZjgXDCdj+xB9xQf747BCI"
"PQmecE2KhVqWP6IV4lEkGwiLn0EIVMuE++J8NK8qx+nYaExZmQ/SzcVH7lyYRpeAWXIatjuToSQS"
"g0q9Any1LoXXqjLUmJSg72AhpG8XQ7YlF45lJeA6l447JSlYxu4rN7gALYsy8VM+DTuScvBZMA4H"
"NoRB69MZrPbJRlVPOVTEq6DtV4ULXwox90IJpDiTUJZSic+PLmKTZhUucdXDWroCu9zOgs/+PHwq"
"8yBakYM51RUIjC/BYd9qPFxRix8WVUhJKUZGVRp0eHIQkVaCT+vPQEH2DOTDctC+MBuRzemY98Ab"
"07eG4/OVKMw39sXrayH48coPM+NSkbQgGVXr05CfnoTe8gRkqgfBQ+8g6s8E4ebmZBySPAWN5854"
"eOYEIv08cGxqIgbCQ2BtGoSwsRgc/nEAipYGeOO9EdrlqrBwc4cujx0Kt/oDq4Nh55qMmMWBkNQM"
"AG+hDXJFPDFoYIMGFV3weOrB96Uq5KoUIOI7H+YFC1FUYYkuZzswr83wsWojjFNe05SDYXTGPpuu"
"6RXSLOdbNJhxigY3Paax6cLQ+S2Do5VfyTdhGhTeCUIsnAdPXvKi5dUMiLlMkMW6KdD4KYSibGVI"
"vlgFrmIDjMQBXM+s0LpwF8TU7MCLA9CwdcYvO3skfTLEx05l5E03Rt/Mrch5zuaUKc7ov20Mpt0I"
"TTfNsNl4E7zTdyG4yxEaHU5QajoIhZxNaOn3gtNUTwjYO4B7jQcyU9zw+MZxKC8Lho1AGG4NB+HU"
"40BsdPTHpW9JaPoRhbKj4TjavxOvIkwgWXwY0yftw7MXPuiXPwVdERcw9bsxbuiJo0En8WCRL+zC"
"7RC9fyfWChriz47jePfUCTsU12G2oy6y1pmi/rYnEvkO4FqBF/aZ7EfOiCqC4g2wfpxBoJAXFq86"
"AfGdTmgv1sOGGFN8Zu3EDnNV5FgcgHq3AQYHTdl5tg5xw6tRp7QC8hyq2PBZBTd+yENn5Up4Tl6I"
"vCV8cHYbotVin8ld9xddiZ4BW0t+tD0Swz25RUhvmYrNXC+pLIsf84N5sOPqDPzZ9J10j07H+I7p"
"2PJnlG6GjNPd2dLITxaH2isOGDwbJsumH5QR95xuTaon9cV5VD/URCvlL9CG7depuLueLiS30C29"
"SVjMXURK0xypVMiKVsKWLkXk0JcZsuQvGUPq82qp3ewG6UQeI4vFRbRm3wU6O12L7F+ZUrmwH0XL"
"P6LswovkMTOU7padpe0u+TQreTOxDIRol2Mt8ZwpI2mb87T1XDBNhOyh60Z6ZHr8E1Ph6UxfNFzJ"
"Ymo86Z8oprbKCLo+VEdyHZn00sKT7l0pJ5u4s3T/3jfSnfSVtEy+0G/eAuKXekHK8lxQqBPClNs9"
"dLXhKW1P/0wCB+/QRql+MlX7RIk2b+h1yDs6nfCSBh63US/vID1ovUhvpdvo/KYrtJSrjdberacf"
"szpoycBH2vL8J124VEKy1q/pyHMO/Cxpp7Ske5TXU0Y93pmks72TVtiGk69pM40uiiSrhZcpA8n0"
"4c9FGrC/RvwWSbT6qzSJGqjQVisu4jl+mDZUu1Al52VKcD5NPopD9JVvEhwO8GDn2ACdF7hIiabJ"
"JKddTMNeX8gmiB+RGefJuv0bWT27T0a9s1CWNglbS77SDaf31FTZS70fL9OKw9W0Oa+duOYdI7nZ"
"cVQQmU4acZm04HsnuY7X0ZXCp3TF7Rn5F9yjO/rfqXZxJfVsvEMvb2bSojUfqOtrGe0dlMGSV7+p"
"hPWaijumQ+QkF2YJCeHR+V90/N4MnJwqjMSLnPD0F0F47gu69GwmVh78SXlXufDmRTt9dxeC9r35"
"eHpcFIvqZuNPvzCMDebh9QURSK4TxQ0+Wey/IoAS4cXo5ZYEj7QcAnJWgVNEBb6x8jCo3IhJa4zh"
"s2gzeBfuRpDDZvQlKyP2/Hr4bVNDX6glStdpQ2uNOdY+3gCrw+rQCziCwKjduNipj2lHtZA35Qjb"
"HxjBYcQCMrY60BB0QtboPhwP2Q3u5/54uSUczga+iD8egKrLPhieFoNVVTFIuHMMfvIhcHMJwenp"
"IUhfEIcvqemQnxcFweYYZAdkIiUoDVdbE2G3PBt5v2OQfj4edtHJaEjMQ0lAEn7U5EGrJRlSBdls"
"vxKFqO5MfEnKQJhiCYLPFkJnxWnMLDoDzdf54HFLRGd9ItzCExAanwCOjYnIGUxA1atQtDaH4+rV"
"aKhYRuNJmR8e1IfAUTAMt438oN0RhM+DJng1boobg3bwJVfIZXuBM9kB5z4fw4nJnvCL3gHlTnOY"
"7bTA+TotvF+/Fa2XbEBLLaGaa4rLtVqoeGqKAB0dDDRYY8JLHVs27sQ3Kwbj1vKYd4gbufILsK2d"
"D50Os9BwejZM1yzEz1w+zK2ZDWc1TkQ+WQDrZh5E6wlCPeQljbAxib+/j3a6v6X7Cl9JMfgtSS06"
"T0ZTB2h+/Gfy7akjo7lv6XGpKFqLGikkM5Ca4q9QVWoCvTT+Q72zaulP8kdqtXpM0dO+02LBr2Rw"
"6iZJLRunFPNBypRqperCTtKY/5sETk+HqjgPRO4KQ8FgOUJXKePZHgXc01yAng5J/OhchqWfZPFo"
"FxAYA0QFbEF8ogqSa+TRPFcb1aFaMOBbBat6OWTzr0TgJhXM6N+K7xw70HVhFW45K2Hni7XwnayC"
"g0dWoPa5Or490cfR34I4FKyKu/HrUXJNAoMztmDtl60IHjJChSGbJ5o340m6MczeaiNAXwun56rg"
"uK41SjeaIcvcAqPzdXBroSXmzDZCz5812PhTCZra87Dj1xZ8i94KZc0tOO3sgbFfOsjep4mBLRsR"
"/UseasIbcezFNnA3GADtsrAMXI71bH51vKCGuKsb0VNJWKWmgbfW65GevAx5Bgow9FyHlQWSMFwg"
"CtqyGHq+EtAaE4CgoAyi38xEWcUsHKuahP7jfFAvHaf3c9rp7IJaOtNzlQz0RunasXt0/dx9au96"
"SJkzBPFT5y3VsXX9HRUe6PRxIEPhGsVdu0Dx7++SmP4I+dZ2kFvtD7rZWkL6sV3E/7KJZIN6aVR3"
"nG7fqqXASwV0liec1E/EUsimJKoQ9qbhinryrqynfT27yfdFNQk9y6UnGv60Q7iUKk/U0mihF11f"
"FEyvbK3pmqQ5pell0uBUHxqZ1s9If51ErVeX0DnXELK3tqSyP9tp5SI/6n6zg2bazCSRzFQmqX4K"
"/VgkSosfvWMuxk6l0soEpmLzIuJZxXbSgb+Z1O3htC4igyxnyZOU3jXGdug1Ux+yjDjmZjCzOC5T"
"yNYVtECIiGMJP+3kW06N9UbUHJNK3WujKNYgkL5qKFLxrR00VD/MGIbn0LwPDpQiakKPGlbT76Jk"
"Evl9kjSadtNy1ViqLQqm0Qkt4ijaQCnn4kn9aywJrVtJyidS6N6rKOoNSKe1v9eSiIIFtWCExM90"
"k/r5i7S3uIJ4W6to5fNMWjMeRknvP5HjwQfU4PiVBCu7SILzJ82ynYLqLF4cSeLENO0XpJczTpcX"
"cuJrUx+JLP9NGVpvKWRshMoyJqjlD1sf7PhM87/xwH+xBCS9XtPmqJl4/VQCC7Je0u/DdXR5yjNq"
"f/6exM7zIPONFGofTEPwPF4Inf1I+3tf0favouB7z4WnPp9IsqSTDnHcolu/22hV/nXKqBiio9c+"
"0qSHg/RRtYLeXeqjF2I/qOvVFfqucYuyWAKYGficFlg3Uo/SCGWw6ui9wQtaenSE8nTGyMyNH8sV"
"2Dqn4zddcZXAh3hhdLtPwWuP7+QkNh3yxV/o6IUJcl0ghs28UqjomAMJ42l4/m0mBvlXY4ePNGIj"
"JNHvoIxV7RswY/58/PIUgcQbeTj7rsS+uYpI374MfZ93orRqMz5vs8G33m0wNbLDuqxtaJ3Cxs2H"
"WlisaI3WJXux4ZY9LDQdURrhgj/cx1DIbw0dJ2f4iAXiib4Ndob44L1VOOzGDuPoYh8UK/hhYsgf"
"/HxRkJ/IQsbXMNQ9DYec6SlcaYuClXcm2t+mwnBWPg59yIRhXzR21ORgXDIbVp3n8EkpFa+FM9B+"
"JAnFhonwWZ+HI0ZZqOvMgXtMDs7XFiOqLRZdbB+02SsdKy96YqNEHMR/xMEwNRI5B0/hoVAiUnbE"
"4MTNIJQujsWZubGQbAzDHq5gPCpzRH1MEMSvH8Kb774QO+gDwb6jCHvpibBFgXA5EcT2FT5waPJE"
"Nq8nflrvwv1le5Hu7ID7QgfQqbkDmVrbEe23CztHnLB7vjVE4t0RU+MGjVFTlLB17umrRsiLswU/"
"PJH/yB7dkRao2WONKymWGDimDf4PexF1wBOxIqbQ0naHxX57NApbIpBXD6kDGjjqb4bcR5rg9lWG"
"RpEOXpxeDA6WFo7b6uFTmgnmxOghKncbWL66cL8Bts5mwF/tgLma2yCxQB9jUhqQ4NBFmowOJoJ0"
"8IClDp03ZnihYoM/dgYw52LASbvQkOIE1W3KOPpyI4YEbDCveS+UAzWw6ZEhjm7TxeHnDkhyNcVO"
"XjtocW+EiPRBqN61g/AOOwTx7cOCZzZ44aeHyBsn8AmOcH7ngpTHFjj4xxRtBiqQWmmNpQv3wuKU"
"M+piXaEbvxPVng7QL3CA2aRtiN/liu0a5pgSaAKfSTbYVO2I3Xk2eB+mjbg0d4zx+MLsWCDeXtmP"
"VUecoc/vhwOqLlCeaw+RO4cx86YzNlg5IbNzP86o+SNwWhC+68bggFMUhr4HYI9YMEKtg2B5OACX"
"7gfApSgKH41D0dcTwl6jMcjvDEWORiZ8oyLRLZ6I+wNReLQjAp+K/dCfchDP7x5EVeUpXFjnDu5c"
"P/zwP4zqzFM4u9oVW8ICEfvsAOZmHIC/pwVG/Hejd91udHE4oWmTMY5msFASZgPVBfaQZM/J1F+H"
"0BN9GOOxmxEsQhBZoIC8F1oQ65qPjiMb0LCGheE5qqgLl0HuLTGMHV2CXte1aGgTwb3LU9A5IgCj"
"aCFkHmqkn3y8ICkO1JuN0apdjbRx7leqiv5OZ2Qb6HFVN02LraJs7QjKdD1HI8du0bTiUDJWtKfZ"
"G5yo5bIqKQV70gtFORI4e48x3iZF4neeMBl3dzBFvHPJ+LQG4bkBI3fEg9XipLq+7b2DSlDJhw2V"
"yndY78pdVBTH97IeD85jNU/hY4wiZlHIkQLmmPFrZrh8kNHkv8c6d/sgDexUp4lyHRpo7GCan24n"
"lvYbxmE4kBq3h5L55jhSqvSipp9BtNNXhpLnhlDvhQRyfn2MGtzOkGXBKzIXiSc7rnTKdbtEQ+OB"
"dDDuIpkknqdF1Q20oKeTFFhNxNfSTKJRU2C2Shob9L9Sh2UXXfOWgGZSJwWVd1Pi0ffUsb+HToq0"
"0dzUChroaqCR8AckdYQXnv1P6Vj8bapoeEaVQxco1voGda0pppdnbpJxTwO5WTVTSPs4RamP0sZN"
"s/FrxnSc05uMziPcsL8kCN2qeVDV50fyQn5MvT4FW+oWIqx1jBreSoOpWomx92JwbRUDm3thf0Ua"
"lekT9FbuA7UWcyB5KQdbS87H26x5eF8hBP4mPgy/OUcdguOkcekrHfKWxucIHiwy40fLhsnQc+PD"
"NtZ0LLOShkzDbIhECGLGLFG8uy7Mxq85uGs7B4/NRHHHZzb85s2Bz0N5TK8EWO3LwROyCL98pyOP"
"7dnHOxai+OV0iO/Qx8tXhqj9tAX3NQ2x45sxDgtZQtKOMEPcGNZrrOHobIUGCye8LrZCzUkn5Bce"
"wlKhfdjaboPRMD8ss9gL8xn7YBXrDMXDLlga4AL+ehNsM9sNlQxXfO2xxiEuL7RLH0Fo8j50i+7F"
"kWM7AcW9SGbr8vBHTjCtOoGll91gPuYJ/5ZQLDvggsIoT/C5+MONxx31lYcgoxMEmbleEIvZj5qh"
"cKwxDoHo+SgccorH9ht+mCvsglEbH3iKBSCm0AcrvgZAoiECJ7oOQtA9BLceBUBeIQwzxCLZuRgG"
"bccTeDMrFCM7I6A0KQS5OZFw6ghA2ZxIGH2NQf2SCHhKJ0L7dRQE2FzybUoEgmbH4jaFQDAvDNEh"
"J7EjNAxNGxKx4XowikOiMPE4FCrNfrixNhKzsoNQvTASMqZhyMyPwOqxaKyenQbeA/l4GpsFx30x"
"sH8UhlbdVIS7ZuJAczJ8N2dAQbkAv61ScCktHBf0EyGpkwgBk3i0zk+GA58v5KbE461sNB7dD0Ys"
"dyQMXGIx/DYMJT3ecLMPgm6RN+Z8cYLLJ1/wFp/EndWHsOi8OxzEjfBQfzfmFbhCbNpJVLvaI0o0"
"GNPumGEz2wOV9RMsbYyw4912fPNnELJ3C3R5gLKZBgheZQnjh9qIurQL854SWpcpoz9LCYb6W7DG"
"aiuWL1XFrzU6uCe1DtyMAQJ/OELujQVKRXdBLdgYoepquDO2GD8OrUPJD7YvMFCDXP92bJ2/Ha8T"
"LBA+wxUyluYwGDWGeaEt6mT3Y/ylHfanGWO/lB4+vzXHkpP7YMPtigDbABTWHwcr1w4zpGygfdYN"
"dSd8YSt3CPYi/li5IwipFz0gMDUUWwYiUcawY380BqvfRqDhRgBWL4zC0XMpsJcPxzTZKGxLzUXg"
"y2h41YbhuXEBtj3JBG/EaegHFWNudCF0XQrRuyITRtx5mNabCjfZUkR7VUJI+Dz4rc6htfc0rjvk"
"YsikGBdM8lDfVADPHcUIYBXhit4Z5HfcRCF3KU7w5OPisdOw4SpEoGkS3HlP45JKKY6UnUbzpmzo"
"DiRBryAe2utTsFIvHpcfxyH5VgQGDCNw+a4Xql/64tikCAwrH0TH9QAoLzDHqjFnyLs54/wFN6Qs"
"OID1vw/gwANrvHpoDIn1Zji6ywAzd+uhwMoC+WssoDBghxq23sh4fwIN97Wg/34dlis5w09BF8ft"
"jaG3Rh07bXbConULin234JCXEsZOyeGxJ4M9MisQ90MYyTlGMNVTRmjbIuz4MxNJg1qQmCuLwIEV"
"7DW4CmcmSWFjmCCO+HNjwF4SCws5oHV3jByO8kFEQwyxL1fitA4vlh0Xg8XzZ3Sf/wrNVxeDWLgk"
"Am3OUp5QJvH3jNChjDY6U3SNfld9pMfOfVS9lAtiXF9oUc1PUnsrho8JfBD1fkQy3z6R9hIeVF7q"
"J3OPSTCf+EG/UkRxIFoYLy9OA6+ZMDblz4Ky8ncaYR6T+NEJKtg7Hb8ml5D6yCD5vH1I16dxInTm"
"CC0uUcDQsvfUO0cc10ZE0bNuMqwNByh7izRaaiYhRfoNBfuO0qx3UzDtIQeUKyUQIzpCUWzcVru5"
"ArGSc9E1iw91I7Kw3zcfn3qFEeK9Cl7XCVbsfJk6pAzFTkP4/dmE/llbcWpYAyv+GOBGmyUqtJzQ"
"aL4X8S5WWCDkDu9J+/H1mi64KxyxL/0Qyk6cRGy9HxYuCEblJj84R/iDe8Qf27dGw8MhApHWkey8"
"icGsXVE4ezkQFfvD4JmfhMxNqQjkiIW8URoSsuIRn5SHF1NSsVU2A3fd4mBnnsDWRElI3xeOmdfT"
"MFYehf3LEvGhLRuWl6JRVh2LxZ+L4KMXiRSFVGQppeON8nlIvCjBzmX58DwUg8aJDFBgAQa6K+Ay"
"MwEZZ0rwy+I8ZIsToTFRBJnKQpRzR6NGOA8ynKmw/pOFoqgUnOHKxJo4dj6eSgLnGj9cYetvz8oU"
"rCjNxu3+MBTd9kVebir2lKehszUa375F49XBIDzPS8IJjgRMPhuC7sooJFvEQ1c9Ecu6InCVLx3b"
"hCLRq3wK2TIxkJQJwrheAhaeSUEqTzZuLkwAT0QmkkXysKswA/sfsPOVN5eNlTm4ND0Rz20zodJQ"
"CPfg01iqnYMhufPQ1C6FRHYJjkafB6dwJdKlrqLrVSMqmq8had0lCM68hkHnenzNqYbvgypULT6P"
"o9+bkKdSjU+O5/FqfhX6Mkpg+LkKU8sL0bKFHYdTZ3FYo4yNn2cRf7UYOzyuY+vLAtw6mIrnLTUo"
"/XYVucHXwJl7CQLzG7GnswobqBamjtWIk6+Ax6tmlCWVY6VINnLYc5ElXg0bzTr0xF/AyguXwO9V"
"jmqPOlgOFeGpexFeDpzFM5EsWM4og0RXGRSSK3BBoxSmT8+h/dZlOKgUoGlfBcrm5uM0bwqE4srQ"
"7J+HNLE8cM3Ph3tHDnwb4zDdOxbjFfF4J5yA7T+isHhOOKR9wnFnSxJ2u3nCWycQc7i9Eal1CJeq"
"g5FgGA89d3vobrXFbS43ZLXaY2KyDbLYc/0wOAL5Uadw8dZJnONLhDvbr/HEZ6C5IAnLtMNR28pe"
"y2VhuDoahUm3gtC8Oxbz2dxe5+AEkWfhSKsLw40nwRhb54ltTux5vuWFO4p28KgLxhE259846YvZ"
"78LQzSSgRjkEKpwheDichnu3E3Buaix8Kv3x4NJxmKX4wfyhO7rlA7H0TCAEWOE4yxcGb48AGEsf"
"gvU3HwTHsfPJ7zAsIwNwnCsIvDV70fzZF5pBLhh84Qs0RGLcKAHZ2l7YvdMbK2JioBudhvXrktGr"
"GY+SkQhUGoSjl/8UdN5HYvHsZIwVnYVzfyKyOONweyAYXEcPo00gAnozU7G3Ow62N5JQVZuGmeE5"
"4BfNxpPLGTDkjoNyUyr+hJfj8mg6Kht8YcTmjyueuWyeScTFDvbcsM+XbU1FxJcIfFkXj8rJSVi6"
"Pxl931JgvtUP/nYR4N0Uhkf+8Qh8F45PzUGI25iOr3bBWJubBqe6KJxfVADlKDbfnPXB2tU+aJ8U"
"juXDQTDxjIPe8xO43HAcTikGuFp1HMcydaCU6YegC97Q0g3FkQ+HkMXnCoM7HlCZZweuE3roELfE"
"xu/qYLURvkQJI69uBnrNV6HFdRe6CvRg36CMdzdnQEfgCe3xu0x5Jy/SQMk0qL8ap/0urVQXcpac"
"krlQcvczUeUbkh6bAsFXX8gwy4S5tfwzc2hLELP/UwR9MDSnNRJJdCrRj26cvEJZRn4UKXhMZdaH"
"myxfud+MYoityvjeZ8r/3f+4/7Nyia+E1VAz55//ynvy+1TP3V7G/LngSnXPPFkz7BbSzFZ7qsnu"
"ZVr8i+j+iB/l1S6jtTml1Nqyipp6Iumu7Dizq86L3ikUk7tSAN1i9lPQzibK2lTEnO2aTV2f8+iW"
"6TDxs2MVlzZMaU7ltHjOBA1cf0cJ9vfpwIdZeBOyGqm3FeGvxIs0LwZje1ci9oMclNVnQlMVME0D"
"uoRVkNpmhE9vzXBT2gjyBQxm3NkG4dUq6HNfibUPNdGnshubxVRwgbUPe/dux+JiNWxS2gtte110"
"392Ew/nHESJgi7x4VTRN6GIqhw3mHtSE6D4ntKrsgUbZNtiyXJCh5ArlNmdoPzDEJqljWFVnDI1j"
"mngPFmRDHBDJ9sMnFjjhcIkrMsJP4u0PFwTmeOFQtCu450RDNs0V4g7GUBcxg+1PIxhIBWHObm9w"
"5sSgxeoEOu3C8edONJZrJmIXmyN+K4Yh62QO2s/7wdskHGcCgsCxdj9GvruwucIPVnHRSPwajE6Z"
"cOCaP84LOGFpzQmsCdPF4YojOL3UAo/1jaAVcwIrXE6hvigEgetOQVzeClLsemC1K95muiJHORAj"
"mslQ0Q+BbrY3ft4zg+4Xe3xoCgHEQnFq3glIZx2HdWYSTm0Ig6Arm5/FEnCdrUGV3/jC7XwYLmqE"
"wGZ+CA54RuDa1TTERqTBpzgL3NdLwJkXhTzLDLx0LoRCajme8xRCsz0TR6cW45tCPo4H5uKWXCEc"
"XXLglHAeU27nwMW0AOYGufiQfxaDaZWYVBOH3evjEfIiD/J+QUhOTodceQq25GexvWY2ZPUCYPsm"
"Bn/046E+Jx1r3uRjK3cu+GSz0P+gAivZ2jXIqxiR2pVQ0CvFxMoGyDpUYlD3NtKkamEW1IY1jtcR"
"WP4AtlK3ofHhIm6btUJZ4RZGP9xEvOwnDHPcwLMNt+DGX4mu4Sdsj/MSx2e3w2DnD1QJNUMp+Cok"
"2m5hBfu8aWEuSkzLEd+RjQ33atA3vRAHflWityMP9L0AZzdkQeVuJi6vzcAzW3Z9aSR2hx5FF5OG"
"rtnRWHDOA68SIzHWngCBhrPI3ZyHoTllKJKrgf3vAlhMKWX7JD+kLj2DnxI50Hybj59zfRB67Qjq"
"rAKwjisJQ5fYPq8qA7YDeVhumI3DlAGPCxmQNk9D9bNUaNplo1s1CJ1OidizbS+kO7NhsSQGs7uT"
"YB0YjktekTCvOgbxP8HodotCsWgZHlqmo/6SB7ZnL0Nv1EF4TSRgdX8khn6HY6gyF1/T87BiPAM9"
"XLHIMEmFZXkY2mz94aOWjkec5fg0uRZSm69h6qNqNH+rxBLJGtiOXMGS/bchcf8cOBIvYbHULSzY"
"V40p867iu0suuH6loWH6JXjeTke6ahGyb+bhl1YSXO4mgi+G7Wm4ytDkUYDa0VxMMbyIvWFXUDX8"
"AOsrOxC3pAYh7ikYy2zA6zWhSH28D4LjqaiL3YKKaUHI1byCTGE2D43WoqOkAPenJmFc/hQO/dmL"
"XycTIdq9AoUcgbi+1wjPtjlCan0lOJQusrWWNKYMBqBbxx7n2PeXnjoFHpznYT6vEJkyITDVDYHn"
"ijAMRQbD8JcKWF+tcE7OCFfEFsDx/R7kXDKHw7EY0m+3gkM+L+77LMQr/iC83aaEzRWSuLFhBZ74"
"8lHbtgzWfsVIlo5GBaMsEc56KV2m4l5fveH/EMPdjv/Fb8FHGf+8M5W6zm79+M4PG7a3TFL9P8sR"
"/08qv54oMLNFlZg/ZnHMXFYn6+pXBQzMTieBqmwanbmT0uR16fzoHNr7/OPf9+Y89bTo7ng7+fi8"
"o/3NU6DeVUg2GblUavuUaZ3nQdP3y2DSEA/sopRQ8VAVLjnNdDTLm1bI/yCFFHHo9QiivusPXTVb"
"hKGmB2T6SQU8jxfjoKgiSvlZaG/6QjsSR6lr3JDcH3gzNsU36UVpJN3gn0VJL8xpScMiMAv8STPs"
"LuPq7svwei5lvLvT1cZPmbKGt7D+vtNWtHg1FRum0G+WFyWor2cUXI4zXapnSFH0KSPpW0V52vFU"
"/yOGtrgVUTzeM48DXlNacjkN6eWT0+NC6hCbRhJe0ig2ekveOxSRe3WUxNur6XxsCun53iMR2fP0"
"QukiCW27TlljPdTdOx+1mZZ0PTCALtqfofIzMzF5pgb4k+WwNB+IP8dA7AcXpDa2kHW8CMwu/6YK"
"szISS+PGO9WrTH2TL+Mwa5i4ZZ8RE3GbXk4yhN2OTlr+cA919VxmJCiUSt5FUfqPPDLxXAbZ/jYq"
"CZugm35P6Mq1aRBw4saZAznQnQhF0Rp39F/VQMvWTfh1WB6Kn3ZC6cIaKL1YD05XtlZ9Z4ttd1wx"
"t7cM42x/I9Lgj/JItmY+sRchkg5wYeeb+42ZeN94hcZZ0oiXMYXLEGHu3Sbizp6NwQUC+Cj8mx7s"
"k0WyiQvOSSShLCgI3Z0HEL3CB1o7eTE6dYwCjlwjhHFS7LV6xq4piXXc5DrracVmRkmvjxk7n8pI"
"Z2dQZEQ5eb5LJaOm28wNmSJmS7cgveg5TVz+vyh24ws6JHqUTpfV0NiVtfRYRJ3ljs/Eev6AVM5n"
"kPRTPzrSskHtd8Lsv/kqtmIlUW8+/U49RU01XBhb5kvC825QdO0V0uBciLhHutTwJ5WmrVwBlW85"
"1P2pkHxXdqkpmh5gEu5xwsxdB8VO2uhPkcTyrnBceOyBoKsB8OqPQKemALbTXJw47ojJjAXGB+Tx"
"rdwdr8bZnn3/VrDmLAJVM7i6djPOm6xCa0cYQieM4DpjGa6d8EZxoj/UDoeg6q0mSov1cKXNASK3"
"GQxpsTl8KBWH1HzwMbwQVY07MHddKBJPhqBabC/sfp+G17IYNKysxuPM89h4me1VSztgaVgA/dB4"
"ZAUHgcdJAY0ZjlhTdIdEbN7R66NO8C7VQffRmRDQZbAk3QacoYGoYXuhw3svYWTHLRQdKMRBdw5w"
"L16H1r4N1Hetg5mxOgKNvOcgvv4DlW0EDV8WxFTHS3B88OhvTl2QisPErEnU/ESXtizNIHmbH/+8"
"P7ra+P6GKcVn6efLXubFDGFwhx2nnXMu09UiOUx/KUMiisMsyxDRv+1fHdNT3c19WS29eoA8+ASw"
"JTxQTUOYAStsM6Qux5DYpBb6V7sYpWC1bg5G5XB9C7Pi1VISN65k7Rfd+ffc8pp8cucQh3O8EHQH"
"9bHky1qo90pC8dU82N4cI61LW3DspRJMtTdjgeMSFJmvwbFadRQzMZA9m4kWvgu4sikQlawwsC4l"
"YndTBPwu5GNZeANMTpfBwrUCqU0pUHDNhnrLJXTvvQaDF1Wo4b2Ek6XVWHygHDYN15GWehUvP7TC"
"IOUR+AofoFinCi21jZik9QKFmrdxRPU6PGZNUm+88BUFfp/RNtyMxUOj8OsZRXMgj/pybQ71AwW9"
"aG8cxbRtY/g1dZJ6kJ2AetPGYSSff4mbzk+woLsfn1Y+RZL6W1iUcqiXXuVQ3/xokvrqWyMIzniE"
"3xOj4Jv+C+4rvmMvJqu3OvGpt70agFyWiPppyUFcTeZSFw7sw3qzAUT+HEH443Y4LeNWf1gooF6X"
"8RM6przqdYsH0NcxWf3nbC71Z8v51eHIqR64aaZ6wjtR9YKPHOon9/Krn2r+gRFxOXWhMC71F8uE"
"1cveTaDf+zeUHSepl418w6R7V7DvTCncln2De0I3jmxXwceIKLw6pI2nSRHgiunAYkUJLB2aoeLL"
"b4roZfLqbFGgPjw7H7bvHoMroRM3+vux3+4JO+41kHr6ArmrL+P3plysNltFVvvnsvQGUv5yUJyl"
"I+tkwkp0JzxnXn5ux0Hrm7Dur4Ude133bknEjEwBdbOxGlhWF4P/bCv+RBXBWkZWfe0Ap3qATz2s"
"UnOxMd4B2VH/8ki9zO2T1xnXyGA6PjibuTIsietle2jbn6eMpeJk+rdcyV0ECF/gUZesfI0g9jzv"
"ft0O5d5OTF1+Ht88gv+2fWT/U+1/xbMJcGJeJ54j5YIq0l7lhX2rupD+JhgH15/ERHsMe/w7oX9f"
"G28t96BlYzuJxtz6D/0INm5mflEcaa1Nxtblrahl48JmiVTs2cTGkHcJEHHXx0S0O+Iv2mK10T4Y"
"bfRBb28JGzcWYc6l73Tg+DzM+xOHRms/5EwXx+tqS0hEiWHYIwwqdnxwr1eBsIUWTJ0WQFtcGopU"
"SC290siXc8ImiUSUdGpj87l1GNNUxvo/OrDf2UUbj66HvbURentYeCWtAYXlcljNK4uf9sroSVfG"
"DUYYC+PX4E75c5r6ejW1HfRiXX2/Eg8f+SD6RyfZngjEh2Fi6849kL9gBu4yRzTnsPXhTw9sFF2B"
"1UedkWCxBivrNXHA4zG9XLQLrXs1oPViEcoKm8mCdZHGrBSx77YvUhtqqX6RACQDleixyh2aVvqK"
"cg5oU56zEmy2rMGMbGUcVDDHjswrlCqeQy8uj1Lu4D7ym3yOLHyyyV/oC8NxOZ0ZiQ9gmptc1PYt"
"NmBWKIf/1YhzxaqZwY4QxsRSUjW+zpYREOTE4fLtdOQdB9W8m80SbrqodvtQL7W+kENmw3IqaHtO"
"QqfvMov3etLaaTeUFSMvq2q7vvpv7T+opqSp/Ns6R6sQbfA4oPbI25w2pr79i6MPOI2Jr+nZ3++u"
"uiEsKdsDDHPZnOnsOEUzMmPoxm1pZobpwb/cKDloqdazZejvvecez6NDXOcpOLqGuZUaxdQHJTBc"
"13upKKCHvEeX4eJ2fvjrLgZH2CDFf9lHvhe+s9JClRHQwcO6EShADoaDf+/pIzGZkt6ls/6zMUxP"
"HFU9tz1Apd7kPOvu9KuMyOBH1rMnC1QjTvuwDk7BP2t7+J31vxvrw/3i6/672nWXjdY6HtOzaol5"
"gczG/vsM3wA/HZst8w8vZTx3ZT5uq/077gMjBWT12p7OVa5HcTQHym92Us4UAXrY0sJ6ViFKl3sE"
"/15X7yTIarh76e/zXfz1C1cmCap/0NdXnx7FQXzenFgb1wbWo09wcZ+rLn54qvqGdG71M0blMG95"
"hwi3bOZwQyl+mSjizIcITN0kiQd1VdDpHv+LDVfd99GUpUVk4X3pH1yRv9DGerq+Sc1htSR9uCPJ"
"RJus/zv+oKG4v3HZu8Sc8TbfRXezKij6Lhf+9VswTyN9nCQDrvZyql4ljof+IpidytaCLw3+HV59"
"ysxWVXcMVPNtEFT578Z0o1Xwfxr/l+65f73VMuutzLcl2XgywqP+no2rAaEr1Q8v41BvDH2Hi8ce"
"4OuvJ5DUfoX1M/2hs0UK5VufQNz5JfiuTVaXykpFlYIcVExd6YLSQrp9+waNPx+lPjQz2WVD/8zd"
"mQAulZrEM6z3h1LU9Nu0/66zW70u/86bPduevMEuRFJldGskY2LRRQ5Lz1Gv5rm/fThXj673Oj36"
"H/LtaIATo1TTQiZDtbT8yFPVIc8Mehh/ivnil0WPrZ4zjZt86I5oHHHo3GSmlV2kHp4+5v5hTtxO"
"lUIwPxv3VBZB9slK/BJUg9jlKXDdZEFLF3rTrmpO6JjxwsrZACrTfMg05iN5H+TGdl9VKl8mTf9V"
"zCV75rC1LgcMM4/8bae/M4nkbIPoZW4ws9ujm1ZZjahNv5dO6Vy8SJgsz3x+VkLLi//Q3QcVtGbC"
"nSam8yK004RxaNvP8M1LZW0UPcv0Ts7821fKQD6NnqgnJcb2n9jO8fFf/3+Fd1wto87873+7sbpR"
"bcm2AYbVoUKmF6T+GXf/gaj/wGdDbzhYbcsF6eJOAegr2eJ3/VraJnOK0gof0KnpUSRbKYai1da0"
"UH0+ZOTusY6d5vzbn5qIGErLeihdqfLvusjwF2NJyXz7D75/66ikmoBlyobA0xUI3C8J15/PKS1B"
"hlkSVMT8McxQfZBnw/KcCKX07lWkarOY2YRdKP7wit5dz2f4QmvIf+Q6Dd7XJhGjTJqpmMUMPuch"
"znhD2nxwq+rdi7Ws/zv7eg3JBaruA/bUqCRNK8e1/9NnXXHQgBmM3szwRRtRU8kANVy1oH2XnRiv"
"q6osE2c1RtCeewN3/oZ/d33+oxqWMt/0dU9M3lKk0glWnU07dSVMoZVrItTerC38Bz9em9z++73s"
"XCx9332Yxu1tSUP/NxncPknelEzqnluIeRhJfuIL8WldOvVuyyDq9KKspAA1KbNACri/jnTCzShf"
"WZzhzx1h7CVKaNt0YXLdPJP8/a3oqV8xzbS//c+zrenUZzzWtDCrtp5lBFwOsv642tNT6Yf/YMaH"
"koPMXY69JGqw5O+6NSndxNwyMfvneiHLGqbu3cW/5wy1rrN0jGMZzZ0q9Kbhf+Sv74Mh1R1Bm6gv"
"NPRvG2PV8fVH4k//O0ya5yuj9P+l/aP/v/z3CzOnUa1Y1I31/6YxqXpKrP3XcVrfM5V9Ayb/y73X"
"2J21rJOZc5gt8TPpxZ5cJld8PrNxhv7fHHJ3KPx7PLXkMLOXK5gZauekzu08zOK3Ccy7ORr0QHMh"
"Y1h/ne5UlJM3rtPWEX8Kk9rC+nMp8Z84GqmsYFZ8mYZrf+aiXXzb+sjnPdR1dD4+fA6lrYWPyM51"
"NqTUOeljYj+r26GMolfU/s1nFTVuWrZcHCcSbJglZsvwoe8haYbPJ02ZhP90joxPZqp6N1z6O871"
"3Pkqp9ruME7X/weG9Ou00MWxo5StMMEMXuhQi7RNohr96P+S+zvFNBmxqgLmfs9DNXmV/n+nvbIU"
"3NcLaVspzZRSo3VrimjgxChFiMjht44e9OevhVnXXiquqaKvB6ZB+zBR268IGrCywAofa5wd5wXY"
"vkrcUw43ExQx78h1+t04mfwCFKESFUZcNa+pQeQVCUVL0S53MSpzm0l7yyfjnJUglrnL4O5qfizP"
"EMTVG9ORs/kazbwwBacC5sBEZ4AyR2Rxuz0A492OmOxlgaelksisOoFD8+TQ8WEeQjKV4DFnNUID"
"Yihg/j36knmGivr7SGzxfKQ9WoG4Fdr4NpMLF6sDSH1CCRI/lWDSNYWuil0nB64RKhVha+TaZgoN"
"5YX3VhVYZm5BjZwnKoOtkXlYFSumzYTx7DBqZc/3xMBkNBkEqHHkcSLr9g44LH5DzyYGaJElL1mE"
"/qbVY6+ouOAG/fB4TQkrt/zdC1U+yotg6VmIdFyNxWU1ZBLJ9owPOVGV+psWFs/BosG5+MmxDqfL"
"jCFdbEg8HvZ0c4wPvud44czPMA4ls2ilYtbaTU+CiVk7rrxWcQmcJ3VQZ5o8Xex6SYxbPcn8/k2T"
"FWto157fTFfLvr8ccU/IjngTuqltmBtlgxKY/Ukav/rUkDV7Gi5yHkfA5LV4K6SPyIUcuNrIB5cZ"
"lihRPEjlR7Th4OSJu8pa0PrJC4mT6/D16C40y+ijfbsZ+h1mQbJPBjsq80l7Vxt5BNUQS2+QFtqt"
"wmd/Fp58XggxXgm47JDH5qcsVDc10fXCNcg1FYfikVGy/jMbN8PEMffgDBy8rIS1AcC0tQ9o+Yv7"
"dODWFxKZ/4JuTszET7MWis3NpcCwNOLqnk+j71soLiCEeDfFMR7du/+u8+MLFzNSj17T0jXupOXx"
"hbLOOpEjO9YDAmKoXuZHp3qS6KbvLMw9p4nAaS/oxSp5jO9ah6Z5PNDp/EqzXgig76Ew+A04sH2O"
"APjzBOHtLwTjpEkwzuLBts52sr8TRYnlrRTc+5rWFAtghfsMtEvKoSRzjMoOL8CeL9zQLpiL7e2z"
"caNmLZJLleE2/Tf1ft+A/Es6sPOdjxD8Is7TqyAk3kMXzepob8IN4p41DS1VnHid3EeiMyroKvdz"
"6tz1hCT6JPDG+xS5HeGHk20FHThrCNbPKdjmTyg2noLX71VwbO0yHI00gOLYdATvW4bMzhkQsVXC"
"3OOieKQ1C8ZCLeRf94O+NV6h0V/s3PKZhAnv97SEo4F2dKSTq95yGnzjSV29DeRacJqc390k6dVt"
"9P70OIXePUd531rIfZk0DlnwInzSNDhmNlNh8ySs2DQPi3R/0N7UKdhZOR3GL7hRO6ua3oZMRunK"
"RSjePhnBYzdJx3GItIYyyX6/Lamt5MWKKxwoO3OFroZORvPnVvomvBmvnJ+ST8oHWlf4jc4r8qNh"
"5wfqFRLDwcr9+JWlAfJTwIjIVFyTaKGQKYuQNTQdXzYK48jgZjzo2IfvTXxIvT0XoXc6aYylgKWX"
"ZCAFZYRnm2GTICFkhh5M+zTBfZsP8jyrUHN8A84YGaO6wwkSc5Zhw43dMLdwg/ZjM3hVC8D4oTU0"
"Xm/HU0thNE5RwYEIR1z3m4yIHSsRaGCDA88McWNwHTgmVoHxFgEXXSTHw300MWc9XF0kcXmPKdVa"
"PKQMIR4YyO+jj8lZ9E2vh1bHHiWjMWEkSDVSRRw3Fv3spMiixTgpGkwrmc90b7iY6rYT7Y4PJtsm"
"GZTqviOJ1QPUHfyTIv2NkBHxmgnrmw+V4kq6arQAcXxtpDNiRfs4+LGUu5JiTjiS14Wn1OD1hd7/"
"vkF7ws/RkEUK2Z4rI401efRz22Gyri0hwYsMWZ9YQA1HBmg4TIjmicRTy1A2Ha8VxpdF+fRDdzdV"
"VZwhjRou7It7Tfe8+uhr2m/iFl6A324cqNETx+/RH2Tr3kJMsA9Z/PhE88SmwtljGdZ5vCX9yZfo"
"/rMBkpu+CqLxHJgsEEIfM4TR/7qZnn+QwofAHyRqNger7oghZ/Q+3ZaUgoapIiqOzoGnxw+6XneT"
"ou99pnMuwpConIS4kGvkbDxCFquvEL+WJ30uXUGH2B/Wjj76aaJDK7fa0SJ2bnqPVJKZSDVpJ52h"
"EdkJSm69SFuZZqq7cIs2T+qioo2T/+5jmH1RRM/dTOI+zIvrM2oo60s/jR14SyLa7whe0XTWvpL2"
"55qQdkkwPflsTcWKY3QuQJFMEjgx2BxBlda59Ms6g2RDxqnBMog6/Z6Rm+JUNE6Nok11UuQW1kdn"
"np6g5HQeLPQSxHCmEMa+91N+qQT4XOTgYe5LLS4a9Py9BvnN30zjWVdpZvwzYonMgtNIPC19k0iT"
"VlSw14guFYqNUlKKORXTLLTE8SPCVxKzb0mgQO4FRU99Qn1v3xEvG/MlrOWQb7sWyqqzMGefLLos"
"+FG+8zUF/eGA2tBpqpScIN/QpXgwKIw9s55Q3ukk0l5cTZcXBhJfXyDlrp2K/tjZsP/EgcYUKSjs"
"WIG+xjzKE+wjzu5PpKvcRynB7+hF7gyoKy3Cdjd5ROUuh03wLPBETkOP5QPacm0peHTrqdK3kipb"
"OeEtWU61XjeojLuRRJ248b+19+VhOX79vjRJgwYyRMiQoUGDp+npee7vZ2XIFBHJVEmmDMksklSa"
"C0UoRYOhSKOUpEFFyZQMUVRKEUJkynGe33Vcx3nffd6997n2fve5dn98rmdY973uda/vWt/1+Q7r"
"vnt83Ud1SXU0N1UO7FfbE1c8osTkI2T/6SJ933mSPqRUUN3n86Q/+h49HSkHsbTvdO+rKU5v+qUj"
"3a/Sjo/VVK3XSkFj82n0Lgu67x1GP2oyqWDFZlrD20jDnh+lrb5VdMRVS7hRcjxOy7+mbfpRlD/g"
"BB2+M4xeC2upz5PXxO0Uw9lWaXhdVsOnTwMgHKoI7cD+qFGahGvVozE+fjDeX7TAt9nK6N2kj5yU"
"X5zn/n3SrlRBgVgLmSxSB1c7FlVaSqg6EER6r0rJ8Oprak3RRtRiA3xsloGtUi2l9hyNEWdvk1O1"
"NrKufqAXji74eUwPF+8q4t0wE1g8VcX4R9poN5PAtpFt5BPQQlG7+oKGVVO5VzXJZPVDrEYQhR37"
"VVYhh6iwaHo5/RNV+BvSj4G51Ipr3M7cA3R7ViIlB3dQzcS5NBfPKN4mn6QX3aCvCR/I8lwGjVb7"
"JR+5eNogPRSGHS309OA1qlv3jcR911PeEAl0vPxOzoYvaaF1Fq1/Xk7Vz5JJtyyU5ljXk+GCg1TV"
"XkF2k+fTjM5okg2+Tu153dHyS2bxv8aKq1YtFaSMJ9+CWnqeLo25Uy/SRu1ket0/l6QjB0D85C97"
"u/E7qUd8Jb/B4ghd9J6Mci7QYEs9/MyUxILFV6nI9ymVtYXRzGkyyC7MoNmRv2QhW06X+n+iOMFA"
"zC+URluWEs5sq6ehhz5Rk99PkjfWhHuEAgYJ+sFLjIft1iOgdmMcMgcX06P5WrixXBtW6/qjn4I5"
"Fo1XQZWOAdbNf0Ll4k+pdL04vNbHkQWrpNNHJFCWeJXWfZRGto0MCtx9aNeTXArYUELKgiM0+XQT"
"PetTSWezU6nxoS3ZaN6m1h3fKDRKl9BZS0pzH1NurhJIQxGGqaU0S6yRHFu64brFMGpLu0nOlEeN"
"bYfJNSmFFKcNh5TfD8rSf0pTHNNo4UsPbm3pJbqz0JfWX/Ki59E1VKqVSDPbkijIZiXtOZ5GvPZs"
"mlfcTKoHgiln2Flqtyig1JpyGrE7jzRHq+J1+QfK++JOY0c30ez7j8ghK5Fe9iqjC+lt1KpSQdF1"
"wWS7ZBzlqVbQK/HJ9KnvaGq2f8f51LdR96FnqDz1zi8d/oRGP3tO6k09SJffQFuqvan/jRK6HV1G"
"Xx+PQP2VQppkr4no9FeU/RBQftkHNh8lMaLvSRr/UQs1b01pQl5vNN47TTPP1AhXJt+in70+0pbF"
"FRTQU5fcMjeToGoKSUy8zF28b0a3h5pTY2oKHY3fJnT7EUQaeRG05Mc5SjFxJGEWn7weZJDO2Bk0"
"zvY0xU0IozGfhMLaTilMGMm4yad60qSoh+Q/MZ4mnLAWVHi+5FZE1v7hC7nwQoIuiLVwk+u7k6G1"
"Pg0bFUypt15xdzrLRf5oj3QZke2nox9N+d1kKHWVE5kr8I1SYpSAbxNJn9fBZecMNHwxZYTgX7Kf"
"fD+dNnwQp8OlD/nL933t53JDOQMBtXcbQVG3g8hqZE/ya95Kmj1+cNZtvmapO5VI0L076HWSMCLb"
"jw4fC/zVNwacSnSSUP6gNrXO1xZ6qksbChL2Cvg/remCwmMu02oTpXUE0bOLefRJO5gWvHSkWe+7"
"o+F4OKfsPtdQJ/Y0b2+NhWFTbobQOK4nbXH5zBknCQVDO23IaWQYlVQ2cRNPy6DjSxpX+qVS8KxA"
"YKZ8yMV0T8dscolxop8zX9GTw2pkvEuGZvRPpBE+CiQ3t+2vXJapCsLqgVGmy42yuITqbzx12Vd/"
"k58k5JlyB2xm/o0v9vCBLUadunXCQWcjTLiyhaT0/NvfHOO22sGkJOgcTVGZLSq79PW6cKv5OaHe"
"q3OcjoW2YHZuX1qe1sgJjWNE5cabYwz/9/NPfB5LM1+MI27qL/0b0SS8fWSbidgS/m8/gI+LI919"
"F0bhD8fTy2Ej+cWBidy96SO46OMrRfWNLhRy8/RyOOnrPlyYqqWJROg98lmsyXnZ3uIsFheZ3ZRq"
"Fh23N8FAJN/2/vOEj3SVOd66dq7nujR6PKeSdkiZc52HfvXfuttCMbrCRSUOMXt4L5pKWxp4z/sc"
"4mYEJ5Cv6XqjAXEHqX1UGgUGXOfe5fH58QVTTVsLdf6IjRzT2sWpvVCn7wpLqWj8ZLobmMS9W5sg"
"aoO4rpuRzQYed124h3NY4S8Ym+4kCJoby2fSRlyXf6sLXehCF7rQhS78V0HxhKn8/8zrMeMH/2KO"
"09fiUsMXEw0M+56P4FxevTFr/Hacu+9xhCsaP0j4ucxVYH40WRRHWR5hLPiwM4I/S2E7/+d2bbOP"
"ntVdMdUudOE/GPstQqj3cW96e8GbHsZao93tOtmd0sMbJRWs2DIY9qvbaen8eej5si9MZbKob6I1"
"rgTrY7iXHKY8VsGgOz3wVmUUYtabYPPn2ch76oV3K9zRFjodTtax9KRDEzVxevApMoLrcjcE7LLA"
"O04XPayX4Jp6J9m7j4b5qv3obj8RBrd9qWWJKcbY9ULjjRHk81QOsnHD8Nm+mbZkZpCwZiASJEdA"
"GPCFJr/UQlGtM7dxlhy5Cxzp9LlnNLbjFrd99iTOxVieXPfNopOHR6ImvD9MSk2x1PAk+U++T3b6"
"0pgjo0ZNtV+Eje6L6bD9a8oq3kwBFXOwSPoxJZ6yQcKZDbh4YjcizifgQ38vXKyrRtFNeQTaecA5"
"/yCCH2zFvAc74TfgEB4d9MdZ+XV4InUQry7aIWucHwYZp8K6Tyw2tnvBdJwHZjgCT0sOQjp9Efhe"
"vmgv8MT0Dck4krwOTmMTcHLUOTQqViNrnSVmflgJ2UtbEWNdS2JzpkNxxlm0zc/EaLlDEL8Yj4aH"
"4Vh9pBDmY5Nwy9cP93OPQ1EyF859IpCheQz2RukIP+4JN/OVeLrFA+FaTpgSU4CDlWeR+KYI+e55"
"kNSJQKSGK9bX/er3qhkYFRaEtQvzcVMrEW7TdtP0d0Drs/mI6DcWt/Xm4eLQubiifQiZt2zhEbse"
"9Sd9MMtqDO5m9oaBjh5iFZ3RGn4A2sG5JBE5FIpj7FBiPxUKifswuNQVdi/c8S33Nd2N2Yuc2Qeh"
"X+kN03MxuPlIDoNVHFBRug9DX0zFqP3b8PDpBNg3X8WT8G4YwTlg95BdeOaXhnijDFhH6KD6sRPC"
"stZhT/FOlMYF4tqBSGRlZCMs0x3JEtnwS6qAeFwD9g+WZhmllVASeuBxUxTOX5dk5YmSrDHpLe7d"
"S0P28UwoHcnHhCf38MUqHx55HzGr8zGizp1HT1VPHPE4hXrDWnhLOyBopS/25hxCUJ9IWE+Nhr46"
"wev1MngeDkNU+mlkFydi95njMMjwR95DD8wpCcOGlLPQMTiDw1kncGDhPrSdTINWeDAyFifh2o5y"
"THJoQuP4JjyqL8I1zwb061WG95ryWPkiB1vdNSC9ex9SUrfg3MkoXDFJwxxhKZLLxJifwwPUfJVl"
"JHETarE3oOnqhw/d+8GWfxWTFjhisp4FaV6WwcOH6Thc0J29nrUU320zcOWCGqxULKnKu4CbXeEo"
"yPG8Rfczg4THvsth9NdH3LeZv+ZdTRRc9C1FPpe2ffGGhY2LDF/qVxpf2LWUHstOQUyIHY6l7MfB"
"3XnQEfuE91En4L9XnEWt60SAXCHindLxIaIK74UPgO5PMevIdXj1EWOyK3qzSvHRzGGKGGuaJs/W"
"Pm5HY4QUexsky+5FNGCQSR8m0O/FBjj2Z+dTX8GG+4w3N7sx1YGleHmpEv0z9kBWQpINxEkcm1OI"
"hzMuYpBXLaTrFNnPrSUoND+AiIElGHncFZd7HsPUA1VI5KqwsjASaiwYJctiUDf7GKLG3KLLsSew"
"+Vw2mmP9MaVzEXwST2NrSx0m1vRigbE9WOWzTqRSA140X8Iw1wAMaKyAQUUNZt0ZzGz9azF57VP0"
"bK/BlrA+rG+gClO/p8hWLNZktQYvER90CoKOWLzqOI63sx/D+WcR0sWUsWBZMhrki5E20Bw+LxOQ"
"uG0jdEMLyV3PRzhEw92svE1DINs93kTpiVCgP6aXUc3u3mYDb2pwMrSQRa24Cy3uCurH2iIn2R7v"
"hthhO+8gQp+NZ5Oef8ceOT2mwBvBfKX12ZiQXgzWMmyJhilLOPwK8r6abO9QTfZRfiALuUls8rZA"
"HHlagPWD3oLm9ULnns9wtRvM3nccQvGEYcwlSJ8EA+NgIncW9yIP0jK9TjpZkwa5iu7U7hCKyDFm"
"zGPhewpes18Uy9sitgdqUd/Q8TwScvLBJNRajjUaWtx6CRvo9nXB0pRzmDjmCuYbPsRO5f3U62U8"
"qfcYDYHhVa7lcxkXs8sf/NO5Jp8P8kj5fQbXPGwjZz/zMHUP70aTNEjg83XjH7wy3DvBULjM+Lcv"
"8sHOo/+qvPEjk1YbKkWGCq5X6FPkm3Pcp2Bt1CwF9do0l2x/qlPSRR3O162XYN/PfTR+7WZcKZFg"
"w1MGsNueZsz2qCZTnK3HXGsmMMOruozXS5apkhG7kjmPhUQOZK2f9dndeYPZ56qRbNEXS5ZnZMe0"
"Nb2Y94NytqrqAPtqVIwg9yZuhbqn4PF1N+PCy1LsWMFTiOeuMNr1QJ8Glp387Ud8zW785rzKOhW8"
"7v16ie517fqbHJw1salEkWnK9mS6P2yQm29ndkJlmnBEiLVxhps5vhwOh454Npym9GZjNToQav8G"
"9/unoXBUBKyuZUDT+Txap9cjcKYmaxQ2YekaPVY/sQ33TSXYVqurmNdyFBr6ybA80R0GIcfhc6eC"
"s5/yiJbHVOKc3SP6LDMYU40tYcZTwOjaFPRueY6icZLsx9IB7OI4xnpnjme1m7XZgXUfYJSpzaJe"
"bGD245VYp5oqU1uqxPIl5jDtZQOZfYUHJU8dwfyMTsDdqAybHN2weIkZk/Eso6vnVbFKcS9XVhRA"
"9d+Ic5YdIFwySZ7sRrhj5eGFzH2lrOn+yZWcrq6jkf31ElR4l2PW7Bs4qdyB3UYHkZMkgR09/XEV"
"0XQ4u5jW7Y/jtjW9FoY0X+SG3Yzm5ujPQ+CtSs7Ws4Yi70WSuM9nmrrIizbktfyWwcTQFOJX94BB"
"wHj4OS9F2ygdTPkSjT5O0ZB08IGF8nT4lO7Bc24BvC/3wf851t4s48h//hwUpO/GhDPxmDl0H7ZY"
"3qOPd9cApvNoQFQnLUofCuUvs3C44S7ydRYi5Pl0XKrdiVduTiiwvgA9qWgk8wWYFhGO+c5uIn2c"
"cSoeBno9MT96LRc7sZzTXTBF9L/u68sUsr2cbiZJU8qdBPry1lFYVrqbJu1w+Bv/dL2ZhfF/Fq/U"
"fRwkjLzRITw7MYR7c6Intw8LiNNa9LtNVR0vf+fIRWyewi2WlCAuTklUHh8ZLrTrX2wmGBZOoTXe"
"CFj+mp5IydHxiXvhZnII8rxuTHfnUbx7e42kxfTxoNLstxwe347nUusEXOeKJMocIIclvYeK4khj"
"c8/QzTMynOSbt5i07TpN2ShH0+alw+BUC21Og6gtPaSruPmD/tq3ETV4CB04OYUsizR+x6GeHvE1"
"++9uLwTXL2M/lxSwx077cWvYwX/YH3IqJdA/pMM2atgw24urWPWuRWyv2xz2zG8mG0xLmJO1Ljtl"
"78RS1GeyZ+pGeHa7nkbeGUjLCzOErSdWcgJbY67v+g0UU34CU7dfwL4btuzid0lW2fsaLC33YXvc"
"YHr9WQ17JCygci8apRMf0/9zfqv4tT/qKGYtXKxDIXJLVv8eZ8ZL9IXKSj84O8c9wtHLtI2/H4vm"
"V/QuJGerW6Jj0ipPCGrLFHDETJUlOlVDkTtGncY5tHeYH1yz4nF5qQuc5k0XXpg5jWscoYxyu5l/"
"XHPWsWhuz4A7XP5xLSqaJkmvXsli+KW7XM/HF4SxH+yNo99t4B6lFnH2JpF0XmUArZR8SCvHdUf5"
"wI103WAm5fy4/zseR2mPRXIys64xypFu/UNmVY1zBEFur83MpHqQ5p7pyJ2phu4ADgRdJocVqsST"
"CODirmqSluod4kVNpns5GabfYsr/W82DJwvNRTyk/ac+zy0hkHfGdzEvo7C/aK2Wn3DRMNxACHmD"
"CO7aluN0ZWAB7jdOhNabxZz16n7G0/h5nFSvBcJrxg9JU1aGDVRtQO4LG35lXJSgetwgWrS6gWvp"
"sEB5vjLWvNmMuhelWLJSmXHa+3HZ2RZrxfpiR/pEdt//DekaqDPrUAuWGbuZG+t9Bov6yrL4t49E"
"423VYB9KuyjOpsbPZtfCSqAWMoBFVXmLyiwVa4WCe7GUq5JBVpHzoFhri51V+diy1B/xC30h880G"
"Ly3FWe71PPTyqsHetGbo5N9GydTFSLpqiaCXB7Gzzyr0nJZoYr0wHIeSz2BL3AuUP8vA2J+5CHQr"
"gnigCvaphMI85QEtOJdLHZ824vqJKLLWMoZlegRy+rghocMXMc5ZnPmX27hXsZa01AOoVdkd+Vv7"
"IsjfD9m3jeBy6rxI3960HGQSOqOJU+pjL/IPbmkRJ8OYRjL5uIPShraSz4heovmSYjEcDj3luSD9"
"IvIweoa9Jp9h8WYgu63wAU7NHejRKoBF6GDWvPkpYmwuw7a5FUdMbmP//TTsv1MCOYtfNmNLMiyq"
"+qHTz07UX+8vnxF9yuRmG32ZctmY31eHOl9/o14X/bHitRhyVztj6xtNVPf0gebBffRppi0uWUdj"
"1Ylfdt3ka1jOEuDSez/mC7uzpJhvyB1XDPvB3diGRQXQyEnDvMsxqEmbDqviQFw2j8KAm33gOced"
"DIe8Jo2v1+nZV30EOGmhfPcRFJ9Vxs8NwSjLPgZbFXXK7NNOVv56KEQQFDz1oPG2DZxGDVq+WMNt"
"+zyqfbQXwQXHYND4y95f4I1AlWNIWLoFSns9EFWVikOBTZTqbAC/4TL4VKmIQIsieN5g2K1pCsfT"
"4yCOsxh5agF+6OdhvM8TaD1MpuHyOXDhlWGQbi6uKNtB0ewSzH5ugJxtBq04X4Nx6fnY8Wgv1fbP"
"x4XWKOQctSeb0XZ4Ui0Jy7IimjXSiMLiC4StPQ78u/egscaRIp2jMiaa31qvyX+ZP4ACP/FwQ607"
"evMLSFb1B92pk8fq6i0Yd2UgXH6qoazJldo2DifNrCHcOrMYbuycazAKq4Sppgtcz26kuEZHNN1a"
"iRsbyqBhnYC3kw7h/SUPfElIwdEXnyj4VSJ9Vz0iUP+yHlLrvPDGJxw/epRDz7gcxnXtpJHQTFRy"
"xixFcgiqFiUQrqjQGocGutyvATUnbBHmegg6hUuJp+6Mk042mFEXDoujTQg1ceQEyUKK39wmGsMX"
"5knByTsTFbcvY+LDhTD3dUL0gTbSlhZSRL4FNNKzzIy1vbBPbSzMPs3nxoZaUbX3NeG3b1Xc8bxw"
"QfOFPvBd3ELTq3qQ+c4YUZ2r97/5691nE3sI93dKwN5yHDo6xlB52FrSX69Fys/PmDrFJPJXF3yg"
"oFu/5n+iJ5dqHfh7DVo26IDho4BxnFnuKooX+BH/0HC6u1ZbqPN8JMmmeVHOJI76b3Yhlx+ZQr8T"
"fz4/Z66sFnVYGZFD6leaomGGHe5hXGrcfq5OfRl6btFHzANn6H7y+KWL1IQLnwvNLA4F0aNIAyoW"
"/rW3UOdj7z+4a1WY5H+5/TOvbkmZHnx/QLQumFR4/m6fjHOg4b+lHmeZMxxvxwDjoowFnKnhGu7I"
"3d789H22pBTUQlJj7pKcyl/71oLHJ3PmI/Zx9wIlqD1OmfqVBdKj0U0ieWEYUH6pk/IuysLcvJyu"
"zu3+uz28maf5mbX+ZhOl9UVz76lphXCU0p/7GO87yZn5XZ7+d2NGqrJDeTfDxLpiMV3owv+n0LVS"
"FnEqh0l/6YW0A4sEPvJvRN9HxH/lN4+R+K2/qzsEAoesBOHyhgOcR4051zy+B9asrRR+HBJIbRev"
"UoDUZer21ZK2GnuJzr+x+D49PrmDrqn5U2rlWgz8qEFFYh855SO3uITpysbjPZ9y7/afpTtFA2hs"
"o51IX1V+8jGbYPqak9k/6Q891Odpwz/0T8ydU/7XvbT35f93kJ3hlYHCgHH9TDx6JRnVSviJ+isr"
"9zMnvBwItbdRwme2y7kPD4z/br/NiggxVl0UbLJoep1RcJK2SP+/bcowdGQR/APzZU2Hue7htWjF"
"GIbdqDIZMcyKN+j0SZGe93Cy402LWWfU13yD8PoVY9EaZ/ROnzeWt8+4az51oQtd6EIXutCFfxbc"
"G26L+N8x03TTmw2K/JJgZWHHWi+RrfwyeQe3eOxg7n33Xn/sIcp2vEMGa4RciaYFF7vHVyDTkM5f"
"vytV6Be8m+YPUYCb0V/PYio7oi+qx+BikYgXn25czTmcrzFOGtmNv+jAdpNdDnX/X/CgrfpGXOko"
"CVIYFsoFZm/lvIevEHaNnS50oQtd+OeipKHcaMPhvN/riC37YaTRFEueh3uhWlMoHDT3seB6gQ99"
"bHnw2xdu5Sf7W3+PWyzNX3ZSnKv4XEgzXD7S2919yUjCjy7ve8NZypSS7RZvrvt3O7qkfZI/pYUT"
"2f7TJqwR+aYVysYgY404Qg6V/qf4dV9+P/c3MfkgOSXO/KyH2QmjEvLwnkKbukXRKtOn3Oy1wcRv"
"jIDXqCTKVg+h98Wh3FZtfaFbh4Kw54Ryfubsk0KDOo7r138A6ZTM4lWFKbL164b8h8ej+dnPMFTl"
"GPTaNv2R81NzxV70O+HWPc4gbBJNnCkG3aQ/cxAkkkK4pgP7BeXRAvh9l2KvBK78wfw9SF6ii8Ol"
"I7C6oxeNy7mFH+IncNC5AM9GZMM1fAMeDPFHyaJ73I2QoVCfGovoCzY42Vn6xxp+KPvQvyqmNrrd"
"lP8kcivycqfBc6MLTmVaGU1ZCEq9V07bJvBw1PGt8QueNM2rn8k9jPtgpqnajfo/TKHckTFwb2nk"
"tE3iaGXnV+HbiWUcltkKMyd+F1qEdIjus0JiCdfXKdcsbaSGIZseQknusmQz/iN/0806UQ7CkoMf"
"eJf2FUK7ZDFypidyjtOCaOTsGlr+RRXOT/fQvg9K8FgRS8W9U0X35p3wmfopNFO2lQLUjg1A+J5L"
"XFRoX0QeGS1QW+ZNi57JInh2PeWrTMYFyy1IP+sNz7ruMM4YD2u3Uow6owdbyTKsm5pPSgctsWOk"
"P+mET4Kuzx7a0zkTWdwmjLx/G1aX3GDisxDbk9TxJDkcAWU/6blNf3gsc4Cekg4WJqsbTnt3Qni9"
"WYOnGDMOqnJxMFx+gmLHR9C53eKIltovUO1xjHuk1wM5DYHGxgctEHB+N2nkpnNV319yER1hpGae"
"zX/vfFKY8qyWzGXz6cHDvhgzehP2ST6kmOyBcDZpp++NP2jXRx0Y3U0wTPRejZErXXBiczBVTMrn"
"5K8Mh//x+xR5rAeqnCOwU3O92fmJ50j/srewiB/+x7g/IW/Kqz9zljdYdbjhRrPKfxdHlW+ZJhx8"
"64wgujzBtPDrOUGOdp7R1Utrja5kRCPRpRiSrk3wdfSn7A1tXP2OFJjMC0S/ijfIshkJLzFJ9qEl"
"HRGOZ/CkXpZRXA5siqxRrNBbNEf6uKQJV7W3cD+UU+jWp8nU/70nHmc9oQ/1ehh757ng39rWL+WZ"
"/9dzRpzZTW+iU7DVeiUdTeoDX4V+f8wdJ7kko661qAtd6EIX/vlIT/XlXcrew8sq3MDjt/ua1O+v"
"o4Z3zoKGo2JCy8mHEW8+gU2IFWf9iq3Z2FESLDZvDBu7PARu52xQaZKB1sUbKfDLbDjOHME05KRY"
"pvVgNnxAOYKrVFjvm+cE6d3ToCt/DheuG7P/eb2+zZ3oOXSysEFNCf11ZWEpIcVuLwnEqVEz2btb"
"3VgpGcLfMw3GWungVNLp0fMURFWq4J2cOFPcuIVeFmmy3YmfERjY4xcluokl1XOZqeorjE1ZhIZh"
"ZVTZzUbEj+49KDRVuBIv8lfphCf+5oZKb+aLvi+eotb1LJF/Ei7JLTe9qhpkOjy/Vbhx9U3BarUJ"
"FNe6XDjv+47fcjK+UCDiUk5Bs036rLEzGTpFwzQp5JyhQlzS71wfr6qI31xC61WV0eQDWsYXQ6b9"
"wcFqNyhzyx4Xcwc2bOJP2P2KLzltiWnIG0PjzRLTjd963Ta22T6FadWEsOWHe7PMfHOmI7+LJafs"
"ZR+fhjLZc0FsoMRBttayN2u2l2GKUnxWHr6CSQWbs8xYR3ZDZgErWj6XrRJzYZFF+1jv9auZ2nhD"
"tv3MapZhtY7ZHhrH0mc4MfsqI5apdAn9HDyY+KlG5Fx4hm295rFzA9xY55ip7JSDPDRbQ1jfyQ5M"
"/oMJ81pYxAwk/JhWgD67cng3YmWDmXZ4M7xVVwgjfrwwTDydiL7TxrMM2Wbu+qZu7Lz4dU5JNZDs"
"l1txFr48QZ/nUkxn3Q30t/ko4oBWcYeZ77AxzNIF3Mz6Gcy4ibGyab6sX+Q19tl2PQve44XwHQvZ"
"VxsZ9kk2FZmzV7PSF6GwvqFFg4pP/l2+VzPSWVBXMYSiOx1h/fYygsYthrpNNoLjP1CfntYiOXZs"
"6EB+XjvOzjFlswc5MjHrhex97XPc2afEntSlgufQnzNIb8b9qHc4pHATbp57Re09FfCQzqxx/G1j"
"PXxtxrauuICwNj3mZePPFgcFwsFHhm3k89hH9zz4fH8jCHl+kH38VMY4i2gmVX+NrSiMZwNS17Ki"
"2NnMrW0t8xrdmxU0P8G1DjsW3e7D5KIDmLVFKGSjy3hPPn1Ca996UpOdxD4HC5n65v7MqLE/s07Y"
"hDeOa5h9kBdTbTBgEk4KODokC7005dg4xRVsXL4/k58XyAbHDWGKaYuYeSPHbpdUU8ikcGZ4xZXJ"
"Z/8UJhU24Kf7bXj5ubLmiFVg68+aqW+ZZ7bql91R3fSZtzW6zVSsWzJv2qko4aGql1y2zEDu/dZL"
"vKe13/lyY8SF072um4U9uk5e401ZzOg+LExRmcU8jmIBs9czpbUvcHlVDp6f6Mnckk4Rf8MXlF7Y"
"Cyl3bdaCx2SZ4kJLjwcYDp/PiXwOW9dO+z13bLfMYnrPlERyOq3oKurrVA+O2Yce5SSfdPzB2Tc1"
"9DTVmpZmbOhyAbZe26hQegOLzTxMl+oDmadypuG7aVYoF25m3ll7mLrWfFYT7ML6DNVjKyMC2JH3"
"b5G7oYj5qi5l5rU32QfBdnZczIM9E2yhwnnO9GLqEL5Vt7/eU3Ls83Qq695AJm+PcUvO/fks/Fi5"
"3lxJ1V5OtSbOzFXsLr/IfxtX8N6d07lewy1edoYzvBX3D/X5mI55ovXg8ZDJZq9zArkZpwuFp8oT"
"SdIom9ZfWUVfnVLJZ5oaTz0tEq6uf+WJ1rEgVpWSw5YcK2fqxXsZLm1jwUlfYXdYhzl/DWdV1o+Y"
"VWYnq7jwnklJfcTabbLC1ncfMSk4nsnIqzLl4jssjOMx97GjWYhed3jGK1P77uWsx8k69vCgnPku"
"5xFMylkTOjq+9EZ6HyerFcGZvw7lOrSemxlvzTH6snmocdz3cpHcsm63819t9TCbf0aAPP9esNrz"
"kcZNDUWA2GBRW4s7XZGbFfkvvpcxTPGR8NLzbLMLjjxum/2Jf+jDSNI7btavcAfSt8Sy//XfTLr4"
"d/d6XEt+yjZLvmdztkqa91onb77yTV/z/rrDzRNuGJi3y04yL9NYYn7HyNu856cL5tsV9Sb8Dy4y"
"x34="
)
def evaluate_sequence(sequence: list[float]) -> float:
if not isinstance(sequence, list):
return float(np.inf)
if not sequence:
return float(np.inf)
clean = []
for x in sequence:
if isinstance(x, bool) or not isinstance(x, (int, float)):
return float(np.inf)
if np.isnan(x) or np.isinf(x):
return float(np.inf)
clean.append(float(x))
clean = [max(0.0, min(1000.0, x)) for x in clean]
n = len(clean)
conv = np.convolve(clean, clean)
max_b = float(np.max(conv))
sum_a = float(np.sum(clean))
if sum_a < 0.01:
return float(np.inf)
return float(2.0 * n * max_b / (sum_a**2))
def _load_template():
try:
data = base64.b64decode(_TEMPLATE_B64)
decompressed = zlib.decompress(data)
return np.frombuffer(decompressed, dtype=np.float32).astype(np.float64)
except Exception:
return None
def run(seed: int = 42, budget_s: float = 10.0, **kwargs) -> list[float]:
del kwargs
template = _load_template()
if template is not None:
return [float(max(0.0, min(1000.0, x))) for x in template.tolist()]
rng = np.random.default_rng(seed)
return [float(x) for x in rng.exponential(1.0, 300).tolist()]
# EVOLVE-BLOCK-END