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  Op<<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.755cpu=3.733gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p@d 8>Š݁vS囜:vcf e\{Fp암w;6&^xgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.835cpu=1.690gc=0.000paaw_,}YZ7zXZִF! ]ŗXi%HgyXEiJ0q=eͽcc?8틨=T`Aਙ)O՜vp]DYbMa),IT*H>4HtrĢn\`)g}.1n.9Ő$Dh`Зsp`R?/684" w2cU?)]Աp}h@dr/~{cJ&x=!J3j^Z*7v\j #v9S:7o'sdމ>&[zVr2#+7fvfPzHݨ:lΜOqxnұ niKDgYZ65fedf030131cdaa8fdff4be0f0de4860469fe54f6cc2b145d15d262c0afc0172602b425d350b305 915e856effcd369d052d31f552bc63efb2f10515 070f88f127c3110a8c2169235808522a1eefc8a6 079cabc69f883c3aaee26d3a68ff04297affa301 38aa092e589d7e5b78c8958b776ac9bc6d4a957a $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-f w̓$6uCJ$^*<s5~FLdK*^Fu<`'|̧dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:: ɐgT0KL2SU\0܅jaT| /A?`N:?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-f w̓$6uCJ$^*<s5~FLdK*^Fu<`'|̧dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:: ɐgT0KL2SU\0܅jaT| /A?`N:?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۩Џ   P Oa' lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\ZT1Y#":2\u5l2T?E}FZ5on|ZCP0kr q͚ec~Ѧƨe LT ؏&/s aU]6 E,ZbK稱rApOVˎ<Ԫ4W&^&KT:)xc ̹w˰awy"djJЃhȡ䤬.@/Ud?.ANT٫)-[c Ԏ,䫘߈n?MOQ‰Z%8>~qGg{TMkvA(G HgYZ Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! 65z]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:h;W;sޚ5YjήBzA$@gtLMtHx6:EF bD`R!%>wJ_sk; 8WU@BY?QQb[O`sޅ_#}%>}dF3%ǮV挅-YHBvϻj]jWsx]d[K}LjO ge60q1 ո9͚UjA;؏Ytvpz)z|y-񃸉gSsXwTu%2o\`o`&~C{7eBQ90JF`Br0٩:tcK1̘LU)rAU~Z|+aT뛠<>.FqԴ X\jnfzvmu 5؂3zTE[7ϢMmdb+0Skc5\Quɑ#)}>a <‰1?} ZT ]ꞡꝎ- 0@E(ֵG{of~ˤ'{>{`) ?Cv,ɿ/ϕ v%OAI}IZ}[HӠ:>ǫe; PG}g^u֗7+yhb >kJ3m>_muukܸB[oӗШẋ~ES0  ,sD?ƃn pkv]^GUTNZCy >a1#1k$df9//O[n Fq;=1O J%.t™Js:F|tYtS;i]~-2V# ]D>v6Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyeOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id588nOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF!  O]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 ЮE{Efl Oc0~ʱ;nhhY[V h5?sqMl6I󄟯<:8@.]1Na9/m ̅x!HDa4d9z~ 4dt6G!$!cZ)6&KWH‡ PO̰qNz>!U]㝯)z0Q]A-z4(*SG{΃0`p)bZ nL#eZ }~i:`qu֪_IXr0*{Pg?y ,1lQNy/"^?5I?S6#,;Sl^_PQ{q<QO.F}d<@Fvu=x&RJ4dX{k9Sq`NGWZ)#q#<oZ"ՀyFOx/k7n]H_3 s#.*+羅ċ :e}'Бd[xceV;e6}{=V䷴F;Ɇ|`M)_)JiXJϟ*k[}0b 6ඥ ė2o9?lB/lA0Z?fy~MMr ҹ0Z i6L\&M|j2cV3G Օ H_\q6 )D0s|#Ah##][aaƠ c{s=0o=b+J@9z<3!qj F/Qxk嫿&^1i3I.Ch8BU<+ PHu<>JI4LB bu;9=ht799SܨӀlP!uSDDs_tRRd̻SZOMXC֗(+nj3+>@y )R\q?eD3 ,EzN1\^k Yԧ{fsn[Q@_v͍JFc)3:!<brޮ¢R8D.I?gYZȡjV[<En*^= &RK&o'-ƒU%&&Q߸R ."TK:Q a},I\ >^Qت$T卆C,((7 BSy>ZU?AZ:IVA(WE|a.Ȯt6`}T5 ]Z[DŽ7*p*m)LlZG~ wxjԥLE*ӏbNb-D^ךMG@ߵID O{BH qd],w R3nKyM`n|^hu>~4L"1* @AkLd)3Msm$kt`,-έLv= K=b`QS<ӎH7ke[kg KkҲ$‡K4@e0} My5S*Lek҃&6ޏ=0$Dރa|G{6.&42-;--uVyqzK~JC1M8rgJ*h':"D|nB:~4{P ~%׳ iBf-w {m dʻJ&X (]č+cݒG/òNiu{i/6xM"+yKzQ }&`V6klP@.y}԰^ Ƕ;Hb!Q׭*km3~rdQ-bQ9 9* wR͕ W>,K3" Vj΅$Ygs 9F_ 9J;`sSv'<qfRc2}wf&'њuXӰ:7}i9Q?=s F.Tt<?Ū }q/Wo-]Is\{6DCֱ_yW73}l6#^pB; 4N l)wJ{SEܝ.Uk@j&F` FE+-oϚt] 90bv)MѶb6TY4fۃhր;Dc-(<<'uPq&tdW!*M_1\~ EA¼DkVS^EahB~g+ ~V!sUIPW!;*j}^KdO}Re _B#x"L?`Oxy_Sb,RqUZw{oxKDœ{Ξڙ*쮴6IGv:[ 1+8{Ao o`Rf"^wD;H"{[8w,Mvf=U͡z~%S}s״טI:0g袋Gfˑ (zϑpݏQ`̙v%ti۹@DL}Pi.Щ Pf͚8r#TBC#1}I)Ps>J.۷'ĩ7b:k@dI+D afj5J&N$G_@:jp{_?9H[Hv^q'[f 6ߥghŨBH(eQ|MXA$Ç»Sw٭w_+翕t?4; !-[ފQg|#pBjsLzHnѮ3C8 t$yqֲBv_`:UP BQ |ě`:gle1˄*~7ŕ C96gn Z'C4sV[Q䐇c#+ULâLJW郥g"= 9--~K` Q< ˁO=X ^kLgZH}WCIjq}:>lg$dH}';E@OoW6wt0J9Qb0Q׌Y4_M RԉWT'naFl-g=0]NeB=s}-=9ZG%MJar? >MA$WDz_8:HDe.LIYK~Ԥ٫ٺm i(nirLwܕ g6}4T>9`*ܟ ;ǡl#@=r ^+!ơ.;UnKhr4 Q-8˴ ր|iH|X9|j?KHqGj˝w,}XŌ ч +T[t2%AV.B-wnި!џ]yo)]!3~ #Aпث67jI?]f\󑯟 [0 \lAT?&g/bѨGrV_|$)5F,J|R 8y,lªJ''xG30bv!?T ߈+ȂA3~.TpLdd%ܽMk-S.;$T%7n,i_ v/_V<6PaT,ΑZ=*DWܻyZЛrD%!ŇWԎ&XZp$؞ ݽPP%G+fY/ fA?6-8r±Oj&H)b;+Sڐ1/*%=y3kEQJu]zz%t]#4A[;z>y4I#VƟwHpİTÓhZZ@}CvI#B*jꗜ,ՁJD ƞHX>lM!N?@+Mŀ^M?z.@^P0NʡvHe‡vn},\V 9 Iv̺ju! z"RhԛiNۻTթ!VU ٌ~67o4$dr8v+mߞ:Wt2f3}ete[c~ :{m;悏:QaUI;7D)b4m4*0K&Rm7>^r@IgdZCXO.4Ig+Zs -])PpkSaA\T򗆡54#n`-{\:ܽ m EvB,|; laQE)1qOtrl|9|I~pKP^5/b9C!<(N˹x%iqM 檶 a N5# :¶NsrL bLI#E5,<(Zƿzx 5VNyWVE_B.y40wLnM@7rom  u\[2NI0yxA#_~D<ʼ;ڕ7!,[p:谺G%ɚRw6scUCp~z'yi{ ]ZcX˳z^tU1@:=Q'wKuDP |=rt vUX!ve湮d )jrċ!\AmT3_7*#Bs'Ȅy {Ev |Tn[6o3%=riwuz94I7Jm+/פ!zp \õfGf8,'Q%%IgBmuFs퓿$/ƽM.֒ eCr1Fڡ*R@O"[P@CgQDwBK +ț z_$GL,/09j.f0𱣛sVpڙfS*E ZʥG}'r' y{rtr<P-K, =d!֟ JXNa,j%ɐ#F9OiS+A SdǔUͲׯT33i:L&զQyNRAq!K.MgiFV`u.rʣKP?utC"X:4ә%2g7 PR7UםdחBeXLI٨J[IQbPU^IYZn8E9(ίY9Deϟp~źj Uʔ.LӢd: )RVgeXL"5,/tey z$ŒD恩}腭fⶎNɲ<םΕ7Wd65 ~r m|-G"(NuNc]LdY<t!F46[E:+_˕ zID5{>#\Qk)e爦?a^>7hs0͡7 {2ټ^O#(#hh0re8{8_-D{V4s|GOͪ!=Zeh5-vǑD1x~K/[@.S"mj/01:Pizț#mS☴`+|y,Ŷ13K B=QgNwN{x2DggOV#b/NSbwNN\8,7=JܾcѫXG)dw x7oҒolAQ US# N6 ٫! -JWoZ #7 7[pifL#)آ%AІ;D.ـtoSx4{2 3y#Ȉz!9o)cL2G8sdG2_ 70Jɯ@N%jhHQ Y{:S;1]p ej.ZBݵ9ei&F8dNZ)(ϱtzrto (mSq4bNixB4ltc-~=\)?y)DX\Kw%P/ˁRՄ:U ir)PO\L^bbַNgϬ,1~*A Q m%I~Ӏ`Arύ1|9v˚ '+ ni܍R]EͤM2ѥ BipU^T'CpnU:cmyaM_]6 nBOHP?ߞ=JLNE=|0.*H * Эz "~%$?XV?ҿDžX^j \ \my9/]u+%ȷ Q9heDa۽'v]H8HA-)5CvaUluc&, ^WYtqb"=6ay{ߒTj`&:F*{G+cY:u,孧 D1Dyh]Tr!/q;vr9_5*Vmf#q` vYw^&(?It?ra ԠS[gıĹsXN P5aeC"!J0Z{\z1oMy`YƆPl~7h4k]Oxmwʗㄒs}w]gQ{m͔RR^7qETzCnZYfLRsιx~ R2hiqjR~y. D?O5#!7%MG?uPwb@BW퉥U-Ȧor1+\$GktHՔ+FĂ!&QW !i/4p|r /'n]]T%p'+_Pd4~ў 7}޾MbvW/"{ȁ:3іCi嫣"JJM1PH/'N'Bp/M2 rM`(g0R#HN+1SPO$?ʴtgTî߫pUć"un K#KZV~ 2s::-UU}yڣմeA' U?ɴQ4QÙt$1m#b'9 Ă`ǭa?+4wV%$3Pð2gG>o댍ׇF/~7'+b*8yTHJƳB6l|\30jx$/!`1jG)택!K ' y8q,IXŘ$V,ry7Ou $o@Os` -[]^T^ #/P}xp&S8S ; ZZػ}ig+UӍzfpD{{?n*:&`yLJj踖Bo.r*9 .MS~fҺl?p;)#0\$ӱ&MnAt𫮃(Fp%"^vr*,xػM,_[ 0賬[9{!m6jJ3Y=#pI[=qKMдGR\(΄Vb!*c8[C=Қt67R٘iG#uiVVG&a/fUo]HOg9:A+1\Ʀ4Et~M[6UqMV]IS:-J\sdw&*}tJ P(u?O]PAC2`ܼ iuz2%Vp)IH4XaN^]g|+lKa?=&$ϣk˅/ppk[iþrFcyN O^SdZx)if=)M~r9b=8QMWQ{ܓ Bv>]? I+"U ',ʾBP]lPEre܍5&A=p5 V^S\[/3o&/@HO!ԧS6 l5]f(h$I$}mMP|׍nL"V6K9iRE2$m 1W,yYJ9iw@굇|_a@\K(g#Ks:f F.&i 93\ͬ?fPZh:jii_"D9{6Α"*hTK&3!~DtI2_7XvLI50c<]()]b]v- lb{j5۲4 e,PN5Mϔ~crZd7p=5,pPEXD'ؙ~8sBuud40R[VA^ޒm9H;`}:)[\hJӮO熛`p챘x9'c3d4i273ĐMwVCمYS:`I_iӺˎBFE fuR|ަ NazѬH!oP߈hʌ$.WJd0"@-3b]Dža I|}jSN{Tgweq_Nίbpi22OU i`{S:b fLYrGb8 P`Irh  F3fxTȫy`EwtX$#& ;.À-H+}<0j @k;nC$lP<@k7= =&Z|2q93Yai';3$0SqzjGUUcˎRqm.b> 4L' \M >? MMD0u/)<<WOw8#P2YJ=1(=Tԭ {"һY''"Ɲ8H2R6=Byy 1]ۯ [I $-&]im(RGh)EP.u넓v&T|f4?`lY 5TpKz>_ 3~f cH yƿ'MBmF TWK~?LP^ܞצs#STz4e}>;8@'^*, 6pn՞4iժRx9^gd}>C!uǎtH)=R{A 2UAQ=tq闲6[NAs_.,E'㯙urr^wRO"8og.9y,#Un fp }s[98rDҔ~c*\-w{/ͭ 11Aڧ&Ѯ^Hnɮu=蝱:I W^g5v$jdx6Z@AMK5(3CJB8PZ*IERT2.+8^(Ln굧s@r:z0iHZϪ]a pgpdjILZ[&ai'QTzZgZ.[zԻ Qpw er&ɢy'MC Y=vw3I)mӚ>-?k@𙌅m=]lE\%zQ,ێjFi`|^78Due2i84Kci3=Dޗ,NiͥUᬼÞ㉔ETy.[0 K=0/e C٪^jGȪ0$Y!wUL~Fn*'C͗؟x;<<ˮe?v}5xk {]ny}pєۢOۺl8߲8%+Ͳ6 ;CcaDLH֟uWIrzCt^3 @Taϴ{f$PܶD՜A5(*M$E"Q"G_jZD'&ᴁ )ZU5/ h,B`ɝ0f0G呖\ j d--+sOjyvEdLi= X.[txnFsK}9,=;mjXKNa:6*9'}Ncͺ/sڬCJݧ_!퐔).V5GHg~G{r3.^%'xcaҙo:ُrpkXky ~j}м|%&qmYۀt>V:Dsl;֍iC-EH 8}b| fs?*X&d!ń\uP` o"ᡆ~i^.,ҒwwU8o7kԌ5ѐFv]`jh]c2 Dzłr,*8Dm-@S<1,~W蓏SbLhsESO`Ca­TƪZ x@FF)}sjp8JfŸ[L 1(ϰ=1#g:[i<4B28CF75_sTDJ'lG c̨ӤB#h({iΗ^R$'b Me_s'#ZsΗ\Sfeo.3fr'h\Y20l"(&aM"myB9OTC}k%gYZ