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  ! d ]]]HOL-Proofs:threads=6elapsed=673.663cpu=1670.120gc=411.300factor=2.487zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb咬Oj#9yJm *;E6E*7@㣥.]>Wz_LPKڤ[;.p 2.Mo듎E#@x8! 0O[@ i=oʲη&kh'0+ 5-HJGﯵr]2i<bT( ]ClhA$Bu\;E4#{eYU /P@^pP[8˟%ѡJxz6c2MkٖHC,TOZ|7w7ރ5iYJE8ƄI+ƽWCں+ދNv~HUC Z@X88mA BODxZ+< N5xЀ 95/Oc1٩ӊy_#iGXp^;K{٫+ s); 8  ! HOL-ProofsПQy?{n $smڹ> Xa3龣MwȲN"͒ڡ@(lmv&#.UODjK@RNUQTX}SsRP|Fmvs׵I/wFM~D6Ұ!``t'g? -'3 w>fw!E$CE-QK2"/]tl^YJ15" =B3בx~B7p&jVD,}MUXmiLeɟ! ( 8H0Qvy~ !hX8:Łxj+P=dvy'͇6 ^eH|"RnhX1CVEpL-%3xvsɚvػO/l[Of1t*|U WK)܍Hnȥr>nZ4O{ΑJ9yO}EӋ uk;jM^]esȠ͠}~ZmZ/z{~j evC#6t Zș0*L[|Fi4k~-`TQ)wsi`"Eim*"J8CtcϚ28_-Ov-RsL-tߦ&Ӈ E2+{)3}C4%r^rzڲSK{%Q27gϔn7$_nth.?Sd fM)&+#u)?N۞O}M/׽F1zXF{ ck ]yLGdW,{\DT)IHBc pg$eBB\ 4it@ 3TVՁ"inyGYr"O]˥n,Opa{7E.4X~&u؂V7Ϳ}nYv҂$>z \Yvj0^S -r)I2a{{>k /.XMJnIAwYVxj!;iYrU/F]bv6KOD7t(J;{*F!9/x'4i A˩ӸFef| s?{@;*fhLyqMafy_~>6N,xu\@b_y .5uK9i|6BcNϟARN2S4[>LM|PPiij GYYScOrS./L#H?N_+Q}'QBjD{:kdQ%/3G廚tL} a#"BWioNX4 TaI.>  #)`rv/Uք*INXWa$,lqWv-B*|:HڿiwN"W{P< K@r|>㟣. SČ:qXRFgw]Tt $&t``Z)ª7Tz~۵\\a3f$Pm h%/G#RS +N= GWWa`[MTm2Q.yMO[>_;a6)Iu`#U29A㲉!c!]T_ƭ>JYv!kqڳ5n"BhJDOHdڬQE6pkyֶKuv\\X+OhMox~yGC iyxuk$5G BZGHԺ8M݀$n,w#WOCR R)O>Vt$$CfЂQ2?bGP>Ʋ'mk~ݗy\NQύ*@eugMQuQQ Щ@餉̓)6'K;RZ^NGۀwC$e 0c7ԝ  x5mp~G,ˉ4|Po"r"R ߘ[UDeۅ)﫸;:^Yt ((R|It;c11K0r1 πE{'uVb:uȰswmXlԟ?f.n" ++$BWjWq[&ĜȤ+5Lq`'![9וt(g[.9d}P@yt % ;Lqފs@ˤ!xׇG8jMQ^'M ͨ!}?IA˞iF@'٤7{еJEXX?=@[Mep%yD(!Uf杊5ٖ#NrZ=\9jD%,xnO4o+&Wb%qf@Ӊ{ef #u_\AD@ ?2]8_~hwMۜ 8&L86x M 3FT,"dD5_GO An3[ ez&bod2':Ĺ lL"_,/K" uٟ&_K7]!庂[ X,{wjPw%4Q! UfFX%F?nE*<[QnfF/kKi՛=DUB ? 9n% I^I9jL 1;"4#JrDD_^_ze 04 ny!2jH=| u&Xx@o敃qL|Q$ا=(Y?@13Hv([k##BnQe,ȏ ٛ WlVSKV$Iɖ;q).\nM|l̍UkP}A˱ʁ|~tUz15y' S Fx˚|ڡi8 6lfMǟcTus,GX&sSP!WsVwA3ܪ [,a'>(-ctC8zbec*b}d(CfqYϏ@#hJ}򶚭$&gk&Wz_ 珅zUB(c7{}M6h=H|{,ZHLglj-}Eٙ 8/OlZ?ȒV,_l[-{~4B+ nvT!*cyMɃa0 8O}{KGu7Cb=1W<e˙E"bWMehR^_o 0l<ٷ2)|9ƵO9 X/龅yu mP\Nd#Zvq^u>)_9\,k5D5tk)mG$FS9-3 >Q{L\c$]CRe(s~&IESxO$_nRUȐ{J.J {ь:QpiIj{DTzg-vR,b*+ui@GxF;E;χ/a2^젲ݘ٣X ɓTd(Ϊ*[5$#;mx8D?Uu&ߓdgzھ)mmu-r"1\ d_*z(&@I]1x@r^P0voqخ;LєC%G@5bjΌG6K˳ڇָ{넬 qGUMExNhwKpT'bUykZq%Q"#L\ |VrpZrXSuL.z^]^+Ywa8 1plWdn^(ݲI۰RX9?1t e\whײc l2ö{ o- B!V <2O۸@l,?.!0x9_|Lh0eP iTA{eoleG;ۣIwFTvQ%Eua6?|/4+'g\ιxhQU q_j)ԂUu;l764hNc[aLBg 8 dzfL|@>b+[,'-<=.c7Ound{cY s]Y6\'n{IbPW6<&ߣiCxC藔aOyJ ,HIq0$| zHkv^, @B%.p'nX>7di :˸/WHsgR'5mi2|%&:U$Ǥ(M p%Eal'7ᰢy0:AQ5Rd&A4ʻ3T1{.*h$o&ZOL s~v"N,bkH(,!}) ]Yb [A}2B J,N|G3vaNnjrbc;UȉI8{Z—EHM&# 5p2M]CX c*M39P.Too9}EPK S BmX ȝ(`B8yd0.6P\IঃA+4)J=*E/6t-;:0טue= mܒ6̀1J($j,Pc/&h{LOC8?=ⰾ 8Zϒgq  q[j]ef0 ^cuVŏ \_:k#!W>}iwCmThJC=M8@tEM!!*X0 2qC*;.LCkhsuk{V !zPdUoOذV@ #F7Ò2Zvc BC$3ͺQ(9}r8/Z%XJXfpp Dv6۩$Ԏ.Thkk6#a=5>t+,b2~bZ@qpwوV|#O€c>f3':u^oF;KDa*/' s /0+8*3vL.bԪ5x0Hq1SM+(m]#ɴnKe.Gއ栵:!& }Mva.X>jיRaA^ԑ2>Q\TYtODOh7){V+p-Y'kyw֠bϸ[uE/[=I#pa -M/g9jDBU') ZJogVB N[Zjp -#p^e(5]T"dl{5Y(OawsDItOSy (x+r*rQC]u1=HeAەSDWwƀН NG!b9Wc$!er/N2qT88 נ|XwLzOnO_xFoFX< ]Z3gojl﯒7!M!vCRP3A;X\3.)A&۫Vq[`Q=g՝rA1, D?^`ً&1\6ㆂ+Ύ U^4iX۵jrbF&q]QR]:AO)U/{Lp8nhn1#&wܑnz3i *=avߑ!:doL@)Wc?*݈v~E͢NDyFX }n*U{LaƬN7^`"gᆛn!X|a8{k`N **ȻAJ]취>5? lo֤,[la@6 yqpO0-s&=U-q:emTQH#\뫾\;|gui ⅷvØndj8k˨&W~vw FɊJF JHmQမ- C&WdgjYj (_"Fxtږӏ;Hdy"{\/\9z"cEڱ25u.n f>pWc?w~&HHDP<Ύ|K Jz;SY 2WGݓz=1xJʷkHң8浢-Zc::Q!dr8QU.=#al$N ƃ"lӷj{( kZyўzNϦ[Lw} IJ.'kHsGE A1;dsŘ|o 2T3DؠswYtBK Yq s&=Ӏlh}vHf#3SB3kx_ x.9 5L>&B,VSGb:3rAUtR$=y'9-B f~ J`F< X"r|1x=YQ|zކiBh؀( wER)#}a=y $sHy:#O0?1N R=R̼+3,?oGP( 4-,(+Q)^iGH(7jس,owݿăn=q3(ӈNʈ$HrDڲZi|׀$2;,oßg%Z}^XRs_ I]>1)SsVm5dCO!vI4,2 s95װa]奸a ד OܒHw§a\N#^DlVl~d@p*((FوqV)Wwy ^ z>XcĠ8+6`b$FM caqz><欌S(S8!!)aFMе/S[_|4Xce܏5Cb߄-7qZʈuZ|՚lAXkTA13vEkgJஇP/|`7ʇؤ%Cf=A6GGF9@pM'EZ7xC!CD:/V]YU(67'(s>PجȬL}80 QW,S[%4Y`Rܜ&N|7>b - #JaMu^]Gʄ/rcLV~F/`MLS:6::M! U !,U#C 2& 5>VYa 5 AV_G͜IfxT1,Jq=ƢNMQE^]8ͧWkF"@\*.U;t Z&QƜ+pzp?a̓׷.LLqJH8H)Z󴟫. l3,GOWwgBFNfS霦MrfW1;5iəD"n  'W}00ÜR6cc}w*}$Q$t1 Mj-➫3<( ojڬtch&d;x~LvϟiW#qY+fTr$&)E\!(|{|cJg8>2Dc19϶T]ȡhffL oO2֢uL.1zܗ[cMXhARC?På LP':D7  ܜt~9kIc`Awr'-Rl*Ӏz$'4 Gӹ'$o]%(}k8$ue8AkW mA JDzfmgY0:u "J S >J|w?]kdmp;F,ת/0 N{pc5Nzn[[קPfP"'|f#yRv^+Luof)+ t'2$z/ fY:h%5U$`c.}=| ÐV 3,hٍ_+Dw8n(]{ǎc* ‰&zfzƴ37ZWH|Mp T H7 65͌p>+Dhe:\FƍGg02Wߞ'-Mv@l]TS-;vq/Tn"lQ v4k0#aI) .g!4VDtj6u4# N}[SЂ\Ux7ake_CՕXژDB:a2_E=.EJ%"vR}yZȗ֯^.2;ǟ7L o]:XV )+6B}|Y#DUkܸGg_7\uwoXq@R'fu}jۻ*'Lf"?yQn# JXW+"En)wbAKpO1,Sݱɳ+-˻3Sv{k8T1D V$Xp |5Sܞ$aUwF+r2f0 ҹX82£-=0Dch)F?a~l/ <u#[MOd!yܳtyn[E݊?+jf)Ъ`P8Ǡ R:[vgh3K9"l-%)BE~󮱁.0N^$FWLߘzRIuȜjCfAy_[0p^ 6-Zozm=OKY_n%ŜV7Nw1A:>sURNGc&zA10/O >t;\(5%C}yT4>Waycq|y6%[(nF.)kVf k}7fLJ>(0`vShLX]d H G[Wט%h|8䦱lƅhA^x`$.ʶ;ZV4;܅LW-ubQ%d޽} >MK,$0P))'U]Vtcs9G&;2+M3e&/rIga{K|3UjM0HhzM &񸣍f3716r`x_O %[Qj+ v@'؂?p4KiXm8'b\]0|->DroϜǒY#bd+d24K<ys*?dׯ7hSqCލ A¡"dX#y{BTDLaClMkEu"$k=@}@'|ZjYL+ ̹~+w[Z U|ǩPN~ AdeQbxxyl]5Ǣ z|mZ{(2d&SRZRa]NO7Pt^ ɒQׇ5סGVZnQ3 \-@*Z߀NQq_k\4%jM+d\,i;8$GP9_Ov`bIÁ4;Jl˧b22kkHދOv {Q]ͳagƪ9(?Dž";MjiD]<;0At@)qm.e4jUE{Že`x8[$ Ҷ3 7>8:v^f9b.FiE*;s~ JY !9CRULDT^&X]@%l@tE+_hB6th&]u%P8O.Ko]Cۺ"8JphȈ%Td {IݢpBif{*~$BU?͙0tpgNݼo~(dtB+I]Oig^KK~ 7C*DŨRvc{$lEl] ud>E< Qd O? %3IOZrjRp*guNneܯԆu^Rbgc/-cg8RvM,7ВRSjd;\ Z. oQÔl$Oy\@KףR"b'{9O#⣧Slbs\T \<GL -CƁ? r:0Rkkwg 9=][N rb/3#n[Q"S߉͕komD`DhMTC # 1ulvj3D% =dːق{,[]q#0T`@ &xbݱdK^R. u%-U!\P=D6N)^e.m'#>*;A sWCe&Py U_Tntc&&~!cϑlF v젦Vz Fb>qSEmWlE8PɢsJwrˡS\DJZu䮛/ÒMR1w` \F6P?_ti0R_< c-W'${S=ôc&4Wf ș0Zjꗃ>TKbnF[oh2@;{=Y0<T}g~0P| A|SUw+I_z:uz܅H"xOS'|Osv[ܮ*<iEdH*CYѸ(y&:#u 9)Ѻ(kհĄl ūo0`r`A|S2RR $.pR>cM>uOSp-P.dדH}yOUW>c\,1fðbtP]U\XaxGfճnuɃ;KJ>»d+Uv,^.ohzk0+p@[Qw5/Ol" T[[ht}%czWqrVboy%B]4жRKڒ4 (*a$hQDEiF!TH1ow8  m(Q1A0|"j=e>_Yp]H)wIjs|x ǵ6KP]f2;NuAēuVpf@}U{k%pXr]IqIzs!7K9"vB0!\BD3x+!vCqZ#>[iWYu"ED CiNTUp+5"`8?|j߂ Gϣ?XivCu"Rtb -wq9KuUzd)X7U=WѲ)xUkJ%.'"t>3G\ `DSKmK2?M\WY^#oM{eE<$t07i>(*Fo~L{90b> ӈ|`@p-d#7!/Ȁ2:e6Ufn=5FC&Lg]s!̈́BLմsI;GܨĐla\i{`8:w|M:U>#/$oD>׽/DpqY際!z N.5i|X܀Wy0 U&sbV: XooNE̛aNxYgU3A5,~AKp[zjH 5nCe!4Ԗ7?ˤ 3s&D.XO;jK.2@b82(̆: t_Ht;"& V%ra $`aApD{#-*kk锕(OsA/)tin0؟ OoJV߶=?9Kh"Adݔ~Gp/bE>0gVk,$R;$>[ 46jD 8K(3u.|RDUyk rbI'# 8ZuGZ7ihHE%Tx!y5A/l@|M$~㐛">C <)EQ! !v#侷g_׋g_>ZnZURLݬ MfiY,vLf?CsAPcʼn@ޗfB3qS5?`}[|YNs2VVK?\g %{llv|4jºPG%y){rF+bIHXfM'-_Z9nd*VDCLgexA8]dTt'[;Ldi =s4"!YXo8/t1:2Ҷz}txk|LRUBshWy]&dݡ\~V4wuV =C)78-v7Ĵ \a=ؒA`2}O nTdtuQL9Ṵ[ZR 3ńŷ_W@6;Tr{]M3tݑBՊ[I?'ehgV # 箥}e(Y"4&@{CScn5y郌7=~f:;j 65k:87ElAR&=j=^S*(0@L$X II~Θ.G;k|!QeMB2>v9dn.$5W뙳f6W7i|}0Չʻ,}0+.E3oX$4ZD1qVJo+5 8C(k}G]v`9BIO2:GyçwZ5=U@/e蕙ȴ.1,ܺQ7a+Z|HM[8Ҟ-U^9XmOa*(F :-JǖG%o*]pKeS6LOQM?퍱aqaЍvl!>|t@}Ǖ(|m;g, IfSnԄŠ?N*ą0'X_fx"(j7" ꄬ3Kh߉afRҀдVB -EIa"n:w\A׃N^EaKRU{Tr:3qyb|JB J9ESxlz>;ΧJ4֜QV"(y†h΄ Š̈MmV`zj1፷nFgAQO]lM Ft`3gZ5WhuVHo!(ŮmI}?{ z[ZtTߏ"D@Qv=э2*sRĹB'E%N[nSu lɗM$:|juPu3؝{Gz]DT~&Km y;; ;:Y6LZN ٜ1V)C͡SV|Cq0M 0&5lE9YZSLMgRDQEHǞ5 NJ-fW|-%e|wݩCd00Yts G z'lk? = șٖ':PvïAnRS V٠a!جPJ,̴o;pg WYiRk:0wuE|yj/Us.Vפ:S mn6?%I;$y}晦 nZnH(EҒtfn$ 6znRA/QT ZMD:=\N-Q˺!A6˴ ]Fl6%/g dj<^Oo! kR-y*J8uѢvJ9Wl2 <;A>9\Ni;#>Z\,>a0|;& JXyFsDN>2ڍfi f|d<$ACgZK}0G r3(`T_W<1mdG\*uͭ&TEU^m?LJ;Ԇ7jkTCkV8+ORAbt '9%G&0TSW1G P8VHaoRmW]Hﭜm>uCtG'/R۴*j=vbX.p_2@\L˫4V(;3>}Ӆg;eZ~wwys\ȰG!EU[0Ue%MD5G|L@ksd(3 tM֐7;|@_kM9V!aDno-v VntH%t?YM/WzGAJ;DWQ4ʨ."Cd!&AVTJB=~L#$AJhoMj!Aϝm'blj}03B!*DlEPfa>"e OMLј@ |ta902Qy E]'*3iE^2[PaS]'M}+AIw)7}CkeRJ+^t7;AߢO'g,&("ScwrEb A (8EOi +2;[T͡*ߑjY>'Ntq9 *+bL|ym!&bjnNSVK>rHk)A g]1@=iJ!92]O<}xblo7bhç\C(<兹+q>?jR(EQ' TP= Mu)TqX.#(bE ˗HF8nqTj8 b^|x!ʝrHfG qR-Fx #\&3 x`x<ó̱r;b.еYm]~ j?mn}X2H')p]Uۀ,mfSujB>36.Q|x'O3]{|c;BܻBRT"}>:M\9Vn°fh!қq.J<,ECZ"η77K*-$,7r_ f8*(u`"]H0 qT$?} ɕZ vB+իWIN>u @Dxx԰q)7K?}bdx K}sOΎ@k&e~oүjQXp #8CLiB9+my%ni΅ԕ]-6䰉<~'9͛ =)k ,{=_q濮tD-$cn4*fr؆*ߌtmF wf^EF\**XIzBq0;?^OlWDSa.w1Ht)\4:+ BGqw}.} .c!kqY~|^~,#jǜ8VҬY H7JņduavuoRvGSmI3a vFH)쾈ˆ*Y&zE|Oot|pi% }$S=q]Q-LfH\3Yplp+.ڠIUf 7~kљZc@e¬W&sw!{Pp~@Em͉&Yd)|>f}ʄ-*>95>LSl8Rbx`5_ 0zdE7Xc`u/Iu[sT'MiH6^=s-92jϻluƔ~[!jb dp(aRXl)X2kuhA3kuM]-X dPm[Y]{S6U( W%*,%8af9Vʷ9Z܎ ?O7kKRS=+Oփhg@+WBe+=Ɋu|:I~< - u07|g(BΌi ĤXP$`<΅ߋhUGȋ%pJj\k;c Ov?I΃5([Oq9>VPH(C&x$tY&(9)]x ){qW/i鼯7d|fQǎ+/N2{N˘]L( we~%!>vґ L?6XMotLdڏQ_rF=ob䛰ݥ n׷r8ŷ) A$```т ˴jNQe[S/(z34 QREݩ&MFN[Y?PQ ~nXSg.$2!A;p6y3[/J/,Tn.PDHm#D`є Ie\ !u"DDEMa7>vNLl< M6 %`|dٯomWϵM hbm7$]X'OύIHCF_n^`a|epk=l;odg_n.R]l`أ}3n*U X Fi|R7OٿYO寽ob*yeW}N"?= ?s+,BUfj/(Ɋl2I/l SQ&[HԨ÷[S(OHݞQd,;:>uHdlV=݄lJ֢P*!G]$n{JrpTT޳gކ_upnahZg YT<]P"1JcsE[TjBM7}5V{BuG2bf~6VA8@ Yx`ΜffB"/yD)h~Ȃ1i~i ^E+S$]Q]Vv[m}Q?J^ʘ)t}na\QjB3qҬ]?"t3Wg g\9Q4$ja1e!J􄶅4 't|7@~v{N턾.?ShcctENTU#|?:IҺxha<'CA۫XDcP!.haxX4V8Oս{Mҽ4E=b]\)$M$o}Ȩ&='M/b*13!ϳI5to[=_~D>`Uci3 j]\|vhlLodV/˴.;KTY9pqB*QUoOlZ2VӤm\۱#x#Y݆R}} *_;qqma_{dR͝ǘq][:_ŲT?DsH|tw4:΁_8L^Ԫ՘t#չOjH(&՗ۭwFjCF";eaK^XiNy/lٷ;Rnz>ẅu{:;#-W׏dsiՁ]?֤^oKO}xq0V "6KOjR1Sj7y(f#.FPkbC$J}ܗ;b"Ipya^XJ՞IʥB1!*5WNnrl( <&%ۚehPC"[YilR0DIgwlawPm_a HeOis.-i խfgv@OSsOÖ?+*Dpo>ø03EWfW%S$s%z4ġzG2 9zeug_/diLm#ꡜd,Zh%=4R#N ]H:xcm~(m_M rg$F'7P[_ 3V>I[eG)7|Pv!Z. s+ɻ̔J [gU!"l Ãˣ,]MU >cz'v<^|O)TM/8υ÷L1&+ƾBN qڢ"Sk XK˃yȫ.npydŐn#>mr˞ܬ"[6fuk3r0࣐ >d4-:D^cj*rDF6tCqSPxt_G]9@hN%~`paMq`Sobb̎6m Idė2*БM|?~>8ߧ7 $!rhMgzNPW։[9>נ.ߎ?PpTZxU`|@Lr]LQrBx+ ȳFRˤcnOO{J\ Pj`Trj,RjfZ"ހ yA sh#V+"ɜe| yW+4%vًγ⋞*ޓ_O_ނ iɨ`3zoFziaS[;d4tH%D&E; ?KmPz2/D{G= XX٣1? _̛ }Vf[C0[wsL@i̺c/4,n~*UOlj׶ (i{i؋mtw?ѝ'.X#>B&{ZDLإ^g3yr6EoqDFr km<;Zj0(U!1r5zqgIA&K+wŶFBXhn4,Wf++*'-AQB 54^qxhܠ#1pFrol#.5)*e `DQ~)=䈭"K,ųSB{[^;޹-shȻJe}pP\E/7%JZbD%Nn}q- єR#L-nGs63OBTR'mt".aqS)uI;k?b7.#,( B4ҁ*l]G:Z4_5/ǔB~KsCcfKW3gxI4'$; W:^3$ GxP'XnbO,:')fDn\t醲Y|m/[BJ?j Ԫ?@YUD#k! g@p]nݧ\Te']"]g(1'N%%ĝtITlkEp9@8уo Zɷפ8 =`A9?!he!wJL?+HNC5#p00z̓D9^W7jphM֏@ZR4(p)rtEtiU"=76kh~]zO@ՋJi @Js?s=s~N9fl~c#҆#d&y,th0щ=K{xݾhuSees|gc;'vt:L\?MlAsH$ǜ,M]&.vgx`}U9ӕ%W5go;Q[8>/{{y5pmj`e|<ɱ$C)MPQ7c[ķV1Ǵ(c"PFGʵU꧆} " ΐ.5oa!P6Ywxrz)f$p7'%id >('JߔN[U[h+[HND~aegh'YV )k2A rlI 0i.gH02F Z>GbFo4?_Ӹ%Qtx$g>(+9FƏ F=|7 WiOe BJ8B5\=CFL/Um;>aЧ>quƦnE8O&/ZXo@Vs]2#rvT_МH~͙~u ] _^~׆Kle5WI^Ҷ.sv6vEA"b[^zD(Qu#doa-\ɵT#b{q%y->1OP(ٌbjE˿:`wnݹ05ۘ;Cy܀ g*6brMK¸y Lj’a=UN Яw N6'v1fb2V&sU=mLSPVC[FLJ9(%\ȡaļs#ܱV| y9Mw.&x66I%FZR,/Պ tDp[h/GNo Vޖnx1?p+$%|{U (צ ڣp87ƨISV4Oz];m`)<UV \Kmթn/֢I6K$[U L30گ\3i4q 6?Xb|÷ViT'`pz.wIK N'ICuNgK4U查vY?d{1uAZכB_pCi=DùF$jl(bgd᪇x8E8 ]ͦI%1 ky 7 7Γ C>9G16<(tYHkWd/m %NVx🅯j=1Hv$~x'eAÃg5BLl,fE3{eagsbs)p73x:O5 #RHLߤj4|LєeZ, lxKsҩh~eXNK*1^`B#*ڛ9lpK_ʾ[P).xu+;-ߩ(:ly7cNCVcf| hzY6AV߬6yWz+DÒĤ;vڕ z( ɋJy2$HnZhc'&9f5MXQ*wk0>բQz;uAjYwKw]^YYpLeM4H2G:t٧+e!q&]LpX:`<"LO[yŨl,xàӴ=T0O|'<%Ubg;Huvjh?Ri Mpu1yp鷙k~ʅٲ9D==`Rn9]֏{ CHYH{kP)Tնe/Ԗ '961ip\\;F q׶P##'贳CTҢ]}OYy~+XSj`fz,J{(*oNqϵ0n4Mo3p)_KȸYg[ ԥ?i'g84tf۽|t1.}Lf WƿLPqw(-!uh5$?y5zBMIe~t?8C-Sb/h^M-ycx如B >6o4KkYHX!(!ROͶ'MGMÇUu*ARG2_԰ݦ4e\,9/&zn $v+4֤*d>% MHnZkBavn_!7Cr v)4W3A{9{̧̚>?6Lt=&]j]*s#GlL1-r?;'bϷߣ ꫢJHU\/.,DlIud WM *ShF~bY87cw5/摒֞8;>sKܫb䃃W #K.o4ZK6EZXj/1m9'gR}ܫ{b,ecH. E\0NqYȍ/DQeJsXn]ͳDUX2 |ԥi65;ā <3s7#cz pOzgلU ̍o!*;rH1{ )ҲȴV[U.,գjKfu?O1lS [L_5~s3g32A @U9vK DoE{lP̘ܵ v B@\,*4 +/)md;DA]Q7>`$WlUz7ʍUN)|u+4\rT${iu$R)R4xiVmm_B@Vz[s+7V: u QنvdgTLoשߋ?څ^#mP ceL8Vk'i@`3./ƻ IGTBNJ"my^A `*½@<*hhA/P*?؂) >M](Z= 6}kܶJ){ \x#?!CyݥIsJ煀2.btjr'u~Gfjzd̳<+Æ>\NVp$'"|Dʬw9Ng ;ĜXH& 6-e޳lpgMTPg(^ 28GLұqn7gNaA}e|T? eL28Mvj 1~z6N#g$:^>'C XW2xA;aJ$S՚Bv bz*Q3AlW.wLG"De%^Z7e=YOw7H Fn(f~<{Pq4?Й]9dxL?_i ";Vj '/eXok*{qzB؜u9"X4Hgb}4#EO͉ekL n@)mPؖDoۚ"i[ڔ ' w}[6\r*bi]DLe+涖?0)bYlcÈk$ŜAIk0SFΕmPx,Y{gcW:&Xxak)[Œ]> Ya?Lnvcf{!dIYe(׏>)Ƞ_lLSPRmfEF6KRBN6Q'Zy QO#Q/_jJ=ɳ/rł WddZD^_CD,WhJ"J4hEsK$Szeg$H_i6SD]go#_W{ q~qGL!b;+o➢P.:D/ClB @ 3H: 3`JbYY!:Nk:GD wA5mQ7(ծ']՗ל҄F;`7CeS!џgyL0| P,]i/7j7~I$7bzT(ǹtKo fprٕ$C~Q;E^Km{$G70]N0u6iWrNaJcAryR!0/{;IZG/]J\+l`y7=#sIw$QFMY5qo h9v}ӦYS2BE8s7:xU@}NZq '`9N}P*l>}{{xb.UB-_os?<\Kl[|X8S|ѰwBfMr8%!tkj498ѭ@8Ʈ ZRT@N2