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.827cpu=3.844gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p fPgsΧ+oC,/)1abit@p1%ʉQhi4>X @>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.853cpu=1.798gc=0.000 3w_,}YZ7zXZִF! L]ŗXi%HitF3U{SGRkcncDكr(e5Xn-8 -Q JG秄BLЧ Iws8cJt%,jQYf=⸈Y>xY܌4ƫHucH{EF22ќ{Uf8RP2h)R:tC3m۴^ H)ULLƂ} 䊕h1ĎBo3 b #oc|ptm؆gn%8!c#_8-Lwʊ</rSs߲iϧ j/'sN++6\9aduu!==]_S+Ԅ񸈎'r WG‡VߢTtʷ4*TAܥ )eߦ1 _pwu"z%M۾ lfiJ=1fڑgYZ856f5c7c84d9cef8d7907e833655bfc4543f4b667808597da192bbcb2ebaa3cac06e97230741c431 57dbdeff4c4bd5f38c22f403ad7e18117e3c10dc 3719effb448dfa161c85d1587ca2f50530346e57 60d15e155de1b89a46d36c0257aadbc065efbbbc ab8371f5dbabd4a9ceea1b8bd7fd66cf99899a6b $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!6 iW22)7"BP(G#T>f'NQzLFԧZGdK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:: ~z' t>؅lni=^Bt#O`DI;(tlՌ76s?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!6 iW22)7"BP(G#T>f'NQzLFԧZGdK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:: ~z' t>؅lni=^Bt#O`DI;(tlՌ76s?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\ZT2%J%W(Mʛ֩buFymxۼ9wzh$P.D"2؃FxKjg@"o,I\ kYIX~yESxIz׳{aZ NFtg*)( ni*c Db FɾYS~cla̓3fj@'tL'to`5v2ZWF|c}iH5dޤrVlY^N[/ˑnxNaH U@:k=/NK`YenئGEw[m#x>n,jn3U--2rϫ[P\sײh 8tµ}f"_44wPcQu&%";OTA_+;cWgYZo Oa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! 65]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:0U_%x}1 z {($8W٠!c$&Ox26@5- y!1#ZA9Y!wf9 ,EK ٞ v Ij֍SQUQ /PK@$ +Յ[%-=܉r 8i1 JuSʹ_(Aּ}{N,]XQxPnjԢ͛y3FT uc;Vǒ*dIB$:r|nj==LR[ ƒCZ3*_kId]Cۧu(7 %f+~@q04?/Wٚ&KVRbn\fRڗ: |ߌF?t*_v^o  j((78B-.4Hޓ ZPB ,+)spߗ5k$=mpϢ‚V:3(+8V\X=xxY*Ap"3\ůyLJC*Rt<_$B@}Oa>a_MDGRf}^{w_g7`^"#Ɩo`0c؊z;-Oa!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󣉫 Юc1%~BꤷcB!D!:X F*Кgg sw['9A2,FȆ+ \i >-RYĺ3Al~EĀ ױ u^aiJL袾~וϒ]-ˈ"f: i^Q?A=b:&MdVMxFT5=Ze]́76\lBW1/ojxUKV LMX&_L yfF%ʳr/Jb l,G8UuL6իMWfY}r+_-]v5z |׻(4++Tp<`]wV -DAL<&xK(&vj#TUNa4̬Ш&r^LeA}Wn' #D#疺",4Q",&G1ͱ9Z>+2W6M|as+Q؈mIg܊1^ "TCD6ORmGiGQyV`zyc!cp<hCx;2[7κ?T>C_O;YϯD.&p6Q^[نdgвG>s#W$yj]4gE5Sjr[ ]־5*T 2.b82ٞ@ QܦP1f4fLf;|_GI1t, V8ɋs#NnP(]oJǛIF ޥs2z?VGk'!+a# _ͱ(nxރߞ<2qסsB@ʣws;2tKx #^Ӂ ^*p}Wn5 y۽ug@kGsHzO`n ~'Wl5>9N sͽRYkޟ%rs6]$+BÒч?.RqL.I?gYZԯ)eh8|7}" e-y[U V/hb{l Ԩz(鯭/Zd_Yuc^sM0~p _cJ7#-/|y5'?[ќ&=Gާзtv}>I0y9j+RNcE nWըT.u [m7qP4_AjM[rc3N ^0U& ݷϳ$TA.>P1 ͚Ҥ\ŋ]JBÐȩ_"ۚ(Fx.͓Xf2c]EJBj֍ch!3(=E'N$an"N\yTBg gA=bGYgÖ?Gsb]K yS^nu^Jq2 :} ?=`=J֎G[`?ћ;W^*Փ$lE{lXO';ta H=YBvt%%kupX0 LY.gd "\YN0*nTyqr^pL?#:7)1|]m/=ٽ|YXɻHjhTN}{+Htd2$u4 J5s<$dRO|Pl@Tx<*y\ꤺ8ۘTjHkRF|^aCJٛ"1 Wm8DPРqHLq&9:ɔņ٭y+V5Y^R'"{u144˥ L3r)Pl/(%-Ⱥ6BHYtO%Cw&|g>ر#nS{%A˗".Ɩ+$;Œ^wܒ9^apRZ)foz3+'dQg X0CFe[)>?NI.t- j>|+@٢r.|F,@jK8ED m"}7.S %+l!{64(#1)QwW 6w98@ֈ9#)<"t= ~O-n^wlN}/Q|_];.@PW4^l-wdζr~T%C'ERyw0GOj u9DdDu }.ªA| 8F@jb0ܖka~WG \!0`ỡ) 5]\Y=r܊6{<7X mb G+Q 8޾ؘ`%91SfgBTI|/!1'A=i9p x*60SttUI"3b)3fOJ{YjJD~98g۠$^ar݄d X##<~3Pt?JG'm'hGb>$G}/6ǘ%PfD/r֖ߦ=)yឭL'=n"m"#o4W7 لe~<S(+T Uר*E!n0$9a3#3jJ#k9(\͊+D҈Z>!˝d. 9DŽ s;fI_U0cMOyW yɞ-tzmw%VLOÕc# oS c㧤UU#iZ4OOveQ.ysf lF#vzPT  'f\͸ ;<ňb ~]1啯bÛz͢b6Mb(=$Kz"~u\|#ή27ݠox6:fQB*}KCb->=obPpBܳƧ5 uEB t2`=c>B3 Yj>fxI4Z}S~gYXq֝Aԑ@4_Q.s |0"%}xtYHHEn|v覿 i'%[6>iG^)6-Q$1M1k$W!?9L@}Ȱ0#mͫBU&UfN(s;M O,%ȵY_Nhpsl'*qԝZ' ހ|{`ݢ'ٴB ?ÚGQ1ʾ᭟n1')X蚈e\$ghj{ |MdT%{icE'{VJGj֨'WlXw#8>|&J#e׻|I gַa~?DT]~8r}n$13[1KKUvF5"VcܔCu` s 09Uv[Nu.x>CI:u+;Oym[ tWj<4z;!WeE^4\ê63i5d{> vhH(4LJo-XDe?YS2a ~UqQNJ42ͬ`VRl|!ʯy'"uJe#dQ~:"UW%~Z愁PjJB ~G~Ͼ P9?f#4~>,~Ğ]]c6Xkw ix9%),Zd )ы(,+qGf_3>09^pb gb1^Rp~_pnj ^V#Rb ʚC٨T('%њ熕R(-/m`4Ab@C[w*e3[U izTRd ]fӹG =)xϩ$8l!9-Zweɸ<wjbr]f? R^K$r]izjV ف4Xf0i+5TɩvF.jTv[XU /=dyV2v5f %,LIj{Y]N@+*rаen->DT- |1oC{ ȥUGv 4qR =o徰z>6ɱt]Ѐzqʻal5P@̞?]pH Z/k@V[Zk*''VS#wik̰IWA01wǀ?H ?F<#{#m?:JE }y=ߜ$sZmP`s 7#C65ߎȍ(|ߋV_%eYL"S_n״p-SC@V7'O"mk|Af܌z^0Ȼ:1'oJ?]Xr"? qĈ%q7eT lm4o_g~~Zn(u2rwW^beѽi% z$6/<NZ~2;6[ЋȄ_/- Xqڮ%z~K2' swΚ,o r%FLÑSV9ֵ٠#1,AS2;a/h!;.|3%̳s ŐWfώiBx* f!>{Qw67f4D$3 QUuo\ZH;ϾYebU0|KJwSv_%9;FF 94,@l1eIV+loC]QeITcQ X̟{\ ny@4Cuz19`lFĒQӟ+"}rK6}! 05"h^KƑq2[r$} †j!fS4NJUQ噟s H,7 )o!L3 5 ۙ?bƍ'CDO|myq)'z9$JF[*$zx6MjAͶDlx:{H746b]`> tKח; y^%MvNڨH%d? kOo|g""ʉ5,L:ivR{SCφwN{lN ۆͷ Vн>u!x>X~"Uڊ@"}}+b [KwFbcmW?kȲ.V_:PtWz70IG(m"޲CE4 ys66[ t^1y_7u\}O^^VsDo20~Gr9ofY!\/;.gΕҷ9ݥ.ѻ?ǸC>{~x~& bzN@VeZ$9r&80[½T֔Nfs$bB""/3ifȋ{n 'ؑJ5Lfϗ.]ԇ} UI{ߎƁHjbp1yC~,*==ǻn#Zlo0foJ%`8E@t/KCqy.PvULb4pEIPqwk2)DRsڛ_r/ %_"#jt`qx9˫>$cJ0iIr,,V*|gcVT):ޭ4=k%0 "c;cZƄ-? I;W-[5y.=3}x43ϲ}yWsNQ(JK +tenQ6,̹TC^k-|:ͽC̵RcX+W",DL~(}yR&D~ әG8^BdsUv+C%i "$ǭ= fuft^F?cA=ݩf"Y{g:-{0p족U;a]$o (*E4;qseVUi>{7t|.%{qqJ aS |o69 I+X.Lo5 -'D`LْKG;"p*.~D -֎€ĉzɎ YT` HN)ZjUaf37#j ic!*p"TZ͟]O|8P34}OFƩ8-&;s 7X;oE\nϮPM|^&QDM.PjD%걐sg>iG#ܪMcyHQA% ',1>+@:X^7)g#Fse^e.APrp\,qāES;I@_;%] "IOOJA %X?JLT!Wa7Li6L/P0X搿 }ˈy֭k)_11kogV3GAE<*Ⴚ}G; 57 (ɶr%]\2\vj23Q~ c9̸"=?,VJkWIA3x.:O4|? ~KZmJݣryWg*{!3"ޮa) 9j[Qo$#pPhq7izrm֫ip8eFŅw5</X/_s&Tֆ7,xqmԸt:@^/>Fa(~@dA>8'=vRx]3vjhń3D q#98ҜtW.a֊K$p:4yK (ٔ/ԦͥZC2  Չv0()}钒$9|[Q'r^`1h,}i]ĹZs5)#2*Xˀg/Wqŭ7&aVfY i7gNz?`FdžbaiKw_A_~Q3h; TVAVꤏ^~p܀^0\Boҡ,~ym#8-z%ƅFltZB.p?/Ͳ+(rUMLuiW)6v%ę-ss0|kxJfRl؃ȷzdX\<~ǧS.u)FP0pGxzg0,bY ՄKdCC)}L^8r٩ᏨT4c^x `L1(TD9A u{oʆHY&oͭ@aZ%<ѝUΆR60#͍_}oeaXv {Vb9}]syŴ~"PJS+/Ph8@1{ae/tDoW'-ChD݅ y{\Pn#i4A Ш4d ,$SQL&;6XI-w<2 8\j TjӰ}{n >lݔRyl *Hזr:sM2n$'G4 Բ==Pa|Ur2gu atm`O|`TT/jէkÊ\eU3 :g<#-qx12(}|6qr2]ݠWS+v@o ;|^N/sr֭_>үVQqq-Nͮa#z}EkACnUCE/]e9i=q{<2 sT=.h2 q{ Mijn# ] w'^-F.'TxbޅiFBR {E.X~!ڧusaE+`iy Ư Ӊ;]&Ř՝93q¤婿qDfi "@j* L3=nY+*Q0-b=$ie [{u?sİ$* mzߥc S?p8b<=C}ZuX̎6PTM@C_םC+ʍd47#{Ũ2!}srHkRZBtʈ1 oBiY8\4x$2m,= A8=gI`ه/G$詥ymſIf^,^e ^쁳bWʦS:6) L@;wڹ HtXZl p'vGܝN11U3 C)zw  `v+%dg ꪴxSqDE :N- ޸ N=R7xUAAKRfP"m 00{YQNuO1q#s&ǚM W jIQwK\KJV=wmn|TZT_Zsjhi G+a"s15*M$Wk( ]?:4!b!mMwڷH;J8h4]NSC`92LJ82oa{L @$~*##jroˢ]K5cut9%R}C62h 9B:(k_`F a_&6tl6/<ys3Olx(T$;X"j6\t˪zʾa99<1*NvjE}qmztT*d_UuO.M 5&Q/F.2Kn۵5XWK u (enJy;LfqAAN^y8NzH'sTcRpQ:\w9[p c(Wr@@Cڇ#&="-*':l΋MH8x**)TBJ3c4C7jБ?!nj/UYjOdfX==t2"Ql{ti;n^9Y İm, %$V[(zY ZJ`RǾ 7,F:UᖏokY@<&dUfvE&f^gDuu ؆>Tܽlmq:7by-X|Hss4e@i|=D pi݃bvZ72,0~K-]ihHl;i-+Tֺ)"]A1L6CP+9p{: t< &TM\DzG,_9|y&V>Si@*!#XNrs@Y<U\<>8OMR4[ VFgES9땿 M)I#;L̤5FrN{eRIm4IvP?u=SL2D,A&tζҔ,c5 Wt!爑s OE)M*eĵcY#Q9$M:tFFtHZH0YdsίUi3>kce"+8KtꉁpRpOѬ[VJ!9P&eQRpM~!_0[ނI7,]dw[`\CJpgfxr+MX ?O(DW*KpM>[*7mOHך'kw"uraV nbP#r,#zh ~ӄNd|&dEW = 3]c%BYiCc)bWy TZXMA@`-i  IV%,^Z5.Y]0dUBB9Ԥc%iL ')YZʓl˥-'IaiaHΆ7bx~\ W?t˰񺨗_(駳G€#]%G}2P8 >Lˎ'TKWw}M'=*MH.BU:Fw|h7%g [? MsRMw͋ '1:)s]A@c /`v||4 I찥cA_i͵uUY"Vo˿Fu],[J0іs5(SoS{:YP ېd洍jK<߉R^WBuS3"˗Y߰!&V}tin}r48&J%(FLF8d5YB$ѧn_`$=c>!\\-rFx*әp(݄̑(95 ,w<6.bkH!!^,/l8G`HX Ǿ/܍MmQ:gXTkPaNhMfCt6E|M_gOKf`:%Uڥ%8< End\,jJo>> v@3'SՊ\}KhrM ϻǷ€_jM-Um S,i@PsxA[㫳 `WBWS|)fCD-TEU2;Dtrb#y\7#:wڲ_8@̨WOJe*_pl@"PZ9G8^=J<[[`rJ {! 1oR%f5u߉~1HT,Tr!oO0.&=0Oe 2Ko߰#,)FB8AAbzD9Ih{+j>oouyq4UZh\Ƭ֌,_E` vBDl&2vC\kB4{vX O׫*иBI7Z+ ZQJz OVd YU0pퟴf}J@Z)#"]u;@~[WgnS[]>Gh)dkd*#NO AJ#}sHַ᱂jiZ5CAʊůcCYzPUG?PYv.qT7gO%jI++stV<,k6PgYZ