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 BBr4T\ ] ZF-UNITY:threads=6elapsed=6.035cpu=32.520gc=1.5127zXZִF! 2]ŗXiɟH)0%oG T.UB` _S+9?ؚ8"0 BXSI H9VRϯ>ILr}!V%, `s˰H|(t|Tr^#榏6͆6 X(ᶌ9;nׄGK :Zp0q ^o*HxPDM'U~֧ %Ɂ' չ7ବ^3gOy6y ]fE<>K[2ŭj;cS L]im;󙐭~KmF\'[&gYsQhJb\'ތEWjb44_ݰ7rFb纍ljԢ5*{xոKHlv[ ɤsI6X#Jyu_۝a$kW>: +L^Fԁ)ǣVLx? āoA5̋ Ķ F0%s'cwnه "Gy˜t;7V{(k;lc>VAuA XA#1.l_ngSQEz.l w|?Qi`Bg8*?Z~(dM#لL.2% IcpUC-9jVh )( c<Wkm~#/ޢBU]:&ͤLz1]l1"^1flkt$[&l#RR$"G&8%jp]hs_R??EkUSQ* ?D7${/hgy0ӸzjJh&6b.i4.\ö!3R8dG[6>W S$Q5a3`wd U85o0d'ˬFY+"Eʎ{^+m*(grm'AtSHpϜNz~ẩsUv.O|4\D7~#.p'[ 1s3fIƓݮ9VZa׀qnӒ?Au÷bKhCw,d3ކyڤU_Y29irƼOz>:J$#! ;$ 0@*52 /3b\U ,i|w1QgX3KKC#_Pf~pkW4 20ua7K #n*j.u0.'   ZF-UNITY  mFwkj~o>޲P/H/:2AOIZܤf>?9)|bɩSĪ2v/M]M?nox07⫗/K~ԵR®x / A0}T?w^YZѭ;*F\] ]ԣzI۝&/%M(6zYk;Dkqh:뭑8<5QD )r7YV(xnL1D!A\^2t=KA5s_(ȕts:@"<%(g*;zw&8w_ e?fq}| ^?fjqMfJeZ^SHDTU$,JEཡ_ͬSWvGvAhHS,;;g *EpݹI:H(ʾvtFya[Y~z%TxVoy݀#5Sc_qD\Q9[o 緖{;#EE h"- ޾aO٠:=%a9{&sOTbm;Yd =y719.DV'\mW9ɕ%.9iN .4zp3Qn)MY+s{0?16VϼzOnףUsZ9AN(n?Ѐ,TbEA)#o8ρ-1N k9kt:V>/z9N܋4>o6b+V"_Ր%hCsK`77ob2WÐzyc)cq0R vi: >JD5o=+L/n]Fyf_NdGQX*wWd)fOg[Iog-&3wxq!cr6m'קv)[M-(Q6e[3cv|zv;}uc$ ٕ Lj!>O* 8&+ph-y=Oa4MOk0B]@7ϫ[8*fAA&n<=c RXiHF{SrI?˖! 4ܬ …,]/DD.hTRZ0j Fy ڲgx%d+AF+)K1#|hR.jԊ%^ 5K9mxj=[[Д4P솣A:+)1Vx9 .,o LaRE/ eb^tU\ p ^=.<dQ_ӵ?aAAS`+۶ͭ"8nh⪣wU@@CR~ t XZ`29n"2y?2ylgpyxۜC>`Ҩrf)dUY=#LItud8Ui*/_*_T9qםQUw'(;_qCKdjeE;vm-ђ&piìQ]2 ]R ՒcNɋ[oO,:jLmp,LE8d>BMĈy_1VFl 7G{w3B;dcllR)w ˇxܧQD.ͅ3XV$-!E`bS.L PV\/g!7<7mg#S*;vလ-ŦLl㌈w5VNi 5 z5>f*ۼsB,Vb o221!hXD_e6UyNFj{ŊJ XQ+yZ'i6DTQ.6Aqւ=ʴCueNpJIrx+-85vʙB{֩f37qc1q]R}zEif к5o2 쬦:oIIcHu;Qܠr @2( uhA2]`7\H ]2ZHDu ;br*cQXJcy}YV1 <-x[VAz$ Yb-,Ka&+_T"`|nfz ϛw)3APKV  wrձ$ndcRDM5FM|*LY7S`ВMמ /FfNq1-- w~a7MvK5aե$srmQ}iz.)@m@~E-(>+3nuV9P/׺O^gB8I嵤:AvlGifԄ2EpS>@~|<ޗ 3+=/ڿ];x\ۙk+ܙ. U˸RRh)=7F Ju!X! 'b%'tcl1I.B0ڛD2;{ w<36Zo.۬a7W(,~DQ{_N$4#1Sȫ"#(W_0ȹD6l=_}5ozFj' a]# J+SÑ f (4%pix}(x=7&&/0I_e4[}BxL:s@\ϪD.gPat)`o<yxN\(B_UJ?jy񝜋Bk^/D]HZ}PP+3v3&Ʃ0yzWr,wq9neNԬy*LN !+[rBK4u;XP a5NVmۛ¬ ڳ!pG57 p|u!#a]HLFJt}w#b H+QلA47fC($")yvOCxSp;GpȟlGpL峪rf#9R p+GS` BhK; p5=zqL\1UHLnV]zܫ&ORf4"ڸsw, _SCϰ1_<:nm7ueR9Jt-O%Rg5yx!X}ھz0ptOd=:cx2aFbXr-؅{h|}0j @ZQ4 s LBzU5>>gv^iPxTJFƘ3*Pk'*"}UUA8{7FNK ß;baɄPmK)0!ՄWJ"j1ف{'k{tx=yb^|mHNn9\92Xp g{I;md8GR2}ZiQpX1Psyi2C7hd0Z;6&'BK~w7n6޹/ZɌLw-3.y #Gb ?yY/g{~.n% k(V -dKpAxj v[.]C :^z4p* @Ps r&4k'[MғJy:"'Up\̶Z٬.@]C Yyz z ǖտxD pѕph8}H8K>a J=cI|>XPa7%FhkՕ0ف! 2Frʌl1a:CZ=h-n~Lj(pN pyxR>:>3R=ԟ}'#q {WF !LQm~Vle8A9^ftf-݂mY[ׯ*i"5VAUASbv f9W?La4 TCS(f\c)b,? )C~KW?k?4Τ;F8݀pm/x&. K^rPԥ~47msțۜW{KcX?BRw5Ao &A m V'[L4&}XQpA68Yfg;;g: l0E~eMLdLJ8` ^P3inq.xS$W!^\%@C w)˕;"v Ld>? ;#W.'#ik)C&BtߓuAA*K7(3Pu[ `0#z65DsQxyCT$򍈮 K}w8UIQT{:  V*vԇ:/zMsBK6Dytd߯!?FQhX|TTZT@ĊpzoX\}.,GZ} (f|+Lү_?UJWqErLTy/awy K\}:&;C+sP!#@cf%yrC@PDo(Ot&v0cx3흤COji9M郕 f_#8)x W#2W/|lGqBL|< ĝD7^Z [Èitmp{HY@&qTJ;89~}ѓ =ERv'c{.*t1SެjYeJqm.ſvV`E6Z$agy[Y[: ߩk_q4n[}qe!e7q@#Up - 1Əupkᑟh~D!nq3qs[n},n<΋e&zU:sdV<[ `) 46G* k0 /_w,w1G9vUPx#\U}X,p/+(P ,jDCհ3Xv>f:+aHlڧx_*-L}ŝ8.pť .o/s/xG\#8Pw6lRZ|>e.iN+q|ag%(\>jNUn >$ݟט:bC!u d[-$ٱyT1A[S;wCٮ"?3L+(TZ_ >a 'OW!][Lb܎eV&f'ÅoUNpMU:r86׫3r*Co)5 7\wWq(ϗ#ӮFF WcߒwU-qnmKl#OfP"%:rqze}Eh:b´R(>f'wqrm(߮vbfyH'7^'/178 AtwyZ.$ˎIJ oh]HEE:.um зu7Jj3`F-<. ݐV IL w4jJ@5+1C>ס2gTb}ZȲW^fn;ӪWNƊs}.yKQ\}ZP˓D+;x90bZs'ڢo)Vw*C72'P"Ga ^ʆ.ybiE!*OlPJ"(虃]ƒdeT!}B&Xe1c'yO*dV4M$$sRKE8aTp k嗇OK,gg58N4yҒNr"2>R}HQ޴`K싎6P^mĵīˠ.`3V`JE$_ݰiߩ\NS"|V a04D@x]!XNe؞BCc:@rmi^zZ[ +z͙$7K7c27L .5ÃG6a6W'h0CSq+v07CG<.> faԖFgdy< No‹&ⰛI D+M-:#S :•)m5}> ~s2v bm:WW!OLq 5=6Rl(_]~㌲ ZS v1tcg-}͕ 3I &G .6 l`" /?ajL~Us;.@`uBKDyм(pǃ# vsWnNFqF un3V@;tr]9~kV^70LBiƏ,բ!q|eIR!%q61|~~D Af*В{ t:c)kyCŃ#ݦI ̘Rm9 _8Nmi $7d`&fo]2$=-y ;I!GB^ki伸ȝi+*hʹ )BBM$Pۻ!skKwpnu@RF`0 /gIս=%D~k\=it?7;ڝ ]>Z @$ e|s|7Tܱ;0mǘ}?K x` 59H4|q{zduJ;u~L5ϠgNKqMsH].m0 2*pk2HZ#5Z.hhv'K$ԟ">[ ٽ%¦"*s:/3ܚQ5`jԝzVlÊ0j^܃n4 컂 G$΃I<\p"o{|&3 \'~+Zf!qQj)FMzݒ=BqufB=SūDPK¯U0= 誙[VHGA$ciHЩI>4 iN)Bow=>*|JYʥȐ 1Z"iy¼1״Ji@Wm\!ڣ'3蠧1rGLo̷ĵ6גIEw>ɡ..lY*oښ'+ *wt=}rvwVgA%jF?~mۭ|i|i$ѢT;q4ByP.Z]3@${=Hȏufm'TJ|i|$ǯOqs* L;|-ZSF3tΪ[ga,;W9P/Dя}.k|S7 =~L&irR2`(h$i$SLT3mW * LZ.: _eiI踘 w+-AF??gӯ8> StKúNp,ٟMqNVQVVLzZtW*#sZ80;I[J&xu[" t?A L ʶ!dOwhYui* 3s6%XE~sY8$i|޸ ('S~8i/.QqZ̦z cYX>; lO#2&q=xU7DJӢYET!QF;19 :NeЅ@fޒf,nǁw@*ԯk%օ2K|8Ċd"R7Wn4p iZ=g&&) MT@6D&-ݸA9*o)!ol`;dѓ='pzG\R;o[Ṗ0D>= y7Yd,OCpM}l,uݤR9cUR83\{ٵuЛHʃZ:#on31\/S#4@q#iKS~Cˋ9A<{WZE.Q2>nژB\ pU J2f=v2}zzq^DҐ,s6 I6ǯ;w{32/#3+$z`ODm^^Ր8*(lmC&I;o< c/b"/z~TLРȠ C<˅w=*{}F XA M44(PgciBa w$@Kbbyd6[@mU րfĆJ9 qբ'WxtH_I3йYNqH90#0 (G&#H]}0U ex9ān֬LVzJ_)F7$_,m>=ƤT-a)4Ȑf\ktuP$%X&{gmvuͶN)b8I(2FAGl^>* jsߨiu c+6#'+4 k~pUeg.@lXO~McS\d.L󱦌b_sx a*2 :e-ϱ('IcЙDb yM_Bez]R}|_I㒷C%*$Z~"QݹSsrܙva'zg$ܫ8=𝌺SZ,(Owװ}Y`Oc 8(<*i.LDjfxr[T* rk 2 U_h٨7,*Ӵ.Oe^JߗKaImOgS: aHսWhH9|a*ܨ(-}AYvp]8Sl$Iy Y{,:HJĭ#vټx"kYI]vyWe`R^WFvxA2Hp RJ (V˂cW& pC9OQώL0f$r`Le4Oz= {ɗQ98ZtmN颋[ (h5hB,_Ey1aqnAk+.oz鼋#AYSY@1P%L5#[~azQ0s:Mhഋ)$Zվy*G@3fk>v8W M`B"X@p6mY:lT( fLFM>v7~yP`) )¸#Pp[&6R^Vܦހ~KA Ί\<`<QR) a%KrF:#p0ˤHG 06SD&d^J>UIQWSRp8yq6_.}Hxj ,/=G/*_ rx S7)JG6S@ .$Z=k·icf﹚]vj{-w2كB'ȿQHWh[w@{=3pT_C,]0_4m8]y_-\ps.q~!ENS-?(vy`]ȕ(kliqĽ< w,~ y*UJRm"9Iv'F1mǑ%m2A>ۇ|f5p,uGr `>t̗6sQX2&13k(B#]mM!{܇RYv_Bx('hփ1P\,=ay=n_SHSQ}뢕+g `bW53ΊAuLx0$/?:m@nt IK0%|¼A^b@ǻ8!R,Z& 9l'8D6DNVfcJܒVA1݇[H㰎u~G:r\)/fw}󠑏f0j˜lM3eDI. =f"^(OutO'Hhhb$]!䪊_Gy!M2dcrh!gG;ׅ]UD6P"2]ޅRoe2x`@Ja7껺!NiDn`/e"J`>פsH,VE׽SϦUr^Ia݌}Q3P) ܔ<]"J32'wY (5[ :؎q}M0rg`bjƒ~<]=0ip\)"ޯ6)0쓪Y_IRy&scP گ# #ilwkT# =\J6;f|qL7wA-呁^/Ui;5 dy#lN"jsD>1N"/!50"Гyާ~@AjM(Ndˉ.2R,!262c{Rͻ0_YzR_s O-ʹXi|l.8nBzJ"38q/}oV5TN9EdӋftΟV6B4îF") DX*#|x:͒]t@㶻/2l="9Oc⍃#$;2Ys~sdww=ډCBCJKH-+2cn|xU6cI5g$Ol4@JNW%^yk2}5E@o8Efi2J>"K]9t2ÞkTN-[m#S3rǺKZrySw4.KeA~-w4Ż]3J*7\rTû\0^oM(@%LA_=P&P!*a՘!Ć$ <,i.K%ILMζ8xXB1No1xp ?Rt"v]_t\OX@hޞ5\M@zh[ߖp׊^&ɥܳ-hB$gk4{%1ׇ0pM,هy="*i VR"kQ1m*W[j ZԊH/[,8L4]h8kgG 1hk" |]RksAìt+ Une9L:Y&Ces>dtN1 utmZ0$w HY- qq-,pQ+v^za3{OV4|(C Z|0 3N褔E$g+g=C-:r}f ]ʉЕ$":,rps+F'j$RM Y 00dCaY+Nƣ4gNwXBj¹S1g@&pOUn CAce j+RG({@wJw5k5*nv$Z†}!o s,@&GӢUyNJN8wwo 3C Pws\h1Knj< &Zw8y4lHQH,/RMʴmطɭ'9/y}O@Rp&=ð៭dL[Ơf!Y(:ֈ)d\'n㯪'zs%J:nm8 |b&獈_apZ-*@%a9,Y,6y}vBGk#lk*̢i[AO*?۩)6\@z2R-8',HFjcNJC N ֐?VuBzA 1a+b`:`>c Dd3.ʋNe։3;^̨ {9ʩxnW'G{,BwEt/&+9{B<_hS#4FWa$&X]aF"BrJ<#b=kqT1BYY!T.,O۟_)SJKR+5[F@ژm8#ȼ:H-2KW[L}$N.iH=3~@y+)TTKCb 4oG [*peDria(LY/LjG aUDUdⴡU9 ߚ+@22cE P;bK to\-pYn}*׿/xL: G&aVdY>hp{ "8f.UZ&&* ?7Ƈy䫶86Un?Nl?.(H;ŏ x'EF5m 'C|!DU36 [ڊCjrh uUyxѥ?ͷIZ?& O޷h]J;K|o9viDV2(\iWxn q:C B&Z0%ӊCQ8\K~_75'g9K-wfd=jGMlBB#_ G$uHvg5[?ӁҭÃAdʵ>l` %3E0̲${t@s $AS2chMV~+]PNf,6nYqglxWQh#]ݬ\pUQNمIx _0ԍ܋C0FaLCVv\N!T=~j rcQ"Th^ ,2#{YR2p t(MQ-~$ҝ]_9/VXAuv%8BoƇn6ȏXLNJ0q,9?6@B!ۅF]R.%Eԡ`]3ԁiL]SZ"[#g0[L@&1~sgE*l3 g\I5j;xU/yA78U,/XOHCL\`^{a[-9^%os@?a :>#utH17l`2FxReywJ0PvH "[wfBF=z&;}M4\zcRfk1FHY@z-CQ 'OhHE`%)nd@1ZkntsډHBd;)ӏ !3H, T"I5F(5ԺmleYCr\vcIyLA8|r=1]bLP@J:}ٱ=]#*RSj{s}ɘg3 nUo9*$vIY(2/Mtb*qx@"#;%3 ;+zNڛNy$&L}yY bS#6k"S*lH/V=\i`F'$q-eوԍ˱d?|ӽ WBE05PE?}ا5'B|-iDs+:o+7KNRq+;-ucGHkο8>s a,L=P9$Up`P!DjKvT ̏WJAX[MݙQLwރ3{*mT2ptDC16~. h,T|Gh-|VlJO[rȁ!eL 4%nĢ(\#^ *τ S[]o&3 HQ,ncK14ZWͅME JUg`q >jjKyΰOL8s!?+JUҗ_×]H"j zBZvUO;SR5.'$ C@b  )#=f8$^P7uHK/fdfKAYd)n+_e9j} ̍ { 7Riы6cprNB A>U-\'8XޗiYYP޾:DȎ4%׏+1Yk6(WX"w=5t7oغФ 7:~{i KIxL`eސ4J[e\Z9 W/)e;D)zCב5q>DhPlۤPGe, _û<9??)*X!y~r)0&l g'>e]G!ia^ˊ6SYes;2ʸD]dR>ڲ4>¬"|z]ch '6 zVCd悳׆>trȺnK湻+'aC:UNдNk#LO8L.dHʘ`QEb 2=:ڿ&5C3V:URJ@>2 gl瘹|I~[i*7E# X@?eے&rM ȫ9hWI`r`D})[ʵ,B-q5NCGtT|%lz;W&3;(,N:6# NY:-?.`y4mO 1ÅG-]7,ycwaN\I}f) JSWkcƉ1)'%hۋ1ߘF±E()Uw{@)j,|P$Km^ZsG /&A4!k\}x/_,ux˃ 2b0ȂEخƺ_cD Ɍ5_0N]ݯ ̅ˎ,#/^&sRjػ)XWSwzH=n0/r⨨A7B_k_n877X _OϯNs00܏5ϵ"kϑJrTR #BF.: .:1,iMr.Ŋ_y9RU50 idnAsq/ґ>wF6 >·1'rNI=aps;|v0w8n[3 4N䢂'"A#$` fMbF(';3Avq QE\<:HWB2r5U?_Bt׻DM86^ymCw(N@hE!I') &> ]_A#grkN-8)K<}p;v7g! S9]r$4͜+?tZ~r(T$-v#%70K`"Y_QTa 7uߵώ=)fGc[)[a/1AwGM]+[{ ݽSmS ]>Rm-6uZ@"kzs8_]"|ux\uYu@Ώ*o|#s/HXbFlŚ[ueAٞɪezKWͲ=V;I)QqϿ8G _Wvbs[?Ùrg14r'8Q6둉\*᠋ ˋ+.JVdwW~,)^TKjֻ\aC]kwz0k/]HM!mn(AS ]Z[n~35.PinhPgfiEL*46)?oB $%cyX]l:ʾgu 9q? P>^T(2|Ӹ&O?lzMnZ!s0i񺶬`B& O)[I76;@Hu߰JF{>|\-.;/Gq܆bB;Y-K]zunPw`J p3dN6 &qG+Y$GlcHunH$/I{>o\!]mv|;I6~x_WI#o-+ jP SX)HY) 9LtHiQ/gr,  g:kd)v P]bgS,tbX|'$ \}o9+&݂K8 XjFmBZf|kۄa e(%4[hm9 Dt<*H>KyLjS8#ؼOx1qxV"X6TmkDϗ%L.L[l F*䝤i 3m<;p:.J:{DȚhΘ7P#M[9aFPYǾ!-@sY1 s6Wd 9=PĿss+)_Ht$DL䱤Wr;v(} D~%GAEH{ĭѤT&.C\@Piµ`K膂5r[TT!ƯVCw0ս$du-ۻ$qaK@]D6Piu@Wh:P6jR>6_hd,խiP`+wK.jdZB ?jKMrQ Ϣ8x `~|䮻$bO}Wۓ!=M䧔>ۉ sԊ C5`.bdӂz#;6Y=vDhqʪqo>^d쓍ԕ eS+Y tG3^r;WWt584pqw ^n!xIlB|GzHSԥ\NHO] 1>&*'ƃfN}OVL<n*c'HZsy1C9ҋ ޷u92Wѕ^EKR KXVg PW^/.c׎TC˴*];O]8dM/NgK5v.U EdUΖ_A2"kIИ8h.^# "MA|:SL(m}a3|3_Zl1Oxm ?#DiuNFŵ~H?!-=,Ulnq0@ ,|Vw@b(2i@uR y[chBl5j]ԠHb }%yo"}t|OjWяLdFE~ pnyKq[hYhmZ)Պj2.D=yT1+7E,\V*~oqCo7/5b@ B|YvY[},Ϻ34@ǵs-k|dEGAF{uPƍr&a'yU YQ!K1XꍐFK\k Iw݊>(Jj;Kù=/qYBx@gc[FE\Q:"4bq 4׮J3h,KxJrȧFSO`i׽I9"K(,c𛱏>(/V;5dcɖ+>}fq1A nzR.P $ >]`ۉtzsE /-ǿ9Ya MbvQI髂\7&̬f9z2\ IdŠw Zi&v8(b`297bx@b ĠiB~,8}Mmqy+MGc#'5=DԦ<"Zt2br* fAO`OUGE2Vo&SJ7Gl1;.\>3?fq5':5L"#kq5;m&pWPΜ4ֈȅܵH(/<-r]KL &z)ET9?r~=Acm8H {&OP_p{%Q,+܀A2:?h:)=l*drS^a>,[UН"]@t>;rps̜~׶& {֨q#| P lnFZjӢ?B%fvmNL Exgr5ىqkBC;U w6UcH+Bs`|1|xƘwj /q;T.ĹdO2I֊$o6kuA!<押jKkDxܐB@ثNЃ-_ٹGW6na܋R+_*S$?ʲׄt+k b(묚lxT'j\p[BanB鏈Rf/G)[]e-7. ]{DĀe$U'lxsRdq6^:mEh>lzX9⪅|JI Hȟ>ke({C"T@H@nYS9a1oY:|;w ($BZP@?KEcO|Q<8 1#ݴ{5eon?Z"BgcNTA>i3nK1nw$pgG{WƄp0ex|iC)ڜ\#G$8klX4DUMT4.+ !% opOPZDeU|sg& O S jGQZ5+]N-,PFO@y>?5՘8 icY69LTQ(mz |XPCB-yq{#j B adܥ{TF_*ၓq" Jm〣>ṕK,bUU>Ef05vO 7¸ 7 E޹(i 1$^7f&X,ӉSĄSݟ2Yi }ld坑X.N$.GyOQ5RRz%sWȮ 8~+קbU1/|}v _#UĐP:,uD+Í(ei۳jǑ5EXJmk[EjVa^3gitD#+1&^1LU0y[*7`:fVD\ J`MO%lIȌ*/_A cυT跡蛷ٙ.!G*<NJ0-\*O5;R,EѽZ[9 p[٭G8l{Yl`{- n[>V&3r/RD<6KWJ:ٖ@|'զ8_ṑaF-s0FCa"enV%_ESLzNJ* ڃ /Ȕ@:ᑅ., R+'H]]`ęh &)S JCszd6:,n|~ahmFﱅPkMgLI7g\~A)eF>`,ʇ}:5RFd?ėGJiA6\ [^S?\<'Hg)G 85L'1Q߸Q(͗Y+EE8sSVO|pϞ$TxxEjv3 ,E7A )0<ץ$wW#ގ !s0H-Z66q$R:}wYA ЯQolL N82l.p- "E]$c u҂šFgjO+NoK|="oS+ 2\c(Q=. ՆI!}ʒG=9%| m]7/4x_+HrC(mw.b+{LS1[-; Tȳ'DxC~pGAA#ԺT¾tB$a=&J\o\܏ MQ&TGAEECW%9qjH8'2B=d҈YfWxcKD ?tzk–MM&+讉Ehh*B´ d|;zZTm"!{Y\C~APث: Q@}bpiEu` 0/^iuM#e.ϘT@{>#HT0|]y̟52> ~/*oU"oWUߤ:mWkym`G"Jm?76@8+YANs`(WR,X]<F.0Gfly[r*$|6+)3>U2c]aRE?Y{?ExDQx>ߧ!{DaE`:Tw 4P9?uw0ٖH܌!t~ XޑA|mDvٻx wFəwWN-&6NƮc0x39ʓa/Ȝ^KhMP܄٦4ee oBh[˞-Rɒ{O1vU6YFBgX3CAV; 'm!o=OhVD3+cc.pӠ.D>~-ȈS5>g ̙r OW@y,&5ҭG֙56gi܀T+)g(ϵ*FGTg 8dMdhz j.G~R&^X.ψr:@l!w1VɲΟ{%dgR]t!Uzs\<\@ٵ7i׺S{ WJޣN,Mko;ӯ=1@+.&rQ9YcӼlHI"t\G]-\ -`P] eItj*n-ɚ ;x'5u:OqO%W*`0mtCʿ5b6Ν7)y%0fD>)6WkMƘL g70\AZe/&$!9?ougi@DzU> k%\רLG{ۇy_X8S8j] 8+-6KF瘔ɥ,X2web1@UE5ј(C⵿hbXGjMUJMUT^3]!N`MxL4"~~Sݵ'Ȳʌ5L]ϡ4甞c<|R~U'A2Lj/9s} b,!0Y_:T5rI9G3Eo=3<%8by'U, rIr[@=+v:nxE'lǵLd !q2o^]MN9D^3#ѵ^k=SM Bg^ns*s <ȵVMD,f]rl`,[oa1(#EU0GNyj.]*u6P]S; Ӵ(rkWPJL/2ЊO:V %0: RK~Ijݺ2|5tSNE (8M$4@y|l\r~$zUQW޽ȴT>`6Cc;B)~tUqHŨ2!VM PL72y1Qa~z`aud3O dc,0r$q kj_H1YxnԉuR啺)J ?.oWV4HkO5NH)&>ݓ ,ϟ ȷ*Iz~8FE($5l777-+T>פ_2]:ƥZoCp%M| UA͟[2L#.cs&C1#kikqTnqf؇aBff^dfrY OT Chu*GOB,紎!✣C!OorN @) I-W" GFXC \%.&'@mʧ(bfn'v:?3lR V xQTAB@5Kߨ!t$<3TP#2vmajPe.[pZoUU&L)O)_R,pYzƛ!)ƜKBLS*Z4O(_,g*V0dW> "j@`]Zpү/XuQ}./`3=d3~&%8I_$o'Wצ~Dc [Bw9k뿇ypsE:? z3\k (Lu4a-&r-nq%u{B6AOkڪR-Z ?%+7#}'G8ki3}`40`5{? ΧozP cB[cq{ϿhD$$YR"'e]j/8 %5HwWzsrrzCJ"SCnV>:GXZ\mE p KO-hgDGQbYaaҨdW7XErdw\s11ST ePz)K2xe!n,$m]5~}eS 7{ `!UsO5xUT Ze,4&.!Ӱ9|JDЍ K}] 0(_.P^*;BHʹzwkE&?'Y\C+qv+%?:(Aqa%mǤ9 |Q.-VGQMCY[NubN|miK-ˆDAb>d9F jAUPgO.DRS5˥ؠK֭%]}bW;P]; Jk,DVC0Qۙ~r$`na4dBVatL[J/# Ky.@ [c&gVDP4Q._4$rvݷ0PZe.<2)hn70dTMU⣔>׽ᖒs6ySJ yΩڀOk*X[x֬MQ3EtO؂R~H/le$i9 zx4~sjy9WM;'x"<[Oex3y\ŷ8j9KBkIS!Lz9Ǧ7eJ,au6u׬Dޫj.4!(T/ո!$Bu鴭SmVu4d`K &OGQdYQ؞!N ͵ YBAcķa%M-+&N?NA5fWoFmi dؘڳ1v+P .OZJb8Wa;]HP^/_uW]`9J6ķ>c^^?ҙJk?FգO'z0뀝+DP&C)jqӭ]a51Kߗ:V Y/޽hݠc-#}dLW(+lC6e.lHu7n+6&f;,S&Nh|%UY><ƌݽOBt9_1ҥn^2-e$19#ǏeJVfqZKyi& 7-\@\D_n"zH D5s]ڶȇH 5[ D}pN\O!`aQL+ru{D -=yaF YrJ\~2dMF7x-\ ^^=μJӇD{ӣtM )vNLNJxQrB~ܱ` iT j2/DE[kAsϡu oWRBB㚐y1w=39 _i9`fɢo>N.XQ Gw[._yM.4pcXRk\Gx~;{}>YWV 5K !:E>YdJZ}ƓX!Kw4i>dw^:ZMRN;1CU:ϟ -dNOEVXШQ.0-QA>޹7vu`W5V+ G՜ݯܸͰ49j*}j0_%ܸ&69^gFtzQ/.Yk-I`6fT4v&Aqcp=JLM>š>x;(2j2/'жdl"`K:._"30 ΄7Ɩq#!r7P+Qȃv&MkT \s}0C/oWFF E@@ M8y9[5#0D#q1 l첒2 >QO l%bo eJmhXһyЈ$4xWѶ=Qd^gR[2 u@3$B a'vSS_sx3\Fք (K: {*hTlU؊9Xf17(6za˘E5=a]^%o:$ę[5S$4 PJ/?FJ3POhMH:E~X{gb>!RٻwƐ~ t:vۯt;#:ݺfx=~{?œ+] a4v%^B%EM[J֜NP-wC╧.Ó0^$U/r3c0sFz<&{ \LW*3ߕB#swB1,{Mϫ^*(Wр Ʒ_1r %!O a`= x$h͡i;S1}Am^_so:2NՇu J) u Mߐ(fTJqrXtϬujkyz>BY6@C dK +9TJc &+sjo:/n ELj0xv4T"|ruk{IҍY||dNn AT̙{J +NQBfָ `7cPr =imHCv"Ղ'ADN2gџ_P!ޔ{arc3L wu`&!>ufJVZ 8`($z wW&0O'2.5=uf|c~b?kLɯ,9t^_aqf:P+ )oy5q$e ;ߝZ#_%quYgmo&בӧjy$=sIjY6ݳ\byʄ}j ܬ0xoFDnM]T-0Lp^Cz\hM8^dU,rv23#VeXQ_>. <?>D˿m%ccUJ3UEB䐃.Et0K EOg*HfؔF3YSl#,PakJYFE?!g0Ý t <=&f4';uuoh*N?\ eWx8}:d005!iS$`Gc3K1M3M<ڼ|8Q5M)T_zMM;lUv̀H>AFl-[Ze8%4l9w2TCqdv۴fxVE