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 @@%\D ]/]HOL-Analysis:threads=6elapsed=324.724cpu=1657.784gc=87.928factor=5.117zXZִF! Ph]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?O^I!Wvv}rQ`Cm4!o.RIPNÇ[WsR=7UdTȰp<@T|"̈޻܄OzH5=X4#,,(@˂pΣ? xj;TI'f@Ei'Ѿ~ ˆ?*uD`x:}q`?E?"tlW[HU#v(;+3vxd|U|4#>La"BKz dv 4ׇ{|CX&`~>)sL37+(G]rv?}ΐDcd/_փIpYEvBQCLdf7ě^x[ $,s3qU2!t y|kӳ r Lz/"gjn`p<-21iɅq';ӵZEPzMMWr6lh \,zujޅa?i/7Jl` V?.Aϋ]~KCY:/̍S-ۢ *o5`ؗvܓ &_#G Fm@=CczP:uaZWQvۨ6 g ^>Jj49::28z2eeNu]O;6 > G$:sME:!hߓV/fj\e<7 pC6bQr2wΒi>8, ~ }?ו%r. KSjZ~t&h {`O!Y"ָh F o ?%W.rir`V0uS2a"[Oڛl / &`ͦBtM؂?i64e#({cМ)MOx78 k;TM;Gh G G}M$+4հ~5JMRN9 Ho`r^ʓ'뽔()YD. mEQe>S0{- }(]e3M8 |0u楲0МEH+[X@=yx9ZKq!OS??Xs/uJBe-EQUJ<*L356\kIe8 v;m&Cy})P4!Ӳ8ld/ߜ]O@z`׫'\xhjY ґ'DW2I2%0̙O, ݗ:FB <)7eUPԔ>#qMK8 7\+ݨini8 D/\>;rV\zaݕ~{#%'/`ָGi|rj`:lOO+[,//{Y6aJ%)ı=[|݌:@"g4VQ!;4XpcAj2 6bNXIypJ- :㥂itgMP~)I!-GHGi呺]*)1d4ͮ%['~/B~͔13kn +I$I%RjI!`9{q6)\vg&1nҌVRȺ1|q澀QY_:##1²( $Γs7 EnzM98r Led:_V|> X%MHL$'M͔O7;LFĪݮ HG튚i*EY!\}$2,c, !hOb7ǹ nKv]=O_?v32Zپ ST-{O( {NP5:=iUU׾'d.^1E3nhqI&E V&dŰ@q:`SzЀ` ؘ9$T<CaU${{.G(UH=5p*D˱+xm4Bx@\dhE(^dȓ UCfSəiNh̬`&'%:VO;)DP{w!ːu(-#^s~;2Z\|CD>) r #uh4S,j.ĽCw>M@J-E^|yGyDqgy !UG]̈́žu߶ۏb=7be\#ڝcdPjȱ9$%=E{aE U &YzOs. آ2tMٟ$,pe lԋ}@9Z-:8W,,;XJQ[NS%n3 bV43T3w/kWD#;"lch58w 1Xl=ZJvx$hCP۵8ycQң>xj;E%{ 7Y@\BJ3:AG; s[$PRn >;7bsS9 A)GN%?Umvwc`a%gisq{1]̕YO'}'+7uYVM?9q< 8]'ܨ1{8Fu( :aJR|r hF$~ñte䁣"!gmluWOH7".^j ^$K|1+ ^Mh2 W*0.hZjvY=-9)ȉUя T&ٕo\yk<$sIՃسaKE$>ϢDz-]N-"D_#3v%^s:ʥdꝞy8J' Lj8ں`bcѠ@ }W*?h*֨r|$Օ%o>3m 9=Ĕuh2}NrOs?KiDT| K>~3;i[K9zRXv 6#n8de((U獹bQ U0+:&FWw!kFP*8oU\Aܠ$VwȌĨcS[:qdbkQ/rHmHf pǘH{AWUr|}e|fI9\geƮpaդQ(Qfп *Ujr vjii"ʽ*tExSʻ49NیD,We  YL1'P\gfC慧`s]'#[ܨ@GfHaTWMJ梣HK\ȥCZI?WwԔOU6z+;4*j\+ !¹Iف̮ʽ~dصc%  Ql"NvK׽kvɘ!oN+csWwX w'=Efe3`?Gc1e֭nnVF^BKVYa ٬NjVғG6ZZ;3v=GBUZPJb"} Hc1N^DۜcHF5gg8̶G'Dͼ$O,!#|ǻ>#i'RiWmyi_qߠ' 7[?E|bl2ʟ+y"Vw7BWN}ae3L^aQ~Yl(E-bg%:Ϩ _n !DHd9?o,q,Ї#.ۦ@irE1yx0s[6 ="or+B"]o ?;K ]+,Ō(ǃWSΩ~{V? PU%?Caa:wKH%#> dGh򻥶ՈqsFj< ԃ@^lƒ,< 7\(A8?u81j2 Fۮ.u uwg2 t4w~h.q'*I Do"|/eзQ~4|'=qXR8`<;xiƟX^_X^873Οڰ`LyuEؙ2JJFѰuT?&[S'q ^/gҸ-4|[.PҟϕEk;~+җyU7&/tIg,psW1* ## &,Sh^T>9m;~r+X.~p, x`Jl Û ^6tg'5qf LtrBZU/VUabUf3K.ܣ2o[=T3ɉÈV}8pKrL.acݡj|br-=g<ue~`irY_%4sk#zrG9'7~c^jCH-{vrPӪz%fP5W'aF%gFE:΃TuTSK"Bltx%(~h&䢎aq9<;L1>R^olHN:bn]VܾYmWK_@@Fz‡+13Ϋ(!]%e錈t6mrwN*wQ0OVq “RA#,GG׬8!Y;>-&֒_+nSw(WW2),jNW krs ?^T5<r &/@x 7g.[= O t =G 2ֱCO yzM(CN-,LAH">rȡc43rI)s1?OIj:,3C 6.0Hi{E,eJ|ۺo26;K;h9sa! ~T/r\KIt.ڼo]2D޼ޠK.LO8_f# |SE볛@h)izMls㗦_c.4pS$5?9m!hGٴqߚhӥiX qseݿ /Q5:Aj[ƐyU_waaG"ypHE˓HG3p4r̥bqJ )DM[ko"ς9v;|1<&3jvpv )&:ٛk<un~Jtʆcj3at~bӺv QlFX-eKxc4EAhOf HUugg)Ӓdc#@2Day(p'ky ",7t}Ez\THO&U Zrͥ >N7 B2Ͻ*iAeI"_+E/F!ӵ)07 %H^#c-0uOA8Mז cN+.fUY'r芖yyܨz[z;D-MT|z9/ބ_LAѶݧyE;bNPRHTW1OV#z 5ӐV:na&QrAfR{Jhb߸r}8lS8nmFkT0F `eI>'U~ }9XxɌX}K K}@ 4. 7G!7"5DgBIn8Q[JJlv˚Ă.2A5y96c- ;SY'rY F]#Y%XۧwK H+f;": Gb5|5h pZ i]LxWӷ:>,:[*K-f+l ' )5 @By鬻/,L̍d&hn)';NLYE `*l)Ƃl;T HsˁyhGႢwGh¿tKy(F4V Qu1z nA[>EoԣqҵIyE>&uVBZGDS$GI: *M*):} Wkxw& x+bjWB*a @ۣ8y>sv:)*d6<(U!E:+4{$n\D9dX:~3TaYB3.F2EOݫiݿuZ6&HwiB x2b̈0sz8"ˬV>:gi$ң\.G^Cr G:hvDAVo.PWjzm# oDffJSVCM<8473G) \@Js*cvm->ԛ:Plf^l~XQ3t-( 4k,4[DF\nl>Vu8^MU#<]YֶvĴzH8c%+$$'ǿ ^{^Vj49q? )JD8 33NȟעV馶gDh89#gՙcצu/ڇ ϩEM ʦ  7Bδ }]'5kݕs j}M̧=eRv[Uۿ xHYf?G}D9*gبd\La&GQRN.7<m\Zcn.%4re9e[r] vgta>;8N(@F%A U=q 8;s9d ; 4om/AFXϏVϿS#}- w#C]D>;ѫ="c&myP4nξת}|8"* u8Vt NcQXs'f0NDǫ&t'fY\/4q߳mf>zH^t7=S `""ٱɦi@~ZRI,^:+ӈc:\(Gq#Dxeg0Se~Uef/QJ4̫7fl2Ij9uʒɿVl31T*譐 zY=gI%{{ o=SqQ >"޲Tl6B%֙Ǵ;4 Gk.~Y[R"PM™ aTb޸<ɱ΍q"zD/bEЈX`ԕ\}{0#Cz]zX;*3uOȝF |5p@5h+G?]ד&eHAbT.1ȲgFLranLDKW)ExMr,-E\M^ů3tߛ:Uy@MK89"e^DZ ,41 yO*)uOUS쟴 1-siHD_Nt;ld(jY*'A(2XNRO{9 y*\]"YOJ-Tg&t(68S}ZH+g3*ߛ&k̹XpƓ}O*u)T POضlg,܍ gb/lyC𤋮Q4Yӏ.Zgx=M(%d>Y(Z>$BOw\O); U}+F}Saa,qDHbk\k;y |wa jc8Cدw-R\LƺТ -)T&۬ƳxZs_f. BnT&vQY ԸPi~$YBX짼T@fnF|  |k7ь}Pjz3P3e:]N<VB 7ʀ^+TR2oBA-Ôʶ풕{x4:&k3Y.=)kX5J_S1밈ÑvUiXϦ}I $>/>(ODܡ mǬHB3W¹*m ;;?8ta#yIDoRxc.x$ɑbo2ik)] Y"Yq70%R|W:6u2-d}B:(-KNgdYV˞%1׹>?IXh9؎[.\. d>6r"c1QJr {63&rY3دvtx @nF uzrn-\Mg/*c`~)[ISѐ;k|jNJAuft߫J5hqHxJ {O;Z"HƖں/WK̩o%r [z;G9}5:X5^ PnxcV,QAOdž khl>w uf$}>~PP_ a F#ƻjOyPD̛Mxq؎M) XjLdp% XVԼpL3;?E"o\gb]:E}EI&[hFEZz6tC+9J,ϼ[j P>4gL$=0Lܪ陌BhÇzb?~aJOZi2ҺQOhvrKL'?)J6@#aCSa3}}1t_{6[ IshgYkJ!9e rox?K):h84:1yCRDK60N,ž30,?3o9\P$\I6eVh/=2y2|ϻ yp BNvNre`1''ZKXJikNWgOcWKEcn~ ɾ;n-Rp2M=t\bXʼ u"̫HuM bNv`Q@GȔY+~P&?mn}'Eemd2`S59qؐb@RT-~~vy /MG\cjJT$͉k dO3DqH6#2;pͫ,ν*׵=؜e /+=ȷbjrYek] $3-jՄAlڥ5ϸ"cg|wxU,t*ؕ5eU~b}Ph7NbΌ 'O1!0[f(.wΨ\pL?f$ q_s8%~1%H6Kw: TsT5SsA}zLyw/v/xbIYXW3HjBO+@)r@+fB#Y0?2if/wwRrS>J0JADؕ> \W X)B B Kԏ#-u'KDN uی ʖQ늿Zҿ[ [l {,c!LǨ]a=aM6A(H8jy5hD~IW!!r]6d!OX@M mӭ5 ɏ_ W:8#Z>$2?L4Ő3BȶV+_ n"%0/G݆+ wf=9uSEN@Ji9_o06WRL`5u$`0-_S:Hn[q},Yr9w5B)H3HpN>A&Ard'"!=_}u-&,s?K4ԣs{hM!=CQt$0|*!s;).lFUuHw[]><[QK(.gi~'[YG_,^r`D*;SNVzoU-AvNu83 nDݾ!9%r1M^]S'^)T]$wRK1@Ir jrμLG1(HƦ)kά]_}Ñ>&dVh&&׾yƵDr?9> 30=+HjsT5bcI䂚EjBmN![¬?LX1jUO,rYm"О8uG!^,D_%mq2OOd}S;ChhɰOif#~A4 N7 "-N5GX3d$z{U1 ~ygzQdqNL>0PE#A7sE6!$2zE6=wfzPޝrDIe ccj7` li,]ima [`,cw8I.KYMWSDNg `<9FG!|X×B:Z)U/xхyʖCOZ]F}hLsXsQRQ%'=A%{ن8̙2d 62 czIP,ƖL1-q=-鸢(9`9T2T6=ɧ:-jE2+E4Dο4HkzwKRR:3Y};OMm@ DM|\PI!im퉿co_GR s9$8@?{5]|DU +=:$or Sv[48yXد޸Q8%u+J.nMq:ʠ!w4ߞ䐄))3B«P _9@HҀN!C!K"϶̭Ri+qLCN/h/C߹z͟1wժ,uǔFofY*`vkLa$PaW[Pih9bO teAynJY}jN>C r8Jk&T!ˮ~=!(Mq+&ۡxSPd6Y<$5UdyU6OFT͛?El{n666Vd,23qv wքޙayr)박 ,lMWŷc%k -UMf Y HX"$!N8fcshG -bݜ:qp/Mn (=p w6XݦM$SDejwR4.)NxoJ@G(Ӛ|m:'~C~ +eږTFɬ1%a6zM:ԉRBTou,7Vn>ٟ!-},Z }j=.̯jjKz1ȱ S!\B9xVZڎf {}/qWKȎ=u= %3O5&lup cJ#֧ 27uY$@.9.X &̒( #$Ll~)CnPRӀ +,El``9^5U:"Q*+QU>rK^7{Y$owgQ\ W$3¼ 6/18 nyy[%t uYa5="o]en;;=F,Wň/7L$/ۘ]̙GH1v3.I~HSA:TOG=mf=en7*~gBfx-F{nk:Qy1yxRǃ UR{ڼ-n3hUڣDvLkL` M}ڈX; O]NXW.4PfJ@lbD!oOkTI;?טp) 蘕ɜA9J9+Os"{4"E|aǰP3# .zÐH3$u͸bk}{ ? 70p敎90r1 [)R Xg8Siﲡ_n(Ru-Z3v[\_OL^_ Zc ‡Ҿ3I*bPN^Nqjc?OD%y3Usj+ݘFӂH7VT֜;QH+[1vB"t$N %iz+rX 7$ x]@P6m mT<%k~s3N~Uz1_:Pws|F D~}dTW鍬Nby~dzQ'['& f!^t[OB"l̽w$"ZY9;֗P4dmA:|c`yJ! Sz+=vdN)vtVʀBa'ZgkQ:Jvcu,ou*i MA- 9&PP6UX_u;2&w\qG~^;A~5<paj-*j3V=8V *vf\;w_\e VE:HR C^2Vc\yN7ϗoP0HOϬ`s]cxa@r%@~,-܉T$DT%㩎e}ІN{ ċa}(|I(r"#k!/pMȒض AoS֒ ]:Ii VZ-ε#Ksyu4 %$* M;%# +%-O*܏ǑD$t$*S yx.߇T8k0B`*G{ DC!c,(tԖʸKxZBggcj)7y|=mzH0rcҁv/rQw_s*"N1>^dP,mdk]:fX\Q{r#_z4;(.aѴ_XE50FOl{wTU-(|7C]/-kPYU7gfȳTQЪ_cnK"+*x8iVslb8o*%#>ms21d~P/0^ĥk[jh1o!Ƙl`*}!J@YU^ҠdǹըB By(YT?(YNj:FjA\ I[^G`iiZ}P/HBKM[ ګb)Po(9` 7DN Ö́HG[h/*xü{,zI5N>.Eq}b{`AM>o(Rϯ#Ru_j@lEq?'m_$S_t [+<kD0|@6>͍^ ZtwT~ sx9j)<{%??b拙Xpb;eMTA$ītw5~: Ҟ4(TVA(UIq"cǰf~AHaEiaX+cy=vWj Iv]?0'Ġߝll_0~ |M9LBQ(N}(/t LF3QbўG.d  ^@["܇ BKߐqET ݣw!ýjj]z4z&Ҁtor4[Ɲ3,IVA3.G7dU,a'}hd.~g7Ȳ*Xw8^ gHSE)5μGPɩgۥ׭" d({">$ZV}%FY{;3| YiPnj膔F> +:ylgRcnm3͸oo.#x((Os&)^+d W'7m$cV뻶?}lUɗc'{ȭZl%VM3C|s>B >v8 ; 0.G`F`S׋TFV(_9[iV{lk{{Zv*A(aap1c} jUb'(>]9 uV[PB1X%ӆn`UX[ǰ(zb眸{ī4K3f2ɟ"uq+wn!˕ėQ㍢r2$(\}Ĩx}9\7\ZDN³iرoFf[^.\9!.*tH4&` F;;c\*^=if 7p޻~7d d-jT`$8e}Wha6<"}pw#}&]Xv49["*эT_~ 'Z WMǃ輔mZT&x }VkA`:!&n Dߊ17ꧯ:0*鞳\7CfmEF[+vTO,G};2n{_MA3/;cWv9C:WzIǼPLBSU=E6,`N& ]4B8fܓ'N-y -fk׈76I{8Ũ\0?D4-*'2F)k.ckO?Hd{Fgr;q3c!EaYE3 nz1ICCGB:(Vݷ;l!q#+,br)2P?3Uv>ѩ@s۱0Pe@ gYZ7zXZִF! o@]ŗXi%Iur6n zGrKZkMNstI -k>YM=4Sㆩ#CM֊c4o{?L<[̈8~KAQ! " \`4 i3,4W>,#>U{sHvӟz cg۷qmy~| -0h#S!gY"`9e'Wcç>rײ3FE$H5UycBtFX,2`-=ЫnYbn&z5~\^qp /9tEONXI Ȣ< 韱"ԟXKJ(xWgAs_kHJvt|m2VH4Sީ}Bh 4vh0,{~ EtY6hޥ/{[+VJ!Wc~w_{:MkЏ)V·Lٵq&Gb`;XH]˙4I6o>&S&jK.+ȂܩQW b 9LWZuRޏF<"@Ժ>uFTwuya4k0z?e``ڿ NX!$+8X2dr{k j8#QXd"dSQ:A,!pՋ8y摴/P7g)AFqu/9&RthA`˰>#p/Vw3Ӻ.~pP(؈҉TiM2Bdfܓ9"T~SՕ)'9R;͞$vEV {P/k!JpDA9 ,W)T=UIQg kO@Ba8!sD~eRhZiH(fJm0i}RkA*Dc5^fq 3CN\Wa:܌ $dZ%(XU ˫[%3â"XQۍ gK *dX8kUM<`A:EWi`m. t` _L{K U96bߔڈ%̓b  WL²pl=*1Q XxR;475c*pG!_o.LIMðMɜ06:x5|%YtI}nFBDO~/PW]PKرZ30#5j7]\Bp M@m $^@szX?;ggo:9baR`[BHZiW8xMb/]h9wI < `~" X<%Y Whh|uۖsܹAtY `V9Z. )LcKڻX9+wA"ХX\ԠSBխi-AiۙYeU)EVVd)Y^{sUu\3ɧlcܛ G|9 1l H#뿹×5^}f1𕽾B3=Vκd8oB-64hmՑw@yZb,Kgb^Lx{XLLf6-PB&X4Q>ࡾ|(j+2*!ӽ 굤;\!ovf {0m#bf TµQFcUY!0@X)i} @}tl!ْb嚃,YepB4O,zԁ5Ev.A) L oI:(ybnDezJvH ` !TKrY"Zi`U&UބB+Zl.C;k-נ)϶S=>ySgR5[Lr*r5DZN\;.θa:TEݣ8_"ve$nCNY q,y3w39˵0z1\pg~,f,8gymȘ޵HߛϤ1INJX+PmkHpxu|׳6ؠ`SoWcSp$nfco[9ŦVFk.ToVCďWIZc7)'g]TOk̼jJouK o1j•&^@l _o7"jCNׁir%>tUS8?*ZG-Ӽ`2|Ud R eqTj |\U[̈́Qs*ȓ:5$(ѣx ;ϡE?*8z`lY,ZְBB󔄍 E{w8b!q>y-Z:OIK9UxX{hҶJt;*^hSf'KbnA=rKMP|P!v0?|a($DY6V3(0,!`> T6A[5 f[5q ! Ct rVbJO>pZt숕l0&.q<#{Uw`&|5[o X~l;]'LREg%[6єQy>;nhk=:#?*!]!faۇN-G/grs_&Y >"/ ԰4z$(0__딻91Qff$Ȧrl>_ z "\1Yd$(GSFblv {^9hMY`<ퟌLJyQrA׫V@axر}Rw '-s*+p#)7PnN͡B}_vq+$4&ϕ{(ZY|Ό#.#i8TbиOe0GJ |46}686&|lI2V4@.1k{lskojax\eO\$ eW{ gv55ďHcδ硖!|M&cI 0wEvX)ztat8[ߕMAkđM ͊'*>!"tYFyK0^;lwFU/uL+΁wu#ħr5e )j%,255\t$}l.X$YP!ُ7>Voيg~Iݝj%8-~~mot[t[3DE2O`!(I] g~ԅ{.MYVZ7oR@[k %.JԘA5jw#A'f Q: L,=ʿJ)5!R5@'in-b*[,\fPHYU:7W '_LHf,A +,7fT Y74Ҹ˝%Z[ץn5Z߿:+~`cxs卭b%-NNbT J`9h<Lnຠr*emWag\8yQSJ$.CSůg۬mSPfZ51""Ȼu|1G_`H+WE4zv&nԨ*)x0a )#=I1}XE 34 L!dio|H֬5ASR1qyڿ|,!OTEǑ<3+_I[7 N(ǧPbňғ(BrF[Zgg)EƏܝ#ҭ. ZK%Ar[c#.Jq>+\\RPF>Se w~Q\u&\%gBb)mČ$Gȟ*My1LNi_hZ_AR[gxkL.r/A0ܧB_J vxj.r! v#0rq?t ٸ<*YlW SW\53*A?P ?W-cm CZHb7 'XEg⑁G_Og^>T+ vi̯3ȅ50z~Cu*Qޓ=C5 + Nnz"P> \.V MTrVx/¸r((ì[_8ܨM]6| Pxc$867] fѡo(Dni7^Դ`<҇XiŊUsElR338<)WGt##^_ fYrҬ-ʉ8@PMF!ǂ?wVSxzQ|wغ_պS#K3a-#@ȧ7crv5UցED^u|5*/л~+-¿oR-hirw'lbh|xdt~7C2PQ…6N}|B-ѡn-ExܗJ .S4F+ V7{ ;6aZ!^egk̂KLbg7MJ*9j,R\#0^&ޫ1)$mK4 LJq^?w%d^,qH^-Lf܁. wnm ylF_+'$$V}0 UnѹKL0($ZaC< ~_Մcl[nW%D %NhH }P%TnCS)Mzw˛JJVVJݸ=9El\DMy_)0GW4»Bs}E`KSNe@!%N+jR_T6`R+KIÔdp$NsZseYH'JdΆjkʗŝU7׌}4<.7ȠfLA aR?7I;[bh6KoZl=t.OKI;:p5ӆZn hImq 9R */!g9D+L XBh.O Sjbpe\ku'l^[4NV͞X'*U?k6TC_ PuV|1b̈́m u^(nֲ-OIdcz{D6Zs3o"OZ=C:ON ̯j%\OxSqOlG-Գb{M{nV'wd>Ls(Qï-'~Ն拓yE6x9mf.S؏O6O@k~ zY6]jTp7U9*@aޗۙVp‰$41ԡ gH $%]Irs bLGxxb&M3ε]F6], pбlm՘ pGc-(}B> #`RqWcNMjvƍzbfIcik[{|*ql4tG_&/FA V_QU5 dU_[uq&(PhL@c|-5Eg- wUʩ `{X,z0xB\&9 >R>aƕՅN@@(iIſy+99)gXG$;uezس+L/~ Z*LzŐN'B!f1Ӝ*աBqI<}Pʈ2m:wNWD*_0k Օ)0s~53=Cn|ot0zoKkn?O@* z"OY ݟo'3X!POࠝ(Cڥ )1/%7r1)y``2gr.ppߚ4N}iSd[g:jgX!qG?jwA xr$;eܮʱ9ƸZ8K0ָf!;b;ڠ ˈBc=r>!Ō$d:ITՒ=EewT#:N";\{'N)5A,>o]hյ%@=R lx\~?cup-H)Ky;| iSY.=ZR "ySh9s N7VI묄н 1Z5H@xg̽#/C ?3J75z?b]"oSLޙ -qKJOoҳ"Iьp}+&@""_`IL*QF59KnW}j3l*T@6-c;0" Ǿ/ *۸u&fz:Yo/fT@W|1&#Y,CCf,l.YB#L kf23)VM*tVRH~d\Y:Oq.M/;r3PTk:Z9C^,CvoK* ˡdx]ISO>T?6LM{c"]WFr*mLYhMcJna]>|ZKf@qoX[r^[5$T+w{T8קStcx@]=4 FMZ+W d/mg U/}j0BlyfQl fqga!>;"CU(؀Aob[I"*q{ชZ};ۙn[aɺG:j0df@Z۳ = "ʳ)Fwn"8'Ekg(UJgSBo>_i&=C }\Q:ѰxgŪ; >cu bUSr(S~n-/hVOR*3 LYcTiG52"Iן~}2c[d+<hnQtݒE3U".BKqCɬSP"K<%m1XMCJasn~h}S'f޿O#q۳~?Y*p*CTKek9d+ ٯB OCBص2 [/_=;= +=KxOӴ>892["Qk_VHF`B6򏍭G̍Ajff~ T*N$ ;㲄vz~= bJmxH(uFB~ԲmW WEw.FŵB8VPU2"VwWu_Ş:`>UC= }9|Ex]xvdLAGVqQՅ[Z}:zWm|ё$&2w<@ ReL-;Y@y!@Qad{򷛦)JMz`ߟx#0 Jm0(+/lX9J{@-6e7;[Ț'7'eÀo T әRL27+R[J: F%jtJJ(oO+ܐ?t̀; H:|<+8T17罃 -U$:\aƘ{I E91oz\YB.V=%"9zy^4vdUV^~#oE:>8s76]:PI!7fƅh`fmjUq飫rD׸XR7`|UU4/4{E/&j .2C[B˗:8p5c\E*2C2wU_A\-6ɓ(SgK6jݍAn65 %Vja#a@=IC~i:rObzp%B^C0xb$b^Wb+Օ  1޿2"oHΐΦu1oʜVl4>UtvP!qP$*kM>v 7@U3h'oF h :R̵w}݈yw*(\ikE{vl}%ޙ6؋ jO]@ʦ*?\_#r=sD21{99*skl^pL[g"jX&Od\0(+*gmf"@1Ht_7&W 8 ==7V uj1H_z}\ֵ쩺;V#LaQ [s|mxR dbⓑiWpD*4}FiL3r)@`K KDa3E: 7{5_4j[$E90ok9 ?Y iWC(byX #_ĻC{͟!;-|G9/`FNȊayGn%)C 9PoS2ϯ.2e8$ #gBmSJj86TiEEfapX&$an)_&м #0#m|]yjG"e`'n16{Ν큥^Osa{z$K}`\unԻ@1,!_]ہf1]JӉF1{ܙ긨->9(: $(uھ9.805OάCaesu/Ȯθ_]fvf"f`佂GcGWKÜ8bsz@MS,CƜTW1CMWy{k-RheP7M͛< ,S-#˸4@ H*8ĕ٦!C'1oY_27 2f}z{`sK$zc_*QWF&\ 6snJ1+_puXaTzAɘԽQ2jDmMԯǗ\GxBO(ӱ)weH!0\AhO]zmb%@sRnX1I?q-`3}< \ړyCk^*% m l4n3M`KU5_dDCm:?s.Z ͼ- q B.!)+'CBDd"2<'9<ӷ|C.WpF, ehrRy;YՎE>"ƳQR!3U.AKiG$6~']V::XWPxG4+ R'1i< ;Rn^ӫ;}$J%EX5]ΜzSGÒ|-fnKh6x,T /'WUu(NKQ%ۛ>kBJ^{Bs +)ڪ^A:_,ZgTp g|ڰKF^@=ۓ!bž7Grb^eF˞?1) J XtFkdoc[>k L^~Po]a £V._&/ 5-X$̌vniPQV lmJ@h#QG7Z!o[{ 4$TşvK If>T!>/`a4[>^afE/r8>wv"XM-P꘾F,܉{.i9iu`Tq- r^~Yu>1dҺ}-rH!J8vY8+7BuSRt'q[jl$E0y? G9ŋ+k6\ 6п@s z)R]jErx(:wDX)]ms[_w`L.R5y& z D@<˴tǨJHx'Uumfp:e.gx%H J @x*K#8u کb1g7捸Ƒ]W{Zْm- ix=7J" czY4lFjbh +uШRe"@ zH;Sqh}SKbI{7%S&nU}3X' QeNWbJL~pCxșA&v{h )K$T9lqZ5X]4)[T@\Fb OZ\`rEV J1[~uDZzTE])⋓SL@jv'%Ne[_<-oCʩ6a֣)}:m7Cvne׸?a=^UujW<0 Cv.S8ǐaЭ!bHV j6 DDҢ&}JJKxePCqyKC`4R;BɢqZT˵BEmt7mͣPRB㊾AWlFki95ixSTZ"tL9J5`$3`%Sҹf%B6MAy w~~q~FC&Fآ-b&`99{hYSȷuTfoR %2s0v2Ư{[,D^.`Ɣ1XcGS@KaB|~$.i[0&WT+H)yZ/bA_%[`IM)Ã*~lS.Ҡ_@jqr<3('~0Y((u{!N,.-bygcfCX ,ɶR#쯄0)yeNz6ƏV- bmdP ㆎv۳2'ϰ1$iEV"vϏc}wUu3|)*#ybMeEdpR/A)[ /=G-1wAƫzXR[=*bzO% _jRa&w'KhXO[8Ձ 7u;y-ˉ;@PUU١nC ^WZIc~ MlJv?R aQL,T῱Eg_j| L NG*w{w͖O&5|{Bre ՘68܍GМt[.i!фu1)|;V݋Díu/:~d7,]d[=ESہ!́'vJR&_0>Q8_~s2՗Ѱ}!z݂]=JƇACd-DΊ2Od]YI04T< n J0*G>L MFiZba`X_.բв qnhP3mFFg t wR}PL8 zr8K&GSsyX&ɑ.fp4"7r&,iklRv ;HyTxKTjY1!Y YV~$Ihmh{t٘`6\} (y 'QA8[0a-DmoU:n޿h4>BROLg8"NcD`ر:VDJ)t8q:7ךo=; ɮ~}cxZ;,}z7@)q1|=F]yږT·l EU. _0\bD`x=`Ɲt,gS$V a!Y)} ,Xet'S=l ue]M>$(`fΥ]:!j#2Y]L{_uVc?= ZvwUO6lC`{ɼ3ţ0 @\4]De ŕ+VKJuXz\Qh([؅BLJ(7TN!Y X}-3'07)K'f@pmh]#:C2LG%;Ʈ#J@v]ux%.oh\hWđeAXL*Fqn .L@^v_@\yԳO+&z UCG1I3lkd~Pտ?@XY'jrj֢Z(RF 8ў Ycy[/&[LCS|'+Dd5.OEFk781KXLҀ\_NLUbO*yE ݏ-3K͹RN*gT|[D2B9 ֟K=mC `Ҝv'藯%  =aL1m= v`f$xHo] Ka/σiVDh]!3x,rByl5" x/o8vV ^3{Tc}F6ԑ)j^% (!Rn+R@NիCmb)>w/h֜ùגO1987IhS?ލo?U(л-0#\0U5d%y*QH$w0۔u91.ug(24iQ} onP +S _+L,UwB?- q}{RaTp@# I?H;Zgo.A Bƚ@1^ 8o5Z@APT|Yq"c. jw{q?1{1>|Z,dc'R!@ 7 &TdZO/zsU1KQ>0ԽKٴ~Tvd20>͒RG t[>LY^C=cZ< 'ʤw<8gxu҃6_eat{iKS+) uNpYevo2TuGRډ"‰ޔ ׿<iS'qzj@',o&h)ZGR g.+UhޏrƐ@3m=8"'0b5|;c(HJ4'SN;*J, Nԉm`P(=Dqf(Bˑ$Nj=k`0LU!VpSTKLgd7rRQAGi`2 ދ7wWao_ؗņ HSxeDC"DeQ!ADD98|02iLWgcJvՀFyiڵxoez~i(#!zj)Wl-7eM|G)ݺZ%KXIVy . x@kq,E\B]C|s)e1ނ~ࡶ9\&bSU׶` J"%ϸ t)F BBws֣]/bv ?C`׺ם1XW4Gg ۛ9>'U*~jr,}pa~_cE&ϴ6 ңR 71JEfB`9NT-ab TKN lXjaI^!$Biha&?aKc$17l_&QΌaKwx$Xۥ8wg;8>}ōJ֥˄dGpJHXxicP;|bd_؁}aB ,@q^K" HYV>ZEc\tSft\t ) Bqz (Om~=o !Ȥ\{h!e0.|N3y ;`-=Iasi91(*4Z=5-B2.)@\0Ԙq> "y3Qc$`uYKC<"cx4d)ӿ<@H ʷ?5$AxWh2m5)je:^3H:qZҡ!ChT<)sw[}m,X)sgNj /kGv78&W'x)@}f&/>uj@ b*zN=?lfVV2"VfR,5 /=v2AUp'uKyz9ȓ9hMptV?wjᄄ thU¾q߂8WQ&ںjS=ofUE:M3j[دF7`:p]7[s0n./JW\(@-ISQYX@jEՂFt]2LtA/N4u2পӴTmrx](61JuX`QG(V\laAv1*¼[ $";*@j$$uWuHDŬ]$*oZfR]Xwoʎ}zP;"@"J5L}w==seMr䕊hnAS sQj(Dc.T'RmRF }/+^YSV_@< 4理WO1YOLK=y3ca'6ӭWEw/LQb̅tuX'$(Ѓ,{*[ƴ7:L }c*[~EsŏS9v R2CFZ9Dhu^~"BXW_q,iyfOJ2i{jJ9Ƚ]%a#beJV7 Y99yWL5' --DZ+=ANFnlޥI&=(DjZSqƒ*P< MbP"@+Hg4CTMdE=K_ ù}#St*-c /&㭤+nv {0\Hۇ(= L #iaT9i$wA*nL&jM15SUwި8(HRˇ#l[ =Auh#^ө&$m`uB5 d?"I0;Z8M[5y~5Ј.gFp!c$U]gDŪ_#h^p ǥgi~`X |1SMI0Is-`ӱ\ZMF S?o+sWOؗ_I.%e=S 4Ka\P-RE|LIl47CLH6#ٴoF:u/$U Ȃ "}/r2zf{놫rolqAN_|ݟL[||]5G[Whc)I-6k{hx0IK9XDj}eօNGB>kkz,URo"ѯ$Vf'H^,14mxp_NJ Tr?WP:Gi"5"3%ɺc_C]`Ԗpc6,D  TRIusGaFeMi[؉z^[T]CQyU Ўҧ5Vt[L֨툻הe_9m: r8D+!]ĻI#jGU2b8Z,r JdLGS@vOڀ0-Z6c}fwl3;6'nz#E!sfic>,{-{ؗ(*nE(2~.!qZpFC옞ςct.!A\NDUɣ5[RS',IX@&}S93px"la9ƣl5+Q͡-U!,??>+KIL`Hpp9IONR@5{:4haIIN\d(~ONyDg̔Fq6bX;rmu[xWٔ(+ʃ"yKVr4ܪC@LHH@*kI1g v;^GiU1LDz"/i3,̋ɼ;\隤KuϷL ޢa`c;& M:E&x^!I~޼_^aB-3$Jkbi}"9N'tg9v}:@CݏzYJHAeI{.`{X&L״ BŮ N>:֓Nb*_=0HF^) l74D2 Jʦ-DڟFPo1Y#tTZV:ҨRb%;qBLX8R?ZT?> bb{.nEKD `5vKqX}lDwZO>_F vË{<%W3d*̒{( -8nX͏FatFxҲF@.oĂJi2\7Ct{@}(@o1<,Jlɐ/( 0RF$*suRi5|PKyj2mvƆLĥc5M:my%& \M7%7=>H~CA,CoT/czH(Wr6pLp5ř(Hj[M8S|\r'HdT?+V?k~B<-N\-o5#VSi^SK(z ǶJ67_lpPqL g=l+6`IS]kY8pT#NvZ^> ^W6V3ڣ_1Cr9.ib}<nGvxޛw+`n{Teu9^ᳵ|RYm*f+n@`X+ LmK^ȁ{_a;Z_M]G[GLJj4L}s0ۘ|t<[ y_)ղ-Lh2l>F >ԒڈA~93a RسԷa],tj[WCѲLv|ueaFN@I9]"kR{Z2kmŠr-іxqݴW d9A~Xb ψF;Gy Vr8n4Ea'ҝϗxEr* U.31H ge06:A M}}RJԚ]a f/h4{)+W e$T |^Ø+Ӊ!'n`,n95^IU?#gxe}It$)h+8goQ&07)K Y26sa"=ߧRe#6tK-#7-9fbo= :SQ|@ J:^C -QJΛXe)_G3Tv}d@H Sbkk;YۊSDk4eH_-f&IhC?=H]4\^;3g͗'or2=%0DƟ>%!KU\]Wu3O7gOxqgX+zZ_: 9RDn39(d6"WStZBfUo7:5iرT_֕o@Tv!==];8sS??\-4ז6a@¶AjQkj.+?nScHcو?{4DIˤ !#GNRDFQLL`;E X4"Sݦ0U 囡oA*Z=.iJ30x<5Ml},@"nb XApYr@BE+=1]g>GjZl6h_$o [^zk "[w*@s#8(!~365__o?SQY0a +ZF۳?ʣ,ʲV<[]|d9]#md TYSr #f]PbOl1QmQB56S7A{e'N#oSfwLZnT#LK贤Q _ |C*+P- fi#.sQ> reoiH}0L!KL&<.:ߦE@:%w|J=^Ʈ GTD 9)ͅeZӰAmE~Nř?mxc*Պĭ72Ǿp(?!*>TQ4 UnnrtuGZJ`)R-/ BQ̨#MF;.j4*;./C p"ҡpqde,z!Z~]*y@j =ó; Bfld~ۧ,g<1LJU@ lr؇;I}ĸv\ÛE((!μg3%{nt:/B e\"4 1vO;rYxv>xZYY3*M&iCI-h׀LR6u x̰Y`7F?]HpmDMl:sjVL3$"0讗0ԓ,}ct4VEcb:/wEX| V(2-uQs9!Ӈ1q9VGĐ~dW euFk,&KE^[hoK+t¤{yN;' FY͡7f+h#.{+v>9s31d$+)>ǞI))GQ33,A L@dH0_1T{ NLv(