From 1d6d4053fd44faadfb22f9de033c2dfa583026c8 Mon Sep 17 00:00:00 2001
From: Ezerous <ezerous@gmail.com>
Date: Fri, 17 Sep 2021 14:44:05 +0300
Subject: [PATCH] chore: tidy up refs

---
 bibliography/references.bib                   |  87 +++++++++---------
 .../2.3.merkle-trees.tex                      |   4 +-
 .../2.4.p2p-networks.tex                      |   2 +-
 .../2.5.blockchain.tex                        |   4 +-
 .../2.theoretical-background/2.6.ethereum.tex |   8 +-
 .../2.theoretical-background/2.7.ipfs.tex     |   6 +-
 .../2.theoretical-background/2.8.orbit-db.tex |   4 +-
 thesis.pdf                                    | Bin 979805 -> 979793 bytes
 8 files changed, 56 insertions(+), 59 deletions(-)

diff --git a/bibliography/references.bib b/bibliography/references.bib
index b822183..04c64cd 100644
--- a/bibliography/references.bib
+++ b/bibliography/references.bib
@@ -1,10 +1,28 @@
-% examples... for more check out this:
-% https://www.overleaf.com/learn/latex/bibliography_management_with_bibtex
+% See also: https://www.overleaf.com/learn/latex/bibliography_management_with_bibtex
 
-% proposed label naming convention: "chapter.subchapter-descriptive_name"
-% for example: "2.2.2-why-gpg-is-awesome"
+@online{2.3-merkle-tree,
+	author = {Wikipedia},
+	title = {Merkle tree},
+	url = {https://en.wikipedia.org/wiki/Merkle_tree}
+}
+
+@online{2.3-merkle-proofs-explained,
+	author = {Belavadi Prahalad},
+	title = {Merkle proofs Explained.},
+	date = {2018-01-07},
+	url = {https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5}
+}
+
+@inproceedings{2.4-p2p-networking,
+	author={Schollmeier, R.},
+	booktitle={Proceedings First International Conference on Peer-to-Peer Computing}, 
+	title={A Definition of Peer-to-Peer Networking for the Classification of Peer-to-Peer Architectures and Applications}, 
+	year={2001},
+	pages={101-102},
+	doi={10.1109/P2P.2001.990434}
+}
 
-@article{bitcoin,
+@article{2.5-bitcoin,
 	author = {Nakamoto, Satoshi},
 	year = {2009},
 	month = {03},
@@ -12,13 +30,13 @@
 	journal = {Cryptography Mailing list at https://metzdowd.com}
 }
 
-@misc{blockchain,
-	author = "{Wikipedia}",
-	title = "Blockchain",
-	url = "https://en.wikipedia.org/wiki/Blockchain"
+@misc{2.5-blockchain,
+	author = {Wikipedia},
+	title = {Blockchain},
+	url = {https://en.wikipedia.org/wiki/Blockchain}
 }
 
-@online{ethereum-whitepaper,
+@online{2.6-ethereum-whitepaper,
 	author = {Vitalik Buterin},
 	title = {Ethereum Whitepaper},
 	date = {2013},
@@ -26,7 +44,7 @@
 	url = {https://ethereum.org/en/whitepaper}
 }
 
-@article{ethereum-smart-contracts,
+@article{2.6-ethereum-smart-contracts,
 	author = {Savelyev, Alexander},
 	year = {2017},
 	month = {04},
@@ -37,7 +55,7 @@
 	doi = {10.1080/13600834.2017.1301036}
 }
 
-@book{ethereum-mastering,
+@book{2.6-ethereum-mastering,
 	author = {Andreas M Antonopoulos, Gavin Wood},
 	title = {Mastering Ethereum: Building Smart Contracts and DApps},
 	date = {2018},
@@ -46,50 +64,29 @@
 	OPTurl = {https://cypherpunks-core.github.io/ethereumbook/},
 }
 
-@online{merkle-tree,
-	author = "Wikipedia",
-	title = "Merkle tree",
-	url = "https://en.wikipedia.org/wiki/Merkle_tree"
+@misc{2.7-ipfs,
+	title = {IPFS},
+	url = {https://ipfs.io/}
 }
 
-@online{merkle-proofs-explained,
-	author = "Belavadi Prahalad",
-	title = "Merkle proofs Explained.",
-	date = "2018-01-07",
-	url = "https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5"
+@misc{2.7-ipfs-docs,
+	title = {IPFS documentation},
+	url = {https://docs.ipfs.io/}
 }
 
-@misc{merkle-dags-proto-school,
-	author = "ProtoSchool",
-	title = "Merkle DAGs: Structuring Data for the Distributed Web",
-	url = "https://proto.school/merkle-dags/"
+@misc{2.7-merkle-dags-proto-school,
+	author = {ProtoSchool},
+	title = {Merkle DAGs: Structuring Data for the Distributed Web},
+	url = {https://proto.school/merkle-dags/}
 }
 
-@misc{ipfs,
-	title = "IPFS",
-	url = "https://ipfs.io/"
-}
-
-@misc{ipfs-docs,
-	title = "IPFS documentation",
-	url = "https://docs.ipfs.io/"
-}
-
-@misc{orbitdb,
+@misc{2.8-orbitdb,
 	title = {OrbitDB},
 	url = {https://orbitdb.org}
 }
 
-@misc{orbitdb-guide,
+@misc{2.8-orbitdb-guide,
 	title = {Getting Started with OrbitDB},
 	url = {https://github.com/orbitdb/orbit-db/blob/main/GUIDE.md}
 }
 	
-@inproceedings{p2p-networking,
-	author={Schollmeier, R.},
-	booktitle={Proceedings First International Conference on Peer-to-Peer Computing}, 
-	title={A Definition of Peer-to-Peer Networking for the Classification of Peer-to-Peer Architectures and Applications}, 
-	year={2001},
-	pages={101-102},
-	doi={10.1109/P2P.2001.990434}
-}
diff --git a/chapters/2.theoretical-background/2.3.merkle-trees.tex b/chapters/2.theoretical-background/2.3.merkle-trees.tex
index 4b31895..e7a8475 100644
--- a/chapters/2.theoretical-background/2.3.merkle-trees.tex
+++ b/chapters/2.theoretical-background/2.3.merkle-trees.tex
@@ -1,6 +1,6 @@
 \section{Δένδρα Merkle}
 
-Ένα δένδρο Merkle (Merkle tree ή hash tree) είναι μία δενδρική δομή δεδομένων, η οποία απαρτίζεται από φύλλα (leaf nodes), που περιέχουν hashes από blocks δεδομένων, και από άλλους κόμβους (non-leaf nodes), οι οποίοι περιέχουν τα hashes των θυγατρικών τους. Στην κορυφή του δένδρου βρίσκεται το λεγόμενο root hash\cite{merkle-tree}.
+Ένα δένδρο Merkle (Merkle tree ή hash tree) είναι μία δενδρική δομή δεδομένων, η οποία απαρτίζεται από φύλλα (leaf nodes), που περιέχουν hashes από blocks δεδομένων, και από άλλους κόμβους (non-leaf nodes), οι οποίοι περιέχουν τα hashes των θυγατρικών τους. Στην κορυφή του δένδρου βρίσκεται το λεγόμενο root hash\cite{2.3-merkle-tree}.
 
 Η πιο συνηθισμένη υλοποίηση είναι το δυαδικό (binary) δένδρο Merkle, το οποίο περιλαμβάνει δύο θυγατρικούς κόμβους (child nodes) κάτω από κάθε γονικό non-leaf κόμβο, και είναι αυτό που αναλύεται στη συνέχεια.
 
@@ -12,5 +12,5 @@
 \begin{itemize}
 	\item Να αποφανθούμε εάν κάποια δεδομένα ανήκουν στο δένδρο (με τον αριθμό των hashes που θα πρέπει να υπολογιστούν να είναι ανάλογος του λογαρίθμου του αριθμού των leaf nodes).
 	\item Να αποδείξουμε συνοπτικά την εγκυρότητα ενός τμήματος κάποιου σετ δεδομένων, χωρίς να χρειαστεί να αποθηκεύσουμε ολόκληρο το σύνολο δεδομένων.
-	\item Να διασφαλίσουμε την εγκυρότητα ενός συγκεκριμένου συνόλου δεδομένων εντός ενός μεγαλύτερου σύνολου, χωρίς να χρειαστεί να αποκαλυφθεί το περιεχόμενο οποιουδήποτε εκ των δύο\cite{merkle-proofs-explained}. 
+	\item Να διασφαλίσουμε την εγκυρότητα ενός συγκεκριμένου συνόλου δεδομένων εντός ενός μεγαλύτερου σύνολου, χωρίς να χρειαστεί να αποκαλυφθεί το περιεχόμενο οποιουδήποτε εκ των δύο\cite{2.3-merkle-proofs-explained}. 
 \end{itemize}
diff --git a/chapters/2.theoretical-background/2.4.p2p-networks.tex b/chapters/2.theoretical-background/2.4.p2p-networks.tex
index 7a32df4..cb96cc0 100644
--- a/chapters/2.theoretical-background/2.4.p2p-networks.tex
+++ b/chapters/2.theoretical-background/2.4.p2p-networks.tex
@@ -1,6 +1,6 @@
 \section{Δίκτυα Ομότιμων Κόμβων}
 
-Τα δίκτυα ομότιμων κόμβων ή Peer-to-Peer (P2P) networks αποτελούν μία κατανεμημένη αρχιτεκτονική δικτύων, οι συμμετέχοντες (κόμβοι) της οποίας μοιράζονται ένα τμήμα των πόρων τους, με στόχο την παροχή κάποιας υπηρεσίας (π.χ. τον διαμοιρασμό περιεχομένου). Εν αντιθέσει με συγκεντρωτικά δίκτυα τύπου client/server, οι κόμβοι (nodes) έχουν απευθείας πρόσβαση στους πόρους, χωρίς τη διαμεσολάβηση ενδιάμεσων οντοτήτων. Οι συμμετέχοντες ενός τέτοιου δικτύου είναι, δηλαδή, ταυτόχρονα, τόσο πάροχοι, όσο και αιτούντες των πόρων και της παρεχόμενης υπηρεσίας.\cite{p2p-networking}
+Τα δίκτυα ομότιμων κόμβων ή Peer-to-Peer (P2P) networks αποτελούν μία κατανεμημένη αρχιτεκτονική δικτύων, οι συμμετέχοντες (κόμβοι) της οποίας μοιράζονται ένα τμήμα των πόρων τους, με στόχο την παροχή κάποιας υπηρεσίας (π.χ. τον διαμοιρασμό περιεχομένου). Εν αντιθέσει με συγκεντρωτικά δίκτυα τύπου client/server, οι κόμβοι (nodes) έχουν απευθείας πρόσβαση στους πόρους, χωρίς τη διαμεσολάβηση ενδιάμεσων οντοτήτων. Οι συμμετέχοντες ενός τέτοιου δικτύου είναι, δηλαδή, ταυτόχρονα, τόσο πάροχοι, όσο και αιτούντες των πόρων και της παρεχόμενης υπηρεσίας.\cite{2.4-p2p-networking}
 
 Τα P2P networks μπορούν να χωριστούν σε δύο κατηγορίες:
 
diff --git a/chapters/2.theoretical-background/2.5.blockchain.tex b/chapters/2.theoretical-background/2.5.blockchain.tex
index 4a4d724..3ffe821 100644
--- a/chapters/2.theoretical-background/2.5.blockchain.tex
+++ b/chapters/2.theoretical-background/2.5.blockchain.tex
@@ -1,8 +1,8 @@
 \section{Blockchain}
 
-Το blockchain αποτελεί μία διανεμημένη δημόσια σειρά δεδομένων, που διατηρεί έναν αμετάβλητο ως προς το ιστορικό του κατάλογο (immutable ledger) ψηφιακών συναλλαγών (digital transactions) ενός αγαθού (asset), π.χ. ενός νομίσματος (token). Περιγράφηκε για πρώτη φορά το 2008 από ένα άτομο (ή μία ομάδα ανθρώπων) γνωστό ως Satoshi Nakamoto, αποτελώντας τη βάση του κρυπτονομίσματος (cryptocurrency) Bitcoin.\cite{bitcoin}
+Το blockchain αποτελεί μία διανεμημένη δημόσια σειρά δεδομένων, που διατηρεί έναν αμετάβλητο ως προς το ιστορικό του κατάλογο (immutable ledger) ψηφιακών συναλλαγών (digital transactions) ενός αγαθού (asset), π.χ. ενός νομίσματος (token). Περιγράφηκε για πρώτη φορά το 2008 από ένα άτομο (ή μία ομάδα ανθρώπων) γνωστό ως Satoshi Nakamoto, αποτελώντας τη βάση του κρυπτονομίσματος (cryptocurrency) Bitcoin.\cite{2.5-bitcoin}
 
-Δομικό στοιχείο του blockchain είναι το μπλοκ (block), το οποίο περιέχει μία ομάδα έγκυρων συναλλαγών που έχουν κατακερματιστεί και κωδικοποιηθεί σε ένα δένδρο Merkle, το hash του προηγούμενου μπλοκ και μερικά ακόμα μεταδεδομένα (π.χ. nonce, timestamp). Έτσι, κάθε νέο μπλοκ "δείχνει" στο προηγούμενό του μέσω του hash, επιβεβαιώνοντας την ακεραιότητά του, με τα διαδεχόμενα μπλοκ να σχηματίζουν τελικά μία αλυσίδα, μέχρι το αρχικό μπλοκ, το οποίο είναι γνωστό ως το μπλοκ γένεσης (genesis block).\cite{blockchain}
+Δομικό στοιχείο του blockchain είναι το μπλοκ (block), το οποίο περιέχει μία ομάδα έγκυρων συναλλαγών που έχουν κατακερματιστεί και κωδικοποιηθεί σε ένα δένδρο Merkle, το hash του προηγούμενου μπλοκ και μερικά ακόμα μεταδεδομένα (π.χ. nonce, timestamp). Έτσι, κάθε νέο μπλοκ "δείχνει" στο προηγούμενό του μέσω του hash, επιβεβαιώνοντας την ακεραιότητά του, με τα διαδεχόμενα μπλοκ να σχηματίζουν τελικά μία αλυσίδα, μέχρι το αρχικό μπλοκ, το οποίο είναι γνωστό ως το μπλοκ γένεσης (genesis block).\cite{2.5-blockchain}
 
 %TODO: add image like https://cdn.hackernoon.com/hn-images/1*qYKsqQ6aV-DgFD0REfcnig.png or https://ethereum.org/static/6f7d50fd4fab9f8abb94b5e610ade7e4/bf8c1/ethereum-blocks.png --- add that this is simplified
 
diff --git a/chapters/2.theoretical-background/2.6.ethereum.tex b/chapters/2.theoretical-background/2.6.ethereum.tex
index aab3449..b046e70 100644
--- a/chapters/2.theoretical-background/2.6.ethereum.tex
+++ b/chapters/2.theoretical-background/2.6.ethereum.tex
@@ -6,12 +6,12 @@
 	\caption{Ethereum logo}
 \end{figure}
 
-Το Ethereum είναι ένα δημόσιο blockchain ανοιχτού κώδικα με εγγενές κρυπτονόμισμα το Ether (ETH). Παρέχει μία προγραμματιστική πλατφόρμα με ενσωματωμένη μία Turing-complete γλώσσα προγραμματισμού, που μπορεί να χρησιμοποιηθεί για τη δημιουργία αποκεντρωμένων εφαρμογών (Decentralized Applications ή DApps) μέσω της χρήσης "έξυπνων συμβολαίων" (smart contracts).\cite{ethereum-whitepaper}
+Το Ethereum είναι ένα δημόσιο blockchain ανοιχτού κώδικα με εγγενές κρυπτονόμισμα το Ether (ETH). Παρέχει μία προγραμματιστική πλατφόρμα με ενσωματωμένη μία Turing-complete γλώσσα προγραμματισμού, που μπορεί να χρησιμοποιηθεί για τη δημιουργία αποκεντρωμένων εφαρμογών (Decentralized Applications ή DApps) μέσω της χρήσης "έξυπνων συμβολαίων" (smart contracts).\cite{2.6-ethereum-whitepaper}
 
 \subsection{Smart Contracts \& DApps}
 Με απλά λόγια, τα smart contracts αποτελούν αυτόνομα κομμάτια κώδικα τα οποία είναι αποθηκευμένα στο blockchain και ενεργοποιούνται μέσω συναλλαγών. Μπορούν να διαβάζουν και να γράφουν δεδομένα επί του blockchain, κληρονομώντας ιδιότητες όπως τη διαφάνεια (transparency), την εγκυρότητα (validability) και την αμεταβλητότητα (immutability).
 
-Ένα παράδειγμα της καθημερινότητας που μπορεί να παρομοιασθεί λειτουργικά με smart contract είναι ο αυτόματος πωλητής\cite{ethereum-smart-contracts}. Ένας αυτόματος πωλητής ορίζεται ως ένα αυτόνομο μηχάνημα που διανέμει αγαθά ή παρέχει υπηρεσίες όταν εισάγονται σε αυτόν κέρματα ή κάποια ηλεκτρονική πληρωμή. Οι αυτόματοι πωλητές είναι προγραμματισμένοι να εκτελούν συγκεκριμένους κανόνες που θα μπορούσαν να οριστούν σε ένα συμβόλαιο.
+Ένα παράδειγμα της καθημερινότητας που μπορεί να παρομοιασθεί λειτουργικά με smart contract είναι ο αυτόματος πωλητής\cite{2.6-ethereum-smart-contracts}. Ένας αυτόματος πωλητής ορίζεται ως ένα αυτόνομο μηχάνημα που διανέμει αγαθά ή παρέχει υπηρεσίες όταν εισάγονται σε αυτόν κέρματα ή κάποια ηλεκτρονική πληρωμή. Οι αυτόματοι πωλητές είναι προγραμματισμένοι να εκτελούν συγκεκριμένους κανόνες που θα μπορούσαν να οριστούν σε ένα συμβόλαιο.
 
 Με όμοιο τρόπο, σε ένα smart contract μπορούν να κωδικοποιηθούν αυθαίρετες συναρτήσεις μετάβασης, επιτρέποντας τη δημιουργία ποικίλων αποκεντρωμένων εφαρμογών. Οι εφαρμογές αυτές μπορούν να χωριστούν σε τρεις κατηγορίες:
 \begin{itemize}
@@ -19,7 +19,7 @@
 	
 	\item Ημι-οικονομικές εφαρμογές, όπου εμπλέκονται χρήματα, αλλά η λειτουργία τους εμπεριέχει παράλληλα και  μία αξιοσημείωτη μη νομισματική πλευρά. Ένα τέτοιο παράδειγμα είναι οι αυτόματες πληρωμές για λύσεις σε υπολογιστικά προβλήματα (βλ. Gitcoin).
 	
-	\item Μη οικονομικές εφαρμογές, όπως η αποκεντρωμένη αποθήκευση δεδομένων, συστήματα ταυτότητας (identity) και φήμης (reputation), διαδικτυακές ψηφοφορίες και αποκεντρωμένη διακυβέρνηση. Οι τελευταίες εισάγουν και την έννοια των Αποκεντρωμένων Αυτόνομων Οργανώσεων (Decentralized Autonomous Organizations ή DAOs), οντοτήτων που ενεργούν αυτόνομα, χωρίς την ανάγκη διαμεσολάβησης κάποιας συγκεντρωτικής (centralized) αρχής.\cite{ethereum-whitepaper}
+	\item Μη οικονομικές εφαρμογές, όπως η αποκεντρωμένη αποθήκευση δεδομένων, συστήματα ταυτότητας (identity) και φήμης (reputation), διαδικτυακές ψηφοφορίες και αποκεντρωμένη διακυβέρνηση. Οι τελευταίες εισάγουν και την έννοια των Αποκεντρωμένων Αυτόνομων Οργανώσεων (Decentralized Autonomous Organizations ή DAOs), οντοτήτων που ενεργούν αυτόνομα, χωρίς την ανάγκη διαμεσολάβησης κάποιας συγκεντρωτικής (centralized) αρχής.\cite{2.6-ethereum-whitepaper}
 \end{itemize}
 
 \subsection{EVM}
@@ -33,6 +33,6 @@
 	\item Ένας χώρος μόνιμης αποθήκευσης, που είναι μέρος του Ethereum state, επίσης αρχικά μηδενισμένος.
 \end{itemize}
 
-Υπάρχει, επίσης, ένα σύνολο μεταβλητών περιβάλλοντος και δεδομένων, που είναι διαθέσιμα κατά την εκτέλεση.\cite{ethereum-mastering}
+Υπάρχει, επίσης, ένα σύνολο μεταβλητών περιβάλλοντος και δεδομένων, που είναι διαθέσιμα κατά την εκτέλεση.\cite{2.6-ethereum-mastering}
 
 % TODO: Add account types, addressing, token types, fees,...
diff --git a/chapters/2.theoretical-background/2.7.ipfs.tex b/chapters/2.theoretical-background/2.7.ipfs.tex
index 578cbe7..630e3e0 100644
--- a/chapters/2.theoretical-background/2.7.ipfs.tex
+++ b/chapters/2.theoretical-background/2.7.ipfs.tex
@@ -6,8 +6,8 @@
 	\caption{IPFS logo}
 \end{figure}
 
-Το IPFS (InterPlanetary File System) είναι \textit{ένα P2P πρωτόκολλο υπερμέσων, σχεδιασμένο για να διατηρήσει και να αυξήσει τη γνώση της ανθρωπότητας κάνοντας το διαδίκτυο αναβαθμίσιμο, ανθεκτικό και πιο ανοιχτό}.\cite{ipfs}
-Πρακτικά πρόκειται για ένα κατανεμημένο σύστημα για αποθήκευση και πρόσβαση σε αρχεία, ιστότοπους, εφαρμογές και δεδομένα. Το περιεχόμενο είναι προσβάσιμο μέσω ενός δικτύου ομότιμων κόμβων που βρίσκονται οπουδήποτε στον κόσμο, οι οποίοι ενδέχεται να να αποθηκεύουν πληροφορία, να τη μεταφέρουν (relay nodes) ή και τα δύο.\cite{ipfs-docs}
+Το IPFS (InterPlanetary File System) είναι \textit{ένα P2P πρωτόκολλο υπερμέσων, σχεδιασμένο για να διατηρήσει και να αυξήσει τη γνώση της ανθρωπότητας κάνοντας το διαδίκτυο αναβαθμίσιμο, ανθεκτικό και πιο ανοιχτό}.\cite{2.7-ipfs}
+Πρακτικά πρόκειται για ένα κατανεμημένο σύστημα για αποθήκευση και πρόσβαση σε αρχεία, ιστότοπους, εφαρμογές και δεδομένα. Το περιεχόμενο είναι προσβάσιμο μέσω ενός δικτύου ομότιμων κόμβων που βρίσκονται οπουδήποτε στον κόσμο, οι οποίοι ενδέχεται να να αποθηκεύουν πληροφορία, να τη μεταφέρουν (relay nodes) ή και τα δύο.\cite{2.7-ipfs-docs}
 
 Ο τρόπος λειτουργίας του IPFS βασίζεται στα εξής:
 
@@ -17,7 +17,7 @@
 	\begin{figure}[H]
 		\centering
 		\includegraphics[width=15cm]{merkle-dag.png}
-		\caption{Merkle DAG\cite{merkle-dags-proto-school}}
+		\caption{Merkle DAG\cite{2.7-merkle-dags-proto-school}}
 	\end{figure}
 	Στο παραπάνω Merkle DAG τα baf...i αποτελούν τα CID των αρχείων και των φακέλων. Το δένδρο δημιουργείται από κάτω προς τα πάνω, υπολογίζοντας κάθε φορά τα κατάλληλα hashes/CIDs. Σε περίπτωση που το περιεχόμενο ενός κόμβου αλλάξει, τότε αλλάζει τόσο το CID του, όσο και τα CIDs όλων των προγόνων του.
 	\item \textbf{Ανακάλυψη περιεχομένου μέσω κατανεμημένων πινάκων κατακερματισμού (Distributed Hash Tables ή DHTs)}. Ο DHT είναι ένα κατανεμημένο σύστημα για την αντιστοίχιση κλειδιών σε τιμές. Στο IPFS αποτελεί το θεμελιώδες συστατικό του συστήματος δρομολόγησης περιεχομένου και λειτουργεί ως διασταύρωση μεταξύ καταλόγου και συστήματος πλοήγησης. Πρακτικά πρόκειται για ένα πίνακα που αποθηκεύει ποιος έχει ποια δεδομένα και, μέσω του οποίου, ο χρήστης βρίσκει τον peer που έχει αποθηκευμένο το επιθυμητό περιεχόμενο.
diff --git a/chapters/2.theoretical-background/2.8.orbit-db.tex b/chapters/2.theoretical-background/2.8.orbit-db.tex
index 97be2fe..d553bd2 100644
--- a/chapters/2.theoretical-background/2.8.orbit-db.tex
+++ b/chapters/2.theoretical-background/2.8.orbit-db.tex
@@ -6,7 +6,7 @@
 	\caption{OrbitDB logo}
 \end{figure}
 
-Η OrbitDB είναι μία P2P βάση δεδομένων ανοιχτού κώδικα. Χρησιμοποιεί το IPFS για την αποθήκευση των δεδομένων και το IPFS Pubsub για τον αυτόματο συγχρονισμό των βάσεων δεδομένων μεταξύ των peers. Είναι μία τελικά συνεπής (eventually consistent) και χρησιμοποιεί CRDTs (Conflict-Free Replicated Data Types) για συγχωνεύσεις βάσεων δεδομένων χωρίς συγκρούσεις, πράγμα που την καθιστά εξαιρετική επιλογή για DApps και offline-first web applications.\cite{orbitdb}
+Η OrbitDB είναι μία P2P βάση δεδομένων ανοιχτού κώδικα. Χρησιμοποιεί το IPFS για την αποθήκευση των δεδομένων και το IPFS Pubsub για τον αυτόματο συγχρονισμό των βάσεων δεδομένων μεταξύ των peers. Είναι μία τελικά συνεπής (eventually consistent) και χρησιμοποιεί CRDTs (Conflict-Free Replicated Data Types) για συγχωνεύσεις βάσεων δεδομένων χωρίς συγκρούσεις, πράγμα που την καθιστά εξαιρετική επιλογή για DApps και offline-first web applications.\cite{2.8-orbitdb}
 
 Κάποια Βασικά χαρακτηριστικά της είναι τα εξής:
 \begin{itemize}
@@ -22,7 +22,7 @@
 	
 	Όλα τα stores υλοποιούνται πάνω στο \texttt{ipfs-log}, μία αμετάβλητη, operation-based CRDT για κατανεμημένα συστήματα, ενώ υπάρχει και η δυνατότητα δημιουργίας προσαρμοσμένων stores ανάλογα με την περίπτωση.
 	
-	\item \textbf{Address}: Κάθε βάση δεδομένων λαμβάνει κατά τη δημιουργία της μία διεύθυνση της μορφής: \texttt{/orbitdb/CID/DATABASE\_NAME}, όπου CID είναι το IPFS multihash του μανιφέστου της, ενώ το DATABASE\_NAME είναι το όνομα της βάσης\cite{orbitdb-guide}. Το μανιφέστο είναι ένα IPFS object που περιέχει πληροφορίες της βάσης όπως το όνομα, τον τύπο και έναν δείκτη στον ελεγκτή πρόσβασης (access controller).
+	\item \textbf{Address}: Κάθε βάση δεδομένων λαμβάνει κατά τη δημιουργία της μία διεύθυνση της μορφής: \texttt{/orbitdb/CID/DATABASE\_NAME}, όπου CID είναι το IPFS multihash του μανιφέστου της, ενώ το DATABASE\_NAME είναι το όνομα της βάσης\cite{2.8-orbitdb-guide}. Το μανιφέστο είναι ένα IPFS object που περιέχει πληροφορίες της βάσης όπως το όνομα, τον τύπο και έναν δείκτη στον ελεγκτή πρόσβασης (access controller).
 	
 	\item \textbf{Identity}: Κάθε φορά που προστίθεται μία εγγραφή στη βάση υπογράφεται από τον δημιουργό της, ο οποίος προσδιορίζεται από μία ταυτότητα (identity). Το Identity object, πέρα από τον προεπιλεγμένο τρόπο λειτουργίας, μπορεί να προσαρμοστεί έτσι ώστε να συνδέεται με κάποιο εξωτερικό αναγνωριστικό.
 	Η μορφή του έχει ως εξής (βλ. και  \url{https://github.com/orbitdb/orbit-db-identity-provider}):
diff --git a/thesis.pdf b/thesis.pdf
index 1cb47c6554c98eafa85be31c0e66efa92a3aaa17..d2a5a86f3b1341fd1c617570ea329dc2aa6dedf7 100644
GIT binary patch
delta 15093
zcmaiaQ*@?F*KKS&>DbO2+qOHl)v@u09ox3ku{ySG+qQA`{=bX!f9K|0JXiIMQKRNu
zYpz;z)#efJ>=CbjFlaDXFnBOTFk~=PFmy0XFl;bfFnlmVBck{^C|fFMBQ!pcje|=-
z0M6OP$;`+O&SPy+cRl9EFskpg#zY~G|KwFg7u4@~t{8L@&VFp-aAJr`JsIO7J;v4z
zuCMp3c~OQ?R?%uwWQt?qJ-O{OHCJ_4SH(vjJKKGg{VMwbcG8#I=(PnYYqnJhy?yl`
z$&?UQHyG%CK8bK}qN@0Qq-{1p;rpS#ICzuMiF<e$+}B07c_=gU?NEzdw_p)CgEspt
zYo0TWw%8y6m!uB<Y0xn89@9M#PF-whdRBpuTrO}unZn5O#Rn@8LXKG1hC&e6{slPX
zVjx3Yp!gwyU${z;mmu6hmJq2FLzG|<49(%h3`o~9OSkYNgdxO-qEm>#jJJasMo_$S
z*1Wo$nR<>mZ4gm;Cx7xe|HYkNdJ+hP3?Ux#b#ftDkW3chd}WbuFac#uf`fR1JRw3H
z7TPs4k@$@RFzTNfB2qLQko0*ViT+5i&inMj$`@(Fn*RN(U|c(++&g>pi9#y1SAd{V
z6S-p$3K7_>@t&bo(w7OK6-FaX&*2O!??}vdy$~9bR|5MojXlf34A+TFOtA1pIQdNi
z_dF7<3jM;6(ac^?UXX4CkHAZbhw)Gp#t0;`Wmd(V|8kU;bJ}cQx|2^`ifjA?YFnh~
z2C8(CfNW8QGE|l*^sC4)L2~w`$RBl?vI>*Du%2Ssq<FJTG1n3x;a{;`YRMio?w;On
zjNg&CpH9hXg)IBI;OHJAI&}jH{DUy7T+PX}w^`JJF}j*RAmQv*$%I1&RJI_SMB3HH
z)B$8D1#?0)9UuY9tRQe>3`yW@IA#D$XaWT`9KKt<888)d1DP`GdL;@UH9WL+qhCfc
zN&J^mVN9CDm}OYN707NGp8%L7mSDVo4=y`(XHYaniWz_STrNVFX>nP+g>p+8$1?hy
z5%vdsXGwAL=#g?)wVV@{!@jQM@4nY6pSWL1VnunV;i7Qk3-h3Hzm2zw=5A8%_B{x%
zV9<N0WR}&bAY_$gAs%F{%lSc%<SPf!4>fEG<B*pMP!z?0c*4^3k_vrY^s+AOcDSac
z$@d7-WfX7tQqgJ7)r`oBg8_Jt3|MXaW1zny+?|r>i#DxuiV5OdOvyHl_f&V$B@|*_
z%5+8@o0EKLO!8AG#`Kc3W$kGjlgNdL@mXnXOPWwA!0^meEW5?D1E8JC-S(4zr8YTu
zxr{VoS%WtLc_9y}ZL#z83Yw}M_zL=5gwds2#%i>+lZo_z1s`HzNq6XqcuBb)F_N$0
zRP1AlC);R;Q~~?yuU5W$EW(+xkXW(`Mwwzn)Hc<!XqNF<T|y#F8WZ)cZxE+2DUf`q
z{GBo-0y24>PEf&J<PFhcOK`1U7Y&2kUvGN`<Kqm#oE-iBbrZzTqx)%WgFp6~511PO
zSuBIz?<QmyrgjMf`=!)v#+GR;1K{i8Ui%@i8E0>A@vh}^8vAm3{x}!-1&{E!8QU^G
zX#eZi()wV_GgGtA`~2C_<X+_Ck@a8CA?D5dK_V<g>~7zq8{=Fizo1{+jDFo;zdB#;
zMv3%+)yp~$`gok+m-hazS~9=e@B%q?JL}m&r@)YAi}2lDptF=()~RH6MKw<mU*p@q
z)r9rCx>`3GISH6W^vA@vA@|Gh0^Q5JlPm*+!$-CP=B#~9HXOcow4)ss<4sS%3+^e4
zMo-6t?EjIR$6<-x{6b7{5;+A;=wMZ5SKL70ke5-FseF{`Y$tG*WHX+l4<QWu2oz=U
z2PQg;$*64t;&DDB_!$Y#VH;EmfBz_s{M{knf~(MG<?YS;S%YwyIzRNr)dA}jG;1|=
zRlXXi@I)(iYZVLkE`ay~Fs@Pv(%-~g#?Gxc?TC-k3@dSgLx?-hpE_P5mA(=#y&VpG
z#Yb>A4?{*+d8BYGpfcC^Er8I@f{sfk!=bHA49Ly8=m~i}F%*EIu;n1k2R9<7PRqLK
z3GqZ0uja*o0q=$g{G2)nhE9RF4>^q6w>*n!$I+mq;;kiP>NUMe_wmou3ki^NcIpG?
zy;G3ioU&rx_(lsmIQ^uMLSBZm&!z#!hhncfxXS}*clj2eZ9<HrYh49@!}e~4ShC48
z-YsDNH5PA-D&DPc<y_Q_a`$uU^Ay5~%s0`^gYl;ZNqPq~O)qp!t6j@)Zc>e4JN>Mh
z?Nz)Kb2(vCFNX4AG(7B+kgVei#iyd;bI7Ds0^~#;SUT<Q;{61;&Yw3CR$&6KAMmEM
z_4p+N;P+2OnVARgm54Nxlftx)zc$h@&Iz~4xzVqKVC3pKT_vYHigFww689cd1vG0R
zKm(2?@OGJE-N-9P=g(gZI}^f$QY8gv90}84qUb{%kR0FhD`3Gkm13!-k|iND#ivBQ
z%Pb>4P58O!OZZ1*OXLViPaJ@MB(mUberJofVds4HOilH<;>5T1YY*-J$PY|~8?xp?
ze$1b^P4p0hS>AKAwB<p+2H%$;hA~liOpBGudbwA60w05o*|>CDs8b_n%n82+<Pq{$
z(KRt9cMFjvLL=}XAmQRBd(Dk+x_mkrn%?>MK7&Jr%A1yhf<JkDbOZqRM)x5Fqp<O@
zWMqR%H1=nC9Zn8z1Br&<k!*_OH(bas7}rN;&L8lRe==0XeEg=sx}UhFSb2ECpe*Ip
zY^vqr8Gvyi+RNy3XastV+GAaEpHT^nAoxDYkz{Ii_Zy9u$VX`28|P?R8kOaYN?J;m
zRWl_x?9e32DR|`Nz`g?^t84mB{`S=-=H~v+cQVdr4&UY>UDEI%>g#zj`zLNL<&Y}z
z1qF<B@QmRHUfKTs&M_)-Hy|PW{ef$U7xl1f;Mr!7xWg%P?L60RBq=bQHSfLSc*6g4
zy|}LX_i&m46Q}(a<MH~W(`%lUfQi+<iYiJYOHiTEAgQ2V2J#*7{Th1LtwF!LBa`Xd
z`Tfb*wV`9JzgGtP^%a#8OV5%|WUVdWk&PcWULX;o&+!(hcI}(sDcGI7{yORO-tTp9
z?s{)cq-)fjSK-Zx?ty~|49w&XCz~*+YEC_0oYX%dE;~yHGf9)*6D<SrNHb6o0QYY>
zALrCu;=#dC*t`QCAfgho`Xt#z9ec9=JR0@6{MtYBvr~p<hDQ%cqB=bT{BU%i(IIrT
z@i1kPUg3vVl@ln>7<_el_xh`~WiSo&i0)gDTt7St(At$`_9LVjG`-OJE6WrRu7)%b
z${P5$y=%qxI2GmKXwS*JW!bOFZkCdZ@US{PoGI(KA-Eurz)$z|=AnlbKR8KO-byIA
zcOg3Xarx{(W@S}VWfC0yZGl=f6Ri(4ha&78Uo5uDG$<L0%x#mbo1;B9QbgZigCy?q
zO~BTG0=iWI!fk?0^krI&qj-aAd5FzmvuneKP*46q<Fuz=*^;=Aw`4gujT`$oU!Yst
zz>T;EA(98^p>IJCWaz$|xi_wxI0PqYbw}y?KBD>N_w3x<+WNGvYwZHI>vihdS2H!c
zn>YR1HZa)e)aN6nT{)raAW8|IXe{z4aCm>6tdL_$(BpG(y*-N&?senuZujZb@80yb
z_|<EJg##9NfEUtU%f6{54|mG{ala+P;|b71-~9r%Wx(X5S3FyNy64nzYUb7GyYQK^
z^)ka^cjY(MDak<Ap+-@*Hh`vew;AX$@LC9=DloH>%`8l?L1P~_<~T^EmM$%7R9>FH
zV;?#BcCPGN0gpkTG&$E7pCl_Lx^L%hcY1$NW*7-`$}vBFc#V;xJQ8GnNuTv?$i0?(
z|IPqbzrK|09yfYtAkBXdZr#jBv!%l_*iRr=a#pS%E}r#Oan@k@=zRQb+W-<?fDPV_
zTcTUB3)O5OU>()=Tkjo|_#z5DFE2JSaSCqrovyzkZcOiuTsaWdRCgp%d%5Da<%^nX
zYe+xtH%T2pH&gcQv7b((H}oZ^o`BXb*rEZe?+LHqzR-=f4g$NhYtA}&;Vmr3_iSGA
zGHH%@Fd`RCuGvX=uhScUZwkwEn*TPflC}|k*grYM?w2?E^vLkE6O-Se+UN^X6ti8S
z8P1{{Zi-Z;D><Arw*5{DDATu<zN{Yfw$%X#<1BeDc2>xnbPG`GS(B@5Tq)scnz9C7
z=mZbb-z9*80S90=R9L&BbFnh9TQOt-gX9`Dt2kR?cPrY5$VkR9fhJ{>FfHg}s~HdL
zCAhZ@dVp0K#0p!NdH7?r2WVnAH)o2LuVjl~a-oov@SdX!DArtdYYtws;SJcnzO$y$
zhw9i=?0TZA%%r>f`}v--g<2@Pf~`Oah6$=Pya~plA~5%<-C8HjEv|dH+sf@n&uAI4
zPNkPH(5t<{^~cCTcHP~*=WW5yJNF|mpvc(3xEw*BMA)*9&(ILeZtES!?EClb#Ctyz
z)Q6R8=h_y(_ub)})7RybaYHu0XPch>k92;6kHbALPo+UuBsL^Q4uJ4MtsKz2L(*BZ
zgw@Z`LW_W4GvdNvHAsV``!t{;ndkiAThM<^{kChQAK*8H_}p)kc1t<mZ<BS)gKps7
z|5@Kh9V%}2TfIpqSfV414WecGnBNWX4dS+)#F^O^bRNZ-)kfh*c}e1NY(iqsx0o=j
zxb1ms(_s}t&JkPZ^kC@ium`L^KD8urd_w8_O3T3Rc~gJa6wbn5ipk-;T^p?X`I#u~
z_+`1SAVtiG&#}%-cL{pqsER9d99vo0ZqcC?=J%*?^scjJkg6cv?OpY7aCo-(X>P@s
z56+%wEOxi~G=Y3x=kOr(d$|i~?FyMzY$Lv66BUf<zD^jKkWI&>3JeIx=ofsd&noEc
z1YZ+;V={f52U`;y9p~>Wg;yEITA~uIR+QdY-DnVR(J?d}fi)?&wqFG8&@sztTJp#B
z+9S-HaBJ~qY1<E9N>=okK*Tz>!tL5nUG<m%-}<T}h?zmsv4{XEUI6Llvi-w<^XbFn
z8R_`g^&2Uz3tXqC>l)aDReQ)=8*;gA(EE&2IeGKTt_gMVX?cCqUSO#F<X2Kxk1|O<
zYb;p6Z>0UItDDI+r1dzrlUhWhPzMAs)6Gs1XBhB3q-?9;Mo|kal8YHyqvsr4rdYxh
z;fmSEu^yo$ecaYClSs?wlF43%5a`-XtPWc*F2<MG+dMhisRbY%+0@2A-y9wIl&RuQ
z5~IQ;PuDMa>A4@+T!~L(0PxZ0F#zIeoMefoY(yu^O`=K-!bef!nMYW=`UQ%Pcuc!E
z$=^+TZW73nLqbz6#G)Ro1U+OD^2A~dsL=z_QGjxE`)xmqLzZX_0{*cFSZNK{JLd_M
zp)aI&8DV}PHL#P#pSoEC3T5zd46wx*jK4vcRA7RM?`cbex6$*%Jox(cv?W<@fV(w?
zw0*_d!9>hW`GojT->vS1_=mnb>M2M{3{*)F#JLg6367whP7_bjAsvih6-<*PPNiWi
z*H7UUtE#@~g`>I%fa-he9|TX^Nv6`JjkRo%PaU|&WuR-e(t6{j$fDr360l*D-4}(m
zn{F9#dHd@tw&dvQwk8E9ZDjIuy=8j%j7*hTVc{Ms`r=%)yM1u!%hGOSwukJpLPzi7
zr}vAHd&im<__RaSTB#**Q{iGp6z`M<bz16!(snf>^y3l)zcLXxFlIT34{K)s(Qqm!
zuKig06c}y=d!nyUi=AfFmYde)!UlPyMfAtQddBZ#3ERCwRpe3hc`2XZkK1ni8xCRl
zbZnG?*Q0|mWjp#~Tue@xJE8Vwx{oJ>LAOAk<zAYWkQuXjy7ZDHCTDS{wl=r&UtZnS
z*m3w10v&hXX0)2(QO!>z>^8v#8H1DfzXewwoxqmbG=5k6ciMCh8XJS$*anUnPVK@-
zleZ(ePhL#E3Z5-qb99N%iT8&i-@+Ic*HY6eZ@jvJn0$B2%g#1$2Dwhc%=!4MQp7(i
z^IjX-bMd{%B`%F$@n6D3<%0aIWcqRCy8C{HRlp?4vwpJ2*U#JRoGj%l#h>F=7k5(E
z^W-D*-?Sbj$g6zjEU_mKQm)*8)Pn{O9n1*TY(~8`ZVg(#p*d0mo)FPfpDz%pfgJza
ztnp2njL8IGggo<wq^hc`M<GHL!N4M@mCq@#rz<Z*WMPyukB~%m`0f%?rkg91*LLln
zzni?*&t)2$w8#JPYwKD~k0;<+=W)Jbs%EyekI8=Y>0PVF#V)XSu7I{L?q2SXeKTFD
zSnK+DdwRTYZdm^XwBK0Ky8k%5Y`Vj=nFLL#S?&eY-IT28O&4<8UF2JwHw~|xnK}6o
zZYJ}a*>!W~nqRIq4Y@vz<ZL~}ByF1Ee5EDUk?reeB=8cIv-{diiEiR(tQX!c`FN=`
zSC>#dM%fV^Vg9^Cp1fX*Z_29T#wN{{wk`lbC+7uH@8m@Qr4Ge#>B*FGR3`@C8J75)
z!X~(?LJFEXi0`nK6RCYr258vAYm?I84QZ79qv8q9U<SMi?(;q<7|2P9o`lA1IT9VS
z&@hRem_+aB8V<UXrEOynMDWnYG@#U~5tviO9H@zDUy@Or!zjdpe`;b=upJ15uUO%d
zNdNgRmwQ2mC@wcvNX@@OBsQI3N`lK2q=_J<fD0{zpa$>N?$uVtl7_IC2?A4sg%id+
z*$<#vAt#hZnex>JC}Zs{(L54T!0)#g<eR#iDPIrsx6E$5w=CH+PRUP73Bp+4|0OGZ
z>i!h{?U$x8`;J}BN>K72;<>I7rGV!sfC2d*ybtuUHj*f^#tcLs&rPO@qS!wHmFZ^Y
zg#~;m+T3AXqhWXiE;6!xvvTAp+84>@(r_xUE%`SQ0XkTim@NiALSc-H_Mh_|IhB>T
ztqOaenD3{(RzMqtQBZO>y7qJik+$7C&FRAa{DtfQdJ~XYQq{sjTsNY*M)Q|F3+x0b
zndjPeOxLu9#3p2XCEhTtoKV+MYek&!!b7m|b3!dFresk!ZCZ=6!|rbv^``7r=evt%
z7o*`@odj=}7hPq%#vkMMx3{^cgJO*yu$*u-og~G#o)R`y8X;fcY5A^W|2eS7%|DUO
z{=Xw#FLCpqNJj~|_JlL|)l|_F6;Opig1TZEKUYHAjx1!DK*|oqeL!k&kk<djCI#gi
zTIU;ccza(@ZO2LboqC=bA?bQyd;T(Kpx1xaQ#$3vqh_}p1wY!(y&QCWEO@qS;cI@_
zeetwd?X}_RwoI@Roeeznef_+2tu$G@LoKdp2~cl!&{As|A32^Q^lsAkmU-<iO=c==
zFAuG{ME<Z_da5>CUQP7!7^hRNI0t+jvaTyb>Sv5O;caDf9gZt;URZk@+Y`tsRxGWb
zO7k~gZUW`g+_*S^)>Mb1YJ?C*S#W=Z!sE7JlqoUHMUG(A{DDq0tYs(#AdQe#`P3k|
zC;_B#phnLy?W#y?{<WfNQdNV%yPP9dep@Rpm|cZXl)8@tNqSKP61*^|0^tP@RBW;l
z)c$D<p#e<+X&A@HUs?mEw{Y%9S0}KJr!+DlaB=t?xLP^&AQ%BBHXd!riV{;{hDj{2
ziU659kAi5i0#2OdaD4Q`SD?gW_H1%5f%F7lmv$P{$_5sZ-mGqRW_9^P3|o(nM(Nax
zWlcWOkrvArXlLcs<9`^myhEe{vi_H|tf$m#9Rfh<IHr4gk)e@*=a<fVLjh}Im_CLc
zFl`FR2*yGF@|90=KOq^vGB;0Ktvb^9<>G&_uCr?7ul(cCv92-|23%n+t^=gljH^`b
zkRE^Z>}RVYGnuLHqR-8`^JX(&Dbr`?=(f<VhtO4~C^c{@-JsnLmdlw{n_3nuZqsd$
z;sufMdJO3W!`(nXf7v`x*1+9r{?F9sUKAw=MHI!~j~ntoeS@&!`f0Gz(lkN!Rye|i
zU!R!JCOC(&H@x+0@efU7t6R&G2IO1eVQ|dnWEHxd+x$gAMJ}^p951cu4UF}3@8Gf|
z_VsXPzf4m@o)A$|^X?Hffl}i~F2U4Cjq#SP6WziKK{mXccE^*KE`Q3*xw7AXnS61I
z-jC&}RS`R+n~JN@Lb9`ap}o{n2_x^hyCuo{+`Zj>@_Fy4$^G8ts;&}L|EZ<yJYmYA
zad76IQb1>XFg>w!$u9y$Y3U$LhbmPb$2f1B6K_XHj*IjAQ+C~v4rn&KUCv7=O?-Pb
zoZ!GGo#QqxD8!xRcE&QP?A0k;x_q3jS-QMv+Td(jLJ>K^Ks_=|dH?VRR-crwCy!MT
z!ls&)ZBEU2%Qd3CG$-b)&(bh5<v7)sg&#XyScuaS<GLErP%o{BZb4;Z$$4pA`o|P^
zy)WK^<~OA~t4sUv0FY&hBgQS>d`YHVyH-q(C1!Wi10+!ffS+h&;!%mB^o!u;w$G6e
z*cEdmC>`?iKs8@?Q=~kNq++mtk7Uz(pJ@_q;2QV|m;>yGf!=zZU2X~h2Wl>Zg@|WP
zI}L*fiSchP1F$HG`M5s7N2yRiNl5W8o~?L5!1VO(%^Gg^fZPQgVrJBgPg?$E#>SP}
znjT@bryBP*_Cpo{FR;dM(hO`Ot}l4`7%79lVO;_x*FOjd#XWs=67Kk$Nip~OBo`$%
zo$^cYR?eT6cw{$cD<x)cIK>GrV&2~KiAZ;q4p_a42x~HIbc5Je(xN9jeV9Ap&Qa`j
z8|4`%J9K_?0ZCFKLn<=$x(GQpKoo1q@Cbe8Sd%Pq{NowHiVLhUvr6QT38sV<(?AP4
zITorA>m%ctJ>UxShx?~(l_gJ9TG#aYwEsLFHscXTJ<MS<AoN+f_+UO(yiRhl5JRHK
zHpI~WsgK5%6BQ*3+f5X+wycq09Pch&SuTwW#TZq+L-M#Ytq}>}K>mWh9l|>LH${1Y
ztpBaAI<f!i>-H<A-$sRY03rvmxYTaR-Ap7$yPZL}qsl_GFp}p;H`Byzb%i+TT<EaH
zk(_y7MI|pUBmKuNr7r-UH`>kNh-Wj4<HB;P5V6&;zYJUPp_1tnKX`H3?`z2b0Ur4I
zwVJYd%+&ey{$dK8YFXam@8WCGt?SJ~dGX0bM9*n|bLeI~np>S8aBKIkbLiyI$9A_s
zemCODP+V`h{ss8eXz_HTLU1y^%Q0PZWPH(AkVh>QQ^>-Pc*OI(*1DA=UmLkpYS`}P
z8_~0}+wY0CyLMaj{Sebv$<7ynri`+fmlg)E1g1hPO->3_f|C*ER?Z5rRzk84OGuEC
z5JSTyzmqPLI!F{idsQ*j$fDjSR?8L^7p4e`2$X@sgiPM3q>hUX4#m$_!Yu>so%KVe
z6&9!`rS)ZS(0S9|X%?eWlT{<}hP%dmOXw2~nJT?e8YcEAQ?`IZMr0|vnR$`&u#960
z2_3Q^MkZAakm;aGc=;9s?@PB7R*KKtkX&L@@^gAw$M2lXMp>{#r5ZtdwamIlHlcE6
zW7z$U{B_@Ux$+)yn(2JLFi$!sU{@%pecx4i&t~6p@(I0b^XT+1u^6fOFNhq#@n3~P
zC>{5h&J)&{%*gsF^yGXHqbg`r=j5RqfT&KXbI|D9ULes)pB7W7cwZr{ySqB)e3$;Q
z&HBRx(9y1moqwIP+3jc{N6&0!3LozrcJ!>|j7qF~vF?J;KrngJ*^_MoxXA}R`8YN)
zA<E2l^fj40y8rt8gMwN)Nth3`Pn`mA@49w%W_da5uKSLs$i^~%FDtz+w8OWLpSfB1
zMQsc%4zWM=Tx~t3q+R|!|4J*Y<NxPksKO0uudb7+s_}Cu`N^<@f+#16A#zum-{gGt
zJCMw-rN%Ecrf;7l%Ne&g7)uCN396BpoCpSzn`AHmj#!xbKnOGr3@!i&Mtl-71D}t=
zG;(o3+vWAKuBu?v;ZG$07c2uT1+%DF4CV|fa0J8@WfoQ56bvn189}9=Kt_@-O-*C`
zKwUw9S78#079LI&9xtEXDGw}6qKw6Fy*jIfj;Ksgi~0cWfRdOsZdH(RU?OA>G-*$#
z*rB@Uq#hwujLjDiBAch&3RN!L*Cuoj!AAp%8J?oSCQ1>{sNrJyx$P)!T}Aho_*87K
zQ0$E717fj<yk#;f)mwM;I=X6V3Xx94TXvlDYP2?ayK=K>Gfn&&`<otl|3BRRefzhr
z{#WKI$=ml6BXr)=`CPEc$H}e1if7D8jFG%k|M8;SF_nTR7D0M_hG#o7f{yz5$hox8
zZW&(6fO(+fq5$+6Rv~e<Q&0yJN}5P32XfF}X~kG4<jk}seu*l;G`9OjuAlzBnu7HH
ztDmul$cE%TWcCPi2+V1bteZkDT|z?Qq5^s7V9zqq+`XyRi&cbuN5BiJBg3z58VS?v
z_#T9{gOI48ZK1oOqbYTKQZb5i6YImR^yicppE(0I>CGaaNka7*j7N{IJW*W5P^#BI
zJCvrNH2-~tT2;pTMK3UQkgZtp@dctIV+Z|jMg7l|IyLeM5ia%U9Z?SY5fK>y$$hbf
z`vcJ#6hhxFHvB&@4SfCs6U+YtlT9!HrSn*0!f{+>L9aHI7z4Yv-!G3bWXqUkO-NoO
z3i{hup49t<WHfU$bJ#mE>9P3dobX+3M$3s|oQ!7HqcOKgY@r%CZ$R9}rF!e@0D|-w
z9V;gX3AsVbb%{6rxXu0T*F^<Abbu(iOQkRu@Y2=SYI${6tx_1g7=qY}qjPl?6De2Z
z`Q^yloo+^ky>C~mIe(sU=wmN<Ojss@bi`~Hbs5Z}pG&($f}BkrK2Kd8MQv|;n_J-l
z{M#sHrop1*^vRYhlIxx;mJ1n=cfIm;p=QRX&g~xkCwhXHs>-g7x5N)Y%qb#wD#t*$
z)WCn6#`mv(#DML8BY`<>FNN-iKYY7wr@?FY$`mTha~)8eGBN%Ywn}u67nXJKCK))`
zq_@6s8FPPRMNf1P)OdXp@QH4hmCtQ)hyZ>oJOV+75)Obj_a>LpdZ_ZVSPp8YVtV0w
z>*|Iel@>z@ew7hT+~0czui8}3-jWmpc79*y{^4D3<d>o&ZzK&eXSaqlMHR7R<-GKA
zTQgNy>!d*_y+e^kN!svCH9}g&DT%-wU>rSv8gWT)$P&<0Rn-&LV3tGFJKm?LNxYwT
zQ+T=&P*8~GcnjQlxO2kRbK4*r->Vyw5m&a&s@bHJx=K96Y}`xcZw#_OE=Jk{isxc|
zux$3cdhlf1%J#zvFcaUS*<tH;97u)%00XmX`ix_ukYQ}ZVDVC7&I4M1IAwKylIo}h
zr)~GB{*bUksnG=a(S|-rw0?BK+9Y%;Jd;~Te?p72M{MX?tciRkn__N>qmj_EErRxQ
z7u^R}8%LTxy5l$3L`(3GP^J(~AQytG(z2c+%|yCCdf5U)n3YMLR&o!xL9~Z2-7w1*
zHd@v3S-Ll;zf-1!5iS<#LN}-?yi2OK=kt>TjK#B};$FvA=}`iXJ#9!Y_TcHsaRx<w
zGdH{N0C4vPnQSX|nLZ9*)A#Yqj8C8wLOJbJS-iYvAM1tYRGJtMu@XHJxZ#toUyyp%
z{`m8gd5R|hk?Z`KQ`g`9^1a$Z(`NVWu!kKE`;3TQqnCY_`A5`KM}Ygn^x(A35_j4K
zUOV?#D3>J!v_nDV=KR`fl9!w^yBo|qk$_Um`39LPJ!>7A)3&VwLZ-Vm>!|f&R{r7f
zH#8RysLcOO*p^CAB-qveZs?kHbQ00I>;1M3@>@cP*Ooq=j00g9#}O=y(m>7A2x^FY
z%AtliE@PV038rcU4P<CjE7}g+z`@g0P7~6{K3I|y7_7ke<#?u&21HpZZ<XjZ`Pk6s
z_N~%tPX_qWK|3MZq<kR8h5)!2iCeqn>1Zdhz&aV|sQ!6$$6>Zd*Bq;8M}0sv$0-GC
z9!;mQM4^Ghgb)}mUqjXjojK-PNKe(HoZ}R}Km`0zQV-W;7RA=@zaZQlX8IyX*Xf*~
z^-xFPZ$@%)X!TZD2%{&OJs8qId-o@}DJyz~;V6?rR!$fZUZ_ENrt*m~VYF$5SO{$p
zfaL*iLK25o7->J$D$Cdv*aHSY;V}=P;4#BR@QP1Dtceqz)P(*xs)4{t+DEWSU802u
zEsiBJ5=c0d6qn@Bm?vq;mLMXZpr<wC9o)|9D_iutI9Sf5s3|~BMq#MkOi)|K(VHXG
z0kUvqA)*b3oGSwI!A1)R=uM>M(j@vNfN%?cdg(F!4GA7fqs%yFI--L9T9yp4QjrPc
z$f3jM!KR2>P%m(=C<m0mgUSR7cZOy7Ka#^TA>2ot0BXv6c`*E$D>$>F{4I(=-*qOS
zv2J2a$ZIc0JphtBLJfg+LH-v)1}O1Aw8`6OY&3}*0u*NOF#=E#15YpzaFKfufKV{V
z2R|rzq#T42z&3Y4i~^K<(alGE`Fj5J@Ic5zN{w@S!S|M%mSN||n$yCV=*9)&CzChI
z`Guls!EKRoNh@@bxBgxWj-jB|v^;|bXURy}IpBo*3PFn|o<2OF>x+ZP;Y;HS^1ib>
z(RG+e0Z1f()`EGVu;EZVU<N9k0n1}Lqzy&N(9}xH#R#vhpw{Bl%cqp^d*>7ScTQot
zW(rVpxF8E48}biKMp;xiWiSY&z^q_ri>RzfDk=Zagbkcn?M&l+(PMaaQONhq#L2<m
zAx!97-Z{@K4WR)sY>6q=4jJSLdHl1|NZ<~hG7t<4*2)aC!fs`7BzdA~fkBI)U`EUq
zjkB5&96kIPC6+R3;=(ej^mRF6<Zm234;g(CK_n|tLVc^}r}p1(*;?Erx%FOsnC%}f
zj?CZdQtfd*V3>`Uab4TL0<%HrL!SVa&|g%<Yt4n{dD)?`C3DT^B))V9Vs88SnZoUJ
z=t6~S)j=6yUaSZJSm@gTU`6i*NvF!Ac|X;W5P<-1++;-fNm_q~=%#Q>^A_XZoEL?b
zo-@N=G72EgUcAE_yqjtHcD06bA{IJy_SBN{S=H-H9y(Lk676i(1skaAII3mWM;{@q
z=v3$T4P){#Z0E!>PcRIUi~rcjcwP(Zz51_Ym;TNCBkt(0zSFJwz-;|@_ig!Hj`mNa
zaplIj{!q0?w}x)ZE?)boY3>w@>J+G4b^*{_NR7zF{!_9CZ`M!0cQ;;NFZ<=Hr_9Sk
zh}Mqpo85=fL09L$vA7VoUv;m}MDq!bP%l+tq+O)ubbO~l5YXQXa1J^uM2Xv;SFvry
z0~W9W8En63BEITrfkpVJccte?v1y{1XrU1Uq|$Y^#Y@tG>Xj9Mq0jkxbRonC47h5Q
zjlM^|A4b_xA{){~l|O-3To&AY-17Q&DhOKGWEE?sZsbVi8;5W7`fSQJF*D&C8Lq2K
zkp&$iCPMCxIi8K5*w7)R?x-Y=0C#Eo!?~3~6z!HWiA8l)AoExOh)EK8rXZgAq7|)I
z?05orZKbPxfdW3-(dv;`i=gJwps{=H#KY(l`T(CQCh_}RN(E`>*o~H1Hi7#OJ@-sP
ze^*HEKa4&`b@xTFFSdUedEgVbuqrPec(i<0$r}mc7t|=^D=aD4TY|}xTP1A>0ctz(
zHx>;=;}213z(|-f8H@9|MKudJ6pLO`bhKJrfVQuu?q%jVhB1r3lkPYO3x&TeRRoQz
zNvvUsc;iUE1sllICx=%k^#dgoNjuCpYAE~XsNY4>As*Rh{7QMkIs<%*t%-%zg8C25
zh$gDDc0|kO5G!>dZc;-IhreATYi|YZCtVBBQ{*JeK${DTS~Q-H6$$}5uNs+xvxFp2
zkz2BaM$k^z?u(oQ^3bL>#I8!LkH6CeFhO@%!*QP=^Qp}U0Bb%RXNCp=rDodm(43VP
z%{6G_(^~oD_HrkU!@ja1Y>A7X!oJyD@vd1@SgKkDl#Aly;pAFA8s)i-e+AFjW_Ml-
z&mvQ@fGb^`<h$C^uHuS4v30@4`$>l|hgB%*rE<;@c=pONilS}h)>~NdwDD8%w3B(!
zYW2nh%2TUq<UyB+R?7*+6$!08P+l2Ln2g7sQ!M$>E~u9@mH58dCU&lO+#VsKH)m#A
z4y{SlEyDD?22ovIlNz*<zv&xdoMxp|f64EL0wX1+z{d=$bj81nJFnd^xIt>1QmA7N
zB!Vuql9|;*_QTgIxWyhb5vF60FRfdj%2;Tvlw<Q}b<Y{aCpNmIz_>|;=eijClTsv?
zuH76-+`4qWsG<3YD<%;$>*6-Cr5D93Xo@G`bcaNy+J2{hpQ^Z$Vp1=eUH#K-I1eeg
z0Xv+m79^dHIT~VdE4VHMy;O+q3QTa%4bNv&OQ2ak8NlqV_%}mcjAxu0N+DDy+>=wQ
z6Z;Je{@r&-kphZQThfUj!Ty45LOJ>zjjUuKjKILf>*wsDfJpngduZq96(HL-;=wuF
z`M``pkJi-!YKcxXUw|E>dCQ(P!G0A;gRa5d$4*z`LfC(egWfHKp^jbrfKPTNWnDOx
zYAvcE4ltAAsAudm-n5JVxi>D(?5aG#31(Fn9a}zl<1^(_y^^CL?(Sknj4!yr9sG80
z96)<WXUcQ2FToLa`cZrKR^sAo(Ass%fLyZoW){YFHWJgo9|1SGJ5#Wto+1gXkXP5%
z(Zj27lytQ)l=bCOKg~73u)q%O^!UM_iTc=tYwXEb>@}t;8H;%*Q9Xeof7oiW3-?zn
zpKV!i`aGMVx@~`VeMib<FTQSiRT92mTY_1WTpk(pX&v7^`-oE=^f1hS^>*BZV86>v
z_>*$3qOFnN|Hb}LZ(Gb-FSQL=vb2utm(7`?6-CpKR@Aoi<FS?Vsab(Ct5#^C%i(p6
zbzPX$WUP3da9u0pR|t<SaYPO7&mbj_lWksWvF%5V0+TrObSG@narz#@cVn|n$TIb<
zC8Fjbfn2z!1^r}+#bTOi*{X_Mu0$lPATEaox<Fydg=1QKZpEoEE7e}0XrHrf+aK&C
z_%?=T@1NN_kcTV_IjQS&$s)o7MSeAzn@{tP6|2ngnjN1$i~b+)M?L+`!xyRE9oOck
zKbE+Mrso_#IuxmWhuI`Xo?wgZgO27UQ&V-`&X%xxONmPrDN42fj<DH1>*dtoPaWrG
zvLB(1%Z(XZ_O4}@B_tsN#gdCu`BGw5HF+RSPd{Rd69FkPd75zA^oNA>cClJ(hYc=U
zJ#!qn#qxNvus>uo`BIwQ=?@j?i-GiZn3^)nS~AI6V^CUSHku-^vcf6FW)a1$(<-%Q
zu+;P<aTJ0kurKr^@qVE=MBy?lkg`yw9Lja!5wdD?&(9MSv<lHckm2-<HeZ8H1!Vtu
ziH~$yv{v!}S+p1O0Bkb8PM-MERNtKH4YV96j`ZUCVTZNDOzA-@%iqdN4YrO4l1Art
zW(u#I7@JuWFE2_zn4tHEU!gtsUWgU$SLodr#NIGbKX2@lnz$X$gkxi{JFq&k@Wh0t
z+5sbpdMBKwoFtS$53ckQB7eDDh<X*ld`$5z0yBZo@{1yp!m09KC8U4rq#{8+M*xD4
zD--uE&t$Ab)ij<Ir{-H%615wqKUo@N;K6dtqs-XNOJ|fAP276s-04+!P`D!^@rT4?
z_C=!Cv_e$1D)Y1Zt=t$j7~{>7x*8Ppsm1hZf(g~*-Ac8A;>c<TuPbm2a+ABCJ?Fuw
z`@bwEMll}3nF|-x^$G43Pp*zIUOBV>U}}9Kn$xX~=vwDJJ8@xiD)cS|#t}gwjMHH}
zjAAHEWYphq+l;L=)c0*=SAf|J(-a-LMg<b8z=-o?d@h;^I;<k2;oMC0*0GySp^GVC
zh)rPxPb*IWExZKg$3azIl)LY))Y3m^Y9^$=wi^QM%&-moPqUuN-Hf^asfj;l^PD;6
z+@_`V+?s#(ygryUY|#_ie`m!D$O95z=6#uONfP~>HtC<%&%K$j>@&AlfSm8h7vQaW
z2As#wb(yQxf`2mpS>pT_yI*~aom_nT*w4M#ekKQ|KG410T)#h~Bib(KFg{IomVTpW
zf-U4Xq3wcd0FOVepV8YjG$s!VTU%t)F`6acJ+s!vFWb_;>TUFW*9>eKndgbHi8A#%
zqC`H|&VH4OpK(#MTAz#>cek!|QGsaFgAQf9Zkzvhe%qeo4WRoJ$8EAMNy=_d-~T<!
z4&4S+79~2UbIvzcx$_{!&DDHhYxEtH3@lS&jm00?Gl|RAlJ6$QmU<#^gDER*=c3&_
zR92a4O2=hE9B3xVs~mU|nut!r&6U7;Xbh8Fnt_C8Zt*FJ%GOCI^eW*ebdzWyU_*mK
zbb>mKTXJC!p3csgeT0@?=G)2s&4?%Li8K%7$Y8{=S`e1j9c&D$CY>o+H2hKAyJkfi
z*`?H-;uV8nW8RoSh8w2HbUA?+YLUiGbEH3tt7mA9Da3Y?kdQ9`=Zg{BkW`n$IPB6;
z+D@}z&hUmOz#2wKsqYoIS6i<=u8iy#um&C_+u}E)upG|kA^JnjB5r(U5Ig!IWsM!k
z;k+REj>4o7?=|<q<z|m}UoVZ!h9xb35&I%J&E-x+$`6l6ZhwGjNE(&zwlImhtCVlj
zYs?#=pQ1ma8&ge(>s1HH5bAZb&F{<lB|cd-LmljYfZktxL>No}2ZjfdqzqVDfTMlE
z)rE%~wMfY`#_Tj)BGn(w!%iDs<(30R1ycNQ?hs1XPvhPMjhkgHz`Yfl>_sGfI2}Vz
zVDK6PQSL?kD|g5W&H0c;#~(CFI`Sva2GSJ$?UhehW13w!P_inh>bUH-!2_2(_;0*F
zqYJXNlI{)(sqSf*gO{cV*9F9LFu}-g9(}%`f1aC$6$}LHok=X0oz%yp3V4A4+rZse
zd43kxU}8{>8uH&zIrOnW_#h5H7D-r<#evF2v4G%#;$^^jT{VffM|tb9v<1)duj0F|
z%`UPiE|075+M@RspZ4iIN!og_)iV*;zlN<~_5O~NZ}BAl=`$x!5>%E?<7C8M3zz3^
z3WdFXqDT4+0b<LMi*OGpd<jzovXSa}lVypN_DvR$4-3u)9t4DWxHL@)`wpozDov2&
zyC+nG|K@hti6*^|C;HJ}_^KPF;tU>AjuDw9k5o1jxVskdmu$xqPZS$<R9|9lQw%Ja
zn7kA~j=361kN>Ai>;P>CPG)j+SeqI4jw23PYC$sK=)evJjd>?7YbpZ+=z!4Fdqg^{
zx_g8K#(j0`g0fDfwf`x;&?{TU2qlG{9k!;7yxoX_;q$Rcrsu<op;W7vpI11#3xJme
z6#7ZooG4_KtmZTQfs!aBsM|z6@(5!TwtI+aL_z@Z8to1Ll>?b)>n8=7Ljp|idTrbo
zR=<8#^(uuD@a<S(uX|htMlN4}J-<UUailVFj30T$Hr->o`rdoC*b4}B^KB0$oqn3P
zbbt9=&w91nUMU*r)nuMe9=>}|FOR5kyiY&(9-f^Qyh??`my#*Z_^n<1T+XC3MZAr`
zW$0Gi?w#^^V<hd$6?&AEBf9)4HV!TSEN1*FXU*#iUhX$&9W4F<JPS3y{}MgBKZ$+5
z=CC2B2pf%GFp)8zsufJdk<_4`*W<N1nm^Y3<gAoTy=KB2DxGG;x^|C(0d`puPbfx?
zUsk`y!2jA)l-;@Rc)15C#?;3+9x9(VOo|thlA7Sbx^j58b+WM>2l*-hCbTNA8;DB2
zTXpT0YkM2ZWHYpZOvF7Lgzd!#SC>zz<A`3Ia-QCD!H!`aUawb^)AmFi9<N^Sj*c`h
zxH~te#*UvFJz_0@UN96RW5poY76Lhln>a&bZ-8(v5+x4?VD_ezRXUY+|5A!%vz*%M
z8)vGLy8Nt0EaH@Ga1)e<{mormwly5f-M#VSW^XYQ+x`vM>ieZ3G>A+Zv15R#Y|CCy
zhDQ6-%1y$3$yn%C_%Ysz(sU?d-vC2pXi<Zd;vtT7fFO=V=A#-QjsMPd+X74CwK<Pb
z;N|WJ9q;C`-2Rz}9BIR4`0+)TY)19P6r0=W@%7f5n97t3?+1=Tir)gX&_7p?gwiPp
z0F&HK^XdbxYwp4IyE!O1dWN?Q`^x=*Q!S6{7d!&h+00~QtQMdz88`24-Nx<UEJxS<
zGc(-2?dSXS@)|^hRr&p3ETc$w2a;NIFUW=0j3Rb&`SgCQXuw#FMErO0IL;zjV7Ni1
zlP*fc7fC=eE8->!0eu(uFTKiy|AjLfSNrS^{c8d+hG@r;<$IAI_+x&zx8-hDw3+&F
z^9^Z>L*k7bx*azxsKcB1>vb`<TflS8{b~C<P$+9!D?;d^ixLIC)r|qIeXAh);3ca5
z3@04Crbk4ZMvfn=ovhA7H%Od*%3z7;X7AcRMtRRYdN5);IHFCJUcsQ!wQdE$m|4v|
zY_J4~@_pEzyWQ~)-M4feuSEaaf;8AMezK-kB?M+41i%{pA-wVwbo14{PWqNI&!uNk
zUBfCkll~Mk<${Xh_wo6-o*S0lUe0o>Q9cn}j*xj##PU{u^?OXj!0dZj*S>Up+`Mi5
zL+hkE4e8(uIM*Y^{eK<6{~3qZfFePrCSM`piLd}zjaazN%#69s&DfZ^xd3bcfGImW
zD<><9sSyW@nE>Da?~l~mD<rA^9)z$jS}CcU{o`xj3kK?@I18c9_dzOeP++pipsS)n
zh_ccu>!M<6K!~YeU@Dm^$IG)Z=+v?`1UH5}J;)b6)@PKIV0T(qj0$IR@E*T^_}-^~
zf8-o*cpq~=f5ez+Ep4_pQ_w8wZv?>)){`>G7QJVg0pl0;gsX=8Js^GzRHt8FH|k!~
z9=GRvEhc&->854YNnfl*w{25u(YxuzQ~F9d4OH9Dk%t}N+V*4J8D2z^;PfaV^gBce
zLF+{gP+x?8GUGuTA|MUCJD?y9z2AaH4U%wSgzh>-^`qj%k~v~f?pWdnnK<Id48wAv
zQW+Jj01+|01dyF5Wz(qkF|s10)9Bq~Bd>sApW_3++TD-lrS1j<e$<TilaCKx(aw^G
zm=>>W{>|VMsh7FPA?keJDy7@;CL3lg`>43`Oyaj8FJtK+e?MY>Px&mWoOk>koK-V>
z!2DEWk`rFe1y5wrM8Hda;8df}o@p8stebh{3-lxQ3OjOkU@Y0?gJnB9x8~8XGo6a-
zIfeLMgCA_;A!22g1#405T%6g#(bFR~GVm?GNB5b+f_>lm{thjru+E8wcZ?UqkDlM)
z!`7kLo0#7E3Y*gWF1M1MTO6$Vg<eV~n^-CpF?iZhER7@`&ZVKk=9y8XmUVuZk#<}x
z2h93$n!zVqubP$V&ZZ@DhwseD*k7C$I_?Nr-Iv^ox4ff0F$|_lHMRWbjp6)Oo-e%g
z7IGu>-4UFyhqh`6&(DHBqx1p?%NU(-*qrUtkZ1BC=<hgmT|A#Z_)Oz)sb*}Z1M5|<
zdo9|J8w`P1og0L%FpFCXA6&s64M)11e&F&gnEpV^jorrY)H?X~I_R1mbsy|V2i~sG
z>;2FdRKKWPLuS9<x%=2JaBh1x9)z+th#kSpH#}5U83s}^>GJ)VKRM+Iqfk%sP7eq)
zCD6i^SCFB14cRu^6Ia=8NU8?=HHWRKGu(x_ow=TdEu(q^EWNh)P$g$Ny0z;N*MYYX
zZaa({(U^OFI%UTIj0Q&pr2btlw0#GNp?zw(o>?x;;XN+=Sab){jFuj9xq(qG$YVpa
zj9-cp_l$r~dptj$j9;9WcG~Vx8GipmvOKuOj;>t4r)9>{!-3Dl0KKk1W-EsLK0}`_
z+ow66EkkvWk8bpO9SG;H7ySTmQZu;S5&Ejn$<goh(fg&vbbDLY_j_ddU6W?&kDK7%
z&7F6udxKOL*IX{(_YT$flV!a@*0-0d0D1Msx~I^_1TW8Wc&2)Rb8_qIDG#UDJxzAy
z;2+wV*H+H$hpxdtG4n<08<EO9%VF=6f;>e1=pHH?2A$g<f@<*}t#D?k9QR0su$-)L
L6cpl$5^(<q?iW82

delta 15050
zcmajFV{o8N)GZp@wr$(i#I|kwiOq>^O)#<TOl&(7n-ib+RGq5(ow~Q`{@c~ne|q&^
zyVqX3=a2cfkNJbbK*PYoz{4QIAj6=-pu=FoV8h_T;KLA_5hXW4*)u?!p$PyEE?yxa
zI5&4!3lj%8?~P@BheZ62<gdWKVqsm-2(s9lNMo0EdoETcueP;qkPh}ZV*&C_K0hh&
z_+zg3n;W0CMhQ;6pN9_XImqB1O`SSQnAI_oo-T1$?pCH&%@@P&WdB_9mK##m)+_n#
z_^ceP${q~)^uwcwS4ZNcb}fL=f}mB0(Zf8}0WU5Osm8N8^W5Z_;Lx$08F!Md8CafT
zY%Bhh+gxy^=@S8x+YS%{<71FPsV!<_F#ZgFSSl|=a00{o{+xc~L^;KxhagjqYtkT?
zYtWHmbYc*kPj8tc_8p}lI&Y*T^h_w3Eb&vY!qb{AkQGyBCtAKh&~=~)wI)}oYN&(>
zPXHS<{t?2u6kWHGu=$u&85@x#+8t$?A4VRAC{L;$N!AN>j;wzaLdKis;1hvY6b|Z5
z21>aQ*&UZ5Up|biN*-6a**z=C^ps6P1RM&KSt2fe9zwFkj6fWTU<ZK*58Ny$b}$(<
z-vS;*MQ{{EPK0=r!WanU#0gQFYeyAGDUt?1l;JB8KV^pX8BqMmSh__CZGgKbcaJNG
z?uXIe??!7vfuKNPfzT1`V7`F(_>=N>&|_V!3yS=wVAer60;{n=5~rwfDC)>2M@1O?
zPZmolyDdD|l_Q6kZZN`38BCetaCip{IgaGnSFx5Q^@FrAjRU|hIeT6igdz2hDKZW=
zO*CJudWM<N<sw9sJsKvKi5`_oWHcFt0BN>%lnPwMQI%ACmaKY#*=&|NvGun<xhai=
z+BU3uk=_Ahb5^m!ZIF?2PO~@NEYw=2bD;y6>%KEzC)!7NFLV!F<S1-F9G)vyV+iW<
zRKD4KQxSC$b|f$`fcdWzVG3-Ljp&nvMEM=7XRY`P4gNO$4%Jmh+%|+bbE;Ya4gpu|
z@pVDIe1)wZqE@sB7V^h?Q4s{;>3fz|mX?LNiO$cph_+zK2e{UuIk08;JC|liP15X7
z)Q%*t`cwHRxCHPUsxf0$I?3;WEHoGI5pA_fq(jDVIAUNljky7?L_|I~N3_Dd0EJ_S
zyb83=37%8LRS!kthoe7}t}FSQOb<4%siir28%5EuuKqk#tUawusZSar1=@4&8HeOf
zTryfwxa~B(Zl!13T9y_8qr9F4NUCyOp+OO%6qH3#g+zkL-Ntw?MH1aDktofWhG|&K
zBf<=1>puX-fiWpYd%{}*8B9o=UmC-b*}v{IF<BVvll6J*KMsm8ywST9yrD~d$$Une
z%`O%2Jd1t8S|ltLuvAK(D+&0WJ&jdEyoS@5hSZqK>ro;9Ne{pIsrUQ{;%e4R<HBrX
zo1v?eeJW@%e``-GG$kV&zZY{FaOdocTOwXu@C7`#J@kF8R(~68**iadAPo?yoxT_a
zaDIDw%$7T$hOe`IW9|R$GxlB=dffK)co;H$F#X!*-kkyTKLSFT>UJ3dcfb9&zXgET
zWv%a!y1<WD6V~tT&re(S@BOpo2rs~Jr!NQS(cNWQVP327;r(9xc>Q=`MsR$be7(8d
z0FWPq>jL$s`+S}&R;!nxoS0Lyf?r<xKggsctDkmg6%A$S6OH#nX--`y+mgdt*Njxy
z3&{QyPR@S3F>4%6Z(c-Bn;KN1zBT4P#A`(aD>)-)z@epL3!`pIJL}e6r`e1l52%sq
z9n=)zfQPvJ8Jl>OGvmgMkHe9okHw|422_*>kK!DLcq}!_NwsUx%jI;#Sul4iv@kE^
zHf5L!4cnnbQrlD0loTjaVm6E-x;VCaw9?%OB`lx!#g*s(PCB<CdRbvEKpoA=+Dz5O
z5wLbmNN;hHJI-sXRv|>-xKP9B__&Vtn%J}a$t6BB%Pi|zhI_p@iW48wmgaGh1@bW#
zrJa8M`ALmr%7$Rd<bx^a$N+ah_Hrnq#8B7FicpP&ne<JXqtaS9C!{db3TwiI(~him
zRZ4&cH7GJ8%zH=`#tSWOxdYL|4v?W7?WeFi3cy~&&lU}fra^jXQYp=}-jP!qmT9NE
zD>u`!B-tp=wBM0iF?>Y8m)5X-0MQ~8KZuzJI`io3LDcl!$niDx_0i)n0o?0peG^vc
z(?+79Ad*!oJbY>`AA(<7rcz5&g{Y0~TrITpHBD4jxp<?Q2#610u@F&kB3%z^V+#Cn
zS=#W`jh%^e%&TFUB|SNOQEOb*y7ZL$LxcJ*RTiv*?-*28TVX%wSy-;~fzm?N;~hLp
z7Q6B`J3kgJ|9U$JySj5k%jh^GeR_sk=AoWDx(U#dnE?2b_T=#8-WXTX^&A9+pK5iN
za%*g0KYL<K-bkIO7(~VP+Wn>8Ca-X1HOtN%y0d;$kj(!bMX}G-qXwgv-!T%~uH)ns
zExwq<g6wdm2W=X+@NSE+1R4Sv^rCcJ3N-Z9eeN*^THQGB^}X3Y7+AVf2}#qK$y$i#
z+XwVV5h;p-Pr#(~{==nq<_=v_&YD$^gU?Xrd9))LW-#mBL5Pg?fN5x*GnX8!W4*3Y
zoJmHZJ!z|VpNOEF{+V<+qt<H}hr6SUdxDg`MBfwW$Yy#UkfTxpaJE=XShOY5m9T;a
z1f>})uZ~_r>>eOPqg5A+aF_oLfbv}apB3K5OZh`?dv<ZFij4NG78d?{^mOYu_Pz|`
z`NQIZTqkxr6ITW!eH5W#_pGy1=NDD8>+2VlzFVns;%uu&**kR5g^e)LSWq`Z8Fc#T
zwqsm_Adi0l+8Y?I-!<FBQ5^n5oHny_Ag1LkWJJFI_fp$vbhMPDRxgu@%{d$bgVBGN
zrftQM`S%|#+@vb8FUjc01mh!^V8B1PhKqZxpsKU8#lHI`qZAbG`#raXNJnX*F?}}Q
zy~cQ=$!W1Opi8f2x5r4|VI_8C=8yhh^Qa9KxrqgECl%py2X3QTfblTf1Ze-({7w8D
z3jn-<o^GS9>muU__>W7NRk%?vq$+!zcD~NsIP1I-(69ClVY?+E(tn`>`rFK0!nG?m
z=`T*tu$U__D;ojUcUwVleI(7f{kOIq9XgCRFMpue?Fi`&)%%-Ix|ydsd<x96Ghg4A
zr}+T|6HFi$q^@H!!aiX{ApIfwaEHxuf8yZ$OZ+^Lr~&F6a|J@@I$JMP1!nWdwm(<c
z{?BmoKtDzX>erC+mbGq!8f+ymE#V%?p`oWC(;js7e|ND3qOO_@PW!gGBO(JhFxSiw
zM|ao0Jsq9FV5_U#Ib%I7W?yi8Wc}K8aXP?)*puJYtIzF&O?Vf0!WmJsncN*18w?hW
z#MJK%MMv-D!Q}EQof%`yNgst__t_pW)@7-OafRh6iqi(9(2s2UKtw5Tug@romIN2=
zY`J?F7nu$FOO_6E%_^O9e^YpUq3#_${2{o>?(UOv>KY^){7FlH8G_I=UZd?gM>^oy
zxx*f@xLPH<FWblw#~`_-;v@QU8u}S{{o?)3@7cB|BKr0a>htsM)9E#=y{Y3)wCy;*
z*)<gI&AUOdVAx?SCKwE)ZNJlAelA#QPK%v-Xj^q6;$3&r)Jo)b(yD%Whnb@EFfPNU
zdb8$>ohy`os??YtON<)uORPNCwFNTvd^_49>U4ZxD9s*i<0oF8H85dA?<1a?qrf|6
zolK|3z4j<}^uu14b1ME`6>m(!!UUFGE2Y7)hbpW8!eLbX&CwFjtK+yM)T7E>-Svv4
z^z8>}9OTib;}}?8^+D|TOXe!iRF;s+ZiGy0>~~=q-m-?!N9<JTlJ?ia7BLXjEmZLF
zovkUlX!2H}eHhS@PvurL((`8X>iAmUZeUow{5GBI_3%wo^y~yp&o}=uxDM%yIH$*S
z$tFL)&uQYi+6!J-(RHxFeNjM+a{06@C^q{sZhJ$wwZk_ddU+N9dois4zJ_2@+B&%(
z*}@=bY||RZ%VZq%MnWQSs{-Kmw`Sn<hLuX)Qt012TNn-<IYNqN9&V2K8B(>Ik~l3B
z0+zzAbItB>8-a8xJx#s{RsZ9WK%%aXPJ`RD#KPzb;hOsojGT_(XavOS-K2w~_Euh-
zf#&vt#M(qOl(Yxh2BR#V3T^XC&dJ9EN@!(jL20}~k76xb2GRIsDPWW35hhY4?r&;@
zXhQ#Awukjwiw0g%nR$p5%vqATd!NE_6WBB%-e6w1gfq^j4Z7fkGVeBK?1K~T-`+D}
zuxUt^zJIrZ0B|z1<#aV-qYhxSQPX%~E<*vasC539Qpt%%pdj%^Y`m@wkq)csA13=L
zxnUqsz}@N09?kr@3z)NJzW^(TYWhKI)4%-RLx40LYL-yu`}bWyNqoJZ=1ABqgdcbc
ze6kIUROb0UG|C4apgr1l@616hiV;mfhfC<0Ohm)nw_L5}IsoIFw?+7m@9u6rM<OGE
zcS{eqr=erto-9GXUY#x4te)KOlc(*2pkW^*0VE`v`nkh;;D@CEuG^ZW)ray->jJ;w
zWMki7e1Z9YpCIa_8#)?eec&yWcc}|?_}qtNeqI+=0>7KP5ZQ@z53X9fb}?{X>uG0M
zs#kt^M@1&+I=^>rB?rt9&U~r~)T_VPSqZeOx3y<IzOOI82oagnF-E?(3-D@i-|#+k
zFT$*q=y9I30w*s&39iKA>IMk5;g3jvH=O*M$g1f3CH<!yX;vO#<LwHIh^HDxnwx0&
zU-Ai_Y}xJ~!D}2V&ZnEn%`t2NqA15d`~6?sFMU)*#F=lKQ%$Rr+)5YWoxzByrcss%
z=M_488n7=WZK4v198NEw5=c;{x4~ki#G#-F+VyL!U;u*7R+M$<*w*DbI2bZpT#vvs
zxqvYDAXp%YOB{-2jV~VQaMt6ztBeeLemi-QG<!;5g*9|S<c+S0@2^)9@wLg@;6ZTT
z_rOBNi)ufbs@?F79dUL1YCjokH4o$gd!ZO|N0%rB7ZFFTNpP2U#)K=ugPf*!zkYX2
z``~|dApj%Fq(*)CEKq}cgNoI+N4j<Zz4F|r=madX@{TzA;r_yhxLc-yTRNj}kgY4F
zYC*&6d`_EFZh09a5m|iF$q>g;Zv72~+WEYUBevYjJ@6)iqvS)>Dq1msut6e{B#K`O
zW7cFIKykdsGk|3O3855D^bG$h&SRYt!j7~N1+XJ-M6n}p1hJo^^OTL+T-<63ld3>{
zf>||(a>a?bhjJl^3#2ALt)UGSBHj=4SceMSmGTlDTqABq?j#Ly-AXroPE$AczpaP5
zR!YJ9i~YnU3A6l(uu+)hUWu!j>e3Og1{Iw`+$?&4p}6M`d2(B+2fl(?A9=hFA0=Q7
z4n);JJAfol7b1Q-xD6j?7MSx(8PA%btGKDxF>dcnviobc(ptC$O0-T`xHXHn+E}XL
zGjEzV(dxBrrZxpzNVCtDqjlD95TsN9E4G{Wu8?7Nu)W>;V=(^Yai}o-38-6B=NwYE
z?A5dHa`a|5fwa%pE6k98gav8(%8|rAfs#+Ws*i&3`<%z;`Mhi+`@XC1r@rqBdQMM+
zIc+_!7p0rsK7yh*3=Fc-^sP;~AD&Sv$2{xSkh6kPo~$%79;x;v8&3{zm1^K^iUS7;
z3wbkiSCkiKeuzwVf3IMDZ$Eeyp#=(*=19Ad#_sNh=`8OK|1}9x3JG_fHxsuP0nhf2
z4Aw$&R)PsT12<+ik_o6s+ZO>Md~#f02!j9EAKkNe<d_rQRr$YsM5L2cCvpqLU!Nhi
zdAubp2wb7QlZeEWO{Qv%?@_24HeM_DrKdKDca~g3+P4YUUnW!b&cdb}kpA3^aEUjN
z&n8ab1jOQR-&C>@H1`)Py5(MT00NGQGiUpSQu+BCi;FJv_<m*FIV_gHrP2VJfu71k
zr%3g)GNPnJpB(5=I<x9X`^zUDG?-r^Dv0OOJ=gY@@sDen3EhDkDosKTCr?QU?tv_&
zC6DYketr=|GjmGtz+Od(I}i~F1zb6woCc&mcg75oyRW27jPJ$E0Y4ciD=e_Tk;RZ}
zYPYhka3`aPZ&a=91H*Ea^bFX22&X>2k*PaDs4@;O5%~e`|7p|&q#8KouwX>oykhoV
za{OTB!bu{dU?H(M->|i*-a&I_D}_uFXS%<MoRv>u#1;p;@Coo2vM1K`RkMF{G_A(w
z=g?zs2v}`f$&F}oK-kO@U-j!Xc34$_pKs$`DQQ~}KEJCH!fSo|dd#;XHX`o&Y5+EI
z`8|4kzMh|TUt?M<ktbIttuwW~)$ExoCJ4Ac1C1|Q#@5bHF8^_?!~2bIm{|4lT&=f`
zdVU5AcAqiQZa(mQaY-*K#rfIDUHg}=Ak^~4dzjg86UVh3KcqBza0*vhy*)b`nk+l+
ze*9w8nOx6yBUP1FMGxn#gus*lg$6Vv=&1h~;|Aa7nlkPDZg8xUG#@o##HjrXncNqZ
zEwLX;GE*cQRyM2;A|DNA9(SoMO(JyR9D1M8oD|i)2~NvyMRmwSNhfk-7;&U!IRVh8
ztP$XbaZsfGMyS-sHD!w4Qx;Lbr6)Z`k&l9@t!I+69uGikSY#9Xsr#*#bqjeTrxq@s
zQE-h&0<>exg-;h?N+zR)52=8q1{>EJ*V4pNgm9OMf>uI=7s5Th1XHh35Xqv<1Q@cY
zVI8c{KH*ZrALbMnnR8pHIE`Ixj6Z#~JmoaCxUnxFhiq(l9BqBA0^>Y!j+i|FNYNl+
z37mza`Tz0d{)?PUZQ<B?xJg(@{);k%ZV*KPGjtXXo9H~TgvMr1$Oej)`vJg6o{QJr
z1hOex$C8WgSL4DT(Z?TBOQ(fux@ZZOWWjT$zd7VpljPbF!?h5$8Y_9+{Pw}c+?|-l
z?oXZ`{5io_WxM-Kg#~%8oTh1cgN7X~xSJ$pxb@SX1o#N(wsFVVpimguIQg<oUPylc
zvCM(bl4!DLM4oNMNGZOJ&%xlf(5#aW^-MZfu;eby`Xnyf<dX+wuH%aGe-T<fUJB}d
zwW9as3cL#%ths!o9}y8I(94B-n!Pd#eX;jsMqx4UOOcjwmvRWrTE{>AngfCdJX-(1
zVBq=RFl6}OB9Z}I|C1C3DMofBA{ZmPpBN8ojTnSCm9!88!iX?ep6ktX0UW+5a5*Ye
z$E3TxzKK_!<Z<`>J6XI|nHSg^I_r+=U(BoAdPK{;O|^$=fG1)#Au->@nR1H(I}^pt
zu{LtPk-+lM?A!PsU~;!n_%(5CM#z)j6EL%S?dbFiSU=Tn>6Sj5v@phG(ofr*v^g@f
zc<IsoEm-!kyZEPK-eBp+$}@j&UW?Ug<He=ub~l!uO6!Tqze(xV61Z-Tw7(qPoB@*+
zMUHFB&;2`mnfdCq+>0r`_M6q;*(?riPCItge<#$5AWU-MYDJ=xX2NOE;n+#tkO4YT
z$Wu^tI2DkMpk`%^AcQCp)bXHtzp(8pkiR6CC~0VRcLo0CuNg$G90Xy`72;9af%oL;
zq!B2H65#VBw%t*&s7F!zR&XSy3<VTn?QhKtrj6d={B9nPVeRh3Wnz>vNI7u~N;)7h
zB9DRs29ea{RuU|7Sz**TW!eHNOgzanQWj)m5|VcXDghSm7S7UW?1?v6$M9TjBU)M<
zRww0lbUoyVEW689?7bUyr;$GCamW=6*Vh@U_lSI89IP2eH;A}E3~_jVTw(IXLCB&i
zb;g#t%@vHP?D+pqXdN!z$3hD)PWCDL!SlwIKjQa?an|$Vznk58vese4kf6(C(?it<
zZ`5i`kJ2e>_MeBP!;W<Gh5Cf@brzR&-duUL*70R7xyOAPU|xk*ExHtl#&lnxVnRSD
z`b1ss9fOCuI0(&zYP+1M=V=A|_XjuHZLI8Wc#5Bs(Bw+=TYb=^4$M15#-4&oWz^s#
zHB>@$zuqUgrB-9{y+C~s#vh+D=jWPgXUUzUYvAlwq}5sZu?2=hhuy1D%kEs*?Jobs
z+#t&`I@M=HJRsTwG?T~fVKm377FnfSoZwZ^tDcS<GdY`Qx+>God@tLhA5Ia+X`)ry
zqI+x;F{SEowziKHw<by<M8h|iG;aTnp8mf3Jdd(wAq=_b>i~`S?mlNKYLX*a1OcYB
z-DFZ<3Qjval;*}EP}t3A!KrX(Y|~O5_VT0?{VbP8x`Wd|YFM8dI?;yI!FDX=zV}ao
ztMtACSDvdSi|mp|-%!Qhvz!fzzpLjhPsWGR71*eSg_&cgmM<PA&>}oJbt^3!Lk=!E
z#9cNMLu*VJ<2g<!k+C;;XLOSCuI{|uF%DN6nDkUEvCeFcF3mZw$_*Tv(*#Di+{`IQ
z=8hC298WR<?a}o=^GuB)Eemy)_FYW4W4BBKL9&!M2@~}y-I6dg+%K=*`#6chM&fP-
zrDE{+RmusDy%JL>%Lk%&LDxNZ8J4&QFMWYHbvd5HLEeI|&yK%^4^}-zNKj61S2hdr
zVW9o}3d3DskP$vb?p-8AqF|uk{j)uTL@HMOS|_}LI|3EW8a52fR|XMv)&@+*DPf7V
zrRt7lZZmd~4+z%JFf6=&f?g?_aLNWp0>YDdEFe-^g=qI@sedA)e0ck<N{eBadLb*g
z-}a8GU6r8gG7a8Wd1a`93PAiQN<k3gFO|4trqP60T@QD`-msp*T&`)1cz_7s8a;C6
zC65A753@Chcr-1pUPa*V!L~{dfh%=Fx8c8;w5Nzvjn{;zZnzKZ6WoU3l5E(D{n#Ms
zLctBMU_tX0c$~uW2xAJLzBXO46*RJ}h8mP%4xAqZiIW)9R8Gv^jUoqE1!>?ptX!be
z^BLga;fcc$k}ZYuvO8+*_KOkhf%B0`7NA8+q*i*Q!LT;_1}+z{jxzk7|I-y5|91)1
zb1Gp$3EzFi476|g)enWAL{{p&cx=*@!J%8_G|Z#Z950IGGu~&Ed8k=UhI%%1$nHkP
zZqici<(aATZz$f^$<h<g{$|Rfo7Z7&J{KC_dEiZSHvd%1sFN0^+G+c7%K!o1XmjYM
zVAiPD^X+C4V0P>6@wh&_U2q-obraj03}936-dTQs_u$IN6O6ZSg2jQ)up9F5^m?wp
z8Y}V9?+ftiaS0V{iWG0DV1D1^=*fz0V2=$cCgDx^^SG9Cv1D_|=f^cbrJEn(u<@4`
z%<Nt1L^jNBEahvF7w&iZEsdOnsCuX=8IuUCOfW?<5G6uO1Nm3N1?rb5ZzZXm92qXE
zta;KnbrD&z(woeYe6oQ{aa^df2NWh`8Uh_09j-cty6f*^5g{}pS9dXsLMRC7O~y)y
z*YTLj$CiGFGrQnTv^-@-mGDd2Zmm;!IAlz|f<bY@(7ht5JX!&c@uWfVL-PG1(OwK9
zyn<i>^(Y9syL6d@Z*)W$t71q|$q-j!okfw?iTxY5M<FjU<r2wU68WPNml@&sys7!-
zuy5whnTt*{V)}BY8AdgwSef_cgfHXiu{y=W=AGgfV)}un$c%`8h;qPYOo<3ezzhAG
zOS(lp^A4EkoM#w=n+_Fw{Z!7pqUKuj0xR<C`#hf|*ToQAIWM(_hhmyR?+yn3CeqaR
zS*NcZRI8K2;ZzlW*G7FFZ}STJPfiEHsi?pUvt_^Dz+Z1C=hm6u@_m6H<9))d&kftS
z+|4W9{#$*0X=JAH>*T=W)dD`1RX1&G#-ecoe%H;K?-lEDUqYHvXjgq#&6(%%=5SB@
zX!{D$+IH6tT9e?*C$Srcr}37&8Xfgs?KPg;dG$v7AEN&h;^BV^kyoh7%D(BJk#p(Q
z^V7{A6>otEH>Q%*IXD{7KS7#dN8m+;B&9scuoN)i1T-M3BBX#a2t*HxFDb?WW>%iT
zh*l!tM@JKvaa%&GC8E~f7}A^yBf2euf*XWD##fxBAVS6#BWl|&ent~1>(QcM`1ca?
zddak~v6Q8y81+vh2wkvs7~Nsp)gOzl`{1|KGO;=lM=&<<tj|L+27MYL5!zl2xD2@%
zrb%xZiA89&b_kUiyCgh{8hDB0BU#u=ndaO@gfxlHsk6DazQdR$buCxXh3H}F=p~PT
zu)l(39dojnUYdUz;p-IS;cJCGr>8q@q`1)cX?ESb(Z=p55uzerWaPj7M_AVXi?GTA
zwnHokJ@54HmpDU;Q2bdUvamQSj!Re2Jgq-*u{L>TNP)gJM8QjAT)`gdv*^|XirgO}
zeI=`C=m;xWQB6k0Ql~D>3F@3U)r<LQmDHFp4zqOnOJO2q-BGiLc7DB@msf!ozmQpY
z1aR6oNtXNoCPmjgbj3kLA|7gx$4<^%HT`{Oj^441xB$t}`A$@%7fmb)Cen|CFeXs)
zA8H#KiD}K;JkVvVblhb7ah&~Kb)=_LeH(SB(4Qq_`!`Rc=JxMwUeZl;n|_^(@^PD6
zuAv7s$ZbdkR&YY*8a{wXo&DASRDl`m?}+Nqh)B;5k1k7X93O~opb*@ViB1{SpZ{-g
z8XSj6P_|!V@YOWZT*x|NEod7pCd4;rD6Zo6FUgjJScpDeIE^h%LAv>O1be)6wmI`O
zi5jcfLy96rZO)vzV$op)6Xa4pU{qoIwC=Fb+bF7;w*qfrN#AYjYQ6$%ncH64#(JjV
zlXxfw16p9lfSzl-))}G-MP#TyKS9jfemFflh7ajv6B&u!EXumeB|3XAF?g<-UNI|H
z3M#8=s4yudgeCLnG0nLMlF`!E7TRyd6sCWFDcTeh4<mb(3P4hoZ8q%-><jFX?UUJF
zUKV1h3X8{%bWAJh|4_hFppBos(lHxS7XUQEUCiMuGX8!c%KSInXZl9O1~T{^UYR3B
z`EG*C(x)cBqSlFzilcH%f2tU}IIMDcbRBm4;7vlml3elo8-GjSTUpQO@D7Riqp%IY
zNsvv2tP{biVhL97u0IuCO~4B!_TDfD%b=k`m^cc#HAMILC$(^EmOZPe5dV9(dY?gZ
zU|xWOshum-iPsg<i9*@<1ITtHr?DmHxf-Djo#{)UK~Q>aTVxJ#MO2wXHt5~AZ?PGi
z)07}<XlbP_rXi^PSoQUpINbAZ&P&<u&PYiq$#X;_ATqozmse`H&=D|HDWZvqfACy`
znDF>jldCDvnB#cF?_HJRwO|EVps?y@n6F5=sahYR^*Grru?b1d47{R{At1OgWMzc9
zstA!GMu||M%?r2~UQ8}&rrvU4Qeko3J(jEB4_0IKN921?jy?Ol+aoIbf;?I=z<0)g
z^MGg@FfM?<HI_l1Q>PAJwIu~{{(~@zz?MFoEcs0e1z%efkt{EYl_0{n^t_}3=QeW#
zLgxctyy5MxNO`-b1(5Ho&9o{!LPK7J^BwOX7V4L?Y6p+7JUPuR!3k1o?xbPC9n=J8
z(dKTxEa?;c{Xxm{SWJWYsoxZ~+Ez{-y~a%NW-<(Y+X;ylYWI7mFK)y#ofNF8=NHYB
z*A5slrQn@38L5YBv>wfJ>=Rl*;!e5nXclz?sMXh3#KYb7r~dAfyB(sw)3Z^DbMV)I
zD`aj;o?EcY4ZgSZr~X^FV_sy{^<9pce^MxvHH4zOXZvPn9Tl;fdOYE1ZzS>(N1mT~
zjODOb#7)lh9qI#<9h6R4_F_wS_xD{7C_`I5C=&WQ@PGXtY0+~?LFZoi?ClfV#frhx
zyJ1!;s|2%@9S55LgQYM8Zr23&d?W6b*35^#-UPK&yOsqR6QN;@I~l7yeqRf|oXR=M
zUf^0SK$SzJB(PUICo|yaW1uhW|H@(k)f$ozsSct-D=5t3_y;jrD(yEh4|@&dS;+b6
z6RHvA@y|9VS(9h3Sl>`CCgiJ3IX9>L#EthHU<IFN^S0#OfQ59JV}h_`d^?y!dWnHQ
z#@O(i&P`KkB{%4{FjVc!_c<)GGZrc&%!gMM;f^<<)hC2cDuLK=#^c4nRuu=+g|$F*
zq==ZZ5eSBbZlXcZhLGn@8a4x95p_;j>6MfQw4t8l7EXE7`t5f_As)kbP>N(wwN+>(
zjVdKlI!>YZaM`j4Qxfn@AOEO{BgjMARu(f(^yk`Csg#*4S2jiHOytW!mNWL!s@o|A
zSP!`e;itBmyLQe`$?TVu#NC&Q8ILBx3}rPe6`@XfD^fZulav{gPci}+p}4ij9AK$9
z2wJ#9HRKRD@XYh=ab^jNGW+n<W|7XBRH*eOP3CBie+irm_oT4}5FkH%M9rWNx+(sK
zn;5DHPucwf!RUq(s@g(Pr0B?b3;M35B4)Ya$q#c9<VAjiMB<>|f)1Vs2@sXAsZ9Qt
zh=4N=)Jx2P;C!HRU>*Rl;LN{p&_#qkhobI?MIdJBC7>1HyPYw72N5VBk?ZNHwPCUy
z8GiBV!VjFyDAS7($E%}^D$6QX@WWEW%C>}=LyEvCiWh04=?~e9jqz*iTH9LfL4sz0
zOdp{~jS>oqqE6CkLbUwN@4}gAFIj6Xbyr?$BAW)$UJ#obY8MA)#ZagO(_kgaoJ(ub
z)XUG9k~kj8nn{1FW|0yNEUUuopTqRl7o+4;B=16OMe?8Tf^%i7`SHMcak$FQQSpPa
zhk2gXut-U1h30eEGhj#x#TOjn#>tdGaQ=5hP*rEn^wNV-C^Rw2d??A4pwYN36Pim-
z-hPRPg?JZ%`!s+BDUj+X3#svVWh>ZU-K0FSLrAvFn4wX^<WwrA2BanON&tTk>__u~
zu?AP@0FNJMz{}>%)F0R){(rD|hJl^!ncoglICx8Xg277FPh$753`;9!&Y!;Mmk`<;
ztC6BTZl)oMo4#j}PXY@56$M1kPT{%ZpARA<B7*L})q8-ATUhP#TF;@G+RUf`&LSsk
z0)#rXnM(Z7lQI{lCHXq)UUnqYQlsB#xga!8zI9afr@evJ`Y3-W+-DlZPjIWK6j#Tf
zd$X*yyz=i_n`h&FZI&cDe7|)!qU&;`dDvYVh5W0xjzn6Jic^s+c~A3lo>u0{43Y2t
z5LZIGUl{^@Ipf#l-w`gpPrCu!f)1@+jO6#?U6IIDr_;V(^Zs5txdm>@q*_)`1(-sh
z1&~^?e}~S<oBaeo10O8e1$){Y(z~9HUBR?>fq%|#4+otcTO$x5=6&{GTO&2*`XEB`
z$$UmX>nZCVMFT?tTUd^K75tRGhb<xtE3^W3nkAt0WJY4%P%|x+T<*(%`vX<2QtVK9
zUYmk(Mz_{u!FWBJE>8B_eTB9V$`dYJoz^kgH$SglPLcG?Jki2V*h{;SAUPL`*{3R^
zrW*B!LnDuBq{6kUk0x_xrHAyXy5qL*N_y-;U~++IU+e=zi9_ESzCZvrDw>~H#wVkJ
zuP4A7w!&Dh;<2cn+ep)o!#Q!Cn4sgC9y5Q~cnosss<Bw97MbeP*}HT7obS`Sb}h&r
z(D(|$siY1$-uqbg%lbE)fBL#*<dD?rP&u@*fvBP#ypi{%z&g31-tX9%A@jBoHs~Hj
zB4InU4J2#ZU)fY@&Dq&{G_sUu^ErM9nBD-z$9m0~PN&qAB!qfPlgE{9IXh%jlc@>}
z?HU3EqcB6A=d?$0CPLwq9j-_@MADTyYnj6(=u~qQR+g_6Y&~%sE1!f3H*4W#$QL=1
z-E&I7b?RRN@=wrfb=u3Bn0ot;CinA3%5>A~=x0aR=~k9nIvQz=DI}&7Y@Hk<_c7qw
z%9lBd<H$EW9Mn>bLAFD1$Vzs%I=ixyic*v&P$VUNZu53>UsklSpjz+VpmlH70SglG
zj~<x#Gi>>92U!-|+_;YPb)xn$I)U}bI_(}^YX?@3wQ{;`^|ESLQ}si1a;)mpfHaC^
zuiP0THJuWwG|AcMQk{=FRel>czf{2HJoF^-my)il>HB<AsvYMtCO@dKwgi}bq+dF@
zpjBw4?<_~T^&M83JEwWhufGlh>Qxt0>NXIJY7;SD61<jb^9*y>5OwJS8q34WtaD8@
zwKBZ3X6djF=CP+rI%%gDXm(90vqzZEN6V9qD9*Ghj<O8UM&?Gl$Mk8k;^}~nG_Or5
zX<OaxkSzHLC?zhv)_h;)O&6vl)t<!++DP!0b&_E9Pc;pm+)Bor|Fjf_cOZ|G)=-CZ
zT1}~Bo_I-@ra??*SwJ$Bt3;@IfWbm)I`r|4rz@#TZ_XDD^cMNAX~Z1XKiAcz=XA?)
zs+N#UW~5dILsQ@0wR~xC7#9GW*Gk$JuNe)rAus1Sc!yig`WS-7<tnjY?TgQRQJhEp
z<Eh;uc-9xzu%55d3uzui^TH*odCVQt!;%Nb=M!fVIiC54I*;=_)X$3~e=|Z8BwhUs
z99BxH%YUVd4>3%us2kh8e3!Lek!R*=r3KZw<ORzMWec8`dp$qlo*Dr4HL1R7nO=)B
z1=YV%OZJ&;-Uxl<)Pcctzv|?0d8L+;ml|g>bj7taSSTs+b+k+x&eLV&@BaSE?4&!u
z4{p{T9a}PO7q;qDwtuNM<>~whGsf-ltPU6|D3=9>E53Vdjf1gW5o?O?rWW1A&T;pg
z4XBItmCBSL)$nZARw@JbNQ^NW79C|9>MbqHRYiaJe{F*EFTNY3eSJwbcr_Tswq35r
zW&WN<nGB#^X3ytquT8>swTQ5$+a!e7I;Dgw>G%pXbaHZ8cR=2SlJ=!?#C^{VXlALg
zzzCIHctkPooAz9FaZ%GyPN2yI@7r2oy|$xXaw@L<Ww!|)^{olaKmBN4@u;=4>@nC|
zl{Cv5$z+R_Ew?LCNt8BoIx`<cMVGjO&iK9EL`cC_p4)j<l%{cNS@{W8{4dLdw{S4v
zeMgggqplZ?Ff?~OwVFiF67+cvnZ7!qFx^L|&j|0mn|_VmPXk|LwS0@Y;aBgW0+%*|
z_uifoM5sa~v&Ih4SdfdlSRV2ob~5L@Nkc>Ju2=U`!$$`9$EI?dxy^zmycj)YqsO*2
zM`?A^a#8~A?)X6?^m>=u54UyOvTtku-7`JVB=7K5XCtBDg<r0ZHQvMgov_R(^mtJ^
zBLn~KYz6B`&AlS=O0mT^*>2-_Q^1gyU{-jQK8|vSoi-MbhM&KdNh!4_$)>nEXlR}u
zU0@=Se+L+@!Wx<(N6>5<QvK?i1uSjSW)}j%<tP2qv1}M9?HL&FwRLwIQu!NFzZ#m=
zjcE<6Xf-Tp@y%&}o4`^sBs0h_V#s&TqOCVVV5FmrtL8R9_@^h0+n-b7hEQtNABkA1
zF>^f~s4@d*FMh|W%!=_KV_Df90lQm@$U%#2UsIHb`V0M(i2e)xv8Y*wgtUv3y$V`P
zu!-O~Q@ZQoJXiPA<_C|~5h|@s_AW=#CKnDC3a^AQjtZ6^ugZRgNcqGW#7D`q&@TGJ
zmOUku3-U6LJG+(EZbx&WL;;4kcs{(G#-cO)ct^klb4cP{(cb>4&?kub8%<K$Gi)v0
z{WZ-)R=I0ZL>ym5XL1b2DA^CN#{`q!^M>RTqZ?@{p<K0lg@yQTgLvc4iDGlCG%5)F
z>CACDD{5Ps3RZrUGyddg9tlgAWE*{RB5d2GSvmrGUBpj<ga<cXx9FOZ$2_ll3DSE7
z(np{&x|x54-q)CHcFfY+#1`}hT7^0e2bte2;aZe<0=KO8{xZ|3s7p`z$csylx$z^x
zqIzRo+qUq<l?RJ^C$u&>i5M;7ZyM3#ydXgqr^R2lmDC0+3(0Q&6^NCDm!$I52BOFM
zNafNJUPFTf@Qg!}V9-^Cgj#yHd=l4U5?7#{#NU#);QgVaPa$bAaWu_q?EEs)#Udf*
zJ0ID;y6Yd9!b!7I3;3ju{z`KUR9;hZtB>NjYkdpcOa*iHvhSVu!%5twO-PYeZVwhZ
zvFoZ*UCxN3Tfoih!H<W8Pph8yej$;KCl9wk;_9sF^To!F-WStPCG~=uFKwgR8DZdS
z;wwPORhD@^64>o4c<Xn)a&NG^&igW|fn$l(RK17R|IB;n+f_OU?6hSf9%(W7Q(7;u
zF?~2^Xs<c_nBnlSSg}3whDILH@o&xkPzS?y70ZjBk!@@zb6!jdt7~NBSP*p16pm$O
z>YIx_ckw&D7rlMKXsbkhI<?V_y97X|2|?<IAQm1sI}w{c;3fRK=tHRB>pr!gnJ7^q
zH!a{w;#;yq!rzp=gMuydOsEM%Q&GZ0NBB25?RaDA)ETDdRf*b*pdv-c)Ny#~-(#4l
zJiJhhG+kV#o{-w;OsxX8;35$={~`q_Y^anM)LBybAz#RBUN$aXEc)Hr&mzE0iY0%j
z9#NCqU1->tirt+lWacBx-7r#-);h}b@lCh|^D(<OpL{6$zcxVz>R?%(ziD(I&r&g_
zL(5g_BvTh$nb=)wLK#1t3r8Scb<~v)e=&Z?G`*0|Zhqx93)C;u`xrK2Xv&sRn)e9u
z7qT-GA+m^I9@TvkqMdS<C=+1DlXr^RU}(lF?a+*T7l)Ze9iM3SRDQ;IV-D?$CHuo(
z$%??;*33WZQ|D3iO-cupX^>q#v5^-C36gJT4L2`y0NQBWAOWck=goAVgSFy8Ra-2)
zL!GDu6_1;g<aPK^)h#iB&=G<GgywM6ScU#{bhfz|f5Ixg&=fOZpb|*Nv?V=*-#WY`
zU>c35BzE%;X6<2d;}at>Gne2#i1`_SBXJswvYT5}ji8K)mOQC0<R&9N*|EURw;@W>
zHaOa34aG$%qg#EFO)@~fGGBW_bLSn@k9sUMb7~(a>cpbIM@puD7UkTjEynW^b{j@K
z9_juO^-t6ctB8ma>Jm_8hs9oSp$#3*AOo2O?ZS1aUYLc8NwK^oIzs2!#|7(^+Vf>A
zX+|9fp~`0i!2`uhhx5H|k?e`HGjQz;TNHfNUoa8m(>XqK*ZCFcMAm+wQ%#VleQPZa
z{V_)srHwrx75SO8FH-BhJU)z|EspMH!c`Af=ye2zeR0|)aSgzNtX&G>9-BygL@Bu!
zuefYtX&F0Uaq@md6P3b19O|%<PFXQDgqtG4_N2Jeu}qnOJ7IJr9<1RIZJ&_IPa`6f
zqha&rfGHP2CEC#+Cj_0G;qpbwe6hJpETEG>kn+wasUI=lJ3ls}smO`Y&~R4Z*ez3x
zZ;G&zs1RXhs{zfy6lD8J`7_xPJQ3%6Zpp9e?H!?F3IFxvOV6@ed>zy(5i~`OGD%cW
zsLLe;4K~pj{{A=fNvKiE_4=d>^BB%J;gp#w{H2@`ABrX7dfA9^QiAQ<sK?$>q@o^=
zgf@f_Adf%ARp;EBXJ${{)%R%cGtMrQth#tE1o_Ku)PaGDMC?tfm9KyIt7C~fg5JHo
z{=GtWbzYhLKymqRVJENYF{_M|oJ_VJBPXxbf*V0yhnej6#ezDm>8H2*&mJp!bGnP|
zllLT75082O(&6yMbecCIht|o9C(OnO@4>k8-Nm+B_JZE{s2ghKPwMi-R{8Tu=pQE%
z2cOYPp1>QP?q|$8Ov=Ay<mtE1$fe_X;+x$%Eg8A~iH7R2)TvzK0H!;Fyg~)(tI{l`
z0+VMWW@3ZhK5Lu;p&sq-UAFUo50c;(frk2yt<zrm&ge#rqTLS%vqJ(rfA~h@rCXF%
zvEyT+;%q3U)-O+;7soSSzIX>&scU<b0yDo3U4agr0qDhI1|8d$Ah4YFtMs2;+&M-}
ztJd2=s8^(zqontnIT?vcK)~(CNcHsCNZB5B&`?F}$deH$`t~3Mx=2{GAQIJ<Cktx7
zcu4fs0E7cy=BaXjSVB;~44)b<vNYUTf~4&Gn6sgz>~bKbssb_XHIhu#6QI=`mSgSW
z1xQbJjolD^KDQ@sS^<#iA3-V*-*i$98d55h>NN|OVKX(7Vt1lX$*yGPqcMj@610cM
z^vP(xGN=bgGPqYCbu6-I?>u*Hw4}b%izvlDZ7z_>n%=9M+bPJgb`ZuNpY+?4il4hm
zMuFdl!bAc-cL!N}+#sZbCf{DyEru=DKs_a16wlkt68es7G(ExQfau5>B@xjJs{@UG
znOHdx2j1JsZJ@6opsg^Qy?qdPa=TNQ0MoKSqy+f9|IR=T)MohZ8>1Dh9v9T_W%@#~
z))rHicH-I<<_~CS-v~Wg$rR7m7$umcda84VYgr#7kfl4t#icsM?O;%y3c7RyQggRy
zc;y47Hj$%vvcAs^yW`iLiS>LgNc~dp9Rnh*@h{#gLAqpzMFT-mg?*mh6GM%^Kbc7m
zx@T2U8s729uwbt6(7Sd@<B$G@HJ*<T2WuIV)?$>;j9jB&C+gPk9ekL55;1=<=?kp9
z8gyvi<tVFo9UMG1>5h$9_K&at+xf9SioPyZnF|B~hz(y(v5}vE9o?~k)M~jYB$~JU
zU?zc6QvFrR?X_@DNWi2CffM^`TNd$}!uz0QXVd!c3gN!M`}DAm94d4mZDK2PqJCVF
zs)YE$F_Yo($Mf#7FZ;GW*W%UN?4aj}bK%Q3h_01%(EsDcXM|rPk&CgjvRQJlS+KIO
zvYDHi^02d7uyC=MTk^7Un3!;y^Kc6Z{QvF9IR7uL0G|Ij*x+2YQP$KT7`uD#YZPF3
zF-0p6rwM77r?X6@a-<0<!cC*8qbV*Xqxo4}83Z5l=a;r}tFcWhh)FD?=39BgUjxo*
zjvtHF<=MHF_A%F=`GAwqL%}ZZi%;gebKqDbLv`P7E5$Nj(7Q{twq~kD^rL<~!0^+|
z8$xN%MIhS4bam><OSkSN_2EaZ&=X8P8TK)iJ<9tU*0xg$1A14hb_ys3uW5nx97WWT
zi~We@y)nXoGJ-Kqgc*cXaVV42zDPGXv<b&fG%F9z%^)cc#?7c73s$5F0n!*MP9ixg
zD7p&<)xI@BsF@2v!Wb+MDz!-?u;zjJ7I^(PkHIQGPR*IFe2=3cC&%ME;L?cJ^Wyu)
zpHDV_?F5~pqrg0EZM!VH^k)rf7qwOjw9HCOz!U$C7x5h7ZBN!Au6m&4i@<pP6PkL~
z{$Em`AH5d47v~7Mv_;r<96nK>kW)=8h*pOLnzP0^VV<9LO4F3IsdE>LK+i0)1oEOk
z(ae~;K1uMKzk$KHnqDS5#a#Z8uwRvg7PbkMrEDSdv>qaS!u;|G+Sh9ZpYYU)eafxV
z=l6Hiqxp1`3oKLGxY}KIj$4BP8Gqp8v$W^vTSYmiq*g{lr+98F!w(`#TGWb%bShqo
zvV+HR+k2b|CKtz4JJT6?Ad80^+x8w}g2+YaT|DJ4g%aDzft-G@Pdl8}p{{=Dg|nbz
zzyDSg<bnTu@opom(Fm76UctbpHwb(K8u9_Dz|<~o>~U(|@U%7FF$b41InfvuN1rSI
zO7R)1+d}o7!3Rp4DXM0};^PGWR5|O+zFIpX|E-Qd;_Uu|H>S}raODkZG%D|nYc$5~
z4DD&c{k-S*kLvjVlVLRPA69St%^|cmqVOQv2afQ-#Xm6519@*$`8!O1M5kLtg_E58
zwh1rR93gH(qBv5V;AHD;AMW(zcARi<7Z@bT#U8)RAK<Hdr~)y^GjNh_%&F{=`y_Fr
zI0SL!C)3fDL%tl`fFgYB0j@x-p9`^O)VoJ=Z#>V`C@T+vv@zM}p^QSmN@iGz3ths9
z3l9<Xo&-l*KZU~R1P|ni30$^gLBuf=%cm1wAXK&^_mzXL7gcs(ez*+}{ts}gJ%5EU
zNbBsC$0M?-VFvv;%yzIJhm0fo9G{kW_TY7+{`!&pF653Qz>jv^*m|6oeaEfXzXu;n
zCoi|mUx)`Ey2tN&!Cwh!2V1r;DZNtv6-R%km-BN`m#?n@rLT_i2~wA@Px+IQ1G$Wu
z$dT#pTDRJE9Sc6K=$yPNw;pb<Q+-B9jiQ<OosY5?Mn{igD#ioDgq04dt>14RLh)92
gx$VM!Ue`bpxbY`S2F(K!2`mo_93`csk`&zk0xO~l)&Kwi