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_exportsu77 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  & &WOpHT> ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.634cpu=3.966gc=0.000(/``$":-` x;a 209C\c%)бv0%J,J\qw=w^]i[־_!f ):u&N% ys?]yaV @z](  (qۈh;(/ _pkszMW,\h,N|}qEHzP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` }fL PK޿.6إsV6%䪪KH@N! "1L[@áqщy (z i(YY=C5>UR4aKl lx1R(he[P'iJZ4Z .a1qOSWS=%椫qa\{ | TY1|sZ^ɫ0W~6oԯ܂KH4D@r"ɔǼIZm?9Ҟ{+VRɩB<'Ez9Jiם;*;uq24E4))1 P=h)D!BC $ps H0QpLmyXq>JK)BiMґl0;ʠiA2d~^"##0wPEY\5Ev=kbwljd[/(JW$*n W'[gwuv&1^@ #k4N1R%Q"n+ YģYi)&dM'FON%S1@S1d9c7e8bc7382d306a58a566d1e2ae868d8c43b8363cefc9c3ab9f434f73ff0aa175a2b3a649e93c 4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3 2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d 099d19102908a42ecac7f12742ac19d0758e97b9 fe496745f97ed17242f1433d8065f7b0318673c41e987253-e643-45fd-9edc-f49db06226b1 $O HOL-Nonstandard_Analysis-Examples qtOa1RHOL-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# liC{O53Ha`yo_aZV(zKs8gHU sO b(.,l a `ao`)S9A1nIT_FlpYdiʂ<,B $4a/D_KB #tm=Nt* %Nɋaخ.ՄXʴ՘8+,8';RH};+ðQXʃҚpHHnջ{xld=MyuM;73A83m\Mkjgmn$sؘspWŚ15izXLDȄSuS#lhk?;*nUW;bs0Ք:ݛzk\C[Io_B WS:oL$I XQ)ՙ a89" BSH 2H Q@L 04$UՖd${N=)Ls,$ 1A֩kXٓ҇H(&Zфť=ĦFA1^ S{d8Dd( ǹ0 bӼ&M~!Qھ͊8`uHj?YQGuLcܶrV2XQO/2Kz7Y&`)UI_#ׅzpgУ8\(}ai"9L9ԱBbUU=HmS[ϋ#9`]݋Hfu뚊|)v&`EUQ6^ mcE;䫞T-Lh"a%HJd/4j\Sl,10ZYhLh1̗=L$i֤֬A5h\;%{}\Y eu[ivL=ngĜB bDfBIt#T. Z!g5=D~ [GFCPUzGZ-˸ ( ǩ6y̜?gqWVT2u95 Oa) HHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, \wj"-hse]*ˆt/}KT;k32333e l̉lCr i1EEVkiр4f*doۭBD,Iw0 4"jwj'n>,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1k/J"Dz@šf5VRMz#tS  c-c ٗ'vy#dgU"еP%koRݤS|vO8`dV}yi@{Ut~^RBhکpHgrXw uL"fLZbT Ti&$Xw14Up4:ePKTPF'G+!p%cC!5 ""36\P/o&yB Nm۾y0C{(QJ|e͐0/:M2x6хk{vC#VnJB2;nൈ]$#_䓃*3C#}p 3=PK[H(cfJ1ũ_ؕz3m3˭9~4$$ڤEiz۠T sʙ ^&ϏE0y:’!V7#D",C$nQqE>ɴ &5@*N>騠^B lCt4S5L?(,Ub_F$9wE$= 5eAykbˣ<NڞB%:V@Z@jb&L2]u:eM#_EXV7T,d\c)`Jtط7~;)Rnb"A>yVvkF,CGL؁CRDUhݜca1Ƅ$7{ǙpQU4:zٲzg"|8d~OI>)0vTyii5>0m-1"V}/e?&s"fL2McfdD[Ԟԇ1E[BtM'%6YЋ0urrI+89'qR\l:7EO!*PҖjq6ݬmY?ZLh`G@삼f~Eb [(M}.4NRYfɗF"=(X Js,dZ|Bui -Mb-QS=zvSWDQ/OHrE(@7Aqpy~HE F>:Tɾ?uoԞ"Lh]"x!]Ygܣai9 t`8+-AR oJ 3s(@`l9׫/!͛c5"K%ѫKб?N}22RDZ7;I 0K+*]r 1% 1h@)|l5+P )C<.bSLXP",Du=k"c6AHd ׍y%r\#N.=`0heK&7z;,ǡz]h&5즻&z"59HsoyN ݪ폰8(W* ǗRUo'k|{e P [MkV4TkyC*4Q9"*bZ+OJMݕO`ȓ Ʞ17+*Wd,CC1yP$SkKsT^S#jWB&%xed*Լn:z꒛R=ˊ 4 08ϳ= *{DŽܚꉒTAo+Hxp"Sz\Es'H*zN%}Ukx !]8>2XS{R0b^󪭚0fSU,2ޝClm}QS^.l>tE`-Fz}+9ӶCdvf;s+T˹IC_?E#cd z7_tu'g!H?S.P NwHugBx":%&7 Ujj0R) )0S8nЧ-)q:F܎,dDdY=IV"1Ya8y90-TƷRa!p=ĆU]>9QܕY΃I*S걘{*H0D/db kQ[r5 acڬyWA1$]-3l֗BJ!bo163zG\)I"<#=q9 ,3<5C/cu<_Ak.9ShʟekJ2(&a]:(Id f(O)痓Hq /1)DzouyR0rCdX]Ht]RPUAwxl)Jo>&OF&DI176lMa sy$T5n(h%0jp€qrTۙl;EUy )02}j%561oh[ #oTNNCV͔ 6|j$FqՔ冄% AUNDa$yK{yvf\M"ڬP Y=/QBRB} @uNa*߂n$^)6{aqR&:mD ,X wpO%%ckfbzIX4j I(Q#ە^/sCYC-ta!#,|US1au/L}TSψJA)J9rčO"*~oG` }A Bv,<׾M~r!}XŹ…Xj1$Jd)=qq4YCnSU7COWjS8H'mPS ;b:0o[jaf7&kIM4EXTkEdpрC Xڦ`V%s8b*P*Y3\a>"{TI\w<GOj# olg`3GYl)$6S }B@Cj8V%j3С$GP |>hi?J6qMiÂ8t[MM[p: `?P1Y# уђ%hЦG Fᆖ+zooyCsVyLb&X|l1F*o+X,1"e e9}pfYP޶*oQRif,/>掓^AAxu;z` Pot8T§яN55 +K }>~!`|.D9oB d|}\Y^\/`3ZAfhh"J6 b32!52vtKgeד$MR;`HP;< W6ZKގ}Ѱp<[ -+ BNjv2߇$74-Q QJ62)1khna"h_oW  GsȫRHg32IuNT ٳ+f*c;S 9aPeON;T&F"oZ [BaG0&41/9j(PEi) 54wQaJBh/G$[` (KNH͕ 2l\@pPhwePJTP/4daA pES$ w+Ÿ?%6xD\/g9rMABCA-0M,H|| K\ Ba.4g0-Fɾb?bS`Qj#`i5Q?WQqt{%] kB:ዬ%,ldS)9TZL#?gciEIRs!u&@*QH?vQĀtg=72%.=Uyn{ oAc[ EÑvȼ2=Zَ* JFT3aٹ(t@&Gxa 4 K80o܍s\0]O \I F9C('H{>TXU Eq$z"ec>UE,'ϮF@yM~/P[{O *ߧZ6Q.eX]Nht^.TfK@ 3ZF3vڬ!Ni =g#(i" /Jm7mįؒY1JlE>$ mǮ77^GHpyf$#*z-Vk[z Z^y+_*Z&mؑc0NNû (r/VrPܢQ@wil܉- |.⽹4~*ͽ=']!,h(T)OSJhvմUKg 6ofnеPG=R5Bxڬ*!j PN+fua;Xè( o)\8?]ĈTΩ7u pa/3&y32)0Уb2_O0RoXD_(mтmk cMB @`5Wk}gHSyI!KˈCWtP;d etI[܀Wh5g2ICEAx'$GqwHul5bS L3M`@'@dMCE5K "렌ω-6q$ZBl QK$nӬ sy,bW Pqq\=ݺ;I і =ӨiPrĝ;喲/aacb- ?HS(! zz},!hU*WU{[ lB<r3Iq J\wB8QBW c8BE!9}L `7֘g aRXΞ}q7B񈼭: ;}.k~ Ax8"bV*9mB"q`MoJGx+̀'?؂* fQh<*Hnl6@HhM**}/K^p`vjTZB JKrNpS E 鸔 fMXl55Lt6yw`Rтx%o*ݥ*dXDT} :<;'̕VR7%b;G YiL\vJ8dX*  apRvMmrH74i.& Ƣg(? <(D`BlZyMG&yf# C C`x1b`"sh)/nehk7Pck98n:q# fn)&ϚyDWXx!T*pK@[6e< Z0DT:. $6S\m9|‰D.PkSR4IQظ]2m"6 N5[UU:R&p 礘B6lDڱV^T -nt=]" pZ<̼Q_5r/ ^ G'\72k|!c6("xdBSl,{\9 {zJomo=qk8 0lwF~לӰsaS)Ѻ|lk)3ϘӔQ8hRLd$<S, ߊIrT L>co3Jeg7*@@'%^c@s(xv3Tb8ɠ9;gF'loSH#AL_ϟ˼H$V?MwŘ%nMHF| ٲ#>Qe`@vTB9OڤYT7?TQi<' Q6P\~eX$ם2^ѠknZt|b:`=0moO/:n#}񜂠FS?|*o4I$ĢP9c;y3@$Q-M-zt8+xtJѳKnd~dM7;T(]+cG'E0+I[U!=2,~n1EOca."lŕb'd` p&0xjoG Ze9H2S~`GO._p3!>_]G 0齠\LOŢ`s!h=y(XRd@lq8eV=yT,ljyc"<6)#o8R |j'Gu1Zb ɇ4Mݯ$'􇆟{a0dR$/ Ur20gȻ bbw 0B|OqWG˅UAz~ #ROacpP!qj6J!($)0 1R& SBVn(]PRAwfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"b!H$: @ PE"a} dD<8\$`P á@8 !P s  WM-B{d`s>#MkNYL -1Qި#YɦݷmT$lO;[0_qJ9;T̗[rddXV)BZ_Vӝ';[(L3m4@2~:֟!UOp>oLa*J)Q3{M0BDx#F󽈨Ǒ=X#=O#3{p\f*qQA= :tN[3 .o Qs; 4D[7[V. ($,>gT˨+d,; qgj&7CAF0OP?dC`\ pjlg`X#a4yoWݐ!̧-c֝}:Bԕ5rH_ dFDAT-#-o;vј"UmQP/gWofWLUЦiԞ"CG"4L] QQ~ %ocrC-OODc&UlX E~ ֆ &,|lE;*88?ĞOYuLc|$@rv [jηg6[1h1rrX oP!UJٿ''0}"Ir[8uoZ&J7BaVw{A@6Jeg fGK^($oG3)8_A!-9\Ԗ=&(1j J`g1 ,8^ @^%l"M~q5TjJ5f۶a_5rF8YbQ~Md];@he\gj ǔduPT?5])`DF9 UKǍ07 ]]Ja҆ % ,>t4Q#3 7IoeQpSA`R:tq葻HS /յAdZoj_2VDS!2@jHٚG r.w:fڣS 'TRj&4-Ⱶv.*Tw&V_nu#$[įV60-:ȹZ 1zXS1V:gweU}oo{i>ɏc猉Yl/)K`ז)bM˶Seje ن-fGz'‹#xr'c7N3 TrzŘ*p7 @vQzm9&NJ?' QRZ^% KLu8I $~T"t aE{31D̹@V24ba=ig: TOm,Ad!3ǀBʔnԻ `{J*jkMgN%t8ӵOx< 'A$~xG$ҁr٣ 1B͸Jk\-գ7yFŐ)HE9Dcx{҂Sڌ2[ UM h}t5ˮI(VTEXY> <)]{}}4C<ӂdCVQ?좳Bd, b|ZІum鉡Oi]#!#$-mB)lm~"̾|-6hUs6L,ѭc1@wJH:9`.&4b,ur&W9u,n (42ag* z$*fv v/3%|(ѝe7cXpago0z{H:U& BOr30ּg?+sT[ \y*_KlCa9Y%M-5$QC7u^JնcQpnj: w(\(.R61/cR!5M"2'& ̤dhdҨ$lՄ.ӄ"ÒkTA z)g c/]u[+6"{s“Fq衒8DAo!5t\w~ݼ%N+k3`:eel 9qD#}r QJrUʾ|vz>}`і1u\/ LJ9hKs+;%h[k㷐,Iii.w0Z7׷ͺ 5 1aH=.gf @{kN1JZ 1vl $%hu,V'QMq]?mmp"Xa'w u(;}Ue㑕^i@K ;FR-E!KF |.d8PL9ڑ2^䡖=mߊH*`}IIW/w cFx:8hА;VQJau3;0gQ d⩫_0_ER*Mvp0,vcn4 f>˦bwA èx̐ijcIT IC8uF9J2`x5Ƌ0z> |wg3Ezr_8^9aEk6`8'E:R\JEIfn̐D  3*Cz"^/|@"yڄ+%4(C9'G*fyDkەŠ̷ɒG""ӛ-"w"6xs# uvѲ+̞Z_Q}[6lKW20-GFOxvpGՔ! ->ι i Q_Z09-Buz#m/U5GwиS.af]\˰ؘ{xld=MyuM;73A83m\Mkjgmn$sؘspWŚ15izXLDȄSuS#lhk?;*nUW;bs0Ք:ݛzk\C[Io_B WS:oL$I XQ)ՙ a89" BSH 2H Q@L 04$UՖd${N=)Ls,$ 1A֩kXٓ҇H(&Zфť=ĦFA1^ S{d8Dd( ǹ0 bӼ&M~!Qھ͊8`uHj?YQGuLcܶrV2XQO/2Kz7Y&`)UI_#ׅzpgУ8\(}ai"9L9ԱBbUU=HmS[ϋ#9`]݋Hfu뚊|)v&`EUQ6^ mcE;䫞T-Lh"a%HJd/4j\Sl,10ZYhLh1̗=L$i֤֬A5h\;%{}\Y eu[ivL=ngĜB bDfBIt#T. Z!g5=D~ [GFCPUzGZ-˸ ( ǩ6y̜?gqWVT2u95 Oa) HHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, \wj"-hse]*ˆt/}KT;k32333e l̉lCr i1EEVkiр4f*doۭBD,Iw0 4"jwj'n>,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1k5uǂq# fUM6)X\ta/b*S?iPZ'z2j? Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/= ͨ#/h 7KdS?nM%-%-x()'D5W_=d7F!ܷo''kƼ8"7N(iFGnrC E$5 xmYh˱c˱rza4CB)&)3N#A +䍳ub1}$z6JH3.{1Ő۔hxNZHxpl,>y8qRy㍠"@ڇ 2P131^ + ŔZ{+tJ FҰ@O@6@!B J9k9yպE*}}K[D&vfL6xTjQ|:pW2:#I3ꍰiAoDX>eOP)bD1H,5.$QḧUFP; FܷMC#~JGia,^G4_+|FD0Sb`0SE10dRyɘ 3cCT&N-$/E"dJ+,~&fTMNES2RCSJ[BNR+B!k\*kNH ُ2,q*AJ)5@n# GH\@J #4$y$wЅ ZP<yrXi8;;/װB4؎Ca*( Ɯ{}j/x~03:@7ܫ_m9X1k5@DJ[.ph Rl5f֍F`vBw(Si;f`k^Q 어rN-oF*WjCiʵjk-|}d ֭<4c  ,\yvgwl4hUbW[XP [!S.@Ac ʋwpqqk& $XJ sk \)\[JmͨER9҇]  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_id596hOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`l#0a{sbxGt[I&h~oaa Y s댲SXZ9"A {)~V(.T m?J)+fV={=g) ۔[K}?ڤVs%x"F1dlOqL$IRQ)] QJdB b!*ED$1ꟳk#z93UޫZ¬d2 @3dk[N==)*ҫTsmW; f ,Dx$d1?cЏ I/anp~u-Q{ݥLze8 xB.$if?Mv11Bpkb}Qf{|LJ_mإg&btUs)FdHtcs9 +%eA t yI(ۿ?bm3D9( |brj=[쐭Su?`UR=tcXA |%Dn|3]:$ і=wA%zaM.z,<>o+b; I]-1ddZw'*bmr-tzɻ`xɢĭO60)bI|X/&C{-3UOA[. Y"?3(ATcӎP}@ d,3c]W)Z$tP-hYIa`hRf;v}.l.~UlE%]xq 80&Քp2҂!~}0Y2yT T:QLɀDY]bg1\qcn@$afDcV f'ֿ҉ B 5|kkv^9ƍknܭ[+a#Ї<P><$ #I dsD+!ATzc}2qh3F x' x˔R7vzZ*0٣Hh!\q0;rNTHo\5HH_?/_@+AHՇVu;P" ʥqotCPAsvvtumfܬ!$xeccE7Ʃ4TaG7cb{];9!djJ&! Sͩ| ;;,фRco9W7nX7I'} xA~y{cvM#Db;Rn뭷3{]cwW`} G*P̊=c jAl|,(gf+Zo9Us{;T](Qk;]̖h@K4k 3?7wgp1Q7#mt[V 0x@jjHjH 5 k )!w)_S>_j(`O鴶m\!qqx%bl^μl`((Si3%#y-歜KHt=a* f9;k+ŤtG^ՖKH8tbV7a7qk1ko4ƌClj,^3ʤs@P0d"B`WDHҝ<6ʕMtD+SVO1wT.bsd_vئ5vm5S0eCw>3%C6faF\C(DF/dۿMCsHPt*3j lwyǡ(?JZ[ {⶞cRīI$Oc:dk8׊ T<BK'\kN0S[啧\ba|tθ5S0e#}l`Cgo">qWNs~;q wfZ-ƺ1`PzN͌[ҖkJ{j{) 01)(#I(̚R+wrX5fIRj1XkE.INIg3}E!7q_.>Y'@[ )Er &{L4Pkra7Ozߡ6լ)X((j_'J1AUSc@E6 .ēi^ 00ec|[}48 E\zf%};Dyhk#)ryC %9R`R)$$cɔصNYfߢf``G5.w.ҽ_ƃ_?\ٓP<(2>50pR([g~ {sR]vK)@1W)hf?D1u>=?W4WX(l+VĒJ~A_?v;m9ț&8̓5&X.S3'x8ގmIE>`|ڡzAUkjcQ T)0*3waپ\0t뢙EVFZ\Kҿ1x"$e0z38-z{s*&{Gg5b F:5(}S&U{6DY`Kw3 0Bn{v4Jqa6EP; Tr:9A; b 9HkSa>J 2JzvLJPd M4b xag8 1$,cRmGŜT X>cZjAsVv4aG%V6>i($>zb{ѣ@Y#4N.><1Jƣ2'9$k<ƾ,QrKs!CquVR`hCMv9h[\eV¨! 1&BbqX|Lc-/n:a '~K> @@i7 &^ـKWc辱`;7ޟ,kz]aS6P,S&߯Ec4c6sL }Mk u_<1a 5iR@M̬.>jK#CCϖJCZr0^g 9"޵h..:`p~hW(m' W Br ˕u`&4AJ""E/ !q 91[5a!Ѝ@-@gry y@g>$9nG0$!yPIWǸWUP]p|ts.ۋn @™tt:>ҳ N܃x'O [ĞBHhgn,YͼҐohGR_1gq"QIDmU;Y7fe1ߧde$Ne l%c*劖pJ \4"GsF3H6=a] ]\BB.Ua)441ngLz]B$3d>@";>`вfWa{y+'FRe&Um W)d;M vm"ѶNl:E\k c!u{@tS!Fd_Òg?nD*>)bƾ$_rV'ʾ}?DѰF ;͓!^(1FW3P +|sCsK: {Ob@t`qҵq:L/Co:0:D.?ʺA}^Hվ#E; &~\\~d) %,OM SN 59GQ.mFWQD6a!F8 2?~>֣uM^ &k ؃N=oz8FAP+@9j<,t4){xK=Ï|/J;:'gIorC2'%-j#A *-=\TNcr`48f')i?\@ѶD7Zl\e` m}ACngtۙP^`+cW*ٞ;Nu/fVk+/=EQC`iNoBIQe v2X6 X߃:|6򑯺hѓe]#|hfmV GV)Z[|:)}10 CH5idi=ylrAN=o@kq 2[>DDxH$CDg#\Qr850Uh @#+$:p֮waYs]"@ n$86xASWV3=W Mu=(gkrd3\|hz섂xZoo&o9{')3~J S4+rZA]>p*/M]ȅK Qo4\kR99tn)v> &#f1lAr+$\n x4 T^tzd *WV% .9&psQ\\uRKst:d :|Qc\C(&|[fznïQu*}{2N`Iy,eǣ۞?p )HE˟u𮽞M eq'22͹Z>s*(VaP L9dIY"< рz}Uc9ATߴ">#9+’ [1[\&C*@#}I.L.ۗ#J R<5KE?n?LFxϐ̳QW [7*=WE\(%tXR}L크%7g4CoX/tQQQ!՘@qt*lgf(OH.Λmmr _fԇ[vUC$f6?}n|bh p ~ ?LcR3}~ @xU_k (` :AbnbM],^YȂ7`zu$ˆA-:A.gZg&\ ͺn l>1BzpA1K7G4Q u`#~31GCتi=ElO;-gpMC-ui5$pR id-FL6J!K4[2Sr;豄$}AS{,::P0D7Hыxjp;,˱Ҵ^j,D* x.tsV p`P+k\qj'_;H:0N-. f8D,?&e,Ύ^q =a(д'8ڈJH 0^dq>ke(I9gq,+ Y\tIz(A=!sb"IJ5[^U񐇋 N A Qv`_,O$w8N6'(xF`%<,yvo 򐶦4A\ A{S'&U(aI}' Xoa Dp#^f''aBGjԧj;[MK($,1jo%B:?b3@iG&(.ҐU ș ɌoڻП~޼"iKIpBЖ]A&(9ɺ)(PI%z9_~N6v ð|a͠A#a ,h4,]'InH}me,d$p >o!{#Jeѐ` D?XV;,="rA`*w4d hJp\p^DwdT!Wx: V7@3ǷQ.)7Sw4ROowpkk*V|%;1KIkz㕵T6$7rBx|D_|S Ue+Lc1f}{jەU Gaҍ"קaySBeqBRU–ʱp׺S@g.t nU>s$!-,Kgj$m2mPߔ {@@w);bJ( ʇ(*'|^, ܛ`4jҍYoqdMj]I2LLK*]HQAN 6EH3 TzqiukTy3C:Dyz:"3Ґ5`PZoOZL:Z\6(@l$vb8PbrʪʒrgJMnghCQV]8)[!0E\MzOrfy x&OdqC&Z F"XM,Ĕ@$/T[ٌl.#A>tkxz)q1/=u{^gf[%hDLnZ)+ܹu1^!9.} 4r˛kf5D dNw80;#ŀc , :(p޴dVtծV F`uz5?W4ͩ]e/2bFHl8zs3?@]DvN"jp|=N9M+rnh:@ljQ$=b A{VC2E~K qjZpn>0T:s%^ H* a,zړ V `7ymf$7睿djF.j(Z\8L~'(~@^LGEJ 0lIK(p`8a)H5ym(ݼn#BV ;1kH)^3 6PZg&l<=Ηp `-Dž a8~^!BuS64B4f,tCTiQŤ0JzR 95SSn$<$ByvDЄB'jyZUu7{$E"z]f}G2\yU P`*fڋDVpXn4:MedМQ@UaQ5FA䰻.%uyWf1b2 gJհqaA 'ԐB&!_`!9K.$!pU6I|-vr"J}4NԸzIh8BLRߠm[5(άn|5t w#Fʐ*a]Q?$|5i6M&Ф;֟j#ЦM9 X?L馍E&*(5j#tiG" whi..IJ d:1P7G (/=D E !P%u^|v0M# #Z\#SFFbqJhi1n&PƇ 6xhV pnau@ fQ"' %ُ/b3~2vPt :Q?Xihf1Hi/lSh7*U^Wy+טo #}|Lv @ziD/g~J/)/0̣9Oe>w==HǞf]O/8+ljI (ph inOQB ?l+߀+)3sUgfc_ ɥ7PH߉&5)HiQB!ipZ(ZkwPMQ #)PeޓU"Ն1U+mxvb(0fkb3/܌QD-g^dԫgMAknVl7Sm!Nbp҈ʽ:~TW.bYAUǃk!sH:6ZPLP^^=?Od_("tx7y("|kR -a{OrE#iF(%4oNT&V灓U8R6Ed"H /*d0HCΈ%E=H]JzHш`D$]p3Ir`t8K7edhyK@$dIz)gJ[?ukwj@37WW͕U_mXcjM[ֈD9h F 2յ-ݬ1RŚE69b)U޶U74˼zz#{dCKBe#IR4HP( q\28@ ` @0  0Tm)Pjgfzsk"U؏ ˃c B5QXS#t}ǑKQ  b:UT~Fo$&{}JEꪞUnw KLT~y˨MiHcAN\ BW ۾ hI]Ps4 ѭBoPdbCׅBŧvjxaL7zDn:@ h/)]xأ9 f- |r)Sf;k W DY=)4P<pqfz%jߐ۳xKN"R5Lj9b~Ӛ#.T#`a%ym3LeG:{`1jA[1.qm%nyqRg/ST^&ZjB÷%$)3O\ )EX 9i[l"N2<6Alwlҁ@gb](ZD$19ڶ!\z~ \;L¼)ᨀ'z~$^fE`vNԸ+>QiH:+Cn0QHf+s;!ҋk8Ѻ7Gk Jn/=h;[NPᯟejžLEUf "Z x#i!{D-֗{8~gb,{ފTR.WedE6xrxm<4"]i_qO#3AjNJa,8gfؼ$H|IKJ-@|~-?LCC8aP37X;5ڜH3`"mtPz4.s sd,I_a%fsp`AQw#sPF^4L< LrMD(ܣ)󓯹Vq+.wJ<! qUM׵ιT0J=tn]b"}Be\֡ugDcj VBVSq ͟(*G+nmZdrd;vtbBYa?swul7%HH]adݤ#"٪B&px=&d,Nӿ[ν?{< ",^Vk`r>C-ɫ 7E8˛0c7եQJ牑e8@zؒ鬕}5`9,Lx 2S>ee-C{A"X2!N4M}`pY9(6f,ӡY)ϰ](r&h8Zyamr$.@'ܛ6gDv3TT:ˡ%2rqD?uRAEmns)u$k< !;a>Ew+ d_1be(q`L|C/!s{fTE]2J"xܛ:W MG6q]3^\wgԢ"{*=agkD2|f`nB"H )킌aɹEu˜q-kT;*Аm =,G(' 7niM3Z P$jm.t#e;X9OCw="BodeAgÀ.<.kQ&&\^$XGPu˓*T7s?7I TB~[ܭj*@2D! E@ H„M9%9^)ε+u -ȩ ڬLt]1.M0 fbNC)4ɭfN'{YLO4BŞVci>L8zEDu$2+ i@$֯1`bAI D\ -(E|vR(IJzwg@jC]3mEPosr?S, b}3#ȐeziO[xX1'H/DACN|~8 K1 l# pE^vWC",`CWҢˠx+"rģ;{cMeZHLjđc4j>mQWk=CN)0߿s+ ku|`f TH0Kn5m O@ DžG5S*v mIJ jɀ҅*(27"EvNy=x_%3gG]M=C:O.&ikI"eeBii)tĭ(F2v=ӈ zA &vAˠ&c>npgˌ8-)`z!6 nMXc˥U~pqTd> y$G/]X_1 1 =T|H$}U^˟;#I#mcѣtFjM%@cv+-(8puD%N/=7EDn~-Z4bn҅EQԿ B.= 98Qujdx3 ^Q?X, ;ƚo#4 :Gֺ.yD ~hE뽔G8PH3EDIhpE?z(\>֞CYH59L151#BOH69`l=q;Od@aD &BxhmiUA|NhY|dE:Q>QڎPvl})|{*f{Bi:E}OsAX랃E5*2F;XaMȗ6腂"P4AK홊1|_)(w <|^KJp՘̱Rir׭#+.e -g1e_Ϟ!9Zl3B# M[G,o4Ñ:YVF 1QS¥2JDAqZݺ9΅4j1y˔O2Ȉ^e~Y|GꅉV7tSiHnpɩ*7?b)O 6Aqw.X2]q!b4P=VNbb@۶,m ?ɐu%E1J@ nuUKӜ+/:&^&0#$[LFU(Iq}X:@G]T:[t8&g:-N\oǤ;d )M F*Gi ')t1\eEȜ.:_<xt#Pi3D.tTYXrM½f.'c?"հlH`p €?yj-4~nXqF/ӽw"}NYI"@kA4Ȣ?`JƼ?@AOQ82Ѕu[bT-aDΉ(ߢ 0a<rN]vr2uS67"j` 9Q;i4qx3>Xu5ײ&XWuePi GxV<y}ЗzC_ !BI:DaÑD,=?&FG`0IQqVLqϨꞦ1b[4X(OTiL)姠ۓE! Xr A PEaM@`( @ (B!" " D@!L;UjPQCƁtv]y-1 #uYZQ~ds|j:ZXliɶgTU1jF8N xj{|P/uxlUwD`H"O%Ԑ>Fft\PȫU% KǟbFzi(dP3cY>KC+U|d.{uH KDSjk3k阒a;C8J @wW/a#o6?w|bت4 G$kqJpFfN5 Q 3$ d)Ko"c2x (=/ƭ[9͗)!T+ b_Šg3Q!Z|5ɦ %'4ij0V~Eaw2Yw3Dv9d!.1p^{eGPԉ wBJ*gL#jx_Z0i*gt&R!_gs$J}6Jnd?ȉH| 3S %gil_3gmbCw82$(n"7ESLu dfAֻo@̣";JE㤤2<<4݋ ASJ)PŒRǵ؄Jae]+ 5(!ab f1M1 ^ϦYn򊝎V#U3SPo?̼7֗h^Rf±ko|7{2&v6.ׂ`=6+}%͂Yځ9@ċY r b`Ӎ|Hl$DQ^%ԌR<N]9VFQb3z }@&ª rM,KhWn|B$)")(~4ő{/ {8%lIMP~1m)XhĖL'R,bJѦ@m$facP~3Ox'aHt/*yIKȦ;jV"ƒHlzL1laxςc/Q:zVݴӟti%ݑf =lqsLغ񀖠h !46bl r61ڨ>\S4MRAgh C4dV|*ZH:j WH'}8e1WTvU3=QFq=#+)iyCV$_wsLf2Yz{Bd:,Юl8‡$r[{ƒO RuԔjjw#³2 Y:<|MW8(nrhp[<ǏIG#oN6oڃSo "kFXX[-S5Ȳ+UsA{tKRRR2qq1=|#,Dw'0"/~喩cU V3Bꎃ24)&6,O" dT CR ^#bE7GGE6"eO#9߸GV!ҍo\ "xz?8(:GLWXP*6I'_ފzr28;\5w"ui 룮9"[n@\\4b gE<@,䜰8:@^fF0 -1./A`OWZI8>8Fut!!Mmwc[Ǣt=X5BcQ $fI=FT·RP]c$DSu Fߞi޺(Fŝ&#`ͷteΉ#3ܧ-V\LWcHM~E`: NܜV1Z"U_=.ϿIӆUm22