From 19ea6644e40cd2c8731f224dafe73b44c2b340ee Mon Sep 17 00:00:00 2001
From: Nikolaj <nikolajgade@live.dk>
Date: Thu, 16 Dec 2021 16:49:38 +0100
Subject: [PATCH] some of it

---
 A5/encoding.txt        |  95 +++++++++++++++++++++++++++++++++++++++++
 A5/main.c              |  34 ++++++++++++---
 A5/sim                 | Bin 0 -> 63896 bytes
 A5/test_runs/test1.hex |  17 ++++++++
 A5/test_runs/test1.out |  25 +++++++++++
 A5/test_runs/test1.sym |   2 +
 A5/test_runs/test1.trc |  24 +++++++++++
 A5/test_runs/test2.hex |  22 ++++++++++
 A5/test_runs/test2.out |  18 ++++++++
 A5/test_runs/test2.sym |   5 +++
 A5/test_runs/test2.trc |  14 ++++++
 A5/tests/test1.prime   |  18 ++++++++
 A5/tests/test2.prime   |  22 ++++++++++
 13 files changed, 289 insertions(+), 7 deletions(-)
 create mode 100644 A5/encoding.txt
 create mode 100755 A5/sim
 create mode 100644 A5/test_runs/test1.hex
 create mode 100644 A5/test_runs/test1.out
 create mode 100644 A5/test_runs/test1.sym
 create mode 100644 A5/test_runs/test1.trc
 create mode 100644 A5/test_runs/test2.hex
 create mode 100644 A5/test_runs/test2.out
 create mode 100644 A5/test_runs/test2.sym
 create mode 100644 A5/test_runs/test2.trc
 create mode 100644 A5/tests/test1.prime
 create mode 100644 A5/tests/test2.prime

diff --git a/A5/encoding.txt b/A5/encoding.txt
new file mode 100644
index 0000000..7d1457b
--- /dev/null
+++ b/A5/encoding.txt
@@ -0,0 +1,95 @@
+x86prime instructions and encoding
+----------------------------------
+
+Encoding:                                   Assembler           Operation
+
+00000000 00000000                           stop                stop the machine
+00000001 0000ssss                           ret s               return from function call
+0001aaaa ddddssss                           op s,d              reg/reg arithmetic (see below)
+00100001 ddddssss                           movq s,d            reg->reg copy
+00110001 ddddssss                           movq (s),d          load (memory -> reg copy)
+00111001 ddddssss                           movq d,(s)          store (reg -> memory copy)
+-
+0100cccc ddddssss pp...32...pp              cb<c> s,d,p         compare and continue at p if... (see below)
+01001110 dddd0000 pp...32...pp              call p,d            function call
+01001111 00000000 pp...32...pp              jmp p               continue at p
+0101aaaa dddd0000 ii...32...ii              op $i,d             constant/reg arithmethic(see below)
+01100100 dddd0000 ii...32...ii              movq $i,d           constant -> register
+01110101 ddddssss ii...32...ii              movq i(s),d         load (memory -> reg copy)
+01111101 ddddssss ii...32...ii              movq d,i(s)         store (reg -> memory copy)
+-
+10000001 ddddssss                           leaq (s),d          s -> d
+10010010 dddd0000 zzzzvvvv                  leaq (,z,v),d       z*v -> d
+10010011 ddddssss zzzzvvvv                  leaq (s,z,v),d      s+z*v -> d
+10100100 dddd0000 ii...32...ii              leaq i,d            i -> d
+10100101 ddddssss ii...32...ii              leaq i(s),d         i+s -> d
+10110110 dddd0000 zzzzvvvv ii...32...ii     leaq i(,z,v),d      i+z*v -> d
+10110111 ddddssss zzzzvvvv ii...32...ii     leaq i(s,z,v),d     i+s+z*v -> d
+-
+1111cccc dddd0000 ii...32...ii pp...32...pp cb<c> $i,d,p        compare and continue at p if... (see below)
+
+Note: first 4 bits are called the "major opcode", next 4 bits are called the "minor opcode".
+
+Explanations:
+
+aaaa indicates the kind of arithmetic operation. All operate on full 64 bits:
+
+0000 add  addition
+0001 sub  subtraction
+0010 and  bitwise and
+0011 or   bitwise or
+0100 xor  bitwise xor
+0101 mul  unsigned multiplication
+0110 sar  shift arithmetic right (preserve topmost bit)
+0111 sal  shift arithmetic left (zero into lsb, do not preserve topmost bit)
+1000 shr  shift (logical) right (zero into topmost bit)
+1001 imul signed multiplication
+
+d,s and z are registers:
+
+0000 %rax     1000 %r8
+0001 %rbx     1001 %r9
+0010 %rcx     1010 %r10
+0011 %rdx     1011 %r11
+0100 %rbp     1100 %r12
+0101 %rsi     1101 %r13
+0110 %rdi     1110 %r14
+0111 %rsp     1111 %r15
+
+v is a scale factor encoded into the field vvvv in the form of a shift amount as follows:
+
+vvvv v
+0000 1
+0001 2
+0010 4
+0011 8
+
+ii...32...ii is a 32 bit signed immediate
+pp...32...pp is a 32 bit target address
+
+<c> is a condition mnemonic used in compare-and-branch. The compare-and-branch
+instruction cb<c> is not part of the original x86 instruction set, but the
+conditions in x86prime carry the same meaning as for x86.
+
+Example: cble %rdi,%rbp,target     = if %rdi <= %rbp (signed) then jump to target
+
+Encoding          Semantic
+0000 e            Equal
+0001 ne           Not equal
+0010 <reserved>
+0011 <reserved>
+0100 l            less (signed)
+0101 le           less or equal (signed)
+0110 g            greater (signed)
+0111 ge           greater or equal (signed)
+1000 a            above (unsigned)
+1001 ae           above or equal (unsigned)
+1010 b            below (unsigned)
+1011 be           below or equal (unsigned)
+11xx <reserved>
+
+Note that signed and unsigned comparisons are different.
+
+call places the return address in a register instead of pushing it onto the stack.
+ret returns to the address in a register instead of popping it from the stack.
+returning to address 0 or to a negative address (bit 64 set) stops the machine.
diff --git a/A5/main.c b/A5/main.c
index 146cbae..95e60e6 100644
--- a/A5/main.c
+++ b/A5/main.c
@@ -105,6 +105,7 @@ int main(int argc, char* argv[]) {
         val reg_s = pick_bits(0, 4, inst_bytes[1]);
         val reg_z = pick_bits(4, 4, inst_bytes[2]);
         val shamt = pick_bits(0, 4, inst_bytes[2]);
+        val target = pick_bits(0, 8, inst_bytes[2]);
 
         // decode instruction type from major operation code
         bool is_return_or_stop = is(RETURN_STOP, major_op);
@@ -122,9 +123,24 @@ int main(int argc, char* argv[]) {
         bool is_imm_cbranch = is(IMM_CBRANCH, major_op);
 
         // Right now, we can only execute instructions with a size of 2.
-        // TODO 2021:
         // from info above determine the instruction size
-        val ins_size = from_int(2); 
+        bool size_is_2 = (is_return_or_stop || is_reg_arithmetic || is_reg_movq || is_reg_movq_mem || is_leaq2);
+        val size_2 = use_if(size_is_2, from_int(2));
+        bool size_is_3 = (is_leaq3);
+        val size_3 = use_if(size_is_3, from_int(3));
+        bool size_is_6 = (is_cflow || is_imm_arithmetic || is_imm_movq || is_imm_movq_mem || is_leaq6);
+        val size_6 = use_if(size_is_6, from_int(6));
+        bool size_is_7 = (is_leaq7);
+        val size_7 = use_if(size_is_7, from_int(7));
+        bool size_is_10 = (is_imm_cbranch);
+        val size_10 = use_if(size_is_10, from_int(10));
+
+        val add_1 = add(size_2, size_3);
+        val add_2 = add(add_1, size_6);
+        val add_3 = add(add_2, size_7);
+        val add_4 = add(add_3, size_10);
+
+        val ins_size = add_4;
 
         // broad categorization of the instruction
         bool is_leaq = is_leaq2 || is_leaq3 || is_leaq6 || is_leaq7;
@@ -139,9 +155,9 @@ int main(int argc, char* argv[]) {
         bool imm_p_pos6 = is_imm_cbranch; /* all other at position 2 */
 
         // unimplemented control signals:
-        bool is_load  = false; // TODO 2021: Detect when we're executing a load
-        bool is_store = false; // TODO 2021: Detect when we're executing a store
-        bool is_conditional = false; // TODO 2021: Detect if we are executing a conditional flow change
+        bool is_load  = (is_mem_access && !pick_one(3,minor_op));
+        bool is_store = (is_mem_access &&  pick_one(3,minor_op));
+        bool is_conditional = (is_cflow || is_imm_cbranch) && !(is(0xE, minor_op) || is(0xF, minor_op));
 
         // TODO 2021: Add additional control signals you may need below....
 
@@ -214,8 +230,11 @@ int main(int argc, char* argv[]) {
         val pc_incremented  = add(pc, ins_size);
 
         // determine the next position of the program counter
-        // TODO 2021: Add any additional sources for the next PC (for call, ret, jmp and conditional branch)
-        val pc_next = pc_incremented;
+        bool is_jump = is_cflow && (is(0xF,minor_op) || (is_conditional && !reduce_or(compute_result)));
+        val pc_next_if_not_control = use_if(!is_jump, pc_incremented);
+        val pc_next_if_jump = use_if(is_jump, target);
+        val pc_next_if_return = use_if(is_return, reg_out_b);
+        val pc_next = add(add(pc_next_if_not_control, pc_next_if_jump), pc_next_if_return);
 
         /*** MEMORY ***/
         // read from memory if needed
@@ -232,6 +251,7 @@ int main(int argc, char* argv[]) {
         reg_write(regs, reg_d, datapath_result, reg_wr_enable);
 
         // write to memory if needed
+        printf("%i\n",is_store);
         memory_write(mem, agen_result, reg_out_a, is_store);
 
         // update program counter
diff --git a/A5/sim b/A5/sim
new file mode 100755
index 0000000000000000000000000000000000000000..de17651e6ad2a70bc1e43bc9cee37d351455b308
GIT binary patch
literal 63896
zcmeFa33yf2xj(%3IcJ@mlX)b8Ae=BG0$~sV8Nv`eOo|mMh#Ep>&D7)sQKm?UlE&PU
zR$FdM6<h7aTW!5<RjxRoQbFr&(YDIHRm*MBhC&rlTiT-e|9<aU`wSVp_I}Uveb4v&
z*^s@~JFIuT>s{}9*Rc0FXItU2MK0U6oXc&^u?Q8UX-t73tUhBhND8d!Rub+btr3<N
zut#v3UZ4|D^>xe@oB9mijg;kbnCT-OtkIT}IvO%%x&E#d@tWeKR;q?sPBClXp6RbI
z(|k_q(8Kku&~&RuddA3e(&%!uO;?RB*R>@!J!0(AWm2acL6$pb%AGUiob<Rcgp)e<
zq)qrY-Pp5dS^yfa0=ZjO&vF}0xt{4l!|$Z5gV#0hgi8N6^{p`FN>^z)J=2B89!~1i
zcQwk<E}!>uy7>#HzW(|l$JFPf#=O?V>Z<kArcSIb9ba8l+q7}~#_7|>Pn$ZSv2Ma-
zQGt5p<BvXd#g(fpSF?4HIH$aA*)g!I2Ta~f{L$<zzie*%@R~Kb&y5}7&1w1|?QPGk
zuXmD%?VwEZ@FI?X&PDaJ@kbuor<s{%OIk(zdwC@(GtRa<!w8tz>oI`ou_%E~;2!7$
zzY@5<_^0)QFYO0^c|Z6&`oVv<AN-zv@U8veX{Z2bJ+FEo`f3-$U|;xU{ooV&!H@0-
z&pzu*{?>l*DgEf*0sdk5>v@5_Px&|ZgU=IuvXxVS46f-qv2H<{W(~9sHfw|vKdg$f
zP>EHxu_|Ph*VUKRT17=wjddk6W)w9xmK4{PTV)Lmbq!HiLDn~g8i8vJ6_?yxR8o0!
zQF(Dywbf8oTwPsP5@9aaBFamu>l(|fhT_^%t46alhDssWD!-+nDpY2b*EdwvhRRW}
zWMgqrc~xz3b=7TUR%584q^2HNjO7wm)(|SHDXyxu${WhcEFw9cr&(7lTReY3(c}qJ
z!@0}CxychQwTc$6Twa9w$||ZFLuCysmoKQUt1VkuyuP{&!YgX(YK`zB&Dtj;%*H|K
z#@&Sx%sc-Pt8w~HnE!12@v=dE5~&l<GOMbR7y%9$T(-b&>*oe;8dT+{jAMX#IrEOw
zU-`z_&X{?{!5=sC{k~=?7M>p*_}Dg$r@v~=G<-Y?@5myhD+<ps;aq2;@EHyg>A5I8
z<Dzpp{>C_);~<%D)<7H*`nYoinsttNGo=Y)OcdUuS>&D{g_re#p-qp%v(3&`(5!Qm
z&p+o1HtQU5=z#FGqFHB&H%k*itd7DbY8JV#i^8L$!&hY#J~@oFtokT?N)&!$6yEV2
zlAELOrpt-8c1Gc&<I%1td=?qawYyno*scKvcOki8feRM6V1Wx3`2UXuK1><%w_wX@
zU$9;MXPspQTMvd@-A98hhkP$cBf2mB9njq)PvD+1v;aB6m86|K-i>SIe-Y*seDbKk
zuMy@F;p9PqUnb0{_~fGkKTnub@X5UbKS`KV@5x;P|A;WB+>^}$|0`imGbif>{tjU-
zHBPP*_?v_|<(^z2@K*_Qsy$gC@Rtd5334)D;O&Gt<(>=(d>dg-wI@>rZXnDl_M|27
zO@vbjpZOGsk?RR_N<DcTFzq+#Pm9}Ly)oGKyI{+SGb>gu>rmy`4h1`s-oKQ|>{3YY
z&T6Q&tdDj9oB;vB4mFv{jB}wZnEp!8XnKG5@sy#>kZrwSQt<nQ|56u|v7ZLp&IF%(
zZ*K6pbMB!1V(`^ZLzxgT(g^T%A1_ZCx-e3n`Zdpf3uLQl%Bo<?Y!|b^ws%5F!S>nT
z1JIpyrUvV^6143_^%EfM8(t`%kTP@!)v#VDkL20^ly|ZMysIGN8hB1lux(3Mu&wEM
zu)PrJi_gwQsji%<meuwGP{+e41=RExQtmz&Y`@{$OE0iIiWdai&IQ{(2)4Z(Y%4q%
zY+H2%g^(WZ8aRo179Iue7;s03QyO<1xUOLPs-wUk3%0#Z(t~g@u%9t#s3Pcp67=(0
z6T#fC8P5SlW}^z5vO3uISDF`!w=I7(*mlEy)UywK$RF-%%a;nEo9GDI;jSi)b9CGX
z1*jL>fV@<f6jlJ5z8GwKqbr~lfWcN7qrCx2*CEOZo93F}?Wen7$za>lV_@xI+hg?B
zwxc^+2NP_+hhVV1RTHHq9w`OeS~*Jkq_=4LMorgjtpc@)0yn{((ST+&a3^$YMk97Y
zU+Q+1ChY=gH%Plc+HFWvHEFLl)vCR^=~8N-Cc%2E_M_CJAi-)v`t%d2>mW!l)~bUb
z9WkWeYm(UXS;m#FGt%qNr#!CP-u5~y-vJ65%OQ=%>SVbQ^9!mxS}Jdyt{HTKP8Ah|
z!K)bxG=ol-8})_Z9Z{q;s2Oy!+%#Pn4rzuJnn5San^6VKCJf)z468MRPCDuZGKLqn
z&6;hUX6xOtnbKDHaI3IrFX|TOpu0J(KZ=^+V<K{_7Fnt5k_1Cjthoh#wiDx$W3wH@
zsO`C6+b`SD3sIvo5E<0V$=Ss%DD3@nI{gih%|b`pmY;#Ya3Dp-b1H{()0v%x=bN{j
zw?bYJ&zy>Xmc_fqpyu$vPem2N3MKSd%tMzS?s9)NlV6zLp7@!PCJEEOM>7T5wwz{^
zYT0sn?zZvmg{PmSG0==({thh(wshI1DaV6<IT{>}Rza6rAmLPsSPDoW$|EAf+9Qh0
zC_IO_c7u*-B)}pF=PCC%xR%qYZClRMFlg<W_CjRo#L}JMyZfLvOWWVt&g@)ueka5|
zUU+^olY>!W+RnkOqzJC%j16+jafE9VOH(5zWv{F{)Anlcm&d914<__&uLv9b;BeQS
z{j;?(gr1?j{ziL&`MQ3XO>d_B@Og4g?T3p77Lh^2m=IxfCKMg`yMis}5>oE`kPg_9
z$#Xr<o<W?~w|iW{-NBBmS;z<Nquumpdh4;^jOSs~orT>epCNY?_8!6R>w*2MV87Y}
z`*mVZZHq4c4M9~$qrN7nHR2@FBB_0kU>Eej-YeMgJ+Su)HoFJ*+k&-sp})Iz4|9r|
z&glvBUfc2`ZGYRj>dl>Kte$UxlUX2J!Wx2Q;jvgZfwO3@`@(s~UQEt1PdVjuIFxdl
zZJe;Z%}%V9ENO4{BlFY0_a(DbqL7r+GT#t3kvT|YGJf&Ti9NcFj0@0f)sdZrZ}w30
zu87EfRB7x}mD?iav?|LYs(eMVJyn^vlFF>WnA#6@9)&vlpeynwj{X^?b{4+q;NUz~
z*Y5;(7`T1pD<E!@NT(4n`*YO4_BXK=5xtwxj#`B4Vc`-}y)W6qBPoxsLUqd#s<|SO
zSp4c=!m$_w-86xVCdv^uaSBtVqbpb6UDKeK_{7`LX^z&ZN3jjSE^a&I6vMj3>gom#
z#g?_bi(+w7Oq5*Gr-YPP3EUQRJsmCKr+=j}M1oIC5JPcoCuVpsLhq973!uZm4!t!(
zKO$KU2>i7iTCsNC_2JOC4&8VJ-H0K8wFp*s3)`Mw*!EI;Vd~CR54XL%bJf0`g%3dT
z!{TmI^Ee|8SeOz^6v1X`>~UZp02Z>?rQPS)3YuS5ImdwIxG9wu$ug61>5M^tL%13J
z5Orlq*s9CR#G$7G`d-enskE2>Lr3@xU3wz@?HEM0wgo<sa2Pxca;)7MMkt&rlL059
zcG+4?1&8FJ*Orl%h3R9*!B7f9>7>b&cDTzwOvE@$4>}-7-m~4^yZV~C*`^ntT|qTn
z!jI_R=5kn_sj$7k7w(CGGf81BTX?#8%V{gLP`Ao2t$NPU6Z4mG@?($;U6VD1=oLOp
z%N^<oSr{Jfx+>4IOr0FHx1SEUFt<Pbri}T=jv^@ywtGfGJ{nrsHR)iB(Clp#@*N{2
z9zrzUCHNm1{MmqI?MF$gt5mNTH)2tx5jPJNfz2A4f%9yL--&e^s|>arL<glp>7AzE
z69&@24iOYgWcLiF(2k@!sf}Y=3mfqP26pQR5L=$+-IlJp(&%&}bke$dwq6?%nIj^z
zmJ647;3H?cyRoliJ7=1*!%)^K(y=1Y-byod1kY1Z9aQ#Sgk{eF!m{k+94Zd76L?c=
z({+xBmV>A@x|QFe8N#hJ#AaiH4~Fz6nx(Ml`%UQ5-YPcPO`rT2p2`(!yD-U`%{av)
z;C!+5J>0FstpQkwTAsWvP2{tSSbPJ>!M4^hG@~%tSS}N47YKu|LtTpnXV~mD@3S|!
z!Fh~qw86h~p-5qW&7thVU0Aq0!wCAUgwegjNo~#7+z}$x>1xr$>6(ZZMVBns#Dbng
zDY;k^gPOQEw&W$6xS}UfN~UPy>L{WQ1U<&ia*(#Qt`nkG8sk^Wjrth#S?l|>SbLbl
zws$28<xDJvCpKMYKVq2=VksDVR@X71oQ<XMRHy41p?nxiag*|ZP(F&K@Z_iK%R>1$
zmLle_7s{VwDQs`o7lrbdSPIXHx@HOGTr7nrMqR^%^4C}j&yKo$Lit-PC54pt5T19o
z{vDL&r)fQ_X+-nWG?vwr+x#>wU^S&TKh0)YP5$PmsgV_m+fUP;QZm|iww?#F`9a?8
zXT^T!rK7NF5E4cY9PpnJh0%GH=se)5|IXG=aDP^;_j0%dak@l>E>VvX%}>)vq8$56
zlw&7|a<r@{$ENpEj+^!72YI)jl`bp_SEcvyRPH<i7L?nlm7}3{wszzGtaRY`a0%kH
zaxd!=&AJ2)xU<y)@T_#j-w}@C^=K$@y2Nf>VkZ&p_pnuPRhk22j?g)pzDv`o3g`l9
z`VdXut?8^7bb&PeQ$$O&VXvm^YBZ$jZ)^HKT~Ly?)<*%EUS)@~Tg0YfN_IGH(aWYb
zOFhWD?KlYvYbSxX=$=7g>6xD1;*!F=qj1=<`ebzrEAL<x4+srKqo)JGnLC*td<o2g
z`L%~jdZZ-p*k^v*#096E#D$Mw4lD)p^hRT6s{(ItR@7j1z0`x1yA5=$c9S>_Xb<oK
zXnvXsTcKf5nu?D<H`H0U^ibB%QV;TuX6nMx&6L7BP`Gz9<E13;j)B-`)Wr(Tj;dcQ
z<w7&`!YNuc2?Kw?%%Mp=R7;Qwc!wQZ*|G5wG2<m>z<#m`*x8y04lvLq;M^;i$f*DB
zd(2_kE2KVl4EGd-d2bP3SxrAF+1CA_IpJtp^V53hk8ggO)krX)&0-@}*!S4?y&N}*
z0w3fZ_R>;dFZyCH)?{Jjoh@h8@vRJukv6B0<7wWl&}C7^mdWKFv|z`<CafUB?keGX
zi{N{@YpPVnJM_{LuZk)uachB=m>-3g=rpc(O)`aK^jTAy)Wkb#((xS@5Ucf6DqUE4
zca)-Y(HE>xE^I;}@vT(4PuIx+q4`1Hv2HO&c>WoVJw0WQ$YqQ)`_b}0$tZ?=T3kYq
zo`rzX1HXr3W{Py)dr6n!{o<e~={_wz)kyEz&@7R~doNioj{n=DWj%Gem!{e;p{X8t
zJv1F4(s_?aZ#@VwY?T+E71vk~$va!+2*k11i+aimg2FS8uq#Q&PX^Y1EaHzju`-1x
zS!Bvtwru~Oe@2#5SPWWS=eVM$SZ>G-LH2CF6@m=JNvCA|f(JW$!z12x06cnky*EsN
zP^;@ZAYgyZ8SSG#varZGDcRN|q9PxWL@QDkR%CyeAc}l3qR2iG5UZ>xGC8bBL_<+z
zU__CdBZ{okiX7F791GVc7I~M8WU<K6FhLag4<SfPhK3b666O&_9s-ZHNThk9$Sx3!
zMSgcOY>_u4+j<O&U@UPKLEsd%Byip&WCl)>`U;$4OW~apk$St9dR$B8bOfoaLx<zc
zuvC&hTWVKVSl4k{YL|#>rEm^h%t%((M(Lu~GnynE4(SF>Iwz!i_DjMCG_u+`%Dqlo
ztEC?s1Y?Om)<hqOFaYP4zEmYyH*2=2N@I~1Ef#geHp3#VD3fe!sz`mB19D-?;~fkk
zNLxAlgY6xwqXe`+CRMa+E%BWBT6%Q_;wnyPQlWj0)}9hkRJTPBZM_$5z~}>8Kx#B2
z`<`g-wx2`bb27%{VOYxJkL5rCsH2B$hi1NqqQUuN?Y#L~9z!eIO6l4R)BeC5&A^}y
zl9U!R<O)d~_{K07130)SP7C<>UFL*qdYCI!bBzge{UXAZ9_C`$hAgp&)c8<@>$GH@
zr&*5*r)+DDFD%sb0@UC{`#Dj;PF5&|s0s7wP-g<Vhzz3A;ja0h^*IF%LRHNV^3FM&
zX<vTCdQJP^VNM>J8GbZr9rcway{^eCzz;GPj3A4P2>A(3UQKaW14*JEz-gDiLFhO+
zYZVrKcox)!)``q}xSoM0i52DOMb1eVU{3+HDs{c&(XE~8%$C@*v6o~e#7>p@lRhBZ
zBKk?M<xMV-%@6WU)98BdVGX*er%o_OS0W3VqixN-(orFalVoV+>qW5+E~~&v2qzE)
z0&%<_?($&$2~k|9%BjUe2pz!hm+<(++cakfi70L9(h&<B?s}cgZ||UqV7rY-qK{HI
zYc@a4CArmvw-NMH#@2&PnC#g@Xt+LTVKaH)BBo1ey_=(0OnkU&6ZAk{RQ(ZNt_XIh
z1g&A$AKx;^WjGw|Dh-aylykU{>iPhLU`N@R=yTfCXU8xk4nTu&ly(jx&mAt{+(7B)
zf`^$i*#b^0k`EtD25`36b-3_638#jm1dc>g`Lu0!@VVn2JR%C>B$C#ghN@c%&to-F
z*ag&#!t<M7)$BBCS2i`1(gmq}En`|30Fm`-=i#Z^B|Ojq_7yhTDFV0x?|c|ICt5@f
znLojJjEKlHBHAJ%glj}ZL?BuOT6wtZ$rusIM#Q3s2;ur~2S$ncZ+_+(?sC|yYmV^q
z40k?{^v-aOT1>*o2m$MHO}L7L#0Vi^j$nCoJqA62l>wgO94_nvpLMwK1d~%UQ2Lnk
z%8966!HY13N1F!rMZ<aRsnnLj6YQ&F(pM)o9|*Q=>9SH<_dudSw;Z&Myfz-JqY8A3
zOp|~74LcL>khHmsd{e~mcMNttYZag=_mfeds#C*QE}K%Zr0H7*JPUf75*;f<R~%9U
z0c6yne16z05H_-VE`3MJ9Sx2{s$X9@LpetIhdHFpKnS)QiT2Ty#}N$7Lt|LGAS_nD
zoAS9tU){H8nCi&RRObZ0<uv>#{C>~zAluf)hpc>YKptHTV@%N+_C<D+{M>P0&@ZF8
zFBVx0J$F3yGgzLcuFoCM`3#nCYL>ufu-u|q#(W0LO3jl087z}D%XGsMdG&#o!pOlh
zetA0ygG5^k{mHkLmV*Y1{i5p%5m3`b_vnvj_~+n}leFhPTh4Djq2WH8=ZVk3^R>^x
zQ};P|mO4BU2U`cT?St9&Mn9uDH|Zd(vlkEd^%7V{a{e)KHN35{<*3!f=sRE5$A`PF
z#7-^PA+He~#lw`jf{r{)x%LgrnuYsYw(Rdt*`ctx1uuLU<GCYgP!Ha5VO~3>mGe!o
zgD<fa9y$4a9c_-7ZpGtRYiHqG5EF}e`^CcFvVxzW;9IERSF-VmD6<3=v={y)SaK9T
z!B(R2vPPN6C*t~DD4?XpKgBcJw!){tKBMrdP+mKP;_bNh<xkO-I@C51Z59DPdY#3w
zF=Qy@yL3<tD(*O#(z*zPa2H@isl#0tqyCn2@lEfGIa+^8Pcx*eAcB17Fiq>nWtgUy
z02z5EIXybmwBZ3gpAJj(b0YlB&07vxp}FmaC!~o8YZ5!1h;|mwMB7(^_FAwb@z*e^
z#fTH^7@S7s6sMCm_o-nlj(0mUf2uiXW5#J*UH^>(dGK&fXxVbYzx6A-pmR9LI?o(u
zqs=KBGT53R^FwcmIaG+eHxpf8XjFlT{S}Ccw{3Wa`AQGJ#gpMz%;c{1odkVP&Y{;C
zGp~d?=$0M#OXE3L704O^CtwEXz(daV<uI!_MmG+xaB%4d`OL|WS*Sz(1RuJf!B*la
zh{&A{d}>nwPKWqI=XhLm=oO;+H67{nsWF-t%A__Wbxi~oR>rg=k5hLVnfQ1SWu7_N
zrWF*oISN045;uYnR+!I}H4v-tm0Dr_^4As6Ws#BmJsiZMyN^ma?c(>y1NFmQ30R_@
z%I!hiXo&CObO$8*WqA4cqhC6Hi5V~u9ee4PCz`jMuu^vXQnvsmIo$OYVh>tyD=I$+
zlgpZFav0Dt8jND{GMIoPN8SnQP(Q#&Unt^T9A=@!nc!?>Qk$@Y;;c<;|4?&iYmbI%
zr`7^{uPOHfu%B9D>PkgRI3GB5{S`)mUReDYH1*SJd<X46l@38QMo<|A*^%J60_{H1
z)^v!kHT3X9v+@eGV~9#0Lq5E!2~`&!2|v_)3f+3R@Hot5o!ZP-0;31repxazn7xTW
zmLNJr0@>}a(Wg#e4C;r|?`3KuJ*QnA?`<9Q!MD2F@e)t}3S15aS_+TbsQdE5Ln(K0
zbFzz;ijF}qzUuU~ek&*S*_}|h>wTbEgA;ntA2*=76U$1D>!J5J=7l9~3xDr3!6IcV
z<8@bL9|0u~rN(SP#F4~9dc8KW2u=}MwhuGSeGQsWUs-YDT`Apq^x)yHUmX3+CHEKD
zhM!6CUaw8atAd4RT8^jSh)j!Lc(jkVD7e-L`+I1Sqln{5+Ks*eowSD;iO*?1_*>h`
zBl=y6c6oaN?_WZnh<~MObEta?*hpyEk#vVJM%>^!H1b(=T6fo@$eC9W1M(W^alGMy
znvP={Un!+zQmX<RV-BYAGkO}=Z%*L-Lr8fx00p|TG!KkQ!}666j2gZVx$5*zSp}ba
zvA{284{!dAs^N~<{tKDdq$3s~A88bW1xG<w%HsuooQO0rZ@MoL6=OBqvgKTNXr16Y
zf;l=}K^26r<I=t9;_G_2pZht>oNw83-X(8ZbZBCiIj>_izLaMU;w{mpdnf{`+owFc
zqQ`Me{DNW5Sxxcsg!m*s-H1Zcj9IV`^VC~A;uORYsKkLSXx1a~XmGTG-++Rm>d7C$
zxFW4xT7y?tpAVTggMw(@{~+foN6x7lBSf19Lh!7mcj1ZAN~EK3OexWGYBbCH|6%kz
zg%2kbN*9X}!hPJonf5si!?4rmkkMwkq%ZAG$`PqqJ%z$m7ym={Igir-40Y`Y6T?CV
z$F@|QmmVA29PP5w+h%bxQp%wXS7Wkbo?Y!cpFo!*i<L{*9t8~lU^~Jnh=6|_R$%`g
z2Yl>s;jaju!a-nR7fK<Jv={y={K~T*T(8!^dHN<EBeA9MS6E~HYUtLdz;=uwtrQcG
z3|^@O>kkccpuz{8Pg7t<&X4|J$5Di-V_-qb5kyg7KU{c@3Odod5QMOvC+ve*$3`i8
z&M1qJs9OS#9^^A7$`9T87(~g4c?_c`Y%RV6-iG;4Hn3tNyo!CALTb+7Kw<8-Ayf$^
zEGR;B*|}g#%{lJo&js_?KK#K3>-rVC>Nrc97i#X{XqBDus&l3udDmQTmLvPd{I)G`
zwl%>dtB$s8IaaV0?+2@q_<jVu_w?i#C?gO2um)(ukq@h1^D{(AYS}dxIn1vA{M;We
zvX8bLj~jaw^Dz(|E8=iU8+;z05t8}$SPbGcT6qS=rIm%pPfcT2Mo;@kW!lHV+3}7<
zS$|_nwU5vsf8@L0HYO2g!alwE`TYeDH4e-5!_T9^{A7S;GtG=P+-Pv>-iUo0-YLVb
zmE&dewx9{q+K7ecBJU8Im-*2l$D=*zR95i0vU5K669$TG(4VV0<Ad=#R&=+mI*l{U
zw?P!o_!e}H@eFK1kHdq}gQvyfR0_}F&II|n1e9T2oB{3Ef@6U}KZu0rk4G)E<nvMU
zu3gqKyM3Bv&HLiww%6yaTHN;Wyp{9X&aVn~jNc6OHOt0+f)V2D+I9pU^4urx(9lW0
zF`xHZ)^>JT+j|S!{xGjQ^S8m47wq7Sx0?RQ&*QDVVczxgZkTuDyrSsOWbyM@FTku!
zDU+OpFI*QaaKQo>EO5aB7c6kW0v9aMp9T0mLoZ<&@>~4vc}f4(BfSHE3-Nay{yqjR
z0qGF@O~M~#t-zNlH3sU+1EGfElCnT~T|=O%7GJp3R1&JHs}0oG;R~6{8UphDOpSqC
ziW>v9b)i5_aj2xStQ6%}O0k-%MnMHoL|6l%y1wLC7C0NLYAXV@#WiKDw!WdRqM^8^
zysEm4Wg4q$nyQQORZz<fpM2XB3lx`@Hk36s2F6s?1}e)oQjKD&IMy1u5qhku<<~gr
zYN2p_Ls=-$v#d3KyfvkvG*H}75vXZu3<cJg1xAk_KRQrVPVrR~S6oeUBW`8XZ9`Ql
znmMvGFtU1Myfv~a-db2!Th_PTYRYQr8gA|1R4CPtz40|#eVDdC{<@}6Uj-VhMfmcq
zvQpZB-{2LXO)cmhm>IAFBiH6nnmlFdrPD5(K4aee1q%xo6|XNTEi1o4o6lOVm6vb%
zni(h#vB8(1Ep?%?z)0lqonEDZ_4t}EKzy&ecfVKFQmgWYx|%>~*@mhTsoPo{!8X<2
zTw8YweX1eUM|r71ilYNIumg(wtj9DTt&CI?u&&ZZ0XC+ZKI#ekr|vIwE|lDWZyGBN
zl+@MK;LFJZ_^QA%x<OM-S#3zVp|5e`d_CA__IPhQh3j|9TO%9etzNw+<59YhT_Jzg
zwGDL`2}0pW#gMZC<HrZept3W9Wgx+H9G>XEN*PxTw{ir*HhPeb9$7M41kM`Igxx7}
zoFV3n=1T&_B_$klPJv4T>(Rww%>rc`>&r?)a5+<QW>}oagHfBx0{u!0*LzD<s4}3L
z#q0X1L{$BM+TK~S8tV{wq_#P8;`P_s%?#96;S226SA`mjiW?dNCHQhWv`X}9ye%*%
zFl{PrWaqjsFTgp;705sJWOsK6`8N-AcVCb6*H0nlBF%cbyZb4mdy&40H2)dIS)9dw
z|6q6b2&C^IU5GUKIeeH6=@g_pkgi7h0Mac;4<S8@^aRqANIf{O{sid=q$9C8Ux;)e
z(o&?wNOvIJiSz-aKSX*6>6=JTAa%Wf@^}q<9MTa;7aT%)q@#b@-OX=n`4Q5)kZwNQ
z-Tf%ie9RHQLRyRTBcz;DGVvJbBcxN2dNFUTL|Tb7gmlDPXgAXJNS{L5@iy9x^c2$b
zNZrS~y8}4AzYb{u(#MgmLwfwb@vaim?B92H??rkDuTmXET8a0lP9Xhfq#mDTy^M4O
z((CbJ+d`x(yU=c=!INk=(g%_5Lu%oDz#~Y<A?-rC45<%Kn|^}y5~Qb*E<;*`Hw>$h
zwjsR>>0rDw^)S)}crW@Dr0MT<cb`Uj4bnt-=zB;nL3%qr7O)KI>qx7S=A1!!q$&8!
z#luLaB7Ftv5~Qb*ehX<L9vGfRdI{3&@d=&~Qao&s%f9Ukmc236&P|N-?ZP1t@q_WV
z@!z|<Cz4}foV*t`0$Dm=!G740hegS$i;{Deq$J$pYqsVNy8PlPBZdJhWv@p%34U2X
z#JuFxJ6sEryoD|94XA^%H{<VW(A%Twt~)@*_y=we{^-}cqUk7aScK;wXk*~>o8a5w
zI)W{3cdbk0u$~k6+Xnxii8Rd9BxKRkgLeEg=wqYlr4jlF(7yxv$Y}by2z?>w|MD61
zQqUj%4Ehex{|)qOqUF1;4D0^@=qEtO8wC;lS4QeT1o~T`OJ6#6zA8dL0s5<;kBKf{
z5}|uwyZ;1zXf*x02z><T$3Vx&G$Zw|j?fo^{%g=jN7L6w=seqf^E2o>K>t1H<D<)0
zM#?_``WetiMbnET^h2Qk8T9`8?*!=Gpy$92;r@4L*pv_e%7eJ}7sN&SNtjMQ`!8Jw
zdB%X}iD!HGDtT^?@GJw*5X94$qwBfiE_aK^{R}IkoO<vaLhSqr^5ME%Kh#2iqQBk^
zo|TA~bE0`rR|s6B{{-{~(AP%OU0)O#r2h)^M?fDJO)u9~kp2<q`$5Mel86q=BlJwf
z>3;=%eKg&5gD}YW2mLhYPvO~HxD89BosVQ_F?#%iuNiN7#I)nqNIjcDzZdjz(e`qW
zl769{dq95(Z<X8_qsJN%5CHBe(Ek8>OuxcT?qm@mIvfYjZ}5K4wJ|cjATn47zi2uA
zKQU*<(60^C1E60C`o%FijtuKq0Q&0x>h8WQhCVq=Uk7^KZ@Rl5iJ|WkdH{7cgMJ=w
zP(Bb{KmF>P5j#Bqp3QGzj}*;Q9iblrz2h_JCqTa!^smO~&=J<rgLyIax82?H)WnG&
zt`EaD7y)`0=pRMb?|NV80pJ#b{uJiX8=~pr_pYnSL_71F*FFYMe?Get^nA?0{rT)Z
z&@Tr)FS?HFwG9Hm9RYn7=#|lQmkDyfQHRsuX$H^qXddQqk)DWoemCfiM1<{78@9tG
zpq~Q$;%IuA)`8`hf&MY*UyG)@{wZ9(8uZHFAx_5h!?18a+y#0a)*ru!DgSb~{KKFR
z!MbE#G<|cV{#QVs3;MUB>8`Jb%by1QNznV#FA?+Zc&u+$#gtzWE`JH=>p`C%P2Uo!
ze;MdIK>tfL-E}rxz8dtk_&~wPXnNE<dKc*HK*vix5&Me=>Hc{b^e=*bbu`_zEG+*O
z(C-AjFZ~vx%xTc~gI>n+i;`2n;#!=X^H1)=<Uog~FnP>fYGHEz9o}H_^p?0Qk_&2+
zr_W2ypO-vlesW-ba?bqZ)cMIi`M%_-SdSft91N=q*98k)u)qZiT(H0e3tX_k1q)oT
zzy%9ju)qZi{9j`M=XYP6-+AHIme-RyvGBPYeaY#uh2MA6*O4o9DrcI=I=?5AYv|aj
z$%XItkjwd98Sb-rIrNV|?XDwy5NBGvoIP0q_WHa`V#)jGfN>Nq*I1({j=<&0F)2Qa
z5OW!^I5^N~93{%N+mx3xS75NUmMhz&`;CGQ{<z6FdLJ`<*h<Rf)c^Nx-5wx?^-}}y
zHRbVcptRSqGmiZQzRA%4YT&TmM*jcXiSxU1J?ouj{9utuzi85OlWs8S9VY#{Nxx^(
z$4&a8NnbbVyC(g!NxgUpo7Vu7jxy;qlWMAE?Q7P#D;6x685o0KLmL~IG-<-53HjC~
zAn4xKeKtdmOYy|qaWO}PNj3kULDl?i#uXAA7wnV&_i#YXf43a3<GbvguI-cmDSTdE
z^S?4gGsr1y4_<;=pCSw}&A)T9W*U*$2XmPJ^azLlVL7(7tm@CyCv}X&pHraa%IR7k
zRcL)a#^IUPXNBRf=*Lwx|5x%I{wEe_p<nKY|12!8EL(&p^T=52$#~OO&v|U$k3jOc
z;(pD<6E_ge^!VcVo#-Ch%j0>EOR)=6JPPlefTm`m=6DYnT;p@84EPQpiT48K&dn@G
zKEdb7;_;ip16|9Lm3u4l2znZ7MK&STlXDoUs;sg+1O0MTr>g5L&mhVBta$zsn<v-(
zJz-XZKPGcYxuq_OXVyynGDf-@Vz@oFi`e*sxT&G;Um{6JwNrS)sOl{{Wq_`r0@;h0
z^;t>v1bkpfEWmAuB6<;WaiVM5ZB_M_XM|v{Czi@uiPR>~%lwy!6sh7z`CiuFPULE2
zG{yG?z&8n{*o*?WiCp%c!=SnU4&bINmT+}eyNa!whEt@gbDfpG5*fQ(3NJT>ogi!P
z`7;WGy*yL1S6UfWjh4M$xThL!XG*d6Ovd=d^8}n)rn7Ob&PtSBKiH|tUt3mTts(T^
za^#4otjP1S_jIu6-;rIDq_w;rMc3r&qAN20YzoLDD;BsEwXAh&!B2H<#E;XhBKK2<
zb0qS->^(0+G=!~6(!wfT>#bF$J?kt#%3V#uH+q%(RF}ItF;ed844p?g{)pXjLJhqN
zUIxEKh0CKVTpq5_R{_m~(%*|sNqLSYsy3md`w;}NU>ds_edQj2fE64PskXG#nolUj
z6qbjqQurxd?R-=1YP55{sdj}ogdfmbFzCDpU1#yhxHWtL!MihX!zB-Nk=lFCd7#7$
zWQUJoMefesTitUBPSN15t?tEW!|=IO(cO91R=W_Hkv<Lrcjxh~_7Z?&4R~g&eHFlq
z4cNTR=F_Kf2HdsHo&xG62Hd;No(bxB13tRV?gDj!fUeF0dp(HxG7{aLd$-zoAWkyi
zzOD8RpiVa6qg%ZtMboV*2Ha0@sx{Ss2MJELE;Zm0f|IOi20Xge=9r&uthK^h(rC>#
zv}0Q>-@~YOkaVEO*lrgvyzD(C2#Riwy+O&^9DBF9^P$(E9AnCDHa}RH8_%Kb?nDbm
zAv0J&wvhgPk%3lNzV`s8c_``DbYyY0>jYIj<5ZPqs)8`eP7e#C=nO}g&7UF7G^Si<
zW$gjccFRC^;&nk-HoVtuT!(JtcE%yzM?tNO`gfxy9rf=-DMtOC^KTP4l#cpJM}4KE
zzS2=&>8P(_qP~x%T$c>I83L7_0en$20LmNy#diz1+_@P=%yTyI<YqP?pWstjoMjRj
z|5a9QC-PRR28Ml`45{A1za;|#y!WDbX4BZ$-XVUL^Fd*W@4kb8yhGj3Ac@1vO;(l?
zxv0u!MsA=W1|$fDK`)xZaFiqz2K^|CpCiwkH{e|)>taYYwXxzDBa@}%Z6q@on%WR~
z2YSi$H4@l1LqJ`LQsUtlftH`4#_JQ(VUk!_m+@0AHAF~nktC+_@&l&zY~XRT?&rMB
z%ii+{qu~+K2a&<uxqq800l50H8hmt{yQ-$fs-L34ecN2Qq|Vad-fgbM0Kb$(72KVB
zwz=+vs4orC;O=d%Z3HjY;N9Ci3_lIhC$7$*XD*;d1Fi5}3PB+Qt@acF+F+n{p0g0M
z(Lj}!mmlvgrUnCYal<9A3Lv%jtYE0EtG9~9W89rk*e3TyVTHW}M{98RHqUP$dcC-e
zyYumFp5Fm1G2j#1M8#66n3nMzK^^6T*vYQW6(0V`O@+~_ARe!=T9p)wrdi$}LyxtD
z+RfH0GQuBXKySx@Tbo70xH^}Kifc#c!UZmBxORfpaQ`+De7&Zvw!GiOc)y0wznBU7
z1oFJ>J*gnM_}0NS>5gDlb4@@)L8<1NiP6<uGb5&&l}<HD{NP|V%Y7wBq+9ZKfK*e(
zYEnrT8@oDJi{R{$y6_6oKigCj^o#-LWnxiRXPxEE2be_8aw9l0O@0T0-NjZ?vKCb7
zUT-CtDzKoz8^o5a2SkA>%1Fq|-t(3&nkbU7Kta*OOf6=e<*h=U@q{u=!SH%x&j5zo
zVk>^IQ|AUNet5XxKJ>73@M*Is8ZGs)#;bHe|By&Qzp(&nd>RF1W&G1#1$XL#KBHcx
zdxPc6b!tp{4Fx3{>@x+;b_O**rVDyAb$3=<87IMPD`9uS^w6+^Xq9qUVGbn`5~jgR
zMlc71Jzv;~mnHsvD8*pkbMv&BuBwB*O9y+G4)!h`>|Hw8yL7Nm&`W%m4)C6+0H5ds
zCqsNv2saO7yIJWc`}|q{?*f^^c<#^2ZARWicYoHfyO8(fKnsuWB9`|a#4YXjXh5o+
z=;J{2z3qe8BxWsN63!)(MV!y_e1pyO4>=2h_b<4mFQA-Vz<OWJUH}9Xy%Z?*I2n_@
z6QLFVY|65~>)c=fnLN~HvL*OQy_#%nip`wm-Gp04K4isR>Po62u>ly%|8o{el!z}1
z`tJk6=jA$ImsID-ktTKDPpq&hhH?K8MID|Xwwcm0i&;UgE19x?PBa&KRvbh4*qeqh
zk5Hx)xJwq$?!%<z{18YE3NAXwj-XU*5!_2KLypa7i(Q@9TUif+)gCEzt~SEb!@?Fh
z!bT1-!mK!k+Pv|GbzGQro5PwHaO!;@sJy8(6}KjFc_^6knsMy4;e!9_6wDdo)G;6)
ztae&FVaGS;gbQS|b#{8P=3Z@C_o4gg*mocr=v7QM>ZD`$+~uzZhgpc2b&J`b0x3R`
z>iHpto3pfuUGK!KaN>-cUy541t+<)ROe*tn#?$F4Y4mhXyy?c%Wp1`IG$iX7vrLH_
zg`V-G<opuM-eb7=--Ehwxv+(b&pk;jSCIaZ&@hgJ!|S`Kn^>yi=iu;Ek~e7(E&diL
zmgjF2na)MJ>#!hxgTkJ`QU~FpX8Lwe=nsOfGH!Mx^rX92Qs5xPVsvMb8dcuC5`?&P
z??EJVY#~{0&R)KNlzNd^lJzZIzvbrK>B|$Qcf(9kbWZ=iVM6Cr8KoMTEH{@szTrZj
z*_$3wGE%$cUgt$~)1}NRmZ8;*&Xb|Df0~f$NtzWQ-3KH1#|w#ZMUx`*_&P4(sMJF-
zdRS;63g&wcBH?S7Q8MH8x|D_9?oo*AzBr%A`zuK-t#yo-MI_;Lh<4GljPiV0+&@;z
zOeRT`i)iS1mEAb}3nbAmv~dKaG)qo!G8N)R{4zU{<?6`Fo6qtxI=dM+ys1(H&y-vr
zvYdxO$(zPseH4V2dypiz32toR0n%k0co<E*$*+bBunNm_3Di@me;`(RL}Tv)>>2P0
zv7)rbUQdr6m4gOrthAD#<!#2z&0ToHUDAl@WMV0~Sy^iV$KPisegP?qt%;#yE_sGE
zX4DZKsWE|X<a^TOZ0B}leOAIJNK|4Rb^V&gFoJpG<7t%#1>@lykm!9JfUbSO<uI>3
zT(RPwamwEFb;Pu!lQ2Uv>F&-~HYM=||3Pe+yYt|tL>x3tOs05uXV+Hy8Tj$!1lI5F
zJhL?sABM4}B~WE|=ee!+NX(Tp{94dmo9$nNd8PsH-fVvv;1}W#3iI2W>~t`%GSpq0
zvws-?0T+M6g;!#IiFI8Pdl5$oo9%yvKI@XGt-BM)0fV7qxuNdeY(ECk6$ae5*|q^z
z8t~E0_5v_h8F2q*dojS940v#}Jr>M28}P_xyBXAK10LOMZvnL~`Jkxr+fDXsP@~>}
z$2Zw8fchl^{`V&PyXcGt1O9H4{T|HPXu#iZvhRW9kO5C@vbp$aGT=L#>^YFU!GP~>
zviWxKEe8C<Ci`tvw9$ZFn{0aQtp+@~$vy+{HUs`~lf4b1HW~2LCVL&!*k-`fo9s@2
z&8C6JHrsEZ?Cpm7r%m>5P`4ZE@y&J>>TNO9_cq!4K;2=eU7KxwcU7yQzQ4)-A*gp4
z>Y2@U8rplOp`O`fr-HiEP|t0)kAV7R12%85e+p{50e5b(e+KX_1Mb>l4@QeR47huX
zeG{l(G2q@Ub`3;*)l~GsCY$U0uNm;{CVM@=yAAl^CVL=SbdLc)+GIBZ{JH@@hG7AI
z!+?L@WH&+bHx2j~Fr(gY8SvaDI}gnF8t|{1>@G0hXTZO0vg=XrUIYGplYJSOA2i_k
zO|}Q3zGs@SZ;QPM;6sM`$tL^nV1C4apKh{qK>dLMyJ2UT{f7o@-fVvz6+LRe+c(>n
zgZbYKxP7xd5u$!%z?RLn8_bUxaK~ob5AbmVwr;k+4arX!@D5OYmi6yO$w#-?ccOt$
z8S0&z?XN)cvj*I`*-n9|g9dEdY;yy1*p%JB#XbP=B?BJZV*ecA&kT5Ei_LeFe{R5|
zTkPuq{=$IAw%Bt4zG}eZTkKT;Uo&9W7JDK@{n~(Mw%9WOzHY#CTWrqYZy2z7tNlL8
z{+9uF;>;1?n+Dvq)xH8vc*}shx7z&vu(u6}gTw6re``P-96ko-cMbUHR{LXsCr$Ie
zyxG1NlK*I^`?uP|Ks{x^gIn!5P){51$X5HGK>d>eagOLm6FxBDv90!2)ca>6xqY+!
z0jPg5)Z<&R)Mbnu$n_x(iP{kBxkTmTtehKxyXZ>H>Rh7se6W<9h}m9N6|ZLVG}y1V
zTz<U)8|d@vMX6u!%lvv#8h5o10eDpQ5*E<AvO#)R=GVJ2S+2Ur=Tc(aI5O`Z$V2_O
zVn*(NmM1OhA(qw~wp`{j-hk%EJd-X*U)f(lA<vY!2H-7w3V~_<2axyKn+aSdK&pK+
z<awqGkYoRfzzhKb_7xE3nJK^+`xye43y^QGrGQxiOt-&IV734Sb_3Z81PI#SrnGqi
ztgvq-FkgVx_8GD*9Kgeib#?&-EXrI1pwbQz2#VJA_Sea_Sb&gyl$0e2T+3{<ze8Yo
z`qcoM?R1L1G6fq8YrA~~DOdS!gtQiW7X@6MQVU?G{VP(|B<%*<F8kjItj*pC%5FQ3
z0<Isp9l&1u83H$mI{WNT$#$bZh%%4bcaTyPKLNmg`(BD(C%PT9J4jjYyAuKqS#iGs
zNyQC(419z6p*GLB<fL~XNL>ZGB0BjY+^AKGetw{?KtAaQ<Y{Ei19@r-a>B?BvM^>?
zid~yU1pI^>ptx&L$eSZ)v9gQt=4LiS_(j~syaB!;W*74l<SlEc*~J_LB-@v`lpOB*
z)JM2waQiaG&X^Cm_RUb-&dk_@yk%Dq$nw*deD(|i1Cq#<YQKr<?Q8*Z?3qy8&JiGB
z#ZgP2f5?^KQ`g{@#C?6-_2fxNr#f+iDJd~+AM5@D@Tqq4H^5{6mH3qS)yP{m&kF3+
z1QKvST#7{1<Ce(N0AI5AIpq20qCPIRSZ){>avBhr4_OI6wG*j(=F8Cb+xBy~6MUZ~
zcuTd^qkyxRPs~Goz7&x=5cY_YOVCoRLY^gJ<Int5GKqB)SD|S9ucfLb#L@y*S^_kP
z|D)ERID&Q->(t~{qO~TOT;twnbA?OFZinKK+aT?mb~ElIKSA;yHkzMuO0^P?v$8)Y
zvt}-_1T8l!jh~N980AV1q8xkL#f*#IY$fu{#FyZw4H-0D50ONLtN}b5@g)u-mSk%H
z*Twd&<A@NBM4pZK(!^r(!fbi@U{1g>%SxhHm6cXZ6b?oR-AuGpp1=*ksr|FbVp$*Q
z1P3Fz2)#Zoj89#}y)qAW-CSUw8pW2oJAbmx%@y{k$z<dSviET`{<L^K4m-U(MS0Ia
z>*77;JVJIcDDS!1`an)-a6%lPWQZG0<(>`J*(BD2LthUMj6XEcO5oH3xFv93{`x^K
z(Q%#A36ySflzx36mF8&<wR(LRU4^GP)avz#8d@!9JFj0Z{@b|{4};OXAB$H_xLk{r
z4>2KY@8MyCnB&LUT5?b%|2Uv!6}XqP@C3?ocRsakShJCEztK&B?0wRQWlECKCH|;k
z8Ddzx+!j2Oq8ola9BGniA16RwQvR@09w*BWp>028m7nN9W=+zJ(03K;6Agcut?R3_
zvM&Mq_sRZBFZLY{`}f1_3EcGFKgO`q>b&ed_>7gd#Qh_pEph*N#}a#B<NIfFxQf%z
zF!u+wVScjBdkRW?M}iByBz}nzf18$Wd8(}M8oxkiCvZc#Y14E~luxyZ3MU;EHVxCh
zxqF+NadguZ4heVXu5F%jYjeUkq|*z;g_<RN(of@GHu5H6Nx@50+MdjK$A^-h^-bm2
zEU*qb=P*8v!F5<CmZu&M`)Ca|E`Fk+e&0~N51@H>4f?ATUhX}Ebk{&VU>?}!Z3Fl<
z13tWsMP!B{x6Ck^8s=j%fn8PtfAgbe;bmI<WkzE>zyXW6W6co9(ccBCW(-^5IC{-=
z4Xw7)AAy)+FTp|6v@H3IA+q+KJ&vqm8R_U2H)R!%)}>d7{nnc<tF#hUfq30BT&dxL
zpUP$L;Y=YaU1wAZikRz+N(FAtH`j?uG@Z8+tzPRmf;SJu>kYKdv%cQCK_)+*#HXi%
zc8w@sVQRfLTx-aw^%|qRuJszDe1TN6GNzhU(bar0QqAunsvw0^?p0H@{K(Usx14GU
zhB{8qX|iCfwow5!o@Yd@j;}Q3uQY1HtLH~~H4kQHelSH7oxyGIVQdlu&NNM_6sMj!
zflkdM;RGH}4u5g7F33|#UiO|Mr{M5ht=#JP*9?<!b&jhMMuTd|;E{}-8%J(uL2Y6%
z#7Tb-PB4CDSpihf#rQmQn0^ql1yyq~-t(=kJ*iOi|MLeSJOTE^=N^E9-h;TM@dS8h
z{|`d=4%9#JASC0vkU11(G8Z6|5`Hi;7byOHjt3*fWDB9R&76KPlEoRD4@Pb!ks-r*
zF!E(bsAV3Ee2WMv={y)=z5f<wi+(U7kG`8JZ9p+AFb_uFCi8is<9LL9@uPE@#}+^*
z@PaAu4L8rpE_R+}xc`JfaB+amcOuNi<29tG(u-$M4;QA=Y#tQbqZFxMF{1Orq8l91
zqcWXm9~3=mh!JhY@j!D}sVO)vT=4r&!C|>hL5BTd<7o_zkT{;`5A>UYYr_R!cM1+1
zXbM_6JcP8<;s`r_d_%avK(^dYPte?}2mRCxk4p?kZk1(cB(Da<=Hi_$RKPLvK7xWC
zBW+NLV<e{lH(bt0{5B2-<?)(JZ&;mYgnGl8fJcD7AA#L@kQnpmFfsPgq1l+$fZby@
zrp&v!$a0<}GM{WVroK36DLd0Capl14jp;N$H+6bndYR<)wsgAW^{#Y=<n^X>rsVaW
z^m57TE$J-D>mBKA$?FYif#mgmbe`n(c67ev^=@?GfB;m}o6$v?Bazp8(V*z5x1x(B
zuXmzL5;%JFMl^aK8odp@%6Bp3=w0a5DSX7CH=%2ino(BoLDyz41YU1JuOE0N@_Gk)
zgXo|)pwau!=<Vk^(MRt-*ZZzP*+Z7cY(Bq@8dA*WQ*ra@=KCOSqT|>j)W)ZmKJE<U
z6*r&mxy*6%>E`Pq!dT)kW>{|ao}Y-+Prwt`p3J;?I-AC?Tfr0jq^|+zmCjA~02Q~$
zP9*dw(UrVCh8u+K2GUP#rfev@-kyGnN24F38rz#gE_ovUbwmm}c{~JXaNfFzFXPb3
zR}|oe%Xz(aP&#UgI+bzjQyI5*@=TvwJGon*%DA<YyY)#-mUeQtK8ca1b><|-8|Coc
zD2MmZt`NeAKY;mo<M0!qxpNW|ad@1>u=U}S7y{vw7y{vw7y{vw7y{vw7y{vw7y{vw
z7y{vw7y{vw7y{vw7y{vwm>~4j&X1Fr<p9DbG1NMI5<?(-64MOebDYF{0n)-JG3x<@
zPhvRg!zVG-poC9iHUJ2p#892jaS}t_!Y47CQ09>3HG|<Hkh0BSh~r@JECAg@bOL*e
zS|#ei;NbyF90!A^f;kQb&zF!B#&(A>!}73elZb$y@Fd2|XUI5xVO+@ZC1m-Z1#KYD
zTN1KzxkbmyS3|>i;Nj)oAkII8dlt`|xW)5$Bw#0BjKrP*2e(raDBiM16G)AxrapTx
zfwcH(;PTrA1k&SKB-KtMkRd>h<&|@m#B^5dHgDDO#KDKhgS6Bt6j8h-TORHul9<os
z;ezj*b|Q}#$kj|Pjv{rPu;PdS3^>amktZ@rG#t#8gC8r0e<dminw7${kY5WQe^*`e
z`M3b^n*)H?iIxL^ix>dny<UE3MRc-Kc#QGqWD0j-l9bxzX8C#8a3fp4VFBy0ta&=Y
zf?*O^U3|^t#=y^55-WE<Pji-%{a@y5zF&md`F$+HzI3!<cX6w}bP78TbGeJl;idD0
zt#h^IA==MVr>T_JZ0a42Ugu@+dBu@8b!fD_spF#MO`Wcx)mG{fh#&o@0x4~MO(zgD
z5HU{F8a+XaS)DcmoMZj8IodQN5otOPCB`RdR5f~^r!>P}D9}<a)(M31yT(M=u;GqL
zhVrb(&h`^_qGn^bfQ!zSEpIvCZ4(z4H`&wZ8`z1ams>gFk}ysh?VOwB2(|9?qMHzz
z--C8(5}EhHFpSJkn11>)gz!3)0T=2WnbTu}t{GD%TxWb{xRy6mO@Q{908JnCnE=ha
z_W|5YfX;LlBYgA5EJma=<&=Dy|2~$LL-NZc?<_`$cNQbeJBtzKoy7?A&SHdlXEDOO
zvlwCCS&T66EJm1j79$g&nvTbdGPw?R79-TtS&T66EJp4`-dT*$DfFTEl_^|}=`-=G
zeA6MvS&T5=JBtyzp0gNXuyz(B*CW4Ij>B&d9h}9;4dB;@;jxPm>f<a%ic$8E<umd3
z`=Df*_?y7^>m3Wam*^yR47Ewt@z<M&d;;UImvKLV@z;ATa>B?!EQ}eJm%TTD>kwai
zGV$^zGUD$h2u$&1eFrFc5jiWD=lXDC2H&`>VgCduB{k<2(krX5Rwt*Gh!3R<lB^G>
zzcxa1uKNcd<ZxNz$Fk-WfPrkH<)4g!ej`hDFCuJN^L2vp#>n8=h$1&;krzYA!zgm&
z7_wsssr!K~O5QFI!qXifUPIasjHs)_qP{{=2T0G37In=iBg)10tTdw5xfl>ug$1V;
z*p{_ik#)C`Y(B66C4UCVaT~1V*;<X&BI!zLJYy!d(D?mmFP~^OnzAFqS`q8n0<9Kj
zXsxQHfs6CBR_mO}#{V7gOeJ!2p)Sl<`*`8idB}*XX<TnjH7#2f*La&XHJ}9s<M17j
z*3>cNa&;D{U&9w>`ZaB(dK6+WH_&QzH=tPtx?b^cbB<#Wbtx>cz%fYtd837Ckmahf
z<|b*OE8t;N)X%qsCNMYCFwfT-L*-lrm8+rhgmhi#da67jR|BiX1`~#B8>~=Yf?5;9
z_Vn}Jo?)cDvrr3M6_(rS$Q@?PDRPGmj+Q%YgpupoU=4Sg7oTi&9Aacidq<^jM>Vok
z9>h;J*;(QOUoiDXCK;a>-FOq!%u41!fSp|!3j>Vw)h>*NY^N&4SM+njmTWP?xas5t
zOAbud`T~{vJ)rQeE2TP-|69Vxo)<f*RJMmFaIDj71P58C*XX}OT+%y0w`R3ykP@#o
zT^IkG1zO;8BNrO@jRw@so@%+1XXe?LC(KA#oZ-rWiVBOg7>pa3SRT&^D<NS{f;$=W
zSQ6P2bouEpk{1$V%f~4U0K}XL_S}JCL8AvQ&PcP<;|g*%541t`3)K|NQ$5M?1E_<k
z2B9v)PDl_i&(G3{j%*JVVc}UKH3`MEc6r07LvoruGC3o`Jv4VHD^JZvcr$Imct}NC
z!j-TsX+|ljHzGCN)D}kThTJAqX7nr*P0UQN3Br~77O|P{zuVeg?1)&ivm;_n>*>{f
zD$+GxQ-}0!Z<EFuMf1F|HuJ@rT6c^wOT-58k#5fOYtQM`DKV~*hn6M9XylD_vNqlS
z&^zJ2gr}l!dUlrX72}H$(b~OquSB)N>6IvZM=aNe$Hy8)_3S?FZr&6tA<swcv~f-M
z<)NjzKCO&TRCfj)9WC0(<ksTidwXj_#9I?l8Hy&2lF^kM9uWx~5GgUX2U}_n>t)#P
zWHW@MKsrttl4rsFB9>AdNm`T4aC-&m46lB?Soh|Da2bg$jsdW^5T`X`nIWg|C`2>5
zqh&;#&l81?m@C@#BOMXjaXwb(ciI{+axkRgVuwINlzcdwwn1XV<4vecaz<$0a3^~H
z4=$|xDlN9J(tGw*Mr>dGkH$xz)Fwx)6Jz+E10maqKsmNe3lGeL`%Hv`;N^iH(GLMg
z`oL*rc#2@uiH$=lY;T7D*r*lPqX&8gF@I#>#XH(LJ)mP(kMZL~`*8f#9hBsBYciWA
zqrhogD!W}rbH;!eCw8K_9*;fkl@T>i@_ZEPbVpu1<m4qrTR!VDu~>8mMBFpmI90ew
z&IG83OHS{>K2VSFL6I?^s~u=?#H2XZi}j`<J-umYtTzQFSTYSqSpgqp2s?b#pdY3?
zgKZujruP`j;mIn}hyPaxPsj5z9nXt|$SBK393;jQ9S;fnwKGYv3v&AFf`L85=^$qi
z<;pmX3A8fC^JJB@ID<2fE2`tdgV+=CFGc|63@opX2ysp;eNHR=+VT6Eu(S^+MtnFj
zVa3is_>{P_`oeS--Ke>kg?bI&J8d&JIpa6Vp=mGqSe!FfjYT7KP?iL>-lj1au}rVH
z=Z@IQ6SkGoHt|NZr^(_RlR2y29@;q*ey?D#Sr(D;y`oNnWAjAE=1JP-$qa2NPHgeT
zPGqSLo(ue*%aF8Qp*me0Mh8N@ro$S&=Yly?_h?q6M+fMrlpQev+%+~T4eS|}27x)e
zZ@^Y4?A;g<(IItkG{ISpTogviYF~%{Aqn;>tmlWu(wrcxSJu7VzgLT+JGqw!s9q+E
zTJrUp*!o#X>pt(j#c_shg5x`hVl=%t(W5oV@q%Q>3sS_+!lSoBF<mZOq39@**1JE`
zBORHcyEZe*`($yL72UG~#0F-d=%LA;kLt`wsFLs&9;rC3<=7Y`J=D)aJ>m$`wK3iI
zC7b7_K5IT#E4Kaj<Rm6QTKGd|sEcQ)i}B||J_Xx$=i;+vyM(s}qHg0&4Z+*QGw|q(
zSEfqwWvGB}f=cwID|?N~bSIXp3}1_Hwo3NR@l~iq*VqhYx2PfcK)<BXDz(MneG}E<
zN|o#ymgRc~qTcm==(|s)`tFl|dtD<ld>;b+q5h|`T%)tVJb8dh6Z|ZdI9u6osO%jo
z;Ukse8iAUYs*(B12c-t$Sl=#JX%))8Pi5z;0UxR%OH|?#Wj~?@<VOKLXiyZojIB`V
zXH{;C8n{HI&QiI@R4PjTKn=}TNe5Iq@=X+))FSx`H7Z{vzN7MJgbJ4nR(0e2fkwXq
zR{9)9kGqrRl$#ix&rf?<ekd&Oe7JXj8vD8$e?nzXRQ4_vIH5+&qKzk=RWp~U(M#04
zBWlb<b@^GfaEY3<L@hm{Mom-;&Z-$p)bd$s@e(z0yIQ%OZMgWXn!H2>mZ%v|s+@^x
z?pbx|618F$3+63RtGDCHQ~U&#?an)^)Dkt=b#aCovqWVrQE{E>qBUyl5;Z{bgV(U$
zKJXKx@Dn5aBPXgHR65HPfqJm@<+F^m&!ocG!`Rhx^Wh!$sW{(Sm3%^_%usQz`B^IA
zcPiy_IM{*#<e6Fto;AvYzXb3IA(MphmGH<4cw`#>lxt+V8hk>f%~E51?<&7*c!o-8
zQ3<~5Rmyoa&^0PcrF?>P5<LD>$i6<CBBp#zrMWK2fN1_@`L0uge3izvmx>!4LqF0D
z__(4^H}E)PZyz|wEn_gA2lbZRB4h9!;@;!!@A!jvW22YEVJw4F4T5(#AB=UU+G<#*
z%6tQ#olJa$s*Zvg4k%wpC9hFQCsg7rm9$j(-%;vah0lA;nZxmsN%w71L*}UT7LM7=
zIg*yDB#z?Y>1xnYWj~{mE>ZToE;m~9BOJ)EZB<aA&$hXpwuRf3#1G+Ga*MQU2yya^
zOIj#VW=gnSvypQZ@+NIn!_Z9UqjBzGw(nlW{^~UMj6bS$UzSSyFE!!~r5;v8@!`+R
zhn3GYIzyPcR8FT#dKlqqi5TEr*N99s@_IGAQ~4iO!(gvSqI}C#yzAmD<-bKG>{aP&
zmEX6f$u&G%<@o;1cK{uJK>t$%01fj!?d$Y)s=;y($bBH-LCgs>6i}(}ZZ#gA=h~&_
zBk}A~S0nN6Ql&_IyKwV+d5=d=AxZSERs)#6q(Ov42VP4w;StC{+zccT7eoSar2a$V
zq&AAnMoCnc#l$r-lZo%0=sV6XiF;RSO#Dxk2N3nMRj8k8NDJcRPLBg79_?7f^d(2#
z%QQQYeX~yxcHCS-chf2!EzJvQtktWfApjDxeY0?PdzZvAUZNQ(&Kpt!`N~Bp?*w%*
zv5#nMNJC*FNk7zu$1wSsu%WVXfKZtt*6y=T;eW~D7rwrgV`;QvEE1S-9uoI1eEJg!
z)c7J&gxqVGpt`wCX9+cqZS<izj&11!@&BQwGdZHMyHqZrN0grl#>q%Y0~$R`-Aa&w
zEgu<FUWf$!w*pDnf7DH6+9kY+?0_Wci)3AKs_BN*S3v2zmna+Uqnh5c;v%s2BtS4D
z9foG43wV~O1xx@Et=K-VX`c_(u%CP{;aR?vB*c<ZWQi&O$dap(dY7nGOaPLrm!U=j
z8UGS)ed{}uWnWU{f=QMlL4V9<azv5lX5T2UsHcrU?Kot7KU3E-ag9n>mm*^?aRxZi
zeY-eEHb%r$CMd^JBD$xqQ$Dm3LH~$+4%GOUv0_8=pK2%*-`CU>NmolZ#KTVFL#s9U
z5j9w--{9TVW^?#UD)E3hL_^`YR|O;uXbSCuHXzFONyY3WbdiTCo2#>U-~DnwV9Fd&
zmkS(F!i80rl$n=h3NO{lAd*XiP?^xN9+8&0p0Ec>9EkV*L3}+D7SuFw!o`*&QM=SK
zCMVQlCbOhSFE^1^yd=IDk1r`01=jdk#)9{mTCngW+V=+Uu1g1~;gT7VE#p4^UO?zh
z9hWhp=uAkiL*m<|D#^P`I1@Oq5{<Jb!=2ci<d?)M$*w{=NwV)_xgXGZl_=@YqzmAu
zjMXk3zTB(T96%VziSF07hLmzYYWo5Qp2GKZ&30XcdHTy9J!|8Qj=pDYgm=6Qg+J~H
zuEoR~p1l+K`9w=@T!Gk}!d-R1xi|2}je<)ib6KRws)Vz*eEW+B#`3$I_psfAY&Eb&
zWxb)&9#I*OsKf(YqXhC*@&TnnDh(}gV?D?uBp&I0Qq19ABBR=UyC5;d*aLP*C9P$#
z#1`e-E(@Hqkp)iTN1qp|KH^en`W%(@A=Y#0Dyt<r!FuS@IY4Bn<Q7(zisfra<vz)p
z22`ja!0b{<O`@M`To3(xH>&(c)a;PTUaf}V9#UCYgEUb>CIaDhHSS)OxYU4?LMk1r
zu#g&rPFx~PiF;|E$yF-;!<SUf0qm_RROWVNzoh2mt9ajRLB;`@v|Z(fum@3-=cv>V
zu@-tmU5e1}U!u~N{_k^84b@|{t*}(S%=fxdYyQCmTf^D&&Z?Amu-NKUt|pc8M=UCb
zWvC47_n2nyZBcn^)zBx^MHrH^b!N88T80+n`LGYe9&_kyl`~6auL1C(%5jIDWLq=b
zsoS-+1A5Q*q)NX|sr%TMD}1mR>eD@zh#teX&i62uZ>v@M%Se`}i{L=6L)wq9tE*Ol
z9V(+mjankpqP<;)KECe|p6K0<yC;Mj#;DE2JDWcHkFZb6N1a%9V_8J+h6fXPQl;)t
ziQ84$8f<>=RXIyl+E-QPyWFj2?m%n*pwgDe^aFi3#lz#1D^%(`D*3A_35A#SC|rr}
z$?!cbI@-Ry-V<t(cLNOHqLS`YiBGD`r3yC7!fqXvWwolDce%Ue$_Vn)v6M~25}Jyn
zE%ohCS?(t83*5;8H8UT*koK-h*`XAy3V|31va`ol9DRbFf`p=XaP$eY>cH;mlz`@P
z--^L0;}v#x`=4}WBmR7XnDM{aAMwK(mfRxy2-!mPzdy=C{Bhoa=l*EWBPtnt1l<vc
zHuMCy?{-JUbZq2g=QI>H?tkZW*&LP0aV9&b(R0+018O*S#O2EFR13L(g3+;mLc|}s
zRE>a@L3t%=6LqUGz-pv@Zld}R$3DJ&Z^^B%aO`2|mH3PK%J0f405h&^r4C@gx#CgX
z_rOBy|8M33z7;LsQz*O9KIa1Ii^vQRwO1{GLMsZW4(5#kHg@P45*YkVYQQ@x=M9zl
zh|0mVfNkhfH4bs-z&jkz)8@z~7EZbxCe2eB+?h_upoNFL!;qS@MqT8-<z6+oK;eTK
z2v|M@EOsnL3_?OGJaRji(*C7tK#TI<4lm!KQueBmz+xz_Q3JqXup86}2Rj$E?dZu=
z9t-5$B6_V+!Os+r-E~+{AL4U1a17=&8Chc{DU3Tu(<YUHc@Q(i!^)m5=Lq@cIB7i$
z_7A#A{9g8y-1>48nYH_xtDRSC1}OhiJm})oDg&OYN{kmSSKasG93RQU%F6_21v=@I
z#wDP8ku2^I_tI)UREZz*m|*~>eP0VMnO4a(QC55q&c!HJGz=<k^cs`xx<-UBLQ5S^
zVOiaSCAP-IYWfhoDH*O4hX!@3^a`}8QzfiXi91NVI3Ghf4_?6`i<7mbY9c!shXNJo
z`ulw{{rfU$4plDeJ?P5Cp&L%cB`~yPfQIVhnXJ}YZkM&Td$9yUw0+ziDtS9=fPWuQ
z=zFY!aELbiVKrtJC+|TxS;T}O-aj7tzJrq}#F2?A6NfjUr7CNcO5Al7%R;?D@2LDG
zD*3D$)Wn0fL`?sWh|kC`9`m=%E6Qri8mdZ)@O4sU4OU|%ew`aX-5#<^il$7qDvIz+
z>Kl;9uWnoQ6-AS#S$ONOs95gn1;g89-lkd&Wu;9eWkvWhD}1qgV8NtG=DXbk<7+}q
zwPmwSRRD_{N-Ae>oIY**w5fsd75HCKx;`+zF;qIcWYQ$75kC%J)L2zfYc<vKEi#lV
zDnXto{4R4zWpP8S+C_Nzu&Fv^v=1|~8Bh$r-b@MjBJQI3b#>KNZBvc>*0WVq)C87k
zQ;R|teki-ns^-sY$CNIqZ4?pHVS=h!tERZ|W=e!*_)FzL!A^Kv@KzE{>-nXy_&VWf
zxS`^v#<HTSa;sk3v4|z4zQ(fZB7R>g(?&~d&qgqZq_Id$RU9fqld8%?MGaLIm7yX>
zHG`}!D-T(9^+mVA;zgy_dbF*mwk~8<H5N5Ct!Kio2op5FkG8D59KY6GwV{mY1{N&l
zZ9Q*|7JmD@zPO>Pv98ugFRrO;V)N=68c@ut;@4`j@2NF@*t@7~V_8WP6+{b+23kgO
z2$hN2Wu>Shx&gWaE%^m;G`AQYS5$(OVybQ{LqBLzz5ZQptEyhOn99$l8?yY2c~NcI
zMyN%Oidc!IWsRYRx?2scsxbt==I^4{!mSJ^e&D-Eq?DB!Hb)OFu&CZaJHpBv%F48Z
zh?lVEqnqKdhkqO$zEWLXR|2o7Xe@GsK(7*f5jT1URxGNi+wi3#e!qbJCHkUBS$Yi=
zYh>GmP5cNw5UQ%Lu0nH637W7-JW+lr9tEn)ioY~j8xznJ${=c*lesKRyG&#@%KbL<
z61+^9;ZyJrjOO|hF)`e?=%yxU&CWxwhwyXrlvYw+U3ZHGouH%)J~(${UCE3YMU9Om
z#kJ++ftp47H{_*6U2SPqsH(0O?+t@U6O^oPD6TE3bn4P7(c{rZmap4TW>sMf7OlTE
zgwX+&s%qgdHD$H<*?Gqb#)H65bHRy2l{ICdsuC;wtL}!ABBd$PDW({8WONe;1jD3!
zblpuDQTTFT@QM30GDj}>vy)pdIZe3@!vj*v%Nxr=2!^J2s_W1@#SIl3STB1)xT=ck
z>l&w6ArQ(!Vn0yLz(9`T!;V2fJH9wwX<gI$Y8WI^*A(fiNztfjPW8GVg=0XLS*69H
z;`-uHrPE!MUFsN~o!n3sYHFyZt|f3?(HRYZXB5|jq+>AZB}M%h^&8<YP^3zNffIin
zte6fGS)KzMLd69mb?6);7u17u8UHhei1Ix|w4#!_T8!vwtEQ?p+%b*RkQzjFI317e
za||y2FY=2y0~jqix(G`L$`C5W0HB)adkBpZNav8YH1-^wRT33-2NfZ-uwzWW$25B~
z{TKavo9;JE1a*zm#EguV2%wHuqJSB?Q!G&Q93|*!T0IP2JvN*&9H^7U1*Sw-&RM3e
z2w&n*j$s5pD{)Lk$8s2*n8a9K5^6w)W1KZKVTP!yEy5JJ9%UQhr6Ej{@NC59qQzIC
zV)%4@sKF}2ER0F7NEQtIz6d>;PB(nO6s<3AEVDRp9dShxh3g`M7)nYi%Svvxipr~t
zD;kBuq9hcRG+}nAt8S`6HK@9zuC%OVLkPVV;wKLx;YOlOQC)SZ8G%-n?kp&YVpwb3
zjHZYl5-KapHljL&bGQSIgvCLq#IcIBkG$4;MDLsRR7ppxLlECkRf0}-gd=i6Nz@<%
zO^jk3KqEwotTiY}x2>@l)34YitbVzUmPKSTW|(Xt1e8LBrgFFs9kOBrZe_*J@*t{O
zu@saLZFL_lTD+{#DzB@DhfAwvx;J)c)P1VkCCXQoVy;1Ku!=T>=*5l^_3WmnTC@}^
zl8~Nq>l_2bwDwC)80+OF)ph9eTk0BM848lM4y)02r9%)BGl=Fz^~I%^T3Fd&P?o~`
zL&c#c;|9egH#cE<!ZJ|<t4Jye_g^*QGdx1iwUN${Qq)*_Q3g7C0&*G~G4fFjRvuUs
z)Hh(Hlv`yRt3no+6Gd>Wrm}Fh3N5Ot=3JzWA(L!rT@4*y*u}DrVHiVe%gRc*>Vds5
z&Ks*36+~vEtQ|3D$t((*OoUKuLs<jD5&Ma2FhD4-q44a5t~WzbD0=-W1tO7ZLWwo8
zvaY6VVr|vUb=Ac;O<Vv6nz#`CT3uIBHF0wO<Vo`<&7VAe0fNpow>D0k2jwbiIgcWL
zsWq{wv0);n*6JpdT3;1vv_iMmmo-kPq^V$|@mwg^0=xxrkLakHD`oA7NCq7Yw_(<6
zDXK>C)m7^!R+N-X#IheN<MH(+<EyJ`n>LQGsBN04e*?<VAVwXtvO=A@6X;1=uhOz|
zoq=R#n(FJZc|ndHgj%)N07jJ7(>U@b>XIKVtCJL7P=So$H|j=PW1?6CB^V!zIKIFh
zk&1Skx=W&!EHTz9!KcmjQ3?{v^O(KMg|EHkhr9Z}xGVQqA9VNRz^5DWVvfg>uSG*X
zU>Nw}s=oLy>IXjtco#l<Tc2hGn1r9)Bz|uX{OteJ*tLenRYc*NDp*0PEk5c44Qi{R
zU2RdKf9fV}ng$!K8hoPDO|ngbdAZp@Bch9-e^d~EXhE$J#0Mx=L?{YcEJ9T%N)fC5
zVbvdsRS^{N0oL!#d}r?5)4kMz-81veIWu$T&b_<yoqK19>%Mbpbu%Iz*_qkiRzRfP
z5*$7q*{PZCBj-VUJ%W#vf5kFIf_xI91O24?(rNCSh_pMd_e$`+CHQA0xVSIcmH$l%
z{&NW~FPF6|$MbA$&STkmISC!ukuA%9+JXX2Xji_h+%2ma*nXC!aXPZoGP^I_mDIQW
z+~@J7*@(Ux#=7tD<=_#(76A&sV4UnW=wH^$^JbvG4Ci-uU%>EsnGgNP1>C*~)}p@M
za6t$}GemqjFH+xbQ1Ui$ea2-i>)k_qb2R|7#J?bJ-=O@CxZR=Zd*Ge4O@%zkCC972
zE3Nla9B*f~JX>g`+IZlW`gZ#!d6~4`@ybj7QoddGsY=}LA=Ot>&TZ7UuX}GJZWlR|
z_oJm=yTbo=;&y=<S={>+9PdtZysvrvVjoCKUP71h?aQHii7O#}HBI*sw_B9SmI=!i
zot*9Ec+;8=l+^nh%h^*6n);^tVvbL{(%ND;MBAO0bE$7%E<NAtFF9&gu*;}#7Y$oW
z+%6H+M_hT<XLw)(#O)epcN4cuV@(pbyC~dG+-?W)Fmby!*Hgsp3%Sn|x2qBC^thgl
zT<!xd<HTMU2TSySVfl7B!oP{zH(HNp|J%*!PAEB#XH(zqo3|2pXWr}>y9)SHykGT7
zD?&cf!*c9)YMVu0ZjyM(R|1kgIO-oSe+>|x2qLQ!x9hLTit=*3Z00zxQ(smHZ#O=l
zEWux6Ireq$cZl0nD)tkfXC;ra-j%rSPQmZ~r!4{$vf8<{v&#PumlOYr<=9m=4-?lX
zSI?vV@5Jr0j=vH=YMVd&&`7;@UB@NF?JhZIc)ZwlNy)0Ba$NR4*2Qw{E=N7Y^`S%E
z9rSbFXY96uebgVhHq?D7n{X@f>hb`rBz_BVy9v^r#O)#^vVywwgIyT(K994|L_9`)
zyFJTu#O<5tFO`(@KK0dydKc^Xgt*-o=@4<d>e`Pb<^NNHFTn%pay{Dfbrx{xhY#`B
zMZ!fvWGjfT?+QQ{#<2uh)V<TkieEQUU!Q5OGW$;Ac4M(o;O7^M@TrHWZ+H26+~Y?Z
z>?pzC0KOFCb9XD)ET-uPEZ=VSmDPsESAjy4$(eIVxMpn>RL^)5z;L5E+XPF5DCWbQ
zB)KMNS<sD`k2*Ip?M5f2hd}#}fJ6inF}KanpeE|zU$JR#TMf`WQ{yset<8hTX*TBJ
zED?{+$lT=QJWP@ln5uD*s)=ecu|xv{MTYjpsbq0(=lONc?T$GMb8f>;-2=U@_xknD
zp&f;~L0GK6{rc{K{&mG1rNH3Pa=jZ_!p8MCWv*}24L#kP+zlHx+}u0p2D^JU^-8Ij
zj1Ifu**V_}fv}_dhTNu5Pu0Fn{XOg4n#!8WRZ8mQJ|FrZNKog~-qc%?bMdlcpz9wT
z070eaaByIqoWa4Am1Jq4EaU(KQy;je*qE*Y(c<|l^<T|3XQP_5`B<b!%GiJnh-{=k
zG%!VIY3>$rbx%MA_NY)z^s<4jfmbPaFgno2Ac(+1-s85`#wViHmB|bo{iQ5t+Me8D
zQlwa@ldyMarDv|_hfE9cG!y}?gy$_u1`eKT{zQ5XDLP-nxlR0896x^4fwCK)iU%gW
zj>`><jvP8@+2Bkn<R=YGoFCZphfG&NIq_FIH#!N{H`FSFcw~0kje*4iedRro(Le0j
zJE4S}5O&_LI_w8SAlj1QFIN|xV1;Vq;0tb|nAe4~o04H^*A)0iVe;Y2<+0{Ymgwj#
zFs23WHo8d37{<y&=MKT~8v0glJhg`RWO}yG57+$sd1q*7VCqR^lfp^&1Z<%K4v)N;
zNb=`>B3yPfk}knz!Yem*q()D$jL=Y@keJa@j%TaK3y^cTGw}Wwit|3?wB6)a<$i*)
z{jIfdH_3hTsT0__;cYd!<JBhM=_u5hcr9_$7%t=qg<b#xF<XS_4$LaE^OInxA)AdL
z$25jJOuaFaRs0Vf_{7Rg1N3*JIiEm7bK?^ut3c@nt?r)wRq|6<5%sa!>{wPAnV&)x
zLBhk~b7VxqAyP;<<TdIOH8Egp1`i)p{D`kK!6RoC`3Xecw7;=c>SO%T8-wFLrh-NI
z^$QjnN5Qp8I4~=taOcZc#a9pt!zj%v7@$JlqOtX%IdOW{rbh9L&E)vh)@hB`hKA%3
z4(5Pzt!o^;r%{11^kcd)H7d-yvL#3VKl#7N*-(_fSok~a!*a|IB&a+mB;z;#j>Yr^
zh@F6s+Fwn3mDQ*jBKm(wVOi=swckd2l^3caC8igJAdfkx_R71e>?~;K^E-uaMdXho
zN2ay?yIH?V;bA4<@0$;{{WYMnkc8UH5`_{}3a=wU+9-Xe_MAre*RRAx?W?Rv<t3)W
zO)|R|wnvio%Z5!7RIUlh*nX`?<paq7H?d!!y~-->ZTkslk0T=IM9VuwdzHf9O0fN>
z$Nx0)#J)$A5O%SHRBq=1i@i)0Z2!FgOjNXdnacY>DdRg0cKkex%+$V<c2Tl^EyEO_
zy=?4tUaj(Bu4QlSHT}A=SDs9zJkFm6+y1wZDNWS=R~|!U4fC=zX#XkpE+VPD^2;h^
z@!>Ss`ad%EugC?3pmO7hA+6uG{{6^Uf)6j7=wJ9@GFVuBO{@GGY9}Z5%CrCaKkX00
zR>qFjuYCNUv_Hi2&tV<MpN@myVJj+Xf8aqR5DrWSd2tZ&TidPjFXW{5S&OPOK`t<<
zLhV#8f^llU&<dIhwAXf8`<RBYl%?(8-3mE7OYA#CcKnvdf~Ec|A`&8MZ@Dkgm7wx;
z+6OfM{($xGR7GZ)WVWKj9v)dA&g#m`l$f<&U1I;(tHJJd8JtP5_I^42BwwS~><Y0z
zPg5jFYkwW<xBa(zU(o+heq55E_9|~FvH#=CU?dw~r$Lh{x6(e<k@${-0g-!d8q`iP
zNt;`Q&)P-%E#eSGxB#DX@zHUs_kX!P=-5LvhUGtm=*RKK9@4gcp)uRpf9oG#$0ESS
Iz$CN(09M-%YXATM

literal 0
HcmV?d00001

diff --git a/A5/test_runs/test1.hex b/A5/test_runs/test1.hex
new file mode 100644
index 0000000..87ffdbe
--- /dev/null
+++ b/A5/test_runs/test1.hex
@@ -0,0 +1,17 @@
+00000000 :                       #  test:
+00000000 : A45030000000          #      leaq data, %rsi
+00000006 : 640000000000          #      movq $0, %rax
+0000000c : 644000000000          #      movq $0, %rbp
+00000012 : 93B503                #      leaq (%rsi, %rax, 8), %r11
+00000015 : 313B                  #      movq (%r11), %rdx
+00000017 : 500001000000          #      addq $1, %rax
+0000001d : 1043                  #      addq %rdx, %rbp
+0000001f : 93B503                #      leaq (%rsi, %rax, 8), %r11
+00000022 : 313B                  #      movq (%r11), %rdx
+00000024 : 500001000000          #      addq $1, %rax
+0000002a : 1043                  #      addq %rdx, %rbp
+0000002c : 0000                  #      stop
+00000030 :                       #      .align 8
+00000030 :                       #  data:
+00000030 : 2a00000000000000      #      .quad 42
+00000038 : 1500000000000000      #      .quad 21
diff --git a/A5/test_runs/test1.out b/A5/test_runs/test1.out
new file mode 100644
index 0000000..359d574
--- /dev/null
+++ b/A5/test_runs/test1.out
@@ -0,0 +1,25 @@
+1 0
+0
+2 6
+0
+3 c
+0
+4 12
+0
+5 15
+0
+6 17
+0
+7 1d
+0
+8 1f
+0
+9 22
+0
+10 24
+0
+11 2a
+0
+12 2c
+0
+Done
diff --git a/A5/test_runs/test1.sym b/A5/test_runs/test1.sym
new file mode 100644
index 0000000..691f6da
--- /dev/null
+++ b/A5/test_runs/test1.sym
@@ -0,0 +1,2 @@
+data : 00000030
+test : 00000000
diff --git a/A5/test_runs/test1.trc b/A5/test_runs/test1.trc
new file mode 100644
index 0000000..67346fa
--- /dev/null
+++ b/A5/test_runs/test1.trc
@@ -0,0 +1,24 @@
+P 0 0
+R 5 30
+P 0 6
+R 0 0
+P 0 c
+R 4 0
+P 0 12
+R b 30
+P 0 15
+R 3 2a
+P 0 17
+R 0 1
+P 0 1d
+R 4 2a
+P 0 1f
+R b 38
+P 0 22
+R 3 15
+P 0 24
+R 0 2
+P 0 2a
+R 4 3f
+P 0 2c
+P 0 2e
diff --git a/A5/test_runs/test2.hex b/A5/test_runs/test2.hex
new file mode 100644
index 0000000..e4b3238
--- /dev/null
+++ b/A5/test_runs/test2.hex
@@ -0,0 +1,22 @@
+00000000 :                       #  test:
+00000000 : 517008000000          #      subq $8, %rsp
+00000006 : 39B7                  #      movq %r11, (%rsp)
+00000008 : 938623                #      leaq (%rdi, %rcx, 8), %r8
+0000000b : 4F0025000000          #      jmp .L6
+00000011 :                       #  .L7:
+00000011 : 3906                  #      movq %rax, (%rdi)
+00000013 :                       #  .L8:
+00000013 : 506008000000          #      addq $8, %rdi
+00000019 : 505008000000          #      addq $8, %rsi
+0000001f : 503008000000          #      addq $8, %rdx
+00000025 :                       #  .L6:
+00000025 : 4B683d000000          #      cbbe %r8, %rdi, .L10
+0000002b : 3125                  #      movq (%rsi), %rcx
+0000002d : 3103                  #      movq (%rdx), %rax
+0000002f : 472011000000          #      cbge %rax, %rcx, .L7
+00000035 : 3926                  #      movq %rcx, (%rdi)
+00000037 : 4F0013000000          #      jmp .L8
+0000003d :                       #  .L10:
+0000003d : 31B7                  #      movq (%rsp), %r11
+0000003f : 507008000000          #      addq $8, %rsp
+00000045 : 010B                  #      ret %r11
diff --git a/A5/test_runs/test2.out b/A5/test_runs/test2.out
new file mode 100644
index 0000000..9101694
--- /dev/null
+++ b/A5/test_runs/test2.out
@@ -0,0 +1,18 @@
+1 0
+0
+2 6
+1
+3 8
+0
+4 b
+0
+5 25
+0
+6 3d
+0
+7 3f
+0
+8 45
+0
+ -- value mismatch, access 'P' 0
+ -- with value 47, but tracefile expected 0
diff --git a/A5/test_runs/test2.sym b/A5/test_runs/test2.sym
new file mode 100644
index 0000000..3e2246d
--- /dev/null
+++ b/A5/test_runs/test2.sym
@@ -0,0 +1,5 @@
+.L10 : 0000003d
+.L6 : 00000025
+.L8 : 00000013
+.L7 : 00000011
+test : 00000000
diff --git a/A5/test_runs/test2.trc b/A5/test_runs/test2.trc
new file mode 100644
index 0000000..e83599d
--- /dev/null
+++ b/A5/test_runs/test2.trc
@@ -0,0 +1,14 @@
+P 0 0
+R 7 fffffffffffffff8
+P 0 6
+M fffffffffffffff8 0
+P 0 8
+R 8 0
+P 0 b
+P 0 25
+P 0 3d
+R b 0
+P 0 3f
+R 7 0
+P 0 45
+P 0 0
diff --git a/A5/tests/test1.prime b/A5/tests/test1.prime
new file mode 100644
index 0000000..7f93143
--- /dev/null
+++ b/A5/tests/test1.prime
@@ -0,0 +1,18 @@
+test:
+    leaq data,%rsi
+    movq $0,%rax
+    movq $0,%rbp
+    leaq (%rsi, %rax, 8),%r11
+    movq (%r11),%rdx
+    addq $1,%rax
+    addq %rdx,%rbp
+    leaq (%rsi, %rax, 8), %r11
+    movq (%r11), %rdx
+    addq $1, %rax
+    addq %rdx,%rbp
+    stop
+
+.align 8
+data:
+    .quad 42
+    .quad 21
\ No newline at end of file
diff --git a/A5/tests/test2.prime b/A5/tests/test2.prime
new file mode 100644
index 0000000..acc5a5a
--- /dev/null
+++ b/A5/tests/test2.prime
@@ -0,0 +1,22 @@
+test:
+    subq $8, %rsp
+    movq %r11, (%rsp)
+    leaq (%rdi, %rcx, 8), %r8
+    jmp .L6
+.L7:
+    movq %rax, (%rdi)
+.L8:
+    addq $8, %rdi
+    addq $8, %rsi
+    addq $8, %rdx
+.L6:
+    cbbe %r8, %rdi, .L10
+    movq (%rsi), %rcx
+    movq (%rdx), %rax
+    cbge %rax, %rcx, .L7
+    movq %rcx, (%rdi)
+    jmp .L8
+.L10:
+    movq (%rsp), %r11
+    addq $8, %rsp
+    ret %r11
\ No newline at end of file