SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  WOpD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.761cpu=3.737gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='ppTjnyh4%ڢaxҍ'9286/G%ag"&Yd&z@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.821cpu=1.649gc=0.000^X]|7w_,}YZ7zXZִF! K]ŗXi%J˥ u6ڡ= 8/B'RZg%)ufdӥeReR/m( 3h9!*SY"(!fOK̘a#UM7?0d6w,nG%;IgHBNup~kAUJEJqkaݍxU&_+\^@Pl3zHm8;HAH2qs(w@^&`Dp1ʡɮzs9"߳ P47“l堌cݤNuǮ%>8`&ޤK92ʆ{uGէ[{#(^(^k]9/UUgYZ47b8b9db1b9cb1959977f0f2e6c8f919d1a1ef574663a55f367f6021a9d04b9b51a51d371f5748d6 643cda05baed70bc32c48479e948603981aaab65 1fa62f4dcb607d4323f75bf9b4d9f42da931d81f b285b95758f76b3d355ec5408befa602e84eaad0 ee16853d9d96d2383c402cb3fba3e2d916cea1f1 $O HOL-Nonstandard_Analysis-Examples 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-fnQXrOqBPc-{]&˞kx|7tHW Xt"ŵ4{/ `\yC{#dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%::w is>Z ֩y**!̾L蜨iԻIQW7@xw?PgYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis   h B&^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup[Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/filesaOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   kՖV,͘z>TXáAyr 3ͦehu0lVnqݤW0ƥ_gc߃Uc0խiZm2J#\fwqޜijО^O^`){AGqS&o8^{ׇ%mDWsuuj%q8DwVWZsiڥ~d3$9g>0ZtW :5FBM5;']eOޜ _I!.|h ~HS#h))m!FX-k6'h+)e #lEP eTn2ZRb- PFؖԒVX*<orgu*[?bkS@<-6/0* WeFd cY7Ll.>QƸJޮ`OFKkG EkaبH53}!6Q"no3B4O-v5EPtCyY1m J#E5!AD{$ƤWv =k%%Gd.yqՆmH 5k.R4 Յ,˳>)Tt*{M ~`Snw\'ǭ;]I*ilmx^VѕVE4\EeY8pcv'u.n[%nz\1-֪.?:86ؗoU/qLF</mRoiwȤ奵C1im7 aAv5[O=__g30#,PF[BI?'|jԫ 3z(J1 ;QvQFJ|ROOQ`S-os|v fnrv='rg tI ixuˏaMx%q߿eTtN焃fo!x}5tƓ!onTJt0qr[Z N?Ԇ wq"qV&d[N.Z4q]eD.jyDh;OWv{RbgJʱ/Q|\bѿ*l "̀m>{&VkyO%7BWvf8E( ,pS֖k=5[sJB޻GkԼ׫&*A|)47 ۂͮߎ*IS30D':eJ%&돼IU.ST t[;79Z@*lUmHuWBL|_b,a4K헂//@=vP_7 1zj<2%zF"(* U=e^+7xr$EANMfi ql/^mba`E,HE*żX(yf]_xIJCW6Fj,,J/,d/+77UӎiϺ rsCK\hx8Z|WCkܤIĶVJ&&tII,Yj`qޖC~BQb׼uViA+l A3UTb񶬄Opʳ(I>UPuC#޵аI~Sg4KZ{B~Ɩ(9̮ۙާek>B~.ushv_ݩ% Κ q[:EG=Ș,P%I7i@ۣ5GQiC 3kir)38Y|OW],ܤA dIqW(z"(r|:%T]p}M\~hq g%XV_i}{6 o757E=d'f(=43 ԃ"? {>w0s`SN,]Ts?Tɒ!XbIblZUb\)Z؜SO&f@Np;p;WQU,mQ;FAl.J^fQ;ŁG/O /RCphwu=DVh34?E',/tzSP2,\+9ξ3豄1bI;4AQzްΧN`$-4xEYקtʃZ:W&Yc?sZ9\9OϓPM_15sӰVz}|ɫE^stcq!Tc- Xl) X8([&M“<0O\j<* ]qXiK-3bOE!Tm̪4KR2N'IIi7Ou# |a8 ֹ⪔OpKYEǂebId =PI5 NzX/+H\k_ XJ,\0N 5'C}$=:tݦ&X"[~cB#/j$u 7"BI8]Wd 0%R:Ly3x#5c=@~DMv2tԻh,҃쳠,^;7$7A3=7L$5SB@Zk17=1c$`RAlBw~7ܲۖFt-a[Y nّ`/@/:C1~.G~5z*Q3jQ8ͦh1NodF̎T,mrݦ~h8"dpP{ X9T"_`'MujMH[ ^{ 3GzdLr {v`\aQW7luej w2a??=8,yV&Eh&K:-Հ%8$-&rZCyl:[ʹ2?)mo>!#u6_\P:ARPgF+8tnQ9_`cce;қ+jI+d) yFZ_Ufn~g"# h'iz+D. QidV]Wȏ_)@'V Z>LQ`[Nq&m{D R5|dtav lpuh:tzb{Of fOE9 p6ť.&d۶3n09.y:8a=Y) D'ήp] 4u.O^%_"H++uz |2DcV0}'z !>)bC}AhVnI"Wu7- {nT=4|%D{TGCݩZ^|7s\x@t`T vU9i,4$ (c5x:*fP@ZB)`@&9 hel2,"s,GQuCG<2ϝ٩1Tb*p_"<뢅eJ$~ а,=Vbrkлld24Xw! t%r~R -%Gzq_yZϸ4FBM"%$ ȡ]Hi:ȼ8Mfwzۍ+ s@ 4'JZ1؁k%Ox0m1nd- |Xe A@O~޻ oH hS%6cY.$m 9>΄Ǘo[`G! bRML8QWH zL_$h@gIȖd%uYtYΠir|/Y5-BWMդ0}3D,Ř Z>KQ}J&3dPlK\s&ȍfJ mT@ w`e.;4ny!ג; +ޫ9b1_3 !/R1K_r/xAi4V,JE`GlT,s͐;-WA{ORg8AE+ѥ dzk_N`n.~:~6Vc^.ۚg ͉3ܾZU)U6c|zls48s.r3¾P X X*/S;[)U^cWtG, *MRX}sa<^|bvaĪ[m-[5f37Hז ըY5H}$z4-L(8;lܨ83Ha؋#'19rvv1avi"^EXcr\ԯSвQ}u>ѱxq.)2 Į?B$Zh ؀LGVDQNL&K\ tϢ>L]/ _IZ@c֔X^˂O$!8a ֧B`7o2ԃgLŊIq_"b^iA3b:)$d;{ua:%cp6%.J1p p0v)-b.ﺟv&%\"F6Ml_(*y1b=hot]bj 2f3 o:L\7-7]iR*7_4*'T E;_#_o'@qŪ7rM 66y9̑X(n K5ڍ%GXcY&p Gt/ö0%g>*KI>üK;1_f_[Ai|&AH9dѫN nP#q+8Dl*e!ˇK?q$ݰT=b^ځ0;?zN1GFőO;rca'GaB@HVn`OuVƯtWM:||heI$[b߶1cը9e=t P!\-ۯ5Y$0/ξkl8Tpxhٵdz0 9 O_QDwhӬ/ )pI8&nZ6ξW>oRoI_L"0d=I|l0E@S0fl!-!fgH삛4<ү)ёҩ6q?`.%rm|KFR%6ɴaL 4l'﹛OӀC*sCe8j'.ths6?ʉ4C(on'jw$?7[AEʵvb)K7߸{"pUW1C22.wW")f#C}f'$;F`制ZܣTG [0{wqj| _xpo 4g&qS]WoXEP4l'9hۺP1%娋8cfY"= jAC`,i-hN-Vj`b4Jݭp:fYnxjMU YMAOU \A]ýS^Ly̩tG#.0wI;x(٤=a eM̜zzB `SODY׺; e׋UI|kYr*8zFLv?r\1Hg"Pm&[[[=;d{Icp؁b(H T4.b/^< 1`+<=;91<֊$9ACWFx3%">+jPBxF<](Fk3gvxptF::>RG"jݧf!e%-^0)s9&d󟪙\.h Too[w0 4I+@ZWw Kk^=< UV$,>WNAQܫƶ&58!pYgo5o6eIXH m 8>fo=?ٶ6O_"36d\$$p3nk#[ptKC3[T>IBh^.`Cg~/ɘ)/ᦉå9KHQY"KeJ7uܦK5@UsA3r`۵|Ⱥd!:Ōͼ>@ةǝq4syZԠ'cQ3;6?fۭ0k5:>s齩s>_S"Om9uVxYAخ~aן??WXm: 8GUu*p/zf7IjHZB#ڊ#7sW`HVmH׭_~ܱV #2ޖחug1Af9J; Xo,ETZb)rŽ3;ϪHT7:is 䈋)cY4,V /8 CތqLW/BΉ\ۻ41\Zţ3ղ0&d=>*q:C3ӪV⻽_v@!_E)` ShA~î4#FY]9e|%goT8(jFѬ4΅sfxڑ# Ѻ"tbJh$Vu)# HANJG!sǣnip`rAd)j3#ΓDL0E "{@7XKI'TD iV+hȵ{*JHFDVH@aXK!B܆u[qfACLL6tх#qɔICa݃\f0 ǏWkB4E&$ݛw &Ac58sL~@!=蚕N/k =hTޯ;C˾*sacX+r݅]Pƫ ,œ2+qxvGߐ3mSZ`Čb(a'КI:JOqfc^/W'„QrolO)l6oJt l_>l--I}Քiig?.twLǍe Ag咖߾~{%PܛNRZ=%袹zbǙCT dVZ 5)ѾeSA- #S:{ _SqGKyv(G^*RA>a/mz UӣWAE[Nlu.3?it) ,8EoD1%\3]2ܻR=jZz J1 $| ܈$Xçdz=ݡyߖFMay)^A`(27[z&oNS1BC ֠;{X4?` .>.<`Vk"rSoP!& qJ˹B#j\ 3/VeӑٽM$5O"in9iGwāK[S?( ZdaE{+ &>mݺk:w@TTU-vScA 7~bH>X[qK E,(E :<^7!}{T:]v":ǭFKiYpx_YN76 Rwgk=s,cW6C$vq)}oæ1~^.Ζ2IܺÓ7hߦ;~_{ݏ H{FPH[a3wBfMF!}1JҸmA -r"w:8uax"N\~:F Elpȝ3L]$0p7+ľ#FЖTz`ϢM#̇YMVǒ/ 0٬?iy_RMzJ#݅补()hEfx\)z._05))'mA CQǣ 2dPԅr'=:gZ03Ň jvf0p_ |[G<{^݅zzv428\nZJպd*5FoP 񻮞S ==E'̀{ og7@w$2H5SQ' 9*~r[3!X\Ʊmu 9]Ԕi._a0p<;IR5e9N~& 5hO#FmrCp^6Uj2}i"׷29 N9Y5l R/[N9&zyg?4Ҕ0"# PJG H>YԚVv6@[C=q>]s&ZVޏ"FЖq4Ko|(`L(ɿ#| T(Ƽ_$ETa)ӡ여򣑞aţYSWMvM=0ۑXlwb}-ҽAvk@v{vS7YCf"1vZ3ZǾU"FX8Zf|vI?ʖntک%e[&߿je81 ,VSBeY7E9la#K8C<t&OS`-s[[:U )iG "mE Sy=KRO;eDk愉w8INECS 鯆yØyת,dDhF Vr %<<+ D19a ̖B nlқw]D1 {ir,(Xwe慠c#-.vFӹP-cJ \p!ohm0emx*0d(4KFX>OVZ=)>}5ѿ BŖ kpE)A37OyVO{H4Z֝hB/rL̔[q(N,fy:e2 :z P1LX~B^F֒ Yy$=p \=k8_U HuOmJ0y Cv!!tYrхd9)W=+gjn&M Ԯ΋m+\>*#$Y k*~nbGu0Dz/nTJ a:!%;:KAo)a܊+gʯ,lWQ Ȝ=P[%bSk3sҮ]p3۶t1'&>_h*ewS nHOTCZ[D3tk}Yh\M.))`&YM(7/^~c l6,9aBj`mMjY|r&h `bꆊOYҍr.yy2،[Z:I rRl>7h/ 0%"H.0dWJxŢǂ4NJVu `skCKL(ǑrgZ5@"ydn^t'Q0 W&1]>{'`ec1UA붎GU+KtPwD(FK"iFpTs Fԁe^} mf a)Č{{'C 25/*,5[Dyz&N?!I:n0rF.ӡC;G`6M[&ս.!sl74߈#C(AZju5xR4Ȳ?!O]YAu8M&+m#p[(1l%j)FQ#-@w@,N,ɘ6E֋XϹBӒ. =Vc4GGMl /G"Q0z,Z1AGcP,qAl1]&ip)>-gtQʈb#IxW+~5A/5>~QguHS5Z>;x" aQ;{fL?S^d5(a'iQazbǺy vQ́Vd$5{[:4>7Pᖏ'%԰QT_߾D)kK rHA2آt*':o ?Iie ~۫kTWyCW_+q/|?tll5 (Ŋ0u\KMzuQ|e$gYZ  Y* 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-fnQXrOqBPc-{]&˞kx|7tHW Xt"ŵ4{/ `\yC{#dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%::w is>Z ֩y**!̾L蜨iԻIQW7@xw?PgYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal WW Oa) tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 䕻=]N}T':=Q߲mZwb3KzdZ4ƅKF*TOlp+C Ģ@ፐ$.zgD'vq\!>5ꜻR|SWl/F_=nZȯhA8e8^XrqPZ:7@?w:JexLWb"1s/;.Wc\3kZ}΍j] iR4u׾e.sQޮlVKO:Fj_o ŪN~/Qr@r,#hIcUO? 0p6@T+Kv`+N Җ.𼖖E՛q" ux tMz"% [>-@!u,l->P(`A(>mIUvrzR-ٵ  | X}AV'Vq&2TRO1RTp YmD[Ib;k ^Ȇk.Ip|_UDmz=n- fkH*bv A1U"њ+6@sDk|.* mΐ|U=c%b؃[ܳfQєΓ'*Xl_:#s'K`6(+ttb-aGҺ~ɴyrKq. +5IM''xB}G@߭ GC]vx&ߦ셴4 ybs?;0s#1V2eG؋`Vpὕg8 pabmY?*M HɍLv*d>pyCjYdKw=gYuIגJ΃dƖaBv O3@2{)2/l@e'Fqd dHݱ@eg`^nQjm1 7u?EDQr]* e;ھyT;j5cBsHy+"BTrB3|󷦫+߆%k4H& ]?C&8OnkO$Kղ/jμl2 2'_r^\VHA3%ލЃ&L-5!fT:ƘwNN{VM\S]nUĩ`G@/*RώqXTAt^cP!{J8O*wyRJӂ;Z'=_R,DzPm_folsP!zt9{"jvoЛ }m9 ,\)qLJ8'=X՟H\ j$i.?4q.þ\nʠׄM ucJCȈ IIY[58)LLwQx[!kWS$dIcssn71ʹܱ5ߋ$0?Ւ#*0[ʼ6%?ZÃv6{׿W|y=SWID8F uJAzkgVQl oC>$7W_䑓?۶G*804c 'EǫJ 2bzFw968s{"k^zN_(WҿodetxLqo숨 CTIX[vD<ϰM5PjhJ[j`l=~5چwjWmmJSXw4UviJ>$,Jf)h잁<0G -1?h2G0k_`3a\.Ӂ饚f,Oȼs| %Bej5gS [u6mzކ9jkHI%[Wt`XGA7 :-3h/ \kIj"s>u3M)(4z haZ0s"C34wJU 9*SJ̬MlvgZTJ7F>t9Lj;ӎloՇ{=6}iDjgT*YM]L>c&q6Ln a<S8[0( [1Wq53)g{uU1m"&1zYS&}" p#DB6X-V.p(@ſ37RF Oi\@f$4G`5yF\typ2(5?%U2>f BQmPZ2-x/D2旅0o Ιy7;` 3&a e^5#/ϤVRYΎ,t]ҋOB+KQwϤ4t) 2Ɂpû5 yZҼbϬb9fVb;0&E*&+y\eLoXxG 4$`+'W Z!4 EUlF/dύܿ_%Q2aWVi7O>qVMoFқ׭p͑zTlUi.>_<#\*x›*"պBK)[L>}qj_S9hwDE6@[RDR`~VEпB/NBP`+f-onVeHJ"޽f۩Џ   L Oa' dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\ZT⫻&qe9/>F6mЋwW9k.0B9 ,Bɛ@0+0aW.]ȻO'n'|fIp/yTp8d;C<%_x?eLmv#&<j$TCSx'-5wO@pr^)D@F3W&>m)B|kG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:PNلH٢gy56r r<_:(5E+_VYݫu=EðbM/JYGԆ؀a1#*?0ȸi2Rg\>Ra3S٣٠A:|OL" 鿏c K,1^a" 'ٵӇ]{Ef,N 0TDch[?t0x[ ,H.?yG6x;({u k\k/*N9\NKrEnByGLifF?`PjZ5B}_-)L8G:pŨ0M\oh mOpӴkkѸ^G3 ;7*yWO8Eԝ HO\iT"+M oAO!'$i.ʄܼȷlIU;?=M;_2e#Lߣ\KI-  ͧdd%V̖- 5d)ty.Іvt hݏ}0 =e`b*%[^} 9[^rبwJIHRAoKx|%LTj{B(u%-]Chr"I-'»`_\n :_i,a}Ti =d}6_B= ܕ=~geсsl!h,.d2\6 QKJ,9er0&͒y%**F5T,uvnP%T"Ádj/XQ :ʔ!4AՑOP% ڭuYEk)f^%qzZ6c ]gt %TE!X NB^8Kd-[uQ)j :(6؅x0@Їi%lY5/{L(I&w4" ߐu^f3ĊUvm f5KvJ\=֖k;m!V0ڎB ė|:0<10c*#0'X)3dq[H(>\1x'{! c2"?M(\fwr_מb;k^G/!k(obmS+/@db*9’G4ԟQ"P]»Dɵ钏TXmBaA`#6^FCGٮ˛Ȯ5Yoq)p8Xږ3"ه5jTIjV4Z3iڀLtSԚJxˡs1AQ,hn]C;ɖZϪbJ6t|<?֛=UKMg ѻE96pc raײ.hܝgYZWR)f?U MJQ RVрb3)'^4lw5 lɐz@7nI]2yK*9M`GQضUuۘ܅W@:7K'&dkVfwT[2dEyqw,a-mI :Jc6ZARyxxo;SUH(ʉX]N1{~Nz.g"k{t an7B6!¨3[(8W`mGefW( x5*h}3q2?ߕ[2,s:KcB7<B́%^yOh-Fk߶ze5t|אB5ug c/9G9'cꔓ%HRfP2m>v>oM~ U%J@&eSL<7Q,u3A 9 ;=+ Ə]C4'; á"|(>+4[QY4Gr\74bW֦`15D!06sĩYUƏi\1 y!l"V7@H!42`7Үz'+k]k]."0,i 'ӷZ pjx|=hXi5Sjsqw_ ]-[;V%kI07=]1uN5\"ksA],u{V* V1*AlhtI„zͿI(*hF hG88./=?Џn9_DdbÐ5.v1ɈAar|2|(\@p~83F]ΰBopKth 8.x+Xd>Ej 3lr]""0XS#4 <\Ѐ]}P1Da /cY~ՔVx O6$u'פ$@b;V)$y]5=)oJ.-M vmsڪ0܆1 -mS繯6Bg(Ep=4ue istzM.c,Hju6AR^E[ǹN*K>@DIJG~v1IG _Mpܻ{[i1\zш&> rs8ݗ;'P)ܛO=t;P3kA%; @kY$4ts8r[)2Ş:dﭜc8}&/4*9b;PvV'ԑ({.O[FZ_*@;V_ ;/UֈZSG[3$%~* Ɇy"'n;ANi)TUU>HסChؙ˾Ȫq^+H77–,r+QO/{EGTx2zApM<=%)Z]JXòP2 a5PW`Y0r*K ؑA +:x{2͈VC{B>]/[d*:E>J/a]\*BǛ ks8dN X{+K?|A6yCvdkv0ޛ1ZH:Y8;"JW.):  F/{p"^RbEhݷ7jb{/K8N[R]oT<͖$z9AI%c1G%#n[<מyq>G.ػs*rp0=I61B!jJ3|Yᰌ](JXNWKwh?ݷT׶bobq$a-ٷPZv9Xv+f詑c?[J ;VW8c#tbdr›}UaCJjJm8j_+jߞ!XkGs OȜsu2A#̯ ,pze.+~]/t~Cq{`LN/QJk&3`t-.3;cBįk4Qm>>\mYϏržfFXć ؔ`OM#ܲ`˅4Sǹ8]āŌxZk"W%XXl 96g[Iħ%_ğ@ !R Pŕs }eiUM:d ilR.2(ux?G`τw*;`~MZYnzI_l%ţ?8~狃JibIE<)'^ *p)0;d}?-,'`<:,j+\(kp(E/{B3q?&$_R^27FҵT܋"ق:+n|+"VHm2N~%5Wȭ7?*ޣ7?DŠa769~p3`7B^!$M3q~0Ɨ[];HWL.A Dd^Smodh6V\q-17{Sc5S Mb(}sBj?we>GvR >|&sP^}v<~f[vE#']M:uJPip= AA<8>kٖ` @D t*]p@K jA3bo糘@Bæ5G9ҫ(624+5 @џs9AЁF4^Zm8|7 X (KU47Ee?c^<]{_7HYfG{|\_4Oq/ %Oin2Xµ@u_Id $AD*+v߶’uc5(1^$j;qn ZGBW 5xu- ㊈6_0xDkMl轚Ę0fےhRxk=A' ^O˂ʬ$o3\}hT/j%Pht4oϧ.B?JhX!;@e1q8Jfk Kywq[w}!.hSe䝦(c60匿}X v mnVU?tq}o\3n`w? Û'A?.3t3FH^(CBwJ'<4 I,!t*d )-+y!2' O_/}߮S+&Td\KFO[U/=_Ok6*uz(%㜜HȞ ?6>^ qϷ|m'sPzN:obBEiL[rEnǷFqX:.݀O?i?ok@MtWi.u Y]|>o#Y 7r-Obp r<h =oߓѱWՓ}=PG|U^ey󞍊lف+dhrve%'iv1z Dk!hVND>>N%oڛNȈԪ:FgM=\=^`)]ujbݷIC6fc7-=Rc 4eå Uhjh+ V8F2񽯦(Ŷ_#LA"ּuZ%,3WnbL:F2Pr"RōN6LYʰ]r؍+U<ՎWu*'hh!z#gXu||ޚ8nߋȀ\ݻ!B򷢝ΧiXE{,qpu!:Tx+UurՈH,eoqf{Q'TN1ҵ/w|k?-gD,D@u>}6c^) T0rZ=Qb,!` w$8V!86L.5F)̛ Fo+Y噁ԫz2e8B4-$O -Wkd$qWɋ}fho Χf3$Zo.3z(Qc4NV-m,u:XBm3#BU EKrn @/o\J\Nh{ػY "ƦtN)v^+7&SJ4 E 9s\gF (6p+׀ s>:4V^cP" j;gͮԷQj'vѷHXh@[ܧʃ8)^:%6DhztRzuG7Nsr6G2܄6EOlz55b*Ċ -B{%<6D1 /.&v lc,τiwcC:Bd,Z$&5a{ W~!?Ŏ"#"ln7 &7,,P~oNva%0ڂpY \oAfgRG] +SC "$f)cF bMuZ?wz3rm @Vw('Wq k|%x6u_GsL7A?bi@5D UZoLhƍ\WhHWz[uQ"7l?$]VЅ08 RK08PLQszY5Ȏm?xFP/bQ_iB7I-#nd T{001fsg7"`I:BHODt~ElԦHڰ^ iS`͖HKQՔ}:P.ဝ5kTsXd2k( Ɣb6 !(/d0FZ_C(6#ǬFGAj< Ak?rd (X>k˅QqjEgTDhL>/  6tf-ct_G" :Ruu硆-g@ه=ܝ0FҌ>jd ml/.E/'"[`'qt+hp3?v):j eQĈ^׬`k2@v xH*|\@ԞH `#ҕsD}Wڬx]#뎴R/1G3Y:.n~c5H1> s|%xxE/[iI).T @kL^xOdMtVc4a;́τ 6}--_m A{5c0xTky2twHUР00a-y[ Ę bAi" b J$4n8;>S>Jߠ?7ԂCڽ&IM[NO|I*FexLE"}޻R xp}_,zhS5Ypu^ީt5]X^͓Vr~51R:jmn&K˦TmP],`怙#˔Eo!tKP Q/]zىܫ{_ߎ<*nB&2 vO} UBl S>nZO'\!Iʢk@v!erШ;p:Lֳ'$snwr+ Al _O7ցL7t(}k ,| ss(@&(2\U|7 m63n{{'ߦה6z071(*Z.}]ŧ2Ar02L&p3EQ, *z %U'k.&u*0k~8&[2 jk;6(6/]?3bhĵST{]9d*%olh%h ;ǗR }I`S7ѸWJu 'I lCH'й }:,msǓ]˫~ʳQg![<'6E>R'isKb P 6 P>jR9iPa`:IH9 5|u{=w4 Xcn2`3@dgmm`*Lj\ɹx'|2rA;)|oAP4@[JiFLM ,.&Ho9A_fl䥽ދGvb5xuӽK+4m:1Ѣ.)>NU 3EV&_VmQzy¹iYWb)‹b@49}zxcI8y}+t}N^ᮟ v UfD+ޒ=)h>EXlGk4N'?B]J12zY*OD) /AP&阤z~Q@\zJHO92t{c mN.>ɹ72yؠKS9*87 ,6\1W7+ 'PSzJYE9Gݰ `>.+@IJP79 saAA*7'/jB2Av9?*o<[%/^(&0alBy1t{auQToW?t"\o&|<XSx== =pphFsF$r;#'oc묦}ECEߜ+6|pRQ=!`Eh@ئ ujDF*VD2^UƐ6B,Aga+':ψcN^hn4v!W8 =T;&hޥ:_/IGUPhVrÜ$rmPQjOB/۳pa ߣ7=R3Vf,E4Am]pU u YЫ^hY(~A'=Z?TΪhoШf 3p؊ jZo~JyZ HN+V1K@5 a>*Z:voIW={cCq4y^# xH'į|61B&s鬌^᝘ws2 hwʠX*eDȎf5+ Ú GY'P]֒Tۑ̴yk㼲刼{%T&Q~"w !Iz^ݨ+:Bˊ;^9[e/|Qjߊv^ Olu=) X o@*I5</+nnQ-S 6Ӄ+L8`Uj:jM"ai׹^6G HaHAV uRv~bO*NFWN,HxPq=)y3,2!=zMQL<Tj4k=<5_eeg9Mÿ}Wy5,R]цM9Ѳ^,A_|X +JnǾO( [z!^TVCF\:oG5jJuʮ TZB)G= 'nYIC.s*!9qcRܦE}t2h1Hŋm7tF|g3yߚi9o }bs4?ʽLjx2̨t)Pc % _Lvs^ 7? [. ndL -4cZOx&sNɉV0w񢁮xY92&S^m?uEBWpAc;Y'(ehHh귫kh eʄM։7_: #MþM.  SXEҨ )Yn(FRuiJҪ X:OBIz9rUC߽1a{+ZzT1[ٛu4߹zp#eWDD+q}Wг%Ru?A !a^gCjI.8h'͊+b negKРcLon.jtGY`:Ļsm+Oec B_.8KXǶcI"g*iuY kK77E=2`ՠA8Ԉ-ցY?: vwcTL35_>1uʴZ׼TC!SuP%3K ֐f2D*U~S";1;c)iGQR^lGSX\a:kћT4Q-FVQ/h2: p)&[PKt KHl0< P6t2v^ Tzܓt]dWq"AM](. )y<= dnm[؞QfJI*$Gz3Z̀$G_#%I/e H P&=5 )I'z4YG:~O+i~rO͓; )8hO8 BU~ >PPʧYC22\ OpY&siFuu!jDI~g,@4Uű'+>_Bݔ~^Eâ`kDIq]P&2JSUuHSѪlVc9Fe~bDGٯ޶+A=,M;! Ԇ=y4*Ŏc串Y::~$^Â*lxگ%a-b!K3Qad+f~<]uq?RJ!_l=Q$# M3,ctg 1#Y(2oaL- m>Ex/*o* _¶uz[ y%wJ[O- Xصt~q… XW)Q|A2i t2ԸٔsPTH5-|%HK[1\ZQ)9h(,R&]mvyRl|O"$Uw0=p%#"Y{`˲^S{6@4(|֡^U]g4Sq""SIߪ[3g Dr$T"mViރ[9yxv'X0)vA/ GK*