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.909cpu=4.111gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p&PͨH"^@V2!|*H4gfv`H^({/<9&LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.873cpu=1.781gc=0.000]Fw_,}YZ7zXZִF! N]ŗXi%F^bt>?:Bwlb"-Fw-Pb6Ʈ}>s#0_)ar&YF*.y Bi1trzw0S}գX `!XF.AFQ*7).I +Rer݂T̫`!.ִƾ>|F<#vG4M CM3M6⫝PW\wz AUSPXŌP~_XCg߲8$F="yzYԌcWZפSMiK"´L!4xUfOػ| ,JJ]nBEg'1IlM&:6d!2YܖQRՒߝv F"MArjZn87m=R—/8al~2?SޱgYZ182beac536c0e991e275f79c0ee85827a1b1f6ef53b315df48455a829d4515cf87e0e92738873628 9b611b6d68409e5a328878299cf3d7c4e76568cd 3c8c967629f4ec8cdf85e663f6b5839d500c1e2b 3152dd196737f0f4b753ab3d809d74feec517d38 d75e61816456ba9aec7f1b5f45fa011bd9804661 $O HOL-Nonstandard_Analysis-Examples8Oa' 794P^3VߘD*2NS:ߗ8Z5r%5 Tkٰls-B)5?9gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏC.iQh=ic6T+!]ATپZY7*K׫g0Mpј􏎹(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* 8Oa' 794P^3VߘD*2NS:ߗ8Z5r%5 Tkٰls-B)5?9gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏC.iQh=ic6T+!]ATپZY7*K׫g0Mpј􏎹(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ŧW.4bІ5+rJepBI%۲^ 7wH2l$ &}s4uy535L⸓)Wէ,q;lUu4ɷkTV6^)K]- Sܐ\mN_x,6zxT@*pӣ3W^3Xd:M24 90tK Y{қ-g1`)Ql ɠGB7s_k!hKb|% ȋtX ʑ:݆ ~X…6WS֚L *${{3t x([OkEf/ZqfĊʅ:X8$sJFc8d#H-0ь$ V N(@׫SMװ;6像Oဈ+BWqCYO fJ-vŃE(]2b&=Ux}FŎ|"ThWSz'°]]Q~WWv` Desh^["nDxrTS#G_'K B I|]woe .?' )P>:5lԖ* ID<[8Ty}S'FcD|L7f}+ĚKL8/DJ+ƛRI%CoOjby0(a-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodzOa# DHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8Y]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫=?R[Ru:?k=0JA_҅'D@DĽdzf},딒jrn74j'lٝOL+`I!UjCc"ccdž[/#6Q'~"h g#x':G'-2`zN":g\ ,^S-;&;z*ij;;k/`cBU A$G~W @'B?(A *^9ѧX[CYxfB qf׍?faT` 9"rb"e8zbmNU(ɀ-]XoÆ*C >ԡ Nc~ CGx<*ФVu$Sob4p-&RD8[t&kL\#f0Чk6&)FeY n ^.TO܀J([Y8.1}x tk`+?SK2{(R Ѻqx޸*nЦe4I,GJ/W[nz \W9H&Ǔ5`V F[iJ*a!_}RcyV Kr.L}gYZ~p"qey E!!&cRTW U]0[d &Ω 鴱>JJ 8LiȄʫK:U d ƄG F0_׈./@ l=uŁRNޢg!X0 7%!>.иU@$r)]2YƔC)tFAJ,ރm !iRptU9ҲuIZ X4Ft?)'u)-^b$z4J)A`L"BP GiPzJ [wD8b0+s>Ƅ8|;[Gb .#D+XPd1PwxN6Db0/Q(R:ylrx edMlQBRt%Q ܄Z@99 _z=ZVb1^tLM9jeD8LeWEsD:IVN#ƟTmBˏ̳@# I-ς +~- ݞƥxjCuCB ߋLR&[gnI۔zA{LbE6$\vP7R7?UP)1feUaѭbm^B.)#d$R!^*~a7&󎐵p5eWUs`\ L"㨄ad^SF]'E&7$!KD7o5|u" QRXa wW_ucNz"ޡFwy7nz[ :%mo9ieJ{ h/)[0bs8 !z(<'OZI*W?CͶt 5k:wqm?Knw *aN>dQJ6(҆19f} 5tFEnP`q!cUe®t"Z-z/U|v1vNA>>.˂o1'% sVPy-J *"h.] ,{@K c/OKW!q6"NTQ;tSp(Od ,RT<1M"Y&gy.h?Z["B0-)} y(!;'^[;Vo֟}qߝIBp,B8RIh9%M# Y~$g%Q}Z'oy"&-oyjEj H A_NM9 xӆt;RwҙDA/sLI@~=xs ># 0<6A ׇSVV@+D"CΠ]g+pl2^ YҫLҳ2zb _LEMHYRņUrvn[U,,ХIJ?fˊ 0KЙ Nmj%Z NttKg86^*B^&> L%Ŵ2 6cw-+<86+9SiC%Ly:Z5fNٍiŸxb4o3wXVj*SP^ѡԃoWۦH$2jUV]nu2PsO3Z+>1ᵛRnyh ?g@m2YMˤ}`Č4hE T*q+8@.Nupo]2C暄L3g좋fzbde:W /ђ+Np0-vxo&{[LgfWTTCqn|y]Z4BLngǽa%ӎC^|I-EL'ޡqLW3ZOo.iᜤj1A _;VNCwA ;y2]pbbwo<7C.𡣫r/nɡAb`>Qp$ԦI)줻~kn09((3L {9St>sվϋ%6ί$N!0GDK()+5pVa"`/c C| qȥ;º},m\o{fZ |O F7xq$(,:ɫd]0X'ofSTP4[p݌jҩHkj?< ?1Kʅh\׹7:XOmLIJaVvjf:^@찔h)!)n A Իc;]4h?1!cʅ#_`boHWEvcYFzCW)N.B RIn&gyVSj%HK*.2~2a^DHoLwyy:e?m>,8@ ҊM &9]e9>5\''ZԌcm 'o@X{.Q\}0n=3~,Xm1dmkv2P Ϗ% m6Y$0y%.K6F&g,m'ar'ÉQĬV]ީ26[C'k_WPluWa*|6ruHrGe+nҏ7{`d @W2 2FZOaGvַͯV /P6Իx~S2MȪ8T|!2SQ t6 Kk8ڱx6j q` 342wõf7R`#J=aص0;f䇤*ȥ M,!Ia \wŇ%q[Sdy:,J#\lש4 t1̶WTy7pz~BO 3U<~RTX( ɛ?_VpBJԹP2СN|G- ~tw Ź< |YW} d\ǕC"1? 3~(dK|o\Bw4CWPX t<bbh0&b513m˭P';Jȭ@_KE3Yh1"SbGd 8f7uU<̘J} ?PYvW68dPwZlQW N|L-_V-2%b̌{:!NFq [9x;Ɍ"bE >*J\YpAi?_F&S9uqYlixoHR 1B_ KKM~Zv~8YTgPT_AS!?wPa) -o6+bj|,ݗb}~dj%-4*6}P96E7ם˙aәty 0 IM șXcR\%\eJ۰p*eS7AcV˴1[0}V ʿ,w0(lSTBKډ#,>;p+FN1}X$WFjXHM?/G)4=4-}5D;W(B!bJBփ/*oPi+pLL?"hIHf&ڰqa#Ϟ#;, M..*̭juytCEuX8AМx;-;GFR ݮQUՔE9$áIwC(ΦO=6qM`ǡw*@ N}^=kzK/ N3Jg䀚VE[#-C]u]qEGWiN~9BNj:"i|It8 }l ğ܎ 뇎w%.L(Sj<oL,UuCaH\VHu7>Fၑe$&'JshV91pIN8KapE=Vu6/ױ&ީ=C3*YQǒS^"2},"@nIr[KB8?^s3{))|ag愅侉&•P P bHaش!q "rD#Nxb |:#c@s*s<:*i6YDie]3(VS7fUz.&nqMeA(Evg +{zW5>m3t2qJ'?IrJD߫ϔĵ#1ns24< VlSoiqq'p!jƂo]@SlbRi7['{ 6 3/6 ]i.#AAJ× 8YhÊ5x&o5SEkz4 b]p<b0iۄkVHTh2GJҪS%|`*YKŘ5APm|m%]cn5.^7)6=Gv"));4ȼ^Q(‡cjq6-:rѾOk`nݝr Ĭ0 ~ `nxb\"Z +wL vKzS[ \O3Bh8(a^y],֐_AT NI&.C9qLQ*HdC!D%cLa&I7A-x$2ӌwFCGr|er;)-I h3G.vhtbWz|:Vd2gwdQKn rPm~uS0IRiuh,,\:Y XT´ ӣ Aw&j{t%"^my+tSčmXtQhf)-iC厾7L]uL)bAj瀑M<A4-$3\N8w<|$jDj! GϿ[/a%YG٩o@q!Ųy [Ac)3U_{;=9u~Y5|]hUď٬f+;GXYz[ ]L0~"ԓIlGd6%҃џdB8zK@X]E^mONB)[d݄"6dC~! _Ұwr A(H%yԞ۲ x]# ?OP73D}.ˤɻ ţ(w?WTwG姣cc;b°AÍ$Q`&d?|4L=ÆIU ;/fBڨLR4e[hq_÷ UCf;$C&~*^?}k uxmm!a.h)/Nٚ.H=+ f1YpA;l<˻dF@'j}Z8J,~ܿ,!2 G|lzD0ۚAFޯDb2H9UadM JsFɮ[Ug/ihe(%+%+ĵrgJOƱ9Xm^_)A"!K cK*VM='|,VRU1rՊFcW#Ԯ8[qf21Ŏkk}6r 9b6G`gkQ0.3k|,/1')c>[GVi lEC=8;wv(eD ]C :-pjٜpVcMTg5_􇠹Tɦ MǷݣcWoq#.i95ÁDi1x֖.Kid'aIzZ5kmɐk{c Є>ԩhʛE|kS5ƨ>x NgX,@"zLH(}aVDCLȭ+Y$-H66Z|hKC{( LI0ʜJYe>>hߙS2xX=*MjoI{dP쁋Tσ-s/[.#Vc(Yc$tfҫkFgyYMn`[;_cɩڰ_aIs%1c>P3YOaHllT ezEygt {M]>stav%v($z j,[LgK.QρY- P4$-EK "FsbIKM8akC2^PϘ)}cgR|_21ǿw΁KPdnn #XMUzpʸ.Z @?5>:"|Kh3͑Hp FLsRr+CVrv|E7sQxc (|J6䙛|Z[_.Nu!Eǎ> lĭi |Z`1  /íɅ^F7od -8"I'ra|,_9 hⓌQV@2Η,5d]~0WX7D`$kS0_ Os딼g Hś/,uЇgHuP˻0 A-/_?)7+wpķ&{bf{kҁr?;Wj@L$ vEl5wMaՖFsa?Ŝ`EE\O'µEIԊOrgL.&;e\>m9@-w *7pstY졀`kw@?xŶP>cvVܟif{l0RBӏCCzX8HMJ>v }~Y.#G[vvq%;1Cu3>}LUNȾqDfݕ ⡍{ Ք(_xmW+$^Vi-_/#;6'P5EhD?#eikMn1ׂi0\RyLjŏ0߱-%"7 T@>%jLD!>Jqצ jc ʝ4,yHQ[d>S]mI5n%9I_@8A̪Q%+[]b%9ׁ*)Jt6 <f'EkEf E-iX5mh]^>jtZPIKHKS1#h#+"aV&4},N֨`S&`z[KbyG_@"NךBk+l@aC?dx8[ lo 9WMf^ix=]g^7hijc1;$&97R$n~DD+@js WtnE|}+<A;3t=>VKQc!pH îToJu? C6%/]ggxg,lK?K!zxrn)jSd!O6ӿ#썴ar,򳠮wKrt&h/o5Pw'NTOX HD~$< `#=Z76-4|'f4agD"k!Fm1DK&%G28InohZӨtt$nŊ[_2Nظ:9Qkawlf# :`~y6M~, OTJd|z9&*(*0g6b%c!Ҳɏ%wSZ/-jp4G'_;~GɩgdG@n]Jc(E i9 Qg+F^T|WX!KUuACkGHf5~5:6K .6E 6pTkTG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFЂ9Z<a6⥊n ࿤om>[=|ͺs`ya[s!ϺJ!v 8nZ,秐RFSjH6ތ2Ӥfc1x=s}Q_t_1zq0ױ˞Nn~QO4AHV4}% #0h".0OosVNDzSC( &߻Cwaxm+ =\Ul  [ƷnWS IXs%fݢ1A!-aPyUF -J"GdԎ`]ɫP2^#Z{33̤GIb"^{_ 'x+&7+ O"m-.aQa}}SD *fAyS<"$ MȄXɉe@TIf@Pp'CbV9Xv1К`0nVz j6T 1 L4 ^Q=tѕh<4K8Y<^Яi@Y =oEiO bqTǪҾȚqƉ RA2xNrN4QYBEʍH:2faBUTx "6S4mpMY,jCsF)7^_H,JuO8){2nNe$pıLw&Q&.Ri048BXӫƴ)\}ϳ[ђp,E9h]=dqT2aY3"e󴜪bwyYb舓܁ 5ex?SxFk