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  @%,t| ]/]HOL-Analysis:threads=6elapsed=323.559cpu=1591.436gc=60.104factor=4.927zXZִF! 㩙N ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%b‚$8NbB '~YMb&"t،c=d*Xo(CDeֆ1w̤рxBN00썳ބCS }|0(=GT".0;rDºC$|k1Yox<Ko]!8]t&vqqyAbV:`<*c?]`r9$AfJS ۈnI.ۯykMr2Eh68g问UrE)ʳ?3b3IXQNH UMTV޺%gA"ԣLeXLO" miuܘ׀ȲxgJa{GO_N SZOFhk*aTmU#K-ek0zT_cr1gY2 j k+}~O_c:ԿHy[1C.PA|Y=jPdoNU[D2T`{P3~`Ͱ p`Ũl\yq{E}n~L^>/ pq0[RZV~:FtЬR侉]]BۋUgBf=foNZj=M&H$D\AM7#*Yqǹa cIL :rQvPߋAC9kYWӌAi&މ}RKk_w.5@!qy8NNT7Eme/,u/nK7&7fM` ƻMˎ+KN!>op`q֌.:YjN1-heH^h72FX$p/(B2O<ߌη'`n8(QE,XpW+ۨ%z6Z͓T N􏨦Jr:r }+uɕ)ԑ&nHbm˹)_zx[|L;eLMލF畼5]eJy /U\{WcӃvFPth":q*0?$7GY Ѵҭ͔n"|I}) HiXg=*^} iN?>67Ө +gB;T#= ?mp*>/X=kW$"ePs&S1Koqf;oMuwgk+΂&ifkENKqu(zBefF3z=oCMZ't<]d<{c|HG8?Q2ЛqTfoAN7&Xq(:ҩU !f~K4p.;1\ Fp\ +vΠu'e5"杦 X+~m奅_W&&m8>q6ЮoqL|eaMn;gMZq kn+6y;Z}QYc>}G)7X;n1hQE Kt'0֑},;]>G@$PP+{r]05,O U;H%{M#KHW5ǏI9I ϶%d[r`6'bZ<[[W],r_+?lqZ~q?cɈ)e`QFI' tK4 T0 A7\$ 쟛4ě̓,{ġQsp-Iȟ3,t>/>3Ը&Y/`Is3N]l%c7޷x54B 㦇X$GU4bEJr&;֞lLV˭{!JgG;7Xk YdevOA %숁q^aKRK2W)V:6\.#j]tөEy2YsCU-\3!=йkG"x6QjcwUKc8lμi=ۯ?JMԕ>E@ p?|˴m';&=ü,:(3tB!߁`GLEr=QA >,g9xD%Opg84̑ ul aҭ{eA&kME'?}R&[PxoR h[ZOP$j Ko21ym!"LS7cKv8=KI zSp1f+c 8xH T@?U}VRŃAL㳬% <|0_\VCEq*~}*;JΠJSS1򎧷G gB3R 偍U @ ;G(v]HUC~ŭuwO}<߈՘{F|ו%k}4V6sQ4.3 J4QTO@fLs,>{gوQ YY3 Su) :'˘&3 _Ku8` B̔Ή`d :C)}a.˹xxtгx˶ /x*Q/ɫ,-\N% PdoN@&r(yW5Q?qㆃ0`+vk>'Ti7f`__pC@pge9`TwRsn3;6 GeI灈c:^w[7EV{uȓ.~> "IwZm.G L ci+YϐEe2i wذ FD&=ΝAú%V}oZ=@ǰβeY&iyU{X[ZSռJe P`(ѶP}w4-sRS RȞv_wv& XOf((&lxdAo_ J99Ln[뙠[ʄ ݼ(@h"2uUKpr̸>\~9Dzڢ_R( ٬D3RRzp<@t?9}I]vf^U( E Fy0p7YcS22/{14HT8,̬͑/1x{2?Ns8[㬌ugbl;H:f6JZಅнNV4i4.,Y{WjUǗ}1a\Đd!uB/8GDeAR%|WyW,ܙ{ZAx^BLQPwfW` 7W౐I>4Xgw h[錅]xsF; @zijw8x,uݫ8iSρD qK' *Uz ȅ7։K<EV&nnaK6qNچSf~,:JH /IyP9 7u al=U0歬r e)N]Zq# ̻d7]C)х|NN}.6?E BhW Veav-#kO#|8qsz`\iPޑ9YDj;Oв4*x|xϖ7U gէ9ry5 Br,o1aoг[o s CqC4( և¦84akGੜd' EIAZ[b yFrl%_ÄWyu*{Iy :H[~3#$4Yc X6(8f5w$C.n/"gPKj-׳'z)Nw*/sEUy܋9u_[]Wy2խٲu@dtV!G橗J7iAMʛ'0QsMۊgzoc/OGU<_Ed ^|f:׮WKmUd %Qe|%d ;`9i~O*;5/SZlt5xeÝ֩ԇFjKXHCSlIi1SȨ ~I>wAϵ26ctj-eAa0^2rI٢+yH~T VnsPfyQƲҭ V81MugĎX&@,̲\BY_&߁ iNދGE,xkF2ET'ĕ~4D[6G3 K#]3%3nI1O oMOӊ72NS5IZ='U  )~mjA_oEx;W| S[wuqXyåD~?VU%GoB''seŅ}DG8p_<@lf7'܏);ELxM/7Av n맪۱ݹI:qр)]ĵߢFcG"o&&ꅒ AYOPMweuZJ: +f<=eb⍹TXusg~n\Яmfe+4 ~!Zrw[C6^f-i(t7^ sKo!RA6UITt΀#ÛA Fato ݐ=Y>=e I3LwM]Ag ,Q 8O*VuVbBZ|%Ңw߇&3\Vʢz?7+G.Γ F_;pžIte۔r Mi5~2?oj[ (4WI5stYdi󺡕,Ռٟ\}s;"A yQok^ l2& {4M*hKo;;gaiƭډe(>jk6wFHTT]p-G_t=lC6߰9uL89IUn'V5Ic"hݒTo-OuwП_O BQ|Dy`} `"tBJO/s>r6'i &uާFM(<6,pF0쨓N'꒺Mj8WEF(߱)I,C䩴 3O=F_ n8C~AbY]G]<߫mI./y?bBY2ҟѰ47tZ M!2:~訕% qڥDJ&z(*=0 cW4bUfJ6jsS3WQI \E^/nY= ,4-#*^IʄxH clF UN (ʵ ̥T ؀X>>f_m|Yoo0wne>4&YRdV\ށ@Z/sp!^&B^tNB~7 1q+͸YU@f&n-U6F}9aޓi(.3Zh3`?x>5GnRuk| ӌ;NG=Ԅns7׾HO%0h~kY!YJaQ:#6U\OF$|]냷MwT4{)9U"N8N?1W@\aO/Ee8 dx9#g/e/N]\iMk}|Y.'ڣڋd@H9~ώ[*\v}ڐHݛ~z/;h /(M4:pus䛙1"K|ƇnBbQ/[>sޒ"GNy3{ xW{@nt/*Ev0DQskSB؀žԦY?*xݠb!u]k8.쯓 1-Jyf-G&fLtD/h'UbWjZ:MɊ]uRp2(Ю Җߟ9Klq-|@DH7&# a_Ae hdB0ZoTy܍ f ~M@^eAధqָ& {}>巗֧ =BKB<5DgNl.!_cHFžCX? 5k$[_Da?A1K|d\*ŋg(ɻfTʠ$bip6ep1Eom;}QqXXW5Qk.&/:*o)pCV&6A׀ࢺmuK}ߋ/ԕ<LԓR%Yny/ljG8b"-ɼ=EMixJ|Bz U”ZvJ:=G}ce_+nP@d/F| Ecn2 ac# 1G[>>5|\B_?.ʟgDl ,4FpԷF>g==b~b ]FEnٞywl(=Ȯ62/[luAW15BZ[h{7)͎/OVJZs0rوDØe?.B)u%CS g{ЀZAƒ>rE9Ւ.%UP iq P ] fyy\nڬ$Gɝ|ϗg/e*MEG;=gqJ@?5vol*zwXh*§uzpϱo2hcB:&lń5z3>ԲVSH d`qx$ uyEZA̢*ߝD9=`}xWJ>5F܇[ݷ@YeޠS_f2zwQ{8WŽ^ֵlzO< pQ` ;7y| H6P0+,b:F ^F+U1.@@-EEo[󂥾s4z %ܜԘi400."M3B;VXsAcF Z _Fx>?\Npq1_}z4`gΌQ5Ee.݃1Nu#r4'"dQEiQVrGB7mi JSmO8~.h5ĮnPR,rVFa+W?v (:gYIKسf/уrYGˤݕ% O< 99me7˺ hΉۉ`=QIl5Id<} (U8wgܸ5f~]Wa ڪvqdhz# RC+̌6g^V@ ?t8>`{I U7cvp9?\TJ1XVPj ?f3m)Ҟ!ko exldMtQ|0o 'ܠL Z63* ;yR+LlelW8WunѺɍ>mc;' m&~#$^$2mXc":>lq3CI֞ EU/qTZkBUqF,pģY`c~Řb>) =O"v;hpCmS֗~#Ng \NEpЎ>嬨MtL.,#G% (ZZM5 ,̫MA)gyV rpuO7"tFF:6$8%vwK,p(s cڮƅ`z;ugk*% _ bgRPmŸG>aQ-P0FhtWZFH4OB@^mDV&C[KK18C^e iK6+l>/cXH\ 1Q H/(๡,J Iv$ ! _t>ERsOP,3!IN쒣$z (ǖ/A@C\3vjjY  OIȯL܁1A,gJpz#~sq2R0#ӓ vm<t%a izIN'qHAcZ ,ֿld&=&C}R|DĤS"N_qo Y~r|86tqmg&~0Uǯbq 5?8 ?z] @U ʅ`D> i!ʆhœ?N47H5y%N+V:AP}]uC{1#ͯ}pE˂g>Bz'$\xb ֏x7" ^qۺhX|7 JИEL&2h.&D7D׻-Lj |>#S3fWqr4?X;o~PhWl)>47=LWqt̫>dG EJ/7'5^귢]X@( 툸oK9?LYH&ʩ^G(J)WƵDz$Y 41>WܱOkqjn{ɴ@@MJA1xirOq? !IUQx[Y'rrL;9,;I_I%W>k4|B uAϦ'`KDM@`{$fYO׻(v J"|pn x6Q'2'[֔+ig[do.[JE[<)tvn C,W]ſY_->UP(\S'Lц?6w)5=' "Q4,yzU<˝fY7gJeJVd7oc~)e9G^N fFaMX5J!Zbl?H7ru#2(o,K00b!eSğt:'Z_䷸|pЙv"ޞ^$3P^FUBzdenu#]$z7%"qfg8-[ۡ4A4p_8VY X'o*6%}B[f-&lۘe߭TR].Yk6&$F\?=ėNTz`d >;cj ~--D^^K,Bخ+B)] @NxV KIMk9`0T0$iXCn:#hx+s{ŐyjFtGDhGn`N6'gkK ĚsI%5t5O} q^+%)f#%BY R<9] !p;CN.5zF0oiG-ɀfj;քՙbP쐘~2cmݭhKe{C%s;7SenˍڲJop\:vDZd)YM^eC^)&<@*gKYdQܥ3EW"S)ڣg֬$BfAhLgf}Htǧ-ygEn{it 30Y!T <;1 /yRs4l7ڲv nx%2}u SI5S,S#j^a~^Uqȍ=AثV) *[Eup;u"1:Ƞ&Ou&|dq7FY)(\W#]  \|7.*4Bw%eL6_@N p7ɒȘ/lԡ@o4.4Lc#_U,%,̏6ଵKt͚|7MkKxaH~6oVo+99c+t "^f'b C*&$2.t!:OAn]%J)T x@PFHBߡ'i /U)c "C{)̶$^𮦥{URνyf%<߻aMvlSRߣÉ ~[lH1c=>w˷īW N~_Xׁ8a"xxD\T>*΂>ںC&m8}Mw&甴 S˘t .F .o'\C߰rSFȖG"Ίyb aglL%X7g+1ހTX"- 4 ))']$ޒ$@GGOjlޖ.Z!INiyB[u7P );݆ըFx{;>b7D^': mx$X0=\s!f qum| Fd-Zmݝ{Xߤwt$^Mpn$uC%7N\=;gj݀Ӛ0q&uSNn>@%vm)vdZ+!܎4C?/aa]ɠ?shS'8qM@%SH/QtcjN0K8\J٨~EH2d9Io}n>.1^zqZPXRY%ԵhaG5vXknhDݸZܠMRfj{=`w 8+ IJ,t[K{qHms[K*c Z ]f>9eZ6̗M!gƓ QZs#}M崂agJ4cKp.6^edネNBX\'"(Nre q5iYn+;y6ĤG{ Vo;VÖC8roȣ;(( =7֠eﳨV>GJ|V$p87bCzRKؔ$ +oٞґI\.zh@iSQa aӐ L˛Td(Ev= 8D5㉬pZ]hMyt]{sMmꝁա:n+қtP#v:zh'Q} 8'\a(jkfŁ {՞>do tJB-cԭm!n]eK9[Ip!+}SP90S9x'sz ǧH1l$aYy{[X&2q-Wן li0S %aogwHy1َBEϩQ@ MR+wOmnԿXG z15юKꟚ#7&fiy=,[ s;K, xWm6|ܥC_G:NaL2^kiK9ZOnasMWF5YŘ&jLƛ-g"DK— ٯ*#{* 6AXr(SS>؞KdE"BQ~EkKsP}lV/M$@uiC/|8/ /m X1;wpLYD?>M%@7W4(G7Tnv񡘠Jw!l4ʬ@4<9ښGt+awE$|v_dM!3M !V6. s"oҮCgz %Hb"lbM#K6x)YkM``;Ӑ:a֔'*8W;.)p ❇ tYʡC`G%)wQS4U!VE <-W7(9a4K*\U$W}Q`y |[dgD7#q|d($ĉHt|ن:+bd7€0n<ϙKBclLMmwU^\oۘtJĦ4K+W#Fʡ5s@ 0Ǽ(!C!aUwUMxS熃%!#NțngAFBXQaL]bba)iK^ˀqoFK/6W'Nwk Fw,7Q>؆5x)>>} c j=yui =ٗTT|*-22A_h%;<@=]J)1 #M6 i{ ClaV-Jѕx 6_~<:\z"l:zŞf+/ihݏD& je-Z .oF X}?w(SrޗH_lkXJs9䫫4vO*tŗ/-v[&cM riBqu6cll;2VhElY2@0^F fg|fE+U7];p`IagݥS!d=[,Mz-$Sѹ ?On6ND.lI/BIQeU'kYj^ўS%#."Rx.B r*;rTp$.~gysjv(վM ;{~E ݳ"'dB %~[ 27e{c45um{NE KMh#eԀ]1h?9F10)eQ2n5e>g $*mH bYwkP o&r%gYZ7zXZִF! %8]ŗXiɟ1˦r!cHkMeBd4*%4$/QV_+e-j}XtW'm~w _)T569pCgwhYƴΙ&^F'r v(EUh95)=q=@Q_Ѳs}vt_6z^{AW>ӛ5cQtB [m I_UFV k11񵟲lm~3樇B1r ^E1Npm  M\B^JQ9zn_]C谣m3{okgl)ʊy晊f45-Jy֬pYlglZͪ*PMk=g/w|F7k XQ5JmlQ"tnl*U֖4(Ci?݋ٺ hZu;Ղ궊њ*vs+Βb'Z]~)3\'}o[Vsy S<ٓ(*16z}h)Ʌ$XҮo uf'-0IY=T`tP9?'"ykdŀ9/>aUK %Ty=2*bJ-pLl%sV.b}WUU$H / fle(yݖOmW$()YHm#b}B8]*2[I)&~49@0i #Q훩bzN+)A4"fNq/ o_tJn#i&}CMK>;éJk%?ѕLzrNuEpDgo 684uC,7$)q`D^[A|+_P|Pt2-|/R*k1qE}6-[ջ1x`L3~踀dj-OےP^֛nܻ>'}G:jO .#Ŵl9 ]ے{r>3E=Z4g"9w:ZY ϻ`O>/S{pX׬3, idt`GuK J'A9ժ"N^As`26Y5QB\ Q2/z_f:e#vq!ಎA-i@,wG`Y@*K<Н鯹I׿ a!i,~B 1ĭ4\w B~{psG͌8%L;Q@tlb EO_?H:&]Տoet󦶚0~s(k˸:vlc"wD5pɥfC)1 o|5NM)TSv K4Hd枀& R}vsxʯ.1쌹,cuRy| &D a4p9_C[Y֟c%SN )q̑EW,ColYz% J)CYѢ+0ָYB;B\e4آÛ[8OC{}pdhY ϓ#WGiOMNpl]%d/Rg͕H#_{@Y @c}0zyu2T!p<3g7(,w표jvz\zdTL)fJ>6R̊;$;TJ6-&lK;bq{\#ҙn/ /p놴_}J}U59|Ĵ-q$X?s;tQj_Ռe@vVgX'T`iH!av\=v%`zz ]S|4 &-O^vBu:|WW1ubVC,e㺛w IY sE_~ }ۦA{{?ŎnExn/EGCȎw,Z閐ٳfAn",°8s:aT\H?\^ g9 m8>#vf=z;ubgXpLtC}9ϻ[\FKC h[ZZS`Xy΢&IƵ'J&u+ݲm/CD +GyipdO}amE=.C:y{=sz-8]wfvѤVt.W;K58/Xͫ ZapF~HQW)(cgl,0ϼy9YV蝟FtTP"O b6á?V(-yΌ ǵ]a OJfݔe8#LʩJx}1E7'yk68,u`b:%^h[#?f# &X"u6+,fmey"Zצ]$eD)%C"OTm0ju^ĹI9mUn>9 ?>(^h ]XdKur`=lorI53E:0M≽aQ84`Ӌn]q S2i64k{Qgs٨ŵaKTFqó0)jSvRmlZ)4a5i>UuW炝d7 L`#d6Ҟ;ʊNpЊlᜤI4kX<~1HѸ =d4A|ߞl2r+'AT>GɶYMZE$u! ̄y%~&B;Y[o>MKeEV>lqW hD\E*2ިK?V7 O81|%*c3IUTòRƃTK~4MoZ~K]v<{/,ThMF'oi3/da.J'#Y)_cRC3,JE>8վι;x%*,'7:C'..| (cA*n/<:"Vu:Mr|H $Oof+o3: WFH"v5G1K Z 鄷WN$Sy"dl /  T0gXem1^F9H[j»G2-RiiV.p&!ZK'*PF{u%^h3~e5gְ$.Ƚc{e ][.c2F 9.֋z+?5D1YRKDVx^;ʣkqb`-sP-_jìO8Q79Vx $cX *&7{<9Y~=PW\'o;#>Z_==ޟܲܞKwNB&z;{ (y4n}ZNۯŹ|cJR4[&pI+_@!Ž U'd Cnر~.x07ס*mj3"JjH]] OKвOn3+ E8&FrGsUx#»[s5c!#cKUē" L^(\A{>\GN\K?iw 38B/‚>whLó`9.}/"rT;V7#aՉZJszwa 86$1\#S5h')rT( \㾥zAl#&Ș5:JEגj _G֙WFyvomFX)l z G9PG.ߓde^37B҆/VDӱ::nhf|ևرYv`5YQ1^UM\㒡mN1ә?HVĐ سG#*KH,IU3tsCZM$W}<ϒ$Yd#! ;ŕI12m \~q>AڶB 7.@:$U+R^ {]/kƆUK7rq;u =kPc GZ}W\Nl֡C)E^y(kTj'3[rT-o6f mRbR(otKA_8_^YJ]mV aud!6}Ϊgm{ >UplL81L%z7(5\2A?U /ѡ:j{ LZī.FCߠ0;4XtѲOiǫ5mJ0+`u6øJC!LL4)5#wZE"#+èS:m!HA}bHf:V|mM;-_ xP&{Bu/3-?Onr2= >rRP=&0Kꬹ7Zu,Fdwj9mmӡtlllԘP+v[)m!ȇ9巶\<6ʷh%z1.\ˠDP/ٵs_롓)܆z{.M$7߲=,쁂Klnj2 @>6ΰk3%t; a}ju6^ O= fc_ޜT/]IY|U^]yԲeÂٵJs! yc6tN"3]~[-Np%W^k~N gb_*%:Nf ۉ ,Qn">`S&SZG9npsR{SÒUIGWJYk/'K;p㷆eqSniNiJ,ܥN(DnD2_;wˆJ v7$t~>lu.+EzS:l$@EZHPZXtZ!؃M2,4p-h}c՗d: 3?]UjƔ6c)a5:Ct3F}wpS~mШ6{4x[C"K)bO#Wq^F*ŗZ;WbM=ikoof!B\FH&*tjm] RZʇNL=_=kL)Fq_- ,|Ƶ @)ʆIlHUf$VTU9%.qT^퍉w74'KWLJHفvZhvx]߮`c#k @==o@0-jO%ʺ=K*k`g1SjDL7!Z1~49m#F^EThKuǽdIէVhˍ/P@_#>,ļeLC˿Hkݫ'عæ%>1AGM_ V-QI )kZىCA+UA Q(BnCt<_MqȎt23FD<1Hx8fpsc9f994W\3t2lnTzi׶]??%weܻ'!!ߎ9޷CeɘwOFt=ɬ2ߤMEVّiG-K ^a̷WfxG)7>rK3j1_ BQ* )5?V`ڛ?`\aC82(O[ V bn(L0 FsSA( }{&쐎Y*FLAPɷ iـctB>כ h$j-3uihM<7flX|W!ӏ婍) ' rT.GZ3xh|ckHa3-<ѐg~؁jg]44 r7xl3 ,AN+ڎyyHX|%bFVkCȚ]MLvˈ! X=g̋ c 8g@XC~K`׍4& T@K; hK}jø<`ި6qA G8!y45tRLM+Q.qm 6h_ Q9O eM ]>o aex[S!#OO<"Cuw2=\4QLF&53t!ewƏOkN* ҺQ cQ_O1* z`ukJ.zѵ.$'sI Ri"y1 E!U,bKxn+b8~-LT~$@"s]a E/ εG>ЭÛ$Y^@=w5IbjY`dՁE §zfL >y[/Y}J,W|{X(?RCfVoX.3TχKj:p)m?G3TPXiRlC&YZ9hT52D^R-֦\Qtnj2IZH3=.DI{{,%/,`3UurޯO>0G@gY51~֌ݬ* ΀v%8 _`=ev-A[7bTmb#}= hVgqL'G4YE3%)ktu@DSPpi<7 )RH~ Pߩɦ;ó :e#qLDд_ QB-Q[-:z76ZeT <$ T V#}Z6$  θ*[b,,7^CEIgfMk9M(+|3D9Yɦ0z-@W#>YlM)ՈPD2l7uR@n䀧PTqKt lU+;8;(a(0v.R?ϖWmQ_W6B ))U؃r|̮Tb6g_ k7dH[t䇬9{*[;{ ŞZ$жdo hw@n*^x/| *ƦIIa@5t{ H>2f+[¤{5MJ3خWrU8DtpKL,T:.3LO=(p~ mO,Q&#p)a/+B$w`gK֥%7k!Hr,{YU'%/'Ѧk$=F:G: [0/>nX3#z]\u(FO:kk' yX z`ͯ8xlI{c:ѤԏKd.sU6~I;jw|!z;t; }h b4KyIpǝ[]!h麾ٮ/=c0haAaNDKh!ZI H%O՘Kn'm/=\ rbL6|_g}Ռ5jTA9B-$qB!/qzJ L"/ӽ^72^\|J#1RN;#QzZA^c$kR Wp@yr)A`ǘPB>2v~)NF,9ؔdo.O+f&RZՙMo ǪzDp-KCS_Dܴ,Fl[d% n91=?@B5W`.GG8t,հlplgj.4\k's*-wG&>j&Uk%;{:RƄU:8Ǹ'VV+FUlұ{P^o4J-+uLsҳ:mM.1/BܩKSK1s~4_2:9I b\TJ<"&>E:䯻<| ,4ԑ9}(xˌ|AGzia-s#>@\(" ^sm[c3lG7EA4V%|ˁ˹XWnl(i}Srsm. Q) 8Pr]R SyTIeК۹23Ƃ\Ȩ?8%(fe5!O~#]P&E_< fJ$H0 N$pɌ8 t~ !;G >e|.UkA75^ ԚߺZG%>8~soٮ43Íu^ߎ4? EΨ6J̚ %^^_M\P{g ! 3.o@D ب] 9CMx-whWixBrYu\G}>Ok%xΚ#FXTF7WUSg ]WAyڍ;XY[!sJsOP ^c0+(pPIX`(6˜7pUjӰm DmqT@iSd ҳN;5G}mZI |R-ž{(F|)y9iyv` 5?Qr/ Ec h\=JO߲vv7*\p՚nU s mi`1 +VV!ϐy/ i_zE`G\7*/+6]QwL?Ccl#jT,A%PBοSC6qjr*b&⁖x3bM5 FXsb(i(Ll|UN[$VfG^gI-kŎgQxw^#/|%-uR=Xbi '.jk tи ;V@DD#b@=:/B08Z´px$ȔLx1R9p= o}s Lil/M:ļB?иc8{!g.-؎QPkm0shW"xM-ğZc,vTRlw>RK_15:WpOGr#/Ρ1hB;Hޜ]^zP?3hnٕuw53` ԓZ>"Ź~-UVgw齋oyHB}1+ea7ی1lsq ^[VM_KYp uBnl>J6+9VJ'LN|e ϡKGm)3q'-[kMriQQ4wTa(Z'?DmL-T;P$VbdZƨ9\76wC(<5?3'8F].|3kAtÔv܊YuvRD C{ay^ eAz#l U/]F}K""A2[k("?qyIHuWޤ[^+|G,)~OjȯH~P(W&~ *==p™ezFۚӪ|iwRt>q,2ʙ5TmwJ.w8Jq-;"O,=kQ֜TRVgz߯zo! A~e+ZE] E)frc iF?!-rvfDk5}U# %KZ #n nvn42^w凨[[d/N|]I{d]Q"Zgt^GcYN9!Lu?\v үJ z{E4jI|zP:M嬼ۭRG^[ư4F."\z^]YhE-[=!Cs%1;Aˇxmyck>`ؿijlS̗<3WT?%x>8{/gT;yiم c+4L V U/uJ\'3\,' Sm?ΚG$B6#mIfy)59=֏m(|,!?g{gt Vl(۱v Af?'>ҚtfA„]S&%=tG2yzhV}\ OCXy8,駲.z?Ym0s-1΀qr7|Ǿ9tJ@ zۋ\o .o"0-[#ziq\ْ/ 4m;D8/.Lhu~k8yO~$%?~)AQ8|Ś}Q~q(v,"D6g[vJw$q#-o pZaw:,zyhd,盧Z ;SjҨP}vn8tj %IX,1s<$ ={GGkt:g a۬d,A'p!}q05U\| ]PfL]B#fOкq ilփE ]ɥe`7 +3{=fUw#xcf32b9hHP`?S@*N$+,Ȏבnwckqf.} M O[|-E7*!@EuuM0ϐŨ'VyB5P58MVLtEjj7ҩGHݡ9G/O$* ZJ],A݆ss|v8 G0)YRJ;O~N:X[n*G;& b˅N?kۜV2nJv?bc6+_f&@OV<$ȋu̧n^e05@|3C903;:[x7  VIix6{/W,{jE-ɹLtp^FJΆߵFɧ{؄3ZU3=7sf`$$S#I3C j-R>=Uj'c9)+C5UHCm_xg=#"5I`_=BRXteQ>E5 Z E޿/Nj WJgX'.e˸rT1?'ѥ^lj{~fWM2AY/7e`B8Ԋ]`#0@K,b|07<%PTsO@Wj㜳1H[>Ɔ]F" Q]"<_'x4#ƟoqʟܺNuFEO/pz&[[ɬz;mJim.1_Z AέXs:Bq )H nG5P;^0枙7l.aHB^L< c*>Yҕӏмv/w|Ty?^ AIiа:7!X6oRgChrs9=xc$ ,ZS'%Za}=]5!=ݡ^*d 0sj\HV9mpI[Ub;w>d6F |N]| )i xejPKE/zJ%fsuC?Tr L@'8Y?~P֥qX\x}@oizHT2ݑ pwsӦ het²Az+ 9#uіg?8+dM+rQw'sQ{Z!t3hbOϧ7e۽^Q nM{# ]pTI) CK-|#?JL+]bOR iH].IiBx[x~F;:|c,pȯ荒"^l2ԩfJN`YdHq19?H%ɤOH83^ͯ$K4>zsνo$lcՔmi8?ì"Ol L\jRk&WMOzW4sJ މ䮎=4ASHXZ >>es"-IAjJMCyFRLmJG1Nk\orݧjub}ӍIqmaX7d|aiw)!;T \-rᑴ pOH}uc82)dU#ʴU# k KD75+N?+ P 'ޝ{PVYiV/&,6l\̸Fտ5wW:23bYG8`_up-r̽PG o >I|Jrd|ckϴ ǎkjCyvؿI6M]J * uͽů5G7YYޡ0ic8;S-'ÃWt%,}X# r y'gr.̕;>Y kۖjX5y¸3- o>Ē{yy&Y߂hCwEly Ύa=iIH,gaaCO^8')Y)ۓd~#fŮí)pzE$NQ J$bTdF䈆nM8V"^/vHo @8DOfRv|ѕ*UJp2 }=1,hI>4 4iYwdYhgZcb/4wRd=O+D%߈lo71ѝѹ e]סwN&;,9`q}r;nggOGR S "I)-ᙗjVZgA,<jqG 74.a+PwBΥ0@.kSu WF[82\R LpHk ?ŘjbBцa1PewTVƐb(X;fos MC sr\4JqclGBʸ/aj% vzѐqqμj5WZxC5ߛ쿕-}%&q6 ? nU9Z%v\b(Ir2sԾa>O}$"<΁H@KDӹw<#C4byM{PgkkDOnø=/?WtUɰM:;^/-*)0S0’+\+tw*O,ilq} s,.1S CceoV 6E1BVM;\62DD՘?J" Mvy&([iT27UudyYN<7rG>LݧZ u|Dg[25]jFܾ~w |q٤T18p ^da3!z 'VCXZJ9zTLfP}M Z;GE5[I !^#ZP벝 ysNJXaX:*pa-^Xf5O|| Z>})k#WF,uxh Gc@oo %RG Y&1(n$Dw;ox#mhYMDCp6%_TcZ9K"jI_sRMwzb+'BvY犆kYz0Er_Oӂ*RV5JAC⮿fB7 H`x]oP/p&GQQh!3aF="*бeIc ]G6s_]4G>1 ^W29g2V5&tT}+\Y$#KӮ|u 4ڬrOT u.dI˹"g(q5p fd0Bi/!k)|B#~)[+pbL 5(AkahGpq=ڢ3 $ ;8GNY YM -v4?| o3'qu ?f[ҕ iCn=.?E|б1p,SG9| =NEfJeHe)"oH5,YtJK -H(Nu? { T;~;b"?^f2Py:4`؄wyQi S& qšiIZM+ѳ`*^>Ձ)`q)[Maχ0*F^Grx%QQi}J)ÅoJ6ܜ zjאf[il?aY`_y&e^v{ZOUd9]'&Aaa02:`02ahg 3Ɖ]vq9ŘMu, ӀrzlAU&b|@J08XcT:< ٍlC6C\ Wpc1I FnZ6 |*BX?T25W5O nRpL= i?z`Cԇfc@UqMڑ?ȵ58[ՅESYmY* 5C4P[mC[uf/2[lkG~3DG9G8b{-7rrTl8W"r.GT \go>(xL:GY\g.JhD`͐=y)|0n8L"G3#49\Pv'w4[lٜ5-ЙCKKe"<'11 xugȰ`"_7`ݴ|7TQI96@;]ljϽ?Amy"O)+nBRw~8 hRY[Q]);}gA$sc.LX/k=aE|[r5qLFWy? Ma֦\< 3roKa]R %¥kUr ~ 9buV}%r,j<( o`'#usY-I;9[x_KA+;m5bݘ*"SKZ'uܣ.dVBI2=. u۔ ||Zg6!˖^O!c&c}YiUXWRmtɫQ_MӋ!2>r@ 'v,t$,P.EL4aS@4|nNɼR]؎~2O׼w@N3|M%oK0+ Q(Mm X! DH㻸}ZltTQo)t7/7ZZF y7{skhjst<'7#UP^1fEhBjpY UM{%lm5' haJ!2{> X]Ɏnt\ 럫dk^>y\sFd໩YHqWPlUA%֢''y6oIq!^ BwTSPE[nCFyi4;]rpLn\ 0&gAZ#zeP\gxZl5!F46&x>PM_9e&9Ep0k;iss 1Vjx^8|Y'ѳKNz dxj(J 0 Gd,ج׉}l\'GI`66L^tU3$mT?y֦\%z&lQRjwV Q MaXmv)AR`Io3κJ&B`4n Ȭ܉>jZG_w M8l~[vM=qZXEۋd+*F A&<8(㖹Bo 7F&l"7۸L ?%YL-r騢gݭJa>ңZ~ڢ8z>ը#.ejKihc)R#u81lU\ՃiD c I9牢RdfqUE`Oܧ.` f,>^՛Y$(inړ̨⨑2(t`9#QZ=\OsFo\ṡx+(/A4T ȭYNrKu1&&-}PU+rXd]Z-֘+㛞?\xJ@0k.>,}KB!F%|@;$kE^2p5**ahOb([ʢ8tId<1׆2-BtEw+Z)E"߳PęLR̂ 97d90!d$PTxrRl&lSW瘫o~2R ~mLUf-gJ˔:Tq:ς&"TgVQ6oX ֨@?h^Cr$FqE*2̄䁍}FP[ÚڝQDu7×8 #dWM@Uo{-u iOѽ( pEõ)SAքs?e⁂#ItE&]|)ܥ+@q)y6ׯ[gJ)'=7QNvмBz/ۤ=+E2̏d2\x]ߝqK ޗ#xN5/WHeo&!?KV|VcMSYGtM&G?L Ɋ̗#@`4M~erַ= Cr=x?8ۨ'KεB p9)/4 otN-{ⓝP `3l1v?^QiUm*L[*'KУ%K^RLFD ] 0@J k3i@?{3UN1葢g"͐e]JToY,&FI~#iܟD,׿7$wϻx2W(6Jdz`F!CT'}x`ՅSGAM|Yz7[, j$ ]̙ xxHfI!W^W&TΧJ[Ioݑ8BT5A7[gn!GvalXnh{P[],6zx܊rKhY.$ =좘a./D!Y$y?y^\M﷚?*wdKb]#gɽ|6ѻwX \Jh5f4w{qp%^Iv*J^•n{yg',jн^>0b"Ks*SYei=y~Pe(4@I>"JG`qZT 2+I:bĎQU^1.q,b[ǵOti珴=>/a?;-*_U"jVhEۭ<уr6Úu*EEDOX{6\CAO\GkĪӳC"vtz8x.W݃.GBDei.M#{{jqqZt c%I(Y7x^8#To-Sf1BիMaz3᭑p˹f?BC%?MYd扌o__YE3f4 9t;JB]2'6IS^UX@B7]F(2SR+:S[YodY4]z+ UogAYk_dH8  eB?| pcmIdoEi]ЁXDe2!dޒVI%UknkߟH[o¢ ɣ9 ~O]S4Mv 2Gqs! Fo#RdI)9<5赚Dk/#3ekEMcA<ŗh3To1_|z{3ڗjW>s'Tq&};x!zŃ'H$;5wOjfW5cʚE ~[&M˛ޜi۶јnY^M'9=ХnqV䀡&(poz Or9;A1- *$zIeqAZk K ѩ@ "?B LW uta,8*T z=6~FӗMʄBUԖƑvr!㷊nTled;[Th b pZN~5q4oޏ]*K J-9 ͝zޫ'ڣurd'kK]yO_aDg QDz+y >r3y mAoP${iэk^[M<B+bhҘgD/ cn_Щ*E!U u#C zϕuV/ƅ 6I;{;œY)af|.m)8[l? 9yu ͍=:$U(b oyu&#QXӰޜX.1SdR+hѽrMY* `gY<{,|E25o6sB^PAYe4f^]scIm銳Pt1J(+ 8 [09"C8IY\2VŒ3v_eg3HKW v@t;6y?(u-}q-IPkP]Q+ڐڻW$%+K1**)VRt}s)Y:_첑~\# 4V3`V./tU -ӅuU q1lI|$wX0ct;bY,dƕ io)B,[O8C'"P3AB>5|b>" Fx;ʷYX=62t7Kph9>0; $9jQ5M08C4UH:US6 t:úS@DHo|؝۩|` i=!GK(Pv jQ=OHw(.xwn k;ݰ xQp* -O2D*w%Iytcq־6}#N825NjqZ{fXt+}bE8'|Џtx;$PMP5E=9E}e,(g Ϭu9CӨ nEr[O7Os]Dl4iEKw$uNvK{s`6Yy?ҽ"U7Z+pLpBS.Rߎo+z~ ևzG6>4e1H_.ɾ~ؒ3qFV c W/,5**+MWʣ_ 3O'x)tó gzƣ#*f ̗aWf͒LSu_9ߦ11!Bo#zmD^T`@lnUì+hȶ!XsׇOW^>MGQwvV+?LO\V{ү3~[i#q9<8 {2ܚb%<[5wk}Az mRUb\Kr{7Y1]jBj% spFz-YIѷ,7/.=̩d-bhևB;F+H`=YgSd[ݚո] Yw;BQf .?vd2j nGqr<)]]Awe㞝4/k6(CZ;0𻲾hۍ33FE.0xmI,| (+"A&%Nehi$|휑(uώfQϷC4eWF"%D#0r'=F_h;Dz2*vې? ~qcv^룙,n#˂[ibWplKgT4rCهZ։=2b+M="yQZ# 4dHg(9 W}SSZ$R^J2qlhdm1ZA6bg|L#SێSQnH-BN+ܹqLO^fZhWpwKiu4gA^>MxGRat=W hގtdQSUYtJ>Y{:|ENc$غaIdp`dBV7UM/Q 5 /ѻ̼fV/`|e"vX&IDu쮇-o/ wC>\>Z֫PBs%SNs 1_{GjEOVe&GR ;4|F YHa u;C;)P1 2(6i=ew?= nBacՕMX!j¶6\ļR`'n0ºjdDCVچ7lzOR-  ht,TjCȻհhP䀐eUb'=ZZ]D[<#_zuDR.,\.@Ηx@<9]Ꮩ'Ҙ_Sc; ҬRSŝ'K`U a/uG~YV$OK`#U[O8U6X "{<+L"70O?pK[-yS Ҙ,³RfԷb_ld+i)hBRf,ݫ%9B `CP]vS{VIۢbV+tL3k[0Q'P%i'CIޛ_HU{64;_̎fld=x _*ܵQapUr~"}_dI  Psoƥx}SP?x[ >K^%G1˨1nTwيm>vACd{a;%$<$(ld7g3S}x8(MW_ߋ4cg?y%0SSiDA'B1ф9ؔ[lY ٲd50 /[ R_~cyH4qZT!;`q'$ѭUWn{,ӬD3C93Bl_b'ŤzRAfÒ)l^;جJr$>{TCnX a% &fk&&~gvIӁrEAd&`j(5 U4^ZW.sDc\rZsȎ4< 3+nq\^^viOsԻ>]Tc `zV?(<(ϋ[mճR'"zo]8LC_=2\ih֐k+iɫ!ɪXDGrR3 ޏ]Q,ShgE!esu >ZeA1@(dvέyʟ a%,/TbPDˁZ;@'>qzh;jxTWBkjHk@V_t8*=[sΙyg&9M3]jسkYͣ-¹;SˡoV-W x<:zG/"}B7Ik-dq f'({"{Gu 0Cr-:ץAj.&dZ =gE.9a:q$NRxox-ƚiomvIj%QAҏȄ *:t ē2p,g~،P?j;GKh;?ǰgq5f< s`zҨ䬽4_QOpqlF\ X!n;g64 =LI|JIR}ŧ< &]υPJ|x0 SYrc ѡɄFa> }],rю_$MrJ 5pySEegĶV2b~&cf؟Ȍ+Q?41bˡ Er:Ie {;iҽb?9ο>9;/Q?0 [,J['-a\$:^'}ʟAP@`g䎀]ǼV^)M4[UI,Ҕx<+ ?YvwNYume*) O1Y-V Ohqg%efbN`_U~>H$}_5~ϼ?hVҬ )=ShO:pý)"%v=/,v!ۺ1&;.'E-'L-sxgajfP !D*ډiƐ nz12MLE4A e(!^8mh":={ds mZf9tV }SGn?-2Bϊ+a?5CFC*[rRfңS}_w_G0z+lSx@c7M_j͚Am!n4tR}I} W=oLwIQI`֤52;Xlr܏9~IQVX;/O%21m=ÇK[FFH!2JgD8J|j@I."`_]++ ۙŹBZsBXtWIF@ MhiY(7^4b4#],mQrpZrlpF% 5s`"LzU=mРo&=+)RBb:%!g"LhYj"]\9a>Ǝ%_2LZ?..=|K0L~оY$%#-.E$p=m!ff20" \(3|wKgnX'"_/dK`:2B% zb/ݱi lJɻ\Riٸ-v|wUdi5\sɕ}BD'E"%%a05]>>l8 $ WM_lBԔ"ROSzMIN;B0-q^փ'pіEϐ ) #a!!GS;C:7UyVH&il߂!οҞ+)*0,r&N*ʁ2̔BR2RuglO-_%\>>T 2| Lpi 2lP%RJ}0KjcF곉Q33X*eQ1 }biXͺ1iHD1$r~h޽=? Xg'aõVZu͗<DμTMszY<*.E&ɋsIҍ;e9oG]Աs"K߳=ڙa/w54:73U/IۛpS@,|WIokփFJX+L`xC= 4CfG_*Sǘ\׵u3NTgѦ0Z'< $ZF i tk%HI` $s!^}bQ J_+PPً;X橯WKODbm_'07!eODа~x^*x`r,nU6yڻ~/-4NNCL\6aUV˰F{%6kGR.Gy ps bP,l0-@,]S=:P@v R*se-+rs$^`N $&)jg UmezfSmN *f"h-ums1! SAwE(cå H V(F͗5g$m«=aISw<: Yd D#YEB%:Y 0.Ii<$PA"|xT|)v p-zhygY,5;1tO-a|zÓԊ)NEeC;*?٢k`A/ @حܬ-!gYZe3690e2ba96ff11ae52f4510d1d4f9efa4dac351a065929dd1485620a1fe2ad1ab24aa44d802e5d5 ede8de29f8f7a2c7b32f6204d128100843065a7020440f071f28df2f99749ee0d5ce48546c62ce3e