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  O O#t L ]S Psi_Calculi:threads=2elapsed=601.840cpu=1069.576gc=102.448factor=1.787zXZִF! v]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M˄1'w LZFg͟e oc$s.lrϔ԰KSj C) hKAk,y2pX:j"M\:Zi'ps&߱b 1lNF,_! Nn: :r~7urUf+$q=xx`֍E1rkX nJQ sQ|oo HӴU74@:X.0g)|BZO̔ղ[ BP;v;g :CA:R]ia#wW:O[9Xm|ٜ= ҝha#pI#yة?)3m\hzozT~ZEļj\UfՅIzz1,kY[^O$ØgQ٫ӫF׶}䞸m cXX;-х>s5vN\ғMۅ1h ?I!H P ţ@L6rIuw NG6eX7ƹ*bOҮ]!1Ed_>bKR_jLj  &vxy\>`~%V&%,Ȩm7֑u9Z mu:RI@r׳חH]߳س.sA䵾zMe)"qі_w3$+'"/ pRfjE;B<ޟo*ZQwͻqa1b8/ .2\ZlEjFbR.9|| 54= ̐qHH&N^}8rpby;Ds'EjHh3((@7 .F7A6q XmIm'vэ=+VTY v~Q хs3>R܍E!!o!dL%g-v|>⥔Vi~)-OV7 y6 2hC-3 5BJbJ# 2 V-Xm#o^W* {evdi|OeI`lFI{?-?98o]2\f)חqzs{4$*EY4+$fY,O>P#,8پz,eolW6"vNmvR-Rةw;Uy<6"]3GyM_ 8Q 6¹ZOGN*lqQNGѐժNB:O3WiVKIޑAΡPel2Ui~ΫiθJdi4W\vWPG{G@Yta?qc`cwuLP7D% ꐴO8a kYׄ'.^-v9 -pdJs+raiUE^otC#uH% qA l\{c3g|ܢR@\F6g{\G..K@-~Oj7W qtOg ~RlLScdxHnl=4 ?Ofz["nBmP8q=z-I,X06Em[BQ\zg,_$ }xBxCv]7 AMk! bmt(~s}jk -)x>1pQ?* z@$ XroioVvI@Y5LͫƩF: JV+g,Cv5)L׼pjv[avyB p N ýIVԆ4l4F@O:n,ț|DX䊮`1`vPi5旮?kjn"!Ƴ)n?[P /5+{>XuvLYq/Lm*7\&ju{ǷY%*A^A}P:ԍ5eT.m]x-I-JIl>;:AM=~/ jH}~/,b(Sf`a$B ':Fe݁inq>KApF+/*%r.lh2;ڭ `7D* 6O.um/X%TOHע5~ɳ{-:}0_ߞ1p'C65qRR%c.BgGLL؞X@gia(ZE M٣LWXOgӺ1{ngq^礇:Sݿq(NB PhG1GB$kTW lde+RcFڊ27`KisΩ /.9#>n8bw,f`Oi*dWI<> p;Mų[Fs|M5uk7WZ, ]- 8{Q*+@0k!खцW,3$fEVij˴`vMLyA[ąFϰdݔ{i_> jH_ ײ~5%Ju&zq$!r}t#MhUAЮ(c0S&AV曘\9ϛXFKsJ_wT$C'']戆!BMqā}paNI)q=krqPC+8[ F-b %[fmβc]HC&cK,%ke_$Gu2\z1 O5&2qg#H4iOQP7 @*eKŤ]RI$-Rճ×ȾK%1PB'Fc&a. tQJ͞BݰgCɩ/63B|{kJӴ5T3ާg?l,V u0} W||PzI-Z'Df[ mʓ1OhG%ب!{-n㚽Sq݁IkXl%^{Bo!,@?]so^V.;w䬿pG'+췑1p9[8g-rƬX: 3{R. jp:TX{ Iwr L1q:[;+4٤srI@r%']z ^ _8'j2'wMD0R酼T! |_0Ľ(Y+:~6γQv}KP3]qDDԧ{$1̘6zl)"S0@ZZ*2OO|,lŞC[jf_|U#OzW%\@.cVaD o+"TM(mCr>,` yxyz!|g4hAvDɪ@Q&!g\ ?b)嫎44Q1׺mdd[/|\AZz =2Sc|/E/&uu^Xrgk?و.$Fz%Þ(>4,X?9e1ccmBe;GU,#} 3W*w3!"kV?lSlSB*/I~XeϕBzV@.1)kU]Y[!Wr婙삺 _n]W>8X|q U"\J\ńÛ(?t%R.T@Y 䋿g4FܯQ399IlO͓-,vA C@I`,b"[i \F>/d|7 yFԆ$d0$: *?IwNld=,A9Œ;GIS"/GNI#eNmP`S%]rߨ. mn&$o'*}&\}CgPG_=4:^.| }Jemw{Z W=a)ZgI3)x,? jnԲΚE|V57!X5eeXl J? =qfZe)Fh"w1Ne126zMrB_!dڃ~7='g]GߩxAy%6J3+%T_ +#})Qd?0!9419}i.۪)"z#}(ZqTCLIIxۯbk[~ =nBH BG^)']}.'¥'#v mCcGkM%jC9yHY|o%[TgG:XBk}pxDI霑0><ͺK">+wTT9({2^D䛖GB`aOŁBa.MY.xdkxIzI'g [}~y n\ [((`e@P|jIf/cg,2YAH@l0Ɩ'XhG(kFP[fn9DӪ,Z-sI/OMLT#mL Ļ\ rKH5`Cr+=P 5;| .w<-t<:H HL؍mk~aCvc5< X˜](UD?u¶,?=zD!TyLHR.vEt>H[ M*#H#@Ye-fli]WC4;g|Ii=8|gYZ7zXZִF! ]ŗXiɟ˗̵w'Sɺl!\c kZwO1rAp~c}9&@"s 1֠8L&it)~C-s?!N0&~XVRm6hv,7P(j~,*L#fUd"L,fY?^'F%g' 䲒"> pRΩWo*a@+Fa{W)_vn~&"P:rkC*ĤSoWn6,bMFVARq֏Jw4tAF1oD5هXrll~i^X\]mFB9i^~ef9euFQ VҐ;(_XlLK FGu6]Bt q_CipqR ƍQIqN^DG@Wx>o(]jޭ.NzwXt2I" Lcф˗FPyn@;zU^`D,y$V ܍tw|{aIҐ@mOY 䈼E$!Qݑ.hR;`D{0J<(}]Q74Ny S a(A]E70a'ȦqMp{끅by8w'=vQ{q.MΛgYZ7zXZִF! ;]ŗXi%;cNr6r!r>2lLK}y+Dlzbդg\iDUN'AAw}~bf. `8-6sg#[ ?.G%ɰڼ|pIJYoJ2GӝW{ՠ}P^A%ܤocH5tjάctIa kaw u\ V1܍KnyOH;YNi" )3Io:¶l{B/w3~< K= mЀ.JlQ^]1V|g:RDM]XMg]\1{ˀ"S+&HQd"2;lXm T Gc]XA /3@գ5K,wυz8!NiiP/YF`7B>GrsJ$U&iI S6 }ĊLۤ^o1bv}@uBN߁Ln8xY2|n *8^ox"tꕋbX[c?C1yYVDYK 9I~bK+<!RӱBJ> } #,(dSY`wtȂ,g&LI-s~ UB狄zqEa:ke)̰9g*\OGxvY5/3EڤY7xj8zE٥ܐ J#DnfjAOltlE- %;/A.[ņZekɭ?÷WU Ɣ2(< .@L|*"ں6V_„F+K(+{Xr=-r5o{s29Zb,ֻC[pу TeJ N+oJk: ,t0DwIb !Vs>]X0pjfH`6׆q90F R㷟^,1}<"@xP<ߪ鳓շ(H!gpka M :j0cӹ)dAڃh8X4k fyοtvЛMX{e~4N crDT[At}H<턓ի Ya,%iXSN/>- -JE^:ѡӶ>36%׽[[Dz-{dlHJ/4>D*gC Sb$kM["F ; )x.kd5]Јv@©DM#]ev< `-Jb(~{'1a ?/f1̈ŁzBv.UUl4]T>p: 2\(-,nيS d E5t BpxU1U 8+4> bO=5Gu0U!vagiɡiDaϘT;$Ed=4LBpR/x-t~2J(mlL?c"'] 9 ^3]v&`t']Qc)nv'}N^WQxUo6’kZ+nëYk;LW%xHΓ;sP:I?^ n  QH?+P$4\~=#,A9VW9]ѝϱ_Sǡ}{Y|bʺL45oC=y^}92xQ1/h\emP[Kh`AۀH 2)\p2gEAIy[9RQ 6-R/ Nq' 촪k$<:Cb.ԮoOE4|<-,䦦`jbm1)@!֧qPmj0qcY[ݮ@nԿUg:.RZغ F )W16lvZƋ T)`%([],v0l`?Հw!oX5Oz2ʚ. = TgYֽ_Zɐ*![GJF!#4bjRۺ0@6&}C?~-1 ^ssߊ*(oR@a[qXbjI4 59~|qlLԇi%,KD!sۂPm*rIiR}i-.B=a-uV^7hWҫ32*d:Q& Q÷ѳ*_"i90 z8bwNۚB TVZSSԗ´&?Mi=W,$KfNezi5偛XJ4U$ hyn?zJS\{ @?>X_ܶ"nUo,3㉪6S\0 h tnxh%{k5_ Ų]XTá%<RIul&X2s_Od+AP|Ҳw6wۡ4jiuߤY&N%^.1@3q78yzXg(n N.k?)lޛ]~k` b{|*N[m-g7dGu HPgsk'q' c6U hFحqR0B΅u]!j"Slq$DDg8K{@S֓8(.E2hu.N~M!gwc{J㡃 q:/=R\7cD=ӺGfń[d΀Z& u]  J ` 'ʽ(Cű $%m.(7pg|am,_0$3: PS :,KL$@4ꦑTǐ1[vZ-Ӏ=JKGg<{a&Mi]Dbv3qi@{r 5s ƒ2W#Jscw> d@YO;ĴεWz_R!li+nqGRį"у]W05Ͻ 3 }ށMed֐#\#">lcgˮޘ zP8_fYH+hxKn9"`3lҥ%>@¢[;FufxmFتN.?èܑ-9&[,@APY*=3ϖY%?ۿ߽X]'Ru<0C̀ _ w6H9ItK]gX2= R:Fs)뫉v'𓑦0x7T`^M"|zEeԒ;ߤ5OfRrK+} p@cHk *p[JuY}vz2F8(=1I[?L)ı@֝ɤ\9_a} ޭQl $V[Bl r^ %a áSfP4F|Jd$qcjSf~ͭ ߕ`_ DY;Qc}s<$Ί?_ roծQGbxQja  ipR'RræO* |{\xH\P+拆nO[|jTT!|N Y3_}}3+AcB= $$K "N BO:gYVg03e%ю+;c_Ʈ̋T^'dxO]LINUҨh9BY lM}P8Y zx%Qi.Za@mGD(5O@zd ISӨM!TDq e&F+0x BRWeI+8mB4>x5.{xo5iZwxO7Hv$nRKYy`sGwcz~ڴ(#W(yrHAHIQVYm.dkAM_me58iڿ x;;KN˄FRFm޾@ T i7!ϴ$/FYBBF~C]Bb7ʂͥPXNJy9;qx ʺ<2oH NR#"gnAHGLG峢&ȌIHP\_"qSc- ]QkZ<'Ή,9܉7[L/tnNnsD76>٥IIUq qlEs|G*=ЖKRcIhgz(3MBeαLa.$ӑZZUb[5^.8z{A=GnNq9E[ n#ygAnh+1^ف5QÜ!j`>N# `-hl&/t~8{Ιe?yFZ]q R( , >);8!ol0Po³ ~`󟩺y?Q؜7O+㈌ 1.2݀2lI4kqqwVБi&X4z±`VI@\5H3350/$GBW&7a}֒@l2_ML_1=QK cunrZ/dH*^pl'ahiy:qo+3%Aӫ fF7a"ޭ{%X0.C-#4 GWOTCVy ƉB^!gFzJ98NXPgx~g^&ᕭu[I- =]/n !qcAUB9cq$"CVR|p-=z${wr gpdhI*N1dp#sqN1~ķP*$*p޴2#(;PCĕ@OI:sdF:.܁+Q\ᗕ Q5~~xYSL&4 7Nl>n6+}+JYRu+^@G$i3ޱ/d[~!2YuJ2x!uyafDaJ)U0ߖ ²iz6.ZUdT0yFr"o_e| &]DpOpۂѪ[!x͗m\WaMFÞBZf"&tjHFϑ≚L4a5WYVqk8"d4=NPkS\G ɲj[oPk(;y{ѭ^ֶw{,˾05ƒ-=5HY , \USPC&X6-=6OZn$ =+[I" OO nƱI F 3)?qlaqJ^o=0J+&E 2?ņѨͳZg}w1s3NhAˬ*Y'%){rgY5[Q<8`pv CY j~uiN\=Auj ^.X /~~ K #-BAe`C-jM,e?Wԛ(/ِ6 G B[Bv0#kvp:H R;SkϨ*i^Rb`> :y*,Eh ߇ֺn8 wƎJjnyԆYN ǥ9@Ո+r OBvf7X/?X6rTug4'35'7$8ަgy;e{O,19^4ecVs-OUBIlD!Bx" }|WAK!Aw^9?Fj/ݝ%VqUkI/kbWB:0N:菛+0}lEmG_ayYnܮi 7=>pGJV(Ћ%.+]ѺE9QB>7 cx u:jq[_}^ҡ1NVp.g1 4/ڰrXRvo ڕkT"Tz:9@-',дGqQΤJKH|xrG+f5VcN&aT^"KU-NZ%4ھ],k&sBm6!Dz4"5ap%$ߐ"AKvH:N Exf +dvma2KHB $Lx>Ӭ{zg*!Hz+{J{c6ʦMw_O#;-^qho0ތ? 2O .BL$;%r6F0FQ HL8!c--8-ḳiXt⺘gH? KIޘ~O3Nx&q1̙ ;2X#fo1oLIuRc.;2`Sb%8?_"tlF0`zS49L8g8U%4NRR x`RiJC MJ#0%GpAB"vhnqytXb‚o%}c1d-əGve݆M.qM9ʻSoSɖsľ1TEdzuLC~q8( wqQipEp-0;[Am3O~BxQ6[5gLy2?nUd|ǁgMs2ISʗ_vDx4dSv,$PvG=MqA8 t*:PĩG4TxvyC){va&#Ӧ6r&?1}_9ϱf!ZXn|MLؓ(SC5α ;AU뀓/PĄ-dPw#!?YWJTE"bɵ2iH{5ɣAXH61YXLx>cPӲe^r{WźGC#VSz/t.}Jn~&j[:76@Y;Q/n䒖Z/REDR!h7)hh9rM(]<1ÖD{"J++['TC|.1:.A`MYM! #,0~m#.2I5z=/2^[X2@+!$KDd+.ޫkRUک/V衣p8XX*@-?=g"hrH:&+:l {Ņ:9[ѐ:ſjY:SOTG/3 ; XP%5Oa[`#(lE1E Dܙ9 z(ܷ1'V!&!P`@bSP.ㆥGJ<֑дF(Zj`C#nGKRDDN"sUԴ㾽;[^#Y0,t`G&f}7M"ۙRhj>cwd_W;<ҷJsXj qanfj 3ɥM+<*s$I k|U;{TF PWMнsb)CQ4cu_nW.%\.Mk(H3F֠S^kdA^.%8AhVS2$0?&&@h+'#sX媋߿/iYdDT+W:EQ;<D5__Eqе#%ddV-S)w~ӆ^ _lBfe ΓJdoytR/s;{pȽ6pmqhyd^"UWG/&Z{HDznC۶=8 WAH @7@b_(jkS ({O>jD-Md>G=y'G@*!\5ςFHnp0sԿb+g JV'Fiq"1ӣSh)@pHV~:ůK9gtu5d6&otϺ1CŷEls*)"uqd!u1y/j3“.7Fkby ߐ%%?? \Iɥ.KV[eIl3Yq f͡pUězDD1RкQk6ڪgHQ,4z]S~jQ">;PʚQވGQ2et<> bEی1ؾQ)d)H,ON"h6>f"SQnNGEEsm /#E7dwoVܚ:6D ӔR O+!2y $w|tV?A;a" ZdH Tz.i )ǯ>wxax̓?1QuJM)ml1%PXO 0*t3x#qj҉tZblVX=F9NA_OTy#X~QݜУ xKn!ncij?%yRVsꑡ*u8+$Pld/[9M :!B!MjdZ rU:&v6y35z+;Hb5+ ("ye>FIb~PU,3GD&&\adag=榋J$A  DQL,~)O(E`" 2QU`iݻRL 0MUUv2N0s^pG8"6' \W2U(`t}Bb*'%m\h/Y=ͽ态S[S,O~Y!kתuăTU* Z{`Qq&ەY cwEXАmNNV4lHud{L,L[vd:zagP&<8zt?uI&Օ@| Wڀ},ˊ0M %-V߽]2cဓ i3w s9NwU^yIfU7S1!Pb[e[E,~a4HϵU|h5y]ZQ69q:Q/r3;I_vgc3]JRƂ|[?x4 aEe}:Qy=BaWbm4v`M> q* SKDU∉k3Bgi`]u-av"۶(Ds&4pN{ucj=GKё1`EC:P6iYyw}>ſ(?%麭.ZmZ!`Hn^Wm]_=alAuY]K$9,_7r2 0 cJ&'PRuHH+!mûKZr /\m/_eD?$@L;g/fB(Tԗӫ)UШ>ŧZ!(>6=Fe2p1FDl /"kJz\oZo{> F-ĞkiPgf0*)%~E)~Y|x<ُ$m eЬ\(€_ע]<ՠYɦJ/4v(HƾB1ٌUU~%c[8= e%iDl s7H$т=kߡE=1 Nߜ8uΐVe1#@FP 0'Y]sʓLjy$ y,lI3.)s2͘ e'Cva߇Yڳ({wdM$8 T{"M"~ӮtGu}>7՗v.@~OF Bcײ=FŻ89aqǙ}jT(jTy?ci/>,$]]-T*Q9vyV6i\r -9+usnL#BlJq+rϤ:*tփ ]kq  `P5;"IQܭۃJǥӬ1PÓd`讽 m)p}F\8YirYڪ۲V6A*cB%GJDhMұDZ&50`ڡ6vYwxP/m5^qD SGR3~jC9 SE90DZIjhclU- xtA;/c5DԛE{$dz5;2I&+ CNl\OXRf/DN@*ܠV\MP>xK mG)( bwRfZNfb5ו8~&D'CV@ UxILEpo۴*.ߔLzw$bVKO2e7? TYo & (Ty) K$Pz48,OQgZ]Y8#mvEG~:aEWC=6Qk}*/ťx}'p%JNQ^a.JvO|w$$z7'FqP@" ZdeD^,XZl4'OR0k^ d F6 ,3gY0j޷Q$|SԿ)c317 `a'i #0CA v}e'S!֛lB+UpcI0h]'l|*뺲zOѬy&p=* ZZhߣ¨~ud#;~ pD/dyO|?ne 8=~$cda3beQnmziBv>}m}];JF*ϤǗ4,μ '!Șj^O#hk{'}L}TYϦsa~ꄲÎ+=ݕW롍cUTm2SȿU'(;Ђ1Vɕ,GO/w(CE?HZZ"|h'`{!Y`0@BL0:SHt}sHbP5?[Qe>w!2b}󄠑U}Ȇu{)yF*G9iES3 ~722%4n:#D>HGUS9kc6.F(^]tt4sx6GIbpU\a@Eڥk5f>"5RٳS<]CzYm.\ILyK}=]<Q)hb,7O!k&j<6Ÿ7st>>ف$ʆcMf@VROy p <xGuxRXvk /O,~jԨP?wd.9 aA"QYzc>Wf, >8𑧧£'orJGtmcw6 SzKH,[;Hq:XY8`9(mJ( ]wF#ptQ)Ufoiq&RL^w̓(m*땉%;#N>/ Ӷ͎G,8>ˎr:28JƖR W*v . 8eo*ZY䆫8pnr)<QwΙ3Z@Ye-2E=X?hhy:Hln4'*ϊ CV;2C;NHxe*Oq t~x%ڽH`y@]K=IQT1*ͣIw SsւMfu3;E%ėryCn tڞdF,"ӕry8TU fO6swK{ p[ַʥ539׼Jrf@**g[ǰ~ 8Nc}wzxX|; ?Y|B B@kQ{46Q% }3\,;jcHdx5dANWT L$wL \)' /rŘq9T? ˡ/Գ@y4 c`-b=/=-2&;}_ Ӽ%V SF12Z_03L Sۗ^! '.s^P"?k3UD.W$vO8PɎ6*9h8Q=QÌ֝vo>~DQ^IZep*#}o<{:/zɐqOmb 4]Oz<2_n3%@B٠iɄQ5(qTYz7?x`Z{(NMl5n&%$UJ 229vS',3d5޹gɑ^7ƨC3689ޑpc(XD;'vãzL f}o&b }un^([ĸIOn?Ժ́[G-9WLipCicwkd0 "=RY6st7g -hG/tX.'t/mˋvN).O:(Zp$9*_}w$0?lZh8Ǣ{{.q2M-oݯj9h?$4ϭ#[:1m@Rv)Sq$Ģ@V$9U d1ڥ6O:?k~lyՍs\MHKp4ƿ$6a;:-fSFK %G}-?.9/HF'T̼/ ˯Bq&b(0E=G7EJ=|Od"_H*[tG*8P+ %dQ}PM-jRzW>!AXۍR]|Nn￷FEҵtfٚ7UX_Ta@ROxe[~' Ki߇$y|VFlw͎7O3.cqSᏛ3XcM<{Q'tjWE a*hY&`jT$ " p>7 %SE0 HUl\q-2'‹ q7>_{t-`W[j@9)B;we3Ե! |F )ZԲUi_VS_ִ_;\ү%u">c{w rL$~G}ʬ ˱s d݊a~m5#=99R`F}O.A<(yQ۩lɠ^$̠vu]/9/?\_؆_ VI+ڣ"`0& ZOIUD4GZV>)cuQ-Ya/)>%v8s(T]amVf=etmQ,J+bv݄I5, Byd1JO8:#ې_i\%upS <ئi oJ/3\ܘ%b"&|˷O6pJ7b`$zԍ-@mL $]$_uf=5 )1J|>x+ݒEa [Z[xM-x+#Ͷ]9<-Dt؉#'o% 6σ͗C5Oɭjrn[O{ 2>ZKqء go^Wr|#PDu'T-/ɨ#t ѯח-,DpXF@/yȕ,.VS u{7IKJ8*Uɉ=Zfx8zc־>M*jv?`9/"ՠ{ ջBpdHR'ېw<*LFUro,^oGm{7j$L]{ qnF?+M:|#Wʭ ;Rh:ʻ&2dt\VwO!l4 "p?t1xH<:c\ eJvxTvFW"pvDf51Q->X5IqaXP<լrݭCsOqzcm$5>X.i\ǖhejuN(ռ4e&X3F>T/'dC\G N$a#?}A ٤Ѭ w)n*e:nMf,`D9:iK_ 0h3Orc>ɷip,t1 Q|4ҔϳlwP2RI7 V"exiCG"a2}rA *K2ǓF)nr]97#0R̥馾5"ĢChqƏG#./Ň|u۴cƤ0?v} b [ %R [E] + &e0`*،AtMBC3n\~}XI[iv[`lťd΁x# )d?r1%ӹjEB"i ulwAQPD=>Dc 0|ת;KtZjZGEWt;*2.| xWLH R GcK,%o.[U˫Ô6F/gX;dsVq Yk=IVc)FX!1y܌[ s97QFS:x|ҕd ͧ:²"B#OդKYJ‹nj;2s:bɩ)Nӡk.tţ@.n9^S%17c/Cl=ы췃5Rn1%gul_Oy2;$zFli^e4jP?NӋg}5<}Liw)ՀQynX3 "(]gM!]i.JH7 AQ@u"s4@uʋD2J@F7.?SvKƭw9'\nU\ k\Dy0-mg֏JnKc>lKiIƋ~ӟo+^e5L2NkzԚ)Gq 愳G0ۄxKx\74]^jnb4Dlܻ4)-?@*o&~y+:+L~]cWyJ%Gxuqie*nKB:f҅&ԋ b_#dEN\ms-,\T ya1/8WX|@߶+IUȱ6becVU D_ K+krKfulR͐ +I{4*3gSAYbT Yz?*cj+]o#a^G"8UO ޽xг 2p'Ӵ}6>(2vb>L5PΝPJރmrЩw ^~,[0j2땋⯄ݺ:qh_ 0륝j(x؁FD.+E1*Whcjk!b[0?[~Rvy(k8I>ո`D9 jn!7dJ(y\r.N^U/S d)1hVH_<]n;4-\,O`%0R-p2cJ6| SWiX7O">d";MyFځG%G[p+&l\]v{`G_C+lͬ7UcCt;82qK++v 8ۦ]M8@WؠƧX SUboA0$z x^'Ph=vJ39735X$\Kۼn !m y`@hpbyDsUE3?B-yag111:+cR=DП' R,x Asfs<2})KM|G tdN۲+;=jIfYzqD+*|šUep£*34`pwP , CvR?L1'9oǨ.U}ɱ[!B-ҊRvdhA]!0?y? =VQOoR6/a*/iB:$~q$ :JVBftV iϒF}ff3Y azgq%N$b4b-A2-M4C S)/X׫uoaR#ůLҚ"n Z=x'QΝ Ȋ/ 39BhBuqeufxMU#F{QcվjФ'FDeYzB Jy͠:uM/`p#)b;2<,6D`-RV >,F34Vrk%+@ªm%0Ʒnz M`E3- ӓRV=}Ӭsau);J:ȮRi-|V ߧY/ W;%U~2&z4"Gg.04!&dQY @;f&5ak;-Df-9t9OKfXJxN &J8)Avܚt +9 8G6|-$z*#&=Rd|/%vYGLv|tuO-Vjs 6DѐdoʁznBS kYw, WsddޢQ႗yWT|-B<0uM&} >kٚGwOmR@Ůg <񔵅@Ôҥ8L&Yvmd>̵"#L?rFu0\N-޶5M%'P- LɂJUYE^Dxx9'\ȕ$G2|ed뉯 Mۯb~ԓA>/Bj=eNֱBr؄rNWOWH[ױT,E¼*Q9 2\aFW;gX.Z+2f , DʮVy8?݉ I A;q nfiP"ܥ[ȉ坻,R8 W0`Sj"AR[9;85w5~#g ?N*x.izy_eĭq[- HuЪ}- |p4ЪӒqg;sG=7lmdjlS$&iɖw ĖO!3n\"k?f{ &!lS~"r5_E#:b-sǹl6]R[O?‚bb ϔ d+ip/{Ttlͬ%J1ޛ&iӨō\J2E:{Gj-a>ZKwwvV6}#kPW"fkH0}dh\4E߬j40S {Cr!<"o -W)n^K¡eR&T(RAN22\N,,kLJG1r'ސcqHE2ml/}M?y/5u/z!'@Am!ap/BekvdzOUPAJn}9s`&]EmLPv2qEIA "FHXvYYܷoVDC*tIso 6ad`nT\O/ndՖ kZ[j1y()6@~55ҧ&Ak X rw*Z76FiHE Z!<*cֆě$"GYx[@y4>2u46ڒ˔PHb%:δ6|9s{v_:8TDߧ`=1͎9%uBXwdn_>sͷS tۯp z>vR3[WJ,;L1!FP,D>u8FyP.[LAl,zm1mm1:ZUR28njCy\Dcwx@6{BJ|p*A<}Rf+I)K!0άޓ=7zj&T ȑbAz$rTBJ}kpZfEn U.Zv.k E`@z4?w 6+'Z-fZe󉶖XaѨ>ܒgX1j);(j&S[Jв~_Nf(alu3~`Suy/27+cY-cQ̇0'"N(l 0˻{ՐM*wYY|VR[iքFQFHJ0}hy09JVSgm>daFq~d,'CZeEtgü(뤌 !"Nlg+:%9̒^3 v9Mڍ*za)wIYP[ MnBEn-*(M 6LBt+˭AP Lieђwjz-,> Z?'h-3#DpgfE¯*gT(qZ4}ڼ+ҀSsc \QG%( 4+0_|'of:lŃ4M*!_Q}ޜ裮[QPý8bV}/b2b]z>z ԹȦፇ~5 D m8-\*|wGH*hq~k=ɭ5 z- 4  z?-G=Ld$ρN eJuزexDa#ܬayAjvO/G-\/;6}? DqYp[0?w32'TzW-gQ^I <5zZ~6G!=Lb+kRuPgnWpd!6f XZAf R5dXW{80ZZ3aŁn=< ~N4]vb\nw֪>z4$r~75B7؞`DXwSxo#N^hJ8+8\*((c[ep;Ũ_&&K41+k;T-QVLx%?o |@T1)J7>qN/qV6_Sy[_#ԋwh|Q-;ylK7Ͽ1+:'3^4d/}s/NZ]zTPTe}Ptj9¨5aǙ;LO> Gn%zʼ>> Q*uXBiݗäBCϜ֢5׏6$N54oɺjT\=+(m&lme{@;Nn9 ̈G$4tV!i]wK"¦0)xE %ъ߅QC~Z<60_=ȗȄ@ˍ\yԊnzviJ,o7%%ZW< QDjVs9Q$l,]uV$3>DV]Ԁ$ hհ$=>΄1_$}NiV%{Ȧ%}b&!Gg\b8 \6)@ql[/R.Żv>j6:#%oϱ% Fؕݭ3q  fXo8X 9ɏq"fוU;phGH%Xlyٰyx5gKvppPZDZ݄#"K) hvU_ȹMF?Xw F4Ԭaxy?'. A QKdfGj#.MU/g<?׺c%Ȱ)ZT\ _Ңr,:TڰD/ŪPUrVisn#|yi$^ JҬAj_bx>ǛA*t{E)R/W/9{x#D<"q#,ɲNnmÂd@^4B$,ů&M|Wxfx8L L#&Ky֍Yٍ$㡸)3xZN%K9["CsHP$bQ<]C 8ŸEKe5:4/<p'[vRr3Aw>itJc\Eɯ@SߤwbkؚD :hW?Sӷx*;ښ³TOhƒ ҸK_-"vvFNr "DH.+Urvc=!\Q2wpKMpIBcֶ%?slI9PgrPFWH2W؃$lFl7U(܊M+ ^\ kiT8h?tixr_r܂0wq'D,X+7-m%J4zm8aOĉqd`;6jcVW\&qA WW"smZ ^*- UqώPEkpgJui?M#+;m#u#y7XYxy}7BRDPGDxv( ;sMNWEq b$b;aˆbsPmިyx =t vrV=)QKy(+ČSq8^5ѸUF{9hȁݨi0#'T@#8=c, dᄝXuٟ&v|[ _#rB1po%&uz}E$JFkX;DcRb-ĦQΉ)pxrB'3yo*<:.1 M'%._=`W}TXgi 9.zB6a=\g% 2iOIaょXWr՚ HP*}6ӊǓNw+o-Z Gx8EybHtàإ!c^d^5 =pc7wk󐯰P4mu:Oϗ;YM%PDЯ* ZOQlRA=muȄ4$ 2eqQ =cl;ߌZ(i% RGuyZL4(Ajo* |y"3=ɊSbr&j}Kh H̃2tz,ͳFVtD@ag;s /i#>Y9Ĥj{sG;v1+H L¯Nn7J#2"u|<,*u):em7ׇh Lq^B!Ijnl%]ij'3aMn"uq".zXɊ*>e+t5Vh<t>lR``c~Zs6L\Φwk~A?U6/MMT-ijzjf;:1Nƺ嫤;x"Pqo5˙.\FYovɂMͺ퍀"٦ax5򽢇ɆgYvx~[VbWaR%f mXB*r E߈[#԰MM)YIs6ђbI-GtK>f"֣c n/ś;l#lP{xzl{<Ӛ˔l,+x6RaF%&۠K>O{sm+:c0IER_ۖ5w7e*֣Q9?o6I[c$^)A7HL8U;9"A:U^h(̖:Y1'2d;"0 |=-T8ǰ٘iVCA+o`^[.kXsA]͈6-FGc+ P84eWqjst5X*Ϋ7 6Cz8^p5h' 87͌$0q Kor.f(!HJJA^C0 XcNt,`^_#Š$ǿ8u4 6(j0/x*q{aB[b9I 7e1Nv WKO6.8)`  kY:mO Z#[Vot潉8X|෽a ߣv(잹}nZ;r_DQe$ K%112cC/}^7M MJBXa:w1.#ܽ@%֪`_\T/˚xuEKlxM(8 Dñf{U>JC[K98ZcwIB.iDn.?`JFVA)1p MPkc3e4J0PXL,-k)rTb-Wؚ`w)rJp~^|ˍΎ9Z^G֓s[sow쾑_"g=%ZQHr(Bj'Phoyt߳9'} cEȩx'Z*IIyNC$(~j'K]7߄ͣSҠpz/) ~ I^CTp.oQ*9_}f9yX*F3VfO%v?1tb7=Hjba(+%Kn5aqgb;3)ImbX5R=S㙍*Ͻu5c+<7)/U#94\FXXͦ1'%CD|νN*ce]ajG''fl^ڕ_uɔW$(V3${Ud/ODtFc.%sMٕ]EO767\8= ,Af93 erWڽ?eTF `7{VM6gXcV;!jDWOF]ps7>'W{+\j鼤ьw}w3ZKfrҩ ;؝5aM[y؀~1ԬğͰ{ł^'JSʾPZ._f^G%_Ԫeau<|_':9v^e J/|/㐜y$<7 *β'\@N|.YMO8"A#'P2/tQT'Cpe%kSq7B44C ^۵R 萻;GoϬ7AqN? Lx/mP1^|n.vUP _Ae.XS"ElW)o.c! \?0΍7~sRJimD%fq:48ܗN-J) uI-b7LŜf **L3<ֻβ t.-3z5"<R*X8ZA`6{:qr.Gf S>~w9:l):5ZIBJ<]]MݧڽнF%T$0mRŚfDC2l-m,%vz;iVB"SeR. qsykB