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  A%4L ]/]HOL-Analysis:threads=6elapsed=354.356cpu=1556.768gc=108.408factor=4.397zXZִF! PQ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jne;Lmu`&tj*rh+jzմ6+ dGcHc}k|Nkplz$Zʥ3!Ο{ ;FwFt; r|3F@Kƛٰ< if뢈 ]0y?X͆ze ooxK#exqEgj4f'1|Vđ ߑ5sw|45̵&a @ /OoDn1G;/܉4Fk;҃U*@6R\/O2 wِ)4`p_ H3uXZ.s0~l2|ec\T{f @J`Ky'&Qo&l\HiBHd7/VwꁁW~MMI;r6Μ|AK* (fJVD*n$ɥ2)nBR*߉cP9R2D-wB֤LdnEo:TQY$,|;mԓ}V!יH*3 dBK,$8Cڂ'i"&.LfǖJ9+<3i{箹sbsק5xonSKE9wÁeDuQ̿w2|3ƒKV zfSD;>Pŀ./o,݀h W=ؿ$TˡЁ[;3ӓFH_m_ږR1\e$^yD.A ,9Wnmхs`P!~bjwN \'Qh{ nie!{IW6X7^PôpIh[ʫ;3CW-gכy.P[`?+,*INEٸ^\l>ꃃÂl\CPP}fBoK ZR_أf+(r,Ǔܾ,CGԠhQQX'\D*nFr8|Pe~({ӡZ^1Ժ3j:{{F|Ep$O"UNk妌vϾ&-I=i Ta=bJ/r,fij-k r.E> N<{:<+EWy|-tq?9P9ƍCO{l^&ˆfATP_e26&Tu_~?VyU/Co6y5Chи?FG9&c/= hH{|D%_%ٿ!YeK!0"47u27S_(Bjd)g>[G|_\Z$rܣl/Hq[<ǘr##?,tkcpם*#`ϑDLLPu\h`Ҭl(q#3 0iQc b(_L~%\ aU-(Nf`0*|,ةٞ܁FxH|ЩэgZ.>b?<o`٢rcU yC <=C`IU9L3jV.=qȮq}irtm>WįȦ䵋SA,]1b^&4= Х 1_w+9챂_K,FUYn͓N,k5̍RT?Fx~lG6X}DG Mk}>vJG?0e `fB&)^1 j k=>c.ʕAJP@ة:gil Ȝ9R 0doi7+cO~#{.iμc@w3%GBRG9"X- oXè&pDPqb3.=|8GEDfaD,h 8)^fq&t.wO 3,|o^NFVa,b.Gڀ<Ldbvʲĕ>OԼ@8m+: eQ.!$ю4ȸ#N $\-ze:T[[y&yo:vrC¡I~Hzt u[=Sp0DDr SM\T$Nf!e~䭈ǖ"jz,:6n0n aDBmyþC-/5TjY G{R JOZ _>=<;ꇱ?jZ}(9ܼW"'3&aW<|T{e`+/%PBcݔV7q뺉 @q<™^?d@(oֆ*?ܘ;dj^ypb0͖/~%}=hk'{veA9#=yE+6KʆEbD)% \OgG̟F͐à0kՠ O;!*_ȵVWdAsO+(>%K. N m;]HPH>6E8"mS!u1"_[A[ }ZGipBVbQ*"{n[gQF.=/g\!zjLXQPwwA1HzĿdz0d! MUD V_X0}g(ɚGAUI uނC(F$MU%`r~;JW?cQ>' 5ruLުOjУob{ SIIwu׶\ESFbqߋfsa՝GwVǣ`ii' ObO|e o/<'Lg?;̂ЀOdԝ!yXZﵔējP^PKXȭ:oSP"@!9~h=<QPNG?9I ۀu]{IWT8$Om%\}+Z!8`'Um2n\m9G8qʂ6`G!5]TW=y)_I{:j pD`5|0Nv.HB?E8[YkI.Gr#h$ND@<nas(U9쬓Ӈ[eaL\ՃM2ŅO(ͷsa V5Ip(|T2'g_H7k;X*( wأ`KH ./s:dM 2FD_ߎM ב-q9wTV:'Nrȁ~ W۪ 6ܾ{Cx ͱH oR%uz 2髦T97= qsl-VdTaky-Mtq`ӬGy渠HhSdJr3G7; NvWd(dt pp& w6%Q*f$źs(y9ʪC[{[zӞztQjͶ,Uj>[οFDž36)'∻Vml|ڐM&q}(.mSx{0b.H*z3tgc l!%60'BP;a׀M~YuKsu9iSJ}Ŀh<#_7|_D  98:p0ğ vFWx_p1a76fR㏑ _{J]U-L\4%'X .P* ~W ݔ䞛lV*o5G͸F)Pœ9A9)ep~NqdϔhFj%VRdAjY([^{<>սVrQ9lW&}c0!HMQ;Ze]Ҍr~YFlX$niY [(՘M)$A5y Rk=2|(BBShgj!š)~Y@H84~"Ν ШF 8K X4;-úpIö3!ơ:5-Bv;9 sRvCB"ND(>%֖hz?$}FdBK0.%D8RLd]4E>Sԕ4Lߴ3y/[??/eb;"8%W#9v<Б(rָFq=rPw/T^O!_pm%S[* 5K@tPJ'Gb(ȼ;scf$Tԅ€rL*RW7;ƙɂ t楗bry9 ]BW/㫳kAR^章TvڹJw 劈 &TP=Ӄd&^}΍% .=Y|`-@wO W~3ek˺wԀs=.u4j.Ak~2[{ G/Id뉭`wȄ"nwx{te<9~ə*kVR^7G\S4&4iXKH7ώ{BCgx#&rkS)G%^A {nMg41b|fA߯ YG#ʋ?j 6,E3O'Xe8\dUSN8pǰs3LYƸLZa BypD,c;'ǎg5NݣCζ.s@]FS,|(XB{結'^S {ln=o'Q(DC\)D,"5%Z$C$ ҖFͼPCSM`6S*@4c.2 R ]FXF!Qpڞh}cWEK5e8V*^*Lcu8D|nVB?-ﶾfkǭUYVz|É{,5 {Fğg )8~{N9m,b|U[7a#ܟg@ngXL]Z9tbu1}ʶR_v}C'F1Ɓ_TPMOwpmG\߮kX;+oxX*6VVG@C0d ^FR8u$)D^4(<65Б9&Өtnwzk7T%բ󳱷զ'^F^>W< vT&vÐX'I%)7,kɑEǼg6UA\C>'ɓ*_d8g!x VoLH>GҼ+T4uR;zO܍i$Z6W~q(G/M2G'w)I<va0~Ng^(ZyO6@W=l:)-NL~ oU;m.`,s􌭩vh%?.؃bŇ. ѐ: ,E3>OJg#(WEuvYp˯IVVz|$clyLjT N}g4_5X铊.ʉU~Sxg2MLIk&4}>'j@b^8XkϽ5?xh"[U`PF/b]β>n /( `͇.xyݠpNքkr>lZ[z{^;ǵ*=}yh64%.yޙ_r-۬L\]dRSV5q}m.ŷsI8C88Nkq{`ҁ ϛIBs0~s^.qLec}JMJ~fY?U~Ća0>hka弦& @z'F56PU>l}X[!Q^`X*A}+o.9 v>o)j6 #(ܖO_ثڝε*+'U, ς~7=`s|,X-9kxMF1mlbLяhmI̱s$e<5phk<.gKqG2b[<ҏ_ (یץmHY@|0/I]f6O{0@M&z䋡s |;+059D' 54D`Tظ}VBAf}5T^1ezYXgI:T%^3\Eځp:?l cFRbVv&Tq#3ж>ʚlT6`ݸY7ys@jPOW2žB+iict_V"'F2`.ZI{GPÖ+{3!`bzqQ` u8_c^z ipϱusX]BLg|:@N<8O@0vڃ Vы׽@D^d5?YЏ]E O;K4y;ULp 5& IVw3klA+ǎZF̚AȦV R[ ]aHa2y- 4 YF+c~w!Jڗ}iALH[pXxp&Tvpх{P* A . n$|Wh#L* 3M_“驣(xvSe#.7bTPŰYbjԋ/09'F9H {o?BJELwfxJ/k4' ~"3kͨOހ>dO"K`+k'jfzRuxcaYrb1֞=sRW\4G\znd2wf- Ibw]#ͿmHdGF'Y-wIw@ H78d-M 7_1 7[߂ǟ i/T~t1O)v{/g=ϟo~}L!67ůuF#E;V 1[FJSA&T`ĕwwz(t *V~X~#EŠPe{P%Djw*uQ-a51,L- *?Bz+' i"os͒b$0j$[IL@l (fN;b`wU^IT L3 "#.Hr!)c/ar'I9ox>BNQXѮSkPY%rӯ )E2~M+,>TU0nɛ@1E&h `EԭߩL̎6WHfSg 2)&8n9ח R"lrNɋjg-HAO6 .NRI|v^Q_!fTXr_.l!lUaPV~OW"w r_itN`co[)ƻ[ ӽJOA@~zc`!G&n&e/ sOjϤNʫ>*s0 ݪb*,g#ߞHBг)O<|\ ^{ǴDSkpe`92ǔ^HLj# ŵ_B&k#}Lnd.h ^FБ cD; wU3Ȑ6eawBv:Z ʥ`;\<)86’y aB~em]G7 h;9O+B15oqduoAҷQ0a&k4/.zڍ6XXiǰDWVjN/α*U\02բsƝڿGIv0hOM 9ԠȀN&Ygy㮔ތǀ(: m笆$ۈ9 pAR%Z? 닂i{0!+Unx?UU*5Og QC6)Dum8yb4Iˍbeiߚء^%l2)ǘ{(yNvXӥz܇ȢS[bshnb-ܺpS*Ii:fӢ FMW;R݋ޥ+9Zi]7)99l%5)D|vę1Q4[$XpE&JBkDʋ;e?`ɂqDj"cq-&ipc`QmvX>%<]ΈDS!0U/TH^[ʐfFD [p|ϙ{p%}[6f w_,m\c>7S67=F\,{£Oo)_wquڥ>K w8})_QgLV_# MK=DxWwGz"1x ˃f[FN{w( 9u~Lj*P b g dUw~Q3Vr635 w1?S>+ylj,s$UN]%?p}/-N7G?62vSI6As67SS]\b@O W/'[sّRfI~ UB$ dpM"FdHnN-N@Ρ1mGLC({tp#7AwWe3VkE<.}⫏| h<@CMJ{]p+$zQSWv[rt#CZ=asob+'qOT黱w+y_lJUCRP n>km>RυF?;,A聲0"bd;M[7`l$3?G!pV[Pm)7mA\@g>%ےokS@RՆyeeə` aLEV4 dY76Oߋx}&V:Di.Ƶz =3ߡD|s"fmxTҹ nпbefhG_d/o+X6xIw25($R?콝1} @[: rD,/($PKgp2ٱU=C?d d`Q3{c! bT;Q 4D^,1L- #";w_ocwqk?/ `5D9THLC =Xտ ͠vy""MsMvR"6'ŅTo ) f D}TеyCQrL%CGd=Q_$h4YS$7Lt=ܐX"!?2e&;$l!S2v>ouxheR!f˖H)|-j*B}LR79 ˻ ֘5;.o8Y-"\{,47&Pp@o JrT7p䯷>ȥqYr<wcťkB RX7|!d{6^:ك 4/$>ԓ8w~MPfr*`F .Yqq2Nجzpw o*&4B,mgm: R tk/W2PP #JG\:x ] s[p /kYֆ5&1/[73&:(5%V˻ueVD,?$C\$|ɿ-݈CX^p\ZZ!`Q7Wr6 !кdj'~}"YVZM pnd2󡝇R^|yr۱7Zw|r: <|ج8y+>6IL"|&1@,T GXlwq*&Vd҆vEڳF5O`?F,X HϋbN?ݵE=Q0z`B8eP}J.;Q}q7'IFXy>P{3G7/zC-ކrW:&4=e8mE6|ťx+57|F -K/`^S L+ң岚vܕ*ǢU.vf=/(pFA do%K E`qs\[@ NK'CüX%{_[PiD9=%2:QjTYy7Z:["lkӵ1QA =7͚szZi*BБhlPWʬ~&VU 6vi] r#{? L?2,V~ϋS y@ !rr`>C9a%an|W}\KřC]dUE6/(h4NX#&'o,?͚\+'@hZ=]u{ Íy[Zmb^6>U=mPX೼XBA2 q;PpXPXx'.X)oE}5mɌ.u*׈ d6;n&nղP{~pT1&R-  @X8,bkKFSLr {q+v~DNU5"axqז~uBS?JDV䬦Aucꑷ>N_ aDid}Kw"p4`DռPͿGv!x>lb t(]m9C)f&ߦr9 #)R`݃Dtxѻg*p+s9tp1P\~m@QQl߽mՍK$-Z 8 UM}dj M #0/`rTEӼ~lu?(@#\j\1òG"mrkcS3OTZʬK} =jKl8u>HE&}SJG08{կ]pAZD1r#3u-qyvQl6"N9g\ R9W5dC_`! 5VF'mH h菶\fd{gQ~' q Lw޿gaS"LzkNŽ%RU6< _4/s[A5^廞1E<e}$nJZxnSj),G@فJlHu.넸֩7R\m7TdZ>ޤLdIEEV{]..7@^NըG:iSw[\0/P#ML^5O1)IJpSlͱ,"=a/ߝ#ؚpR8a݀z`˘z؏Xn}KrP1T'Ȼq9X'zO (WRQR{|G)}9-7|ht /AG_(7X 8u.w]go!FKA)H̀Z/ A/4}th {8lICDoQNGp4Na辌9d(/-< x ^7i{SGALPg3jOjqɄPmMwHe5uxt c 6Ĉ *+H)H_|OxsKmmz'<wn3"kOxc R70Cc;:&- }XxUlys{Ƹ̯#>!4%;? >lڟd2rJBt6L7BHKaW75t[1`?ouI. iY]x8Ӧ¨׈;0l5k3az~38Fd[ l9Jpa0륋w@Uz8,/ϘWmL]}ou$z[&v̿Z&P[/_fotĞ_IģgԷL|26^Jn|q5,GT,Bhj(J!wb#Ż7e)%靥LF; %TlFL0 pNc#Le5^y@e2(KxPŇ6u16囓MP1심.|sF2.yo >#LY3&Tn 4 ?AT1vmIA0; Օ,׋OOҝM`4F1Ǽ3W`Za4WI)Ah(tg8 NSRj|apdFWWcpIKV߻R7HU+(!V T#<"tF+5.T,fLhsP Lp ~ڢ‡+[CO$+Ң3H[ ;A x"CD8EX>ug`ͻ1_S{6-Ev HFK; R.|cݹiUբlq7Q'z9ht|=4\徖nUƷ;P |aA<ݜo76!KCx\-9ꊑ4*3JۥtN* UK|aO$q "QjFxclq[ZNƁiZ:SAW40$M{ܨO_-vI4ڠRWVl rٱMRg/_}uy|JΈMPMNb:=M(2׍q)Y&IՂ+4`GM.#9D *S٣72EMٻq)4+\@Rӻ -չH9,ꀏf ٠24{2k/塩֭O`f, @ {4adU(tBn#lipho3͕'i֗%>jgh-t#,k'm} ;`lPj{'U ;{b[+͗*/bŚpgov iCQ滋; }pRem["bR&[ZFG`/H œ /؝]X_ɼg Q]qUI3i`$e-eiS>0sy6+o'lW=e߲Bʁ")YUh=0ѥ2"Ix x. 9G1_4qjg(ҖFY}O?P, |poCN?!NE-=ÄQxDŽQM/9QZ#78te8~kNg) FD||MnmIotF+)Z`y9=qY~T6-~SH8VR=A%B#Lfr0IdBV~UO.[e7Quu;knUՊd^-+U >⇂Mvש]bTŽ26b#В/m#9Fl,sݼ3~ԏXx9ӫQ#bl{qnlo7?AVvN Į*-:6,s#LqE튌<+6E%k& kOjsCCd`/A?3 Սu/.]d9\*EС&GXId{ xZmd͊VqR/XUӬbP %"21wH.q/)10GZys(>$P";OPU'::7.j>GuvJw9c#0"2I k=xC@;gKz3T%~ Nn+bug>bE};z~5Y@M[==^B?g˿ļD"w5D9/R|2Z-Zm GC^\B%gOJ-ݻxӻ RD5ŏObwS*;}|QVBBT1HTnP-.VpAy8Mϋ VpļX|F' G*S>$wRS̐&Q4X)tD,gg?H9%,sk]+|Aky=A$d|?PçqSB6wzJ*V9tuϵ~ äwK҇C+}D U3Uz\,F!w 83\s:n+/uA m >{9wM}b*N9ds|&9,b>?*ܮ38 (=gu?n֚3\5\{ibZJ(h,zTA:zL! VY>_!3ژTk%G҃j{H~e\p7`z>?k5f9|}vlLdvsk@}G*72pL%MZ#n}8fՇH?%\ج V޿3j%uZ'z9DSXs0F~ޛ0XUcP h5YW^~ fTS)HIGp50O:cL7i6q5&(<ҥ;n@wv#'>FTv@}ЅQ:v18/Hd`TWW^#PU|c`cUk hkok  01v.">.PtY ;Ie%p~F-j@^ƙy$RkTa*'b|qyǍv^8O{v6vc\u6,dd}-zeTeWL$db +nh㫺th!4nO+q|;>ެ oͅBX)}:90k Qf'`l9diVUe@=iD Ƭ@6kJJOL1eMHAq)H#A{Il 08?Y Rqp}zFI>ܮ9hlt^pI5.ԏZCWvYK33EPsL^ǎ `ͥl~,d q4cNKCg9BJub\7~Ђ#2(@ޤBuƟ)08Ɖ3%7uF)L\;nCpo5B_].77sP\H_,JWj_7HC&8RGVޝ15,ӓѰjY`p]RGM1sukyQWLVQP?JNH"lI0E^WA!Bb*G8VDMIEYk\,puؽ9%"<|(kQ\ayr{|U/gf͏ nnrXzK':aÁ2Itg?|бp*T.A'j`/v[)b#NaH'CG%=g1jVz|]'/NwqL\;:P5rh;[,_ d{c \&30y&.N(۪Vy#Pӿ?=zؿlѱgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd45:1C(94":m99My DIS/3^QN -aYwrڱr1GL \.>me%v.93Ï*Q,?VFCbWKK/L0_QS(kWVMdAeT;Bth}{Ѿex̽7IiwT [d>}xB)c&ڂ am P>ăK/˓^!j,;N Xg#B\C9_E, K9_E Kv3ݿS;,(dmpggʷ_& &l2eFJRfD.^)>qwAoqHʱ e3ݎnFgbgVۨ:X5g1cmL:kyS #d} mYghظ{i u^nY|OJI!26Mm:cy)>iyAGη1)yj ˍ<,WN )d< <%!>Ysl >ZN_>rX~":Vt4o+s?Qx"w5Fy bB^~/0ٗn*rfrꈩʁQtxDcGO[+ŁTbZ0bR` 5'9Xt]5dx38e6{8C"֣J,\bœ aTt^pp 1&co2# aCoQJ$ԘN}'M(H/H}I^Dѯwr٨ Y]Ur渜)w,0~NVyw5BG)mV_A롗n5dnGSn˃'O/JŹ%HWww T|I0/^3I30≑::ΑܝvL ՌN쌃 q5D9D-j܂pN_&[:)z,SBv|XL?jAN8N6L1@ :TIй^Q(2/I'Zedbl3 b] 7J0lvf:kX~qj3&i(~5duSW?+m54.pD=ALKL7u[irClS4nceA∣JJ 8U lEbrimRRGha#MY{M=KC~gYZ7zXZִF! Onh]ŗXi%;,V9! ]zSz^vG]!7̧Pϡ,7- Г}8~/]0}uGt486\ra(TL. bw=U4zYr9arUqpeآrV#ؙ+5"=Ja(l®n`+` ~8t ՇA81݋qVՆM%IJ.N]n(m0!C8V:^Ahe Ņހ_n*p_S6T&e4`,޲1'88VyUSHke5iZM?> CÇ'l'Cx=Y` 6ʋZ̪/f3eysL%Ju,ƳnMfvS;N%ҁd1Ah›JxTѣ%yzնD~gsZm;dk(S*!̧'IM/Y|&Ca`W,!^!B)Fhy,ԶZhuml| ),SC$Ⱦ\էwvql7UL5A_ez,pQnLĒYd<iҁ`ɩO&%8Q:\4;GIa7 *G6'hPS0h_K([.PlŻ"௺wkN\zYwIXU捷>pi'BZ٦9iOT .9!G_B$Zp.cepiƒB~Gx_6>oeTQ}MHfVxLn)7^_. Hv%DëI}N#Aa\nPZ;oD='X.[' .୻z<x5DX7C}DϷ -_Zx_-E-z@ШdZwV?=pGNr'{U1kmyN/'ѝvhd̬yj&aYs A$nMU{#C.nu3%14PXV{V\*dך2đDIC^ *zk_}r=g CZD= x.fA Fa$<@&>TU$ý3x+0GY#vvi\R 'FBTaޣw7NzjMϐ^g=`J#f)ID im cq-ָ>H`1)9R^TnȈ0tngng 둵 @cC $N]CNۃ r %oGL$$XhM ^Bk0?t[dʤ d9OZƕ= s{U,޼]o>?tN6cw DX4O`JcN=@wiQjpy=xjƙ.T6&lBizQk턩,}ro$%My/9!5@UD/Eb05}ž!^#Eh,M2Apߕs fcC g<G%nT%-Nm'RԒb@(ݽg욂4cSib1^!/Q } $$%z:zMU_L CZԹn'꘼Pǿ٭Nww1~"k\T>̄s-땻AP Մbgr<08vu\dÔOhIݫ}A(M^aHV;*zxPw BWӳ6AR4"]#5jQ2e@]>kmw^m3/ nuZ5Ds&7 0)) =Hq#'3G2MVH$D_Vt/u\ǥlbF2 CҊ? .g+a97 e(uq?a*&X>>#Qu,AY?4^̝.~Æc^P8S rmAW7c@Jwhr76%D}llB:V cEMT~\z i^,,1@cUb{ X\ ^Pq!vó֔%-%Gaý8E{O̴Ua$Iџ(Q0D.TY #ϛ^\$vrq.NշT"ɻG6,Kbmc'+ci1/9#_'EW+@@@!N06U!QZS_z6$yӖ-Ufĸ^^sw$=H v2lOaMk$lKډ gXіT^uVβ©4ȋEOTڟ`?,[^ڛMI+\F˶ty6AA`ʟzq8 4立bIGJ}\hhLwx{TQ= {Irf ۫L٠ nYu4a;8:3^ 8o4 l,T~E/K.݆l$"u^ת:ve\Qk_~t2>6|[@AV Np;=M@V}]vﶬ嵜_'9q Xl'TG Ӏ4d6JCEYBm8j .ʄM|{ f 5!9-WH& gsBV._L$?RCBP,R}19,gOeCf1-d"eUOx' N~%U3#x>x L{ρVu NaYm̦tvNA)MɃRϮU N){-Q OL}d_FZQwF(Tҏ-!-̦fƄNkЂǩ]q6-.7+ Q"0"qgutR5~\/6n$l%^ \8S\Ln"7-$#s377Ug![1*>MLj-pT5ȫ͖Xj . ~jF|~~v]ʍmʌ +E(YmKQ4uH._x0B c-4va9x>^xU:Jg#4A_\ DؒҠF߉ƻf]()n)i^zs#ux1xg}r_`rj}  $O]K%5pQT')$#1oYJ(,G% T] t>v+9ˊ$B%A"$5HB4EѥwwWޤ Lt:Mg]N9s{8 A0"m~(yMXIN O[,!%(+4u q0&P`% [Xǻg3`ʌ~sbyL7G{ƫcH O1/J Cgmáq qfj@3jePB'ΪAȇe}^&[φ<4BiMvOeN1ghsy7k4T+rNUwX]O%Lsa1FZqC+,la|N i:tʧ!>g=JX\t"`.LZUoh}pڔk`% CSK|#\LEP`V0UѐOi c'5yS1v4;Pq%t߸S2e`Vіzuqg̪F|v@esA2!,jG Z9cj$%5%:7 >ɗ>eNM4xo7?!$сUT*A{jaޑ ~.&Jk?}),sXW´D6S \" ҿgz׼LiT3y-Nl$h]]θs##&IWy%ߧɪHd+QxLAsGյ'VT ypq=P[VIku@xsG5OXzWy C]zQ.ܷ#rPJKؗ?RJ`y >2#BV:a/!W,~|W6&ǛP=t EgǧR"x3F5ѕ_]Z\QǪTnG|q>@8U z ]߷zg4.:.ӲIzmbP'da[i4Ё(nÚ;s?$hw!hgJc[!^rJ tphCwE9:~v66hT79hGZ s%6Αl\j)1,!٭(L1$lq181οjX%餆&ezj eWI 8}n#|H>Pg}zz 8]%xiW=-gl˻6T"*5j(PD .} Gjjˀ'n c;ӫ D]=3?4)pzuf-W 7S^ZNjhYEOgHxlf&X7<{$j3|cwߎ:*"O.-y@IDjV *֙`jR>v@D#řo1Y.!PYsdlTbW#!P8,'ԞL nˆ=O9Nƻ{P~ʟ~u.sV\ɒN{v [^# :̰ x&2f+yth"HD /BK7dzJ{Xq?}c4!X mi*/6XBSzKjD, {[dS|OD J5읾穥8TʼhPc ɋ?215< P /;p(&G_syn#&AT 8^Z3IXu8:du˂BvoQr51X2V̥>K`EMeOnZ&Qq4j.j5xǾ`@M.YNhRB=|t2B @dqӇ $?,cռ^@曆t,nN/rLuݜ S,Dnrv5:~.V Z.A|Bh=K۩BcϬ#rRDh6; VSƴ>csfA6$Ai 5w*tZn3G"vh]EJr JYЈOE,VϦJocV0 !4r<_ܿTqFT]YutqYy_@uRD}P٬n"(l/'onѭC8RECXE.9 WFGg8+7<3%hl/IzG?cvӶ K}5_b}&@ Wi#RndVs! o~5^{ct3fŊ - j6'ް@ %e 4\>?ٷ$Ǐ"'@籽˝$t{g4s{4KPw`&͖@+&[q]Jh3GmOfJ2Owd=<䷠_*pmq-62z f*/ TdK?m_v59S*j8xY.m&0#s\z.dxG͏WhW1'+|c蔌 x:ݱT\+4wʐ2Kzq;^Ӂ?(wH,m/Ë8ed6s1b2WqoYxʒ磐r̹ tD8V F=+duhs=y kFmm6.u28(r!#X:SY+T(yn\&qӨJFvR! >gvU9 ^B'+d\faCqu!s>ZJ4EݑF@NT,Yoq-:TarUII$Cv¬VΜJ:A~c*FB$x(JӼҭdB d!@ PJOm:DR и:FъmM/Lj*mq"s$!qEp ;2/sb)R%=o}Oۻ{hz֮~"{`rÅFg}uw^WuHz,5;^IH7ʂfEs-QPc׬5Jm.k? C}3eIFNТ3,U ^{{jk",Uy/E `_R:4ox'ZVZZ+qb5C$Wat=f.vȴKId%{⬽TmpjDS,46d#E JMTBH٠fSlx/<=1ux.j ?āYd4eLg]/qx0;`Rv^EAuLUX8)DVMtǡZx[|-aeSKV ^l+R4 =D |OŌ٧NFം~/)-{#2ۊ-j Lt΢ɒ?MD0DW7uZMp;ArPg>kZg'HuOZ#EA ټWY)zWMb81٠<Ņ%5H0,Doˤ"9rQN]k r12%i]=W97EU)0HM*$YqEx2$ّ5|p5\jAg#p;O$ 4QX#)y EդA~Fu @f?|?,n4hYĦraz -ƾ!u~4Z˜힜 L1+[L͛| =EQ0W%kUEm6OhjU";U\aؒp59;կs,b} [_ay PѴdj7CݕF3^8G}A%oX<3gb&ކ\RKON3?tlMZ(,%3)3?HŢ[F+j#c]hl)Y ږu bhec-v'~g D)8)o) 3OP ?p&tcrqճYETy8O_S5W PJS͟g ?]2_N{ #))UiFFqTm8 .TjTtx'(L+^ݼR] q˗5)[\) Ѳ#̋oJ?ܬ@хck `!S?RyZv+2<kut+[q@'G _<+[+9/y irTC=$GD&n0wQg8mf`ܠzHa{X:˦Q+<9hJ{Bj-{,FIXG S@7Ї<) tĆ;ʷ-,\,6hB1{Gp`s `ZsLK(4Q94gAjoxJb:[MW4z=9ϷNStے\Y̸y!&kezpƝg|u MT7ulW]0V1T{:: ǥßGh=Ns}/OtKa?λKwI_uZH | mЙ Hv2-a =zt+tWmy\˺J*`1/#q\> ﮺z2TCՋzs,ֳHY):˻-En bu<oژt뉟A2EC-/p"!2F_U^mjnv {ʹ 9S `)b6sd{_r8*&St7t;`gB!VQ^ @C/ksQ?^K#4 @D=<]1MꯃʋۡZ@QP"Byk#o!M'ၥ"QΩ;6$>a:K5NyeJhIP-LC2 &hWhi4l(Jd& 8?xVJ A0yp$ρPcl2+4 +ۙX`coϴnC[+Ѳ0#Z^1򱃅v!`*Bms|Ke H1GùhzwjCufxSv- 9l%Oٹ{VYOxNt5Anrqcc}3bwc)Z/n@{KT0KE&<yfxu%<U8C_TF~QԱPUX@6dv͋ ٲrhr_uW@&gQ9Q`AJP:+6†؛s4hq nh _f̙],{Q|ٹ&WKo6xl&9r&GxUⷘ@ٚst5Cr i"yV͖ f54VX7( +4@`8A-.1>0  ^gnzʼ{ԑ}ē*}8[3Eȧ;,{"L,nfiBGM=&1ynFRfBLGۂ[>6ڎT=x2dw#D-O$) O}=Rg0p&UʜUf)Bin ڔ{j2@H$g٠~iqَߚM?Gύ1]nVB, wMՑ~F_ %@M_RWSyikX1lW2 ЀDH+F &*562(c:]|Z`)>I33syyj0&vBtJl#?^Gy8dǯG}BVis`K)+Zgsz9SR6 n @=3W": vTwh_M mTD=m + iNl$ 鉤{J'yYtyͬ4a7rp el~|\OEj=qkN/ qnѭEJߡzW3Bm 硒,x8si(x7Fpxs^Nei 0nJ{3h@՗"KF,ԃqsxL8F͗<`ٓO"π ,[4~@ɏ"ac\vcU-fҖ$I:j1MŽ[e|*k(>rrɈ}ZPBw_ F˛[ DJ(Q$KN[kq8HV!jyKQҨT]G퐋ꌗb g"ߟ%xȠ[JWc]gfߪfÍo;(?2Nnd4͵9XLcx=k=-a/g22#5mFsjUfn .AeҨ#rhK߽oJb@dhH~--e) u32[9pm.tAnN;|Ȟ$_6 e {>t?bGeL~SkhOnoDx"`Te1[*ܐzQp'ފg%ꂈ$A[;)͉?Tt Zy`S>lڎ4 14it|\ۯ>Qj"NJB;X=fX$4@SHlf. ƴUTbՒ Žnd(42:<&drIzXGŤցGx7vjʃIéS)ĘTxPKHE %;iWQ-Sn^;%hh;3PՇ֛(q_vSHd@ }jZ O nP21c"<2bnm:c#΃gul8 JQY864\#C'cn_x:-c} #XYMX0uxހxE3,7v/ Pp80&zX2ZӪo&縥}8֧&M)i͘NXMwY R.lY'@lNjQqj@d%lX^īx L)vGT6N%qT>FIFj* 85?Ri6h747ɲC糙;BOZv_(^ fns+̳J}ndkK_il&8F(I؜E" ?ycfh_M?1~m俻eS ~8ZY#.b%qR7\K9=}@oCfI[uJz1' ar B!`ۚI$(/I$*ޠ`߱}xL,"w=fM\eUڭW\vMI6=/^}GEH`,s &g"`c#'|-l B.y%;6M<[=;Zc!u~smc'is<m*F ˔|7 ֖kcV.WooZ/Ӻ8V 邩3:*M(D(n!T$=P*\'fe^4ASr-~32$0}42 hJʞldDUxcғQCsI٧֯c,H Co̬ &Q~o"Q3p2^{nSB'"愂hwܠt@.!kbA؎ aAPk}-Q]&}*4/?ED,<ˠ1< _0̚e=Dӌrt .h S uB~q "XxozzN{fe`5h`&heFxr L]H:FRz7DR Ho3PWqVFZ)^_R P>4 z,G;n#c83?0=PE5y+h֓%JaJ78#,Zy~~\Q?',,oV䨒v7gmnkq tt6yp9RY^cs'/\rJ9[AmW6c*g}7[Q"n c)sg7ֹOJP%4'5Xyz늾ŅL]P瞄q[ϒq$6ABVu@~||DM櫧sfD}5%#PPc^-QCex<~'2Ŀy35:ѫby`6xcRТOh nAma ɶedN~4W^]=<.<t|2օQpv8ּ <\FP;J >(}3SfT;,rx#j±99n>|V) E@V&<~x|M\yEkKѻ*@oJ K3n|`h@ajkw0N;]0 Dcٝ 4nDhOjA ;Wğek4lc8QT烯Y@U#s \^hwG.&4Ҵ/{ҲVOxu GmюJCׁ|%7X|iW,dc8W&}9n'`P{enEӵwpQљ/W,*~OGf|ZYjS=+TJfw\(`vzNq15 2"IOG:6oiF`E+ C|"<-~,0fG:cZ퓍$JݱK~IIo"LZG_š{3oxiM'N\u=qҙ1dHq6P;C .EƙtG\MwBť]FOWMWCɩ[BwB@:nv:ś4q/5+chݚL ] 5D ?WINn;NJx|cXŚLZWЃW^9ٔqh[<U (r :/ ;(e¯yp(MrX//)PR(H ["ѽ`a˯U>T*$NŬ. b߯Yrey4)ymic30iW˶ 7m #,3\,RalWQVU4GXo>tŷ x 2VK~ApZDG3ݑllK _/ᢧb,vTMŻpVf J saoZ`5:.&PΎzYd}6DV>ՈʤxER8!`6PVX 2NfjlFĄg vq+djdpH7{F/?I 7 )~{GӶI: ~*[$n9 h;`N2 8ؽjh5Maw*G[5w$=TJ`/qg /$1{)=216ׂؑg"5s@5tؽ A{$Hro=K8=X)ZǾ&^AIv O:SVT>3fHCI*twh8wAKv{W*O+@}DڝKs:r}irX;X3wXsG%G%׭Zv͘\HB3 "#\Gt͎bqWO'^'SBon98)9 *a .B}yu~z϶+پ͆uw6uraB^VXlܩ?^O=fsr?Pn"q$ߍT9]딝oӼ3a7ߖ! ߾!rAs+7: /rպf3=&EL#Q)ӣ(R`/8qXgQq&O80߁O؏eZQ]Ʒ &Xfc*CuU=tzZ 2@-5Fʢ]=%@E#%L0XԙiU'tdyI.@0MХuQA0R/pAkFq v/muvmѨVv5%|ߠ7e=2F堶g juEy^]L\3uWjd[3ЯqW5RW߿ϱ#REM. f)0ApH^b ꁓ>ָw|Zo:nAg4};k{$nNȡ-Ma!ll!?Hs q '~r l҃־J׋~$Y."zn),㻗; Wu4V@2.b&x)pR&WVw9M}',ήhIxyl6XT4z 1wnd#i4Zا3>:J4Ft{l=Q}\o7kx [ȟꝸkPP@Så^ b\룙Z/%cjI'6AFm9jLo~^[[`GJ~`tkƐ/=qԥ7­+)ү\{zQ 'nps}ӾwNc z*a:j0LnP]Ec fWf*k UlT^l :#4:=#߆laXNw <6U(Ra@ݙwAnS`". :1wUԨ vw'swuSmp'xwP1?ċwȶt6,F?ɺrM'+5f~chAMuWqtħ7mP#IQh- #xIuUQׯXiHw_#yaV/Y. Sl '_&v/V3B>BZ RIsƺRRF=Umw-VjmoޢWSt}(҇ GFLpg·KY ޚIBҐWġ9)E_W Lc# ^ܱu[&5,4>9zy{E{laԓ&$I85NGykXP8G@z` 'Sy5CS朲lsY ^ q0d!V',O,TshT$4RHeVH*P2$MY{~oNb_Cl(] y95&#\ T]5$*U`y0č NtfI&pB;/Q” q޴"PeaFq@Tɐ!Q@ @Tc>HϬ5:ul0Ա-R7&cTu򺱝E)uODI(i^J1ue\ ].ge~r4>DJkX!h#5R94_G=4GܙAݬOpuh0y;'r+j &oGN%&[h4Y{mׅ.NXngx)ea(8R3<6+U*s$?Q`=#/&"e x044;qg|"x|6n$ Yq!J*䛣2y `KIv~; +*V2?\` @cwy| c]/@XWUu$46tKA הcFL\2HI6(ܕ*{:#ir'm$'cghݸFQXok$A.]LO]/+8*]!M d e&`PIwELri7D9+F"p' X> $Iu51\Jz{,;.o,<"qVZ leFWQ%Vz[ڇ"8TC -IDxuVᄼ vt-dޜEND:LA'Q+>>C̢e)7x7otJ(!zb9v]v_lJQ {o" 9% Z&6 Fb@JE  6NK N{5546?IVvIswAjttrDnHf\){v7x4+'>?lo2=l è%\FfGRzW=eW61mtX4v^1MBŒ9 HEƥK;!0SjG{}1Ch;DA'|ſ