SQLite format 3@  ._  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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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  - -POpZT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.672cpu=3.950gc=0.000(/`҈`nύTiP]zuMP񭺪X7f  i>07$V`YG4COF&Qb0XWU9n;ΣwYe5 A4xJ8[ qaMsg(/ _pkszMW,\*WY>}Fq$D5^D $TK%ӯ69 ^KNXO.u  -ݗ(/` ZM @k OO[Y!( 0 LHB=m "1L!.!*qa@r1-61>xna95[9= 2`HgHbhr6PU x’0sR 2!1in*yD,BTsO5KlJ0u%HB wU2Ѫj#iy׳wuhlnlT+Xr]}į*:4ù4rht-:%)d{Z8Ѕ̣ ;N9fJa$+l"yZfЭK/GSxA^b g60'-834у#I<  \& R5n#ض'+ք ߝm-(r fkt `b!;)X P* [|Inu%Vs^7Ԡ1ɍ60jc \yq^TxZ\S>2φ)1"bc{rĂ߶YkYK}OfW1<ڴ:OP&_RE@y@"v.5JB, :%r+#8JgW=:ih4\8pL<]\r<3Qfd['2*`,q/,HF]>-fY.:c>ូleXoNwf <F~D\jrجZz{BiZ'P7'of#T G G8.SX^ʨ ),)ȥz)FY_r! ~0=Lkӂu9*8{flL0~+:\L Mq1iѭYmtCC7y=6M1؛Y_s_G "*ffD$)HR %l"5Ȣ$R eDFDDDDAE`L\"7~-AHP\bѦG@ ;"zmߓ ,dS,FGjvDF\9Fӥf15AȂ_1!W:hsyll[$lQwiW$ͱKRT14䱐w%)#ǔBkA`˭|MS.1ƥkXȠ?,vP&$5RBh0sV Yϒz n29/Ks32b2;ٳʵD;Sc%6FCQ.`a_^-REtV˫hv9E p{ﲮMz9Z1BH ,;~*}]cY* PER!]_pq08\l+*=œHHiCRm>rhW jb×A˖ =x:kD,ZmBG' ىdII:Nm;@@s6:^( P)y $Tml " ] ,Up |y&[sR(}K*Qs^*r z :]2P1ֿ_WQW`lbƨUjS$IDȃc#9E/-76e/AD\c%%{I{GJ?Cjd܇{׫1]shn:NµnT9Q`G6|=P`|qV zP˭ƿB%{p`f,ějuWkp ԟKsz%aCAnV2Ӈ5+؋uЈ{@B=ֽdRC, 2zrψ2-/_U+%O}q9^,v|RM~|'ݾ{z+p+g&Pnj6U,dXT53}(HVIe > 3 3C`'"A)AzRxQ?(8p1c s`ؔؗ Bk BȓaՕ$,qnx/FΌEyZF6"Q*ՀPj1nYF^Ɠ|s*F7ıѫX)lIE "[h⃊}B)sQ?30?kF@%r6;:sl:G Խ$2m1R\D|W[~5k3)zCDWDUA rH2ZYAc#c In*4XvŔe T/>} d0oE> jKq U!s;|cBTlp%3 R$C_nH]  s3S0MYCѼCMnnVc #GHN rB o9nX$'*(#ܝ+\\"{"u^32֦U,T[><d+._ H\X6%8?iNj~!V f^['lѿ[AҦYcVg,`L^(A_2bƑ+R32;VCNj %aBL6-%0.,A_OBIJW( ZOw HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b5 &m"0mRr۟0# liC{O5)Ha`yp`bY sFai,8BXai0gB\@AF0X,\LL0㖄Z¿8ҔyX5AHh0Z^.( UH]D[liNًaNI&iq1kqVdYnG<%V VDa)|CbI,eU qP@;۫Z>{xld=MyGݚHw_ Wϙ6m 5 pcFAz.:o1<ؘspWŚ1˯IbBdDTTvԩ6ڪW+Yro~jYTvk{흝Ow^6q muJx_&EbSRL$I Xa) a81B b!)ED $(I'_U޵FVC܉`BKbdΔȜZ1۝*ۡp@׈.zyRQ^|Ub,~ .!6Z/LCsn0p6PT.d\&΁:$6x!V5É.U^5r'ؾI@OkJ_z,%jN]08qWR|7i6;>'кB(΂g'89P=֬E|+H(z"_\uπZ7cdxy/FE})dM9.>GF"Hv0,$/r5p \%@F6wH%@'@gS3N?XO[NO$Rc`ѯ{~E=]{C11ja!pZ )ΓҕƼ'Ӓ CL&CAw¾e<•ю]}?#Q CI(?$y4AEM 0 %`=J`P6IRMn@u\4-Rܗ c G;`F#ڐ#7Pf) lȊHBM7n)|v̓dT}y1|6UA;S)!hZ0Cgp( C:L~QMsLRTuGZ{j;*WG2%D5D(#ё81١쐚#" (}Xͷa~߼m'qm0LP!Or k䓭@7t@p:Fٞ 0w,6B{'zLy/LѶ `;-BufsbtvNH2N#c~^OؚlR)#!W-f]M)F:o:³ʵ}smO%#=`r <Uq%gRB?6M}%Phmuq1'@ATΉ3ge2oN<^:ުa +y:P+EV׭bF'";K$n@SSX$ 2H9iL.@+b:%QP^ D$kh,*liչ/X xH@wE// =j„Hz(4@eykƖO$N=`6 ՠK҉)F s&*LWt:IU_#^rK,!&TY @YX!8F }K`}K("RFpHo]-(u]ݳ -H=%c.)r<źSX:b +15Ea0ꨪӟJ]1\NIb*`r 1e[s,xhM9P)XF+(㷵lt 0 T̘j^m6iZ0o!:)>Q Ch:Φn*N $D+ l&RN$0eI:r}dĀ5l|-᤬@UƵYvf6Pu`Sc “/}g%];0L'dTd8/ |U AhNE LۘԿH;ڥt`'t]wD+s`Pu gO-` 劻Y)G,$-/)XX4+`ZU~ -x|l49X"\C:UJv8f&_FrL,@Mb!-r[DBV?R rEt+2Ʒ*"7DM=Ȳ2KG?IRDdH]eo^AWTxPa'K LdhЀ'Sd:+T "R9\ Eo2DJY^Iz DlЯMx43N? ,G ]$` ˎMn$wX:aC|tMjMw QJA-kwp:P7ߑUuOaePU/,TON TkNgJ! Lkkki@CiҦETĴV!*1+mH)=acnWU05l ɠR `jH( `)֒Pww&22GT;RGM*1̫y55;%t8N3/AK5p9ziap{@"TTs] 5%hVO-E&d鸊O TwnhBZKN*U& YJ&Lo8e*T`M HΫiBÚ[AOU2UKTu\{wzEMyp}oWYi2bLi-^ڙjG(R-&-nU1Ɨ3hRO֝B?FDDN{ s(o@8#% IyD&0T=Hn&ޤô<3 ?=ֱ4VB gt>1;_( cɘxJ#=h̘OS?qf<6%YGcxd=}DsbZ(0o#PPBz 37BE}42s+yó `#1Uc1T`A_N%A*Ƈ~PmOҏ!1YNlc|o~BC4[&)̰X:CNRVndmDnf̍ u*sY*t1xOL~.ӘZ-vt˜-f<|ZwOkԔ?57I .#r0-hQR/'"]#\XeڹsK`8J@kڇ CɈ;8RBU%٤*|teX'Nic¬-E-?JoH }չEIɴ)h?V@J`Dcf5-˷7(zK"m7A*8d4l~cl]xcm)y7Bh-H9=ioW3& C[a)41|ϚLs农% UDa$UK.yp,HXSDrڬA4ȍI,_HƖIxqdN*5_n$SqS&:`DS+%4X SpC nj%ckfbzX4jI(QCݕ/sáQVC-tc!% ,|US1au!L~TSg6J˥G(J|n->O )Gi]4aA#?*ܠןmF%'+%8\8;􁴥 ,  C@& k.\c> "NнZrn6=/cDDҦY6hS ~>H֢^B,5Ie i !)JyL!O))\H'ь}X:of075hIp&OX 5C,pрD hڦy[`VE8b*P b>"TiRv<|##<1TG Pv04@a)FYsM1 ie4h\O VOao9}8ǩjE)fWl% 6S }B@CXqX!3Ё>?NT |}hi$>7qEizt[M[p: ? T1Y# уђޒӹr색h#1%naCPiprw7{VTLîb d]h1.WeNO|DRMZr~e9/:gA!Fb5"&yykt>BRxq.&@ 7%7+P)RƓcg"7#؈ρ@ddە;} MeS\OERPE9AU;WpKn8!5™{E@yў*"S| G&-Ʀ&گWo`~BW;# k Ҡޮpp M$zPԀY>A|۽g]$rI0>4vgyr[МS'l 0 fdBx++=V ˋX/9REǑ&e蔳VhA`dZ`K6!3jQ"!A:f@ O#STN2/p"4yv>P|huء5e(Y,zm[UQ^ VT%qeZLh\ _O'JO&4ÜDvwB޺Iῢ!RDO|%"Kav2pV# [#>fwetpyd2/r,XPcaF^?_\˨̜"Ŕ=& ,_nTt9nkyԜ0W^K@YO#KLyv!&(\} k1LD6Q2tVO$^:/ksZȃLC EGp4- ].'I+n fCZ$^RNC}Вߺʯ36?}1Rd/QqdkBKRi=aM^ \C5e7v9^G%|Z6#5,]Fr.r %Ȕi>ƴ,MF%_NPHJѹp8;xȥۛt5^Vda %gC4+MI0b]a~X~1M[Ǒp._p^XRd>>"{8Kq'pa|T:g0 [~ ݊U%W\=a!/Ѻ=sT(kܟ$=wDDo Dр=RD ,l6¼IbQTw;q*p}& ޣs"Bz)RaݫE&qEk-{'O$7^[l@]D/jcG9*_a6t 0ϻ) R oN6XZ.=ΠFi4|zF(EP"ET.w;)O0HfϤ}Hڴ3l8 4rTcZ젮5dml |= WoJP眩/#DŽy;w_BZA%ŢҢٸ8yv\{siC6LvQ簈:HMͮ§@"4M/Qru3HVt *@G.:6\6?BkSRcv1c NKC|fP'(r<9n.3%"WQ ZlPhSZ{F <(e uةQPbC)"I1hy7\Ve*ǚz^IaUE@`ިzCX0~N {/c)Hb7ț$gB{_Y}+Q+􇑚XqJEQ8!,۶0(zVsո˚^,45K2q h8}EIwLF]Fe x]q&C1_~bVR~wf] \M\/24ʚ$HQOA-S4TT!h(bGU+bT0r]"_fophM63"}ӆJ laq1f9 K%QdQnBf&Va0?Rrm'"-}o$zFϭܥr\/tm)w(w5yO+dZ-tp<BK`?}((䤏i>ԓSuvpB|*`x:gm<)^Qphc $Dk rzo!ÓwNd̈?dc&-pa PQiT6ku2ت)Dޭ)#M0;B ؎&UF8ϯ55taIi|ѹ(J9~QES57#CUHNr y.cqtn ɬ X鬱cn{bSJ'<A4ÁB $AD]-_ܑ|N%ނbqGP;䦾!L,a7ҕj2vtb_SU]U#GbsB]4&"V\)zB6ixB` LjwN䔠t(3ޠְ;Qr>1ɋ[=py?}Zcभ5DpxLf8}Bh pCFp/@ _ <.' P+0!sF㤚`--U#+4MK{\X8"? w X`CUBy@1⧿ʬh,I<<4 Ǵ7:Oa4 sCY2vWݶC5˶*ЦV+ dY4`, L#*0NXqI'=H cke*COދ/{>;2g%_\H9_ஔrpO<[g?﻽ݾ˽XQ8 ˼؍ ]]m]d^Uh,4t7wws;3{[q{{qYqwqqYq}yPvwWo'hr4< x}ח=9ZVVfVfeU^k MoYUYyUWuObUWYY=9yW19q󒓓/r{##;#32Dikax@;nǷ{̼{{NJYYYks*V̬1-{w}}}- Y5VͪYumխUknUݭI~dt^nvfdMc]fuF~vvvwwvvvneUVfMtwfeVffVfeVffdLdf~f޽cfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"bF$: @ PE"a~ dD<8\ ÀP á@8 !P s  WH\-Bz{1#AיNJZ^gIeQowMomTIt;_y;T,0dȨ[ eQ: t$FN30;NwFQ{.4dDuV?+5a}S.VVu'~\͗`M 䔒(ݯCW9 m ICt"Lt:C_$ $*ؓat ,BA/G.%`DD&L=[4qn٘mr|C*Q{ez|j`tg%&1[(umqzseS}@ ho)us|O@x" p]ѣo>U7LY%Mc7ഩCytZ#M9G_XHC&wBѴ-4*μc_#u9H/7 ;]p(~}GLF39@ 7e"5N֏M*N5|g`J\ ^̝SV` 1ȵI LI;ufA,50?x hЊڏǖڄ҄ܲ C ݫ:I0(Iq86ԗU&S.8hypk5`5btA7yo&2*7E)تt(WA7󍊌@O T v:JN~⼚x/hsF,OhkE EhCi""K4$*y:rܳy{rq%FCm}H{2Ij!\W` k3.5.TpM޾g,i32ؔ6C BAZ=Ͳ{5DE4ArN @kP:`ME7 a EErTŠ,0l;;Kof½Lv'6!i]mz`~Stf@mHqsz3FdpbKd._3/h .sU蜍E`R(7Kt[X xbNntN1Aˠ M)Oc*NCCt4j8qJ#?tq3W7 JD S gvڷ"tÿN 7p?y\xYc5g@ϊD*YL9$U&p"J瘎L'm$9.};AEƥ0> pB^% %* x -mw?`@)䙿+afKxƦ(\x6jihM.) !Pݵ_,F@Lq;02 kR!YO35 P>1$qu G.ϯ[ E3shd0{nM`iaSX`gz q^"84/y-_X_G Y0VjG K2>_oqƳOw4,K PhJɆsH}n$>? s3GW/~* -Bi t64ESM6]p3*RHb&BL/z&xL8H$)p$HFA)АLun݄tQ:90 ZeMD6=UfRK.,--\Dv}LiF7h`j zxzvR1[GsUs"1 wbzP& 9X4#6M`#Bu9Ͱe4ѕB+= Eʬ%Ɣe 9TU}X9PZ[P$F)L!-̿U$s[bCpg5tG-IYDq%%U#h_PI1lsl fvkFm^<(uTLR~ 1NhsH }\3_w@XV@6kCŜfPH]na9U'L/jL"k륁41nxPmSA`fV%jRC0Ϲ4mnū%aF6=!7l#I lTƼDƇZ]2KBa&D-EZ_$)c,>+ (B?L|TxgW @0s aQ˿cQ'H6HdHL5P>݆4iDbeX63dǷ.#=#C#AّS"vоW򴆰gHv>A^CP@NLឳb zcgx̻};Ѹzʦس|l_ +-7;(- /})볞O`u[ :d즮|o#x܊VDXUG$n7B޿̪@DQAvv. ˙Vzb ')Z!eh<[Un-zWj+fY^썩I(L_6 ^+B3=Ϟ$Bʄb)-%9(+\^TtU}?P}.΍¡Xc@ 23h#V'%91C3< pE#ryd;*,rpj߯ A3[/?4X,pa~P+2:Kڏ֋m7{Dbʜ[v8KC)YZ Q2mhE;r{nA2^\خ= I̟A5x'9{`PQ &0xk3aRM;'w:rP9X"[7en{%tM 9-uzY=h%oņ|nFR\`Юě7%=.GZZʶ'r+.'pZ[L bK;H*4(, X4 Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b5 &m"0mRr۟0# liC{O5)Ha`yp`bY sFai,8BXai0gB\@AF0X,\LL0㖄Z¿8ҔyX5AHh0Z^.( UH]D[liNًaNI&iq1kqVdYnG<%V VDa)|CbI,eU qP@;۫Z>{xld=MyGݚHw_ Wϙ6m 5 pcFAz.:o1<ؘspWŚ1˯IbBdDTTvԩ6ڪW+Yro~jYTvk{흝Ow^6q muJx_&EbSRL$I Xa) a81B b!)ED $(I'_U޵FVC܉`BKbdΔȜZ1۝*ۡp@׈.zyRQ^|Ub,~ .!6Z/LCsn0p6PT.d\&΁:$6x!V5É.U^5r'ؾI@OkJ_z,%jN]08$uKj[ Œvݖp]AuYTJk*;o[af6z%qNee'4YpI.lY\=Y|ʗuR1;I4ve\K@YG8JT&DFLP@pM5(Kٻb>{0q= cdO4-;s ^bE-6VSmӷpjFP2F$H+GmzYio&I! qq@\PfFdd `9v@"IK1ǐ$`(7SZkR}L" -;) Ѱ)oK%7 fOmaIRXN~#s_N[454*H^c5 lZe[0B_dktI1b9w3/MUhν2n^crLb9C@[%0 z3j- Oa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=jp#/h 7KdS?nM%-%-x()'A0 j{C{c_b}q1v^'ĩ<qBHFcFGnx(r! ށ(t2& tfL믑;+罞i6Pb.)HPg+l yfL_!3ļ?ҌKz{/^}L1|SRAc='~E$<8彸1h4g|ʼno= $<,>dz1~J1 ŔZ{+tJ FҰ@O@6@!B JAgJ 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_id594cOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`k#0a{sbxGt[I&h~n_`Y se称s D@("V`{LY$ H^R<s DぉEcܒpR^KW\!Y =5%k "-UHFz`KG(u^ Ö]vZ]՚PŭƬY=HѪ)T[2 [,(ɚP`*Vy\inܫZ:[xld=MynMJ5Mbí\ؓ\tBxnBsbc\-kƤ/&MTSm&W|+U/DϽ՞m|;;e/OwUjZnZr1B!{bL$IRQ) a09" BTH$$>쏳k#z)v܆.%r%,jJlic[:;U]N]N㢫;i h~gI">N{P\.^wi[C.r ky-JuFuJ7[`Ec"Jq!gNAĒ:5aFl9z&Cm{ro&3E{vudM"PRL SLܐ*9R_PpS?u6dCYAa9j L)IX(aV~L˼93+-M"K1&LhfG9nilQA4Ow}1iJ|b6&rid@O{!&HRI7䁺mjw7ge_d&Zwgu ߒIUԒwQ(EΐK\Jp'l>Pֺ^yNVtD Bs  8Ĭ+[b*pW͹~Kx!fD ݫ)eC`$ k(eV@:t2)P(+Kj1!֘#IX 2Cfw_W:*Hv:w5^[okgFZݸ[r0,yDPW炑$a$ 쁙btfIR!Hơ͌'PhDH.SVH}Pk8Blj S(X9'DՉ޼A^kïmrws(DF;Uf#x=RJ[Կ ΃q*Hp Scgg6t3nƌjBGZ[_61;fEwP<c̙~bW=sy5 !^[ >swK4s[|]֋I'} x5w{7F*׉wZZ"bʗsg #]B1+c̃YPxWނ;+1s1wDw(\ 4h܋ӛ;|1Q7#mt[V ׋a C 0ƊƊbY`[PM|ȝKboR+P Tƅ)_2^OD̔˙s`C!DTLHbX=J `* #IZqnkax^8kMfK QW.pXvlA(cy9f,Oi>H#}l`Cn0E|dww?寜2bx'ntlnPpn׌ zN[PqfabRQF0Q5{CV29[yf՜IRj8a͢Wz$' Y3љ"Bҍ8QL/kE -ܔ"[|RCvtCphRjk-oC1mYS ;{T*S)5vP`cظ HsV  0Ec|Z}480Ѩh0&@! 0E1 uKٝݞč,MqvH[=~r/6Z'`@>Z+wNnJ:ʻTeEw MyyJWO0ӳuW?E* $ h0kLyKXy/!y/㤀$c 'Ƭfs^dE Q/5._p.I &2KN:-&Z(# -C?N*BH= ]E1I@5 S%az.\)+[{5*|G?@pW )eT 0b7͏8OM/SSF1ǵc;rd'OW 0sE03X:M+*٨2uynN.zKh+voug7x$E# W.n#PF\%ā <%Jk5sHh%CSK7$ jhOhV**)͟Z`rmgð6.#!PW{bN`'C]d3hZQӒguiSmFߞ+l饃)R6Y2,&vRz'DXjԷAK>[wNfAf:op !wc_H0̺qtD&# #)$Ni% Ƭ(C?#GQ^"-ڠJcS +S'-$7:3#WZr ;P1Pjpv:)!An3)S1H E~!w@ŏ"Q x RX(]ZN:t>G uYjnZS;A`(g^)୆|H#ں LC GLb.V`ԝmDQĆl VXn'sG2O(O/= 3d`A9R>g!Tq#^3|p_9` dvLPZXJR=mv㣪⼠W隖=jZo⍷%*L⑜G sAK3~+#´ΉŁfw++TP ys9UdFB,(M>03UPRWq6a&"(3C 1*gG2=zL'#N>2eTzȡXYǰ=jGt_gҩB*ݴOX|à ?,9aMy=G~(ti гzYS[Asc;ywbNq=ݭkзb2c*K[cU{38SŽ, Y`QnPM05`/r0Xt]p\f , l& M3B+zΎoBGGR2~ Ԭ:(5ѵ#s,L <hevtFagӬ{ qO7h,݌tkĴyqkMh!%b=*Eq86$"QPdU;Y}G7YtBLDjJ&N XY.Sd5'L`F/MSO1X˼p--+hd!^L إ+Ci{;nu ;D>hp X-=-mn@"8eWa;3$߄w7kY%p\X܁gL3R&ImMK͑{ 9\Qke`$3i;eC}(tLtɠ}K5~z7$K ByٯNI$xf'x3 b f氃[,Xϱq?f!jH '*@ T?qlA2F@[Emko:0|?K ߇ T^858t}5Dx:>aLifÁBBWC2~Q;ta'j\? |qҭPfl0FQf XPSj­>4]8 CWB >L\O{o! Ut<E@^ PppNfy7 fqw1x/.sL£& z 6OxA?(%:5+]*Zg//H34D-5)?0mB H;vc ֵ.Ef.F|CVg/7 vdIK)}8U3cOZZF RzN; R< x2@/ŶiƂ8Dǀ{G2XuCgb uFڧ $d7Sv tH8/+bPrN8谏j?i!u7k`VqX'G=Yv{OX2+I_j #<3d.>ـ}!y_\'WR^'?_nO>|"34kLao4&48zf] :E/uD0[o'?{!ͳ-, hV ЅQb!ݾPjv;DXgqTT|UY$R FN1tR3p׮²CVp{VGz~'k+xS>A;zt[O։c$S {×O(B3ȝĘtJ35U筙]8qDX ``y>Od'Z1Iò֚BPQP˴ZG XR_Y -.ex lU U|`KWJDT%~eɫkZY$Drsܣ:Nll0Pp Œe K/" ]/~l/)=aVF|eMJ{#"tMirmIaKmUz8 寞:6c8٧DHN+Y_5ȱcd(O43B5y/kRܯϗ赆@O{ejP@;eF` ]LײGEdBTę "u|;$ 29ۢ's.fI19[B@;X  &,'2Pn/\r9g3- 6 +֧p#DefxyJ'"/*v0CڣSt;p<1D0 )g(+z塡@dc5G4|4(Fpt /͐M ~p?g@c0~ĘfC)Ԃ wDILQ:OZDg$8CDiۀS-T$@yKd0륅FѪ"acu`x Iry@c r?EsER2hjEy-O⏌L4;lF$:-D(-魟*Z xe#wBmpF[y] ]{pYrV]Dd3I,!HaXs;Byː+Yb VdN! [eVOtd=RQqek S5Up96ߜFRaYCŐ{Y! |LVz߯1\T{34Gk>Œ[,DQTܥ(Ax K3ު,d:LK>U?py6~ fl`I},$f3prU*7Z rtx?9o[Kyj!#)Uތ9nL]Zۦ|G% j!]r,:mgIxa̎ CRju_6c!fG~RtdEYG-#Sݸz~Vpk?`Iǝmdpin/GMk)8P4N71'g)@ߌP+ vV?0g1eVS;hl :ի?XxUWJD54:m`L Gc";*10&?OٸX y?PbϪ#CQigxMyXJ,E_gL~-T^shPk!+ŢwB=G*GŽ6g0̴8^GZcU<`lE*}" 3ML'R/AudHG뇄5Y4\M4}Њd(ȴ1GP#[eг"rYQ]$\,[>Bvvfk.囵)ʇ0{ڃZCst0>,@Z/¢[~wWf2^"JpZ\)[%2hd,9Xc~TռWwxi??kT9CdGFХL _R >Leq¸xk$<1Qޫg/39"~$NWJԀI$9x|\\ĎFe.kX "D޶+4`3<,#eg.kS,w'#݋c\ {a[ulSC. 'a}q%2C-vRU/$X‚Fͪ`\P_Qs&@t҅ǿos &|cAo‚o>Y!+D\k--Gg r&%50nZNXiI 6l]a?)֔~ p Ks8RŦ96?ȋvyV p= ~+Lb~ `UIҼQX Y%|zNHJJ\oZ6K$ 1$_N$BdW}h ZS9s}4Vgr#JA$Аs. psx~>KBecTG;Z4őT^tk$\zA:ŸZSM[&uLt apz.3Ke!!a(шBJ\[=胕MqQ6w^k@7T^pBB|t |xVnVO2dG A+URE1 +&Tq?tqs -5i<7LppTQ)Is.m ;!Rcc4YJGD㥡!; N ,:ycb:&8 ĩ!vxpfZY# [PO@MP^ώ&X. 萤W@\ pNk?FSE*5=F(eaWY$hTK)Sġeh@ Yƅ V&<<2 *  k"Ef-icE$fcdrh9^#o =2a /Bq"}kD vwa&xK 5p7lC<@e_T܄1$@=HpBb KR)1> ]Prb42r튆0~DX ¨ve6 cqN5T@:a+8/? "`7(OU ǁ 5#HD0맸v׮w|<#Av\WWY1ܻ__݈"HOD辶[ĺY~qXQV9\v``\w: 2 sFY˛1xyQ6 77gCyiH"y1;j}ոu6Z8c@f!0S&ҿSU ʮ;Wgxy=ܡ$yUminز 7c`a\^_w1ka@JҌŜx3Bܿn93u~/kofwxʑYvns8m}Wi9MRQugwug8V)'>Pn̬S;d#IR4HP( Q`49D 0( B bAaaQ6)*j74H&;@-rT (I *DaMYlG`=Azce3l]M'YjnGW;}' ΪЖknw%6Y62 ~iUݥ{Πz WZh3͟KU@ͦѦBB4d FFօaNաn&1Jb?QS07 H?0N_@!7or ˰= ̑L^י7[@dd-zUA5c;x{dvؕ*PcT% AQ}YBJ#ڏZ@X: (7,p"WRSE~\5k im0&IqnmjRG= %Bj'ӋT\SF>] e0ev(HۺSH{T#˭exlp%;.?G$6^F p $%pjo &M\N V*j024:c{o=DC/0̩^sa PcQ"qx/["KLa6 01[4QpG-+GL} ư ހߛ48В,ӳFvͦFZGs IǜE!-rW97A{bTn Mڻ@CEO\_#njg`$GM^H5q_KՈ(,;9R1sPX+SƱ% nJRYԤaR5l9|HG'@7cK6&9?|q.8lrT?>(.GF戤8+1c]$QV: eHXZp( f Ή7Άr:m< J˥!$G^ٰEx"q6 /{5Z*0'GM$ ;TqH~C [ 0c)@23̄ZѦ[."&6wщ6;؋a?hQ~]%HXX]~: DgӋ4"٪ڥoi^ oʥg/{+5j{,=z׻eN>L]i"hq{,Xn`K+fNT921Eh˙ !4j*-Y*R)WL@ݔLj5&ڥ]?UۉI) ?3 YIװ]LL+ `qh}%s!LuQA2  ˥:Z>&xChZ$2']Udt%+/#ݬ4D)/.,ߋ?38 +( K" fC%L}|; mZ"RzYĮ4sw5F=rW׍ su^7NWF}'h7:RWƑ"w(ϕZ%EP/nrݫt;or$Ԡ AtNrob[Z9" gBG$_LF52uאPJ8 x\<Z5Vb4rUHv Z\y*O{TpIMz?B<¶(^YA[xޭ|jOFݦ2hbrx8=HUAAR,]'8!bixir4 .Z00?fUaC'F6. Bb6I)SQ$~)% ѕcbHt j "cLw402+T[V"ZF ®|ZDfģuw!S)@d2aˈ+XL +k~M~hwx1W bM 1C5sHh'C X@-S `ra.eGU-N`Ob{h  <0,8[0< De Evyy=xZFMVhCo0繘IM[~mc~m-wY-8ZmHiLvNMGtF{$-aw7-GwcMLi5wBR#.TǛK@J2F-{^8.X/thN4!HUO#"{ :@οQgi!pB!O O`{vGLؗt- Ij+nCrД[9bz*d) ;."3|2gJ?JthHю67TCQJi@EE1򪳾>`W&02-@!~OH) α [とsWlh ,AuRO"]':w2k4"U "'{'VP"2-9Hjx`=>ӣ;  NkuWԬg$-u JH֨ӰߜJӵq\.#Mp+8['X8E}xY$qʥj6sc+ȽY(0FPmTLŅ);8 $_R3CR{2|f9QUiK7Sj#.QDg5XI QW _։ )퀝<%ig*\#$(K+;geD(O&t =1hOK`/`zaNd[dJwepcJXL J@\D30M,Oy_Gf85M0 A3`R_|4 焘zW9{)^pWA7VDH+@ ᘣ=8U(q0c3T ,!_ 3#٥'vA[Oq 7`0fڽ.\x,* @A+VkC_`='ZBrk!XD z jL*]PԁC; uSJo׮&fFE8@CqѱmNWɥMDj7&/h JLF\}jO2yX:X X 7;lL-y}s$`|}p둓#0Ko9>?\ѧGehIAhI9"ȭ?Qh}CYv[=DNOg jbD;K`*Bp1>(t zr BOQ,X`q/Es$ bYNj&U oh9՗1.%F>|#A~i;.6tˢ@EYG Jx5ϷHN :ZJ~:Lƒ9o0 (AIUl2@YcjQw[~%{PL#©;zyQ!_oXYDɣsR~"sC`;[=qy{A%7F1RL[MPf`V聧u$bƹ4Geu,8bt3HCz)VazL9^1QeTßՃng?MFf1M6a0pW<*('cJ<̖?Yš9Kp2:'B'1 ea6LNɽ4#c.p 9A<=u397Ȍv)2#~to~IUFèHB|÷=]EgJ}j'A+u0]KO-)o~oZM^{݉@6:8: `Mʆ8C S3T Fc{Kh`7Ol'K8=g"+tݚYR"W P@ ͪAwFbQ$2du/dDxA EFZ.Es.jiD=:0KOĻ{G3yUY{H!8)i3Ϳ0tݷA OXo-m?_Wi|$yנ7FeX;'qL?rB OV,pb?\UR|Dd聣K0 aO/ wۨ+p/Mb٬X1X ¡3#R^ F`퀁/P-]k~K#W2^&7tĮ~NvF"@kA4xȢ?`RƼ=;?SUVx º-k1j`M䚈x苾a k"Hs&nJC\H*1Bdr[Xd# Ŧ|7/6ؤkYQ;_cRS%$ q8)S*f~>w(tgn$HD!!x&Y̡=$b18UFG`0g<V _U?0S,[(ݩsVit{X0fh|7H͂ a XFiK@P  @ (B1# !D@!RU $C$Yd!tj <q5.R93g_\JAz?ڞ'Pkf-8vCUsO8#8SѐG1ޫU%CC$?Uh_F,'ֿ?oRo\0VJ,m~*:Ҡ1]. rXKa"ӽ">}A7Vq- _?|3ސu*}fj*}7PF-}o%W< |%m a!1B9e[, DC Ju d`.}ԊLʋ9`e<5Gvv{4$/<{ 'a{V-&^BpLp~Hc팣B^^۵ jdt&BN(i":E1\Ň o{0)o@FDv&Հ?buMq`)Cٓ44T*[7~h#G!~/uX 9kG,Ea <%Ĩ|cGq; G}1^cʬiq~ÕI^@q zF h/}EyI:G&dĞ(]9Z_[M=PVd=9ޗԀzL/.%P~/2ڕ:Իu)˲h}*-u ;q$9d1y}LA_܁Jd`3 n@6۶ykLSu*!Lsk&BT tU[09nB]@Ђ[٠pz'x!s:c$RMq[̐L2q\0ZcP40 HPtONo!^eh(/*gNyiC_T?lnYrEQYOڶZ"H͹}!լ3lj 6Uo"ËDb%o56; d)o/־0Xc X:ډ\Hu\`b*}H{.b2T@p!ul"Seo|66  )|$I_*;Y!A 'jH/6L!|܈q~DW-Go:_D4B:$8ͱ(G橋\!V@R.:5 q=Ӷ)@P1sŭըmԅ B}"X6Vը{ ]T/v +~G!HE10ؑSl_MV"Wc7/K8ǟޏT~u\M^ UPmM9 ~nmqI糗R_;PB 5.S IǗ!8|trOr Md|D+?ે;V:@c(I0IcIц$N (χr±Ca~aUUwMG]݋pﲡ#^lLܭu[tWVaxkDR#rz  oep+y`5YK'\+<›fcAW4sIQ}Na|kcQYPv tKY.͠㸹.+pm)[#v{]?g"&VFz7OUmCVUr(iF@|1Cè DRMQfn` S׹[Q1pOߍo>)jEY9Gfܧ!aZLW (,$!C)KaE(Cp