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  cOpD<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.796cpu=3.771gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"_PϚK- *[ɏڹ?Al ]8KEOW(,3gb~l|ڗ:@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.839cpu=1.616gc=0.000t yiw_,}YZ7zXZִF! V]ŗXi%>7TeM%yK~R nGŲOMӅWC֟n7$N1M2re1 &EapbwPǗ"I9R튞U(,Ru~⟉'Aji[=o:MLK37N4/CvI%259N95Gb O5Y3mqx8axYB4Y`Fa0.C-Ud7ZK޴fMCmR}wWDL; Oڗ^!/c\n>NDAPRjN9F(VL# Ֆv|)zo\=HCq Gu U[#(5Y\#П 8) |2[wa]PE1~w&H}ck-7E*Zk|vȴ/Vk>D/3W]Qs= ':nIWhjBMDt ʂvZ$Ly]QD;~Ӣ \"vR  ;,~s'#:OCq>U`HWoIgYZ6f7aaf673a72f321c87c3ae51a5a42afed913c95938e15381b816f3f1a92aa6a4c4c27eeaf3487ae d1bd3d39ef70c98afeeea92fec14162c5407b6cd 3571e65b663c09725faa9ba6b192b209dec2db89 977cb6af488441f7d4c3efea8d44c19c7879bee1 0ecbcce18ad853a217735fb80f4efbbb8721caaa $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ŧdb.T=0я-Ar|um_ Jfe^yg{sj -Ǫ5êpBwb4<܆:11!z YavR]na-};Ykk-~" nHV7#"䤦|)Ֆ0ɧHf Qhfn#Ʌ'Ou1ۣٴlXRPvy5'7+[J3 PlZv%]:əݱv1H54 \Fgvm+QOdې{ȅu]R6!l6[骷i,Ҥ2+,~Dh{36($D'O>iXSn#9={'أ-LK{&V}>~5y _μ<j`ӆψӠ_2rcb PM)B(cDq.qCKXnhB"Hӿ{b (ҟ,Jɉٕgae5z,# y~k-7[\GD7"pu eaRόy4kN)wx%eK0kf<[Po1rRemkgС$:4 i ^_@zLhϖ).uI>"W-w(ֱ"z13܃H^'{29Fj" Bb&sSC>6b2-d"O7ɭ&yt8dBLL?yFz[C&'g)nUB!8[ W&sBg(~z8#-^ukg;y1o+N7M~t>ego uBч,:eRgm/x(k 9Njf (#)=H?"D<{آ9&^ZD8ZoubmT ir(e %_Tt0jؔ-V~^ J|&Wfīq<"k.,ñgYZDoLqd$epP!@%D~rcZ;|]1["^?:xES&Or7_?3 R#QpbX Gph8kk1Z2H6fcXvRd;Qvg:S1lu0o|k5PWI6޺=F7tę3yJ1?&GHzG2Oo3 8Oɟ;M؆+ 好yT&^ؚӟ \·ݵOwLq Klp Y m%|pod!J#܇uS?. Ⱥg0]ojN<N} )_jDa`b\4i~:)f`a;_٤ֳKh֏ O"Zy5wMe԰Iޥ;_fFPol CAt3d/¯dѠHDqGpFb47*' Αl|^dv1B;ZX=hc2WIBh9\>{q(Ƃ%ʷ.{AM͊~ÌHI Rk{D:4|Τ"f1{L@TAD*`f5)1!1p4\rD y73!Y~}qlU9o(B5Y& _r&|JNNs_6y6;/9&UMnT?#4TKr- j/E ;RhY 8EZCPr5!ԇE]A/IDs$ˢ d[ ƟeD40l`ٵoxҘt*<ɔ~鹽 ɦhX؂9,2{-g>qXnT=}~#b?yXQgP.ƭki%ގ5ljH"уY)>V9lWVHA@DZʩϵ!/X!ZTDqό\ƙj 1fFZoy|g:%a2ɍ쁓63dgOfHtQ.Խy(-Cv tZ+ >ۨ9W9eo᥹ae`&q6ۼT*~Q}]AIXu|C*Ee >"T|hFGky\RVY4Vw8@ _,K][*h/!z1f 1]]fp,:@+5HꒇO۴Ƶ/2mHj|$))iX$ _Lpa/Vɨ+;4=- }B=[Op~PNO]0;`\7=׾(@N5ƺSp qW1j0!r_CLL31Ncm-4H nc^]u.$ȑۤ#`מRBC\Pu~_a%t]HB(n&zҝO&:EQ#ɒ- Bx WItXʄtbv#E>mB:+oׁxtq~B:śJ2۝q&tAi}.4Xrن{Uy譍S-zaQ@kgr@|fOkD_JFiK)mc;;z <T5>1UjV}k5uD4X&hdQ*jwRX4J+(]զ1"WדZns3 R&1]>?rJCk,W6hy smCs\):htGC0İ; bԑZ<]Ëcn$QJѲhgs!mayw1(-GK(TxFH< p} #<*g,_P~q 3 w p*QCۿ_p;k6&i{ѷۈ-P9-6 EE>K9D_։@sTv09A^n({y𐯍"V3\-f_`lLK"[A<(<7zxҧӵtdynsY&BnȐ+/(qh+&2p'o S}x{-ύp 3(ulbCWfbge }YSB]Nd#ŒlRSdN(?ROɲkҞ?#bY$wA_|6O:۬^vyï_]k&t4Θș\N~LNf<7%@pb)\>;hߖFXn8]nJf^b/:M_ Ý)V`w&j&roT8 +;LiVkMRs@kݢ5y @AGCkSfocW^DM8V˖x$-@ S#7"U,N]_ Xp+ q=YLejP0Bd񠖋J;KIPd h{a˔&0pWRse FHLA3J 6eü+UWfaB .\j%t -W2r]{`]]^bӑЇx1M{va>y3|4*ȍs)h}t}>ܪ%\#j_"z"1NL/.kOP:ڷ(UHw2óK[I N|9:<"y p(:pp"*U?k[)29v{#~]NW[PZ3=[ts%9OXD*9/u6׊+D\B<h"az{.<1TM۵~Z^d7$ۚ@u7Vv(7yHc Z'Sm+Lmiqrbec^{TArg|~ߤӆ.BqMټڏym۽Ͽ0#]oz5dK;˲!p\Ą쏝j>tIڀʂzBAMg]jJp"LhE[NCK^kt+\- aaxDNgsJͽ:B*9_mi%.u" Rm* >t]iT+0=YxEw'8~g:7ĵtI0suw M~*QYK:soQ4d:D׸|Y5m;pp.EcD(}kFL#z`mb2,a4ypzk4~qUu 0VAA{i*рGl"Z_6}5B])|I/43b 'R3 y K/b4[lTHwl 1x|=pv-h)f6/ =H? ~TuqICw= RE>1duT1u*t䀃{X2!~w 9PfHFՀ%ŭ|m}y~fpj6#\D:JK0TJEXE-K? Uⶍ뫒NYY'ے/*x&ߩ*?WA /wtUCꞏ?ƫ6QDFT}΁E%QhR<=(~ǘ{p!iUγ nNz=-w(811LAg N>"`^5-)v;F7wvԍiE\q2N A|*r ASe+z|7O?n(pD *׍u*?dAFD#HkTQ,?4߅waے{۫ P (t4p;ydR|#)2 Mt[R_"Yԩ#eL KHR,1-+x)QE%oÕ>.,1AY]q;V9F+ڱpUo [8N sʵURlJBͬw?ܸhq/+H8֔ΓXޞ( ]X@Ub|T CU?ܨN' "ctXkB{K3~Vr=Ey0_gkgM:eOyj;]+g Sp+З!ܼXnvtS|9w/͔rWیh4\07*uEAF ~HNJ ʉ HphyFU?ARf}CqE(mYA:xu7vhEH9KO Hڿ== b# ƺFU3+_8H g-,< 9彉}w' 135OJ:昵(/l۝-ͱhCnuǜJo):kA*66R>ȁg eH.x*7JSH0+YA>R^Dт_? JTߑ_^~9W4"xjDw`ӯ,O)h훓+궀J u#,5`{.$xuVZ+MEܭ5#=lǾtU*\OQCgWV0c,Ƅ0wk>S!`S PXR1s Ovo| n4I( Sg!A[IZ7DMd9R[1f3AHUGRKsR5DJQ1C#D4 k6px {wqD +>f[qF)LwJi,L&!>ᎡZyρ٪cVL4R:)܀2CIh1\e.9Fon4MT1ބ:޶zG%|Cs܀ K·AD`b;LQOIh:_J:ȖSʒ{Ѷ-13AOӸx|\߱73hKp{&iO 's".8H00~eDZ.vvgAlaWJ^I$1k Sjf#aM¾i\\PlU\yu]MBmk4k{*yc&8z~ z>ɢ&#F =.J2sڽb,^D{wA_ kDǗ*CwwR)C9Un?Fdts8|&rY}X rfpwILW-(M/''{0&z$39ȱRRO<ێR{|:Mz0+QD q=<RZ=O`-sPu%BP)ne ֌٤Z,+>WpD|D$s:G]3`Zx/ۦUwEb Н0_A`eQ9O/#C/\D9$FS?Cp6͎A 6s*Q> {a{ n׶2J#Ús=V _s܃ K%K Y9;s?$U[_Ozt9Q#I΢ 0`O?+c6"0:m)ɲJ {8~158Qx Vkx>$t0ꚩё>lѷ-,kuۧѝ`W&)(C;qVR}6k8qۇV|OvRe,No s-97^jM̽ٓRf 9 8$ގLSªC:rs xhW^%ETզfGuʴN`˦+%JnH|Ե|WApVVW ͖ qǺn|XK[4XH<3* !oc)g7BDϕma9htNh0 ڝ(l᫷;Ŧz̻5 ~pvش4̬AR[8g*o?x`q3Bf詡Aѯ^TL'@&m\4הT* 0 A;+Ւ{9X7lW't-.aXXFVۻvIH3]f P<2R^36Ś7l6D"p+rtg˖I) 54"뭼o7 @k6#*A9naVj "i'T 4ɎJQH9W\CWEbUg-$ShKPu*>:/[fS-k] &z ,FH%TQ>yg+gpR74 R8^G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y EXL6 O7bΑ>v,%86NK\Z.tq- R7C59NKLF Ǝ=_r%~I 8@Jw"6<9ݠ>YiOX,]uēDC}PᦥHŧϤo O"a)4$~ {S@w55h#o$׵a~Kg+U8e{U٭TRpvOX\r*ޤt9$QqM3T=ƫq]gpn Sr Vu]Vɂmm4PNǵs9|VL~,pB3kp+7yßREj!sߛ ;E)7T),}+pR40Z͆_ _lwwt:?r|ȓ;ɝxtG[CgB69\D5B:L\ot2zK$C/ɔ^3)aw Ś|>B9=8xg5;[!^=d%EC/HE, Q#Zࡠ7]qih6P7z?E4Wu-g9uqz}̣ 3ժЕe6H\=L׃hlCLYq$bLX#oɇ0^~4AcfcqoaҮ#/஀wP#I9u'm[-0Ls[qRPGcS}[%VdYJaZNVf\eh;: o ɂJ>"oh?ȝ5<ڡnTr&5?: x ,;Ņ$׸/SW!A48{[@FA.X:SA,9kh$})hO%|?:lZg>-W4Y/W-SV1JQud zvPCM؆nGf'2rӲK Bx|Ɯl}I3Zo9y(\n0+&I:Q#fK[_Y 7l xlh2D2H.7q/;O=/fƤr[F,}ETʇP$ 貮uR:!@=r`6r XӼ-AC>lj_8%2QKx],zu$+1Atbv7I=.Ox