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  ;=r$T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.071cpu=31.012gc=1.5967zXZִF! wwJ]ŗXiɟH)0%oPL%>741ݓ=sQwT#k,/- iڵ!NB@S^7EBU,2v]#mi`$v`~ݟtor(n7:tF)wO L"a{lāux:/-ӎ|0ͼJ2s@*2&'ѫ/?YͧA"(+ mus ?6ZbbK = HOL-Nonstandard_Analysis  =3obw1lH~;F&7ĜwgA){"+do.# 0 r FhORv62Aqo(wp'M tp+_61~?~Ϗ7mr2`SWpqY(l,CZzovEs Vx:a'Uzo8 )RrȽ{x?9}L^jۘp 3XzM3'A}~{c.j 00!v=bym-8{bZ#sp˼ݑ1̄uN~:Q{qc\O).{fa=gK Cm;txr,ueإ~hR q A0Z~43aHgFH )+LviErOӱu#!t'KYeb*2Hr+Ǜ=S"slW!."9BŠ /-.U*`.ģJI<ǭ͛{ !X9˅aңiGH'3@#w9M0BB)^ 4֟q&IAejH>m\|Ij Eeǝ. )%U@C&0cK`jN@T]2_i=\)8*e8a}.dVl9T04 ڟatBk{#<?Y8z] -=f_(D\2WdvW˱uil`RYڕzO%ی-1H9{"A:Җ F69 \΁"t Yt_&#DVv\w j?- o!.JYs0~di ٘3>@JL !d26\7"t5m);4zlj5C"J>'KbW7hIJ eP7Gtဳ1;`8!~7&6^yc|aq/GV9so7U9ZUDs!&qK'¿U8P瘓򎍟F _d^jp02Diy+9S96,\#5UH`P ӈR-⑏,aȒ]Rn 葠mcU;Z=a OP *hVZXpq(OC3sӴQG\RZs?\);-3 څ1ŠRL>B/ .аS&|ڷjX-ɢs_pGba7ֻt]¬ mVKءG/N !%)j;0{^}`Y 53{}`[ݙT4 |͆Edx3vip oϹAs!b0 K4 iԦ,Vg173q)Ɵp &$1 Q~kK~oJsWa5 \l3=ܮt6[? Mܻyɞ6Eip7EЏ:tBeOk&}򨋹pnl F#DŽTQ'h2ڷށ ,/Qۡjf ~FzaQ`ߒ[" kעp7pfR 90ʺ%u .k4%`]_"3bM*6 ulxug.Cf4l!4> fAx14?xebEk /p/ei:+*k@F52pzʛ@Th{=pӳЄo YcՆ}H ѹ$xRyU0q"[ {~#Q pүع}F1\qwF)Х)!zB&;5|K̘ĭ>sGOҩe~'TՉe﬷&abK2 RөٴiR}T25dse] Cch')T}T=b,s"DQ ք441VZKO,}zu=[itGOl*soJ_j͠SįCҁ-BNBJs91ƝpQllxh۳b}W0N잭1}L,[c~KLNB=a;܋x_2~(2ip,Z_y}7o(8G/6I|$~nƯ!_rUeѐ4w,xɭKA?olb:jqC>(7fL蘡sr1AJJqRraql Ϝ] &VO+g9?`6m,WB NTP\ 'SӊU缉#6McVOܩ ;؉'j!& MIM֙)LkP8}`h}DW VW RZ~=^W{o< =]U< XvJ/zǥ'ǎ`gN㍆ulj d"7 j<{>y8hCPyҦDW#sc|U 2C5iç{"~*HNW`t,m6A%&&]>Aʯǧv}Xio~#;;GK}GӧDRv6o392ںgKQaD;E mS۫oo)OB:iwgd4~DW MDžԱُyڮֻ`/[ 9ǟ&t\" nQ݊S?~6ɾX_LVp^:WCa/ ^Op=&VA $(}IB|_nW [>doԳ4Hϳ+/}CvD(, `^ tGI]/6J'\cma=]+K8ȞLu7MwŃv>7O7j̕f#Dv\SU -*39#3Dkر6lṊJl+) ]X3n H%ߺy!֩_hFb?$9R/weH>Qt):E1g[=R!p)|/xjec fi(`>=k7X^rW+'PR@_D~du o|2%c0Q@G3v'?,v6/+q3v.qj!:Id!Ņ@bg}z= \I; Sw/+ݲ19gs{*fu"9dK yW}Tu1Ѭ<ھV,j=,%b3o٤)3THhβҘȐ:&xI+sN=ZZ-W:"MHA[Kh1TThdAhpǵw#~􀳆=&  IP*Z/B#֯]ǂ/{J1-*kYa8cܝCCP,G_C;/p#j EcB>4+d` F/WcU D j"[ߕU;17'_NCQ*z?l wF I _uZ<n67)Z …Ůc [oϕ0wfbqpG2ajF;o!ŞF0zV9pҿԡӱլt=ox<=:]NOU799 u[՛*RE="*5ܼ+۰E=,)b A.?qq:e~|-|aǼr7LKnbBԨfUc Lf|ډ<0Ddz-sviÔI ?:TOfx+0mK_]Ƹj` !mKtJ/D:87I인`®qrI0s94H"7tܮ򉼠jCeo1LP]e 0?ӝui/{*%')j1P( qw٬SW3s9!b=~-]˹@c6o=!Tc+kwu6؁,1@FA6dub8jWĪC1UBo떢5[/'/e1`Sj}Z]`&@X>Cic'fϮ *|c 6Ԯ㯿Dzi9&eQ$4B֨+B8,_ {YAWbI`GJrLttSkC[7caA i}nte|Riܙbkj7yo /lf<:8. vPP |.|sz 0;LfI룝L]TXҷ(_]B>5F[Jௐ{s0oX:ǭ10](V5.ɺ$v۳ٳ%*Ձ I~_)X%yBC_Y<ϯ6G̯g1&㗯P/i.@hPzlu|Jwz`[tN}Ds[o,I24At!v<@|9+L +aqoj72|+Hע@\<)yk(mPj sFסDa5&fn[dM+6, ՛$%%@Ա0ߔkit[=i6@c5ʿ-]Ov,$ar/, yH-SZW"U.V1t-C_ mZ#ՈgG9! Lu8^8=^WNOTWv)uv v sHawTx~≐ s46\Nj7o6 5hB@ Z%8@J͸۾|~G<-s:)AP\`1*Π\r~.Le17Sk7]c^ϑ Ѐ>5Wd0ԩV"F ph FCQ\MY=sgN34{J 00M7 eә-q]?< ZK szY6б8-Td`I|"|9; yT&p$5&[jaLdԆCDyLq({Cð<rqOE*Op8%'8k} nQDq9F/>=fk8T{txGo%\:7P;P,:cARo)7'̷ QުRĚ(z0j܇i⇤]b8K alK~{W5K`q=lY^nWTQ(pZ+-d}fiCJi2EzJ~l21osu +^ 􍼮ZqDd5=[N~o(|!'ߖ֯=5 &$W~:av6K ֭.xZE<5/B圬F?XAcEИr5CG偦P#.Uu\ix.u/1VvmG19gxy-{] -uKp] @v5:AK} b/;[wI@&m.1ɓ( \vu}Gܘ%]a7㤝pDw ݆ {_\ pTec] Sqc^Fx&}ة[(zryQdG񼊘 /NcC`ҙf&͓ o"b(nJ?5Ui2Ê053h@8z_X`Tx݈f` u|ڬH3tÜ;ŀ( L{rTgʋ,^0ɇ'%I}춍.S%V )Z y9_HCQP#) K\uAMv4 2*Y'jY-*h #SJl-W.HWE؏'zX|W$g^jEb?z}[Heu`ebd.a].aEp/Ϛ|Бv[ ,ì `z+n5&;<̋ (1OmƷUvqO;(~Y ̀jnh sFC=ȔILw,pK>3JlZVWZ4'GcѩL=1c&6%xZtKQzUbd bjh>sVq6 jvhb!7QGF2{.A! o};CZ/./e~fb{qoo=v2dmϦJYI:ҝ`щe |_񹤌(hw;ѿRÁ8F Ҍ^G /HS\FʼnHZ*~NIm$o\{İob, U,M^S)umLvrE`ƶ4/J%OIXo4<𫟧? ,Ph,c ìO _ WrN/ Gs Bw[}s@ N/]>i籗9ByƏ(vƉNP95])4aAGnJb9j!9wפxpE*,((*2$ƃ"Y{uf PHze\]8Zw)j.!Г՚J@ʼu?h='Uh{cDH5\Y6L{}amtɹR*ma_!/wFݴ{{hn||Ų/HVi^r9 GߨKȗxjC.%Pڌܫ<ˋ}1㵾9Gu}5c~BܮA%7gX)$8{2+O\+3{ȨId' x ?>T(?W_{p;}hJLܡaD6P~Asfڪ}!qW@(gYCiF7b~W,52Vg nap@]/񢳒ΞlXrzIB@Xk(vz]Sm"xE'WM OZ [CF  =֊m( f@"1C3TkKP?)mFݣWc ])k#tus7,tyq|[bUȧVúK/QEuŲN7J(-%>FzjOf]pөƚ~Ϋs[*%))eV9{k"j]L&]M:b3OZ)*^2#`jlf2팹) MSIkgw5I{Z%4$"hw'8P~Q ):Hltg_V5j%EiPwOGT1;M[z`'4вIU.^TQuVK|EbZQbKOGGoe:AC@M9r˭N_6%-& 5 aHPݦsG0=N+0MDwij&dl.*˔$cE=ƠK_Uaqk4_Ŝ ;eV|w ç7&m"輪Rf~±,Ƣf&f4Dnd#9dۇNElftKd<߀^/--R; `߀A“C7!LPKImOBFmPR@=pr.u19K$xVA"7ih ҰccZx7=['F!0>˓y@w/#̏CΥa^QZAV-uyw43+g.aZi8:we"V=c8 Yfcp}ӥ?B(Y /TX($Hea ՌԴ쟄(|wQ N2l+lZUIǜi!l hwS'Z~,O0 ym,`32I&Nq24bvS/l1 WVeTn;LV7V9ƈvW2efhHRJ?N_q>׈HN$3ӘཙQTCVM0ޅ&8KC.XaZT*,tu ҧV|؀ʚg4ͦ{8Җ7ݻKCOq .$oְɓGu;n\t$3}*)69ҨCa> eOpam([ˤx&y:9JW<$o98Ӽ%͹-!+m]v2uhi^$6ʀ#ՍK< 7A5mUpv #\3A9 4`Ib2U}[<קmDrk x8OX^tEt\Df`SMLZgWϖ^BF L&mOu `C6J*$lfiTɇNO ~% y-T8)vicj{6"Ħޓ\2zpؙk btH0F)ǧ?AH3yQDQoK@wSzƲ"U9KlqmlrC#CX%TA^"ņK7AWq]d_sN<2x2ɐ ( ҆;A1XK%5cտdlq82P >FMY@6ڳv!St-eįh,sƍk1P0IbYBb1\;Q߹bgvM&;|$|hBwFi)=~9^$}4v4`s;)5?GN!7H}-$,`oM_]WaT? @Fw&L̎BfKxU@̢QOru2_xq,y#\>;\S-`6 \ / &.%tL 'CX&,u`p~\.'Q|SyID,ƘϹǍڱ#FQe|uuzoSO(xy% RgE),4k!zKJWc_[ Dq ߭\|tTDE-uٹZ_4oO \ F zŁ~lJP0?uH(H)YB! )"a[DM 2v"!f8.RC,1.237VDje(qx>ʊ^ ;OT}w5/6(_Ogdja-$Rdf<DGNscR=!9T%b" 9?7 >!%*X,Y]dJI:q i (Kq%ỵ3dp -MI^J$@vzL `Wֱ U@-N.ے(}DM>o)9"q+%2:I*m+ z֧u<:7g5 XWkU4:=Z(ZUOk,՗ ֆUx4o@Ԝ  RB W$[?pN ٿ!фFڲ,0`Ao ZH pQ~i7i,—+z2[kh>? O}) 0Z-Պ 3MJ^+4OYISv)n&䏈}4(7W&5} p-玝HryW1<5tÓ9̸/cIjp~H.|f&yp]ruyWesQ\$$\d'<˘bۇb I"꾖Nó*$rf+%_g2(*+ZX-3 䨉dFQ&-9u^$BVh p+h)rcpAX7$d7 16~ݱoκ%GzNdiDT,}\wی2tr/^Ns@<>I5޼8ɭ@1:P¹06qǹ#,u~LL/ove($ǟ`m`VɊcm;wU#_kYESt.}Nbqd_kk횊vu8ZT%Ԓ :B坒EÙd+  ;LfUdgn;FkcW33s:uδӃVH3CBK{w2q{?G"Iq )sYtEC.q9٭6瞊lC℧=@+Ѭ|^Z,繤).+E<S\uD[ yp6+7yؽK61!Gk˸b;VQ)$EC"> Vjع,o"C-U=,_ڨOf<{t@HUNXR:7V  P!W&6{ӓ*Ą fq l0Ӫ).WjϪ=t45Ӭk2i˅؁k4kg6GԾB81&Rl,Bg=sy+/tc[ϺVw% wRhꐘIp+Q(0ն tT=| ֜%^jdEیp҇dT-7&R-PB5M91B-4q@-rcBY_c mKluǖF~熡㬋&i ЕEa29/U±-zU45SXhg? *'tJ4.&Jby3ExM*3ε^c*Kvږx⇞wp&,G Zb@/GVY3$-f bٽ>sYҧpS$GrfٞH(o"A3wF< tjāHh͍mrUH\{TЗ >\X_Yy7R vudQIAj+r,Bzi(ܲ˵-Y'/0Aq!s^aקXJX3^&{uSi)BCAAN*g8 0tǪ*Z Fށ`{kϊ{vu)QG6/$BnoMs[q^,5v"/xO" ĬYfN^.iX%U̵;{DsajmK]-aw܏G0.QÏI :!G#wZ.c@e"4 @^DPȩ7 &$w!!X1'NTGl6GzSʒbgC\L5Q4rmyXXM3Jw\hOtWNNaq8=J(;Vym!ևAgͼoQgַBqD,ht4}xGȖ ڦHʼ:`8;zu9va~t)$/ۺ7բ8^C^q@ 2^r99P&݈V{e4 !(g@N ?E@O0&>p7xeN͔4y6/]B:RQr&ϙ$[$z•ٌ~}7 d6v~S%+Ȗ AJeaQVil킂 dX0a(3a5M{:mZUM|s8?ܣA \" }~$saq.otL±~~-. 񯀶ibzNM 8neS0Bodym:},|]g>}҇zp[bycdG̡ 1Ma*Kry8XulP]9-(1nZHN=Q O0ѧmfG'mV֣H48Yч Tpx'(T }' l8xϛC[7~t o"EtCƗ;WYD <{Y%*%ch6GF_,6q;c< ~oŐ%.)>|Z;VRQNd!:",Y)f czaGFw|R,ZrnJU:.dJ&<^R&[kl5evC-'BUjm>je4|Jųh_ 환n0p{\g$cҼLS/[@`EbS1֖gp<9 -wXϛԍ+8lH.q$俤_YL8O]_RQ鼮=c cWտk E|JTj ڼR&(%]RUow/h\'| c(ۆhFGab+@k&6ga/Iٮx/` u~'"ar#n'E1QMlL vsdv!@풤dov~`[<WH@. TeC0C|#"Zү4(F?b6\ÛܬƳ 0x$6V]ƢKfŐ-I|dg&RR폻w"u3*c; 5.UGN/!-ocύlj7tgðwD; IxyX5a8L\n<K)Vy%o=v߄ntvY 250 / YX]2@Ak>,oʌg 9@ 4JKWiݛ/a}IK%blX#i ސO)@0Ri|<0$gPA!]2<]Vw"c j?șJ?y`Y;gc `cq;mo!¼d=[rpνЈ.YTbB3.Jo WӶ47U%Jk4>ߖ =CO0%mBLS7IojD\s^ġaEs\)ƙGáǢI}p^G铆Cb Ssz;G %ALvg*pU=G{$Ȉ-]#)Hh6 :Xn9r@$ifi$/dN:E@לK[sӗR5Sr1ß7,W@5JE+ bY oV$]isfj KhI1; '3#Z! -9Pi&[C'dUyXGP(۞׎Y1JnqؕOat'3R72)#TleKgPlf.c"((E/F-UiF՚gkyX|#o+P4,iv?ZfCi/I{EΤ0gѐD&-5 %ȗqLĕTF4/Hp2ēd}D+x t4iHX7]GYc/SqUKh_iBvanevn N:+"X.e;> *z*>BLUЯ xN vmIqWs:Ɯ`Ij57ľCdD2ſ>2x^tK0"#{$ebN3yd i/L^oM%uж,nh4dRHz ^c?Ȯ=-F Ҷ(E"T)/UwЯ;7nȵ#C2ܘk!amU_9+:sj v/ٔ4(!ѳ;޺LU u(KDWXKNe+| dZz݃GP(W&Bz8ֽm>G Xط͟#vͯTLz)8Uc0PY}bcm1MfE޳I߲GQZZņA3laY/H泖(D0 C)!G0i"wCi)A)k:w`'eqBGop ZkQ%O$!iM~ͳt^k@[vRsxY٫4.%8x%i>ŔQŚn[H*s|eiX WŕsY 0΋b/,zz8`U(*j{ q*hUMNM:BVyd rx>!6c$OL"ϫz@8>zN.߶ ۰ | gwbI"N^E,/aQ `:)ƀͬvr.{Xzكpy9Y>##>J[CS-fz:ߪ~AMAlZfʂ,ےOBmY)au P47w .vor+u#*nj7Hˆ9Fx } Ƀ8:r}x^ry'VСH/r'pkers݁12 \fh8$5W_Ԯĉ?68VPe*oy'5a^ Ex*Gj-=V!lƉʼnxZtZ j7FC'dh9+UdJufBPn? &ɥ 4 ė=\ˢvEc:JYKSҠ0{=E_N6a^TuBڠ<:u%+0l`$ܠEj}Kԍzd "鑄"-#o\;Sď|*%@\;fӆLP5ѩ*e 2A򊀶\=Xîb3n&wܰWf2s۽F NH(9hHĝ$KH'~ ko.cv{>NOׇԬ$D Th.!jL)?HEV)57A:4MIzfV+#0#b"iV ~p+rpGnĂ8OeYZ3~T׍(4j!v&9knӂ3&F4®a, [mghד@)e+өs[+v(')Lw=~fYDMK 0'p|G40GwC3-:<9*RMXIrdvc;ՒKM<~ߡrUJPXZV O931Fh O;؞T/@DO5A/yw\n{2Wt-ߞ/JͽD~kds|g٦ja N|Lrx=ѐ4fӰL"Dy\YEnzX3D^=j_%鏋g9R򼥋QYaCCnk7H<& `>"G/A0E+g} lxT9AW8 OZc{4fK-@Pj>nY.7XBaQu7 n;KGZTkޭ.1Д??to@8opHM,Ϣ*쀰rʺZ }ƪ2 h@{@"hEM'&^c4^ |-?֕,=#lx=e"򬆝e S+::>)!>zgSdsʺbR((U6&S&`AWhWi|Ǻ}zvoG {"'={'ֹPR]I; 泲nEԳBpg8=^[B3cyцքOUyZp_t$` ŗai'(,\A } }aVҥ;=Io8\mS! m`eJ.$*+cKE' gKK-13nbTR睐Bn1e.y<," lrvq$spbʺE4̐D #>hgN<[Qk!>j+?%cY RaqGfB|S 8Y,l{]{c}Y8JAJ\]a,"#aS;. &2taI%?wn'(u՝`H D8֌n*0pQ}sQ#qM+ixW0~c%RQ_pVL^$dΞe\X"W8N,a_WDeZy?<I "X)/tlEAq_82 0tk)kHf8xԷdv  _Ŭ歘D&=OJlei9POGV74 FDw:5$ *U~$Wrr>ˤ#`fS:ks?'&'`=&:[ ެWF(:BNa*է$hV!`酪!+(߫@»#qn+A2gq9LDZ]pGQ.O!8,R,?gb=Xd?Nʌ2ΆӁf;Md2Q@ gPNjz1._cMb$@+ S۬}/ !˿/NZհzH:ی!WĮ5JIx mU<(07~i,;jU}Gcc&i.iH Fc'(,B$*/3u"6*]% JS6hfTtx&mqAŮ*Y5s\(@XEg>حŔx ]WS]ԉgg%:Uu5`zpb"t^vNPuTpA֧/W+E{zGǛ~-x5=J "Kܠ 14ŦSS]^Sd5 S))<4Վd-Y1ч6"iR9U.H }fj+QJ,T.ɫψ2#<;*3"őމ+ fh ѹ#LT0\;oWws+Eqmr67"Tj<PhEjpI; ԗ$-T1`mx {q)ec86 ĦX)o6RtQV"E!l7dX%3h5 !v`G,6ot300J߉1ُFqEl( Yç=81MhX^pwYo""TqhcDzabGPN.BM76#zs ԏ,1Z|H(s F%di oZ¢}jU\ .cAc "\L!ũ >b fLha je t TƗCP P?'^1]'Py._Lo{bU{~MT|f9aJv$.gsڰŸz廩M9%ہHBydk8dÅ.;2\O=fnut D$# CqVRf7O1"HmZ6ZRDGg=F{I-h>Eu5lel!jO7rj@&AM|R~A_&2@A^ }=vQSpحw0,Gm #\iI v'`Xtҥ &3E5#0 V>z@f֒hAE`U4(ѳW}C,9TƖ%n~E*󦎝/BoꟿW}% )j9 }jZĈ;D;'zW52jT\ꥮA4td-r7$?ߊ"~C_3vh^6( ɤq.5h F 5,KNJHUu˱cX+$W8'!PD`rM]lV8Ɏ 7&qQZl"߉J WV*UdzNݛCuxb;Qrc܃\" K= wU݇&?6vW" ^9i>|ܜ%_ SU_J8寰M:y@=>n`ARG#%Ev, lQҕHf9ǣ`qq\RZ9 .]J \{$ x a|o_BOzCs 5NL$v3DNC wkHPKeMs9FvR{>3ܴ,DpMX ~88Lޛ|)ZiYR a n6h퉻oxr琡t%YJTbX:: vT#ԷJ?mo\ VSui" /dŠųm7T^iT2 N@`";F >~-i q^?ERF|OSc Z勾qW;D#vX 2rCn]J()-ĆypoQSxSa[(guw.WMq,Zб:_J^$'zliTuyB݌"vÊ6MEޱ"y Tl#o{P!XČ~9k NmX'&H K +'B#{øuZjcP')p, ڦpBÇY?=`I[MDD旮mP#Z2vw<3 fWiJhA%%XdMʇEiAC(n5'r8M0/)X)JwؚLRn+\-mM: zu].E}2X淊D~h՘3X W; T@'fTgU*Q(q®,W`}M\b0fqpu5uC䰬0^u4|,|K ۼkCSOv'K|'YD zcV,Ċ=ub o;l ղ[`0?a&f:m+z=s7981ԶcS 8*;we_~_X٘Dxv2LԱf]/F0(0+֌1$u{ⵦe~ϼ'avؙ1ڋpKco)֭$V9q9.)R3@ʚsJ4o꥟!gulʰQO硸P"i$IoB .Zȯѳ[cz+?GS?%MbŠqz z^(48*slEF ? j}C_}!8Je* &j͵pV_)h`#5\kkWQj9-?KӤ P^0E ez{ΏHܨ8v 1n!̆G R z;);!QW|gFꊌbOJ GO2ݥEً$Xhv9d C^n+e1CnDzPg4r6]`tOk.] B^L_ QiWj4O[]._>L- ^)Sh}SߠqƋf 9B{&Bn,{C_=Si<~ Eì^U˓Bҍ*E'0 e6UAP{ҙw*u`Fdv÷j #HՔvAK7Ɯ+:FR!'wl:k5g趠 <:9T pD_3Q4ysS T" $:Qz@bGSV8Az 3BaVow$~Z*YS߉M?=ZOѥF9zK1) mwoa.SP Sjh*7ue.w=r-MzwȪ*] BC9gKTOD7wD3B&'H4gQޘ%w!!m֞/ ~\;1!{*Ts B-ϧ;nҾDApzj\=4RyTu[33E8oeYh.WiYRTn<ӆj:õ|A 5Z&ZfYD3Qz4h>`!A@-IP=2m$yNq戳$~փSnbn#Tכ"PS27E(J2^; Kc(+'`nh 㺳Ds*pؼ ȧ9Nh) b%1׋q}'qߤtJ:'9APg7>gĄi`&ڵecʷ[OjjDJg6VQa!4lw `$,"rvQ 2n8j jin!v+y]䖖4mgTd@j*Њ?Ɉg]2Z3v!0[,=౿Jj^b7.sliqN`>S^IjȕѽX0?~[l,>+s/Zi4t|j=y%}roh'$yԅo|C52b$1 - w.<6ܚ;nCLZ @?2ɳV`t?֦#y5j>DC+a擨0gKbEDI N%CAYZ1, )t͒B:weaN?Ӂ55%RQtHm ?'UuaM<dU r(Of%.go޼ FcR-UID vgFׄ7f ɇg2) =n|n!'Cϼ g+o.O}L: *yIK|s=L̪U\k-v'|<}MaY#),)^a%EoԠ]1k&EBfV߿u:80(rL?p *w8BWFyA~rqS/"groF7)x1SdBfq]KU(@Q|O'g2}) 5GZd߄ 2zVV \-Ԥ[1sN~A1iqQ[.n{$g:JAs&_ $IӃ<T\%wE"@w( 2) U &5lNIRq17ID]tb) ,'mpz!aG%ޮsft&ywnAcb|ƜĎ"BKe𴷈Δyt1} Afi7Z@;xSSѯonњOMI ѯY}dOU[Tήg$8Zǁ/}R\~3p \m\7 VCw3]8 r($z`Lⷪq偼Cܸ'ىR4ev}%Cl[ԖmKEs&ԇ|?q )y&rü{VeֽpDkD@ҌAԐ :׿QLw˺ ^9ڭܭŹ}v77ԚHx a\ MQf&l9Tεi>s'sbtՍ7_!X?A|6ZS'Z9<U5,o6c) b"'n"'G{+ua0U,=wp ǦڹV15Po$gfj ! 1%C(@Iۢ^a J>rk繾ʃks\~ df/-Mbxڔgb]'ͰǝqACB>W5_*@xgM\H, 0.I:*1%Z`ۡӶ 0ṷ:xT31i^[L0olFI V6x ">TCx[p_Zsc e7g;0qbah+2m soEeOzM]e(Ci?H Bso:Kf*qBd1dё] soܟt}󨧄_Y_*^5|FgxڌS9#~,E? =+x~Wܞ >هݦ/ׂ4!0^`zIP#㜂\E~ӧz)kYʸE+LD wQ4̵í'K5"og)G uT\vw$@ܕK.@#Zz,K[@X$HNJ[PE Y8~丿se~0aϦSap8b=YDsMJR.hf4/q?:Ez:`݌7aT:^yC77\Ưu A4*)!A=KKzws !\t^Dh O'N7-PU|J뀋O 03v@0_c;`sbQ.a@8 (W+7[h-/ Oc\`jlMYb|v+#F@nnFt_E*"H{H4Lx0th 9//rNQ<U{u)k2?^A/v}N]yNx hxgɨ>chk e#[;du- i A@s >Rz$ׅҐ`8jSK(AWt^"o 07Z54ྺ߹uՍıaMou#BGNeؗ'?xFW9W?euc%g_d-f1f8s=2+8VTN-yK |b,J`hyԐE D(+bnV7ڑBuԓ?Juk>rlT+<SP*FI߲$Z9ngnWAt=a:Wb}U'Emn*T}۩M:A3#Ey5;{DN|8r3z·U~`sfZpx[\\y 5O9aK ,؇QJL,IoȃZV @xy1G먄蒴m_vH@{}TP'b0ʺw83KuV_[\1"HURT+qe9#HV*XћpP.RVC&ĩ #q'ޭ_݇@r@{N[يmZ3]H˵Ycscf/9WGȏ">@&PM0jYܵRZ' F)֬A%.U2 Op!/$ID:[`LA ϽA{&n+w[rn ӜH;(@HETԬkip+ ٍ"u\Q?t+<:ܾG$ź/lLA+LoeQH>9Qby>|^_Ire;/y_WK"_Rh mLȓhDH,݆ۨP)@7>=v$Uh9hˆJV *GLs@l%Aq}GMr<]h]?*Vlpb5O#vM+jRry~7`S*&NK|Һ9($#dyF3:LI3̭Q4>_ O*ErPauK :˗tE&#` 3Ks{S\=L݋f%;ӬR ЄhnL`Ė* c_h:rbWVEƧZqgVYcʯFXg] z#?s:9tDeFh6hjc^HA;CV=ULDC 3knQ69Q턍qXbk+U9w2hTn9 ]U/$'g);BںK<'d_>㽦H/wљeua*[XY䏺 D'@Fwܨ/VA!:xgEVzjZ8!Guo킝9v-bB^/,Ug״yۣ*#\׍\"f[s,qݫՠR? 7se(xCbhe|.:& ˛xtvLLB<>3jF_aF#|$9Xr, FzR" 낣⽆]10>k姅i2{@)k@a܆ʬC '(lզ* S>PQU+FhN9|J'p75Ѹ~h sE~XaV>f e"?܆Cnwy8W`XG`7'V ;=\jXِٰ]&5Ayly1۞% 8&6k; t H/F_"It`zbtD0a_@79uqB>:}ٓ2ݠmQeZ(( X:z!D 61?ˮ뢯xȳ&WIXYiS.{ɩ)һO6~ XNZ /dq}Mő[|HG[Go*ٕk6xzGnr Y[ (B8HZɒ ҽd4| SCUkN7:{qX; 0GMG*X0w :ݻ'$ac5 %%r᪑cɋRW,h [Gqkm8(.0 4{6m"(Pq E =SH7z2Z1t}w<[l(f}ꮾ e*"6ƼR?5#ZX@wA̠lKMtr}?S+ HE\~!GSR":2+, Gr.K= dzNĕs \%H[.xr0sѩ vQ-0zlUJaG8/ WոP3vZzb)yxHnye\q5\hb/w޳D>C=|pv% CLA?桸rGךMk.7/Ka;)_fqwaPBzN*j^? ӮB+B}a /I0Cenaz8EsYT=OyU 4={=ۙeG4O]yf'q+-/ge4Ž:|6`Rg#=OÈTTTJڏFO! nhC]+bNfd0 &0;AL +>NG;=\~:' MP9p^r* x|3 f{*]-CO]x(C`HpR.BZRKZG[2j:#؂@߭lE'[g:OKkʝϕ=8q^!@Q@[mvЯpE^Cҵ3/p2ףe0IdTxC_d ()T&tHGoҁ? *qV4)|$︽%Rp>Xnb؉84vC .2#Hf{D`(Jg>~i-x7L5H+K_Gt8A:edݲ$xN̴\‡ꇽKd*8gk%,BdjpMgGj /ؒޢ24sOE[^7F()莣cEx3!;7B7~y1#ߪH:0o5$(4jO2(Z%,, v@2! 7ԫD؞D${R#heZtDEGx{3ÁmH +1݊d| f6+SbK!SQ%K6) 2@ZjX'<+T1èB|>rٕ&$g։/-c&iv0Yr7[NUϊErQB7 43f5=d~Z%! !\tތSª7w}ɥvս| ZF`] 1 nƿIϽ%v6V5Wư"/\67@{vMˡ흓g+WDm ,mh|à "సF!eG7 u_;'oPbE(jG{27ohZ뿿a˫ps Z‡/:9-}},Iy}ߜpA_aUC}3Y Qve瞧e?v b^j]eb4&ɩPmaB{G,ҍ&^-?Kq݄cSL 4[I#4P)2<8+h[(%=0K٦0jXJ`V2.i^pu"ka(D.~E{tH:$,SM|TNvbj%8cfn9 zϱΩMrP7 2 {A/H y(S-?~wOXiZT=|IR=X|g~'ԝ ru]hXWs+n r3剔LɫGaNHhzg,`^#E֬qYLHlȿ )^;J"#sN m*{A*Uطc;ic|ز]]as|]~[{ ϛre@[bL~+pP-A ]6[4W@6U$mkR BW^gP-b8[ ZtFY;AMzw]hY#E,v)%ب31`\6%<x3.O,]=a[zTo߷z+M3paPn_t!ٜU)S:1;}D/QT*XmҪ,eܭ3=&gaa|+Hiz<͗Mt6DCnV臔PzYB{^3SBX ЯSge۬f?"'oUҬśwؑA={"x^-mˀ*;p^oy0ÇՅ3]N#t,ߋq?bYyC;P|{j9?BZf#n,5"H? ao`R6Q sMuA* ZH3H*[~ iU6Uj$8Q>$f[jjĤL}Ħ,\axNxLͩ9[ }Lx9XQQ2$TBE?b4;xƝfd璼Z[j f6DtX*h(Mڽ`mR;C}[1vXan|l$Sr=[ XgV-JzyWzaz!;p9KT|v/_jR6S*.zETRڛq-Ocdc [7"¿r1ʫQOf`An#^mui37CRrt{QGXhfgVʄKi7X `pJ(+=jsqC7Gwv&PR?r2TP7B{FL7_ iʊGVu3K3,H>v)gK=ZRVZ 8|+_glI|-m3<s͍P"S"NT9ߋ &BH(|>iP B ##n^%;Y'eA aefHxDV[5Һ8JhfH`>H';f/Aco1qp爫O$ְ kOq}@" 6-5^qW6.aO*paE /L nn5 _W#fZd֑8g9{Hmi1ڜp P Nv,$]2HCq/3"rU $?UFزV}p=FihJ ΕЇ_ۓۜEUX|N|_;ŔI-C0y2Su# QȉKz=r]0kR9mIÓ[f)~T"2/ȳFr˃o*i2.+&~y8а0Vsa豵dɅf;PU,i/hwΛ4xy[c4mlu3:J3ڙ|Z/ c[L~ZMUv}gڕnk fҋ15&~gvcX:y|5@XWG ăB( I5czBG;K9!EA.#%+gd5jagX{mOALK~/vBp.m$΁ ǓI[,8]&䝓ĜśhcZA^[>7BhvuDԦH[o3teE_A"T.lsSN3:Pl,kusVLpަ#AsM!VxMrp"+ج/3?vUR ew5\ܶ*_8e jUPSpjO199H,&kjk2SvL9qSe<,PZ#Fku4:|-Vrn &r -yJU9g蚊}-z(E2 lThލJ@ܲՠ0L8mj_mQ[qiT>N(WB|(XǟW'k@civWTd60)v"jqT;0jEŝl/1$l_zq}pv- & K:"/݇9_ob'rG%;x-,o_IHv&xLm!0w$_gSX8)$N3o=jVߧAs2` K]2(TG![) 4YQ#6clq8mqI5ϣPg#ƺ,Ə1Z0P vr?ڧ}Ι֞HcIcDFzTXGx?aMZ|u˯>i,WLg>Ux1^OBH $T{ͫSJK%Yrp^ЗKMշ-ʎj@*,4Bi!R/_l;_d,H~u47{g$Oww%|:5FuX({Q'U<;P?GĠ6;LcuAT ^Gf6Awƫx$ڎE+_u(^!"̜ck~҉l`x]Hf*wk1Ӆ>WnN=o0xZ1Fu;{ABz+ʿ-Nsv%Ԡc$]K[Hj6v%'{/<|[ʼn*ޙm!.sGN瘅rro.e`8uiםtraH#wa pٰeE (Vlt*F?$?S6dTl536?K2nּwwGu];&oCm&Fr#\l1Z ƅCC݀_еl|?tGvfY(}l1.߱%,TM\F^(#&n}n>(O5ad$,$;{"5̅MA4J$:ߜOj 47\8@T'<>Ax_X 7ڶ@؁ݽ<" `:pVjVDzJ#!&U6@k¼j5a?f}a޶ 5Rm?4wv/)tF 99)c|$oFXPw׻κaf%))p\rеԞ❆)1STWFlBgP5Y7v;WtRN\7 < q^77avHMsnI[҆ fq(S5夰(6q4a>djCqndh趵\r/˝ĺ[>g*^OʅQZ?yFfz{pwP[&6,P'"q} h&X.D =X~ @<8t'$?UF$1AW(>$Sސ6+-p-V:Nݖ,9cVsI??J¸j]2B 4Sj~6!ٚ`q!NG =B&;۸qg5iZFxŖ$斳٢849Tz%eܖ[/<Ҥ%Z;1.Z8%%n{;ʽfcӰ]|*C!=H4Dthx;9%?iT7+uK-5yu3V84:#osnhPbj2FRXd]a!TJkFɷ\9kGq+N[[{NHl n ;wecki%D2& O.A5!+o[ G/f];'`#-$`#>@js((ah@(T_fΰ }M0O$Yh*5ؐ| B9-* qm>"8q Z7@#^hNr¶ۻۏ -,!Qg3{i"12Ov"񃯷5l~ANjrh˓z*(ihu: Vܮet/j0ߦ f}0b1սSD Lh&ʵҤtOYL]ONia@6Ĝ;uƵ;8rwr&k)WvL к`ԧ3O=G%í54pسtKhX :LW]~XڻV 5qb >#F.Uu+N ?$Vjƛ[91@igѿ/ȢD-::TPxֲVFڅV@͠ٯ&tZ*n ٮ W _蕫wnr dNڡG 94S u[mn9,2wEQ:~5pv4QpR 47F"^'27'7Yזl iOe5e]ÑB p[/:8I] /f6XSF jXuKՋ%kh|. "z"3RnߗhΑND.k/7L,z.(4IE#5\8^R+o馺:u,5=axv{@~|M p숎YɀmٺCANqltjmCĵJ'%y5 B1`]ćCy“YW,h^jDdr#7^K'93(?fU07RDAF!<pXǤVn7봞]mf?37@ςi16 ū6_tc_tǗ,S 9'AIXz͡5H3DxMMTpriITNްʄ~qbkզ r@H|Aq)]Z4mj1#|[edM@oHnLkk#uP3sv|Z>8* D==[U]„s8W7% a4 -%k ώR*=1K?$Խ^^ X#wZ' ;M$F}ۺDn'=Ѱ{dwnJQG咘Ǹ^%pLn#.~>( 8Ṣ9Pd0eO q'7Wdc WZP!<Ā& L\oAhSWܳ KIUpbh֝ubvAAkҔTl(SE2!bNg D@Pq*+}8Av(ā(5-Pձ aopGGdZoԿ(4ak|v'0NTK@!ƃߢǍ~?U4ԧm6H+-<ؾfz:&`h$-Z|x9w%boh_k)$nIos´PWc F]bP ,?xj7Ra*}m7Yr[ĖHCncw7 rjLeQNd?8y=00tO6_Rĸ>B(-F v*3I<{xy:ZxS[/2-ePYJ{4_ Rxa!p㽖?ЇQJB!A]-Uyn8^ػn|惍~b?7NsڼwYګ-2ŝHCCݽ{oEb91КK J!$^42@zI:A1kV$؝iʒ۬,7 l 3{$ يLٖu` <|tdIX_dôebW_x B':F<WVc9!fnCa?$+Uߍߕ`S `к K#, txpKebjwJ[$67:M.a%9RHVOPF$^Й]άh :HeNJGʧMȲ4==ENBub6nw aiJDpi'ݷIb4QrI \$"j3uL{k]PPCJ7 #"$i dT7pwc+U" 6Xf5|{t?m5 G L}O/-ؾ==ݿ 䔸$|-8V̢ :k!Ү ㉕wHK cwc{> Zg*9AVGa_ N_=]^ en j0-NJŠd9|E/,q["Lbll ʓ;uAJ]b('7wR-_jB?|Fם~OcCɛ@ <'&oWOK:yjwjT 5&3ZΨ! /kBkQ4EӆyWVfUp7itçdF'n"$A?дhL!^䚓͇{4nN75wQM? e| fr^6Wt8UHBGe! nn]ü waRˀq7u Ml*YYr7tn;3۲c Y// Lc[XG Cewed˳|x"Cض= N`Ps*' G/ֲ`! s ^R^H&K |˻0&bFwo*;m,&Ljg/ҽ=7gBqFXCX~]odmWאeʯxJGI?y%Ix{vl-Q` | 0 xl.yc"ǂTAnf 3evw(Mqm1e)xDB5^1-Tc'h)t*yKSdڮݛB,F ٿY{0g*}97'wKkaj+EAѷ[:ƦMj5rO;D6/w TM<8= eΪ!$p餱XټSX  ,Yr溎y?z$NQ lEdBg1V5.9ao~Npaks~ )kP nR57iԫIZ+ٝhOx 452: OUte6Fpnfj0{YMavZY+ջhUQ"ԥǑ"td&=.VLH(u (2ޅ(hFgm6b&a 5^R4DbUVeһnVJt`q'>0Ecn.kkkRG'ZܳOimgDU&GaĎHdvBL@0(C!WNoVCA\]IFlFu-ESֱ24"Jdd x7CToJZ=&*4`m ,θtf( ^ߜuay%־:|QQR\MW}T ؗTsc5g5-0A`jCpmȠr];J0'0<:wf5*KL׋psi%ɒ6Kj@>䔨d.^h|TAKgHP)yt >LϞ:b2V Yp .zg8YBy$k~5!ŀ'Q+a4_ߝOtyBEoVe!?6OY]Gg[&8ieLx}"]ES }g|a- | f-ΗG28ch-ժ|"x_mhF3Dvy^=(@8 'KdInyRN1%{aeKMD;]7Tz JVBPvc]@?Ir<4S.\X?=,B=TdC)tCYK-.ŇFӤa:dяTg-9(ܷC{}/;"D`o$!gS6;EZeƊ0O%vXAGqK&j1-:ģVQڀ{ ^z>gx݃b{I`|!ںO?5Zk<,C_ůn=欫ee NNwç+#lV:xR5fK[{ yJԬrM JaWV(C8Boi&E}?f*V{zM/s xӂ!K`|w?BnɀV:ܫ2EY6;eeF *A_': l;hv7)<|v4"{:ʀN@^AgudA% r^QAo(Ǚ;kdN4Xcn3Uʠ'(3{i4ǐOh ccSgYZ7zXZִF! "4c]ŗXi%L%GTt.f|eN gԹ$q57sh$^D$[{G ?>% o9n[~}/G6FF^yQK®:81Ux'i@:NzjHQ2bX3xԕ}g'2]L+fkCZZWb@/Ff7n6I L)oASqVixEFy3"m.L߹uXޞm1eVs.w.s -F\4ĆEUM/B@xFEJMۤ81ܴzx"8SE0hFbF0Fg,Рq`>pJo8 [dYZ%&q2>I}zssݖ !q @)V凧OXc[hjp| 4IV[_VYZPW *}tEO!f%X26_+wϖϕL({~eџ!Áy\Ž@Jn!penɏ ÁhphcUDY|RirS6b _G*CX '[S0gS=T[ཕ}/Y "SDdJgYZ9f5c4d3f2275ee9b7a9f52fe32579907a79900d83a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9 95542376cc27ec274bcf1e627a98c02877be4b63 fa334a42b5163d1fd47f5f150ab9e5b10bf42b7f62b4802d3a8e5310e490e65facab7386bc03d4e5