SQLite format 3@ $ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ]plt ]]]FOLP:threads=4elapsed=1.509cpu=1.568gc=0.0007zXZִF! 6p]ŗXiɟ{3rCAŷtMuE@u6C D.k~ àףAB۾ ]̜=Տ{fy>ثU䝵q2F d¼8RA50?CZVo:SFH GDVm]|`И6ֈ7m M0Gd& :0>G飃d9ǻYTj(lNDCeNiFD*y"5( ?/yc1gʚwCLx <|}/ 1\h[;jtgYϗ-])}ИC }!Kr/#%BpԥP0x<- D׷IB`z/Φ;FntAYl#@r?פ\XGTX ʹbk[4`p@y[X-R#7]m?2W 9T<*~@ɤxs$85 pQ }@gL&,`O Q5Dgܠ+M^1<4/5l],+Fy JrTLǴiM]WYO]?Y/!%A MzKP S4f4  +_b'^Ęe[|nHKIຠ0\T58^`w"}Y{N^"s|Ƽ|?})7ϰ>4.ms@PN$h `8ym X1U/ tFOLPFOLPdocument/FOLP.tex7zXZִF! g r]A-MՋhvG"uIBm5^Lj_"@x4C/ by'_Tp7(ݬ:Mgy}뻨(j(3iX1#xPk/Qي^UcYŁ|.`;% q[͐-v&2UCNamwi4&i+eڷzqLPT@fQJJInqw|3W4`u2 ;yپRdVgQ( bCjZ*DpFIhVU23ۅ}N55 NvГ)Q <}SRju@3ҕGJU:D.?lQ.j ub+KW !1PIYВ@k'I$ۙrl&뒻ל߅yս{w?=T!3_"c:%ª+s/,=RӉޭxLLkCŊ1m 2v[Q!W ~jc A,Q ?D3W;˅Nˇ1xg-B-XeS&_;GuEUs~I7?OM˽97k glg j*yX1cSR$(}d94c tavf칹j>,nm~A1;H},H謈Ģ*f;1VZt>-Su;؊.HIe'o@ٖ P"馐K>Nkæyux/;T|D"ׄ@cۘ u {Cg"\?GU[u*}X>ZI[*pEG/ޠay=P Mϧ-*N,-ֶKjTyA'l;ܱznN Gm & i?WK;=uGg\KkI* ȓ,zKb ?%pMy-&ҝǿ&s|Ėԅ- {Purր9ؤ A&FR+VAdF~{*0|i0B)r7cʼnԷ@o㟖{0CLLAV .5)6H2ĔzF?*܁5X zyJ"N#,Ŝ_ά0E0# bK`U|3KDq`BLQ-kPϷCdGfk]'+͆Ib&u$^N|W]FnV4# !Yti'+ԧ=Q!${ZM^s&Pk\#\\w a'dgj "?""[0i+w5Y+q/v(B![dVv*&A/sRF`MϿrKM}wkֶݫP~VL|;cPlX 4U4UlnF(Wﮠ/IM*^?v`eyBj$ayiHsX[uJjHcsK n͛nI*17Yj `D7^zl֚eKDk-QהPUjUConuf.l2?. 5ɚ;.[E^eϕA%i]΀%H]JbA~lǗo_r:VEv]$B5 Xeiڛo"L> :W1Yܥh3*=tpLEJ쒪O[Wۺd7t}dPN*MCt/coܼRj"gTIۥ1ne[a8l[q~wmiQ&4|;%Mx:eU'!~^;bhb` Wa[=s<֜^>;XnZ.1F DO6HRVC8XݑDo㒺uXCnyS"vNM'dKE/u79x{9|ʼET"'$}hG3V"?l3}(p\ vi)WGU%i댞ꕋAPsES**B`\~oݬR5pL7     :Vp:iM1'FOLPFOLPPIDE/messages#FOLPFOLPPIDE/markup%FOLPFOLPPIDE/markup3%FOLPFOLPPIDE/markup2 %FOLPFOLPPIDE/markup1 !FOLPFOLPPIDE/files -FOLPFOLPPIDE/document_id 'FOLPIFOLPPIDE/messages #FOLPIFOLPPIDE/markup%FOLPIFOLPPIDE/markup3%FOLPIFOLPPIDE/markup2%FOLPIFOLPPIDE/markup1!FOLPIFOLPPIDE/files-FOLPIFOLPPIDE/document_id!1FOLPIFOLPdocument/IFOLP.tex/ FOLPFOLPdocument/FOLP.tex   E])_K:jNA^k?5E|3Hvcz1i^#cDx!!jKG' &oNn-cT} =p:^" 6g L$̰9k0I!I& dńC2yGg y.|[ڏͨt"i{P^Zv ax㐀-[UDQyIIZ|yd6m\nv[Y7D@<]>SezH^Z{h*` hi&U11t$+vEI-}KS>6]; Ukڵ9~@^ȪheEZ+;$$yl-ð owMjTv-9k?ՠ rTNPLp 4Í$k"E)}R9kP1q:]-BX lD:7.Ddže>DҟtR}7& R#B&`[}@<Tz| 򩈠Ax|e&H.1dn=Vt_ƽ&@Ոq?[KNTU C 9|㣌в @vu찦ϼ2==^ }}J2Ġïנ#h]}).۟`=3$e脴Ry8Kn-DއQj宅eE[Ȱxn$u3mVb%1UۈOY tںBtbKA*-Pth镧/ۇ>U36m55ؖLW=!)UKꟙ+)ġ sYGt[9ҠΊU( E_0DV !Ol+ 'qK&rwV*!Z v/'rڸ Sן^ؗ Ϡ*5呚r7#&~; ,QzY]|r@.ЛaO`wtsP\7d%GlI=O^|ctk|&Xtڮ(2zՉm([$ȡVP#c9Ŀx >-:J`{Bq ,FCb~m Xk R#t =0*`nESځ$O* VHw9Uzȟjw$K4w(zCl9rKӨE/< ^AUiFgQ?,Kh=G<4jչ.GoԱ"1jcdILj A B<[( d9Fi/Kp\#eD4}1idA@Q`8]f5yljud/ǙƋYu&Ǟ ,(|"rT"FpÖE`[A BCR(q-=QIwxִa(9 J2MuJ\ua.ٹ6%o3Sv~;d&*j#v*sڴӸHU F^Aw(\I%A 漨[ڠN@v/,0|R~?!LGBs|1D A0Mcbո(Ի#*iz,\Cp?gHtgħѷFG0Z[!N;,&JEp"$&1KD5 1U=hjVܙ!d`ǎ)j[sZ`Љ'kp 5Z. -:֬mPraߨn- >03lL{]4B{*$H> QB&YA `W6FE'$Gq[}'TTh,Jlm"i4mLdz=5Wo2(Ai3lqi*!;S$KK90{`.Q 3$]e6? ҋ++;?Ne0˞ eݚ8 yTBxu!zy0Q.VuhNo*֣RQ5"2J@oUM/  BbC^bZ{ r Nt&|JGrpU84~0]C" 570 J`Xh Vjh@REm1s|d23pH6? V#{SyJ`ffc#m%gi>Q45¢i؃$w}r# ^a XzȃOA?WY2FB@j$\fq2ND6>B<40W@@[G{FzG))]D۝] ٥.]hNIXBoo!^~ 5pjv9W mv˿EbnhАmmKԅ (%ڋtzbC7ҞaH&ϡƕYslorn١zq[@u!:5ŷͮywA3ul|MF IhG.r)} ncjTN;T$Ez;y4oK!M*&GG*K.v+=l# wQvV Qj"F$/'i>.}ūnz .җS5dM:-0S,qXٗ6[88[Ғ9%1kne6l(fm=G?e&-wJh81ˀ≲s3%<&Y$\""& 0$~"D\TCW"uG U%v"-m^|l[żI$N~1v婥r]v$ߗ*%UX)V?p3> C VS47KHĦ=՟` 䛣q .a>F2/ $CQ=? *J#w 1^zN 6-frBLWțW[)X!0N_U, `Sab b;Đ֡7XVAkjFrjV.*g-҃rr/08ID op$e&K>p̺iPk왋lXТWxJOLv@n_3݉z!+38۶@CO6 A:d ؼaS{I%?wi }sVɏXq%g"U ^N"r0,0cc|d5p%}@4{S1X+UGURiJ4R& ^Ѳ3۽77z6$˖Q^rbgE=Cw8THOs8&26$~~Q `Il+0^Նi:@rPtLޔh@c+ Rd銹j4Yvشz( ,(̈́8\#*IT5V cϮN\=ykjLnJ}᫅[|ԦGfF #")zmrQG~pdMЄťV1 -H3ԃu.d:}^.DSYPwඡQ +*N%C$b&}uQuRQ#Y]v鯉WK-4Ym2Ly|}J (rم}r{G47#5邦IIz}{0(*[)PjNv 6tuc[TQHQD6^!}5=̫ )ؐ!΅4/;=<4)1cځnrd9cqeeX% ·H5M(D?u-Iyk_IJ}]`7bbLRhB_}B{S*:cŝ";7$'7 R4v^l}_k:u"0MI#EgX3.eseT:NLkO~6B[IWNZ "ZWOb=OaRS(ڧyF˄ NKEA1U*Iz!g,+<|j4bt%IyWщQEYQݟwPYTB,/̸,63?O~KS43%3:޲D*&ZRStRI!6fT a:XH%g RwUYσ6H - $,1ojxL_@g"`!}_Dݧ?\+8z3A3#\olNC՛:1Xb{Ŏ7 Ѹ.[[L$),*4HWw`ˋ@! rT{4+N @~ǭf4C 3(l]T93J; &; uFI h|83&vEGgIRq.>YVBzmY[bx / _Ճ d-KֵA=?5Tfn$o٨R G{q!yLK :CɗQX3T5GPVd2t~9Wӂ=3xдx`EUU~+бELjþw+FqH̔k*4 fU^GxD/ӬA.TG/9g 0s*j _ f;1B;0?Ah6A!2oEl|3SzpӁ{5KOw6غzy9TLKȞZԸɉ7!Tx\Ň+oe3aѓ/&dlD8Z~2"wJ Ccyð>#7ro푑;.zLæΫ&,&5܁'?8w|\1jkf>7>5XW?M4 dUjiztlRQݗZCɡ=ʞ>~NJZ=R *D6pq}ē8'q_-O3>g"UinO#EWvZH`on\YY0\MlS.۔w ehc l-M"uߧ9L~-p\0L˻nY'65Uʔ)* ksiuEDZUJ?"! `tQ: i "Kú{A,~Oh,IBw b;жGl7mhvmyW.МmW8PL\j/ޞ|b~qΉ` NO e(I6O aIնQ; Hur?S_gf >]ĭ$]V㭯=](ӚB^H "gYZ |* Ѱ4+ bp%,VV|~I17!|Ck]|3|7y ^vK$|o1g<*I6E(\`Cb*"k+j3+#E< iZuzQ 6cR8[_~QZ#h)kv3)."-0]e_"7<dwi.h5@̓p6ɰ"-.}jbz*rENVE\nvnA+j +/˸&dDT*jxI6?/ZBd7T=C_cGЈH\/lE*91pV-nw v1K0m`<0g"tlfXW6Z/Kb&N lD0)wR و$!SC:mMgM?22:jMqJ&ZsHRS(Ծ~9} *,?+ckEx:ir ë %iB ͜vfB0S*'2%Ф+ԅ((j~O^Of0:ȍsIVʒPy-)ʸ0rRXИݫs_0==ˈ%ńWp @²q%Ơ١*0rL?.Տ9[J[ &p,K2_)~M@ FT_sw.K4P!;Zo4Bh1Uk*u,"?~gk8,1I#ppwE<\N?Vݔ9եP:X6@b/ [h$J#DZv7R hM0*n9#/|a!PnU J"8ϤB=}W-ASPeZ M!S(4C__{4n5% v\=O(@p"p$K).:}#ym\WV<{qh}׬3 єB ex%Qf07Q&^~^a^Ȋ_Z'6za@Ԁ1Ϩ:o'^ⅈQCži:F#o 9Ľ'aą '=eo̻έ;Ds:3]?[-Aa?^ P,Ag#;cb37R,F$'-c'm!xmlFJ0~|fN%(QY" sto@A^J'd :`yq8g:< w`RN]Y\o(Y!W oml^| Q@^~vvNN( ~wu(tBxgbvM\va#yr>@"5Z+-jSOuڕȐP)phSw|~^ٵ [4oeq[mu$78'8!Pl8/0ؚgjۍ6,I lM:!`_8Kϐ7AWA_7%MFgM;I('6xnbVm.m aK$ϼFzS58rPF)hR |9&I{_ʋ Ǜtj|d7>Ky7--Cj+@>'3*WlNp/+ex^uKu_Gp'͈ݖx}aG-? z"mZl|wsgɁ51lUeٴ PٌpVNi0>qvC^e WZ=MG\f; 89#kNBC̀&)=ldڄ|}"MXr |>oשP fWpUsfS̾rv1VAƆ6ګgՕya=r_(YSqh Ɖ}ǒzq|} =b`蓖_^`!zHG1&"aBe|u7%:W۲>3=}Z-DW6n0 (4EQ,<Ӻḻ)KHvDfF+qE%Y @;_T'$]{h| +SA<Ɵ}aN.9n9 no$Oľ8WTؽ-`S̘F2fi/aV'Ás߆qw}<wwk?[jfEu_YbD{Z2]PP/DyDvoQ\3v֯пߞR=M{5*0p1pԷ]@'Eb$,jԒ`-kQˠ]J ?Jň30X28~g:\@ (0BN1>DUa?1Qd#\lJbBCNAk웝BoH*YS޵L*sWߖ<& -n¯6ۀ4$ݷr94Tx&|r]dD/Q$Ƅzpj C"5r[irPpihEs"!X~ \S!s=Fܯ}l"FMΊ݀1T%[$0.-$ &WIrQIde"ĚuRQhECȽtu)GRX-v%O&ҧɢ3Gˤ%,x`bO!p0[: ڲ{uC 2P ꚞ(^rﲸyF)O5]p3Ҕ!A>[<}>dDzV# Fq ie+RpDXΌ- 9gYZ'DſvaKzO*yնkcfp$ZYIzqzRzcC;„K4)?vyvCʵL)$.6%PT372~O)Ϲ^h"\ДP 5 V7KQ46H:/&˸]UOgBXF['jqD w С9D>֒W蝙SsH7…טxDT5 놀rd1ۭM]QJTx_ng$m ]Y fQda3-7a!޸[[M+[Y7@=rt.d1[ nԊ8*dCݸu]H -AngG<kʜmEl""ݛP 4yi|{X8)Oe-Cw:h of1=P{U|_:fל`Ĥs=\3< [ @&WmԞ`ȆdDR/>RT*\x'6݌l'"o?+N~ d^VJ%WE2J8:}$t=JǘIٳZ &JȞ L ,uWxjzt䪙ngع!pt8qTWy#ꧤ&,$@$^u!% yA*F1#-,Xg t4~4ز+?ln 5{=$#k  FdF$ >x /+|;]!()kH[Ӻ#L#2ms01ūr}Z}! ?,̖}ltـ|,ͭ^Tp*kq{bw)+r";ƨ񹊞^,躯W}8MU-3j?σ3-7["CRE*opëXbqm$#l!Rc/Z>B ݔ1!/ytC J-0Z(r| ,}dM8q^HWoS>Qo[A$]@={WwG3_7'd6Uej*B(*1M{@~mU'ۤ?:IlڶCiå?<>UO&*q.Q /ǁtaLR uQAsЯ5=qYfUJSX|6I`E8Z0Tʎ8Nt+1s\%vL.?e}^mdNr8sY'l,bGeyS&yCs:}0V;@g/ƅJSGBF}eaF2$+-0eM7`o&\>84L/"\ow#d1ˆzsdb$%&}n׍K8Y)K hOe;XٝZ~pi[|PYAX){"xؙ %/g/fV|OE\s\̀~G :ç{/|bs{շ͊eK" "/]"a ]@(OF`,&s^GKQZYoK` R#d2b'Tb:q [)br]IlRmxNUi9lOeudo)nA7IZS1jFVm Lk,kQ<{rvP]:r-&#[@0?,>6l(G כt6{~9X@^ɔ/ڭs =7|Hp58!Z+iFx0#ZuѻWY͒R;r.R:<@| ; isO^<gkUT1_ mQ-Q 84nD G<s ĈU9ܧU#1!d\%y_ItOL 8eOcA_#N] ;a j!>l<_LSӆZ% V0e,0[Uv 9;UA fy`iZ,n4i{TC%?|Ez_xuT~Zs7X -^jE&>p #!c)2LT})Lȼj-C@j:je@` "T*etȋxZ8xKx`ͧ7Rgγ0.[J =, P1"xF ,K2%0B_̗~Чr22jS8yVJVnQ} \_/u-:|'X'r71_NixSA} a9h+T@0o1U*2`TU7A~ƣt /8NKxkt46'GdpM̻$r*siGs@p_ vp\Mߐ#ف!M`<'k+/i7k#JS\Ex2@:3Mu>8fq-Vs#M-ʺ\M`\D (e gsD zFe՞ȵ o$YSR,!I$?z y 5ǫ,eJ e"?jbj$#$azۓkt,%eUq&w!?ΦgВ]H;_>zNkTb16ȭJ&nḕG+P35L\=,8]"ݧq؋%b͞}W/;ئ֫(-[*͕fu8ADbò+^j)I> A2d/m!mAWM#Tab0qD\V{y|LeA.'03#S}r! `y4Ѳu0x.m#KDPҊ5Ȋ|YS.$rw#>; }mvxjc|tq:&ĽYٻ1EiC /w7y0Ig3% 6#g4Q4vLhm(d",`LlAA~*=C2?.x=iG/a;Q[@~ÊuAJ\kһdGӛ]e[w[8 >^s7wn,p5;Oy{._'os$[p?iEs`V>` 4R@!ϣ[.͞YDmJ͌;jÝ tc3 ;G50\(Czr-XJ+E\n9lBې01aNs~QI{5H O5G1QĭAg1'P Qi5յ"nn嵇qZA򰥊6ΰiaBfӈrxuuf'fTST`bh'Z<̉#N&0?:r0VI,Ů&-?#W ԂR:kVs$9VDۺryx.wib R:ϻvY]눃ńl&Oml~5NQKFڜ ԋ7-H5 `^01;Ƥ9`CL߯[EfMB4.jNv&Vejp!F,ux$.T苶 .+HːiӰ3,ҙ ̏2f' &:QzԘVoí[nC>\I6PF y(oOߨ`ZFrN̏sDf؊ǁou1CLs/ˢ;"0 m€ օ.'jVm`?43+ cHQ+ڲT:6)*+)ܒ ˻2iJ*UN^HYQI ½ 8h jFWq/) ͚d(uOvTQ 01:P 8Ujmg [SAnsͲò]S2_ @Czӡׅ_B~S ?U)̵eJHa|U3Z[MǚIZ:O%/=ZK2ͥ,~s4xrߣx{%*F'e.@NM~eU}~b'>zpy1?mOV9YAIFif@+\eWYV¶OYۘf@=K_F4*5 pCh+l(S3~|f*/CI%MN;>Y]6Pi>U|$`./9!:tDxl;1=J1;cq;w[ܙ!M+-ĩrm}=4oXY@#u`bsQkRe`e޳3D#ǟ9WŠ62rm7L[ O% j} $7΍ BZv~~Hkİ AQ:'7F:V(QXͮH}ʹh 8o?*HKNu i%B>!&\2*rcll?ȋ%] Ǣ398!T y<;7!~!E< yhkzcZ D,n^H!ZSլ)O f1q*ebtCw(?="ql/\اy (Țnf .'"p5n%O͋Z $v ( DR/˄ƈ:}Cwsd8%n~/OON&ěc%\v(+)jFJ=ƻ ƎA^G&ױ=j=3OAEYWPx)lÜGivɔ,*/` 21.el%iؕWnR0K;Ֆ{u{Pn@~c=ѱru^S=6>0Vv )738ڻ~ ι=MC,.4 0ڣa;4F_,B0F/jFKe=S$K>t10T]Qdl3Lk^BЇof {bVǿQMoU~ E YrxC:/wX}NPȡ%cR jʔZmVMAS#E\{_Ksb4x[3ٱڴeXS 97BsSpq8._r~ԃ=R`xhYP6n܋<AZb]oIAYVPl`?HE֚I`{00I@~EwHFU_L[qZ s:Zh.9ɗI'kwuR GQ_&GNkCTL0Y)Ղ}5+ZBQ/|c7v׮?6l$㸱D~'.3MnpN'@;VlG> KTSDBv/WӮ1kB,s{uH9Z9\L9Y)[jHxǵ~vʖ'KPM.7uZ{$'F!n8o M4ZRB jG(Okf$gJ5p7pX8z+mk`1 #c#ܕ1 _]@_IuК$׍ [+3v5lG=T)3%m=(E(ˤs`l5mvAR̳+QT>mDvUw[''wO頮YgĿZSݏKֳ.@>6tamx;`]\Z~߻\vGF3#&gQ(H[wjaP]IjR|ve+5[& 5Xޱާ9*) /*XfG6coa@ wo\|ox%YpQY$#Z cX׫C`6 iř+"őGb8CwD>s :j5 ZJnotoC"ɖz$l#>әlG&b! &iK;"90d  PMG\Bxԛ;` `ɆM#a *i?il8^%kcs^\@3DbQѤ!U}p\/͊j>]Za5G?<ǃ*Wburvw$ 4ޛ~@ "0 œp?gYZ (}!PFOLPIFOLPPIDE/files~~/src/FOLP/IFOLP.thy ~~/src/Tools/misc_legacy.ML ~~/src/FOLP/hypsubst.ML ~~/src/FOLP/intprover.ML!-FOLPIFOLPPIDE/document_id8\ 1 |FOLPIFOLPdocument/IFOLP.tex7zXZִF! j#]A-MՋhvG"uIBm5 P]I .lsճT2G'nꡜ8èyc:,7lq*}^?k6*a̕  gGY]B7.\p g/2-ț~]ɃHYMtf 'T"q.W@tfԀz(wSȘc䢄l㩳)+~Z}ٳbwELn'U䳣F'B UO?Zʆ-ѥXL;r K*݈FT)N%cfoO9+җɌsoLlN2K{3D&z s&"E\[#rurTw YW7\I ԤPD'V3 LJ0K5F aԝ=;w om.k )~RҀNHKNM(Z*$Ta'V: (Ɉ2,KΝU)i E,#^%)VL~q ʑC69tobN{8ܽY>gYϗ-])}ИC }!Kr/#%BpԥP0x<- D׷IB`z/Φ;FntAYl#@r?פ\XGTX ʹbk[4`p@y[X-R#7]m?2W 9T<*~@ɤxs$85 pQ }@gL&,`O Q5Dgܠ+M^1<4/5l],+Fy JrTLǴiM]WYO]?Y/!%A MzKP S4f4  +_b'^Ęe[|nHKIຠ0\T58^`w"}Y{N^"s|Ƽ|?})7ϰ>4.ms@PN$h `8ym X1U/ tFOLPFOLPdocument/FOLP.tex7zXZִF! g r]A-MՋhvG"uIBm5^Lj_"@x4C/ by'_Tp7(ݬ:Mgy}뻨(j(3iX1#xPk/Qي^UcYŁ|.`;% q[͐-v&2UCNamwi4&i+eڷzqLPT@fQJJInqw|3W4`u2 ;yپRdVgQ( bCjZ*DpFIhVU23ۅ}N55 NvГ)Q <}SRju@3ҕGJU:D.?lQ.j ub+KW !1PIYВ@k'I$ۙrl&뒻ל߅yս{w?=T!3_"c:%ª+s/,=RӉޭxLLkCŊ1m 2v[Q!W ~jc A,Q ?D3W;˅Nˇ1xg-B-XeS&_;GuEUs~I7?OM˽97k glg j*yX1cSR$(}d94c tavf칹j>,nm~A1;H},H謈Ģ*f;1VZt>-Su;؊.HIe'o@ٖ P"馐K>Nkæyux/;T|D"ׄ@cۘ u {Cg"\?GU[u*}X>ZI[*pEG/ޠay=P Mϧ-*N,-ֶKjTyA'l;ܱznN Gm & i?WK;=uGg\KkI* ȓ,zKb ?%pMy-&ҝǿ&s|Ėԅ- {Purր9ؤ A&FR+VAdF~{*0|i0B)r7cʼnԷ@o㟖{0CLLAV .5)6H2ĔzF?*܁5X zyJ"N#,Ŝ_ά0E0# bK`U|3KDq`BLQ-kPϷCdGfk]'+͆Ib&u$^N|W]FnV4# !Yti'+ԧ=Q!${ZM^s&Pk\#\\w a'dgj "?""[0i+w5Y+q/v(B![dVv*&A/sRF`MϿrKM}wkֶݫP~VL|;cPlX 4U4UlnF(Wﮠ/IM*^?v`eyBj$ayiHsX[uJjHcsK n͛nI*17Yj `D7^zl֚eKDk-QהPUjUConuf.l2?. 5ɚ;.[E^eϕA%i]΀%H]JbA~lǗo_r:VEv]$B5 Xeiڛo"L> :W1Yܥh3*=tpLEJ쒪O[Wۺd7t}dPN*MCt/coܼRj"gTIۥ1ne[a8l[q~wmiQ&4|;%Mx:eU'!~^;bhb` Wa[=s<֜^>;XnZ.1F DO6HRVC8XݑDo㒺uXCnyS"vNM'dKE/u79x{9|ʼET"'$}hG3V"?l3}(p\ vi)WGU%i댞ꕋAPsES**B`\~oݬR5pL7!ҟQ@yGgYZ oo~ % LFOLPIFOLPPIDE/markup17zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PPlzj$A̢K6B#V, :.>,J[XLX6yHY[DVz\k4@qG7U۠J"{hpf$QQ7YRCocgī8#h_=6Tqή5AM|ʑp,1Ho'&R&NVPC4l.9  x$awoS5W9Ҽ^)f~rն7i;axPU Y.TE_8;qYw wy]灍}zN' D*o̺,M! K?]voɀg7I:NSUkf@N*+4:<(GEJbѪ]OZ=i8#UI 6=Ь6tGLmc'7#۠:LiC$:(J蠙 p!ý*$.Lގ"^_xH]z&liRSiٙ=|}9h^W`~,ӄZS3LÄmEBSn{,jf^(C"ޚP\ M''ɶBAC5۸ɔ֔qbDFAQم1Lƍ=wV JT̓H PoWcvWCդ^H:=IWD@:o]dPr[LI 5P?Fc#*_I"2K*xDN*ngtא ؉%SM_]k'Z0{$+[albEXF Z>C"v֫ ~{[Xީ[7kRHǤdDz?ePUrTSI`O ?cT)c+e3mG=|68MDRIe+ oZ m֚7<~EN7BǑJLj?2n&Gy&܏.Mqcz%M*m[d.fLEB,*Hy~Q/ݸۗU Π/J}SE~X_j *}xUؔnAC9͵`#8)?rfK sue%+2_Fӿr 11byyݕPɃdQj$Q^? ng1&{`3#z~kܷ}@^;W.䑐4]!MH rWğ൶?<a <<A% TFOLPIFOLPPIDE/markup27zXZִF! ٜa]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0P~ť,4V@bJkt;  f3 `={p1v//'/mu`,@jBA2 ˿[f]U,PsJQ_8|&#YEq `țҺxAa5UfqZd{ =o?e d$lnDWw%m `M p[C["Z;^z]_!aĩ5Tr|ܚo,>Aat3ю?g3W6~xܫiQze)˦\^s-ADo#8-qzYdD#J& 0##uI$ph\*<P2nS=L8N`Y\qny0;|fjթlƻɰIu'& tNlER#v.[pp?^"1~eܙ/ ]SllDw8ŗ1zqWƈ0ZɯՃ߫~f{,V+R/lp$8-a3@6wʋrCq'k٧UX2`ɡ>{]M-'"RyNH +lYpW6rw%*M舫76ӗ,.H`Rl<XMe! Dv5xL{qAT-7uo~la^ky!.uו;Q]JO.T~c^-Ꭸ[èanAn&!^I48'x] BC!zBJ~s8봕DjvK>(MvG;P* ܯ`D'IrWbq1 ; [ *3|l] sHĔ ߪ-6NgMMY=V*XAug [w*V':*\`]t HX}~s R8ݞW<.-P_Po!zC PYAHhSWe DܗZr =9Q;hA`t8 WGצ e^ԗp~a5XuaG2SY!uaf8jϿBAP^O2z>]^.pFYT<I99f~>9Ba¦ R2nD85˪y~U -M̭?9OGc9;ŖVUz+D7aAm]BF"%.""243.NSc򫈛o3/S9F$2,L*ud^U .>/X Vlw}5_W酋Wy'2RE-R<;HBk6/nc5(:\KU:y šn&pȎ1ecbEVos].&`iG!~)b.qLlְrl?^@(3Xxq,r&/6:JKε BS!>OFrcdb ъq"935ɧߋ;Xf_Gn G5>g ~|o>r}-2=[`uֻZ<rߡ Rۇ^nZJ譊2$KM5;mPA%)褌!ZH.:)LY; ƅ*pY!xW#q$q]{dkv>ݤO䓰#ٛ<2w=&(C= |{93VUgWl+46GКlW7uyҦVL-02)je4搬X ݪY7y?fc=c/..^6;O_q'4"y] D .=S2%&=ɐ+hQ&S qbk ᴏ()SzSNxV׶YO|[7aZJ0ϧ3H#AYAnfl<=qodh| w*ECu'hd;v^!MNY TCH7FnHùw@ Ӣ?tνl3ּ.62*s&kwxo3W·J.'t-r3]E :_Z{-`pO"[YB6%0|Lث,f a P2LM% c! a,z]Ke Rh>;V G޲@+37eCF kl m@o^)~y̭!;(^כ N~A c+,N}PѪ[͊I4ȱաB~)6=lVS*c8Xw37 % |h>쯵qlԤFnyaܾQȰmJj~Hpiq1 3N|r6/Qu15Ȁ3bpS$!h`[ =S1y bU"6RzMvBK;ՆvL{l2'' !Ito_=$%49H{Y-*6I4wXb|%m3vS/T=J&56^*QbjVlgYZ 9% DFOLPIFOLPPIDE/markup37zXZִF! i ]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0P~Ŧ-ԓ ,Xu]87ɮE$6Kڈn8ec[7 0rR~fN5_ֈQv.1l2(Fsd2CjhJ쳗V:ZI@4`1e8Us|v0žWKU4Q65,M(Ǚ 6w~̓yޥ"#ZvSL탓 )m~KQ978T yQZtPNF)ہ[LĦhWc$ZAWPUc2_ uxUC~HknӒIFhUe_ា<'.:ãC&%];yDh+iƶ ѝQN}P=Εƃ}).==&r3-C_}ݭ.J(v!uԮgw 3 趲(c\ؚ'=dd0Mxu&"06?\;uæ"0;Y&Wi# K 1ҙ٣rmVlmVJNN2=!Τ*%$ 4bTFk N[%Uj!%8.sgYC/i.U\MtɆӮm3ŠͧB2 yT#BZ;X| >Ju*L;W9=O *+hObu|hМKm nzoAO+$^L33,HWRu%z ($[ʝode쵛3?wP*?_ݯƳ>A{C(/Y] %4d+adA&fn>b@e0ߝqLW֯/p7Nw()4vM.;ݢO!:v ~T]Ms E=ĄܽkrV[Cz+HB{p 7Rh:=5?j4Ą݆͸$ǮTy̨($N>ˏ3tUE3E1P;+R2֔9)Y 4'"H Uq%HJ uמ·XfV qxz/]"?Oϝcl p$ڎ?n:Սy\FVn W pNGx[t} o^5*BpfLTNCJnthlZ+2v5 r {wsriEA鞪InHSڽ- &ՙEyt (S$07N4W' B4}E'0Jzl3!g[,аh˃GQ$e J_O =h_WT($6iBD(U_ syqt|XUHکu{ A^ª7ؽh0C9XΊW7z{8< |~+1kmö&Bh"So WqR"HQA M|$4Jt@Lĸwo)6(KNCXx|"mfS#K*QM>6M^D WQZ2\{Qn-j_7(2Swsdx7%L+K7↩M>4Q8XHkg<ƪ$GA3 ^b?SY:`&s袴)\ 2qO!4h^b}W ,ֽnG!B)WLB4Xbelbsj# UFX |=q~Jt˂.m*Ic)!(^Bs2s)8h8rsT?e96q:cqJ|(`1o N'y\p6_[:p ;*vfOW uUх$ݤ{vESjjUᰢ_ǨE\+vn݇/tդ=]PHr9DO\f\Nz3aAkgK$Vga9Aeֆ;ˣƋ%{8y*I֤yZ\eVxi)mRftAj`RL9mר" 6~N5ڸҊᚽxadۀR2o}?̞<󉏦RD =a)(sc羔dݨ'BJd# {ja`;I3 wgYZUŽ}ҟ[n)PFR.Ÿ3}bjR&ggM%+v^u+<'UҀlj=[6*ؗS `J[6D;w(ִP50XBj>8~OKʎ,8? tE RZ̘>3S WwtP.!~rs9#c!0=rP} 0{DZN §ЁJd ZƧ;' lnؐ{BomFd!V3znMv)\):z 3wVV,PeFt|?MHVGGYZ5xHǨoZNFoҧHk#TqH@hN BudKyl0(ȖDڎIRj{\XOX2^ oHϕpӋo _WQÂ܂WU :5JU)||! PwS,m=jsfAYn\l:voa_ˍ?C"A/Q5Jm@6)udCg$/49p¾OL_ QLmR5'-eS0~WU4B Z=U<{'~N`QmAcd_=ɲ̄cD|;kin9ˁSox֓\[ lMɗiۺ(<کDiy,в{cgF(bvY#B%)w EضdY&_͉&cn".T֕~˖bӭNUz.p>rI>$bA%BYd)spsj6[<vW)&SY!_U@QZP@Gm{ v~EL\>!of 1ө} |3) W笶ˬ[+,;5'?hHUU !/Y֣3Kdj;ߨЊkQ`/NvB񾑘VARԐNb>w$= ]uV1z#Uݠ>.ÐZ9q˻Qnjh yqnVd=g 8ctZcxehs?=DCppѺ)[Vm6. WԦ,Z@&d}PLb퐂+оѢ9XQ2%;GT2BtĴW&m&3Jed]p"OІOvXެo yg}tXc+f\)G`ł'5SW9h6 ̚6R $YPc)2īl2@ĭY/a (k X0H${!ޯ Xl)4v:ʴz+' Y>*pDG7+A*Fo *Ԩ!GEoQm|cA!WVP$ws]Ŋ.2?.d#$(,sU"O5g=7Ld.#VZ#5\O#E) $l:} LŽgDw'y"E'Sl&T[LF+(6O9ܜEohE!uTf d݈,ޯ1?x^AQϧj?;ISYxQ#5ER Rb.YPhk-ju/(eoSfIix-muU, #$ҳ=*N|'D;E`1AX7lw(]h[AZ9snק>eolU<r*~®wb:֯5 FD(^d@CX~PVoEukRwc$4L!Q/cNFwڱ/ 0 }{FM#˽UB!NI}~jc.Qux'ehn1mNc;^F83 ]VtB Ao=j`x|gIkEW(25hJT:(2l{_*W$2CLԒ_ЧTW|%]a^:Kŕo4%L;GJPa!r.핗=Fn!_ UpXySo;%M.l<|ri5,Geh"䬔l"8ʣd2_en6zPό`n2q b )$2|۱L*5)]Nsb*R<:yLD²hZ&u^#sLoϣO4QVN(8w$P4e-F]ă߯<7V:[=c몉-bY9Ȗ(m2J:sZɌ@H1NZ#gסbk:(f0#-my~td+*tkRНdӅfaRhuڛ+tx(xY5-qPNʺ*:HH}sts*p2&mUFRS"ƜzD +?!WBz?J>e.4(\KP\L~xPDRONޞ4[uQK4bDOS ϦQqGoRۉmA^0g6Ytu\QMCxy]@GeȃR՝D =?]쒄@៯JkYL0蛆`% ':Bg/gݒ{[7Qs2UgnJ/Ui\{=${`ûq}A`sNuݐVTa27ͩ6;^PYNi$;>W+5қER٣(-"sKDh"_SB4ae,E#aUCͼid))a_fˌgŸJUa|zpbcM!:FqФbZ"0|͏O3'#|LZgPV]jƒ,𸾣_cx,`5(ÛA4Ύ"V>-J5!M*Q_elTY;嵣l_wZLcV7oI̛?7T/0)|n(?hC> ikH;q nSې}90F*,grbq W޷W7=BS.~J5i'B-sĉ>,@'SY㏚ V^8a"_LdkQ^E̎]C(isR M'$]O pĈBd+1%:Ҷ< Ү`}t|,9Yo#}PZj06rLXvI8ngvS5ߒT  a!{BvP/T0qMǢsCBޔ^糾욧I)X`N`gO1H-rAƁ^:4/UebskO ְKø:dC10)[ fMi|7U;I2ݶ pvyEp(A;jk}qo:o#됵}N{ߢx#/i\SDNe/vwLTTqɞkg2%s-tNsx 3d7r?U^ %Ck}oC)4 s2\fsrjiJ4lё yƾwn[u@̠tČـl^̀GO-BǡKǤ78qaQ9tOmA -ѽc2@ ~M.=J/#K)HႁZ 94zhY) ݶr_H$%e 2-Q6TpǙ ?S2=2Ă>ye\ xԽVQŵN>ɨ5?,fw)4mۮ=MZ;-µŠ5y.dx[|B" 3Ԫs ,݅mZI )`V͊oUւ?)wXSGD΋1֚h35^#?gU('(jbqw) tF0!b'qyfY%фBݵ&R/0?/*RZL+-[D?|~i/~i7ٽώ!o Z-J}E{5X9@E2\]ݑ 8! aIRxK .v")7-r嚯jXb< 2C +64H 042PE!SnSjB*?] 7J?pTSSY™4=:9Q2| NyI 1T)-YѢPAA5Ih<`~YVs=_er=\pNc{̛z V՞JxpVϾk8?)ecP*dRPqÍ N"KZɛ*D YaGlZ9cr`\ A3v$WqeXt<ᜦ1YϴW%qk,v`; [w:9Em KDD&JPv?K$U ܊=YixDXPGvAiEd]>SGZ A;iۅBLAP̓'f\-!],D)< =wQ(+am "C]g =֋[$S*H2}bkV Fqޯbsio\xLNc'QmEφ2&߹ixQA/3 I{t:c7x:GFBT"xt;0nG_bŵKDYۻzm0t<ԯF440˛,#+j0?c оWsO)ݻ8^\6B(] )|๖Z+_ R>%݌. cxg:<9 ^T1ݼ4;KmM/MuKBA *[<_Ea'%\NXp;'."ٰ^YXȄT 9S T]M)9Ba_2j ^rԨšA(;U3ہaC˩ 32%j4əv bv[<=Nӗ/֛vL:uguVpHu\Lx*.$>dyRg|nO \+~`3&Ay_6)T+0tEQC. HuF w|esv}mi иlgGќ@/;>l>o-yR>_΁8MiBb;5h ?LW$\4ӤL6̞ 78ZBwZa!-] vnb ؖH@Ƚ]ፆ믺! 1iq "b, o) &rm J}?u4HkG68F'2WQf<ᎷyHij,{KR27)=򲫣怅q^L<:m0p$4D`^dy_|ܖ5EQd@b@5@A@&sK2EׯFLToyd4i2P N+ $ׇ0[*lp0\IBVӓM#(:Nܯ 8sG"('XUQv9w/+wj_Vi+K43dPy:!ߪ/ń`v:͘uԳ2(preU[] qc}r{yx۽OC]~\GA$Vhd=n0R9jyAXKy΋/8'ȏ, wZlwH&8vF*0*:q)\܂ 4Ƅ= cu(')֠"s|VaRTO?Z=Ov˳KzCu\:&dWzI@ D !-tY)%nLcI'Bw Y`{؉`њ<&;B[J[C11)~:'ܞʴ%7ˁJE%> f mXHk-A{r4Eiu-V*U;8ӆe6z%OL- qlq8<"8] $EH׾V9 vd a '͠On`MPQ"S‰,&S4]~"STޡG}"(e(q"0a;vІȢ|Ɵz餆#9KGB(w7b$ų$%9̴ؑ6s2|-y۶zy#}Cy{\?Z1?C{A_$ ۷݅\CXd}̂9 .s_;W0hoLI"X*[9m[,[!c{$uzrZcB(w4!D{ 2%e-)ž/WSs' xu%cW WJ%5 1تUS L8ՐbhcaU/q*m֩ >I"~u=XBɔeҺ޸foogDsPMZɨQWLU a&zS?Hy]NoclEZTlh|@3 yꃰAG<՛5sRtVaUyN\6sUs*ǧƯ+.J'ů75Y=l6+AJt)ip`!7X4a?38 fi+R´ E1_s*X74ά{h=K:x b%bTYp; *0R~Lz[,XԎ\BE JxY-;.bf(u,+F8n¯jڱ6L/]&A$~9ہ9אպ1%E?: IMt&=*$M:n <7C<\B,yt!?'p!JM\35IL>u_gkZڢ'^+%Y[.>uz:_&DI4V~[e*m_LA15o, |t,.2LqrV'D5*_V~Ԡ.}h'XRꪨ/Bmu^Ŀ6R8wr>mRgW{p`ӇIR-'p\\\[X ^~,7+%oC(,EC L` mdNECnÄ ~ 6I1!! q֭ UOwBM].~(怑# u4H9?+B6[?@ qCئN,XܴTײY6時Ov5d$=ӟw) %^?G;}򀿑r-d|RvM@MPIaxaq2"j';)]M1^Dw,B9%rX gy\dPY)s0NCr2E FO{g4ڸx4, /~Cr^(}CV$`Wǭ>ˀ/ġ!?.5Ril"کO!qϤ9f)W^gw[ŋ <$9=Q8g(M{!Fg6\5)%Y%sf#9MNçqr 9HZb>A_9|7BIOt4b.Wp Y. ?Q4xaePQCpr>Ӣu[pNƫ,%ɓ$a4`G io#` ѿH1 u`rvFft6M J tv.,$Aobko\@g}(mA;Qt{6kߔ~OIjw#" UKӋvɞYoP+pFR91 ?O&2 S5xM^*tTi?Py.դ{٨sD6VEO\$u mڂ&{^jnVùvv?Y=D!3H{SCBbRLr\ Vd-.,;ndp뮂ԨklL!Wu8R./6NsvO@n|e@M8iIO^5!7<VBxּ6杍q>[LcɃeOK^F* QTSg|y$MXZ0ީϪ@bsq iHؼ+ q:ZK܌4}n '/)skN ;O+3Sѹ:oKagl74 ?tvHL 0%b9E=OqyqU b8;Ceg.7^dJE7VlRl "D2}0 ˹o>,簤Sչ+Q%Pa]s?Vv!i'܂o fr- "CiIf{%| m}J;^Co6͵s6* AͿLn9߅ִ-a$QyN]R8( #\:jũZ DlN&!v'T Kw۫_Z`hq7.7"w=2dTv1 =et>vxE_>/ˮk h:Ou }(I` s=qSbQַ?"̀d`}:k(8r?></--OgY5^JR4G_ ^@ca cT4s~c:hRYȆu3ܘ#ǐO`y>F@um.i4]PU1s/+ǞdSAo/& B=aRNnr\sȀ)VlֈL.Jg %Pڤ1ׄ;Ql(<;@@zH=i^r眼oO)uHVƬcn3)Ԃ M,M+k̵ |=M;f"tTlq_1ϔbmFJOUrwʜ(U}{KgKufWǭĻa)#FǗNK)i Ep@q:kqbҲl yCxx`N~ܿO4ZETpWܑNE`5-5ǩhY: I}uVNtQK{K"32X.I$2@6\*ix$zgPoxj4l[a aZy_ŝ`7sex ٍOѧʌfbKzl Lz:kx΍TZXv?6VhR63_jBڜSuظaց$Pmڥp9*+t=KTJ7)y&%i"yKISdqxFwJA/K DDM$nSlx b2gqM,,27/8JcmYrU.Wp!@c;ܱr@>!p**i.-LEv2A: v>E; 2LL]iP'::D =AFa:Wmv%%nXLl*gO ).b5 K 9$67bAM၍S*dKݵĖ>j; I̎p7wA/1YfdqhG,z*xt׉׹iB.(Z=Z(n1-^UIu#(u"+/I2 ǩpc΁m=Lَ#棽2CSv;߂FM bϩ 4P$gvlS+ڌcl@Hu\֍>}P]@\ZjBg97Qm`rݺjZ' tұ 5`4Pm'N{d}ކܵYyV=Da)20.UN^5{epye#GU"9 2Q}u7EΪTNKŜ7`Rz pYNQ%GqxJqbUr57'$yN(nHQ Gj:0 S1?JV`oՍ&" ۦ"3[icEv^I`<}@v=YxQ6@ԃOEئҠR|j 鿇Ƞ] 1gZYckWDjq|6KWyuNmjh(Y+Qo%A% d9Gm6—aA@ b-_(7a@GڢHf0lNՋ"L?N/4݆ETۊ-_ި?zW? b$+$ccƎK+* ?v AP !*xmun4˄6 :/AVEE\b7.8-[Hc.%ˍ9O(du`AvGpdn ) I{=4k*9 m,)DahrB޲665Mh\N_MM{&~wJ|jTx?[Q!7  Nǜ6N̑{uENlLjZTE4^΃6c%9.Zr}ej3Ca ~)AG[Ө-#0> ˤ!9plꋔ:/~&(PG؈y.%-&_k܃'S_E)oi'n(1^3Ait:(>!xl0vxPVӘk1ClQՐ[P V!ވ&;~S1'NV W@Z'gi1H6/&Q!:#}B9^ɉЪrb];WIII5bI Zt&Ԇ(ēl#΀V@_<*.HT qFFyMQ}M  OGMvcR8 rY6|N2M|fFf>[$NGqf.򵗤Q+ä95&5(j)oU}8}Q{?3+~\Qxb PS@eJň ~x5a{&zQ;+RCGLEuo+*xB $S t* zd@ַwmpsCݧ,RK0z!5Mɢ[@;R/  bs4&~9LΈXXl`[d5ҥ^L7Nfwe,Fiu$2V ϩh/I;t Edyd[ʿjӋFS}w1A]/V;n{JV~]dW-Acg,4RQX5 ۟UtZG~V׵V28P;\{f#9-C;ޓ:;:BAkE0VP7s/Sqi}DOOt&iXcң&9=bO0}1~G`bz0D.9D.6\2;d #{l`6koxA8ȴS!6C%ZR4 b[fX/E$߰]i#S 'r8H] 63Id[U,W*<iWSoer#.ǿv/!%,Eg̶"4J+44~G_1b ]CxrItF8mF909GasIL뱉#oN5bV9nР/VBY,'a=ct*kkG9%TZzEEѤʙ}l }H`FWͯɂO!_KB1IgRl$ƲAt[\[H:3,Q)2Gy.3O3^yr:]m ЧJ6|\`ԅ! o~K: S8f#"ivY-j'b}k-4c'>޻EFҴNزhB*Ι8>ݽ]&k,k3[ުb)G}>YEUx eׂ'b2U?F```16{-q.?]x R}nީ}y<7tA`H`OH\SBlߓl"N-/CYk TӞWA*fE2(3a[X=x]=\*rZ~N3&}vѵ)RڣE]+P~)X wtϯ-vGC3%6{ޢ# 4ޛ|o+}=2IĉwΜ~<)o1+n{tIy~ ~ܚZLr96evUn~،Y,>)h5)OfˆDbf{K~_}% T*軉v@o4U *ƱyWm&ɞذOb768A'*q5&b a! ]X:S,~ -t0>61 x"XM r} vu)%x%Y0}, Hr8ez}\/cwLbi)G澴q- 4#Pc *"fEPJ tFzF".%l -YHZZ8 lj2LՊ%ig hOb|k&UQ/o(~P) TS+7?o̠!'r̮{TxW8c)^ $mw]x CR3689Hklzi҆O H|-2_A(fFqwP#|]m=b̜ZQd=t~@P~׎r0HLANي5H֩z87>W)ژx|{kg^ Htzu$o"Wv ]4qmb6?80ȧxT!6 mC|_%gz j /ݨOv).|~*ށ=uNJ!(o,k35/'pX6nAEC/-(LHVA^U3h0閬: KWWyk -9: nf1G4L2R$-ޙ +N΋:BPn>H8l/'JOnw0]o_z5h.OUoD=em}O*EAb }KcެB?{wHoY`KL5쯏rfR;TiÇҢ2 h['1QHqzBk#AaK V(:*j>2=("XN5B{wS ´>%-y pS^ϼWE&vkiw'#1VF(6( dދ䐦Ϛ{,evﻐ\$ Ua}ܠP:7at ,S.B!l&M Ħ nE@u <)(^!)>W (ڤtGJM8)SLlQ0X4I2v7tKgHX^-hc[S0\n_(R.6PIgv#Rdv#h|E1?T) JâթZJF9,\߇O|oCKQ x|ձNrIMLi@a͒&';G>V [fRqaxO \=\Fk OPy}ǣS}I'/ de?4WsmhsN.ةJQXv=q 9DRF(sc*0xfC[߄tPP>3VEK!Z2U'[sGG0򝭽 ,?dc})`_4f+05IӶ.`r_&ɵfHC6v&)mkIWy!P)ւQ RFL ‘ݷBzZNYn^ŝm5Bkne^!}c*f]PΆ~B#>tvMAr^k07i+ uAknG9?LL`']^ }P˼H!S/r37Rk//!52T:(x7ic$u:,RDU]L^S}7/uKoeJ{)2L6FCڋ[yr5/Q n*ddޖO28gD7=ZA1s`nJ w(CfYM$k.$,J -^P=-Q| $]֯g:[s, 5y^q+O[ =eF IlȁeL+@5g^zM{ثē c6pqv%_ו4F"UcDQ3 Ml$as)_gYZ VVs !>FOLPFOLPPIDE/files~~/src/FOLP/FOLP.thy ~~/src/FOLP/classical.ML ~~/src/FOLP/simp.ML ~~/src/FOLP/simpdata.ML! -FOLPFOLPPIDE/document_id10 ' FOLPIFOLPPIDE/messages7zXZִF! Q]Άxʆ5.f-9 rq;Y9<B"ɺ/("Gqj}zjg|24:V%>JvbWČM?"n⛽p,;%LϩǮ>zI`?yؕ/<zs`/5>s}uQY?ijtZ+wѻpb}2 X 8AA3+ԩE6S7s;R;Y ;lAc<*k !PGi,i϶űSH&.9P})9c|dAՀ|9~ ߿T8ý+xJKISO@:!ʭP`7 |b•͛@ K3ES 2CЪeHˉK]+`Y+ ʪaKS<@:ta)UnmִEDO6Z3gzHs?'.~3h6W>>#Fu\n^Ol. gxJzۿk!7THL+9 oC׽gºh=y)nf-)J2gںv2(s!mrs[YbG&"l?gQb ~`))[/#3h hIG%@i,qZf[D>ݜyx&ȱ4\;0#a>uBomH=^õr'~Ǹr9^7B Aԇ'm]U>BΆAb [떟tFxWMqC2 ~tG(bLՖ."m,ǹi^?|a"6-χ8{ji`Լ%؄_XJpiѧ$9P͛Ef]JByLS}/6f8*0xQ1#1؝Y/`z4I:d;HṚWD=oS>tA?%R o*I,&[:h4tNj^q|R\cx1q8 a޲xUZOVCc Ia[M% t\aJgC,N$L48u1mA%wfvֵ<bTs&n_?lz+mMA2yE4*4r͋cddf9Ӳ=I.śd?!>0L @B4k~%ڶ<`Q3rdT=uF&kfWvHT :޸y~Eϼ9vjWJhk$!|Nqv"Ep .X5@8Cؓ$*^zzLґF 紧y F=P2l{(dKquEQAx7TUgMиaDi#EEɐ%+.$cwπ%ɎIO]Ԇ|1lԂp@╊c097:lP2ͼq2=f-JI~L]t I: }䊩t5Ci)9a]a4KLd5\ՇfjKޑ>JBTrѣҝjf 0V6,B6SbQ6j`{6K q_gYZ # TFOLPIFOLPPIDE/markup7zXZִF! \}O] !M젗OFJ9Y7"DuI52((q"᧕_>ʔwrCc!'8yn~\hX-g+'EqRKp}0,Ce)@źVFU <_cF:qԳ`} s@"…pw,1P"jA{w{*ap]=m  Ad7tNI6mzmϕ @ޤhWKD #'w%gSxmG=OϺt 0~ s>m׳u>ln}38RD6n_IA{4hE~n&p4*N%vqhNCЌntBJXgJwKA: z/k}=ZwFg6_I0p0͑_^,~,)xVVwakBpA6ٕ?R7= Tݫf-I& ɠ3-!-CJL~ax ^te) 2Wľz:[ c$p@vv;-F(VWyG(^I2^ f蓆3 &(cH2tfa˨[u[$2/t?\ڏFE Q򀀌X(B`@L~U8d!sQKVOSЯ5MM% gcqh> V)@'g"ɨ ʴn;i7`ǺB^ӎ$F,TrV濝}vKg]ac^keZzd}`ǨX^z ȣ83}Èb'Yz)5FM:%e}oNusʔlE(4-uߺxփ;kK~Gee;6ׯ ~ӐOfAƻFpo[ 9`N-J)lfѱX? p'K6h@׭4tF$PBT?,2¹Mi#T+~1t,!("8!B|hy| J! 0Ֆir67ܿ ^A3ʬ0 %#z6eG ncqvC[*~--O{]*=rJp=oΤ0s8ɦ-D%&nePmDjz<=R&6#2I?LjˊԇWY? Q;-^lf4[^ Fl(nsNm'abV썬C* RmoHZzU|>ŧ2LcY;Y2vWZ Zz&i&v.se tw;07$EerUWJ d=g(aTu FOpeWojUmgL >ط;d؀FtOȬ ImYBAŦz "2sƣyҢOJvo</j|agSq) 'v1uטNGK1<q=R=swl2ͽY׼} E|fnT$oM7]%APYuS:k?_[d81I(h5pf Nf 0AC5Nal;@* 8:L݆"Q B}8xÞ.x+E__9ϓ ,cQlëؔn ٜmfq ^v9@KC#1#|a55eKIM3pNͯz+Okô{yTWXZ*-\{ ]͡^\ MNךB^:m#V ރ2 I^E&,NLc"vv]yD)43rrV1) +!q0G ~ J"31W1 ,Y M !@þm3kbՙǹe35b_qEIRߔe2u*?$ lk nsR rg[z q_Z9>>U>L4]0Zؐ &rzd[>1 ]CǸ"agzГnYW$rfU0KCZc¼5ip 9c[t?xr:;?eg+xDt{߬50*2m;؁7f8!,.BUbLM5q Z{O HpGzr9 ׾5{į/zB:Q#V=`X"_tҫgG͗5 }LUӢGUy34cCNBV,N{B~}&~ :Pl>v4Uedzm{7EE^,1xEhrQ;4Bomc+iXY̏: Gcfw80zPS VJ!+yHPٟSsaNAZy85|/9b/yʬoؒq\amfN!rEG1gb+WhY A eS~"Vpj8a fTz6+b Ȭqj,lSIEc stԗ'f!eUn6/bP lO(xL&?Qp/IIx$,'\X8@ "%1{*4) ǐ_5҇ỻ*w\݋T &D'Mo}3nO,:GR+Hj#lJE׫D-r)s;ک>8_=*WjGfL9mvd_U6 ]gYZ AA4 % E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0P~Š U\I<QVIk_@1#Ń-{'H.;2˗혥۞~6P5f_qH/:*Ƒ{ܓf|]!( _):{N$P\av=1V4) I_>҃m+mXZ(>fdz^2oCmۼ6`@ghE-}[4Co (n2j>@6U ,x lñ(:NqU\+$@h&vٵH/~D껳?xpCýʄ}8S$[,``7l%"B s^S.gWAbmp<e:>@6>L{Xj"QIBH1O CsDC=(/**}mmm;a'^k-j1r٩CE3}7>3\:$!Y3}> dEPsW)%I5P@=?y)=:VU'xA1êuͩ㨄ET3*^pOA _}ܗo L9BOH<7UEn+}Of\o`3y^'ΛHdFM8s!:~sH2m5*|I7>nZHXmbNIlaR--~Ԗ5Q3ӆy]6\鋄 vr͛/! fb]D^ F AJ˖|=[~1ߏ`">{Uw>k ڑcb{^_|( eT[;M4x'I+>)"kʗBp8 Kg#㹹EՎڐmyfP<%uԃB6O@# beZY\7ppmCX M؀kRj;yy5(1+{< LO!O2J)* eݟs*.[8<=lb6z_r8 ;^Zz%2 $fX]p;{JUdDQNgFYE3ó.w $zsɋ_xso-5LyP[ W79܇9*SH2 mN2~/~DZCL!n“ B{i9Y,@h%gN,jT-Q?]&iHW}Ф@Ӷ_ x~> "5TyGcWGMrLCSC9}>vJ;.mQr*x*Hl #z:%h lљB"z=7hm\.˸,] o7q3M켜QsxKt\zS@ rTD#{a@ڜ( [ˆ{p`TWr)P+&DS<(} j !Ozs%>vSr:r ne8\8'U _ߑ߾]&? ^K` 9n.5uXhV:&r,hT;֕SםՂ4GSvȈ<%:ex$ͨS܂["aJXt 6" _dewA\&Hx,?3 kf tQbJsD"n01a4b Z"~R*"\,L&d/kQimU416"T%-p-%}ahjޙt>+ܓԪ|=#N}m$3=#ѥ=ADmF Tq >;TD `y? o^ 8_\VLO%TcjrѶx /WZs!.(g͝7bG/(8ޛ}9/p?Y^rXT V-RUYEVKgM?UL}NPUҏ&{cխg({;#QkiJL_Nm^.V/EUw"]cCu4>{׾\{-eV&hFs"jv"Nx=suiV:IVuXN%rڥ\Gx2E^C\I}g"~u&gq!kX3q1Lj% E8r ]lh?< ƍ$ xL嶓NJsl )}aUQ,m'90hotcpzh8B|upU;aCj"=M?`(8g~cq`Un;b%Tԑk.3Cu@@ }`bw_¼!H(AY'?a_ QY Yu2c.:IOυûǏ1qNtPp<\4j=MІ̒ G?/v̍I)ݬ'2`̓?ْQstMsu#An5 bu&S_ע%EU ܷ㑔*CXykd(>sbΣt0@ i'l%ѓm,nVmHNIwu~Vms lVB4[xuf[^:Cb&%{E4fwt0؏#(IϦ[pq@)1 ʉwf27Ա %X;X0g07}xea6#\?6].YbP82a,{DjЙy*fTYKkAqDu6ӡ=fbB"'W\9 nYܽ;Gc֡ԩ 5:ٺ/!"\cCF&I,6[o\4ZFc(ѝu@wkteuFp $-1G݂;jxffW\-J[b7gi~bC FJj[KH0.'lVN-!SQ$q Fa5 bo[![uIS2dkB_7I 5܇u]#tP+xqe[TR]eh=N@|C}Ey V18!LV3,p/gv cSirpX Ec6td:lsg7U䎡n]Tn1$ɑNZ!#qҐL~-#`5\2j+i}M)22`I~ò:z^]9 *:}<@A߮lgrY58o|KCfR_9(a9)ub7>@c=T0+ T}u Wb?H]Vo<R4Jrw*dw1̀T]/еXnIq͆iƣǽ≑6@/%R>20TY7P v Q;ɒUC-M[3BxJR23DJ0J5 t~ x-Q*J]]<8;X+CV C1= ?:!6`doc'fK.z~Hj g|%fFu`Q76WM ȅ]LEY9,F$3aA9@'8ni[Џ:4j127G2|>MFiwV&aZZ^nG-P2=;ĝG\k]:q+ٜw ;܋FJېo uh/j*~0!QΔ8@.0Pd,ept1qwc1}\X2K#U9͆;$pH jLkxJV s9` N>ttzi ")D0LC'{>u=ڂnpßV:A~#(gVS1*<Bsmh7bA l9{.[hyT2S:h b u޾O{;!+xW^a<0{B<ۅ7_R0x܀E{F5A4CU?7x Ql!n aRjDl{je&uM$!P/-[ !S;'b5^_~J 4k0<n0$&jjt!\˜lj0Fuk@:;SNdc)&(«Vҁ'D P\AטG4ٔ{xNUrI`>3Kxw}gM!<|\n{޻&Kuڰ X =S3_r*4$aa2E#*Ny/[[xZ>B½J=DD:PT*j:3Fh"%k3@l9>̈́![*Wn-T]ܼ/zRgYuKR֥IyVI!_nE2 u*nd]A)\٘MU ƨTF)p#Ud`kV.]zj)i*ڏkVQ)R#.:xC ŢWWdcȗ jl&c#cw^xުA3Ը '(N2h&䡪vSXE+] _ث]YJvK0eR2Wh嫣\q0s7##-(ك1ִ̼G-_#e|AZҗiesƴ#&j7JbHi GyqW:t~iHmR.Ѫ#\)؆J5AQPx5p``esjlʄ1S0V,C' '̿n칀+0U3H7bʬy~}QK/W)U;Zwă1dXQwzb5[#u"0U ]+A(w"ɝBR&HOhl")v2jj*/ _I+vbIO͹isuZܣv0W! 0A`q 0L2\3~q(#ϸĔ}%aJĚAg[_Duz DәI]|0^P#!qA sGPrq33#>TUMnxG}ũ!Ș+Ы ЌzN9s ׆P9` l}p>ۺKx|=s"*À m,ޥ|w-u[=X01n)!w.=l|#Z2=;A6+M_BA-vV-+&gW>z3gש}o-L' *ϙmҢ[T(,U]  ATF>HېoMط? *溅F3˵A)P}%l>ki(WDє`0ev2+ZW> 㙶BQ.@חdAeY XڇOmr(!%6@lBr4FnH)QC4jYL]Vk]ow4Ok]4}lf+N5ze 4.A﷠;v;Ohn\ΦcX)v\zJ }D+rTQ}:{@6w!KWoFI_c0d.=rq"yb},q(,}(UgPN,u EaFU`^cp|1ݠ`k',ͻP/k`E>oi-LR.;V &ʾkNIڐجh1{nlD+zIAeyjw,w;2ߌ3.8/NQN3Y!iԮ@JrWAEXmKj eO~`\-&J4cqcA 8S߾D<[,sN)*.2?Ц@;vgή(:bD!D^ھ!>RW>.b Go܄#сHAja#_zE( eKTς̱ʬV k3 n ثҶB<ֹpap3sblDuy^̇&%eJ15,GثYIvxIf ,%e(u`Lqbw=^zQdīz | 􈷄ה)0ӝ::X>3Fxh+^ d N"$6v9$Yw=,+Ԯd7 Ԏ(m>w[rkS(x"UdM轾J.yzkz1*dGV[Z3zev, rHKuiVe}&؄Ic:"(#ʸJp39ܕreLg)H7#\8֐N</9u|*| +k>+ \BP &5:CZLS鼳!L!8&0~ߍ8zDu$kG#2-9AxG lHڪ.bhάB&iP;Rbಌ"+>, ı%lD,,z)y(ZOEg[ӁШfTؙ%jNqw1V'!<8;f^ɧ|$9+]ڝzN(n0dvVRQSn~I/gIz Y =ftkU+]Kc-Osmk~7W iqbEY|?);Ǎ HC͈%k~uB 4^'xv׾\&,=ixD`={G J6 [.cN4>ȯ!Pm\lp}S11ZܾA(K¿sJnejZ]@by*òtC ˜FWMcqPuDueec8=i9w/Dn(DJ {Ͽ`Dh6bA3> WW((LCJ#Q2R)YsTHÞj*m<y)b+ҸCYs9ұu5I݂ ֊ߒ Rn2w |#ۛ6;e؃WCVNAjx~xu Cwi;%pk%WA0[)~02_&~o9QFІu_mM[c6 ED9;EIRJ2KfUAZ,IӲO>|B\o"1$@17N1Mz?Ѹi¬EIY8P15p阺;z/ +giH ;e~u)#%~=AV$9j*vGZUq^rf]0˭ʄ&ɜ)-bA䧙>vLCF0)hzHbB zhKLsOH$3>=B-*S0"˃ OEHC e{{l0bb8ιi7<>@>lȽcJ2L@{]3@DQP5D9Mo@&Qyߎc k|G:m,RXl~0-n2k蚰Y0L` P+HMC(Vay=ӲR-Bs@aK>ڱ| R_o\^LHBZ2 ZVX*|,)/;~ƻޱPV >Us`]*rܚzLW)adw ZąCN:Ǝb,j p$vAE+c_1ʋ&cs_s;4G0Z }y4ʜˊ9k3JzZFN_mc3ld hylr ^qm}wY\{ 8q I^j;_䒼ì&^=; 3_V\wX4KӌP#ŸKd]-Qm9V3s]=Rj&}GmQntFգt+]ĸ>/=GNDi}ṛ,e wjPe -*'v^ʈ+DT1r.6%ѝ0y9ֿؐ,)N L#^yӶ/<嫼NM &AZ7kd4:Ax :G< 0.-&R&'7;p(4 ̟cq]-@X΀]GY&F=`?E6Imf,b;4>Wkc@ZnxO d{z⦺J˖E\*9{ A>yT\Me^0JT=h==jG˷҄qz&*|eQrB!T*o Tgw/7t2(? ]D(a_GJ-B[/u8H)u1_2T0B0m0RF(z`@oۑ 0HnN*g_2>SqY70ix!P+G DXTu]T#T8V8DPGk ÜIoDp;.R#Ib*1؆ .;0OdcGAˁe1"P3wb~UBt a#GN} c Iwe 3{[YHwx](质csZaD(mrT}?sOE˓%b4iFy G[N iS+3@[ovCEeT3 ?GU+2|$7+ 磷 9"G6 >g+4DB‹GZݱJֹNXĔzүR(60.|##k]C'jPaxY" [u耮}]K&rʰgGWft0fFV>M2%zK {epjy{Yza#6{^p ̜wfll7rx5cH\ =j%Z4F:ʟBꦜ&?Ip=-D(ΔJ='h=ǃǏYօ ioOOF>xU[CӨ[]ܣ'tp|he#XR1AJ7%R4-%*x( 6f¿rw 6Izz<=lڣovC[*1na}6ΘҸ"-/42k(m\2b9wnmnӆ1)CE9dvT@QIp_/·n9NˑB)3qMC4uO.a½'p30d*WaAፀ XwZjIa/q*_2)r;@ZéyL (; ӄ?1;k l /U}=7 zEv ƿ/u9&O`ww@aPm1߇ #[#U)2Ao$l J<7SLqG!` =h*א$_PY 8הz*HjrJxJrF tq=ձ ᠵ=;LD$ q[–  (dw:(UI,rȤE`!4[yevݍk8,AGwƄpG%C_/o$~vP5sąv Kޯ%l9d749_dBvMZ*I)Jgt_ WEpVT=]XC9Q ;Xd"h. nNCKRFgC]{XisE_B7/ n_4=inZ1U}-St ?{/݋TVgH3Bj6&wR]D["eHrKQU3ίTB|XF =3iա(Y}ƒ*^qS6 ObN8yuK/T-4^7u5V&9tC{ikFn,|)-9Moݽlh|Gx>J/D+R 'm ^](=buJڔAK?†u:jDQOv )`."Ja*1p}yDpY[}>sv X`&&io2y/1$^^x:$0`g3pԄ%ymtr9ljG .*% 0-:X-MR ʘtՇU,>֡$h?(޻埯ٜh+ULJ>LL(RmʛeëWgaMSllo.29f]-1O-‰63ku.>V5ESo#? *;ՏVQX9+0KoɒWY0}߂ګ-#x[WMrPO݃zd576 m}kZR@ڨLW}j!;BTvʤ՝1٥[UoGA~DmS+:8Su4^p2 $F]^k߫buϾ"@e.aL"&r.RZrM_+>Ln%@N<_ ä0هB12u?#'&!+q6fv"N6-8;ڎ_,5 ^F}W #c\Vֱ;Tz`wbBxſDE"pwEa6NHG_zĸӒo6j]8o3mKٝt{( &&ݶ9Rb% zf3֞Woe)p4- wИm\D%H/r/c"0,J:G煻WTĠjQ؆i4kp?H)GZ20qJѮ "h nPͩԇue-%}ĎB-sT\]!įU=!K}<ψ]*}*bu[vʣJ8v%W{wtR^W^xf{Eo<ȭ$jeKS3]^rMsn i>&[iwɅ;ɳ/&TYڼCOdzyui3qS&(P㊨H lx5R/{>o_xnIAo\m:LT`Lm%)b_.E YQ|1Q.JKfjU&o^ԤtFOCT;e&m).[;i S bIJ !S*!I,+lx*労 Q'%(햴qjG?HTkd v-gvnI~g9l :>x6^s ksMRwZRSʜs䢐#hN ڭ2u\D{翺w }89=+2ҕ ¨Uw(2 wf3^`:J*(47%sJ[dMų6UO3haq(7"#~DڒFrJ Ao{e^ioo&8N?)j*?M1MBe4ܽx^KFHfڼ|A#߫ig*̏(gJ_m*Eh{ 1ҁ2 $dR*k6hP7fuj<ds) B D-ݰvbVi4$gu8Et'>GjD%GR/4˖sI_Ub7T[I@g, ܴDB_k.G濤4Kj[6K,cfsMC2Yx$'PC’e,ƸXo7rո3 83mԘhqŕ=rјqwLܟnJ)}TFnrh|ӊ3A5J/QAR!'$a'")79Ɓ*[Q2X:]Vm.Ck0UaHLhYxb)r-۞@luALSXB , ]I]XLқ+rA҆J,a/FE-CISUݡ)9f"t||b%WJ0F( 26 IR 3GO,4hZg^r*$)zv},x3 E_?l#(%Lh#E` VDv"`iX9)ǷzuUgE7KmAf7IgB4 LYv Gz`]᳟gdު׸en6+ٕg?@"+l( UDbUHotfjC1Hn |o;[TP*t1DnՐeD<>6r+}}x}*Kndh~ؿiZ \|Q3ʦ6ށ×Ngܡ{TPDqB"p&~ {wƑѱ|g+Wc ƑCڡ{no$e ,m)kGO73IPw9Β9{S[690~q2˽yhIUiԥRIHf8\Lҵo 1_l#ow!jmgԣOJT]GZ Dׯ p X M*ZE3!X^ڀ(_p$.H8Ir>;:ΟE$h-?(OE=lh1P}g%P.R8׏' dUFuxX-2o%&bX,+|]Gb&C=)!|nwSjMU:eP@U˝˛_ssVV&6ߴAfZw^F PJ CIتv!/@MT#^+q##l0>v=N+#dopX ) !ua*$9,3ήlxʋP}TtJ dÊCZidOex텕?Hr?MXKT5}ȭ]&%to";6'i %˸N**bQ$}- 4C07,""Lh}~Å5~Bw!Bq>jikZ ȱc=z7^fsVSSF; Aٯ*umK~Cqz4SEDl Z/n?s \a~В2S] r2{YEX~:JSA{LqOTn{tC+,yɸ9d*\84l<ȷ۽ ;JBBs̬'8ݿjN`@ƞ/`YQfi86Ff}҈em ISsG0G8I?pp1DXoQ,7Tz}qkMhqE~I$my2Ǚr|fc 'bvi*L9a햹>J!3ݎ>/yq wyվTd{ћDx'|epy} ѕ;9p49c, @=h8bֆ_-UAM- 曮(Sږ oD-eϸIg z:a  " 11k >?M3R>Y8L|%fjB7/BD9,뜨 JYS<6e-{-7+Ar/y#fS 37gG, â0'|{5d'K"47ߥH h>P}bFu+/b>.XGe'NDfJ5r:C4YZ_^tZ- kuP dϐKCC.ZV qQgΨK;n,-4GoU_zJ?Sz̅:nt-;՞@4I"ZBXtBj7kMAw؆ VpQZ#w==У:!9(~Se+R;Ώώ/A)Wޗ28>L%sf ȋx@>K*CuqA(h1l4I17n)!*CP懍Nff!| @)VMP-}P_Ā- %P7՜"D{Pʠ̺I?&:rZ8Mo=?lTr-_5m' g(VuNm+,k(ed4;)IMriSkw;(~҉,i^YFneYmsJrDGU+Wc'E9K#HO?i܍-)CS]b/#zl1Gp*m3U?* W{)mt/~B7}|U;W  &O/|sĴi_2| =i)0ʕOdcz 5>-\84hٟis >vsfwkB{+:q1id m6e%xt4mjۜ |T,êARϖnTA1-m!# Χй|rV\l铋f[_ R*,sf 3[d *nˌ-Pvg4]0Si1[\~e7 ْ5g6"(ggCڝKЩ01h/gL|s//ɓ5 c O`?CIPj'|s/E`E2|(R\QtY4ߑ3 pnj?q %<)ls1Ao߽gU.7b0,-`a &!Yyܖ*MU$ތϛ{T w57r}ij!M?fwPgyoNQ@cq;_R{ L:ES? ^3u -$Lؗ6 er@Tby hjM>pOL;Tgj{o՟'N"= pj^>1"#m)&?ƙ.|6Ɉo&>}ۙgIY:8;CТRk_j-ki)p[`^fV~%z W%: |RVl\tLxW]?\|~[M[Yv$v \\;ˬw:v^ Sӣu NJxY@5{Kz 7#򚩅T,26Ēg^/D;: 8sSɲ.xmm1vF~YQAjYm $DEK|FQ8ҍ%y`wj&[#P#&63c[y:jAݪrBxꟊ"D>-qhÈ# 1nc)s_l|F/[]dB+91>^#\J2{_Ӗ]:̓!z -txXo hPRYDxqd 5c0Fޯ`cCI[&HX-Q3U?_@%P2#Ug5vv\|5}жVL㴀J-8'ߑfB50LvCx D؈%1x*uOdLrM#ahHf^-pnxZ?уbG/ F^ 2J˺ʼn*Q%VKfýL\L2Tи⤓ e/Vg%p/O9 T U6Js{dL~Yn1b99cv3DzPq 2C;S@y#3$Cx%c GQoA7nz, V8'vCCU#NQd`@+ 4y#=ƺ_j7u >ݣ~$  zyAMF9hE^2[[/nVyҥYUdO֨$,D̆ GԌJ$Hf9n$J/}AM۬UtL5fjf-tB.kFz ".|ՎX (T0595G%A5.q9ljRu&ՎKvQ)t ;qgdi*^n¹P[\,O܉I4f~2}8p bK m <i:J~R L h=,2Mx/P7q|w̩-=E@/s< {~e_RgDjW#ё4bhM OkL OsƱ\Йxkp-/xk(rĿ6q!xSNn/V ѩ]u_"Gt6'4#V߿"i##|ө~{!yS%f1ėjhb]EȘ?0Z:afx4 ùXuUpD 7Ԡ&aLs=)p N3F+ lh'3Wt|xQ(Y$ֱd?|f7n_&WƑ ޸7}JNVoxҕ?)ԪD32aaZG]ڌ 8=FIafFǬ:<&As!ٵX6Lť<ןYvՅB&8EnF?FO N\YhCc ݵ@U"]; Mk!!Y޾@rY"#ܴr9#o hnw𥶡Kky&h}F|^Ž+bX#[Ǫ~QH`X˦Adl9IyX{ LOkց ' EHPǏ6+ 5Q "ڃ-$#Cı&N8X%8,IO/ft'xvҡJw;cĥe9`HM*#n\ an$D&W1xp*ݠRU |I ǩZ4iߡYʃ9!R= _~P}zo“ }"EG[RnM4J9ÂZY;j_]`\e]6]Z+*Й#-rS{4_NsWP$(<2rzrX+qf‑Ѣԡvl #T$e~yq\_9z@+n]\*ۊ;T:&`;݂\h>k2&8Cm!DdѦ4Nًp8fSR |̯w@5ٚ=rpk~0d  2oAoLX*`]B3 %MJAħ*A^D$128 Y9r|v]cQׅ͘l3L)zK/@}x^^ (u_e\K8Vt0P xZNKW&ep>p6DtX$ʓMخ: V$X,V$Q0302ѪbX, | }QeˆTmƷ;Uqs%|Q7^Jk墥^0.<`#YWU< ߇vFj2ȇ=(ڋnlu Z1 2nwG:Jj)"r<<9sy.N5uWѥQ"lJWyQР-"@UqaXښxs*tkȻ;:R#/"EgIfn7VB1ڀGdo>CuDu8z1Ir);E.Hۄ9>u,Xĺ:%ƦemBω(K.0Hg; Z`1DYʕOkUbBB;څd6aĦ>G +yhe 3=+6NGP`r&vF5 Y ZFi>\CE wus݋H2h <qaGY+.|_@4SSP ub't MA 6vK%q?a  G։u$`xD |@kƟ&dkvhpٝ \J-KJT// 4cQj"̛V[7z=1kƵ  `[ryكmZ'k/05R nKXL"fla"x5GE,TM 8n?t ..~R}7C! ,INc62ihpbݟ]X`5' \FJ>=Ԡi( yWZ9;ǽ$4֩Sx:aT6ڨi4Kf@vR$WvC\;7~d>QѭoISm j= ;BEU֍ ?amfsVJƁ0iȃ{K#4kR%baMij&u+:qͷ /hҸwʰShZE6iP)/9U0?Jؘ1dk; yX ة/`8ԣE o9znP9\ѰW?L . ".\0Pp7x sv^aE֥w X?D|3U}%s"%T4dwpūdaۚQ.i*3?F{*)okEB}g'J21iv3`#~S N៬k?†$& z2JFncGmЍ,3_[͞'N)gYL f9Op4ϝTk5]Akz-o|M>IDiunrSI3Pj$v6o-}7Pq6X>z|˺BXn6pkqL> ײd*w^## l+N&F>N%>H2y9x︅1jYM1t;Sѻ;6el\4&&vI}sE_gnۧ w@[u_!5:ͅ{ޕjկ5PVkQܤ=/FPԌ.{+p0J DJv1aP8F|mď<RM5Ȃ9}"l%Ĵ&@:~8dOF=@|/Lԋ6oSP*3b"?UP1]op(X:vx7*LqNf9 u|Sީ.偛yΥ[u[ͤ5#G-hI#2,НbU i`vr^һ d|q&D(FWz͍:bNDOK(v2ȞGA7Rwz3BNRz%KUO7".pN)ÒTm$ a|3NE6f|r%X'E{vZQ'E5ڋ{proz^P֞SJJ|m|ц Z:ʬ(SJ O{CeY#_-Z}ncZU'&@FQY#k!b*ԉ^:{pssWϪ:Hxt^6M22$'%B(iSԉFbJFC}K=KgJ i:ϻcK*9R(DR;n(ʶ ڬ[e4Qʟ7 leoC@$}dIDcR?HUDKub%G~~*T>I( Wxф e/ |Ⱦ'`a{MKngkC!ВVt6hGF B~UVc Ŵ6NQ߶lQ"v Ahiy%H& C^P!1f}Lʌi0~Lj9wlk:x. %9 莡b _k뼞3jkG}-6%\pfQE蟉8AZP|DT늦m͑c@^Bp &^RGB,ƛ#o@"i/ 2ww.s.ULb?:SnXii-mH<ȞAr0 J4(]ϥX#։cmmE?0@AYYx<W ~vpcS`# ނSg\,>y|\Z4rfK;j^B?.&b,FUs)L3N;#6\v|ŭ0i#ѻ;3_/()2xTk,^/ݵqAHiiԋU n5t[favJ G1S%ƅdKH\C;9L [7[U2 1j^/0͹W9îໟCoqQ+Qwʔ& 6 <_O!+o=ںMEg-_+E я=Ǩ#6+RuFp>'!T; ԟfajew7%"}s<A#gYZ - % ,FOLPFOLPPIDE/markup27zXZִF! v}]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0P~Ů+{4:m;a6ozkރE6WTAPcQ)z\3 ވ@" g[kE.$"5/4JF cV0 ۬{ܳ7Ҡy Ct6Ӷ Wq4>BZvQPT-дlJgJc+"&p\5ÓCP4W(j |Tɹf ݝ yEZ_bN^rXzlnL3}5JM9Z^x[yc>SuoڒHh-G~ 4!rWM%8 >v}J.){b^uv&f -Z5 MZ= GM5G OR,]bpgYVJ0<&ĻNUqמ \/t,޷%004| ٻ ךQ\qE-/:1B#zIlfa$q Ky?NxV'/&篓e:_y5Ǣy:rgNyK,a[\KqF# +#){amA#B$/{R^]iN`_M4n]s\.MP۷ zp$Ye6l&Ao]+e|6[Z#ik(P~ :Al2M߈:0#p:Jv(JDz9Aޠ%DH!AaOr"aS'"/}KZ'g"Ls645 א}7 */֣è{']o)NFD Ha~"5أ5>@ s5ph?bea Mm젖G`N-/*X=jUu2qb ]l0 CKmV! W觨 L2{ͤOrfAI5T⥛f 2󻾵b4;TQ`H2GNtIؚdDy8Uq|򜙪*şom?zUKݪغ[ &%Wɵ+doĖ~WE*Pao{ghx ^_.(补(1q!:g)~$$|8쏾{A f"蛜As(ф)^_GKM@vraTc@5/&H#ĘZ{JO3)RV^ jvbU k{XlFW"g,ԗ,Eh%P5 Ω& S{-UyS$^)q 0ݫy1P)ҼT\&J-i-I'L}GyI^VP,16MIn·0*8ڔwO!_WpXgZ BW,RRkBwpKBܶ*駃-R7Pm'ZxRcmE3zWIdM:tiTEޝĮ .1Cm2dkbhjnaեuwh!8rZ8YHǕRd& }2ǵ1ʨu)lOjm+[d/yNH_{g %&<0L=67=dp`μ ~2,Jx(rx'TЀTKZ󍇓} L^܁K9750fLg'܀J#B#a =)BN_u"WGu o|)[TlM S@- Hr 3WWX-r81"h^A\=aBbc V8Lfi#}Ra f|A bW$"|c?a h4]r(׻ FuUa~MnɬC>(`iM}(tq2BYhy.eUQh ٕϘOghޗϧ(YO5XvPXR˾PћEz}xj =Nw4(VjlQfr`-~lǾ?1ItAwFGcx?+4"b~ SpDSTCc@08 M ,r/]ӿ&$-_G(+ (l;: :CVGD nq>(>[cE!4"dNKdMq`>XQ8Oap`=E3!=ҟ Q<(j5*G-t;;19O](hTYinp4&H!tV@3*T 'A@@ܛ'0[Nhxe+m 6}|ݏ,{[dbJmg.yϤ uިP;t?겝;Lklo&c#^bOMW4k-=W$BsŒ^Ķ 59<_fMÜf;w8qђn㍴RiYGm@㣒!y)H:4`e]ԱILE=:S }A. sӋذYW* Nų~6};Sy3)Bѱ{k$BE {QfOhFo܆}B5u` >1") qg*jF9-1&''o/<-޹ڻmooƇNԗM8:D8,¥MyŜ y䑠QjW;Fo.xlR-M4\vC4i ]܌!>ki MЂY)c{.6^vWBNVElHvz_بSs>q WM-ǀS]`c]MqUt6'Aw/ d|mצrYm'E:p&PS7{E(lW}Cތu#}jtJH|4†C V:EkA45 K-RrzYOu-Ɗ<02{}X50f ;> 6'&Eb4c:@SF}!ٵ |6|󈋱0u>LeƇM͏ hԮ+EQi4||Ԏ P}*E,W ySyD3F&SqoeM?nM{kUӣ6_ @!4Mp!.K{X>yfP4}:3rhl+`EvB0C%ʋx8}&HCt~$FH/BpKJZk܈hHT}s>6|j6'5ޯ5E[i#h]{a[Lt:%ӁwV||X?/jwS ]<]vIVAP3$%pE,e5 o_̟ZimpN Gs@|_Q.b*=̂ӱ a6zfr5/0dsLm(J}$:Y䜩|&- 1Y6dSGS\ak0%MQ}-f9y~ E?Cls+_g>7t\Shx}mF_Ǭ uSsAZP >|s־BD)L"'8Y(D6< uBv:\ K`8iqT[ْλylX=̷ 2!)vHISQkrFn¹{m9dAGZ;$z€ T/n[dwDM 3`,|c{*0⠡}W*/<^>ɰݍkT^JPLb49~dJd]7́4qΓvV6ƩRt>:(xWiX`ڗ]N)V`=s];[da{B֥O@5 5EF\OX5tu >17Y=ZBiLн8H9]<:O򥡙z5+ 6=%u~}0. ""Њ [e,\e4q,0w9?`?cD*ԃսgF?0ށl1h$C,&`M*;̂rlR^0Z2@͋=;+";tV*AEs`G,Vƈu_ŃDZ{m`W,RUO`,,iM׈b*=[TL!ͤ @5hc+Y`J-eԴRܤ.$ y,=D!Gjt)Mg0nuabdzge^tBV&SY#Hs]!>/X_'>AEV.C #|RT]J[iU՜Tz]pl/(˗_bp#LIK) ϫJ10OJ)o,]Ή,=xA<4cf2m8>u` :MvRRwffo#jA?nj`W 9'>=/9TQލBb8WGknyUn+nJQ1e Ǧ}I_re>\va K#S[@Ry"oN@x/ ~qI ^Br;ME>WD݁1_<$)'koKxeD16r3XҷRkcw:3ӥ;'/bo:.4د [96!p 9&$,NG~n*2eP o@b;"L1$i O4 ޓ.Z9)M/r={l󸸴$}Z(tc#֮߿D^=Fr{YXŹ c%8H1F-ѺOYխQ>Yim{rDab8L^lOՄ<Dx1,j#0д*Ya7z7bLPtlBu:D7T_2-54u9\'0cF%SxbǗ`:sgEW}w 5yઑ<%݄zX! WLZ3%&ݴJt9=OA k7۸["\ooI'ݽ e;926aLNq3[q0h*:(ʹj3^W,k|S60z1$?\-ZHoIYGqVT5ƇOQXb_9 xjeA !0$2աgc[ @M zMCb48yڟ0W ԵbN%.ur 0v݈`/}tb`LC?뒨kޖ^j=!Bne 8ZVývV`DGFǬ#ƌugYZ bb)' $FOLPFOLPPIDE/messages7zXZִF! ]·Iq n[:|&[zY^=dk?-JО> t]f=8-GYHNСA T ãg:թ@ut=399׷T* {O0Re tU[Kl>u(|T T ؠӏQ[ciUM;)>v)yg"SD3ҷ(hx_{b)6l%m l"ë,#$glJ> ~8P¾f/Y ;r%-}Ȏ*2)Nr3 m_U8del/OcSA_DK:ɪ`O-y 'Hk|L}]~m4Enqةe2x+Xpw3&h /^bQKCO+{爊3mˤ c頔<-EL]xl˨,ŅQ^h"ct3Oly,?xɵD-3hHT͝3z*z>+E$o# 4FOLPFOLPPIDE/markup7zXZִF! ᵩ] !M젗OFJ9[xC +ZaGƿChݣkF:6 D=Zzҙëیu~>Gfe gǡ}3w h.9Lq7vJpdWo_K:'y^ՠ||ZLܬ|>SoYӏIxm<0k.E@$8q*B)^LWb9NH8uįXO|Z{WZrFKruj寗97}?M+>W!IJCKvo&t:YV򇚸”2ԺR>:M(&)s**$f{tZG,xIeauCxm-j.7޼g:CˡAu HD#9I@8fސA7ԢJFCaJE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0P~ŮiIX(yk i6g6&4xꮈ4N;8,f4*ISu ʛY݋!/abi>퀡h9qlDu 6îC'} 4p z0F§cSQ҈}5 ƶ-TNvOƿsw пS޻0E;g=! 4-lA!(S$=D;BKdX[eZiB f.Cw &m)ȂX_6_lC ؛Z9cNQ q)9𘠩T{B0&}v Ŋ B:4cnN/niK662JGpbw4ڰɝ{g9K$?k=U~TJ> شΣ)}CKت ѢsT4&|dG4I\ywkPK Sĉrg Ϣg!'ԨQºhOPxt,8+ *Dp'wJ3 ̪>4 D%6hC|(S"qG:~ΈR՟ e<{1k7|o`Ӈe`^coY }yCCnj{ebg"+QUQx:rHx(l ~dجVSFFx^PGJi@c4hyZb/U,D#fb OdvAH'PLW C\$ݖZV&yx;SoJkAΌٗo-еNRR5>'(EB|h߃֙%:-G< 2\_aͯdPe uâE>hU''I!J~m+b9ZMhvm&aI0?ӌɉONĜT^oq=A? һL* 7d9z3ՋHG[(K}-2OзA Va!jM^'>ͧ?# c7r#,>">9դ:\ӷT5<ξ=*y&L-Zᆲ`=F Hrvj98"[O奷R\z2vfMuy^1pStX ZWek{gD=iߴL2|a1 shvG9/.xwz]NP0nz'X搴=^N?iFHxсs=5$aˎG;9,RR/8H@Жkͪf=~̻BtUqjDBZODD6ԕWP^tQ*i'7  2r6W` ~_qTN$4.x>o1G+ !"5D< mq -MG M!0ېK_^oH~t#Xr50ۯyǴ|qTΕl5X\QXȜAyQ3yhOv%m /W=6HZQ4_eR 1VTeԪ}u0W( p,Й]0ȵKeYEm֡ Zd|J>ZA)n :T)+O`cOO< <,a6y.X[ lI//9RW dnn^ U.}%^w4US]\@pӖ1d|g"r6GzMsDzX|b1-蟪hJ}$a{i- }j%J2MTrڠBh?ګOJsV&͞7$u+̐E"G8Hbұ-Ln6EJRY9SOlKM<4Zchjꪼd{=ldJe= >4`]|!qf@xjA^df# P㢍>r{4,k}Z#Y }¹ > :IRGr/9Ju0"$?wo5ps?݃sUᆲJ5}:Ĥr_7[DM;2ݒwpyZ\}yN`!)^k\Լ,mv12B/ 67&+ b`̀5RI m[U]KXqkRwY8P:b_6]hB6,[hafhcTCTjsxiMv SXu{ Xn^ !+n|G;XEJI]Y%9VhL;[1%.9Ԗ,5ӆpn921LZmA ^ T)mܸm%d; Zn&r%!Vzy8"7. HiW5%;߉IY˥81vPgۻj>;l;/7u,R*H>V=wrl{u[COdyODvTR3Wԧ+Lg8*T ^Jxѧ)P'uV<5B|Ti{Y]hZχ|_?vrƆ,V Cr7{ veSq_s˓܃]΍ӝˊA ki BD-jsbӍ,djQFD1|?PX:ŝ\.n*L2Yv_vP!]:`-t$@l1,(ť/V6gl_i1V2}JZ7Q}SAebnlwqs,!o6KZ(^w[-|*w|=~yA3Xqc#۲մIN20Cޗ^|*EyRLTi.%}6.}ý QZLλi :.)pI1xAh)%mȉX!7HŎc|=);/(zKX")Bs8ǰvǩKRdwĝ!m?]4VGD/Fj8Nc_uHE J#_cН b@S&k+}jjD2E2*Y֥AsX {9>Ɲp[Ͽ!&AmzXoX-9ɅǰHmsD/Ɍ S?dum/ZgSZ:/gW&rD&;$J"kF1pUN2I#jM9AmxDNm "gy~ n(o1~7 St,h0 A*cp-o;IKFJ߶iz .^fOJύ'ܚbZf;?e9 TͿZ{~ܕ '|CǑ ۗ㒂V @ʿ9N/n~= tR7IE򆐧ڶ*7kjd+GtdW~V)}̍nǰJO M's['qׂ*8Cv^5/YWj 7iɳ{׭E~&pn+iN.}:2sŃoLdr֢0Ԅ|Fuߴ9 PvZmc5{o]uu% jV:*NVRxq.l[l /S5ucW&繍/ }5@怶6Hg3:o~ O_wj1I9ݠo+kw%e{C@l:aWsqRʡ$-n2Ģn j:} lZS–U>uP"{H&8GԹ!,\7gC6̋]sH^㖂osSajfv ͮ-d7ͧ,^ ӳjĨ=)\AR=PCA];g8$',Xtl^(޿рwTx\+w4 D_WאfIa6G&7[`Iюyjr{~gV9殸*XoV=ЩV$L/؋5'Y^h4zH"J/^1"tXmYBUIe,Q0%&jIFcc/als 3rɡQ!D!u ]Q< GsE#:%OpV RsNfLg_]_CɂVӢyԋ8 o2+=؝`Fm  S$"omcLJ|bRAX`0/fɓt)9@G0<%Lno" <g-;s <F/Y YpV $bqL)aBs .w}e$2ִ2[a(O ,rqr9E9;g rDHZ/Qm>ͤFN& L鬝||JW[1 &cw" 7 gmFPMq+mlHŞJgh`yvHC%G%'KGL-ݘbd)֏w{eqE5̶b%qozwKb peU,TZ͗@WPUD<]'Sݓ;K{#@ nacyѶ/Pi򝥑  BS*xfhLPA_s/KZCh P&EY#mLc JvBWC"ciߏ|'4eU7.} =6y 6bM!'lr*%C*5cJ+ɻ^dt k%g#PNtiq.& X<\ɠ3gd7m`.)qp/K5:af,G_gy} Gxh.uCg3cՍ% 6' 1 43ņFt}(&C̺|x)4G rM3# Z'tȱ!w0$iqe|6b]yE$"ջ+b`} z}fB_@-#Iv[6L~űQUL^M pGtѫL1Qh\QTC\Y}fH'ΗL>G^ Sw*0tW[k׍ +h3͒?(u^½Rl4vleN*WpE1b#;ĚM^ۍVx seZHiQ&+ [;/~0y|PfrA5:>D5"qRk؈;!chES|حZ2 OA84UoX-gb~USB#On5P_&>0bХL/~G@{I|mvqZAuසv=m$ć'J 'ӟD<-rc 1>MG9pXfHpS)OAD1y!cPH( c8Vz\܄&CbS5;$ԪxVWnkgD6u-{g1QBk4f !׫0_d }<͎G?ίUnl0}6C@6y2ë4}g?0}k,N~;/VΫ˼Oo_ !CYډ "lNyӏT##Ek~Q Y"L_ u[& y0h ZkMYn*Fqm;iXo0!aAi*->J񇂦dg,LI$* ;O;NЊS kVù#(kY9EYՖ¹= ])?ٗ-G&9b](t' BQ c7:Nv @=G&%g6.l!sLxMH Ȼx] %Ϗ~; FFmE[r{q@OG㴲Tn)HA *]QɳV @N5Q.631:{"pJA\Dv뷸BQi>3HUI֑-pj?EV)vtc*?M˅+eBv [-,>|wy. fp!JӜF9D6j[ nKm'01߬ctI;"Hdf}|!Gt4o\CiR1'KH?|'^pZ̯4fYYA*F`uGGU 48 2ċam^A{ٝqwEtKÕfv1Gꥵ#_MR3ÄjbOGMO7oz3Dw@ cҦ5ݘD<ԌO՚{| A( 7UExA|bڿW^rlɓ~GXO.+e8h]LtB&I dq4ܦysO5\h⹻!M\\ysqU~G 8YXL9pAk; RD_oPrtRߔ)$eQZ!U)*U`5Ǵn=zN @",P3gҒ#gZ 0%t 'w$ab;\NiʽɞrI3CvV}!'䎻()` tY` %$on۠WG%vz AEΜ%, 2>Q83sGm혿R>Ɠ~%우cTRk!_aݒO]7zW0^ɖdA[brm^?"{[(hm2Fۗ r w .+X$iතzӪv!(n³-djܨo5ߑ;vCr5MHMU{^<]?p^MJޡߌB\Px,pïZbH']lgؽ6a:yZjF۝M.VPNbCn#T9fjPH5~bPLH ۨ7MYqk&'{IqLX#|)B5yO A|J흏`'% ^0 rEI-0'wJ1/Lz=K3%9T< jI+ !9S_`@ǃ)\.]ڲd2P3m/1LUbKŘx/1jgYZ