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  e e[)T$\ ] Sort_Encodings:threads=4elapsed=52.505cpu=129.496gc=7.188factor=2.477zXZִF! Ң]ŗXiɟH)0%oHfW!z#`o$N@ #]^YtbFs aB3̍Vu{!t'Cdq^ .F)in}DZɡ O 2kü(@|ć.ys }(:Sqsi R5 w 5) {, ,07eAa3!cznDJ{Ѕ8H%o "ѥr2q jo173ևn0T_z-]- p Nw 'uz,TB8p6՜p=W zo ZJOt>73Jq0v+etzPvjHM a7Ektj-N8|xH? Y#]IνIt/}HTh/ۣE8hQA*xrj]cm8'ZO\yG+'sF pC ϑpA BSgmu* 0q圕<7Bޒ$%smlVKC26^?JQ+įڀ"/TQnx+gv/{d^Ծ>\)ϪFKLQ@MG_~f|>v:}%iK,ϟH#dbzѨb.6ΰHԵ듹^;;5e`?tSoChjy&}AoS 'f}Ol4C Zleyi%5۵%ٵU"T"B8K 50Vek:(C&Db4aLJ>d]{:?b2J9. *nmg*@ծԃL&& Ɂަ© Ұ~0,m)T_]\!9RnW5?wPXÁ!t_kGͅquJ[8"F<8`2[z8y@)y쯁\TnLZO%]FLKp~jl`d\F˘\wp9-bYn=- naI)qru)bWݵ_Z?o3Q}`@*lMUR {vH>gxl1&pK3:HAFd5KW<@}W5e__SEPmDf}pjONlg??Dmi*t dS!~"R@@ge'M7;Wrp?fD96ecLFU,spa(O_^fbߖ  eTiow hXgbCۣId ʻQ-J{+ Q0[Sy$\Z\2UoWeL{\|?y4a(hʖӨ+~֏b{A׋ok5L~*?*fNV\gMÒhL{75e˄8&*4↾;".(@f{uK MP \]WQ~ ^SK?~ ӰŢZ N\ݴ 䀚9ϊj?U_)~#CdWF؈tLFgbʗ@vx`XI x̎"Hu tdå@e}PbK b_>谿VyD91vzl4'~bU;@u cNdq X}gokX} X]~yh(̢)AIX* %:v }2.BBjݦVb@8;O?PoS),1njA@ppI3 ZzpfPE٨=*^3JӉX¹XL0TYЀ:ʁ|4?\yG}όLeb]6%Oۧ #2bX[7l0)N,NmN- !f{igR,>L:d/ m2LֽEm.a\(].]X6gh7<dIb)Ό*<'Pѱ踑._="~Er"n~q=y5]H-Wӷm:(QOݔ) i"+>\˪6P J1\ڲ2^:!ƾo-LpxwF>/3 F,˔dI0U~P&In=c-:+t?.0gk*5 Y O5SbjQF5GU؃ʧ]t{SηuDHD<5/o;gy;ND?GYtNϳm%7 Z-xAmD]y[|QHIDİt|Le^|NaZU[oGwiL*-=47<' HbF18T DvQV1}*)E&_s!GIU>Vyus^l_[]%۱E擖!@Ēt 7J QZdGcYdLDrtrwp? ® mkt+Nsgv`KdX=3vE'}g:̶p# ;'~=TjQOYwH< j>GV4~i.|:^.זuY$ؾ %$}ݜ!RK^bw~8Tn1?#͞!osfSW=S)~B~Jwrwd+LŃ2OIj cbmܾ,MύX+)#ϯ/rRmIfy鄌˵԰Oc;׮*0.l$9\ j_T~+*5UxsI \XGӜS BJ?4D RXp/cCZTN%[>¬B4a= :( :_ ;/v*|qCEr36W#\oPD64UR4qP@׸g&@=^=x҉v猧4BRS`?c){%hV>Oύ(=>)[b Gʡn%0'7L- HAჳX/;9AEd:1^:IiuqY*赬a͙^x\&~]A σs陻S #PG=rRHٍTVtbTl+ZN>Ƃ}:VBE% bM |ruj܆"oOپh#,s]~[y@yJHFXA-x`qb),˄dˑ2ǻ/Y&D9@ E#.5P:G纷 \Lu'ԬC$ʧ(Fl^ 3BeP+czj9er\E_dZ{HG(0bقo4knQ} zwg/~설H{Jf|E  R>XM Æ< J)j(t uq-ALPnQ,,.P  8g) oJl\}6GL@sBNt\FpáT_L2Ȉ?#E0꣇2 (2]_8KSxy6xG+X*v2Q}yz2v=nj/u?|4/qO=*}@iQ8=_B!#ca<ѣLUKcy2:;Bn}aWh {~LZvXYG:lҮ\gxKAB~,^P&ij4p`'0Wi'Y3 ƠH.l(8@6UnO6w{ !Ӆܳ18ms"ܯ+SuAh*Tye.S;W] eq'MHr+n{ך8(JUckق{ m%!eKj^SJƫD1m_cAYuS BJ)\fޅf0{LAAթWHT^_w}IeMr Ŕ o<< ͨ3r uTSmV wEr Tv&Zon窡rox#ߙGZ5^r8S/{NZ*,=&B4yMwc Zz,LfNqL }Վj YDH_(>w*!0} 3o;GeuTd &;.P=Hӄr87zaZTX*Ǥ#RU*wo\X:\6Zr5bK=LŜ[m~.NAXǸ^M:f:ZXvx.Ha@r#(@ 3z,9재%;5ߊ xṵZӿ_ժ]^Do cJ_BSTCcRVCx"<=9>> #/썧7m\+@L $NI/B8G: X\1oV3eKXLaz^j$ MԤҌ#7*8;7AI̛'# ŕ|/]R--mUkvnq6:ph2C\Jl`-,j!KsVŗ @91=ƹ-EC7z3O&'/@.@a@+yLw$'j3+ (ZpUΧX:SE5I8(_gYU2nߘX'H@~탘f>t(]b3!P9 ń _!X, 0v4YBw+u7~Ckv#fLѰNLSQe!0q;oU_u|Wd;-teMutFW|eSxv4<'^߅`"(}:s! {,15WhOFQ1K^f7;c,|WϟkhS)8dYշsu<*NWw {F橙3ξzWu}Wlz8bT_9?Ο}H1l b$\_E oô ʞL&6Xb㹠9drqpC{BGiTE,cm$NئCZ=3!&0s 2Ů4tSbX!CC "< H)7rS>Ea6jA|+'1Nrz:އ\3d!w`+p`m[G*V-oW'<1M!b=?cTgV4,%x,J3wTQ_n#:(9pByù$*c{IP|Inw؆)w7gGP` TZ~V 52n~}?:mc@Jn ".E CRp.B,ӷD>|cXWaiR5+ũv#1Hrl4y;nO) 8_ ^wb:-.|)J{sdBXHMxA?'>O$TyWӦ-*"L!º`Ц)dSJ}EؐZ'E83:9c> 7@XO "f၂r\d8nk.:l9ȀC.RcRo x ɨZg=CDd7Wܗ,h%u.e}'A$U{EsU.=u+jr}rrWoٕ9ER֕ TUSvQ-I>aJ'ŗ,kh<;iU$㨋]!ZVq Eva)@e*_i? z q 5d]əl$ێ_QRkYpԲю5AU MIcO׮R[ӽƈr%R|*/ [Ղa.z&ebG}XLeۭn# Z_Cfuvƾvv.xnaD=c:ߋ>ӷ $M^lo`(ϗ+%:5ݣiP\!j TYT䎬VqX~D`:ӪکʡZ557QJPIG<{g52V(ޱ 4 ? `Faid x#"V<(J©xoI5\@E ye ۀ`*^5˭"zqX3$!f5V5nĪIzCo_>_̓yXrjpx]K/YN4g#нNV@nPFaC}fa$x{JgdLQz:"nruLݲD>[bi+\hRIiSb8CC 4sMT7Nԕ?TT$˻4Ҳ `t%7f٘:NI q[~F PjX3p1̸ Ab<>ZLmzUr K?]٣ou]ħ/\z,?tE}[R韽X_VFi"RI`Ps閭dܳBwtHcBQi껖G%ڬLbGV1V"pނa 1`H!}Yq੣/S w< 9d5Q,EpWATĕD )Trً7_z32z Ƭ%8A_8od !*9?ZFJLZfv7F[<d@֎2v $F`O_YD X}@d1g OŐ!e u Tq_}^|UZ}EFK; Q_'uP#bmMn?Bp}Sm8&I1&H/ זP%1M'_WY3o'&/~Sv5 y1h$ B@ C1!Ov!iTBҢį6$ɮ]H՛q>-]+Hq.?uyVKAf@x5<$ǖSj6ѕ>xdWss2o LzF@ﴵm:kv eNkC=swl,NPJԟ\-˳y' JμݟtQ' &YJ7I'"L4aluu{b='AMoc~Z/*wI8hI￁xJzÑ_]S$},=, ԆSSA-qRjAWĢS•#rpnz47:Cg>FaHPX-7?D*TGk"M0,$zdvPjY歈s?uܻME${\vO68j>Oq 7C6vI XSNüenF63bD QcVJI:b ^ o'$ukxȜt*x-q, x3d:ǜаFރy\ZF\&tŔcx:I^nij,.I%YA }Y>R  Nn0eo" i5s8اS ]KMEsj-)9< n#}M Ur4\daI<0Gp^_eQdM->2mq+jҼp_hh:1B+$W)L3 _Kr T3'?[Xw2V?J)`mMc/}[V~#T:: y@BC> IxCq^ 'T(謤C-2z 赂1V ~)e)]V %3&O;Mz bHxRi-$ޒ]jG [ˆǻְ`_nu*rF4LP R% =-l%32HJ3V [ٮX~7w·(Ǻc |7<}mJ(؁xB >dkb;:!Fr;Z~ !?01@qvaw׬ hpsmh*Geط50/(̎cU׼Jw*Tr)vYx}ǔxh^\$U:A^ 1MŨYӷ2;@6[[Pgx Mh ȬUɣ<{vKr~U70 cj8" h0MKeAr:"O4'mvnZjhOBVTi}B!ynv8ټ~:оQOw1Png bnZQ6O7{-'m1_BO|}RMt $"{H}m:'|x˼%*NPs3pWg\Xn,㔻?*t&@M>ȎI'ʵ!LLt(t!gue*\2E\n,`?jXoyqv7As#4'@[\mHO)։Y7 UH)+ˊiz!lk<6KЫ3[mv#ܼ낿J$]R]>I%I}:& )blkHw4k.عši,YZzvճ|a!04ޭVw\5{nA`Py%vAb8%w{ ]T!+ceöE"WT4h(d禗uٲ/~ф{ɎN E, 'mX23%0z2|H:YuuC[(,ڲj9z#gsqEa 9<-|⊮ ^[1|Kltq<^{ 75(JB^OVvgIؘ>3ghl`i}GLQUq8zC^SՍZzg'}ݟ/MjɅBhۭJ J42!X $[vν]`>4UHw!hzeןJO:, U l5i4. ,_{s9q<8gV/.Y^ T1A3x 7V& @῀n;#m7}tHv:_]c}Ps #L4cSYxdL4dJ$vlɖ0mY؇*:"NA[x.*XX/r*C 5  ~E'N#E6}¥MTǼ*t^?`xZב&YrYZ]{d4Sn9z\Ǹ"s}̑gaוnU k5|txq e rبvTvJOC]BE檽ܽ,z^V >%e/ ]~30HG㡯09Ì5^ەD2t; fb}}e pH ZF-F::ja^l+Pa/؊tҞ>+p]Fp4s^ңyAn\ث.Ziv{;*jr%Ghv6{O^;);bv8~fFtͿ .u0SoB No%aVW:- 5.sJ-K1enx+,Hv t0APZNcL=Y>(,hj @]( :LGq-A(lfDgdoV;d3WO. ڟPؓ1N.gӸ4[:Iv(DSkeۗvE;W+E-ržWHZ 2B~k'i6޽Ł!H:`t&¦Zcqra m;N{h,In.ʙ pOL!ΌpdT/$O tZ?]~ C.NPcJH Ď7ן$I"y5zd;f|C֗:r#2'F>VL˦X3) 6_3_%'PNs[ekMY~/e"ƃ_.%%Z_QyW[,ܖR'}P =bO}e :Y}}*xNCߏJ/'Cm㸜 ʁIV.Z]Q)Ànwn\f#fic|6rN'H,0 zfDQt'S6Wؑν|fz,X0H% fyVv<(3=mh4&*^,ǺaqiX6q;U d'L3.pĿ 8>Rn|N{I?r/D Y~54Z Oqh0kk#a׽ `ƀ,2 s> u-qon92Oфgȿo|ep{I/'ɶN7ᙤ4IPMRS 1~ "%/.6mrr]<ȨXf.F`zE*2S^CZ`Z%1D#7GD/փv@L}vQؿo;Bn>xK\);UoiCԪF99b6fI}~ٜ NPfkCa2 P;} ԹJxOҗ!\U3J$5QϾv?6ygkKxd.}q\'ǠT~ RWRfR. H9G--{GVbzbhlm-)VN3-Vq)7:C^5a~JN<,5ߧs3C^IA:equ9c/AaHVŸ^laʜfA tIw˟N,bRkolzXԱ*ޗόNSx~#КfmaS2-%f0NkPY)S3>'itLBHX\C8` mU˔^f$F5?K Zz谙yc=&Wzun!2?GR8r.;ԽҚaƨI^;}Y^ZMKNc 9l_̥+Iw\dǃoV"/ ^5M+ڻ.'3Dq1rkmiLy9TVrub"%J@*Gj^XkHdQ:1 ץbPCŐnK=>IR X:Mx3'?.vk],r_&#ÇEQVՐ{/iT?6Xdw˗rM *P-KRE֠JjPIHj1>vq^QwCb'[ ɛ_'s(ßsU?:P>5Eg,Sպ#} vRpk|7>+g(8Bv'O]ݔnn-Q6- rTߠwWUڜ=V*0_><EL,XE??C_IK@(`({l&M|巼|#Y\hۡŠѢV>]|bi $zlQ&V*,S& % ߸⟝iwb춬u}uEk$A4<ݧSb.7q} U }t!DGݽIq\)g_7V,&QYhזNO@PVVQRM"K>)-{vC  /cw@<:s@"kY3!6]ƃ]6wWnj |s2 LG um<rUwnu_E:1eǔv&&P#IT2_ige=z@p3)W2[<PiIJL:=6G,5Dr&F%ߒ/?1ÔLK8ѦohX\Wm}_R歫lD!a,=m1ZCIޕ~F.(1Z=F 7.!I)zW/pq.{>E?_.y|di`YU7Xrtu.䍒bDyz ͹: >k;2$ A,ϦwGvՙ,29^P%͞}L!R+3kgn?ў{MK\Mm&!PYt6FNVR`#2E|⪂""yB&axىο8,E ^處L7LkANg-{f}rxQS n Ұ&ZMvD_GJ vm}f!V;Y}})u@ǥD>ة7z3[p۽TYl fMl !e)c=iv-KPPG$ъwmku@H?;1 n:<88P',V O|߆V5}.V,$6r>H{v6 zZb[l:ҽa}UOS2_j!f*pr06765MAnl ??q 8/p' Ym= KZ+o`6ITm-L6SMm[9l$),TO*@_zӤNgQ48F -+(EG)5٘>`ȎtQ}bX=mN{0ɹ/Ƴb]Cޯ wluf#L6IX ~BQ]65CE&$ad [pd@Kw{IvO())S$It)7>`թ+s:1f!ϞIP!g9fcFR.[I8rcy ޒ#Ʃj:/s~u|.OQExc~PY$u`DܿTI0O:+dPTĪbbqT/>gkA&~ۦ[I*Je T9os3r+h|a'XoX'g)F(t`_ 5 [-ٱa ]X"̣4$ԧX%dA}WӾy5 '2 Mt3sT u0xw?cI*xb{,荞D6齣j?-[r(o*,ft '*1b,ޅ{.k |+' +B3 ;%zY4ߺF<bH»"+meSz#Y[cQw /#/g HOz%`c va*NCkBq)+Ӊ k +(0z']ܚ CډmB ɋ{oҘJBhWhXG".m]P5MJsqBx71I2CdSNW!!N~7Sf_"/JKՁkT]g><dz~@rT/:zTiÐ}xqzqPXTt؄o/W&Xzx<?2w~=:AǺC~ͣ3}I_,qo?$ܡAѢ{)ճ&ce /?<.>Or(TU+a3L8#/Fk wس?uWBqyk16HM{tH\{p>OAEwѬ)tLK}̐Xے1 % ^\~:HqɖŽN t=r9fPf0i% dx9ow`UH`i'zE1v 2dg_ [7_Վv=t E) H$-Ak|{WFBvC[k]6Kuq{ѸسᇙJýҳ3WP3ړ fMl `K=G`y\她}q|ž3um_-eDAcĝ"lϛ34l59k(|5DSbp 7Yca8|KN#В]qijp0lAXî7KfBwMw*S-/QOe»5Ѹ$:hqtd)uB?Tk(-F-8u_+ͩ~Q "Vf0M~x|$GV] k=Hrx׫=&cCNz`wzoXҏ='" br-g%񐻁tbPzCrFB\SⲳNf o-%PҶ\-qE{j;s`0֭blÂȻº]qhFn35U$>.C9Q-ZyYIx`&'EH%^Yc:^f|[EI޿v:eru (+w}D&6oE2=P  z OO u`%M7ߋq.ѐwP8'U+ѵ Hh%ѵ2-lD+(~oe9* Qn:cCl4 aUv@U{wl/E1u,_Ș4qN&9РEWҲg{RKUzw#1ȼkNlUX/|RMݠFմ7FZ /jK:o ~R!\7JڝbAܣHAMB:':6].;9ZLx>.hZoO~}&,{gW8Shk 8a۵]5[4Ko@vE[&=+2׷P05: h߃C@ O'KNT!a6t3FJ@F8}Tg"M9XmY$*#ziɰoyssTxRI5>[}+聆(z016.'a_/>'//@j3M^3+{l#Y

5f ɑc ً35¢\QHoVGcRFn~kA0Տ??IqvCr!Հ.S] Gq0iS2w6ol 3q.Q2r"z>D$B x R HRnN0%p%IN#cTw܏^aDL:MƖ]qbLLޱ$44oV"=x :fA,&]ⰯfW(IU7) tuS*ͶpPlD;U w[lM L^ K1E\XVqԫčPzm.zPTcY9оjh[D %%HߎΣj?J ZY0c ,B3*Y i@CbIuʺc3͛ bҤli*NaQlB#'3mN/mZjcۘPGB@H?kx~z?iWNk6hdsG;a#_sX-͘q@T &S .-mP{H9Ţ%L x6RnFŗ:׶2 [2ZDT0HW#]\u-G{݂>vMDڲ9/n`ce^!mީ/2ƙ@=t)ʣBTI ax)2 k:OΧh7M*p!V,FEgD{)y8w a]-hLlܑ/]Yz E *yD>X`CKjŹ;F"G\Qli[2P7[lsgg<8i|$,&;{;뺔phn2Iʗv[-~ʒ et[|9+(,;݋ǗʃVӉ4yB9 GA<(saPϻu?nBkɓ]at RNL)t᯻:XTq]rސ٤s栯WKD,8ը fU 9Or43p^zV5_r2fuoCICrhu I{а+ܪekfLЌE"2_9Qؽ`5btzff%з`4yoO8L׹A1"\πa!C+ΔP_k Z>?S|`5.-v_,Ҟ!}QϘ6"io1; ˏMڧBiʑ 34g+la>Dqsx'tkgSQm=!7yY1*ow ui,J9c)5Tzؓ:ܹGpñi;\ \3,w8TնDm =E!&5BdrW~Ey9p&% id& e6%w.D L(QuB{%̅)ʸ 4(@j,?NA37۵ b3zZ6s77й xwgl)`Kۦ]EcsZoDwPb4,{f{# l_Gˈt3|'z(&|γFTOgaF¥js|k.xҽ0ܟݗ-Yԃ}i&IytT2J<>WZNNmw;Os@pBmZD3k@prt<鏙i%!8;EU^D8~8F(IW~L2F@F0ep-R}keDn[k|N_ 1W!1>GYջ(Z_0O)p+L39%x)=,yE\Hyd.WlBNu1x@M_Vڛ7thgVc6[MW:ۿQPN3ܛ!\ ' .J+^" 뮘|7dWP)^acܺ.-l*3olGr? w>cT^ެa .<$4 tϥۿEYcQ*tx|7tdSV;pe?e L%ΞiCl׻tCsck" R xdw!z [Ԙ4Õ폁&O1 5F!qܬrƂĮ3giЩ࿫W psy!W& 1vsKlBTչ}$ Ur32@]Y#뼷ԱڣBP+ݡXİh:^S4 ?CrWR$zVhM!1#;PƸ;eDc;)o8e dT@eߟ2:ޜBfIn D@ kL ?#Wy6l6 g?^ &*:Pzr%R*RCeDD-#}S!%iT)(p.l&7@Rg Z  j[@; _+T `*~s~'h 3ZLX!Ȉrvi/QPpSTshrÆ(&iQPO_~% Bԁ~Nj^]QsF .\J{fr*8pqcP{:b S`g[ci^cfA11!SCHqrbtd,Z)q<&<6]\Em[!Tx\v 4, R^pPoeqlM]txghx7A.I5;}o]c眙ek+G 4kY 64Ŋ~:VdWQȽ) I6JmVO/َ}.ė&V6e6d:he"۟&;t&,gqDt^ ?4:#oEy 9DպyWzJz=iզf\gd `HKؠĹw'e󩶓ܑؒqf@MZ9KAҐbmz/!8@t։OUҦ,]V,PSr:vGJ9WJ]۳2t{'.cCn1e&d48\l=׹D MEhll{lSd-)^p0_N" Uaxz oQ]X_hV9+fFIU@~]z[YSKPlCIwD?ZRPa\VFcA:-s>`.@3.FfDDOFHE_㻞8(UO܏]P>˂!|@*٩@9ITdl{`ىG g+jd\< w(S'N}nSGq|%o~ʭ]jXͰ '&AAť̸?;W^M!*k'ڱޫee5 ٽUH_HA?~t1rh9&Q\-nyGҼQIL 2%I8 9<@<+^D(0J/L_ObÄN] e]_@5a?Θٽً Z-T>6[Bí# capL-\eBgq+;rhZ¸A2W$G9 #@xD$ |$v *.pc#ڱy 9L/mk DTrƠ M~]v~Ȉ ӪQ/L_ܐib:ND)48\bjn6/=sFv:d0v^!ӔeuMrHyJ}};7OC(1߅,#>_̗7)qS|25@3w6'1z0,cI~ `„zz8F :6=ze+j+)u'R 23_4 ]!茋a>U9^<4.k ,n|lQ)b ʌ(pJEC-8ťJUV ):ns! c`p-*em8],b s';SIlÈUX:pxY1Yg@Cr;맆$,/mEl ^%%n_l:96w(Gtq'3;~oߞ ~/ʾx+Ibl`>9 SF އ[b}PFX[A"3_*C-eBo"i--yCMژ?_H蕐O=Û9K=EP;}| nqZ>&YAHd~s%{档3^R|Y$wųBY +l7yiCR/NMoL,V]88  IbR @@o>CK !_Ȃd#yHUǾiEOu`E <:a%w!% *Y}ZR'~Ⱗ4ArB<7x7sF ҦRlF|sռ+f9ޯXo_TLϕ.IQUlQoxIe{ y0~cQWE $OzT$oBim=%ԟMғ;wOW]1#no^ŜD=8ᎭUϹ#cx<5/Y?.{o_a2>lH& K+*yA-o*Q3K?λ뜾H)"|τA M5Ռb}lh0ѶѲ͡FͲ:W]Vfvj7Z+aվ.$ƛŝQEZQ@Hlf]mI>B y~b1U+s%JIzSnQ.1γ%i5mVtҌjkDCޢ{ERPÛmyŬ3HrE3(I.BR9Z¦ʇ-x;^qЄ54bfkq%aQ"B;ȍhb㍸d.1VIYĚ>{ߴ?~{y2\%:eH0yE,m``lZqiz`6%[uhe"(wFh lTME8g\L+aF:Lѵ[uzc2٠I4(hh% 1 ɒP#A>;zbIƼ*vG *tXzq H΀VuLF*4=R>X빱ZrSFQ1"9|r$Δ퓮7@JH2{qttJ{|x"&}4sVkPDM&bs`f*cBk}~\b"B^6cɏmϚz L5s]bhɟlٓX64Y\Xa2)J#!|? #BaWɱ/}%U2 P 1NoPxӟ@Ei kqd@9źw_aAWR B7Mp+P0DCeBO;W@"9J h2U78cɦJqSW޶%qDIJ 2/@u62%Y LN=Ukucwۗٹ’`A̿jTPʥcMkE\%\5lng]2&l2Χg@PiJ5Ln--*˰kd+sh v'Ǭldbt.M>a2O1 k بIq>䔬x31ٹwRui N#S+H0:Qh~u ~Wi(̂>SF&z%ioxԐ(cu)sWu饋s5"MZ8І|'O[slICp܊eK#9@~:gO<'gK]}{{.sMw> ߮fC~`DzU'/|gPc-@\ѡ5qN_n*^Ful1 :%]OON\n!Z k0J qm)[nUq%ln4QI)w9ьڒB.NOKɨ }zԷ46*|'10^/RҤ&WI80Z «ftM-а2='ɹ#O.*'4顺(mAv9+ŃSF .ij+GjAi&Z%SuR _dWV_䂖@BW}W[>q "[- rέLsTB-s/[@*FFLGOܶx[h[!1s4XF?6kZMå[fh.Sx7?Mt+@"sIߙ<;+y \Oxƅ1,tP.oM5g 3:̶7$vTaj,$B:o#zE1)5;`*بZ!%kB1,C?AKβ* Qa{fS;_V,%THħ_]ߔYo#³α Hbs?P,@>i?^~ /u+6 -Fz-9 z)\qto .!Qot_Q4[XX1kow_Tj"W|̙0$A6LȁPPhjoq>ntE"M^}lx!҄ݚK.rd󄄞mo%.?ɥ\Mp $5վ#N#SpACYB|UvpZ}rGx^Zs q6HYjE |tyPVyRM\gfTytə+XT,ޠ5@!\+5X@:f s;`(pd̊?1񲀯FO(Z*^vN!_IA9$8g̮j4~(bURc;WR9+}z8]&?|?ǖ- ݄i*W2+}eАUR_xEFd Pį1\usJX4dXXk sXbGpORj CcZJpmoK`l HTj(WWc.b2P߲츘 "BGM, w49RJoW毨)8\DTr~bjP2|=3UsWʤ/z{>I/8?X4ZI9-n-Z( @nukQ{LήH|؈kG)'HY(f99`LټKsׯ"f,e/9_MvԜcD'kq#0.or5E&M?ВG-V6)P픬#]+FܻY@\褬Z {a?G%Ou)>}CZEٚ*IKQOp P& `vx$oA7VB^@^01)=tO&,rIw撾M&;?lݏ CKB qwFHmYF'rʡNn^ߏHSRg<_cݱ%/x0q'FtY] ?|550Оއ E2>C!L/.Wr,&v;7_k$]m[1_6N;olY6 uj9;=<}xM79[4-yWP7l§EN§keu]"b [4??!CedFDdOm'+@6J#`/Uf[_;%׊uYzxU-@F7g$X`dokvT~f&Ny%<듾xiL6C\D)cWk SfoUm_~`gBwE[Mq' :p^WI}*l`;^ %ݵiy}ayIˍB[Fոt9Í-d1Cf0&޼ib!I^58E=hZ؛;L(I<AIsn_m .ŭ{ p%jdW>Te3IOX]j),6t︛[xB(:߫[e7\!B+U) dԕkAukVI*{+(ޅh+d:]h̀FH|`}\믞˶n\˶Xr?e|}Cob ڍ:.0>Zbh>vEWh /[["m n쨠_P5Ȩi`2ENfM cW5Z<'{ep(5wVs\!]Q_[~h[6"9}ظ xLBR.F Twwg.J0n)eTz[_Ya߿6<2%{E{ƠPM miʠ=$G]<*]T1{R+cݑ%=IoZc0dn12ٮU߫;ػ/~4TH%}|DM?-&ۦ)xx A@97;w}_A'ut-Xԥ~ =_hs>0% Z$2[cIc燖ipP>m XΝ h"08[dHdGtzd*9}1*Ն \;vJA&թ=j\e FJQ{ET<}nno's@VX ^zܔ!iRi F .Q U/RI4{˧/ͤ}yM_kzKKwΨ?}G\RR)Y0'?HVZEk;''K| L༈3xyC')Ԝ8>gB 3p;>: NԚD[n-!9$M?כySv'ew}/xA7S-?7 r:jj31~ :"xgUt قdc*s\N#m3i(KE5`͒HCL/FԷ^t-،F?&&I5Ջ 4gPP"#䕟p -GG XHVIHS7{|FqsyIy ȑF%2+ߠ6Vnf(jz{{ oǖR<`a=CWIL `y>3ʣk@}*ʚ`j;zk,C\%8ޓ(*S/ 1i`"m}/_0pq7 vjx*],dɆJkexGWpCƍ m pCÝtr|6~ДՐZ {ϠI `U:7D!|4 ʺ\:'{&4Л5[$윔~aE涑T FGNtv⣃ľY,Kf+)`0E ;o9$5)fJn\й=6Elρ2ifGLP-ÝbbC%`o,,Ri /=ݖ K.p\091p<[%f7&zoh+* ۛ]< \+GZb[nae~X&ukl2ۃؼ3&z~3qgRJ$9WiF06xI^cG-='SwOŪHZ`l_X>ïyW;|`GP=R(G-8Aa ʶWGߛޞZِjT.U-['~MK9B_{À%;5"ƚ)װt]B@uP?fTVپJJ˅ p20Eb"4N*aYS[Nax3jWF&F]s{~[qQ Ӈvaw2ǠEjP3q8P.nU%hm4&.$2RP(zBhOZd,"Q[Įh7J֑LYsPNm;nks]}\6&`īA| ѱv{Up RtVާ8s.zlޑ{wsYC8WyZKl5X6s2Umן:T7qr/K)-TDqp-/0{ $(HX:QD-Nq Ju_=lcg$#19+l/5t&F?H}~'9wuάZc@@fK5n˭4dhV0g9ӗ]?( i(cI~qB>^g Pa|&pJ!g?e@ !ڻR7vysP@XA˰ꈦ}bIсx!RK#m*ȭd奨|`l۸vw>Zo:6>O75.iL jW7)0-7V76JgKi3<ץv ג.kᅥn㑶u8G1+a\M]eSMI:: Eƣܹ ^hص}LL]mm/ 0OO$Gq$ 3߉fI;fڋEI]\l.Mڭ*wɽFVK q~oP0$'qbg\.G3 KȩB rjwkr Sq rYA%BĈKVK5u!\6IZ˸c9VvED7Ɩz7hhb^B 5QLX:Hm!q3~rSb|?YqKsKiKo/,uӯ`~ۓ㤶eQϕ&I,FX!2KLt!XZZN >p;O Sv!g1 Uϰax8et2)9XɌ  E2mK }v~yh@Q\шq[+K'+ETӚȂri+,*@0 9BjPrq288?OXQwA8l#NV1uC+TNe>ṄIIfƸA$|õzڛ|Za{]14_zgvn3gE}nWKL+ϧ-g-&$pάKZT[#| фJ{ajz|_+8vo͡Uw fpճn湹MoE2 W+AFWPpWOEdYuS@^"0~G̪ ~L6 a3w7gS9:|~,`Zxe(lX=eDڎ󼟹ϛbtfx(~GUN[ctõ=+QWzϵxGZn+s,PB#?W6/ jNF2K-WP nH*gztRԅjrc碑{q6g쯒][wHO.,0.U\"4>PQRBnyZrFe;s"O aG6 \}ƳPu߄?k U^ SM8hO:Wa#9ωSH,o?կP]LxvpXt9];Dᰔk VZM~: *(ţ\Ņn˚Xp ZVxŰ^+1 `v0*BjCeԑ_EUPX!m~OSo~~mjk_Fs뭲It>D.’4O'N:9[`?Q)i$ۿix0JՁZʡ6?4Hq"͂а3ziʂ9;u˗w& ~2&~Ɠ׻ iv?T!+̯2|?eOKQ=dO[FĺU/(M=D>ϕ| RT򏇼uAAJ~n+ IQ5ކV뻪JXձujv,Q[cdL#=wv'׫uJj)C$6:Eb˽ n-G{V O3YG%8^JfQ0'u-(9|[XrĊA# Bk[$HYH$(PUsvbB/qN0(W9o=z\v5mpS~}ǹ@pɵHڄDJŋR܃ԨOJܢ(B!G.9dR׸IGμn}hyY՞ |taT jlKQ3]N сOP$Ot8Ϳ,@\.m^D,o&t_[D8OoFzS* '+bai Tm .FMt?mNﲰ(9غӌ`d9 ,0&!DaU ?מ'-'M|;4wv~5ZmI~a'f iy jY|B f27ݤvr|Ҥ3|Q~a7% ̃\ zA(]` 8/?*_fbw*l%K5j:vjwZLӾu4P):n#?+vUSE @c6PݽE!21/Q#W~G$cڍ;ȅ/8@8kDKITpE lTM^llG$nF/ bn;ڃ.$P fr EjG^%p]n&6]*MxW#NnR2UdǏh2]w/xX AX2yxkOB7"^~|W. >g sDa d񼩼7PEj"QnG?H2|e7$Z2NApqVְ38I^wŞxEv.f(ЋzI_\+ǬM J{ϽcqZ%6QŦe31_ ;o p!kSuv-#]aP2Fb%#,  {cG7̴ ?f5&F׈S~AeԪfE=ؾ« jz!`Ȥ"DNEyЂZFB6m T=rtvv=$`!{s7N5;5sbq98;J!b=5ER+M>$Od2!xqxhV+DxA$u߅| 㛘 R\5T NcKE7;xnrr v.lZXDGfˇ˨]ʑ6082Ȉc ; n|E7oK7v]Gy5;-qe:4*cX~ۭyQUOȎ<H6tu#rܣ0קקܩZm$ [n @TB8U+V'0T,#,Gj9Hϗe $F.6.$C1fYK.Оԝ0Y{h70d˃P."r\A( n(iˆ[v%9M0H?MkLS=G)XK.pK?T0h"]B~P>|gp("|z+zqAxXy/>ۢ9؃KC=*  #qelc#Hd<=bErH>y,,f.wMC/@pC# [,ұxO7 .ӶCտ,^P5J{*+$pm \`Z6 ױ%lB@*lH|Ks߹oZRvKІhOܣtfy(  qSg]EJ,Ӑ ~_d AoCbq _xv1,=5'jt߿g:{e._x*]I˺IcݪW3ƫWe+5G»g}0P=C@yY@m7nx Х%f:C2ӀR(SFfJc 1(ҩDlIL.fCFd!tǝsHTsTֳ@0١ģ" GT^vR?zX_S0QuC`Ӓ}D @ABa`?Ar5s7bbeSTa5Ky>%!-t9@}s^Fc;ult46r }K(:|!/!%KE.syT(Ĥ(w#B^Q=D1=9@/i٢ ;eh.?KJ1MAej~$4>߅ZdUms/ò{3F7+ˉ͞ω8ێ!t]w ~d):ٓ’=/YKD~w̎{Q̋Z#R(ޑJ<۞_qy@+m}Pm@#-c"!G~M )DI;#eC5QczK2Pމ$Eb5~$Ht%erHJfUM" *}MbK@F)w\`#;x.UZ\` `,MFy0ZbE0Co`R;a;!{c`O kWC٢b*јTz$KJlc n2-xL%VM(?<ŎO>b%FL0^C[G#X#5=T^|%Te ).]vm  PMn3 AE09{bSKJ7$6G06xQ8h:Y}K]C"]'/J]SXA7JBݖ4he0 ˏ*5}p(^,2L7T4hH2GܱYP'^K].&EKtzR` (⺂P \1huëLr:թ8AqX͉a=^oݮd.QjScj`I&308&lkހ QI~*nmVftрB 0+R v@B[-SΞb[m7?}JP0srwТ)q}:ӄo څ`sËd=rf 7@N_eH7u!a}ol (7xy6-nΓt>`W7ZRpw3몷+ɍK+R| 4x'c7Wz=[1<'_c"5ˆOqt.]423;f[ؗF+B:w|R! ًYͪ L~q}Pڹ_*Q`SU@蔾ҏq޲oe]W{W&~gS^錖im1YvlȺ/5(x62!b[#bWܗE_k̕O[0CD$ '>zUOgu:EM ~}g͈)X?vV+v͟#3Mǰ>#N4Bz1uȌ=)l#ᴷ*LA0>%>!)BU +bs,ۓD5$1`GוT]c̚v {+04D؂߂7 ٍ&spl ueXt[_kYz'nK:GIr*}_Н ܯ9 DD`#ő M b 1he]+={&M/Rj;-rO%"? )c Vt7##@g* ¥~޳Z(`&ν^(U3jFFQ Q!{Yޫ;Y@rHS%鯘JXt=b W} 9EҌd9eSR`zt˜YMxJ9bC7-NVUFkdfpJ)+~/6?gHJzʠGç_w$Yq~Y8FeDTSG?H6=i5wm+o?O沝GrA3V p&Hm2m)0MMilRYVf"@#>O$#*_"FIhX?hrs3|\ƒT O\bMaC[UQpt08p.UIFl@!7[y>B(+b C_eJm>`[@`/66[LU@osr439ɉS#DxyVNGs}#Q iu*cK jE'"r(,I` h8|5XQ HZ ͱ7@uSq0x)aCA4 zV]pDz"F\O,Svfh[#ꈫ; ߪ?6SLVFx>wj~Jy&Bu ,zS8b_s/0TedyIHI+qy4%5+bNlT+F җ!m\PXNģF$8,jND 5&V[L3OՁ0  UvbϛNd OMoߒS,g ot\^8Mr;fpސc,˂`#}.Kүkk%om$.F0i4P[{6+Ӳɣ-Ǯęάqxv.b:)X]HjjK_+vDʷ:l@B#5[&;zo)o7l>J7;:U \ 앳w,by)OLM p;>Z! G&osep}F#`,F#8Q'V1gPZĢTkܩ[ր=6i?w[0ReXsO"Nіvͯ_Q@';H0_2[{+Y7s YR,^K  A2|u:+6>ªE>ˌ{dsm36o5؋GF(u J?8dqڴ{@zFӀu6rB$(*]$/ [yCK8üeӟgRT9@ mEަ2.ms} X)3FhDH9"_=Nb>Pk\K8_RPp͒-P&o> 7/ڹ \uۧȺ\&0;*6MwxekGǗ EVA%OkO`mXb(CLNA?@( KǽyX C.`^]D'^L']<7\ͤes|j]CԺT_EF~V^Q7qe|1TL{w)݁D1+>Gx>". P8t!+Y.x FL6'B9SvhVSRXf0r$mvV?RV;Gq/JJ%C ŚȅwzsP W*,ּ{h 5UXaƆ T9/RWJl$ҥ6sl>QDAMaEф}f3,?MjSF4FXWhOڭ:u<0© /$_4rCW0CS瞳Z1{ULy<ӝVqɈ?&BZ[f .LA4_ q}?^WE6ZHx0APqb=e}/&Jl8TT -~3YRNr;skň$71:0V}dׅZD%LM~vvD5K8ubA5C"GnK^zhyh8MU-)0Z{fɂg62ZG:kN0ibAI09eD%2" v7l3"l?qK FqkMʧ\x?|4`+p6QU4䦭_@v&ΦS Muwf* ALf'(HjHW朤+6go#uȚyYAݡ˒NkHd`l8Tԩ~M9VeZh+ϯkP;KK#`9ۈTt}赶6k@J;2z{ T>\ ML\S=eQ!p32oC. {V!5F[h/^K9LIQ~Y[/Cjs~KO]۽!.Olku1BurUy>]{wd6lنL٭*"L][ԉ_+ۄ瓳й,{|lj=TL9$ STQ^h_3'^ g ]Aa|hA'*] H%0BdQWV`dr]f!s<Ȧ:Y弧‡)e[95.xȄ;] ;u`sVY A9  L&t2 <Jr Sʑvʦ>9>LWV>UA[F ƿNj8~ %g-첑ٻn ׇԪ~BIҟzmJbA&@Q "eq#` Q׿A.|}43&zEf0WB7Al"veo}6LsaB&.0mi"PÅ 4@vt-Zp:?z4QzcYK&5q78&iP |WFE2`[i^ c? zG#0wDLQھ]? \z^ q+Ko||DĻR엱d6*P4\6eknm= ahlTq_S~3CҠ o*gb@c2 ~~9A Ik{1 |}KzF~yQ5+CUm@0D :kCi:%OCuיOܹK s`37,hwՋ֮*3;G(k1W]u#:d❰FVWaK|S3Li̪"UT!yOgWt}/ЉuPUtRZ\ ʅ0imqv;6L Ca@ӡ ߂ z<"nȹax ‡PyC8w(o)6+ގ M[Se 6n(,FrԞeg],xSH"~xehE="967bUKHj 1Nń=Z@DtuíTuV뭋p2_W"_7I _el.]ڔO6rMЛSpvе&86^`C5`HoKEƆ@sQj7]VN<Fb]e9JxA*|G*FNYW >`ѾZlD54C悁.5U-(0)fG [rǨHַ??ӎ 4d١cQ,Jm|&kS.6e/+`` 5h>hp¡Pq]ܒz=eG(Fg񬃶m'iUQ(!2d@>\c,.~ bDc=4%2i0k1ڰk jG `p+*.ǑU>ѣdo{;-<\@|b;R5fFA>)59"xBBc.ci@sE+,"m%hVV05S~(>xv3TYgyERg$ rl{^$Ayڂ~ &KN/=a"(/̫%L]%◪^:{w¨K^: ~}D-i#^ OKtB;=Ů!e9|AWvJZ`C\aCL䋡<3!% cnW .גc憩G3}9}hSKH+0IOylM:/vk{ka(5"P1XPȑ&4a`YQ# Vo|taJ'}ZvBI<*f1 kO;ݱ^t@`!ǼK]iSӅGe.ɧ͙нk#~u2֔M> g=/Gf$.rLZ! w&}*,IG |<Dv?GDm9]uF@_“ʍ*%IgYZ7zXZִF! l]ŗXiɟ1˦r.Hil c`1X14Et,/+*T6:/nMӞQqa}F6c.Wޥ;r[ХZle:f"I8M-+2#CyM_%W մU|iS[i[)n$91ژp,9<Zqc\&/lD>N0Fb@sa}?Ϙ;8#Iّ]/qhpe$eEZ6x(Rqǯpi[ fO(<7:WM_a? y?ۨöQx,,?a)"ZKm ţY6@z kVO|#ک ܈lRFUHO?qExۧˆméѪ/s4;uPP DsgYZ7zXZִF! 6(]ŗXi%L!l- OguKT (8 t db>d Q$0I ZwjڮhBl*gp0@__|!7`RlthiAg*|^]w5 -8giͻyH#1Pʯ/>viqZ2ɲq}k½8YaHJ*!Mip+P2#PV7T\0BCZ}UžY[ Dq%1KTY#W_RrY!ԼˁwNiGT {4!~pJf0OTD^Bd›>/eAb$qiCoH Oɽi:9Vx]'46p!BT&2RNS뿀u@'n)PC {y0`Û E_MQ_ -#>ng&nM&u*i))T >L7GԴT50k v: bD6R6%Z^i1XIj"!y4~a/Y55UJf{:, S3f zzP_]űy-ɓyȆ Bhqa r (2l%ƺ[syL=>oDo(ʸWf3dEqժ&EPQWPEsJ*ẕW7j<=3tcf&贡 n:MbsZ4MJxXUWYf* 0ncpY \#GQO2Nr+95ķm髌sYrt/2,>~|(- s7S2w8g m\\? MҿMО IBWnӍhu0?TyYw~>5xre/;S6覊ytokM B Y2ek4 |!Ӊf4i'١_2W*=OiơO$/b22Qz(!:7*Y}pK~3]%bῷAd^\1lң p65zЭ=+H k-oC])?]ߩ=Cd}&kv`UkߓXx5te1VGW}3~[ytasW߆!zKR2VyյR|eԵjc#kO;u@C˰D_a$,y9{FbQ^dHoݟܵu= 43qqXOWxjy{E&`SUL9~d*,WMI- m2΍JM 4 ]Y4 7&oED6V?o[mtQ\ |#(h] םK>+\5~Ôl jBբlx?kbX X-UܜsBt>,u~k^O*pY*a5Ԟ3$ 9zrSΕno")H@d%喎n|BUL{(`)Qhە'cH);>7:K'ԯ)8eqD˾g|lQSQT!%m0sp}% (+$]=Fdw*Z/}"%z,c\Us~An_} FԹ_(ņAlHԜ8xb5\࣪CgS[z=,l=![ϥA{>#uT|EQ (Sx `Sf?m{DN8զ~cxæ%D <᩼ GyZ.:8|L[lVŎٵDpx޽G'B9-Xhrd!q; 3W_Ɋ-h{Ur>aփ.F3sX [ x{]ײakm'|aO6vF2)aʜؑh=H#"'!1i=3e?Ex{>bE xFfb=ʧ 㯈 (Eಓ9P&҅d j-RsX8WѩvUTیTNHo.[؈*'bJajqorqx-\s 嚦Ac WͱgYZe5d9dd2e3850993d868fd9f6f9a5797904e36aae8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 ceb88268b49dba88ce8d17d2163a73669633c54b