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 :Op\T 7 UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.813cpu=4.299gc=0.000(/``Eפx>u>5՚]EwI%Ib'˻{8xn=lsl! mO`G-C Ez%sXh/OHQCAW]: ã0KFzr» o A4c@c@F8DS(/ _pkszMW,\-|#WY>}FDQ9$TK%ӯ69 ^KNXO.u  -ݗ(/` J @k OO(^ٰ |%BtGQ0`@GCA$0 d~I_ۥPf>. 1acf3e4868c147fa5d0cbdc18330544013d65da6 e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy 7babcf1dcbacaea9cbe675b2cf6b17e57479d5ae ~~/src/HOL/Archimedean_Field.thy 8326d7d8e32c9476c21168590c9bbbe8539a6711 ~~/src/HOL/Argo.thy c41a53cf6e3ae7b4ec11d9f78790ffaa94c31727 ~~/src/HOL/BNF_Cardinal_Arithmetic.thy c3300080e7eddbff5705c1fe36379e9516a91c25 ~~/src/HOL/BNF_Cardinal_Order_Relation.thy 4de3f8733a8875cdf4a1a8d2744e0082283b4dfa ~~/src/HOL/BNF_Composition.thy 1fb03784cf0558ee33718a919d78fe08dd0c815b ~~/src/HOL/BNF_Def.thy 5eaeb3c91ccc7fc0fe5ba1852cd762d891f021f7 ~~/src/HOL/BNF_Fixpoint_Base.thy eee18890502206998b5480ccc37d52b9a0e78abb ~~/src/HOL/BNF_Greatest_Fixpoint.thy 32f8103f0ed3619c927b8d5f39be3539d2e75b38 ~~/src/HOL/BNF_Least_Fixpoint.thy a26b2ad5c75d1675f8146ddc7506e568969def92 ~~/src/HOL/BNF_Wellorder_Constructions.thy 24691da5b2f027b91cf7d9a29fd97b2055526eb6 ~~/src/HOL/BNF_Wellorder_Embedding.thy cab5b21b8 $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.thyOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE &k"0mRr۟0# ZBq *7BiCA n`` [[Q2rw8gH ^R`{&늡$H"Ss か 3nIT*O/#>\'"Y^aE(qBBM{I$>Qɽ4Rx8іʝ(qJf Ӵw9jք2-= EHRR^0E,͕pH\z% @8(8W}w=<D)73A86eڴ)>d7 㵇Qrgmn$s(!gA9֚4=-&DMNMMuٛ ߾*+^nUy'_*`( +cjqrJ\kWfhkxܻ6}R-RS; L$I XQ! a89" BcH$$1f#z)/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 &k"0mRr۟0# ZBq *7BiCA n`` [[Q2rw8gH ^R`{&늡$H"Ss か 3nIT*O/#>\'"Y^aE(qBBM{I$>Qɽ4Rx8іʝ(qJf Ӵw9jք2-= EHRR^0E,͕pH\z% @8(8W}w=<D)73A86eڴ)>d7 㵇Qrgmn$s(!gA9֚4=-&DMNMMuٛ ߾*+^nUy'_*`( +cjqrJ\kWfhkxܻ6}R-RS; L$I XQ! a89" BcH$$1f#z)/~3=Y y  H0ނ)!5[cqbHGwj!ٵ1 })g}HWI9!&Z(zD[lP!jFdd ps@"IK1ǐ$`(7SZ4QfPpE la|< V=:'K"nU^:$j]FSX<\@&58m"!\7[v7@ vRY#@=sJIf\ķExQ0\~'?tjo4Ѩ Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=l\#/h 7KdS?nM%-%-x()'A0b# ۷suOC'4nt0v] BȅxzHbƘ}kd-ǎ-ygM>D+b>#K<Ԡ))B8_'WL71o4ދS ߔhXω_C Ny3pȇXO侥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 Hלbl)M(k&.p]5_[P5f$]sBfx( JW;ʙE|)]KrN-oF*WjCiʵj5{Ŗ޺uOc "zl4hU@-j1ƫ-ՂZH,÷C-(\f ʋwpqq3  XJ sS :K)Pz7R{+Q 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_id594hOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`fk#0a{sbI&:؂M&h~m`` [(-~ 7h "fE aK"@ F4H $L<<(qKLyZE|,NC O~BM{I$>AmJB4Bqb-Lf+UiGh q/mg%&Y4Z~9<)E>@.Uݸ 8" G2X(e׍H#na%P|U*0%^Sڞ/j3`vÝ1;%uoǜ"Eo64uk?H߃꡺x"ЇHJɤh}dYؓ4[OamX*:,ajde}ѫ0AeEhcDLljT5]MlpkH'y-~bxHni;S\Ñ*DT~PQZ(B[FOx (t'l|R7 ͬǍWTK :W>!Y20n[<м u UJ\W<:Y'@[ )Er &{L4Pkr3y)mS͚r ͪ*U)rN9v;z(1l`O3]  0 est}4@P\P0pP a1 Q B1 !D6~#g8$tVgoj؜6I G)ۚᄏwt%] %0P`_a`\X/Y<P^OSCi6_=D)-cӥ{11 wK !1I2Ƨt<Ę5|urin` ~sT+P8 U[(G۔AZ(G4C?NjB=s@>bB9e{ Y<ꋀj{> Vϼ?'+(kg`:Q??+ B`$mee`t49O7L)B* ́$Mx5;%/&à99ICt*z tS|E{+vS#/PRkڏp`ysIa{EQD`_j*uPsMvN8~ԩBl4|"L}BYPrt `ZQr68f Zt#P( W b`O'v,@'eŪ_UT{Puޯ#xр W$`__N.C~9 ɩRX4~ǎvpUۊ +tNIu:J,s',WT2eAf<Ŋ8$[HFUY%,Pڀ#X:cN c,L5\DI Hh)E_cLEOR/{Ӳ}) sQe D k[>z8_Ѭ6zNG3PgpCָ<ѓb[i}gER7%tk3kf(W=C`b3Ղ F5[@(Jxg@>!ٲ Ay(lmzelWY ĥ\|D3B6'y*x_'_*?F?u~Nt9%{w€> :ᖩohBMr"ExF|^Ԓni tPm3F7 @(%h|o2SY!gxn.YUNxxUO=_( oswogG1Xu @p1XfH_\j[V"*:֓=:3bxTL"3t~!SUùqw LrsT,^MTxث wf7͡5Bcw:+ㄠUٕ_aK_F`tؿz.L +;`*mpG]TЂ'IONm08e5>N2TcWK,=j],u7I ѕՋ TÙT &B7 V? jvkIM\mGAui2-gB\U9zMm\k~uRֈ̵;jt_ߊؐFi;I`0|UmƖWYfZPMH ;Rg$TEeEc"$*7KLv  %)@|.# M@RsK(HxJ+ } :No@H(0VWlϝoÇ1a`UNBz q_AiU QXPh,nnvjf){wZJRr"sD1ޱƶ*IL,&X|xTH8(ujFmT` \3>sVG3H6zjbm&ί Qx`N ٙA)U6h %T?X-^hXXHwn`˔]2˾47( j9&;ȧ PdNfgmKQ"VB#6Yr"Vi1R a:96ÔPHЃ싗E0ґ/Aad{*V{OHO/)l9[he_ ˬ;'ISu k\<5cx53'`i:?Ǣ. :0➴q^m3z>8,c0+uI}32etՋ@\~xE Ԝ 62lh& l )`LH[DLBJOҕVrbá4i(5[Vayd)̨crpSlTW¦:wo}؛>X(@4@ (S/@qN=,\¼v:}@TI8쬖9E*&X~ȧó=ȧ^~:gUj1 K|#h(8hY; mKªn#* g}XCKtpu4#{crL|M n)}rTb1cOj l_Fw\z@À@| E%8C@e`m<,Z% cľN905+)P!cfyiYY@lՂpL$0X[JAkM̧ICX}"R3T_x./҇l  a R>p!JG+%U迲5Y}(ŒNxזƈli"ׁ_C"? _|uٞ֞)#sDi1r%{4 E)22\V) ɜY×pPcW^O7-s{)7``aNʈ/JA4 STWUeO1 A#GXD޺uϘR~+kbkAh-E0gf$3dPn@nJAnJf-a>STX{-ɇGY8*Twskn\,8' /*]ڭv%eg@BȔ7o.t\dQ!H1rSWE3꺋lq0Gܬ Sz7!L`0~#p學%$K]pŚfx**AF'(a(a̛4sh2Zb3/Ƥ%xCˑT֊_zഔxm!HȣxuELVHc]m#։tg3G&I] 4!Z?ń8+Opw`n@X ^6ZܻϜ=ӟ#AB,*'va2Xޒ Ȃ<;.qĪK =U3? 7L(w-#:ȹD z"Z"Ա8NFPN Cz流#PF$Neoaq0.y qCp C+g kT׾U=Spؚ%Jͤ0%q`T ."2(c ;.ϵm2W-"2AO&,b :vI#$)XGp4P>Liq\Z%匜atn X3 oNm}Y%3L2Z+5|U q~ n_Мr~_g+<Ѹk*aܮ XPM+C~`eoYXQwVhqKei3vi`F bf` lvTRz;Q5vNB3WUqs3,B~u0z.LUx#na"QHʯ/7CFgܪYx.=`@`<)Q;vFF>Drj#VRd'`̅L7:$؏0uEC|0a"<^դo )c| |L%Fw ?.-;*$]c9}{Zŵ @`A"9~xJ|PFkeOaG/0v24I)86fᆵRTa" 8Pv w^{1hjAPк1PEה6ps'Mّ؂aA$ TdfKQE]]"uKxcgFWZ n%YoB(*A;bIjABNu/@{ט)~ QDYtvi)y:_I/指^(k+b&Rwy|NOQNp:FRiηn,mO6tY$ƓċAh0 ER@PK#{5Jҷ%wt695!"Kc+KW~(d_'CjpK;-j.Dd:")Cs-<&:%+r13E bU\Ѓ8ma&ɇ[(ұ$_C+^SYźkG$͚!(zZ 2E#O^?±~/? , *H (p86 v&_s'ۯ L)S૔aq/*M%(PDlS۶JM RZLD \&"ivhF&m|0^x#< 0Fϻ0@5q@ăzEog_ 0F 'JF5#p;ƭ1RTuHR]Ų,w[o xXoI]:u : ?= [&dtx8&d|lRtR1'9s# P%3Ug$UV l$=OH$(Eo`D%Br1+4䜐1RBj#b$x'ɉ805`r*!EʃҔ R$ )ΝƂPخe?/3 h4-3RB$T]!!N fB꿵cWp#LXOqpvivi۱f,{U<)_Rޛsʷ?do|NvEQqr 弔S h`*O|Xt¾l24/5| Ry8Vooԫff|ӆ4ž=in17GU)lj̯sE#1[V/3Aʼn9^خwE2[[>&zV%gBj ؕ39v|9ϫ;,T֮]|񿜉dze|y^ c+Be#IR4hP( q\08DF` Q0  0 Tm)PPd HfTG|īK$$!-@PȹZ:fqYhaIZn@㞦(yLsuHL:`hT2[4KTˈ.zWMA%.rC UZپˠʭiDs (>T1*"ې /*pL\‰ GD5LI!aD"o@IntAtA_ CA[ZQҵcklg<3g̴0U+TmV풵Y dzvwIuz3|K̷PomR╕SǒOR6l9"tR5I/!8/T#h ߴ2&B)փHE틤0rv|w6!ōm_q) :U1HRMMзidoזq⚒IIV7䴭k( c4 "5W,᱅T`0(wQI 579IbBl7Cb#m3v'A44= יqxhuыO@)H &ϱrf4Udk,6oīC-\q7gt Q6Vl5v^,S_,Eͼf!WJ=,8"hK>-֖rL 'PT=\plFRrWBTBn$LWHCljS[π|(3LkY",LġEvBO8nd9MI^z'&Sfq0}D.CRX.c?5 '@.ɸ4e Em&&gIg=ˠH m8R_2va3h@c =n%!|To]J+BUI3{*ʉzsj̶z\.C$@vզ)&-BŮkAU= .(d&ED.fu3yU V>r >h%} .DAo0:ͮ'IeY3`j )4feN4Elx?P(PabƂֳn l&! u 鯻zyPf?/ʔnlɠ#s0NYw7gIMcj5 p7ZZO ,bMI"n5QD(+ DK:B9P?nЛg#D*;!B E<"M>{4sub4)E? ~:Z4_xx#i31jR݁r(=*Ph?';8@Q/>%*#$eu49eqo$)}KU-0HN1dq9J4qΰ1V xis5K?&Ơ-n[QknN@UJDRͧ/*b}&3W`o`էNJ85\V 43Z*4UvV&n7?XV=m REVJ8yBQiʚ0H{܌9`iאTM;$\=>Z;'olZ;a4)u&Ġ:F(]V]ǯ^VЙdRXώ+٥D\Q(>CY|m D7rX^*,ST^j|#*rBZQ,,." ߚPU$K]zV5@p*,r~29W*$Dxix pQƚ/ T :"([~׃5b+pA-d**]"tGѻj&<[a>2jN:e2$,WG\\0EA8,}*&ɞ@hY̎j?vbme\';t[^ow9i_֣Δ!VO=:O񵚘 )͵{GLeb`<V"{ ('HHr疟dCL( 7냅om(Ǫ>[f[a.umV S*Rx[:ftYn-YW@oxaؚ]zޝk d砳3 rNZ&dVލI@/̸%m@ LBJw-`_[Jp5Uq1iTǝ)p~݊/ؠkӊ)TOnJ$GCd仲&-|20vZSsef{Kbx4FIQKJBWVAstA`:[Yt(-sw? _d^<.5tSb@ ɩ]7<'XDå5W]N( -%ݻPdlh$'i#"t$B[4vT u&79vCsunYtz~^aqR-n!cq*ǻT\%gf,.dU. f| /@'.-lSG?mCracpE#"}.GbAA%[>;פl1^0NF `KۛG#Iۯ3&/|Q-4) Cg==Aj(-o1dZAqAW)dٓQ=͢i {^PMe]C&DN eD u7-'[fVVdl1ퟮ*t9 04eID;99m˲ 7:7ü { %lQ8&9Xsx `Ik0&7MT.]1/.bFS>Q2bГ:w&b"&MCFXb a HFq,@P @! b1C!B22k=U܇^MAH0ەX` cS]s?h:Fbشj7 'cSm\ԚO,6|{B Mݨ H OڨV"3\иW5רJ.!>UФ<)vJ(zRURD,'t,m̽T% R20Ȉ`MdҖZMϿ q-J?fz>JoVɾUd 5ǿ}7PFP~󏅢}J Hfq;L,2B͋qn$p8K>c.}ފ4\Gݽ'PM._\^ ApL?\L2C_=O=E]Ű ҙGFg;S&M4ڥUJ2)'K췼{^+61= {Yj@ dOdN$SKyޑ|ޜLy7Cw(ZaeG*ß-|f2 NHd T7j;BL,Z텾<Xұ1+iͣp]-2T*Qx\%NqtX:¦/ϙwQ>R`1EbsIS!-@􌮼ʘ!5¿CvB(ހ׳B^gp|{xa9@hq2xF_I6 G(B%"ux-`"`H,R=QN`M IP(31@&cDG?4D XTcr:3S1(h.&mېw4$?bkG_誛լ-,l6:*l޺e#ztT/͉$bF&2ˡ1:l%+_% Uz5*La^OKG S:[c2E~̱E's:4.a(s5Fz{mhunVޗ(8>5H8x)Z 6LG7 t.U}44`C )7НH-G_ kr Te>[9Deq*e5jL_6P;Ais |O`Tս5*VuGB9WBؔr+acr;J$7"!;{"bH%_{{n,&^J,ΐ:BڶݖMTԻWx)(xfb2v|{8$%D y6pLSM 9*SE2IbMȰq1цIBaG=:X>_ tad6Mty]u?u`YDx {iΞ;Z"O #8x_c{xҭ-a1VEhq2lfʇ > Ć )WdY['K(fmJ(ѻjVR(*(Z9+|>l B2D9R|xȊ2! N̔.