SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ))+ TT$ ] Lambda_Free_EPO:threads=4elapsed=22.453cpu=78.228gc=2.784factor=3.487zXZִF! _`]ŗXiɟDYK<;Fb4hi>c.7sXϜgYC=~!6c \RCώFcRFʄB.wcLۤh 7'm%u$tv(az΁Cm&I ~ ;IBk'5e[Y+eb1-)9 1dBÙb"SuZ8sKcZlU~f@& ܰ%#e MÃc)X^OcԧC R#̿ɁVG{#tcעt҃Tq~UjJՐ3xjb}) ӈ(2``?@HhAcj?} _#~@.3|hJ(gG =rSHџ` ½N.J +XZjgO$TGg&oi]}trm-iu KyG85VB3 mR1 ! 7P`;ނ)Jf!2fB٢w yb#D4Vi)~ `\zt'$ gvN0!ϻh$b@"ɾlf~ QOTu2CӍ;OJ>u_6 Zq4On$`;=MR}F3Td*PF*>rƳ@MۺvY5P?Y1f)tRJIXi m_dT2}@;~=0g|GKQ(L/s`9 ?=)0d'}| .&sd6pO,ZI@qvgj\y1!g qbHG}$ lAI5+&_*)s6']*.(H'ɒ嘀R ˊXl٪&X=lݤC @ѿWR @b#J&\ Gš6:=R6$W*τFa#":P.4ӴDL+0;㿥>ClD7Ea),X78vz6$EK*u6+=xAq5`{x2XۭtnҰ5>yD9cy`0=UTǸx* E5X1sbLQLpa8.4@GNi&3`I*@(@!mi3E!ֹi"~#u,PJI"Saܗ47䔬Wᾮ,?;<"_e bxi'ȠM[<ȺÔ*9l)6LUgWK ɒG}r (|'},M؉34%"H|^k^}!%Nbm+*E6qF֒ީ[[X-g֍$0B ,GFfYxy H(T%ʁ&jo^#}yĽJ cvEI4:{kav ݂SZޒir>Ǟ9gƿxO)z/Qh $c~k}>ެ2)إhƶ>\DBP *,t6907E7ǼDޮDZObg]jIA.IH]|k̡M" n,Z`%S] O)gP}yy*dٹ+@^34œsRYڳlwc9?+$$)3=[%$T}o6M,ΥmG<PUB6b9Zศ^}x׊Ȩl=.ƞȰCߐYf K UMYc^cS0=CECr}FI[n;9%2'R`W4H 44:p- Y>j%7mF mSz6A<m/eS- !QvQfc 5ǐ tD\UB A8z:1{r7f_6*>f5)ҋIa+돏"!tun{/}.p: m~a]iFX`Al'E8z<+G``u*p٫G1ƸRfڵ&:uؖJN75$E2u8Ёf^<h5pQbn<(Blpn(JCmJ]ÊFkn-xiUIb P0\?cq 8S:G4-f`fBh 9޳ʚM|Z.{Cc]a]M2⩺?RW2*!b:A曄(׌`y-xsc<1MY&|gtK>JlJoyl<㨞ܖWӠ*n٪RaLuM4zn%bHo[? P51T5 c.XΗ2ŃQҟBk8PdcN}108c G# |"٨Q0F"L,X#Rr}L_ #Ŏ=Ľ, A1Tcj&qX8Dž!JfP~.3@ {պcÓZ QIQ}joTi _Z4D1rLF}|L kૢg.ONܡ#ᦈ5r!â"t-P-cOEѥPeaP{bv蔧/;)V?ثb&{Z-[A%Dbmcb|9듫1!:C" (h}`J$yPUYCM$u,f}pf,$u?n0iPm CBo)#v ]L1˯@}0 ~j^5=dN)XcN@eCSs]ؾiEӝrr 9oH+}Nx:- JhE_\,]vcvf?yxw'6D rr5 @$\S&>OfYC0X4]heQԧKgQy Ϙ<7} _A6`N2{: +?`sfҖx. ^qO_ ;T9q1&kw'ųA pgeCrN Э"#߶be>>V8u۸r=;uD E? AqDpB+7@e~~_V #T8x"SU>!==<z0@KԊ7Dx"/&v+b2N}ڸv2/'/ yϟTp08c1|"9. ),1Š?0!/v](&x EFYX Biqahu M/\j>_k z`b)[^"k)>mmT%SnM^! թP(ިeBǜ ˞ 2| vꙬ<>(zbIx~AP,znq?n Vg]U&"W;U!Z eiuzo2 U $ cFXMF om9/8 uށ?Y1/ F]Y )Z>L*il䷾5 4k:I{\ lQ40IJgr~tf}r?1!_-OΖc#>A=bP:.M-?% fL o7W#X :8*Po+?5:D9HFQV+H76Yg7VL`߳jvўJ`߰dr n|Z 3S 7jƖ.6`.?mͿ$ץRSaԌ6 ,O#;X_':n`i/ B䑥xk_ϐH3eZ`ihm)RRܼuu&*jvd (Ӎn ɎzsFi 䦚`.˂.Ы[?'%sY8vCD-{(4x"Z~Mw4'?-4 jˁ}N&SJ[$4C% vi^X評5jRtb=hQa'|b(p#ĻĢ,Kq>5f3.WKB1n C6 ` [Ygj65,DdY9ʋEd&g0W'S|ݫr+M#{TonOs v߾Ad> Xe>Q[ǿgvjH^KTaP +(32`ȿ%=*@I_ ˾z&- ڛ&0}_atJu0uR1z bU,QGFQly IFJMn(͛[ڈ6G^BH1w4b ]|NSUD<-3(N4!"İG8$+pHugc'VFkX֛Z;l!kA _tu$ j?gthD{oׂ@ƪ T5*{]uJetQʜ56z![j%lɧY6|UW\vwʑC_2AB w h_3pz}Rwvr᠋SPiPjܯ+7x@t:9b}o:B59{RI49gՐZ^:ի/uC%#Z%UKYKy86?43HQ@A:N%̶S AM0e&Hr?͈*,fnA>\;<柅zGi:s)>SHu?WL"讱9 ? {rv }-*b/O"7~Cd]T.yښ/ @nw($.Y֘Ksdl*8ȦR2l"k~{Lr?u6y\[mM :S(5[D'UzOdOזTK~ZHl9lGx6 c=ս(BO:g}JHiVߏ( E5&c'k(v.ߋY,2.<63A*~R7t4Kt k Fdbͤl݆ qt)WFeLݙ/w"0K4x"cgM|䖷`hZ}g&,dP%Y bIPBElI5ޅQ#a[Q%qݒhcRw6#,>}Lux;g@-q@O"ք<^k<Jkz*[49.y4I&/ee"&7.zXʼ򤡙;&J BC Om;Oh$6lb0;z%ׄCg6̈d +a)d} 5 N)͔2{"tnT1|!ʈF  t%9gyw=M L1z-$ n`ܸF̬[b+*1-}z@>* V)O֫Oi:]}7Z,RՇfI@+Mð4F|`DЖ"|8> ={So3xW|^ ҄]7:_qf3~7z].ɍ}Gv=9.;)]7T15i]Ջ -y. tT;ql VdITG"}0hrc"]2 |j|c l 82XD6g $얝ڎs(+6"jS|Vfv:^$B`(q 5.l +-5c9jD 6LR&BulCI gYH=v!ߍr_|B3jɞdVލ_3C`zv:0l]lf(".]ge|Oǭ!WB"^ƙ1 ! Ff@Vٜd])s-)4UڶkaJ3E[%>of 㫫״$+egȡ iѯqtHbsYxMd U=4~O* *&PTZ`Aa}^K Jzͼ/c8E=m@m:fAE,<1DHMsek s xY;I\2i BK߯_=Zl<1Kuח)4L*)j9jk^}9'a4Q$ԟƉY@ IYdea_.V$>rz< ?$ep(v5KL|}LюX4>Vx]ʸ_ ec0&Kg .8@6p٤q-4Xpv(V# ÏD͛;yV ګulWk#Of&.}8o׃8G ^4R.ߢs@a78B\τG, wbG?C%P;-oL*ߨ)sr` &/T˰1HJPNnxj67%  \midT(cE`6,NFj'(O&7|"U镚/ T?La'!(B5'=аyh*7Mpx8X0'] g *v]^/麵XvA ={}tJ.reBMO}[8 VSԵ)!JY< :5sI`!혒|ԓSWww*[4.^%&7)u6[eJyfe++ Gl;EMnИģ %L< %zH;?m%]nsG,{U7MU&ߎSm y}LyА[3o$!S<5`= HAɍ?ч6tS(̀TGm*r߮WFYV mE bў|S{`,_k4/:rS(Ā%4 YsQ2J<9d"=s3m;':NvPT*ԩ5o/s#Yx}u4ڿh~Gce= K2HTe˞!{7pe;T"Ư2[O2qo/y:΄\(O CLtP J+:"6z[3Hy+a%jѕj'5?dG=ӌ&;]6w1 zrWe-,Q/M+;غQ;YYgeLʁ{rF:v&Iyx‹뎕J2hNħvEC KV< Båw*xT eeCղ^IH?ҭ%Ñda5{.8xe3pb\^B|yNX~GҒV!7:"pPG+)+1FCqh:ħ<7ȡI d~SWWXE`U5t'r >.K64as A g䁗W RF:slrیN&i-;Kt)[-6SԔ2d 3c^&J$ ],|8|ڲ\ -bV  E0w뉕sY@YUF&)qh2vFK0K%*R5?2c-< <*!w;:$e@jӨU*q}6f@>&Rc0$e 32=s MK˼2n#2T^$" Qqʹ]O ;9gvCqaT}[ACd tVqdsNTؒ@CX$W ApEcq\羬cbkrofE/B/$mSv[ D4Npfnx`&KMM(>KG{0'_C};Qv1s:|ꑼA2y*g?M S x#$;Wڟ0֟Dϒ>RV!\%0x>qm5ΪTsuwї&֍# o]if"i-x_rW= EЕb#.IF 0ކ7I;ɢ0{KE5N*:qւmu%qBwngFA/ٙ3 5 -b#4 <_2 ψ%b"l9AO 3&5aV-SGup<^ pGd]ZؔZ:M"**ad -A9s)E:N~7zx鮥> dC$6{UEQ/D[&Y?B~T>!$աgܲ58c$K{n:k" $&ˤs~LKD/iV;^%)sue itluȓfGO0 0I LbfbX"h4-e? I辎W4h(lY";DoU!eU^xĒaZFwO:jk9|/N6ozq}-LSDt \4jEUTmF6F ;(Mp,QBX"25 >fۉ/mk9@uC[PFˢ6Н8TRwpj A'VC/Ḫ}x)Xʑpq<U} Nn;-354Ԅ) AHu!!h~ |{* mЮ,;]w(Rz& ڶdmg/їC-zY'ը!&ܹj6nAZt$#C뭁9ҸF(rw" cOgw$nsukIp67l7gC{ƭ|P5'@~.vq*3YL\ A?VТ6: _=f~ Ua=gIk$p{G3ޘ2an=@UiIYvC3~[˿)qqNb_tF@/yMxslYbt#"WΕY=J^̒axLf_.(e@1R|j8i#Q酞l `n)Wc`d/[$\YS` Ԕ}ſ"p7PȂ /&j `P/l6Z4\Jx@9Xm# ۮ\%pt0dŸ<H7B*dUAdmB@qO7^HM8ټ9{}*8 ř3 5/My1Wh4haL(Rp-*S}1 pO`)YNZ u8gb ǦF{To4rV$cJherD"P|f6||\" 2j)&"E } [<֛Z$nG. Ж *1{%mk&DO$-Ow}G xj_K:|,d:R*Eu=fmza,9sqO2q.VJ9!du l/(I}%FRicX mA5n6c^=pFN ^>8R**8#ЯKGwmtKcaٯ=-Kul'ȰweArp`pa(6A%jIC}~裳7rJiOz@"(TMY&?aƉv X ǒ:8bN ِRZM\Z1 gEM˞,3c~":>{UUS⏓c5^fi@[t.PȲaaXdp>M `⒤ƦǾ;̢8|c:=xOi',Y+C>6fu2s(!do7GM;g ٌI/4t'ȘW7T'lg=D6y[/~}QÔ;QeI߾U2]Ok)__]}?}AM [JUor)+r* ZחDl|Vbgyē$k\[(UP3G,!3G '";Z5oJK:;1kV دn2חSrsW+0 cj}CM1Qr#,$I'gabC麪*3{Z%.Ot>N{Db'sҿ"ͤaLwf ] l M`vv fA08`5EO$nrLnٵ)鸗r<Ʋ+A]TÑqX_?N0 B8G'F=ľ7msY !@GsA*h3ˁ 2Pck '^~M%_D\*֥ xwͽQXo_ zr`efMYƀ; lA;4Lnn4!ixW*ҦX%t?߭A0o0ٶķItZǺDz MLxbV<EX)UdJs譽TZ'a VipUP4Yo~cIU "3OVy]Y"ȽGJq.fҖuxp+$!760c2*єqj;x* ( W}>D+8֖Cm%,#=Jƭ<0_m[?2fGṆ}9hMm zW㼑g#|!CRF)՚6uX[;VvtIUk$fHO()w_,Y2;C˺ۍrAɪ3do9HaRda XxeP 5J$.z̩EGc!)nec]3 j Q1edebJ鬪2p($>Y١ \ z"tBNFNPLE3z{,:R2Jh.#ff(pO4"i_p3hOb2o[4p_#Q"EOA X=L4!=W6Ȱ(.x~61P9"-(E,7тᭋ׋U=?cݾ.G??ڷ">?[Aی*jHN5φ*akE 2KvN2^;ݞ̤O^l}J΄GVt!zZ':mQ֚6~ ?E G[ʵzgk#H ^BQ F3?|l0^eI!g$~UPeoiK>G^߽yGHvoJ{WhCqչB,;0i#F{QXu.!g%iZ"JHG 7>W~cn<3rkvFE2)فyC&olB(T5UJ+3o?Yv=п=kp;DI܍x蹉 [A>=qc)y՟CCL]k' 8+sZӈ ȚcBbaݽ`ENqq(11èݰ:#BnBP?eQ6CgZ3j-d7^U躪=`)@ ,6?#r>c 6;lOc*pCU Z;4>n[d jPkXWC\zGм>_l >?Vt;$^S7^3qJ0]{I#[' EwIǰf2 /f& NJ0\7H>@g?mZDrzH%r _) ?a%7mjzq@"̛t=E<~qB%UnYL+qE$ (9d{xly09T<-4frm|bW@I cHc;~hPF}d%P8D|7x|җ'ӹ4Q"D_iL;? 3j6(~)TJ-co0r1ϛ5t;SA~/W̨%f2O E߉w +B Sd~T; -ߒ(WR!25"Qc$}f.KvцOh4FNI ]E}kk,k W>GCRavOs3î1OUmȧSR36 .-"k8r]N꿋M-POÓYaG␦NpK!5A, ɺ׋P=4Ya1DKeci*6J|rtKPU-թJF[{myt\?|[?MtVɨՐ3aյ3{y*{}Y]0i8ZBJw{J4Mhő9 Ӝ1uҠ,++3527֩[u~3(%4GLDʞF}:}L^NZPw]\'E3\As˂Y~`g/T8C !fq0IWےɓ˷;1ұ}muc=u-'s#'Ioxi5" 5/.̈́j ;2+6BI-k \@3Ք[J|\2WY`ɲƕ@?YvdwF,iBW}<.# !z97d5@q@>.G|jY\VRXBY4x HS歬iNS9m`-J7>۟_Թ;/"JOLAilP?΍uY&B! mb'WA7.g M7at4_洃lbm;м\VnsDVNi@Z ~MKѾ2ޯl]qhV-r6%O@@e8b c|}}%qNpo0 `sݙZ%fUWJl'v0 95!˟VΕqM-7RUYO #kb58c(gAڙjuI\Hnn:F=B.A@ GL3w*в64)ōi3 C "oë4{筄 ms*X(DwD1pJp+I_C*H+Pwчú s9bÿb+cS)jh/#m:;iV8ݕeiǣ `F ;L3;Viߟ}a +m l=lI#*iC@[b3qvBQc*K4,(?.ޫeѓEa xbk?@ W*]`+k-/7 j%(op88[rݾF^کsD փ}lg}? %G|"dG>[Q+1 c0ͺcž}y8ӔOXIƽ&l Ku`zL.y 7.ѽzނ-9s- BnqprSP)&I..Q:\=`.m0ϰ*.slnayn_rzɫSwr..͇o"ɽUJs؆ML,jSXZM|jw%VbK׮mR-*@;իχY4i@5rXXaS, 4, H*e3cF`o*`*,c08*txsDD t|N@DXS] yEVei]ϳ[ܱt;3Qewe5[sfC ꗰ,7AVL biѡÚzu5 1\Ug_{8vXӯ|%ڣ\s )JEv& ~[ϡ<z`԰JK_].Q|eK{և^{@?OAV)M+ '\Jv1e;gl'ɡH.80H%*U}<`r5%o:km{iTF{+sL#wgJzTR) I9X|M]w軱ܚ-$=:GNg3t7'?A22 uڋfPvZ=y@%+d`Z鈕CW]MR: pb=j2lW ˦[z9M)L: ϡz͙X''5 -f<:N=%>k:Unq0oGi7s'™V[)d*5|edyTSc)oKE:8C+Q 6|xR0fgj~#L4+[% g.t!M}Їriw P3XWf)%vlP윂Fis[74(u%?dw8Y FbܠkD\J5iъO¹5}DـjN]?E5Xt \`$>EKTmP4פ> ms5I(E ma#s4`Z tdX:TT-)ph5 =D٩*Xx0&-sH,T~j5k/ /k߲vu_C=>"AԒ6$+EwSg_ (s6 6Ѹ8sY(*Q mEX(TRE}u#zʭs4Q(3X"2<15/j8$a~z@Թ"RҌ%fw%V_%Kت&+:2!o#4><:\^^i<ǹ7ya<{/.Lǵ~3IS'brt9[?+! 4H[f'$lmbѦEo?LAO8;פ` |?!"1^6<h +aǠUk("CWƠ*bz 3Ԭ!:;ɔ+<_ '\e*n1]v]vs%quZ%yy֫ /+RkL72~6VŨ ,vx"8& "qT H/llqBଧOQ) {~k"d CyC#.GR?Zr/qBP_:3'{EIfRtݞX!fɀ둸@Alfݩ"/I&RhH- 2ےA1t]Cy]S}3]|j߫{;XЄ)7MOn?BQ]PA-1<$l׮/k<DU&Ȃ"0 /`{0#D sGKmC,g -z^lrtpH_a<^ 6W(\+LV"6D]S|n%WkE<$w޴;"Yl `;||q6GSV=iO]rDivIK{o/,p՘32yfR- {l6guB#߉љ*<weP~01!Xfq0$g3h FM:'PpietHѹC%j  lW53YF&ƹ(#5VdX2e\Z $"}|Ư$mAz9..RovC6yKK+]=t^KQ}8vau-bG zjZe?Ntrhx\kG`q<}bKz7X=m{+]ΖĻ;vk5ujO=߰ &5 AA1Coo J}zVwdHz$#PЖr~mdkʡa FX'{ g(*)jp=k dp0F:Q0H+,H]Ke,?\w֟+UgYrvߎIX!~PY^>AgpCˆx 1FC=ۓ~cdzqN)B; u6%p=6c٦ѻlDɏ "Q8] Sm߼_\#][nVHcѴZ*i9xutRe"_]r\lz`*-t5)Fˡsl͸hH&L:FљŪIfɤ5ݚ+T};HoM>%`ہ{fr IA*ޯ/(eL ŧa$!: \ b۴ :[` +܄)msS윪pj {~Qw+o|"nS0|~_dYIN{sse7P)YfGeX bɵ:1{n@h`e#z~d_MqE_k{RyJqn!0Ul*Ѽ,jL;u/wyy! Z`&DA!CM$;U>WqܵH w֪^J }1q,~2|xxя ^Pg> Q:mk碅BwNdu, ^Bڌ^~LܓT_̏c+ }JXX|K@:Iɳ6L**덼1Ц on V Fz66-/'Z!B?XkFGml'l='( R0`Ul7GE˼=1ڸWebE9i~%|p Pg8^+|YBRIcx !JX+L_k!Xٿ) >{LaٹS+l$R RXEurk *|jvXk5M0zYm/%Dk}mEɔ'L7H㐁Rg.Tmab(%fiD8o0LiO-kB'_`CN]U"et7_YF}š=nIZ݄GxgkaDyz*ېun.-)2"T KK%ڵ쿢F#K l쳺9 W|u8 ,\rU݄b S)L&3=o5S*M84uADvz+*o,a cJP Vf$h bO&8[>˯vҒU67h o_M. {Q(~2ydOv7{ph 0 Xի`Cn߿xN>ޏ|l>s3|WIɵOK/FR+\63 [EyQ;Tr=Ne0Tw MRpTҊZ.jε]zt֝Z=J!Ksz^Ԃه9jeNR@/uhD =]w+~g0ڍvqk܅=%XPnF EG z'ucS =C56lt׷AuMZw7*tL;n;nrN;F3oT_mDxddV%Ѱ0hR{)"[nCgtHϜbI*ӔtIRHoLE9aUm3sG&ψ_^˽~: YliMMJȸ-3CYEp8Gr%ߣv`FF^=~vM`;%10<=Պ9C<-=rZ,}WKkiC nM]OW^v/E0Z/WO}=jl9qڴ:Gkj2(dd$*WM8Ĭ@ $yAμ)c".1.U7&І9*T5v~gaZJ#kDg:_e"CԤ&O,zJ;Pd(_<eNBn"-߄B|"*,B0(%w. @;ӗЬ "<YzFCGD1'T7g;&q &mV@S@8U^7(l"*_,ONrΝ^󭷶LC*d"S7BiR1&_!2|-_>K8%?u]lJG׬>a +W#4׽`AX뭓6.fvdӗ22n̥N_\xa*߯$K e_#}vMo@nL:#0DPqa>` mr]cZzNȑ 69$3~R;SC\@f)ßMhq&N`̟]a6$1?G_R5];l93'-hٕ{Y8,xo#:ƒ1bH"` T^AEy,bS=Ui Vo3yծ9J{t2a'aNt' Y)r*-oioa&$w^**^t8CSJKvHˌW7A {K ݱtbo!j{'N޳&fxwpw1=J7[̂8-ߖ˸ IKoR=28&hkG&aA 2JSs%-M&N#{GO~ci=VE#0)ZL ]@; +$¶:ܭX`sLlACUYZC̨U$PjoQU/M.[ף X5,5?[o!G{q.%zb׏6[8PlgͲ<4wu-O!fKN-to:5~ۭL3TJ*R92G/Az~o6oi| ÿ gV適e40?NiostA9a;~>8T# Bg;:Ũ} Tz>cU%h]#~OGkŎ³nBtBtco !DtN !M[xOo?.4J1Cȹ`\q:5yq7v:85E--Z̿?, diE"^Kx߽80Oj'NH ? SJ$(7&fGݿֵAH:?/hfh59"W>(Y1^+/ͼ%c2`Y|cͲѶd]rֿTXx<.*P| 7-7kJf||ŪM*SF ǧxJ]zHd{Iof]YazbUfP fXրply`-Һ㌉"UX dl"@RuWQB'- |7 Y: ʫ/OK֥߰wn۵ywӯ`p5k FLUY?T7#s,H FG^h/`O_=  "5Rt3 Fdf^ ndxwhY̱s =~ƧdqɟPxV=)L-)Z^l% om+p( TWѯsjgֲI2&(JZNi/||8_BDw 0ZAv>3?P:o#m| з/NӹGL=Q4r4-x9nv^S37\algf |r۟U(z:e\-FO X MW86clj:ԾF *T3A4TJ+)alY̋Ohm/D'vhC}%k|P#>:Z\ڳ^21Sj/k<($ hč$MZ=eAޤ0uZHlnbX@!< C̞ɞ4Wsqf>MFxS A5m\ !tU|'7d_kwwap2='s|16w%`my 3;Ί6 0Wxl).LrI[8gn]'a_ ί#Y4Aw_ S!yiT*Ni "5В2·DVo&AOjˑmhi@Þ'/d9eT6Nw!/GFH)BTU)Lq|݃*!J4j/,_r VG!9I=1"f^$s8Yp?_\Ժ,MGNn?$^l_2@LI-@|2Um7RbzW^peO44V`g%36Հު2+!*pKH1K0 &L9cR Ȟ,8#QE]/NRs6USӽA1?!VNy) 5Y(}ӽ܎g&kB *kJgl=I`quNkΞf#ϙUfN[)#f.KSo{mlM>m^gk6Yh2$7 w.0ȰJh#r݇"&/%;Mh _ɾQP8r:\mO:W1 d皴_2شs#1lB9[=Tq0J=;Y"qgRBv<ݺO^ 9}E~z +{| CӺNTrYWLcr"36'dhxwD?cT@Ƿ;ЕP^ﰤ-+dl'@]Acm8il$sx&1@+\ =E>,J?{*/B.C8i`2Ak~ MY^$T9AˁR~߭VswxA+[&&`Ra`mՕvm.7Ru=&R<:逇>dQ%P5 A$[^$u B* (/͗ż ײqZcP#;F؄Ǡ73t<=+UΡ̓ڥjF9nqǨmn$sU## ?9juN*_V9?fz< *Uf_FJ:9NѺj:G!,;a3,~0j( MC6)* 9lE@,y-~u``R ^z@Ekά|UXܩ.!o}<'ZlLJρ%r?wEU+RD)ܕwCM*L[YqH_+9iٺ)0|@Rqz!gGj$Zyr)cס>by WD$Z%I-3̆IiҟkuD+^ 7.+Ûʐ17@!q~!{l4LJ`˕"Dqf9(x ׅ}ڑir?: }E|I$bEv|."k< Xw26hRp pUE}V{aBfdG(.-,67]DjG`4S%XGh JL=[_iKU76=,ble*Dz6<*Ȩ>:aj|^؏D>|GspREbTt~.t/dCl2  ħm;UEۛX3 яZ"%G{q3CS+ )g&AA={nIGwϿILMj4di֩]k,IQJ?sj3E: .ٖ" B5DL>Zk(-nkhIuFh%E&"x E+y88 {G \0QD$&U*:mub_ #<%jNu沭!Ixwi]uˈ'^i4L#(45_Sh>*RƄRWޖlN8?oJTe~'hV1dNڿ dNkp3r & œIք˶:HK ո b$MSR/M7d.a T_RGd ^õ.(/vT"+;z#iMP"\_鸍;q 8cFvh޲WY23崕sQxlIKQP&6KvYH\[54{w@L.f%SǦ > c-X6^e}dSOΓήASUY} 2| T!Sj]"v6+G 4]/<%QWiB%Ӟ05 N Y?5S!hMnV)nc)=O8='V}4ι6zPXCfJtG=TC,Y{ 㗐A x$=OS1l/RӀ4wԳ[MkM? u9(j.eA}C?% wh% OyJҢQ]⣶ÐC5dZ@u&ނ9:wuӐ)`ZKlЊ7іj:mDŽ 8p+bz[r* ]%1sc з_!ObOjiל&]FSٖ?C6C ?[F}bEsES: Y!X >q3n3\,1L3˶q_՗3A5hĤT79X;yL$*^Ewn0 "˾2䚅6g8/c_Ss@Kcw3;6P+ R;SA*# G80ui hn =*}رon @p)=<0a2.s5hM"cH$yS/$ U(5XɠI!cW_`A١T5ZWC @BMV eH&ž~OD|%CWp,zx"s콝y!'aê~́,6#S5PhG ʱ͔9̍sCMnsd Ģ(c HVBY<܍?‘6::^3 NbvƷpKэ^wg4oͱ<{!9~AIY˵-+O~50Q0. o#zQ`dhJTyԗ`؎+oGV_Qpg#`8O"Ehe1݄ x#rt QB4¯מQ=&iJ_' ؖ銺]3vS|si]r3F6X9n69`ʿDeR| e(lKz bD2#픷"/'Wڠ=Iz6ZXAv,h~&M@ ɻrהj,:gzL}+W MmϞ;9_@wfc2ǍB%;S3Qzq ~{B~mų9|-$Pq:#&ke;LǎQ"%ɺ/~P%2kq<jI?xaxUԡQtcLN9]}miDj&"[kJfx\,+X@,3}I%E8a}=)>j 䧩@rϐAu),FxnzkØǍW0=B3GǨ"JWP[An-ֶ>8>pFCr&$ڔr&1f@<s?[Vm''g ⃢8t)g,Ձapk] \]&nargX [k%RWoޒg)ASlZ\+Z:jS;%i(m@ak!밒@ZJ<{%{Z8mp?E#"b$(yn:F642ǐϏr ;P·#m2U?̋UsB4Y>ր~e\9H4a4ch0;llHu¥6]Tf5wETD8!h}x I,/7גh^=,?7ִ&9`Peb,Nu81)>e3b%l!9Cw+Gާ;. W/u % FeBOmdI#@$l9q4S}6i?B}{LZ}#/ɓ=oժ;B x#Ib*x|zZ.,8:PK$ `?XA 0餦a2j&`Ux՘ddnٝ!?Y_h^*h׿ Wfn(@[Td¢1!)اǜ@8ìN] vłG07lͳzmW=~ŠmJg! &J{Ǯk9ve(襣nIڐGF̒t)͝x Dty*:>lNGq \hg-̻2"?d1Zq9gm] xQ3ƑЛ&~uK sUf=T?sx#V꽓&% ElO2-ϔ렳#Hm&z1.ύ-7.iRU+cz6#%_`ga.%f2]G Vh R L>vl⅔['1Mou<wO'z>|!pP ao/4P򞗒l@ W_$ZSr1=8/wF>[@~f۽%Qy@;]Xv <޵*R}='kUM",.rS g@+r fP $^ĜSLԏ$quoҳ+둦jjNŅtv҉Grb5#<_ֈк jn! /`sKC3ĸRb1uN`fOʼGޒ;j|Ge:ՙTTsӡ0~}곝 =ŃP@V4+hq$L^Їy;ɯH`mB'OE'ox b ϰ h/]ǿʆȲ^,3}ȵgWyRg*)46x0LjBXpYFObUE,S=DMG\ fTY"Kd_T6kzll\/NM߀&-x0&Y #F4bgy& ljQUZ]֩DlQqrM&:bQbdgyayG7Ũp͡&`C@ 0VM]c曝hs"&rx-B vf5?O[Ĭ .2BAjf$цVm߬P 2ɼ÷yYOk#0*49oWDk\,s9a$9iަATfO_R hHƹ\iff\> >L'xF&`x)' l9ӗXےFcDKJ{>"@*Io^CWB twGϧ} i"? :GD9 HŶ(O\1lޒs[w>P6J;qswca*ɼz$^hh'*vvg>aq[NTo(SC_=wM~D393f¬@C6n6܌F~u%%aɍ=A?~A7&L9n |lA5!ʹzEΙޠBH/,锳 t3P&ԍI\܂ fQngDꗦnO/G~!oYC6& oY r\ Ĥr]? ug╲$4b8``YF꿺0P*ﬓ]& $9vz0(^\:0lk8I8_kb50Fp@k![IUBLPf@=eFt@lXbP0WNґ +em[m(易M lyB_kgsGIJ(Nl8\آgg{Ha zb )ꢉKp^@jۓy(;.{:I>?kP*;gM6Qi5HEBgAfK{Q [8+ySk!3@db^cӞk"]mZ=~z' ެyӘuL܇˖f;uUPpBD,p7Vm-:"\ L P2ѡS$HS;_`ّ]p~K:MʸlIW:q(Z*H^kF/bK,) X6VHY>-}@pNid/EdBCsDL&v/lh6B嘏l s 0Vrʣ'ID\hQVG7'x t\w^эφX!H!kt+vvLUFz,87ڳ'jBT5Ov'm )>Cx/ kp{GDQNni)M[ A`/p=h9A04ŹgruL9ji*M$VY]$?(5x,+uĒ^"IPa/C=sutx{bɖT:tk.G5g!w .;%Wvd}^p^lڮxg=Nc~Uﺌ4\#2)_J}9Z*-QBvڐ+]~=NUu V^oru*y[ B1;=Xn5^.95PAz(, 2Gz^$1W,cSAۼ6b?%]Ei1JԑčNWK=0\i'XúNqn[7w_")^(GC $`bRUݟLZLJ~hyxx<[~1 7ڎ_xc> 2k;<~De}ޢ6m%WnE ,rէGJAS0ݩ(5JҙjbW*$.@p{}( CoP{6N+?A䴀tv_agNQ@=6-ޚbjs $3;]Or䄳4SϣCʃ Fģ* :EДSI9SO uvhxZMрRl?I`Kv mZnx8 ~m9ہz£"`z{yg?b,RP- dH@ g' R3JH8ޗA!91.6$4|US#jvybLǐ#g ]c`?A3w}I*zꙢ\fUSաBe1,ٽp\:5ԘG&}7!T~qNAt$w jx8;hKOG+̧ΫgK`ǂ]>DA?~K; #m*~CVw6.CZ8agC$>U] k7I@vmh?̭h W^ Mc)ۡI>5Aw0GD>z q--_ar_jRw(۔4pB{_u. px4#Kg{ P>t,neF)Gڤ+8$v(%Yz c@-Tn;_G94b%UXe'6gdCyYtn}b}ߠaN3EXXnY3azɕYO ɔŗPl ^Iesj 0SƁWu/{G8MH/%2-ൂn3E"dt aiƆm|zra퇗]GYbG3ϕЍXXtÑ6&XhýYNˊJzggs[n\EGBT$?+p b (JFtXJgX+< -&ό4&*0{+Iƽku$ Ctl8Aj6\Ԉ p&%#*1s;z:/!S J[}^h"F`4B{Wl`䣲3^snEZuA;4ux9aJ_Y# [a祁_`ϞOghh1oy**i$4:}!-,Mra< WZQ&htsASR hΰ}9;2Ԛ>br/V *h p8̿ҋ=<#V&OnivDslq[Z!fƵOr4-3(4f'?vJpBč7Sfj9t^ 3S͍њ˹goۤLT؍Yi8 H2xB~7$ /"B6=5;~8Y>L=raoLN~aDFD6SI>=]KW[ŶU}&xp44ZE'WIm5'j6/tyrB1QSQv tZ39_[΁6_Y)QZTRhs ~ /2 M`՞736\](cJrb;ῐ5S%ܬF_*PU:kj=ID5=䌆4& '5ST̼[D V ` 0,qTOI#zl~1XS.3c˚D+kf6=m~w @NqJw7k|-읹nj+4(մQ:#D=cUs)x^Galgzpé(!CQV &?÷巙j_È,c=Ɂc ^" y)r|vP6  l!boם= q *s{֧ϩԥQH_\R욯=':":ԅ+ CUH5ѕ`fc(?ĂO1P : ٵ&I d8E;FmĶ0`+#5kTqKꑩ.Yz5"nvcYKP_?W IiD `G0?#xn lj}f.*B,|NjG2 L/JLK'3Pa՘k WdSV#鱃Lq|URD=P&9/I@5+s. ̻*mzNpYz INͿ>56Y0>V=L֍ab.SYcP,,FR`4B>ۋգŏM;iB^ D B3)$[? t9XePYtSN4Wk1I+56{ F("lkoMpB{A]]6sKAc邩| 4r qwda`&/r^߹hQ?` mf6P[ӘnܰNRF#Y]j*i'W5<3ΧSljl]0p#ֳo=j*U}< B<yoRYxKP@V% 4'Yȫ7ٳNkx K[j3TŨ'w@jZ.I?K>Kv)ҠlC[5mÍ1jqrlՊɠd]A#Ua 5y)t3S7O !:6_2P/L{yĶTOG4aD6?gEo:w223,IuaT{ 8XGcsW^v5n~XG'^iq )T(bvo5{t}4[Dtׅ2 8Zx`CŁ^̱V*l#?])wfG0,L`o3ɦćgևcX㍫r,qS)C%Dž*'0ٴR< Jy^b̨)`t`~t5=ӆޗ3F&>U % >|T m(0a nyfuzX; ybn236cC Tpۍ"9VWfUIxS$H?f^M^6,%_LϨC' )ny FJOu> 0)OY} j&, &;  x0\ >ᴉp'~uEWŴ'۪ȜnmVr[mYec"54m)&+&s//24zBQD5?XWwĶpal;Vʰn}HeFYqw!};p`sA< ]t޿rt/TseٿkpA$*Wz~wmMm99`G_$;((Wknn^\g~kv\R$SgPs9_eVD&4Kw_`U(]wT: TyT_<: ?R^%+Y[˫Id30 x~wGx %i\mlXQy2!Q wej1+- )a>m^%MdQW*TtX+rR( )ȝH8w=>p{@ L]~|[e#b7]Qʕ4a@tS#^?I.xԠȯҕ\ِ|L|j{ G5(h3 u?# @$M|`:C|lap+v͐Ǩ:!Du/b-!]f{l` 9yd%__Zu??3εƦ;bR7*s^kC5J76r~;E%>(^1|< !bga2uOb!pz\V/;6MØ_>Yx-,[Ͳ/Պ,}-R<_RPx%s4pW3BaMY(hT:kfMiFQ"M=ebvVη^fQ'Ѩ;Ѱ9XqpDwo=9J|lIg[ e ͼ?LQw`6g"i*+`Sk-Akt/VJta/}w2!acKq_8^RO~8aJQ|KDf* +"L \*Gq>P} oL0?=9j߁\5A+>(#/Qf3ZX;koV. >}ފ5jcohpx[SR^X YZ%lxשJYe~ !LUEd2 _JYs!u猭3VI;Lz.Q)uM. \$8MUvi!s5٨.RQ{~=KL٨$wi0j3^7PHf(] ŏ<S%Q^LSӘ E,n9dYkpX,Pi^SH^$wMbҀ!egl_,Hlԝ4vY}@FIl/Y[T_HRFn;n? {5+ߊ(K&{aYzqfu(UKpgQA*![{`Do-lCBJ BX*} ꉞ91.ݦ6;QNzRtgs5VZs_qɁRa ~ ag6&ʊn<UKJiDz*sddb J;=)'PQϹeOiA.(4&It4﯀ : Nb;cG0{E}2~XO:-]KlLvn<Ē%Wpߚk)CwpT0ȁ:8ፗ99U^ L"Q۵0YE 0 )PVPX=$A8yͳTb՘8 Dʐ1LvKK\՗(M& (<6n+Q& xЋq-Q?м~3tw>MfO-?&yZ$&otj|&kV&D`%1,?v*WgƴÊnt@`h]S['{\Er d :m2,ng}DT8M&Btfo5Oudg ۖ4ψ'QuV`Sj<$65 |(7e7%VVG n! d9Q ,$\!(秖@GpXLZ6rbrd}rJvTNj?0^֚];ibq9RuWUVzhwW (|5[ d&"Wm!k,ܞ)_Ly6Zpbi`x`}ᾂK^JVF bIzOrjl3v6+I/ڣ!7H,@) (W| 8>I[%m Mf]+p,.;], E><ڵʏ3{}.ᆎzU2?dO.6YWQo)|\R$q2=Z34уT,[75Pqs3% pC hO Cfp(/A`u[hd0Tbco>3Cl~NlC[%;˯W(yQUIxNrCM>uVsH*B%X)85D*@r9;]7Xo N':ѕL  itϚDE:GpU4-3Pr` fjAEșpk }{ĭ>|:rSn,jaI|K$0E†"&"d]i&V#<يmO*?3N26!UqJ Y6Z9 r{ E<|kA,9džr%ucYMsyi36>PKC1vu O#pF2~B_@#ghU\:.%7gc"`qiڼ@W 躥67{އWLB|:`>R _|dإ=%(i$pIa+?3XX8dOڂu]'I4bd4`Lk̖6dWɹ#{o[:(oQ%勓pXZ+%̹b\LN1BGדnƞ̋ze aT.aD sUZ=kgfpZg+\$m3 Ni<`4pdA ݛ;ʦufƼ6I4; q$%D"N >&k,ʯ dN/؈[f%)UAMeb7;Au3R C˯sH7ÐHQ^Qщy)0ܺc7YR[}̦⡾04o!m)}G 'Ud؋ɬ`m7!X0!o=v՚cVXWDmV-xNVøvxo!@GmA;mxFRJ>n M3U38c Ycak_E3kF99yGSJJsYZNL[״JXI _Qtv=r+BH'@R#w^ڣN?fxPQQN8Yx(qK+=v(>CHZ f̒zcqXv5m of&C[~Ư(ƔSD ; ?k R#7 Is fHf9)U\7۽ yS*suLJ.r#b"s8w(YIϯB(98Շ5RXciG*RZroay&:HQ9l0)샼JWX[޻v6= FA`E|e&{t*LQr&iJs^'ޜa5Zݘ6drUX ox+ky)/ыl@\^ ?ôy{] LC=}N$.~C@zLl~#Nt9-ѿ~;FM1wH`oV:뜷+Jplr(ڼ"$XhJn,s]}z9=$kwi RRcs"or޵ылgkS&nR6]/GH}`e"vܗv}^*P_Ҥ-nH/RUac׌It9GCDp@=kIM5&Pu φ֒Jܭ#qoN5pH->۬2KEܷ1 Q#jZ9d3XXzA$ `P~Jۑ>1o.VY݅y(X~\ˬ`2:(ji#Ց{qPPՉw>Fuѫl>! 'a\h|ϦIćԕ%'vJZ!ͶSd78-/:_e@˼mِ]WPh4~́REx˷^N-B '5D Q2T6܁d4"6nt&4qEP9B3s7]1 dԳ!GD)2;JCN Kٻ ; v4?8Vm16TaokQ H]U0堿R4uݵCFA k@!][H!.@|Wյ4alhr*Aχ0S&e|(+ZK:>ű<,EMA.J_ުd)Cv\[ŕ2b!iVk3Č Ñ|b 6zqjwVןn'ߎ|_RA7 dC:ITTMSmP`El|dC)z6qoȤccL9AN)xD|kk?rߴhE gx7KP:Z<-,~ygYZ7zXZִF! C$]ŗXiɟ1?ߟt;9HK?.>e7"~+)AkyP]~.ՄFJ8lzl2~{#+euh[@ !'6h6EYq+4k~Lf^ω\{c(LX_fHiqM7KVVd7V;`d,VK uЯ2D1Hܷ WJ ʸP"Ay '!]ϵl*: ynB[$!B<@xCEk5# UgYZ7zXZִF! ]ŗXi%L!lKIYl=2 ƶq:akE\URF8t6&%!5p/"#V[y|q73 (~QQ`{'3NhP~:QGoNQaOT9SdJ59c12_aOgZM/H!aDQczHD}eKc]en䓴zgR7Z3'^_^{9A⠒ D͎:rCd%;H>Œ#V9}fL&MB˥RzhNŒOb9j gd+՗U༦<wTdB(gmRDvuih3n'2p-9O $sRn8*]bdLT-+q}zO#\,[=/Zb&â==Hʏ(ڡ"\R<PN|Bůf8󑄷 B?ZEfI)t#kҝyYy{>/W4YV{C]Z\iJU Ff5Bi\,4Wg`nV pI@l"UӱN4T!EX /./<O8"u% LrRkh`uN1;q< <:8G鄏L7ioD$z*K 0=Č$ 7)Q%TZz2}u⌫tc )D |C&lHYHch{sӈコՊ 2tFvcpǾߔi.!:(Det;,Ni+fֲ֒љs W͎P Sobҥq LX:W1^ l,Bm( |9\f!Idf̡)8cDurD&XagL*S%A߂2 h5͕m>e.GO1s'YLIRl2E^/Gqw)W:?̝4NnȐdG6'D+܆LI5{o0]XvoW&` )fY]qv6ƻ PjTYFTǫ=oGyo!\yw_w: _|zj(/!؍lR?HS:0/CmZ,oUԆyJrPXV+zv!ay=>8]z,, OP >Z[0lm@zK88i6s^$\aצvNjZ/Ӯz G| ld?g>`<[4N*[ r&C@ G:E $ ._WqnpS$Y$7 h*R,\eNPwHo2e5?ji9Yi[R[b?g >{/|⦩7bdmBG-`c_aXpeAFTC>ͻYd]3lZڀ5W5q+YԷmL5 VUGd-{m U9f<3J1#%wlgA! #0fɂy[欎SSE