SQLite format 3@ .0:  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 5%dLT ]/]HOL-Analysis:threads=6elapsed=352.768cpu=1816.896gc=104.016factor=5.157zXZִF! V+]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({_# ۨE DԺф$nkJB+Ƙ#[C7ufaD?Ջa9]O#KO?xAKeLȪ֫wj0s,pLkYdejWF }C׹~3Wa<e0p]s`eM'[586,$AS9-g/D0B{2s2"/KDLFb95 Gge1w]w-(ox9V[LM.h%Rg1NJ2X4ABjʿTŸ /7Gϗ D}*S5sI_ Ŀ(WU18^u"){5\Y٤7.7wpl WAG P YېP*RW}S^1_KJSJ7>m@^/  FÆaKKL6A&ÈEXnvqq+fT0._ c1o}[VPԢ/4C'wrxjNY41:P]^ -YhQzF{-B$QyKB #N)SCxi]6Οuc8 wmK8C|ehs$hk+E}ԛlg[){o_*GBI]V8S'HtWホ#%ws/$OzT ͦ- Ϭ}(5!ʋ'df-1&"xiˠ}ivzD 7H't9G(1[<&q[֪%9;q}'Jm(0bFɚPGir5x[15-ǭlVzt: q䟐f^ w+%!ʑ_͎bw.Zsˡ|e"L=tYVeT):& lLj7)(UMA%6kC3>KX\ 5MyQL^/m!MA!.6h.jwc~q^~7}$$E^S`('@0vR`UJk$le͢4dXXf{/S b3 \?815*gKe8l{~0Ĥ D9N@# kEpe''S;xh>b8֟Bqj'fEM`u )ŧX 44pMNA47FWKvY$ceԓR|ևu.s(U>,Lܡft煽-rtPMnL뙢VpR,ôE/g9==8T+Kh|u?pNҰ\NKb_UF#Y B93`,EJ#zPlDozq Zt  #G~~v(]F ?ʢE95?i.Om^B7MuQf 6bEvkVZUף?3.TՏ#l^-kx%)Z"Ai~ao &M̭稧zgs3uJ5AaIՌnݲ$o=ͽarT<+JV򀿦G|ѹu28qy4x{4F5ןcY7s}B"uk{[o(amk3-{fY?jmVK赠ӁMФv hx1MzP- |u xZ_>혃gtc]R ]z&9 u77mI뵆%y@8;-i?FD됟WB5je=ܿ:s2"Dʃ k}yZH8JNL/Hխ\HL "Gɛ?._ bRoFe린b.X} $crg6[,_YMu YPy{W< l^VOG|[</n٢#%X{_!}d al|3OC_͝]'XDs@<Tu!$Q*cUT) 0'y3Ch37 &`5OzOsXYDۺU#\Dy- T>ՏÃEhX-NoOo?u]XF5 $xjei gV4pB9Vr*O Rz9nF+~a͏0yݥE 8LF ӵJo`֧@|wȡeGknﶓZt) Wy45֍ U쿧:j(^%/EJZ)\&jեۗoìݐF2ЗK?zTe_\*s[\g`<4tjWAЄSqy^1hAiۛ;cplM HN7Aa@D`L@-L{51_!> URP3M^kW=yq+ Jp!C (e@YEe5х!OO[6q0ί\QtG= Ρ+c xH=ar}9Ihzɔx%7imsFOW)Rk!VB!S"k HB9'Z}'TojvaD"z{\NJ ˦oO$wV&%فT/%@{aBeR`۵K (B20 B+6[J|/Cuk Df=rwuP1zwc+S,G+XEG@#R3aqͪа_73%^u_Oe?F;4ġ\vy $$?FJ^_O#ÈT!.a6[3rߣ8r iDV՘ӇJ D$R}6a̪cEz^»}װUl\;p"Ө,!yrq}.$6 1 y؅6ވ{DTLXCOvb`UfT2xߧB UJz-S._߰ ߳hE}ҾͻrY)9 <ھ8QQ @& g맰뼥79(t 9؀`= lَt@q|ҍ7il`fU,*rLx!Zk2b"<|;+Fgw.eP e&I!)ʞ5U$c:Ur9y>j@s-6"%+¢wVqW}T" n{.[K&qHg֑  +&(%K%S|BIzɹ3Mł TX,䩁弋r־sfYrgr:DZe_sowg җ7ӮEK仾 V_NK4,>#>V{jɑ~Da6KZi!i'~\% bu`FxTl( q1h;. H;΃@oϼ:B:xZdյI Fg;?mlhimÏ\R3Z`Y5 J}҈Ϛ`Wn xÉƩ&à5tNB#&]w"6y` g-x2ƹbԨ;zw1 cu~Ҿm%A ~DRY& Cmd!Gfby*,>#cU# cUM/ |`a)qw`n=m3 fgvaEEkFcX/Djef]{cY!"`F`r*O[ئD]V@i B]=筼aNN3 6T)L6a"ifT2djR`|:1/$\)»V+98H/).hʥRB a W 5\J1 Ӭv)XJ$UrJ lԪ=R<טG՟- D}=MNNd!\_Ϗw’Ե_m'3|i9h-1'CIxe\5W֗6|JIG1B3 9VbnK` &da}hҋZo1ea. ./?Y{KaWGyw\bΣ䰭bp`Z֩_]g! kWq=0O&w4oEK%$wb|ގ[֠ ]Bqi%Ol;r$/p%eSDr·_kVyv&\%ez'#HGC>B'*վ= =&!DBSM$3q BeAX*#ܢZр]bTD2돯sFWONqrT|n$`\ϣgTOrXNo~WAˍlѫ JummBs0 0 rsq* zƀ@V6#+(\E4^/A";6WP)_op`B=,Z xR@$am/~6Vm\)l~ezJlZSǗc[?VJ  ~ꔪg̠K@ӔR@u4Cۏ_K\ v,[47Ƣ<˒&*nAA}?(t1CG7fq,L I[M>5' 嬕W\lb?2 NSSTT;V^?$ۜtr0+m4WKpo rf^ΐ62ʶf<&rC#Aȑ^?.Zo$k9qmΠ"2q5l1緳85/y#g Uȓrw+P(\h9;_aq,_ J@:+{uTzWd d%ݢiyN'7k"7]HeLvÆNgLhjgmua&̟%=>LB]-jD4>'@b/anE+ B#F+IrO)ڌX%L N]3,B]EqT]#uX|ܬ{IA_QeZN[Ey<0mёЎFzR_2iy2:r;_).Lo˪O#M6=s">ſ ZZz̆8у_ӊN9 Xa#pw?Tk l ܅HjM.’EXV[PeDit3̠mb̀a}$]?vcAvX<}V-V'b {^gOwS&E$B{;,, G#wF-dLsn Lc~%C:#HJ6n xŗmZhx 62cvʩH~^ 6;] ?,T1pJ ˮhMPJ 4 yհҼ,TP@=MFr+%<9?W_(cV0~[S<{[ek}4}dT8H$8G5q]?B0Ӧދ-a$^O>;/w^ ҞI_ ksN#U& 3׀y6iwl>}NqTtUQ̯M xEˣ4kOw "Y-v&_DWN\:qBh`M >FB)D >9Hh?H#d@EO~RC*MݷB_*74FOAPq;հ;.o7 ulfp͎%9bY,EwbˮNjW%f7$ߓ̎@n-W+ћd?6{3/9{L: P=:L4wN1dfŌ@M~-%zm6z;Y$aKP`٥Jߩv\,*K“d0J}'Ƹ b(I)yFt:p"`6MP{11چ@[)huO }=\lm.Po6: 0q;c|[L#Ե5˛_{i۫|aY!lˁשHS …/ ՝(ƝbM+gBE[h^ e!!Km*ffn8:H5;-.Cq9 y+j5[NqrcP-f`&%&COOv KF-}XSV|an&}Ծ;vഎP6:Q jswl,Pv;!+*.LR6{" ,Sx2EDrbfǾFj׋=6xacjh Gt` #hP s Р7DX5"(0US?,10)?[`@zZtɖm<2׼X +bi8y6pg\w$De,)П+ODP8a֫4jq4uɯR}>}am)A.0l!fOfCEQrg C3 MȮV[\JEc.,?B/e/M"FU)ϯi:ew^݄bmP\;0qu&QS챿JýZP,B3۪zð ,KkA?VE>sƜbD+Iwz/q4]\Gtt茖RC7]ʪ'BSu^^3UggoЭXLPu37WHL"{mZK;S#|(T_R" eD*zk<) JƑJus4 F1T6y57X11M[V 5L|,;fGp+HˆFԪSX82֊a#!;8n{7ևg`f,(3G:BN8rݧ ӨĞK&#vn+L ֺ:ݱe7Y o/> M _qenWsw cNҞ?JSϭ4l1 A4v!dE`58Bk9qZ1FF@n{BcHWJ8rlq IG2sooN]e5xdH~RQ g8뭪Z2 9XQ1a&Q nmh{J"HD)r'z)>y<xs@my))#1YU9C y2@h"x9,3]$\ituPH  RO|&XtW=w ^]ݾ娂faZE!>qTb9ClQ{Pr`:Y 2Lqrg,i^rOCѧv hQD)Ps|"3Vj.DBv'~{u ;S(Q'xN0 rQkWM|*ڬÐ rWhT6OTvp|mڻRˢ\9X~e,-;9xӶcfO?H}WCU*GuBE~4`_6+((W WtMcBAw>i}#9,Хʚ $ U P;PF%L%w7S/C!d)*U8\l&&-,i_aL$qy%=lQAed7? ~WLL eFS0TȐ?;P-f(`{yyF2F7(&8)V_4'vYr| >><.86F^Zh5qJ8>x~m׸; 0wp%H ~iU'%qJ]2 j6V ;NN`)j-S0l}Δ'/tʼ:jM~6a~y53[d^ْ~Ê?XC%]udO?HX҃v_%<pvQ?Nѹ\w "Mrl;VJX]q94hGdK?DYcWEŲS+7ʀH&ANXR39BOxхRyP]a_fz'"ɼI{Tu.z~M _bE3D/{rJ?+!yeK-m6t;Uk)^ =2zmrD{iNdAh ւE Ү[E6u߼*}OYh c0 n/]|T='5).C' 6(5:-szMV G2)fB: L o\fkp𮢏PaLب1 ]uFzH ,ΕԔRw2ٰ8^gƝFu,5+]!7h)|x*O}u [׹<cb*M P]ފx8EOhKvU ) 1־l5YC(̽}<rSuBP-DtOQX iYLfȳaj~5L߃@R_Cq(qcESpe/v԰-g`K~#W)X]rb:!L,5{X8if0T+Nda$T{3$)|bJ_Xv)AJv[#l8%F7k^`)moY_7`yAIGbϨ?]$"mx>q.c`\Dв? Ec1r\<ӛ 3 )b0 'Fdl4ذi:nXh_c ;( [Qw-Гr>뷤 36NBj/ܛ|}6rL'Ru瘇 65D$D-:;q:W >G[ pݬkmQ_58'*;π>Eic%9 iuF?@}2m81Az f`9H^^ۉ架^#Od{}FPhEDx"J@`VP4긍 ?&\Vk%_9>$S$^:k풦h 8io^a--pOŽap$˟hIL+؏aKU] IJK+YHP̤ n0I BV3S| R!`s*9lttnp1ӓ͔){]kY&mkEk{ OcЪG8eՇ]D6oAX'n]] r.;y2b..wו tH?Dca&{{7I/&=+[RXeJwtԈڎ1׋{6>5QSOd֍=& r-y#1⵱Yh| 40 %OaPgH Ɂ6"1_q%zc|W]U* *QD0ĈnmqF e86|tB0U&wLy\C1<.p\Xdβ%@7id3?=e JeQ2.I| _h*7Z%OGq} (7U s~K@=c)Vù !haJ26٭C5ɰ /Ō Mއ%nImuۃ[pAU4ò݀yY fbejN["z(,X7Y>̓J'τB C)6&}UG,Xssbn%?EO6l!F$ uORdb|0_|Yoǿsҵ.ì>T7dW*3qbL6~!*1mNIɚ&W0#f_{-dC<:㼼+>\.$opm~,~6GMڹ>+?2فom gP#_ddEs($3 s  Gⅿ- skc\%Lye.kη^3[{2wZl8^JIYʡhWYA dUOp(A7=+? ,3㪑iD^& /gkzJcd<_oZ!h#o{%=cj Je {v/\zFSuR/òg_`oYb] [PъehmT ǫ@STWWik4vD\ŏ hY݊OHڨZYPS9oPfq+ځѠPR#DO) {R&drlߙZ ͅ.4Xwʅ9[sPY}y3RmQ'MT3{K*BOcӷBqQ- #Ya ~/2ܜxjB Co-`J䖪Xqj܌fd%nLWWGO0J^ްwy9V%6j'NKL*QHf2 V۳VCzQԎ(n,!AV]lxRe_r&s.//j_?WvGOυ̽޿ TrIw;p1,Q]t7.V1O=dћ˧8Z kn#]NAEYMU0c 79Y' ]⩾A~d&DX:#aotP0x&H[>{5O(h:$mK#"BN2JC`oF]ut7EEnTGt]LA )!\r:y Og3y`$e<0뜎/2n.c&gעE;\A^I(_ם5x{ q>611>̪@Y;UT$%ܜ~A|nݽ ɲ#]+i.m>n cw7bA5[W"XbuѤ#U,x.;h0){%8%|Rx7l˟6mh3Duy* w,[F {Xaӑ"dO ΉY6J6bub}ⰸ۬ӏ=)D , =,ZW((A9$etPlWF6jޝ1x4GZ6TZL򜶇Zx7HtOU&RxHdkho1OwdHvzO| dI7)v({ՇRIJJ]iDpKWOCu|4lf/*VCe}͉DϹgFF`G 8iݱ)#ΙeeTĂT4?ӢSqUGԿ}gY8?Mh;ek=!VɈ2L )wf/^M# 2ut72Z`XZuht DH8I=0HU7>d|7PĂpm|P1mkCcCSѲ(:Bt.z R{ϓ!E:zv&(vc77h+Ķe`YDDvaH͠h`|ڕ#59:HЛ3Pˑ٩ 7c]h!qopFIK(:P CRd 5E*mΕcBGbRrjlv.,ծC}!dQp->IeBTv@?Ө4KUfxjzDM@WBdhSuIwϠ {:߭cOgz;bzo6W`f_ňOK #Ra;1&9yu;=+N/raHy$~&`7x6 EkczФDjԕѦ*ĦwT] O2 P_B&O WF=[=0h ;IAoP"rjOWø1CϨ4Y00L3S: 4_Yay88:oAJ|=;4Qǰ FYp[c-xo`7]8+Y ٩'};y&btW>< dieґ`,|rգ,͔70)Tq ujxp?q؝?V~d~) EgϤSլ )A*x.gҴmsz՜fcѰDIaouUp]~Q!ߑC;+^V4itpQUe=@Y %b7TWj"(Y*+R'qŇFu0&\6:MVenEEb={?)BgS`FM/abspoUVKbC#H=(ML[5Qy{d ޟo֙ܽnǞ릿296U]r}<Уt(-=t+S[Vτn8o9ۿsN}s=ȟS6o k_6CV(ː:9c~*f = VTkH5O,,B-o960Nm19MP·7}P {BS֛(P`rpXކjA]F*N|rEe^]I\j$aFTP-կaԥ^2 ;%G"-A +HSǡ)Qĭ`͔$Y1RPK=%+=gԾKoy Qg|s05TKQ%IN;Uzw8:cfq0t6 2-8,q e?9!%% .Ś YuR"(|W x "@4@FF 7l< UD-̪wRnDU`cSհΰHXBE/r jŤt{l񋖕[G$xoKx('{R(5jd͐[w]tCd<2ٴ4`}qbk aGqd9t.P]zӫÎ8Csm|CLws4iv35 גz ʩ65OF D1XnlD>3za) L:>k0/!};0m_SşXAXe7rv%TиT儍a^)[D?k_+-ᬏC>ӟPPh.t[&t|L`j%vU+Y;#H1ah* 큃$>- Gl1V C*EOU*u I,nק=6ZAS݉0sV?AŜSJTrn}a#:|V=X)Ͷ"8$x7JN8LM-ZMv%Si[a)ra W+M~Vk}=4 m:ng7E R^^p ,'ٓ54B~pޙB$WuY7?橉 8otC:tS:R+tk:▤ݿ{6{;T65s-& G2&yI š"6d Ҥv(qqa$E]o(VFmY;Ufk{PEM&$\mwvu/4O Y ,UƣBJ~4$KE?8ͯ*t4(K4;u!`qnIq"KgC͓Nrdm5zH%7 *`U#_V$rd3] uT~%iftΩutrY-7q_#je&c1oԌvKo/W i.Jg- :`,I㟾H2)wOWV\``l|Ԯ!ދ8y@Hvv{r4wmC>@r@48$~i43pdp==.u)2]hEHFe<"mj,a=pvtTyzgUŬ[ ڍ 9S3f4ξ>!MI!' z+hdAPY}QtKgudiVNAv] 8yX3yv876|ydiOn6aOK O,Y?!dY?ߘm+3ZW\銄<~ǻyTIYn#RnUyښM~͛G;6}E` r@vN^fbY%2S̶\ #8Bn}cH aSvlȇd!mƌ^5G %)|X5ß7q9fߺ^+YwFSVRrv:Emҏ\_}?:yWPe4Gnjc>&%q;ia)0g|H ;QffU%h.Щ28DA@D5rU$["Ac8,uft>/,mN09ZpG%D3v)yM.h }+&%uCg{htntL"c::D9>g9LvN;vWViF(a=jƣ(߷R>P>;nh(wo)6]Z8/55ڇ L5sWKWmJ1gN_9b3T ڷڥbCS#߆*eouA1Glk2R!@&v"}[Ԭ!3;9g= p7i\o Dto#%TVnȅYO<`yFpRL=L o0?e'{)@3Yk檏@$wiKIn.ؘ ,PElVx`C۳\UY\W-Qc*J! ǐCW-.vr✭| 6J˒ua $e$id"`gq$@!@Q۲2OP^1>Ҥ2L%<127 d=lip*8EQ\Aü'mIڕu,D(4΍}," MM|S'&D`?u:&;"Mg:*`h[fQ}m26\ዶG]*9@O}CT4D}Tj6>#9 &rJf־`!?7ɵME?\&".OB1tg5j_M6'=s.zָCNR7ș?i!.[(Kd=Bn* Mx]E +Уa藽햁jeNwy=z k %(1ͦPJ_Xi7z '㩿Î˕d żny2muL(rH߼$WiHfn0~ g־)Xm"y"|o"oIhJ FKuQƔ[ELjO]ٷ#GMuEZN/y.>~Yr'(v:spQhU1Kb|t %MOoEʃ'bd HuQ1t]N7Pc0e]n<1,,x-|‹(#A#X-N.7JY[{*2y3mb3,d}ef J9o; 6TND6>ڀ-63&V?. Ŀճ 8SDHI6HЦ$(h)6$3jZ _}p{2/>ݤLtD PJd' S@ yo:Vz3BˌK*<)%mRyM8}-P0:i?1**vno8M}Ɓj%8n9\sқwTD,nke'WuLv7+`!ۅ}EVH'wZrYqt;%&ؽrѨT`S&Qԑx[7Rbc'/*|Tk7^j"vi?НkcvJϖl\`8]6Z`k %ƒ2Qp+&N":Go1π޻;&Le-B 415WΖ .Zn͈mυXɸn+u,]G5F0؍aϠWJ$mmfuu_l9COn_Vҵ=pl5#7 .3? ]l'dۑbq OE^ ge k<v@q#O>KC[ .|$4 :c9^^ۼ1^0${Pj8lK )Vev;"֭9`eG;XAfǬ4t&gYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd4hnQmPyBH b=t?_ˊ2r4'Et}5N@Ep;8Xk ;ZwuoSp`X+ jH@D 6s@ڙq&D^4C2-[YDA B)B)lg!ȡ+ZOUOkޜ穅Ztw+'ʎ-$tF xrAb>PLI1/*&`hBB:HyrW쵏m֌<]60(j fْnC ˖0*hs}|J%3XZ4+)8Wgm*I)쇯`gP<Ƶj)j2&u Ɖsφ*wsW{d3H%m2m+%xsj,sDW$- *38ٯcZN]m"c KA1Y.B%\ӷ,gfz\v 8G +yD]Ӧ)& pCڔݾhQ=iџoøT_J56BƤiM`l#KYprfOߴy`+ΌgR93}un\4@IY*G\&%p0oV;#?. ,J UCPCd":d{|g 9Z<GfDɉIU+F=􁿁@K^zw>~fpw_ sY܄a4< i:0૳h5^j@ԓi[Zwd)E^Bn1/8M4l̶OwY[ e7_kbtސ5qM?VgKB3;U_G%.St-]^ф$UXݲij{IZs 69+1=S^LJ雏Xm/҂tgw EFi7o1jfVd<# +SB9crJX-'r4:OnaDKjO4;o9&(@bYe4#H8DPULQlE۔@0*#ԇ.H# KF1z1S}3l& GIY&;ԄqHv: jLzfݵ,@Ĕ`ǣçUN}Ѕ"GNq*uxiqjh-Pj$pVwldUzN=ݽak1`T#}WFhl%~|S jjNSDCC JʜOtٯVʄ2˫n\$%l$Nr佐h])!{b63>~pd%HAaQz)ã`0+aۂ7|n9Bn%v:B+,\"E ,[7Jvqk)rɪd}bCLK9^)l(^-17ù>טl3*+^M&{$CGz:I_b6z]i|Øp9 u'Ri͂Fr?$kJ=ԫ(ԭӍxsr3[6NkGS[zP]~j쯃q͗ײt#ǢAD\Aͭo᷍|6PuPuL:-=Gc/A{#DF˶J͇%;ԗ*x/-xyB`Fa׫(<+H;X,5۫Dwx6 dl:b,y340i$׎n*-Xp>guԗXYHiP@۱t#bW.̵|" lr>/rdO,\ )iF rd1m A9sX[֨,:Os!$gYZ7zXZִF! x]ŗXi%E`w̯z=gylOGLCD{xvX蘖xxGF9ZyQ< WU>WIq TREH3-H}}A猋vS &R_V9Hȟry<خظot4L2Ju{hIT(rA],{6ߣ'spU/}#Wg!$cnLzMXax *7Y-KA\QJ/]ܡ&7!z,w BzPIP7>U:Xk-QՅ?DC<8 p c=gBj%ìq.gF{" 4 *-Gyi%75o6X5LPb(z1ud[]rR%⪯6վULX B1 VhbyN-([^=%)O(_5s;ɴ0g9^K5A.F{ IAH m6,'rWq71rڨx*zj#e^$c6WWYwmSc%,|t\1ՄbSiܺiW-"*ngid҂6OARL +J~žKtblD8tx5#%_wQIޕK4YQ>~k HTs]S0٭3 H}pB S}c7;9#ymmF$k۵<>Uh5d:"awfk+^NmRZS>A+cV)qlp@n*Oqנ,Y\9eJ%vS50 (}~uz\CzBN]NQئKHA 2Ucɯ=IؕꪅTPa^[ &&O1GP;FQJŌZxȰߏ{+V k6xG ZPrk{Lb NHb$_f?􄌻Rx֏*5AZwgP`$ : W܋5j?A]4' vIopGǔCF2#&(-) J9Ĉ͠M8 uy3q{_֮۵]aY&تO<,@Ƒ?YMAߔ [אcHyP}a译%%;֖߶ ?Sb XS9B+fIaC7 JMzyXE42,E1a¡7;J b>PS%ҝox+1IQtj_nu20cQ7գpE<@5ˉ<Iq'-2J$jDAFelB (9^5dʣw\gĢW@nP,+1 )pa`bGf3^sQ]JS#4.[>@&Y$#U_Jǻ<AzK|o5kv)3h1ʌ^~z S荅T@XM$}81Sx[.![ .Nar[63uA0]n8=4dB/HSR$ gsI/*эkcU<9ZpQG6y#q{.Dg\4z)*!#8id0 z@x.m*I$g~,UEZ=o{EfE1[Kn/PJQ;Ug[pC AM|(+uLR |Y,Ug1 ua)(I8Kz.'dB0C:R ȍcqv}NnQC5 _ݬIv^- ]Sᯛ]AΙr`pP,rO)ikuт .ʉ⡜$|!+?̫D<G$tzr '"myՇ Y†?< ДGJӍJ9, U.FP`J ;N2fxQW0 ElcTv&uo<($8b>7ircLue#l}lexSĤro"5 WBk'oqW 4`Q "`7tA(oF+&ӱ{G@rl_p貺g;ܔQhb;u˴u*otTyPh6O([ǁ;ry`Pnu()iࣃ +2 嚌2;p#z 5b'[Y3I󌃟>bS77|3D v^m⼒S0,BI|B$~MCzOB =ipHt6y3LS{Y|]1vj]ղKW@c̺V {H%^6 't{ zҬܺ0r'kc9#۫>Ԟ/6P $eFM< +- 'Ft!So \C;"6LLH2e=9awFvv[`Pä >b w1_ ɤ^f}gu45hIަ]|p&OvSq@1XVSjh]APcJ[tݚ> t{ $X+wkD3ٴX,^@J e4_TG+EPŊ:˿} n*}2ZTwfowRGya`P4O=A&39pz4&>KNJVq0@-C |DTy 8ˍ̮O9nE9R~$fI/h Fx$FYʼoײ.%UK$V HvKD&1  SP6gFi!/` |锾%žD] ]f:d%]`mً;+ߛ2ڐ4j3mr(h `&aP )p ΅r-hRJuk2ޙXFی/8(ͥhU.OIH_Ώ^ VJzwvv)ؽ_5y5л.0džY(hrak ^Pq?S3b]4d-QM"tY)hp5cI6:fuЊkO1 V|Wiyb>܇2_"}T۝=" j!"<FN'ɽԘibP\ФDzr Uy?\ƮWFC$O؏9Z)!jQc5?z_(TSKU407iòdW @v0( -̜q}QKyڧ 1" WNg7&P H; isiI#vt:# o=oa9x+N{ȂO L őQ63PMVM:^*vf/]X)bQ=}PRFVC=P 9DHyH-uɒ6Ը*l=2 JQ7P]u?H̆pMӊ%y",OҐ1N/<`‹ I?p=m?QmLCs/5F-H5f䉓$DE Sj:~(^ٜ G/PNL_# ;YA"O3QMƒxZqu [2GpT`G!^& 2'U3841яyd;fm\sx[ۊԛEtfT:̢-jFIg~\&HSǚAFOVsa!wQr.~5@-3uDpYSv !a0K{&BeUGkSrb>< ~;33Zєtk zy<}8VڹO>E-UKE %M*gR -Ysx\NПs/c՞"ʀ8t j `])gN5a$ZH9Ô*յ%(B{I K9oTb;+->C \iK~/S ֵ:Vcs0g7> ƓıjNj: 2aUy)KՖi:O%qũCr?Aʇ@ TX'([X#0 p^+mJ}anyU|JW'%F5FS[{B JA+Ylj@z ˲UHM~v}ͻDV8q"_ -z\M6F-LO% Jc~1Ú'OFL!q'1@d35{ԇVGmAJX(HkZER31XO/"ǎ!+>uDUͶ_dt,J1U!CǶPVo]8-ψNjȽ5V0qlnë_ 4Ʉ绍E ͷ2+*o_&{=:]#9lޟs[i +PO*1X{l76GxL;tw'gL.Z~[! H%iq_ |[JJXΥ`1ԣlMHKs5oe;WȊL^kGcE+wtOD!|\1ghdzWj\%ZtwcXY6YCm(i&V|CR -l8bk9YlT|B%;.]uhīIԡ:t[ҬWi}BeVHdўAx4ϗ29ݮ~ (};^I&e]R\PdT4u-8de]MH}ׁoTI eٚuc^gtiL79)]#'e?_@ Qϫc|-b߭`&Q? ~ 5fe]f/y-@zO}$ mIC#+Cu=[6ؑQeOl^Ph02޼,Syne$4}4Y\y8"bb%߫2?؂IdO}zLQPԒVёqr ԋ<dr/'׆LU`P?}A׭"!(A3%0D6 rcBpȨS:*d-xzG 9"<5zZy} B%5qhp|os%qbZFp:+åVд8<.-IBXXt(C6+06CixM29,xg g?~y{'Է# )w|oxy2תo>}a=tF׼ )ZZEiSwE.Pb˨9^l5!@rT׎ + l`84hn֢ΐ5+k 32&T%TAXاqL3JIÅ Pn,.dn8ǥDsFghq%ox[^888gN‹LWH±΂m%S t|鳡@ ׄG=tͨ~9qѮ 0AM]=X.ړbYͤg"t[i,TN<Χ/zSyC{2g9c4&m{DQՔ` )TBj+k 6fh#'̜clwP!-U[h-C#L[s!6^$2!C6WBrC$+Ӕ~%6m6͍pݴjPoGᜳ^muaA}Pk\%Ö鰫,K)D;y8bfݓjIT` j picBvkuU[:֝dEs6L}|'RnVIrXjo OFgo2UMfU<;ICJzHFq(|:1NGEA>KGh&R,K"9)vf-y64Y.Y`8;Ka~W.G)G[dWEb2{hkeuP=`pUv +˟,HkAdU* kb"V\29dl -^sdxb;&< D5jqo y﯋PyC}P?۔H-cсϨH'Dp{TEtm_GTؓv A[5 /A޻gJ?W5**V14<lA[sӥICj'6$3d96iՆ |XZ]> /}.gY{%sZ @!V.&G! VaZF!47#N?&gqAMH3⾟y9e",Er`Ddix5./͊YξUwTm 9Ky"Mj\8L$#5Ǧ^oO#M?4"*$*a tc\vq/Z;g'#;rg|<ġ!<"zЂaJJEokõ*8t*Z[9XLA&Y܉Ai8h3=ϛ6P#SLa XF!16`}"kg 7{fPpv)D9 Ez y.ߖ׬[3)Kx`iEvy Qu7F !b _ܱR>c/ܯ Yg|g94 ٸ$-[C=|82٠4CK\쐽ipcyMi/@TU}FV Pyxa,o|x+JMr9/hŎXCn.x#:WljI\u-cbY2̺tTM_ :GO{ҠMbrV99r%s9꫱gnB:/("LPVgS:?jdJ*+{Q!/oѝ^ߔ"n4e\FI!,s|օ|(R kmHLWPjֈ6rd1ef1x kp#o[K0mf+la_ @`gO֔gD Vz.RyΖ{ Z̼U:,?'b"؏ SQdVҎ`RDHEDaW# ܘ.5Lԫ'K^pk1nl3H PSI?%t -{ڱՇm~3z:fbԮ.=6?!y~2 J>- 0ke|Oz{4f4"Z 3}Guh@B|*.גriOv_e]*5N6_H?mJתʧ;0SQsO U~D#cCT[$7N2g5?c1,j1#yAdɬmټ#~' A̙U.@%'Aǹ6q"QIOt:ӽ̓_V8*8][]jeHGcGP i ?8 Bw$[6ܘԶvdSgX._d8] bdB5GfыʞH㌩/\zr^7[Ql8g2H.iZ&c1o^9k"{riP x! 5763u4 >`"Nʭg^ћSpDxm|[]͋kڰטs)*{tހin%\@h!j .0}Yv[MNQzy+jl`-Xy3wq'yCtř{e|v{^ &." WF'q# 9l]̿H`4^eҥ n{ пH@sq12瘅{Ƙѹ0y#>S]{.@XɁ;ƴƆ(Pً=Vx8cۑ vfQl{<*M;b3Aq6#z 8$~mMSQv7 t]-w0 Խ'rGS䴤ccj6ŧ?΂8z.ku=q;8KcoExg 7&obMbm/npf80E:0DXAKq QpL;9Ctm(Aʅ9A2G$O@05 vyۇPH©XbVy<>ĄQԎ{fJJiտ|tP+ȫ<B0R}|w+(ĥ3Fha+= P9H ihkQބ d"T&g8nDMt'y.zd>9#+/-pJ5OxEKբb2d„|sզJH*ev5B"=]?̃Y,o$DJܝ28w?IPL+;<(6sbϼϩ.npJR^h=/c.@|h?+jUswY_2 4Bs:99 8) -~(X+Ȣ׮IN2TkW.d63 R'H#3ˁVTmrg,0F]uB[">Be~O÷I!Vv Q5B#O]삫xV=g LMwDc²+:ОDuP5rŴ~e҆2n׷+llћǔt0'L_ansިϑYFoӝ񇿛l}sRH39`pri&yu N @auzIS_>_.,wbӘ'?سi[o<\ ;rGc)CB.yK +zڝ $*w8G = CFD=yi,$âTȾ~P #Q5H}8rÈ%cx,v{&6O% 4'hemi)u^E+P74SHrNl U!Ǟ4/;4B"ޮ $F]St8<;)}MGr#8wF76[\rҗbԡ- Z$OnF]jۭ730c{Xܚ44ȁ*?zҗ%OM!\ZAn=AN/ZFX\YpIN1KxJD2WrNK\7hr@5df/tVǢ6ux٬܅!7&){'wM.ge՟MVF |Ҙ}S9U( ~.-ڲ7L0x-r~\}=lssiD|t*g>n99Ѹ.LxK/zu2] dq .=5ܢ䦦UFcI[I:̽A==1 44PC#XKC)5=AA&ϘBD/Ɛe[ŻG`y`D5NP=b ."[K l('[/ɝf(@XGR„M@j}cQ Rq{dr0*@,,@{sI siQW2*dgbFG+SIoVt!t9RH;! H'`PLM>2xxoJK>PZWGe1';g':d@eHG~?FkPVKH)%,?:ޟn%W{}c2{y E踛p'L9.ugYNVB}&~\:H;3Ngr3`ZQqh޿vVu9ԹnwUop^eʗkF`=ĕрJ lP튇ϮVqD*-n $nMv@b8I[.ȺM=dJH0nh޴i@'&ԓަ cZR9tZ 8%ʀsԵY}Q:ćQDaU?Cق E;1R%a\熧WA2? ^iT#UlJ'T~-G5||S/8ˏND:1ih1*3 (d N0$&dJމkD YmĂwLD9޼N]pƒ=7Oel%=UӴr; j}"8ꓲU,0qaur'AiFwHH1s+&\6I7K?A',h4Ga,iοvEXT@.(M*#rhyꄹ(, O gP(hBUmw7! ;Ów,<k*hF%(H(zN'i:W䨤8SyC ]۸7ՂI0c r+:ح䳸\ {hAv|zR"%W򍊅m١uKqom^e@H~F(#JE.(qwd=-k5gqV@O!sh旐^d]UDPSgOGGAyLJQ^GkI9IHta3Uޢ?y:PinNƱ+3vHhu D .z0> I)Ek@V4w}]߲ndޓBQ4-->!"f;c]?vx6WݪGlj AfpR/*/\4rK}$I_P0157oj݂eՐ 3(jɺ^P &+Ɛ<]Rib%Gnִc! )aA8%OE Q9񟃜^O{910JJfMljaSl7@˯jzMnp?.ӫ${az^?7jj7?x-̃4 18y5||]l'UϏƅu+2pQz֌H֞}]q;3T ǒYp1  U[$EY~eUf+| XJXg @$H>fhk *1l4:)j=# : Z/$BlbӸEYr~k QN>ߡ3ST%T AOF3)fnK`}q,2CMP$.L$cVz94x5} My,{6 rKp[+օ5/ gI33ZԋN =Z,}3F4϶mjXH qd bj7$ĪrD#~ Je]Li.d͝G%^NΪ7b&0;GN}hmFBP"Pn[7m#i+YgtY'1T;A |EԾ>[}^O5J~!X䶅hzftpe5U*zUL|V>u3O@Eԑqbg(2Wd;vM+p-Ȝs4m38Qv 'pc@DrWOpX۶ ee$DS9&dPX@QCc9O&E6;idQ.9RJdb"p l8nNUְpdJ U GȚɥBv[0b+ rQQwNSL0\:Ԟ]USMf*yFl9Ty$sDWRfM& Vkͼ\v)aQD$F ۂ㧠.[>\Yn+f$vDzBw d5K3:>iW>ȳקJBR[J?zyиAKsA|IxRy<],,]mY.oBʓ`RcQ j2ّ^bB.& 889pr#Kj{1~^)t JT҈eDz4:;"UOL-r7ypɋZ{sOALQ[C`u,5AhrQa )i@|Fpp#4w92vLOr#@DwxʗX\>,A7sz֮  .DЦo#:Y| tM~Xĕk@Ktm͘pX$8\+ .WeGG˸I? *Xn4Y#!wjƬ??SH. /ez&[k%I P6̃ c`kuHH7R\.;.?T'x5<}QTsXG㈕vw4+H秜AOn`&^93PN:Pϲ,`G;b(@ZK Iof4Q[=A#O__w f-udjyw ,njihпڷ81m3$ُTԙ OIoNFgcݡO\pvvKG0(oLtIu߬q [T,usN/=V p}QPzhTEgm0=!Hka5vaI ( Q=ȒJ~GϐYLrC& n{WHe,Xj9vxl0AI &^qyNL;W2JgFBS_A3"$l>kPޙD tVQ aeAgXV)Ѭk7@NU02Gr͒' 7#5f\;ύGl46&E]oe5U7мePKGapio$ܫM$8 Q8f]zu; CX'n]̊ U%ӲBOWNВ(xߎ"q !Vn又٭F!ܕB(,{ބ]ퟝh+~OUf.D1nu΍9IQTso?=pi4( Q=a?b>bnCWV~&o>NmċRgYh~綣r) "Ұ5sCnַEs]"qZ가^COUߒ 8Hr}9P9AS.Uyil[kTME]d)/O`Y1^'e)g&j 4*INt?Rտe@Kœˤ瑴KzFj(&8f`هtkg^qtևF%P>:EQxoX,qX잘2BiE$CbɶDYIM>e <2> c@Dztv{ys-ugn-^aftEFF5vNMHUmxҏNR/ϓxGP+KUdl\ (3O6 qLdKtG}սrweHqJ"w,Lhg-t-yvqUpeCRH]볆ݏpQ昊^P)AngJ6f9%rv?\n8Lx((Z8(eD=Ff A(5Bapw[ҝ~qT^O!g)eN$+Y)HVƯVc1+b@\PBtЋ 5#{gѼIq3.?S|Βf0BeץZV(eŒ9zvW5]|u?" SYBNRRa\Y41hN]U0ikƬĉ͆{uX(iMqUVj C+SU˩ɔ`"Z ߛ'}NB8ޒ9F^Lt C[C*Rl:x|^ps5^~lU3~M:wXGw{"#@|x.&[U-)/׆R Uן>+cw,ZBklz@5almMSj벇pk{Q9©%q /XԌz\muMC)BerWF8xܔg-qFqQ@i Zޙ&jmxvM맠yXd70 妎0# ~N{F}y=WKNm|l/W2W?g1m8kA}r(ŷXU|Tȱ3 J3Xv o>VKڎhŨIJ:Ӷ &p.2lA3yASeZ.!X2zI+K[(84#*9DsmZ>ބDNOu- z$0+$z M0 %AEPގ*4rc61yT(~PZy::EW2a6UvN2Gͅ^И*EnOCA`[u!%;Vndrʷ5vV\EIhb^eEÁ )0/ Fݴ\=L7BfQv2aDCqe:??9nU= ZL) Zz5Unp-؁(QЏw4+$dȂ1"u.wp(7.V& Rh+'aC{ ߰,E i~hi:lFTz6]^^#nH[]Fpė'ғP&r>6Kh͟-NWb\UIeV8V~[|T1AJdpO3 *wIP'|楈ѢZAkm-IYwSTJJJk!3\ohx6w[2s=)!fz6X<ߊ$8A$I*D~cF۴CnG+Ӏ=f(ke A8/Hat#:;]n]Qv%.H1wƐq ׅx ?%@h1Mlam@VzIčh+%dm+`b#95{/=s@(zJMN7^%WvKR~_g.=xT}arM2\-2a8%Δ tˊ_R nY)9"Vj6rSZK3GNa;$*ڀ-ʍ*\[gҊ Ia @:I!v'Ƹ䷺eV%<`{r?0fjP}oi Li?77-_t MZ\؃^cBŵvd$m!yccOhxP~S`z(lBk*S1fF\Uy=%%"4\pn͆r*l*W%Pd <6tJt~g8!JvBghi@ hfRuuuqr}U(o f04nF=A52Š%%2G;Z,T_wam,%5}z 0V U#S?kQOqxYVԍZuwmP=s;(]j[!28b:L lbd}-K̀DR[mĄ\ k5dzhOoSIVplHҖځH=114bE8̏ cg\bsڟNh'8J!qCaPbBkv6%.Ǖՙ+7mX h\QO@גC:Ѳ%5oljےۂ O2*V4A+X p"ȊwjKec&PkS|rݕ$`ǵ~`B0O\M DHF w=  ܾםlᆂU?7`f(Jz^Smj{a|F?\q ۸N!WP)`sgYZ09e655f5e0f80f7908efbec44b1ec450c597b8ff60a148b45ba9a77d08275bcbed1a4e03ca2f42ac 32022e6d944834e4e8205d5bf1712d14f3818068dd21fb0ae4707ed5f3f5da95135f6812c7c8e182