basics/function.svg

<?xml version="1.0" encoding="utf-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" d2Version="v0.6.1" preserveAspectRatio="xMinYMin meet" viewBox="0 0 820 2204"><svg id="d2-svg" class="d2-441724421" width="820" height="2204" viewBox="-89 -89 820 2204"><rect x="-89.000000" y="-89.000000" width="820.000000" height="2204.000000" rx="0.000000" class=" fill-N7" stroke-width="0" /><style type="text/css"><![CDATA[
.d2-441724421 .text {
	font-family: "d2-441724421-font-regular";
}
@font-face {
	font-family: d2-441724421-font-regular;
	src: url("data:application/font-woff;base64,d09GRgABAAAAAC3EAA4AAAAAStAAAQKPAAAAAAAAAAAAAAAAAAAAAAAAAABPUy8yAAABRAAAAFwAAABgYos/7GNtYXAAAAGgAAAA3gAAAUQGoQgTY3Z0IAAAAoAAAAA0AAAASgT7EWpmcGdtAAACtAAABxAAAA4MYi79fGdhc3AAAAnEAAAACAAAAAgAAAAQZ2x5ZgAACcwAAB/xAAAziKPxwbNoZWFkAAApwAAAADYAAAA2HbmNu2hoZWEAACn4AAAAJAAAACQIAAIBaG10eAAAKhwAAACuAAAAsGBjCMxsb2NhAAAqzAAAAFoAAABaIE0USm1heHAAACsoAAAAIAAAACACShPfbmFtZQAAK0gAAAG5AAAD/GI4hOhwb3N0AAAtBAAAABwAAAAg/34AFHByZXAAAC0gAAAApAAAALJqvdaoeJxiYGEKZZzAwMrAwNTFFMHAwOANoRnjGEQY7RiQwAIGhvoABgZvGN/d39+d4QAD728m5pZ/ixgYWNYwZjEwME4GyTFxMM1jYGBQYGAGAAAA//8BAAD//0WuDQ54nJTOuS6sARzG4ec7M2efs2Ds2zCWGftWiE5DRzJ3IBQmEoTRuCFBiEZUCpfgDigUusmESvGXfLXGm7zlk/yQyEiQk00WsaAgK6+gqGzCpCnTZsyaM2/JslXrKjZtq9q1Z9+hmuMIUlX6UK1YU7FhS9VOqg7UHEXEY7zGSzzEU9SjEW/xHI2ox33cxW3cxHWcxGmcpT+Pi7iMq7T380t06NErp1mfAeO6DCn67YuMrK+++e6Hn375469//mvSIq9Vm3aduvUrGDRsxKiSsjHeAQAA//8BAAD//8/IQ44AAHicYsANXCGQqYOBi+kb48v/3/49Y9oAYjMJgdgMEhDIdIHRCIQBAAAA//8BAAD//3zCD294nKxWaXfbxhWdAUFqiSzJ1mI3SNOHjKG6xIBWWsdhbMZRMKIYR01Ly3ILOE0LiJS7L0k3d9835s/codpT91t+Ws8bkKzsWO7pOeUHvjvz7pu3YgAITRD3sm5OtP9ILN/ZR+Pu/QzXAlzJiwc0upfBi8p/zYt5MRiooyAMIXIIo3bHQgpTpAmkBhUPEnhahSpMUNM0PKmtb4jUYM1QUaTWWzepjWoGnjl8SFhS8Iwph/D7D8ee55kiRXj8Qsi74+UNmb5A8IxKx2tyzRSpguhnx/l4U3rOoa9Ri7FhMvaHTWMmhICGhI/68Lfuj6/Ic6Y76KLRzULUovzg3SxUYTDKCP1+FmInDwhtRu08J1uxyyGu9LNwsiJss36bmR/1M3pAo1FJWOxnRUAg1i0yus7oehEUeZ4H8CIsmQHEQQaxz+QQSybYx4uMXtwvH62KATMe1cVRng/LHDLO80kGOQ2xaVSaJ6hr6hL8qBwS5kw/w5xKMa/SIAxzyCJBw5UbtZiGdu4oJVZyukEVPv/DK7oD1JshYd7QiEaQsd2uR/C37mRFPygP8kzlYU7YuZtBxgHXZRJKgjmNBROPhVe1eV5jQaWKIFRawjt6ADmALDDXTLCgiaNdNoNHvjgiPgE7Rc6UYtdFu6jHC8vCdNNmOBuc5/Tjg7RUnSJjBWHgRwV1R6rkprpii4AbAgqwMysYapEqdysX584wx+V+xsY7TzNa1i6hk3NLotbtZ2GgwrwZJljR1vO6GJa7CVY1ZEGEFfM2H0BYUWmOVV4dZIRV16/zmrDqikKPfDEYqRLnTUGjgnBepSrBBb1/mFl/uJtfxrlj9TDBmt6/k+3frTaDML+MNbe/rq24YO5l9sIFA1mmOB/zIwcvSu0K/616UQq5qQi1qJ9ZLh/8KB2NiN2uNkMFWU5xUOnZxIvcTo4V08Oq6RXwHm/WGS20QqypXUgDcWsspXTd2tDCCq97mOGCSqmLZZXinIJXpFT889IlKc6LNZGmKVdgXaWQpV2fj/FhHLyUJ9jUVmzECS5qK1le0tZj+Qltayyf19ZnGWhbZ/mCtg2Wn9R2juWL2s6z/JS2Cyxjrab1R6PYP8wUtSDf46clgT6l3Jwp36+UySnl1kz5QaUkLbASn5knZPmPKlXO83R+obaC4gQvaStZKm09lpe1rbGMtPVZbmlbZ/lpbRssr2g7x/Iz2s6zbGq7wLKlqeMG9qqmApcKMgqyMK6lskCLZ3Zb42qMq80EL2uiHp3RTVW2FV/sz2QEnP1npy22y40uTxxebtq63Ohm27nL8nOnynMW55qmV1zkr2gx4XQ/7hMyfmosvC82/y74t3tLte01ucG5XtfUod4Z8UOYsp3gVd262EnQ/m9USDNoJ3hNW09sRtSiHl8J8KLbo1FP9VRJ2VHAt65Kx20pN9abCW5oiE1cVCn8CH7kaHZJpHjOxMejliLqjNoJbj5Oo1Z1HhoqnbIJBd8pO3eyE5/qFJz4W/Xn85Rv2kVDI+Us1F6BhnnycS34tqveSr4phgp1Uw77GXxTBqibgm+6J21KRQR/S+2V7UBh0ezxG2vROC8FPc2Jqu7Uhim4GfWoRP1jp8Lf4iAiDqIWFcPJTfofX3mCzrQWRIT61qQWqtNO8PpMhUWn31M9dspdvDUrISdTVRriMGtRR4XufTvZJI5r0go0ItSj26e/XaomPm3aJ91SPPJvnIrETNtV8AfOkylPW7yjFbW4inu4aLJ+cJBn1MlbdluuxwnefEx7EPQf06ZPtX2WhdG4ET/L4a7GzXhE1OEZG7XPpqJhWtiOE3RdyjyfW1XlSyyptEqdB1RRh1qqPTl/T9tFP0qnJv/jSPf+X1PMOfE91lHtIDw1L2E+ibOnrbgRT6vylrbiZhyqSV0m2cxKcFtDbFSP/VjwE77WwvVmgrfP2N/XVsj1NbzaTPB5jdeaCd7hKnYVtWhvpMpptb6geaDxTpzgi3osxF6coK/HQjK4o8fS7RzosXQ7d5nTixMcMofBPeYw+BJzGHxZnwghTJwg0yf86RQnyPWJrPbu6xNZ7b3LPMnoK8xz6D3mOfRV5jn0NfbZjRMU7JNByT4ZHLFPBgPmvBUnGDKHwTFzGDxgDoOvu7h24wTfcHEx+qaLi9G3XFyMvu3iYvQdFxej77q4GH3PxcXo+9qKzqyBP3Ar7MQJ3q/gm3GCD7jobpXGCX6orZxwflRB5vzYceSE8xNtxeuzU3/qVs7iYQXZ4mcVZPrPtZUTwi8qyIRfVpAJv9JW3Jqd92u3cvTfVJDpv60g03+nrZwQfl9BJvyhgkz4o7bijdl5f3IrR/9zBZn+lwoy/a/aygnhbxVkwqiCTPhQj59zX7ZoBGPfq3UzFQZhnqcx5o9Ru9x/OH1ZJ/8GAAD//wEAAP//Y0wBRwABAAH//wAPeJysulmMZed1Hrr+ec/zcOaxzlBnqlNnqKGruvp0V8/d1d3sudiUqCJFUkXKFmlxEDW0y5aasGHrEpauDdv32tcXkoUkjkMlARnAQxLDCWwHMPKQIMmL7DzJCeAkFiALlg2xg733Oaeqm2SQhwDVQNX+17977/Wvtb7vW2sDhSYA+jP8OghQwYQsfGzyJMMYQzaTToWB77mOrTLKEUaEXAaKGabsABjBjNwHAEwBvyAQQYjcEYgQ9DRHiKCrkgRgGromqZKqyCBAuBIP28OGvVoObdGwy7Zbtsurq+FqY7UhGiIUfUlCvynL0vufrqKr7//jc0/ec5980r33pPvkkzJ+VpF/9P9IFr71o9/Cyz/6q+1vfKPyzd+sfvOb1W98C6LHgCoo+Jfxt+AGvAzvTJR1RBBBQPDlS9/2rt2dNABRQhE5kBADihh9ATjHe4BxuAOEODsCAThwJXvp26lrdye1mTlg4Azz/cNtR40PbwsEKIH7HzCfWu7uTtK3byL45LM3X779mUtntzaXl1QFbqAbsgjaq5V6YzxaWV1ZGVfr9Ua9nvyR/CzPflndIvEvw0EQBvGP7/FqJbKPfqqVerXChYEF5+5gZXVlPKo3eqRRr1crwiCC+14w/JriEp1ivCYMJlTXV9OqllGZjinBFBFGRK6c5Yqv53w3p2m2PHoi5YlUKCgj1JY+YzWDoOdlsjpj5nfXOoLInFqew7AuS5JcXCgI7quKJnJ+y5f8VBQ1uu0ZFBOEJZkaWBZUZZJJ9fXtFcWumBXXdhreK99/07DTlYpdNo2ygpiktIapbBflsCwpRtVQFgc9XZiKduzsSUeXdBGdOYIuBJjgd2ALvjxRW4iSzXUMdHbk6ehMgNAXAGO0BwiFO2x+yIvX7k5CQBA92Aszw9nypMAQUHjrcJ1SsguE0KeBEnp1d3diI1gdL7fLxUwIW2iLx6fY6OHo5KLji09rCw+HgyCIjqlaMbAwsL9Foku+JwTnwgtCzh+4XGgCoYYZqFhWNU7rNy90KidauvRLpNxuKLory92VZaMZ2vV/knOJJkQmKPC16x0zb5iBaytCWz9z3HLrWe4GqkW4IinbdxYRxsizK0RFurzwye10PvbZ4OF38B7+FpyAn5woBsKkgSibuWwBMBEEiwMQHDEq2D5QKXLFc0BI4kNyJTtpzc2iDENk/4g5AN0FSmEv3vfE7iREsDZebrcWFyrZtG0pEpxAJ6KoZ5Uo0LfwcFDAs0huxOFqYN8LguFgZWUcxXalWuHVSuTZxNTA6OTHPnesv/vFS7ntraZjCJ1JzLRGnRPPnllY3D2/8swWynQVT/Xb/oIfbFXOHa8Nbz5fvfn23bNfffWcX1vKSA6jnFlOYfLJl5c3P3165d4KpRihluZT6vZa44+dbcb+WgGGfwb/v3AN7r5LEcVoHl0YKGC6D4TYO4CQPY+uKPIQeQAIowczq+laHDhbm6PBYiOTgmvoWhI49fF4nuORS6IAOkzzAg6D4SCqDqN6oz5d8D0euaze6NGqZxBh4NtpgRFFmCEsRFTDqeMZRUEFKV2q2uNV39FUbjiU4tByTcKpMxrmVpactXPtQOWESwojis8WAsvgljCzwjy1M9H48kafm7VcVRUqG/3EsdylC5kwe/7dW7XtnO0qWvZK9Wf/7Wcba9mbnzlVVqztu0/dyJndSlyTBwD4K/h3IAt9+Ny7doQSU++F83jaYQhj2KPzzBxcuzvxZ4H16OIke+Q6AN6dL2N4Ynd34uZzCJr1XD/f1xTIomzk3XIlycqZR/0gcZ+BG4PI0z2SBFwBo7Nbz11ofuGN0uViYdlSJcmVatnerdc2N26vZbV0fVQ68fyFempwdfTkK5tf/nvLWmg5WloTWW344snTX3xm/cLqned6/uTMZn1w+6W19u2z7aROjQHwp/C34Gn4xfdO1TAmMzcEh24AjJ2dQy90r92dePP0enRtEDsQEyAY5ik491F+thJd+QpEmLwLCJG9KCif2N3dnZgI7tzs9zIhPI2eZiJoD6PUG9dH41EUYkt4BkBRuoVxpAkRBWLst2ql0a9XZ6gzhatgDlfjUXypWq34hAeCC/5VWxMYeYhhJch3m/VrwfjHP7Etk/GtQTarptWuV28bBCFEiUTCtSW94wcpy3X76fTQ95dq41T+aumElkUIYSqbNsVGwXjqvXuZYVohwnHUnCwRZ/HMSLdGJ9uuklJ8bTkYp9sEYUoktniiqeUsu6AKLEm6kGzdWMoVe0Uucf39onAV16kkHGLw8Ae4gVvQhA34jYmpI4bKFFNWR4SSy5e+rVy7OykDY/GRZaIji7wa84Go4nEE4Mcn5MSGGGd2jlh/0HBSBASMIrb/Ebfa3Z2ErUUEo8HiRmujkLNNVYYmakoiaIdR8if1Mwjj4Pa9CON9L0gKg0FWOZ/GOJ4V1f/S3RlJrUsvbNbP5bgT2AZTkWqnQokqS0tpLThZ717ZKMupxXL7yvGKu6Q0T7fG668+s5GxWyU/s/nZzf7zS2bB7U5y2VHNlC3vxOj6k3V3uVdYvfXkQvbUEmDYAAXv4r+FDkzgn1/6du/a3YkSoIgEAMOXs7M/EMOXdxNn1YBwxgk7AIzdHeCc7gGlmR0JMQZ7SOBZ7Ef3qs6NKXBC+X686THTSeNDrQAhZ2p6hJr1uhGcdye9yUKlkPMcwaCDOhFI1Sr1Bp+iTxTcjVFcRhJXDwezLDksJzF+kbicqAuTwCzqWSJslxgiDDEjjBpq58evZdYHxdFTb55Z+vjVfna5VLp4fqOartcUX3XkVlDMvPbDz584rlDVX91+cEVxNGt4Rq9d2Dz7xp3+dufivX5uVG1Odi4Xw5InwxSnTGzjMnRgf+ZSTCKafgCMEkbvz0pNZgdmERb7qfq43azoHLHanbgIatVSIfRtUxbQQW2ROKeeQNUhgh+F79UkKg2CjLOfGJz+3GV/bVRxPCurOY2wc6oTDG8N+lcXDVmTWpMLW+bpz56+fH+HO5WcalmS5nbPXS2f3ClXXOEamaqvEsCwAifgV9CfgwppuP1ugJJi6sTlkjCECX4uKnzxq3rR+2UAUQQEwT4QjGMah/diwyd2J66uIXBtLa2nBAMVqRFiuJXorZKEIvPfoxf8TLpU8FJp1yxm/JwXCIx+PgjswM759vv/1E77jpcqIRqfh/fwbfhzeBOyUJhkMQKELgMC9AAjgNcReE6ETyTO4/EoRn48q6FTpzVcSmTKs2ks6YxpIh2qRq4z7L3iUMEULvJZIvmK4ikN03JGq/1CXMMKD7+HrxIX2nAc3p6oKmKw0cAJxYu8lI+fAqIEAIBMXG/wHicYYx9HGZa5djfGWfQAABgFtv+YSVy1DlcBYz++C9njiBCfRBnldTsAK6PO8e5xaEOr02pIIt0OZ4QvCKdvOxz4Hhc8SqYwKlsRnhi4eiSVsO8HwT88e379E1841ejkkKQQIoRVCBGyTE5xaHhC0XDt9seWef/pa/2wXVh77mpXGZnOy6cnbzy9SlVz5Xgq6PqdKtOlN//b64O9YbaYLp0JF893t5av3mvVJ43O5WfG3Xo/xoDvoe9jB6owgF+fKH3EuI/w3H2lSNlhwvA+cD7NJ4oIScqJP69RBUDAGUqUYGz/qNVkASgmhP7EI3Y0ui8h8IyY1/90bQFBp7UwqA0KuWzatRUJqqjyKIFO+EyUf14BDwexWwXnZBDjcezFIEAnL3/h/OLlF092L3Qap250G6fzC2vHM34rXau6zYvVy+Nhq35hcyE8a3b3do6/+vHVyla7d2NS0436uGyyUlpQhCC32VscVjcuNjQRxXn14X9CP8R/DWvw2+8aCPFZNtaBMs4oP8AIceAIDkTMRxiLgS4u8h6fuasxswaOGEf3MULAENx/dA+7kp10H7OEmPBGwpvhD9rv7k58BPVauRi5Thacwhpam8Ln2J4Jiyj7PljEkgogKgauRhWd/46eymkpvdbcKqLeU2e0VqcYKKqvGzmrtpzXfk64DVuUm2WBKSVKM22hr7KqYavs6sEloviO5XPKeH3rQtVXXRkzRrN3Xnp57DZjLfv+d7GDHbgDv/ruNSSkmR9XgXGJM+kAJMElcR8QiTTpwSFGghBT7gARG5YRQBBF2PijdlKIHLj/4ft2J2kEO5dOnlgdL/c7rWrZNiUOd9AdRQRtFPGK+qE0GQ7iPB6PGrG6rR4GZOzJWe8hgcppAyOK1tD3DIrq1VNdjl1LNgThRF/ILq7VXEI5CYZtxVkep2uTxtqzX75UGlga41rBtp3lWycXwlpq2DX8XitPZU11LI6pXhhde/+7XqukGhIjDCuppQtXCgtPVgp6YaUpm6VgYat+5mde2c6llBQRMtc3rn+831wutOzUsdWWUFlYMi4v7r+yf3sACDaA4fP4r+E47E1UGWHUyGAS9xWKM+VHIuWHkJvQurnyywGhQAkcPGJzVPyNh53WQsUy4Dg6noi/hHXXG6Mp0kx5XETqEkSI3D3t9cQK8LDP84maxThBRuD7AmNG8y1XzZv5k83BlijRsKSHTBSdXE+rnj9d4B7rTb68de4XvtTkKvMy7TW3ujdYf/EsK62kzQWzWLs0+s8Ft14KnvxSdqHRsDr7+105wouz8GfoK2gRHKhNKvoMyyDWFfB0BG5wFYEqwEEmmQraUXTacRw06vwZS7OWzx7brCmOIvo/+WeaUcSMEYxSLvcQlgHDNTDh+/gHoEIb7rxXd/EhsIdzQI/d7cWS0YmQ6LGVGNejlSmw57NaW29/JLDXY89v4dVZxAoDJ8r6W+VGp1Kpt+8YJkNckgmRfC90EWKmihEJ8P9VTIfpYjZI/einFtYKRl6n3c0NW29XbYcpvPT0Cz01b2RaUSw9/AHewg/hNNydKCcbDqPRe0/fLEieHGMviSM6Q4c0YEQQJgeHMTZdi+Xb6jifVWU4jU6zaSkbuwkRS57fn5GJ2XsRUWBxys7ystGjDcH5PcOpYzsMZYaUxpXjulZ13bJmOAumNLl1M0/apy6eHUhqoDiOnKu5FUPubp3a9PPEVTzNRT/9Pbu3kDWr9qlfvKFlAsYdSVI927I4zZRLCil0l7tFJpmyadhuTs8pvNBsN43/blgxR3rq4d/BvycGFOBsIq60OUVKkNRLriF3Z3btUZPd3YmKwDahgAoJl4q0flyDZi/vCY5jVcS/6noSQlw1ZSmray5KG8RlhU5Hlzxl8Pb/98sb+UzgUU7ffP9vPj/YWQwq8TNugEJU7MAe/Om7LYTndXkEWBJS3CpjkmD3E2Y9LcreDkhSXFy9SAE6O/Ij3eX+43spcCmqyAQkTKT9eEuUW3uzfZPB41sYSAw+uPPIpt24lN+6cfH89slja4N+pRR4lgF7aE+Z5ejKOCko41FS0hNBc1h1kv7T/O8gjElafZwoSh4xt2kDuhFLTBI3mvmrlscwIU6mUDQwJ1wlki9JruL1sqmMwmXKLK3gVAO/l670UogjK9Qdrgd2tlNz3aypW1xIxKWy6+r5fMrC2Mv4RLEU16ierp7Lbyzkjgft135MV01mNg0jq6XzGV8LVXXZameGQZBdu974C6vtq3/kjQfl4a3hyY6maGX9rjNqFHv9OuODE2MpdOLz9fCrOIRt+MOEipgWwihEFLdzUQ2/nH3kCqFkplnDmZiKxwjeDmGPqFR/3iCMzuTI4uDa3Q/FCdibw0h5voxwVGYfM0IQ93FsBMfWlroLFc+BbbQ9bSU2ouNZmZ7reHpuBeJPU6IQlbgw4Tk9nBxbBCWC85dNgzCKEDW4qqQ8gRDjzOp0ncy56uJWtyDrOnN01yJCD3wpVUmXtzcHNjMlYXuGbruN0lJOCfXlT3caBq8tO6K3PjLK57bcfLl38VZzfG0YZGy3/olnF91m7thT+0tWwzYMwNCEAf5LYsLX4B30lcR7mYvnR4Ty3/oHv/h/p1Mck+eRit9iGDR6Ofthi/Z0cTcRMGsgcemB4WDQ4C2GqCB0V0bCUjDBgnzKtTE2EdIw+hSoOtJA1SI+78Z8tPG/uV/H0xvAo/ujx18/uj/aiBQilE8xRIFgSvb/FzeY7MR7gXLGKTsAHWlI1w4+cC9gQDAj+y6ywUS2+QJgQPoH7hcFytLXv47g6+98/bd/49d+7md++uCN1179iU+/dPf2tUtnT6+vLHVr1UoplzF0weFr6GvenJQ0YsKxsrq6stqPyVt8JSkWw+GROhEhTlQ95teml33hR1pkCkrVaj8SenyZcyG47/fjejJdS4ZX46h8VKeMqBpdiQNzdTUq6rO+YgTTfp9zEf+ff15VnDeE0UqdaCkcYVlRsFNMjev91GKqZWoYY0wt11RMu9zO9SwFYUGpwNSyLT8bBIrkyo5u4C9yQbHEJOKmRN3Tdc3Qcss5JSRYyALTbNGUg5+VfYwIpvpfLSJEGTGMz9k+JRHHJmF9nBuMwmHetqxAYMI8nUvNpUXZcpjjlJhbsaySWUoZueKpusmwlBNy3U/VuGe7DnlzBWGqybJlOhQLeylourRPKSKIUU03mKzLWKouViS/lF/L83SQ0kp2uvvdd13KMVEpoQ1NyqVZYUF2fIpnvfeXcQ48aMMrs4I1bwH9n2y6Bz6CUsFvB21NAQ95SdM96Qx9oD0W40ZyqhHHRSfPf/FS+3TN7qTPfP7pleGdT1/t3bvYbZ+93rAaTtB13dTy9ROvXBrevVa3zfzk+Qubn7zQuJgZX1sdnOsGzPbbmfTWwrGL1WQeqKBfwr8Lp+CdBGjVZYTIQMcM48vZ+V8cx33HZOA1E0WYEczuc8SAMLgfifXwsZlwPjqP+ViH4QeRMXswnwWXH1nn+AFwxh/AEZtEja6OR8Nep7WYCkwDTqFT0hyNpx10dzxzUZyAq0eyanUlVveB7xN/MGd3VGwrmpfWQtlzcymHUYlJGtfdHDclyeSSybnGvRRVKJcbi8O0a1ievn7+woahqL5mMEwQcST0ep9gxDCltpxOc5UzjXGDc425iEqn3n/nHyma4VgYy7ouxzG28f538Q7egmNwE/5mYqQRwSUkyBqCuF0exVwLMMEPAAkuED+YSc7MjowiqsQQpc6ONFWsl74dXLs7aT66g4BAROx/uH1U6jsfaj9lXVM+drhnsvSoOeOUM/rYf3N0R1Q/s5sbCM5ub9zcvDka9Dq1aj5r6HAMHVPmoiI6vS3cmB7jaD6pC8JH+zNRBfPilpc773Ed5oMf5cRztoIcijBCbuC6WGCU0R2Dku7aoHrypcnyrR8/bhUsrrEyIbj8q4M727X+habX8TpLEsV4YfD+d6u+ZIvnf/dueHrLyOlKWTBVBKs6N1ILjuPw1o2tjdf3jgmMUHj9qWaxg15eunKv019PE9ntFo2CZS14N8KiEWm/h99Bf0ouwDLYE2PW+Hu9Z2GRarPKfAB0CAXJy4i4CRwmbGMqPAR6Lag5XBcff/HEa9dyi6nQrEiOLGzp1LMrnY5cyBLJliRHFBGrOhqT2cnf+/Sd3/zZjmVrkm8ziVKJLX7+7QvH7/ekXIpwlVGF+b6u4qQHbj78N+jnyU1oQyquZvNuazEPbdQmU600y6jY/0eGWEcmq8LAbUtLC0tIjrjyVLPWEYGm541wUQmsqvPSa8deumQ0WiuK6phMECZo661fu3j6YFXyFDVQ3bywZVO/8HtfuvXNry7LaTd5vl94+BB+BK+BCpmYPcLeVMcgSETq/Amnqf0vwrCcD8MyKrjpTt5Ld5L7rD/8Afp9TGAFPvteVO7nStmN6hbawyip8TMZFaWVRxEBRHajtYRp+h/VsJgvJxyzWS+XchnHghW0wg8HTzOKmfQswiNcYNZCm8Z1Eg13VJViVVCELDcMVJY/HQbdXG45YzOZCVsqHvOqDT1axxhLnuJl5Kub9zfzxzwmUV1qjv1qSVP1ouN7BBEaqu6SVz/v+b0w1YkQauHh99CfYALbh/MPyhCj6GDWIZx2BTNJu2s+g6s+bkfiQcj+Uat4/jFc7nbqC3E7bBtti7ncHA7CWTdsOqKPf3r4kdHIfDKSTPSjIPth9vyZbl0XMmHUGI0K54cLgZI29IyxsFE9/rG+0+8VZZnTzkagLzazx/xRbmGzeuzjJvc6tb6sUZn5C26rmq8oTKFUolqxX+ttFbmVT2k29hxhZv16WrJUfWFYXz9XimKn9vDf4T8ivw2Fx3PEsQ5VdHyuq1t8Ne4o+F4EMfySq2Em3LP3Xth/9kYubSpCkwdfePBTLy9aXYdqQlWyz731K7/29S+265rrWuYTv/evf/+bW6m4R/yX6I/x/w9bSErotZFBlLQRo+sIUCSxjl7Ac4VVxCiCWAQHEMExMEafjtU1f6RDkD80o8AQZS/G5odGjXjuQSh58AHLQ6NBMlmkEYKzKBIOpj3lx00nix9mxePOM2WM3gFK2TPAKLu+G6GHi2DQXWyUi4amKrCFtsQ0iRLYGFf4nGfHZWm0Mp5lEhezjIo1WlRR41bGd9IpgXitn7I0WTwTuDTKamynQ5lg9Buyowhl9USfMEYQ1r1SP1Q9cf7rd7hmWCb2WMGQTFkyRamwYKndjpJyuRul3eZnRpUTReZpYXf6fZWCc/gv4BL81HuntzFhUZ0px5jLKKGMHABBlMRNeBqlDqV8L5IdSYrNmVHrI8w5UMbp/lHjmCEd3xgNOq1UaOqSgEvoUsKQ4oRKkm045ZKNI1/KPYqmsUu3yLSdKvwEgX/onz7Tcw3JLDv9XOXq+d7y5eslyfLVQFF9ORwuNI5la2u+4iiWaVnVta01e3Bj0Kwuj0e3XlC0VC0j29xWXKu61mytl20sXMXghGJMqVztpWs9P2MIncmGSDXyrrJ4rts7W883dkajGxvF6Zy2im38JzCBt5PCvAwYMYTZAVAmGBUHMgIBbwEBhAnaTz6s2uWIMbEnIcHEE9nJ6pE9EqPSAQgJJAHRXvjK0a1SslXaA4lJT8QdoRPHN4+NhoOlXmehks24NkzQ5LAjlDTpHyEmiS+nNIabyYBpEA5m7cR6tSruhcaJttwdtqX6em65ODyZYhrTcy5Th1duFMc3+ie7//Li6f5Ty3JaN3L6iuWXT9Z6f1g1gvEzDV6uF3n+8kp+WKx7TGaqrRvFcTMY3BysvVB9+4KFCFaLlqmWYNaTw3fQ/4BtuP7uRkSUZo1ioBTtEYSQF0fgM/OGik8QAgooCbZnjjbkV0aNWiFn6kdaKDM+c6SBGn8gNG+PTYlOPLVMqnsPN2Zg9wfDY2ksBJWE5ArX1ahQGDNyYaotn35xJGQROsR0PNM16oGwDaz7llqwqzeV9XvDarvX9Bbd0PWtoG53x+2i2Wpmq+rtb+6p3HI1+9LFwe2ca9jepn/yVOAvhtZi0D4JCJahgCl2YAyvvts5MhUPZh+fJC45ovkyySpBD4Bg8gAeF32HC5Hqg0dEn4mg1cxnbRPGaMym30lMQW/GpAp0iomrW/TQk7H458guDT3FlrxGBklmxlep6XkWUUuqmQso8zIZj+m+ozsI8cD8MXOpUC9ZFbf/4l5VOIqVam66G9sneiJdLtQUdXBiMtQ9XzUIJ6mdwn/MN6Zx8vDvCEXfh+vwS+9dWToyUagAQZGUP4hKN2ZwQOcxc+Qrnl4EQRQdOmJq/Dh/QBQ9AEroR1slKHD+7Mb6YiObtk24jq5PCQRp9Mh4+r1fFGPxp379I8OyiENv0dXpkCLRe9PmnTDwd/KdSmAQxBkltm/ompfWJUVWVQNj07Gw2ssVlys8SKvM9j2LmMzP2aqJiFpYaC1ng3Ge5fLiilxssNrGmUmgtZeqtOTW0irrv/xj97KGkS1LvHesx4vDWzeNpQZlnY2tvrxotCuWKnOZlZ556eMbx0fK2qnUf0gNK8k3pj/ABDuwA2/EXnzvTAkjjC5n418ImuG7Q1D8jRRCh6OPxO3RCopk2pGVSZBIt0RkHy4k4Xh8o9PyXdhBOywZjTemOTkjodUjEns1/i56Fqc4LODlaV4nyS4KJEps9M9MV71IA59oVbvING54pmaoVrtkFVTVt0iukmdWzdXVoqouVDg1jdatlmFKGSZ6pzoWKS1WhacYzpuikCNKM6gzXZgpVTatzHrRzOl64PHFQZO7/YyqZExjqSWTwO3cbhssqxry4Mwg0FYnq1olzMV+ff9vcQ7rcAVeTxyYjnKTYtg/TPJIIgd0lt/pR9M4Mp0ZTEqHawxRoG8dSXSY5rkOAFfgSrvbKnKRmWrd6Xeq40qPzD+s9D0ei9cwrpKPtgGTrDdIxCIN/IdEE1wYgtuWunW9HwhMmSlClwsJM6+Wbxwf+pIhJEOysrqu+5ZdN6Rs3sfIsB0d86D8/t9alpEzzIJp9pYqONO7/LG9lld3Q7NaDhdTijwc6cFyZf3ewK5YVk7PBIZd3CwUNwvO8ZMDzqr95SpzRotxjVh8+HfoX6H/CmfgD96lCOisRBQj0ocYPYio1WyUQyk8zdHRLn9+ZgYk4pYE7T9mlNDKGVyzyPb+DKAfMZ00P9Jq9k11ZEvh6pRUbqyOh9ViOvRMOINOzkhlYwrh41E1mdBU5oH/iLyN6WQMaIMZ16wY+EtmPUewlb149VLOWFjP1coBlaisNR17WMhvZau1hUGQOnvaE5K59ZkuU2hQrC458vqF04xajpNxK088cT5tqE706LIRqgRjwkQu4zcXg/DsuayiM6FTZHi+yzGlBOJvuhj+Y/xt8OAY3Hw3iw4/kP3I74Q/ols5bUcO+v6x4NhhO7JWmbcpDp0QNyTH/UStHf03U2oFjF449YV7HkWfeOeNwfPpztKdX7+3uHt1mUsUcWKztOFSggOqMi3rbu5f7da377Hx3iln1frc39/NLRz/0rmXvvHU6frJm90veAHBhqioJuOYIIcKKkT/5v768r3zi/A/AQAA//8BAAD//17ye4EAAAAAAQAAAAECjzD257RfDzz1AA8D6AAAAADcdfC+AAAAAN2nVnr/e/6WBP4EewAAAAYAAgAAAAAAAAABAAADhP6iAAAFKf97/gkE/gABAAAAAAAAAAAAAAAAAAAALHicLM2higJRGMfR3/cfduqWCZu2zOwyuzBhL+wFuSDCwGAU8xSzb+ALiMFgkOkGH0JQu8Eg2EyCr6BREewHjmJyG4P2pPqmUIPTFq8VTg3/GuA0IqjEc8RbRqIJn/rF2ZpUXQoNCbajspieaoK9UUcdghaE6INcS5xtXu5EZQfeLWNmc1p2I9OZL7uQqk/xfDQlKOEv8gS1cSpxduVHd/wDAAD//wEAAP//IBseewAAAAAAZABkAV4B+AKQAy4DsgSGBSoF5AZYBqwG6AeICCAIxAmKChIKRAqwCz4LkAyADUIO7A9mEB4REBFmEbYR2hJkEvgTMhQOFLgVWhXkFm4XKhfWGIAZQhnEAAAAAQAAACwErAAJAMoABQACACwAWgCNAAABUw4MAAMAAXicnJLfahNBFMZ/u61ise0DeDUUL1qxm1SxSAtCFVOEQLQV8XZ3O/tHY2bZmW1ILn0O8cIH8dLnkj1OZDdYkBICv2TOnO873xlghx9sEGxuAT/Db54DHoRfPYfshs7zBi/CY8+bPAq3Pd9hFPzyfJf94LvnezwMlp63OnyfveCj5+0O7wR7rPrvcgwUOBwVlhMGDLCk1JRUOCwRlpIpEYaanAETRox5T0GJRTHCMMOhuMSQ4ZgTU6NRvmJKSYpmhkVzhaJhxhWaGoWjkNpL3jBGMaGS2m7nca/DYxQf5HbrzUjtEZF8VcdZX3flJuaaWGaKSZjKyZxSfLSnre4Z74QdJ6hbJjSXT4RjIRO1HpzoRKQYvnCBIZE52hlfi/sxmkYUCj6jGdGwZMmClzQk3rHlkAs0OY3MUf8zjyFHDDmVjB0ZMQ0OI/n8yXWfa6l8TsRTDjpqak1Prel1+58zYcI5p//ttv/rZtVXGCoWknYue1A8YciQZ37TWvZ1s+u31Bg+oUnl9plkUMiurCSwvt3cv4W2z2pT7b8GQy59M/8uLQOyv9qHJD3tg98AAAD//wEAAP//pYWiZgAAAHicYmBmAIP/1QwiDFgAAAAA//8BAAD//yUWAZJ4nDSJMarCQBRF77w/Pz4NKFaCFiIKSlYxhNdZKRZJnSzAJdgIaXQteYRAYjbgrpRJ8FbnnItjg/c5UWOeaWlaBiO7KkZxhSUh8lSv7YxpMvCWFkHP47hjWIAQRoow7uDgemvxB4juTHFKSlck3nPRg/eGMQRIutK9Ty++wVhXZJff4VdvaB7QNGrM517ahxKk+s8DiHwBAAD//wEAAP//m/Irhw==");
}
@font-face {
	font-family: d2-441724421-font-semibold;
	src: url("data:application/font-woff;base64,d09GRgABAAAAACzQAA4AAAAASqAAAQKPAAAAAAAAAAAAAAAAAAAAAAAAAABPUy8yAAABRAAAAFwAAABgY8E/zmNtYXAAAAGgAAAA3gAAAUQGoQgTY3Z0IAAAAoAAAAAyAAAASgVEEfRmcGdtAAACtAAABxAAAA4MYi79fGdhc3AAAAnEAAAACAAAAAgAAAAQZ2x5ZgAACcwAAB8LAAAzcOhaueRoZWFkAAAo2AAAADYAAAA2HceN7GhoZWEAACkQAAAAJAAAACQIDQHJaG10eAAAKTQAAACsAAAAsGBvCNlsb2NhAAAp4AAAAFoAAABaIakWSm1heHAAACo8AAAAIAAAACACUhPRbmFtZQAAKlwAAAG0AAAD5F+agdBwb3N0AAAsEAAAABwAAAAg/34AFHByZXAAACwsAAAApAAAALJqvdaoeJxiYGEKZ9rDwMrAwNTFFMHAwOANoRnjGEQY7RiQwAIGhvoABgZvGN/d39+dYQED728m5pZ/ixgYWNYwZjEwME4GyTFxMK1gYGBQYGAGAAAA//8BAAD//1KODSd4nJTOuS6sARzG4ec7M2efs2Ds2zCWGftWiE5DRzJ3IBQmEoTRuCFBiEZUCpfgDigUusmESvGXfLXGm7zlk/yQyEiQk00WsaAgK6+gqGzCpCnTZsyaM2/JslXrKjZtq9q1Z9+hmuMIUlX6UK1YU7FhS9VOqg7UHEXEY7zGSzzEU9SjEW/xHI2ox33cxW3cxHWcxGmcpT+Pi7iMq7T380t06NErp1mfAeO6DCn67YuMrK+++e6Hn375469//mvSIq9Vm3aduvUrGDRsxKiSsjHeAQAA//8BAAD//8/IQ44AAHicYsANsiCQaQMDF9M3xmf/f/97BmEzCYHYDBIQyHSd0RiEAQAAAP//AQAA//+dLRBCAAB4nKxWaXfbxhWdAUFqiSzJ1mI3SNOHjKG6xIBWWsdhbMZRMKIYR01Ly3ILOE0LiJS7L0k3d9835s/codpT91t+Ws8bkKzsWO7pOeUHvjvz7pu3YgAITRD3sm5OtP9ILN/ZR+Pu/QzXAlzJiwc0upfBi8p/zYt5MRiooyAMIXIIo3bHQgpTpAmkBhUPEnhahSpMUNM0PKmtb4jUYM1QUaTWWzepjWoGnjl8SFhS8Iwph/D7D8ee55kiRXj8Qsi74+UNmb5A8IxKx2tyzRSpguhnx/l4U3rOoa9Ri7FhMvaHTWMmhICGhI/68Lfuj6/Ic6Y76KLRzULUovzg3SxUYTDKCP1+FmInDwhtRu08J1uxyyGu9LNwsiJss36bmR/1M3pAo1FJWOxnRUAg1i0yus7oehEUeZ4H8CIsmQHEQQaxz+QQSybYx4uMXtwvH62KATMe1cVRng/LHDLO80kGOQ2xaVSaJ6hr6hL8qBwS5kw/w5xKMa/SIAxzyCJBw5UbtZiGdu4oJVZyukEVPv/DK7oD1JshYd7QiEaQsd2uR/C37mRFPygP8kzlYU7YuZtBxgHXZRJKgjmNBROPhVe1eV5jQaWKIFRawjt6ADmALDDXTLCgiaNdNoNHvjgiPgE7Rc6UYtdFu6jHC8vCdNNmOBuc5/Tjg7RUnSJjBWHgRwV1R6rkprpii4AbAgqwMysYapEqdysX584wx+V+xsY7TzNa1i6hk3NLotbtZ2GgwrwZJljR1vO6GJa7CVY1ZEGEFfM2H0BYUWmOVV4dZIRV16/zmrDqikKPfDEYqRLnTUGjgnBepSrBBb1/mFl/uJtfxrlj9TDBmt6/k+3frTaDML+MNbe/rq24YO5l9sIFA1mmOB/zIwcvSu0K/616UQq5qQi1qJ9ZLh/8KB2NiN2uNkMFWU5xUOnZxIvcTo4V08Oq6RXwHm/WGS20QqypXUgDcWsspXTd2tDCCq97mOGCSqmLZZXinIJXpFT889IlKc6LNZGmKVdgXaWQpV2fj/FhHLyUJ9jUVmzECS5qK1le0tZj+Qltayyf19ZnGWhbZ/mCtg2Wn9R2juWL2s6z/JS2Cyxjrab1R6PYP8wUtSDf46clgT6l3Jwp36+UySnl1kz5QaUkLbASn5knZPmPKlXO83R+obaC4gQvaStZKm09lpe1rbGMtPVZbmlbZ/lpbRssr2g7x/Iz2s6zbGq7wLKlqeMG9qqmApcKMgqyMK6lskCLZ3Zb42qMq80EL2uiHp3RTVW2FV/sz2QEnP1npy22y40uTxxebtq63Ohm27nL8nOnynMW55qmV1zkr2gx4XQ/7hMyfmosvC82/y74t3tLte01ucG5XtfUod4Z8UOYsp3gVd262EnQ/m9USDNoJ3hNW09sRtSiHl8J8KLbo1FP9VRJ2VHAt65Kx20pN9abCW5oiE1cVCn8CH7kaHZJpHjOxMejliLqjNoJbj5Oo1Z1HhoqnbIJBd8pO3eyE5/qFJz4W/Xn85Rv2kVDI+Us1F6BhnnycS34tqveSr4phgp1Uw77GXxTBqibgm+6J21KRQR/S+2V7UBh0ezxG2vROC8FPc2Jqu7Uhim4GfWoRP1jp8Lf4iAiDqIWFcPJTfofX3mCzrQWRIT61qQWqtNO8PpMhUWn31M9dspdvDUrISdTVRriMGtRR4XufTvZJI5r0go0ItSj26e/XaomPm3aJ91SPPJvnIrETNtV8AfOkylPW7yjFbW4inu4aLJ+cJBn1MlbdluuxwnefEx7EPQf06ZPtX2WhdG4ET/L4a7GzXhE1OEZG7XPpqJhWtiOE3RdyjyfW1XlSyyptEqdB1RRh1qqPTl/T9tFP0qnJv/jSPf+X1PMOfE91lHtIDw1L2E+ibOnrbgRT6vylrbiZhyqSV0m2cxKcFtDbFSP/VjwE77WwvVmgrfP2N/XVsj1NbzaTPB5jdeaCd7hKnYVtWhvpMpptb6geaDxTpzgi3osxF6coK/HQjK4o8fS7RzosXQ7d5nTixMcMofBPeYw+BJzGHxZnwghTJwg0yf86RQnyPWJrPbu6xNZ7b3LPMnoK8xz6D3mOfRV5jn0NfbZjRMU7JNByT4ZHLFPBgPmvBUnGDKHwTFzGDxgDoOvu7h24wTfcHEx+qaLi9G3XFyMvu3iYvQdFxej77q4GH3PxcXo+9qKzqyBP3Ar7MQJ3q/gm3GCD7jobpXGCX6orZxwflRB5vzYceSE8xNtxeuzU3/qVs7iYQXZ4mcVZPrPtZUTwi8qyIRfVpAJv9JW3Jqd92u3cvTfVJDpv60g03+nrZwQfl9BJvyhgkz4o7bijdl5f3IrR/9zBZn+lwoy/a/aygnhbxVkwqiCTPhQj59zX7ZoBGPfq3UzFQZhnqcx5o9Ru9x/OH1ZJ/8GAAD//wEAAP//Y0wBRwABAAH//wAPeJyMunuMJNd1Hn7uq25V9aO66/3oqn5NV3VPT3fPdE93z87MzvS+l7sz+5CW3B2SPy6HXJFcUaQoknpQj/VSFgX7ZyWC4kRyHk4cUFLsIA8aEW3EchIYkAA51p9CkH8sAQqgyIHtRIAs2BK0G1RVd8/skquIWGC6q75b7Dr3nPN955wLFJoA6Lv4I8AhAwp48Phkj2FMwHMd2zINXVOLGUYFhBEmO0AJI5Td5ohhwvAtACAUyLOAEcJXAWN0XUAIo4vZLEBWySr5XEaWRODANVGw2oOoOK5aRd6oFqtasVpsjK1xNI54xC2+LIroK5J05wb6h3c+UEcX7/zto49pjz6qPfao9uijEn5aln7+T8UCfvjn38aFn/+fE2++WfvyV+pf/nL9za8CAIY6yPi38FdhHa7A98+/lb10bZJ9zznM8ALBgPCOd/CVILyzl0ICQBQogviNgCJGnwOMi7tEwAAqXPDOv+VeujapAaKEInIfCghRdwU0Q/YvXZsszJBAgBK4de+CGXayAJjhNx6EncL29vYm1vYGgo0r21cG3VYUlCQO62hd5GZ7XAuj4epoXAvD4eoWHo9Ho/EWGW/hQd80LdO0DF2o17okqtfCek3geaoN+qPxcDWMujgK63VB4HnCDf13lEBQkdH2y92lnCIKkuAFLpPLLbPacjPLu5anlYI8z+avKbWi0VItXc66n3RqGyuMcdtkiBEuiVQzNSZrhbK36hErCGyBZpRcJZcbbfWl4koYje3nf/iqorWCbr8lI8rF9rBfRUNEpIyRMY8OZSRbshx1WlkmAgCCEBRM8NtwBDYmaxEiWEeU9BFQshPbCwh9Nva3fUCouMtSiyFYWV5s1iueDUfQESExUxevRmEYxWaKbTSOzTSIjWToAud5bBjWoB9/ERRs6MmH33H8HEWoYHDGaEYWKaPe1gev1a3liql+s1ERxf+imXop+7tZEetKfbw5VNSKJhV4JitmsYDZ1Q+f9EWnpJWRhHoTX5PDYs4pIpmJjXMNdSWM369/98/xPv4qrMFH3m4gytBO6kF1wEQgWLgNAjAqsGeBcgQU3geEpG9LLniT1hyFgGBEbh6gAegeUAr7ybLLexMDwUq3FVUCy1ALsghraC32IDZ1nUE/wKmz4HotH9vAjD1lNBqHsfPETpZC8hgdf+Jj692rn9hxTx1rl3Wz5DXrgysbldq59Y2LPqGIsi+5ftXbqJydNAdXnqk/8oVHTv3Gh88Y0bCiuXZgj64+vTR6bDxZFgp5TGue5VNmDnprT56J0xCMgOFb+J/BaXh1Im0sVhglKLaLeunaRMUIEfQGECBvUHQ4Oj1AOLZBHEeYwK0k1GaQiQkYxaF239q9vYmCYLTaDB0LTqPTLI2pcDhcXd3GWyS2zHB1NErCKcDWaDQsrsbfrKKexzxP6rUw7OH4Y/zvpm0ICGcx5xQjLLlOIXDF9u7eRkGqWkZAMSGYZu3FamW9V/hHHDFGEBMILvrMqqkKpkR8KHf07EZG6Kx1mNqpevXc6c+9sVHfMNDE84vWne/zqBOJznglaK3bPxQXr50qCJVaRu03IMl/fQD8GfxH4MMy7KauZM1dZpchjGE/fncjNooxc5t7ru9NtHKAoBUFy+XlrAw+8uMYqta6sSnGiTHi1DIIsBXHTx5H/dhKB46Dzmw/81D0iVf889VgTeMCQziXx6HbvfLq0eUzPTsfLNeGV7eqjZ3Rox/a/PTv9bJW0cpYGaJpdPD89olPPXXkpc75q4vm2bMr7XOP9wdPbCZ+cfdnSaxchF9J07Z0vmHFxIN2vOlnTNAsp6sHr40pTt/4/FudS9cm5sEdwFjdndtDn4fRocupizx0utfRi3ARXYxdxErTbpxGk+ghiX+keYML8T/DSPJvElFx4uniqBt7E03sVOckT/6F44kaYnatuXVqs3j8U9d1hIl2qslLdtuwGoGbzeWMTKbeUORWOwg3TmyEvVOn7RXqICyZzHVGj/ybR/RuSbAdr1rkyN95qCWqIi/wpYGGJc7UJcM84ro+y1tKsdXIyF5QUzW7qNqNUqNZJPTOsXzUcFK/ufsTHOJFCGENvjnJ5BFDNYopwzvn35ITRos9JCFEYxcYS+zn7nIUp5j0cmLf2PI+YOz+IlAcyNX7QAmLpkhhth9lQMAoYvF+kP13IhJqbEYIVnrRWnOt7KuFjAQhCsV0j+JNmlJh4rWGLsR7lGxKGEbRzHPDcOa5f929NBKb55456jTKiliyfYPJRd+zOKG14eRofbtfyleD6nY/UGry4pnOYO3l/Q1Vwy2vURq/f23piSXDbFR7Gq2tVd/XPrVTdQYL3TO7ZadfTeNzA2R8Ff8UOnAM3pxkfBNTUkVMwNP8VgNBoPtAqbsLCCUvre2KiDHYx3yuRrqXrk0qQEFgVLj5QNxk4Z2QxLNTHJ+nQKfXxTAedo/1joULnp2RRAE6uCNxs92oxb5brwlTDhiNhqurUTiKuTMWF3yQJseDNJDYMo6AOBEUNEOJ5QH3VVenglLEyC1IZkApIq0bR3t76/1HP3IqunS81aktbKw0i9woRTKiNCM7Ddusmy/+xSv+WkkvmKXR+qvHe8fbu/0Tn7qx8Xw4udCsjGvDLa/QVFU3l/KGgou4Ck24mRqzAZgwgtltYJQwemsW9+4uzLwosVP9ftwsDRxC7U00BLVKUDK0oiJxaKImT+0TpgQxpc8DX4rpc9A39DxBhbP7Kyc+umMdGdUrlh2GdnUUGq0zS60zC3qnNTm7pZx55fj5W7uSFQam7TjNrVPBYGxUih0vdPICYBjBNvxj9D3IgA0X07fTgbCY8t4XJ6rkvfT4ZVxAFAFBcBMIxmQPCMH7CfDy3kTLZRFoxaydsziDDMrEmV1LtjaNDzL9nATJB/Rataj7tuL4tt3RMXq+VPE9u+G7d75j1wNn089nAIF+9/PwPXgNdLATSkFvYATwEQT5LOhIJ2kwpt6TStPYW0Z5PS9ojZxolNSi2Rgf+ZBWyGiS3rSVuuvo5mSrBRiCuz/Cu0SDJdiGv07fO+8gwDkkwNGYO3e82QU0vbB3/q1CuvmY7POYc41dEATYRwjATZx/dp3MslHtEGCWbIwESvfjlGPQmbSPAIEASLgNAAID4eaD4HERcC9SRIwjyuj75ktIksKMbgdgbdTZ7m7DErTbzWJT4m7bivk2MZcVa/o0gxlJYM0yWCLg6/fQr2GaX+ufqK5df+2Y1TYpolwSxMBxlLwiZxy3lKUY09UXzgjR2SNVMZtjy4+ciMRQyW0/0jv22vW1HMqpo41RwapWbOeV731wsD/UGv6Srhw5/sziyYsL0kLTi45f6Tb9asobP0I/xio0YQ3+7O0hYsJMqVVExOK4wjdBEKZhRxEhaeIx5nksiM3EUGKeFH8/Kq2o4g2jL98DpvHDCYGnZthJ68EwgCQWEjCB98SGdxZbMXe01hbXapWyrxZlEZooku6RxWluq9fCKCb7eoAH/dHUhUk/TofhzO7o6NnXzkXnnju2tNsLj7+3w5fzsoBlzDsbnhaZZsVrtSbBRlT33fVBxV1VOk9f3Hz5/xvXTyx3rxxvcIoFxPxIZbZn2iJCptWt+bXS0sCmNI6z+t3/jv4O/w2chL9KTPc2R4DQjhf/xXPdE4gIEHyWIUqnOZ9jjJBwHQRBRzOHbwNlMTXcxghx4AhuiwjgMxDHRkoUnKdL+GyjWg9YIgBHAr85X8oueJPeDAuIY47wbcDAMdx60IqEyRGsDjrtZtio+56Sy8pwEp2UpsljqrZmRBTXuOQg59ZrgsCn9RuPP+fTIi658CdGlREkyFbGCax6wyUZZ/Hseq7Tq5Y1Z8mpN/LoqaJnVhRpoZEROEGMGc3QurLxoQ1i5pjv2rrAVHP5keMhL3iGVdV7ZxbqRV3nhFFEe5OKuyQG664alSCpWTt3foBVrMIF+LNJ9vTQIAIvIDyn+BXgVKA8zgsYYUC351vlxnkK7wPGRsz+4r6ERNEU4w2wL12b9O5fGBMA5YTefMCyyRAo44zy28AFxoVbBwsTpnvAur29SREALsBuK6w2ol4tlHnQ1hL5H8fDoL+Fx1t4OFyt15PIOBQpyW7Uk3hIYKNpwRCLhTyt/60/rFY106/a/lJQRHE2pMH2hUF0cnH05K+c05fKVatQLujjvVXRsbpLYUEJCxk971gyZkpleOnInR/I1bZjmZ4Xbp4MeG81K4v1cyvNk4unfv2lk/mya5XkwuXnxzW/NhgU3Z6bl72mer713Aefu9JP92cDGD6L/wbG8B/TkMnICKOyhoHiHW/+jdB5f8gChLRYNCTW0ncJm0sxNS0977mdKFU2r06rl65NHMBACaY3U+hhwKQEhAIlcPseDDto/xQRLHcbdc/JZ2GMxmlHI0xDYjicio+iNZ7WIbEuSwr5qEvrtWlB8nLJUxTu5C2/wAXkrQyPtcNxhQVUs1w/SzEigqxkirXM6vWeaLPI3fzk+o3/fMMt5CrdrnLnawLyTm4vNif17wSFut3aXC/ysN8rl5STXzqbMxO7PgzfRb+JtkGF8qQEsSi5CgjBdRwnpIsIMgKoSCHzXz/ewuMkZuuh8Lpp6tkj544vmZadXXzxu4GimYgSjLx8PsRCop0vgwI/xj+BDPTg2h8GBYXE5V66BdZcBCXW1ZNSV8UXvPvvJFoovjMVQ66d7eV6DxRDSQUx7afFmuhQZuGC8JVgadUrtwcnNZ0xzjGRbNM2KMacE4QJLeHnwkYjCMOF4Of/qqm/ztob44K+vGDV1DrOifWqpWcX/JyTV4pOK/XNuz/BW/gunII3UxmTjaXbJKQEcNK9nH2lGM+UjguYAMFw++DtKbun2AoAk9izDiGA0tQFE96sAEEYkThPU4RjBZw69BySeuHaqOSqxYwEp9ApYZaZtVmDJCkH+jNzJcYi3LBM0wqINZfHUZdEdc4F4UXTr1OnXLKYhLK4stTOqUtd3fKaujyYbBqMK1zZPLWRywWWp9m9tiaPT2wUKNWpL1d0Db3wfWPUDFf19dfOZJSiIFlq1fIMkZmOJRLGZS41u5EoG55qV0phji8sNTPS7+tuYufH7/4M/gdZAg8qE19LeDT21X2cvi6CogIe8qbaNY21mQjjMw32BcviCFMhw3lDK9pEU2WXlbt21pLtG69/7tMrndFo65X/9vLyk8vl+iz3yIRiFW6gxWTz/nA9sonA0I6XfuJzHq/GopEJya7GNTRjeJ+gOL1QcZ59CgktCIwygR4AEzLRp2vSjBRvpYgOJ60OCJzy2TKYrwLO332Rm2iA2SICjMcMgoELmN9MsIkFZwsm7TmWAqdw6x1LDqH3pgLg6sM7504cGw877Wq5qMANdEM6SHazdkuS75LmimlNU54Za+S0h5kmv1gxxNgwZiPChbnrpW1wzJOLnzWrjGUo013DzXOCRYpz1dagXKnqMsU0ow8mzUrHz0umbpUwodmsFASFfI6XPdfLUSxnZCwIks4EUyNYs3UiG7JvVrcqx1uXm1kvr7fKnY6SC/JIZtZ4pVLumLKRKZROrDTWt9zvKHWnov4B0U0m1gK31x0Ebsdf1KTFficjuVmps8iF7sayqFVS39Hxq9iCLfh6qsgyGURxzZjx1vTblLfUKW+5785b8XojJhxICQf2D92MFfe7sRLsz0mrOr8dK4q9+0EILk+ZaziIGrGegy20Jczaq4eoK929QarnSDqwSHcq0du1hL14Hr/u2ALTJb1YLkkYxVWWtjjYivqnlwOV267nUCyIAiaGJJU8O/IzTtOSCiXdb+vdxxc772lFhhINzcykREuTtfqRx95/Y8Ex2yVTaq20ZX2sG91aV21e6mkrC2mvpgl9/JdEgdfhS6SSBqV7fIIZX0aU/eZnHiGYPncVI/xRBIjtTKPRvw9xFWXxcwhlY5AQg8xDIPFBoOovBOVSUPfBoMIUdHBfeLf7cdhN082iouG4bpBFgTA1gylm9Dm9mCUUF/I5ElcYNyXEucbneefdVhCEswjv6UWcTZdlDy+L330NJC69MV0rICZSticjMXmAGP8vCUkeAQcPgNl6/9K1yZH5+twD1xcQymH0LGTzKAfZ3MEDqr/sA/J4+gS49wGxzbd+8QOggHDhavKYfPI7br7jKXF8nUqeAowLAnt5+rD4KShDxcxzIADFAn3///Nhk/PpczjjbwATBPbSg5+VLeSye+/2xGxuH3LZ3OW99L/Jyq9+GsH//2uf/tKvfvHjr7380o2nn3py79qFnTMntjaH/XarUa9VPKdYUPKSAK+j140DSTedFSXabguPh1FtVjYMBkmujmWBZZqDwWheGxgGN/ozBVGv87SHzucd9GmFxyNz2l+vT8VvvZ7WetpgHJfhqdZNasBYdfyvsi0i+oxmlcKCFIaM5zKUFlb6tbZlRWYpLwh24BdziLoNpyFiUeKC7Vo1lxckreGayjNxQssyYg+solkwRLfnEgkt5mWGaUm1fEW8zQSCsGz922qN5l6WOBYkxolU6faXPH3RoRXd1hlCiHF1vKZRimTHLhtM31yPqqXSkQqliBcqk4pVClzhQx4SdCNXzWGR+ht+scQQZ6ahFamIiSQv6FqVa8WS7Q09sd7kxWYJkd9SMtgRMy2CS1WZSbHSnc6AXsIl0CGE3RkRzFufv+wMyDQQBCUjNMOsDDrS0xlQ2u0czxqeeRylPZBZojZ0Ex0/+8md9oma2nePfez62urV53fGT21vPNqzA7tQWrqy9fLO6t6FmlosbT977uiNs9EHo4vrg5PVvF3wTy2d3kpraJDRF/EfQQc+c/6t/KVrk7yPEAkQReVk+OvNL+D0wl4KK2GECCUoUR0kUR2keFBq1QAlg/9Y55JY574TlJBWvepa+WxGhg7qpKSVvvZQG87cbzSvCogxmy7EquLhZr1TUJ2CV1TLflQolKpmxizUvFAzPc9Uzrz3bFEeOCbHlKInTKR6mtMIcrmKjXLq9p1vfA5z0/YcgnNKDk9nBnd+gHfxFqzDJfj6JKuIWOArJGH9dHejdJbC+bSLICFBoPsM3aPJTJj1EdpAgAuE3wSMZ7AHLpm0DqHZPjA2A8P92L29ibe5geDk8Y1Lm5c67cVmNXAsXYV1tC6npVUyNRumg8SpkBv0E0searQl/QOdp7SvzYYKU+8yDN00P1rQJYdr+YzdyBVVWeSyJYuujZe2PnBy+coLR7VIlxCjCGGGSM75fOvsWuX8qlZTxgF2G3d+oKqn9v/4xvOZbKGgmc4zBV1ztSwhnLWvndz86NMbsrO9mqFEyPt5pe6gX2+duBiOlgm3N6JCQ79Y1Hjso827f47+PXkIFt6l772AFkjaRowOhcxsPpgUkWlJxNFOpedcu7Hx4jmn7VgVu5gv59eudM8eVTo1Sa5X1GNff+Hql39tSdFUS3clKSc3Xnz9+N7Hhzm74ppFcdpzuvtf0b8mV975Wxxr9lusudvOjn9MK91pluWC8KjmVhaVY7v1ciPbWS7mcrajhcWnXhw9fdo6OtIsy9fFxsf+/qmtV5YLUZjLGEJJK+Ye+vqtK1/+jZVCCAj+wd27cAc+DBlwE/V5qKJKa+yDX5JWUn+i+g1TCxBuINep1kqlcnlaB6P/hAl04XOp02b0LCbJZCPRunoWU5x+m2pdjaI4x2GUJrlZ+Ruv1SkigMhefC+VsMaD+i7z23vTPFAJHKuQhy7qCgdDxcONF+ue1lctPVCTx8+pqkBkWfQU05REyR9uLKitoKVmzWz9aDdPafxjMiXZrubOrb0ydpcdT8k7NQ9rC1bBN1xbri8b0uKwr1aPRukeL9z9EfpTTGAM/2Q236IsdvNYgzOEb82KuGSGcTBHnZ0ouQ886wEehk6aD0QB4L0ZFsfqfqIhWGyGC2VfyUkcxmjMEwtNCT8gg4QauvTgeEm9nhKFoQc0drm/K5092XF9VVeMRsUaN8PN45thePRMVesvV7q5YNHLtmvJxaPXFclejtxIdT01E7iWpxuV4WK01ihKet3tFlWm6kVTtxtri0fPVRN7Ne5+B3+LvAXl+2OiqEAZleeeON4SZqcaDJ3nKReEfauRUY89/OTTj+96xVJGLvBCtvfqJ1+7GWa8pQVbU5z921/44t/7SMu18hnLMfTdr/3x27+9UVQg6dP/JfoW/pcwhn+eKmXZQ5QsIJSUadMvjM77NyZQhjECim4mRHSwb0kZgBFiwBDEjMYQZc/eA5rUDu4TCmTvECrZKzLbq1ZUq9hmVpbEg71KTrqMxjGnxX/HW3Tqy4JhTPvpiayatb0E4XvlQGLIqavdrHatmEHMCQxDxOTjpi0U8reREJcBiAmmHo6tcPv2OUQ7xTLVab3XDayKgi2TVFoGNTXCiFf1tPGLR/VFf8r5uIT/JxyD228fQSQ5CxVbYCl2QcrIbSCIEnQLEKaxa1Iq7IMgaKm38xnHLz4ALgBlAr15GJycihqsLDYbdUPPZSQOx9AxcXpgbN7tTrw4TZdp4zsd+UwHEbPOl5Hy18/NU6d7FU1v9fz2tc3FY2eCrFBqtXJG01uv+Z3Ggq5V6mvba+rKI8NGpT0YPvw+WfHbJd21HXc1XOi6GZwzs4YpcyYFNSUKjZJhac5i1cq2d/vds3Vx4eJw7epmGdKZdx0X8Z/COvxVWse1ACOKML0tiBg4fBYIIEzQTYYo53QvZni+D5zyy9M+0HyBiEC4By8IKV7Y50igwuX5GAIjhjC7PZvx3LswOYC2B4wly5hw2ZsMD61IxxECBy7MBkgHC3myMP59jF+etoSOjEervaV2q+xbhlqItYR0qINMxvMRXLofs4kd4TwZ1M1HRHX+gu9OmlKrF/Ha0lK1OWq2PFUdXbrsjR9eiSY75/xyZulKRx2NGr4bbNSav193giM3QqG84AvuVru6EkRBUAzXF43htWH38umjAytQUKbkubYcpL09fBX9b9iGRybSeqcpxDl+1p8GStE+QQjpibs+NZekBkEIKKDUM586rELT1kkhD9toe3aMcZhyOJmLifSowRZNUphl6IJhzN45CsMo4fVvt49UcgLHRFIc1fMzlOeoahZ7w1GvxkU135MY0YslK1iQBYUrDb3yiNzYPFNfIa3lbL7d9iuWtqCFO1F+qbZ0+r0Xj2Yz+aWFpautjYLrFK1Kq6QeKbkDu3k89skVCJKZcB8+/AdtBx806c3ZSZ/UBvv3HuAzp6fzMHnjnrsT7/CNOQ3RGQ0pMQ3VKkoO+qjPkjMZ02idqoxUaZmGnnQN43gez40Vq0xUbIyiUkaro3zJ8hSGJUnKFnJYVLhczJEnMr5jZ/LKU8pq0JqcLvU+sMoLotkIFotKs5GVdZmUoworOFaJ/1D3rUr1ePBNvzPt9979GaHox3AePvW2iSiemaI0i7pk6+FW6hnsnsm4RRDC6A3AFL8BFOgbc+Vyj0Xuu5sKl6Mby92yX8jDeXRemNJy1CXDaa8+dhprMK1hAmINkiNShxr3rJ4aMarzPP2LxlpkxUmdCE5Q9AW7JOqVIvdajtuq2CpHmBEtMgSvrukuotwo1Vo911+JShLCGFOmegvLbPye95YyrXaNBMZSoKpbLzy3vvz0it4q1UabqwWaYeMXh4XOgqdJBUk79d6Hz7R7p04ZmBFW2HroRDu1Z//uTzDBKlyEb0x7oL0SRmQXpeOR5BtNv011oTsr+WJ96KYHoO618z2IpFN6GNFPz1oRRFJVRBJVdD9uErwDAhgIvskOjqolEd0MDS0rw0V0UZjWB/HG4EQ48jiJxZySdroTH45lSYAtazw+XGTGYW8FJFbuhiCg3zPdDDZMxlSVs6KC/dxCZLSCpU6AqbJk5O2mXS/wSpXnpc+LpqyaXJQa7QVRpox5FZdkxVxBNjRWa4g8cDUdN3JhqeP0O4sLeZHy4IhbbFotvyC1F+U8+7yIXV3RMlJzOeKyxCTGO8NFppVULyfEe3Tnp7iEc7AOr74doF8c/uYvDH/zlwv/TjtcsM2YGth8gjfeIsPhTHsmJ/8Sn09z5aA/P6jJ8/jbqlrKMEWRx+eWTI4lQ2tYTOCYBV5lJVpYaHsdo6DUcs0TZdFu3PlpvVg54udaiwEmtL/z2BOtXHspGFXM0JJ5dzlbXelf2rvU79e2fH/Nf/g/PGqtNRPfbd39GfoG+gEcg8++TWO5N7WLHZcC5Pp0bEkpXBfu8c9SLOgoexlILPVipqQUnpwLwGrKri8Do5S9NGfTQ5hU/w1WlrsVT1eLChxDmzP9F8WShoyHydGK+rRWPWDOmZWMgxGfIPCYbb+gdesUldua1FkbFKSlYBRUZGJWCxfkUkEf9Mq9bdtqW9QV+xdCtVOpKEq5IPXWBznGLC/sL3mZ7rivUMryubxpyBjRQsWvbawYRs+kgURwjhmO4zBGMKEkOQPH8LfwW2BAHwaT5VLiWu92uFmFC5aJoN0y+1Y/K4OBDGF6Vi+aHdebNxeT01PD6RFdHB2c30M3j3/icYOiJ//dq5XTW9pi7+pvP17fPb6IBExyWUwdVzR8f/DYyWjtOhs+dUIbFT76u3vZwNv4xJn3v/n489W10wsfEkxEXI9IkiQWzMUzj/XXnt6E/wsAAP//AQAA///siYBPAAABAAAAAQKPp0z52l8PPPUADwPoAAAAANx18L4AAAAA3adWef+I/pcE/gSsAAEABgACAAAAAAAAAAEAAAOE/qIAAAUp/4j90QT+AAEAAAAAAAAAAAAAAAAAAAAseJwszTFqwmAYx+Hf+w/NCTJ06pI0pIUM/YZveaEUsnRtwS2LszfwAuLgIkh2Bw8hqLOLmx5AyBV0VAT3Bx6lVDYBHchVUqojaEfUmqCOqCFBY1wNkSPRCjJNedMnwTbk+qXWCLc9A0v5U4vbC23yg2uJJ69UWhFs+3Q9lZ2orWBuC9yuFDrzbj25/qkfj2a4Mr6SiOuboIZgFz50I94BAAD//wEAAP//JWwelAAAAGQAZAFMAbwCRgLkA1IEAAS0BWIF0AYeBkwHHAfSCKYJdgoiClIKxAt4C7QM0g2KD+YQSBDOEZoR4BIkEkgS0hNqE6YUQhTcFaIWJhasF1QYJhiyGVIZuAAAAAEAAAAsBKsACQC6AAUAAgAuAF0AjQAAAVkODAADAAF4nJyS32oTQRTGf7utpUXrA3g1hF5YsZtUsZT2qhVThEDUini7m8z+qWtm2ZltSK59Di98EPHRZI+TsikGRELYHztnzved7yywzw+2CLb3gJ/hN88BT8IbzyG7YeJ5i9PwmedtDsIdzw8YBr8879ALvnve5SBYet7r8EN6wWfPjzq8H/Q48fyYEyDH4aiwnNGnj2VCTUGFwxJhKSiJMNRk9BkzZMRHcgosiiGGGQ7FNYYUx5yYGo3yFSUFEzQzLJopioYZUzQ1Ckcutde8ZYRiTCW13c6jtQ7PUXyS2603I7XHRPJXHWfruis3MbfEMlNMQikncwrx0Z62uhe8F3acof4zobn8IhwLmaj14EQnYoLhKx8wJDJHO+MbcT9C04hCzhc0QxqWLFlwSUPiHVuOuMRQMv1rEgOOGXAu6TpSYhocRpL5k+hTbqXylIiXHHZ01D0ldafU7XzFmDFXnP+Dw9Vzs8ZrDBULSTWTvBUvGDDgld+olr1s9viOGsMNmoncvpCJc9mJlXnvbzHzO2/7rDbSvjUYMumb+u/P0ie90z4iWdM+/A0AAP//AQAA///3gZyweJxiYGYAg//VDCIMWAAAAAD//wEAAP//JRYBknicNIkxqsJAFEXvvD8/Pg0oVoIWIgpKVjGE11kpFkmdLMAl2AhpdC15hEBiNuCulEnwVueci2OD9zlRY55paVoGI7sqRnGFJSHyVK/tjGky8JYWQc/juGNYgBBGijDu4OB6a/EHiO5McUpKVyTec9GD94YxBEi60r1PL77BWFdkl9/hV29oHtA0asznXtqHEqT6zwOIfAEAAP//AQAA//+b8iuH");
}
.appendix-icon {
	filter: drop-shadow(0px 0px 32px rgba(31, 36, 58, 0.1));
}
.d2-441724421 .text-bold {
	font-family: "d2-441724421-font-bold";
}
@font-face {
	font-family: d2-441724421-font-bold;
	src: url("data:application/font-woff;base64,d09GRgABAAAAACzQAA4AAAAASqAAAQKPAAAAAAAAAAAAAAAAAAAAAAAAAABPUy8yAAABRAAAAFwAAABgY8E/zmNtYXAAAAGgAAAA3gAAAUQGoQgTY3Z0IAAAAoAAAAAyAAAASgVEEfRmcGdtAAACtAAABxAAAA4MYi79fGdhc3AAAAnEAAAACAAAAAgAAAAQZ2x5ZgAACcwAAB8LAAAzcOhaueRoZWFkAAAo2AAAADYAAAA2HceN7GhoZWEAACkQAAAAJAAAACQIDQHJaG10eAAAKTQAAACsAAAAsGBvCNlsb2NhAAAp4AAAAFoAAABaIakWSm1heHAAACo8AAAAIAAAACACUhPRbmFtZQAAKlwAAAG0AAAD5F+agdBwb3N0AAAsEAAAABwAAAAg/34AFHByZXAAACwsAAAApAAAALJqvdaoeJxiYGEKZ9rDwMrAwNTFFMHAwOANoRnjGEQY7RiQwAIGhvoABgZvGN/d39+dYQED728m5pZ/ixgYWNYwZjEwME4GyTFxMK1gYGBQYGAGAAAA//8BAAD//1KODSd4nJTOuS6sARzG4ec7M2efs2Ds2zCWGftWiE5DRzJ3IBQmEoTRuCFBiEZUCpfgDigUusmESvGXfLXGm7zlk/yQyEiQk00WsaAgK6+gqGzCpCnTZsyaM2/JslXrKjZtq9q1Z9+hmuMIUlX6UK1YU7FhS9VOqg7UHEXEY7zGSzzEU9SjEW/xHI2ox33cxW3cxHWcxGmcpT+Pi7iMq7T380t06NErp1mfAeO6DCn67YuMrK+++e6Hn375469//mvSIq9Vm3aduvUrGDRsxKiSsjHeAQAA//8BAAD//8/IQ44AAHicYsANsiCQaQMDF9M3xmf/f/97BmEzCYHYDBIQyHSd0RiEAQAAAP//AQAA//+dLRBCAAB4nKxWaXfbxhWdAUFqiSzJ1mI3SNOHjKG6xIBWWsdhbMZRMKIYR01Ly3ILOE0LiJS7L0k3d9835s/codpT91t+Ws8bkKzsWO7pOeUHvjvz7pu3YgAITRD3sm5OtP9ILN/ZR+Pu/QzXAlzJiwc0upfBi8p/zYt5MRiooyAMIXIIo3bHQgpTpAmkBhUPEnhahSpMUNM0PKmtb4jUYM1QUaTWWzepjWoGnjl8SFhS8Iwph/D7D8ee55kiRXj8Qsi74+UNmb5A8IxKx2tyzRSpguhnx/l4U3rOoa9Ri7FhMvaHTWMmhICGhI/68Lfuj6/Ic6Y76KLRzULUovzg3SxUYTDKCP1+FmInDwhtRu08J1uxyyGu9LNwsiJss36bmR/1M3pAo1FJWOxnRUAg1i0yus7oehEUeZ4H8CIsmQHEQQaxz+QQSybYx4uMXtwvH62KATMe1cVRng/LHDLO80kGOQ2xaVSaJ6hr6hL8qBwS5kw/w5xKMa/SIAxzyCJBw5UbtZiGdu4oJVZyukEVPv/DK7oD1JshYd7QiEaQsd2uR/C37mRFPygP8kzlYU7YuZtBxgHXZRJKgjmNBROPhVe1eV5jQaWKIFRawjt6ADmALDDXTLCgiaNdNoNHvjgiPgE7Rc6UYtdFu6jHC8vCdNNmOBuc5/Tjg7RUnSJjBWHgRwV1R6rkprpii4AbAgqwMysYapEqdysX584wx+V+xsY7TzNa1i6hk3NLotbtZ2GgwrwZJljR1vO6GJa7CVY1ZEGEFfM2H0BYUWmOVV4dZIRV16/zmrDqikKPfDEYqRLnTUGjgnBepSrBBb1/mFl/uJtfxrlj9TDBmt6/k+3frTaDML+MNbe/rq24YO5l9sIFA1mmOB/zIwcvSu0K/616UQq5qQi1qJ9ZLh/8KB2NiN2uNkMFWU5xUOnZxIvcTo4V08Oq6RXwHm/WGS20QqypXUgDcWsspXTd2tDCCq97mOGCSqmLZZXinIJXpFT889IlKc6LNZGmKVdgXaWQpV2fj/FhHLyUJ9jUVmzECS5qK1le0tZj+Qltayyf19ZnGWhbZ/mCtg2Wn9R2juWL2s6z/JS2Cyxjrab1R6PYP8wUtSDf46clgT6l3Jwp36+UySnl1kz5QaUkLbASn5knZPmPKlXO83R+obaC4gQvaStZKm09lpe1rbGMtPVZbmlbZ/lpbRssr2g7x/Iz2s6zbGq7wLKlqeMG9qqmApcKMgqyMK6lskCLZ3Zb42qMq80EL2uiHp3RTVW2FV/sz2QEnP1npy22y40uTxxebtq63Ohm27nL8nOnynMW55qmV1zkr2gx4XQ/7hMyfmosvC82/y74t3tLte01ucG5XtfUod4Z8UOYsp3gVd262EnQ/m9USDNoJ3hNW09sRtSiHl8J8KLbo1FP9VRJ2VHAt65Kx20pN9abCW5oiE1cVCn8CH7kaHZJpHjOxMejliLqjNoJbj5Oo1Z1HhoqnbIJBd8pO3eyE5/qFJz4W/Xn85Rv2kVDI+Us1F6BhnnycS34tqveSr4phgp1Uw77GXxTBqibgm+6J21KRQR/S+2V7UBh0ezxG2vROC8FPc2Jqu7Uhim4GfWoRP1jp8Lf4iAiDqIWFcPJTfofX3mCzrQWRIT61qQWqtNO8PpMhUWn31M9dspdvDUrISdTVRriMGtRR4XufTvZJI5r0go0ItSj26e/XaomPm3aJ91SPPJvnIrETNtV8AfOkylPW7yjFbW4inu4aLJ+cJBn1MlbdluuxwnefEx7EPQf06ZPtX2WhdG4ET/L4a7GzXhE1OEZG7XPpqJhWtiOE3RdyjyfW1XlSyyptEqdB1RRh1qqPTl/T9tFP0qnJv/jSPf+X1PMOfE91lHtIDw1L2E+ibOnrbgRT6vylrbiZhyqSV0m2cxKcFtDbFSP/VjwE77WwvVmgrfP2N/XVsj1NbzaTPB5jdeaCd7hKnYVtWhvpMpptb6geaDxTpzgi3osxF6coK/HQjK4o8fS7RzosXQ7d5nTixMcMofBPeYw+BJzGHxZnwghTJwg0yf86RQnyPWJrPbu6xNZ7b3LPMnoK8xz6D3mOfRV5jn0NfbZjRMU7JNByT4ZHLFPBgPmvBUnGDKHwTFzGDxgDoOvu7h24wTfcHEx+qaLi9G3XFyMvu3iYvQdFxej77q4GH3PxcXo+9qKzqyBP3Ar7MQJ3q/gm3GCD7jobpXGCX6orZxwflRB5vzYceSE8xNtxeuzU3/qVs7iYQXZ4mcVZPrPtZUTwi8qyIRfVpAJv9JW3Jqd92u3cvTfVJDpv60g03+nrZwQfl9BJvyhgkz4o7bijdl5f3IrR/9zBZn+lwoy/a/aygnhbxVkwqiCTPhQj59zX7ZoBGPfq3UzFQZhnqcx5o9Ru9x/OH1ZJ/8GAAD//wEAAP//Y0wBRwABAAH//wAPeJyMunuMJNd1Hn7uq25V9aO66/3oqn5NV3VPT3fPdE93z87MzvS+l7sz+5CW3B2SPy6HXJFcUaQoknpQj/VSFgX7ZyWC4kRyHk4cUFLsIA8aEW3EchIYkAA51p9CkH8sAQqgyIHtRIAs2BK0G1RVd8/skquIWGC6q75b7Dr3nPN955wLFJoA6Lv4I8AhAwp48Phkj2FMwHMd2zINXVOLGUYFhBEmO0AJI5Td5ohhwvAtACAUyLOAEcJXAWN0XUAIo4vZLEBWySr5XEaWRODANVGw2oOoOK5aRd6oFqtasVpsjK1xNI54xC2+LIroK5J05wb6h3c+UEcX7/zto49pjz6qPfao9uijEn5aln7+T8UCfvjn38aFn/+fE2++WfvyV+pf/nL9za8CAIY6yPi38FdhHa7A98+/lb10bZJ9zznM8ALBgPCOd/CVILyzl0ICQBQogviNgCJGnwOMi7tEwAAqXPDOv+VeujapAaKEInIfCghRdwU0Q/YvXZsszJBAgBK4de+CGXayAJjhNx6EncL29vYm1vYGgo0r21cG3VYUlCQO62hd5GZ7XAuj4epoXAvD4eoWHo9Ho/EWGW/hQd80LdO0DF2o17okqtfCek3geaoN+qPxcDWMujgK63VB4HnCDf13lEBQkdH2y92lnCIKkuAFLpPLLbPacjPLu5anlYI8z+avKbWi0VItXc66n3RqGyuMcdtkiBEuiVQzNSZrhbK36hErCGyBZpRcJZcbbfWl4koYje3nf/iqorWCbr8lI8rF9rBfRUNEpIyRMY8OZSRbshx1WlkmAgCCEBRM8NtwBDYmaxEiWEeU9BFQshPbCwh9Nva3fUCouMtSiyFYWV5s1iueDUfQESExUxevRmEYxWaKbTSOzTSIjWToAud5bBjWoB9/ERRs6MmH33H8HEWoYHDGaEYWKaPe1gev1a3liql+s1ERxf+imXop+7tZEetKfbw5VNSKJhV4JitmsYDZ1Q+f9EWnpJWRhHoTX5PDYs4pIpmJjXMNdSWM369/98/xPv4qrMFH3m4gytBO6kF1wEQgWLgNAjAqsGeBcgQU3geEpG9LLniT1hyFgGBEbh6gAegeUAr7ybLLexMDwUq3FVUCy1ALsghraC32IDZ1nUE/wKmz4HotH9vAjD1lNBqHsfPETpZC8hgdf+Jj692rn9hxTx1rl3Wz5DXrgysbldq59Y2LPqGIsi+5ftXbqJydNAdXnqk/8oVHTv3Gh88Y0bCiuXZgj64+vTR6bDxZFgp5TGue5VNmDnprT56J0xCMgOFb+J/BaXh1Im0sVhglKLaLeunaRMUIEfQGECBvUHQ4Oj1AOLZBHEeYwK0k1GaQiQkYxaF239q9vYmCYLTaDB0LTqPTLI2pcDhcXd3GWyS2zHB1NErCKcDWaDQsrsbfrKKexzxP6rUw7OH4Y/zvpm0ICGcx5xQjLLlOIXDF9u7eRkGqWkZAMSGYZu3FamW9V/hHHDFGEBMILvrMqqkKpkR8KHf07EZG6Kx1mNqpevXc6c+9sVHfMNDE84vWne/zqBOJznglaK3bPxQXr50qCJVaRu03IMl/fQD8GfxH4MMy7KauZM1dZpchjGE/fncjNooxc5t7ru9NtHKAoBUFy+XlrAw+8uMYqta6sSnGiTHi1DIIsBXHTx5H/dhKB46Dzmw/81D0iVf889VgTeMCQziXx6HbvfLq0eUzPTsfLNeGV7eqjZ3Rox/a/PTv9bJW0cpYGaJpdPD89olPPXXkpc75q4vm2bMr7XOP9wdPbCZ+cfdnSaxchF9J07Z0vmHFxIN2vOlnTNAsp6sHr40pTt/4/FudS9cm5sEdwFjdndtDn4fRocupizx0utfRi3ARXYxdxErTbpxGk+ghiX+keYML8T/DSPJvElFx4uniqBt7E03sVOckT/6F44kaYnatuXVqs3j8U9d1hIl2qslLdtuwGoGbzeWMTKbeUORWOwg3TmyEvVOn7RXqICyZzHVGj/ybR/RuSbAdr1rkyN95qCWqIi/wpYGGJc7UJcM84ro+y1tKsdXIyF5QUzW7qNqNUqNZJPTOsXzUcFK/ufsTHOJFCGENvjnJ5BFDNYopwzvn35ITRos9JCFEYxcYS+zn7nIUp5j0cmLf2PI+YOz+IlAcyNX7QAmLpkhhth9lQMAoYvF+kP13IhJqbEYIVnrRWnOt7KuFjAQhCsV0j+JNmlJh4rWGLsR7lGxKGEbRzHPDcOa5f929NBKb55456jTKiliyfYPJRd+zOKG14eRofbtfyleD6nY/UGry4pnOYO3l/Q1Vwy2vURq/f23piSXDbFR7Gq2tVd/XPrVTdQYL3TO7ZadfTeNzA2R8Ff8UOnAM3pxkfBNTUkVMwNP8VgNBoPtAqbsLCCUvre2KiDHYx3yuRrqXrk0qQEFgVLj5QNxk4Z2QxLNTHJ+nQKfXxTAedo/1joULnp2RRAE6uCNxs92oxb5brwlTDhiNhqurUTiKuTMWF3yQJseDNJDYMo6AOBEUNEOJ5QH3VVenglLEyC1IZkApIq0bR3t76/1HP3IqunS81aktbKw0i9woRTKiNCM7Ddusmy/+xSv+WkkvmKXR+qvHe8fbu/0Tn7qx8Xw4udCsjGvDLa/QVFU3l/KGgou4Ck24mRqzAZgwgtltYJQwemsW9+4uzLwosVP9ftwsDRxC7U00BLVKUDK0oiJxaKImT+0TpgQxpc8DX4rpc9A39DxBhbP7Kyc+umMdGdUrlh2GdnUUGq0zS60zC3qnNTm7pZx55fj5W7uSFQam7TjNrVPBYGxUih0vdPICYBjBNvxj9D3IgA0X07fTgbCY8t4XJ6rkvfT4ZVxAFAFBcBMIxmQPCMH7CfDy3kTLZRFoxaydsziDDMrEmV1LtjaNDzL9nATJB/Rataj7tuL4tt3RMXq+VPE9u+G7d75j1wNn089nAIF+9/PwPXgNdLATSkFvYATwEQT5LOhIJ2kwpt6TStPYW0Z5PS9ojZxolNSi2Rgf+ZBWyGiS3rSVuuvo5mSrBRiCuz/Cu0SDJdiGv07fO+8gwDkkwNGYO3e82QU0vbB3/q1CuvmY7POYc41dEATYRwjATZx/dp3MslHtEGCWbIwESvfjlGPQmbSPAIEASLgNAAID4eaD4HERcC9SRIwjyuj75ktIksKMbgdgbdTZ7m7DErTbzWJT4m7bivk2MZcVa/o0gxlJYM0yWCLg6/fQr2GaX+ufqK5df+2Y1TYpolwSxMBxlLwiZxy3lKUY09UXzgjR2SNVMZtjy4+ciMRQyW0/0jv22vW1HMqpo41RwapWbOeV731wsD/UGv6Srhw5/sziyYsL0kLTi45f6Tb9asobP0I/xio0YQ3+7O0hYsJMqVVExOK4wjdBEKZhRxEhaeIx5nksiM3EUGKeFH8/Kq2o4g2jL98DpvHDCYGnZthJ68EwgCQWEjCB98SGdxZbMXe01hbXapWyrxZlEZooku6RxWluq9fCKCb7eoAH/dHUhUk/TofhzO7o6NnXzkXnnju2tNsLj7+3w5fzsoBlzDsbnhaZZsVrtSbBRlT33fVBxV1VOk9f3Hz5/xvXTyx3rxxvcIoFxPxIZbZn2iJCptWt+bXS0sCmNI6z+t3/jv4O/w2chL9KTPc2R4DQjhf/xXPdE4gIEHyWIUqnOZ9jjJBwHQRBRzOHbwNlMTXcxghx4AhuiwjgMxDHRkoUnKdL+GyjWg9YIgBHAr85X8oueJPeDAuIY47wbcDAMdx60IqEyRGsDjrtZtio+56Sy8pwEp2UpsljqrZmRBTXuOQg59ZrgsCn9RuPP+fTIi658CdGlREkyFbGCax6wyUZZ/Hseq7Tq5Y1Z8mpN/LoqaJnVhRpoZEROEGMGc3QurLxoQ1i5pjv2rrAVHP5keMhL3iGVdV7ZxbqRV3nhFFEe5OKuyQG664alSCpWTt3foBVrMIF+LNJ9vTQIAIvIDyn+BXgVKA8zgsYYUC351vlxnkK7wPGRsz+4r6ERNEU4w2wL12b9O5fGBMA5YTefMCyyRAo44zy28AFxoVbBwsTpnvAur29SREALsBuK6w2ol4tlHnQ1hL5H8fDoL+Fx1t4OFyt15PIOBQpyW7Uk3hIYKNpwRCLhTyt/60/rFY106/a/lJQRHE2pMH2hUF0cnH05K+c05fKVatQLujjvVXRsbpLYUEJCxk971gyZkpleOnInR/I1bZjmZ4Xbp4MeG81K4v1cyvNk4unfv2lk/mya5XkwuXnxzW/NhgU3Z6bl72mer713Aefu9JP92cDGD6L/wbG8B/TkMnICKOyhoHiHW/+jdB5f8gChLRYNCTW0ncJm0sxNS0977mdKFU2r06rl65NHMBACaY3U+hhwKQEhAIlcPseDDto/xQRLHcbdc/JZ2GMxmlHI0xDYjicio+iNZ7WIbEuSwr5qEvrtWlB8nLJUxTu5C2/wAXkrQyPtcNxhQVUs1w/SzEigqxkirXM6vWeaLPI3fzk+o3/fMMt5CrdrnLnawLyTm4vNif17wSFut3aXC/ysN8rl5STXzqbMxO7PgzfRb+JtkGF8qQEsSi5CgjBdRwnpIsIMgKoSCHzXz/ewuMkZuuh8Lpp6tkj544vmZadXXzxu4GimYgSjLx8PsRCop0vgwI/xj+BDPTg2h8GBYXE5V66BdZcBCXW1ZNSV8UXvPvvJFoovjMVQ66d7eV6DxRDSQUx7afFmuhQZuGC8JVgadUrtwcnNZ0xzjGRbNM2KMacE4QJLeHnwkYjCMOF4Of/qqm/ztob44K+vGDV1DrOifWqpWcX/JyTV4pOK/XNuz/BW/gunII3UxmTjaXbJKQEcNK9nH2lGM+UjguYAMFw++DtKbun2AoAk9izDiGA0tQFE96sAEEYkThPU4RjBZw69BySeuHaqOSqxYwEp9ApYZaZtVmDJCkH+jNzJcYi3LBM0wqINZfHUZdEdc4F4UXTr1OnXLKYhLK4stTOqUtd3fKaujyYbBqMK1zZPLWRywWWp9m9tiaPT2wUKNWpL1d0Db3wfWPUDFf19dfOZJSiIFlq1fIMkZmOJRLGZS41u5EoG55qV0phji8sNTPS7+tuYufH7/4M/gdZAg8qE19LeDT21X2cvi6CogIe8qbaNY21mQjjMw32BcviCFMhw3lDK9pEU2WXlbt21pLtG69/7tMrndFo65X/9vLyk8vl+iz3yIRiFW6gxWTz/nA9sonA0I6XfuJzHq/GopEJya7GNTRjeJ+gOL1QcZ59CgktCIwygR4AEzLRp2vSjBRvpYgOJ60OCJzy2TKYrwLO332Rm2iA2SICjMcMgoELmN9MsIkFZwsm7TmWAqdw6x1LDqH3pgLg6sM7504cGw877Wq5qMANdEM6SHazdkuS75LmimlNU54Za+S0h5kmv1gxxNgwZiPChbnrpW1wzJOLnzWrjGUo013DzXOCRYpz1dagXKnqMsU0ow8mzUrHz0umbpUwodmsFASFfI6XPdfLUSxnZCwIks4EUyNYs3UiG7JvVrcqx1uXm1kvr7fKnY6SC/JIZtZ4pVLumLKRKZROrDTWt9zvKHWnov4B0U0m1gK31x0Ebsdf1KTFficjuVmps8iF7sayqFVS39Hxq9iCLfh6qsgyGURxzZjx1vTblLfUKW+5785b8XojJhxICQf2D92MFfe7sRLsz0mrOr8dK4q9+0EILk+ZaziIGrGegy20Jczaq4eoK929QarnSDqwSHcq0du1hL14Hr/u2ALTJb1YLkkYxVWWtjjYivqnlwOV267nUCyIAiaGJJU8O/IzTtOSCiXdb+vdxxc772lFhhINzcykREuTtfqRx95/Y8Ex2yVTaq20ZX2sG91aV21e6mkrC2mvpgl9/JdEgdfhS6SSBqV7fIIZX0aU/eZnHiGYPncVI/xRBIjtTKPRvw9xFWXxcwhlY5AQg8xDIPFBoOovBOVSUPfBoMIUdHBfeLf7cdhN082iouG4bpBFgTA1gylm9Dm9mCUUF/I5ElcYNyXEucbneefdVhCEswjv6UWcTZdlDy+L330NJC69MV0rICZSticjMXmAGP8vCUkeAQcPgNl6/9K1yZH5+twD1xcQymH0LGTzKAfZ3MEDqr/sA/J4+gS49wGxzbd+8QOggHDhavKYfPI7br7jKXF8nUqeAowLAnt5+rD4KShDxcxzIADFAn3///Nhk/PpczjjbwATBPbSg5+VLeSye+/2xGxuH3LZ3OW99L/Jyq9+GsH//2uf/tKvfvHjr7380o2nn3py79qFnTMntjaH/XarUa9VPKdYUPKSAK+j140DSTedFSXabguPh1FtVjYMBkmujmWBZZqDwWheGxgGN/ozBVGv87SHzucd9GmFxyNz2l+vT8VvvZ7WetpgHJfhqdZNasBYdfyvsi0i+oxmlcKCFIaM5zKUFlb6tbZlRWYpLwh24BdziLoNpyFiUeKC7Vo1lxckreGayjNxQssyYg+solkwRLfnEgkt5mWGaUm1fEW8zQSCsGz922qN5l6WOBYkxolU6faXPH3RoRXd1hlCiHF1vKZRimTHLhtM31yPqqXSkQqliBcqk4pVClzhQx4SdCNXzWGR+ht+scQQZ6ahFamIiSQv6FqVa8WS7Q09sd7kxWYJkd9SMtgRMy2CS1WZSbHSnc6AXsIl0CGE3RkRzFufv+wMyDQQBCUjNMOsDDrS0xlQ2u0czxqeeRylPZBZojZ0Ex0/+8md9oma2nePfez62urV53fGT21vPNqzA7tQWrqy9fLO6t6FmlosbT977uiNs9EHo4vrg5PVvF3wTy2d3kpraJDRF/EfQQc+c/6t/KVrk7yPEAkQReVk+OvNL+D0wl4KK2GECCUoUR0kUR2keFBq1QAlg/9Y55JY574TlJBWvepa+WxGhg7qpKSVvvZQG87cbzSvCogxmy7EquLhZr1TUJ2CV1TLflQolKpmxizUvFAzPc9Uzrz3bFEeOCbHlKInTKR6mtMIcrmKjXLq9p1vfA5z0/YcgnNKDk9nBnd+gHfxFqzDJfj6JKuIWOArJGH9dHejdJbC+bSLICFBoPsM3aPJTJj1EdpAgAuE3wSMZ7AHLpm0DqHZPjA2A8P92L29ibe5geDk8Y1Lm5c67cVmNXAsXYV1tC6npVUyNRumg8SpkBv0E0searQl/QOdp7SvzYYKU+8yDN00P1rQJYdr+YzdyBVVWeSyJYuujZe2PnBy+coLR7VIlxCjCGGGSM75fOvsWuX8qlZTxgF2G3d+oKqn9v/4xvOZbKGgmc4zBV1ztSwhnLWvndz86NMbsrO9mqFEyPt5pe6gX2+duBiOlgm3N6JCQ79Y1Hjso827f47+PXkIFt6l772AFkjaRowOhcxsPpgUkWlJxNFOpedcu7Hx4jmn7VgVu5gv59eudM8eVTo1Sa5X1GNff+Hql39tSdFUS3clKSc3Xnz9+N7Hhzm74ppFcdpzuvtf0b8mV975Wxxr9lusudvOjn9MK91pluWC8KjmVhaVY7v1ciPbWS7mcrajhcWnXhw9fdo6OtIsy9fFxsf+/qmtV5YLUZjLGEJJK+Ye+vqtK1/+jZVCCAj+wd27cAc+DBlwE/V5qKJKa+yDX5JWUn+i+g1TCxBuINep1kqlcnlaB6P/hAl04XOp02b0LCbJZCPRunoWU5x+m2pdjaI4x2GUJrlZ+Ruv1SkigMhefC+VsMaD+i7z23vTPFAJHKuQhy7qCgdDxcONF+ue1lctPVCTx8+pqkBkWfQU05REyR9uLKitoKVmzWz9aDdPafxjMiXZrubOrb0ydpcdT8k7NQ9rC1bBN1xbri8b0uKwr1aPRukeL9z9EfpTTGAM/2Q236IsdvNYgzOEb82KuGSGcTBHnZ0ouQ886wEehk6aD0QB4L0ZFsfqfqIhWGyGC2VfyUkcxmjMEwtNCT8gg4QauvTgeEm9nhKFoQc0drm/K5092XF9VVeMRsUaN8PN45thePRMVesvV7q5YNHLtmvJxaPXFclejtxIdT01E7iWpxuV4WK01ihKet3tFlWm6kVTtxtri0fPVRN7Ne5+B3+LvAXl+2OiqEAZleeeON4SZqcaDJ3nKReEfauRUY89/OTTj+96xVJGLvBCtvfqJ1+7GWa8pQVbU5z921/44t/7SMu18hnLMfTdr/3x27+9UVQg6dP/JfoW/pcwhn+eKmXZQ5QsIJSUadMvjM77NyZQhjECim4mRHSwb0kZgBFiwBDEjMYQZc/eA5rUDu4TCmTvECrZKzLbq1ZUq9hmVpbEg71KTrqMxjGnxX/HW3Tqy4JhTPvpiayatb0E4XvlQGLIqavdrHatmEHMCQxDxOTjpi0U8reREJcBiAmmHo6tcPv2OUQ7xTLVab3XDayKgi2TVFoGNTXCiFf1tPGLR/VFf8r5uIT/JxyD228fQSQ5CxVbYCl2QcrIbSCIEnQLEKaxa1Iq7IMgaKm38xnHLz4ALgBlAr15GJycihqsLDYbdUPPZSQOx9AxcXpgbN7tTrw4TZdp4zsd+UwHEbPOl5Hy18/NU6d7FU1v9fz2tc3FY2eCrFBqtXJG01uv+Z3Ggq5V6mvba+rKI8NGpT0YPvw+WfHbJd21HXc1XOi6GZwzs4YpcyYFNSUKjZJhac5i1cq2d/vds3Vx4eJw7epmGdKZdx0X8Z/COvxVWse1ACOKML0tiBg4fBYIIEzQTYYo53QvZni+D5zyy9M+0HyBiEC4By8IKV7Y50igwuX5GAIjhjC7PZvx3LswOYC2B4wly5hw2ZsMD61IxxECBy7MBkgHC3myMP59jF+etoSOjEervaV2q+xbhlqItYR0qINMxvMRXLofs4kd4TwZ1M1HRHX+gu9OmlKrF/Ha0lK1OWq2PFUdXbrsjR9eiSY75/xyZulKRx2NGr4bbNSav193giM3QqG84AvuVru6EkRBUAzXF43htWH38umjAytQUKbkubYcpL09fBX9b9iGRybSeqcpxDl+1p8GStE+QQjpibs+NZekBkEIKKDUM586rELT1kkhD9toe3aMcZhyOJmLifSowRZNUphl6IJhzN45CsMo4fVvt49UcgLHRFIc1fMzlOeoahZ7w1GvxkU135MY0YslK1iQBYUrDb3yiNzYPFNfIa3lbL7d9iuWtqCFO1F+qbZ0+r0Xj2Yz+aWFpautjYLrFK1Kq6QeKbkDu3k89skVCJKZcB8+/AdtBx806c3ZSZ/UBvv3HuAzp6fzMHnjnrsT7/CNOQ3RGQ0pMQ3VKkoO+qjPkjMZ02idqoxUaZmGnnQN43gez40Vq0xUbIyiUkaro3zJ8hSGJUnKFnJYVLhczJEnMr5jZ/LKU8pq0JqcLvU+sMoLotkIFotKs5GVdZmUoworOFaJ/1D3rUr1ePBNvzPt9979GaHox3AePvW2iSiemaI0i7pk6+FW6hnsnsm4RRDC6A3AFL8BFOgbc+Vyj0Xuu5sKl6Mby92yX8jDeXRemNJy1CXDaa8+dhprMK1hAmINkiNShxr3rJ4aMarzPP2LxlpkxUmdCE5Q9AW7JOqVIvdajtuq2CpHmBEtMgSvrukuotwo1Vo911+JShLCGFOmegvLbPye95YyrXaNBMZSoKpbLzy3vvz0it4q1UabqwWaYeMXh4XOgqdJBUk79d6Hz7R7p04ZmBFW2HroRDu1Z//uTzDBKlyEb0x7oL0SRmQXpeOR5BtNv011oTsr+WJ96KYHoO618z2IpFN6GNFPz1oRRFJVRBJVdD9uErwDAhgIvskOjqolEd0MDS0rw0V0UZjWB/HG4EQ48jiJxZySdroTH45lSYAtazw+XGTGYW8FJFbuhiCg3zPdDDZMxlSVs6KC/dxCZLSCpU6AqbJk5O2mXS/wSpXnpc+LpqyaXJQa7QVRpox5FZdkxVxBNjRWa4g8cDUdN3JhqeP0O4sLeZHy4IhbbFotvyC1F+U8+7yIXV3RMlJzOeKyxCTGO8NFppVULyfEe3Tnp7iEc7AOr74doF8c/uYvDH/zlwv/TjtcsM2YGth8gjfeIsPhTHsmJ/8Sn09z5aA/P6jJ8/jbqlrKMEWRx+eWTI4lQ2tYTOCYBV5lJVpYaHsdo6DUcs0TZdFu3PlpvVg54udaiwEmtL/z2BOtXHspGFXM0JJ5dzlbXelf2rvU79e2fH/Nf/g/PGqtNRPfbd39GfoG+gEcg8++TWO5N7WLHZcC5Pp0bEkpXBfu8c9SLOgoexlILPVipqQUnpwLwGrKri8Do5S9NGfTQ5hU/w1WlrsVT1eLChxDmzP9F8WShoyHydGK+rRWPWDOmZWMgxGfIPCYbb+gdesUldua1FkbFKSlYBRUZGJWCxfkUkEf9Mq9bdtqW9QV+xdCtVOpKEq5IPXWBznGLC/sL3mZ7rivUMryubxpyBjRQsWvbawYRs+kgURwjhmO4zBGMKEkOQPH8LfwW2BAHwaT5VLiWu92uFmFC5aJoN0y+1Y/K4OBDGF6Vi+aHdebNxeT01PD6RFdHB2c30M3j3/icYOiJ//dq5XTW9pi7+pvP17fPb6IBExyWUwdVzR8f/DYyWjtOhs+dUIbFT76u3vZwNv4xJn3v/n489W10wsfEkxEXI9IkiQWzMUzj/XXnt6E/wsAAP//AQAA///siYBPAAABAAAAAQKPp0z52l8PPPUADwPoAAAAANx18L4AAAAA3adWef+I/pcE/gSsAAEABgACAAAAAAAAAAEAAAOE/qIAAAUp/4j90QT+AAEAAAAAAAAAAAAAAAAAAAAseJwszTFqwmAYx+Hf+w/NCTJ06pI0pIUM/YZveaEUsnRtwS2LszfwAuLgIkh2Bw8hqLOLmx5AyBV0VAT3Bx6lVDYBHchVUqojaEfUmqCOqCFBY1wNkSPRCjJNedMnwTbk+qXWCLc9A0v5U4vbC23yg2uJJ69UWhFs+3Q9lZ2orWBuC9yuFDrzbj25/qkfj2a4Mr6SiOuboIZgFz50I94BAAD//wEAAP//JWwelAAAAGQAZAFMAbwCRgLkA1IEAAS0BWIF0AYeBkwHHAfSCKYJdgoiClIKxAt4C7QM0g2KD+YQSBDOEZoR4BIkEkgS0hNqE6YUQhTcFaIWJhasF1QYJhiyGVIZuAAAAAEAAAAsBKsACQC6AAUAAgAuAF0AjQAAAVkODAADAAF4nJyS32oTQRTGf7utpUXrA3g1hF5YsZtUsZT2qhVThEDUini7m8z+qWtm2ZltSK59Di98EPHRZI+TsikGRELYHztnzved7yywzw+2CLb3gJ/hN88BT8IbzyG7YeJ5i9PwmedtDsIdzw8YBr8879ALvnve5SBYet7r8EN6wWfPjzq8H/Q48fyYEyDH4aiwnNGnj2VCTUGFwxJhKSiJMNRk9BkzZMRHcgosiiGGGQ7FNYYUx5yYGo3yFSUFEzQzLJopioYZUzQ1Ckcutde8ZYRiTCW13c6jtQ7PUXyS2603I7XHRPJXHWfruis3MbfEMlNMQikncwrx0Z62uhe8F3acof4zobn8IhwLmaj14EQnYoLhKx8wJDJHO+MbcT9C04hCzhc0QxqWLFlwSUPiHVuOuMRQMv1rEgOOGXAu6TpSYhocRpL5k+hTbqXylIiXHHZ01D0ldafU7XzFmDFXnP+Dw9Vzs8ZrDBULSTWTvBUvGDDgld+olr1s9viOGsMNmoncvpCJc9mJlXnvbzHzO2/7rDbSvjUYMumb+u/P0ie90z4iWdM+/A0AAP//AQAA///3gZyweJxiYGYAg//VDCIMWAAAAAD//wEAAP//JRYBknicNIkxqsJAFEXvvD8/Pg0oVoIWIgpKVjGE11kpFkmdLMAl2AhpdC15hEBiNuCulEnwVueci2OD9zlRY55paVoGI7sqRnGFJSHyVK/tjGky8JYWQc/juGNYgBBGijDu4OB6a/EHiO5McUpKVyTec9GD94YxBEi60r1PL77BWFdkl9/hV29oHtA0asznXtqHEqT6zwOIfAEAAP//AQAA//+b8iuH");
}
.sketch-overlay-normal {
	fill: url(#streaks-normal);
	mix-blend-mode: color-burn;
}]]></style><style type="text/css"><![CDATA[.shape {
  shape-rendering: geometricPrecision;
  stroke-linejoin: round;
}
.connection {
  stroke-linecap: round;
  stroke-linejoin: round;
}
.blend {
  mix-blend-mode: multiply;
  opacity: 0.5;
}

		.d2-441724421 .fill-N1{fill:#0A0F25;}
		.d2-441724421 .fill-N2{fill:#676C7E;}
		.d2-441724421 .fill-N3{fill:#9499AB;}
		.d2-441724421 .fill-N4{fill:#CFD2DD;}
		.d2-441724421 .fill-N5{fill:#DEE1EB;}
		.d2-441724421 .fill-N6{fill:#EEF1F8;}
		.d2-441724421 .fill-N7{fill:#FFFFFF;}
		.d2-441724421 .fill-B1{fill:#0D32B2;}
		.d2-441724421 .fill-B2{fill:#0D32B2;}
		.d2-441724421 .fill-B3{fill:#E3E9FD;}
		.d2-441724421 .fill-B4{fill:#E3E9FD;}
		.d2-441724421 .fill-B5{fill:#EDF0FD;}
		.d2-441724421 .fill-B6{fill:#F7F8FE;}
		.d2-441724421 .fill-AA2{fill:#4A6FF3;}
		.d2-441724421 .fill-AA4{fill:#EDF0FD;}
		.d2-441724421 .fill-AA5{fill:#F7F8FE;}
		.d2-441724421 .fill-AB4{fill:#EDF0FD;}
		.d2-441724421 .fill-AB5{fill:#F7F8FE;}
		.d2-441724421 .stroke-N1{stroke:#0A0F25;}
		.d2-441724421 .stroke-N2{stroke:#676C7E;}
		.d2-441724421 .stroke-N3{stroke:#9499AB;}
		.d2-441724421 .stroke-N4{stroke:#CFD2DD;}
		.d2-441724421 .stroke-N5{stroke:#DEE1EB;}
		.d2-441724421 .stroke-N6{stroke:#EEF1F8;}
		.d2-441724421 .stroke-N7{stroke:#FFFFFF;}
		.d2-441724421 .stroke-B1{stroke:#0D32B2;}
		.d2-441724421 .stroke-B2{stroke:#0D32B2;}
		.d2-441724421 .stroke-B3{stroke:#E3E9FD;}
		.d2-441724421 .stroke-B4{stroke:#E3E9FD;}
		.d2-441724421 .stroke-B5{stroke:#EDF0FD;}
		.d2-441724421 .stroke-B6{stroke:#F7F8FE;}
		.d2-441724421 .stroke-AA2{stroke:#4A6FF3;}
		.d2-441724421 .stroke-AA4{stroke:#EDF0FD;}
		.d2-441724421 .stroke-AA5{stroke:#F7F8FE;}
		.d2-441724421 .stroke-AB4{stroke:#EDF0FD;}
		.d2-441724421 .stroke-AB5{stroke:#F7F8FE;}
		.d2-441724421 .background-color-N1{background-color:#0A0F25;}
		.d2-441724421 .background-color-N2{background-color:#676C7E;}
		.d2-441724421 .background-color-N3{background-color:#9499AB;}
		.d2-441724421 .background-color-N4{background-color:#CFD2DD;}
		.d2-441724421 .background-color-N5{background-color:#DEE1EB;}
		.d2-441724421 .background-color-N6{background-color:#EEF1F8;}
		.d2-441724421 .background-color-N7{background-color:#FFFFFF;}
		.d2-441724421 .background-color-B1{background-color:#0D32B2;}
		.d2-441724421 .background-color-B2{background-color:#0D32B2;}
		.d2-441724421 .background-color-B3{background-color:#E3E9FD;}
		.d2-441724421 .background-color-B4{background-color:#E3E9FD;}
		.d2-441724421 .background-color-B5{background-color:#EDF0FD;}
		.d2-441724421 .background-color-B6{background-color:#F7F8FE;}
		.d2-441724421 .background-color-AA2{background-color:#4A6FF3;}
		.d2-441724421 .background-color-AA4{background-color:#EDF0FD;}
		.d2-441724421 .background-color-AA5{background-color:#F7F8FE;}
		.d2-441724421 .background-color-AB4{background-color:#EDF0FD;}
		.d2-441724421 .background-color-AB5{background-color:#F7F8FE;}
		.d2-441724421 .color-N1{color:#0A0F25;}
		.d2-441724421 .color-N2{color:#676C7E;}
		.d2-441724421 .color-N3{color:#9499AB;}
		.d2-441724421 .color-N4{color:#CFD2DD;}
		.d2-441724421 .color-N5{color:#DEE1EB;}
		.d2-441724421 .color-N6{color:#EEF1F8;}
		.d2-441724421 .color-N7{color:#FFFFFF;}
		.d2-441724421 .color-B1{color:#0D32B2;}
		.d2-441724421 .color-B2{color:#0D32B2;}
		.d2-441724421 .color-B3{color:#E3E9FD;}
		.d2-441724421 .color-B4{color:#E3E9FD;}
		.d2-441724421 .color-B5{color:#EDF0FD;}
		.d2-441724421 .color-B6{color:#F7F8FE;}
		.d2-441724421 .color-AA2{color:#4A6FF3;}
		.d2-441724421 .color-AA4{color:#EDF0FD;}
		.d2-441724421 .color-AA5{color:#F7F8FE;}
		.d2-441724421 .color-AB4{color:#EDF0FD;}
		.d2-441724421 .color-AB5{color:#F7F8FE;}.appendix text.text{fill:#0A0F25}.md{--color-fg-default:#0A0F25;--color-fg-muted:#676C7E;--color-fg-subtle:#9499AB;--color-canvas-default:#FFFFFF;--color-canvas-subtle:#EEF1F8;--color-border-default:#0D32B2;--color-border-muted:#0D32B2;--color-neutral-muted:#EEF1F8;--color-accent-fg:#0D32B2;--color-accent-emphasis:#0D32B2;--color-attention-subtle:#676C7E;--color-danger-fg:red;}.sketch-overlay-B1{fill:url(#streaks-darker);mix-blend-mode:lighten}.sketch-overlay-B2{fill:url(#streaks-darker);mix-blend-mode:lighten}.sketch-overlay-B3{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-B4{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-B5{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-B6{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-AA2{fill:url(#streaks-dark);mix-blend-mode:overlay}.sketch-overlay-AA4{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-AA5{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-AB4{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-AB5{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-N1{fill:url(#streaks-darker);mix-blend-mode:lighten}.sketch-overlay-N2{fill:url(#streaks-dark);mix-blend-mode:overlay}.sketch-overlay-N3{fill:url(#streaks-normal);mix-blend-mode:color-burn}.sketch-overlay-N4{fill:url(#streaks-normal);mix-blend-mode:color-burn}.sketch-overlay-N5{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-N6{fill:url(#streaks-bright);mix-blend-mode:darken}.sketch-overlay-N7{fill:url(#streaks-bright);mix-blend-mode:darken}.light-code{display: block}.dark-code{display: none}]]></style><style type="text/css">.d2-441724421 .md em,
.d2-441724421 .md dfn {
  font-family: "d2-441724421-font-italic";
}

.d2-441724421 .md b,
.d2-441724421 .md strong {
  font-family: "d2-441724421-font-bold";
}

.d2-441724421 .md code,
.d2-441724421 .md kbd,
.d2-441724421 .md pre,
.d2-441724421 .md samp {
  font-family: "d2-441724421-font-mono";
  font-size: 1em;
}

.d2-441724421 .md {
  tab-size: 4;
}

/* variables are provided in d2renderers/d2svg/d2svg.go */

.d2-441724421 .md {
  -ms-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
  margin: 0;
  color: var(--color-fg-default);
  background-color: transparent; /* we don't want to define the background color */
  font-family: "d2-441724421-font-regular";
  font-size: 16px;
  line-height: 1.5;
  word-wrap: break-word;
}

.d2-441724421 .md details,
.d2-441724421 .md figcaption,
.d2-441724421 .md figure {
  display: block;
}

.d2-441724421 .md summary {
  display: list-item;
}

.d2-441724421 .md [hidden] {
  display: none !important;
}

.d2-441724421 .md a {
  background-color: transparent;
  color: var(--color-accent-fg);
  text-decoration: none;
}

.d2-441724421 .md a:active,
.d2-441724421 .md a:hover {
  outline-width: 0;
}

.d2-441724421 .md abbr[title] {
  border-bottom: none;
  text-decoration: underline dotted;
}

.d2-441724421 .md dfn {
  font-style: italic;
}

.d2-441724421 .md h1 {
  margin: 0.67em 0;
  padding-bottom: 0.3em;
  font-size: 2em;
  border-bottom: 1px solid var(--color-border-muted);
}

.d2-441724421 .md mark {
  background-color: var(--color-attention-subtle);
  color: var(--color-text-primary);
}

.d2-441724421 .md small {
  font-size: 90%;
}

.d2-441724421 .md sub,
.d2-441724421 .md sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

.d2-441724421 .md sub {
  bottom: -0.25em;
}

.d2-441724421 .md sup {
  top: -0.5em;
}

.d2-441724421 .md img {
  border-style: none;
  max-width: 100%;
  box-sizing: content-box;
  background-color: var(--color-canvas-default);
}

.d2-441724421 .md figure {
  margin: 1em 40px;
}

.d2-441724421 .md hr {
  box-sizing: content-box;
  overflow: hidden;
  background: transparent;
  border-bottom: 1px solid var(--color-border-muted);
  height: 0.25em;
  padding: 0;
  margin: 24px 0;
  background-color: var(--color-border-default);
  border: 0;
}

.d2-441724421 .md input {
  font: inherit;
  margin: 0;
  overflow: visible;
  font-family: inherit;
  font-size: inherit;
  line-height: inherit;
}

.d2-441724421 .md [type="button"],
.d2-441724421 .md [type="reset"],
.d2-441724421 .md [type="submit"] {
  -webkit-appearance: button;
}

.d2-441724421 .md [type="button"]::-moz-focus-inner,
.d2-441724421 .md [type="reset"]::-moz-focus-inner,
.d2-441724421 .md [type="submit"]::-moz-focus-inner {
  border-style: none;
  padding: 0;
}

.d2-441724421 .md [type="button"]:-moz-focusring,
.d2-441724421 .md [type="reset"]:-moz-focusring,
.d2-441724421 .md [type="submit"]:-moz-focusring {
  outline: 1px dotted ButtonText;
}

.d2-441724421 .md [type="checkbox"],
.d2-441724421 .md [type="radio"] {
  box-sizing: border-box;
  padding: 0;
}

.d2-441724421 .md [type="number"]::-webkit-inner-spin-button,
.d2-441724421 .md [type="number"]::-webkit-outer-spin-button {
  height: auto;
}

.d2-441724421 .md [type="search"] {
  -webkit-appearance: textfield;
  outline-offset: -2px;
}

.d2-441724421 .md [type="search"]::-webkit-search-cancel-button,
.d2-441724421 .md [type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
}

.d2-441724421 .md ::-webkit-input-placeholder {
  color: inherit;
  opacity: 0.54;
}

.d2-441724421 .md ::-webkit-file-upload-button {
  -webkit-appearance: button;
  font: inherit;
}

.d2-441724421 .md a:hover {
  text-decoration: underline;
}

.d2-441724421 .md hr::before {
  display: table;
  content: "";
}

.d2-441724421 .md hr::after {
  display: table;
  clear: both;
  content: "";
}

.d2-441724421 .md table {
  border-spacing: 0;
  border-collapse: collapse;
  display: block;
  width: max-content;
  max-width: 100%;
  overflow: auto;
}

.d2-441724421 .md td,
.d2-441724421 .md th {
  padding: 0;
}

.d2-441724421 .md details summary {
  cursor: pointer;
}

.d2-441724421 .md details:not([open]) > *:not(summary) {
  display: none !important;
}

.d2-441724421 .md kbd {
  display: inline-block;
  padding: 3px 5px;
  color: var(--color-fg-default);
  vertical-align: middle;
  background-color: var(--color-canvas-subtle);
  border: solid 1px var(--color-neutral-muted);
  border-bottom-color: var(--color-neutral-muted);
  border-radius: 6px;
  box-shadow: inset 0 -1px 0 var(--color-neutral-muted);
}

.d2-441724421 .md h1,
.d2-441724421 .md h2,
.d2-441724421 .md h3,
.d2-441724421 .md h4,
.d2-441724421 .md h5,
.d2-441724421 .md h6 {
  margin-top: 24px;
  margin-bottom: 16px;
  font-weight: 400;
  line-height: 1.25;
  font-family: "d2-441724421-font-semibold";
}

.d2-441724421 .md h2 {
  padding-bottom: 0.3em;
  font-size: 1.5em;
  border-bottom: 1px solid var(--color-border-muted);
}

.d2-441724421 .md h3 {
  font-size: 1.25em;
}

.d2-441724421 .md h4 {
  font-size: 1em;
}

.d2-441724421 .md h5 {
  font-size: 0.875em;
}

.d2-441724421 .md h6 {
  font-size: 0.85em;
  color: var(--color-fg-muted);
}

.d2-441724421 .md p {
  margin-top: 0;
  margin-bottom: 10px;
}

.d2-441724421 .md blockquote {
  margin: 0;
  padding: 0 1em;
  color: var(--color-fg-muted);
  border-left: 0.25em solid var(--color-border-default);
}

.d2-441724421 .md ul,
.d2-441724421 .md ol {
  margin-top: 0;
  margin-bottom: 0;
  padding-left: 2em;
}

.d2-441724421 .md ol ol,
.d2-441724421 .md ul ol {
  list-style-type: lower-roman;
}

.d2-441724421 .md ul ul ol,
.d2-441724421 .md ul ol ol,
.d2-441724421 .md ol ul ol,
.d2-441724421 .md ol ol ol {
  list-style-type: lower-alpha;
}

.d2-441724421 .md dd {
  margin-left: 0;
}

.d2-441724421 .md pre {
  margin-top: 0;
  margin-bottom: 0;
  word-wrap: normal;
}

.d2-441724421 .md ::placeholder {
  color: var(--color-fg-subtle);
  opacity: 1;
}

.d2-441724421 .md input::-webkit-outer-spin-button,
.d2-441724421 .md input::-webkit-inner-spin-button {
  margin: 0;
  -webkit-appearance: none;
  appearance: none;
}

.d2-441724421 .md::before {
  display: table;
  content: "";
}

.d2-441724421 .md::after {
  display: table;
  clear: both;
  content: "";
}

.d2-441724421 .md > *:first-child {
  margin-top: 0 !important;
}

.d2-441724421 .md > *:last-child {
  margin-bottom: 0 !important;
}

.d2-441724421 .md a:not([href]) {
  color: inherit;
  text-decoration: none;
}

.d2-441724421 .md .absent {
  color: var(--color-danger-fg);
}

.d2-441724421 .md .anchor {
  float: left;
  padding-right: 4px;
  margin-left: -20px;
  line-height: 1;
}

.d2-441724421 .md .anchor:focus {
  outline: none;
}

.d2-441724421 .md p,
.d2-441724421 .md blockquote,
.d2-441724421 .md ul,
.d2-441724421 .md ol,
.d2-441724421 .md dl,
.d2-441724421 .md table,
.d2-441724421 .md pre,
.d2-441724421 .md details {
  margin-top: 0;
  margin-bottom: 16px;
}

.d2-441724421 .md blockquote > :first-child {
  margin-top: 0;
}

.d2-441724421 .md blockquote > :last-child {
  margin-bottom: 0;
}

.d2-441724421 .md sup > a::before {
  content: "[";
}

.d2-441724421 .md sup > a::after {
  content: "]";
}

.d2-441724421 .md h1:hover .anchor,
.d2-441724421 .md h2:hover .anchor,
.d2-441724421 .md h3:hover .anchor,
.d2-441724421 .md h4:hover .anchor,
.d2-441724421 .md h5:hover .anchor,
.d2-441724421 .md h6:hover .anchor {
  text-decoration: none;
}

.d2-441724421 .md h1 tt,
.d2-441724421 .md h1 code,
.d2-441724421 .md h2 tt,
.d2-441724421 .md h2 code,
.d2-441724421 .md h3 tt,
.d2-441724421 .md h3 code,
.d2-441724421 .md h4 tt,
.d2-441724421 .md h4 code,
.d2-441724421 .md h5 tt,
.d2-441724421 .md h5 code,
.d2-441724421 .md h6 tt,
.d2-441724421 .md h6 code {
  padding: 0 0.2em;
  font-size: inherit;
}

.d2-441724421 .md ul.no-list,
.d2-441724421 .md ol.no-list {
  padding: 0;
  list-style-type: none;
}

.d2-441724421 .md ol[type="1"] {
  list-style-type: decimal;
}

.d2-441724421 .md ol[type="a"] {
  list-style-type: lower-alpha;
}

.d2-441724421 .md ol[type="i"] {
  list-style-type: lower-roman;
}

.d2-441724421 .md div > ol:not([type]) {
  list-style-type: decimal;
}

.d2-441724421 .md ul ul,
.d2-441724421 .md ul ol,
.d2-441724421 .md ol ol,
.d2-441724421 .md ol ul {
  margin-top: 0;
  margin-bottom: 0;
}

.d2-441724421 .md li > p {
  margin-top: 16px;
}

.d2-441724421 .md li + li {
  margin-top: 0.25em;
}

.d2-441724421 .md dl {
  padding: 0;
}

.d2-441724421 .md dl dt {
  padding: 0;
  margin-top: 16px;
  font-size: 1em;
  font-style: italic;
  font-family: "d2-441724421-font-semibold";
}

.d2-441724421 .md dl dd {
  padding: 0 16px;
  margin-bottom: 16px;
}

.d2-441724421 .md table th {
  font-family: "d2-441724421-font-semibold";
}

.d2-441724421 .md table th,
.d2-441724421 .md table td {
  padding: 6px 13px;
  border: 1px solid var(--color-border-default);
}

.d2-441724421 .md table tr {
  background-color: var(--color-canvas-default);
  border-top: 1px solid var(--color-border-muted);
}

.d2-441724421 .md table tr:nth-child(2n) {
  background-color: var(--color-canvas-subtle);
}

.d2-441724421 .md table img {
  background-color: transparent;
}

.d2-441724421 .md img[align="right"] {
  padding-left: 20px;
}

.d2-441724421 .md img[align="left"] {
  padding-right: 20px;
}

.d2-441724421 .md span.frame {
  display: block;
  overflow: hidden;
}

.d2-441724421 .md span.frame > span {
  display: block;
  float: left;
  width: auto;
  padding: 7px;
  margin: 13px 0 0;
  overflow: hidden;
  border: 1px solid var(--color-border-default);
}

.d2-441724421 .md span.frame span img {
  display: block;
  float: left;
}

.d2-441724421 .md span.frame span span {
  display: block;
  padding: 5px 0 0;
  clear: both;
  color: var(--color-fg-default);
}

.d2-441724421 .md span.align-center {
  display: block;
  overflow: hidden;
  clear: both;
}

.d2-441724421 .md span.align-center > span {
  display: block;
  margin: 13px auto 0;
  overflow: hidden;
  text-align: center;
}

.d2-441724421 .md span.align-center span img {
  margin: 0 auto;
  text-align: center;
}

.d2-441724421 .md span.align-right {
  display: block;
  overflow: hidden;
  clear: both;
}

.d2-441724421 .md span.align-right > span {
  display: block;
  margin: 13px 0 0;
  overflow: hidden;
  text-align: right;
}

.d2-441724421 .md span.align-right span img {
  margin: 0;
  text-align: right;
}

.d2-441724421 .md span.float-left {
  display: block;
  float: left;
  margin-right: 13px;
  overflow: hidden;
}

.d2-441724421 .md span.float-left span {
  margin: 13px 0 0;
}

.d2-441724421 .md span.float-right {
  display: block;
  float: right;
  margin-left: 13px;
  overflow: hidden;
}

.d2-441724421 .md span.float-right > span {
  display: block;
  margin: 13px auto 0;
  overflow: hidden;
  text-align: right;
}

.d2-441724421 .md code,
.d2-441724421 .md tt {
  padding: 0.2em 0.4em;
  margin: 0;
  font-size: 85%;
  background-color: var(--color-neutral-muted);
  border-radius: 6px;
}

.d2-441724421 .md code br,
.d2-441724421 .md tt br {
  display: none;
}

.d2-441724421 .md del code {
  text-decoration: inherit;
}

.d2-441724421 .md pre code {
  font-size: 100%;
}

.d2-441724421 .md pre > code {
  padding: 0;
  margin: 0;
  word-break: normal;
  white-space: pre;
  background: transparent;
  border: 0;
}

.d2-441724421 .md .highlight {
  margin-bottom: 16px;
}

.d2-441724421 .md .highlight pre {
  margin-bottom: 0;
  word-break: normal;
}

.d2-441724421 .md .highlight pre,
.d2-441724421 .md pre {
  padding: 16px;
  overflow: auto;
  font-size: 85%;
  line-height: 1.45;
  background-color: var(--color-canvas-subtle);
  border-radius: 6px;
}

.d2-441724421 .md pre code,
.d2-441724421 .md pre tt {
  display: inline;
  max-width: auto;
  padding: 0;
  margin: 0;
  overflow: visible;
  line-height: inherit;
  word-wrap: normal;
  background-color: transparent;
  border: 0;
}

.d2-441724421 .md .csv-data td,
.d2-441724421 .md .csv-data th {
  padding: 5px;
  overflow: hidden;
  font-size: 12px;
  line-height: 1;
  text-align: left;
  white-space: nowrap;
}

.d2-441724421 .md .csv-data .blob-num {
  padding: 10px 8px 9px;
  text-align: right;
  background: var(--color-canvas-default);
  border: 0;
}

.d2-441724421 .md .csv-data tr {
  border-top: 0;
}

.d2-441724421 .md .csv-data th {
  font-family: "d2-441724421-font-semibold";
  background: var(--color-canvas-subtle);
  border-top: 0;
}

.d2-441724421 .md .footnotes {
  font-size: 12px;
  color: var(--color-fg-muted);
  border-top: 1px solid var(--color-border-default);
}

.d2-441724421 .md .footnotes ol {
  padding-left: 16px;
}

.d2-441724421 .md .footnotes li {
  position: relative;
}

.d2-441724421 .md .footnotes li:target::before {
  position: absolute;
  top: -8px;
  right: -8px;
  bottom: -8px;
  left: -24px;
  pointer-events: none;
  content: "";
  border: 2px solid var(--color-accent-emphasis);
  border-radius: 6px;
}

.d2-441724421 .md .footnotes li:target {
  color: var(--color-fg-default);
}

.d2-441724421 .md .task-list-item {
  list-style-type: none;
}

.d2-441724421 .md .task-list-item label {
  font-weight: 400;
}

.d2-441724421 .md .task-list-item.enabled label {
  cursor: pointer;
}

.d2-441724421 .md .task-list-item + .task-list-item {
  margin-top: 3px;
}

.d2-441724421 .md .task-list-item .handle {
  display: none;
}

.d2-441724421 .md .task-list-item-checkbox {
  margin: 0 0.2em 0.25em -1.6em;
  vertical-align: middle;
}

.d2-441724421 .md .contains-task-list:dir(rtl) .task-list-item-checkbox {
  margin: 0 -1.6em 0.25em 0.2em;
}
</style><defs><pattern id="streaks-bright" x="0" y="0" width="100" height="100" patternUnits="userSpaceOnUse">
    <path fill="rgba(0, 0, 0, 0.1)" fill-rule="evenodd" clip-rule="evenodd" d="M58.1193 0H58.1703L55.4939 2.67644L58.1193 0ZM45.7725 0H45.811L41.2851 4.61498L42.7191 3.29325L37.0824 8.92997L35.0554 10.9569L32.0719 13.9404L29.6229 16.5017L27.1738 19.0631L25.8089 20.2034L23.2195 22.6244L18.181 27.6068L23.8178 21.97L27.0615 18.9508L33.8666 11.9773L33.1562 12.5194L37.0262 8.87383L40.784 5.11602L38.0299 7.64561L45.7725 0ZM23.1079 0H23.108L21.5814 1.66688L20.3126 2.79534L23.1079 0ZM7.53869 0H7.54254L7.50005 0.035944L7.53869 0ZM2.49995 0H2.52362L0.900245 1.59971L2.49995 0ZM0 3.64398V3.60744L0.278386 3.36559L0 3.64398ZM0 18.6564V18.5398L0.67985 17.8416L3.4459 15.0755L1.15701 17.1333L2.78713 15.6022L6.01437 12.507L8.5168 9.87253L5.15803 13.2313L11.0357 7.25453L10.4926 7.89678L13.6868 4.7686L8.54982 9.90555L7.05177 11.5687L4.68087 13.9396L0.729379 17.8911L3.01827 15.8333L0 18.6564ZM0 69.2431V69.178L1.64651 67.4763L1.46347 67.7796L5.84063 63.4025L4.42167 64.9016L0 69.4007V69.3408L0.247596 68.9955L0 69.2431ZM2.51594 100H2.49238L5.19989 97.2925L7.70071 95.0162L12.8713 89.6772L12.3094 90.0707L15.288 87.3167L18.1542 84.4504L16.0269 86.3532L22.8752 79.6172L18.5364 84.0683L19.6435 83.0734L15.3441 87.3728L13.798 88.9189L11.5224 91.1945L9.66768 93.1615L7.81297 95.1285L6.74529 95.9716L4.75024 97.7983L2.51594 100ZM7.54255 100H7.5387L9.81396 97.884L8.46606 99.2189L7.54255 100ZM45.8189 100H45.7807L46.9912 98.8047L45.8189 100ZM58.1784 100H58.1272L62.2952 95.7511L66.1408 91.9055L63.0037 94.8115L65.2507 92.6635L69.7117 88.3346L73.2165 84.6977L68.5469 89.3673L76.7379 81.0773L75.9634 81.9509L80.3913 77.5889L73.2496 84.7307L71.1346 87.0107L67.8384 90.3069L62.3447 95.8006L65.4818 92.8947L61.2625 96.9159L58.1784 100ZM75.4277 100H75.229L82.1834 92.9039L81.3403 93.5787L86.0063 89.1371L90.5601 84.5833L87.2464 87.6725L98.0937 76.9375L91.1673 83.9761L92.8932 82.3625L86.0625 89.1933L83.6062 91.6496L79.9907 95.265L77.011 98.357L75.4277 100ZM100 18.5398V18.6563L99.9556 18.6979L95.8065 22.847L100 18.5398ZM100 3.60743V3.64398L99.6791 3.9649L99.2094 4.29428L100 3.60743ZM75.4201 0L74.0312 1.4412L72.401 2.84687L69.281 5.79854L63.1812 11.8422L70.0119 5.01151L73.919 1.32893L75.2214 0H75.4201ZM100 69.1858V69.2509L98.059 71.1919L100 69.1858ZM100 69.3486V69.4085L99.8414 69.5698L100 69.3486ZM41.9398 28.8254L53.6223 16.993L52.5215 18.2437L54.7428 16.0575L54.6875 16.0759L54.8008 16.0004L58.842 12.0231L54.9925 15.8726L55.1085 15.7953L54.898 16.0058L54.84 16.0251L48.6523 22.2128L45.6419 25.473L40.9389 30.1759L33.1007 38.0142L37.5866 33.878L31.558 39.6068L23.3278 47.837L33.0257 37.9393L38.5125 32.4525L34.0266 36.5887L37.2369 33.5283L43.6074 27.3576L48.6023 22.1628L41.9398 28.8254ZM41.0977 17.0531L39.718 18.2925L40.312 17.8388L41.0977 17.0531ZM36.875 20.3106L48.1601 7.88137L42.3438 13.7478L36.875 20.3106ZM35.7125 25.8109L34.3328 27.0503L34.9268 26.5966L35.7125 25.8109ZM17.7022 39.7534L19.0819 38.514L18.8092 38.7867L36.7575 21.8045L23.1569 35.3051L13.5771 43.7372L18.1448 39.4154L17.7022 39.7534ZM3.48102 28.9281L1.53562 30.8735L1.22228 31.0465L0.0765686 32.3326L1.60579 30.9437L2.57849 29.971L3.48102 28.9281ZM0.953463 26.2027L19.5702 7.58594L9.31575 18.6078L0.953463 26.2027ZM23.7175 12.11L17.9339 18.0875L21.4622 14.5592L20.8074 15.4725L28.1915 7.95918L30.4791 5.54232L23.4224 12.599L23.7175 12.11ZM43.4641 43.1538L40.7872 46.1552L42.4907 44.4517L42.3285 45.0465L45.8166 41.3421L46.8441 40.0983L43.4371 43.5053L43.4641 43.1538ZM1.32715 48.3271L8.0918 41.5625L4.3657 45.5674L1.32715 48.3271ZM11.1479 31.2556L11.5689 30.975L11.3584 31.1855L11.1479 31.2556ZM11.9898 27.4667L12.2003 27.2562L11.7793 27.5369L11.9898 27.4667ZM11.3585 34.5531L11.148 34.7636L10.9375 34.8338L11.3585 34.5531ZM72.929 28.5457L82.2965 19.0792L81.4043 20.0705L86.4597 15.0811L78.2983 23.2425L75.8697 25.8362L72.1029 29.603L65.8249 35.881L69.3934 32.5437L64.5858 37.1531L57.994 43.745L65.7754 35.8314L70.17 31.4369L66.6015 34.7742L69.1623 32.3125L74.2507 27.3562L78.2653 23.2095L72.929 28.5457ZM82.6674 1.83549L84.3245 0.31872L83.3724 1.27088L82.6674 1.83549ZM64.5872 16.1312L62.9301 17.648L63.6351 17.0834L64.5872 16.1312ZM70.868 9.85044L80.0048 1.1214L74.6221 6.47142L70.868 9.85044ZM90.2409 41.9448L70.7578 61.4279L79.5093 53.4795L90.2409 41.9448ZM91.8088 42.5434L95.3963 38.8357L95.2132 39.139L99.5904 34.7618L98.1714 36.261L93.5912 40.9214L93.9973 40.3549L91.8088 42.5434ZM94.331 12.8233L89.9853 17.1691L89.2853 17.5555L86.7259 20.4284L90.142 17.3258L92.3149 15.1529L94.331 12.8233ZM44.7972 62.3259L76.9824 30.1406L59.2542 49.1955L44.7972 62.3259ZM77.1482 40.321L70.1709 47.5323L70 47.6463L70.0895 47.6164L68.1916 49.5779L70.185 47.5846L70.2105 47.5761L70.421 47.3656L70.37 47.3996L73.6557 44.1139L72.6416 45.5283L84.0768 33.893L87.6194 30.1502L76.6913 41.0783L77.1482 40.321ZM50.5355 34.3137L72.6617 12.1875L60.4955 25.3084L50.5355 34.3137ZM70.2104 44.0681L70.6314 43.7875L70.4209 43.998L70.2104 44.0681ZM71.263 40.0687L70.842 40.3494L71.0525 40.2792L71.263 40.0687ZM55.1084 12.4355L55.3189 12.225L54.8979 12.5056L55.1084 12.4355ZM48.8718 15.5785L60.2075 4.70496L49.4056 15.4006L48.8718 15.5785ZM23.7636 57.4491L29.9099 51.5854L26.1656 55.6123L27.2361 54.8244L23.435 58.6255L22.0681 59.9924L20.0562 62.0042L18.5082 63.8349L16.9601 65.6656L15.8328 66.2277L13.9315 67.7051L10.4821 71.0132L14.2832 67.2121L16.6775 65.383L21.1113 60.5253L20.477 60.7357L23.2937 58.4842L25.8277 55.9502L23.7636 57.4491ZM48.3825 74.1824L44.8832 77.8523L46.9145 75.8211L45.4748 77.4881L43.4493 79.2862L42.4082 80.1568L43.9215 79.0414L42.2487 80.7143L39.3752 83.8151L41.8844 81.3059L43.8473 79.6842L42.334 80.7995L44.7237 78.4098L46.1576 76.976L46.9713 75.8779L50.078 72.7713L48.1093 74.6262L48.3825 74.1824ZM29.2877 62.9906L29.0772 63.2011L28.8667 63.2713L29.2877 62.9906ZM29.7088 59.4823L29.9193 59.2719L29.4983 59.5525L29.7088 59.4823ZM29.0772 66.5687L28.8667 66.7792L28.6562 66.8494L29.0772 66.5687ZM22.9729 68.748L23.1834 68.5375L22.7624 68.8181L22.9729 68.748ZM3.8147e-05 91.7593L13.2499 79.1355L6.5001 86.2595L3.8147e-05 91.7593ZM16.0685 87.9974L17.1375 87.0687L16.5382 87.668L16.0685 87.9974ZM21.7869 79.3344L20.7179 80.263L21.1876 79.9337L21.7869 79.3344ZM12.3607 95.0755L13.4298 94.1469L12.8304 94.7462L12.3607 95.0755ZM42.7176 59.3801L43.2789 58.8187L43.0684 59.1696L42.7877 59.4502L42.2966 59.801L42.5772 59.3801H42.7176ZM26.3124 49.3152L24.3599 51.2676L23.996 51.3918L22.8956 52.732L24.4798 51.3875L25.456 50.4113L26.3124 49.3152ZM39.0689 63.3097L38.5777 63.6606L39.56 62.6782L39.0689 63.3097ZM20.3574 55.8032L19.3751 56.7856L19.8662 56.4347L20.3574 55.8032ZM39.9297 64.195L41.5504 62.3779L41.534 62.5907L43.5967 60.528L42.9746 61.2811L40.8628 63.5238L40.961 63.1637L39.9297 64.195ZM22.3921 55.457L21.3998 56.5696L22.0313 55.9381L21.9711 56.1587L23.2642 54.7854L23.6451 54.3243L22.3821 55.5873L22.3921 55.457ZM40.6473 92.4498L45.0485 88.0485L43.0066 90.4079L40.806 92.6085L37.3463 95.7507L39.9384 92.8412L40.6473 92.4498ZM18.5042 48.7973L11.5457 55.7558L10.4249 56.3746L6.32684 60.9746L11.7967 56.0067L15.2759 52.5275L18.5042 48.7973ZM32.7113 78.139L31.1131 79.7372L30.8432 79.8668L29.9145 80.9358L31.1833 79.8074L31.9823 79.0083L32.7113 78.139ZM21.7577 93.9525L31.2855 84.0344L30.8324 84.8777L42.4999 73.2102L38.7408 77.2295L26.5552 89.6753L27.5914 88.1187L21.7577 93.9525ZM98.5132 90.0591L89.9224 97.9224L93.5769 94.9953L98.5132 90.0591ZM97.8456 80.2105L99.5027 78.6937L98.5506 79.6459L97.8456 80.2105ZM88.5656 56.4599L78.9205 65.7009L82.1262 63.3036L78.1413 67.2885L73.7522 70.8692L74.7195 70.5082L67.717 78.117L63.992 81.0336L58.0146 87.011L63.4289 81.7988L66.3887 79.4454L68.1212 78.5213L70.5757 75.6625L73.0302 72.8038L76.194 69.64L78.3434 67.4906L84.3208 61.5132L82.6575 62.7723L88.5656 56.4599ZM85.1893 67.0375L83.7304 68.356L84.3561 67.8707L85.1893 67.0375ZM90.7969 58.2022L99.2725 50.5418L94.4317 55.3826L90.7969 58.2022ZM79.377 76.2172L77.9182 77.5357L78.5438 77.0504L79.377 76.2172ZM59.4922 91.7253L56.4011 94.1231L60.0049 90.8659L63.6087 87.6087L59.4922 91.7253ZM63.8833 75.4153L46 92.3896L49.6884 89.1193L53.3767 85.8491L63.8833 75.4153ZM71.6063 55.0765L69.6609 57.0219L69.3475 57.1949L68.2018 58.481L69.731 57.0921L70.7037 56.1194L71.6063 55.0765ZM55.1405 71.6857L61.4131 65.4131L57.958 69.1267L55.1405 71.6857ZM65.8396 69.4497L61.7138 73.7138L64.2308 71.1968L63.7637 71.8484L69.0313 66.4886L70.6632 64.7645L65.6292 69.7985L65.8396 69.4497ZM53.0034 65.4955L58.2258 59.8914L58.0558 60.4431L64.5517 53.9472L62.5136 56.2398L55.7841 63.2238L56.2513 62.2475L53.0034 65.4955ZM97.0997 71.2032L79.6514 88.6515L86.7697 80.814L97.0997 71.2032ZM35.1848 56.2513L31.93 59.9006L34.0012 57.8294L33.804 58.5527L38.0451 54.0485L39.2945 52.5361L35.1519 56.6787L35.1848 56.2513ZM66.8712 26.2471L78.1907 14.3099L77.7244 15.394L91.6784 1.4399L87.233 6.29715L72.7096 21.2323L73.8482 19.2701L66.8712 26.2471ZM28.0473 68.2068L20.4355 76.375L25.1695 71.641L24.4884 73.0639L34.297 62.8844L37.2675 59.5429L27.7995 69.0109L28.0473 68.2068ZM8.94067 39.5658L14.1631 33.9617L13.993 34.5134L20.4889 28.0175L18.4509 30.3101L11.7213 37.2941L12.1886 36.3178L8.94067 39.5658ZM99.7403 26L88 37.7404L93.2735 32.9508L99.7403 26ZM1.93388 8.08743L4.77765 5.04974L4.67856 5.34275L8.20743 1.81388L7.09578 3.05481L3.4355 6.84437L3.69832 6.32299L1.93388 8.08743ZM54.4485 44.211L48.5985 50.061L47.6563 50.5813L44.211 54.4485L48.8095 50.272L51.7345 47.347L54.4485 44.211Z" />
</pattern><pattern id="streaks-normal" x="0" y="0" width="100" height="100" patternUnits="userSpaceOnUse">
    <path fill="rgba(0, 0, 0, 0.16)" fill-rule="evenodd" clip-rule="evenodd" d="M58.1193 0H58.1703L55.4939 2.67644L58.1193 0ZM45.7725 0H45.811L41.2851 4.61498L42.7191 3.29325L37.0824 8.92997L35.0554 10.9569L32.0719 13.9404L29.6229 16.5017L27.1738 19.0631L25.8089 20.2034L23.2195 22.6244L18.181 27.6068L23.8178 21.97L27.0615 18.9508L33.8666 11.9773L33.1562 12.5194L37.0262 8.87383L40.784 5.11602L38.0299 7.64561L45.7725 0ZM23.1079 0H23.108L21.5814 1.66688L20.3126 2.79534L23.1079 0ZM7.53869 0H7.54254L7.50005 0.035944L7.53869 0ZM2.49995 0H2.52362L0.900245 1.59971L2.49995 0ZM0 3.64398V3.60744L0.278386 3.36559L0 3.64398ZM0 18.6564V18.5398L0.67985 17.8416L3.4459 15.0755L1.15701 17.1333L2.78713 15.6022L6.01437 12.507L8.5168 9.87253L5.15803 13.2313L11.0357 7.25453L10.4926 7.89678L13.6868 4.7686L8.54982 9.90555L7.05177 11.5687L4.68087 13.9396L0.729379 17.8911L3.01827 15.8333L0 18.6564ZM0 69.2431V69.178L1.64651 67.4763L1.46347 67.7796L5.84063 63.4025L4.42167 64.9016L0 69.4007V69.3408L0.247596 68.9955L0 69.2431ZM2.51594 100H2.49238L5.19989 97.2925L7.70071 95.0162L12.8713 89.6772L12.3094 90.0707L15.288 87.3167L18.1542 84.4504L16.0269 86.3532L22.8752 79.6172L18.5364 84.0683L19.6435 83.0734L15.3441 87.3728L13.798 88.9189L11.5224 91.1945L9.66768 93.1615L7.81297 95.1285L6.74529 95.9716L4.75024 97.7983L2.51594 100ZM7.54255 100H7.5387L9.81396 97.884L8.46606 99.2189L7.54255 100ZM45.8189 100H45.7807L46.9912 98.8047L45.8189 100ZM58.1784 100H58.1272L62.2952 95.7511L66.1408 91.9055L63.0037 94.8115L65.2507 92.6635L69.7117 88.3346L73.2165 84.6977L68.5469 89.3673L76.7379 81.0773L75.9634 81.9509L80.3913 77.5889L73.2496 84.7307L71.1346 87.0107L67.8384 90.3069L62.3447 95.8006L65.4818 92.8947L61.2625 96.9159L58.1784 100ZM75.4277 100H75.229L82.1834 92.9039L81.3403 93.5787L86.0063 89.1371L90.5601 84.5833L87.2464 87.6725L98.0937 76.9375L91.1673 83.9761L92.8932 82.3625L86.0625 89.1933L83.6062 91.6496L79.9907 95.265L77.011 98.357L75.4277 100ZM100 18.5398V18.6563L99.9556 18.6979L95.8065 22.847L100 18.5398ZM100 3.60743V3.64398L99.6791 3.9649L99.2094 4.29428L100 3.60743ZM75.4201 0L74.0312 1.4412L72.401 2.84687L69.281 5.79854L63.1812 11.8422L70.0119 5.01151L73.919 1.32893L75.2214 0H75.4201ZM100 69.1858V69.2509L98.059 71.1919L100 69.1858ZM100 69.3486V69.4085L99.8414 69.5698L100 69.3486ZM41.9398 28.8254L53.6223 16.993L52.5215 18.2437L54.7428 16.0575L54.6875 16.0759L54.8008 16.0004L58.842 12.0231L54.9925 15.8726L55.1085 15.7953L54.898 16.0058L54.84 16.0251L48.6523 22.2128L45.6419 25.473L40.9389 30.1759L33.1007 38.0142L37.5866 33.878L31.558 39.6068L23.3278 47.837L33.0257 37.9393L38.5125 32.4525L34.0266 36.5887L37.2369 33.5283L43.6074 27.3576L48.6023 22.1628L41.9398 28.8254ZM41.0977 17.0531L39.718 18.2925L40.312 17.8388L41.0977 17.0531ZM36.875 20.3106L48.1601 7.88137L42.3438 13.7478L36.875 20.3106ZM35.7125 25.8109L34.3328 27.0503L34.9268 26.5966L35.7125 25.8109ZM17.7022 39.7534L19.0819 38.514L18.8092 38.7867L36.7575 21.8045L23.1569 35.3051L13.5771 43.7372L18.1448 39.4154L17.7022 39.7534ZM3.48102 28.9281L1.53562 30.8735L1.22228 31.0465L0.0765686 32.3326L1.60579 30.9437L2.57849 29.971L3.48102 28.9281ZM0.953463 26.2027L19.5702 7.58594L9.31575 18.6078L0.953463 26.2027ZM23.7175 12.11L17.9339 18.0875L21.4622 14.5592L20.8074 15.4725L28.1915 7.95918L30.4791 5.54232L23.4224 12.599L23.7175 12.11ZM43.4641 43.1538L40.7872 46.1552L42.4907 44.4517L42.3285 45.0465L45.8166 41.3421L46.8441 40.0983L43.4371 43.5053L43.4641 43.1538ZM1.32715 48.3271L8.0918 41.5625L4.3657 45.5674L1.32715 48.3271ZM11.1479 31.2556L11.5689 30.975L11.3584 31.1855L11.1479 31.2556ZM11.9898 27.4667L12.2003 27.2562L11.7793 27.5369L11.9898 27.4667ZM11.3585 34.5531L11.148 34.7636L10.9375 34.8338L11.3585 34.5531ZM72.929 28.5457L82.2965 19.0792L81.4043 20.0705L86.4597 15.0811L78.2983 23.2425L75.8697 25.8362L72.1029 29.603L65.8249 35.881L69.3934 32.5437L64.5858 37.1531L57.994 43.745L65.7754 35.8314L70.17 31.4369L66.6015 34.7742L69.1623 32.3125L74.2507 27.3562L78.2653 23.2095L72.929 28.5457ZM82.6674 1.83549L84.3245 0.31872L83.3724 1.27088L82.6674 1.83549ZM64.5872 16.1312L62.9301 17.648L63.6351 17.0834L64.5872 16.1312ZM70.868 9.85044L80.0048 1.1214L74.6221 6.47142L70.868 9.85044ZM90.2409 41.9448L70.7578 61.4279L79.5093 53.4795L90.2409 41.9448ZM91.8088 42.5434L95.3963 38.8357L95.2132 39.139L99.5904 34.7618L98.1714 36.261L93.5912 40.9214L93.9973 40.3549L91.8088 42.5434ZM94.331 12.8233L89.9853 17.1691L89.2853 17.5555L86.7259 20.4284L90.142 17.3258L92.3149 15.1529L94.331 12.8233ZM44.7972 62.3259L76.9824 30.1406L59.2542 49.1955L44.7972 62.3259ZM77.1482 40.321L70.1709 47.5323L70 47.6463L70.0895 47.6164L68.1916 49.5779L70.185 47.5846L70.2105 47.5761L70.421 47.3656L70.37 47.3996L73.6557 44.1139L72.6416 45.5283L84.0768 33.893L87.6194 30.1502L76.6913 41.0783L77.1482 40.321ZM50.5355 34.3137L72.6617 12.1875L60.4955 25.3084L50.5355 34.3137ZM70.2104 44.0681L70.6314 43.7875L70.4209 43.998L70.2104 44.0681ZM71.263 40.0687L70.842 40.3494L71.0525 40.2792L71.263 40.0687ZM55.1084 12.4355L55.3189 12.225L54.8979 12.5056L55.1084 12.4355ZM48.8718 15.5785L60.2075 4.70496L49.4056 15.4006L48.8718 15.5785ZM23.7636 57.4491L29.9099 51.5854L26.1656 55.6123L27.2361 54.8244L23.435 58.6255L22.0681 59.9924L20.0562 62.0042L18.5082 63.8349L16.9601 65.6656L15.8328 66.2277L13.9315 67.7051L10.4821 71.0132L14.2832 67.2121L16.6775 65.383L21.1113 60.5253L20.477 60.7357L23.2937 58.4842L25.8277 55.9502L23.7636 57.4491ZM48.3825 74.1824L44.8832 77.8523L46.9145 75.8211L45.4748 77.4881L43.4493 79.2862L42.4082 80.1568L43.9215 79.0414L42.2487 80.7143L39.3752 83.8151L41.8844 81.3059L43.8473 79.6842L42.334 80.7995L44.7237 78.4098L46.1576 76.976L46.9713 75.8779L50.078 72.7713L48.1093 74.6262L48.3825 74.1824ZM29.2877 62.9906L29.0772 63.2011L28.8667 63.2713L29.2877 62.9906ZM29.7088 59.4823L29.9193 59.2719L29.4983 59.5525L29.7088 59.4823ZM29.0772 66.5687L28.8667 66.7792L28.6562 66.8494L29.0772 66.5687ZM22.9729 68.748L23.1834 68.5375L22.7624 68.8181L22.9729 68.748ZM3.8147e-05 91.7593L13.2499 79.1355L6.5001 86.2595L3.8147e-05 91.7593ZM16.0685 87.9974L17.1375 87.0687L16.5382 87.668L16.0685 87.9974ZM21.7869 79.3344L20.7179 80.263L21.1876 79.9337L21.7869 79.3344ZM12.3607 95.0755L13.4298 94.1469L12.8304 94.7462L12.3607 95.0755ZM42.7176 59.3801L43.2789 58.8187L43.0684 59.1696L42.7877 59.4502L42.2966 59.801L42.5772 59.3801H42.7176ZM26.3124 49.3152L24.3599 51.2676L23.996 51.3918L22.8956 52.732L24.4798 51.3875L25.456 50.4113L26.3124 49.3152ZM39.0689 63.3097L38.5777 63.6606L39.56 62.6782L39.0689 63.3097ZM20.3574 55.8032L19.3751 56.7856L19.8662 56.4347L20.3574 55.8032ZM39.9297 64.195L41.5504 62.3779L41.534 62.5907L43.5967 60.528L42.9746 61.2811L40.8628 63.5238L40.961 63.1637L39.9297 64.195ZM22.3921 55.457L21.3998 56.5696L22.0313 55.9381L21.9711 56.1587L23.2642 54.7854L23.6451 54.3243L22.3821 55.5873L22.3921 55.457ZM40.6473 92.4498L45.0485 88.0485L43.0066 90.4079L40.806 92.6085L37.3463 95.7507L39.9384 92.8412L40.6473 92.4498ZM18.5042 48.7973L11.5457 55.7558L10.4249 56.3746L6.32684 60.9746L11.7967 56.0067L15.2759 52.5275L18.5042 48.7973ZM32.7113 78.139L31.1131 79.7372L30.8432 79.8668L29.9145 80.9358L31.1833 79.8074L31.9823 79.0083L32.7113 78.139ZM21.7577 93.9525L31.2855 84.0344L30.8324 84.8777L42.4999 73.2102L38.7408 77.2295L26.5552 89.6753L27.5914 88.1187L21.7577 93.9525ZM98.5132 90.0591L89.9224 97.9224L93.5769 94.9953L98.5132 90.0591ZM97.8456 80.2105L99.5027 78.6937L98.5506 79.6459L97.8456 80.2105ZM88.5656 56.4599L78.9205 65.7009L82.1262 63.3036L78.1413 67.2885L73.7522 70.8692L74.7195 70.5082L67.717 78.117L63.992 81.0336L58.0146 87.011L63.4289 81.7988L66.3887 79.4454L68.1212 78.5213L70.5757 75.6625L73.0302 72.8038L76.194 69.64L78.3434 67.4906L84.3208 61.5132L82.6575 62.7723L88.5656 56.4599ZM85.1893 67.0375L83.7304 68.356L84.3561 67.8707L85.1893 67.0375ZM90.7969 58.2022L99.2725 50.5418L94.4317 55.3826L90.7969 58.2022ZM79.377 76.2172L77.9182 77.5357L78.5438 77.0504L79.377 76.2172ZM59.4922 91.7253L56.4011 94.1231L60.0049 90.8659L63.6087 87.6087L59.4922 91.7253ZM63.8833 75.4153L46 92.3896L49.6884 89.1193L53.3767 85.8491L63.8833 75.4153ZM71.6063 55.0765L69.6609 57.0219L69.3475 57.1949L68.2018 58.481L69.731 57.0921L70.7037 56.1194L71.6063 55.0765ZM55.1405 71.6857L61.4131 65.4131L57.958 69.1267L55.1405 71.6857ZM65.8396 69.4497L61.7138 73.7138L64.2308 71.1968L63.7637 71.8484L69.0313 66.4886L70.6632 64.7645L65.6292 69.7985L65.8396 69.4497ZM53.0034 65.4955L58.2258 59.8914L58.0558 60.4431L64.5517 53.9472L62.5136 56.2398L55.7841 63.2238L56.2513 62.2475L53.0034 65.4955ZM97.0997 71.2032L79.6514 88.6515L86.7697 80.814L97.0997 71.2032ZM35.1848 56.2513L31.93 59.9006L34.0012 57.8294L33.804 58.5527L38.0451 54.0485L39.2945 52.5361L35.1519 56.6787L35.1848 56.2513ZM66.8712 26.2471L78.1907 14.3099L77.7244 15.394L91.6784 1.4399L87.233 6.29715L72.7096 21.2323L73.8482 19.2701L66.8712 26.2471ZM28.0473 68.2068L20.4355 76.375L25.1695 71.641L24.4884 73.0639L34.297 62.8844L37.2675 59.5429L27.7995 69.0109L28.0473 68.2068ZM8.94067 39.5658L14.1631 33.9617L13.993 34.5134L20.4889 28.0175L18.4509 30.3101L11.7213 37.2941L12.1886 36.3178L8.94067 39.5658ZM99.7403 26L88 37.7404L93.2735 32.9508L99.7403 26ZM1.93388 8.08743L4.77765 5.04974L4.67856 5.34275L8.20743 1.81388L7.09578 3.05481L3.4355 6.84437L3.69832 6.32299L1.93388 8.08743ZM54.4485 44.211L48.5985 50.061L47.6563 50.5813L44.211 54.4485L48.8095 50.272L51.7345 47.347L54.4485 44.211Z" />
</pattern><pattern id="streaks-dark" x="0" y="0" width="100" height="100" patternUnits="userSpaceOnUse">
    <path fill="rgba(0, 0, 0, 0.32)" fill-rule="evenodd" clip-rule="evenodd" d="M58.1193 0H58.1703L55.4939 2.67644L58.1193 0ZM45.7725 0H45.811L41.2851 4.61498L42.7191 3.29325L37.0824 8.92997L35.0554 10.9569L32.0719 13.9404L29.6229 16.5017L27.1738 19.0631L25.8089 20.2034L23.2195 22.6244L18.181 27.6068L23.8178 21.97L27.0615 18.9508L33.8666 11.9773L33.1562 12.5194L37.0262 8.87383L40.784 5.11602L38.0299 7.64561L45.7725 0ZM23.1079 0H23.108L21.5814 1.66688L20.3126 2.79534L23.1079 0ZM7.53869 0H7.54254L7.50005 0.035944L7.53869 0ZM2.49995 0H2.52362L0.900245 1.59971L2.49995 0ZM0 3.64398V3.60744L0.278386 3.36559L0 3.64398ZM0 18.6564V18.5398L0.67985 17.8416L3.4459 15.0755L1.15701 17.1333L2.78713 15.6022L6.01437 12.507L8.5168 9.87253L5.15803 13.2313L11.0357 7.25453L10.4926 7.89678L13.6868 4.7686L8.54982 9.90555L7.05177 11.5687L4.68087 13.9396L0.729379 17.8911L3.01827 15.8333L0 18.6564ZM0 69.2431V69.178L1.64651 67.4763L1.46347 67.7796L5.84063 63.4025L4.42167 64.9016L0 69.4007V69.3408L0.247596 68.9955L0 69.2431ZM2.51594 100H2.49238L5.19989 97.2925L7.70071 95.0162L12.8713 89.6772L12.3094 90.0707L15.288 87.3167L18.1542 84.4504L16.0269 86.3532L22.8752 79.6172L18.5364 84.0683L19.6435 83.0734L15.3441 87.3728L13.798 88.9189L11.5224 91.1945L9.66768 93.1615L7.81297 95.1285L6.74529 95.9716L4.75024 97.7983L2.51594 100ZM7.54255 100H7.5387L9.81396 97.884L8.46606 99.2189L7.54255 100ZM45.8189 100H45.7807L46.9912 98.8047L45.8189 100ZM58.1784 100H58.1272L62.2952 95.7511L66.1408 91.9055L63.0037 94.8115L65.2507 92.6635L69.7117 88.3346L73.2165 84.6977L68.5469 89.3673L76.7379 81.0773L75.9634 81.9509L80.3913 77.5889L73.2496 84.7307L71.1346 87.0107L67.8384 90.3069L62.3447 95.8006L65.4818 92.8947L61.2625 96.9159L58.1784 100ZM75.4277 100H75.229L82.1834 92.9039L81.3403 93.5787L86.0063 89.1371L90.5601 84.5833L87.2464 87.6725L98.0937 76.9375L91.1673 83.9761L92.8932 82.3625L86.0625 89.1933L83.6062 91.6496L79.9907 95.265L77.011 98.357L75.4277 100ZM100 18.5398V18.6563L99.9556 18.6979L95.8065 22.847L100 18.5398ZM100 3.60743V3.64398L99.6791 3.9649L99.2094 4.29428L100 3.60743ZM75.4201 0L74.0312 1.4412L72.401 2.84687L69.281 5.79854L63.1812 11.8422L70.0119 5.01151L73.919 1.32893L75.2214 0H75.4201ZM100 69.1858V69.2509L98.059 71.1919L100 69.1858ZM100 69.3486V69.4085L99.8414 69.5698L100 69.3486ZM41.9398 28.8254L53.6223 16.993L52.5215 18.2437L54.7428 16.0575L54.6875 16.0759L54.8008 16.0004L58.842 12.0231L54.9925 15.8726L55.1085 15.7953L54.898 16.0058L54.84 16.0251L48.6523 22.2128L45.6419 25.473L40.9389 30.1759L33.1007 38.0142L37.5866 33.878L31.558 39.6068L23.3278 47.837L33.0257 37.9393L38.5125 32.4525L34.0266 36.5887L37.2369 33.5283L43.6074 27.3576L48.6023 22.1628L41.9398 28.8254ZM41.0977 17.0531L39.718 18.2925L40.312 17.8388L41.0977 17.0531ZM36.875 20.3106L48.1601 7.88137L42.3438 13.7478L36.875 20.3106ZM35.7125 25.8109L34.3328 27.0503L34.9268 26.5966L35.7125 25.8109ZM17.7022 39.7534L19.0819 38.514L18.8092 38.7867L36.7575 21.8045L23.1569 35.3051L13.5771 43.7372L18.1448 39.4154L17.7022 39.7534ZM3.48102 28.9281L1.53562 30.8735L1.22228 31.0465L0.0765686 32.3326L1.60579 30.9437L2.57849 29.971L3.48102 28.9281ZM0.953463 26.2027L19.5702 7.58594L9.31575 18.6078L0.953463 26.2027ZM23.7175 12.11L17.9339 18.0875L21.4622 14.5592L20.8074 15.4725L28.1915 7.95918L30.4791 5.54232L23.4224 12.599L23.7175 12.11ZM43.4641 43.1538L40.7872 46.1552L42.4907 44.4517L42.3285 45.0465L45.8166 41.3421L46.8441 40.0983L43.4371 43.5053L43.4641 43.1538ZM1.32715 48.3271L8.0918 41.5625L4.3657 45.5674L1.32715 48.3271ZM11.1479 31.2556L11.5689 30.975L11.3584 31.1855L11.1479 31.2556ZM11.9898 27.4667L12.2003 27.2562L11.7793 27.5369L11.9898 27.4667ZM11.3585 34.5531L11.148 34.7636L10.9375 34.8338L11.3585 34.5531ZM72.929 28.5457L82.2965 19.0792L81.4043 20.0705L86.4597 15.0811L78.2983 23.2425L75.8697 25.8362L72.1029 29.603L65.8249 35.881L69.3934 32.5437L64.5858 37.1531L57.994 43.745L65.7754 35.8314L70.17 31.4369L66.6015 34.7742L69.1623 32.3125L74.2507 27.3562L78.2653 23.2095L72.929 28.5457ZM82.6674 1.83549L84.3245 0.31872L83.3724 1.27088L82.6674 1.83549ZM64.5872 16.1312L62.9301 17.648L63.6351 17.0834L64.5872 16.1312ZM70.868 9.85044L80.0048 1.1214L74.6221 6.47142L70.868 9.85044ZM90.2409 41.9448L70.7578 61.4279L79.5093 53.4795L90.2409 41.9448ZM91.8088 42.5434L95.3963 38.8357L95.2132 39.139L99.5904 34.7618L98.1714 36.261L93.5912 40.9214L93.9973 40.3549L91.8088 42.5434ZM94.331 12.8233L89.9853 17.1691L89.2853 17.5555L86.7259 20.4284L90.142 17.3258L92.3149 15.1529L94.331 12.8233ZM44.7972 62.3259L76.9824 30.1406L59.2542 49.1955L44.7972 62.3259ZM77.1482 40.321L70.1709 47.5323L70 47.6463L70.0895 47.6164L68.1916 49.5779L70.185 47.5846L70.2105 47.5761L70.421 47.3656L70.37 47.3996L73.6557 44.1139L72.6416 45.5283L84.0768 33.893L87.6194 30.1502L76.6913 41.0783L77.1482 40.321ZM50.5355 34.3137L72.6617 12.1875L60.4955 25.3084L50.5355 34.3137ZM70.2104 44.0681L70.6314 43.7875L70.4209 43.998L70.2104 44.0681ZM71.263 40.0687L70.842 40.3494L71.0525 40.2792L71.263 40.0687ZM55.1084 12.4355L55.3189 12.225L54.8979 12.5056L55.1084 12.4355ZM48.8718 15.5785L60.2075 4.70496L49.4056 15.4006L48.8718 15.5785ZM23.7636 57.4491L29.9099 51.5854L26.1656 55.6123L27.2361 54.8244L23.435 58.6255L22.0681 59.9924L20.0562 62.0042L18.5082 63.8349L16.9601 65.6656L15.8328 66.2277L13.9315 67.7051L10.4821 71.0132L14.2832 67.2121L16.6775 65.383L21.1113 60.5253L20.477 60.7357L23.2937 58.4842L25.8277 55.9502L23.7636 57.4491ZM48.3825 74.1824L44.8832 77.8523L46.9145 75.8211L45.4748 77.4881L43.4493 79.2862L42.4082 80.1568L43.9215 79.0414L42.2487 80.7143L39.3752 83.8151L41.8844 81.3059L43.8473 79.6842L42.334 80.7995L44.7237 78.4098L46.1576 76.976L46.9713 75.8779L50.078 72.7713L48.1093 74.6262L48.3825 74.1824ZM29.2877 62.9906L29.0772 63.2011L28.8667 63.2713L29.2877 62.9906ZM29.7088 59.4823L29.9193 59.2719L29.4983 59.5525L29.7088 59.4823ZM29.0772 66.5687L28.8667 66.7792L28.6562 66.8494L29.0772 66.5687ZM22.9729 68.748L23.1834 68.5375L22.7624 68.8181L22.9729 68.748ZM3.8147e-05 91.7593L13.2499 79.1355L6.5001 86.2595L3.8147e-05 91.7593ZM16.0685 87.9974L17.1375 87.0687L16.5382 87.668L16.0685 87.9974ZM21.7869 79.3344L20.7179 80.263L21.1876 79.9337L21.7869 79.3344ZM12.3607 95.0755L13.4298 94.1469L12.8304 94.7462L12.3607 95.0755ZM42.7176 59.3801L43.2789 58.8187L43.0684 59.1696L42.7877 59.4502L42.2966 59.801L42.5772 59.3801H42.7176ZM26.3124 49.3152L24.3599 51.2676L23.996 51.3918L22.8956 52.732L24.4798 51.3875L25.456 50.4113L26.3124 49.3152ZM39.0689 63.3097L38.5777 63.6606L39.56 62.6782L39.0689 63.3097ZM20.3574 55.8032L19.3751 56.7856L19.8662 56.4347L20.3574 55.8032ZM39.9297 64.195L41.5504 62.3779L41.534 62.5907L43.5967 60.528L42.9746 61.2811L40.8628 63.5238L40.961 63.1637L39.9297 64.195ZM22.3921 55.457L21.3998 56.5696L22.0313 55.9381L21.9711 56.1587L23.2642 54.7854L23.6451 54.3243L22.3821 55.5873L22.3921 55.457ZM40.6473 92.4498L45.0485 88.0485L43.0066 90.4079L40.806 92.6085L37.3463 95.7507L39.9384 92.8412L40.6473 92.4498ZM18.5042 48.7973L11.5457 55.7558L10.4249 56.3746L6.32684 60.9746L11.7967 56.0067L15.2759 52.5275L18.5042 48.7973ZM32.7113 78.139L31.1131 79.7372L30.8432 79.8668L29.9145 80.9358L31.1833 79.8074L31.9823 79.0083L32.7113 78.139ZM21.7577 93.9525L31.2855 84.0344L30.8324 84.8777L42.4999 73.2102L38.7408 77.2295L26.5552 89.6753L27.5914 88.1187L21.7577 93.9525ZM98.5132 90.0591L89.9224 97.9224L93.5769 94.9953L98.5132 90.0591ZM97.8456 80.2105L99.5027 78.6937L98.5506 79.6459L97.8456 80.2105ZM88.5656 56.4599L78.9205 65.7009L82.1262 63.3036L78.1413 67.2885L73.7522 70.8692L74.7195 70.5082L67.717 78.117L63.992 81.0336L58.0146 87.011L63.4289 81.7988L66.3887 79.4454L68.1212 78.5213L70.5757 75.6625L73.0302 72.8038L76.194 69.64L78.3434 67.4906L84.3208 61.5132L82.6575 62.7723L88.5656 56.4599ZM85.1893 67.0375L83.7304 68.356L84.3561 67.8707L85.1893 67.0375ZM90.7969 58.2022L99.2725 50.5418L94.4317 55.3826L90.7969 58.2022ZM79.377 76.2172L77.9182 77.5357L78.5438 77.0504L79.377 76.2172ZM59.4922 91.7253L56.4011 94.1231L60.0049 90.8659L63.6087 87.6087L59.4922 91.7253ZM63.8833 75.4153L46 92.3896L49.6884 89.1193L53.3767 85.8491L63.8833 75.4153ZM71.6063 55.0765L69.6609 57.0219L69.3475 57.1949L68.2018 58.481L69.731 57.0921L70.7037 56.1194L71.6063 55.0765ZM55.1405 71.6857L61.4131 65.4131L57.958 69.1267L55.1405 71.6857ZM65.8396 69.4497L61.7138 73.7138L64.2308 71.1968L63.7637 71.8484L69.0313 66.4886L70.6632 64.7645L65.6292 69.7985L65.8396 69.4497ZM53.0034 65.4955L58.2258 59.8914L58.0558 60.4431L64.5517 53.9472L62.5136 56.2398L55.7841 63.2238L56.2513 62.2475L53.0034 65.4955ZM97.0997 71.2032L79.6514 88.6515L86.7697 80.814L97.0997 71.2032ZM35.1848 56.2513L31.93 59.9006L34.0012 57.8294L33.804 58.5527L38.0451 54.0485L39.2945 52.5361L35.1519 56.6787L35.1848 56.2513ZM66.8712 26.2471L78.1907 14.3099L77.7244 15.394L91.6784 1.4399L87.233 6.29715L72.7096 21.2323L73.8482 19.2701L66.8712 26.2471ZM28.0473 68.2068L20.4355 76.375L25.1695 71.641L24.4884 73.0639L34.297 62.8844L37.2675 59.5429L27.7995 69.0109L28.0473 68.2068ZM8.94067 39.5658L14.1631 33.9617L13.993 34.5134L20.4889 28.0175L18.4509 30.3101L11.7213 37.2941L12.1886 36.3178L8.94067 39.5658ZM99.7403 26L88 37.7404L93.2735 32.9508L99.7403 26ZM1.93388 8.08743L4.77765 5.04974L4.67856 5.34275L8.20743 1.81388L7.09578 3.05481L3.4355 6.84437L3.69832 6.32299L1.93388 8.08743ZM54.4485 44.211L48.5985 50.061L47.6563 50.5813L44.211 54.4485L48.8095 50.272L51.7345 47.347L54.4485 44.211Z" />
</pattern><pattern id="streaks-darker" x="0" y="0" width="100" height="100" patternUnits="userSpaceOnUse">
    <path fill="rgba(255, 255, 255, 0.24)" fill-rule="evenodd" clip-rule="evenodd" d="M58.1193 0H58.1703L55.4939 2.67644L58.1193 0ZM45.7725 0H45.811L41.2851 4.61498L42.7191 3.29325L37.0824 8.92997L35.0554 10.9569L32.0719 13.9404L29.6229 16.5017L27.1738 19.0631L25.8089 20.2034L23.2195 22.6244L18.181 27.6068L23.8178 21.97L27.0615 18.9508L33.8666 11.9773L33.1562 12.5194L37.0262 8.87383L40.784 5.11602L38.0299 7.64561L45.7725 0ZM23.1079 0H23.108L21.5814 1.66688L20.3126 2.79534L23.1079 0ZM7.53869 0H7.54254L7.50005 0.035944L7.53869 0ZM2.49995 0H2.52362L0.900245 1.59971L2.49995 0ZM0 3.64398V3.60744L0.278386 3.36559L0 3.64398ZM0 18.6564V18.5398L0.67985 17.8416L3.4459 15.0755L1.15701 17.1333L2.78713 15.6022L6.01437 12.507L8.5168 9.87253L5.15803 13.2313L11.0357 7.25453L10.4926 7.89678L13.6868 4.7686L8.54982 9.90555L7.05177 11.5687L4.68087 13.9396L0.729379 17.8911L3.01827 15.8333L0 18.6564ZM0 69.2431V69.178L1.64651 67.4763L1.46347 67.7796L5.84063 63.4025L4.42167 64.9016L0 69.4007V69.3408L0.247596 68.9955L0 69.2431ZM2.51594 100H2.49238L5.19989 97.2925L7.70071 95.0162L12.8713 89.6772L12.3094 90.0707L15.288 87.3167L18.1542 84.4504L16.0269 86.3532L22.8752 79.6172L18.5364 84.0683L19.6435 83.0734L15.3441 87.3728L13.798 88.9189L11.5224 91.1945L9.66768 93.1615L7.81297 95.1285L6.74529 95.9716L4.75024 97.7983L2.51594 100ZM7.54255 100H7.5387L9.81396 97.884L8.46606 99.2189L7.54255 100ZM45.8189 100H45.7807L46.9912 98.8047L45.8189 100ZM58.1784 100H58.1272L62.2952 95.7511L66.1408 91.9055L63.0037 94.8115L65.2507 92.6635L69.7117 88.3346L73.2165 84.6977L68.5469 89.3673L76.7379 81.0773L75.9634 81.9509L80.3913 77.5889L73.2496 84.7307L71.1346 87.0107L67.8384 90.3069L62.3447 95.8006L65.4818 92.8947L61.2625 96.9159L58.1784 100ZM75.4277 100H75.229L82.1834 92.9039L81.3403 93.5787L86.0063 89.1371L90.5601 84.5833L87.2464 87.6725L98.0937 76.9375L91.1673 83.9761L92.8932 82.3625L86.0625 89.1933L83.6062 91.6496L79.9907 95.265L77.011 98.357L75.4277 100ZM100 18.5398V18.6563L99.9556 18.6979L95.8065 22.847L100 18.5398ZM100 3.60743V3.64398L99.6791 3.9649L99.2094 4.29428L100 3.60743ZM75.4201 0L74.0312 1.4412L72.401 2.84687L69.281 5.79854L63.1812 11.8422L70.0119 5.01151L73.919 1.32893L75.2214 0H75.4201ZM100 69.1858V69.2509L98.059 71.1919L100 69.1858ZM100 69.3486V69.4085L99.8414 69.5698L100 69.3486ZM41.9398 28.8254L53.6223 16.993L52.5215 18.2437L54.7428 16.0575L54.6875 16.0759L54.8008 16.0004L58.842 12.0231L54.9925 15.8726L55.1085 15.7953L54.898 16.0058L54.84 16.0251L48.6523 22.2128L45.6419 25.473L40.9389 30.1759L33.1007 38.0142L37.5866 33.878L31.558 39.6068L23.3278 47.837L33.0257 37.9393L38.5125 32.4525L34.0266 36.5887L37.2369 33.5283L43.6074 27.3576L48.6023 22.1628L41.9398 28.8254ZM41.0977 17.0531L39.718 18.2925L40.312 17.8388L41.0977 17.0531ZM36.875 20.3106L48.1601 7.88137L42.3438 13.7478L36.875 20.3106ZM35.7125 25.8109L34.3328 27.0503L34.9268 26.5966L35.7125 25.8109ZM17.7022 39.7534L19.0819 38.514L18.8092 38.7867L36.7575 21.8045L23.1569 35.3051L13.5771 43.7372L18.1448 39.4154L17.7022 39.7534ZM3.48102 28.9281L1.53562 30.8735L1.22228 31.0465L0.0765686 32.3326L1.60579 30.9437L2.57849 29.971L3.48102 28.9281ZM0.953463 26.2027L19.5702 7.58594L9.31575 18.6078L0.953463 26.2027ZM23.7175 12.11L17.9339 18.0875L21.4622 14.5592L20.8074 15.4725L28.1915 7.95918L30.4791 5.54232L23.4224 12.599L23.7175 12.11ZM43.4641 43.1538L40.7872 46.1552L42.4907 44.4517L42.3285 45.0465L45.8166 41.3421L46.8441 40.0983L43.4371 43.5053L43.4641 43.1538ZM1.32715 48.3271L8.0918 41.5625L4.3657 45.5674L1.32715 48.3271ZM11.1479 31.2556L11.5689 30.975L11.3584 31.1855L11.1479 31.2556ZM11.9898 27.4667L12.2003 27.2562L11.7793 27.5369L11.9898 27.4667ZM11.3585 34.5531L11.148 34.7636L10.9375 34.8338L11.3585 34.5531ZM72.929 28.5457L82.2965 19.0792L81.4043 20.0705L86.4597 15.0811L78.2983 23.2425L75.8697 25.8362L72.1029 29.603L65.8249 35.881L69.3934 32.5437L64.5858 37.1531L57.994 43.745L65.7754 35.8314L70.17 31.4369L66.6015 34.7742L69.1623 32.3125L74.2507 27.3562L78.2653 23.2095L72.929 28.5457ZM82.6674 1.83549L84.3245 0.31872L83.3724 1.27088L82.6674 1.83549ZM64.5872 16.1312L62.9301 17.648L63.6351 17.0834L64.5872 16.1312ZM70.868 9.85044L80.0048 1.1214L74.6221 6.47142L70.868 9.85044ZM90.2409 41.9448L70.7578 61.4279L79.5093 53.4795L90.2409 41.9448ZM91.8088 42.5434L95.3963 38.8357L95.2132 39.139L99.5904 34.7618L98.1714 36.261L93.5912 40.9214L93.9973 40.3549L91.8088 42.5434ZM94.331 12.8233L89.9853 17.1691L89.2853 17.5555L86.7259 20.4284L90.142 17.3258L92.3149 15.1529L94.331 12.8233ZM44.7972 62.3259L76.9824 30.1406L59.2542 49.1955L44.7972 62.3259ZM77.1482 40.321L70.1709 47.5323L70 47.6463L70.0895 47.6164L68.1916 49.5779L70.185 47.5846L70.2105 47.5761L70.421 47.3656L70.37 47.3996L73.6557 44.1139L72.6416 45.5283L84.0768 33.893L87.6194 30.1502L76.6913 41.0783L77.1482 40.321ZM50.5355 34.3137L72.6617 12.1875L60.4955 25.3084L50.5355 34.3137ZM70.2104 44.0681L70.6314 43.7875L70.4209 43.998L70.2104 44.0681ZM71.263 40.0687L70.842 40.3494L71.0525 40.2792L71.263 40.0687ZM55.1084 12.4355L55.3189 12.225L54.8979 12.5056L55.1084 12.4355ZM48.8718 15.5785L60.2075 4.70496L49.4056 15.4006L48.8718 15.5785ZM23.7636 57.4491L29.9099 51.5854L26.1656 55.6123L27.2361 54.8244L23.435 58.6255L22.0681 59.9924L20.0562 62.0042L18.5082 63.8349L16.9601 65.6656L15.8328 66.2277L13.9315 67.7051L10.4821 71.0132L14.2832 67.2121L16.6775 65.383L21.1113 60.5253L20.477 60.7357L23.2937 58.4842L25.8277 55.9502L23.7636 57.4491ZM48.3825 74.1824L44.8832 77.8523L46.9145 75.8211L45.4748 77.4881L43.4493 79.2862L42.4082 80.1568L43.9215 79.0414L42.2487 80.7143L39.3752 83.8151L41.8844 81.3059L43.8473 79.6842L42.334 80.7995L44.7237 78.4098L46.1576 76.976L46.9713 75.8779L50.078 72.7713L48.1093 74.6262L48.3825 74.1824ZM29.2877 62.9906L29.0772 63.2011L28.8667 63.2713L29.2877 62.9906ZM29.7088 59.4823L29.9193 59.2719L29.4983 59.5525L29.7088 59.4823ZM29.0772 66.5687L28.8667 66.7792L28.6562 66.8494L29.0772 66.5687ZM22.9729 68.748L23.1834 68.5375L22.7624 68.8181L22.9729 68.748ZM3.8147e-05 91.7593L13.2499 79.1355L6.5001 86.2595L3.8147e-05 91.7593ZM16.0685 87.9974L17.1375 87.0687L16.5382 87.668L16.0685 87.9974ZM21.7869 79.3344L20.7179 80.263L21.1876 79.9337L21.7869 79.3344ZM12.3607 95.0755L13.4298 94.1469L12.8304 94.7462L12.3607 95.0755ZM42.7176 59.3801L43.2789 58.8187L43.0684 59.1696L42.7877 59.4502L42.2966 59.801L42.5772 59.3801H42.7176ZM26.3124 49.3152L24.3599 51.2676L23.996 51.3918L22.8956 52.732L24.4798 51.3875L25.456 50.4113L26.3124 49.3152ZM39.0689 63.3097L38.5777 63.6606L39.56 62.6782L39.0689 63.3097ZM20.3574 55.8032L19.3751 56.7856L19.8662 56.4347L20.3574 55.8032ZM39.9297 64.195L41.5504 62.3779L41.534 62.5907L43.5967 60.528L42.9746 61.2811L40.8628 63.5238L40.961 63.1637L39.9297 64.195ZM22.3921 55.457L21.3998 56.5696L22.0313 55.9381L21.9711 56.1587L23.2642 54.7854L23.6451 54.3243L22.3821 55.5873L22.3921 55.457ZM40.6473 92.4498L45.0485 88.0485L43.0066 90.4079L40.806 92.6085L37.3463 95.7507L39.9384 92.8412L40.6473 92.4498ZM18.5042 48.7973L11.5457 55.7558L10.4249 56.3746L6.32684 60.9746L11.7967 56.0067L15.2759 52.5275L18.5042 48.7973ZM32.7113 78.139L31.1131 79.7372L30.8432 79.8668L29.9145 80.9358L31.1833 79.8074L31.9823 79.0083L32.7113 78.139ZM21.7577 93.9525L31.2855 84.0344L30.8324 84.8777L42.4999 73.2102L38.7408 77.2295L26.5552 89.6753L27.5914 88.1187L21.7577 93.9525ZM98.5132 90.0591L89.9224 97.9224L93.5769 94.9953L98.5132 90.0591ZM97.8456 80.2105L99.5027 78.6937L98.5506 79.6459L97.8456 80.2105ZM88.5656 56.4599L78.9205 65.7009L82.1262 63.3036L78.1413 67.2885L73.7522 70.8692L74.7195 70.5082L67.717 78.117L63.992 81.0336L58.0146 87.011L63.4289 81.7988L66.3887 79.4454L68.1212 78.5213L70.5757 75.6625L73.0302 72.8038L76.194 69.64L78.3434 67.4906L84.3208 61.5132L82.6575 62.7723L88.5656 56.4599ZM85.1893 67.0375L83.7304 68.356L84.3561 67.8707L85.1893 67.0375ZM90.7969 58.2022L99.2725 50.5418L94.4317 55.3826L90.7969 58.2022ZM79.377 76.2172L77.9182 77.5357L78.5438 77.0504L79.377 76.2172ZM59.4922 91.7253L56.4011 94.1231L60.0049 90.8659L63.6087 87.6087L59.4922 91.7253ZM63.8833 75.4153L46 92.3896L49.6884 89.1193L53.3767 85.8491L63.8833 75.4153ZM71.6063 55.0765L69.6609 57.0219L69.3475 57.1949L68.2018 58.481L69.731 57.0921L70.7037 56.1194L71.6063 55.0765ZM55.1405 71.6857L61.4131 65.4131L57.958 69.1267L55.1405 71.6857ZM65.8396 69.4497L61.7138 73.7138L64.2308 71.1968L63.7637 71.8484L69.0313 66.4886L70.6632 64.7645L65.6292 69.7985L65.8396 69.4497ZM53.0034 65.4955L58.2258 59.8914L58.0558 60.4431L64.5517 53.9472L62.5136 56.2398L55.7841 63.2238L56.2513 62.2475L53.0034 65.4955ZM97.0997 71.2032L79.6514 88.6515L86.7697 80.814L97.0997 71.2032ZM35.1848 56.2513L31.93 59.9006L34.0012 57.8294L33.804 58.5527L38.0451 54.0485L39.2945 52.5361L35.1519 56.6787L35.1848 56.2513ZM66.8712 26.2471L78.1907 14.3099L77.7244 15.394L91.6784 1.4399L87.233 6.29715L72.7096 21.2323L73.8482 19.2701L66.8712 26.2471ZM28.0473 68.2068L20.4355 76.375L25.1695 71.641L24.4884 73.0639L34.297 62.8844L37.2675 59.5429L27.7995 69.0109L28.0473 68.2068ZM8.94067 39.5658L14.1631 33.9617L13.993 34.5134L20.4889 28.0175L18.4509 30.3101L11.7213 37.2941L12.1886 36.3178L8.94067 39.5658ZM99.7403 26L88 37.7404L93.2735 32.9508L99.7403 26ZM1.93388 8.08743L4.77765 5.04974L4.67856 5.34275L8.20743 1.81388L7.09578 3.05481L3.4355 6.84437L3.69832 6.32299L1.93388 8.08743ZM54.4485 44.211L48.5985 50.061L47.6563 50.5813L44.211 54.4485L48.8095 50.272L51.7345 47.347L54.4485 44.211Z" />
</pattern></defs><defs>
	<filter id="shadow-filter" width="200%" height="200%" x="-50%" y="-50%">
		<feGaussianBlur stdDeviation="1.7 " in="SourceGraphic"></feGaussianBlur>
		<feFlood flood-color="#3d4574" flood-opacity="0.4" result="ShadowFeFlood" in="SourceGraphic"></feFlood>
		<feComposite in="ShadowFeFlood" in2="SourceAlpha" operator="in" result="ShadowFeComposite"></feComposite>
		<feOffset dx="3" dy="5" result="ShadowFeOffset" in="ShadowFeComposite"></feOffset>
		<feBlend in="SourceGraphic" in2="ShadowFeOffset" mode="normal" result="ShadowFeBlend"></feBlend>
	</filter>
</defs><g id="type" class="definition"><g class="shape" ><path d="M-1.058799 -0.382668 L600.691759 1.198216 L600.167851 341.831624 L0.612368 344.013923" transform="translate(21.000000 12.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C119.874795 -0.507482, 239.781345 -1.664816, 599.682562 0.156934 M-0.259466 0.105839 C132.986916 -1.746755, 265.656827 -1.974624, 599.767850 0.301126 M601.016716 -1.157462 C598.631431 75.417256, 599.088966 148.120999, 600.920016 342.424815 M600.196950 -0.528816 C601.588895 91.490671, 600.942843 184.137558, 600.269198 343.233052 M600.421120 342.914623 C471.008685 347.671232, 340.519590 347.453822, 0.734582 342.838590 M599.622629 342.942507 C374.417300 343.654931, 149.223269 343.546345, 0.375579 343.016737 M-0.476767 342.813774 C-2.459758 243.613194, -3.605974 146.367897, 0.391547 -0.797969 M0.144205 343.660445 C-3.305576 217.795510, -2.970760 92.860556, 0.291603 0.653702" transform="translate(21.000000 12.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="600.000000" height="343.000000" transform="translate(21.000000 12.000000)" class=" sketch-overlay-B4" /></g><text x="321.000000" y="37.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">type</text></g><g id="value" class="definition"><g class="shape" ><path d="M-1.058799 -0.382668 L600.691759 1.198216 L600.167851 341.831624 L0.612368 344.013923" transform="translate(21.000000 375.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C119.874795 -0.507482, 239.781345 -1.664816, 599.682562 0.156934 M-0.259466 0.105839 C132.986916 -1.746755, 265.656827 -1.974624, 599.767850 0.301126 M601.016716 -1.157462 C598.631431 75.417256, 599.088966 148.120999, 600.920016 342.424815 M600.196950 -0.528816 C601.588895 91.490671, 600.942843 184.137558, 600.269198 343.233052 M600.421120 342.914623 C471.008685 347.671232, 340.519590 347.453822, 0.734582 342.838590 M599.622629 342.942507 C374.417300 343.654931, 149.223269 343.546345, 0.375579 343.016737 M-0.476767 342.813774 C-2.459758 243.613194, -3.605974 146.367897, 0.391547 -0.797969 M0.144205 343.660445 C-3.305576 217.795510, -2.970760 92.860556, 0.291603 0.653702" transform="translate(21.000000 375.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="600.000000" height="343.000000" transform="translate(21.000000 375.000000)" class=" sketch-overlay-B4" /></g><text x="321.000000" y="400.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">value</text></g><g id="function" class="definition"><g class="shape" ><path d="M-0.640124 -0.231351 L613.418220 0.724412 L613.101479 568.293629 L0.370222 569.612993" transform="translate(14.000000 738.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C122.474854 -0.528558, 244.981462 -1.685893, 612.682562 0.156934 M-0.259466 0.105839 C135.864490 -1.791654, 271.411976 -2.019523, 612.767850 0.301126 M613.614681 -0.699773 C611.337804 124.250915, 611.614418 246.861308, 613.556219 568.652258 M613.119071 -0.319709 C614.529754 152.373137, 614.139166 305.445293, 613.162750 569.140897 M613.421120 568.914623 C481.204943 573.774115, 347.912106 573.556705, 0.734582 568.838590 M612.622629 568.942507 C382.530437 569.666835, 152.449542 569.558249, 0.375579 569.016737 M-0.288241 568.887412 C-2.799237 405.194145, -3.492210 242.682994, 0.236720 -0.482432 M0.087182 569.399289 C-3.110789 361.755418, -2.908367 154.673790, 0.176296 0.395212" transform="translate(14.000000 738.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="613.000000" height="569.000000" transform="translate(14.000000 738.000000)" class=" sketch-overlay-B4" /></g><text x="320.500000" y="763.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">function</text></g><g id="declare" class="definition"><g class="shape" ><path d="M-1.600310 -0.578379 L601.045551 1.811030 L600.253697 178.234072 L0.925556 181.532483" transform="translate(21.000000 1327.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C119.874795 -0.507482, 239.781345 -1.664816, 599.682562 0.156934 M-0.259466 0.105839 C132.986916 -1.746755, 265.656827 -1.974624, 599.767850 0.301126 M601.536704 -1.749433 C599.436706 40.380673, 600.128242 76.660039, 601.390547 179.130645 M600.297677 -0.799274 C601.375289 47.451118, 600.398821 96.649784, 600.406876 180.352243 M600.421120 179.914623 C471.008685 184.671232, 340.519590 184.453822, 0.734582 179.838590 M599.622629 179.942507 C374.417300 180.654931, 149.223269 180.546345, 0.375579 180.016737 M-0.720604 179.718532 C-1.351878 126.845941, -3.084311 76.928641, 0.591800 -1.206080 M0.217956 180.998223 C-2.990554 113.868133, -2.484499 48.143653, 0.440740 0.988030" transform="translate(21.000000 1327.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="600.000000" height="180.000000" transform="translate(21.000000 1327.000000)" class=" sketch-overlay-B4" /></g><text x="321.000000" y="1352.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">declaration</text></g><g id="definitions" class="definition"><g class="shape" ><path d="M-1.208174 -0.436654 L618.789351 1.367259 L618.191532 285.666791 L0.698760 288.156967" transform="translate(12.000000 1527.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C123.474876 -0.536664, 246.981507 -1.693999, 617.682562 0.156934 M-0.259466 0.105839 C136.971250 -1.808922, 273.625495 -2.036791, 617.767850 0.301126 M619.160153 -1.320756 C616.828767 63.351960, 617.350851 123.607588, 619.049811 286.343669 M618.224735 -0.603421 C619.546878 76.380225, 618.809681 154.079783, 618.307176 287.265930 M618.421120 286.914623 C485.126580 291.813685, 350.755381 291.596275, 0.734582 286.838590 M617.622629 286.942507 C385.650874 287.671413, 153.690416 287.562827, 0.375579 287.016737 M-0.544029 286.787502 C-2.193128 203.531855, -3.501050 122.507341, 0.446787 -0.910545 M0.164549 287.753620 C-3.251718 182.105382, -2.869666 77.518325, 0.332742 0.745925" transform="translate(12.000000 1527.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="618.000000" height="287.000000" transform="translate(12.000000 1527.000000)" class=" sketch-overlay-B4" /></g><text x="321.000000" y="1552.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">definitions</text></g><g id="apply" class="definition"><g class="shape" ><path d="M-1.600310 -0.578379 L601.045551 1.811030 L600.253697 178.234072 L0.925556 181.532483" transform="translate(21.000000 1834.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><path d="M0.342905 0.385553 C119.874795 -0.507482, 239.781345 -1.664816, 599.682562 0.156934 M-0.259466 0.105839 C132.986916 -1.746755, 265.656827 -1.974624, 599.767850 0.301126 M601.536704 -1.749433 C599.436706 40.380673, 600.128242 76.660039, 601.390547 179.130645 M600.297677 -0.799274 C601.375289 47.451118, 600.398821 96.649784, 600.406876 180.352243 M600.421120 179.914623 C471.008685 184.671232, 340.519590 184.453822, 0.734582 179.838590 M599.622629 179.942507 C374.417300 180.654931, 149.223269 180.546345, 0.375579 180.016737 M-0.720604 179.718532 C-1.351878 126.845941, -3.084311 76.928641, 0.591800 -1.206080 M0.217956 180.998223 C-2.990554 113.868133, -2.484499 48.143653, 0.440740 0.988030" transform="translate(21.000000 1834.000000)" class="shape stroke-B1 fill-B4" style="stroke-width:1;" /><rect width="600.000000" height="180.000000" transform="translate(21.000000 1834.000000)" class=" sketch-overlay-B4" /></g><text x="321.000000" y="1859.000000" class="text fill-N1" style="text-anchor:middle;font-size:20px">application</text></g><g id="type.a" style='opacity:0.800000' class="type a"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(281.000000 62.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(281.000000 62.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M55.768669 10.019424 C61.698735 12.594469, 66.913149 19.560031, 69.785556 25.705372 C72.657963 31.850712, 74.544611 40.128149, 73.003113 46.891467 C71.461614 53.654786, 65.937823 61.943327, 60.536562 66.285284 C55.135302 70.627241, 47.295548 72.793426, 40.595551 72.943210 C33.895554 73.092995, 25.919706 71.264350, 20.336580 67.183991 C14.753454 63.103632, 8.718821 55.388250, 7.096795 48.461058 C5.474769 41.533866, 7.825367 32.015890, 10.604423 25.620838 C13.383478 19.225785, 18.039218 13.123410, 23.771130 10.090742 C29.503041 7.058075, 38.811140 7.053686, 44.995890 7.424834 C51.180641 7.795982, 57.815260 10.566906, 60.879632 12.317629 C63.944003 14.068351, 63.727398 17.326632, 63.382119 17.929170 M24.661807 9.847036 C30.486784 6.517600, 42.132356 6.408449, 48.876770 7.673050 C55.621184 8.937650, 61.177120 12.113783, 65.128290 17.434638 C69.079461 22.755492, 72.570313 32.277652, 72.583793 39.598179 C72.597273 46.918706, 69.403638 55.649354, 65.209171 61.357799 C61.014704 67.066244, 53.681177 72.425071, 47.416990 73.848849 C41.152804 75.272627, 33.652278 72.757879, 27.624051 69.900467 C21.595825 67.043054, 14.759939 62.612193, 11.247632 56.704374 C7.735325 50.796555, 5.421363 41.223432, 6.550209 34.453555 C7.679056 27.683678, 14.853507 20.422966, 18.020710 16.085113 C21.187914 11.747260, 24.403823 9.369698, 25.553431 8.426439 C26.703038 7.483179, 24.475688 9.854851, 24.918353 10.425555" transform="translate(281.000000 62.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><path d="M47.654931 6.556606 C54.035106 7.631293, 61.652983 13.974917, 65.787753 19.520428 C69.922522 25.065939, 72.337289 33.063372, 72.463547 39.829673 C72.589806 46.595975, 70.607897 54.582309, 66.545302 60.118236 C62.482706 65.654162, 54.677973 71.297554, 48.087974 73.045232 C41.497974 74.792910, 33.236338 73.642725, 27.005304 70.604303 C20.774271 67.565882, 13.853500 61.103480, 10.701773 54.814703 C7.550046 48.525926, 6.926273 39.520994, 8.094941 32.871643 C9.263608 26.222292, 12.546432 19.460541, 17.713779 14.918597 C22.881125 10.376652, 32.975915 6.416249, 39.099020 5.619976 C45.222125 4.823702, 50.989548 9.001522, 54.452410 10.140953 C57.915271 11.280384, 60.083601 12.123626, 59.876189 12.456561 M35.214138 5.671458 C41.549899 4.137328, 50.805654 5.829634, 56.529797 9.394638 C62.253940 12.959641, 66.869141 20.389179, 69.558998 27.061479 C72.248854 33.733779, 74.512331 42.710370, 72.668937 49.428437 C70.825544 56.146505, 63.858317 63.220815, 58.498637 67.369884 C53.138958 71.518952, 47.169646 74.461455, 40.510859 74.322846 C33.852072 74.184238, 24.075150 71.303735, 18.545915 66.538232 C13.016681 61.772729, 8.827763 52.384484, 7.335452 45.729828 C5.843141 39.075172, 6.604940 32.412026, 9.592049 26.610296 C12.579159 20.808566, 21.121450 14.180821, 25.258110 10.919448 C29.394769 7.658075, 33.045504 7.642405, 34.412007 7.042058 C35.778510 6.441710, 33.332622 6.727863, 33.457129 7.317363" transform="translate(281.000000 62.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(321.000000 102.000000)" class=" sketch-overlay-normal" /></g><text x="321.000000" y="107.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">a</text></g><g id="type.explanation" class="comment"><g class="shape" ></g><g><foreignObject requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" x="81.000000" y="162.000000" width="480" height="143"><div xmlns="http://www.w3.org/1999/xhtml" class="md" style="font-size:14px"><h1>type</h1>
<p>A type a</p>
<ul>
<li>can loosely be seen as the set of all possible values for a</li>
<li>is used to define domains and codomains of functions</li>
</ul>
</div></foreignObject></g></g><g id="value.a0" style='opacity:0.700000' class="value a"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(281.000000 425.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(281.000000 425.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(321.000000 465.000000)" class=" sketch-overlay-normal" /></g><text x="321.000000" y="470.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">a0 :: a</text></g><g id="value.explanation" class="comment"><g class="shape" ></g><g><foreignObject requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" x="81.000000" y="525.000000" width="480" height="143"><div xmlns="http://www.w3.org/1999/xhtml" class="md" style="font-size:14px"><h1>value</h1>
<p>A value a0 of type a is</p>
<ul>
<li>one representative of the set of possible values for the type</li>
<li>sometimes also called witness</li>
</ul>
</div></foreignObject></g></g><g id="function.f" style='opacity:0.900000' class="function f"><g class="shape" filter="url(#shadow-filter)" ><path d="M-1.600310 -0.578379 L145.045551 1.811030 L144.253697 64.234072 L0.925556 67.532483" transform="translate(249.000000 788.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M0.857263 0.963884 C28.480893 0.579520, 57.041171 -2.313815, 143.206405 0.392335 M-0.648665 0.264598 C32.314124 -0.429641, 63.835737 -0.999314, 143.419625 0.752815 M145.536704 -1.749433 C144.489431 15.585410, 145.180967 27.069513, 145.390547 65.130645 M144.297677 -0.799274 C144.657560 16.854002, 143.681091 35.455552, 144.406876 66.352243 M145.052801 65.786559 C113.973591 68.656037, 80.202733 68.112512, 1.836456 65.596476 M143.056573 65.856267 C89.780714 66.593461, 36.533098 66.321996, 0.938949 66.041844 M-0.720604 65.718532 C0.302797 45.542204, -1.429636 28.321166, 0.591800 -1.206080 M0.217956 66.998223 C-1.587850 41.337487, -1.081795 17.082362, 0.440740 0.988030" transform="translate(249.000000 788.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><rect width="144.000000" height="66.000000" transform="translate(249.000000 788.000000)" class=" sketch-overlay-normal" /></g><text x="321.000000" y="826.500000" class="text-bold fill-N1" style="text-anchor:middle;font-size:16px">f :: a ⟶ b</text><title>Function that takes parameters or arguments and produces a result</title></g><g id="function.explanation" class="comment"><g class="shape" ></g><g><foreignObject requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" x="64.000000" y="874.000000" width="513" height="383"><div xmlns="http://www.w3.org/1999/xhtml" class="md" style="font-size:14px"><h1>an impure function has side effects</h1>
<ul>
<li>writes or reads from a file</li>
<li>uses global environment</li>
<li>calls library methods which are not pure (get time, RNG, ...)</li>
<li>can trigger exceptions</li>
<li>... any other expected effect that is not visible in the signature</li>
</ul>
<h1>a pure function has NO side effects</h1>
<ul>
<li>result depends solely on the arguments</li>
<li>you could memoize the result (theoretically)</li>
<li>is easy to reason about on use (type semantics)</li>
<li>has an implementation that is easy to check thanks code locality</li>
<li>can be tested easily</li>
</ul>
</div></foreignObject></g></g><g id="declare.a" style='opacity:0.800000' class="type a"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(99.000000 1377.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(99.000000 1377.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M55.768669 10.019424 C61.698735 12.594469, 66.913149 19.560031, 69.785556 25.705372 C72.657963 31.850712, 74.544611 40.128149, 73.003113 46.891467 C71.461614 53.654786, 65.937823 61.943327, 60.536562 66.285284 C55.135302 70.627241, 47.295548 72.793426, 40.595551 72.943210 C33.895554 73.092995, 25.919706 71.264350, 20.336580 67.183991 C14.753454 63.103632, 8.718821 55.388250, 7.096795 48.461058 C5.474769 41.533866, 7.825367 32.015890, 10.604423 25.620838 C13.383478 19.225785, 18.039218 13.123410, 23.771130 10.090742 C29.503041 7.058075, 38.811140 7.053686, 44.995890 7.424834 C51.180641 7.795982, 57.815260 10.566906, 60.879632 12.317629 C63.944003 14.068351, 63.727398 17.326632, 63.382119 17.929170 M24.661807 9.847036 C30.486784 6.517600, 42.132356 6.408449, 48.876770 7.673050 C55.621184 8.937650, 61.177120 12.113783, 65.128290 17.434638 C69.079461 22.755492, 72.570313 32.277652, 72.583793 39.598179 C72.597273 46.918706, 69.403638 55.649354, 65.209171 61.357799 C61.014704 67.066244, 53.681177 72.425071, 47.416990 73.848849 C41.152804 75.272627, 33.652278 72.757879, 27.624051 69.900467 C21.595825 67.043054, 14.759939 62.612193, 11.247632 56.704374 C7.735325 50.796555, 5.421363 41.223432, 6.550209 34.453555 C7.679056 27.683678, 14.853507 20.422966, 18.020710 16.085113 C21.187914 11.747260, 24.403823 9.369698, 25.553431 8.426439 C26.703038 7.483179, 24.475688 9.854851, 24.918353 10.425555" transform="translate(99.000000 1377.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><path d="M47.654931 6.556606 C54.035106 7.631293, 61.652983 13.974917, 65.787753 19.520428 C69.922522 25.065939, 72.337289 33.063372, 72.463547 39.829673 C72.589806 46.595975, 70.607897 54.582309, 66.545302 60.118236 C62.482706 65.654162, 54.677973 71.297554, 48.087974 73.045232 C41.497974 74.792910, 33.236338 73.642725, 27.005304 70.604303 C20.774271 67.565882, 13.853500 61.103480, 10.701773 54.814703 C7.550046 48.525926, 6.926273 39.520994, 8.094941 32.871643 C9.263608 26.222292, 12.546432 19.460541, 17.713779 14.918597 C22.881125 10.376652, 32.975915 6.416249, 39.099020 5.619976 C45.222125 4.823702, 50.989548 9.001522, 54.452410 10.140953 C57.915271 11.280384, 60.083601 12.123626, 59.876189 12.456561 M35.214138 5.671458 C41.549899 4.137328, 50.805654 5.829634, 56.529797 9.394638 C62.253940 12.959641, 66.869141 20.389179, 69.558998 27.061479 C72.248854 33.733779, 74.512331 42.710370, 72.668937 49.428437 C70.825544 56.146505, 63.858317 63.220815, 58.498637 67.369884 C53.138958 71.518952, 47.169646 74.461455, 40.510859 74.322846 C33.852072 74.184238, 24.075150 71.303735, 18.545915 66.538232 C13.016681 61.772729, 8.827763 52.384484, 7.335452 45.729828 C5.843141 39.075172, 6.604940 32.412026, 9.592049 26.610296 C12.579159 20.808566, 21.121450 14.180821, 25.258110 10.919448 C29.394769 7.658075, 33.045504 7.642405, 34.412007 7.042058 C35.778510 6.441710, 33.332622 6.727863, 33.457129 7.317363" transform="translate(99.000000 1377.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(139.000000 1417.000000)" class=" sketch-overlay-normal" /></g><text x="139.000000" y="1422.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">a</text></g><g id="declare.f" style='opacity:0.900000' class="function f"><g class="shape" filter="url(#shadow-filter)" ><path d="M-1.600310 -0.578379 L145.045551 1.811030 L144.253697 64.234072 L0.925556 67.532483" transform="translate(249.000000 1384.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M0.857263 0.963884 C28.480893 0.579520, 57.041171 -2.313815, 143.206405 0.392335 M-0.648665 0.264598 C32.314124 -0.429641, 63.835737 -0.999314, 143.419625 0.752815 M145.536704 -1.749433 C144.489431 15.585410, 145.180967 27.069513, 145.390547 65.130645 M144.297677 -0.799274 C144.657560 16.854002, 143.681091 35.455552, 144.406876 66.352243 M145.052801 65.786559 C113.973591 68.656037, 80.202733 68.112512, 1.836456 65.596476 M143.056573 65.856267 C89.780714 66.593461, 36.533098 66.321996, 0.938949 66.041844 M-0.720604 65.718532 C0.302797 45.542204, -1.429636 28.321166, 0.591800 -1.206080 M0.217956 66.998223 C-1.587850 41.337487, -1.081795 17.082362, 0.440740 0.988030" transform="translate(249.000000 1384.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><rect width="144.000000" height="66.000000" transform="translate(249.000000 1384.000000)" class=" sketch-overlay-normal" /></g><text x="321.000000" y="1422.500000" class="text-bold fill-N1" style="text-anchor:middle;font-size:16px">f :: a ⟶ b</text><title>Function that takes a domain value of type a and produces a codomain value of type b</title></g><g id="declare.b" style='opacity:0.800000' class="type b"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(463.000000 1377.000000)" fill="#9191f4" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(463.000000 1377.000000)" fill="#9191f4" class="shape stroke-B1" style="stroke-width:1;" /><path d="M55.768669 10.019424 C61.698735 12.594469, 66.913149 19.560031, 69.785556 25.705372 C72.657963 31.850712, 74.544611 40.128149, 73.003113 46.891467 C71.461614 53.654786, 65.937823 61.943327, 60.536562 66.285284 C55.135302 70.627241, 47.295548 72.793426, 40.595551 72.943210 C33.895554 73.092995, 25.919706 71.264350, 20.336580 67.183991 C14.753454 63.103632, 8.718821 55.388250, 7.096795 48.461058 C5.474769 41.533866, 7.825367 32.015890, 10.604423 25.620838 C13.383478 19.225785, 18.039218 13.123410, 23.771130 10.090742 C29.503041 7.058075, 38.811140 7.053686, 44.995890 7.424834 C51.180641 7.795982, 57.815260 10.566906, 60.879632 12.317629 C63.944003 14.068351, 63.727398 17.326632, 63.382119 17.929170 M24.661807 9.847036 C30.486784 6.517600, 42.132356 6.408449, 48.876770 7.673050 C55.621184 8.937650, 61.177120 12.113783, 65.128290 17.434638 C69.079461 22.755492, 72.570313 32.277652, 72.583793 39.598179 C72.597273 46.918706, 69.403638 55.649354, 65.209171 61.357799 C61.014704 67.066244, 53.681177 72.425071, 47.416990 73.848849 C41.152804 75.272627, 33.652278 72.757879, 27.624051 69.900467 C21.595825 67.043054, 14.759939 62.612193, 11.247632 56.704374 C7.735325 50.796555, 5.421363 41.223432, 6.550209 34.453555 C7.679056 27.683678, 14.853507 20.422966, 18.020710 16.085113 C21.187914 11.747260, 24.403823 9.369698, 25.553431 8.426439 C26.703038 7.483179, 24.475688 9.854851, 24.918353 10.425555" transform="translate(463.000000 1377.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><path d="M47.654931 6.556606 C54.035106 7.631293, 61.652983 13.974917, 65.787753 19.520428 C69.922522 25.065939, 72.337289 33.063372, 72.463547 39.829673 C72.589806 46.595975, 70.607897 54.582309, 66.545302 60.118236 C62.482706 65.654162, 54.677973 71.297554, 48.087974 73.045232 C41.497974 74.792910, 33.236338 73.642725, 27.005304 70.604303 C20.774271 67.565882, 13.853500 61.103480, 10.701773 54.814703 C7.550046 48.525926, 6.926273 39.520994, 8.094941 32.871643 C9.263608 26.222292, 12.546432 19.460541, 17.713779 14.918597 C22.881125 10.376652, 32.975915 6.416249, 39.099020 5.619976 C45.222125 4.823702, 50.989548 9.001522, 54.452410 10.140953 C57.915271 11.280384, 60.083601 12.123626, 59.876189 12.456561 M35.214138 5.671458 C41.549899 4.137328, 50.805654 5.829634, 56.529797 9.394638 C62.253940 12.959641, 66.869141 20.389179, 69.558998 27.061479 C72.248854 33.733779, 74.512331 42.710370, 72.668937 49.428437 C70.825544 56.146505, 63.858317 63.220815, 58.498637 67.369884 C53.138958 71.518952, 47.169646 74.461455, 40.510859 74.322846 C33.852072 74.184238, 24.075150 71.303735, 18.545915 66.538232 C13.016681 61.772729, 8.827763 52.384484, 7.335452 45.729828 C5.843141 39.075172, 6.604940 32.412026, 9.592049 26.610296 C12.579159 20.808566, 21.121450 14.180821, 25.258110 10.919448 C29.394769 7.658075, 33.045504 7.642405, 34.412007 7.042058 C35.778510 6.441710, 33.332622 6.727863, 33.457129 7.317363" transform="translate(463.000000 1377.000000)" fill="transparent" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(503.000000 1417.000000)" class=" sketch-overlay-normal" /></g><text x="503.000000" y="1422.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">b</text></g><g id="definitions.explanation" class="comment"><g class="shape" ></g><g><foreignObject requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" x="62.000000" y="1577.000000" width="518" height="187"><div xmlns="http://www.w3.org/1999/xhtml" class="md" style="font-size:14px"><h1>total / safe</h1>
<p>A total function yields values over the whole domain, for any value in a</p>
<h1>partial</h1>
<p>A partial function is non total, meaning it can break on some values</p>
</div></foreignObject></g></g><g id="apply.a0" style='opacity:0.700000' class="value a"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(88.000000 1884.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(88.000000 1884.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(128.000000 1924.000000)" class=" sketch-overlay-normal" /></g><text x="128.000000" y="1929.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">a0 :: a</text></g><g id="apply.f" style='opacity:0.900000' class="function f"><g class="shape" filter="url(#shadow-filter)" ><path d="M-1.600310 -0.578379 L166.045551 1.811030 L165.253697 64.234072 L0.925556 67.532483" transform="translate(238.000000 1891.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><path d="M0.857263 0.963884 C32.680987 0.494405, 65.441359 -2.398931, 164.206405 0.392335 M-0.648665 0.264598 C36.962514 -0.610962, 73.132516 -1.180635, 164.419625 0.752815 M166.536704 -1.749433 C165.489431 15.585410, 166.180967 27.069513, 166.390547 65.130645 M165.297677 -0.799274 C165.657560 16.854002, 164.681091 35.455552, 165.406876 66.352243 M166.052801 65.786559 C130.444469 69.071526, 92.144489 68.528001, 1.836456 65.596476 M164.056573 65.856267 C102.886550 66.641533, 41.744770 66.370069, 0.938949 66.041844 M-0.720604 65.718532 C0.302797 45.542204, -1.429636 28.321166, 0.591800 -1.206080 M0.217956 66.998223 C-1.587850 41.337487, -1.081795 17.082362, 0.440740 0.988030" transform="translate(238.000000 1891.000000)" fill="#f4a261" class="shape stroke-B1" style="stroke-width:1;" /><rect width="165.000000" height="66.000000" transform="translate(238.000000 1891.000000)" class=" sketch-overlay-normal" /></g><text x="320.500000" y="1929.500000" class="text-bold fill-N1" style="text-anchor:middle;font-size:16px">f(a0) ⟶ b0</text><title>Apply function to compute a value of type b (namely b0) from a value of type a (namely a0)</title></g><g id="apply.b0" style='opacity:0.700000' class="value b"><g class="shape" ><path d="M39.440940 0.914466 C46.461118 0.212471, 54.874830 4.079667, 60.952349 8.263028 C67.029867 12.446390, 73.181605 18.941424, 75.906049 26.014633 C78.630494 33.087843, 79.404257 43.373563, 77.299015 50.702283 C75.193774 58.031003, 68.951188 65.521065, 63.274601 69.986955 C57.598013 74.452846, 50.611929 77.139231, 43.239489 77.497625 C35.867049 77.856020, 25.601459 75.918035, 19.039961 72.137321 C12.478462 68.356606, 6.366532 61.812652, 3.870499 54.813340 C1.374467 47.814028, 2.216269 37.371240, 4.063765 30.141449 C5.911260 22.911659, 9.363742 16.136371, 14.955472 11.434597 C20.547202 6.732823, 32.638192 3.410650, 37.614145 1.930805 C42.590098 0.450961, 42.262101 2.256334, 44.811190 2.555532 C47.360278 2.854729, 52.836628 3.006741, 52.908673 3.725991 M44.142159 2.067239 C51.080992 2.861969, 59.284669 7.676380, 64.645971 12.968502 C70.007273 18.260624, 74.491561 26.824902, 76.309971 33.819971 C78.128381 40.815040, 78.352276 48.239603, 75.556432 54.938917 C72.760588 61.638231, 66.202782 70.112555, 59.534908 74.015855 C52.867034 77.919155, 42.946492 79.061115, 35.549187 78.358718 C28.151881 77.656322, 20.621237 74.968727, 15.151075 69.801476 C9.680912 64.634226, 4.621582 54.765525, 2.728212 47.355216 C0.834842 39.944907, 0.730918 32.150309, 3.790853 25.339621 C6.850788 18.528934, 14.689164 10.528405, 21.087821 6.491092 C27.486479 2.453779, 38.383904 2.037195, 42.182796 1.115744 C45.981688 0.194293, 43.383906 0.470656, 43.881172 0.962387 C44.378438 1.454118, 44.939729 3.317323, 45.166390 4.066129" transform="translate(473.000000 1884.000000)" fill="#9191f4" class="shape stroke-B1" style="stroke-width:1;" /><path d="M48.788502 1.902561 C55.687956 3.024323, 63.778966 9.517041, 68.494008 15.290706 C73.209050 21.064372, 76.318776 29.257306, 77.078756 36.544555 C77.838736 43.831804, 76.667872 52.503391, 73.053889 59.014199 C69.439906 65.525007, 62.108674 72.518778, 55.394858 75.609403 C48.681042 78.700028, 39.995436 79.305664, 32.770993 77.557949 C25.546550 75.810234, 17.011577 70.806204, 12.048199 65.123111 C7.084822 59.440018, 3.933979 50.732463, 2.990729 43.459390 C2.047478 36.186317, 2.774125 27.995944, 6.388696 21.484674 C10.003267 14.973404, 17.816250 7.483692, 24.678154 4.391769 C31.540059 1.299846, 42.280050 2.972189, 47.560125 2.933137 C52.840199 2.894085, 54.012492 3.230370, 56.358603 4.157457 C58.704714 5.084544, 62.096392 7.722758, 61.636792 8.495658 M29.298408 2.030967 C35.605433 -0.320964, 44.078398 1.036669, 51.115727 3.736453 C58.153056 6.436237, 67.252488 12.107172, 71.522383 18.229672 C75.792277 24.352172, 76.604869 32.973420, 76.735094 40.471451 C76.865320 47.969483, 76.441671 57.108386, 72.303737 63.217862 C68.165803 69.327338, 59.184874 75.103051, 51.907490 77.128307 C44.630107 79.153563, 35.764068 77.468854, 28.639435 75.369396 C21.514802 73.269939, 13.647972 70.072931, 9.159691 64.531561 C4.671409 58.990191, 1.866277 49.774179, 1.709746 42.121176 C1.553214 34.468173, 4.251522 25.003708, 8.220501 18.613544 C12.189480 12.223381, 22.093114 6.262974, 25.523622 3.780196 C28.954130 1.297417, 27.999064 3.673029, 28.803550 3.716872 C29.608036 3.760715, 29.909421 3.487432, 30.350537 4.043252" transform="translate(473.000000 1884.000000)" fill="#9191f4" class="shape stroke-B1" style="stroke-width:1;" /><ellipse rx="40.000000" ry="40.000000" transform="translate(513.000000 1924.000000)" class=" sketch-overlay-normal" /></g><text x="513.000000" y="1929.000000" class="text-bold fill-N1" style="text-anchor:middle;font-size:14px">b0 :: b</text></g><g id="declare.(a -&gt; f)[0]"><marker id="mk-3488378134" markerWidth="10.000000" markerHeight="12.000000" refX="7.000000" refY="6.000000" viewBox="0.000000 0.000000 10.000000 12.000000" orient="auto" markerUnits="userSpaceOnUse"> <polygon points="0.000000,0.000000 10.000000,6.000000 0.000000,12.000000" class="connection fill-B1" stroke-width="2" /> </marker><path d="M179.500044 1416.170064 M179.340168 1416.751650 C200.359279 1415.411741, 221.380062 1416.738791, 244.713518 1416.771714 M179.719771 1416.576914 C202.189857 1416.489570, 224.505783 1417.028775, 245.087511 1416.769139" fill="none" class="connection stroke-B1" style="stroke-width:2;" mask="url(#d2-441724421)" /><path d="M-8.527627 -3.097061 L1.749550 0.558791 L-8.562935 4.521533" stroke="none" class="connection fill-B1" style="stroke-width:0;" transform="translate(245.500000 1417.000000) rotate(0)" /> <path d="M-10.153731 -4.038897 C-7.293657 -2.964754, -5.552453 -3.126871, 0.222305 -0.654474 M-10.160117 -4.253535 C-7.616436 -2.677663, -5.569656 -2.320404, -0.086565 0.272291 M0.578048 -0.807164 C-2.240460 1.133634, -3.845699 1.135504, -9.579367 4.140709 M-0.217907 -0.322328 C-3.660571 0.941126, -7.003142 2.167050, -10.100296 3.840861 M-9.957758 4.629247 C-9.937438 2.794817, -10.508655 0.509238, -9.330834 -3.522818 M-10.354741 4.285014 C-9.712366 0.996453, -9.805329 -1.235319, -9.648840 -4.366524" fill="none" class="connection stroke-B1" style="stroke-width:2;" transform="translate(245.500000 1417.000000) rotate(0)" /></g><g id="declare.(f -&gt; b)[0]"><path d="M393.500044 1416.170064 M393.340168 1416.751650 C414.359279 1415.411741, 435.380062 1416.738791, 458.713518 1416.771714 M393.719771 1416.576914 C416.189857 1416.489570, 438.505783 1417.028775, 459.087511 1416.769139" fill="none" class="connection stroke-B1" style="stroke-width:2;" mask="url(#d2-441724421)" /><path d="M-8.527627 -3.097061 L1.749550 0.558791 L-8.562935 4.521533" stroke="none" class="connection fill-B1" style="stroke-width:0;" transform="translate(459.500000 1417.000000) rotate(0)" /> <path d="M-10.153731 -4.038897 C-7.293657 -2.964754, -5.552453 -3.126871, 0.222305 -0.654474 M-10.160117 -4.253535 C-7.616436 -2.677663, -5.569656 -2.320404, -0.086565 0.272291 M0.578048 -0.807164 C-2.240460 1.133634, -3.845699 1.135504, -9.579367 4.140709 M-0.217907 -0.322328 C-3.660571 0.941126, -7.003142 2.167050, -10.100296 3.840861 M-9.957758 4.629247 C-9.937438 2.794817, -10.508655 0.509238, -9.330834 -3.522818 M-10.354741 4.285014 C-9.712366 0.996453, -9.805329 -1.235319, -9.648840 -4.366524" fill="none" class="connection stroke-B1" style="stroke-width:2;" transform="translate(459.500000 1417.000000) rotate(0)" /></g><g id="apply.(a0 -&gt; f)[0]"><path d="M169.500044 1923.170064 M169.340168 1923.751650 C190.359279 1922.411741, 211.380062 1923.738791, 234.713518 1923.771714 M169.719771 1923.576914 C192.189857 1923.489570, 214.505783 1924.028775, 235.087511 1923.769139" fill="none" class="connection stroke-B1" style="stroke-width:2;" mask="url(#d2-441724421)" /><path d="M-8.527627 -3.097061 L1.749550 0.558791 L-8.562935 4.521533" stroke="none" class="connection fill-B1" style="stroke-width:0;" transform="translate(235.500000 1924.000000) rotate(0)" /> <path d="M-10.153731 -4.038897 C-7.293657 -2.964754, -5.552453 -3.126871, 0.222305 -0.654474 M-10.160117 -4.253535 C-7.616436 -2.677663, -5.569656 -2.320404, -0.086565 0.272291 M0.578048 -0.807164 C-2.240460 1.133634, -3.845699 1.135504, -9.579367 4.140709 M-0.217907 -0.322328 C-3.660571 0.941126, -7.003142 2.167050, -10.100296 3.840861 M-9.957758 4.629247 C-9.937438 2.794817, -10.508655 0.509238, -9.330834 -3.522818 M-10.354741 4.285014 C-9.712366 0.996453, -9.805329 -1.235319, -9.648840 -4.366524" fill="none" class="connection stroke-B1" style="stroke-width:2;" transform="translate(235.500000 1924.000000) rotate(0)" /></g><g id="apply.(f -&gt; b0)[0]"><path d="M404.000044 1923.170064 M403.840168 1923.751650 C425.019412 1922.410536, 446.200328 1923.737586, 469.713518 1923.771714 M404.219771 1923.576914 C426.861443 1923.488909, 449.348954 1924.028114, 470.087511 1923.769139" fill="none" class="connection stroke-B1" style="stroke-width:2;" mask="url(#d2-441724421)" /><path d="M-8.527627 -3.097061 L1.749550 0.558791 L-8.562935 4.521533" stroke="none" class="connection fill-B1" style="stroke-width:0;" transform="translate(470.500000 1924.000000) rotate(0)" /> <path d="M-10.153731 -4.038897 C-7.293657 -2.964754, -5.552453 -3.126871, 0.222305 -0.654474 M-10.160117 -4.253535 C-7.616436 -2.677663, -5.569656 -2.320404, -0.086565 0.272291 M0.578048 -0.807164 C-2.240460 1.133634, -3.845699 1.135504, -9.579367 4.140709 M-0.217907 -0.322328 C-3.660571 0.941126, -7.003142 2.167050, -10.100296 3.840861 M-9.957758 4.629247 C-9.937438 2.794817, -10.508655 0.509238, -9.330834 -3.522818 M-10.354741 4.285014 C-9.712366 0.996453, -9.805329 -1.235319, -9.648840 -4.366524" fill="none" class="connection stroke-B1" style="stroke-width:2;" transform="translate(470.500000 1924.000000) rotate(0)" /></g><g transform="translate(377 772)" class="appendix-icon"><title>Function that takes parameters or arguments and produces a result</title><svg width="32" height="32" viewBox="0 0 32 32" fill="none" xmlns="http://www.w3.org/2000/svg">
<g clip-path="url(#clip0_3427_35082111)">
<path d="M16 31.1109C24.3456 31.1109 31.1111 24.3454 31.1111 15.9998C31.1111 7.65415 24.3456 0.888672 16 0.888672C7.65436 0.888672 0.888885 7.65415 0.888885 15.9998C0.888885 24.3454 7.65436 31.1109 16 31.1109Z" fill="white" stroke="#DEE1EB"/>
<path d="M16 26C21.5228 26 26 21.5228 26 16C26 10.4772 21.5228 6 16 6C10.4772 6 6 10.4772 6 16C6 21.5228 10.4772 26 16 26Z" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 19.998V15.998" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 12H16.0098" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
</g>
<defs>
<clipPath id="clip0_3427_35082111">
<rect width="32" height="32" fill="white"/>
</clipPath>
</defs>
</svg>
</g><g transform="translate(377 1368)" class="appendix-icon"><title>Function that takes a domain value of type a and produces a codomain value of type b</title><svg width="32" height="32" viewBox="0 0 32 32" fill="none" xmlns="http://www.w3.org/2000/svg">
<g clip-path="url(#clip0_3427_35082111)">
<path d="M16 31.1109C24.3456 31.1109 31.1111 24.3454 31.1111 15.9998C31.1111 7.65415 24.3456 0.888672 16 0.888672C7.65436 0.888672 0.888885 7.65415 0.888885 15.9998C0.888885 24.3454 7.65436 31.1109 16 31.1109Z" fill="white" stroke="#DEE1EB"/>
<path d="M16 26C21.5228 26 26 21.5228 26 16C26 10.4772 21.5228 6 16 6C10.4772 6 6 10.4772 6 16C6 21.5228 10.4772 26 16 26Z" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 19.998V15.998" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 12H16.0098" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
</g>
<defs>
<clipPath id="clip0_3427_35082111">
<rect width="32" height="32" fill="white"/>
</clipPath>
</defs>
</svg>
</g><g transform="translate(387 1875)" class="appendix-icon"><title>Apply function to compute a value of type b (namely b0) from a value of type a (namely a0)</title><svg width="32" height="32" viewBox="0 0 32 32" fill="none" xmlns="http://www.w3.org/2000/svg">
<g clip-path="url(#clip0_3427_35082111)">
<path d="M16 31.1109C24.3456 31.1109 31.1111 24.3454 31.1111 15.9998C31.1111 7.65415 24.3456 0.888672 16 0.888672C7.65436 0.888672 0.888885 7.65415 0.888885 15.9998C0.888885 24.3454 7.65436 31.1109 16 31.1109Z" fill="white" stroke="#DEE1EB"/>
<path d="M16 26C21.5228 26 26 21.5228 26 16C26 10.4772 21.5228 6 16 6C10.4772 6 6 10.4772 6 16C6 21.5228 10.4772 26 16 26Z" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 19.998V15.998" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
<path d="M16 12H16.0098" stroke="#2E3346" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"/>
</g>
<defs>
<clipPath id="clip0_3427_35082111">
<rect width="32" height="32" fill="white"/>
</clipPath>
</defs>
</svg>
</g><mask id="d2-441724421" maskUnits="userSpaceOnUse" x="-89" y="-89" width="820" height="2204">
<rect x="-89" y="-89" width="820" height="2204" fill="white"></rect>
<rect x="299.000000" y="17.000000" width="44" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="295.000000" y="380.000000" width="52" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="276.000000" y="743.000000" width="89" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="263.500000" y="1332.000000" width="115" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="266.500000" y="1532.000000" width="109" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="265.000000" y="1839.000000" width="112" height="25" fill="rgba(0,0,0,0.75)"></rect>
<rect x="317.000000" y="93.000000" width="8" height="18" fill="rgba(0,0,0,0.75)"></rect>
<rect x="81.000000" y="162.000000" width="440" height="143" fill="rgba(0,0,0,0.75)"></rect>
<rect x="298.500000" y="456.000000" width="45" height="18" fill="rgba(0,0,0,0.75)"></rect>
<rect x="81.000000" y="525.000000" width="463" height="143" fill="rgba(0,0,0,0.75)"></rect>
<rect x="287.500000" y="810.500000" width="67" height="21" fill="rgba(0,0,0,0.75)"></rect>
<rect x="64.000000" y="874.000000" width="513" height="383" fill="rgba(0,0,0,0.75)"></rect>
<rect x="135.000000" y="1408.000000" width="8" height="18" fill="rgba(0,0,0,0.75)"></rect>
<rect x="287.500000" y="1406.500000" width="67" height="21" fill="rgba(0,0,0,0.75)"></rect>
<rect x="498.500000" y="1408.000000" width="9" height="18" fill="rgba(0,0,0,0.75)"></rect>
<rect x="62.000000" y="1577.000000" width="518" height="187" fill="rgba(0,0,0,0.75)"></rect>
<rect x="105.500000" y="1915.000000" width="45" height="18" fill="rgba(0,0,0,0.75)"></rect>
<rect x="276.500000" y="1913.500000" width="88" height="21" fill="rgba(0,0,0,0.75)"></rect>
<rect x="490.000000" y="1915.000000" width="46" height="18" fill="rgba(0,0,0,0.75)"></rect>
</mask></svg></svg>