From b99d6f9b962f081e552e7a9b3e4f3f597f6fb06c Mon Sep 17 00:00:00 2001
From: patham9 <patham9@91dfdad4-c543-0410-b26a-7d79dded8189>
Date: Sun, 27 Jul 2014 15:48:43 +0000
Subject: [PATCH] finalized NAL1-NAL6 examples for 1.5.7 release
---
nars-dist/Examples/Example-NAL5-edited.txt | 4 +-
nars-dist/Examples/Example-NAL5-unedited.txt | 54 +++++++++++++------
nars-dist/Examples/Example-NAL6-edited.txt | 44 +++++++++++++++
nars-dist/Examples/Example-NAL6-unedited.txt | 38 ++++++++++++-
nars-dist/NARS.jar | Bin 134349 -> 134351 bytes
5 files changed, 120 insertions(+), 20 deletions(-)
diff --git a/nars-dist/Examples/Example-NAL5-edited.txt b/nars-dist/Examples/Example-NAL5-edited.txt
index cba70a2..5b19782 100644
--- a/nars-dist/Examples/Example-NAL5-edited.txt
+++ b/nars-dist/Examples/Example-NAL5-edited.txt
@@ -208,7 +208,7 @@
// It is unlikely that if robin is not a type of bird then robin can fly.
<(--,<robin --> [flying]>) ==> <robin --> bird>>?
// If robin cannot fly then is robin a type of bird?
-29
+3
OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>. %0.00;0.45%
// I guess it is unlikely that if robin cannot fly then robin is a type of bird.
@@ -273,6 +273,6 @@
// If robin can fly and robin chirps, then robin is a bird
<<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90%
// If robin can fly then usually robin has a beak.
-18
+22
OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42%
// I guess that if robin chirps and robin has a beak, then robin is a bird.
diff --git a/nars-dist/Examples/Example-NAL5-unedited.txt b/nars-dist/Examples/Example-NAL5-unedited.txt
index 0a06948..fd00cfc 100644
--- a/nars-dist/Examples/Example-NAL5-unedited.txt
+++ b/nars-dist/Examples/Example-NAL5-unedited.txt
@@ -1,4 +1,3 @@
-*****RESET*****
********** revision
IN: <<robin --> [flying]> ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.00;0.60% {0 : 2}
@@ -19,7 +18,9 @@
********** induction
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2}
-14
+2
+ OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.15% {2 : 2}
+12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2}
@@ -28,7 +29,11 @@
********** abduction
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.80;0.90% {0 : 2}
-19
+2
+ OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.15% {2 : 2}
+16
+ OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.15% {18 : 2}
+1
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.80;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.39% {19 : 1;2}
@@ -47,7 +52,9 @@
********** comparison
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.80;0.90% {0 : 2}
-14
+2
+ OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.15% {2 : 2}
+12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.80;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.39% {14 : 1;2}
@@ -56,7 +63,9 @@
********** comparison
IN: <<robin --> bird> ==> <robin --> animal>>. %0.70;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.90% {0 : 2}
-19
+14
+ OUT: <(--,<robin --> animal>) ==> (--,<robin --> bird>)>. %0.00;0.21% {14 : 1}
+5
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.70;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %0.70;0.45% {19 : 1;2}
@@ -80,12 +89,16 @@
********** conversions between Implication and Equivalence
IN: <<robin --> [flying]> ==> <robin --> bird>>. %0.90;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2}
-7
+2
+ OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.08% {2 : 2}
+5
OUT: <<robin --> bird> <=> <robin --> [flying]>>. %0.81;0.81% {7 : 1;2}
********** compound composition, two premises
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> bird> ==> <robin --> [flying]>>. %0.90;0.90% {0 : 2}
-14
+2
+ OUT: <(--,<robin --> [flying]>) ==> (--,<robin --> bird>)>. %0.00;0.08% {2 : 2}
+12
OUT: <<robin --> bird> ==> (||,<robin --> animal>,<robin --> [flying]>)>. %1.00;0.81% {14 : 1;2}
OUT: <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.90;0.81% {14 : 1;2}
OUT: <<robin --> [flying]> ==> <robin --> animal>>. %1.00;0.42% {14 : 1;2}
@@ -94,7 +107,11 @@
********** compound composition, two premises
IN: <<robin --> bird> ==> <robin --> animal>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> animal>>. %0.90;0.90% {0 : 2}
-19
+2
+ OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {2 : 2}
+16
+ OUT: <(--,<robin --> animal>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {18 : 2}
+1
OUT: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %1.00;0.81% {19 : 1;2}
OUT: <(||,<robin --> bird>,<robin --> [flying]>) ==> <robin --> animal>>. %0.90;0.81% {19 : 1;2}
OUT: <<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.42% {19 : 1;2}
@@ -106,6 +123,7 @@
8
OUT: <<robin --> bird> ==> <robin --> animal>>. %0.00;0.81% {8 : 1;2}
OUT: <robin --> animal>. %0.00;0.45% {8 : 1;2}
+ OUT: <(--,(&&,<robin --> animal>,<robin --> [flying]>)) ==> (--,<robin --> bird>)>. %0.00;0.47% {8 : 1}
********** compound decomposition, two premises
IN: (&&,<robin --> swimmer>,<robin --> [flying]>). %0.00;0.90% {0 : 1}
IN: <robin --> [flying]>. %1.00;0.90% {0 : 2}
@@ -155,12 +173,8 @@
********** contraposition
IN: <(--,<robin --> bird>) ==> <robin --> [flying]>>. %0.10;0.90% {0 : 1}
IN: <(--,<robin --> [flying]>) ==> <robin --> bird>>? {0 : 2}
-8
- OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>? {8 : 1}
-16
- OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
- OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
- OUT: <(--,<robin --> bird>) ==> <robin --> [flying]>>? {24 : 1}
+3
+ OUT: <(--,<robin --> [flying]>) ==> <robin --> bird>>. %0.00;0.45% {3 : 1}
********** conditional deduction
IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <robin --> [flying]>. %1.00;0.90% {0 : 2}
@@ -190,11 +204,17 @@
********** conditional abduction
IN: <(&&,<robin --> [flying]>,<robin --> [with-wings]>) ==> <robin --> [living]>>. %0.90;0.90% {0 : 1}
IN: <(&&,<robin --> bird>,<robin --> [flying]>) ==> <robin --> [living]>>. %1.00;0.90% {0 : 2}
-18
+13
+ OUT: <(--,<robin --> [living]>) ==> (--,(&&,<robin --> [flying]>,<robin --> [with-wings]>))>. %0.00;0.08% {13 : 1}
+5
OUT: <<robin --> bird> ==> <robin --> [with-wings]>>. %1.00;0.42% {18 : 1;2}
OUT: <<robin --> [with-wings]> ==> <robin --> bird>>. %0.90;0.45% {18 : 1;2}
********** conditional induction
IN: <(&&,<robin --> [chirping]>,<robin --> [flying]>) ==> <robin --> bird>>. %1.00;0.90% {0 : 1}
IN: <<robin --> [flying]> ==> <robin --> [with-beak]>>. %0.90;0.90% {0 : 2}
-18
- OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42% {18 : 2;1}
+2
+ OUT: <(--,<robin --> [with-beak]>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {2 : 2}
+11
+ OUT: <(--,<robin --> [with-beak]>) ==> (--,<robin --> [flying]>)>. %0.00;0.08% {13 : 2}
+9
+ OUT: <(&&,<robin --> [chirping]>,<robin --> [with-beak]>) ==> <robin --> bird>>. %1.00;0.42% {22 : 2;1}
diff --git a/nars-dist/Examples/Example-NAL6-edited.txt b/nars-dist/Examples/Example-NAL6-edited.txt
index a64d152..5f7592b 100644
--- a/nars-dist/Examples/Example-NAL6-edited.txt
+++ b/nars-dist/Examples/Example-NAL6-edited.txt
@@ -234,3 +234,47 @@
OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45%
// I guess every lock can be opened by some key.
+***** second level variable unification
+ IN: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.90%
+//there is a lock which is opened by all keys
+ IN: <{key1} --> key>. %1.00;0.90%
+//key1 is a key
+5
+ OUT: (&&,<#1 --> lock>,<#1 --> (/,open,{key1},_)>). %1.00;0.81%
+//there is a lock which is opened by key1
+
+***** second level variable unification
+ IN: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.90%
+//all locks are opened by some key
+ IN: <{key1} --> key>. %1.00;0.90%
+//key1 is a key
+5
+ OUT: <<$1 --> lock> ==> <$1 --> (/,open,{key1},_)>>. %1.00;0.43%
+//maybe all locks are opened by key1
+
+***** second variable introduction (induction)
+ IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>.
+//if something opens lock1, it is a key
+ IN: <lock1 --> lock>.
+//lock1 is a key
+7
+ OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.45%
+//there is a lock with the property that when opened by something, this something is a key (induction)
+
+***** variable elimination (deduction)
+ IN: <lock1 --> lock>. %1.00;0.90%
+//lock1 is a lock
+ IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90%
+//there is a lock with the property that when opened by something, this something is a key
+4
+ OUT: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.43%
+//whatever opens lock1 is a key
+
+***** abduction with variable elimination (abduction)
+ IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
+//whatever opens lock1 is a key
+ IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
+//there is a lock with the property that when opened by something, this something is a key
+10
+ OUT: <lock1 --> lock>. %1.00;0.45% {10 : 1;2}
+//lock1 is a lock
diff --git a/nars-dist/Examples/Example-NAL6-unedited.txt b/nars-dist/Examples/Example-NAL6-unedited.txt
index b08019c..7060247 100644
--- a/nars-dist/Examples/Example-NAL6-unedited.txt
+++ b/nars-dist/Examples/Example-NAL6-unedited.txt
@@ -151,7 +151,6 @@
3
OUT: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.81% {15 : 1;2}
OUT: <(&&,<$1 --> key>,<$2 --> lock>) ==> <$2 --> (/,open,$1,_)>>. %1.00;0.45% {15 : 1;2}
- OUT: <<$1 --> key> ==> <{lock1} --> (/,open,$1,_)>>. %1.00;0.45% {15 : 1;2}
********** multiple variables introduction
IN: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %1.00;0.90% {0 : 1}
IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2}
@@ -162,3 +161,40 @@
3
OUT: (&&,<#1 --> key>,<#2 --> lock>,<#2 --> (/,open,#1,_)>). %1.00;0.81% {15 : 1;2}
OUT: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.45% {15 : 1;2}
+***** second level variable unification
+ IN: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.90% {0 : 1}
+ IN: <{key1} --> key>. %1.00;0.90% {0 : 2}
+5
+ OUT: (&&,<#1 --> lock>,<#1 --> (/,open,{key1},_)>). %1.00;0.81% {5 : 2;1}
+***** second level variable unification
+ IN: <<$1 --> lock> ==> (&&,<#2 --> key>,<$1 --> (/,open,#2,_)>)>. %1.00;0.90% {0 : 1}
+ IN: <{key1} --> key>. %1.00;0.90% {0 : 2}
+5
+ OUT: <<$1 --> lock> ==> <$1 --> (/,open,{key1},_)>>. %1.00;0.43% {5 : 2;1}
+***** second variable introduction (induction)
+ IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
+ IN: <lock1 --> lock>. %1.00;0.90% {0 : 2}
+2
+ OUT: <<(*,$1,lock1) --> open> ==> <$1 --> key>>. %1.00;0.90% {2 : 1}
+5
+ OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.45% {7 : 1;2}
+***** variable elimination (deduction)
+ IN: <lock1 --> lock>. %1.00;0.90% {0 : 1}
+ IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
+2
+ OUT: <(&&,<#1 --> lock>,<(*,$2,#1) --> open>) ==> <$2 --> key>>. %1.00;0.90% {2 : 2}
+2
+ OUT: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.43% {4 : 1;2}
+***** abduction with variable elimination (abduction)
+ IN: <<lock1 --> (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.90% {0 : 1}
+ IN: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% {0 : 2}
+5
+ OUT: <<(*,$1,lock1) --> open> ==> <$1 --> key>>. %1.00;0.90% {5 : 1}
+5
+ OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>,<lock1 --> (/,open,$3,_)>) ==> <$3 --> key>>. %1.00;0.81% {10 : 1;2}
+ OUT: <(||,(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>),<lock1 --> (/,open,$3,_)>) ==> <$3 --> key>>. %1.00;0.81% {10 : 1;2}
+ OUT: <<lock1 --> (/,open,$1,_)> ==> (&&,<#2 --> lock>,<#2 --> (/,open,$3,_)>)>. %1.00;0.45% {10 : 1;2}
+ OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <lock1 --> (/,open,$3,_)>>. %1.00;0.45% {10 : 1;2}
+ OUT: <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) <=> <lock1 --> (/,open,$3,_)>>. %1.00;0.45% {10 : 1;2}
+ OUT: <lock1 --> lock>. %1.00;0.45% {10 : 1;2}
+ OUT: <lock1 --> (/,open,$1,_)>. %1.00;0.45% {10 : 1;2}
diff --git a/nars-dist/NARS.jar b/nars-dist/NARS.jar
index b7901076317e1ddacd759a63dd284be17fbd57ad..a48a9ec4f5d4ebe7b45d2dced7b84391e50b8c6d 100644
GIT binary patch
delta 8364
zcmZu$2Rv2p|G($jdy}1HuWT~P%ubR*WM<#2WPQK4ls$8CWQ&XtS(jvFWkkpf*&-`M
zWc|;%_5b~<|Np#R?sMMH^O^6@=RD_nZqF0q_fLq)4R!JG=@G=l#E6pnkI5B~(5H4f
z{JF#hePYM}A$XvUWU9CfxDi746%9nUDB-!U4qO!%8EI+Z`~Es6Op^jB81W6DMwi?m
zvASwsecbC7pPGj~P*v-0sM6LM6CNnX5|BMhs16G<cNB9wt*^s~KcV>#>S0dI7F*Xg
z2}-@+qcuO#L#2<|d*XAn<Xpp@xu`kTsQ}db*|d{Ssk!<XLFL4WgQ@M4ll}Kw>D!qf
z@?(^IiJSDCt7p7#ro?o+*HT=c&PU4#H&e0-*BG_Gcda44-d&^F{+{5-Or^26ocafP
zc{ChdHRFHS9AdFlWlirhp4{I!=8ku4QTDn&L}}Dz?yhWjcxu}cBP*)SEoj@#rt)&s
zZfDr2I|~XsL%GTntI+n@Vs=xPmD3wb(b%jsyL~?@pe^Wx`f!6T;h-(&vLc!z&cm?1
zwC$_Prmt3e%j{8@FB>h3qVvOR=PG8)eA#G_O1z^=qMD5~v&SZZ91O91t)DSA-xM}|
zb<SB8DT??gbL(vu`?4`AWYWcc4kpNWycrZV6}fRjKZT~Q_Uk7EN6X33^oz%s<h_dN
z{rIeU;W-B8(uf(C+09qJues11cSyli>f8Rhfej*a?93aq!d^<smmQV4N{SEdf(nPH
zvT4g%m6WRlCh9FIDr-jqp4gBStY=MKDiCt{R*UyWXNYO*QT4Uz+J~vWn|Ud3jHUaO
z?z52Z<E<N1c?N%6qjD{xA+oOynOI9TsR@uemiUC(Y>1+=3+%XU{kmfh9cD#_+V($6
z&#<}|H+=*U1xz;dmdTm+g=X{6_06pqVypK--}5bi%tiY#cOo96ZdPJ~_37$$lr;U<
zO0kG&;+==gRa@peRYlUBg%kq#^M+^U-(Gf%=8OZQlE<^l-_*T&vcYn>V8!m<eZz_M
z?{|GwIU3)um0VR|31oj+h|Vj=x0Uw(?yIzhdRdbvZ5?C5Y((&RNsrcvoBX*C`d;jX
z)s-9bD~{LdS&1pa^9Nakj9$68>7W;=raA1@9F;TZ;@|Pe7g%MnT<IZMYsvVQ&U=ti
zAUsI<eY5>de(B*!dItGP_Wg0DiD@eDNG)zXcA3L?-$OCB#*$<AEDN;7EDiJ7I-b>Q
zRgP2!lS`jwP2354=i{z_6+iCsD4o8ur~YPYvoPqS`NFBUY7{Nns&5?j63(3o*2E9c
znHJo;a~K<R()L-R!SE|jL;Pk{&`FD|#196x7A)xlEw1nZxf6c7GZm_g@%H6{2?jF3
z5?WXIF|~$__FltA{Gpx<=&qc==8i!Q!!n9-dqKkj>Qn~7r!=I!Z)!<<TlPsA=B_?j
zC5_IdC9rnoc&c`^SmqEpE<_uo`b<hEyI)H44Z&VGQY`s^F-@PJ<#nO<+F&JzGtDiK
z<?Ew~AlAUILQ6CbjC?l+Kdf!O@|%<)P+?@@;@ZElOBtQBNvcns6ONYB&hC`b$d(Yi
z-l1X;eA76)&-l5qW6G$w#k<}t0XDf#+B8*3rzBNAVvI?@Yp_ACyxQ3pI|ni$|Ey_O
z6>j6_c#&SSty7hjx}NQ4BbCX>Um3?JP<bj-$XLknt}!PA&x<0K=Tj^?ny9bA^k&UI
zdC!bX`?LqM`XtO=7;=}O4GY3eG#57aWD0<6LwmNxM{Iz1wDm&Q4(rgaVGzU9D+yXM
zFKBw5wVy_g@ot5QN@=;4`c#EdVTP+{B|f$Qj3T*W?^tQurC;Y>rO;4n*5Vhs{4cYI
z`nKvK$H18q{#PjXtux8v^=Uab1T5nmfeZr&Ubl6`g(um3HNq49=)zFZk<%{n+l~(I
zqtDIvy`#IZ%Qg6tE;9^LC^2g<8Ep7flTgDe3Q}xazCz~7vrG~TX9xCNGhay?f2MLF
zpv*M7bSm9l$AzC7MHP(qlDmAbcmCZerIa!$@$GiZiu?D#_$Y<omWeetic%&Ma+y7|
zK`ScO;-0C#9wGTDSv1ihyY&MuhuJ3r8@fFiTpU&Vwpm&Y0cG9MZ6OtmMV7H$->Ynw
z*bOnXf=>unpQc6{iRh7MX`%z(O)R4B71T$To$Ks;>-5QkT@Yk{I`8Ct=PKUKMPK!V
z7rTBkr@pIs5@00l>dgN6*XPP;H?PR;Pk8Zzvu;Jr&V~-A_iiqrEp?Vl($6q^Xms(5
zx$u83OVXfsTj|g4p0cIQb{XvDx?E?iXa1USKFD2b6U^mceevakA?CT_kR*Yv>1BVC
z>sJSNSEtUUX4<|kDc;=^+}$8LDh6~!w`wtta?{RAmK3&riJ->|-3(F&5r%f7JPii%
z-UfbQ))eO8R?^fGw0xEiaZyo!ihM!4(8q<T#5?hNxx-wO^_DdaCb=!^8|l~njUo&=
zSNN%0IwUqYYSwxo<YPf2V+m7XZ-oW}#nqNrTGfaoU9&+E=hFp~o&wj+<kD8K&o?u+
z-%4wDc@e$2tE8adp7xoOir;8adeY#j{lf9%?WojeoA*59ZsVf|vp&{;S{Z)+D9Tr;
zxryVAwtyf0SBm$R6rT0W1FyaqHoZSaecd-+my|t3NS$Q8aPxlX;a*f{F1<C-)pTEL
z<rwh$Q8yXSa^%PUoMs%)A7r~?QKQuGvA`+V`YI3hwN<fPcz)=_jd8}(6N{EC{<dpZ
zSMCzY>n>0UPD`B$Ko8P?b7evpY8;kpuMB2n58w|iYad5_RT>`{G-37ZA~&e_u(22{
z_<+Iq?L-a6>8_OoC7ad?I9{m_u@4>DAo8A+IZF9n>9XKzT3awhX6wL8kYz$eYeG?5
zG8a8rrcy3Cw0|n}gZryprZM5TrT6=OjOgfD+0F4)UxfF4A~e421rZhxwt<%%Yd?&<
z=!#!6J1JOvS8;y6q-IvtiTZ+fBFP!@?BnX{L)Rz~pKY2O0WY;)e+Ur2BwV>;^J;P;
zG^%^CW30{dW!hwIAtGYx0^gCP-40is+&?1}9p#clMU(UA!`SM^Q1W3DmdTVgt4Yf9
z*Sd|}s=6;dwgyenL5I#o-Kcs_0-u#Dqk^j@pNu<Z8I1GExQg5u^!Ux@%Ja8bz)7DA
zXRmW=u4*Px-@<fwH=zc085EMOO1s>*T<j8Om()7{wH9+~+{||+J4tK*-u)w0ba2WD
zSg~{#j&d{^9051)$ebj7y(4lGcvxq|FV}^lVTp-3?T8ISU-n8l9^*2WzZ&L%Wfat7
zrBkWM62Y1iNb95uIaZ|e>fd-HUT^r)oK(`+#}z-Ptyt;2OTR-;yKwy}%r0+s7T1dJ
zTtMEY<?W76s!uYaK|L(l=hWhgXQg;!W35W$T&gCY%KQ8Ds;|{3>rwYsq*B?~h$+Og
zKi5_kKwi@0Kx;D%i|!h%YrIHKW=l_|<+`rdD?~KvEpf8QTq!eG|6tOB_t6JE>mhoP
z*enf<vSyUdP42TVJmrEP>3OIdit^Lh?hY6WM0GMREJbBq5A)7n{Om$89)64DMDMVO
zI<Oge<s;#6wXWgE=yNyn<s;m#raQe?L^6#F5w_X{EE=K-*v^YPd#2wgs0%>!`(4C5
z<OY+nHChUpMeVYXZOIYg1+6#r)Y$WK7$oKP9BjCsQ`@+Ph!cIzX1Sn3Av$yILQCMy
zP=e9m;L(R|H564fn0p)-l{l=}E(AUErR1COD{ji{e<WK*yOHyRv`>|+Uo-lKzR=5%
z;Tih#crJzP=oS9^lFP1X8sO81J{O<4ynKLa(|m=Oy2RnTeC1o8Epgu^;{MOXAFj)p
zceR=b5RE@mP2-Mkt{u=z;}dBm7!bV4pB@pJYjBg-t(9TGU^Nc)HgO=mM#rE2x^C>u
z=K;DJ6Mvc!U9mZ)0rOFwe;!#byG-!!*xoS{KpC)xnh&7!&cw^mVe^Nq&}K^Odgc%6
z28O3WC(A>@HPwk!A9fCPBJ(Z!sH3E4o^C^X*SLOx9Nmyh?V86#qd&w|+j;ZmcXNzV
zm%dzLe=I2^bOAl6<z!@V#oi#>*wQ#bL7OH0fMRj8A*l2*S?V5HW`_AQa?RMp`VmK2
zk59CPL&BP9f+5Bc8sl$IU#bQ$D5MdISLrY|i6pG$JuHao)5=Iqaz**$zf~u8X4a=Z
z6_Z(0*(ObRAzy8(rN|~AV_;uN*$$<Nf3Hr84Qt|9YBy_jDVXt{cH8F4TOX3ANhpfK
z;hIXN9>Q@uqaKM-Ud;0w4yg*sZo<5BMtob_+SPj-=+X7dUV4fT#eI_`JH3+Iv|hX+
zi~2T|!;GHZL8~(z<6p=LAhT?4bbm4R;Ck}gqS43^`MSmjb(_5FZ_Rz#?#v0iZc&)B
z?+Vzv&pksH7-qW{_HK_%U@uv7wp5A|og)#bdTmdkrzO9VEz@aKP+jxFZKtfwg!w2j
z=35drf!b&wa(QlU=U^;cO61KvS-oaTZ`aGa@;m*e_jo3Tk6yndN~KWWPZp%U%X7<4
zQvR}WYFc}f@D`Jsw1f%aN!Nb<*E^BCbfY>KX-Wka?0N+}l4>d)Jd8fX%l9zkD5qsj
zrYjcAj(<99S)Qy_Bo{We%04zDyf72~jFPW$QN2SEec$w20<*Hdm5flku)~9CT60HR
z(IFbe=M{^wDa7kTrY02eRI=oDP6MVXq1Man9b4}J;W;Cjvkvk_W-$`;lV101ADv1u
zx`A-=P`8ZLcAfIh#ZdS~VQLfF_9a>KuTUD~EB0dc(^$#mI2mV=g3S!ZK}yCE3Xb%<
zA5O7lp<l{%)cD7@&-tZ<jTEqDKE|7hqdPKI;Z4zDHrD2mif;cv&e4<SfBvz_0Go3j
zi<z3&GI`3SNvX{0KIE%7#(qk(r`ev23ID!Jq?tzBrrREfU%BjaOGW!Inej-=VU@sk
zv`DH9D^9R$U=UPa_Mo1da909jb0?QFhMux#Pz0?k7W6*ZxxaDo(pO8PB_-MWBgNLf
zYpks<*Nxs;ND24Nz8-G(c=MVC6I9}SuGwg-i={~@rWm0!<}VUeY@#{rtU1i0IV>QT
zXt2QQD>7BNQkHJ;cA=6(c55w=_3pH&(dId~rYm2XBL{m-yF<}&oVSdqOr0bbuEezu
zm^^=qc8hwlW_;<hA!~X!@%c<e@0TGdEV*wDKa^T{vYeA>d^_5H68dyH+kh~Ze>;YU
zh)UT2nNdaP>$5cdrlqs#VclH&a8GsC;BueZ_N!cCd9n57R*Dr&bC!7TS&x=)xecP>
zk@CK36WNiETTE&r*!`syzOnc$Rju}|^cg7h>!a)3#dmD@)^0m|3OjJ5`d2qVo@XNB
z`?5@+!GRq6>Iho`h1WZk4|)1URym=znpEYTAA&u`mdL1VANP+rnP5|O56WsjHlxmk
zKYDv_4Yl4VY<Bd+kl?z&C6COdUgrR246i-~$`D1He&1r^q&)A-{X*Sn&zftJA;bI`
z#@QoiB{PAWIsI)jCUw_FFD;5U9vJfZlWew81b5W#+-%+E3fhP#&LeHOc~&oGTZFko
z)}`r7%>&R~A922e@K}0lStX%Q?bIczIdy-0vSsQduYX>}P<r+F<Aa{*{uD|v=1a0Q
zp)s>u{>VFhn81+>CCp<a-PoIU<~s`Mm7e`M=&_q(Ol#bYDtKsgkH<U8(V&XxfMWvD
z(O|suqX1paJkxEl<(2_wvTNP`6v;EslX!YrYW*p0dqvZt9&5-d>SL=Onm-7?HmtgW
znxEG@rM?_I%kL3Q8{9uy^JSZvAq%{*13uO*&AM-CzjLd_(Vv}ei9&8kUoRhfMPnl?
z3H_-}`x^)Nozva)gllfYR)674a*TCQRLQHDCsSVyOk%6XL)Jok>f~)S-o5Z-d!t=v
zJ$D_iPWx@l<NhQKb@Ff4equMzKNAnyq@=Ltc~;-y#TF8IR1@Toa;7ZeoKr;6nRg`X
z9OX-7^aJ3j7K>JTM!WMn6@0NCqk)kNwArR;2`8KGa}EphAN60av8B0mEL#hFP$zq5
zd84zuc!G$CD%Ec^u!wqaX^bqVHPzbdd}XhaXs6cWhFoDgtug*tj@!ivWcdl9%oE+-
zj-9$JLeEdO-5Y5B*&f>uyfteYy6#zLdbp{|C|))2OuJu{oKGUzRB}vt#sXZNu%vfa
zL$A@!_y=hT7M-b?5WPf``FS8kJv6y6wuw&^v!pD$@nMVF{NKBQ-4g6>q9KvVt}__(
zdlfD*S#Gj|k1qJwmWS|USg^m*s?X^du_$W2JxgdBqR0^wDy)AoNs4BIKKo`$l%Nx7
zl8(LO<F1(`wy)X-sJ*-yTBq}}-jZckQ-aY7xpeN0QmnDMe6!3>C`F9O(Dbmq*b7k`
zbIYcqqV;Aa*ISZ}BTLSD49@44E)Ng!_YHM;Clb%55Z{*jmL<m%B=G8tZM6J95AQp(
zzP0o=MNa1u4m&fKKU+A(BW)8g*os26v!Sjs>4-SSn|YLbzv8VT$P=iheUfvidee>=
zJ^sEqq7D^$wc9A)8Lh-x71Uo<9sXROA@p5<T(7jofW=TAvB@>I@>PxMqBCpw59srR
z3*^pjw59R42^*c}wvWg-JMd(p=;d@}a_P}gUNilqptEVTZ2n?Pf%`T0x7DIt@>&+F
z5>#8YBcky#)<N_3BX@J+4<cDQV>OJZlJvAwU#gH=MbghU9J#LdV`uXReDs%%Zsc^%
z*!UzrIk<KF(XsQGg`9MDT_??_^8#R~OGI2UYo$g?hd?+BA`rhH$-yUU6-^30r0~g`
zoTeEkeA?DP#0C280E`vg_S{H#;j4ow3A~`|!3#q#kE{652zo35Ochgi1@Yjui$P4_
z;4Z*WA?p_pz!Tm6g0Rs0R7i+2!2FjGH(2%^AgKWV&4(u{E(Q(2BPgB@FkyN?5>ROm
zpsY|0xd@y1?`$YMTON87r$Ze%0=tI}4TV9`eaIL`Tn=vHs{>QT$Amk-tCCi@CTaa=
zqM`@vBY@pzrc3_rma<|$s|j9!=r|3o{s3qyR`axAn-wxeA~@SJMS>NvrAXX8EHrWe
z3AI)@{_jMELCphPbp3U_@CaGr0vitj>I%We(cgWMfMiEdG7>G5M6i9D?sK?NZQvC%
zgnx3%xJrYwA+T{4mbtvKje`)y73SM(RL~q&2M^H1<puK#-XZ}gu+{iL92^dgax65Z
zhf66loe6BE1lFMyT#>q|fIQfO7d3DiXCaXW5QZmOXaJ&Lp)-NYEC3mHogSElZD0pj
z02JH_@IfuslpU}mh5*>e1MtJE%RB(ze>lbp@Bwph7+6YSU;>tdy<+jCfm--@7YBwE
zfP7qR@JgZza2F>}t_k?zZbEf{S@_r&>tX?%g5Ba80h@LUn8!mF-^b8&Ghv_D0=4)M
z03j_7tfwR3h9h~#1rUHW$z6f0|D}f$+v5gA;OszTabkVlfn0bE?tQGZCxGiUoY5FB
zpcr1kD&7TJ=^^V_WCU;wz;0ko@CGrG1}hN-Ou<uFx)|UU1$+ao$>W@nrUN{%I@HZ1
zaDG24arG%s0jCZsmIAC;?m~bGMpy_b(m^*ExIm$#NJeaaGcbV*45lTm6==h;3>O&d
z-vd~|2s<$Z9N<D68v&wl)rOq0f~UxlblAiRfQT3l7J4vQv9<F+HB1*4LIm*h4f<{Y
z^6*%(1zd#3oh?8d9{INc_+TEi-v%zjWA!$01s+Mh0frPM_Yc(nvwMKIzx`A#_y({c
zGZiqk3S6N6H-P*!EM_tJ(29r?fr!0?K=2`czeF`LTABhlN!YN?4!{OPfDSu=6b#cL
zh+K4tcjTos)CG{F2vP)s7y<oY0B*p7Dj@kTz|0AI$lP?$ro%@dIEfGl`rjQOoIv$m
zfE%{vv<vApfFZj89}G(&hy?t=o?U?79JcYh8s+Z*@x~v4Kv{cwiMd*%9PU~>*o(p8
z&_kYn{(f<wekRpwiXRVwC?iB5IR4OG0}a0eBCtdBcgVjrnD!kIz_CI^kl_{u=`cYl
zvHYPU6NE7gV#DS9Und~d9;8nS3h&{58UamV=nwip5J$liUlDW|L;){E689hG2*IX3
zKmsRpMUIy^{Qni20%`Vt2^H~dyUG9vL@*M8IQxgCTF_=6ki<ow);O}w1qm5JLTrBs
zsU%^{lQ{m4er6vEw-`L${~5i|4~YH5bWCYFyU^cc(oG~LrV}6#!{mRP?gAhG_^ICj
z=>spp@gIOF%q`gg1cgEV1K=DC&0uH_-und$VHgg!9{{4b*z2DarI|p?<3Zg5wdHTu
z*&2*;4cGsPC^K=7aU5m?D({~PZ$YcWpCQB@LQXcol3#EVhCjd`hky{yXMaap&u2*e
z0~G?n{+mYxf~XtA)y)akeh0{LHDYk3`-EafAf7285U2l;lm}yv05LehrXz^HofQn#
zDhs%G1dz-9-M~;!{dRF~{AysQJAbt<sCW!n(%8V<+F$|;wgGZnr$TeUc`)r55a5Ch
zpQ23X{{or24AuMGZ)OpQi+BKNjt7W?O9#KAul-nrc7{5PABy15Cm{?}J^A@0c$`4?
zmBE-_upWYVIg|j{KnbuVUPS(+VY6`a`#s26B=q;^<MBL^8wqdbi3UhEz$wuM2~(1o
z27$=LS|t2UCGjH!Y7@WXRzQ9L$%fZV4}g>O!0G=}Tm1L-YD`dV?V*Mc`Xjjx5c<M$
z9www0vH-||D*#dghMY(UR)LC0Br6O}A&57{1Asqx04}ih_!kpcoyM4QhzT{4zuTA?
zY(*mB-#5Wc*b+WSiHGFHF<q1?lM(@S$v29>lb)3Vz#}PWM|a0V;)?Vy9^|!B0RZ1C
zK(jT_EY1Q4y)TC*<aGe*?LTSrRsq0R6@WDf|EB>;e8@Kv6v9XH{M<u*Ys1rN5r{Ns
zi-y|ox9cD94n7ioqk~T%9i+7d=#GzM0OKqG=KrSaq4Er@fH=GZh5zS<5CBpWK<Ps7
zA0-0Fr7vhkfE0#d7z}m5X9P(2?Fhbu;Rv`44Y*X=nv?yEpq49vs&nSIa1aQjD*&>)
z0^B(7I9X}JhpM+AIdUlVKie+X4FDV6pqI2C(XY-L%TpHggY5c2@_))+2Ac?xxXpTl
z5Mr0!69C0LfzzNUqzXr<NCZXb2AUEfg>haNqrh-9^uDPP`I|C{y8x(v7hnOKU{xsB
zURZSxTp>a#!%&DA2epWiBAmt0BQ~RBtK|z7T^Onv;~%+_fC<D9Kafrxq=VO%3V_q_
zcaD8xB)R<Gk3H0CzhCLV&-a$YU8ldFdu0+R06x&1<Yyy>K@d;kDHQZm$TkJ(FRGSL
zl$6$>t+)z$sr=a!$KWQ(&z@i<g?d7w6ueIg^@IT_k`~uZ<H7dL%@D~$5Xr2+$AoYP
z(WFS+zW_y$CJ+F2kRk<eI#0e5Fo{6>MkKUH{#h7PkecjgVJ?tC-Ufz18Zsmcc#rI7
z2-)!D`w@7O9y}TWC_#3J9k^l}&<bDyl9T^zKzVW~&4hUXES(3K|9C|~{Gy>nzyVBy
MWC>ljpx6=r1LtC#E&u=k
delta 8138
zcmZu$byyT_*WY{TmhP5r=@0}3MM4A&Qc^-dT1r-VKm_R;x+O$%kws8SN|crmL@6;S
z5d|dVn^}F|>(TeyKlYyA>HC~>pP6fBFoU!|gOt)pkARQ?MM_GFBDtAJsfvdGb#sva
zkG$}IG6fKW7pxKpCq~v5k}K56%FQH8hp?p^nUk*xb73sTYL9P<e|r9Pv!ydS=O$J_
z*-*=qPPKWJ(8<qD=r$pF-GQB0qQGgryU#ApVg<Q{joL&aYP63C%Y{gb3?-x}82N{~
zyl9b<koYopSa*}-=bP=^qZVnDbIChTZ>+xw{xFcEEPF%e9LLQsJhv9ghVPho+Nwx)
zbSYSd>A7DH$K)tnuF>mmo%UpvguEhne(E2ot``sgDaCnd&Xqkh?wVU8)5L3|Xlr(#
z*Y3}xJfF^P>#=*Z#VX|DPE)=)YOXl#N#VihcAc?u`qZ)lYp}Z#D=oW659hJ1sP&vM
zZz$lP?~Y94^qt@@*M?`L7OZ9FG&-5K$@&iF$AqkDdX+Fd3yOt5@&k?^U9jCas0`p_
zhz#f?uCTe<#k-**?y#F<vt8zVV0~tvWcWCrb$ry?LgDw*8$nvqHkE237u5yoH|hg8
z>BRDAtDPd~a+5Z)V?JmfYG@yx(>g9SIZLNk)s+{~bjU~iQ#7DO*jeg%fLXU#;g1Ia
zPX(>3?@h3GV2-Lrl)Pn_!8tsUSl|qEtm^qd)-P0?np(}D?s~8)${QTfQ(8rS<I#iL
zOgAbZk+fT%sdsONH`Ot!-{84izN?jMbk6afYGZ`Z^>SAI3j|gKW$g(Xvuj3TmmXOC
zJaH~|QW&ee=rLV4GE=z$ZB)f<J3NtEAh<}epxynBw7~`wKe4?2g|In{aGhpya(T-y
zylWs#ol+v>7T1;Lrl(!4oujnWHE7Wnccz6C&EK97_9O{zYI<eVHrgOO&i9Ju>Z_Mm
z#wJR}kCrMFA4#x^O5lE1pxmNqeaz0IxsQB(#ja)fc)@_*8mgeNfBo8axLRo5v_)xy
z;?9))$%;O@6wKJr*y{KC$6bq=OW`sKj%OINi}-bmXI|vHZr<?Qd)Bh0-LiFctT}2Z
zp;50=hX4L!h2r{4KT&Jv6~epiU-Le{oD@q=%*7w%tu<Yvdb6~zMM#w5QUA>+o?q4~
z4l&I_&oIKXTSSUK2&_6rNlhaCT8}avs_tFKYH&E4Kmn&PgwH+5gD><?|6`)qjC;(u
zPgq*_LTu;Ap-t<hFXuvvXYE4@XIsCBECiI<DV-7Cq0Bp?Q>>I2cG!I=yu+*xZA64g
zZKTFjGww^ZBo0^43b$M!Jw>jY(k-LIOP|45mmr>ep}@CJBt<h?E8}HEop2U^vX*j6
zg%Q_#dYzK-I!qYXN<#UG0xdUzNt4}pEp0iic2*^mb~7c50=p2tWUGQi(?XtX2d{(i
z8mFvjF?5*LeYvv*!*V+9$~)y~seljeN;yVy0mGt?PELE23AY%^&yqbRQrwxnG$gSl
zZa7p{`eMOv^9dJ`rrU)h^USf1%R@?R)kB2CnP-w2GW9Vg45CHe5gd!Az1ocA2KUcK
zlteL(c73GG?1)PiZxiw5=r{csP_QPNd4I?)Q})!ndFyqb$%(XYa(=lszWN2OD@J8^
zmPF;w)h~^rBbY|`BA6C@B3y|o<31M^b`Czc^BEVJl*rC<zCQfBzFxU?0ezWffn&X8
z0b{*!!G(GijA(ohPM7K~!G&&H!(Q4G6D$|2JZ2s?M9|eA`CfRc&MVf_RBztur9$Fq
z-$G5hn~%z8o@CV5W+V(VQP(*0-n4srM6qg4gws{nl~zZ~Eb!}#yT>zyj%_C}`9>FR
z5|c=UJ??)Y6HU`aPbc5@?9<EQF3wp+*>8kU#I))+;cjJ2FL9jO6xWK>XaBcWMPJ=j
zBsKdpmx*Gh^*&~gxz8tzNye4Avrz{=Nj1>lpvds1b9sV0H^cQ{Gx8B(<c)Iv7{kf?
z$_%8qh>qKnOlBcY-VQMy2A4Bg0vFo-8iUn!J99cb*0vNPEh3oyp=uG7pX?{UwxQ^|
zp&z#$3oyZ#F*dy!jZS@g#-mPmEhK)j2q#r@xp~{y**@%gFj4gN<|<1N$*bb<vn8PU
z<9wkhJw2y$M5{!JhYzIsYFzhny2A&1)AdIG)KTihuMa)9%YdPeT8G}mu3A=1TlW5~
z=d5+smFgN<!YhucOtR}h)75J*vxe=J**K?36J#884HHSKlbv|1?*&`m>q^Ht?c*~l
zzK=BoX`6J`IKI}i_SJX!oG>JfJc`l%T02*#P9<MHVshMAI_-Nt<SDQ1H@HQG-F@9-
z(dQa3VSgApG|1-JtF3+`iJrRAJpOxlZDZf4(zpOkL^Kn*J@05CIk%GqLmE|VjFw%*
z*f@*PbOdI6%z1#rbb)pC>w2`JF0pYQ@63#-{uQwf+llQsQ4Jk%GTn6jJ;$>iEuD>;
zAQSgj*7wY{%QoFiwA){ODQZk8>`D^!%VHyS#aZ@cF!_JjU3Go3wC{Bx$@`tAr@Ny)
zNu1ZAJ<#rJELqk~d1$HOo$ZB{`$_FT5_5~qwAmc<)I&nA_b$XoxkAg4k`#=3_r-0D
z=R+26<pXM>eYbVuymRkWd`4+bY|=cK(otk#S8Q%J<(I6aru<T0#eJl-by~c9IB%kg
zt>t)r%nRDr5z`A5u@5c^D_rn=LD8L*91zeOo9e!?|4yDV+SpS5k@by)BGaGwgogZe
z+6J0~)EI!eup?DbZ@9`OYG9O;yXX|YZkARuK9yi~)$?O4{c_>ioZRe}Sf}DUmaf+r
zJ74u_YbJk|ms8#U5qe_GeY868TvpmZTI#+1r_v3$M3n0f9^3weX%*{9s^z2XCadvY
zO01>M8hux9pSn4)KH8`l-P(Bty8wnlJ&wHDZ*azRdYw5fHubH1NucJdUGb{-42jDH
zZSIi=2L2}8JA)ylX|7l-P2F(AWPhaXY8QtL?^EW{)g|>w$xMDH<`-Sw{yk}Ehn)kT
zk#+5>+;!2T)y-UH{?;y!vMfmw+!d!KND@XVMnj>Qk;pf$84oJ`e~=zqIkujC$=&aD
z<u?C2jK^`bMZ`?sJ@U&B_domcT0W`_Ba2wJ+Vag^sGDAkT>N};*u#OWRz6C9Z&lEJ
zhLnUpy5d;&e(fcZIQ5t}Lf?+A%7%6|d|8m&mHKo=<<j9<qL3vzd%IJkx$3Pkd1m|K
zb4~;r>Y@Ho1Zh(e^WjB&q*D@w*9=FSSLcOG$u}@7<603eMf}bT_3!;F@^xH%h}_dg
zi^;^4;zUeW(mE))IN95sWnAOq%)gz-%AA$zEPkrXF_hr<WLRThM^biiky(nJx&30S
zQ9AFLi?!^@J*R6lS00UfD96Y=O;43QKV3ybAHK1&M36ptk3*H+G&#hWFfLs!N%Eo9
z!<;ww1T1Bwl~tq#w5rmxn~6XA9@E&QG{3ho)43!`-{JD0#+5`OK3_MP`xql;cO=f3
zC0Vv_m{qg-$S1@8flF*n^ykPl1Vcp$^J-3{G~7BjEh6mRL6!bqr{Cyd)@S|TCELc!
zS7dmYre!0!+6w54L?@ymnjVuJ$=Q=vp0syi&6LZ|oYNu}HHs-uzkBv&r`*dfU-2Hw
zhfeIcLUQZwtISJ0F|KZ>sRrg*nK3r%{&t|MP0R9L*N%Xz7sY2!lFwc=3p=6WU9{P^
zdTQtf?HGTCjRjD}7UxG@EsFSDla^+8Tz=t{c_dXmExU`Xp@4>A5q8+{!^!)4wNX_)
zSDVNzKKciI0=}dFkPc;$4)>6bmMU2tvu}3jq86cdIuoH};yo|!qA-xi=2?ZQC;p&Y
zI?q?m2%TxJF`4?uYDA(@KL`cs(abxI@HZL<kx!f%TrmHnZ7K9L%KDS+8=eD-;1P09
zpG;0%v4PIf{;28ExMwZ(fsL}2TsQ7lc2|!~d7U$-Su>c9A{idYRHL<Tb##1w%#=0D
z!MFEg%3NY?#v#f=L#KDLBjrsf#?+M{=b((=`>Nyn5Akdw27MwAUW%mj-HY}X(k=37
zZCA6t^hMs=mcDi6lgx!an{St22Z^l+##!(cXKIVJPR*;tL|Z>B8&dD0{s8nVlZZSi
z9GgF(MET{CdP)S?v$)#N&xM(vq9?qwa9YycJGOoB)6m41hm)B?zM=8dtXUY^_8Cd4
zo_@wDp$w%-vjSxwW3T<)hMcgn2#b>szDv3r6tyd4n95Q$JTDd<f4xL~m3@<J>s8c#
zXtw;%)8l)|EA;1VDRY<3e5Ks$!p7`>VEHsyM2ngKfzc5vnu>3=W4G>X^?LX&3d-ma
zn|yXAe%9|ztl}ii+s>i@igUB>80#O@CU3j;0%)$x5^!|A>y2r}o(nm{zd^$mi7{qX
zFBA>Y-~2)*(c{F{K%O`ppTXv=CZN2a*A2z6TrqC5+YJalu=eLOppgDCZ|OhkqTFCu
z`c`GND%_$ekJ;b8;<hli2~nZ{hPFRPPn2u&sB^lWa_F!>zn$Y3lY#h-L5zZdU`^UB
zzFd>O_Ux1M`d%)Bi}@u)KAB?XH<hfLRUe=4!adOqaga&4=!L>gs?<F*>+64gpIQjB
zbgEbFmf3|AR&`w)1=((Kr`xl1S<d#7W3+08*d;>)!tKxE6~xaYmr3g6K8g1~tNBLl
z5cnCD<|V?Ogv~aSIL-R?^W$cWjFy~%h}^AuCBEwRqvO|AMxNhM>wa$8H@}k+n=C?7
zYQ)v^JR~lbh=Yd0i<)tcPP9GNG+Nb}VQZLWrL<P5tuZLOd%-O8?xk{$yhMU`3G@f1
znu3{USxt2X<YK!=DLwiNgE9>&T&U%ZsVYk!f1}SlZ6%l2FpO4#n1&6_F@*)*f+?Xd
zQ)y>gYX@o%(#uGitMiZgmuRbgig{{78JtSIrBK@Tw(0031^c9`n~jvL$d=CM*)z67
z`c?~@d^<7aOivXx!fqsMt!IEISE-*}Tj#N!5a@an_zW#EaP1@q^UG`6#x)nHbS|H@
zHX{h=N@P4Ca;-WlaqMNU`HNnR`CzXKt<bP;2*LH)EPsCgA(6&(b1#BNa|*6KR>kwS
zQ{nutqL|C>6{XSSeT_X3@Jmi@Fy<n15qB>Y{cQVkC0|A5AM=m;Izz7)=h&_CONc+o
zy!v(x$|jC^xjx*macIP#_NslB*5&Q+;%s}QZX328HE77G7NEo$;CaLHHKu8bDMf{|
z>6&#a1Fut;L{4MAya?sR&Wxjy>AA1Q1-xWPr0%l&%6MNEgK9OUoc^(HCw`hl6~s98
z(bad@Pbn|ROMdmL{o7l6A9eO`Z+V_+WLzJ1-^t$cR+=nj6=q*bzg=RGb+P>{O-~A!
zLux6-`??Wkt`5GU!qIvUMQ96S>-8w2--ZsvuTRZbV$ACIzZZ}X7{|@3pU)ZFIwoi^
zCDVA~v92lF-|O(j)Oiw0E9c^8{h7z=(Hr69$Jd9A=h$K;6>w9PS{lc2Kc*v9&g<Rf
zVrJl58uy_a%pz^k<4YIa@lKLf9>6*9yn6_+3*^=v%HShPY)7&8gIYZ%oU21Ahz0uz
zcliuSZ8p~&$JUV#4<o&J52!B<6*WeL#$OqwRXY_w=NFW{zAGdzplbUgE!nLiv@|(Q
zGDt3G`BUM|MMdY?pA#!RZnxZ(W*R@_EreUK<mXUH-!=&?*h*3tuWT@S^zg$i)+$%C
z`Le`{4>k%D!nRCirq4!wtuU&M4C$90CF<973<ttBQ>=yK=q7{{Sz=?kZ>krezwvP&
z2rQ1g5YE4}vr}y+_w)|gHx-U=#3iE^Wreu&dh4@<LD1;lwsPg+t&Qyh|3$v^IJ>Zz
z)m>KE*16OWHFYZ*f0okeelD>P|JVg-!$~T34BMo>ihs=A264WSd>YJ);JFbIF+P^{
zA)|}NQ}@(*cpE3<!~z{I5MG=Ute8Jd`<d`&ocJy};+sJC(53W_F#XcdhQ;&#S=VbV
z`Q*+D8o048J<PUjj)HP-%Tg&H7kA7QzWtiK!Ypkpcy9J8zasl}#xOSdVB3@cSvSMT
zi;sH*SVcOZln6=@c5P#7O!wKxo@WEo+x_&LnVuBa^6hC*II+J~%!?h|7RdGgD2U7I
zif69-Qa&bW5Uo(4MBDx{vu}%hxk+wetMC?uE95z`plxJE-`?e~9KE9kT|BDNdFCde
zx>v@jiN}FCOp%v2uPx}MeRB4ZvFx;=Uw`u?%fN?4qWL`U3jA0hFOJ#xI7O=SnNhpN
z!(2dt?o#iuMK2#U2N!f*anx)f>H84}Q(co9Q_+*jrqsB_Tk-dvaE{1X@)&#w^B}HD
zyE;$(Dd3G%e@Bt!{&9i+*wc0Q+1{wEc8zI2eBtxO<XO04U1<NlRW-N$10~{rLUTf6
z&<89TRdkw`-0hT+YYaj<7-?;d-pls-S9tQLI$D@>(ojm0ryX5b>+Zj25vXiqaAC}P
zOzYEl%1T(?HuY7E--t-&E2i|4$+HeyUwyoCdEGQ9#MYW}3?<Iy6d$-=Y)Tq_WXpIV
zOO!hEx`W09b<)}c1?`%W`Fuy3Ix9w(9*SaVN6jwHK$@jfB3EhAtRfhbZ#;<ui`KD3
zkzFCH+gao$zU94+@^3jZX$m?nv@=e3htKl()je11g%o7da5iC!j-!4BNz3=xp2uq&
zE2imM)asJkWHHP)9r#ua;}(ovBK<!aUoL8&3sFeVSiZ96-r#_tA|~?k6Yy`IJwzGl
zk&sgIwpWtUqfmCDDAXVC+kU@3Bgei}bt6Y!tEuRib0e?ST1a@I;O~G5+waJaMhM(Y
zywJdRz=#!g<|ji423~@Qf}fWOAp*e)Gj`5TlmNbl+Ef8EG`<B3D+eY4gxen^iZF(=
z05kSTu*H9+lFh;>u?e9y|0Q6}!kQ6~Y>>tSY3u-M?5R5^@FoyK6hf$vw8Tp+$BRSn
zb^san^u0nP1nhGBBt8^wCT8rLl<SBV)*#L0w>B^KHPlUn&<b*7f4kttZs&I*G&m1D
z(AqAb#jcf{!5dSmkiZ*Lsu0B{R-^IPh|udjSg0H8j2Dt_EWlfW8Q9Hc;{RMjZTqm0
zc<bbEH#`v40UWs8vl$Y^Km7}7{Hi_D#EM|BB8(RlTR)1x^Xr=k#Agv}wYf?I1Drkq
z&_OnWPa&>?5ab{M;1L8PDx3!y(7^AcAcq<1rUq;OF#+|{fD*)n-x0urHv!QCafHxC
z3rK#4%#3@_09Fxw+$%QVfm9rKiW3Br!WU4x01!q9%K|{?cQTow+$(?t8bhOx;IxFm
zOC%WF5pnPauK?Gd3r8sr>X0|KI2g6yE#J}vF?d009T12QU)>Kd<MPjf7s#tzoVyiZ
z!S|X$8Z!>Izla2f3%3VDcwtzJ3+L+$-0|62xCTTJHnkhb|4(ALaf9w48Zm(+h8q{;
z35pROj>j8Z!e0dXfM@s%*mEZX!Xk_YKmV%_nUkVvadI)>9i9YxWX6fdfg&nI5;m!f
zCsXDC0hj={C^K~H4IsoB=72SPh)93qE))VRvT;bg8nEL8$^kPz4KPxpN7Uc~;gUPR
zSG+CcsNixtK^H!8c>R!mV1pps+cB_*2;rtDekBg^h=V<HA#CKt;c$zf31314M1KTp
z$kBv?z5-=ree@NaK-TTAKn7VwHv#f`9dg<P=a98=6P!m@if_P(isa_rssGLi$obnZ
z)d$}I2RcVJxmlGLQvVJpc@QzHnSX3ZxKXJ1(<qb>>fb+co#eARB6vx}u>N<z0q#OB
z-+>$g^ANZQJ^2n~5x9Xs4TyRRAjbd_*@B@Hq_YM15qJ%T=qG;3Q+{mJMtT6vfcnoz
z0;m>Y9R@&yTlmI=e!y70H3)_Bu=Vzla<lbt^0Revl=@R^?-XB_%{yTN6sm?8h2r{m
z)Trg4WU^qMzuny4h6B0+<!<9U4SJ41IcVuOq}_poAia}Zn?s+he1`%u*a4JC+!in$
z1V8~hKn$O(i~tGDT|yK}kQ{~L|HCWcz2v=k4rGQg;w8^336e(rzmhZYu%rN_{Nr~4
zDg-v&6aWepfkvT@{$UfBl5Ca60^R%p*pOf{e!xL$q`@>UvA@%ipMKFRj|hbtr$nJR
z{xI?&Z5RL11(Mi>)su7JJ#s=H;r-#mq<@o|n)Cna_2xrh7ceI8<&)uKMIvZ}O@L}>
zW*0~zkZKQxqLAnwkVc>-4AExQkk}qzgHrYYBSNe|WFn#7y<aLjhzwt2@`*;?|Jg%c
z>JHO1k_5P<a6|s<*9F<_14(YAU0+kFes6*6{+;A+p;f3F7D9Z!+lPJbK>Pc@HZF1i
zLn27$0EpvFFuKvd^<YJz?yI6uJpb~7LMcLt2S5s+7*Cyd9*b}=#BeYye+X?ZC)2L5
zLAwXPT7>i`;9%oi|J|=H*Z=BNNFC;*Pp&81t~38nPr@vq1m*tx-IFjRP$vLT{!hRN
z9sC5s_(&d4RbX7<P7)^lyVLIwLWzff0Wv!TEcl&;bgt*H!qsFW`&(2EN;m`(NOD>a
zVJ`*L0BWNK9MJ9|eix~vXbw=8Du71DaH<guoKoG<QV7U}K~!op8hMgPeFFnr>JK~z
z5(Q`uf;I*Ky<-485PWN<#0Nn*=y;MD&YUA$C9yv;*A1lrv<ec$5UdImpjCiAhCp64
z46%?p8qJPC3m6j22mokb0PsRtXf*yTmLo#MP&XPahWAsEAswCp=Y)h7g<}504;nf`
zfEGk7DG|VyX5|2MC<oa8PX8^0S*Hr1VO78m!J`-NrWc`lYXT@y^Iy~>gs^iI1V2Uy
z;GO3MJdVntL!q+akqNibzkb1x7a>|0ah?V15L~eWP^cA<z;A;W>0mF-`w$k+&2_l5
z{yeIIR{)fL1^hamhz0l|fCKnLmPBae9uGw$@C;N+ghp;z&;SC*pk;VLAQ>_24&??Q
zZa2XH->jJ-)IxUvwYvjuiND9j>k@U*KzQ~9!u9%diW+zV$juXQ|DCiA#2%eDfMmSk
zqQlQV_@t?mz@c1&EJ%I@8U;fFX+Hp+^8^1g@P`oDEohYlt&W5(fwbNhbe0s2Z_hvk
zl0a#szxMbPfzP0+-&`^>Gza_7Z1C&m;N<7>_h~x;3jhJgiVTf>XojL;NFZGZ2T};Q
zAqh$}CB6io4v!ySh0n<&c#Qv9z5Ox(v6sX1i-!Ey&N#^t3)QfNYM6>xz}J5|!m*<R
zPTUxrIQD;4A07kHZE`gJ0l5-Z1%Xf>Ia&mNkTbpzF-yP=dynStWMArs+9}WsP*gvl
z#QQ*E*Q9{!IyCl+<3oY|HUB`B1Lp~N8VtbmkLM4^{ZJdluY<V(YXS?1n(|i?R4L&t
dBrO7{b`h}tUC-Mv6F5S-uq?6bS9nLL{{wU!_Qn7J
--
GitLab