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  kOpDpHsL'Qݪ[ e+ O ɄmP&莐(ZE#'CC`٩SڏaLqOzݸWf Kc곳N?/I̠VpHiAdxti1|0ݛ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* 8Oa' 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\[6mL2pj v^X ci)z[jz>"rfC :cAaɐ\O4@ؓ@Y+{VvdWGH3E U{*U!b O`-0E- .X 1ϖi4p<irGcY-"@3a Sp pDԋ6e]{0EPL\L7ǃ05hQn:'ޞ\397r@2ؼG{%ߩXXdJ4RW209lry=mj嘗:EamIXIeKF<=C1h7m*'}T{gf 6&Ԗvݰ`F4=N*V`3NaK`gYZ+ Oa# $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! :5]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:1;rn^2󥳬#5Yٜz!Ȭ_r[ +Rs#0Hh!sr$/#%{}(/hJҍϱ8nnQR |:n\V*7 ϓ*x./uHOo!'RyRZo\{*o Oݑw;d9uWr0s|/p&(kbRo/cm2OcfY [T~{od`@ me(_.ކîlC(x &JV"uPFv"'[ܔΩ!W)&+j뒤Ďv/8ϊu;椛T?ÖFVAe\TN`O|odjdjӬO; w;'X5V[K(5}̄Wmr Spk:z:A\?Ֆ@7q< ۂ 7/bM= 8FFv}5KvAn jb3}Qm4QCjy /=AN"[WիҎg>˫OxMYJ `6w#?k\H[ $2G" _Ar&]L2/bhu):xA`P!׼ˬ:__bsd7ؒ Ufk!# ]J4kν_Xu:M7НXwz7{g~V9tk\:=2@s{EhHHUey 0X[/:@qqSQ)>7=5 jB.mvC}'^H‰e'0_XRfBΠ mip\>E]ɂH딍FCeAT&,-4uSDۢ@@#2?hی˽C]^ZI هf5%"s?gLz 4u&s㴈&B|;wJ9syJ}RAI0{ ;9~SAK.˹jػ(S0L=r Xe-$^nvET۲xUByAF>Z:pK:T_K% e7&i`=npc0@D,6`7@L' &~Tq_BWG`=ixx?G  Bőw_"KGZQ?9-ʊX^=WSܘjЅJdOa!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_id588rOa# 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF!  T]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 0VXj^f|#a\wSng3^bclji]f/oe9K=} aq'aWǍ >uLrOHGcD&V2Gc[LK㷯yL(堣d0&?6R\O#ǐjQC]21l_uuMip͡/y<{G!~3"8T7?{J8Z|V ?.$%<5 gP؛-fկ̪_it4} 잩&:Vl^b^)sy8 :48 _Q-bt{DDzJL6szgbR{LqL97HKzK45?O bPd fĂߜG G%5՜Ι[b.V>.(R𨎉G ȩ%PeN`%>0lz*ٜg; _a$-&E71.@?I{JxG4lMsΘrzȀp5?I"53{Ab8Yه~z' muNA> oeTޓU"K``S:cX"{Ua{jAx;"y":"e˳ .)YAWn@=PX`F#MgS3W̐*fI 9^sAU?=͎rtpM؛jx,_ԐTA"J5h?3%W2 (Lkn.k,qPc3*-ik+kC}t^ųoUbXo`[mʘ3%wVC|5Bmf~Qn DrL<}ܹCRd/&TTcItܗXBW*JUMym1}Ůse3,B} d %+ 8rhv^ *H`*.VgYZ 0) } v"`9l&^^lL ɺèUףT؈2Jf-$s6#&)X"h*5tpcUunB=e}/W/]$ T=Xc{: >V{K['R:_3AVo=* ɲ:`?6LH+p⛐1T,h hʤC칇қf݅nq<6:e "m6T'-٩4Ĭ7$fYS/Pنps.&FoԚ4$νbrO*8o|=V*>Ly(b)M0lCպ}ʽ1]5do>Qxj\.GBij?ˡWۦMb "|#~ϼG}4x+'e2Ӻ)"wrd'׏o6 ~e :x rxL|`IKT 1fyyDRۑV07iq _Fm&'fx46"gx6? ϗ{zUaa8Pbyuy !O^q*5VR@,Xr|?L*AnwZZۼ 4bwb޷Xbi2C3&Ο9@(F8gY*7rT<6,7ioojH0,N28Rpdqkaaӵ)ӌ!Ofy= !?&ȖPɣ(oוtaiۥKrт#b,441'U0rfì(rrUl'pM-;w`6,Tzl;Xw@tb˞hX鋖e7@Y/|hɻX P; b@?,7.WUV&i T^Ie}ߖ  jjW\{N|^觘Q\t>0 ߅5=MKz9{5q ɟ[+І? XJ\Cȸ}46.1?yt[o(sBׁ9%DR^Z::S W7 ^-`4 bcFM景I90k(l"tsV">leֶrڅR7e cPEf8o["I <`s (eYkIsddVU3| P}7Tyt8xPw [zNC0n.)YEG 1!0.0Жg@z@*DP20JЉ+"㑚t&~kWTn~e2V-MHg:`DަOLlqdj =_趔[ʍCzN8sX =\G*W$M'H0Z<@*qSQO͍ ^D;(`Or}5-ƶ+藽WЙ&pS4UπXTM]As_| eß#ybI9~>[?>!މ2Zh -ܷphd]a&Ws8afk5}Ȭ\U "7 ?^Dvطct66B )n"dO3_j21+A ~/nrh? yxPHF)Ȑ{RVj; Y-!rbOP)5, ):jxMmɣeFaw `!%qd6wTxA,Kbͮki7q=hi{&P. g/P 4Oӫ2sӸWx^8P?1Ʃ6ؚ%ˌ.ìq\SC. 6>B\’bcܘ3ϫQ5n!ȹjk+ ]xDj5zdH_ݚqw/f?d"»D\*ryY]XeWSG(+xs`_ar7_O'5IJ,98FA*P8Yb|`aVYAanukvb &;tn8͙M_xן}o)+;HnA}V[-Enj,w>M1v?>8D+\ŇE7vvhi]fAwrM sǑocMܢs 3b.~NЍr-tǸe$!""c@7cS &^_vxDwQpw1uj,9 ˧@>k_CHS'̻}ON#-ox|>[26l]y cE_7lebּ>m)q["(\(  &I/>IB73t+01!gن؈頻7n24IDa"derAsi(XTrY/ES'qbfn>&SF»< eHy,!z u`%HR2K.n)P!'k;8OߊǧKv\CD[lCdbT`[^4n|%t~lo E8f0ʰTj(.oT?U$ORFJ/ЅE:}_""5Hr [6d m 5A² S ,YVyq};>f 7'qٍ_h|8M_ ^5kZW4x2,AW|38=.tYEFOkK>Ԋ&Fo ~3%êp2֚QiQD$dvUgzP_\`RchTk*Ņ*kM@}9KڿXlF(G:/';$ޗ'q:PR*GWˌhv[iCo,J v rV݆g,17YiO[hj{'3-H3xvo c`=TY:oCC+M1TFAݚ=kO.!'4DG4\BֽiZ/4q30%|(6X,Q`*JƟM0@gD| 87ZPa*-t豉_zr`Xa>ZxJMuswc{N[ nC̆,}CNaC`e-^\wfQ xه%nz οkdp+b-pZmG dCϼ.-`K: X`4JKm$Oʩb`yeAv_5OT3~j4ej3=b% @ c(8۱,_rBz1N ?>,.&%Pm!eY6C&aj5N_e?ʃ=!sqXr.>޷2cm'> ,3`FoZ|X4uy!…ۇ)ꚤݳZ1m7J^ct Еd@ .@hvq oHM$_cFӇ#d='^iq0s܇Vp$ Du-W'b{k;|F.l jM"1f Iy"#]p@Q_5NT9a*I(w7<Vfײ KAz7.*V _Wrv"!(ͦgG.ͷy@G$VIaPØ#[ vci (wgN=&ΧbQaW=}/ _!~t4]͌?U#+UK/"e :yrV AӑogV/eH:VWVPJK&8V'Ջ|m|{UJQS qo.=GրnD*$!S:`Q4J90߼i-+_";q{ E9T,IGu_lX4 a"e;m ְyfj#nR%D9P\)"8hvMkȚ |eٗ`!}9g~ӓNTNz+WLj4rHPQhy5 Q|5!Gd8C9o4h9*BwgCj39UXb4(ϳЪ,%5NoNg΅2T81+?\ 'X7fMi'nmMEt}yA(NIRdS6;*bUEW_b]1(зU7P?11tOLO#_pNJ׌̯8sGvF;מt\0{@|"E՝pMt)aΒWjGx=Dx <Ǝh2O!6F!;EDVDֻ(5 yyk"P *PwGȒg1wVZ7Q׮ $gć7\T o?E: "|=yO ƃᆝ" \jx|^CmeafZa\qL2垤~Ÿ d72dVJt::!_Đ\H.Vg+WYҤ*ڃMaj8Ekh7[eDX)1äMܫ79Pzcf]u0B~IX+j>%Y8ZLcW}ևT+[(֩'ck8D^*7y ݎBIiy0$?bu`p'iTga8rW-7A81C 9֘ 0bH?H"nWتĎfj(n9@',Eaި Yz/wC}KNr[ E=zBIklΰ31;9YX8{`;un{I7Q&au~<%Q9 S!@l1#C> _G>{M:4Z!|4k8MTqtgx?K@KB~!9b[e\hi.=Sͬyp"C/̉ _j@spmB<<Ѭ9 ȫ˴-bHGjA|n$FBLB8x=k }8p()K%9؃ pX֦5 %&s g1#sաjZk{vi"lD"Ӽ@<^7 =i[xds8K!o#^&ETN', -G^:$,]\(aPs Q)UB|sgt"je)'pD2ʼkvYP<{;4:3KmGű/2hF|Kv㢯GnMP͍;'֮aW" *]HnmwHTt *{b*naf E=00Hh$]#jଫ]gdԌ?aWXF@B֞"Of76jA'*֔2"uzt^6w<3> .uʳCKo x&}!evwM>$0T sKcX Q,^y B 2F3}fe VQ7LPzbkX~k..2~p3G 7YSKKT!lݮd7 9ğ[NPA+0҇}qކF5Ľ'Ԅm}'\KPgђviiA$dA!Ia's-(y5N v"z+U>kWt>RGtXtGu_YRR S<)J[Q3&3I`芹#:14fgtrIg6^]uـT\u:QDc6L@l7lؑa8Cܜ$-=mPo*; weVfݸŗi>6f7+`V(j՜CK.1lS!e0mYN. !KF~ǣjR?~쫖}P>w=ɀg0%RLU24f:4<𾛳kf+`ZL1UEeVDw`dwϔL0kYg$޻–$3x;ӹJ݂r€;o$vFuGR%oANE^Q]^ź%vZJ;xh 4)VMk}(G(/SFds:s]|θFyY}LQ5f3Wɻĵ`ONzF3Dx"?>NSCA_(RkiY5N[h\dˑ]">#Fw?qŎFW"˺!nke>HG.9Zy3OσcSLS sRXX#4G/{8@I+0s3^/RqѲɂnyz`ܭ`,zoC0bB4|%*!mgEKd:Q~SLsed;>qkaUۋ9Z4׆AP1EǧoEqc'9=eoҰ$|K܆p1.^jGBI<\j\mAJv]]lZ5^zq)cH-+BPjܛi\Qw$ 1^An΢Mxr-x~ձ`/&>r"=m_F3Rb%'f$wc{Х@c@H$۳n)OdcmSJY:Mq'l7,@F: o*rMSM%ϭB5=ng!b-)lUrW nK{( oxIW855܎[h宬Z**P0f9BzN+ҍޥQ9.,x.|ec+yH#2L<ۆ 4 G8-CRI;iꔩZ@&HTtp m}NU&7Բ͓ zzU3=fJ6rD@0y甏N:G4PnMW&G7:zh4A~U-?r~2ړsxjr n,5TP֙RH[cmƳ$)ZtT󈟸Dq̚J~%6qw]JFC*tFM X}X` HV [2^wo 7I:gO$n=*GT:e!~J,h8ͽ8>Ew{̻bxνU[1huc- ⠂]~kwR%Ǚq6Y49wVq$5Y'z?r]1<֬G|ijPfKSQlV3u|s&O2 }\IBu)Ѵ}tS;#IAU@&}h"E0e1^w/m+xW 1ӊClQ5@04Cfγ7'+fŻ ZX=ԌuRx=^ q;YRu8HbsCa rnFYcy*9NX>Hm`R}Sw7Us. ˳Ɠj+ߔeYqt\ye[y%@,g$be]~xF~WMcҒ'ԘIJctK|,+_z^+4 h9~T\o~bK#ЀŸh"4 1djȩ#=3e/K9n(tB0_QEoH<;eXb}׸^J ;JEc"|)j3ӎ8،D<7h~i”cʻAa48 㻸k>iؤ\u8VK\>%BL2ЗN`\huO (?|*(VpOn'XQN[x 3&#d6@ jRDž,e˙#jRIgS-D?U\>1z1]$GW *b1k