SQLite format 3@ ;- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 l)T\ /]Incompleteness:threads=2elapsed=594.927cpu=1146.156gc=18.212factor=1.937zXZִF! K_]ŗXf1-q恈͐7ӺV l$wMc^h:&L($ smJ.yF[~|b~;`@҃ T$ŽzJ9pIhA03X,   Rm 5iەUYU!bLda:z6OKB>czq'yL{wiԉsc'w؊N%毣>u {mzԢ T!Zq4ȿ LM+{ 3Y֑o4?i(5ٻ݋A.Ƽwd~|MddVMV]" iA',pD\k"PWQ՘K3 _]T'Q 7  ~,9J hS A z* QdN4 `=u < ) Incompleteness N69wݠcqDⶡNo b ๺TzABrwս]*3aEY n/{%;2~y jx"ayTmfJϞ1n%3}L>UG ^~ ߖ)|lf2 Y{kʊѻAAHX4W%r)~ůYF5on3 J8c8SpB #Hqfbl7 1*3cA KpjY3GqA,1e{ 14aG-L!GT*-oo# ,U^?JH8fMcGwK_G¤$<Y7|Nx"^\xfc)@݋? h_"|#c\Ԕ<#wR.M{Fn%e?J_!!$4胬tDKWَBlF#'?|oӢ"_eI) AkݾG \}<']uW~(dIgۢCR^zvԇK[zfm^j&VVW+ ⋊N_:ˍiu'Y2c,UgphV*,\{XIjGD4TXT k/3E}e=jOĞԪi_m3%<jSJqj&%%Z:@CҲg|{ʏ_P+m UG4"tmTXa2Ur-qre=B!ѹ̜ \ P9EuRк.KKiLز!Dj 9ZSkB*p"MôVLiU.z؊ r|xfm߆#!M˧/|l"'3`\D7B/ЎKui0ue[Q\ Eiwy.[6(i.mǐeiqHޭ.HR< -92o޼rAG/yh H\lJ* Hmqś '`_^ fO`w ݘԁ4 ۲O-ުHeDGcč+2H&]Մ#.Mf8q\k2Jec0Ya9"n+#8AE+j}û>y5GM9&fAهH5JF\cUs oχP:eQE|LO_}"҃WnvpEwهӆ̰~F߁4BI& ] 0gʇ #XSN'iD撓#ٶlTͦzGe c[5r[;10sKT4Cs=gbaTmLVrAa% ̻Xn=מ.gdYbUp\8 E2;ܐ{cʲJQ{{y$0܏@bAmq,vc't%D(NMpHy}nu+m4B/2΃S@Tg ,.Zg׽sB]Z^*g<_bHceq:@LBeէ71S3/CP[5IdrUA`>$'`heQ4aJ|'VD,E)+mm'"$F($"?"gwC %> ktmکσMA(2 5AmQmr!~krٯSϺEKu"xo 3/tl1Fb6M{3Gb) b_Dޅ,\UfJ}wzJ~"283c$M?ZoE@TJZ~McJE()^';\( ( WLdqs V/֯zo&J!5̊,#|#3f;e%)p4$FZ ;;Z!|y"#Wgh[o 2i>o^>!.c;nslZ*x@Ys-JWj+7]J%3Y!T;;lW%*7':hQras: "ϲ" ӤNqjpۃ^_F 7#mI]6 ˇgqƏJ] ѧ5Rp3KLHh.TYC23 +4fJ8!WW nw[W)so :uZ !Rw}uwwD~mxC[3 2@tt," <%9̴"ܣTIO,f9w rR1G<.ӬvR*&eҀNrxo3whoj,/K~\O?2@Ṫr_0U>lxԔn -E kGQ@?엛'[1+jGzB $^*13x1NR*T*B^˶yX__]jG&fƍ7S?x)W$/l.B?/o'n͑-{&y¢iPjf1YWRmFZr v*&5~Cm[l[ĶeC;mF!YdA]BCDʉ$4_*n%:Ӕ ITzR,ĠS^$)bnLf@D7y6(Ad?̒.j'̦}Ai {5/oX[ip1ch!+w}Xs;Vu5 1 aW8V$7ʹ 8ϓv|P$z퇉rjep_ $63)Dxڍ짠R@ߏSV'.gagB%\4Gbג~8L?MQK F!t#TP"uZC@rLOQzQP"b| jmeԜF#.ײ|>cKp~E<2"R?C;jO1<4wؙ3airЏ+#3>4id ҙϬlww DnOS.5/[zXf\u{Bl%^@ YcIpLEU:/ fD['D@k*1yl/cUkmi %mFNzM07(`_*tj yq }{t5KuM<0m&&GV%ьÊ?*!} D  ^^VP~)īTF>߸2r"O('ǟ 6Uue]%g ݻ.)6"5pžۆ2/dގ*X+Zq5s#linEQgZRm(sPkphyAeIb~QzV!\dA~-rkKc+l ~Z&&ݠOaĘ[>{x4$^6 QÛjDXs`Iu0.Q-Bfv(ɸ(^f ^o4.7=.OvtrH>c N|eC܆?[߽z;+I6lR,ݶ16%9.qBd3]&IdSI4I]Ϯy)(a)ʭ]h_7zLѸ1&j޸Jo9o$R/ fy&{'c DN(,>L63V |a7.;SXQJ1Pkm2T9/pQ*?tee2&Əy(C&ݎ4}n"+\ʲ] Dę<\4˖$+kP+: XNBeA$TsMyȄjnW&RnS A5IYT!Yci^xsfPOSG)%[Qr>c6ob;[2< &=kglhTsX59cF&Jid} |Õ+ p4abzKQ09ΐ%6tM]b3f#4g...8р 5|#='`Ba}\/@<iorA2M!5F3ك Sߩ$j z[-" cA6ld{ĕ_|2/}ŮSIQN_|*e VLٺf ΐz,Jzy≘PQMbxHvye,6ÓLJb:,=eNPoA$KŶc[BEj1 ju[)y\'jBڭL#.8~={l2{Ԫ\m u"F~KH~э= {R4Ey Ɇ|S1ٮ\oL1-bvOr.X$"gl}JeڑD7#Bym0vBRXvxr^ڙ6Ui9S.aA}Pe/٫#{B+''^˕3>R۲4.l чqî̵F*jJfV;?KȈ|4\'|RKs%ʺD)1"F[({ m4bkȑ; ϯ'?F͌w|*LZr| n>#"gID2RH>nPАp9m]R$D t-tيc2WRfC(R Ô._⯽KPޗ[GEChQwXlH)$.0ĔFw/UɆUn}N d[)4^1Ƚ^9\ K^3dq")O3WmƸ'vAj>}NOJ<QLwCcS{؂\8POTخp *U Tk\ ;mݗODŕ۫E#8DsA pR=šF3 T" Qaf 6=ceaNfk nMGS|sN'  k^ךI܌,yAIn .k"\hN!i?/+cV ]%|Hڐvͭ` b/|Ly: )(wmF6gg)@g**V%.DE0pެ9Eʻxq LƟ4 N?wHo˗(`TU&_yȠHusVT@f'j+&ҭ|<--cWs㢲<E]3P5] nu4SUe~-*v`bQ16Rl8$ D[@* gR *؃|zBCϵX'=6wǠfN eLK:E EiIKԾxOPM{pPv >}Q=raa\~{fnzZ8򝏆*\LӱY?ʮbEP#Mr.!+x5ti^@c1(a}RTNGa<ّ"[|L&!E۹{w^]L[J{KMΆ)cD1,iN#Pާ'EHH9(*W+Fx2gD\f>T|oWW L/SSF;-~`+4%xbO,gD k^fBTHOuԋ9#jDcqa)%A{t39"`YBKF,/e*iV{;!,AA]6*=0,N1qs714gɟa  9~s.PlzCpùQ/ s{Jd޳anB n mɝيLe)wkbC0hG0Ɍ+02\ owb<.o0S?ֶo3wΈ+T-SbIdZQ۪J?@[:,|z#ӂf Qxبxr8lr΅Cuڇa{yhKLjB%~n<"|lHqmDs@VCwBZctbV][_ Ӝ򟋷$\.XCz>1T_$߅Յ^UGfgT9ŧ4XFlʗH`UTu[SH𙦃"kיTp,C//9di׎7t˺Q-q)Y 'Fir5NItlsEFeޢMuߦzMJU:=DϺXU`S I-Em *سE{5o Հjͤom~MGhVP0K,gk@WPnf\s?R#qFI~#L*<߬?͔r!)MZ0QGGTL : 4 ʁkkk7(4Tʓ&4-#IΏbF @`U6C@%GO`'~mU3w2+ t]epIQrvPƴϳ] f {/-~1:Owcd:l K<4Hgs>,a?ls"mM]TF'pp^󑩼3^LH&DC'܌* Wm1PVpm2 ж FR&EX+_&q2Gش ;>Ԟ8CM\sFa Tw@N0e L_y}.ԦX!ET4 {h?q1}Zx5ɦ Tڇ}]0o\WXn:N?9(Gx/!Т J;ZQƗ\Ɔ!(/)nrL!Lt?TbGVx0)WOl' `8!'I|Z(CYoӰ+d71;&7&̗q A ̢ն]ޝce›ҏhv W oNk2H,ta=6 @*Q C 3N;mw۶'C)7ߕSHBVeL9T-lW>NĽ\&?Cė|F=HZWd:,Hp1 6=0B/Vڐ/|,N#}NV{7N( rgDzf9UŊ ! _b.U%a!xW!5ZJeTr;Kc3.(ש3c݁ 4a\`쳾E'&ׂ_H)풎XaAӶ!=%n>hVY<ݿuBkB6lΞ@>s|V3P"hI7{6ǂI Sj \R+ v("pq*#9>:`{4Ͽ ~(g0O1=bmIS]SF'Odde9$2WZSD]Z#h8.;a8 sz+Α?&I p ٢+TUGDZUET|N8H>, ܬ. YX)`cdykLdtB׏4&aMKI|I,;4]ȿ@vIS= JVAЈOPmpv-y.RF;0^9dRPܲ!$aX21XPt ɒ Q["Jʹ jCD棗0wUpu)Ya-ݬ)[Da 7Q!on q6u~Z_r%#wŁoCdye Kv+l<E`%qK/++ԧE~k-ڌ˲pzkb.xE}!irʻaZ|Qd;ӘgoaJ]4 V5a*ܥc{وlS!*eF.i9>+gτW&!F5Wq})ѻG0g0%  =3}(No&5}z VAj p io:ubѷЊ(oyKrV_IWᶖRԉZLD,1PÚӣbONIc~\77ZA:;regC8'kS2v`6`߹;)xxysI5swApuRhď;]JP}[G/`.|ߚb9m^ <ŸQNOoėdunl1:츉0:7ȧڮ T*R)xCh!~+pјdpQ; aƦCJ0'F ݶ_L}$.W83N5sa~({{eo9$ `Q-*A mIJfcQ濅y@ä{d f{b/ OywHҹZ ==e<Ś: g '9*l i/v~ǿ~"^!Ʈ$!gx{'SIJ%"d+Z K˭h`٢dg=N?mCWOcK>5RWBߺJ)Νs,vu-G&Chabٶoڹ#y=Q_cUv։M$K} =\9Q}0Hh74nMUTI%$1'Z"Zi)R|ˏQIy~" s,diKVFC'vxH)ۘ4O \W28(*6q-PLDIñrX MMwKB%)CJ~ fl$i_= OŻbpd&vA[Kkv+w# }JKVTe"}i[:IT奻 T]`q'VWh8. VbCv$O||p[_xnIæ-w;KJUc.w H|9R 5(,fӘ=$P@&Z/g#$*)mi)Ȋtlq8)>fu~*x߶NՀ=Fyfi$qmb8X<% $j+ A ~ hKUHb6jb?~,H0oQ4]簵#=t**q5E[sF^܂&~)|7M f kxA'^dVP U3mi%j&뵎"KP)IUnZ;Q qyi"ex/uJb: X$D =nЖzV FQz;6"ζGYJ&bD,y" x9M"4D`S Nwh3)<:.!.PۑC+bڧϤ* -?&:ߦE[M]|\-U_xOfC"[(Dz4>1;hzS+],h{s]Ԗi/ z*iFST,&Y2ԋw,BKRI(yDb~|Q߼cTTmBk'V6S:f0 fCsA'=Hi|߃?{Ύp\@&Kec &b銒j38_v"dz>l*h ,e FbD=wjh>%XCOgH1s?' $쎏]?@-Mӫد9!MlVO.I |_eQ,Y@ƴ37V3C_^c.ŲGrWӋ]*zk$h5oGuhQ;R[B]W> X gNRԝj#zK!ߔ:ۮH=BG&n&WnC$5+\ѮmwU4PO)H/B0-5)FQ:4`ozR|dHĵ@'B]7[5;P_QȗԜ*2Ɖi`/XԯCZv*lwy3y}%uUF )WcWl3}o^"#~a#/l f'(S=U:[ͽ6L>'`zĢ7n{c /zv1!?SJքFgr2 |%uKQTG %+xfɡSY? _xɄ:JFL`bd̋=dZUnsU2ΰ- }q-y?\Jof{Y `$ ItFaB{ulm_vig4*tZs//lQȂQP㝜m<Σse ee~uJ~?yLwFU[f|E+->xb[2 )t^8- :Ly`id܏RD,)vhe%[+'~bd8t9y5'/^ %;]`b|NE,4M4֮S/ r[{R9(,y_`?x6ۑ+ ŪUU'U NsRneIżv,#^qy5$KG!  Bp-<CRO]W_0Mfȣm5cA:G(BI8 rߡ;CA裼;OrESKK< Ia?MIx]2 A\W]ߞZZZ(i[p\wr&.N^!@N4Y$ otr+A;Aɮv%fQJ#裸_}};̃;2Sq!qlj0fM]|%:`^<묡„0#%c8h0@Pg,D.T% @WE9q9ȊzMxYiUrt{*ymMcE|l* (謝 "9_cq>}< Ʀ1G(U@|ƴN3jRdl,ު=r}v1(H\Hl$u]sV<;)!X}AF ]JrT.(ȳHXK O[iy`i24Y߅;6Ӝ}==[rZ~qTY9Ba*`(2^q^*"#pV%l~p<(Ɋ;E ll_Lid5.`^GkW#,RZ)R,߳;= I0{U_K Tn\R@>*%HD+wOXkWܗ34`q&)%1U(wF(IB10ZHx::@1:)J4Oq{wE0{ުs\! ݷ,Pgؗ4[^~tշ 1"] p#%v끠;v!᜗S( [*{xiUfH{ |_~Hh܂+ uGgC"Yެ0a/ӰzF8+C卆Rāee >"et1._0 葜º-PQ%xԢ"_#Fj*uoJ%ɴqqb4#Ka|} ܟX-ҝ76@gĖ0zNn@$S#rESNXG$QKjt}S@q)R⺬c;">^o",-1j EC)M]#z,Ne\-O\ͣ&E-O3P>U@ux'2jXOymP겍Bc}67fغ|YHM0vG2gTv$;S Ԗ `Y/wĄҋVhJkp?dE !~Q_Ao뫑mh=K!ۛóyS1Rq^?!(5,Tut$1$_lڕ0km|ՙ+?ĂK$8`{s@az,T@-p0W _?W{~wܽv3o9u&B=)=REOWC#f'(#ۜl?kWYY~ ֔2h* AVRީBVGn4WCS(O5jR;#^_tcu9KaCfb۸OQhi-r7 y(Im}Lwձ)n)F_x! @~\VN ;}o:X ^=({-jV6ae{ <(`mo;7%D1 -optZ.q-&4)֘תw>}v%ct e\`4^WTO٨ C[uEjCi'4%fӋ;n/`nE< /H,, l `0dKڬy>#dLuK8])&H~@ b0xx}"a Gjhˡ)I#^x6 kJy1$`Y+"Ņջ0OxyݘfQaH/Zl,%ivoa -̸ˡ<$ֺ݆%$,f{ :{н+]+Pއ 9e8՚aM:PfHڭm`^Ji~MtJ-.VI )R,4 Hodq[肩MܮI2 7x A<@0;kr DRWR[`]h ;+P|`on ka2}$:`nl $k~wlߙvZ* ?XGs\'>jEG+Ya>~..m dA0"L J@V%̋ ^4j}&,)Ҝàeg sJz<^ _ҐkZāy[UZA[e ַ{d6B/2.{Bo%v\wP.fd'dDbyDč3P?`:Mt ٬:ad e|tKl621W_%Ͳ3£"ٔ&w2/fcHKZ868==B;97dQ-$Xzf c ++»|F%9Ht NxbkϜ/<aeyBy疚V+̣;;b)0&.ޡc@k"_XD3i7t^d"0 1 b"?EJ!XQ0fִ\VraB?H0fg O'H-iPKp4<^Zw6Sqr7Acᡴ#uĻ\Mx(aYuHH.IFO/mP*jkWWiكWֻ1*9僓gp=zvNGbt i֔Ռzhd6/x8[ +{ϣ>S"r7Q}2/3 Lq{AhT|Æ!+/W:+8оR f#ɞ7e}bܖ2=N:S=Z&I.݂tL5](o]mʁn=Vh)(HXBPq 0p.Lv_(0٬h'eI/#+ɆO#pw)o\730XaO0 %DoqWT`ُH qb[blD0LQф:ءK[0&rGpaqNǶTɹSMOilLwx!# q-EaTx{XT*r-7Cdfytʅ*j oL,txlmiL1Jhr 1g8vԢ4 ilv].;7eK-5|,)իWԽ)/yQݳ%Ifg=`.,}HVkW: g:2OgK6Q m v?VpkJC@UA 4H;tx;v#&,stQϽ券d',DȟMaܡ5U~oq/}t_r]!N<[I"MTnWk\! ȬS V%fhj;bY;7,M6ŀy~(gR, ]vLynh M7ԂWZbRY{d6AGxibCp~_[&#| 'sm¯L%[8P^bmеU,GDeƄl2g<ǥ~ĸVQ+8vo%0ܺUQ=ثmՙ!lÄ J:oVۢF!6nUN%V(]8Yз=G3BxGSdO[E!QFZ r (49n>TaDK΍pm> mRVƬ ƕ$7oDX%ȉ->t|bp! pXD[|fqޞ(LTՎTR#ѽêxiրU#:.;@ֺ`,@?>T؈ ȷNUs9aM;9FE>C*jf( LYh Ut으{PQ{Qдo}7gX%K~֥$ѓ}* gQf7|@hD!4Yy~~e⨐2D2c GG&N>Tj0Q`W'k!g͒8Rq)]R84HMD~վ ;McްQybʏ6wBCZyw4j/Zӆ(-wvjP@%^oLGj0 Jv! 1|1ٮd}j_j}6`y׹sEbNLTpg|]%nqCԶQ#>d&.#tOp43`$!+Џ1d2"H= YVrW?϶ rU#, nd.`e’JO*]gYZ7zXZִF! _v]ŗXi% 1ws c ~]_Ix]@K#G(2+g5Yo 횗O }6<i;UNk}? ՅGNU 2@dObIP یg:1fX)PH쓮.N3b&Q91R- Hp5Yb1H'3[a"<13%Q-L)Mr"_Fk(60 #+3|=y( 6ܯM/<:DSXMt KS@`#B{ ( 8 W;9ܛ=eg>qJoO0Șl1nnCMم[͖|lʇI_?'=1(mg%+,ԏZR7}Ƴ %b\b88 QELR/)Gܿü8x3-%Į(;U6Z94)SORoǔf==_(V]:5&W%|Xe M,ˣVt*u?"vȆjAQd+Pn̞UܾG()PkT R4;z⦈ tU qY!"R,텾rowTӶ( Y\rꚼUw%f/t/ 3dvuj251T?Q90GhF ܐ'P( g{JcK  k̶ řˍ:a+p -XTļpGu+IW(gBLhc+C]Pކ6Xng=utfr꾘(xQ4 ^h 3s";z|gXkZK$Xfm?b,:[IDG.uW(4MvE HԭP24Q{iu_V8?|pZosyf=N  bSA.h.U m fզxG'`F\s5_\T< ,6[p'T Rl@JmT`ѕ;tW\WTQ ABm,~p'ȉ>"0<nhl&,s%hO`> -++k(赤 `}J6-pp";H' 0{s6C_IT [˰ B IYub$ T\7>uWB2aQ7DK!&oo`ѓ0_ɘU2$K_ %Us:~ Up蚯kȓnÛOJo;jvkˊ_8ŴsO;ʝ#gعwqg`crQӫO?JAp Ңĵb!{Bx`ar(i|">% S/|&_!MT.K;ʋ.j f9Hwo  x-R$&>53$eo8qP0Bu/~=۞TB$ջ_Qz-VB VC?Wv>6Jmln!Wq"EK-0^o1PX0W>.lJzr57څHazJ l+(K]=0\m QCJ=Fx}ZZB>PA C[3Q${ ^pM2:eJ? 6˸a^;SbRM> :z]9-ƽ鵌6AOpTw 7-LIHW?=Z|4d9 >f*AJvH}OpjFc7TIVSh\qHp^;XGo TYy0s8:}HBG!f<J"a7a[s"Emts^Dʟir7񖭘{!F$ AY1; g)[k)fcR5S}Wi H]bns}t".T#"qRZ*ߑs$ &. <9c3JlJv_g,VͮL-{F,@0G`B\w!G$%]j#ti zm$_?$ EIA8o5cCv }nz?ɘ۶_v9>m5f1vWq ' >o-0BY#i0!ͬ_Ezn jǬcW[ok"R|- 2{,v~pGYUeĈ}J^a٧Ŋ9qdB/Q u4Qđ,.b_YۀOSfJ ҉OkZ)eSGCNJ 7%#7[-%t. K0瞝0^_ZwFEgI`rzߒ WB_DqxrW{:Zz^h b %+#bS5G9,Ye`Z^.%$W xnAZp4oCl*TB̯+et* (~jLjfr\+/ PJ %%۝j{Nޛ< et/ZQ`3?B?|hh]`ihcJxf\ˇ>,yD//ԏz5vtW:z Lodt\t!>P3uGy+Pb3;^}jEFJI~b u\FPN2qi:Y]4Hh6% oO8$]23$J{<^֢ YP%JIAv HAI:U]Ƽg2H"܇ DX&&nEC 5kiF2^WAI1\ ̰$+FiE>gëNenwu֏Fi:iL1FEzI#0o -Г?GHEC:_*#iBvvCM,NMVw/5_!d>x8EʡZpT6o'ۍ@8xf0OI+em$ΌQ. &}zk5.vsY4Lsvk, '<쨑™o.ʦ$М51-Cޘk:5 pU+|9p>v-cn 4 6}_E-{\vZƊrHikYk)* fJbEr\ lDdE\byr-A3"&U߳lE\ІzʝG<#û"]H_E|2ZMH~k؃ O+c̛>XV#|b_";I\SEcT5K=".c辔c`01UחQy5XlϒxO)gڛfqZdSf?G,Fm4Ői? ņ|cO NJ (mBNeBq6&{0I0֕V'EJS?bB"T0CZ2oc9\k^@L xռ ^-:dZ:չ=3<]Ԝ;9%IQ넁 c\or8C4f$>Ve5G\5i/h5"nҸuj6%w,)XE:lO+jð: & E HW3@T)X Q@RPܶVeJCG7~Wa@/&[Dy}IoU*^Am+QSĂv^W$|JZ=sBmۡIAO41׼t:RpP`{7OixCZŒ1 ̭>l.v~zEhp qr^<7޷+}"xօ귨Oc Y2݂muzϥ5O*wӽDVWXs\=@~&YEKaϚe#P3tq!;;#1)lӪ#AW V˞JoP =?EmK٪QWPZ!y76.4Q++Ĩ6sPC )*n ݩb^l"XSTeEk~}yc+카-Aa}mxh_gC>֗t7wuIk#Jdhh$7C5iA|* Oe! qVey\ͪ}U :)!AS˜śf4kGgy=Th?g!$x [E=u"7[1[zr Qqc,R'< FȄ'!BdǞYpϤ4T} 0Bx6b̂0$T2 =sȵL#rD"Cp$>:ޛ{BRZCDu u3} q!VkO#k%XH߯+ U9cR S'ʇ]#`y.ls R }/MHEF'Ԃtk@xC8_ d(\7o}xR%Nw4eǨT:^j$~p&EkaekYiQǓ2sĀOopeA!lC8L0< M;A\+ejS*+ȫZh$`>ʹRH4Y[ҁɖClE~ZJ KiD&VT4> gXk_kUwn ږ9 4w(|;  gHumT/-VJa:3B&jC)Mo}hTͥmҙrDv-R3c(=ЛF7y +pD.,͗W#pf*$"Cd۩ 郫b pm .B8 0ĵI# nF)ݙAW(%ۉyYԜfMBU*{b7d }U"1eVDuҋkP7ah&ڷ=i˶!00">2*j&0mgM[V*iO+8X Ҍi@tѷ`h]u5+p; o$RHJ1GZЛbr)sa@H:q5YȕG blǷu;vW^N,FHj2K *T"[a^Y*$Xd6#JqV0cm-@ffo>xR3y$`W~ ;X ɔEr91XQͶɅM>~<G=8;slUx--ĜT.n9 Uv9{݂G0WIWk# Do=S;w_0ǒIO1e8O_PDQ埄apWʑcPd ̡pIM+PrW ՜"J]ک)SacAu5[ s[b`jfѨ'iQlPuNw#$T8j_ׇV.栐3iQ&5 _4}䪅OkxtiKAUi@э=+XLZbT*qg ̲V 4E4@qvf>f`W;EM2|J;ZAAk'{$]/ͯ&G &B\c]IE\_]XPbdeQ!o5 Xׅ6+t"ޟpO"K^]b pXS[qfSpShCqFr5d(P@ 2.65.KѩLZgƭ^+Q:]p1|au zIGFO7yA/|r BRqIkN/[V_7IyZ` xUj`p-}b M`qAP@* crYu%8h3P"qBYЭMj hV7[L+⬷?Ӗ_@ϋ[$\uRt*]WBtتmkk3%.7Fp;Q;zޘ4Hf4&KPfE0%,-6h=Һl>oj 4(_&D u-SsRT~M%OӸ *ڟVU&;5])' BSqs- ݯ2oV=X3}7 AUI;MIMΨs{xVT)6YχѩW*mFvxkrr8&qW~0g+A 9׫[)6-e1QE#R}k[O}W2N B`=y)*'J$\ )B(9"ן!;P^}v2HwQ?P#_]ܼ:mۛgYsZTr]>:E|X+mGSfxvtwlo*-X3I?>e̟_+o6LTO76gm?Y\9o>RH9[E`S=0fܞMTL晱hVeZ-㚨窙Yj&7"HFJ7ء>i2 ڎD 1~8w}6>;I(4\*:m`ʺ4W 5 1#9LʕX/N4_89!@ʂq{oڥy::FVǕPp$rCyzep;di 6 ƿ !"޲q"ɉs } X{aRٜj9q!,ЬׂWD*.dt)-m*7*%}n <"M4ҦM͘ &0TĖUVc'"0QJ>:&ev ` Z-]OӧLIK3xq,hW0)..gcAjsbHg{lf XRWAV =7`[` Ca]xTW?펃Ͱx;;d<@1ۡhɕbKRA?]2?;)O˴9m>zbvδd:meA bvEЊ]w+4 :Am,>*.8P=x^Ld_g,ءr:.:+|2Q#'f=hh rB 3nepQ|xlЛcXÄWSnTnAQ.mƦgo3GۘI|5C~Gwt'Fa肂ѡ%p>Xc* n0/$"mWm [0:r&!o ˂yzQ-mP Ђ:Ywj #0ڌesz(I.$ߍ[7{8$^9 vK#,QA lU!fkOuX둯[eJ"VlS*wWWS 9YV=h&a+aHZEƶl12*k;` @9ѾQWWNhQ5 ?htcՓ~:~PҬ?ͣX"-M0{*ӐpbKՅL98^-2D Aed=gR_إBGzBITƴRn2@:RnMaML0v۔qxrr^Y%.fg}_0e!8[؈"@R8hM.}(#1:Gg}阡ʬ1萉׶0{RMl5P;;Ó9w-`@[pۇ$zxP~mh`yoU _jSYOLش`6mQGJuD S2Bjؘػo8;ބ$ Sʖ)@T]8CE䇥b(7geU l)'a 9.[*.2x _c=8@5EIJ]-a~yRl0IvҦ5_ï_@`sgZc })՗ UhROGVS=^dǘTpͿ7$ܲ ;X~5 lDxjlbl U@;(2Rޏi^HJCDg]H Z]J(MX \n=c4y?gLc8Pg 귽q1DZ*@3a_W^2zd ިpO"k"{a.0pN =D켼ռafFKt P[Vٵ|-\#OzPg9zeSHSzj_fG۳FvNZ>Y3/0*h gdzmٍv++(^t0p1jsT)+ܟeZQx`GnƮr3<= ]K$[JsBsO_vmل. S6Lλ7cZF-!1 ry=P ~hIU*cF s7pqc_Ut9+\*0hDn\i|Uo">h)B;!a!;(ʉwΎ)WX$&Xr9X2qPC%EDɀk(FdkLFaH,]I25kaZ'Y\KnmL8G"Qd█;of<"©(nhj;C.;ꦆ&ni0yJ4mΨu|{焠~b3#mk\8yP '2Vgi{O`Os;]V17uS4 !ɡɥ1њm]ex)4B8kؽn MAUF*}UؘUX 1llw {$O [ύ6UPBɯ3xJZgdOں-rErI(mx][m6uRd_ ~ePJxaD\XJAM)=Ho_u_I}@V$rtv|?䗆 yye;$/Mz^]tR!a *CKoGOы6eR*[]E <'vJ.QRj3q >*Fc7we ^O4oeJnaAwXί{KϮ[7*Bknl5{ 5ˋhbz'0 FdڗR~)=[a|k-աq?sKjf-]!LAmߥdJQH^8j}SQ/yi]i Lm`*ܞ]! ۳Q^,ޡiH̱PnT&mËivn7{/,'ӑdffXW99j`XՑd3ʨY)&v .{kYg W "qo=]8&> %N&We KCW!R1R6S9e Tm*`3YRL*K1mq=>RzdM.Yn{3l/~NI$%:Y}YM\\}5ǻNmWëݾ. oYeO$kdϪZlEUR3:)$P<()eV6hkDžJ.'Gu&{T۷X蜛(j"ā">yŸr>Kv-4sȠ0*SP6,9(o YkejN<2zhߠcnOMoLR pehc]QV𛋫3]Pf2nF?t-.n+$Ǩuw{oS"!=iF6PBf*V#zUW|7u.ҋAƖ7Pl^aH_|7$#D÷6=q}X;^ŅTa׈Nn?J?yU@QYnH>:vT{A l^NbpF0+YyMTSh\&3xrylcu͈#"[+{LErz(ev N^sAV292sFmĬDPTXITo)9F $6sq J )NK Ϧto37+5F/|%vyHyen!cԁ^b+\t\%(=X+iK`zH ؖL&eB,;V 9sLqӵ7l* e+[Fw§ׇr 91B.Q)|ێY_iis &{[Q ^Mƣj%A@n~K8+]j]cseA=Ě~z){x626. c\Z'3YD-"Uv> bR2%{/,WYh̒ـSW"&@Y={Xwk;UܼYi0a lh8dz%d|.&z)Z3@XP"rgYr֢*vL-Ke[J"ʹ :C"ۦ394 pQxL SLjpYQPfDݹ.~R߫v>Dh*?%vJr!1&SE~UڝM1˚O ƇsP&YVW؝>'h #y1uwF[X>&5M. ^p\U+*mqva>av:vkLQJfMT}To.)+_^2*h?]'s6n-rFo`!9aJmۍQE_wzC?~@Rm*f<- 3>v %s,-/Cb4q<2ȧ Ij.]oM`~xEFGbb 0,+mD Rh,MEmOxӰLذ["{,6aDPZ?TjIACr }U;+E0Ȣ2A) [VL2PcM pP&,!BΉWa0]V^_J ή\$0\>jv.,M J'3|~IoJ`΢.(_4_vLKC#T'*)J}]vVޠO u>--GRTDQ8AaZ{•29exå̌ [y_Rꠔ/-.pn>)' $1H⿤h!?#۞3!m:*]-CrN9Kuߢ @%7zL,a y%xP%L9D!fݰ m&\XhZQRţV iƢ-4ӦV^C~HS&XTй3Xԛ#(^D9oK{. ݺWd +=~"jy%Y]<[FP,]4w%Hk|m{ PB:jDG=Pp݅`f\vNGf0Z[L}EUd@(.8gi[bf$RܦYDomSoEb-hhg9UQ3K6@Eȝ* ֑5*x-[ Sؿ Xp: \}o^D81bU 樓2,iv ?r ۚ9[@ |ae!7.JurfID 3ꛝuʖHhU-a?}\P̞k4OͬQE |#]L,/N$ǫvdK1Ö'pRNd /V_E2nl|{Fnˣ Ur#}X '=>1ZȻ'V4dyE]B d;EtE%pԳd|+Τvc㫃ƒ "PlH@.S Gcy]N伄 YI2RXsevRμu0FeKHc1pBcį@ 1V1 &D]WD!I;SJd2Zii!ۂs6d8fv Pcc ƒAs@w.?pٜd϶2%1,"tH5f]A^aJ<d88C2/VݱN7D* 1} ?^z N1\s^kLxp2SJf .;B_C!$M$|Hxrk)n,*(wԓYSWTW8M$t9p$&Lo&Hu fc& y3{$E ZU[4M2uռsIQRj V/!6 "xQRKhK^1<&65P' (PiH[B={yǑko5]ijL#SwrJDhpP7r(.UX@d?,8V!Ib:-H)p6;5(\fHa7Wrӯc>Wo3!)1첮^tm'̱ܕr@5bICbZKrZTzd1hfsnty"s]'!k>zW3tz! )":)a <>m9Fit )*خW e,^kF4yh>UeebTa!KU{7[!,=o\5<;Ϛ%<6@ BńJ xv38 vBٿN;IVHOIںee:$wC1^_ (Zyc7|0q@ެ53q$Gѕ u \ r!ӏFBv١UZsVHl9Ln╵D-_i):[pE! x_;T*ؚ 1 ӧK MUm`sXhj#xye$Z< p.S֮vSOtJоv80BR|W?㤂%%3 ˖Lj{ۍ2Dr⃚Q?rM5IԜڿ T$@{ iQ|4n}ڇRIT)8Wj,mV]sQd-IiN/[y3">T%N)j_9lҿ tg!Ow Ɔ@ nwiVR@sLgcfB9/:Җ x{X2^<)&D9e ׼"w?Ya5WN 3u&|7ڗaeF7{4աC:< mcwf!]G+\;VA P\%3 QUTcy̮gJ: 8H-"1Kdrɗcģ'FXF-M0h|( +EWm<7C}icc0*4[U ܩi^(X [n3ֲ&-aSV[rB͓b`cg׏HX:cNQ_SXO汁5V|Pw"ZuMઋsߍvBXV/RNVY5Fe>% %pGecx{1چ5)ziozM{0W0CiaJ&_%\HyU4{7#K킻#vm&XǢV/]t)zlݙr*^g@pPcO O@>ƽAT#)|}jo4I1y{+:`*V4⡞o4ɀןиؒhէDZ -tWk ;-;wNJ ŗ.%"! qbۇΎoz=.|(ՓVߩNgUs #Lmӂ,3Q.kl[^=J4p}"+!W! #m LA$A&ݹ&V6X-tp?%'G-e+փyz1cӇnHIC/hu:D5Q!:d8qEgc A3423,<Yp7v1x 〈Ѓ*dNz$hW=k Yw7i#QqnH5T y]$=, `.%o [Ћ.w$4҇ۃ >n]|zXZu+Qדjcuk&J Uy}RCWNYE11ۏ!s2azXL q.KisZ(1t6{_ Ne[~+D`]L "Ȫr^bJ7rtѸR`=a87=rAi#(sh=@7`hT-N?Knh;Pѭ`+EԶ& =0#qbBBtf%RR~5_ t,b1.: wdBJt&nS $Af~2oA˸p ݤ,g4C&{ryIOƎKȡ4z%P>cq:f+1-w"R9,;Z_ULdC S;iQg$L|~G t)LHK`Sg0 ):~X:"Pb>Z߸!T;GuXw> ?iD55I:!q hǥ7a4] k F@yT= C)XFtyƚй )Gvp/f+{7 ( q|UGgB%vd~%JJ[lyk>`2NwsY)@&jym܍Kl;!+q},R xm.A<У'zKa di:O8lZ*k~y zϠPCLj6y[/kuR4;"P 1wg[U wW-#*fq]h)&qn D"$ I6 UB 0ueJŶl,ڂ4,$%gXaΆOMGBkzDZ pXE{* Wk4N ZEBs%ˎetrdr-Mh5p 2Zi '\JƱ ,4?:;ؑ[} e+$,Pv5:7'/ > txZG[;BR7Ǝ M\Ɏޣ"†(]yA›fR,>HkyC-"kѐ 륻[X^E\fL~8SԫT"L&hVa+hD!ZUґJqTHtoigxvj\nM-yS@&4v` p}RW}I`1me˓U}-@0ygD I PC@n,|M|3TQ#Q]S!Kz<.l&CT%?p6Վ^BHJi*n#}}vᤩ7FLBQ@Ԏ$J'A[RSxʢ*W`!icG\NܲwbKd\/9D顓p=Bϙw>JU}~_J(Fڲh{G-)Z>ZN\ʫe&%c:VZ;hu̠q^b͌g=93}-ڀ|6̭{{I^s4gmnfk|p+ecڬ"̘_dӫZ H2@׋]$2]-pn Pm ORT,o>ACz)̜^oLt2>_G?Hk5_EK7M߽"5HrFY+B:'VB!HȗLxhovx1#-8E Z =co ^+ rFf=8@ k?&/;1*:8K[vu(f}N`cr<+ ~ U cDJA!0К~JH$&!;`C6?sHVPIT$E=1TM.{ Q!I/yh^8FLPД,Un@,i h/$DxƉg29VY<Y;&8ۮɕ/:w@o'"iQhDOt<&v+?ØjI95!}pٌD@\ޗأ^?,Dq*㵅|Ŝ 79R8QA\YXi1I4otOLU'گ*"_T vWV)BJ`^H)F(BQ3&^\)g#I.E{ds.To6K)W!IN溥;qiJNJU`-Q ({Īgv1Vc]6^ /ōĤ 5vz@=d%7}TiU DFl>ڝ\ */N] C=,CK@6n VY'|XIL[˻WNqefRJ\]?@l0mB}-w?e M Ԑ|\:%g6ܫxs;6^ /"0SA?9skj"ND+uljyv}v ~R܃gWe7 Ttu}{w;шJZFАmf0΢ED6qRm{ ֎$C7wzA0y!7iAc'Io"ɞ7N([Ao'ong7rC>VcCKx*VWkS)[:J,]+&Ds]hծ(l+q{/D*﻾xW7݂L i,"Ĭni/1GQT.wF~Q.;b =\ 0hd7i5/]̈́=oZG$-Q07Lc^~Y AkIoZR9"Ft Ĉ;ה5%i5<[G~@ODxM U:RUa1f@f}i)Aޮ/rp7SG.m'-Tިv{x\j%i3t'2,]&PC2Smsaގwy*/vTWςvգ@g b#xV=6-ܸ)0Ghl6,ؤEl(6U{BWIE a] t٧9(7{n{]q_nEx!X$Өy#Qk@̹<քXd\ȿZ ULjZyԵ*+pL : ?%DN@,\=jfJM-;B-d*q O:1vj>Or yZO#U5l5r81D\0(v[1 UӮZȭ#hw/$7 k޺Q|P @pzl>,dҡ4ap}V4m^tV{B}妑MB_6 0Ka vlۆ+Ja 7 p e0jfss`\G{)=rPIxt;;Xd;To!2仓Vb]%G ށPy?~QXpA b)TiCEǽO!MC0hcH'-^ig <.'S {AaK VW['QIk7OBiTyr2Lٌ,MWN<F(@Ņ}k|zAN C<əw-ʹ{gd+{a bDGS"㶝Y82eWXBѥeS?Ws~2ơ+RjB&<yf7=/{$ɹa c\fh4l#Hk8Cnp.>mEЩk qeѤv!c9- |)؆8+K܏J &ܮdu+4"DQV\_8O{ _+Ab'o:oPHnhj߷zevbݝDChT\ZoWpc76Dt?vw@Z9%C$Ja.|tkJ(>A#qQKJF]P#lv.!% [@I&=}sbt`{Kmkg+DcׄbE]ҢˑM.NE/=.Ok(|:4W~#rtu:E7襅S'ج+szZ;}ȏwryf.s7 4VsR7KJk2(.\< 7Bx-As<I?JAPMZ#aocj*B.܃ޒor})R/ӕ!QxQ 4^:<Jsv4B5y]ʼwtͧjT:݉j)&>m]6Nr̿ 쬞1R31RDPB,νljI]KEH*rDt$"d#^bBXLtHuBT/1`xocGQ;&"_!wh7<EV^\WENXԥT-D ?bs|=ļw!'i02, 'BΓ1 yݍ[Q*o:` nFلon_KSM?0f38BzIѵ"DU)"cO ި&/E!%d~jqUȤ/_ö֖cᖿ螟 Eux6([%!}E*m3^xR#r:U]rd#!xLUH!/=sH9`ʄz&xS &fp ˯ˎhy8Ͽ{dMX 2U&І7cؘt(3P߱ S_/h؃Dƈ8~PB&hEAIN? ZD p$ ꗖ Agr՟~ZN :3ụCZCa1NVyy%P(C{SڄecT xT͂9wZ5Kw.i|եجr$Էd Ucv kDF'ln;56\