SQLite format 3@ .;  B --?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 << %dL ]/]HOL-Analysis:threads=6elapsed=321.395cpu=1680.800gc=88.456factor=5.237zXZִF! R,]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$[<jl|&'#(Sx#XU& \~{O`isC? gU\t+w>|׍_*x䵓-MbyEܝG lnhp\j7v6JmĠrk,_D_ZAx|tgHH.L |~} Rczww僼KZŻ3#Kjg gx:~:Q%Q. Pii0mn|573mUl,^7RY $LV-.6cټP> IUF@G=TT mgiT.UG:^E(b LmK4&}dqޖNTP BdUydB>! R 'X˻3Qp{QqgX'c@PT\ YPRUs#Y>vK@giJ)@S3s ".0ˊLeWJpPAq:.ۙ9Xh6*]qm۝B`pd,>:vq_)T/H.oq<36d<2Tv0_7,?zpG҈/oQϾ"RI"kE+Ό[լ(fMZy#vP# $РLA"7o2" nig?z?r=>4n[-EGOC|TJ%u(S}ٛ.z" gK7\ I|Is˝[;7h; mWwSR8)(c4s\eBGnI9E[a! MYV0v'MF:w0.^R0oW[<͋Q*Ѽ>8GSm+;% 4ڏDLAi#|48.*Ȅ\ FDwbs`=׽JUCؒKxqCr%$+峴ֵSӍxMVz.cT6f:6!u/.~5źQ0+XLA'4y,CB(Au83`{#JR^ ~SCۼ1Xp~z>4z:2^vK`{tQa+EirP >  :%Q̀4CH>@bxtZ쟽؝?-cQ KmoHm)@%O~!QI}0B99#~=FѰFdCYj$xB W];ݎF1ׯ;ƪ ɺ/}[&4γHM?&*A9hkrfsvj)>/[} ҩ YRW ~:ٛ +D!Xѣh'kI޵l]FMsWx;nƒW |jėäv5bڢ[U%B9[;*g8u۶{39$Po{̹^%<7fbZhS ̚6_Yq TBɩ̴O<☂MK}R$ [ 2˖8osBuǁ[ZLri Z<$;ǂؕepoռ % HOL-Analysis  \%L6*6xvF'+T4Jx<ZjTnvnT&VY'gE":iV00:%E\T;Z`Qc6/>Z|$h]}ށ$كY .!)>UB{u"Uu i^cLdOsxB8j l$7Y u 0A -* 5k#WDT{mmQ0F;VJkjiG*?N!g-l"Y,2ta|SnH^#4+tF ͷIVij BVBB>D %CrsTk&>~7T cs|(p>Q~$ # ޤb⨹o )`ꚝLBy*/d8~_`9q]!=;>ǺUTu! `"ߏhbu>;zgHa 2T#g+`fvk{Ft'Te=D̊, ѝɮZ>x\ m%P;Z.CKچ_7 sVfQr̆kNՍM[h P!+޲JYIi@̄bS5@W=vJ#Ͻv'fqYo >bQ@jߊkR R3U "g ? V9ŶwրVc7ij<7; iD_a s [\c]n6!dv*R*o7Յ,vBVQmje`ҟѐ;ǩ m Uf_CrV(`Wm : 3$%5z*>璳FWI3_5lRsj[7A\.ѕd띨Vi'Y4u(TD kjZ[Uvȓ#)C6碗{lW¨+7c᎝_B,"Rv0_h>5@YR Nc03U6*:^X@x)}G50|x 'D6oi 4VT庚0t_EZK7.F$o3=쵵0XEv^/`ܑ8UL/*ܳPCn5"ī;b ][$8^8h¤܆74Ư3iHxҹ :_. L.mK4zI%8Y~u{zé}61G{{BH`A*Js<{.eNX&qta1@p@4gT &s΄I4pu€HqNh4JkK5N$K3͝QgȆ $#[bM]I/j:h^q-؉ ݽd #fW:4g̒=6@`/X;:Pk\0~R{8@#Q]Kͺ, ʌ>F>tmԷFϠ֟j 65P1}db\Nav4v=%D8k9KG6+- b7[n#bFT*+n%_s-Xq+=!pq0Η5c`+RG״>1}>T*G2J)H(\mi0zܳQ$xc- K%T=;VVúx_~zvy.>n (+<(AإYđ j@$Ppظ<{>0${O%;cUTy9 Sc঱|ZHXX! ߳BEymܯcY1(ü/crCX'>WGz:؄bigKa&,q>X`5x(i^;xK)Ai# ąֶb6Cgs2GㄞP ժf ̠zA1U 8ʈ?|1Cjc\@kC_uL!%A84˅T/{ERÒ>:*;8rfr޾$AU1YZ"qE2Nl];>E ͛#,r1b=;7A-(՞reD:S&<'.G@( DJuu/_ U6YGQ, 'tv~jMה0؀M5x# Yq0#fUc,  EcN"$r2>qh~pOk'}bl/{atODP6rb`#2g>pF~%fO4wT뛅D>ؤ+[\7 $%8"9KÆֶ=wԣ RzJ1l~xTiGOz3iڐ-w_RDDM*Bcq1\uM-TNPV#c\bu[X39&> ~>hصzx{0[c7l Ck4=~ɚNWi .N2l%Tا^H~qz 2^dKk@yJ\\~k^sxS/pz^[FǸ)_ NN _ThȐ9֥mTC(;'.j)Ֆ'&2l Jө 8ڹmoXh156o>ݚd&:4Whs'g')𨉖VyRD,q@%*c8k J$ 0'o}獷w4g[s \̤ZXW%A<3=$r)3rnt(^L !Tg2;i&A@~ ;ŇG/wܾ?~Cs!?ͦ6E 퐴^]s\3¢(m|տfsɟ 4Lkr)Yn2)-ndiZ]HoB,3n-|-`* n=*O i~"X x ӴWyq3a8T|wJ&7F"x&Y.LqWЪYi Y _r5c5Z3x5>u.bRE(?>xWΑd;PBq2ЛIƚ`c3< JbVTĤ+9O)sl Y Z?D?rE%NN.l֝|˜¦-a<^bZ3Dxf1.<_b oxor)IO}.R'C>vֹ SDHw RŮ nqJke_,f`k$nf8Wykyo h!G\`=ƀ)j@rw^J}:xEO(1?)Qy"Y|fn(ISv'/ qk7iaIn7YZ7'u-6_VOeɪm5e]ʭ{zkC k k 6p~"cጽ..hrG浬B]F =3?ʧeS%x[QVy.h~kwߓVkXHP=z5L_=_biַoӭ}4yΏu+†Gv?˶ 0qlEP$驠q "+W~rםmzZeڝ xg^v6Re7x;̧8lQ2eDZ:$TӏXd?{Ap8~-#!R>rM( T?r?4`vxt6يȲ,3)Ќ:KY Mq-(y"}Iu3{˧QX8iȑDRӪB`Q˹ERdJ=#HHm7r'_yoX#w;1#)4D; m bhOBCPB8W"&lAtvog|_gjtPaWdi?of2j8wKR4SDɇ9iShB970_UE3,W\ŷJdfƸuBRb4-WK\Ky'A?L5{+Ò7hqvX-Kͬp|5tA',wjM2b{^;Sq7SY|f:mTG 9靦$ň Iob]d4?:l4 }b<ӊ㹠&Yv$=Re⥵ a)mMNJx(\s(u)_a-8w0R*wڝZ8&M  '>g+PG]sH7AtL ^},[5$SJß } aŲa.hמXy?[aA@҆R@j!_W-U9 ?f|z $ XWW}j]Q[ YX²C6!r&LP>V>Rx$54zIa׹D 4 F:=m|(N/`P~+`:´zۂpH*_ ʤ}-;fsח3-0:>g@HksOՁZJMjq+OKףq5\`+"r. }sZ;]jc*wkLARqߴ󔲸 xTЅX@Jss[JpՈt̃85mp/\~riB0tU#%҆T Ż=q oB%*95肧Bd}EHyiM0 1]isvr/'hGlyrNg|%Z7'"O2@ǧ_xWhR(ed^V-csQuA^pަ@.L= H{rƩ>Kobo!)L|&uS1h\Q+x;GIzE /YcQB.i(0D!վ@6E⮣6ұbF~Zܕ1༢akfh? NA䣁`,kBJ $R&F9k<Wr\Wg_< ʩ0gdLeZ3,,(s,@RqK*@r#얌Rt[9VBw֑/ b65T)TH-Ah${ eu(7E$Tjň7s&Jj; )D;n6 OYV#u{?{{%`a5 Ml2xe\aO0hr\@2Tu2嘅-79r-- 93q\4{~Zm1ڪKI"Nckh+v>Nտ_Lߠ哵܇?Uja|Ʌvx~ mF]޳QlTY<FÝFf4y^3Eg;F%"Ă)mC-zy 8ZÌrYz ؕ%6x̀Jue(OO8iLБu,,N$D '^`INNf m_ .F__"j*35Q1/8޴QI_@09*DERd[:7 o+nCESjWa]?y4d|JV#i,,TDܜ? vc&eXk*pI7+ BX7˳tU$ dhG f|yZq_<Ħ}S z;R(},ĺߦXr"{)ݹ+:zI*c k)1/@pmS /R]Kc~!KQqJ@=oFҴ&(WIF.37jɚlNNaT$6m7Ǯ2(vjf*#\-3 B,4g18㩎M ^qivly">S,<>:uGG W&/pU`ϴj3Zv(0r ʪc tQ70 ߰aG{oh$̦#n%{s:~іt˛T䘼 XQ`K^//w͟J9wTnrp W@{Em."# }5N JZr_mKd֍.ʻAPGg*>Q -Wh;`SE};BEA}pG /\%XR~:qRcLjo"թ@45͆MeIたNV9n,6њVMr"hГx~5K/̏R杻whx@ϭl&ܬL?Fܕ_"PW.*ӎƝ]!g#݌;Pxxɐȋ|I^f8U>xL!9ީ_,لPh1ς!:S-X'N½<|EUSh !E@|x7(|v_=`o|vn(26&QC98[ zNvDwGDT^?yCF&AHEGnlPGl28js:M|lx9:/tRq`*k3G(~+V)Ի2OJ YN0+"PsfZJ&FVr;3ۢ)Nb=@²ioT/_$Ҏ=0Kz(/qڞ) gPIXgi䄓b5(LQwЬmllIAh8S}HE6vq懜QBfVnQMꓶ?cJs~Ǖ4Yf՟:[1eeGk;pX(d`eŧuQs`wTWΕvހ_/% aD D5 ZB$6Fvev 7XE'n^ɩh+M`~i`b-xmHآl,!|1kZ0|!U-U^[aq-`T1C"p Bn<Z0ah xYyu\ 6`T?5f]GHu=?^dZ-X(w ?l܍,;T׭dbMcMؙ0 ?׈xm2,(he1~-c3_PnAŖɲR,5ۃd ; `tM!y-($J(;o*ﰾ "Yף9-)'&4sM9Mt˸ JemWY:Oip4F"5*`=lj/!kVS h3He?F*]: Y{_,:WV 41ד #şߔ Ú!~8'_&0 Ol@=C72Zr*F-~iV(c~5s_8G:1ۄ%6Ru @#)cڹ4d~m4%%\Fnukˍ~v+ԾY:2rxˆCߕJ5Uzap~w~O]qEr &Z]jFTVMiL&NOVϜKtR,!K| ȝ"[xN}| _4Xk,Iw)4a.+V2r)1lE (y< ~iD K:9pf -gLg~َkD|)ɒ7V̢/bqEBD#`y.Q6 kQFE-&o1j]aA=f:䩋;)5 *h A0=OoQ3)yeFd:n7+3BO>*J'&?2ӻz:kEkr/`7UZ \o} gneRkCYa.3m&jS9BGuP(骵\GEL1cP\F&e*ٜ]H8c2y9*+F3h[އKESkfi̧V~`%p~Lvڞ 7gbYѾH*9Ax1\q"#D/>z֌O;, 6Yb m`Kp deF kܐIJ3!kk}#9qBwMGB@/*̓ ?C &p$Drf0!Qf,'u,ṯ5M1ǂ}!o"REnMlA=1hkhTY~Ic>&|13Pt#!pu^y;Ot9B95Ո/c ٪´284q>dT)ı^|IPSQ7D -ںSUOkΫD228 ㎼Ct[ƒS)|fT;D6rP9KKRgoo1lV9v"f =P\W!d#0>L W} {q3{KݦKGƁ\$.>]E0jCħ?ڢs5ns>ЃѲwIni%Dd%60STms1go~] rR| l*OŚ.N13ȀwӍu?,̪Q WJ" E;rQXplMH.4JrTղJZd8%%ۮɭPPZf tv &o\tFdrHp2e3:3] bK -eOqC6v 4OkK ?f1~{`R:Lo6FmXA0|엹6>4o/\ OxCD5O-*j`VNUM}ЙSfxly͍W^TpyeX'"c=qv>vUcE/k3fiKy%d.4&k_C׾eYΩJH(16yx:05//&H DU=q:_(M,`CW,?&^W@*++` #aDEXmNY[ooĔLݑDsiߓ$B$=Iu ~D;>y-3$vX/qב$]Q [y+Љا&;VCglc˰$kd :}vJL1XQIH&ҕvSDȩY_χ:=p'$?Ё+ ӊm}n|ӓCh(qgߑ#;̞9voA$-`psK]<:֞c;#k tSX%m\P\kb^-~kG3摒A9ha'u45nYQB3,} ܭoT1.Zf3⭄b/l+ t95CZ^LlWm\QhfAY(Рa}qD~LQ&!Ưs(u<\Ki! L_2# @auPKyol~T 6'L`͍]_A9ƒʪcA]R%јyOӒTGWOGp5`׼pY~N j df*Jϥ;G(v hrri*WBGVٖR]UѠ!Xvc!zW)hrW$)t`,XIui&, jcWxh8,Ih]ȦSY.jEhT,SqڪTX3ix2_H?a?Zg;'ɿnBtN$Z)6c)Vd043c>ZkLQ3M$ WT:;B=dOŤ19Ǹ9;iuD(>=e{! 89'l`i^wl6@]SfFS;x9yxayhUjjԳvro$>sg2 K+'[s'rЇYhҒ rԓȘM棼s3wUMQ@}V!+goȒebt68ěKJi}G[HgEE"W~oM۴e}:TFݦ9"_+]Y8[6E mR۱^c^NS WZ NhkiC>qqo$fgxߣ`hs (5Ӭe#UWLFRLCz7xf+68.pazRg1DZ%);jj,#e̓tuAn⦪3EhE ?; ?͞domʀ)) Iǥn FI!E>YR XdYH,kKCo]QbǮΓh1yL\c*n\ O -_J!L% uv`zZUE&oHs^yoKM6ۧQ4 385QdP!写6,TsAz׬eu:v~j>]bj@ʥ`z.?`3L@ዘS #9 BS1i4P hLbZDr;\E,?<:4CJoR;5L65lj%;N[xϨ ?NJ֞ MH^:jsVn s0 Ϝ>Rn}YlxᏚBnavE;hT#Ņ~W%P \.*#2Rx v@GSy04!6庺Jv3nۮ)212IP\dBm~#Ij>CeM-HRb/BN Bm `J!=5?3,H#JHZߪbJcH]=> 8c]rdT;IJ@:MQz| -ʵ/E\˻ਤGy_ !Uu̯W7 )5=.Y1AZIT8L; 30o4ě?'7&=\tF[}.䦠0 Оaxһi-T!VЀ_ZT*W Yh_2?wq>pQK%0Z'}r PSiΊ䀞Br-8ாvSQKZ<<V`,a!SM΢q-Oq4&]qՔ&&m8`QƴӿށEği\T6`r]q쬿KZB_#B(95 <#&Cd% + +%(D٤BJkjWՈ<~7nD,SJeG\[%0,V|jxTʂn6StK)O827BE O ~-YijJ"SݴKZ~9fĎ u+')]yl>r~o`5moJ\xzC*Ulƭa뱶SG7m계I!S^\6 BZb6"]Ve-?mф %|~/k#cWȡ' 3~aS>UVeJ 5殈VP}PSA{ t SKt1ex[ak] rZȦLztH1H,;DKkYڌ?Jَ'#So$(8iIwy@/X,i,F F%.Bi'cUv>DUZ~尗Zy4|H~$Zːs08L`G7VSU/\o峷 2MџѓnAE(>ҹ\. vŷfUVw1m9Xqf6D:Xm{0i(b؊}I3:8046b=EX >[3URr3cU/(4WF;Ex#H+f1D!"Âk/OP5l؊{=WIfORTRj0Ch+q2r0ll/w2+CnQO]ɫ/p)/XY/-QS'B5wn_WS 5x[l3:ƇC^Pm5˴Ʈ(5_p}`PK qk^ 2byTe蛳-Dm͑)+YZ-qOj,渃M/U ?tPrŔONHYr-y_,\/nLc`%yv7YbZa8'6JHLy؇ Rj.ץI QC<*ݹL) ~ `sA9CTr;YոYe‘Gxxi跚X2!jca(G8"SL>)$?Wۘ6Ax}C=hyWsvH^/,~Nog57sߦAPfI5ާ1z/N UJ ;=oLD2VN_Ռ;h_O63$˰,=5F8iTuDɻޓ!  aEܿ3cHLD#vsbwm[D3W>+*rxw!wr'0W)Y:lu`JE{Q2RNu-|Y=8y H `aihEos UQHP" ShL'C0 .*%4症lCrBfX{hfXS*6b!gtٰgzrHBFрU.#n L6ýBYr s0@4]a((\DU2#{57˕2iWuZ-g/O!%f_Ix+QY:}} ]FT’t|fh2oWʛҪ?w4oڪ@Zș?H}x&5ʆی^vތ~puqf?;aNV+; 4kѯǛzW VnSQV iĵ9?.<5n 8//a>BR,N^ת?P ^̬O @ ?q4*DY#8i:4N6ڦ@PZf2f-̗)j!|SC4K ȍVK9DO \7Oq,P#s_ u|'TMIV{ȗ]#QFNL\ Q({*,D2}i!M oֵZP3GK9zcfƥ91kkx~FRB=!iz-}-s2mݨ0\ 7A"U$"DPp}*xD0t+?Gܤ!:f[5lZ>) ) Z$땾-t04 pdh$@H=Q BUͪsL"ɛo ƶr!=?-BS"r5T 1A,PnU@KyH¨D2~+@œA2a-2y<h jFdT yf\8_5d^OtL OUk&gpAk08h+Uf\{%B=hY;gN"vq{(h4]P2Gptm~tN8$lPRzTY,8҈Ƭ[)XTVa]Z pLcUWʏKB7' (6?e"0&~S <6PA0d'1;Tp+л3 ^tG,܌n씛y,O$ .5v֌EJ5qG]h4 |=W -ʼZ0 |KӇ*qPW<_Kh\_Q&?8_*sG/ZjFݳbbV WXG°a&.vlXwH^}  .FnE67,ή-_,NyV5*;*`HK4Ie2*^࡝fhsn6d;lw(b=m.s {ƚʯX7w 2wK 9Nt<$%wF tN&&f Yw^Y_l΢ o©}9l7&9H]sK  c @k_m5`5 I^y.s1!-`I9F 1M߃Yb7)KzҪ9/V(\sLV3Ejh;JT&ac[mEV;n9<%"%C=G;i Fy`նO$:jy C{awMoΦ=:B`eم*+#"#xZ+BRd~,Jx|xb_`է>JM3QZkJB6(E=CXb-+AgG~X-.蜁>5Rdaˆ+ΈC=yoɊx70l;V:E`({6_S$i] /ʤgQ~=%GaŇ04:y6I)|7Bd**-jՙȒ.wV=Hd\`{alz7jA2zHawUMx7*7D&8;EirJ}0CB$Gb)lWe=a<~c`k:b[?xE䬺DҸ?>%_" |8!Gor?^*D&%'Zך!_O_ , Hj8Pլ _Q ֏/d6;A-Q3n0(kblS6n TU.VP$űgYZ7zXZִF! 0n]ŗXi%JӉBg튄d`O|@|`ڋfKd2[[f IM!wyxBrF'fw0 "-yѓ3_I,E8 m]51H׮N`C?c-tT QP%]Z˵Y2PLۂLl[Ƴ$//H"F±Z[ },*4"55T-/Gy@"#m1%1gHfZmf>6%/IM4w+aybu,Ϥɔ[fWoBlslRk6%c$6fBnnjYD), l$:xJ8O*Xyp5NE"R>Da s{jbxD$i ՌLN'FN sRj*R#>ڦ]@Y5ϻܦ1Ml@QEq6p&4ĩSHF- ngU4w@:ή8?\3@lx˲&~co%U>]nh#ӥgz>oVMr%>-`5{خ҉OX{g8NJsqϭ~GiiB@N\ק$j'YV,/S as´AIgi?PVZgCuˋu`ootNf~Π.Q.KybG],hf @{/Ac;R@`ޮԢoIm74m*67КTM.!= wxk>|vPDڮUм)yW~"T0sbIFXr'xh0K Z\Eh-)04%03g'EńVG]i'4Ako ކ 4e$ G^2)N e!W)b3R?gXITS2àrtc 65TX+v=Z[_^;~aZFAb`~j (%I <$sqQƢŸ-Xl˔#Hʼn͙Eo|r>5dx;l oa-1a26iZ'w_&rb v ~:V5ܽ;9d7v;8GRDOCJ$Yq[|ɘ\b0(DiIXR_T+♮G3Gi2n =}?yV d׼1ߠ'Kq$˼vYq)H2v1nQZ9(`37߷]zkEMU^I[ϲ /$tD坪]0^.{ KIJ3ǽe#+vJ0L`!oy] a?@ v1nzˎ,}.ᑇy3GZmݤC`V*ϵJEdhɬ@$nN c%h A!'nB#(H#`&2p,X]_Dbr X F CK^FR8`3J y:Z{~%鍽r4ma$uBE5<[9KifZ)g&\C:YOw3JsxIo!q`fx|FeqPBgB?>W=q">,JPw,DVFy<זjMa7.=Dzs{xdϭ5<~Ğήz)0=! ],uf?>PޓF98/O*%9on݆iCB@/Jc9UbBc0- V>ND?Hd`( %©Gu,D Q53Q}5t-&b;SbTkUG׳vøh.L)YOHoe\!TbgkE\CBB c_ʪ1Ͽ8wߡCɇVNC;.;V/uv#5~ J`0z Zݒ[ `証hP2jYr3h @T˱GĹ6a|^0bʯp[N?@JS!4$U#4"_9ehq9B;yz^wWr m? a=#5×z(2^b,8ɼ04;:\(VT>e#ЬǙL"9hF+ፁD}Ve_زdbLhU1t'Fdʮi?=]Fgt"{sW d^]ғn3N0D Z򽈯MƐ?tSc>e#jܩ~TCq#bv/`;Ĺg~&J cvQ"/g#Y`z^ښ*  J7S4*@7C XC}(UƐj;{]ܯNk,gXW#NUqU#D<~Rzy1|0$)S X]hm-xzX+cvo u24K˄ ?YbM^AUs1-@0^GdS?|=֭[-_S#N1T풝D-S NVO{aj2gRdjx-9{|uZH%^tlG&FO 9*.ad[]EhCfWJG5GSb^J' TytS9*,,N5/Bч/Gn'^%LC$]rfR;+U.yRK6>Z\`?^Or/vpLUC U66"Y89,PѩJ|p;DyNIj3x 8=h^A=]XtK NR<4-*-AQ/xBX3d̪3Q_l \&n\D<]4W*{*.'iӯPCQ]a\3C]r48ޑLu *4^a>wRLd^]5@LןI)DS|D͔pbY8|&AIT>e~Zl=*jVh9Bٷds2Fô=x5VХcXqթ"(KDSY$+xF;iT cү:4e3]SzIF,EKo&[Z!I)Y"T@//}gų*8figE;eEWj#In[l,NTmz׮ktȔ1,Ub!f}<"]Ahg{%HL8Y^LsH4_/]p 5Kߞ n rC\Ї؊$mhm\zC?j]_&qb3׌.(j}f2հҞ8uվl o46YQm%f 4ȋg|eҩMQB5{@;&[cƉ$Jzp[ck?[ܡx[vҠ9-Cx`%)?pyGz nF5HI [x6A Ԥw&6Q4v爬#Q:>ľ~/Ly rXqh(CpLPIz!ԩ@e3Z*Q!`z5fbOуx؍Zp끼goB> &,L;Q}**ZўG7ki=?+N:5+aNCy$|Ya#ͣz߃ w9Dn0 ʷ:q;CryH/1YL񣐃"y{QmjDkDbdM֙00U@Dk7.KyTzS+(Y rGwOɛz2l g?^˔)ᶷEpl hnm՟|N+j Xb)y&XҫM5lmǯR`vU+JQjӰA(̽0!,a*N:} lM/1amqsZ}TҊY= ֹa-fܑ]J*pVٸґNKc1"o?{3? vv\D9޺ e^Ljrپ1fKp +OB~0*wz,I7H6#Neݒ7 ?}`<=6);p!??wupL)O(ge..%|b~ O^^X8Dk,gڲ<9GC81VdlG|ׇsQ {1y 2\lHZ2%y غ,7EBn6@UQ9p:1Ћi󎟛G@}"i]]QrJ+ʥZ.ՎgGl,n,Q'$2?f 3w ^6N-*WNfB/Uq +VM h1\w5oxaCupvniDwuFݔqJ ="U Hs:XXQDD'q ߀M:j@,4>MJY+vܦ&2G6AKE!iȲ pz B.(zǹQA!*نkM׏'+IpI12w2z.S' 4HG|"'oF䜄*r5)ĥ@FGvx'mh?5k!Nzo 8%>>I3Wg;\"9_h#lDӵDj"948I]d&tB8)Sh](J &2l3u6&ˤ/oj kW/9`78zz@j[YWӛ̰La7hݶ* vI6P[yK}E`5%ӹ4YOU :z9޲#(yim&}S< F{@j+:uͣw:iAEo5tISWo{١,=%A&C `@l| / MOl2Z^ɛ9jɟJcpZ%F QϱyHTg%SФQsbj X5 ֑ &09{sґRux_N>vRj/%nYP w׭YFR.HӢMv X qHQ+!4h0 >>Xhدg M ?򔁥S"DZS]UCļܙT%S#⑆ @{gT|i7`>g  ٶj_2<1{ar)/#X?_ e c2(W J6z0slL-36ᨑ x@GrK#{SqUy^|IX\\΃^ n *jYXo4`lʔ6HX)S${SFnٴ\s"y.t#q@ՕaWtbPfM:7Zj.kCq C^M<CNjlsrxOg{Q:o7^I)+ b且5Xĭi}Ƒ^@F(g,in5;8;2)}TH+.{>XXQd2+&ӭ YKMfΧxI ax Eg,>i9;&MS7,7%0ɡ?JbU+$0&XKcdl-K驒& O ~&ZC&1 .S3&pEUA^ԳTB?J}sU4Y@AFa{DaO"^;H dO2Zm0⥨4+v|H tҹ-6+/Gqҙ$mjͺЪ=xWkT(& ʏ[H=cE7JphtAG'wC }: yq78*KPWY}杂Jw 8>K#5pat@յ1-[ O/)2`Ui֊gŔ9y1Z<9 FMk!>CAF2K y_|3eE'ÁX M|iRb|eEYTi{j k`*3\pۑUS`w@ʟ78OCRFzYI#gFkY& 1;$L5n,47TSnXvI֍ҹo癥ZuU0dCFZqw0rxyP?nBQzT2T%[X~4R xXJe ,KWuN}ezw8v+{J~H\gĦa9II8upRZXo-qL2v'wANO؋ izZ [iLE_u\ >'9~Nab=b}S89}"t+cx`W^/y6xjEW_ΛފI5stoc/es0uzr0OUE0)GSH @M38 cr?|gN1@+iJe)yt8zt]:'d|\nl~_u9qzwxA+}"cI<D9zXTNdLWjWk7#]yT x6rz_d Q"`> `j3(㿏ܤxg"v!lc#9(/M)(EXxƘǧOCQQX1R,&^`I*8Dx!!M7ɏ?"5$fht)nPW"L0p,D#BOAVCv\1QKsA "S]ʒU48-.[4p{zL fk+}J_nzuk:q =8<_y4FtjHu?PeGi}xI\q|s`2LyoXtF/AQSHMr[2pXjž$֞({/>̍TW\Qc8) ǐ9\5:V8D>bQN6oơA%ZؗjNLr}v:h@~ gۖ7R=zy?ALW2 }$bD:^+lk f.lӨP;ʅ d׸r |Xqyav/e g{:[Ԣz(1gƹ?װ0x3!U1dzNqi=]ᖦhQD90.(yc_[VE:Orl[LX;G'mK6a'C?’ <' o [@Ҟ-BR5>^JB'/ s,`FLdӏ5V*0ܔ_t § 9}q8\7,k3RdZIY 8BlӖ:p6?$ i Jv"K]jys|IcRvV'Nc4hcXjWzW$ض0Pi(Ԩ>p*S~ߠ@Vv<ꡌqV):ladT_^i$.LvMYyYBg^1c_Yd3h3͒uoak 1a>%Cljo9H&x! 3(HAe :Պw w#(L0 7}ĮɅFJQI靥 #7A=_`G)\ZW-s0s'o 33P3=6f# &Eë0`fgDD0̭0kKCw[+KKQ4e^Au}}tRTVh"G|J1$o FhAD3sv ]C䰇f5b &d!c17o>|#Q`!j WXOTow~0."1bl⭰͎+O9(J?7H~N'MR[>BbV"Ύm 4~Y{SѠTH9L9Oit\b%NB7 -(UG#^8nFlS].骛^Wؒ`5an[v-cȆcx@n&Ba}slHp[آ<v4dNIљS)n=e6̷T ''`J|u?qu1HB]+DoYV9ťrS7帆%z%d(=&k,O™AKJaS%̛{ szm'u$v}4:,f[1f_3rH(3-Ys%b6Q>u$r<_r5^F;)cF˼5QouMпo~r!P3_P8QڨRzK'd9SS&Ӕ,3SI'-V^(߉̎^gp pVl!*D׆?;O@'4\8|Jԅp9*\S57j:?1fo._bYঔ !*NwmOlG\d@oBb~XPr eZdVx rqpDseqcFÌZ-( VERH[u2eMrEYX-}_ME9Yl؝u)yxuQڭm-ĕ&:Pax;cW:K{} )DF~7(;l~qXz &y~9qÀ;#_fDˮ= ,NlUE![UAkYي(|5mCa$L&H֔rmɒ׫9.qR+:Ŧt-mkXyIj6&]WnLssb.vk)t3KҌ Kk iE@Xc?Hc#тhz3% .;"7),2RFԪwr'F)çv:UPyM#q؆}QSh1ސ." "($a^ <zn&7 eHXOm "26dA!i@PH\Ϟ`3|lTx!fGN[ixfXb6 *]zj VT{D-oP+$F̂O ׼Ts9/@{#߅R_ʕٳRBٸ^=G{,Th87r1p3H^&t,z- V0*EDу:ѳ3=H_avvg"$e,vچao/ fԺT4~KV{dzhQ$ >S_t& gէ>є}*p-fKr'u+ݙU'%Z$&ǟ`֨p;vrqo}؋][-xWcZ #*۴pj#!@;pܞ۲k#ӭ +FL* bhdQ3V"3!]*+2&;3zߡ0u?Q_i{$9u:g$;"hz?{70E/ZNk6 k&ͼ\P(ƘhIXA'-|,$D1AVrRzښX̂<#2Z zFbmS'YJ/OdiD`./ЩP?LkN0'D7>0m~}z6u5ŧQrgP&,j _{V!Qel*l5ŤPr_4NHL)0y{FQxF8ڱ H!f/Pؙy;Ka ;h52VKʌMJOtgmxEye5s%-zN}$ m`a/6HԚɯ|׬oK<0,E#l,1}J%4^.WcaL(Ӱb<i G*jo?3}FOh wɠ̌E}^RaJ/H u׎-{Yb& Rk"(mH5C9RFZHG/K2ƍq_>Y3.V z@o. ~NG14_ԸB&wCi VCAu tp0eex78MQ#SP.҂2"-r@m"~s7'Ɯ?qJ2"Hh 7NΩneztv-P *0>ʢ&P*٧ ~QAϔib6@]$g;H֍ǂ^٩ݥiz9q̀prp(yi/Q|WIPnBЉO:Iɚ :vĪTj`D\0p@i(w\˃LFo{y]{^Dw`"˃Pty1]t "uOO%k +i[ Ԫ2%dD,8gr(qVذ0go)ż]Eom# Zqk{}#! {?rSժ4Ա[u/MTÂ)b_ ٕ$c ZI_#VCT:kcEGէnd|tk | &*A)d`RW[IЮQqa[@|YIZ':B%l:EU>XX jSPUE#9DLtVd$|\v9#$@n_n~h`u_p%ZcKfb:H恚qpZ2 Iehj''f;\bH!<1# wg2f8tDJ 6U8(C{g+fnOkº맥 ]%'5JRZcR%^,#BJxO#b  Uv`[XRw ye2YS5A)k($UNEr=MK WyCϏsFݢK.HzoF|A3Dg#Gj61W}⫈(9M)'w<3޺9y@(joZD-::CQwjDR\픖?_86H|Ԍ`B-Es%$ȱ]2`\Vu&ׁFN[ ~Z`>HL飚'R@яvLznD}E[𣜪]À;Ghu8 UAQAڧ&nu}0SÂ1C^Jt;c|TlqFjR~((OEWݾH-s)f#>Ly[q uj[(m7`w8lat%!S&Zo 5XJlqURP9"`-W_!\j7cJL 9>~P5 M>/. Ωb|5dh1cS $4-N4$E&-0[9K+^ZOc%v-rtC!JpyS=0}Ka=:@Aj08@zJ$K}j6eSQFx! n0|IeEm @ՏxoDa'rq< qPq-ȅN3go~ɞQ?LaFfO˲xNV\<?v/ 0"_zuE$! 6IV#G˅ ULhu#$*قs*At&gN!i&29J #u=yfn8d v#+ O1G _5!fjo۵zr^®ZP'C3FThPbe.ZiZUd^b5tzY,.nއR /y}+f(-Uœ^ Mr&q ;ELːnlnө$[ (nޚDɣx/~ɜvcy`gd 6!T^olVȂ%H6h:S)|%`=')݃2M@1ݪQ>Eh8VAd,5wLՇb[dP/yl+MKfSbm!7c1bѫ[{ .T4>9x( o둟Koӥ&ˈυQxfoq:Q6 wm' WȌLQ4 jscf?xd@p08a\]n)-Z# 9pH[.g྾E‡׭@dQ^vr2GSAS{4CӯvoRF99n^d}.]OedfС.|N X0X o&0BjI+2<[n/ "_ )F0z[#qj$V]X hŶqZqv/iFOf+6苀$:*URe̎Q #--9Hx ǣfF(7EEׅp^JX6#^Fԅ],sbI O#9\[/!Q}<&y`72{l֫S(&<լqJ@rkOYWe{V.9>a_'C_mT  ͖&Q4^4jwg:"lՙ)Ut}bh-7B{0Քޡ:[ک ~rk^0"8sG~#΢ҾkMå6 ۴͌))mB?rd\@ZԭZa޼(s/ GJȱbb=q_gsj"o`%̑3 sLT$1VuW ]9F,rms0JNKz 'hˉ}٪腴QlKիlg ݛ:$`K,g]ë4>` {>']Z#3^v -9=GkzV` Mhr{&FDy qO1 ӤU0b5B2嚚5q5k+2V yBwmS*D 7TqmFuyStjop48~cPihe B5/%}(2ucbq2YDQjKo5xI"Qz֖1mE_OK̭ì`t}wF8*}hPF76 \G%g-m ]Rd{8P85d.˪ !:48|+J,旧i8R=Fʊ<&U_@džPTe)1. r`oIK2&6tm^ԋ@ 'rE[!?nٺM+QcTF16+ ׃sbʀoG35f_)~mkY`5N8x?Vjs}('YSZk7$Fp/ܢpJ#k6\NhckD`C?|=d;>68MBԚ+({ kN2SuϬ jq:3) Qd(kpwg<_yהVɰcؽ3M5N 6Oz#s 0ۇ?GHR2e:@@ّsv<FrGfS}CE `[&`h"9g>s1?wdh-S+x"hÍ~ʞ"}S(@pru۳,3-ӶҺ};i-`n7]HOm[~YZkFlfSxtAEܓK7}V#ُ lkEgBx.4,$<~NjZ#ZBgk.0t9F䷿Ҁ _{,;`聯pCS:! 9Uk/tD<=3ioӳ4^bVM\53v²9Cx%% JZ21I zM_ /J ~3f>#9< ?TYh(vR# k1T!젛qAl Q:0ueA@\`'}dvxoMqf :_N1Գ$`RTE7\u(<#aPKVw*54Pp%#ukd#Jl,[Qclqzx%v&6sHR=4c7m/?!:Yx642p)SH+bt.0v̌ zΪO{B,2G"!"o<ĨҢu@R.&;_{  :A+#PIYCJ]$M!~S>iޟs>Z8ܱQjk[^o)# Ӏy}T*-Mݝ_2{y)> Jon[H;FöMǂBѹ]L -f96E0V )ЧSY8Un@ܗe!6rFTqXV ,z&|w8Pg`ǯW{D%a|\AS(2Gߖ虇;hқ-Vx~àq$BB<*93zC$4Y S5x9VPtyzt#dF@O% X(fsv[#՜o|VbUk]2?HE.#;LWW9VS<7l>- Ab-и%ZKfgWcڵ/ӽ RaVCs =GA<roD}V:&]>(XN8fWRadP|.Jj ]YLMn(gMsݪ2ǘӻؾWN歺.hHd8SF=عU4s9jQ+\>O't%]y͑U (0و-oƗٴ_=]!hͲ[go[)V%~D sdq,@e-'N'?CӉ&~^,bO-#w,YMr\!VkQz6 pUl\Sنf?8Sqόj iY-U]^|Y|.P0: _XFҥl@ZIv3.yftK%<@腲ڌ;js!Mm#ݽC$un%c>r}hrt}7kՆcRo~ ?~AuMzMӍf;`юOeΨFtaé߻ko` 1äKL7Vdo %na"b InMf:\NwWy? 3\Y+i!v*YCCormUYY^TiL >x+RNֆ$bULE G 9A3Z)1JLLl&r6y9wm TX%,Pa<<}B+IpAmOG/|Kq&neQ(@wRhQ^G!Da%T塚`B̄ZVE(rM|.E>  D+7s+Zj=K4M(y9a/@]2L`)~4~XrW ]c"y$=.|CT`_V!t:(O6v ̳4VGVG30,͏:o:^ɋD6E2$ڿn @L"729e$rD#[8V\Mݶ2ڢyy+#ڿ r% iQ@yu[Oln>oΥLC6@>?$x$Xhpű qzqwRQNrˉ{rWL{{w|EM=1ld;d[G痰DZ-x`Ed3$.AB=$rSE-+3{l\ßjijw !MGoՃb%.{\h6R2 aUøjbS2j)bB7281s"{.6ED6SUU #\,_]oMHmB.c|Ý%㩫^Dvݠ_4wF_is#3wT$݊ ԑMzmG5ߣ.vW2nã U Jg6F{'V0|؈M m<ƹCJ։/ᬛe<'-tTrNܨŦy-( SGpk4GȲ+BoZHk4m'E; >'%\za:tx{02hf ?gm4 ɬYZڜf24'*;Ek|2ѻTDFLJD(fGL0'B3C2XW+rgwdgZ[4bt)݀mQBΥSd(^K韄լd*5*ڋ(ſB5{TÄbh:|CZ%B5ޏNN,uF_ 2ʀi&؍1{![Ydc[_ al|/Gl>j}Q\FMC\͝N >Wٽ7Wda8^ Q>>!CBI؄MƢ Yj|"*fQy(`o},bDTx}`Z?4HjE]/ 뭻 qmb!/~QJ1h{FsX\+Cyy3XZ2.|eĭܓObq\'ݒ=!%mS|u#֙gw-Uwa@L,i0j=T5۟}-.[[nSVO -k8t']LedSrPL碜졅%'ꅼ,qRdrلL"%øVOrHՒ2xV L:Nc' #OO[q+ҽ-87 <.|0z o!g4Xv+<TPiPw% Hg&zU)Uz_U~d'޴ zyAPb!~3!ՋfkLso?1^n9~',t%H o8ql~8v)wLI2=ud2+\%Lb2aFGt[IXkrLSVufLȪv" ЁܿWX)`j޸f̥0sI8D 10>!'u`ed !|,2VܭH'!ky<WCNvzI3:mB~&#Lu$:u>@8Oi+=$id:DEm7, 5|z5n9\wKj^.|7j&~9nY!]44[AT Q,՟dׅƆWO;B螆wG^S8U\XS}׳ªxrY4 V1;B4Ҍ3mY f],@y8y?39ŸdJPޒb6 C:adn/^)>Ż_dL/@mmݷGb 4mcbP/m Vo9 B C(Aijȳ%Z+|l@[S-?JŧxX縰4bN|<ʫ!!} ;tƉX7)>U4&\<4+