Created
April 25, 2020 19:49
-
-
Save peterholak/1ec6fc1180d183b03acd5ef457fd3d9e to your computer and use it in GitHub Desktop.
oct-proof1-enc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
U2FsdGVkX1+8VImIUH1btrv2yEOUcym5ZP2YFZsrryz52t3rs6och0ZwQPGosjvbScJMW19xsTWO | |
lVlgu0l+N4f8Yg8BM8Npd9aL8p7vF5rtzCSU5FfklnphlasNbekRRGE7bId6Fk43oZb/u9bzI6E8 | |
RVF1ttwN5DBw42kZ+V/gqOJJpOE8cmi/18Dua6KcVfs1NTgiokPONCA5FhbAHT73gV+/pMlZAXBU | |
DhL0x48ZIE+q0JPtpXpt4+LpTsxS5SYNYtvXnLEvMtq2HtmcofHQ4FXqtV2a+n50SwkpaiDPLBJc | |
smIBXZgWE77C9rDabRVRgku9KfazxuSUbl+0rij/uBb5avqf4ngJ7h/QJc5NbOLsaqBUtr1bwPxe | |
Jo1aAc+n0gFS4VBvIFIUxLwLGaOOFsO6SK9Cnz/mk2XoeBrL9vm5RJ1SWNLr9jXQ3j9Ge1XTFiVs | |
dXC96eKy1L4WH4VGpqRUiXeQf+XIQGYD3+t1vNgEC5Dh9JcZa14d3zyMtvKz4uZJoVNWk0OFCnKK | |
vvRp2mIQVkHzKxhIl9K9In8HMr9HP2SEGzGCooyzzklhvWFI4hWdXeLCIRrtLQ3O/ML03NVm5GYa | |
zRgqaeyVVsU8ewkM85aCPRaDu9UuUzDjbTCofUVaf5pRbusMe0p3eecrrkADDbekbd6gkKk26/VN | |
IXcHmg7E01XINaxzuRTaQ3yTLFe3p/B47xnsdv/6d76FnUgqKTU/LIdrbxDGk7R6OSdbvAdLzkTe | |
iShaI1d6W/x7mbsb1g5umawLE0RUN2GMHQgrWaPJeh5turRq8Cue96S6MIJEmQwwrJ4CTZ6/wWt5 | |
BXKMh1sXiDgjAQXxAjv3vScvLGKee1/5bbjlYcVu06k1W3z+VLRBdWyJYUdS/aV7HYwE0Vr3p7qh | |
2gTBEyBHlvNos2U1hHI28ysF31iSWloa4B0g7OFrvAEuRpDR7AOGsdlUm1yW1gdoPKd9LwdYOYah | |
sZcV2obSFd4KPOYLAkRJ2hDZc1qz/eJrwulStXgAIW87CEuu0ImmzMcwvOtBUs624cX5UfgCqn6Y | |
pznlKUk3FsLa4l6t+DL4s90H2e3ZN+NiHmj01iccrE/SEClM2Zj2azh+hhG1ZCgtIqMNEfE90byb | |
HwJqZHdQa3Dg5hIV4cKJnabA/rmWJmDLPVvtJ3L+SiLR1DGdW4MNOewF4Jjb/nqP/t4pNlEpwAZK | |
Wor1+gmdvQQ4v8A7tPnGHmRh7fj7mCgXFjkOOF9Rn7VF1tzozXOo/OsZYL/6pK18v2d3+GylqvgX | |
gnqOf0bMzbRYihWsDeE/mRT+fKe8Xk7zaMbPHHljmpUprgM+8hMf1J/9NKrRoQz6gZ5zOcG2cOtT | |
6RfpBcvplT5LXkoELpNX2T7qIHTF+qw7HmjG1UHzqp3yI0axB5dj1NmwuWM+Hd1bGpYoF9BvRCov | |
MCCSUmeGcZ6l6/LsUA/wg+z3a0sx4uqzRLVXlF77D4yjeSXIGgSN2jtKdT1TQbzcVIjlx1kKhq4w | |
+FwQ8LqhftQLI6ZOkvA2FQdgiOiZLAwNWR9Ycr75Dno01Y9qMMFZ8khWATr4zSfRNuABjLhTLH0X | |
tfCGPDLImLr6+vfEvnuhE3EkM7anm+BOQ51JlJI++BVm+bHCsNFGgsrY6suiXgbTRUhYGP8gndH0 | |
WAtu5Tvd6+Dnc/uG+1o2JO96+SZvDUI2fhRAnhp8H2MgYBvLL/0yLMB9nbejXgxdcj2PH6Mwrrsw | |
7o5orskjYDAcnBh8Avnbi5U4EWLgf+eCEw8rFQCzWMYcJ1B9HwtD/l2uu87kS0isBCBbUR2KUGzv | |
ir9E1ppAWYHD+CgorNGthlGp+21iUIm7XksjWkKy15pVb1zIhDwshTKH1Dak9YzFsQmQL7UPrEMS | |
wlkblFJaeMdvNU5g8LVigyxD8gK3oSIZ+bJY5yT/It26pWerUsNMTWFDEL4rvetb53tm5vHhE+nw | |
IQlqm5UX2mGnOamtOFDCcsNfw9EnNPKPEVwSMyluUDUS5wQMQSQdK+ZVO9xA5ApX53U9QJtco4AA | |
TkAdBNmVrHTJNfBP9vzDfylEcYgMT1BYRIvS4Fv6+JLIGZUerlLOaK2lGPwAISPoWaKdRtkIkPVv | |
klFtY3DraWXjEsIAeFwR1aV4Ag/Q57BzWt3Ewms3dPALiqAoteyVwBEK3+/V8m+ITBlyZrpKmwAK | |
/Z9WRz0aaiRxLreCXRqHSp80jgTovTIWZJChcpNpbRQwX76SJsIPV8mqPN1HnQmMmfjD13oQG2si | |
lpMPOSm0wcTeIuk6E++tF609201x6N4POzvzqEuOH/8BsRULzYYRHQRHeqY1uj6kUmgfXDsgN2ns | |
putIfMixoHRa0F+v4qD62PDhya3s8+dp9p6bNTDsmHLtQbg3RJewG7MgiyrFLR2ozb/ZVthySgRt | |
uMEdPYBS8vRTNPpS39WiFOjdPukR5Sq043dCAZI4RZ2/7F6xuGmgbIlumG//+4my/Gn9bAKstsCH | |
4L7DLcb3Nnl7Mb+1QwDDbcvogZ6FIBd139Ye/HKKSQWEfVMY8pwxoyejR5fZxToI9k6OrkH69rZd | |
QLWJ5Dd9Zw668fEKL/p9Ob6MfFagBtBkI5oolHxMYOH78jK5geRixtq+cJWFu5kcqotSfkqHDMmA | |
E+7cjjpHhnvDhl8D9KR7aYZcYDWfcHLy52tk4R3sP/v5NhjJsLk5J02M7aeN6BM7292dNjFcPd0V | |
ZZNHhCFeMfOq26IJR+GSSzoGSeaJ1mj8YNGl4vEtTgvYRhtSFSt85ZIO/YbJSPZP4T7FRtwlZFyY | |
UM5zEB8Snvm3nC6fETvExUHFpillKX9bnvqNpTBxclCUyyUW6DeQxr44KF3vqjeEzYirLi9DI9bG | |
AoQR0mtTGgYBbGwIrr0YnCxw6axeelj9XvhlMZPmh7MCBz4uWGi4gyaUhUwIwI4/L+dtpJ5okpwU | |
TvDpCWEOf9OHuiNOw3EcNNu1LrcZHKX9t1twnBtq9AnLtxknbF/KRXBuAiZlK2O9GcNkh9CkG2HF | |
AxfdSrBA6g4Y7Y6Y2XksVs04aF0KBdebxUtkz0ogcqKfVqVfDpp1pSuqHMxphzEPZa7YoaSUcNLV | |
Y+LnzDnKrL3chE57gzlDBPuzbsSIDFHIqk2sksGhUKjamHHypVwdbEc6CehzCgyQ76dWTEuUqKyJ | |
zkFM1wR8BEVcr9QeoEbFsmmpfC3KhPvxDHpY91lAgs7UVAa855UKrbY6Y5HthcDf2Wiae9uVQI+q | |
wUOe1eSgUGO0JyJ31jrBz9a/f82qNtcUnGunCJoun5Ai3cMMQ4mF+g8foNtawZzZNKHlD7bkB1Mf | |
7hvtVWi3z60VhUrlUgNgtg+HO/aclop7Y1xbeCryObBxokfdgCR7nfN6BZXqmjVYWLdGTUb9xM0m | |
k6Cqt5oykKpAgFkMR0+wASaoAksQHBGZV2afcbEeR80RafVdmOqr7ZxySpsOphlhoPmYVj3tUNa5 | |
NaH1dbjTMNlJYA8YSPnOHCxHbhqah2pWAoGDdYGFzFdPaol8UXrDFhC8km2p6nV775zvHz/huLHA | |
oFGcZfqX8zTrZ8mdIrEQLNpYj2LIC/cyFH6zvOYUm2YTnJxcitUF8Z8AZI21P4VQtUVmSMvmVW+r | |
toNTjdCdBr55z1392kL/kjGJ7KkPBKJvAWIFNa/Zid1n7paIuDqOQrrg+lQn5asywrkMVzURH0y6 | |
aXYQ/iuer4kgHfknhSFrVbKHjs2qljzoDnBT1kirw05dVhP9OFpbzk7JPwLQmYbN5S4sYc/nYV8/ | |
gzuS958gEUbai1xb/3IHuq5hwLS8pF3Lvk3qgP6sz7kQTOwDV7LmoFYckIi+bqzNVoj2izBw4PJW | |
sdTcp+o4Krj8r/DBId4Blh7l/b4/23iVQijXGVLKD+jWINLR+DduVIKi4O6TZhxwdyjzAKllztrb | |
Kf3PaRlmdOAUpy8N1rA1f2Ja6h4OfcJ/HVVmGcIIBHjBPqQAbcDUlCrES0UmXurql5Y0fuTR49jE | |
XV2lKl6cWp0Od64Z4o+wBPWXvK0T+DoIp8nw6laeIhoCj3hVl8sVmx9HQYchkWaLTRPmg0lmAnwa | |
Zce9jQn9Yq8MIoM7OprE2DbGHG7zJGz2MdyDMS3w05Vn2I7Kom/YqeUKCGFNu5EX2fWNahp6oYXJ | |
NjNv92r4HfMetX2YbWOxZRzBwFn2YYX52bSNXXS6VHNKATnDvcxMCpsuXH166DJXlaGd4rU9CMDF | |
wd0+08pQ+IdHRaWzQ9/syVvIt5eRg2RyIqq4EHpMguWPwsilrTaYM5gspzwxKo11EpEE7kb/X0gs | |
loDp6UBSWpE3MFQq9X/tSLJgKtGJosBrg1Lsr+EuTCu/vz83u1QZqsnIHE0MNgiFAjEqb5RyOONm | |
98v1CGvpt0GXkmw+esUNHpriqPe1imrooEla6g+EpKFMyaOgIqH9tG+Y/31y8kBw5lTDP6jlth/m | |
G3hRD4v7aTZy+tIu6JKaywlj/732yzDFl1Q5kUpmXqeAqoMsqG7hz39M2M1KJPEcS6SlqktVXmkw | |
VdpVDZ/359pGsi0KdjOlqM/xEm2LjPQCcQ8uEW34GaMVNnoLXJBVRjl6nszAflClf7RJwPiRx4Af | |
9O6ql795adTq5kUJEX6qnv/lX3y8LUP+/rTukF/Bl6JEgqTbNVXcZqOPIisHSiyFaLgmdqZKTNAN | |
btEIjSengtpmp8yN3VZt3iCq4lbwDwpsS7Opu8X84Gd31x4kYUVjIqPEg7Vt2sUEIntaodQ91Nwy | |
7PXjG2j293yyZQb3YvZ4HGTaIAyx18WOiL6vLOhfUemepVg75ElYwfGcY5IYOdniiTioka55S5u/ | |
cgGMEkY32511egnF3zkEOGoV1Dw0FcM3kar57uHZn/53vlJmW/VtNqKxZNkuNRjZPTGn7IaanlhV | |
U6e6P9IbrorvluS3Ke9gDx8vwk/BJ7SRQdosguNzm5/E9gS4qqmtUDp3i8N3uVh5+ReNVwu3I8D/ | |
kUNsVMeVtRqzdS9an71osyycVSEicjGMWI/PNIdNmPYPqgxkx7F/5Vz0aTb8ZTICVoJSmYPUooQ0 | |
WxbsXWUivV8GLmOhWAnRS7uNMbHRGmATYUmLbCuI6y4TgOoPO7uln6dSpbfJa/4Rg/FPU/+/eZsx | |
BAn2dedoMX3CjJEkwol1d/LK4esyMvH8pNl+sd7dqxADYMb7MEBzR/bgyj0j0D3rSvLPcOBpX8hh | |
fnptIsJV6OnwzKc+DFqwXEroSqkEMDeeOuAySZ+HC7Qd5dU8H+qRVeYnP8hNgtKsGuxUy6+zh/Wc | |
QX7XPefXVMuA/Sbo39onZSDZG60Ld+r3EvTnMqQ481P9LJZtQr+Jwz2Fx4QXo2WIlEQGyuXCdvk3 | |
Tio7UAqA0uX+lLWPoSMm8qRvW712TL1EBoLzgd793FW05qwO+ehnaHTOaZShfl3EAg5vVrFgQPul | |
96lgMz/jtP0b3QtWHReOY7KPF+96L9s0LGtNuuc8a1omdqv43hgdlZqC0cYtQRiLH9RiZHNYzPr6 | |
1cYh37bJbjlnZMFgJa1mrjlrxLgL2WABaZaXGv4hW3cLdIRUip7xelx8MBMdHJ9PFWOptPuqpRA3 | |
oG00H8NVlJ00muog8rd1+/6M+SyF5+Xo1zp4K2RXvbIpMSsKGgdr3aoEXMSDaCkDmnmiHTuYSe2E | |
8VbE7AArqEdWIFpo6rs1CLyex/oABB15xtE7KzgNdWvvTq1M27VhSDsRHLjQ2RBc7/BV74fjo65z | |
XO+sqbIly1aZQd9a+AXGq+8ozzbVhBYORwacmz1sUotukTQEmHGOkof05LPUk6ajxgkAjIPgegM2 | |
EQjGRa30YXIi54IMYFMTTHdNiMRudZJeeGO52bvHZnkZBEDervbn+bW4wRfWs+Qf+8pKUTxIqCjs | |
U4JhAp1N/tP2l6G97+AtnKcmspcD2isjlZQZXRwprrTH+xAzN3TgNQVRsUUKbQ1AZqP5v6UOKBli | |
2qsVsJyDoJNHSKND8RhJXoBM+l8YGfqsvSpu2kG91YgSU1zivExIDS49FZBBR4uWuDNQdxtHlPDS | |
aJqmI3F29Jy2p6dJ27dHxyXKaAxMKCL+vEQL53/AGHgGxibcGHA5vxy2e97WNNsBz4UMdI1OvdSw | |
C5tI8Nn0hNTVFOqExNs/7M4jLx63d1vq5cXoBrH9tcbm1S7uWnMrE7TwXN3EXvdgMK1aGy4KQiop | |
25ProBl+JayChHOBDKsRevpZKiHzAEnKJ9YsnBGMhoEzMWjzdAe/Eiqsv8nI4tA87+bkGOBXAWuI | |
YVYN+/6SjtckzMmSpCGkmUQsqRfohkbR7dtMK1OP2d/9HFPMyJBLyn5rWsN6F6UncIe5RHq+7BHI | |
UNvGtKt3qlTJYqh4f7//PdqIdxaO9OllNaqSzD2ijwSiTObRz4FPPVfSBErH0hGpJLeeMogUHbw4 | |
f8lz8mnlpgCKhalHrjqkbsvPXGUkGXwadLKqdExwuSQdrgNbJy8GsfOy6vMCLJ72aCpjds394hX+ | |
HVNLLiiGrGirv65wK3gJY5RPjCIG4a60iBHkU2N/GqmhC9AGLFqj2TVhv+XrCNu7qrRscdnNsIZh | |
Eahp7XiuF+vTyKVztKCABjjYDdrtTcroUMRrHwdzaqz4K6oMIFLbw/7va8Ym5hzOC+erta1PLcdr | |
hA0Mvlu9bNTSys+7Fm5P59Ajk/HQccLwcXfCPdK+k1e/WehBH1mnvTF+SbUyRGQ/R54oq+Iak2Cf | |
34ZO/0tHKuWxcFEUKpUtM6umzpbYioVHtQ2Lp93oC55Q8QGKRyVb9AkLmyAEsZJFBBieZl72Mv6x | |
BGDELFIuHRQA59aH0R2cr0fZLLGIZ1U5RjBC63UYw9A8oNfN0Xz1ub5+2ojdbrDbR3WLpz0RO2U0 | |
oV8AsrDJEJUyl9q0odOCgCiEcwSe+/tLSr1wH0TLMG9Lhpz70R8mpryXcfkg7Nq7wvGELIYFASpy | |
JSOKAjR4A2zdvURZl+2tYYkKVMtRe5WG4PLhTz30hAcsZnA9FTRCs4oq1tde5cQ7Ue8ji9drehK4 | |
TLLXV/bawnVb013LUIDBOzXUE+gOcQVgYlziLmxvZsyc9g0iNNMybPGe4aZxG9EFohYkJ4YBqCsL | |
55VN4m8Y3hMi6CspyctEY4EUK0oMgm++I3sys0vUH5EAzVznZWOJGXXIPbYz4DpnARH+LzqVUs2V | |
3j1o7a6wu+Vwz3S2HU5byncCAuHYCgJWrj+kOO5gSbXk2uNu033M3oHINWzRlQWdlKWY78qQcj0B | |
zjKuHwiLW4aQjpxdfvMTN576QmL0yNB/scpQ+7C/EqdH+EtBHHU1/x3hJ6m9bQGIusgKkFxKKODS | |
dxePGIXTBtFe18O5daq770iN5yubYkGG6pNThc9wPAFMzfs+mkzlG0yU9m2P422IdEDr0zb0Tr+V | |
ehgJ1dcCAjfd+LMJ3OM9YG37KrI3me7DZBculAK3nSg5+wG55QwvUAvzTRBpsz5NZC6iPB4ZZ+Bv | |
jwjuEmcNNGYi7z5o0Iptr/HJc7GiXGzKxS3c/paSBig6py0a+g8XPZkDioogv4pQMMSWvaSdsccW | |
049BrBby7ELY0O4l9XHW8b4IWVoIU3Du3KR0l4Ijp0tBc0zU5EaLuRwrUa7QT8ywS5piU+WactXu | |
mHhgBMAWf7qxA3156SqiBbwHWQostDerhw9mXszmQphSSWDAXrHVj1kpbkYfYzj/KdjJv1MoCnVX | |
DjCTxB9kT22Ckf60YpHklE96RI0qnuRkOyEw8g8G1m62W/EbMmFXaHPbBscGgl0nTUSjOgHUumZF | |
sfN1kHrVubniQaHGzGirMCpyPzIdK77uJsz4rmEMtQNQY9fzZp7bLt0RZ+/nDh/M7/XD3F5K+2bT | |
5HfQrnD5oo4/KV9gVIzMmhoefuI09auDUWqm8lA/mkS8ytc+VP2NiHNSCrXI7ST0/kzkp/QUkFC3 | |
BIfBSIfbxS7cOFo+JzOKLL/Ojb5ZiA6+cLCop8IRqR+iWRRLDNiBCA2AQCwE6uY65M40f0aU8nRb | |
SM6VD8sI8Tanb45vpyc9GTf47/BfumltfhR9RD8XgwMiRiX4XFwVqzDe0E5ejPW2Oq+mn10pZHTO | |
si9+i4492TYyDWs7Ch70cs62xJjnBKKvyUpFpU+ME/oOpUbwKSazi7wxii2Bplyb6iNtsTDALolS | |
kvUwErbC80D9NbvzwGzyFlJ+1N3pC6Vl0fFYFjTTCMDZSmiISt6d7T2dNcLsnrMJCLsUf+gJAZ12 | |
dJK3gfaoc3Sxru4IDalYEb6v7j5oNz3py7FT2qK2SI445NIDOQRQo5O3YvtvXjax8O4qATkbiz+f | |
tSXysaOvbzIDNLNELnB6FzmW9uC/zsblBA3NjCwNF9O5Tj710CobVvn5sd/H/POp5hLyw0fW3XtV | |
6wOfVaLkvAeGkKghePA2lNNC+B3pO6OhhkMWLZLiPcFgA2FNtItbhSjAWWlGJTqeuTIyq/aAWGSw | |
GMocFfjAqFzwIeL9tvEjs7gfckj8nYNzSK4897c8CmyzZpeVM2PLKiiMWUX6t4BeMqlXS5ky9tEe | |
VJyidp7fKxtIFV5X2FSG1qUSu93EI46tmAuUga9LYxFJQnS/zdvzaevFyLu/bBKDG8AOuDq8kXT0 | |
8EuMrhJYmizOGv3CFwayGO7koqQhwpnnjNsJII/IZsDwubo2L5400FqmI/qeN+2f89pXf7Z9oQfT | |
Vj30c0TAcK6KNKpekr7lDT3sCncwvZg4TTzCBw5uo4u1pLX0wdNQGZDSbpT+GxLNqvlgJ45VsbDW | |
/5M8T+mmohwk4DJ8gJ7o1w2AJJpB1rjQQT5urmMvdfrZH5wPKkI96yA1iZJMw4djPUjCyTZoMJJL | |
NuT2165gvwGWFCzQoYmI48NK/q5ywUGHOCXxjCJNBFqde4wwNrFPcw/yx9KL236jAxNSoBWqaL0m | |
jq3xuVycogVjkH82O8/4UKuM++IW/xHKE6gMtnobX4ZNBKcDPId4ihO1AH43Krj/LMOIX3nTVLAK | |
BW+9jp5sbQQ1SL3lKKN906OJJjIPmYxR//UKkpWM3F/KPvg4eiFIqQQuhE4WCMHRf6YoJZIE0VnW | |
NSwzJVWehPDr2VM8rKqAL8AiocMNhuMaE7AMkoaLPQt9YADwV7ZSzL3rtOnwkzmsNr7qv0w6hLN1 | |
NWAUUlxtKKBM6NN6m23pHpZQnVfe4ctCBmgA8y3+w0k2xXrsREtKSHzZ0/Px8NxrcYhzQZDoQQ/j | |
biTCf6MMqUDYTpIixsiubyfBzfi9KUXgwmB1eY+rP1ozJ9IMKtrFdPsJ8mT73vcVBTTEbU4MPA3p | |
VPKp9sYE0qt7aKXvqoYdS1lWE3U6tKdY3kQJOEFTxWLDvglhsdRybKUh5Nf9jZpzi0t9sRkvJJR1 | |
4VMtqtMJITlc03pWZTkuEyaNegsOF5SvOAwRqKwg4WWgNq6sWezlgPGMShkLF9QJmXZVLhZXSm64 | |
zoA1m9NBO0C8prpkythovbL/4RluiEtaqK9tQeay4XuQ+5kyBaASNGI2YNHey8uCVkRsodi3sJf/ | |
fem1Y64mPXLN1W/ea9BVkQYuN5UdYF6Cz62/FMUJ1zcayB/zSBIsrj+f1iDwZVGGgSF0VVU+T9kf | |
EIPjccYUCVKN4q3dxeM2+6CCLCy7KilxG+dkVICjBf7+5B1zRcSoEZOT6u59X5yWcCEZLO4Sfyja | |
5afdLtI30kFFdZhZT8ckjK2saX1V83BoXEgBdiF65QCSogXDkztsnY3rOAWRns/fdrSbQSRBsY5/ | |
hRw27BHmj9+U4oVIFo8bp7K9KfIuTw9Nj9S/0pMTYbSOhV9ge6ShpOmfaV3eMlb7/CSjST4UrJzL | |
uStqI1wJY2qaHkgeP/O4UE7Ik1y3hYz23eFX2bGEW3NE76O8ThoRqhkBoJJS45WdEtApzHDv6t7p | |
RRpmEXkBiOAd3SL98TW3pxlpXFZ6ne3+p0HBA5NWnztEYiIZow== |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment