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  _Op<<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.817cpu=3.821gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"eEdQl,))XǸ/)8?nV'WWt4" n{EgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.844cpu=1.642gc=0.000ۺjP0g-.t]d|:ߣDL٘Non5u#rUe}xD5jyHe:8ԏ=j_uV ֈO5V5TȿA\镧x:_|2} t#!s1zTRѠ0qCUGG -rd\XGBU؎Ġr;BEr=u%D'ǨgPێT %\:a;HE\QNqs[Fwtj<\mm܅9:%kgˠ3:+ ]uIïzGg  z]f+q?!/l[3)#BDw`X`xAW6A/}'#pr~gYZ6a6a5623ca5c4c30b1ce4e60320a2c230dca94bc535da6560c7ae77bc6053e94d5fcc737870d4227 f4e9c31e6c0e2595248a604a7452c52f78c6a894 6f5548d71463c2f1b60f5a884da705368f379afe 8764e57eb806607bf86307fdf66d4f0eecf81c79 eb15da1d00718091b9271000f7fb41a888bc1cfe $O HOL-Nonstandard_Analysis-Examples4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! T]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-(O8tȋ`0q$rórL9 ,I:ָu5iu(,1/GF /9sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%: bXٟPkP| 飭of ofiTUAFfqM@mEha 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-(O8tȋ`0q$rórL9 ,I:ָu5iu(,1/GF /9sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%: bXٟPkP| 飭of ofiTUAFfqM@mEha 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ŧl*x'eΑg*C34GZ# R<d -/V,L7gSKJ4CE/2-*샐C$L{p-i1 8Sd:hͬ@%Ⱥ|Jf CUtѠ;,e_V.K9=̝oi;9H=51(::/h33$7/̷>y2+`3Y)X.V:U*Θb_ϴί/˃A[s3Dd?<>v\7Q?j1;I(PG2m7]%{%;5*Sn9 Kڃ%ۖ6ĔZ\u佑nh׎샓Pum_@~C褙6-~h ui{d gƂ5"zLA ,=ཱǗs JEt[]&: v85 z{v+$B34@T3-" mkWHFÐ%-+TUUW%v Mz?պZ0̛KJfy.+Yxc"d?"#9c *H$5'_eߌ͕%3Ms ,qMRQo$k^uur΋@yPR<1Xu`\\=ܮ_Tcӧ8|!FB.#減*Nc`;6ؾNkڊ}'=67Ϙ~)y o#8Я "ecİ sV>ѩy oɰU',iW| IDok:e (5=4;)`?n\;9JfCaly_)-Z{ǔgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodvOa# œ2%.G M>q_:9%N:aIFFBMP 36-ĵ$OOg~ 6R,[;K!G:S|\YXD0qQXDŽN?R>L %a G#s9&bT>bƷ[m=NYbQ')튒IDAT3 AAX6z<{:P& B 7rji:ZE!C&9(~߹rҲ|!ngExqN`ϱ'Q\H3ETOj ҔD;7( f#1"Ñn*1؈$ኦ|8q .À uāVdcaP| ܙ BaWANVj$I~X1 =m̽4+}M')EàޞQNt>Xt⒛!fx#S,~;e2m40 (%xN@wZ~:.eI|#'A[NN <\Ns(o? u9cc2W\yG#LKfxlKXp]Dئ MKpqq(r5.<ѳz<N^JG tE}EMK0ʆT^PO΀DhL7>Nɹv `pMi7:;g[+?_"q0?_^TāLGnl寡N'Bh$Ф Gǝ['_)Z:FnUc F6Ep9veQĴd0DGKňvPe`kPlp:qtin ZWWƲjp@'"vw$av@!u1̿t]5$lڳvØۺf?o1*Ob%*jOtfw@0 CH%9PR[B:+aalL(' y_3CqVބ*y538RAN"xZ c=@ ]SPL1qo?#Čk' =E|82  ӷtpAw̸'$žg ?eoO4PY9_x\:74%:Bsvka5Z=u!T3:ل @Y_n&:Qwx(-D'B $va٘iы0{isP/$ZR|=<ٝ{V qޡR xsr)OrA {Q*$o^;?w:DuLlTz4a[Ѣb-&W,`ID]!|'RV-VRreϓq˺i|":]y͎cİ3B-:q 2- ZԒ ~I}V6 LJ^OO}f2VvI 4QVt1Sm`Xw $y?V#}ol M D{n'*@{(L;1.U@Ʊl7ZWP_vFkLcZEBB%]ŎVY'Ў ;˘9zb'J)Bl&"c@Nj.ދ@fס'm4MERyFU`{TG.M&kyp<抮 c|mxE2_ (P2 ?QW!/Y+ۅ9 +{;q wd9zO2Z揭r"?TKTnV*Vod`oQ0<2K:|S Rq ҤL0yʨ.vܼбPo QtgJjpNQ|&Y* ?䌶%QW} x?WD_MnWJŵR)L6ё`s)Π< /Yך~2<>*Ei0:n'b);ϖ-MׁÌN},g̹չNM)˹6kN;e>Nv>QU^{.r=9#ul(ؕvppg6<8Fn'%Q1f%& T`FU ic\G3`3lPi (|<:Ry!>g'JzZm92uvP'LB3b?Ā=h+^_Y6v( nzLaӸF<ܻWwӶ;E.r=%57L0Wt$FO١R yՂlZ$'qBy<<(7!fXBjásjIdJ3gBVƟECXԾppi,tf @1'5*^cKx#wǹ99(݆uL=–)csg I#C3hǦm6ҊwpOYw=Cs+/Lsx4P_^3#oQ fFZEpFsT]u,1 n4'5ukɎ#u~BuQ EyQЌ',c3 +atf Zkzc% zY7[A<:~чKG498TaH"˺s/S> JUVQO6=/[6K֩q*䪬l/ig50 1]Wo3Ű:*uB,Di!O;L>A aȾaCɈ`B ۸%؟_t69V؍. RUvP>#+<9֢ i?9ǠGpl&%@Z0.PT BZYP+Ho)x%zz,o0HS#վ)K`^*A֍vkvd2̃0!6Aem~Qy g!ךXwY~Fi 39I<HsxIV*깰R,D 퇠L4/*ӻ7z] c4IMktN5"P鮓@PzZm( p݊>+O9/_w,z m3CL5oaaomc#0~W~3=pp8毰RbAv!n{^5ZKcC( ձMsr/>hR4IE|␨ K%>fI` IToߡ=iE* > _naՉ7E7D- #Z|1[Ϸ 7,ǡr6Rj~=3֝*9J7z@N k&h<ܬh֣>l$4ccp_! R(e_ x3 +&6[ abl"63 0L\n E XTjVSHJjY=Oݖ(%XCO O k6D( zm \)6\qǧڱnmUU ɐhP_w3h ^ɉin 2l,FMRY]sMϙ|Mg:1:$"e2)NKW|.jg>,6lԤfALTomTHAwzT`!,Ń]]`~_l aϚ%T;Q<&֙iT4[0ֆiR}qӍO%mI7{B{6Zt0QwGFR) +k0H96^maƚiOԚ&ܭ/nPy&LDVEe:^,,~m/=S /=|/:P2?eH ^ҍF <8ʹ[M™k:ص5K6a,cWH'Dk<%Cs}u)jgZ(U(HuB5I֑; &_}#~,ɉ 0ZQ߭ĥ̝XeAVo)1%4%ZxtQ鮬_W[h3.EfSw_\4!~{OzěQ X 'z$LT<Ր/h>}+S1[5`@5 | 8c6j"AO΃fDb/Y,e8\en7ulX=[C?8mYYд,{%}ߤ J{݋jh"&K Z2 PRASb j5)  lT)uOoeגHs쫖g%vGD)ĬkNzζr]jDQw43f.Twm2Sl:`'BśS DfTK#5G|G!OuQ,87)4in݊3mƼeaU7OO}=a${?ݞmb!UaHyܫեO{Q| h`e^<㫼P GqׅL0*U'IPhuYiW78*9em\Kp\M[vY[cv#MÖIfl0pc_+Fg\()1$[*jKH ĪI}d[(?jFDWfe\ߏ .sa02GF PFAs-3;rP#`q(G[k.(mGix#}+%b4hZEOYČ z[ XFp't*v&'u`Ng5 ڹ2%\oH2NggǢwȎ{ 5g.XBs{PQ2#8SL%|'tІ6rI.ךQg^blo]#hֹ7'1YU$া 5N~Y˂Op-xpfm V"K E[>3T*IjOJF#x[OU`}+J#KaW#*!!_/+I9a$q1+iss LVpsDj #\c?J3w7yobT:͙I┣G"'Ԣ?H$r5-WNaݚ!E-V^i X vG:xW{M]w*83|G4́;t$1ْ0dREcl l6B?7>ST-=W'YſLs⒴?E|b?TI"sK}}Q*P^>?.gg-,GJ Qx-Cu3o iRfcH~N7Z=bA%=48^_@q݆.O5})/ ;0bo1Lۃ.V Y#*LCaҦE`szŚg JEwug(PGAT$KG wt≌8 $~u˺/W;4a{ u8ZVdžq'mvl/7e~NM?~c[sSݨ(R0bEE;>iNJ~HPo}'eĩEx~C]2~3ϾNH ܁Y9%h'ʀi -1p1k}ėx^Z½m=9v>9r@NYhhrP<5X:ׁ$`eW=4r8WTHpaϢlYz-Xڴ4Tߔ8>PCEyi$: nyk>x%iP[­h\ώ).Qۭd-_-2j)BmN@8N#å =M;m2Tc%eɩ&/hJZ"ؚ2T NKƏ}aG5S'󍩋f|~KƛAJN܎C(5ЀVb o`Ww=TF/}؃  8UdG\Xm4ɴq Z*>8_lpP @5MJd{4ALQiM Gˬ svc2tpk%R7 9=]>= -Μl¯.h^SjQ\;[|;h(;`K+M@K&_uf0m& joS#_t_0zQ;O)|о4|EGP9 tcr%/wQݤ(Ge"izhѕ3 $_Pv=*8I!2cۇq)R ` F|G@:oXZ%ARLZ|Bt3љZ:n\7鲃QUSwTvM|­3rw0絖س*a㘂oQ b[L0q>6tCnۮd,{i bty17yz';IS"k+ZgXu=~|6ȇEfHʨR ̚)C. zIw2#ypqbㄌYcfN2~_+@f0U54Y6^N KѬU0{I_w-fݝwZ/p!$ZJsX%֌5xIf|: G-& զ%ZS0Ӭ«=kd?Vʍ'_6ȧKRրJG(W򴓚]@>);UaܒƩkMt!ܜK.R9@響gc >Q=eik1QIpXkf5t8Jgz꽖(oUD! 龾T}[5aV&v=~cP2xgAwӦS<"xL8F0xE@6~iv(p=<,BdxvǺtj\7ѹ^_[K'l+j@˲Hd9 q 06~ oaŹzwt@|Q(ZP/0"˱# Xژ)ZUn~.3ӄq:% Dzut"8? 6Q kK] qIt<2Cx6Кhͻj7P( >՝zFwy~52ΡM.̱X@5}_6ͽ]:ERGa$9`4OmƇ7OV٩d=r E9˛Eɾ*0# ?`SmX5yC@(gȠC'5óU٧H`{HTD2YKeS~-d;+puZಫkZ(;|o̎x][a P3E@B 3;N:gL6 Z!3u_0]z^327ej/4JS 5z+iȔ]geXR.[gw sa]x'HY–nsx8ik%Bѱx%/,qa;x+b<24ܟD[mP:wxfyc"nXC3_qRsqv]QZb8c7yʃvɺ Q2Ogi;>WFx ?2wîfcSsX|̚&! > 0S xqxd/FG|JɻGkCHGٝ)qnggk5-A`CTLɓVP~͔y:) )m>hdy}Uh'⇞` *A4᨜ѹ|,F_ӼB&h>c㻬 j)%&P\jd4w%LIQ-,qDIބ';r_u)W}#7QrM5kBoϓ<˰\=t#LKLReYch\J0yHǮ(|N>5@E?sUE5VchZQQEtr =DCwfiܐi$A5<TKNN̚m >_@c~WB!Mx{o4 u~e=ʪov*= Tg+=RP/D<oװ\sLd?Zxd̩6r-jjY/2|.l-3k 6E#M٦YRZQk}7[6 mP^hmt3s#LVu;)Gӫ8ϗF#1s^VXHH5塜]ЂCt0ܙ{r5XN~㋐ c328[R0l2 bnƽbseU(Š?924Lmz_ABQ%1`ybwB,?֌w@5®GBXHT!upk_O wu]f oICP< 4O5JƋ],OCjV z?4YIȠYIbcaߤ?`ׇ=hc{FtDM(?a qܹEmCpN.ǘ5<Yܓ]9/G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y 炷+9ީԳ d,H[qBUu"3dgEMqGDА~Y^pqVLj@Ħvy!dg\g7 xUn/}INuN ݟunRbܔ[#[{j|W"&ШvY%e}DnXЬ·vkѽ(#Wb$Kx RNlr` ޱ+V53mh0\1" hR=zJ rb~swp"=gkܩ&& "酯Q|{%顕[ќH1/w` *NxWTRx3L#`&@mn@5.yc u)X;gkv\ZFӮ={my %^c`YvٹH2*Hj{IW@L7Թfv:}kH%i:47GlkD6%o(lMtd+8m1w:ڣIpbBܱ!-贸wG<*?SbgPV.%U4Uq-ó:Jxt vfߙh\%!*p֑O9"j^rŪD rK 'h,M1%:& \E%߃~k-<| PhuMbA:ۊw4AA\,~$4oE3/ ,Ԑ`p׆9a6}(.P%#k% ӾmXp^z ?+f25-ͱhι h`Wڭ(Ogge$%QzQAdgDs1HaڅNj]v+"7r"ʃty|92e" rbv&!\dύ0/Ϝt 2d*=@; !s-L!+gQ*t2<͒㘵 G+I9j>/8<@iK#NQt\@&P_6t wGN}MYx%Mk^Ydy}rgB"HjNt>3_GNpm c7Ʉ܁c DDwP~EsQ ]hٍh gƣRC6V) OJLJ82УF.Y$uCF76Dc_@l H$`VuDԱGtQ_y\BjYvXv4s#<~샤,d;DSfi6/W`yȑ&XIlOD4w&\~ws kW{ipzg)