From f9a3dbbbed359e884ec5f169c332d803b91c7bd2 Mon Sep 17 00:00:00 2001
From: patham9 <patham9@91dfdad4-c543-0410-b26a-7d79dded8189>
Date: Sun, 27 Jul 2014 06:45:24 +0000
Subject: [PATCH] fix example numbers from NAL1-6, todo: look why
contraposition has stopped working, add new recursion example in Peis format,
fix numbers in multistep, add new NAL6 examples shown in fixed issues
---
nars-dist/Examples/Example-NAL1-unedited.txt | 60 +++++-----
nars-dist/Examples/Example-NAL2-edited.txt | 4 +-
nars-dist/Examples/Example-NAL2-unedited.txt | 75 ++++++-------
nars-dist/Examples/Example-NAL3-unedited.txt | 109 ++++++++++---------
nars-dist/Examples/Example-NAL4-unedited.txt | 53 ++++-----
nars-dist/NARS.jar | Bin 132761 -> 134214 bytes
6 files changed, 152 insertions(+), 149 deletions(-)
diff --git a/nars-dist/Examples/Example-NAL1-unedited.txt b/nars-dist/Examples/Example-NAL1-unedited.txt
index f335546..2410c9a 100644
--- a/nars-dist/Examples/Example-NAL1-unedited.txt
+++ b/nars-dist/Examples/Example-NAL1-unedited.txt
@@ -2,50 +2,50 @@
IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
IN: <bird --> swimmer>. %0.10;0.60% {0 : 2}
1
- OUT: <bird --> swimmer>. %0.87;0.91% {1 : 1;2}
+ OUT: <bird --> swimmer>. %0.87;0.91% {1 : 2;1}
********** deduction
IN: <bird --> animal>. %1.00;0.90% {0 : 1}
IN: <robin --> bird>. %1.00;0.90% {0 : 2}
3
- OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1}
- OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1}
+ OUT: <robin --> animal>. %1.00;0.81% {3 : 1;2}
+ OUT: <animal --> robin>. %1.00;0.45% {3 : 1;2}
********** abduction
IN: <sport --> competition>. %1.00;0.90% {0 : 1}
IN: <chess --> competition>. %0.90;0.90% {0 : 2}
3
- OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {5 : 2;1}
- OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {5 : 2;1}
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {5 : 2;1}
- OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {5 : 2;1}
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {5 : 2;1}
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {5 : 2;1}
- OUT: <sport --> chess>. %1.00;0.42% {5 : 2;1}
- OUT: <chess --> sport>. %0.90;0.45% {5 : 2;1}
- OUT: <chess <-> sport>. %0.90;0.45% {5 : 2;1}
+ OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 1;2}
+ OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 1;2}
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 1;2}
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 1;2}
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 1;2}
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 1;2}
+ OUT: <sport --> chess>. %1.00;0.42% {3 : 1;2}
+ OUT: <chess --> sport>. %0.90;0.45% {3 : 1;2}
+ OUT: <chess <-> sport>. %0.90;0.45% {3 : 1;2}
********* induction
IN: <swan --> swimmer>. %0.90;0.90% {0 : 1}
IN: <swan --> bird>. %1.00;0.90% {0 : 2}
3
- OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {5 : 2;1}
- OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {5 : 2;1}
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {5 : 2;1}
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1}
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1}
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {5 : 2;1}
- OUT: <bird --> swimmer>. %0.90;0.45% {5 : 2;1}
- OUT: <swimmer --> bird>. %1.00;0.42% {5 : 2;1}
- OUT: <bird <-> swimmer>. %0.90;0.45% {5 : 2;1}
+ OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {3 : 1;2}
+ OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {3 : 1;2}
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {3 : 1;2}
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2}
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2}
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {3 : 1;2}
+ OUT: <bird --> swimmer>. %0.90;0.45% {3 : 1;2}
+ OUT: <swimmer --> bird>. %1.00;0.42% {3 : 1;2}
+ OUT: <bird <-> swimmer>. %0.90;0.45% {3 : 1;2}
********** exemplification
IN: <robin --> bird>. %1.00;0.90% {0 : 1}
IN: <bird --> animal>. %1.00;0.90% {0 : 2}
3
- OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1}
- OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1}
+ OUT: <robin --> animal>. %1.00;0.81% {3 : 1;2}
+ OUT: <animal --> robin>. %1.00;0.45% {3 : 1;2}
********** conversion
IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
IN: <swimmer --> bird>? {0 : 2}
6
- OUT: <swimmer --> bird>. %1.00;0.47% {4 : 1}
+ OUT: <swimmer --> bird>. %1.00;0.47% {6 : 1}
********** "y/n" question
IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
IN: <bird --> swimmer>? {0 : 2}
@@ -56,14 +56,14 @@
IN: <?1 --> swimmer>? {0 : 2}
5
OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- OUT: <?1 --> bird>? {4 : 1;2}
- OUT: <bird --> ?1>? {4 : 1;2}
- OUT: <?1 <-> bird>? {4 : 1;2}
+ OUT: <?1 --> bird>? {5 : 2;1}
+ OUT: <bird --> ?1>? {5 : 2;1}
+ OUT: <?1 <-> bird>? {5 : 2;1}
********** backward inference
IN: <bird --> swimmer>. %1.00;0.80% {0 : 1}
IN: <?1 --> swimmer>? {0 : 2}
5
OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1}
- OUT: <?1 --> bird>? {4 : 1;2}
- OUT: <bird --> ?1>? {4 : 1;2}
- OUT: <?1 <-> bird>? {4 : 1;2}
+ OUT: <?1 --> bird>? {5 : 2;1}
+ OUT: <bird --> ?1>? {5 : 2;1}
+ OUT: <?1 <-> bird>? {5 : 2;1}
diff --git a/nars-dist/Examples/Example-NAL2-edited.txt b/nars-dist/Examples/Example-NAL2-edited.txt
index 7d2b576..f120cc4 100644
--- a/nars-dist/Examples/Example-NAL2-edited.txt
+++ b/nars-dist/Examples/Example-NAL2-edited.txt
@@ -58,7 +58,7 @@
<bird --> swan>. %0.10%
// Bird is not a type of swan.
1
- OUT: <bird <-> swan>. %0.10;0.89%
+ OUT: <bird <-> swan>. %0.10;0.81%
// Bird is different from swan.
********** conversions between inheritance and similarity
@@ -67,7 +67,7 @@
<bird <-> swan>. %0.10%
// Bird is different from swan.
1
- OUT: <bird --> swan>. %0.10;0.74%
+ OUT: <bird --> swan>. %0.10;0.73%
// Bird is probably not a type of swan.
********** conversions between inheritance and similarity
diff --git a/nars-dist/Examples/Example-NAL2-unedited.txt b/nars-dist/Examples/Example-NAL2-unedited.txt
index 2ad9fcf..a6d6073 100644
--- a/nars-dist/Examples/Example-NAL2-unedited.txt
+++ b/nars-dist/Examples/Example-NAL2-unedited.txt
@@ -1,101 +1,102 @@
+*****RESET*****
********** revision
IN: <robin <-> swan>. %1.00;0.90% {0 : 1}
IN: <robin <-> swan>. %0.10;0.60% {0 : 2}
1
- OUT: <robin <-> swan>. %0.87;0.91% {1 : 1;2}
+ OUT: <robin <-> swan>. %0.87;0.91% {1 : 2;1}
********** comparison
IN: <swan --> swimmer>. %0.90;0.90% {0 : 1}
IN: <swan --> bird>. %1.00;0.90% {0 : 2}
3
- OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {5 : 2;1}
- OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {5 : 2;1}
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {5 : 2;1}
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1}
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1}
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {5 : 2;1}
- OUT: <bird --> swimmer>. %0.90;0.45% {5 : 2;1}
- OUT: <swimmer --> bird>. %1.00;0.42% {5 : 2;1}
- OUT: <bird <-> swimmer>. %0.90;0.45% {5 : 2;1}
+ OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {3 : 1;2}
+ OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {3 : 1;2}
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {3 : 1;2}
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2}
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2}
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {3 : 1;2}
+ OUT: <bird --> swimmer>. %0.90;0.45% {3 : 1;2}
+ OUT: <swimmer --> bird>. %1.00;0.42% {3 : 1;2}
+ OUT: <bird <-> swimmer>. %0.90;0.45% {3 : 1;2}
********** comparison
IN: <sport --> competition>. %1.00;0.90% {0 : 1}
IN: <chess --> competition>. %0.90;0.90% {0 : 2}
3
- OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 2;1}
- OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 2;1}
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 2;1}
- OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 2;1}
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 2;1}
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 2;1}
- OUT: <sport --> chess>. %1.00;0.42% {3 : 2;1}
- OUT: <chess --> sport>. %0.90;0.45% {3 : 2;1}
- OUT: <chess <-> sport>. %0.90;0.45% {3 : 2;1}
+ OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 1;2}
+ OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 1;2}
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 1;2}
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 1;2}
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 1;2}
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 1;2}
+ OUT: <sport --> chess>. %1.00;0.42% {3 : 1;2}
+ OUT: <chess --> sport>. %0.90;0.45% {3 : 1;2}
+ OUT: <chess <-> sport>. %0.90;0.45% {3 : 1;2}
********** analogy
IN: <swan --> swimmer>. %1.00;0.90% {0 : 1}
IN: <gull <-> swan>. %1.00;0.90% {0 : 2}
3
- OUT: <gull --> swimmer>. %1.00;0.81% {5 : 2;1}
+ OUT: <gull --> swimmer>. %1.00;0.81% {3 : 1;2}
********** analogy
IN: <gull --> swimmer>. %1.00;0.90% {0 : 1}
IN: <gull <-> swan>. %1.00;0.90% {0 : 2}
3
- OUT: <swan --> swimmer>. %1.00;0.81% {5 : 2;1}
+ OUT: <swan --> swimmer>. %1.00;0.81% {3 : 1;2}
********** resemblance
IN: <robin <-> swan>. %1.00;0.90% {0 : 1}
IN: <gull <-> swan>. %1.00;0.90% {0 : 2}
3
- OUT: <gull <-> robin>. %1.00;0.81% {5 : 2;1}
+ OUT: <gull <-> robin>. %1.00;0.81% {3 : 1;2}
********** conversions between inheritance and similarity
IN: <swan --> bird>. %1.00;0.90% {0 : 1}
IN: <bird --> swan>. %0.10;0.90% {0 : 2}
1
- OUT: <bird <-> swan>. %0.10;0.81% {3 : 2;1}
+ OUT: <bird <-> swan>. %0.10;0.81% {1 : 1;2}
********** conversions between inheritance and similarity
IN: <swan --> bird>. %1.00;0.90% {0 : 1}
IN: <bird <-> swan>. %0.10;0.90% {0 : 2}
1
- OUT: <bird --> swan>. %0.10;0.73% {3 : 2;1}
+ OUT: <bird --> swan>. %0.10;0.73% {1 : 1;2}
********** conversions between inheritance and similarity
IN: <swan --> bird>. %0.90;0.90% {0 : 1}
IN: <bird <-> swan>? {0 : 2}
6
- OUT: <bird <-> swan>. %0.90;0.47% {4 : 1}
+ OUT: <bird <-> swan>. %0.90;0.47% {6 : 1}
********** conversions between inheritance and similarity
IN: <bird <-> swan>. %0.90;0.90% {0 : 1}
IN: <swan --> bird>? {0 : 2}
6
- OUT: <swan --> bird>. %0.90;0.81% {4 : 1}
+ OUT: <swan --> bird>. %0.90;0.81% {6 : 1}
********** set definition
IN: <{Tweety} --> {Birdie}>. %1.00;0.90% {0 : 1}
3
- OUT: <{Birdie} <-> {Tweety}>. %1.00;0.90% {7 : 1}
+ OUT: <{Birdie} <-> {Tweety}>. %1.00;0.90% {3 : 1}
********** set definition
IN: <[smart] --> [bright]>. %1.00;0.90% {0 : 1}
1
- OUT: <[bright] <-> [smart]>. %1.00;0.90% {5 : 1}
+ OUT: <[bright] <-> [smart]>. %1.00;0.90% {1 : 1}
********** set definition
IN: <{Birdie} <-> {Tweety}>. %1.00;0.90% {0 : 1}
1
- OUT: <Birdie <-> Tweety>. %1.00;0.90% {5 : 1}
- OUT: <{Tweety} --> {Birdie}>. %1.00;0.90% {5 : 1}
+ OUT: <Birdie <-> Tweety>. %1.00;0.90% {1 : 1}
+ OUT: <{Tweety} --> {Birdie}>. %1.00;0.90% {1 : 1}
********** set definition
IN: <[bright] <-> [smart]>. %1.00;0.90% {0 : 1}
1
- OUT: <bright <-> smart>. %1.00;0.90% {5 : 1}
- OUT: <[bright] --> [smart]>. %1.00;0.90% {5 : 1}
+ OUT: <bright <-> smart>. %1.00;0.90% {1 : 1}
+ OUT: <[bright] --> [smart]>. %1.00;0.90% {1 : 1}
********** structure transformation
IN: <Birdie <-> Tweety>. %0.90;0.90% {0 : 1}
IN: <{Birdie} <-> {Tweety}>? {0 : 2}
6
- OUT: <{Birdie} <-> {Tweety}>. %0.90;0.90% {2 : 1}
+ OUT: <{Birdie} <-> {Tweety}>. %0.90;0.90% {6 : 1}
********** structure transformation
IN: <bright <-> smart>. %0.90;0.90% {0 : 1}
IN: <[bright] --> [smart]>? {0 : 2}
6
- OUT: <[bright] <-> [smart]>. %0.90;0.90% {2 : 1}
+ OUT: <[bright] <-> [smart]>. %0.90;0.90% {6 : 1}
********** backward inference
IN: <bird --> swimmer>. %1.00;0.90% {0 : 1}
IN: <{?1} --> swimmer>? {0 : 2}
5
- OUT: <{?1} --> bird>? {4 : 1;2}
- OUT: <bird --> {?1}>? {4 : 1;2}
- OUT: <bird <-> {?1}>? {4 : 1;2}
+ OUT: <{?1} --> bird>? {5 : 2;1}
+ OUT: <bird --> {?1}>? {5 : 2;1}
+ OUT: <bird <-> {?1}>? {5 : 2;1}
diff --git a/nars-dist/Examples/Example-NAL3-unedited.txt b/nars-dist/Examples/Example-NAL3-unedited.txt
index a775dbf..bb74d94 100644
--- a/nars-dist/Examples/Example-NAL3-unedited.txt
+++ b/nars-dist/Examples/Example-NAL3-unedited.txt
@@ -1,114 +1,115 @@
+*****RESET*****
********** compound composition, two premises
IN: <swan --> swimmer>. %0.90;0.90% {0 : 1}
IN: <swan --> bird>. %0.80;0.90% {0 : 2}
3
- OUT: <swan --> (|,bird,swimmer)>. %0.98;0.81% {5 : 2;1}
- OUT: <swan --> (&,bird,swimmer)>. %0.72;0.81% {5 : 2;1}
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %0.80;0.42% {5 : 2;1}
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.39% {5 : 2;1}
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.73;0.44% {5 : 2;1}
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.72;0.81% {5 : 2;1}
- OUT: <bird --> swimmer>. %0.90;0.39% {5 : 2;1}
- OUT: <swimmer --> bird>. %0.80;0.42% {5 : 2;1}
- OUT: <bird <-> swimmer>. %0.73;0.44% {5 : 2;1}
+ OUT: <swan --> (|,bird,swimmer)>. %0.98;0.81% {3 : 1;2}
+ OUT: <swan --> (&,bird,swimmer)>. %0.72;0.81% {3 : 1;2}
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %0.80;0.42% {3 : 1;2}
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.39% {3 : 1;2}
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.73;0.44% {3 : 1;2}
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.72;0.81% {3 : 1;2}
+ OUT: <bird --> swimmer>. %0.90;0.39% {3 : 1;2}
+ OUT: <swimmer --> bird>. %0.80;0.42% {3 : 1;2}
+ OUT: <bird <-> swimmer>. %0.73;0.44% {3 : 1;2}
********** compound composition, two premises
IN: <sport --> competition>. %0.90;0.90% {0 : 1}
IN: <chess --> competition>. %0.80;0.90% {0 : 2}
3
- OUT: <(&,chess,sport) --> competition>. %0.98;0.81% {3 : 2;1}
- OUT: <(|,chess,sport) --> competition>. %0.72;0.81% {3 : 2;1}
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.80;0.42% {3 : 2;1}
- OUT: <<chess --> $1> ==> <sport --> $1>>. %0.90;0.39% {3 : 2;1}
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.73;0.44% {3 : 2;1}
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.72;0.81% {3 : 2;1}
- OUT: <sport --> chess>. %0.90;0.39% {3 : 2;1}
- OUT: <chess --> sport>. %0.80;0.42% {3 : 2;1}
- OUT: <chess <-> sport>. %0.73;0.44% {3 : 2;1}
+ OUT: <(&,chess,sport) --> competition>. %0.98;0.81% {3 : 1;2}
+ OUT: <(|,chess,sport) --> competition>. %0.72;0.81% {3 : 1;2}
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.80;0.42% {3 : 1;2}
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %0.90;0.39% {3 : 1;2}
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.73;0.44% {3 : 1;2}
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.72;0.81% {3 : 1;2}
+ OUT: <sport --> chess>. %0.90;0.39% {3 : 1;2}
+ OUT: <chess --> sport>. %0.80;0.42% {3 : 1;2}
+ OUT: <chess <-> sport>. %0.73;0.44% {3 : 1;2}
********** compound decomposition, two premises
IN: <robin --> (|,bird,swimmer)>. %1.00;0.90% {0 : 1}
IN: <robin --> swimmer>. %0.00;0.90% {0 : 2}
10
- OUT: <robin --> bird>. %1.00;0.81% {3 : 1;2}
+ OUT: <robin --> bird>. %1.00;0.81% {10 : 2;1}
********** compound decomposition, two premises
IN: <robin --> swimmer>. %0.00;0.90% {0 : 1}
IN: <robin --> (-,mammal,swimmer)>. %0.00;0.90% {0 : 2}
12
- OUT: <robin --> mammal>. %0.00;0.81% {3 : 2;1}
+ OUT: <robin --> mammal>. %0.00;0.81% {12 : 1;2}
********** set operations
IN: <planetX --> {Mars,Pluto,Venus}>. %0.90;0.90% {0 : 1}
IN: <planetX --> {Pluto,Saturn}>. %0.70;0.90% {0 : 2}
10
- OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.97;0.81% {3 : 1;2}
- OUT: <planetX --> {Pluto}>. %0.63;0.81% {3 : 1;2}
- OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.36% {3 : 1;2}
- OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.70;0.42% {3 : 1;2}
- OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.65;0.44% {3 : 1;2}
- OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.63;0.81% {3 : 1;2}
- OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.70;0.42% {3 : 1;2}
- OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.36% {3 : 1;2}
- OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.65;0.44% {3 : 1;2}
+ OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.97;0.81% {10 : 2;1}
+ OUT: <planetX --> {Pluto}>. %0.63;0.81% {10 : 2;1}
+ OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.36% {10 : 2;1}
+ OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.70;0.42% {10 : 2;1}
+ OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.65;0.44% {10 : 2;1}
+ OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.63;0.81% {10 : 2;1}
+ OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.70;0.42% {10 : 2;1}
+ OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.36% {10 : 2;1}
+ OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.65;0.44% {10 : 2;1}
********** set operations
IN: <planetX --> {Mars,Pluto,Venus}>. %0.90;0.90% {0 : 1}
IN: <planetX --> {Pluto,Saturn}>. %0.10;0.90% {0 : 2}
10
- OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.91;0.81% {10 : 1;2}
- OUT: <planetX --> {Pluto}>. %0.09;0.81% {10 : 1;2}
- OUT: <planetX --> {Mars,Venus}>. %0.81;0.81% {10 : 1;2}
- OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.07% {10 : 1;2}
- OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.10;0.42% {10 : 1;2}
- OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.10;0.42% {10 : 1;2}
- OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.09;0.81% {10 : 1;2}
- OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.10;0.42% {10 : 1;2}
- OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.07% {10 : 1;2}
- OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.10;0.42% {10 : 1;2}
+ OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.91;0.81% {10 : 2;1}
+ OUT: <planetX --> {Pluto}>. %0.09;0.81% {10 : 2;1}
+ OUT: <planetX --> {Mars,Venus}>. %0.81;0.81% {10 : 2;1}
+ OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.07% {10 : 2;1}
+ OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.10;0.42% {10 : 2;1}
+ OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.10;0.42% {10 : 2;1}
+ OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.09;0.81% {10 : 2;1}
+ OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.10;0.42% {10 : 2;1}
+ OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.07% {10 : 2;1}
+ OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.10;0.42% {10 : 2;1}
********** composition on both sides of a statement
IN: <bird --> animal>. %0.90;0.90% {0 : 1}
IN: <(&,bird,swimmer) --> (&,animal,swimmer)>? {0 : 2}
6
- OUT: <(&,bird,swimmer) --> animal>. %0.90;0.73% {2 : 1}
- OUT: <(&,bird,swimmer) --> (&,animal,swimmer)>. %0.90;0.73% {2 : 1}
+ OUT: <(&,bird,swimmer) --> animal>. %0.90;0.73% {6 : 1}
+ OUT: <(&,bird,swimmer) --> (&,animal,swimmer)>. %0.90;0.73% {6 : 1}
********** composition on both sides of a statement
IN: <bird --> animal>. %0.90;0.90% {0 : 1}
IN: <(-,swimmer,animal) --> (-,swimmer,bird)>? {0 : 2}
6
- OUT: <bird --> (-,swimmer,animal)>. %0.10;0.73% {2 : 1}
- OUT: <(-,swimmer,animal) --> (-,swimmer,bird)>. %0.90;0.73% {2 : 1}
+ OUT: <bird --> (-,swimmer,animal)>. %0.10;0.73% {6 : 1}
+ OUT: <(-,swimmer,animal) --> (-,swimmer,bird)>. %0.90;0.73% {6 : 1}
********** compound composition, one premise
IN: <swan --> bird>. %0.90;0.90% {0 : 1}
IN: <swan --> (|,bird,swimmer)>? {0 : 2}
7
- OUT: <swan --> (|,bird,swimmer)>. %0.90;0.73% {3 : 1}
- OUT: <(|,swan,swimmer) --> (|,bird,swimmer)>. %0.90;0.73% {3 : 1}
+ OUT: <swan --> (|,bird,swimmer)>. %0.90;0.73% {7 : 1}
+ OUT: <(|,swan,swimmer) --> (|,bird,swimmer)>. %0.90;0.73% {7 : 1}
********** compound composition, one premise
IN: <swan --> bird>. %0.90;0.90% {0 : 1}
IN: <(&,swan,swimmer) --> bird>? {0 : 2}
6
- OUT: <(&,swan,swimmer) --> bird>. %0.90;0.73% {2 : 1}
- OUT: <(&,swan,swimmer) --> (&,bird,swimmer)>. %0.90;0.73% {2 : 1}
+ OUT: <(&,swan,swimmer) --> bird>. %0.90;0.73% {6 : 1}
+ OUT: <(&,swan,swimmer) --> (&,bird,swimmer)>. %0.90;0.73% {6 : 1}
********** compound composition, one premise
IN: <swan --> bird>. %0.90;0.90% {0 : 1}
IN: <swan --> (-,swimmer,bird)>? {0 : 2}
7
- OUT: <swan --> (-,swimmer,bird)>. %0.10;0.73% {3 : 1}
- OUT: <(-,swimmer,bird) --> (-,swimmer,swan)>. %0.90;0.73% {3 : 1}
+ OUT: <swan --> (-,swimmer,bird)>. %0.10;0.73% {7 : 1}
+ OUT: <(-,swimmer,bird) --> (-,swimmer,swan)>. %0.90;0.73% {7 : 1}
********** compound composition, one premise
IN: <swan --> bird>. %0.90;0.90% {0 : 1}
IN: <(~,swimmer,swan) --> bird>? {0 : 2}
6
- OUT: <(~,swimmer,swan) --> bird>. %0.10;0.73% {2 : 1}
- OUT: <(~,swimmer,bird) --> (~,swimmer,swan)>. %0.90;0.73% {2 : 1}
+ OUT: <(~,swimmer,swan) --> bird>. %0.10;0.73% {6 : 1}
+ OUT: <(~,swimmer,bird) --> (~,swimmer,swan)>. %0.90;0.73% {6 : 1}
********** compound decomposition, one premise
IN: <robin --> (&,bird,swimmer)>. %0.90;0.90% {0 : 1}
2
- OUT: <robin --> bird>. %0.90;0.73% {6 : 1}
+ OUT: <robin --> bird>. %0.90;0.73% {2 : 1}
********** compound decomposition, one premise
IN: <robin --> (-,bird,swimmer)>. %0.90;0.90% {0 : 1}
2
- OUT: <robin --> bird>. %0.90;0.73% {6 : 1}
+ OUT: <robin --> bird>. %0.90;0.73% {2 : 1}
********** compound decomposition, one premise
IN: <(|,boy,girl) --> youth>. %0.90;0.90% {0 : 1}
1
- OUT: <boy --> youth>. %0.90;0.73% {5 : 1}
+ OUT: <boy --> youth>. %0.90;0.73% {1 : 1}
********** compound decomposition, one premise
IN: <(~,boy,girl) --> [strong]>. %0.90;0.90% {0 : 1}
5
diff --git a/nars-dist/Examples/Example-NAL4-unedited.txt b/nars-dist/Examples/Example-NAL4-unedited.txt
index 33a8b28..eaf095a 100644
--- a/nars-dist/Examples/Example-NAL4-unedited.txt
+++ b/nars-dist/Examples/Example-NAL4-unedited.txt
@@ -1,57 +1,58 @@
+*****RESET*****
********** structural transformation
IN: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1}
2
- OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {6 : 1}
- OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {6 : 1}
+ OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {2 : 1}
+ OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {2 : 1}
********** structural transformation
IN: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1}
3
- OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1}
- OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {7 : 1}
+ OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {3 : 1}
+ OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {3 : 1}
********** structural transformation
IN: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1}
3
- OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {7 : 1}
- OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1}
+ OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {3 : 1}
+ OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {3 : 1}
********** structural transformation
IN: <neutralization --> (*,acid,base)>. %1.00;0.90% {0 : 1}
3
- OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {7 : 1}
- OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {7 : 1}
+ OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {3 : 1}
+ OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {3 : 1}
********** structural transformation
IN: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {0 : 1}
2
- OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1}
- OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {6 : 1}
+ OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {2 : 1}
+ OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {2 : 1}
********** structural transformation
IN: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {0 : 1}
2
- OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {6 : 1}
- OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1}
+ OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {2 : 1}
+ OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {2 : 1}
********** composition on both sides of a statement
IN: <bird --> animal>. %1.00;0.90% {0 : 1}
IN: <(*,bird,plant) --> ?1>? {0 : 2}
1
- OUT: <bird --> (/,?1,_,plant)>? {3 : 2}
- OUT: <plant --> (/,?1,bird,_)>? {3 : 2}
+ OUT: <bird --> (/,?1,_,plant)>? {1 : 2}
+ OUT: <plant --> (/,?1,bird,_)>? {1 : 2}
4
- OUT: <bird --> (/,?1,_,plant)>? {7 : 2}
- OUT: <plant --> (/,?1,bird,_)>? {7 : 2}
+ OUT: <bird --> (/,?1,_,plant)>? {5 : 2}
+ OUT: <plant --> (/,?1,bird,_)>? {5 : 2}
1
- OUT: <(*,bird,plant) --> (*,animal,plant)>. %1.00;0.81% {17 : 1}
+ OUT: <(*,bird,plant) --> (*,animal,plant)>. %1.00;0.81% {6 : 1}
********** composition on both sides of a statement
IN: <neutralization --> reaction>. %1.00;0.90% {0 : 1}
IN: <(\,neutralization,acid,_) --> ?1>? {0 : 2}
-3
- OUT: <(\,neutralization,_,?1) --> acid>? {3 : 2}
- OUT: <neutralization --> (*,acid,?1)>? {3 : 2}
+1
+ OUT: <(\,neutralization,_,?1) --> acid>? {1 : 2}
+ OUT: <neutralization --> (*,acid,?1)>? {1 : 2}
4
- OUT: <(\,neutralization,_,?1) --> acid>? {7 : 2}
- OUT: <neutralization --> (*,acid,?1)>? {7 : 2}
-10
- OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %1.00;0.81% {17 : 1}
+ OUT: <(\,neutralization,_,?1) --> acid>? {5 : 2}
+ OUT: <neutralization --> (*,acid,?1)>? {5 : 2}
+1
+ OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %1.00;0.81% {6 : 1}
********** composition on both sides of a statement
IN: <soda --> base>. %1.00;0.90% {0 : 1}
IN: <(/,neutralization,_,base) --> ?1>? {0 : 2}
-17
- OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %1.00;0.81% {17 : 1}
+6
+ OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %1.00;0.81% {6 : 1}
diff --git a/nars-dist/NARS.jar b/nars-dist/NARS.jar
index f807e02d8671dc4d2ae34713309b74d4d3fd1f16..35244b1d840a384b8bc782462dab1546c208312a 100644
GIT binary patch
delta 23222
zcmZ6yV{j!}(*`=RZQHh!Niwl*+ctJ4oN&jsZQHhO+s@>k_ni7}-MW8P<5}IkYW?bJ
zq(wsyr$Qqr%7B5R|A2;u{&CIz5r@DF_CF$>`7b#m{vSzz2ci9!B1K>}D1g{O{!eJ=
zfzn6(mm$VvMg14v%f(Evp{54}`^iwEf&LLjeU<|?LiiI1moP?wlR6ok1_RnWW6|`d
z-)8BZUaD%Jcj?{Nm_qr9gr83BqI<b$UE9XssY(4qm*|x5WLv9#^4D$J;r7S($@lj|
z&Jo{<5Fq>Y{`bHS`GPjY%xD?bI|1GEUbEM3u&33d0ECo^)vI2N*7@H6(o3h?;4Z{Z
zIDcXlz-g~q>-uk-TQZzhb<D2{*BY1IkyWaRXQ>JqZ9Up{0?n`-Zbt$C@_op+ZR*4?
zTKo8$Da6EGOep&yyZJ6XG1cQw+2(dpYLD@Yllyj=p`Nl<o%C<U8Xr~s*qg5V_mEMi
z95A!~N_eQFB{JhJrb|SC)I|#E8`!*`qCS$;i%_APralrJnEL0RN`6}PR|PME#3bP8
zg@$od0WG1Llk9s>@?R4~{unBJY$h4P5r@Hih4EgM{s*f(fr5Q4j2Wp1FRw1*8myzI
z_)dMyg&Wk!F4C=?a!<7(8}JQygI=sOvC+~}{z$_#BHK9_QCvR&h@Y2*PXnR$fz>nH
z5aztVo?$?3Za&K{Oo+|n&q1s;rG{a&?f!(8#h0S<yl4GIM{?}@#&eE|$7e%Ji7wm3
zE%ZCj7WxNQ>`%4M>U{)^9+f-FjZmk&eTG1?&Vd`G=J)<9qrh)G+shYlZ9X%LJR}hr
zid?4Id<O$G-9sC|6?`3tH7(>usZdk>Z^cuX8%u{3GLjq*`+PCY)f6Q(z*B%mje?w=
zBpLBRx?=2R9!;CDKdrHT<TRv%jYao`Z(MT&KZ!^<7q;b{m~UUeNY76PE9ge@&}5BA
zHg!>-u$_~q(Zly*f0N7cKa80NWHg0W=89fHR|I|2KPNT;KV=fGcYax(_Dp=PMm1h*
z=PVmQbhVDGA**MPBhm~j+p4bWM7JJ;-{kW7RgKA`CW#FngXph%ykLCyY^m%Cq27b{
zX9VWChqLz&3J)-ai~wftHqbBOy`IDb$B0GMJ>K2O)(6nIe44%3GlQP+?{WVIwD4SW
ze4^Y~zM^ddmToORu?{?Qjku*OUn3_yk#1~W9X^vDf<t@uzz_f<VYGttw@9DB2q1@V
zpaO?)=nRK1NzM0=(=;ot{H_dw0Sa`{8ACBipnQ@f8H9fzn;pGnqA(`Hh9ilQB`%rG
zY77Cc)?KwUXS8a)&8cLc``)tr4kyr{U%x=s*)kCzmL8hbDk)00&Tb1KVeYgeHu0n`
z8v9!Wa{V!uX&=S@)~F$rq25ADh{W$ouqW)~Y8E-bKs44MaSF2-A2(mAy78Xcpa7J1
zvGh*_2d*>)E>D?i0W0l_WojihV*y!d>;Rb>?t&$G^t>fIU*PbpX7upfD+uZg5+tVw
zWG4-vNoyBwWQ09EKt7tbRGA`0Ty5S-rAZvEOuRsfU8{gbgfF^yxJatJLITqsSV+oM
zn{(>Q$+0xA8eKexgDY3U8+~pSD$Zt=EZ$%xughp)m_Ud+WF4PNc?esHP|ZP?&ULXZ
zDP%KfQY^&dZs~|9gCaB8EChTV#16kYUg86IvYCmZkxXph7|)R&4}O9O>&&QVKS^$~
zMg55wUz9)^VNx)?Mj;zQA31rFQv<J9nZXH9+K2gK=p9I#G>xVjbm#{kZXMZKT%(s6
zK={4n-5O+31;g3MCMs`5C)$@R&!VgL9i03uS*pu47NKJk2qROdzojv=dYBsg;MxOF
zI3XM3V4hkkX;N^XT)rC`I-`7+kTaRRxPx=W=2&)D7~Bv~O)x&`qYXjl@loxui%P_d
z$-1q(5^p;7eIFm&IbF*Odu@Dy@m+!R%`oO+XhKnT7;kQY3cMVa2Mm^yr0w2@q_{RW
zrbDT~IIPgso?K}zm4!{|VP-0mB&q|fd@6o1tyt@Jsk5s(Lzf1&5)ibLAiqdFvdO4a
zmPfsIvJ`N~FQKGJgN^5-Cyg6E#ey`uhGgKV;e(n7o~BG6TpMb-)=O}|uc%H6HEBN|
zl2VqW#JhlHqvJmF#>lG;{6gHf%EVGGL70-n3x70Tpx~%wilBuwM~TxkX{Z9gpD`G_
z3Fym(KABdvH1<G_u~J?A^d?{xnA-O?SFjX1Gkvs6d=7Sk`|@Rk(j4U`RJTnhdRf^t
zAB*j_YuBZ~?M_0Tk3w(M-YE|29}bUoFODAY+H)81!uxQSi+A4<bhI<K2$OgERsj)P
zSG8D|Vs!Cs*ylemvI?xiFVq5%2voLkeFzMPrzg?R<E)DE&=ke|kWai^VqURCIq1fL
zfmqu?_#H6qwq5KHaO~ikgR_mi(K@zJJ#s%Ep;#kn^9||sez6r#`1Qu%P2cRJ=je>{
z0|m&$EM%|EV%vVm*$L<e26LP8iiV3a3uWe#KS=2B4=2!<Zw2+zPiX<zcWz)FFd_WP
zNrFZhTY~-grd-N?JLSuyHXLD{5`dY(UL>e&4k+B~r);-^xu^Bx@Ji_-w|pHgnq~`7
z2(T{jH8C6MGB#^m{7v<PTDif~)uB+jRllnbb39%dnv*&q4%4!H?F=NA5i3&N5QAwl
zPO4BEMO8;A#fo346CMD#it;Wo!(KRY9#Vxd)%bcGzd&9i1nHWCR9yJag4iQZAGJ&o
z$B0l)54;_#PK3!$fw1Cky$EaRZv{p1MlQ^Q{cRxpT{W$}1je!4%u^-5L9*Im$g}Id
z?j5UDqMWr=Mkt!Ba?}*V+p%FKG%E1H!d;%_{z76o$z8#yvbqA`DNl>-n!cJm<gqU~
zAV&8<a&C_!!+SCO<LIs(<<`bXdAMY*c1P8t?(&qoEC2HiXOaj{D5>r*-Ej&dXOFbt
zgsx`^50kZ}!*tEA1+Gx!tJaJ{Ku(vudex{^!)@}AQg9aMnKs*`eI&K>Z|IXoEGt<&
z+#%^a2DkMP+>$8(@_Hj}BuTj=J<WV(b3Q$xn>dTEc-Ea#29I@g^n4_YmBYS7_!uwm
zvJk_w9%@2@L1!g<L=|KnwTz@$Jzl~@fhLnrmD_quej(g~^9b(7lVNJ>w3R^cp5Cb2
zdKRYWJ&IB*>OFOFt-KarJ)9RSGpisot@L$prjO5>E58tc&7_f|?uOF+*%D=%Su8E@
zG?iK%Z=ULpQ}~70zP3h^<Y;1@k}9m3ZNGjftr!f?0se^C90lpu=IsLq%f^_>Ffb&?
zdT)WolNGbJ*-qq+w+eCsA+%tX(`{|~vH*MLS-Q7&Fik)aBt<GJW0M>+?fO~_-=jA+
zh%CmsE@}h7sHqe}->MX79X0gpZ`Iz;Sky30sR_}{uxchungBwD6J(e(0pm{r*U4VY
z<{S0N{t$i}uH#);`oX2BJ-^O<ar)r|&A^#iNlbb&47$=EbY<8TW$<!`{k-LUYwU0*
z^S+r9GLC{-k>>ZkGIo}EaC72(b!pE73LXVnE@H6&LNO?TP-KA+=B{AqE};B7JQi)*
zYTlty2`eZTU4c{h{2!U5=vLV~;}mBSMh*9U*dt@zvdbZ)#ELsnGootc=L72_ecclL
zLBS(2SGt;gs_~9iB`>0nB*3ou5xD(W?f!BUNh^a1eLl{Dlf|&|=0tmt%Eq6XRmt**
zXj*;%ZMvGLT4U+#8xr^LJX%f`k{fVq`1Tj@V-&TcLv(a_I<?^=%#}k-nxvs2uY<%r
zuMw7n6b%30{M?5I7Uu6N_1M(z?y3a~{V>w?IcnNkZk#VlvZo>@O?Na-Y6K!;RkYX)
z%2~;xrBTW>z&7P*HL<&*Um0=j!M&p&6&tAlU7`bxBi5DM%E5FhS$`lrwu^*Q%SM2$
zO4FSb1>&<Ro>PW$W^S8Z26A*KZi02zhGqlnFlUmgiixd?l$vq<)WrlR2mo=s?o+TI
zQ)t{B5WM$I7u8#k$sWV93z+%=fPc8<R^R8k-KBXRUx41nu^nh=g`Y7(%C;b6G86*n
z@BjMCdVQ=4K<+V<ui1y`9A?uW(eVVk+4p!&)G^q9F&!e39N18e5Spj%6vcQ&3)|~p
zM*|cWdCml=qtweAmV=}x*Kf|56-<Q2Fw&W__^smeiB!ZI9ma#s(e2c;tjwvKHFIt+
z-TeGY#j^h`6k7U21wzT^ZLs_}QPBcW7Qs<@lv!@+L(gND28GS;-;Bfhn*jv<A=7z!
zBlC-rx9Yw=)hokXvI2@@m}D$k%9mK@uweYB_!Eh&`AuncxwE}IjfdLZNh7tE4@(BR
zMJUocOGc_;GM`Q>IVErE#3D5zr<TjfBlR_hmi##xQT5H#ym5UaV*mV3#t{UdOOvw5
zR&vVOI1ATew8Ex?MKwK{9rLF+YTSwu{zgj8eIap<$}xPsQ@JXSz&eirFE@p`5!?Zl
z$XaWvvm->w0$v%iha$>#VIKES3hrO>{KK!_q2qUuCYNNm(Fg31RF?Q!mi%UO;Isv>
zxN?l;dpjZQ;p(%d+EOKRyy?<_lZCTI`KHEyvKb2YtY=4WOjY?1cThIf#)qBJ@;EBy
z<w>_3(Tkll^cz#wXHb~SrNP=39)#y<>EB(`*v~P;wJBMsK1Gz=^W5wkjjxT=g2v@j
zmsu!7d^CA4u1xx9P<w7ZMEW1f#@9YUpbTR+eyCWJ6)Y61)*qzw3^kbm{m%GN*u2cD
zmf*Oi#JHxYxTe6kCe)KzTHC@U-%?H^s;VJ-Z6KZ{nEgS}D<dxw(%c)jINlxUnJ18Q
zPt<zIVo}`vUP;g{FK)3<b4{9!<`*2btPOQP^!jiC7EWoIggGb&Rg~!T5AkQIMuJbg
zsGzWxCLD~dl(N2oG8bZi=kiEz!w5JMp)>^HW)^$1RrA@A8Y3G!AQ6>hN6x$bJMcJ>
z*;1DEtjEw<+8~8u=(2<OY}RYktm4u*On(}2YYMR|o}fL9uB1zsMlVF>%vx7wrIxK`
z!0*w7U;2ZaLU(3lO5qM>tM_czd_Y*#P>$PjzEEn(_Aw@SZon3BFU!J+*L4kjZj!<@
za4v7-g=D_Cwu*o$<>|ZZ{;)J|o>-2g?vmsT|1!p5YmQ|yZ(Q2v5tmVT>M{OSgIoTL
zyN*%en*ncvFQ$cssgdCZRC-#*b6wlKZjAI(wSQ=VYB*dc7U<@aoX(nh;&mYPJ^3{h
zD;~!zIM!0hwe!#aHzYvn4|0H<5^~;xpwD(u7Z@0#Z-ud)5+5rfCC`7Y{tT-P_Yc>5
z{860`<pd`X>~qRYSQvIkNzi9-iZU>&R_izP)VRgJFjk7G1D}zxl;7~kjobPSF~Y)U
zNEcS&H7zvJ)W)3~LcknV;lsjL!QV11?pCe^X5Mz8YNifA_cBK~c0@vJDRsWeGF@LE
zQv1Hu_KEAlYil!kS8UI18{Zr#WOk-h%NZ*DAuv%c6vppO81e{O@l6`)G9(bH9~!CO
zXX=g7^oV=BaG@#dV93xF{`81>aAPNWWUSdeh>c;SGIDv)8NXz5MVh%Nch$~gOku9k
z7Gtc>h5rdio3UrDLz}RKYaMoB8OC()vs1<tV_7%Lt*q>Xd#fhHp7G~Tkie8MN@3Q@
zR27?qdB<};1w)_PVF?r*1b_cC^qng31`{?_ayd5hrtG|ltP{dPl>#TG-yD6zUYseI
z%qnW%aTx-cT(sxj+S(SJA!CmrY_jr@&wXdkU9JllrVyZ!Dl23f3Z)klt1}*v?5<a(
zL6lXhkIrIH6qkPLA>cEf<BH6hIibjQPGj`YKI%a)A5;z6i0!8fO@KG&kah3yT(RSB
zfeZ2VaF=OamQ>cl9kMUMmGJG}Xhmu_HFZY^;gQ|H;P0Fs6}5e98l#YrZEV9~WL+KQ
zW4ZvCuiy{e+p9(jwX<yZq5`Y`<S%wAp{G_ap^`}j(F+T5$>h<RjVg^RmBWh`vEn!R
zhViN3gfER#d%iMaDGuLuRfFzm(AH@<?P(81^Cep29|rEDn4xB?7E`jVr9p0XPRF+!
zHy_FCqPy&E*c#9QJTk0h(K)am>Et+I<v0NKTV^7<7-j?M!gah64RT_`gTs>$pi4)3
zsd1T{Yw$uT;gc+8lZymBO=F3af@ugM$#XL4dGdeziYCq2CI^ts1Vd@yn1!_lTQ#H3
zq`{7<WomV`B3u&9EY*@tBI`kSl+^E%+^h1M37TPISVt_Os3LB5J6QY_YP+3vugd_e
zzcfugft8jxV6Ior<qfJt&D*18{k3An9n+{o<>v#<U)cNA)7*N!!-;E4VM|}Bge963
zk*uqfsS)O^Z4-ulX-&Pa4hl^a-Kyh8L0lFuWS#lxOnw$m6HLB*GfMo_is?M~o!AA9
zwJ&aq)ESC3jmFjUp%f8F8HrP?#jn5KLWvGD{GfJrMMKw*YDXR>gz9Fhd_#`2?eXp*
zur-1sqqqLPeg9CDfr8%KQq@mH{qbXw=Epzs|ECa^@J}(Tp@Y{Q_TS1DyBIg%O54L%
zZRq}c`nrwcCEFF1JC7>_T?siPG6YdLJ%HG-gB+_hUK}>C%jia66(d|v2}bx5B1iC|
z!Q=8uAm{2WF?nY)+b1C-^hn^VQ^-GdhR4U<!ou9cqMNN@jE(Oa0NsoH&L2QmOB2B8
zN&5p1aJOeglnv7x)H8mdMU)MI>t#aMyX!<^0!JQ<6zn9w>4B(a(ns9K=%fX%1ovI^
zpGW`L9@GKpjP?Na#JZ6pa`E2@n-cWh9SHOHC5IQnWXyq1Q7C%S`Z4yp31l*TPXUqb
z(_nqL5&RqotMPj+fqoUI^ry4!f!p=@+#TqNe?5>O`b*GDY<qt|<@F7~{|VA8X;VS8
zarh;Nyiq55%zlskdkB?c&siBnS9)C{nYteiAzp$|pX9cV_RxZXT8a=PS*DL%mUu&A
z48*@=luV7#>RvKMA{5A~<#Rq5p_I&DZ>Ddtw-kawJR-pZGTA?oFR6jDEJwHnwix6M
zS&H?9IWI_B$CQKgbWi}u{VP&06M(U;CJqIz2qV}9>p%N*9KkTnw_C~!<dU>%f<`C+
z!@lAt_T_Pbu;9Ah>Lp3WM<Nh%BA7&QU1eL;uQ3Jq{5;1@a>k@L;D^3%Qi#&|(1>)y
ze?>>Prtr9Jkj$-2Sn$cdu3!R6omY2{J%TBE&=!IPMxE5Hd`1UIQV632XAYo*tfj+<
z_#@@d`_oe%Q=sJ4s(dtq62CYSr2D!6?8w*r)v_39j#4@9sKr8Jav!&6wkOQ7G#4+-
z)>_i(3f|YD&`7V{MI?-b&7C1Nl87Y%U6xQ_7FWhm1V@_G&<`iwTJqf*Z)w#?uS<|d
zP#q<`(->khJ`n*ZSem=9SAvVMi6}3aNVVS#=pQrN8!s1*t3S7ViV$XdBcP#+h+5Th
zP;>J#^HegOO_a3qI*LHam%N`mcbto-*@GoB!2gZN8uOe9^lX(d(sDE7sbFQ(#ZA*{
z*d3KrdTJa$ON!gKM7fZpCb->LqJ~LfC`S=67o(NgxS|7G{xo=Y7P;A%yqlCnaTq_m
zjgU0+%|WD%WJE9W%z<uWSW3sJ)}HSpoHSuFE4iJ+cV`p9GN1nNGnLbdbHwf1?@gCX
znsB+i(X`&cP(&p1QS!19^HMX7>a-p-N5r1B#(UK)Co7t)eEQ3d<k~4UQ~OV~=00Ci
zZ3$ZgHBuAsULoe{Nzd@oSYPaYcj+iKC0|L`#XWCc7S^;(Cin<vtfMvBi5Oze4r8ZH
zl6T7`b0rx7L^N*+AO1AfmUAnN9}pMOFw)X0jIX`*z&~TUSe^D>D34-ecCzwHi$#5Q
zVCXpT!(Y{B>g!QZl7g=TWt*^}jU+uN2vo?@3t|O0qBEu`si2mv%k54NC$)|jx3SL@
zzqvx^i0Cx)cLarOxR%QDM;+Hqu@{^SIxZQ9Qf45QkU{ehIK;>qY5#Q8R$+gulM_?5
zRSCvqtz2vTgSmlTBx=hWpS-FnQY2`c?p%I5r<_4s7GX47Y+X*`YCY4nF-l9XgI^Y<
z9ySHgOi`aO{l#RISgtQTYR`iX#UxVe;8d7jTbb(fygOBB#z{ay%T$8FNgy|}>Pk<r
z5@=g1H-hFc4da?GM>V(4$r~N5KD4r9Zo4_3ep>G+^<hI(MIBC3CP%eE!<i*bXU7{Y
z|1yWenI&a`!iwe*!qrZ#+*jhsnKck*i>L@_y#vt@pTLZ+4o^mpl(}4^Ygw6;gc*sI
zbgEe`)CU_*(Rg;g>r4T8)Q6E2WL}&ob~)qEn8pI*Nns>b?3KWh&S*I$ZC@>xG0kBt
zny_6oPLfMmz^F86z=$rdgs(}(uQL9!4j-u@=Ul8f+N_DY>PW6m`0Cy+#yb_yP+tJZ
z*#<F8ck=3LlaSlkmKS8$wTIX@opB~hv@8%@0;<TOXSb~u^juryY|aQXu8TfwwW<2g
z!%=Eg8tn1EQ+`G09W76=%41B}<{}8T8$A0L010c)guO?L!_5AYv3^num@gbW2FoeT
zL*gN<8ZJ<>Z1HdkP=EvSO6(R*x}pJ4PC3}qY<BQ9wTU?g$r>#}iqwp68s5pXT}^3h
zn=IR-Yqz!;*#!|<s5tU7a7rcW@+f7D=!W(ic8%xj>xo#5QK}J5xMfVx1Bg;llUQdI
z8Gk8<KkBh>=pM`EYUVCDyM!IaLAr*pR~*uE-R=md<etk~hGw_-qKiDv1l9nZFGqD+
zghZ>4d6LghX6JQru)=?Uw)_zzsiKuY9$(p<)km6Y;|0qsn25s}?hux8i3wv^Bx|_x
zySCxz;<Qe>YgY!*A7pk7u_D{A%t#{&O>(6%qK>wPu5x$zl5V!-y>jm3)@V!(P_D?>
z{9+VGX0lu1FxocU{br~WXfOay0Qq4A4P1fQ5dY|#s#~<{BsTN0MhT%^zKD+=7>|Ep
zC>^b|I(ftx;Vj{q?bv`RgZaaR=Thfc)<K1JI6f+J!IaNNAa(bN?12t`bviD}!x4Rs
zTHW|$7*~BGrEdRb17zbCYu>|yU>e&#G1ksYvzGeiO#0L?d<;;S{{f%?+W`@{`&9_S
zH?zF{eDli@s2-@-Ar*UR-iRNKGYN#%U>zm6hr8e4yI&rgIz+T}3pPzY;=t!xYnLui
zLlM^NAIvfp=&3~rpB!S<&P>D`+H@X!m2Bv;{EK<s@1E6HEuCw>9sm5$(ZAEqR3)%L
zi@;=Llk-;L(zDag9}dvtvey>AyDR=xDnl1(R~~>3pRYD`l+e?@xiz}Hin5_kd4iwI
zi_dVdSsa9xiX{Y+z#E0gR#WYCcjv~A6!WJ*Z-eA{$$Fb%dRxy96{{D~j&)ahT8dU~
zdwz-ln2bbAANA22wOYFP9L0@7V+Xsw&?curPk`Eq+`|>_Bn<EwtxZVdA)p(yrL*>o
z7L%EzY}QJ%&Ch*2m6T$ykF{GZk02yqiB%hQfvA@?Y+fyGBP%MtEFE_oS{%(+FLINC
zJL|QbH~+P2OWKf6K|$GqCrkaF^|ZsZY6ZvGneNC!B&pq6*=Z|g<t4X7jaYdUsott-
z!^*psrJhW;#Sie1?V!Vds0bK5B2hF#<kCLBz9feX${+u;Ceo5X+0<6#c+$MUF_!2x
z>9ARE$pQ?P5f7^%b^Zl*qQDAac!4q#@RqReNg<FxW)?}_Nv_fKnJj8v@6~f`O@>0o
z*RE$Z)qAR_sxpR&%f^kEL(nJ2EPk5rC9Z=b+Yd>ohY6r@m*Q=4nP79s9+jnyVed;a
zB{6=h!{dC5Du^%CVwsidJ)6GLdF}L6Gvari+;=ofg~I_;Gg%*MXk7NQ^<%M81JzB?
zan2aC3hc0=AB&+RpM#X5x_j>Mz%lMOk?vQUByWI-PnU0qyBmsPoj5BUy+L0vSCx`7
zR(x1Y90G*2+cROs{H>=1$KEuu+>wI4GwASthrqWqpMX-dnx%5Gd-%qF47aoN)-}{}
z*(12HQHt`g79GK}vz=2DpWTov7``S?{|<GP>b11ibfjwH8Lh{X{ED3nRp+hX$Ha&6
z;sbk4#^@o3l*=pp(pf=F0Arh@PD38tQ1ica5Cc#N2grl=M3OC(V@c4W`SM}wbmO_Z
zg^>RkScmE6LmH98+3x(duTOG}e1u|l=w5!iVN+;TaAs?pk8m_=l#c3}TDrKAnLw!i
zz#P7a4DV4i_=G&!jprn#Dd7k(p?vN=Y6bnFQ@TmzM3=Uqu}|x-KV`7>CinS#SPfOh
z5e!(lU9jQx*pph>=S^AEhehJOo0al<Qhb^P_QGntP1yktyuh=)Jw>-QC$R2$)GKF*
zY~Dnqc&xNm=GyS~aykg5@_u%r$X=Yh;`g9A1|mRDqP*v#RfaKa2Fm}`-j;~djpT?)
z@i~uE1}?^4t>VRsceXziCCMY3#UJRZ>;s|~8@uJ}6AlZx%O<-q!zfs#T;`2sDJAKK
z$+x7i#%M@+wxp^hhG`!UmMree+3;p*68B8G&ma&+Va+g^#X=LbfS2vVZf?;<^2)MH
zg*z4HT*6C*Ldr{->>ULUxA&n}m;9e~V()+(Qa_l;$M3w8y~wijkFN4}G}WiCI=~6a
z<txAYHPQDSX~N%1vA-vO_dXsz$vR9r*V_P}Bc4a!3%BP&?q)YRN8_l)iNQ2WU?na-
z#I}d|aQCxNZ=XFse2loF2CuPa?i_F-4-Db^L@vW&;fLn<y;(!|DB(x4pp68?cWEwz
znCh7Pd;M2`f6@GjOAJw3L^CNx8U`o<WOG5$=Urv<+qeTT4O!KUVf7-)Tp5bz7*ge*
zxMK<X;JqOmPI)Gau~>lm1HRrwVY4UPiT;B|u-v*3j=|%-pd9F8)<WnNFn>yUG)rTK
zN!@5MD;|*5H1;Lk(2`3#6w9xL+qA=q&V^OWrb^Wfa>f0^%(VBYw}>X5hyj(e15S;E
zK$AyT{ECx3Pd{q;MTuS2E@V149{Gg{r*=UEi&HqqV*QYYM+9yOp>UU{2X2L)n1?5e
z)?V0MkqR`%dhcChI;0d$QKzydA;uQ*f@Rz=x+<F1_3~bhWmsLCtf-61NXM=wL@rIF
z1Mv&1%4Yomxn=Xpy6(ZLWq^=l#S_AHqyM0uI@$H}Yu$1}v=4umV+|G7ix*_UwhQvI
z529$01q!EUO#fH5+UluRG!(zbzVM7V|DhKul8=6GL3Yoc(@cfu`~ze5Jt*Lga?i>E
zGW+hi&!Fqzw$cMP`(b+MVLQaLPv<vQm&Ad?_Q7q$%dgIu3lKjcNC5l3FL?qIS85KP
zpXS!_3FSirq~)My^PGX`hV!<%thH&yXOnUBPdia6`@d56{(<Yi%j5{Yd&a*Fj=ulW
z?nw~XyH6mg{eYv<&B4#o0Zs#R;WTjc83kJhcMGXBBY%SQsP}2x+$YEO^d?gDDJuUh
zaNIPqz?grdD@lH4WCql15df%TXA*Im_*r%s6k#`0&gg+p0uj{}wT5Kv(^IF-gj=G*
zBL+Z1Ep-8JXZA>`eMc)E;gN*^{c8*5eT(=3g8QWp6!I|cdJ8Rl_Je}IyqTxt_wDyx
z;{H;VGowPAqc;s~Z|z0CUl&IY)#k@(s~ah8Yyg~bV@g7MNB}`bfrHBC5NkEw@0M16
zUpy;MD1kdh?>)cEh$(zGp<Ywp;Ir4%gKMhP$QkZq|CprLz>66sC%A4Au)i^KuTc5}
zE1qaOwRV0oguW6yui23MP`IIhInPhYhC4KjJqy|aOzq!xfhVU(-|mm>kd3$-b6a6L
zuT)-mw*GcQFaRB=OH6t2&sL0<w&DSj{)sb?M|XYG9-6ld<X!p#00aNKdznE=#L?pU
z)aSYxM*A&Y8bXLcM>VTCTdulLA17-qNLz&|q66CZ?HGD6{fPIt>sHtnr!lgHXotn6
z60i?3XDrtHGL0os=)7(P^0LZQIU626!z8rL@Ob4`4j{>L;~fm|@!*6cKFD`b2jn?Q
z?Xw8=#j9h2TW2~1a>c{Swl9&P$BJ$UsRJ|6*-63+Fr_jRCKDM{TG0hh7B$1h4xA4J
z2YE6RXv?(I55{bICC^sDS>hYLqtekV;)ikSn5Aq|U`l*N7~irdg871_;u9EUGtsxt
z)J{np0Nby&UJpElqZz;<ofU4~^vg2^ZkoEM;)zAoF$@!$V}|(%29|{}+wCZMCxQmg
zye!R;N_V$O_xddQITpTRGLKfcDS2H>PA1h<)0T<Ch6SxrJO4J>)&V_B3nS$f?go2_
zvTZsFI<Zb}SFmeC3t1;U9#a|6%U4`xZPY79fC~Yi9T!y^-$>=is$x0*05)f#(*?6X
z8RcXW2n*ao3n7~5aqjS_IM%X>^1=wnQ|jdPbPlb;C$Aq_@uZt_)}yXAuq+S$;Vc?p
zetc9j(8y2aLQs6dgQM-@>|+hP#3AppBp*?hwWxlD^POO=)1uQdG8Z{#Dkua)sBFst
zz{QCY$Qp}8mME?}9Pxy8BqSQduV+b7cH}SGhnF6BON_yz2CHb}^h~X<3vb_raK43f
z8-Q9QFi=5)RaO|!)n82VUbtQi3so_|mHM(oeJZhPgqzCy?FxRRjBqq}m#9Ej7BF41
zb&87nOJmN^J0Ns+fITrgzw4A@J)^rAVAPltN*5_Ip691Zw61|r__c_<Zh%k_XH6ch
z6vD1fAbzk!nw~punXfG$a?YJzs6LPG1}Udvu>kJ|F{N5zmE0a_UNK@B<DHGDPPCx=
z#4x48XW5N7Pr@69xCC~_+=WL_{ZdHwD9A1fEQavL#W;IYt;Cua=?cU=OKQ{v7)UAk
zu@RK5%%Of^C!MC0syY<2e!(PN)Rc+<W*+>DrMr^K5v+wGEA1pr7K`mxlj8VV5pV=I
zyAjadf^d1X$v+&!#$fE3y?U>X$FBJNTIv2ateZmeA={5*HXG3keb`E1iPoA!VRA%&
z1=msTy)H$yNE#1`;eG}CWZ*^v@PAeQ!tBHqx*pc%YCZMfW*ReHz|HP}(elcOofa+@
zf{NisGp=lELp3@aU(`)@HYwgrgtcYK9*J#J(uQm{ml9L~28sBO5aIb6Xq(pt1aWt4
z+os_=g4W$Z6`Bo~NFMr2=iZ~W{W+ytbr3X2c&!3|<l+!KAeSlHc}-0K*ebfpS1E3u
zh<E7`OmzCB3qv*r+2Gm8>GaR_L59xIGjl=67#F5hg#zg%4SlE&#OS%h=cB+_a<7@H
zuoX+%@aN&f$Zcv8dDGs#)gz4JOb%=LH3p(6r+%%+*d4D^P}+~I&@(RI`5axfHucus
z^T@y!jb07*Hu@u^>Hxg}74EvH{x5Dl2v>J+FGjo$jloB%_6iA*qHC0nroPh7bE;HT
zAP;hvGGkca6Qd`{Y1gKbf@&=VK3mUMQ&vkW*nLyDrWIzVmB|Ge+P?+QEf32~n3V`3
z|L`KxE!}a;WCge^NwxmUiqdw2tyZRUD&R%HTRQWU%nCnQ)Ou9~WJNPAdcBHgDG<7W
zye)|(<}nu2yV1BQrLbh`PCGh54E$mk7))Z<(-VU#tH8mmE+AWcQZ2I2HG{{YD$6)k
zRg);G$T(AXgR9bLng2TH^j6#w2A1-jNrfi%l=_@fxH0)vEYBfXcLiE2N?8YutG-mo
zpMxyv36#34A(aUL76+_ry;Tv^fMrJKPGImF1vZ>mTRgW-G;r6f@@)iLzO7*ylouv9
zdJS^%-F(d?A!99hTnop~wJl^Jdp=V?p7$7T-4wQC7K3l>MosFkPK`GI%44n)NL|6Y
znt=#S@R$9(9`a*RU^-xDO+uosA@)BHTO<wn`cQm67j-}d7__uwtQ^$FCSlolI(Ljs
z&~Z+t$uPad$9DbG-EhZ$8Mt$AfW>tj)E+@2yC1|KM{XmMEksZfZWwxlHO4$i*~wrh
zp1d{0eGmnKg`hE2p-vN_*-|$Wt)>a=pBx>q#bjn}ts*T0KUdO?^bh14s&I6)CGSTx
zY-K<X?c==!I6zz1aaGt3L4Ts&AAk!uQ)q~vU<ZlGiFk*_yHKplP*SQvdob8vOS*$H
z@NtJE#_%q-EVh@1?*$?@#r%z5o->$j_eh8p%Wv8$RFl0pERIQCrja8Mx6wHIX|K=q
zm$!bcWoKY}(-%c=QO0p`;&P>?)}SY%@0>$cvBsns;0@-om_e=Nu!sG`8KZWy5C25S
zsCr|Pv_ARw3uL(z$tm(3x}^f>l=2S#Qm)|C^A4|2I&;_g4q8*jbeH`On^Vzquybz1
zUJg)>e-Hio;yW*EZB!PTMSdbHf%`T$_zusvhEpr8a&2567VOTN-c#L0U6Nd}oF&kn
z<E=Ua7}?D|tjp9`6Lr;mJ%%98ViKqd+f~@}iajlr(Q1_78Ds|@GU8{w*wLPRa5$f(
zoDcB+%}a*(&SC%<fBme<%+p~h)|lQk1wX9mHt8wh4=bny?x1n^zu!Y>yFA<zRDj5k
zr`wBgjU?DG#<3k`MjMoBY8em<fOhG-)H>?|V2UbLBWAbuRs>=TeMnSZh6&q|ATRt^
zC0<56yCSu8kduk*uR)h9LGX-A9T{zshd1AE$9!7t4>e%I0RBnow>eZCT4~@uXvqAR
zJ@!#IBmNTx3xhTnO4A|!)Ujqu`3b4+lwtSeUTbcW9y-D;2AS<2w4JBm_dE|zqlk`x
zLe@^O;pb_?IgBRBr1CBh8PPE})p5NfIX$&`4q!*QO<b0Re)u4nSK%;0nH7%()<1ce
zjDQPIognRutplx(Bs1rwi&TmWo{kufd&P~5+^zgBaB8zjhGE;*JnAGf;9%;;k|l}Z
z#9+nP&-`!ORhjLdiglghG`188^+jWVc=gh@F|xGgq<!7c<-T?HsL+C5&emY63O#oe
zD$Vtm6fK@Xgiaqh_7>*lNOA*J{iCAkMc14PlBkdX{?`-q;e{Xbubar&Z6uQ?YV`BD
z)ant#Y{IZwLg0`$Y4WKQ^$OH3wg3**ISsdz!a$lgFXJrKKCJ*4*Lhm2%uGKZ=$)9q
z%HqIH0E*}==&mR`lIV$F`5jq$E=;9aFtGiC8DSC5(nIgp$Eg^*5>qh^ue8b&YI>DS
zD<$=jZcmiUyECu4#;le%jb1UGRa13-hZ{%L3dduszBtqA(POh<sNnp_e9AlbyAqMY
z#uLnVg@REnx0=~SQhAHu7WV=`*L5rqX14;bjw<jNQQ|WvU2#9g(^a2}=4X8*8s!vL
z<LH=UCShMD!{}=0<MGWR{`2ui9gDjeH@&;rs$O96=F*=9FLLY9&NeTI{p8DVV>|M0
zOVsD27$8&(A_YdOkhtN@L^29wf(fppErUKIvV(y9y~B!Z$i<!gzFif7<Eb=!i>h)Y
zoTQ_-PLAQ+r6AYzDD4<iA`q$MRlfcW0}D<j2Bu<Q-aZh7@a`$V=Ku{I{<fW<Sm;z+
z&teR_eUWtLi{MbXP3-b)-O`tOil986WO><veN0+cuR%>eNN<gnDNw^8%G3`=bg$^N
zoJo|)kH_04rs-X}dAb5nThfjDac0A!We}$I?mfB0RqIwQ9@iaS<$}=4Itc3rCqLV=
z5ATP^xYBaq?FVJQ;IS{?h52&oQ!Bg^Ir7BIKcILYZ{LgO4aRx#ap&>%qk9F(xWfOB
z@4M3d#R!e4knq+cr3nuTIPM&t|BA7$jTLLsk}@758|Hlg4I>3W^pLi80g-&5DK`^;
z`im9C641?u0eXuxydX%o@zsIF!B6s3zh9OzvN@Jb?oqG5z^|3w{VJx!dZKT^eZRuA
ztw_A``6QFgA9R0l6R+)i1wQqm@`m6pB_JOcZ-<tn9V=91$>)ago(c@ED?DalYRj@&
z^|xi2Omf-WJM;!*9<#=&6R01j3-ymBQ0ZWd;MahoqZQ_ZIuylQyb%do3CIKCU~fyH
zc|{YU8}T2wfI~^AS-HVD=5rS9va%Bn&ZQ05dtj6rypeM(LsCb}YtDI=n`5Y}mlxX@
zxH41Jj`PM(s8}jAEXHVae55X3*#oAb8*Nt!X$!mx@^pZP3|&6+@w>stgbc@)EbXxB
zdN=uEzQmQy7`h!kMoWLbz}3zfhv!<NIwqghiP|T+sIQuOi>^@qFG!!o4D8~a{on(;
zsKpz{`8!6R6(8<jJ-`rew&V*W$NIm>DW|~I3_-J~Z+M%>lU5x-ANDuWb72k6$#?k4
zBiE(e&OQL_i=cac$E4%$@2*pW!&9QQAphcRZ@8ngDt1+ef-eTeJTdkKW!KUotKViy
zaYsd{6A}~jLRpp+b6V;FjLm_rO=c=tNwPLo=<PewMO2mS-rLe8TvhPiE8~SsmGX}X
zNmcX}4blzxNhU|7-Rc@@hHfeYmDj^A20v?2CWZhM84bc*FFvE6jeiA@XVp0J0TO7$
z-|$*w&)-$LAD`(kj4uSI7xB(Bh`OjyDPg=Wg<jaeK~gyklV7|N=`;+a(E%JOf7b3$
zoe%=w+MG-F_2Ilk^$&o8VDSE6@Runu9~C9?pg8+%Q88GO(5Gjh%{cdwXnftTu}#b1
z9321{_rg+ENPiN%R&G;!|KD#@3X1o1P7)ixQ11-UB9)_Q4A7<NkSpBh2kk>H_bKJ6
zhPZk9<SKuJ)l;_G>;v3Y?vEozqs69WtmDkcankl%FV%6vVIS=ZenyVE;%tCa`g&G@
zlIwIB1#m!vRS7VU;zs2yBS+Of4^rDO;Tr<3qOF#h@r@BiMCgLas!+Jc*Rdw5zMMKa
zP)l?Q978y8xwK6jD>yLmDxEwRae@C#4112H|3Rt}@imw0S6DU;<OtzkR=w9=pjqRM
z#kYYx(rTbKohqJN#!t5;u)Xx=iElOuz!O`=gp#p!x;jb@K8-h2A6;Wi?pP-mqLKu>
z*R$Qf&LAAW<hKlxsXF(dBPs*;>oolyDQ*&nZWgR)3)WV3(bQtb*lNyox%_1rR)Z7y
z?Xgl<oh<c5JnU6oJkzzql<eP7$JuH~+8Ccla1t@GH*b<tX16ALMOEOg?Rne34#x*+
z1M4H+UP(_)8GdoupxjpuVH^K5yuoXXidN~2Z>qMdXhS1iDXprb#ywO%ENv6Awr}dW
z1(#`CVZd2;Ah7-TQt>re4#N2*a{{@1Q18Q%|CCdAy?cTto=5eK^uM0F-d2zy6w!|#
zK#Bi<&%FnVxMAIZ2lU^bJ2574O6m;=MuUto8O*;LCmV|Y(S|e|W$=F$J4cua5-tc0
zD2@bR{~|0dT_FD=cdj)5qbbZIAebrScOW<ovTh>(-HG#@|CdRK^CWHf<6HBe;1o;L
zpcNqhpY{KQvESDJAxIH)4Mrgq|3+*;idgwCG%+S-!*`6szxNxQVlDsAkhtM9ZW!X<
z#|)*g{-1B+6o*F;ga)dNmj9r=T+jdf=@!xd=TEnYCPn`V1g4>@?Cn3Ry<DP()he(5
z;D3aa+b0l|hTwX~{})aXc>YI2)%^6|hyBk$u<h*sViGk-bzMOH`x34prhl0PtI3}L
zQv$>IS{jkmG4ekFqm&sxgKI+=K$1vsh+`q*Vd|+dhY(iUsjQ1ya~aet(`Sv<HZPW!
zm#vqqmztOTYNY#oPc~o7DRC&F*ZmEI{12;7vVER?rZY;q-;Th3#GrAt$Au~=$A&Ak
zy+vircwND9MgJX}O6hz~!ZY%{8s@$P{Ifz+o09=X*=;oI9*F7)M^Z?Gt^jY3Z@-65
z3DgCrFpNOw@`mQ(Dl5Kijhjf&jT>jSg5QeHaBUeyPP31rVAUhd&~V-?-3?!f7Tfgj
zFkyKS*yIlR$hOZM>jEmN<V<Lm&A1%EUq5V7pLD0-!L{AU`Th~Kw?+5U%g@0B;0-D<
zIyK^D`~swK4@Wl){!oE8%>}iGWbyM?0pCm=bWS6OZG*XYMrlx=T<C)@#}P_i3B7&f
zCPZ+HG&1IPz@M=p^K=CTir-tJ1I1m~hS5#robqXg(~LW5C{v9|nH2Vq$sx0BBWUb{
z8?6Ub?WJX%>SbgL#JauWQ>V27@4+QSzAlJFS$zv>o0I!w4Q**A5v*Lxf7;-C5xSX&
z__xz$PB2rA^YAWywb9VZ){UY^$~i^Q$a4%?*|UdJYzAX{({Lqisyd-j(v?=$=;;|?
zRY$VJdY06{S0P|<iIv+#jBv3BFDum8M@6AZ(p2c{V@0rY%>Mq#nmV@txDY{z9^%Mr
zKa$Hk+S_m23td+-kytym>Axr^yMXwG!=TC~Us+=l6?{(Gs7SI~Za`oUEq0Cv?hFg5
zHHxF)q*a*LZqKvlsJe{&JA8vJr5av?)oFTe$!#gF4m1P;Do1`?QEV;u4Rm<$owh$+
zu&bSszo5+Bs@2He(h8vpAj>Vwug7d>qye${OfM<@!=WfiOeCp7TD0P+>M+c-4^&JF
z$<+z1;EsrKA?P^6IIXw!W(42BiZhgqO{9sO#sSq7ey)mDRfUJ8*h__;iX&u&J;WLp
z4RK8ye=xL`bg{L69tNf+xH86$Y7seGhiSHe7)Jo!Y%x@QE^a6s@Wa>7Pem^YQkE9w
z;wM=e;Xq2L%>~{v5I6CX@OLPg_)f?V;Nd(^Sj7gJaQprTPH&v9ShpbC@urkr$YM63
zwdS_!#GQq`zz&_Gv9cc35&-MYdi!Ny){Nbyu1c#or*EJXMN_5#aRUP>v|uEH(Bk*n
z&VoR~(2Oc&6a9Gu;CEoSRCs#o<K^q&tlmGhU<uqE17#UUOo##`4S5QwIf7~pS78(9
zLaT{^xNw4O+K8W~8D;+r3j0+>1;P@vzClz}*+m4CF4=?=6x4Zxxs}z0x%vhls7YbT
zqjb@{A3sx{jz<KId9*i9yMD>L4`$_S(AUsj?$ey_--k#%0+0z%vT%}~+~O47^rGe&
z2Yf;>D<F>{q(Ls%UenWKe2YWM%Xz1<2za$UaPSbRD$|T1>SmFvt;;XTZ4^wPy8JhM
zRPVnmXT6dz2S1TRmLEeM3A`|)D|k|fjoUpIw^hA0Xl7<{ddEOj5-usuX(MQr)a%^n
z&?J$n^z|CL0hLx(CWXB7=y~+!()<J5=zkfX4ELU@?V%qgh!UudEGzz0?TdPY_r={<
z^TXHJ*=aggF!3cirv}c8rhWHe`O$UnCvbm|NIA8$MOK!yv!cVKEKb32RTn3<J@E?0
z)KsJ|DJmpm>~Z_8I$$4tK7d1t*X#}ri{@P~t9p2g0xX}RZk=I`p4@oDW#2g|Il2g8
znuQWbWi9<uFPTkZw$pU<R0=dgp;iA{@YkUwGb&4uBW#&H$sr`|jV)y^Te$P94&D;#
z{wDHqWMRD9<<Gq7Q`a4|S@EvT%J6YYlTeLJBK(Bu;5SYx&68awv#whqJHHkET^V%t
zvP*J#3)pqvG>Y&>vL6ToZPP=$=`(@%r(rC(%!~<NBK&6ya5RW7XO5TON^g*C`41$L
zKPhfPP~xJPC6<Txui)DV%DQFr61GoX6-Nlp-XI-EI)v%m9^x;%d?BGPjD;Oz5S&6W
zFUYHL5U^7md^Yn+30q`590-Q;IrfshG=BJV5&(&!u#IQ(Pj}QBlDG&W&q4Fe^FBXI
z3OH%s04jF171a<t{(V~~L@pivRq=F`lX}qU0?3(NEhNSfB!PWj@dv)oWppgh!4TsL
zD24qMLZ`Ua)u0kDR~VpwV2<}-5j$!MOGo!FgvBb`@`}bNAtMK6Hxu6)jle$_q<f*m
zwSaAMGkoWsV1wVCzcwe5LufQLLZ8kUJ+vbCS>xMR=@~69He`-{6cwL#%{uq{20Ram
zb^Z)nfz<K?MtM8?$*R#cyat!{ae=MLMX$I-0CteK%}{2l$jZhGNwusy<tbbkm-_2I
zJkLnIFvJsbxCr0wH{w0zKjr#(<wk@^>j1jE%gBO!OkYr;JH?}`PLxP10W|2U>Z)oI
z5=X`qPlc@rX1m}&kU&e66`w(b#a)Nj4yc<wB*M-h4*^dUCZ(S;|7=ygwH8W~&aG4O
zNloSt*2<T3XpP;=X}DcFzQ_Z$(P{cpRgq_)8}hK-+Ane`=te2j7v}0CL<}H{(f}^~
z93&Iy75x{k@;bvfUwQh20~3Oog?&dT<3X88bRq}`ZuYvYmd1<d``XYFjd?&B|C2af
zFJ|*A!-!Q=l0@<^c2%cUhf|}t`96{FuTj2MND`*+7gAuy0N^LB69Cr?2Ndu(KPq!F
z=zhSF0O1}kJ~7mNaV1F}l}r%46VS%5J=IS7q%`BYM&o2c)zf7A+r90w9EM}w-o51J
zkGGR*=d5MndZ4kmL}Zqxfr<%)n_fJ3I2S_V{7+OZyk(OT4s#DisraZ#3mkG9fdhU7
z$>afYHtVHPN+ISm4yip2E|kwd<flkz!m_Lj{TE0iIL0hoWoAhX^OSp(2!K_XT8zi|
z_qMRyf7<tRNNJK_xrUCRkiX$9DV<2BXtWCI`p)p4#6oxJBQU{FV7yOYb){-G<~(7a
z5YHbze{+s|M12r{g}eyA`P_}lxE$E8W45NR>vET6i9v<-N3Tha;2-8jEuXBf7!<@A
z$lOM4D$qU7_Fp*!i5|opoCCxQ!H&R%&}m9%PpTWjd2_tS3P+~jz+_eMGW`K`lOMbH
zA2%U3T*}&pxO|4xcrA;qJ_CiErU&}c9%`g;YQHS7h3Q4vt_Ts<VuWKUwPkgYg#Gx)
zYEL#L%)Emruf;Q38%izaKRjYJbJ-}8!Nb?NrIJt2?dGbA-*6v=!2oe{rDHgQhpu7s
zE8nGLVg$*&sBUN|Vr97uX9c$5JX(s?t%+OSZe)5skkQQ}><tl`hLoYqUyx(UP5lA_
zw{V59q$OMk{DJpRjmm(xE@oJrIlHkW@YaH_CvKUoroBwLE1uIx2I~Gc?&PSrHK~wI
zAUhh@4H+VY#q#q|0l-$o2lAP;3P<bjkFEKL$I?gl;aR?>Gux$8{MfA#CBlF9`w;Qw
zknxn%LwR_~Vp{^eR->aR3Le}kS69sz^<&^!{rZ-|{Qjb7o4wQhiJipcj>`HaWloc(
zfmxTK#?h?7hTr8r&!2I;RyA6uvFJEp!@TPLNCIUQ(xTW>bqcT-wPhKMd0yeIWliRX
zF#TC5UO!^@YXvx$&=?2I7*ltk5NeAqYyk@jZ=XxdQy5Vgn{bc!*!msPDicYJH=PJJ
zY6LgBiA3XlLw2vioz-$xPg^|SbvhRn74S{+Xel<+zjb?+-=yoq(1PLBnA{Vo1vgu|
zQVpK8tq}Y-0w3@Ja=0gqZdgOv8!$Q69PRK=<|=<-Zl%c;Sr%N^Qip)`F_!*rYP%VV
zKD^_R!eL-K^Ko@=L9i52kWpm?NGC+gLCihteQgXV4%$}{k^{T5B9RNavqF)JJXq+P
zG<F!_gnzamz%w8eQ5+d65w+r_7bK`g;%PA|5W4W}+61uuJOmQ6Az-U3C{oSl#pzwg
z<ZsRWbLMT;>0M{H$_zd^LA<Mc=(LtrPxL>SvIB@U0KZ-DN!!+CxU*rioID{C?kpw?
z%gqS?2C9_(DC^fL9WtP4{>;MvwsW5MIF<8E(cJ}`KMFJTCW@o;4eYq1S-<7+ddE`L
z1%#a30yvDe!(Qrg)DfY%*2OsA^nS<gYvv7_?kzUQhD2qbZB+ucI^6h*HEQ&m%|4^(
z4;U}&vo7^NKr}6MhE-)A7`Xf9z2GX$a|z)aA2$QHlS6fOn_M?Q6;vzS|I{|E@64A&
z@-xD6SCSb*VJ#*zu<oL!QDX>BqP1z#dE3~x1NxqrWR=hjWA-5l<0oe9YH-bb)PMrm
z8rPNsuk#}9{{4ad0rnn4#&VcE(1XN<&_eTKKlGI>BM%AJ+fwplDdPV&OY&d(tIwum
zkK_ksa}&P%1jzM^KBINnB2gx_>=n-UM+K_O>h}iAYW;L=wE(~B6=3~;`nVEss=jx9
z*2$PD9P=2-5K4wbnL~yMDXB!sJX1(c>ZdYi+{#qQn9L4ErBWhEQAEj<;b%JL*<EKJ
z|9h!>@9yb&_IZ8ZyT0{)-`Z<?K4)<<bO}ei3fH(bh3CR`-;W-X6{{Y;#sA6NKx!ts
zDSqEAzOg9WCHl{tmL8s63!!46ng)W=hPxtnGwX;x)HQg!Plocs8#9)^_ooE29%>j2
zrVW>ic|Bkh{HDbdytc||V>AElO_&I^5W|Z%{7LydV+)p-yyS%w8+TD;NL#boxtEFX
zXS?XUcu;p7zwej4QtgoMvg1B0x63xx7z<&ogT=-{t~Sj6VRe&XrtXgw*;wrlosg`h
zXa1adRgmd{K(zE+%fYbzWrx|5IBKbww9=!lccPueg>u-KGo)XzdPsbHS*&p9TYdMf
zvh!~p4s`@2_tPI{EsOhnFQX@UHso|~PGp>kk)B0FKrt0QI2{OU2_M5TC-1ty&ontw
zq^!cgS*@VmzO%{$Q}@9-jXv<OB)<R!kHL(^80EvJFX~wiqXtEd(>XPXsW)$`+X@X0
zw5k|HIotThd=sZ_9S(V*V_Np9Aw#CMO2ILgg}6T@sxD{D>2=j(`b(#UW`4A)M2ad^
zrnWxO`Q(@I2G4rdjj0^IIaIt=F3Dk07bvG(z%`{t@(pW!b~P|MH0wNSwjKYh)X1gi
z^#|gbs4nL-#rC_$4KsXY&qlnTcbb0Bv~VHoL|!K?U4?E*+<|Q#%b#)!eWPPmkzcsI
z!ur)3b3}>IT!G!^zFfXbHE`%<N5|~Nk!vpgslp?Hnnn?Lk-Wf)9Fs)4lAl~5F{{+&
zFT#ROGVcpkT^KVcDf`5zTNT`LT~1in{*r=MdU?ib!A+rQyL#5NK6@f%B(qhzT7d0x
z=65EJx|o$~O3o?*&pe(Q{%YBkWbu#RSC=^b{RK)dn_TOXQ}~V|!~kQ7Op}I~Jq6hY
zLFaDZR#MNI)8VJfE08FLyAmtO3~>>1y#!;yh#xXnMj0!wjs9R&oYkLRruVNMZ0Qtc
zkrOJluIE*>W%9jfG;>#lKF&`pre@UUjXL+R{@rhc*z0^s1KlpYl(i13pWn8G-&wg3
zUVp$vs96!`H+`XB>ipCtuQzFzx^9>yeLVa1l|sqWnp5pJ@SruGU~K-3gH3Aa=#O;v
zizbB1V7<y3#o$vjT$cmJ6SIa8jirzp%zoRQOYenn^|fMg?`#rzZ^(Fx?QXO_C8cxz
zCU1eoI30Cx=M%+`TrnCe&vnHk>n57(t1Gkeixy_N`k!Y@iv{q;Ci;ZtmAcw~pR)J<
z&WPi1WR8pQ&cXK_EBrF}X{|5gTA^1+bB_-T9Ytl`(T~&Yw8HhT?s)WN7g1PfbR~z&
z9gI+fzm8ah0?*x{1Crqhr7|f?2R&0$=%b?<1xuI&<FAc4NsLn9?;m5yth{LGF5<^s
zzW1F(X@_%kKq#l>=Wy4x!!#`yO3N7H15HlGOJ5&eJ(lwt-|v~|Nm<gbxBtnBAz`QV
zuPH~)?=_9g*~U;4%;=(6XgOr{d&s8l<Ct$kU)U9G_r0&0DrIs6gg<`2HL70O6*%o1
zU+U+7uOy+x^2poru2Y{w*=F?0ANubSIoG$X_Vy0fIz2~=6Gjgfbazm6NSrL+F{pJ?
z#mJG}KK#(*NAo3acw;*`mD7!xEY&f~=OqhUn2W`vQ{LBSTK|*z<saUvgq1b#lIGcq
zNjycmsX=U02CWT-_6bSFXHz4T2iQjw279gj_)}vB`$UxH?^o;U%L@Ds)SH~UpwKZA
z7%oF}oKwjh(+pfWxGL)~QJz>?bCDo99;Rd#L06DhET{JN^f!F?!>+=98ZMfVVDItS
zSCMm3r)bUzb4D!4zrmY7{H+=vk(_z5ur%0`c7Ej2%=eq}0|8kK3^?`$J|dTkeg6dW
z91>e;?`<Jbn107wzGOhYKK5Jsi|R<NFX7Bn{`;qRjCZ^3k~tfEw@W*HN#=h4<zy+h
zT64dA_V>n#-9x>F_>{w^uM+?L9(^U2*^Xe^!EJT%+4vkAZ;R;Q-m*#U(VpaOnyNuH
z_l6X-vP|DNq?`TBbRXgDW9nb-EUI{|pUvvpAaZ7EaI)cQ{gH__T-D+iO@)KKl|$Jv
z2ZkpY^6or#oV~VPvj0~vzkJuseRcDYO5q`qPGU)UMX$Gi1@<bwC~_C#)-@r0@|@Qt
zp0Cqh`nz20)s=jBl9(s&<75xM$ZEgWu*%gm^u%;j?Uw1h7Lie=L$9{(lzi8KPlveT
z+0&V~&v96d{^C5s;dZHA)>1Ltl+7*UQA3TK>P@}RLF^Wh^hoTmiEJZ7dO=r@&k@?L
zAl3`}7?UnzM~b@N{lqsLRg8JH6O>0g`IhDk9eqO&)D0Gi>!k4en<jc@H|L6{<%>&}
z6)DS}xg-=kaLi3FIsAgn^^cL>J1)}O>u>LvJz{yr=G_4!H<{cNo&!JP<AgL+46>GK
z{AM#USKhfN2VkcM3Xe;rz2aV!Q)skv4+&sD**I9AkH2}f-;J1#58$_I;LxfFI7-o<
z_C{>6BvHtUS#}`bCUvE>eU}wSr~RtJVp+Sm0J|#U=9J;6c}dwKyKzaWKJB;n4jtuC
zW$BXWX-{+iuYr~CMYRPVeR(p6#d5Za7E<Hu9I{J(q|nrUe66<neUa7Z^K^A=|G9Gt
zN-g$&FRgld(}<5n-{McG@8Q>TyuBoF`@IEYd~3gxnJTsSJFo4M`Q9bJ@ic~y;!Nb4
z9u$@4a=C^+PZE=Q&|%T^He3Bijn2+dYT-rYp5M`tf>9~z{7K)FlRV0sTLm6T7hk)Y
zxkpKtSk*rBe#WHzZq9-9;jpWjor96TqYstr=`>S{$t%cNHB4I^!+#R@ut%btFGv1v
z94r&};=Qr|b=HTn<i0y%UV(NElA(-JvKg@-BEw52q)XS&H9X$uC+{Rb-#PkWh4J#-
zkMhNC{d=$Hu4^8j!}ozK!+Rc_`<JaExQS2W^#%>)0+6Yw`CkbF53*P8#xzE`$E_rm
z<QU2525Qg#7*w<f46?varOn7)3#pshBN@N`N>A@NcmIKQvCiV)nA9+~BbP*4vT*!n
zRQ%?QD~1P&LHmitp4Mr4wSjGhoDye!&9Wx*BwH+P!+?YiPP{O&;Axm=o2I1s;W~>3
z(T^vqZ1NjePv!=AM2v_AW=66Qa@TsLeZt!dsP5cuRU>9f?3l>KtM|$daIBkwVbkD}
zwCxRRdAjVmHV02J#0$6XJ9vz5uYN1dL7f!AJ*~P`W)U%ic`Z{c^4jN~yluGJ8sZtn
zEh=E#HxTQ1BS6nEx;a00%GReOK;JNSB7b<w>x9I7K387U{amU%i-y8W`6lu@O{TVv
z5AWwEe9qB3k;7fCdj#JqK4RdLr(~3pC4EA_RbC=9P<_YM6Oa7k9{e=7o{c`8rE;RN
zEwEhUT81M-cAo6h+%|2d^0!0z+~L?ZdwO%`3<G(tu-4OkW<F1gEed3%&HjxDYoqGp
zE^nzkw)(O?OM!=w?-l;6jlB;UIn!tDlS+(J>RwPgdp_WywA^zOyd|ICh|s&15u0}y
zpO6bhPg`ZQ&b}89s#lNJ&&=jkV`6ptvR-!i!yxvPe{J{I^($8v@HK0A*&?QE^RF}T
zJpV4so4lxPZ~whsSa4ZlIU<sNnp${8_`cnpJ@uxQ_V_~6RP{$;ol8wpN9?$&FSD;J
zJbH#(lbUrtmvJV;P3;O^rAB+${-x2i6+290i2m3FpRCw&qPE4mvZMu}vu<o7B^4F>
zmi*#9W7|Isd$|ui(D2$$t?~3JHMPdb7e5^<PBSH47TQ(csG}icwo5cO`R}c0-jseN
zeW17denPFzz`VSBu2YYB(@^f|PnJKfYxoG?%1PRH%;j}JIbU{OQZe4(#|`-rbGf`u
zkA$b&EZdCS%a_Dm)7`z0r>rlGRbTV_>`gVF@9~jH?KYn8le%$D=dk^{Z}K>cL*(eW
zmFYUrZ~47<WeT&~V!P6Br^r()VLi&e-_}~)V^&SIREFOTejCtFkZK*$;m241{4CJi
zdO`O@l<>*JEyTW#tHl#0c&7I5M-5TGo|zp-x*vH;dJRvuyic2KIeM5O+n?&*h{cTQ
z3-zESKH3F8deay0IA^iD^HtN$YVJ^uuo=1utYLr7>WB&ur&LsmnhwNn|A12}Yja!G
zki5LONd3y|PK1Nw<L*G!oQq}MQF{Cx6Sr@=T%hC7F_Wk`^;<JOBWf8R{M~mZyCP01
z^uzC+t0s<J!iM<0X-6}>9BeZi2mN`Er8(WFavFcRLUD1&bYbk+Dy8^{;l+HyuM_w>
z<Jkk@Cir(kvkDepRd<+7q?^~=W*E6v@|elJVu@xjFUlimNsDe54fT4S!Af@khE>w^
z;PvPJpI8camxW&sCsy(a@b8@oX<wsN?RmydWxO1nwa~W?NKG*|XV#ytTo}wF<v*HY
zrQHLf<dzQYurS)q**iQ%24uY0OO?jPm{3$=^$6O7BDcI$w!wB&{Muc#dxSy+2pOQ=
zCqe`bpdk0FAOn&|3$jQI1k>$6fK1^-2lk*)1|6Uxj|IODi&W78Izkg8=%r+a_F9-t
z*B+#p4zLow;D7<S83m7uL+z1<Wr&+|0Bsr)Ba$WnL{aMZ0$}%lnr7?-nw_8zjg>Gi
z0y<ICSW<AJtALF#FAXx$Gv`PUp-diRqw_!w2qc3LWpJK6(_gm%I{~W(Y{+DGTA&9#
zn~tD=5^#_s^SH}SxM~6V(RmSU&VuGmu6j1W8~p)NYYW8CKu2vs+9qX<904t%zz&3<
zY-DL6_Lw{uC=&ta4Ajt1gp)4d75R?W4HV%}y5^f;bt@eWVJsL-lI>vpRSc+5Xy+0V
z(-5A<18%a%w*;_@^ut)v9B>GjB1aBQxe3C_pb!;_(3TEl$al24K$#UCRi_%zkf%?Q
z(Ed57Lp3Hq*URL)+-9&ujv=cBgrUUfFnV7BKRF+;+e!%f37(P*g7nF(7mTB=S>(tl
zP(;JNJ_=OPn^&V?A9^!83eYnJk^N)f7>e8+1IFmh*D+wkNGhfO`5HDNI}TI@NtjIA
zi#3hy7|cg@3<h?KH(lb&v1Lj-5w3ASFF>-~+)x(XWQW02B0tB00!p`cMNF9%i^0Ti
z!(c?V7~yPV-&=_ymJ@&;jmmKX@L=8TklPbrKMGVsK&jCkgK@R?^xErU?cloCSRY_<
znEyUDQ7esTca)U^21<>A=;mwM9bujXLTC&;5!#ZgFa{hI2E)182&3y0tLBA6>?Q$P
zu1LTnj3LYyg1nNXv9@EN5;Pdn5sh2c9pe@jeSf5967Z6OP9Q>pEB*){5lEtwFdzZ{
zUPFqBfE5WK0yZ=vYRXiXaHt3e<mTSO^)iTLiY@`9i{u*@j4Tp?1nOp=+@_@g-PquC
zdAGPx+>WgZ;zyF^HpFzFg06Q%WBEgQk=!Z3hQ?A$0v)1|pHn~v<;xeDc2)owOfVE@
z*A_m_I3#EqaK`S4Vnl`5EPC>bZ__)WmkIRR8bxC~$qPNS5_vKW2U9?hMhKvTvFx@{
z8-*?vFbh0e1`|j@*k%CvF9+0TpqtqP<lM{#PZ$YM&WfFUuoImg%JodK`r$7qL@v~C
z=N7JtyjZ74!pQJ6phqp0=#}TX|5wX_C(x3c)cq&t<b@AQ$}w0=9<+ZJK5J=geZi*D
zYaZn%n?ufRFb!Lm$P)tcYZgeMYVVkXfggW{NX=~kXGwtH^H}LBG8bx<M*{zO6??FT
z|1Y6i>XVxWp;}*<Fc`iqvy5&)nCHPBbcUO^Fu^TWuUn8a^FSIMCt@Csga0>ne1QA^
zt!yahrYm<GnVbjgC<E;RWN03bRT<_$4liufnE?rWGldi{z(4rF!_x?Nl9mc5V~W@a
zq%ne3vTqX|2Gf9r-_Kl?K{JV(R(;RMJ3`gP;K2M_Oj#%ZvSX3FBO)q`aGZJ?#By<C
zU4=qmn-n8JQfL4#Lcg?;ZelKR{tBcCga5ZKEIB4*a&co}@hm~MX(mK*X+s?c62Qic
z+*$(ssHn9H5jD?XvA(3lU<9{>rOAxEfo^E<R#L}JtDr?7-JgYEfCET1BM|&6rxeY$
znjDbW7S_+6EyO0=h}AMUh-#g*4C8sli&QQH859_Wz+qJpKz<h5x_Uc!`~CGa)K0ek
z-3dAOL)o_m?H~e>4gs(e83tJLx*+Jih%AA+Yr<;Zx`<<TBhf1xi|_dgR5@}FK-NS6
z=U;QlPgA%b3hQ%*;ZL!h<q*Nu4YBoCA%}`GK%U40p1(NwalZW8Fpke~Ep1KMni^8{
zAC6AQfek-`EUc1uVnkpK0@QlQp*0|ireeCM<I+nw?~71Z$t}A6dj=quCxH|?cT~)m
zBxg!1<j2~^G`Fuq0DA!uUEf$!UX2TNM<J6StV*~KZn|3S5YP3EAnrl8!`4n4N%8V_
z^R%|J{VOYVuM+)CU}Oa_>q48DFqm*Bgt!j&p#>*TbyLF%TF^r+wypzdmw0t7x|zhg
zV|lP0Zt)QtAFHuE+fqFM!srYH<Cn1HZIl*3qj^tcH^7pg57)zR*PY?!cv}jCfp5B-
zu4-?@17OkjLL`ag<`zN%*pMcG6+=~}s}n4!gRwip$hJo176y>+U?A{ULVNTs==#Ef
zkc8RXD&6%6#2Sm;g%ZziOKX^bp}0cwt;C0t0P;9~gZTg2e__#Xx~?Q6L@bsA%`M$F
zk|@bg6a?@|{rSG2rmatN9aij5`ag%weFzY)WFUa7QfvtM5HewXa**fSu%c*+#+-3K
z=Ha0=l)L^EGWQ8WNwFd1UJB?oSc@1?V8v0lq34UG39yb1!>9Px3ZHt7#8Y6&d;Lr3
zw(ZjgfT+FO90WZjgpanNFc+dpxnb=JVXXEyB#aVEe!N$cfYwf=gAyx&3jD6y-XsE6
zFg;vXTi<!;`T=tFC*VR3Q*F%DfC>)sa}XfMdI1-^u|6eK2!pYN{|sTkeMFce%zptv
CH@VRO
delta 21682
zcmYhiV{|1-7cJVcla9S(?buE_w$1L?Hafdw+qP}nwr$(&d%knVyZ8N?wPvlVS)=~d
zTC;{yU{fPukrZVhAThqd!oq$taeIqJ;(_=dNM}G8{{yGQ|ATl$FyQ|%d71zWt6l-j
z2Krx?#Duth8%6;6e?dJl77N<HEO9+nyeuz#ybCocs0N)lRTef~i1JT`FfnlqF}!X6
zK^&s2sl6$9koNCJ%UbR7CN<%Api4SdC1zrRnGRqftlh=#@@`GL+48ddaaEgk#p$Y(
zHQt00>Sz3h*WbS%e?edM-p3!u)96$H9>iailMcJqx>@0WdyaKmz_Z<YgK72bcYv50
z?Ke;tAlF>P<reooY`qq&<<SMkR(t-gi$0_lC1~3?v7fP58hS5ywn-+OGUr$pn|X%O
z2<Nlsefr*dgPaHN*}|_yVLFHH(}D2b<ALk;?atSV4#g9#GELI3hwFE5Q5{d^Ejokz
zb01Y5S8BKXuUk~r5TwJO461PTKtAGX7_ka}P+yfoz*koT^5}VY!Fx=D4{<fonD)}E
zMBPaZ&QAB?;~zRfQcA9hy^=5@nZE|7e+L33>?Z<8S>93kfUe%M&;V>#1=vd|OodW+
z?X>BU^Wr;Cb^Ynla}Va1M8jh2g7>_zWYrE?`w65V|J&DqjI_0SxTe8a*G#573Y;Yk
zkei#$QohaCBuNohUYj5m9D341L%`>(ravGGW}hF)=4*u`tE19_SS{N1F@I<;wxnCc
zPP5QWERSEVPRYk=gJ`8`tb22(de02#Q?-YQ+5M}Y2~YJSZYS(9KsYw)R|Ty&?C-Eh
zkuQ6R<_o$91M^f!#Gv&@nKe=~Xx_GbkoBLSv|SE7*-9JAgf}C8Jv~o8JVZL#Mpzjb
z7R$qG0P=}kYU!jFq%j-1^c-(P5hwMOD4pf<>Q1KKgqsM{mPeDIbP23z-({~m6WUX7
z(#hrI?$g4|S(?z0<<%Mh9{Pi&wbW$>r=6t=;rKuj+Txk11U$CtGWN>;z0ckYR1R1Z
zHV1T!8(N90yV*>fRmb^k#9PB!$(sZt8sTyPFRR6sorHg_WPTNn%A+Nk3>_KhbJ;)F
ze}US~`apbVD8o&nd3tCT0j2#xKcS=lhV3`A&k-V>m_bwcM`$h+&PAF>%Wa-*?=IJX
z9ovssy|8};@9X#5-RK~7_m|^=e4>|ehDDJ2rG)#>S@w}SN_Xi$eD4E-ns1|m1o!kX
zL320VFZE&1Y#&h9Rxg6yIlI+&Z}<WSbosm2FOvO&H_W*#?SpKhs45P+{czS4E%ifw
zK?<;Vdnc3;6Nbh}yfrFhedRzJyu%nd5iW@JLTon}w-*t#C%o0s+*oOlJW_Iwgntx0
z9_flaHBpOs<CXy|i|UAdF#u`kvk!^zWZ`=PKP@yI?gf0%2Ve9vtU-AYgO3t}PKs_q
zaV%w}H*m%r64O#ubPz95u~ghdwQ5!}RhI<97I-i+lF-XmRsf6?uSGFui^L^8-jj5<
za^s3o3a04Qbd=4n4Y2^RMGcj+3FU{*l@>|i$raJyEh<)u19BH*IcX%drTDuZ;@l}6
zS-pbKR(seIJMh?N*dmMO5hG3K=pyCw#UoAUPo-M@cIiD;oh>CrQWdFxakOw`G<uW+
zLQq&lS(KsUEA#zWHG*IboBTb<skF(Pbbf44rPHKq!+H2#QHO)DIH|Bu;1(&f=5mMQ
z<qZfH7EA@~xhy?MouctW3;DS1e)*BEK#)v{RA4CJSc3tkOek%>sJr1*a8|z*t)5M_
z@T`!l=Z)4q)O8A4!*Lx+b<iUl+`@Oypo?oOV1zEkrIa=-!wcwQJsyAXSB@qHgg+=M
z9{Z25vbD0CG%A3)OwJGX?yS*a@{1_YZh|3sBJjMD1pz1IbR#wQ_K!kAviv?X9O9(m
zTE}gTn=h`J)4JT(Iv@O=3DYk*J#N3bS_a3AQzK(MRGK<j2@E)0gZIP_M<6wrn)2E^
z`}v}P?(IIloh4>A%>Y(6El24?1@*#ALbOiZT!%^Rd0o&rNe=v;XVZDmj}0Q;5xPos
zdR!D}y8M<oc2sOhk+59E$5DH=7_cVm!!%qq0&r75oP>e+t6!SV^%7if>y}vA+E8AO
zs46oGqk#q>Xry;S;o>p_Aj~b>6hi8JkZD1rs;9$A9Nr4H3A;#rh-5|W>XPWAYi(Or
z1&NVoTOUY=Thrg!A>M_!9l7;ua?jIL;e_YZ_~DxRL`#i~qGI0dWHu!>w|>gm-krWv
zRAD>xtCQ4p)9sr#NBwPnam(LQE*h&d=1X!7VAr<&#=BOUBn*t4zH0QTUb=|Se!#d)
z@)%-6Yz8?CSsXfcKl4zc@<z+!U_NTp@R7adu@`72Nx`>D!KIwqcA4J%x%>=ab;|+7
z)WKC6dJ;?DG>kaqc1xXIx;eXmt4JWDG`Fjg0KA`1EO5iAHkBF-7x}`mQ)0=%VG6M}
z(4lJ?mmT+}o!VEaryar4&$A-}s>o(%?cRCBC8u5t5!Q_($}3vz#T8r@n^E3h;I8_{
z@PqPXRE7?<oiYJ+7rY%l*?U!#4x>603cvg6Kv3)P$R5caQ_v88#5!`780jW7jTL>9
zCHt^e!34>tydyPAwKVCLIMI(>_;)Jb;t<HXrw_NxztBLJS=au^_Wm`o+sOW0fYz0O
z`-#$~=M?R42Mz8-0d;L%DBJ?+>q{_S^&leOezWRxf6GQf+xB$_*eU%LWcSS|frB^I
zJMPUh=7Ux>{qsBSPTOOlEAHrCwQE;T6d|J_k1kz<Yo|q45|ICL=D1Ub?XnQ{mH@_u
zn6LFlFlyhb4eJu7XNuxNipFsEp7`W^aNOsgJDU_iWFO1QujvU!JzJkd!=zT{ZV)%4
zfw|pO^{yF*pxGVS6YRZHX1W@!6R&lLi3d1yvq;+$LH#;Im@ai+Yo-a_yf|fzxH;{n
zd@iMhQy@qClxYZ%fOd?nIiD_CViPVRR>{qA!60g_QpuB<;<EWgiB5}3^D}kHEs%n$
z+g-~992-BNj*mob)K(Ud*dxAb1?pUPz`*QG(bKfCUJjn!<7xi<KJ<_`bLqT}I66$Z
zBQ=_z(${8k*`kjz+S78-^8)Fi;;6qoT@?SCYBsx8agF8r1c^GuB$k+aG61=RJ69Yc
z6`C%(C$5kwIg)S&X&I=TS(ltEttCB0J}d?I5GLt{@6$C}m&vF0vGP)i4HDS&qcQ@s
zTBk|)vu<0nVayd~vp?>3Of+cRqyZm<dG(PC?=EXNcR*P?;p`^3R{#-25W!?Q0JQb`
zB|&(%BL;P*6j}PQ-qSsg8_Bw3M3n8Tr3szNkAH5@BT<Bcod?HrWQf21Y&bD2pVf$u
zV2_lvCq8ro(08Cs+NY`L0R@|r;H$@m)t5k8l@Oelz*l;oZvQ~y3O?HB(~h{efMUqG
zuSxxYRis+8pyIK>ZkiJaIMH`@s0x`OTak|@kyaoRXC#ro&Pf*-kf*@rmqvA^F>+{S
z0n1j=zVSFD)h&gzZ>&TAspz_kcj)M?)QY@J%egl`2H42C=#L!x1hr^!hwzVuuatNA
zRnyw-s2>tusB8_}j5%y%84VM1li8cev!ii4)d-qVTn)ckHzMJ@!{JM*IrxSlsOc8;
zRU6iaeftYG%&aWNiyju0-<$IuZG@_%CnO{_dLnJ2Y~UeckgBYsug@lhtMb5nbXzwU
ztq7U?(LEvyk_JEwf<~h(9oD&oq@L<!Xs3^F0D}qo4GZ|$@CutG3v6Y6vn-1?ya8*F
zYIiAA^O}0#ROD+B3lxyzTkZNrj`4%lQ$|(0TBYm?DIWj;%aPoUel^(YlIMQB6oIae
z-GGg_1L;vyrZC%G8O0)Wb**XSAV<7vJzZ03K^fC37Lsu~$WIW)guOeuW-z*LlgRYt
zFQm~eELEft;)?|CPP73kU>J`NPB2THDoY4ba1fa<oc5NWYVdwyAL^oCCS&C1P-n&&
z%HHwBDJGxq&zp#!dz>$rTRqjcoVJ-gcB4_-qkj)e(7KCn-6Jh;c!GEF*--4}q&sYW
zlp}f!Gmn3p1Ra(2!KtB_iOZJ&O_+H#A@5-;MWSM5q(!R@*Tn*>rg-XIX8HY*7f{>{
zzU$D7RvMNOpRowko^eyWSi7kA3xug)+BC+gWO@7%+NUxcf&56xcFa;4@<^}WR&CbP
z=U}yqpFI=tcaU^6!Xp~tcr9UxQ31iuukw}^+hTB<ftaA*9a57H{F<R1Qq%U7-Gk^9
z<eZt4Q{f0$JRHr`!QIm7ijlq}{yd+aGp%bt=~up<zRU2Tn^$HSn{X^skYhPmEWQ*g
zWU~=bot84X@su?VzuQd2z;KGokU^G@0#b=mQHf$x_3~L84Gho_X(%#3*@JgRN;~jU
z&3>|>fnZ9&B}OBMxpKQi_ivE%&mhwNbStw*&6C&78UqVyRK*%qMN}*V*k>Hm#3$MO
zmu6(we$<;IWQwC&7EI6SLVz0mx?6!wx7#ge4#P?|rj6Yq_$#TSGw_8ui@$`dtgy^8
zGr_bsu^OVZXU3*sE2YuFwKkIM)*6|8yO|aZKu@MrH`?NV_~)aS7Yy7t+5aqOMU1o=
zYH}5N*vNWido&scsP6wDFgaA4iPpdqSBfw^r#Hi4XN^#2iBM;bP~X?(LBO8H6JT97
z#BMa?%=EXLYi)_=*aNHu5Z!rrMKJV)WAv;qL_JFm2P48#xhOJ2Sr7!`;-IEUtXsh8
zfn;qk3K6KM$oQdE(_+&7#vJw$S#x4RXg1h?T`77+<PZTgEBcd&fT<3V-g!&k<9bT>
zm=Q?8Mgm8ZMbkWb3mq97&pd<tr1kj8%j@Z4X=+x4ExnwK@uV!TO^~^eM%{dsVX@w%
z{Q9JPJG9P;OiM!5Fp@L+RbKTDNgLEOXbvF2-DQCD8}foCe|c$1-c%$=B`BkBQI|o1
zrza@G2~yy^%UE;HhG;REGTUFyDqeMPcwfH@i96!#F3gjGE^3$6(J5_xoU0!9?(Q*H
z<;=O6V6`k)r8`$my|!&(=8d|{bGMvR1~Xr=lJlglb^a1Vq-5jBj_63LkddDO^h}{M
zrLaCor6I63?b?b@;fzvt(vC9?wR8HwPnYvv6Nk_%=PbB>3Z^TEQkRMBC~(pL`ys|4
z+j2!<_iWK3E5~@jG#$w)wK28*j>z0JU#w=6M?SkTVrfboe^RU=C2Wwd|Cl)2GD+J*
zKf7!~A!mfnMR#k~P+HA4d0zG%<lfQ(m_MO&x)L+k9RN$vH_rlIo0kf1Snwa$Qwc@a
zWku(P03>Mmd)ov;nIAAH9evMp&6qN?#K`!A2Os#7<`Fcf#jeFYQxOg{5cS3lczr{G
z3>=B$e^WGk0=$<P!cq!1^`i(vGaIw=HEXaLzUVFnjpw)3O|=FJ6M`K;wJq5C@pa_B
zZ~zEgwR}&d3vR#Bi}^x6M^kY5Xz%$lcXyGQbLt#UMR7Yry3RnF2N<ls(HBi_xN9K8
z=Fe2Czt2duYAXovt$=+K2LVV~ZhtzHC|%$x!nkIViCb^~<l%;{PcW?Irr&tn!1_+v
zJ&xOM19@Vc_zBnD3FH{)6g^^}rBt3|LeY9?ii3K;U}US86N}aGsQ&(Sqi-HCe`wqO
z!TKYSOY?}m05)XT)1f+|X7mc}+7s#6@y|WxA}z@hG3s_kk8N|BD5!S1#nr<&AQwHU
zAWQf7*hM_<*Lbx8qn1J5<hXroFJ{O6Sm#ArzWHjn=k2h*EJqD!Aio@~gbm>tZN5?4
zlH4W+llsUMRkaWYN*WHBsJs9)F;^X{mBkHpk%syR!#60LYZ1^ZjOce6bN5zD4Y{UX
z<SLOJ>L0`4D_kh7pJsuu^>GWV&am--^Q6P>8hdKIcWW*kQdRO7>RwaLUr;66)}a`v
zN3+&srCzenH35QHX7O0DVO4cJnK}7w+HidU=&9)CDW#kq+;KEkuK{eZ9^!V2%1ZKP
ztP{PkgTb@X=tb1`IM`;tqUydOBm`<!()G2Dp*d5_)XH(ACj-Y{k5&vzE(46h%E#Dy
z2SW|91&mI;G9D9+&ewQE0$hf=^TyPff9Pn$PpgAgd}u+%@cme=`q}ipjgP^E?@WC<
z*-mMHB5BMPh}54A<l_vJBgTHE8v@hD5A^+^wjHG-KxGT-aWaK3Z0=6t0)4b+ueOUE
z)ZNthE9b{KqTJYrW8$)^9JSBWBL0p7X$c55iml&iU-CM{ZjE4mCb<E1Ucfhdu@7@{
zpQyRwUk_Q7pIS5R$~F+V#JwShFmcVQ{l>rG6lGvwe_owfL!f>8MoInc+yARS{jb#Y
zPx+``me&>j-&)e37#C<#3(i}0vGp(Lc;Z0b^h%Zkt%c-==0J>?u?oR=6I9qb%<qsG
zgmGZdaZ(xNunaAG>TV8jd5wAEmG}%`gHXwajSOm5jn&$X;gxG|Ys*~%<v+HbGkN1>
zIR?Joe7cjjKd!i+dADDa?kkUv79kY)5q=?d?hm`HTn>x!T@HhY`N*Qp==sbHq63fV
zJAUno2?p&`2&UZ_2|n$a2>SSG&~>DZG72`{q!F#IT>kUU@7k4swHv!I6X>AWmjUaD
zbTgiwHo4Rjgx<$aZNa*Jbzt90UjC{5g0lNgi$FBO8@@jneD~5=^EJ{p4E{y_XM3ml
z?j<vD`&|hbBKHDP{r;CYS`dE8%*Q*5F<>M6;MNTFbzC;0AEf;fo;}<>w%>hl%jxl<
z2l#tAEO;Y`)fMOeQcV5S$k!D+`5v(2qqOrUkVCL&4_!T=hamJI_oGJgeN;qW&?IK?
z<zPQEVH7+j8zlwYCqul680NDjN!TyWM5&3W+?}e-#0wd8_*Sc~FIdbc$YShD|9G3f
zlzE5{2`=#c%t}cxoFE)N&=3^+sudn)y#Fm6dW>r%&oCTXhfP$`8Vsq?9H(3=7%p_z
z+tIlNR*Q5j;uoGOFq$QN?6)e(xWtQj!42PB^t?p^pZI<5JWkfAN4B`pXUK@KC>ANW
zj^zHwNI^a*V0+f*#k^x8>Q+fpQ|>!E<=crSs!`kwkNijt&u~5CjB$98CR^f;l<3}K
zz{aW-**O_mI-U_b88%Zvl`A-jks%$xDnoRJf((oGY@zLpn#9VL4v@L7+Rl=uiJ_&{
zAJe-ydloob*5>|rF*0Os=s=Dd9~i$^t5#bkX;cAXkf)|kC5$G=6Bpl)tR0FZ!xqC^
zlCvj4igXDbIXfBQo?UAj7=j~9LiIzyCsR8=5<NqLc+z~5Mh1Vv4KLDi27j*-n_p#y
z`%HOWXnR>Ja!+JRtGo4*n}tq3Y?z|MzQc*s5ThbMTvJOKya=jrRMWHhttaAKhA8K#
zPelo`SQgzYPdA2;*}$nZF+}&&E4he-dNjg%3~ehj7wK0`Mz81EkI|wFqqIZ;mm&1X
zD|MLMlay1bZbNe{%imPhn^lWim}{=NL@d``ItLRRzFMAY){_!GbTi$cMM>+G#|-DB
zJX_&DW@i^iC-Ah$8FS}LBd&PEu6Vm-d9nvhts+tC;<Pp~Fq8!Bx7}TRQcFBQQoK;A
zFOownb=OqUC}Cy-;%_d_-&AGuNR{hzN-5Xu14P>+>04%tQdKSH>3C*~R@s6TSK0+2
zi|_XuG(~_nZIy*kCe4lLQ|4in(F>9rE;{8EmDN(FNa;s&eCbE?&s-Na+CLEJwT(gZ
zQUg>e$yaL=<v{Ii^LaF$)JOJGS=hQ%wAz<58oAmu%i8Oey}7->*)(%CqlPxF*3uSZ
zPrbYqxu1iSAk1QlD%4%W^rShK^rU%$)J$RGZn5Gq??AcY*;5WN^Flc_Rhxa!jbADW
z>Z=WDOW)rf5-hC4X0_FG$adxB$w@)@X2W=zzAnOLL6$aQDulygZX)Zd3TF0C^)w_L
zR^J;kkhNLKkgT{I))pk?I4X--ZPtF^+wg=>HJuQoPZi2>WJ(;@-=2b}GZchdx215f
zM#|T5h+CdR9ipW(6pmZBWmMIizE_ayNoi;~H_9!~G+qqrIkjE1P8FSpP8)y_YTY(P
zIoF-TnQV#@y-5k<9C5X<D_s}2fR@wPzikU`I5x$bbsiv?{}N(-&J^)lw9C1{#kQXU
z(zPLP_1mV4-cKbs_<MA2z5yCeh1M1}v-hm>LN$#76tZZ8<xobCf=^NLpZ6s=0E3-<
zcENJdbE_A;odMjrIpyhh_W>ZJPCC^gt<vEWhrT~mbM{xeJJ{QMn;iTkq(qRTik6rK
z0(zq19O_}Zo4w*?UwULNi)H4*8`JiiG>~3m%zSRM@f`dVx6SEYX7lq85pvUWP8^rH
z$Ae>x&hva~&)n!pI*i<no(aTNC+<Wx^WkXXjHCO*hNqnmb#j8S%j=*MOpgxBd4<85
z=2<I_P6k755s&)@^G=+<Ncfd2qmc1TlrNN@6GhGTWV}YpSmG_+lb4~WtXK+`oOND2
zvX|`KMq6Wz-VddS^V}ZA&R6Qn+^W1S8g;Lv9gK(aQWrFGi{<%|QV-u0RB(OUQ{qth
z-6%4~jF1TFkvI)E0IwhqMzd=1WkwlKT9`-|+czU3gN!OEB}u0#tB8R;Yc63QDL0Jy
z@YV@(HTh7c$}bw9()d%&j2PvXceM0c<~oM4!sSFtJuLwSGCMyf`@VxyQa65e&bm4l
zlP0K9wNn|g$44a#IiP1;D?WAVmq-3!TT5WYy!`SW%%;{#`wvhj0pT)rc~_`QwYC{k
zn?*+5L4vs)U0c}i8oM#+%y4k0XSRW<FuZdOmPL1GfBd(sIB76*N>VzYg!6J}w3;)P
zpb14Afw#6qN*$|&c!q{nnxe|bglK_}t+Puqa#wx!<DU0c86M@r;yq75SYxoH5LKm0
zF4>Sax<v|pqAuttG@YaYh*hn>(hz5q8>_?B=NDHRyaDG{9>ecDK(2M6%Z@+4ijnXT
z0My&?Gj~x@b5^P-8e&7vhg17&SijLI!H0v{<X+I$7QSBS?XFdp=6t|wbaXnZFYBmB
zu8+N~sk6Mml#2dq({jqPUK-g)?F3mcger766<S#IA`Y|+IYF)B^-x$EOdcT9Kakww
zTCo%vp#|9vL}i~k18*(8^t^O_e)^VXaxwZKuSryXlqflwASt3MY&~$NRrK?^ZI52d
zmP2X-*4UM;OWTibW#(1SFJTtil{riYajs%-i+OcuBPt75s^+)CD^@;18<7j+4{Lvu
zU`KxW?K#joR2MCn6HrYKPMs}vgDc3B*3OqaZzg{F`=&b+Jk{#Tn|WjSTyroA+;|e)
z^n@jx1gF+2U8C{p0XDpcoSIVTALCuCX*WXSc4JOtDg}CMhQ2<Lu53bOQ7SU-YBIm#
zs!(!LZ&qd~6U%5Q-gepufBI5sf7PSa%u@P@tXa^3cEDndk%eC2#>08qi}?{%USn-g
ziB|(FO5R>Gq)A(L2z`rH>L78mOHu$+BjsEV%aKbN477O$u}R425Ju;w{X2PLrmjl7
zep!c{Lq0mI%lM+_snGsqqLp*CuX7CDlimBr9evb{P!c{qhh~8|0h<9(rY&y#uN_e4
z&KTsRj5yD5DWzE~<CAUc?!8BuqiayG=}^Di;LkPhHliH2e=JU(Y3AZwPB1nX4zrqT
zg}q48E-Sp+%absb4WHs@>UF(%zdWkX>sUVvo4SPbO#N|kon}bkOs?UesXmSkdzw=)
zQW-jBbzo(!-33ps&~Ibr(#f{8?_~~)yahUH;xwKMah%@Y@=p5nQqfyO^6u--b{{?_
zWkzxfDMh=nGfjA!9P8v+T)O|=EX3vVuJ~GgD5o+|p;me)c&{_|*A15RYAD}v_&&jY
z+)wGBRv_5UejJKAAHt0{g6+Yv+y}=WiM?5!HuQ#m;;o5kL<j<8B3q&Q@HFP=+)vQA
z&h7?GOZiv*mvNok^xZ|2n*rA5JrDQv$6-EWYcWAUMdiqDZ!@M3fF=D=2D9?!TKHG_
z1&vkUX4noOpbs#7UkAn?Rk1mu--gcJ+FCi{#8-JTANH{U?qeagO*N|^^fc;MKR_4U
z$%1huHWE>JVpo!$ETNPD-emZL78-Qbn`0joKO44J(}?e%IvZ2N$Ua)J0%1oR6!aP8
zh8@(nSHq73K<4^VCjc}NzDp&1Pdmj+jU*m1oPlF8<!Zn$l+B~dNaSCD;|8Omg<A={
zGfhy(QQop|ioY~&%=3d`WF#c{(+SHZK-G>(mRt~GY=*)rTIWR`w|@ZZ2?au7K!t{l
zm8Fsh;UW<@t;C@wBl7l*unvxiuuh6dYBDlDvl)_+r!KXNvgYT@I6r6u?g^w)s7*NC
z@gV0bNDq0dH=vBCZ0AQn$@|7LvS5*$82>3Z7i!CcswnwRa}q20v$#4(<7NlV;2-)Y
z$=qC1&Ebzq0bl}=qqp@AFX%RBe;fsu3<YKVB6cvU5kVrzzn$5<)X0oz7ZR7tl1e<d
zegH9lC3c9<x3-<xwv;YJ2WLf|0FxsKj{@emGwo1wH^F>Z4SIqGN;n%yMm;`yGLM$L
zJk8}m?XK>9TCC?JEiDK<ek`Md%3e1$zTAa2s+&uc-sWDnmNnkc4CIRKb@x}MmLJ6(
zu+xx3E~ZE@?x7FOI2IcTe_%-dwkH|DeJtB=E<3DA*TY5EtE3rryAohzk6W$p57&Z@
z?tmTD@5BZ0VurFa1a2J@X8(fj8jyw0iF0HQf7=)3L90K-naJH|PBt|FO!j+g`vp4l
zU@4)?=gDcxrq>2kfqF+9pkyrY<#UT2fc(MpCng#4b|k_-4Jm&60}q879c!eKdM(+(
ztrl<w7Thb;hV#|cNUPLy^ecyOfl&c#f1q6$@D@!oN*VgaAAe`$+xE7eF<2|3?0Y|g
zGbq~a2tV@b7JP+;FM?Swf$8QUIFtf>#~)BzbfX6`JxQl#K`QozS;6HGj=Gf^yV{+o
z%cqkq`rBdn51lJ{**%eOP#Xo?eUooS8+o8;(@&_Tv+mn2kYV~4bh8m{_LJ4fcCa-<
z^PB*It%1%jB1ig-CKT4!z%?c!A%td~7qEP$faHnzV>itggR|inUSEii6q>(H*Zpih
z$g9yl(7RI*AkEFLC(NS8+EJ9uo8_H)#S4<3yR}bJ_}HilJa9`x!vglrI=T-qH^k9;
z=P7fYBaG|e1Pm-`2ok9@%vpqm$_6ik=uZjheawOA-5PUP$M?pjw(+S_Ix781MvaEr
zE5|Q!;Y6bobU}ToXr5FfrrrArRf6=a^#ZX@K078-pu}!BaNRTV=k(>DTurb&QXsqa
za`_l^E2nh?`5EKc(@DSE7M(|AH$GDWV=V66Npo8(4ksE3R$06*UB&cThS0QS6Av3P
zyj2zMpXA~3u#+CdsU;}!S}aOt?HF}PfwI#|xmc@j`aUBu)NI}<*|Y|>?Z$nVJp#k?
zy;nWSpa}-J7mZiKmhQgWgzLTuCJg|?+iJgSZXITQ6QE`4H_=%a{)XIP^gfq>InB5h
zUp6_qyopzD;;jjXKylfH9@p$bmtw1N&4wdGEH^SIT)kTZ0nSVv=x>y&;T|N5@9!%Z
z>Kxvg<SS8Bo8j+m2qw;)#YtY@3$d(=yd0o5LBZuG5-Y+eHJ?NW-#l^FPf;(91WvR(
z5v%9-UlOu<%o-3txm2Sv3bD~yMY^6rcc<KE5?<7@)ANX)zNVvpc}|AevY+Op9#}GE
ztLIK1R4j9r&G|cpuxHYpnLEXj=hmGCJ4JX;k7Y0QiXH$e9@%bRaX!LCOhdsB8gC(A
zAo*<S89P<VPxZsuYgM8*RiqrjlK#_ZON`$|;`7*+1fNoo#e(Sr_V{nuIY@yuvd){9
zeG^DKL}@u2(WD5^H_n34sVALIM9}tpS0W*^&jw8UNyrV)WTGAFeas*16=1!eBhp^m
z!7SqI(Y}-y*S~@wVphpSlCf_TR*SjjKsxqzEOYxC;-<BgV?br~?D>fA!_5KD8|@TJ
z{9=ohDcDa56jWPtq_`{t!L3d-98)y2g56qaqW62o7#={^T`yh&JG9YsL~8$oE~YpR
zNlZe3nHo9&)Ujri9X6J|CsRCnzYjbNwY3VD<gVhZI-k}X9~K8$UqFYfDXJMX$judv
z3d&X(i_<9OAahX1!O_tK4(3m;Yu$Imh8-^dnTUKXV+FKcDhk0srW#dGlLt98&9y0G
zQ!Y*5qCOAvuqz90Lj}Zl=Z{RV4Pp2ksLISjfzr&KJpDrbFB@gXzgVSaO{`i#<@HNt
zibCWjh&bioH862Y4P%gn7HW4UXbyF~duWzm{bxQ=vQzMrlP=Lti*3I-11l?rL9Mc8
z9-C#$LUv_`ZXLaDk#~!{iDCJjQ9Jw&z+_(la{vMu5Uhp;P+4`CKHQ;54Chn@_~gFr
zECY!^s!%UPizqf@xw2}KpQ@-xd(;HE&~rFyvhxeSc%+bWQ}Dze&zN{XGDyYY+``qW
z6b)jLIqPaP{3T<jaB4!+rDP{aF65o#v+t-9*JhS<zbl7I|L{m-mfl*H@Q5dt!BHk1
z6R$*<-`AG9uW?i$nURe5{r<>r__2NzWU$5v2NQ-c{M)~DFfiZ$X8dngd~+vl>zFp*
z)DFB=qKqXyJ*^vGyM37|Xui{1@6M69D#mfZmBXPItU(ywKJW+mqbW{*SgWbqiV18m
z*8<|pf~;|w)`$v~VM5xZYif9?C7`JMRlNBdpFm3|f@U4e%`X;O-N85$)=(1b*ZG&N
zk^WQNFOQIvyPuS9b&1LsazZzbA8qXV4jXst<e_Wos+YYM2B5BD5bp1R#_-kzv$0>z
z#KW0Tx-F28e=1*6_Zg3;mT9Sa631qq@VDC|v@|%$!mp{G7)1MfvC2$l%3NnG!9w$^
zEX0LUapz*Aj}uec(at-}xT-5`ii8R`G^=S@htmg9(Igpk7%Y*dZzEy*4IZ17RXXNR
z_Kl!T*!GhN18&>)L2fK#UMi+)$DeM_bJG{yWmK_9jv@+{Y5X!Cg-y5!()|21{mW6v
zCQ*_=){R8IOrNas>`nO;9XhTI3gNs-$g3Y6eC(VlY{l<*@$PNluV-u+C9u$?i8w`N
z_9<a`x|Mx6SBL$UNJXVCC93Qx)t0rgizInxt<MU-GA%_jL6&=>wOQ}4tgYGGA>)f$
zE$W$(HfIF#SjUcjD*<K;9`0h9(a#G|FO_ZIv&+M8P+XX4T;Kv14pnoia=^~sGjOU3
z$QISul=LK67a!RqHh(xRMmA_}iWZlpb1QB1h32JBDe0WTyU=bHG|lRrad?Vu%JVLw
zoQS!=be3KffPR*?w_a?EWS3*T1-B(XmA|V7dB(&Kij@7}uYfKmq)bW5`zas`w!Jiz
zT=^$3c;lt`iO#{RjAxsQ{>RKDdeLOEwNlDC7X(D$Pck<mN1m;Ec<wZ!Au?O@JE&3r
z?`E4|%4~-^k&u}hWu{#D4Hd$Dab!vzk>pr%{avfI?jRDtR7DIAX)LFXy1UgT!vg1i
zCVc1;Yr$XFP1O?0jiL4W{tXETaLbj@p&Gs2l_LhrRyD=8JHvZSi7=Gr7x^0Dj(}9C
z_z7)$@z{fJ)dOwYpL^&r1Tnkdh<rPqdOuHbpxN^y3SmP;-n5xU9%mPno7x++lQgxn
zV~vH|TtS5T9=yoMr}HC<)5IlNhpI0GZ{_^d>eEIwp0WH7!xx!e%<7#HQfHVG>eYs^
zZ!}3|%PYLwJ343S7ny?l>8I=7=iV^KrP)q!Uf7)FKX-!9_&+2&qk|W!Z%W?2DU_ky
z=DopImqp(uy&-LBbPo=DlYPd&VSrRXJ)CFJ#-LKhk>W4e)-xHPGKe_~J+K?ef7gkB
z=rPGvW0lga|8_{kHD$ceIm8>`!s(k(3qVzKr1K}>ga6vCSs3jjzqDyu<s0MM2oz)G
z<6VI^<Fzdt{iI$ux>*qGgtNbF<w9^C@w0w1H?H+rL`^or!jQdbDj#>NQ>yt;vV2cO
zHi#$H%ifcADvowtze)Sg&%-&_Cv`+-MhmM{LMz+@@N0v=wS&ylT6+vIIu2DbqNd(9
zzmC%Tx>!8wG#n;JWBd%mRAuLMMBnJP0ixOt`eCuzKLcl9Ndvm?)2fZ=DF$}fNG4e7
zyLu=LO$Fvf^hR*E>^ut*xOsyz=(6<4i9i@~Tpr{$`WHU5Y*}fvM1-5~Xg`aDrHoZ(
zy+oWWY)#ojF5|LhBN`bntqw6q&4&4y6_mR=>K6FQp*{~!GWgs|D~z(xd`!b;L;0EZ
zq&>7G0zM&z@0<m#UH&+M@Wa>@i!g^QBX8IIL)XIhU7(As5b7IIice%K=6tMYz(Bes
zHrBI38x{4na>qM>%y0>3K-TQ<+q|n_jRyZ^7m}^H&)ZOjK5Wl#Pv^eIr$PrOhQK)y
ziyDBq$r}@1aqzrDTLRDpmww^UxvVND@eQ_YPC_{nAa?#}&hs-mm-a!kO(;5l{XuCV
zFS>}(laIeJIyc!lWorigB-xYnH>f1KaQcD#O`52h&$Di9NkuI;t0?FUT{SSPYUmu7
z(s5ff2MM2?oVQJ=`PpmYqsisV2Ie@6gJ5YLdL&!Os^4Kd@hnDUbw^q7Pc8#c1o@W?
zu$6BqnRasDom9&Lk4xgfzA$yZbWXDFh}KZ(EX*AR{IKv&Zt#<?fhNOX4>ZdX+G~ae
zF<dA*15X2%!9s5Oz@W=O@hc|1W-?B}Z>3gQCX2ABWcAWQf<bMlxB3@M@*g^SY=y+?
zd6H9!gYyPew9sEF;dK$TAi)eh68%f#@NM|D#LI*wDjIIzPP%W&bx+RA@_+N5jwVf%
z(ke1E*vYo-S@<aIxhov!p+GGy>EAMe^Kut3GvTqh$;2fJ;-UIssGi*7XDUqc*<o;=
zP?YEM4tY_(vh+tCR0bVXA{%+aSRXB;vT-<08(UPX`{~=D*InqZj^97x+mNTvJv)k~
zcUq)&INQKLGm$US)l?^}qvf26K?31^Z`M({PF$`WN}AaUDi2U>I-sBCAD$2_&-nwD
zq!;1&g-tDAcZ%9BQckoOSJ=~=rfJ#t1;4p*JkN%EE}@4j6?+Xx7?dklQagx#Pf;E2
z-YTb!uUc!DmIBR^Q*&z<Dv6wEpGZ}Q?%`E<<>_T0lAHXC=QprqU8@;)Sy&@zT%15*
zKMMK|KJ)6>>|wwdCqb3&1)I+C2k~$};}W{kCf$(UPOOv)s`ne*_=isLnZ)dR5wF_i
z=jdX)Fxfrv@g8kjB)6j`J=?kWh*>sJxS+BOpay)K%RjsS^hYdxYyVo5`Q&w&G@?Fx
zo9;pL5wL*tJOhFKuP4=CaVEoz_wCyu$N#@4^{=^^#6%1HKXWq{aeby47u>(Wiao{u
zu+Bjl^4}~qmmd)SPR!n6)mOO}gZ&$5deZz4lZhbz@lL0C>ioYHWS@@z8^j~~Al6^|
zR{u-X=LXvRySN@TIP_oUU*~mvL^NjoNLcy5YX5n$Bcgl%(^gCf{7=pxhdACo0jB<M
zqR{_GkS9mJg2C0>C$~cVdrrDcmj7f7at{7w{%N`q)teP*{kK(r8Qs5w`2I4Qdi-ke
z|5)Psl>gX&a+5RP!BFeZo9+KQ{{L40ZioKAK{DsZKhsTJEB~p)_QAvcdjlv&U|7k6
zA7D836Jua7|6b0_><<tx#6K4CAF!;cqNv|jjfbhhNDQQE#$ph^OH#(j#tiNS$vAAM
zHvk)fjmm{;{#au6)iOGjIyQ@K%bja$K&ZP+r|tAq;}qhP=7(`cr)8&U{&)W8u43d5
zPwYQNgNwGtJMnA>J1PtU`+IhLPp#?NKkaYb0Pn&0B;Kb(Tpu7-!oPhQy52U1jQ(Hg
zxlgUNL@=_>iV}YicCnPHZE+DBr!kN@J>jUZi)eIh51goerXa=-&Db)`ZT69|Y>=uL
zw}@gz8@DrO^K#qL?eHu|2I?NSDh;}za4tDqnk=Y38&{}4I~vh1cW$N(H%>=NSKWuA
z%nnDgiu%etxEO&VPt3x;__+Rr`~LG3EW$Y$5>4tCWljkv;nS6@2+7@`H&mQFVFKJc
zarRUiHp7OYWl<m2=C`^aHU~MKYuZNc7#7for|xm7L~sn=7U39$)$;L0h2J9b^kPu8
z-11k#GslKY6{TFDshG#OWl<N^sSE60v2AguC(9pSAu@pE4=7A@GmOLHH_gAZ;{HMK
zwheR4N*z2mP2a=d%rlIlIZDgx!$>SjF$;Sw(%c!ctc?i=22~vyqGA_2_Np$haa34F
z1dz>|f?ZEw=CbF`C7J8}J}oFJnrTaQnVhW!x4?86C(SjNQPCuhfj8ZlkSr-}Z4kiF
zT0+ytVyFZma<WHcGA)V!B+}Qx)}tZ@n&(t`NE;P!<AsS@<Y@OSwg5LU!Z<kK9;oq5
zNzC{PF=va~Mp*iGOG>H0<BQE0wNR@J_A>U*NL^;(zz4-(s^v!&T?T7j!G{utwENQ7
z>lx6p7UycnH&k)8l@-Y1QP34QWp!56P?I~umC-;wD!7=lij!k^Gr&&TS3<3tA5vpb
zn->G-AHm}fOm#u?kd!{0NA5E9+yt4Jmc&vXD#S)16KRUSClgwZ<Q#ZPX*${{RJSu4
zMwa%NI06oHj}DXMCEZPoU95R?i|kGEe^lqGJ}@QBe%F?gk(Yzsxy08YZNy_L6s>@o
zH1-4`{sh>XTWfQ=YL@+mOpC(#%?ZvICwB~}vW<p3y}LI3CQ*m^`gYOcRNR26?4@2}
zp(O(`oINJKrLhx`&?aB{*LH8Q<2opJ-TcT<r(RYtJ)N1XCTIxIL<>Na2*xBF0(a`l
z_bLj@K9#i;n=peAQ&C1^r#M`bD$Q+Q6<`NNA#Qb7`0mib4-r;nj49{w>Q<iw4J}Br
zCI#lJ@DQqD_>OSQr+cuuYU7G6^4Q<QEzQiJA&H$YediT-+Vm`&+lM(VpdK!-v&|rF
zQn{G8R9nczgi)Dxw#w9c%eaW(m5bKYSKF9WT9`aSh(00aA?2yJ!Xuki)FYR-Xx;^N
zYKN;q+<z<l=4z+>`?r|@t8imu=6g6YVP$(HQZV|GY;B6BIs9_df^%$RacjJO_bDIn
z-Ind7LmI)*Cq&pvU4=_HOYD+oiXtQ>E3?s!G_yRx>;&;wT~8>@QJf2=NFrVNOG_f0
zaiDr-*-wqxx&m%(Y@5&^nr%5_oZvptb|rwWV@plWK;U)%u7JRXqE^jQGMbp{PA@We
zx3Mx(*5(m2SQ%MG(TDn8&^_O7K!Yc;o+u8Zn726QabYnaZ?|q_!~PzKS8Ba*>!4il
zlu#sIS3x~|+Aq*wcFI7^#MT6b!a)S@Vk&bGQ8ZJgwQGXWheyT}D(k^f#MTMYmueDB
zCzUnVOSxe3s>&*@D6d{7>xZ)ZGUKa7NU~Ly9z)v1jHH)i-#vB7SUPsrSM9q2=mz2Q
zwZIDA?C543_d>PA3|Bqvh%+?p8%D#1QUE$aYye7RmNfB?AxwaWkir&K;^$v){O;cb
zA9t`eEW=Cy8xbf_ckNVL{`?@sE?jICSNZV)M-;#i*+H+~vN@r=4*p{ZPi>$7`oP!%
zu}LiT<eqDE2~|g)kf`kJ$W6IyZ5o4aAi%m;p~Qjm)9+zjQc&<y`qZuL58_-7U%aV_
z0STf1{;<ML2<7Yq^@!sF*O^Ma7%^iYDCTAWFPaNN@OCHp1#?yUP6@=@T3FS^v2lQE
zHORxT<aJ{-=eyFAClC+M7rO0k56AEra?P4%b{j#%;W?nSXN>|FGy*t8aV`5(wYUJ9
zZTr=uS48O@1Xzz`l3a|%WD15@?hF3;6*3vx+9lN&A=)oDX}~XKD0twFJNzy%+LFwG
zq@q~`cfPneRo6A}N)Gzz5Y+PL@<NDZ!N0E<hH=*f#dSB=zX1?F0{+WGe`Kv~gv^JS
z!)su04=uVSq3{LBxSbi$QAaajK|*`UqO7LT;mjKu#7+Oa!`{&=FC6Yw01xW;y7Lc^
z=`FF9E6MWUGp~xcql*G*-$;Fs`^7b%i}HCs%9A!!<yK_{^nkQ<?gU~F4bosykpK>X
zEpud5dEj<?^e9`y*Zl6-*B&=89Y1nuR~1KF(c^&OL$=HwG<oQSe^4`5j*7<U^jvNS
z`P&J8G8aG^%`LjAryvc6oRq~URoEwa+ePW+P>-0X2y=7l64lApa&)MhRbytf6P^8I
zN9XI8!qdgllLtkn9p)BE@gOkZb5NMV!_f!iugy>uZQV;Y@!{0FGKpE&eIHX609PY=
zvhdI>aITyA>vNE)Yg9p@;KP`QkyIcHr^Y25>6eG$M#JlVRxSju!v)#VO6U6NB!+JU
zeO2c)a>Q_C7n)%Dnx#x+S+v^0fMVxqZ%xW-S7e-_TMeq;D`s0-)~QuGzLDRPgD7N=
z6<rE&S+{6hr5#hw*t*w(rn$0&%Ys)Sd@HpUVXr?#lxvlfeo>=`6y$+=>lgi=JTbcK
z5*&kAo02_O2gI_7w~vRuh?or{q}d!4QM?V9!wDfU{-(&pRp{G8c_x*i@O#X*#Kyi$
z#3hu3>k^a$);nC8)ry#meu24=CDiDDCh*mREd4#gi{x|gS@`wcaa`v2eli=qJw@WH
zy|M>9Jq{S>5ix?(ECeQ-zJ(nqQQU{Um(@`)a>fIy83aRs=LW7p8H=on`T<*zt6kkb
zM0qA$MiCGAd5pp&$Gh|JzHYFEkh~2-(S0VVL;@AnVg}VY$V9di$pS?<t|%HbkQ|j{
zoP$sYlyzn5{fT**5a$M5D64{V+Wb*hepeZ>eCASCEmB_5m8CxPW|Cu_NQY7g<#7nb
zQM8HcIG2}n<9*JG8nanB1~GH<=RQ2yWYV0mEu@wZp(-UPt;PwAC8fke9ZE~CR!VTr
zG=a>N&xcw})zJ_p2JDNriM7gHTg;%ZB-)6@-<A5wsG~=ypEWii@>>W~!>cKKDhch#
zHP1?sj&*_4{onG+0wS()SOiR|2px%7WH%a;xiB)q*6^bn;VubR{3Fy4-XI!ec<T)3
z*0Ch67mDh&@|}J>Wk`n77Oo05q9Qe;9)e8M_v;{jC$XYDlX%^>2&~6hUpNA*e{e*?
z$}e9&M$b^s|C9?jXy`StCX;p?8|`om-P~A%`>nHk(jNKdu`q2Vf#M|^$<hJszZvm$
zKzw<FbzVovZxbRHw6b>VNu^F1Q~bx-Bo2B`5+{{BYHL6S%way7`cB1B$FGtLuNh=S
z;1iYF;@@G7@3DNT8PeVWd$%LI9u2St<9;U=>+Tfw!803d(pwr*YlG?3jwQUg7O!@F
zVCX{Wx@1eTi#}}5M~TF=Hd_K;IBVyZDn$97ixOvaElk80K-$)-Tb>_u5o?COJ^e7%
ztiv1bYGt-d67d;9-!h=Ev>@o!j|D1V{sLRC{32}^v~L%DE^$S)Y;5x{<t3k`FSwc!
zZ4PPcN7EB@fe5u_cJU9jg>#WX-^@=P^ogS9TFds5HFW0^B1}Jt%DEa5bxY7c*ziOD
zXdOP?-2x*8v87t{)L8oQWMM^~y1HJt#>Sks9uV|g@Af%i1Y}VScK^6~BL$5<nm8tF
z*b`7(qTf=<7Jqng=nwOKKou)pX@@t@{&Axg=#ZFt7ubFMllKxFaF6adt1#*<K*sMa
z|6I*j1M!#G?h`F~pY{XmC;Cz63(mW_akqUue(hIX>?$wq{M&hIDtAG3<#={H!!@x{
z{l*@E*SNaT#Urn<oP)s5q7)Pv$gRp5q@89VA}B*;bECax?oU+&vtDY$kJ$8(0~Q?#
z7IlHRGHTI456`JfN_a?$axaQff!fK=m}>ut&x#Qkkl*qLrn@Jzi72A+GiO;oqTKPK
z=jG0D&8N?A?+-)saJ~pbD%${YL1^y?n#c}jV3XukUg{;ewG6qxO)RL!<5<h!C;$?R
zuxNmJ2HPM#VDl-r&6$c){j#UvZto(`RaU<zKvwIAbBh_&r6MmS4nm_*#NLHr&>b#D
ztaj`%D>d<{UsQ*yEd5h#pqvq+4ljUa3Q)w{WaQbmAWeNG96=TvNfkx;U4kk{RCYj;
z8E${j7;Rsb?)$tVeG!O^+|*p@>CalUH@cfj%~tR(<<)DNd+mWeW8>Or3tg3M4Vh`+
z<YL7yf%xwc+<)XUdT(RhGaOi<q3NUiz^Z4V#3e=qVGtgSv9aJs@koFnfzrld9w$^s
z{ft;UIJMv7OMmB;4AIp}#$WkvMEi=it%RqXUFFZd-&&;~Y_EaHIR~YhFi;o5LR2(n
z0=W`@?cm@KSYcQTi8H-BUs;PqFCg-xHzdp@<|}0shnft`Ix0&O(wIQO4@hH#dq!X(
zaS4es$*~zWX+{pRHK~fu5^G!Yaz5oJa9?Ck-frzVP^E4_-1^rr25>0Aq!!iEk1|Xb
z#o0d4{4ilTF$IF$lsXjTso$KX)}4h(s)9sxAvo4?&b;v(RY%=l54O>ZUH>2**EvSv
zj?TC#zA_O`!7azHJ;Js{Q`{Oaw<nKD+@@6CPSKSa&*(LMBP!lPzopQVY(t@<to9`B
z0!9*5UZ|a4GC5`Zg+m*1MdmP8Wu@MlP~AuPSo4Ml|7rnQB%V6<`N_r69ajG66L78r
zX5~M8cyJ9Oj9@ax{q6`*E|Un;XdpEH!Tszc;KHB!_ANcDIHaxkHiEv)x2a?<1)**$
zK91rYD{*?L*9tDBkLbhoN<-forr={w^G6ycIU7~8qh&+m{-r<ZJ=F=Bz##E0Zcxay
z5_wn6Z{<snf4HGkuRb9M2!Gq5NN$HXZc?_7@1A4qD@C1fXKbC>O2=%@gw!AXJ+uL0
zBzZ}wi1<zlvpb)4vCq5n@(>-o0A4VAyM7oaRF67l=$Xr;Prc>$#U?tJ*7(gkB2V@4
z%qm$N8!79r5m_!1WIh(`PGdljG^4aJ<NMnVaU>#$c;uW{vIjY{VB2VqyEl}Fg;F^>
z#9KiAK!+pN3=r1Q>Tm~4>EI@~HN$Bp-YjxzXRisYutfo`D@rbQaEysO|MJ22RB6mX
z;#Q@%&X-vRsG^1o^hZr+#-sgK9_by}`hGAXjF=!s9p{5F{!M($Fd~^Eg+ZoP8hO~0
zTe=>^_YE1odDCIT$Q|$Y9Y)%g&gYu^eosfUaj<%t__<PF@q?>~<s3uJY-_CHF?T7i
zlA3;rG=+aCSDd?3K3n8HI{K({YEU3}S&Hua4kZ=$^g4M2F#_3CWOg6g0mhywkmZ1F
z&zuMT01;!1C1EU{Nj@tgRdqVCo}H@Ix*!lF%7KgZzOd|!iT**EPAYjz!8)2~jG4$d
zc&+TTLh6CZ>}pBN^2vM4&tomW?mPckP&N2ACVlKSHz^hLYm8zfvC&x9;2~MYXem?X
z7o!rgnaQ#m<V4VYP~ewZ6odLj2kx|^_w5w?l~4&LC*-5SfY$m=Cal`386ev6OO6Vp
za)riIKGI?tF?d;0sA37zXGDFQh5>seUP35SYOKcZJ4Yt;-S{8#rg#Rr9@K_b*AJru
zQ^L$-2tS_u+gVLyy)=bm9-L__XHhySNi!bD5?qo~w!Gki@;Y6)r&ZY|+(FV-=<!2b
z^BAjHAm@&$2c-`Q=bnHE79h!NpT+}(te@*rJ$~QFhVbhuAM&5S6ET%n{qE@12bW?)
z`WWO<^MY|t`jO%5GOpu$T`lwccDXLov?wvPRpx`RRmqM4h>(vzu$Dc4Sq+=fK~|$i
zh<zLmfNX1z1T!Nu3YwM85Sr1h-qas9LxX_&^$@7=2;NaI5rpOk*pTm)WF&Z?-?0hF
zN}_E99(V8$u^NUo9buwQ?Be5Aqa)QKfgM=`&bY#Lk)n@e4I@PRx*lX4<LM2O;yrvh
z`IazV4NrT577|^-5nR>&3~8Z4P3IHUJ0XPJpd#OY40Ol3XqZI4pZ}+hE02e&>*I5-
zeaTiL+mJ+Iq%0Y-l;}w*Mv)~YvW1j3#iZUgSsR>eQL-nMGD(!uMw<r_B1%~z`<CTB
z_l}+iz3=^FK6k$7x1I0rcka2L&u`{jZj-jrWGsH`v9WbCZ+ckoq+t-9D~_7zM{SNd
z@|eE9;GFg3Df<EQ&5`kBzP^{jiqB=VccwRa9(`J88n`LwjFf#tj!Ep!RWFwdGr5YK
zb$8}}IIK~5TeS9q(qA_pAARhQ`taKiX}9JtF&k_v&#Gj-bzA?~)AIG#@i-?}YK^B|
z1ueZcXdn8WS4)o5gXmKic|4-ZJMYl;*WESNE~3yIYfIFFwe-*JuDRzco_?Ge8q;0Z
z%JI?ff|N&O>&wGBu@ue1GTFK;sh!p#k8@Vb34FQbu9$4zKhZUM%BoWTTv6fE#!pv|
zG-a5i9;-Yd5P!hfuQL95lx~3e=3}X8w`!kszdjuMYQc7$B6psZXG=k1V!Q0i)$h|Z
z?sQ(%E-0mcVB6xeGV{i!%iX*ih2_Yyl>reC{l%6|$w?`<H(Ux&HrEfX?o&^YC%;JT
z<FQvxT9P|CuRCT-v&$&|qyk;B?`!{J*(urQWn!iLqt`C0I*RmvEq6*8PpMt|h5715
zsn+Ppk?0dN$!dYGei4Tr+!)pi+*D~KC9Tw@_tNC;(*pXAf?uDPCW(jMrR3G|aqqI3
z(k~kMlzN)d-tEkNScX%gwj_MzvYP%)!2!o=+t#ME0(#KJM~*v8L$c#c^rEW5dJF^@
zc~TE78Mze`I?2l2v|T&W7@AYwHz?^*PJ=4Ex}A2-X>Em9{>D1I+%${1J38cfce{o)
z!=j(zzU&3`F8%}cRo@zdJp<ALO&(MYb*bO9k$>~usZz1hY|pxDb>~yny4AgtbYn~p
zlox+YtGwjrwO-n1^tI1fb2G!j6V7>g8jkwun`6HSMJ>{DNo$odHID7KqwTfubBkT%
z;C$FQD&TnR#COZRXI^>k$R2HScKyb@mFJWDX3D-yDxZrk6?|t(QgDS=S;*6fk5eA#
z*U)zD9S<Yper}!Yr8M*f48+h=zxJ_7DHvQ=>Da^1NP0ifO-oo}@N`+9kDo?B7_C*z
zX7Qs^-q9@@uX1l01%_@uphk(DdafCj|0Cj8Z-k!VD_5?@ROhz&3O(8ix2>1`piy>b
zXf#{2Kgrg+mP9WTI<uS>m7$_;>T+>;w7mJYf)<r%MT*s$(!H&sH5pf0sMV$o8N8)l
zSxNWJ2E~RmffG|g>57%<h43ob-Xoee<Ft8^`rDMavaTMuwfvHT$7Ma+=$92)R_0bO
zUar)%f4l8PnTO_DiiLdZs7KU8D`~~tttqXaI*u05LL&>S=r*I*B@~k^8DIN7?wr`R
zIoc=Ny>E}E!{oX*5x=S~WIb9=TUY&8S+4o^R*$qe)7G_`W~vr>+j6q31~o*s@l_4G
z4`AC;DYWVi>b(u0a?Q6LuNtmO>ChM~raA<qEzDN4+R&8}%~iGXX=aRMtjC!Ovm6c1
z4F8l3n&PI}=Pj<%B|_JGMEl0sdL^X9g^)A$ei0GXyh&4iE?Diq=VINi@l63uBdK+6
z<F<(|dN<x`U9tQwo|JJgRIU2hb88PqN;tJieS^biB`Yy%*mg0Uv)N`k3PNkPwutO-
z|5Z_5T0f9f5j1)N+%@lE4o<B}oXoA6(gw%XcainRJU^Vwjid*X=C?4W9;H#+>U{k6
zUM7e1n5(=KvW`seNu5Zc9OHCwX!u}#M<datr<QXv?s~Sy<XA!E3#A%yq4&{S!Y!y0
zJ+#CT{#`o01rv?x7w?2GiaPZA{sry7hjW|)a=etn*5q1xi}+9j1O%l0DiTV9BJ#VR
z1x0kIT&a-cj25^=H-2JxWshacK^^@k$#zTWZtvkO<&aXlO3RV9u>cPHj*a)LtJ`vJ
z8W|jt4z3;)ziF#(ac_6=n7TPldspTI;q2<oZrioLs0`BfZD)SAJ*4by$!w<F6CKV@
z+MWJj{+8^*p0jmf+U?kcR!LxTH`8EvZ-Mby`CK)6acwweW=BtO?0#WoX0)#O+xcfr
zBaP3F57C}#{Gu6y_7~r4YM{Mc#%)s>dP{LC`CZkz4c3K`xkG+|ddCeWDfh|)VHWk&
zk<3fpO{xAi-~Mi|c$GBJc3tK)ZB3ZeAUkJPQ}Tv2o3TJn`RY9J+`x0~9mA#N2W^sf
zRt*e&7whRJC!Q#!mpk?bc@^vUm265`A3yOy+u`=7cS!?p7i*bspFch{YGiHlYdoVl
zCLnNit=8Lb<-!i4^(y^W<5R*rH+t!fWvY5H7UzA;*|IV8cu4!t&Q+O*1VTf6NA1I(
zwjWHqQDUpBZm{TM={Wh-(9ZR7W2^eAJbSWg)YldT-R@Acx!$<Mt=ykaZcsp?s?a94
zQNG-t{5?x>fAN@*SZ4TL!&Ccvj_higN}IU6FSaa@|9xnu2$M%uUiP?%cgZ=fHNy4e
zPmIQUTQ{_t#<he`@!@T(HI*?=N{dLOqtuygEc}R`kWNKbk0!rco@fL$boa4ZG!=bp
zLO8;#!N7W=ZNx<Fsyw3MgEy|^q0|)MXR`BvRYb#xNfiL>gd8*y1P^i5d?7$)A&Z59
zGGT11F!-k_w2<ku0CcgG9VLJl(N1Hc^Mw3ay`fDCKoM7Bysucu3{e0=tmf6#GYgsb
zmVz%tB+PhaP)~?6P=}2ft^o>I2N9uf5Pjofy6J*sR!8eM1U=a>0j8D_*u|Pmvn!Bh
z=C22KEQ<>^f@b2_BIbxa5M%ZDaGy$!;44856E&^gv1E~IFo8jDPoPB1FxC?!u_ldo
z_n>1u;D!?%m@w1B3mhY?5p6%#z+aqbKy*J~u%?Fo=*BGZ1%@nryf?;_I0$YKUzxA`
zz^w&@ixU^X#2gpQxQn2Ng`t=hLQ!sH_--h;G!NGxJTg%zi&-N7NdQX-yty7oFrOuW
zZWa@G#LU-MK_0;&^Hc^<XWixB1iJGH-vcFpo5cyvw`eJN#!413S@#++FaHgo5fF2G
zH5eoO5eY<Nho(uZ2O2D;&hJ11*7IS4Orx(LokcFf*m?2ureI$$SWVoh_5lMTT%SI$
zg1EWX2dKnNQy(xVZdUYzt;Eggey~LV&Dr?h{}aN`{lGvL$JDDIO|Io7k=`yOk;tT(
z*JUa+7yzndTxw?5S8=8gNfBNg09u48wQ(g~9*jhaW+RalW(nmu!sY?6ijZ1qTkXxm
zLn56<e{5VbONz&d5#qWO+71GKB5wCVASvzaNg{dgK5$UYYqz_%+Ez1wEg-SZ;li_c
z6^URWo(w_Xg(`E#j3q-&R3=b33phz6@mY?VePV{dQo_fwA!K05LG*nAv_&5T=!=72
z{b1M-kRpH_91uDL%Z7jo0gU3ne~!Y1!>k&IM#Bi$aRToA4P3wh)su`{XJr0}%q^kX
zcr7AHl#4`?niW}M5bPPAK1NJ>1X);ihH)cU0XmLMbK;GISTF*mVEPCUC8BwRgAHK}
z$Ec-(b69}FqiD=I0*#3?rlL9FrqO9jcKE=%NXGtTQM~glN+d^QsgvOk#92P#OmbFa
z_aQ?!Q5rV=R`15uyW)_#4D=rc{Dk^7{pa^7>?D#I%J1xAs!C>9r^&$$<I|Fbs~=wd
zj3~(DCXwW3IoguS0J#$I;n;LYRDRu|rvE7!m<fBwfEwZX(IJsUbL83g56?Gppy4l|
zN)WaG7Yf?+4h;Pb6yZR}J%(4I+`r85jw4W{04k0HRl@j*1Z}~mC|9yVbMqx##7KT3
z^9SiyaSO|z!QyeCOjww?-N??GuKjC9Q^jJaJTaXX>I72#yOj~&DM6U!C85QMNW!cA
zBpO>i-Zs4;+<oRQ2jli5R*iQMSJ#n(=qxvj+hOGdkY^Py?n11K@wrb5Dxn>V0F5RQ
zC_RC|g>W1LQZQn2dL#)SahZe^b|4EIexsc@D#-@9r+|ta{)mvQT<%<q`vh}K=Oj0P
z8wHTbg5S<gP60`_b36cA2m(n0CQKY)46my~7SxalS=`h=mkBR`LP9`}SV}V}G5$va
z-JtBuxZL=neX;q<vmY47C0e0Hg{Z(EbIf%SgUeHhY&oi0&<c=1Am7|FP7;WIgb}qA
z{S(bTbpe1r5<ms&0F0lQg0qsMhYDh!0|g^LBN~(sF#wySz!DgYWC_Y+0Vb(;i40iJ
zHy3X|cfVtQq|_u~_qTdvXyqTAJS4*&fKdojau_CwwaP+$3}c-^=!pZ(3h+FJDG(C3
zaNrRIzQHghB2w+7Wr9c1Bsoxhq2Ke&xFR(Hw9`e2ImR{}sUaIuw$OzRY?u<kP|xUm
zBW<+YMA33X8^?^R$pEIZVXVFMHLhlB3|FvYqHvN86Crf_n?LS-jArAE3RPu>CW)kP
zjf=9jF)wzcYqJ9evt!GNcwaI11)W1K!%)1^v(&aZ07%{gWS~7ZorQztBhUUq=4DYP
zW{0Qf1YoZ#5Zj19C;wj|&6{QZuFG_W4*K~V*zM{vH$^ar1BKe;0<Umjti8Ab2ZCH-
zHwVVrE~GgTpyC0koYR0i0@!*z0W9=Ii^`T0V?93$#9fvB5jFm(LTAr$qZh2?#E3UW
z2)K|nK_4i?g((u$^y$nmN<nI-Xv%7{Vt;ZPz>o`I1?1<OriSmCY|b+z>w#Rz%$7Za
zWG@2pzt4nT+)?E@D8P*^Ash{}C6)a|O5Vu8Y~}E10C&U#@*mHvAZ}!%ECycT#>5C4
z-_HfiFF|>vqtcnZ`Sr#iJ`#ZRAN!@Di5d4vv?De0&viQ<56L{!oSO3>PcN@QPaaH>
zD73D93qB2_w+xOYBocbnpK*<6z&l8aSQrhs8ucL@<-wK_0k##7=Eb1GStB@iVXQ9(
zP_Ps&jGesG3&V>S<x&0xfL*T<ac_90;Q|~^ct^mCU=J@wya+={KIAI40<PwpUbgNC
zU{m~nO0phE6IO}9Uo^Q{hN4{ZqdjN#o6F8d_?{1Ay}FFz%IYlu{`w9U!4>?N5U17;
Ilo--~0VHp0UH||9
--
GitLab