SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  !|T$ ]]]HOL-Proofs:threads=6elapsed=669.308cpu=1824.536gc=327.856factor=2.737zXZִF! 5]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\(n!." *)+5XӉƒ-FOL jHgIG 8Bͯo'|b~"B4YɶH2LAqXuYTbjZacUJ1\.A+W^h0j#?yAZMDAxDhln#I̗0/xp W  ! HOL-Proofs  `P1O]>kZu> XԛGPUZ^HU2lLp-(Ix-wg6.eH݇;bAhƹP濃2Aw )AqM;$#+ր sDϵ?O1'w[J1D:)wjG((DY+nm] 8Exp&''Mx|h2GGewұzt̞,/< ؁g=)}h_zi%8cY?19Ef|9wYE"s_}E#TeoA6Q}÷kϱKp&ѪG31q w̙c:TaAAR "TIT*tg١>u7SV޾C[vY6_DЛp6R@VlR˻ 0y:v5O`2P\,{}3R >pPv6?K8:d`AgtKe)ܭqnO$?K\V70fI`Pn&]uJϼ/ I|Ǵ3MR 82Ao[HJ߈0[ۀZ+Xs`L#G[_gvo:^h{B/u>#_^q$Xl})}˩:Km4E~kU fa=57b &N5k ˼&F@U.A]$lEgoC=2ʙ dV/]+ olƐt SfSfAc/3)'4G4Y ± ~Y '7{khaQ)Ӕծ"V1;cwWRB%\%zmK[TN+'4DʘTsƖtA+hW} ưQsn W+D  .g5yi/cG)[ $Wտ5 Z@#˴^鬇-,&cEMU8eǒ+J,kc%0lv1H0طz4߽NNY4_=ҖH-URr88ZMCƶ/B75(w˜f UNa.fxt&S^qI >A3K$Gep[,oӠ]4~FtJE =F_T~ -ݑbg^J2qZ /:Z"kQà9J`I˿eWL>`W+ ᾬO~aK[8?];ӔI,_L;3&9PxYz] /쌁 ؿP-g'wIy/jh Ư1ifo%?W K6#uA@H!~( E!I(k;R_G朗iS )4;n;oe ڙ5<4P8 rTfkk xtVqdb6~o/dd]塼H˨"$Ր%sk`hYY3677 F˂z_$HYqdC ? Sɤ4:fbS=I6iB|Bn$ge=XRc"GZ~$ G(oG37mX%-)VZg.0uyN g*)W|N"9GUjxFwǥV[&)ţH 2#2ZNadĜ+L {jmolЙ7%[10_]C1'.}ܵ>@Xn zUݙ}uLja+Nr^Q-~BJGޣ[tfV WP#TV:cv~KX-"JbJdPzJUԺwlP͋KvFS)/i~@9)+a@Ss! Yg 6-gfy u\&`ՉKtf gy'4FpםeC_A+MyiZXxaa?},kQ*Mt_ UJqj6όC`R&{x}J΢TD]K)tɈ62`XǴl0% 2^s>hCv7WIE{N)I[Cj[V#Wd9 V* sgR7J q掱*wϭ^ qR]z-N9uTZzΨ#H~'<;;Sh5.;^ŒPJ.&3lL%Z| *#\!KT>$ff ?KEcW7W e _n-7A82jx>!sJCXS.n].a$>B"b{ɡϱ ow޿=a3(ag (K5A0y[A6ن@vRݛ{$Q[yIZezH#홹f)ϊ8sJwt5 jې*-B@G MX:aCED"y+n];@dTGim[qE+~X#:n<%'J|aҗ0I lU@~'?G]4R|FC=J0~#(6PC->~`q+Wƻ$Ɂw6 Bn1oKoL^8צWυnZn˳b +%EfxPUB@QOJ/ >Xn/-Fց1TQh9c*n"hT;υ)IJܛe2z g %HG{?/ެ]lɹ&w2}R3\_hrr/(`tj` `왔0hK\W޵3p:->xTQA7X=I:Oi SyjmN _fxB5k̛/`yZi;r"[Ԉ"u &R?y>NqJ9چ{`7Z,Nɶ1d7<0r+~?~^o@8>gGu[c |HcҺxDzyfLj.~ɑIs.5-664y/Re삨xjRwF r$ Wǒ\;P}C<.$v9hB[9xusv!u4 ;^?*y!*x)E[ =*m@@PS7 \ hQ]Gf4 bdiZc⦥妠+hP5~Ivxۯ? ^l= ؿoyRm%2ϴaoPg9/,Z{Ĉe!1oA`< <4&xvMD'2YZ_3 (EYv!Ł8ƿSd{C* A![ ڙ1!96J/L6 ]YLCD{괺C}pXÅ)]ʿ,ړ|A`dyM9 g²\Q1HCfU ^|Ao{۰'[{Tf&mR9`^!ջL)[lH6> oJp#KM9kZ g#%(u^t` X|yم" PӲj: l6C/b9 M/q2H QXUyqCJ2#LgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!BL mZ\:3+*9ɖ?n0p.$ bxZxD~0GmyVacZj "ĭk.˻I{iWN/Kw`zñCC~}Y@TzKǑ4P"-Mfpo2:S]Mȥ#9(fhhCi"{x_ WH؜']C6QA[č'1 _s~7SxAJgL嫔Jk&K!US"x^e^/cr~.ᆽEmm^J`F~ʉTH\$KS 74?yo3'm7#&VAc܊l\ \蝼)"3wwbAD-uOO0x? 0=;;Kݔp3Ѐ0 9fT~6L@nټ4]~Ȼ*prBԁM"nQQ#&k` cX4iX%r/X)߱{~- vCx!7 ]Pҡ@:૲M+Ĭ)ywbh{$l/:FԃokIJ\@[F/N"~8U]QC}%t%].&Y(@Qz-C=\Eie}mcR/& Vil`X d67tA?.ݳAG։nù=˵cLd\I84@Z^ZLW@HVmTFJaz&7~x%ۛ]&' ^YZ٬ؒBh  ΌmK` >Hqa[YM^Gըܾ^ûBACzi&vv'WΚۻ_(9{˿digb;"73TB%Шs\#(OMTUq-O8H!z5jlVøN3  : 6i5U /LQ(: Qxkȝm_-ct wত?D@,jI7Gʢ4y.y2%R;Z gՃ:H.E[9sJR=M DM<<|DtE7rp|lmr $Xآ+!Fado-8C q3&x#2w8 jS<~x4pbuNWA[$U|^;q u|3G[lbW%rV=8^j\$tvԺJtHYsn18o̳|DPSf:7G ehr!`w]/a^S+7J4E8Kw.!JWֽqD4^uTOy_BW GIt2Y⇎j̓9FBSڳoa%j/\q50Q>,`b*$L)zy-+FyACv8xU̐UrXX ?3) Kũ/kf^5\^uo^hyss8aHmה2HH)etZ BcKoCPl|d,? 2BgYZ7zXZִF! J]ŗXi%>o t(͞![Pho*8F=͕{DkS2){+(KX&iA3 |'Iu{?썖n|bⴅf1`P~CÖy׭ttJXF|0yqQL|}ЦqC\h.fT^tVCNv05Yb& c$$28= xzs;3Mj&zG?7f&|_8 <%xireٖ؇Q]Mgd&` bA J9P.h9{{F bbor l %Hp< [tu(zuamsnN(rjn/WdөhDY#Ns}HyEB~PL>ލgfJ^ʅܾb:(.k}Q {\ >6V-%{ؼ>]"PGP@`vwvZ)̎^8sZks`-b4(BP|aMlbX޿iB;% TcT< ڎ@nry+}iԠG?܏|~vRExW棪gc̲FKxrc:lM&VR/L"05=Ocg/%K%2%+1%{׈')ĉa\&uv4bb,=D] ΨEakt<2'79O}/+UIǔW!ܖِ|&6>kS8elly NRI/*&Tu?Tc9^(_gїeK;o#gK:rN FksL-4^~52 އl9LiJ?GPX$Oo9Q΂`-'XeAH֯*;?2`Q6Hs1nM[$1[95 2*ݣ eH*l渌q. aiIS=xgm E'軓ɁT8,g,P.fg%RaϤ7q?Ls#rxuj0'~au  Ě7N$wZ4C`zE9~𯖖G])b̅k[-?DvHi9iso[b5Jjd >bd荔uvSh+ii.۳.{QS6V5|o]^LB/U5.D:xk˾}vz7÷"pre}5eABUh ęO]4~",`-'ϱ":!}n/ Z $Ԯf>;h?.VJp?Qm \ԲNv' uF0+ʡܡ!췡>(:Q:"_;Yт PdV$F|FP>Fx\!\Į#jlA8c"Va2 #ѣ>'OCS">-h$q-6MŽ\@)'yiGF $ (ޱc("Ydp)L*,w%}]2g*uxTwi%:,d2Ļa{<:r.ͥ 8M2ẙcZuE 8<^ ;fat'7=y|ۙ0y݇>7q.R|[ZZ# o1y@Joaj;wcVyq6z.QUFvZC،iN NZ~v6k}]V7uW PTLhX9qioJZXZд 7M[,xC4ߺʫb]En+Ac:!$06XU,48q˖ipCG ZprI9h?ZI5,ڋp3<Y+ 1IqK˪eSQ'U";Ngqs4+!po}WP6:b?ެ/Oҧ&.s ne3=3aIӹ.c5;:u($l ["}&k5M%(%@k8xT=1`-(*AejސIL[]β4Sj6T WѢLf<%dP9kLou Bd&<<0h}a>YcO1֨sOw RFu}t{($c 2 }`JH6bi}#2~а`zXDn1 GqAr #nЁw/zbG,+$bʺgFw6YVZsf$8bRFe\ luha.. |ϽcZ^[X8KN7-?Kq2 _,j!U{D^u4giTvG[H^*jw?#ΒÈ$CU"7-Xwld[C^h;oa7L^g: C0(-1>kD{V.C/# 2Djp( O w:eP+o(#|:*<ய3t߽ )¶WxQUb-;&EcJ YS hk&ԃd37Y@Im$oΚhƓk|]4z.l'B`ĒL_{kLP\uKӑNԗ[cڥÚ7jhZ42m1`MF0l[{aHT8-ohݜ,b:Ddwu'2a@:5ikvh$% .f "5#ak i;W ˨0"8I΍Sؤ=l_j*_y1ó:x`\R=k#95x`し^H˭[u$n/%B 2Cok[ۭTf 't>~ 4j2:u$jzcH/X_9K@NY9zSNಘS1ص1aͫY`L5HIn,l^`sb 4V_ܾ6D:f1b2d>0785 v=# 兎~X]׏tlJ\!. t=Q M3* h;&EvyB4jW.3H̷%`Fsꞗm߉Μ#j. k 5ʜ1+3FU|~:Ըɚ"XL o:a]͛dBDaĤ$ F 7q3w E"XtlSݤ7qi衎{: M_-3/Üb@NR0 m} sX A>,.uAnvӦz"Ey˜T+`~kʾu `B{ϫѹ26@8& t@EbaVO+LSFavh:CyFE tBz@dTu¨tDk,C?שI>m, 3DMRa sPMOiDB!3uzgWTf">qzm_5a njՋO}-j˖1TY( 73Ydu:Eh̉m#;M@x⿣2HM[BiY=R Kg\ GqO&ˠ[:=J6[y o10 p ږD-X;]"5N@땹~swL9:MF&oEjnr5U[R^"v2j.F4ۄT3$aV ;?}w~?ܭ&d~LԞ m [ryGRo!;RTG%,?مZ_3<#D_af,ByzW :*.?wsB,֖['Q1Oė5byB1<\wL8xX\fS>\wD4K=_ˍ|1hꢘ>losv7%5 ]ZC4A\e)LƔasE"N:)2bo`E.8  _őc cuAUoi95DQ0ײf?lYPLzjkmrʹGBO&/VҰlѫ?}'a\Ep"SA N)Ti|wV\(R ^y}M#K 4m36١qvfJ˘o 4"+j٣R Mpչ"/8jn;tCl©9 j|X:3?gѪ N5]PS lYN1 !9E޻,bSNx囲:"\L|&kB_Xof1C ,űбz?&XՎa)*%jVawn7>rcp`V%Oo6z=@#f$9FZFJtMC>pB|i)秉-J4*w*X|Q7VfW@8%C~` [sM>:ҧ1Z- =UxuDs鯈NY~,FW Rҋ[ub8yէ39WU6wFC #.kJhD=Y%Xxh~+)ktrv>-W FuMav.WRԝ/>J ?ufr~Z0W/ai)Cb|<}܏]̭d~̫`H j.0jqÿS-|O&:B O[R܀o7j5s,}j:-̈́|PH ;7OOq/s֬p,{k/;4E;<0z9Ya,DfZA/B_+Y ?#53+rrg쥗f/"zٍF>T*hWX'(QTĺ^ᄺ ItA.X.rG{ 3%GȨ2p0BӮJlcaX;<qкTJRtvˉ'_Uz%d~ 7rX7A 01O}'rKpڐ4e6E50T9"y8괱K˫bU~ۉ~(+-`1Ş>t &h2ٱ]fƚn+-#OnwӬ)R,.:\P N’Q#O̰KUv^wzp%m}@Ҭ9(@I&&5s9+O^( P17ZeZ"Jnob!.S͚JI\8-dL߭D@-[s*+]وhx<8}/,%7w i, <,+5Q LAўa2C1XCw:AF{aw)!#yډ'㼤-Z7 ]&|3`Nts=s)N#~$Nr>C,ko~Xu*[˞{%o$n[;h bHg$ƓEpSq!=7rG!Gزl\cPQ7xja(À² WpRBNގw|_VAnʮSy_Af_zΕpp}s\8fw D'M7ŞCV%dNo惃)2Ԝ;{#xT] -J2S)Del*_8]EA??VzMaPU|2L\ŖcG[c 4(t?uJ ~$d߃#GV P>o*lx]$ET+h qO\'4yh^[*lbޥZ,`POi`(>pp.6CWi LXN߭4 XGĎvqN-3w[村 8޲]ط@RWi}-:έǙǵer}[Nfq Žr[@l3+S+ c lxmagۈΞ-saM> c(17tQA99II:_#y 'E˫g|A;?q N#et'PY\MGZ@/Ed*]f~L%EtXJBS,ӊPAhiEs=t̘Cf*\=;<}Sߕ$ ׫ՃkYKqJ S2@0Ϥu-7UwpIY#MyK‡ʀ 9W \*%P!tH<q.uʤnW=ӵ?\Fı=N"Ŝ{STV5g :A#.y ~sU`v q;ºȼ z:2')V喝3MCnf3ZeW]TA7Ū!^spP&mq'{&km,5#Δ7=^Z,k9ꍸIžv{u_BnǸq4 axpcaMf/ԌCވǮ'L3h؜)gfpfƮ6| e物z3wiR۝! h(> v $86=9Z&B+5]pV|R;US}U~e$BW="u3ᣛq]y>;]N#'T܆1/X1G ULD%`fW0Nj=IJ~07(0zn,KkBڛw4ڔP_|FV])o_5wNn( [):N:Ha'<*Ȼ(d߼xڞM҄Qp7r/F)( >MbSO0lZl5쇘[8r5B T:Ț2z??P ]9K#jQ(c#ZI]\*Vq +%yf/re!Qpge1Ἒp-j2h-Y1diH5h!lhjJ֣sxY? ">fN?S opJIW˜~Z @!&+&0zNy#'V!%30JSw*MB+|2K|M0vc-PG.~usj<=8<L+>Ӟ 0xvIz [~ ,7<6AEKxi= ؖt:U35a$ m` L-0 U;*knf 0JF->:aj,sPu̯ͬ`8=021r5RVdL-}4XHLeI#̡B:oJmi*]MiyH^d ?y>@V&G1zԚTՋK\5n9Y8>GP&K8~-_?ĉdQU?&d?+ffGA֫%1/|ç[2_QE5glwElQP6ѱ6x{^L,ЮK۰hgnQ@k B4{bn/Y-?PɹXZjB\fO^/ygj?VF7ud@ܓ ӏ_ oō6Spp\ ] b Wβr£,C!"ƼBS=3dr]Ɵi8BQ~ť2_ؘt=}^A[3)F}RAZ.>*{oXE珠g^2:[0*wD-4gZէ*30& {8~RTz]LJN}P /BÊD7+57~<h窍JB 4N5-eElpB^KJe慳^ܤJcR [Np+nWK60ϊO<>.?+ (w,,d% 񫦓zAƈbW-#܎0pEV{NӯвaLHLc[ 9}#.?a'HÇ?0bD1q`Bew;>\ޓi <ͧ9b&p/H8ad:Y Vk4-7|7I) Nmih!~j0B K]c/r}M&ggV =m5A&V٣\B.^$5lѦ3\2 sS^ eR0g4MoÌ3/[3NfjBzBNr^sZ=^?bCVq5 ҿ%RTh ԩc~[9%Drߥ}',Uj0 \|#DO]_2myQ~;ձjʖQj]+ cc~M7omNy$-e'QrŕO5cè$zd7S7Q.pbʩ؜vM}E5arYS1'.ԝ_ZHe»6Uk02iR*/}&Q*:a6P&eeV-1$|}¯s$/dx'w)i+Cdx`)GYL sfIr*N*ԯ?Z祷:vч8?omYyoW q t1~W6AȠԨ b-^T\J5dW:p}>D}7AxL:՝T91f1-x& 3:y$`nYUN[粕Uga`+(mejoFs<}OY88er&w2Y3yO o!Ap^yq[/dB`잼`sm~~ xm '#Z@Hvq-B2.܆p=YšQ]-yC 6sW90MUf qݫm1qlY>YH%'\@. r7 Ta8_gZcӊP6ڬPy_j e2F"x=>5ϗ\1GugfHN[biϣTڷs(AC}b6ˠey:j^-Ao*VX'}|;M<]aA`n19;bϼ껯A1#$@ H> i(G֫-,Wt!TЛQbA>3}Itb'=oj,U%j'<}g)Y<6DxfUy&1"<`Y!&=11vM*4'e+PYtliGqIycRCIs )ȣN؅2miؒ8c<8Mqn\``ϔ=9dá}ӔLZ鐨+LОI*)z?פ 9k,V䟑)}6{F?˝\,Ot-% *[9?0nɓJ8[?׊O91\q¸0  ͕-\-8GkfMouwܸCIN^7uJ^eۚYeVD'X5"ۡ/5z>=ܒ A'#wYVjfK1fAXRXH"?2(I#zB(9Du[L/K'Y]yB;wfu82 (Vm8BNʹ8^znX3hnŮӶ Xy5Ļ^q`eOaJ[3gh@ \ P“H;#|(7'้3Q1_i"F3%(YC`tſTa[Qv˲FGQ2e_k85qΛ6UQɑJKVSn-LOjPW:#, lȧt\ŠRN,HB bO1ײַkTE_pfז?A({혟78RYjAY^I4N&-E&c~7dz^t *jAO+@3&JCIfX~FJ^ծ^!]`Kb8O{ɴW+ I}&d>Z!!jDʨXl[9vib~CAhGyp,X(5+kSI҉Îc|`o7;)O@f(1/Ffɣf"1ã&Ҫ~Vխ 藄gz OGnUUQ5"wz*gޥ| z ԕB_iC}3ѳYP  8/Ws!UGT;eK &NիJqu;κUfl~ӅqFp]y-U}Z0]6LEšO$-)xDcacd7\Y{uy's W.{*P Mᘁ oj6SsЁem0E̦SiG~Wﳮ"! =\l3IQ3]`e&+is0m&d2dK݂QlDgd dary.eOU/ 4LvGIK|fųK)MzXNxvq=3!9*TlԦ3`N5#Wxtn,-%Z8qI+ð5gb~vċvP +Ҡs*Zmdyf~?Ek1}p7S4{ꬩӦI$*%7#"UpL1 C`i#4s:ZPGJz3"CfߍAW+s\|+ֱoi h5׵m~"Sw?:,znĸw9WM XH2ЭI^,y$8'/ Q0MA`=u'%&=cH$3U1 9HJ]v{x|gjČͣB[3R>&)7(YLE:T/.*!U~R=Szzhd命*p*ħv~XM۸Txδ2+"VTRi`lNi3Q דc@!1US;ؙX(=TlsW.f 'oA_6kGʗBWⵤ)泥| B4؟nTzp*9cuf~K, ^D#!T ףM7k\Is8@3͔A~ÚqC 3h 2 ;&n8TМYqyU:b%rt8Zv!t{!%ZtD^Ӧ:+˝Huhsm& qD<'Y/1N׹&]0aEvjIUļ×}g6U1|͒mu^%;2f0IxDs*C݁Xem64H^IBtYaFTi'%vNti6M6De9]7Rp!=F1kD{ϾK[:0CpqJv.?)דeUE4"zyp- L9o|)pP BL DqimE07 G CuX aw}G/*IAb|cUԮ{ }bnU]='>p0M#}TX+G}JrB |uǼo2MgzF>NA^rdRq=O[$:Omf,iܯFLyQs~c@AY~,emΨkEA'ߌTCo)@B6MOnPVkdz 38^*}=ӿJ2z?'G4JHkwE*_kY~]@3=r~<9j$}lB@ܶ;=G?𗥼'ɳ^~E;%#9\=߳/0m9!k-č]olDCkgRkcZ\I+IZ7?'`4aQ@ZDb;4S =_f_*nRv뢭T~zs_lV JQ8"a۹ύeg LS#(ݱrճ.jkFZ ^0ZzvciL%Iu T塈r a`og}g7+]06k3O'e) }$Q^ASF^'ND[;D-Yz>F緋@9\- ,XPr?[N)ZN΅!(9myJ6 CbXKNtt=ˮ{lD/q[kk1Z:-Dk:Z| s` ZGdPحq @$\ Fq~Mu:Kak ?aZs;O-?CȚvK=}ȆZl<@V^8~ґHn׹GMXn*ߧA6(?LXZh(nߎ?Rݯ5կn5r*$<%40tx"hL#6En>TC=y8ޅ$2!3 HFEYn=4vuQ/Wav? TȢLr^{} ꛎ g\[VV+ƽ#M&B]iDWF/5s烺Z4Ler}.Cp;u+2GhͲv5;;1ĸOW4B¡K8p/#y+p )zy[£Yӿ &@8U1k7֐bweaݴY>\]E 5@u֫} >zDUwv,~u'fbC$k_ sȻ2Tߎ+] {v7kN#LZMV;VA{|(sХoJqEk{si5' .TT>AAx\ulNQ{w _z_׋@QB[D?1y2y r}>բSsm>_%H%${-4Jy^iHg/=.Ӳ]J%ށ7`49 <'\W8j_@jDzOAƤ>z'&7նMXfW^!lܑ |딧* ?fuo/Y7Zzlu2aP':;:'P?0ݿ|l[ߵ]msWϣVfcfx:Tmm5`PO&KUk #Ճ=4$r%z9  bcA_s[]եmmP'R$'BlQ_HN50ƇRlGYFwH||QvR& IiZ2=sʁ@K0`Sޏ2F=M~wTHŕ͍3Y]=rܰe5/kM9V")AuUNR_p{ $%"]+4`/rY–݅G6M2vY0xi/aplٚF'HII!BYXi8M펵,-UͰO/b=đ{+#m!<:-6 \$Tg/.iqW;ť#-"./m`ޖʧ ^g\^*sqUvP/y\ނ # ԮO<~qA(؜n$|%"O)/P߿X +}OZ(T2w8Ƕ] V4#WEL8bL&EXOy,덠LO*G<*?q `MߨhAńm$ӖU ټUgzy4KwGXwoº,U χYLwfj S=;Mh0̊(TΑ7n ga2DT$^p݊"` Xѫ7B6˞yw.X]f酒`rH3K*ANXX>t :$XEӲt[G8{ !b΢>E& R+{ЬZtK"x8mqssZ D:c0<`Ň0Wa2fا9eWMzFt ~+r#4pltd'.Y׹8i SaÆ uGC5c6Ѫ7Țccm3%tGJݥL.Ki !ZmݚiXh[=ih4Gx;hKt/P)Vhx)lmxg-E3@fh8{mܥP7^ 8fѪ5g&l :͆AuV__=ul( 5w,HYg^zM?Y'.[=wZ_ _{6WOwo/Gxܙ!/$qZNrM'Ǵ2|`<L!jJB< Ѧk&,}aD$YW 54p%c=OMwW gDlhIxH/hk%,c 3RiM|vwiج6z?6rms` Wi[DA7 ]u[ԥR127R ۘOe趪aPA-1tCۑk6NؐՕ`E5嗬JuN!eoal\sn^\qoÓ\Nۇa?G-a=UJ{%1*b8>U(p1YN 9=3SLQ6YMtu|DVnThEPĜ;RV6 .&Ǡy2TFֈ2uzpq;͡}F0e|Y2S0m$5RWkzF?;7 U / W^*tC^2L$K8t@bTCvogobFn"ٸ`. ΋H:jdJ4ӞK S9w ;P n/GE"5ʩnT@QV13kۙoK1oZHXӑ+q$4<\dW9Pm>s5y\Q[8Uro^a#VTHד)վpD},wf2oXjGhh̉=쇔;jro~M~~H0Wop~R܉y8ffٔ[QC By+/$AF(Rc,Ӯ`R,Fm [ Α?CのXa17x ï#ר,3W5Zlyqc-6VĜ9T294o8>6vQׄ&3:l aQiSDIYmv"ï!ѧUک}e"h!Gݙ ox:sa7u3Kvb'@0tO'*d"ՠ3:ųU5ԟ{T1Ɂ%O9y>"tIn QJV>֥{ڏJpC,# q,*[ 5٥މ}gT2IyKʭwAOc9Wzyn%0c_+ԭBB 9b'p#nÃxB0윑w6׭?17I}ƙt|1 .6UQlד,}ZJ,]ɐ3xwz/8蹯8)KUss[QO񞹄 fň ۝ ^{?UPl8t+"HQ+Y[dw8F)ⲥ4P-BZTaŃ&Ñm9{,9CvƉk +zIe^(H@oEOwI"Y-8(uOMA:qY̊l|?>Y-G(Lǣyg!4"ma#^AL/য়$.nK `< z"&T*d픖'P~_bd { ch;Ȟ916DG>сEġ,hSʥr-3=3DGͤM~z:vuhp‡OdWw"T=D z!ÆE Bjf¨ +a(٩=v xUXTMAա:je[P4'V!Eq)v ۪$_ }'0o nCؖ!HJBVbJXLHC AE9eX'B>&7*X8qC\4ڟt,{ +&Rl5޽ +:5w1ݏ4NCۀ1 -J&I/u[2cMOHL60ϨYXR_YNd- %2gs+]a Q#[x 3™+$32caS۟p7c=)pE:[H|;ڛPĮ^O|lpr{s4sJ/jT(=zqp쀸x_Wp|H3M2*^FfSn s(5)*Nu==?d˥+V-N&).n\Vy(҉~.td͏zN2Wf Yn;n6ΨmK- IuU12).;[ivdpxT%jdk}:9}3 *2 Elug-/vd:O]$]yT"!'T?IIFCq)|/Mx*ԠX}, =$s};49,JkFfSD3y` %Vы_L{SUaU_LPq7﫛ĚH;l)p3gk=&.VMIy%eI|VHkyP4;xȂ\FIyUknBc@X+m'XbɓkùE̥|̃W ŝx]vj߁ּ]jvѓD*|>թܘWXj􀥵Nl4г/A,VG[=Jytيr, v$֋jy1RBN`*Mv)MZ65i\|`\_iR77 {橉YG]]t9ATLc43 OXyDC:!jC jCfP9|v1fw/񟉀(kZ61fj ~NLO3ʥ;3$ysdžl%Zi`r㏖ C]9Ce=|ZZM xc`cm} |o$ { tLQFK6bn+Ŏz[3o$-1&hCdx $-mx =# d. YPyoT~,Y^̥^RxKCO7b7i=zB/$t)t! :Rg^Œ{K tl= -܉7͘H$r"cq{#J藓I*% Mr@;͏`.Sc4~ 0}GaKl~7C,GDmlC(k.>U#^/W-NmR 1^MW ;mgmRx1OP:\kFN=^AL 8s v☭raݦb[qvO7Y~۹/dzu^E.צ M+%m.Xɳ'?-֥ܨc7ZW2rQIhFOe9u |A[5yS9uuB Nm7uKʈߦNj%о)@oa?n +ݴ t r $ .OST!-ިN}{^=`p6kIUi[jKiaB }?ڇ,E,!}{bC$`E wY9BfR\HYn\}XY|w 0hSeH&ή-~>B8/ PuÚ!H<{!t+Tn ߤLnr@׌ h +03&;@PDߖ2EHhOC!3[tvL~D(66|CB1?V]2~dTےDZFGBAsh呟8[_sgP2v9B:@#9 CN\+G q0I |u'hj=VuL3}h2i$~ K":x_I $̈́T h^_E$ .8wOIto*cK.OJ'bV)qLAPӫ]QJ{(n}[wn-H=}橫7)kFc=k1 *qBds+X&a?֡cRF1T0ǻh|YGIY]U ٕYsL$:T(P9e<C\ȅ|JRXnϛz/䥂n;z{nhf 6E;+Wz1)5m{Lv12ɑt%[=geC Xy>^mW㎬)GbMkSR4;Jx/UvGlZwǗzY4?-V+/jG%wXxP7}yJɗb޴3Vuje>K/t.Jb`5m>룗%Rr،Je*ԝzIuq X|4b*m&ު?pb\IѕVvވ4}Hk~ d^s޽+VI%%%lHY-=Y"se͒3KO1Um͸σJM<#!aK(η!wg2(:φ+![5ʊʶXNڃ|I'杭 7R!옋$Q*DDV ^IOG[8g]S C%%]\}ڷsY|~2´3 @']nt~`(m}T@;5dZ'ǍW[&EGYV4GmSv.q`ۛR\+Qu4~~; (PZ?Vc^0gfX60Gm tAF&V}305u+z72դѭw9fʕ =^o j xDb45{5 $X"\6:T"sx$7A*]DJo'qqi}4|MNEggxԐ UFJ.WYjxՐvDU?miY֦;SE!WOXc"`A04}M<?<-=Pn$mؠhbZ69fA yTeC*^k3&NVp`;)ʬio7{oxS1ÕpCHuW}zXhw"=zϿeDuS:,iՏ~L*sN5Zc!D=&kgS7̮9_pYjd]ɱCyQ" D_CűѶ'z(! ԮMɩyei7iTM 7+@4;@+p[j|?9KQ++tN 1Rb44>4閒m/ k/{9<1i63c޺hJ94Uo7NQe-xdUc] %5W-Ž>(3+'>$L3 u nA5.R_{ź"nVY|cD`ⵓty0yjY8 ~d*J U&+U6B>N@P~{lvYvWpC934*YNbh)'(1 a7`@RPQ+GGk.ഹΐa5DHQ)j&VtLu6ATYR!,,92$D#` $8ޙo:NT@;,6쯮̓s;;cc}DV6ƎI6#њ*bV`.SЫVXlF:m^\&H F4[:=I& Q@Cu/T"ԛjۧ-GZWVQQA,x6my8zA=.ʥ3yzzS!%1ّ$a$Q fLѠY.Jj;,]ɫt[Xd,;rlǦɣbIj4YE@:.?qEUM$SL ɻp7((8I1<-OXީr -GH`:kH(;*\C;hfc)^oiXɚ^"tait~'Lbө=3N2K&f 䢕:1]3T>fC|O-GA՘ 8D3|и kZ/Q]|d$^2 *j¡/(mMEDjLWrG(<×uz!gU)+MƋZCŮK@V ecL(rSԒfuFZq#\\v?=0 *Nrٸ^if6Mk"u suzX=Ϣ 9%_n s>"ǘ'kI2~u q~ݙj[m׭%@+$ۣ3筀@E_idXBӁ5m۳4)= d'|@NuSB:b|/,V0:tOchpn;5Y ē8GA2l : Y.Ηx2;)R{~"o*3DzoVpʿ>wne <%h7p hs!(;XFM#M=l?Ϛ;/)@ ,wj"AZqq.5wu