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 QQ, TLd ] Datatypes:threads=2elapsed=48.215cpu=69.380gc=5.396factor=1.447zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mk]^+['}:#'G3-,~Ȝ~Ĝ1Ti֑ ߡkX\ɻGݚS$܍:BB!C g1Qְ67mnooV J |&IX.^eD|enUfExҒ9fQ@ )aK|.U~O6ǭoj=}-/} 9K޵KvӨG0Y8 ia5t#VRIkiػRuH1 RFk}oI[3͍t#UeȇH{وD77HoD؟diⒻ޿#GIewD_51 ~LOCX,; v 4.=Jd* qS#[_L" o?29,dF2K&l`7T[Shϯo6 jQwK7(OEֶ.&/ڶkwI"W&_xF6t0 MuiT%6!^b͖@CV>'u;@xu}&Z 5U/ª_gYZ7zXZִF! ]]ŗXiɟ&zLoQбvg52vdYmԨr5L.86~ؑ=R[F @(2pKѳN\J7]]:K.kXm20WAo&-T&a"Z5]6Ǽ=׵'KMyac]MKxݩAФkƍ?_Lt\HW94Πرg|:oxh5*M/b?K yVtEi )+Iw ҳF\[x 'ƓL 3lIw_4 h9G;kj.ҷr+-Q (esR5').}GO~HKֳ$@՞[_ f Zj Rzi;NuܧH2`cKp騾-ѰhP!6b>yXd4re:9-畻2  m0}'12=ͱMqm /G= N-)ȫ'Ȣ . /  6^/fMGHbQz`(dŎK|? VKqbL (nٷv#xW dD\e+s;[ (ք? %ʪ^/&@:7l9Ca dLt%  X+pRQi8b ̥IZ`Fril,y}+ZEaM}CcDķ>]yDOAurۈux ~fIX0@G)Czpa4Pp~8B MPf{IVgE@$^  ȩ+IW %f(n)1gYZ9b5ecb95e47967655866b370fae60082555bca45408130f68e215ede7936ca4ab0eafec3d85e645c f28cf806c632fbc2897c47bd2481cf58fa5266f7 86e38d3b5c0be1586f867242f20f2d734f9551b8   Datatypes ``t3% DatatypesDatatypes.Datatypesdocument.tex7zXZִF! t]A-MՋhvG"uIBm5dΏ[og,Q<#Wv[h'9A$OP@T`H)i:'q>59Y۩+e=0@chjJAd*!-jf[k_HHtI=zHljD[(x66Ypkˠ{[ :';k1+ks?a &Z#ivjGZ^'PKi|g%:2o$vôQ̐q3{> \cupy3 KK|`mpczG]?eÿNO b!L NPryȕ@yN}Qe1&yD&ˈWdo u󉏈Z}jk#v@o.8KwfLBwHdAg*wr58ɾWJ{^rea !a4ڜD6i2ܹT0,|L7b0h"8^1G@P\OǺeD6 EtRO/ȉ@ho;qIJȲ8$ |(5}EF|G]CU6Ow*7|Q8g)QtcK ǸWP"ſ$M#!콌N!EmPR|2?|#wy ʚ` Ki-z ձDv)%G/ZJ+li7бX?1?Fz]&G%BP;A-oaTņ w[WV%ME0Yze;+n׎tcr]B}N(8~+k=v.x+;h:XW0'5rJKVFHsLߜxLiғ]#iV92KY&̣ mL\Ͼc_66KA_Leq O! Z݉\q|ਚ $>ەHo. k'i"Tϒס 2SREخ(foj]u %Mw_j^ċ u|*Cܽ⸘i\C{ ] F3 U؞ј \B쮶872J(wӣe-5j"j.K9}+OӎK6)$!@oh.n-v0 ˰|P%ss_!Ynhΰ3@Um^d(cZs1h ET6U! ]ف~=sL( C'JM<1g/Ӫ5_ &a7>r*dTs"ۇ|8oTcE.H,b/r*IrFIа+g#ؕ3}4`}u@v2Jy!v~HFae*V{{I0!sE[yfM0.e֧޾©l%PZⶪYI06緣D~ 2J:%MK]NujsnXZA#xj~'saoyWMSizN+4c?zq<Oß FH0[;!*CW俾ZZ'D7Ҷ^_=uE?wg=[ %wli=+8*U%XhA!bugH5":N6%f %DApD8yRPbQ_k;3ȘP^ " .<{5YAb*#9[c׻/#9>υҸ>=\'o~dģ;gF!_:Eɠ]٭#' j1{yt`E8B .T岚]c.Ʉ~ţ`#e{U2 >i4 1<RHQࣹ9UOq)R&[\ҧ,xٻ_ne5PGܫ굉Uo:yBGPm޵}/TVxpX"pRU@TcNko>q1̌`aoRwmVw}bkby6 @*]#?8{ʀr3JlҒHDN9ZY'v~rW'++^S;e-OE/:FU/}-)ц ct* Eپ~R$SId`nE% L̡;@S[!֠(Bs8"Ե;n;Llߤ \7_xQJ1'c%0CD]+p4*ˡ ȷP9ڍ\&f$T6 e}#c$Zpw-A?A2$F78XPA!b7!^itzi[#ez3̄&}bX!# R~ue8d ٲ_hRȴRQkU^PCJӞ{ҍ~釶;t y]U@=. b68a2Lqs1KgF/ ,;.'-p>(1.Ã^ᅂ8n @;%҇(TO'KpνMbgĂKX0YW#xU#[j\ثfVYV[h&_͐a"ZzcG53lrݵ/|K)尘|$?ƶ1+l&;& ?[ B@b8 774V#x fzyBXseivU5LSfI@vH(4,3K&oyoٰu*k_R0Iב"ۚ><ɅaZoA+b@T3?OL*+XQoB!(JJsF2LP@EAD,_EwrMT0M&K81k=bA'q1O) 3E^߱:+[=aK{G ԁ}D%7fp哨'{ܻ&)60o?)ݩFP'jt|t@3}zH28~yЀ72PX>d[P0(a@ ڌn" |rV\ {|REA> 93s"Ċc3*Ip<\ҟ19̱ۻUqJ,,N:7gFع9Sqlzk,4[Io kA^ mst|ůa}Y;J5bmoпJ"Q8> M7I/HևUz#tےD 'lE៤=f@xP.rwl-=u4[,̯XOE;ʝ>&W_MDu$oz KeӐ}\YncM뭍:t*џX!Z2n+ܷ)km[* /x S)>*\[ Hv <l/ŹYk4<*_AqV:kI/`ds CkÄ7!)U[f_Do&p-f݄֠憊Z O( i-a@yQnooGBNhH5 Ϗz6`eDg46v}QN]ˆ٢+_}W <dך #2UYӟog\gRp|Js 7J)0FR ƟXHQw3A+`cxĚ,cI[mAC;t\1gmKί5_g-`}4(,/!k 9W^~"yC)-BcB F2e ڢ&Px B̛DQ{AZDlK~FӌdK_(3MU]Z!P|\}NN jdf<@mkW{oc@贏)>okH&e6e.1FX/)) Zw{9Ɋ* 5_Pb6[["/ـjw%YO]lnRz]QU*~ؔQgXzPc,К!Y3"S0nzSF,P"T-V4-.R״5s&Oe7 tJlE#&Ir{rH GT|kN;=ffM1t9bǤ,E6ۢ{(Bi:wLz>;Q[VCb乒M[ۑ38Pn_KaB īժڀRRұpfb**BeiKpHSFoN Ԭ N w͎#TvX&濧7[hHҧG$䀦q9(z S%b>`IS߸ ;ޭAD`ZBfQG\7@1:Z%[ȂӛĤn4h+34t+B2_׫ҏmNT:ThNJ;' p"4! ,G10S~^9J1N.n<D(фÕuZ5)"@ _j_ObK6v']tXxI$L3D28nʕvM(B~»]y Ub݀ \+]Jڼ\#5E⋖4&o*F.-!|Viv ɯF GoQKDyB,tP78A~kmi!u`L$bYv>K^_B0}7_ W=Uw3z8![`l=[V ;D 19bo+MG(gm㋟B@1K7 ltVM.6ۄazzP8.'k$K9fva7bX`? ^|>^[e fځxV*FP=V>'i 9:s k0r/e=q2Y'}n f2"36TNsm0lX9yg;md +6|8×4T4?XzAXe \1N܋q`4Kci'Ӗ?Q4e>]sz\<6[ZK¦u{ 5 2ΟeEoWy襬a7/aCXd9۴x`rFvJqh7It?~Ϛ m*&yL fzm<'g!wY=+`z ,>?leDS<[=T\` ljSCX\g[fOY}߂$mKbhè. D&=JYL²Ȼ2= .+$ȷ>n: 5X,𔠖Mi03/ 9 OEbZ|{y0?ǢRQA=IHaAK4<Sy2$%Qj `G_gV &6(Ңn46+ìk&~%'‡eG\ɸDe_mkYfK{Ҕ[8gz9\6 5\8>Gzi5 `cT2т#_iSnIk],xv6oȜRa7 DDt4vA.-KJi黫ߥ=lؕb -S|]ofmĬ龜]48wLY.AJU?*4B};0IqWL?!vU|~]̅ijkҋx^GX"d:mCBjm߈k]87>uk9&"OBQ_z0,SȎQp(d?+R4ݨ]U_dYN>G:Z_` P.홸bpZ@ -Hy |^.cF[ $;Ztm TJH q@M _p8?msտ_}Tw:ԟ&afP(CU7[q|yb%.Z.43ݬk 9wy 7 w&Yp.RR]5<+^]jq=a9Yv۬(gqYB4 9sEuK5Uz=_9KBK_(XkD i 60-m ۜ=Sу < \W;1TBy#4 S(£+a_hGPY=)(`Ȼ:v1;Jg28B/V4.!LNO+`*E 7ݤl`L iO|qXȭS8|57lٖOs;04K-!9gC̘gìʆ֛Ѐ`(\2"+sVۯq:f]7-h2?~׏y˴''np`lelh KKP~OWd}.c6>0!V8F]2Qi\%@7д+EЭ{v;6 Q I }'.t=s8VVAV x>K=`tlPk#`̱;lʸ ޔ~P4hVwU5pK$:<,بUޘf)3C(@lYgT0[ןV0_~__ N]YU|+&ްrn.lĀjn[W{dЈ2 0HIqqnMWOƣp#臅"REƩg_f8ibc=yt'm-O`rm?# rQ>|i @<[6KEm Ky11CflS\o3GVr*^3hǩ#`K㶡~UgdޱrǤr8L<ŭ(1T>cm4SC@ճ0B_b>^PC&Ik_pmnQ2]OENi\ LeDoc~$eocR/GFYD,dR+6mZ[BxKP75hzd E|- &,<)I1Gg9G >Bƍu}Bg7sO>`4Iw6)Ⱥg qtf۽k5*-6.mSQ'9"5!jEE!kK j:o"̭>GP{!? : ؖVת݆n4OxHDrٵlvb!?.li5VMzAc"R(YHɁ?>ЯR( +ϝ/o::[ Id&YxTζBbjw:ЂE(果S)= 0MDOYޖqНzGvrg9=_+Qn3N#}r. qq,!PyS\G ^T#t&)DDET# 69Ou2OI~|%LJI3HߝW-k|~6U)` 4/8gL*T@>Wh29,~9),t3 I 1[Pd{̈1a1_Z[R<=դ)߭U$_ [E:i 1DA#9wdv( %1z7"XB+m]|(_1oNeW"m8ynҸ#|c {8oTkuw ~Avꡡ6>I,8d^`?ӚlR>G.?8zFj|}MUJgLA0 Sg^0`Y~=!NV NϹ9#6=mЈ ,ͥucӽu+S!< zae[ibҞ+h6yg_IP/1crOk@z9EyŲ=%ˉahVp䚝/n5.OwObjy96, uv&'Ԉku$F~vUKJ;\bkK=4PUr2ްĦ"IuQze2ءԁ"ev)I`ݥV=8@`.4EYJ#}zȑؤm;%ڇ4s 2%d*!C:BϝtH}(ȡ4x;br>^2^Хx>>!(1LGdȹkW;tYQ+.فz|Ӵ\9+B=t;eCA.N4&>`pgB i'!bsof@j8jj(uUO32eO4 |Yht3 K&'!F~@^ ɓ3 A$1pϏv7g-7N-;i &3.E٭ 9D^aBƒM</Q(ڡvy^-< ASqUj!]@l᮵'}x֕O\WZrI\I=lf`%LJJ2̨GR95}Ɲ:B mE? %0rv7Ke]w"TZB 9]8xҲjۡIΥO3}< cJ:4YEjXh758Yxu#ܞfwB|䞞G`~U}u!@rR3kkr2nt{nmSdqY=r,2QIPDq*YgDIPjoo"`T4}bn ^lo\68xİ=DhU]m?Pt 8fic;~7If5n f\3[pGVb׽2NjMAû\xcʙPtdሃb3Wϟ>HfqɮڜYRy7&-S9 [ F]˘'pfcC}'IQ*C< ķ~MLx/M*uKBn$!$I VYtj%%uaPᇌB4v`,*쿀a{UϺn9-3tR@tvf`_qp3AKp]sr9AZwl( Asq<䥥*Lyoh!979`; x!"s.Wc 0} 8";k 0מI"%@~j17)j 6H*sxk#t:Jm.;%XiLPhəhqe3n%bY/B@4 +{\%:pF] 0:<:DSrG}uMn|~*yH.z[Ϩw.ƸǭQ+xBQc+N03I+`'7["H<;|+?T*j>@>Ҳc֤p,rۖT,-q 3^͓c?{b>c$0n̞x!O 3&;1b8uzrpO >jgKs?Wm%Kzb- >,G6tY3Gb`=_^`Y:KKF*3ew]GLڬcuhO32A0;,p]ZLkWDM;˖BB@%o7 mZvI]?/ʜ^!yV-^1&:􃸈։rEL<_?V<J4p ,eH]Fb XVxå8?Lu7nh~_JASN0y]"2ٔy5Af3&3ylw9eRzl=trp澝u#ݲP2Ov+lжc$ v#~çI r [Q xa@Xt;qE TE4jO吼G%+RɛN*t(V^U:zn5zFP0i>_v# eMSI҈=ݹƥ{HC}O^^fhN},0Ui.4ƱR_j7q?R$ k /c3 3tE!ǩ632Rz Vr6!wS` 3 0|(DLo9G%J<(Uz(@Nvz>R0'w":`{:>J\rgCOq S8F6I{Uo2.] ѺwdJJk3{] FgZGRϸ/O/[I`z|(]! 0*+sݭ_fS+^Lmde 2z }Qv6%m;l|󐽔8XɢnOkupYO$Z+FIׇ۝_dgf021v D1юQ)N L.r{5/sd&lnVy\\LNlTERP[3|JF~Hdxe ^HhP|rz'8uTc>Th2FNP^ŪE_Y4W鄈)?'$9HMM'ڸ^kM|z^S OB˖.]nƾh=S։wBW|9r3smj[EBfۺ WZ"+N/{XD$\(]YZ+r1#H` >>P<)yD toˍW,I@*"毳| z]`0/WIQ F|7Hw!iny>|.; ӽ,=j.2t[ܮ`O8^|_/]СPg?%'ZQ OROzb;2-P$ġu12Ud;ˢ>B7U&$z-9s$ñcATKc.=Xd8MQ>PPhzl긾[fa77 s w}RLLW]Ors:̭ ,=:eMMى,={S9h>=mħzDHʛd䄈頀JYo=NU\O`ָdB tn9K=#pW*{c$bxhcXʹ6*JTE4Eq@Okۡ%JsQʜAu:S!r;XcqI$ɲG2{S270,ԦA5Y\wny!z¯|:džEڃ#4`Dp}𱍔4ozǫGd7tf.6x+MX4t*K/?Գ-٬kbY 4Wt(9KB!9a)\-J޵#YB?b і75ʭq\8}(^ɏ n[^-*rՠw* z3gf9km)lo'*;EM\+aen0P TOYxpYq~ULӒQMYXHR6t2i}b;`q-̝Ki'y۪a8Z|K7#KAbυNMGEĉ#A-E>d&4kXzHjQ֤A.=&$sL[ڝU) v$sVn iT:lN8ᖫiR,ҽ\ ?W,ķ*I;&]aF{uVLbAN꯭Dr:xpt36Xn6<.j/c@nNtuG9R+=N vISr X7~&M_ f)[&,8pM<3H|R%qfKHfDy21O_uOҋ!%XaiIX`[oD`|/S{9: mh0ON?Դ ϞhH( U,xQfiRYߵe-sYA/T0(XWOYY C5y&`ĈjШ#![mקVݵ鏈]¹_]pRG7~,9ED2ž+"SZR~EaD.3R9/)4:vVQ<4*K8Z7.4\}XKeYb4If-撞s'gFbߘY>i~RSsnst-΄ \MW0icCpJzeK6n{:iT(yѳ+l517!wǵ'܏(E{vto.ɟZBB1r8|rew/AMtfɵ~| +"9'LBt_삩ER!tHG#<(?ė1 v9a9"ALjEp G1ȕN2p(q#Ts8r\5zy24Ȭ;`Z/:x=΢𭺆] JMr&a0`YQ0x j'ʿ앓3Q&S|T52XӂxCJ'IN\;=oc/&ނ{Xm6 -,_[!4疯v>xs|-. [B$vE] jH3W$hǐa<=Stb)a\X3?+Q0~,<84X^#{OIF7 62Ii*7%܉XN'afo51<):aݘKj v:kcIQv+'1VuS۹xGqj+#A(y.ZQV\5hQhTuSJJdu}&@"pLWJX ,Yf JU֣I$#OpD3Hy>,6&!J0$D6qnCK9Sm?JZK޺+UY% [4%IP1ˣdvkN=A9^KdmrPYnJ,?Hc@z>au[a{kypP2۰GX|Cyu1rv˶{`5t Xq"`TdR6xc wH>خ@ 5CqhE{>4᣹,h/k ve]@Btb:3U#a܇(:nƠ ɒeMuK#Y>9?*ԎY6,>OlF]#4TeTPGfs,nm- tèu>0cse \v?P2t`v lz{~`" ܝD\cK׊VN["vxPa\֯U^@D:+#4-\胐f~שbj \pUޕ{]z8p4h =DzbJ>Fv>x`hQS70NKY=KA ~нjlGSʽLoH#^$"܌@qI3/.sw\r\(6kӗt\Ca!N'E-q(Y?IO:XƶNt6ld<%W5`Ka_5MF}xCٯ yAQ, X@.jCY 1:䍁 J;=ISa.֎# !PR7YC3@@ĽP׭^0*(9{ē/M֜@Wڠ9;mV~Jq].I_ˮJc Min@q5' p2t{qj`]_^-R͕cc)n˓Y0epffJՓ L(-V[inji$(v8pHB,"B#zb\]h .M^fT8Pd#iiFqSqBہvZ >A$AqƜrfLPs*l߸i Y%H,˶EJM$N:e| ~F9f8D&E+u%UGft:y af2.4Ta(9/i.-@AEN,be? ˚VCJl; jZ^J+?Xk0L*0DaSwΝZ 8(ተioLҽ>ԫP g{:ZDPHu <0=7IxAej(-#Qˈ6ހy3$:$%lZ`5l%7fW98}Uޫ@Ѱe>Q _^z- YBں)PN|~G$3bލ"C v('B Z/q }cjӾ@w3*r{a& !c!Am93M[ו5Bt̫q2ZuTodD*# *qOx 1(>nۡ.Ԓr[h#\Ky(38%UR{0\+3Ob0TP\-*[x^.`y@ao<ň?!׏ZxBiK ͰRfv!t!MvJPb+Z {AbNY7{ewn[GЉLy' UĄv!$ܻq[Gcl o-X䝫LzK3DzZX4k@:qBN0>J&1v^wI&J@ Cc[q~^Wiu& q>$IdgfSE&2* z"eEU%aķ`3T"_FsNM e_ʍ~z H1Dދe@ŵ:-xe1]gZݢ|Û{/Vѣw=-@8bĎAM~kUf$A&_"z^67/X80 J +AGQMsRNnC)];Z:wbZ䷦3S8ft~.Z`1$Xh|NS uETJFBYSPvƁ|f2Ûl_-N}TkIHHܝ.c0 o3h`L  j4s3_ p`FjBm{c\e5,b}Ql ƻ gzů5KU ! UƔ1zOHT:`ɠ<nPnyVFW64~ԞJ=P}<< eO7}s}Cd;I$e@DjH,1n>Feib[SbgTތ{ב(yJ5UNmA*JI3Ă}߯&#/ZfA`'eqgI @* ;'6dBm}Ӫ}F8q׺V J,qRJ}r\zHPF@ ~XdD"KtMzXMMs5շp0H"}|JiJ:9Gi S)&Z]<q3,/ EաtCٙ9g3X,<;['GRfjxϺܽKa?ȃbC r hb?X됨]<`*9sREG dTI* ٩OK-EjR6ct. y^c@Μ))z'G(G nR0WU}BeYRB0!MŰDzwcFŒ%[b eu~o"'k'a4Kc.sD;ТЃrBE/('ރ&WS *twDj-R %s.YR 6ń z7|>ZIR"*!% E;+ftw>2H!$"|."[Ҏs߱V[u2aB,k _I]ZxJ]طN3N(`7i 5ļ;uӤX^jRŀBVOz@?,tۧl]VLG`'):ȑt9tn ȼOPI[;2Z@+{ (iTTMRsPTR:DYЬ1jrF+0"8 '[= M(n*E  Zkm~d' pǰDphw,ZKQ2=\&+wZVu31.K1ے6 W~B&] :ɘ==lDh Ve}$0cS )$ٝMϘYkRw˵aW 0 a:hU#}fp%KTϻml1T*n~|]cfzȹ7H ,,@rIiTԢivg5$@u"n(tg..30y;+M ʿG B8o @-ˮƶb%VNCfa&f2c:|c+$,' XMC[BzM97` d$u0/M CL8'y!''&Xߎڧ5 Ng͚5VYPgؽ~(\jL=rdfPUss,;f Yd^:L _X׺ol XSڤd:S cq.H72u"'#3X=|iReD8fxVWF1K0?>/J뇷E.I8ѵ;R|ᮣM^Vt,]Фƒn]lLnoz T:PښX,6qx:p%ɭ=A1E,(ns`= $x ߁g^6AtI}\ eiefOR*'! cJaܼ(bXv(\5rjಟxܙOYY'Ԃ]qF=yHgUIR9#=q7Gp28t qc9#.]w˥W*El v*ZU 7Hh PiD0X Wy젂 (=974>&d}3B/"f^ݑ8gIMnUxA0-hѝ0$5f=L Rei-M򱥯|+w7mZꍀbDL3"Fk#wĽdrƌ(8iܰUÀJ=*oz)\ң(A.ssb:  Lusyd1!Po8B lg[C#RE[xQcXMW.b{eɨgЉ7F]ZfL]6u '&y'YьQ$ju-P,7/Uk 4M}M_K5Բн8"tTn\ :k FHGdPב cM}d^-lrTҿY˵GA[i<#514!k!Li\p0G2 ۻd:xO7b*R~@M_u+.yLDsb?:Qt p HD/{bҤX]#p~$99*\t$j:f =ap'Io,e}!fL5+ly? Jon0,(5}LmŹ˄[TNx<ҟHasщD/سHqZKvRboN2K8_pr% b"CH(u@ޡC#mKj^~jWwEL;B"MZv ӮhYF ?cre+V瓉V괏jM5oq@ -%<=ږ5#iT1ڢݩB֚ wPa0Ud#7F7@8}uy1p]'A!k. \ĵ:5@+jriQ慩Lp,>y2Ul\0Q!MOf,uِ"wؒ@P02d)gZx&J{|96WJo4' 5 lBXЈqJ PnqKug1&TSqLü^ ^|%.1FDF>de6/mAQ' PÅI-'IOYG~WcY? [Ƶyo}! ? ciCA$WE͛OZ!+w(a{e(J%'I5r8`8R%SlK8t  T 7{ ,+CQ* z/cTP+Q4æ>:c.µ .%C}F;X"^3d ;/\:r~d)pKX{mvC){W0hC;7i~E2cMz|6J1/Ng6|q[ v^@$Ci]SGݒ]@L ]l;7{RS?18xpő 5d`Wh9Rf&N}^{عph-]mjBcNb\$v,3=A3MF~*QZUqom"q P$ NH XI s7hʟҊxŘ|S&h|RzֲACf/f¥qqJ!63_|!7NU` nB%HqV*Rp% Tא+4~喇ӄP]J?ft$W!:g9G1=1S 5Z`VsQChk9sJJIA *K a,NIˉn@̓ܬ7ZJ\r6esrPKj .2&sBJ85ye$p-x );Wd'O~;kF{s9`aV_I\#zș{%ɏ2ǂDeELKXj׫Hy&heU| \9s:z3Do#.bYf{dmbsOB|TKˮh(*|8Cm1nb۷- $#nZ2łnq(3ބb=(y;*'䈯cPW!F0S\H$G%{D٧(S̨:d-:*$a5EPk5Cͭ 0y0T}5x~Al~_8Ħ5ݦ- jͶBNђZ!bͅI5a -f7 q~A .aASͦhT޿]a{oJE]džc~anO 0z4ˢONaɻS>|]x08F٠oe3npƸBOjQcokQVYkAqA. _YV\fض}X~2ȊiCpUѠl(k#XSw T ~,TDlَ?WsgBw25xV!盖6{a/0 : BnEPni%+c74+z&9qo; Sr:cNa0~.f~ V!Y 4ćZZ 16d_1ȷd@Fe%s_@﶑[y^طiCi}b*n%b"FH*kɏR˥L) d8!g*Պ`g呂8"Yc̗ t}Աɧ e{,5Ph>jPBUV)=S;S9RA{y! /jvU@e& \צrڢi2P^ɝmgVoKI8큗-9:rn‹,[CʉZAa`D1N3oWP6.)i&ZLoW2큝t$k |dB6 fE_~dX)Jt$a+4'Uqmm̄(R&A ܮ%4 RV4+{;Y_8bۡ [Q`4]jxς0 1xAKU$(0i;3u͏#i޸Ͻ^ЧO40NNyxQ{yBCG0cC.ی:Э ;&'jZ澸#˖j/hb3o2Ct$'.-Ti #'׽F`j1.@'*cCM "^(8ʵ'0%v=<׍ Xi7-i1zzE84#vbAjfԴak_Ɂ'GJ0.Lvcqfk5iD&2,'0t,SU/G C"!^JAsャ66\hNjf;ɮPO׺Zgy|{m. O~rpz=_ .5M"%6Ϗ‡nTX\D QjJDzU7'[Pww,ּˆܰ/b]> &g9"7,NC]9Ha[U2h]>qөi!pA:dne$"?8:=Lnoﶳ{d];:i5ZdZێuRPx]5Že5u[ġ<ؤM"Z4U-m?,.d]J)]Ȩ= vzeKA#]Wks#X`u]7ej]3Tecm:(^Mڨ q1#-GÚi;bT + 0_1,h5[_+& +Q Rx\Zd/H|-۹H7WɄD? kBzvv<0K2 &^GVB V!6$&ԬXHv쨗BPQj9=Ё,_ =MKSuO\2ĎYTڲ,wm)4/UzӃ /K[>#!au/x<턍CK$¨O:~C"rNӪ\ptm'Ժat3]5~agN3,k<Ov@?њ 9 TcHA;sI/NJF>:jUHxƻ.i)Wlz2Q(-TBJ!xZHQy of(6Áv{yű;nnȧWuic#kH,$ (C:1LaH(Z"#QRl+Kh'~~۠_àO}O2&{u4 ~`^;6@1aGͮZV&ԆM}XY4&#x:GrT*Gsa/\HFrR( [_o7Ld̋*KͰyno<ۧ. \ 3ci܇!F,UvcX(0G~@8#[q+bG6w vҷ;VK5Ua0*Rq1pyVΎߣ'DRCՍp͈0&!Z%7Yo?W0^=CmϢ:F:n8$@V_|eg C5>P uDpUFRz9#a4 \8dFt-Ieȷ]\l 'idH.:AA_IiL<~eYFC*dcl >vHG!'X8amԙnWFICV#n U'Ihx úP:']Kg g,ks& o/V-S8J8z.,'3IcrԘ jZ|4FӦc/zz{[wa<›h<ݙx3+xa} u0e΅8x-Z2Q>3IasyȜ/Ͽpn-q{.wS.^3ު5ǽNm(F[`o,@7kK|.Qre.Rcd&"8(tj7|Rl<?y {0ՙ3‚(! q Mgk"2h[xB=47ڄj˽*AR}ఛK4o􋺐cݣ@)%DZZ'Q# H5ƋfD"K|:M;ύ;?V`X>ٯj,3m9 Id􊽿1!WL ,0&=%fa`mˊӦ+1"_i;j+PF3\ҳ$ m;FG}LR0*u:Tj=9G|UMZnó7QUzǡ}Ƭr5Q& >pIhPDQxMZ!V3|i+cs$$MK[ īzۄEr<)=}g5TDxTqh.i?Al擖1s/?fT1}) Tބof+8* KVj}࿣2ߠ>3IF7nRZkVmK(TQAtBv iУ }~p*Rs |_#hTy\*wI[E0%,[t~ w._GNLֶ~|gcJPŕ8c//ii ndsbE6DYiLt^ {ϴ`1UNQ.iome e#h/3Q[!8S}8٠ZDpp N aUh}%"o`GNģɫ1־xGtRͯSpFH:GhiGsHc^X YR9֡P*E1Qc*e"o@l-JUnkփ÷3';Ig|/@y@LU)L#4kH+/S?5}堭Bhk)Gk)Ead`Jw9wC#,DεYDţY8(mJ`)Q!aSq \xjFME=Nr5+.#b f>`)>iM,W*2m.!fz(zO`P{ܢnXu~*C(s-"~ )QY($,%l(>B2E_,(ti):2X2<Ҟ@c?iD%&` LZK]Q1H!Z2~} eX+CmWU<]D__!}! Yx +b&3[Ad&ugSHt\HZЙS<.?ZPaǨ;XU`| >"?zelf\Wn\XaU RU.Z=JHg;'n|sckEЌ#mt%9<+`YC\xo-Üp"A7LAi("j_hN*^H#D =C3D ANr!7^^S_NpBQ:ݎ +PEċH<'Z+Ic@),$=ĺL]Ud=׬3k~Zy R?>#/,f%@!Uet]'#a`>5wSp@'+}Uqt)>( coEIZ <}/Qx& i r_fEJ ].Rsg\ uYwx)ZQXWpjez)LqN-Pu_4;ZѼ7"#gi$] \?rxtc+\]4&s+Ӎ+3osA(kcBGi6 [BZwUjZeKKɪH7d$b!sJ"C` aVrTH'L.ZLzb#_/