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  * *SOp`R ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.634cpu=3.951gc=0.000(/`HPeT`$C`LtͪGU d:"l h` I4zXr&[?5Ng;/YΥR0P4I0g% ys?vIs AcJ8:@6"!*(/ _pkszMW,\j*}EQ Z/~1UZ:g}tjrd[(` (mN(/` &L @k OO[KD2sc`@KG@i ؖ4A "4x-&O-,6ƣxK9-Ds "<9L{6PU x:[\DٹA"d69-#^.(˞==E^Ħ4 Ә{X ̛'ɦs'nU3VJ&W[h x?0@(A+ǜHEکꝨU5_5=տW5'jº7S.nܤ873pa2LII0 h MB$2BCH$3H  '{5Y;*z wfDR`uG^xR0 Wd9E|n'ՕBW \)\#d kWJ|ŷr' ϱf4bp8m\}r bPG;hW:MMVsTOݑ8&l~HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b} &m"0mRr۟0cB<.R jr4ҥypc`a sPd9,pΣHv_LsÄ]1Dq4-`0 0ik>`aPhz+݋|-U+WZUWa4;]&nNNr]kbhkx7}ڋBHHTL$I Xa!  a89 " BSH$"D̆GS_`궨ͬWщ,Nbwc9MidN :r$*>|2$)_H-d"ނFo?\bHXnK$zXkaT_ g)o/x7L (8s IFBgh "fYRw9Ae&8" Z*TVDFڦ1uM0&6 'CIƊV¬cWq/PV~,ck+ޡw-^myȩ-\~tV(OFK`a:4# =sL4r&&( (Q@MԷɾHF3 I\f2kvKD@POB&$jQx~ӮI lT^ ,X$ws?- kGsNQT iE)Xg6+9*.i0 Ay]Tt'd+>M W[B&iZfn׵,\L5ЃTٰ; tb ^U啌8+ğC  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]\˰ؘHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b} &m"0mRr۟0cB<.R jr4ҥypc`a sPd9,pΣHv_LsÄ]1Dq4-`0 0ik>`aPhz+݋|-U+WZUWa4;]&nNNr]kbhkx7}ڋBHHTL$I Xa!  a89 " BSH$"D̆GS_`궨ͬWщ,Nbwc9MidN :r$*>|2$)_H-d"ނFo?\bHXnK$zXkaT_ g)o/x7L (8s IFBgh "fYRw9Ae&8" Z*TVDFڦ1uM0&6 'CIƊV¬cWq/PV~,ck+ޡw-^myȩ-\~tV(OFK`a:4# =sL4r&&( (Q@MԷɾHF3 I\f2kvKD@POB&$jQx~ӮI lT^ ,X$ws?- kGsNQT iE)Xg6+9*.i0 Ay]Tt'd+>M W[B&iZfn׵,\L5ЃTٰ; tb ^U啌8+ğC  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,%1kzJOJÒ0J#NGql0F{/ih"V@Ę7A\tAbp!e]0#=l>u!;>fޛU͙rTކ=Bq̊\LE/un4ѨU Oa# xHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=j̠#/h 7KdS?nM%-%-x()'D4# ۷kuOC'4ntntֺUsȅxzHƂ-kՂ5ЖcǖcsL޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{c!))Ѡўև"{5wkpȇXOeOP)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Ѕ@+Vr0tpU֎Ca*( zy5־l5[a{cU3 Lxnlk_;L9Ŋs -Ă8=V~l)n0׺^w _ΙJ[1clf">JC9QַZ"UGi!P \b-_Y!u[?̙?c``ABϳ;{hʇ-ѪSŘ=oj] 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_id596lOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`fl#0a{sbI&: MfsPPro`_ a s%#WOas D@$U`{&J$ i  `i/)OS^9A@Ã$*S'W.Ӑ,0"߸ǀP|^.O껐Bkx8іgEܹQ-i3kBǞab{C)TH0EkvzCkoATͫx;}:[xa+Hw}ϥ鹙1vϴiS|Țo {kf.^ 0sy 9eFHgA9֚IbTT8fz+ܭjū9LQteܜR!^֦,=moR"R=<5L$IRQ) a01" BcH$#쯳+k#z)^DZ ((ysdAkB!ppaFMrٽ\FZ00įFҰ6:PF>o Jg3)P(+Kj1Zycn@$afDcV {_Dd L>ܹ}5TgFZwkðPaCq (rw^q F׆$_fM Z! C$C5O;AA$)+oY H5t8Zc!8Qa*wEzson {q+^n9 wPЊU3;9P" ʥqotCPAsvf fo;݌17CHHk:f̗k8Ʃ4Tq6:nsv{O+vlh~cLB1^wc>C|ܝ{hByg)ƌ-vNi卹bI'} x缛ݻ57uGE)7[ٹk[]U.[J5|1jfKCŁ=1S6/g^`7P'yݞJ)[l1WS0Lθs*ŤtG^v.!a/E=s]:g\Ҍ)2׏*mkY c PG6Opw7{$_9e9Nxas;p3TsCcT鸹Ku+ƽZfI6FIGa Zɸs̮-<)ȪY5OVc8p Wz$' Y3љ"Bҍ8QL/kE -ܔ"[|RCvtCphRcq{)mS͚rX((n; RLP)ǎ]c@E6󨴳)$Z 00 est}88TdT0pX a1 Q11D=Kٝf,`rHmn6r?~5`b+IDw0sd,/lOCdFImZkN:"o{r TdQwP^h#ID$c{CNYf*\KaF H2wi.̞.P"-̃D/֢(@Y8H> z*D{˞Eʲ^4!+@-Qwݳ3JaTCQw4 d1J1^N0T0Mj'uMŗ)R5 uGm4E. T|v $wzy5!ac1V Nanړʴ%7 t#|EE[//Pnݥgh0 `#8iH 'ҁor}[538lN `tUɦPTK mx9n1m4sBy+=1E,Ȋ V72)fӧo_T `FǢ5KUl#_ N<f,5mBlſʧ$b;m#&쌣TNz1:AT (Ycre'r_$2 JA?heoSºQH]N+OS^YIj|Nd: BD;'v2!Dk:{%iJ ! IH,-U: |)S+E-P1"sK7갟e,[!K !iJ>+u"'ը^|uGCs.h.8V\yGyyE2uR N/^'AWo G1/۸0uk <'ҠpC}L(P4<JkQ,Kgܠ>48\_=,7~Mew>` |]d# `, !-]ʜ RQQ8 Y"~}nts=c`A,꿭@1m!LKj=^#VzXpOEYHG0djUQCCz>VVJ?M.*'܋ҁ uɻDW.E-F&~r]:u#^>Uj6'gSBZG#[.tJ.01p84 ?蕴#D2 z* Gu t:^ =ru H:q}MM%ozpPZ5 whzX0@m:uW4 E>l`/&Ā/&bx28AJfwd&/L[a-5P.zQX*I հzxsa'elh8?^kdsB1<)]z`pz%AٕWzfp1Fc)*5X7n&4;qw)]V=sLjF5xN`4J x-<.Bl@kqIT2\A }P/Ox8AFE5Mk$j)Kl:O# Y׫V#=^[R>edJG+%},{%k.D,cҋs[ݏ .Յ/f]%l/ki (_lۘ'#bHgM%F{ ^Bir-)( xʎ?k~)^9/@zR5k O7-3HٷjFiRUʜ07ċHsIMiP*\U&$Hx88hFycL`o'=`K*vAGw O2K,07v4x"BA 6¤Nw >0KE?cq&J5M~;.kMEey+SYX@sT)?B&gϡ8!Ё{p"i 3eS_ ]dӲwRBTDAK@tJ]F9q-me%I8tD̐s MDG&F91bH(p yL+f"fzV9+?_k .D #Y 0?S4 ,,^&ZSEO#Ȱ8CBی~\譿Re`(ПfOT"fȞ`OË!<ׁG;U ؼ% D1j]C˭$|LU.TzuJVC+1biB+tQ~6Q6ښ}58ji|Nُ=@B.KRRB (>%VW2Z_maŲ&|}v$Ҍ#H:!@' ?^:N1Z`NxSN62KSf Ym ͥIV_*?ى2;C6^>⏅ci#|gYNH&ȒNi8l_BP ɘ0-V[K/@sIݭ$~+ƫ[T1$Kr <>ځOiGuZnٛBxgcy{E @pa:BāuaA)c!ד#Y\b a[u#L8O-G} sAN)}DfT5|v%kgI"[X:4*Ð KV0<4d/  !.k# 薉[@Ljzk]j &rۥ% `up j]Ц 7#OHH-)"$/ZV/j#Z#-癶)ZOcMK[1F yQtKs%y++OJ)6p'sWH֠{oUui}BU2Nhi)I@rmh9І Y0r P|a ^J3_H. .$'YS88R?s fqMd"B T!/xjwZ{HÉWi:sGqÀ)ySRY 6ԧMGC5$[*ŊN*2̗;n&[*{|/rat (r" 4ܿy3Q~Nj@MuŒ ke{5U a` 81:#vAQ:އrMv̩Y x:NęsLvMAKA}`W*x:׀R,1fAe_r@+ .&S( Vm&1eeuMHМVtaހqG1KYaywHbطtNӒmHJ}cHX <k`B@:pBd_Jr{hyO'q2#)S/y עhkOD­?]h}=|yX=FWz=^OkDt00'wYdIM=z4q@u]=ӫ{rt}#Pޥe<ހv#U+uXW[lQ˂FbY+S# ׇ2ҟ;'4?@.\Z2!)3B)8BH9F?~c k-얄&;;(B"'![AQ72.Ƹ4pWż4> 'uc󍏠z>Vf]AF dc)2u`[MnX*yhj*N,*{t8cހC`Eݡ2r|2{#Kr>~QkM< (c1hˆF 2,n1ҌYȪ;~ .Wgƿ@Iȸ&YśM[xQ:773"H\km+jJeu|}a*NjH@3S -:TCc&Ȯھ3.2G/8uvmӰgZ"܌)<l\ߵ^e.f}} ^+n3L_IrXL15i$YZGBmϳFTiY:MFUUFr^}Fu-D!ԭs+u#IR4HP( rX@C!rHBQ$P0  0!(Uv)*!i;wH&;<-#t9*附XP֔{pq~l.\ᘱ:0Vш8V>hHnp=͟Q:;$&-d#m%;%H?2~i5M WEЅ*z/5r3ʀ 1BtSنO]XF/n]\@O;"xL|J+5g~ĀD!EvIr+N͎}Qpؿ]#[V4yS +d;6s\DYP)/F#lǬEZW8r{؏k.vY_ [Z38T"v>G&&)X:jt[^#>f4!K$A᧋1 @[,K6qw R~뺆kb wD 1Л(qlP#0xgb//zp+H:8f[#́cmmy=?!LåR2͢XQemXگ@/et#G7vPkAↂ>67yܱCEL`rmVq-;0q:ʼn XaDbF") O Cӑ ݝC3q}w\dO5"B ø+1 SrOGi"V43̆)>ΰi5:NqR/Ǘs $5kv Q-"d{*o%P\lV+ L>h=o\La_xpx9"]Ğs%p^VY7^\W6@yDZcAt19ɵl.#n>F0VAH$Z$u#?6l0ҋI K9Ux\`ZQM4rӑ`͙"s ZT3ǯD!^$#^/x aT⨼cAE5 ˙Y~m_dV`1f/,.Z@u ݬFԺ}a͛$&l9n{;(nSc's$5=x: !~Xk="G8G^=j(+>Q&ƀK3C*paGP.yf'!0@B U1GdPu?Esф]D _`7)oA"MF/݀KIhVhA[Ց`A.da0"k$ڗ,t/*~jikuC&e"MvRXw.\sG P<!DH4kgh\4kr +Iwu`=Z$ y2/~Tf&sEРF?.˴ml;'Fi" xd1ڱx@;}6(M^%6bN"a8%nɼD*rXHF`E)gxw#QF} G9ѐ"$ʊN[&K.s]ģ@d4zׇS.nOخ@p70? eN+<P/[ɠPdXzk݃e9[2M(sH]+:1״e$@%=6~UeZjlӪR#Η2`qPDc刃EUވ 6W+ th12{!Ob*FPx'3-Le_Z'iŭRzP^;*D6)!$gGG"eu51a, ¢3VRsP:679(K-@(hq#o.Ҕ(BFIqfF䨬Jt ((_ȫ:p^>Nb9ԠxGM'qJB'9-FDgM&O\}6I]ƸE-z}`4KҼ wB!WGbU!"VE,}7ԫUdNF;VaX Mʩno!~腅Q rI h{Rw ڨk)Y[͵;p?Eqie RuKax]%V\6cݛ#$9Zzʎ04m)S{*V+4#҇z- ҀnZWW*Z-YZ%M23̡1/m>rqiA襬"bE {f90: f?o覥!)!ʕ^FD?ڠcX]'K v%]wɞ3O *trn=VR^% Km4qҽ [5RݤUΐz!i8E oԶ@>ja 9U<0YjƻYf4[Y H$Rռ3jg0 }o0pm|77栜ġ+X-U;S#'"KO#=HpΊw8gL5g8k"Hؑ厲5F#=^bckM8I ӄXZ jܜ_8DѦvT 04a>poT{ϭ9?w'N?LG#0kin`\7-ҷWu5y=;@I!,(ڢ8°h(Y\Ԅjo.1-&a<&j"T)%RZ(X NqWu܀dlFu?4VPy뇩5 4*Ui =7} A^#P <ς4h<Hy zZn=J`bLY++EM e &V"gUnB1D^IqMA!0$ިҕXr a PiL@`( RqPB!" BB"UPK8 c-jWa4a-&܉kS\|AKuNEpV]'Ggp5c ݰ@A%)& 9%L.jXͧŹ^IU§r2 =RmlMW2DͲ/Yڐ?8*I羦vEDTς=y6B>Q\3E(پ2hIzǶLMa$UW/O njrSC^n*K}2Bʶ͂O:l#Z\W#+YK5ۑu&_֡\P<_Oh#:;+{棎 %Z|9ƦT%ANJh+88Cj}Xqw_@[e¼[H/{ADFKGNgkB-M$8:N8DtC8C\Oar hUzb +]imrT0v)/X֫t,J#AJygXH&}5Kx-/sBfΆؓ{ڕ`Z %9aQd崄;Al]F {k]˲ےvv|PB啒;-l_"U+A= +BP}VN..MۭkKt~m S@|!5њ LMū"K @gmb!λ1#jnfDG\\8"pG 3yH \CAދwW0Xrc63$ r"o03P.% =a 0p骳yh>\]ߩX1 1 F74I$ljJ77Ľ;,H%ZͼSYo mD+~kKhT5 0` x~36%͂f"'H J bu= #owI.׌"匾uS=Xxq_Hܳ$0œ{BEcV(' NxIP{l>'~afӆAgc=1DiXh  ?`z5M9i.6v86.ݯIӋJ PRN$-l:`j#PL6g#ٟc="KGy#,~P:"`pyo _$G>$.XpQDdٍBE) 2&sޏ/~0 `NXR:8D#7Ҙ᥆7u 5þ-Hm73m5L᨞RO㸞^eCU ,q9D>[=ZVکoUD@y=%#>A^ 5Fï+~IF홁o7v$WS,U-狘OCKz\?7aL^ MlAsh5 ^uIU[S6_HӰz$A1TJָL_@L/#:Hts6r @ܐyVk{o2lA@ )&>aqT$NXr9ekbT/q1-{tqY)0x~v1:x_=<>U N\y U? DdeRaA#Kz_:U&SaPx^buw_zt,ZDֺ\pؒE]8c`FxNc."E#_QXJ(u"@Ax*oi;3c\>B`^.DqAZeB~; 8cK(ҭ}VꊕC[48fsZZOC9y( lrlԼB1* 6"9YewS'dHՊ­#߰OS`!2 CkK/@=c3Q8y8)npN_^BV6F#[6298