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  ,%Tl4 ]/]HOL-Analysis:threads=6elapsed=308.546cpu=1465.696gc=66.248factor=4.757zXZִF! ZK#]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB 'o-3.=&E˹6…L#ArqW\u܀_P~¹v\n`')g zLj >f2%7X{>eU!X+Jz{ 1!>PYHm^{I1u飝 >oEJYU)zܔ&&}u _Z0&ʰZpfzOP[3ě.=#x3ΒRF( s Zp&(Fw; d{RSi.RHϾ#RYUY$is!uX~46-I5[sڸ̓zR`qaNhyRl~8OVԄXC'hMܣ n>óЂOoۣm&](~+1|7Nw NqJ賙"ɝjv_Sy4,,C1{rJ>%t;c]p < KH޳ڜ/h?Ky~Wݦ9PHCbUcv O0Aq; ݥհowHqI$$-&(Fv` {b (16}"V{RUPx#&Uǥ- % HOL-Analysis  . ]: }V}[^/Mz5:N YpQ&[jKf,Ԝq׆0ʂ?2e_0DGA`ޫ ?&EVLO|;Uyu"' 4 oLnc?$0%/H!ıq>-~4.snynm"qG`t#M:}eB=״I2k "‘]gdCސwTDr>5! g7=j65O#`ݨfYFjtr.[J>m1ur*N 6~0{S(O؝ gw8cYR܃Ď/] >q7Ҧh+NRe9q؜v3Mۖiı6g@kW$ଧl7խ̠Fmm |{ʥڕѿnx`qDB(_0S٪;2ad-]i8gC6GM2SDc1T<ׁH:E }TS}y7_1qGNCE|K3']ۇGz]U[-NɴP F_uU4. dB9&?7M5ä5q<ʕ=ΎM$RxケmoS%3.4_@g'T -c5CbqH3ҁ혖`2\)lPlwA1U/Q.(=p Zs[s ROnyTgnMk-[A g/Qn`) !x pcU}l##Xbg9!d^_Fr,]־> ESkr{-k 2Wʼn4UHw>x9Dּ /{~ҙ,|(~bo {KQ:D+aAJ$iKb!V| sh\3FoN4:nYj[n%[|>۳ T톕S>hiU#\0/0g/q1ukYHJϲxQ'ŤfRAE8P^Tseh#/,($Ϻꮽ5QƸZD3>.zܠ_5ovB*nlegNM7>VqN[X(xsMfʟ9)H~~n kx4%ʗ ]*|ج!1j3!4LF`r:TȺK덅PgF\%OB~ƵB1ꙉipԾ,R;C!X8_uVacfSU9ᚤ7l[UD6ϜsN=# h2rr9̹\2wl :'{8 aHmfVd5FCΠ]c~b<]Xkm"Rߟhh qlsW-?!r43t IZ,dU3et#X! 4lg>U=7N( +2}R(|S' Z$Ƒ 4*fjjϱ;F[M`EZReIUe<.ھw/c[K0Vjt. P 8Zڝw{1v>CckԺt[]oV⑊}`(V- 'NHt̓>(fSvj[ʈ)`b)oS0$Ў FiY5#ûVTiG#.G*;^RG}iA{?qU5~sfVn%ҮLY]w3P%Nfv įg2E/-Q`|uL4L=G!{k)@/+U:wL^ cU- C>2i Q%eic2;$2i-pW1W:>7&1:O@G=&{rycS!07%+Bz*cxeSRG- OJ1F\[e^:݌* PY}.Θx22y ͆1rc}З>;yN pѤpV eyc#^eֲwB6i teDaOJTQO9EbE|oýO=.p{1{m3ؖ/CTէ*5Mcgr:O(+{+UZ/d9ߡ.>`XZ3Ti\/ T}_ıXG߃+BqjRc(ͅ{P 4x@~ugZo_O|b9c42%+ z̭dJ #:ﭐp@:nx~P;_5dU\\ST߉n&"6qJe+#(Bp'J_B!I| \dmC^f7 KF @rdY ͯb1mY0bԠ\Lվ`yeiէV1p2Z.6LB#Jpt0r (^;&M_npɡ9'KsfzA%״v ,޸Cb09]Y{l$ٽc|EYaxm}YD(x 8Reݧ=M9johB t.S˺ƒ#^ mIR\Nk]]cQvJW$dԖY@#rX8Iei O:,hb{ wút>x$}mY$ՊX6yE"R$)'KT(ǰgے0NU8o<.LQdb*ٝ݅KfsrN1/$-򗕈C&[)SVU,[lj)P@o&bG礟[[a]AI%KH@Ub$jrb[_K^-ĪW4GƩ?^.ȸXm{#]16 S:Uq"Yc}D{!Aſ`Fd]Xӄ'4;wߕMTrEeK4nzEQy]~MWAg**B7&?4S B8MHrX@+3IVG/ 3f_F?a cb jnk*UKV=eͭf ˾-0zz',ѠM8g$Wp PfiBs,fW'p[ɭ}cJCx ,2rycQkzHTzZWPRS0^4-ȶ.R6vT\G9Qw$޿DEg/sz/1Kmud?xW743wǥZ' l09% .ّ2=% ]q\}y{- j&e(,/e Xrwi]1NɈnѸgEms6 "aB1$Ǒ2xHJ1խ~͜;hS+m>S<&sAU(: ͸VZ'{[ s_MC:oɰ?D%Q4E/ϒiJ`L:.rY8+ӎaWm:-&?٣ Mzŀ6q,]D)4+VT "yrLvHF{NTSth'#!@;y @mj|)t)Ƙ<^.v.0YI%lщ&=8"[ٞl&4 eɀgFPTTꗧr^Jfs֓A?|,!Ț l uKy\dF&,8kzoJN3Ѧ`)i}Uv"II e[ȀZf; ۣ]ȖP賽;Ú3c2ԖW}I, c:0hYā<{Wo>aioBje 94A2ZAW;-](]3e9-8ɠGS& iEFT<2VWM(= W28"gQTn.Z(],py e@>?ǒg >vt4B_CD'&^|`*Zp a{aX%g.+&{}X<q/z5JZ(3+G@ _yaGMJ* sQhЬEd Qir )h'C\ँg| 8!0c-km Sd'(Ѷ~z$w{ C{~|:;bX.&2cߥBӕV\K{: B-ۄX5 s9SCq4հ8z'VH?+hE.SOfU&$fie$ Rcx' %TP!\ . i%lW?-Bo 'B7i7[ݗxVAs^ LIݑFO_~یW?ݕ=&snt7#5q(~Bl!{{ IpA!?{maMDӸ[=\)3O5x?{ l?i8A?ag*CLcГ0W1 #]HFSƓlƌW(O?H3Ý/ʡQ{ım:*@B3> V{#&vVHlsEf}X%'u\~Q/{guw I~IȈn FS )-g8vgmzE͑ѨqJ:##ɒ 'GzIˠـ&gJN+I+ _r XIt}a?l(GWIknMki\/Tփ9e_ qR+-FC&^ f_>-𩞻w0j:)fm!. J{1HS T U3Ӊ}g0*J|P}T;K?5/UŠ;FkBP<@i&?qe C,vc'bܧ#Κ'k2CkRfPZ:E<>SA;zyD;.0jJ= Tge3&~G)maqMX{B"Wx,YYͨ' xJ_݉ԅd:ߟw}%i+(eqVM0S][TVct喌v ixmDT^^-b{aFVp_7aT^FX9** sZV,f\"!Î C GLxȷ4JƳ-5z") [[ج.k%_xh\l_ lϿsOgηKbxpuq c@K/\ S!g _/ ?VL Bs@;m{~c 9.*ԯj 1yFIl2>ys=#8KP͢ܟ+8X,WE.E aQ{G꜔2ۼv;- ߓg'=] q3MY J6d ChkĆ[m*HۨV/°_+H6"y}H1'tsS<n9_4 /oiWCSYċI@l,ÚL Vv_(rK5ɟSBHgr55{]I$\[9ACxƍz0eaN |íw~Aj&8RjA]ԠjB$L<,SC\ <|-Tb[J`8ݽTho%01cʞ/H4H<*mO唅1o.׳h=+U:>l<*Cza}Ieviq-+7F E,T @fך 2n,abO$͍k]4rO2ISY ^{y~ N=맪~E&p#-&&v2Zs; H#AwU Ѭ؝ҟl|]kwxq a; 96Ry6*ʱ6-=9mɨfJ6L.5Γcd@ L{Yv dy<戔:daM ܢ\&wv2wLM"/^m#+wgJ-5)҉>?pBW3(V̋ZQd[7:ޱ#S +c8nm[)]t(j~B4H: Pdqِ"Kb(h}Moh+AL%TJH<#D&:&IPBy5ZEk3>O}O:%aU^ Y8M[AF;wYz[ )@ƭ՞.,96O2ZY!>Dqx`(NHk;(|?s@2 ̕'o j74 (VM\5B7k`6<3&B3rۀ?L:c v8ZKL .t@FT-Ԑ3+6E"dD=ƫ6՝`J"l.[hA ;^1ИqeeeRiL$8 :1gmݥ#ILqZ;+F[ԂF3{"2tiOr`7CB5̙8tH1cU"NJI^8,~=rA+'ðvlp GhRr9-xЪ;FZZq _>6VȘ( /Hg}/j &Hjo7Hф9N6 UB<+x]tfM͖~ 쭭USʺ0u&>d48t*JJz5ı3c?Yƽ#"! ˩˕5"`R`j)L '1KK2wt`Hl`8%}s!z2%7k@Vy**Ŭ:WYyvcVK{HvMӠp.-瘺qRSz PEžd(C>v_|b,E$T5<$'sN o2]FCD\tT}rȑlDV9@KK01AYؒ~q9?I{oGrKzU9tbUA١MBxVaD7 yG󤧎/4|O&*!z H^8X{}=]b_9@;ot>S~ ŝPK5~)u-rZ+ KT˹jN8q>Iq0@sN s}`j6vwpHH@W]c.p1j?$ .E[ XI(el F[&h V,pE;o/Ē?"EXC+Eũ7]d#!^ os-0J`'TzH[,IU$Oʈh$iێ;."yʫUһ&xB ?)7kHE "ޗ3 inF @! WBxȊӒ<ʱMtBoG7PiX2=O.r͑M%o#1r׍,oʑxR߆TTY'!rG} |"u }@P#)}AzM>p+a4t,I/dnDPVBtL4]|2%mFZ&'P|[.Ib 9B[e$ QK*h le~dPc]em%Xՠ&i|5/ "fE޳|qk՟\_s|F+ݯkpq}:o._T_ZHpGR}BK@e~Qs! `m ҪṞi'j[lzIp$MjLEm|_?\-e+;Č *4:ݪ]v{1?~u$dYr)y83A&M/+KJ)M14t3,6s2yۭFN?5CG21[7On= Ad3^i1 f2MTL? 6 f7}kbt'mL O0 HDpȉ BHi (^_n@y /Xejt mA&0"0\bf$gu߉Qc{ #t)DLgZ)%b=IOBwlrhInF~oДϨYiC׬ Q F[w9Hxk5Gᅂi{6Y(,ϕ8k?q}P%zYkf[w.FD^|Pd{@:Lg H,[z@5La$w>*(yky!\8]>y oTϽZD e#C6 "@&(te4bK7*F!cA`"NO╽t[gьsk_{@WRDdnVy*v-. ]OK doJ`?an Nà~g'=Q}ۼ{G,!áMƤ])*쨟B[~MwCfO9m'2v y& ?SsE/;* v­: +ܺџ6:iu\kd?Mq s D ܬ!Fk$}äS4:8u4$W'\srY8:K3rteɕ6AWkD786_:::ֺy 9 a$w+n(ጛ%^@EG@<")9DDqs;YO5&jf{+B3ud5HKH>KqsolP!](&.cMl5ʾoA*5G2 =z3L-WFo4tcZ֫o ]z.{&*p+R1? z:0/{BhDL .,dI ,-aL"˰I25'cc@Bs9 'd4B^221ʡzQ/o juuD1bԆ/hc+ؘ[}^aII:_dq$y>:wHDQ'1ڝN#eie!1 :˺2:Kםq/t,%Ve5w:jeC/Ai_3;= 5C驆#~ٟbP<)uiq_kI{"qco?̌`xd{mtoe~89ROw@(Q^eIh!]RFsaZ@Hէhu OK}EҌZa6WB*Rŕ 4vbCf=;F4>/Óa@$n6= q&e={\qc t~o~7/{A7=JE ĤK&d=MBh.nB0>(aNfnNsRf+RG/1iVܐr&@V/d3ZqBηM.iuXND=zϘG@ ct$0l]ˎSCo-^꛸}uOSy~Lpu|0sC!eYʇjwv09T=0~RZTJXyWVh iD 8xy%|dH$˪;_G{X}v#AUbSB#U6Ì9L`(l܅ ۢ䵼j ZӠ-Wz |3hl0L\uKbbj^.OX;0}O^"_p>Ľ36,~5d P/?H`)\x7za>7;`󾫙+G̋1rn(c/)vw#M=͵bƄ j0ח Kkab#ƑqƺצJWvz,Atl=Šg2*CW pVA\B@%U{8[j =%53Ty_={AxCQfh4:9!pŇ{(O OZy+Fo=O<dkD5VOq*l?T:=mMNyf9r}oSwdQ ¦ʙT/y|Z ̏66Vag(ǜڡ)*h|E+Ǫ[7j =Ӊ0_sY%[yi&upM">K=y>=rK&촱zJQ!H1ۄ0J?[7,z`Y 8PmxU8zɅ{R2)ZMOil:gP#/7 ,Yz?/4M],Ò:z>9!\1hQʕS-u~U[~v-U%R.&BVC] 6w||};yy8SǠqyTYxWr^_:SPveM 4*.3@ۤ kGN(e[i9FYڹlQ؏> dN ߌZ!J|=瑃SYj4%EX* ktkR*"akGП=m %g?vr`s,ÿ!u|U9, $T$?2Em. 7pQ*`SF$$j8neSYuR]m"RFݩp*Sh{f&6vؗHEYBa$D0u"T[P˖6A*&$D+H9]^~xE ]OL;\]_P~EV±uh 7y-[7ćvOk3>jp]q_\B @j Ȟ6"܍poi̴=czla7H+4 $ ^Y"CR:3䣚4S'0Y2=e[EdHk2AH9~ xum [lDS^?2%ЧՕ/ v褒Ծ*%ҧ=ejB?G7^cl ]P2 ѝoLg TmP. 5E^S !!}m/Azq0ۑ|vW}~&Rxq(?".Q_Qm!`=, ; =jKyB¤gk]!!1ZWo!2evŒ ->g`}vs{ͼ@qI#rp5oʅ)^Vx~[Ŗ|` gpuF'iϚ ASzJ5IuuGj@'.2ȫ$'@{GNP.+h_1QXHuOH 8 驲ZVi`3O4xy)ڵ.}ޔn*3YW~>='Ɯ^ˮ<$5eOHeU<mR{~H'm&wio~/ >; zļ'txFLqhV ʫKiTûk½;&mPO~/;mn3imd6VJqg_bŚ~Rf11 UJkp=VӁW a:.Gtn,-4qr`" -#pI^n/'~aRf~()YLE{%"o+ z"{1 􀋽!&q%l#z-'s\KA{ZF<͓Ll@.-EA9{.dXZ@};)飢'\%-74LE ͗)/Ev$rakj <<س4[` rj(UZM~%SW6=}wD=8{5sQ+jcEJC%D/J Ej=rLך1ʴ!H,4z֖] '"8YTCE-H]5fRxN6Eo^gqk |Bչ8!4`Eo3Oq{ SP"e+ ^ Ig'|֑ q*4F7K%Xw3WD{2h kr,B.هC9*l%Uc Jc!t6 h(gjº!uyHN ކЁOHgI?{nOZ/`L2ﴽ܂OFnNbݳ,ajo ?l>>p7HhI~n\O#<u5=AЅ'tHvwӆv$1A:wvCщKv[ W|2^|6ONuď5) :e$#p.5E=6 ǦY5g[+k=]׹”A*]xA,1_"M\ܡE>(S6۔H;M]gCJ8FMzrqk<0ʻg<xԃzZNi땖R՝k fQzh&KVp4̶#6x^AP"F$,lX%QO7WS Ѷ)XtgʷST,/):L͉Yo˕q +{.{ÖEb]7aIT BUJN_ P&0+ާcu/g &8ܸN47[fA1f + Gܧ\KΔOd)W^:]f(uJƀ+IGң*: x) kai;*|F1 TJQwH/h< ,3.2Ṇ`x%Dz%o]-~ה (Bn|OUȏ|gsG!ޜqC 0^ZfR&B5r- ]KƩ86CXhYт Dq~РFw`q>]?5ɟ`Io:| ,GoMRX:[IzԳ{A+U߾/V4orx2>@\LC9WCS3-MX,' sXZy3@ ڲ2JN^*7 FWa(V Jz'sCK/.FL^W/W{IHWPxpK mǀVm9`/)>Րeo76E5挭lokBZ$N=[dOdXEAA:r9DN?{͍Bae"$iAuG4Պ|qb,ЧIdBie'"_-y*=g>Nt9H [N8O^/2eуX/U{>MҾi&*5yiw|PO ԪId)n(Mm>c)PhOt)0/ԞO^pL}p/o~Yn'44J$:(P5z/`6zܘ}$G9ܴ1O%{ n1!e:7d Y& d z'ԂsqL*Ll ^w]72^0ըVjD Ku(u\8{7 O/a9p[iT]<\kZ'iEL2̛o]'xB$N3 v°o՚S=% Rwj\ rOWrfm6o)~{2_TtO'@%㬨˧=;3*&64|; o{ST *[#uU]M/[oPH>qk' ͈Hy|Hzpzm*k Ne8L4(qd̋/1ѹya Y~;l2+>;fSs,(9Rh"qM+I;)a,Xs"v,8ڤخTS[,XPZ4潪efHQ>%nroQE:+t+)n{\{,?n4],Ak[2;`)6gwЬi4MV/<2s 9pk99* X|krw_Fmg/&3!\>.Gi SG ͮ{ṀxE/|W#:bZ2t#@FR +$"V\ ɟWUrz?#1fsm)~ 8M0 a(F9d$aZ,[ձ#[E9bA5J6q l؀TUA"m_+Q3]{AT$'nBx8*r$TTnPaH7#uϗyuDD^$ 2NYn!Ce%$]{nPnp:vb.^CVF&u.!%Rd{CZ[H6D:L.Z<Ǝݙ"sw{؃`hL8 Qyhr( CEjk鈻bork2]_KPxw~ZExx}e } fy'%Z$kh0$PG&$v G)܅S R,FP^C'nYGϟɱwka  1kء r*3GɄ;$)=s9˜ F.w.H~FWW0 |fvNb7~&Qa#Y<Ҥ!1 1:~DD gYZ7zXZִF! ^]ŗXi%>`CmƔx>@mPƇt^4\LlY0b%5` )|D'7>(Hbg3k͞_Y#PB?͚K 8cJ![a5 -HbD1IWʆ>׳&W=$j0CV Y*.{]bMZϸ~}ݯUڥMk62QW,y&m GA"YZr/SMKwV7S9Z*H3u/(XqDžytu@mH30DCoEDG&;+ nnm96E6G# iÉ\9aF]lk DZgƘ*(?ϿbVHl-뀠0/1m8ΨoxַLSHJע h}b6=pxC&b0+'D&M&bLP 6Je87ve5Yrcߙ^HV.!O͎.e`1e-Ǎқ/o1qC|ndzzΆ\%(9|^7}ۗ:p:_5-)8y͠`YQ2 7մۯ(:qC 6yq%jp|.s)`vS5D2So/slb,x+ٹG!}-M=;Bu-ǫB.o rx,#A7CPYm5ɹ!*KLW[v;#'{36cm^Pj|b&z:;@q*.H!1Z:tk*'a9LD.jCYm׵Q4GDrz4eUмN >1+ DUipksUVdܝTZ{ :ZΥɨာLx )BDOQklۏlW{bIR )܅én\itg]}}]{ .I3axܗg2~PNpȬc#}&䵻_d mdyH!H|!ȡ8(k.G%3y:7E$tL.5Vრx-y[( sFgȒ# ],tŐ JC}RCao]A 7=@@>bJ_UDL_5)dbi%#Gw׏-쿴x1<-6%1Q÷(N0)$$YFOH&C RuݬwQp^6 A>n^s D+@eA6fFw6Ki#~eމYtFb;8>(`w'v"BUGMͅ4ff?iO;'I.q0C&]9 mژ[>cȆ]h~x[$*[- 7h6 .*炼fMՓW+iI4"v.SJ-=B8D3 G3Z?z?Gda_<\`:~:e&A_uJV8}}Иü"%.]}TO"ݦ+%2ɐw+՞+1#f)3Jٯ_o %ʹVj7_0L<鶒k x 1V:}~V|>0gzl0<0b=X+//@з}@dS+BK*@8 89N8FCL'fHrQjwaJ1D=}74e#BR*LIeM 4FɂSnw"]qf>P~׀9)TR7Y^Ҋ ,52Mqȇ|<4Ak(NuvPԊvyu߅Z Byd?^HK2/5l_]Ae EaUEȑb>I*_y]ny!$JLO0|,i\RʌhA>3 :[-RN΀05&݇6/޹m u+GIP|፬!u!`k !%UmܺiL*Upgb ?LB/bę{wޝ^ &I$` (wC&K]Xc6Fkz0 Z|$#1O,PЊ߾jad~jTXE,ZGep:;^hAp%Ypfr>I#2Fןpd?Ij5aؑ I>eЉdqXoHJ2[hxpUϛZi9>omXnﶋӈ#  ݸGXy>!f{ O9}K;Z˞66݌j+@H;=e1YA9,ӧQp@MQyW5P=Q'W=V[7i ;Z %jBc$ |3D0*JT(Tcsca>>6G٥su&Lx ƤʹDptCЊpk6;w[;IT,F ޓ_MnŹ|JK@3Ch,ۻ Uqu~mY>i]U+~bŋ0,YЫJrDmL8N/!h+W|g h =(NI  1HUUi3ʧ=omsW8aP;#ߕ6\㘕b7g%fnKKa D() ]zUnTAMSxD&})0N`U]$vHW'13D骱Gɝ"ì3  8ȈHoL41ͦ۽(ŵs#vRp6RS(qOm?5Z<#?")oh[$/gvGS{=w(^(#y_g*FopvkCd{Հt 9X Y9У1SfP2*#5Omr8 nrPq6v䐀Z 8*58ا]6F,%V l>[b|i)rAh"{BBEd&͈v\*;O7;ȓ7 B~S(Ğ,[`fL)rccd"F]TܿOmy S;sN"Թ腪,; G /Ѹч!ؚ`v6PzSJ饑[+)aѕײDW6?k=.Z/2(;$H6iV3 YX&v+48 oE\'M# ܿ5Ydo֤DT>_$I,, /xlۚ5gQ ,ECI='[=+a\"oźw\AZ%!:V6\0- 3;ՐWR;!zC+mƷgA qªt$dyp\1F Τ b 7K#}>woR.f؎=!|PB P D r@GC>y N[H%@bҸoYKcԵUgy[BU,Vs@lTn+ 2ڜ$C- Js%)bSMkP j!ّN(퓎·G?D !a21{"CxOt1lu7ӯgq+hpXI80rG@// }`O=;`%ђײ\: H<*v e4)f*r)_%!/#JFyQ WUeewFA-e8 I=GYnFdocxep#]^\ܦQ~\#1מ@cK,RLC,tMs"_:6o7 kpBAgd#[(r[Ɛ4;LsUy0e5ՁU}i3KA#ӈt WzWb19 D`/1د.V -"T#v4Ky 1mz'CF. bZPZ,9m Q{1|#ƝϬ@AR;}hj9si'^XܐN_cyN"Y*Go``e@w\nf)@pX1Q 1'fҸZkO_csd](毂536bEOc'2v^-I2 [ԢuLKصpAЇy,Lσ2ΕsOv00MV 諄WS!52ɧ]G} P$a&c5^:e7+b!/\6D[Yф;G,6CMT*6Oc#zg(,X-@~̯%vJ&&Xc|B]l/v{ Ӳ:#z% wLK7٬d|qw@Lp(PTS-N:cXlٝ?.7CZ YFk0ɇ I>/U*neHP@<όx龂ؿ_/oW,hH3]VnMq u4 ؍-J+= 4h V1LSgڴ*7l=D4J3\m70ڭ6_b, 0t/ΐ!Vc{DͦIS|:+s@.Rc och妷<nǫШ:L6=NHh!~CIh~!]F|Ng@YGd'Sܚ)SnmZjZs]޶cG~(͉sAki־64.;kOuľdýmoixY i94Rꨴ]r[40R3y pX1EVs0(>ʻlYj⊘x*YJKGYAh&.0}* ;=ؽS2ί /U~R-(m2UHT}!x %&roɹFbےE87Cl1]+EY3}݈B!Sǝzc0@w*f?zRҿ.XZ2-uuZB1=RBk3&]}L_M8x$'}BuS2"g#s_l4%S}q=ԃsG߰Q){shw !&!`UɓۯYx0:ך6(7Jp'vB3vU.UyV gC9#}$~"DOH4-/Q' 3ktʗ% c x>G._i~^$W:,Y AYņ՚}~Ы/V:b~2W[!3C<Go,~ue= Rzm]1\mbY{T.v!tO o@LO y]ԯ|gl閿{~t'DO4#q>5s#AâJ98!0w}*ZЀܹPJp 1[YdIH]q( Kcq.pïLH7.6|D}$%חDßyPY|f6Kau`8FJyY(^ڧ/ #^\KWF=Ҫ#V<{4g<2`E* 9:ѥ*މ[PO]Ɍ6rDl徹GH)JbCFi^PDŽ0K8 Ma79+~{j ҡpH>al@riOe7Ӧ?Y`*I7T ϖ\sމcBy꧊՛øɫ~eT1fj\7@aH$Г3൉"ar f bi}zB1jEsElK02B$˙eዏCJg)ӏ&RP|7(16G.,; QƱ.&_.S*hQ_0rC)ܚ] QlʅH&۞?9hA5QRW@:TGXd~cmZw%Ȩm}_q¢Q/vQuBSWs>iƜHBs;i3}Fz* d9F%0UZG+^vdzcrn/arynWyD%`kEza&Uzeiã2vSb20Mz4lEAIeOڶ^nbB=J ^ X݃W'W߃H(#-ƫ 6v(8RdL+ȭ(/C$t4&^ȣÏ оH;r8 ֬h5GSۏAVhbqG RIltH#%w\U \DpJ0 N(y[^T,,iH/zր[.:wzgD'{Ĥrc2RXb;ݙZ,:9.Fj!=n wfl-dӤߐǶ6I Smu o}Kjjq$ǧ|R7(GRV^f!P?|‹) N ެ;y<BCB7m*q9)=q嵞ApO }SrҞ^m^wJ8ag %9ЧFVĺH 㑜2˒ȗ(!m؞'9 ^J' yȆޠ9ޓ?0ttҳgf-]`[2 k0S{: "|dk ,#,9$0uM˜f{.H#KQ gkmM8=S"!r~-š;yfd"iLP"ղ8NBb%յ)Qȶ—, %!+xV^:QzZ8B qIm U4Wt2|Շ՞[崭~7E7'Zi`%W0Y^w3t+ffs Xlڦs#~D4Sⴎ~Rz쏪gB="c )4V0Ș9Yh7wHqm"Ps ZALi~_GY蛎0,H^Wٴ Q ]ٚ`p!TRVZqSvC8LxGLn֗=#jX#3:)Q~*1Ӧb~AK:?{DJ&̃T˗pb0p9X:%YŸ1@e[XYc^ jS#IptbiMŠl->KPpC0*jy-F\QoT[iڜ"' _AC|C?F k ֽV 0D$_'ml$ACVa}ҽvWsʤ1 &L9:NkzHo/[ _fXc"u-R$6mA>)Q%V&{l_٩=Z&* Үp-"Sv*7?gBUĮʍzˣ %%(ٌ|braU{ +Y/|;/AzQBiOqKv jNAyH sdk.3ia*y#!}# _WNXW{EE7ϑ.IiS#)fg%gu^`$D# lvѳ~F<Ȟ:X<TºgR*TJPW@bO &u߷W|qh8g)w!V:|8eMEFuS(DŽw Ԣܙ"(h dV6!%AjvS=_ Iζ !Sa@6 /8r,0_ѲlS9}{vpo $ R3n1TEc\;CT;ʈx:B~IQ( m.I|gedhy΅4} '?1$'YC]G v.JK 1/5=WFWxe zhD [zzM' [2cHCB %?: :MJJbƿ<7X=l[z0s!)(5c%QDٍ?]V LveklcXXj.ND"j:o\e8k(:> OƦsnjҎ9٢_p*D>!v2@Z2)Aމ`{íJH*PxzL[>LC4/`oo-hw(Xq-^!a18/oɮ= Í<JI\/EҝZϱP-I$J~eDjuK*8oQ/8.w#ϴEډIhga3y#g{ݯ?9;DЩ%gl8ݫp{jU9k֎`x!~J+5pZgTng3؎Ě4\`Fpز8݇fC&6x$iz*.y7s^2*bԐTcFSϨSs _/-OW=5{S-69Ӵ.Vi)pBÀmMJXIzTd$UAuќD q3=gt <|{ 4Tgiq=}z !~G?ӯoW7d]OD:k|Ê Q}<-M.: )}{rIdIvJs !_˷cEZ^4!;e/<!; 8  NIKTQTLe)Y5rCiXCh5=Zo?<y7 -.=6x9xS Rߎ.㶞,0ÄХn~;iI9IH;VW0hj1,Nc/\ Hԭb{ⳉŀE _Ө. )sR+p2  hj``a$r(8->NQ\1ys$˚)4L; v?QSW\&gv<ĺEIVf8 uy@+eA-W֜J[Mo.MNmE#&`hyۦ8vL<ӆHFHЌn Ғ[+eMzL܆AlI"vT oeCkYnI]7);jZ)/9R@MCۤ&x8sHd.K m^~ )QF)8iR 0CrId/0Z;UikیW|#NڪksGVg U&zMܣվ$ +9;t#0Nc>]؛5NAue>g-&Бx~cNUK,<&|."zƊ,̿U޶"_V6z1pfUZRKvyohJ:4n.4{7W"qkw9T}u;?nuyn 9Vz~.o$y%}*S:3߶3Q׈b؝[ZAIՌV"kBz8,BqJ#= u{3 @yco91!7H.g nkUXb D5M+\ț9h;vJD3Gժ4o<ΰ9!D R)Wi\fqC &۴K~FFG,s+馈 iBh#^Ų[,"dܥ3s8eL2elJ#wĦHb@0iZ'ۼ@:Xx\<7w'FSo+)Lɡu8lBy_2Ϝ6مߪA}N^tw]>0~ \/rM0Dtu?;d5ܰPyD8Q q0 ?XD!oH1q(ڄSq>*QA2;kpB|6[eW&jPC '5*<& V| 2ヰϝ |VDC?wWg Vuaėһ5OaȐzY}sJZ,f֤b i7ib"JEOʶ _kL|G;&z<"^?RuIjo"_fm;0 4%ɩ>w p׻N^œ/!WE@`.IԮܒ:g>ۓ2bA"&EK5|[VIZ?yeo,\Y dg\-oau~rllawPEJiKt`W`9gdIUԚٔո3&\rRN$yѧߍ@Vjvs`1JOJ0n_ ݒg߆ to&^?V1V6^'qPogL٤2V^N|us(t-(V&RɺOIUS5PB}h .b0ؿѭOAPѭpfg{KyuPɬhN4}()9L,2Yi:W/5"2ުEΩ&&69# rƉ'Ti12_slPZ&hY1u,Nk%ĦKwa˔W躾!_'o_!?R>&"$ա R=gzFOT]ʌ;E>6,nW7M6@4Ȫ^G(F\ȗFd7( *UZsJ60dlEJAH1O ^#褟٪oyxI]W$;7eݸ# )[` <mߡ_M{V^ѡh`JBNe ۦ}{#h'iJ|GnH<^L$yC.~ԠƔL ޫevTaĐt?VI_K;цX8-WA'#Svr5ɑcI'=IP%$0f/TeMN5n4FNK.7[RNAtcɝK* + Xx!8 \KyY[H넥%[Tޟb9uGgi8m+q|*xLxS*ǞP6f {'*,LaQ@A7n!F`^cۋ-'NyXdCACB1lA\ב1ˁ0!hc "pCϳ}o\ L5XG"Vk|ȇ;C<Θ<ݙ|4̞L~x^;ex~"Ic+v'}2[tΣR|i1dv 𢉜 +Q .LZ1ȅI| ]Y'u6QIOBM0‘dFs13B!qddh=bM!Czj=W3DۜЫnX) 0ُyU eDFMB|J [UMp)ۢ;`'4AwRgnQ<>c{WFVqW#Tl0E{aߪ4PVzkRދa4Ż% lu+vD$ʄGo& lgғTa!eZ cN~8CX+EI2ߤ3E4k*à]P ~Ԑ[E &{cC񽉑nMx1q7R/@#7:>Bc+Kb_EZ&Œ\??_t);Bۃk$f C$/3PLqa\}%DE{=IuE0nEZ9Naniܵpty?7\5r̮R>/*6N"D\! Q1Z bABJB|"]lAߥ9]Ѯq2 @hWiz_OF˸ϩN!2C|FJ;cF$O \ !-uAPO&-;Ƴ-6؀w20\YDf06&F9.څ@~'ݍXR i:1RkS4B@vtiGc>gj-daM<ݩͮ\>_yۦ,>FtqC8?z[̆̕rZqxеv2U`9ȳ/C%@@&i%kTH*J%qOH[C 62mn֓!F!qf:4yelִӀkum+J2*i]xMdvC]ZPҦYU)"wTj $>&xQXc'2߭dHggYQ,ݪq=gȰ9YUƁl//j +.[Ӵ m}iBïTqjx9k:!'6 UUZxpVbU#i!b{8MڒX:h7Ʃ3ԀiZ`;Eedk 9VsNjZH?]gYPQJ\לȦs ۬X A@,ODDtO&mnx4Dt=* 6DC4*6%79&e;i12ƦžWQ>qG^D@3$^I8)\<ڍ74Iim(Tp+A*0wK!F ,(}2QO4udr>SAfg[֞W(ca\Up" RWjXc`#|Jp>9Ge[)|@Woj;|$q՟I;i;t/i%,h`㱋bF[]t#J"dn0۝qMJ:?K39U;Y*. r\([,bӉ2whU7McUΠ\A-=He6rnU> /^ԦUwN9!5P>z!I&Xg&@.@-k= C&`ez%Z>ye]mHW?_94`SS_)4 vbߣ,(eë_"\XA:u]e4S㒹eо`Όxcfhʿ4͔hb u_8ăub*@ƺ.3xk)4B ""V* ;\Z,Aϊ)сp|-p팕̋7E^UVAKj~%io&j(…5#na]ooio. 'ŌU/DQoÛޚyndFZP2{xHZ x^& @eyQso6U ;=._c|]}[eL.cL އ3⛞¦)rVt7)%ȽmA;ױp:a^خ/yc>,^R<\JK 4#0t0ʂ 4Ca#[@،[W4@IՍ^)fc\ F8%Dw>oҺ-ó0cH}xtR#$Dȋu7z٘j&:/j,sVQ"}EcK} g"_mrI'1L}C慔)PRAHbQȣ{:7sڞooF+'H:1y+e`C!J/7`PCݠ~s㏡ ~Ey#RA#Y(`S w!-GfZZ#=ώ)S:ti7W::ɗ04ML\&{SKv93(,Ύ3[r &S 9YgI;y[1G%2Mx̞}UwbW Ytr\nɧR1SWz1m{_hv_3PHcqfvTygW˙ތۇJ Ǎ!r)~L4q.Ң(/pBǭ(H 2jYƊ-Yg) _$үefLźd<՘S LH^dEe$() ႋ,D<ULl9O'Oj:sުS:(u_FSuϦV-%x~@V;5/n+][ ]c@BQLRπ $:uٸ@_+.l=_i jxR4[*t4N{c_B'S=%yY8,E XtR 7TA=G]<)qK Gn6Կ`fǦp( o=%I.R*cE 8 w4G8q4"E:?YE ]?9d.7 ]X}4&7{͂D!4-0&izk*;ڒLԚ,V`ŤD\.NnӜ5 v|Urك17XVL2,f$0ۦ߁H^Ň)k;naYI_\t{޵kKj(ו[b//?CIHTez*( ps) &lifL}O5_Һy*t/2 H'YJ&Q,8]<,Kpi\p~H5P$A Ɇj!m'9 ‰5Tuzgpc AFYE._p"dKHpC!=]ۂNLO=|izd">olbFNQ{Wv/'"Tc냪~v1 ~lI j) jcO)4MR*_Hnw9 faB8}غ%[ɔw`ΐVa-HO/ <Ⱦx5S>3P/݋q\m_c9^pDF5c3\o2QZYfƄ|/>T\bF/}x.0$B 7޽FaJal T43hiHY b5kaAc5|^-@vN7ZA_ $<*fo;d@e gYZ90603d69d813c4f6aa830f7ebbebd1cda56353e5f6e8c467571f6b6fd723f058bfc31d74652304b2 db42b5600cfea4bc64c4d86c908b1b90546d9cd698a0423a0168cc1c37fd2ad136fbb42b25faa674