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 ]%<4d ]/]HOL-Analysis:threads=6elapsed=328.376cpu=1702.020gc=126.168factor=5.187zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰}ݫgyq^lyT71B,Ջ4';HVzj},]GYqnGRy'FWJ'- {9?ȹ.f䵜/OcU3d]eO<Q=aO,;N!- Rs Q0l`YF|% eoaaTQqϫE::@"` >cJsE /ӂW#oآY譗d8-4d{=|78ީ)]r)AqmO[KBήe1Ůˍg"AEB;ҀG~YI|P|9lf*3^?#D쿈5j|XWO8_7=')H j@daE/zQ׋l%XN :xy܂lڵy{7 )/ڡZJ7_ <MrѿKeܜ,KE*zPE\2ى0 M% 5nkFcτ Q$bԙik!l(#=& <@8jp0?5d ߗ5_IV?c"j9Ce+Spi#f'U}} c$l' yiEvp*E(B$x< w}OݿߟET~ÏiVތ3>!e`w#u` ۼDH K kaeՀȎ45;RcZI`k~C$ZǪ~%!7mj~8]Y+`Qo.M6ξj 9 p<>94g`d'gR' [͗7nȃ]].DoX0kUj¨nu/գ_WO,.pm |\?[QA'5?6|6gn0y!ꡲ@=Ki"-4jU L4"id#:EfJ؆/쌚V=O<4ܒ^7t(zFSRy.lgB}=.SDuV[cQb'?jN(z[RW߻P~}GĬԘV`0O0I8pz0Xgɉ?Cf0zay0ʮrnKl@-n愆~x2͘ɮb_eTnϗT褷٘(FIހ+#ii 3qb 2AQa뺸Bl`[xyXVfoHbzD{j2cybh" z:t.bӦf\dnK?v煠FlY?Q\E 's)b(!8ͳRh?>z8wdžh&Z1 [?c W,.eRC)X!/ڗxc**d0?S`:JtjNN`fSWނ '7V5Ivkێ|2`vc5.2s[Uu&A*:9A &b8hl) FŭM!{e2gAm,+rr_D Yo hfB1O3TE- BfKsm11nVAkЗ7'71jK mdf/ nVO;P gLWu֨ւ)GWL3gN߱㦋z]}]Dk_ _cw`sB7\ Y~Q )z;[*7o's&:(N/_{@2Vδh |aF3-rmTzq)^)IҚF\;j,l|DX_RlhiFcJE+Z h]j0c% 'Fȑx/VN`4Tu^;?9Rj oAù QgܡwW5[;'#~K:}}B7 =p@ucٯݏHPс:!k(G6$0*"Iˋnǹ}*eʊD\񩋘InScky%]0[CXs=d­{jz ᇩTt,3:n_JWa?!]tsz*]}1igpt_v]Qe1+љsF* ޗN_b).6qZc%'҃q `[0Ql` 0{}! _5((W9],wn/fh_FρѨ*[5uOby!U}w 0 }XGK +^|B#(*Gа˾e'/F; wF\e)`Y9@Ӵي(E9URn„ZC'3͟<CIYyDfVĊ. /G)1RAiNF< U*،H;ѴckEa9<$MCqF&#;6]$?I$}N/(]d$})TqJ Uxe.#Ԙs_9k#|Xbxե|[蟖 koBߘ@0S1y kt6&M\##.|Jt'2q9WYq}-刑]z 5LB9Mtل:s]nȘ_v`2'MZ/%q=O\pvֹq=^= |3B坎"I*0~g_WȪ)t`};S#83bȡT|_cK "ZsZtM\'uIrIj^*`9xwf;_gQX#sU(5(+ gKLF"gﴱi`e<^Ar^vq 6Q.'UWg돒 sHDs,Ѣf9GԫL[mĤ*JUD3c0/_^Tr*fҫybZWg aFij>y-R)q*:XbhMw@d,fF t$lWAS6ֲǖ3~7;u.@ՓJDj$8p֮*Im/_yzzW¥0v7(֚f]_]3>HEkZOtxJX_WRB'r A0_wh~,ݤL!|p6iβHE?=6*{?(]^&$r6_D=5GTӔ6xI8'ν3k/z0g6:=E0z?YtQ}2.iy=K// TKˮ-S%VNdkgT%2"X -敱ŞéJ$,x%,Ɖ1{"##Jb-<#+0[QyQIKmN'\"s6U UZU"I/` wkd1} SE5#4rX||0\9T!Zyt|zT`[a . mgE>̔3\:RcJ[H0zFCRoc \Vj/(p_eKj&f}NbdJ1=1"PftS OդhĸAEmr&LdB\y.֞4YPpeZt$rr@mKE){Ùd%yT]ξ 1ܜs= -4M6 CX֘ylQzX:!D YzŴ]f AZ3 y Y^Ūa_o%aHW`6]Ap/`=,l:i$?V".yvG2FB_+쎦8d_U-OWНm8 JP gosv,)!f{pI? TڱNB{ۍGѬ #_^3xӃ'8;Bq%t9*0X%\ok37})Mb[; 2<-Vʛ>(ZoAӹvdIV`ݣ""yA]̒L/magz2pWĭ揖ӓDt]WH2X$KM0ن`c&H}!IZO1~hiMDI\!N!v()8`ľH\h7ЗQCܫ>Wié 2%qQPRFӳ< =/:QrMݏ-; QP/ hnt-3n5(dS5By*0{J_ƀI? `>H#3FA13jmb%:Uk '~E## M~,x€99qd18ﳘC ̥iރ$F^!Sԧ3\&q0m.ECL?{ /ZT ,#ޔ+$D#-z([Wxir>))vk~c^AC:X:PXDa6Fq=u*_ѶI^[e`cۀ;//xFLRX5.p,-!~!HW}e "2A񆶟H,4'KjaQ$V?, \WtbJj!vӨio7f}:LrdD1WOkP%]ӹtP0 .Ȓš_!+L%'SwM;|>@dy`&>aWQuۣFB;pcVf 0`9Gy𑅀C90ZWyMOg`yaT+ V@ 2j&%7V6JG%gɍiԡ3@e^kRj`# ~6&?]B'%Ѹ/ No*ϒb#=E^=ilЌiNf;&$yEݺɈc v@iCSV ã4ăp )mDj(Y閄o:#uvA g~3 cjB3l РI?7UlNz kڲZE2*=!ߦNwQ*IRԻԹ/۶YH2z}3.XmN4f5M]|ȏ6uM#eW~Ko,-X0RwNI^8~#|&#1U*C84| 2:s/A(w@c*4LA*UlyL!pg63}\G)KUheo5CTD-L()QJ'g\{Wd(wa!g r R˪ԠpZYk(:lúK$S 9Qwr&O>c=& ɭH7늓,.f}{<8"uJ OlPi|JhM4茿q53h tQ)KLԺAx>gw47\UݯST C/ͩM;X,4$AgУGRiYsq㒆3@.!tRVV)B߸2vSbZ3 BXQPe xܪA߄?:W$r+.ޅ;0l^"|jXYtJ{ۑLÁ<Ռ#D\<fn힇Wri;8Z؛bsJ;5n؝v-Ŧ ?!?n3FP*:S]1"OŸIz4E cP?uF﷟ kEy Y!uQݡl4ܵS4:d3Ի37?[uۨbn+ iG9wIeKR4ޏL‡ ~RHkk3;v>,ky<+BCA3kgA-elL1{4 St~q*G )rꅠ?]v۬ۘiBfD8QBq{Y>T0|fJA86a@ļڡ JA`;o-(laMt\,wʊeP r&aY{ jA%gȟ>kw^wķBvdc&X$MO'd)[3#u Itl@3&Qc|GhX)8Wc 41m ,e|p:G4] WPFz4n>GM&׆<(9ᾊ_t9PFno 3$!CGVVdԭyL9iz8^藮BYó8|D8LXiMu3',Ҩq/dW~TZMa9%}a5@R9k/+DPN7¸ #+wݜSa<\ qFӔV h /Q {J:']XՈ(ctt7v&?sap#:s*@J"/K? 0K3~ڬ਺ܒ;t'ũh_m'$)w6倦T#yU0#w`bѣیcCs c;)c2_'Ru蚟Tp&r'8IBŪ4GC_#"K%98?eI=d'5^`rm,RPBP[īOk7D>>-7ɺ./ !cSLf?NFUTl`)(p"g=I}3O"|J%i^[0h2G,Q5H ` 4Dtx": ˳*4yd{Q4T'!Y. &|&NʶF9č=3wƙf'E#<'Fq Ba#g`.rX7鞕ËA"9U<f R $KؑY XOS@^Z$)N,pys{ȴY|fT' À97Jkv WBֲLb&ʘ&I@~^R۷vO[?TT`[~s}uD̉#Q4(/>$&|}+hKl5[d@Yh֠z7+G:s3-Hs.}! ͙@m)LՖUHy0;6snԪn!iԖ ^*.a-?(HGyB-+=t龸`2x4Z2'E"VUD)m"UsLE9<3#@ mxOpS ^s3YÏt#Ҕr3^UZ)S Ket'X{iݴ{ 7z0df룁!.w|N~N7 qD-xˏtTkz2m|Gd,.u1r'8L/D )4HtH\,ģ;"@\vن,nK0 ¦TW9,-q5tK=Zsxd5}!KΔiv^JEI"${Ah9<9b\R6u, yS.C`/J;a$< HEt8e{ւ ;E_hشb%q( @"Iw toZ9 GsF-9*slx@h#hxZ(ls!]EJ$ z@h^Ny(7:m  "#~,Z͸X LpKсq_0?40nqtY=Frt\ 1텘MbTOOd- fўdnpLgw io:Bġ'^^gPPuUe;MEkP##dݽ`)֖`߅19Lb #)YBn,Y *5K^` o^"Zniġ7CP>0I1FK<؉]6 ]g X,|-6(Ơ 36^A,S*{۰ӹr,23W碚)3ދviy!p,! {ݠV?U \a'̓Џ5<8R=D8\W>sNV#.4_Ʋ\2Wt TD"2#o0T 7¡~!<'?FbAa8},3o=TUhOf\@g슃>rDk&j< f8i$k$K,iࠧ]+Pb ز_L^1wmԦzs5|GG9kr VZ,3fWB_eȗÈ c$O{-zsVG]V@ e1/bږ^#cx?WKvFFP{^ncx$RޒLF+Y!-1Juer@uM,jr_l-O7gip>Z-rf~l,xھz *@qx#ařAȭ/5kd6 ́pAu+MZw=#:,au:Ό/v_Kv4+AJ.}xpFb)R[ Q5Zu2`a }DσƆbMAeCRLlITZAT~G'2NVi#$C 'j nPwmI<+<'3xp3>5?m-a]p}*N5~A<-hz ~}K d)+k,onQlX|lx[ |_d z6 @Glr\bU"<C183"B> ~E'Ah%~P>(-ԯŎr@H}G\5qLz|'WT` mkof̰897L(ݳnLT'M]f&Y`F?{!M8˸r(LF\֙IAu1 !`Vb>'H2n`|.;JХPX}\Lޤ'T~k]s\ELMqnv|ۀˉ9j4}MY! ($P<Ma8,GkU('0RZ8NYN G;K :5d9(|g?.=UUrR_^[D _DEY@e wMQ9OȢ̆| FåD0 v u~Im&їkY:NҸ.V3xk "#9!A]G;?ʕl] M_е6 ⾥;X o;YO1c=%$!4e٦fI0Cΐ !/Ӣɖ2hf}0O'G]kH' w܈l= A#Xn)Cxۡo oÁHv8,umv浜qFNDV) "f[S@Á)T?53ǃJ-)wUq ó\Zr0x~擲Iˢ@unb~Ud ewhM@IN0 ,/Ѻj-~Qno⍏)pLvT%&g%xz;2RSV_($KИ hXNcAnIܢ>w8h EmCck+ 'N"L9A[y=J|Bn9 odڀMDxeCt5H0A!b:; ( l\䇰K,5#'6c9]tXЩlD}+'Ϊ! [nrS3ϸzF_om(,i.J鶡`흷M~搽Zsdҥ- ybf=0A_Y#2C,TwER[ 6~̦meZ4{D]LRud`e^@g 7srmOT}Ka~u|Ucv G:CA\f!߀n0Y'7KYrXfVp,?$gDx" B$lCNM)dy>YeM\s{3{x] mD`xB ZJ1J̪o[sD6'UAR·jC79+^ PɎ%!ek*k3R 6{8;*.^.oې +C#KbYƪ9*:)_Q~:dUX_<1aQs60Z2װj>}A[xt-*6Qӕ$5n9u|WgNQ>nr<3- ӣ1eXǬGgC*_3aH;ޥ$@~_~$;#wlE-;b utuN)X m[ٽ >p}dN`f}._ Qpzzٳ[1w7ދ0lU9m=Z.KHQ!Q%QgrUTw.:3T$DhhOr);XRH&|[0DvU+|?\ѷ$t-G) F"߿Xx:- Z 3At9V|Onp/R^]_ʸ aZ=en>֔8Nirf -D=&gZIǚN " Q$Ql-iݼe X=% ~Um s>4m(҈bN:#lnBOTId {  Q"E y wOy:" _j)NrZBv̱Ѻ0N1i:"ӧnoJtL);iu ƭL|a=$sApFu_!gi\F/0qt 7c_L='O.a>A)p/9V_ v.R}BQV;'7Fu 9@U "%lSW$Eg"t"Nc̝S0]&J6AZ2F3mFF% VyKje9>rmd3ɗ{0c#SbdhD$kl Z{ηLeHJAdA*_q0.s&(s^j-(z˾AnyB PPa!m!q$? l|cCpy1 63@s%T~]yXQ;zL_<*$puO[tv COUV:["8Xno܎QIh<nOvݯ%>G"7:D>W+`k=׃nt8%(a?W24$laZz>O(mM S53ޙP*h'v<<֏>_;[:'lGD dlFU4udYRS3Zes&qgװ>NAYQ3i&pU ]m΄^#'t %HfKgnU ' y] bESGӆtP(o/p7bhń U銼Em*fD\-=5~UeFAkWg4b anZnK]kmA o3V+n!H'" 6d8+ɮt,A;rwR4r5H%b!FIZ_afz `̗dg "8YhuIL]&+WM4)3WX:2 k-BcV*`|NVYU= d8;8mI [eF@#l^s15EUU]K4?zg&Zq'&;;rSM3sFޟiu4g~U8EyWĊZ(6.AUg DWQF\uLeuqq%L"k *;5A2{XuJTF…1M崽%M?{|hKU*/?[ob`O_.@~6$*; }5[eRX^l$5ퟻUѴ\YgtUm>6c8Ce0·xc:t㟏t48"`N#D4CֱvG/pL/^~X*H-!MtB~A4]&Zl_F:n+f _FٟLUQ5]jǤE"ZM&JցvEr7@u.>@dK\LgSL׹gZ)9`>"'__<7%֗M?"]k55+_^TLYxL=rꓱbfuqq 4Q 9>y)[\CͳLЕ4u׵ԙvlCWF9nŸS{Ʋz&r鮶iI]@#+ÒVIE1#MrYԶLk [fõZvs !ɧL=g r~TLQq!n\*Z{&rH$8ۓ‰ֲ@,PAS 2}},gK5XP3X&y*2WIPƕm3Ro@M!/F+qhJNCBA=`DLlH[rXՂE) ߶rUTeWQn5516狑Dā^gN`;^9kSFHhrةe$\:U9qv6՘ff t%/@0*,hԀ(R|eN<07|o0+=lV~p;H?8}̯n/ڻֿ -h!c8e0+)28*Ş6^sg2mU1 ;c~{FW$'uk^<Z޿\z B5Ӣ|F+~KMU₸oSlAƟ[b0L a=i\:Eنu*kΙIoHh<:ana [!XPu[ð3.feB.1Y&Zjm?'/Ayʋg|^ aû]O9CXY7i{d"&Tk%B2|R+lϨE۞,6; p^3>ǵ^7IPC_?Ur&uD|5b'N:{0 0,Quzy5&O?ee鏌wT#S3tzAQUIe/|$v?^Iuz!Ș\#Msf<r\yJ u %!GįLs" ^ŲL+F l30VgyT?dDU 4Hs"/dS9M8F4DDX{s(2TO_eNoˏ  2Ate3b xWΙv/PQо[PvVl eAc`-oځ6c0%j`?* H,ADrTRnzr5LԶC.#P(?6ywbw][(JΆ4_9}QBJG>i#xb5nG (vzUɯ@<`t'aȜl`IxOgM0ʹUP䊮ٱƾ)Bd}MݮWte1:q`P>/'v C3Y p8ELQ²]mf޷X(E({,7c3 A.cQm^Z) sFqC'WNiL}@"] %kx2vAPMBIKڥd<1F$5"k"9kR֦4$w0ԅ5+AQ=_qvңm\sSi`%W<`Ƒ' )cN#+ߪTsfw0f]>n(wH yahg"'T<THAqrˁ72+419*aVQ+ڳQ.u>HlM YNjy r% Nu3yf?liT AQԐ@L&I1m< ]F?i>/]]T.$Q#+±A=N<k)\94Z+4)Rzސc'!)+!Qb+FXB~]gߏy("xK{Vpo ’XsK5: f:)Ҳ)m[%΃X [{&ԂAmqgM *%/Li-.UgӀ>r?NH 2P_/Hiai4ظ& kgx PFX1^N  -ڄhLjۓ??q dFt^TF$,.4 *llx,㚋 ^;_Hᠻn~>9 i@ '4?Da-1Y'dd]o}(7X竃L- 3]]S+?&BrW#fN `cai*1dEzN?EmOUFF`@*mtN)jEuWA$ϥcԲ y*i Ce*f~k爱7[Hks)܆HI {xդ$eib&y_z"6z@/sԐ"KKvZfwӋ;V CL/bRo_l'Ak^6^`g7ϧɶ)l,_S)gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4g *uKf~*=!-Q{^HK5矚 VXSr *ffQ1(cDyg5U(1xA=qBѷjX?xw8@8ZF [ BL*k}|$/Ѭ>٥?ibu_&՞ǠHDȗ T<^Dڲ (/Qlr({eO:1R @,Gc B=?ǕhR0 [RLbimc+k4y/tNDžJD+ i?f Wh &I֚^.ƪwIX=c5~շrxH.<$ f;|&k[;X0gs6Q{ݑhpxvA]}i0?6{j?]σkp;+ΒVc%1|Rc1 KXҵnU39D.~ a\ڵaUߵwP|0 qT=ΫM |Dm](G)led ? dNmtth<8Nv `TZ1Zwr2~vq1-ɖ$'>^XnnOO(Li8"7'op쇝|f4]gyAv`C.]^ZbϯV1r fF5]?`\DalvY}CPi@juRh$DPuļ(1&J25;p+7[GO4zRfAd]q_+dCDAr< xeI6Wҙ7uk:FƟ z`Ԑu:]"P9 4FBx0(*k!;bID˒zak*J$T ɫV);*Doa_ R`zpk8 G zG~وy>E fMk4Op}[ Ӧyu;?腷 3T. iE:kIQl>2uDK{/ogh[l,|EA^ZE7k WF /IO~S^v(hcWF`@VCmy)*YLEG `oAGXdR:&NHKcM+^gVu;W XlR粛FC@#eHTj4@ŝ+ʕ.Q=TF ɎA_9Z&Y [KhװHTi/wɑ"OFETںY5L?M 5$,2Sxl),wnI8 Ȼ\= F7!\eɮ2f5nVIuI7t3;"4uJR]Ѱ?139ᡅVU%`E|[ĠH!P*kb6/#o 3Ch70wS.' M7/іـJj?8 \AJ +G4ZS*%pj4,)Bp$Hy]^11w޸gsq'Invݝć>b(mHXRo२*AU)O=0t`0vFzAYo/K8F)%J)Eb;aTջh{0-UJ[!fマζY+h`Կ(Cs@ 6Nyhtp6|DWaڈ&uka?7| aH{_;tA1fg@1=FP.$W=z,NJ鱲`~a&b姏+Q}[}VREַ<30#,7@[͓DhV[*3rF "VrFn #mcQoi@Z [Wlр|9TeO`ÿnox4{X TPgYZ7zXZִF! o]ŗXi%J6NS"FѰ{d_+gEJ5쓖G=YI$af "p4~ nYȏ>}$aA%crZ9A8^>3=' t$jsFkʲPg0#I<8ie0 ꞁ`k; p~{Ÿ 86 ׫q8.C݄^_ckD8V|{a."o-!KB[Ɩh+uecHR9![Igߐ Ȯؾ(9A!4ᄞS*.Ļ/n5 s0UDb<١aH.f_7u8)6ڞwo$ [?CST\pLk#JvT@ExNnጣ) d@pky_L.dpIl?[?+ɼgo9j:Tah j4ѫ/OSC*'1C,/<)=u_F]@GsCw'ATgzc8C(^Q71DTo))9"@072?<fƟ/J9˘`#`xtk [|IoN,w4xBl_s |-ũZa]אdAnǚR5Eݺ'e_'bJ+u*֢+>E~SZ \)2;A'N:-غALt/Ÿ/DcZRŷf,:R.PZ%p)ٷ$~-ŇOm$ q,,0;]]%VViQ5N5'x8Y&6s}qWxezm|'@E;ѻ:H CdŷB=p4lSUdCy9oerޏ(sz^2@ 52v A&h3ZC7KZz;܎RmA[+ =LJjofuGv'u^nFwaJ؊`53pi)vA5mw d4,S:"*]=?‡HG/䒼ַ #q H5Zz`,njN =+\ sAB<@Cܘz͛`>%ݧM:ʠe EVm& S-(I{'cAxEIW4p5fL B]HHC#cG;Q @S q}2vY+h~eH2gv{sx2JnaD|6Xm/-L6ko__l,cZW&)W-]'p)zP/\=rYxI7G"= >|SnaY:z$9 WGZ.6s2z'Qy:'T3"\I_ڛCG܊|4ʗt='Dj cw󜰹- ȪI":[׉}B^ $?c0#bsGp jb:6Ҁ0KV'`*#^|jFsHZB^3m ,nb!BqR~ݜԢG< hGU8+뭃[Ȇ;OUn)Ӊ7'}KL<KjTHl$& r%Шf&TEmwd._2  9q JGb˅ S8?,bʳuܽs>kVX:;%^HB hK[Q/ėY~= ~$p Tՠ A>1@I iEUwf]eJMaKJ~4 rz-~_5TLP㛏b+{N_3« x;í'ߘۣ7yCЀhN}h!фf( :mΜ:^W"w~6=?-EU:Jqʝɥ#Ou^;#{ޤ(LA9@u,%%fSmƽンBΧ2(5ܒd/T? ȓJCWp088\8w~5]d$UliMm?vౘTPB:2`s}!k/حW cP1wBQa.? z~ q9d@ċ|Lq=wl%ЯŰ'e AIkUrhA ߑ$*4M faIcW "bҍI%a) aY {2  *co0#zz't6 Z_C7IiЊ/< ;HZ<0M VbK;UI[ ?.onAW KdyH6"*YJ =v.޲ 7,&u\,0 `KjDQD)\S[;gbq%GTWɤ?CE3]vzݐtDbmn$zҴk= 򚁃p~ .Ow Ȯe,82IxA9M!<83|:i5xQU|֬;՞CBȞ†mrNM#hV ä1YV3+p+p9'z>CkRt Ds@/ V'* Y@,臂跲`h''MJ9_4ԕPB6iQs24 l3x/|ٗy~F 4rx!:iѭZw2 MZ[Y2@R=5[J]G2u@Ѣ6CGδrT9*0P.pqUyˋ u\ܱqaxI\oŬB]qx:,|: d]ȁ"?’@07v9eiOQTz`"EZe%UJԎp<[u/"hp{H`ϛURsU~-!ι&}0huc:O&7O3>E f̖-I?HY/#Ke?]l݁VN-]e![_w*-+8ǮR)e@ER8o {k/P!iT$oK;O+n}$8e[^ݞ”peJʎÇRKGϞF|e-c9_:LyK))7nVYxH*i]fC )X>&Sk'mdnE05cS`ԽFUTȺ-otiz N'}'j^\EO_7߹*j~OR1ssݰ@^٧nL%`2X c Wmv:ߔ >h8vϸ4-,+?v蛜spڧrKOMʶB^ad)DŽwAVmhظ|.D"?mLCbf>,ueM"_!]+F nybC:gՔ謏ݧ?x.S]tAU"Xs6`n Su 2N*j 3kq7Gn_kƴ`ZA,t|Vx~*wg92H6% / n -b3+nV"qPK TaʞU*{b_Ycs{Gnj31v| լUSeJ;oc5ĴL6;尻L enfEhsaԅpNvkaypERأЙo>2W;E&kURdS[O$9%.pQ_P"ܑ!{YAy8H1s"3T&vA<_@uuL o`M|N[ y $DRF-̌h&<3޾HK*ˮܐ$ĊuuAZZuZdˉJU;4Plʏur^ ]` iWqLA!oQwp?n0jH._܏8dQA2?kFP%\$ΐae؞,%>"5#e5g ^yg jj/>t5שVBIEnxWQmAh' .: ۋ һޝ]!CjtVѳ,i}#aPO&l2PoCW9vAV<ˣLSƾU&.G8-__rO=zуx+~Z]$Ċ4?'֞|$lP/4xri" 90EMcC 4I"@y:Rk5FF_A'm٧O=$1醕ujO*0?58k|Pֵw/ҩ HF^[+cג-KFg8 =nsƤ>)稊~Iޥh)1#{=,;Zͤ^LC7) -Y&a4n^s^TSU:noDžBu7HO~}XE]/[B dS?-sao^ $(I_گ=7 HSD'P}35D\9ed 5AӞ88+cpI~]7^ :iv%0 OBӆ1бINb [2iؐS;%MyK'~M{WG٬/&l&tO lT!fVC^\[B/@;.l>)ʌ+?C,]psWO2%i{He)4Fa)gIwPdgAmJ\@XV_$Y_l:pN!|XL9=XtQޯv!w?pR?[T|8TĺR*|zXFp%IݭҗlTk*Qdb<[Lv˸k uGk Xw?h H۠rB~i54^QD|y]eGU`* xV1N*jss ~zˏ^"lE !x]MDB'wHrdB!^) t8ⷵ.{#KŴlS"g*T%L=-_6¥P/-PDtxkS<5ZI;:ۃt"A;6!Ԭ'3h+<Rw,CXP #Up)A:?A?8YSh tUv-st=i<_`BZ[:(H97Aώ9ȴ( bhŒ4*6'\KI[3i.c|5P]b\HΠ})$Rwf /Z˱_5|Z7Z2  ^A%sc^-8𘋫nE&27ùdPOh "ahp΁e+Y=0b:P|chtnZi-+OR.1݂p햦܅]AzAhOu '}GQp+fLP$-G_vk{p&o)Q6V:b]fD4R,>mb{4bkAc!ZN H[^L >+fB6dX@4h?M-ϲ,. !7`u+zwX \mI JڌFVK3WCy\ә7$sK0XaI &wdeoNFRX;SRm]xX)f 'T5MUCU|)D3R= k[i_&؁'ՔDn0heq*u%ak(GP$:x!r"-)o;[+9p>obyjX:LK֫{%%P< -D``ԸlүMB7eҮ C½HEDޛjQ*K@˖k AS-¨G.N6XCN8AVpq{!) 0cnK2D8I̎, BGpdUYh~"ymf6FN\W~*qab$~Ɇ켇fa ~N2qC5T 9WlsA=z|Sѓiv5(f1=x5(jנq} Sk-K[΢lABniĭavu~m<5NwuԹRyW|=4ݢ_[D;pI'`'QLcfN01GHzmL*<8KBײ$^CPJQc: ψ:/jGަd>-T/,"‚b&qKofw =qb 黎pnBJ_ ٨kXwXV_TꜮGpy[luy~.ȉ;Mҭ efd$j&Oh`{fW2 ܌ {6v[JLgMkltRM:Sx?_;;Xa4O&©sf*u`^cDK'`jt#BS2=ʗd:̓>oOҠ ,Վ%W DSa=ʞCB̽׃"$P'=[SlKkiءۃ*Aq}s-WtAj~1‡p8̧ƲFŨ䱰d%'`('`(|kZǺoarHJr"bSbgH` {MrػҀJO61ky Tx}bsoO;4[H <' ai?{rT)F.er($ '㔡3^qɎ; шVM/Ђ#hbB 8CXI:B>?GHbV..DD= 1`|`# *X2(F]hP̊⊉đO}Be8vU| LkI7U?Q.Jӝ+WT|3@"c-p&8`0N{ˈL!bUMjEgmfn9s@`oDzwѳU#I&@i,{(kD0?]& m L̀4}" F/T Güs~Fb.28E`YYeJCq:شhջ# Wۆf4(]ָOlQ8 If9|2垎59d>@YwkޙB QX{䊕}X&\ ]PPwcOK7ZD]~ȭSZS83ߕ1)0v!8q ~B)6]݌_$M¶M;(OF CnPy;g#U3 书+1L*KLLAy7a0F..wu&VԖMewNUjŸxs\}> +| ; CuU1`rܬ2|!m"RLag#U\՝)8+?[{OY&!vd|knmA0+=:Pe'u3e{:o5A99 Y0iRQU;X℅н_C=0;za7[oiB۫1?u,S dn,#vtgv*d(Cu8J½wgUC6lrҀ.Z#G4Դheĸ)W>>`A@-AL}GW#;fH\A w(>#".)?|9"aW! iٴۥg_AB0aV!*gU[$hb,w$J&eV +F?[[$52>7$ʿgetPY>=pAݴ"\]Dke N㒹2] 0 ԰Ѭ ׅމv{(|EN0m8}ɻ^ZZ*BXVK!fˍQ*3OAoB%wn\-4ix0@nJ3/@3,t {{͎ur[p1*u(pr+vUJ%0~_)6-V($5:r@D:z ϬO }nh1%؅5r:psUh1CTHSB2΢ _í|8(6} JҵbG'g6>̍T_[ЕK9e-mت.r{$Q7&Ve 87D>}Xz&-+pIsw6n}bUW, `X-\94w%>:CSٿ]D OBUb`lbHdК!?b|b4V,1d@2PnU2 FǬsޫhBW&u7D؟8;[eE>HV`($.Ad8e*v I]:'CɴaZaΈjM~zuoN'Wz(*!,H6{&qlm0EL3^#_OdLSp.|p=%gozخIEI,ڲ$B\DL1Lh4M҄=.{5FMӭk[B5/Q9!pn,9#=۞u~ @ͥ t7)0tŐ)onB;QFPY4<)JI*vQ&W9F]!yy{&c拀Jӄwi'q'|/M6.*i$}]hE9 ;] /9n1`# PkGtvWKT.yO}r p%ycK'+IWE`M.fSusJȌ݂vdIrz#Zey0ZL8dZeU|LsF,n?0L"c4<+eIu;g%A51+D:u`z43*pbn4E1L_E@{fLAnԱ )cryb Tn|ZJ%"f>I}*GPnkiHHfL1gRK@gU#/8׎dS Xxy틡Hz^MQK"VcoOHҹ~Mfɝdg T^a*)/'8~#.nVx:Ab41| 1&cۆ{2|vi.`1tC#Y|y,GhL=٤ڷGB_2x/[,#sD<3-"UMֲ|3i=0]# r)@a`yyDHUfsΆگ%#<' ,0͸$4C'KED U]}@Py90z-s8~^0|Z4%cXS@Hd,w5by'L\|d.-e} wl^WQZ-E'fX0aGnɊ7},EyUӼJzӮ&qN%E8 4!Vպڱin`> :z ^wXV6t]lJr"`kl1u2k2kKL_=X!1^թ*HS3jؒTnץP[N$2UWKU- 7pMRAR(s꽽7Ww4Di &+Fx8S>JyL220 6VumI4d¸C, |PnT}> kizlpqk$Gg-#Ib#t,sdB>;by߽=3ͬRVc[t'n`wMsJ4,qJwr~4"'VQ%Ik*ЂGfI]Є8[`N^\ Ov15`)(ĉVD:z(u(Ȕ)퓷/xwxb^;21 ޶[%?](C/_ c>- "b}iIӍWIJ-Nm/meBҐ(i$xӏȒ$N#q`O;.YOhHz=-#`0~?EaN MHNӓj: vr )#0:RYog/ q$gxgP&!4,G%Tiz'deDE]{u#E"@vٷU+`%3&(4)Pn^ 5O8kNczYś RRtMTb壛X`InhwJ/lq<:$#kW-F-zc67h4IO\scJQM~"Z)Ph?Ü(НŘW۳H^fdGow @0 ]\vjs942T+$מ(KۜqalMVW|)<'GBb*,PΛQp{QU5;d#rT?cR7Ty`iUOU^U:/4 8r SɁa#)y}+e'n༁x aF&8qT!Qfق"ă75yȽ 0ŋ|* t6!RN\ 3h"Ti^q<]0( LܹB74șTe|;zוS1YceN;aC4+=0FГ (#m;VzyFiU{7=c(I_I1 s6*kl]߶z>~|9Ãx!-s9wӂؘʄsʊbr`NRYBm*,RAdςaH.kŻj00M|Z^z0I#yp@EQT1{fO݄_2sjX=|3=ѴZ<m,mbygeYmw5zsG/=#2Mf} w<\eapp߶|knsmunX#oVA u䤛TjtQڨތx!M9Y-_ +$}aEzңN62~ojmGi8 !{Ds<\s(u~arglߌrTi+167}'+vK>Wf^ {OxQ"!6u]X e4nj o mʲBy8Qtv aTm^Pmٺť"?b'pB=n!}nZQ_w<\鈮9q:rn*l?bܪ_=fh7frH!vHQf/j;܇5n}j&rt'cy 0NLڎ*QUW7cz[6p_>Nuc'F}C<6: " "Rcy{ˤ$\py3i[>1͹DkW ̄A/1GKY֐nwRa*'}JLۼoևWɥitaG]k?3@X5P6Bg|Zogc e_w9R@ ],=]uR]V\Jv(`%[۫‰K jy ȩa{EY|㴷aSa/\L^˲s:<m;/\; Yg{=Zޘ@-4|⊴PWT|`"YIGq*|pe1B3B80*;S Õ}+]? UdU H4*,sf '觶.Nו }㒷SNy|f=N'`$,A pv)Fva0ӆ}xW#e/ovbMAivΒ}ZdJE"N}j_6^>AdvMޮ7nQjP{88*6yKyC#lS/19ܵvHͫ_Ïf96+4OmƦHCn<udԦ+|q(wLI!vat׬Yc Eq8<0)T}%םrzYeעKio&BJ-Q{LM2=i'Q:%{n:,PS;(x%A'Ʊ&%i4a$й9 [IRD^r覫 DZH5Gjt|jg ,պ͛N4:9=&tsʼ'=`O@u5" Ʃ!Q~:KVFv+BM1n N?m!iaђ4 } L,ڮ_|nL7wPmbXảr6 /5H_W`b)ƎA0}T(bDBW2z@wM9m&nhRt)#EHƆP/l}:_zpYT*tĝLj;,]/Y[zf?۴8~Ds߽}CMG|Xg("s lʬ.#UBQ)y6'-ץMRCc5|plZfe"B:"ҏ$pV$C׺hb6,A+rmzT͔T)U{|{sٮREnf56bCP^bTI/jŒ&?5t wnU*x (0##\s2ߞEPo^,[-'FZ 6e+ة Tc˾#;3:ց8<ʾK`_QO/s,ʔwpRrum/DH4,DA J7 NkbB 12-6OSe?Ś 月YP:Dоm{/!2Wvs8hGx{AnN6BHsY:;:)B=,7SOdK2mImTl+B!JV9oN1߈k473c:s J4Hq8y` iΫ-G$.0ߦ@ ,ep<y4:?k^:kx9:Ti$q)j } ,>_Aphv&ýXZg9n UZPR*MahC&vOT]h\~q˿J놓Ϫ4V55: [Z(XJ8$RL&NC@{"zCL 0V{} 8.36VL+%z_7ez1!yPkzORSǯ"?n3eek6%|wiIcЁWT: 2v_B tjiƒ(Sㅿㆍy&~fRN= ~eYyTHe(n73*wK m7{IVg4-`O?]ږD!K$ĮjXx{ T|ʔxxɓC r VCu%+adF&(7KGq)zm^aisjgFF,>ca~-zPWr]|uvuJγF(H$ Ɛs"tj.D BI:hƸtvgųwI`Z4ac?;7'u~MMc4@"&ߍ\OhHh]o3%nߤQJUfկ1zyO/OM5ko~m[g4CqL毼6fD?Tlf )D' KGu't<,6`}ǃtΜ:i58 >fgC s 5De?vvPSz'Q] F >Cn":~?dHٿSȅ& C0#. HU>i·]wckPg9iԒjjҹ[7ƶUc:8cEe5aOd U_3]2!2~s_,de])(ÎaAѨ㲱V -)_KC}'5 _ۛ%y:ll 4{>Yt_[@함wij+aS/e!UL|([R8ՌWqFzNDhy(*Xķnj5{3v F31N)헎=Z,M@RwSSߑTп ̒B}ZKkPpS{m8tPa.6mW[OK/74 DWױ:-@V lho;Al;ŸB3B|$J4ꜩML6F`(;n"?SXXMswhUH^DKJ@ڬؓa#*dށp=h?ё ^1>[]nyȓ /fUDU2vM>Kn$ojK{Ds6˙e O}X%hKGv*[M3f9 6 㣲 =M\ IǵtJv3D}bc?iPց 7tj0x0)^]P(c3*2Lls|©M3_h,hoMq<-=9AI cfJkOWYV&|Ѭ=?}!*9b lҲ_U{_Q#7~:FSO  k]b~#IDR-$<>UG3*oS\A];]hLx%Ю/ 6I9ptL+ő:sȿ`gRSqqS9au5{sXmIpyRl5`GbJQcEoQWL9GZ>{ލ>՜m)/9itQȰ`6xfF]3L4 KķW ga;ɜQʫ ;֪a^tf+]24AK!E"dt۹*=RdRi`(0QBDyRQ* M-#lGqQEOY–ŐQ;ē P~=b*]@<@T&c *O% 3eɆNG+~Cu_F+N^` ';A5 @8JIcj?dg|Y'3cj2YDG〠 p:|N(n5[ι M g^><`#N yr)Okcgx%RHn8}R5ld7sF?lJ]sFp3oxJ#h/LItR= ( ,3%&C]yeFGw/P~xdPD]6\jϐezjgQvIϛp`{ͤo`N:SdbOU9I{d6kq? Nޡ5!~ m1cfsY Dw>Olipx3`MFdr$U1bzGVjM;F}fdHHUe/ OaDE,`8mn$f-uu!-<p/'2F! &ї*&Q2{/$< x>Yw͙S4È>$Tէ 'kwJß[;F&/ Tz7ekALN΢X$f=1Q@Sc93ZWN7--X1hAH пC|/!4h#b¤Sq$j bِ>zPe^ GA_MeȀ{F{E>ھˆ:@n>1]eKqn^\Rc"khnߕD2 d/kPGPM`6j(3 =W\/?j4bx g:fMQJjBnH?݈T j3C#X|24ơ Z&₪C~ F7NYoW.eZɻ17ƁC^e#M| 2U޹uޏ !wя ̌pwlDEhoq% ZnK:ra|!I/>9ª=Q9T!@WޢEoeg_ϔvPF0 1dXq@`ؚ]w㡉"[0~e2/` 'H]=:v: cah'my}Z?@^{C &\iϣ&zMkxCPGV)?G1 | F lP5qэ9(G_"4H2P#ղ{$\EݕIՍX=C6>.KI)J7UW#<.I(&7O۔ُ`ۣTRx&`]>h_ZԊ&zK*&I+DQG#$eKr>CJ|GWgSb.ıWd2Τ qj]﫯MO Z"uw4@+C)pR3 >o.t i5yb3|҂*­prqX-j)tC rvnT c6ƥ =ٳu]XEb oklŪ{=j3RPwd1vRZ`}E6ӿGû\ ȽCBZ]C,vĻeYZ¢kݤO('Ȅ֒AIɑ4vlFcJEE>1oWG<4 ^3") QLJI74߰˜ ~w2l~^=dãknd t89 k.kҾ}XG4c;n,zs>tIjj޹|&DS 71jN$Fc4 HZُY.FT2K7ֺSP{ ҞgQ6.Z*?UշLyBuiXG󝆶EI17D:m#½Eu͈hv 4 7DƒEeTh UYxYd◲=HvpX+~̨EBy>g&JTU W?a6 '\nv5 -ga3zf)~r ι2Kc,o:G&uo]MJ$wE)ɰ\BdQ>mtQDɏ(r!MUñ/\(BS]V 0yot}IF&fc0Lj:q:K )n}%![!YBڪPxy:~BlK}$"EIIrTaF_^J ˾jPgXm>,"/3y.42!g&HFK`ݮoeG|'vjiXujj!V5l;F: 94fŞ6Gd-«VىUuuNt!PKů8N-/%txN]ysi}&UzP#bGNTx%p $?2']oΦP?5DQcE@1TC;{q.t- eKgH |&1PrM;)R|Sŗ|IgK1U0;X7MWfls_xv0 дKm3\#lȂbSizdu #A/j9\n7P'c >Hj"\ }#BN? 74*J\.{a20TҖ̎JM˱q#[4q,Xܓ`Ojft":xΦ ^Ҧe BM/׻l] "!a*&^$#.QZxEw5m#9Gw=0ulySY%Yng? * =:`g]^]E=w ͬ:M**}QP2b7^"e|fӜerm7jUAط"J^f we2o3f14=[KhlCԬ(,zmXa/zUOyC{M;n;RI[3b=GJa k/3%FF32W#I4_Q -%J`DLGJU]Jvj<:Jɭ.*XPhLܡ#ڡY**+@ 4%jb+D6lϯQ"ANkS)/%I\f9  *4돴byf`1N~wpK웈|B;z c߃l;f&p.n]cO 횎G/$XCOɪP@y2Xr: ܜ:`|)4YuS_o #<#?B(:!wbK{HڷYmB晱jCjp3_MiM!9a`=8Tf,-f!64z 貇p'/5r'ZqQڈ>I굙 x1Wz5rbqMkyGDu}}4|#˨:4whYs_QG\\~/ֿcJV] Nܵze _ /cJXJ@NmH7Qf r#˻)H[])JԨcrl V"Yz] l^7dV7YbƟFp`6M!/B;F(BX!†l5a21!.tx`SتB)h\{' &7F. v3 dcło]?”D"LD Xt/&~ԫus*AŃ;(%X0N^ ]FOY\ei0{tmG,dsnD(L\sqDQ=`M(L|zakWtoeπ(5҇h/ ܊aaBzUFҰN\7'$o9F|xZ=r*N 4f&*vi4rRp4D? Ѐz!LlCZIx\QDN0':q}!oNǽi򫚄JD؈(w8.bj1|C"0=rljAaMG+llHN08VdihM5+|W4R:xbVFzW y!9A5S]H(7$_JY}ۥ)5][2y2Oq7m>M7.jF(B{::!] ki@T)/_gL14#ktdI%<׀?.@@ { cA7EZ3\$yVOv>Kx&^ײһSQJJ~|"[yLGƒRgO_1`6EW@ py^r2onLjNGqo_5jR$MqRb&7Wms t5$da3Br QMa#&π KCǪHZUi?}ÌQmAxN⻬j3pX4^6m:M)˝!xHmE`gBZSk:?Dv"AlFaT~ֱ v&^R2N˾|SH' ^N8W "(ӊ/lj{?)p̳ 8=";WW  3!TV"Q&tdI1J;hI*3q)Z7FhԹ7Ȯf4f׶굪 o?(}L|HZxxQPaF~s?:d Yq$;L¤P;he M! fbe3#dH\quswvJmb9> *x74tj͎X