feat: Perform more checks for compile-time arithmetic (#2380)

noir-lang · Aug 21, 2023 · 1be2b1e · 1be2b1e
1 parent 71a2bbe
commit 1be2b1e
Show file tree

Hide file tree

Showing 43 changed files with 71 additions and 50 deletions.
diff --git a/...rillig_field_binary_operations/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml b/...rillig_field_binary_operations/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml
diff --git a/...illig_field_binary_operations/Prover.toml → ...illig_field_binary_operations/Prover.toml b/...illig_field_binary_operations/Prover.toml → ...illig_field_binary_operations/Prover.toml
diff --git a/...illig_field_binary_operations/src/main.nr → ...illig_field_binary_operations/src/main.nr b/...illig_field_binary_operations/src/main.nr → ...illig_field_binary_operations/src/main.nr
diff --git a/...llig_integer_binary_operations/Nargo.toml → ...llig_integer_binary_operations/Nargo.toml b/...llig_integer_binary_operations/Nargo.toml → ...llig_integer_binary_operations/Nargo.toml
diff --git a/...lig_integer_binary_operations/Prover.toml → ...lig_integer_binary_operations/Prover.toml b/...lig_integer_binary_operations/Prover.toml → ...lig_integer_binary_operations/Prover.toml
diff --git a/...lig_integer_binary_operations/src/main.nr → ...lig_integer_binary_operations/src/main.nr b/...lig_integer_binary_operations/src/main.nr → ...lig_integer_binary_operations/src/main.nr
diff --git a/...ecution_success/brillig_modulo/Nargo.toml → ...e_success_empty/brillig_modulo/Nargo.toml b/...ecution_success/brillig_modulo/Nargo.toml → ...e_success_empty/brillig_modulo/Nargo.toml
diff --git a/...cution_success/brillig_modulo/Prover.toml → ..._success_empty/brillig_modulo/Prover.toml b/...cution_success/brillig_modulo/Prover.toml → ..._success_empty/brillig_modulo/Prover.toml
diff --git a/...cution_success/brillig_modulo/src/main.nr → ..._success_empty/brillig_modulo/src/main.nr b/...cution_success/brillig_modulo/src/main.nr → ..._success_empty/brillig_modulo/src/main.nr
diff --git a/...xecution_success/ret_fn_ret_cl/Nargo.toml → ...le_success_empty/ret_fn_ret_cl/Nargo.toml b/...xecution_success/ret_fn_ret_cl/Nargo.toml → ...le_success_empty/ret_fn_ret_cl/Nargo.toml
diff --git a/...ecution_success/ret_fn_ret_cl/Prover.toml → ...e_success_empty/ret_fn_ret_cl/Prover.toml b/...ecution_success/ret_fn_ret_cl/Prover.toml → ...e_success_empty/ret_fn_ret_cl/Prover.toml
diff --git a/...ecution_success/ret_fn_ret_cl/src/main.nr → ...e_success_empty/ret_fn_ret_cl/src/main.nr b/...ecution_success/ret_fn_ret_cl/src/main.nr → ...e_success_empty/ret_fn_ret_cl/src/main.nr
diff --git a/...execution_success/simple_range/Nargo.toml → ...ile_success_empty/simple_range/Nargo.toml b/...execution_success/simple_range/Nargo.toml → ...ile_success_empty/simple_range/Nargo.toml
diff --git a/...xecution_success/simple_range/Prover.toml → ...le_success_empty/simple_range/Prover.toml b/...xecution_success/simple_range/Prover.toml → ...le_success_empty/simple_range/Prover.toml
diff --git a/...xecution_success/simple_range/src/main.nr → ...le_success_empty/simple_range/src/main.nr b/...xecution_success/simple_range/src/main.nr → ...le_success_empty/simple_range/src/main.nr
diff --git a/crates/nargo_cli/tests/execution_success/6_array/target/6_array.bytecode b/crates/nargo_cli/tests/execution_success/6_array/target/6_array.bytecode
@@ -1 +1 @@
-H4sIAAAAAAAA/+2dC9BeRXnHn1z4knxGhBgBY4grxBgQ43fJl3yJQQJGbmLkZkTuJPmCiKCIUAWRIAoiIgoiIlBRq8VisVgsFovFYrFYLBaLxVKxWCwWi6WdTqfT6XTqjntynnN4U8fZ37OePbNnJrPn3cn33+fy7u/Zd/e9bJom8m+/+Ocv30wPrVOPp7cez2g9ntl6vEN4vMMvZbe1+u9nhv6qb6ilMav1eHbr8ZzW42E15jQ15lDQmh3+Zlj9zbNaGnPD4xnhnyi7/bU2tCNx1+hwsENY3REZcEVqjxpqbxtjutJ8dmh3VH1zQls9F/01pHJT5co/p/ZXfzdNtdOUxv7qbwb9n2nb0Zmj+mYoO4cEj8nIkODPu5EdlSZt8Gg1iXwCndSTasfwWMRuIrV1x0dWLF8+tXJsanR89JSRsVUbJydGlk9sXDE5Ojk6MTmxeWxyfHxqcvnkylUbV60cWTW6fHxqdMvEqvEtQfjfxWZSzmDsHAt2jj4b9HlHMC9k/KxhPCRN2FB2y4ArUjs5jJ8T2p1UX4Exo5kExj6BTmoY7yR2MK4mEg3j/5A8YPwc0OedwLyQ8WvDuLqmw8+l4W7F0hK8yaG+c2jnqb5fB+p7qL/bHtT3kF8N9UE6Berbv7ZBfWcVTP/YJ9K1xpwBj201IWO1/lPyKA47gz7PA/MKxG8bwKxX6vOkCS1ItxdQf25o56u+slJnNJNA3SfQSQ31+WK3Uq8mEr1S/y/JA8bPBX2eD+aFjJ81jGdJEzaU3TLgitRODuPnhXYX1VdgzGgmgbFPoJMaxruIHYyriUTD+L8lDxg/D/R5FzAvZPxSbZvM61Yse7Vtsmtod1N9ZduE0UwC9V2luW3iE+laY9LbJlYTMlbrfySP4rAr6PNuYF6B+CXbNtlNmtCCdHsB9eeHdoHqKyt1RjMJ1H0CndRQXyB2K/VqItEr9f+VPGD8fNDnBWBeyPhZw3i2NGFD2S0Drkjt5DB+QWgXqr4CY0YzCYx9Ap3UMF4odjCuJhINYy8I2WgK4xeAPi8E80LGL9W2yW7dimWvtk12D+0i1Ve2TRjNJFDfXZrbJj6RrjUmvW1iNSFjtaZnUhx2B31eBOYViF+ybZNF0oQWpNsLqL8wtE71lZU6o5kE6j6BTmqoO7FbqVcTiV6pz8wExi8EfXZgXsj4WcO4+rQnPB96AeMXhVavcAuMGc0kMPYJdFLDeA+xg7H+2LTWjQXTUCYwfhHo8x5gXoYMYVxd9LbJom7FslfbJnuGdrHqK9smjGYSqO8pzW0Tn0jXGpPeNrGakLFaszMpDnuCPi8G8wrEL9m2yWJpQgvS7QXUXxzaJaqvrNQZzSRQ9wl0UkN9idit1KuJRK/UhzOB8YtBn5eAeSHjl+KLppbw86EXMH5JaJeqvgJjRjMJjH0CndQwXip2MK4mEg3juZnA+CWgz0vBvMw1hHF10dsmi7sVy15tm+wV2r1VX9k2YTSTQH0vaW6b+ES61pj0tonVhIz+Rr5MisNeoM97g3kF4tfYNnnGk1/4hQbo/4i296XqfmZopw94ThiAY1Ra47TjaAoWqyS91EB3H+EmkpXf+/A5asCpyzG1frnu47u3cXwh7eQru5eFdpnqKy/XGc0kKzufQCf1ym6Z2L1cryYS/XJ9p0xWZC8DfV4G5oWMnzWMp0kTNpTdMuCK1E4O45dXmqqvwJjRTAJjn0AnNYxHxA7G1USiYTwvExi/HPR5BMzLvMxgbDGBZcAVqZ0cxtXr6zHVV2DMaCaBsU+gkxrGY2IL40GBiv4azExgPAr6PAbmZb4hjKtrOpxzshgBsezVQdZ4aJervnKQxWgmgfq4NA+yfCJda0wIbuYTMvqb6zIpDuOgz8vBXADx2+77f6urXRxG4i7yIGsUjGUvisNEaFeovlIcGM0kxWFCmsXBJ9K1xqTf5WA1IaO/ljOT4jAB+rwCzAUZP+ttnBXShBZltwy4IrWTQ31laCdVX9nGYTSTQN0n0EkN9Umx28apJhK9jbMgExivBH2eBPOyICMYV89ReD70AsarQrta9RUYM5pJYOwT6KSG8Wqxg3E1kWgYL8wExqtAn1eDeVmYGYxnCT4fegHjV4R2jeorMGY0k8DYJ9BJDeM1YgvjWcLDeFEmMH4F6PMaMC+LDGFcXfQBJ1mMgFj26oBz39C+UvWVPWxGMwnU95XmHrZPpGuNSR9wWk3I6K/lzKQ47Av6/EowF0D8kh9wknv4YCx7URz2a2n7qxQHRjNJcdhPmsXB67vWmPQBp9WEjP4mvUyKw36gz2vBXJDxs97G0X6Dur2AerV9coDqK9s4jGYSqPvAOamhfoDYbeOsDVr0Ns7iTGC8P+jzAWBeFmcE4xnShA1ltwy4IrWTw/hVoV2n+gqMGc0kMPYJdFLDeJ3YwbiaSDSMl2QC41eBPq8D87IkMxjPFnw+9ALGrw7tgaqvwJjRTAJjn0AnNYwPFFsYzxYexkszgfGrQZ8PBPOy1BDG1UUfcJLFCIhlrw44Dwrtwaqv7GEzmkmgfpA097B9Il1rTPqA02pCRn8tZybF4SDQ54PBXADxS37AuRbUAmPZi+JwSGgPVX2lODCaSYrDIdIsDj6RrjUmfcC5VmwmZCwo98mkOBwC+nwomAsyftbbOIdKE1qU3TLgitRODvXXhPYw1Ve2cRjNJFD3CXRSQ/0wsdvGqSYSvY2zLBMYvwb0+TAwL8sygvFMacKGslsGXJHayWH82tCuV30FxoxmEhj7BDqpYbxe7GBcTSQaxiOZwPi1oM/rwbyMZAbjOfx86AWMXxfaw1VfgTGjmQTGPoFOahgfLrYwniM8jMcygfHrQJ8PB/MyZgjj6qIPOMliBMSyVwecR4T2SNVX9rAZzSRQP0Kae9g+ka41Jn3AaTUho7+uNZPicATo85FgLoD4JT/gJPfwwVj2ojgcFdqjVV8pDoxmkuJwlDSLg0+ka41JH3BaTcjor2vNpDgcBfp8NJgLMn7W2zhHSxNalN0y4IrUTg7114d2g+or2ziMZhKo+wQ6qaG+Qey2caqJRG/jTGYC49eDPm8A8zKZEYx3kCZsKLtlwBWpnRzGbwjtMaqvwJjRTAJjn0AnNYyPETsYVxOJhvHqTGD8BtDnY8C8rM4MxsOCz4dewPiNoT1W9RUYM5pJYOwT6KSG8bFiC+Nh4WG8JhMYvxH0+VgwL2sMYVxd9AEnWYyAWPbqgPO40B6v+soeNqOZBOrHSXMP2yfStcakDzitJmT017VmUhyOA30+HswFEL/kB5zkHj4Yy14UhxNCe6LqK8WB0UxSHE6QZnHwiXStMekDTqsJGf11rZkUhxNAn08Ec2EVP7ognAjG7yRAa2TTqs0jmzaOz5ABE174V94ncVoj2t6T1f3MVu78Vc0DA1iOSmucdhxNYWqVpJMNdE8R7slv5fcpfI4aQOlyTMsHdGpbDbW3jaEBtTG0m1Rf2b9mNJOsZn0CndSr2U1ittWxbTW2UbjJvwmMSYoPqtBwAv3vBZA2h3ZK9ZWX14xmEiBtlubLa59I1xqTfnmtJ1Es3DYLB7cpyQ9IpM0DzM0OSFtCe6rqKyskRjMJkHwCndRAOlXsgaQnUSyQtggHpFMlPyCRNg8wNzsgvSm0p6m+AiRGMwmQfAKd1EA6TeyBpCdRLJDeJByQTpP8gETaPMDc7ID05tCervoKkBjNJEDyCXRSA+l0sQeSnkSxQHqzcEA6XeyARIOovDG7OYaG0ltCe4bqK1BiNJNAySfQSQ2lM8R+Y/stwoHkDDAmv4k3KI/EXaMgSEfBWPYCbmeG9q2qr2ySM5pJ4HamNDfJfSJda0x6xWU1IaN/pXaazeSmi8OZoM9vBXNxQILiAE+yMdD/XgD9baE9S/WV1SqjmQToPoFOaqCfJeZAb0yiWLi9TTi4nSX5AYm0eYC52QHp7aE9W/UVIDGaSYDkE+ikBtLZYg8kPYligfR24YB0tuQHJNLmAeZmB6R3hPYc1VeAxGgmAZJPoJMaSOeIPZD0JIoF0juEA9I5YjO56T28c0CfzwW0prZs2TIx9cufQn/GE1b4A5ZzOa3Gx4Z+S92Xjw1Fap4bAkrrvlO4J7+V3+/kc2T6sSEyptanq17PooLLgCtSO/lq7F2hPU/1ldUYo5lkNeYT6KRejZ0n9qer7xJu8p8HxmR+hqerw6AWGMtewO380L5b9ZXTVUYzCdzOl+bpqk+ka41Jn65aTchYUK7L5HT1fNDnd4O5WJdhcZgGxnJIOg3w5MXhgtC+R/WV4sBoJikOF0izOPhEutaYdHGwmpCxWgdmUhwuAH1+D5hXIH7JvxuQLI5gLHtRHC4M7VbVV4oDo5mkOFwozeKwVeyLg9WEjAXlwZkUhwtBn7eCuSDjl6o4TAdjOUs6DfDkxeGi0L5X9ZXiwGgmKQ4XSbM4+ES61ph0cbCakLFah2ZSHC4CfX4vmFcgfslfOWwFtcBY9qI4XBza96m+UhwYzSTF4WJpFgefSNcaky4OW8VmQsaC8rBMisPFoM/vA3NBxs/6XTL+uT5L6VN2y4ArUjs51N8f2ktUX3mXDKOZBOo+gU5qqF8i9u+Seb9wULoEjMmiDLczSCiDsewF3C4N7QdUX1mxMppJ4HapNFesPpGuNSa9YrWakLGgXJ/JivVS0OcPgLlYn2FxKHvdfDyr67LQflD1leLAaCYpDpdJszj4RLrWmDTcLhNuQn4QjEmOe7Uk3MFY9gJul4f2Q6qvwI3RTAK3y6UJN59I1xqTXvlaTchYUB6eycr3ctDnD4G5IOOXqjjMAGM5WzoN8OTF4YrQflj1leLAaCYpDldIszj4RLrWmHRxsJqQsVpHZlIcrgB9/jCYVyB+yV85kMURjGUvisOVof2I6ivFgdFMUhyulGZx8Il0rTHp4mA1IWNBeXQmxeFK0OePgLkg42f9Lg+vPVvpU3bLgCtSOznUPxraq1RfeZcHo5kE6j6BTmqoXyX2e90fFQ5KV4ExWZrhdgYJZTCWvYDb1aH9mOorK1ZGMwncrpbmitUn0rXGpFesVhMyFpQbMlmxXg36/DEwFxsyLA5lr5uNpy4O14T246qvFAdGM0lxuEaaxcEn0rXGpOF2jXAT8uNgTHLcqyXhDsayF3C7NrSfUH0FboxmErhdK024+US61pj0ytdqQsaC8phMVr7Xgj5/AswFGb9UxWEmGMs50mmAJy8O14X2k6qvFAdGM0lxuE6axcEn0rXGpIuD1YSM1To2k+JwHejzJ8G8AvFL/sqBLI5gLHtRHK4P7Q2qrxQHRjNJcbhemsXBJ9K1xqSLg9WEjAXl8ZkUh+tBn28Ac2EVP7og3ADG70ZAy//U1+axqakZMmDCC/8Olxs5rcZPff22ui8/9RWpeWMIKK37KeGe/FZ+f4rPkelPfZEx3d6qmLaZAP+WcA0wN7uV7E2h/bTqKytZRjPJSvYmaa5kfSJda0x6JQusJLat6m4SDiKfFpvJ3V6JxdpJ+vwZMK8iPHC93mcG6Mb6fSK86qb99kC5ycDvk7r9ao38VaHqGtW5jrXr5Ezi91kwfuBzZpSMX6pXfmAsG6/8fkfdl1d+kZqfDQGldT8n3X7l5/3+HJ8j01d+dEyri16oThObghar9XnJD6Kkzdre31X3BaKRmp8PAaV1b5ZuQ9T7fTOfo/8XorFxuNnIzi7/QAkJ0S9IfhAlbdb2/p66LxCN1PxCCCite4t0G6Le71v4HJlC9BbJA6Lkh5RIiH5R8oMoabO29/fVfYFopOYXQ0Bp3Vul2xD1ft/K58gUordKHhAl315LQvRLkh9ESZu1vX+g7gtEIzW/FAJK694m3Yao9/s2PkemEL1N8oDoDtJNiH5Z8oMoabO29w/VfYFopOaXQ0Bp3dul2xD1ft/O58gUordLHhAlD5bIH23+iuQHUdJmbe8fqfsC0UjNr4SA0rp3SLch6v2+g8+RKUTvkDwgSh4skRD9quQHUdJmbe8fq/sC0UjNr4aA0rp3Srch6v2+k8+RKUTvlDwgSh4skRD9muQHUdJmbe+fqPsC0UjNr4WA0rp3Sbch6v2+i8+RKUTvkjwgSh4skRD9uuQHUdJmbe+fqvsC0UjNr4eA0rp3S7ch6v2+m8+RKUTvljwgSh4skRD9huQHUdJmbe+fqfsC0UjNb4SA0rr3SLch6v2+h8+RKUTvkTwgSh4skb8T+U3JD6KkzdreP1f3BaKRmt8MAaV175VuQ9T7fS+fI1OI3it5QJQ8WCIh+i3JD6Kkzdrev1D3BaKRmt8KAaV175NuQ9T7fR+fI1OI3id5QLSrv1j+bckPoqTN2t6/VPcFopGa3w4BpXXvl25D1Pt9P58jU4jeL3lAlDxYIiH6HckPoqTN2t6/UvcFopGa3wkBpXUfkG5D1Pv9AJ8jU4g+IHlAlDxYIiH6XckPoqTN2t6/VvcFopGa3w0BpXUflG5D1Pv9IJ8jU4g+KHlAlDxYIn+a6nuSH0RJm7W9f6PuC0QjNb8XAkrrPiTdhqj3+yE+R6YQfUjygCh5sERC9PuSH0RJm7W9f6vuC0QjNb8fAkrrPizdhqj3+2E+R6YQfVjygCh5sERC9AeSH0RJm7W9f6fuC0QjNX8QAkrrPiLdhqj3+xE+R6YQfUTygGhXf2n67yU/iJI2a3t/qO4LRCM1fZJ+aKD7qHQbot7vR/kcmUL0UckDouTBEgnRH0l+ECVt1vb+g7ovEI3U/FEIKK37mHQbot7vx/gcmUL0MckDouTB0jCo9WPJD6Kkzdref1T3BaKRmj8OAaV1H5duQ9T7/TifI1OIPi55QJQ8WCIh+hPJD6Kkzdref1L3BaKRmj8JAaV1n5BuQ9T7/QSfI1OIPiF5QJQ8WCIh+lPJD6Kkzdref1b3BaKRmj8NAaV1n5RuQ9T7/SSfI1OIPil5QJQ8WCIh+jPJD6Kkzdref1H3BaKRmj8LAaV1n5JuQ9T7/RSfI1OIPiV5QJQ8WCIh+nPJD6Kkzdref1X3BaKRmj8PAaV1n5ZuQ9T7/TSfI1OIPg3aOVfZ6CePfzL7yeQB6CeO/x5P/5FLfzruQfasX/ybK8+8/g9ISBfYqyICAA==
+H4sIAAAAAAAA/+2dCZBdRRWG/yxMkjEixAgYQ2whxoAY35vJJJMYJMTIZoxsRmQnyQQRQRFBBZEgCrLvO8gmCIIgCIIgCIIgCIIgCCIgCIIgiJZlWZZlySn65Z57edGy+j/t7Vt9q1J9X1fm77O8/k6/7rcsGQb8+dV/ckkz3LdOPR5eeTyi8nhk5fEq/vEqr8muaPXfj/T9nb6eisaoyuPRlcdjKo971ZjD1Jg9Xmu0/5te9TdvqGiM9Y9H+H9Qdss117etsKvd6+0AV7eFLlegdttQe8UYw5XmG327quob49vOc1GuHpWbTq7kObWx+rthqh2mNDZWf9Pt/wxbic4Y1TdC2dkDekxaPaA/71qrKk22we3OJJIEOhSTalX/GLCbSFXd/taM6dOHZvYNtfvbu7X6Zi0eHGhNH1g8Y7A92B4YHFjaN9jfPzQ4fXDmrMWzZrZmtaf3D7WXDczqX+aF/wKbSTmCY2eft7P9RqLPqxLzwoyfNYytJjC6XIHa0WH8Jt+upvoyjDmaUWAsCXQoYLwa7GDc4xPAhvFfkQaM30T0eTViXpjxq8K4cw0nP5d66xVLS/BGh/rqvh2n+v4XqK+j/m5lUF8H/x3q3XQy1Fd+rYD66iqY8lgS6SpjjiCPbTUhQ7X+hjSKw+pEn8cR80qI3wqAWa/Ux6EMLZJuI6D+Zt+OV315pc7RjAJ1SaBDAfXxsFupdyYSe6X+d6QB4zcTfR5PzAszftYwFr9HgT4fGgHjt/h2DdWXYczRjAJjSaBDAeM1YAdjmUTjwYfxP5AGjN9C9HkNYl6Y8Yu1bTKuXrFs1LbJmr5dS/XlbROOZhSor4nytokk0lXGZG+bWE3IUK1/Io3isCbR57WIeSXEL9q2yVooQ4uk2wiov9W3E1RfXqlzNKNAXRLoUEB9AuxW6p2JxF6p/wtpwPitRJ8nEPPCjJ81jMXv0aDPh0bA+G2+naj6Mow5mlFgLAl0KGA8EXYwlkk0AXwYiyDJRlMYv43o80RiXpjxi7Vtsla9YtmobZO1fTtJ9eVtE45mFKivjfK2iSTSVcZkb5tYTchQreGJFIe1iT5PIuaVEL9o2yaTUIYWSbcRUH+7b53qyyt1jmYUqEsCHQqoO9it1DsTib1SH5kIjN9O9NkR88KMnzWMxe8x/PnQCBi/w7d6hZthzNGMAmNJoEMB43VgB2P9sWmtGwqmnkRg/A6iz+sQ89JjCOPOxd42mVSvWDZq22Rd305WfXnbhKMZBerrorxtIol0lTHZ2yZWEzJUa3QixWFdos+TiXklxC/atslklKFF0m0E1N/p2ymqL6/UOZpRoC4JdCigPgV2K/XORGKv1HsTgfE7iT5PIeaFGT9rGIvf+YumijE0jN/l26mqL8OYoxkFxpJAhwLGU2EHY5lEU8CH8dhEYPwuos9TiXkZawjjzsXeNplcr1g2attkPd+ur/rytglHMwrU10N520QS6SpjsrdNrCZk8DfyJVIc1iP6vD4xr4T4lbZNXvfkB3+hQfS/pe19t7of6dvhXZ4TBuBoozJONY6mYLFK0rsNdDcAbyJZ+b0BP0clONU5ptYv1yW+6xvHl6QdfWX3Ht9OU3355TpHM8rKThLoUKzspsHu5XpnIrFfrq+WyIrsPUSfpxHzwoyfNYynoTwpWHajyxWoHR3G7+1oqr4MY45mFBhLAh0KGLdgB2PRmwY+jMclAuP3En1uEfMyLiEYi17+kv5iDA3jzuvrPtWXYczRjAJjSaBDAeM+2MK4W6CCvwYzERi3iT73EfMy3hDGnWs4OefMYkSIZaMOsvp9O1315YMsjmYUqPejfJAliXSVMUlwM5+Qwd9cl0hx6Cf6PJ2YC0L8Vvr+385VLQ6tsIt5kNUmxrIRxWHAtzNUXy4OHM0oxWEA5eIgiXSVMdnvcrCakMFfy5lIcRgg+jyDmAtm/Ky3cWagDC2W3ehyBWpHh/pM3w6qvryNw9GMAnVJoEMB9UHYbeN0JhJ7G2dCIjCeSfR5kJiXCQnBeBDlt4Cx7EaXK1A7Ooxn+Xa26ssw5mhGgbEk0KGA8WzYwbgDezaMJyYC41lEn2cT8zIxIRjLcyj/nFYxhobx+3w7R/VlGHM0o8BYEuhQwHgObGE8CnwYT0oExu8j+jyHmJdJhjDuXOwDTmYxIsSyUQecG/r2/aov72FzNKNAfUOU97Alka4yJvuA02pCBn8tZyLFYUOiz+8n5oIQv+gHnMw9fGIsG1EcNqpoy5WLA0czSnHYCOXiIPquMib7gNNqQgZ/k14ixWEjos9ziblgxs96G0f7TdRtBNQ72yfzVF/exuFoRoG6BM6hgPo82G3jzPVa7G2cyYnAeGOiz/OIeZmcEIznVfRZdqPLFagdHcYf8O181ZdhzNGMAmNJoEMB4/mwg7EkYR74MJ6SCIw/QPR5PjEvUxKCsWjnH74txtAw/qBvN1F9GcYczSgwlgQ6FDDeBLYwHg0+jKcmAuMPEn3ehJiXqYYw7lzsA05mMSLEslEHnJv6djPVl/ewOZpRoL4pynvYkkhXGZN9wGk1IYO/ljOR4rAp0efNiLkgxC/6AedcohYxlo0oDpv7dgvVl4sDRzNKcdgc5eIgiXSVMdkHnHNhMyFDQblBIsVhc6LPWxBzwYyf9TbOFihDi2U3ulyB2tGh/iHfLlB9eRuHoxkF6pJAhwLqC2C3jdOZSOxtnGmJwPhDRJ8XEPMyLSEYi98jQZ8PjYDxh327UPVlGHM0o8BYEuhQwHgh7GAsCV8APoxbicD4w0SfFxLz0koIxvIcGsOfD42A8Ud8u6XqyzDmaEaBsSTQoYDxlrCF8RjwYdyXCIw/QvR5S2Je+gxh3LnYB5zMYkSIZaMOOLfy7daqL+9hczSjQH0rlPewJZGuMib7gNNqQgZ/XWsixWEros9bE3NBiF/0A07mHj4xlo0oDtv4dlvVl4sDRzNKcdgG5eIgiXSVMdkHnFYTMvjrWhMpDtsQfd6WmAtm/Ky3cbZFGVosu9HlCtSODvWP+naR6svbOBzNKFCXBDoUUF8Eu22czkRib+MMJgLjjxJ9XkTMy2BCMBa/VwF9PjQCxh/z7XaqL8OYoxkFxpJAhwLG28EOxjKJFoEP49mJwPhjRJ+3I+ZldkIwludQL+jzoREw/rhvt1d9GcYczSgwlgQ6FDDeHrYw7gUfxnMSgfHHiT5vT8zLHEMYdy72ASezGBFi2agDzh18u6Pqy3vYHM0oUN8B5T1sSaSrjMk+4LSakMFf15pIcdiB6POOxFwQ4hf9gJO5h0+MZSOKw06+3Vn15eLA0YxSHHZCuThIIl1lTPYBp9WEDP661kSKw05En3cm5sIqfuyCsDMxfrsQtFpLZi1tLVncPwJdJjz4r7x34Wm1tL27qvuRldzJ1ZkHBrBsozJONY6mMLVK0q4GuruB9+S38ns3fo5KQKlzTPMHdApbDbVXjKEBtdi3S1Rf3r/maEZZzUoCHYrV7BKYbXWsWI0tBm/yLyHGJMYHVdhwIvrfCCAt9e2Q6ssvrzmaUYC0FOWX15JIVxmT/fJaT6JQuC0FD25DSA9ITJu7mJsckJb5dnfVl1dIHM0oQJIEOhRA2h32QNKTKBRIy8AD0u5ID0hMm7uYmxyQPuHbPVRfBhJHMwqQJIEOBZD2gD2Q9CQKBdInwAPSHkgPSEybu5ibHJA+6ds9VV8GEkczCpAkgQ4FkPaEPZD0JAoF0ifBA9KesAMSG0T5jdnlMTSUPuXbvVRfhhJHMwqUJIEOBZT2gv3G9qfAA8lexJj8P96g3Aq72kSQtomxbATc9vbtp1Vf3iTnaEaB294ob5JLIl1lTPaKy2pCBv9K7TCbyc0uDnsTff40MRfzIhQH8iTrI/rfCKB/xrf7qL68WuVoRgG6JNChAPo+MAd6aRKFwu0z4MFtH6QHJKbNXcxNDkif9e2+qi8DiaMZBUiSQIcCSPvCHkh6EoUC6bPgAWlfpAckps1dzE0OSJ/z7X6qLwOJoxkFSJJAhwJI+8EeSHoShQLpc+ABaT/YTG72Ht5+RJ/3J2gNLVu2bGDotZ9Cf90TFvwDlv15WqWPDX1e3eePDQVq7u8Dytb9AnhPfiu/v8DPkenHhpgxtT5dFT2LCo4uV6B29NXYF317gOrLqzGOZpTVmCTQoViNHQD709Uvgjf5DyDGZHyCp6u9RC1iLBsBtwN9+yXVl09XOZpR4HYgyqerkkhXGZN9umo1IUNBOT+R09UDiT5/iZiL+QkWh2HEWPag1gCPXhwO8u2XVV8uDhzNKMXhIJSLgyTSVcZkFwerCRmqtUkixeEgos9fJuaVEL/o3w3ILI7EWDaiOBzs2+WqLxcHjmaU4nAwysVhOeyLg9WEDAXlZokUh4OJPi8n5oIZv1jFYTgxlqNQa4BHLw6H+PYrqi8XB45mlOJwCMrFQRLpKmOyi4PVhAzV2iKR4nAI0eevEPNKiF/0Vw7LiVrEWDaiOBzq26+qvlwcOJpRisOhKBcHSaSrjMkuDsthMyFDQbkgkeJwKNHnrxJzwYyf9btk5Lk+Sumz7EaXK1A7OtS/5tvDVF9+lwxHMwrUJYEOBdQPg/27ZL4GHpQOI8ZkUoLbGUwoE2PZCLgd7tuvq768YuVoRoHb4SivWCWRrjIme8VqNSFDQbkwkRXr4USfv07MxcIEi0Pe6+bHs3Md4dsjVV8uDhzNKMXhCJSLgyTSVcZkw+0I8CbkkcSYpLhXy4Q7MZaNgNtRvj1a9WW4cTSjwO0olOEmiXSVMdkrX6sJGQrKLRNZ+R5F9PloYi6Y8YtVHEYQYzkatQZ49OJwjG+PVX25OHA0oxSHY1AuDpJIVxmTXRysJmSo1taJFIdjiD4fS8wrIX7RXzkwiyMxlo0oDsf59njVl4sDRzNKcTgO5eIgiXSVMdnFwWpChoJy20SKw3FEn48n5oIZP+t3eYj2aKXPshtdrkDt6FA/wbcnqr78Lg+OZhSoSwIdCqifCPu97hPAg9KJxJhMTXA7gwllYiwbAbeTfHuy6ssrVo5mFLidhPKKVRLpKmOyV6xWEzIUlIsSWbGeRPT5ZGIuFiVYHPJeNzeeujic4ttTVV8uDhzNKMXhFJSLgyTSVcZkw+0U8CbkqcSYpLhXy4Q7MZaNgNtpvj1d9WW4cTSjwO00lOEmiXSVMdkrX6sJGQrK7RJZ+Z5G9Pl0Yi6Y8YtVHEYSYzkGtQZ49OJwhm/PVH25OHA0oxSHM1AuDpJIVxmTXRysJmSo1vaJFIcziD6fScwrIX7RXzkwiyMxlo0oDmf59mzVl4sDRzNKcTgL5eIgiXSVMdnFwWpChoJyx0SKw1lEn88m5sIqfuyCcDYxfucQtOSnvpb2DQ2NQJcJD/47XM7haZV+6usb6j7/1Feg5jk+oGzdc8F78lv5fS4/R6Y/9cWM6cpWxWybGeBf5q8u5ia3kj3Pt+ervryS5WhGWcmeh/JKVhLpKmOyV7KElcSKVd154EHkfNhM7upKLNROps8XEPMK8IErehd00Q31e2fyqpvttwDlPAO/d6n3qzXmrwp1rrbOdahduyYSvwuJ8SM+Z9rM+MV65UeMZemV3zfVfX7lF6h5oQ8oW/ci1PuVn/h9ET9Hpq/82DHtXOyF6jDYFLRQrYuRHkSZNmt7v6XuM0QDNS/2AWXrXoJ6Q1T8voSfo/8I0dA4XGJkZ51/oIQJ0UuRHkSZNmt7v63uM0QDNS/1AWXrXoZ6Q1T8voyfI1OIXoY0IMr8kBITopcjPYgybdb2fkfdZ4gGal7uA8rWvQL1hqj4fQU/R6YQvQJpQJT59lomRK9EehBl2qzt/a66zxAN1LzSB5StexXqDVHx+yp+jkwhehXSgOgqqCdEr0Z6EGXarO39nrrPEA3UvNoHlK17DeoNUfH7Gn6OTCF6DdKAKPNgifmjzdciPYgybdb2fl/dZ4gGal7rA8rWvQ71hqj4fR0/R6YQvQ5pQJR5sMSE6PVID6JMm7W9P1D3GaKBmtf7gLJ1b0C9ISp+38DPkSlEb0AaEGUeLDEheiPSgyjTZm3vD9V9hmig5o0+oGzdm1BviIrfN/FzZArRm5AGRJkHS0yI3oz0IMq0Wdv7I3WfIRqoebMPKFv3FtQbouL3LfwcmUL0FqQBUebBEhOityI9iDJt1vb+WN1niAZq3uoDyta9DfWGqPh9Gz9HphC9DWlAlHmwxPydyNuRHkSZNmt7f6LuM0QDNW/3AWXr3oF6Q1T8voOfI1OI3oE0IMo8WGJC9E6kB1Gmzdren6r7DNFAzTt9QNm6d6HeEBW/7+LnyBSidyENiNb1F8vvRnoQZdqs7f2Zus8QDdS82weUrXsP6g1R8fsefo5MIXoP0oAo82CJCdF7kR5EmTZre3+u7jNEAzXv9QFl696HekNU/L6PnyNTiN6HNCDKPFhiQvR+pAdRps3a3l+o+wzRQM37fUDZug+g3hAVvx/g58gUog8gDYgyD5aYP031INKDKNNmbe8v1X2GaKDmgz6gbN2HUG+Iit8P8XNkCtGHkAZEmQdLTIg+jPQgyrRZ2/srdZ8hGqj5sA8oW/cR1Bui4vcj/ByZQvQRpAFR5sESE6KPIj2IMm3W9v5a3WeIBmo+6gPK1n0M9Yao+P0YP0emEH0MaUC0rr80/RukB1Gmzdrex9V9hmigpiTpcQPdJ1BviIrfT/BzZArRJ5AGRJkHS0yIPon0IMq0Wdv7W3WfIRqo+aQPKFv3KdQbouL3U/wcmUL0KaQBUebBUi9R62mkB1Gmzdre36n7DNFAzad9QNm6z6DeEBW/n+HnyBSizyANiDIPlpgQfRbpQZRps7b39+o+QzRQ81kfULbuc6g3RMXv5/g5MoXoc0gDosyDJSZEn0d6EGXarO39g7rPEA3UfN4HlK37AuoNUfH7BX6OTCH6AtKAKPNgiQnRF5EeRJk2a3v/qO4zRAM1X/QBZeu+hHpDVPx+iZ8jU4i+hDQgyjxYYkL0ZaQHUabN2t4/qfsM0UDNl31A2bqvoN4QFb9f4efIFKKvEO0cq2yUySNPZplMAkCZOPI9nvKRSzkdF5C94dV/Y/H669/GWRU+qyICAA==