SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 vvR%4< S]HOL-Analysis:threads=2elapsed=556.227cpu=961.008gc=65.084factor=1.737zXZִF! o+2Q]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍOW#al,+t}dE D1Cd)I+2- sf e!Y%9k(לjٙ?]FU}mK*:1 < SS($pE;G6F7X0'Q-sl}f)`DIuaRqyq|8QKIjJvQMPdW+eJ.&PC |!Hq {K:㍉"7q 8QmqJbe#04:Lp{vAOѫjfK0j6j XrڔTJQ{ò#4:=7*(]k  p5%EvWS_=0jLT}8%{ģ("z;j{TOU=YZG@A'CO@PLS[Ǧ%+Q2՘K0 X ;„^ߪlOMx%Z"}s' S<훋?$o Y̌l+'F{7r*F+*Ǫwz͇VvzVnf\j_ m/r A[U*KH XmI%_h@x&c$ Z蚇́0KuStwLZ^bx;;TqӸĒefי(UMڂ1sr,PINC-5 wRB,2+D{";ԣGi.T1.նFytuH<1¡.@`HjaZˡpCacTғlǯ n7LW)%]3YMw Mc:X~ xiyUZ=PP'xz; 캞%~y|U֙W悈_75pnUt.Y0:׵[;,<) A ;B#U$ A4/1i*F;9eԦU{8i@2ÐjZES4b 9 FsHB8M͡=IAz.L[u}\]œmz ٦$C/BbԨ51F費AR6}Wi˓CUAsqotQcUʺ?^+ =A:_V2g!rшlNd)fgPhJ}^~~K ! J dS[q\׀rZ<ƹn;,EX~|5c4D+ ph>L4hQ>D.Cۨ凝 JgIut:5o-IFۗn?D+LP0SFabyx+^D=R8EւIzdQۊz'xNmf\^-Zȧ\ٛ&|?ؐ.}А.1i % HOL-Analysis(t*R|L"|E ~)^呿%[ɞA}LR,usOUzFv(QʄSXgeMLq=acO/Oݨ0`mx  {65T@˫d)(:0֞qI;UDߐo|v!?.GNCC9$R5.揔.Q#wC޻9DhAf;0cP$XzMp,R)yP(庴!,CZ~tIGL$-K}U Z.am4y ߬hi)Pvaᄡ߰Ќ܉ 7EkU/ҜuI<(~ӱ* ^G 5xH4!3W!O{TbPbc낵ǼHr8 C|̏`1M Y?q,ɮkm/OjQ 1xw3'bC) b"+ S1)c}4v{{Mv FፎEbi*#-JxW\|vSN3FOת-&䃍VSw>UC eTS@$s0c~Qg LMk2t_-rkcx!#l[Ҋn5ﲎX`Dm~BHհ) hlɗϔZZD[?:Lő4W/ů'nR#Ss8WbS"Rr~$d}ڷϧvWz/)x-K8^W W" GKiY"ӕZI98->AߠEb#P$ 4.8J faMz{ [zp2\Ѷb'Jⲟ PZ/v{IA'Ɯ|o|!0Гy&7ߠ95J K'2X=O2qK/}#hլ8R ~.O U>ec.X]LT_MB[[?ar\QKtcg^\#׶&N,+y9͉QLFоiܚ/FeByFgLI/Zp{+Ch,;&s6Uȗ1+J oGn I@?W+&LNBFf]tCWѡF-ֿZ1byʰ(d$ 8֧6 \#h]+<>,͡C)r tc iaN'WeEK#XTMǜ5 qTN,l|Kf^15kv}:p Ǭi<Ò|qF+sLypr:>rvA`G@/%Y)Y'c)H4hsT@,+gcr8qGu6|IkCY!yP7Sc#;M|ΰٴԺx Q)ѵAw}\V=yF s]6N܉BeE|T*>HGE1 dʧIrב0" Qe -W|gRS,4T#l+(O0̭[SA OoTlBcvAX&.oW@90vQ0\@T6Rpxb{.ے"N=yɦգtq 6f_L4MGw;1vsaW9gRg)qUcxQ2]318wI;r K6 U&$Z@բfAn (2AE Wr}Q#^;OmVk3.d(wvo38֗g;j+b yLiUZk鵃RJPT@gAS62v 89s9^m4Ӂ_wwM|!W*0?)bj4Ej+G]~Udi|;d]\[s_!g3UܰP$[b zqm'i& sKj Y &9X7"ϯ* k+埲~8R0;3*j+c$?V%,(Eȏ*8"cӸϚ%r./e b̆6;-,~Y7LZQWORaP"s+ּ.E F+4-~یT76,:MGi\l ɠ"`c+{ZpD?M3b9w#PFMW(S},Zz2=uڔ/q=+\? \ȍd@0ܿ主ݩpDhU Á{y9iVԻ8J4(x z'OW)O! +g&}rV",d(}B4l߭)z:cтQ~M2HeLTO1L٨)ce]&c`=5:އ:AИDX7_K)ڴ7;> B分AVk[e7uȁΙGI&9yn$-޹,0؝pJ(%|H=^ĩ~ƩBV=.`E/ y:0Q&D Q B̤1-fmj8Sb5 o 0!+.C/^[VclљY2Ln/9|ƙ9UX֫96!ih,9![Zw ><Zl>XBNbڙήT^җ`Wp(WL{*Cx{dzXDBLJg3=B~D*%%ӵ bSZ'=2JR{CIPZuW>Qv uD_04חǮ0@kSo`yU Pa{L +Vu0'EX({,Pµ(EGefBd:Dn, T?O0/fsRw޷@64XHMo}\sZTbw e"-J^EG\u=N#27G(I0#m->G05r`>˚UaңBA#P{خ.!6W`6Pq< _a%w!;H{ޅ4` R ̒iYv_c?B+E'OMqMsSľ6dL?[L1,B\D#<7[Ph]`A{xݮqr)'GZu:Շћ|R1Ksu!N;垇r&]B,sZ=tG)I0.OrBFɯ0V? Ztr¬" AgpLR6{FTM#c/lMXVhrM1?j(^U'P^5!7}Lvd& fOJpɭ_vH9(Q̌/(5iCG9+-&թk;oq ۽lֱ@`%z_pmFzfm[̇5K;l45t 3lTWxZ_yJ`_`ȎXUlyUUEJnpp!@ 40w"ΊnX8:] l~2]IxNlKY4tȷ@Xetpf iIV`vaGw AtЭ9j"cͯ3N3AW؆!7 ?&0CS#QVQ[S^A~t |j=13m?Xt,MN&77 ^_AM.:YiL5\! tc4%(RZ-fU%,er ZI$Ͱ7_(EkqVNigd1"(hz r0EAgk34l{eg>A"\iQ<չXL{)Pdx}`|!O!>\) 5xĤ2(ij԰~ k,ML- 1b vډ\s:?uAOdrian@u$Ojr7@Ozo(fZN=Yq$bC2^uKLSC و}7Aژ<MAK(Ō.٥[s(v|a|rȣ+~.@nhPS%%1[WSN}_&7/;!*qwSS|&=nmZt ߼ok@xD'xs+>F9 “yWWx~Lem4&ɓ~Yمr"~gK黎Dݰ7h*r-݋/#_qU42n o$"(]ri79P0Do8FiٽӍLݭأrNvudb̳r oG#K; |O/Q`hϨ t'9|O.! JVb٘5zF7IqpuXIbο?{`^f80?! SBoINR2UyUucCYh&(`uƖ(k:9kqJi} )=pBhYdA>x5&@Sb# ? pT6eӤwtT4 HeF-B z@vl\9- *2A_1V`STO'&3aI޳FcJd6+-&ڻT)k˫6zlRCS!%4s9aUQvN2z4Y/ {ɨbB\{P*1/!AoY{ O|NK˥MuG5[pƚbZR :*A4&+jUjѨ/swҢE5^]ayv;"]7|zxemՂ ^u~L µI9، V2mn2բPETdaeCN x'm붜-:zyH^.b7 Kr9mc'lL""xeX^>!~OSUVs NBD7׭pncm[fBфR D.np)DJ!0 Ex^C m6g"Y~;#ʧpQu%=*,p>Ѥ%FsUfG݋DFaC_a (o! ]Q8n^`HOu5ûNT%:S&Bbc0`mQV(ދ)aOػ)"/(QDQR%TUWuX$wt#T _; qRi3=kT̯-SORl݊ 2PjDW_O?E s=w⛿1ÖU 2IiV%vI T#ς{ K 69Ձ1q,5[C[C܋P]Mp{Eds9 5%Yl$ј)˃4AyP 0ӇyQԌwŨ?Sn4. Gxh\ªxPƊ{Xh"kV˪&gvH6}|Z: !lKV,ڬT=,` ]+ǻ\2蚕KuàEn̊R.jK248σ"yus`-{e8O@NrCrF~$u{ZًHRiKjg|Y3F{[w qIϕWWFPsʒ7 *r!CWl_i@d atZ.I&Pƙ n왌=~6rW%}c`r(A >^ GERk@Hy8v)yW!,V5?KͶe+q.;=zEKN8ϥΈO'Gb˲$Qz{n=?w)R̖]/BEˆm *Ff@k'G_2%Ӄ;?Rݝi eњ|,0JqËM%6q}DhI[SR` 3K \-Y JWQstcE֝mBsh˽|*s n-TEP$la.ޘF`=Mp8eh`wRo`J^WW@nBH#>8dwXIRGIܲ/r|vʠPA~3=X_\)l)_xX4-Ud2? xޱ`|[ pvLm_ S)& |&0Ix$dpu b[!{f$H͞:T^ص7aáRm:#%W[br'1* '0/iU;Νu~eOe x%_#Ђ;'Cno2=.4'V SxT- zU}֔HYŨ:eyfZ!t ( A2֠He}QD.Ir|g8O˰OLH0uUIgx5(Ai L 2LO+![& ?rH'כnQ Pd51sX},0 K'D0qKqFUQPό . a6!SH(WOLKԽ0pԴh薷vpR%-L\!0{T2y]x4.XSaH7beL}I@)eFfh*z9}iݹJ"T@[#bnH4Cxax&۠w0o g14gmcFơ|F АZ#]d:A2@mФn̰_c2A!8 S6rri˼mxH(-d)kD=PW[](4*FSeyͶ1d=UHɊj#5VPY% mmH?Ѿ8y"^P[\ hafo

2pMW~&OOM0sKS= ;RUcmU%^^1Vư~st:܀7}ƛӤh- ħ* WVS7۪ o)A%wBAvXZΟ+N SUkYO79֍r/|+ RoH9y1jCS 1u0d UTgYZ7zXZִF! ]ŗXi%PnTHtO*n[r'N ]Ewe]o>mQ(k0-Abil$yLƳӂ5*%Dw\͐Jޙϋ~YY2jf֏>9$'n!f#am_w|-#s/ZN RB:jO "" `@|A:Uܵ"HG,1`;i6w)};{43%Gnclj#&)Tߴƭ×®J e𘮁4N̢2JnkKO`I~G%yI1*/]b5t`˞ `9*{,?EQڡ#U'ZkSc V*H0z/:q?{+gQN.-T]G5(h %G+$kDw!x­*kO~:pZӬϰncL~{E]wom[fӝKV qa!Sj|tAPPrّUӯ4-*b6^nUK7)5Ӈ%)p 2@WvjAp-VcxOp3nD< s d|wXJӢ28ξ$a }ruzg:#u-|i(##[7p w0p!}*ۧ@ebKTW(K;X=ûZSBDqm&(7T-G_}5~QeG]?%>2*_bF&}vjljwxh^S)ɀ S}F=23(<7ȍglBW4;X7WŸ*͹D- U62y#W]QB@yqSDys1^, 9]@65O@n1=J®4JaK8K6ܔxKҊaw0c(;edԏE}d>?i~r}6үU^9ΓSn|)֊F%\BlUf<_k Ap&6|MU:ͯ_BPݛ< 9r\!L;qMc;`U7AlU2@>*i%"*U'rXsfn[1N YUG*,2̜ BEޚ~s]WeUlub1B\0? A~y` :X)rpj7+Usf2ȫ s!lµQט:ywaZJt鉴8 ;"2xfn"MPYӰjln< 2y2[YO9Pc!랝tdkC T11s\6R|n&1͊/P!Z+WLYg d2gXxӱ'4XHZ2ZUdO5 5⎌~2]Xd"(5+D_ļ%|a 60SזPnjӰpf {EygwZb\?1C z&Х+`1rƟrUS)_J+lN򤬬K͌c"gW@,Yhuִd?e;&zBy ؆૽-3O`!dz:.ɥZotN;WXpI/Yji Sܩ8" >]Od-o ^J]}R*=RbM+ # mHF*dނh(@N6؆)"M].hES+vs6 $$d;uUWh6WKK$sλ_B .cɆ,byy}~IL'N)֯7U\. Ԣ|)0kt5au]^N"tL]:<)?ɿA{OGqIWQ'k1_b#\MW 8VYW*ʏ_w f16afbӮ;P8HwH6ߦ'|P91)>}.&?H5;nDXiL,< L-c ^Au4/M'LNAlz/v#v4ѓ@+p"7Gw4H#`#Z[ nYb~v]N"KWz@R4i7 [b{$Kw|#Qw"H-1Y]Q_Aẑnsr 7JT0 RNv^(M`u$I?՝uuʯU;ܯI$:p|t*W lfpH`}UV 4&hH rVBuyGt`<>W~j(o{?;ZQ̮_Q@.4Q\|]"͋KIIfڔABv*;<ѱ!wcDXfgd4pgXg.xGi.+?D\_j}!#K#USUt1Ky`4`IyO> ix֪QSqЯUm3j 2K5s|\bI=9p)<͹&˳jM ƺrѩ u 5 QOw fVF \NkޞX\JRI]0 SE;G3%ګ󦉓>mmbUaMHd)\xSTTokUeyj`+&NŶi}VEaġ[Ѧ`'gfڭ/HC\F$l")y徴ߔ$P`u gşGk&w+`DwJILM,^v,;EEƥMj6qp6L#kuTO:s`Y6 W.B|`RD}!Ve`2ufm],-[ dHRȪ4ys79U+o(FXu[THٱ; FFdمX|0BI8WV w;H\Ө1 >m_ \yMD֛2#}[oӹ2j'Da)ԮƷᬣի#déD`v 1Liv@K*ҟ|^Q|bS9řIEV \hYa\c}@q:QR)Ai X5_kш &=-@ /𖨬tҘ{t1鼗Ik6E˽gV qYT`UCA VE I]m0QHr潯+7bj^9 kĵo@.6-n |UV yB/6-`0HJl *nI Un"Sʨ!XzωZ 8;:3N5\_ 9'7k-'MGh맦w4SythK#.VZ= !*4hc*{;S Vf1_ S]Dr*0y "_ \ 阚Yn8r1^t)U{3UkQX[+VZ FǩjaΝ핻+N'P'[/s?CC==mOեMLCRz^Z ^4CKH$~x<ݪCD/"&,sކN *lSc9s=ezfHܛbs ^(Q=aGLi&=xY! \]2I$j~ ~A Ŋa Nu#%_;Kw|0i^ęx](󠾂C\^}ʔf'>nTbtQ{FXǀ٭^Yr߂y9[iϢXK|e ;ث{AL$QoIX­̤(J.,bo,7-cڠټ2 cOϢNIrLw`!՘r"|vֽw~OvČg/*?9,v*0x^Rhnx.[NR"P? baG"bCA1_*0<48!\pwp]ިYC: +Ҝ-.(b S5?^Y/:JVЈNGT}#|T~uz^]Ԭ9{ꊇa Ufԟf>::/L0Uͨ `TQ↩wkvoȇѷ%!$A>R{4> w ]DA"Ტ>ey/)-]~cfN߷S9ڗ;p*K#y.kܳ/ʤh%!Wcn_|}f&j+ĕG;j횒ʲ (j}W歧NxQE'&O[5Iik훵'kC'z6me1L-ss&Gu'7~pz > awz{(IOnYAwvJɨmy2eF.djq ~+1lW:I}){A!.ͼY!D EFPwƽX l͉##b ArH`SYut&Np(-7K[@8U/JV_‘FG*'[#-5jSH=3yg5H0mQtO6ZGVR'2om|)T)4i5<|U{YURH=,(u=V]Uw6 6SED FN)jT]X+uU d=ysjޠ=1D#zQ9Ѱx:R.3,c+{}jU[Guœ]+ː\EjnvOd `o;]}=}MnZ'q1kݎqaixۯ+~`iɩo 1zNJE]MRgYwL`> ~C>B!{y s_<&@ݙ9C!߈kxƠAټ<@_ip%61 0> t]O/_œ2_% .fwF 6Q^JYB⋛B:,rx}] &{IޕDGʦپ,Ϯ=UU3sUv&C1E&Ȝz $ p!~:՟ĂXZ=OT.uF34qH園9L>+4&"|_ߜK~ 7"sB68Rd,G>!e)7!i||rcbȮ՟ZWvu9ߩzJ2 Գg@*7(3ٚ|4n l qY6 63-m{db7x#DO\f@UFyb{qpn^XT;b˟v$M-f\mAnsV,J ;: g[K\_MJ-h(O`KuBsW{Oۙ"=t NV ZQ8+r)_X{8yzh,uq}MK""|&aqg`9u ?)yFEl)G$E+"Vͷ:H\[n>K~`"z[ߖ&d59܋lc&kT?\N8tz+1c\w蛴S(e/c`jWaX[@ 3D(G<\KRxc6A2Zv]^N`ӹ\Дlylᙙ?p _@ lME᭗`:{:Xu.k6 x2ON_?/X_N`޿|d&UXF'܂EuI7 5 HXMlEՎFH>KfY"(Hͳkم,G(?f` ({3&퇇:/IIn"4bJ1co~bY5ճMS;?,ihJTyP\]pDC ^BNifR8E*4z8&&8֝:k*tfa҉y;"P-u' Ü'b?L/ 'ѫRJ.԰W5J7>c} /*q4DrdmKb:sې3c)Gӻǟ:_| z?so nH7MJ vB  o1m̅[uy 7GiPGUBPB˩byVS03AMW{6@"V6,)QO9WƇ̬q'PW.s[گKkEj y,%d>M# g*y̕LU@u d: [bE7ՠBjOG$+ga-t.90KͰō`{W!6h66^eH6Np饌pVh}8BL|be[JGl,9I(#X9I^ང1kkGBdѪy1ޭѥ:Th EpG#ZuYI 1".-04_x&! 9Ɏ?zʑS$Iz(srK)~\;/0NLwMF- Yޘkx9 ؚ#[=O6 K *zK+I]YYϠboh<5b& ?)(L.-^TPNFfnKxR H)T )6 [AIgMlDXY}Z*ML+ǛZ$Nly!R2(m&\_JcԶ@ǖ"Oź/5nOf@q# ,@HS&YB-g y BuKF 35t O' ))^.0HO7D/h&:' "ߙafU=-ndO#"XtzM !(YUOf^onKkV*6w'e%hlJ;:c_XAk nJn`TKitq6ƹ+S|X"oW[nNuOm+ D4aB"礔WkL>xlWׅ-%L $ڷ|n.f:i^N{֖(4;,OIXACciV*iejjBeL;C~(Gk\:AK*ah3w Rs(`q<)e={G$?~I[ȖBVsi/cXijfx#8#+Lήו3|xd.=mY jl{6SJ'5^[(Hʌ%3xzCrN)?<r8Z_wvV JoҮ "s t@ecytbHDŽюi:|,O\BI$!'c^b)ܞɐ sEE+BmbpX߽"ML{Ც/Z J!u2 H !y3孍qE|_r2+HѨV+d1}ެJ+uIhy/{$rBr 0h=.6C;L)  Hdv%4yՁ']8z-om驼3P?H3Je /@R~Ol$A7 6E8 J7噜 =\ϫGl@`Լ P%io]x0ӒzjcO"v %ePbrȸ`-YWn\b1zekk1Q]v_B6_5d9dw0ǰvzc WѲtLZ9C),@`r4G$U øřw7-So_^\0VK,SN4*ݸ8 x \U=FZ (Lg6X3a*ڼ= ,p.d:aҨQjkxo΍ QG!8^/Yj!gE@gZ*+^a{٭y1ؾ:&9Ohm/&;ɲ[bՒn?WtkZǏ(#<rV9N nPOaW/ bz!ּg=U61%;t|u=ng y(5fuwQ1忦(Dͭk>%y[q: 7e>R*n98 @]^UbRfz)MI´5  ͜M#% fD3s\Qj%o3Zs=VGgy{D؝'03`y wx8KBeXvVD'`f~=ޘ^M7L:ajdPN}WTS lq_Ntؚz[0q2~赡L8gg~T62kIV$iJp,tg -ZKϏV\J=X2|NBK4yX(1 &e]dXs{C3,QeʙeӋiQ_< soD4X7(BȣmYQ `܆VG8o/{0`NwFrr@B_E)TBI1}4;e10sdH'8}әNpFYPh4pPp}/q&^8/qGPX$9j$rш  &*dw*1q:5 jޱ@% Mp+Y%l".|[0?,~JdۤЩH(t@eQ aP ԝVϋ|{l JaVMŇv&.T @#̣ݭljqX j%|r=Dofq9D@9Wo9ṢJt2gCogbb^T}zSÒ;vC6n߆{={yZ^ƷN,>٠_QEim :Wu䖼Q~ \IIe 5&r3.z^.X-R##pZ E jms薴_2fcy'r;yR>/7޵K"ooJ >V>PAm@guY 16;`Gf$ð&3U` !&[qLi¥J)}kSl-}(ӭQA֮ȅ!!4 ~\+E(ar1쀵T5%M) ٰ b(BL.1YK,t~̹й3j)HUd@s$&L?V!O@J:.ɇoL< g/| 2[wbڦ. @v2sгpRZV=:,"a2&,dܐS|n.c9R0"OfZzf:3c+3L#"˜X=׳`P60NM ChV 'ms1ͥʼhK`}@Vuڏ،2Eݨ-~.UX5\~ZqrQpH[,!{L_p(R:C_ 2H6?>(†Dk-qWWUr9}o[kek% sXD(*mk aq?"Bzwd G3aAXٍ_9-,'Q#gk|ɬ.ށk pt*D 8Un eEOM8g(!V9*ЍTlEbxէ9Hh~Yo@ޜrH"cl~nR6y?BFh2xpK sHr >W&-ݷGEa.Id`7;x'UW wB9j[RiE{1 S2~b,Hsذf.;2դ43743PKrG F\ҡqߵ0}aEͮ;WdC7n\0\ߴ0ƫ2_JwdzEhz^'9QCwB OxJC?zH`<̑"8I.z`ٔ AWcv>y~S~OўY[x0ɡAcx͚cuBRt%7Qf,ylmͶ-%' Ɋd4~MAHp›X tnnm eTFpb^0D~]6Nk \Lծ4! ι&)tQO2IPI'Ydq͇x!?F<ŨeG(i96u>ryx)eSc CKq LxEixi Mpٟ"^W{k@ӏUWpʆO4~ʶ͝@|SfZc v򃦓qqOS6*Gؓa=TWm2pW1TMGRۖhaIqAPZlQ9[O}"UNnI_P>MG}?{J&(\-w2k^AF(%%z"D)n X|]t >4Jz]2Acg_PG z»1#,({=d<<"܌^9nx[4[#f'v[:C'L$\adrj:'@\bK# B|bV=M#&UmRE!L}t<\K+' zfEQb=RW1p yMP ma{`},1$oG.6üO+-tv'0EP\?XFxfDgZ%oq|ZdlspK'ݴ(zl f=0&vu$&޾};N|.j  g#K%BE,G kDe-D/gMgf׽sf~-Xsd\{gSFxxD,&% Ih#!x=bB 4o7 W$!1.Q;k)o)Rъs U/'d2Xp{k` u:'g=%8.!wYQFSVY ?q~v&{cZ04Xhk;tx!n^jVd D$o=< RC$@"&ۅ{6^' ݍAV{|ut}ASh*}%N3&γ3Kv>'ojAvEAblXROU i/z*Um# {B, *0sn7e?8n r:-Ѹ'a?/Pϔ evȄdAd1E8yl34EUK3Wf3d<مE j)_蕺RZu9*^,B>UUTEocTa4GK@pz:;/t%s0s 3}Iq/q}(+G L ȭ1,:/N;9 C DȘ?'LyzTؠ|K{-luvt2/'q3Tݲ^3.7l!^U-Ij7 GkAsyK}w|H$30 '㴝`wyь@MΚדğ-pP~սWBFKW:Ɠahj)F ieYreynbըINRP#EjMIGݚ/ ɩ}D2+G d/ f0,GM2hB]jN:ӥ3?m,WA`'7lQ- 6G㰠isXBcN.i U eic!^җe쐲1W+8*{\Nםy@ȎU ɛ/Ki[ *RDD(D"S;XZef_֥ت+$ |UQg9ãf$7 gZ݀mړ |jԘFd۶ 6!hO;ʪI˓Z\Z(;s!v7 >8]L:`À-NXoTƠ^DpT\eI(72\Y]9 !ĨO@Cd=h̅y*MDko`6CzL^_DA8CUlE?sDI:vE&. $UC0 b.TgsH"-ʂwh'C]5LwQ̚@uv ^0v^ ΨI(. [ゞf7:vFv53?8]4eK: Neb$neX-uO.jDuQma@W÷K FI#}h2dqج ZszP~d0}E+B0%= vh)JGTĵ[e=¢##$vo!Z$Th9~_q9gtM%4 oKƃaB2g?|>=T䬏@LBk{ νaG|1)zI\}t$59t("ߓ#H}M e TRY(;xX}86;r놖{p;k5^k)5=4*DwÈհ.Kϩ3AدGQP|8(F*wv'u6ej0YiJ Ĺ=1Yɫ4l4@KFy f| G~!RJ+U}16gKke1pu|2aoϾAb|Nձ$RCSG"!P6U[J:.QwvFkZ11QOɝHhK )<[[?Ē 0BT)-GfvkfK.2knbOE(׷,Gya6VLz/ }3Fc#CYXr^`"ʬpW[6Lr @{+b5uԽTcv5,a#;j4!0(9" T9~:?+va^"R`yN=e"Idy ݸO} ΫBA[6l-swf J=Ѕ`Sc!# #/<6z8n~?@ԼP]O<8w,jq,|/2F>I\?%oЧ Dr+bZf>ĚbIeeC=`Wop QvkTTnӋuTC\Zl3s>-6CSmZ㘵dxɴa{N/Ytw6>ml11uMFܓ63޳Y3)`ܴn0\]EI2DC w3oc!e u4)ƣV:ᠲCc]3^cTzg!{Nmy8J0/ Ak#]Gx@.2hRJp%5]sZkJ?Xży_C? Sv2be+\MED|Z DdzW)0+⺱{LGfM*ъi}-ۣK06١E" ~`8^ N(?:ɮ"Σ@:b1@*d2ũ哻{Q'e-xhI"oG(-qгPkr4+OY(E8j@,42Zt+lϐQ YY3ݜV]lsD_a#P 6lok;\^oq.9D26'*QZkihh(Q=NdPoމCt[W(\1/,u*R:?OrH?"-e}}Zȟje}pʖӶ{6yݴA, U S85$uZmJ=8"2Bs!^ֻBznїj#tGѩɏP220xοX8DZ{q2sAh,1[Xz6}uĭG&:Y5?ߘLF͠+j3jՈ͉}Y"zlLiXU'z41Ty _i ?ʲ߱i25)h@)Y_I86E7l^QZ&{VpP2ZF~/a>_xQqѮ*ߝB)'<6Zn+=/ե3 u53mm}˱ikE-r$0HB9oa1:Hbq-NLTʀ1!&0GxQ`^nKy=j (5RRYJ)&*g_fn3'nwPQ?VȲBq E3z*^]aĀalXhJW B c䎉 ;E!c2+"DQz=Z_f9!|,Dy[(5]~HtD&mHj{@)=l*ZX/+2Y\dqC5N$ФFЋl)[a|,K6;olQN9ɘ$ 0=W/)Xv^r-Ng L.Erv+T8r¦I$?](s03ZA;f~Enc~+ND:`]TPf{h2z^vfŽ}>EĊƟXꪽqnBwT&AP* V+K^&6'N4)-k`R@%y6kYAǙk a'a O|E}>[.8d@"2~}g.͞U[b%Gߐ師ĉR&{+$jʢtsP|3 D1d g|G@.?~f"EZ8arǝN8LVU8m JU#Cr A[TsF:xjӵ0! e}X,ŭbnF0ӱw*rY1'EU ^PsVM}1"NJ"mFk mmƽBc,>?fvʋk0luݕĜrvk5L4L2rG"ИPMR`쮪n9})l(XzV鯙*fyg\sO1RFoݪ$M︶#yƌ2;a?/6tDXQT%6s&d$Ν ^"C]i~2rl>>dxH,UҼy\FEր񟯫s,,-:~f@!2E8QM~qe!xMTwqY3=}B9RII@3劬/@a?"-.9:&%={.Kwr!.?Y]P,[ Z$ϙ :q0 KEz\M՗,mFLd(e'umR|UW -ŗw@QA~_PMw}^ѫyLTy*K2#job^%%Mj1"j/ VRU` G'|k1overcg6?{/2HX$q5QoiBawIz |OQk=4ݠw GajO(ۦ&O-J6׶&ڜ#g;sQqs`-5u+b [KoÞAE' T$:D:S^ۆ!T' )Ts܆oI~KW]T#o@}a_7,Wʤ†vx,k!KA h`?aSCkbx؆Gci g;I% f/$V_q{>V.}+^wADX@T_<E6 ɴpwYmݭ{H{SDC(Rd^6FrPKkȐtЍ}dcD Ø."g3U]aa3{`qnHhy%`,@4$p}w }͋ P8'BQ(U(00q*q'zn'nt9XB!`aY[% 5 ;~W׏Fh"A< Op#W>r5(:]Ln+h9 {ve=p6f-iR.RΓ_9tIW +zHLQn&32Yl7%=ğ -G 1 x 7*IJiSXt= .7{\?[b@ZZ2ZU(n5gj>^>664m("#8=}1O,,/:(nb3aZb'*O ytim).<2azMe"́=]?\a5-0S~ MCMunRD\J:M>%'r.ٕ4WcGf$nVin$Ek{j4:(>s-zKpRgmϧ[}![ S#t$|Z6~TF:k򇡤c0 sP:ш Q*s)%Q8l>&qY KݙH)D93꽶 66A`LJ[jN@7o_tHsvkXigbtUg; 6Mp̯kKoǸ{@&$b*o%WT+ڙ%U_Թcω3f# XVé-mkx#69U"`ieFpH.}#]멊GɈ{Ȝ0,R:εF\1 {\:`ݫ~؆=,;$7\6AnU4o`Pz<ʏ7ۨIS1m+V=.!V!?{:>y;1ŵSc!sPو-<gzOgb: 9#M'D,7$R ݚ4>dP%= vUtkaQyR{&tΠhmR}ug{툺oN'2SI e,.Q0Eh3<5)@L%vQx-rpPVeOH s5`|y-;@>* }P=HˠPQ×78Mnts$w$FOXWTlVpb G|{s_>Kbp xf*cm՞N%RΘ/.{ɳf!S3gcw}D9"w\yTi>UsGzѪfk ]X3ZY"?a1:aGȣ$P"@A6zghḺ ӵ, #8Mʭ~D*\FetX3s脌w]9o}Tאϑv:i5{d窚N=gH@ꕒb'GM=DAF* }'@<KAy~aJPXh(D63YJFRaBب3<N+ٸ1ʨ=fL'OBpྖ$ڬ§ ܓ Dg_K!?jdDuF Z:-Y(^9Xtު5Y֜pM><ĤRʥmMrtb-㔟72/Je5?xx[ A>֬p>(+E+$}H{MoQ6YeTGB#ibvk9c3q,)iԻXZkK92Ok2alng7!dwnspᅳ`#|Uxa>]Nڴ[{m ~5 .W3G3q񇅹: 7#v:eEM}i:s[-(wY|fT#*zRA\II" nB. G$ʅq&#i#`")&Mќ?Oz).kuG3B;VtB4S}aͺ5uPݨ!3RAnN3$o'Kra}GC->4UK#Md|RF.עt##0vG-}!/UFJ[r,2ŞEH}#S={w7ԛ)>׆!c7BqզW3)I^p^ HAFsWD;(uڹ*{r)쐌={HB=ޯPNʬ|QHs pLdVȎL|qXًt/p!ep0Ni"G?*}*!K!_&R :+:gXӅ CrB& k[u@jh)4Q "6N=YLj]br_ΌYnK5qZ"{^Xr-tiUնyiн\Y_r,,뽐X\Z i=kK]3|"h Gmw76ދzWR:Ж {Q]$!CwqPmIFsb8V./?sMsؽCw4`(ktҏf6xyKp#8SY:l6kۈ #kGb"xGo^9.͝7)EWMeKvʯcX/hU!0x }jme =΍bxKHm`Fۙ;e9 2Hqt*O%.R-pnǘ$DZ.PZh&)6:ұm(l&y䳉6a_ڷ̖O 'B+˿1H @Q>z>-B8`d[>5?;JF&zz=`FJfh%S?lsw{l˓3 UxT.4[g9taa]<尰ٜӜ\QKCӃ D}56~-wLT2t_r2tdɳ~zVf㎳:b~%]ŘhY]"꽕6÷ Nl땛f~G3&S 9]/wf*-n ,`#QE}.Xٚ+N˱K ݊Ws|#njJ\ (;IqѣN|#Ùⲑ[@>Рh]GC}<b7ϒ;,`}xr8~~~ 5Dy{kQe @n32f&Є2B_Kユdv5|[[Ax {9ϴUegB#]pEk|Ph <5cp*~3=AqK :Jńtt;~rWKKU {AǚP͂aMESdޚ+[L`OP;A*s+m$W+!StPIBcI|,;n/Fv\"icz]Xn5dϠ |eO;?́cKδzˁh0hf.qれB;qq ?nTq~k %)ʪi -{M-^-2E4|UKd )ZX5Q]3jG3c'M;,X!:|{16-}J|x ?@XGnKfm3N½X&l4iY)17.3FJGUʦ)MkҗFz]QUlE)5M@:ZSN$kN\T #g)n)u7JQ1{wDyq. ͬ%E fdZ;u?I4v +qu\~3X 9v,vvnY %[XA?Β۔& ƾ@ ])O蔢9 މ;7טﯧ'Ay2Rv h:7@Akk]+=uwCq<@рJ柝Ŝw=wC8?Gxn3Ua;.<^]&FVUkawn񪾜`Qx\engd+r[l8`ZDsDejUW @{g$\SyLS̭Dc-hs/BII҂oƒ€ɱyvQ$:P%zd`>zݘ oEªau1rF z"=Wb;x-LveHg&tK$bu0VCұeq g]^SMzK.j;IK1{`OBRF9R vOW )֙9B6fC/vFv,_˶KuFD@K豟ad\0):ҸaLƙ2@6u0$LX4"+1!`üuvs7>{?֒ܙB^5\4yi=_%al@MW]iD^B(ֻyF pl/1O tUchRzCu" C$;|_ZWoN悽4.BBCA,ܤMCX"9TOΐ =%hBKv/ Po.QM i}v)[U7+U,6Wu B/JbLiy;w4DAyH9ySq//RzfIRr9cNQOz肵Xt4;q/z*`$m2W_Tۚ U (􆌁D^eiq q]ISh<=e;;wrHPqiyH_,YHO*11Ѽ(c"LOtX W˥Sevr| \bE ou例%uu23_qTn;ڢv\\*Lɷ1T>: މJ`Ugn[!"%&x3!@?!y<!aaxXXdJdJԨ>nz)ퟥz(VéY[F}y"h.W8Dt MsE0v!$S W"Z93Eh3<\n20n+ﭖ9?Hk/j2#C( 5᳦B l;RfJ!xɃ @k!}ODLfit' oaNW%pZ Zӄ@T&hfF(''쏚&fg (B- E.-7a6lN0Y)y`_6x/I&lGHB \2 2{=ǀ?0$v[la|Ԑ#C8d~)JH O\ꉃ&|d̹;?N=ǾpRhe?FecWA0_z-}'S}uɲ75"KP}M4Օ~aߕq9~? d#g`y = 2mSYDSE(ʩhV%d3W/_7o !cnن9(2?wkjg HcwKl &iKRΩH.,1Ip+lO(F0v O #b`xC @vp`63qx%cǝ:lfI2mí6^lE۫aBhӀ(t#4 qBujYȬDîK !Zh)|Y MՊ.uVהR3d` S<,Q)Q(&g 1'C 7W_!! :{6"._Kd\z4'Fl9K4f2hu_&÷wR;U_ ̑I7dAK?ˋ(_̤*6*TI-yG~ m3'!c(6wL A!q!U Iw~;Ëtpgi%4 4U#%;Ӥ7b= ?'p䰍RG9C@$bZ0),x!U v `2ɜ}iSOc~, 7&z,Jbqcf0 #X0Sz~vi*@"v_ni< @^ xњb+ ⴸH}iL-NŨmeS>j9Wu uf>;K,S@{1pm.wǺX`3#'PS|fŧ爨Mp*Dz^[T=Fx?@2а|iQeѿ>ukΡwtF:nUu+/ÃmDo]# 럌yq~3ذBCR${jnk`3wO*Bu4iޠH1oHlH<:Hc}@9c!9;+{|''z:%*?9םv*kQ}01ZYUsc[Bl(n,YJֹ.wawDΡ'?ʾZ&0? **-l{nTs ?r"r |+1IY _j #X¦x_1o&W@#sm<ƛXŹ G?'U L]kVA$k?U^?GXSlɅe${ ޙE]|yei{%W"6Lد ^/R`In[Qi2Pd| `s(='h"b +h0=tô$;d ;EW[4u( ܲ'x! I,Z7\bϴCz>]pabG3 3|$Cӭ+P?QbqY9ţ@#3c1=xԜ3M;86&ZLƀ lg6¿ TzsK+wU?ygQ>c.*R'-? ]2߅X]fSL{+I>{gm>"/oϻ3w<@ЭhNB(vnQq>XrkB[7@U01!]4Xw [;= Ή(y-qS*7DmG:qڀyxZ=V Vr64TS\}h¿w/U!Ow mev+}6]b N|Tav--G3 ɮ :0Bz_"G]Mq( cC ,s"@uqQE%lhb `FB)X꺳 l;8;AU7P1gb;V"^qL%SLх2&үëNKKHVR[Klg@%вSvvThRd-y mzvSɌ"$rf,A>+CPHQ=lZW|\R{ao՞a!rbl^NI5 5{9-Tywy摟1$ڭ•?V;hXn@WOWZ}om]K"$$ԅK3 e>rڱݷ+9TB& *G%&q. Y]Ut|?&Z5/MosF[\Q7dWP4@scs{CcE^i2`60[uZglm0Kk.bTO8ׅI- "\!׾{vg/(.NhuNN1 A%Ta/ KMi%SmCP;q*ۮGdsHƱ3I>V3W).U#'ُ*C w׶d1pJz&la_pPֳ#ί p8C~Udۥ򯽐Ĺ0_kSζ􏍅]6;dS&ܦͻY &`Hvm44ڮ0 aHjY]$FèW)#}c͚=L# ;QfN0 ԾS:Lc\EJ=Y?<+" 8tFoD|R:$#ȧ5@rxc2M4z; _aAPq#f*AB ƃ|~AEUCK'f{.0CXm~yxI #&qxiok~Y>W9/ mqTj+}ҕTF15[3:Ph: ~'/ѭYo>Mn 4٠ȅ,*hWJ 'kH݈9 >neI6\,7CS{Sm谁DMT ,Qi|X}_KvQZ:,{hz ƆߞAg:: 8 oɭew_Tu<ڐ6i}=znc( Zh:N*֥wߑ pZZ8AAU) J왂 Bagܶ#*&Q\amq0sXbhp,ZL[j((& bt{Cmqq__>P}_+$$+_w& ;;h-Ԋ,o vY|V20o bz6#fbXa'Ywj'hGT{W K{{YK h*ҁ<ѓ^f7l=[/*^Ӂҵ3@ vhG3zZuDS,r,$sW[l\JOJk: ,8_uč/zFAi/cS=1U>Rf5$)C1Z%l{ ρcrre`M"(]Ћ;FcEÛМ4)sq\@ŧ"e+sKw`JE VuQ(9`;sO sR͡Xg" i0 㙀Ib5}9*xy^Ą4Gҩkkm (HXrɵ π'0.`vnS ]7̢Ӆ/_+ }haI{h:Rmg,$Cܜ0|y}!{dZ8| g e?_G]fiX:?-\:/my`יh5L&L`Y޴VlOB>+wN*Z{Ӧ1o 2*y~Fz7`[ӯbihݐ&u{'`T?'>MǑ4_e_e$ G0x঎YI=k$URA#Q' T1̋+b 5 ܰIak927,R#0prKlsc*G"pXᦏt_^/NӯI0E/bў{Kj0+z@R"|LrP@yDH8yp5zf<2a'N XDe&EmS}6(ְ١iOBNho, 8FndՉ9 o\% M>Eթ.h!S]!o6b pJfTaC6)@Ɓއ翵 ׁ|SR(AW8Q +^ޫb1 mIexM2ZώkgfX׎{jWmײJ=|'_ܕiܙTI$>׹b:R`Y P a;{_] L䤧ZX@Cd>C;-fdt1]ou^6 !$zv|GV3C幁4ssզ*0/Jz׆9?L5p~erN Q^.݁\ٮThk/ :^:~Ja dWDDEK/VDQ €jʘK᪶߷L.MGdrL26](=SZE 1gPJߜ5uSyaCcu6f,,᭶ӰyE8Vock0,CGd?[<^و-ضCRZh̴ȕSށ +s*Hu#)J*?{#m[]vtNtZ.5GAvms;[){\38G`v-3\l /CJ<b|;Ǔ~-E- ZNAQF^Pr(I[Z_tL?Q^ZQ6z 䐾"'fu'Z;sbhhD:YI`A"ͽqdP&k[\Z)Mv$gYZ07be127e9a4c4cc120487e8e7f30499c429b75cd 091a6508a0e58a4b368f3499cce62453d6753de5 169639a428ebd8259491a58b871be0c6c428cdf1 17053df9129b0838d0ecd442847bd79fa8e8ddc6 17d86c4d8a6504c389685a0f9e0c77653f19214b 195c87652c5c47600c8c0ae58cd39b46dfe731f9 1a31d9d9f46598ab53fd4417e972df26d50ead74 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 2137523c1bd10ada2fa6dc89aa70eea17db24ab7 256315e11fa60ddf9114c8cf422c39b043a8d517 2a4ef140d74aa91079a6d9c81a88e8add8aeb765 2ae75b509577c8147af71c8ce3870fede6a8974c 2b0615973a340d9ff465012482df716d64bccef2 3478a2ee96d179255aec8df33b3a462c1c1de628 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 470dfa1ca01145f99e36c24d2f16c02c98e246df 48afadfcdcaf709a343757cc18bedbb98449c51f 497a7dc74c816818c36b237b6a04d3baa5c5c132 4d8412830378ef34f18b2fd4bcadc39d273e8f16 5083ca6ddf79883a08cd6469c8fd361e6bed4407 540e068b980eb8cd7366459541e8f881ee1e8560 5d7b08e5cbea128d1d4092ffb1763e6ed6968050 5dfadbb72a49e84358b310c816e9aa44a290da0e 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 5ef479cab507b31941d968efb5a06d6e2d9d5b23 60fb006eb6c5260c22ff4a1fad89a9d862448d40 685379c2f0748467b0d68cb4759ec6f692e14983 6db046aa6dd7abdab3ba36a978d19f4ddda71d92 6de66533dcfabd77422f9f3abc94940b9c64a4dd 766092bb1d87459010ab034d96ac0c3898582675 7865aa8a4378df96b005eafe2b38c52562a3efc8 82cfaba3c8ffe327cdc139e6ee44148230b29afe 83cd29aad33e2fbf565ec4a85986110a18eab57d 84804a5dd95d3e30a0c8e802798f95d4469c30ce 859f04e4c3059ad242a47dcf543940f9d02edb2e 8684d1c518182af1f0958c3f3344fc41d6011b1b 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 91a709751d422a5c99ff6221e78f6b756ec46575 9266565442cd6b2d31e4f56d1735aecc22f817dd 9594a3ba903d9ad8f5f17f5129739da7679800dd a1c98b27dda07b5f321e5d30ad5f312e522693e8 a612d605e4a059d80c4db56e04c3291c02d8f652 a7834f858a794d670da89292f9840553502ffd1f a858e15c16f5fca0b47fdcba4bf4102f18930d5d a93e4d4b6b748a9e088128b5996b1b9c21696051 addfed7bebbe3637beea3790c13c2ccadf92af5e b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b50f3602dc2ef36f49fd0f3f9b96e592ee3b0487 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd bd088478111e630116c4d7107747c16102721eaa c1651ecc4ff041995c8058ead56102953885da58 c48449c0ce103b98b75678115a0f0929f595c46c cf787c68371f62268897ab176f6d3bcd402e3fcb d741d8f4aa003182372f44ff07ca2a6339d7a296 d79c576ace415d5b53cd66aebf0468338c08bc13 e5694ce9a5e406faeb16a4ecf9d748963bb975b4 e63024155ffcf6ce5d23f4a817d6a42376961268 ead397d8a759322930167029ff4cc80278321b02 eb069353b242e6e7f3e3f3c8c2051d370a6020a7 f0fe5d99d9b9f2c0c0782eeba3e866da2a657b55 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f9586e95bb3182356f659f9dccb3c8075066387911f