SQLite format 3@  .S`  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  [OpD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.822cpu=3.812gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pcH.-ZK1]lxH;5ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.861cpu=1.701gc=0.0001&2ow_,}YZ7zXZִF! M]ŗXi%=z1 %o oI+$Y/E5m@% *XO)O6֦IuҠL/ldZLO<PWb>I*O QAp[ުd[c kydЬQY%?5B~JTA5@hK nt6$+ n2߳n@(&׆iLL 5/͉<1YPiM@ V*;6^#G2uZuQe]On|f4rMno 7n*2fK E[x_ Q$]Y0i{jGL3Fe Zƥgl8N#6>6xӢ\/މEXWO"qIzRL #]+=饩*PՑ;#qȣ܀ZaO x8iw!mݻcSL(ogi#IpG<1=^7*QGo%0a6d'k|ENn ':0* .jf{&eD#G=nJ--3HgYZ6f7aaf673a72f321c87c3ae51a5a42afed913c953fcd7511ab327c5a89ade2e9942291174e9003ad fb51139a56e053f2570dbe1d300fd77c6cd870a2 2f216c5e5bd4a473ff272a47b524606d22e2cd36 5c60a918d1a96331240b9022725d9a77f1035445 3403d4405ed213af45ef8223f77a2f0a6d234105 $O HOL-Nonstandard_Analysis-Examples4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! T]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-(O< YJ,JuicS|xdɄ%b?qu 89mu?@"sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B9p]?g/]V6vEnGWL,I,lb@Oq8ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Ana   D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   ku(s4EIuS.PN:I88vb4d/*ĴFM6>wՔ>~6#ԛupȍ~Ke;Ytm>6=wCb2×Y)r"('9Q҆ wB9c6N%6OҎi(.U4kgFΒii)+|{ qP+ϯwcK@ Oϯ -fϳjNAJksϱ~xaRfʲ-pxҤiyËE"=߿>jvFm^hn4`$,.UlYY]u~{V%X]bCuX`~  E+&ZǍ{^5w%:4GLbXWR*~ñ{οZMuVeFо~ʼm4]6U^W&oGf݆PW(. #H8;8с+Jm[>)^9(5&e=7OD #q Aw88CiY=?d}DNɠ)a*kIe.26s 8;菆I$s+UG(3)I]5kBjY{H4?vRHAPLzO H\)"u[ޢ6_ ugNҿe/;])èZrI z1)Ō.IHN&u{L|'G*ʠ`ZԔ&Ha :\?pwE X|n5E]i=-a Qp(eէ,Y"%o2Ip--vOAJ@[(dfn냕_K}t9K8h~w9WAȰ^.”9N{aSJ<8G:9 }ú:67_T szcu 5M#tsfM d.LQ`bHQr<x>E_@ .xԶkwXK Up^*mM{ k3K`2\P=ʡ(!Oy6J>9iسYk–.3 =< 4+]z&}vG }ќ HvUMkN-P3kϒx Wu鹃t]A/\\Ri nY(0Ft7|x9ٵEL67,fn3EɂNVчn]vյtvwdo`7c5EV{͖BJq[l|P)ٜ8cl¥x Dd` mbYy|hD,>&,0C"6p2e4y7#IJ-!g^iLD(hyh$\DfM;꯻-(1LӃtZƸ)z%B5.!Aw`-,?Uk4w 0HƎ*5 ψ] Ǿ|mJF᙭_E^@M`0ܕK]ƥ8({x/@4YĶ?90\ڣm I޾4)*ZTZp,X&)RkzH25z.Qf*3r&&Szq% xuk=OjS lbz:þw@?o7xz6x*.s-e - ;P6ru;o8n4Rć߹:~+')S+dh9y {@ T50^Ϊc5ȝ=l吀< M}",kWWB4PQxٸ{E)~&ow!,X!7GLHiS&e[oװ7Q]]JG5|mƲ+V*}5g à`TAO70,$vN曔hX퀚I׈wcCpW:.KNUd|.%f.6xYdO ŗN>YR/2FN6\w"&/^}ryps_e KDn9YH8?Xч$b2a)->U,0ft|O71Iqޘw٢x_s hRʠ-bףg8'@=D}xU}B7!gPE@VLyYG:ܶ߯F.z1EK|õ>028>P|gN&p /*B=*ԇx[~f?Z:4r$1i܀ju8"&njj`C̭a,VϺIrIgz}KphMnpܚ|I\є/ǣWUepvWZ֗*_-Gi[WGp[;2ĖK`'eL?}2&^>Ai <UTi|!៊Y":nz g$?|[қ c` .o ;*qn?(6U6舂.o )?UL~ccon NE!<?5..|nwOQ͢Q4koPՖ & t`m3)UZ¢Wy򺗁aoJl2f1Ԍ8#&]L SA.bEOpg\r`^jV7+ Ho~2,%ԫ(< PV;|zZpLo Tl:lKm"'g@THaP'I&x7*^*YtpC5J1wzqIEWs`RwX DyO*) ~Z֘?t;=be(^}X\moU1wxզ4DxJ:+1 #VT->sD $RInYq|I&QbqE_Ff ]j@Xx R]_qFzp<!$0(ا)Xf]8BG+%;f 9~fKD~{)<#^}[]^aqFS;O_A`֡ Gv]6ڷ&,Yt +krɹ` ߉@l3Jboai9e0FٍtI.c#K67A.v:K t喂/5 8Q6+W1%x-"-[q{o\=%W:ŀYRğoӁV4mp2%Fޕ(CU\v^É@knC6: 4'|G ~AS i A7_\'f. c.nU.͝cm~ *iw!P*.졭v>{?y3^KӤ4'\Q:̣-_"i*o$|~-O9J On$ }Aō_^>̣\)H5&q]w28MdS|)"(\X+;s*m *Hͳ-e=lQ;(54~MHYѽu [ˤ|*dIAwODI@T23&uA;{!$uPzJd[3fUímv}vޑVL1~}/ۑvv@r\ Vz+jD펌`;zycfͲ4K#YѮ- )^O^ `_ƅ1&R[Fȭ/Ȼ p[M/E7ÔŒ.GHbh+c~Ub2pBLu+K"׳g**{HU22ƁsSV̷x>WA G& yu{}Y吳0cSl_sf|_!熲NwoҜfVVуb I65&q8`epgl[A(Jt:w5 L Q_ t@dW?/TD] BxM/M9%͏Ayj%Kf{FR7Շ`TJVd4.-?|*:A6 j;~&3kƭvwgc'>7 Yf!3FR/ s~ .!M0l'cVyp&FjPZKLXh5Յq[)$F. Ok{+jAT9NS?/Ƹ?ޱ7E_]UWIR2k;<Xo^g`o G }oUE5G0[Ce ;_ӖB>cz8+}jXŦ1Tq#(z(oaq"]Hda7ߖ oI:].i\n2G?I8UsS jvɉJ#b!\/TS]՞A$ra lEKI@ a[ޤ #`*D4HYV>:.H/R<-AN/-Viک@צէb2ñPj6K Dnm% JBCx I ]XX`IA,d)AS73^+KiY`t2 [m!HMv:<=e~B@Й(@ts1 萇Ԓ%̵ތeZ25en~$=U]2`tB/~s|[`, O}#?q/Ab,# ZK3)G-KP&'v:& ml$DvۨxL/l 0n3]֊R&e<1|* +_s|VHs.ZI͗c-O H ~X-p{ ш1Wы)U՝xOة6Ee'K 1ڭx]bI1ȷUA>&bNr;%HvebFzdAULځ:c5NtluA\wN:`Dn+bK|G׍5p(F6xIH*a?sG=R6(YG1ݒYH rZ^8n;U!a/CC%!4>),p'Wg;n|(8.g$?=.9^ (H )<!<^2+%V]˯g=,`ˀ G)Fk5y(/ b0DU]`/ jW&.)tk:.2g |{'UOH޳wGo> pͧ*~@?4VGT$4 v]ZBrnEhPeC-Jա`wnhwIX> 7D>Q5 '."Kb|ݸyL:uë3>g{>,kV'bǐUީ\З@82[ 1fR}~fHK{a+?!Tg,r;}nYU^v4l1^I+yqCvLgzߛgh%^ Kti:.5<塣4=L@AŇm4=J4Ԫ %>O($_k:?u~nΉgK^/J5`O X, dSeoZؿC6%7{,g%vu zp$ /(Owg٪9(Dcɫxʡ3ɜ2o FF)iz3\ᪿ о"C,nX (qA3#rfʳd'({ix4Xি7 %A N7I0cKXeٳ~FTdPmIΊpx7&oĩmːE8JݘRBizt5~VV8pZ(Rz?]c_/ h ! IEPD- WP7XqƧV zhk^FG^Z{d XHT֜7jޣy,Oĕı6EXBF; s#F}4tJbك*ًRn[wF! >K.ب?TVNEm+Qn{L3cs:zmgStrT,<(HK;XtR6cKI1SmcG*l8q&+¾-h; VnEp )tRWLx|uC?!ۑ-˅]XF, %sXaJDNuL4%lb!`QrACH y|OMҸb"Sw@b OT MT+]O%<$,O/:hLc+LD =S ,-~_{9„(%KN:a! K6,JbUMzL+)*FyFx_o$%/)ǜQQ 8|ZS[v?Gf&.FZt Bһ2<$x};,@XkBQ򧗭.סsgPqbM3?7Z6FVR̯iIzbu\$aL=v6 X %fAc;((*)-l鮙h qL7'rAJKZ7XO O )K=pz$#Q 4/͋63=|ef WEG|NҿhJ퉚! @k;|TW^Fb u3EhGWЙC*SEKʦhFiTqy?84ilfJByoi*ci4<\QI1>+\QwV؛WHՠl*}ЗqK.lrOtx?T:l=-#۔-`$e|eWIf:F|~\B6eB媭@Ω$jhs^rr; 6x( a ۝ 'bC51,(~n80'Z8"B|vR^;devܕxmks=|(r':.=p='*R`so3fZg_> b[Xv4H-.VghC_ޝ˭-],7BñǍȣGzbh y5j+{iP^,1kEO%Uۗ_ytU;`o5oa<0aʷzm)8o+ŁMJ@K3N1\{HYuȪnNzf: >`dbYŕJ8fFp'T1@r P;4YHY*ʻzB[LSmKvzkDE|~v0>@Kl7f 쁬 1դN*A"+|z]o2tkr۸x/? _gЗknǑ0! '82U-,=Գ(].8}Q 9~V*DjpZWHwV3 FCz7%ڠwhY}V.҆2aH^t}TbPMX/ن3Q٫VtA(^EF;@s%ФIņ:M_bM1o@7lHҾ*g |_(t*t Xi@r}=qдVK` 'Zϡ S0|ȞX%,gWesBxpl٧nӲX>q j] PN NjIlgJW1>C稲JIÇ9͊Dh a &+2S ΝaR DCbE&sl8Ïj dSRߓ0!ߐ+eS&I"3ũy%),pX$y. CQ"?EY\y0#4w Bڨ{4_&Zp!GSl!YhCnSAޮΆj )Z)Y \++U$f.c6j EabGɺ kAY7Z5@R?X@9|JUTӑ5 iA(I#xՠmS7PU`沇]5!)*nn jk[:7 ӭ&H]s:hdpU?G M5VluNukNַWeV'_)юr*^ \(8w{P~tM:z4ǧ<985hz CNEV'N opVNn Z8Jku\O}2Y}SߎΜ5CS*6++W;j'g!ѩ;&yElzeN\I:*2|uϿY ?Yd<2%3M^CUw_\[K#`D$B0n)/nUoCT`auq S, Ѵ ur{] tԌ&>yػ4y(J~U} >֐>R-i1j݀֬/~fe1?n|RV2sl~ w8]~-^lR 7FTox= )c8E!#UV .k/j8)*qUpL 5Z!ܸP110n) Ec&&U{ցLpT;N^!?< >,`NjfaF"J 2k7"|OkC)1=__. 3awCV&*6%UfpmϽƧ)* 7IUQVa5;#t˜@z(xkjÝejI2ͧVy}Ot֜PꁗHaуB``{nP̙N |c$/29HB~H3+ֲ `61[E`!胊I<ݪ{D-hCSۓejϬw"%qN!/=hCزyOڐӚorpr -&vg|gDJqz$Dc(F Cp$7z1 rgYZ  Y* 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! T]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-(O< YJ,JuicS|xdɄ%b?qu 89mu?@"sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B9p]?g/]V6vEnGWL,I,lb@Oq8ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal ??. Oa) $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 5= ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)U+l!YfEGM,"Ff js6Qy6oH;&hfh]|PMKa1mߕv Uy'a`o6USԔU$KPκΙ7qAs]1Ƀa WK/fҿ*ӢGDŽ,Wvj&dP&Hz7w4# QDBizdrB8;&OH C6ay!g{y='D۴YVA/SʼG Ic"]qt' U#S8g0X$iQ9!cߞ9%e/COx )u+8 QAA¶ɥ8;S"_M}œ~*uCfwYQbJ섹]Kȏdiq.r!?%.k- /q!(䫾[sWpcew~hsa^KI8Ds˿N0D\FhעCe3ЃmNJ"k!pzt ਁxV8_ƄYhqM~˟[..xj?qpd1뒅"ԼCEK,`#vY6u^C$&Kl.B?!˂}U28Ɲ4:p(^1?E6RGC6OK 1tP1L\MT uN~WFCcŠ/6ú4TP*;Įsne 2[j^wP!uh} dOî;TCJҠV<%ycշj EjB`9ԝ3eUX!T2A^"S( ``Nd`[FVh k+*FuP[be;wlᇪ"ڹM=%8e5n({`3x&P4nyԁ$~mS^ ?b|2ӎ1tCǶa :\_l|x:F|A>0#nF|mm/ D@U΅Z?Ֆ`_mC71xC*C7eU3=܃o+ /-y! 3B_k~?sˎ a[, G[;I31r>rGOĻ˶r }UvP6g; 8E9LܨEGUtKk$u;ˁ捎SQsI@1Л{lu&pIf\]Y9cׂyR Zh&W!9a<åo{͵8h/i 6up_ ?_E9'X`SoPoƿTL}M oWP1n`t3I r]㻢'oU I Yx PzV=c WŧtXō!e®>iΛ{P fR[x]$(oj0|`i tFįv}H+Q%r~ၰ_ZVD778EE]t~P<1:)ʫ U20_g8>Q@%t h b}')*P%h,O-1 0]G,Y&4 :YiS<]F۴f }\]7hvġ $;;crd>qej7 @xOB#7+65CSㆯv5ቢ1Th;NK_(|1S -[*s%z(iY9,ٸvX{`FH@&_uyfTye &*I1Ba4̪[ 6٪^eVK0.Suٗ%f^ڙ6GQ!lkɸZKpimbQ%7"w9ef W2VGf f:fgp@ݙX] wQdNPqߞNykLd0ޏ-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method~Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8_]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&{{)sLg U%%Tl%KD DߖP V- ߫z.h 6iHKA.DXRv(;ȐJ:%秱iZE/@d<],H4~cYBⴺn7*p΢CN,i7 A)ݕo_P-j5ĕRA?o)*YML8l\c:z UAȑo73Np7rѧX:_ެ: TU9.Z A&Ye{<~6CҙT3ܦτcXH+4>.hKTꠓ8U8 Z0En2MH+ײvY;K7챉y(Q=O4xoQNyǴYqx0GaC]WPNw ('\%ZOm ؕU\ՓL5]>}4_̴'^ÜU 'l1#6zUvf2ˮ/%) K 5#I'ےF׫Qò,?a)N\!ƸFX3a~=_ TU 3[Y)#"SLW>E Gt%h HQcr>(ksVA_폮SvltʅJ䉮Z # Aޕ+6 m2xK7/D>νu9SC2IUW~UNwP!^ "b.d9~8 9 /*1qJd9u.<ޱgYZ4 TŠ=7s9cڹ5Uk\!h2;&L>ߴcHLa8E:Tgv/Q |p~}KBIb30ziQWAne`Ycة/of*B gz'{EްQu gfX&3#s33i;${݆K:m[woszO@m^a?WbH{g-Y 0 :, yıhSh@^69U&i3.">< ςFu9~΁́6z֑1m`@,~(OHV; >gP˜lm!rwZI <*jǎ$GPfA%T^Tc7.$A(1Ϗ ^dTvѾZ!ɭ&qxdY4s he=Z3\1We=t fN5ΰqoV>Y!"߇"#hZRw*NưoJ>T.Bn6CI`XE-$53e $BĞxB V9NkSe#Qiĭ֛IW7ؾM(-4ނ]Weϙi5HrZG2 ڏKez0/(^.#@U4a X{{c0 SDNm;^{8E /UguL1;ʹr:ԹW ZGobv蟠t 56x8[S~t]R ~pؚAs`}axrN=FcH`$ⴹh j (ӪJۨ6`F?'iTK:[9u f}[A߂g[&RqU?%F<`1FZOwC\V\V}p$\:;9,u <[i~n9!WgR/v%j&5 C_mXG@ [O9k@`bJ-717nN c$qѽ_C|&ds#Զ9qB{ _RG6tP}P)}HSD,ðLYp-8 F頤lcOVm%+П6(9LNz:\Xð*'0L9C@)+䬢ˮ\Iam&<X Jb*چ [vFJ?Vd+]c` u-0턔G _<7YۺO59QF9ߜ XVo񩓆aD-@+@G;;2+TWV+}rUA#Ȥ䗕tEObKrʺ ^ +Zde{h !+|DtJw&y"GCpWYpHYGg snmuÈ.UbU[ lIiD&'kPVĮF #je*G'#P^LNI`Ƹ0s ++H<*JFQ;cHd1/?&} ;}Uok^a$o=;w p]U;] ?.גB_ʿE&-6Yg0tљfYʂ3~bN?g%du'JYHNŢ2}RIh: 7ㅦ/72X~4PѺ4'9Aw%|5~Y<[WbOn:zꄩ ސu A=ȦS[C|r2f)^LRC8qxk!dϑX)q5{^\;у`KRRY;^&]|7Co vAD^}oqyt(>ZW/y(8Ţϸ֮M1̱xA5,Tj<> iuNv%ʼ&kɳlBG·KY#O@;QKZD&^F&i,} _ꈉ&] k}|P/Ds{Dwܒ6Iz[ aVz^_􎻮1o1þ^'mE0\;M.?7i䠔%4^]܉apмqMјZ5[,<JV!f<8>q3/1 2Gbĕ9yp-ԩD":RiXBjX2CQv3k ae `I#ԄZ-SV_ɃwJs\=U#Qaa?%ۮ6_1wP4,I4UmIj I9fzJ`bkm]8/ê薨_;pAi/KSxlE{ n{]$C7nV?F"#":'E)Fn:1x TOEt xHMb}k{d(D2#r׉21c۴g uUTAgByҰ`< b{'S#s ! t^Yo)=e(2_7TNkPS CP?T Z$<u1Ǒ:g%=:W."=BBwcdI5 T}AI!y"z>ERNY8[砊RXH/:zkPf=wZ n+NJP/33B"Rlqu,\ǩ0)]{oދAᴝ]0i~²ź\ D{[&52>l&4S}vHx-6SP=W"~o::NI*fIcqx@[BUCv;$F6 ѷS. Z% '$2)8D '4 B d;2<cjgQV< c8GB{v#G CTG(0k GwXngt!&(=Puy$5bCcʔ~_m"e#A|%20rNdH`fwoLJ.m^)lb2taG|ʹkXt IMGv}KF=YFwdZJ(:N+OB9.LCIsvT;JƯQ'80{ e?Zbހ}bgB n'QNHq~f ΚgFi]q ўMU2BiSS4`LN!ڒgRL+5->!"PCD~/96-^^m%I*(#l#lKL sc4W@ب+>z Ùni Oѹ3̥1*EP.@J Ƨr9&8J|9{* kbԀ@|Jkf|di|71nu`wǕVd6;([5%ƄT룁4g4>`!4x<ɔl؍p"!?U8l_$]15a|}ߙ?K+Q*kR,=]WtlA (ZgVp{TdHcf(P6@1ܛ;Ǯnp~G _M5rZ^}*\|nĤnvXgMg˱y`7pJuO ѡm|gN)ULz.V,щ=9g`a2҂^AZj:W.Q䘙9\o[fGÚuof~ v4r2NL)p3Dy {PW6 cfdB ĕVn\C'pDze+ۦ3~p)5>,6#ζ݄߫WuijbW0VsoWgY ^۷[p,+5eݳNS :%׎] :G.d4V=>mPWء.a |siNc ْ-c峚yƐ$Lu@V,2 ;-~ʀ7U6vfuhĉy20r3ui =M w'j IoYf-dҭMu: AR_)mr0( wUq!/R5ZI5\ӷ@wgڋ{zMzTڠ$gZ>v`f~hEf- Ҟ3QH ۜnIQ=#"e_$Lk\ex+ ^ʮ1#DGcX3RYOֻ*Դwo膒C)ӋA[[0@6]sAm97mqP8k!4P] _@#C>@NҭFL˚"+m=z͋ ܜ1 =~\n{^s,؄ItR|У+C:.j_1'oH=¯RՀ4BȘf! = gqK' R(aΟWwdL5'7.?6Ӭõ 6feUddEh-{BvV|~NNU^v245e^|'P&+W.L, ?˧L;%뺸4;g , *Xq*vw؂c8hHN[$w,Wb)jv a˃ f0oLF%jv*A]-[&̙9\%_t'"]v?!c[<ݲ0}5謎ǥ5Jo dט%ܽMb} )+) u,=ÿJWv X:oӿc̞f'u| |oxGiˍ!{8כ ]TIGy^ , 4<ӨZ2I nOC5ArX.F]ԒqweVNIĤNpY+Ef[ɒ W8:MEh/#bvCmKg=& D=Fn ޚ^BbDɜ"hK;$lux_l KR~(IXT>jtqu)wq6 #N; oa؞c,mw>sW:J.Mb |9:6Cecd{pȉvh|u2ѩ9ahj;#pKv=Klc&Tq8x|Z!op|k;3@Fe$ɎwWvÒ E!O@SgtH$?}l[c Z^̦0,^ڢŪO|R3(ϋj%uդM;zl/$[2,'yjg-PZ&`E ^~mZ—J?A[0m-*ܑ M5"#tI4rԡ$/AB+H,yc!f1@D⩷W7JQX;E#t|f :?AAM/o/ipS>e"<ʸ]iFD?U/uukf#ejYďTd",ՃUDvqqbp1fs:җ`8yMc5]p@Xj 1wGW4w%5 1cmNvY$R-V}ކ6Yw ̀Ycy7`E`=| /^p{@}f@Էɘv7I_qƳ5_݁k0リהh"ߝ/:"Wee3#\ʜ:0Xp*` 9/r N",4/Gh}^0MܬCUAE. Fjk9C EK;_e1Q*-y ZTdz]փԤD#/ɵ 5/_:kdޕ?H>LR7O fd8Vq%gt˂HvѿB Jhg ovrَf9-v>^b8E"Xvyu2NzU' cG`E ;ea'Ze6P[{R,³-B~ 78MjSeO?=RO=. _qty&lҼ%VX' )Ƀ՚km|4xg[f@nW@070ˆ&|V uꗧq>2i!Mt_'u644|Ёѻ}fp6Wʬ0ԂekaF-QCc84ѯA,BF:7Ճ"I {4i=P>3i |07 gg2-"|B7۩E DIqJ](|bZ865Eh>a$IrY Q3톇 W?S_,e]63B.P7WFͱQ9fxֈtTz %J{ki_WS?5 wtJZ[a' ca`l Bdҟ=qch~>ofq lVּI/iCGko2{dn_h.5x%ñF0'®i!m%ne;8Y{,@TX2t!:]n%n v fN|WuF,۠r"tQa@Tr7?J9j~tJWڒK;:ZAj2oZ[W4ӷye"2 \!6ڻ툓hkؚV!INyBͭ&W-d٢a̖SM ]a4.Ѡ4+«""4?ջ\`5{mKQMD>#I},`iap$'H/.UqFNǖW%sm<^ɐ 7B ߵBRePT̹ZlPg s 2>y'&#yjMɻ͹BbF(sJa.ERVpʩ<5=BBC0@6S>\xFùF2EUB 3ܮIڒ92ϩlJޒN_{\vH_I(G+K,vcNH~֟yI q!MbQѮغcq*p*)u8!\&4^Z{0c n΃S"G6T橁 vnFtrTUJI);FwH=oȱn=(Xy KMW ni1>b幠VϞN HJFMJWnĜ{(2O) %wV_ܿ zN΃ t! ǁNu<$ݢHt+ ^Z4`f.->pf͡jItiEԃkOm睖Mڠ2@2[nR@@Rsk, 34"AÄm'3G' VY4]+9UG/*au Re_l6h3e{ )znIDP|ťO~ܝ̋rSDp]JjIg'LN&h{A4FKZxG;^@Ew3fEvp@?VI-!wZӚ&%e!9tF:3w3۲C!4':^OpO6ӊzxw>JAabŠg2>9;ձWlln̸`Z L3<`LʷrLKx8E3m-Lzo>5AQ;9mLD.A=1=pfI3M}j:5ꔇM)UxȀ6#Dkrv&5>Y}#eƊ -4\~DŽ aNТ/{Do}_+ praΨ=Hmp湅\4ֻ](%> ҖhЦ!#"ظ t A_ѻ1:5԰#=qYE29_nkDž{^q+IBTڣ6={X-o!,?B*x~, "!²O[wÙBV4lnN}kX ,n ?<*7?R stLN2?!4XZU}g{q_^K)єyiMf.?SjtaacC.H˻VVz"8 *>ڐPk;6k&Wܵ4Auٖf(al_waD"Z܅%27Ebet7IytlCT". {ed6HgmG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y ؇Tu媱EP[9Ca (/n5K/OM,| 6j.%Ǻey%Q"c*%569f/J^Xݞo ᖙ{89:ÉhB, 1aNWh;c@`ͬ%ߓ_0WvW:nțGo0pLkqZ;CS9j9:JѤL,ς{IKќ?FsS2'/'X40^ٰ[+|Ӑ;8ZgFϵ鿈,oZKec後{M5vL=KG&Wzb5 xM% ޟzKRhLn1zMrRFBZb5>=8*I}zS`lh` ָȌFZ@40}t+_J#a2%+Fos1k7mWP [ =Kηm:$c|"cx:wkҘ0!\5HYW2M_qkAw*0Xjod8'ڛZliRB>4r$cL`8""Aw ;lFdoKCS6u[˨}x1vǩiSQgaZ*:"[֬zWΥ1~.่y``%v.b,0_3BR!Rz G @' cUA.:f`^l?KM]U*h |E N!mFdq唵th`8gs>&BT tڒmɯ6넜%JQUa)'DD% ģуA3H^Z~A_J΃Ѽ=2rU A+$#QPw>ֆi"^ 6(erT?~uUܝt%M}9y/2ZD{E͡ +{Bo̧$fa@