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  !$<< ]]]HOL-Proofs:threads=6elapsed=670.824cpu=1608.380gc=256.928factor=2.407zXZִF! N]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb"^$U9 |kbCrw _eVe;ns ,.1h?;kc1O 3;|Ko1asdʒ@9( dsw|}$O|lЛB0q惔㩪/E;ƯTݷiQ/HSbυw7N/5oM_ VY^fid=be@"qy}qS[, n5p  ! HOL-Proofs  4{U GHλ1B"}Nf1͗RqӴP,|at a3+r`!HH z߳d5M0‰$V,yfG=솈#Lƫ߹D?G=v/2+nri@ TS0mPb;yCdC<) qB#)苳ifW;Zoq|=2rUz{ r|ӱF}KQ_}[{msm:Vn6'D&2f 8 $|.YZ:("PL:[:nSqS($IH1ck]5'vg7L„ -%ӏǿaVtWUKw&:^*\tld>omRct[%25823-#,濘]GڕI;[|l ֿ h,V{*ČRh#,.c ӆ_]=G!B'Cp 잁3n=&s V"Ne" ;G@//v KکdCD"ˡB;h"!uG&e?mEP*}f\0~:;@oWXQɊ$9yƕLwމEJEBM=SF$AW"I`?MQzղä%2#%"*f!3Dg-H x 9MdG}=JYDce}:!׻p>N~h3y{?R jB;s9hcդ "4 Ֆvpޗ ąA*Ji9$&XY͚3yxpK(!f TwR?sw ,x)`_ d;t\ LmŰ7s\i8%™47iM rI0+1M%GՆ { 98sByԮa]7`wX4*W/%/ jz' ba4)v!D-t CU-f"ZA''/x؈}EYaQ{v]E?7bw{3#)Mq u#&~ս4zU6[eS$>V3P5=k*p7_y~R4zxYAY)F14YE%YAr"g?5v^_ ͏@uikNJFq-5 7s_ʾإ{9̎()\WS*Kj.oI;E鍦M;`rG Z | vFW[8[^<nJ4S|yU<=1lZk\(az(l9r0g7).%;Ҟn`k>,+Oq\8¾NN#t/Po1ȻZ{U7^u^8D#d"gv)o耚lKٌX*DANX&X) MAH/\izeNώzvJw"!-k"rzDX'W;ǁ̈%^5("[H3;37Sr0k:2_-&o1aT KP7\Y*s@es^\+?=%9[0ɇN fDaxӔ6׍GCjodjv >fUs+ZaN0̾T(r?̵U{FdO+Cŝx RP:oђc"5[$9!_ÂOkkyNr?OKsPzTQ;"v@ig }!PJFlj贓NHm(W(n{rD Bqm E!oz4`eݠUsQUYcg-ȷXs17?Ŏÿ 3z.Fa}9Sm$~6V-Ueb'Q>uPS (ǐDNO@GO>f Gh0RONwZ\%۝5Ѝ-zܝa *EJ!R`UOt=0~/?if$Mf6[oIB뇜j彽TbofRڏ|ў%' % PΟ@(;u >&}8,!]3OrC⍖{z^-Ҋ̖-u&I:y_95G$4(D^+Q8FkoPXN%iO..ޣ\XJџكw1 `=DB1 hU0SȮvQc4ğrnu>0'AKcyn?F1eRMLsl&}D.c.'1^厀c9}A^ҳ"B%QQh'bN ’~jg;_z<~ǡ {nn*8)e&IMA?BaBl9VԏN&,eʜ*L LJ)x,;o}S@Ŭ2Q bWw~#ܲ|+ 1KA _W̯5X\y,ӄ׼kq@Y3pudƗmz2g +M[c0uسhQyvSPe@Bb}i_AϘ)b )bNDjz5՚=Gp%هp*^`ou-ߘ[)<GsJa}GH$ h@DFۉDI|pW`'tU8oZtpDGP+G"4%FI*!Tuh:pJRF86 eIM.֕d>[k_{|H+]9QQ_lYΟt8f_5ƑDflyZo3-a gќL1S#cP%TMo1<9IڋoDCEH# >[ŔQa\ f\ivW4A !zF8 7 5)9;Bd8s/5Gx]\? /QOBUGZ w8SYEV]ugjlϹyC@s}|x…Mj%QoO ~jt _Cڄ|wiH8.WC K3qC0sA'm~ҹ8Ift .ZVv: g8lscC )e2IhVUrlCU7_#gYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!*Xf3r] %HCt 1,_K-cW" ש%c}7퐒I\%"\$XԊMbH8˺qi's EFlhl.PY9=i_E!%F+/>.1]e?(r:1յyU~``[F@)iVykܦ;X_196jKP{:a+ M8dg6TieCITs :jA{1InӈS_p6 g 2mXhAD Tg W0NHzdClU}mQ GgڴN`V2= 5/HR Վ]a ԬqE1`ο@TJC4߂:{\ĹY.ZsZkvc(:7٩/ZO}hlQeSo!7=$0jvv[S)PK RL&/4;[O::V]ߘvv35JuMO(u|Ap hW0B?hXOo2oXM0,@#) W9Z6D4m*J)o=޴ϬG'8qX``a';v'yyp\ y0^\\b6)$tijC@©^D~P.JlWtYN~*,͡b.8imͥ&b(pWwzc0{N#w]k' s`RBXsb3vR%IU{ 2Jⁱg YZ7zXZִF! Z]ŗXi%B͓7*@awUc.`{ˑ*ͰuPy&6Y;`+c+(9j 'o\)A8x;aQ;b%\PSKVwx|C]pbwWQRVZ*`>utx* ?# ġ~vRdqҭ M?rT&*Bv $k"[?ċ:v#MYu-/vx yÂQujEl1oM\Lr-Q,Y}"#l\$ɗ0 XXFV(B.S* \mXT+#Iè!_{ ^ׯ.־b|߬S˿a>A}0{WpiLZz 6"NMHmL/Ksao$ iP(TKu"荽(*Uo,x|WWpz`7Q ;Gg*¢~Y|~oV?k oMXaۆbt~WLk!q5} ;Y|2g{46 D79,fpjeVmہTM BP#RA>32I2M4 P3ʑBF!>ˇHT-=ide6C3\a g4UwOFmfۙs0mRaE\#x¹Cۑ$Aڢ`t ^ S=@J5L0+]o # }ɬ_Ҝ-ñ>\d$~҇b 큯ppTҒzx:X͂jij'@ Yk\wt~~@TӧҬ4_d H-4h> Bt0~^tqDR&Ni s"Ld&ZJ[!8 |oUšl[#W#vC09Eùk,;;p@׋kp݂T941xnD4ܸ;{\Nj ?TP0u/9y:pw3[կ։|U,.͘@TBN;f&TI',]NE6jo$Q#_$pjE#Wg뎥F<K5dm1KoRt12n B0ϸv`Ӆ=pN9AE#O?R|l+Њb \bdL]d^,a% fVsA5 = Nn 7ӶhߎJC\Ea>U!^f&pփk<WY*Uͳ9q0r!Hn婍|AO \m{b8Hxkc<2]%i\6 ϼktGodm]雱EfɖjcbF=^RDzR?KWppdX Z՝/9~@JߪM?0杏^r[}4z*Iu/~hgZc.|8q+ZZCn!Xhe%rX̐m4zβjFkY=;W }_FsF"\*t}=%Șǿ+ ˔1?gZ%e*e4(C U}ށYރ>.zHa^y DlΧpk5GHeFf-3mjGD d__.?2#ǹ3Vr`)D1Ú^SSJ3R'5rS2wcU&3Z8DZً0mH 9xz7{cq%VQ'Lfo >eʃQ-_B@ zZđCv@|;O00En: #f|9 h?yg1q G5|Lyޅ~.͇rFd?nwX`!H%C O# 1<@ƴOb*1) ':ġ%qړ \d66v($ukB6D1oAF~}qz<+Z >a`z y.FtY̴φճ?9 M[,]))j }]8GV w8ArbBз}$c10QH3/Ob ȆlG5p< Dy7ʵ|@st*BO?:n OSj m`@e 'ah%d ::FI*m8sDLsqbJuE ]C^ C\=0@@+c}zձ%}, !OU<\ 5Gf,^FhA X2М+6pڦ7N>̮>%ˣ΋[vRڥ PQ @ GQgYi;~ G3ʽ {tTrsȿA@d[e`.td@!kf&'de (h2Tg3ryPע̱΋}㳉i="q6.Et!GP, 67("v X;ždo т=0;-dzr@NS6C} V.+M)z8VqPW|k̫ wqߺ貀-anR?/;$.Cl7AfJj=C xI]le icjH:=ͤb(E=.jAʲGHRTHqVNC4cKS1 edf vl=XG jE:F3D؀_O6G8ZmWHA{ % 3NhK? -^QP3u~"Ot tҺoЍjp:LeZT@P r3zZnyP"tS OArNsg4qDe7(ne-+ BR ѓA8ܳdU 3{tc[v}M7IVX&/g5}f1Qm &nsڲDM0pA_PwAK]j{L_T˙UhVƭh7Pov u9%>ikh \_(hnG(zP_ܒg%oMsϠ8XG&c)Z%%"k4Yyd 58wkMyLUtְ֯CK*ُW̱ŽymJTevUYI"炦i:>t4D_ 'm=sYjl&9Hzas"‰y{JHDN\A֤ & f{D=H(=v- 6]p, Y#y-z+8k~YSDU(DGLv1S )0=xG誋[ae!W "=cE>dY95};9[wN \jJO{zn?_`?oci%HԎHpY @ۺq}1x1-TefKl8Ef(!ʭ1me.4 ܸe.4ìAeVn^7t(՛ .12`m#{g,B\lIj0@b\^+G*=(%{k'Z³B簘o 2 '(ȷ*5zC@8ui4,D)EY~@TmQh)O6Ӿ Wߑ slW<8U=".y?gNJ¸쩘WK4T=uP.\"'j @5CSl2bFEhCQ~Cw<c#Lyo6"q7%c<@Z;8KQ œzq R[83hHDO(\doC@z9Dȃ7wKӧ%Q#.W"%A  Dh;!'ilb2EGЄ/4đKu#2;/7Y5ptIMGIcXԖӠ~c@E'§^| O;{jPi325'BBU]yBC}JH{-|6Qקn0Ń?`[CF:Ft=]J(3G:ic>_Xi#ݭ !˜npY2}P^3N/ݐ0gɁ'2L 7QM=wRPg9<|\Ն,gRE#Hl j(3Ǘ,,{"h氇&76Aa0{hne Ol❑<-0hsD~u[}ؿ2̨FEݒ+}s NsO{iM_z@.<֗ՊoX'_)zƺ,>c;??aVq2k(q*M6pC>Ak*5uň8gF4ZɴP̝4͓N5LW(kcB.Wi8{!Љ#N "Yyk σss+:{~hXncwŽK4;C&DH@q{ !t{ }|IR j koD'yf])Lz+a42Zbrr(A̺E] Ֆ@UdN4'ѓu )acќBuCc^ݨ+IX@W|8n"mz7TO+k+#!WUTbd\18g^wf۪҉MPgKGÙ D,+O:?zLƿUyX2Iqmr`"m0oq&1Y:@fش$5 㔛`71۫ǖwC3eOY^MٽKYˑݕ)AWvt*V3 " +icdE^wr&{|w"u)ipQCL V?TH5T]PmD0@{پ|QR>[UC!b2r]jLR0nV2qQCO}? tɂgِUFMu59wA %yrK0T5D \ ɊΙ]9{o[F0+{ B3c쭕9;$\:&/xSrƅq9 T)~mףGeo`"2;Ԅ^XݐCYL19OJK vyQ+i28Vt#yf>w 񏄛&{4 Ƭ>+S5šԑm 6 !N\ߎ.e,!@֥Sxy~S2lduWx+Lx?iӻ}Ixγ=-gr RȷhrU;Vmt)\ՀLJ83ۺW!R@暸1Hlϋ8]V5Y29'_{sX۟`w:>ڝIZ?0YӖgon#:U x$֛ȼ(#20"iEj dņET m_J2FF5{G)m蘬&D"&^_{`'!ceO$0ma0q:75 spw.i 8μI^{:]~Eŵ7R7 V-U?c3-y-wgpk)G=%?ww;消V,ŶEC=N3k$"~ YB8 x+cnX۷,ya R tU &R]ZPϏL@O!ݝJ'paTS#AyZ;i[I"<@aKA;E}JEIX\0*;,jg2,Mմ}Qq`S*FZ-zE{08j>3,c9UTwHMYAysTx}?&Jps}jPK;q?kҥߤּ_T3R3 }F̳kw?U\.pIw:r$?ڠ$^i̒O^$e=Xm{hCHQ٨ҳ\2ecBolqu<{Q)]x:v| l)xbވ?oZ\5hXaê@k-\92|w]ą7E!}.G*H&K+#}zϬSMN"M]PsKåG|>Et7)SF>/IQ$.:W`V ^N,^oI)7unvQ1-oAxo]4qGGGOؐ]Zψm;fzrҐw1lmHQ3/k'3p])?G#a՞CE Ͱ56ia>ؒT3- ŝ˧;N((迴4A$ƈ 1 o?n bq~{65a:~sX\m hW IAE 3C$hS|/v|U;u"h8tn=(`w6 rX‚śp9 n)q&]Fզ6ڙ[lɫ_mGظZ'$C>3<e 1=j;0ja) 7fɳ B}m~7|ү( 6j'r$ֶZWz2Ǣa/3kx뽈 !<ҋLL7Ex YOF}R]%fj][)x+h)qI4 k|⍎(S}5J77h )*S*-gz> \ b%سTeDQ+G@RF]TP3|!AhME/i*_ЕiC~D} k^U~\\FWkr]UG 3\w>aXXM:'4KE3i,.IBZ.E^^` pOe &Bg _L%Jhe{M+BABeVyks._aq蟗S+BhEkrO9YY`@s~_tp*ߔTn͞wu9~$Ć/y紀;{!]T[Ĝ:lTe՛Pb͋p*×2/=`?y\A;p9GQN͟ ܶks`ty5XJVhlD&>TIK)yNp/K[$/t <% 3/vm֠&gv(OD1tDʆW^Bךcc2޸čY#g#Ƌ@=F@r_7_ O2~,&áe^>LE{Q=&֕UҴM:H BQWlN|'":;{M7L#InVNoL +9svȾ=[8g@vrvjq ]Tܲ$2{ Qy<؝轔DI*m6L5|'ݶ(26[׃ 8)䇁C'0'l"͇whŪ- CY67"'FPldYDǴ#&ہ<?ȎHz8@Z"kpqzޫ6 ¼*Ox1Y=t@ۿM3R5XD|LZ_F4Ac=m="Wf=oT.jGeA>7 !^5npO/FKOX\w6үJaId5ĶdE!#.ϖTpy3w?wD [) ÅHcoxZMViQgG] ZcI>@hwLNq30ۜz锍xgYlV UD>Gƙv~Թ6:ֺ'ms8LÀ%)bo9 ثEMXbFi5+tFv/q;(KNxJ4Ɉ|IYS&~x:=,G_Wp49 XnyA_bk D?DtY!^ie];3hk$ <+rT⴯,5i >TQ\zy"MKA=b7U ;}Ay-Aכ (Gb N.̈?'جI-,JHhrd="SJ!i`VϾ,gxM5fW-4_q)x.[1$=x@82/[hM .1~4lJl,c&)c]8@ |˹}Ҽ-C60W ŋKx33T1P{[F^ZՎemCUU\tN/0 ψF)hsP'x`*TNXmN>(68 eRk` E;0Z,tb(j|Ŷ˟tpWD0hF ͝CzcSSz(`ՁmV.գ)592ץkꫀ$ƘQ:[LT߰ߋ] #FѮ]]6Qә :dj0a88~-ֶPinW-Ʈl4pa?jZ)L|.yU^B") چTsC1|5ړѝWq'\1OReXy9-F?TqgZP*vAbao9c= ԹȄ=rW@ؓ*@8HƖabGHTqp+Xfq844h CY N@u͗ %A8q=Y)BIRDЛѕ=u[-T/ʗ WA6#!'gb[kI 0@LS.^_6e Mi]_| 3Ȧj`#:TUї>hI)[ߕ'hlg'c 2vK61E*x=-\FtBuޜu ͼs>Og> B:r.+uB2&P8W3sx|},`Fb T_@{1h&`̽2sTN&,c,A [EF5'obYۙ}R|hU/OI \ TbѦxVXs}7k*fH_zCv_I_[XeٸA:l0&Oe2en؛q'oQQ:e?'i2@x97Atȴ<9#Cn{ZVsLpꐦ ,Jbӏ2eф^sYp= 0pn0Ć5K\ N6F'#rDeC3>@{=OR`Iv6'JEE*^j9`tbwOsoQڂ!W)j{4rYZ$wW{Bu:] XuV{].|{ 1rnh-)ٖaƈ/R.5q&W }"Ŝ=:I\8:tz7.ԑ=/b0(/6۸NwgL^H\uQ% ' r?>BWӑ`GA#j;Y iKZ8-!2jىueKa-1p&nN*Z.tXXϺdZ]-ԡiyMN)kcj ePX~Ecg@+-^œmGh)kY|* F@_,`oℹA= #FA>/ܥ;8RDvGXyw-^)vm`Vy׳Ph1ML'P9MmlerlowZ]vaj!k+Xl$ !(E҃G_kR;,ͲRJʻA$PIPm.1T'0th8MkH"E2Zyy 0!klgE?"'_MrWcѓ`Y5lɾG-yȪQnRu,.#RG\ 7$>Sh!Ju10. _+ILP3r^KG䬟V~e5Mnb.(^V@t ڢcqIcc =:Hl w rdb9qefY.T;fR)HYRCkn}bhܨ-^@]qZQn>{Een<9$yj)amd3[RbcOzD2DNS#QE{taj %Wy|fW6_:Rzwcj%W+Zr XpdAg7#T3VԴ<9oI} ܒYiX֋z0'Q鿋kQ%yz1.^dEfPoyGJ3r..(MPuh Pp4,5dR(cXhVԴ.9c70)IEg@H a5g$⋒X{^ls}07fȃ9o+mi>^ǹ`3A;JnE0YW=6$斠G-R'aA"LyR*3=9HL23?CZ 8}K!U烕Λ-m+(pj]ZhM{"j+ ĝ*'=X1tYB#lh'V9l4c^ٵmugJ<-vM&Wt;1G/hi s!`pޙDBe7elB*K ^mFkҼZoYT̃Akˉgd~}8t0Juu&Q,7:^i'\>wz?NQp:Z:h4Fu#܊r M?S(}q ;P'cl:ˆC']wN: N\1F+L6RB[@UzPU$$3޷9ٵPqyF]P(k L?oT7iܯq&}- >0Aڱ&9p)Ќܑ+?,Fo j6[s"L\Į0㓁o_[l)ĥ'E7,fSdnF#y.cSf (Cƹ*M`dVͯkJH蝨ͭ|^ ,(:.0ܰ7q?h8D`-Ru I6TƕkސhglKu"i@q̨H;kw"\yFPtV Y'.& o - 5-(qVy\]E0E&Kcvp}Ѥ @_e~ɢo}8y; Ud#$K͗yElZjZ nU:K%Q뷺]aw.l1wP'ziX7_`_8]FFgY#؟7I0Tхz.gCs`! ̚4V=f_Mx؂KGL^kۆ?<%!vM$#mY0ڂG!U2k0 6Wsv F hI-iJۯH!@ s&9v*ť'EOι]LM #`~rG΁b`g cI+ƆQ 7Co;qV!K>򻤾 9CڜDuGf0凮b..i ڢwN: `B/UaFvR-{?³̯Γd<ض1hqLГL]t:׉m`yX_14k1;Z+ToZ:e%rH5EH!9"$%+óBE | {TLSgbNӅ@oʨ{+7V S$P P 4}A,lX.e[LZ*~{ ثQd+>`5֦F?N ټIֱ~[g U|k䴒w>XLfS^]AL/c NYk+hYM/$s6Z8y'A-8̐ QYrbIx^zf䐠EȝTe܍0Q{ #l7CZI?-ɷˠqCr$ŪbTM / nUAWZgk*LkVlåE36s蠹LJa@ǁ3$=\C<5KXZF 􍷌'qNe7ڂ঺AY707a"9yab,%}QٟVV6E]Jvw3wfmT#Ց3mFӨ9I;kZ奻A%#+e- R0hi%̋FRω*ǰ=1H4GL'96h]EWѦ"/4 /c} p]*GG%3\GT#*ԄqguRK}f2@o _a%jOJa`_fvt>rX[i;8)@z9룺Dt!Un-b7+ ٺ`#;My⚥I͖Л%P&)u5F!Gd>js3ERW&Y"(ƪS>A`J[h=![^l@ICG(`&x( ~ eȑecp:1G+"s6cֶuD=FցL*E B6}/v@Oe1l-_2fpć-ܚ"N/zݻ-Vԫ呴ntd6($h/E,q0)"gK#Q-tkڽy5*9΀.[i&1%Opyln< Kh#އOtug_@(_ۇ #;ҵ06kT)F)f&ԩ🗚O14,, {UEʱ-PV Yu!Y9+QcϞ ;A\%o{TX&),%FiT!G>2&hqm؇{S,WF)úJd)nuH1k1;vwGp,J遟 -" ~R0AU $&dvLzL5mqq[EO _DLݿ,1jo'i'B˝=fd ,oXH@y&"+.ڝ}mϐw0ԻEkK~_.#U l"dgj_$4jX)M({ZQozWeVAW9bs]Gq <.`  EW6|*E\:[]wHjY3p Qʸ#AݔB *js ?nƛ}&W/S_Xwr1B fndxDt g,o>Fq ;i<:2͇c0lEod)&[cRXU6!b*$Z9"!CG؁E'[f*:t.52vK**}|p H[N:n0jFq M8y\ (pbM)U-}#[AKY}z\mxq IjK2 /$36~ v%͝DGQJ^X6RWá`L 8UJDߦ&X ׃L 1V*.lL+'I"_^x %)3w9I2Sg\]g;G، D jV>[M#%1ĭ%[UzZj#M=8GtL??Hyc kGfqJ)R_Reo\n/т╼0ЧݱGf5^Ԫ%MI:NUR|~*.(6G4qU{ $C1t@%<5*Jq>֖XtI^C5\ j`-.DMf[EF` `oϣ2:tK:ng=UӖd~9(BpƦ[2z NRW=r>%*9g8دtžԺJ X`Ef_JYOAB2Cmd7/W!Drd\@ ( 8S8ާbX !igp8bץ i#w!$PY芰oM [A'1&^ذf#"I\{Aqqn3>~4MIW$m է{fa33^|DO6'kuCqgӿ`t-YN>Sj@v)p.-^lbXS~ j舍mQ%|LpNыtnuoO҇+`idW0:xE( ߾`gZ|9DdMKIP}H?:w~`a0tGzxUndNDC 4fi0*"YM[Ev,T|`ؘE[4bm=~T6ڋ.my1WB2GDv[0|PrA"j;ARTJV T4|m㟇 :U1Ы<ԛZ:5Q&嶮-;[0G͈|EHb(^I1#㯳?F/n( c tRH(!tOWh8&7.0o!fUK@Csfnd:?2ݯvhhhE9*S:%'Ӂϧ?L(?M䨫Yٯ}DJBs9:>/2v(r )&z-y/CVcnA JAS3gd<JL[ԸK)l$M3d zE9upXJlhqٓ6Bx#)i!ݦHvG2o?~gc".uicv]!Z(oN;1jj3^u\I,aKu3S {c \ "r\`asRF~H'2CqM]/\Bc54?Qsku{Sp 8uZ 4`@Qwl 2U$ B/4^,Y/!#E8=Ɖ=DC퓇fARPҟ֬rv5)Bˑ7/Tr٬EBV4Τd:`lֵǨr!օOjp4YFw\yD 6ʌ&jq`d#N~]q.yf8ȯ~|ʑ@:"# !_Dσ:[!2aC=QU6?=GDJRKvxƹK|wWQR βgKeTu>ırm aO˧wRr} 75 2N;j)GZ$m2GE1]k5}OY=d 5s Whz|f@e)I|*:pgK`dI[jὫTmdJtwOj>T471^]3p,r`C@:dް_1NT4jxA U2s'RktXcK0-mf=5ҨMF!#-.O1VS fҼdm6\kzl9`c"vF whdqx$NXx6!uޤRi?O9SN6ݖfkL;o!V )3EM+?g=bRLj@[ B#*-KkgެtXO3',؝;+ M<ogPO1pޚ#O?_~r}C:j ;Cg:%d 앑|rIz9%İ }? Rl3׎T'GF󝠭2Wg̎T;binj$iMh^I"uZ%.LH". eUPS}28|BmUfRFi4sFqUjL3'6WMD^dI9B!5/PYʕ fF/ΆE7j?=׳7H32"|(Hd@ffdˤNLTilhij)l;~Y\6|gҽUm'd^!NYE ^d&ܔ ky*՘uM瀎:fӒ;0C0WvXc-D˫%]0vyY,@j 2'-[Ip`d%ctJI&l8xat~8) u%zSoM*pǡVZհ|ΎjViړqhp(+(X/{ Mѓq:+2 3KPt$$s9v$ LH(~.X&?'M ytL "ŭ[)ƌ.$U _ՖLZW"z:RÖ/FU;=՘@2PY$70lB=mߌ[=QTnPAX 2Q`Ej21l_l1%>TD"yB9)" @o,Q/²:"E90 Jw w(Y&xj,se uf3b/1Xb ;Z8`$sw-%U4u-Rn;xw\ ۞HOl& @YooYԘ3 6SL)ԿAvN~s#2U:9;6 f>S|.]+ԥvxN'V& ᾧZ'hyTf~`%F7]d% a=Fة\Ϲ\J%zx(we=߃(=+z2/ZBB)=Vm!7@.}8k `mQ&ռ ;V(a3 ?+ G qێƫzΛZ.&[jmgA#Ֆ$ժd`z0\rpocXoi(""qNq7[ vq.t8?qB-˘%9PMoͱ7aXf̤d?A6x_b zR .Gx)\04B,G`M?cQtghf4|8ꎴ <c@ OqC7/$r2խRH(bH<b4 ?kJ4t Fh]+o_.D =:bIdM3|Eck$l`KѨanBAEʒc&`y<&\S=m*iKe^o{ntV9nIdp5i[F@C:$`JĄW$is6j!{myڢe7, ҄ qih3aAi3YϸTm^Xh˜nP7|'yqڼ]l{?(z3bM杳#}ss N,hY3tp)H!xMHd-'q ~`luV|܈^3 U9?$4w 33w:-"v}Ӛ}aeӫյ.^Tb 3ii>NptFn)s?,s pl̖{uO>w@4{_fR yY} L i@ˡz4~P?%Ch}7ꃯ/:E{1ݘFɨu4ĖV 3IKO\Y=Q(46oO` m V`Cjpmi)Ѹg)}W{ {5A?S$]+ </U:(]657@x>h{$t՚e^L&8?mz/cӚXѐ,VdVS ѷUC(!KLsg%5txدk'Mܓsܴg9yQ~GYӏu]BUVirP@\O+U5ͬ)Pi}//<973(`uȃPPN;/8%s9,F|lQ':"_TʨwWҸ!Ch2w1/Z,1֝ No"aX*_ё?%:R-FHcv!-m" [~yX~-A4x T`M։ OM=Q=OO%(O`E4((%hJqp_A5j=5KA>|p商jӶ7ڸBA\iE*kGs$s!| 2(IHѣw|b2)ZDc{GQLId#E4)`w\tIyD{ =Lauy%CNwJ+OI^-VLO@tl%$&G[8q_ +mW#9[ՆMF i'{x'\B\DuG ~$^@{ :rer@r]B3XcCW~9g_׷g–QJ:?Sz(҄eN4~'wm~]Uy$ zI[;ns!MA3֭~T$W9Zy\0 EI&x ;Mi+WOw;3}5JZn.CUti/0 ZWmCq[ "ګN)&X- ǍJP؞nʢd)1< DVx`2?OSVEʳ1\:5 z !s$(["].%Tcb zr;G@ _FZ;$MJS+KMxНS3N֕Kgh[j2KJ3[l}%0[ /,'#3k)*EH&k2c3`]3%DBQ yoyؼ%ϑAmDJAhGyBl< YAm"ǃJ( MQ`:W2=UG~%ן_d;,6x>B7@ύ`(yFPUpjK8jmUICitoįMrқQ~ Il]ӀE^܂̌)xCL\LzS&3KH %x̪-8 1n5 <0f;bN+#):bh \RFv)RW R="0W?&8B濼eYɐ47 (ZJԑ1s(2TX`N)cO7!'V"Mѵ"vK^@YU Q8^x&_QS|9sZBۅCm*'NGTYKp_eWg<)vf[&A.?CWoZtc4D.S_Ibm%[h?u8kI(-xlG>?vRV b6Y@0":Eg{Fq[pFB)auO$ `׀l!.}]9EYB} ̻ qc|&\Kl@hOoh3Z@_b)\+{:Ă}.oq M|E޵50M:`ܽ V9f4@BBD2*\Ȅ`\:rK[ @{M}q:TdPL r Eyeld9R 0;vWDovSbB%+HU08,n;9w$8iVryL0s)杣8AK fȠ7-:>5EXyFYRYIĢ $ C7'dt V(W?@=͡:]33 Iܶq =3ZpsyFSUNZpܷ dlA-g=Ǹ\i~ 3obuL%|f&C;Hjx6Zdfp5Wz5U@(*ʙb |IK"ނrN$3/m3>3x%՘ yޒr73o3U xH+X'=!wiZoUt%48~LRU5~<{` e8v3^\zR1g B!󔀚;N]ʋU||1%`%Iw-HHxH rjr]m}RnZ)~bg:ԉ_z2GU: s9 |Pl)5Qԇ|QpEQbfs&?%\ptljGx =ܯ0Xvo3cX};J8 y]÷ 1[`Z&km@8IW0/4.. 0~6o/n_ÿʍ2{gqfCUt9=9x kUd_2vIɾ`X }AUxX0>yJ%lGSUB'!@AS+!R~5SU6ڏ :ra)j>shw'=!f3cC@Cf5sKtBC2}.g!JZ*#a;kVR9 .bvS$ BRF!7邋A{hl\QivyB`lj1qRUkpd4f;+ sI_cUw @ keF{/m!OpRZzHbOҳNV'X90a:N~>Vcp)sۂ+9; *O><_^$LnI!l#QVN(斘xɝf6L rB@ VxƄh<7a&p!_rgrTU1Nܡ&:q\J&hp dCЁy)γ/ŸR>#*,{#M ^5Syr m{ k wM=Q(zggm;S=zSD~(r`f- 9/= l\LFKv >/|ǒAUZTR.=i"7~1N-g`؇̼ Z_B8yCb-( -^"eX:XK !^o@-~{¢O" e τ2yID+l$^Iw-jV-1V/B rb{q̆{HI+"1}qX|"+޵z&rm tzʆҐg%#mlòߪP,ң["Pf!k+C$/%~mLn+BNr))^w aA{cRՠX# 9෸F: 7grqE'S:_݇cq=(.^w vDY#KSe5#^.W^NZYdH"|Juli6 NP= QysA?& c aazdt41dj{Dj!/f] O@=߈,XѠe=%#i#1j4ZL]? 2 4[|$ Dx7y+QҒ$:"-X`C,r8F"x"RO@] URЯ*hn*LqJ3FZJ#Ju ~}: /l6Cۘ@YjV$+ -e~<kŽDNGC@qzgCxv*=? RUBBOѼ tMCz=xgFZvG:.w Od1["%9 P>#] 16xOVNIF_ؼoNy!&#a -#1"=&C2ܘh:m?#oevA_ 7Rc![dnBv cA[YR+9n<ڝ G T#=WƋRˣpwZSU}?cRR+AuGΩ^Y7:Ex2| 6N73%qUu繅o9輘6I)I&yXwwpd(GIJ-,}10?qHn^ 2æe"E‹d+X#0@ٿ%!X"##yXx k]Ԧw7y1Wj|j?ZW[IJtS6u 7m#Jhw5fLF/Swl_vPh0Vj4?&Mfz5,2qj'<oöʃ&s4_Bpk*Jfh#bU߁+EP-,Nd"$I}?x?͂sdiDC;-, >2Y)S T\ܠa8b \yF1Ipݗ3s,98K*#{|߸A\9689bYEChdʴNP۲N`l+%w(l,y@mQvGw¾`p$Nh͔b3 h'3Ar=c}&\"WBzvCfEzW9M>,' ( HZ? a@_$m[=Uq 3768XIRxJ`tAdSW6u"\6':Nz43(q\sjD)#UhAQyD&ĐGS dj{/¾2],mu L5ηk$vn7DT^4xU*]FVt& &䀯A҃Ϯ3w-P³#bO .h[>=l;O{nkAT_IzgP?CK{9۷!/y.NAbEkm789ݧ{#: 6 Eѱ_ y-N=ʨ[)\胡)?(ڠ"xY)GpiaOV^7Lo]8Iȷ>jmѱ3=Q ia*> =ENB^/|XU&|s~'%S ]^H^O͐WYh7LoBBqfLk0kC"KhCd8R&>'sFJ9r~&nqu^J217h >Dtr"ȍrndK:Kpږ{6}I6ÔeǏT1xWeEEPC,5|߯Tk *eK(0AprL^a2mUVA"k2Gw@5e ju_{:kK؊ļvvY\̄ usxm]G@3դB^E)1x$dM化fg[ny'KzrâM  gw R̨{ޒLU ;վs@^Vn\E񴧶 Fi+'q홛%En05k 8Uɶ^e"o|譐iț}<28Ea؋}(|K4'7~fTpX~(V_c:Xڇ{3o y`} GCt@{x3cwCd.I]9E9D e$Q6&N`rny$askkb#|P7O1VqF.U&Δ.&oQ DCp k.D1vơ;{I·uV[]T' pN#z<~sQL Bwi ;Ne z7®PFKRXX͸Ou5NC߶y;*Z:c% g{w.&P#)Jll_̄\TИ(dgNHNohοTI_!4n\ D_о%|رI|+mV39Sޟ$҇CGPv֓boe6zvd%$Gߑ֤u'Tj)N>& ^:B[%d%GLo̩O %E]X2XEY%9R3Tdٷ5ɦ}@/܈"AgkO -o?{wT!cIՕU[*d25]Ra(D@}X*O$v+2{Ć'v 35ǭxTqX-T$ SuIWJ^阓ÝȈTAw]}kTtV9cOq=Cr @ fu`JkxӬ#lec24+r@ȍAtd齐Sx=9/aw®BR3l<'М%+xϮ zq}:gϪs_qST_:pW(l|" ?HMcA%nݟ=U5ABQdf9EE}ڨZB*@FQ j˫Uy3&֩ozgQb{Z!Ё:m^ܨ8Ukx2ގQ4 +-fj*Ϥѥ(/L& G'a9A΄,UZkJwЯܺ'/6i@dRiDП l ƴs78e{G] E+^[:P%Jc+n <)蕕S 'taG;yO֋[Er'17ݟ*eZK,*d+Z8 #8X(N? /JvT`X!!bcxkhmBW_^@8HWu~>9Rgk@j9IRbY8wѶB) Rj֭%Iλ5NS2$:L<| 9׵GfŪ(ZI#n:Iz|Rh w'ZSV3󒸣9RnI 0 y׶_d_10Ie"2ph9wc ca"F$IE5h_Riݚ۶ᥜc=%(LmMMt2Ub0Mu&QޙpR;ޏt27a:wY)l{nI:+P* NEEýhTBuOh!|b 17,V3W%*s2JhoD,bKX"F۬jxod vkk|lļMwx>mohH<'Cv#WnU~S-(ٚOXi<wTj2n*zX)2ga< 7^ک DY@ݸ3dtE] Mǣ B8PiK7w#/eRl!t|#^vW#,ucz4dA~[8n7<ͼcäl.w)/}pͳZ-_"xO{SsRP;$Y8`} ꬨ }wPӌշ3?IqkDfU m_}ԵhT{89`Re h&D׹xzT *r;u1Qڜ],ZoOKT @OCVKLxaZȴj{-)O3{_X& !aLP ZTҲ9$MiB S안 &{Yksksg+J5[_ $KNJ zCf7v1PN4SX^ӯ4D=oEI 2g/Ic}H=VK gM2r믤Z6+Q L{ ||cH tRGh"m:\sW#OPf1j˲$-7+TA 3ts9q d9:6G1\( c={鵗qԘbeEN>[k+ܬ1>Z t/;SĽb ?RI2`_(*t)vp;ei*¯$+`1YM {K=&2?a@-o7IjC5X\Nj>B;@jqANm`'Q3Kar?͎‰+p.1q ] bYkeURk4 pc?ae,jiEtHCY:z\S,76s853er\ۯou_2k:5 .0[\$#,P핉8.<ܞfN. U{5hޘm*8L\پL 7.|PjcHsfߩBXdi\<qQWIХ@J z* !ń qx';{G$,s޻k$ah-UV+Pqzl@y;y}ddr j?G5apM1 V։ |_sʗӄsP/Z G$G1w*-P,85x8/ȘsL1=qg&E+KEhlt>/߆V@ʒ+(]9{̋~wsrZ¿=/ j\5#8#H "_#g624gq䭱UBё~EQ'k ,sB`d !R L<{;#HRYeLgwH&|3Ό2j@n-@_5٭[CqPۂsώ7E[ 6:YU =B,!Zs/|z.L̽0)]z }ӤkymF mQ\Ȭs{$Ό1qIS1JqB~p[†" axb8knRR^HM&b1%;;Lmĩ=6Uu܀m%Z`(/2 BbpzڛjqI+~ ^9<ʼȣO}%JMTqCz _EលE6A GpAwBIGī[\-=?ʿ>of@Oٔ{Jfڦ2a!d`FDiP>h cMЩFwӓ~^:OVI+|>Eטilc ס*>U|!R0~tng#3¼uDvD;>?U`G~)L}Ű΄HTѡ/f炸yهWArT4x # .PnSG" řd [se7<9}R5SA46c]}:1Bi't\ ͈>.a}-$76`p`?P_ۃ\Uw,!&x: hS4_7-(3t#װ K=gb,S-PXcL^?/OC*(UxjYT( y8DsKm|HAvfsG9H?#pTUpl4I| c>F\.y/k. jܩ4NJ}]UMصZZJbI7i:dx'wc}^3~ ;5\g+u.P._ҹ|*TR C8@PsqT54qAfM# <&*׳N)ʼnEtb˵:Ӷ*TsL߈ ˶ɐn{s&#q𥍿* Am^w68>ekrL:{v]rBpaI17E L~4.2ʩ*<"ԆkNǃn3ɋc 2?,\ $ҩhkz ICb,1gx f_29!.k Zޘt+3rIrP&9pYUY5 F * KWy'h^ 2t6j5 eٻ(S) aAϸǣmn1 ɸHSر]K-H1J XhYbA kS3 rK :,HREICzۣ\˨gř?O0?Qa \o34&ES0CKn=iVW?z<`nM)0yNYV̱ cүmxe: )K촬d4MՔ[CUލє o,_do 7=Q=Jxҩ @} ,LΜfP{? ROv;<Ӹ:s•WKú 9U: 2P^r1rw [R͘}5*?bo*Zwܙ=BbG;IpW][KTo΀ƩcUJ$ B,n.Λ}<8G7PmY?fRG4+=0k-Μ%+JZ]1;#/3N8;z+NW5r wt7Ap?j$E!͈X$:8_u:oĎ 2Sӎf̮+Gȹu`D!2L~!r*RUgآ8Tγ%-D')_wR낁m¼9QXQ=X@j?DI 85LP WB9qM_Sꐋ;QnFT!az >^+eu2VgY9,d5=W~GA| yBۆUc4jzA)p"L4L+75y+so^vzcW1ȎjffWM΋-pbm}`r_O!̐3GӁ/D f;]nlzɣ7Ó)\ntT29AP|k;u\7FUVqI^ # XOϥmhC$=z%='xEŚMRHyJ`a˻U9zE`=ΌV}Ы~>eMqaL ybIb~JQޢW 4\Hsz~kw$"cOW,F110_/]xaHpO,PH6ںW4FˬQˢl~˹|*Ng?H&b⋊C4 enHujVBD')۾L:jUH_e (bs^<خ_Ѯlj#$b֬ 9*9F0dX\EeiVwosa?_хb&Ƭ/̌#ϔm OmH;v.CUòoBA#kP@=RGFJ9B3WNBɡ[xzĹ^CIC_%C&X Ҷx8y${닮OmHu0 > Y(83cűh1"}Oaz2o声zIg׿,@?{r-DP{fL!)MCo_m&I U ?{g \fj{h+^rߥjt܉/~>8ڞѺ3n"QtVISh(,@;8ɝ,DnŞyfFѪCR^P/0]5Xazr )*2v7c&^`Ī&Vg;Bj#Á~CͪdW]m`_ Js‰~wcqY^&pJy\by]}4P h:e+atCd=_AKɈ' V>?{lFr西} 6$3~ڻ@/;T{=@陑iLQ'JTsq&af!!d6ĩ RD3(LbqSvfm-My=>2̬? Xby+0}nKP2Qb ј=rJ-}Hfht /U&NX&P 9Ƭ ΢9F6C#Tvac,23U{Md]q_D.&I"2 (u ^Sr%*TTs*?qiO%퇦kaYY'NezN"Jq}pe!wqA&uP{~Y 3I2 ;%F$7|R#+Cec8U e`|)'6'4!Ìz,Kluy2 _MX!GF{Cx +o%eȧYeQM[̋RX:Id;]Yc(ٌEӄO(rG]Ptl[8zR,Hlk|qcTD'KwFErAaŃ:b@x~gSõox^xJT>e߿{C:2S{sm'*w<+5aR½ثy/ſ9{AuTNw_a;a8ʿ>02E`}l'󉞧Y=ho|wƶ `,ma8T_aJo`ٚhQp@B.yJ^]!oӛUؖ>eLRT$n}z