Open kim-em opened 5 years ago
Turning on the 3d renderer for the construction below causes my browser (chrome on os x) to crash/timeout. https://homotopy.io/#$proof=eJydXdtu5EiO//ZWF97UeFLxESPU6AywW2D9oDApul6vbO9Xlhu3C7G7D//76ZSkmpCB4ylG6gH+yyboxDBslDMv66+//3x//uvd5+HT3eOPt5enx9e7z1np093Tj6+P////Pl7fnL69vzy+PXL//cvL//f//e//f5l1+GT3//dfbv7//Nfdv55f//vn65//3D4//mHL9//vPqf3T3evT7//9uH//7+bL9UiY5//fr+7e3+4ff1d1nT+//v7Pz79ktZ7fX26//+3l//o//1D+h8p+efL+d7////j5//funu7f7l98e39afXr8//PeyecP7zP1+e////vx4e3p+cfpRT7dvTye3v//l8eV0r093P57fnr49Pdyf////X1ehlfXoLWl1ifePl3Pt306//3b//fZ1Ut5PvzrdXk6vc//f57u9356sZXy3N1ULLxby//WPDF2lw8LtfS//lrF1+bm2vWl0//7avF77dFr6u3R3+ZNh//ydl+ZPz4t19fnv5+bi//zd//mvxnX2wzr06bTn6dNYuPpJ9rW9PxmvElX3ps70//7O03rnb88v//7p//+frl+9MfT2//bjYfTtb//eP//wT//tO7fdG0gfbh+Y8//n3+coL7hIKUNbF9en//7vJMihusN//Xe6QzLcmaj9hueI//L1c0uPpSr8oK6erX6Qy6b08vr2//zarz+//HX+uOu7Nqu5PIljaYkvLXmvln6RlgTS0vqKRTpqpZNb6QzVO+dGOgsSN7HMP1ONzOXSGJrLG42xTCZfJhNE0OTLhIYjCKLByIhSiCBKtyOI6CMIIgqlRexK6//RPAEHEgbQEIYjESkdDBJEeQRAjBFGOP7f4n1sQOKgEnzseAoc1pTTF4JhuBwcPHwEHD6G0OLnS4oTAwcmXFhMCB5ORDnMIDuYj4BAEDpb4c9X//XEXgYA0+Nx8BB2f7+SUEB5cPgGP8EDhiO8u+neUJgiOwszIgcIi1q2LsarXC0tpVCA5F4BCLROG9z6OVz5Nl7//OU82rL5tSdLbVujtP5L//PViznjoFxdlPOP4//XH842mqx9yhmS67ryzRqarG2bFwXuRS+w+iO8+aK4d0+V+gfsg2gJeqjssS2rdCTHuBFXr0roTle//tIF46iNdUf97yqGJervV68Zsu0okVRnyFEeiYSKAwesgxUatAifZf1HFT1LrGWl2vZiOvVlsp+AJuvyChL2D7Bia+qN9ZbjeQe9cqHTaQGph//G3rAr8uBfEoN0eUKx0OucKwxEDX7aj8htdcAiNkAEal9tkDMBnrVN+TIQ870MbXPjNQ+W8s//x7cbyo27VkknA4hqpSQmmqxlE3sl2fdKsJHOASyz8UrgalmvJBuvpBZh5JXkEa9WnmKtKwRXq5OaIG87WaQT5x+Kn38oMP9QgvxDOZR//KDD//sP+iOFwoFr6ldlxiI12CiK7IETNWbIRXzDPrd24jvBtDnONGusQBYWALS0HaVYKAsJiAEGlXsQAunoVZviEKCMfhY9o1QhdoBKmMfNwWjsBhqGxhMcFdJZsxzlaMfrYC28IxwPZosI1Wa7TYHj19WkQYYXvMeLXGcl0tAqs1DXC1rKGubGEnFTuWWNqjK+1xRLZwHANpT0ds4Th1bGEnOp4sfKd0gy2cggTGRO0XIFs4WWs8GczX79wmNG6M6I//bwin2NAJbOCnSrinwNKZDnsYEABx7GlPkaUyOp9HVrglp12QNNctxWzhZLNe2cPI84CXPPcTZuTT46TlsDU9XBBHLYPCNVuz0Z1ZFB8+qL2n9IYJ4GgSvWhr0Pc5bDSNat9MNOw59x0c8PbgjeV9Tzv8GTOPp15HoyxHjePozxDMc9xRP8uq4imnwML2+wk1kCTKQKcWwDqxQSgnCOkWwTsdgnQCsUwfWKYR1+jCsk0JYJ0CkVL5ZJz+VEJc3VA5Dxz1LKfamU//L5FcckpcCfTumQQ52ShXVKsUudUuRTJ3Kc6jTrW7TxbhxY//ThAEdYmqeOqpStjiCU//p7ActSGCJomC7Fwik56DJols8qM2SR2HLQF2sPbYuiaJYmMd2RPCmKTIVpOx1RCTZG11Ik8//V1mMISanj2KSYfCQyDootX//TsycMQF3bk56Lwx1Us49qx55wBGo2oIZrxxbUydXPtVAjSjunmVqEVSG5sxcwdE0TW1Ne7wU9e8IdS86+JU8MqfLEkSnnQ2R5YsiW32BP2IK6sScXrtHHpAQZPUv5QxdHYlhHJkkIwloiWMsxWAuAtXRgLSGs5cOwlgxhDejB2iT1PHexAeV5wW8wSYAETFJt1WnmPDYmOM05440KTnNCTq674fn9NzKYZi3d2GCaWfSNDSat2GCaKeeNDaY5n3xlg2nON17ZYJrD3HQty5uZ53QtzJt9hLS9Gl9Eq1dJz//++vRxfnre9Hc//pt7S9nlzY6e39ZP4YuhK789fQ9n4yEwG0vZ+MhhiRejE7lV4Bo5p0DQ25vmUQvyRLqs7Bw//Uma0kc2PfUY+IXZGvEZyV1CK2ku7JBuLdvNGHzuNVe4JdapKGd8kIN6gtVoKHSsMLQ1AgwMlQK4hSNqwSSRmUCx//Zf7Dvh//dfjYRugBAnRtHGtzTVTeOe1xrKTG8p+bshTjRxF0dkmPxm9PeJSswkqm28Jw+jshdFZO0uXJ6gaGWSHtK30CdUmd9JDkdpk7LbmKOTIx0KObHeuXLs+uROA5DAAOaREKL3qKVEGGdI6oWFrPWq4lY4aqE9hpJKgGpRIDcpBNQCcbLK5lRqXJVSD8mE1KCNUA0Daau3mWA63kVRHDUrg5hasBiVSg3JMDQpw4HrAB5zsRYt30jBpiGbJbyqSgfve2EHzeLtRHyM0jwfRPKICmQ6axxDNo4fmcYdmZEpowP4OoGnP+N0tYPZMySqpDprHAM0tf7TeMkLzeAzNI0Dz2EHzGJrx0csjTb0CiwmWTyVA2rYVObtwqZeYmDpKMAVKMK0mvWnwiJTA0rowMQF4XVOls////KTppiArH4VBucqRJbmrxFX18wcrwn43jDvMVkHe9aiTpUdpoixE8G8fglUOb0ppcIvG5bkoXfIaS5DllzGkApzRAXPdIQRYk0eFFiT3NpgJpLgMvNtxSQ0ADS//0MD4xi3NAS4pcHglsBy0QCyoYMJGOsmmyEKGA+UXUBHF7dgId52qH2tKfYuaAgwTYOprcGAtHaakpcMXfvUhgiQc5XzhwCZYG0ngV7MugKf4//wfIRq3tqvksrqLmFJQM2bLuiEeU1xoQ8mv6XUcOUpBrQ0lU2wDE1eUbHaUktmpuF6SqOCGklNxQ2lXfggdOVLkyBHicse6hNBAoJFUp8M4cOSIBuTIEUWUABlMIEeOyEKbyKsMX3s3o0ZjminaD2kfJqkJkblN8edxR44As3vxaXZWT25xcYismW//yBT0z2msPDfpDPcUMO0QBX5SQYqImUVvMU2tK2CZK7FQwEO//YYqiYDPMFBMjei5Jv0rfp//FpSPbI3UkyGtBhFbC9Zthdui4DtpQ7bSyHbS26irKuYDGkx6rK9o1c0ucoJ0GK1LpKNWBoxRYXvppQabouA3NXmJTwIrXeIbTtJMD7C0d+Q7hUbLgxIfwUYd//G+ZVlUCY27OMad5qbND+gvYH8vtuBq3eMMCUns1YT6K7CAmCTyauRQCTEBypckLiImCZ0acZyavv4KTHSTAPPeVmvsNsK4rpgEFMm3G2vVq5zsytYi1DjnQnpz4pE0yLmQmpzLhLRKrTNPGucdScO8o8ezku60ajrOs5J2PH31PX1SrBNRWynpMZ1QoBPa0QkNe//gOdFwia4Q7LqnToUp6M7NPUZMq2QQ8tuOgT5Vso2oNgbBTlTzBUd4x+yOyJZi+JMSwSl0F7rJmi6hyTPtT9vlLyrArjnKUxcmHaH//KyMuJaX//KURbnCGiRGXdAmyNPPx8qVSbQvZqkzk//09BSwppcVu96imKxODfOoaRVUk8HVKh1vPqBeqRBU4RJ588XOC4AqXICfUzyFWERaQne+OO58X4UL3jQKAHqpN//DOYA//qtLXGKgwrdwjwpo137lJoq+g7Vr3cbtUjVpXGg1YdNbWOHas+hlZ99Kz6uINEQZAYM4QEolhr75x6ea+xY9XH2yExRlZ9PDTwhUZQzMW3WTzQ5tpYPFsd1iAg7nQNjdWIkRk1u5LtdnWQCWz55BnvdTpYmJKfnJR8H5kTQWROILRtSiO4Y6wAd0pTVXHVNS1TlJQ//mOjptL//SdHtWPuqAJdsCi0EAmmDJdsE2qxIGsF4fLE27rHwGIOCEzRNohV1mUx12Oqc4dcODn7rhBNPyPARuDA8mdYNAwYOFNw9xWp6HKHPDg5O54WEXYyK3k4eC//E4GJGuqm6zihAEPnbl3QzD4bsCT74Zo9N1wbPbdAJKS7XSq4yUVDLtjKyvDQ0wwcMSysmVZUekAA5a1Nped8gWOJtqyJSDRpsuAR2U71LaGWTjVltOHUZ0g2cTJotp0nx3OiTHojeVUGaimnqaLhYhwBY0CCAqAbr2YuSsiXfZ1vUUQc7Jtj4UmDlCq3GmP5bA9lr322D4YCE6dYdAeW4NB4lZEBuxqs//7nupRwwTuTcjkYleu4BxwNy2UypAlKgjKgUdnOz+VanNEIGiZnBg3TbkyGotVjRt4BEzDkqQ4dXWJ2lVTsoDP5DrrnHVBkzMkYc2hHUYssxyUzzJF//zuz4533VaSnQ9XFgfFjbWX7cjoJ5vA23cFGr43YU0KuNEewEb9wb2xvM7fUUM5zca0f3jkgx0exe66PUmhJO73XZCd7XnaFEk8NOcG+EbzTDt+3ZWCUXJGRYDg2DZDDXl23Cq4a5mex7+6wNWNOMZ22wdDYDuX0zkGgzkGObgYDNQDqbgYSbgXibgew2A5Qv4AwLuBh24NYjITjur2LpbAYSbAbt2NT1ltFmIIfqJxnwrqydzUDDzUC9zUA7s//655Q7Xx4HNgG+ZEcPaAb76wGdd3YNmSnoEfDXAh7Gigtk37eijG2JF0GHKbSlZx12MZvfaSUioHoY1cu71EKHECpx77Tj3Gjr32XPuu6DM2LkHpKpp6t9XK3QQmoGrn+shgTMxc7j8gXM0XMHO5oKxXo5Ang+NUWXQmdrkeTqpA8Cgcj27gC2hWu8wUSMq20ZUaChBIyp3OvA4bD3l7PQs9TFZ4OwbBiRqk30YvEmRCwwLQHUNw27E2aFQuQQznRwnI6JQ2VKo0LEFDCp3GFQOGVT2GFQuu85hmI8eISnBgEFt6DK2JWCNpGIGlYtfCuw5GdFsYD42HJhBJyp3xgNzOB+YvQHBfd3BI4K5OyO4jjh79hzMDL4Y8J3RopvsOSBTGzPYCzk7XCoHXKqnmRGXypZLLUgzAZfKo//cp62pFFTI8up1Ou5AT5YJky7o0jwO2f84r7SY4xUQ2j52odQwO0hhgTR2PUdQ6HYtawWxhdocJLdKYoqiVJy//enzqHxfEE68QZEa2t9193cOwGF3UyQ1NHJSZfJXgSGBhELatsW1ZhYABaViMSaQ4TrhOROmECYGZ5qsE8VXGHzKwjX3+Me814inaM6dCwMYbcrC+Bng8Ztb6KbX1FrySg9bV+paI3vJJEY4vFji3Gr9Tt325xEr9S4O7LcMjdFzCmuGYKb5RSkNMUS8nC05kAJStDXJ0jQ5TTlMEpRejaOBlgLb2AGcadaPKwjRPA3V40eqfvpbKgU2VPevouySqGpOoBYpk5rm8RKYMddkxomUGXrHSGHUs47Fi8BGx//mXECVrrDjtmNrpbFBNOOG+Mt9iTTRk5BMCzJC4ZrLU//WIRLrEteqnKJg+MDxKMd70yU6//VTcPFYtJsDeij1ZrF7f8ARUoY96RkKwdlsIhAT1UWYd0wB6Y4Vqirqn//BRN6PCqlWowdWYdCwVDanBcItGwY7HDjvM7sElg2LHYYcdcr0iEcfGGHcse5oIAgNvfBDC5l7MXrwbFjtVpDlOMu6QkOC7ViUskOjBV2BhzlG0TQNmKPUO1VgdziGot4w8bc8bGnEEr+FBVZ9xCUgtoh5Wa5bjs2ju3vKOaHCkBGyVA2Xzh3tya3kgSAf2xUme1OnkL6fTHyu39sRL1x4rtj1VkH0B7rHTaYyVsjxWvPVb27bF8g31Aw5HrMgWxhR+NpOI6BRG//TsGzD1F//rBzrjxVAyEqnP1bC//ljx+mP79gH3xwrojzUHtnwwbyGItZ3qIUe1T39jDC+d5lm5vXlWouZZsc2zgnQONM9Kp3lWwuZZUWdbEO0M7ZOcoM4hUrduhhM7n7yRVMchCkatezoXEbuih6b2iQKHyE6VrZVAQ4dIPQasq3MZMmCiwCFqTj3d50PyXic6o18EMb61zslQUbQXFdzpXDykXQAHLDX51tspI85XsiHKYNwDTn4V28hSiz1HRJlkjyjrrzLMCAtghFMzecyrYFnXEuVA67V0D4dd5RRkOe0x0DDwyTEnIPnm1kLJUeRbvBl//NYoACSwl7iyUEka+xetZLp1J8DJiIwtGEddzfsWeiVgLqsSZfyl+5t+zsSUIhaUcahcXwAGLpZZqdSgRGSbFS610tW+bsdw8DmwDsV8TqiLghqX0XJlQM6P2WrHttTDuAXSwNN5bL//ABFPAFVYfNeefgWAlOjvXsQ3R2rNjDY9HAPQFjicUeH1srbHh+rHgHyMr+jEuIUcc+gOZaqdh3cQeXr4KKyzUlOEfWsw9Rc63Y5lrog4HeWnE3u0UYYW//th6OeCdZRCOisvbhFHrt4q5dU0cFztLj87eVfV3y3v98w+9vjj8eX+7fnl92nnG3z49ent8evd59////Pz+//f1yzYbZK2zqfiuZKiJGZ9pOrj+e//3g7iUbnzFy+//nhe4O0cGj3Xkl0eu2H3x//0fj2f4PH7////m//p7tP11a//PP8vu4fn7+Vd3////4tPcjw7fSH354ffr6eP+bb//ffXx+W2TfR7+dJ18defnk4X3Z2f9fXp//reX+z//WJ62O2HBZi//9Y1mJEr0r4Vaf9qz4MPNGv3qtO7asuMnq//vu71N//Mrn5//58Pzj7aRTe1e//+QodmrDh8h06DP4D91qhQwP6vy//Xowmv0a6nV+Z2LzlGktNZfTbJjY8i91+x5LQ9k//aA5NhKbt7ojOgEi06Oik6x6KAvH8sOKohg2VUKQuX+MQ+e7IyCdGUnVnaz82NkN2LZjUdlN2HZoaE5seyuXO1edgplN9M3V9lN4//Dr5MgupZtlp1Z2cwqslV07VHmRXdvY68ouMZQd7tSNZSdIdhnLTivDPP//nyU7xl4iV3dx//OEsvW+npzN224svN7INVfPmY+KSF7iq+2D3S5LtHmuHYU02Be6TpkHukCfSpU+weKX3APdL98aTIPVKCSWHtnHirwYm3ik+81ejEWz124q0CIljJqEOqPyVK+jhBp1LvmGhI6GvvONyAIlZqfJdVbEFGVKnU16xiAtOkLCU81K//eZkA3F2uRz6LP7+haAGeu20y5Kn5UqVKaaueX1PrCAQ+mfOhYCQW9umpH3tbryREPpuzwYF30KAuEDzz71nnDBR6A3VU2QW4jiWi6AmcIKdBwq7aCs4aFabjdXOA+pDiysnxoGoiC42jVHkBbL4FEVlbF6Rnsr7gQXHE0u9jD5LLiAnKK4qFkkUTU//qoicMVBu6vadtd61Uy76+a691dcIkMnhxrBFJwfq3Z6RbMEEfWj4lA////RXXAa84oEQ9TC4rDo48VXvkaS2JiMVUJbjigLVUy1rWq2ZYyy3g6K94dFyp2uNK4YqDZlK1+cp6CcLjSlU//6hPolstsHge6MjxMrisOhrXbxtJGEkE6WTcesl5xwBWqHblbr5oZubuFSf0Vj4g//tcQf9J0B8acd4k9j4s8rk+57zxmWXCkg//rSuLr84QFd//iOsEnTvmZJWBExbNgen+C3Izm2IJi0CTqLrTkBZMZphEKzCszFUSbZj//c8LK7CXR8jXZvv1uZgZnfBUQWM70XZsQ3KpepAosi5NKMxJsTypdJFhA//tgeBFFLsMQ8iRafJ8ncDHxYbxlt7PZkCHT+iaLDSN3jRxeEl4gn0eyZ0H3LKVKoTJAn0U6//qAb9ojnBflGN+kX1WL+oAk5QO//2iGvaLeoZoHGK56Qg5UO0caqrBoaY6wvMcNTrUVO2hpjCMBz2ias80rXfR8ExTD2+jxHJzwvgxLibU0S8m1FHrnXYVWxRzjTjmAuygWhtT77AjjLnaML7A3XkEcB4riltrXinPKX++qlpn24o6QdV2gkKHD3SCqu0Erdcz7AT1w//geenTCQR3oBFW3gWz9rMiQTzhCm4DhnjoR2gQjtDYmx//iIDhjVYweMKjhgVO3RY4084wjNi8n7yzfh5bMRWh68EO3yWTmahps3Nm6or7EuRLbTb6slyGb6LQyw4fLlqG0yH2ubzKBtMtthHal+bugruAF2b//nykNHyZdBGmW0bZfNZgTOQN2qhWT5rLfNgNv9mCdrNH0bLePmi0bTZtjDB5QOjabMdTVvLMxxN60fL3eVLDJcPEF45eSn+9bOCREJOCpcPdChm25LYLEGbOIChr7N8EcTsMFnkb2YwTDZ3hsnmcJisH//r2PM7cnta5PA60I+a61SvX1ccXl+Ia+o7e9ywyAMNms02Zcn1NkHbIlnpKSPaAesqWemqEEaUdMjn1xgdkD+uNMzqi020F//dtyDbCWFJcU5+jUzQxO3USWCBy6mTt9//zk8dDN7h272LREnaInAoZtqh//9W0VEGJFN2SaZFFNE5mnmb+ltbL8AUZVsXUFsgc27mxtD3rVdEGWU7sxXlGTKgkHJnZmsOZ7Zq8Vy//bp4BN6Jl0ASYOZ4JkKOhrNkOZYXGBQxlzZ2hrDkcyprFKWXvGxeBTdwZ0E5sg5rauIC+vmybihpRRHu5eMfe1BolYG+XmBTIEpECWT7s5ggkBTJgqurzEqgauzUbt2sLUEwfZNDSp//WZL3lur9wF8lVxa9fhkjBpW0luo8Fknz//NiNMqxlBK9VlXTuv5z7en5x+vazXo70+////f799P//bVhb7j//f//B+y//Gp0=
Turning on the 3d renderer for the construction below causes my browser (chrome on os x) to crash/timeout. https://homotopy.io/#$proof=eJydXdtu5EiO//ZWF97UeFLxESPU6AywW2D9oDApul6vbO9Xlhu3C7G7D//76ZSkmpCB4ylG6gH+yyboxDBslDMv66+//3x//uvd5+HT3eOPt5enx9e7z1np093Tj6+P////Pl7fnL69vzy+PXL//cvL//f//e//f5l1+GT3//dfbv7//Nfdv55f//vn65//3D4//mHL9//vPqf3T3evT7//9uH//7+bL9UiY5//fr+7e3+4ff1d1nT+//v7Pz79ktZ7fX26//+3l//o//1D+h8p+efL+d7////j5//funu7f7l98e39afXr8//PeyecP7zP1+e////vx4e3p+cfpRT7dvTye3v//l8eV0r093P57fnr49Pdyf////X1ehlfXoLWl1ifePl3Pt306//3b//fZ1Ut5PvzrdXk6vc//f57u9356sZXy3N1ULLxby//WPDF2lw8LtfS//lrF1+bm2vWl0//7avF77dFr6u3R3+ZNh//ydl+ZPz4t19fnv5+bi//zd//mvxnX2wzr06bTn6dNYuPpJ9rW9PxmvElX3ps70//7O03rnb88v//7p//+frl+9MfT2//bjYfTtb//eP//wT//tO7fdG0gfbh+Y8//n3+coL7hIKUNbF9en//7vJMihusN//Xe6QzLcmaj9hueI//L1c0uPpSr8oK6erX6Qy6b08vr2//zarz+//HX+uOu7Nqu5PIljaYkvLXmvln6RlgTS0vqKRTpqpZNb6QzVO+dGOgsSN7HMP1ONzOXSGJrLG42xTCZfJhNE0OTLhIYjCKLByIhSiCBKtyOI6CMIIgqlRexK6//RPAEHEgbQEIYjESkdDBJEeQRAjBFGOP7f4n1sQOKgEnzseAoc1pTTF4JhuBwcPHwEHD6G0OLnS4oTAwcmXFhMCB5ORDnMIDuYj4BAEDpb4c9X//XEXgYA0+Nx8BB2f7+SUEB5cPgGP8EDhiO8u+neUJgiOwszIgcIi1q2LsarXC0tpVCA5F4BCLROG9z6OVz5Nl7//OU82rL5tSdLbVujtP5L//PViznjoFxdlPOP4//XH842mqx9yhmS67ryzRqarG2bFwXuRS+w+iO8+aK4d0+V+gfsg2gJeqjssS2rdCTHuBFXr0roTle//tIF46iNdUf97yqGJervV68Zsu0okVRnyFEeiYSKAwesgxUatAifZf1HFT1LrGWl2vZiOvVlsp+AJuvyChL2D7Bia+qN9ZbjeQe9cqHTaQGph//G3rAr8uBfEoN0eUKx0OucKwxEDX7aj8htdcAiNkAEal9tkDMBnrVN+TIQ870MbXPjNQ+W8s//x7cbyo27VkknA4hqpSQmmqxlE3sl2fdKsJHOASyz8UrgalmvJBuvpBZh5JXkEa9WnmKtKwRXq5OaIG87WaQT5x+Kn38oMP9QgvxDOZR//KDD//sP+iOFwoFr6ldlxiI12CiK7IETNWbIRXzDPrd24jvBtDnONGusQBYWALS0HaVYKAsJiAEGlXsQAunoVZviEKCMfhY9o1QhdoBKmMfNwWjsBhqGxhMcFdJZsxzlaMfrYC28IxwPZosI1Wa7TYHj19WkQYYXvMeLXGcl0tAqs1DXC1rKGubGEnFTuWWNqjK+1xRLZwHANpT0ds4Th1bGEnOp4sfKd0gy2cggTGRO0XIFs4WWs8GczX79wmNG6M6I//bwin2NAJbOCnSrinwNKZDnsYEABx7GlPkaUyOp9HVrglp12QNNctxWzhZLNe2cPI84CXPPcTZuTT46TlsDU9XBBHLYPCNVuz0Z1ZFB8+qL2n9IYJ4GgSvWhr0Pc5bDSNat9MNOw59x0c8PbgjeV9Tzv8GTOPp15HoyxHjePozxDMc9xRP8uq4imnwML2+wk1kCTKQKcWwDqxQSgnCOkWwTsdgnQCsUwfWKYR1+jCsk0JYJ0CkVL5ZJz+VEJc3VA5Dxz1LKfamU//L5FcckpcCfTumQQ52ShXVKsUudUuRTJ3Kc6jTrW7TxbhxY//ThAEdYmqeOqpStjiCU//p7ActSGCJomC7Fwik56DJols8qM2SR2HLQF2sPbYuiaJYmMd2RPCmKTIVpOx1RCTZG11Ik8//V1mMISanj2KSYfCQyDootX//TsycMQF3bk56Lwx1Us49qx55wBGo2oIZrxxbUydXPtVAjSjunmVqEVSG5sxcwdE0TW1Ne7wU9e8IdS86+JU8MqfLEkSnnQ2R5YsiW32BP2IK6sScXrtHHpAQZPUv5QxdHYlhHJkkIwloiWMsxWAuAtXRgLSGs5cOwlgxhDejB2iT1PHexAeV5wW8wSYAETFJt1WnmPDYmOM05440KTnNCTq674fn9NzKYZi3d2GCaWfSNDSat2GCaKeeNDaY5n3xlg2nON17ZYJrD3HQty5uZ53QtzJt9hLS9Gl9Eq1dJz//++vRxfnre9Hc//pt7S9nlzY6e39ZP4YuhK789fQ9n4yEwG0vZ+MhhiRejE7lV4Bo5p0DQ25vmUQvyRLqs7Bw//Uma0kc2PfUY+IXZGvEZyV1CK2ku7JBuLdvNGHzuNVe4JdapKGd8kIN6gtVoKHSsMLQ1AgwMlQK4hSNqwSSRmUCx//Zf7Dvh//dfjYRugBAnRtHGtzTVTeOe1xrKTG8p+bshTjRxF0dkmPxm9PeJSswkqm28Jw+jshdFZO0uXJ6gaGWSHtK30CdUmd9JDkdpk7LbmKOTIx0KObHeuXLs+uROA5DAAOaREKL3qKVEGGdI6oWFrPWq4lY4aqE9hpJKgGpRIDcpBNQCcbLK5lRqXJVSD8mE1KCNUA0Daau3mWA63kVRHDUrg5hasBiVSg3JMDQpw4HrAB5zsRYt30jBpiGbJbyqSgfve2EHzeLtRHyM0jwfRPKICmQ6axxDNo4fmcYdmZEpowP4OoGnP+N0tYPZMySqpDprHAM0tf7TeMkLzeAzNI0Dz2EHzGJrx0csjTb0CiwmWTyVA2rYVObtwqZeYmDpKMAVKMK0mvWnwiJTA0rowMQF4XVOls////KTppiArH4VBucqRJbmrxFX18wcrwn43jDvMVkHe9aiTpUdpoixE8G8fglUOb0ppcIvG5bkoXfIaS5DllzGkApzRAXPdIQRYk0eFFiT3NpgJpLgMvNtxSQ0ADS//0MD4xi3NAS4pcHglsBy0QCyoYMJGOsmmyEKGA+UXUBHF7dgId52qH2tKfYuaAgwTYOprcGAtHaakpcMXfvUhgiQc5XzhwCZYG0ngV7MugKf4//wfIRq3tqvksrqLmFJQM2bLuiEeU1xoQ8mv6XUcOUpBrQ0lU2wDE1eUbHaUktmpuF6SqOCGklNxQ2lXfggdOVLkyBHicse6hNBAoJFUp8M4cOSIBuTIEUWUABlMIEeOyEKbyKsMX3s3o0ZjminaD2kfJqkJkblN8edxR44As3vxaXZWT25xcYismW//yBT0z2msPDfpDPcUMO0QBX5SQYqImUVvMU2tK2CZK7FQwEO//YYqiYDPMFBMjei5Jv0rfp//FpSPbI3UkyGtBhFbC9Zthdui4DtpQ7bSyHbS26irKuYDGkx6rK9o1c0ucoJ0GK1LpKNWBoxRYXvppQabouA3NXmJTwIrXeIbTtJMD7C0d+Q7hUbLgxIfwUYd//G+ZVlUCY27OMad5qbND+gvYH8vtuBq3eMMCUns1YT6K7CAmCTyauRQCTEBypckLiImCZ0acZyavv4KTHSTAPPeVmvsNsK4rpgEFMm3G2vVq5zsytYi1DjnQnpz4pE0yLmQmpzLhLRKrTNPGucdScO8o8ezku60ajrOs5J2PH31PX1SrBNRWynpMZ1QoBPa0QkNe//gOdFwia4Q7LqnToUp6M7NPUZMq2QQ8tuOgT5Vso2oNgbBTlTzBUd4x+yOyJZi+JMSwSl0F7rJmi6hyTPtT9vlLyrArjnKUxcmHaH//KyMuJaX//KURbnCGiRGXdAmyNPPx8qVSbQvZqkzk//09BSwppcVu96imKxODfOoaRVUk8HVKh1vPqBeqRBU4RJ588XOC4AqXICfUzyFWERaQne+OO58X4UL3jQKAHqpN//DOYA//qtLXGKgwrdwjwpo137lJoq+g7Vr3cbtUjVpXGg1YdNbWOHas+hlZ99Kz6uINEQZAYM4QEolhr75x6ea+xY9XH2yExRlZ9PDTwhUZQzMW3WTzQ5tpYPFsd1iAg7nQNjdWIkRk1u5LtdnWQCWz55BnvdTpYmJKfnJR8H5kTQWROILRtSiO4Y6wAd0pTVXHVNS1TlJQ//mOjptL//SdHtWPuqAJdsCi0EAmmDJdsE2qxIGsF4fLE27rHwGIOCEzRNohV1mUx12Oqc4dcODn7rhBNPyPARuDA8mdYNAwYOFNw9xWp6HKHPDg5O54WEXYyK3k4eC//E4GJGuqm6zihAEPnbl3QzD4bsCT74Zo9N1wbPbdAJKS7XSq4yUVDLtjKyvDQ0wwcMSysmVZUekAA5a1Nped8gWOJtqyJSDRpsuAR2U71LaGWTjVltOHUZ0g2cTJotp0nx3OiTHojeVUGaimnqaLhYhwBY0CCAqAbr2YuSsiXfZ1vUUQc7Jtj4UmDlCq3GmP5bA9lr322D4YCE6dYdAeW4NB4lZEBuxqs//7nupRwwTuTcjkYleu4BxwNy2UypAlKgjKgUdnOz+VanNEIGiZnBg3TbkyGotVjRt4BEzDkqQ4dXWJ2lVTsoDP5DrrnHVBkzMkYc2hHUYssxyUzzJF//zuz4533VaSnQ9XFgfFjbWX7cjoJ5vA23cFGr43YU0KuNEewEb9wb2xvM7fUUM5zca0f3jkgx0exe66PUmhJO73XZCd7XnaFEk8NOcG+EbzTDt+3ZWCUXJGRYDg2DZDDXl23Cq4a5mex7+6wNWNOMZ22wdDYDuX0zkGgzkGObgYDNQDqbgYSbgXibgew2A5Qv4AwLuBh24NYjITjur2LpbAYSbAbt2NT1ltFmIIfqJxnwrqydzUDDzUC9zUA7s//655Q7Xx4HNgG+ZEcPaAb76wGdd3YNmSnoEfDXAh7Gigtk37eijG2JF0GHKbSlZx12MZvfaSUioHoY1cu71EKHECpx77Tj3Gjr32XPuu6DM2LkHpKpp6t9XK3QQmoGrn+shgTMxc7j8gXM0XMHO5oKxXo5Ang+NUWXQmdrkeTqpA8Cgcj27gC2hWu8wUSMq20ZUaChBIyp3OvA4bD3l7PQs9TFZ4OwbBiRqk30YvEmRCwwLQHUNw27E2aFQuQQznRwnI6JQ2VKo0LEFDCp3GFQOGVT2GFQuu85hmI8eISnBgEFt6DK2JWCNpGIGlYtfCuw5GdFsYD42HJhBJyp3xgNzOB+YvQHBfd3BI4K5OyO4jjh79hzMDL4Y8J3RopvsOSBTGzPYCzk7XCoHXKqnmRGXypZLLUgzAZfKo//cp62pFFTI8up1Ou5AT5YJky7o0jwO2f84r7SY4xUQ2j52odQwO0hhgTR2PUdQ6HYtawWxhdocJLdKYoqiVJy//enzqHxfEE68QZEa2t9193cOwGF3UyQ1NHJSZfJXgSGBhELatsW1ZhYABaViMSaQ4TrhOROmECYGZ5qsE8VXGHzKwjX3+Me814inaM6dCwMYbcrC+Bng8Ztb6KbX1FrySg9bV+paI3vJJEY4vFji3Gr9Tt325xEr9S4O7LcMjdFzCmuGYKb5RSkNMUS8nC05kAJStDXJ0jQ5TTlMEpRejaOBlgLb2AGcadaPKwjRPA3V40eqfvpbKgU2VPevouySqGpOoBYpk5rm8RKYMddkxomUGXrHSGHUs47Fi8BGx//mXECVrrDjtmNrpbFBNOOG+Mt9iTTRk5BMCzJC4ZrLU//WIRLrEteqnKJg+MDxKMd70yU6//VTcPFYtJsDeij1ZrF7f8ARUoY96RkKwdlsIhAT1UWYd0wB6Y4Vqirqn//BRN6PCqlWowdWYdCwVDanBcItGwY7HDjvM7sElg2LHYYcdcr0iEcfGGHcse5oIAgNvfBDC5l7MXrwbFjtVpDlOMu6QkOC7ViUskOjBV2BhzlG0TQNmKPUO1VgdziGot4w8bc8bGnEEr+FBVZ9xCUgtoh5Wa5bjs2ju3vKOaHCkBGyVA2Xzh3tya3kgSAf2xUme1OnkL6fTHyu39sRL1x4rtj1VkH0B7rHTaYyVsjxWvPVb27bF8g31Aw5HrMgWxhR+NpOI6BRG//TsGzD1F//rBzrjxVAyEqnP1bC//ljx+mP79gH3xwrojzUHtnwwbyGItZ3qIUe1T39jDC+d5lm5vXlWouZZsc2zgnQONM9Kp3lWwuZZUWdbEO0M7ZOcoM4hUrduhhM7n7yRVMchCkatezoXEbuih6b2iQKHyE6VrZVAQ4dIPQasq3MZMmCiwCFqTj3d50PyXic6o18EMb61zslQUbQXFdzpXDykXQAHLDX51tspI85XsiHKYNwDTn4V28hSiz1HRJlkjyjrrzLMCAtghFMzecyrYFnXEuVA67V0D4dd5RRkOe0x0DDwyTEnIPnm1kLJUeRbvBl//NYoACSwl7iyUEka+xetZLp1J8DJiIwtGEddzfsWeiVgLqsSZfyl+5t+zsSUIhaUcahcXwAGLpZZqdSgRGSbFS610tW+bsdw8DmwDsV8TqiLghqX0XJlQM6P2WrHttTDuAXSwNN5bL//ABFPAFVYfNeefgWAlOjvXsQ3R2rNjDY9HAPQFjicUeH1srbHh+rHgHyMr+jEuIUcc+gOZaqdh3cQeXr4KKyzUlOEfWsw9Rc63Y5lrog4HeWnE3u0UYYW//th6OeCdZRCOisvbhFHrt4q5dU0cFztLj87eVfV3y3v98w+9vjj8eX+7fnl92nnG3z49ent8evd59////Pz+//f1yzYbZK2zqfiuZKiJGZ9pOrj+e//3g7iUbnzFy+//nhe4O0cGj3Xkl0eu2H3x//0fj2f4PH7////m//p7tP11a//PP8vu4fn7+Vd3////4tPcjw7fSH354ffr6eP+bb//ffXx+W2TfR7+dJ18defnk4X3Z2f9fXp//reX+z//WJ62O2HBZi//9Y1mJEr0r4Vaf9qz4MPNGv3qtO7asuMnq//vu71N//Mrn5//58Pzj7aRTe1e//+QodmrDh8h06DP4D91qhQwP6vy//Xowmv0a6nV+Z2LzlGktNZfTbJjY8i91+x5LQ9k//aA5NhKbt7ojOgEi06Oik6x6KAvH8sOKohg2VUKQuX+MQ+e7IyCdGUnVnaz82NkN2LZjUdlN2HZoaE5seyuXO1edgplN9M3V9lN4//Dr5MgupZtlp1Z2cwqslV07VHmRXdvY68ouMZQd7tSNZSdIdhnLTivDPP//nyU7xl4iV3dx//OEsvW+npzN224svN7INVfPmY+KSF7iq+2D3S5LtHmuHYU02Be6TpkHukCfSpU+weKX3APdL98aTIPVKCSWHtnHirwYm3ik+81ejEWz124q0CIljJqEOqPyVK+jhBp1LvmGhI6GvvONyAIlZqfJdVbEFGVKnU16xiAtOkLCU81K//eZkA3F2uRz6LP7+haAGeu20y5Kn5UqVKaaueX1PrCAQ+mfOhYCQW9umpH3tbryREPpuzwYF30KAuEDzz71nnDBR6A3VU2QW4jiWi6AmcIKdBwq7aCs4aFabjdXOA+pDiysnxoGoiC42jVHkBbL4FEVlbF6Rnsr7gQXHE0u9jD5LLiAnKK4qFkkUTU//qoicMVBu6vadtd61Uy76+a691dcIkMnhxrBFJwfq3Z6RbMEEfWj4lA////RXXAa84oEQ9TC4rDo48VXvkaS2JiMVUJbjigLVUy1rWq2ZYyy3g6K94dFyp2uNK4YqDZlK1+cp6CcLjSlU//6hPolstsHge6MjxMrisOhrXbxtJGEkE6WTcesl5xwBWqHblbr5oZubuFSf0Vj4g//tcQf9J0B8acd4k9j4s8rk+57zxmWXCkg//rSuLr84QFd//iOsEnTvmZJWBExbNgen+C3Izm2IJi0CTqLrTkBZMZphEKzCszFUSbZj//c8LK7CXR8jXZvv1uZgZnfBUQWM70XZsQ3KpepAosi5NKMxJsTypdJFhA//tgeBFFLsMQ8iRafJ8ncDHxYbxlt7PZkCHT+iaLDSN3jRxeEl4gn0eyZ0H3LKVKoTJAn0U6//qAb9ojnBflGN+kX1WL+oAk5QO//2iGvaLeoZoHGK56Qg5UO0caqrBoaY6wvMcNTrUVO2hpjCMBz2ias80rXfR8ExTD2+jxHJzwvgxLibU0S8m1FHrnXYVWxRzjTjmAuygWhtT77AjjLnaML7A3XkEcB4riltrXinPKX++qlpn24o6QdV2gkKHD3SCqu0Erdcz7AT1w//geenTCQR3oBFW3gWz9rMiQTzhCm4DhnjoR2gQjtDYmx//iIDhjVYweMKjhgVO3RY4084wjNi8n7yzfh5bMRWh68EO3yWTmahps3Nm6or7EuRLbTb6slyGb6LQyw4fLlqG0yH2ubzKBtMtthHal+bugruAF2b//nykNHyZdBGmW0bZfNZgTOQN2qhWT5rLfNgNv9mCdrNH0bLePmi0bTZtjDB5QOjabMdTVvLMxxN60fL3eVLDJcPEF45eSn+9bOCREJOCpcPdChm25LYLEGbOIChr7N8EcTsMFnkb2YwTDZ3hsnmcJisH//r2PM7cnta5PA60I+a61SvX1ccXl+Ia+o7e9ywyAMNms02Zcn1NkHbIlnpKSPaAesqWemqEEaUdMjn1xgdkD+uNMzqi020F//dtyDbCWFJcU5+jUzQxO3USWCBy6mTt9//zk8dDN7h272LREnaInAoZtqh//9W0VEGJFN2SaZFFNE5mnmb+ltbL8AUZVsXUFsgc27mxtD3rVdEGWU7sxXlGTKgkHJnZmsOZ7Zq8Vy//bp4BN6Jl0ASYOZ4JkKOhrNkOZYXGBQxlzZ2hrDkcyprFKWXvGxeBTdwZ0E5sg5rauIC+vmybihpRRHu5eMfe1BolYG+XmBTIEpECWT7s5ggkBTJgqurzEqgauzUbt2sLUEwfZNDSp//WZL3lur9wF8lVxa9fhkjBpW0luo8Fknz//NiNMqxlBK9VlXTuv5z7en5x+vazXo70+////f799P//bVhb7j//f//B+y//Gp0=