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  =rdD ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.397cpu=32.340gc=1.4287zXZִF! G]ŗXiɟH)0%oG9td񑰐nC"Ǵ?I]HZ b^{^H NLt+d`-%UrR~ed`X$H۰ٱe'ɚNzjA5Ia+n\Ly _N #- H\LI+J%`bh< %Q^guzrRHw!d*yShwnpͩ>}\p48*J[lF;^O'z}Y"xĠ|1#wP:ab]a"\#!EXJK0':lQU']C] oT- JJfETjܴ1OX Ocqdb6 d/oG $tXtK6jw0~ZqFo[#FFc؆gWR/Wh$X -TJO?Z 6ӓY ngMhb͢Cdƒ#G)Bs4|4k{Y/C!l^)K7a- b4>ao\;pmi  A+9Ā֙7īY۠So6qSw]rpƔ4Cx^KVSQ[ g)z#Cif9k=[A}̵rQ79Vݟ4HZӠ)Tdk7}H\0ySsO[zw:uOC&OABkصR$ = HOL-Nonstandard_Analysis  8'xjp ۷=hWUU1ER9.I8|gLf 5,4ͪcu $XUja0!DuƳNZC墻7ts@]j r`}=\ߪIҖ`Ԩq{'4wRGħw4C{8 ˎdD' a}nYM6s:H#m→?7rkG^,3gh?W=EjEhI?+ +EY^215uR9C\Ag]_`v>l4 akWF8mvVݣ23jwDd˸ СLfw&v=yC IL4ao6?lJCz-h䷢q]D<&&.TpS5DD94e6pT*zl5ets+}`,8J[J:TF'Nw!$TNL 6S29.X0e*0liE[:pz0v?g'tyPUmPM Y9ʩ 5eX6U@y8 P)0Tڒ+atze-N{pLƭaI*RG/y Φb-}4!E,8^uE Dt[v.J1VcP#d/X} &J:FE|u+n>b\s g}s-Pz7s,3g4m/FK tJOQ8bBA[3R#%$tq`[toZ_!.{ﮚȹwvꟊ[į\ ۢ*q/,J(mMpiNF8j}f Jp';3ڼ@\AneBzyrClr}%KnEPYŽ˷|4}eERZfZfh=1Eԛ~s3`E8$_UHusD~#)y]tUW$+3 WЇթ@ص&vRp\0?t0{On'ͣ3=rɆ}V\;"nS;ˑzh7Yi`ʙ{6SyLOmݫmLD`PV} 1X*}V: :8Y}Eѷ1lێH? _@\; ,]UPt\As8Z(*7nP. Aٍ3nTja#"Xu<[Un:dz1U^Fs-p.[ҁ6au't=u 94~]t0}I3"1RLgTF1F^v. b&:uq$ɑH%$ SBoq!}&6l-^N&H r.oHΜRoݯS!Q܅>HY}&b CnRl_jrGg?vmTx9Ϥ*"#[Q~,-އ Y'b`ݝ<{CG/:u & y!sUsq mHS*$V3HoJ6Hnf,[s84GoQ2 oZŶaC :ktjR΢ ͮWV6e2ͦ[={`[[S.#V>iU]gZ6tdo[NS:$3R)>~3_m0(7eTL_p…ObaR;]ur4T=z$&Il"ۖ[S hl0:͝VoSsG}a _fIQK.1 W:hF簏}9~0-E3_o#=uyfzwՑ-&'aqVq ÊVZ>t`9 5N%lZvy5sbim*7Ocb)|x_D'eo8 yG`5K5d `=n; r8>lɴHt-(hK;[Z'R9c~'T~dv!%`6_d"v~r$s\~gAbGK ~UAxR>a[]o]N&/VwN}1Ga䮢o-_oӤ:[PwqωȠ^EFg=h1%HeA;/DdI XK(> :ǠnS:>)u,Pw2zJQ&?OzȘcvkeK0F&sC@PmMf0"Ap`~= b"wiS̔;CO$Q$3q+Ue~ӎ1?11!?,Gdtq֛t7(l׉:&h,9>⽅0Y[m#-m;mro 4yf-ei1ƒ -fDk7)}=n?4Kntx<r:CJ tC~4s2;v$.4# `O75($QC O)2MXo=5.'Y!6%l2@ zL虺%9R "FgMuRŘQQÆ#˰Onc0f^X&,yDTb^ڸ..2]*kbc̑Әݾ]N[ӛ}^v G`߿2'uq:O8$iR<5͡OT$ 2JMۣ9L3.KygKDIS 6-vBTψIzh -،r,b+~*jtjG uD\j[E: 2I֩oo0ļH:_ɕ~} !.ϰ<, _g95ў܄0sm:X"O w-]-[/C9fJcN7b5}ai9ɟW.Kx=&|*g.c8Lji>CDRU8hY"8Gy/d^ozNp$I,Ho!&}a "\oD"] ~_HӮWSH;Ek+Pݳ(D=ۯOYFKj3Z4 ynq<]Ĉݒ(ς0E-L!B]͂R[Uc5n0c%$+P.b"A`=uuatIY3Xw[ʽ{sͳZЙ ^n3<+KиO!lVcjzuV3˘ʇlb ѫs NFb2KeC`!Je]*t (~s5n/ 1c6l?^.Nf,Pe:fnRV8ƯՌ9ψx_WjyV8ܔӊ,Yk/PU} 5H f0@!D;7 rW;#a^~CA6$*&Y.C ԚSx:k]j8he xLYR+$Iu8Zq{c¿dsfjUS s& Xꂼs&MG= 3:*yE<@2aO旈sNKٟ 0ԺXB z;O{\<_H iOT6gh&^-r@\ 3&r,E7l{eRlP\.ڍD6_^j/ +c)c#k Q&,w_k1ADB%n_B7;W<~0ħѢ7"l"EJN!CB>v+n_M^*\0K}ꕗ c]bhǯo) u'>1}x2 gjhkxKXkM/Z*QhnÕՔ:cs@WgL - B1˃J5YNJUjIy}Lso}nyJ~Ey|P]q*޼/K)w~G >x-Ji1DX-K9bP%r 6uoU1mvic'UV$ꔲ+͟%<)x"eIFQeTa/( J1; n2Z $pLm#gө5Lrt Fų>tv0'DSwP& W0PFa@Zb/so½~_R |a+=ݬrh(g0]J=ujni,5U_c9#Un̏U6t$ 1W+݉[2IR#='J)~Nʋ TZ7$c~.B78W%T`O'eb5L׎aΚ$͂~WO*"JQCv2L -F׺.(r LGQ5Tw`t 2֯xFD9䉉2ZځAdFE~dRՉxXƭILyFJ|w٠].z-_5<_cKE%v n4[K1&.7$$/ԧP_c*+~n&n+z=PsDG@ kE"Bh{VӅnZ~?"ƚOIgV]oL~ͳ@8"r^HsY: ةrFs◾Xi|>[o`4?$0#dBvmI 4O^Wc [B@K~NAMWi$>GYoDcզܽp讙Gvj?f[בJvkwh=n{@/E13[g+-GgرI85n/͢M턒H6/ ,2ZL(ycqDX:4wAkiP.b+ϮO"&⭆g@;ms3[[m} 9-~X`vI+LG-̾ 4 _55SQr " YQ`ː.I#8+Xɬ+h̒ ͑ r}B Fx߱WG0龛0ؑ@ iW 4wuCdխwxʃהW-InŁ.^#/}vgTUL.}5Ӷw!wEmDЙ^4qSD8{`v9]w'zp+6x|Q׬Hп_pt\q ?L[VW7Er ]on:x[ {1tļב >hNK tEAᖬqE;"gc2ͳ "{ڵl/' b \\A]δ*DoWS+*͸-ieI2a{e)AF$bn5Pd,w;WL3NEI`a L$llZWs˯JՑVgF=QI`|PZ"W8c41M<] e.[p$2lo9ia*̽[Bj9d㐒і~x"X+G߸eʭ誏}_oUқv|Pk1gy2`JRv@ND9Ur;32ۚHWh!D֠> z9>X?k- _tr{ĹcBn1/qkGa8_H]:C֎ +1wHh%'.6) b'ǴX¯}=^dreuW o{\v@leBr[?țn qNP~/rcp!(gg((XC=B.GQ|} fY UP, o1EDՄy0@nfYO&+Um`S/؋8{r`{eK< 01!7ORPH QU2;}$+"Vˇz& H/ \w{Ox#To-H4|/VZۋu{v;&g:{_B،k0ca%0S#jЧ{v<(ҟԵǂ:j#nCjmY k 8ZmM@AOBss>ʉGۋ&j!:ƓP,3+aZ3w=(e*)i1; xmPֽη@d%ׇ_+]e `%J_dU\58kLe]2{_g:ϳl=4D,Y^(Nڧr'pS63=ާ(aX;H4p\s[cњQj$}_YC.̶#쭧h4 &wv |Jʊ0 Jf wK'k6K6Q'4LÑGs#C `Ez}=*}]t‚}h Ar'䢉oM"b۹)K͊2 JpNPo׫ey$;>ea oJjxP6,QUpT;ci'${IMdU'f#E%1N=oY%:gW?)7kL]a;J)\|'Nx{,uϢMr3y{Et|AԠWJO) ހn-)XfgT9!T#u{]׌S~qdݑB 7ɹ%Ѳ⨤sUa7Y":q<7 Jzu@c%NBi}:{|UrD;%@qggK*Bsl-nԮWZ0c ҽURx9N:>e2mSK _M13qDҡ4(v\^P6Ɓ`gύD݈biY-7 o! !Jip(vhNi<t[K: ;D|I=P-B|镾 de)@NlO*+:AbSAz sO:ac( ZGkUD Y(#T}4 t$|jt_`psFH9ɦ!bUz4W)ce&J-1Jd1>!dV!PB)7b[(b)VdؠG$7#]--C& 5I:g=*f f53+I JcBӠAx3˫Z D(`k Z$hԼGw64_{NV OE0݈os-!m1;ִP7*|>+'ڨ:pV| LoSU~ h^[uJdUV 0 a{ -Zh%dڄ=܅eg%sJ?zRe՟?]®!+{^2N /R(u77~sxzZK N>',< J杯oK܁dƈo gaaSƆf(NآXu UsIj?? ֯ڬ"J n]e}M AayNGDi>ks5NXs2NzZ߬J^dNMCIi| ۔5Q$5N&G0 %^q,{ z{R*,jp9^;p91Ј s֯Pn滺.ZL+:Ԏ>!U*Ӣf?4}c2mV6>P\ _l3O.eAćЪFSh{=μSO{ qNUZ~iPt~Hy{|Њ#`‡,dE&Cϼ s `,ȿ)ꁅ ggK5-P5폑11w|>6҉w+}^[uB>siD~>;'V;kgs8cmYꪪkz6wJ d^qcUTBĘ w-X_hZJ8L8ψw:iVq蕺kIkЮl fF2pA[[Nohd18k8 ĉíNǣ&b6(+XGX@\2ݶzBvIvfI"C1^j:0$04; @ٸ :mD;6LOӉaɕ>'C־G<)vEG6 a/J9~cU0j~MNuK.FnI`(9gf7#"l@ KsVC N"Lo&-EL14cUvN{G;G Qij*"2rV?5Jk Gv.{FYOP ~ƹ8%Ġp8TF4س=c]﷦rD]Bp)ιQ'-䒅o]q3&YD֓+V2$:^G؄ yaƈ̳G>H0 k&D`JF) inyv;@ct^l)OH&vW\(=zmbgpmE8LCFj(p׼Y̢øu](: }_rՆiu~n!nZKW kPa-d@13,5.K*k/wrDоdRs.m0'0#)giWz +?4I0L1T I JkiƖj1_2/wyS*$9t9lOu<9#j)y4om=PLl!5U(~֊3^| y?${dLZj"b-89?1+V_3198[>02i͐AKvF97qc̉-)ozKt0^?<~=S5>,1:6 =DA:ekk*9Au[Pu{'PA9k {5ij֜J-K{pxvS,E &k7C˟E)|bsNPYگbjΤ")- PwC7ƹgAJsU0K}R9sBNFQqjx( ~gBe[~ȦgSάI uk-p&K2c1̴f;֧ag%CwU?xer9۟`L@Szgλ/!{# >,ąx9]%uS_ TDxʄ+f'64IK!"\hmXP۷X{[O(g+2{ c QčsR[]]waԿJPܿs,UFbj!k"'Y:}&gTe^ik?A}:i'B`u1=裌p'B"?ak̫8SXwqdBqr|j* [hg'qڒlFXOt$TVNi "DJ#Np~ VMđD)2O)4mHL: K|Q{J /" 7 M=Ҧt:J^P05ov? MP]dN6S- I){ $QrF薄[VeaC$ P:GFiMV) (̫o[R6`E?,ȁ $*vj>-[AGԕ mg'2/qX?go /@ 0٫S00HTƉ ҲO-zVl$AЮ16c&#Iъ r@eUD8R_i1|2u2.eA=vw,Uq̆51|10sM [*˄#Ξɔ?8_0m'b痔Ur touPjY(/u,p>_3"TXQanC }pf"L;bSZ} ꨞUm`}^M=l%'N򫨧Hxk7 A!?Iҩ3r7ZWy'Xu ||ಳG"T,ț+CKꆪAJѲDAe=tzRMp_̈́F.@#-=KX0Y] sCχM34;J;I:2PxpB+ߣGOiKm&&SUҙxnZs{~FKP'}F߰u!6vH 64=t J0rcCM]XI]:kօOλ%x "ihÓde\Q| EN?8y^MS+v~OHN  p֜{9D(<ٺYCkg rZ}r\,EY[sy붆 r2MN\o[֚Y\C[qX[Cs>6J1/6郸dT! X)a,m?7ޓO\%xԘy [NU)q_dJ)BTtLorhAYʣ59iٷ`f xZ0$kPk3Q6k4 9qSEm㮂/NsoG_o?}]-{O7p(E3&:~?C G^-qC|,Ce]w#hF]N]4 \Zt-'1bWPV Kk[u[12=;e7B |>j¡j@/(nZԣ=l͸,Zx) !by;bnt N}-:DT@!BEGE7b!y$]:@RĽ/P`+TLFŒ}1ԙ kDU@oQa+T[>f;N[A&gs7uLs42mܕFOO:L RV Ca{]{Ir~POJ$Y&tdb٬ ŠC|11ʼncهlLOԤ+fd}@Uu>{hV!.?I%\B%%uz9JP,d%h3]5lmn v9OM|a5t5]O+,! unD uMT;vp4A³c'֭tw)AeD^p7CpHHǂE5|_JT.P,:T]~(BW Ļ5nTxf()ax:fXKeo g@2D[ VH9b-|>A IѷH(m1(@5Prf@@9Sx<.{T]n?Y9>&Ttl*eu&Y( $|9t*k)$-.Iq\OL]i0~-#℘z?C1IJM˳xaJH&PKBmɻ ZF AHX({XjZLzE>?g in9X tc\M<.XOjd""@(R7H&5Mj cԦNZ]cޤoq)AX07?P @jҵOlc4IF\d˝$|v[URK+Юd2TW[s e1xoB*LVDMYE1}ķsΊ'p N~on珼٭P?ZޯxbѽO`fF ro{ov ^QI?΢/|:$Y  L13: dȂSYeYw^%TAgPLiU4 ;dcVC\_@3! .Wo;OMGiXKA)WΦ RQt*rxf)r80b\Э\$a+NH(N9CAw$ kUxgW pz``s}F>TvQusTE,&#󖹽͡/W"L(` BtuO''6@Oc\%3ɲϝwpS|;TYut۽9tS3勱O`?Pf=FM{6W,x bmcLgR9eLy#o.\U1gl涃3y]r{pD}$9NkXݫػ5ݙX ?y޻~=g;Loenğ)nsMWXhxuQhVߗ$kkhu$bj_P;wOܕ$=-ѠԣÁT&_ QMնܝsiSN\dU,tҺ@9&]}h aw/$se1꜀kXݫ^pkqByKXee0:߃rX30Zp4v! '|I s)֓;h\K*Sfj *Kbn9@;;A|2Q#JWq5WG5g[ITHсq8*=Lp'oafۭU)IK4 7c@|n5+wfAO1zK'ɋԍ'-&ۚA 砶|77 Kγ̖ y;3$b)ܞxz|B*XJ]pAχ2sY)%Rg5!fzy٤>l'Z$ox]sFE> !)Wð:KKE,ԼD]/,LH02]M{jSxÃUU ı(@t"x0#f'._Y3t&Q9:ޯ_udDo}vYma8~i.J{*&yJTD)W,xh"j~c&!l5JDi㶅Gah|!sy>`&2"%MjgSx`[|ѻX/"V}9Ebz ٟ67h|a\$$WRgϽ f߱!X/?>phZMՊί L؛1?$r!mɉK &65(}8&oȮF@yxNE;I=\Iy!xr i6֐/B2!!1xW5IEwf $ Im9P4 s_D(3".7Ɗ.vj$MlcN:=3ˌ*~}Hci kY08TKQ" ޲DӋI~|@;_e9PȅD TbfKQ|#@RA[4vˤlѫD[͍nHK(x7k Uܿݵ󟀐 dJHB:oڻծGN]%T݊<6D;sL`!?nxB ìKxmi`vzM f* Z잴pT/e3*M)=g.^~Vz]\kVc,9YBAh M?aޕ(j>Dg,fŴ< 8 jW 8>\P|7^]9ѰpIGqp\OZwDY xKÐy!zLBeI/CQ\H5N`d[KړwUݑTR/xUVv@Չs<;p \@@*i ˡ`N;+fM|ygXt~uǂ;êN +_XqGo$ELSɍcwa&B2 ]ӱA? ff9ui3wwIc: Xl2u&&uD|i+9&u r2yDŽdЌ[y yQ{TPBy7EI_q'4dHKaLҤ55$m׍S߫_ 9O| +_^wDHZ4 #@+ep8aʙgxbtxb* dQ?>vإ_ȟit*xqӡz*q3Zy yathȾGP*Jw$YINinT)گ ~R@8CΗD͚]|WeՎ_Nγ=w[dCtk*0̦NoZij:ڤF0fgW}Hl7%WW \pAvA/J-o}KNQx@˸æzW>Ǘi2? ]CnbnC SY1jc'Y{!5 8,omD1u~~r.t7q"jq2>YXm]ki,3ƅr?$\SdGiWs̽gY)fRx/R;v[lT^3Y{RH3&xp=M }cG\Q}nM/ Bxe#Wkw];hJ!ax7 g?n&+c$|C+EG:|(ڃSxUEؾEL`-+<0 bjRwB킃A7ϢqE09!(\B /n*xvx(3Ȟ:!naV@r?ۙ79##lЈ8>{F9 8Bnπc0y<8aqcgF}WXZQT?;o >G$Cl!O=9[8e"Z6m^JPui9QRˁ罇ZjoGA6_59! 톨r;y?#@J(>1LCQhZȎHL=nkf˗VK-q!ϯ MsЮT.]@3Oq*YZrg#YG )n8_Dzs"iv\ǺotjJ oQwBK'=YfSI~G/*(ykgRbg719`__=6S\9#CZl؈މќjߪr$+v" GnA{xw( 6 xIGGP8 "*eBRҁ#E07m6M$jNFG{zD/D=5:Ǫ1HHኯ]+761tOmLM>& +@ћBn\u"<|XqC7ћ$xsĬʐe xb4YZZ:v 8۶ʯQ^V<*9^\J[qe4H㳏lޮ4Sœ[Ha@ U0:zuhpR9Y <`c!Pt{}.֮_A}qo Vk]3^@6y)I\~ӿY~֟"_ڶf<:YDॊ'Oik5tԄ(^byZ 1sјݰ繀-v)I0ۍmF5x.,HՌz: Aӌ;td +DMFl8R-Wɏ-q=d('E.3m5 Vs8ϯ1Hx=~#o##?7W(׾LD8"eF+{S; ,'|s`n19/h/ [9nHC\SHA*9 I;433Thj$CȺ1 xzQ 6l9HHHP*ť?hc4.պ4Tm8V),i[!2Qiv}o#@FEf8[Oݍ< L|Bs"c'"@aZE9wBjEQCv1YPMCsD>x9$|ӭ[jDܕg 2;;ٮqM=QcJ0a0W?ԪpqȠUZc>ڷ>ئwZAVyt;QsMfok~@G/ݳKFS㏅laVC[QFrXFݵ|YP(WgZ+2R,޲0 ^>R qʻqXGpwѕ#[)$Ypȗl=J-sb:4 kJY "VY0?r3:;N7=(1dkYçcN* ҡ_KF߳Q7~G` \>%cGR&ΰcZ}ng~ 0(f=2 76Jwo*&Ӯ] U”%?C尿[Z"`ʁ`K(k6)1: l93RlW`PrГoX OagϨ`. {Hg ֟@L=-Npn"Е5jQsp֦ͳ||Iٱ$WaxabwMpN+eV/_se8Yޤir#57c_IBZ߳߁熗sf-x.L.#{zvx,-C?>H6>m-3y'Tn@yWV?nuiIr(Qc72In!$GmC] 9(XyaJohL̬CG:N{M$*_o aN\X/fb !![7L/}El"ekڥ~D[ݡrtiB(cX]o5q(i_(Ӈ-Eu@uZV|StD 9C􃪑azXlj>9gyZ>q#uO(%2Zڈ+mڮ*(aB rdzK#b ]-69;В*d.^pY!X6* (/2ꧠ껻“_F7+Ӭg[d @I'DzO(+VB[)ig֘IOI@gh|W9z! mL4 ܇2#~jL^-L1 8[K>.(FSI,RRH/?Rjcř]Ќb?1:0^EW$/0@ǜVsm@uJ[>ZqCVp핌ʠ9C0zLj4w&M1P(r9,pwAi0`}W(1ۉ' ,`= V쨥Of)۵tc`zO R4 f[1 ݳtMk0 ; Y]T*'-zog~yGع 9kkf]WPTCȽҧTxЍF}ޣ;q㓄!}R /o1IVGLrT}|Pj%8v uTփ׀M=2[p %c[J,W(HMWCn$ O]=Dۧ 7K@;rm'kg:ɈhV'ZV6;r$ALw$FuN\v U5.5Bse}쭺vX9^ՖEXGygjKt6i1d+۟sܿsfa3R;+B.|f0e7+MԿhΉrtaŞF޻su>s.ه6=]4]~Ok$b;[F7K3TvGyAD;xUT$:{<ᩁ!9xME3{rtڟ%Gy (Fm1ɋSNjLP e&%h=z}J@e8@!2u>iOtc6/䤵ܨa4)婜!HjJ~\+[rhtP0/qZvW+l*jM}?1#G-TZ2/"BC2[[bXs~a\]t r V:<:et9^˂֛^6:c8CÒJ|:bGtW^7?b!JTArbwofR: t|Dק, mFMy%b $ h+AǼLhٛn=)bg䬏FnRߒn4m&/30ʶpl>;:eW#,/ˢ =d54{A@IѵMfNp^YGd҂IcH1 %$6,${DxtLJ:5qry[ ?"K-A0#Hj#I,K'$@.JyBLf{2}0~'*>2I>=?Dp 3YS{̒zc%|esL0*ʳ[ Fuk +g2泐2upd7+yi4Y2/{K5kKbzu h?ZzBCdi(K.^x{"QrSP?EmzZ&٢$İ4NdL(w[[g0F2үKYb"Mcւ r6vP:2lKg{.[;ZW?sS:v7Z{T|-u!>mlbсuuOslizCl$Զ\qAi op920_2HՍrooLςo =2Ԥo&"MqJ*9%-G^̅Yއ|PL߀M}΀Bjsm?C`74&fǡC9:ugsP^ThXaZ,*0=PH"hHkXn} VqZVLs-,^,4\<Tzv6 QsIZoVԜ"GTU 6l3 ʚsI^{<m'nO"<:P*g֮\9)]uzs#<@t \ yͽmϻ>/HFT~41N]۷ϼ\+`a> GzOԵبB{y0`gӿթLGN-znfƦ HpÍC0T DW9|cB$6p0aLV+s a=@Sa6VnϬ$zi::'CDM&B앿AIo+*Ð܎q,#B 2f޴`+U3K^AR"kC{ ?23'=_]>>KON#P HtweaD wqN}mIN(R S~6Q8J$VT>kA"W*GeTAF+.gG|5˟jo) 3s:?&Y^GEaE5_8b8}ՇK4{P ΍"M!7Dl\zG` HZlUF xDY=[u% @z[ٚ+^ y + O-|PaQ68/b/T?opDZ7o\9`44lḒ%k9Q IlA*f:ٹj9ߑD%ˇc };/Z8]N*::6 RдRXV2nML.H8^5Dmj07K./2,,RDWRetUP S8 5#Ju&x_D">%b?RՕd2 $mpQJiwm4oyqnԔc`a)M -WIK8󘀔 =lqv㻲`h`)9Ygӂp6 ܞoSP9 @(?E)6i]lx.j3J=Q}Ў/č=.ކ~yNU*mEPS¬uo}flt1EָWbWA4.0,jz裸L yb("arGĜQFjFx6XT~BYҠ=S!M jy<VATk@8{>.Ư73? }Xj7ÐpO$ ;Yx$$\|b>kv2 >GzˈJnyعM--f)1eРg%} +;K?Rj]j9MV_śfo\#XTA7=H,)XȤKĒYj FSt /oѣÂV J :v*(S}K*?4.M2f-{s.,sZ]XZ-tĺa#y4s 3 _ZE#!+gvG|/b`[?e^8MIC^9wvoqºzGͯLfAa! ɞ-&WQ{O#H >2}6d]&/k˕Nkb}p9yS}HiUĸ!i"?fnj`%"ᜃt;]N.r`jקt Y`kݎ#aIwn :I4w o؃ZZIY m@i|C8 rg{l4G;tQƇTɌv@4u+1??W5Ŵ!&nBF)狵Mey=GԵzҽF2Bzᙿ@Z$zW 5ЍCƺ_ dO3Q%r]_qusF b~j$V߳ <7 ËRN3XAmhQ֯qULvBU42ŸlN@4Y~{g7t^rCsaOG2?:6_UR#w6'0$ȯ&E>O9:גּ"3Fgt5-+ \6+r6v>^3}eSʦ͇TG_''bn9vtNjEܑQ[`]<+ՙX"n\U#nP 8^ۅ:1[9\~݃Hi6-R_]1[暣K5ws#@v0L-3im!fZ 8s\aL{ ((s}<@W3D]{+JSM}얥WF-MAۻ1psQ,S'14jw.D~dP N#a@,nmF1Tz\_mkVL>'[f "%=9_0~}\͟O+PowuWE9OlγMe(`: (i3y :y ^YyU7L$S[6O%/SLrqxGwjsqڐZL3Z6ր2Iw;!kc/KizMWh&{՛,_2AZI*)Y))M^o3?j13it_@K`~q50HTo7"iD] IMPn&Үj4l2Bv)F 8N1=֖(o},=϶O4vm C#מAbmx jX ]_*.l5#n@7(\ϊ{,TxkphnD!p6ΊDOMIh ŷȷ%? /N^9G61[fȼUm,Ne]}4vK8cucQO3YsXŜ@ &ę0GȲK*m A1~W!Z6ܐhnb '%%@C3d?zs4 u`Xlոr[HE\|EֶQip<0Nhflt |t%yH/3.#*ϋȨ/i;S+9A4<uB;9 @G6":n. csb_ 9޷;9< {xBxi!uG70R{Uge".WrZxK"Baqi 'Gx^f Q9эaq˙ԑqshz:ook)?LIʹ`(,~(y(KZU0ztu - _pHށ7#83cE㴧97JҿX]qt1N#d|Y΁N/y _fҢl[FTz^DgsEUN)C28mxr~햔^^ N̽p!I6'v%tsqB3Jw@G, |GhY{yseJЁ =ˎ}p/~KbȼLaX2UmyDl0{.5#B3*kc[*­woN`\(d-ۓQ$`< 0 & _4*ʺԞYW<%l]˦}Oֺj ;& .sO("OZ\r1*7ߚvVë~%'Jc>nE`;(pv {Y !LO9BU{+;3˨R*҇hsyBE.5g.k<^4·[G@sv9"mUZ f.f5jcwa_=?8!FMG cR+"@|AgKЁ";}Q=Nf&lξPZ:i$[ـBmbxcPbC"azkj#C [ F@E.f=:|Njl sJXox6:VYK} d j1zdhex(Ԇƚ}N Α+GB)U=^ToAX1:>-UxO_1i/].Bs7| u ](RɅX5%Vs)~ƾ墳i$ T/D}^XΚ=f ~ w^U3l'3v*Š!33b ։J k9-l\S/ءA'rvKTS l,H1@Xg{BR u0F*͊Zי;}ta"R 7W ;cO1|qBJ{B8FfP$nt,xq'wѵuC;zf=986s5/Yqӷ[9.p$pJΉ~00N%p)-" gCG)G =ayn@6GlS#VKF^=ItRmYb 't!ڶGZδk%+R͍%cy>zldHeW͟i_nԳ*DLA9c@ 3%@гݔ9޺ވcr9o:鴈H>P(:v,'OIq\QtLTaPNbj- /-&OY%8 bH0FNw?cwJW$d;L& cOVܹ#rR7`ZuE**da:#їҢ Ŧ!_Y#X;>itDMy+ws% lc.hܾ֒ t~%mUs$DZ9#د!x.S4[d1 E 9;ֺem>,54{,N>5g$+UnSϚhΦ+=)@:#>ٞmy|yw6 zR},&; )P㮀U".oN=J)P[*dP#rJT]\ckSm tz-؛ J4z&pH4paB;k_ br,G18';عӫ۵tA$}o=k|C].AW%(@YƑ-["ahl=C8w)u:}0 9$ jut/ QsVM54 H[n<Ȥ@zIӿ4+S3g+eыWh\~4V4.NtR=D@@-k$Zn%袽yX淦C~,]iI QrA?I&Oȗūd Dm))kd#M:[͢Ԅ`7=e,i3G lf=^l#fCKh3<:Z頍!pc>.)J؉bgE'<_<Ȝ^$ț#J~`Rn_E/Hb`+s*ǃa[H 89inx^i$_ԬDJFJw1{+]LU5ֶCCɪzW?2h#JI3ΣgL%Q4[w󕾬;$,7nYM~2J yS!Tp!:4lIcSY&R7q)P^(=wz[VyJrzk-e:b*(Άr$j$壄@ 3b浴7]_0m x4:ZM0D~rRd5&^ENpĭˇ!BR=ڄX 2앛y;ka&T뽐MKx!uR=83jN)AK BǛ5Յ3F1uTb 5xvC?F,^fA~P9_3%ђfQ\n҆M-NZ& ER."K>YHy'5+07􉤖{d~v/l(=RRϖvGt [" FN|ݙ^0V]l7$qY A(mgn-q$`!z:27w桦1k܊@wJ+f]4)~o{%(whri:욝UfY jE0=wBr(v~$TpWDk"mtچ/9bďjf10tG&4VB;;q8~ȳAw==ΨIYMZ<#)؉Ssf04n m같ckLq2<ή^'DRN1U3xhc0$,xPPxJEC x)μ ZܰRJBʀm0v4) mYnb`7ZH],1rpp(zi~l95歪6](p޵/ң_{Fo\dD=)JpsB]XQEߗyO#T`bL4#M91$ұłg s&fφz'( 0eXt:W|Ģ+c۟ElsT󣫶njThy;wůqmS9|t{#aAs!]#x"+|_n,ZERskEB*>TRz<]f(;9J\Ra{F2>n0nr2TzzҌCG_`xujp*pt ')5Oj8Pʯޢb%`Ni][L@;&Pnf Ʉ 9gUSXqW 9-CՎ')}J:ș5oˉa$sDd4 J3?u{nEh >ПRѱ ?]Wb]~@Z23-d.?U`@,-c\ճ^Ĥr5b{G{vfNRjSQ|z 7\ЉN`l<^y2ۆIT!۟JbدgamƑP'&]pMý12#KNJKBkT%˶ڄ-O cm duÎ{.v&y2}muLa(O(Uy7ĥU>3"0ԟEy" -6(f;|A+ɭdCNkK@~;5>3@FЛ7+ח$,~,}LYC| ߟ$ܟ`Sb˰HIҡ_W'(>i tg[FDrs=Z1(G)$HK&H`Цf;2УZT&Ac=t{kk㋴aq:zj"j*p!leLdt׬)oVvH❈in Hvp*r&~Q5eiMިk>>x*oxgeˀ OfcX45 whT:qG<lsǏ [8Co 6QL3g }د76N[e?(X! &KpL)ݿ&_sAXܥ*s 俭"l)Bf5]_%QD=97P t HT'qaQmǩ ʌ遌E?'!cy^%JX"]P n;O-ݭ5_ mjTHr-A]UM:4<9ty'蝿XM%G-s_;B[{ H9^Jj[~yus N㬁`b߈tV2t>sfpM QU9RyXmopbfL'upy[~qr~xSmvEd8}txԺjcPy.98lh/G/wXk "ԩ~>X[gnJ`an[ ^Ƴ%~xmHSwo:T;c XAhnʋo<omAHd^E¹c Kc6vdRs-2\0+L'j!%#|Uutw֎Ǟ YPl- NE~ A%,9v G6LImDC0n֩LBѾ xBq!ĀdؔѳVs>#*VO?|Af 'G[hadPfRPEiĭ|jw_ Oչ2?[TGίm_t\ڙw+/dH R1Eqc@be-@@q 5lS=rL1ޅ_\K+`HZEOGW,V@9m,sQ&Vx4^ݴ$(,X%C>j͡n~^& PV+OF{B e+_X>CS%Mєӽ! w`7G_*Z4Ngݾlʬpk8pfn1}++ $Y,ycjrPߢPM)J< ŒY\N0*ˎ1(3y74(=ېe#03{@R00{*hs!NTS RRS eamN|HXP lM?t"Ph+@ :[ *X$<c(om+e6!0G%UfWC;e:r)Jag bj`'KRXP^>uG'Cޒ?oXfTGECZ/aq{w?sռ4ݍh|*iD)?N?z9 pY /T5TC4[ՍG(*ͽãn1o'.S7K] ->fu1YW4IŽGo~%[}om+( }5^+KoROjGt@O.&>MѾD ޼ Jz?[ۚcM8 WKDVRƘR0f1s^1@2wUUńT Bѥ{lpZ@IoD6!_cO%]ѐzaYx{9h?ږ4b2m.gNeO3SSD&Kv&;dMS6ZQ-}n|sRsS-qh4roh/]EhH;sW}h7<;ZQ+t#?2;+#q2D0U͍VlhTq;8N$OO a"P܆ġ8-LةYÖ0g9 T [RGdH;cb?[ylMh$H.aglH-< nKb)ΉjуHUr0- c?2LF`LbYV'ab=xi.Q;J@1M͏v[Wf% O85O-vUL4|mjdӊL£y7H3)_J%4yhk'83W4FAF y],=&@JI؁$H<*)4C(1OgfI9uD7jj ݋z-s\f ճ(ao`QfW/GT(r1$ ߃\F UYLWYb}s١LҤ;t"[S3j lє>] JGx_$Rg&':F]ɎrVWf&Px*9>?Z(;(_),ZDvݮ"2Ok74;ΊPK X I,9j}D]H,d}*r9GJ,2 JaHba -cEZe ;𝭽>Gy!ę*,KFyXv8X*/$-R@/[[a4e ׂ~acETDG%c"g}J֎2g(p_iBp31]j?`.>Y0lZ۰ӱVĔvAjmę=(9U_' K.tULJ|SC%Kف"6KPEQMX{Y,;WH+|`O߬Sߍh$ݩ{0YGK>ӏ Y(P6\eՆcx0TI"?fvg7kDN[{,ljo)@ob(856iۥ:we'aҦhYb{ u<|> 1@o+ eyS?kg$lx? c 1l7V[ kgX(xdKǝ{L6 E-ȢgV>aB <Ј"'4dG)Bo+L`'VZ彞tnZ8=[F4J(׊^9;\*eu{Ǥ՚*R^mS"cizHtᯝmkV̇>ig=OMMY"{.zh0u\Dp1}rW84V)x,ک?6"oH-"2S"4ݴa@_{Ι!d؋K+qIg髅kL K35c~^Etĕ+R@zTiJCͩp~:L<[odЈ9a,9 8_쟸6\qt_dXxA#Kڠ:MJXWBuVAqw*);2ڎcF!~ [Ԁ1$%(4|҃Y+.ûr\9bW mD b] lA"'Ib wP8/`f:>}6NNNpy$)=dT{cLQ)Htf7Z1> GȏjsPpu*Y/>[Њ}^DgX3Ǎ3!?ΧqJL `JŽ>ҰxqUjƺpRuϜ&5L]b6f7~&ԒO\A*+$'6tP_c+]Ynx;X[@1' nw\?Ȗ;P4~ T?간]$;_R%ٰ-cnR$}tdcamC;[.84&"S&|51 1T1ǜܝC`%qnd[? y|b%,Ql6dE^ ?A3r42 BwphmTsp1Ht/>zCDGPqnUοF_Cء["b/LѢҌ ċs \6JC8cWo_L.~CP!Qjb8fj:f,e@]㣐`jrƚetO[ }Kh=+pdV1X,3t\8(͈ h0kDk$Wˠ?\soQ[^n/n{{uG708WdiH2='02aƇ+b:&,a({-)bU?^ZlL=WF7b'i QOvz= Ht'pMJ %G |LFxt/v z7H8~I*Qw uOXZYp^R>X7D@v 0H,,{Sqnt il ##_I[ pzz,*Hx6! M "ˮ>)K, 7k*ĭ . L89$Y9fTG@U PD8˪}<&[= ;9~aJXst:륑z#q<>)-,$WX;$'Qnih [sٻr sb1G_Lpƌece|sAq|,EGNn?zR'Xjަ qk+Aw[Vua;5=sS\oVh1gbǒ3x֝syYQMUYvKI_bnI,mâ]b<9պ<ƭKnV:g$UŒ4w:KȔjդhGxo+'=_cfg̡d4iQCOԎnYDw}Rh[<~.5 InauE\E{_szH>#SxZVjؾ MD!̨dT {#^˴2ZnЅ@1֩ c/M*6uJ-#.;?gYZ7zXZִF! l]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>$L>č/Dӷ}^XL—$شK7HȨ?dGnN^r qovbn^pQ<o)d蟹nnntŅξKS2 n N8 '+̊%DyJiH*􌭟'-'4K4#e=5aigIКncdS=ta#3Q49YFcוށe!yS wR%$L[2yβ_$U8K܇3p &rgYZ7zXZִF! "F[]ŗXi%L&Kb\a4ElhV(v!X\Vv V/ sfo#apYm2Vpmf Tɓ}wϗ,^<X B#Ʌ&)o%%KD;^$hh'O{` 3%΃.ٱɼ/G6J%l6saGS\|O_f:I ܽyLn@V ?\Ś:de~A1i Jִ`nʲv _Lf$^.w$_yRanxJLkDV~9tֽbV HYv{zLYYp(DEggYZ6786e98f5e908e58a8720386674fff6b7067b8a835a6500ee753652c800a7917e32731ca9b81ba08 09b9a8ab7b35d71c17424618f69192731fdaeeca bb2ab2c84d1d2f65bb91d59f6926da63d01415f3 cab7c8d017b38ddd0e08bf9a488bcff0296c8343be5d390a1e27be1b9eee5eef969bf8e1463e6cac