SQLite format 3@  .S`  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  TOp<<\ ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.625cpu=3.956gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p& |b*n?i JU]cf [7lL,Vf85gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.827cpu=1.514gc=0.000bXSw_,}YZ7zXZִF! &]ŗXi% o|t1,y ǷeXڀctɋ?&)=Šgg2d#ڷVSP zR'Tϖcs|_FL`{ۉ6,e4QZXgÀi'7|,bɈѭtY!!Nil>9>G j YVKsz)uUI1)VɓMnȹ SoEny W趗“`JA0L1#?U>HNfAˈ:\GNݻsI%;S% vc2SL:,9T1J[zٶC*@R`2"+Gz đ7 ,1vg߄b:Y?U Ld1,2|teRcfG! /tJ-[K(j 87gDHC'ѴɈ iEQ\!pQ4Q 5l &fh&ty/W 3-PI1߉[5!'(|iىtҧd$i. , Mս65=; 7!+cq%f>"piʫofL͛dYCn#hնh=IU(2:>I=V* ҷo{_;y6[ P"i/B|,3Ի֚q1&\L2HF㗘C{۷y!Ypo8Iu?-5@NԓrhM7tc &hb: .VҨ sK]+sτ;T0BSUkycPuiކ?;sGvlص(cg2B5GbeGerAp!knVWFOM՚P4G+ $f:Pp97P.q8>YI-*^ rCbT'{{&(1/!N~c?Hj 9'=.&ĐcVQk)(gCZ5%Ixdܬnr9Y#/:0'~&0]Gf䉻>VmX@&76< f95b{gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMH<:?NnQnM.Gf8a0 0":(n2n:?\d+-CQg&7h G9 ˏ` ћoYx86h@VdC?2\TNNL[8!ں-Ciw~LFcHÿƷ"LX#gb˥R]5Tks>M r~?{рHV)qDPH%#Z ֊$ݐ?@TboGAB[9f;@Z!i yAwkMX^9t30q9|s`kZ]3un~)h4Q3m(wӐ@dɂia"9;:d{2mX!Q2=*\u>+$$,Yh@ -eY15 뫑UrMyfLڀ]oH~>['n~230bZOIQ#~C[󴀇Bӟ jh s 6v <qR]晡poȼW .o۷6k۱gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\Fjv)mV+(I|  k*2J0U9C|,F`kf! i9 5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D 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/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   Ym"R ǔqF~5q}o}TREa r0\z ׁ뵡jNwzW^PXP(fnFa;gEd{~bЕm8 i1o/`j@\VK0Dzs߃ 1m^p/S L>gUMezځ>6= jVH7f;(S(jsN#z]2pI QZsE 0[,pAg5yO!>_W ґgTē4LāqtA}CTl y`2`y]'-MeorNt=Děx8c5N|w z9m򲵱{XEeū&,9.TRxl煒Š5A?ЭEhZ.s騑 f1;Y>\_G-; FgZ%&eJ/yuo/3#Үv7v}Lf\آT ?tag KYmMňy:mmW k0#~m/ٛRx~u6E!G4/>^5`v94Tc,(i^:uu2cMT.FgQhCV^Xm,@P"zu?sCս`(`@ [R?좐^ggAY6 ²E|0 GudX#Fe/R ܦ}",uZvmLjeޙJkL LWԂLeR<\|@&EV"gRx(yɵmg~0=C}k [GHEf`,NPliDLRNr A 7P]~^I"HDÄ},6VEv[oYy{.1{@r8W\\WM 2_jelT I0i9ZwfN-ٻ,s5? Uz0@r Z )?4sBu|'B0}HokkOoꚒ$`G@z+* E/ NnuR,wN-kC-z|W8#pmsvX_eh/Nj6O0di!%֤'T1̓>2? #)S2%=! Ս`$pwyt0 De &gN\>p,l1 ]f#(kKC\Y/S`Kg% njQguPvZ6?U-/Ҭ |>qxNZD$V ;Ur{ILLFB}@1h靂nyJ3h[%UfE3Sit)#U\_ݷ8}4Ie))q  ః0^`Y 3]YOpR [vi/*~Yx_g>cYܚ}e(-qǔq.qF6 ̩hfA"yMD>eѧɨMDʼp$kbZ}^|G y |KĻ]|hTWP(V&dafADMZfHhEeq#gqYseM웭\6_\"X6w=Z,q1bY[(~~VoY֦Jt₏Jl\ok 8 fdTvp%||&3V7Ka c>",5!x?UXKg.A ظI^Z]jH{|f U]eg!Vj5x|\Rjt,3A|zǴ/RoŶ|pDu}1ׯ_RvRkwX_a. f㭴;#Xvgqk;A70LkmU/dI58\p/xodWMa %-! aF.  dD{r$|Wj|n 6c$뗒쫚I!1z}/r%֨>P&:7'!7WS]1[&O M{aY O/TPGdB[o+V^vc= yO L#ͅ,[P9轵AR%CyaF:C:7wa8^9V>ҵoG|j6 0n1A+ܗ s]!A㓸a.Wyw[ekyUxc#(E8Q8 -Hx( 䑺; fy/|h}]i t20 ߭R VA9Cj,sϴ4nS4v etN.J7/@:yY$딧n!Y@">@2,>+6a7%d`is.:3 x!7HTٝ>.AGH&Dd\BR/2DLP\+SJ9'η jLox < 4TQJp(ڛ~N}GtgR`KJdဨcĒBIJ}:ICj#]8y䯭˵rw/|QYR$8Q&0h ^MfDxC,@*;`LdP%tp "k.OQF_@9h= 5D|:D'( ~X3b ~]@ '05 _f|Vv1lDO>_~,-m7ŰāOFh %_;Kr#x uS҅C(*M5u6zQ qu }<<2$RO\`.p15tBrlpTCw=oNV3kmi'b FڈԆ:“io-Bq3^8>l6Aȶ'Xx;+ y) L06qɛޙ~EEotIKǙTϤۓOX5d}-<}nUJa钔̦yiA} SW}V˟+H3zR 0{ɯ悡ιIQlSZ`~[tv #k+=S8b?=ѤODd+-!1#I-1cCtNbWoGZt/U-qRm]3V &7Q1MIԟxuk_ev; _j)o`"kv!Qs urTb*)W94q¹by [ӣmd $ixQ|'4[PYadpy<89O/?_{k! QA E4sBFM³?ȟZ&-Wi?_*|EpapUGQq0>oP!e3 d]i1{3<F$IGEաFc`>VPW.M5ۯZ[phK̙OzۓNF-?}Eu]Q?OaO>J22eUSD,>=\[&8?! O;](VH@_X+ 8Y2U}Ȋ3 -g>݀k=% .f۳w=- >]dRye%E#8f~6BZoy "~j6]$%ĪڟCLmSlœD֧yk:B>#Tu'e cO=&N͜'FOP. [g#d+7m?- kkt(=G,5fڶ kP+dvgߖyUYxW1*Z^(}u<;-a4 v_ZQϴ38#6VSj?'O;b{f@g R͚[#GB-\YN BTV.?(1{b1[e1O[4RtJ+?Y[ 1!zD=1N3,D{ ͢[J-ơH% ^ SΎ5v 0}4 d+qƋ v^B2Kc5?įg8h͕C Z͚Pѫ* ѢLt;8|X- llox\wj!QG%1|&x,*79#=B0z('E_S80H]6;,P8+ r,}NEBM1xO, @^: r5Њɯ`L *,.j |qX -kl,I]E L6}aex92$4A-uD.+.|ǀVZ[ Ǿ3s߹Hzr#.*K,(l}9QR߮ d؛M]K Ce7֯m\:\뜢5ϫ ?ΞН QSnZ[GS)P'{D֓,!}!XzWH34lLevi1Y8h*0ח\M3[6So8-/i.;&NJ-`c' E=1#)e+׆ ;f8}fմt驸h?y,K!ę9n,aPldѡF(!ԙ;*Vif@ 9tsE.IU^' ӽOU}ͳ~ D`3H( )u~v{0!Fcf\9u)zbw7!ץa.aS+wXXSj:i7IKeYɤ :UzThQEsx{}xL-(Q8̟,%VԺE+1悴}<ɳ#ދg:c;YmIduՑ 9|ɂ ah۾FAT(R D ЊOVzE^a5oCOW}͉T% K>\g˰ɇ;P}:iǖBm>6 wecb t@̿}k9ԖҘ^JJA }}Uauk-TwΣ,72k] wNm$w.:ut3UHT6c)?oG9qDcQ+;R< `MęؖN Kru/U<^O.S NPx^4)Xo<2$IԊ"a~&[_XC*ȇ"ģDPY|л,YvfS?\먞wOshT`p6iMġLMhbrv1/?zz}#v(4]åPӰN6ڻѶU \"nax~Y9H>ICE8sxn5R'HX#y#OJSW1 A!W?? (pDqxW\xP`mp}ot5 M $%Ul]gx=R׆8r*螅.vgtЂEv#^4s!$Q\lpeWhbM(eI_JJ x @WC.g–A&g Lһ7EDeϧOC HUI Te58kqD7<,n19`ɺ^ۏ's5xbN&8+ڥ*Հ8A&eb6Nk~*__[Mg!" Dqm97fb8U j_IzYj!I Ƽōusj=y*~ 8nR`2KX_J/e:~e-vY'(J5x89zo-ۊ(aMq^iG VvWaFvxjQ.GTv+a6Tr(^JbLU'1NASE}<)[rv+$6N5 &z<ꪶu˨"o*CCy2f̀CMg&nB8|aQ"zwzB% `Xhl{K "V%Co:HKֶ 5xJɧP kB;ȫkg\<bVPi;uCz}wD!пHy>1Li¤?o"DGx<Vm.F;ý2Nsf-`HO}ehZq:V>`k)i @8/ '6R >k<cT2~ZLc#[oHt,19ݙ%l6ҷ.S;AT&=1ˍ#hUSd@&ΰQز8;ER~ n'ơ;k1X !BlnfHSevw;6$@j<&q! WG"WD=fk~Wث1PS¾z0k4DQ3|Id[=36 r $~6y]>i~)Iao՚_(p3@qRG ShkOGIFDDl:dO)8.~l3-ɑLUVϨ\햘cWpA_:BRk-95[SĔ *M̽nrqk?RrLU hp(bСa̪2oǙbyiX{UtX \҃?BʹPi qg"|!_Sz\ˣc2zp5]ӭP%O^ >2W#d.0s꛽ꚹ ̨OzvrO~9]uVb51%mK\90`3q& d:(B%Eg,Tdd!\twʍ%AƚWv(ݹB05YyuHT}wN*#ZE , ]B~obh10N0 MݣKj G%+oN,&R4A ؉:Js)3W~cqVVVD,S6έҿ G<"(c~C/$!#kEMqh@?u02)Ìw*s"ͨ\"~Y]uMnߙO V!Mlf<6+6M^,8W`Y`4> Ѣ ;5̑W_큦kNv#U"aN?ٞMI$۸/Z:ҹrub3 qk@w߰ꁷ^w6U,)&XV§" uyOJzcjɑDDRW)UY&k.OpкЃX0+y?S ?6=XfI@\*}{^pR48.#hLKР(Ü]~(_t<(,ª-@arZ4B[/ ڮ2NHwHϋoIÁxv#:@ŐFOfؓ i PB 'i\9(%̔5`Lof)DǤ-4<Js}6XR+VX =Oz h,}"ਫtKA&K g~_X]3ZXQqmߞV. ̏Ɗl-՛u7q>a}4yb[#MuI*|K1d?HK\`jqbӃ@ͼ mxE[;K_i>}8f1%E)8Izc6N) 6o] ؓ_\圬=ѥNCM8 (!*[.-Ųƭ#ԉ@`%6 PzW[lg-"k=~փ/ ,D%@layLRl3.r@ؑO>in2+Pv)*RF7>U|H\ ^;7?Hv~$ fgO:Ee,]P][fnW,{{1t!싖p7R࢛JLկ/OBbQZb2ÛLZ~QX{ )*D]v+V c(AS?h7Tj~GܰUT#HrY)(vq/bP=l]Z^|LO_%io651Ⱥ m& A/B`+#e$%W_+ނ lcn <4=( XZ@ODK\hx:LTzTN*T:HTu^C+)wl8{g2 5AO` m]egYZ X  eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMH1H66r$4x],[&i ~*$la8Nry;Ul9{t(PEv1Y̜PlaWr|Qu$?N%ӌyg"ў@@mrۯK(j 87gDHC'ѴɈ iEQ\!pQ4Q 5l &fh&ty/W 3-PI1߉[5!'(|iىtҧd$i. , Mս65=; 7!+cq%f>"piʫofL͛dYCn#hնh=IU(2:>I=V* ҷo{_;y6[ P"i/B|,3Ի֚q1&\L2HF㗘C{۷y!Ypo8Iu?-5@NԓrhM7tc &hb: .VҨ sK]+sτ;T0BSUkycPuiކ?;sGvlص(cg2B5GbeGerAp!knVWFOM՚P4G+ $f:Pp97P.q8>YI-*^ rCbT'{{&(1/!N~c?Hj 9'=.&ĐcVQk)(gCZ5%Ixdܬnr9Y#/:0'~&0]Gf䉻>VmX@&76< f95b{gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMH<:?NnQnM.Gf8a0 0":(n2n:?\d+-CQg&7h G9 ˏ` ћoYx86h@VdC?2\TNNL[8!ں-Ciw~LFcHÿƷ"LX#gb˥R]5Tks>M r~?{рHV)qDPH%#Z ֊$ݐ?@TboGAB[9f;@Z!i yAwkMX^9t30q9|s`kZ]3un~)h4Q3m(wӐ@dɂia"9;:d{2mX!Q2=*\u>+$$,Yh@ -eY15 뫑UrMyfLڀ]oH~>['n~230bZOIQ#~C[󴀇Bӟ jh s 6v <qR]晡poȼW .o۷6k۱gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\Fjv)mV+(I|  k*2J0U9C|,F`kf! i9 5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  l z d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! B]D?7 {?:fH\!IHxYa_gc 8|D=x嘠aRuCkJ&7ËHYz\ex"ŽZuL ʏTpO?U*zyPV;THb:~XW B̎Ng2"8<vLitfۀĩR]B2/>!+<|g.P '⅍ܧVhd01c5~WXpMH<~alD d$D t l,觪LTUՏ, tHR\RXƅ䬈 :^p>DѶÐH0ˎrmQ$=ژi-NF&%xC3D]@ |wS2)r {@21jWZt9KXڐW9l>PD.\Dy6.}RC"@:4p$,5n\jX?k)t]*vA3NyybKV.TgYZ_ Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <2?]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nGtÕP-1P媗<.=tsV̺IB,mmXD5@" @#~9MfIpR0{-$Ii  .ttEO;T%"~s"xAaz'׷)dkrr[_e(u3[nqvcBB (A~Z᝘gڞ%L * tצJh]^ 75`7RZ(?e-Q)<: 2eh27_pRrmЍ5{x PW3Sܛ/̕CU7oۏ"u,h"O#>; k:ӻGگ"\ُ/p 7?cO "KRZr\(  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thymcK+KȜ@}LAt%Hdg5lq)qDGQ݂oqS 0fֲIʅtn CoG'.lbM@L>KK4 +y B/ _W6H$khOwꢷ j)<L0hWl)#{)eK~kэY=]^XY L 6 2qx4ضfxW3sU Ĥd=gekh&Bjv|Rs= NDd6%ALi[PTAnbX dIFu}`(e*tf'm1Z˦K;}ijC(cG/3 w)c ijn]p]^<9"mCϠ{v\ .U6pncGZy5p6HW0c4@ WU ɨ+]4gy}J@7vWkW&96jm /Ji눛u#bFuSa`/ [D{*qEG;88mlxl0#W‹n2gjg'eu7r iSI<*Hd7zIIuNՑ׻PL~m)ӹ wʚezczHh`Lj3_/㩇h@_[$T9]696Xֶ ?(iQ%`R'F95")>B+藓s&GwTƺ$X#E@rGd\ @1&P88Èm7MpP^ gː2d Xm`jaWôBW^i=a(җqƚ9ZC:d2_Džt]΅5F'3]4*tV+@T`ޖyShUUP<Fe*k$Ud K?T[^rBE2 t@L/"M=h16kӳ$)g H/FVCE֪).SO0Z:Mޗ~\6guocf*P< 7p( k|>oesSژUA>=}gZ oIpM6j~QlsYl@jLW~fu6Dyw:>Gyu.;꧅#z$0/ r%W4EK}y!1co򰋒QL8[,5k|'z[S③@'ؾ? ` mڡ&3 _?=,,VM"VTp,t;pZRE,S8Mv'TޑBodlFv`VoCߕ.ot7d ~W2a {`_,c`shC#%.lR/uHd k W_mܺ)]Z~Zx>wSoh&M*7 VCUSS%j,ho$ *!Qy O2Wѝđt+[xy85q#z><:64ZNLa770,$M'+ٌ-{P U1u5IrR+֕ ͠-4M #)N_!\G ;dRtW[.[厦)oe!(/??HkuHLmW.L|m6*͖U (?!s=fUGW]cEU'U?BλWXPW;n4K\9F-Q7f2U8bZQWvgK(|EnG!攦+kԘשL,Go } Ndd杯V/ 2 i/_wt?>ΪVL a*덈G\4ڕ'IaBN?^qC5 `[j8$^+qk|ԝ "W)ȸ^i+X7cXvAhAc9H(ֽIJv~^U|~qvb\|)94u~\{uRw\}R XX!]% l-܇9{֤]&tXrSy!5v+XrgǼ`׏VŷquZЦޥ ipSEaP lw%R" 9&j&>j*~ڣע68чP ̍Hkc">ី {0Z֜J]D3/*:<\ ALCņcH8Kd- cy릷rg;_44L|?;<`PS˛TN;xC#2' .[ AE>?tkqF_2v)ܶ X"$9 2=Q S7y'p POh;O#ஊ Gӥ^ГPAdQZ?Edpa,[+*yۉx>؋={U6w ׭`U2o׼F{XMf? 6`{A-JvSӚapxBD;0ߝ+)}.aD Vq2bqMb7052/ɋ);cg9+X!Z#(+/eQ?+اٰȖ-Y+ R R@|3O=\ 33-[?hg@xzzU Bxāb(St9oy)`oBĕ03DR=']+/\.H#;}ԧQy Ƭjm}sJhD-y^m>vQ;ͨOjDh<m.f.*0hojc?d6( r!CRݢ  XNtofBT`pA}_u1kh^<,&0p%!BɃ|4MQL-^:z 0I a Ͽڏ7@8QiRI (wOI&Ua&Gnig}BLJ p+RDa FVQ??7czIz׎?#X>nql/, 6syUA-lto^tvk4 {o;Cn\V4{; 5,5h8dpU~*;]Nl *eN7瞊M15NF~b͢HҞFTӁ^oVl偬:P@3|nɇiuqQ{Tf]kꁓ}n9s%+  "fQFĎ5L9([|Zb׋ -cv&®нI1Yam3BrعQʾ2ϲBVXCֵ9{d.hfQlJAyyپfs[ J^|I`B l tS>X-ܖjje6 g*i̎ CRZS[8T=ƺbBBYf\ sQY5;uOku D`uhh&Kzml8i&zI@\{ȇrbjhͽTvXX ~2CKźZ(k5KDs`Sp+ݺkŤ[v/|P|ǯ=; |{Q芜~ ; tOau^8 TS6|e4r q gF8p)n<1>ԑ{p4~5*\u}9$roY O1˫Phl^SN{`&Lg&nyZM} LJǬ}js/8}NF͠ځ[g#쓃{r )OrSY^+LfdQh (Bc=V-ɜG刈n[6;9&(,>dj2sm;FQ_[>D܉Ux`N]aj))E$LQp iSD) 5;2ypWb@2L9rvrN}1B~] t"P=/8{Nّ#[J!zeU=htC@N-l/ Pg,t|8ԕOO~\PL+@EMkŞ>X-}@ a {N׽]/+& u8>\=k]k1ϊqk@GP4Hv{ nD/o'nP-מ ҕ`ܛDg8 ]%6h!.9 &~j"6̘1/ sR֤SxR i%xCr:h /) a8J2ܻY I/ zMQ F^)a[Ti3Mrn-bi1ONʏT$J*|&Lq\kl~5>D }׬gb` (_eS) }ʝ6"pYm?;]c$0 ອBes#s'F.<%mg&B-4!L#0#luLXDcҀ+ɞ'-oR$vv6W`ť~%R|Gu"S]*-6y$k3uZ< C|Q~‰ᤠ-0TrndHnn "si7?KuA>Wbϒ1 t`w f/Z8ѦY+0EYh+F1NNiC/73]453Zy;VC1 M%;OBrZ.)Uʭ5WKZO?e31cxމ:wRU0f>C;Xq 5fta]v&kՠ"zH:̼DpRZ'dy#(;+Ɋ'bʻ2D,sà0eIؤ2!Ґ;0"=6sI.w6JuAʔ& J{-4Ճj[22#{t|<KQBNUz{?_l1>ʁ4 ,Wާ)Y|%(`n*U&lw`r=Ŀa#g$+iKr0Ѭk`Z!v/a:k1,>J+/V ˇ\rQ g矚rfoe46 .!NIS`=a/HA RWskHJVExU~[ ߪRSuϛ7OhfQkؾD"+x2f9p=#D)G@Ga}m`6tG# BKXڌ  c[)*ArdA6!GvfPN MsBT?q8V]Ʌ\w|FFPi]rUT5hyY[)5DfZ=\2j'ӫOd6E,t(̷[g ì<෵*72H%Abߓ]A5~s USN{L-[Ԙ܉ nr}JƔ"&\1?b{YTElʸ1M$-BЂ0HbΎu ^_D91f_1-^-$?JdQ !HE,a҂/O{} DSn"TPg\2IWMsS>*?guIkif1+nLUՂxMr@#¥ňXai-|alnYo5|Fgk{ts"xT"0t=^+$ @vjPVbl]Kgy !+=߹xe o &ʺBRP^ɋS~ܴؕi*(U<"@g !}P;Hގ#l%\XlT 4=햏chcp4`ګP ]m'>xs4}r[2xE+y31@ӇBQ‹=\fx̖aѪog?ȷo!-:ǵzBXυ-wwKC`JF,XKbf^mђs2.3S#p0y1p'Bй?{/WxKڡ4 Oa:!N./w04h`EcѥeSM Ywø ZH(s `-/9i'm?Žf/|mj,r]~Hv*69\)}%ItL{Q6.?JXfa/zUA&a!3ezǼkXp ` ;T,8 dcp&%`C?zJčN[2oC `.W\Ec`y" < 3l|,wҪG71 0;bЄRfLFUbGR|"$%\12V>i=g3USWs8N5 23 4VJ"Od$)(y tݠcatkX~|Ɍrj瞅_q6Dyo^P8C0`0SB ckyfw{#H.5w5qft\nL f6[Ւ<0tOW%p .dx&iy|UÿJdUpdms,ƥqD"yP`m-1D欀cE;t-T@Hx6ɖI'1 vHckyH,1mрxm8eB`vܯP[hl"EtcFX @{ Nb>"-zpM~"Ħ @iGO+8~q5Rh(ؕ$fd~wo]ƞ -Ve 87*0X.Lʂ- G `X> S3,]UZӎm؊]F2GI7bSxETojWqgΜk< $ ;#|nB(y?GQ*g`4+L%)c6B@ p oE@K&/ESCR?Jttc^[G0{.-MM8LiaW[geTzq E4WaAeTk9H6d`U c(F\\ l8In5ځ|:~!:/u^e/Cٰ"be1X?;ZNx˯!IU|ɽyHFgC6xkK ~ǖ249-womVo =@WNp9$eYpGD#kdy[T~C3^ Ek,V{շ*#Wn[$$SQgt#V; }k_m *^"y7`uCx[!yunqZQH٘_XEeO}PtHA k(6@9ue4u5i6 _X|3Dz{Vc(fyUƌq b浲$E2֍niՔ[$zt]MSW=@ktN#8k`"&7/(eR̹$q'^KWCM?ˡ?aՐ RF4n9\a.f>MD]”(Bnv\ ˠI7*2 9a&>Q5~ϲ5TE$-tIk =nY{8;P<9U&rB]UȊ d~-m&~}JE "{Q%Oh0|B["B" ?1ed4WĔ}`-W8bƤ&8ֱ\ͪ6z!H9rpcOu *VOs3S?Y:Ayvn?xV)U}ekE]qοZ9ˮ>ia{n A6?Ūl03R5*QJ5gqC0,8zn'Wދ5ÛD@0H!sUuYqFf7╓CltBffT2*IaC!30̼N҇dVIf[9]JD#Ч`O%T%ڈvZr].m=׹r)86.D|'U~ǽ?E:J)Z=x-PgEgωYN.das Rs'i4>ʫvj'o[|š%6*<ҵþzD♨͊AHO<*z4}Ge,]L ׭&ݹb6Xc9EJh9*k?q&χ~FSݤm2|ZCБluս"aKF%=rLLV`xiaagrwEZ`MyJRfG9FΧu y"M)#GT7**/+r3_uWo2{e5E'Mh*_k7jΏTLt}|Mu`CU&G2z4 ;a_4QUzjK1ۺs%CCX3`֣.r6H][Ȃ]>J.*sL'!-Ѩ11}#Y7[#]U#ëj'.occ<ηJдQrɖȚm}q`;Ma v]xi'%IL(de$gYZ