SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  O Oy%D4 ]/]HOL-Analysis:threads=6elapsed=344.251cpu=1648.328gc=154.060factor=4.797zXZִF! LO]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnth|#l *0 wʚ_}mVuC_eKjCTID?=<&~};h ˎUɕ?^;DlڕoSZ؏b+3(7ՅŖV0>WOUZBԮZ\t58Ir3bsPl>z=BVy"쩲@3JzHF! ` pLkP+1\к 2 6qFo795xߍF Xe̯njӢj/e!A9Ni nNHi=^ }gTFՖ@r# vZ(^ 8dg8/8J'IC)&Qבwsc2-?FyY'Bd |!LٶЩcQht04}6pUQC@ء#QVwYͦ98{6ЗSZx0RttC8022t{NdgxWW=#qUrַ,JBX0JtkkΒo7u:v ɡ:Ȁ!(^Y(N7@#iaeHZ1{j@wO [bW g^!gb&Sa*U\ڮ^krѪ=F# Cv( ZFxlbî!0+ELH !M#8*4iC>29wF N7^J;i <) bwTʛjVe<̐WSV-q="xJrģv̴TchJHXP% 0W-ݖo iͺ ׂqjWhtvxG>d~j83dg̹1T-]8`0szK-!h-j#GZKg ⓡ,lB #ݷ^AzcLZ^];\ƒStaiHluh`N ly#t,ӯፑEco|73[g>K<|6o9a Xr> ,Q 4"Ozr!fxFad%:A^ò enuŧL5,_ͮ Pj*ceZ7փ76_Df9ii*feڸc @q2CvwӘJSwV!rN!QȾbaDip/ 1 j^c?mwAGwp"5IqFCy( a  pK!jnFRUP*tg7Ōm>`ۉfdݵzV9n!arIizﳝ5zQYV3<@P$Rz\m|Bƚ+pm],bL!E*29f{O!x %F'U`?e(I85-&Q ܦVׁ9P$jJ D l#HiܯK@o!ph'حcQʶ*#}rlvP{p":2u T8H^1Xj-5^qZL3[)b'ZuҢ %L sjP'z,Ae4 -O_E2R 8Y-qlܤ' 2N >j7Ûݭo2R`p!J&s7C\ 6'!5Vzr{]obT/j`yO.uI6w\sU͑1|"~oU{@^߱{d,k&|2rk;>)x $DDC>>/ʬ䵛 wN9Fb+ ׃1((#cUMgw qX\T"+?mICK_4X}Xج| QI^JJVNghZHL~ҁŀ:g^70rybTW:J:- pg`)0&c<$LԂ]xǪTyRR,ot^BG~ K@3U-A\(( |M;sVȮԃBPBv T .6' ^4av0^S(*v/6CY?7.5\78Xg ;CD7He j_.r<Ĺ}1K\r[m}vV LN`aBJ!G Rp\NYex KHof3QJڙu +^-+OLjJ!?f!"NML*a ' [lz?b3m(XsБ xt0gܚ4oԃ](\#=4qcb\Fa-{iţ,0&rF UV1C:!m(Fg/Km6L-2ZP(3WhƙL/aQR$Oͣ/2qt\p !XQGE98s!׆C~AGLmm3Ql8iTg>)=ukoo-v=W,)(5Ym?6=gnd4=-R?II[.tTtecڈPxht9}3 zg B(ִgDIaMh@7 ױ{T#ӔPҠ)ޚ.RE6՗ۇ,V=ue-HAɴVcz]VХ<Иm$F<=2i7Jk6V$ Ts Y:!a㖱MB]hɒzpܔnڑ[]O?`Kf'y 6Ĥ[LǕ'DuUYԂHw:=apxhEr$ܔ4Ͻ[EKd!T QJ$ 6YQd$Gw]LY^_\jBUO[C2dH11[tp+3JISkTAS8YT"IDZ6M ]1\=h2x5d((Ucxx;2a ?FD+hFjLAp)u;*e@c A$Y`)aYjs}P=#aPNzMxy ,Cйvi˃S117i[,  E/rw>rT'!}@+{BFW *f<3 |FЉgp2"nS6@澺#$&{Vͤ;!{ia-0NZWE^P_{/2v{[Y=QPh2 E\pu͏G9fgmo+͖PeO/E寭-g[9 "j4;!b!CںD|Q=YN7Tgj;7E{С9o)>]4J~h(T?vOb) C:0l72^0/ ep{Qd"ȼf$E!YJMxGήTWsv@˻c]}E7Tbmx*li$UƢg}zƼ95 L8EmeT-!} 6ܟJxAfٚ(&{Hx!hk^- ݮպM"X#ޜ+> 骞JÛYln%y+ݳjQj#A7+,M,oW K~qk؞E)a 7dz`}c ,~?\ǂ& H+\?$OR=x ,޽sWGB=q WLfLҘ rG;s|ytW..^}qG\P?kyr_cBބ7 KX,bA=N7U \˞2}5 ioSXADg4AF$0t$s.=VT=E0n/q3Tg/D8\P{ pvnHCXs7XMX%j#:y}WGФwlSVU>^֞1,> 3Lg\[&%] R'fţ`~m NGۄpp2} AF Gvx TRxubhq5h50((}l5ؐC4̫|-#مNQV[i)Tg母tbXb˞۠P>8_K|ăz(< r),PCYΠP2mWtfqU×Ws; 9_{)pHŮ@;A_feE0UޑO?^5\G^J}&9{vgO`wD2YrG>gsUx2pP>ʔU!K`& ħMYP gqqGw(ªUt{&BHS?)yōRM<ɠtzR4HE >upQX# n co W*CP. Fe}i_ =5wh]%ikܣ{}ϰQ.&/]G d-"xځiϋ )*B+³? ܧDbn̮pxUBTurdOJe7hCF`h OnvY ۜo;ˏnfHY3D<^HF5OHe*di; LSJ:軮/Qq?DJ~倫Gc>J' <ӊ܅WuSf45x=d 'gwm{=:_;9rZ;U0--3렞V$q֡nkSER,"Cki/$RhxSvˇadUwc'§NġJzrEXܑ]t%΍qݑ\1gOZ[I8VB̳c]#|)p*j}J.!%1nFHӵ\ B qAR]U`tu=_[@"6+ Cu!=߯tWHlў'm7aT лDmfQP?JZ L ?%q5ɵafpd +~M=So'Qk(fXch)2NQ_eb¤s+yѭ'`qň̋}H)ͫ#D0Y&LzkEe$.(gOԘp_!Hr"/aĠ"J_r[QnkOl4؛gz}1)[ؑ"|Yҁt٫be\ưH٬n\ *sP#FkVS!4|Fhv/k6dX'*i WZcs0h}"̪m3%fUJ@U 0 A+3nh cώRkX /F ]_ɍHF]AfT%KKZqI7]k?9?bˉ[GV+.;׌8J:ACcdSR987l FKD[AW(=pS"?& `/ޞ9V8OTsT> O%zxu s԰V6tb?3"vJU1(2i^5Q^%'d L} am!ڨ9ugAar&Gϻď|3ͷe#,sU|˕: .ΧDUƞno6uB,BDM3*-vD4ks⮦8KM;Ϝxa__/0' % q#nvAr#,[ނ+MqR:= ABhz h5ݣB!XfRXƣ8hc= REcgӎZ+[=sWm1ӸfFo!ۏ$v^I I θ<α@2Er z9&kRm+xg~HztLE+ }lIc `~3=xcz뚪o 8,<m=ˣ.smARtcxs&S=W's dGԭHŏ#$_ZY79@8Zx0ߚf&DA~ &.!VO6! oasT~c/\&Ko FCr%+"H 8i?v$H+hߵsqp1rAWW>q@dQ|5sDޥڙVj66ϫQtDfv=k IjA!˺<7]4ĉ&}4yלHqIra\L&/[/h\?o-ybo+Bg73^Oh[g9}_@U8ÌiO{h ѝ^T)] _7hrCL߮"٦M&k&8^6EېaA+SUd Ad] ޾ohLn/A*0:r:86+-Azc*r*a1n"wYL1ƉfL/& 錁3IL`gb|O)QJ6hCj, hTրXB{?g[p mTq+P^\)5KҗiZ1#R5|e Qp5F͒w)rcdrNU˔ s}?žWъmB+eRēu,FȈQG@{%D|W~cke\`J0D\кg4'm8>γM'x)T]EڄR )3sP8YEc$8sAWDцbQs $LR+{0>$Ahoa5YO`"՞3Ӫ`^ isAQ&@ّ+*'7 b5@J#Byi ae`@̭v. eu켳6U𕾔. h䜜@ hV&$&,B-eP._i5sx]׸;1ف䪵I+t8B.M*+/7 HuWy]+Ez#Crh5|h(r;`D|r}mۀAz?zhޥ7(cfP6vZ[i&]H"HxfCG. %'Rݙ+X_hوc,?H~(p;;ٕ Tz]sR( S谋:_׏5lk̃9Z :92Sr@]٬':n/g=zo=%\R_5t?`sgmdӀΌƻxnDсroo`C8 ` hrO"Q?[E'(@>i`a;䁓aكZ/ |tI Q=x^/+ʲ؀!77f=}#,.GFB|l V =fy(>j2!)$P^߷ź~YbQ9K%洮1™N:uD>v$"2 H;.kܧrCS}rEhe#y2>Q91{P!߱>f|cV>^Odb1%b؊52.NG溂{s5 8WtU Mgh_"vhrѹKѾ'֙e*|E*<O N/(N?ۂJxD Clu+Yw8y_DO8źQĺ0,ʼn'6|H 0F+]jpB0}%գ4Gb/rP& #ǯvԕ[늨lp~$ -Dq\u6MVf poٞ1Za'(=H?#vN|)HTtAm^54Mj8S{tuS(G(>lx{A.@p$Ru{qbc cc&Ъ{B ᵙFZ{+D7Ӡ6%K1h^h[x&Ae\6) y|c%GHnM};WHW_.;8xS\#IP 8^.ݪ Y3sD'X&n0oy^o5c.r"Y){Whwp_} Rc[g/GΞKg!]B 8;\8yPi:bߣ,iɱ cӉ)9uCy.SvGso(qn ε)2>q)[g>J$'w$6%~\/<J-_|G/VQa3+Xh~&g&i\Ɂ>ޭ':'e]CD#5۠iv/ %!槄HsېsrUD~jZxAsn}?#JzVOTS Ҁ4lӆ\E_2,yzAݴV6=9`mm43g^6hu{M~*+}R=n8q5:mϲdxaAh P(gU|` 3Zl_PSZlx|#L.Q@AQs){H@ђZ[p._/$buCsI.ǵ5a}%J}WVaqw%0{?0 >綦H&${odVq{tp!{SndkuV4 ݆{GЋ_m[:xjV3]Wo4!O*|)>Z2D_d.Cь1}Cc-LF踿?HKƬ4bc o<wU_7H07ƣF{M$Es!/rHn`G`ur]r7ȥcE=$e70ԊET*x ۖwMhUy񿜿 O/p^Oq>^LF~y/ "G3z a 9]pw*>^M j7|c< IBn^ծwBRg"qa?hHkEKrĮfybs8hيQ99*QDK+΃u.~h\j s2a: ߒMrf40,ɸU[@z@fF (ktQ1~QafX[׌ 眓8Ⱦ\g rFN9]WJD'o>,\l6x2* Ձ0+鯽>WC:L'GbNFq6V$%ڕ#~#+J:-q>%x 8+Th,+т{ֆ}voH -UT$!!7 d nlER*|XK)Y%%,4dI=a^~N%8W-LzqKN1j-+K0 )lGaHm*I=&J.O8M•jc[&dAMNCZQa-DoZa!+[ eΰP?s$}X]ɺ Rn~,AL5W*=3e054Y?1>7hU䥼wDy}!ܨ6K~xsʚ;R/ͷYB/Jľ+*Й(#sʹhc?Hi,]ߩJeEIτ I`!]+d85LOxuFJJ?t놳w/4| Š:8:rZ"YbZ c^-e+2ci 4/d'_y _߯QY5U$Pp3MA%e#CMY XzVҁG,0)E "Q?ݽiRjbcU;NyU3Ӈux&*Tpؘ,'y铉1[q~^0*_ )nxvBIo(/TWՐ_*-eMwϾQ/Rk&K1 sqx͕SfxX _{emXQ?XRkh企A@NtTIWiqQ'+-Y e6ԠPeEΚ(L$"Ai0hDV !^q?s=g5-'eM:Va|Lp Vʱ㺻6!A/c ~-%( .VtgA'Ll\;%g$1X2x55a"IJ ߡD`(Y 'ko to2܋r܎f'k|G!fޅvtM)ĵnxPCjxV 8` C9C"/R?^8iL@ }6J>NQR8&1]C=#ZtfOh{Pk-J ί+:MV4hD nxhO3\jt37I=t`6~dpq}GX~$ 2ʽ^a ]KӪMJxIj/ ><Q\Be icHk>Rcx Z7; 1e Ylk:Γ.dzzUk̎[w8OʣEkﭚKNaKz BYw@ګV50!"d31L"m'$;Eks/WU#zrCqS0'C[ѭQ|m,.xWϣd?  m=z5i([&5h|z("zE" ?kwjo*͕9bY%on[߁?QՕf2RGQT,é-M񪰡iT.쫽mV%K0idߘ㡾qM+V:9`E Gn'alPJ~4dHM#AA"[߈!x΢ǜ=NDw-Q\/|>;Z (auO[W8' ƒX^mV ӿWzl%`$qă)+("XJH־Gzz0&%8!~~ǎ;$59G Uw{AC qM ʧ拙tk^tAdY6\BmSUwK!L z MOa=ﵹH6у^]AQ^6 OLY Kxp'7%#>I9EUy[` I|L/D)+˻ũd/-KVҞ֨TExw^}9J)SṞ;Sq՛k{Y].jSm"Pp_|X ->0Z0x6ࠇb# 75ց.uAI-zʧ@"dœ6߶R9M[~!}OIl֐khKp!?J3.H0" Սc ̦k{E5wB ȡ, *a;#ꃩ(9P/dE5&o8K{]L.[mAɮe~;U?Pm Zb,RF6kcm2i]MIa4Xj[T8jB3$9&HȿzewE_X=k&[=%`?i/,g @KAX<*ϠU) 7 a/FodQYf ߗ KQ|9p0Oӹ bǥBQÜdn'vFsTUG7^u.-0/vd;/Kοˠ_@nQdK#l!W<;EUUYLOݘ" ktGXLu5OdCrtc tTbgUJ^Y+S\rA4Br)JaDt'&neB˯+AR൦5S4I  tL)[+UiۏZLQR及͠g@x`&l;uRPWsqPlBUbzղb_1yi1ur G.h>7{vpN~EnzF7gsLWAT p~*qe5TW\"\8'US:`.<$B_ۓ12W+wFNQ^kmY9-*!s/Y*w z/ހ#Sg=F;z/]쏉3~?df  kVPEB 2j| f$J}앲u9hAɓc`ū]I1LO3G@k}󝍖'OdD?7\Ѕ PF&*_e_aE;T|=Elש58Rcޣ?Q(N3o^lXh1]~ P<a9{fzKo @n,5o^=5X腸V՛9kA}AvcA!o 7({YZLd.Uװ$H`$aMn#r,4+6TOeKR-K! Z/ܮ*:k} H߼1C2K}#AU X:Trh <2S-ffG:TW^C #.JAzBUM-vcEL` S=7GE8nA!}MTJ`o=|7|s=F;mf=m#|5>W6f(}w?fVZYT|N:& ͒cZVq?C\tToc|V':$;_4ODJ_A*w rǶW;w5h^+ ?"S!FÝ+WYYAk Aum g upub`W,+ :Np>5р-Wm!,,ڃ/VV':b)RmiWDIlIi8}SpeڿN,,?#6xSU=BU@.P ^` F n1.p > 'bmp|u)?:5Xqw$*m[:h|TXYR4~&9!Tx /c}g_įJkLH?73UCe_ mO;[q=G|z`&%`<>^. Ek6b}[)nL tzK .69)Hf@+ hȿeZ# J/TH.ޔ3 cG\O@'mVQ+MOˏMMAArQ,TQ8(x?85XxTl|XcY0tfʜh<PqN w=LP5Su1BxXLDߘy2oǛGY2ٌFYE*!&_W{鋵'ړ\L(>hb[d1+[ 4Qmi#Uxu|R-rJnwэOlĤu+W>B!JsR~fbw̙l5@h,;93W Lk? 1wC,B$%pՔd8Du,tgfrr^byG|kM;<ۥjzMI P&Cc~1Ǔ I>FjQ.!7^.WTyaJ I=g,+ !\jUU(0aĝSON( h-$z+pI UU,1d$F|[cM&?.7DG05 Eua/ RFl}>tɮQ!~u7DU_w_0 W`qG>s=3ŕ9iR(fq {#x ~freu1b+(<:##?>5 lT4r;] zqNl͉rYB`+ ̎҃)qza=1)A8EPJ['gvʛS۔5t; u*#ԥ1:0Mk?8ls:FD5K/ky2ٜ/ȣxm2/hG F4'}()q_fخNuPvDиL:\JMFM48%c'' `ŷ m\)jul`>q2<](ϟgw/ #{MA?E ކ P rЮ|i ,G T(k(f G)9.qK-=f"_0LEdy'g+AE/2ϯmSeQwwCz,X̔YP,EoGJ%_t<3ׇHhӿm}m l0EP(t'w2irǥG8t>S&Mn l/ 1cIaLQV&I,3}R_ ztԋBoJQA9|8p)%[<J wu,Uۖ px @G؏}(=ü(KIT{1cV} zAChu/6ogz4irږ=elˊ= 8H7&Un{)pc&sP/r=#:e}a{OQv0̿`Thi:')'"î xNA6[9rsR8px:?\$XN<X<>LG:W2DښAƊA~ R}N:!zIlL/K Jd^0M_-NQUl`ш\1l&ϴ-6%K `_Le%ayX>h*\ 6KRZLo0ҐḗFa<{[W做L NPq¯.۬K.b,±LJnҌh=@ZR4_}[\q(f ,|1V#7xEԇ/cY=4KUWo//!-I:K.ZUWGN`&64̷jQf=3˅0# U8֏Zu9[1i\hF!m4T1: nš)Yh훪 ~A8jXB>hh "7Y#OIVY',vܲ#v/y>(wFR>/ش>zAŌ7m VzJ?<},fGoI|;OLK$(Xc!b8c:s ˉF<'ɟ)aȪRb.yoڑ^th}vy`]L^ ׭M7rD}RוlGyæIGPaD /}wLlLh7Erbہ^/ 8FGqҥ*zTTI[?m([Ģ$NQ:^LY6bɒ2I>"#v o*NduN5Q!)H`#ߵOo8y8iA ;.J]"ށ)_S 5LIl?"Sx|]TFu"ĖK6AlZg$ܓH rsӹ(Ý*'",و|/ŨѩO8i. cάsѾsdNh abV(i袃x)OM1$AY )[APtFXY 9SDl]Ʌ.GؽD DQZ)+/26|ecw hgshQ!d<;: [kr4U OaKF9 t[Շd$eB\SN"]݅6h֞ M ~ehCۋ'ճkn4Be^,זoK[mw*vZi7;˒(>\C:KsY!&"o)S4gIed6MO,$)wV6gnSt}R:U)pArMA'lf}6aYrOQ+{")VEHU_8FRz]{>|}-'3 1BܛC? P2jg6ѧZ&I(l_}@tJc@4BwŴࢁ 該EgUdZWv _QuosK&p̫)룂DvKu߸՗ٔ|O=iUptk)a 9lkZԾw<3Nv;Dms J{7@*PZ4eRK2}i BA戚ۑ[OprZJn&׵h: ./@(y3E\D?"Iıx]e%Q'Ⱥ6nBK (/; ooiF4 gYZ7zXZִF! 3l]ŗXi%@`g |=GMof5 Ne8\9u?GUu%nd.l4A?Mؼv9yڞG*Z H3kZufa U Sq 45J4`-[. (dbq)#jPƮxxVQ\C;|3Pа0du&sfpp+͢%Xn~e^)@&qQ-K|a5R"-ٓDZL:@}OK{xk*U+ eD%upĖ1ӦYr\6  C76ɎhX<8T\\VRDv*!xQ|q(KVk YH;e΂(*U#?^147 G"jYV;(QW& .#V[9(4\*Ņz.<<5t r],6/A `Zzd8i4]> _K!N&p^* e3V KY{Tl9vP&pYkñ7vJepo\D S;:<7wcJLBɡm%%dLh5+ֿ V j(ًp6cf+ 97=F#t(*\]C)HL|i_O{"L8ez|_α@cmcͶJXMy]{rS1Kx@8%JMe÷4G}bF&[5 ydU@Wµζ/@@b]i^ ';ќ1ݚWxNpG75p,Ղ Ʃ?S^r ~ētH"m.(|SK񸻜7.l#}7g m0C-LeSdYOJǀ|`Jkw5.xg5#-a3bPxt N2ÔN{ &T/mh饬PIi$bH5IbR$`L5bi = fu=%Oj&΋ĺLrGhK쥡+IحgA@Ώ!m-Y*N krO*yW K١{¤zG[ Vmbn2u8A?4FUXFozzͽL~ιRޡY]zQΪK,6JaUfb|R|Шkծ81DZB֦?П#)%pӌ}ФŘ,TB3&fgwSWCX'7`4P{!_V8vԇuaZƎ~ED.b +v?Z <]UV-+Ysj4Z(&v˚ǐT,4>Ggh|WX2I}%RiP:bq9/Y/ @~ ^mګyKbwC7{(5&4yFlZ*7|V[\0/f"w.e4B4b;D>$(TV"K[+h^2zYf6K) 9h[U2PZ*\uGV="S СhZ꯲Yb@wWR)'&fۭ )zفNsUԔ趗lUiר {~:nDG $SG3Y7BCi1FKHUtx̸1TΰOyPW/xף⋔8fFsw;VAj1/w5jRQKBQ:Q.[{Qn2%(>"[[Hgu{wsHۗDf@n Ju3/Vw x?]y?&֦=ݰNJ@m\7mSw{=)5kН.?!>1ـI=0\\L Ʋ9:oBlrkQuNYz/-GS@^ dHB)BpQrQ:RaƐb u"Gx=ֈ<ŇIyJBgBҀb(w$bD)ݱf>`*O6cPLh趓B^eyLմ"j%9wi:lESSk*`Y Qǃr cjk8dNL.c2LJxZdEvUe QBzmuw5l&r 8睋mv<$," CRٕAl[ }\3 2()]gjHwUeY} $ɽ\F d9= 5˞u%=ch#b1Apɑ6LJpQ,XN%[6ckѡ:48[tu 4G>-5_xQKTC6[3kW34&r|{#GcwIy ש#-U&{Ek1j;P4˰r# ƅP@'}pQ?OΪ؛GpH8 Mڥ'o$UY"S5H%ZggKU 3Ý*qƘ3PVK]K~.V |OD{FZqBD:ʯOs@j':Α\ɩOW#05z갸_=(ٖńSp׻(a13 /I3: !\N̰r∧.ΗV;Gt;v4j b٧$ȀSYAΨZRU|$Ύa kto4ICd;9ZK3M\k7*9FZ& *\AzU겂i0IN"E5'b)HHu 8>P›0RN{h\_RqYIrX鵏{VOB%t}gA Lɲfo0 9@lϣ]6a[mE3WY&|gʢ,2]"Bݦ)g0x9uVnA|4j"R{θ7Q,j[gvq}H%}B5V KK  ]k?:Dn7m^Ag:*T/;XQ~Kl"ك\} ǧ78n'&>EEce)S|7ˋ]\5kr2b'+ R$]^io2dW Э;(]A}XfEyn͡/ L0{87,@zpfr4ԉe4ނ FX"AƹGT" J7*V#p5Y/_)ij8>CZ|ixlEmZ" ^&SPEhZ\jnNx3dT<2v/ !_i+X>c}dҤ 2_Iz<mڈE7ཤBNE)CAo9^"Q1X.Sh%*yUߢ~Fh|LVy`KafO4ԥ1.BBCNMscg@8 u(tAGvIPrHAԲ r<;OXW޲ۧx%A*r_JP!`xT0P \?C*hRڶMrFU!D<8V ܑg&h:Jf_% 5P:/k G^)WnE Ky5lNuEtX|Fb!\1yQxoR~'R<6YK7qO-CĪUBUVGpznެ:7XjOGj$XVk+ ~)dh>yrܷ?>c+sm 9ގUKGx$tȭɼ,uc7 IK 5nf]u2YYi.ԛb|A6o8@H RIHQoic! 3t=LK!1͔I=9m:2ZBEo= C3u>zvu^^qmȐ8'hV3 Zէ(G*qɂLǣk``vCUH[Ψ 0fko=M6"&q[==mV)YY\/B-g؛CMpvfyWO.s>v-8 t j^3ʒ}1Y5,V>H<]P4OX=}Xl. K'\+ݺż_ c3@.R2e`-`x4pʺXh=cl.$"Yܣ̤GՆA߬*i'nq~\m eׇGgTLZ5'?ۍAh·!gfۈZ->f娆ab]" V-uNr0pِMs* !Uȧ^{ 8M`Z !#D$Q; tF"4ض)TǿGHLΊ VBs=a6JG6&HmI,S1Fx𖺅ZunW@VÜ=1MUHj7D6]D&dH~q⏂_2=U{h gL[4%#+WNT6'&X3& QeU>Ԏ3 B.15ʼ?z!nB!okCyu+O>H 3  fI\RIݘߢ}M~K5\PtP`$6RjHy9ZWQP<? y5_V\eBL=^ˌf,s*oc U"{ma\d;;V]Y R  "n<`=I_nCw4}W<-Yz+ L5-|Q*"z,NJ4g1Pfw{2tRI:@/ױ"B A D wGJAع#6ͰJ/6Anr>׽_ɺOw3:`j  ~g9'9r9bf.㘠ƣ-WyB]Va`zJsH,R.D= .m~G Ig[&cYaxz'*]Tß\9j.Id)J)%83X,TT#Ɗ; VCpMVF |b3gj:b AznH<8A.h~>/gl tO+:F#z[饐u$R_x<-Os_mB-&*6=jWm#¢<ڽ9?<_c(71 V+)C$QȪK9`҅BIRGxPekLs -lwh !6R7~ƹ(v1 i@/A(cΟs!_;Hvoj6PD2{9Aȯ /n2)Ԫw3vEPU KԟkpθfqfZϚ~!|}o!M_F&¥;YjVĂ3?˵eq&->-yw'9~@̍V"W%yR+k`%z%˓m,ՠҟ8\s[QN5"i7q/IJH> +($1O L6bD Ǵ"6 F-9t^C mw<&ixl}UłB.>ĩеS_?bzu4KTv䒗iWlƛmFg51C3CPG.5_B~Db{ ^[rTDFoYB.ÍAHw<"G SsoDyD AD.lP{)n{ `$M0DO9zrbJ͹u}VyoX׮f#DKgE:]˝Šآj-yI#K0ԍC q tj猛L@U&Q7aU,Z{QJG܋XwTN>й}(u ņ{qCSR.zҀpBv2p.AQ^*-?-r0C^Epr]@X.;u+]6LA' Et9 > btOGۻ!^RU{`{Āi꼡!r;{kNna:r.K@@k޶`I} GA%3}ɹnD1҆?k?x}!N# S+D^3uIݩ<(sW5S;)4w PlAXY춆Cq/=xDI+ߖIG; ݆@qCh1ODH)siT *ܛ rn1p*oԺMi`f;q-򏮢,ofwqK1*8ѐwcLyjħۚf<'@cO?tv ب Stt ΨpA.$yCC =7"wL x%i@&SOIJwz;|&EFI123Z' 6O9$6Pvk? i`t[ 1R1jK >T-L'Hhݖ v E{PŊ( \rv{" _nD}i9BI߶{ D8:_P'.۠\ A#KR`dkH?45-%F4kt tvXx0[d9I|@.CVZ3E/b'M[_Iާ/ o0;PH <+Ofq,  #:0 4 )2s#^Q&J_h|\~,U $6K2Z1w3]F 8p;ɔ,瞨xIpWOv':R/m4'l5gg]{=oA3I6B w[q**(x3{ kdhdT*g >/9tKŨHqs6pYbDqat +%'eWa9\`ιcO{?6[u`(3zݥ+-C*d'3<)HK <Hذ-ՏPÿϤ;y x/[Ba<35jdYn%uawO! I$[7bP_tGQߍ5rEX >At>M9@=57%׽.K /I!tlr℈/c"jF>W%\j4>EGmxeS[<%Ns=u9tkEVM}G}xUu@@sk ٔ۠_ڠʳo&Я=1LeUuhz9|a[ |Q3{oj~?Ш* [zXR,,{.ךZhJa1~D__m9Fe|Iݞayv. `B! ڎk&8 }Gv#C^W[*Dש<wlso\1rD(>M2B}_qMk >=\B. _ kHK\Dq}|mF$HŪh*G1Ƅ特zBV{ XyKTiރQq?, ,u?q1!#>qok%g="eKS~m$v.m-d'珔`FhD*Kf(HD#t`)>ɛ΅8 6fmI=IƵHlm%:I_ N=7vvC'y!kj>R{KVΓ ́QN6#S\b KaL Jb?دoqp xצydT1A @xx_?'Y9wE"J]55v/_(qFII7z f{Ƀ n5kr(&QM:z}lH7:R#YFJ4~6E4 c" Q`sj5.-ؖUon#e!?hNsqd%GSdr ٭S#*HIx]v WF ­Z)sګ8nF">sD;Nyx ʯf`.w9Ć 4Qg]QC&P}D )7Ve!5 -b?6Cm?k{`,23W^>{b߷u7dKU%i\;єqiqBp4XZݝ4ax\ޔh6L Yr ,B U+kmW%sƆ*TTZNJL\Puc)_vix~,McqV F@n +eYx MS?fnOW8'6CS8,!]&tcs\8s2/؏"R)#m؍ЫYVƎٞ46eLs(!JWTjB.ߛ(A(pJUgsa;@2$`Ske~lYP28Z gLRJ`M VF5h+MF~fB,T,džetږSn,8_DurF2e BKcXc_m `0.$UXKkd}^žȓDu> (ta܀W?W]VU\_N_y,bؙ_ЦQ2Vl5V)S[ӺϦhʴLg?_- KWh#jaz(YUdT\I ܚNgY(L1qu*5н0!|fƯugh)3Lx9% JK 0s>iYOq0C`CmAZ 8HŧE OFL@(`gvj?DMAYIO -⃁519bkc~{Z..nZ+p/*sN9֐HiMhQ2H=H1 x?LZ/cseb~Ea̕an?* M5o HVz9%Lh-PmTK (/ΐ ;\^W,vʄ^02ؼmF`K*O)` 4'eR+=$֤γiϳ7ՏEBMKΪcBX{Ivp~kqaݠŕm\l(:|7ѱ݀䓞0Y҃;\ɠiQu/B+ /Ϝ?Y zzxy%7o/OM~1+A#[)-TF}8h^&R*nEzYxёϰάe7g( poW(0Ky %<˘;3>襊LP#)R!T M >3G* iKjWxRl5ꩠq>_SA U|KjچwizU{v1K*w ?/d13ie_z*~O3$A0=.*qR(1>F @uf}pće+2p"6oV@C@{h%)Ƕ/y;a$橓 %" KH;^jia.I@Qu,_9+C/qo I̮=jo a;w< "Dϯ hpKK*!eȋ@dčC2cz4oYBcWtJWV0A=I:I7\ǙBk?(Lb˻mҪK c4 >a$ce鼚ˉZ_r _F&4^'c֮8m7[`a^JMKbcL(;[5#\?/م;'^PZu2M۽3/?k-W LУ[_ԣa}#N/o傭W QI%\˚ԝm" <=/#xeMiQ}~P{WYa褳i_yat7(,opLf)"R79[u78$ J^ӄ4U`YC}hŶe1W^P!}c cF%'3梨|r;6P Y T6Գ+ۼQ>N{:Y':sd9Lߌ;Z uU><3~="f?C '%sXM($2(` nӉ m}jH{UtJD5F N cYsXUٔڥhZVYźQ3~oFEEd3P6͟ !_IKЬm=sO-eM+JTy9௩Zm}#~QgJt>ЦC}QCfXrB;D yVfyIm[lx?$_iܓxl׾Sn>K.^Тh[beٞ |Z ܿ,}?_ E۝C[5f#tjrxخ>u#<)(mms%KUa\)|d}#V c;:B:x}Q'ֽ@UkXјLOUNR֔R>>-`0Y2t:jΐv{ۀVN+’H=,4nZq3m6 YRu8 >05EE7^}%^+2"A:9::BUӌ >Ģ`~oSjT`ŪCb/!%lVzFr"ujx-ِrG懿DꈭzͽrQإCmڰ CFD~4Q~ 9ȬHFt}{VsYG33B5 Ҟ b-`^ !^aήt:75!v%`%.Mk Znjq @n)pkDLaB^P|_Ss[+5|cua a:2.drY[ekf +ܶpEPZivL[ȠN ~9!A= $؂Q# a݊Ml=DVV2Dsxt1gЛg,@Ƙ(1kݮHOc=Ͼ,(NsxfPv)0Эw9I_zk`d\(ߟ$ ,=O3M:^s U8oJ0;nrڄM5)M(ofLME!l;A6krT乜F˲RvҜ2!)={/(|h5}HYMNG$ A-7ʱQU}~n' c|,/V+Lbs*)P!1j)$O^ptPKpx&},Ƥ/Qwe{=5h7&vuNJy(c;@=Q~J)yc?)D1A2[A|.1r 3i4]{%O֊jE59y!6w2b._'vk9uȹ͈t>WWg=쨆nwi^R67YĐ7t T(b2@JX 0FBV@ *:p #wK"_Hh0ujMh` snXk#" XTɁO> 9?y$ɵDR{N`P![_3SPk׀rK,!{%5 Ȇۃ&h~+9K$;Md םZ}ۧ✴̷Ai4,u~H`:rȃL`x ,{sԡx2}pj+3q+D4S~XDN)d4챹p f K t*!&wwPhVt=F6 &2,L-7 `#GxŠf˫Z8F#2 ySnYGy6:^~ 4Xt8YbB&wyq87%;I_zD*|i4-Rz*vYg+4y㪛g)~rG jۗ]~䑱P{C%>ЊQЧՁa12]8"G97 c^Ӥ2N?z 'v$ {t&Jy}˰|*l7mO BP6YO&YfQ jA"ۙEhAg:^.6Y; E?'rɗW{ܤgv([Ǟ h\|x~i83@)ihؔ,w%N/y,Ck[6˯z3zd ?.ӳx3$wSw51C@}f='_ ~960n)Yp "^VWK ]2XerLX*䯇p(!|?@ FKp՞kM?>ʁ!cFZķӫQIkߘD`." P1م&14ztkMN Y"Bs)rq٢UN ^@X`Ծ*%r?#W ,[-:A\vRcrP\/V?"y9*/9(LE,"xԈ0YYXw -jN?HFWDrYLB׺/֖U}hH{@ v]r4Rd!R5Ra6ص~No9A]t5x@6+fH#>`TMOͰ &]N3ZsyU{MգF :>6H-K ؁ȅѥs+r9-<6+iD *vlʿi`վF!ԕDݳZPtȰ4Al?F|()9ba}ۗg-6Y^!60Y;]ۇ )4 հqv*DH6'qK+ތ0~P愶cb؊~2mO7TmV({!&7T(Q_cs3_p")uj(1o:~9X*BrK"ԗ~D &V(sxk #cGU6$?ѿG6 R}zS"*mhB#P.oQtkޟuq!@wTTc5Pqi×~rՄO>>1Wby-1վ5Ia1Z%:̤=(r;mJH 0(Q^^Ҙ_?ϹQNUr4!vY>~ĸfMsK{cb5|`@bRT+irJؿ >qKW6r7, #Rtߝe?i݂|a?[^[}F# ⎭ 27Ә@ZD:hW~* [n3|&ʷ<;)T+N?<|?tWݰڴ9J³L̵/fk*8 a e)\>ʅ[DnBbǰmh3IXR= kdNd]KC#H_/&A߱2 Kai*tVFdsS}m aPm[+ZP[a'C6,}) < =AS)([o#Sp1 `{4a\~HW/>ܺ=ԕ !UUőBR"FFM ߓ")%:)gFux6guڥbv.ʭ#)EAeRw  O5@淽1RvvoTRͧu)6;ݶu;PJV;i % b r{Ghx$ϣ'ߩ\B-aE?(́T+E?T,XxcC*0abs#U<'7?\p׷+]0o;Hl@U.ێYTS2a&~mV3p[eResd~Ͷd${6|\AF}pbLaW B,M})lSl [ S ޜ//Ud2߽\wW~n&5ILxQ(ׁ-;v"2e5Jܒ!&dzi-[3\|˴)'lF.O`?޾Ш:E6GUK~(Q g"1{|ɂ~UseTWҐnz#OmB?{dT9H%Q|x5,1t,Z;+џy@bn2 __5U5Irvd >*v4t5+V#~ǒ[ a?H%Y'pDpSU a_1^2eĈ ,e*&,3w>D͎اOlc JYĪbP?&j.ا8dŌOFl \xS,2h]Gyb%;mԮ%>ؾږ(̪Wdwɍdpu޺rs+,3"dFUhV5P39?nّKh h"邋2J>԰qesrWH'G ~w%e?CŽ!b @VVL!ZٝηQl@E|n. PuC! s{AH7YVkUP\FuOµF+JwL3_A/fm-_3'W9 ɉej\GDgŹYR%@|KSaN+ځNZwt h{uimR9.:>˗XE~@u.,;LIYU ęN}ǧhbk;hPljeP0%Ze܃;49ڗN!z HKf?eqK)h9$wGFR,:K=oZ|X/W虶nm-$嗒92/0Ȝ aֶ=A(Ah'Xm+-{nI,=@-32 jQnDc|y/_o_$A3Ō| ~ Br]z@,z;F,ljCFy|]瞌闡RԵKUA=ɭ/y^h$3*H]T| LBr:Ap\&{TSd~F@'uһ)~s jX\nЗ٘=j&$tJhdqh 'qǐiS>Mjr3.NKtwIL`W/kr*Bmn_B/+09w OԺaE{{xJDrS F/ l;6+)?Q1#eTvY)uJo<~<$*$""ќuiR zT/oV4ʃn[ UD`5GKpٛq m5e)#d0r}&0 H5 jQùђ<U Yv$0g_t[ڄ0c"J$c¾Jv[TEMuH2婽tc[ 0蝕 }.<ԓ1L ʻJEu{ }?鱩:$j_.5 qLɏdJ6Yxm!{NQSYG4DŽ^蒗|T#@bKp%ӎy<#b*cUy\/Mw3g(rZcNaiCx=gK쨝`t9΄ϲxeҌiȁJT tQ41 p߱?`8d?Zh)N=3B` %,ْ=&n莟bl\!>zkRm*Z.f1w=/;~0_ޝ]9Q9H$y&~ ۋ7daOʲ O. )eRMvAIo0Ȥ'r;q( Lb™a:IqK5?/8&zKˌk4NG{L51qcPmOzlnTqOan0w8*i"Tr=V7g̐"É**Ewg+uV)2EឰuQy#ruQֳquOS69@b!%6Ƨ#IVNw{}ܠsˀx]f[$&-G'A1Ŝh;6l!j> P'=?Ptl=gmQ[z$qEYV^ǡvO@c’Xrq?ѵ銥}d"#FXi'x9©vؔ>p̲]ȑML4wmP@5ڀBuW*OzOۉaxXTa 1VWCj}L0]/b1zK(~IOwBoc}6Jrovtb߲)^C;U[dt tMܓj]31|8.r[S k[d]7޷"Ͻt\loW źMYzd5_L}x7s4Mv4mBB.2V7<#&g'%W.Ī]H=GsGYn2`T8AYcsxŚ?!y(v%; #4x=EB'w{u+,8WCəF{XN R6|9iDނN ۰0>:!UnꑥxX+"6xm`WvAY#լ[]Nd|AʀNLBi3ޤ8x(Kn7.$c ޅFP#Ω%ZG}Y=U?j3ͅMx3-Ą$ZF>EOzN&|ob[踦,K7ʐll5?fI,2~̒4o'b:+b^֓M@\$c%6fkHe&,ƺ E>$ADL:T`="ɷj^hO9L@Ep@9YvfBbd-gCIɒ*񧮌 x,$|m,z 1;(& buNyiHb6b"Zo6n6-/k=ecDp%9FG~@D_H~O!T ~`'hPh mp<\!I$h* D< NyҀmI3$|PF`B>n~fn1eXծL΂ B^$יo3\T#9v-O/sq adWB[GW< UoAϏXD ;:HV 7*g$,7N-"?v#NKmݔo3F`N88{BVkbW@Wj띁 Dgc|U|8 r]En