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 GG%\4 ]/]HOL-Analysis:threads=6elapsed=350.961cpu=1551.392gc=107.220factor=4.427zXZִF! ٮP(]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn~ %Ѧ.Fǡ߰xOB@RIݸ(&j]},@6Iul:y\t4cAcG=˓ Kێ|~VtX{Qcb'Zя@h{&~ * #B8KW-e-ڠfPɜ󘌦P0S|"O=F;$b_*: m*'PgDwxES5k  ٱ bfg!ܵpq-]z2 Gę[u9?{C 0Hōk.(n+Ұn#?ϛ?f-]BfQ)Jiԋf}D˼ӣO_qlxY5FZԳwCa5-&'Yz~{< 5"oe9HxF SOH qxB4+ aݷ:<]ZtE6].NsD.saD@ u?\iÐB%5D[0QF\4¸ڀ޳w$IOe*#=b,k]x')j8^=FDM/g`BԟCM@'?ZHG5]M{ 15Y"`-*L#b8_)c@j LeF_0$:AvpjzzgtC1~;<|}o1a!qѦm}1vCͅ<~ed{gggiKȹݣpˑ#0 >Lb H|'d*^mYbxJ3؉Y!n3[zB|Ӳp|ZAQy#} 3Xi3/+:nڨ*{KV(zrA J;=1֚\Ѷ=y]޽6|ihē;ܫQ Yݞ(gGo兛'%~I7rH|e85Xi^ 5J4󊻢!q \\9΂qK+9Q}Er{W>㈫ a:0>zIVy@Rnm>ZFo6+ݵdrIwr9ի>;ހFlu0Amb1UX3~h'?ƾ.DuWKwZb@n!ӭEH֌w?z%pH6QYLmK1snT$ !¶ۀt gan A ifu?x4 !7C'OkU}((DAYTDsYqrߦn6H~ZՑ^y+svk^,%ՌhM XFaݙDe[F48zWHD)ɓXD}b&Wkjқ|̹K;vz?UӮnLĐ~"ċU4iJēʿ^m w9E>c.KBdl4] Hm\&6{g0%rX_GLM NPp4s20:gmx|8\CJΎPE"qEqS+y,9h:fwz>ɀrTf`֪q]vE*/(+OI8h+ R3먔c9EO7Gᒇkp#!WA8͹*mXb[o AQ}s2C5>8~˳4b3HqMm;y;h~J30JNՎk_<8PS"VGQ>Y vUmv *iDJz>)ۛ]ĬGV:kjz,UN'M+mGŒnW% =NSutH'Z݊gӛQxyJݢnyJh/'TR910bwOSBs"R[Pψ/Կ~b;HN_9UZcԿH0c8# a!HEKn]{$gLJa+4-g{2ԟof a`/p{;XzsW~AgLN4(nf]# W e|3KiNkLcl8UrNt/n*dXs!Ōp펨Tmerfl1#A܀j;Z좏 nz bw Vؙe/b@ ]*ga@rn0xmKdP4Ąo_>nzw?j /иTpZvs6O^ Z8 k ֏I@$kWE [jP;>sd~wB˵zj bUy&]{>*W.^1H2bJ0%bZ5 I5SE⻤+>K<ű/an |T =99p2Jάd#b@H1a{!Z cZM^0t˭rdeQ|@4f-^S0!E]1*v逳HM%f12_ofϬz(8sk3`hSaj0k끤qoER>; $`' KrEu &n IuYR^m\PsQUOQ6dxeoW+KĹas$Z_"t39Vd7FIV_P[Oz1Ox@XåP)5P&@C B^L1tJuٰJOZxKj 2HTPYCZb l%hQI ;{~#Izn?Δ3;jŅJXS9ҵJaow{gsO}둘(W% {=ez> i/Z21!13q++ jq5&M<9+8KUM|F#D>աN¾F3\Q& |ڨŁ~Sq3@oSmLjI9e lוOc:1+FnTrX}MsapƑgEn *n;=5[2C[;(f^cUՙUEࢷA> +b/[PtNswG:I.pTn{`dؘ W ,$7rgø!S;ϨѲe#睴fw gә"A)kϮQ?\qG8t?,\+}l>|6R6!myBڲ}< % HOL-Analysis3@gM ez6{ pz1T.ªr[I~eS FKMfԇWLe6i2I2PH+g*jYTēVŌix&6FV%5=|e اW}{Ѫ>0.'dsJW=ѯذa~PmisV86bߵ?WaO f2+`҅źK{k۱۫ͳ@Ii&NVq:<'<҆wIEp !Lvf /Kݿc3i|Ig_Cû_({ߏ E[o6;ZYHQb"$, x~ /--wqŵ<Y&{legS}iJ|K|=h& fr?A D5\5.tV[ '?iMCg\5Cȶ 鎋0_N<6op~چ7êwNm ^oyI6˼PCc[Ԙ;[BDji8 F.::ovPN6}7Y:eanj0M(u|FtB옯UeBlph20ZNף(g@Мh x$lq0".^?yH:_t^ Cb1k2("2hK`19rOѥatӱdV ']a[GP4h,U-\b&is n7 ߬1o4S$[m_Rf:0g1o0i"k(9xL2 b_+Z"8d8HES PWSyT[h(h[[R?>dLp%(kh?%i2 BB]7s96(nݲrLPL+VtOc);Mk&uZĥC܍}> |-%a^.lM/ sKRYҵ`x2٠L|g*}Yx+G8Or-љO-=6 y.Os /N@F8`qq^`!.D3m&W BØ$Xeoٷδp"(. MK9n_°U% ʗ!z.ywXO!ڌZT^u24ja86F E.u=7Uya;[ c ܭ0g0vus="g҃?6kft5# ?0o6hJۣY r:Zv ɸF5?HMOTz^gzpK|8y?m]ypp{` 5yPB[ ~ف& Fh>2!39 8ZM ,DgEBH9zV1Mv~34:U5"z܇2>tZ2(̈[xh"ꎉJ3%Rq`>d۲8~/&u?, %!#<=?i9њ.L QDNm]ܶRd@rK(cطJ,ȣ Dy6sc_ \B '%TgQ@sJB\,Z'L{v^Ѳ=)e" gF nccK1k#X F{ze620=lEp)xzH>%fLtQ\ "6%mOA!aDY|[M>RjWnFkgRӔgS-)L+I#}ƞt{~i- 1]V!yy6e%~\DiIN&RZnԠZO6 [ohOl5j^# 5>cz;TNiD4~e@e@MD.nù w֞ <HAn'BgrޜQU=GTak B;aW*@aa Dѥ #"vљs$œ:3yϏɍ`ζ4gP7U=[s%6:4Sp~>Es7a`FqJ2@}=l.Kgs$mWhg aŴMgu֝NH͐#ȢKJhҧ&PKHٵRviw,$:sɚj2Dz(P;=HG=ZAg-Jްtΐ7‚T F&^zj]Lg9M32Xpϥ.)rM xV -](MՁ N3$9y5D`x\H Om$ca4ܸzvrٶ0ji4?~BOȡblMG=ec > •@ մ@Q>z.&Kbu^7_y[7y\_WdHbλ$Ȕf8wx?b8 ݀ϐqn`"N^}PXSR.e"7.<ω$Yѳ"%1GHʖZO: C|~ڥjw}=r9B$c\Jb);oX!ߌɥz_g-)1:sI&N/P-3bHvp6l;S r _#ܴVًZy9j1` `;HrC1)T@ˇ vM_6 /`oAwrcKO W3sU:WN?*ؓU#=E O$G)M}CgoU~O喬Jx:kS`& a"Qr^%/kifh`I,w o亂݃ޱ0%Z[۟Γ i7;}\%hYۿTlg 2j )ut8LL:NpdݳLE t@9yRh eP3̚V#3wfIW@͸؜)w)SpM KVf'57.[*H#1f^}`ov~e[7òh#!ş3j⑨Aυ4dme\4Qu,&J hoϪ"A>nwսACٿ{CK# nQi'@Jd/C2v%hDžYޱʵ<.Z?9ؤ[Q ۨ9T5ַdT :UbW fCkAծ+4}MTVKĵqr7 %kqPsXP| Sgñ".>vɀB ԁVMᢪ֫JvZ oQȡv^u+ l,S}=}!0U:^ʠ(eGC K%+ENsF2+ȿQrTukLrg41uIWT\/L~=jM`/j`n E,&d?W%7{K^?S숲"DZmcXZK>בjCζBWPEuD[wHTmJ͏LO8# 3@K{.vQ-TBy,;ǭa4vHJxN3% ޠ0VU̇dW ~NݦLKL!OcreBC4t4>kJLrvфl RnH̳NrD4ӣ6'S_;@rMZN1u:;|%$d5 cc:<=n$ezY ^46 0 8_-*Fy\c,B!Ύ;p~vA;J#n5c]-6DX VVj/| XډwOb6Z]0py繂mOu@` ;k;s&~'95PI#/}MgS7W|Z3hω2ѶDA`iR|/4~v{~AIS18aWW&ۜP.*Y~Bve7u}dc_Qr6C ~d[oE;B.%jv˴JV!ה6^KMD!r$o#?>$2Mm028~Cl߀~:LЇϲ @חKFrŐEqiKE8EC$HWJ:6}^2 rvI݊=>|V9xs P~qcsm7 /GƊMVǜHoIʣfTy2{9#7O%b(.t=c eԬ:^\ @ 7FVI,;N'aT6fŐs!?L$eÖ2V {0ck*gy+٘uQ5)@p7bb_b#B]h@-}%%6nC%( vEuz]Y0V<18S;*/l%_,G~s}w f +h\&:="-䭦Dz ٛV7GMHחcd"Z[fLD9'664I3R#JͲ&J i\4ůѵpd.y*Ln0`pG2vu%A~X:bݙDj϶05?a~{-]!/1ڏa%\Xhܥce;*P7)z8ϟS`xv<R}T/#fexSVYf jQIPPC$SDݯUC,(n>u 3g DK` k7]p_/ʖ)C=ĝ7Y)1E~cV=pjIJ@mUʎ+Ĩmj_w`'^+H/NZӽ\zV雁! ̷ bʿ" JS7R8n: 񓈩MWSD)$S/c.gԂʣU1inD|L}X%T0{&sYgbkjެˊ?1^&*""/\ =j^ j$;õƄMJL=} xɨ'$&;ķpI.7E9mMspѿpDkU* B+pkCw_Fd ޢ^jȤYLA,F H [dp ,68 7H0q ~!#2mq,pc*-ƻjp|dQALθ7v?W y &fzύ@spA{%o/2Rz3dZԫ__nOp+J ݑ%j/A8 MeAbz鼠L@rv0vJW<O*½IeVF'JC3 4 9doŒfTM?v3/"J KmN5/>MOS!/R*4=F;eSvqI@ޯ!UBbG7dx+.zrD|ݥyS|-d[&j% v#|>@[V[]CDf.aߠijBWΔDEƗpB YtDdl=R]J2\WgZJ28gEao%'~ jrFs <Y( BgS.OTw%5j8s0˻>x X+Hl>#LaG"Ȅձz% euिTh`~@:e G CD>B$ Y/eL-kwBbu"a3!G`A}(~lѠ^PJnk ~wqC*̺݀6`[DCsN?_o ;^3RȠzBeKLl`aUqpzV C6N|psV3ڻSQE:Yy!ärBԂCWXzEGѢ+L*TRA3+ǹ){(.798ϴj5`̸'Z1}?rpzఫj UR% ɌH!g`"`%;p~ɾ GxV6®U[tY'j_"S==VUr2{ 9hc!JTfr9b`&T{}Y=y.ǧ'C1X7wSܞ* F cwRe5)PWʁS lSsD"'pAjSJŞ4ĘPv֑VM,2ԣ=1_c(cc6A4|%$;f4@Zƿ Nm Z2kC|Cin 565mu,׏QmaR10W-)uID3!<,dN_8k3Wddv4L"A*--2yG V`ቩ<%8~fM.l/# pUFYkMlld$ QX GtW@,Z': Szd'78Wb`[={YiycVu :fz~ʍlAAG:.,"!`w%CJV|j\a+sG) XZ[P/nP+,a* ;{y͗Z k:/R/iYo2423:bwtK$PZ1 Kۑcw7{)4:.W0wZ,f~K.NT('a*F]GЅrR(_^l >;WFɠ%X>k{)=/ܬ5 Ůc߱$M #wk6.<>t'A,y$ ٥I B郖=pY[D1+PmfݎOXarYf~a|ntU\uqg">c1VݛeJ[ާlw'ѱp4Vmwr?҅AA 'ŽIy<|FC&T@ @ځPu ߋּh*re;-( '顺JSI D2* |?%x]쮖9=ye izO6Ę Va&+U9}XƐ4y`ٟ _/][ +GczQyˏ<+]u%#E_3cP׊юٍ j5TXAG1xxs6]yR$pL3Uoz~DYNv{TVrMS*A>ZRY_!&I4ZPVHyL nO6sOjV*OvU!Yrp;U<%~ʷ_"?`pƉNޏڄx HȾaI"I;UX ^ H#z48ݖ ݎ29R` iOmtDSk1n52FuA0I9ˮ_֞'A T$]nTw;n,v(\ƦY0y{x!y}#3I(tcIT:8CXmg  Bew @`nVV - t8?}Ғ"~_^ҭG0?_h@G-i0N<:Cen;D Ǐ:wސ$cZ~HatNڍ1cGZ1Zgyڮ xr|EaHLw3oF379U&D?m(;B<ıR܊ m);_^ڴZycl}=Z#{L8Ͻ:ڨ/׬x{v\v;$h k>3(6v:Bé xj.kA K8 ,b v7c OVw2:.~^T jv\LBlv#Y4E)'\9`x@1S13w)AjM*皞iа-3tiꉢfɁ0l>jk`uPb|sCZi'If/ 5{ Ne~ھ/`NXöf0LgW8͒(mch/s^ͦ-թg*jt.$h\$cQQz'ю+J"MTMH?iuSBs;kk/pJ" Ϭь f(3*3Ah--U,FCaCQ/0?A`h߀\5XوC8)L@|L_8hP~T5e^r<=T.:#=W<~?=UĠ; gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4>Lhx/ 7B$ PUvHh^' 'B*᎔Ny3'ТGfƞnkL& Z$pdʇ{~!~ja>&o<5wՃS3h2$I"iF!ΉHz9y ER`k66 FJ *zՅ6JkbCv HաW^L7 Y-} 3c ˜/hy%N3 fd~ YK,&2T;[U8,JI-H2rCۄ*ҢD ,ֲOK)l(kA=||4 -V)m-Si*\w&|Y6ƹߓWR]3s3imHb}Wo.J*gpLؘd Siߞ`Fͷ%zhy'6\@8!g7, A"-U9ET1P*Rޫlh;R꣊ȃ|I/C^C݁ZXɏHx8{Д]H:lWZc),;%fTB!M{lMVFx[K ݙL)T]{oCj7Z!w"hro@uzK%Ӽ˰"QL9C@쯯꫚Rl jo]eÍ'!u{ _qe{w&;>/ f_tM*0-/B>s[h E@XGJ;f.~b J]ELpj"VeHdأñĭ"kVVUѱ3@“)Hvpn@8΄> owLn4xYl JlVkyn<8q5Ib^En(h2oD{_sUHTF`vU4Й[L^ zXT=5__3 RrFJ|#5]ixWȌA7${ I\i'h0ɿs 0,72`0D%T(EcMQW^W]mZDeh& IY,Xat%Q_,NK;i[ξ2pmj+#bS=X("NШ.aeH:]=[_~ 4K=s;jv7) :VvڑH}si\VǗ' Խ}qm8MY&58t%XL=znl9tDyNU ڶq|9U.gd6w_f:"αdۈI n}V)QMyp149j@m6hnb+U2koٹ?]8i"P$(7g:S/J%P*ÜO:|]LYe՗0`LMGȋl2ڄL`5C9K#@a.Qhq;2IMV-[C79iMir!NH'by?O8#\&1.Sl#vNW A?5twGG×"БߙvGwnoV gcKvW]>⿄@AaoxE3_2K`1$PҲaO.A8e"<ڲx3mLڸH&'&ʔN 02:-ߋcސ|6S~wCdVDTzfVBώK͹S>}PGUv燽OகO9#+/_,X zk_pbp;h΁(߀" ^R Vʏ/A ~H:\@L Tެ'#8݉*x6y4\>K)X³ ~QϺ(Ř4.4^ j=l|B{C=gYZ7zXZִF! 5%e]ŗXi%;P ½I)7\Ncs|W=龚W@Ұ - /^)ƴBW-s+f/ .2a*L\!a=7ԞTfIivl5}W8UfuZeHkj@YiK~M (Wr]9:<,z"(35݁*yj宠%*EWkf2A]lƁ0O7]̞{@zh.U nO fGN)Bzw+U..7zAnFjL~vo}{fQ"! 82=t? =yֽ1 a}u`oZ{p" \ 굙a ۽X|39yl5WA2zu}N⛆S~ ĥx{4dzfk4F]le^9, ?TmտVc}+m17ӑ +C:2Rsuꎀ?wJA58 (9~=1y05J9 _j_t#%\UODXF)*,m/d2 lj6p@e.lqZc,JvE@&瘟dY+MΫQI:+=w502gJ\iH߬mCGyKv.tunо>Ng5@hjN+[ȇq.͍C`fH :ǜZ%KٚvuJN)\B"iPt+w{Eo^ݾ[:˼irYFcQ?)Kt,aJ۳8(l H'_`K@F9q5qoRʗpwlJ0제݅>_n*/1A؈%i]a>lj=u{xr'b^IR$["쒍h\Kȁe~>1H%>nߩD)F ޔ@e̗%[E*~QJl0^⬘&9=7 ,hUxQ2'\ o ȐL;Jcc&)i3&*+3UG?GWSxat=uVZɄ^B mĉH~Tz4#ͺO}sNӆU!epxެ -9E=uiZ] "/H+įEtzp,[4;m.5{cDt0[DG >X0&[xEWlHqyFUļOyIMtbU V6 Ic/XepLÀGfc@LƖcM 6 ({އ F$ ʺio<ǺbDBFJ˖|ĺ *pM2(*]@odqm1| WX6=QR`*PmN Z|7Rᑌݶ"Q؀A${CֶzPgBBg:~ɫ*M#8L3-Nr*×1Ҹ!.[yyFipƦh |<J7t_@䀇wWcRtu ۤc"B[cf7 D >eilIdCJ7TH$S1^cAԮ<&c[D.g(YT P7W5HА7Nzs$4Ye?!bNm+yn6P5Vp<l`x 3nFr4N 2,jaC5I{R:бl.5}vHokaHڏF\g=Ҍwʊ,9 ]?TW 9hww.;&ɉV U[=xퟘl̄bkdkp"rɼ6q3f.́*oP? dLNXY%pqX͹Eu,W^;9KMIQT9 NZ5zcƛ-(mID| mR98GW.|;̌z%MzZ;R]fH a6<f[ BtE fcVuJɿq6}ŧ/]#%cUxwDQ( zv ~Q +1BJH~pݔTWZ]u*Q$4T`W6K=G>HQ;J{BFim2覻10ҍf%YR\~jW0M>,u$OdC/ӲHyԋMHpk= w}c> 3 &Z0GhA2t4f2o :qZ yȦgnQd j7$b瓁kQB䮿rkLVŁv-2.3{z煽eЋUY9T"^??qꁻEs"\gz$USm}Nm\ڛ*H_WShۛg{{c8Wb&rD#EؠFUW ђ.M6+ny²NH =J4!rOAJm[JVx G?ƌ*K~j56a(z]¥~FEuQVlOHewizrlklI[&v2z)iR#@:s9Njş'^D5_+[ю Advt_u1֯lt,] .N"]F&D%C oCq6b ,^QN6ڧ f5%RYxQ4?f.iSe;Nsv0mDCʝB+j "rB.iGK l'X^sqh1ť$R@ykb7#{X.` Is#HaEWԢ j)[h P *IbjiPX*xi\3P6?LdmǍܡ.dC{9_Qwdm9yDJ‰g5`on#*t"קq+ױo!bkHv#XH|~n45"KA܊p:&cKn0_z k+b}CWlUڤjHn$x"C([?;Da?9tr|a꥜60T-0Ҭ4?Ld9 P=|==a+M_c)[NoF¥iًtyd&ܒ5 n|5`Zl8Kiˆj wAQsJ=b|#l\2e5\VKPclcSsU}U^*x38I7ѼNG|:8Ӷe:pv}Xw1Zmk$3Z-j{.8i~-)+A7L`#k#`Z|af~f (8Vg-p+[ckmPX05Rylố]Tcv1^wn'),$w4QrZѩwZ{q&D&pKX Xvʣ Հ rn sn{ω^ꈇz .HwtQS LN.A߃PJ#M@Xʎ9ߺe'*$z?KʤdgN ,Ud0WyjPqR:h U/g? g涑n DzH`oXvn-CPg> ƍ!,H {^B ~3[.N͡[Y?6}KΡYN"H8il+27eW6,\zWo |&B'Ye1"g٧nPg<LNi^$Hw%G +)PXfx\ GcPӔ{ť >;jYSR+nBnĔi^mM}Rpq-_^-߲.` aO0cb퓧~Ksg·zn{ a509o٭2LV9gDu/g[ 29* v9iCqXJL渦p󄍟 f0xb[*|\j[aq7HDbǑJ(kLwiˤu nm[O^P[8#wסmǟO" *GbWח=<N7fw"ձͷ&)MyJχBQA`1Y0PR{ᒲU]P:h~gG0OB bC%SP0IAxuEbC^QhQbv(N.fm%pΊӂx[R~ ,E[Rf#~7LshE uԃqizq(RΉQ=߈"L0}'O3#vN \AV[xse/Fj XA"[>'5G̼?0?Ğ&dYW&?mknUzxKڏhaP4qc"dF0\dˣL<$E|GSL!Y8# ɄWF]>9*!<VՌ*чF K(%-c/b! nųIE:RjFoSZneE`|J*^,[A%eIG.G$;P#sp%-Q+ycc1ne~{Xkٗk&| GLn#lk@c2.6g_i1ϣ畈A yh,F WiwO$_J!nemܹnvS,h5͂|֨|?]hsxܥ ݗ]g%1m%'zʔ}eN8`Tr^<= ~^^{bsMBDJ"=]a74޼ 3Z % ѷcY˶-P[.Ԍt[q"c+]*T@w󍱈@?T烪g8T4U||5I‹۲{6J eU Uȭ 0ʤ,uN-3;Z})z|oy 2 Ǚd\Oj䵡>.1琉Ij%\u^z:\IypShDH2U=J|.7ivn+^B!o)nUYT,@_3oLJg_S41RuPtE #m\`H .nY ĘTT)5QᅊpQlJ֋Q'޻{2Æ-,(9Z^K)o^@66u1LOo٥WM~}v- r\N mAǷHP=dG&Q-2 4V^l'(H>:dde &h5M8ǔֹ 3&q`]g, N\jOkԺ9e %k 6" yWz@ۢ`oHO˩@5 5ΗrF:b^!u%3# ?Aak6]Oh4̉*`y7p~ . @2+Y7Ylw_Y1٬S2HמOyCqhca%Mlb=ȓuhIhYXnnt.{ `u Ųy,FB9N aDۮfp6|`FJDV4aiɂ@Wi c%Se{v+ƵE#{]]EN`T?` )*1ϊ.mqt;fuGԃ+9$= !M壮 o?8DwKwܡX8Z?9JuD԰eit1yA@_Z|6Ѿp5bpoujz AFUY5o+~Mq\ũT.^wO[_ N,#mL:dCH R͛KH"(Y¾\"kgfewS %d^!bz|(kIȩ!O7kd3硵ȇCk Tr`25,z 9aGtRu/:&k 7يDCIT†A_yhio)V9eû{mB@7$D(]Ou5܇˾o+w (fͿfZmvV ]&'ϰω8A,k>C/ )2BЄH pV;y1̊ŵC}V[x(Ve }kk_u8V \ tr^'}loj1a6Kzl! A l8jEOsz`ҖL/ ɰsLȣiPcWUl̔뱪kq Y2\˔ RM) Hy}8ij8?}S aU}ҽ  ﵵD4.@]-g*f R -<JmE O$?s3bՒg[Z)y^jyFfYǓo5iLj,(adR;Q=w+o5Ҧ$.X^'F>L-|R8Y4똷].8ѽ&-_W$7NYI{B\V33|6RT+4GnI2!Fyj*Nvn\W9D6ģo~(ix d1çv}$x!U6$\80RםtMSi 5x&,:LSTdT[HY05QjDu]G5@ݯ.;i: dsj nF2Q$Lnv) Y7I ƶt}\ 0D]JcA4-DDr}5MǴ w9UScG++sڂhn0+@иQgJ(0w!ZԻ'{TM2 3YFam艷l7%qxq*'/ $wB:Y]ó =lurmfǍ6w9BG*ڨI=sU^ 7}wjծBJGhwx?SV+kyBh>WFȰ 1Fl}jK31du. Fbw<7BhU4nJjhR# %/s Iv';59Oh4C,NJW`(bakHVd ȹ6Ԣ]A]h~atA5">oV9U%O4ҿ qgZ*slp6NyHl_EԐ{`0f7f猁{P)[ OwJ1>QT |o7^usz؇I_jq24A6e߬ggRw|-oy,4k*3:KHuWC<)^"H8F)^sfΏQ6AF Q# A-AʝJ0|BbYI/͋??1@Ǽ[Y_⤭,'ec!\# /4^S)*uO4X}KNxHO4`|-s5•_> NjoTe(lW`ܫV4;LP@{D M^^l`LK54Hz+ʿIxR[Ir^Zk^}WT5?>^٤ijh:\x;pLHuͧTbu frٿ̥wpl\UG G,.Q(K/hX`&sS_Vj].lg0cy2F(BOWI>k5sk>@\θ)[`> :l=?ԭk'᥅kha(#ة- =y֓jBpaT)M<(=Ϯ4Z\6R뇘 Jq`'pu.U\ö\?J6SH puJv;O Gmf-\TMY-*%b>6YV֛moz'+LT2y/b"*Wk 4~J`_)='qN sk>苓EJYob9Ռ R@C/')55D2ԡ/*{@}Kִ!F0QƙF|A&80\F]uWmA/xZ H&#3ÕRH`Hlax2]a54nӑ'm08sI \8V'٭etb|3M5̺26S,(əx^A=. I$ -p#,KƲ?q)ѱ D썘~/э * w;wmj)@K[Ս2 G)wHGkNuivdStL~nI\@:S"ύ(囥iStFQ=A` /[ȯJUE{Пux;pOAe6;yE=JMWG)6ʗ=p(@ &ͺ}Gq)b@ q6ʒ<_]XH9: Ü3m\΋Hkq' rX&>z`:P/f^Of<eBE„Ka`bWy{҃:PNmUkW) L%}ӽH1ӶD|LU,Jzԓ`?2A*0kX~4HFV1(Ccx/Yna<^L!ŗ5[JsCP +Eub r{%ZW"Lnj~iUUGZGݸW G6~ˍ~c' Ǭ.9/XX*>&oOyeź[縙7)]U",`[Ͱ2>+ &&Zj-&mEfίN!M5E v .BũR0]NP~h1!m:GcgE@:PA<ֳd dvU&=g;FmSq@;y)z[˔?LcLj>"2No;, RA\\Asc0ŞճXuGatF9Ȑ 3w^R_SkYO`4ݣdHJZ.cDW+Z1Z0GӃoY{yzڒf_mkb'ML<+Y?LH6T;SݝY " u}ІF!ٰi?Y'.JdyNpi`_L9/uh0Nbȼ`9*|H}/QM<"Srf/m-_aްj(q7أ }U'`I1aߐi |E!Ex@/B rTMK@;)Xa;9h#a켩A#J5)rq#Q"S:[| 7|0Vmo2ɻ%!Bm7H@ھm- G'x+lX`(!>TERmSog9   ;*dXnW&{cqH]%ʎh}81~\"}>9*|`hRӋLr?29WXPQ50U#e)|@1٭ Y **t@v0Fs(_ ;]K; JYMk8jGV?N/e ~ikFKI|T+-GZDC#PX>1CϘhuE-P5؃]jt |dQo|;pnɆ=oZr0^A]}$GpAo>$wZf,b[~vJnѲ"aǍUw0L?k^4-U 8~Yg?چ.Vo@rP\ 2Q'H ˳cJ'W.DA!jrBM7Ubc5$p|}'vU6t_A޽*1, t ,&ެ!gJnb{+W-˂i)yWs7i~9 Ryll{ -)]up_o\1GVpU:N7;mYk^H]eա'^ &VGI:xqMZbsC\ث,+޶W"-e/MV47i>}%Ü(*;V@F|86@'9y8R-sqY͍c laKw;1%䘈K?32 .D Bhz+ǯ G}+zKuPF^'=ߌ8bq>.0K0HI 9ɏU(En3nCthprz)̥~^I]'s'F8$DTKi)욨= &}9"rCK9YY 5bTvW6yY+"%I ipƌ,t?ih}5Ν^0茐vUׁ*>ԷrvXb0!cݣm+")~d"ԨږqK|$xvQ1bKIϐ3aim?Sq.YgG<)>6͈(=zeK9X!8kd sqzrBqFLE[00ѹ}ӿ\G::Bjatg8HhaZ>moOaJh=iEU)WkUA\Hׯ_DS}a=h7վ.)#ROp-*){@1=!_Q+pG֪}F!]ø5*:mHp{]|~U:ҏ_RTj ܽ-~Ax1Ǎ]2此h.\j@[Do>LR)9!C"<}ʌ~ mHЩ{XuUpgd7۪xI @k8ƠC)ӫ9S! Ho;->vlHj-8OXF6 Rs3;aTܣGYWj8!' %)t\Jl|HOm!KI#_niZ%p|jϹn|9j *Z Ny}g7O2&cWjB0[k$xE<=l4Q rVϢNJsa#sk7 zsMlQ 򝀠MU ޢGy/3Of[$Dͼr|K%xs 2Q `mLɆttIL0{Eebq1-&ر( YXsY)79 at]Z'952)"R<8 tc'l3ivE6ҿDׂ!tG" B d{<8y"`L}13ЯLP(Dg?zoEn;po<>S(Z<\$;zME#ޝF9 K'xif8 yl!v'k>-}ΆAz`ӌaXE/dCݗӸwV#r&7$_#xuJ`tvDWF#PFTV<'n-Ƶ+IqC/(K5f\V?J대EgD聝/| A̫9\ x9}E'plAňX%?*e(ę8}6jp{ݹ픽cBԉ1ﲘLBBwZ O= X,/K 3pB4ELaSUqIbjnG‡AN8myt{-f-`HX(; ^8 lS O>XIڿ|OU LjI<>+\Ząo&:@'a{w/FM"腠00B䟲$."[وMf7T*VT"h'H)lF})(Ъ'yl W|M"|b MĩJ:m5SDגl5_Rrb PF9 2r.'߃?^],۪ߤI;W EW#I z:OE1h:Kn-ll˺ńeę&8}*,bjI6\ ;Gy`{O Y<,{Ymڵ/~qWd°f_xǖ5dkU@sJA`sȠ֔(Ò;LT2p"ڨ532𜬷KZ:q"iYTK-&iw9T~2#B}RN~2?fE^-^Ӏ;Bx^@ByB&(* c(^+dMZ(fS 59.Q^Nr9 ?X a4:*x9$"HwZ旁I6cO` {?D^yo̗єҳ lv*)@Aw+%0p' 7ZFt]%WK{5gE֗TΩ6a^'#n2Y9}m!(u\ :;>Y~?Ü=r|Gk. :y v~?q($E 5sF"i<.q K{WA)J.dV mT y/Y,F\$, Kڿm& M{*4`z&4pn/jU6I{HEd䰸V8~>(ѳ,Mz} e"C":#9Se%ğI~cZzs_+U[}k:kKT7H#{D L}?Z|5࣯TQ{i8ǫAHZ,*ҏnD m5r[g6dAh9Ĩ9֐ &ٍd$(R,s % XK\s2k-TqX(ZIur-QāA0`Nx2A7T-:Hݜ!Kq?ЕuْE8 ļ3@!L4m'-}YFptgxe5"u>V kUnY 8.}Y3O==Ûh137#p)feCioFqlô8?cMzCh]UEۺb\:m%-mK/{]0Aj@P]XJ&Z.dm`KXhߠab |@IbX֭;a͇Qt0)j:W[&>vj-P@ƔYX\cdLrcen *ju̽ɪJ@ʭAI'\PӢ_Myk W߂FUZi LZ Nrxi1*@ #eEvx((Mf']ZX~^Ou 4_Wu{َsdtFP"Y) q"'ؽne tՒoj/T"{>cly)U'ݞ3,; ڧ)0w.PE(Q_"D!%| O˸]#*$0zv 98U[U#B"`V4>jKZث7 F1rQ2JTC4+Iu+ "1zb0>L Cӫp@BADt&) u~.aĬO=-+SAr[CdiaeAL6>g4D{Gc'`s[*K iE9Qi}| E}HSIeuz{w0ǡ6 Wh5"m[޷Fd kk(I1֐'Bt1bv;/v7tQhfeHd$Yp2|w?*.$ 2IJS;I`bL@{(G؊^ IF"RK:#. S]Nj^Eνͦ5c[C4ID5/1WMΙ{nGf[V9A 9(! GNIVg%]Bcvd0?,v,0%yaGs)8f6݉`2sVŨ9Y۴4)UG4xCxǎ$ ʀq{ o;QvHX&$~Gj]FXgS9MQx7w]zH^,p3"q(yf9OX|ު Jͼ6Y]lR+5g]»%Y+ji~k,W#.NAƬ9a:ciq|ZT !.{~tF>J_ `fKʹ0%N G%5(nʢwNԑ5Teod)ru:xP. MSԇYj!ӲK6|Jz!URM Nr &h sSdp쿵Ôp;wy5BXeD2E=Qž\yT[,OOQ4" YO{D !џ4\+ZGHnw-;o?\FL-UQpASl^_ ? *&JW|h|7 H\RQ$J&1ːl_[;ʹTVqNZrks*@/̣.,[-'xrT}{?Q#pyR5Hmw&U-,% &L`U6lpͳrJ&{քvFJ}s!8g; ]^F1*5W$*o}LsM_61 9zN2~G7dWYVQ3Nlw]\=@5JGjSeD1UP5ۗWH3{.򙞚o[N?NX =eY9-sKq\Z)% `Zq]%w~ʡja? U9d5K13Qv*mY]Ptv[-?37t"g]$"mL덁y̷t qƢػAqBh{ͮزˮXf™;!в76 4 MMˊ (cmlp}mGo10"p))_IAiq YJ/ePE<*S)aLE̩PblsO>sNY6 Eoj`-c8왞v<`\ɐ4 -$͐ ic*k-Ј݉#B n~iJIȆzsr'Vh3$2?<_9]&N˖bqZa7t5=",O^7:6r .S2_mJ 0-a-8SDF&L. T/R)Kx}AwxޖiR)Ngb3cm.:{!*i0RMϷ/aӇO?ܣ_$KnU"Z˩^Z|3p>\5VJ@%H We\+ˬwrWv"w[5HXxwFnh ɲSjx N#D\\„JVԟ/4眉F*TO3e7nm8֍  ږj pdQLWuyqo3,1ʅٳ9G^ !Fij"]\8A:LͪXr6-YГחl m"*p.:VݫnDBˆj}weK#ȺN̑)O+a9i [O^nKJ'3N,믰;dT bygjF |N<Q,(bMpX$y"r %Hb'l#8W)gn K)<T1꘏%ك[k 89qԷ6}]wdܳMbBa K[j"ijF|+bÎx~8f B4X+d!|Yj wc 6!}*KQ&a&{%%`iN1;z {ﵰ،/1*5(T܄pۗSTeݿq) (@Po/'Rsʊ]ui$qSl8guٙlb>g)(7ctܛG$%L14yu~Z/qQUt'JQ- >ŒL@µ|?w,`e% DvbܛRmkJ5}Fnj&D^BU"l] h:++h0#6VUF"‘xE9HC""~-VW{ep $yCuJ?x.BHtIh>̺B)s[̌H,,@LxRe~TcxFMXMI$YonfDCU(յ#b ;S=s*b"͏;o튡fSFЈdM"뭟r9ߥh3B͞4tџ|Od~&]J7&o*3V !eB;B3툭$NwWB| Xț1PY4\ C1DkӯIa}9 ge8,:n[7a |uIc6I#اpzw?j.78oTP c~? ͠/DcRۗۖڍcECw!l"fG#c+>ct)cFpqiPr(*oQfE7DZP *{s=% mrb ӧ<SozmRH3!B4//h>G ]]P"Fh7o 3R:H^3݂ 0jgc'6) N'3{MtO{|pgԅm/paTB Z;Q<>^քTW{JI蕐҉Ó v(lfs(4QPIglc0r)$QD#02c:<8_>46?hT?8_hjo%(y)tԴ$;.!F{{E]"6%N[LNfnfw>D$_cựk!MR<6jU8."s'm:FXdEy'>|q2{8P6ǷA{u&K$OHWIPj!Φ$c#m ufI8\ĺ`(9&7`%u6!{j'a`$)k"nS)a#+3o=qjDzW WBvMsّK[]v4IC"Ԍi!{C݀'IG!VOvlFR7Z7,3i7R91e!1v}a "@%`.ltAM(}.CT?E:ؤ=nJ͘m>ȯ##uĽ|s فDQ'u[,'!azOH^o?!Sr/gM%THvۑr{l!Ӄl )kp*V"xC*l@d֌}?iQğZ*+S>ka{@HgYZfed11603a2c10bd2c6d2b0e06466675c287c9a2cbbfa36403cf9764db93df21a36477abcced74de8 08d053295dd87951969cb4a9512b84a47f7a7d609f083340fb3f87a42108619abbf817e725a05044