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  r,T\ ] ZF-UNITY:threads=6elapsed=6.054cpu=31.952gc=1.2287zXZִF! ( ]ŗXiɟd)&]hR}E6 47v glF2GMs8ٕJi;KTqkIUQh^NQk9vDht<]uN,M=9 \䀘'/ De=}v>iei}ɑNέnNivR. A`1xvr\cx4jdEZME|E:yrvc<[ZV|:8 b$I^Fm^"l"5/YbOvL'G6وodt"7GrY\F<Ҭa nz#$m1M*H%}"Hzji+b͉O5>6 dm4Cݗ w dDW܎Ŝk hUw>kso!BbcM,<Ӣ~ˊͷ韌e[ņ`獍N 1KM:jz=kf]sV㏸k_9#6%.O)f;Qp׺<)}XKV:Ր{c4RY8-!f:KkHf挂)ϯl]En?sXkEfH({S"{t.y؍x 8Eeci.:%n>%r E=O{(FxPiʅ<+_Z Oa15U1Iٽ^ݹ"Ja/U+\'[2 `sӟz2$LWR'e )ŔzҍjDLfˊ}Č/"/RV kF;HHѽB /eߥ/_ՋL텦{*q.+EiI+Վ!5^OCT/_W⭀4#[f2 [>kJ<|.,17"ԖM1`vCE3UNݗ&0;$>ٜ0 sCkz9tL@_^W^~7i1n.oCf۲UbvXn/Jijt=RM-r+yBM6r+' ߝ<Uhbf_0{zZ/jHuޖMjQ"D!o%#.-w=D:. /n$أ~G@ 7'?\c#23 gؼQ%SH@9B51!ӈxpsusbNu=q[\(vbdly9HjX(6i0/ABaBI|лċ)l.}04XYPٕe/G}/6,:^ZBLm[w˸0b u aP4'|jq@ao T,ܲccCB*L} bUVR J*z{SFN;e\Ш׀U 61 Eu,p-}N}k^c s墽3ոl|֬=U6&a5M\y]m/N``Ҫ8 M3G;qJ@(]Zh̛*#^o$`V,AUZ>X+4\LòYWM#CT߰pƟgmrٜd`N ow8rNk.Bb++#h&]|;śej ;GET; R計K+ʉm~KQ]%P>ui2YO_j4RƄ1 y .K>7}+| K\mq9 FHj8 +0(_Y:扬% [tFcD|/(WG u#C=nrd 4!XB͕64oPaiojWOXc}@[oF炲 Vk@ v9R@۟#o+,C{mxQ1uk͠~w$p _tMY҈o2zUR ~ǎ }/7ʦϷS5szD>eӜWȌZe-THɭ3wib{O,,ˮo0 qtM1.͌$C߷mI1HE@%7O AA?&,*X,..mYr3AhQy+L F*Rm=hqgn|&Þ&2F|[G@J;}X Ip,(e]A"\j5SrξٗDgsi9}wܡ|X=T_JT\ˆ ;tbs,m6;lYoyVtg@2t4 Og>B9"yZlF?@ԆwU)qʱ;8Њ@~ o݈KG%'=40e,:#&Kn̄L=Ă}9BJ)1іƎv| rcqJK/kAvT S-}mՖծ-?v1V,e+b}hR"K.>w%mfG8vS2Q$\*poV|Dxt-~>٢J8~rRK/WokHST ^b 'd5֟"5u辮tW JNЛZFܕJiώcD1wWܩV^Or['X}-jAe=w$ >N}OE)Tpع)>;Sn*,Xt FT9KŘoˢ@޻΅>E=8UQa]ZTq 7 |Dֶ$?'49:J4dGO`$!yh:.rw50ċPi0}94>^xXׁ4ѩAa8o Qća7E!o蟹q =j5'[QNHI_JN>L]snH,z8R>JvAŝ7olq1*LZ=fzс mO|V+ܕx`^T2*50]SAfZ=jV}Ȃ| Vq!fR &Í+ʱ=LGU|ҹe^]süϵurK^gu OJ!h5(1|R t|ĸbTriI$BZPM3]p4NUf,[@Z: ҬZM|+3H0,6$ #YZzGreX9:m+AcH@;2HMm-{K#d=C2/}9ڑ1oL{ l@8oJMaKF}6ϊ+ev@L/@g1GJl"Q_u% BzUJeX[{tA)d}j_%##anWΐg%ڠ)yԨtys. 7ΤXU?FnvooxWIʿK56;(^dε=Vp1xE>ݳhcgg= CC4 sRdUq^izH ] %򁐤JeXe>l8%:tg(h1ES*v@n^$NA(8& |>}fUQ^Qh? ZecLQP ='e4FpXNUaɾЄJaԧLƽQu00cb@<,h H xm(Ǟ%_42s Bl.*zcEvhqDZ% ^,ډ?S~f#i2VĮ))l\!鰄!Yr1l= m(yWD5(kz&Cym<|Lau>$3 :7xnX*lP.ځ=dGc[ì4RbM%PVa(Ymc%Key.?{ج#8-ԩOtLZc3 sE,~?^M^:&6tC6֨f7 SJI'/~)D c  c gTI;\rRYn~6iˌr;&gL?Nt* C^FM]nh˺l@JD'=+@?.'DATnڃ 2f!Wɩ)@yRz_!2*LKDQ-]P2;݈ 1b͋z?!畎)\W;oS>JJL7]w+sQDI]>8UY-g t]S?d\BnZytOB` BFC<\BG($2HtEpȾ)@xIډH7/0\Ieo1 ]u!&R:[K(CuDiC#X>i|]3Q$oQB][r 2>4W&,7S՜\L7piƄ [ a[BLqz]/"bJ`K5ۛzpˆSݕ^8YFjP:E><"IDdr-]˵m`zCw.+jU΢^{"Cuo]&^'%>݁yR5R-&Dg^4L@ 7*d)#ɟUOAǽ19p) 8%G0t]ۻ),| /k"uw4;|%^r"VסY.u6Tӥ'vsHׅ:HBƅO* .e]OLA$⚘X޽:Q!p WQWKi۶&Km1q0Y"@3&U+oNn)m55'tuNΑO"[QLD3_]-7P--* 0PPp<~oPx^Oq DFkfM{ѺF՘,Q[js>BPs3$ C%.&giAF@]Fu@xFT"6Qά̓w a<簱ɴ,uY%Y9~K1/>&z2jtο#tWDJ/[99}$EITb)F߮1j@Pt*B i  hd> 5@q;*1WpPVRskM kf9di%xOo\d%A^ O宛E2| 3@̶{NpX熵+6_ˣR&O@Z"[/*tϦsK4ZtTdr_ hݶ9譺 nP 3 bfPAg\F{MIp n=kfܜ%J'XvgSPKde%=sT at 5 Cӌ 7X`Zzd:_'xitq E{#%HSFD37CW(4Gg,1n%H[, htEϥ$V7a*t\}ժZ%TGuSaU ø=Ym&y$8%Ji/#ӓp!$ٔ$~g3l:TY'pt"wě "FY%(/?K3aĠs+;Omȅ >T4\.y|"R_PIT58n'ͅ]Y7^slp:}vK RG,P:C<4䃶6ܘz`|K<`9["K$Y /e|S)ꯝ soE(c6uX̝r3Yf-SxF Cv M|Ff[td߇zDQHT 0%v GADcd&3TbW]Bf)(pG{p.`eS ψպfz85ua(rYňr_2ӘѻbQܭs ά@hۚveu}©]u~aHxvm ]"DAuyJT| W5Mbk6L(liH?c͇@@ u[yːO{B5[s{CϏ$ٶZOh$b"9!*M,`ag'qFۥ*5%_S'QC6e#խBm*QLgoANS8/eX1m"h?.yj 2@K WVn7LRND"uǎtursKI{ ) |ʸ]I<钭% V0HL.9L^r6`1`V7fC>yi0p1(Di9d)~4u+78 ~ .S it䌽u#k*\?|;*hul /^[q-k6[nT } q3Qi7TWo騏$}ls]a^ |i8OsIA(=TמKPLys޼L"f狥w|79Ba y8,p?+31wM? {9&+x+qH%ёKQv2)-`#EaLtj~H3H7ѢL~[k*6#{6QM8s'r]^9^xWHm[MIfN7RU<'tlH䐎kw@YT?l,A!|gp&*lޮ5Srgj~ ̠b龢smJBAb(㉃VB̡߫OuQXH Q㺺H8N[e!vZ)q0C"pdNE=Z?l sФTP]ߩhO 4ܵ3QN8 @,m\]F^i$}(h-*28Е[e!3~ )weh5m~OqXHQ$ōQV\7SҜi!'zHfk?aUA0Io!RCx7Kmƞt Cs7rh[AMRBv^jxH;!oRHr ?`Ռ!r'V#/($߱RP$OQho}5ăHkS77`EW@ #LԖv:+!-Iaat [ziIw#\nfz l$i]ɤ sAq1sHd8jQ4, @uJKK 1)=k{pOOEϛUfe!݉/jX<hDu 52Ӄ1P]V| K?ڵi^ޗ|*/jA:?13D^Eq_YHp9}5xLPe$iKZ5;)5W( g4~|z >kN/X ?0~!rQ+(/fL8`!n?|[ĊO#z2Ʉ 䭎dBlQ2SF=PqV~GTqp3Kmk!S~v`- dacBuf3ky_aZCRxCA K/FD-l݃N'pXto9[~W3>0K)z^ũ.ҥ'/&ZPŎKR 5V!{:p+^ p#__Ülx]=hqJTҚ ws JGY[h*XX6j= }(JVh,2#8ݝk󂊬 UțLRRkyvr862<~mSժowMNEY Ĵ߳dLC;%U L}]A9Xnx˜k['.iiaCĎ[7vL2}uT@]h|~&ReyPbsx$.@^T?Kn,O>k` ._I@;!= q۝*pj-k|kqtA2y~Bl rb?P̕e}˯Fԟ[-ڕ=4H}&zGR`< ^֑'g^,@P3n.򑥽h{pk#Y%{N߄mrT Tbu 1+B!X |)2jv)D¿l_Iˠ [$t69[0Rgz?$ $ L<&8­@uW 5@_k}Βֶ1}kugE-&z>g4'YI~_7= K>:#%b^XTYnTk_rcs.ȭiv(®+z4qU?ʧ$09DvثHO9_r[(〗)'VA6g;@n#O6դ"e:0֛uT.xX;s增P!tT>A>+vaZC.D%KcSZ>g!-4b`$-lj^I Nޏ݂TϪxEr!S4 $fvNgɵȦhaPi1U'6z0oATj5J]KЮ3#80+U}O&o{1-Q]M:kG=y+l57uq(4Rڋ\r?9 okGWt܏2dJFo׃,V /UBptk8dx`ͪ|j ݯL#O` l歍G!hNR"&녕6ۓd qjǀo|Ejcyxȵ0Ī sX\ c7PV٤0lӍsӑ 2,J^0?_vxp5atg`ά?+/E;.^hJ OH?\s.=Jɻ <x.^ZfLTs X7p`dž{mmn7Z6^niN8H%@KE>Xo[Yk4)`6AFUhkGyR a;Dm!;KHVd׵$׫Ds8@W6̏@bU/ JM1y wvZQY=ۢwlsS)-X@@M0o1v\̊3v(7[á#1B:+_/-(AtD7_@wXVJ#iVΩ2R?7]`Y+S64y-*tPooWO0˭WhRalͧhWqMw_}] P~MoU|/t=Cv 9S5xQ^:VAt!{fl}J X):- 9֜{Fv۠WΝBum`s=JX8}^6uբBjӱQAonCs P .iH4 ՙpi NvC(qX(%,Pnm Z^ؿ7 ;zT*!E~H@-yCH@J  Muu9*/gYf3FE0VYm@_\<.tݽ";v;:dΰrU~%١]Xxr6`ݏM$cG$Ң$039a;؃\|94Ņ}c- 1=˽.N#l W]$ eR49τ#>C<[Z-tx =ͣS}F*$P½_ MCHɽ?pA0~Zcg3Or[q^rgN4&mfF7ʵNX̎S8 ]{(1ܭ:JLW19Z\_.%*%ԝk2~_|;Yd^͆+=g:SjJִ*#^WVX 4u?Žw#CAhVl I>3bDlo[øិlYqDQ²J[ů3)mN%sh'iZ&[LU!Q0F+Ffh:{bS0pʆ&CD0z䎓<^$D F㬟my,U\qGv+ڕf ş?4S]b}䴄A\OP=[hRe|図`z*z{zZ\'\2ďl#h~%E )|Z(g/<]^֌#X^q>൒~OݩɁP.])iF^ l(ʪ! (+x͕QMz)5ηBy]־[ JC_,IPB02/=HaF0n_c8KH_*^PSiWkN&QΔ5y(؄TQ|<_(,FrB_jzW){'m܁vr(]ơtIwZ<% vDD)2Q Zm4]Ա#u!V3g j|Y(4,p}oG5Q}~$3cZ=cv>wϣ}t &txΟj m?m(u.X8D~\PmlTZ8>ְ_r]3yi2AHY1 V(b$knU N}t/*1F`Ob,M1Yi.,K labi3-ЗCԏ3㯇-8$Ū hAq h/6T-y(C|.$vcXz'wDYq?fLwq&[&oACMeW^R_YoޛS> R^/zԲV&xaNYCfT~Iҡ; 7S2 GV\,ĆO:>-2HZ+4y\w2]V&}/o&Y#|6ڒ|@dҤ/ bW 2D cd]vԤ1F廌SZg+x`gseH\%8 7[DIhp:$ WUnqYYht5-4}V^cfe79F ԉ9RW{PQQ)$A¶8GP5/DGv|U,'D.-yC4hߝԹ͠R}qM"ԺNn&Dngl/5h`y."b֣P!;ذtKqyU!ו绎2n`~7?|Ckx_$%'<ȯ0c:q[qdxx* yr@J6uu!eaAtI8N@ [˜͘)$)<%#|J:/ @ Z *A??YU-Ԉ#fK_Q%Rr'XoƑ,#PXGu䆴S}mM?kt7%Yvz! tj0zNЛ)oOdLʦ+mԶZu4Stgs1&{sήuw^`40W4S8Hfu4,*;cTQI(o:}᳌{Ɔ>& `_o䲶w^&7fQ0x:e9Քb >Iזh=ḵ%a$R#p056P{qS#?uII4E[Ვev=>&Cz;Uw&D}X4Xoh=60ǼOݙFC]`1A1?KAk%gFCmQ2$ a;v=2 yoa0'?Q p.k6DB3EBc#$] Yo0Y_;jQ\n>E>Ȳ]sǝL>:Yg2rwqzXpC w$Am !:mUZw4坌P? 5Ք@-M(+ۋ_HW"%8)Z)zA#;._/^7ltP [F͙CJ 8 &Ki#+4] z-=o08:ag Y>C *ڤ#(D{Hf6_AΌ==$a G22" D;ЧNf{ oVr@cܭ+R'ƞkd:NgH".]Zvyk9T¤&*ap9[6/;v:rR;#tNuYxHWN9o&GPx%ȎU=D2(Lt)rL9%SCDQw} A^qQrb ωGԔ`0m8}eoZωHBbox:-%@J RgNl˺}rm>-w3I{diŰrIukX\l=xۨrRg}*'v*0vOBY@2_^Zb 0_S?qX|lTX4c34nTQ_9uC MV 4XF83ME Ej# ǥ._Iښh:ʨD3TzK9Ѱ-KnPE) BNRG1J瞡1IT=.\v<*v|4lK\iDe,2_$Xk㬅>0n>3Qj{"_/׆$bG3Vd>; ԰ZoÎ+dz!" D]rHH86(b Z68MUy!P[1MQP%E]mpF*mW2R\z`~%Q, $en¤) ZMv"ϛd:Ӑf%HHսLP]~4ؽnjn_+JنOm ӡ 8-iViȁ},x.uk&e ~[Z4xN \HbE@!̽nP% ݹQ 7XJ sHPJ;xNڿH=(}}aU{ ,?>(HRC6L+VaPJ'DY_inh"VGXG* M6xRWu ^ċMQk8g"uՅsQR)GR>,Lv_27+`ϰ&7Aj?k6+^O0jdBhCB}m&-F@;kV"#fLV9gˡi)_Zt)m( eQ|HMt|=f)".htg8&o*#Vc 41;\q[@M}J]QѫZ7|0e*dx הjq?2xuG;?p<}S+pRBz99햕7G QlbWIlm`AshZ&?,W .ZB<NJvsZ8=s^#z %`p(e1ޠ$7YPs澦Zځ_vK)U9xR7KYӴZe.]6v?]idB2 )E$m"caF#I dx,8' AVA+Ngg,I)EYz@}$3W~t8⌀]ˊ(,`"Jtm|30 5x"6^tx,T"re>qL5ZVTHtxg~ ey"W(ۈoʘg`"p8̅0R) x\a' v}H]( 7zn?'R?S4x~|쫪 8.rRҹ1d|z8Hq"}s ^uk( Ktաx= XV -#wb K\J',`\XNy2:V߿xNӷHu`$!2}-K̆aw]I F 5U#u>I~`8aJ[?J]o]Yz"hke4 ۓl{8d^-汣a(mG6טVށ pfh}S0|4 Pk׺+n7C̠>-wIǬk1sJto5z+TWDkelh67(P"3_ OfW{1s~2z*'L?D&K?sUkTi!>2ڙ>62ē='68w# EPn 졖fGΈSK[x2|+-PK؅3mOsxSSUhNю[m!k%~R"V@!i+9ą8쓧jxKeΗAY3]+5X D@^uL {<vmj!yЉ1UWg,ݫ{`j M7U"DCxd G2))Ň^(ag/'J{) WxX-wCZ&LG9쁔vij DϠ@@gdh~b9s4,.4~nOYнc˾n M3h%CjaB+i}>kf"IH_eO'hTgTϚN'Yӓ#*7xk8cEìnxk;o4G[T3 :0-&irm*8O(SYw. F9rnjLM5pZ] =I+PʺQ20]zŎ:5'Գz5n]j 1?VqJ^n ,277bDNl 12}u߮}6[ z$K$*58%^끤/蓪b(} W@M?Y;o+zS/AH '# "0 ,;Ǻ !&C׍Dӵ>|1ohbc17swD\mT5C48BSFnqBF|gMmPtvcΒ MZq IQY"S(ddSav,>Έ`BOj;+i@ #LQbt&O^%ȫIt"}cpʦ:p֪ x`yR}%-}t[H \,t G;rJXu0v)zJw wcg%QF}۷yvKaw3DW}V y:ݕo$VqL#P~sZj+Z),( i_b>i"`?ތnF-%z@:z|Z'o}MzY"GG>:- lBiaKgV)Xd><;Kk.W^ZQP\NSxxA ARһV嘋-/UiRSFSy($9ҧfEiKjzep+G18Ϻow d,~C >)qHޞJX+C!}%͇!VP>:&*VP"C) #w"/esN|jV_žoZ~UK;FbZ'!"5VWrWUNb{e=ʇ>4O%]LvFK&Jp>ނ\G$zн`냠Ç`uhdJʊ1\&|vJ~j2@4(\Y/]\rM#U$LJ .YGX Z)cBj}&&nʱ$ٟ 9eCI!pHs du<'&/L+6Q6I6t/8 ;H@ŭKXD~ za!!U9Wt85D\5SAju!X$hKCԷ ⲃ𑾍:=D+ .:AQ:Tiw?_2BQ߹Z .#M<$#tThDT~C4t}={1I( Z-]6`WgKlά6=e3;Fh_Rjv_ <l^4Fl) l0ƍڱ(8Ɩ+am0ZPif= חj|# p3#p&yBkrѻ|dKkPj֜lWpgçf#R掻(gۘa80Pz-~-sX(#%mY"NnKx k! 3Rc#*hGqTʴG;fK.~iq܏ U`NY e -ȑc +I-L%WW=xY;s(S3U'h{qeYb7PRpџ˿Db 372Fd&ǜe-h\Kp/&s*c1 j\HU.a,ǁ5Ϗ/V1Qb!8`L;{on9H<>(PdhUaT#J9Sz3dXj% UgY-(4 BxA2FXtd8K hX+<<%B^s\t $0($"xD+/_BnO&A_8>7ݒ.D\*Mh_b~~&9O JD_a:Q]&EvxP_P.Ԕ)5.=`ݑ,/,pݠoM \1Kz#kN_e ul_yI(`Â-JX~h򆈖ɱCd$vǡ0Q,;2B˯}V%<0L悷 b2ѻ__5S nS l+>жCЊpa@O#Ti?r|u|9_pn݅py[Z@nj!S,Fnud~kq[i6U7| KCt7?_ IK5z$WInHy0 /Z|:3vO.p43СݚFţ^MfZeA:'^UTN',y_s@nV q-_/Ab^{n^/u5#]iKpσ% W&c?DKLpa fi .QZW$J+Gmֽݧ.;n+wtwF >$$S6Ոc/Pcrl&P ||i!(T N: 91'r-GHy/zBULd85r$ut㣥y^%CkMJWý(Yӌ9I% QT I%)\M^ nP 'NEfpBƳ3dtt@xD—@n}:CoUO= K-[SAg"A.@!aBLd_2&z> ꩘˄rJ KS7t˸6~)}jfdF9 ]S"93HEV~PD?:Bo<}ZX~9VG )i9lǔ87*v&N cnh6p~]kgSkhXXɬeN=o|vVz:Д'-!ԣ!U[n1oy`n7orCYEwzLɬ tV8Q`i lE=0K>8YQÂRpUREb^/9vXb5K 'S~!/\F |ՄU-^HBO/,F|#Un dDUaN- Ƽ%6X jT McD& v) pSnq9e˓ />k)HKtp_?A d您j^b/[l,>L4C 3 Wjh(iD$Gwn8#shrZx%l )Ny<|pSh{;qĬ]?vFP( ,aǷ5V1;PЕ92H+&ӵ A{!([B6PنA1˥ HZ\rqv6X]qUɹ-ړԉrx|(?nEn@<5Nw\,B~2?MD|Ew\;ol6㚅$[edh?~[,2@WeFgUmc3Pajj98Av**zK4s-[40'kBubS%&m`janX8? -)9cBꃷܷ!\~ X,Cm@ojtRŇ3ƴG+ZvpXf_mdar kwJ{n*l9,5EWȷeYT3 ߧm%<)i,?ZLb/m?E"W+S}}}fE&U"D%3% .xH$pk(il/ Eul:~_YBz@BP0\ W>̢oHg9z.쒱51}%v~I&uByyNӮt_|jxyjIhGfmlozثg:D%ܟŴ%GРMoW8siҢ~7ʒqS5 - j4u"9d_ؕ,CoNo}ac’RFt*:]mBk(~39m=?AB >BTܮd0=pJ2{Z˂Q;p-QtےAߤ04b -G'FVR('YڌUfzqm* ;[LG`GJ[bImq+='z,-DM0~Uo XDPp9VNa8f~vMgNḍTθz gS1PLx ϙ+%n>Z c|R} AF#mDOGx|k5Y8ŅQ$qH\m pD adbg2_ è=+CF~ܻ%*EzH:juJ}4Nׄ6TL(!TUooZM7gy꺩jbΗYϦ]u#X>pG<އD hLok1CO ̇^k ^HPuOuMs;ͷE6f}?26N1ڔf55p Hw@,8U\jBDǂckšQIa'4??n$H& |~1yf4~~(M hY0ݙzצi̱ @GTA{!"'4XlvXæCs},OO'I͂qV֜Ra'2; [|YdmN{wtG-L,hG2_X2Eir@ Lb/oy3Ԡa\k󖂥ǿ"L~O=$~B;u6,cͱM7W/g'_w+; McWoC6ݖ$g2pD1E?_vbW7f:!re B?'glt)YQ$Z~gacں"Xqz&H)JZe,ʻ_ ňM,m/.nJR,<0lqo=Pg#H(ņD{~7"/LpU4[ѧVNu09N~t3`%!D"T:3/?&}&!zSIX3m퀌z:v ߠsIdu,% J.);`\r;S.'1fj1r*[&}"L YWs c֙jUj(7VgڻO{,rN}ZLn1YʼnzckX̲5>JBG4o JuEƨ~3 $(wnO(^u[TZp^!Xo_On\MSZ6r O@hqܼ.Adl%:93{NBaqw|?-utG -- 5ȷma<╁s)0شMk~pLBw?Xj5c @(&t;XEZV%?،^s)bo4|JaNp5}`._g>ijT53Rrs~(,<ӕS~6#S?QJ1I`?z~%ԅ A&$#"`%YAci|pxA yD;%SOZ^ybihW\J 6yzj5Qܳ߅6.`2ީ,vwwc6dP[¥۟W7礈0N.ѪWf1O!1_^ O8 pt+GSlK b=f$ ڋg7ǃ~ՏQaMTP(MzQgQC36 (}r7[8<NyƝ'bNh?nڂA~"cC 1ua#B L1Pw*-oe6o0QGdब9k`R  ޣ*rau*V})509, S4YM/7@ mQqpyOyZ0JXKiiR?!m}:]I}ɣ -w!8VP>Xmuib3a#&x3lR9s䧈ړpg ^>[x,h b6a{j>hڼn&" 9~1GRSCY0h 8t<٠< ONyq,L;AtY\AފRA]%6}q3 ]Al* fƿW/dZŌq8q&6k_>=}ؚ:1\ꖦc=&k 3+h㕐6$m,=D')jv?!8Xϰ),, r9(hH:Լ _Y<4}V=u3k( ̈ gmwǼ0Z jI^nAe7s So#!8FOj`$*u7 5.jٹPSf鐆W@(W24O&g 3o,I_@P`4 %10I gnX=}ϕ&@Y@^ )]EM!_MõN_YF Q?QJ6P`lJlHETw}.l蚬C},H;xn#)rڶQIG8IiPqMF{]!Y'X>LtM?=gy_Z .'TT+K%wa/@ 4-vnrc`3?hK/C{g{hL3/m #9>-8ZGR2XjlzKG#OQ;dzA,OCR 9]/[0aA{毟|pz2آĬ=)I52٬md<㊔qvnS@܅r>WKF/x~S?DBd Uڈ=x;V,,d.*7Hv7j /}j9*u+M%vAYK2L˞י.dP|NrMi\79iA+a>s[ DMasBmNkyˮ˷Q#{-t|E 2h;b@ ^t>dߟ|꼯^4)Wy^ wN@Ʌ|⭊.ԦKeb|L{wZ[Xu|sGԣ :S$x~ѱέS w䅚UY_SWBɘ|DkrŞIGƧsc 9󮠚mA|Ts noFivޛB@x&G+EcUy~Da` AZQiUPN;A~YM~i̒Lމ;HKMo^`Ux1g7.\WL2v{m{Φr؃4F=fD{1i# @ 9gN;m lpMBI^Sc{gp ̟>:?gO9%%.CQmZ:WT-^i$Ghث,&uQls7q$`7k'q=}02 hC%:jپvZ_LMraUuWeo8ڀ:" !Q:7PILBmk80dv]iuM9Zc)ޫXk~}iR/x)D5 P(wX \?KƯ()b{]0,ltsn\Yl'![9|."Er&K7nnu R. ]ZRr"gݱo!W0G,D7Dm?>J cl,80e1 +8hǁ_X:|{F4?]<;J8%j :"LSl Tt3^0KDžRrޞ,%@j_nĩi1AèXց.D.w4 [ ͎ggM+S։i!$J#ZB;J +mf[Ŏ9ΧŝW`'I4Qzl'ڬrhìC/Cџ4Nm N! Em6$*?EB O+ŴAUnF7+`hR766wX6#_ i"XT{QZ*K%%)p/@ttFvDGzjS)TByL'L-v%$mJžIgS:[ſjT&tӽGn."q6TRE2_l  ]+_BC-bqRyeuϯTRL<;hN_gQ;ED3;X]VWv SY( W-Q!A)Ԝr#4 qhIf;p'PRH.adda[W3 ?^OC$|h?n#Pg#1۱p>tA#>#4,}6 PP[\wV[0Zbc9 tKxٺŵ,Tqb?@ -,>K4뚏,C:Q ~lGHbJ"uie(QU:5V4 SX b)@Pjz-*7 i;x5%/[6;C!&$HXh[s=!rƏn;7Lg!9~qzɸ =>+NIWAcF: ?$@.cƳEa4QTgv-npag6^犅ruLa#!E~ R_J ,%<{-<hOmcyH@%a+>H8\@("_/^Rx앾4r(_M_#xapsA 8rPmcbmh)l T[&+6Ν/҂Fƴ/E{.+}ѢNYLa _ji&dHs6T䡟q}S0N\ q0+2ľk=58#rNJ}偤$=v8* l=_RnupV6(3 }R"_Qo1*yD&FQafi.BfOP2-Q2'[MTCpuZjl`4JԷ-06XW+HIȃ9Z9GPZ^1XIݗD*4 E.CDH6qٴeIX+&ZXy[}INHzYh00SS=ǟ704:琙JFǷ应8ӄ.+vcUi C]o%W)TG[)]hl}>i*FʩD}=1oX\?#Q%Q4~qp̤+%&|t+Û}nHtv;|) D[R}|kgJL|T5E I0d7W|ϽTuclN^ţ<,[jCp'EZOw-XTf~ dꬭ2+yjag v$d@f|F\% O%Fh CPݨ OWFMg@ 7?Ӱ#>[wXg#!~.Tՠ eeb҇CkF~ d,-E5 m+sy]a]r0wOS|',傟D׃Y!nJZ,#͗*\XSҙuOvp$d$$eb*c;P1`pgL"JB&b:O "Iyp@{Q/NY?ͫh`y0Rt~U4Z$dcگq6S*' >' U~SN싕'fCsocJ5s-H^7w 9Φ\r3E;dJmQ&WZrQ4Ird ށ2+|/j::2!;KLLDȕ$ S$i{`{"o 8OFf܅|dCbeI%[7C)J0gg%U.OPd,~ًBjvmaŻ3~C{Fys QQz}94LFLi+wY )Ï7űXa&,+k[u13 W] Ail[:,\'Ug?6w4>e8 ɪ}oERxU}UER~SJ}sɏ W6)6L 搯|ਊpȠ+sM=?JhAm*K|H_0es6_6t dJp`  g֨9Um0W?&T o)#tFISAYΤ( 7-Hqpy(՟\cS(I@x Yv$og*8u抯DžKVycr哙9uiDahyAW՚Djun%Ybo(\ᥠJ 3ba5C+-chm;Zda&8_qS1·CN 퇹:A[Y"s$u/*{6euwc݈y+ )[@slcF?3lN1מb/N2nMoRx?V߿9B: =KB-5rڡmdgH=Zt1)\)sʗvzIF\llV 7f0T {|0̘ACdlaZl"11(q+\)38lRSQ4<8dJȗ/=BL5!s{<Xf"i9EL)斏QCa?@֔^#e8V` ;FUp7_AWx|+8QI>E~+I|^sfXj[o{w'JSQ<6tA̠еp9Lt3&,Uaz}}گʙܡkX%d~*2E omf>)x5OqSeG7i 5Yxj[-1ߟX9/r!ѕlŚtk&:1#xRЊ& p8i'.26@grRT6DP\8e&-4;kub4DuD_8P@]H3N7,A j.ik EWbHU=K*R2&SN'BZ(_wJ P[zШ$Aydsb(%a iɔ>n+[ ) ! z@!Oֳ/b!AR $_Z͠.5f[OMCBg^ܙTM'oy2 ֺ׏GhZ+w9%VbJC,cJxQ'\&J$G; oeԁ ]aK9Ua_ph)*_{29@l'dǥ/A:n3۩eo ^> Hmi;S%Io)98Ÿ~fVjgT d,*9"!SQ\?~vRˆdVR-E=O8PD@j6LH\ A4 -UH(bGt(oΉ&0. !ġP+* G3zg==!FԏCбe2Sl/#>gH'l_Hy0uL8=eHd4{̗|omrxq8/W3 :4`K3!aiG `^zetyx(pqAPc5 *UwptmCk s{ڵRkzuZ~@_ 18 E1e+te8ƒv @:m;yCFS;ȟzU-.0A%m[7ED<lʈSJq#)M-\ξ8[ [hPM5;ҝA=ʩi5e+r\~U"Qea1JN>6>~]Jdp}O T) k "InY[zWyD =\ѻXM)3o,iG}cqBmPoqϥ0 +eKF:ސ;p/zPn;Uz*Y:^jq@$v&If<{eאdpU:_Zߡvm *iEKP 9YPmINoD:_N˹qM0~hlx!H iϼxa4Ji'wmDLi`7PK(w3 t;mʯP7yTB+zݫAx@.֒L5'h+Q>d17, #—=5 )[j;XzE¶sG n|Vu(( Je΋|lz4ӚΤFucs̾>~ YJ/ Izo8l JV mq4dN!+۠lͱG,v]R@:)m̄)p߆*$"ٵ#l c8sj3-]m!-Pf1y6X~y˹u<={;-KKe1Rlڲjpʐdшo]|:] \qgrDql &'\F]$;$QPؖgK7!Xw IDۭn}yh%Ѕ,y >u bVN.;`b2p(̷NC(VZ N-㱀ӟ1U;8  m)ĵyWc˄kw=ͻ{p0&ꃵ-EEtN4ۖeogK ~Fu۽(Zr]y>DsUq )--d- ͙4rueS9ԣ\Eu 5!F-C"fU_"'X)W$63adc8_ZM˳£ޘCǭ6]pY1+eKkx[ah1_DI*? oJ~5=LԂ|դ]8p]񡛚;O"/;AZL c@`6OJyD.Q R[TN|FR-}n:n) ͍Q7 &e݈Iu ygYZ7zXZִF! ]ŗXi%L#T@2>-ʾd ܁h#$fޟ ?< ҈YZ$vA6F۴2LIfE?ۋ?SW{)w xfO,x3E('ǰJx-)u@|n~&^!~abkT9:+|16f|zD0-B[Pf>K>B JSdOrjUM"6 Ag \Hy] s0xbohSmw¥,n8'Lxγ.T~,n>c J%/"i)}t1(H0&~CmSDq0#Wi)~wǻDer