diff --git a/1-introduction.typ b/1-introduction.typ index 44cd42d..f5fa795 100644 --- a/1-introduction.typ +++ b/1-introduction.typ @@ -2,6 +2,7 @@ #mol-chapter("Introduction") +// talk about the standard unix abstractions #lorem(100) == Background @@ -17,6 +18,7 @@ We use standard results from @netwok2020. Also relevant for our work is == Criticism + #lorem(150) #load-bib(read("refs.bib")) diff --git a/2-my-logic.typ b/2-design.typ similarity index 100% rename from 2-my-logic.typ rename to 2-design.typ diff --git a/3-examples.typ b/3-implementation.typ similarity index 100% rename from 3-examples.typ rename to 3-implementation.typ diff --git a/4-results.typ b/4-results.typ new file mode 100644 index 0000000..e69de29 diff --git a/5-conclusion.typ b/5-conclusion.typ new file mode 100644 index 0000000..e69de29 diff --git a/refs.aux b/refs.aux new file mode 100644 index 0000000..b640121 --- /dev/null +++ b/refs.aux @@ -0,0 +1,2 @@ +\relax +\gdef \@abspage@last{1} diff --git a/refs.bib b/refs.bib index c862e98..708860a 100644 --- a/refs.bib +++ b/refs.bib @@ -1,19 +1,30 @@ @article{netwok2020, - title={At-scale impact of the {Net Wok}: A culinarically holistic investigation of distributed dumplings}, - author={Astley, Rick and Morris, Linda}, - journal={Armenian Journal of Proceedings}, - volume={61}, - pages={192--219}, - year=2020, - publisher={Automatic Publishing Inc.} + title = {At-scale impact of the {Net Wok}: A culinarically holistic + investigation of distributed dumplings}, + author = {Astley, Rick and Morris, Linda}, + journal = {Armenian Journal of Proceedings}, + volume = {61}, + pages = {192--219}, + year = 2020, + publisher = {Automatic Publishing Inc.}, } @article{netwok2022, - title={{Net Wok}++: Taking distributed dumplings to the cloud}, - author={Morris, Linda and Astley, Rick}, - journal={Armenian Journal of Proceedings}, - volume={65}, - pages={101--118}, - year=2022, - publisher={Automatic Publishing Inc.} + title = {{Net Wok}++: Taking distributed dumplings to the cloud}, + author = {Morris, Linda and Astley, Rick}, + journal = {Armenian Journal of Proceedings}, + volume = {65}, + pages = {101--118}, + year = 2022, + publisher = {Automatic Publishing Inc.}, +} + + +@inproceedings{linux_security, + author = {Zhai, Gaoshou and Li, Yaodong}, + year = {2009}, + month = {01}, + pages = {58 - 61}, + title = {Analysis and Study of Security Mechanisms inside Linux Kernel}, + doi = {10.1109/SecTech.2008.17}, } diff --git a/refs.fdb_latexmk b/refs.fdb_latexmk new file mode 100644 index 0000000..ac6bf3d --- /dev/null +++ b/refs.fdb_latexmk @@ -0,0 +1,12 @@ +# Fdb version 4 +["pdflatex"] 1747249719.53131 "/home/suri/dev/school/cse195/thesis/refs.bib" "refs.pdf" "refs" 1747249719.66171 2 + "/home/suri/dev/school/cse195/thesis/refs.bib" 1747249719.4384 900 80d5baa70addd04b65dbbc39abd8d792 "" + "/nix/store/mdmi3lq496xbfxw7ixvkvv2c3ykdfcjk-texlive-2024-env/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1 3353350 ed70dbc3ea5f7d39b612736943eedf66 "" + "/nix/store/mdmi3lq496xbfxw7ixvkvv2c3ykdfcjk-texlive-2024-env/share/texmf-var/web2c/texmf.cnf" 1 43655 498ae5f8cc45791715ea18c3a41168b3 "" + "refs.aux" 1747249710.22753 32 3985256e7290058c681f74d7a3565a19 "pdflatex" + "refs.bib" 1747249719.4384 900 80d5baa70addd04b65dbbc39abd8d792 "" + (generated) + "refs.aux" + "refs.log" + "refs.pdf" + (rewritten before read) diff --git a/refs.fls b/refs.fls new file mode 100644 index 0000000..9a41bd6 --- /dev/null +++ b/refs.fls @@ -0,0 +1,5 @@ +PWD /home/suri/dev/school/cse195/thesis +INPUT /nix/store/mdmi3lq496xbfxw7ixvkvv2c3ykdfcjk-texlive-2024-env/share/texmf-var/web2c/texmf.cnf +INPUT /nix/store/mdmi3lq496xbfxw7ixvkvv2c3ykdfcjk-texlive-2024-env/share/texmf-var/web2c/pdftex/pdflatex.fmt +INPUT /home/suri/dev/school/cse195/thesis/refs.bib +OUTPUT refs.log diff --git a/refs.log b/refs.log new file mode 100644 index 0000000..9e21764 --- /dev/null +++ b/refs.log @@ -0,0 +1,570 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/nixos.org) (preloaded format=pdflatex 1980.1.1) 14 MAY 2025 12:08 +entering extended mode + \write18 enabled. + %&-line parsing enabled. +**/home/suri/dev/school/cse195/thesis/refs.bib +(/home/suri/dev/school/cse195/thesis/refs.bib +LaTeX2e <2024-11-01> patch level 2 +L3 programming layer <2025-01-18> + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.1 @ + article{netwok2020, +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no @ in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no N in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no W in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no : in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no R in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no M in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no L in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no j in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no J in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no P in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 6 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 9 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 9 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no P in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no , in font nullfont! + +Overfull \hbox (20.0pt too wide) in paragraph at lines 1--11 +[] + [] + + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.12 @ + article{netwok2022, +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no @ in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no N in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no W in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no + in font nullfont! +Missing character: There is no + in font nullfont! +Missing character: There is no : in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no M in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no L in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no R in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no j in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no J in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no P in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 6 in font nullfont! +Missing character: There is no 5 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 8 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no P in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no , in font nullfont! + +Overfull \hbox (20.0pt too wide) in paragraph at lines 12--21 +[] + [] + + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.23 @ + inproceedings{linux_security, +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no @ in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no x in font nullfont! +! Missing $ inserted. + + $ +l.23 @inproceedings{linux_ + security, +I've inserted a begin-math/end-math symbol since I think +you left one out. Proceed, with fingers crossed. + +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <7> on input line 23. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <5> on input line 23. +! Extra }, or forgotten $. +l.30 } + +I've deleted a group-closing symbol because it seems to be +spurious, as in `$x}$'. But perhaps the } is legitimate and +you forgot something else, as in `\hbox{$x}'. In such cases +the way to recover is to insert both the forgotten and the +deleted material, e.g., by typing `I$}'. + +) +! Emergency stop. +<*> /home/suri/dev/school/cse195/thesis/refs.bib + +*** (job aborted, no legal \end found) + + +Here is how much of TeX's memory you used: + 18 strings out of 473203 + 480 string characters out of 5692202 + 392988 words of memory out of 5000000 + 23365 multiletter control sequences out of 15000+600000 + 558837 words of font info for 36 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 18i,2n,20p,123b,59s stack positions out of 10000i,1000n,20000p,200000b,200000s +! ==> Fatal error occurred, no output PDF file produced! diff --git a/template.typ b/template.typ index a7dc61c..a2ec327 100644 --- a/template.typ +++ b/template.typ @@ -73,7 +73,7 @@ #v(40pt) - #text([*MSc Thesis* _(Afstudeerscriptie)_], size: subtitle-size) + #text([*BSc Thesis* ], size: subtitle-size) written by @@ -87,7 +87,7 @@ #text([*#degree*], size: subtitle-size) - at the _Universiteit van Amsterdam_. + at the _University of California, Santa Cruz_. #v(50pt) diff --git a/thesis.pdf b/thesis.pdf index 6abdc348f4dea52e7494709869fc86f3570adf79..a1352f12d43d126c8ca332a8cc1900dcbc6256b2 100644 GIT binary patch delta 47476 zcmbQSoMp>8mI*a%?h*d}e*P1i)WZ9kh!UWf}sTn znHd-<7+Qjmsj;bokpT#Sj4?7)FfvpyH8oQ(GEy)yRsb1jWTIeXq5yJ~k*R`_se(C3 z%1pt?Ou^jTLcs{+ZitwLf{}%Sv89oMktG<_n_DOt8-S68rGl{`2$`6eC>R?l7#o8v zF*Z>!Hc>DIX){$YHiw8=C>Vo`F;OtK1R;=PObirE48ZD43>8ca6-*5b6ikdj$k@P4 z!NeGZz+xr}CMF6N#-OlPFbOqPFtadJFfjumkR>MO3MS?X<^~oDCSU{#a1%=f6HBng zrUnWiWMrXWY6wOKAS)G2jldCOYOG*t3^H%>N@nSLkZGpo3Z~`?W=5t8rWPOs@|vlo zf~lnfD4fj<6wD03;bLZ}U}gw*l$ntNC`p)GD43aokfouyf|;3uImluI1#?3XGBY(+ zFgF4rkcZ5T70itl3=NDd6wFOP2;^jQ(|QGSQ*a=dn<cR=Uw`(Xe_hDod;D?94X(a9u~nb4ER5^IMo#`|r8CXj71qu7>1_7BZ}allrCbgk%S8uPO=J=cr97tsUCD`iEy6jOBW$2E6cA-))Xte z2r+42WBO4s+qdRKlme%(+=K;=pSYrUWF%8^PY8w{n#i=fQMr|cSB7(gw8f=>v&;9wqECk=(WfV-Wr<|#69jc#RjR~5dE|zVfu%JiOU`Irropt*4=8< z8sFeLPsmF5lrICn@9kW*$!;%eP23YnD~UMJ%b3GMr1M zOjM3ycc1hlqrD-KO;>Hjw3rKhG0P&k=PuK(n58#8bC=W7mqnA8oi44PrGEZ0%TFEO z3Aarg_jw6F`E25-c=^l@FXPAECdP@E&$xWk<-C-s|Jy0X?ZsdHNwYq$5WMgHxnjSmG5i6wTyT5qxd}s{K^v@*00{L?ssx3S885L zaY<2XVlIf4pOnSLWn`dWppZX#54!-1rLm#O6zWQ!sf7p1!$(c9P*YCadd*AC=<&7J+Zk_0%!W_QCT`$J2^wbg4 zck>?B=_x+S?rsflS$LtpUOaBGwMqSc4{9Kye+THj$lwCC`mV>&X~_PM97L<%qW zo%wCoUT24hgog4Je|KGQ*zZvP-r)TO&u_2yyx^YLsJQRjm-_Qk z$NA0SJ$K$tUlYIkTwP&;!;HVb@8!K?T=?#ru==gr?Ynm0u5N8*-D_G|6tUy^k^=(g zPs)9nb>U>4t$3@S*nRWDkEcXmtL@vL^UzxR+CF2=ob(xc-4iGf08;YrAGdCY2)Aes`PKKng9NZ`aRF#}ZiQJ{V+tzKnJ~Pv2-J1Dl0?X#jJ$}#m^~LtRy|ry$Hh#0b_5JL=TXma%U;Xa> zcl#H6&H1|a^@axu9ey7uXP+k}lBmA1d&BRZ+2?DmEK&=mKl(CZsk2bL#80Pl-I4lc z`%NA#oiu&>zNF8mu7%%fKPMCQJ?r3V`F+2P?K|yP%PhEZqkluc{I;YUJFj2ktl~5Q;XO_fZT+RX$xmmnW-mXYb@0#H!~BJRoHL)h)kHU5pAh~b z#Hj!MtEb_ryVC+HwRW$H@L&5X*Y1k{3)REL2K~n$gr2(S+~85Z?#mq^$t`JLH5?YF z_}yAlwRFSmwdN_ZPvlRXJG`|1gL3z`b*E-B7Ei3%%%rVj_}o}@Z#PVLhy2S4B`=ts;6tyOEZL*5quXOlZ{Gy8*O%+0D2@1uQ>B5&SX+Ob_@xZztE>Fc#ne)n#T#}@NbC+^I?Tl($+qg)j~ zGuOGqezBz$CHXdHrONYFCaWKh{2;?^morgjXKQ}kRJnsYxs0Uv6_`Jo{NtIUd2g$} z{<$~);q@nd&YuZ?RHw6LYPQtZ6Njp@_a2mvIl}(;Mb5XX#9L-d<+-(D7g-seD=t1_ z<*@n0fyEWJ_qyV5lzUbR-rA$H@Ax#gwWf@x%%6y8e6%r(pFH`9y5p)-wVzLMzju&P zFzVXlBQSH#lxn-1Yu2#UM>+>DJQlEeePh&(rK^|DP7RlOT)*bmUJmXYN1wWqI-Wyk zW7iwqT-CEhrfPSjWU5yp2lsETvbm<0Rx@w;w~K+Jg`rkqZ|t`&xBa|-1Sc>rVGvf^ zB6sQVi(7x2jZ?*>LcF{(MLEj)MP|DWPBpNfh+{i5byxp3ijP)&A+>5RFH zPcA+la@0)nv)yyuu$j}-_;y?_p3fZT_9Q*g-rR1bMsF71*{aCJAB%7JPJUCIv1EJk zf6tg-S2&FIy!ij5$B0QJ+M6f}NbK2@tvq?+47un9r<>30`6AQuoa^$;HIM3jel@7r zp7px&Rq6G-37Z=IIj5OQNPXeGz;Sk$+b_$`H`iYDq%FNL|8DH8!Wrkc2v|o-WK4ei zS3uHJ&OP_4&y=Do}|F~VZZpC;yd8gJ2HZOb(jiFy24$4Gqb>T^qXC)n)X{L6mY zwDrs8zphW2Xfo^LwAB^ekyby>y8T&uNau9jjII3MjFBm&t#0Y6KYQ=an_)BCpJSS= zfy@ms|WP3uiJ&y7lRg)7g?o?y6)LnlG&UT6(NqIu-oH-98LoEYfF9d=NkN~Tc>`#yz6CC=D!m?501-R4P|kbP{|J3y0T->^?FgqYg}w< zTLmsL2E5fY_#76M-JQv+bf`1`2g9ia7i1saSQkHY&0NV@Od5>NZf=T)79P6plUQ8( z*1bxlylb`3rUwVSWKuQ?n@d%__A(XUUw%S!u_zaVWa`;1(~hY4r-m;}c^mx5Qhrn9 zgr(=1N)p$fuRf)#Q{LjSF(kNh;SZmB*ThMVr;j%&`Ux-Z>*3;LH21KT{OtMZ-IeCz zH9PX1|G640cJBMH&|M+qx%yE-VApa9L%n;-R%cf(*SjQA!MI!hazVrT>4}+JKX3Zj z{ph*oQx~`5Q}>(xR%s>enHhG3-A#DL0^VCCxnKB#Bifhf%$mNre}nwhgRi}e%XlW9 z?X35ic{u+_{%O9H!*&yWo(4!pcvRUdUOrl{bXm8COIPsJ(vM=hmAALV`5qKIwM1#T z&msLu_dIzYZHF}zbxBe^*)?7aMpHiU3ql4`0GCv7!6a1cCdX*F9ThE^(Q91R-q?cYlmlSB%9q)P` zc|P)EwCSYD;`Vzw?(f$Sy;9N2B&WCAaI?(BgJEfv7yBL;Na@Mjm&<<0F_>s>JooF$ z3A5a%Go6yE(2iz`)UsnO*)@gb$=0@y>q~Rzy0!A0nZtMZ!P#W)b?i@9_N&D7t@FD% zHRy4m;GEaYb{QAzpS2qQWSB91;*83rGo`OPbBg`ut~3ch2Ht{7M<$s$bmYeIfaNmcIAt7rrtLO1Y+M zTQ44&ugSSk$bv=eo6}!ld;{&%x3jtN8Q=o{+mt zPi-RFvnA@a^8WCi=+A9S%FU~B%bHhz&CjHHiSL1@K2dfO3V&Z-by@WC-<`4(*Pr}W z%5kqtGBbq9RyC#9*yUj01FP~BGi;^se-G;_C$1^iW4-Yj_+AXv|)`RY&B_Rri0iZkz&xdhL8s3*9zORw0{I<?~6(Quq#bVoBuU+T)0VezkKHR%S#1}>u#R;+qM4~v*>cCYa99g zy_55Pcw0y=`eT8%WZ(Vto!6aHc18aCmV8xX&eJvVlcOXh3-lLu?hh({s`S@I{8#5c z(TYaTpkiV5QjgY`JJu_i-<(kI#^^J9mG3txLs6kb;~j6gvcK80$cAiuXf^XBhbaHG z`|8acvuv8|_W${8;kEbE--xJXF>Ucd6I>$ILkm1%8i5Zu3pRaO$FR*>U;}T?VheqWVFcTkLi1m{xPA=_I-kc^0uoDQzKV3)&KP> zoW9jQ*0S=W)4gA&Hl4rkhW6A|woSd;r%y`kX#{C&r{p3bgft;h&xvvB{h^Y7g0LF{}~`MH0iiR2H1q&ar3#j2-k85*hSz?k$s5jQg?|&> z9)IG6-aLaSn~=%-^wf5ShRgUqp19)jGSvlvF7BGwkE|%(`f`h$&e?!#!Tde~JHAdi zuQ>6~UIDr5s+^HWTh?>O{E^$cGCMQG@r};bW$CjQNJN&2wY#<*|82d!a@%L|1z$t1 zYPN`TewL^|-KzX6$swsG`mN8eUoV)sOy%*7od&G_5Bv}9n|14RhSu%Phdj0I9M3z%EP1G= z_xiz|)>Y}*9QKAWAKx$X|8t{Z*;_HGq)X4YZgg?n@&0&%WbT>zZ{{;zUoe_ByI*vh z0BcmJ$)l)0vU3k_XSU_?e(~->*jdet*0jSnZ~Ya$cK7S?%-I*jvP<16FD_WBw8fe? zzN$#szpVPJzEPoCPPF9X&XOPOlI8!u{|x*TAN+B@s?y1@nLMe7HW=;x<$U97zzxNB zzIR&LwI9s*zpkZb{w~>@dN=E{KTi`2IF-L;%e_S#SR{ja>wc-6I^-|$zg_N+|KjLQ z{|hUGCts2JE*0Lvs>J?%X-H9(D0^7@b=K=k>SWxl>n8tl1N~q_D@vs z0&oACQ(yGI8Pu}9_?nu^#+9}-^>@s-*IF6-HnZFPnK4c0X2MZnpF`f)EH>YLT<^W( zhno2Z&!;`r4mp`mcjR>QxL-JE(|dO6nk%`d^wy{U-e#KgEHa1Te4~t-^0M5&>Hqas zDlYkNZ7f@1UZBsPwX}6fd(o=c$h?BL6Ay27XNa{mpKBnp>{sxknLe$X1=MT(o|?S= zlyS~^QrOzCg%ed~-w3+rsrzEu*=b@Lf6t$)-^uWDC2Ji=zru`@J;qBquS~q>E35zD zwU1xw$$NZWvRa!BmP(72-<`s>?}mFLdw-n|cjW~OrG+z=|H!mSo%PSYrr+}4*&No2 zL%%-cK0J4u$?S01jWEFyg%tTY&1$#!>9IdUzzXue5@_eCh_@?TEBIFMdfR|Qo~k72>$MOZvXbt zZDXmYXMp?B;IG1AGLf;-A#q1fhc3&|*4tNnA|cX#ZrtY?o}Pu%XBteAcCs^Us5 z`LF+Y8>M860eN6HE&+jT9pZ=ey!e_tV z?0^2(X!fw0YgMPa(#x#tRko~L_P6t*&f6`=E4u_DIcAD%YdEuf!q=ew@{ZH*H+=tG zbAN%ZS7t{}+o^mRd(q`5cKvl(GvQ%pz}|H;G&1{zIu7qX$MhqV@p5utn9XJl`-Su3 z>o=6?^M>uNaXg>d!Xzc1ceSd+sO75CC!?~2vbXnYcbrPf&C<16;T~o-qpIHH-~)bX zo{v?t-p;9QHM5>)cFnN!W9G_?pLcfJ8+h&v*_YxJ80fcCu8?($U5<$li$!PG_5Qs) zRd)|geZd%L;HT~QddsoGuUfe*7w$*!gzaU$V1Klu@blqbO;(e~K3l&&w{x4{yKGsQ zBadjkr{_k;kfRwHPjY&EOt-u!%bfV9p69M>JLmR@w;MjG+11t`bk3_^F0_AnLw;JV z*OH&#PwU0D_+K!eoIgSFym?OhsSn=edH?$-?W&8{ym#AZvPY$n(Cc|eN*27Sdn_$I zCG^R%q>INQl`D*1oOF!%p!Lo1_L8Nxw|cB%l)iae??{{Dt9-NB_t1WqwI5>|rgv#A zS{_ip^S1Azz9Y)k3z}aas%~lJy2Nh0iGBOGInT=-gOe&}tTrN? zmge$J_PFosa!B~5e0OBl64|etkL+$+zVXg__Dzpsr!M*Q^EyY+x9#`!u3c_qe^>ox z`~7qJOaH(ARcZG(-d_5}Gzr@Z+jBY#Wuj|5wL&KHcB$7}i}!$aMMlaIx^D6+SDr9KLMN`b$D5v~Z1AhtM$%FQHduA0}?ly?Ru%(B)~+ z`y`%r&kYrZdw6gAysLlK@#BVu{0FA}Oy${6PG#JG`=CwCE~5SEj`RNR>powQC{GDK z+cxX!hNh;2WgZuQFLRGrSvrMps_IkS#j~0oh+9w_ zDkf2?RXVF{*2RmgoJVW&BEyzW(or(w;<)tlSeuG^3+t|fuNn9k3a$EDTJM^6BsL`V zdHA(Ajrk02&Ju_A?)s&5P5+in*_B7i$17gVHh*ut$aquq6^_{#=X&<5ZkO}^xGTBq z)`e9K4HqsnG_1OC>(;7OQTwE|%c4K9u8w`Iyd$-y<+|OYx|dr-gGBH5|75S6s^0&9 z&fP0Ee_LiP-<>J2vNDS|_5QnK-&Jg;*B|}6;p}w&smg5@j2jg%SDtJCuw#?@+x*i8 zx!<-2WOuIHc~dK=cS^}Fo{erBwH5WeL;E}8)ekQb&Dfmrvso>)2L;2GwxioddzG+a_RU}!Y);%eTNSJc17b35*l-`c2u`S;>yEaw6z z6dc%AKSd|A-_y)yS4y7YTyxH?X}c%$XL3EN()>HllA;OHS@Oa^KoRF0>@=2vj|tDfVNU;c=_$JIM?tEHC?FUgX1FFT4P z{sl4?3!m7KSbW(3*S7Udz7Mv`#we~xSRS`~-<%t9tTOez1&rJNe|lGIQ^I!g*-FV9 z3qRa@xq4act7T7^UAKyU)jjn%q3C3E?=HqLop%X>;&SCRw=P~fcvr+F<3mG1fxX*W zvpp>rB`+DRJmbH=$jtorp^0YBtsGkzXH{fftv*!bJcnaT>aG~kBhD!?PDNcWzMpX9 zNZxVm`Qff39o2uMrR!~XRW$81Ta&AMb%piftJXi|UaV=2x~M(9{nF;%9+72%FJ!82 zzctGV#m0~CCi58xnk2EWxVDVVr^@_bGvDfE?~fXPI3t~Vync#hf#dZT zFIRbfZLbiCk%~;#)W7-l;+|>SPcArV;>bSfApfz1miTpt{}xsL)oGDV6GO}ck0^Vf9_Y-E@0oS#FW3mYt|Wy z-)85Q+5NcS$DTMjNquPykG1Cx$r(;Ii&x0?w+CfKJh3h}&)oluU z+`mYduYbYRYfGhnONp3uI16gDAG-9##@RIY@Qd5sHC!iq(igE6m%sKE@)Di*DE?(a zgBA@XF0m<_8N0>(BWUC&X<3Yiw1v z@z5%cI}(})%fvL}E?D{|YV_-MEzx#8E~PZF^Fnh%RlR`N`qy(-tl-z;<>Tx6^e}pt zjAZQ^J4^YZgEJQDJL;yKD!w2dZZk9a=Jf}Qq~`os`X&73gyjudew(X4b)A{Y%KRc| zkpSl#EAKz8!9J5bnIE-eyfd!2w!!g%i4%{1zVbWWwsaPmHDO%7RbtEko@-Owa3?Kp9%KKH>-2`TF+g>akk`yi}B){RTJM?zYtz&P~35K`rK6~ z7cX9YIY(6D(2u9@eV5xQ9i3QY!R)TPVs*!?znsC9@e`%@HQFi^O}2<=&i=ms;Zghl z30t%O|NK4wVf4H3MB6xrg9>NuQ=^k|ygnIm#dPSj9`Bd1vVM48uD!mU`^zxyk3hi~Eb=jHgzuYb)k4hko5#Yg^DCI344 zaq+XYbDk&Pipr&*oVP=2=`?{2X6E4eHC&g(iBABDV}5GEU#Gd*VvU5{;er%pCI7 ze1&IjQ7zKsbWamKuv;dg5Ocw2Bi zTYEF`s9c-umHy97Qy1zjw6Vd@XO8CMW8Y4Esxz|TJCohb*`J}( zdR;5OZujw=>t*cLcR2SPF1>i>rXO!>=KVm!{VXCFZ@ubypPK!hb<1|b z=j*>-{>l7WVtl!MSCM>{&XTN2M;q_#&

xOW^#AOIv4Nxp=QsO6M-~PSv~2mOFp2 zy*nEm!1#0Ci7$MCWtI~po4V>3raOIo@mb&go92?`PpcK)T)BEuVscL>Yssqo6JGib z71Jg(-hXxK&*RlsOro@Fj!v0(YxZrXyTbL4=f$hPS?K)DHfWA-PnYfEy151Q{FPth zH?Fa{bLHnE&r3zZ>A}p&*85g9=wI6R;aAG*^37eb3933AWpkhGw#d~x)AsXaaCH6i zx3#aco+LUPf4I4;_WzpQQwrx!`#Ae2*Qwp!A@7g+MLd4*v-F5o@s;vbo433>f57#{ z3A?zq-*vN+mua%g2Bsz#T|Z<~@&EhxtJCjYFR6;(e{53t-FN@94_TOpO<84o-*|;! z+Etri=Dns%z8jk|#C|@Jyl{r+sp~JxFJ3Xf2x}$${KbPWaA5EFG)ej#i|GW8J<=>=TJt6Q#rKOnUb>xo_deiB?H^XRl3D-xZ2lQC$^W_b@pivYnfm)Mn|q%s&c?2v zeaA&Qao2~1kG9m`HZ_`dLnr=|-g(}+?_(vyHD_u6j#cQ}E@vHkg{|Zjvv&gfqiw4b zLVZF)u54<3I60BEXj#I9S@8^(OKX(5Z@l|A)s1_V-ujFtGnY5Jx#qh!MNSo(ld8Q! zd-s)1>8o6FdEe(H><&GdVEKJP@&ETx3FkxHc&%3btmTef$yL=ZRUakyPjGGa=NQIb z)lIzL{>OJc?%$t$;^MiDT`su=LO&dG(za+uDrcpO&TT1w&2#SOzv;R1pHwd_*my)C z#_f^Fqt~0N=ga$2&v76Z{|0u7m*XI|xvm(zg{QLa0 zr;vZ&qaXVx&Z)n?TJ+)KB`FC!<(ySdQRpWIgY$__NV_d-S^W~U;MvH?nU(We?KImbhS@Nr$`kp z+`RXCrubI3O3{5AOy+2E+<)wLQjvXA_mq-9_a@Ez$f*Bc?T*XgvNJ9H-%M72=vd}j zADMo^US#Hk>$Z!1E-hW6_o<7kQFlU($~(EP|4p5{b}X%nz4>?5>*o)we)XN$r?j~8 z)5G^wQF;$DMP~Jc?-IQ*HSbb|)JmT-n~qK?mEK!k-6XHmT7GctRoO!KC|my}@0d#V zK5^@v)WUsPwA=ZyaG?0sldBVT_j7IAxqKz_tm|nkjI$grxFvnw?)m0pd7rj-wD_wX_v}gv{?C^U zkJ}P6Rb^qA;Nnh^+lNDHJxYagMJBJ1bc}eUtM+~GZ}VGr7BQQJD=cMSOy`k6nUpXvWm+PF4;^Wnm!;!4c>6SlnzGI!v#`tEpp>S}Rw zy(ikcM7Y|2N~fQVsQ9PGzr6mnUR~{kQ>%9RoITh4Pek$Qlr#CUs~6vnak0L!;+(js zi|%6H9ormY+nf%x@3`c5K4MPsLIr#6&%1v3GQ45ia%P!f@JVeu7f$6sB@1~AhTp|M zm38JA%sXK>FD|ko`+j9h{K4!QGKQZ-AN9?CR~K4&kf;1($mhJk;~{qrGQTh2ukXKj z_kKWvaH9RJW9yrB18>iboqIS&qiKTUe+h5j#l;tHg;h%Z+@w>p7-d!Qzy$s^Q-z7r=90sC2@nRPJGdu;FdQE`cQ8@2Im^^I@s(Rb1g?rl#L zl{&_{tl7GCmfE-Kj_*NbmK!IVufKbsc>U6#M;~o^cL=(FE{~kWbeehUoka!jcjS8U z$*fzm=j?xuaQ)}CtIjV=%y2lQwQZ|_Ucj_Ko&E!|)dlWLToS%@+&3`LI#nKIr(C)t zE{r2};=~OalmCVIzq+|&u7ISc`ZO<}`bkF*p8Hg!q5Y)Lc3m>}=>;*G|La$HPTn}# zTf+smj&-WWD>mmqXD=_G$*r1eU`%tZ*~}J(7L%`OEw48=v;-|0H8NDNFtY@&8#Pj} zFg64&A2l*oFf}&?Egv;9Q7|*MRDiA^1+6ayuOJ1>f>)4QSQvqpkAjzi8iJRPT7q?e z7LbBgj#`43jT$K!8d!ptkAhZ^nwu&Zn@s+wZKiH!U=CUrYGMMm&%{*0#8d$+244FK zvKhSgb8>`^29v4riH=>IM&Dc_!T zYN6Wg{X&vP*E7DWL|vaE`*qQcb=$VRs(p2B+Vg`KOrP(bqB>XW_f!EB7sHa;`rzLW z(yz|{`$&RY>6^;7W8L9@T~Acc|I{55Zu-qrgFidFYZ>3!(#0*NE}!1HmdAaGh?)tWZh2L9fA0*X(>%KAT>n+%|7Bm_-7Rta*t^z+%1Zg? zCaiwr*|YxaKjAyPxz)=qESXR^bxr4dPlNyUyViTEkLo|_xZivj@$csD8S{RYXa-yIFPU*|VvuO& zDu>_zu2YV|7nr6rnq;t5v1DEln$pa5f%%I00@e&M&E{P$`jS^fMT}NxznSS6>!_bx z`ex?FDz5sfBlBdM<4#qvdNhUInEcvo1@qYjdV%K6yJFlgy@*=t@FFUyY1V6tW2G~e zyItohzW5?4ahH_w=6|H3$(zhL&~+0U#>=02M9^p5HGl@AZgN88PRsKwA;UA5cr>4Q1@13%6> z_FC|rQ|imI`?r_zhJMul7Z6il%(OT6AJY~i59`Tq^|YAHO)Q}6_|)oKBRC^O!gswD z+x2?Y1+LWWMay>GJ;1A~XV|^F>6qy|?p~dyCW#5Pfs8kEe#}mD4{!-n&5;$0^y*FO z=`=JnJS|A_{t62!ZfCO z-45M1u{&(vi#J;gGPd{sXJ8*7T(*NMgYSMjOjp1+9G0 zi|y>cezd(f{HNxtx7nKL_2s-=JeSvhxc^RC;??T%qD!xxYiqyOB_>wK&9ySssd+wS z!GyWNhQJYQ6GOPO%Ht?v#iCn^<_Cr>xsC9x_*vg1@sm_UGouBh{TYb98wOOpQzB!(2{>HOSI%nhTjPhf3Ewz01^XyHZOjUG$ao;3^LGZRt zgvzbO%6y0UWPB}4p2&Ywd#t5fWB-{;c7}Har|41nz5Lftnj7z1VBBgK&aCz8U0|!@ zr@+Unx4*NyaIv)_*!p_zQbZhvuXJdAicYV>pRb31Yc(B|z0(wX{D4i_>y0jRCX|U79d2xK zDw@%!_jr-Q!xa;_U%s@wxnytb*N@lMJxNpeaY{9$^tH*aCu*4ilQ%K8KXBTzd6LtH z{o4xcWds%}>YA#WRkTK5NmB@6e{tiV-h+TEuU;)Y5s}byZ?+U8=aI#BuPRD?PoAv5 zJtbxBLT|BvKA~TKwofkP+V@3lQjVkZW0M_c?r7Z=n5ypTbLip>ji|57yw=^~@cH-L zr(?lMr4>biQ_F>qGwr-r-fSg#MK*0qQ}>(0ezI;#LFzA$J(uZg+;jcYidl|)i&9b# znkM-zv0W9|XdQ6&{*)I17e)CC`OQtNxF#ojo>gBEKdCJ?>z`ezCrk6IAhRDYex2JP zWwFJ4@m@ifaE33T3qO5($^Y6*=^5viHz!@E9<$uZ8Ghx_YO&u^Y<`c*qy0bgFJ)mn ze^J9jFiF8wwKBiu_N|6go_T?pKmJ%-*{s()+x*ySh2Oh7MQQD+j|0QYa*y?Fywb<_ zzfkGim4{oV)w{b|#m(wDywxOd?!64F$e`$(S4viNg)XsQaye1We$hgG_2?ynrr&ty z>)N$OF1nun$2QaI)z%9_k?+e7E!R@W_B+`3CiQ1e%k*6fW_(=vTFQhaZJqgBk@KRw(lYdA-WBj$U3gH(b3|2hb0Ni-~C1&KU*AcPT*5*_e`C*%JzYd40BL#FoSG~RMoVt@#d=!^S{XXuWA*{ ztMwx-M@DPi6dB8Xll7)d+^?bRuYdAE))}pR4}w=l-+mPS{^iT(&tFEqzpk|9%JuCp zOjJ)!GoNqcyKa?~ZDc5KQE2_nsh$^BFncb1l>PEk`qm|{cZ8ee$5>pCxTyF+nQ{N$ z!%zRt`Iq*C-%0fk>#h6=mUG(rOt)`(&K~(jeqoc=yX5*SAGTi7IvG`+=X_P|AnUe# z&S*!5P_2K;zg}%t|9IA)?fi_34AT!D(y(L}FAUcX_^j-5l%?vrOBiRUsj9El%=%gW z_Y}@Itg1F>@Llwc|H_>mW);TO-A;9<|NQ?j?Z4Bx;}*8r3_GihZ+bH=W&iK?YGGIY zPu|xr)$+U_FIyAaGm&rc^2>o=cIK-+uDHuyuxih)rktk%nX=Mv_s;9=Xxn>LY~3Nv z7b|ksSZO{BJ;DyB(?)W|_Earq&9P=?*_)+X-dSGOm zpM{Kjl;_j>y?er*{OQqem`5ZuEusFR-W7!POd7q_~*>6$G*IBXI}IRp?!@n4;&J{H~;;vDL*9dw4HwT zKlksFpUv8$;*BwF{>`)E@+0c!8H!I6D7m%#=-m>T;#&ezzNIBLcOADcp4WHKqsNi) z_`>N69RDxk$egp{P40BJjf+~A?wcvbl`?7O!^zcFx^e7o$wjj!_AJ{O(!2FNQ%6W{ zNM&RAuQ*}Dm?vJ_8Uz{m?Dl1w#o9}KmcMUu!eiso5`bTG{jd_%)_5CMBOs_*$Nj{4ZsN#l*!s z_iBaKq{l6$?F?c%cC*DF-klaw^W&qt{QZ;mrQt^(foox1Twm(2EH*Z+RAQ zoeG{O_`i=K_k&+x?8n>c-hPKYEp~3dvi^wtwPxwfS-S#{1d4fTvY8lO4K-dVb!g2m zySA*4mCy4dSIy#=E^l`gwpjbCH}LnXUq1C26GB&s?Z3ucR9`jo$K~rQE?-o1eyK6t z_jJqOgoa$%kE}Y)V!~e@FSwDSrK9ra?6PN@BbPd?+q1jtmhm_4H9Nj4J?r$ECgT3s zN6e+{QQ=xgS-;i=nI)>t=|HtWIIPuyI2j-;RdwhVN$?9QrRJ|77|e?uaAR6@1@P zb8@*lO!ayiL{mQh{F&h}U0Qs-k)`jSg3PTqvkICtFJEb;=1R^9K2BYWv|CRtN?Nvoaq`yN2`@_; zdo!$JGP9et%ikZmlxy|xo@L0_n_1<*auztRJbUfix9|2XPK>`-uMT9@mR#Yg({;DH z=Y>b6gjLkneeLnth5U0nqIQM8i2k9Iu3sPYSZvOT9oxL!WqqR-oZ8XLc>B&YpZmML z%2Z#z*XJ^^qLkrb%(rtG23_Z#z5FK{PHz z)#8kK%wpU6P0!?>xMbZvo4Egcv385kiIz84YCm=c3b@+5UaWP0m1d?`iulwvo38<4 z><0hM>yMQDn${;Qc4*px3m(hfyj^wQ{lssj@+CW7yqNfC&XLQ~?+l&%UQ~K{96R#$ zpk3p=cOMzo%(0VY=Mz5jpzr$pRaX2b)=a(CbUImblH=rLzQn?pxjE_gE?GA{w*MO( zAgfZ{uqNuq9pk5ye*KNym9hEj{HH!#HBoauK3`J5spkLY)cO@3qCAivzclds*^GvZCLcaQOo>OfR`P2hh@8Q5$83JDQmf({yLqMVOZ{H{JTaw-1BhT zG@ZD|5I(eaovTr9W^p=PK88w=EjCwpx2L-Yen?*c`ZmH)ius#x0xA zGgpd9Iaq53ZP|ao=a49CWb;xdp2V(%9-oMP_L_E;c5hNUELI&owpll~e(R=ttMX&T z9$GiunX!M9MC$7;pN^XQz13cysb#BtAacF(Z=+SGq(AANvAaF}Kuy8d*hiaY1eCv8 z+SQx9xl85ZB_=;%e_pYdwt*;&t@Ok; z^BW#l-`q+)aJ6>vp*tZD^BBFwHqV(?pXFupJZ*}olkG}g-S7NdJ)dssRPEP~Y5%S# zyZ^wZ8Bf-o(lbeqPy6=$dcAY&d*iRt-y;4B#U{TnIdvvchdHlh#kT}D?&yQeG6%xl z-evxeOFf)-Fkd(R@q<|&Y&SnlKmSlq=IsAw$7kzY^UB0!^;r(NEmmxJP<*Fz%AYG% z*QDzC?k`xSWNm8im)>I1VZXzyCV7*3^x8ZfzH`0_PYjuE@_(!@-O_8QwJk)W;Y-h( zImf>B*)03=J>ge2_rZy`UN|MXF1yZp=zosqdad@fqH~`MUhMPbTphRTqY$51!LjD` zfr}@z|M0U-Gr2WC>04U2)il?*gmm?PeIae$TMO(y)SE^33IF@ITy?Ja1GAlW?}fA< z9k4td|9Q>5%NN1|KW}4rpL@bSW0n2IS;4&Vjg^*fnr@g_<@jtW&&rDOy4ASl3bT*Z z;?ECOTv+w2I)GEyOgiC?M65y1se-LD+u&_g|3_L{ z_VawXK+RgqkeD;|7jM2e7LvPS)dByW=_9gZNctecG-xv!B#i&UwQ0 z*S(Ehdg%72R`8RunmV~5<-QLsm<&8{{{L~x$d|xNV zo@(>tU|x2-DLOTQC8o8kO6KIX&8aVzy6$yW-zs|OW?b8Ko1ilrOX`CzO{(1y^JYWM zfjLXgMI7Vtyfss3FZ(@}f2oeWy-%m|PTylEC{x@qI{VcpLtaG-}uVMczTe{|dpr%*!47RdGvfT|? z`=XOhAM0F^^66B$@07SedH=IK^+HNF`aJH~In}?ap1bg{)rOf`E4Qw3uTQ?%WpYr~ zGWug|iTdr5g*xgCbt^7CarHQUu}|>pCJFVfjN|vGpZjjNeCfPb1`GOT{x()Jx>OYW zxq~s}kF))(vu28)?DREGc$`1Ki_YH&BlBVtW z%5r?mBf z^q<5*@n%fF@UgD}aR+yKO}5x&Vfj{}l%-<9 zuCJbl&7DN2ESYlDNbZ=*`_9I=+@154;B z1x5;>QwmHh%s@vJ7#b)Tn_7U5C@=)=o;T35w6wG|SAd*V05S`7G=Z^#xuF^8paMe^ z1ye(~8qkRa&I(4RW}xE=49yh4%E2cVn3@@Zjw>*r+Y^Y%}9n__kMRaQpC*Y#&6J)QAZ zZl&q2S38#PxgoadU2f*WRi_my*Zf@fWajy;zqAT$HRN~2nVZ%BjQlPxJx9?YPFVDk z+4|qwoz~Hxx_!g5zj|zJojYk~-kcqILalNldv7mezx^ddJJU(sYS+HW7K)MKwF>{^ zO|LDTU9+Ri*1Xj!(<@N5-7I91?8Wxlw^hYUXNs4(Px3#pNAl#du=H8IN&h|N+P3Z8 zAnbX_J<{`k&zzsvHzjs8)jy0j*|Fq@_Ls_BOC5o~br*|TB!sl3U*6i36uipVe_o4h zcGa!h8_Q(>pH}zwv7Wcee(A@j($RV@O4s_57*9EVpLc0ObfeG(<_ykL4&N8FE_Z$7 znd7Kgv~jtr2g@O?r01EU&vYFXr#FX1s6H`z5_Ew%gTIM=Vnf-2^b2w$}w2nxmIius(kKI@f>2 zRV&fuyRKxdUFx+qG*Ek*m5l?(^x6C5}^Pt39BlvGIMDoEio4q_?X=I5HdcI~%o z8~48d7B>CszS8QqeBW=}-oE(T*L{g=zhA398TDI5{r8){|L^~=y}$o3Cl?>zqXLV` z$-zsr&2*zAw#MzLSJyUHEzmyp-}?V&0k7Zj4=xBd|6uSxcHv`v_`fOtYCJA{KB&G@ zys63J;AH0HQzAzH{uICXa$q{|LSv@srVEXmcgXm8MC5K!P`51Is}QPkPDI?T`-tVD zGk;F(_%mnCoHss&Y5)G5*uhieJZrLgkIMBuSJqsy{kgKqqtj!;EOE{Ha~{1h+iRm^ zp4_%nDtvP6%#@J8x~!Ctkd&0VtgMu_h&j8H4l-?2sjc&i`_*J(q+aiMZL;T2Zl?3D zd-qzJ>193sWoo$bcG9!%)JG?_%-Q4NxT?ZGE$rW)1q%ut=PXG7yKZH2ai!3){l|Jg zuQm1Iur;*MQ!i;!E>UXnOHwm3tM`t4a5r9BswyieUiaslEn$&w7M?FS`S{7#7>3O& z#TdL9lqc0)=we_KKGZyqJ4ZmqZf4En;H!w9@{t>UY;oO62I~@YC#9Tn}MWA#=XUvQ`|U&0+^+% zs_(`g5Nz045ydUnzVB=Q;w(4+o40gMJllBXQ~lwzl@j$Lhj(6WeeG9y{%c9W-|Zi~ z_i*uMycAM6Et*|a{5(gsan|aET(h)h#rA$Z&R$?Jr)_rO89#^h2iKidHG2E-%r_Me z_LULybiFk@Ss6-MZ!8qj5u4Qhz36VDya{uM18dRZGYancn~rNvKDS2QadphmuMZld zmT%^hJ>acTZ~Zu9gYi`NgF&~$u3D6Qm6Bn}X6j4~Rgei~U1r*j z0&{(Gy}D1OJb%I5cv+<&J2JE~{d4*9gS>gR9g6X)mrezItN*m+<`ku?3z#&8Ow{BT zzb|{VGxbl${;fZZD|nCkYzvs7I^~MUmW#5o`}pc4W`7WQc#iq`D!+%W?K|tX+E2N@ z_DkoH$|OTxRll{)w|AUZQ?Y#dChhc%kGDhJtuig{e)K&pTHU*N){(N5_4=80Y}V1= z`8V#Y(fuxWJgud6!uoTe^&Fd~d6^&1+foox!nWV8r#@?${QJIQ$vu-EKA7OYabN%I z^FJEXukSG3!gwaF*UBnu<3f&mtXI=7@YjkupA)+xe~EAY4YybOUNvw(a5<7=}1LZ@%!)n`aH{ub9aUQru7Hob}6I?=>P9t%XFdf@6MSjvAM2{{~mv>Uv+$n z)Q+=Xwf{`6JbthA{nGnwUu26qU+q|s_x^vk#@h!ftj^*Erl}iw6YpJr@-l2ic*=?% zrwfZG6-92o9)8uosC>nYVDk@u{P~R^UVoS2|L{Y9S-srH#s69NbgJM zDYpVr!kz2oR&eti^*FF^m&ghw(Txp7D;~zTo4#Q@m1A(iv9YXVnauC&i~X-`oObsx zPrQ8EpVLd9@=Wvy6fa))E98jt)c>K%@2l;7BW1#@ZyZ>=a+;G_hU<}u_mcPnqXJJo z)1APulzpM_xzc|dUrt(mFwXUb#K*m_>W`nOHT=D(bFr?au2nr_hD1&8)Tt}qWMAyG zW^nzp;MUR?nyK>#$n$5$j;*iCzHqL zgQ6CfdUndHSDo+O^8IjPM!j!~Zc40A!N+?aPS;qxYMcJ>$=zemITP(Ax*zbWz4u@C z+(FLTcXlV&jl$QBlY|eh)><&DUhZC%Nn=o6kos#blbNa?Umi(MH481>y?2%1E5YCh z#q*~pr>XFWeVHV}RxoQbd+f0{zCjncK7?g;1g>x5+cTx;>#qLq4ct;bQ$OX@?^T*F z(RF0?y3DLq@0T6+o8Twp>S6p{`oENX`I{FvwB#}q`81T5tPBvonz1mX)yyr}bAH}h z#ez*I*G!nY!K>_Nzp+8@V?*}$vWmiAYh-6;U8y;+E@^pA1mEcgSA!dtAO5Mf=Y^GA z`Ah$LseeLpPUmeRniA&6d4zn6=+9H&-BK@R>-z7v_l+N(q2kxi|M8039H}0dGdcH+ z%2BmfE33TjdGB~>Ul7W1%V%?(nZ_EyNg6xfxO@}+_H^lC!|QEak*bXa(gyxCl7J0pjZYa;yB99&V8`C4sf ztxh@?R_|?De*Rwm<45P>7hP`V>#16Dc5zoyN_A0P?}l3!J3e^-^FCs=MwI1f(Oh3) zkDECri*HJKWrodkZ1b4A+HFnL){83`X3hO{!XsqqbSJ|-_a~b%)dt)Tx*2ji)|6`- zL-zwk_TU+(k3MqVNB^|hbn;^bcfO)5EyS>~_V>d`otM@QYDr@i9Y z-^)AsloziyTX2}`Rm8^n(-F}x!gi=m=o4EvYwM4*=GAoz68G;t`piv?{izeVb|jlf}EoUMJx_@nognU|HXFOcy#WmPd}Q_=fs)hbI7p@k=BO*M7>-D$9B@}eb6{U&$6 zR}{Q$tG8_JO7T|*S0`SXdo*uF+oMH6^;2W|ZajTslofqvT}G1CtD=GlYdqS{t!kUL z&@SP?(ofH>daO>hbNKH6AhY++2I&Wft!w9OEZ<|3WLsn<*P|C~>?Os$@J!E5HFish zEmopQ?`?K@s;>1jN|_OoR;)O&?PAa?HQ$wIukqNuFxY0FcZnrANcciT$+Qyfo$-0! zr(Ca})YO_Rx#Onj6qERwOM)h~JzV1Z%@6IaNVD>cd9u%Bnt1_7b^1?|9Kyjdi99Qsd+OxgpNoxdt97$dzQ-^#Tl~a z&!xr3RAt-^{TC=9^PwW(ppn;3=kN)WXKu1?eX)gQQ@z6VUZsCg??0J1=&sUPdpmr_ zQh_C3#O^Ko&vjkzTC8)CjDL(;S*XlQ*YDeBuiN?4;8LHuiAd-WudB%O;znTNj>sHCkV?a?k(;jR6u$oKa1w6f_h zzEsKjUNDdF;Y*F=)R?I8_GrY?TlcCSYTau(%*OXrZ+YX~ohdip=yL9?{`CFGah>3` zf1ipxWn6vrS=rXA>RXJZ4y(7UT(R?lx+O!({=`4iX3MK(%Fe!XWM}=8`p1)h^cr7v zj;Yra`>&Y&dzXkt_t;Y?Q~8yet1P zd#A#~^=?eCu<$zkJpJE?2Lii(nq5_?zp1Z$y47>W#&pm6`37D3bDsYy{#bPHKzVJ2 z;hhHNDx2P?2c;r*RvSxiDy|dS%_cVa)ux&xBk_mt4zSt?pN&30`OUqLjy9QQo?kyy z@2C{*FNuG-x2ox76XT1MZM*`qhrg-pbt=m``Xc*}T=UCp>36OFUmRu*KQS?&fA604 zLhI{w7yg%=)P2b%Ln42PlH83uVV|B0bnu2s1Rm)xz4dolRnwCl_IFl2bGIpYwZ`oh z2ixX*E_FT=)G}Bma5QlR@^)1$*etn*?NWuW)ncx-Y4(denmJ2yw_X-0@LhfOrA^hh zluBvN^>)p3R3E!s<_-#Y)TKMgq{yOgt@-`!GnsWo6icseeY;+NrO@%$+c@q^#r!vw z_dk06;r)l>IWBaU8k42jfeXTvitaOo% zNxSuW)>+Q^j5XO+D}r|{XIb&s`~SWzJ35>Lr$w_ky3AgZR+(?cocQm(+@Hf<3$9st z&x_yn)qic>+xkC>=ksNi^Utrp`>RpVAZ7DwyL>B;d`)*zb1z9I9u1DwCO7w#++R0e zBKe>Eqf?Ky9%(&Z^=MW7FDrOD=b2$eI5w z-}LiV?ac)ojLTMT>#}xjkmfq~P{8xl4oAgJ`31Xu{l2#N$3A^JSENG1U8bHpQB-H$ zg}(Wc_fl5+7Klt2-sZn?=3`$)`Sb2a=chin&M#LGr>=Q@5|^^h!=AvjhqXmtGJQ_x zCN``WGB7+)uxg7yOR?wN$zD_0I#vX@v?^(d?22MPnsTM?;o}2rA@&Iz%fvW*XC}%q zWv(pYiEj9KMu*M4T=mmSo#_o)>WtItTeipr_~v*zZTP zYk$sA+@<4q`azzzhy6nB!xy!r}4vY*$KFYsPEsNr#S|Rq>mplPNzxA?NgF z!`Xd5^(!{2ucJN3fEjW#KbmnXz{bR1feI6eI;Yw?R?lXzF3>i2lQQ?lz*)E1r< zG92ghwsHj2P1tik{d-yU4c zkogw$y32^+^o`J%m)l%JlUGZy|G6giR!KX;)VXNmfk|KXYn#kaYfwJC|1tORb&po$ zzh~(3u)k?lImhfzz5c9^$39m6>Aald*dwuON#0p?$tJBc#rX$qi|({b3I#_gc&sif z$Y5i87rof+4!3LRX`Lfl%7>oY6>EG>^%t42i&guN?AaDgvs2KUEEj z=r0PbQPUj*Z^~%5FHZQem0!v?K$Tbg_qUo!Zzs1!9X`LwKmC$^;4_}~=E@bm{N|ov z|8Lm-V@;~O&pdf~{SHQh$q5bW^=I=Qn+fdutvTb?#Kj&LCq3%dDBpcsEQ5cq=!vy2 z7tUT}o7-4c{qlDBwA8}3If`3PDmCzWfBt>8#yO}o{Uv7F(4(n=;tJ;m$Nk5;U7 zTmQk8Z-W+pK;M&!km(wabDuByXceHAwtumMXyD)LdLho~d%m9fwAfIT(>PwW#G$(+ zdc(z{vkFee%VRAJ!lHRf&6qaS3+`&*@@?>x*cz%{SuQBc4^+w8nrWc(OfC(wW@_l zv!;98J$dkFtBQNq6SeiiQqKeq+GyWdvLfN{@6ZQF7*1O(d!{+fq1%DOWy+gxGjvSP zycYQ?CON%#f%DnEY5cErwmnmw$#LI6oz`<4aNDM)jzV zVqB*re$JYf{73o5d*NH5(i3hU+V*)~@s$r2tX6L85ZCR9lY_{L`u-%H`4i<_V zYzpsr>K>YwqFX4P>SptX(fY;G-b(S6vW8X}GA7c+&z5&;R^H!GCgNXUxbN$%?F!X) z)9N4EF-K?C7kv25QZ4xP?(67Y-z_fU)`DlPJf`!W_n11fY*N(j4SQXWE>hd^xH<_gW<4u{X zdfPV4#rUUMQ0Z)+oF0Q`|36jFcjd?x@$xsHp&S%5M@aF`jo$jKmi8rFvr?sN`u2Yp zo_*}zk?%LmEiR_@CROE_9G&%f*5t~ootsbXI5s)KwCme4-e>i}hXh4uRaX5I61k;O zoA&C_W-V#eQadfil0(7D>^+IO|7MHy*qtvFFqL!@dvrWXHLvnI@4oM9aXAl`32gm7 zuaoDJv+w!4#}g+g|8!gMsQ!t|rMo90CtvMeEpt*vh;L1r<7Xj$_n2#68(&@g;_=yK z?;nFX7u#D@bQT<0)!}+j+x=1AroSpzFRS0Yk}SRNU!%KG=5p_w_X=0NPrtsnVz|@CH{V)T6|o=sax7yMYF%0($x2|>puJV`l1gUjN7-l z-OyY3_DNl^evO-+|3z<>*+(ST_P1@nvbZPB~t<=lyz#nMO}dSEiMR)`w`< zM0IUBZ0`0U?MK2z$GJy1Jomh~ul@P#89j!ivWcu72OsE6pK+-A^D=uaZSBpsS3a75 z-)xUdzG~9(m+kg@e}0}__GiJ|V|s_LNxZ&SZ(G3}|IvQmum6_+eoX)W`}WKB{rgrf z-~aE!<=N}^)#olZ^Rln~|9E!!{rG$JF)Obcr5)%0_vKmrzqjkIRfXrq{fjw1-+rI% z&bjOCv!C0)emno~!?*wE?fd`U{C>^zc&d-;ubTl~FyT8q!~n}1*ZegE%& zx25E!^&Wr!clzz}`+t6M-k(?Z``__;%eeYoH4gOxpFSUUFRJvfudlb3x6A0+6gFpn zM}M8zpKbrT?-$!AO*OSC*j%Kt?^WRSHC0P0H{PszTeM_*(CrOYUruObzq|G1fSndE>kYUbmBL*?14z=C~^r zCB}2kpLs&#-D-8EO1?gG$Fq0! ztS2Mlf91ul{ZXfMzsjvGfZMp`h^gVDa@o$vXJ)5ls@2xLjH~*5M5kEgeXgE&jIeTD zw6}_hUE0jm?vG||p5E6uWyiBkO@9{I=YOgFu2FjU`=^o|+a&wljY_+w+rIV{37qdB z_|{|B1h@VBPgw7hnO<3*+@mbnc|0)w<5TW^f9l`qF1sgb$`Y>^aq#^7UvCTl*I0gh zdcB-K@M63FX6fR2(g6?uP5r$%{-eUiCwy<8v%cPG$lHCVa+OQcaF4ulX26%=5DOZadqz1-QT`U$a(w9ySl8>Sq#pS#(PP3p#sW3Tq_xOP|m z$FHxvGYqvaW!0O`__&q9_#3NF&*}N%X2-7APWX8AuY6tEfA#nGe~LWf&^{fh$jvlDQaU$HO4AXRjA*wTsi6IAQJ zCSGDb{$p;VZFJRx8CsvrcW)?4D)Zc}R3`f*bm7_m5y$x!<=$FRv@lI`*(Qybi*Dpa zE$Yo>PhOZEo)vRbmf7E#U&BQ2%JeNqt_1kFE?QZumA*G(&NklY^J_MDIJo5gdGO=F?(N&u zqAy-gIZ$}W=B<~)Msd3-WvUN8GWsltJsF{UfNcRIe+c)ijwQP$Ub^nE>1(e}Mb=BR zRR=4$ZtY4^_#JTlx}0og?(8T@jx*Lp!MxlN6&sKB_;B4iVZ1f=t{K-$>n*%zwLi^X zH+43jnak11^$oEr%v-lOFK*$;T9B!5e&XzJ*G$hme4x5G*?7trPYpCL6ES^44BF{qoqmaO4iATN+PQ`Jnlw> zT}j~m{d?Jr)04L!7r1oH+{pX`SI|Q3n&*3OiR+*+Gax2Ez)sJPS^z${}6s)9` zS9ACW#PVKlsCItECZk#8tWX~`qwS>2sTWGk4r)i2Pm7=Ik$K(ErPX8Q*{ypRo*Zm^ zyCp@^g=>0pE-(A!ru6Hs9*1jJb#}C|hKUQu=ewWua4~svI94i8eQJ}^43i@#mn5XF zO%iaJwfYa+j44*TIuxgizT5KX+a6BoEi)4S7ftOHd9P-~p%ApetIUvtTd>TyUiYDc z6U&)(u^c}qL?tUtJTz&A*poNE-X T-8|?kaWRHYmStHi`ABzY(tOswumg{iB4AG zhs!+L*YN44mtNcS;fTGYO5&{iyacIhxf_l5`Xqe1**oQ#X5-1d@7A4m|8@Oy{2Q;U zH$FZ;KYja;uWS7kBDaN4#iCh|BOc3GkPHF93Yw%mrN9_d1l8?JcC zPMo-NLvMXuirq7tS4!4}o4G5uo}aiQG9_Wflh;hE+0r&fd2i`3ztDZL%1wvCfNzJ` zue(yGjy*81QB`U-$WebMCXwPU-?>|L^SoOUYm7JFl+0x25Ei)4DJc-<9b#SeC@oO+ z-kj@IDhG}|`o7Y=$yI({1V4|c`VrL>i6?GR(VQoRI4AYib4{^Z`!^$Ui%**4y&RQ& z!uHprgf%-Cr%9M9uX=f8&OE{MlelIoE4qFW%t`QMVG1q&qcZQ!D~(mVUN64;IN_~v zrc%SsqsHo6HG+Qr5fe!~{YFmzN%+2fyPcMn3++#0Pc1re-(S8(E4=RM3mNTle#RTN z3WxfustVh07>WP>GqK+0+rA@N9!vKu$x7n+C2-`OZ_Xi?RC(|DB3B}BI4t#MI;$b8 zAb8E|R-UVW5uL7$p3b|Zl^*ubU0YUYA!9iwB3vbb zF+{9Y=SJD_OTVt4Sen5+^={&unPQbw7E~2<+Rj~Ea4akQkXyQM&8-mE`n_bOgqd?GyO^CA|<*n{Rq z>46Fy8;;e*uKj-MM$;abtP`BOwsO4D)AO@`y=GQT^J7XhKWw) zU)ef)jo4wa_`+|BTa{<8o>(rDX0UXhR~8%o5aO%pi<&TkM%)o0(jqL(e} z@oFu}qNw>Lp$D7ZF71q--yC_xqN>Jx!OkN)-9@(S?dIY7HcjiC?W(6IC9(}yWbzii zvdj%|S-UvDEdETm*!7xfZaKqZiH}(yJOZ!BJiHjH_W5bG&li@ksteuUelB+Z=n$GL zQSYeF=DV1;_n&gcDvgpA3r>0@cYHe3boHn!ap>B9edRqlUp9ZS;3@m$ z?^P(;bvR$$d6a$QfspTJDT%$g;?l1f=4m;s(^+#cO>0|Dqu{0R)L$_V9(GpMnYnIN zJEZR5|KZE5jKgNz9_V#_o?BPvJf)q%QBm;Xl5Ul*Meo$UE%f~m6y>htd(`1!_jyK+ zF6(t-%zo07>%*sA>sfiVE@$&6t!=w=qgp~Xa-Qv9SHsICDA}#C;9^W+$F5m^(XP7Y z<*!aTe{No|jxBS_H-ReshOF2(4$i*>*74?@%5q{0m>Xv{>&Ugt4edv~U1AGEe*gD8 zkhbCYzP(Z#0!vKU6EwdEp1#@f=5&9u_!^@ey*k4(#s@rs>JIg1V}4u_o98us^1`qU z0o}7sha5|v^=hi~`qOqTH7d++s1+_~qTg6ud zT)7-7Z?qt2ii^twrjRbt$Sq}@I{%XHcE!99($;UQ6s+zHSCZ}W2()XiDxI(AB#`W< zv&q$Q>70zUY%c!&?r$x9#LQwtzWbY{=?fn`ci@)3*5W23CEr{>_l9TDPd3#X=qByb zU{svfpP_W;rd7Zab%s}0Z`}>dJ;@fLo00tV{i0p$1#+2F+G2UQ_x})Rc&Z*SzoR@L zi=&Xk@<5HU*@Y&v+^Vgw`k2oKuUIhAKJLn-ZSN1WewdnSWo{@W=i2=*OXB5ho}Ztm zxPE^5r_WgT%g^7_mrKg0D<6CLbj8V%!}X1PuYAm89JVdeis76!E6d`6jcP*1tfVG2 z_qTqzlUHx<+UnZ0tRVdM6E{(B(H5USX-l~Ujd+E5*%@YD6X0bRlNH(4Gh@Q$&a>Gq zJ_}B{9B159nH6fPr1s`baNZQ>b*n8SWjju~i{I36TBc~tXR>B;)V~6UWw*B8dEMZ% zY*%2tuu-p8Q^=CG91FqND-KWJE_7B)*}dp~@rDZvt@uh(cE^^=WVpunbIxS2NEP0? zY!=Wl z>=I)+@#J#KiI%2i8H>y^m=$id3mR5lp2gKMBcetiw*JbCfXyz)85NdAx!SlNNm-;Q zAUJuBvn0JWQHh zwD8mR&bcdZG&pG0uR0SDV6vQb?PCL@t*h52AHP29R>0ijXD-StTe&qes_6Wua`Cq> zCY(AOxHVs6MUKcu#cev$uMCa9yfV$@PjikwBbj7>dqI18>BfbnX%tVcU3lfuxM%OoidsIYZr+smx(SExuh($ziWv= z&~J{5jcXeDZl)<|ZsB)qZwpiVRIe9!^-!?UM5b=e5M7@IE^X--1%kHJI3G2i#T6D1 zvh|yPlR(VZSMGdUYNlo1%+FKdeR?uEN`J@0Put5FIm%f1zA6^1czwA2z<&Q((>Hql zn)c7tRR3{e6{oextm(a$lb)sCQ_hUL_D5-Mz}eFd>wXyb`_)>UIW?#H*`3o>@e?iT zm8Rt~m_;Ab>b5;|<7Cmh)Z-o#m^U)^L<+YhlwA8V*V1+l`>`!k4R$Mu+(=G!x?OlL z|Lo4`UlZpUoGR*JUay=U7nc2ON{Nxw3b`$FDka5Rj@&i+_`YS(pPUYE~CJMQ|4Zo z6>)FnJ$Y@Ry8ilo76L{$HQ%0|r5>YedxH0u{jq&--o4cgI20^$-1~g{&%bv?P4)^` z^!~TG|1k1UQG}X(<({Xx_n0zR-W+^+bZ?{w!x6VYv-E`$sm$D{*)zR4DwxUYRKr71oh>i5|)j>6N8-sYx?^vU^t^N?}?D?x!XNgt) zS`kz;>DeZc{d^Y-JLX3E98FcUJJ1$&$86XB&MW%Wo6Y#=U0kN)`@ObXhK2wCiX>qP z|L}E-^rr5OJh9$I@_0&hVC<$jtR?eSrAwNe2{rvXC8dMidXr`LtcoJDuR3`gt z9&ugB|I1Ux>2{%Otv8+Db+q{P!J^fYBImcuJX+=%^5m7K)dA-fTUH%EzCm$cr;)%Q*)Q}R%A?<}YWSZMzx?Qj1@qKa z1*T;tNjChAjsBdFST6qdoyiX4{=*%nJDMkLysq_VZq)_ds52AqXXQrOd`ar$4Y&EM zw5#Hi>iIo47Hz!#qCK>Ut=!`@pQ!T1wzO`$d=XtfUnloIj+{O97Gf1Mf;--=P0-+S zIIUg2+`l1zrWT0e19zegFPkN{(gCQZM}PmUB&<7 zR`-5{evSTBzwxo|fek5sb&FIOcn+U2F;n5uP>92sR@AdanCjGl5{G4Nw4b#sTGlkO{ z`@&rOzqoI8U8jH1pp#Wza@JRubkX1SQO|B1cHV8TcfrSQP4W8^Uv4n6y1wGLdh)T4 zZsDr<c7|;S`hNMaPIB#bIWN_}h4J~!mzIk--=3Qj=yRkw#Hvtb-PYdLC-sYj zgn!@7=#-fFB8vIpr5+;6`v`#&|zy3zT0il%4eyO|DR-tI~h>n&TpTI=^oRtEidKFH!wwt{>lZ z3V#0lW4?dhccb@pGhc;o|2+RK6W_X`8LN4go!c&voIdO6_44h4jMj?JvK5;ax7%zy z%3HL2rk#&mUt8pqNe3F%#&-UdXjqW6d8Q_(Ps5Sx%$X%eK7ao5m9t^Nds89bZ)+s3 z&#kayV6oJ!cjS@Fn3}Qju0r#~>*`CyZ1{>@)B=}1e7ehO!Ksb~slV=OHr!mWN{D@7 zFk^F4_frvr&2Q&*vKW22^6`rU%g(0_6BhJE7IV!|nC0P;SGM-+5sw9&Kl~UaJ~eH1 zcVm2fr6zUL`ORnU3aw07+!^}1(_``E47WZeC!4MM8~E3(^^vLPI5793<4r}54K9w& zE$p${!u{!q_qWWn;JjP0Z=*Y#;l=*!B~Ppz4j2Y!s=U~@)6I#&>!a1@W|vvM(~{r& zOuV$AH0k{rkAw~7QRh3-8ycpc=TS@0v{ap|_+jNQ7sZ7a!C^J{+(%mbs7J(k5}@g;)Pi5zP{=6>7V%i-Tw~lXFhl(IC1mJ)dfsU2B3BGD)nz= zPEV5F{&8Qtp>$A8;FCiK9vB)+tM@(jTJ^{#c4_ns=S5SBHmy>6{b;|rg$&;X{e-fe z$2CJIDlLzH!G7UI-nz_^Ki@MRdB5*@^?PBy-Jgo@|E-Pf40`3K>6V+E%wpw~h zZ_!a#-ng%^67@Ag*%F#>)YtBOS-YfK#{SQ9oy!Y;Z7cs9TJZY(d;aIs@BT~;X1cG& zH!IOiu*`Du4>^_{&X24-ZJ6WV`c9lTiNp8Y8gKq|r3o*VDScDaH4DG+^{`(0gY zlip2vbG56n_rJ)&wV9#m?KVwcbDmaLDu&;6J-08o`SM)#C|(;E)c}`M$0PNuwcju( z2_2H}h~K(7&8vb#D|*7|{UTxIRkLrZ>lRIB_gYX=^uN&NX?(bZzsjtdqpDY91aIAm z-_>e1TS33dN88U(#UORb?fS<7?HT^Ycas?ztS&lVEX-EC$fxz9>_w1=$LZ(c^WI0r zy?o$f-BOtCkPN-}*ZXuXv^VQv4WvnSX*952nw_lRhi{3Bvv;gmJ^mWT$oPY$WAZ~3*y zBcNMcdFT5|+zwEFL- zZ)XYIE%lyjwU$+N@9aO>71ypYY2T<=__F?UcFzLOe_9h~uQAu!a&V_l=j_NMk2;Se z$fcJyIv5n2Z20!zGmne?ZA&S}Cze(POuY&!7X`X3g=|6&8C}XRO5%NNy=bACw`$6j zBdl9iE2tj7p;X!@@%`%6{j(M4vGA68Pu0yn>=-#~>BlSCscgmvPI2|jtljrU{Yg^# z#Gbw{^*x&v51gHTbHmHVLwD~!OI24tU~_qvlq+k@uTQi$J!7wsIA@^6oDYL5a__tLhvdmMkcX$=TXeZD6i)^1yAWwNcM{ z9tIy;QDk>~siI|xSM~JvC(KvmZn*JH^0HcQb$xcg?Uwoz|JVhm%jjOUmRG4%EcPjE zm@D77U&pc0g)iU}?}igPC&elhg%&?+HrL%0r=@y{;c(&gxgsSc6HodvHLw5fo3FSx zN;N;~q3tK;dtx6X=D#<2dSk<}RR>EdWto-)$ox;aoT=^buimpO?N|)^;ag!h7j{Rc zze$)Q%@EilHvLv?p|4PdDDZ#cbK;xbG}qO~l>SRw9M$i&;9kEx#!A{CYDWN_D5nt9plP-~aJ`fqp?ez2}(Y*GBqCh*|UGloM| zXWucXU*LVqxaw8wUq;8~6^;tg%Z~j0vPO(i_0t=<#s>xF=9~g|m&VpJNk?aIRLZ(@ zOEqFQ%kr(>1$>>w{goNL@w-_(_hwH|cq_#5@zJ^7wD)IksU8T6-_3IL^!LoSLQ|Mu z-&to?D;EJ)vL?1kyo~eC&bfDI?{WKZM~^Y+l=fFvzp6}ih2!p9|Hrhb)waI={Zwco zw;%7p8PQ%Yv(u+`=xzL%s#LGQvpa6J`{mF6A6CBG^hsd%s(rz0Im=}3wramjI(u6! z^PkJ<*6BJcgYOFXGt7G3?Qmtm4m0bYXTua44x3J0T;f-yzFXYB>=Xemd(=oU}eT~f-t5a59-1Q=B z8eI#|DT>Bfti8O6|Ir@x+mib8kG?!5x@UT!!?LrQSEAO(Tv-yImMuM5eto-yt-j$l z-np-0H{{LSn7jPyf@E>7=J^NyPI#f2t9tY_-|E#(mJ2!gmR3|Ze4HlvPWQu{mk}#O zx9l}M#lQCJPOeQQOj8%0TOWDw_OsX3UJ55{i|PXw=sL{(zx1HZNVHq<{Kq zHF^KJC*npIZt(ZVuDW+?>#coZxBauX{*@6@JhI35z5Uvw-?rY^Cw6;j!OPn><`h*% z?GU?tJ?VE;&i<`8-nA>1ZM52c?bh|EYS%+suf_2%PjFhY?5(fx&;DaksYyF8OlUg0 z+V@GaoVWTX$(!{%R_)o-;l}hp?UP}ThMTRV1IK!UiT$2-*-G)3l094X=bwmA17)f2 z%AhQzt68|NHEhYFBwj`9Rau*VZDu)lT+e4i?Y{iXI%z@mPlglI&pZ+S_d9&XspBrI zm0z7O@}n6zTBGr#jrcw_vP!Tn)-^hIXNj!hbl|A*gq<{ zcHRAVWy|ya_sLv$_Jxaf1xZf*GTTPN_O+M*@0%OnISh3aHh7rrQS_N_&bqdtI&-as z(w)`QX4Xt!+*KF1LHhbr$48xSSv)qaJKnYYP8sXntB#f&g1HHaUxh^d_GS&RTdzPaX6Q7AEc|E+P zzT$;~d!p~Z)CdznmUVjtH5#XI2D#jAioK}DKJjK^r*3xQ1?#1|r-`ilEHLBe!8`-K z^$TQ7mzAIUc5qvdn4`xAR`(mbrgqp(l5k|WGPO@A2 z9+QuoyKU>W7uFeX@)N6acA8N2-*rO1%A^N<$G;uq@|Ij#H+S+u>o4!S&Xo53auF?j z^sLK^X`^C^&aX8yriC@F>NcNIvFS-FbB^SWjxFs$?Q?bIcCWj2`qF1M&heZ9))z`SM7dXYT`K!1*UpV>27KN#|rrpeq zh!*;gpDiV@L~?t;?42r&5e2;(k-WJtK8r3Bb55J%ed;x{!cNgomCK#-+x7)WyD9i= z+9>W|Zai0a8*9^?JGS0?=d*YeE?_@6HzRsFtC!rY(7g^-H>QY8ySw^e=W#Y&-8=bO zmvnbp);lfX!tGY$ zAA@N@{?bS9uS+_*rAVT_H~Yf<%EsGbjMf{&Bl(1UrJv0&3()AisL{2kn(>oxVpdB4 zi+SlsxkKKLd4d8u>-id|Ub?Ax=ajyuPqvv(M56nuh^6%r2cBHmylb1QpyHXu9(-3q zj`=rc7N}3sZB};skg>XTlKIE|eX~=i@_6xiT|U-)Dcblz>nl)`XnkrR57)k!iD0(XD@Men&d+*kJ*`?*>EE7sUMC5Z<(?039zVvxjhm@t6Zd^0VGDB`Ws<$<^xcWWz{*h-BUscWh+wyX^_96ZM?+?06 z*50|D+04>-a$SeC-(Z}qT9_Z++T9GukJcpwJ}2HQtadF|L5)cdR)ZH-1qa9ntu=PUayya zZ2#};_5UXG>ua9Rmbd@^`R?`oUwp5d&j0uCUHbfcrRyUK%QpHOE=%({SI;hg{Mlvx z_y7JRe!QoD-u|yZ{6AU!|8ntlp4aR5+nY@O94oVH=gy|>0?RcI&%1D3|4X^i8@WS# zAEu}MzLD_uyOgV-6 z^^HbkotHl)R(N}hSp9u>m#2EdR{4kS=C06R^_9zOvg(tEDU&s? ziaz@={n_R9_y0bc{K)0n;JstqNbU$5?Y5ZwIl{+n@!RvGdtkQ`&FS{YDT1`3SU~_k%ydb-*c4j zQcXR+JL=)Rg4KDcI=#s)eXKb%Sn}SS@PEAFQCptW0j&>q+;6m3+~$bwzR9mzs^;X? z!~JWa%hMA%VY6p7^n`7=CdIWj{`w*EGA1hKYMjYN!71`XsucCHBU~J1<*x(3%@zdrY}L?BYoQC62@kYrBPbwYY0l*mRw8Z<=u2x%A*s)D-8|RaaJD zy?Eeal%Fw+_%l1VT>CB4LpC2?)8t`TY3^Uw)w`)8_UjjpwBAP+$Lh}CZFetW?AIzd ze#f2TKo5&VSN*>*etV;p8I#3Rzc`(Z2`uT|qyDXNa-)^mC$%e^1(YWIsOOM89KCf; z!J-SFrDL@veLdJVzSa(F{LIKK@j2~h(3`O9E;pqOdfRS?ZrfK^dblD|-So3E1H*pZ zo6)NU9ja_kY%>cBv~r4;dYyJeSx4SmQ%_;KVzYv>)Qk&9TbH`zE0#|FXeU{7M9u%^ zLP4#pk|TGGd=*}~{QBj6;n*)Rr@i&tEjF8JPh(!29ev+7KF@I0^(V!0S~?$8W?Ly0 z+)+7WzxedKy5IZ5p0>>nn~=Ca^0W!F_pH4cw|FEw*BI9_<=<57o)sf~)v1Qn{nznu zp|Ki!&PzAxG>__i3J!uc{YSG|&SIydSG{LIY(H#o}JZ69C+Z6ZYm*;A3&D%1e|JDUPZv8bON%~@#z1IKEZ5r1* zPPHXeq`tQ{Z)ey$N!~%{sMJ+ejU}f0d1|XPjqDcGi})4hEj`t$Inz~-XPxR+*Sx^3 zk~;hf6E3XUVkYP(bCfMHIp7~hwdP!%JH|3o)CDE;1 z2D+*`v)(UK-F0wZvW1iR&XejdI5cil9@-MY-Kc3Y;f%q~3FQUVX1RucOkOcuDf2t! zaMQrx^Xn{0_xe3@TpuG8D%ALR=N$Il*78hPWKr_AKYN)zd3}#~l%3x7=*$$Y>2W1j z3l|@ouiPEnrOBFnV0H0gw`ijkHAM{BTr!>=$t7EF<{bVsM{$?o!egu|?Q>p!dmT0T z**f7(J&RN9&38zvpP%fszw^b#FPc+doqoRm`KhUXvsxs(^~yu;)-OB2?3K3k@C+vH zJ^Q9!o+10q)U4vcE!Va!;mcP(*_gr+pDb{UO*&X-?(>tIa<6tQ2y)}>dTP9}yig*+ zw(*+1`F2UYxdPdVv0D8nqo({g7P4j!m-FI|M-M$Jt{#gp-_*h-%N(+17w-|4Z%_NV z&xSZ2`@!rIpyqkAYQvJINx~cJow&B}pS?4o=p2jJ*UE|VJ10dXL<_yMJ$UWGD&51U zRQ+0OPwOAQ$@`h(uTbRu&a;g=XKRc8&RJ%%A$8l-v~@~)8^nG^oVb4aarbk>!09?i zub(<@w7Hk9z~6U1?^G_f_J3!%Q{!G%FIs%%jK%a%4>LOt0odl`v1nu=>}3ZChD*M-q^kHd#0EcSI74y2@F>y*Lq957d~h$l*Du@ z>D^L8oA_+j1}%b#K*M=NMRo|8B;KuUxYAhUa~Qo;)t$F9NH*F0O44&y-5ftY=M;SAHKZCf)LZ z#kKL;KKCEp8#X5_Ik0N0;8)R#^1F6{D_8Pb#tGidJ+12W^+=WbC;d$qgcJ`l^}PC! zZ)#nU*Y!8+@&Bm;Rvb^*Q`?2g57h;Tste5%_~KLhK}zAOcWC=t0ru&;_)JZIE^I#a z>?UjIi?nRR9TLa$G{X2eF6^l9Ow`X5YWHdC{(kn+yY(V7O3!VTD`MKFoWgu;!s-t# zY*Di|>Aw^b%+S!h#JRIU<@=*6;?@4j+t zmy1c(iPW$xbKaHpt*s*e1*goiCx;ql={@6(jxQ^+`E^p8-#@k}*5l*W``?#OmzNiH zcI#%*Tp(=Kwp!TFECbrtkcl#bROJ9>s+4VEey<=T>vAx>TUtV_mf2Oe? ztpBYjps2EZ+R>XIBt9(5mQCrY&Mz&P_H@?2zn`DaZ$4MJes|f0mESk@-d$kw%H~R( z%HvfzaoP1efwMQ)&+C3#Rr`EbVZ%E0I|a+SW`!+T=loSiWYZZl(H8IS~pwSPd?IX(P`gVlKN%O-bY(HPdQK9byn8JxBi6jdp7Z1h9$KRS1>i- zQJTBp!h}!td`s7s+}NLUX@y5<-KAE6+gFP;Iy{RWB`BoMUbuJL&ly`Ss_#WjP!V4* zxJ|FOp)%9wlx^8e<~g@#-k5ks%GS+&TJQVGFSoOa?Or2yt?0PP!tLq-B@fT~L~r4F zSY*nQcXH~NmV*<|G}qLX*RPjQT=B%2>B9de>Bpu$k6xQNF4Wxf+F7Bcxy)7fTI%jq zIb9RQb~|?c(U{)Sca=ruzna1lHI)n7_NcEd{oWC!Y~;(XdNeD~|L%p|D{tp1tj>2^ zk^8U3;iajA;GF5Ab5zXtcFqdgWAuMP-5D+|FZEqb$D0<0<^-JV2{qbz^yb$3C=1yG z27M7Oc@IyVR}W%;YAMvTGH+^x{*s{i@egvFn-X-(XD&PK>#{@f7Pnei^x|tbVs}k` z#=^Ywp0Q%WmE3PEZ-uP7BUm51)vcLiQnQ4!fAU*~x7^~t1D>oX*3-W`DQEp7r?2TN zuXfq~TItt5XSt(w*bSY69WTP0583Xr-CS>Rfd6|wC*KV%p6#7>yCz(CE%c~bC}X9a zcg&L;Ml3I*xVidRmb`nX<96!i&g0Xx*FShP!RfA4y8JI&3oG}PTLSEk1#Px++B0Jt zr#JiZ1$!Ta#&%qJc2{ambIkjN$HIz^*cBHR75tT&FJhLZFM4cWx$}#Nr3&|NM@^qq z7njZQxL#b_nRV*7({=Cn%{a4C>^z%DhS(v^2YHK6G8wb#x}a z?$+%l!E>&1F}SU|Q0Mq_!(qYh`(4~SYCdx)>aa_tUH>g`@>r_i)L_1_m{W))x7uOjU!SS1?GYKZO|@t0#iN&oYD;H--Q~n~xZ3KE zw7B2O_uhScDLYn~%01p=X{;saYI!KGgf+I>alT>5+7EvcHq24$JJ;V?l3AWVmEqY( zA;D*+N^6eqU6{ps;K0wAWfQZ{&Z(H@s{L`A@)u^~ETuRB<&PRm1v(Xv9$#W`;&rL$ ztrwLSmi=Jun^&@y!@ORl)H1}Z@Wor8~q) z`?7XRA>*uj`tQt&&rafLU1)XkqnFyM&eeh;g_|aH``fJuH=E<;7qd$AQ2j`nrFCti(r~T<` z_>{2wL$X3o((+ywM*TI1)+Am1^787ZZ@!Dd;srJ=>HBf{+(Ls@SMPiHKTkRMCdBrr zmeR>f{<5>Dv43suzAMB2$T5k#VCNtHyBfTCcUQ1}oL$W2|M}z#_qM6Uf?ukZXR6G| zdsuI%!Slmzce4tk=FV%!ro`JHFgW)0U9zKBtJuWjhYWWM33iCN_OG9y*PYgrr`5ma zOhm=j|3|iF&Ru7mmS-JiG=0T`y9QrZOgeDA($J4XaDja6i(lTRe-7(9sQh=zyRxdI zHQzO1YpR4Vr(~}2deN66b|$S;40_ww_g~%g*maX@eU@PE`zup|re^Ej%#(<+uRD4} ze#*@SrqdKejm4O}{c?}=|6I(j|9bY*6vMTCGKrawp7~S+p8L}CVc)gngvEkNrVb}( zxL9udbgq>ldi`F(f^M09sS0cV16T9wZA4jJ=bb&MaI}cEVtGbT)LyZYsy!WFA6d8R z?G$7EX>`8-Q)7K)ZP)TSKhHS*iwZlcu_$5jH11^&tn44U|E)Zzy~|>$W{FNsrCs*N zKO)z93=E&@N^xxR_-c~0p=(Q%+o$_J?OxVa$*LPaG#Cpv|I||1a?tkml!+HjC;f`J z z*OO0ohKkBe^3RiE(y`cc>WRO!;IFwdTP_9sxz$>_Wa`t8Pea*1GA8a@$HFT=Cw%Fd z28I*+jXM~gT$eBKsyLjImoKZ%QvX9$YH9Wa&&F?-2L!as<2_<8&C$6((}Qb@E$58< zXj9(5Uv`_i)CtIaT(TgJ(KbTu@ai3<>#neypYznMyUaJIuI%BYH+y^jsdx!zG#$`C zY8=U@Gbc`1;hE7CkI?B{u8WRp#qF37F7MPH{;DWP?7+uw(>{K2{Uyv1x-dcS+yCTx z`H+$WyZxTtH8?Doq189x=LMf2>x^kBdxc$7clx}Dk+H3Osb&87_7wuN)+OYo z`10tNt3HYjxwk6iN$w7oD4k;>j<%Z_-!5R8Y`C5`m}Q>z$CrIBN%MZT76i5iuGGBe zHKUBx@7np#N1qm*)%+x>b$XwXN8>vx#jcK4P)+J1UpHXL7=Fm<}S zuwK0I-)n0{*6(+^t$Zc_r(00>HBY0!G%c2uH60;l1*v*9(o>RIAFW(DbLzJ{vW&YQ zeti3zJvi=#*46yk`W7~ET-Trsj~@)1^^o`)-5xy6)Hz-giB!ZHmUkqRY#4C&+Mp2}sB<<-e1%`m_CK-u9F=MvwQqTiZ2lwrWvaG2MUm_WfV)%Gdw@)nD~< zkKwD&r{~Y!F5kN;%=YiTpZ_wG^JDHV*nO;gZus8o$7Zez_n&WOzrWs6I=OC-&AIl| z!M^o&@>h}zc1iEqo~2|t``YpQzPDrTvKxQ=`(&Z_M7?oMSJv4>f$5#=!%U_h7n@lW z;5$Pz|NY%RnR^rrxh$P-PI@=fXqDyu#$U(J%XPitR_gD*ZqB*Va*Dek>xrv5Kk}l! zb=yaN`uUf!iu>Qbou$RWdeeDM)@K$jNck)_*+22dTCRT&#lL!besn66JBOB?uKx{Hp>@GqoF=-JBt1O0FxVu+eNoBpAV=Q2Ne;6) zx2or+_I96GdbjJ$lP$_u!dA?*xo34kPkD)Y>Q?qSPm3HjI$gXyQNP&Uajx&0dC_LS zoq{*!wX7@^FfT0KJvo*!+x7X^2R-kf#C2(M&8Qbtz1|)BR>*LVPQtH8i&Q^&YU{@A zNO^zZlJML+PJ2#dzrVAi@?^ZINP4=Qn#r4rN8!)jcv&7doSC+&C+OHNXReAf$JXrO zVbohxyRE=`!V7EJJ?#@F+<9)>zIXNIW#wiuzFT7)b@%pPS{$`9bDAdmC!0VOrjCil zF-p}3d%& zVu9#Ry%Q^zu33E0Sl2@HifP~T97j(5g%|6Z9yf`LPOf9`jkP+QEM2l;@jW)N6Z2Ty znQomGRpe(B4b1jb5D@r%%$IEkWj49u;VzK_oH{E9cD%R>UW=oXVPik!S=up|e z(xII*?7Q!K8IDI~hK9S94Cj0m(qm!Sy`b?dyM4OKC&%XjOegC*8--K891`hWIYV{f zVaEvdUvgZ*K5siZZ>`%pp`KHiJtI7!t97DWq>oIw>w9^zuE_$9`^|0?naFH&U3(-r zx%%y|d(|asjfTYydGjX;%{Gt9UA>l9&GK8Klv!-RjD$IQ|$ zoU&M`!ekNPX|hQ2X{JKr4d)9b8_zfR$W&NeWSi2)-gG=GRHj&wWoyzjcc%K~%4Z+H zT9bOJ*?P8!&>roRlhmFIZE@4gH9oLZt8bE2RKR4j2fIG**^tltCb}(O+1*g3Q(!0W z&PD%3PkUG1pUyFt^{OB*3zO#I|1u#$hVD84r=>Wk9z8iTXwC8KR=XdGOuf}2bTYR= ziD%_z!|X*}Muoe}6WFTW zPkG^?$FqWE-AB>hMM29nYI!f-*jUtm9@P7o~x#nksf6wCs-Et zIw;ODY~uyv%H($kFD+*Kn8nzwb9`ff=K9+$VX6(W?>dj$S2X-|<(!+_zr*;#?a=IA zxu(Q=|HVfxSDZP_FEC@7ACvNy*gX$L*QR_AyrSjqRoVU8kE2I8wN7!R$hTUjjy@wU z?{DiLFPf~N^>(cS=UJbKq@u)t)Z(BWg8EN4u{57n-N^gpjZ{)XV2A#h%fi!AymGe| z=f1ez#;JUWrTSS%iY$)@ymnMAahbLqCU zqX)M%tSY;6_(#ISgO0N#-?-!~+LEwdvOcyi{omD>9chHmFGrYWVLcvzJCH0g`X+8ODPt*Xo4T04WxtPD)<3%BS1$Kn>7Ho+dDohEkBUX@U;ll7`0@JH^W`U6 zCCVDdu*y!^Rr<(M`gMAb=`73DZU=1U=*{l_cKNTbiQ%kePk#P0ousiq$3fF8H7`X= zgL_(ETV=ZYso_jI`(=W!!~&z~@@k3^FLot=V|3wVDEYaemCNVS`dbRS zc_KO8ZreXOzf69T8zM@7ISp4>!oCtlTSB z-ML7$+iLn!kx7=Ohw3*y(L80I>#lc$_3W{YfyL=sA-cX7HK#0llDx@V^#I=rCBwf9 zPifDbF!QnYiUwz?x|<)~y%am5ZoRXuH7VQDpx#9H=kLBp8c7Xu=N*d^Cm6)vIW)ud z6zB0bh3gi!1s&Q|8~JL+Tg8*M=L8<8+&Zh4w_fGR37zSSPpe)mn*U9vtX}u6C1~CzT6VL^`z0ad!H~*ma9ZfAQ7ds?*-AOu7F^fA)%8YmKv_ zRg1fYnO+?gU2HD0(QaFEnCXF8D&K1Yr?N(M_RC5h54-a4-72pgVprUIo~JmjkK2-Z zYgSgeIqP3Gso7SC_kKFly&(J$%gxXS^;@{!KI+QjEZNJW!K)#5wLYCU$H<_%)^&KQ!X#;d;Dm{*(K~B+pchZSf;*ud$Hcj&utSO zZI3TiwX{0c+ornn@Qa0JMH!Bdc#3av-_CXl{eQT}d)l;j*79POotDq6G$!v?sK3d^ z%59l&`nrbF$w|ERrw$$JiQ|iVn(}|emQ8G|eN}f)x`tcNe0(L~!{NFQT&G{ped5ZW z-(|BPxpDf(FMh`H(q0;7T?oc`kDkFPodFQ)qRS zKkdY)6?6HMS41lxR7tp`uzc&x65qDBYaZ@Ps_p9Y&HR{Xzv4?$v1EPN5yfMx$Nr zNr$exdEJ$6uXwg(wZwVNkKS`XTxQc9Ct$*J&P2{)Gt@SI9d{&;>o|t~pZQbD$exEKdy_r(n zb;k1il7pfSZ1!_pqOyBdz7&m3N^}u_*5`DMrzA>CcH5E0h0DxU_C8Y=*Zg&CNh7<} zErqB?PKl@>#@-2Ad)h1KUo>sbzB>8&=12Ei?RTlRJEx1)2%eYK=?dsB;;|C*6XUM` z#k%-t(_-6b9S(6maqe~bma$8Cb|vkJaNb+6?}oz$34?9Q#>@Y{j8r}rbz*aRPjAca zsuK|>Vy#lIB)*iNE4V)R*mcdvJm3B=*Idk}y)ry*kDp}x@*al0*EN$@$2nPA=_Twf zIVbx0viNyX|LZ?Jm8STdg>7i-?l!r&tu(Syt(FfG1Fwwi49xBEB!?bMgG^@xe8i_Ex3Jsw}(%P zplE-~8@Hpa_AE`Df?LqUj41Vemy>|UsM=wSX5pZ-OJxt;F%VF_1~I@_dQt|m|smP z@|t|p*Ytk9O={0vqjj(Kv-e%7Va-0b(9-Z<^1qJtaozDDY}-vy;j-($+@)7`Tn_Y-W$7xLzeKFm*CK!AJf79Q z676TB-V2_#lT#^nJ%02>@_{L*4eX>8u8HWJ@0|Zz@rD_v^UQF~CqR+iWU3M!{I%rnWvKbrWUR4xr?bxAE?~-=?uFm242W2>T zngzK;0^cnBWK`PNaZzIN@{bSNC+b_2TD<@LF!J?*z5gZKG-o`0@}zFnMyEf{iIKGd zi3jIP39dR)){jz}v+!8(uZ0q-x-SS;F&)N5! zo-XS%j%&ZRu-#G1QEk@TqhoP94osxcUmCx zCiTDdNBG+}&TGG!ZZ9+Cbmt+DD}LWueHZmqTF&{f@oeW20r7QDXMLN^{BkdwOI7@) zH)T72BwU$oaptk8I`j6)A_wm4iI;3*5%Sc%+?63(WW34d?4GNfx9^&DU$fd8q`y0E z-6I8NyC|#w&7X@Lf9v|S${by!Bzs(2s`%`|L>DL?bCf?HS6zum5s6rn-4vl!pLlD zY(6=$LA72cw)pY3k9YSs^`-nwxn$A6@MGaJ-}Q5s8D~y@X7&BbCjPyzm-wIbnZ4)9 z{q{wwN%oAl&ZW3nc6Z-BT9;V9amwm9f9@}yZQu6bj6sj{*O$L%|G&HAY2)fg8A-Q~ z-)OEs%kVz`-oNGD|Ns8qU%$@oZ$@^&%T?44N7Ss5R* zIJWNBhreg-@B3W4b#mL?%m3d#{r~P$eZKzryH6|YE8pqYw?E#$ia-ADpO?%^&v)H( zd7UmLw6neR?4dUk63y5ym)D6@=FYG9`R>rkR^|U+zO+C6{P@$)$qfGspE^$3B+d3X zeb+~wr`zMt@yn)O>P=hmEY@m%eMPi~JVWa1zaRG;mTiUR`T!0+IqPM zvuvGqtyy`(PM~<5>0;g~``3#+$T+r6)co_iKOc{OJ|6#MtKzIOnU}ZrYaQ4elKxWY z!PQmM-u9lh?|<&kzrFgA5W}Q>O>7!lq@rAmu6*xu`+f083wg`QZj9Mo;5etHrD@P7Gda;V`@$}JhwAi> zYZc-Py)$l4FXyXY9A>hOJ8#E^S1Qd>i{;wgw_PgG{VbaCyk){G2c~&dQ{Qkda_aPD zd8AuVG^OWn!~T$^Wf~ru&tG_nhzoo;Eb6^pX;)s!+>Hz;9D~l3pV7VGc}JwcWY)FS zTaxn%X04FcIj_#=_0Q-!*E;zH`$IfmZl7?|)X3)7L7u#2x1E@Grq>_3DD!sL)CG!f zyu}TPCRwID0+S7q3Wefd;a-2z4N^A-b?!V!Uqb1 ztBU`e&$Rs%Dq?k1KVF~nYE0!@_HRy;?#cdiijO|IlOW5t&*{K3_O6iKYj3l;IbRo$+la^-mufO}I?V9FuPR$^#hDp+& z&Z@0lsbXgz)_h#z>$`cnKim12eJ;QJ$a&+D1n=>ID7L{c=p>7HeFa(>LA78@Ub}I?bg7_3Gan1vyU5Txq)~B7xu<2^K8W?H$MdfA7_@uEwM2lR>gFciaggc2)>uNJD5c{WRAUIs8;EGrA1NS z4+;Ih9rn>jVCFZ!gDpjBJriRjWHwo?3{Cnf7CY_E0_*!1>dW?&^VTM)a`c41*f2q- zbe}p`-HRIS4#A%-H;Rvh@07aa{!E3X;dapC#-?hohnoJ*OP}sx)GMu9)1~rrVrtvB zB^T~zdhd_$Q0KjCDF5Wy|05^FrMyC(c9tj3T&ojd-=2}t@vnB;j#h8~7=aRV*PC5- zS5k7re0{v*OkFNpnbi9`m^PbFY|=2l5&AgM<)#{kW=a)`vsZX==-57Th>> zR8lhTn!>RgkMm5YOp#pJ6R5W>Zby4(jET!JMN5I^w&kunuh{wLslS@kxL@1T;b9u* zLb(|#%{KzvpKNhs`W1Cpq(L>uo6Tm&)F#inA-V2Ai9v*Cv=rXc8WUweIcCAZ_ zUW9Dp!Gvaxw^R59F24RFb9_&>a#N~PkfZiZxn)~qwrsO4wX1k8+oJTIt4qPX)0L~; zFn&|V^IYzb=#O93N)F}mXbY{@VO&1Hb@totAYFfrmb`z<-G#aQn{R|~sm*tjXBXeH z!;@jcO=Um-Nx_pknBOrO+`3ewnm#$bXe-m4H=^ykltY%^sZ*X|l^M?7H$`g4U5(bI zXN!)1Z8#^6#5HFV72alAFU+?in}V@#>;yYR2+iuUt~D80)EJ#x*9K z^s`^Qma|*^<)a|gRzIyfX2R`@jjQ$jGQ5-K2PAebt60*vsliR=QT??^5fj;`*sn^T zJ*ABMDYxPQ_PeUF-u#Oyw*QL!CH7Q%!*avT!3Fa&_GVghpI*YQq@#H{AiZe1_NuZn z&sl|^ism&uN(_x_@T<8n(QKPV&{NxUbGU_gE?xM;=KP?;#91XFc;SgB4??U8jd|Zb zb$9JhXj%DJPwV1>O&8pfE+~oA*R5U_*m?SHOLE{!e_Q@rx|){0*}d5xZJ31CL>!;I zo6$mS%^eG6+swm?DPLvF<>fB6mQKF%;_maMrvfK92LJi9RBoQM$pMifeGgH8kyz#O zKdhp6gzp`2({j?~R%Gg8KOv!a^~8<)QxBN$3cF;aD6Y~Qa8v8acRtaCGtnof*VLOo ze(|8-<*~fK$*-F`pBD!i+cPm-lP~&Kc0u65ONX1+cKObD@^b5+zKWKoTc$i?Dw1?! zk(`+BG{5Vx=bX%)v%ecj+C2B;Y&CCk*O~V7>z?Za+ z{ntEA&dq%O!hA-&@@-2ehO{j=jjNtbIvG1rx;`)5u`PAG`Ls;gn=(;7F3-C78c&y= zSfqB{%anh2qw?R6O-|SAUbV{2U$6J&&_s!Pi}hZol18 zk|bQowBgHS=|#^MG0*z*#ql1mm9)=?j4sAjEAJWC@~5^=ynT?x&QgBnjDQa-LzpI; z<$G|b9zJj;+xeA+6gS7yjSY)c_C2fP*Vk!u9g^5JgE!IS&Wewp zb(4c6lMkeC{^zaPvZ5xFq5d{!%|wCYYH!mYd(FFiZeNz{8*PsDWx7vi7=L~{vDm3E z(EHnGp7O^p;(soh()RV!AKUPCB_~zhM3h+mEuF^0f2wC?Qn>_se(qA0wD#Iw!RPtb ziO#oH-wxRn;dCg^u*0dc*YMf8PboKF<-c4tWB%tw<>u9kUppweNY7t=`NwCD`XhG& zr~gXY#HYH>a9U7U>%u^rjT40IHh)}|zNuxF%!_cHt3m?GH=fIPo^45-Cp#Q zEv1(CHnZi7+xNC4+kcrSyNNyX`Kv>mW{&Ucjc-=X+gBkdTzc}-*QomuY1=L_#9cm< zzT{WW!Ig(Ev|i`soT_W>XIoR@yQpBcV{5%!WBjp;`sJ!WOH`MhnmPZ$yjSl#yVAmp zrGxA5E`HKl{MNjuY)PxcO6!Vs)*p|_+V4A__wM2Og^rtJ|Lpm3oBze(>F%k~u}lC!@?}&xGVTayhePABB6d&#idrp{{*I&XVn> zg}oLVPvqd;cRea@9fpWZ*(o@{XV0{_*7 zxi8tdfBZgPdQgAGB?)oZ)O2Dlh?Sp|#l>ZAqOf`0$8aX_F`S7FD)nc>yz{RZ2<&?v zF0rk(EjQLaIlWb@G(03gZc&h4=yvv99Dc4%MGx;M`^Qwzxo#%JzU9_N;qx_*^N;-# z@tg5`ZbAB*M^|p$nsm4JoT|B zj%8gY_q$4kA2H4_UZwq1>|OWl`o+4*XZ~9D?7ywP@^Hk%?T1>nFOuEKlPr2~b3^D< z7cQm~>`!$w^}5Y{3r$ZP+{Jrs&$?q87Wwzo6IMJk%Kd*y`o@u+=F<81sy{2H9slTc zq3fg`$C3R9_AtwGZkd1haIB{v%W|LVPB*6|3VX~pWWRBF8&AS2<5yG46t;bH>s`C6 z-m2T6cQ02g!;z`xr{$(9t~fqdruwtdv9(5T7Fs;`n#CmM#Q**2{~4A(DmCFk+J$+q z&)&@FJSNs~lj%C!kI5c;Z!h*Uy!m9Ih0pKgzi!LpRG+L|CUE8X;x*6HL_(63ZhGz3 zH7Yf2S#&AHL%v}8!zllWr%rv-xh7dTqh;a)v7bNdUvGCkmZH^~=Gkv(caY)q7q&y& zZXd~RRP=a$?hfy#>ylS5ZReY>T{6LUeT=N0Zo;KCCcmGYjn2RJvFGp`wO_S;o3|`T zN}v3|NNMgJ$q6_A235&%@9s?Nn{qD5=Jbk9XR=f(qSq|@`D=2h6@T`Hl`nPsvi;wg z>)39;IH&i>UcbVK(-PP0d6_5v|1gU;`TUMzW&y*{oyQmI|KE9EOV!`}Q^KnB&FlW^ zto*&dHE}ZcVON{-*DtpB9b(v=t)cvjXLr@7_Gv4o{$?mX$Yl~@Xk=w%YGrIWU4WC(0Exfdi<5CVW4(#Fv4w&G2q@(7a)D?A zGgCt|Q#3JSBMVbwbTJbHV>uYHntNq0Z941l=)a#zw}5Xy%!j7?~o8L49muYHl|DCpV){y`iZQx-kZZMrHaLkzu^CgwryCBgTx(&5Y2KsFAq^Mi3gA8C#%7osqePC3@5u8(Lt5 zjG2jn8CY*UQgSplvb02xPh%59b9CPsTN+~c&e+u43@Mp`gU#5~(i}asjLi(qkV63+ z{>Em;78sh%Ofel}W?_J=8DxvGxq%UekIjvYF+5^!VuBte#^z@AkYGR#1#=5?49yk> z7U)r8Y+-Bw4nkzT7N!^p&e+1-7~O#;rWVjrs2))on3x)YvjlPqHZe6ZM-Lej3v)Ac z2bvn2nWKk{si_G@)R~%F7@(L33V%~`BSQ?$<|Y^k)6~)sBXOBpSYRYpGh<^5q$~!C zB?B`f3j+)>V*|r_^k6kJF|zmH8S4el z+h!)F7^Rt+i5W&pH#0XiL61)}Q&VGu>4HLx!nWu!V`gfBQKo^CHio~=49v`?CkinN z*P}#`fq{XUnXxHG*qNDN#D$re8AetxGc(7i$IQ$uFcOBDxdAMD)FXn#+z_MGF*7&9 zD0R%tO$;&oV-BhCkW;gnxfvGo%+V?gX#)c@a|=`Syk%x#X>2*2QJB%w4}0st)>czN h1E*9hmz^C~aYtYfRKr)g@U0W2$>rh zDHwv0v89m$NP)3}k-3F}p$P~XTUaU>nu3stiHSnJp_ziAxq_*wnS!AO2$>pLC>UBQ z7#V`aK&~@VFt#*NFfs-qkUAq11tSv$kUAq%1tU`hQv(A9BQp>(HZW5#GKU}w1tTy5 z%UUWJSt?i<8!H$afRLGmp@K0OnbsRwC>R@okhy_{0!RhKt;Qw_#wK7V7@H~>n}V$~ zHd8P*16yZou3!wZ$3npvjLgkU6pSrF$kfn8!NdTJOiUC^3_%FwR1+fw6C<#BCdLXT z#tI-OfE3i5C>RpFSldM(wf z=vXwfv@=#s$aj&A*x%n9Yx8a!%<^D8_jT*}!wNe+$4_~`u89tt|K^uU*_Iu$v!0!HpV+f})%uuU^|rmw=9jadUzYMC zMs>PRjMw|)$1XEozVE-)nvt>7bw$b9bsyfY`}JjVwcI@Rvi*GLom2j#*Dl-eHaY&! z&8;i%ww0Yzt?%%7>cEu2IYo8Jb%)I@JnXZWGZ&;fHGO-^>B;=1Be+52qb-x5yu=h2 zb%`lVLJm?MOp*$$DGOV#Ex1*G!7j*mZopbG2ktpW%uVdJ>`{jgYbo;16*^^7qGgcr zV#m zJgWVE&LS#Y_@|ACKpjmN#FdjAI^ z+;)BChnoByX1X>_vO1_Yq1&}dW@m(#!1m0AK0?+)B3C@ECbqaXHGNZbY&>J6qER?o zQl{|7=?5MMs@*srAF6^rLr)zF`uJ?6ekd5^6gP!8|ZB}h`_nmp`bnHp*)_=dBEuL2#s=q({ zv&pfHxTB3?&%aeRi8Eu8T$NHGy@Za`^ckaA)dMahT#eB#2YgVg5?^HKRPu%~v6gvHzT9$;VqOgVpki%6PwR;y2j0y+{5Gf1{nu|A`H+>r<5& zU(~&G=0BMEzf9Jt*7nGju3smPxEO4h|IxC5q4M9?>vo5G^vk|UCjLpin!cnnKtW)p zq|V$L**W1>mcLncvbXj}+FVPzHDzV7n%``r+_u)G{u9>sS1)KSU9f)o`t8*dsvoFu zXPbX=Tan+eob{*dgEvoeASvjc8%x6 zgw>-WSgfq0cd)YlJUiFMQsYMHr2K~0DdI)G4^q~@>t<4y-fv!b^H=FL;p=N+_LR)M zddbr<(NRoqAETJxImd7B;udTG{1g$_wh7?8()+!>#t}HQT*z&CG-pH-qyNv zIVtbH-MO|peEphxd#kFy?Yp+Tety@!Yqj>qr(b=q+u!>)?rVLy)B^(ts|Pc8Hvjaz zR{7vWV`WnG$FGi!?|ZA>Km5J>{`&t3ci08xYyLhwcJNuVJHMnw%2k2=if#R3^(=EV z!%yv<7PI9>l3>cmoQ(MkS1o*d_)ptWo^qK!cNyu6Hboy!YzRCQD7Sd!#jp!!*5`YO{izYY;T#oeH?fk{y+(qvzD}D;{O+N0O5n{mR zUM2D5?bHuXO{O@+1$u4U#njbUV|!nj|9r}s55*Tg^Hnh}TF)uXHuq|Xvz&ou{i50p z@jLZrUi5yMd+}wd&_4dX`u1O0rmqvXRJYcidyq9IL@(=@{baj&^Is^veB-;@<>a=a zk4l?+pVXOEIj-e0*`(E((J*}6Bjaf`NpXa;xl*eXz||>QGYS< ztKihaL+w-BPj+nla_2`6v(Ojq*tO@f9`GpDr*LJKNiLR$P(VC zuUdVZf1C_x+V+cCwS2EvsNPN z!cM^h_Pi^eG3_i4KXb3ATYt8zd-#WoRgR}^uT;k0Xu5Q?LgZEF*$WXSGGE#vW{c?`Q>$NovFsdA_lclAUr(&A z)_h!=qB%cv%Ys(5j3Bd#7V4L#eSE2MZvK`F@gawKI{Du62%P2iopU_bb$%CL`T@ts zU(PN#W6uA*#`te){mg%SdVwj=ypC~QR$l&YqtHH;9hBQ>P^>|OzR%3DpKA( z)ouQXsg|A}bmlZHyU43~Q+#L0-i+0UxSblFEI#$~ytUNCl*^)#t21o%b-di@1L zQV%}tOP+r?u0kfdiQQlU*QvA3e`NT0ml;ngezcRNqo22=_gv}fcn;yjvq>9To*vKP zYq{=b+o3t#=*{C-E40dQu-=}tZ5@O9jX6(ul|NtjCivsbqTZOPQ)K2Z>1vKR_9iNf zL*L+uG>fb3v_pK_buBj>*wue)G&jy%!l+-r%5NnvyZi*lq97h)*7QEdt5a;;SGI*L zTg2#PVZaj}aPPt5PhrM!CAK0e=|`8G+O+rb;Tbb6GMTg%PAYQX)y!XijLG$S?QBK& ziH}bz6#wC#Dz(=0L~BgI@}TzAB>!KIScoxWsR7-jW-5$%Fb+F_HF&n5+nbuK?`|$S?iB&H}N_x`m$)1YTDeA z>kV>aM)vd8S}pNV^@UD<|6)wJU#?pJufBvaqkVcc1g$ zqsy7sWP0bPPZ#~LVS+Q8$(@Gw#il0K$_`8BJkB)?JI8W)%|q)L)kA;fj$bPb*Ipl| zRK7*M{EMDz_m-wpyEXRJ`=0Q3-+MHY^OcI8+@#c#oO#O2oMdv?kJ~zaz30A=_mxD5 z?xm~+Uv55AuV6@1>sL50|Ienc;r<%|Au;c;Mf^uB{HC-Wt6P1W`^;$_n;V`o7@M-`~pfC+E(Lh41TcNq9B; zh$buu^LRMn$c|I1=C7N#tHiMSvl^fK|A$(qawdgT@8g_%RcX4~Bu4G`N?&8Yam2Um zInp8fo2Prn&xCYgNxw@Exa2kOd6(_;qx_rBHCf^nO&k?X4KovcikdemG#yd)n>k11bk89#9hWGtc~j>&eOR!* z{ZXDxK;45Iyz>{Q?65Is>wPW4lCz*`ZSC~6YLj$`7++xZ(iYcA^iocLJgHv5Hgk=r-^e)J9Snf##eOU;ZXwSwgj5>l_SrfJ=^J*3HO z<@xP^#ff{nSM2C5eRjHDy7_-+68ArW+BdGhuiSj;*-==(J~4Tt#Ag5F3KO3Q$=q7K zIxXzd8z&XB)&h@dZU#Bc-~DbUSSv&?$ss_f2RM?|5;uCbp;FCLRRZNYZse+ zUB;Eqy}57G=0J5Rjrz8*_qH1?<*xckev=Hlsa^Dt=gKST_kvMPS5{`}ht`-e80?%7 zrBmrB?zC%)w~}{fXXuH?kDhWp_hRp0%3(XFeSqr@SB-Yl>c85l@otk3Etq=0v*qZ9 zvu6wKB0FBc-0)sx=cy?c2}ufuF-`ZED=Qez_GX>BYDa|ci8U*JEcmNfpQ?GX{MU!) z@j@pa>9UzPo~}>mxHfbDt{$#;oBrNcNWWv8<2509zqQGXMzdGBIqR04F7vj!TNk~3 zC0pSBqih#!PAmyho^4kD*Ln%t!+qZAkwtwEVjf-hXjsxD#KwB*&4E?Zl0$V5#8}(Q z2DdExHR+J?O$Ci-i(B72`0X{C{lupJi2CWLL1`-I4lG;p?nIGdtBc=#2G{?cbGj!e zo&K71fum=|mWqzUpWf7|)9`C(io1pzBE#l=Jbw=@> zW)^$)|KK>R=T*37L%ltd&&!{C@>PCJ7BgHuYr~DZW$n(n#_Z~|-z~Dt?2(N6{JhGk zj*Ty|zjV%zXbpD@_xsz=Z2Ozs`19HSh=jhq(%1i+zX@+RfsxNtYWi`mJSra~c~8tNv!{b?Au+m&(A%%Ju4g?B=xXsilc zF8^>sM2nhJYboP2ft|0tt=1JY#65Mm8{i$QI(O-o>`h;S^)7V(?>cd6U&0G1DV}GR zd%8kD>{PLP({@&19p9>?5A7!=-P)Xge`C?!h3gFecXSzE_;>Q2SN(@J-B%K#j$GM+ zv*rjgPZW?8pRAI6?cDtTOGO1|&dI%+u;6Oa4*Ta;V$W-zpt6SaIWp1Q?7R}YW&xga&~#q%>MSj^1;6sw?DdSotCKB?ymH7_Ka`h zwk!WubT5&)FRFjjDxIaBea}q}+glFy*|WARioRaTvFlaahTgUAk}8w#?m6~IHi1R8A;HKI5L)({8tH z$C@<>=ObUMo%Y=E-Aw1fh8O2u6s{;deBW8#Tq5=6_2HL>d_pnb-ep%P{(ZfEdR9kl zbJg~Lzh1YBK3RWmzWAj5zh*d0w|V*OSD_W-%JZz#TWc)uDb;Ou`d4D`)~2;}una+G>QR!P3xo`W5 zzOTORYrIXss$9c)_Bk0XZ4KuDvFNnEW%2BvBs8XM+A@Xz`SA|!nw*=BDV3^wcd?NkM-~g*}=Y}F?`)-#gf{V<+2t=-SZ=rjjz0}Up{TN%oVro zIjipk?G(HwXtbf(Woo)t2jePFR}F2Q%n!LCBFvwEe0nM^w4#3vzsBm@(bJ<`j$Ez| zYACs&vGkLQ=F4)WqGawJYaV?u;*4wZJ@R1rmmV&U4&G0tEs_l97xHL@T>WX)wpZos z3C-1a_`fr{3D0K!`r?i5y*(+vZv@t#j*7CpH0!GT6@zrw?;Y+2o3$s$alYFtr1Uzh zFf?IjzkkAle*emZ(9p_C(e$=mpM4s3R3D$Wc*gTXeQQ_5_Lx09n4uN-;oXyWicX&e z+K(;ZopiC8f&1{a-S0TQ-riCuVz79Z@XY(}<*C1lFS72CxwGlXfwnU<4d&(Xf5l_ImolCG@8xZ6 zO>RG#V7X&n;tj#$#ou1MuJNu>eKRTH`-{6mVmj;Bf1c|nU|aF@$j{jg zc8t37=BBNl)Tr~jSHWfXF406Kjj5d*dv2?p+I?zaq0~u+8K$yrhu&PPcQyaJ>8b9< za3w9F?FxAMW}i55w!v z1_iEtrhUU*?)t)M95Wn#UDjh1?tfN)c?G}G&u2SRjwnbg+_s#XY-`YdYS+%4u`MTp z$~?~es5>R_Z>8dafOG@>D%lfx)w;@(Sqt_~-aF-9%d{%#sSlo?65?OPlG@dhBH4Vr z)arp`4bM^^Pd{a`BlC~Zll0;70A13SHCR3dHv=_&Asm`5Np{Bodij=Bi zV|{u2y(-zDNkuUdDVJ|LWedp%)UvA zzEv?6QVw%cIUIUhAd_)?a*<%UU-_Ja+j`rzW3I?5SOa z28`wtx5Pe+5%bxuajO;p?=xM%w1*yxVr z4}~J1zhD3J*zEb@#}@zZUZ3E0IIcUaJaOB3?a#0G>twF3Ecr8CH1|!mX4F?dbr#8g zwmv+2MEnhuKDsTd7wi<)>xCCzR;Su6Y5KaS_qkA6;xTn7RehMZeRJq+d6Aa_xvgMZTQV+%5QiPZ8Pie{Qr#gnrqJAX1JQU zZql)ZjO(24$~Vnu%h=VR@iyvv?Yal7+6kf-W>&^I-iu#*-jqwo6T7!^%7cWuT@{fJ zVr<%!`JDPXLRQMGRr8K@om2XZ(P--9i9(yR54QDnvK?GGeb0Tl#N#d^x@vaG*Y~8J z+QDLTCy7stVKZO;?e3@xg}?yqn9`MtQYlv4B5hWwyI0TMSq53;f8(5+s;{hdN=(LU-}o1o;M#V zimqzyk?}ubyn%U}y4oj^Ej(+T9$zd;Io*3g__5NTi)&6k{@DKCsZxWz_t&F$wI(&3 z_2-_P2|8gXW4Pe3ixgjGdCvZ;em)x?T5X&6zxBSR*{R2e-%mNN!kRznhuNXS>o}?} zyjjLMAzIt*I4v_yyG)PE$Mg}_fb0~6TXr#))~rMH-Ge9DtAfGqy{q|-~YXQ`{F~-quDG$oU+u<&IIAt4kJ8+~q^UyxnGD^umk(kqc)Ss8hK!QKT=SC>3nK2LaV zC!byal}$mJ?ddX}dvY{a{yD{xIwxoI-tDqC91h$&;LUS8t*L5jT|3*PWQAw?mPy^m z9>2^GO>elhW!0HKoRyR1nLj5R{#xK_B=T3I?dQgd7Z-jWTy8Vly#9dMhfT_YpHA}z ztLEz+Ty~wo)j&f$vgY#(PAMbd^nxdQ7WuxBd#0)G_HA3s;h&*PO?f8?FW7qip2xSJ zMp5-{6MDN^R&cEqpMTI*`sH?BjU@T28LTeXc1zW_FrT%u`SJCUy=U(0yp_4RC7b^R zzAwI;27ti@KvYBVzmk`%_GfQJD=jqK>9nrh1tSY3W9|>7-AOGs3 zzOuXP#>zR%CknhfTxal2(9Nkq+COhWs{MY08Rq~0d`Yi3vG1ArV%HYFNqdCLkGra> ztx>6(c2N7lRc|g|$2&WPKg@Alv~v4K$z?j~{+qMdd=qp17Td+Vck^qQg%JXb27eFEKdw4 zq*?!n&1jT(w`Qm1o-ck!XKEL8C&u5OS(o)^1?y|^ij2dncvNq#N|Ww*#B=;s(Q6Oq zukVjdJ{YVjFniC%`t9HS%3T>6D-(*8R5XOA3LN*iyl{eby~eKK{WUsro6e+fKf)&_ zwrlQMU!#mf`QYc_kAz=H?yWxcc&f(%#m(*f^;0H1Sj5j;W6+uRI&`tFxqFVp+4m|N zeY#b278y)atXX$??wb_D13ZuUB8wD{J%0B1n6YcdTdTaf$MfzkpDuAEg3;sP_a!G* z1@ai*LL1AE8z39bj7#w_Rf#W$`a~@{>3I;sXkYnbLcJ0ZjbOs z`|_7YF5BV~HreBj?v?ka4&O0x&05s*Hj^pE$g}Ih57~v<9tu@6EDo(JnSF_+_s)yw zn|>cV;^?%5MSk&NMaAr`z6;mwv2l7X_;%V3??cn}*?<0Ik#b7$*>QORZN=9Q+o#^G z-4UOD?+Zhu-G|x(Wt0AHR{r*Oi+so5jWRLYTHmFd%2d++b$zSA2J@3!-uX;XzEL&R zJ(K%eirJjowIyb99qhu~_vEK5q@7IW6soWLZ~vn9WJr-pDMzVec<;T z9s55VchsK$HD5j7zJaMIC@hHYf^#As_ z|DSo68TYlaJ?lkH?zl=G$=vFE{YZiJ%Wb#Ach}7bPT+r?IC1}BmGh~dpC1ZG%rM$o zc(8Hj^?Ij%#$u*@dbU4mzdpS(TZKRUd533alwPc?Y2xJVx+~kHOCH*LoS%5amV5dF z-N!D5uWD_B-ILgIA0AEKv?hUZ&CkbsswP+Zs(-GMZM83|`Ltj7nB^t6t9N1_X#cdF zx?l9nJgz&Rw>NRl<^G_(uc7OF;HpC$682wL2|ac0G>VU`UlyRL*z;27pZ=8~kL7AB zr)V0r&A;%ox{kd{!_{3{d;;PE-C7_hTFF-Q06bU`{R^d_bTw^YT5N>wne*7`lT;McE0b@0(s2EuLI`LT-_z^Xr*^)D)s7Z29NMlday$JMrPe zhuY%o{%xf_x+l{j{q$1A3b&dld{z(7{_5lEnJH^xcw>?A`&gZMacT}Pm+jfJCRp#+ z+BK(m560$2hDWMi`W1P6q5Y5Cbw*x%UYEXAJhN;NnI`o7?osO{7qxCP&ZyrQvE}Ha z|Ep8}{WRv1e=nik=l!jpoxj7Y`+}NA&%A~y2N$h#I(f_P=dzc@>jb`OeVNFkb?jo& z4lpe^d23l!^3?+w?FI|6MRBr!Q zRdrCZzF%L(Vw;!DN)A&iW1~<9SDTL+k2)>eGvDO({C})oKFiKJOppK0t&=B*u-sFPAt{7!y_B+AT^AG53 z=KbDbTBUAaFa6!Nb7k?4`+GwpkG%F%6gS#`U)FWf?Rs;?UWq)f!1!#JweEk@>crgN zWbd3~qp7gd;?K(&mn*Ci(hqRQbX4DvpKWZo(M_RA$910Dl(WtH=ajawem&vn^kbT0 z&fSat>KR#jxo%x)ii)o)lU7WYE6U^2?mZK=_y6f%$;TJ=R+_y1GUZ~iu6p5-gWGdA zo$Oo7f5A29%goGr*5nxr?brQ~47`8;Z)tdP?`gi`MO#!O6h?W&yKT@PtZ3b9LLdYL-^X6O<>I%ysiU+H70DfyK?JFroT~ zfy}8#Q5hC1EoT-gE!BB{?;tmiRF7HU%ws2}ONGaLe{p+Lw^c>UvRB_ESBJc0zVe^( z_nxV1{`E;@8vZ?Ma!#tO<@Qah8*Dd)>y9)3Go3bL#q)(5SH9tS?D=@c!`)^@f*T^= zZl7*BBQP|B;|zb_m%j3-!b1JL0JYh6F@yAu_(HtP;|Zm~`9wF7!h0UvJ(T-heSwUw(PYyU>ys~z5lIQ~A&3Q<1Q z{OCdehw}QY0$y2JwuK9ysKhm$&<-?dnL5RxP_8{Iz;tdnkE+n-|Ln6^g1&I2=A{%* zX7k~j%%p1wTOMYq`-;syASyg8WU{8-8W{7o-fR{_152aHmHNx;EetI{OSOy)6^ucP zwu}^vj1(-)EI~`PjEog5EKEU5wLq)2%)v{wj7$|QEQ~-)wT#RZOhICxRa6SbriS3v zT9yiC#+IN3THwW5mY`Kx#zqPjAf7R3Z5BueWMP(xu^DJp*5p+N+J@$)W}sD8CWZ=T z2IinuRwkxkvrWuEORB(P;3ZWcv%yQMCjT+eU@|iREhd_BHt&&vNb7f-*7Qafai2FT z7F$+LP-r-^$X@H}8LK00oi1}uc#7@$d&ADW#3W0l&hCEp{OWaYed_nfKhM58=ZnqH zlQ-Mn%{n-(YTka4w<%V4&7KBiU*4a!c8k>FyTaMI!DYMBe*;l$K3@B}%Wg*TVWE_j3zzyl zoA=`I-?vrO$(sXiFbDtYIWar*R@k#cX~`S^v-CUPj@zm~>7&7_UatKU&FlY1U76*Y z^25$cZ{`oFUwgLB66>hjZ<58*DCBK^X{+nX+(f;qPiO9KPC8%xea)Un^&d+*GnW_t zT)sikw)Ewk<26q`bsTm(Y~+~25x~^tD5=4i>!9h;B(}iRqp2u>?N-yYfcwqY6xK{~ zid}GS$`wnFSC0f;UU>^#5k95zRpN_8eTTDtYaGw}%sz=d%cC_e?6FN+z;`aE}tcBEP;%4|(}!nieM3;&BqH@OX7ZgLOI7T3DZm0Z=gal2&b zUUkFmA0F}<&JC-d^LOpu`}2!7T)VrzAoFnQNAtx-zv_P9UiNkKA@x0G$IK@z-~KoL zlAzaf@S>f$#^THt;59pT^{o+{5hCH+-ihsA9g@+y$<%O}l(~SYqMo7QJ1(i~M`ANr zMMRD?yy@oRXu3ORStN^yYf7lgQe_42m4R1gNG$G@JpT0Pk;0QlRAvddKNs0~=8Sdg zF;An)}5OcD(!?_qk-g*gnO8p9iDs>s;UQ ze_QltRn(hxMhrH;w>-$se*$;w`)O z@}u9JL&~zYhJ_oO8q}0txZUWOcv0~pr}OgNmi?b<-uiwIoVVC!?(#O*_V!j6OZ`5s z`vU*sJW4#ScsxIP@QZUyMal}}xysFEEUfh|tgKeYTUgm#t=!q!Ezien%GkKMydq-D z=Q|Tj9TNi`&%Jwh?p&awbc<55r z)~Jou*Xxfy{C2nK&F)Iww4DVX1rBw7tzo&N zFW7%wM4~#HL5C}cr6X%nlb5{u)$CIWv7xD1i+?efW>3Eto3wk&&8av3UMS5ApY3)b zCF^&#dB*>fXCKb`x${rzzvFp!ck{~jUpc(i-K+ohH^pz?W$Ne1JhP}-DZS$J<=FR@ z`?!Ml;Pg$1V%D3Q_t_3H1RsZ|DYu+FKw`%fXhe_|fvt+8G{;^x#`kVAx*>Gx& ze5g?OgCqskAf?J}YZrIrPF`)IIaO1D*{0iM(W=MFx<^vd+Ga2EN#kI*yR^bK%a*;g zfXC0VxpTVGP8N?XDk-h?k;b|K$4*abJ$$Oqeb%2Hb0u3h@Rz+gckcPe31>3C%6^~8 zbzsHDNO=cl+53%WkG%E@R{1%<*H2uYZ}Jm8{^RonV(b4=eH_bwFc^4;yjIs44U38#KvJ@$UR zWk}Tx<$2~6)5ZM!YU<-@o z(&o9m_ovpE9kE;}7P>=h>ml8lUnlM%%(VT|!bj2{F|YkFp>k>94ZSCh z3l=_JvVEeny0+C!hfiz=6nIy?pY!91N9LQ9iBs)&ueeyb?E2$7hb`_sE9p4k`TO4U zmJcp|sukakIk(N=c-Hg9cjG>8=X7BkW}}Z!`FSebqQe+|^9IyUt}8uya_hFG)q7vw znqk;HQ~CAx%LX#p2LgNjyLp>zn0~*EoMpE9T+x~@1);Tn&t-Lan4d_h)jhbUZ|}ss z$?=v?O1^YU9ybi<`r))gzuzt0*5ue#HhGRUd}rtG$j-g@#%aQXL(CcrYpM!(``VuB zY|Gh}@@JM`yxr+#Zxh-M{HX7UJ-9Rbfo*~^V?=z!=KRO|j{JJC_@()_4~Igde{EH% zU|&`daFVB?WA({iNmt1YPp|U?*`HoubE4_e-I~yi%T&LJgtEprD>KIOSe0?9gPtQf4++<~qnH#G7=2uMKWplRczkai`*Z=-~ zoz1+fck9+(w%E*FZ}+C>2QOOXTHm!Quv5!CU;2uqLs(|Z;hb~b5u04^%sxHcZ+6P6 z9MRT)4fp>({3LenXV{tkB+);dQF)()EoG&1au@{IqUL39!_+9vjdfQq%k#OBG zd9AhP8Y_S1u%xp3{FZRe6m0)LVV1YJo6hpUkW(7L|4wWC_b)1Y^kosllvigLIv#rB z{@?9Yr(4D!-)oyw?{w`--T7KmIhL(2jroT6{k{VW+xj0?xcaKTKfG{PcF>_$M_rVx zq^>fqJ5XPkv3AvJJ2lZO2P{|c>vBIXeP7a+?#SD>!Se0#yvY{?k6+la@zY7J+Dajn z&d<6VxKCB`Jbicm$CRDADZAb-u3yR_$S0JWDtp2<nQ~NuQZ~a~7)Y`b##ZTYkupXkovlmBB_CH-PPLsZIJ{e0W*2alifHoN*qY*R`~ zy~E6(Ezr~0y4vZvUH7y4r}y19f86i(`CTWs`>982dpn-}uMAwAJh`*upQ>c8Uw>fs zlnuL8Vy4dBF#X?_LQ8XF6Rkh7J0kRwOm}(6s7~hAGs>-WR^Umwi=y@KI==;b|0(**c^tT)vE`t^%D zGyZ_=j*P$Fm(zLWez*yUO0 zQH$vM+uOqvC;i}K?>n^i zTVj^k-JaU>U7sY362J6F|G4~+&C%=RN-MX5H>ryvOxGQ3tyi4&R`XP!%#=tS_BEo{ zbSxYWCTQncJbEZ9y|4b_wpl6P&e?2{u4FP_6njl}z4f8TK|gs^{VJ2*dKDT=_|_fV z^P$%3(7A?7D-W<8e$@GZb@lhPb|PoF?U%Q(FJI4IG&4$nP#!w+65Bdj(lZ%mUWT2K3H9!H}b2MNwD+|NzuOjQ5b@sWuS9~D znnB}?*XuaWesKIaankqxsq+-FYjT1k3o@s{H6^Y<4VJW%yLk$KOwvtrvD1jDv2dsDxNZCT6l1U@gFX^WKNc7)z9 z(Av)P<8=CSP! z_H7aNes`JWj-35`hTc6EN(MP!PfZCpb^XA#wYw|NJo|QCZoM6|N6=}R1FI*COj#3< z!|(s?Wo?e)+RXY^;d;CO{Eu%1Uu0=@{;*WsMydR#zfvM^?0@c^EddArD_Ls(nSU*7 zN(=kjN{Qw7x1XJ)q2{QSqL!EZcgEow@fjSCwWihP*i5hC-PgD|ETp#Rhz%cb!mp>&yF!g zFkF({%(H{RbjtNPj_#}drt2MBX((BJTgnB>#% zEWgW~uJhdcN1sxfL6PsZ~4=Gzn|ATx5@{qUlad+IqLEr;hP$62c>)t z>{ZJA>ydnr{m+4?;dbwzEYUW3>-Oi|H{NenBJLBu)>l6^S$Dkg(0$HLQ>&h+*(5k0 zHHgSEYWwsD6`gg-

4rMhcbL(Y6p{1Scnz|@=4ixTqu4p_$hI65sfmXY^Q=Ks5a zv!^dTSO53f>l@xj>J9t%InH&Q`G9@vjM(QTb1t1_w}3EFWtsCq%BJ8uo|HOmchlZ+zo zJHA|f_Su=9Gizr)TdTs($+{st=Mq*zS4{-`+P>d#)tV? z6FzhVTAN<2pRq%NyP!qvxYN}wwr3irCoq?u&$?8u<@VyouHxuLcR5XViB$bh_SCJv z>OSk>M$Q-BbMCrtUaevNKKp^=Cxd$4uuZEu%4U`4-JZwy?CtHJh41oCT-D}$mXH+t z;*+?GevaPj(=n!x|e9+jIgBr0i=^{vUX2#`fJ#SzBv;K2;wH@zc^< zUw_);2FLr4iccSwmWqbD>$B7tHGECa?@P5*@;Onz`e5{|8rxS~PbWWYU%x?qrtUR+ z@Api>u}4xjY}Cs=zs$Kn^xLNwH?-yo?r+yz$8~T))TD5M^>ME5n`TBW^j&tXL}FFv zrdIaDPt3ReK5O|fN$2e@mHcNn&&%cuTZKI0eUiVcUMt$QUiI^l>xW~H+H&&Wu)1|4 zafxZe{EQOTji2gDmU!*ZQ1uqF;^Kd5{8s8CkGqTT3dvoK>nVMq8e3sr1Dl?v5 zbaOxWHFo!=&0NL#j)uA^i_8?&?93F?EM8m9-OH4t@xD~7=(~sI^dn+?ebN2TJ%3L3 zK7ZZp!;8kvCam?XS6Z)sV%bvD9k6fn6DhIy=puIucLn_gf7Py9oP5rZ%N@J%s>#9j zKj-J2^*PNGC*0QkV0-yHU;A5?QroZPEBZWLsSt8{>Kd8i*K%cs9OiRAu9B-!a{61|o}9Jp z#P?*;*&lR17ThfUDw20%`)`lVIrcL)P5$;FM`_(*yWCle4*l74+99rVvF4;2iSrh! zvZoJb-I{o8bNNhZfpEcd^;2xCwXJNXS2_mA?o%$07rcLLj>*rH)sGGwSuT{{;r1@! zTC6wU2Q!OFl}GOE^!{>YN6D$5GWBn)JDz=Yc{yqC(}yy%C(heBcPEq0r91!Lyx5*( zIwft2dZ3)zvV5Nw)0%|RmbZUjooWlN6ORSqSbcuFDB1f>as&g zyovYC=J?QGnm3mfah{$RzN@`uebC1K$tnC~iNBlezZpDMHp$HpHgbH@?FE~Mt8au$tM`mkGb_G2A1Gm$mS-XJ;#0!$c|+5L=$7seq=*a z1yeI41<;OU(9p4gf}uGG8G|-9L-r=atu?d+ZBho0ej6wlK`b;f1dV&7o}NphNXIb`J^<3s66G?`g=R| zYCpWo(J9+%qjADhwarfJ;Mylw_e!lkZ@}Fe+jxMva^6;lyQh@T980RVD0jX;|AIKD zPDEhW2cMeH{=V%Kjel#r=iNPaX$$3I=ISwC;W>-M4F^`+1RtzsbER=BGZe$3%01N>R8A8RAjndr_mzmMXG_0 zBHzz2=>{$GU62|wX?@4O>P2%pHi>g9or(*PIo-*1E7dV%()&h@Zvs=ZKjn6sxx0ie zFq+5mH6X~n=bKKl?v-50?1leM-C$PMI`r{)@i*~@&)*h(uDNi_*G*!3!P$R)(Vf$G zz72i9_>ex&pC4~4s_xY>x;^Fgnat>;#bjhQIe^2VKAbxwIDD5{3$ygn3U8nEylmmD z=AswlJo)p9+sqvv629wPEmblZ3;jxRa!N`H{rpPyg=j_YPiozwlD~6@M!u_F<+2LbgMZt*!dadj z-M3NM(6X%h&$Aszwm+WcoqFj-Oktpjz56Up4UITC5fPaq9KTlH-&ydkvaIv^{+qqs zy1w@U&h43yQs}b7Hc8Iq%=h|ppQFy2Hh#}2b~$qLr}Eh+n-5<~*yd_;Naga$*B=?u zxX&^?V{lXXyWlG$&!NRla{M_0LQ{mk@E#WXGx?h!5gJ#o4GMwfT{#6>-Cf7~RgmbZLs4#SFzyUJp(-)ZV@5U-#6 zsXbBmnW@Q)vk9#2_f|2BUPyc$ez{vv*5|nRg_8oj*4f*ugRHmtshBp%W@R1dQ(E81 z|Nf)lvu#y3zDi9f4m$9_q)h2vj7I9GS!;?WG{>zDR{V8s?`x6wq4VtSuP~Z<>f|@J z;;GVB3y$C7w0mLvrHS_yW0b%S(*=gF&s2&P)$hL+7Jj=&@1cecv-#e6TH0ZsLcAtu zzCLhDvd!={2hX7ii3}6=^4Y}vDvde2te8Rlk^c%0smn9t&YSK()1JJ(a!=2q*+0(s zF0218(``GkRH1vbNY{(wTbM$;*pD--hC9wY#oBwv_`|Ke1ztawS$T)A5)4`Pq){p* zEHruj+J&<9Q4_b{QPtPdI_*DSL-tt>^J9zahAnzYzpMhz>U|Ip(b^%skbnKcIfvgR zJ3nYKOWwO@LsTG7>WU+a^IpBkkbNSc7jkd%^$(x;m+uV>&&%|Gw4(g7UE1BR_MPFI z9&YZPw%m^{sXPE@I zRnk$fRymxz%W&ADZB-@%w_^Q%VKspd5Y)y z>CH?_zopCnU9ViRviHFU4bFtv$hGFL-2T6Kd2Dio^?_Xv=l>0sP@BBY<>R)T-3;Ft z4=#M@C^7wmMe4@cxi0JSe3KdSoL%s2VFW>*3eIWhz zErxcVxHEw#bAcu6UW3PnAI>Yc z^7B92BkU+=P7>}mS`2czGN|XZ`-#+?AH$KhW~ybV{swmUB;oLUoTZl?wmTDz3&ir z{-1Rd4ZAL0mmZ|vkvQ=9NrcuP?i=pg zcYZIr*RUs~vh$V1{#5-Zjx$5zG)}McQSo5Cp(K}Rc6-l>;*F{Gx7g=0C?$myHT&qh z+b{1Abep?!R>R7ocloN3)>S%wC4A;WE7T2t2OI5{juQQ;)hw_oFm>&k%a5}qp58fM z`{Wjjr|l1=b9=r{55CXpI@y5x_^y3#ZEQ;N(h4SZq+Yr)qcy1XfbxvfcRw-5zP&dw z^Iied-+YtVaX$K;mZJZE*48U@Nd65}zhCQK5?B7|LTAjG8#j;tlDl7{G0lr%aov75 zl}bfUlLZFCJ4>#8zs|pS^N-L|u11QNY$slxD6PFtg+RTzI?gCX^Q*eD`8arjv68=hGE0PFQhq2)iFLtk9eu z=a8SO-Ca?*Taok1_KvExPaarYRGi~t$$qXr#+GsNgDUQp37QL^cMAn9IB|DY;;+Sj zR_0iQey#iIbCG>dBx|SldUfW8dkgLUO)BO+!nil%`Cfx4@6QvQ5{(3JW@Ph}HL39J z{w5jM(_FZRU;S`w&=aqkVtYlonRPQQ%d7K5Z?D`QTF8~SeqqC#-PfZSR_qc=Srrwm z`+dd5$a=P=0jXDnjH6tCYbu_tdv!G8k@89A53CirwJaO%|C}Ch&TjeVT8G@N4+^t& zqw@GtB!5icjSRC>kd5^7&qUp$|$plx*!qfdvnh>v)SAKam<)qEp zKVC8Prbo`kyy1rB(>zZ>^|Fq{U%H7Pb{i`Q*zjIPtmNG;lGt{G<(hW zh*FtawBXXht=YG~N4D0d%(LiSxA1V;%CujW2DiUQURRBtymz9^O!?uKYkOUf zUE{bP^Iv@JZ-tU24r(jU+-gXFEH1z4P5psScly(QrUhk7EwJ!7t8wN+&5Zg>llZI? z&c_{G|8Gv=7XgbyKkQw9m_)p~Rh6ceX5XUOaCd{e%94=qg}Ehv?QK4<_io)%WpVIz z{F`2@vfv`d*XK9y`*!~Jxnn&4%~ma&7!XuEUr5!%v})oa_e*D$6WT8%mhk+&GRrwy zuekrfk&0MZtypi(;L@c@j%871H#Z7#)jK?LTazC>w>0-c&#To@-=>Od{J44esk!C- zLsLKNhEI@LE^toBT#Y%YcJJwmqi0(W@3q+THsJWj=E;j2?yZhp{ZL9IB;}-QyZH6W zk1NbyrQI*l?^Brc>%~{cYw{ugtoD5Ke{|`zXyl)@(T+Sd%lD|AKe=94p&?wdciBvT zd%5qG^#ZTk754nutbdLnO<88!#~*H1&s42yqi4=Fuly=2WB6#L)S4@y;jb+i4;xFr zJvGZKKq>HDaHrSSwZHGA?h$tHlb^KaF~i?CueKUmUsj!Ybf#uucIbM0n@6Py8zb(X z%R3*SzrgN=-s=@FbiPmR5zOYBeQ5p8ofB2>7IRxk#Gl_&U(d9^XjS2)m+KGJn0*QT zI<@qr%pbaM7QW68sFzh`Pf4*1N`Gk0w#;C1=hF5Yf4lq=%L4a#R5;u{mf5Pd zeQnx*?UkIFH@#E~Yix}ow({}EHOL?QY&lW&-p=`x}79R?YCbu#A;Pk;RU!{!&Q6=j}Luil9iy{fEV`$2j~ zous_n9+R4%JIWc3C9V(>b^lY+xv4Gd7rp!S;fLy_U*XC8zq5`_ zy*ek}G0b%xhwsC;BCq?d<|_VYZ2YoQk2&dX?nOC+Z9+m#_WLiMNWEM5LWix7@yoI- z<)4Oobz%><^E}w?;@eT`o_;m@%L3NL=fV~^t-tg>Xvy&qc8)TMw?{VWgtb3DQLUa; z?NPDz=aPe-V!C=~-6UU^PkSQ7?U7?zn`_Fthlh8|7nzK;ITMz>DC3Hs-SK})xA>#u zAB8I<%|F#M$p3kA3*38Wk1~Yz(>L2i?NVd1FrOU2AvxJ$Gf(~6aPNF!LxFwo*BiWN zTk%?Q|9X#t2Vt7#4;;D=t(@pl{qX){m2KCJU%%B0aE;WC>wiA`ySRW>t)8N76QiUP z&!ca7JAOTUbN=x6`;WfW1w8s!W*<`<#I)zeyEgvYj9ns46ECVr1}HePzdrIU??=(c zP|d0PCWN0^eQx#1)n`|qUR`g$);#CC&Q}9v=DFLe7nSe-skUu?d;jee7LEfe1r=(y z*r_r1hOAgqYovW{N1hbRs&<8j5{5*!hU_C7weyw++u7*;>)oKBr?yRGXYFqG=ho$4 zj_s+QW)~oT;0Q5np_i?9Tw@RFAJ&^ zWl{2K)->!e-+0#G!jW{5dCNX@?dLwTDgME;uM4A@kD4gFKHTK*=>F1l*%`OwR2Oe! zW>aSe!FL*MUDt!GSIw5)eKr5c(--AcE5p{V-jwlg=|cJAo7Qg(7QgFZr8@bZL9(sb z9_fV}4}@GPbG8l6S^vB5$S;TY5gmPIe!J>lJpYh+_Kf-8jI+P??>N0qOX_leS>dl5 zu@G&~XDc<SSyK)vmE7OkUutQy&#wyyW8J&c~lmtlnMh z#i_q`VPk74XPEYcolFa7S1gY4ew6j~`Mww@kM}95i>j}rPtjcd$LY|@C&?>AmdJD; z>D$WvbXTB!@rplbwR86Ce~k@~SRg#%MT>iKf|TCTL&Z7sm6u;IGhE1dbitP&`;~Vs zyShcFY1QjZ0q4x!m+t+rD$l+4*x^63mYn7MB0Xug_*s@)TaMqGv?O&8Tkib+5Se4A z9~2(>xbEo1`P;e!R)2r7r^=qGCQN>cRnOM;JjNZyou_Y$@;%{_OnKoPcV)iSBH#aC z&Jt~56>UpJmr(l*NSTMyvqOTwX5>p zpIY*Li`T5LKQG50e*L~ZKAyjR0>>hq)~CBYE#A)k+-&G}!jo;Ua^=o_JlCf`SIKHr zn4a$6%y)Q`&r|-#@0+~i<9+^}+~u_7Z136j?vUMow&v=xzgJIG`cY_bu0z4sz`AU@ z#9fE_v!1DP8fK^Jq~gw~H1V0`KCAJ(_2q)ttu3BQx9z;5%-Xn2y7=Pk#Fa~rImx`9 z7N(T^>PSDsgeyXMh8wF|cs4dH>DbAf9K?R*1uI9ZRXjuO`GS3omO-~3ne}boA-U>s zm(C>Kor=oln>v>4df-zmlc|1H?nB0I;R|Y)HmLr)eX;(u?F#9<728!@+|s6n?Gbrw z(PnGZf5KB_^WISLaGrDBC%xWJU}f;zvrJjRQgF6p?z0)$Hy(JXNJczaf8X)z*2)kL zp;wZ%r&b(dc+AwA^X>S~BSrHnSDlo)ov_Vf%1--jraOa_))ttl#3tN6x$J+8rNt~u zn=gFVu1r){J;Hc0ss5Xv8{2HrDfzCcA3mPf)c>aIyHSeiccs3*ZH?fnu&6|} zUZ+r}>zeOK%BQq~!#%m&`R|N39p6*8FSjbb|2{zCT5E`Y)^RYnbA49u^DhM)J+f0IzJ3*8G*?$U9J}^_=__01MH$s6 zoY$EsUY;Ymsmn!e=h64!S5}^Sx76x&!bXjiF&VmFyDpU2H~;B3)t5YFdPUTC-pVOP zz4GW3u#xQy7i)jDDBP20r}&YUhh8ZF*Z zuO+w3H7uy{lHv5muGdPotMW5%8W^40Cv;WRCi_xMR;<=$eTlmnz88Cn4pnBnf6?a^ z#eb+|q2(npmtGNtOs6BYeQKKz>8(C3wublArOFiLT_3vhKeJyG-+6MuGv{q*x0~MB z!gMFnkX7`P67TFEKlpZ~+bq#rutxY;uiAn&+*|AWwuHa9Q^0fch~;<3DtFJ?E03yNWA!=M1IEw_jIcO&ox2;WwQ4}qZa3XP>wlpQ{wSk zzRL=>_664)S-0@Xzx=fGw`}T*Yo(KT9V=dTN}M<8PHARbYVmgCmfE~r*FAIQH?5hw z$>@73tLoiF4?{ovd*HEK%eLLD;q)BCcSkP1n#na|(VcS5Pa)#Y^<~rV+;j|G{(xiA zC7(^vHT}60dfWN{x2Na)`(wqn$?)7bynXKy!9G8$hkIO}N4low{uA*0^J8AV`Wa#}Q{}q!pUs#%$Bn~JNNW4bJ7M9HA&)0L_;cle z(_Q-miyLQ_TxjFeYJ6Sgw8+$E%c02Z#NLzs+qA-3$}cW3nP9ll^0e%o$2t$ok5#Q< zUlI^M;b3-FxV&pHw@BSd``VMv9NT&>OkdqxV*ZLdHLsy_&7|31Se^L~CY*)N_w8j|xi(Ox{9&k`%hKgd?R69ETZ#W@NoLUOV<($ zma=-k`7vkhhIX4jD}J)Rf7{Wyd40mn_MK;&RLg4CUF4o--1l<#Ca2SVCo(oC?Bwr` zj8uH{<4%39*t(s+8xz*(-;Fl6PqG)z->cx1!LHnL$aLf5a_QFXIyExIZz6Z39l5B> zl^>~4w0-BE0^c`3-iC2xB%MiKH?KAOTwO`dl0&A`kmGY4(&@Hq1zyJG7@wxGZMCs%O))yY$wf=e4z5ZnNLbckmn7$3uqb2$F zP29XZ?b+J{>u!5*aneaX{r$q3Me-fHmUVvT;NNon#-k>Md#Bjgb!Ra~`OJ}uu1PEV zBKf=NE6Zk^A1jix(y|Y1tp6pj_EMj%&e5a(3wE32KQhXj!+))9haB7UD-Y+kWo=`u z-o9%+hwZF7!*ZEV+O@078YU#q{1eBl`gpI{{eagc_0F*qFY>)V9AoO7m+^JoI+doa zcav6fbLMPP^4WT5z5n}Fk!3C3+pa8Ui+|9;az*rJrO5+{p91W97x)XG+zq>3uN$&C z#m(7vb3vS-yU*9fj5}uhIoWVYdO^dE-i@F8Ws9Uu~k1MMWX7*0?-YYeUx&C2-OUNANv=Y9re;lnC z1-(w~W_j7zc>n$@&v))mRotr@41)JcW&CL6UmnN%vyqWyQQX;?hZ|l8EaWSaP)pwN zPRB2RargILkLp#4wneui_`k9gO_=^b^Gd2p;QL_T@Sn3fYD1qqlx&xNY;!S3xhqte z<^BSWvQ>J9Qj3OHdZT@3VU?kf z_*z}jF2#jr)k~^ORjw$7Pkt!4Xjz7ljgyn^#K7S7Z9TWPOlR?3&$6n*HpMBPJLGQ| zL#Vjb3#JM8+QX*X*ZzIy|A%XJlFdE#Af3q>zaN^OP*RaT8aydQuq;*NME#=9a`*IZ z8$s_=>+duku{#kzS6As?0OO6wb=R-X5GWB8Q#sPDsMO+IV!GOAmq+~#4vxkkADbx$ z#S9h1r!zlP2wtc)A!+a9DTd72k{dQ&+1sBXVAEb@$kOb?{$dTkl5Wcyqd&K7qEoN2 zUsSlCUFvCd+HE#Z`vhsf@XH)+1p@UJVb2aah#79sp5VIp^c{|yi)Li;_-{IqXF6Ld z@`}!t8%$eHbZTEMkVz5bFZ}w3J-VgzjZw#<`NopYhPErq zn5v#vzsc32cXke2g@jc-^R^YeddWAQvfFNZ^TJ%QD{JZ+=6u#o8oN&4;W(i*XLYPu z{o#eI^()#8IJQi14A5`0@IK!i})`-qf_Hmd3k`y=kp(O=3hVY`Lwm;rH?s@FInws zOaD68KYtu6T@IUItt)mh?h0M+rK;n!C18izrn-yy?8v2c^*K{>Og zI@fPqH@6D-K8}2UH%*|MNCU8e&OXdRUFL7qffw%5(UH!qf z&SY))FQbM}jlY8SN4xV$oA|70N)4opVo!ES5fsh*0-s*iHmWusu{P#~zD$(?#+Be<&K=t(6?{`SN7625s{etF4U41l9vQkE(G=G@ z@OP_T{zT&|lZ~gkm>sxMbXdUVOGMUFxtlVj+?$p9LZ2B;p8V!bOwroc7C*vPhu1fk zmrTAsuXc6xy+bUv*=18BmuN9I@y@(Giz6)h)RR+AY%&5NdO6NB48I)y@nxZNF26xb zch0G4+_!IBSvdcXwBn9CdpPeLKb5xi(wWFDds8N9bvz7}{;_OAe8BrN7t426vnw9G zbbVf{ZSCqW%z?t^z*dd^OQ}$c?{-f^)k*A?J)oOR^`jBi>Z9< z^H!eBR~HpLQMfwHV>$27r#z?bp7^_BW2C>)eh2N#<=+LQlqXJH-*#b2+%j#a-K8pb zxnAYXcoTW#TYaA6y z-8!~P!e4Eea-=)1JyEjxk-sE$InVb7-P#jZz2Bre&ARi%XwT)=`t^Yh`5yA87xcgM zH4|TLapuNyt@|nI?*BG0)qI|_Y0JTt3ukB5GG0(VyU zE_cK12>*(*|aE2zB-m} z94w{~v;5t}TWYdX3S9!!mG|3J_U>0)BlRY3LwIwjm-%J$>C$_GqOPx7I{V38-jw=U zA*+W0Nu}Sk9n=*bOqp$XOg{5x67cSJK3)%uQZ$))~us zw%_>5uA}*Qt<9Q~x2ilW6lTpRViz{`iOoC89L#geVft=nAGddI$9x-3S{zT6UC?rS zf^goFuIY2siuRc9oL*zP>F9>3)-xtdcyFBY=P}R0)I&NqFKKB1RJ`l(GqBWEZSxjI zZYv+Lz53JZFJ5c7KH>J&Nw%@8mN29$=xpFD)$)e}HlX+*VJzg8@xK^YoL-Dg$ z&a~8x>$A2!G~RV5tu=<3$wbu3GNx^hjE9L2Lx5y~qV%Ls$GB3YdKS2t-VT`;b~&&y zgn710$Tw|1+jRNgQx^YWx*JrUC?$4u(|#$R-*eB^{WaD7bi00jzRpeF9ksK5b4}ZB zvxlwWbJrgi_N5UM<~tZHDc2L;KU2?MaLx?FE9VLyZFf)$(vQs9eDY_|qwPHxyv5un z2Wz|J*IavawBuge=}*EA`PnBv33u<3+RboJK<1Qdi%Y(OKK*G36`WYL@MPz`sBq^!!h3hFJM8zxY*x=a!S+pa+`~RH zpWW%sx>xbYG}CjFDC_GBvHG$>g?F*c?%TpeI&_d{>d(oHwjDyAJ&nyT-3e(!-dTNOmP2?4qCH2O@7iSXdhQG`VSG{Z!W98f#uEKPmd$eDCxgM?Vp+JZ!R)#XPvEfr91HV(vv1;)rZR%f2gP1RGg}KnQ}H%`I^GZzlOb*ynk7? zm*wbB5i^PvsOn8{4_Pf&BJ$H&LVfyu*P)8?c@%SFH3ipb`R z51)L&y1XfeW4l3`_KHh^|4qvrcfXQ3kg|Hg4!3}f$5+j`WqE)1Rh2KlK4`4i%KFW5 zOJMMYY+deGy-!jmEZs1xNshne&|M*;FB&iA2Rfb4+dRqT^b-q#%ipax$Dha%ub;C1 z#P%{jzTE^-WE3e<~b<-ng*bc6&JMT~q^X2w&>9in|FM6h#>D(7X@BjXpxM{wM zCxeGWu+1JPL#ag!I~Pp5nsFlTWR*w5v1?pYer#;Cxwz*6C*i#FfXuW7AuN-6oq zU*nV}Sk!059^Z4u>O!c*j}@-kd{c83!Ub*F~h`QmDj<&*C8xw*eewB_tg?^oGpX9{ji-PK&2H!J4nF~b+Wd4_3*QcOlW3)42W zty=4(EjYt<@AQm-H<9AO3EVw4_EWEBTzou>N9#sZ>)` z=?NKAi5ok^FC-k8xj-!>vX8AnYkPR7&qgfX5|rk}#@DLHE#uSGar%1)L#ti1 zSZq?W=lo3^%r96X6Q_U8s5*LQUQW4g&y=l+MZCA4iEwW9Z|O9yd}5}4>ev-lK7q&E z=5F%1X7lAn4|8h!o2q)w15WZ9tRGspth2N4yvwS#J-P6SoJCRO&cufb6WEP6OT^Oe~oKW7OsuD^Inj;;uX6j|X*f66v>p_+2?fRAHmrvjP zFk$M#D7n`3z2`P@%dWcVdc}WB(#?HqoDMY<&*r;2r}$CHif#Uy2f8j*KAI`YbxTbs zXpbvrcpSIy|QGFW#_wlGgOFQh$d zO2o~nU1qODPZd@E_^QkOYQwU%MSaSv>))?)f9UZt_*p<(*54BkjY7B|=Saz}da4yda&he8uk%4(%f-Rg| zV^ZoDwf9}oNZFEl(XnhM-`3L;pWK+?eNSFy*|beMh7~iJH@xJY^8K!B*5sRj=Fg{$Wx0^~fFJkKULue~-HU{qxVSL07*&Pp|tQ{I#wo?(e*7%@OaXD@@Tk zeEmiQqflztDJuc{vtfyajo}a0YAya^wsWsjCo6aSM3#Ep5Wj~zJS;vPGCe=#*_Sx2 z@67Ksr+iGwTcxtjk+H9DM)}D!5!ME8pXmfyG*JgRf zx!;{)C0Ea1V^sMiBwiwXjr#f1cdfNW+Zci)XC>KK2HxOqHtn6LSm2Pz-^kDxX{4e# zqqWPHuZ3x0^vWIeiyS_!>)})na5@q@!|Uy~!U-|E-yX@bf0dgimi6sG(A7Ik#v4x@ z5^>WjesOu<(~GX&tM0E4TOmA0#i8ushSGCfF<~>~yj@wer^p0z-Z`c*<^Me9x!>dg|f0$8{;2Lcqz@5BeE7q~@H} zF=cq#b!eyCOfA0!SI(<5H0`^tv87(Z;N_jN#99W9tX>gIi+gJW0`?sARbHoWGOOUi zn-g9Od~~mr3ZI!O*ciI%@6CUk54OBL#4R@G&Za%r{u}3h?^2zhSXQkV#-_AFmc4}~ z_e|L9|DKCFo1UgI#_7Ld(K_>9s6p}JjjFI;^-Z$*Q(t^m;&{*+a6!X3ZEwO$ktu6U z>K`{$>;Gh(w(jPt8;zcKrs^5k-&Wi+;evv`Q|zTfpLBls?hksUB)4FKZ6$$({ub9Yw(Q?DasEd~#WQL@HW}@7hy!QAWA-OE#4=6Z_+733ZH#|@%68uUzk|=@*fhvq>H4>S`8LOfMV`0s zF#QPo9*|>Tnc8Tv^T};@h_5c6Ze*SmedhgG#f7^Gj-)AiS z+Pwb!@7?t_{$Ko6nHTqZDJ~H(KW~5k@ArqU*?TQ(PX0fBx!kz6{NIvqpLc8|K*oNCL`cWyexJ1yJeRO-%8i-PI{9t#9pbc?F_sqg#kxxh18 z@60V*j%imi-0hh@ZkgM5%k$&4t)5%IK3x;-#WG88TJZU5U%t7#3Dc6}E+r}Ssn;Hf&J5wq8^ZQ;mtOCejy~!9`o!7h6BWgM64xS3cZ9h0 z=x!2HUXveo%(25@#gnfB7sMDGKhEImpRz3C+ePtdmcMz+TqiZUv;Ahh5W*}!wJ z`+m`ohX>v8A*;ca{&J*Dqn&*UHPIht!z-LD^O z_uqB%uSe1n(I=|5_k1?ZwPU%RSkT76S6EPCvSiNjB=gM{KZ}LV-?)-vEWx>4bn!$j z4(Hy(!mVc(u6nD!$V!gIZ%4U)OTGN88}_P2vA0^z-4v2+IL#39TI%`JhV&|cE7lgvt6mC?o;-er;eXZW)v zX(m6NTBp>quRI*8{9%4-=(1?<=N{abbo92qxTPFepI;qyO1Fb zw&|11w)My;Nz2;PEhr=V`&Qt`ogUX;c}J8Tk|~YrJSQ5HeJN&#PH2Sqhdi5QUT#ZI zre6HDS-Giu-VtRJ>G28aw0QE-=CnjW05Y3lVu&{Md zzVR{X)tiRJhqYe4EI4mvu;pgw?(R)X7HygudtGw*B*|0HBzQD<>lbdAIcKqyNXn@I z@l1_^i2tsICzxVW_s#o369INrzHDs2<`t{qLh2`>#dkh7Td5TM{k;F-<*5V z*3|l$NlN37zWer5thb-}#k~A^#?;P>Jl7ADrAbWnjk>K}VC{38_s-Q8o1*aEy&Ss^ zU$Jn>7D-)q^j(DJeZG64YpO5STl<|hskwf`CvwJih6>Zus|9V&%`jc~JX>*3l>c6d zd8Zw!k8$9^Ss#^dk2_D`n7Jo`IMoCnuP z-0ONcao@J2iuwF)&-u&K&veYGJo+JwC;#Y&I6HBk^YVFDdzQVijct7>nw-~hYj1r( z;Tq=U&YMGBWhVGe->-Vne5dKl#o?M#pQl}WA}+pF&A;)1`HrtYIFBrvd-=KigXL8k zw9af&RIpiug z?aEqc@-8O8Znf1H$>!6YaThdyKQg`c;L!p%`MK{mvzcd1Epco5SP-)%{FfHI#U-nPB3{}9A2t;S~1aIMsCT2zFufm>^eY=+sxk`;N0a{HRgZq;u5)Gq!if@#b5 zDS8i0tc%R2Z%=&4u;Ar`N59N+YNgdQBG%_0?wD`)>h^{Q!N=;|pNGX{9-SH%^D_A0 zRHq)xME#5Rri+Fp-CVcf5|?)7imCRzVO)#Pa%^b#{K=*LQnWrSDsib@ZLQOWAP>#t zBhB%FOM^D*Yp>d}$V-1d_bL(JGc{YQf1lo<{&2l+(VBTNVsD$CtXL-7F#F!KR0%^~zhWIp(G$}X|HO4v2h5+7Um^S-m&L$7a-_S=Fs@y2 zQJHS*@HjZe2bYClhYx$W=! z(?%~J9AbTc+Txb@(tGcBa{E|*zm^>(+& z&d19YH+!!vKk!N0h?A@m#No>wn@{h z`{G_6oTMT2>9{LHP4H4X-V;sA%b(oqy%_n8r)l3!#>wwgzV)rjzNm35D)IcTBp!YD zg2gMEnjW)uX_g#y%+k4P#X9T$rMB8lefvMv{3{b;zrxkn#dme9Ou5=}RhHfswkdkL zrSqCk)kmup{<}A!)k!`fy~#|61v;$;uu!=B;egFPE(1k>l2x0 zWOsJl`WBELI={0^iN9s$1yO@p>-Lu%D_ZnVN&K$O(~PUKhDZL!-(^#8=G}VXlje%* zGgCWqdwW%Uro5bF8e4z+X{6HEc8e9B2{FIFM_!wAZ~5c5_QP!HD+S)Usb8)Uo99sQ_q|{L zA?NtfH*AYvz5bgeut4L&GSAz$?^)T3Xx<5~D)9UJz1G%PuKS5|*ZSk#Vvd_WMlI5) z>t6C?OZRL0{>;DUV}fTqPrdi|%jfp{e~M-PmHs(iUuOUJlj6I&pD*vr*L^;|!#nf) z(+>~7$J;IWye5&;d0t!Mt=`~{dQ-l~?@phW|M%^KNODb=s@?y}nx9jSUEjZU{ru(A z?H~WhG;g2LHfh@3*Jo_D85h4fufZ%^9H%RuEZTI^mbD=6i_MAFZ>P)IZJKjeZJU2C zS@lXk%M%BO9*z$)h4dA^OWl#*s(*_0hHT{8fFEMwURfLMJ|B8^e|hY@`y7#ar_Gz{ zFY`Gb+FHALezb!5#3SsdE*M`mn*1;6WNOaJitCe-K7Cg3o&Rs&?@y20?P~%<%JdQ= z-GisvE}pB$?Gqev%3yg_+(TaOY=Ka{uK&#GIm){3p7LzJ!+qo~FTb0tY!&L>^^$kH zN5Uy{-cR|zY%aZh-q9c}T`}dhsD|nit8zcCwe|n!6-pbN{^YVRU93B?*hFm6taBbE zUj$Aue)Cn-694%5``Xlk4O6o}*Ds)-paj{b7G}n@4I}Oygb+K(cF|*+9jTeR!+!?@6kRbWCQOs>_et`5Z|rL(ll^dvq~2B}c>dt8cKx=R<$;+pbK#DDi3L^0z(3 z8qVuJpLlW6W5yDt*+-NfZkMz;V#m?!@IqT~Rl`kwTW^H}7Yx4h)kih2ojM+zjy=u-8`G zlv(*^W%|m6dX*AigmsszSr^MKS!8?8P^WlK``m|X&+nPpp{;PPvuS5brBCR>^-T;K z>-7~q`dMWJtkoM8uS-u4-)2-Vy7eVfW<^@h=|HJB!iGVokGG%A*cifWThq_B!+bfT z|6Q9E%ddU#pB7NSVQ|K+&3&@IpjqWIjy=`0te0HX<2kd@$TB&7B8Q9hda(oxSGKmC z&xTAw)?Tt9%e*{7JR(v${EdA9+)_|8ae>!LpqXX3J;`3&=j5+b;0jWzXx+eeWNh zV)t0lw$id^`Il1Rvo4iP%ehpR3%pprGh6F8dj@+K3@x2U>jP3DkI zVU*>p5w4!*VbtP3<*<*)os$puaDIyy}3 zb~|*Z{-j-*%8JGBESGJ#;?){S$fUA z+>{-@<WzUJ;tN<-x?Wf5aqsHuBg?ZaT#2*7H00v&G^yw@%)c-n8Jz zms4Escbhx{4_c}pUiN_}L*&+-z>_BJmVPd(od2fCTl5~QKc~}DlFB!AiMG}vu5D8) zp5KW+;3X2jO;9gxR`k;{iSlO~J6a-nwj^b)u)CLdGH3hl@aYvQVH>1&`v_k!@6q4F zFeA%<+UI9y3@iJuxbY|{<*2^MxtOF_^JbS&XNPI4`x6NkqkZgWR`2_+<1C?mP3)-1 zKHIb>S8w`xdwC@+ld138u3;6!)_P};l-jw}b42o(&BPW?eDh6Uo_VJ-wo`$Ur1-zsdTK&RY&wh))cR^LK8S zX$#8G<68Dr+E#b@ywzL3ELoPNtLad^h~aOewtGvI)s21EwN~6X?&gwNulDwz=Pj)T zSCcN@l20z3^locrV@~{iv-e(}c}*KR_@4cm`J*FZ!+AbI-I<}fEGJGi-HtwVX2;C! z9~5TG7Oy$7ciX{vi4xNTrcG2`*%{K!)gCH%I{3tC6Mt7u6PDtHo-+$&Y$t6LG>j0p z{Wg4<;E#wI*jJs^2vT}ESdZO?^Ojc`3XX4qd zoqF?E^d2}k_2KRtOuXI>yTttpmd8Z@KD01m--}uk1+7EVYmHqOY+M&FlW^fh8UOYC zhWb{Yck?^~o|w+ut9V2(ra$7*!-)Fx_C^u2RxFU35K+})v**N)wXamCO(;rZFRi&_ z(wm}f`f_K`wlh~J9v4i$`e>J-`!*GY|2NXE1XMLN9}VPtKc|pkQq+nbr+?oXT(2*4 ze{J<+d;P*)>@8nk+!WHkn3D0a^3D_G=}W6u9XN7Nw|?cegU!y0R@LVVSg$tic%=83JIBD!-+sm#J=`O=BvoM!f1_Zzrb z?x_DbaWO(fTk=5t+G44EXSuX{QKEs9Hr`FxJ;m@$Y2MXK^Vz+#r&i56?s|GogQ3la zO@DNn;{ueXl;tmeW}o%P!sp@6+otdKB;2cfeTgBnRO!-+_A~qKDijhD(xVR<#*5F; z@~TpN%FcW3_15<7uM5u{`8;V~&_6dpz2lN;%q53{rJR4?d46y5v|IIQHDBUZX*hER zd%f+nGGr8Fj5z(v&8Jk!-Bzh5xnN&B*USNn^vl860vRVJ35`5iXq z=TsWfY&-92eE)ypy5}ip#?X2B8`6@dTu}Awwo}^c$v^qn&KO5wolh%PHYB~=8r#@b zWWgvYuiE+E@xSNZD`%43C$C@e<|JEg?peLhB3X*PiOh@(D?-z>>#H4K82Tz+&8)Y$ z|NqA~(aAh64Zm$evXdUzyvn%F61SjU`=#!5qovnhX-%E5Lh{i;o!lzD`1;>cCF@_l zc+k<;oO4A?v{_T6*XYQ*cV9W5smiEt-E~quxv${6Z0OpJZJSm-|FX}ztCS-%;*-To zR(885ucW(#E?8%8WLhA4u)OS4QvQx*|Em_=sei@6QuF$)3*%L-*1MA|D!iXqU7DMh z`b}#>PSxq4$TvT=mCtUNxa@DAiz9zh)Vsz4`D(7}R}!apd|v%>%PxUmlDqrY zN_jn#RPj{3VsdRtY^uFsg*D@MEsGM9!>5zJ_lexz>~d`4%8S9OF9XaH)&_jyoH?;M zS?hcHn?hM-ceI$!CAMO|63 znXj+Sd^JmTcKWwB(^iyZ$rJiaMRf<5f5dgdz4K0-XE*oCbUm9Fsu2$`V6ai zJjU|EcUEucZI`kXJ993=d3IUFZ@WL!IHs;;tiEP*qV)akYi9)}E}ZDpR5bBclCA2z zYg$(i+}i3=;(5tf!}`w*FTVQXtosQsZI)c!J5f#HR)0cvalm22>Iqkh<=vg^jIARV z7x10m#j&(eVWp!#pSN>s+WefR*yIM8tI8YJxIgNX^RTI{TPa^3B;PpMVM?>%t61|_ zG3@g8Ra#c(m%Fpy*torE>bjgl*~=@Fi)Sve@3vyFxLAM9e2KGz>&$4^)|jXD?hEc0 zssCwlXSo#GvgX>f9uD{P<3IgRdCt)dd2RS>-PEYc)mpFICbc)l2A8##7>Fm8^2R1_ zXqi(wrL@C&g>dym@5<(GH-mtVj3H!IL-RaKqijirTQvLHhA(h=`qLL3MNAu0puR8GLc(D2c&Zzuw zq0H8KM$crtd@cUFtn**5XQp4+`s3=PW!1G?&+}|7-zl|I)ZNl=KJ%Z+GJoABo>;Q! z#b%jvYz3~GrVrO-*)L|>W@P!k@`lJmb>39#J`3*s+!f4GSy#R9x7qYpANX?U_KbP& zrl~%uk6PvDfBD>?&BE{PN|U|wjb!epCvRDEEW<;=w&#r6yhHV`SNy2ySY{-8>X~HIUCWGL zhmV}=uw9;Ab!O*{1&Pm&JYbsb_i^{Cq<3#upER57u68hZdY%7lt1D-&$||-*%x)_@ zm4EugrwMZRPEOABH(xF@O{l#~?(`<6KilS6w#7WU;kdP?y(z*ob{$ZBJlRC; z3XA-bD?tiB8jk%B%Y0dX`hmpqH?u?7PYS%M4%qOeA(U-R+JB+u=g0r+_|>0x(JiaU zyPIib(O*?&`8+=(qpOc&V(3%PT)XAH*{=K_u6=n|P~}pkseCQ;FPD*FgQ-vDnyqPX z*R1K0GCY1}Ul`lb$7`>&o(()z%9L^7D3{&lZsWuIM62Yu&LsuD;BK@Js$aU`&W+a> zgp3%ceORs1$EKdBZN6Z8;Un8*X+5XB{N*IpUE+UC+z$n)6X(6o+c z6`yB35_+aMwb3=@08ggzoW$07M}-A;o?P(N-|E)lFG8sgv)dNB1v3v9m={ z*O{^F4%^h(Sp~gz{;F%zzpnc0rTz9&r;j~5vtO%#hlzXK%kSK>v8#S7X&%@4{N31O z(n0wJp&u{APgwN$SN;_N;U$-@*0I)o`ob)Ety`CS?WF1I7c@TCDn7mRjc@;HkGh%W z$(QcbYro)>*?aYIT~Os3!zq@VPdf=_N|%IP5P52NWr~03GT*}mCDli|R;)?+A2&B_ z+QNAbOs1QivtHeF;4fTfeD&*Z+YMrig{+vE4o~O$qZDAD`!C@n6m|W1IH*R-Hy**RT56?OT>HMiy%@dd$x%aBL5- zZTIW+dOtJS@-SnV<-Emj_~)N`x;TeD(SEr__q3aJaXK?UbEa+abX~diPG7ype$}q{ z=gZlDSb1&d-nafB*PTxb|E|<;c3-1xTWoN3!XqEPM+W}ZEs67<&D!uZw9EXj_9~{l z=d4af63g05RX1ktt`84i=^?h}bZCwH8E$EJm+E?HwM%DCG`Gr#zwAhLm?yo&C4^h? z9B+}pcHTX@`YpZBekWgB>3c|5PIW~z+x<%)zFev5Oq@CCXZMjcM|9q0RatL)zTw%Q z=QFndV3=`9py8gs!F?+WNroU-|FTDiExD~GUmW@-Yq$4*)|7@7F@>^?%aS?vZ1>jC$*|wN{s)K5Lq*ZT`#a1I zZQ4C=ZmCt7Rq@yBH$P0VPPWl>%Pgwr=vJHwX7$nuYi7Tv2!25r-Z3jduQiS@g(5wjdYb89W8*rY+BQ81?jNK4?teEO5%R=}c;Wk3oRw;*3QncLg`B z>*vb2o7HjX6K`hbnX9J{>sEz*?AVqQK2cQA$nV@I_T2ZszuZyb*`&H?`RT(lS$VT} z$`sXBUCWB_jx)CiJY2>0^K9upu~Wtl%*s_qbykEZbT8YtM=$Wx)UMxAi*v>1)^?s; zw8QQDG1>LLn?j76LAKT$oeYgGH z&%^KfA9r8-Re$~TdhxeszFdFxay?)F-QZ8FN9UlUd$o>VokpB z!^iXQe$L+=KX2v?A3xs3Mv*>7Wn1PsecQ05 z|87gSJ_GaY8B=7pY}<5w(z(V=^Lp(CYV1(%;~GFUJ3 zGROHjQ>3>9kMWvx1yQE@t1o(wR0XB`v(3zQs9YVs@9vCEMjD1WC-qJz`$yIavL@dU zS2JT$*gaJ8s@6g=&e!!psog$oTAPP)(|U)=Pua?T>Hyxt9m_dNR=$QyS&&g*l1 zg|Bmgmy*njhAU1%wrs8NzBeyG>(md1>; zTx)&_{rA}%wL)$6BU9-o3s)_Cea6=G%|^A{n4ptAuOi;$twmH|ERGMp4`Zpfa5N8H*wV%8?}?V`F-5AQvdc-rpt;M%6n)i18J1PiX4 z|3~h4rtmVJ0LB&X-}OzG;aj2ECcTtx${&H1FPyUu+VE&)w7*){V`-~?h*@iK6Yo9o zvz@2Eq-h(t?@e_P$>py+F;z`u)@G-$i6^#f`BAojPiMD!S^cepNr6F@mo>I_Z78vC z{^M_=FL`RtHJ(ZOAzqfI6Rd2^4ozO48oo?&sqW<_v+iu&Sve|?$`*y*(MnM5Sj%~; zUEs0Uk^I1dXHRE*yq3A4%ujN%iA}c6RPf&5HS05PavGi5H_7f>>&d+j4wbGvv@fA# zv8k)E7U%TP-3zU?GV7H&E^D8iw@o2y34>>->z(HjM%p6kFE;7ANKaW>tnXIxP(1!Q z{~~>_$&AmP_nq5rcH;_D&68(u7*=m_-X6}k<$Q(L-mIs;KStQ>Xt|`XH#{s#~slX_18{w_;kdy z&T0HS<={ic*hdO0R~=vA!{@9zuX=gZoo`Vy4>s*+4ZU(FDL4_FV)D+{d>SgWzF_}C6n_tpL(2SlFk<2=Ev z-$%}XK+Di)r1??S({u}OO&@Bzs8#UMTmcMmz1VO zT*4fu_f{V6-m1$Oe%ijhIk~##_~)N>LF_)CK;QHFf6LQlV8f;YyC=d=E_Ol_xDXXa#z)1g17fOA3mx6EfZY? z4z$ZRsW3J7)PEPa-^3_*NTO}J|Ll6Rf**`*)?BOiY_}6f!eBvU)%G^-C7k$fi`c_Q8_yO!f#Z&_mcQQ@C@+J#n4ImZ+{^(RAn1h>e;jb#@-B`SPZ2Vu+~m zXJe~-o>Se6*X$N{nyipB!@v8>r@Vkx8ymMOsUy!Os@4l@1RQ#8c%CKvi1&hp_gRj` zalAg7v1I!Z7LNd{Wy(s?I%(Fk&KNJ>v2fuDzl4s%amjzKJzpW9vU2;A+iW6Ik>ZR- z)(pOC%bw0MH;v1Sona}E`fkE&55FlaQ>XDpiq9~e`SJY0g%9scYQLUvO13gg$ygwc z_wLOT8OvBdWGAk4tADses&=2l_K8_aEt}ShUXtYS{8Qd@_}!|--p?0n-xaCTF?4Ko z@$@&@e0iDtM9YRSjtoKf?&DokE=NeEb%~YkGF=|+T4pL~8n&8C$yMlB$79jfwF|jE z8%NINbJD)EJ6(|DP37V@J^r1ST6!O? zc@U~%bW`e2)q=cLm+yv~TTjvT)UuXa8YkAZKE30=>Dkk5MZT}NCY_J*x>+_MYge|* zN8@bPyBev_?JH-7YU}RGxpE};boY)m4cU$|OBw_}iT-34n)9*Shs~%Tw<@2)s5mC3a!8Z{4)0skbh0yPC@ei!9cCmV5EnYUQ?Tiw$fq z#C#M}X%$h56rFg@vg<4t_jgq(tpjIpI!?99XYg^=M?-(5M zKKyrU^c3HV_1y-RJ%-mKLQhpcs5$y-^&`I{rvfG%yRNuarkwZoZb$uS)tZ1(^Ygz? zoR-UHoO|`b$KDtJYJ=FkLLc!iar6vcY<;HvjO9M1jhB{B5mA3{Zkp_E9TX?K!Zkfu zz)Nvz?Cv!@hqU8`~E>YqyH_JYzP#w}+j1ffv)gnOi$=PxJ`rdu}{;Vzubbk5g~kNFM*l z6dIIy{YZ>2+hy^|O4lONyaLKaZrOb~sD|VkXa!q^%FJ*R=@WoiM*I$^B zzqa_mk(>vr69T5*D9uWLoN{I7UZ&sa`Q;2rp>Nq0$<;o`Z zK6PRFk%u4tS4CVF^fZtXY~pveiSO__rBhxv!{ZyB}}p(wn>G@EqfE;l_p!4kBycN`F$AFiSvj;{=KSd(*#Nn|br5lFf{?bbaIJ z|K@r(a{fBoAhx{0`nl}xU2E$?1M(Rz&&%Etb^App-vul;yy;zB@l)F^ zyDqEom@cmmXt?81Z=LG5$y58hT4DV4V_&#uUVqiBsTa0#|89$vJ7ym*KCRutX|9p@ zK6Tg4wyM~W)#-QUPTLW>u;+Ag)?&$^y;8sOo81#n?NCTyP|XmV!LQuT%ijL;;rGOu zt*QItPHl-2o_aph-;K|D-P*JK`?Z_|mOeVf{aUi=A;%2|gZh(6hkMJ{tz(pF6}!f| zZnyhtzGc2zo1gm5npG0%HD^|W$h89}yP4OY@D+(uV~9IC(PnlV)72#h;v()X{V4t+ zK2f@Q$DC&pa=i*CZ1%hCtqAH|!tNBHpHi@Nv zQce=#JGXSd?MYgw;W$yWo|Q3{h9b+kDOWwzf4saB)w|%#l$G5^*F0xjTe{11 z(g`L@FM}@6s!K0Im^bCEu!y=4u+hRwx#|9w60hsNrFD*5u1`&xua#_JIr}V&<;!i= zo4>ea{EF0FRpop^tm1)Cz$NehvQpdKX1|^OkEKxPh^E!WI!^Ud4o*+n_A%8jQ*6HC zUwB2JyK#Gf^km~I;mO~A<~}akJo%7b@2O=fBFBUrj*CWBom>6Vq2KUNNsx3+O<$UB zJSt$y#Kx?fV$nu{DSv4lK6JK`rkzUomG;Z=%VZqWlb}x^bDHm&Q%{%^g(+l0Z@`gc$4GAgdGWH!c?y^oaG2V6V z!Mr6FQQOjdCfQu|Tx)up=S-_iir|aVSR0|Eb1vRH7To%0>7&IqlO|rfbf&pdZ2IzP z&$q4KV5+kCw2q^@39q`Uw}@3(yMEv+`M>igy}kT(v(?3#HC@$C-HSOdT$J~C-Ew!w z>lMoXx!+&$ya>+5XP!1PGMgD1!PAJ&w+h;@Ih3;Z@)@Bil)pZhhd%zZy^ z`T6bh-THTbUNZ0Z-0b~##-)fq;c*`x-(6nM`|^H!{lEOrZ?Esp`}}%){5!kakF)La z=6$O#udj;wWtKF}E1FyF4$F=Qr z>ZM;U|2uOZ`=;{9+w5E)KRstXw&^?5Yo^7!|A-YI`=0ks$^GB?Q;(iJTi9;?x8~2s z;CbZtvV`)mwm5q_P%V>Z=S+g^k_lJ(^Jn3Q(nGYULn}Uy-PW{d`14=QwM%t z(RE^cuRP^b^Tsbui@D{dYsdP!Trjs6Xj!-Eq{`1mrYGz=EjP>`oVb!1GPPUd^j^lF zJ!ixMPw(2Xa80P*tQj$e>Bkgfj_T*XWliBJJm7SzpT#Y9&We`{_jf1Duhg$SHqEos{9XCx3-8S{ON!qdJF>RCQzQQJf{E7z!|jea8R=IY z4i#kT@JXn5ei`1rFehTez0LQfmT z+WJXL>Kh|{LyNyXJKni6%iT5oB!}yo+LF7IXVvM& zS%u2TJ-*+k6fRJ;ZDKmT{7mJiiVDvl&EtX-JN~;bQt@LFYyTr&ZJoKMPAr-zkcqb*Nf6m2Mr!p@KdM#+% zmp~t3KH^%3tEw9Jy-y(s?`j_J)MK6E9p>XL|aeh4ZngXV!m+5q7?~ zDCBWm$nKj`f;~~~w^yv~=zDT+;)<7<=f#RAum+`gi@M4^|8ha=&bh2dttXjZT5VtE z#=Wy*rp=5^8L4cuc#c}#iAo9%F0g;*cHF`}=#SqNuEv)0Hr}?0Q@h{Q?|dz!mR6>D zQ}QRv#b(wETju;Wn-ccpil{3?=c?sX4%PYJ{OxvdK8wu5(pHD8NQFR7#=V}Z_of7_ zmF3tsv6Jgeqxa;67n{3|oO9ZG+RKvFPiyll+pAy9T+CbazH{YQdGB3ud{Xt1f-|BU z4LeF)S)w(JmsYR*x>Dw>swaE**_wLoTLo`9m+v%?W%s@EBTTSgK>T%kn1%L*rAE7s zcX1WIJ#lW?uen0fdmZ|Au$z~jd1h_eY|*$us)=bUn`Gvso!eKZe%aa<bOvWg8^% zu>Rd_j-8kL8y_wWwF$`d$`bH0$&4#J>t|Z_{MC_5zHGCPt^dNa^yPJaUzt8JDU*)% z-k!d)?T^=-Xpr{wQCu$}klmQoV)69E+$R#t6u+zzUUcf_1+BZ0513Eo+|+W7$-EiG zu#8#gme!P@j13-EM~}&@xio2s=E6T>-rpi^>Xsj_|M^!^c9O12irkS5za6>9B_;(q zEuEVe`?ZLTD@Ls3U%)|DQ-zG&1b)^nhnQRogS)-1OlqHH<$v<)Jf9%Vm?dX39!V|m z6FDT5KK;GK-`O2pOgsBl*XZj$o?s}Iz4w|nqoYB)z=_VHqsc3~Ouj6!N>q8We$P|J zPT_;nZk*P<59-;MNo=etaxhZ3UZ1CW{@jD(nFnoCwPSWDxtq-Nn|pcE=CBgevc0dD z%}d#Bbo+ww#yQ&lb@OIL8Rl$!_H_@dUBCugj_9Xq79QUd-Zo^)#H{k2wczNQ24C+3 zQGrL6lr1q4o~oAOD%UXMfyfNm>+`IOZ6aF(H|Ggz&YB^dd|`iny_m)By9yJx?M=9@ zwC=#RPzg?#kd>1|LvQ=%^{otfyS9+aG{^qVgtLtQ-u$xM?Ht(Guy{k#&LG~4370)) zw{b8Z3S})d)y&A6p?=`l1=&NJwEH)F_T|-84SaGsvv;#fhuO82SLUD9K3KK5?B^`U zwHvpt6mDP?G`f=W$;T!2sS=yL*p@34toFL#SoM3BRQr>nGT+I`Qxr{7CfZq7 z&u^N4di8YGN|i}9!O3g7wm<5$pB9!}`?mMr78{Nb)uW51^Mr9LoH-F9_Os3Pg!RXx zXWVa|H<&W((xzYfuQcPY`U{DrWql^Ka=f>PqVgH8EMA6*8jbb<&)Z^6+fKkRkL~P z?Vi-NV(Xnl&97F3$$YABJ5lnjsa*1Ze;!|E{ilmYzmo*7>Qyn$Nx7t;wPM3<_s^C= z79nc4j&G~cnIO(u@oH&LkP-7QjrH0AP4DHl^@>#O6Zv_>WvS8hqsRANz2Gk65-K}A zEXT>T;p)7pH-+ojqIYWDS5}oidB1V`y_FyKAOEq+sI%$nD~+%@Y~s&0o@x15(JHvl zhVNkSadFA|M$3&ll1G%jw`8Wi;y)7T;5v2MwC74pyS;Kw=k+9NT;|<6IWX|XnI8#F zryi`UNLy0aHBIEl7L{{rOgfIuUecy=NI>nLigC@(V`4KpPYJi4ywt)`|0_`b`iqn9 zNiSw>R1Dc-UV8AWv%7FYTp&-k9!Q*{VO((L*Ol{Hi4JtlQ$ZQycR z@$px{W)`NNuLWxYCotS$Q+z(dL{ysP7ti#=r#{b{y|2Y_@!kyw!fK}(Brj+B&tSr) z^ILba?&2qHmy_=62w&HdT6gT~mCf(xyk`#f&stG%wf+0Dli8xlQ(BF~<~JrMq`W-! zDO7+VuWrM0?GvpA4m$o!-t}>LF;Z;{SYpqppZD#%lrX9YB_6Ev zV@|t!OXB;_EAl!E1rFzYI4h?0UHemN&GN>5t`A}_-!Vw>V6I-cVb|-gH`-rZGBh$s znZ15u?<2?Q>4!o%JN+x2XI`wnA+*TUKW4XXG24fb)qF=qLhpgsy#^glSzgbOeRW>E z=Yr`a_55m_4hLDBFmJ@pG7BXqP zc_m_8H5_q*9bKTnuBVvr-Z>w$z=)9E$K-epMiWPJ=2UgONn=qfA4S-kX1#KZ-&cKI*% zR<5nz$6!_59_AzG{@&@$@o2$&kJ-0f=$Vlk%2nwaI(2b~r^u{4*J|yh+p}xb;&)ow zO`WatIa=Vs@&hp)$r(W>qSPb|-}RpLakJbSw8=chk@NXfVZL2|CoD>;NtfEDvFFE4 z&e(0DMK2b0H}d%k{?W8Qb5Q8dy`&;Ro99*uPMh3g>gSfuG5x38r`ytP{&bCc;F-Bf z7rK@jrcb+ATK-D#Nq6p#>s79gTj#Zc7r5%4pIamRe&VeTSC^Kxx8~?Z=`^gbH=pNn z@n5TFWUsoFo_(=0s`b$NwdZGUE8jWw^brS7`k- zE}qut_ouS|80_aiVwLjM{3cK2|Gy6L918`uUAR;rv+b0v`c}8>lMK5AS#QW~D{@&e zx4F1_X;oMC8kZ?y7f*;^dwp`Bg~_$+5z0%fb7w1GzrOzL@xU76`hyXF*t-At)O?t* z=_H?^_RP0BEGM+;Z-*Z`Q(+u`u_@>NhU2SlWQ(tv**Ya=AA7Bp$I_@RW^2MC?0414 zEjQFiY)jzlnP54^xjSWz3y+x#f9Wy?k2Gc0_||V%SuV!i<$Wx0y2oi^*6*!8hs`-o zWN#5@F*}&yAGEubcY+D;s`z>%?#c0$MUz#&JagG$6u3KolHskol8Fg>P6Y1(RDoVwgF5dab%ZG~u}!@&XwxORu+ZavwsrIRpHDYp`Zn1(yC>z!j7t+fJAboIe#@l1YDri2 z(h`%+eBt(7Uq65R9bZ&;s=;P%eQJ1lkAbV|%6FS@pL(0$C>apyvHQb>+Pn4F7y_85 zzx}biTIf_S>#wQ11$Ry4G#7jKosW6J4Z(w+-FxoUDql6U4!Nm0vw0)qv^6@*f;QaC znbWYWt5e|L@ncVVZ<;?_X4ro0&dci_$H-dUu<6=&;^kzdE@w`^q!j zygH$U{#S$5-(F2FD79SWe!OvJg(M4|UN&;2)crrOe3N?G*8i1v+XLh9UT>`u!PjSJNR+N|ei`yH zHnGr}sb087%c%3sU&FP+Z)1)d<|J*f={olKM=|47_oTKGhJ3c8!iEZJm$}j>uDcyA zB9Luips;qozE$M&!b7$t0+$Vb-oxZ_shi0lz2H(q;KYA?Uu3Iw>Y5+CZKyDdnkSrY_r`K%^;GlglV`u3zVNTn z8~;nHogam+SNxihe(xn`fZ2|$&3-4tuN|nA{+LkkG?r~P_nasVQ|~1|zIp{_H;LT6 z=F!DhSN3IdaBs+q6#M_b=TDw~>7V%ZHi?7~=?e>+mdkyRPcL0u0Zx2&zb5c$8ylJ! znVTBx8knma7-(`SDCqmuc=cYFJs8 zrEi`b7?@jWY#iY@J(8PI9f#cZY21uFj9kVch9*`<=2oW0)7S7Y8X)nvKjUFs&RB13 zVQ8XY00Ihmyj&pKz|6$R#1Ku)*wD5GZfuW%px}OXTEzQx@85)?Hp*zdaz}y(!`G#he7|t>@G&ZwTKno8;BLib} z_ZylU8DWYUTcSsfk)gRI$Ux-qH8i&{$IxqGVvOWDP<$8|7#SHDqiZ%YGBQNhY-D0# ziS9ciBU57x#~2%6q$nd(BXbNpOzX`ojL~Au$jsOR$%Wt~YGh_+h@SL}Obs!j&dAKn z1l`fb2BsJxV`gk<3^uPGDLEP&nwy}4jX=Z9_W;R_>lu_6g!%e0ZMyU3KthY455HmA0GM!#1$|ziq zUYeMh8DnG_GcyxQ3?G=8VU{{(=9s=RvoOGjZ!=3HX#DUY;>W_k&~*A-F-A{6?5zV^ kTTKNGoKmq|c6MCFC5c5P6-B9OTxJ%=1_oTJs;>TS09mdY0ssI2 diff --git a/thesis.typ b/thesis.typ index d6446d7..95b502f 100644 --- a/thesis.typ +++ b/thesis.typ @@ -12,7 +12,7 @@ // #mol-titlepage( - title: "Title of the Thesis", + title: "Design, Implementation, and Verification of a Security System for Data-Centric Operating Systems", author: "Surendra Jammishetti", birth-date: "April 1st, 1980", birth-place: "Alice Springs, Australia", @@ -20,24 +20,37 @@ /* Only one supervisor? The singleton array ("Dr Jack Smith",) needs the trailing comma. */ supervisors: ("Owen B. Arden",), + //TODO: fix these committee: ( - "Dr Jack Smith", - "Prof Dr Jane Williams", - "Dr Jill Jones", - "Dr Albert Heijn"), - degree: "Undergraduate Thesis" + "Dr. Peter Alvaro", + "Dr. Andi Quinn", + ), + degree: "Computer Engineering B.S." ) #mol-abstract[ - ABSTRACT OF THE THESIS - + whatevea + lowkey not even sure what to write #lorem(150) ] + + +// we haveee the introduction, talking about how things are normally done in unix + // - a critique of why this doesnt work inside of a data-centric operating system, such as twizzler +// +// a solution and design spec of what solves the problems from earlier +// +// benchmarking and analysis +// +// conclusion + #outline() #include "1-introduction.typ" -#include "2-my-logic.typ" -#include "3-examples.typ" +#include "2-design.typ" +#include "3-implementation.typ" +#include "4-results.typ" +#include "5-conclusion.typ" #pagebreak() #load-bib(read("refs.bib"), main: true)