SQLite format 3@  . BBh77otableisabelle_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  {#|, ]S Psi_Calculi:threads=2elapsed=525.924cpu=963.976gc=32.936factor=1.837zXZִF! IG]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿Y$bcps4NYcZxHe\'x2[Ne/6V$L戇$mW(`YaB ƓeR UL͇ۗ15 eWC=8z}q,TW # TqY;tɨoN5ДZ!9㒏~7͐{Ohڜ!vڤQVw5NRNHqzaOlbK0aoas̳PD$Q)K<#y#t'7xA:6V^#*჋\+ɰ-`#BP I[=P׭0$+d?X.=|8cI*u&r9xA^wʋƛ?Rd.ølpMu*Ɲ"7\4Ms478)mu%۞cv# I)ADTw6@kk2l|ƨ/[wQCv, ,&\ &`M}8Oc^9Zη~; *)$i"E _ Kj4dwzG  # Psi_Calculi1LOG(R *,H&8ɝ XE{bS"z7=\52E5'p u bPzMʒ8 Q -Y60ls!S"6@^2k}v9~P222C:?]kO׉EY{;5,N(T|_xl{ηZmi *2 Z5Ch_<zNKn*"dhA V8O1~BO*CӣVk`GWTTs|I3 i3=E {dU6Z/%]+FFkϠb{qۿzܹ!ukDLq?EZX5~㡀r"Bm!;z3#ZzžFCNvIJ&dBi KUJ0HmfγNgS%.V"p%$mN& \Yw@iA(lc6 .bn64.h DWaP\"2ga׃g 29͌n%4ԍSV-"&]ۊ-Ԕ+4Tܨ/Y78n֛S#ϠGGjћU%ŭx={YY6Ok5 TRfQ{.^E\em<,\i=AW2FBȋ~D aM \ӷ?hadV=HAk=٤pXqQk[\ kT`Uco%^6nץl0 O"_E1\=ϸ_z!sZjM2NנDz7".R5(w`:2x7s!}^J9eVpnnVµ}"1jw3a4/hE$*Mf!k䁭\Rʜ7]d9̷pH9`cjKnbxf-ʥ0s݋:f߹:HY`8tՄ@zߗm ,ɣaI 嘷u7oX;նi"jtf?1" t~ 0 -dj *eIeG}9h\QQ N:, x\ .lF6+Hx(T#xFRŏӏLԣaXE9+NqFt@ϝn 1ȍ|*{/CVZSzۮN;l1zRȻZYl8&$*NՍwI2 J_dh Xҁ Ť!l‡:sez&IAx1 "х|*}ƪ Ӫ)*틪1'*ήtii'pG U@%k˟L[=ɯ]תd8@d2bhB{;zuΡۓU2 `xɦ+mv|9{͎gFU!RT-_{z*B\ "uJZ*}B/9w5.jhfD1Ue_ 9$ő8S  T%>E9;S`]c˄jJ쏅8gh?*T=P.XY'ʼHuo1vsÙգݪyN;]3=(1Ho^~e $s pXK PJ?XݵZD;T0^ө*,G..xicpK8sfܼ:SM/v433?q f_S 糃l9Z kԘwov ~qU;\ͮ d|3T=̙2N~,rܽ #;Fg : W6|l[+kd׳;K60q AȻ1 yj"&#Q!aɘ5ol{`IC+ˁ]U-/'9]iIJFGp*_hrβ*pӒ6#Vgxk6Ӕp*[Ɛh f$V {Q O7.Gث;JGK`Wnߠ=2cU2Ε>V֢yˏ<.7K86K];l)HEn": W=ixРk PkҤ}ϒ梠Ǭ~L_Q$2oveo"NE#mb \yz0ΖF'*Ȁ ,Ǥ)O4Tu8r4M.XG=lr  kr;y6I&|GiyAY/ۀm>-бFcl6Pշ%rQc~a!]%gŝJs^ɞ+ dZp ,}cV?2WXPop4IlJkNR $k>P`ecڼRV>R2`'n# vu e>V$C8Dt[@ZF~n`<禛JSe7ChSgZ-I2 ,ܩɅö`>ʻvC%hp|nN;@wUF'ڟH\ Bu4JTT Us 8aAwzY|fUb-Dus >AɳvUMJŽG _'GfPu&koL9/xp7zB;j nlf"ĞD䑲TiO!.uT>\_o09v|euDW.~_IDFPp.}}vm#ҷQ_@Du]AAzH@ȞWR17=֕BX6_7 5~chNEĂord}]O /WaZnĵd?uW) l` Ce ܍gw6mU._9m'hqwg4l=S35lx+#-ƹ0R??W  :B`=Ƶbƥ;?39RG@_ut`93dۭY7ߩxX"yIL/i 8=3z6'l0'֨Xcc*?lyrBi|s <1 Z*]w97DW9=ɖY8#判1_o%999R8KE^ J\4s8; V1A tc>1 `CdQ $A+ }+.JTyk'_Ȝ3/xY8s.<4(+u AdV *q5}-yŸtU=,XYsEc9[)c( }`Ko{ʱxK/N㈴8¤)%Dlb`e* _Nؖ+!qC;.zzRagP<NXe֏Cd1Uʐs5c#'\6:bF9rD)/V3~, %3כI‚v8hF0_K)욲|Z7u?G8,zP]s6_#Dj.[ov}{Of 7osEEGmSob5~BSKڧ/C\>A5/xx5[Jv4d$KwSL$H OJavܿFUC;X !m--`WX/l%[Gd鳝`IͱSJy1%"S#Я;kNQ8~'[WX5ttW e8ԛWz.Cv <, ɗE+!>`d&a3 }p×R^ydd'9 8$ibȬ!r X 3-n,Ã\ĩ#ȴD܃n%mQa]Qޒ$/AT; @FC؊%׌T#8bw⣤x'i6E@+sy6dT 0^%Ahv*'A Y+9el8W7Ӎ4mIK חBmZMd{.phtwuo2F h]"j*67'sYW{z7!0+ވ-1|N)/߭W9{Z×>OMNV_!΄fu.YnE*L+HʹwG^]nfT2W cPi7_C֨==ot,a\ :"̛ > |ׁڍPb91 __>c?rF'P,pRe7wR@/"BK7QI~'q&W\1HIUj.Xw#/}e.}Hel@#7WDtJE*27v&3#&!CsI_DgX<B/uTLP=19/ׇRƍOgBq5Jki 1.l2r [doؗTuXoG^v/Rd`/)}ï޲Y̻G5Ƿܸ{N=:0^gYZ7zXZִF! c]ŗXi%;2 E0& #a7}rc0} }&CᾟS ;\0$)=` TM  fSa#e!_`<Ȋ^&Hi)oHk[[l6_k5̬:vG#ty&c~iw VGHg7ST>xEYbeh5%=v-{Î :yWFL<@͊; )E!~P=TH=7!0k 86^J_:HEmcËk03չ?i$dzU~pP%Tawd?1!1{/m%ȿhX"nZCt)-Aam| }%qձlqݭ`*` -n(Ps+.N.d'5uqI)-x7}E\mvbfǡvGaŻK(QΚc1T|x׮Ph'o9@:ѕg4z K5=ޅ Jfx$"zހfS銭`'b`|ކC)!,>|/U$AUr*b]oн(;%|Ce$<;{攋=0H*+p}1Em/L~.bZ+Yt&Դ=&|FNb0.Φ%UE`Ku,Elg9A "QZ 5`6{ `SG+gk~!h~T ?6L&¬/~Bon*".͗oCy7+Ƹ\E5[[wHe1]-@Xmc1]"<h :UzèaĄ{TK?`^ '2k_NRKg-)\sFd:e5-?EuonZDzx{A~ǫg-gN=0=$^cOΑ?WB{N&|l!uRRXcZۚU@mz{7'qid\OqZyMt,zhkR3iH4=}xrjb'(\vgƛt :_BasJ sԆLoQDBFuEsװ]wF+%$`eK(B>^7h( Ȑ2~ Tf!?K N,nAt)xV4 \~yn8’^ =n%TKWs@jkɱe%ծ?78%33'aoOSPq{SޫutFSQ{g'\®PCv*H)(P7ʄ\i@<.%rQz,trkX!Е%Ȧ\y*'Cr' sAqRT9 &ܒLXaᷤALTomf?sEVE/b<[\A+hʠ{k F/b=GGJ'除k4#@+1Y+NrIy-buc粭֑oRw-=e$%j }^[%sd@,ai؝8=q߸NOaT9کdߌE#JMX=̌8Y!Ƅ,#1- UAL-Ģj3H$}z#U[ /)_6qh{ A)wqv]:ꕴrS G\? (e VFo%=CmU \mx!\@gLU/aBxbo$}9CUf3S/>X6MB$tdǕ\,ŧұalᤪ!dވM-qr0˗Gb+A߫rv!b$}:EtCuXK_|7'dF⊒_"c5{,f@ bB~^qY)?Jj?EZiJGWd0@$G;z޾BV3h)bS%I#ˀ:ȣDJ pw5`a8OFPbe$c(k@Gv'Zyl֡֋3 8~WѝONseb|KXNC*l;h_Mla ܹ1o|^Ы,)@hf-S;R'Rґmc`.߰%Oo\DݸlƠ}u]"86IVC\gJz_X]nYe9 ֯LtQں;{Q'c7# %beq}vr1TIot#D;4"= ˹e2jN>FNiViD͠nܖ ˘{]Iu8^s/!_ǒ!jW/tW_Rj&˪(.%RG ?*|7>{C1tE;a4z?<ӡ}ū;u9 RPNdw!M%aɻD9)J >&J V$rpo Z+ ֻɯfݕy,=c(4ؗQB;PaOc;M|qO*eZyܷ$Aܜ9gj(Dc$,~Pw}`/Q4lL\"L~GXdw %g [c^EF2/c,xntE,Q}(ȱV 喁J3l'E;IOaZ+r͆ ƀ9sV^ U:+Cc55kўn'2i[F7֟=mpp pE|&Y €rw{g u,Qpqxm@zr26%0;I"3c2Dô.R4x^ג%t[.I g}$b#ޯ*K8'[3"UkSWnfdE {4A6k&Ow%&FS9V$.rtN^h .LPg_]/,VhdzA`/m*|Y3bB?`#_9RvybU ڝ2Cch<`Dr5ïU\-'UkY:/0ҔF"?2~#v_NGnTyc.vlҩJu:^gINa-lݬГԻk!oWʇ['ϫiΚ֍ܖZcdh.<`Forl:D5Xω`-BߣF}ESʙӑ)fEuϏd$fԆ߉5WΠ5 k =+9w=.NoD^ Rt][46,(1ßB#jYwoW,bCtRa-0\h )B~2h9CVБ09Edd&\5I%[`>>6F[GXغK\0=C!ȅG YR@മWֆbU::*\39R XKS މp{WØ÷OSI49HOxf~NGy:-V5֎~ci#2&\ao #Y) i<[wpJ7Z^2>4k8F”ԮP[XQ. X, e30+-Ib*~ʉ-j+HDvE64@yaDiBx.Q4tԧz\vE_7eRL go+X$)ףo1D-M͒絼5jHޠ7ﳐ=|=sZT:!~L􊟄3~کf*h Vzv{Z8C iӲ~x6b_ƴA=ެ!FgK\& Al:i!K0{`t_c- ܏[V Z5Ȅ">Vi%^>J3jTw0|:ޡmt}zȨnyiܰ=˹K:ɔF!fwҙOpgi]ZE[/M=+[S ׁhw+gi:CAI=:7Gt[aХa7:/gDSc{G,Y5CoiICyqY-GN2so d%MZ\w { Ci:$k徥MW0j i)Z FC.iJvqAl~tP Ut;_2|lhd^.G) ÆCv'Z[l|Qt7 Dc΍av 2{:?jYU|(\*fSPVm9cOhSRʗam@x70"Uq/d}>ܧL\EEu67>~hW9 `@j_zAy+tYQa9Ɇ.EL "1b |N:q/>4F/qK,І?JN*ɭkz%=fB l`?^wU 7; +G7]ݍ]sH*O=+!>k0܃,4p ̝|&HQ[Ieke빗?%)c:ϔ=FӤ=K#NZ&nt~Gӻ8L?15 bj>bB4!%9z(,/M `6\8HH]n3kаPT>7|1lqKl 1y>8iT~@ijs3=7nyB]kjD}h4y? 搳C2RlސgBC*A5t kHb_qr ʉhb_9xtBJc5M4'i'Dn9[*r=WZ; 4`AQoϭ=NWC[raK5} ؼ3< Ҡ/W]bFw V^Hg=$s {#4tlV\wwWgLG$b7aѸG&S*%s˝@[O:W'hc>5a'ҭ1xMQsL媻D~Т^3CK򥶿0{(CSmu+ ^{="$&v:Jeu+P\1fԙ%{eh,^gsʦr:TzbRǤ֞Iϻ}\z4qy\IUS6':-%0!@GǦ(0՟ʍ߬;hOQ3l%lXC1xvJlpg6 .Qf˝; m&lwy?)P`"Q3حG30Y^m>aϦ/5i(]Qn]-{XjoG_Gsj `Psj0duF $6qgJ0qʋ8i9C1X߷nSH-j'>RCuf9IZ+sG GE\ȾmSukE{s1QU;MUugGbycі<:牎\sd] 5d>(J>tcݨ&۠!&4a9PZe$"m_"wXqrۊjP]HvFsKj{~z9]j3~Pad":=ENjߔq,֔Y)!Ӕ@ oi@o㳜5ZGUߵ>TXmy0X-xkϨuub"ZT0LaOve2fI;\^Z9rQ;{EozƝ<9^z: 7]0Lr6:$uekXmSD AVHXNIWWo3m?C]@&Ao~e  lHvpqרX>l U uXu9Ks=u)u4,$ )|:Tؖh_ͼWb 9ѯo] N]@R᜘kEalerrUf?>" j)Tc_ FezßѨ̺b~7V)Y+ 󥰓7x,_!7vl]ѷ Qh+ K 2IR<-YI?PYr 1BFMҸz{>f~ՄB] g%k^dYfCH5ku?ȄK|J8 %U< ~K}IXmY'_Λagu~*+ՂyQY8[0ܼG!>er/=ۗ'4ЭSxFҖ"J^bTXґH^MY[oin˛ӏ{i0hFz}dGG>t9Ҟgrtt"p(T,`z&=b~WtcqGjVG*BxGNۤUC aC(O"ԍPrL @$UWgeejQ4wv'lΝ]-hCqȅ”rq&?GiKءP޻ t!iQbͬz"[KO 'A/ȝA[Bx2i#ś@˿H-#G"GHAdfU=BV,c:H7 03 _;ZPa(Yo/xBk1l&IͿorv2GZN/}n:NyN?qyDE8u+|7ޏ>O픗Cow&nt)̵y;1'-d>.Da끁Y #ڵ,61K `\?ͭϱV + *hYz4 َLr/EZ30^}ә1x[ &,+{HYxYi~ Yㄅ oG/7Es20Ģ&M}plC#Z{&2jNR$Bf~N-7`?v:"Q6kN.d]a;u驒rvC@ݗYH W J,P:[#W_ckDXrcӨ~kȣR+>؋lXh$JGx 46;1wgmwD!!r0w\f_ƒ/ՕZ2Ȟbc`dyZ&oٞ /mY; ITx*aW恈'دXA9pi:"*D6+Fv|]nbD5uS0aL)*2YwY&J*.s{@$w+p_{]#f/_Xb+c#00Lɼg1_y\#Xc,jILăb%tK@GR%t |fhTYc+7xDNhّvũNZ҃|<& jAjnΗte j{*-BɿdbcN-j%Rm=eaEvLJD #Ѿ{K#+gq,sBH)FӻInLНb8T[0}|;15XȂclzyDU- zrc>u,j0 ]7CxsJn UH'*+?,/QV5 U[@ڷ}K0?lΆ|)Gtgh1}n%rx :15UKτ A:u\t{\M2tI%ʋV_ *b-aSgRh??V@fXw;Yh;ؑ`] FPA/% EIcC^ :OP(1EǜR]',]z5bO -Xk ,Qil)fZHɨmEN愁-n)ݧ4XJ˫Rc{?%ӹDo9A?ygzpAL`2?k,&+~Qqbτq$C_V0>n=d6Ԑ?V`EĻҴwVi 60٥'MP'$]dGE?gJ3wyd}cd/zz+` 0e\\L<% O]]@|e 4/dgxIsr" .ڳjMG|=bۣ,&@gH] dT|2ZӮJw هIYS1pS,Nȭ? 6% 2+h>b ̅2c~>3*6CDBŵ 纽0 uZ#Gyl~ T;tq!7I+(v>nYwZTMғվj W^[cH;kpe0NBINbr[Xا(,##b2v|%Xq"HY! 4lr%/\Dpd,|Y<ޥ1C_2h}4}zaӑ:9{FHsfT 1XX^L!]>jg@n.қZ襈y`*QpLsDO񲋌3CQ酂H#@O#xk[r ~zDZܥ|Cb*Ő%x@l]AL)b ;/O!IorVxu!\v}JLZ 3i=O"!sW rJ_!vm=9v7^> akJf0e+d_!]Z̺wX4j3k:,^b eS 0%K~tc5ڷ\W! X">w3قCjNFCDTu%)d~R*Rv ?KLy8fϓӲZ hϰ[+1A;Pu0*n2F"T =黼:XU&Jǩbzq5a01纪'GG@$I* Nښy8fҙ#^G" Bj\ypR J8L8 m"mFG~a|Grd<9-,K&U.m 䇞htygs[n֘E0vyl1&dN*23Ak/$<Uyԩ/-g(T™, fVt|E=^gݎ1pk<8  Uv%Gz p˨|Û%i~R? 0P@/_Q+d89dyȏ?k_D%mӢ J9>[F \ M 0tv;MRaB? j6=X.ʷmN}Blw_tVC"G-ՋwA96;XBc0USuQáVjKp)_}hAa|'fu(1ߌU{`,"\aNǴrsNSFf,a/Cy<*QC}*(Lرg8$|-kr)Φq5$} ENf;YW?"םyŒ7;"HՁ*UUAӛ}~qDZyh<7>-"ƈ?VXPcbј̣uoxb3.0JxѬ7PZڤU:t%|ga %8.p * Ε3:0iJD`s1ڸaAOy,v'8f=eCKNY><0?%(*tCT:|6O)+oZ!h$> ,]B'咞Ri\^ ERБbac=T 'r&XΩm7^J!rK^^>-(fd=,n4TZj~LjH0Op¹Kl) ̋eʭqnu|-ŭ *Itz"$6*#Y* Ysȉ\-"Y{i[[,J!_Vg0Lr6"_RM +9+ |1h9)|QVZH2!l`UhqG \l4knym( F9n'iv^?D$i\j[j CĻD+uSBJ>%(S ݯ}Յ3c}kg'gfV]S8Wdތ1LKnݷ`SmoIcM\AQ[VbH P}}ig|.tcƜx!HķCK\z$,r{c]l1M7[:X]-T|mD4G DV#N)FXf*a-80W Zcicd 7BO >]-6mx9#a1HT )gJpܰ+R*IQ MiC95 z)@w<(v;,rLاym/ h;U#=DN.YWcKvgAّl>krXѬE]P-xn~ٖ%-iL]ޭgiBGσ}(&R[ǵ mv갦@Uwv8qS=ah9JqT9)<ޢ⤸Jsx,&gd;:M da'fW9bjRATߺL T6/')Cd8װ8 D7^6%LȾb2; ^Jsuے@L_Fw` {9 p4؞C,B_c'F zҥ.4& B`u0/UEKW5]l,+<Q$'] kB\>Ɠx9;,-{8):#F _Iu g\6<ޢ [mND[')"P_iC`D ̽y%Ľ߶nH ¬~򽛰/;G lCʓ M49dڅGu1fac7 SRr!kozFisUTpc)hʦ?M!yBC-v$V?ݧ9 C9hg*V* 1_%Oww q<@U568gǼ6rK r-a-g[qz|š`A; 'W},,aB?CH5+;a o\aCg->ڨo ORt8kÕ*,]Ăn5ԙ&UD"v1^{[1PrIse²a49QY''z8k2l{$vmxeXE|W*(OΡs~2?  0'yFxڃu]op ]4CMsÖ0E=T3P"#U7d͊A `c8rKv:H]D"_xgtW{l^nQ:c8Q' K1{RH41 lZA.V+(&"eFfmt;|\"Ϧ= –l~1UV֖w7ӢL̜& qH.Tt=jxȂ!m9UWE eOxws"/-Ucv9- :S,]K|3G b=_ .zʹ—n009))*|= 91JnD vM̾~]cqi9Z)!26 A=#b+P<6.˜S /]4h$%q+]J5O!D8)9^~`K=\RY$+ߤ? <̹GЅ:Xl)uZCz~s`; h9/ɞ8++`g\ÅZ: ]Ib8{Jy5=K mQVIDߛ5niз\\+}R,P<_i`SfuKW*5d)[-~ÉXkTf%mADt+gs~oHuk{W%f$PIѩ߄'LmdCh| E;rJ"yeҥRsLdyڳjvU/b9E`'C/cPjԄWĿPe28N1$=̰ L#o2%2oiSZ9ЩͥC 8\/1S|5 Kj%o !KSH}Wz, ؑ`YR`jWR^KuAEwshʜ>D8w}oǚi~2~-qω\XCafQDIUg0CrLO'|DK@'/̀`GBʈ%==u_lL\g:{:mӥ!B8L/RLET̀5^915z9T>&v RJBLN\7~H#oyLoKGűiwsW`I]pB[!e zg; i@I5DN ;l pWQ/"T25+c6Fex=c0D? =E#&:v{R.Ԟ|)"cb| <;19)H4 YǶ%ogˈ(ƕGx2^5!ۭ1cŨbG%xQ̜teȊ_L%`Zq5~Kh:Ã_?lg 9H`Uspڃ} ;z!qQ׀=/X)skޓ{;7,_Ayx-z#iID|ZgнGZ wI-w[t, qzGi`t2-_ SLT?A6zJ.YSFq8P|CC`Ά${侀D 6Oz]%fUwd+V/҇GmeH|5ՏW I3cRB"nb A^G=D2B$ Iv 'nK~p@6 -}Ey/- vXA`Ϲ3?彉ӓ5hME fӗ)ݖx5Yf,*F;eT{ Vs[ka)PJcj ɊV4)(|)9;TII'iň s0v*bBmZa2<]⪒am֎ 97M}Y޵BfB; VPkohbq働`|4 2\z]` $P ^%wYS=Q/4ڽ׼17c5śdXr, `}d@hSwwF?Q1TUh!ןl2)DGF=Ac]Іndo *т:9*j/j\|le3 s /ɜXhET(,\lkwh蝃N=Zǘ:q2,L?'q8A2o_JAǯXzS~DhaA>'ۘΗz;M쉃 ߗ{ ) Gמ"W!7 C.KRVUg␛f#鵝~7Qv?w=Z$2,S_YT!y-e"` $R-ĥVjZX84#;ەR*&PDN"j.-e(DopcVz.-n&kTKdNXJ{n bLߵ Žrn Ħ"_ "dV7a)ljS %BsڜTd\60cÄc%Pkdh+򿟪ШH]tWYcyHÊ"(J0H$|^ƗejbLZ/%2! h!;y:UL.x2-OJPUJ"޵@l-%䶚`\.÷{Ā3/z*d~pj^Mi*<3Nr8it̠QCrE{)&JYK-d]VUT|z@ې[=eR%HoE=nDIZָJM[UKDH2>Ts8BS.ٽ,0UwPx.7<r1D)% DgK&w+zkɋhZ8Cl {vy{$*v1CxaU']>coT$)5E-ԛC|D&Ʈ +2M )=^jYН/(OTYXD`ɚߡ}c`k^x-t`h2v=YQ\KUg)LW7"w/ƨR8>/3L~Pk4K| UL.'+Ff2,UkyD&"5-jS C}"FqsۭH(iNx~1IsCt+B,ì221FΔj6lےpVdR4G~Cz3{7mTpjD&a  \CAßJ4/ xN\ԔmL煳He10LPL +r^xL0>ƘQ-h]NTEF-lO1^C¼ͭ5 _ӹ$:q>87cc/qMj&ư!U!Sw"{Et DAjR}|14ytE-<ղz1!u‚S\DyA9qj,\1em'`Pcs_:7)b&4Y%dн MSD/W8fcAyQ fuN؇y߬ͪeJeo#! Ք$`=ڹ\i!e'sl"%||wVDϵ53~CCDC*d%+eyP!*ʊИOYrG" W}(/ozmY0D :a9ƥ$N~^T-M=62S!Ýց6~BX']L;םLTCr R8;yj o ɻ͡X5vZVm "x'EkXRJMcS~}6U4/}9ENۘ uj4g[{ƯThw~c 'XYtۛ t5ĉhiyBƬ6 m=O{w?x\dYɆӟbsCgG] 8זj0NZǖvy!3D>xù/daH@VDSE)Z4ZA6ZgF b'OF yE s VG3+:[Gϯj~1<^s:ƫ݆1*d|o_YD͂&Pyʷp&majtB L>Va3 Z8T|o)ylr5/qYS(=2{7|‹D5 G'mX) rvbt\$ "}N@!Hq뎡Q0PySћB4㚁:.k guzPDHxd6?0dGTFDt# r!`10v_>çD݉d?dBJM0rTZh +%`=mE/fen(ũSW%_ k5h*ѼTp$U<'eUU藶8bݖf{hoa,@Ȧ7/hv3q U6:O"X 3qXGN#ZZ@?GF o1:A B2j/@$&~?KSfbb$=_rdgV{o@18%DgX%NЙoeڗTE߼=+g0 MDj}g 8yO1 @5es3r{Peuo~ZjjH-iwKv~"k79N׿?.74H[@ h+]~;?]7HUk $O #_El-p2a),X(0b4uh=`N3îfaw:[3xKJ]U#@}Ԑjef5fx59W6dsx.Lae ]{47y;b78Xi> sY,ߐݲ)cM` Σ꜃_C#B6؆~_&6|6\Ji7|4L9j˹?GDl,|g!">2Lw̞ aa8h9dME5e%ě2raR.0(:1Ge 19*ǏMi&lrrx0{K 64Ơ(nF t-$1L@>exrc> ޓXakfPD䔧PкoC9g7a\gp{_`hH)q!G4ݛ΀ui%9cLOWjNK:f̈/`>٠9\O v,;,0/2m9n.؊wP$Qx C{}ͺJ`!"|+G*uƣgl涤h~8pUrXi-n D)ŷ">ƔG$l@7҆{e]gA}3wɰ⸢Ӵ_8sJ S:A%J^.P򀼗 -3l%[!3F߸/B"<湹1p#1&WIVc@=.6ͰLU=qhu4gFOGM/:RS1sZl0{?dEj ':g? awf2dega u[e]u>>.DEIxJzuvցµWup6'K"aݤ1\ /CmgY> dE(k16o*w' ="<}QN,b %+_[1v{;~¾WIy/J-+He\"rҨ5y29[7mӨ))o@JZRdV m^R/ՙf{wjH}q N {ްAK?cCܪBcB#*H uxOۼlpRt]6lrivaƑ!-[id`⃮l'F-<`\EjNHɲ VWim!Ssga?(+s)8|-^hBJȹΌkr{='w{X'*_ % 1WY0~`A c{U_/jKmDP6GS3CrUھ|WY-ydee Wp[\ev b690U^?@gnY|ًOT|7CmM(~y!*q}gaLFi_iPg0❪kVpFZ;n}}2S ]/eA'}3,]#fw1W4} (+. ~9P,:l$lxSבkQss Ef0$~Exn{٧TY!Z%b.s.JE3gNw/LPbMlF;,+bYGw"tX% "er㉰SŽ?m[/' Lt ,_{2s 7O.dX2HQB>7;~gc$A7hk 9Qg}1Uf`p" QJgxaυG9KWF]}vs.&?<ge_"jGsПRN0G򯭾Gf2qlm(:`||mJ^jE Þ(0J(?9"V EB.m0m:Ds6`Z_ Y_Nuчf_n09hBE飍tU!aWFC0gL14zryFĨhs#؞fyVʯ06Ȕڛ 5cbL7@z (Q0n[k\2D`>VW#U;䝖^Sm7"-S~>̇=6|=K Vs'S+̓1Ez`S*R8 ~ nUp ]GFIpp B0Fb\$ L ql]zq qQ^ j5PSJAƝe Уާ+ Jg <uM9FHI[;\L&e g=:,hh yxn,|SP<ξmh\7>#r=)}ϛrRnop?ꭼN$;@fRr!e-Mh*(0' zb]ƼE0J*0/Z/L 6]*! (EBo2(;[~6Sx64]MXZDK)$ hjkB)gO(?Ą |˴-[lH{M"h}.><<tKoq*7R{E^cV^K;ϭCqTUE9#%7 ǯ°@| A>[l:ɼÿ6|,[I^PKjqFyK;LkGg9ĜK'?,1Ĥnn+♈%pB0ޟg٭3C= f7?] #ʉP"_^sym=ſlQ>ts-(z\;sO~6} .N# DHZG[fhU>'u*e')UgYZ73ebd0318b359bc6b22a850643c745c7cadb44c019483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 93b0c6be92c17ee3ba91215a3b4dd812bd6fe966