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.849cpu=3.916gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"t9a2δ=^g[~ |_>"%Ү"Z;ldgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.864cpu=1.735gc=0.000( sw_,}YZ7zXZִF! V]ŗXi%BIFeTRώ>gŝR>jWXR+hH^'3{ ;@&C@ 2'r\"%22] یu#6pXwL\sw*'Q{L?40-`f |Oؘb=PBdW ifDPSbqfaV1z: /&8Q<>cj!bc3n^hHm*ծûqs~v8t{N>+t!3Y-3&;鑧6Xڟo*u8W^ֹd |!X(^ JSvL1QiԚ4(Oܙ^J0v`]6ɉczTaRgՊp9'dKJDHz(`4464&wl/nW/Js|'[\l@ X?S3gYZ29dcb089abfa09809cd0e55d38475e362f5ea88537103d488c27efa28e62851c2ab720a8f6785f98 aa62ce07a788d1f7f0daf47f49f5216de134e799 b0b115036b848da6c34e33daf1b42d1fa20b31e3 57edecf110a08996efbb701a6e7dfc6e3a779918 e51733340834dc59497540442ccc770c062f0cf8 $O HOL-Nonstandard_Analysis-Examples8Oa' 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' +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ŧ]aSM(o_K(g$Z9P{I]̞?RJX"y P@A WU Xv;>Ylє;-K‰gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8c]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&f4}# /遲GM5@V(AD'jD)V*g94~E_ݣxvGނM/AvX B : JKśMwl`ju2Rz ݝ.7.@O`oXMm Ol|]m7zv7Buj2~GKXFSB3}ji@sB?r},KFf-4V `?9x^zTo۶49, (y}lRGdڣP.5(ŸQI (ձ_e^dcA oԁ><~/Qd^6-kgb eDj(rEu0 bK\ rrQ퇣~|ﺻ7H2<)-]مl7'gX M玽G.j7el'SB $\0ޝt H2)8‹Zj׾'ti%N58|!6ɍ^M2\^i@SB"cޯGG{}Zv9saH qx_hWl?5AkK9,pmW@~bnlCv{cڏm?Oi>_!ʐⴁƻԷ"JL@XTAq`Sq"zWxf~o!b![ʳ!֘ʂ!rfg<69[ƮtdXZjE=ȭIej:ܦY`(U?bTJWr EN<ܹuB5P5`v$Kr*Rw&>`1ы;:XX޲[#7ִvIwڗۢGl|S6̷# Lg-<zoʝ+y1)M"hdD Gnt K}ѩ/=T3K ̓ .*^HEgYZnޠ1_Ej[M'J{?G.Q(+㨼N "Axhlҹ3p)qw5Ct܁\lVViǍzC.#Em~)缄vq=TkLܧY옐;{aBMϩmC= 2BT ;%c*J95g(&/H-AӒdU.g0`2t؂j䎂=(#`'93“BZCuXV,'Ȣj3,.xTd%YӖjѯnrraQ0я'[Sx< Fo< ?Z[$e՟X?+$ R'Ph[)a7oO}Rsz{kRN{ I*5XAv %Q+tWi=UDkhɍL`4)剟kyL c4P3@KdW@JP`UAL"/0(u`㱘;~)޵i.5N)"5d Vz)q04S #4œ &$ZD+3YO|'1 ?s G10PNy~z]W>6 0[rd:+0Rq% 68i8Br;c9p̩! Z=P:=WL:w@B ɭC8p@$w*Sn_$s TPLڟ3:{;5bC;٘&OY $i [ie&|]WJ5@tf +ԩ CiA)EQ =U΁̟z08N'Nuә*QJ4C;BI &(fag=7i * A2rAE9caTLY-Djm2ݴI\ԝF^4*$4WД"QdؙBӎA8سVp4Wm~*d?lp:},@l̼0xGm@ރ;.=^uKS{ӹJxofP|\h'sȲrWu%P1 G8ȩ=% B.=Zۅ1UL7FsVX2-;=8čP1H`̱C5?9e@ӆĐ!7Ak^2hq?FRgUpɻq]#Tr*C0pɫZc l$4qPU^EWi4hKɲoB$u[zY/ ?HEO eduEZRab@@$F=g@u͵GM /2BfڬV) 2$P]GIU.L/sWn=UB/i)hޯ'+dBkkyMda IV4^AVoi߭60wܬ`gy\MK>'K;u$')qPUn<^pq)<^h. `$IhҭjMŎ`߽!&g?4)ܾ_gb~~s@񒝜e'dDQ|ۇ/{Or?JDMwn[ ȣرN8˦X}pO5!>HBT\=i+i 3& ^{Ncq-~u%SgSCg O:$^SR:⻆ H(+ސ禫퟈v@4RyXUHE]gIiK AU;U;,Fz2ZO  cEm4R"Ci$Ѿ.ObgDTU lV @%!R~{ z[ˉ)L1Hc6!.ثlmNؼ?_FrQn]ė2QJS>˦k2biA<>n`D\lI@—> Xua?w:yn O'c&^Gq1us˟.J;CI({"څ'Xꥏc1Li_ YIɖVPMM<6ޝԑ-]C9Q:_U:_Kf_p$Jo>nRۅ⊎Tmu$;; V `sxK62뫧%sB}nZS3T\:Eey=4x4W1%/mhԽ٤e&QPloZCEKrၭ!LJbI};ռY SjY.@b>Q@[7 ]c3j)e<j[v)*"r:mfQ=4|)\L)n˕sxgA0x+_z 8🫕qsc];Ǩ"$Yq.Ɖaó9Tr.R&/Qcn<=&!=ܮO$N %)mL&>,EOebu=|l|j6R.>Ht2!E2/Sk]bi^zpT7u{6Yj/\'D*qjL#1'nQ)/RJP+qtX[2t͓I h(4蒽8+VfN6YS߄ԃq#Y|U[1שq.EyX2`LjbLzh=ܥXWMY'P/{^IݶP6bv1sבZ kKY3Ge?iXo{GVraAM]W"N)0R;N!3;orM#]QL+ eX/z;u^E7$$@7U+< w1% sj k/x + ;Q61==|ygxgi@sg5]Dr9'z~~Mc8$0f̆@eR%{?V"U\X!r~ x\[⫇rR?$R맇}N!UX:7Dqs"!^^M^, 4n5?Fq?TXN(E [-;ZK~/( ]fh.ed@녓@ʩ~vTD:Aݑ0= InWWqbٞdyI4Cp<'z[*-YOۢ쭕㾎5Dn1C+GDۙp xlH_n- ń8)"|V8*Qvk#5j+bYZ$ ZmY!z|g pwl.HܿeQ ԃK˷ ii,8߫. J Djq>[0"No[!Utm[EHA- @tJ|T?7ʤ΃ګz㛈6#}}DALi\}DSG$[R`^lq>;ޢM<` A#tRŦ$$ N)9-֜QVB~5r;˃&؅^N3KXi=rH6vW{P_hB3,0kҦzmMk 4FX3=Br6_ #wA%}:Aq[,FTmכ]]g#VHn:Ś/Hk où`R-${.L6Z.7x0`; 34ƒ5@Wa\*WJ~xzt=,'- ̯ٗwGxy-j:EKN7O՝8-AA9rcϦv1/C%7O2lvls^oR*a}>qPI}_Hlk\ɼ).D"9#}Qއ4:%ccrvi<5 {9H0:N+Ki*y2Ǐ J_x;򟿼EzT~^׽G**W6sڀQ-M*֥)TЪ"ED5}@m#ȤX3%S e߷=~Q/#ݘ<ɏ.j5cuOtM{N^Of<2/׈U Qb6,݂O2xnBŤy9]0T9퓟7̧ TCࠣ)p;whٚe ^e+\O&u͇@b]WX-`I5{.0=mCz}qV*QgkS槌YY&+ dBiFe֜ nK5jWeۡi!y!{*P`h¥>>hG8ʵ!|pr |կ בs6#=s^:. Fx\ՙ[ɖ$OL)Tc-MRc/E*Sns,6Tԫ׻l)>`VĖ`B(?>,$b'Ew71jf3@\h 4~a#,d׳z/ U\&eScPw #䜷38ləϯtB~ۯFKp\E w :k`l>*:k$eIE;goQϳ:ݒ q1Ls&\%Z-zݴtV D5cmnSY|,>8w.=ueA@3'Cjd \;Ϗ GDӄ_p+E?Nٚ|ٍՔ%i۷f%k5>3rsr]WE#XF ПȽ$@.2~=;y /=NB{['1a%Lt ~t`,ݜa$LNjY|M0tXF XUG|&&U*$[3m6Oh4K Ԥ7/R7Ҍ of~ݣ]E:} 20 L汝9zlxzyܪE|.d 1ɀ\ bviy{<21ox\l`$XݼF$of& #lm6 S.'[Z<1ZTjlE{Z ԜYcɈgq@|$GMK|1Dy~1,ާAd,S\H!8dG_^- ge %sN'3)81\/DpUEAC0>g{`2! 򃤪z&@h6zBB lg/E98vn(}BZFl5 B8oGްzS? ~īޭ&|r/Ӡ".;='oϥ4PgO0׭2;Z$w5YCx1H\Z*U'D?]%PFߡc%>([W G")s@\|{bC;#ӱJ{4}A׋35Zq~IP2īlZT}_r $#4y>"׋3r*9wFT_iXѹߑV?Evl{ !LGX5;sJ"5@h|yż{[Kr(; &FZ>jLǼAL=韉@9E d`Gv3aH1rQ2 #3f;DL*㋏.kτB{ah)MQ*+jT!&U"GzE2vF!%⪈} n "NP RGK.`JCt@AROo5MgYZ nd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\jH߶ͩ4(r\H"&I"-93G-k"ǫP=jU"7E Ђ>/nk,[cq$r*%0 rՕK`H:P֓,!}w+1an+^22c3ud#d%o ʿJL}LmW֏ؽ8\@0Y9-|nms;#ٶ\pIb{.wzӸakw]i,I9g0+>t6!Qemz_oFwPpkdH R"]a:=B;VӳK ݐuBβ`:!<~m8nˡv~y qxс1V/rDlPt4J|NhF>7Q ͱgYZ Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y M:Uu禃S 5|8tRNtX*+':DPXv>qfD&P[Vy(q,c6OGbMƞEn1(D Dm xjLW죹 &)+  H@tsQG(')^A\0FeDzx!⊃%N͒Ee<7H*xWt^7Bg@&F,bp Y 4~dW mI1Jɡkv}*TRirN`D֞ɡ56Bu8}.ࡺeWBku*]ueoU 3/^zRӢ{gf{j'kIA"\^vLH0mUkWa?Z{jh*&^e̖^1)>|N4521fIЄj}p +NG;ȔZVSs/O#}mAA#9d߶6jlO `E R oZEa֐MD%-ty, 8YX X<&(=F>Ls)$p;rXNYԊpRY/@fv _l5suF MYcJZͼtyjzUܺCzۣ߮3Zՙ$UkGP[Qe뛿d$C 2 z^n&\fE;?j ]*y6ҤC7sYgO X -xcF m(Å9H@ /=W.F_?/-8ﮒȇW$RNⰆ !l n-nGe--ˈLQMᷠ"TkJ>+Lju{ +#7gKZF6adq޵S| .1i5\NdM| A(\'fk