From 82d320137464359ab704e129a755ac5210379493 Mon Sep 17 00:00:00 2001
From: Elias Bennour <esieben1310@gmail.com>
Date: Thu, 18 Jan 2024 18:53:46 +0100
Subject: [PATCH] add bigint to execute

---
 Makefile |  48 +++++---------------------
 consts.c |   2 +-
 njvm.c   | 102 +++++++++++++++++++++++++++++++++----------------------
 njvm.o   | Bin 46360 -> 46408 bytes
 4 files changed, 71 insertions(+), 81 deletions(-)

diff --git a/Makefile b/Makefile
index 452f957..71dc1c1 100644
--- a/Makefile
+++ b/Makefile
@@ -1,43 +1,11 @@
 # Makefile for a simple C program
+build:
+	gcc -g -Wall -Ibigint/build/include -o support.o -c support.c
+	gcc -g -Wall -Ibigint/build/include -o njvm.o -c njvm.c
+	gcc -g -Wall -Lbigint/build/lib -o njvm njvm.o support.o -lbigint
 
-# Compiler
-CC = gcc
+run: build
+	./njvm programs/prog1.bin
 
-# program to Run
-F = programs/prog1.bin
-
-# Compiler flags
-CFLAGS = -g -Wall -Ibigint/build/include
-
-LDFLAGS = -g -Wall -Lbigint/build/lib
-
-# Source file
-SRC = njvm.c 
-
-# Executable name
-TARGET = njvm
-
-njvm.o: 
-	$(CC) $(CFLAGS) -o njvm.o -c njvm.c
-
-support.o:
-	$(CC) $(CFLAGS) -o support.o -c support.c
-
-# Default target
-all: njvm.o support.o
-	$(CC) $(LDFLAGS) -o $(TARGET) njvm.o support.o -lbigint
-# Clean up
-clean:
-	rm -f $(OBJ) $(TARGET)
-
-debug: all
-	./$(TARGET) --debug $(F) 
-
-run: all
-	./$(TARGET) $(F)
-
-nja:	./nja/nja$(V)
-	./nja/nja$(V) $(IN) $(OUT)
-
-njc: ./njc/njc$(V)
-	./njc/njc$(V) $(IN) $(OUT)
+debug: build
+	./njvm --debug prog.bin
\ No newline at end of file
diff --git a/consts.c b/consts.c
index f9e447a..efb7fc7 100644
--- a/consts.c
+++ b/consts.c
@@ -1,6 +1,6 @@
 #ifndef CONSTS
 #define CONSTS
-#define VERSION 5
+#define VERSION 2
 
 #endif /* ifndef CONSTS
 #define CONSTS
diff --git a/njvm.c b/njvm.c
index ecf1c1b..93fd6ce 100644
--- a/njvm.c
+++ b/njvm.c
@@ -44,7 +44,6 @@ void help(void) {
 
 void execute(struct program program) {
     int i;
-    int intInput;
     unsigned int temp;
     char charInput;
     StackSlot tempSlot;
@@ -57,44 +56,54 @@ void execute(struct program program) {
                 goto end;
             case PUSHC:
                 if (debug == 1) printf("pushc: %i\n", IMMEDIATE(program.program[i]));
-                push(stack, stackSlotWithObjRef(getIntObj(SIGN_EXTEND(IMMEDIATE(program.program[i])))));
+                bigFromInt(SIGN_EXTEND(IMMEDIATE(program.program[i])));
+                push(stack, stackSlotWithObjRef(bip.res));
                 break;
             case ADD:
                 if (debug == 1) printf("add: %i + %i\n", peek(stack, 2), peek(stack, 1));
-                bip.op1 = pop(stack).u.objRef;
                 bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
                 bigAdd();
                 push(stack, stackSlotWithObjRef(bip.res));
                 break;
             case SUB:
                 if (debug == 1) printf("sub: %i - %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                push(stack, stackSlotWithObjRef(getIntObj(getIntValfromStackSlot(pop(stack)) - temp)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                bigSub();
+                push(stack, stackSlotWithObjRef(bip.res));
                 break;
             case MUL:
                 if (debug == 1) printf("mul: %i * %i\n", peek(stack, 2), peek(stack, 1));
-                push(stack, stackSlotWithObjRef(
-                        getIntObj(getIntValfromStackSlot(pop(stack)) * getIntValfromStackSlot(pop(stack)))));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                bigMul();
+                push(stack, stackSlotWithObjRef(bip.res));
                 break;
             case DIV:
                 if (debug == 1) printf("div: %i / %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                push(stack, stackSlotWithObjRef(getIntObj(getIntValfromStackSlot(pop(stack)) / temp)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                bigDiv();
+                push(stack, stackSlotWithObjRef(bip.res));
                 break;
             case MOD:
                 if (debug == 1) printf("mod: %i %% %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                push(stack, stackSlotWithObjRef(getIntObj(getIntValfromStackSlot(pop(stack)))));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                bigDiv();
+                push(stack, stackSlotWithObjRef(bip.rem));
                 break;
             case RDINT:
                 if (debug == 1) printf("rdint\n");
-                scanf("%i", &intInput);
-                push(stack, stackSlotWithObjRef(getIntObj(intInput)));
-                if (debug == 1) printf("pushed %i\n", intInput);
+                bigRead(stdin);
+                push(stack, stackSlotWithObjRef(bip.res));
+                if (debug == 1) printf("pushed %i\n", peek(stack, 1));
                 break;
             case WRINT:
                 if (debug == 1) printf("wrint: %i\n", peek(stack, 1));
-                printf("%i", getIntValfromStackSlot(pop(stack)));
+                bip.op1 = pop(stack).u.objRef;
+                bigPrint(stdout);
                 break;
             case RDCHR:
                 if (debug == 1) printf("rdchr\n");
@@ -104,7 +113,8 @@ void execute(struct program program) {
                 break;
             case WRCHR:
                 if (debug == 1) printf("wrchr: %c\n", peek(stack, 1));
-                printf("%c", getIntValfromStackSlot(pop(stack)));
+                bip.op1 = pop(stack).u.objRef;
+                printf("%c", bigToInt());
                 break;
             case PUSHG:
                 if (debug == 1) printf("pushg: %i\n", SIGN_EXTEND(IMMEDIATE(program.program[i])));
@@ -137,58 +147,70 @@ void execute(struct program program) {
                 break;
             case NE:
                 if (debug == 1) printf("ne: %i != %i\n", peek(stack, 2), peek(stack, 1));
-                if (getIntValfromStackSlot(pop(stack)) != getIntValfromStackSlot(pop(stack))) push(stack,
-                                                                                                   stackSlotWithObjRef(
-                                                                                                           getIntObj(
-                                                                                                                   1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() != 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case EQ:
                 if (debug == 1) printf("eq: %i == %i\n", peek(stack, 2), peek(stack, 1));
-                if (getIntValfromStackSlot(pop(stack)) == getIntValfromStackSlot(pop(stack))) push(stack,
-                                                                                                   stackSlotWithObjRef(
-                                                                                                           getIntObj(
-                                                                                                                   1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() == 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case LT:
                 if (debug == 1) printf("lt: %i < %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                if (getIntValfromStackSlot(pop(stack)) < temp) push(stack, stackSlotWithObjRef(getIntObj(1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() < 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case LE:
                 if (debug == 1) printf("le: %i <= %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                if (getIntValfromStackSlot(pop(stack)) <= temp) push(stack, stackSlotWithObjRef(getIntObj(1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() <= 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case GT:
                 if (debug == 1) printf("gt: %i > %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                if (getIntValfromStackSlot(pop(stack)) > temp) push(stack, stackSlotWithObjRef(getIntObj(1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() > 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case GE:
                 if (debug == 1) printf("ge: %i >= %i\n", peek(stack, 2), peek(stack, 1));
-                temp = getIntValfromStackSlot(pop(stack));
-                if (getIntValfromStackSlot(pop(stack)) >= temp) push(stack, stackSlotWithObjRef(getIntObj(1)));
-                else push(stack, stackSlotWithObjRef(getIntObj(0)));
+                bip.op2 = pop(stack).u.objRef;
+                bip.op1 = pop(stack).u.objRef;
+                if (bigCmp() >= 0) push(stack, stackSlotWithObjRef(getIntObj(true)));
+                else push(stack, stackSlotWithObjRef(getIntObj(false)));
                 break;
             case BRF:
                 if (debug == 1) printf("brf: %i\n", SIGN_EXTEND(IMMEDIATE(program.program[i])));
                 if (debug == 1) printf("pop: %i\n", peek(stack, 1));
-                if (getIntValfromStackSlot(pop(stack)) == 0) {
+                bip.op1 = pop(stack).u.objRef;
+                int b = bigToInt();
+                if (b == false) {
                     i = SIGN_EXTEND(IMMEDIATE(program.program[i])) - 1;
                     if (debug == 1) printf("new i: %i\n", i);
+                } else if (b != true) {
+                    printf("Error: brf: %i\n", b);
+                    exit(EXIT_FAILURE);
                 }
                 break;
             case BRT:
                 if (debug == 1) printf("brt: %i\n", SIGN_EXTEND(IMMEDIATE(program.program[i])));
                 if (debug == 1) printf("pop: %i\n", peek(stack, 1));
-                if (getIntValfromStackSlot(pop(stack)) == 1) {
+                bip.op1 = pop(stack).u.objRef;
+                b = bigToInt();
+                if (b == true) {
                     i = SIGN_EXTEND(IMMEDIATE(program.program[i])) - 1;
                     if (debug == 1) printf("new i: %i\n", i);
+                } else if (b != false) {
+                    printf("Error: brt: %i\n", b);
+                    exit(EXIT_FAILURE);
                 }
                 break;
             case JMP:
diff --git a/njvm.o b/njvm.o
index d790adbd311699fe2488f46c48f7b33d4655ad9f..293f4ac25964fbc283796193815182c37eb28c19 100644
GIT binary patch
delta 17753
zcmaK!3tUxI_Q%h;n{&D63JQpFk&A$!V4-57l6n#oUx<m1l1kJPjS?SCmO4JJ0VYkF
z()K~47E_j%XinH<rp2UAPU=LZla+numO6u`Wo9!nY5jle>~#d}|Noza?_Te<_jv;M
zRCUgE=$vbHc4SVeW^Yx7qE$I&V7mhYnv^aKPb}B8LzOS}x^5^^c5UMAn&y%Z8*$R3
zC$>wol=^UpVjZlSd|Z!_<Mk9hTQ1N?`+gXtY`F^BQ^VB2cKeT><g+LU+t0e<@#YT0
zTuJf$bClr^(TbmpQ1m^gY0t`!X10}8u0-F-0;SDR(B@831G~<@TuHvLyOm-YH@msH
zLtl~Pt1MIwb9iOCPHmQ9IUICWq$s`iY;iM(PvOw{28Vsk9a2M*d?VOlIW01_ubMl|
z3rUKvpQa4iLa}&;rqM9?f~Iw_=Xxk4F*f2sW$hNLxOJA|PN^GxyX}5a({?~ng>O6E
zn$`;AeC4412Bfc!_*zZGzD$)%jj-A(BQ{)^+QV{1R8sBns3S%@cj?#&ctyCf8#UL!
zzyA`N{n0P`<)3`h^#&Oq`-r|(R>lr<>8AWV_H|D~0A6Nxqg>G;L$8xx#U;yNhqWb!
z)~M-qR<LY9W$<vB<$*`ThR{Y-UUL=^!KXqSzgiXA*sy9?W10?M=$%aV_!0P&!Dl&Q
z>^%J|gKu-5h0vD`Yy5ioFgtD@il)eeacv?7X-mgmkA7Es>luHv%<|uQljv6&e364k
zswU2%i3TdtAIS!WHl7_gtZ{^)$r=9G47<T(=u^>P>i^SV9DEW&8)daWI{d3Rbd;bv
z>P{W?+~2n{7~rZRw6R5VZ)<Pa(;5t)dF=CpoD@GG(5Esun-!<r_WZ85`iZ;ot54mH
zXFnZEt*Uhq@Sn>5hn2tG{@d_<*WK9g?$G~xeQV+KCSquPMeoYsIOK_@9kmUH+M$hK
zzd6)y;Ee2<)K<<(h_uQwD}y7s+6H&aDZR;467U(!K2NzDlX#z;dsDuXkkPeQWw1XR
z7v3<v8K^oN)0=HiPrlnRc8oohanMh|R3`jCQyB@L(L9y?Ju8C=Tw^fwBQcZFY9<?<
zne-eCrx<qXb;C?*c_#ZaDuZp<Ct3ckV}JQlLYn{`VApqvK>kql9NKJ`l=Y|#{#2?C
z`JW7X1?_o!V>EvCozd9v-H?{MBpfFY9sYDQo`TQ65Mv+m-7ACNaGo!qKQ*NB>wgVV
zi#E=l$kKiZgW${Yd?H@Ybr>-pa<2W|Due&vT>GIvj9ecMvFpn0K1r<y!~QATYYjQO
zPiH*|C8lHzPOl8U&j#6SGG$1z9FtkDCgZ{N!b6R4Ge60Xk}}#Y*FNHtn=Uz()LHcp
zvVEt~;)gG@WPO@n{~P?;%KSc&@|8{lQU~8u8Qj9f#x*N87{!L6*f3R0?(O84Dam*1
zugN9Japr5<TeyQnpL<RIEv=KB6B{nKcS)Cvlat*I3$dizWS5ln@>+7T>)e(W9{W;~
zy|n0OU(9~%?DO)W&dK`o^6Acx=o{>`8#wI-1SQBJT?+K|^0_YkbxGDpsjO!a->^RW
zt#eYkQy-9@bwQO?2<RwxrZ&o%se@%*a)`W`)=pne!E#X7G<|vPLtO_NF40kL>)zcZ
zCe?n?eW*@iaz=MkOxo?yJTn^B%WrRvt9>*h#kOqdX*(Y7sT|w(YI01q9jEo0>J1$E
z_b)ND61ZSj{<2@IytZ)AD_3W~x3x}8{yQ${8r|!$KeRmDgy!JpvIaNA-MHtS#Jys3
zDD2pa7xA^m)U;z>P4k6mT6s8#;JVhD7L3xgqDW1fi2L!ecE}T>X$O3oc0L}l9kdQw
zv|rQG6Ob?wPZ3GD2_?gTuSK=@-S(v0$jt25vzPoX=W^{ohrFkIFZM@2*g^)>zCO(7
z(l^P&Bf3S=6N&2ssOf1y4>iRB>CNq~UzE4zChF1ho?O44Cg<fQ>pkQKjPvB~Tz?>+
zpGQO;<+}&p3@tPYQx);1xRZ@akzk5@9K|j;iX>A^ZlUO8is_Ex5z3KlikYlvD&W#W
zSCcWz6tm-hWsT56x07{{DFSlNNWZ>Xt{mwPtaI}INPVW5;`c2Ssit_Yh2kbtywF0?
z%@i*?iVsjAB*PT1wovpk#m*LrKBo8+D*~Z*%&n%_>$uP&g$yvodyc~P7-)+39fj?2
zyD5%33cL3qruevpVz?>(?kMaWBTezSqp)+_VYU@PNAn*XgCS!~aYpXR^9LGQs3(}>
zn-+?DOz~|CMWHFaZ=slCip!3|?r*9o{?kG+-4s8yP&{agUsw^a4~>u#Q;6HJW3YwV
zNoJeE<0$MY{Kgbvj>4Ygqo#;-6t>5FQ^Yt5JI6v(_#K5EvcwdLj-oBjz>vqyQKAcL
znvSn<Ei{9yrKafhE2CEnr6bb_H-+Wongnm7jVT7oq&xijWO*CDKPK<J!yomO<MJ1{
zgtj)tD*5Cc{^U0tHSLSg7*p(V6b3E|p*~aWlZWo`=N(~nQ*S;k)Q;(3iqlR^KE<S&
z;$Oe=?xls!Bx6rgbdVXN6Y=xGn9(tMoP2P!U%oIps%w}Q8ia!fr{=u_?d8{+YMEN-
zH8SE<D3W!fW83vL#TE7ny%|?7Pd`)qEWaJ?cbVBTEI%#~ldW=u4kzm<Q*>^j7>@;Y
z6f{xKy`~uCDCmmdx!)A|j>4`m%@h+_D2h#SzoW22X5tdTih#W~o>``t>$uoS=9pq$
z3&kU*C~cv@v9r=q(7yL9GDVf6uvcg)t_Lj?Pncp`3q^$)5W5_Won$5Uqoc4Jsl>_c
zDC{L#i*vb!Vv{L?j)D$R&r3J~9fcjT4QG?1us!~03UiP~TR>9_|E4M0D~+ah?><wc
zI10OwKbxYPqp+uU&=grM6i2aZ9EClZk4=%=LUGI#;~fQ^fS%8Ad`xmQbi#T5VT!4a
z!ge`jiU(QYS&#dj$ETZOmYgv*c2oz99&>E=o{fiQsiU#I6QNn|Xl$QkXjVCzYn1U8
zXx7P(#zuFw#Vm+#v~cJL%`w)v!gWo%UA7+Q56s4`SA=O^A2jwj+~XzdT++9W&{{o>
zBevB7NMYspmI#w8Dm=m!=Di8Scc5~GYu;NiuBLIMr?tn`+S?!UL6X~O-ia7f5*IxY
z7`-65^sssuZ^tmi<!yCbZXf4sb&1@~5Ka7S%KCBb+TRY@)6T?GgW6mVz`ck3X`H{1
z`V2wOq?w4vh7j~T8)I8fJ&!|(Yauj`!Rm=?N@9{S!tL?4Wp}r!c}ce(j&83<Yjsf0
z9p62kdXIEfF4}|(l`ERMk8-Vw_ybAp4$61O_tp=}AIGQa3uOGA$rum1Gqo?RQKV~?
z$Bwy~G9X6VLow;Jnp#923elF2FMZ~5NUmEJ$mj2j)91>!?@ZBem%%#+ckGFWo=8zy
z?55oyQfVEcT$OYFf<z*%ryO)w9G(jc@0yrJ78H#5lq`LyycRJZt<qMGFMXzqECcPv
z#43+_w=Lc-zrQODwK`1bsoyR0CiwAS^WcPRe1CPqn24#WdV!l3*D!m?Rs~&eE`}04
z6raJ~FrspzH7!O|?hc%Xm=6I@WLQ0%wnoAPIk_Mf3$maf4)=n!1wGsFQbtg5cjRO8
zctJ8OjRk|yLjSw{{iY)Ua_7e*J~YghMCIN<5{cm?wqMhR@?%3sQDRlSmPWSdp0e`p
z1@USTD)R-5p`GanK(eA3^5`;Mrry(6pC~8a(>~AxJD4m7(1xeG+M|_IZh@bt2OTc3
zP3}ulMxBzf2a(j17B7k>n@i#?G@H1wG`y6P1xMQaCwK(4rq5nX75*J@l9dfuBz<O}
zjI{ryx{;!+UcZY{IN~AwUR(SPErlpMpwrRmxoS5l%Ib7FH$B&EF{HAgG(bz~`FS3^
z<3-tCeF_DK=wyeyTc1v{;mB7KXG0En+&TyB(jO*=Fvnr1PUns%+>uY{^T^&>FINR>
z^aUihb?jU9#Uw}Da{KyQ?KRL=AP1^%*6jt3v5ofcesHLiUDW)}v69dQ{`LfV>6Ive
z>&gHbJF#PLIs-*poPm>YuqDziX;nwxW<m^`k8d$pNOP0v2dc~^-W2d*Su!y>@K{?I
zN+Z1eps~kgQQmBf7n8o+=beBtEsnV?%{v9-KcbRZk>M@I_&M@<GRr#~;~g~qUAFg8
zj1STHso~z2F!rKNb49+l24g$tssis$jJuP5b@5bh9R#~T<s9z;jI+qFX0G=GjOnsw
zuAS$t$Jh?8n(sa4_;0B2eu?qdRBYpFt<}$PHZq|xTxJdsVNUdp1Rs_U7e)tOgj*8T
z=|nToTGh6YJJFfjiOgE7qhz71wr3}MWLv^6K)DbZ%`stDFf7He)vz#uhAT1j`iu>L
z;c3+dnx<NvQXs~2@~#*s+PkI~M#*m?fUem|le+k3;AggGPg2oZD{4wCkdr6HrqQXB
zLO&@*L8oaO`G>J7{0re?W=U=Jq!A&tm+t>W56~mt6nxFW0gvNLn?|<~Y;<KLxf@c_
zR?PN%w%@_>r+noY$MSiW>AFbq-{a>^+J>@x8{6sHhkq{oB6R4qgfYM6wC9vsJ59gm
z#5R>>gLVhDNt{M!f4aispSFYjud)1&{L{3A$aiS5u(jf-G4h|#{><84>^oGppPmqy
z&l$R~?=}38OdDNmsKSq2k<LPr|IHl*Sl-Ao-Rj7GAIm*BzJjZ6VtYrf7pv^uwH;iL
zE@PCyi=WDAbF<um?JgK+)P6l(>e(;ivE&VWy^pWY@bwM8Ozf~Y-f5*=>vitsN0xi>
zPLW?0r`Mh-_Uoy1c&4a&yk|7Joa6YVjUFTLPdg~n9_oA_onvgED+L+o;=!s4ZkO({
z?I~ED4dg{939FpLi|#EPcn253fxhFRl>YSG!yVCiL-BMvaeN{>)4hXLbfS^hg|;$$
zMoK@rYjV7^OXyLBi_sN;oati5UUcyz)y&!%GYo-y+QYMATqm;R2QxeBC*>=%5?ozl
zYd@GZ!yE7!UU#k-m1{(bUb#lcT%%pC(KgpGO2w#BBit=AA-Z#o@KTXiY9x!yQX@83
z<hfFGx9FW~B*7G!Yoz2FX090N82}wH7r&wxeRGXCSlg9~5v4|w=v!(;y35>RI8<)Y
z&oO3-p`}J&l9Mipp`IGU?-u=Y-C~I6Gziov%te3wbB*5aG9%tCPc3*dB+f0~m+gOh
zbB{LycFLoglT*|NN{xPk6uGXHC?g5EY6EB)4T-<mF*{Vuv8I?BJBAe3V``k3<95sz
z74t<?%u9&rFGw-csq>N(bCO~L)hg!erkLjtlO(>zrIbdoZgEPZm2swq<-CLia;3C&
zR&N8``ie8ikc8!lbbGeD#qU+xhNiStwihYjC8`2&#bkS)g(3~vqOjMD4(_+9l6$0E
ztW^mvG$oLBUl-)og<a&RMV`Pa<?%z4$4a{dDX7FsE^)beg^uo#b_LI)Zt**n;7U`1
z3OfN5q9TA@!h;%TFc<6M=#0=Tw`kOI-SY5ae{!i2zX$8$_MCBxCsf+2O=-)KwvTMJ
zBsJi3i))AxWt1Kx8q_$0xke6#dyFxz^e7y&?zi2dROMQ#Uq5n|B3Ew#g;+{Ccu?aE
zs6|I-+~O9GBQl;&flGi(zPY%aT(u-7&{LG@dkkN$kq8ql_tho#A^Jp9q5m$SLQshR
zE<qt4)Hnkw<mik}Zn0c1HGC+9gzaz&@QHQBPEvuav`4NiQK!$70aCcq+Zxf-8rA<%
z)nD0E{|AKj5m1O9s6G#{Ta||DJ31rAEuO}F;@zc2r&4i={GWy!1~txLu90Z_<kPVn
zaAmZ0i|<v<%BGs%p=MtJh4_wg@Sw&SP)$c?B)i2ksM!@YyO)Y@$^RJyVo>7@<{If3
zV&yT(T>IF#ph^bTHr4zFHTwxtTtBV9SwfeBbhlUsZ9BK;v@zB*z~~QVfw*3sLrjTV
zRKZ*{!kGNM8yX7fgA)(BPFU6UmoQJ9q;7FW)!YOF@0C*lyC!L_*F5Fad=A?Gt>)LN
zW;M)Q^J}N(3(&Q!`K7A)5)54P3xwY)NHM~d5}_`6U)TwHxW&tI*3$UEXK<M!w!kGX
z*T}vkK6CPK{Z;-?RsL;F`H$OEBE|J79e2{#K<lGr#G<6*0$@+C{~jX?Gc6ULAo4!3
zT_2lk;3hNZ5){0aJAPI7BUSg0O?5xC=S2$4OHJ!Tr|#?aw2s=-s)dJ|)=?+@u3x1;
ztkS>Pl>V>wv`BG%T7PxY?}qmOp4R*JwBFKj1yR#_->JLjS9K4ny8D{y?niWQ0fpF4
zM>Y>?oB^E)jt<Ky-f4<_&yFMoo$~K3>5p?Bhw{5n*z2CPhZg<M@WQR7PRGTtjw)b8
zgBoW*7sERFKv~DYKGod8rV?-4C7=**Qz#E=oB=iG=%~5BG)3;QBS}Hc?V;-tdV9ZR
zZ*QsI4pDErm&nBOb|Oa{qF$!Gp?W#ml(E*%2!*JnUU*RB45$}JN4@-wlD<x!7}21{
z8O$}ZX^2M~d9mErXQ!(4aZ{xosMJS5A$Cwa4{DqNRr*+Fm3L0Bp=qJkajLbAd@-Uy
zjWeKH&~Ys}X<1@t_<!D1>t%aZq@Z<rnb+wH`OorBa_h3h%&u+`#08&D`d+1?nrZ}5
z1A`i8FxTjbVY8cz{B&6-dL}w8OP6&CJgeq+wyEZN)Jzg*^-@72IG%%zu3=I3rE{$c
zxX=_J?SKmipi#VAeA_I*F!GEP9DaCEbnmeb&^$wPt<l>Vx;Gl1Qb>KGujkz2QX|SO
z*30Qnq<R`4;6C!KT>Hd~z~_tc$mkYZT)DWw+fR>ixkjx0*oY^@6L2-%;#JorJa5j#
zlcjqPs)%ST_i+TmwB419s%3^T(lGPfd&Gx}OR?KsDEBtZrQ+yfSGG>IcR?39(g-he
zo?$;g?%06%lPgzzuo(Lh$=-D3dd?sf;@(&3_qa;S487bf_Ahp&>tdfP7r%?t>2bOS
zKXg8WpCi|RQqxLSD;CZLw?ID!oQc0XmMB^iSziE_KtJAQK(q2OSb%^G@Ch&koCgQ`
z6DVk1#!tK35JP{01PhOVt05m!ETo@?sbCd21958<t@+^7&=-M}Z;GOo0{#~Ill?Sp
zdjNwI7(4`rV~W;hGC*GqJ_!9rMXMZK3jG|mmw?5v7b{x%;40V$ussWW0QO8pD-ond
ze2P{G7@$HL2Ge1<ieCtURt88*nyy%w0@4a3Di->{t&pP?3nRc+AcrXydcYdUA&P|;
z@%uDdvGa<BDd3Z+d!;Y_0I&>$6MfYZ9s_SeBlU{bUT_}d-HO&ukOIp=iYo$X>8F4<
z!*8OZH5{A=IY-eN08(58xDxcRe6kPLpA-lBsDztAN>~j}LxPQpRs}c@a=D^)vA6O&
z4;De+plBTf$**3~Isj6>I&c#7dljuJWzSm^Py=fPxCoB(L7G_sNP*+Q@d(UUw6ei+
z=p#TX6sBl}faI@%Q=z|_Y13)|$?vqHbpj;6V<0sYs8<84MmgkdRkSiea?Aklhhw^;
z6{75Unxb{Jms;9-a0UDifD~5;-iNroidGg#jbtiXX(0Rp-BK{1P7)QZtG6h}D~eV*
zNC}sMQ{cBq(Yn%8`CV4DPJ`qZ1S#K1MQgXR=j~FoGC^ADL~t37zit`^6nHg5E%g;e
zs{y2?-VIXcyA-V&ko>oTlcC?NXeBCpo?p=l1If<=QbQq%R<MW4can(X&zgt<bu=8L
zeV+zWU<x=Mfr*M%1V{}9yK@3X>ljG>^<W|Vk0@Hhl|3&<(aHkpEC>Vbvj7Y%gyL#9
z-iII=j)0`!2~uMlL27If%f&1Y2dQulI1z=j6|EGI8pVG$>(f=kM-;6(kQ!N&j`d%O
z!D=X|U^yEKK+=zAeHKWKq=3{&2+J37(vw^dQX@yed(p@tMXLs+Mk<&EAnnTWiq`O(
zvHsMF9||hy1F4ZPkn}-ZjYxkIBz+x7jnsftcm>PzSuOynk@4U?D3q^gWrEa51T)x`
zcVR#cta^|NZU(7fHAn^5u)dh}MXVnVQX`olH4@FT#&R%CHF6TX8;zV$wDyA3NEI_s
zi~%i4k)l-qJ_(0(kQzw?sS!WxFQzK}d64u+Kx$++NR3pnT+VV4xCQztU;*k(RJ5`|
zG!p3MSA%ZnyQoGQ6s?mWHL??=MruGRSk3ymte?aBe2^L$08%4<mOU&tbXJX=1}C7A
zpiSKW4`4t`Qq7zL(u$NQT1BAUNQz2O1KtJuRz)iXB>zN3i+=C74EYL@mH&9~PT2Dm
zts|Y3{~;os|C=$OfO2pPxD=%GevzV80+vHR0Hi`$ik2TFe;+sw`e;RKb&~R1p=g~?
zR1>HJSHOQKNO3h_U@QW+VgOnxpgj{s%Lo1rj+YZugC!sZ7K39DSEOhKJF2*oiq<iZ
zR%|OsyKXbM1WX4hJ`K!Ad`d^0{}@=+@hZVaMQaU6j;p~@a9p8iEdrl|z6hih%K^zR
z8ypS40g6^SNGo>Lukv0|w9bR%-vHhL|I_|}J+SK7aW6aW25AN>K$<}XNC)3i@KtaT
zNR7=`w2DAVJO#|dzln<0aFA9sN6{JpZh&7VxE4=D838pY^no;^D{(5(WpE?{FDhC=
zkY=<Kq=Yq!Ry9b4H-fp)S1DQ*Ao&-7<Ud}~$_Hs;DIiTO;KN`e1`*&IdWKUh3;`*z
z297|2s~v1w4Im{vt!SMDDdA3#5^e^oz!e}(Xd)Az`Lpw7fx{7>sTi<)7*MB|V-*j8
zRG?1L+6~&f0;B><K`KxTQh_X{52S{p!C{DxP_!=lRNi`KHAwk4+Qj+41_LTk3{ruK
z;P1g4kP1XIFUP0?7r~)Oa9+`>2WbK|%thcl*yk%+b3n?U15*Aha1)paF2nKH?P7aX
zs2-#l907+Q!68Mf2BZQN%mQ#8?Bf-!Jdg?`f>a<HTn}Dtr}7?Q)_|0ME0}}$&EOym
ztO^XMKoK(&qyia=RvJhJu12c@7r|#C(_fjl$eC+n0_2?o3AE@>s8l8syq&TrT7G5E
z^C?;(;2_vFMe9gg{JjTp^!HoJcR<lv&GHJC3&7`bq>fiC%xjCQ$Tld3Lje|MgRejy
zpjem*)<DisEKCDmgq)&S7y+(^9Hv-!F-lF~JeZ9}8WgR1a04|6u7&>r#ll@tI7imQ
zuo((km(|P)aEsiuu5VYnUr1nK7WfRj5<!VHe#OEFaGkuiE+$Y-xgza%FuGNMrI1U&
z$H6SnUR|&st*)Y#2>t=~FmMgBdK3#oK=RkX{_wvVVbcnNRQ;r4;VzK6+8CkTWE-m3
zFdw7@b3rONN70%{dbw|XOn|JzA!WguqiAJ-+o4YZE5SstFYJCr>p&a)1r++NAYD*5
zgMDDHR<x#o70{=HG%Y_!)AA`6MuSv0qKziURYeA9DwkW^Q!1p7ACqk_n2DUb6|K!6
z-G(lQtErv@Dei<~VIBAw>>I(&U<tSy_F~1tERc3h21xnS!CuIp7LJ9%z=~i84?Bc_
zx4=PDw1QzO@ez;`)qz`N{IfB4zW}KMQU<)s6|EAG+ACHpJk(0Hy%QvTjbh;nklLvL
zdr-WhRYZEZ^4XZ!b+A@@@eNk`b24bH2G_}bY@Gw?W>`xUttqzk0$Z~ob%k|+qLpD=
z<A1L*M?gx2HB8acZ0jht22D-t4C_fni#|QJPA+EaPDpqx%BxYd=!0nM<aV|$g_H#A
zB1LPCZT*t1`H&J|%~Q0pZEN@j)m0)SJO$+W6|D%{YO$3*xsH=I@4TWF1lP%#Y^{TY
zyGPz$MQf*R-Ne?_kYZq6p=d3&tw-591rjcoc@q__eA{}Btr?Ko!kVsVCEC_*8&%I5
zB%G#sS3_-D7r}M1kgfHQaMb4=QMBr8>&lHW`a1d2#?&M_CVbF=g>&5MVVFLDNk>{X
zxJ6#r7-N#O(;z8)laexRsT-u1U@H-18?`AWb_=8eNN6f=yrPwETNiJNxs|LMBqYwe
z>auB_2Nywq2qZgwo(ReF>J%;dEXWpllyj#+LV~;$MeDRq)@z$$0@OzsBqHul+RI=z
z2vyzyMJo{``$a4m^zK&7f8zo}@_FV$=5*#5CVq`*`(412lK%<jo;J9fkm5O33}kj<
z{(`Fr+23V8$^027IqAP*zQ%lpIhGm6yoA%*&cl3x`9xSi88TTB!#soYnF3y8E?^F0
zCNTel^N;*$nXiB^YFg`A;5IN7+zLj4uYmn<X4HV4LE52hGkEYL_B<(0F+XCy%iPXf
zRr}ZH6G8$#a457!VQ0e=h1MGJX_nG-Av@$AEN{c1L2@3;87w>RXS@-j?9MA0gIIRn
z$oK@Y6wfbY1hi?aa9+r8vFyB$@jMPR3Yg6W*K<PwmT%(;oWMfT7RmP2Y+uI>Ixl9#
zv8>+9z+S874xRTh(ph$1%Xo(ya^A|gmu2Urj4Rxr^G?QEmYr8JR&qnvU&vtDejfw%
zwH4fv^FBr-%g*Z<>$oB3ZH!JVJ1=AG;)a}eF~+d$yovEGH*|(q<SCZvl?<w{m2pST
zD;e}@d|Gnnjf_&3ufLGNvhzO13U0`G9mB`6^ESq-+>rA!#xRz}ZK}R@nmck{#dw@$
z=S_?S+@SL!#t+<p^Bx9$2$vdmUc<P?4LEOMl(Ou+gVCDhUborv$1%ViIj>q+EDyYm
z)<@Gm=Y}S;JdfqaSf0%dI`3he<%U+VeHP2k3mHFf1A7AOFrO9sSPo&?c{5`jH{`sG
z(Tip0U5t8esKY?j@HB2{G|T_s2AsDqX0m@Ejvb2Fp@`+)lmOR-0z4nmc9t7*Ud))q
z^3Ux5Uv9|Ew%xTAEXT0imF3PX)2FMk%K}<2R!rrN2C;lE&mf=W<J{l`mhWNtewP2i
z4b5b^h~>E~U*rbnu}mKjYb^qJPG>~|JFH}RFE>=h^4%=I!15Swa2v~qxuIPw(`PB^
zpxnpuac<~+mhT}s0EdrR@lS3b$nt!azh$`{%RjOFIyb~`WoV;WcHYSt#tk~JWc-;M
za^A=o3OPU>I&WmqyZ$6QFJ$Di?7WY0k{fVd$C$;k^D;&&mYsJowsJ$xs~AIAo;66b
zw?DYC|EZw!K1LjOyp$cPxnt*DjLs~tV*9Jy;5wH3u<X2uaflmoUc=Z$@o2*Ne<Iv!
zVE<DC&fV@EN`SBIQq>`S2E8>N6`XhX={cs2j!!G&IfS-7NZ6)X!htMbBu8uq5Ks1K
zzVy-u%PD>-CQ92@`n+hHW(9E*w;hgfffF2X6+dRu_7%$oc)Xx(9?MF?|40A>DzJhT
z3t6thBx$qI4A~<vDcS<`p-@uHRkC&%B$?g>rL72GB%kJhXqFFfgO^!$K7Bul^IgSC
z(6$R-6z{wz;bprg)HVmSo4KPYTwn$}Yy@e0f#vg9CE9wke<u5{VfztfrUz-eU>?Ws
zXZsbl&t$uLhXDKkb5;!J8J~j8v3AI42+idlH^|@IAis4({3|!egPQxNz)1gh4E(#k
z(YU!hR*u-75V++AZ8+AUxmU*<<l#5?e{_R9=?0k&fadxB+foi_e^&|@?}zK3M26bl
z+TYN?Q_wa~xC=saSy!^~ar|pH$a`D(_tP}~EVkeyPb<11VE+vTwaNEC_(0BskI9N1
zIb!_m5%S=U&)iUrdbC7td@UG*;n->S6={=a-d9pGd#dd|?$P^eOLq>_YmfagNBj?K
C0h1*F

delta 17822
zcma)^3tUxI+W+@Ci+woz0E!55Q0|bRq2V2cojBqRkGIss0;96Y5-&4a(WGt%yk*{K
zQ&MU%X%iKey;z!A@{UYHWuv~C+DuKSqBk-tb7+#u>i>JzdbWtp|MPkG$HR9$m-Rf)
zT6^!cH*{9bXWTVs+*|UyrB`V3sL>S@s-}&M*`L>;bfdX{t)?BXdV0_$!(3(8rv6IP
z-1cwuUbfej920LU^<P62_rj{#zjwvjGhFGeWcz;C6#tn~%2ueLRg6;&>Gp#w#Xp!j
z;rQ95c;s@2aqg6afd$I&dbHx(6BP5G(6q<xmlkxlYuw5HZ;O;RTR~epM>S-gFWf2q
zq}fWbiHqHLxx+A#;@@4O9G3FTjJf@?2y5Yx!isdI*Iu1>nZqeKI6WMPk1lt}2ubnZ
z#SzxhB;#=1r6`NMFC-=5+#O1hFBI3!*EDKI?$orNa;(iE$#L1-?Q6gCYF?-qv|akJ
zey#9*4vKXzXxbK!riGzBRXJ!&K>8%&Q-x0)&Si$ZQV(ya(c>aSjP@IQLsUw``%y>q
z7<a`Dk%$oK&TrS;BTxPknt%M4(e^9;U%S@X32{qY<L#=raqgeJ_TS?E%dYO3?K)&f
zB&6A`Js;`k(%LmwqZt%=Rl&oRrq{@CZ+$4V9SN(ywDQ}74}`XVVuiN1TI1R?b^EXJ
zv6)Mtxep$)S8i3XfqTt|e#yA@PwyKid*6!`=>sZ9R0W@Bhnqv&M`<f>pwO*L5c-hz
zstN+1o$NEwzCJ$J8a=!!xRo`7R58I^gdZ8&9?TsFsuUEZ_He>}8D(@%Rd6l$>CSz6
zp-&R}^g^E`)u--o$$m}q;$&&nmnunvUk3WnkPZ*4iVIpCNWhSWF=eRESu`elW<pmx
zKOrXK@X)H@B6j@DzAYiI|B$NSEvz`~k+Tqd$J74FQBQmDow49psgr}>r@d-NCPojV
z8iEaQ+6SiwIPGI6p*<Jem;b7^%-gF|t?$A2l*gWu7!&cydt=)_J*E6Vu?Hlk4-kW^
zf}^>DhdiC9yMd>>a!^$;mwg_vpG(TMzf0_H1?MB~BGfP+H7x2V^wRtu9#9ob;%=io
zYH$<LXA1gEM4u_DkDOm`bI(pSPlw+u^r873jX1F!XAtz$F@{-VRluz@h@`{WRl%<8
zk#@x(Uc|HolcIeod?B5A(f&tPw%sE+$_ffZ3q>^o)r6{QI$a@^{i}jsRj5n+@46bn
zXL|c5U+C?@&&Ggbq^?utU%~z@eC5TC{-1IGccA}jO#7$bsy<UfHG5EEH@h*;U-+fa
zs_H7W<C%18;jYAo?%(QKF$Y)PWmny6h;fKxkM36$JjJmapnnaq580Db6Wz}Wd()6a
zSE@ZKr8G@s;VxyjhtQQS9vkjkF$8-IIHuiBPKkH@+a8eCovP_6tJ(S=s%fwjQ>VBZ
z?1ia`u6Lz-ZR(^n(HHk3Cz!|yrX#^DB$$o_vs3~*J8iaYq^G&hJa4~{cC-CfdYY&8
z0o>Ei*aOqI+7qsUWhYr&Pug92_v-ef_9~tk(R4b#d@}#lFSptEUX$k9W<P$-64zGp
zFt#d>Gh5Ls$)47`NZ2^l`5DE&FVU&h&VTjHW;-h5PW$D|(e}ZNcGp_jZ7p|Oi*Bj*
z#mpE{iEdNVhTD_+WV$LF?(H*DcOOo$_x11ZK3vl9MgOrb60gga;w{-qd}e?YPYqCF
z(jX~L8MNAG9sSoYu~a(N)T&=bYgIozFzVThi~dyCC~i54HCLm@aWWhV@SG^a`d@=*
zRwEuuK`iIhp_(?>t7)zHtTQyN*{5mY;hI(+0iyHXE}C{CO4EwEVcEwcvpGi7@?-H#
z$HO9+plR7XwVs+c9tn~(?O3v=9Zb=*U1>1jv$$cw^$&XVfrCa28fgDm(B{78u7+>M
z9CrCya#0eF3%L!ijq|%*ui7Uj^oyeR2KU=g(=*!@YKZ-I_rm@oTljTCOouw;Cj2lo
z_Yc5Ua!WFVmtPz@9CR&oFN|)#A>!?og=vXtj!PrdGDd<H`aRkr&Jg+be;3BP3haLr
z#*dl6j-gSQFoEEc9R&pxDTbKdNs(%Zn;gXw>XK%NTkVk(<6XDg#rV0zzJFr8wTfND
zrSu+^J_G^RJN>DikaR<A>ZHgp#KWBweGTzwCq+L)JnksoMhzj^hIry~g%vW$5W6nd
zgbX#rbDb2!4Y9{j(AY!r4DpJikWoh(;x$JhJ$_|~|8^9z_A!Qdvy)=HA>M|<!oajp
z8Dyd%{_42MAd?Mo!cqKy3p8Y!AwFP5$8-rTR2pX(;=@kfvkdWZC&f*M__ULv#1Pi!
zoiwF}Xmu2_?%NIVRVT%-4e@O!#a)K@r=yT%ml@&*M<HV@GQ>qkAw7O;2<>_rxTZ~3
zW534`I&0+R6;f`9Fh?PSJYa}OM<J(cg(0FHMR(k`A-^|7Py6FZ@vaQ};-vVf0giDF
zjCxl?46^%9j<=?>x?=)kwNSe4^`3^f`zm9Mx)?pNm?|gWoA3_pVu;GCynAc1`q1u%
zc-HZzlM{;WFGvN}k5C;8OepTZm+a${<6VvRH<RO|PCM>X$(U(~zuWOs;$2<r;Zu@_
zCReD*(hXdFdPwLW;p4>(*mb1RcZ_AQ7J8VCqwUQIFvYH)5^oh<<yfsQI&Y34&ayG|
zS}c0rTtl3{$~#O89ZyDF=RaL#?83&eIA!^&Amxn<I!-Dq3`zE%YKRQSg=WD!(-1=(
z1+5}pT%!e!f@aQpvmqur3Rxg7+R2?1xMpWN3K?UrA?7*?8N<565c3_4405L-7IsqH
zZHW6jDHa-Hm7~bU3HRcn-RvlWRQtV#c&w9RnIWF)q`)QmJSi}KEmQ`nG{j!VMHaHw
z5N|jNIYkc{;;l{!+YqN51zqRfZHD;VQOGWTz$tSS(&HK2U!yd6$a%NCyA2WHXk_sX
zhUn!eWFh+uk?ts@$7_bTu9M=hA#xmr989wzMs-rWjdSHF=tlP*HN;FPX#9M=y^n`N
zCzlTlQOXK$9iFt_E-pjd!5Yzsj`Er0)x0uiB&-V@e|fgMLvx>_kr8@8v%=AkkL8Vn
zYK^1nVjxW>G#gpdktPZG$=V;*`cD4Y(7eMMcZ5sRrjuVc%rqYcDg7eM*Bx95qX^f0
ze%YP`A;Rk;ht*{05~+o4!X*^89#Z%t_(AU=?x=`Jcet-Fnn$5>M`*s`Xum}5Zr(0l
zcNbqS<dgRD>G9Sl(Ef@#`NIAe%?PhMR3@eu0k>E4O@K|{g~e@zXre0`au!{hJ{bnD
z%Y8c_M-bC70{5Lz=EK*E#p%+pNa+vh7*+^|b!RG+3n(gvwFqq*ZwL)b=6?X1wf2Y^
z@jXcIF*F}(>frD3d9|>UcG-;nu9Nn*8NKjx-;5#n`Spwp*Lpi<W*XYVXJ#bO%ye^a
z_U^zM;J)@Gq$u}h?EpzxtL^18;~bB0=`oO|^ODD))po<obk}tI^vuzTlkkexO;pYE
z(DaK88g!JqYVn&0B{C=3!*A^6s<UU_SlpE?NEvyGEJN4ZjW@<c$}+@euV+6gM^3lD
zyfG7Tqh<|AyochttJ3LohjgR-$l~|VbcJ-ww{M-5@5;BInl&xbQUw%AlWyeOqNvZ9
zRZyagd7opV^{CQlO^X#(`>nGO%OJ?VH+bl&l(Yn*);$t0n{=e(<63kbs_{gew0~37
z3vbdJiw1P18A3IYRHvugTKnCiG+4eX8kH-DC93Kz3zdZ$YND#<#v*uVSOtQkjHwAE
zg-c0P9kfzNjHs{|%<koyWIs6j{sc8SRZ|58xrR<Fx~U+&E9|73hWV#ngUS}%gZ$op
za=vLMy#4a+g*WxGIBRh(0(-ORB0=|?^GO=esHFTtk_OU@N6}PFCvgystJlrcY|Y7m
zBOUQaxCJ#PV>zWf8+nYCt(ZdBf=W`JQ)i{}nB}^KLO61>YpxP$^rEuKMd#3aUKS}T
z8(nnQdjBcKkgC=Size0EW-IT5uDhu7zu9}gYY~Y*vUnl6oWzUdoFFRqx_(EZ<#v%B
ziajp6UA)4PPrFu<Lx`(Zb*Oh$kZd^iI@cPKeNyhxG+a)AwgE8^Y?rHvDvOXt`KKma
zMV03?=PF9-4R<O&%-hGc8ws%56xp8Q#36Jqite}<e~0TZna)R8BmH;~Vt6%v#9|hW
z9Y#D*W32F{gB$JH#c9^V-C?MR^o@W<wkxB2^hdPENWaSOn}s%w)mWYBD@FTH$YiX`
z_RT~40Qo$a<6DIG+tgm4@4E->7HU5<-uE=xy-}vIVXChlZ5eZOk#7&$g{0py&+;`w
zkO`_5`<l?6L5Aw3zPHh)70-C&KHo94W#^i5-wDTm+dAJzX#Y&fwr|nGXjRk)L!-Nm
z0wB^T_Duvgl0%8+n})VbGzar^2+9;lmX=B*(!!3iLdmIglc$om7WO4sD2wz=l`Uxr
zH&E&Wh-yp=k4Ccs&9HIdNoZD~>GSK`0NopQEi{yjBjiKm*kfYQPL`)?3R-FV&;iT4
z-DOU1|1w%41li<TAFYK^QDVIvm=o8B?xS@21+hPL__IbX{lw()FObE|(!8qgdNk~s
zGcd$^*TSU}7B0SLX~X-sop4z*P|aL?7UOEd#i!j%zdhriMU~|15uc8EY`>N5lUZ)<
zs_fHQ{)uHb%Xr$!V=T*4*iMTG{<*bl?Y?&;O?!yLp5e6L)8AZi(BlmMv>tSBaLnN_
zQSARd+Yhn-Pb?p`AHO51+fiOz!?@RN_S?{Q<r4O??=1V@cO+R4a)jRO+lBkmDnu1T
z<F5g9&@D=GDErguOY&~6ke-Mn|CVK1(n)@d<LzMkb=*Hr+52mUc&2EDqYiyIp@-#b
z+3tq1tl`aH+pdB~@m{qTpEvP2jn5f;F5=S@CoPLlTm|Pl%=LWFashs0p~HTCURJ}O
z=i#?2x?a<jlFyEOX}|?f2fdWwA6`?ucVBZW-GpqQrGyN$y0B^;mrRf79@JUg9^^%L
z4Xd0>j2=PUkzQiR3s?T8yVG;&b%`sY8;LA*e{uh0cBUr_tLV-nFC*Ii`tI}*^u*=<
z&S_bTY2akEM36JBcI-u~BdH#2m^fb-uBrC4g|Y4<Irei45?#ma2Nx!}zw|dew{X7C
ziqn0bLJ=s`yNSVtdSam-Q>b?@)b$DxsL&%kVhBV}p&n5oCRXTaVn~G^S12aB(_J1h
zv`|lhsav6*UZ@*|qR^WM9k5i7@ray4y%(%86=Hmao+5H8^lqL?j~EA)N8~!j>%^D}
zeHh6p=fxOry`Jk4d4(QP;B5hcdWEI>05tRjyZQbHt?NAEFIu7Q_jp_M9_RHNJQL9k
z?a~AKoI-s7+)&kdkN0zr*k{Rn@4%g_dD*JaM+j0By3?cd6eN1t!g%x%9`P=;X%y)e
zZ=OCL91F%Fo@WB8N5ud2i2t%w$YUKL_sEc>xD;}a42eRIL;HUzbhnE7en-^j5j9tk
z0@JMueO^Yr9$`=Zr?3MKTsHDL74UBz0sn}ADdKPT^~-wCrnBL_$0MFnUcnBpT6hf;
zq)5T!*IGCyLp<UW$cZ#F-44ipPpEz^9sRb;=q-re->Om8Gac4PWmHm7)JHk$S64)>
zR{g%|==ZSf2Zeap!kOYmz0+8V0XaH7$0NSgaP3rC<ccO*NX8Aig1*%%^n?S>wXsEI
zJKvFQ6S55zP>4+wf*bWtgR(g~oK*2o%C?a_(V|AZY7|+x1q#qUpigsWMd1$dyyg)b
zRJwn4q+5@4Lj)9JJq6)Lz0;s{j!qxw5kF}5JIhl>t|i}gbV8%vY0&7}k<VYKC*$Jx
zO!SB~D&NJ9e5)v*Jz#l;mFf{cVJ`f*LE#?bsdVm+3R%+6=tJkJg3eRCNBlyvJFB}M
zP4_zm|7C@|uPR-a?yH|x(A+^Gep-P7xl!*lXfTdWw_-hFl?zv^r$SGy5ErS#D)dC7
z-f1k=lcmp8x>ViS-96$*m2+)J&UWM+CZG`Q6oMP|PJ?nfI^5S{9a8o|%Klb`xIi7&
zp(h&kPGhN_h30vA7Zu9&;|G=Vp^lv2Bj*S~ic2^9_bX`q$igXxHiqt!8?bKVf;k{o
zz&7+L^N39_&z+#(@}1>@iuw%oh%Hd2Vp_3~VVvn0=eH`S4Fj)PU(1}NxRmp2CucRZ
z|0(BLmGe=UWloPc>!hs7hq80dFI3KLFmTS#(SNug#RO;h`CJCT>a*S6v@*f^3?8Lo
z2R!ij$UiSWbK*a7RrpU-_&;=n|5y%*6qkndu@n9&Xq`1P3yZrPUhV-Mj}%PiN9cL0
z*y*~VP@hz&k2((pPvx$w^8Q`reWoMt2Xa`XxHPN}oV;~%Sf}K$o`r`R)+s0ab616b
zUxnY@5&k_nEK*z=)_YF)7oh$B59_!b){8FOwQ5+$oxFRl%6nAhZRp7RE_x3UP>6Tw
z!sbT3)1W)S(P28p-j1F}WKUAi9e-p+E^c{T$}dA9=RM~DP5L|Vit~t9Tv+kmrVMCN
zquy!Ig7=EOwldNBiz@E5jud~EDWDL4rmozmcN$cjqod*ucJyqLJxM{uH6b6>_Il^q
z4y)SUpxXYl!jBASqJ<vZpyJ-3;_f)4iaXqq;&qt<3h_D>$BlZYLB%;bDz1sL93)S)
zsDZLnW2v4`O}stXk*oc^4ya7c9hvqc(@+70T~_HADWcgfT6Im<D>Ntseuo0TOo7p&
zM!nOZz|e8vF%2s4(T>0`A#jQ~>Z%abLabvQwmouqq@WqxL&-3M$8FE*)ET=~r1v|#
zpO=x|M<i<X!Fz@aD>PQ8K^5XTs_i6dL!;hl&~xV`meoto9sAI#)R0~tyk<PLy0@LV
zI=L%^ATrS67KJs{UbZ?lDZwLJF4O6HKu^b&i}y~?0gq^~bJmRYwk@yFqwsvS*R09#
zo`-;k#%BBFHS?{O<#^@vh#l@ilqlamdll+&^0gChn4iMc@Q7OXdAzSKz?-S(0K$rB
zOz+3&2-8k?A<|Up`b6Cbcn*jUmRER0og3+1gSkSSTJFwwQSRrU>o!r3sC3?ePat-j
zCF<RU;>2=HC4%jC7kWQODD*q7!tZfcRO+r(c%5AC&T@$cccD8{bJ6Q~Eq;r&HLc$|
zuo}PptWqqQ2kwM^F1S$B0;P)PRMrQ;1<;R|v^28-jo+a|I=B|RfM1u(;n1dNwt~+f
z0sY5Xu%r>Jf_zZ1gnqrIgd4yz^joKBmVuk0F9Ipv3`NrqJ^=l(5t{Za{#xGe2paR@
z(5z_IkOBH?@NVe0D4ONq@1dW|_EPXJ*ozg-0&olL*=)}O=fR$-XhwrnNVuYT0e@h!
zC{Y_4cfxQ^(M$(vN|O~!{2<Lhv|>p(xC^pZu_Oe1ng*{}auI)>tAl(&v7`m084D_w
z_`&tadv+N9#IgpBBg51bHiLapNRy(u2P}tNuW0T9sbe`v{fa=E`WfK0@SCb==7H2N
zN72j%sb2`V3A{K|$;XCb{z<VP3JO>QQow5P*9fph(Od>nz;Z>iWr*?%f_Fgwp`zIg
zl3$aexgVr>d%;_v-=k=5Q1-w&OEt`u;Bq*YfmBEUq>kgkndn%cXbuKfLmvWCB2Ce}
zFj)Dwfpeihr)Yi%lHX}X^9V?Bn?WkbYElieRyhQ=E1H=gIi`cR!!cRWyf8=wY*RGP
zfi$&E;6`viNd5MLx1rx2MKcSeLNXQ2co2S8KR+5&NwlJQZlH2Jt7w*k6mThcEBqEK
znr8<nzg9)_G)R6YK#F%v(X3bYK%JtQ3DQhQgKKd8^=r#k9nXO?(ebRJ`5{PCT@O;_
zb&6&!NQt(CrO?+Xn$gN0h*UH+ko+!QrwY2DXr2Hm-Z7%3Y35WksG>ZO&V4*c9sM8`
z6s>56fK<?l{v1HjYzE1{37iA}MnyAE*#kL>W)?`NN&`267yDuUm!WYE4S5bhGBkpu
z-vv@(TR<voG0Vj)=Yf<s2P{G2!HT9Iq(a-W6q`UAaigNS7o>davM~RYa1|7ku$&D6
zko4nOp9NAOevk^efSaA<7Lep7kP2x8i;?J{qFD=4A<LKnkO~>EXy#pu`KL-Ep`e7}
zAQhs4q(9MD>5qY=-wRUWT96X2WVwvx07!+52X98A0!1?uq(VZNC;IRyv{b`v0@uT#
z2Bbo&K}xue^~J0&VtpP+g=B(Mh?nKIOeLQHsgPsfO(^7uqPYj8LN+k1Vl-$<iWJQN
zNQESWR7gBXg+#KxB}3_hAn6-HDx@ByLN>5m&T<h*h0FkFBhOStb1;ZPtbUQI(J$Cr
z74o5?c?_gNc7aq#El3HgSwD~Ub6H;iQX$#k8ZeUOi`OXmLy!tN4Hlu06OwrT??+=b
z1!m3#X+}yF%_2}1g1-k+fLd@C?AsMhKS=)3ie_7yN*Dmie>`|2>;;NuW2*8$NTmC}
z1`VpX9Hb6QLAvi3E1IR?YUr~;N|dE&MuOxY4$gqyt7xuDQGP2G&0w+`z+P}8{C9!W
zuNJhXqvLioK+_M(ktmws;6re1O;QDxg4D4XyaD}+6wMQfs^2k1vl*lr+YZvHs{t)A
z8KnO4;5792Cqj*eS)HH)Y*94Vf#kRfoD9d6isoW)IrPOK%~&2temUS&_zhMx(?OcC
zws;lyoTAwRl7A4K0{;)=Q5G8Jes<i;j(b2F!77kOuo7GbmV<u;mx5H-VnwqUq`*bs
zB<N=-n)x8jXr7`u7$m=Jun_tzOEt`Ra5)V06+#+WYcJ*40tWCesAwJoX=Jq^1>UY`
zZUHIq25=(u>lDqo${r|HG>btRST;xlv$D`whDJI_BTELUvUo+4zS2yAL%<2pYl`OC
zo~nRWMKcIe;JqLP-UCwHdXNTI1Jc0CS)Qw8t6u>clpr4*j|6#&W->@4y%?u>1f&r+
zE1HcUC9DQ1;TDh*t^z6HVvrI}WjT-Kc#!h>!Ew0$0@1RenHT&j(Fx`*kP_A^nl&IL
zECVUwJdhF=ft0WSq=e}#N3wh_RwX<OjzzpyMe_)_nr@3aYJlZnIUJTMnq?p*r0<zh
z!aR@?W`mS49;Ad9dnmaTB)J)+5jKHi5U)|u+yzpemCUK2MF|6FfMx+m3H=}?3<qn#
zwip$-iMb1;1hrrR`fpb>SAvwFn3)Aq{7gkN8Kn4a(JKDAXl<Z6XHZbUmEdS}Sf*%>
z2Pr^-qL~Bkv==-QYmnAYT6^OovDW?Q+uU9GHYu80Sl+;L5x5P%gv?MZ34qT)9<NxE
z4?Yb!PqAb$SO+;<u_P0G5^}m?NhDYWIlQ~(qejWOC@QYsqp@+1Q#p_xg}F(wWG`4_
zmpmHl+G*eO=&)O5DbRr>IiQU`$zV15#4DCWf?J{Yf_WHlh@yG1o2G4teiyg|TnAQy
zWncxE1MajVw#LTofD{ht5k&PWmV`*Fxiz*A<@zvE<}BF@QVrXcTvo&Sa&V`;9I@yG
z6+s$~N@ggU0cqX6HP(0*)^tb@+wVeJ0jaJlRuuc|t+5jxgp>t|s)+}w8oy#mG)R#n
z!6Aqou4rE9qUNGav7`~)X-}$&oj|utTZF3iLy$&sTCt=Nybt#6U@ce%R>3|`u_Oni
znac)u+PiCF4U)W4dbcLF5A`_`u6!Cns_Y;*0F~`mG&g`x*b$GZ`I`p`6_hlGsfzZ1
zR8hTR$p#R0Kc?od6jFc0DpoY<s~KDE<*?FuUI!@))>VpTxwP(PYZ0Wru+C64$4l!+
zY|Vs(SF}L7qUo2`h{sjr3kJSy0c)G0*$Qs8O|~{e!plpbNzvRdtqa&%0|{>yfoesQ
zz8=5T-oe&+knoxin5$?ON$b08&4Gl6ePFPnnJKM5vDFJH9@Y>=^MaQm_uHmwrvG@2
zXF%YDqS-91C2XZH|M_9vrD)bj>qfSgL&D+}SgL5wlh)VSIv!FqtObf@j<kNwRzD=%
zXn|-&(<`kB+f`Mqq4@F$tSyS>X>hAOiLLt~;X)1URW$3Qb@}!Ti>?VjB)V1>d(?tW
zU+ARkFCU~UEf2(n5y(+A_v^~O2PAtvNcK8KGmq_q*`5vJv<I>j&A}m>_6PLCW`~|K
z0DUh9a~+tgXcmJzZF7gZI5Q!k!a%yB86vF<cElR=v}tye??(15gM{b-`U(hWW=ZSo
zJ7W9ngm2JA-{Qdgm7-Y+QX%2Y0!`DNvVYnUYe_9;8wO8bEKI~0W*Bn==9~2QF>hmb
zXa0;OgX~{2-(kMUoXQ-;q@{-Zk9EQ0pBj(jlo7i!&tp9xnN}0xPUh{*ET&){!x}(-
z4a}{~G0aTnzi{$oT;}>PtYxGqVnsI7%WT5gB>Mpn&z>$8_zai>?gG=mr@@IhsdeB`
z5GT!(&cwGdrQC)~nDn1Ak1^kf<VG!XQ^R9VCWTmCaRGKgV(0iR8eI^;*_!GhJ7i}&
z$wRo{NX|D^k4TmaSbhYT2-%%oB`GXBn@SpBBRlUYv9vL)aQ2kY*EGrDRt~t7<=a`l
zj|*DDav~4lG$xXc@3<gm1IoQDJ9|!k<bu?e6Py+Lq8=r5ww#2s?Cdysf(vvuoMf}?
z>^FIr3v_my+|9DH*<=A1?Cdr9f(w#cO^{zJV}-NT<U20F*=cew%g#m<H_NoogpO)1
z$k}Dmn`LK{$zd+Y*<(`5GHolN{MzkYp|h>zBQEGuPH-E`pR@c07vO9uDP!5$QF4I`
za5j{zXW7|LLSGr88OL@KnO}RAD{{7z+{m)Cn`AZ@=<FqVj|+0Pk`%G*>?HY!3vxD+
z+{SXx>uI=}_6--1alOi~tz?C>xg?6^LEPa*F38zs5@6ZcSTcnRboP?G#RWNANhY)G
z>>hcK3wpunP{fLtIAIGH(8%(=EIa#2ye$8n?N4(-T}G-Aj^TnvvwVmPn8Na}*xz#Y
zniQ~uv!x`40$^PT<fwpeae>aRlF2MPn@ax11v&dj@F0@sI4ocF|CtlUvAj*mmX^Va
z9CjGOaxRacfaRCDz=<r6V0kjjhq$2GEEljmmu33yC|z{(S-wrmIR6V-(Z&Vb&vF&Z
zt61*O@@AF?aDk7p{5%)*6wCC8ri9P4{4y7`m*o*8TX1-T6>rLlH0>>xi&#Fz@)<7R
zbCzinJS8~KayrY}C`}$2Twnytf8c_g4I;fETNJ?AAo4s{cpZ13of%|zwuc<#f=01@
zGRw~9kRTU8dqe1;?@m&GXJ<%HmP^_Gdk^k^a=3#PKXQc&SYFApvkydP+1UlMo(pug
zfb?K_BloZ40_$0(FE>*@XTwLej`QCIRXP9vhB!{(JpG=afcQ8&wfd5bR|n^RGcXvV
z?CQcEQM{kf@i_W-y)0f5%Po1zz6<@y?(E<6(AP&Pz)GAeIyRAfSwe`?euNXe!TuNV
zB1OkvST4eQ2OT9WD@nfH%KjTzaTiGWYA_3QSW&2k6wXG3c^qJ=vSW9;vIjZg4J@}{
z7U-b7)W3-f{FG(qYx@Np?;>V`j;HV;|8gZ;+67j4@jfaKE~u0fOydCCK|0p4d=|4r
zhmZXSv;Xhdengq+KcmWo0q*}S+bOSn{@u(D&hCR|mdEpmk3;6ZXyI2^2$#z-SIEb&
zkntAR$sfP|b;$P2-QBI0D|+N#?tymSE9660$bl>5+pdsXuaKLROz#nNSlZbu3i#(0
zGXCh&Q8L<(Ut#}N*#&+}lgA^<eo21n3jZJ3uCAF>{2B6!4lk*I91g#3*S=6-fAhls
f*v&8g!?WPlva&_DH@v=QoXb5RyWz)|CW-$C<OOrZ