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  # #ZOp`R. ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.640cpu=3.891gc=0.000(/`HPel>9x?")ī1pH33U$)=UC_+$Iaﰚ:@^z v Or0`u= bAZh>:nj AcJ8:@6"!*(/ _pkszMW,\XM}ET-OHZ/~1UZ:g}tjrd[(` (mN(/` =M @k OO[Y!( 0 LHB=m "1L!.!*qa@r1-61>xna95[9= 2`HJ G\C8#)bCAWzB5 K:@""I-PZ,0J^.(Xu9 0GQ,) 4;~ Oh9ծnq|U +m*9 |``2ɕpicNaa:Ow;RX;]7UmO=i_^Z52omVVݪqa-ChJS1 h lnlT+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 methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE fl"0mRr۟0cB<.R *7BiCA na` [D %#Was EPh"4XkgRbפiQ!UފDXTT刳7ޓ纒x%ݪZ5t_+^0Ei+W2?)ZkqMӮMjH!lK-O޺xUL$I XQ!ՙ a89" BsH H HcgnGJ/?3ѐ*cVa @p2UT2mgN=)i.׹ݞO0$jBk"|bH6{;]D13p/b_{qa~Wfz\ BgbRXcN8Ďt6ᘊ;gBՄCk.nmufILl+ٔw N_XKzD.\ÉncrLI1 "l#hبFDx[?gn_,W2b𞖿"ٚg%< ^q•MF:Jt XJI<Z:NR,IuM^qWR|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 methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE fl"0mRr۟0cB<.R *7BiCA na` [D %#Was EPh"4XkgRbפiQ!UފDXTT刳7ޓ纒x%ݪZ5t_+^0Ei+W2?)ZkqMӮMjH!lK-O޺xUL$I XQ!ՙ a89" BsH H HcgnGJ/?3ѐ*cVa @p2UT2mgN=)i.׹ݞO0$jBk"|bH6{;]D13p/b_{qa~Wfz\ BgbRXcN8Ďt6ᘊ;gBՄCk.nmufILl+ٔw N_XKzD.\ÉncrLI1 "l#hبFDx[?gn_,W2b𞖿"ٚg%< ^q•MF:Jt XJI<Z:NR,IuM^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`}F_&a1v| 5h7 GW8U zXURTQ5=AJR FmRBzQ Pth0<,4"Z))-䁢>~WIlԾc-bInK֮~,TJk*;o[af6z%qNee'4YpI.lY\=Y|ʗuR1;I4r@׮L\@M_*RI"# &(sKbh Zy]Cd=ssH= cdO49{ŽbE-6VSmӷpjFP2F$H+GmzYio&I!88+:%P!!fDdd ps@"IK!ɐ$`(7SZQVlD(%rF },=2'q%KaeWJ9`&m_hCV2k^Ēp}e]r0#=>u93g>f^PsHކyD!B1#TX~'_r+iPדQH Oa# ^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=,Z0#/h 7KdS?nM%-%-x()'<+Ͻ!1}۸??kT81v]VʛPB@=tQd$IMnbxb5Жcǖc3 {ߦYJ1QLYv%E jLt͔_!oӌ+d}&ћQGqIoߋ)oJ4hį]Snh")'7z(*HxX} 3㵔b^ko#NAHF8(P -f3#>侥x"GzM MJ;^@H3&SbjdfvRGzHe*(`>D\L$_HGFؿ4 Nl"CO2'Z(1a$CF(H4f*_#(@#ۦ?40Zc#ȕw>#I")10"I2ۈdYAġRZ'"RHG J?3cNHI'F))r_! 5Q.5z'Bj$G@HBn D a„#Awl Hdss53&MO ĩH9\ "unnkZj*MFRuSʬS޵6-ָg7}H{B)U{Z|P$IRQ) a09" BdFD$1쯳ԎG4S/L;FCKل[TekbrbR"']Q|hC<ђ%HI˓$%6Sgaw%\z$\ maJ|r#@5VC(> c@ FcP}7X=|S;]mTi~x2&8h"-)#2e㕰H2xg/(eJqRNjM SMaĉ$;DC隚3Mdd?s?D rRkL{Yfcr902pCZ>L [aBRaf%r H3: W0-՚6z}W!g!"@7+G_`"H6"ߖ.exF~0&@h>O͗5ë@=_ B^6h&gwc=NHH5W[=nHMMjyMݼ0ntDmkOnX'Aav" @@iW D}U0RokMR18;e^Gō_.Cbi ~1_xRG< 4c n:C|*sj MkQQ ݳ"2rh]Nf7KwɜLF[TT)ZRx,J@;ߵ@3!.w!0(#/OAv^$8{1 Fǘ6 decWWJ [m b9X%=&$S> " #bٍ,"H#VVG-t#bK5kLZ+ڵueU1s`(a\6ĢrnYSa1 2i&Fu>[R@˪g Nrw#$=Sޭn8 ϥՕoEHdu(0Sy_>4:`&AUBtJ3""( JBn3 4 tt3“:{!U11R0]y:tAGg8(ޙ@)UQ-~әo/`M<fG"==0?ɛ+iսJ6@Bf##vcD|% m`sK*[qQZ IB9 8,ݠf1P9%.Y`Hv+7J#JdQRȁIl*\efh 4 <.b`ڼ+[!Ȓ pKS5k@R;g9%aWa;{Y>MTR(6vϟ0 Ĵ. ME{Z󌽩ƆIX.06Jf$L3,0:cz5b(#9+X1(p LHZ@/D%%WHZב_u~[I$|iRD'W(BZ b.Vϱ1^ux3q"?bDu\'m-LO0 r:]샆c|(!:*h@  w(`y锫)`Z&x`Xn<1T8B{jȁjrdkWe*ºZ^}1r ԩ5=ڞܕ PՍ|jR)O4|rU<#J]n/B\= Ȗwd^.O@sB˨8Â=$lK?UT_CX e6 v':yz!ᑯhȀ|x5jd )a@)9L ^̭őɵ!A M9srOn,Fz Ј5$s:G{DĉT¢_/uT%{dwb^_i:e,vУx@N@B[?4eWУW Q^I擯A_njL^" :keh @?|̌{ >'͗m0eN wmUPxނ]b1n|ڭZCNlq1Cf=gʅ%o.²:D`1p\ ݃]lz#G8uɡOQ't'Vc'ē:t8Y%S6qeMI$*Z>Vuhyiq}B0WMtVXcBIuӵf(+HE}}Me z)n`~4lF l[!Qt$HRw W%r9&-޻rGy-U@~b#JNO4!!SCm6)XgܥeP:IzISv|[s`׷QQ%]Uo)[fv<$#2z!VL=Rl|`.ś3NHpWlV j-MEX )3z1 [D4-[9=Y"}GdX"4%noDupSAj*R _l MѠGx~%X5/KXpdNqTHvY\ ~Ov.r5C2]S x ]xhp;]!*~9\8qȮW <7QAOD(3oM"3HT`lNa`E 7.FD/0;\n06\*HC+[Z뷨@ğw0֕C{4x\ǕbD/a˘fq6rē~^@Z`J|! M*uۺQ-/g;F!eg*M&. ?'gZk`S1[Ӟ'dHb OBF[zͽK$>h_t`]>ӐI^j,"/l; M{Z$}Rʂ) ,{YD%Yg]_ Xs#9s`=Z7KB %# Ȣv<w-55ZM=ЉgvpNRʀ!8jL܉L19ZKr0QJBX̛@ )>H'Q♘fZѼHṕ]W5_.Ƈts#~7 .MSYM#|KhY@gtU紙q/qeSK36@^fkCjCx_N 'z m1I# J_Jh2.f4qNd;4AijhL%0JrBt ( O@`w|Avt d"L3&$ \WmQz pEފup%DL-;`n"kksS(Kٶ> nꏓe7{8k3/Ke #)G98K_VS#3e uF0_J@ hHP&@c5 $iQ:Ao$^TsR"8exK4xgGxC( P[ ɽ%^=W5j?Q-R!@CZ%Z5yRP,u*A+q*f3jDν/[EyĊA6ᔴȔjL][5's=ZragNx06pZ>|y\M`U3`n($YߟT}"}/d̩1Jcˎ x2uV7)n|_~ژm#7Kv~fb}첦'q$O螲$~X#ko!+@I9xRW=GIR^P}AW :oSP[+-?(rJ 158J⃋6!R<&U>#E9x/Dfe>XP97pofꢸ%P10Gug㛔1 AD w|$˗Ew,0i?(IhzDUQ]jQ5ɖFe39!a?Y Ƃ +jgL F>,\D]#fZ[r@n&A ^LEB aWdZR !\;)TAnqS f23^.U6 /N/MF3 ye ]:aZYZL{]0*Q ƈv8dbP0 ޒ^++%)w&]%BlsV,3Z5S8NfWI㮯%Drtrޠ{@Nh@삑"80/AZpESWL/se30UN+J~D/엪s쫩XxlFs&-eM>ϙ`cyd(3?grZ^ك,xNh.Nf\glA D@e\!a@DjڷX3ϧ%D{gͩ`Wl&Jd_z_%4#O0GpX(A\j̄+4Vs3dCX5 ͅB WNpb"Me1as`j(4KT&4>&6)ݰVxNbbI&ʁ:TTDGZ*\ Z ާ,QDs^,#k,ToKCu%6[5!gD ɋ+2|iXGJ+Fb@6~J.vkr4)UpP];׌Dy&*iK]{*^ iUe%m쬀exV\SI+Zn 2Zf mS8Q%Zy4 獶M>ο<'j}6@L"a^@( Xl5 fv" QMY&ڴ)`@XE-<^c( Bk*P}&`ԀAԢd0v>W״k~հ-0qƴ%NB!Lش3A]h!(~k]qF >1f53.k#z@-`TZ_=K%V+0nXAA%mДʇ14l ΏZb , *ź-bY)/ ~m;Ajf$_1/?&]$HXNicy",[("tx7y("|kR -a{OrE#iF(%4oNT&V灓U8R6Ed"H /*d0HCΈ%E=H]JzHш`D$]p3Ir`t8K7edhyK@$dIz к5 7fn\+kg~e5nD"@pQBfL[1c4#͘5?1ɱilr]ʸ'LFłQ,g孼Q( llPguVH$.W.ͯvkhSfVOhbyQ%@<4+L//W$q0m&܌8qm [FƑ仪 ܌1]6\;32]x乀K4kmu3sMcK>e"IR4sHP(  T09@ ` @0   0!F)*PojS|=B=5"#яb ꦋS nikv@xfWA= CG |ԙ!1qaw#oY]ՐQNv/mp+`jا{fP`i SRVWZSk5} +wMthjI!Ӈgu[Pրc5fº0ft9:%AOón&d'Loq3 'o= :")ew5&q%pb 6_AۚۊM} 9Kg$qHc@*RS,?9,C`a ğߥ`7sQd/jopbaC+JOB3tHxߔ'{X ŭW[! +f5>U"쿟HG]0AeظuiۨϿFv]ppG͢'^k[Ă(Y뇋eT2mp+Y_uPGTԠgP( K[Dl֫(Xyk< 4!TZkF:L֦AAsr}-/^5` {GJ08'q{` MJ;OWL }* avDʟj\DD")iO`8Fwl/eI*#B_Üَ 69銄2j&-dtXS*TNXZsCঌ 1j,]kKԲwP:H]v>_<! ^"Sk#T\qwf+ $H.* [4V@)# :VK+" _Ss{ǎ\Z@vo g܀K )~4`"/&ʾKҺO|W=dӋNC":Bjo"S=noHs %{;ߪ50vY|rua 7C{oY 븁M"*`/?!$/UfehLJ%A m.5 f])Mo\9hqY!4U2=\8dndhU;@+تiB+OL/?,%|؋?xO 3dѽϲL  g4A|Bq`HR=S@7Nl,&L”p 3q +!Ch_&"  A׾{+uvʔʖ7ag(>%<O}EWJD ̆|DS;,65B_5 FoYԁ6Db{JcMh2AŜ,x5nFT󹒄b/y*Lj^ܟ"i?0`In@".o ֲ5,9W]`xNя?$3m^s>7/|sQ+,EI";Pi= *f*&n^},heD|-ۭUkM:gj ,t\H%^#Kiʼn.>K@A3@bC-*ERً 5 :EC1ebV.ZW*̇EY#<$CT \LϾ1:˭XP|;̽ZbUI\ɨ ur0D-$ y#>[3fRlLbW:B]boM1 x*A]6} 褛J.[w$B_5y+`u6_iQ2Jv5歹swvnԭT*Iȷ Hg3QD!/ \;F>07~YIca""kIefQ9%T//men#2X l4D=OvU,8a>xN0W̊^nꧼJefMP3I ;`E2T3@yS\QYfJ5:Gx9l$T ~;<ے1c=J%x6+2MdlsB7]JjpsSϫ@C ,Ad22C,EAez#i_!}7.Hl!oEDA<.qC*{Y !F[\(딜1= =t|%V;"*~uXc<, XXXA:kI% ׻{9Yvg QzRҘ^@qw]Vx=d`D__Z տ"8"paʄi:x:j'ߛiu)cH؟z&&s0Q5#.pb@|YtH?kos"TcgIj⾫ȄB"/"?:?]!mhc%d}YD:KYyT0+"gQ^CGŃš2T 擯}0Ø.kDH(g7<4X@C/ŀy_,!w').}}w6;&oj/qW#,`iؒ A}Ac9R;kg<S0C@dM6mjh JFdܐ~9_Hj,Ka;;Ӏq n&a_nҝ] !)NCZpE4G{f,։I)B)"{Bl0CD#T4)Gp+<ށrN(IA^  @̈́ШOfԫw"q, *H-;v?H\S]vi#ckY*j$Y] ΰ^c%kD] UH_zy} *8QM;U%6J[]ߋeu%wBsR@Am V?$p7z!`oHt{C Uy7x+7 K2kE$Zy" 2q$_8? YqQp5 ]~Mрy1Yz }^L*8ъp aeMCʲ0ɤ>~ex}$ d2^b=Oʁ8} ƻ\ϧG9:K)qDqEoD+(:CYxi~ Dn9*,v˅t/c|HCrEKX?^/uDI>hY5jN}+-p_8QK[§̩+٭Elq Jh59 !q!Kpw&Q- e`T]ܸtOy4a2V)P:PC#zq narϲG)A>ΝBc CARD?a)Ԋ  T;,JS0r#CktDt0WńpQd(mPVG6)OzWlIhT|xA ]72sjb4Îq~VB4!e h*_k OF&jE {JWnYx+-%44X*ubؠ뤡SS5hᎌ.+;!av!La/ -n.Gh64cCyD}?%)4EMQKJ}&)V,Bata.?@2i,&zq%`m]s!9=C &k "L.dG]ϙݮ3P@'C;I,C~B@-ҏR4g_]kFkK,PeHA.ySU|Fs: v$S}`[& }+qv:+]}1fsÚ140OiG *JÊw:g1tҸTg Ш8&zutAOY(t@db\ 3XZ)Vc6 ̛A4 :" `ѷfGjM{ȏ;%ToiaHKAh8N,.雾_LO>q<;Q+l T*\(+9-&D7[͖96f3-MBwǻ~ :1dh:UӼrr):I^'Pd<4"1.]p0l}=![ ]k⵬ĕKUQ>\Ƃv)f ԙ%P11=Y{ci4UҝW͢ A PeqjP(@ (b !B!!ddyU5KH!#W86:A zGpN~brO}=3LVxOX(SVmŽn]Ԛh>Jho [Lwkl"ZO*26tTb*yG@Flnja8!ʯP(ձrv,m4TAeJjΰt&2K-? c*H{owJ@^F$a+veTnP,[(y!,#_Nwܥ lr]{)}z Bz{;˾祹u[/琄hۃpLc,̟1T'%Ŏ:uqQ#RA=2:$9SD:est +=4+z-\yx5o[aϔY K@a^NV*r0I"!lC.b auk 9GԾZA|*ɷʧ?Bޖ"h{l魾/wt,fo4 >R/MZ9ZO}lw䄶| ~(Ɇ2vwd|cO#5 -&5jʅ،̟ v߉'-~O{by nth' `F@Rz4G8^KtDKm\lVl%_̔mzY&l-obC"*aFfV^nˆ}jL6s1J˄h,Scwq-)7B`-c0ˏMqQ C( m=XSs?(i2 b|d BN񈧴hOՀ`Mؾ=2DPh$]@7$-/N0H 祼Η9:(.UWgC&ޚzѻ(o1,Qn(Ms5C8_ϢFmBNSgK<fK6N-VD \lω_ r#LZ݌=92VY;R8/`)xr-$Nd~:7]L_[`qm׀ZەTbjY/VPPJ Y5. )3 +?AI.!ϹF)a*g_v3䄧~%AU+NȐGpn=HQld0q(+`P\堪W9xtq <SR.t?:@]S8LcnSeQvE_xrOHU j0q x21qZ'yu,ֻ#hx<3z]ZUp:b4 8⢽A6?XXƲ"|Fw GoڛD-Ya-)?'ϝh{Ezw$G࿼`Ƕ|aU0VL4jq2ifhzs/LriZUkm֯yO1*Y@/]nZu X(j'Bv['o c5 ber~Ѧ>_GY4bҷN*Acdi7q-