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   Q1,< ]w]Jordan_Normal_Form:threads=4elapsed=353.419cpu=1015.120gc=25.568factor=2.877zXZִF! ?]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;sl`,239@MF+e@+&ZrW%"lړǼZAgtZ_O=gdQov*(~\ fJs`H[ A/pL"v@ (b J]gb/Kf$ɟ4YFԇӾ6+0@3Sip+6<{H773J7ûc`u0>nl,eqZzV:׏_[w;Anj(N1[S5 Q>$w}d"pIָRŬKR.>"L6̂0TÝQ2YUT.=0䪻 &ωXh&x2mi'~VTBªm)v[VC"+lZ+@޴f1 W`4҂9q3~d. mѹ1 mh @Jo!}8N\*V,ق>a oB.6e-jVԸ7ydO?L ֈ6lM uf[Tm 2[Z6JE?1ΓoEA?nۜ]c-:-yS6N*o$T\Oiu>/=bXVн]IV7y"k<6;f9, $U{$e%X5{SͧI#.z J U:ly"]uq },~o ahO:˼Gb@'umǴ^F }G+I9I]VJ yPdx[# X6oIe2j|>[4 at1=: 3pR2خ(qU>Uy_2U1}N;W<ɏr&*;zqi?0Jf"sK` c/RΎt_AuU$Xak=?}%;lQ~Y.J+-Ky>l̀Hqmca?r ~[=E0˲cnRQ'ڳJ)r koRG%[z. "Sn V2mvIT Y:!6 u73Ny6FN>eR]gkh8Z ̾WYa.I]LY 39GH*ʠjYkLK# !;*gpgL).!.3v-᜺MμWޣBX'ey'g2dou{942hQzPɅ$ې(Pdרr)X+x^"`'ms9/VD+NΙy904;&D`p:9]ɩ@mOwzd8;? <ϺQˊ?=b\x6Ҫz[7[BKC~7} fZݣ x_} ~FGR=4xn?3>M+[x8o VКfs|3e}n |벘݌M`x`Ҫx)Mu 8r@>"o07ehh0.ם"iȾ~qPH5lju3VRJީ4TUQ40Q}_Uu2%|hz\j%[7E2G׮EA4 BlZۙӥ~mN;'UPPg1+(V:Y|Q\ uL6gzAۋ?ȟEPr[Ez'INb"(p[Cd "_oCO5 c;衝Yr;{>O1Q R'38!$JLODK$@Y[HHfX;ú+aj]%M_Ƞl蕭QNJ@ךw: &Ort͹;s黒[xGF |F$ 2#@pU&D4m`o7㪛aAfOaX$3mX^T1wXvFXf!5bĤCU3}#_=,v:@cAӝ x|eGE2uj1Ũoej4~Wm4+]Y슪`VH86'aEh\ ^KT"[1oФ]4m!*³ϓ \XK- C67lzC:_boF%ldK N&5Uccs{v } oME𥳐ie}Yoikڨ|ײqKG)i.nk/ЊKf $}a} pi /Qu]0qZ +O FV/8u߬؅JfOe0ЊԍXf<{WKrb= > ^"=Ꙕ,4ث5qOk:]h?z!cQ}ERyֈWAɳ٨ݹR+jE+!(uރBJ6@[i$jyOeMO֏ sI#;](JJ:MQJ\-&\Wll^{a5N5ʩC]rD5Mz&uŇNEn)ئV6lnuD[/NЋ߬`hO>"4`>BҗVCC]5K(qwIU㻞 6=&}VgQMamhe3ʢ{ C*,x&F~%deD"S=CD9ϥj`!+l RH=Q~V??*f,vZ.Cjr.šg(/6?MwSШ{?/ax}YZ/gٷI׌i]^s[1(MUց|i wEޭ#c}r9º]\2\^b50&M cUY2!EZ%ïB+ z󩝫ÕE3:73a܋H} οW$LEtZё* + gЮ vp4u$$omP(K.T*p_{⽖9/n\31qp) %9 <6.wK%jל[I|p6C0$guFL)bk}=X!,Q_'Ӗ@4E;1b2! s>/!:Oo408{dfXOԮq(m@&,@m3fC _' *s&[e"B2ۭ]̆<1+:4(+U(]lPDVl!tz:f$\[uk9Z \LDw_ t~@TfNvE0? eVNA?%}ߘo2$Яec1e @ڀzۤ!JGg ^>Gӹ0#s u*QQͳ}-1ײL M+^L`͡b}de‹,x _m2cߝ7!g7QǏJQY9}={7-q"~&8OT!?]a.wQ0x䯰GHoNsPB1c``(;peYhˢV0T>e.0Qe4gYZ7zXZִF! :]ŗXiɟNGW=:;G v{@p* AꈴBFKDJG{|~՜. ӓ:JaIIaEģaV}ᥛiwb6yg. M&Փ}4?:MI 7.K*G}Qmιm@b1M-XpC$yAfhb.U]G4ģRb)¶piDϞJ|b8BJmb=Ux<]g `tP grjEl7]Q|k$ࡿ`J{٢@)[Q:jC)7 u+ '"=tUdtY` oU# [eNTܢ~2mQVĵ nL * ʋנk^3(#&-lnFmg)8A&Ѣ-If?ur"*ІT@mSX?qPQ>qg3>IEWj|e,6C k#F:.e1 M4g6}y&i?p% -HJ4#16*gr7J~F6QTrQdX6M3wAJV %b3g]ëIiv/Mzd5jbv>.{TfoBu nu8kϬ^tO Rv˚|waWYfe8e3 R96;ofB7ݷ /ZL8>Knhp=$zgYZ7zXZִF! d]ŗXi%L /I;B>nO%Fbhr"li9FU I9INI$&nނ`e.ndNJcYnL/ML3\9i=5=lRR`SQ/b f7{0,!5yf6E(e~a|Q'1("wϙWx *Q4oB{ݺ&*˱vEUm4!G"LCK-G?o ˚UU3e(1H*˷*YM?ve.Ta/^p U\tL#Tl:8m,…7$1@s* 惓q/bXO]cʍ3ޟ)t}R^H G;CJ9jS^~+=u&uxNneKR!\+!bNVN9)#{ZY{ n  ~)doven?,ǿY6͗@) Y:+!lH8_SW"T@*c*ĉ-%q– GݒBcٽ} 8HQ{,=hUݐ]qJ+fM](okt 7&Oo[ďtDsd¡Ӝc2>J (ǎ|Ki2Dg@֜"=nF(Ѫ:I & gyrBQNr 6On 8SV`i 9mҟ(qB:N6umNB Yv*@L!c+/j׽֕CqhyttU\k)]\ UprʉCZަy?[[d o̱4JA$:#r/#ԩ9V'?cMyL(t4 91h>ޚrl3VƎ3d)5~OblaL}?ۓHcpZX0U~ ) >·c &ykNȏʦ53Awϝm cƚz?!cDNZ謫$$lr0U3n~lQE P[Zn7ag_Me&=F a&->`j1k2I~] N֖̾(Z,t2*k4:qfkDkPW3 GՋZi$!n"Z[8!K4r"9tqGT{'_}طVb֟77OaqCr욞A|%PZv˹|E b<S:XȗAVE=D8NuKu J#s[_Rgө{ ޚ^?~ңYuQS8aTdeFRZ`c D'Ɇz *W2EiO̖j"a8WoWqRmzo.Do88r-ulu }N?՗ˆۖw~x/ZKBO= irtu%$*^1rJMTGo( 1 "#UuZ't<9J9*B}vԣՁ'NԕQY@)J !ACvl55qy0Qzf4^sSO[pV@RtO]ׯ-kȾ" %Ȯ6>'D ^ѳ5(#l]kqxWwlKx2(1 QzwX/Sk+L~0ŲEy4,qd&E^'(d$CzE`1j$k:@x+j6nF&>&L8sù#nKԽQG^-*O3/թG!*#GÎYS(Rh= ֡M |q$cRcՄ,Lf,!C}/O,LN{N$^i?x(- f>▆ԏDWwE]zX/`S[vYsn7g,/RpLT=TT˲OPqUR'P~ D!C6@yx*|`2yZPďEBwm}×Waؔ$}_!Q?B-]zc,X6@"1Hs̠gGz;rͮZ^,`D[9EHk(VD3kǯt͈papcܾK!Ab?`q|W3|r}4Okf=jBZ 1^'WKU_yy4p}2teAөa4J [< ; d I $#E,9)-C:z8Q~47pғu$P9'@&X"aºQ(?w=$\f5h^fD\v ?.}VsOJZqO-R[Z9tgT9?n>Ts.M3,JhN\]1g.O.k/\YNqHMxTd~S7M!ݲǻeGP*j{5D*#Qt_aVH#wF=Pg_Hyİ9#B%'ozpUz^uZjwt~}_W^ƵY/^o%`~_S=brd,6n~ !T7i?X$XAjE -OӔJnV25# 3*0wAQ xLLMcu>9>Qߖ?e{WK?" ືj>-k"qeDЗN$4!闈b-Qc.y V̥*&Sw>6Q`6{3sח _2&@*rx#z6Xj7·1a*#ģ_?<+ P.Er s N("%7>>VdE4@w1)Ӈ* A6g򟚎`hLUf4'{ ڏzz`^Qx$ %3wy.$GS=@J mm# '"P\PlJ,:f3fa9b`.-_ |#јreaH沏nϬD-?|?bÁeaMK>ǿK7b/ 0xC^>7Tp&*M?v]4$WN[K7Fw֨}C,ęb&H%ߵd.s?\ :Ċݚ%h=j~di4 l"Gm?(<~(#XíM1tM+0CEU8!hSLwowQl QqhK%Ljt8+)JV?}+\5`+mnw R/gjUh #'[j/5lwktӪp@:!R"Ǻm#3Z͵$+cw_ j˯k%7/@rBT80q hRoo8#&g{4IxW!0Q*6;@~0ٝ>mQOCf[Gw-6j,n&=[?:X)|1!_敉\- .a%؃첕OFh~:-'F @5= UB %ZXQeIOz[(/އI{͟Q݈;fZLe;$&a֜oooD)>M`F"'qe\WS h ,ig<943aEPR!4 W"-*^Bv9~e6#=\lH C2, `pzSG [Tb8CY|pY% i*=mjϞ2S[$VW, i3wsd>Q]1 zɌPN0m=}Y_c3'pS"SWH%3Dc:ko݊|2r6I,OaspVDy58sfsҦF&05! }" n/KxKr>X:0(1CV%E:8gmל>& /W|,`|ܜ=ms/`)CHB뇪7+{5mY}CE.+DJX$ Spg?Qwf6-/pVXQۭު,i9ea]PGZ(B H +QfSAe x$F?rsgC fӨ+t2+GPߵa-6.dm% $[F&1g)괴V1Wĺ&9hDI*+?7IǦڰE8 cqodwl0@Ph 89F|wgTDZhev4ˮ#PˏHy<2,Θ(;vv5$3\ַ1IHvBv7-pD3Kg?yv ,<;0sۏeWq[u8J!nW-$c,,f{=͉L 5r! е{B.ıDNc ;T;TlP@Dj/ܼ~)Zjd*gLHV bpe9*ڱqӄ:M_ll|w;8_Z&&&lU"/Hu^t?|J\=]ƥfW HJz0<-T+G$gF#QkZ%h.d.R(ѠtNTty6 1CۦTe-vkEl-|fuBVLɃQeiGF_1|eA/([7g /0Ȩ`xQY\N1 u(?*)#(2@>ߖ+"!T @#όS]mu[vÇKF}!=xtjvq~ JϼwQ '+j\eQM~oK']ML#TZ{7[e~os)d.HuxWo~$1oɀdbpvއNxo*t??Q,5P xۜ&E|+Q }wzNO[S[ `{mkD$ke/Z9v4[ ?R) yz]}d DFȭ0ETI,)벂tU_@e7&ЮL{2֦+h2]Xk{SqL]E,9:|Օ+y;ӥ jc5E=y|qƒ!ǕNaX -D1drjD#˜>`U)/9K_ɽ:'<98Wq)^)EX]RJl`ˤQ- R=qngxZ*OI帠G G04nĖUzaBTy31xK}>Gk2 Âւ ]tR#9T#3ZC(+2KyK z׉1율+T UPxUy^LVIrבo[[S^-nK8= Ej/cbk6n^hK^w[ JMb+ʳz!tKb84+҇o 0 gdL֒Sڙߎi$gư7Ya} k0-QGP 6 OdZϯԌuN8Mm׸[؏/Sœ+A!fmhsR8CsXYڴU%]I#7>S.0`׉HyTmX!t)@% /U _T eLG>l;dCp+C1^7$#e~,c!rtKJ<ӽfȷ:9gvxwVm %q*x=죬u>Oz _;KB#Cr2I\N='1_(~`3-jK4u0:C-d#޳i}0N=~B . pP^$&*Z1轞^`ℬGatF\E'_M NUH! [ry|R%=ed'NCqvT2VfᣰiEU>6=GuXI`@yؐz )TM`=0ʀz)Íftn6ޑ;M<. lr0t~a<@27l^=/|Z F$;k0ncB|&¶0c;o;j7H&AHzfBJh}hs7 `q59\QVN%"S{ħ,]{b}UK[+.Jz{VG|5*ihE[ !~O,ܻF,D`Ҽ&Ygp4|t%kD`m֚1.V_R:x65K+ke$b/ (nDb   ͚VLVx1cf ڙ7nS\!x9茬V!҄ KPNKa_o hsH 7(};\OQ;Ae8nr% s*s,]h=td(YۦX% י,&ٜZ]u"I~ɬJmW>B'rzZ.9$v^|֑^ pLJO#&zyw]AIoF [G<Hu65P ?S hZD@$I+ݍP䌗 뺑Jx>`f7t= Nf-;E j"[Q>dv(Z9t %T2@8&hd/)Yy?,UVtBؠrK ?6@Z@Op}FG7´O߷X#cZt*M:a gс1coXjA\{e8.vJRO`R_а?[F;x/hg2I\XdфW'Hu #u>꜒4E{Pcv*UBR.XU&Wy7vv }ADj]=%5k)f2##%aQZy"&Q+{97Ԣݧ^_u-/V =v e6Xn .ޥ M>>zDWGqLBbOaˏ<S?ť@- ޼u"gN]ێԝJ+{kO> mP;ImQE"=mua%9t!jؓKypvSJrGPM-!3fh^He髪M{^2 ( 鴓BTZôy`O2*i$VkX)V+gT_@Y ε`]JШb'L r6Ԕ_J8ɍqϡHo~ӡaPYnrmQod3wU%}4czቅ-V8~{ mp ȸ~WG.v5ɪoM&$ԠW]/A.Kxe,JDW".JJ>АDurAܸǓ'۴5ɞdwb,0DlJ:gwT*%n {0%0n? ޾dxmR7!8ux Nٝyf&׵M*V5Sf_¬O _T5wЁ W+"t0ra]IǀG-uFڸxc2TfKgۑ+6mOAMKaGzj snpØ?x'T+yo̭-{Ƿ {*n&;crX R?Ad3Y1:_{4guh&"լn!B{{R= m%؞iAC:6/ W7nG^A5ܮ5z>tVi htxY4J*C5b,cP+/Mu._J܀cK`1ԙ3;: ѶxBG0_4e)$j6<D=n/Wl'=/}a2h߽Nf\юD<>iU :0d*_Zd/J CEmք:9Q=ųVOoUΌiZׄgԦElӞfcL  B5pu0+$:mz ;߼tQcjCACqwG`Z&w򙴿n.pYNĆKuR NYvLTE-+o_߷9 -" kɖUUxxF,&Uv'/3?$jByrOU LZnQu[b )rqްzҲP\\P 0ƦMeZ~t1SKJǥϠgXJhnM2=Z.@џ>pkp@ZcŠFJ_}m{Q.=ۍZMS$+f>~{C/ Lw3Υ򿻙2C /-hLk%@ky6AitcA=-\]gznyHY*U͉oT ޼rx5r2wQؾ짌&Zt՟. 7fqǡ^VQ@11$G=_ݮhENZcsO nd+6.tujU5 LG LkׄosF mjVAomďp,">v4wN 8SXv)s~pUX#k8Tg)K=)T'QGf j~mm{Zsэ%ʧ_?7(NXCu]'C!bb:]ޣY#M5#zO>T'Wy3{h7kxVeBաD[Ns;߼Jqꩯ;8ƎhCW%IY=?f4zPښ#4"'&R H~J\?fыE}WJ:G3ާa y]I\`}O<׊#QeFo wtYv|4kk.0OhX*=~dG]&ZlqhN{T{_39EB>ZkFςoE3֧>_sOfz 2v|sk}heGV?@)×ȇ(0ocټ%EA+›;xXN(޼5I Xr"AxkOf h3W"$v 7h>FYkhM! R`豾_ R f '3/p9 g(XبկIS_Z2 +iZS `Քyi]kUWj=s<3y/TJ[cMQ* aaMb+kpޙlaAgj3sfĨ6a.6C;mdp4z{@ QT?̘ϒ}^Řp[-m^>@1+;P yTmgVKkվȪ*CͥA :ۿEBbEƸȪ#YWԚqx~P‰.Z2jQ WDrq`!d\&$[ e vti30R 7"[nNV==33+xq计\W-\ { |* WQiRm 0I|`ks[l T Xu}G_%|"G$E~dQ,m <6 Rgye H"S"kWqzрxä %X/ѷM2l|\FF<`P[+YuCT I5CS+xG6?Y2#2fȬtBCIlId1a }NwBJ(J!qmĖL4Va;éC_;vTL7P#YeOԣu%EgK9g(q?%:l _s0osF8=&E("PͲS6!@dc[IxrLFsFv_.< fF޸=G"9y.؞C(TR+r#Oih m9:hmcfց0CAk,!q4#uDe,>pѓEnʎv9+}X[)5FԀ*/\N ()9`&O?i[!3LaAɐ4c)GBJYF18XblA? Q&P}Ԍ/y8a9rqQ1|U] > >L/.MtKuKIR&xw5eۙq{)bD`iz+숭N;ߕ ^7lRz2>`2!LR{hfe;" ᅰp91! ߶h;!PL~N[c@}f1Lt?ə^#Wc^رްi$QQ;P<a<)&~_ @OW?jG£x3s{!Q]D;IL'VBe4QV2rWmʒdOqՏd^"G3f҃Y¤3cC]A1 ~f&6ؖ]12sq؈ 8K(VI{8dMP*"8OfAjO  U%KK|dYǭ:\en9/ѠWR=4PȯoN"l¹t/C(@ YebM\PXM^Fe>\gil,aĆRE͚8@{k @⣓A QsYxTAn1e_3AG?aJX28NH;;6UI*|*>CaV R݄!9 La+M).KWv^J>A+d"ؔpt7uj\[/3VV(& 9惸uńE uT7|2C~A4dZ j&<<8qآs >p}$a^y%qֿ%+c/axlJ;p@{ 36gI&j6͝Φ5]!pwie̤~&\5~ :(ȡ* ?n VskRBEj=g>R>Z3tiO m%,[L2`b u{Q؍s!I D`F$?Lk"l-slo6oq9/cá<`d{WT5ՀFZ9⯔kRw.3yxe >Nߥ&P{d$5`EYY>$S\y~Kx7'e9y~8O)~=dD7/W~mt&YS"xBu󺦠R^d;π20n+Чf$Mۮkpx|SP ,^#>JѾűk)Xj'Zi@NВثs,вCxHi~?4p{=6&38u"Jhr*I? o, +s6N}qI8Xo>U$$:`L Z\rUù(^8%"y@jd OKAPqsi Rg`n|v X"|Of=ÿo󃗳wP KncOA:VIR(,F7ׅʟ߽ƅ^=Q/APL "kwT=bnZqS]59@)HNjX=,M6E09Y:9VհPIǛH^1\8(?I0AǾGK}SQDhR2JX^pp|]]ܬ^y"_j׸m0eKἨ-J;"jxb<.1^To9qb%7ITPl463#۝:qw||vS:ʢ:oCѫBVGmWZНkO|!񰷥7QVUfUjב@ EZYKwn?&jj.'Tw'ֆtQO YB pC ';잺 JU.VlL4~h"'s'<جTJ z ˯7GV 7̤pru"Ì*Z,(t-JyLj%rKiX+.l;4v #1Y :,T~0{h}ߖO88%d:##@g[=CpNϴ/_ӥL+BA\|s W 7|[!a^Eq۳&uIg&Z(S%0GnWG3O f`'߿vѮQ؟EǨ]V+H$vоYNZ aޤ&kj+ ׯ{2(&wݳ۽Ѿt1`Qh.cXb=b3Z{3ǽsܯ/"[U#)NEӎ,G,O~2/$«6X_d_4=TFst09{B[]0/_8Ri 7:6T~"~iAb F)75Z˒'DM@EU&^:Rd[y .m&zZʾj A+ᣉ͜J$E f Z:9:"&{{q)23;`3[0?&q7Ew ׿Xנ6loO,S̳ή͑^k5_UC8\BtELXCp/=>W 'g_mr:( ^y"6/i>AE h.*/5(ZNo}g^K_ '[gSL5h{t"Is{<`0;ڟnPeKׅ5 ݱ~6im'OWIGbtL2XXP[[?nf`BO$h/z2F3ѹtFe[Gr]>;imFvj }3JNhЫY4=q7I<x_)F#J ՛Yl<+vbR!@l`!#e=3q 󴀋CJQ/O딘ND`TbݞP B>©e; a}=#y!5TcޓAiP=LX$6dVUVMŴr:z:rtTrWǹܣN$! *}CT]Gzu+W8;tZ4Tfuxdg|-|Afـ . SIO60k?|,d}:as ^&X\@o0hCxvP&DqYpģ-ֱCZ]yC@|T< 6InM-GwHJ&ufR6s^A80I#* +=VT޵-|%#DdsK#?2$mJLNw.%V3Jɵ{B_J\b蔘,,o4M74Y#ipG m%sNsF`McGljj*oEhRbCUUY7L2<Y\YHgNO+d 㓌 :wprS[qmbA;~LJ ~J+X) foO_Z6qC^!l:1)Ku>w6eJ>+ `@eߓ& ۨt$h=2,5Wiثn٤WH}!DFN {r?#t %u! :2: R +WREm`>1_Vp1ZRt82s>!AK>ELa DEy[\`F !sf 3qxg-֚.{a1ÌXեwS/a, i[&[}+,~,\w|fVVE4 0&BkTm4X> O[(C- ̃1^@Ic7T4Uf Os ;-H}(0Y%c/o*0/]FqNZ:l LcE [4QN'?z:_O)k ٚ?C!kiH,;gƉ2ʚXM !"\BwPmu۳xe?K\$qZo~ N^w2jk6vkc%7P['8:AzwD>ew= <DCN +o@|a,ӜQ{?=REmMJqa[Ls9}DAm@A*q&zK^(WOnƀK yvX1wIBXPo|qkH'3aAEWfjX!X?צxi1 zF"sJ\(wF#2'&O8tHԛ^ij 3^qX:ĨHl4*HvҎ['zhD]$KKfwf~:pnݳׇj:hi>b\좃nS3pGq y+g5!ةq,?6K`AVKf#Z*D#l|l0K}7s;#T`IF-d̙2WIAQ+o%V_K. 3#paN0yPu<6g1[Ӌep;lU~<w}>׵]e*]go')$dVe?0KrG+0,^#ѯɆ6yi.( mUA_ }1>6ϒ@j͆QY~x$X[)J`̏O+鋮^ht!pIdPt#~6 zg67*)6I( ǹ ~>蛡/  tn^g/QzUW286 R;N†ё%Y{ )(-}ɴ !g|x!_ỦD*73C9]'#,YH̼t鱹ZtF<^@-],/+i vqU"/+pz 9I2,W{Y}};`kïK?8),–;s Hf6~?L ?]YRj s454{EfG\ՄF˘3+#"nE?M[@Up0:Gш_ ¿˧~`|~Rl16lGE}rgFΙu>z3dy<<)"lXyD0|T͜6Fa4jDD1@z~Aur,=9=p2~=,3#ݧI|`A/X2WIŬFKFLrbv>grpwSz*k"ˋ$- - L*GM!IhT&d8B \g$ӸS%ڙS /3]5`Tswi HkW.!lk L99hФ/HZ>Y9u 8e"pC$ēPᘵ]:t\"B&Si^-"`okޟ1{AF/iaN35{4qe$d:Z7"0UN缯9>cAoYyMa g,F}c{vrcGi)`}'f g,?⒖? $cG-3PxFmK  >P)GhCޫvǹ"TLïS9*fhj] 0^>dW}߮\ӗ[KPⲒØh]^l- ` FL]^Y1!]1\{1'v"a?( ~C'~ V5b#:H'3?a,A9SU"'dF E~nUo2jE!ܴ9*kCYQ">Z$=y~/M`>a:&1WҔ >bL- vSuj G׊ꎝo!Aq(W dR|;w%w_6 Ĕ IḣϘR:'^Nvw#!6w2l:^5쁸'#GкrDgق>fuCE:=`^˦ŹG%6&:95e0#;7N]ǨXSP,n?.g FrC;!pkPGGV,eB~u Q_Ȑ4 1jp9g!V4WwI;WO(K TCtބLPCl w&GJ*`{Y|)I#P67y^S/g.f;pѬD';OUn3O|ЗuTۦ[EZ]4|pebI(^3~! FʻBjE^}JqNd05RZVXHFN՟XY ~QC_;b^B_-OV "@ %J%ط,K:^gjtZd3T 2q?ݕ!\(ev@ރ"a~.?=r)!QyDWLJٝ=j(yTڒWW$xs72UT@EgvC϶L\S>n0<v(tʘud(UvT`d;vݽ)?ENz>o%Dĺ-EDY(WNgo J@3Noa^񁡑p5 ˞Np1kBk"7*F@Q v{D&нf?Џ QOOfǂnD^Ra*mNlJ_6h =l?_`(dtkeL//Bhؘ #6.YQ6`Woӈ pZP(e_D\o l 1ﲚ͂nU T@9cjۻ!(MJ}(nW8Rs;%ag_qgz\ө[^ cw}qc;-Þ^+bnK]Px}9X}_HcGŵBVp< ԮRbՆcb,,q,?aB >7* |-zӌP^ucռuB}fNB9IQ\2-jrM i Ilؐwߎul =TIOh}ew^WѠY&/ĥ8m[՞[{H\+ ?_/p/^EcMuN5Q]o;=2gYZ6ad46a426db39b33fa1a16a3a955432039159ca3d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 09b53a0ea83f2135f0dad794ffb9fccb717c814b 613c7ec82da5d763fb249ed73d13834acd166e21c3f1a961740842c4f80345d75e5e5937930386c4