From 3098347da2a0f8926e2571a6972ad1e82f92ed4c Mon Sep 17 00:00:00 2001 From: didericis Date: Sun, 12 Apr 2026 22:23:55 -0400 Subject: [PATCH] Initial commit --- .gitmodules | 3 + ams-latex-template | 1 + paper.aux | 7 +++ paper.fdb_latexmk | 48 +++++++++++++++ paper.fls | 147 ++++++++++++++++++++++++++++++++++++++++++++ paper.log | 149 +++++++++++++++++++++++++++++++++++++++++++++ paper.pdf | Bin 0 -> 64345 bytes paper.synctex.gz | Bin 0 -> 1625 bytes paper.tex | 89 +++++++++++++++++++++++++++ 9 files changed, 444 insertions(+) create mode 100644 .gitmodules create mode 160000 ams-latex-template create mode 100644 paper.aux create mode 100644 paper.fdb_latexmk create mode 100644 paper.fls create mode 100644 paper.log create mode 100644 paper.pdf create mode 100644 paper.synctex.gz create mode 100644 paper.tex diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..8fe2f4d --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "ams-latex-template"] + path = ams-latex-template + url = ssh://git@gitea.dideric.is/didericis/ams-latex-template.git diff --git a/ams-latex-template b/ams-latex-template new file mode 160000 index 0000000..2aebb46 --- /dev/null +++ b/ams-latex-template @@ -0,0 +1 @@ +Subproject commit 2aebb46d6a61d782f02a9828ac412d5c4546ecc4 diff --git a/paper.aux b/paper.aux new file mode 100644 index 0000000..05a181d --- /dev/null +++ b/paper.aux @@ -0,0 +1,7 @@ +\relax +\newlabel{tocindent-1}{0pt} +\newlabel{tocindent0}{0pt} +\newlabel{tocindent1}{0pt} +\newlabel{tocindent2}{0pt} +\newlabel{tocindent3}{0pt} +\gdef \@abspage@last{1} diff --git a/paper.fdb_latexmk b/paper.fdb_latexmk new file mode 100644 index 0000000..3e26c02 --- /dev/null +++ b/paper.fdb_latexmk @@ -0,0 +1,48 @@ +# Fdb version 3 +["pdflatex"] 1776046763 "/Users/didericis/Code/magnum-opus-4ct/paper.tex" "paper.pdf" "paper" 1776046763 + "/Users/didericis/Code/magnum-opus-4ct/paper.tex" 1776046763 2179 8055ca3cd1baeac7b377564e439027b4 "" + "/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1246382020 924 9904cf1d39e9767e7a3622f2a125a565 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1246382020 940 75ac932a52f80982a9f8ea75d03a34cf "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1136768653 1328 c834bbb027764024c09d3d2bf908b5f0 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm" 1136768653 1300 63a6111ee6274895728663cf4b4e7e81 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti8.tfm" 1136768653 1504 1747189e0441d1c18f3ea56fafc1c480 "" + "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm" 1136768653 768 d7b9a2629a0c353102ad947dc9221d49 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1248133631 34811 78b52f49e893bcba91bd7581cdc144c0 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb" 1248133631 32001 6aeea3afe875097b1eb0da29acd61e28 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1248133631 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb" 1248133631 32726 0a1aea6fcd6468ee2cf64d891f5c43c8 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb" 1248133631 35660 fb24af7afbadb71801619f1415838111 "" + "/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb" 1248133631 24287 6b803fa9eb1ddff9112e00519b09dd9e "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls" 1591045760 61881 a7369c346c2922a758ae6283cc1ed014 "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1359763108 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd" 1359763108 961 6518c6525a34feb5e8250ffa91731cff "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd" 1359763108 961 d02606146ba5601b5645f987c92e6193 "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1622667781 2222 da905dc1db75412efd2d8f67739f0596 "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty" 1622667781 4173 bc0410bcccdff806d6132d3c1ef35481 "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty" 1636758526 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty" 1636758526 4128 8eea906621b6639f7ba476a472036bbe "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty" 1636758526 2444 926f379cc60fcf0c6e3fee2223b4370d "" + "/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1644269979 29921 d0acc05a38bd4aa3af2017f0b7c137ce "" + "/usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf" 1646502317 40171 cdab547de63d26590bebb3baff566530 "" + "/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1647878959 4410336 7d30a02e9fa9a16d7d1f8d037ba69641 "" + "/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1665017617 2826443 7e98410c533054b636c6470db83a27bc "" + "/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c "" + "paper.aux" 1776046763 168 23aeeb56264b611b42959e54d96db7ab "pdflatex" + "paper.tex" 1776046763 2179 8055ca3cd1baeac7b377564e439027b4 "" + (generated) + "paper.aux" + "paper.log" + "paper.pdf" diff --git a/paper.fls b/paper.fls new file mode 100644 index 0000000..90f7e41 --- /dev/null +++ b/paper.fls @@ -0,0 +1,147 @@ +PWD /Users/didericis/Code/magnum-opus-4ct +INPUT /usr/local/texlive/2022/texmf.cnf +INPUT /usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf +INPUT /usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt +INPUT /Users/didericis/Code/magnum-opus-4ct/paper.tex +OUTPUT paper.log +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT ./paper.aux +INPUT paper.aux +INPUT paper.aux +OUTPUT paper.aux +INPUT /usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmti8.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm +INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm +OUTPUT paper.pdf +INPUT /usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map +INPUT paper.aux +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb +INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb diff --git a/paper.log b/paper.log new file mode 100644 index 0000000..e99ab96 --- /dev/null +++ b/paper.log @@ -0,0 +1,149 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 12 APR 2026 22:19 +entering extended mode + restricted \write18 enabled. + file:line:error style messages enabled. + %&-line parsing enabled. +**/Users/didericis/Code/magnum-opus-4ct/paper.tex +(/Users/didericis/Code/magnum-opus-4ct/paper.tex +LaTeX2e <2021-11-15> patch level 1 +L3 programming layer <2022-02-24> (/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +Document Class: amsart 2020/05/29 v2.20.6 +\linespacing=\dimen138 +\normalparindent=\dimen139 +\normaltopskip=\skip47 +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2021/10/15 v2.17l AMS math features +\@mathmargin=\skip48 + +For additional information on amsmath, use the `?' option. +(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2021/08/26 v2.01 AMS text + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks16 +\ex@=\dimen140 +)) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen141 +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2021/08/26 v2.02 operator names +) +\inf@bad=\count185 +LaTeX Info: Redefining \frac on input line 234. +\uproot@=\count186 +\leftroot@=\count187 +LaTeX Info: Redefining \overline on input line 399. +\classnum@=\count188 +\DOTSCASE@=\count189 +LaTeX Info: Redefining \ldots on input line 496. +LaTeX Info: Redefining \dots on input line 499. +LaTeX Info: Redefining \cdots on input line 620. +\Mathstrutbox@=\box50 +\strutbox@=\box51 +\big@size=\dimen142 +LaTeX Font Info: Redeclaring font encoding OML on input line 743. +LaTeX Font Info: Redeclaring font encoding OMS on input line 744. +\macc@depth=\count190 +\c@MaxMatrixCols=\count191 +\dotsspace@=\muskip16 +\c@parentequation=\count192 +\dspbrk@lvl=\count193 +\tag@help=\toks17 +\row@=\count194 +\column@=\count195 +\maxfields@=\count196 +\andhelp@=\toks18 +\eqnshift@=\dimen143 +\alignsep@=\dimen144 +\tagshift@=\dimen145 +\tagwidth@=\dimen146 +\totwidth@=\dimen147 +\lineht@=\dimen148 +\@envbody=\toks19 +\multlinegap=\skip49 +\multlinetaggap=\skip50 +\mathdisplay@stack=\toks20 +LaTeX Info: Redefining \[ on input line 2938. +LaTeX Info: Redefining \] on input line 2939. +) +LaTeX Font Info: Trying to load font information for U+msa on input line 397. + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +) +\copyins=\insert199 +\abstractbox=\box52 +\listisep=\skip51 +\c@part=\count197 +\c@section=\count198 +\c@subsection=\count266 +\c@subsubsection=\count267 +\c@paragraph=\count268 +\c@subparagraph=\count269 +\c@figure=\count270 +\c@table=\count271 +\abovecaptionskip=\skip52 +\belowcaptionskip=\skip53 +\captionindent=\dimen149 +\thm@style=\toks21 +\thm@bodyfont=\toks22 +\thm@headfont=\toks23 +\thm@notefont=\toks24 +\thm@headpunct=\toks25 +\thm@preskip=\skip54 +\thm@postskip=\skip55 +\thm@headsep=\skip56 +\dth@everypar=\toks26 +) +\c@theorem=\count272 + (/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count273 +\l__pdf_internal_box=\box53 +) (./paper.aux) +\openout1 = `paper.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 52. +LaTeX Font Info: ... okay on input line 52. +LaTeX Font Info: Trying to load font information for U+msa on input line 52. + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Trying to load font information for U+msb on input line 52. + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) [1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./paper.aux) ) +Here is how much of TeX's memory you used: + 1710 strings out of 478268 + 23958 string characters out of 5846347 + 316202 words of memory out of 5000000 + 19795 multiletter control sequences out of 15000+600000 + 474133 words of font info for 47 fonts, out of 8000000 for 9000 + 1302 hyphenation exceptions out of 8191 + 69i,5n,76p,280b,204s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on paper.pdf (1 page, 64345 bytes). +PDF statistics: + 38 PDF objects out of 1000 (max. 8388607) + 22 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/paper.pdf b/paper.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a94d363d04844f39a245e3dca1fa458945a37545 GIT binary patch literal 64345 zcma&NQ;aYS%y2ojZQHhO^BLQ=ZQHhO+qP}nGy5*S%_jdQyS-}fPm`uSB~=g+qh+LH zg(96_9$ANCCSV}2Gqi-_;en!;F|jpsHYZ@^g z(F8KwJ`g44)*))sdg&$EJ_ivLM2Tn=c};?-RzL(Lagn@i>&pa#GUQ6 zo0GxhOutfrC?jNyf^2y}oy-^})rAq0muqe{2_-hCsS}bI+a~)>@#7wU2PcNRRfqqe zn_ca5|ERP4G6<6g(^D>#(O6Q83CLg?Cu3xb;gyR71dX_J8L&Zl5DlAnwBfFArKPNN zYViRh6uQX>L~=ynTA#hQn`3G}6_TGcy_c>x*~P*p+#ukx!!-VM;0|D`7(?G5Qd}E> znlQ9JKHoejZ4D#&^$~EGLJ`S(x`I|83X&1kuAlB5ZCj4%I}T6o+BTw@6`7>oE_Rrt zmjT>*rD{0h;$K{f#ft`dP}b1x`>U0%F=JkJ|3%n;+5b)_ zBgg-ODI)mXTodA*eAP7K!wzU8OITLM7DeExYGd(9$4cqv}2-Y>h zdmjx+j$mm#dPXwk@rVNEHGqPB3$VRCAcs3B=Q~J%0021x#XY@neG`GepYN}d%8qXgW5XLkHAPx|aH;rEh@bHb`?5b%g9Ds>(IO_N>X;DT6 zt^lyLDQuwouQ&vl0X4+1Vtmfd&Q8wE@@@$1wKe7BIFNl?s0QG&ARU1jdpzg9+Y|t* zve!I+O#|T)5KB$9&aaxeKP|y+=`2BiRR8QI%<=x?;o+q|oFiDbF}V3SHQ+8sAkHtF z+UJ%(=>42M0FE`zAKY8q+nvBFoF8XaW=6mbt}HH34K58J+Nvu-KQ<;QTR3;4-KD9ejoIhz$bQ|TEFjaNCBRY|+~39A$n?f0;^E+_q0L*D`0Jj5?kLTT zJ{@Fh8#t$ccD&yjxycO-lUGI;`4@kh)fIrN+x;(kW4$Xw+xt#vM-_2bYEVlOwS?{^ zeil07BYp-c1kgSpP=I&$H$Xfxz_Eep$S-$5X&Lc3J?WU;gEV~aZmhnz|A;g;fu0rg z{1kp;TT}%$1b~Ap=!fT@-H0ENF&vzKM++v%J)E({jsG|KXB39<1G{gBpP3cBKi_?b zFAl)|-Cm!3C_M}_IQP28FXP`;;%}bF-(94!_RaP0BJ;P+z2CX)P0bC@UxT|rE%mVpbn*aw z*Z%!pDOY}J{^7bw=}4yX6~O1<&8cV+h31KHa)xb<+b%?#JA%F zeK`33%tK@BDM4JH28_O$6M(R;HURz12M|sF?0BDDavFF)-LKX&`yp_>^sgWgfa`@H zF&}}y&MEvMNd450pf-T(2Y)zvf9*4P&#=mG&^zEYmEXK{DEpt-H$A4xUw#_Q<$pC; z41YLwf9(f&&vX6@c#rYgFZ-d#gc(??7v`PagkSXR^vcG^3E)T6Hoemi`tMZ>PymmB z={R(gK68P7*5&?cmXrgM+iH$t0_7%d4vU!D9q1X`8n<(>@n~e+-CB0ta1wYIV_I7= zCY>I=5|1Z7>k3gY8+m2R_7@MvSe5*BGr?Tk(OV2EPQ==CB4I+KW$*5bhx6kCTyuy` z;H^UbjEm!mxcbakhr?aMOZf$@Ce|-QS5d3hKvnpo0@DOm4XO!(28(Rg8=X~XJQUub zROooH&uIXoj|Xc=4)d!_0m5ALwHMBe>UmAuET$9pQHxUP#Koedh;XsE1ejL@FOT3E zZ9`t60K?hOiPLiCxHg-f`*pvez5HNwAsb>!9#w&pJ!6%GslO69oUB=Fmu6{GPU}WG zlz(h)A=mp3_X)E31>=AMe99dqlhLB+Fd5@yk zBQ;|7%qtE5ZkU$)tI`srCTY7dbh+xKXbSs#5;2xX@8V?;-9iiK?q|=Ohjm_^rj5Rh zkPn~mHLMz_mjcf_q>A|6Ud8GydG4<}&2@Ma)^c6daL+I_))Z)Mm_45Z>FQGs zc+)?%teCPb}@qEd1>ph2H^LS;xmq8SJrWM?ze)+icc##L_%TZSF-{vJM zQZaLw)VV*>(mP!!;ciarP?54WGbIrg#q6cte-W34bl`~}*-~+PnyosBaN9wCj&sh1N!`!fbRaoZ$aBCKGP6UghzrA{a{g_+$B9< zRA$gFQA2KLuvmHHXOObj_)-v(5ur!BC7q&Vb8g!`){PUl94{tY(tMTd*+^ljQ!TgX zch=k{R85KsK&q3GG}gg}(<9|a*X8LRanci=v<9w5J$CdB>9*?fzQstg`TOsVq*pjK(q#9HM@D~K3 z$EM@IsfXD5i!&80Zz6g;0mwE|0lgRq$yV85ml}X@4INFK2_A0flI@*JCk5!{@9t@1 zA5y=6FgcPwzV1n=(ODlAR=UkB>-x_LxOI6@ zYNN4aQzIiP4J;Hp>+22VBKh$w?XKS8d|Z;5(?w4JuX|eyLuqxKR{VO-yBhigSh0h7 z%<1syXM%@;>Mzz=w{KjGt^(az2oF(-bI8`E+fW!d@Fqv0lms@aF8Y$ArN!?5 zXoM82+e7roLrjkp2<1;As<5R3J84w!oP^gh(O+*C)tvXZs#?4bFp#0p$BLLP&vlZl z+At>0;E`1!fdNvVm2b$>XzFHcrR^>;RkH_I=)%sCRhb})%q;5-y#4Q_ogpy*DtvB{31DZ(E@T+-x9u80At|$H;!Mw84QRWQ zc)aq~qhQ^H*Nsw0d+W@jk#bS1BPy)AIQx11>o&e4V3ae zLchVj#2XHU2TiC__ZV?nx^lXwn+i?e)f~Fo;daqhg|u3Tx_KxXTsk6cW3b7<1a_d_ zqO$+z!@13MD*mgEa?fy4Cnuk=&;2<*sCpc+vK{0PZ{5SV=R? z>JH`$y%8}tL|(iZgT{^S%uXE>N@mx-RE&)m4S~+1=O_@^w!pj3m~?r$_Sv>Zpp!9` zJ0^++YQ+xxU|sUr&bF{*G@jR9ydpacpq2Y>@IFgKlv_lAQ&ihB;;0()Szs=r1%D)% zlW{o>Dx3>|;BZq412S*G2ZHT5y39KxoSI8AnCNuNoO;3gi8_!TW2cGl^AZzVwU8&^ zae-riRC5+KtsF01?L;j%S*vw(j}>h4L+C`&mZb(vh83CKLA_r*C}3@X5$2?v>y+-_ zBRf%9sGIUd`XrySJ?6tH6g!xm^zwqV2`?}MR{IPl!8DMdy|!__^W2Cj0R;3%R+9>b>;u}Z zhH*o=D_5-V11EKxjp~`*Y1Nk~on;IX7`~bwC=iAV$eQ=GQpPm7&yJEsNKc-LQUN_7 z@@DU3p$NB4o#|I zuBzaND2;#2=F4*{d+_Ix0c6oAm?0xq{M{fh;kA(LLb;1d*JZKZje6&l6BFiCU8DnZ zi4jaTxHE@BS1B1%zhuY}heEDa(*ble(h#B<*i9WeEiioHD9Z3P;G&!ywB$hFdq<2Z zc_?;{-Q#`CUCu+cIs*7=^A4+`9H5)aWfGUF=8(z;%%g5 zA#fW8$K3jG1Ekx@Cie&PrWqjp3h2+D%R>bv;@-ZE5aA%u0h!RTu*EDob9>`&9N-Wj z*DezU?FH@V>Iw*WIAI>EogC&P5)X5}mT8ZKreetvpL&Jxq@w=X4jUEzmbk8UA zJ$Lh;iPv5F1bxCdr!onw&g>%j`jUZ}D;Gi=$XoiFwt-m}2c4sGl?ZugH}y3L z*QrRA!NC)d!>#@3lAT`QMRffHGIF>zcEM6)KlfpDrY7Zcjc4l>ReP~msj3w=Vc2bK zgDQe_EW3cMg>p~kXn!ARB!9Ma*%;?u)fsK@Vowj%{3>V|-b>@&il#^#bcZh0(hoAw zWI>W5`8z?8!xGXFKcW1W1CD8ca&nh)stn>HyuoS<;0aORgM66{XOlN^DNIRYFiTSF z_{&X?F-3=FR>tsNmwtk(gW0?TAndLQEarv3 z+F~@bNs#iDXs8w=Jb7pQRdM+dQ?rbF5yeGdN;3X-i3GKuEy|X}LvM@!ev*rWd-h-{ z)Q+_6w@dQqZ6~SFVm-2?T}}%X`S!~nhzowo5yeVg>WiRBD1~x=UQnNg@s#a`wR*!s&PP0wfRd@iVHr2Ytn%&>+7R$5e1@&Q z-3Hr8yeEm;@X0?Qw86%3FT?lZj8^57+npTi3}-`}Gn@Lj6CRh$s@p~DkLf0lHvO~{ zN`egCR3I-)M{&6(wqu>0jB&D5I@30&_5v#K5UtB9O!kbxBmph40;qhen2DbNW0+@g$ zT~1-dx3rw4w9`qDM60^^cy^%BI7tU2L*MdU!4A^Q?(U|k4&LJ|Y9D`5()2iYek@<0 z)E<#*X8BqDrJf5J!#9tZ%6Wx#LZkTn(lm!IA#TkJH2K)FKqXO6KE4uTXH5S%Dgio+ z!O=P=Ub6?9YG=8kag`%`({?JxG$Ij<8gNOfSY(c_Ax^ml)r{VLg+CXiM5s@zeOni_ zCkKhP7(UEx_u5bQ3IF(%Q5a%?hjjiz^H;f(e~dWQ8*3&QTe+S18d zSQ7LnmCdtGDfQ&OLEG&EcykG`{CxOsmDi_zA=<^KSyM$UgkH~_i7N95#8GAq1LRGfW5%TEWh=U=gG872 zEV7fP&<0q|-4|uj6~d2&D*!BUioG*J)qsmpvNa@VmTLyARzpGCzEIC5E~P{6l$IK> zh`3og!Wg;GBZ>4FsEd`wxY+gM&Z2&j5~Z!Ajz0W5&86DqN?lg43k2sO=099^fHx$% zv9^4Z%g!vgXK6QEH{@BgTP0E+zA(}Pt`(BE$UrICRr-o9M48wx)?9lb9E!E?r8Dru zA=Fys8)@GbM8-8 znHl?{8qEU08bHF z7?AM0e(lF)RNEx2$-m*Rq@Op?qX0p6y~YW+ioB_Ze63@b}!o0pmQ$Rbl-)Gw+o8L#PS4>Rz-Ra;*tz4Y=CRGh|){g{5 z9SJ7uB+>c~!A*})epoo{)B(WiiBKovaDX*{1w6xTWpV8a9#q{7O_yA2em(V;WLB+O ze7wku?_xJ37NDfmwL9?Idn*+b9hkT-Q9Jz!qk$MT>@>X8dH!E(GJ-jHt5vqC34o5o z_El=%+eg2naxUKTX3%UT$$9nCJf`4U0w{#kIK0?^B~E+dxoo3ACxnBg_IjRQzA6rl z2MNCuDH?Lsr8bzdDfCjL+d#oFS;f17wDdCrD81pzMy={9;=;FMES9Lz*kJiK_q;FE zC{{UNdURWU8#_Jm%KFsmzB@zTJGEPYEoAf*G)ECEAr)9{Bw1UjJ|IKuYO`aci3`KU z{9^S%->Y0>`x-_+hfkOM(DU-Fw7}_rGsq!} zx$xvQ*}|u>_n7{HYEvtY{=GcJ;>^{@(`+I*l%dcpp>{P`!%F6@<&u> zZm{d}2I0wU7hEv6ZCKP$wBC$0wH^+FCV)@xq9%lsuWhpOZaZ)kQ~EfD^&z3S)3Fi) zpSSnU%n+*yot2NG_v^CM1fix<@aE+M>eqI~YsiN|`eq3`>%H}tYoG{TNQU8Xr}Zrh zPbM_QT>6nB-MttxxTLl%xAc`6&DEG0L@d^2E|rI~HAz|q7a#==%T1sW=njNdp3cQL!|zH-ex^+`f-s)<3)fh{#PN?((~Me7sY z5KY}Ep2=9P?E3zk9eF;gK&d*T`(>qgp+lMaCwQFwae5K>sa`<3A;ZY19AdYbiGeMj zEA}O=mxoQmzwuRLmacN;Aa-LH9rhtI7~^FZMV($!S+R$b&&8R}Ty03>^DOhXVGo*$ z#kfGD7$5D^;!TKtSz_DyUF8=k^HT8nu%wN2x^3_tFTN)}u|_Me7%>@JH2B%D(9hUF zAD8b-h`~EEq}MP_ICA;<(aN6MVT&Q26x> z6Shs|S4bpJ!TGgNF`F#Qh#OUMM_p;|ZyZS8sKZ2r@6*~NN(7}t>mFX@R;0mTy!L6q zRE%LYmQsy1(`yA<%!CGzlLYsaDGWhC=-?Oac33qQ&n_!a7&){8No$GN8)L5YIJNt; zi|pE4?b$QLu%HeZeh#v$kp8s*FY(u6-zhiT(^E)GNr2WXWl)+aIkD0aw6>qXTPTN8!D}A<0m>bVN@d1KDS6pZ zs(vO!3To3Vwa|!%y$`mnBo6z#u%=3_L2@dmBi?=aCekv@Di&NBJ`yW9q-%~Ff@(aBB6btzKbp~0TkkZ_V-veN4y^F&D1B62@zt^Kd@37b_y za|>H{p?-Ex7{+t^8x<+QS;wlY@om=U$U9Blx7C~GY~A(mBzzdK+!7mJ!xz;tp%FJ6 z$1W(JOgr*@TBd{cOs`pP6@*thbyja6iF`KcF;=~V>x@>^X4*>;iVc`d;w9#R<9t^Z zZFhVVw5P8KSgE@>UwVhbmdw|Yc`CzB&N*f#WZHMnbaRQdbjNL6tZUWX!j>zCBjV}V ztyV}28NzeT(!+zY!xVqn;`v+47T|`S!Agp**8B@mdK$NTb7k?UqL$I=X6LG~^79(j zcFTSzUKIT8uZR(}{UVXf$3}zuiKv~s<$HF(z(!8Baf)VzzYfZ#YwurD`z5!4Ft*_U zf8)J*OGx`8D!uftWLty?OpBOry@|M6?r9WquWcIvowJW0(Br(xJr zID4IQeU~;Ml`WG5{srvl5|2OBOjwQ)qVX{zs05NWvQ4X}y+|GdCb8CI2RoG%iV{7bX0M(t4EzRccZm zNv-98S)C~PW4XJVdp{}2SM+2yutJRfESF|FamfrmekY@+ZHY&vut!W8C`3+XK&cPA9D(;AJlSM>t#Kau`gn%pR zFhS=1r3}QfQg5W>cFH^wbclTk$dyyoIPh_`DD)o?(@hQ9)LKLdgvqB8X87Z~-ZVS1 zB`R$kj&@1Rp6Jj67P%51Jzkyr4w-rEdK_c>(N8${FkDnetsl8%!Wzg(A~Uchag}u2 zWahVM>n>TwIIIClNlsGUgovvlG7wJ5!i&j@)_jpZE73Q)@det*s9o|Von(;baBMmS zm}1D5oQ?nSsOnx4T)KGs(jrU0wTV4AomI+)EMCC{2k2hsM(bRzD(;EjcnHRQxt_kp zp}3|)ZJy!ltJB}Jn|lB)zY(@2*obaDp)WMpM5cum%L@~F;rX+-qH2*24ZnErTE}=^ zq*RsQ%khIG%Widd=EYJ*b&(gUL(BwgqU$epy^Qit8O9v9t?!T5=IM}av zJd=d)!A`oDd3TBk9bIY>_ylt0WHxADN41SBP&hGmSU3+?Jp6$6n`gRax>qrTt6M>~ z+FA+Q54mEDWWK>x5))Zz{^~#ZPFec=!z3>69hxRd<(QxUBfeWQs}y&f0QDe5B|peW z;#CddkyW$1q~zX8B=}`oZB~_SfLl<~d)$dS7_?K{)ARcJmsZq;?@r@vN*~G{y;CNQ z`+-~g+9uf4gMPe=SX)U!*Lp^{{gKH#(&&oDv(SM%SpG)vSaB3yr|B(8ojroQ`osK& zijjc5mD%e~zQld70j!!mF`QeqbYcYE4P_^1_uVYbl$OchPg|Al3`%cbp<9BMh~{lo zvT?IJMy-cay~oJNGFj@rqkj^I&jHBYwi*O}GgMlob`LqCg&x2u>hs&be^CG}-OXhS z@uKGUMyJ>)T^SB1wNO>0przdGtew4J#^6Qug?{%YkHM&#=SIS-A>Ec6wCa_z-@K}! z37VGNy$LMO@&d{=0PPP63zWvtNjp!NMK^ZaRkH;$AqgW&L`$Lm8^3=|+EpqF2`gXA z1II&Qo(WgjCe94nvlApKOWrJ!lJUr@S7Shq2yg$1Sfe!Q ziqORK{(+{&^E?L&8|u@ipOr%3OrLikHHYRn%-mplR66Zq5{#6c$G0xaDAo>jaDmCa zQtpAlnlyHa>ft-{@AM~lTPEEDQ7CgvWcGgb_-ufRjcuOyAy`Mu!%Jk@CjRQ>L+Q-k ze#GN!OSVaVQc10BS6u~QhpZ3G0#M&cOasNNw3~&n36=%f%SzkMhuj#vb@Cn4G40W) z+Tmd5-To1EqSzK?$PilbWS6<7*}E1*3zG0q{`lb{`l#6H)=XteAvce1y!NSJ$ug9- zeh32;F`PBGs`=5hAhG4yMHZJMR>#qq&Z5UtfIU=ZqF&q?cyJf~RyjJN3Xj(U@fO5g z@q#ux;yaFzeEi?9BJ#Tz{~q{}_>EY^Xh&ouyM9Op{4YavqF6(KLj`fwlDPL~O#Tra}Kr<~5ub>dc`rlLwn z^eO@+dC8P>sR#^<1|Tilm+0&C-u`RB2J3EiPKRNVc{7wf@8&aY%-`op$CgR=E%rxC z(Y!ErDFhGjE@{F8LZ&b@hO-7-3u5#^FJcc$8zMq}fU?`peDN_DmN@@nWX5RQbId&s z&fJD5pcdkIUIK}O0;)A;_K>g%^s^%rsJ-N-x1u7jSWmU5ao2rsghFxZQV`9V7ML`7 zf8&EFnFZLyimXT`r;%DeJcUAO;spu91B<3L6~pwp#WCb0e`qcm|bo4~T}BW07Z zJN1R;4G~jbOxd7_V*V{QY?LetKA|YF*dqPjwGLUD6&vJkLamkVw;}p)Yx+1cy3Fz+ zH*bXbGRjx{G1k~hcWI4}6EiF7pg8-2u#K$}c(8U?OsTuprwf;HC>35gn31o5SPX?V zV_DmyBg0Wa&+T*{{LC7SN3_G@c09VhY3{%%zr>PJ>knEE$=aEz5DWWQ33_42QG+B3 zyy&y#EPSuPGj7L^5Yq$h%{m^9^#=ln#pLwiwKmf*Q0xK7(mD!U2I!dNo)WGpu2ynH zbe$1ar^;x2^YRWZY&kG1KaB%9zirm`&W^AhWW;hD!XvL7w#ui5C~<2`-j_|IDvK4F zI{d9_1VqcXme%=Cs{3JfRFiGYo0YMEN^(UwU6yYF^a*Tt>61a+z@r|m3bI_+1C*&J z?1551t{IBVI*C>H%;*Yx&V%`|q6^MKF1myK!C_pt`xQ8JdXu6wzV zk>Pa?z0)pcJY;U3%#OKi9A4&L{@{6R`m*i$WQ_CB|NI#e{k6@gHZ|-*9hj zr0zH&*7~b>iO@;-sdua@%q`v+)8OX~U`pmP>=AP$SinC=At+clXdx*dF^ALEucKEH zDqOsd6uyh(^Gd!)O&~w=x~u2=7nberw&qpV`^@5F`)+3tU+afC=I3!BEp+y~Mib2V zp7P6RkT3hOO6Zr(7)-|W7sz{FZ`Xc*a#qHs`VaT!_grMiPf%W5k5z+bD$jKlPH&1w z>7!5$A4oMkL{seZ|G8Xw9k9y17R#r3ycw@1A_X{?Y~(-RqE9jOF$^Y9-AyrxCG8bF z2BGFnuWSan;&++`za2l6IEq&G*Lc?q(~|i1&~*iiO?wV`NV|ij;;&Mq`x0FsQ7j9% z!_Jpu5>ZU55iJQY!LrnwUnv}ft+4%)RxPFML{xv67IA(Ah+ zEU?is;e(7dAG6EyQ3iZ5UE|?r1Ak&4Qn{&%`DU`?OICS=%epvSb;Y+=s3GSj3~>Z= zZ#p>U(^F$nuk3jbwe%iSp-WQ^ z2Kon$_{WSbXu3C-5v5JIE=rMJ+og#eL*SLr>?Hk`M)CfkNfc!lY&qEQRckA!p3WcA_Q+8$y-CnDKsAyZFF?{BWTp6K3^ z{gljMu&uxL+vWfnoR0GN%Hu%ez2OE1d#&M>r&TZpT2@dIp~Og^o}H-D)!+ubf*`0D zIML{W$&}^^8p)iUAiYEoz`04yJEBg<#<;gm0n9Gx*nKodQuKpOM%iD2832*xUt>0Tm6{Ia}N8tI>;uK1+-HD+*gSzir#;WS_24D|_R(Sf)J zfKJWjT6!_1nj2)bT})frn|Fs_e*E$N8#>cM7m82=D#R>XxC+gvm1NKw8no}4@^@oQv%R&0y&PCvO+ALZgx@9!|Dn!a1Q7dDxegMU_|Pv$s+R1pK){uLgQKPm zyv`$rx;~QAVx9@GFS~N366PbP(()V`|7zZC4ZH5xZtxP>-l*I)to55Mlk5+Fo76r`Z4+xPU7T~ zn^R-pyZK`vEAsx%9D($>;w_ZcoAOX3>fvWjOx+nq#(W)MNxeoSXcNaDfV5EVI`%7<~iLbHjn5&b;Eygx&GI;zT z(vR34kThgze@iMm^6gQHn6d5JN&MBR&f_DOdaSu-M|t@X+(sCYMMP_d=hPg(>tWoG z$&@4yw5$&H>{R6x7d78q!Te3f!EjB<}F?% zLb!OeQhY;=!qgeLDYF?0IgGoZT$XB4_KILdu~8nypi$U$i9C+ddd3(oPh?)`V}H?t zww%O#rIVahjF=~wYxTt$Dhd9D@mexTeCIxkw>s~?V19SQ4mFn9yCFU$hpaO^!6h65 zF2(u}^hin$u5(8rXF$k1c#*>7g8ZRK&=P*$Mh)&bLK98NpTiE>$}gdgjI-u z1o2#Trr)@!2EAZglUi(S|w7F}6a>{5zV#c=O3sP}iwJX+WNChehcZ-x|6y?0@ydnHc_GJ#hxc|FOZD z2-sQJ{%>pi|EY;{u&{Cb|NVN1aRF69(Qa$?XOSp+W?1AT*wIS!nBh`}%9S)oEIt_IUMu<@3sWx@L}k&g9BoLmLqwb<0^qF2h5=GI0xBoiS3t)R(+o~3W1b#G z^JrVplLm-FrS=!s(1<^B;}FNLpIZXFw}1G~xt%-L zi_pK{8_=hw4lY8*xP=Vb0;o2CQ}7QBq(WZ=o&W?GBJ2y-2S*>);aP`;aRSiVMf6>R z1EY|z0_=CA{oTlqN@1Rcycj$Ia(Z7Od8=b_JEMUQ8z;iSEwC?!o~`>l)}K|V>I!;0 z{=M?OIe>6$f7_eK0t?glvjjQ39IgQm<8=$6n);FKWIp&dY6>6%{3ak2M#tN)&O_k++EPY*iFOXmLQB)St5gmqv?xc@7~68OW=XQco+y?o!(H6eMoB`H2& zgY(NHofZW=1q?ACj8|**Ge3pz+O6|&@*gP3gg{@fBM0lB00#O=yR#jyzP`&vOyf5A zJpk(3mc@B|qx~J6@5=aegM75720324e|Urj=%1a{m(T9X>J$EU6Kc;=f>=IkYX;ob zwg-8n1F>JLrSHc&h<>_C1$_tHUhI?UOQ*g{Tj;J8z^+y@c7>5&Nn!TguteHQDL$$}U>vz~~M1&1pJ zgnt^@TEXE)wg?0&n6eM{GI|ORT2XntJovdqy*WOYs?&M(EgqN7tcFtrq)se5gtU?r zAU}dN=U})q1)0|S>O6zkveYc{Ueyj-ea9F~5OFNpReti$F!gfQh^K9G-1Q?t_S&jK zlJE(5L2*c+`4-R!u>Oqx(nTjKvqh>Ibh3AIj3bDiu0kuj|(?U>D|g9PY+PNm_7uBf6rIOUCTOlmkj7Pu&^%k0As zq)XeAC0YUU}O(1k9Mv zNHVTvl>KGght9ms*iS3Of=`r_Y%EP;hv#x5agDEfIO1BD9kIa0%^Cm5nwHH>RpCQ& zz#gU?2Cu3}LFAzGh62;T@}+uZ29x>T$M{H6^_~yg?EL~fT93BM2)RUU-~eOS<7bAJ zEVjX09Dl4@pi1*6#N?*q$DdRb*RRd=8}X(YqY-y=jmOLX!Mea*OHBD%rzT&nl2}g8 z?bqsCr1wupTbn~c>XJO#4Sp+3r-haMmxX))`2#uFhuou4%i*-(|stw4ecg^V;LS14ivxM-zV>bqN$oxNyJm+nAh~*k4Cn2oNrnu4JR}@{-T5{C&zb(fImZh_n}>z_l#dw=CDG z*%Na7-Ih`CAb%5wGvsb9QIZB#n@*1EdcpgJj=@cO$vPhq;}@4AtZhXK+Q!Id{$QBo zkH>oFtzbS1e5E8iiE0x=%QQo$Cc5mD$I;s*8Sj{I>m5#B$lkfho^CJfQ}eL&J~X1U zy65Xn&q`}6ZF?g*q%z1`5+zlYb24*u`bsR{EBc;DUH1!(DRh7e@QlpCL5*HZL}h}{ zsU!+;_tRZ*z4-FJjXTLp?NRuJ7Osouw?AB3J}%*Gp5;;|8nF3nQJx-bEa<15K=tOr z!0yFDbxrrfHNfQF87xKOhrriZ4hZC2?_U?L8`G{WW&{(>y1Ty8`2X^UHtNW)E zRk=U!cjKp*3e>LSKZ~u0h;cUBQQ4OT{CaUJN!k^0J|oE|YmrJ4-w>uU%8NIFOj?1@ ziYRrn77y~1wNyEZ*#Zv`uZx=*qk6Br@I2;n3;mnwN`3`smqK=>)WVqOtE~@N89ie+ zo#!G%DN;PNx-rl$C29{IXJhxd|3#bL9FpnTrV#eZl#R^OwSa(9w@IL0oTweDkGR+od`Pj)q&CXE)XYAus*s<63Pl*qIuFM&rEBNE4+)8P?pmL9E^c z(M}Fd1}P^}e}RW}UXjvziye)&|A?kWdLy*5lO|zEs@iM9v+!FnwpF@J$M=-4Ovs=D zg6!(2bri)Sde4jISL#%WtE}f9f}Cg#EfV}l%55h_`!DQbGC$#J&+1m!+-5c%OCs60 z1Rkb+$!!&cSOeKM5e!}UptpSm`4rWRzSy&W!i;Rsr|)WKSCuV_VqKS@ak69&s_S$O zw}aGUp>f+hBeBH}9HoaHI;&DhP)`0j%Y=qDf^*U}w}LXTZ##sFT%dFK|L_9izgXVB ze%az`^tQdgU#NZWX|+{PrYBrbHUgSsxLDhuH0G-9xARqN7L;Dh>GxAcEPe=?Wbx7{ ziVZf;L<)|D*9~(!I~Ulto)mK^y1f^SE~L4>Ib2;RoGm23Q5%y9!|axUx9KWp3>@Cc z%zMYGiDa27oP$I47iVQVQdh{AKD_kMp<}64w3+ILR6ZIY%KJPN>2P>8B%}`|7Jgc0 zi;|4tl|L&mZ}o)l_0J&06(;I>DETYtKN>V}zYT-~cf{-n18`*WvP#Gw3tsu~J;jkf zHf|NP%`g^z#(DRiW(!ANUK@`hlU)+Z%VrMOJUBUK#ArXE!-UFn(155gI)pc}il#^L zt?!5{T9Gk!(WNyLKK#RKk?xHh&6YZ)JiLs|FvI*1Dxw?X)4i*Yr1+ORrX9uC~ z@+3m$_G!NTTBGUhO=cl3R5xr~qj0%&;?Pe}!dGq+$!lWKwBRPYrb zQv5J@Z(%l?OT7JknTaDt`n-hzyP}N@ubLFvJ+lkcq3_z}-kO`lHmA~AsQA}B#JC}L zmM^jZgl0T;VC{ZZ*INnBxjU3tLGjv5=W@j5Z1UH^1=~GM_68{7i1`Z4jGNx~rc@I5 zl~J=(wD0?L^diu4(}Oi8q$#YnUZbTspC*;5jrF?iEpH z*U_Ck%W&tr8y_FW$%0t^V~=yD(OSth@KKO!(~!HqP;{b}6qfg>f1$^oBB%r%e1|)< z5iA9i2&COA|!7K@&$Z7Y#0%5 zB2Qan62_iKVWZJ;esGE=V-1=rvaQl7VTP72#ZCZS&?H2X`ry{eh>a_RG2KjI%8^gW z`whqB1vz8-1n!eS!!!$ifTfi`smft_ijx8AM>t57)w^FwAXXK-aNM@?GT zJT2(p_gi`MFCpYjz;GUm-+)G@L%U0hNX?yv?;LuhHtuzMLlqlzGFeS+xMAM- z30opR#oRe%Vf~BsKJ8~U^fBykku_J`oR_&hn!&0g-HbY17>u$zTZFArhk+%nB%_s= zZ@;S9?V~rdDX@gSPnzlRq{X=(JnV!fz#}J@;J@!F9ZqV{O5;yx3eIXaFUsF0%$FHSZ~IT{Ecg^ zy8|BczcF?W!Jz=_wvLk>+qP{dJGO1xwr$(CZQHhOJ8!?LcV6AW8QjTV-CaHG?m@5b zUkgc%(5XhVc|;|Nk{B^LDd|%nWQ+bI9|Ni&jz2)eaT-5ENjc~GZp~0o5GH(84$Nhx z1@;jv5SlJwzs=*DDh7~FP|UY=S+#?h=b3C{M17tUSHWu>m|P6owSy5%|x(ZDV^Plno4+M=~h(C z5&Kvuam>u!>EAWJC1g^#+%Xbo28@gny$|z%Tc;%wRlqfD_Zb@6*m)Dl5mP)&V&22t z$fGr!RbHWXdOS~V^JvxDms|0xlZFIRr1NQ5B3(n++K)9O7$7e!AQkxF#2ia4NG zL83jWoRR&@)vixhRFK{N{nro;s#TSyQb+k|THHmacVZQ5gdW@f_YHB_pJ=%{v!?>J z^7@CwKkUO_lE?#W$)(}tZ*{j2liWMEv5I;0rMAk+!v@na(+hubEGuWA8sK3M4j)=T zX$Q9i9{R9w)s85cA>FtB0qO1y2Qxj*=)~C_Xspwx6Afu7?N@r$1NW!Mc=zUpH{TeV z&29WhFeuL#JyT#D9=AqdMmcrEE!%9EykA>blfkbU8QI z)lHJz;`G;ZlI3nzB3+^lxiOFxGH zyhIrr{V7NorU_t`ByxtuD&tbcV?vNSLbW~-*38B}y_6bFo(7o4 zkAb4mKoYm{a(CDIAdVy5=*?J|P9=U$U#2ds z>$VWjl-!LN7bc%(uXbPsG=HvA5^E=W5?xbPjxoDBT_A)ez6n*MZO}Q;2T&cxSK@lv zL?W4R`*~s&JO&p%17yr(yEJ*wst|tP%cjmcFb3$KS{~S_c@w=)^{mfUJk)z}K|B>< zvQ>@JBGpGs94{Ow(P7vs1OQAtw6<7X~KSo~!qUn|Na*nvj zDyb*vsW8Xf%m-AZDeqUOYC|*DkQC%3Ld4Jk-7(8A7 zq*F8+-^U@=T5PVyJ+jIjFO1zniO`=BjuZH*EHBi$DmBWbwtq!569hgYx^WAn@J^7k zJI~2PL9mnia5w44XCbjx1Mzg(ugW0tpC6_EUj|8(w5YMu<0>ZaGO*Kc?Wfk=&$p`fG!KxlGhj>l+E>4d5y_ zLZemy>N`{1=6U1u2#yN;ypmQh<9fm1#MCGm`J{C`24f$}0%vUXJ*h#(1^uLrgkiOR z>?_!5^bSOZPmkAYSt+xc_C8}{8wH0z<7H^8rJ12!cdInCKbH=sDjUTB;n2qb#qn_m zNQLN@6Q+m?ci{GT8Lzk8fhi3DkqE~23%?{iXy|ajKc@LnKj7+;IijZ4K$<$}G@F|l zu~Z2*@^(>LH8=HC@yK{b z{Iv3gU=(&tUE}DcNRAM_@3j7IbA3FC|8pjLn>6wcby$QB_8mL2dwWxVAe;f*WF-hkBg?Vg^qv$?{9f^ZHiZigru(ONi3X26Q_0AfznjPeC$*UUUU|D$u-oG_kvpY9^x$fPLz7I9yaZ!Hnw{#;oK}= zdd1aKGn&uv6uw{+e}M71nCjd@*!+hvv(=}kSw2^P99|8Cw2q+Zvk~^ueSR+R1{A1K znwqyL>idHEsMgoBhgA1@i%r^RhOKPXhjOGQO61k&7E5w%n`Z=JA{ zQ2!$QxcH|`;2PXv&xHZJtM$<+F-H^yctjTG%1bp94%n>nC3kh7Hjcv+D#0eKa5yUC z@7kN}1TX_{4or+ax-Uqtjv6wy)ns3hW}cMnH;tKUDS&N$ywZ{~7KBg5N==V%hVauf z_qsb!gl65N`z2Frx3H(Mp=#0F#fb&!?L+BauuN&6R(wK=ypB%CffXLyR+a(%4C=?hK;u{S?1y=yak zn^%x?6#41|M3be*078`B@&xWl^}@6`W8!R_iL)1%H)t~KSd!hNMkU63Z!RJRbvR^~ z46ghN6`Z{ZL$gYx@9>Ju-}C(|8`D1+$8n=$W!wZ#=csahi_YYHMk1AaNQYs6QnJ4> zN?0`phSL}rgm)VO9`fu|7eLw@Iq*VCC|@$(|JY=r2X^~0z6AG4`vU`_H=zI zRqV08$h2Fh62`#vZKQ=1xf2Id2#8Pak@An^h$N~DEPY0Yqx>m( z+!;~fF8qs>HZJ^GSc?OKG=ng#RONU$eb4*Xl8w$jMo%6Exg)kBcJ2 zm))V;OZD+c)F#IsMLW6Gc*LRo=#N^U-DeB=y_JpT`EZ__b30)Y7^)WbKEPVF`dXxnIS zlJX95=FnJb^C@5TOAOK@AczJxrNB!Rhs@l5zNi7*$q;mbf=mIi^8LiX( z33R0k$Y!P?z}Pa$;iv>0m63%&(~NBC+NLG>4CfxA0q)laYj~mpQ8hZz+&_2!`VEoS zI#6d4^Z_*+-EL-AC2^KjE7-&Qj0e8joh&&p zW)1JyH1cNqU{`WW0Xe2W;~yIOxAvn+k_4p0*MwqM1Dj}yJo+V6BG_PAMIzD{vfDw3u{DH@M8X)aLF=8^zqORI%NFe5UPE zpx;;zaSo9(S(}VeJ9kp0v(NsJvwe&`s?P*NQQ1Nm3+J4}Fr355M8;fyQ;x}loA723 z#J|kd~17CTI=UtSiSx2@)(^$vi*tO*i27>8+%U8P=Sm3zuIneo$%rBc=c!QhXx$ z?JgX{dgI501}cMx)^A}-=qLfJMPO380~Kp1)0uEYC+oaTSXiHAX-um|X1H}NIOvke z*EbdwpQLQvK1duJD;RNc%#yk_8mjXW;tzl~BqmKS+L%7~m;Ru3MUP~&H9#K-} zu($e20-03w?uHXRGWka9^yhv*pE)y-_<7?E;9CkhS8AW{A+KkZ4ae|RuYR=o=rr0Y z08E~6XeXl_Y1Uo3SdD3x4J!Xo$-EAq=9Gu7U&YVYo9PI(96;uTRyL~DoT+v?QFyJW z>e9#_>&hdY!0n7kQ7)@mgTc`*b0;hJ93O_M0cyw^Jy_$FG|ES?Aa>4*ri*xFH>S>! zE6CtKg$*Q@LI==0XAix~kCORA``2pQ?w&<<65{i~h-vH04tm8yRB}NaN!=)-v@RE?%Rt*X(R74!>d2)8@SiON+wc5$t@C z+gfqw)w}022z255FDM4%e?u{tSpGkJ!T8T;l9}~CV8;JMF<9Bz{+|Qo|H83P1zag{ zv!O)%Pq&z;4~2xRAWG6sr4q%0AOt-ApCCD4G5L%#d}+|~1r+%rNirZp=?LUv3Hb_0 zu~T85*BsXyPs{Gs29<_aFQ!J*7q49%1YTPUg7TXPdx0~(Id<_fWT8KE%&e*a`0yAM z5JH&5)K=j`?nFOo0t2h?YJ9|C)la*2($qj9L>o;;(&U@+)!p1^V#0F<>L%5nkx z0Ok-v_qs9YRfu_@Q2ZT0BMN?iV9|HLe=H5W0_w$F;jr(Md}#m?+Q=Q@H4v+?L#!-G4$bGNAv*= zH3C9;6YW*N0ez4DySRZMcdN?)aujF1i{B{UR0xRQT2hR^dh==}Gx^+TE;s{Mez(z-`<`e8u7Q^o-VjHrNNU($A-Vb~xt zUjaY8=099VzJ{;0)W6{Uzm2#!zP7i!Wn*-2zIpV>3tVq>S!1fc*zunu=mkJ?zvmXw zZ$zqwK~xKP&$(s1up&!-oEzJpyQyJMivnN-TGH|CZKHSbh-qwy(e%S_1in1v ze#FQ??{HCNlx=AL)KH>_d$u6_h?87Vi^6^MRo#n(ltgenHEL>fA#4VFGVr~8A&d^f z03RlF0Lgp?b^{20D>`VqK|O)q6N*X*zwp@wI-)bY@ckb(YI&7ja9QqW-OpW25&Qsn zySX8BFrW95)5*-*SIT8~AQH6CLs1F|~lA8=?T^McvN0+YJV3v-@pDLk|$ zVV5P+_t^W&=h`v@EQKjdxWBPk3DcpdSOSNESGHg|RTZiTZ)R>JG|MT1vEF}cg+1a| z6I;+BPCq_$4d|y$x1p|JCsBc4P z_gGXGVAy&0Bq2+oM6SLg4~%(R64=i|Vy73$wf=~Z>U!jFNc;GVd*7UDKv`?kX$Z2_ z7%+a1FVqXYM?>N##d3rMX=^7{Kx@J;!A9z8hVIi?o7|^H8k2m zy`&avj?@0J$fdDJ%fw(@?{!E>gupp<=gT!^I!!L=W2nkiuO*yvY(ix90%rEHx0rv} zFE=xPQz!7=|54ms|19|kP)-=3rU0f|4e0v7*a(EMv{Mc|6R@}o`scmK!vZB;Q1^ zhtSy)y4Y*u49H`IM{||uU~6cR+}(?71wJ~tqg7Gtn+3;FPN%{FE$*MhCbz_s_E4!x z7{7^HOYcesi|5{DfJTFgvXbK=*f#NPXdp=Yp=1jYtdIJ9U_C<#{=k?QE$N4Dg0$Di z!>N@2;pW6rKh$0T|KnaROBFaE|8Sk8TEl_qk@)x;s?~}1)p!u@=dw>CqFvJ6MKW+Y zvoT{5%|1&Sa=iKn2Nf;*yUnZ zf;ORd&Vp#XJ6t==cRshJ^r1Z~UiSs4nN|Qr(+rO?SAF2FZc_{yVNGW!{j2`aKZM;y zi0DrbcXBqBVH7pvB!@DhZ;E%qxJ-v(Lo+lNkgu_{#ukqe!$|XW3X;6RNL?t*AC!qRo%JMDyUXI>JsAG2aJ%#0c# z7?3*CWw$Z@$fuO?5euQ){SVExD1{Wqi#d?1 zdNOr6D|lQ$32yz*`_3`N2Dsy6fsJ|E#l||Rl^BYvz2S_uXFQ(LECn`ySR zz7{8VP9s#CZ5hH5R7I0T-WS$18D>idVWx1Q4L`!s&Vy!{E2Sy(i;4{TdN2lzd3XFo zK+-~YcCIH2dI7(*M34gYXAV|~Vwbo81z^b=lsGz`jTr#1Msz%^B@c{0B{Lm<_OT*Y zli!A&S%{KabT7i7(&+ucLfdVtMmBi(?TyP0m#D!6S6#pzYdajC4Q z;@nES)XCH3F?j$!CL0|O(^WjKkCTwCt3m)~K^PyWFkA&fr5P=EFRG+FI}(n9N5Vv{ zyU+IbwWJ?LsWSV4*6)`p>3BegJ5M@0uJK~_6+aYgK}u;-i#ecK8FaR(4ssxuM7Cb@ zdtBZQ>5<)VJ&JDiPCuMDpcJ&D&2=2QP4J6U5IWpHwG^R639Hvu5pPbW_WEdE3`tEm z2eC)|A9o)`G4N5SDj7YGdH|6z6gW|2yjU;J-8uC;TaT+)0&vFD1`w;2MM8@I)|9-{ z$|Ixg-c?7@iX9=0f!Sp1J$nv#@;*SJRKC&3OV{2a%jNhhZB!&*u{ouV;Uv}2FCRQ- z-ozx9*Y!a0Hex>`GL^kwENU?Kb~HIuj`UoJ^k1?9KC+)k$Ypja#tOMj@5|~^T+0DO zyR*gVQ}|+(TO{s1$gqAax}e{X5q3TYWhGh}Jv6PD0burc5Dbqk*U(vMa*lk6k~S_? zSlw@%l}C$+?(^0U2=q|C=v0T#Npme%JZD0(-D>=870aCupSRRz(Dr-r;Jg~0T?j#E zZoDZz_9^)C&<(!D%0zXIsVHAOC$)i3Tzws+C!iT8-zV&%)-O$oH8RaOA-a{ay0Jzk z%LFZk)XY3O9J249JL+^wwSAh^WeZK9lR4Ryaohn@t}NHL_?Y*^?b56*7J*nD;XMy~ z1)HeznHYbgwy+r_A5&Fr%B@v9LnHj0Ce_(1&YR>m#BWF7#gaiRMACnV3No5W{4hAl z9MWnGiZ{~wroHW9o&}#2cX|t1@^ELiYb;JBqiLE7w~KL(bR;dm8M5R*N}r*C4AN;M zPWfkRCP~;xhkq=C_#-?bX!v#h-V=4}?X#Gwvl#YD=k?F~SN1P&S>{_ovE1%pjq_5Q z?)_i8`}Y|oDv{5*HDpHUdkW#y?#^m!ymbzFdve~H(zu_M@Rs>2GH03g_?g_f{jMEvcfR;V{xTHLyIZ5yXVU$p>K>WkU9c*=sEPb=2micBW@AY^0l_N z;|U_*EQ$@2MQ5B4LJH>9(OOcws}d*UD^nS+4Z=vn+6yGeEUSlFU0S7Tb-9?UjG~C5 zE{^iE3G!Vwsy_C@hX)I(%jm9UsMZQaly3!$^+I2w!%|iQP{I)kwomxt1n*2|F0N0Yk&0R{$RL<0QCUw02$>YtZnESFk~d}!I$*9B~33r5sA zs@9mr6bVF=oAMoHSei#TT()S~@dG5o(zH`aNo4^}L|xbA z5{pD!XJsj^~R6_DC>0PJZl)fd=Z;#7Qq7I`0Es5ehWhS8eZRJ>55MZNn}^frZNYOY@M3o6pm0?d}621_h>Qe^C{l z!a{5&h6qZIjt&V(0!xNfdSWNlZtWyr%e`L#cx`g~C};q)DeAiP^m@wAef>|+tDHsa z5a+jY5jQ;1U1s*~PEz0X#itBsrs68UTT;$5U?s=mY47?oYeW4AQVpHut1w8aG#{}U z;c~^?)17X_DWI06PY>3fC-IvpEvNr|2X`M7TR)qmD2RKs@xZ6|}L{<|TexD|H&r4@*Y# z@S4j40rWN*(2Extlrk27Fa#4mj}0?OqjAwE8_bJye+0y#qOy?HL)wpuMw0;dpQa;_coTEk8ZxecjtkVr+AjiNrk&AVcWb zJ0(AHa`i2S^x8C>_(A$Cfd{_`$PN`JUN)|%!0cDO=y<@aVEGE7rJtl2xaZysCVVKg zzIQ8KX!eH=`SVP=z}j8V0yBvfwF_7xlTCSgD-UCi!rNB_M>W{a717N8M~%X(f<4XR z%je^4@k@NR4|Hz+pOQEj&f8A1;o8>jrL=pL;dgY3 z&iE{v2sBj&2F+>qeMtHRyXCfXSRv#jFPH5r(|hsRqGzgCK}5|cBZyD=B@z+^npu}m z{uZBZxoFfE!%O^ch!LK2z(Zhy1z=SP*v71PlIiP-ic0S1-44Kqv3a`7*bz!<>i04I z23|h_QvDCFBqs*a&{N!0J6!v`va0Ua9Uu# z1$-QmSV}#H*C+M-T%JhOtMzoXF`f(ast|5-$Y(K6F3H>C3oPOEXq@fwM|kaa{e@j! z#^D}0lQKc5@(~mcnz=|0U78Y=1W#!!+pd&vGXiQ3C)@d%qWOx;)9vNQ0H!CC+e~y8 zs>Q}6ZWxSIHBYb*WQV*xA*^zluNxs0C!j z`7{NuW{t77$8D_RieeOJ%x>ni{-)x2hhPph>5^Gt)Y~y=_uyOeJ@P2$&j??R#DMZC z+)UL>>!jMiRQVP!(gR1fWd`sWGM1D$Rf4Qsse72am$V)G=a7zb944na8|hvB3u&s` ze@~Hv)7eM_O3RrA&r*B1kL)m~B);y<+P&2i?9((l^+qQh&Gnv%Ag@X6a!&)b>Q8Ca zI2pdq117IMxi(N*k$s2$w44_eT9rzq4*r#H^2#w*d(fEJ{Nu}oy;SJWgo9w0W4!y< z$f1GsdKSo_TuNC_4A?fmfMfT0itU{dr*KdG4Q)NVzTw#jaqztGG)9@t?9@n$HJGJs zIcOs4UvEheZFtp3@fNGMB@A5y&$dE>3>IVi-F9kv!ENDHU^a0+x7;|(reDPin+HqM zGd3zeaw=_#iq^A^d%4%FX|g-t*Glk4gaV64CcH_1&ux{I zhtCxp!Hwzr#b{qIo|;&R<_I?MvDsT_{6onRi;`CEt!IISqq}~{haT6unKM_l=EF-| zyq5u((tmfin|euv29(Ozs}3992RGNEn2%zRegEEi?WFuHIVMabL+?X+ zOfv2?pYg3-9iSHs090jVHtb{rlE!4{8bbt)R{>}0H?E%-#<#0@PwL&AHcZ9_}X4-=f!XzS5vut zKv0eus}45{){Mfm#hnc!x7 z9uX*yU3#9yQlSIk83e^p?r$NKID$1SWO5J$$2$b|WZTdaeDJiJSpni32mfm+`uchG z(4hLX%hrW0{xdP?SSFi@_L6)G18VyGIvfc(G5ef^ufEB&|DqqgJX zva#jXdxduinbKmaz(fuy4jK7i2--;h5Il^k;sI!Fja_YRZB4$ce7RqSHLtgrd?^DT zT$CPp;1{mD4R~zrT%A<^>dC4EA{gK(%Nl?m79cJYZ)|XO1WeD=@bI&hV96g3U;he- z6_~sM;3yA1jtH`ueQ9PJ&`SUODeHJw6d;>|2ViV;bnq#ai+>6A2!NF(1OPcYn_8e{ z7DGDP8o)wMk$!CayH{|oyV=R1;n39B+1c5cp~czApHmHDo(WK^UnT`WIgV(oAJho! zZJU;Vd=2$U)sUKe3BXyh?r_(DrK~-%vK|=Xj=ByoGXOtk7Ip@nDGqp#gNaGc*; zzzBTfZpa90%$%vOA(~-bbp3c^ziu!VaFNh1U{vnsr>bjA39KF$nJB7g-SjQ2x^JjE zZUga<6t;yWQ~*0i!B>qe&=mlqcTNY_rS7T)jDLq9_b+c|Ac4tAuO_`?i{Y}L-*vV? z1LALk8*2Vnyt-c&fR>e&6}J~Zz!)xo15>lnH;&f!HtbXC1Kqvjw@!|W9GBm_BNRSe z9mm-_-0*CVVRn;-2a z)4d-+%Wm&))>Ce~F<9_g+wZ>!EC+StqT;3_V)S2&H$F-RhBBz@n|*wkv2)+wQX!wZn18bs5Dg$%KD)KAw6*{Y!NCn( zlTN98M6>{8_Z~4b{I`A#=>3vGft)>D0J&RFLFq#|^S*jyZD;{1&ur&+|3z3)zJT8Y zs15((>i|>^;SGW7C4a$rkRn$u;SK#r4e^Bm_fdX=+XJZ`|Ky!|LH-JK&B`nN8=Zt>Z{vkWH4X?h&i`{iJW%&dL0a6qA z^_zuF`B&Qe|CK*hKY+Q7n?L@2r(4ey!bqmS9USx5UH;Pu?Z&foDDtyb`{ecQ+1f~4}sz`@7BkJSmj$Lrm<+EpwN z2jKJq>Y2aNpuFnKUKX7-h$Jq?J2+@r`8(dZQnOd>XLC1Rkuhofy6Hdm+xrU4`fcEj z#+nH?f=1zA{g0lGI0kZ(Tb(PNaIYZ@6^fnJdkt;8Wgo*T(kyqYsb-#J% zrZBtEn-rqi#4h&J`I-&^J?>U@USMh9)xRu5iS25Z`NihP_g9EFY zMh4bU6b1j1;2*xk=V;7IQG4Gt~cnA~tc_L0=F(loGs{5-u_( zy0hxGFVZ@Uw2uTiKAQ9yV|$V=h`t2dk+e8oXwC6u`!{Ff)*b2);sj3ciX9{6^_4Mt zB7GIa2!2@DQS)7BBrnYxM7AoT}~)3N)%D9Q8V1 zVY)kvrTT;X*-=BVvPGB@>_%RdCm4!C zk(`iVmKRL2cp)@5{o`Z>`2ZK41h^_&=Z(geGnvekD3=5?>23~LQj9J-eP&tgA;&4#-PO~;sR+}euXE}Pf7Qpj`fP2$so*m-v?{HX@j8a?lqI8!+_w(o4SlHFM?OG4?%=DkhByr!4s^wl zm+qf$?&Of#mt=9RsaEpZ%jx1=S<9Yjx((b_`Q7$jG>O?apV1J6feJsv8HnrAk98(Y z_`PwO?YF!cHBo#Y8D=WhQ9Txn=!WB%lLPjFpDQaydDltYYPFSrN3>0%Q zdCzo1WNC6f>0xG6#u$+Nl3Wg8l;ufk%^i2J-Qk^P-07P^3dAv-?IO3 z-GZ^~Db8^B-C~OKoUyD5C0rrk6(Kc2f?YM~d7WS7w$s6Y3Y`RSsye*IbH@1YU!!#|?14_?!rHIizX6~3@6e{-jE~hvJHJXoVl5Zqr0VwQXYGgB0IpeshZrf< zA}~AqZV?QPpK%-MjH~W&oVDv1wGMxO&!bM#54O`}61!!g^+ zmYC?M*<4jAqgZT0dV|BU#q1M1@G`Ewws44T<=^Dk9S#w>+LFl_P~xYNQO0Xk)180t(Ew0)whLF<*OBKM zGB6SVXh{65OXn98Q5$V+x~EC)_Ac95SeWC%pr+a;7`F)-mBdpgvs=ZXc))PQQAi3` zWi}Q}6C5w*}-e_15fe5>3%$bvE{mveE+J$zLi+Ffsoq zXeq2q)83&DOH8!vC6e&Ouh?;Uv5s#U$)Vc@{^FajEwl>FTAL2(G}QqtYK3U~7a+vl z{gaJ9@S~zl)(=A~?WyCtdMHe)un{Y73r;k>o^di>Nl(|C$JV;+E?g%~SX6?tkaw9k zH4na$U)rK ziOO?3)-=LrZ&NbJU-Ta}jcjmTU%|8qU(G3fM?qt6uSaQ;_2QBhebO9SyA4jT4NWlL z(|;zo`7ai(ziB*#Jk345gR%`1QH4QTc^sF>grPT(vO=$Z%8H-a`uYJ&8c{`C_dV2` zw~Elrz0X(IGGuL`W2)U;I2K5H+sp`yisrh<UO=BH{1Svo;FGKCQz_&mKEH=8w!jL`rQGO7Ews zzI)+(2t*mf{rv!_|9mO9Be77%`qxLS@Hs8Db-*QV>S)oL1I)R}CRSHxPb;|K!geSA;B?b> zOJ367G*7u3W$GXNev9ss5Ww>Eptxd0%1!W~J>(^p9D(rFjv`Lkm-pDtau4rvEx%f6P2^0m3sQq#3%FXhW zfZ-KWVkDu$Aa5!@;NCTn4l>^FZ96V$Dfb7h6S#IKGfwq{X_qT zGr1HZ>QcBiNcZ6ZkI@}$bqRvEZ&F|Eqw%t*HqPum>FiY9oaFejhqxs9QG2p0W2?Im zBu5sYI^nGpKMIYm*f9pKb=mCpyb$#$E%qa_VIihoH^sY zASJ&heFRlmP!ZNLBfUkqy^2~%X4AfjX}eat!~Smy-pI4~qJ5joim3eC5oQQs#&`(r z$%(1l+Qj^63!moK2EhfZ5P^NLm5Yaur6<|O8zPXd+7`7n0vS~zdQB{O_&?(oA5`Gy z^VKOgi>+tt!=q9tLCpD0mDxp7Q75lW^~~j___fL<>Ms9+H+P6<^lL2ZWwb%C6D8*i zw3Y)8T9?eCRT3?jWQveSp$0QGS?ZYr2_g_4`79Jg8Nyfa_nC4IPmztw#<#!KxVXw@MdU$*?GsD0 z<{I?7-~Wt`Eo;%A^qx{X16n_o+h7cB+(;kDu3pLPtn*#LI?2FpYjw=REFP5Fx*x&z z<#WU)qB9yD`YRgH3N(tVVG35K1%>vC=uH%j&F`jon~3Ro`OHYc{0C_ygq<)f{75XT zBA2>r+icOo1o_?zliyp4fF`a=)pQM54@PV3A?So)iacBid$LCR$BA5`Y9`Ji6&~*w zq)zpty8rg_JUXWHA8h~8Xx`DH_z`DV5`TN2tWU+_j}tvjP33#h^Vn{c@?IPYxJ7fc_a>H&#-weGk%jCkjX$Km2%*oQY*B0@4Pg@_1YrB}v zRJNsPM3X=z;U_-7PvN`rL7n3DI*Q+nlkq~42+{#mI5;q4B>3nk>SHvc@blk9Z*?k9!;+b<_hD54{^#4F3J zIG39~<`xubg&ET+UY;jiTEXwnW-TZOx>y@60E*^o-iP}*%`!7AoCUvNHqPZci+h`u zQU^(UCbYbpuCwtSP_#qSFT1QH?ZPUaCq1nWsx?bBx*$Un zn-37KquBxjm`*wx<*vXCx>M9nP8qU5-6ER$f*x?;H+v}vSUozk%5_DMB4%MwDjS3OweX4L6OKFATk7j>Zn1( zl64D|#N{BL`qoHkXJ$bN%~wv)&&)Gzin5jSZUG)7>L1HwCeMw|=_mEUZ%K`AfB&HQH!pEpaRi8eADAv(zN!08m;2-Gy=X{YCKVq8^C z6;*v5aliOg!bYQT z%Ai+px%qp~>hQP6+$_H(mfWXlNYmcuh<&*ml7Wj~l zFzQ`>jqcP8Qf+YCH9JAjK)ck6jIU^_vf0sqWg&06n4NVQEx6yR@}FKC;sat178CEQ z$$m{?eg^w<4d;B8AbvFV58zd*`Z^(E$`C8U<~6*rILF-QEb_TL~% zYldkTI2nRM7%%UAwz-#*vL2Ci4*{8@SeujgsgxsDTk>vcEr^GXWQmk_Vo85Zhjnjr z6#hZT2ad0^ba1;VjUz*+D=J$?9@r1vzZE=0$Jx#L z`#XKfJsZYFQaF<;9}TL7)R%1wcx&za4DUS}rv1Ixq!JOsprj0xJb89D?2=Uc@Snx6 zcIN~5gtys7&7Q?o1>NktlST*opdy(M?y!*E@XwvOM-|MU+=Vv$>PCQ%t33a9;&rjE zL@w!yTNZ7hKIM;iMA>1_>G(-DjL028#z0wP*vutKvz={=9- zP5sf29ew-VQ;^{di37U7?q}@EDW%fSSos`qwD&0<&lKuO+NLrE{G)Hgd3NkvY*2$> z-fw*6i)j9G6UHd<-A5J@VZDqOx$l+dJ$x*sruVS;G3|J>h0x_!=w9arYpCcpyk`LL z#Vjx6F*|LylG@!wM_;d)OYhzldWqIrtufo<^6MN3%>=wq=E9?wsJNhC!z}ppVF%(g zy18StI|BS}t{2T|69_crAEIDV&ad2IZck0@9u=FPpW5eM49AXRPX^L13S7e%?zgnEzR>ksh+)5=`ad4tY+!$qH6{8lH~?;)H|sDA zjoW2C7w_t2<_G{-EIPyW9|%?g_~n%E)%+WA5&k~`Mlq2+a${4>}Tv^ zy}XBjA@%MRm;FLBnAuVV3Rd!T`+zFskAAW(srCytEdQ1#Q+OgJ>{5i}(iLr z=EuDE#+W|!)g|kz^8+Zy(X!`FJ#|tx*2IC&CMBZVF2zJ1ci@ZaAI^jG78@^h>dJfr z{=z@=T6xE91FiI~T1Hp--2h?>8~c0UuwPLH|5#5#Qy&WNew=@za{su*p3aG{yn_tB z3C&rlvBv7#-@dMd&GzI9NR;hb0*{`jcU)ZTeNw}h{>X3aDhqd1WG=T?Ydk3t@U?6_ z1me(S1~=@jy->NP^f4LAbV$<#jq6v(#$T__$}RJbBYKO@_thHF)4cl8c7_f%QW}&t zyya@v?+<7e^Ck0=Au2i6vbK?yp}DQ@JY8+TRCBdlXeEAg)L1w}yfc@kFx^d{*}n%n=6f1G)E4_PKmuaUuA+)`w

$}z?SH~-$G^a+Dk1CkjrSgY~W)MS}edVF!J-2pSvqZ>P#T`~A5 z13%kymFsApB|tI^ua_GGVIb{U2f#1La67J#W`5)x4||pL4s--9E=L-~;Af0u2+j5| zCC9#NJ8!C0mY&g3i3}=SqI0_*)d&)6XPkiFDd(&cll*jCtldb zG1%-_5+VFQ`Jgpy6W0)pe6ZL4CgveT4PbWyN%q@#MvjiX7LjytcW@Ey()tlZ za`I$adfbUtH4sZ4qb5E-P20``Xv2eR|J77^y`%-*n+Rt^ZiBeWtiOJf6Rj32zJ7un9`#8`r`4{g8!WQeBTM|?N%*RK>)h<6i5cx)9xAWO?|L|2 zL}3=PI;LN~hzvRShWsj63LkP>4My!?<%;GOpPn<&%W2I`dU7lPmdCJ9M#Wc- z{d~-ozT*I6JAQ3KiW?;%bR4KCKr4-g159D`aSomK@r@m^g(DAR5_&{Lb;ZSMq7MI> z_{5C`8rR!5I<_iDs~Z6_pOa5ed%AQ;10uJa3oh-Bva`cuaZOKDT8CmQqC1Oz?0MjB z+E)0LzV-K{lrJrR9vkFS5M1Iu%mG?-LxSj5=U{AN$|l1OUyQ?cm$^4)wNOHk6wWP; z2zpwf3l9Q?_VSSmnAnP@F>!8LBh!NQ3PchsA2iC&kRNJgwRymkPYh){P3l>_-kTEi zGzVGOk|)GyNyM2!%6B9E8f_*~so)!<&c% zuU{$rs_q6JC``qWh|X1y!?a3DSj`S>YAAvn`I=n_^sTo>V!@~!`tOwC;ISvlM}XungUi94Q`&mx2P&Y@%4bG*1*xUQ`DL6dX2%QW-3CC&0XND<@y`?6HX}lJ zBDL%GVm^<$$wV`9O3waZ#679O@cG?A`nN3R zMHY2!8D3pzVbGy87@CMa(C&b0N@trG!^c48<#?zj;&eXvbXaIp(^xn=B6fUcta{=A zZ^2~T;pBE+tC4c>2`X{KVhg+JDv9`akH zo+zS{=~HDa4p{0H9**vW&uDqxBmyTAnuWOjCrqkpwG%ga{E;bsDk*%Ajj&n_u1Ies z^7cD0xRhnE$KGMK2zB(Gu0&3K$eFySg$hQ^@h@x?EE1Coe`qXx=Pqga%AhEVR4VaQ zX)1lhT6uvbFcB8WT-marlcowT+L_c1;+%Qar5jUvDqoKv5k{%$l_*IvBV(ltKtyhx z$>3u%!dEebAU=A$7RR%YGxAIT<=PW30ITs*OrcxC9JZ9%mf7!#*HW6v$5F4lRqpAj z?JuB=RIj5EWhCl~?JZgF`Q)*S0x7Bfjo&aAN+Ku}*R)C4nZ?tU_w{v9D)9psd=UI- z!gxUzjRhS?Ux-i@}H;PP)cXn_KB-qt2!>G4Bwill4WEIIr_J0sCu|yf4OriI3 zV^_=|2tunzam+UdEFa9QO^xqxmnrOIaPI1g9_ecStj05=WVR}DVFHV#cFaR^4?Dp> z(^zpI=N|ipQT%R?y)H~ZarB(1kJec!Y`ijjn6;$>#6yAO_YvV)RUCU zH_m<(T78tx>1eK7Ob+|{ZPs9vL=pkDfDt@{kK}5?YZHRy53`}zfRQJ55M5zrC+B&s zfZN2~)RNi5O&HIL^2F4hUO^-jq*K1CX-)hb(V-r*y8=2=Tl|>{I1)v&+NY7PfZQkj zTJ-5oH~-qJDkH_3GGN~RmwWOrALNc2>6dB(tuk0B*|VQ3{Z=4S2AC&>VlThFKk*!& z>hIQ726d@~4C^ir*|OZeF5sNe>Ea8Qi$-#vt(Kd3OA$U7+!*y^MagRU7+(&+M$Eq# zOCv&srQV|WDcJ#~$(URoE-4EcchyagLI=zO!h}RpbNQk>#ES8bKb{CgtOl==o&w^8 zDKc_n6oY9~>OjfO!MUwQGZuJfcr=%#)<_#W7!wrxbbI!Z81uS=WEBM*HzS{8XQk(1 z=iibNfxrkIg&{I!8>-pIiZS}22ex}Jj9H(Hk~dqvjSzQ;4=uN+8KZmma=gVRD4ysN zk=tPsw*8CYZ5vjo+Y@m6Yzo|5n>D6|elWbtY+P{4bmTB$G-wJUqTn1}1$+g3%G_lc z{$l!Q?r?7XLAInyVjmJ;xwSRqO>_EIZTyu3Ym~{p(OiO>UmfSg)|RAITiir2JiAn9 zZHT0;I@i}r1_c5;gXCiwOikpmf+RZlaeJ*eWUVY0m zGZOlucC=9r2o@@V&aRJw0#_J3N3Nrvvdhv~{U6-x3hj>3Vru@w>(gT+?+1_Yl zs%!mdK3Q~h#Md?1Yav4(Cq4`tpR3qxHgiXrXJ#UjF2;8~ysQ1;w1(cquC7cTf_;;P zY9-n@YsGyR?TJ`E31GM#TOO|p;@kxkSjK`k<{N67*0UkFM&6a-xydy zU|+{f0!A~okcjD*uIDK*iLT{h59db}xu_qbS$-LXpRANhEcHphV7We?{Gd@z`lw8C zxY$PNRP3=o=pJdP->|h)lQ+w%OUY%L4x7Jt27DBRA2)7JOi)~6m4AV$FgCcW^$rsp zuS`_gtA6y-{??(Pa2;auov-E>PP{g0aE9YM89Fx*vm`(575$l;rUh0wcqrIm@e(Ly zKzs<_Pu?)azmhP%>If2bbho+tEPzZ6*_7Z~L_gNOwF{9O^2vO#82%*3psQtm5`s9c zy4-!y_xjosco%PV@exOKs`8F`fI6ve1+4*}t}VH+&vog@l(@8LI;7c*_%j%`!* z$t!H7wWb3vLT!_hFw=IH#gY2RS7V8-dBbMvvFxVQ%fV;W=0&bjKuA0DhB_jpKjwDP zlcojaAS2L!*)L~?xQiwZDB2ICuNxw;E-PsRGX=8=ldb2OBo zCg5FWP&p-){DI+e{kwUdXleL2jU_nUU0HF(x|rKX;Fu&ZsEU1PL(YI>4Fo~VW_T=6 zTb!kTcMS>)XW1nBr@;4J%>CxdS3j!2v)rtO*7IQSRg7U#tlk~k#ls7w+DfPiv?uJO zB$XMMPvDuw0-gyYRIPVUXoY$|ynuM*d5$ZFXF-FFJR-4p2K5NzfiIMTIhAUexNeYh zOdNtk*#w$CF@Y*Jzmf`lWZADX+N&_!Q~g<7Q4gv*8^5PU~$*-FR zr>)BAw6>@Le!;VAjLH}mXBRN;)gy3=a5|8uz}-8m(W33$tv0Nr3SQ~O;7HI4P<}Ws zjMdN|)lhz@x4fB9c}eD8Z_HzPeRF+=qXZsMqa)hmR0Q76nyjvM^p*}Gip5asAuz5k zD9eHnJ{UPu9*C$8Z~3c2Mp>|$q1@hXR8jvb@a{W6ATx{jLjr@Oqk9??08XZ9B&Nqpdh=|#1I z%LrHqfazVg6pp;ddMHYH-XJ0WibSDUo7?g4FH0(-#2PG)&6?*OC-L=`ddagb-@|D_ zBYg1!pPOA}wqswg9D|^bf!JAhuj8@L!yft_1@K+e1J&7~-J-R&_B_2eTlyqemksYh zv_l(LPAe&MTbdeT*EYcTfmwWE?4b?!s;1pVTCK$S1+mXQr2&(mse8H3X%%z`@3Y~b zK!^M)d5Aklb0SG->P5u2r!x7NMaFZzJ!oPIw9-_B@|LyD*^q=7g#xv2 z^E%gxm1+VGYfT&<`oo}DgYV*BK72<^5_;j>KE01DjPVxE6&u={XZKDHPSV*?R^1^d*nm=}@x)LI08Avs#47mRS+A^d0uYrnp*_xAM->B}RqlGwL zr9vPN&gxUw9umA(1HGkYMd*2Y3p1mr<^UYR2jRXojCge;c0m)EY;O61gh9Lr^Zay` ztEq(W__b}*l*wo_1}Gaog-!8ldK;G_5eTWZI)+6Sg1+d%x`T`7D`p?R{rayYm{D6S zm8YWXFI`nL^31|1B9g=$%QZ)~vx*QDLQ(Hln~zod5thvH2IfWUOUKt4tPE4911bbd zuHX6tKBAj=lCwI{mGVrr%qd|H=$6^{<@a9Agc=Sv3mqa?=4xj_PddOvRVZEU>3`LC zFd*rLy7iKehmX_$m37B&>3MmlY=k$-NaP<>Q4fmO!FZ%<+y`z~KM=1W5O?c@$?6 zTp#^GQ=aqia&h#HYkimBNSCIAm{ZNe1>eWU<}9dF`{4|dd@G19n#zbCqLWePXtcze zX}92~7IgK+hCJz%@*j%ejHQa}+>$AL1ZR%VrbiaO!i~LW-f32y1*n{z&Fdco(-ltj zjA#$Ts6q$e??0`>LN zvHyhMw~Nty6@&}%+dP2pUn(-xy2LHvJm+53Ezm8&8KggX=|8HqA(xgLR^oy|V4j27 zV)iMHX$sxHS2tEalzT~!HBOwD6^ObLb#`^bm1Iz5E-k%o4tFR#VtMdA(!uQ-oY!(%o@CIpnPo)pNfvOTK6?*W-E% zppRaN#*9xI)F#0wq5^Vn5~k{yIIjK7)p8C{oJ&_2QEFmYstu0EEdPRu@u>K;?g{+% ziT3@7I6Ar@9Y9}oL@rQ;!%f23s7w20C|kI=LM!R$9A}VkZJ$TnMRq(3A4scA8nZbp zLD|ij4%SFePWiQFx~^A|>@FSc^>MP@ZK7Ncy4mIRc+pw4PG_wpaQ-1nbYr6DyZK8$ z(*~sB^fPG;`Htrge(nL-QNir&xAhUrArrMI%1pDB6<&xTs`itp6&Bax

x(%vHnc z6I%jz<-oyzn$j`5=>YQW!2{~ET?cDMP=GebSJMcZJ*_ssbPYr zh<8&6YVOa@H4c#brL{9y95zWrtbkcPtr;UkDR_Z%N(g_Qf@~^?Lu)^KgvThCTe2Wm zYMiRs$Hf!XjCD~tI6{(Bm771EfF8mF+to?j_`>Rk>e$W=OBjC#0|^E3C=;PU3~ldA zWJ7Ndr7yJbBpe}+?Nvd07@^m%v;O0W@}R!Vg^013@oGWjMzbKP?#8)O9f^#!pncrh zN(_Z+SsNclwzURt;5NJxjjIaI3199VkFBvR3^bM-1x+sQzwVTeG!qoAyZSv1w{sR< ztEr#-x0u7`t9*ERhy7Av*+-;mj=E4xO10+TIY71Y_ywY<>04VK(WQ0J-OAL2R%VkIIr06 zUe4R#0jm)kNn&`>R~t)hb(yJ!lmxogumh+BVD_ES2Is6O#LiMGmirx2^nFD)uO5O? zDAhv|5i|9OMcIF$#mk_Vo+;39G5$>M)hWX4rH}x%(d6Rbkb_YtmE ztgO+;-OheyOC|qvuI16zLNUg=E~ihHPr>dSwWz7|K!`F39Ed-I(Ge%ptu(ohDc3|e zc>%Y-Ah}UH4I%~m<66Y3 zyQ*8zbLe+VnMVam+sNw_Xlu2`TZtWKjIvqD-Gx@Zj!VL5@ZObJtZQP}vfiiSsT@hH zoF1lp74>toTl`g(Wp=Jn<~&Cthq2139WYsv2Nb7z8|| z!TPzf1ZVz+E#el6Vj1La8kN(9GdP|E4&dmUH2XLJ&U;iDRNt@Pt-gE}VqT~<{ydupxH;1vgV*e2U{hTOl=m?wWy zKn6CfdFOXw{4O=yk+Kr9jzue;uwIeOS0}%*nL15%LD-SK8b^O z)`4GZ#0|>QDjm^a3C}#Z|6}!*r@nuJ4E!35Ue28pZK=%3# zsWwKm7afKbg#h_l)jYIhF8`*y+!wz(y$~AdL!gx?mgc{JGwlBjoZ(>S`VT4dzu*iT z6XSoj{}-HLXZe4FGp*o?nKmnBdRhDGx`8rIbn2U1ThNH4{aeLtB2hX{l-Jjax-h8j zsr%}Obw}PWe!V}rTo%kpyes#vJ2reQ`Q#evCdf=-X&_`oh8E=P=IZ;QjcBviY=!9&bb`N(AwamjKQ*AZfoUu(y!p}5IXF1XQFtiK z!wZijyu<@=M%Q5SU;rT89UxP{{;Y6{to5MZOIR$(Y=T=bhmWbczl`@T&G(_ex?pUD z%mwQfD#Kt`aZjN<Pi%CVtHNpk6<0fovyj|FJWzF9g2@cLlQLCMOBq z{*A37Ag&@C0yltzB$FPcXK!U=0h1d(2*AnNW)s$alh=?F>YyxW1PRb^082)e0mpoo@*$u;S zRxcdtfPPQWeOnG}4&{h}!Z|wvkB9%*-BSy{OPE6gAROx(8vG1TAb{|I1l?I^{s;_I zdar{1s5X2N`CavmOyCtx5IhLnq>8EO$ZG2y ze;MHYNKjD2I6-e)Z3^2L9332G8Rf9lG|nG0T$E#}ERu zedC^#wauEW%JLr*l20Ub&ueEMU7I|wO?Z>3xf`ii3+xj#3r9JPbDyZhpt<;&@4ik= zpSt)MJaeW0Q3W`LJ8M+M7Un7&EIw@5A1)VGK~VAA-T!4$L(=tsy6C<^@4KwBOtYN_|OInUpw9hi3c zXJDnN<=@if_CvT~qkr3b%f@hM@S3suEin3qz54B{OY}pXeASFP;=gA@CI2&^fpFr# zcj4Lg32Q*(@`cf(e*9dUV<2<)it=-jGo_1*XRzb$UvqGQ_=)iI<_r$9_1jz$)&-H} z+wdY|x22OBiI}4#+sRFS@pn`>jcBzUG{_2HiXhYP51H871Oc%Qzf1A$S`)l_j9%7t z%Y%k>%o@*9@%ugc#pZskG;?#3{L>1keYQuXY$zS;P!dwSZeQ-~1abVv!oE?3YExSP6 zDy2$nzsc2>G|k^c1s;|~ICk*5LO6@AQH;PFWpfYF)fTCVJxh!O1jwX+jLu=+!jMV; z1fGRHSq4p{)R&ewQ2e;?aR?a;>&+It71}vIa?mWOZL>nO?xggiS8v>B*SAL{^u1Kr zg)PX-VL(%WO=BMT(&n@P!5tsVPy3K|AEr(09TISCod!~i_U8%65UJ}79l?8Wvp+CB zO?g3|97`EpP*ZQF#Ww!VrqJ^@&%b(M7~s@a@}A0B^27aXDzWke59dXkn1<09E)+)`h|{bXii%UpBP%_4#~zK+FV{v<3}DXQ+KB7x!|&5<$|Y$+z#_@j;dN$0lx1l|EF zKHl(t%m`dlYSx%>SALH7+6*M?%vjyqs;)woZL_6Zvr(mmw zlx%FbG3QWgv6*G}l_X?QgiwO6g+0$cL9C)y*tiP|OutGn%sTeepQ3yt% zdb|CSE-SS`X=Ed6&>*-hJEGX9fe;W|VTsZl7s zv4|EmBF+x>XoNkS2hMV9ifOUBz)w{x3on-{xz3}=za9Lo)lMf7(i&V~**`bBAZsX9 z8+z%{l_bJoA%&0;t89jnWNU8EEQh})77Yk@HA-t!K%(F{hC+Ma*QZ>DzB%ruX-e;D z{A;n)xjJ{@rxKaCL_DFQq@8>?K;KyH!r4If)3^CAof(>0uo0yA0@|uFEGe2wBp$PvUx&2y4j7fFWr3i$b^)F5+F;jEzlZS+o7vjSBO&spuDxgbYz^vvN3GL6TZk@m8=TisdaTOltj2ZNVs4YxI3#^kpY)BDort}+JU+pLuwsb7!~)~Ed}Z1HCziNdr|yY z{O(f9JLIaLV86n^)fb70`6KbhJ1DSL3|=`ZM~*)$X! zzfxTvrs#3K6v$nqq&qtk$E}GTxS;9e9d91p305S!g;APwPsFf_L$up%aa14Be=UMX z4MlV0%Db)CAh9C<$-4NeMVQ%Bo{ToJ7Vz=q?R@Zm9C9t|8kF>abp{Q^qOj3p4`Ax*P%_+B!J4KlqKoxxe zC)S|_&v4Za`$A^?tTW1!8@2k+K)>efoH{{9T;2o&)aOUg+mAFuNfCNPMYmw7jhzUS zA&)&?cyt>SGv`jP4~M|OQ+jo$49+o4T4q*=q+bD}Jw&NHC?p9)h^dfGU4{qcAdwP!@Xx9xtx)^5eCEYI8xAP?4gb@> ztGq4Zn724g$fHz$KMR&ILQ4(oYle7onu-y+{r8{(?&$f3}us* zn&&y-YEJz_;M?Bj zsB)OxFjNuIbIb%Ft@jl~GKceK2CHF|qj9tiI$WQnZ@W}muvEC1)C(i@v9a%JidrVO z*uSm1pAqx;aa0$~cl)syC zFR1|`qL3{0CjD&Xd(21es_jvZjrhSjSw=cyi9Z#!tUkBPKtQ9!^(WO>`4LVmxeZ`I<) zVE^WQ+Sn=t1mSp#%t!YOl1)BM%$p@#D*K*$eJZQEP4D+t0~Bxx%|qs(lC{kQ72RP3A3z} z*yZZ23P`=tg-pp(!v~fO``r|7)kNkv-PSm9ow!cwtv`lrsuOKa)s{GZA=N*u%-M z2_BMuVazIVog(9aLxVz}O=&JMg#n=BP?{k$|gbb)R zjy_{F+3J2FLQA6SC+`{~yWvjnc!GzQr6A5WEV-E0GYNP(&iO zY0D$`90erpwUsA|G4~&iTP4D0r>m%-LKN^1JP`gfnlDErb={y)=q55f*hB`)a<6mf zz!&CC)am>@{(5F3l;R$yieZqw`UUX6zlO6f>Qt&bBk)lD8N|49k@ci5g#vwzExavg zYWU*Y0$7}VozTIo*+9VP)41)7Wg~?i%a(xK0T?2X+^(#EN5HH$Zgcq70C&G^AQ>2B zh8JEVeA)*pR479;Z&+S}tm&mOc(|;E=a3G#sAPYK$ZKME%ZoBgpCwx5DKO~Wb$$H4 z*Ri~zAeTU(@}~@0?siNwvfn2>^*>t>*(zUn^^}=d`D%gxMv@T|YXDD8L*G-GKKXVF z;!fw|41LV~avq}Mu;Q&&_p4?=nj9~)g4x2`f8MfDF+aKy^V(N^343wHDAH9ls>o&S z0?-Qwx`jn0qEcx4pod7>^ut~j{=yJUG6p31Wu)j=F7 z{?nru_$lg;PzlvK9}RUP-NCE4k9;vQ(~=rL#N8fJ;16z*c_dNXkSn5a89Ajs)j`i~ z)Xd1z$Tm#d>~&-EywB@Ystqq7Nm38vYp5iI^($|Fr6;3ae0t??c!E<$LUxjn9sow$ zqyQ>WZ@%}PuP&Vmmif;Z4=vd?`8!J%57=Pl05{0HU6udE>5_N-ASl{J&jviFc7_P( zmgLZg0|FH#qyt>>2jt>dD=>it6O|+-7C^e0>;0A}p?jbj%p>$IJE?LHd~_p-iptL7 zq$?e}-bn8p->2ifZd|}Ehw=g5*b3kf23V6iv8uW${#Sm)Ja+iVWG59RBQ?WZ`60tk zoqIeuEVxa|r-$nFj9Qm{fu}RUyb&T9K16l+4iYqir~bzdr%_`)A`P^&LH-Y1i^;j= z5Y3LdN3OkHjhfi5Y1ArhlEs72QWmnSgqTNR-&qZNOSb=`L){04TED?}D@Rk8$sz+p5cc>ftf2zik^8 zhf1*)yV=MZfeP%A7Yk*CVD18kyvSi)=7!vWhcD@==?4U&C;NfuEE|Stn_Xtgq{!{# zuq#Lyq0&7heGo>-ZOlR4yeQf;Uu40h8hggHO!YTPnFA*2tzkR}Sy@%Vwvov|s-BC7 zbTTvZ=>447XJtZ(q&9a8K}fl~$@Evk0%eFHYls3@i)An0X&`rBiDYM%E z8&sBet(8{?TDhfZW13L)J**>L3yiSE5uwMvlizT3&ereOL~3)VF?p}-UJs)u`<5`Y z`4XK0#RQgXbh(@4u493Ny-L$4vHG5V0*VDXnev`{wW{B0~^^HeG>PBGNId( zVKbXw_I2%r+j!Mkmwj3H+JB9}G6VTTTjze|pm0Am0K2psbMexZ3M#Qiu?_qo^CsU1 z3CXf^29OO~LesHt)az{ocbm|aQjFj()SgM(C+$|WpBgPTYjU^9CSJKvfMP*}B$YJJ zlCcaie4`&iCW=4<&YiVs-ZRIRQ!#>#&+&8EK}qs{!`OAYSs;b=+a3RdCj$UIThT~b z3AdP4j~{7SWyd#{+f(pn`M}Vsw!z{$F(d3_!RQ!Wz`2Nb{0o1w<7-vEFPrGwsHpWi zv0?Y$?>}8Z0V#XEtt#;;uv?#gnp1eaxt>a!mzL!C#YhcAwn0YJ6;c z;N*AqaBN-un{K;O(&b$Dp4kRCnB;P-1n28d%70w_POLoq-3O>U#xmseLW{u z5IgQKA>0}%hDvor4MrSpe{p;`@I~?*rt6g0hZ^KzSc8TRD;q(2;QXE5%}mX~d)HV# zYm)k)s4pc&Uf3bjCvgm1D>>(*?H!XKK!35v zxbbXb3_uX!F|fg*UvoYFB(3qwP|IGWZJ_?p2@rl61Hv)RL03OI!)9F0;qs zn1U)?ZieI7fMHyV#ZB8^RC-4?V@hDGU+?kKiy-cm@AWwMB9Mv&Fnp|QG9B$W{> zIvh4~bnW(h8lV7L8_lk%wi}wOp8xe50G;^VO~)p_fTGF9ACo9?jf}^$O!7IjF9$t- z22{Wx^tS7sjXB$xx)`HL4F~2P5 z`reAH9AT5on<+PTVpGehCGKM4YKt{lK=6t=8$5`J3D(dy1QnqKpm?%scRvjG zbQhfDK!BF=h7=3VplSy7FUB|ox3wleeqU_0U&@#6D{EU3)v7YbieUXAg}s2joDzRy zyX4)k@%%@V#|aah|Dh~tQAF5qpxKn%3MV>!KYr=+ZQR=#ZmmH$v(=0Qjz`3mIb(yJxp`>~NLo)>P}4J74gkl5Pjz`FMQ^6rINq^!H4b zITdcEmPR!imal52{q>%;a)$)b&J_0f5|s@4VqLg&3^PjE2O>m#Ui4)8!>*}6-w_XP zFWndnJ1l(O2XKaS$QbG~DY>pop*Iy*D}SP^F8jP)zJjrLW7e)py@oZJU43MXi6vwI zV-aW-bv;KPXy}Qit*hC0q;vz&mvK=e&BA8EqT=BsImW*-!qTgbDHZ+fNkE+?Ky-bI zYp;Kj9p4~_@`sDBtkRQfbtu+ZAHkjnXvi~^#Guq0fnN1OmElRaarlh=fJTw8hAkVc z2iKDb=lZnbZg|Ae!ikuLQQG`b6tdH_Dmcfdl-HvSs+<0Al{(MlvTQsmXW9b)H|=8l zzZycXIS`jGQk2I@;Tx*6omf$m02`Sxp*)(+20Wx|{;OA!R?pLNhhJ~>NKT!6M)QB{ z&B80}J9v1I;yjPu>P??a0xaBUxa)hethoDxUBQBZ@v+Vp_sc(vyGeOa5lz~`TH8+V z^Mac7d|37_vxrJDhG|_RQAO54-%Z1267VRm+hl;Ymsg*2k)pN-kYyYruTs=68|ef2 zgZQWvp{0yB8K$0OFI;Y{X>M|U=;$n{3RCJXCmPyteFd42pOIMu@;kh}H}ij3TFFN* zFGl3Fo?dYE${e(M@5AF+rzXo~w&J#szXfqJk2a~t@KCe~uCf_nnL4hYbsqb5 zx$hYM>JU-}lluSNPrHJz$}lsz_Bpymd!F)I@k= z&f}%zm&k$HXQ-7Gp_%u9j^)=~dB%w8SAE?6OT*aje2yB1I2zp#T-^hmxI}E^dRvK; z*qS@p+IMP(`+vC35rWqwM)BZHSl4*M*CzXA4TsWrr{M43%@#c)RRF)gQzQw|4AP`9 z!JsXqhuz*anBoK)2?M0H8QUylXW45-tvC)owooS8D1V378lvO$QGBUrUZz=zGdXi$ zVDl;d;6yR0Yx2Vjm%eIto@g^a{c#thTI@&QXxCI>9Wyoc-yC?g#b z5-sZ-z2m{8r42-cSZskRa}nHlqj-LZt1{wW>EG|ecHhyph;r^h=ge4Hjre8{4JUE+ z``}{C#nsz)`uckOk>VY;1vnLlzWjie%Vp5@fbp!0>F}6z(*w$Swiu9*BD{9rf>s2V z1v}}CsJiF~!h_$#h>s1J&TBv&2b?B_a7ztfFR2k-?2gcpHXlm4ewFcTL)6}uv%n;8 zrF>0v!UTF4oc*T?WJvKRdZSghEsh+JU@ORo>JC1el%?kzr7|8+6^@4FsSPN$u}g3* z;%*yLO9lh=8Yb!nDl6g*AxDEvl!+`h`d*|3-;|T7S{gIWlOn4Qqqvav`~rM%qVW~f zGMGf^@#f7Bt{-;^+wF;x$m652<3lR#hN~3AkaV4qxMV@-A6L+_ZD|y!5bXhB&fZ^O zN%(8BIcu3wmcvj76YtHL$nCVhIZny|Frp(7p!&PU8SYxo3DaY~LvoZC`{!$OM-*%6lhV9GgG9?w!`zg5NKjw`*$ijpUOc>;h*+NxcdMv<*S>F0>MR>P65GeQb z-qZ)W#v15b7%`5i<@`C#-BdBr#1g^;es)pDP+sONnkfNE-rg#7Uk5r5*7my){1(YZ z8*o-iPx=u5Q`%R+MzUntw%M*WGrP>tW@d&qGcz+Yx0#ulnW@d(W@ct;Gc)w}o7vev z(mZMR>r17q$cQLqWGYXcb0cot8?@1fC@uDkV>pmkQM|yG1V^AXoUU)$($abmDikU! zOjKT%T0ZYK`jbPi6tdRFcE>S%7bM5hG#c!S@gO1JOsIIasAac!#{t3``w};cyH`b; zt4>O5)+N#1oW8)$(B@Sp4TxsmC?P_JVtWin$pEy!RVAIfj+1c56)pTjf`dW>(Y1rA zS#u8ab&}&Sum{T2>|_q;gmsqBmXq0o^5`SYXbn-{m&HPgfxPS{ zee#>rqV1$uMTipsU(>c1Gt3MZ;*=`*pew&E9@UN~X|Oyl9if~`cD)@^@FDws-cX&G zj>T0w^{nQrA*H8Z|7GI1Mb7n=L0;nW889u;ngR zlK4cm4L9smMO-0*akHi%mhe=$k3UVVb=p|-+}>EPola_-Xwp?~$0b}u{ z#Y%}~R9?yP#-xA1)%^Vt+~j0p*RPsgLTXDchNPsnl}s=FgThU;JS(D(!^9hy(xr)M ze|14Oi@&c_s_D}C!Hvtjj;GW0L2SW$P-Z?}2DOns1UQnkvjh})Qw6b(2)v4o(k4QQ z#gsOkT-+}lv>B)!C0xiy32+^u-kh4BKI11(4{(1;`cf$y#-FK9sAlC>3enz>9+v!^ zKXAR_%JgBs2CpVZ2$2DfV8KYXxui=Hya_8=xYF<|5=G6__uWJNO()&t|?qtl~0b({(E$2WZA=IwB8zi%D6 zZ20xo-0ghS9HiF1Q=Gtu+Z~GPdgf;)I4@`+cNrh%$QmS`g6xFo=-W14Ouq{kGUNl% z$|`+3b*El5Z#yO6%IvB|<vIXPmUkxsh8pc#ec!>r8qjek-4`3c@tD z1r>I%X>-4_L1GRdNQj70KaDmL7UdtdoYUnds?@~|^fp2tn5--ZJJ#v2;-CWcysmWU zM@`-!uIUB%l_Qw3YHG`~HC0jNf*=l%0yD)FdyR-!%;K~Qw+1>JEO7%|v0uVd9d}kQ zXL9|P2(pQ>%r7Yl=S9|IR)&+;N#b`N7&z1WeG!-R7@qr-llbKxFBB1b+a$;;%BEMG z`KweuE?+;)6W)}%fb&2DEo2A^1Xvt$&KlY4L(PYDNjxm?%XEVH(!0_-n^BR#8@45U zJi|0t_25)ypWQ%Nst3iZv&{WgESQJ&d;<&ljCk@%X7OT|U83chZog)C*X$ebVzs+v z8vc%&y^NSY;Hxvd8FHedGguDbSJPd7(PeTk2_VZ1)wtGlzok!jnpyX>jz|2~3wuTq z8gv#=0ckp&^eob;z!zGGA2jxRr|GLks`Bn2O)q7=EDNFO+9WFweP2^%Cd09PiJE@E zY3j(Yz|AG`U673}1RhwdA`KtWz8p4pz@#OuXudGfvR<_Koj{t-xM(&qso>4D)rQk}N+8XZ zrtvpd2EJOZML(#L8!VnU7VEl* ztOYSZ_6`T>v_+K6gA!86s@9Tbddu}n0o$aI|7Z$^yesLvjP#PlhXoVKmoYflz_0?C*Q#F1gNi1RgMmD58B$fjf%QR0KCpBF&aZvi?UrF) zy2Z}>LEydgBhvQ89^t_p^3r;~3EVyhblntX#1sFQ(9NeP37eRO4vO4_=U?97O z$rp_UsdJ>PgD|Ei^j3JA_swC#E2I#SVT{U3UD>o=l$>1bI|D|dew30nk5^ZOz@ElM zv3pjz3zacPij1>#(UWWV% zve5n*(_>Lb?wVn@n;@4GMjL0L%ju!}0-9v8Z1c@-J7&~Ko+Y^Ofml;d?E*!nI;A&mFQ!P52`2O1? z$w1RsR+r7!BauPTx=okyV;m&UDh{1#R)^ilFxSE|GFU+Nxm*Q8e9~7feGxoy#3=8Z z_rw8;9}~Z7&-_i%;3CgW=;f>j;@m8?qgQ=WS+}eA`hm<`jBlkO*Nx*N4WglPzvtD#=DWhu3MOXyW zft_<=FRd~dVm23#Q$j%_X%Qu`>mRmNJ)XUJt#{*7S&P`#$-mOD-mFStQ^;jgPNltU zDZn`|l`c5QimIL2^M#UoVJ@5Ec0~r3)l)n!?%O$kuAYX{;949ZafB zJtno~L##{hXl^Z}DMwbo+jegpO|%jBX@7I<+yS>_aX44UwengoUPE0J`AP7HU$$-U zq4r~DwGvyU6{&S{|J|om?|tvWYw^{KN?%qAS?%ZRM~J%vrsY5|ZVZC??Glpl&^o32 zbhKZDpcgEX9ZFGyr!YvIbG!dSSN@l_m#N}b4tgXg@2zg0wkQd`YMA+Z&4us2XR{n# zE{v6YQ&orMTk0MS{MEnVY1vDwvZfqeH}=hZ?(k_-9^VvTMH$H%dSDp5o(iSprd3dr z5q378)MKa$*<*-1@qg`M*XS`8HKe38s}{mB^{5F^Lct+T9HkJo@(V$%EURQ6V>wCEBctH&oFi3Zy)bQAY(>7z~ssd)HJ}YQ#I!zM&eUkJ-7YXrM!Y7(@{nFqv|)@JQRX zEI%@2%Aa7yl{4H#nBdj?NqbzIHzdo&=D+qqlOW+`E+k!16bWly3S-YSW7Tg*c2Ue5 zq$CoMS#Br5i2#5RV?B7Wf{Urq<;9m8VY~po)4m~=WE^DsZ)fA2&WNnZ5LaydJ}$6E z@Inms(zvnMv4GQo`@u@Td*(v{geaVhDLe}DDXLgzR5lGd9OdnjAn6Xk<_@c5rUbV{ zPw9|k&_3Q}Q7{wHJqWs}HtK2H<0`bFJHK!kyv7rKG%6d#OE!KKsFAI0 zPl^C6Ez&Ct@QreGnhJdAU?mI3X2Qk<EW2`hN{qJQ2*yeFgVXx(yxaN?bHu~{T06xc|)csD@W*^`d~7w zGwOF`X@Vy*ndc0#1^p+9`JBv%UN2Y-GM8@ExRgw$6J17H^@TL8^x<_rn1Tu`qLgsm z2ZMM%dgki^rt)o=l})S~DsaahhrmvZ;wOJK(DEf&{EZ~oe4kR3E{PBv-vAomb*N}k zUTsGIT$xJYUK775ns_4Ifi_4`Z4D|v!)bPXUu30CDF*r@!-{IZXzU4`do!myMunG` zV`W+^{Zy&d>U`hW^9EhRYo4xE5L(ZcopaZ@y9xNC3QsXpNylbR0CyMnv#(pFQ=zym zVX(jEVW-HNRC_5BE&XWdRQN^R;t?CcaE3l5y6vlWyWvE0%tw{V1LBXof{NyhpfeyY zN{P6RdPPKH|B^ZQXz(x3^iU7hBJZ9#PXM^mQeHr6Tu4qAgs9{ZEJ!VdRUHy;d?)x2 zvUee+&-ESsCTpR$ppDzFF?W|i*ZeiQSjL`Pm~Hi=5$BkKlP_3=th6fg&K-0({5EHW zR2Jm9d@;wlO}i7Ns0`H&v|0BaSPE!7$=j11+PxZ!l-)lEV~7JXb!K+N%9CuV_Idlw z?`K&FhftDNMw;&wcDY@`it@`dysEDEu$vMg$@3i35QeL=a6rWPYV(V2QE&%cVJhxG zgRi@$^}>TG0P4mYa0^4}#E!1pP}!+!L3{yLcvLD*gH_+g$1}$6Tw3mhhK=5pl}51k zytI7Yb*_jF;KdkXT`*J2TyCTdAa{n?^*;zEjm-!DW_KFu!;N(uaGQ?AR#RrNT)WIq!cL| zPOlR29&%Xgx^(ZlOgl>B_>|6@kAFTsE-!heN~zjgEYju>`KBTLjqPE;0J_1S5i;}I|}OcWDkLVU;QFJ6?<1f z7zZ62CLG}V19}LtHXmGoxd#SenV5b!NvTPA*$aMuioeeA!ySCS4ExJS&$jBi7N_1M zC#3b18( z2LTzx?_ee{V3Vlm>{GCGWq=k2;6=w4T3$gfDm=6vJee?rK5cSufH@GV2Odi69M`YP z3NagsYZA<^r*Gp63HPyOYtY$>AR>2)RGtD7dIsn%;W9z4kQCyw#a^hGkQ^?*pLqj6 zAR$8UIS~l>RrsX;qji$T}@p$VE_`9=lU-t`L0`ucZH=A^3sQ^!YABfb?Rh);A$G5DkUht@(Zb%I0abI@Nj!qL0$mp;^nVz?{9dAk1G&I`V zF6J{$-&joa{Q|$_eTLLSSI>a`eexUB0}_&dIYvZ_Vp8 z4CImS&97(S41}0Y0xi>LToBVlNMU>fwVnAF1DiNnQZbH%h?*G$vW>xI(AF;9!)+d4 zg8K8WNW)SihuhltDPS~(u`wA-^nUyZK|+-Tp?A^$g17U15?)Cb3MeunnU1@tMa>?>k!O>s0nznGUtUw{@CN5zr4w|w7Bx?|*I*k< zyIQPi{#+y6hhEp02Aue;d(y)6U833N*CEZMcyfco8#A7+D}})Z zo;Nwlo^Xnhn|ZLK5M^+{q~IS*Wqrdyz%{>(WouU#Y=3*~Y^lN$tH?H8yJ*gRVtA@? zPKjj^+2g#7Q!P=xT2`eDVz07qr%F<*8zasM45X`K-!odl$#{%hjziqfihbB$`MMUU zcIl-Y782s>ZaMf36Ye9t80JEuOzTNDZzEwF~*)nR?R(S{X`eTGm?`-Ejwy1oiJ|QF zOsiq|$S`Rp!!Ma8c}DVaUVa~0lKYzsRfHSy+Qd^V^t=D}c(Te?Jo2JbJ{ziFB8s2CUb zJ^tijv>5fdSnr1Pe9p4YNR}_|nArPwo{MxxN-fctV_3Z5vK&C1JC(xUabnMbw17*S zKHC=(GzPQH-xVwI5uZoUaJE<+`<)qoQ`KQ*Jdq@Iv3)D7LB%Mzd;O(U{^_^(+zCZ| zP}RO?xWK3pSP^wj+##(ZmMy~1!6mH4@5?`1Vc%v>IdLYLU#rxUNrlt0|D3Y$+N2w9 z1?;A(mo=3W!9T#3vAWuGUD>r6O)uwZkw>Gvn%6-=P7Gz8%UFkWO>nLV8jp_nt>un! zFv|S(+FASZfPd^3vrP?kR^f?g-@LDPH(P`#&ACwf=G?E$xmmfNk3en$<}xb}!2}d= z;452wlRTyY!IM@U?cF%l_%g$JDP0j)%`*J_o#}KH-R~e?*=rG)@J-{rLL#Y#xc$`0 z;jW+SrYc;X#>f3U^88!!2zMomLr(P;?*_#>+4(Md!nA8i@I#?kmyu9SZid72-T3z; zxdoV`uPR;r*{d~7&z!;mO455@^;^F6DCQh3p=Pa-*C+-vhQ}EBjPn@LrAfCL2)B$9-nDfdKFNQy_5BuB3_#d9QCE4z>nx0O(9 zZX0~JUm_~9=5@(lFtIqqW4)&>VGi|A_a`%e_RX32Nh}fZ+I}W>&`jINIGA@zVL z#c_QI2j!;XMi|Hn=j^xFkNuVn-|*3C_{;EVtyQ^Nckyrqqxh?rABVk&A*&te(O1>EkaWQrRqA>9O&?xSD@4xK7>T{xp zS-xEAU~Cy-un=c>@UuJGru5w5IkvW@jih&^t~UPKtarE(X;+XGcMk}RjO>xk7n^sk zeqnPp&fz^S$h#4>v~#)>cbyx12?3*ZK06roT(YRwyE{}6XG$Fjn$0CL9bGaX)jFTVmdnBgjiPfKY=w<7^1>5}j?tFz+axRVL-e0xU7|LY}U5=Isf21UWAgp z)~Uo?L!HcoPt^qbZe5md@Ow?>Yj6KteRw?F_l%`*{deVA6i8ef8n?xyF@d}4wzSz=SjX0dmuXH=3B_3$q>!&y=Q52(c4Bf;~N$#lg za#f5ec(|QxCrgtN+>&HGDOfMN-Ss0x)rvke&5Rm2E-vlQwxFakZU1QqG132rAp~S& zX85Op^S`igtd*s0cj-|(j#S+cl2*Y6T)u;%3D(~d+AmuxmoMlLGHiU0%|$Fc@79gc z^-r-z$i2ROav#JW-)K&m5LP~)l-$)FRG!|W4BC*~)9aOAEX!m96COfcy6uTO^P#}0|OS6mJ zI{DBO*PUe2G-?((M1N=AXtl{8C&TAB`Wefnyo#^Chbsj|X~h}7wj{j(=dlcb0!pZ^ zobpcZuyrt#4TWyYJK4!mo#Bl`onrN3K|baExWmi~K6g~jsJ+qA@TzI;~zSlsqNF6{*@trMY zI();YkSuxh=n0_Q2uNmZR2!tQi?9Ys$Sdw!NAK&~4F#Y>jj5?+QmEFltC6KjDKPJX z@}PQ@4me{}SSrPii-{auT7Rb4-2okA$Cey1)Dw56*e2A6<0j4o6Ke#6iiT|j-WO5BMT~x zGx`?DWQOJh2MD1?F8{X8QRR$#6lEGMR@7Em}5PVQ3_b*l#3cO%>2) z{W~STngL7(y5IFX4;nk+J!~(`aU}Ddun@Q%8InDbU4G`9ppa55-CZQdbsphJDZG#1 z8>~0-?D2(y{cPB+Qs0rNcn%KQ%X(?rR8+W^jnbK80dfvbk(Ujsv4}tnb_bWw;cel~ z8h6<)t8Dt#p?JiU`|OQlw$tz1LQ`H@&KvjHx~T*iuk5?^BXK&f?8eWE)g$qe&!$`V z+19B9TCZ${i`zs%PKnYBcTvM>R;zB;Ytf!{pQMNP!>Hua3dRgi^F>}iiYnXT3sKH0 zib`vY=jhNM_{i*tZ94w(a<#t!4a47nhT;DKG)jMg2C?(sK%*RJbR@J}`){Bj!F{=0 zViLlHx&PvU)s59X-Z9=^^LRc!zp**dXG+PtKCS&SI#IvX?s#<->$-5Tzk0pUy1FoT zd_}bRTD{sP&ux<7HOIP_KyJHw;#Rit>m|)-Lv@Z3;sPlq=i;)GQ(35J-^$lK+Hh`? zq?Rw^`nNhCN?=TQdudN2Uo}B`wKvj-8hCf#!{mZ@uqa}JDi%ZqEt8|~K5gt^ z{NM=#?ltBwwk2QiJ1%5o#(jMzaE@Qma6`mT0tn*<4cWy*CT!HrFsZhID^8eCphze z*CT!ih+08l)#qFOY^h#GSga+eH0E25eAjb)2%uR;_-Vvv6#pJe`5;uhg0Qm7it)yI zZ5ikca(ezVyj*hYl_rP_(G|fetJt}j#r)aTO2SOW z)zR}pqwGnKg`j@sY%E>yu0L z2weV{{23ortTB0&^u|3g8T5NmK@byrHc4(pe$_H)*=|0ca$e(RxE|(k4eBVHeE^4? z?DazJJxr(++E98g4Llc61(H;pIADrBX=ksC_w1ezx!0CRJDLTM=-;Zcx#Pbe%s(QI z=e&+SINwfQ@O^beS(9ACqY2gHR;y7rMySrYeYbS2xB7@`|F(Bt&>*#|7F%3jb=JC; z^mB{llJz^gZbKo(qMvp7pF`BDPf(OQD0Kza$cdc-(eNjefFvNS|HUNJbfnsbkZMSfTZH%XJuqda(3!E5!#}dkBEMvc3ui*J%ggu( z{6!_du^e{;Ad}?rp2DB7?&J$mE)^VSVUEgzrlOL0**Nc7XTIj(;61PZUOp22mV;B} zZNqFV5`fR+A@&!Q+^%sSe^N>C*5OEKjXUFwWwzAsTO)K{S+W~<#!o7d=an@%zBN+e zl@)#E#@f3zQph1sc;-%9KN>;hm8E=imk63tr25P$Ja9jGl@inKvZ*NA*!=$PTR2e_ua7PcPsPq_X0)&52$)1?q%EK3IzL*@-v)=W0H+5O14eJRKul=)y%r-~eH1P*VN7##t zn`%x1DXurhV%B?hPY(k+Z`G=ao{I+ME{lwv-gs5(CcY&TBX8N+!%lM^h}YUzwp&vL zyq9MqPn!p!IT`j++lkudL|c|&w|9H&as7phHlXy%-GWSZ@JIi#Cv@?YxAjZ0x9MX} z&`Q|-v)ek(Uznj)w|4oNbN_DXNN@G>56tYDr8*f3q?cE-mh2TXz88D535-6+7a6z0 zN@@Q2OMRW&{I~joRlw4qHbiY1`1xZ*PEp_HtG>CtFhoQEGdeo?C>k~VEO>%=u&7pU zh#*2!%Y}h+6d?Y&wDhI@m~Pd*rH3(kP~iqsO#$x{GiqQ{&=@^P=RJOgebrOOrp@S_ zMX}X?VaAJo^3Bc9{$dDgaDe<{n9|mA8|FwLko_wN!UGA4p19U;lu589CcPs8ljuF} zVO$Le?SMYQh`#&kQLjdqOBX61%*BPaYxF2!_XC=F@cSz7iB4p-(g~ z%(0Ve8T;`scd8x7g2JgNfVa*3_>rgxFB{cEt9;m0lmahXczu4ZnD(doy0|S2|5RT$ z|E0caKGm1y|D?YD5@wI?vq7Kg%R8I#Q+>hYlt{gB8~>a7`sU$%SMIpA_BhSc^q2Zt zYCL?wCTJ)AOMMLv`NBqKk8Kn5eklp~8_4`;7W+?=<^L5j|5tqxkoZyk(`5NcwO~;b zn`%SyJ^#Pd*H!(wpBc9glh2e7_JvP}jcJ?3qf0S9hi8M3=f%I#%KYR;@HZE7Qs+knte~# z(%y`I*P03Kkc|VZq|b^^>DpmfnAl{i9+NK{+CkeO`Oi9ERYz=^H(L;8oD;VZ(_?z^P()5Cy`EqX_;HOEhysr?tt zCB_-2S#FC)a7DS_kr`*{Eh6P3#M!{e}iNj{t1EN~wX!G(ybhKsd zJIEjKbo4?D57Er49-2uC zgs0Rith=x{5)o3a|7eC9W?ki0MXc-Lu< zX_L0z#Sxl0SU#sr#9c4r!!^82qp#!C9aB=jy-kQNnNU1)(uy9_)ZKHi&b>_{AJfD; zr=$+OO&l(n6y0)))?ca7HciX!cqK8G*!shMpnNewA746Urk?V?gd~O6$NfS7ax$oM za*MVpRP+!#$O;lq z6>fwR>#+RO;?v$ov1|JtCcqE>{(2uNWYT^Da);TS=DtUMcrkQpQ+)EEXL?O+YU^S~ z=WT3yc+?f~$u~dSGOKWMs;aDcvfyRUnrthw@K!ok4mFn|5wbg+7mgLy!tQy**J1{d zAYN);U0*#_vWDzAxU|yemRqo(Ebf2mxKNx}Tj~tN?9nM3n8Z|3#69n*vf5HF+ z`OlKNYhCsPXCD!azV+=+8zcUJ!Gek4g@@l?UsiG+O~($m;M@v2d|i^o-_Qk=7ZzQ9 zKO~($Ui6DvPO@2PCua<|y>vH_7~w{vu-tx1G}X#@>Bi(f!!*Gko@ZcosfmQ2b_*(| zy5HvkfN9}evC}Sd&%}FQ@p1NA!H8dDkTY19uurLnwJVo11Y+3}@#AZc`0pN&5)i{I zOVe>>ImPdlWk@yrL~J0$dr{1|p$s+su_D|74H~sJN;>u|Rt|U304xKPhLq;#NR6!P6wrnA zYh|nud~2hLhlfX3O?wGTyn(+sx&Q^4p`HR0DQ-eA2L#htVQswlbj$CwJ1KFfgyFB!kHds{8Nwtog@-cD z{)=G1s`}d6=Ee2(yY<_})}f z^Q4P*sHpk(;SP-2F{q^!>eA(qRhIh8w3KpN^;!pg^T43aMGiGMyI!s7AAG@IEJui* zrC)EcKraKpx1Ixy#1#5ihKMz&j_`Y%k1G`dUc-9>UTuimT*H5>$M{V{&tuIdWT68> zvFhy`EyOS3;>B6jW$|a1i?m0`vq8-r1i?&7AabK>aX2GT?4paO%}=L8U}T38VcqEE z3sf&tT|xSV7}ayPLZuP2Ad2+zI|Q(uLYw>{Vsb(6hPjC<8f}qy9_2jN-M=hxQt z<6COZ6%xTM!W(hU{L=m1P@t`vpDNa>?a!m%_-9>w9Jrtxy=Jw+bR9M*+B@DU)k%_0 z_r%(D!4;}B*dq%5yV(H#d)VW=gv2edFI&^)@{-Zp3BI7hpHp9VzhZ~7N$hp_=yipbI7W2DomxYs-hmmoOa2N09QpI*8 zM}ES|@R^3MSm_WTx$3*PZWhVbBmQV=Gpjy)s>q}sx(_jDDWj8cGqjC1DYA9hp=gC2 zYC*?+I&}MGsB$$taqZN;fsEM+O7^p7dmki1qc{IUz>4$T0wzMc*I?C8{st*h6QqC* zs$u?fAIy_6vqF`Sq3U$%#0>SuEGhGKT7F%O*&P78Jsk26c=}#9zw48(OiXtf?crG@ zqsL|wE~?$Y>6p&y?90}X?Kxr~)8BCBzdOhMlP=U0j72EG5|j#Ab-{=*xEV)nf{8FtngQN6I&qDUj+Qui7-%;o1TS{l}SKQfSp}f zgqekriH(DvgISPSRD_91kX?jY7r+lr!RRymU}FN1l8VTR0{#yzQQQ{* literal 0 HcmV?d00001 diff --git a/paper.synctex.gz b/paper.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..7b724c8abb01b505b1b2ee6a6c12d1ca0f372f8a GIT binary patch literal 1625 zcmV-f2B!HRiwFP!000006P;MeZW~7sz0X%zHw%!(s_LCrpK=HsAaURz@PXnY5t2xO zOCTf2zvuO6HgydpOBP^~uiw0`uCA`Cp5K3L=6@`|efV>^+po8qDObO29*&18PbXjZ zz$T0JV!2z-*Zaxm?P58(pIvW`_n)>8$NeWeKTIBG56j)&C`Rn9vmj9pK@8@^>{4v`dF7dUIF>jW+pB--6&&&PcMSNht`?0-dZ$YJWnd7~ z+qCY?)ogyd+${QUpB@$~3|%gkt5)=9`)(BBC5V_)|jLE_TkHFwO<~lRQ=U|{S2Yy<}j_!!1dL?T>Z@#(M@eI zUZTIS-X~+(PbF|nmgT~7a)Aw9P(zKzNHB3gH7-f=bYaO6i;arv1AFTROea=i=6!sb zM?Xiottp0+IG;49I>+Dl(tMW)WZNs5hyfDY%xO9*lZoC28LZSM@7kF`^o}_Vh=!x} zolH6UWc2mu;483!2|R#rM&XxdIIkY-0TyQKf-5J%7FuS{J>KxKcnOvj--}J~l;Zoy ziNz>>$kS3%{AdWzIEAN>VoFl#2!hSI5KF$WkVkYYTtZ?`R_PdKSW1d-*+u8oCcr(> zv9pTrDZz7^@2%jpjqqb~qWvZj(>fxh6X8vYYF!443StKSylwF2JUk0amkX|9R5@$QlGFeD> z8zDVDJR55CRa~6K{`dIJIR45k-4To_7@Hki%#(1~I8u+dM;yZN8{xN zlwLcp)8t?Stc$@&8f<{K6q8Ppr-{u@S%ZIUdL|AjA^&vg1*bnSb>kh5C6hRXdt|8~ zqH!O{rGZYHrea{^DaFSQc$asl;0I?z^j`CkkA~~$_L7lL$moE463Wg7Mkyt@KL%@%#k<6jnKZ)0 zcCfL740AnBd=*FF8#ll|j^n2%ECo(Y`1pj2&*eqq#-Mzq0e;>p8FX|eJR7;K{U?Ye z99tRq55)+E#`@6_LcL4RdoL|_ROu>6L+~W-&$MGvdGi6f4Jov=N$TY#YYZBHt~w@$fF628n+RRpw>YLXmOiR zd?e94hsJ~WF+0(`F`~G{g)P}YYF1OO zz3mwkK?jWWSV{QVfN9yM1Eyu14ww-}A25XbPvnl&1&rVlhI-TC4If9<*nwz=`+yeC zC>=&s3b>Y(d_il4eqZt75g($S*MyKS%nC>UmvWy`;vrumnUp@Pq56Q7d?)A}qUNKi z3ZnHRI!Vd_R^o7H2-**cYJ*CCE=kEpWv3AC47u=@e92X5xGzlrm-wpz-12adj{*Hc z8NaQ*ieES?Us?z8+XmImIPrAowv5xEJHlu~7x~=h%HMLj$VG9DHuQKK>1fdElvCmm zLU*lnIPbl%;!8lUiW=VGrDt24u>?eT(y5_+P`kE#tMX!MXxT;i&8C}VOl{&5rNg6@ zI(xVHt}VaM@mGVVGc>0UTz2&mn+bG(qu+exuE^?_RWA^qsyFU)IQqmr6IsZ+=uK1h z1s9(L`#M5d_R9yQdD->7I&+k$`mcM9Z{P9W^UTNUx9$EgyT7_yPOHz`<0dP`>P%cc X@L@mStsf4@`)Tz*>CKaYKo|f3dWT2* literal 0 HcmV?d00001 diff --git a/paper.tex b/paper.tex new file mode 100644 index 0000000..57e71e2 --- /dev/null +++ b/paper.tex @@ -0,0 +1,89 @@ +%% filename: amsart-template.tex +%% version: 1.1 +%% date: 2014/07/24 +%% +%% American Mathematical Society +%% Technical Support +%% Publications Technical Group +%% 201 Charles Street +%% Providence, RI 02904 +%% USA +%% tel: (401) 455-4080 +%% (800) 321-4267 (USA and Canada only) +%% fax: (401) 331-3842 +%% email: tech-support@ams.org +%% +%% Copyright 2008-2010, 2014 American Mathematical Society. +%% +%% This work may be distributed and/or modified under the +%% conditions of the LaTeX Project Public License, either version 1.3c +%% of this license or (at your option) any later version. +%% The latest version of this license is in +%% http://www.latex-project.org/lppl.txt +%% and version 1.3c or later is part of all distributions of LaTeX +%% version 2005/12/01 or later. +%% +%% This work has the LPPL maintenance status `maintained'. +%% +%% The Current Maintainer of this work is the American Mathematical +%% Society. +%% +%% ==================================================================== + +% AMS-LaTeX v.2 template for use with amsart +% +% Remove any commented or uncommented macros you do not use. + +\documentclass{amsart} + +\newtheorem{theorem}{Theorem}[section] +\newtheorem{lemma}[theorem]{Lemma} + +\theoremstyle{definition} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{example}[theorem]{Example} +\newtheorem{xca}[theorem]{Exercise} + +\theoremstyle{remark} +\newtheorem{remark}[theorem]{Remark} + +\numberwithin{equation}{section} + +\begin{document} + +\title{Humans Suffice: A Novel Proof of the Four Color Theorem} + +% Remove any unused author tags. +% author one information +\author{Eric Bauerfeld} +\address{} +\curraddr{} +\email{eric@dideric.is} +\thanks{Dr. Joe Fields} +\thanks{Holepunch} + +% author two information +% \author{} +% \address{} +% \curraddr{} +% \email{} +% \thanks{} + +\subjclass[2020]{Primary } + +\keywords{Discrete , Four Color Theorem,} + +\date{} + +\dedicatory{Dedicated to all who value more than machines} + +\begin{abstract} +\end{abstract} + +\maketitle + +\end{document} + +%----------------------------------------------------------------------- +% End of amsart-template.tex +%-----------------------------------------------------------------------