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  ; ;BOpRT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.644cpu=3.908gc=0.000(/``zlgwࡺ@K 8O˻@p]c֔ĵ`JwҙzjAp`ֻ=v3E( UU%pXGbJQO^xw P 1%@P79T1w(/ _pkszMW,\hX_e}qHz `P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` L @k OO[RY!( 0 KHAm "1L!.!*mxDbs5[9= 2`r8Nyr6P(h]O[HFaiEDZYaNs W%3rA`նz0Lca=X)W(_MgG~UZpORj -Ay Lr%tSX οH'ӗNG8w>b^vmM BIo\IniQ2PII0 h8`C)#b@NŽa*q~ʅ5A9X4BG^{q;\0 G?^g.8lWޒ C#je;>(tGr(jaF_kԮ6&v.M:v~i6yU-Oif1U=l|ٸ(I<C%FȔ~t8AU0617a4b4eb9bd046b54a071657e6a14259cbbab2d3f897dbede5114e044d830121d9dc2b656057db 736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed dbabd8842d5bee8fc352d42812406e1a1d4c39cd fec8b72c744412e50383fda73d713fa865edd55e 3c3c5c5a3b629ea052a87ecae97fde8d3bd13d1f83f79a57-4390-487f-8acc-07a1e4e35aa6 $O HOL-Nonstandard_Analysis-Examples vvOw] HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyc02a7b95f9deb0461b58c3b1537c5f31aa324193(/`i"_nX,Аs/H8#OvGmK//&+,2@P3)u"w{[yѥp R+X*;t/q]KҩVT{naXyVW2| 1ݎn3 ]ڊ}3MвTD5*YtlnlT+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.thy Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodtOa# 8HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`be fl"0mRr۟0# liC{O5Ha`yo`aZK9,"Q(ݝW sO b(.,l a `ao`)S9A1nIRgFlpYdiʂ<,B $4a/D_K5Zi>+L0BD[rwE0{/D[Y"{BzUUVʗa؊(,AMw8$4廛8(ͩU=3?{xld=MyVjəA1 5 pcOn$sTr~Nl9bEbMEDHNSq64ɯ(joOJmRٟTsN=g) 6ygOwGH)Fjk\C[h%~IUd WJ$I XQ) a09 " !)D$@b| v!G`-_1mVUc? N@ 2EIAANmЁzJvW%vXBrP(DOtXsxZhٌI Mb;$F'W@05@f A<&S13 /k΁1$6PuyH-r.{~XpހP00`EeJ<]d>"1FaF1X"ἔAE1K6/"8( 5]U=[?jPPa 3)5/ r_wdV. kd !3NHE Ǵ陜fN%Ywwdqɑ%Ik5mNٵ[a-Z5 J/C j/{A$!iJI~ULi=_h0GJqWR|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 methodtOa# 8HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`be fl"0mRr۟0# liC{O5Ha`yo`aZK9,"Q(ݝW sO b(.,l a `ao`)S9A1nIRgFlpYdiʂ<,B $4a/D_K5Zi>+L0BD[rwE0{/D[Y"{BzUUVʗa؊(,AMw8$4廛8(ͩU=3?{xld=MyVjəA1 5 pcOn$sTr~Nl9bEbMEDHNSq64ɯ(joOJmRٟTsN=g) 6ygOwGH)Fjk\C[h%~IUd WJ$I XQ) a09 " !)D$@b| v!G`-_1mVUc? N@ 2EIAANmЁzJvW%vXBrP(DOtXsxZhٌI Mb;$F'W@05@f A<&S13 /k΁1$6PuyH-r.{~XpހP00`EeJ<]d>"1FaF1X"ἔAE1K6/"8( 5]U=[?jPPa 3)5/ r_wdV. kd !3NHE Ǵ陜fN%Ywwdqɑ%Ik5mNٵ[a-Z5 J/C j/{A$!iJI~ULi=_h0GJdz1^j ŔZ{+tJ FҰ@O@6@!B VsD/Ho8`?ȑrSCӤοҌƔԑ@bJ- Q.*SFb$ W>yQ/2;#; 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_id594rOa/ (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`% Ʀl#0a{sbxGt[IfsSPPro_aY sy4 `{LBqI15$쬳cӶ#z)ju߆R'H@(rdfzɶ4;v>]%Gx,dbA${[z#TDK.< \Z{kaJNS^_(j~0=*Cs%uo! (QLo63E aI/ծ.{i eEMtɭWRz-<+)!9Ұ_P~~e7EĶ15orR{PE6ևX㋆qCq#_D 6[ "?LJ&dVk;a-4\(rѼTNF1%ewZ-9\Ao $̌b, !covb+ PLv:w5^[oC؛lXwkgðPaCq (rw^q F׆$_f5h $HJoQF0mfh>Dc$@rBJXZK [3 _|GkA(8NT >V͜U'.{{n ֞Ӹ-^v+ $PމCvB+V`Gr 9tsr!AP(T&g|w7c܄֗u̎/"h;ʍSilt݌1^)v^/9zjku/3|;,фRco;4_uź1N(CkbnvfF*׉wZ5-.*V/6w=]B1+1xjAl|,ff+ZoAVUSzCe%%`E %a&Ez=Fgy+h{FȠ;T#`@I IJ~݂BlJC|]S˕b 5cԂƅ)_۸8]"f $Si3%#y-sUip` igcg9wRLHz[9p谽:.(*~C{Tp4 k\cw^p1f :N<`Q&U/voph4 Yۂ_!I䡵Q&:)|[c.ʥv59Z-f n lH8gdƌ"Q;Y/d!aBҩ̨Q(򵻼P\[[-nLmc"^N$$ykuɺjax٫n5ɃS0_: \:ZknNWBoWy9f,Oi>H#}l`ך{WNNP PZ~0𜎛+ 䇫ָ]fI6FIGa ZɸsnjV yҟ-j AT F.INIg3}E!7q_.>Y'@[ )Er &{L4PksnjnoC1mYS9b@*U)r5vP ԳU s00 Ex[}48T\T4`P b bc8lK٭bÍ,4,$IҽUj2־a|lοѕ.NK`\o^, PN'7!o4МN7Ā,^LAHEuԜ$SS11fuh>{0ٕ䰌9؇Qphm+p}=b|W2G`0㻇 $T[Tn*ZTI(MG؎Nz33>jSBtFs^QIoQ4PkH7duGiBg,Jgm1I H 4RFeoF`ae.#2h;RvECqE 3XtC$@؟`5un\DЙXoDJc vF!EKoRz9"X5fꉨRqi8qT'ԑ:eTyS  ofʊ68+:tӐk6aȆ]cm. nBaO\mA杉)8rZ e9*e+[3m|^j|g泙b-\9#%gV![_ 依'd m:̕Ĺ']""euh Ǻn{=Xd} {o !R+SN$D8 JB.a(`EE VAPe`wx6>(zg! Sꦆ$tfL캴PΒ`(Jց,C;,4J/\:'e!?(zŲ @_@M1 M*}"?{ȏ[ aQw|t~k󒰍ZK4!\=n]=n<| riƳ=~0Q7^ X:qv_io]D4glJqY(tt4+h1(p;%L1Vu7@/6I"Vfe3Ehq>7aNIPh@aK <79t`|Jm]zL}LjE/_Or#:X᧣,v6Jc]ځBrF^^jf :]ID.Z1_<J?RC=+vӒOEX1mNW7.hМɀP6q}*C77T=Z'Pcy='@;>,aa-V:)X%I;a|J=C\<|j%4a[hP)ݵ NHF{.,qV@3$5p2 AP*S*ez aa4c'<P䃑M#_ih$qwo⢉df)I s>p!;u%v(6_:Tr LZKSjW|i]̩ۻa@^U2Bԭ >qp5.a{FZcI$7Xyx-q4l@5 H/Ԅg~гHTZݓOY'2UWF3%ÄFx'އHIUrrZLs>6y yނ9TPz(GPP=<NDw牊1߇A 4y ~\7u+,+>9ޑ%F)wOγcP'lbrT "%Yxݬaor2"D?%%_VRQ͎8o>Ǿ1'bNmDm"Oy] ~F 5k6@F CE,]׆g C-7px%AfʽH`()BNTkWʒY)D疭ԣ*kٶ|9daXTb&QC-D`_LlמX)# oKg~%^KbkIqNOF7? P?uꬽWb©xe6e"I;lMO69b7wL1fMFrUBnwc"%㈢[+ D&jߊZ{O'Ŏ3'#I+a:[#mStp'lTY8=d>t}s$^,ߵGe:GqN)ps.9.ssLt`O]έ_K&>xRc ^ZHN.D@M1GSW+DZzQWE6A )؇+iA+=w"^Nߚ߁qXE1HLQM!@.Ò)K^KHg^Bjf!yFrL`ǖZP@LYP`bյ>HDzgaRjWϊuLR(^ bԓkZf   , ݊sw "UP 2? nYꄏRr9Ghj3| IW] 5+K|$l}שk[l$7 *N#sBg"Cl%s"1,UB'gw [ƹe}Ȣ:KS!Sw}I^>e*)=݉(bP ҉GK4 Ǝ86bQlx!BH/TQV6j["?5^hRrOBV.aׂ\V*"BfkfL(Wp'`{az%;s>X~N#dd́X{F[HVȮh<2Us\Zۗ$a\6U vo˾#6LŇq%OLkk2bD'y:-pc7C aD+Vs;~sܚ6!^QұfUkYX]wn3\`}E |X>7 3zڽ_MZa&>-UA4  Yw噫 m, GB%Īy*+o,|O[w-$vrL%\r(bEC0c;UȀ/!}z.VKS *)((a'OO@e1O+9A%?T^Sn6R0bIgm#BǤ{op&1ӡGӮ%*XlLPo͌I@iks֘"֪@m 6IZ z팎ڻ4Ջo߼txJI}?c@i`f;a<$l㦧A΃SEqIPE (0H:Y'8#<3D1hE3sG6RbPpjV|W'5m&Aj3MY?+0`&#iI 8ߨ `m)NM! -^d]u U&́ͅTY^L/G$t̳')$Ė*"1ҶnB2jOiD/p/F`Ӈ bV9'W%VVOjk6z kY1JDkvػmrv^*R2Jl}->y$׆LQ`gȖ[ ;"%4y!/RӐG{|~hu*qJT! gW&óVJ wJ<2!wc+_f%HP`}}?4:BrXM)L^iQl~  L9{+iɣ*D9(v+@?sHau*/kN.jꋒ07xb'0Mu+REZ@dh(@lj-=qȵNud{MWc KE95jv_E~ȝ-fS dH6026qQ^Xv4h dR?o뚌߷Q؍dXa~ʩ飰/ : aɁ~?x۟>Ml?i 54D'"c 16f!J,cدdS9r# m=Fm!(Y)TzYqĺ#Iv^!Bd7r /) ^? p3PB:; b7ji sӞ&L?@\t-93WzTp.UA0(܀]c4FWoC}5d]:3tWSY^p:IgCjaMM{$Ud~Q6Xi u>:ZmCn){2(Q F1Vv{ /PY 8ЇLP> P [>j|еNl2AEQCsH[v:ĝK_,>23)80P* `5^I ꅓO^ExP4}$g~nR#:*C[F`1Ԋ1/f`[K|[t'B8":σRj(H6PÈуj F#jFGJ0pJTH&Vq&*hdHE`U 4PCΈ%Et2@0!> !SEPJP8ipPь0qQ2*t& Poh,@ߵ1׶V}}2Zo)Sֺ[rLЃ#9Q:M7E$m=+FV9Wkq("b&^`3a5pEG"y1>>ժn$m4[> ,Rh8#cᡑ]۾7eu!$i\#/0w?[x3Vȉi]$im]ai<)4bN5eEϕM1]fS 6>nƹf4KL]x/.у6 Y][Nt׎3S;>u#IR4HP( Á\0@Âq@ CH0a0BAa!Fs)ઠj7hHN)f,#rT";#zH5By5G.І5L{.v Mck5(V/jE&~h#P}]D)MܭiĵЩڑE^Yq[>og.tf?qL_IV4U~*m` )16Rxy@OmQ2f֎8b gqMxE=AӥY"?LACfaq"wl+,k<'{#9h}H3EtPGӲ$uIG8aXHlा`ʣ9GB0^/V`Jv-[jn-5#L_U@ܖc/G`ݟ] %z4LC! u";kCsI=^p;Kd{( e8.w(|Ov|d[E aL0 65 |Nu~K 0_D8CTX"Ξnr]kIEA4`H2 1'Hh]se|"2ӋRlMBvm^\ <ڿAvp15 {0;cs>KKh.lus|Rsx7qO=T;2 ܂YCX)yM rl-紪UE #.cz^Ã٤ST7S,ˤoخ~X9 } TJu-.CLu'ި3QX̗z3p~A_SAqtU'ua.{ktҦ44BR)W<%!Od/`)t+hJ;r܃ِ?b{ф\!uu\XI"x{_ig3MwYGs~c\.I/3z5PuD*Xi;U࡙Ҿײ:ؐc⧐(ιj]oh<1$4gGKĨa@1c#`a#RT%]CϨ^Qh Lz:$cD'&#y2śPA#6GHٯt +1)t*ZސؐLk#ohz@|>mx#hT;z8f?P̮XR3=26x"C%TBߌ0{Knm.72׿`^??֬~!,e S=CLDmEv4ԕy7Kꫜ}2u@{gR6_ڢ苊@P!O2aMGurhƁO#卅@$b6"8,Z6zyGB%:ϷXoYɾAbmpcó0N2ЭeHڜwܳ75M!|^+{R(jZ[ O@>GJi9Xߵ_ A'1 As"L^#8J q`o$ЫʡX ZD'&JD]I~V_}̿u)'h=x򁋇ӎ4Bh=Wv\'-NTD}*rHHo+)E`zr)'h$:n=iyDxAπ ?-oOƱaG1ug9^+>C"z3DPFbڸ8%]I/_>dlX4|R“XuA's s 3Nm<2mF]Va˝ .EsQCڃ6q%QdIzYOܑ B] PQN\3,w)1mwx=CAiIÛJX!{vD$e+ouxDKhPͼI4FsTGcP|'F懂7㘿Ge_jm V7ڃ/sF$=G<,E/9fxzxED Hw(ZPDa} Abxۀ)aW [f '{K8M-bba{)P)>&ymgǪIS$nRTav|%%DQx۱]#A4ڴ>ݚ(PQ/n`)2gM>㿔=#){^ }r9r0LW,2PRzU-]R]FD(G[΂,t%2,TGzSd^6J爫pJ2̎FqPoIsa}+VfEt\b- ȓgyͧBsNquM̈&?w jrW$ES_OH4p04Qb܇?š\[ahn[z &֭7z)q2Ccp@$t0_ϳ*"J ^: amݬ!n~5bv,̳ô+&"4˃IvXҪ24>VnRW 5$Hu-+  1Cm2-nu2O\<-Dw4@mntv.LOFwL49_!~,a H`{u3OŅ@t#D-+QeD[_zpyEK?ba7B 0w6"Wm5;̩bshMA9#/ץUP5ܘAQک"T+A8 G&cur#+~=(L;`0NRl%yV.:<4%X^QrHbHkgw3 kBkֹaZA"F eh񽆉k<(Rh]@̦_K#!,"\V| G6,Obp& P ٗ> ՐG\]Gss4e#AqJ[yI70/TEI$(AR }}cC"cjXpH뀹Vq4{q )>xdLl.+Yl`14ǂq$x3WgoxĘOY0&9 3@s\ 9eK 9 GjTA VHOowC8SE/`PbP*E#F@iè5EV *sLz0Nuu:vy U5’)wD_(Pb I ĂUXX Q<̇%[WG}tx_zB)YEqK DyA;= M