SQLite format 3@  .j   i G U--]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_sources u77 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_infoT11Stableisabelle_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_exportsmWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# bHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` !p"0mRr۟0# ZBq *BiICA sedp΂C(ULsÄ=1D>iZ:a`Ӕ"|NcapPp.݆,W}c F,}tk+i{QIS"9tp!<ɆZ!ڄ9={2Q$#HVWbnyxa~-AFjY4\4u{ RScD e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy 80a0ad7cfba08e7472b8291ec72e806c73741169 ~~/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 cab5b21b81e38a60a3abb4bde415904311b895f0 ~~/src/HOL/BNF_Wellorder_Relation.thy ff6f04cbe0ade7bec25affbb246f8cf0e65fe29a ~~/src/HOL/Basic_BNF_LFPs.thy ae0d756f830d0d81aa85e5549f026ef3c8a78dd4 ~~/src/HOL/Basic_BNFs.thy 7fc0a706f880b7d472ce2310a6f6526292a969c4 ~~/src/HOL/Binomial.thy 02193004f945b50bd38d0794f771ae6d361775bd ~~/src/HOL/Bit_Operations.thy 0b170bdc03c6cec502c5311498611b9463209b3d ~~/src/HOL/Boolean_Algebras.thy 1dc33bcfc76a695b63161f930 $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 @gffg'f0A[13===3[fccbfc6fg7&c22&2b.&nw"#Z&/////////3._5՝D_%wg-UýTy*d^yѻ x/Y⸻;;*Gw]mG^Fh36o-݈؈ Vc#jv?BbQTc7"D mQ&h 5#+gd^ec0c戔QFG"V4aDVMQ ,rZ|qqwqU;%,Ia)rZ[ JbEe@t~yWUCH b@H ?!ZϏ@C":#"#"#"#"#"#"#"#2"2"#"6 v ozzϲj'hK[Ujպw݊0Ŭ7WoWoeggWvvvvwWW_u]wuUg^tnFLUWvu<ƳN5Ukmw4 Nnmߍڝ謹S9ٙ}YUUYGÔyyw9RWin]UUU]U^U]U${ުzzzJ5S35SSycifjzj+wr*}wCwGCuDqWR|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(, WX5 mWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# bHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` !p"0mRr۟0# ZBq *BiICA sedp΂C(ULsÄ=1D>iZ:a`Ӕ"|NcapPp.݆,W}c F,}tk+i{QIS"9tp!<ɆZ!ڄ9={2Q$#HVWbnyxa~-AFjY4\4u{ RScD`kY>sS=4RO2 EJnxe*߈ׯSo$q!{$S2iIǦoU2S@`j!3>"H(/a"dJR"$ut:QEql/.7 s/cgPnDlK\@4u^`T;3YUBxid@i`4@FB: =SZȈ4$X{d55U+dsJ"7TP-nC .؞c*>ժ18řh _TT\X+ 9=3ұ'X\Zw'/+շ]gq,Tl H式~ׂ+#^ ũ0+CǘϼPr݇Y==Ӝ3!O{#R ~9`vreNy- KjvZV~YJ SQS]Uj]"V(6z9URq^ba`hxݛ!9=͛xJpc98 f*bR9@hѢbIhx9Ϊ`a4n- e&ko=ֻH$_ DLT]TEDɨ}דVnMJiRI&N yckV0lYa&:v'Rzc/]^uoL)ԎwԁL$IRa)Vf a01C B!1E$X쫳۪GȢS/ _IJ fq(SBmΏǝ'%2@nS*'RǢ}Qwy*8K;Gahj5"e2Zu ߫W@85{Cƅ9 uhBsF-Mo!ę&bM߳waVԕ.@X`ӯ@,$k,(DүJ ` \{vp^.v>ĺm 28uqe%3@*{*ClMeuCbQ 396LwFg,ZL(]jG#4Zb 6hf +])ٍF́0Ov{e_4‰P?OG 0D_B<2 QF'`z[&zg,+{G&Jgpj 3μg.kvV{ S"oښRs:`%X-ʿU(H6vFҜ6_+<ةXKWCqg踀$ +6]B"4+ⲊJcwx[(KSѸV4OK%3r$$SYC0՚hZJ5G:\%)o9Pj 58CwǓ 9rP@Ąôz󴽵j/31? a]5O,؅e,)[k >ֽz=Mo"uzy2¶˶.V.hǘs^`ǟ7P'~S'c6jz >Ʋb:`&:KB Ow5w pDV( Eyn9RklkDK5Fֱڪ[R/mN7CO*T#y u!$K~\bS1Hlpwg( CqϳN tJy"ˇRT7VC{G)պp.nu;FebQ0ųYA6gءtn#ĸCJ"#_֔!K}km7??^ƷjY $;Ҷ`z\B튟*w.7,GdOj`!BRDt<1 "F2PY;kOɏ8`Iʡ,`2~v."'C?,ZbB?bZ~?)qdBs҃uG>o˚5ԓ"E;mW5!s`٦ ~*4(D-dbFqeըs9'N~Ae -õn¯ϝSp(*<4|>?fմfCWc*,NP%R뀅3o"&kT .P~ Px:9K5(#m{ȹRZqgBY0;fJI(+4:ЈVFi7B=ef9L̄[^AqpT5(;1Q8{rodFټ*KY tOWrH(,a`9 A t=xQO1 59+gFT)}p +U8U6p͂GgKEevX6._,0Ę1IdwgtP ,otAnv٬1{o芼{?Bh!m`bڝdC4Ԍd 9 ෤Zm)Fd̿HgXKܗh% ) k5@%.@( J0jINw('dPl(]c ?CW"ʅD5LFv ǩi"q&$G6⍥u YkJbk viV\"qSi^]YkI< qðoJ/TM$v2‚ds'elsy\ \o<,k+>6|9$YtM:^#/b膧zLKjzt͈M3`tAuaui$T d!#tomn'd H8F M vX A'E0 P\*6`09ቧ܎ZSlnvpQ68DR}4B6Xh&;)@6T{`Nr.؅#"trޤj_c +Q?w, 1a{FUع4s/Q 0--7芣, */ln Cl! E1c=rBO\t Ys 7 ShazO;9,U2EESu2.0]Ӻt}Y^GqUm&xkYع#>'9N6$"QJ 1}xK5_O-)a˖A[Eꁏ@ă&֩' R' j͒魌=A@.^)a9)a24909^̐ey`JǜqjY q?N(>77;6j"nΑ)&tmu ?/i:tu/{S&Ce!J"zZO?f!omA~pZxġVS/́:W ]<;w 52 cynl&Z HL* @3eP yVȟnҡi~7sM_4:\ߠ!kJ΄@# Ʊae f${j',Ay77ۼF3@6u -\`@;;);:J"bֱ& fl xFCj8#jܛC굛abMIuWg\d>?ՈPA )u?5Fk]z>b `+˃Ay>uvQL V*@4J&nNb/V /cl_ (r3<1j\ Y&oMakr|`erjYG8X!k,c]!ӛ5`Ӈ@%bۊ%6#)vݜ&E"m'=pPq\q Β@3 `sF,L@~Es715 ck`95 A aG'(Qx.٥M4 #zCuGI(4S|~J熸%G1]ɩvjݡLM` M+"=4++3G| . }m;X!!@@#2lpL+o f+9{@Dh}.d;mOd#w8:|ʻ- #EHIFAtd[֛#C쑠طKb%x/[tel?ȚFX^h6"5a'--y I.q(Š%'4 1х?g &;S|>LÌ14 o~5@"=B4Y;Q>5u| AhǺy? c[?$D?JGyxg -?!>v ;WaPMlB x`=O!6L` B%{K0Eqsٻ|VBZubU+o-eE+(A5B< JP'r%4]k}ˣV{~BzaYLj$ecF1c3!(ŕ&-s6R2nș=g9Fs \mv\  <_9]ΜRm8aM9-YpLq a7)*<7 ԓgR;9jb[STd+EHeY<{v&&8e}Ɖ쁰|ᖵ@h((Uʱp8bFSݗLAXkT '%$?ABPhtKWwʄ1%o$L nekg</ÞHLh;Uy(RֺŘ"S9 **RL8El恖UW Axi66=4ځq嫃kЍoȚh5cIz!>MBO*e% STTTGu/oV_)JL}v 6lUi`?Ti8 <&K^2W?DO/c&S``h[ w0s a%JN.N/UG˗[ Cd-`\;YQ 5L P_. bJγ}{ ?â^Euk*ɮc& KHtNˋ_]u/@>W2Vc"†2N PMANK-YY7aYJ^7/,OhDkahSsk{9iѮ<-rUyDVHLTL cb/D9TIp'Lm{{} v/4sX94fN\^%[EuLkC3rI'MN R@0GKwd̅H 6IOi2 R NŒ[)RMYUAɴ{=w+ pBJ 2>|4!?(WfܦL]{Ϧ.};!X4l7*bG`CIvA 7AYX`#@ePTNAMD㸆S^cQxP窝y;֫_ =E861^^9 D6Gχv1KcOfG/@?Fh )6&{!w 1Nn&Rd Ii_ qVS[("-qS'2*URPHj U^y3Mɤ VNA'k`jo tk=gpU7 To휯~ !*,B>W@b s\y[ڝ5HK*R^JV%\I)f͊``+WNqR{GxLZel&lj[n5k]xDDKJ$V B!# G! ױt6@@%6d =l3\Y8 bnqJ6rX%,&#-qd!fNf3^c D-6 VLڬ2VT .0RW*TCa ,6QuBU:pċqpHYb5Ts͜yGkrfZ<|3g!>Y9=DgJLو]ubWb9V0ܕS x*%N@#<)Ss{;7;f̩9EQ{sĈb~꾀K;gBJ7HqݪUb7fՎībN,MnGTXV;{K nh:tpqZ A]ֺq{8f^xHSi170ǧA m^4=OQFgw^)c$ rׯ_,l[;f SKU"IR4HP( Q\4@Âr@Ca$P0  0TmyavM>B=>21:VO8cD>J9e^xt(ҥ}2G܏p 7Q 8\@F iC4]'#Nep ֌u9cLYRL\cI_nG(UޯH+' V~]*'9U6h)UJ`w'fak BHԴyeП!}ԀiDd n1UA@yN4 vC%\.6=AhOQl-{fP ?FAR_2~5Q` `دLjZĬe &RFr>T#zP)ו۸՞H  &FЙ8Z[ jc#dh}X n)$T]f&dr)R$\<;ByVqC6Tۯ-v%KTŠ>ɢv@{WZ(~]{)yL](lj器(uJɨdS&)"yБ}<)CcG{18cq:l ("4AZp 4 gl,*a@fIyהu/Vv;~Ej\j44+sn&]-8V P KFPiX@rt9q5Td&ƣwe$ꈇli=ClĿ!Rφ$npJ@,Z+%CЭFHJyY2Ɉ Nle!Q% .Rr<2䪆kpl@L S}x)MkĝAfN/*ѿekdՙ*1[წ(/&`"myO) Yqa+׮h8p Q7& ф= *sQrj(h~|KԒ|N`G^ OMO79A=zNHl7d"qa|S,r(r&8/, )WcD䬏sh2KB0 ~~o>~u>A*-xl14PNi$=DG2QI]|4;PW5"[|v&ΠJ:JKYB7S'`a =pr"$k]NJ9֕j@~YPpH*uϜzE]=h*XnEL2OruW޷ rƠ]@^[(+9,.orw8=+{wko-Dמ?6P{>rHAIod8iN"ҵ\#g$]GqU,2RVzpDdxjUki-]K( @'(ȏ֤?   x#3Q4 p hpas:ڀVCH$F"'0ahk9NߓUgG|qqʞEbx|TMܿ-T5et1 -)/KԶ\mBQhJ,)wM|BJgP"ZGl{| 3toWEp& Cw,wfW< uYZ{"Ѿ)iVx'f݊C]9`߆W2^k[,$,^r }2 靅ua?IV ĝXfvӽPSP0ӽЉ"xXKUXQ[FJȦ &gu"Rxdb$dӍB\pFf\`K1u_.lK?0<ך%u_nب3L |iT4S+\6R/N|pBMQ5]7iۡ zۼjdPph%Z5S 掐Ml8'*ڌMTXlb.2fc9hPKfJW2)}.e E`9~;L ԼG ٷ>ozbގԨ]e\YCj> (MNc+7Չ!)@]dY m3D%F"M r;uAœ!~u.3mVhظ@FM?@V;Eܛt=Kң:Tmc\4\ɐmE<8o1ymW(6}+}ct19/ˆ*$,A76rG#fx|^TZµozzo˼n#i ;äDFCþ5k9Я2aZ>]u&~Y"/2EβDr1` &z4NʔyBi8}` v|ֳ␬g6T)_"Nx`<~}*O:[Ğŷ%8bdhP$If aHeiM@`(@ b1b!!!eWhxz遵DܤGjɼN9 1w_h:e;Df?%v6܊PH6Yϥ#AM `^CNCV#߂-'XeV[ Q5ڙsFi7Zs2@r oB5(rzL1C/:ZfF~&}K8^ǁR!AЇ!mAbw|*7t0hL柿5 Hr3h 4ŝ&K wZ#c <(]hLamnk8|6GDx'NX:_ԩm? iwa΂ 2I[p`x!+;}xw8˖-U5#eQƒI bi25 ,?nv"< [)ተ4+B;?̽͢rOfO.u_>CY:$2j{2Y˺pX0+0f{y%v sQfP˵!`. Sֿ[sALКy 0-`&?paK5#!A'U\['RDZR*'@Y"p=8鞌NcfU7QoxEww54ïvc vk+N ⦯8p~Vl]Nȹ')ndcۑruqadּШn`H6u7ft/LMzA^Xta߹vAyIxv;(Ssy?}[h$et>Z& g)}>?NSЈg^ǐ+F ^VO]^Z&E6J2k6Q[MnMTO,>$+r7t365>()WgX|y K8ceyGtF1`水,̼Ih((i(2C(((ZEU2n5HIPp6GbfԷ2tYHrb}ڱ` -t?l v.kIa|*x5 v2Ū eRJg|L%q.b2'XR0iDYZuJPb+qH8"2lD7vƳXk09^ϕ_/=W:nՉ Mj`8C_2"f:nUty8u8Tv2|e=P4PK|Axpp^_&:dyTԹmTAfpV)0$gNwK&Tr)P4(řN!T#bNr/ ?Q6@yDF_)XpW֭1':}xB w;MQ]"Ƀ!`RD7ID[.)9CO&uuz_R!Oiwް3Dn~4uYLgr-!!tt-f)^+͓+gRRIrwGXM 3&΢EІ)$>5D=uBbMӤc0H^1)1P1@V@YZV~u%Z*Yϋ,a/}5!Tf%WƉ~q'4fw7w\Xq.g[ژ) Lm2NjⰮy;ߊ.@fU+eմy+uQ0[-Ny+P܁>Yd;`q:Ӕ*Ssk4aM c%Wg#B3f57@ }kC+9Bt8y8s|(c9%1 T$ 2$9O:J@"Mn,Ger̆ IY=vЌ0eټPn_[t?]@e֊|֜A/dLchHXwۗ4UuuU86Pf`