SQLite format 3@  .0:  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 ((0||l ]S]CakeML:threads=4elapsed=383.044cpu=1130.688gc=112.968factor=2.957zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5IoZ,M"Q}gY QwIiՒ)n8?%ŞI@" WPj^o%% V2$q< ӳi`PS occHxy2;\ަ*hD1U,UC]QlfU5K_) 7HV0l` 1\ bmo2o:Med\uucmU{:O"۪YJ@ $аi6&sU`.o8V( ?UEҴUᰆe2tV(x4uUS VQ!`8PuG?Tk{I랛zc%JNAAyPA\FZcɾ)S7U*6JaR B_OTd܍8lk<2lZ ~Bs^UL؝`"zIojwNj+B(o!9w `辢S?̐J::}D+R^ݼ ÛE*NYKXJd k58"LpR@ckl-Z=5~%zK\@_D?wb |\{_V31k>Hw']k$a>L QQT+Һ $cJ},l-ZDYes+J>1L-XN͸Vt˶J},r>RP@s٪K&*L۸ŎW &$ 1ICJUL`Z I.3o0bKoDJK.x_vl-@q[R~j*P9SAY|" 5%(Pb`U,錛 Ohi&JQBa ƎSp+ \y %(?EKB2Lc666'7ʝL/OH^]yjLepx~`Ƹ@^cɃG1dne8Ǯj͠qvVv(bYZǃKMnΓH˷CѴRP!xneӼˋ <:\FA1m dYj֎3R4vJQ#׹,kF#@+.c.z5_{L 9%wBV?=kHժPR5k0hɨ eZkg7E൭jk/V!:Kt_ }_kGk *}Ȁhh@SPe߰ObY! C˭Tʓ[}gbD;/lWv`}8[FqHʳ[wF" 'h$URRA}؀o;$JNbU0g.n$~E|(Jm%ArabP^y>'kfHk}Nل+=x4cc4G{/>S-ʶQ[.QRD3n|#b #D&m3v[&SNVS02oXU\a~09!7wd.MVOC;cbHHff:w2*k+m!pN*{jBt{c zQ Iۋqǿch ,Enp}}'I[_S2Roi- ur50MDHvC1y& >.ErKzxUuU!4V4'^Jw]nq: fX*zUY/OE.j ;݇4IBmrg 1gp)W]<,kqro )oRDqݽE!3w`%pݍ_ƶ'D% wÄā:Ƌ%^2c!iy/Zvwc_2yx~>;&Ov1.o&*);B@Z*C;p[e RKޑ8k2+QmHO_w\s^'Pk ϷRJ(: eem?6,TA:,*%"Kgp803s4Ih.b\S/Y;uv͡ryf7o":KzM*rp6t;-X&%!y؈%v@z̊ؖp'Ke:}N+{|I9FHf}7]{xu IK$y s#IwCϷzN4xѓ | \<4ΜD Wk%pw}72{bYwmD}oM-vWYUi)41HO{nFd1gLrf: m/WCr8M>'t[Lǥ?Pg"sqdRB-mn8ܼ P&ߔSpȀbI!=FEQX8'S5$Ti%]T[L^#_:0BZG 5&$RkR՟: JOE?Nz8kD3rd6h9GQ"L?T"^yTioxpȷg9E;q[4U-NU_XZ߼L$yjT,TPՂE* %%K4G_P@p:G$O0D`|Qp8+)$& >?O&!XĻw6kc1*>稁Q9ȾWفDV#.͝v%)z9fi\XNP‹ -rG؇;<Ӿ ZL[F7uhFX6g(PO톄7bJ1 ˔~'Ͳ5&܏U|]6b򦅬 1a@n=n,tws{mvGbrePQXku&2AvLiTZ؋:?wo.[Y]'ۣCYM$(^lRW`}jNj7;ޔ;N+;@dMe#X_\AzѪ .B-*fmvcɵkB5g[]у wdU.)x(*@\d.+ҙˬ;+Tn kʦwwS ko*ݖ`շP҂hn'ސP$&=F5ؓ (v~UtJi?rJ'4E+EM[SA9#mA*J*BAz"'_xٷ^GX_ $XBӗ # Oxv5JQI6ADԉ8V޲ADKшWӐ"`Q3|{EwBo$ݙQM\~Z\Cj2X:ޮR|%$k޷jiz.;jbr!5 MvwʬTkE=YLڛ,TivB/V jn.xYpпSl I$}! Q^Y~|{i2`r]2\Re"%eu +_0-K)bpR ~ss6|}Ymo姨 y刚U {x#m 1*9p/YmtY31B˫9UwtkdXw@P͎(Jka( pDkl1bΡJ85rӣu{b|ߏ@@ s!AT6W)F[s<1IAzS-Zn0@^ H O=rRϸBҎzq|e~Tyx)ȵ}ϯ;r?by@[A6ž]uTRP}A_FVK{[*wBe8n=g _n:(NmՂ 0߾md֫7.0sƕh _tf<֢t|pWGf鳷/;c9бke{pYsv }$-E*GU899)OY6Ǐkt Xr&.ANy`E $/HOl^ưZPI ̙3zn8 iHH"ʂ0,%/%tľf7g*bwy3 ,ʇ#ĎޚK9I>俵ۻDk@vI4N-bN6zI1|n֩ʼ '*>vp9޳DoMwxvHϷ`n'GdYFϳ4O9IE! ]-r_ JL-ɨHn?@)Ҵf 7L6kSRϊT[Y@m@͏sj6^b5ѿfՎ_X0%U':q&*mu@p'M[kY`0jESˮY פ|agؑSck S1Ⱥeΐ ҕ胞]6㋾-_>{Qy.&;d1Cn#&qXKpDO,&rF[$4 z0|8^RhВ1KqGXm{Qr [Ud9}oYj3X㬭diK J?kui1_=ĽAGHdEのvyS._:W  iE/Ur,uw#p(j#JR,P˴s9?B Cj`\TG7NR*j \m=t2tDq$L:AXwfq@kw8HMGܼ^|s h0te@,QPAt\j M8BT{;fҕJ>Kq43xUzGEh3믨Dt_X?؟ZW,Qxm_2#tқQy5Ї<v _k?L9) Rh. ];iX^LB[mP9嵾zFp F5\a(-5T<{{ -LgYZ7zXZִF! |n.]ŗXi%Go8'Ū-49}d@Dd'krs4,o*'y=%b+c3֠i 4ԽظZBXïJo`,w0U'µʿ'ZHS}g?^85EC3^x'Ů.|oDu>uw,dяh̆ݭ6 U1ЄF_#C|1N?wb`Yv7Ya|&0VX:h2dVQ Y3#Mه{B9O}3(L`y":ꠂ̠n_wᵰL']:ΚMo[9<%-3uU1̸`K`LvwUw=U0\̺ ͟E1ږtw2]ן'>x0FD-7̼?' |+9!QӁcs#$ ¬ݻ2r ^0ao 9JBZ*>3*K5#^|n}K[-/x@{h#|s&ɬm^U.OHϘNȥ'ۀ+8YxH:Iv) zyPY: 99!(eZbOoۂ8{m-\RW';ç͎݉a,5mF%]g*_ 5}3'_m/ݴ[Ci,iF.3s>-̪Z;SGNBD-|>N@^A=>VvQ xW#=+&ax0٬|X%]jP?N\Lm=#*uFEYݶM-없XtcqWh PN<<ܼW_6)-8`2Y׏XLި0~` {[M1\<zgFUd [[>cfDr>@⃱󄐃^$^T: >E/Ke^Ht S~ݯx"6F2 aK4OBh VSH7pzf\l);Y#ؑnFM[kC[eFpl0 iRݘ}(3qQ[ 1&n_ϋ0uF9ral1gbw3tR2DN;<sgt T5uoC+͕} Mgm1Yv6Wo"o\'<_6#y  0A*]YBT-@^PeM=.fbgTALj16Ĕ&R9i AE)TUe,ˆD]uZ@²j0@n 6\q]YyX![{R(xOM?\u /<*ult%R#ϻ 7O R2l4֎$p ^0v_\Ƀ7 )ZfR(%ybUpKȨ<]۱CBU9ec? O8"gS\ 1Ac_~{OvOyW*j(JO;{}aPMo@S/cf{0v{6jYz-lirb]}Xl%E@uKLd!iĨsH׀ b8{Y. :BŰ{|Evۄb%RLV,޶p$"~ M>5&_tV>\Ѵ{>Kej 6;]3鑊X0|L" Ģ@_e,"2!p2yte*1NHBٞZ]ri'r̤*#W{B Vk5s'+j>jܠ9j'6p9Me GN%[#*&?f!Q%AҀUGSF܌~,Lmw8B&y;x_ ߺUNV~B\&^gNI=/K-0+cMĢpk%U7кJ>Mn(i^z (DR51d)Qxl0)n3Q'JH WIvA!&l,nT><&>Řw(h. ɍ1gJLV*[eF(4^&~E T.| ٙU[꺾F|kQ-3!(`'CA.ֲD1 $6 Ґ`\{y9yۅN'+f6_J2366#L\Mu{ l )tHhpO&"َbﺉOצ0&D缠˜R6 Ţ!-?K%@Dp]DEhf3#s;>HTrxٸ-_Ӻ#ՠr6W"z.WPrc֡a/zokB@k5MlZHvSzʟ@j>Ƈ޺Ul726-HpT~F`%#G@F,@챸O̝~P $wzXNx#'jacs59ӡ:,x'рHdDb р!e^2BgNɄ_},TǑ\ o]>w Y$"d3 U >T@2u4՜Y φGE>ؠ5 mqpnb(Tᅴu8Lis*ׇx'tIeS˹@!L;K5~o zαP+yͮVŎQ?`FZnKRgYL&Du$Ɣ( ̖Ԟ zg&:AMԍ4-v7[Vad2{fm!糹,/z?Ї UHQTq4f/vaՂ4$Qdk>o) 9^JS/k|èB¶{H iXIX#bُ[0a*:{O`xZA^fHt˰ǝ ch\~ #UE] `3F+pL`u\f 0NxDκw%NRP@]m"{WV.!e(."|x=坭s#NB3 wG2GXR }{E&ʏD * uR% _*m9(Ah {lQxkĔLl:/K177NI`W0Q3h7xf 0RAas@<ʼn،jo|w.$`C>o^%@0Rsҽț^j͡z6srFiJ 2i L:ZiZXxQ/4ŊKWy=1rIyG>&<`wZO?Eߥ2O7ㅕ\=/uA62ꞧYA7V֐(t70q:yQ>fZ m,,fuˌ _bT,. %EZԗ3; Hi3{PRQN;Ȁ#I,bLWV܃zި C$^tUQMby<D~Ա[sߴfxYSm[6w3Rl ]h.1;K\ѫqXF$* 1EdwuښB8.ų2e)W!j7= {Hu yQ,ɂuZN'T`%HͬAwafڒI1%^zśqw?h2{@٣\1S}?Yٛ xh)W]7]nUϛw׀U{awp)´ &K`:X2/m!/vTEP1 ;U;䪫R(= KM\ U` 8U=*MtہPAYC)Z>=Ea&cnH_:л% 씺{QbB 5;>5rJYHfs##HceeNƯ73#Eķ߅!{( jհ>eG\j (\1aX fҲv9! u^w9Q䶒43XWЕ!#'80sHXyá\cvA砧B*/Y3ȡcF>9 bHr7# `)s=#zH-b<៙9ZV/\sCf}5`1!rl:~+w':^ JW6xc652_"1xCS@hդ?!4v(y47AJ&&Jo~@hSϞdPYoѫN 3z ]vۮ.g#xYȶQ4{ nww ɆH-|gV)]7 }YVA9Av'ܦTкv($wOaG>Bb}4b{Qň;[ck,o7mi1b g6t͂GɎ7f;6t *cVnnTTIj}4?}U߉߸VE,Wj@u4ñT`۹ B6OAx%9z8m0VcQ}Ј3ZAwv?OEjr ZRf]G-O4 nS_%&nw-GCy"*C4@X%.n2 &f[MP{`M1ˁ.FZn$ 0}{"0^]o& ?"qT#˾#ҔQCevn9-oӨKZn'-,KpF ^-ϝ/Q4:Rc-&^ 1^ WyPb_>AoG#22`y6مBATaQw~/sZg̚vF-{Fw}31F%Ks*C^}C≱,ޠLL"'bjی@Њl"m7(+'oN8Lo*W9B1 70d4,ehf2'QЪM mL)3)ILSt#@ GS`0VIHW#A]MC#$HD[?&| ߇^2* [(o:dp1n믠@)>crq 9`7 { j{Oq0ѰNMV/m DEif"qODpç.R8yE@DEǏ>6,^(1jP 7:B{3SjgCq#I:W uQEr,NWǘNق6 *!Oƥk2}Cz2h6hzBey/F br`C|֭'2ˊ!͂)\ ۇHzW%~3)yջ:+~J~d@&=lGsOc[p2I>ܭp_-4ZuA/ lyu]rA!1Eh,_Q+"24$1)KqbQU;;0D)|[L`Po? ?8s4nHV~]N51 7 I42䅗g[50=^`ɘB ;_Rw*AW2Zev% EҖ(x]f5䖠o:+b(R1ݜ8&#]ĨF7 EGEҏqEk'7LTDyL 8/N_ɧG,K/Qj#߈/J7C lƬAf&[fvaU9K͚@pXw~|ԋil73RqR-kXL)b0}.I `pp4k*C7wNʏ䩺u|{<Mbf lEE: aFmoeJQf@ц}vZx؉+n?oaI= Ǥ|X(7))1AS"µ7~(ykatۓ1戼&恿#jc>}߬0n0/ϦVEJ)>lwgPCN&^QW/5>Pk!@pVܽO17ĮE/m0'uƑKZ{7[Tuaz#M1|nŪٶiʩwJfAN8d 1!2pko;+H9P*=.S`X59O*mFW:\': <#ea #z`9ΔRNE;TD b"א <6fϧ,gMC)xk) 5TjP-A⋻B"Ą,ekiYPIfazS=#3/+Ղ#%Q?Iͨ\@/LJƦn,ڣ^|cAy/ꤱS`ϫ#"H{S>*ԃA5{ qbKٶ:\C?s:35"8Co1F ~-%"WsĈg/v`.B1d-྾h(G |su%Ff;e(F u;$$1ָX1ig^oCԁPo09*=YeHɭ-VK&G-6nWi6!OoXx'[!c?PiE"bC-n7ŏz|/Փw!|( , c&Û6c2``K2ķ\хwcˎAaJ" : Տ|([1mYizz8}SŎD eN6S>~dl$pʜmV T=('ť,B!| íUZ`"̃꥖Z?z6?ntt(X+iœ$;t'G9sY?}&aܲybʸr#2=۵1O Y܃9)zS;Dre:ƗA߈U3LQ^MzĬjU%!UG9rUu 1EqfdQ:[~I@P8kIX8Umί$l^c-EFY3T|*BU)o4TץjxJl(YR=@yTeH'# pYTMrBE'Y|`f <2ڑyIj7]$YfbM#<;[2Ce&;i?*U} {hώ7c5-`wi_zQ`vX{ GnR/q^1C)GYCsxx2"0>1qX2[WJOD0UM%z evI>z;GL72 G x;{cVEy"=*?ahAm=4W Msf)#rn7.5i( N.3@bͻ3$)S{aE["PF%-hNesԎE[h6KP44zᥙ]߰`6G?@omIJPOS i׼,Z HoԺsȖ9Cio"/0MHQT#NرǍvkS=)Ϝ&EE.%Ahر\mpPPSZsdƲJm ? fe&n/!ԝ Cy20] 03Ck*H?wDK){H¯uL\Za#kk!YrA !q};%:$?s6ÜPTJ)vj4@NTӏ/W12K?sk&w3I,^A"ID:f7Xɫ!Dx[z`?gQv߻. PxZi?翩6$VϔzI+v?A]G^IA(VbF]E=>:s2R)in},-6[(7i1d)nxz=ți 4\dn] /I"]N^UZ%?vV\+E$X~]}xo6IF~rZ3ԠAw{8#}xF2^Bu|O4jl%SNk.%3R/ɑ"-aɴGz0ݍ' {H~!6 }R3l |B0&3ͥ6 .7{IdTCe Rj@}-Lҹx/'j&tSq.WN>SLK[izu6DWKq6_F<|\46*}Wܦ-*zdhegO< 7o,Ԫ8\/32y ϼ#OdbJJ.Z'~*RveffӘV. }%8>1b[Npɞ[6$ A$3dڗom2 Xz+c ?~Esxb[u=b`mj K{l eUX1)lf6MCi&=i4m1[@\,5jM{9YvMYd|d&##u^pW$z&u%-[SG(B~G86f3or1LpY<=ǃ76ҼsCÐS^nub1&t"#{d FF4yB+D86Od^ S9wM?Bmy}ɵffmXmslcvLP O;ݶDPFM[uI-rr76jeP@:?3d}+SY.*<pi&et螫[ˈѩ cE _q-`r/209X+6aZ[3bgxPSȸ@32 ٴ1m-[ `f qm#5F/aγzP|&fa/(&6Q\vmW)48IZX=˒%2QDO=#h13 af7! 7LQ,g(T?WMyvOe;% v11Qm88۬H+ Ͻ1gnF۬ЭT)AnWq`7e{K_ˁp (0ewժ߻z!g1)}=R- !V'"t|;c=.ޡ!|+Brr <9އ]OإÈBr.u1s8 yO(1ҳW<0>̆W_+pFrVTcc0-X'y990gky5( Sf !uf eo_l[Ba?@մiQR[#͇qD{U9dDąuQ>r>X!pQ̈Ļ$Z#`$pB?٧/o  4fÊo ^$1l*VѼmouSbd>6q+r7+(k}'Zz2/A=#sS*Z'hf m`wd)xA\ʸ(Hu{v졣a(˯t8oE5a0݃<ԃ]*z =$ZFP }Ub֑k!rlpj:}7UIl+WF/U*oɭ$og5xlnKD2uR_kP.pc_'#G 6'`m'BZ:1R34jo*:da0hyG0Y~y-1UL8 m57B)%EZ]'1JҋI$_*,Y. ҃\kӼ&64@"tQ9fCxt)Ia7{PvS(!/[dҤEM/7`o׼!3iOd-'7X6/kՊ``]GX7Rz싌`++Nd56)~X[r Dy!m«mʼn%!s@Z[)ly҈̾kjM'-r남7YU:vv5 4R+mp }Pk|a]K$O/}s?z[m_M͒ڱyr?L X֡ۅers+'5-Ǖ=(p!xtO]Iroi:ޞk~c2e^2Ie1Oo(_ETujf\Eqyq ֣#'S_'c#ũ]b8Q*[#yMxr)+=8? &>}%$)SHj.b|VG{p*yeTŨu@Jw_!W813K* 0AU 50d ImI;<-nWOĞ Yq1'<CKϸ:{jt8 [6wvĸ ti 2z\^%j}<X%hkS*vmΔԑOQk0Xs#"RWj?ì7'ɳqx%4/3"uɞJ~f۞ʆZAԈ6(wЫ3pPܡ.FFg7WD!3OF N/{f8qD9lF]y>;l4DVGdA鉵x-jM"Ka7-sY)J}aR‹tJvCFDvX;ܩig00ev)YɡlMP|U0l=$YPFxfY/=})ԣnR)D~#p17Jd[֤5OT&@MD{j!_a-ӆAŝ6Y [>y̑zPy7Ѳ0p^sLC])XtHQP'$e|ɘ'77 G\͉IRvt`ş οtQ)!^#ɸ$ȟf4s.+k*yl&k mJȯ82svLV&OҜ]W8Eo\LEe7_3azo?{ww} 3X嗎B ASk:qT XΙd2Dc9`[G?~U'J/@EZc|`8]cx`Cƕ'UE,ŲNNvOzU!{{溿pC cL֧ }#(4j]xG?q: x OaWCuɣGd5~X<YzI:ɽV7G \ryxC/\0Br{WDv w p5Rzi;+CUJez1(pKSTOӃ\ y$m0q~+ۈ+e'ϼOXaqYk ,Ƭa`:\RdE@;Yʼ`]k@°EE$IO;"E)5;ӥ!7"<ؒg].Ò\4m(6\_f.uNݲ6W#|<,yGJ;64gL+Ex9p_>}.w_VcAiZp7$õӲX|&Tm_0S1YwycH#Y41Z_XRï؂~[3_ VhP G$ /ecR]q6Yx4)ջ5f@IJMkkt EO$g(-1M=\ީPD%1Nf6 cf4L)˟A?#L ,iH. 1 ISbҤFSR QW!X`~O"f,zݿv\-CY"so$Dr^tw6jʒ|BԅuGl,0>EYVcԭymT`XqSI&F7cXqUFN0v:Ie(TF׳^h(߂ R: h]cހDY>ÞCLatB[9r' ll-*bQGlwSPf=-koel5:2"#:jj>ew>Ӿr.:iHb 53dyBŖACZGpe$n*nIHh~76\PU঳DFLzIOFYcz\fƈP-jc ~N퍤\ xsa|_u?.e p"Tg^BYrJ",f,H廇ÁJUtn Il6ר;Fadk;;/7M 1@ ~9vݝ]LYm2N. ).mm+fS)ؚu0g8xSC`\h(2@B .B0 CI_4*S=_ ڛ)v  .fR/6M<*i`?|ٙ}HQOӱsr]hI5*˛ɷQ|Bi^T#O2 ȣa^ǖ*h$ uwNe Oo-)P{پ#7p P^j/L1(y?P&{O>I. F69H154j@3kI 9&VhMm-- $VB.(( ?nqQ4(J/MhJ&IC7XckjYFʔKD>R2q!L۱08^Sud94I8αm- dXIJĪQ^?SʞgM#F\~L/K)s"QY޾p2Ja1.%mrγ?Y460ws4lrqPǷ4<ٷ]ϻ1g-0 n*t 'N|;Ŏ\%e!'=_GE=eTvd^  }î4F׌Lr}xZqn4mXaj}$Á"˂\i=8'BeiVj`U+ Noǧ?+F_H{¯3܎C;(@w%*Ҍ 꽶Bg=3``u LY5|p/g,X19^ڷjHr}aA,6 VIM r AU$孍rg&n!JO&M0tlɩ{쾐1LpmEud[?q4C:4 TOϕv!wSԧU7,WkE(:Ł ~/?̌_S 1Ч晳to0o`TƝ1۞ Z ]gvUu<]djP>z3V<0DvrY1`^+˓X}Fr=?ufߗ2Ce?e >.ɒR p:ymmcڛrX{f|B!L:U"e͈~MU^Jh~É š3%\ U)߿ .P%xd@-o~_c@,1D0=뒿U7z'z1rƀ=s7"p!& uu 戏I\~M\BcMY5}351VaEˀ:h 5 i׏PH"iÊHcOs`!J; ?5g\q‎)|H6cr 8S$MTdc|`OgpN4+|U{`l|W&%t_n^YCe)O a*8cV?78\Q: ,$!xa} u f<^+]&k+JU1Hx>E%cܕ.ƣFS3g">dxAVɲ1=sFzd@iҍ836MN1w†5]u>Oiq1QhIW"Z@*2d!"3+GT 9:$æMG(U]-,4p>àMAFGBzU}9'u'J+F۵W0ba5_`.^+yжˮG>>Y7b;; n W*f!,yCÙs~`e"]|t]9=zVģۣosCTckY&CYVuqWN UzNyYhՔ/Шrc.R_%p!*͚7=[jbq_߮[RU Q/iwIn&H}sSa.X(NU$Oÿcu WhhuC<{(>3 Mi|C7㺰Nbq Ա뇳I۵QT(r!4g =3޺J`οcJ'Fb<^%郃жGsˇyl#%VX<,|a9|݄d]G` huz'QQQ{.Z{w,S嚍T >is܊OHكܪYr1U kL* J۱j {#%unьḏ|`BY]e͞,pmjf7wd!e}>|1>Tu5Zc> )|0 e=mG=֤}^:uL.f4f>lA5W @Вbq?M&0N [yfzLR^m#羽hEPm++svKd(Hѵ-"@l:FPNX ZׅȽkqpc [' Q- 6}xE#@+qޘ38 +}r>WYo+cʂpV`ZIxY)_3_>yKP䷙BP.!Bv Û>iTSUo-VsioVʤ 榶@MwӪy.Ǐ&@9kJJ2;L „  HgɣIlf G`^1pCmto|z/:)B(AwErp|[ U%R sSw5d`$ V+d3 l}F:iTCh$NŔ630 룆 oF6U6y3?Kj L[D?UTnUd{'P58i+X18g゗k䚱'|`,%)fCD%`-#V#P ?>si翴er*ޛ\ :-]J~;YdR0ALZvF<5FdȤPպ)e>&aK@/xB};Һ '# Mk6~xπ^Ƕ͜qA@X|C\FzPqgzװ#SHV e ^H1ZHcqt<ظ7C 1UBr$m\5-)<:)}uBI%;>.25q}$tWUd1^z5Esxv^>C543+aGYzmݤ͛E6YF{ 6w(l|嚷DaeN@<谾69:.q1*1eRIJB+%xK{Ze5Eܾ ir}ZRFJa nj' K_2R%tPy_llK?l2|+hk;*=swOj֡U{ןj;v3FBsfvc<7*IX6Ug\!gϴȢLd!W 6ER",HNT,0<d{A5~Oup`{Gť(YYvۑsջ۹`tSŅỤ{ɏPSp:%E l4ܽ :Via`=n5 cFA& mm.p$0]X3B"oj1Y?B}<Ot~E1YQN[şqCbh b1v}C cͫEV n}E梮kf^M !4yh03(!yu j0EN BMphdNg%ªw m3v0y%6X ٥#D6FLcmAc%m Z s/Ye]![S;KQq}^VFA F9h''yXbH:*qѯ{zhvKw0v/ţ#yj: .!رh.XJ#x+ECt1lH"CnQ+_@{sKQ{NaL LlZ$iʚ\VYjV3,$'¥,WO7 Lח2dH+$y =6\֍?V)}F`\TO%oWJ,]cTG1%6^UanjA/4 ,]"rnvqz =ƹPo9J9؍W\ rMJLW_0 ~7?Z͈ ^w;oGxAdZ/m> L˫]~KNgGQȖl{ ^q"雭:GTKSY2NKH( yTag~(36@'d߇#_8(egK@Ś%#-txOu -ޟ[fvDܓ[ J%3EnD^~o5[lTK?^X( ~HpFi?%#׃`US۴9SI-Z6I:*="z8e}vS09@#[o(GVXȑmBsfVkiWfнpJxZ7++D\l߀-à?|P~&v#"]}Jeywl~hהD:%37؋KUсSkUy_>hQ=v'bG١))r:mNccg&%@2e2~Q*+4IǍp9rxDՐ$u^-:f~aTA#|k3\Tޢeҋ<9\-WH Rk;|鱽Eݥx1K~"R$ӭ&_d&KۊUH>_c0u8 H M,>)oI]J05 H.Z12r,n7:g [EAc *tkءq\!^kBvPVȡoSTMv7,͋Zy IyƁu $!-DFqeA>sV>`t>;!M.t.5Тo]&ର$y/l@Ms3:Npߢ"6߀xZoT*GUu*c<#XSa~ 8:}d4 y[!]㑕zc3l8;$M7P)"lZ=sÆ !pPv[4gҊmPj3OW^ ǀ1L3|Zi5S4v70$%Kv ?s<b'`ŵWV