From 5e9ae19afb4c130f7e20794d6a4b430b173ae42e Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Fri, 1 Feb 2019 21:39:57 -0700
Subject: [PATCH] Initial Gradle commit with test properties, development
 properties, logging properties, lombok properties, and travis properties, and
 example Spring Boot classes and integration and unit tests

---
 pandamonium-main/pandamonium-main.iml         |   9 +-
 pandamonium-theorem-prover/.gitignore         |  46 +++++
 ...er.tsp.pandamonium-theorem-prover.main.iml |   7 +
 ...er.tsp.pandamonium-theorem-prover.test.iml |   7 +
 pandamonium-theorem-prover/.travis.yml        |  25 +++
 pandamonium-theorem-prover/build.gradle       |  99 ++++++++++
 .../config/development.properties             |   1 +
 .../config/log4j.properties                   |   8 +
 pandamonium-theorem-prover/gradle.properties  |   1 +
 .../gradle/wrapper/gradle-wrapper.jar         | Bin 0 -> 56172 bytes
 .../gradle/wrapper/gradle-wrapper.properties  |   6 +
 pandamonium-theorem-prover/gradlew            | 172 ++++++++++++++++++
 pandamonium-theorem-prover/gradlew.bat        |  84 +++++++++
 pandamonium-theorem-prover/lombok.config      |   7 +
 pandamonium-theorem-prover/settings.gradle    |   2 +
 .../src/main/java/hello/Application.java      |  33 ++++
 .../src/main/java/hello/HelloController.java  |  13 ++
 .../src/main/webapp/index.jsp                 |  16 ++
 .../src/test/java/HelloControllerTest.java    |  14 ++
 .../HelloControllerIntegrationTest.java       |  36 ++++
 .../src/test/resources/test.properties        |   1 +
 21 files changed, 580 insertions(+), 7 deletions(-)
 create mode 100644 pandamonium-theorem-prover/.gitignore
 create mode 100644 pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.main.iml
 create mode 100644 pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.test.iml
 create mode 100644 pandamonium-theorem-prover/.travis.yml
 create mode 100644 pandamonium-theorem-prover/build.gradle
 create mode 100644 pandamonium-theorem-prover/config/development.properties
 create mode 100644 pandamonium-theorem-prover/config/log4j.properties
 create mode 100644 pandamonium-theorem-prover/gradle.properties
 create mode 100644 pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.jar
 create mode 100644 pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.properties
 create mode 100755 pandamonium-theorem-prover/gradlew
 create mode 100644 pandamonium-theorem-prover/gradlew.bat
 create mode 100644 pandamonium-theorem-prover/lombok.config
 create mode 100644 pandamonium-theorem-prover/settings.gradle
 create mode 100644 pandamonium-theorem-prover/src/main/java/hello/Application.java
 create mode 100644 pandamonium-theorem-prover/src/main/java/hello/HelloController.java
 create mode 100644 pandamonium-theorem-prover/src/main/webapp/index.jsp
 create mode 100644 pandamonium-theorem-prover/src/test/java/HelloControllerTest.java
 create mode 100644 pandamonium-theorem-prover/src/test/java/integrationTest/HelloControllerIntegrationTest.java
 create mode 100644 pandamonium-theorem-prover/src/test/resources/test.properties

diff --git a/pandamonium-main/pandamonium-main.iml b/pandamonium-main/pandamonium-main.iml
index fc53e34..e329cca 100644
--- a/pandamonium-main/pandamonium-main.iml
+++ b/pandamonium-main/pandamonium-main.iml
@@ -1,15 +1,10 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
+<module external.linked.project.id="pandamonium-main" external.linked.project.path="$MODULE_DIR$" external.root.project.path="$MODULE_DIR$" external.system.id="GRADLE" type="JAVA_MODULE" version="4">
   <component name="NewModuleRootManager" inherit-compiler-output="true">
     <exclude-output />
-    <content url="file://$MODULE_DIR$">
-      <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
-    </content>
+    <content url="file://$MODULE_DIR$" />
     <orderEntry type="inheritedJdk" />
     <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="library" name="Maven: Arquillian JUnit:Release" level="project" />
-    <orderEntry type="library" name="R User Library" level="project" />
-    <orderEntry type="library" name="R Skeletons" level="application" />
   </component>
   <component name="sonarModuleSettings">
     <option name="localAnalysisScripName" value="&lt;PROJECT&gt;" />
diff --git a/pandamonium-theorem-prover/.gitignore b/pandamonium-theorem-prover/.gitignore
new file mode 100644
index 0000000..5409e00
--- /dev/null
+++ b/pandamonium-theorem-prover/.gitignore
@@ -0,0 +1,46 @@
+# Ignore Eclipse files
+.classpath
+.project
+.settings/**
+
+# Ignore emacs temporary files
+\#*
+.\#*
+
+# vi temp files
+*~
+*.swp
+
+# Ignore intellij files
+.idea
+*.iml
+*.ipr
+*.iws
+*.ids
+
+# Generated files/directories
+target/**
+*.class
+build/**
+.gradle/**
+exploded
+*/build/
+*/out/
+
+# ivy/build
+build-ivycache
+.ant-targets-build.xml
+
+# Ignore files
+.svnignore
+*.orig
+dependency-reduced-pom.xml
+
+# Ignore netbeans
+nb-*
+
+# Apple directory artifacts
+.DS_Store
+
+.metadata
+META-INF/MANIFEST.MF
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.main.iml b/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.main.iml
new file mode 100644
index 0000000..e0955a4
--- /dev/null
+++ b/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.main.iml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module version="4">
+  <component name="sonarModuleSettings">
+    <option name="localAnalysisScripName" value="&lt;PROJECT&gt;" />
+    <option name="serverName" value="&lt;PROJECT&gt;" />
+  </component>
+</module>
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.test.iml b/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.test.iml
new file mode 100644
index 0000000..e0955a4
--- /dev/null
+++ b/pandamonium-theorem-prover/.idea/modules/edu.msudenver.tsp.pandamonium-theorem-prover.test.iml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module version="4">
+  <component name="sonarModuleSettings">
+    <option name="localAnalysisScripName" value="&lt;PROJECT&gt;" />
+    <option name="serverName" value="&lt;PROJECT&gt;" />
+  </component>
+</module>
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
new file mode 100644
index 0000000..8ed8a6c
--- /dev/null
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -0,0 +1,25 @@
+language: java
+install: true
+
+sudo: false
+addons:
+  apt:
+    packages:
+      - oracle-java8-installer
+
+before_install:
+  - chmod +x gradlew
+
+stages:
+  - name: build
+  - name: unitTest
+  - name: integrationTest
+
+jobs:
+  include:
+    - stage: build
+      script: ./gradlew build
+    - stage: unitTest
+      script: ./gradlew test
+    - stage: integrationTest
+      script: ./gradlew integrationTest
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/build.gradle b/pandamonium-theorem-prover/build.gradle
new file mode 100644
index 0000000..9909528
--- /dev/null
+++ b/pandamonium-theorem-prover/build.gradle
@@ -0,0 +1,99 @@
+buildscript {
+    repositories {
+        mavenCentral()
+    }
+    dependencies {
+        classpath("org.springframework.boot:spring-boot-gradle-plugin:2.0.5.RELEASE")
+    }
+}
+
+plugins {
+    id 'groovy'
+    id 'java'
+    id 'org.jetbrains.kotlin.jvm' version '1.3.11'
+    id 'net.ltgt.apt' version '0.10'
+    id "org.sonarqube" version "2.6"
+    id 'org.unbroken-dome.test-sets' version '1.4.5'
+    id 'war'
+}
+description = 'Pandamonium Theorem Prover'
+
+group 'edu.msudenver.tsp'
+version '1.0'
+
+ext['slf4j.version'] = '1.7.22'
+ext['classmate.version'] = '1.3.1'
+ext['joda-time.version'] = '2.9.7'
+
+def branch = 'git symbolic-ref --short HEAD'.execute().text.trim()
+
+sonarqube {
+    properties {
+        property "sonar.projectName", 'Pandamonium Theorem Prover'
+    }
+}
+
+allprojects {
+    apply plugin: 'java'
+    apply plugin: 'jacoco'
+    apply plugin: 'org.unbroken-dome.test-sets'
+    apply plugin: 'idea'
+    apply plugin: 'org.springframework.boot'
+    apply plugin: 'io.spring.dependency-management'
+}
+
+bootJar {
+    baseName = 'gs-spring-boot'
+    version =  '0.1.0'
+}
+
+sourceCompatibility = 1.8
+targetCompatibility = 1.8
+
+repositories {
+    mavenCentral()
+}
+
+dependencies {
+    compile "org.jetbrains.kotlin:kotlin-stdlib-jdk8"
+    compile 'org.codehaus.groovy:groovy-all:2.3.11'
+    compile 'org.apache.commons:commons-lang3:3.5'
+    // The production code uses the SLF4J logging API at compile time
+    compile 'org.slf4j:slf4j-api:1.7.21'
+    compile "joda-time:joda-time:2.2"
+    compile("org.springframework.boot:spring-boot-starter-web")
+    
+    testCompile group: 'junit', name: 'junit', version: '4.11'
+    testCompile group: 'junit', name: 'junit', version: '4.12'
+    testCompile("org.springframework.boot:spring-boot-starter-test")
+    testCompile('org.mockito:mockito-core:1.10.19') {exclude(group: 'org.hamcrest')}
+
+    compileOnly 'org.projectlombok:lombok:1.18.4'
+
+    apt 'org.projectlombok:lombok:1.18.4'
+}
+
+test {
+    if (System.properties['test.profile'] != 'integrationTest') {
+        exclude '**/*integrationTest*'
+    } else {
+        exclude '**/*edu/*'
+    }
+}
+
+testSets {
+    unitTest
+    integrationTest
+}
+
+compileKotlin {
+    kotlinOptions.jvmTarget = "1.8"
+}
+compileTestKotlin {
+    kotlinOptions.jvmTarget = "1.8"
+}
+
+wrapper {
+    gradleVersion = '4.10.2'
+    distributionType = Wrapper.DistributionType.ALL
+}
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/config/development.properties b/pandamonium-theorem-prover/config/development.properties
new file mode 100644
index 0000000..c1f71b1
--- /dev/null
+++ b/pandamonium-theorem-prover/config/development.properties
@@ -0,0 +1 @@
+helloControllerBaseUrl = "http://localhost:8080"
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/config/log4j.properties b/pandamonium-theorem-prover/config/log4j.properties
new file mode 100644
index 0000000..ad6ee32
--- /dev/null
+++ b/pandamonium-theorem-prover/config/log4j.properties
@@ -0,0 +1,8 @@
+log4j.rootCategory=WARN, FILE
+
+log4j.appender.FILE=org.apache.log4j.DailyRollingFileAppender
+log4j.appender.FILE.File=/var/log/tomcat/dash-board.log
+log4j.appender.FILE.Append=true
+log4j.appender.FILE.DatePattern='.'yyyy-MM-dd
+log4j.appender.FILE.layout=org.apache.log4j.PatternLayout
+log4j.appender.FILE.layout.ConversionPattern=%d{HH:mm:ss,SSS} %-5p [%t] %X{ip}/%X{username} %C{1}.%M()%L - %m%n
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/gradle.properties b/pandamonium-theorem-prover/gradle.properties
new file mode 100644
index 0000000..29e08e8
--- /dev/null
+++ b/pandamonium-theorem-prover/gradle.properties
@@ -0,0 +1 @@
+kotlin.code.style=official
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.jar b/pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.jar
new file mode 100644
index 0000000000000000000000000000000000000000..28861d273a5d270fd8f65dd74570c17c9c507736
GIT binary patch
literal 56172
zcmagFV{~WVwk?_pE4FRhwr$(CRk3Z`c2coz+fFL^#m=jD_df5v|GoR1_hGCxKaAPt
z?5)i;2YO!$(jcHHKtMl#0s#RD{xu*V;Q#dm0)qVemK9YIq?MEtqXz*}_=lrH_H#1-
zUkBB{_ILXK>nJNICn+YXtU@O%b}u_MDI-lwHxDaKOEoh!+oZ&>#JqQWH$^)pIW0R)
zElKkO>LS!6^{7~jvK^hY^r+ZqY@j9c3={bA&gsYhw&342{-2$J{vF#png1V~`v3Ys
z|J%ph$<V~c^nY|k{->+Elc9rysnh>4g@{9znhgvHh#m?Ei1t5E5wf>;ad!DTU)Ipl
zPT9rK$;H%(&e+D#**Qi{+kH_C;R|h2%}C_u2qcGqkpzJo9a~9qYH;Z<LXtgDEa7s<
z5{jn{#4#nRNgc1=x%Y10gBE&UTYVfYx$|@Dcj`C#H_)7v>OJi2lcQ=i<|gKQUuNz*
zeRzLwpgkbJpG3jTf>&Z%BiYff1YVA8;m#hM;b101PJBP{=|CI8ql`RDKr{(EmI6pI
z(@dkm8Zhf7+L4B=+o^=N!x>UdkGSH||FmmB8Bw|!kp6^SHPN~GMb}zF;MN~+$OIZ|
z5o#vS_+kVQ1*bGU;T$|^HoJY5vdqvvT{g`jDQM16eiU6^81j~-Sf|#?Ak1Z}F>17^
z@XR5%*Sff%YD*lIU8LK5U@Ef`8&RXp(oTZ;YFuN28BSeTUBb3fQjalWGS<#i%yuEo
z%*bAG;X6Mn(h`lVZ;4?Po`dByPNhhz9T|klseNj;QhefEtbe8DE~z?p+EBUA4n}+q
z?!P_?3317h!l6@Ki48ZD*0m8Q5rY22X;Yu#5!TNM7>4GWU6)iBPwkEw+SYp<gJ$pK
zWnvP2$_lUAdgOFnW-P)|l+B?lD6CW3OKNlSSzeJTqB(S}R1svpvurUsQfogpxQ=6;
zUz3Senae(?NM#j)OVxVdVwdPQ!(_7%W|C7_iq>p!^4Z|TuvFg&b|^G}2S>#jW(>8J
zCrA^lSf!{Jkgx$m-HLZq?x)>SyA9QN+LOh!r}V(Sq3}SzL1eRP4%S``)&t4mIPQwl
zLFtNv|M`moj?nr*y+5pdaPCvX$L$qsInqP*7Ll)1%3G$`rD+Q68;Y+#Kg}tI=r{H6
zR+@!(m45RVoqqI}M4(R37;n!Qaxpq&>eT2u6rULTa(O&)y>g6JwS&uH6OIffYA-&k
zbT^f<*apufy?sS=?WKE6USAu+O3Yl2Iz`Op<H%bC+#PK^If@sw-H4?gbBwRNwnW4C
zq_;G?9b;A9M!(IjdV$Y*+^ALk!u9cyi<uRgMcP!$#w*LpxK;dpqBiEXNj7>`J@r}P
zd&tvT=l5(Y#~?E4tt=Y7V)AUH!;)I`nK}&}(!MMwRB4X8ok3Vb-3p1GscV(2f(3MM
zsdl-Xr<RIF_7$!LEufWr&tZ;@lPRUijF-g`MFD2J^wo+m_|<nOdZD1YOo|<<!oriG
zPXi1aELK|t&hiS`5WT4djV{xjv0w*1ROYUP%SX=LZJHux(&bWUK|JpbfJekHG?}RA
z%wMg9HL!D!W41Z;3t`^uzWu{_@G?_8T486jlJa8m-(y&7^v&zPx|_jq_T8?ER2^X%
zqA_?Yv>AoeT+*)zxid^c5*k=-(tF|c)!uNGR@n7IdLso+@Q$dsR^~Vfw}lyqR2vwH
zLXxT2WM7EC6wo#8XWm*1xs``gBLqnLB#<WF#Lj&$hr=Jp2i%7{^ydc&8k4fGo(hsy
z_#%6Peq9Ywe6n$b`(+ORecpy2Km{BZBd*W3W3Du!cPd76hC^Y92gZXsq*zEGFa}8&
z^5+&%K%BGB{@{@=519?}h^>ZOZg+5<P5J|t_z=WfXwVov$n@J(hT}VlDR#^w;Xzq$
z1%_Uc<ZWWf;ybGmYVLl@_rXkDcypz`J92DmEr@cLutI#}kr;f$s~9A(gz8O*yK>DF
zJs|x1lpE>&e4hWgfg1bbx&3!o0ISHigBA7JdC3x}q#`h{T>bOn7efEeX)!W^CwnZi
z0sn7_tN}<VTj(5~2+KQ!(mx!c+>*s@a+{c8G$#Uo0&fThn9MLX0rZ}R>8@C(5B~p*
zIcj)i!$p5D-sQhW{GTsi5qoz#8+$_&62^aByS~w~Py-AIA-fi=TGVdzfzYeq-GTgj
zLOLFSYoTjMiHR!S?C5xX!V#1QE1px{Jn64`H>1dXSdbvb;gEp!9UZdgkknwn3Y(aA
z0=={&dhqy+$;R72c~Ny8n>hxe*$QQC_E^hN46-UI?)N9H8Yn_y5aWVv^R1qj(8fYL
zniycQBw157{VSmO{@2+a_clQ=S^+wf5dRB<4US#8?fD+aKQXR4ne@Q_jlcqbV;sx>
z4@Lzidk;@RR~HLYI~Pl1Ll^sh$C?ynU3(-!6kd?zVN**-)%q1FTWj6Q#-%z71~O1%
zBO#e2E9Av8N*RM`w=kHXWPOu^q@Fb~WdC3M6CM!dNK#tcVIA&&IG<-aoX!2e-kw1E
ze0f?E#QH;n0z*<z>^3xpwV*C3X|SGCV_>&h5yQ+47YA@dkD3Ue9-Kql)wfI~mQ0ix
zXqJK`y8hr^K|hAxgrPWIHuewd)&e)-Lm>agb%ESeyK_*uK5q?oncLH%0zXwnfmDU|
zY@-fWu9aTC(~e{p-hW2DaS6WDAM-<z+R@?H%^#>=L-NX6cvoU2uNM%5vDRz&%Jtv#
zBWdQ(QfY8V`vFt6lVNVJDs$K{$RxavLlo3a>|IHy2VVL)1*yWMgk!=W&pMMZ%&@!i
zTlpeAb=NJV(P35)l5hJ^e~)C9z!X{=PWCx~bH5-&9H!*EQzmo^Usbv9E(4d@BrJk3
zPU~wXziRl0@Wzy=q|wEX!BF+Qd<#^O8YzHF`2IM|0e`7knK6mbq*hi{rBb#CN!Nj1
z3?ctvcy}h|%>t&aQOFk-#7PvfS*b*vS%4d#rk7y)CXdh+G$*5pr7T<!zGH%#xyY|5
zY7^u!LVmegr6q&coA6#|<k58Jq*~YLC3PK+z)#Q0t+EKGS4B=>=5{u^=VTk3>X7M`
zL~O(nt?0Jk%faSj!f$Z8B-e52qHyVY#}t~zirs%6uuI4jn-(}Apg3G0Aj1Fofc@(e
z%F%>0Kw0(t^0RDV)`|(%aHPf1fLRkN>&LKh#2}#yAPGhj1RZ%Ih$#+PuI1s5iqGL7
zOJ)<t_9BrJQs$Q1;<C*~DKiX_^&zoz%xwL$-7M=>Z0q&=e7iXY_t@JW{#puq88V;!
z=4JQ&=H^r0=eU!;3)CP<2gcxM9r#=fy?W#GW#wz6m7g$cZ-tuw<dF4`4>rHiz8i3a
zz8kRH_m?1`F9iSM%sQ$}ezoa5PzQ*wrM^`dAKqVFADTddAD%$|0lg}dy9(3#884SW
zU*Nkc)4P=?H^496AHqQ2;r>d~mnkNXvt&J}eZ717upe0w{_qC0Uq!$d^0WpA{2(v%
zAMU6<G2f7T{s4b6v85^ZB}x1840f2Vis08;tJ3wKD#VqP%Ca3+J}44YG5`n%5g26|
zWhz)m(0UMkwvtHw1{BGbi{&}7MuJ};O4bttzd%c7l0`#l)Rd)VG_59>KyKJcP~wjp
z2a>gyDyU&KO~<U12TH3MkJOY`z~|^MWi;(4Y%jJpQ%D|5Z5T@Wlf{%XWh~iBhLhD?
z`*1^TSWJ=#-JuBTxegsiufx~Ji<3}5y|;&6$G0i%mm<991vjPJ12cDe2H)SG#E9Ts
zaL#TxN#f-MUB!uVAFkTnr(#R8olM0ARlUD^e7)cC!d-ILwBeSVC-9}Cqd9m?Mb!sz
zEpZ*M3(^<4_BRd>V>dTS(AywkV!f{z!-!mR8fMpP7`gctumD>YKEabe=<uDlOjr=n
zmts335LYG1ItwLdBdP|oq;Y%584=@1uL^cFk9cN#d9mWWxWTR;@55Qu6FZo(V<CNT
zBM7B>@~N@hy_Ag0aG%S4xk_CnVKy3!Td`FSuZm}}V-}XEPmwc-$WBtOAQYc#Djg>c
zi1=`DB|B!WDCW%Q>(oV-5ohsuHf`g~TNuL{ZNRE7nNLS>>sos2m?udyEw<5PI5UF`
z;bAG~F_edkVR8t`&qWV4^;n0!F@d~i;kgd260)qFdAJXA4@a&sLZmwyG|Su^wPmT!
z+dIXxZPFJ2Wy*ttR7MkWt;)F`R@JkLjq1woT9cPf2gExRz8O&su_988hI9BNsOQdR
zZtat!y2);uh}vXgTbL?^O26(zCXi{ytDHHGW6F52wi`y<b<mEVhF_OwUZx5sl)Eg)
z%!L0inM4t4!**z!fAga7Si*CE+NsoArOvZYvC+^Xvlhn)&AnW^F>!HhHegG=+19d6
z1O@ber1z+=Tt~x`hZC1w7dM&S@4V#8g=}6(2WwOe)#5sKO_8;20>qG6F7AN2Rxx7}
zw5`oz9#V@UoSVhW&d>%&_7~0DB|G$|w_Vq^tvega3$=6vQsT;S_E&&~dfgbgrJ>y{
z(ytbvUEsfK&}d8o;Y*ELPajTW9IY+$P^@cX&{yNlWAC>jf~7+OMMuxaP-!aZJ%t3O
zah(r@p^B@Rf@nnOvNb1WUy;XQ2GqzBLy|hT1;Kp?5+yo<Vx`zeJn6=?mpIYLZp*Fk
zniyikXxb&TZdH;7IH7NbjGOn$Ph;AmsrM8Tu^YD&aXr-LnBY}vvb?wB<E~ha^rYR!
z?ZkRXuNMr*@z$;PdD|`akv%pNeH-&UQlzuoau#P444oLMp$Ur}BpW#LGv&;Zhr9Sp
z_Az}H2BJJ7LKP0!ttXkUY0eYvq`i*nNxPkbH7z9bL|{0rBztk1j@pr~96hml5mW{C
zOGkLk$KroT%Z*72>hiV0pMuCCOlT7D7?KZyVQVMrY?0B1Zkdl$cI?JO(0D4?4E!Q3
zGo4E$<g|<^inc=y%^)507*9l8j-Ei2F06DHV>MsD-AWHR1q9{`y;50@rz<2&kGelU
zx;$OMKa*ps?SqKNJ%zH$1V=d%WpkXi8*<B8Ce0AgN8G}o1b2&YgpC{8LEWr=!NCKd
zoQlenBTGrQu$_M*S!pv(pg@(~!4T6%a}Lw(i{Z}{E-b7g?&e00xJbP*A5dPB(D*>j
zYBAL|`$*_WCk_NxsCsLUv8^oBI!3HpNlMMkcQgMIPR>i&OqCgXwK+nu(@)z~O!|>s
z6cH_>sTNXiJXTB!KS|8u{5|hG4O8DX$sKv-q<tx6kU&svHrtksAJvi_I})b#w3d4<
z8_Nx9#3i6F3O(xiD-E$G$GwzWaw(g$I*wh<Wr~vHUWINexnKH)3^O;}tLXlPFB4`I
zS&t(F3twI#w1DB13=(5MX!N)17@ySH1c|3K+qfzgV1Y9CY8p7_ZkwCdQ-(BKtTxqI
z6Q`-Mh=z}L3})2KELx<I6eR1%Q)H=aj0yD$x%Mjg;NxY|=0h(mn65P4Sf>ONJQ<?8
zRJGd-O<gwp9NS4EQxrGojgmS)tnynTEoijI4^P8Vchr!Xc|~@{go<G`lmS5#ra$Ya
z(18Yy<5ATdOyrtOiQ1@1!E-XxU6Q^z(^ZXhFlG-Kk6u4XaP8xmZOV*frclAyjS+MB
zinJP9bmh!s)U!ID%`ODK*VYTlvzC_6AWPHJ=AOosXOjJ(FHcwU3f>k%(zU7zeglNW
zY4Tjn6m`*y)qH1!DbZ?}Lw|RREGz$Bsx2rL{nFLSw=zUcuZZW0j8eXsK~JAuPO%pK
z9Cu@_riF^IQOt5mVRb${;38s{hFhLDIh}%4(TIDZ${v?iQa8%{V8w7$uSk?%|9I~)
zI+JCMPCCX7$>J8XWiPbB#&?OdD%;M~8s;jo{P>Y8kWA;!3wS*!Ni;#kSNy#)O|=Y%
zr^2Kz)2<lz!(y&AC&#KZdsbrxegsKURdAj>p<hwFAin=AKxAR^!3#2OJ-0^3w9%d9
zm?BtBvSqeKe8feT{VUbT^pDIbe4Fg~UYYE*hEr-)<8b3d=}DVPi}{VA>VVg)wZeIY
zqG*Q8;8mulHrYXx0Xa(=jkeZe&xG>&;mS9^&@l!@-cc@Cr_>cEr@8z-r86GZWX~?v
zHAYOHbau(*4W;2|5~+;#g=Hbk3g3B!{%;z}k^-+>wkdpK&!gF{olEYM`;^F@4D?8U
zj{Vs69U4?AjmlssO{(gCgx`b?d!tU-{hCk4Kobljj$H=X0t&o1Yw(qAL0?|$^!f-N
z;1b*c_cr957vf+(A8KqYQp)!zN1VP>gPHZwwismV`~!Nzp$PV)+z)m4RIJ4Fyu+0;
z&nQh!(+Bf3QSQ#7pTG{PgD4YNSak(m1+Q2>u!Os;Dl9CzL3z+4FuSS@Yqg|pt~~a<
zRu0%``)<JsaVcy0rt8_9jP#S0T{KnAnWn!_tu$5SC65njcI7oI;H)VFL<R4;sO$?*
zz=1)SLMkuolWC5%Qn9*wBiJm&aJ5+Nshj90-vdiixa4}E(Z`95mz}yD1(mUuEthcY
zEo?Fe0x@x!Pwfsm+#7o}^RQ=Z#xI+J_yeUgSAjn${Gz#cr+ea<eXn}SN2`5EgM>b%
z>NDlbS|dj;%VmuXv%bLtLD&`81xBJu>)XkX<c%e>>IxW-vIdkgeKfNW@4$o!iDQll
z^|7cosL)mp@6EC*#M*2iRqSdix3q98e`Z)#<E$xZK9P*n8mnSe@dpm)iE^})#c10b
zTnjjCqpb9H6?-`zlX_b}CQ^OYXeqV)Y>QF#+k<3b^MO0=e`8_8SxuT*p_+NICo1QQ
zi2_MWRpE~V=g$;2dp($7!OF|<%i9rtXAPsW8-P(Qo?q}mhMl%-<_l`Eg_f$rw&HEx
zJ3e)p>keJDY+MD<eonVPlwqp%ZR^+*54&ahLx7l&gIw!zd7<YtVsFmP^x~ck={*?X
z6RpJ=bM(<%nT+6?gyR}fxGqxiwofVi7OE_B1f5-A?G?J9PkdvA*{k9Rs5>O-2~d6^
z`%{Jj^1^ny(<iyFEJ)?ht5M(bzAG<jbqlo<^*mpYb*uQn5wt=uD*Xako9Pjs;g`{&
zCutXVK)wzgze@Z<d7&a2dkSE_QdLe;2mJ6+D5+989f;_*;b=&MEMuw|IDA2v5DjrL
z6Awv$Vc-**EbsdwqAK%rXbGSO_gm=`hyBP7Acx_x+%pExWtsy6B+RlnJM&S^tLzHC
zvyeW{l9KSqDrXg<mU}YZ0xZe2ud`FO@R8~>O8H1<X(h0fKZS_13c@TzQ?#t@_F@A<
zS=gYmWIsBR__JP}(fwOx3@?{`X5Jn{nZYpX!TIHrX6j$Sl=y<=%`|<upli6XvC16W
z<?pL*dC|Md61o;FI)SAjZrQ*clpWq-uQ1XFX7;)*udE1QZcf-^+{{j3&`cc|<v5X8
zmN{V0jVOglrX02er?UFbay((yGe+ZcUPQUl#f;9r6Gw)jvFavw1W<jODe8u_kN^dF
z0g@3(6?xQYma(xcPcH0W&!r9Y?Y$qOI1)uoWt1KYG4QV(cocQQ>cLI6J!XW0?pVCG
zsD%3EfmPce$1(kbmJf;fr>Hm`6E%n}k7w02gn7wC_V?QY-vYPkfpv%U$`VPCtE0V$
zMsHw#%xYHowgNS>;IB-fp46z;#9B{`4MZ{(%rd3WGG$RRq^1q;7D1-PFD!h6$XXR&
z^i8LSQ%pL;&JX*TTAa-834Y%+$XlaHt%uH6ltVq)ZBM4QnrJvj-msPv<u+U4jh3Xj
zv2tXC$xs)UixvU&{KJsEleDvkAy=rbA;iZsG5u|T$O|~Q`fJPI5z9jzsO#Z`Kz}N2
zr4L1%$&6~5dgSz`N2ic{<^AI6e6kz;!y_IH1GiEFHP+M9{EA}D&}fohLVIRug~m_s
z8<fC2k!7`Z%GzIu^d=@=S(y|IJgGeJNw1)C7Z!HviedTsTBp%{6nv=yTi;%S%B*Ft
z4a|PgGwmIg5i#{~M8LcVUttpZoAlX4!z{gJtzk?jTw-L856a;22y*5X2jd$X-lJFt
z#WBP4^;7Lz)@%ku3utbCaKxsynA40*QERmk5bi;1wIMtqoT>OCnBn<GbVKDff%Q)0
z<|X%*a_$b5(-lrIOj!f9kS+N~h#|h<{j=uv43H@-_*?5v{58h^x#s=bQ!#fkb#|7q
zbapYd`>*c3YfL{>pa6>K4fUcGs>tM%=$yc2s%ZRAQKffD{L*k@X5%mID8Br-NR|yZ
z^sr9O?A3PwX#GH6&}o5u`cNgE6Y1fcly=6nEE?o!Fo0(4NH;RDh9mFEdN)u1=b(Zr
z*MV*(v*GX03h^4G=@HP12Az7nRx-l^7a}Cu!)(zSQ_V)SZ<K+vtjVk{4jty$YH0$O
zxmX+_bh-CA>$QOQAOFNl=~X<~1r7uh0RsfY{GaiPdKlZdI$OG#idov23K|>#g)D1m
zXK4Okh*Q)yow3z1zi~AeHtx9GwuWjlH@PIW$0KT*!IVsp5855$jkzt4(tkrrt}aA$
z1FY1m)f}g46eJ+qfJ;Kyl3V8%_!x35&C3(_0&YQ>c?NIMZ`aWE(gS`xyStH&wgp#+
z^Lfv>_q;#9_iXom+_?J#-TvH>+at`j><{9oN~O2pNE1LgW#!2cz%gIySLr-ALs@Dn
zr%<9rUt%gs)r3`JrmMWx0miLIR#9EpV;Ph+s507(bOP27F0-S8d?{x;Ok7~!jh?L0
z=u1O-Vd_cjQwOwQEa|@|4Ayvn>#yFz!p>T~lnRWVMHC#KhB+6B&z{P|!=L7&oZ)m^
z=rJ+3o==(F^_X)qe*)VI*D3>KNAp;&D^V-}HHj`&UmBtUN1$vex|=hcJr8sltwbXb
zG^2O$kV8rxI$lZyTt{e>YkXFmPF-4=sXM`(w$i4vwCPX9=b9Hf<YJ$iQCdtzwd_e5
zfT==S=KEYtI%#_62dDm8wQ6anwZ>zE0s`t3#zjW+VsY_9GXVq)nGi<}J2AjxSXrh0
zdPd+SN@XrNE<dx$Mr-3*o*v?3#CcTX9<}M6)A}76#=%eB#_fUZzNh&4f}MftbB={t
zP;iXlY^h|Ob6n)64QSL1&4Ntb?@{~!GgEq%#*PNxt-G^~DxHg4nX<FgffwP{_cYra
zEoX68t?f<I#Y-X#DEOmmE#1Trry?5fn?H|zLn7aVDZyR#XeT36P6Q+1Klh$!2h;~q
zVP`F0S_J}KlTCMt>ch*rSP#?vmWvV^0wS*7tZ?2m9$|PTolDr67xD;nMrk(H@~xyw
zG-swsoej0%*6l?36kCeznagzBY(dcpnSSo13LR27%!2b=QGh4ASLqe#J?pxQS>`3K
z&WBZTJsI}K>RqAFsf(2za=+B}bz5@-B$gYa78U`#KKi5Zw>*F)bMzCJ4+X@xTVh=P
z5oj*I!c=qsu%M&%Xhmhwh8yP%FhuB9r7jE3Dmzpzi?3y}Y>If%8c?QV|04_-{~_=v
zlS>y0)>}oa@)-1%JNX!-NS7xr|KMbGN36Po>?o+5^~>K806JhL!XX&r518=q9oFV{
zK5~erCd-NJq<L4s<8dt0zz&-ay91duf-;xhD0Xmito}h|sQ$SJvL~$l`3q}pqefei
zKBC*rXeQNFON#}{nxpy)>z|t?<CsPp4pB8vUdGFg`vR#0Hztw$@q7uxRBom77Gg2t
z$#%_y<5U%|B1=4VLT*tqqLweOZV_BpE3#KR38b|qL;hMN5&OduP9aL0-(`UTR;oUD
z+BFlAnk#Z)5M|W0x{t?_i+QMPzY~m?(g;qS;5xDAw@s5Rd)g4lTu*U3E{i&iRaZ*J
zKZdAUlTFz)twc0;b0@ZGxfS7Ly=@oL^vN>GZ7tP~sDxibBI%`Ns*Sm7t$xClx*mr3
zf!;%G`z-Shp?e}HN)W;Z;N=oY<SWY}{o!6_*k_*T<TGi<+p~=1k-Y%PKjjjcZG}fT
zU;p}%xdR`J4>we()7kMy4Eo6c`RPs?oI!|@CsICGA0Yq}@hZ9C=X2gr*_bGE!Y*+r
zn*dL1_}NkqmQhr=yl&Wtturib4kR6GvtAhA&g7;I3uaBhH5Q)QtZZGrD(_}pfj1(q
zvg`WHGzyWsx$sl2HW4=RI*0K3!o9XgZ8`*Nf~{oh2WC*@N=f$%6&#(>rHZ}zs_Rx(
z45=~eR$2`CAu9>UNJ%g0A-jV=(?|$aX6;sAt9$BKxynN=OLq=iN(7dh%bz2^T`Kmc
z-66UF8zRX-M2ced068v?O#vo=UaPBd?uxdiFIbUZ)ay3{AIkNVVdq+PE=6Rx1jMQD
zg(RG6-KhpO0#qj?2w3o7^(3d-kjZ@15k-?1>dKX-+NtNtDJjm;+$W2<37UNoes4dJ
zRkGF)0WIEe7)Pi-QJB9W==X>tjiHK&gOCM>Bz<fI-O&(Rba)O2-P0}IbSDT0roj;n
zqVkBWmIn-0&58xNG?wFBAFTUlGezLGxkGsSx@=A!X$>Uhyr4Yzk~-s;oPR8WsOSf(
zutzq2lQ?B9y)>Ni9R{VR#rLowY~G>$C{k;_s4yKzY_JIIC~LGBYxIxr{scbh!55@X
zvCVjR7#AG!3*UPn5ak#E==W=E)$<&2Kkl3l$hLNU=ffYT`yr6Ga{^4SF=cq3f*lXn
zS7#rwK)es+4KF*Rx<2mk*dBSO<Y-%#O_cIWAsUNyikW!7Sa$REIQcq--B?MVT=^78
z*aSvcc_w}oMLga|#D50EoTqV6ufL2+=wC+VzoG5L|CdHU)!EcZ!rs<Y#@^oA)#2Z?
zz4E5qrT_vjG@)B`#}bPG6pEC#!~zn!g)}`%MBtAI2Swn7JCqC)RG5)ioUlkgReGd+
zqQ?gK&(g|^YGjH49s_CSrlLdVnQC|c?@s`79}F7G!$CxJ859`<C1EW=aBy_727gpO
z#4M={W%y48DHGih=!7!TDT#Db3>`K#H1|dBkmacZrwxiLvltmeTkAoCxdn)mhKkKn
z<&~zt;pzAphM3(k<a%nQHDP@meI<rRcs21-#di_lT&jCG<PU9cb8<0v+jXq*1uX2%
zlVJRlwuAI7pWK$yr^&5(v>VrX_GBPTo8>zDT+?XVBJ{(zY9d~uQ%{rL+id*gjeNFR
zrM;{Ud~%!Wd1Z?@*KK=HE2P>zE$a=Y8zAB<GP$fylZ9MLeVH{p2-}1-CgCwoFpGX2
zsz`dd(nW->5voC*k-VooANQlM?y|%xSmGL4WPlpAj&U?!FAepU9kjPYnQF&KZkX2s
z287*zcr?>At$h@sqfi|H#}Zgwb}>M80thg?i{%!9`--x;#=R}vU8=lfYm=+w<2O2^
zarWPIj#%e6Ob_4X<A_i*r`&*&ASaY@+2Sk}YIl`_QFbr1xr$f=+3jxj=HC&*jytn^
zSirRsm$6|`WqeR1<5{+S7(wW6g+oq^*p+gO=i)LI>mc?7e`5VLL=hTfh5}Df=?WCe
zAj27m$YbO4!ASs8+S2OWe7fo{*eyUIuY#-Je9KvUl1kAdh-Ny-I3@`(Y)B!p8KxL%
z>~cI>7fec0L4JY-JGA+gFF%kDo*~wYW0a~BWqt;n@PUa^lXR6WwEUYQyYQXcgb}Ng
zO^bgRV6Zj%{lBSS$o5CkUjOP&x-fu%sQz<C_pd{&{x9*$|E)jyH+`c4;e))2`OQ!B
zessV7%Z9-S3fRMt+7Qe}=wb~VrV(~69V0Pbn9nAlnt35&zPgshGK+4ZRQ9)dW^H_P
z$~Fh&xlGod?NaZX?#<}0-5e5YoIQPijhjEdH=CEfqsX&74-~&zjG`iI+NFoJy5#8U
z(k8c|{wOL^^_O@A1+seq$mn-y-0c+sYF*P&ZQcMlup1RdZKLUt&ZGTK)vc&!igtO?
z7!bd@NL!D*qgTHU9|1ai6-WLVDi4AFAUz+6K)z}tNWMaX5+hDB6`GOaz_>~c%8sqL
zFccY2Kz$?^PvL=Lc9MPE__49mYdd=0?LiV%*Gux2zgGVt6<^S7r3Y}HGQiVEa2Opx
z3Z}1ii;9|ctBR^WxZ3>^TKrmyzN>U=`}&6K`BKdDQET#0jJ}%`-E%VxkMg0g;gqK1
zcQkx`_i9Y<S9nnNk`b8a4S<&XkVfqts5`#HM(rKGQTf30SGW~N1$jvlxPI!s&MBxB
zet+wH!rPc%U34wCe-?1pulq&sqQYMQQRHPqvSvR_+>pQ)FagJ$TK|yFS}vXxDv%%E
z)nuLD&Aqgoajcvpw%%0NX-xpFn+-urM74<&AzEDnO!^2L1e^=!oW5WdM#Nae&gr%m
z4u2L_6socSb2%@_i<j`uGG`nkh6G$CZ01A4fwUS{Bz9|}gOAUC(0~2p*4uPBPt1sQ
zjCrVR;P=^Ylw^DE<rDl-sT&Kn#B!SBrISC=AD-TCn^4}rSP5t!7p68MArTRX$SPgN
zB(z&^$CJnK(M+f^=fHw=OE)(5veCfm+#De+x~s?J78FY~5GEA-J`XmHzMhGkFq}&u
zB!(ZxX(Nixi;~cuae%{}KP7=$TM&))m83?3l^ZO{fvfXXaSP)V<DM)$84Fi&OVCCU
zdLleGD<jk`i*{IGis)T{_4nsXb@5)Us83)l)56E2dkE-jeEYCCx-l_O6^||gEC4@*
z4rt8CS|?E(%lRT^vQH!@N184YnrZa=dUtw~QJ72O)qlH8Ey$b3B#^GypYI#<zP0B}
zyG6Y)YnFt-V*!GvJIRPU@&)8Me#)gN^tUH4BmwH@a|vP#;vlCct+sHn<+b3_i#PU7
zNVvLIe_|&%Qb(CJ<*mr~>#upN1)zSU$ch=*ehxcVjESqygr5mT6g_RKaf-6`mRD*Q
z3&5`KX~7b=YYxh`D-J4djitIaSS{YNf8^v+KhO=1?&5?sb4pH~D4NBF`tRjIeU<F*
zzQ8-iLMP+Ni^2SM*#1^5!}^LUW8sN0N8zbT$TK*RRo{l=Wt`ZW8=_Gxgp8wDj_<>S
zEd%JlqWw`3$sj}7N7Xnx=&@VxDpFJ{nKUf(WI|(oG-QK1Jt_`GKV<V#Og`<T6>iXO
z6Wc_FG>(qIO7p1Hp#r_oiLWy{l-Af9dtn&0H4Y)8%JA$s7j(v*NIl=7TvwwsY9%`f
z@5sDmEG*2djKJC&(Q}3!#MP%%NRTEviFi${P31KuLk}QAvlyU9qcTb$LyIDf)ToRw
zCCU#!&eR~JD_EpcXn%Ni>A8{}sUAyD;7zuwHo>$uN?BTU4mPtgYAHuv+b9?{Dn-R$
zJBwu`6C%J_MvidwVsjXZhFG`&_vi+V9hz<sNN3+S<TV7nP$Rw2x?5<zxm6^#u`JYM
zk%)-Nv`9So5bUhaI+Qa#eYJ?OFthNU{uP5HQ3T2)8$?B7JeaI>xbn<8PZXHhuA)O$
zpTM(FLypkoEl<E`7fdWpG~z&j#0~$A)`~1!J=}7&Pq!VKaLJHVJo&6JLT>3vyRhaO
zsZkdJYeYP$s8bs*o4FRfi84=hd1%J9-!(0w)Mo0$fV&mV^~%d6KOQjO?zxb`Ua6^c
zGVa@8%&4ZIf1;$Nxyz6g)jcJX<<)Wd;`js2Hv{_+7`KLgy30sKzIjwU(O7Kice<5k
zkJAYU5~k#c<zZ!EtgcOTmy+~#g<0uJdn_)eiCgbc37e5dN86vkscm(haEfzI$-PR<
zEk;hAHI+>)s3#{0X|3x<!?z1)N6V|os5mN>RMW0r2PX%t?YF`NW3eXr9#b%N<A&Ak
zu#Jw8M##=TfzjK4lBRO@y)xZ-*MLz5TLVk+T_)kx5oc14y-wUp)|}`ZaX+DS=gtNi
zZzFg5RU#$?D>FGg0GLf2L04PLht=HVC&%mEUFNV=>S=>zXzU|Jzq8E`An|M}^As_*
z!TWw^BrJTaFV4Yvo^r4)a7DHK<Q6D9_d%~2Q_&7=h!U?}>=(j`)b%oi8HK;2p2^sJ
z`Jpl7`j-5GmVFc59i1(-j>*j(z+J<wGB+V?BbjR1_5duy8Am_ns@7Vxxs%{{0Uw9;
zG#c&5Qz3qy@7eJ(<GQ)x@atzafH5av^XlL;h>pcBA?sAg8a*b5aittNuUquqCkT7n
z)66H1d5^Z-oi}ZPs?_`1(oZ-q&%NiaWWSv9-S04Dk$!hH1YKP*$PB~7(Ugu+9b*1n
zTPLLp<K~LB&C4wPqp`?(;rnKvZO?A@9TYC(q~VBzSI<A+5Mi<bP5Xz(-YCJ7@SfEl
zvx4mRg6!^z&wy-S(q{<gC)HwvyQa`f*I>|B6rWT!IRPGnBAf#)Gmx|cuiDHYAl$H5
z8gY!lA)*EjVMo+pUbYC$f>O!k2M54|T!D)PuxSlmFFBZL@2>LO&n{uop1Uu?IQeV&
z0wOS5EFH>zRirL|s3u9yvX&)%D$CP1-WbXktw}P)?aCKap~+GO;bc$BDfxnx*(9(U
zz1}uYB)<;LHLV^qq$n-b-VKhBVd1YkN}Bx(ZLSDY<exHzukpLw0jS9BCQ#Jlma0%y
zW!F29_^YZe_f}e3;_j^ZXfYarWYwcsR|3#abC&9dOmAkmFhcT%#CH8;Tajv80kj-J
z)DCdhtv4gM-v~G1xLskdjGR*bsm8#FJ>$Q4#%3oJlNDxsIYKEKp8AF`j2>PeKg<)Q
zF*$LD9ES=N)VReL6g?<ydHL59kK97Na{44k4wGrc^TTdFN~Oa%W%Qa}s*A|W6xf%}
zs`3N|NzQgQSjs6OSgzx#sK8wcv2<O=**42x;i$I+NDX>%TVj-spB=UKLS6J!<8_nn
z-CGGde>*o;4Lm`Q9hA~UJ+bK3)Hpy{zgR!DyaZC}a0N_4tv?>sS4}q_ws~i6qv(=9
z?r6reP*zJD`a)qVt+ik3sf3o+Tb5e_XU!^#Rn^gk&^{XkfWFn<@&wihlg4}|wL1aN
za;B-3`U0!xw3tp8*wdAz!L5T8Ib4(5#LxX$GQd|h=TADbQoH$~JqYA@dg~6IJE{vC
z^z761D?2rx6V{v1KZW94{kE`7p>}Tt$aoswaulH<96(DtK>!PIEuQPB0ywH{Ot^7k
z*%|BE!?P+*<I48@L2-Mk9yhp3#IW}AM6u%Aq?)8Ydd}W7&3kNwc*r4sHnk{vHU;In
zB6lFAE(*KhzAiJq(&EDQp)S)*xq@q%YBZf%OqqHl<Ki1burZTrW-N1O%5rB+DgnWw
zEQpYF;l?G#*5K9)Ohf94o=amK1Y@K=OXgmvwFo?=T%z)LUDT-ELxs|Nt%f1}u_Z|1
zvE1|kf3#VJ2>^}ik9djK{TVG)RL2vt?Orq@>1+2?T(2(Xfb_`}C*|a{T_`0<W5OtV
zx~SCo6W3LW08J@6gnQBGuL4Fz*6`OBHKi5sJJjNRD2|(|r5kWvLxbKs|39n1w*!om
z%D;*8=3gWF&k3~Te~AbGl{kz3?fDKcz=VEJou8l}c0uVq8uee+Qo(=<&U<f9tWjK-
zFTUE~`2gWdU8$H6km%o?&fdHF18L;n6kHM#yhPL{FYyq{lxAh?b1D~_gz2LAQ7+o#
zNFvU}1{=6Wi7J|D<?uex+&m5s749H|&)=D|*1<y>+bX4E<x2EZ4MquJtXTXUjO#w4
zGTl_BJ4j@Bi_4V91@0HbJwnoQplzdFZZTeL>IV6S{U=iHO>!Q82p}MKg#R9?owJLf
zjm>|FBy-eX-LchCzj9d@DDK)Fx5z|g7qBkK8kMv)GlMyxC9jh+C*-U~86`nnXk?2c
zMwyLRCX`YelT%v|S`QlQ3@KS?8xC0JfJ1;w1fWgB^k30AAhh<pnG<OyBPDM+d+c|-
zpSK@7pLu!TZ^&~&>k<8Rg`8v(B_(MjOGz3?9gWt410&f-5kjg8F@#~jH~~lMl#z!{
zJcR0UQchBd-hZin7|$-&(6;?+#Vu;}9YXaT%;C<X1ou$~{2gNTKlZ~Q9(5)jdD%U^
zsQ7&l+5kcxit(_bmv9|E+(B_b0|p;m$}s>^lCR>RfPxQo*aZb%9B_{D8-UpX(4@R}
zX5_l{MAcUSh@$EvS@73t>!v2n*9@BNvn?`#)=J?o#$8e_N{+v}1*nZDu}1CuI)~EH
z&FMH18E3}zo@%iQvl*0*iGjJBV;WC&yecxQJ-SGg&*#2w?@*apZc0ty+P?@1{HqxW
zYUs^PIX#TA61#sJnbsDQRtClmV3KZgu25uJ<HQU1@N8OZ(KAqGrVVnNU!;}3yJoOm
z+$43-H)0%l6|`Whdh=SBqiz2Ep8sp%#su@R#Bz}>R9YE1)LS4g-t$aivKePdS9yjy
zD)K=I2zVpkRyn8yJqldCR(~j?7WP5AfPt)%cYZs4H=SLz+>}2#MbeJ36SNi*1Jjq9
z^$hc2z;T>ztfh<0*kN}k3A0FHT+2qvog9`OVc85@td(OgyPj5j_HNIxu&f-P6&!26
z$WxBc7KfdND7vS4l~OKAUF(J`mb~7`Peu;4((&AeqtUo0sgt76c4?70N!Y8Of8b3O
zV2Y}*2vALhk*#}GQ~|Jh>BA=H)%zlkMn|)ljF)FLxz-&io#%$YxSAn+WF%f<wWeK|
zpOq|-sSS(eBxW%NhFhitKT5F~8P(-9WD_MYnRs}TR~<x$)*WJFx$U!Ju^C5&)+Bae
zZL&NVc821vRT#4ONNPS-viLyPA-A_82DGKhP+PZS;q|w%`ar}X0d>z5hc-F&V8>Z{
z;Os6t$R%QSsEv4{Heu22K?XS33%c{dq8~p!-}+kBlx7WZmkg1s@|5gDycC4u?^~ks
zuiPT@6z%`53q$h`HO&MD>2Gls^Y_z~X6hIOvtck&_azC3h(Rvf%P9V=dg%QnCH;bS
znLM%dhHhB?R*eMy$UI0ApK{|9ZX2<ynvFM%&^e$=Wv31Z-N5sR!t`8j_+a0Pzn{oI
zGzayIA%mDSs?ew@ChVrV`z}P2^kpSW?CZ^E!f2@d47*i%?;n>u-L^|&h)bDj3%va@
zAZ@HSPBPib!Ey+b<8do#%{|^-&!vAUrQ93(PFPeYbg0poZdSkKiX`Q>8B_oZ;YEAN
z)sr|F7i!Mh+T_-lIp#;g@9MOshik%I=}2)u%b?&^9bvw^($DstWkf3;(Kh5hi@Zg?
z`y;cT7_~G;)OYNZP4uvzWZEo6ysnD7A5LSAOPygmuh_+}u*n-QZ<MlIZ;T&*)Xzu@
zmnhPvhQ5%7Fpi`SUeVa6t_3-h*(a0Tv^yn1R3UEqMZ9H2S+HoocNGv8-zyVeM<R8L
zT>S`xPXafP98;OzdFY+C<LJ6Ajm&IW&`mhA^9!l;?B=k^HgTnD<yV1i7sZ-$CIz2+
zYf01G6%<|4?{S?C;QUavU8k|_xM#AdfapI)u~qFyt1x)~{)D<0oi8AqSa5cIY<!Fi
zqR7&jV-AZ!c7n|DA-6xEzC;t**gTencG%Lw^xS<TuG8^9s=18oN__<(8v5Q|8(eI=
zv*y>zchX7HVFyX*@&u<H&&3Q*bTkE*V#3Q6<iL!ZB1q(ce`IuO&Cg>QxbO3ViMRTC
z#=085j<@IEkv}SYP{1&x)a~*>oEIK<wxBc~7afAj5w~VooUpiTk1UQZIel$Buqux>
zUDW8VjgGaf-V2P6>K|EdYCo}YXgoA5pTMLj$jPQ|(%|c|!b*y|&{SMpEE`H;s>MxP
zFb70JS&L`G@S5s~molk=XH^xyv^)K%5)P*hXuce+GMhdK<?~NVbJOR*>-nV)C1YIn
z;gzyCNVI`&so+GMGDQ49T3=d7ftMk=`jYX@qndz2cUa2QB;@;Xda^MgCY{gb2=4wI
zf-OQ$$yBcZb)$hUBb;(ReUGw&dzpZyXlNfph*!ITcyNLx#yf`!KT9Oqa5;Lo--J-8
zA05v46|C$dv!-$WEg*}KwHZFmg6J7+F@+T2X#`+NctL3Jh?VdO)$qy1c*U0Q3I5T5
z<vpymMV8pE`)~-y82Fi-jdqBE1aG9l6X|>47#&{5NR>PI0{{&7w#GeyUs^_a31_5V
zQ0%(&JLK$x+dYgSnt^mH#COP3<DfopKG*})JyCuyoFf7;8mUfGvG2zQZlUaVAI35D
zQY*~i5%l3BYBq#-SotM`x}DGiX|d|oa;tV1jC?uA9aCzRM^GgD7xL$*O4qqQO#ilt
zs)vUC?%+ZC&qxr;+OYvhW?SqTIwj5h$YoZ>V$3{#=t2BAqSKpW!-JNO$OLQRkKS+K
ze}?aS(?=V+zkk%3Py+!G{5Ofpzry#w`+J%Y1}ew6-`~!My0H*K1bvM1CMHO1NGPy`
z5-gx3Fd(Wvl6r|j*nmH{Bvw@|8r8Zhs`FeI1A?k5NDRO$0oa>XX)RjjHJvTBk)^%g
z&wuFBju7JGZ{By<zr20*bKl+qctu!ZdT*7e<C4viS&B+9iKo|WSo|zwQ)eCZCQgl6
z@NNkF_6g}dJp-#{lg$#-?m6@`f$7nm64Gjqj4a8lbq-1hc|@P&mpwAW%Dg?nXO}!u
z)5LCV=<z3=O-fZVJFxIiOB#Hl)8bA&^{5V!kM2b*CyFz6<0d@=Mo{te$^nv%#tCU;
zjwMrhSNqDvbx2O=lUgllp#UU!`joFF8@&-$J-r#~E{vKbkCZes5cCzfq*AraWnjY?
zftT1Y`LqmX7QHG!1|A!a4mt9p9#;Z(F=O}Em@F2%HBS6K7rpA87d`Dk{s<vGE!tTW
z$JKtgPqPHG{$W#>%AjJ5v7Q!T_i>4;PjuMff_=PMPa3;ZRoEtvPb-4A99!PxE^2De
z>Hd8&zdprl&j`B5creENM?Sv&0d&c0!AMqjbF8|wbAruB!U($chcUgViG8|15riL=
z&ezl=|EcuRJrd@p5Q<a8NE#Djk{%{p*8E*QVpIkr*=}HDh$(etYMrivW|NQR@dxT8
zb(%_@u2!oLqO#mFmvN9H63c)rDXSU_f?ek1QZElutfttSmL=$6X&Ak+69loWtXZ<9
zi7Ls4$^r^2R-oDVNcsGNk(hMl5|Nx277_MffB1YK3)$kx1XzS?|ALXmv?&3j3OdTz
zArr1fW)DP|SbEK4zXwfyzYfOFOw-3lGn&@5pV*PDi82UOa9%)rTccnDKdkW<|6YuJ
ztL)BB7LE7nOq`R%uw;vhssZ(yxbVvv^T*(5q96%g#O({=;78ny=gpZQb6e%n>7wlY
z1m({w;<AHG=%7Yui`mgQ)s5a1&5Uy>aad{uNV!?|)Vv6kh#BEj7mKSIcktLK99BSY
z7Ws5^yVQk(r9aqS>Mc{MHPj+#JI=MOGGi>6&6kISWr6|+-U6FNW9Ua+RBtRxF~gGY
zUiiv>X(CTS1J9!<Zu4A1y<P}J`3R@hBR7f04zu(CTlE|H^85spBJ$AHktcu1>>OIK
zX=iZ!+Lf|sR1BDf>L(T3+%z`x<-w}okU|?oGYp3YmNlD7Oo}Od*g}b&aFE^t)>-^%
zm_i8duG`h1D8p+#?c<@Xi`{Im0j|szzk$L4dn3H;<0^%sYmE7LiH=P>F@r#lu*uq^
zbf|CT0#V2TOjcbx-aIh?OFeCo-$1LIKS_j$v5~ANbVeP-_ryxG4TP57@E82>N>vjf
z0@y6bHL?bLstQ;#L+H~(RBLLn{fqZCZ!LMN=a`uK{tI~4M{rsyd)DKnap7Qwr!OQQ
ziLiqKt%)^sBiltyJE96&0&dh$(PL@jyPuhLl%{<Ktkp1bvn>49D|41CSDPF$7B0NG
z)}pq{Og`p_keWf4SR9DHY(Axp2B3Uh9kILr2@yty*h~wxrk-Egq+=;M6u2RMji;-Y
zy*VY2HI<2cYSYYwjfOb}oZDxlI#gmyYQ0*hn*j+HGqr?`Bj~65uSKP>xg4_9lKF7Z
zgI9pST<8$3OwhYsJZe*zG>zoz`BpMzIdY0&e)Nbo!S@5L9=91yWH3-!@24UjWJojv
zj?!p^1j~MCrQTX$WgtQ#?;Xz&Zg>q;aKaLU+tKk~(keltg|NO6dn%u@pFLC1ZLNIx
zfNK30h>zz*R=?F!@Ho6)5~EcgB8yktI4XP|?k|=RGnXcp>-MR7R9k6E2}pc#X@o^8
z6VX7N=A=l%17%49>4g(gIjHhqDA0oozf^+{37JvPa3g8VgDBU<xVbSo!XAffDVAQW
zk~t|XS$f0{_4`{diD_*u31cjs^hOlYG9)(f2>HVrIm8uA&RLVAN98k^LMo_?!DUJ(
ziQ%*~Ym|#KsHU6kRFuI~PfW5zQW$+pt%^zVErHM4i6N5pgh>r$`B|!kL-R?hF@dXI
zBn)c)@bM_a<#}O*#j$*twaDF!FiF=>@fx|7amynuT@jzC!L62;+jIZQU1Qg5J%6CN
zUOg9nlPKeDRxk5k*yQ4siaUSs{Vh;-f98|3Q6XG5?L&)zuh>r&R=apE^j09ppD&B0
zUw04tVVz@tl*Q7c$!9nJs<u;kZ`*|$@v$cplSkEOxB3d#gG^KG{PVO{Q$;O06Cx#G
zX7h#J;qC#}vImNw8Gkuw#vQQDwL7@!+LLx8Ts*E5XyMa4!`-fX3b#{nPv<9)DVKwf
z0$01>$=)3yGw<u6$zua1WJXoUoa32jG?u5Q^g=EhE_=r=GL_Dc)9_JlMoWzFguTyZ
z6GcQWPSP&>q)vj=yc_v~jkx-0M(yNTKh4kDQfJFlnPB%JeX(Mwb;{eN4*C>7(|epF
zQ-+@$4*CZ}LFA*rUOZq1{+^giSA6cK=p%jRodDHN4NNm%Z`jzscs?&8R15^lio;9D
zL#Q2%Ez?nc%;KIM8(YRd$1?OY711i8_|GmzeI~j5&#E^*tUK-L(2$V_`3a3~`MWj|
zVh)RzSHg3)ep78N$AJYh@|FHpeJcZh0`Ps25OIo9!Pu7=3JGZu=CyF4G>$*^(PBb=
zgZ83_j0tJF=CWubALpzU_$BHU{z5iF9GGaIN*oi3yg7*;zJ;JPs*%7L{uz~rZ!~8g
z?HY&3T>RtmmLJVCv*8DM$Da~A+lEavSgac)ZWkXo-4*vYFV9@xf?~76<`1D7jcs%Y
zavu5Vv(OSN5Y&NQ>AH={?#t|9L=-AGP3AL8uW>#}0<TFk{wKZpYV)skM$y8|tLE)5
z=3})_nKSfvyPzx53m@GO`W0`or)jTbCO!#;9(~l~w!D`NIp2hvBR<ZQsnLYILPCLn
zz&i<^wR|1)M@k(c&HOj*-_$Dp#w1!7X%2wOk-GB_F8*MiE*1+cMn<CEt@Ppje8qO<
zd_~MPF=CsDs^JFlXzG19YO4KXEfO})XeGH*_7~Zh-G$e@kJg#*1NZvY`Pw%ZzqH-O
zSKlunQHv2S@iO@r;Uz9Ef0D{?_HXivc)rK<8GPY@4}HdH#ctQuV(|ht9^Rc&`iS3r
zh}XWAMfE02YFz#!s}~=f_Tqay9)03~tZYPou@d&{G5aM+5Cth2<-eo$)lzI(F93VK
z`Hw)N-*M&-@t#_Y6D%ak5o<xekEiFy#NG$O2XrfsyC$U0$#G8>!J*W)g1nvh8R&bT
zH%D&uvKI89Lyt^-@Ne;@{>WIz9nqd@^F|*%5NYcgD_yyw_v>9rcPH4qt)QyQSKzWa
zXGjaSCA4d#n066SS_@)@G9L7prX&Y(Fb3n*vAXF&1bz199}wuk!<CtN;EeGPRmC8;
zt`a=8nECmUmPfU*V5F)jrq|2PY{%b%n(Os+ZNgk&QY~+q@>4gKzeAF<*D)1cw>w^1
zHfE;CLenK==$MF~q&#ouc|B5caj0jsdRI#%!qFmB{cO=_H~EdNs->Ww$Je*=kYXct
z=gf>q6j#*Hw|-DQCyKwLoavNhPS`r?B`8^#RMp{2+=km$O@{_KLaVG(U~XkA%=_cU
zg+R2Vmxcz6bsPPlAG4G&_AjG7(V4Q2r2y4}8cmO?+;luIZllOse)Q})eU2VZE0O9+
z&~NeUPb}wyH<khnsQj@Q2a?#2|BJD&0FI+gvJ_fuF*7qWGc&VfF|%4s7BiD&F*B<z
zw3wMJW@ctO&Ccx3%)fIN7ts~n5!KNZU0>FhnJ+Wn!)pA2laaPXE*!#>?xH5mq94De
zNV6<K`i*#;6q@!#F)FurMnq`xU~uaP<4K@{<Ach!m6SREHm3UV+d(sF{SSc}DU@Ig
zO2dsv#M$&DM%mv%>-~Gk#51O00YwqUsaD%Y-8nxSsd>Lk2dB7KqqCO@mKD;Esh{hA
zcF{hDS{LC;K4(XBu_Y6mpCk?hH7gW(8AUCXPdrxcj>=+MPeNrCWW+3POU+e6XAnck
zq}z7ZE?JWccpuax6Ivssy+Q1Mt@@SY;Jfx^>R`N>ENg*aQWdI!P1Bc&M8(-oteySH
z(z?ip#5o~uBF`n_sO@ni|3W!duY`Fbp{?oIiB^NZdgu_!<ifla`Yi4eAV9=59mjZ>
zdm5;4{b&CcS4`10{&&zbCfYesRjwse3tXi8RKOW*Z@;BvJnk7+=ItyJ&lk4n5@t5g
zf{0s_O0-3$Bg$J<5_Xgft(f3)I(C#+y!1EhH#}C6afR!|P(K4BUi>Dk@vh^*7b}o2
zK{8na7QB1Ot%bOH#{)k8Ic-Uya~O}S0-DN3PEdQm*{LwgMgES%F{n7m06hquC@V7g
zFMFzJSy8sO)I0~%<hO82yZPL%)cRkj3^Ih%M1OzHq|c>2q;cdx@v+aVsI$R~$+uy0
zo~?0Qj!0VAhOaK=5cFZ#Z`W#JvUpUurav!4ZVJI?t6ydw<+dc^Kcoii@ibJIDEA9!
z^2TKBjR6c6?vxWI_l6*o3VykDD9<UF$aL>5E`PmFvyRoy){C3$IFQI-32*f|*PFb(
zI4dlWZSY+>W1H{<zq_#lFKL`*uJFl_i!p2(?$vF(e`$2fAToBMs-r6uwp4^#vY1kC
z#3**6P_vxUDld>$LlkD8s+)swf;c48ksP(;cZ0Y>&u^d-u}kNT%a;j``KF|>0YYpx
zJIt2kC(oHEnXV9VC(;Td5@@qIH|`1-?1E;Ot7}DjIGl&I7K*CS1wC`-3f0GhsCCgd
z6yrx=SFj-@?+&WK+|pV*UNyajvsN(e7ISVEb54qL!;a7+RPgcyB0pz2h&k68rm$Q_
zYGk4ao~~s909D&6XIK|U#XiPcmrk;Fxz22(?);;y){wM`6yjZ{6YS{hYuwWOP;Y`M
zKan3i&OK{uPr9s8yYz)u5DLScA*GkI&9{JuJk#1two-z(juDO$bDF^mr01xwvKoSt
z713CtFJ4|7%CcReZSeM+6XKbC?IVOKm6#gZMZtAo{#P1m07le?TuVlAZ((uu$d6)b
z1y~#Ftn_pP)f1ZPGQdk_k9OIKK?X4f_iRg&xt-#Vajv32Z~=~}cR?y)MA?r>vaumG
zna~c}LYg#R4?v&la$krYcX}qcZ*_Szo%9p7TLTF+lw~Ehg|)43!>=3L)bw^3L7B2T
zC6DSL{6B;lV|D*XH*8@I$`qzIgcKLhRxzxzjvl4&jfB{&Nxg6DEi|h9np{(G`4w-l
z>vEC5Q*Sv>fw{V!l5bxXqYUyZptmBg$%YECv;^b~FIq7`nzBHgK<|KJ?@F{Z{(gEV
z*PSbKAI7YQH1CX(*%`)(+F%p~=N=^Eke#+j(|ccd40@7ucshi_Y`u-$E0Q>WItP4n
zmZp?HXv4y)6TiIykBAia=H*-Tpab#2y#kJgZaQmCkb>6Oe3q+ml{aU~Jdg9f=s5SD
z5{qj`ZgCLJsbwqD^k?P93XcA?P`oKiO`CRu(tU~=Uya<!g1JvuzdYhKbuQKGewryK
zwPEfaET^P6OF=(`ihRpV`%VMLI!Hg(NYJ~v9)}`5POAzqL(|1WUjoe1i0aR?DPcdm
z#n&F=#t%B%q{lP|AkUY+v*;u+wa>GmozWwGR3R<dNg4ez8O&nCuggQ5HWKLj6?ra!
zw;U@4V9XzT<N5$0YTEIE3Va3+0HSVrW6mu_T)q<dx%Fn>)AR$oq%^ywa|$+u^DRgc
z-m>38Y{%I$vcsgk0<5q*g#3deWslIFQQxp}TClu7MEv_#(XDUuS+0Dkn=T4Eshbcb
z0=%SucrYBkc#rha4(%L)87Qi3Ja&o}q_KO67x-J=(oBQm1hp^>PapjZ-?zD49>(dY
z-UC0yy)`HK$+;uTXC*d)&1-em;cCu{tscS+I8)03u(o8b;H{{vXBG_kV!1s+_q|Y6
zdgP!CDB+3(B4mA;(j8F^F-0V9|B4A)zl$LF9YDE=8I_}7+HT9z8rmQ0Sr8Rp63d{(
zq0Q!n6I~yanYa_rjlaUd-3ML=u;!F@3-E+Z^v4O$`5wg&r++Fr<nxvL2s`5o0(1mx
zfIXPoThuxzD)^>rq6;1uYr=Zb0~&aPs#m)F1uZ``_}lOmI>OW;IKdlafa&lC8A{8u
zG!dpnYh#k!@JtL4l2ba=G8G=Vi>NEy`o#8^c4tT^jEnd+GKBXTS|BIihO|+$N+EDi
z2dc?+N}Ed8N8v~0^C~_X>aTjBivLPCT@KLQW??UojUkDE{o3>19xADXbWcK9Kbdac
z+i3Uaw8NLPpWfv6n03!62!(0LS%%*o4MHvr3U-bFVn@F~j_kU;psZf?g}k6zeGzK~
zgycSu;su1>ZW2(gS%ysbvLrqvngLsLTF>e4aPo*^_AkK#kP<^Q<h!y*4PqE=$pV@K
z41na0NjS;Zz;`GHF~~1ghSNeZzvm9SKxw8AD;P3lbTWKLVT;+HGve3Ue&?Q6GFYyp
zEC<GcTbIG%xZLr;pbb|li)vpJqz~aN7%Pmq_7G9Z)ExI1C+jseWG+kv<QuCy+AS{M
z3BWs(_9V?`-JSZpGcPL=uT3gly&<Y!q{WYaPi6+QltDq|f(t>YNB~Dk@)6KL=lGg_
z%;Z)s=ahC$zw0FS^72)Q!5x)<s+YlyGQ7HrI-yZRDV*>8h{0|RwqHs-aAO@TVv)@9
zRGLb3$5vgX@R};XyT!1_Np@<KA+2w7EEnJ%gn$zUIM3OteYyOKxLJS_CX4!gq$;v@
ztmI5+SHWoy*aDXMosS9??*K>|oYWhHYHR>|B*k?rG}bJ|1+)k@O|#ENBSR!w5|4&*
z21a2aA}S*b=x?|1u@&$%uoOI*0}Qf?73xxq`1q2TxL8kvpuuCeliv6OCp21!;kp;z
z-N`X$7$ZIq{~c?*?Buz3_-u`3`((8u{LfgUoP)*x%!Gs_**MI6LmT`+OjEZviQW=g
zq;R3Z)aPuEVrC|jmAXu<{Z{WjIg(V}&{&BUW7w~lCt<M-Cm29D;*qU_9m_5|JA2?f
z@!`&JbRj6{4{Di<EeZe2xH)izSxqUXAheauy|9IL90;b~9UG`0dN{m@!~o9wP0Pbv
zEA%CkScSXv{&2SbC6IWHneNJ(j|*)=K#=Xow8g|`_0(xF-ur`Tn*f_M)OgU%Ro&fV
z1ML_p3^A-nnHN|MS2B#mVV6a$d4zZKpvT@)RH47XOxHpEeMBf)Lhk|E<tuzy^=Okj
z<I@x+gOpRnWG!pO0?)RBW@dCqQG_{Qe>>!WUet_a`7oH65N&V@dd~J2xOxF;8gKni
zI}(pFbebw5hvMlK<8b%0x`GIPQH+%ITWj3`vIG&*2#7@3b8;s_L^M9RZDeO@v`eiF
z${9X#g>MVksS}Sih;bnjFx7g=D0_MdCh1ofet0d$LYVjI`OZl)@VdUDq)t{$frzE?
zr;vke<9Vw;FoL|6eD=}Y886=T<ouS8T{Nj?H;};DGuF+P6rNS{8x@QaY%|=vp{K$7
zYy`Wk`!Aq<^Yo!*O)-%vywQ;>6J-dn9S%H`bTBS8R8j^a(06^teGOUlUqYuS`#MSV
z1jWT*!z_ZMl$7%Co}(STXflhF)KSK~mF4zzyV!H4ZeV`E5Hk~tZTu0)F-eZ7lP1<>
zjUG!*$itJdh;AIzy1}NH$Io+c>yeU{usTD7yGe#sE-%!0plXs{OisL`c5aGAU<{+H
zo~3z>%e)%e+dPgeQQB{zadM|BL{?g(uzxjNOXXbo>Hn9RreG^Uka|!M5Djn;5U&4h
zt4c<$mclMBW_HH5X3k`C4kkvnVxMDN&Q`_%S1X5q^uwm8=*r>>qrFd<ugy2lH{WTT
zk?Rm{Ypjv@szNA35HE^EAqt>T3?otMyZ4$FJl3GWix9qozEd6jU``%@?GDT0{&m3;
z*5Uu?3-t|^aF8i5goKYS<FJZ*{poSDK<*N^JSnG?!zh0l<$y#(+b0*LW!~Y8R{ru@
zbzb{PPOI9y6`Qlkl8oi|RQ_5j&pXBS?3#jP_B=`%_JLi6+8%H4+Q{XV@N~EBUHay^
z8G>|rWw{ywVA5LU0|}lic)pS$(IhWr_(gmHi(GDLU0`LQ{Li?0DoS84TZ$JWGTk_-
zVW^JoQ(W){28Y?Z!*F$pnznCi8_DFAhWx<rLuJLuH8Tv97zaFq5b_Qv7#$>5uO$d!
zfj}zEPsWEK`^prt!tqC&D)JNVJSFA|Iz*FRln-oz4_3(F0dUDYW{6~&f&8;eimS*;
zm<hk0@1qZ{w`EX~_FG~${Al@i1gkdHyy=a2<`T@RQOcc{I50AL)U3EB%>9J6rj2;G
z*nk4|przj$W1Ls~C~LWncWJ8);&w1WgWm;+jn1`eU(kG>;1|2w`8R5HFIOUXFP_M6
zq5gf(Qpp8EVt%$a7=3csQ2c+`!QZPSDH>LyxC`j~;E599peER-0mLcH^1%?LZn(eL
zBXog_GDyv~)NUv&xpi2&(aF<8q32d7g)fN=R?Cg@53ZDUBrSO{oe!J<UU&2OfN+W@
zri-<Q{omdb`s-Ow2mb3Gs9oBtF^*ae-Pq~KdV?|0MeXpoELt?M_4>*EvoxpBBwA@%
ziBbw!W<MMxa<@}$9Y$)4wo#GsdMQaCliPWN6vM85Knp}oieJJDFwS7A`6%zNAZPY9
zu<(^^%hLSD8_*;P->NY3kx%Yq=;iF2;uL?@z}iTCdSd#GI^a(FNbs9+lQH-zh{+&1
ziLvxCFOra&i$`B;_9n@ExNdyD-UNdVQfIjy-kYQ*O-4exJ0i-(BxzQaHtI&zg*MHc
zRh9Mz&gJMw6m0(N!rf0Vni}1fIX(of7G+2~RLF|m!_<btgVE5y`%#yMI5~N`IfbSJ
zTmGM%7_y<hWwpdO+1L&7UW;S6Y{*_yjdBNpf%}h}iGf{W#IjAKv&Cj($($Mp-ol3C
zxPgqjX|5~DO`X_|f8^`Wa~Kv|lA%&s%})CBjY=3!CZ4f6mUD~ca|^ECrUKo_EVy2F
z>QEd^PnaEwe=UsZE&UO9cfGVzhFV8)j96MWpoPWBu!1fnYA;WV#?}YJo|vhm1TKew
zt<`p<&@eV%7txw4ciX;JEqP=5aSXNV0B_Q6XL!g5rjpKW0%k59S3;F(j<`)`#<0mH
zg>y>OSpJLvk8F!rybV<an_Ks!037=Gnz>Vh)%+SI91GF;ggHvXAw)gx1vP6!hvL7K
zJQC7vRu-vN*@`*vdudt{5Vh>P(7s4Xvqt+ddl;QQWYxh_HgTm1kinvCiSrs(oao!(
zFxI1}wHFeJwC#-j{F(ILYogYP3M$QtIDt8GpF#Yy^20ZUorIDtdRrKQ@Usy?@DJ1X
z97_){MQg235S^{qv*SVM&!uX6r4fR*!EF%Tz^J)^%_5E;1&`n$BUW;9sNsk;TIbBA
zO@d!g8hWPh1AvjkK>11+fi-<ke^O2$ciSDuFHVq20_Qzk(CU#Di0<0j$6?99Zofa1
zYO)(VUy;ug*$G|HNyGJr=mXa4xXs0El$kS{pV6BVcF%{y96fW9XO!Jsr@tQc2G(56
zwo@XGx;-{Bl;+&>@u!C#dUI@$opLYkqS5=C-{6Usc@*w&1~9VI<}r-y8=6Bs3Hi-|
zNo94qc4SHwuErL|aNjyZa9<@aYn#`amdm}}_)Cc22XA{nA08o}R>9!c#!jbSr#w3d
zHgCE0Q$_w@W_7ut8`FCa6>>U1R2T2IZof~gc1<O^$1INV#lH9KF#V~uxVZR;LAv*Y
zY3#^TcD(*zBdbv@TtnQzY02bXy%FWr(eeshm;<{KwzA1{X0G66!;Ch>$CSvcjKhd5
z>By?~Xf-lNiD~urwJ=&^SWV<O<XIk3<R7+(8DFw7t_O90-cX^bIlrITxpFnpJ9_m)
z$5KqY^EnFOud$VcsyVG$tx7bp^$>2i#Z0HMI6)$j<?8n@YItR|k>Dig;--2e(v%N(
zdCTKJfgrpW9x*zvqj&ZRuXu3L;DSO`r>bc!$K;aW0{4a9H1G*d+^60uz}lhvGT;l2
zsH*BpYD|>igD(%DJu8HK{{|`50Qpv3w37{VkS5C`C!=6GT6twmP@DLLIt-gp0d0yR
zst#d+(mPBeasbY&l(whd9GQwQmRe!CCsUD2zdVu0+m#ncs_vSJcz#T<R)V`$av~#o
zCz^+kr>o!!)h4R$YQM00Bphy%Sq;ApP3i?Eok-9_5vsqy;8|!>y*7Z>+pDwHc__Z0
zA5mhja)Q_E42B^nbbyrs6MBstN+iW==aH-up7F}{)J^4#zR4F))VmMcTFxb)`p`!z
zc$%;w5Z}crx2m0{+tZ-D!?Ag-q-QlEpC9TS@6^IR%sC|KA9Ap}D|Oq4znVn+?O_aQ
z+RM$+nOjJrL;V&2ujY8+W)4-icSvns{!wl7gr@pVuv{@{AHBn+bL0Y*w5GT_+lS#t
znEOF|yUijX@v1Rk@%4t!JL4J*L*GHd`c$%Zx86V68G58VGEUW`W#E}dQRWChQBXpQ
z<x%=T4w1AnyuS{+-gdT*v4sZU_fFRSNg)$Dodam;Yj0q0RM2ypR<qXY-x0fZ`Uv58
zcNu03iF<)pj2tHzIQl&nUueE5Lf9P!40{GsRCn~pf8*l+;tM|`7(?JTRYLVvYEe-#
zkPAiY5s4-2D(p@xy|ahHFwT&MLG>Y_)?YrgbrGd_;F*!oB~MXs1^dNNjOz*~1DG@&
z+;$w_hAh7hs>;z$zjQN7!_(vJY(v}RO}*~^0CF`5^9&))H>_4w8-C0G%e!8}2StKj
zd3R>L|6yU3WSn_VrTEppUT!J${V%Td?1g}G^K(kB_LKRS=|8(xRnO0{c)QOb`A>pe
zS1U6YDI@z&cHMt++^VW-qP=rSa}nc-3C(G#MQZfW*I`zWOX;FpQ$fg3g?B89a#2Y3
zavu#x2szyQ)hK37EQb9CoXVB3-jjbdD;97o798ej+7O5!hMDI1QTe&qZ5Vi;IaGBd
zc7D9=D1s<%>42=ID_uH+Af!WoLs5m@27N4a<^h3Zb-s$s9H)_@N>{zK2BA;CG%<*U
zQ^`y+W(Gk&Ab)K#Z;$27xT0W?x=Q6UokpY&ASWx*N)<_)iW-+9uIf^9l+NX^OHarB
z*~-Mq%P-2zLBK1yw@ZE&i7{+xPLt?p+bbsysiUB4J~1t4VKBN2_&$K#%a*AOs#xk^
z(B-|XQw#*mFx`3hnMwaTXe^3m$kLXkXRTQZ)k{k@ptReC_(Dm~i!Qyi>?{#ixvaxc
zv69f|H8HJeZW{$RIOSr&o@D-$*tO8L<PVJ_lN$U&Ey<3AMBF`kn&;q<SaBoW!xKW%
z!c-Ib_iyMN=H@pF(_-o0zGazt+j`m3ms#NVvRK{d{aHAYYEXSbUvn+z&M;^#q{Pq1
ziS7k!qnU`~Zmr@@h4+&L;x+JPL>|{dX2^yEB<Mfyumq8=)5#k8K0QbNj8gxD*S)~O
zU^#xQt>U%Yc&VIE&vas1OYdF5W_=*MZ0daZxBe<6)m&<$Lb>tb6+X+;Ef~+;AaEF3
z2g<w8ItC(DRPAc{Hd8i|<qFS1Wvc8AU1)g^*wLzb9K&~h#7}0@D?4-!XBxbtwgLrx
z=+hNg9}Wkefk*?RRaNf_RZr4}$`!D%0o#@OHqF`ArL4L}v*p%bi7UPdb(v}jgXq*6
z>Xk<NUv6U~-LJ9(AJlyUDt7hz!-mQqp$QwjoXrAzU<H(~s0CE7xPL2Mk^fe?V*hP)
zuI3YU0r5=uwgz)rS>^giOkDzUP6p>9Y41E;cIA(C8LF*6rY)(&5qE7&rUk5xjU*65
zI-zTwUUjc61=^6sWY1JFk&`(BAJ&es?6+OHia<X5<BW?R*7}8(I653{BfgZFe-<>w
z$<+41#?X1<6u#%%$e@UNW26n{4(G`3S#_W$8!ma(-u5%jw81QXc>x_~WmXgO^?cp%
zih_N&<BV<Corh@#4r}X=L=bcOfrXq=#yy!AUeUVNU=J0RN74^bS8f(WRyxQ0udfMs
zn@)JU4n$q8TkT;x#ML-RyP898!k)ny(30KL3;uB1?wB*OONTT;(8}fFAkR~ibui#q
zWRXAn4KGn(UV#yz{koTO_n4b+$iKh;{A8G!=4yg5OUQn^>dphpctltY;5ki6%6+&;
za2@2#W3bN;ImAD!f;=sZ0)j1v+2`%te*<mfn4(4^T<)^}e!|r|Oz_>vVM@1a{qw|2
zwMlKeM`b{@k>S+flHwsA^t0ZqpAM&ES5OG<1IHKp9#H`=Wb;iUJis7PtO?e5du+Q8
z9)9x6)*xtO;vfeL7MVZ4X;oSd=nTrfM`nZ33<^0j9G3Af_#GPT4v8AUP3hM_i%Z(r
z7P5&MT|}M;*qc|X)^OgDCH7O&`moz&kJOL2Y;$-Visl=vs>0Oe9lW<kY|2YKRph=0
zKK2o`=;TDz#;jf2xwp8z&L|GZ$&DRi14u^4@=bBb5+bzB-{2qAkQS}y`O@8sf>@oR
ziaYk(hWTL)=XCdk|DK4P%i=;Me1a!WpF|t~m$~A93}cEq*qd8f0Gy5fnT5tA*(st5
zBMpA6SR4!IfPjiuMK*>xszByQdz40&8J7xe<2r{l;8ANjyU+J27DdEFFusELQSF?r
zft|I=`>?X|vVJUWOf+?VyuL!_21;7#_4vTTiAwcKZ4o>~t*SM*Opb%wrzUDCY!e5$
zS$hAr;pF+f=7uF<J-AOf>qxh;xU}vw5`R`z^CP=I9?@H;c$V#0%_YNmgLhWY80$oS
zK5lGe#<|0#C;rtqCp5_e?VcigDfX;}NlbQ6KXlRSCI0wF#+jA_FD1gLuLFlp_u3hF
zLz7J_hhUWHm|#7BsB_gBM@+E|0g!H|!6rLfr@9XF`3`t9ZSSU+)PQ7PZ1sfe%Q%@j
za=pTuy_!sW_u%*^kd4M?`EaTEogJM|{YL9(!(jf<QS&;QiI@29p3bKSS4$@8xOeG5
z%DW@17Ue4@x>M;d-t+HwJ^O7rYV;o8J0*Il1}tkBe`#`B&%b4P0lYuv|NJZuMK;9>
zo&1gTk>Y_<KV&)NqPi*3TN{e!koh)QBcrKL=TzZji~mR!_(2>1LE=Lqj_l{X+0b(k
zJPBtA{mO)OK*_66!au@#J^PHv#7}rcQhs2f-xtJ%+&Ap-{gq|Osc$%zL_#@(MO#jV
zEd*x7dW&d8F2SNXuwok}h_9yq?n26!pD-0E5YFjUk1xhXq+MhUdA({9kkBe54YfpK
zW&Z_rpqGL9yQI#gM(9a%9!SIp5vxo*NsMNIm{~lF)h#H|Ywu;01GVrr%TPPYE)a)|
zA&4%qm<5E4R>(Y=NR(wL5oI?P$5iTzr(6alxR5iLsRm49yl^(Hu#9zlFnqmCMiVHJ
zC#Z@>AemWwIf|HO(C54SOgjOH3KEga_x*Fjf46O|sS|O=&nSTBvk{T%KSu)pux)V<
zGZVl+nTIu>{Ac&EKWOSmCBs3!f})7nh=7>zLQpAH&m<s80Pzemg-~0IBCE*22A$2Y
zrP}Oid0Xp#R_R)~yFs<#a!6@4q-NCu9(*?*t|)IC&OFJ8M<tl<gEme)*DqWIYhG77
zbNn#6FkWT*Y{c6cf+fk+w(dyQiHO5zQ6SnA6xYeN$BEm;`*g|M5ggK#qF7NdHXFm;
zrL=-)oBEy<2nhDJ^nI?@`1l6q8i@HOZcu%$2@E<ogCDM5{Rjk*dZ0Z05{C)5=fgxF
zp(hFVw)CJ0cb<0md_?*vMIX^<FRjc!qJw!a(JHulD{k7KZJ~2a?iiVR#gQBMCYhh2
z!(~x`J2!HEIz4>9yK*O`JTTJ8eUJ@dw?@Hm9^6a5K(+FQerbDokqG<ZC6V-r@mGKE
zHUizsE*Nnt;;-1HSXM30+oN!U(^@P$fGtjBMWkNJr^zjY&owbD9}QAckUPiaJ0z~A
zA}#)Uj=NTG_hM;Xs@Zj&aK3A4UF)A)fif*x7LarunyrbTstN~|x>SxSPrs7wIw}3u
zin0JoFZ;Z(l$o(U;k{idebVA&C(;#4u$FF_!;~ziVJB!r<=ML6x0uaKpPiqVo{?Q3
zd$-dn>>OKe<<e<BRf;<c29y}>b_iVrsK{d;;e3bWxr4U?mP(G6`SzDF&ts_#Xe~I#
zWoy)jp^5HvxD2`RIuDl=hJmM7GPxR!sLc#|rL?=$n8&5gj&*?j(X>3eXhjHvfOf6w
zPWqgqnzdfP66(sF8@j6cWt^}7UClFj3$3C(Zy#NBtp=THcpws<%hVDKLy~i`$GLn-
zfNg5LoBB|kR3CPQ9o9_1vuD19Xq(owE{_HqPMwgY-j%X~_D3P5tcXtRwT^nRUc(U7
zT8qzgV;szV1<7xUZCG&=5%vz8L@!sBR4B0R=?_XPv3X}`Z5J}H-DjN}(c}H)QFC7_
z{8sx!KbhZ}Mr~-lY6!Hpp#AAYHYdKO@hBMx)VWXQV32h9H{G4WDUanMp!G{%k5x@?
zz?^eX;b~F;(<dn_n<X`;XqT=zJyg6t=W8@768M^tOExjK2lT`-k0K%Pckd+gzM<Bp
zVnUZ(qLIxqp5iT4xaKt)R7f_%2GnNc_4*mIw6Lb6QAktQow5;?mw&1QEFn8P>|B7j
zvTKS1M86gC-y*ZDHa3l<23#H~?yeHY!TU4I<jd^KV5GQs#AP-UoKz_4{p^f<$qHsU
zN`4~Wk*QBg(ELQv_`u?1xK4_8*jk~x<eiJPuM043hh|K50%1&cLRw=P&|XV3QX6o;
z;!jMvQnLwDQTl9M5sY_2K^%D`mZjN|qS-HuCS)Fr`?0u5UQB`R^;4yv8e6cAnIQ2>
z)jWxC>Y5rh*jn}xTh-q{qV~Igcd#K#-g=3DA}a5lF^36vWSiP<aGWB7@5uF$#Qj{2
zX{qf=4fZ4FV^#FV)$s#XkwFTzO_8>Sht2@CoZ%>DiGvP=ms$t+?vX#;0V2yMe4$L5
zd}W~!NhcxxDn4L%#fj{nc7^z=+Vxw2-+0ewH`rW3BDQSS?GnzDy(-4Wnj(MCN4_<c
zA{mpmBeJO2rPz69C&w%2UT=T2TUu1msMD5w-4C&6d!!Y;cHm);)&_4*prU~9kJgiJ
zEl_Qn{dP)$y4Zi^l0%1g@Qqg~$Z(caI|??%VLZ|D$$L=m4xJIjf(YGpPE*adJFW#K
z(B;m{;KfxOvPKtGjAk{SY`O}W-XSUpc0ESEt{XqHBVw%`wJibIt|ZG;c3U_S*Dd0w
zawtn;u{=KY7C_~@#@>8N&C5CK`n?B>4RCEUJbg}y+nJ-6U}`q^fcu?0@ThWvgMIB0
zk{oxo&p{`LTVr|kIIIW2@d%LW#7w)TNlyh-{ocSt4>e|gbJr63NU)v`?`Zz%#+a**
z&N1zmW6_y;kDvV}v+VA5|7+T>(_%y9g<;Z<zGoF^g}*;xH$FFNWgu1WJtdpz+jt^|
zP!%xX3Eg{BiW3`Bae$OA>FDv5-37^luGtUAZU7)PL$#82i2~P(0nV@qAr_SyK2CDW
zr7>3E#zhC2-5t1ftaXgC%T3ol)?>WKQcjNzU;}6F2`|95BhZE!j85*SWt$aqD4|zt
z4r72gG^OAO;{h`e>xyDDmZoz;-qLy{Io>H8*UpTfWH7Qi1ykOiVu~{R!_uBvqFtFT
zx<i+7+K_Uu-2ecN2(*n0v}N(3{ph!TsqGigGhqfUTiBd60RAjJyI3AKtk!nBiDs@%
zafB`I-4yym#BDQ+;X}E8V~+Vbl)-+h=**fr(|IKET!G!q5qad6zbfst@!h)?Rdq2W
ztnTOe1$i((S5(_2TEC!G3zN``8CP&`s;tG~0Moas#e~47ZTPZ!y;gYj58`-hWKxpY
z@Mg@w@U$7~&U-dzON5@v{FanV%nRZ;ifZR|r3pQuH@f9R(@)Mmx@C*)qWI9NA=eqf
z-M3A}2#my>Msk+a0!^e}I|5XNm^P?^mwY;6(Zup?AX(<&x&Zc;1)d=EKu3>RIu64S
zG&qNh-qhZkW|Ku7`>bBz$k;JC`m>TEY%+^YQ$b*o_8q|w6#q*umK-7y-Fj<+m9SxO
z_xl0VhDG7dtOKIEt5pfms(kBGQE+CC_y~mRSBi2%g(V$WX?$t;q_Hm<Kbeh>Q0i`V
z_e{BKxVYxLsUbh%CInURu!v9E`yD3yDkpUT3BhMCM{6gzaa*Gyg+cw4CZC)^IO0J#
zup;$|mW}gO#Ot?_QPk{F;fMOz_MI9!Y_#1+O53A0cgW@Km}GqKi8d)WrPzd=1}%|5
zY^Ms}(eVYQ^O7;tN_EiU6m}ytr_6Ji!h0BJtuBC2^5JdA9#-w(@S+kO14OAMt=*6}
z3-hiF{1#|M63a}`*BMZea$o|ApHwkr_yXzG@m^zjJrkibQ%<4&R5|5{F-`V(8(7SD
z+EOd{F|ul+^mJ_iMpGRZ`CYV<%q~U`Se}&W9!U=(>NQJ`-giwEmX6575<Wj$0Kn>R
zFW0Sk+Cz+&x(NGqc@F19=~6!eBV<G<n~0O-lW{VD_V0OH_J+1V1y<azj&FuGXXt*O
zeLGv`nrY^en4mSlN5h-H1YJ8JQ-%be!4}@<@i%#kzbhBf|3i+5{=Z~|96w83437T;
zzkJSuP0GkKPy^)|W#opX=jA7ccWG$GX@|$;n;`!}A@li*|0AG;`1$#70!n|s1fz+q
z)&EjEnqL*H=KD-<R6lFOf8k90+t-DS|E6<f;wtK3XZMK#$ywQ(eWp2XpQzA(qd_TZ
z|4^ZTi#k~*0XF%G3MR*?&?puoq0Csa5mzD4^bHzmFW7xcgBLCE@7c&_WSj0I+>B#c
z$B$P^ZM-!)Sm*Y>XmQzJUla8AfB&K+u_Oe>%j1S1R%;?Oc+=&L?4ga%jqiyM8R{{A
zr>AWaZthY7znrj9hpmBIZ9$0WZKvDl(IzWZzNOplJraU@N|{R`*ajYI+>5C&jNCrk
zB&)GNKfeM_-Ao?$Y7pn06>vKAFkwe*r);#?Ja*UgkyGP?nr~g9UWWYBJ_b3o*LEj5
z=SC&XTj2;l1fntp`?S#4T(>?EPP8xtF08SVK0ntc@pd`2o1bnd=Ai{^G0@1yplhsq
zqXH|^z;)yp{!enx9bOT=3=Vemf+1ZSqy7f&;i5_Nyeod(XkIQYuU1A(sdMDHXcGWS
zLm5s~GaLrcZTT!}wB)dw8~3B)8Av$CY_!QC`rLZLqTKg80_CgRYOic)4+2FnF?UUb
zkvEL;77ME~U<=+GNLeDE7di#)=Zrrezjk`ZisWO(%+3m5gYnhQK3mMp&Ajw*Vk1;0
zq#!lJk6zS21VRe>jhDo<jJq+Tu_DRL)Z_`SmT*_hDeO-(n5tIZJRa0Hbm@9`Mq=vv
zXr5mZo}g=-^*Br8hT%T#LbqIoc*3KYaHM_r65;+i8d}6~BeLJJ?s3ai{4#mV&^%6V
zL#ZzW_>m(Owm}J0>>Xnpw-+-rP4GS}aX!+wbK+}|uhAxxZ`t@w7=!4|etrC<^cxj)
z=VbkfOJaR$dhz~m%l&Ut{3j~;e>ci1jWtbNb)=6q)1(kHI5HHZJoNav;6gDwS(`kn
zqPc-kM0rRnTDJ!69+AbEHeC2;!N+s%-w#c{#jf!9eeVTl3jVbGjHj?Iq#oSe^&88I
z+ZbE@@pI$jX^#`+VoMiBw3*ykxrfO9#z?vc--m3AVaDf$*>Ei>zPmmcz4HDWLeA}`
zs_BzsCtQy7rBMeQE<aY+fltG57!(PC^OGdWZ=||@q|8}_wI3FjgWD(YJ^4Qtu%203
z^Qw{`TrvQL!{`wx6Y1qDdYW`u7bjxfOVf6tHrTT?g|MlKjMmgmr6m~7Kojcn2J;`}
z<Ib+*25b)x=%kbL3>gEU$m}+$#A;KqKfY?p#@ge+gV%YOYjP{8i1$+!*2fm%LK@@W
z*RKD;6KAyc44vk%09qdbV%Ey7Y)?Y!#p4U=lD_@St)fnqZ}uPxBzGTYx^nj0<~S)<
z*r_HawO6hR3D`=7im71PAY<2slUSOLDl;o$!xgM68B39q0h3ityl?CU6lwiQr6HGX
zu)|bo)@Sp5CKGR!R?k4m=b~_zsN^>Jbu|zbD@?;)KgKvA?HW{tc~I-><5>-?pYSyD
zqP{7-)cd16$DinU7yg(y60Ah0u2vPQ+h;Q3slkX9xwHS;rWxxT_HEn3b<2J*KyP?{
zwYr$6!HF?~_`|Sip?Z6NA~=mSwcdP5rHPkkQZK*ZIeWj=v^~}+^gYSTtUZDmdj|_u
zSk8fzQY0lIjKU-^$F_jTI4tLo#Let9kIL9E6g0`1p&+=%RBMy-qZl5_?8^{W*8&R-
z*KRMTtESFt3i2SDemg6G*7*gUMBeP6ioPb2Vj8kSX?+2{#3>GYz~GN(>D>T<mnz0Z
zAxu{OYcuL6VZJYX)HWaXiIfwgbW`KTkHrs&X;m_Km#oA4A$B^w)99pSm<}d;iz2RI
zlW{=Kw4Fg%M-^HqLr210H^%pU1=&2EX`0xVXMx;@IY-Va#%~34;%h@TDf4!rQoJ>@
zujEuok9X;st-ba$c4<#V6ux)>p0#`O*uLfI5T|EdW{7v>Zjbrd$1i6pY^ru7On0b@
zagCQo!2`Ln(cjS8?e)K84nhhcdDu7}Ts`x3TWov6B>{@ax9?|tn2{gRf6ITUp}(IN
z3nj%@k<?~Zk~C))R%wYZ48T<wL9@joO({QTOD5AfLzuAJu|u5G$OuaK_|APdCL8y-
zA!4w9<JLx;X;0a7t2nF{;SoXX9VsFmg5NNSz&OCl?sgZ&!sz*|^^8N1d?!SbnE`%4
z6AN-=e+zbdm&%R2tVM!>j;rvf^1FRK*j243YA$6|k`kT{S0O8=hE1dX3K#5<6wgnh
zw;JRr!WIMJn-t6tN!u*u4NAOPfY!eA{A>Qw0q$aELvFvC0ksBE6W4Py89QIk<%aY%
zBtHDapOk#t_Z}+ry|4h6fh|;ftR=5wsZ)q)->SdYB_!I(Wk!wU>2tzTEIT{Vt?cV@
zh=QU13Do0M7UnzTzXK}1RTG|)pWQ36pC0u;c+-E`u!Nm00Ct~(PM-w5W{&>^3{w)u
zWx$!yLKL4_3z~pBcC^Pm=Z)%6s~WH*usxeSspqp+=@RBB!(*j2d*z!wP?vdqWc2Ed
z(B@7_-p&{9ibF4hC%6HuY_e3}MuY7z0hkD22bpl$_t3{-@BF@n24doecdGs3i~Kk!
zXbgMl$ZEa}i*^`s={Qr$g((?~;5Z0n+Y~ubA+9~BfvAS%Q*h|`l4Ecr=lUaD#m2To
zm^5R?6f+eE0sMt}kqqB)8_4qVir$@trwq2wezK%fJ(=$7_Vx#uM^MbCX&@y(v#5f$
z?GHGdFq)KnI(Fn(81%piK?CvH7xoVZRO+~;Z4~<5JI3@BaAs6jSHPcHPlXGGHdaW_
zx(8aG)XL?#6ke_Ql7UK@6PwiS+-Sf!Q{_k|pul4H?i|QFsJiRdbMHF)I|P4h1cS-_
zD{Bc2M`geKivA14zpqNe#`ZJz=c-tIt_t=4b}aw0Du0P>VwB}&dxemEXa5Y$)s$0C
zlCZ%_@NpCoi7P`>k$G$spVX7D4Y{d4ukbyBzbbEYgrLa5>T9{}kN<uM{gJa#;{fu&
z<vs;)lyOXyqi^O2_G8SfhrCfO4*oE1Hs48xB0mN2?M1+}(}*4NF`&L%nHKMVoq)C{
z3o)ix$aK`C<fAf5m{y7ShSle^xg_gx9`Xa@_mpj-v!Ha*$G~l-qQsKzz#Lh!^}$57
zd;Icas~ZlX3YwjvdN{dEULN>G))a2vTlrP3n~ZYmNwDDX+_7QuuEYtsqi>rrGQ%%k
zhu<izAN0_iD-nn~yR6k?=BjpJdEe))fY9=dwm^%9)czGm+qo`3WhWaNd|mD?BjlO{
zQasFy;lDuS;1vjO@SpH_=Kt>1`CAP6FZWmRUraqqL)v{-1MPj6E7c^53=4&FOq42C
z-f@LZPP!MVxDh*`P#Q)_$#x!@3YcIPI^$V<lPd2{kBd=M()G!7R8qn4jM;iJd3Z$q
zmR&h?t>)Ys?z%DCw()k}vEe&$@d=p21sq(-L*qIb41^&0aBT!4cvL}RI!SAldyIu8
zi15H8)I>>242WRyFpM^n^g`z~?KV+WR@OQT?~3{uqQkL<2R<4{NGkJH!(5zfJBbc_
z3OP!}yLie@n!%wg4=_|L%$ZKl#Ox-UBgk0(m|@kPr^(0&K1(qSlaUo2H&0YeEwf+^
z>b+G`V^!6gtN(L5&X=X(tq_A{o!3QbQ}GbG-NTys2bNm(*RWLhT#qdD(UO{zK~r-g
z(RhO4z!>^XLu(UJUT22k#26WCaRx`D>Bv+PX-mI2`%i+|hUG&1zI|L78&6f)veeX6
zB&?Z+R(3jKoSR_6CN|Y9&c^O_Y?${1Jss2{k})wSCj-`!eokSoG?f_a`MLh(CHUP;
zS0AsqpUvY_Uz(gLs2{5!v*tJMU3*fRTs)-@E8!<*cp;AWrgL2?is{$^W_sf*)j%Hm
zVGmUi<9?!ip}c5wc?Mc*K;<t9Ro?OkoJ$zS(vaTRbTarp>*Tq%#K5zPD^zRU1RF(L
z@j*01#p2bG*SJq)(2aXTh8{|;N{KC9+kJe2RD4a!W}k>M(@y!ull~{c0xTqZZ!Cog
z!sO)q05U#IG7{HO)F@HauAZ>7BK`45B$`oc7y_yLnr=|B7Gs!8){9kU#IdL74W6<q
z3Y8*3T0!=b#-Ud}-!gbpqV}|-q_O%j>fR#i3!xUUzQkFawFrNq{~O>><}$q!`e~2u
zoG*8ebW?2?6)cBQL-a57_MkIZV1#7NVoTAce*2)X>ZQO0)#E4mk7bR0XmlK!PqgA<
zE6Z)VL9Smu!fx(2sBC4XSVeR)BopPyl#5n4Sc8G|z^o#~J?|7k`<>vx$;+0@H<9kN
zN15&glH1f0^zy*R-B&YualeG+Q4`OGZHh)S)`rYnUq6ZxRowTZhLTum=;QP530QuQ
zYLy?Y*;DpR<$^YyG+{Mj(yIV;*l(un<3jj#%MBt!zJRcTX|%+$6k0o{dwBYv$SCIa
z1t=VS67QqTLO7XN>o5i}vAgg=YQad5xCVGpEjBp7YbZa`k0@v&l19k;Fj~R~UlD`z
z)-ZpyK)Z%DAIaeB)eEP0^3ylB^D_~`g|?PwaQVxdH<ef9!bg+G2?3E=@W&m&{3lSb
zJ$&xE;N0LVeOb!{N2n94V6xZ9OR-nV$CuRHM<(xw;hcwveaXa0JLv0{hzhFZsSt%q
z%8PL<vXY%f3D0fq?C_gDq8^Xf*Pla9v>z77l!Em=a9AL=HmLXUPX^1d8%0^ZjrX(X
z0T(d%KTYxCyKw=~k5R%hWt~H!y<CT6nY%L0oN#{x7oif}eEavm{#1nNT#C>K<L>L|
z<=PI&+}FKK+JR9f1D!SP4L<!;@ffr#otR<fL|C%Y;YO&N-2qzleRWAzL^fx1@B5MZ
zh!dO!{>1m)ZI=INYjqnU(Xo<YsN9R_jib|xXwaz#v}GJ)$%3#T#mf@c<ZjtNC=ux*
zOp6~EQ-iF2ANkL+xnyCI`8IL>-gc!)N_RHoQUeEGE{TCDb13#^e2LbZ!Xwe0S0WBI
zfD8J_!FBkwRdLnoYn84Z%$=J<a}ZS!z&A=M-*;5hb&}#4qUy!|QsEwgE;6SGhP45@
zyAApmols!2{;?YvoK0ry_0peU`pGw7yKjQIUrrx&*pP4y(Xx#U-^3;=0t9ifhSW9N
z1lPC0%-E)eSkQ?r_xLyWEr-?v3RRU8Y{l7S{JuA!vu{-x#IBmJ)bZxamv~miAi3sN
z97m$P<_}O3cIwILgG?xSH}$3l0WnF0K5-GfayaHQihcZpp^kDVg#~O2n3_4jd8wO0
z=?)#N+675M1tUtqmN<*e24W2lQAWYfQjjf#wpgfOY{MR}46`TTHNr0STE$%a(X`6k
z9tOaVcqA=qF`_MPR9nXd2>5GRY6PjtwD{9cAATNxDNFsupL|MveX=?KH^Eg%wD8|l
zK*c{Sn{?pZ_FBVjf(-Jgpd$k*!_Sm-XCM-fxAZ(f5Xp<1UAKJp{RPI_|4Y9?0*?e9
z89Be9WhwJlig6Det2`;7u7)kA5MZ0u)GpiOTHs=)S2PO#OH(yC9ch0cHNUZ5iOyL)
zBIlq#5=5kZHp8yC(B%|bIt)$bSOt%f{S)+mlax`JJlf**Wqic=w#nKx^|I)&>riSl
zeE1h3(0V%G8|BYl=abJe+<!=V|HXIy<G%`<e?l)3R?aT2ssQ7Eoc??BYrn>c0;)37
zy8<<xEgV{Kq<dfF6kJC{fOw-?i&WmX6o?PIl_rMdPtkzLnoXBSuyji$>F5tRAGDlq
ztb<bwD&Ule)T_&W<`3=-Jva0F*Vmgn+yLkq5*{S`0&<dkR3l{NRlqm22Z(4Gtb@cC
z5{NzsIoNcRtu9hzl5MbJNHQ#)=mnW+RAVeDYcGNHg(5xSujX(vOnG+pGS&=brPuX^
zm}dME%Sn;tSgP<1qIdHj^Gr)EupNt+G(r4%d#0fZ6IwKO=B95g$<#<Cyq}3>PkABj
ztDgCCOB+1@m1bz=B$d~+R2qw!)R%+y@)56mBJ?O0tC;z_X;rweZC6u7cALUt9+Xfw
zd3oGK`$8bRxGE%{(P904Dm4mD@SQVN%V#zf2q`@dH5*!8`lQ8f(fs>BeQ{Sbsqnya
zyZrKS)T&s3TOC=ae2n*KMVE(9s6KH`D;YSZX!K_R9vq8fq6p(y5|87g|DK~SjmeM%
zK3n3PIoztM&|(ie1T&#c#v<5aEW%#Tu_uH9v_WCa$e>G=5+mO9uqKTtG@>=OU5Qi8
zPPa-K-FGk|^RsfiT8Eb6q7M!?*wq$?3V}n%S`l5^O%u0TW%j$0DLT7s7AIo3{<8tt
z^~q9h5Qe100slDQS>4qbSxZLELWP4CGb;NEN!_aP`v4X&qsf#igy;_AqJb3N`ncVe
z30`9&M$KG*0_Vk@RvRpP`j!V}xlIT40B^a@`Ic?D9S%XhQ)1dL%jhywZ;P@l4QlH{
zChLQ(^st1`pOPOreY776=Pcvf&P~id05NO-a8+#X=*~BA{N&~${|G$G?y#sSXmpV-
zV+jw>mf%xFN?PK%IeavrrC?Z$FVx0#T*Nm{V=-c&gV5*&zU>1p!|pLQwWtfx^+H(d
zCZTYC)NLBr0Ob^Oa@Jk9e}g)Ty@(0CNdM}h*~(3%D~72n!YJF_t0Cv!o|*^lzTF%F
z>Kt@oKRqEK9JbkQ*Mm)FPrK;g0kP`jB<HZSg(l4%`zc0)Z=M?>TK5B1wdXrEr~sJ7
z{)EGRzy%l<vkM*@vq-a;YsQ${R8nOe*Fwa4Z4?#>tS0SRxG~r(Jw`uxB5$|=gnz&I
z)uMeb$uxP}Bj&$n5%+tBW`%#tAU?a&|Dv|?pLeDIdQ$%$@w)u|39U-8Q=C=$oUHkU
zdvf>%mnwV`E>H+AIWIq)8QBMVSPaz^*&tmH$Wy*nbriWRdD-?Tf|4SJ`d_0p_L`Dw
z60ieoNBjq?F8&9Z-jjBJ7wzRsWh+geiyu&9lx~f*LXaM_W@0YMFE!34R&_c7FqD()
zYQYzfFI4<skJH2-t>gkeC3_=Ov^pO)^u@QDz^!zSG6`T`2&kJ&RX3{#9uykc{rYX^
zIr#__P3=z9-BS4B4V)7-nc1krg<tY!^d0rS9{8nCJg-hn=g_|u6DnT5M8J*0D%FD<
zRb5hf19<ma(RpY&;EaJ6O)AoSrRT(Fu-<RISjq>oHTB1D8pu;DFb_{1L_&-7vxj~!
zUX7MX5}2=@4_PJG@Il76ZTYZI_a8vFseV+I->-pBZJWm+WW<r~2Yg|wB-lyc8Sc+T
zPwwD;qG5@~w}1%(o}YW6pXAZ&nl$%XXkh#h|DyfWnjp@|h7JcGRd<VUrPF*NmNtva
zZ7nm<T(+%&5!F1-<dRQdnl3PW&pMXV&U^S}@PejSY%qcVU=YG37>c;&^(M$B*NFbX
zz82f;8sypZ{B82V;|FisA7sMsEU>rza-zVG+*9gAuiPO4QdvT)I4M=jvBOi4NP8b)
z;~X`}x7%~cKn(#&#FgLyU_9xH<1D^sCK#BsF*bh*GnxpdWwL?Hwn<b<V0$nl34Bq%
z(vUO7x9CluArCoPDjw&JgjKfNNvR=tZ-FLITF}}lS36J_VkH?&DHW;T;iJS}+?Co%
zYCE(l&&29UthP{A=8`J&I;K_96QeznqU*lb30JDEP9VUI)GZ0JUbU#Co|JDZg>0c$
zL<JSyBQQMFLM1LLM&AP3CuTetsQm-JFidOZB0sUcfg_9wz5In`vc$WJ0_qc!E&Rk}
z`Tn1&^FQ2^h?%*A^QYR-fAmjhDk~Cb{IqalrU_V>vs0;ac@zPHOk8B$Sczccnodkr
zNsSb5iDv!EwMEf%oSq>9A{!)GR$+y5N$)3e8~Oe(U(ar<cLO32SbmJ%#<@M5uX#^q
z^Lsb>zrUQofnZ~?geLF`=a6F~?~>`I5^qOFoB81N!D^6KUUgHVR6GAVVKH5ecXR>C
zk<m&^7^KGzT8vkUM;@?15lB-qJ#;6)idm%V^;oa3I4ZBwu=diaz&>KHFwh*AS!cSF
zpSM4Bi)~MXpLJwl)yuhd_h0K}*Ia&eo^{9WW3R|(&D;)+G4H5c`8DqxL$}plRMym1
zZg=T4O6A-PpP>Hs+w5ckzHJNb=bnb#m%U=E<9i)>J2qEm-AhR96P$22oVk1bw)oi=
z%uwM`I-c?~Gy?8WGnwXIrro;^J+>pI%Br$g(K~N;ebsU6*2Be6?Qwuk@mrpI9|b(<
ze6{m2&-V0^cC}!_E}$I-2jeUJYzM_U9N(OTdS1#76}zWECX+~&-G&NbOPFj11+pxW
ze1OqQ74(=tqf0e(2xY@7>!2WZs21Z1)^7fMBRdMB=Dt+eB)lL5WC?TmH;4<F$3S8L
zo%7Q+BYJWz`Brvd%_Y0&T$~o<#-?s)r9(0AKG2GvqfP4e)<_k0!Z@>lhL!BAVy&^}
zPr#aMwZQakD$xW`L_*hCdVYxUn3|b~dpbSS2>Pr7sN`2_6AK|P49PR;k+YR}k@^R5
zX-et=h9Hg1|7yHkj4_}+nKn*cR}lKJHe&3mhJTI2zlDGrZ!*HDqhx08q$p8ceik=o
zv4>8-`i6h?z=~0Gmf6~>9JXBqk4ee1;`nQCi(7iOib0hf=NajcGX!b}QEt?IK;#Fg
zoB!d!h%OcXSxTFxf@lqCUaP`PWrdh55N^U-lC?>*msJ1HwU2+NF!ueE(c=g9JEL>b
zU_>Mpe*?)ak4YX9<Ha1D(B^#hyTQfu;g=ZjIhw0JMx^bC-LGJR(^_3GxBSBgi=MZ2
zo)AlrK0-j`3{wASW!q-{a-gZnBlLle@<$KIbLqT0aVm;5Fz9#8<0Mjcp5PN+V!#G-
zEmdr!|F;R&oJZs>{h=ZVgdnGD&FpjIS~LOb_fXX$q4G!gJbd_$Rq^IN%|eNO&Fl+4
z0B8SJ_IEMI1_%JM30;^IFqlkNB38efLKm<#>D_g|d6M3T*1g|hbqoV-4Ch2fy^l4W
z)C1pPG<z-);{RCSrqQ$N2rahlW77tCjb4_b_r56L|Hj8O+8nWyJ!)VKgL%l8zS4Hc
zGUT0ByP2)@C#EhOu}q(wBkX9&CzOuano{h&(m*26U=rIJ83)8)!w}q`jnO3Om1J%m
z1JXybie}`mMIT<@_AZrAuX_Et$w>VFY%romE@sm9E@t*FR<57AW~!fafA$uiaj>J&
zXXB;AKU&m_ROKCJKY_awpJte^2v)ecN;)!mPx%TXpm}QONHEkYuu^4S8)W~7vbTWB
zE6KV*A-Dy1cX#*T?oM!bcMb0D?(Po3-5~^b3l^N<`o8{q=5;sIGp}E*br+Yls9l%3
zr|O=nI%n_I+QFuZCZ$WYd-ygxN+gJZG~Yl9{Dx)~WkpCNi1Uf5E_Y_zj;DvGkQgAg
zO9B{V*M`&?Dd@ZFdYk;heq&@6WLD%m%<rGSC-t%k<tuL(iZ^%o>7|~EtMTCD-UhDh
z@rDouMK2yq;i)N}@9HtRk$MO3q1}nB-UJ<wf5MBf$t~ozat{&Hy6jPcRb6!svfy01
z10&@*b+a&oN5$vpJLCRNc0%Y1@%5)vwO8Iku{;~*gimV$+k#XUh|h#|NV^cXAR9UH
z9^0OqnBVnU@B%Y12lobvF-TkYbPomjBAnaX%}4%lk(`R#d{=@;0Y@f9n~WvBPoX*G
z%`<cT>>G2K3$I|4u}5Qh;{kCC-8Ut{qJB;%x<aeza~(3u%hl|P-j~uA&VykN*j%H6
zXel&HrJv2dtW3Pg8tZ@jMP}v_^LBTTZ5RW}IH6k@s_*>Rh_Sy@QGeVNQe6^QJzZ<p
z+cc9x;uvhAo+cW@#aoK`IEm@uB7xx{+t^@cnoxxOMR|`m()9<%$V~czz%5wHXbTaL
ziNcpIYL-3@4MZ-9X8Ectg1XLYw6dbQ+XTaKGQnbh(b^h7{JYUIyE-7-UNelzQ1z5H
z7eke5i^?7RMsFLd8hP4aZibTdAV>ZM+x{iQDVZRnLYbdXrQjU&=u%hsN4|smH&B~F
zl9&;!OVFi3WD3zQ4LVBdL(o~|cH9FsJF;ercBChpx%O(MV?;LbB0l@%fAs}pz_{r#
z0Dj;jA`lSoKe1XV8(UYK-+jT~Ka@&N`cB5bdxh)jN3O^!C~uu?r-esfioO{{^p#dw
z&nEf9gwJa#P?^hDhztY~V$S+G6;DZPBCxOBp~k5wC=8&^H7ncko(=o<JMz3j;YE9#
zPmpLMi64t~cL0(W+dDTq@77bEAMen0fz5_T5wH;G^8{cBBil(y1R-;CD7oM>+?V=<
z;zNM<*-26bU?p4017Y-n0GT^U$in3)LKr5+RfKc;*uERo+g%7~JAMRsuz67MLA4<8
zzov)@dBTTNFE0tQ^~Ms4+@R%tT|@?&x<7Gl_;jJrZ%IJW*B?qD=_Fr-f3f<=_0{~E
zE7^vGq(d^XDS_g8*%~8#J_)c8Y5>zDE>1F&QMceJYZ{98uuS1($i=!0wJ~EaO|H^l
zP1vJHr?{no%=86UkPB{=GDIH0A*v3$ClNrRtjC?7Avqy3pAOO?gKYe9=ZwVP&Q(aJ
z<TX}5V&W`rEyL+i&zisb@igiBCzO!0A{u3NT65?3C)sk*{CR#?hziF?=l0^$3GzE0
zy|bjRdEB@k_!kaLbBs~0h;#4{m;IK%ks};3?FKGrOd!d?S$(g}n3s{rPZXO-O+Qhh
z&Fc0x_%ef3s%4nkAAB&MXjVOP{>et6kIe`xOO=Q<7c;tN{$_dGBGtMabUw1{%F6kJ
zV<=;Dkr?i^9D9mko~Eqw>d#o}57svg&7ACcoE0jbJ0w9ja4l^i#G}21LlmfOlr-|W
zi;y&_i6!gNCS}p1X{r`nFX>GS^iuBM;G7?ssUPZ@dZ#g<Y9y9u^<#iQU!VC&tbNXk
zYz)w?tatS(;ZJ#JcJ(>o(JxOKKv+?lb(oC@8!eq>W5#H*(LQEHe$=8gB(2_>*YSHm
z20m@1amL={>u8c2DpDsbK&)a~sZ}oSYLp&w&>|{;Q1Ba?eM+1vQTc3`o&!4me7a9^
zO1%MAJvYDNEV(vkHOPQFsL)~-Zb5OxWtR8ZG5_O&%}V9qNW%+9&sitkE*uVu`m#C2
zN>6SBEpahyMKhCGnvjQ91hs2MG7@*x5gL^3m>Z1kxOzlrq)_OX8-xPXIkZ+L`W4=K
zGi61`L>}=|i=>Dw*OOOjqv+(@PHE(wop9e16JJjV6JMV|IVvXpE;6PVCk8HWSz&?F
zph@HESgnaU^MWsIj^gR)eI(;O4zW`0-I&-AML%EgF47QKqSqkFE=(pu>kodN`VXhf
zm1mTKzZ|}$n>x!tvP>2afzf3yzlZ`7W%eYhczms4=JvW_Uorx1?64vz*FdPW52+m*
zi{avqj78R|#D>d8<`>l66`7G_yDcj+(nsb>VB+T8ywaUkU|CZfesX4w7IJ2qbI%o!
zuImh{cnvjPO;OhBgX<aHouqwGFCQ{Uw_c>t-Vk+lSd6qbe)RcBQi4xKEp*5#o?G<m
z#}rP_!MV1^`kRw?vW{r85B+MP{PhF;+|^_73Au$cnd;G#vEqck2U!Sp38b6{hWJbQ
zBs>a}dF!k{;4d2WzU^Lysf9|L)HF=YZE<DIT5X`5c4EOyqzMurN?|jEFeRya7S|SC
z{tOW059_;5sKD4;J2X?7>YU0dTW@1_=5Z~y5wD3KH`D$yK0ekO^fexAO~L$t>TxAV
zFds-}dk7IFa1aB!pBzD*KR6!|B_u<XASgo&0agu6R353C$l@@yqAp=*F!pe}0iCc8
z8`S{6e9(sm5kj6?N36gNL=Ab`0j18zNgs8qdg=Uw>tHteSL$0{z%NfkS7(}92TyLX
zl?=WtJmKFv)tx?EJzjD8(KEVw>)$(ycMjVxV2pLy;0$(LySU%7RYhPAGj;<Vi_iEM
z6xMy?6=5YN*a#;17<YHRBWRC-y94=k@aYVSiuX7TS-1{s{m1G}<HuaRQ3K5yfq^?0
z;+aFvP|bRD9Fajh<+?q4W$2UMOl0-eY<<3`LuK-PCWIa29WH1Qub)`SydquO$J#o1
z2yxlWT}>|OX_SYbpBRuc42l!-phN_8<F<wa$mtaWX?I_-4cj4{6SQu=RE|LzLHXi~
zHJLgq3?OrdY^WD-ENWZ9;z$bBa^NPCwgoWBLWs)Ea!eUEpf+;oZeeR7SX<$VOm6$W
zUd+u!D;bg9Ps#q87g;7WsN#Q~K5vAT`LZHQ9>Nj!up>1#Y)etTxkGn}8$5WoMCp_3
z`V_N7?=vKE3Dbq%y+eMP5upZ=*OE|w0Uqv1=%R;cGawUqEYVlHIJr!m_=Fc#`^)~c
z=T|Fc%Y9m1X#FY5g7_hK5E9h!tKbdg$l1;slS$Vke4fY<$w$T3y0SJZc@-9Ldn-*0
zUHf&-(@SF{g&}Y%^X+Pzy9mi4Tpxwe)>(QgOxHG%!HOvPb!xo?OTu6@^kM_5j#D#H
zNc0&m`!8?q%h8shyQ=95Xaj=j=MZmg4Y=GOdGCoK;=e3U|F->d2RLZ_M=Mbob4N#j
zYxw&|7jWGEr!Q{SzxQEWvDX)zndA}h(?E^kN7#fveL@}#!5~kc(DSdMt4w2Er`<ry
zzl^fIo(1g01P!430P!bYt~E~pOARHHopQDuJWm;}0K(Q@z!@S?aiLJ0NED>wS*qqT
zxD-<rOi4+Tc2lEv(E|3ZJd=rcQVlUYw#Vt)oMbe9wVE<v$OSR%l}~CfI$`dYM_VOg
z#V=YnG#Y;{QYl&fk+0Jfh<PuQ{e?y;5mickgEu%xi~q|rmyp$bnG#>Xn4NV=oB5cU
z*KBdZc6r0#sWTmIQAh~md6mdfG*64xB2pBPyDnQ_Ia<5v%uIshD9gjJOajXh*g1t{
z^<(t;Rs5t#f$}esHrfMrjC?INWgl`Krb1kM(7GAm8Q>M&JEdrK#{vD)xwr?u!$i+J
z1~CvLoEeiV@wu{FEg#<KRaiZ@*~M?|Ps-1Op<WafpM&(TSm<CqCYR$r?;A?djvYc}
zV9vvX1dNofb^zm=!qVtX^bnn4v<8lYCo|wd)a^g55(gjYXihM!dV*k*eQgQQ|B2EM
zg_Tvi){p!B#m{!N7+PuSri0<@W_VUHB~P#wyQ$F;NOGWNkv=P2Jd5yL;Gt1yBYC07
zVH#B}h%oeEPUu-27NKLTdm>K@W6y?=DU#`t6$`^KXZ)5F^!OoHOdY~k6u~Azd;B_E
z+HCNqxpr%us=*mMV07<~))FJ`qL-8)g)saG>%*VyJ@8lV3|r;+=&&)G?T!#iNU{nc
zN7Wec{Lh1-$WT)qBJo3fY{nUv{mDLan%L6{)82c8=HuwT+2&NQEu)hxso|S~1_RT9
zr1u#?x{D{z<myA{c@D>$H>)gd)E@inCOLs9`G|0CGRv`oAcxM_Q85_&Bv<W)oTIPw
zuPBuJhMYFQ|5t~zv#Rd07GV8j0PFup4(Gqj-c{eh_&*%ZDwY4+hV(g8U8thAA(}w<
z>SZ*t>d}*oMc4fjN+`>crs2PN*33oyS;~fcCTEBKA_AWUkv0CeAcrAGsouCrlrUY7
zGtPsyX-ALgw$o|dO<y1i1J+=UA(q2dLbY8iUI6)6>}>3CVK^lm6*QFz%YeMHz0x3U
zu-l|fQ>zMnT5@kJ-EzKy8KjOaR*>c_4bNU5<4;Rp1}Rv?yP_i_6OUYOyA4sonek%d
zudbMQCIQ>MSIDT~#*@`bbx@c~RxRbhZbKC^;joD(ShlLI3`OS<s2X%aKS!f2R~E+T
z(7QC3_vrR+;KrE-G!wX^1zLl8sF*v`4z&|#Uz;sr$=5(&`{kRj!@Ku`$Xc+1>ZzqG
z>R2u_2`5B^(AJU)lb05Xt#OeCVo=*xBIsIoc8zam^P68%&)vv>MER*UujZRnW?T&@
zYJ<)yDvN!Pz%^y8DZn>%S{tej2g8j}SFEet{a8Bb=r>r|VFy=d13gUJQsI-XU#q5G
zzHXSxg?Z2$rvQH=tLCs~n#ynd8I$a7&rPM0;fp?x+X{2T28)=?LG2>3z^+{9?#*KW
zJ3vxr!wTCstwxevC57uIbI~Gr*J$75kS-=`%Vn%>{guAuzR<K`rpU#k+KE9HGcTrC
zHfI(Ad@mGav=GN5JTUJY4xGH{betNIaH<tk$|lHoT@B<O*&V{`k8`loA|5Fr!vgVI
z*kFp}e4JB4PecG|5V3G(3d0FAeLTHFoYpH$BD|Ov;z-??%Y|^X8&PW{b)so&IAV?|
zx;I{V>Qf|x!cCm<CW3p&9N!%6(I~76o_EXupTXy@3h(O;RSS!FKN-TYVs57hv9BV!
zcU)B}fkSv@;>bpG)La2DMvls&nXmi@NeH-Bc#9|x=wpWI2#oa&BurvxqldPC9SY3m
zJ5RlUp-=@F3he)6?e+Umc)vxE^zT8iFr&bRQ8VTxU_S;O$@B>!9CFGmnMRLEXlIzo
z#zbN<zM1$H))!Lu`GY7@zv)|)LO0g5Hg=|!qIC0y<Fxyf;}l>={`R<LS{I0BE6AV4
z1m!wH4By0ff-;t&CN~reGlD4@g=CN~%ovmU!>jO6c_b?)m(cWA^Nd$;A)cBuCUH{J
z9A;Q$=?q(TY|k}s!xN1{%yJIa{uNd&r4yl|AKlEn!4p$?wp=cw<~Uf@+uU?Q<yNa}
zv>L$&_JTC3I4#xl+J>7unv+bdeQdCvx`FQ2t$41EDV!ASZ3`<3xoQv8kRRlDvGS6`
zX3a-Mf=A6lVD3L;HR(gw<c;~+8<{2RFE*8*r@LswTY;vHwP3p5esr5$<Yu+d7~%ra
zydSAYah^$DdU6k5bN&X~snTGB?V~hTbyX9X-eqp?8{Ubh9RZiGS}r?Vb(vCZ_Np#+
z&nb{42p&MmGZ-9c3QN6c<t0CUi->h>gYe9WnL%l_%{jTT=fYqm8cc(UN56{K!aK_z
z<7Rpi1}O}^OToAnQJ&soj2ZsM`{IjBbBNO~-m)-5AQl7GR6X@V0I5CP+p)q1u5xy)
zmQAXsk6|5StC6Vm3BBa9r2c?<{bU_NR*jqd*LN^zTeT8VTEpxOgBPa&@Izb*LNd{4
z7oo;kv!d~!fon<we2Gx~)NEeC(JuYKAId;I6gGldLKX^#&we9FjdatQ1U}$LwA>;)
z$R1OKw$m=93x&)igIz5QbXlJ`yFwRYI1qh@8J_$oZyQjZDfK=UKp&ymv@mH5;l>9Z
zfUFIIKFH4Wp2d+EH&e7f>AO%H5$Y6{m`=^GOT8f%M%Qo{a6u*`c58{(OIp%Y!XNA8
z)B)MWnSX%43_T&D_nQ{7u9|HXI3}5=iTdDfEI}t<Nn#E?7fR#p0PPle@@`aQ!(8o`
z0%F{X|C2ZC?@y=x%VtE9qV{jRS-cGz4M$`{B=h3kR&yu?p%pt3g^+CWnvj~}mwC1c
zMoY3w6JsZZ_vp`@-c;AUfOvkSbE^*mL<1*0ncS|^yeXb%Yy8jMAa;>*d`wFh+XnqY
zll^2uw++hQGZ~Gr+SOofsLx=6lK}Zv1}rDgFA1*1W6CS`F=A?3Ql2>^+P^-N!S0P)
z5*ywG919;tZwLFJc2Sc$QSV3)g*tqXcE$)yzavJxCc<po*^aH~I%Te|m=0yZ46n<V
z&w#NvoN_+Yk05+2oYpsV?YdS{;8!hV#ez1*=wev`c@2R;RMY>)s99dyR%^hBvX3oS
zTyC^q(}<{|Bi08A5Abc4%qJH4ELLPV*h64%QfkW-$nlP{@2O4|%b7Dlxb=ahMm$QH
zap=3CgTK!ejh}tGHXC^n(K1*{=Z6-u#v84gL3YvarorJxZu>byOF$A)*LVj%r3;Po
zLoxp51+9jHE)wdZ4z{(CEm5g*%Q?J4U8>IF7wNbcGa^5!6WPv*`{mD61~j>X7Ppk-
zPPqsCQeKLbykCg!i^I_RVRl&vMQg-=ofEZ#LqKW(b7BV|i{l@iP5%D&f8RX)7j>4>
z>2J{kysoSD#u}2ey7?5K;f*lHl==65;d7}Nh|=<~ukBXs#`f*2Cv>9tgX9<VBp<@a
z_`aMM+Mlia>tz7(yPN@{<e5!P&R!pXy^w$5q;bv1R>BH1hr>(^<V*-I(?>H#b;MFm
z3~Z$x@WOHxKG8<KQ(iL_zsMbm{k*)5-*)6sV^S^Vw>yu=<a8f3a>=WRhC3aG$1IJe
zxvR-L2p4QLShE7lOC4=mbGFcOvIV#4V68CP(%Rk&BDN%B%CzDl2<|O|7O6ktwe9XA
zZ|{z=;siKJ6qu|8>-f1+yvJoSShLushDxgQi=Z*!`N+$HK&hd?RCdYk;Xp;Fgv&d~
zpk1_mk=VxDZ4f&?IvfJ_Xe6daMIH!4N2m1W7iIFETcTWpU}8|J;fO9tOkTw2WZd9~
zt7n=bHRu!^@zsqcXJ7W(lY{7`{!cJ{k>WG<V1V3}Yv{Vt0tgKQ9jcj9C!P<Tk-cwu
zDXzFJ77$$7dJ@Bs!I<h2!_Kf3Ze#LaQJjNM_@A4qa96{pTB8ewrtpb7@BNp)po#K?
z_PNS7PJY`oX&bz|zHl$l_f*MWrOO?hKS?X*^1wrk{4ST8hp(O&_MJmwJdAQSExt>~
z!_nKwIzB14VVFa(FO}=l_f$Th)s(UqCR&N}gjd4i+yv5CeF@lDUl!SZf@)wzWaHF1
zVZtD%710K13TwTY`(PtF=g??+j8|aiUy$bdF7Y`t_K>I4!O`?zr?gHKd;}eSBB)Cz
z@myoHjP8PaQzeGAP}zJR9DxE(kVQ;o`j~f~<%CXrR1&MmsHp11w;-)k@KwUkN?HbA
zV3|K7dXs5AR7e&)-=KpN0o9!oAx~xt4QZK$Ou<ZFH0!J>h|h$LE)Nx@h=qaVuHaia
zx*aOksgYl5$$K@ON6&?f6oCDE0_^|)hkN|@hX+~8o4=jXzn)pQ2p;JXNsB=ELq7Q>
z0t=2n`q2<-Fbx_73vbdDU=Du&%{8FD_>n>Hc?pIj6WR61j=9@*Dr|ok3EzG&{4&M4
z$;sWK+tv97sfSp>^%yssH!dWkBcu=#E_Ri=s5fRA4}&F%g@ze_+-w<w4J%34J)W!D
z;T@r0YSO+iyD*cz$B*v$(LLBwM~I`nucc_+zI@vcm%+#-T4>erIM23yGThaP#tYGd
zFF?Urd%T8&2$H6+YM!UtoXxxLT-~I<PNokJ%2gN5lkB<Ys-$LG+2k8moQR02W0R0Q
zk+fK=46|r*JMRP4pqoN-ywN6DYe%vW<VPNU5**KmegfNayzrq4@}1V%)1*Fb&k$8&
z8duLN6*wu_&<oxt+N8a?hhwndBVPgL>&4Sz>b_*0!N(lPCc#xk-znS9_7^zGqQ%bS
z&Dv(`W$ogMwGLP&JpyAr%ox^62CLg2>WF?S&LHD(C*Sz$zNQ%DLkOy7vM_|h3O%}R
zz*fAq38}>o_8VZd*=WKlb-qEZAP+laYztgFm@S{(h4+5o<;}V^_<~msO$Q;hK%hY;
zp@~TXjlOj*zKxO3Oqr!6knThbz6CBykP<O83-t;c^xUI*i4*<^p8kkdUe9<}(Ufl@
zmlsnGn0{PtrOQjiOHbkDb!%Zr!UJWSDZ`LZ@k;0++&%>GgwZTA^gqS!a!GmtN%5c}
zYDP!6KuVmV*@%&}*oCmj{zzsBZck*6Fkd5<A%#Q9VqsfW!=T~2xkhVZ-Y_>!x_};4
z&bx<N!FidQS$rLrR%8rnY$WHFSP;LO`m}rlGCA-?>J>_Q8+e_1KxGHtfGobDRl*_i
z`GrC+wGk>_{7!)#Y(oEp`>!*88w5!$1i<3k0q15+|HKRak5yoj(x&ZqfSJouqQE$U
zwUjw3tjX(HDc_keq>HmK60Ram;N80T1v^u=>^Cz%@;~fEkn!C^+>2pOTQ3_0fSP~L
z#=pxv_d3X2-SqW&{a^>QD2m3-=CCwcV6h98tqC|MLU5q>J{qopO!L?c)N|>}6H`BZ
z{LbBhamRZja1C;s*uMP<lw9y(C7WaNej)}k$S{vc?#2MIq2XRfQqK7Uq6i*-^VdAA
zHe%9Xzk`n-Hctb0>tcnp2`4LLi&~(j)V+>8t;+5X4NpSiYjw`EBjozv0&&_p)gK(@
zY%-Cqe4H@j5iJTerUnpI1v!IE^i$*|Z!A0H4p7pRT<p1-mnQNM#`@)T;=P$`a*7U6
z#>!$_9L(}0fbvvzVQ)IBTCBZ%L`z@gSbEQb&@Hw)f8Fe`n;2+*%_E}u0j2ulJhx=a
zN_&D@7ZV?Zrf-{e+uH66!u2!9Ga%Kj_W1|YYD7l6D$P3h9Ru3smbC8H7!hbgpRd}-
z$2z@3#0w;wy1n`zQ3UNzAVch`uuIRA=H#3dwK~!u>eU~}m<1?-sT!mORx*vv4ox_J
z;qEVDGgv}Rh+@U}k*wfW`eE4N-XU#0Ed_Srz*jG^B4=!7Of(m#DnK8Zjf5l&pwmQ2
zd}bb<LdiKn&7r}|i!bDr-D$DU*dt@|QtS^mcNB$l)v&1xOn8I&t64<?nI~@p%*qCE
zxW)fZ%u2<^@_!s{b*jiH0r+pc8%D|W8$LlIT*4qK#FHXG<`RVx6&0zVXa+fKv5|Z}
z{%Ml3VwKpv<$Fn>;-&0<0pWJFv)CJfPXCBb<H`1!P_UE)ufu8j`r32$*VhL3x2IEX
zAon#@g#K3lkJ3)xsK_S@8I*PiYV@#}6||yuumZGhTT8?khY@@S*6Yuz!+-)FdzzhH
zmv{E+bxcy#?X`$aTRY5-+Wd|8ld}}VRtHgM7b;rgxbAs`LfgTG9QH7MdmYhQqSn$6
z(whauF8c_R_3tSfrj;sp$;FL&8)a<c1my5dtz^IHT&6h(U(_oV?tB#)vnXmTYma#-
zE{Z_s1hc7fTts;yz_`s$C;8rk{M2^Z(TH#3UTpYAY6?S|30i#Miuu(wCnZIzK=HeE
z%$$rV8^y^|;<g7M1GI(YN4B)-%4x#RQb?mKR_Q96VdUa{Xl8v2jdtV`95_SABRrf{
zHt!z0#!5DdiDYUA!z?Uu)t4h<OW8r%!#nAj*SWe(s7q1Q&O>Aq9T9dUDvwy@yj-b4
z2JixPd3)ptg*AiJr-LKC5%xhgpc|G@<5k2opVrAB0}Pp#mB>63p`LG}5rgfk+2f0C
zDtX?%1@_jToKGZSXF_TN_>u`pM1;(eP-w4sox{99<IV78toTnQ8(|X87nguZtgYY)
zY1>0;*}5RyLq3uejuaEjM*0R$@CoSW%uIIW#&{1>a?O^5V)S74=!U_hbt9=szDlAX
z=O1ch!c<SiqiZPMJD+BUhSu8h)oAj<xnWKjGJM+qP*{0Ne6<gG?}@8k?MENWq;i4d
zenfHskDpmiHm5_foBu{cHpHE)QHWzNBDhN0<bt>&mYC@^QVNN7i)?>eQC%pUl*IKt
zVjOr8oKpOes5r`a7{13PTKT4Tcv{)fLS@j7^c!dJ41n11d)Jgf(j_;s{)Fjxe!??@
z$WCey7TQ~C1BZ-?4pB@XMuvtKJhkt;-0Kliq1GZKARq;*{~)dX+eO&#o_CgpyI$ga
z(_7ZWl}wkHl^;+64I<L0BoLvXI*2fs1W<sU`T*gBICyXx2Q%VMw3N0*-a-+WrKLIR
zyv4C7P{9&a_4Gp5V%OrHig(vwOXIn-yLXi$!MW=>J9C-@IP#O&S*PPU=RvmP8E3cW
zSxU=vhaFB2jXNzmx1A(wiHhUUfbk(KC>hTos|d;Pz(;$`9kzi4avetL)E(wH>bBri
zvS2BlY;`6Yx!`fgd4PgzV%TTWP4WVn$YjP~lvE6ILvJS87rYv*?tG46;gZbb1SkuW
zd<(L&v{63FLOO?Rxnc~ad0|G6`6-cLlne@i8o4P``dMYAd=5z!rDD)T>NeE!vcl|-
zo7X&L@tEb9CL_|w^GxHhFwzrA%fS<jg)0MIZQq2WCRBuf!Im-Bsk`fUg=sb^(!#)M
zm>IMowTheE8`WKnAvGx;3kjdrE3=MEYtT7cIK>g7ALut}?IfTES1R{Q%_moQDb`%u
zT#Q=Wct#Og%CJ!Ori?N~7siR@PFTbv2`xPQa4=r<K>lnTfTg{iK(?0^RcsYMS!@+Y
z?Om^8-uJ6@Eb)ugFNp?CE5-q|PkL35A*YA+@&srNhW>RGtGm78t&DhZ!Jkt^T$&*A
z{oF__MqGM-82hDm65%xT*Xi-NMXl$EGko8cJ+MTL?B?lU##zR7L0bgPXXIYNfFH0H
zT4~)aGSz^A7Bx=WAfzaTA2L{5(Wr`Q{z<x`*v@MsmbIKp$PH$AJt5L-MzgV07v*sZ
z9r&3-udI_7sp)AF8%dHg*Tt2<!t|tFDmH}?aX<KI11VCc(_}q-9_}-?#qn`-b(wZc
z^;tc*pYMEh5365!v>SsmYSZUaUKPs^_7<qw^caZtiP|e^iHt;1U-`btrmqd@S#khm
z+`spIotOuknwBS6)7*nh?WRJquCj;%*A#S7aimaBs<l>Ou;Lz@(iKiC_>d=W<mzn~
zvmS4k@`>&H2i_ce9W6}l!hGU#Ut0K~537P~S%=yPun@Zupw;o;Z$8}Bi$_#lAIQSt
zwl^=&IETx}c2j-FfvkcT4*2P6@Ez9{M)4|9PGQlWE$ODQB5tcMUIyfp_LN?rp{Z~*
zFR)|3D~E+V0>fW(JsTkXz=hbm7SB?S%0pjt|E;;9u@7n*+63OhXyyw?2}%vFjlR_{
zJyixsqET_BkCXXblIZ<}=@J{_2DWOSBu1dn7}38Qh^_WNXXd0&u_PdV-`K3BDM^}i
zQ(`7#a(LV-HpSv)V^-%{O#n_fWvLJBhCb6rS?EYO%G0<xZ5)qv(c#5XR)y1;i~Z>7
zpi6})iR6b?0e45LsxS&9u-vyc=da2v*8<PF&=6)1k*|>5%xx619A$Bq^OlqC1QjVh
zh%`TqPe7Cmr4;3o35#wtMS}s2aH+_25lg66QJWWbId15uir38l5^Ax!ng%6%i)dOY
z4!$29Cj9xtjA=Pjqe$0tZlijdgp-*`rdy>qRdKm#_Kc)M3mMYcPALXAT5SHDtAu`J
zV1<acs+9=W9<@}1)u{N&WVr~KPia78)ciZ_w0!!QyPy+{=VEmaUhmv%^#s<w$O|kN
z%<{99iBUU8y~8x-bKhv6DWvTy3@l;%6bs3eLkMsiF_O^*ErmovD-9C#@+22Vy@)4T
z>aU9p`QhwnzlxUAT!f%h55{D!%va9~I|G+;^-G)Mr7rEP@AtsiwDZ&!?Wg6!BOU!u
zpmY>U#nr}8<m#F0bRtZ`vwV(YB@XkjEbOaw>NA;`%%Fp$0R_U8HIJFR%#R!gR8ug)
zeVn;G65**O!uM#glV#8oL*inMX{^bD=XD??GHMPqC&PR&uG=;+y7C2{m!t-&n`kMZ
z2G(msu^*+X<JQr-{A-|~Ap-V*nNmd}MWt@V$=Ty9RUET&J-)3{TIQ9u*0BEom$FIB
zaBEO^XgF#5f!3D9F#85c+a_aE(oRiH`;fUtSc>B`d(EVJ>P)`fTJJEM1k;lE*&$`k
zW_10^UFs~3UcFxK7FkXbZCDZ+1*RlL<4UAW4bgiv{^^I0L9ve7xCN^20N;XeSlbxw
z?071Oxmj}M&CmQ9@ws@2#P7S{#o`Qe`SoIEivd^0Qe8w4G@PY4m$4@;KPs+jNp%yR
zXdk#rhl#J?b~;Ey5*uG3I0#B<ABw#qk~Gool?AR;hk$D$R@mUx85~2MRX3l6-R~6U
zc}yfyytvIxKPdHcpC$`~GVz8`bi7rJ#1HR<!75o4%zP>V$kGvm6y$&F>)zR<d5Ct{
zO1MfS-Ap2feaH^d9hpt$nT_EE+ezlBAez#~q5fzJnhg?~%tPLydDVflPd50N_!U#U
zu1|1KZxk`f(y&1&hfoalg%J(Lya`F5iWR{?W~DB|)wo>81nx(w4o4LSTNMKaHEdwM
zOKwp^ZIG+ol1*B5qnkim+i*O(3fmkFOkjVUn|^Ll5kveCHi0b%=j_S1fgL}y4m($d
z4ONaRhZQFn*DYBgo%$cG9abZEDxxQ-R#^E1ec~K*8cR4(!yvs3sMfYHf#$L-OIk~7
zL&%mUp@SGX7WC`ZS!^##APbycLOyz<)RJ*fq#5YC-EA*lR}l6#YAIRE*S;22&c&<k
zfo5@;(bNU&GEvOro?p5LgmbLUdQn_vziiW`-Yn;E3;FFd@H`&C!pTB-fnZqh-Mt|Z
zl-|?Wrsr*W@2dq~HO!hybUypVaCLoQ`UyDaShkplWrDNsXNDOgDZchYlcKgI*snx2
zO{5OPs&vweJDuNS<s42)%&wyOl~Y8aeDm6Ra&A|Bf+N_;bPr>5f&Npv^YiN`TJ>{K
zB|iKNeVrAMRWq0YtP@`Qm%PBB6z)pjNJ`2{)&A%;)Wfyn?CBY|t4>w<_#(QsQa%K&
zbwtR)M??}ie^6?0j>8)E&8^ebwc;s8_Jumy<j{HlcvKC`Wqqp5S?Q(J!NBf)?~EIv
z(Tf3-vC+qX(MUp`)+cXQ2LEj|&lnH)cJuGh&Y9Hp873ANGv*ZP>8ECV#~bcps}wF}
z9?>2kTtZ>k8pb(A9}6&adEz}#QjAo*-70WRd1p(yj^+djKW`_p8-;w{wdRsO`qClZ
zN{A$jw<Ru<#!?`AbYP+K&B3R6X&h~dZes#Ad%>)*z*|WEG$AMZ<|na#c!PNWxib;b
zlb`6-!mOo^jVd;@H*`G%uQXPyhhNN?xb8th@YSLN_W}+aS$A<$MakP54H^6l)JB#|
ziRh1Q?}!`VJ=mCV_OI(D-GXLV_$|8UUKtk-hr%Jhob%3cvwZpjfE*stL!p+DTIiE`
zR)uiuntu$=OuKgghhU_Ksa<zW7h0N3n1JzT*Ora<r6Nn1t9TBf-=bKF+#EN{ePc@Y
zhzgYBUb8a2AJMOIP2D$*)5=L?Cz45jJclAI7>ouhaFO~6T!hpS03*s=pwu0}Pg>IO
z><e_D4?zdA)yrA_bB{udH<|Fh18=jRzboU$t^21~v|0@JE1oD8U-9zBu&&hhPUyI?
z*cRQfU&#?<M@ZbS$o-C-Q#(Z<$E_i)$PxQ(;MaN_Jf2YchRyMoJ77g>cbMga+G$#9
ze&_=1t`a5xj`T8F7>r{CQqa;F0iJ=I8ix~;H-@+S+=B&_pO2iA69pKq@D3RsdTdF&
zF`0%V$T)t^p#48R89K@;{m+vT;r50Z;%gvVHoajBKp}qMvW}s9;TKr)B>Bj(58=d?
zJZC@q+eGqyiQ~msEL0z6cN*=_ymj5p1mOrt^nnkXJ{=0gs@YtP3L|OF22Eh;b?P?#
z(PtxFean>yR!E`T7`%D$E9Hr5(i1O@j%*fX(kZ*x*%PS{<@nA`$tfXca4vv?z!|X&
zo~Q<5kSF?=E*VUiMaP&`_Z>#@-nUJ|BpO=-u_|1j^jK{}Gf85Bww8JbQWWKM-GwLz
z5v`3V=y|!)%LniEQl2kf-Sp;kD!uC#9v%TDTrC7@ZIwR}_P<lTD!QO9q^1!~28uJ2
zI(YP3w|$@Y%!i36izuwfP(K&E)bpSuQo>)346bHorfO$w*fGZ?q{_|~0b6atm=;bA
z7o9V}Ro!uDK1S>TKN&zh6h^k`6D{s18(KHv38!_#Q`>=93di52dJa#-*Ta5|G`Y?f
z3GPj{U!p^vp$alfP&|o+sZ+v2jF(v=<wl5eX&i@Z)jShb#uJjx{&C*FL`$Eqq%+)f
zMQ4+!yG!=KYm>yk<MIG=7R%g9O&)SoX3&lOFgG4ivy0daugBEoCxpWrj_5I!Ym(d`
zsg1)G&@R)<eo32()Nk+|Pmr!@rC7~-jh&s5YB0ks(h1zz&ds~=1paU*6TRu`L)T;+
z#NHJ$Pc-?V)V>N6JSSJ^Im6x1xa|c=wn4IN68xpMS4`Ty6VoN@JTngOcp4anJNO=W
zHuFV?Uw;Y1@F&;p6Z2i!yugB4_1=Y^IHkE$60|HMEg%114zhjY`kGzbwa$sVhHiww
zvW^@D4E+?2_`wyG@RHJS_)lg-uPi)FNG6b`4dJoCL}vw|PYt0<5qKSkp|O%HHg+}*
zg4x8WD!Lo;?j0+q<+mtq&}$*7b70vTtQ+A*E;_M7$R-DR{nmIUJx{2^3}WBpk9rV?
zRLH)SYU(SCu+yFVd?~G@FE6?1_|$!Wm>?nCgLzWn9&U+AitY9j8xu@&bCTy$B9i1l
zOJ=`MN?0C!`zz?M#K8~+%CA89nZBk%x3te+p{9{<%Gw(PNgi!X_$aP#7+rOGE3T!l
zDznm%GZjpEQO|V3Z?N1Zdyc_3^r)Ryhbg#<OyF|{K$$wjT5uNIHg<<VZ65UD_t}#0
zdwGbQ;Sjxikbzx$5oxSSr3D@sY4WE%YE$`i6nCrVY$^z~$Z+nWu}FCioCoHp7^Nsh
z1L%5<H55l2pv#CuF`^T-d~F2BJXj^yz>E7TsP2eUckYY>8Vp-Q`@S-?*|zCzIh-5%
z=)Mk$*+aSJK~pC#Eyk4?;|Iod$0OVLR&VkIOKFGufD?<YOH?FIN^;kPV^yt_uu7Vl
zqPU@;sN#xvH-*?2s$+rIH<qZYQq$w~V@+1G^S2QBRy~nwE&Nb~iSi$^sVorqMHPRm
zC94D-T66r1okP@}X(VF}D(s`-Id9}5b+*Ld&!)&v2;>f7C_eeZl=cQ_hNf^cggv29
zyPPLv8+@Vt!ud8sdkW9-We<3c$HYU&zK;7O#J^y55Rq$;yyZs3JIER^Ri!S1Y5Ft1
zhqoB9ZzR9CiRtvm{E+FOK1U!-5Pu{{-n9;jXiZzHHsDV2<d5#w$H88E;p+&%XNu+*
zMD!8<s&&SNcy1BRI#(32ag`7L5zC{srO19ER)Whnn*h4yYUrNvHQLdVQenC*S9Tv>
zjK5b7^Qz6^gKvzlUi1B)`*S2#D}xkX-*nisjpi+qPu?#D<3+36=<IIkqlcIQanl-I
z`>8m4BGO%64{hV^EQ}4Qpe!1%%^nCY#J8{`2qJIX2|pNczPVlB1>us~*i<j110+8=
zL;s-z8#Vg8{@EB*j!6qiayDkK)FIca*Kvsng+uG|n%S_vb68IgFlx_l1K(EE&vlev
z!8;zP)sk@gi?73B2gAZEhnO!39H=o|GT4<%Kl?;rwV^rRyhhr)7~_-4su2j{KOGt;
zyyD7sN9J!*9oAu9tFUeiBW>(TmD%I+&DGU~t|-?|Jwv|9$~|$)uDMhqzJk1!+1rx7
zMvzy@+fe#MZJI?SGw|IOZMvkt`Z{$2FJPU`Vi<3=I6w!xK&;=j%az7C`o3hdi=o?o
zKG<(fDJk`G=;-L$xhGO<YVYB_L~v0<X*Hd9yLR4|NHlxJv$7uRri!b~9x8yu>19Ln
zfsRd2IHrAB%n7P`Ztldcf<R`melfRk{Dt<l0%BgKoQU6F&pQZw>{`lP(HPogO_SbL
z1gVPe8)}MFju0z8d~V6mH#MchlD2zV-aGCE4c{J@XZq@c7212`mpjw^zTts#xzr<a
zrMr2I#-pb(A-VO+^9r13+i!PC5hZq2T{UYzaEl$kO|pMd_}Rsk{k0~V{H(&8$2+Ne
zbaj*iB&RE0HZPoz_kpC?2X@*V<?!AVK@Rt*Al+Ab4qWAA9=M{wj(7Pyi;297>SF6{
zZp!EtnHGB_bM`GRA?sncl6xG%rP!8Ff_K^C2HI}Q?BsArc7ySZu2p+l-@@mR!i5*2
z{rqxYnbR?qc78?d`ni_0Z!{tO2ff)M1E0Tqr_izb_^U-1Wx<Kz$w5O*!?~U>+~BE6
zcSvT|NsV(xYxK)aCjRg%_$_;Vci3_N^5%pO{nO_)&eo(C>%#7=mjm$@&5rxewr6ke
zvep}D&R|{uTf~Nd%`US4+$R3Nvj(GoC8z(!8ThXwX0>Bo95qZI6Z(mIX-IiGKe8jT
zy?Pp{ZzL-~lu6$P0)YVPO(gS&fmt*OblgU+XhN1UpQ|*_U1h2k%iY4#=RhSdZ)JRa
z?ml<l<jDIzfaN%vxGWimfOk)H985g%9eC&5Ik>#JpPzOEafI@V%=m+$=0p;G39=xu
zR~a-w(Ko%!bmOVnQBqLm=BA(9nr&4LK);N4>!{persBgE!9~ko3RAPV;M7vOe8BPo
zt`WTuLDdcaelo7WvO`VPg(ZTGMs%O<=F97E8+ykcG}IEf*J62rtA#v%4*li4?A`}-
zvEZ=BlJy=~2c3%_B?doi_?XJ4Qm=&7Hba%o*UJ9;RN69&>k!>BjE8P78?*QB<8!Y6
zPYLF%`BT9udAqOA#|oxtGYv<45PEhKV?|HjIeC*9A5EA{HjzE(Yzsvz+c<eMu$UW$
zFx_{y5aKKk97Q)qR;E<Do-ZW&i^ux+xcML?b2AxDX)!3_OBY%#4z9PgzA}h;*~}$v
zMWzAh{JP97VNS{mOcokLP#OoMP-K@yWxG=u!P}=PA*0kOh1{ku$e<n3qt=vmGW>%X
zEk&m@XB~^x+cV}r9`FcKC})-t=rvQD(Ok;nnSAE-ncXMNk<EqPSuM)2SFfIYon-S_
zA@p3Bcsf+wQc`OQZ)AUDEX-}o3?6(SLKXA6j@j7cjZ4N&Xy*GxV<|6Km#XqCJSdly
ztjKVfQfVy^5h!X^u>>D=Y155kt_GcK4Qr}YkW6{CrHk#8tm2NY;T+f@F4LP$zXYvG
z4I7O*Aw7nWrZ)Ku#hg--?4U!kLC=%(VSi~$Si#O|6|GB0ZTjbf!3^slHS5<SrS-})
zw0(^dTnXgK;D!j1@dY;tl^FH3NJe4}^aXBaRgVdE1|}V3_9tp;@q3@8d|%I(>1+6x
zXR`e88SC!JpR>W<Ub7eG6btf4_eYgWYeZjgJ*Y?#r;pP7>%ai)t{48lI@2FT`snWu
zH@cx-W9(Q>uh6ECOEJXx4zF3c%uyYfhoF?C{q~{nLHf+$#4ebTz6yMo;N>5WUi=mT
zf{O3PZRW=R(Sjo~02*)Uo-1?wD8gS44!;M2lbof)FUL{c>>kXgOdqOS5urV2b7JXM
zedfaQS#;2L86l%h&0eVg{K69~WG#&o;dq4HaIYn)LCvQqtdpsS8J)f%mX#-{g!LJi
z-JRc>k=reg#1PA7TP8Z14$hRZOdqs3n181^oEwV|IKDFyb?PY|vsYH)I4xgoxMm82
z4!#{H$3PqRp;~>R-jH$^sXz`F0du_EO{$;D#?lR&63((!Tfzp+@g#2SNO_H>9RwA0
z*FiXAL)1}&JV`5=s$?3pEs4$QR9=;COzf)=NmIdzmhJ6aiauAjh)be%VwFY`kMPt5
z@ulR&7_KgSIh{ruXBNf_pY_v(XMoij{o`{-oQySW*Ofr?4H$A-U464n_+f^Z0Rkx7
zql_YWHky;uBj!Vp#%I1;v*|EW9J!)kW=v?=BSU=OvF3{u7f87L-MrkG3ZRW)R_yi9
z_&bjm#lPL~`(t&*<mOxf<w_GmCUMu0spgU_Af)ODTznKn=|`zJ`?QWgj8Z`<dY)Ts
zikj|!`Gd-ZqBVLJ#RByij+=ZzUM%a;PyU<<OZD=Lzn`7u(tHGz1QpvyWl|gBIn8-2
zO%WvoC8^_cnyPMhDR54TH)S)gX8ZX8e$dH8&HE>BbRi#vf~6>l6ThfVH%$0#)PZ|u
zU;OCrJ0u|W3K3$AfmB+b(DC|1?!}DaL;E>II}~<ew(NsnA+r;8LHs}93`2dA#3u{)
zS4w2<%F0rZETL>6Zj|lM4QE8%r6T*{d8lkJI*6?Gf}Qn7nk{sf(6}ABonW+U{z&}I
z11r7aH8S}~&mXpwdWn@27s((BrC%@-@{+c3Bay-X<8Y%;@FB<iE*B0$!1SbP>^aq0
zmbMUf!^M`H*~sYJC-Dm!M>}<Kn~!~-IzlYVwVs%s#qn^Sdljr&_0S(_tKNv)B13FE
z!Z-;mOR*725Q@<47fj+++(QKb@(TTxBMBs)iQK!DqT6-iA~;X>(Tb_8oD}BpP;$I0
z(*}~?@$&Y>7$(K@wQ`1;rRPMc0vE*Am01Yg;NhtFievBFL(5t(@EgCb`DRLH?$h0s
z02JS~at<{_tt1iT3~s^f`VBd#Py<V1ByuuvL8iMs&?XVKQMA0^mqPhZDD>qvAzZ*I
z$)h?VK;koP{7>o48=4I=SY=6;bl`QxIGha4U)Hza=(#6<s3mG*w{6H(uZ$X@YoLgc
zm(GfY4EW`r8|qxTdY(D;_Y~FdpmUq2*u(X<%a7ikMG@ufv2Wzj5z`~GQ&bAO&c56N
ztyf{oz2dend}Cbyh8bV9NnGv;rtK>e-UltYh;1}Md0Q>;fV7^SWHXG@gM^MdWWfm~
zECx|%iAdo(Gf4I$W!!DSxL%G4CQ!uJ`m9)5f;~vvjl38($8qE<Bk!4s1~Ne;C0@^5
zl?+t2shSq0MD2cCMQ{8WbQU$8!Gg@i22(Pbum;)Q(#bwzC-&=tB=mqfwcRzX+cJs2
z>y!@X6$)jPc#fq4ITTVe=a2P<O}pu{bIOlqHC;QTHzH~tYH^Tu?W%LE=)Ay;#c$5z
z<Ectk)AmUGa;`dCDvnVp;}O}Oo*Xs!NrPy6OB86IyAK??of-=p^J%IADQJUw!?$4G
zI}q-hU`{K5b7m1hzz)qna3Fq<SNq+Kh*Hv)oBM>qyIyl9=4bpM52}wEXsl3PdJjw#
zY9_AAs1eZHqVK8*-hNtqinLvFVYL$hpIQnkF=y(Vcq#i?PlMz#Z#He!a~cr03y`P<
z#IC3IC9u>}l&6Xl`x`*xwq_Ua1&5E4T(cmxruEWFliGjoIxlUd-kf!4E7|D^hk!=<
zJYi+0CeYkC+MK#^5m=TIcsxlVo)o0dShH;hMogPy8qhFGBSh~RT^pIkNhL7>E#>A2
zogZ|m0#+x|E;)!xs(+ahwZi49)8L#y)E2L;zfa{D$P?0=+CmsAk!QpmY{OA$;m~OS
z{etSKrK8<w$!elPIw!e~+$?e$4}Paw1O&DoblH%I(wM}n>VD@x-;Y;T0Bw=TO=XV8
z>p|ugJqKH%ijGsDu$x?xTVls1#T9EbOxfmpDP_aJuKX#vQze#e6|ST&2Wr%13+E^S
zNkRzT1Jx<3R@)AznU>P>P*@hAv4R4d<)qCfW5bX@b9w*$3Hq*%f*5F0&H8Mgc6Hpg
zmNwgT!DXWxC!v0(HarB&grOprUz&XXL9_o_c>RY!u~b>ir`hRds`(3yUsz})c{6X=
z=ah*_H!?be@T+n$!Do@wE+5X5&5O3j6lmCWgK`rqqrdlPf}{E*bXD|em(O=vYvuV;
zNbzI9Nq-eTr{fa&7R7No>Yzz4Z}d@N1$cRfFL8&E$nq)FN93d-$2(5-LD!$kKzUY-
zn|5TF^!n)@q!q{DG*EqZ&^Giu{}dstDf4U0kLexsfse67dH8*Hj}$n(pUC`mzulHH
z{d7Gcjn37fx;Z3y7WgUOBd>IKRQp80%P7oMluq~~tn5eLtc1xR>FY*aY#=_4jel4O
zgCDCJg-cQwgh95VF!UnH$N=yPk=v}r7zUGY<#fr(L9m+xyT2tL+}BRRonNu4ban;W
zy>xR+V)a|Ib=O~Zg^`D~66QFFmffKgFTx_<-jRuFxeN(<0YZ9V03p3xe=|lLY%Pop
zo&E_Oa#p;QT;C^@plL8rVK099{``|3&~yyvU1Ehu>U<K6J0b35M(Yq*5U4jvH8Q&2
zWN>#;${Cl0cWKU!GC4P|0gI4x`Wm3yy3e1`u-&cp>ypGMLr!sAAeWI5p}j@L)ht~D
zrIo&B)~+EDcH@C-SKDYTvQKGBaZPj^N(%p4nmEkHK#0~<bZ;(6J$78Z3|d#c^5b3+
z&!MKh&!r6b5@ge8sT53X=-@1^esgbX<~6%07#tX7QFYTJI&rIUxQtsRe3*7P6>~_s
zD1E<1nuxpr9*uMv9Tbg26`~tfy4T5nvk=NfK@`H{w-RXJD>)x^3x$qbU9}YMbY*g^
zLnU?BI*$vz*;EXtuCj4~rP_%bS+Hi#fXC=NVhPvR>-#avjw2w;6+*LalS7%o^o$=1
zQ~p}Ncq${!Ix%wUls6!ILI@g6sR7v$7p54k1h^mq*$Zl%Q7dNqTJxtpIIXwPtnQ)Y
zhxBZb@vuXS59w(l)KH}luH<Dm@1(e)r#X0kd#BHUxsUTd-|2hZy+19X-cgfg#g9w&
ze?keKUaGKeYF@CI7g=K!M3x^2LXSm5SEQFe@=3>=jUz!On-$!URP%?y?+HO7H%BNF
z7|_UM{x$tJnc3Fi+tCHw18kK-03StUg_5TcIQhW}HCKedcZ`Q@8p>$pG4@mQ_^^2H
ziYeZP^g3d=CznH_;<;l4mk^aYi|jyUX6=_Ag&dgGMlf7%GtH085c&i&oycoqgqYyk
zXJ6;A#UfnV*p-OFkw36v8yi5|dXKh><<2ZT#W;z|gm^S_#`?QA*Ejp9ds0w3+DYrN
z8`IT-N~zMo-7BlRjpm2nbSIh!gDK|%iF_y&%f%UxA67&0+Xa@it~T?juNuN<;S@Nv
zaI0#XsfDYWb?i60oq#i)OUt)G;CLQpEnC&jr4#i-nTzjstcBpb*-{w)5H^*+Q;(HK
zg`DL0ME@yU#S}`CYTvN#qcJMAW55_SV;A&1=oyJ!ao2U@7q;%aG<qjmut}PH?lLpL
zPr7_f=yE>G6V11G?6UB0{b~UHBp|?2`2W<^|HbDI2>AHlT>g9S8T=t3ApsBqfa{Nf
z0k}1AHn%dObuczGHn(&7vnqfTE!EV-^e^g38A;lD)){6NAV53{1SDukx52+3NL~u~
z0}2q}w?AP6Oz-~+fN}0!kr7cApp}pnrGH;dKJzZ|w{S2O!1WvSAB7Td`~Oyx5s;M-
z6;V>AlM#K7@LP?4Hw*|_{8LE>-2Wz0@V{yR*oXd9y8cz;U$O@Ot0MBBssRBV{k7u1
zBp3dpWg-q4YBqplLJ$4B<l7$@IDn!1CqadO0|?sMIynM#66|F3&20dArhlj-yni-T
zypq8J0Ny;{BK`vxaF+#0XZjmxVE}K0m94(fzc~)y11>rkb-@EV_7k8}0q_4$#SgGQ
z^S=NA9}YKn0cR&O01LIb;UC;7?^`&A+P7)~F#E>f0s#^J2_Fb(2Vg<}qlMqSwfAuD
ze$x4Q0GKhr^&3U@A7uex?EeD}@VurD#*U8C0Ihdpn}5qsyoaasDD3Y5bY&Rq@0k#P
zzz<>mEj)mL+sfGyz$7DTZe=WBXb5OQM&Cx?^uINbbvp{`0qF2xK!^XP2lz*sCHUJ0
z#2oYi+Nml4o=S0BYh!6!TT5rVzwa8d?P0VBfX#IPIsy<u_NS5xu$8~*n%|+-0EP$9
zY5mRi{vP*n2V=h+fVK*_i2j5M1hh=|x407jwz|K^<6b4_@da2HJHmUse)_-1vvG9N
zx3c<gHvG%@#)=Lwtr$@Q0TKM=`TPM1et+|S1NeV_!~6TEyXfY+wFSH&7QhI`{|nlg
z)Zd~>+nWB@w;gEC4^$5r^r`?KjN>n0>9T(dCJ#_<5pZ-gwl)Ch<&sF-8tPjK0}R%|
z+`#z{miPBY`(Et+kB0K)|G!)L`)+uz^7{woi`w5}zV|);qWSy&iQlVY{((-d{kQ1<
zGSa`%$b1j|UX<_;Xb8Rk1^riv!uP1}Rd@bC^)mlQ8a(d-e**wm+5eT_bawtIs{p`1
z8SQV8pYJQbSKaxeGPK2iRQ|W{$$xhS-^0IGQuzZu$?Ctt|C5Ep`-a}@9sJRdy8VAN
z^rz?lFX{*H;olSY{{esI@W0^S`O5EM-}BY~0W0hDzhM8o3Gp8DJ!kPBnAslx3-kB1
zjQ=(>zGnyi12x?9AE5qsuHgTtk~2n8Ac%tKBpzaqu&H<ejorY^&?{`Zk!T>ekst^n
z8Y#wNCPo7yW{a0GwZ~Dbd9B@ljip}u8M@mVs<?cXn+jCxT0!M_?p3D*ut-vX&%OZ=
zsg)#&jdCLW4h$qyzZ{wD0~518G%#cBU_`M8MX2q_fQq!Dki^ajkv3xkseBw7FB>R`
zVy0iH{ltuN`^&dq0!RoW(t@0)W=IgDB85?0QT}FTiXY4+fLTWmu=pn+H8F<Fgv#9&
z9%r1lz27&r<gA!BlK#iipdZg3ac&G}2-aSwVXrS)d=D<o`YzDCjU#+3&UMlnmu4?d
zYsStf8j4b09YSThy~tlclS`bRW5D6H(|e2($2g4_VZKh!E8ROA=CS67>EfFvh3TTt
b+=;!jU|P+J`>$CfFsoU|bwOU-ceCsYH7qU$

literal 0
HcmV?d00001

diff --git a/pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.properties b/pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.properties
new file mode 100644
index 0000000..a12448a
--- /dev/null
+++ b/pandamonium-theorem-prover/gradle/wrapper/gradle-wrapper.properties
@@ -0,0 +1,6 @@
+#Fri Feb 01 20:07:13 MST 2019
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-4.10-all.zip
diff --git a/pandamonium-theorem-prover/gradlew b/pandamonium-theorem-prover/gradlew
new file mode 100755
index 0000000..cccdd3d
--- /dev/null
+++ b/pandamonium-theorem-prover/gradlew
@@ -0,0 +1,172 @@
+#!/usr/bin/env sh
+
+##############################################################################
+##
+##  Gradle start up script for UN*X
+##
+##############################################################################
+
+# Attempt to set APP_HOME
+# Resolve links: $0 may be a link
+PRG="$0"
+# Need this for relative symlinks.
+while [ -h "$PRG" ] ; do
+    ls=`ls -ld "$PRG"`
+    link=`expr "$ls" : '.*-> \(.*\)$'`
+    if expr "$link" : '/.*' > /dev/null; then
+        PRG="$link"
+    else
+        PRG=`dirname "$PRG"`"/$link"
+    fi
+done
+SAVED="`pwd`"
+cd "`dirname \"$PRG\"`/" >/dev/null
+APP_HOME="`pwd -P`"
+cd "$SAVED" >/dev/null
+
+APP_NAME="Gradle"
+APP_BASE_NAME=`basename "$0"`
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS=""
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD="maximum"
+
+warn () {
+    echo "$*"
+}
+
+die () {
+    echo
+    echo "$*"
+    echo
+    exit 1
+}
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "`uname`" in
+  CYGWIN* )
+    cygwin=true
+    ;;
+  Darwin* )
+    darwin=true
+    ;;
+  MINGW* )
+    msys=true
+    ;;
+  NONSTOP* )
+    nonstop=true
+    ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+        # IBM's JDK on AIX uses strange locations for the executables
+        JAVACMD="$JAVA_HOME/jre/sh/java"
+    else
+        JAVACMD="$JAVA_HOME/bin/java"
+    fi
+    if [ ! -x "$JAVACMD" ] ; then
+        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+else
+    JAVACMD="java"
+    which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
+    MAX_FD_LIMIT=`ulimit -H -n`
+    if [ $? -eq 0 ] ; then
+        if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
+            MAX_FD="$MAX_FD_LIMIT"
+        fi
+        ulimit -n $MAX_FD
+        if [ $? -ne 0 ] ; then
+            warn "Could not set maximum file descriptor limit: $MAX_FD"
+        fi
+    else
+        warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
+    fi
+fi
+
+# For Darwin, add options to specify how the application appears in the dock
+if $darwin; then
+    GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
+fi
+
+# For Cygwin, switch paths to Windows format before running java
+if $cygwin ; then
+    APP_HOME=`cygpath --path --mixed "$APP_HOME"`
+    CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
+    JAVACMD=`cygpath --unix "$JAVACMD"`
+
+    # We build the pattern for arguments to be converted via cygpath
+    ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
+    SEP=""
+    for dir in $ROOTDIRSRAW ; do
+        ROOTDIRS="$ROOTDIRS$SEP$dir"
+        SEP="|"
+    done
+    OURCYGPATTERN="(^($ROOTDIRS))"
+    # Add a user-defined pattern to the cygpath arguments
+    if [ "$GRADLE_CYGPATTERN" != "" ] ; then
+        OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
+    fi
+    # Now convert the arguments - kludge to limit ourselves to /bin/sh
+    i=0
+    for arg in "$@" ; do
+        CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
+        CHECK2=`echo "$arg"|egrep -c "^-"`                                 ### Determine if an option
+
+        if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then                    ### Added a condition
+            eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
+        else
+            eval `echo args$i`="\"$arg\""
+        fi
+        i=$((i+1))
+    done
+    case $i in
+        (0) set -- ;;
+        (1) set -- "$args0" ;;
+        (2) set -- "$args0" "$args1" ;;
+        (3) set -- "$args0" "$args1" "$args2" ;;
+        (4) set -- "$args0" "$args1" "$args2" "$args3" ;;
+        (5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
+        (6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
+        (7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
+        (8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
+        (9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
+    esac
+fi
+
+# Escape application args
+save () {
+    for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
+    echo " "
+}
+APP_ARGS=$(save "$@")
+
+# Collect all arguments for the java command, following the shell quoting and substitution rules
+eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS "\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath "\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain "$APP_ARGS"
+
+# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
+if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
+  cd "$(dirname "$0")"
+fi
+
+exec "$JAVACMD" "$@"
diff --git a/pandamonium-theorem-prover/gradlew.bat b/pandamonium-theorem-prover/gradlew.bat
new file mode 100644
index 0000000..f955316
--- /dev/null
+++ b/pandamonium-theorem-prover/gradlew.bat
@@ -0,0 +1,84 @@
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem  Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS=
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto init
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto init
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:init
+@rem Get command-line arguments, handling Windows variants
+
+if not "%OS%" == "Windows_NT" goto win9xME_args
+
+:win9xME_args
+@rem Slurp the command line arguments.
+set CMD_LINE_ARGS=
+set _SKIP=2
+
+:win9xME_args_slurp
+if "x%~1" == "x" goto execute
+
+set CMD_LINE_ARGS=%*
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS%
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if  not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega
diff --git a/pandamonium-theorem-prover/lombok.config b/pandamonium-theorem-prover/lombok.config
new file mode 100644
index 0000000..0c4a2b9
--- /dev/null
+++ b/pandamonium-theorem-prover/lombok.config
@@ -0,0 +1,7 @@
+config.stopBubbling = true
+lombok.accessors.chain = true
+lombok.accessors.fluent = false
+lombok.addLombokGeneratedAnnotation = true
+lombok.log.fieldName = LOG
+lombok.toString.includeFieldNames = true
+lombok.data.flagUsage = error
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/settings.gradle b/pandamonium-theorem-prover/settings.gradle
new file mode 100644
index 0000000..eef59f5
--- /dev/null
+++ b/pandamonium-theorem-prover/settings.gradle
@@ -0,0 +1,2 @@
+rootProject.name = 'pandamonium-theorem-prover'
+
diff --git a/pandamonium-theorem-prover/src/main/java/hello/Application.java b/pandamonium-theorem-prover/src/main/java/hello/Application.java
new file mode 100644
index 0000000..b7cb82e
--- /dev/null
+++ b/pandamonium-theorem-prover/src/main/java/hello/Application.java
@@ -0,0 +1,33 @@
+package hello;
+
+import lombok.extern.slf4j.Slf4j;
+import org.springframework.boot.CommandLineRunner;
+import org.springframework.boot.SpringApplication;
+import org.springframework.boot.autoconfigure.SpringBootApplication;
+import org.springframework.context.ApplicationContext;
+import org.springframework.context.annotation.Bean;
+
+import java.util.Arrays;
+
+@Slf4j
+@SpringBootApplication
+public class Application {
+
+    public static void main(final String[] args) {
+        SpringApplication.run(Application.class, args);
+    }
+
+    @Bean
+    public CommandLineRunner commandLineRunner(final ApplicationContext ctx) {
+        return args -> {
+
+            LOG.info("Beans provided by Spring Boot:");
+
+            final String[] beanNames = ctx.getBeanDefinitionNames();
+            Arrays.sort(beanNames);
+            for (final String beanName : beanNames) {
+                LOG.info(beanName);
+            }
+        };
+    }
+}
diff --git a/pandamonium-theorem-prover/src/main/java/hello/HelloController.java b/pandamonium-theorem-prover/src/main/java/hello/HelloController.java
new file mode 100644
index 0000000..66a5927
--- /dev/null
+++ b/pandamonium-theorem-prover/src/main/java/hello/HelloController.java
@@ -0,0 +1,13 @@
+package hello;
+
+import org.springframework.web.bind.annotation.RequestMapping;
+import org.springframework.web.bind.annotation.RestController;
+
+@RestController
+public class HelloController {
+
+    @RequestMapping("/")
+    public String index() {
+        return "Greetings from Spring Boot!";
+    }
+}
diff --git a/pandamonium-theorem-prover/src/main/webapp/index.jsp b/pandamonium-theorem-prover/src/main/webapp/index.jsp
new file mode 100644
index 0000000..f8d618c
--- /dev/null
+++ b/pandamonium-theorem-prover/src/main/webapp/index.jsp
@@ -0,0 +1,16 @@
+<%--
+  Created by IntelliJ IDEA.
+  User: atusa
+  Date: 2/1/19
+  Time: 8:03 PM
+  To change this template use File | Settings | File Templates.
+--%>
+<%@ page contentType="text/html;charset=UTF-8" language="java" %>
+<html>
+  <head>
+    <title>$Title$</title>
+  </head>
+  <body>
+  $END$
+  </body>
+</html>
diff --git a/pandamonium-theorem-prover/src/test/java/HelloControllerTest.java b/pandamonium-theorem-prover/src/test/java/HelloControllerTest.java
new file mode 100644
index 0000000..de8c699
--- /dev/null
+++ b/pandamonium-theorem-prover/src/test/java/HelloControllerTest.java
@@ -0,0 +1,14 @@
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.springframework.test.context.junit4.SpringJUnit4ClassRunner;
+
+import static org.junit.Assert.assertEquals;
+
+@RunWith(SpringJUnit4ClassRunner.class)
+public class HelloControllerTest {
+
+    @Test
+    public void test() {
+        assertEquals(3, 3);
+    }
+}
diff --git a/pandamonium-theorem-prover/src/test/java/integrationTest/HelloControllerIntegrationTest.java b/pandamonium-theorem-prover/src/test/java/integrationTest/HelloControllerIntegrationTest.java
new file mode 100644
index 0000000..3b4f67d
--- /dev/null
+++ b/pandamonium-theorem-prover/src/test/java/integrationTest/HelloControllerIntegrationTest.java
@@ -0,0 +1,36 @@
+package integrationTest;
+
+import hello.Application;
+import org.junit.Before;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.springframework.beans.factory.annotation.Autowired;
+import org.springframework.boot.test.context.SpringBootTest;
+import org.springframework.boot.test.web.client.TestRestTemplate;
+import org.springframework.boot.web.server.LocalServerPort;
+import org.springframework.http.ResponseEntity;
+import org.springframework.test.context.junit4.SpringJUnit4ClassRunner;
+
+import java.net.URL;
+
+import static org.junit.Assert.assertEquals;
+
+@RunWith(SpringJUnit4ClassRunner.class)
+@SpringBootTest(webEnvironment = SpringBootTest.WebEnvironment.RANDOM_PORT, classes = Application.class)
+public class HelloControllerIntegrationTest {
+    @LocalServerPort private int port;
+    private URL base;
+    @Autowired private TestRestTemplate testRestTemplate;
+
+    @Before
+    public void setUp() throws Exception {
+        this.base = new URL("http://localhost:" + port + "/");
+    }
+
+    @Test
+    public void testGetHello() {
+        final ResponseEntity<String> response = testRestTemplate.getForEntity(base.toString(),
+                String.class);
+        assertEquals("Greetings from Spring Boot!", response.getBody());
+    }
+}
diff --git a/pandamonium-theorem-prover/src/test/resources/test.properties b/pandamonium-theorem-prover/src/test/resources/test.properties
new file mode 100644
index 0000000..2881c42
--- /dev/null
+++ b/pandamonium-theorem-prover/src/test/resources/test.properties
@@ -0,0 +1 @@
+test.base.url=http://localhost:
\ No newline at end of file