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 hhp!4 ]]]HOL-Proofs:threads=6elapsed=552.651cpu=1242.900gc=179.416factor=2.257zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧f@QZͲZ_wݫ_fjÄ0~{5X݄A^h8#odψ- )3˳ڔC9Msbh~eޓFH V /pJ&M0$|ĸ+RH͂? LMvFdX{D^k=!6nr+1x Ʒ#o/dg*Y; >""mp3λϐ^>PP}ϱ{& YiVJTFzMU) SGqjݪ(p.h LS&037"k$} 9\~]7;U@s4U4p@iBr%6*q^i_3:б18jo8Jq nR$-Ր,`BJ0;Gw$Ì _k>O%@l`Le!nx망zv;uD˯v ܑ !jRksW6 _#ddmx~G}6E+^VuL!c ^Q7!?25RuҰ= %,h'g](^5„n?;@Lu'BrZIf}=FRF#&V!&}.7H=V j`׏| 2ú5OC/G[}NiP@meH ++nK7[SM>G!Pфx]oE]%AwW`2"cZ,(&ke>r3sf&P);7 pf.L?ɡZk'3kqFHwo/md78 KK%BۨgbMs(ygwZa2Nqe{["m94Vv]aل~ao(-U ۧc{6Sg{tCoSn7n:'UYiڡetuݹ<8V s$Q kTc(*$p$SHy2?ҷry iTSh{ q$|"F|.^{i/%i5ZoC &y/p-T&Yƅ+)bu͗P0aig,秲עVhx Q7Iɕ>D|=apTQ0W | 2;x-%ypmQm2ͲCi#xGUv{U(h.尉t5;7V-s>&&̬=/;(CwՊ-}YT/9fiòfH)'4>Oj.r]ɠX.ZUJI}M1= 0WsGxs3*; JNw2ٓCmiPIFUyQ*BsH|q%qo gAYÁң24+z.z=LănV t1y36Mk.PYVrTXeIB7ɼHv~ZPۍ2a{HV;\(T1>forip8 Ij# qW4uG(3nN78!0Ml<_v5qN/VQp'}PvAI)gC1lwh`伭%4_DWr1!Tfq鰧ikb5%Z#! ѕuU9DY ء18/]Ma'*CiL1oZg6%HE8gs$N'0fZ)0X|Zⳕ>9f!>߭pJܰ&wuB3stV/4}:B| nl~. (.)g7G u3|!"Z [*8/dOeh 7?F"Vew{CzIpc"xgDBgW΄Qu e2Uz&Ϗ徘 s}"SM- IJ%貐}+x5QA,C]iur,DԤ5Lm{G 2؄Xc߀37~"+{FGhgJyth*0O_854~c{Ia?ǘ4%bȜ(%z=~L-$*,Ћv$<)6ip1{D57Z!{# 9\,=|]A_EfI,wu!v蔸}nM.2"Fُ7OT7S.#cPGh_ef{ ʪ]UHUf88XmH/xHTi%&Nle&iyVO,V<]8 (GU?x{9̂(D^UܵHsI&D>o>4eka>W@^;IւbqRLPWpnkwQsC-y1" xioX_Y,$\3W*ngkycӣ>9F227ͪˊPs&mS{Zi  ;$TjF]gHtD a" `cWs 9jJ5R\_TleO}3[ͽ)6c#.ޖ6@'8WX.h8ö@$[)BQxە h)`sVZ~mN WicPGӈ O=E(jT목uysĔ_qƿ2G!U~J4Rp}M< :J0m߭ho;nj_iM?SNpe+/tj#]CٿCl&rbgz"qj|7"2 :`v"D4 <߿7&IM=8<&㱞.^}U 3Ɇi]F)Z+ n,Ӭ.x¶bL8u9k*Q`"6$鞟'q=g>Ѥ7լ_欟h {5)V~LBgPk?fI0UMSf/|1{&9یtxhӞ-ج9R5'gMۢq.@AV*\ t6?o%F48ozeZ J2?4?Ts)&m`yhOXI= 0cR\d4y.QK=Mf Uiw:e͉@<6h!?(wfepy~\}yblW Z=DMdf*u[|Q/y~?UeNzF|7i4"74 󣌶 'B}u컎ZI=¬6NWs;B+Mb(b (nfTɌ` [$ : LA7ƂE&+;oTcP)\k4V4=Ş3P#G̘L&h$ş $A 'o}~Y ܲ{b:\@UI)ӊ5 ٽE ve~ҩ6s C,486UG)R~YM)bԥvYxQ֓Sxѩ;jd mu;iX%B" HAB:TzޒɂYu9@`kR_SuXC OlkvAzpM /G;vq *?ΘͪZFzF_PP{auԁI7ΝFo'ʹێ1ʋ(.%kw9}'P_Nd\/@*\W >; 2oi/׷M?ƱgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!BKKIR;ws'Iܨ;zaKJB)@ؙr3oӔޟ&(s(oAlYz ` %;hv)d'cӖ"JLXL3?%&sLI>Q%Fu &1~8qX\U22܍*z}Ryi2 %>Iװn_uyGƆxj,fJJ],+Ld]5Y H4D%nF砳dp i#QB߫`|li*Q\ fYf3?Px"J0oekD=6C^ j*V4K5pӦM;FGQ>z%Q`٠3+}{/S՝âMX?$0yZ1`B6tM' [m8Ko:FAW},_|xȳ F~zyF"h#?FnbGX߮ɡ{vӉo9#,OWi)}tKܩ9ʕITjg Z "(53?]Bء^v|vsL ?lp_ )t> 7I2!k:2W,ϱ|pQdawt_hݛ:[e7 Sͭ"\vjYkEIL@EPBKyTBUٺGsdkX}R8 UkU+=R԰kn ]KG|/ P+`ݮۄvfޘ_踈a8{o~N4H៸`EG;qc \ԋ4Nԃͩ+N6)ltM+T z[;ot7ha][WH]])T{{Q;'{>N@Įofa`G>& J'=V*7\%n)c;knTu:Ky}|E2eP2W;Q0L "u;̲$5h$H*'w< ¥7 n]ՋbM( njăO!PC#}g緜nҢ`dKsrh Jh-vdJL͑5\>\P2͑n>zzC |_!tYtOOjgQ~5re5"hҗpfU{ױ+K8.K>U<鑔}2p|BX4 TuzI l#]JcZ6ڈSDpXw`-% Xp lƴWH>5lo;p>*1[aTEkSyzֿeePxIaT|%r!Mޕ9y A0_@oex;Bg{a}{fuWK̜%߫~l`{83Wd  22#gYZ7zXZִF! 醼j?]ŗXi%;`hH6%9 `756?!"2v*6Dv@sA,dIl>[)T#G#p.*XzU`f@#ǥjO]ac4R}Vx}d;Ⳮdh#>cyޕC *|<}h .F[]CK剏]X?MP3&^Uֹk!%Έ4Q o| c\J%h9G 8|FXp=\Rh/9yE5ғOF}(`F_ƳJ BTfY )? ,w,&-C=bg#U-ף:~`ǿCHFG٧Y58 z]>Jg~3H͌jwT,Xn|73-]6jZC^lA,Ջ^EjFz6nS5B[Q '"y4N=/(bٲfBU8Mw8ze(/yPKu-iES]٬=SS^E@M$3[[ ?M,|ŲBDw^ Ⴂ;7y􍾡6Tcmtmʭ*i#R)VM#jq=ɥF̚\jrg" KJ#AǭpF c=6I"|&d0519r `IsO8gDlR M~W#׿dÂNQ"@k,-|LK m| #ilܘ*Ui^, dbO"oD?7S>0knk ~i V`^mZLyI+ꪂi(lS3ExI.ڣrհVHoP\x#(Xo/`e"_ʛ5FneDrO޻pI[i<0QߗgnBV [wGqf*m-3oIamr8>UE;k7}P8x-vܞ_\YO6?Q;]pەNT@(p Y b%GJTi, ܁ bGSiw? 깸<\"TBqTk;)1VE>u\}6:AA[V{;9f9_w$YJ#S~>èTJDD| F`a0"PD)8ȳp*鷴+_V۲װYOņF>w%|,4~LNNsΗ"lI!~|~kX}/@9Zn>4HRTVऍƁdt!>|ƿ AE` 3LWFl+̙^Ih~νO@|*i7LZdf${%lFog/شzmHtTV^UOڕR5DޔiFڳ-l+2.z:ۛ_ u1qULaC:#~,}'uQ2NcZ!wYN^ ɎTqJ܄(یHcy{g4DnlDG?x;57чP}Yߘ!9`h>4(BXD4Q:oyI)0s̸s>pixsr?Lz9Z d)P͐tY"{~"[>p>Ld ٕw(UE,)gbFQI"Lf M*"㌧9HXQLV?caɡ*|j& >;30f~M1Z/Ψ{o#Ӄ#|SC:MA+E}n(aE("SSJ&+Qm%-z:j=#T)sdSncqGBp=1$JvD_' a ,o|ͯpȽ 'BfB;PMsx2•_aQ[f9J Kl|} ڄ 0G~2.V#h v6xOoxu=+Mv|%y%~uߴu7Î߿0,f עbN&T͢ZUCve=h)A%F ="2cdR~epEj*b+>0'C+P1ӊxc99Ou;A"O08q.„:$ )'ڤ XF +H)GVWXC)AI:&)[V|a`yɫ$V#a5[OA=SQiYAMC]Eb+f6ϲ1[!T_o:[Skfm|X2,YC.o?wzw'. xP&3+!ط؀'Ɏz?|߈ۖBrL4 ]acxǙ< %ӘDʏGP;ʾ 6E1WI"Z)n7bѭk% qpBg0Xvg{Q-^jg:+E/! l~Wo mZ=w,ZEXA}SGFu"@%uY@ȞNTSE#JGh:p& _^73Qld{Fgk2SeBT2pj ClJ:(\} O ߙ* g8e!D4sS#TF+2Q\oM3g 5TC o h]h{&(+ Jj[Oѓ؞ikbI},V!&`0eyplrj#ɦC®-oԃK8AwAt|deeOx̛="K MR (|,&@=|ͫ-yY̓ 9KL%4ت ٮoc=wRzfKfIT-"J?S"8ܺ2arG+ v~Wl2*fF!([WZ/|}B7:kWћ9iÊʌdY<7:gg#4^g<A-L<I L.GK '4P@ʳ}I kӰGUNw;q6 eO&:<1l䏞 @n5Bd⶞~M4Zx ȓoL[`O=t*0KT)kÒφkG/E VsK8>XPh0¬ P\OBXDjZmORܸ G q_yɴ)15[t6A ʶ'Qn5}va^qAd7z094j)-}4S顽x ktltPѺjrsR䶆9 ޴-#&D ۣZP?UQ@ Q%F}$Jpy"Q?E"l"qa$d)ΒqQGR/ ;j&!0(ی_W>}ZKM 1@ZnDj&2nS+ M"u:j=-3xl=dՎ7ZBtH1<4qmlŭb*!H[ӪQB OZɜv lRA&v2(yM14$Y͑B8sx*9K`u#u"7BYl0$Bu=QB$z3UֻȳQ-v@wZЧ!?BH@A?L{v,l{l?tKJ8ko!s]̄d[~ɷarbؚ7zo3[XqW*#Bur:-<}_yKt-.Nym|g-]/ۀS}~V,W,t^2ȳ,ŖT 9kM\҅}@7#Y+)!X8)CO+c@1z Պ(O6WQބ1x?!(AI6e5p(Qo~@:}Uj!*f~T;|v: HD@5H[jMwF˪lNFhǭצ2+2x }}d.\|%{Ysn%P3Sͧ%rV|L?Cύ[ 7CWXH6-*|H iW[ # \݂j䤋eX[U:M+5bkc,[癩0T.IdD2Z75L^p N$끰i-FrǕ55"_6h=DF<;w98=q{]$ Oh*Q٥4+u:It zdqF0"{ىxa l j}~]4k23(T K{ԯoH؄.Rf#lIy^:r|!% uCu<o6:Knړ&75wЫVSr>^M,";yem<5G{qzz# cr"S7w^i&՞S vPM*%r{*Y+ ǔrL4g3UĮƶwY<0(@_ fJ$=!֐@BeF3` -a0~xp95<2fY£0ebJ A):,zJK9ein +5?sr0K`gE G7*}ۦdސt<s >&Bڤ{Ή5ZbL rU ҄"R.9V{-e/(/b̅q/ $".Ƌ`e/UH{q>-mpXӄj` xG{>jس.ww[# eD6Ltލ,),M9)7Ӗr\zĭdD\%JfSЀXGQJzVܙ%hc嘼ؙHj`G/֩=* IkXVIKH2s^@B~U]t:j lFFQ{ fq4)7O?&\PM8JG 46u3Shyسo ٵ aQk`kv62}dr+\Z֒Iwdp1V_SCPsv+uz?z^=EY(N,=/Q}9a1uڠ,yx_͵sY΀ 9,'fZX|/ٸ a=a#,,<>f@헶ZUx ZtXW+HEBYUJևe3(9IAglJs^6|@v Fs^6`6%d4gpgBimR#!z줻nү+Y Y6gbi}?J2)*tc`u) y:/=*s!$A&[&ؾF ֽ@Px6\FNv_Ξ?aMKK<1`~3/%q䆆T-?'=Si c+S# zdtQ͏Xzo;^z iaN++ n%;o{ tP;k) g^pI|Ε,9XݴUbǎ@>yt5O0١_fOg\}">CG޴jV+?@OqVmf)`,|/8\ ??8zt1=P?a?`-*7 Y~޲Ćͣ&?ԮzI>m똓фPRb3R'/ G\] ]uWl2?Lu..7+m]|<_Z1Nd ͩaVԭ58xW}=RcpPS(qJef􈀦oКެ#0JOfp{H DobmZr>jP3Εo9$?" }vH *,Fm.uUdY2vҪڛJ0uaϳe.䵤 2/ DVxth)1>"4jX<hV|)GjG Р={ FJ@"Z Y)!XIvx],6H$,3w EAtoOמSc_y+އMH?tO\-W@EoBmJc`0mYVx `'k0ﺹ+߀"Q}VCl)U%ؠlPr*"mn"Iκ֢QeiXV)ylbi"U.i,0ߋ}]f@wq3jpNy> ?.V3ŵ`>-aʪsMz>Ӈ|! aB"(2݅vA$U pdw{q9*Pcz5lPVVLsd/tܹ#I:O =iQL9Ű?4DžCN+%>kDn}41#l};_T2:ff*|zdnC+CԊ;t>kblX}&0qRzNڎ+6,qVq'AYfEd_|`Z B[so47 RqCARU˼fc![A fu=6b#y8+Kdx h wu[84d z|Ů:}r9& /yuzzNdiڋ`kKa۶2E"kѼ.Z1-bG-Jt*kA6SqvMd4>NdJ?A$Jާ9'E.Oqۜl mw50#_x/mk^D4 5mӧ }JJf! {ۿHskCavyHPn}_K؛R ѷ GM%K!MNMͲƄ"ewnm0ǖVB#ꟙEh,R/<7]vQ[K ?KptRbN~3"׋ǁ7gfZSs($pkp+$h~zfƂYPH ;+3%m?)B̳ݿ%#T35Z~SH`6(h“p?bdNFX^?I e o, T'.r,kX:a&*$a߫b.7Dg'PLOySԡ݋l.'4%9WئXT1 ADyl9yq*0FN=>u/H4t鹻o>kW*d>BVb:~Jx7TОG5iAaz라x99{q C6$<.tO$`l*FHCoBF9vZ1ʗ` gw#l3e?- TFpm\/0Z2Mu+Р^n*N" LۊO[)֤%o /ɘCo#-x~D|Q_%%N~4p)Ͷ2R]|Mdt9c`YB9Wٝsvj*)1ϗb 'v]2T7]+Dykҩ2D0۔p#7g$M[_W)oSJwE !\5s ,tG_>(/L+bZU+NEY$=85`Y LfVL#1]t9ȠΙAHm&+cXmVȄӔR`cl{F [L,m5vBh8T%;AU)->_HLJ6+bɉN WZuQ@r*'Y쏐G`0b&Go-L'lm(!]A> k4Y#ر&&KtRENOW# xWFB)z6!8MX>,WB3@2r!re|y(/|Dmw p9Q.Jfx(`MjL4 c ~I4Ooz)VǚGY@ 8݊]KW4Uovb#a[3AC&uipj/ [BȬ|JؠjR>Aaw7h慏8UfNO 6ZF<֖Ա!O-, z:M4"EB̼z]I'13 Bv fQ)X:!NsSR\7 Fas䊣eҟ=hIw۾l>uEA"Lf/7.H-!nk.^uQ1]S$5` tbɜFOYm}B A E$܀E:tkȄE{ARc8ӅnH7I٠Jm%F֫R]\rv|)@0id?f- G[<ٔI h$Ͻ_U8L(f'Xb`߀ZiH1Y UuwE|ez(j,BO˹ӭRǗ;kͶ:]􅳸J.' [z:-l\gE 8R)1.k 1%Bfh x. F<ZZc%ڪ<.A}s0-y%kWMXP>JO7s"x6gy[X?f WXF#~E`|WRي V`) k.,wR7鿙<_W{t9kg)?~Jd/qhbq rۘGg3Kd2A'|s ' $B@+`Mͥ:7}8~pQi7g Qv$ǥN7կ11 Ԧ7=Zql2}Ls`T 2}:DkX'rIY\Jl<}b-ڣj+Os϶O}\xEDΑ;a:+TX-X;[%&i_BF,V]K)(d|b ;1v,xu8OZHe^LX%Q_]殗R^49cXd]=m79U\^X+ilOFHHe˞-YzGe旀o?gnYh1X,oe M4B?CC+  dsN%=a*8(qi:q6J7 50renL+FCTRr'rRwVk4|{m L_EvxTER;YcpAFLɒfυ![Qiw0*ڠHuS Jޡei=Ht+@N{p h- v쐽OQ'3) }X'aTrB,f3(iDTN4J,WF}vv&̿&vsZϐq5d̽SIKZ\6Wõawz1+iA=g0KI@A0yTte5A Ӂd 㠻cN.4-& DlA*a'Kv1m6^ jp+)j]U$C-E._c'QBzO@\="XtiG=(h_W/%Zڀ+1~&yZ<3?\kE~o5=o+l,, Le?6H]vGu(^ZrPqEb嵝Z)hD"2Zp77 Vü9Z 25g v IJݺtd= b-+;l5IHM߁Z=Z?1jbB\C羔R\J6JccsiZdq{ĆNh9/c"^on oU+p`1wJ噲vD2f}J~?$,تA 9Vl]lhY:<&&ؾ/Gfo{ۇۂMU ˂Q!?f1$h+LWoa/"MJkJ5Qmj/Ա:5D44B> &0y-A5ܗ<>:ȚJrzDEQT9xFH /rS::6VVwmR'1?"Yqb3?C@ q SC;I cVZs$p$gQ]c)p,@IG_2V|6O0<8}`j3(x5Q-k bO>DRXآ[޴ 7P* &i4Bo!ʣl- 3ACqi~f$韰DG?vHL@<WA. FI|rY[L߹&lD+nsU QrTHʐÃ.-S`^dsnuMLb'@U<"8^om[Lo[r0:[]7z'E4IH^kae#߶) WUM"X$;8ՠ!{B1ѓmAƿSKK$i̼ -!uNheB'ܧP>!ãB-{= Z4,UxbU OVfٸ(da]ř˶t+*f>gi1L=p^/ MuԾFCX289}/+H/d <\;G`~1(FOw`I$H_4t9uZS=XDi\O}Ƚ4alnp0ozObAv"xaL#aUW |uTA|۬ m)t_Ѱ/G,0츲'OYºSCuUF0NBnj %"ͣl]@<蕏6>ΖdI1ىS@N?f6ڧXOXo\x93+hKi9g;L›w8rMOPiv/82,$Ղ3:bqZLjьk=dn(4_ ^ `hgO1i^DXG36lg:.a1ʣ5Vk.*OD *Jm?,Kl+(1sZtJyT$.*#JxS/pbW9g3d""D' wY:0cLqK&Ҏ pͣݐOƮSdwQyKKl,UI*KKn50dnhbHCp# (Ɯ20bG'ʏԐRkaK4Orr9Ov>QXq<4MERm?Gtł.նS%H.^RFEW׉ѐ~V2I8xE:n6ͽtK/8W0ȓ2:o=)' O|<7-pqp~9ٖU6 M $=<.!$jR>ײm2lz!ޅ2ȩ(ygsfCN/- '~ߌEwZjsY8_4A=fE;a]/cA֪-J:;h\ i+ÃulOzXVQ6}aH\P$ZWEn;B" [:'S`E $4ACVo|Rȅ}#V_Bb2QpRd3g6n,n9qϛ.Gp vPUj`Rbh/0Ț0)ݫYzN#sIoPʆs%.~^xQ憽1fk*pl$5Z?PpK,bfck'OS^ށ{sU~#~Cf]WZYsd2X;""uʡdŸ$-~Ȃ&d2TgLZ"q^}T`j&=Ǵ/ҭ\Kh@[1aTm㯉@z69^l{\G.XO@W? FKuV-^MLo>[vg1k!-q[M~lXf1 naqKd+ItdA0Az\쒧n>{ = s\Vu}T s|-&1=!X,ٙW>J0 cn+^ BF`| h2ڊRhi?'EA cҷT?O 0Ytͳ [5!}MGI}^&ٴߍiBEdKg7ob5l!>6"iM\u/2Lk:U2/tLIiRH\fNڵ g!ݟZ;[dWhKvZ­(ַP מiv}O;Hm8`GeKyKg#y_GfZhæZ_[#6DUT$A UQ@GQIt0Ewj *a*v9g'oŽ8:[}mQ~%$)0q73 7Ag(b2P{ï+Ln5߱J6Ȅw >AM1>VV`zɁ78̣E e0fnhXƁd|# \MTU0ʅ,Yꠁ.L&_Ԙ\w3pN]=19ڸ ]Euh6!!spMs:asur:O]V"^I6,pT%1Mb 3c7CܮLUճP&De#'64C#1rYBEب<^b@kp ]P)y}WF=^I̧;Qأ[,>>Ҡ["U'% #$r$I)tl\E8^U(֖ lܙx8 ltN9<ԥ8o"8`OA\3 hl2/ގqnxq@5%^=_^?4û$+OFjI($5M?s*vTU1t@AT,T{.ve`|9Gh8%![,x~e3ߜatW*" h=K4}? YWMN$aEa-[\eiZdUϤ{-&ۏo݊p~w(:Zez-ez0=bnܪpAfO97Bd覘( Q$XKzâ#ҴAk$pW ƥþϕI>^,/ Mro/XMo3 ߪXZ{J Y!kFLo)beK+% 3TN\y ӵ&(?L׭z6Ƨ!G>*y1pv Ct͐f[-LK%EC o5rg)ًV[TC Hhl"[HC 4/s2hX;N^җHDmx rLzF6i 2TDdh?kťC~6#wi?S+razZ SnUE1sD:Kꧠ"${rK`ƎL)?ãCjbK_$qm%3Ɵ^{=_K#SmYWx DFQ)>0挼oq}!X=l|6OP5>{K'cgdW$>Pd1y Îa"I/(mCSH#bؑԲ&xqd+2}NF*Xԙr!M7"ﲴ6-߳&ߩ;({6Q}6Ƶ@*W* j־l(uKIP߉f7Z0VϏ;MqM؟Y.f;yQX}=8YRD&ؾR#Qvhv>`[P|GS]%aic@ *d FUpI`vƕ`t+&]Ta>7|a6# sX;ň- SOnkHt uN~Tʨl'P[-uBƳD2Ŋ<-,$l/wg|$+H[ZҚ6*(ӒCv) (U ͊h߆#oM'$WH;Jw PQ^gIK,@W[@Jj't8?;.[}kU7GaM۠)!̌hzM2]OAA1s$`Y4lC}KAgwCS`N  o;O#lYN"Z0nxrY^r[ btdH%]Ӹ {$% (GW8Bg͘K_hzXh]E̔7J5z:F| řNuFIR֛ŪMs6d^ۙ hWm^ PKo-0*D51vJ USqL_7+87W&Uhk+k"ɂA:g1"lURn"Gp&$vߒ+#.%KFutg':~^r;-w_dm\䜏Rh!3'$``E3XMrFA7@H}!6nd M"PU-Ww' .E=]`ntJ->rK6lQ@r4L@/D)V :@?z`e81o[VdC.-eDR M~u>)[kkknxGh:d*i 90m==q`z!B$\ +6p݀\YwbGB, [֍yKknXjNqnYZ`;hUAZf#q+Q#6`p.],VP Ã]݌FR"3&'Q׀;YEdOѕXZRr$IIkeoe6LA "V@Ȳ ,H^D*ʼn\Q~pf| 0) a]dTovcOalDCL~gՁ0] c?T`Gy˂letLGYluL]%B> U2h3`NP!~ow7ϺHfTtmeO̕߿ kȠ{%tՄxNZ5,uڤeghJ l GL Fb"Yw"֧]LtȘ"Qs˲[ۍ<c xߩNl7?5v<^L*@y/k7 ܦ]I/ ju*yS$ރk#XԪe:B@ZE4;{(܀K/H$ט7?c8J -$|"\ . *PXU`+:@$Ϧ!)-.ڼ:F>NK=w̆(6,+}ٴ!d Y-`'V2=;UV|WҰNԛo.pj1ZY9@cyp>ѝDV1qH kYid jnCN 3bgV. VK2!nrVcV1WVp`4He+9sѡgѹ3jkPd76+F0uQohs aH[AS.G%EºD8$99#&xyVt45E[ _^.!gb/+ƔAY #9㖖Ok>ӓagKa@裟] Z SɖŬlhч8F k$i"&v