From 792896a23072acaadf371c316a3a74117141a573 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
<41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 23 Jan 2024 19:52:14 +0000
Subject: [PATCH] Deploy to GitHub pages
---
.nojekyll | 0
docs/coqdoc/ABS.abs_defs.html | 278 ++++++
.../coqdoc/ABS.abs_functional_metatheory.html | 73 ++
docs/coqdoc/config.js | 79 ++
docs/coqdoc/coqdoc.css | 197 ++++
docs/coqdoc/coqdocjs.css | 239 +++++
docs/coqdoc/coqdocjs.js | 197 ++++
docs/coqdoc/indexpage.html | 856 ++++++++++++++++++
docs/coqdoc/toc.html | 45 +
docs/report/main.pdf | Bin 0 -> 167570 bytes
index.html | 42 +
11 files changed, 2006 insertions(+)
create mode 100644 .nojekyll
create mode 100644 docs/coqdoc/ABS.abs_defs.html
create mode 100644 docs/coqdoc/ABS.abs_functional_metatheory.html
create mode 100644 docs/coqdoc/config.js
create mode 100644 docs/coqdoc/coqdoc.css
create mode 100644 docs/coqdoc/coqdocjs.css
create mode 100644 docs/coqdoc/coqdocjs.js
create mode 100644 docs/coqdoc/indexpage.html
create mode 100644 docs/coqdoc/toc.html
create mode 100644 docs/report/main.pdf
create mode 100644 index.html
diff --git a/.nojekyll b/.nojekyll
new file mode 100644
index 0000000..e69de29
diff --git a/docs/coqdoc/ABS.abs_defs.html b/docs/coqdoc/ABS.abs_defs.html
new file mode 100644
index 0000000..0342e03
--- /dev/null
+++ b/docs/coqdoc/ABS.abs_defs.html
@@ -0,0 +1,278 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Definition i :
Set :=
nat.
+
Lemma eq_i:
forall (
x y :
i),
{x = y} + {x <> y}.
+
Proof.
+
decide equality;
auto with ott_coq_equality arith.
+
Defined.
+
Hint Resolve eq_i :
ott_coq_equality.
+
Definition fn :
Set :=
string.
+
Lemma eq_fn:
forall (
x y :
fn),
{x = y} + {x <> y}.
+
Proof.
+
decide equality;
auto with ott_coq_equality arith.
+
Defined.
+
Hint Resolve eq_fn :
ott_coq_equality.
+
Definition x :
Set :=
string.
+
Lemma eq_x:
forall (
x' y :
x),
{x' = y} + {x' <> y}.
+
Proof.
+
decide equality;
auto with ott_coq_equality arith.
+
Defined.
+
Hint Resolve eq_x :
ott_coq_equality.
+
Definition b :
Set :=
bool.
+
Lemma eq_b:
forall (
x y :
b),
{x = y} + {x <> y}.
+
Proof.
+
decide equality;
auto with ott_coq_equality arith.
+
Defined.
+
Hint Resolve eq_b :
ott_coq_equality.
+
Definition z :
Set :=
Z.
+
Lemma eq_z:
forall (
x y :
z),
{x = y} + {x <> y}.
+
Proof.
+
decide equality;
auto with ott_coq_equality arith.
+
Defined.
+
Hint Resolve eq_z :
ott_coq_equality.
+
+
+
Inductive T :
Set :=
+ |
T_bool :
T
+ |
T_int :
T.
+
+
+
Inductive t :
Set :=
+ |
t_b (
b5:
b)
+ |
t_int (
z5:
z) .
+
+
+
Inductive sig :
Set :=
+ |
sig_sig (
_:
list T) (
T_5:
T).
+
+
+
Inductive e :
Set :=
+ |
e_t (
t5:
t)
+ |
e_var (
x5:
x)
+ |
e_fn_call (
fn5:
fn) (
_:
list e) .
+
+
+
Inductive ctxv :
Set :=
+ |
ctxv_T (
T5:
T)
+ |
ctxv_sig (
sig5:
sig).
+
+
+
Inductive F :
Set :=
+ |
F_fn (
T_5:
T) (
fn5:
fn) (
_:
list (
T*x)) (
e5:
e).
+
+
+
Definition s :
Type :=
Map.t t.
+
+
+
Definition G :
Type :=
Map.t ctxv.
+
+
+
+induction principles
+
+
+
+
+definitions
+
+
+
+
+
+
Inductive typ_e :
G -> e -> T -> Prop :=
+ |
typ_bool :
forall (
G5:
G) (
b5:
b),
+
typ_e G5 (
e_t (
t_b b5))
T_bool
+ |
typ_int :
forall (
G5:
G) (
z5:
z),
+
typ_e G5 (
e_t (
t_int z5))
T_int
+ |
typ_var :
forall (
G5:
G) (
x5:
x) (
T5:
T),
+
(Map.find x5 G5 = Some (
ctxv_T T5 )
) ->
+
typ_e G5 (
e_var x5)
T5
+ |
typ_func_expr :
forall (
e_T_list:
list (
e*T)) (
G5:
G) (
fn5:
fn) (
T_5:
T),
+
(forall e_ T_,
In (e_,T_) (
map (
fun (
pat_: (
e*T)) =>
match pat_ with (e_,T_) =>
(e_,T_) end)
e_T_list)
-> (typ_e G5 e_ T_)) ->
+
(Map.find fn5 G5 = Some (
ctxv_sig (
sig_sig (
map (
fun (
pat_:(
e*T)) =>
match pat_ with (e_,T_) =>
T_ end )
e_T_list)
T_5) )
) ->
+
typ_e G5 (
e_fn_call fn5 (
map (
fun (
pat_:(
e*T)) =>
match pat_ with (e_,T_) =>
e_ end )
e_T_list))
T_5.
+
+
+
+definitions
+
+
+
+
+definitions
+
+
+
+
+
+
Inductive red_e :
list F -> s -> e -> s -> e -> Prop :=
+ |
red_var :
forall (
F_list:
list F) (
s5:
s) (
x5:
x) (
t5:
t),
+
(Map.find x5 s5 = Some (
t5 )
) ->
+
red_e F_list s5 (
e_var x5)
s5 (
e_t t5)
+ |
red_fun_exp :
forall (
e'_list e_list:
list e) (
F_list:
list F) (
s5:
s) (
fn5:
fn) (
e_5:
e) (
s':
s) (
e':
e),
+
red_e F_list s5 e_5 s' e' ->
+
red_e F_list s5 (
e_fn_call fn5 ((
app e_list (
app (
cons e_5 nil) (
app e'_list nil)))))
s' (
e_fn_call fn5 ((
app e_list (
app (
cons e' nil) (
app e'_list nil)))))
+ |
red_fun_ground :
forall (
T_x_t_y_list:
list (
T*x*t*x)) (
F'_list F_list:
list F) (
T_5:
T) (
fn5:
fn) (
e5:
e) (
s5:
s),
+
(fresh_vars (
map (
fun (
pat_:(
T*x*t*x)) =>
match pat_ with (T_,x_,t_,y_) =>
y_ end )
T_x_t_y_list)
e5 ) ->
+
red_e ((
app F_list (
app (
cons (
F_fn T_5 fn5 (
map (
fun (
pat_:(
T*x*t*x)) =>
match pat_ with (T_,x_,t_,y_) =>
(T_,x_) end )
T_x_t_y_list)
e5)
nil) (
app F'_list nil))))
s5 (
e_fn_call fn5 (
map (
fun (
pat_:(
T*x*t*x)) =>
match pat_ with (T_,x_,t_,y_) => (
e_t t_)
end )
T_x_t_y_list)) (
fold_right (
fun (
xt :
x * t) (
s5 :
s) =>
Map.add (
fst xt) (
snd xt)
s5)
s5 (
map (
fun (
pat_:(
T*x*t*x)) =>
match pat_ with (T_,x_,t_,y_) =>
(y_,t_) end )
T_x_t_y_list) ) (
e_var_subst e5 (
map (
fun (
pat_:(
T*x*t*x)) =>
match pat_ with (T_,x_,t_,y_) =>
(x_,y_) end )
T_x_t_y_list) ) .
+
+
+
+
+
+
+
+
+
+
+
ABS Functional Metatheory
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(90 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1 entry) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(7 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(2 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(19 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(7 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(9 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1 entry) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(44 entries) |
+
+
+
+
Global Index
+
A
+
abs_functional_metatheory [library]
+
abs_defs [library]
+
B
+
b [definition, in
ABS.abs_defs]
+
C
+
ctxv [inductive, in
ABS.abs_defs]
+
ctxv_sind [definition, in
ABS.abs_defs]
+
ctxv_rec [definition, in
ABS.abs_defs]
+
ctxv_ind [definition, in
ABS.abs_defs]
+
ctxv_rect [definition, in
ABS.abs_defs]
+
ctxv_sig [constructor, in
ABS.abs_defs]
+
ctxv_T [constructor, in
ABS.abs_defs]
+
E
+
e [inductive, in
ABS.abs_defs]
+
eq_z [lemma, in
ABS.abs_defs]
+
eq_b [lemma, in
ABS.abs_defs]
+
eq_x [lemma, in
ABS.abs_defs]
+
eq_fn [lemma, in
ABS.abs_defs]
+
eq_i [lemma, in
ABS.abs_defs]
+
e_size [definition, in
ABS.abs_defs]
+
e_var_subst [definition, in
ABS.abs_defs]
+
e_ott_ind [definition, in
ABS.abs_defs]
+
e_rect.H_list_e_cons [variable, in
ABS.abs_defs]
+
e_rect.H_list_e_nil [variable, in
ABS.abs_defs]
+
e_rect.H_e_fn_call [variable, in
ABS.abs_defs]
+
e_rect.H_e_var [variable, in
ABS.abs_defs]
+
e_rect.H_e_t [variable, in
ABS.abs_defs]
+
e_rect.P_list_e [variable, in
ABS.abs_defs]
+
e_rect.P_e [variable, in
ABS.abs_defs]
+
e_rect [section, in
ABS.abs_defs]
+
e_sind [definition, in
ABS.abs_defs]
+
e_rec [definition, in
ABS.abs_defs]
+
e_ind [definition, in
ABS.abs_defs]
+
e_rect [definition, in
ABS.abs_defs]
+
e_fn_call [constructor, in
ABS.abs_defs]
+
e_var [constructor, in
ABS.abs_defs]
+
e_t [constructor, in
ABS.abs_defs]
+
F
+
F [inductive, in
ABS.abs_defs]
+
fn [definition, in
ABS.abs_defs]
+
fresh_vars [definition, in
ABS.abs_defs]
+
F_sind [definition, in
ABS.abs_defs]
+
F_rec [definition, in
ABS.abs_defs]
+
F_ind [definition, in
ABS.abs_defs]
+
F_rect [definition, in
ABS.abs_defs]
+
F_fn [constructor, in
ABS.abs_defs]
+
G
+
G [definition, in
ABS.abs_defs]
+
get_val [definition, in
ABS.abs_defs]
+
G_vdash_s [definition, in
ABS.abs_functional_metatheory]
+
I
+
i [definition, in
ABS.abs_defs]
+
M
+
Map [module, in
ABS.abs_defs]
+
R
+
red_e_sind [definition, in
ABS.abs_defs]
+
red_e_ind [definition, in
ABS.abs_defs]
+
red_fun_ground [constructor, in
ABS.abs_defs]
+
red_fun_exp [constructor, in
ABS.abs_defs]
+
red_var [constructor, in
ABS.abs_defs]
+
red_e [inductive, in
ABS.abs_defs]
+
S
+
s [definition, in
ABS.abs_defs]
+
sig [inductive, in
ABS.abs_defs]
+
sig_sind [definition, in
ABS.abs_defs]
+
sig_rec [definition, in
ABS.abs_defs]
+
sig_ind [definition, in
ABS.abs_defs]
+
sig_rect [definition, in
ABS.abs_defs]
+
sig_sig [constructor, in
ABS.abs_defs]
+
size_ge_1 [lemma, in
ABS.abs_defs]
+
subG [definition, in
ABS.abs_functional_metatheory]
+
T
+
t [inductive, in
ABS.abs_defs]
+
T [inductive, in
ABS.abs_defs]
+
type_preservation [lemma, in
ABS.abs_functional_metatheory]
+
typ_F_sind [definition, in
ABS.abs_defs]
+
typ_F_ind [definition, in
ABS.abs_defs]
+
typ_func_decl [constructor, in
ABS.abs_defs]
+
typ_F [inductive, in
ABS.abs_defs]
+
typ_e_sind [definition, in
ABS.abs_defs]
+
typ_e_ind [definition, in
ABS.abs_defs]
+
typ_func_expr [constructor, in
ABS.abs_defs]
+
typ_var [constructor, in
ABS.abs_defs]
+
typ_int [constructor, in
ABS.abs_defs]
+
typ_bool [constructor, in
ABS.abs_defs]
+
typ_e [inductive, in
ABS.abs_defs]
+
t_sind [definition, in
ABS.abs_defs]
+
t_rec [definition, in
ABS.abs_defs]
+
t_ind [definition, in
ABS.abs_defs]
+
t_rect [definition, in
ABS.abs_defs]
+
t_int [constructor, in
ABS.abs_defs]
+
t_b [constructor, in
ABS.abs_defs]
+
T_sind [definition, in
ABS.abs_defs]
+
T_rec [definition, in
ABS.abs_defs]
+
T_ind [definition, in
ABS.abs_defs]
+
T_rect [definition, in
ABS.abs_defs]
+
T_int [constructor, in
ABS.abs_defs]
+
T_bool [constructor, in
ABS.abs_defs]
+
X
+
x [definition, in
ABS.abs_defs]
+
Z
+
z [definition, in
ABS.abs_defs]
+
+
Module Index
+
M
+
Map [in
ABS.abs_defs]
+
+
Variable Index
+
E
+
e_rect.H_list_e_cons [in
ABS.abs_defs]
+
e_rect.H_list_e_nil [in
ABS.abs_defs]
+
e_rect.H_e_fn_call [in
ABS.abs_defs]
+
e_rect.H_e_var [in
ABS.abs_defs]
+
e_rect.H_e_t [in
ABS.abs_defs]
+
e_rect.P_list_e [in
ABS.abs_defs]
+
e_rect.P_e [in
ABS.abs_defs]
+
+
Library Index
+
A
+
abs_functional_metatheory
+
abs_defs
+
+
Constructor Index
+
C
+
ctxv_sig [in
ABS.abs_defs]
+
ctxv_T [in
ABS.abs_defs]
+
E
+
e_fn_call [in
ABS.abs_defs]
+
e_var [in
ABS.abs_defs]
+
e_t [in
ABS.abs_defs]
+
F
+
F_fn [in
ABS.abs_defs]
+
R
+
red_fun_ground [in
ABS.abs_defs]
+
red_fun_exp [in
ABS.abs_defs]
+
red_var [in
ABS.abs_defs]
+
S
+
sig_sig [in
ABS.abs_defs]
+
T
+
typ_func_decl [in
ABS.abs_defs]
+
typ_func_expr [in
ABS.abs_defs]
+
typ_var [in
ABS.abs_defs]
+
typ_int [in
ABS.abs_defs]
+
typ_bool [in
ABS.abs_defs]
+
t_int [in
ABS.abs_defs]
+
t_b [in
ABS.abs_defs]
+
T_int [in
ABS.abs_defs]
+
T_bool [in
ABS.abs_defs]
+
+
Lemma Index
+
E
+
eq_z [in
ABS.abs_defs]
+
eq_b [in
ABS.abs_defs]
+
eq_x [in
ABS.abs_defs]
+
eq_fn [in
ABS.abs_defs]
+
eq_i [in
ABS.abs_defs]
+
S
+
size_ge_1 [in
ABS.abs_defs]
+
T
+
type_preservation [in
ABS.abs_functional_metatheory]
+
+
Inductive Index
+
C
+
ctxv [in
ABS.abs_defs]
+
E
+
e [in
ABS.abs_defs]
+
F
+
F [in
ABS.abs_defs]
+
R
+
red_e [in
ABS.abs_defs]
+
S
+
sig [in
ABS.abs_defs]
+
T
+
t [in
ABS.abs_defs]
+
T [in
ABS.abs_defs]
+
typ_F [in
ABS.abs_defs]
+
typ_e [in
ABS.abs_defs]
+
+
Section Index
+
E
+
e_rect [in
ABS.abs_defs]
+
+
Definition Index
+
B
+
b [in
ABS.abs_defs]
+
C
+
ctxv_sind [in
ABS.abs_defs]
+
ctxv_rec [in
ABS.abs_defs]
+
ctxv_ind [in
ABS.abs_defs]
+
ctxv_rect [in
ABS.abs_defs]
+
E
+
e_size [in
ABS.abs_defs]
+
e_var_subst [in
ABS.abs_defs]
+
e_ott_ind [in
ABS.abs_defs]
+
e_sind [in
ABS.abs_defs]
+
e_rec [in
ABS.abs_defs]
+
e_ind [in
ABS.abs_defs]
+
e_rect [in
ABS.abs_defs]
+
F
+
fn [in
ABS.abs_defs]
+
fresh_vars [in
ABS.abs_defs]
+
F_sind [in
ABS.abs_defs]
+
F_rec [in
ABS.abs_defs]
+
F_ind [in
ABS.abs_defs]
+
F_rect [in
ABS.abs_defs]
+
G
+
G [in
ABS.abs_defs]
+
get_val [in
ABS.abs_defs]
+
G_vdash_s [in
ABS.abs_functional_metatheory]
+
I
+
i [in
ABS.abs_defs]
+
R
+
red_e_sind [in
ABS.abs_defs]
+
red_e_ind [in
ABS.abs_defs]
+
S
+
s [in
ABS.abs_defs]
+
sig_sind [in
ABS.abs_defs]
+
sig_rec [in
ABS.abs_defs]
+
sig_ind [in
ABS.abs_defs]
+
sig_rect [in
ABS.abs_defs]
+
subG [in
ABS.abs_functional_metatheory]
+
T
+
typ_F_sind [in
ABS.abs_defs]
+
typ_F_ind [in
ABS.abs_defs]
+
typ_e_sind [in
ABS.abs_defs]
+
typ_e_ind [in
ABS.abs_defs]
+
t_sind [in
ABS.abs_defs]
+
t_rec [in
ABS.abs_defs]
+
t_ind [in
ABS.abs_defs]
+
t_rect [in
ABS.abs_defs]
+
T_sind [in
ABS.abs_defs]
+
T_rec [in
ABS.abs_defs]
+
T_ind [in
ABS.abs_defs]
+
T_rect [in
ABS.abs_defs]
+
X
+
x [in
ABS.abs_defs]
+
Z
+
z [in
ABS.abs_defs]
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(90 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1 entry) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(7 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(2 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(19 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(7 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(9 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1 entry) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(44 entries) |
+
+
+
+
+
3Iw+jLtno2^
zrBXCz(!&^vc!(5qXkvVYE`=pDBQ1^{Z3c^8$#`GO=?ITQNf5L6XS&bw<2%QM3BTIc
zYtK1-vAiAz=C}w?u2!*X>b72TPW+Dfj0X0d%Rv#=OPS^jf9ZsgwS22tMeg6cw5&Xe
zY&bo0yn4!yorlh3o?*nD3Oj^Rjp{ZL%(K)`y;@n5(-8BBQp$7}9iOF>BKc@PnCz_a
zz0S^4r5@IFId3agIbXj)t)5elCVGuC1>~#dVg>-KVDOqm_}>QZ{s$+>*{$Mcc){Jc
zJ5?NJJ#FNc#2_W~Sry#YgVpwbJZFrt`U&->yw2+d=bb>3kK-t1&=|EgvJ#~{T!I9~3KS^9I_kuwCGFW?;{i9Yu0OJ9TOt3i35d%yL5k`Ky9`JLW*T!I|2
zouaogazi+kF=jp^931FPi=!=zFnt`&S))ZHyq2wcu%oNs_nAE
zC5OKlcE}p`^pPiYRu5@H91cfF5_m-yQ{*Ho()^1Z(LURoU?wfCW;7YG(i_;{<^9Y)
z4jcJJAGh9YK>U&+%~4RxQFgLR%u84DpG9RMwM3Ks-9%qjUssQn*X%I=i#O0fYl4sf
zw9b@UB!A-7b~AM0pQT4w#rzcr9E2>Ay<>p`g|=p*hnPH!=#QdsB-DQKFG6Dp0z4Xxa>7AU6W!vEI(%fH
z*54Hw*qw3`ZdT0ozMWrlI2L+Hgb~6s!Vo3(TcvS5J${!M5E>zry0mpUiG1dEv1z*9
zzA|SdZGy@MmOb2cB19psM41s!!fm{q1o97hoXZbO(PhFV+t!h9c(s;D60n)^8e|Sx
zByML?W4B*atiXwz>%gjnQqu|>N5gk8T`wf5F*ufyO~DcnMJP>6{dydHWJI7ln31U+
zOgXeEKKu~p`yDU)xRTp)m}3;fqGOs0nx+OyZ((>)L>
zKXTUj7aa;B(3qgFk?hw%itr;L?%*rsf`od+D8U-Ie1r6{65a`A=&@PB_lB62e}eq6
z(4pQ2!n+3K4vGfF@{6<)>kmwCisT|Y#L=&DVlQQqn@17P-}G#Zrw1P<1{$TU;}fzV
zX1VBHTG6=%N=AzIuNw?K5w-VTRiH)Pj0^{GzRp`a3%%!NNw8!j`%`*5@+u`Vqyy7G
zK{*?Uh6hje^0Ik)E;o~ZNG&(tith0N9%Ne9j^-n?dHJH8eby0XnSKXU7-k
z==oL-VaFIyb9_5QHh3>2#|a>$@lzhz4tPT!lE<_0-8XQUtL3;KvBKtYcl!GmT7`nA
z1``P$r$6VnOo>^zAAcZ=S^R4io%eH^>Po8;T$W`5haCkc;+8zOEh#7(XLgfN_F&Eq
zJXQl?1C7h-d0kBvh5^NKO(IL#cSrMg;jcA3ly?imh!t;(MGVPOL}iiE=*QOewS26M
z@7yKSe%h5=#vYXBc2=y#4;GqQOK9&>p%_
zNjllDR?tIYc+8$G0k1$)PEO@jI+w@N1ic##I}uNAQZYi#?M7BOUhbA@fJO7rgCP
zbAIZ4x`jL=?@@)phKgLt-uF_x{@@$3+aB!2;k>#6=qp_Sw>F%Zg`>Jgx2TJIi&+y^
zW8#oC1fe>(@JX%F9!
zWa9I3i8t7jaObwGn2zl~mr{N=#Zm97k0Tst3YSFG#+xOL*?Y)Viod%Wc}CrNLL$yG
zL#k}@%dX(KJ-L@?FU5W8Dsh=l`tk8j&_0JXGwa7lm)U;F?)%Y73`Dw_|+{kAz#8_b2Dv3&}lY
z{%;E6Ua>PSf``CM^z-}29d)zfq}a{omm~&iYmGo43~V!0SD_jZf5oYSKEZ&bh5Q14
zhh{heiPHTgxw$+qqqcg9ym#!Zys|&8f8BJwiCN{Q`
z*S3NKgxO;?#Bp#Ij)bre)975Iwrqk&d}G;KtfE5-Qs3T5p!wJ$+zwA*;ymAsQzUQ)vXLx
zT;rOZw1|u3)1G{KiO!^OEQhbO781A5Bee!yJH>U@`&GMJ`sD|L?0B$_KfO#@b1bEX
zId>V2{>#rT`dQfA1V(W=(!AKM+trItxj?rXCt7u3t7LSYNgeGMhlTj5a#Yf$Q{lsn#+J?7zl>L_k>Gpdxycu
z=u3CNGqJC?R?83A)ot$)(3)ZyM8*8uYm^J@6CmOqj%LiF>A6txTC)fKCw6$h8{
zovJVtRO10NzlWkxJ?*v(h=uhzgbGM;3j(p+IwU)(W}Hn{ujxxTwmzj@Bchk-9I`ib
ziv^f$(Y6#2N0GbylF}vH^~Q_7yn;1&c}dIqq!uGcSSz$oXP@X(UX`l6
zWVmMr%?UhBYg5`aF$jjCM(pXb+zh2Z60&7(GF!r6{$4Ik)->>|d^7F24GTNt^lmoqZPjyCdj=H+)D$%{lb
z=Yy0}cix`Cm=%1)7Ic^J)Qrc?m8?^}CQrEtVRLz2lUpIjF%{^n7kJgLr;G11}|
zd|&KVfM1>jsj|u<`K@Y3X!12@Z?e8wrKYvXsWNmV@BM|7r6pv6|Guwg-J=Uvi|G8A
z1;dlWM)<$+Wqh7r^}AbAjF{2vUDt;Xu~VFN*;|)@#bKHq=}0o}JIFSeP=k#<
zYpQgC8naAL2(-AkPP?Ew>1pNi!d*w@SIwZ8)HJF2VZ90~iWw+e
z>mXBRewy$$#nqBt66e7Lzz6t!#wPnb+#QPT2`G;#m13F?nA&)+65DofP&KOA#b2HID7EKwJ{56nMqNVI&>}87D$-
z+hyjl0!wYC-R-HvMj*0a#usymM*1>IrN=*;yXRl$aqjNvs=m6?pqwV?GnU8itP*H>
zo28XHmo-5O58m8d{<~HQ`Lyhe;X*_MvCQUM&k%ps`9!F}^>eU*$
zUzaO>%eOcP^oW|*ixD~Nw`bUD(%ee2bvqFy4Epm#Wq60*v91z|@h1vFAtNOkEKNvq
zsvOM!Mr{x?-jFw-zT$UbB*PPTZznrG)e-{Job#sw_G)EkrHvg}Fwh2g-c
z_%_jXq&-Bp<4PwrIM$}WGG|OT16C${9SprGYWaUdR1l|Cy@1TW_vQNfH+@rV_3bv~
z#-+*~*M)jFeQW|0UPAs(Gg`3W3Sgr*1oO{!3b2}<4%e9iZyiOE5ojug)Ieh_x+95I
zJntixG$v;ud6-73=fi~CO@DiHFO5&krx{7qScMYNU|+Bq14X5E>2<*Fk6~(yzeJxB
z6c2ry8^_?*@Xj%?mNn-j#r`-EAX=yp6FOdpp6al-zVegoELlj_m5CW?Dl|VjhL>nk
zAzXWIz56?GBdv?)^bmj{(b@)Rb6LwH5|k{^;W)UGP-7$hROz#Rp%8N{iHlMXS~SJk
z4&?7p{dptg8S;Zf8OoT{wcTAJNwP^wx(RoodC)6DXU-e6dW<810QsgUye4&Qpec1X
zgFUjv`ihA`04Wz?gMO?!xIQQ{Q5SfT3r-&Aqhfhh!>+Qvdtzy@9)#@$-0(8W+^ZTB6V6lY1Q1*f0lfO)o-}zm+RQym{7g=HV
z(;i5N-1`&ZDV%;jX+&CFVi3h93z}bqL}VT9P)9C#ZBf-povd@$Q}BVQpu>+^i^CH2
zHv=f_u0}3_wE~k+>x2ev>QXTUSB{qwRxoh+W0Qg_n!F}YO_1iQuzlGslDOG+3FH#!
zi-BKAd0Lml>1-_Ns5H9YzDHI*biE^A_~zoh6x3c25?xv_@!g9X8OJAoV`Jl4UC{QEXcV|2$=t6TD9ufSzgE%g
zFve6V=Y&T-)mXJv-t|w-@TTPqiqr9XJA0W2a#1Ueryw9Jo6(^%Jf%*4SQza)4<;TaqLkUnMiJ(Uj+u2?y@dg
zHq@fk4`~R8_H0BHJoslNow5WjpG2?ih3XB+MQ83RF57siQh$yqK-iv)DOuovfD?-o8|Tmpq2E9k^NwL5kBA{nE?x5}4lh
zLBo1clSzvbHm
zGUFdiqKH*wVmY^IRuE3Z2{YjsR#!|ak3;lsFDEM1Y|q)mJuo`CH}8a$P#f
z@=35N5nqqez>I%rII1Y_We;aiJ9{MZc4^KrWmP~7(%uj2AWc*n>Q_#{7!5Zuk_wi?
z_BS+Z`?6`b_HV=6ZVG|N?p$=DQ0oiotP-zJ5LA_C5`5l@9G@iB`(GZX#hrhn6B*2bg$Mdc}+>dr+VcrPwE^Fp-(D46K-jFXU9I9>vKKCkd??8#p-_
zlN{aTOntht!rpl**V9ZD>jF;dk=-9gCIvYhb@pC2D{%--{qB8*PPdWFVcx^t5gtR2
zoT-yt)JSB=fn@U?N1eLBSUuX!rMk@&s>0A?ZU0%1+YhmcvDnvHrM!0~yY<8JQ_LYOvE9ln-ra;DNEW2Dj3dJWY{be$Y
zdgwi9BOF6<`|rfnI{`NFXUiRBcla%Mb`uKzJ5d~xrLvS-bc1n_LyT0I3Gd4MBc~7>
zCSjizkw%hD9KC}_lwoxCB#$CopW-Hmj9ORW2VIGtWv=;Of_SjzsW}^^5(m-vBbxm|
zxzJ8Q0$S%+#+YjZy7OY;&eYvRP;9%}l2Ep<_!mx3$NZK)-qI~)z&4>V41KxGnaPUf
zy
z1Uk|{HX}RMcUp9ciSJK%hFZxm5}hfyORO;!B|=#8@}d1FIn0#;)X>wO$8R%s-c*u-
zP%(L}B*R%kQKLth03Ez0HH^EIk(7kL;{#e+Sj*Q3o^*}A0lXEJ6%7M3p(e$y%SF#`
zbB6OtQ+1aHvoXNpYQ}Tk$P3$|a_eL?r7e_Zx!8EgwgXy6e2+Hv9t1`2*f76uG)}KR
ztoB{ATB4xr;lNRXU3xOSI!Q5@i$jRsl3)2!pvjF2RX)-xg&1Z8Fb&3&Hf!dp{&dK$
zLaXvpj+(x0wpgi&Jtbgzwa2ZZmizIv2w|n>FK`KwzYh>=Kx)-CwBvyLQ!8r8)JCG2
z95O>8?rq0LG558@L|x3nNeTtt_px9{WI3J48NJLzTJuFo`a77@#Mjk_-hpEFSZk1!
zXH?)hlGj4TK(wnH0s$&Y$+I0%)~Z5jdv$EX3#?w(()(&LnhlF}biUylB&fvE*%-lY%4)&s2CHf-&K{P
zdaPpm-jd1
z8^aZ+jB;1t&t+hd4k6<7SUC;scF11zPQ%F1CH~~s;F6GPsW{+_R(k~@8z2*8&FC=K
zj`J*OLwZMb{2!fEsm$05V#!NxX~sDOqZ?ROUk~?@;L;&Os`QnX4j(+YxZ1Q(T;F0$
zZ~AZVV)ki|lcjqcZni)flK)#D84G7BcnS=zRyWQe9d{Q(VM>l`befo|TQ>7M*Ua-s
zH14JCPoTs&D2PCc{Tn5zigYCegw~naV8sFBG=4aQmsvS3$t|8o9fn?hILW$NrPKXn
ze@plbQicg%r@yHLlT|G?&SI+we&ufwO5;jC-cZ5Ld~i=PcE1Gd5*!h<)XU-Oe1|OlWIW&5}XUpv6ty*5HImGX%mtRo=S)fGv
z6vg7DuycL`noG>rI}A;S_(^k5WcO%xZiX2=Mhov&jm-_@nuR$Dd|Ls{%y}Cc)S+~j
z>SCMRg2m2ZC}5-mI^#Uc4slfpG)T0xrTWV}=)t4y2w#A5H?&|rLa$j(RL9<1x0kyD`OzDN8&GOQ8B1fDoTaR{#>?o2ITPdQ>!BMXM8)&IN*=F#ZK^T#(1McVn`s8?Kd#8tdIFzWb9A$pI(O)d&z=R-m!GiUE(=`O8%TpKQr2Mc+*WPZ5c5%YbB0oC+Pm%-mMJ3TtQ_2u!H~){uNS{L2
zaJE4jkv?)J6GaH7gLP3Yw{V<58%O!U2$E8(zgHeqJtP$>t~gX_VCnwkkEOkQGxnsf
zM~1wpXf+m2w(cX^;LI-g&WR^zv=e_4w$MRXP$y+1w?v__msYPnTL?wbJ{crH8LbnN
z26*CVK-7-jUW6nGdFWQ!8fOd8Mc}k!JskUE)mnqC!hjC4CTnsOoAFq3bgAh;4dr7O
zD~}y2nS!ch4gq~w&aV3VSQ|?FDz`n7!t}!t+f5m2J}L>hncz<~oQJeggW!_NDG$>b
z!ur~u6r!n9@qZ^s8O@!Ko4|g)U`J;gNRDIl8R*=QhnPq>K4TJr^txbbUbmo;*bYGDStNwex-o`%7*J68!67L0ZD?Da(KkXDpfba0UO(3xZ6{
zj9YDo^(NJQ@n``@dan@A>N5D*;_BszH-u@|3L0uP%8NB(iO%$uo&;nDVu7!B74a7{8IA6z>EjBn)@{Se
z0;$+pw;hs%nJP^+AZut<7Q;kXBF&GAXY)7xFAnxSv#M+%q6)R+$tR>co%h?xGqPDs
z>r=ufcii|3;Va|6n$E)%8QPE0c(Y*PsZ`Jl;zz+usEFN!%LaVK@ZBavt0JH;#jNhKPgMK+&k6IXYT4v
z1|Xnzt~P7bf>%PF5mT1PC@!F<+Wg^M1In2U);^>CgyUoa-{q6~u^z}$!>NeZRo~Y7
zMnsp8as1~^HDB|BMO+zpyg`ydubXid61uNgGiW8IJpax0-y6;V=St49Fj3F)Dd=!`
zTyu4iMPmC1nQ`u^+sMJd=qHRn7Zx^e*MBF1_i&pH3An(Ib^8~`ulZRkTm<^W^eL;V
zQRB0tT5#H93&kWxi9ecz(DRa#7E(8)B+fVg4OQRqVj4lWYO{<6#~t=4H<8*@oT@c5
zv~!^OwSQKGiAsoMoGs8Krx%p}AqTGiXCMdV7B3;ShAGFAV+?+{EZ1bJrq^Y=cJ_x5
z*8$)afGN1hc?R%()HF*u6KCr6uu20@Nxcn6yazlet
znEW~Kxkm}rk^e;3^6V0-+IH50hSC063+H1b9u~~B9$L)&oBMfD5hYd>>W~q6q=Rg&
z;@4Q4r6Dk)*xy6Q9N>)*9b70Jg_@s_Oxq^InJmWk_+*I1Zq6=t3uO6%`SzQxZnL`G
z@lzj+VzamUfX9()ARv_{Z>OU;5F*5Nq0MudB9I*LFadr!$rVkMW4LZ#eAl_AqPxtB
z$JwXcF)P2}qUbfPPAR3!bvd9RJ+}0B*F{4NR`Iju5P&zousR1bR!5vNJpzWhD^>#^!)dwuk&eYFd$-RPGr!6d2>Ee2&wttV<
z`YJ9e@c2jP;*I}M{@fJ3_Gpe>`;ex+O3c24npF8PZrT3Z;8u%i5B+bcYpS3Ys)YgM
znvkLMMM#7GlaNL4_VqDIC3{euEctTNfx7krO>Bgj0T}PG_52KZkFCm*Gi7oNN^>?8
zYMequn01%rSL0#brP6RH#}GAE+iV_8zBogou}CV=GfwIW^e;msI&Gju5^JIDyur@g
zp&CCgn%Bfrf>Wrr$ihL=W2mM4%jXA|8>w0TkFr@}bY(Kw+#|A8q_QmXcKHyerx#^q
zqJKq0LvBtyO(+_uK>2D;kB?PsIY2LSP&^mnNaV>>TaQ;O?FA8v#^T))vQLNT>H}Q%
zcW%cmPcJkDbiWdugYJ((miZ1Rk)61YCuxIsn%zqlp#JrW79{4JCF8a+{hj?%hivdtt!Zny*;P4CLrA%rtB~YIUX&qH0YO?FVXKC%
z7Wp26?Cl@nm?XA?K}BA0TWH9{ophjD75xpf5PBk~NhC;BqV3lN>&0Q~6YL6s4l$sd
ztWslD?e)mI?~5T(a?3o*)btA0Zt*jwg+%(Nu!;ob@yjGb5cs0T!Rn>S{97!J^L1P6
zs~8xL=hyt58!aw_gyXSd5tcopyytGIm8H=G9#0V@_@(I8c;sX5x~cUYM5{e$Y%}_c
zS$>Mgd!ZZUwU$z$$%G|IBzd`zd7Sa$HrG^Fmj+JuUzsv|!fn<0nQ=vT0^-goJ#4*q
zg}g}bEa@TfVR`?czC-It#Onk~>fD1xq4bH%-q(ZF#HtBOmhTa$4?
zie**3{kM?Db@=9--U^}9kBQdA(KBT)s}sYI|F|Zer(37ahfl;4RY&#mW|IoOttSd(
zsC9ZI3OyDt>_mHX3SpB?Gph#!57Q^=mPu?72jjwW&x>RVDYH>ZvHV$N>vs<3RMi{k
zt5zBF^fzLE?q!H&GMAe*DMBvJdeyCMJwyKXX`Y62#6t_zZt7~e4N_iF5O+2g_Yz9x
z{T^?wU%n?}^i;P-WcRb4IBxWtYckM+dU4
z0TB7t+{vtbowJbkJ_P@0H99-O-|D)XhUsHWf
zF3$hA)F=M`u%_Yx#g?PD$}t}-RzENC2iZ*Gwp%<7R}Y>Qdj!7Nqo@@be4ck+{Fiqe
zu{U&4xENd!T95QY*X^Ug?N9x)-=)6Ijmx$B%g*VB#rEJxP3tp@4oO
zmyodPjuboq6y`2i=nLG|_Jc`->xq#WWD|{Q0wP>2@+Tq)6c*N9d=kCC&XQN29JJsB
z66y{H@D@7!E;b}g3=o7Se_<3Qm%%T9c8?GSWOV`9$w4nf`pN=bA4K|XuXX1)zieRk
z8cx9PqN1W4f83$QxJ8tiY?wd`VBDKSc#1s!K@Ng=OW9yAEngCmaFJi@>g5gv2_YdN
z={FR^F`}B$PLCtp1-5U1xE3-f{ozFieN$r+g1dqSs^Tz$;0f&_o;*m_Mf`Jm1{4uES!}3K$I!*V^j41=)H_hnSrZyaMNB|Y2(5t?Z17G!prmBuy4f8Vps)fG^d$85
z1z~Fl9XVZ3N^Gwn1O`5}j!;$gmJXvWcGo(Ec>#+I8YDzIKnkc}1zcF!L49H9?@q#e
z=#0P0#@6-Cj>4RSHwa^aJcq0c%`<`$VKwlg??pR@e7t{^ALK^{CLjTVv^qg+3R;-J
z`*-K(jVq>!Vg-EBr_c;xMO^;7`|{@z?d{;;q-PI4Rzxcsfxf5x0Bx;F5$EtV0(GKB^^AKtFL
z3EZC`YVWVd2^mCIvMYhRS}g_L+XoB!mW?2!vw?aV-Vdfca=<|6=lt1Hfia2;{laDP
zCouwGhk^Q_6eM8Bg#rY8&!j_z_ybh20Y~D*dh-kbS0{e}9(nZMsuwIANT74CSZ`7W
zGywV=FA6kJJ%EfEF!!+=nV^Ua5CcMqjXJ#}QNaT`zQcdURyGjAL=r9?I0|LovA+E{
zg$nbOY=YZyN}9zYf!T?z7R%1AgnR}PrIhPE*k#TSZ&QUETMUtR`p)WRd^#ezW8J>1
z@{J8;Lr!#`QRn5e?k)uSp0Y&>m!-GMi&!0p2HG&@qZJ>5=(dx~FU)(3k7twiZ{Myj
zeyB%*%dzW)BWZ_Mlrkl`lKv<2)dyOe8a#sd9FO7_#WI??cU7*zzgCDx=qfy;=~ro7
zvQ7l*Xpsi5BTPT@hEzv?rI@Z0*=H>2JEFW@55b~;WY9ed3g*A))2*I*oR^rDvKJcl
z@lfIsTD&IxWYtIj=gUi|6zJ(X#=`rJ%al9fu&?Me2e+7iX?=VTPWWUwD2AZRM6Het
z9@Mz0uOIFDgG9!B3}a36mSkj;q`=ifp$-RYuaLIz455M~O3Y_5As7WmSDT@)%-b(0oA9P~pH+-vkHGkHPEq%?PeF{0k)+VP~Fj
zpfa$uE;i}v#n+()I=qXehu@sh@Fp&N+y2@bZECH=U=$TkN
zTCwYtoeuWz;6yZ}FH$s~BLQelNk!KcS&G7fdw-Q+$)}3XCzk*wtoGFe)Bcg#wqJpO
zWc1obRNr5Gw6BU38cbA~F`v`z5sgXlG9^-wlH8vT=a|P!*I2G8$S5fXb{>+2Z?~Hr^qSHVL~e3c*sKr>2l*o&t7!48utE8znJjl3
z`ADwqkCdlrAw;*if~LTFb+#&YXH-=oA{*aiwPw5rtjx$JyeYEtH#+Kn5@D1@Rqe(hUqa?~CWhEViN*r)yXnJp-y6Kp_bxlBst?if98qC+CD(j*@%(yp|38@
zQOa+v(w~$SA8?81chNL(Fi6dtA#cuEK60`1WJXIq8h%3lyV}xns+rBO?#-63}2ce%;i
zj7~`E{fbw)Jl1)>f@j_l-wcD_aO~k9+(cre;(5}ar=W#4=M5c9y)i?wgN2i4iF{0Y
z_av3x);P%WKIGDJdN=$ZED#0Ia%&2c2SwXyZHaR&X@{ei8Ru*>1UJ_n#N_R3Th5Ml
zBk}F9$gOBLD(9)kzTZTcCl`CaXlhEc!4#iwFo0uT?Ghcj@+qTnmgqjlYOWZ_G{5rh
zGF6rSAI9DxRu?X6v)#6B+kUrg+qP|=ZQHhO+d604wr$mSZ&FEB@;9n8lhs_UnXG55
z@jQ{82ERVOE>x{U$Ds`uRj-S~bhzx}OwB@y&^OA6i7KuA#gDTkTr)*_01e{b&3a06
z3WJ$QA*?gKZ+PTWst?8lSu6#wc5sThg;cth)rS>3&-slOsP&Q{bX*
zwc_G3v*IYg=vBCYL;w#Cn?96Y1NFg~vfS+_@%z
zF|4gq%p@g(MfsF!L2s|wlj*k>=Al+h^@6n5k_1`$1gw{C47#vSe7WWc`2%AHgUN6t_e_}>(8A0@=QXfC$PDUi@u-5nYp|L@@>$DN{
z)A!W-V%ZZhy2>Zzm9RZIY|-L}{@p68HaEgeYd3UcDl<-_O^DaNbEmu1>bF9@`Zy1{6%3Ge^2oFt1o$YmX%FyDU=SN$)ilaG`PM@5vM36t_a9)$z
zu4eobQ~WZ@-VKew(mUiF;o*of6K2E+V=rSz!OW}C>>`oztAeec_6`!Si{x>A38ru+
za!=G7RVc{bQN4W%;SZjx5_S?u`eibNDqLt{sjD4F_4b(Qgq7W9%q^RwRBQZA2Po7<
znR3j@cUwl{Cbq9OzfP_a)-NCY=qdu(n>n8*r(Aw@NT$+PwHO|pNh2|r9m|z2*AW}@
zwp%MEb)0rA5_Ii+_19KSmb`Q}?;(&wk-MK=Rb?qJ1nAL2*NSo&!rkmj;^kReZ#5#p
zo3DHmUhq!#e8}b4Q`i%lumQGmSOM9g6nsXBDRw-L!^V)6Uk9VHl%2}n_v57|kevHS
zhlY;Nw3B8eMu?2vXeuk}**AXefKaWuK}sQ81q(DJr4Vygzu;00dF*Mr(i@Ac%;m*W
zq>V_0uaQTO%1_(d?LwdL1$~dXkWJR&LJv6hD!M9s(#b+RU(@%_X+npA1`|}Mb!%0@
z8Mu;;vN&tR{D1QvFJK`nZR;@vTL$IyK7s!tlmZbBs-PnqeZ*$N1uGfp7Ip>n`|HZH
zyKL3$uz@no0QB3<{}`;Wc^Qh84dS}afu&7@aRk>`~TZM4F4qovh@VSRm3cOjFmmP+Y_#7mlu9hza&*Es8+jx+
z;^$?7Vgx}Ht(7NvpSsmMH3Wn%TxJ8_mb|uNzn_O!mfFv2
z0`Zu&6R-1C8C-loMz+V|Gu%QJMYBvnNw`w^e>uqxjo@FWwbYBi_mVQ~iWf@Do&;S?J9OcF
zn)14N_ZGMIF{35R(@NnGfR`a_gG}R{3icp)gT@*IlD(9!{RynL)9Y(iPAA|21bt?8
zKduRhB#YaC_=K5@BLkgac9xMinqe|6}V)Wcg@2s29pZS%yGCbZQa|MN#2wIe%g(r{tH5JvR~hA66S~R^Xa29Wm|2w^;LD3xfo$S|7f0{opbN`mGXrk24Xq=y~-|G
z$Y6r`>D;>KfHD*9owgB`X7(BCu$5d=)n4MYqer8|9Nuvn~s+%@*Bi=_XX_Cv`trE#lG%38T4+#
z8v1M2V1Jq{hg8|C9DGTTD=qhl_$LN#{5iAyB)
z(U$A}hX3*#U(Nq4jSh%y$6ckhjz#_a93e*wcQLAR()81;gC$;MS5gDFe{J`
z2wdsWO?2nylY1O+zT-q)JL~`zZ%#=4)ie_JUXW@5e?7^?Y$bCndkHh`x0WmSPM`&-4&J@VdJiXw5N`Lp9j8I}|{
zV_FmTRqZ{i1%l9MR<$QuyPq?r2UVUfuKvV|gefK-KDqp!$p$c{MH5O84zA>ztMw
z^VJs1#+h-QK1XKRM1$ERPmKa{*Y_}#2!7t6OK`Zv=pdRs{F8j|bURpgv23)ViQn!w
zffPB0_64@=?t(ecCtK@v5P|HOsy)`6c1n0>n!7`aro`7AZcI&DuaqFJv!%)V5NVk)`S^F%73pqdk$US@ih(ok0>^kVfRn3is5^P-Cd8oS
z*pU2{%7=_sMT*%^+qI@8yCtW$p5$l?2iQhS1bv<`chXyty1i0&uz;z=@(X8U`BUMW
zpH{}}K`LfpM^xM)Tf?jlCf7!lz@F@v&D3IwiL)QY?nb%v1BKw?OJ-~e=x3+i$8Qf>YLww|r&jC9e6$Q!nh729J1%lVj$8UG
zf|{DPpc5oAP!A5a>i*er2X%|fzrWPAaetZ`6To;VYnsvZUF-6|FzmacZd@#EtE70En0Tfx5_
zxfQ6_rDMy4Qsz}Ux_C4it~wsF0oc{_F&R5#+`=T7eMD)3O>jNvg%Kuku_jA~Hzt~|
zVhp57-}b-I%*MAy9{s?>Vt*%l2Ty3ZqTD&cYtK#~{~5DBy-?ZPoQubmHpag+SK5;07#Vn5&ffmB;(CrJ)K~Bp7mjw
zXXz7>BgpRaJM1H
ztCcOBvFB}M-=pkagi;(iXT*A)6G+
zk9nw`tmnYtDIdgH07?rSr9QJLUDONXEq}qH6Ad^)%UjiI1ZEb-2;XKnKRPmzEFv=%
z6=C^>uRbr*a-5r2ly=i-OU#ZVZKr?cX!qE4>CHg!422*>k<{Os6|-jjb1xH
zO>MY1yIaPWcrLH4sSZ*Wm3ipk@@?{S1LzJ`2&-VF_6nTR{f+hYuE2b4AV
z3Cn+mtYREIzHBEH7dp3|JBeU-yhuR3!?QI|(CMvXq88@U7-xNoT$~pp9-3;P=4hZv
zvD0iwPN9Nqgv7(Lc6w6t)ySZi7t(@l=_M$f&SiwGbIBVQ(cwAr7+ATfv=1kF{FAA9
z5L=I(lki}FFaHwy=SLP4l)0MF$<&K+fTrHW0r!PLGOYrdN-IZ4U;DUjUch-eXJ@Lf
zLv$kv?YdOzQSH<>j$ZKO{_r*W+`2dW`qbY=fIYp5(XM`tj=6~hb^sN9XRV|3d06So
zcj%yo#JmQgm
zkrC$27VhNI<>@?^nAI*b0aqk6l>O<8_u`#j
zGdCltKX0H)!bE}lLKS+n^DM#bkAIe2W^NL3$?6XK=eba%CFhTu%vwtQ`o5Z@o?@0$
z&&nG-8<|&?v3abpC1pd86K|F<2oaSf9ukmW#ei`6OAoRvyGeOJyN}-R@)brl9Je4o@c-wMwp`biBl_svSvvj3&K!8)5JgaPS2|pgtvfv8bmrW!-Z^GH
z+Sr`EL(2VPmg@=)TQ;0YFJiB}+p%PVjh8^%3pU59t9^fZGwM?x@js#U`vG+ChGbnSH+Fld;~`J?oi4Z7Rp;
z@O6Y3dy0G1lp2tiiJ*9p@F#rn=J9nWkoPBU
z(RvScpeR$_w}jg_q=@)3MZF99;(W~nI+U`cdhijC8nk5qs@OC??C8uK
ztZQbMV6F(U*<_8F_XyM9%u)|Q1}~TAc%wJ({BZfD67G2qsU~))+Lzpi8$b`X?$I5Z
zo;%0~W|#^y7MCIHf=F>ib9=ONGe?gM%CfFMGCFw1EssLKZh%r3F%4osX-M5t_FF;nyKHtIzM*e*8Nso?wPwviyR`t*!`r7N4;`WiYI0SzN$
zXT32mRHvU8O!MBBV(~~tgBMxv@60YAb>D(VqD^QQ_FwNzp3GPiwG$N3M-mK@9VyLO
z-LrjG?Y>GVEAKw5*RIoX1_WULHcx`rzu@v(9Q1VHZGEAKShv|mZC}x+?lHUK_7WFz
z?+>Q0|D^hzR4iZ0s{i2)2dyD-uUB+Px*D$43CQ@2aR!(x^xv5Xmd*;gQw)#*jV0@C
zxr$CLrYP^jfI4fo69mwYH$SXurrGyF`nQa{hpK^ETd+kXVt=t5Hi7oFw
zdtk8pCb2(!r&W9Rf5A7Ufyi^;PaJq&xVcCW|6@X(qk=YNX+v`fE%&B#c!uOvM#0~_
zp3k-Di7OAB^afmtfsS(;-7HWaZKH*_IDo(lhi;0OfNtMek(X@IY7|S7u{<&dy<$ys
zDGxOVkyGS9Mk9eVkBDoj5=stMJ#L*i*wRT-Sf4vuOk=q_XsIcpFvg0)K>*~*etTRS
z)x6eNMk)R&AnlslWxniV9HZo9uVa5UKP<+M-4mRm-zH{Rmn!j~0rRO7$_#77x#miS
zdpzr7r=z6!$hJus4!tSLP{NimVrd?Z@qn(gp5Zoj@uA$$li>Q0SDeK%jJ&;!{5=5h
zWe+K7VtZYpGQ*h4A
z#LC6-|LVAF0as1A#^8_zED-S#5%Gz5$Vhv@fWk42D2f0UwzsKcTa*{bwvxU)o#@QfT07~~U}1jWU~Wx`;=fc|)L
z3K7}UiHqA&Z4o>;fMXOhjEtgRK%xE&i;jVVgb7UP2kytG(Zn$YCS~&lMnevaGR}|_
z!GQpG2oV(qU~_jtf$9ft7p4KB%LgWr!W~47QXQTh9fP#C{Slz}SVbPN9R%4!K|wM6
zoyI3R26FnN9cToE&a?$_aF;O;VvG3Cxg}6|PyZJ^NNWiK!2<;XgpZe(a}c2}Cyrs|
zfbI$ik!lN~0Qx`9yhDTzxIY`BA_$-8_aYWG8o9s@)a_fR_}CKs6{uSfC?3S80vzn*
zZX=CA=^Um_u3eIx+T0bHP`_8L$?`M($Eps&)S
z4|@Nrp}*sk^U#LRYfvMI*5F=W!w*j2-6BAan1G1m+G^}iXvZqtI;otVzvO}4)m@4MPo
zRuT$JSJKg$4@T+b!x(Bm%PhAtVC>(*DBzuEVf=hdcrSA`TF=2l{t`H~|Wz{R{jK
zBzQ)6#~lA1ut$0w*dVZHVmki+jdB4ZMxe6?$RkLg{eXdS|E-_E_{gna&`v^BuOHz5
z#y9w{O&Nwg14F#XuMH{zLtV>s`bGngrWUdSlvc+lH9a*cIya|DK4zP>G}peF?R{_4r!u5=$(XlXkhNQV?6qD)
zL&IDLx=nw<(Z50TafJ)@v)E!CJEwtyxZT)(AZ4LtE`jOAd3R6Y{bVKyWJes1z*2;H
zRJ-|?`X`krN>LX0wiZJASqWEm_Idn1cmt-1f1cfAoJ_l{F}`Ky>u77p;<>+O3+MOM
zg8VP?&WOlg_i_p0j2uC<5{;@bd(Pats>KxSAE&qb&5%DbrctH*oAD}4DL3vznLst&
z0IuNSJueTBfCh#XcN`&S8Ii
zeDt-h>_jczr<6=iu6C^N1xRns&
z1;Is>t%~wYOwVHkjB5R466fOU^#+hXbbKXPJBF{_DV1YM0JMDD<1YU8
zDX*O5EGPl0>8ykDn5!r_^qV*hGPYCg2$tldOYiyzw-Ct~eT%3MODi3McmsZ&7
z7Rk<1Rq-(RKQ&fgxu8ahzO4XSVSLnLHK!GuD9t%c2FVe3<~PU}%$H}m`-q{*VJPPh
ztc$~`Yg+GZU&t6;E$O}qR6dcPr${>V+su$NG^VxkS6CJ~VP|UbvLlurT(&AxP%>!`
zR|S}LfrCuxl7~0lwy3xb-w&a232%vnNiUj74%0!A$`qki&bQvzKzkP-6O-?9;W1AC
zDv2ZLr?y*>RSy-C9H|!>J4ZDiSEfoiG2Xuy=6mw^jF*0>H}_XQ=CnIqu!A+c4i9RS
zjHxLOoz&&__Rm&3#BU}>9QP1o!v-~9^~(A7m$}!Lnl|&(n^S~{>de2Iqrdmt8na{P
z^6Oc@#rdNfRVJcir@jYFYq0h$+c1*2DH=2nnSvQY2bI_Iq^*0)S}i?$k-vUzUs5_g
zw?6t#n|gH~^z1!4+Jdm4p0Y1A8vb!+^PyZkP>U}yuOjbT_tF?K#m70DrH0awMwmZi-#`-<#>_l7f+^8^5+B$<;3fDI0GQt7MxfHyTQ4GVhOD
zw%zM=kE6yY%Y%Wz!3qcdxW5EvnfF-^`T^^n+OwZSd^&&e
zz-`P;&TEUNnWN#wHKCc&uXr%q;h70ek3ikpihO}M>f|?2i&VSwqOl@OomJUzQvs@By3Hc&
zJmJ4KT~TLY{b`ADKMAKE_pGbAmL^>*>ohoyg@8)E2y#(+B`pFz0PKJA0U7jB!7S?K
zUtd?U1gYQ`q2{Vh#0s`iowF8X{+c8Ti+zG(vggk9yU+C|Fsq=rhs(kDhm^Hm@bzA8
z`Drc?8|(6-&DHbHx`hPBENCZMsV|5Z%ChBoS%;*WtGGM&E8$sd(o5myW}I=#a`6rF
z8DER!(?Fr2?9{$Ej@RXAOKdqNYz5N*TBX-A{HF%O`_1T3>907>f0XQ(H&lR@78$Os$AELhR{A5BQdyrEY=u6T$QCWS$lC?LJfCr#$xrn)k6ugx@<#zL?r|`lAd?nH5{VsS^oz1k~
zchtT4?FzRaN|o9((CwwpT|nC(+%(K)^K)>nn}_BH6pmV8h#jx0T?|$3hE)G6)(lFVnd*T
zb3u}GwPP10KJ#ais$8m89Pa5IJ@S3dC}8@JO>O9uL2cCGh?e!5y44ePmvj>rnM-mOWBIg-}5u
zvbn0{4!RpnzLhtft}-v6UMZx!&|k4T!c?!i
z3e%|2?{rV4s4q{r7r>A<3YMZZD6q|U=a68_K31A?=1o~}liCB4C3o=(<%3EQ|2*Yu
z9vnNh%|HW;IU@-gMmH_