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_exportso]Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ZHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` v(q"0mRr۟0# ZBq *BiICA ued;P$ ŪULsÄ=1D>iZ:a`Ӕ"|NcapPpd7 '{FA{.:1<ǚgAy&-zZLn&]aD]˹J;g'ҙWfv6SDnj~SƮ۽F隞kRbhkxXb-֤ F#勐L$I ٘a)Vf a09" B2>싳GȢS/Ll IWl%,j 7qo9v9]q|LC:4LN))CBȖ#=l{8DsTwy[C.!5FEֆ~ Wۗ#@5ӌECƅ9KufiBk9ߤ&MoV, &֞b34w.Y7ÿ|`Ea/B,}9k+]1(̤/49E*>/>"cرG` leT6XdM5ADUvpغm_1;挰sYFHyr *\ƄqVnxǥ44ui29H Z}o22[L,ZsXU+^̼X$> W4b  OG!!eQByćbHj~p LuҒZ}ȨqZnΘ\d X*zGV?/Ur_Y`| xPdL34~f ŀ!5T N$RT$lUti'W Hy"8"ȫc~k X~m Oa) "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, v"-hse]*ˆt/}KT;k32333e l̉lCr  1--*XK}5S7 |{nP%bI[QIQS;qa㴺wX2A[~fw(&Ң-T@P0xX =ɗ'Y4h52??(8?*S~߷"- EbK wwuD,O&4':m10N*m0Ķ6^./]~o4xY̒U|PĠ"+EjN#E z*Nb $ZڢEqY$9QJIj$1O}"nefr|<\wL3Y̿DrQ7Sf""{$2{j5,bOۉK,v/#cJ܊}w0-y9{f"w\C6q52hj ,c h6`q<E!!`B"Fh@As HE \`/r]yHUu`^/|UEk z³ =U yAP D-x!Fik=2[N"]֌/zuB&3D!i9$cԃ^vO 1[օ`/):GLWqY ar9_[ؓܽ^:AUGqh}ј8 ?ꈐ0V qcw]fPk>|O&̀8šL&\=t bc7969e680cec628998d634f9d54faf6fa6d9151 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 36cebc8e7936eea394470069ee357332740d2faa ~~/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(, ]X7 o]Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ZHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` v(q"0mRr۟0# ZBq *BiICA ued;P$ ŪULsÄ=1D>iZ:a`Ӕ"|NcapPpd7 '{FA{.:1<ǚgAy&-zZLn&]aD]˹J;g'ҙWfv6SDnj~SƮ۽F隞kRbhkxXb-֤ F#勐L$I ٘a)Vf a09" B2>싳GȢS/Ll IWl%,j 7qo9v9]q|LC:4LN))CBȖ#=l{8DsTwy[C.!5FEֆ~ Wۗ#@5ӌECƅ9KufiBk9ߤ&MoV, &֞b34w.Y7ÿ|`Ea/B,}9k+]1(̤/49E*>/>"cرG` leT6XdM5ADUvpغm_1;挰sYFHyr *\ƄqVnxǥ44ui29H Z}o22[L,ZsXU+^̼X$> W4b  OG!!eQByćbHj~p LuҒZ}ȨqZnΘ\d X*zGV?/Ur_Y`| xPdL34~f ŀ!5T N$RT$lUti'W Hy"8"ȫc~k X~m Oa) "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, v"-hse]*ˆt/}KT;k32333e l̉lCr  1--*XK}5S7 |{nP%bI[QIQS;qa㴺wX2A[~fw(&Ң-T@P0xX =ɗ'Y4h52??(8?*S~߷"- EbK wwuD,O&4':m10N*m0Ķ6^./]~o4xY̒U|PĠ"+EjN#E z*Nb $ZڢEqY$9QJIj$1O}ׅVVZ^[)-}4k=rr%}4-DZikӖq6z^R/If]NE J-EiM9k'kwnIrAI`PMMTM?0B8@0,2L+ө)?g%„Yg '77\i\8b S%G]YyִdLD Oa# VHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/ $z$/hZt;򤅊FOmZ҂*s.ۦ(yG;+=Y> ǍyyC,+qY:`kY:s6S=I3?(2&ʌ󿑅f=Wq3 zJ2AL\"-hlz&ʳΦίYTeyI6'q\|jAa#_|^`ʿzpI0BCjg9B T`k~kc܌qzf)-HI?y8Beu0PAUhY#cN?#׾[4?ȑɩډ ʄeJ̕LWH,`Z CJB$a>gg,?HU2SH`jO3"#H$,W.$%&5$t6QEil/*3 آs/#gHf|F@d;JDe$:30yy,񏬌*!0U.X<,`JyZL#i!=HԿB<nP*ӕxB9U[ȍu2RcS$O|bV+فl獞FHH"HZ'GRJiA ϼ()"=sF"#qH>?}$؅^|[JN=*}̨JH5Ti"L]N=zp`9w~bJ6l {ƚOGu>^,6\5s k蘋y .837иpPED  lF픋PdEr"|ZYQ˴kM}PksNA,2;@ Qqrp23-#i`,hx#rmACB|B4,9U%p0^vkq#u"lne@WV <)EC 1DZ?u,!gixkq`fSL8'/ªOrwSuEU芺 Or`hLmj Z pia2dp,Hx&[aݓ4&V2}S%q/{-DB68 $/j}B%Z9UTU]@!N 2,>sE\06$ab6AtS9֠PIrm!HڦF2SFaKR7ʛc*.) ."Tc Ra*4OK2[˽01{ǚ9Gr(O q%)_-5ĀAzpFKrBYC-*Hhz`ZXޔZ^<=:2O,XZõT7]ԉ#zTd*F(Td^^C{kcQ(OUk/.Grs9GyfZM)\L%Q0~(% قlM5Xf^dV@"j5[Mz^yZkxl7ܙ* a _tVsѭ:e~~P9yj3`KD_CDsX5_|"Sm͑%] {-@K|a:Vd)a$peEre;9S:K}'/ՖZ RLE .Xd\z|,oP !/SgSl)ZtЁN'qKڦNFX[ySLi.41m3 ST0 @P Tl.Z¤3t{bbEV ݎt49#"[^>40@k׺Ri@3֞QU[;CF+,:+{V챷hRc [e[lsc|Y{u[X7CIKL٨QEXo#0_LlwsxΗw_mIwn'`g7` Q<S]?Y}LTF5Õ%~0<%nMgXDQ"Rs ĉ=A6%J\3e`@!D%/IfPV?*8?1GiZy"gȱ !FLr n;*S%0>;"QV ВΈ 7r<_fCG}Ižn+ZTgQϐ=9f\"Z~N0I8&Ōq68RE,ֺ@0G{'鈖)b1t+bib~V-唌o<^uB6`-QǦ-ɹ ,3"7oPqt!?s?7g>덝 vbCG5,J6ЀSRhd hu٥=#AuO^iG(NBrv _DןM _kHT$s,_7-Zv@ԈϩSh"(@ ibTt$6OK2W͉t!Q󝣻ǥzpL4aK~t6Qxv9^q+=Lmܺ<5B*S nGBU*6LdЁq@k5„D*([@A O(y!ؚ*Xa;0WeW I_qaq#!wض"3CV^'[e|k:orGa`>ko|,(5yKɒ J 7x9WUY >ɝ"& X=\}Ǝݩ-ͥS]9\t N?T j:1Ia \Ho O) !O:QdHDVM_ } vdWbq`8ZC9Q4dZH#N[[1*4T?xYD 1=$²Ǻ֯(3y؃ t{k\8c:暡 j2 |6tyt֎ H!{J%pY7Jc?y y iPyqX[86*T?{geb5?L3օBkCO)qH8:A^h>dqP67@M2-) ٵ04;dqwwlv2@O^6V6~iĿ}"D݊ "@h>\gDF2#q}Q-qEU02VF{4vUW(rDJ6NkԨ6$+&[P`-6+z6 N׻E.[R !'U^aE9"3-ĮDk(7TGGtLFTzX>;[:O;g+Ig܂жJ8i gP+Xٹi1Ʋ )^Hk6x0|*ird"HQ-w_Ѷfݺ~ܾ=dC V;>6/9XR/;L{8/$SPR,D"j.ҿ(tR^ӽ %2agMACDLq턄lU;%訐%j(s!j캭b؉HvG!8  дUJ}`l$ sG)d_5S֮gq.*z{A W>#9A#eBdۡY\il@;3[\g/Tɘ/n :|3 $:r;:( 1`@ 8m-k(R$+Xz?diH&voKhN PHG#QS6CN>c ̃.ȠsU>bYEpd3*Rj'PV7sąE% &PtaS8B)D  (YK~Ԯq(gJm-8> J"uxN(GI1"6o 7+'b ťl㊉.@R;FMelKAdF3N_|ANC{jHD2,1W(ŃiI%}i*\5C`fk ́ )}G-*Hp+v؁XhLrJhO/|xZE0kX腠Foa!%xs8P p2x$RȤ _MWp$ViWVG[ӰEzw[\"}NѬ#EF}-Zd(LV 96][O= Q*vQ<:~&{b d3GrƉ++;zň":m^|=8+jB4imXJͽh<$`&4sP> u JSK!e-Jì@ўs 4q&vC)kT5vgjwt $|;d;&XӚLDLZ!ش@Y/+ؿO^`F/Hf!-3t868+0F# ʨOd o$&3 c+ND5"rgƏLI= FapN@p6tB~pK9=h=|XɯV4#@i.XR`y+c9!$dkiE}[ -x,y|$K+#.!+6Ju,cl('7k H6|+/nMDOv.!{ؽ* NN<7|ujn X!A@0 @0HU~q|i hu0E"r|U0oAvspH,`Y0bp:0%6ESrOc7c"~NZBPZ^ j) ސ}!FQntc*E{!] ۢt'YF$]<#G1JPaNIU D@BǙo6Msz]fcCHѶKW-/@ҟ;TJ寞0_mI y@&Zu ɷ1Xh@ Y0"գI&Q8ڙ&vQls)$WF[#$q@8bB}nͱD DعC'U 5ƪRw/cjbn"[T?xeF*0dO4СvJk}tUR.ŢN\2׌)gl zRօ, oݬ/@$>yā3 dW -,P!?O|g A+DyYK`JԈ OۗI}\]AhXoa7ЕR- PSuт%1"n4AV 9h޼]-jBd EӮIޔ^q7q/מ@] 7q%N34JQ}2 n3$OCՆSnOȗ(-vt4 5yV#ݱ{Tb r ?hz W3KLɺxߋkوKW= >J`K GK&o)M#0yF>N4u? R?y9D, x-`~ nRŴ*]j2s#74b|/SNRz0ToH8dfD{rяQX]qC|{BCKMv& 9,7ffNt33M*SEh)4LdЪėEt:{Je S|:qjt+)qhfBE3 #`P7y!_TsF ZG OE*4=ρI.)ChWBJTxVa#&c :Px O(F7!ŁDJ+X_hEJ0գ;;(59Ob/HYj"F%r`>I_N7 !HH`' ~~ X H )p: iDNMeY(Œ4D",2x3%ZD;uAJb+)J$.R'HRZiTV }I!mODFhC\vײ[g}恁 A3@Bk reO5z`%RLb\C8x9@`aJoݺ~ls*%أJ s}s2?Z+J1(yzS-RPS~mcn O X;6ac s, uМB1lj(bJF&%MbbT"S 褆ҙ"T`h4)i$EDefEr)IPEC)"B NARBӤI)D(>iGDR BD*XSFN"ibjJ"AuFHtbr DN $љUJRL& @mj~w}ٷqe@ =RTvs3DQcױu8>!^>CDu@C"Xf/~RŋsXS 2" (r"8]+_f߿g-eLQ$.!bD G.zS± ± jYڧZƋOd[9wfqe#묠KȥoWOĵm-airO uZb Apέkf>j˿{-M~qw(rm2af ƾ@Ok}f SNvֱ9TCFǏZ fgfc;U#IR4HP(  Q\â9DF`$P0  0 TyyavMp!ܹI=Ȋ*YW @"a&Q89n7.vMtm)#Ac@̶9B@r}>5x(>}-z>LE2KFC眄>M9X c/,(r!T'uve!6!tg%kH"se8o^IkCJ@p,>MJ  0 ։qpEX6;%T48ZXᬻyaE彍KJH@TͣI`4E@T78Acm{VE{ED<5ܮˑPhr&x 7Fld7,P{  eN6/VLq,QC֜Ѽ9-+7fģ%U7.sJڸrhQ]=r2S9(g̦M_mmu$+85zJROq3[d(Jyj o+Og0 sE4BfUOi=v[Y :p5E-!^=#`xJOtULX9$`m+> 9K$łcM"KUP?bw/QVKP{&;e /RAѥ=cT07o\'Zܟr;P0 #!r(ij(lJ2*Uޯd9?\|u 7Wе*ac F@7y8R>4 #UC^cRbM2GHuTf&O-n@,gxy j [XQהfhz>6=As4 (l gf*:3nD!{ d+yr{}dz (;3tid^\nQו(!qeXSE䤄DJ3vO1j7'@\/o4YS,|TwFUlм?dhOM  Ql3dULd/0PT%4zWHѠ<g+0]Vw6:@d`7:G'xE;}}A-rn^)h PAe0C3ù)#!j~*H8#}yTq$*P.b-:W| R#5ُ44sγ9[BJR=, "0z8 ڰ{N6$qE𸵘s ?ϒ_ Ks=J,Ҝk.[^nxPO.r[u>l+8&]U7U jq+RpX&3Vϝ,V%zg*Y?Ʃ&ѕa z'}$"R?D? d:N kfΟ`6†\ w`8Z'oK1MypP)uK N66S'ΥJ6X ',b#d?^<_u<9,œ-w{95tKX;^“x(Y{7 䍈/ dz#~Hz>:CHHU,9R!C~%LnPLxBWin$Isڔ+0e.p8%`N͝E~b=Q˜;o`8ڞ yf;r(N犇a!$}=: Km7˦0qd@jl&4tL`BdU8RPC߁xZFU"\ ѹi$ v1 P>)Zm`4{Q`it&)1($jQs?_; ζ{*2@Q 4ֹ.r08:^絀ⴈ}O(A)6O <M4_m80%"BMSKX<P-imu(CI>ߊh0Iuwʨ#̶v9]LY)]$0=LkXw9qe }SI5kSm ±GBD.Õ]Q̀=D}2tt+'NV ^!u:q4*/b 'G%U -F4 K˗.+DUݻI B"ug=9MyjʉC!J؆Zl{[˞y! y Tk6ݫ! ͰR<U!^ !8 A5{Uz䘸I˥,q[pItKl&O+CNIEIxpn pe{X$p9&@1sFǫӁWf3er*TP<:IĸYQO(}y}OB:jٹ4M<^Iܻ'oQgœ~YéX2LXrg9_X4藌4W$BVLԌGUX:T",aS F3IP`c{.+|zN}U DlFazUNzV6z&F6S(}c…1Vg!qBNEjP(Fxct1˟e W3ʗyBGRfaEM 58Mǃd-i9T] hy .EQ"DGLO[::'O'za]A`81adu+ b]=b5, V5'4x9b66H8i aXC*vU(06*R85 k Ne0vQlJ'Tjjc;y6 2Ix6}o"6[=c-@Z# U0IMdYlLJWL0LVh/( +!"J?O&~>VP0u$ݐ$ǧ9sigiP,V?R" ~IQD%.2JÃ?)FMXsd ^FY@pmn! +\TC'~,RH$(j6a|8tV;x.ꐗD"Ʌ#eO"4Y8_1'H9 TEcE{|q Ign,ȁA=; DV '">f˯HcH'vJ@{̽2 I 8ZIdMDgUG;x [x̺ҏB Ti8]nT thJnaDO$EێTRlP&#8 S+ m< :~oC阨 VΓ!tîl3@L eIojhqDTUPG!aJGA{Z'4ш s%sn;g#T]IƆ5~z)Hk/qjR Y/"+tIp9Zd \ip#@A۩zcL0 dm+{m\`4++hALk`AI2ǚo\6[BY+aиgN\O`jP} =0MƒI͟W&C߿y)$N`o`dJBᦔۣ9_'hC"~'ݕ  =\ztѤX6?LgATxࠂBT堪qb՗سcMrHugӍ_'Y}s|LWVWP@!nQg=mE9Q)CGl(EH&ejO9Gnl$DT򖔳Iv4 C-nl2 NLDTO=3.hWlu>Nmk(EqPD;)sPe|Dc4=:A1qYE:'ϧDVKX+1X/͖&]NqV^F)ٜ7Ѓ9(Vuo&|OKђZ({/iWѩob#S ]&GVw"UK#@[D Qꃰ6Y\ldzB!A'@/ A?D Áp NS~2=i*:>a-p03GҕH$i3 B HeiK@P(8 c1C!D@BYeCaМ)<ͯtmoUVDq<%A(ɋQzn Nur΀b):U z @I{jK$w!nOOZW:}`GE#?m]L2jkDx>4G;3mT9j ʨZ-JEN+ĺ8Uo\ d q>hr04N{`{u0 45% !{*E(6qr?Q4??cv@}|Cg%[v+0P$95Z#!Λ,贡7Pw*#y7Vcr %A3!=@ˀ*m_"V~v YUX| &Vv69KU ?`Dֿ[FIbWP0r1^xӵ֎]•Bu;+bTae[}xbOEiȮ6r$rHjN6a/LCra攖°8F/t#WW\LuZc2{e|˛':Ag59&P@x31(/0? $^V`Ƒ[*HiJc2(shOحk0.O=SbĂ$da]/qؠRWŗzr>wLƆ _i"A8bgHA@qlEzQ5#gG-m"C'i#9ZĀ=TC gG5MlQBΔt9zp{:}qӯD۽WrUv2kvvۡx+{,-914Tn=hcELEJ9r_->?v`Sv5u8,cjo$/FX7DMpŰf[|'gjAVaKE)^n{,8_SJP;ӯ._<~SY~r#X>3nK).gwNG%6- Lfy!ԵGd̊0[%m0ڀ~2b$KudL9_ 5:l!щKJ Oth4Ysʅ- sW"o4U ,ȴD;(6e))IJrhŞL;:~R8nbatb"mNq DPPe<ۓUs6n5q; SVwdI*{Ƴ]fFh]PQLP%8ɲTo"Oi2Oun`iO^v!tFܽ"o} vlb+:yAR$Uq 7%z DmL&-K7 aIx|":Ix(?d+h KJ _9(/\6b5%x&q{Xp[GGHƧY7c AFC^"U`l&Ls;l 1͋qۀ9] z0UAh<}XN]0& $Tj ǔTg8.eڱ}66U SZ5U3hS