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 !D$ ]]]HOL-Proofs:threads=6elapsed=549.160cpu=1314.592gc=125.032factor=2.397zXZִF! ߏ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǣ`1@q. K "1\3 *@ějFEӄa a`Y`]bvSNsg6:Clzc+E[JǦՍG:Ŵai0G:p: 'l]9PH==LC,?O(h>JEOUd4.>Q Qj)Vڏ`BXᱴbSMt(XB@gζޓ7-9)lfT|+~])O}c̔1+"$ QEYEgȺaiRk$NfSI}؉ 3)3ͦm_Dž֓$E+ n9H %4/;߳Aqs*zLltu/# m^*x?Wދ 22α9-{(/}yCEvq3S5P<&H2z]:xh`cl;nȹP~_럯|Oy*0_uxDXWwxx0+#s%-ƃsVm!,^[s̤Uϟ3d!r<ޢRzЛit-S9X/Fޤk}W8\U*4)uFӁfQRrJwH#&.*DHHh:2Sy{gDϛ 2di悤:ʼn}E 2URg5 ynB^3umGDՔ#j[- *z^VXE [yy'NEɐM`xe-6ѶavMQT\wqE>' 0{v3l*۩ ]U(>ae:.%n9)=h )8&]SFj&6mҸ$R ~8)מCzpG;vC{O?9;2& s-`m}ϥT  K^.'tb[`ZCpAKTpjg]{pl*Q^Fo#i렣t21hsʊ*RK 6+xt3b3AYܩ %fToQL_8ӖRK`U|4tbKMOME_R,;/]B~B+>lf\9T#J 3(b\~ث;A++.߃ }ukc/q3H(EBH!OLo^Y0k ֵn-HW]rMc6,@{Cǘl?Lܦ4w<bO3V֦H#l`DDxQ:ˢ_ݙ@Y+Wؑ5Щ\M F{NJ1tp`ibȾ!bke:?@Mv m`;r+1(]bԊ Js V A%c Ch<] )BqpH LDJiĴ~pV-+%k5jS|+2AGe/.&m0_p7&O}>1)-f}O_y6ק^o郓jbZh. |%~ȴ`XW?uUZO7&C۾>,%MsO8oC|v D5^d;#  ! HOL-Proofs   :E#{}0:qV'{*6Fib“Iiejli& sv-WfCF%ɩREM@SU'G IґQMb yJ<y΀lAퟦ~Þ YoAUM0nZwGpFlWAIqM86ӏs8lqԮ;,hD</9p#d#-f_~״+u1>i\Xu'*p^Pt,e>t/ }'BI<<Džr\DoXt$ 'ɹu9Ẏ MX19?NWv&Q\N0m~K ,%Y4<F.5Q\#%;.wK{TW'* `C8+:Ftxto̢]0cFܦ`_UB39v}ީy9%TY w0ޜ0g#pelV5M!h6Ł!viN9׌wb$˜M\K7R7ROmW=UT/0Zߝ4*0Z0G+S=Dy9:]QwtRC)搫ΎvNBgܮѓk{F`T5]|iQ+7B7ZK"-{k8d:kE3Rh VP&NC>m,Ű6vrjHgKkO!g$U¬׻ԋaq Z?_謤' nrBLǂ;G7E'vpރZ0?4Pr:RpVBxu@,U\yijRVL74B*(R.ti?j8sD[b0q-!:ě/`3l?v=l.]3 4;hXBlҪ$4qKpa8]4Σ8$U'Y,-Gn>f A]r:yGi5H%h\H$+9Hv:,$ڰF;ǡ¨}8Aһ&2ze$f2KŠ ڲɵ8%>[' mV;c&]GY&_}^ L[R 663*-9ZoAQWȽqa2Du}yɺHR惘Q峠_A vNP[1~$sI>7lf/p&up/_IvWoSp^r_pb?0[;FvZqTY"Х/O -n2UCl]P53 b;g!k&~Ié7w@Ed0g0QV+Kċ"M>,_8߲j*&:RGd}1n"Ѥ#zEJjvp pyXSPPT;=_:C5 NZ<F4|)Nzvz8ݨk ET`0\#CY+'rA *3|쀝/ N&R;N2QwPAfV=* w'IJ0`Hi"* ߿5TԾ#vr'w5yQClS9c.PƔλmʣl0*'H 4\@Zq$\]g챱(M'.Kl[C91d~V٫Ԅbfٜ[^w\~`tWNW&'.NBhHVKS0cj]6igTHW?l6 ~;ns[9N P//n@Эߋq#3v6wPWXЁ9 Mn~F|^\ڊW:k>C~Z[F'QaeˏgX+ˮR$jq] u]bkF/Wޱ.˃r" b9kP]dp4k{I]=Gx!)ɂ~/iv '7o)]VRqGTUD`k-ҧUS}J[ u#䩗: [G5V2$g( {ڿpT=)PwL+_P8wCA[?7P%GCؔ4hX..:ms]@Go,PZ)G+;$wH4@ `Rr&-frt$`k׹‚MF !O)'Qrt3)@NFHMRK,sUД^k-p.G -gmeD֠i{H 0®r* 7 [Dܷ ,@>_fxN]0pƪX& F 3DC:u@N~P_5OE=EN< 6ݛ]Yޗ_W" RaLlg@ ܌>G-nJ槤f|眬((|i3ao:M{W9KWhWk`morFRI{O2Y]pGEyzc/]FMٽ9 ($-ru@CϜ3(E)$9?&Rg4%qԖyjRj #_h,lY\K6+l6[(xaŅS,w* >@mFv^a;k?vY7o&~ nSr:0 &YS͕GD+B(Fы„ح̎wRZO( y݄J',iS\rK-9SE6+88srT?8c_);$ܬ2'Ⓦx`N K11g|MgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!*XfqES&Gy1&=+I1 _XVࢎ$3ܧNT7̱VU,j.(mh,J*^jBLNv 7uC!o*mA [vϸKD $v1c\%4 e#PyFzw_e@#'$} :宵HvQFXtBHa0 X祡L4F>w8̺Otҳ{>+3ﶡU( dz9tX,)p[|mn@'1\!i[`]Ė=-<|R$qukF{=\m6xGB'34'J} NL+o%t)qk:(N=G\.}Ho&A|xC(Q^;D/cf ?]mvH.Őuz:%d2˪S8Eh̪ts~s9ؿ$|kKpx(3'.ĤsB ਩D7Yg߉`3b3Aˁ6 J7H=F@XB3;Vmy!l_%^<u Hk };Y Yr~bmL0lF .>i>'~<[6n'kWi&Af(#9Zo{HJ`Hhu\Ktif tըHY|P,.zB>Q /'(*\1X~%( _wZF/tS$lQڻuiީk-R'#wc| EEACedpvZJ.#a2>KЙ{@fO&ˣ= x$DܖvXKq"beU-"2 He -JS>xtA?[O\;59׶Ep>e3Hg626tMB& xLVQK GZ>>"]t<50I Q^/ijl='Z6L5Hz !*lm`ԉcmݤYOwV%}@y'#{0~{ rs3kNpt0k5{Pm/snAV~K׬$oL^.?}wk|`݊#':pO fv}2MRb\G{t[gqglo;l},]?d|,W)zuI=nLkö*%BUDOߢbW^QrTXtu3ƹ)N? D' $M*ߍ.MN{kxc(Z9§Pl O0O8,}|)םA%#frW&rP怴(6]<Lh?{}&`hW¡tp* >q$#d/5y༔smnY!yZm, 2!Tp)ԹU/m)jA*pTVޠ`=ɛv+">tLY5yr( CVJ?qp^$xT<OTWb#>CJBcݢzQG掤"q]h u l:vlQc9u)@:4\KXdnK:8J_Ww.>o2g_I:kĿ tQk#SE  m=$K|O,@q%k4F{r2q򂽀9]7_iz1X¯%̓`QxS2$ <''-_2b; (g{hl@Z|F5ȵZ,:bL7|J FJG'oטed"&we _Gm೜@avyF(= Z"S/Eظ E5ZW{+(|Խ%л+ VlwuxWr'OrRd\\ç;%M#^4؋Q~DNdl00o45i=kmňJ// 9V{JB82MZ]UY|ՙ: dX1InH±tf`Ne$usT3yEZMg ;!))04W埄)HXz`sK%'IwM`xr`;w'W?d2-8LӄX^X"U< ܢ$餯q3vl8řHU-j$ū[jv)Ng\nlJ*9qmdX4<{%s}MiԴCf%Bd)'=%e?tByl%E7/}R=yM b+s]󲕜Sjo2xճ NX$ t;4wL3 UtYcq3CL$ׯBKi;;P_VJ\fߍoru)r7cjjN)ӈ {ӏ++VG!*'2)IPOgLQrASz^Әa簼 ZhcuQ8ץ+sOH Hm\x5,>KWuP}7 `?3n*o4{$|-N<43Kb|>h# nڞKH7TN`9E;X jy%vSӒf"w6~cF}w[Meؖ}}luɱzjsjYOAHm>+o;V ߾| 5Ysu1)Y$$)SEO7&)yf ;gf1|Pr 8}.uYD~%F[Kb?Uy t]|O 6JbUzeDS-.Mru'`2`N- ¦,%NUAʇ:E+ (Ooh/݄d6Ns<YiSޒL4FuY6?7Wt! {SI?.\4#`kWI5Toyk(yar@"mt ^arpJMH0xQ=شH/YgAY8tIo4ґX"qW¥rE@kn Qx]ߢL[/ ;V.8H{K츳1cjNd"?&%U}se}zqdߨ =NbK*;UH'Fn+-;ID_Mf?V8%ңC@xm=j'y;XѨee3vMa*z{'2 (FZ7vȟԡڥO;>oN;nkOCB2x.g!3ʩ8N٪S\fF;/#hvAEoܙJt\壀 (1 D#)P z^T˵$Rc]b?.pkTx^:Ӓ0̡bb+b ]Hr*?$@]ĆI=Go/lm)n 85VKpPQ@mL}B,ϵoX< $YQaBJӫ=ozætdnSîf6u)54)6EJg*s`;ə@fAx®lo>-=ʑ8>;X<1yP#Y],:a-< pCB Yd@+0% f3кgT)սDI<:ge_m` jb`^zow8/JGn ,rg00J+6əǛ AdE7nq$~ &Kx ̌J=0!銉 }D`앿ukU;op`|Qj(U%fQi0+{GZ%E)L &"vpg]'kEo3$ &ϿTVW]wwx):"d'¸UX$lwcbRp-ܧ=R;St nG}*v\igw[ƫe2jzaljnSWov*+tS¢P&Xy$uh οrVւa>Û*ImI n넕O0)+A}ԋ.!igM͐*/U.J-GBX\KP?3 }lҕ"VW /YXWq&<6jbo"%'[̌+Kv 0/kD?<z E0ް{IaiJva\^^g 2I =7B")Ǣf 9e<(Ujg}RQTI'^SN 2%uE,u$:y8ė'$ﵞU{1ES)^Bg.(;2YIDIpjw݌@:}FDEs'wMv6}/2*GĨ Y,>wrX.K5PjH˦[Z̚Zc0^jcVƤ[+PZEpnF <1tox, *+2ω\yWN.s%KY&Ccсc/P+J9e|MrH,D Qs'vL?[v`0]Z_-c[(WIgڪNnr,l@wZi)IM3GU'A‘A}ղDϟS i|4`^sZyhY,Մz)V!4flgq<~ }x8D,{6Kߔ.s m0PL(]2GP9kgC˘; "D/:݅-5hf!dž`!w _6~Wl \L<(+Iig4Fԉ80myb0A.FOD]YZÇJ+(ڨ{jc*2ȍ{bj{k +cD:+.B0I2 ?Ĉdea4Hf5L~Kl Or·[G':0F#2S.*Z߼rh3:FJ3 Ŋ\W:;-Å kY*h|j'\^c7LCR:{cC Qݘހ'xx{JYzưBwC$VE͓MZLbUsқjM% W- ]{c xzSe̥IzL+׫%rNȃ{4c&lM% hk-SzNG fǻp6@BJh@/{.qv(4:F+:_U$!P<\#`L\2\5b1٦O}%{CTŎ;}֩9 -&tP1!<ֺ%l@NITru~s_]i3H{WZ=Ju`\@ q}#RoulA 1%'L:rQ|nO*KrDPqK+%4eⷡ855"_p R!꩎{=< ( jAȼ&y:Y0|1GaV受P XIzwJJT n!}p۠ 0:Wap So(N6PW6ms|g^),xXׇqQ1n`b NF`>jP"v4 ~7zYcQB:oMft@ U fK&*㸿]E6Bu [Ȣ d!YAJŇ?/U'6u١]U-S5Hy^PHzPvqA(J.#~X!⥥@c{85 c=[pLb2ONDIf P: VrsDVXxUVh9^}[IZ>Z}@7ϝ'ZAӿ71IL:JD޼Dٟ%zݤX{1L_=pI`?N*)¿k1 s=Az! M'X%= fsoYF/}h4ChtVyG Q솖"nJ}6 ;63<*8hUw{^Yc8uo-TpjP 0|uH8:=H$HXJpo"].e4SJKj;^\&CWbtFo:L8]%ᭌ'pSoiٻ { EsMhuRXig!j2wܷ #X!/S^ ;߲07^Ytn L`%% F6juyEcRjbu5_7(kQ A6T.X?ɏDy J˲NV$TJI]Og!}).X|G*+:hKs\vDX#}{lm5nPƇJjz`EpY!I0A)oKc0]pcИ|osǠK5Ȋ& QK}~a"V]Nf3ުSbVTΟI=RYq$uD\ݺ$R,|"\=5%Du<:Q` .4lچ?wr%f,K:6"M8)7qr^SOrK=,#T oWc&LG&vYKF 8zc,뒺-$ jb!ѧدx[:@ʠsDoS$ xR @:2_@%]̳> J-d{-֛O8vOJI¡㠻(hۅY$O?Dv,%ufZMOUCo`W.UӾʍ* I= "$8֎ -\Ƥt=z }vb 9ob}>"DoG ?[`<=w \t Vir4#hfҭC]#+N6+Ri8T}+~#jԀvQgmr*N ,;ߞw ʨCR{|;JJ0('vr h k'dR=QwsN7!OgrP ,zNsB30VW  _"gE'7u~x܋2ӶkY.M-[J;x/6;̣,mGwXU_ίhвTꊂ# D8);JEɅ 8—IѭV12We-^3ږ"yk`DSk:&MOt=a͌M5_bhx)"G-clnEmՕh4`189!WSY=O"FS{TLU=+|z1&*%6YTb3Cgѐuw!(:yfD]ShOi$p<3ZJ 4׹:/Ƿ~:0Ss/+i8ˈjY{"m#l9XUg|ذD@@ZѰ|ӄ6}mJofC%s:1_o8h[ #nc6&ʒo9踿krJGRtzVj/$A-bRE5 Y;\'SbTL] 2tc`*e8 9k8ۈ7Np+s]\Si{vu.` Z,>nT_%K"&<1{I4tñ eJ~*)lFdX=k¸-fCot[/qĭ(&KYa־D &G5*FjCF `*gĎ_:.V^H# GVogyM'ZW 002r<„5k7F $züz2*a $@h?`g.8LEk='ṋi/vh+4HTWϹ$\%ݲmF7rtODS9ɾnP6kDXMc!ؾ[ Tf_.d>UL%3E(u[pFU7Nд%:C|-^%z"7\KVFX<_fe38LHmsk6|w Np$fLBv;Dc[LD~l7YZٍJ@ '(R;A[u5uRJ-Tm oo ,^6KC7⴦DaN Y*^cb]kqTg1:HB4*v0c(= vNmHQHVmeow-ʳ[rC2MQ3xۘMT! jd\_.wOI~~ J,Hn.d,p"r##ĎknPYib~ R2=a ڎ_\& rӵy*z ǑȢBOsS6Q͞lC,HU߷"B-A߉{p=W,itᴲٻ.ai]^ޒ>Isp`n#3Y]C*h)f8gYp6ɶU =6E} $ /j9|EmU٩Rq[oDMޤC0i]h2@OaE(4P>?44ֺ2IQ77u[ zP rG 0tEF|Pe^U.Zn,} 4-}&G57gQzzt, N rOA|QܓْQl$ ڏ&׶\q"(@XEHVb} ST>ʸMj )),˵^ UŭrZjldɓFnodS_kr\Et8+PcϢ6CC{9kfz*BnW"w}!eZf)i>6%f$epS[SթNT{ CS[;'9B%DJ9D$JA-0ͬğ԰b^}#u:4WYi^{F=KH<+ qe./u0)j j S`lu%b;#Ezkg6DLC&֘صݜ MS8N$-d0d)"X] z'`@g;k~B[bpkzw1(T;Q&Oxtr4Tk0FUL2-=2仁C&ҽQ iˆ0Vv.(J@E{``=x[W:z ܀[ZYyR;_cż\W?#X'wQ@S_P S3Yo-njE Wzh~ Ku`jƬ7COCڶM_jF5-q&. v ( >|σWIe&nKPP* Rov#%P߂aS6߽3Xv#cV3I%$ '!Ʊv4^ s{3j<'OL[ i8؛kDqT[umu%Ux!%ψڃ&t}>0w?Jhz@ٱI1z4^v͉-ʋhs+)a)'֢&EVvᣩƧ y~\ma}]H%vmDH>!5> ņa ޤ_VKdy7\"P0J,M4j#3xŠE TZިTk'VaSĪ$p!Le(!*76=xO h, *&|#=cn di]dH"4)tRSĬ|LS><YQzQ3ԗ =|fc/@Gl<"/`3۟ɏOւck2c6E O\C7>qd+yv(*py'@Wރ3OjC K|Oˋ/fyU,3K. ,~Ab׏@溅aKLvZƏj) L~`߹<a'pS`QjXg帗]_QEB2SzXϷe$7J?š }w>󪷛]&bC%45_G5MT1/ ˒&$$"3_hߑ.=v;z^88aƈT,k`Q 'jm]Jb:;ju 0Uyp1b:Q@/񨏣*pukU\dPa0=}$Yqrx@( m ySv&c*tj%Kq9UםxdnkŰc={r.oٙO*)tmݹb*OTmS9Ez_0*tկ׷M?%<o4`?t7^skE ]DY\akfWtE(E9% 9(Ǩqc9luc p`MZ嫯/% J<@ї%IT HRo8 RVSlĝ )@-Y=vd\1!7}*Ǎ}Gl+X'\ h&Sބ7E0NpbŭT;EfېI-Z؅䋗1g"pQN>K0ޙJb3#&,X~k5<Ҿʩv4W L=?!CGpRWgf31tlV%">.$ɿ# Q}Cя ڈ5fsT1@]̕t 6yi1L,ѽf /_.!¬ڣ&JK --0Ea MU'&UqQswlB^}٫qɼί&fz~`}0)9͌vX(8|WuwyTeT\^h34@|FEzB1Te ߁zˍ?NUpC;6 x$Vz5ŘjZxV{BC<@K Fj}>jo/@^' k}]\_$V3h!Q;d .9XFLa`QCnh3r6K瀞#nF ?9et\J:D#}E>Q Q{VOw\Kèwə ʯ̸@!쀴c4A7sGIrU Jaq$ߎxbZ)xMT#fADkמ`Y*CiFx5QB~<>% څDXiDqhJ3|U{cڼ"' |l.E|R1Za89\cሬV.ˇ1(O0̰a L٢iM9zw5,H8K|쫽S:F\x$=޿CA׹̘,"u;U5sU}OCFkbnl˵{_Cw6$ P>yF%5o0Et41yf>ȯ_uYU@@KLb-00$`d`L&qjỗ %rmO a5gE(}ZDihӬ2:KTh;T)nP,X0]\l"N\!r1{ZKƷb!QOn3>*MYtrY'9"^p?`7۶a Rk-.s/HXGnhI?R XYS $ <(=T}H6<02Ioat>]{ʌ؃2tg4`J 3=7f0/KjZ| 33zGOݳ3Ȑ+09ٵ>]1t(0v(xֱʤ^f]=KwbI?EH>F Y 2ɠ t܇iv IJA߫Q;A \eHc"`%\{g>g:OS.SQEO@]֫٧YH8}^eyٻOٴ7_)OPهI}nEŻ ֹ{g(yF iHCl@ ]&!;}3=NaLmƐzJ"Atr`l[IM=LfECe}`S''QNm;4COb u4%*p<~/A}K7^:x&o+ݾ %5;`_UN q}LɻAl 6PeoEmJf*;]]dq z) xmmor/H*bԚBVY+#[m|LĞE#HBE0r浫O ꘇk ?zrZ|y2j pd 䇱hD$ pXGA ?`f޲*fhe((ύ,-'zV.R E63NIڹw̓>ZZ*yn19"#nu,ي b:Ax6PQ>g@r23h+Wo@/*Xe߷at{96%쳎X#j`᭘-,=Qa%*|gr"gn&P{LnӷiJʹߗX }375_M3Tr.(YQaj|zNj=-DZ ML%/d`Q?-&qL&[4!例sJZXY O?. \7WVNZmJ"Qʛ5dTn+W/2)5SOh6OMQ`C pTLsN~>Z2Kּi/@L ;)WxM*w D5XnrOd憠-{{5rނ]N/ʽ*dOxi#ԾA> >[in7聥p=8 fS^Ͱaہ/<mU0W (UCjʛʍVEn,u[LAm_븑.3Tx9b] WȭI{ЯY*9 $/n܄H!qgvOwڲxB ) L (`G&R0:3YlvT9R3'jY3JMg>\3tUu&aw&Z䟀 hqeHs@ap1ĘL zhPiIRPha2ئMPFaןlmX?|q 1- pl P%uNgKS,Xg),}M:ł)e_\k$sԌgX2'%DGPIVH~^ !3Yw߂%tT/ S`Ёmbt"kzcŏQc)!"!biO (*RtYqLܒ,=ϏՅ\I#.WA 5?(+Qr|hL¥!GVYL)??cUN"Ϩ O25( ̑jFIL,"|&.aplqQz3t~;:W% 4:uR`qm@|6*S@n*}w..2(DjܕF$β:sP2ɵ>uţA$`ře ܖm-i5l/{g7=%Kuw{fV+OŲfox N * ~ai9%rbz*Ck y! <;9hO I-R˴1a+Q5DŽ>#L?ڔ$r)EiCWrգ!IXQڒ[;y % (4ŸiP~PWA(=լQ1rg`.-mW_'{ 6X*X!u2b;S x,܇.XmJE*ĬS2脦ׂ7W9 DHm|hZQwhؠl9 2 t&:լ*2~|hzZ!JH'4=. DZhnOK hG~UlZ/B]$u sA*lAZڇMcn%qD+}iH5 k_ݹ\%#uVKYU=/K;HPÓS(A俦OB,8*MѕY//bWvaFYZ")-"N*Bl‘2ԓ~!w#;ߗ'^ N֭hl&Ղ߆hBqQ<֕b%X8#Mc/XTJg0IbjMcZ%`AfH{*#p6$q.Jc 'DDp6 R|4]5,눼 #N0 o ϰv{>cwe؄YltثBCj4ςi9[963k`tI_ћ+@m8D+G}r3ʅ-Τz*{"~ j3"` 'ɾ vs}o:1:Q }KѺ! O:Le d+~ LipJrn_,S},yGn:>! )!D,E-l:#r׼r^-(pfw{9VAHͷDM0ƀ74|/d(%Ԇ~~)>byM- 8a!Tl'|[z |ռfQRry"aZǣ(a8ka\mN^E 7{ $8ީЧD]?'.kin+KSi1C$ .d>yH 7Il Xqc2+z7C/4߸o07aS%V =ƪP4 @] ӟ,j0Nf{ҝBfrh=axcWmƔYCRՂmܔrkD16d+ ٮu9^+O}p_ \=Fqq[$3R;[ݟk*9^,UD_[:Д i6qf!cȃ# n QaS$v0pq]I#Tܙ疑L# =J[096WZK\렭7uH' ]k;?s^0 nx%fl`<'~"r8J3uW%BBrn;I>ͥt|n *S? J4#)Y!).7Xuϒ΅"_|eI9G?6 21>J{,Ɯ0]+3H{gi=%nGތC &,1bu< K%f|]Z Itfz+Yu"f3'64糢!(8DCG=DDH6.ZGAx2E2Fa6ݑвX͓OBF,ΤMh [:dAYX͢i)gb(h??$uH =xzM}pE>P"2D޼)z|a .3śj=,|NQHgX@U95 u52)WWdcOTau[ۃǝ&@&B'c^H^CmpԩH4b ZQl'-~"%}Xq' AJv_j3E1ܥe~rRdl ]5x.rpWá[q™=)GzBn|&N"<Wbm}a1 "{t(!6$z |E*YeUzI[VxKQn@ t0ԲIs?-aC|M-zeډ39/lw%"iXhFN5$S7O#^IeQG*0(b$$i.YβzZfa3㼿| W@ȗP+zY70]{77'K!^x]?і:5܎V/g1t8ɍGdn $nէzL0-A_8懷U.e^:T789J^4eY~n?.6bʞ5Q, ]LP(#yvńr/s'(w0/J.d6z鯈:}~X/u#NQ[wP<88&oRI*=bj HPYak_lAڠm+6aG#QC~B챝/ E*żuzgHDB8x'?ZԂ~Ud&K̲ŦO{zQX|,_?/w->J^`kUpįÿ$uk8"zͤ9JjꞭ$cPsj >86[wkQTtqi.n|μj0X rT>oٟZ,9$- Xǿ)x@J~ӞA/{ f&({_)):m/֜y-pb:.22 x8YRWlx*ϧ%&BUu@br.ƺfJ]*LBTrdȾmoZW&} իDpp;2ϟaT_xIe<[zqe^ŦP#t'>Dj;Ǚъ ).Q@_@BFSp$a8RhkKNz:|y֗qK\#}<2d5raܢ3nO}8' z9$&w5HЪjlc^Ž cbOeI56#tɸ̶z@If F 3@m((oОs{d?hEM +ֿ^pV+ r*WKհ+u%E\CgT;P&`lx/87w$q!٢ӏR v/kUX8mE8{,J֓PHdeQ/ѱ5'cc}z&a{5uffɸ6P ֛Cㇰb<zGs?AF)(=*#nӝ_ek̗zhT<=w)v҉]Jn-9Zpto%48LMO K>a<ɝR=v3'Wl, @NGDozp@7N%3LT 6t_Oz[/E7 [>>i ^?$6=!xd(LӮ#4XVcrQ8Q^徐2`vOd )M ]Eg]C4B3+C:}5 1zkTh׸.txaw&Y&Zi<ǥ0˯fzpx6a# u 4Ց<99,hU8hcm te}VPC7FG?S5C5imy;ӵ|y`H~^D֢U`Q!jK8uƕaQ\{* od4J]XVǻEU%8<|u%ʧkڠ⮠vXV}}KlϦs+A3&Ō7-%+0:2&'@yX(HVF:Q[:C H6`1oJQy Vw*{b4KMǑp 3̤^`: "i1CqN9hgLAh:%A8\~D5@*`h-gQۄVyVtK?PpwZ(-ýS[*/t׳j 6q]a9ꤙBa7!A a_rzO H +G{ACE6c[?iVׯY Чᘰt (*ek}@BCdlg%ڗ9MJeqDUGZ.?1'+/kKbuDCw^djР$ګ4-=0r nPd `mEs4ɋ.)JZK2-k>HkV&G h  ý)]JE.@dha-/>!wcZ Nױ G;*,/ƒݾPFFca>(bmLBBً߼q3r^V_GiBn>m<GۊQY3C% [;{wj&kM2֭4/$B>l,Gc6; ,YIf~etJA'z5~n<Y1" ˈ*ri 433!w8pvn@+tpwgD'T&GvKB D=3V&:b0%m=m/Lns#Z{EO,KY%'p#\8HCZL!P"]覓$?x(G'=+5k] _,G(u Vɮ痻OK6:KƻT,ԏnSeZ^o1B-CA=hҧ&a {k8".^n1,k 2Q}~v\~ o/d71C.d,iJEZ*G\> iTϙ WY)J]'\D쁨Ąj%q+HH%c+w+M]U?fy4GrsVȲGhD֔f#HP12|Jv|=0p:#|9K4E?!!R GE(@X!i'e$<.|JmcTWpT<ÏWf_& @tz~.TdECoX]*fJ3긯{NUM`;Ǭ5U h(/B Ep\OQ'zdy"OR~0L21boO-*V_Ƭ܎i.uk.V~Sí}+dbW!4~n9пC^!Zߥ:=nO,hKl/\ɞɹ )S*biz}]^_A],~X SnB|eTIJ?f *Cmy*v ]KWCo[A҇$Ӓb}B IisҒ)͖j޺:ClWr@ otkW%u.Ppj2CIwqoF3XS&6yH E2b9)'&F*(N}셋ITGMWǪ IkQ(`ޘ-YSKRCkldJt /(g ςK̩"mр6 ŵ@?$Hjoc#:. Ulz| .|r|[H"&FaЎ*mw6ӟ#b0 2"r5a "Ogy`[/?rEw̔[# ݋׍4 H0`)2,۱pp{9hB^֯B { 7aHVsK/{FudOJ%;i71PYDiƢ$x'H"8{՜{7$`!t+Tļ jYU9Y*\+O2nw#DWdX u5g5 N}xn&N]0oO]Z[& xGCIsĚnfAnTX52G0$E vBQWo^YSr2mfprp,EHIyTw~w-y!Yc#.'~ +_-OO1̥ŢKrk-H> 6-nj"@w9& 7~D͝+f.rƊ|K.D)I5"3bBD_7٢q t hPߩdӟٷA.+X5DAn2Lks'Z~ }Q j cdí9&s#u'͸c`iixA/ %GR<&aT a0wRT]X' v3V3}n>^'ܛ݉<] ZB\pʼn{]W 嗽z@usYW;fOSKs?8/ RC%/ĦҮeJ,Qs'1 Q()$NXuH%MiXڀ/h,YRd K--o#*NECk0lAHӲıL ?f"F!kTv3U[jd>ԟQ[WNB,z2k3J. UQ%R sXd~z+MKy_h7ʭr-6Ϙ濮ʡ)U5[ZQZP|[MϰV/+Uhu*D8kؙ/AeDHi_߱)fuĈڈəȜ_P:>C֟UCd`B8izdxŚs4ޱ:^U2nKhq4IJ#߇pDmΛXo"[mnԦJ%5kIByyu\aHm>Ŵ ̥Tgx2r%q.Wʹ$ sS%ܾG 6<ipν|A%|Ȼ 4E0Y!F"1Ev/P|+b5LTw)ЫM}ϋ/%o,Uҳb?bXʭJQ8Z %'GJ(^Pw(9*׌b[N^)DXu˅LjϣBY^1_uś|LK -ḂfLfw3$'.+ 7+0- 0UQ.&=f҃{^iP4NyLd _|>geu<˻$rxm+Ņ-%_C{uذbB@/6ժRX<֍ j:3woq=[?aY15Nn7`!nK>8KKm,8{`! ӡn73Ss7P”\-V.:M>_kX2ܛ蝬f\#}Y,Lpg2fD6ȕ ]RU(d95¿w|bP1}zu3a( ʎgJ1%YEקFysCY8вecƨͲf|$5|.]%q'0oYj<ǶPDWíִF&1>K2^/XY5j4VA[re$3mN]\'4.'LɆI&q$p[mh}w=E(VYWx缠 Dj*YGx@~(|#iIٍ&a%~A r`v>^*i? zhNB`]%(b(t);TMֿLEP${$W9@7B̤PψtPY_txg pм6X i 5 _XS0T}gx&Ӄ,/e]|ޝ|֕>EjfA0g#6E:L8򌵳.bgYZ220aadceb83468dde8fe0369b691eff41a805a5bbbe5847e310595c720c365f3cee328952d2bbbc18de3e7adef78823845c76e5e200fe4cb82cb62f0