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 GG1lLT ]% HOL-Decision_Procs:threads=2elapsed=618.381cpu=1184.448gc=114.996factor=1.927zXZִF! Ym]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օHo VQd3tOP6~tf{Au ԘF=(UA{l]V.DELE%KgW4(ܘ ~J6SCGv-|}Q1cyv VCP]oGqQ1J,KN߈kɯO^s`ED1VV r(įRM>RwKY44kTwr1%4cV~QW ;U<@5u881T[c0+)зFPőGw~iB)ɘR7S1f0ĦR˯Űm@dd> ]>TCSz6{_M]¤_$:P@f4A T 4Z̾kqrWʼn} -1nf<pl:5E+}Az|H Xd,q w3PzO/ŴyRuZaNd_f Sm;/FTʝe_L-apQR#,¤ǰ pQGs G[EK[әcξɎ R@|3c>idKف@itgMϢパ@@ "pU>s;4|˟)G?M)FgU([_^po%Kݓ/jUECt~9hmi"^A3fbԮz(y3J~"J| 3 ͹Rp9uE)AJgQ\)K/_H@B7 =ᠤ)2')y ({9´#)%:M fs-%F2pfㄿY[ROh<$#ŗjawڿ'A5[YVG %mFKR#'mlM؃mJ@TkX|Y׮=J(I p^Պ@D/5nLXK0>ZK8 偛k 尙6p6+V_`$(w4fgdAOI X`#s-I$q)! DKziD~<*+Yvqx1n+JzB2J "KZoyPԭ@ʓym))`eHPIQja `-筣P[ZIUۜw]87:j猪`d:mcCp6o2o,|@*9ZZ(=@(ж׎Wx`ht<TOwxa%M-\41: ķu!v/[Ďh#, A#w[~+_۝ܬ!``#/3{NxSA1EցK^:H0"du="5=M[t͉te]E6oÊumm%:\׉L`A2U*x;HJ,ĉ8o-mth2SQr^Fž^VrF=;,K 3BǹR-sQBasL2H:Nb+[V[m b@v}O4J7!)Mhր":^zZt Ь*X2Px= OuD!fVCWB$IrEqu2Ψ咇Rd}L^cf̞=Iϥ\=Cdz^Sh oYG^KY 9i謰+iKF =:U̬{y 8px\u S͓cIuGÚZ _UzXzAebH"ޘr ݖ%-b?rRAS4Ϊj#*RjWRzsǠMV\B}vvb;>%:<%${&W;q>A+n€}v"~&O%piO睴:us8>yrVH0myRA.L ٚmZ2]brR`oKa&o`MC=I*q,>@G.mI#GQZ?A(gy/&xm4"=izI2B9R@*}//GlzSeu%DV &o_8s>c$j[8Q(!7 *ʋ'L#+ Y]PLXfJH\{> &(ݮbkI)^jTA9=g!|B!F 6JKW'83S N~^k 3ZhV?AztA$1g@n-v UX;: xY|p ؐ1{#y\Z0{yx9IHQBw?;v6躂]J?ite%4!|1I-o_wk| D%/p0{?6" o{ w뎝f#lv|m5#rLM)o"=n;ʡEA:xq5 VL46@lYy.2 ^= b!nz(ÇiWtϱgUh:Q.Fӕi6z[1rAvxs;NJH&OVǓ*s,T,dVH艣W0u|#q15Q`$TTN_֓Eg(rCSeQJ%TDLҾbK~5XP{y# ȁ1Zxovx_C/0_kkboczb$RsB6l"9c  bykiy MY9 \<:=T0'ipLS Cz)'D *[*<ךHoʚ{B*tSzq,%qTP'pRP˂'qKz5,9zX1,aCwKl9_K (\ Ii T鍍sRܞ d]T+ :qYJhT Nc)cE&/$TY_Zs}MJG,d8F9؟)`P&p=-4c=9**w*w+iӒdFK3@#nڄhTΞ3DE?|S)3Qm=Ə}$]r(`O1~`L% ho }96TBx1sm9c7Oao5&Z5ݍQvTԐ'ȭVHv9{6cː%mWּugMBxXa1d"F?q#e Cα ~gBs kMfvW*t*˩ A^L`^덬cI,ܻG. "G.*a򆶇 ?3o*LT2ÈfٺdOdMr[`i<#DK ͦ{5o:XmkW$u?f1_v+!5yd+J$o.iKj4]D ޛ0ЮͿ pU9,zXDG1k3\kܺMU8qޮ 'ሎ|XRbBڦNb-C7xoMOyS 3NⓀ~NΞt-T"We2l Ӕ߮OU@^h!qYcM6FC'CGˠG"zbjcoyMGDpGjk=H.n]@#5}ێ e:EiHup2b_w3r$^&Vr;;'~# L8sT-iRSSaHڽ&rKm$:&)T֬ˊ<_^!f2;dv=Uߦo;wh5}v&5z~H3 N~5o6$S <WOl[1afЬw}iivY+Ӻ5kڸWGշ] 5` lFS"]9`od|#v/P>2V!N;ܟ3WJɂu=MA`?7"B .zM+mQh4]G:(ʕ@h 7 DDwnuC7dlɁ·yaTq8AnLݩ} <= m~!ecPM]ߒ^s( Ww繞DE sZC*Z<& w-OL]4\_Fg~Dj\R\ǟҢep?yR#f. #>]$Gif62!p*GFHB_Gٙ1C"';PPq7!a6]=h653A:幑5J_6?--bɈ7(xUUQ:vPkfF `␯| =mDps4~ZE~"|ژ]^$ȌVs?<椦w,L=, LԤɍe7pgmSNfPƢҟBC1V]q7bGB=BgDѬ&0=A'$<UR w|,J;!䥚Osgɘ啍PU͝H1e!k c~b01zg?b*~7B;.8Ew c\8F}0(=Rz+Xø"x *Dh!k/5% ˜OmC F-$}I';<^lY`KveBCpxZg;U=\_ IXɷ߅!(!04+<"]+g+ن_0*]j5 $Ң wp^_AQ L.sn5d;t:to>/geϕ|҈pw-s P as ;&sch_>LjXNx@ ˫WGEg_fF1&f`E>OI lUkZs54Z~T}9'Hyݢ BO?fzB7ҁ xڟ'&KԃbO!p/qɁ,>KiF Ϳ9 Ț唓:O=443Q^ ]d |7?3,-yZ(0*cPK<od ϊycۍË|4,X ~KqQ#)ĭ(EWW+ I.hQʺc:(9B#]NlD(8CZBBȲAKm8aK e>P=w$JV(su1 B@?\77gkk`oƊ~eǧ☺ ᬺ8ܯüL!Dh:K­۴{pAizH3W%Ssyodc2sj`Ɗcd5/+-죷C@JP-5]Fs+`L Arb Vy ƃp>AA?9-DD(JHfa;aQޘ&h'lo)cz5uNM6z#=`% { I //KIh }Qb/&ٝCk\=(gojy rFEB$ʲO2)sͲp_]c~\O' _\ߨדDP {R͑AJWH IJ̹MbMi s|Q%xad\OcMCR嶘HK(L9oLkZ(?.LF=ľU\:lDQfC|_{{$T8ӨMg;j\g{Dp7ji1R^.LڦayK=+ql gj3`@D': #;E`h9hBܻe 6qE15)tb0l"U`%nO R\%ҷsGlZ=Oa/U|7MӦY<.?Zq枴$Rr|W^Q2&^?,#d%(7PKR`qQ7i:>SW=G\cTm- :Do3jEPN4I ;Bo1߁)P1m!.IqW[cE)_C}|E1hњE-:A&gzYY;n_ZC .^-Z3u &!W`H we~L =Dcѯdy'A'FRvWgȋ4v*s>dtrj@KZkt>`eJKG+.'W~K…OgB%ퟢpV0~̭^xM}^ qqP 6ڏ NبH+03QtDݣY` =#$%48wKTP,nh)m !?-$x^ L?}ˎfGwX&Wv؏ aܦ#%S9>fZ+U^W4#R,u[*mNzV&J>-q1D%lo Jx-Bfcb ;K$ |h5xei 2$kV;w7?Е9(bfئX@)8z`5lw#YvPmBŢamAw̉BSf@Fkև X)d\ԡG"TpnpΗRS D L"HOZ$@'C_jʇ>.-`#0%YF2ENg!9rE|ya1\C;ƛKA@j hcRJvOj*]n?46L3OxW:3nʄ RT K ڤ1m vJwXsGqaͤp]b߁g3 j*~,F5m(/o*_;wrzkmtݝdoQGp Ӧbm<j<τj0׫Pk/#zHƄDpS gQiLYw!զgZkHL!N/mq^'EonJ\Lq]]s l:uH?MUE#wN$!Nqgg$G(hdCQ [}v'k6:JVj?weQ_<}hoHVʒn]imjkO7Z#tdUD+m7Mv`XmY![ umc'Q.i_.Njk9ȝ^"Qc&:mCbIJ]X3߿{sʑfqʞ:j2oq=hh +N@Ŭ|AX#J[jC' ֈ@6v6;$/8yz{%xjM}rFfZA_U;yD> 5Zo@W/Ϛ`:i _O1ctѸU.T6t'\]?B`(5ξR?dhGdO3ToU-?ƛe?F(+~~ U^-%c!Cnp$01|#\lǺXAt׀AجIQ$kWqlw#p%XQ C7¹FC3&jD @hȡ%kƜb+\ˡn,+D-X4onp>'ηKT6o֩_ bEmq90զ`>j`@0pKPFzu8jY"nV;Bc Z*3f6("<>dZ[I$DŽ%/zF+{u8VvмNJUb1j\(*wc5<ҪVJOWM^&StՂ IOюҘ4˞1 hYĜwH Β#uj— ,0h<|AaN8A)n[~$1BH?s+t>#4)nzCRIlx2nftj.OW 3򮻓73I/x`" B9/v= )'Emy7K,X}kQ_[{8.xYHύcz/;,Ofԕ((h`CaDg"3s3 {F +"94F2yI3ҿR<XwӨV㐎gK"ko)r#ZY,*r̦ϦnQqǟj%6.-9((H?UVYn߮Io]S.v nƄ 6{ \hpGb&'U6 \iM Y7߫t=BױB8+U-"ϟ5Z*DD{m?=+JʫMV#t3oZ~Rhzz_uާ?]!pvDPqդ.%$k?؊ *]󵐄m(\ae2$^췰s3SHb14r ֹGSm9'9.s*t&p"6z$ٯ7`? ~*|;Z6z" kDbA aaVNB> ??B^箪"=^S2u]|t?:{uC swZh\£Wfw;w]xo2/+fI:n r!_eNDvXjŪq&jk1)/C t(ysnnMfRIr,'@\Q"[0 =FO.aӷGV"P~eYJ.ҩ0TX."F #á>پmstE)9n&Z^ִ_]Pd?h M7N+Elw>$8/c 6*P>tMi`/؍=n/Drӓ7_ ncI ŌXYQ Uaus^ =BkdX&{bKVNbx5yWîZ+zdDYWhMQV!\;I#8 N9`BqaV :Ҍ%!us .샞i2`~N;uS\}Q F? kVh^_{[;HJ{[4 w:ձV/3#PK >4qy _t  ȧG6ތ-!GO)?gg?y*oef~+'nͽ_F!J^nZl+wwrwg-\% _v_\Gō <3ـWUa ԫ"Vjմe᣷I$obڭ8&&t:Nmz"0_NtjHZFt ])#A!Nʈu{,EDɛPUmꌅ,5~(I‰ 1B*%grlaILG_=wW#ae]Z08O؏([G$/󩪘rW,u9_ su4h^,͜vN'k><&|-`cjdN-ⓔ0PFN }HX}Փ˧4[&!yJpE`0QG̥5zK5] 4|lr`vHUkٔ1馋]U ”mULcBHVk:+d] SEU(%*6lM\_!*BYne]=d8H6M,JA% 3  R  :yhaAf[`+'^޵*,11Yw1 TԤu?4IV t So_ .ѩeH~%$MgN]G+=Kv vʌs^Qÿ1m݉7소j@+H q+e#L7߃{E1:9grZU"JqNN%cS{pUMR3Ii ;;R%KݫDW2Qu6JW ›%Û*?>%PA8 zH"cFpv(x +ku?<"Nu{uO:~Ufoujr{\IzC=PEaG|g~!o:vP\C ۥp0=LttA[d 'rc .Ҙ#os-F j}qV\h՗YC'|' p\קtETzMϰ[GJT E4&ēiԌEe s Kw7bԺX2I;޶N]oi9^tÉ__Tk}NuVv(lj;#, %64ݧĭ+Lkx<4_&-0ofVjnW7[< sޚn4mY-!Gi#"aX7H=,pd`A )R|3|bYu[: +#Ժz/fg0h>EvQƁ+}n|K/TBiS?J@ yu<{/vV.㑞71e!Ī#ia IwOq{M~B޳X8/Gr V5eIvZr|[Ueفy e.+O}D- ?>M҆!~[!~ ZQ8b ~6'Oݖϕ%G?֪^x-dOCLLB7bROUF:5ye'}!5"qa3IE^׽G6}xVz[E#{H=`=yo-w<]C,˫])m5m5QBBRSvIW֖qޗ:o&J8m͋v$|&d ڤ6X'ۚS)y+T/CAv[DCu̘\w9R';k@`'-,Sh&qtV?yto$#PVK;Q,xlkv=4WB zb>ˏ($=}g6bcc.ʧ[4=k'?LnX/`^Go} F?_(O5vޕ]זHE㴫N!)<+ o߷HNMywLibtn3sj!h8V_pZݏ_l6%H^\Aeudחߞ V7S/XD=/xMBsڶe>_:}9U[Mp+E@Dm|aMѩ_}oEN70#z؁{+Wsf󨸉an7h2Y)'kNuyWn[]!>W: a!׷)?a&1gxgAP ;^UUh`9G5Zw M =y9tU>p(3] $;U0OقPwܵs 6JC5_b!Nv:84g>s}!#[ (hs7&r`AUAbNÄvB5(0:ى6}J~]1)sa}y?,#dST-XIS|+JIYLj,Ԥ06C`WtB$CKr"?(>`VM[of'O'G~q'ιƕbNiSB稅=Pw6G>R\ApnIOa8oBuT2^3@7>hT2.";dBE|j"L`v6Sջk(vYgPܙmYLUG&iƣKqmsÃ[gjIq˹~O]CVn+HQzy9PlփZez&3T݁8CJRn=+/o\nQIsTw2c+Vߟn,?w-0?d n6ul5 -ohX(fq®QK8B\pp.?,Tg]H%҃ŀ1d*N?'qCٲ_"pXѽ~}43dC28Vv>XԠUsZt4/$"O]tvGwcF %)XqW  <ꕼGmTCR8OD@2GAN˥Ш? ʥ͕\{@6{o'^ݙ T<,DL;ۻV''V}@dMF1+CnR;aJTjNJZ(,,8 DڒZ eiai1J[]~9=!?Q:&=_3i}?;dcڢ\wov-.۽XI$]?n.Rx|\ο*L ]0+;I\"qcYG^3%(^~׎쮾`s#`)p 6 {&Ck6ǷF48rkr =]cܷAV`ih4Ґp% $%MZ! [ :؝q/aUfp-˽ls*̇"br`K"'j%__/2MaK}^oÃ?:qj#Zue68 V}_սI4~.PVɳxG7nnJ\O RŢV<\? Wؗki2)LDu$?C^u|1 [Cm]$IZ*sAMPe?9p ldC0ȦNAH)!$dKP/2.]^%#EiFE f%J0{N.zCSF01)!3٥ .j靝kyE3{_rR|‘ J5X*l%j;+/B kǶIU8gXǏmԮJh;sY`967{Q}"g͔h*V,űOE &"M@ؚy,oR3;A Y͓~1iFv;tuLNM RJ^n<*._d*FxG]?=`XO((wy8 UAf)YBjtGo[gvun X੶W8&a0]_8MNr|<Ig%uW[1 3ݳM$on_/| 5VETbtyNꪴt&jd~JD~Y,x< 8˗b)[4@:}U vC2%YIy )F/-_#XbWwj3z%"RGɁh)cp}LԼk: ܐe7Vl2 c!jKXc|[XsV2HtkF¼uz8Ξ!P)NX jE0v "}vA Xؤ=MrzαETпQj?KB*1Нy{fOnMV?11@DC_!ǑD;V^O^.^]rzo,(I휠VT8l1{s,Nྡྷd_ĝA*s2 @{,C-:Sܞś+\9L>jЕRK5TFXcTigl[]/M8V:(/jeXqQiDrujfSB屢O6Q}$gyZ~vj4x,Q7Ñ 3R }qA 84iKz沷MYԊ珀-Q8^4EgDI#l=^bm rnãt|%-Orl yiQ^wn(lc7uAs\ 8٭EMX~! 6Ãk'?&\J\%K7$蟴TkюPd6, W$} 6N}:FȕY@hʸW{WY2 "Onh#~hHDm+GYIuy[e`HhE\(^TytƾSDDr _d&U.*smM|ە35S}7/H (0W,0!Fo|m0ryVW(n[%s{ZOÙ󕛖 qaO!)3+ sC^Y#҈7 ̂䛥 .toԒ3dD@ԑO`і&GFAf+?`XPn9\mXۗ[c'5%Ԗtv" I= Lhuolu h7ϻsTE8{ES-6Lnncw0&z;& ^B_JYPmc/iD>Hi2QN j__=ԥPx¶[wg_A .S C*5I seuwOlbzWfΆj#\水cG[sz tLW35e֯e\kql^wޙd;Ϣ *bLIQ.Z&F]]%2'f+UBkT…aHhSzJWup1prnnm a}6FI\;CL!n7VlͿ5p}J*2*O(T~lWXmJgU=MiqULQZ2=%yѐրm*ֹn$9SlER-/A%%gHлt{endY(*gO@k$hf[^eˎ"aڊYk/4_#BKQ:<=3^YyoGWی".S9pL/. ?LUfϑə2ޛB c"lX9 ~n~JvFE?eDz cOܔ6Ŗ}5{yXʮsЉ :_'4g?x i]Q`%-50G=$,L#(M{Fuq)3`fS>inݑ2t+; X/a9&t`SHϠ9ըUC0'.oM٫+*>@e317 |Y;Ж!<[|I \tdY{!raˏ Nj65DUe6DOw~ 9ζ"JFƲ&[T6grgjSI)֪@Z/ {Ȝ}>`8# Q8bP^3"2J1C&1r$drHL ꖲåRȈ\1DD{R5Rji,KsM\@ ͵Ҭ%f+|7owQ8QRrNVچ] {Bzm>%W# ZwAFm1Cn./gui< 3tjDEi # :AAL@9Pm?~jm+Y,b\\sbI@ WK]bYV(Y2uݟWð:R`Ҩ$LsxY r$-ҾWq.9 Qt-]1$LuMU@"Zu *ʨ/f{{ M*rG;i{%R꿼JǯI:LI9ŝ Chbog-<i| vɫ_rA3\iBAbtͻg0tuفrخju/6G*Rb"g$y`)wDUF3K1zA^I8Ɛ4J2|Dp߹6G(z4(ˀ5yضSճy~~x$tr*YϪgyEz/ۮFe†Hh@V['鑐i> ~v3h"f= ?&S b }b`X:o?3_QdysP,\4#8*k}VىXi rz$mOX[EQ㡋?RV`YT'ԟz1!nKMLפ XE<+ug>U7K݋p8-w]uėz mG42{'VktO^byu~EJR@!:ܓQoi_T}r=hyE4T?|E $#%6uA/ 4˾+db$̬n<Ni:(F%}69-,q/k,N](*FkѢJ,wqlk(>E_Mat4.*Zp6N'sf֎@<ڤZ6Au`5&J?2qƪ qnCH _h=wLԫO#KgːT(V]8f$]E URW ^'(jpMGEdcŴnlTqZP7-eʒ}Yz8-tq%6HvR?=_Qny9mhB&{R+۞)g6,vng7A ʼn`Oܓ=&E}*v n*]IRleh^KH2YO&Eͽћh[' W`ʩg J=%ٖcd]fg0I5`$eͨKSE!T2 Ezgς7,6ʷ;K~l! r>@ׇgrӳ a҈ TI7u/ѕ{tadE4 L#~џ w~_wCDGsqd)|6Z8AEH4};Rε"Fg ʩVk6K z^R]a3oY}$O 9oM{!R! 9֞K+{ ``s'BfQ"^C]cQ]Qg3B(U{TUמҽAP`N. ʿG/PPP~d##req!h*E~Y#kt o=eq˿+e@1ד]~$ՂyNMa^m9_Qx5C0+*;]BR;Pܦh=O[9osNKݞB$1 xW/ڡ>Р= 򨎴IJ>[ o˞Sϼh q'9 {/-MjƟ6Ryt]@ޚ`pm8"It:1DJ db}FZRb:]eOctQЖ:PVb TR3͜.΁{$i/ڻ{I [?8_{սTq ęK7#GnK~)NN!ף#r+Kzlt׶bv8{]v3 8Ѵ=dي>QZF%_0>c e_- P2ɧ.|gMKC n_پ+7:6}Lc;XVu,7,Ռ;'qh1d͸*!.LE+Pˑ[i9r.1L?x>*QS?PͼtUG=+PXԇK%rIަ1x*J$b*6N _ӵixnTsPU5Y ]-KLJիU wDloT^X'"$'F,QJnl)j SLT T/c634d ;6,}jg֋*{2´ mMWzۘOh^.|) r9meMi7xbH9;;~d1 Hu_իMN{ n4qN}uqz?/4I$`(4XѴJ7KtUD%t.һVsr(\49ȃ]!e!X?QxUF'HԳż"HI'J.j\7НKYO{N+-xpYQ%w1V.FW)/m8iɏhhvf9rB5fa%(rQ)ZlU8%!Wޖ]m%4Gܫ%G jʼnOKtb*ثEv۵?K-Nۅ=T>gov}Jd,K{u3*B,i'zH֕X6+2DBx O0( Hcay{ 7{-7iGoAɾ#-w-3}+Wvm<=I_rג(F4(aF\V~\O; jx nB-6A{)ZqԬFdhP "un*u*"=y.< i'Q>2\~oPFA:m Pow$>Dfę"f`4c^3] #0}{9*#uF<]QZ:,@{wPtEe86hc7O\ cb҂fϒHJSWp|\?} 1G |⢄a.C(7y }Bv4Q|ZDJz9=si|vjw*B0$lRpT_88I@Y5D+\h! e!4eQ{%`Y%"]\QrUYX82oY-яrskgUWnGZf&iG :}dx "b$ө:Dn5L<;:D2``pW95&X3긖*A' ڗo!; ru}=w>pA%l%+lT,P^ ڎ 6کݱiT y]$&4?=ĺAQ'-Co6";0-sI l_ ֫딓R`av ;F|mtAG%9ʳ]ID%g+9rkӮxjG&tݩU/cj:QDy#KS=D3u(!Qp@ˋ@x\%W+Hdkɐ-EK.W7@F\hweZA-k*nJ05^:T:ETlhae{D\C&Vfsk~-xtwچzg+K`R`N9@Z[m 3ء2_B Gw865GgKc_>cKQ.MLnB2PmN\@Pm=:yW+9pA\ι6*0J)| QTr!i\c'MI%zx=Ґ@1OlW5F FJg^RD"?0.EV7Ǥ4ha%eCɰ g6r j)$4o)clɬאHKݕjMuOt-aȦ/9 fg;U^~> KR{]) 0KiA$VE@->44|HSG"ȁ-'1wƵ֫,gu ؼaXq)2FzKG2U1<-_DH&%UҪziB i63Md {r9/?Ǭ#wY)(t`Fwڐ2=Д¸HJm WBMW4L=R!c)1 ƺ5\_}%|PTr-͡ckv2LN*:q]9XoJ`f$ՅGyp]ڷJHwŸ}$?@%G~"ٰ>9-Ȕ}...M%xv:ອ֑JSe]ťrEUp#.]NxAQBh΀Lo^R*9ϙܹ,Ў{bEvu?Gxv ]F/f\BYչϹ0Z!HV ^t"&Ἷۮ§oK6k8=%)X>%(ydV5~ ,svdaF" ^s&ݦ)|M=u5{ݏ4"|>O9r$2oko zMm4ڿD>]U;)p mZvY9:zq`nM'rm[VH*#*kC%*[|Ui)lt wVӛEZUH]~[BI — &r0 raKn(&7-*jش&d@H)𑇁=QуJw&B^Y=e|DēBQW}]/2{AO mi!z.Fab{$6'C瞹hD/ ߎ14;d7_>L!"0ve/cI&9lޡJ/)`u{Y3_ oF's z77F 1a/4~s7j`Pv5qJ؂K{J#G"gh()&VږGqW}cJKx_?]H= ]l)=rv7)8fuB=Pn=Wg'xɩs|)#m/Z\A͕< sO3rf.6(ļ EYk^".ƢW;IA|" U>iưQ7YF(O3\u/B_+)"Qs B#eDdo2Y٨ЗpoL)*#424;@|Wc*.Y9M#k[D8 om{x:: &ť GzD$Up1:PX:5&"E\Md' j#|&n}9"XǢm(F*Ϙ\ti?ś"%3fy 2$":!"U^veTn_gDv $>Ay8m+v[l>GGg H8hmg4w6 DG5QbyP!rSkg"ޙxA9ff݋}+krD-9ED Kbpf{PAPT ybeCR$8o=)^M!B~/)7G'iOpE`8RwH=x"?NU}]U(F,i\frjQK3 V?we(j,Ŕ8]$W/]e\t p е>|`cg&wK<"iࡆŽ0IEca&$G.i3 L} ~gDHo) ?Q+m8+P~tI狩̘y%0~oS>smm: JN~ܠ/9 &Y{շүW=&'d3#LnheVpݵ/#L6gE]둆OZo2p&U7F0W7]Z*+ Hޠ .>bCxoF䳏^zP0E[U0gN ; QR ,UHL=8iW׭I,!;9h8K å[q++Cܫ.o")'%0v-ݡ*pb#/6+kj]=bK7}!>ѓcY1* X{s ]԰:Tw5=N㛿ULP¥aqԘX׬,SӁnN%[ڤTgI -KbⒾ:ŵԃP<0V 'Dœgޗ Iv(vЭfJjHה  %[͸~Lwp'4勈E>ʦ9(/kQglDý%k}fiMW^ AwX Xy Nq˦0{0߂io$WΔ5.MR' P覔*l\eS RfWj+ [|h^MKJsRPyy.&bjxɒ# }t*cIzhb{%R8~ܓ V}UtZ}WWlQ<4#EcW-}R(yf ;}];.\ <+pkJJƀD$cجHL@f9]11lryE諵p>ڌr0>ʁb'&ErG8yMs,Ikg_ӿ୛+7z0ujD ||R1PO27Lz7$Q˾0V.Gtу][Cٝ3qw<n/Hl #}icSfO\[mhm3~mJ2`NeX#{Rn %XQ59͋ňt F+,j}avR-ˍuͯ2q^ _ۈڛ'ZTr7@f~ٚj{o,yALfMuòk ؖ?49ˋA& o]ݒ+.MA 2jw"@vkNQF#4D[Ӈ  tnF?Vn*#_5: DT!urh)'Ѯ*d">.ޟ];L#@)h|3aJXo;@y HvkM-Ik)dD~_Zè# \7Nroe 6jm5FeFuNnsX[ %)>3ZXOηc, p#]}CeQUۯ},^%B]4[ r=@?q0|h6 ZAdظN0(zcE @QVS=ɴ'E-!f}m;g<@lȭ*,쾻{?تc;1P0Y_.ztEJ{$ӈvR,ފ:Cgƽ^ "(4Dr~ K;}ibKyL]L%]>rOw!4OKH3?jfiE ѝp4v$Vښ_WZ46 evg  Q7yYg%x)P vb`1r̚CzQ^6@_CҠffo2ҵ̛Aiy3nZx~Ob?O8yQZ׸3#x:ArwQ$Nʎ%\ȅ a^`f0Z_#mLs5 vm@";ǃ2evW 6"꺀LA49G49O Im9N Ed,lD'taWИ2Ӣ~5f?ikwUXGwj:?c= O>DOS-Y";u2= 0XRWz-<(=O2+,,sYncE!_ݟ4 *,n97۷e]fpv [;ǖsJn9WP4ڣph b-TW ۿq3YD%8gܓcfv@M3#D7t#fZ 5Nqmtܓg PKMC">9=Uqm:U vs!`or? nl2:3`) ?>6U~{?ֻq'"Ԥz>> Tw9 2R^CTܞල.LNoX<-bPۡΖ$oLD~goLX-2Yh)2tZR<'9--ϗ@Mthic#9Iz`ZDiReRCDŀ$S8+f۝iIl,raCg,C!&0[ZZh.]aNNVAn\)l1,gYZ51d839141a8cf5a82d2c20e6e6cde421866c1295f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023 974484c7c11aa817cc3e0d0537baa1b7b8b3514d 15cd065f04e79cb33ce554665d3b7eb7504654ad