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  oOpDwՔ>~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ŧ?L1I}X;=:I4j.ꄖ0~a{8 un{^=V-Kʃ bm_!Y` -:eMsdB:xQZ{iKĂ>VA*^Ů'萠jJq`qLAίW֡krVb2U)+N#-ə`޿#pK9X􂘞0[< SpOad$|F\wp姖IL<)]'RvJИS7,{çƬH6JɠX+Sc &_mx+em0Ǧ&#EmѳU֏**-%2{ _PPM5"H^ FkmWÊ!{IQcSG[ MY,tYON"b^2_1j3e6x^~^S\gi RWZعz>NķQh̿5 [ca I'OUCCA^_--SW(<Jz+ɵҳDਚu1i ZnǺ'-Qٱ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󣉫&g^pJۑ7ƋJTx:Y|H& Nϲ"\7`1Jb ý(Y0SI ԂA_נ6}%j]"Fq@~5(IZXd=`"EϨjR GBg>5&* W0OuD0 0p|&9!y [w'xuSn5$̂Jff|_Ž:p4,eI}CfI˳}XLqTtU?xΗ] -0F*lN i'R)H.f9<@z7 e)=v9+ _^UNiڄ71ق􃕦maӶn rW- fkPn[ºTW$Io;>M=CzAIRYCcQ]5 =kߋќߗomqRR> ^VRcD'z뛸oi U3HJrX0ҷJ/7Hi7< vR6sB\\CX};~71wkOs^ WD\`v u] : j]r eǎq}d(~Q83cBiTl5ם3ЬCWΦ(-^&mu(4.׺G0HD}0>Z-VBV½b6{E*@etiDԊD72kl-J7أQ!6unW}>*8Ǜ)۸؋gʬCq8u(޲+E5r*pNE2Ȟ? ~Pg/p97 Xc*R,p _/5,|}9' r> Fw0p^xmVlkWpAVB6G:,kdt'ɤ)=J={Ǧ@l`pYtBj,"G.L}gYZjȟ9Bo6F .fL Vϓ\+ԏRp82@/&FT@'`iW.PBgмKz&=WH! yp/'!lR]qgdXP՘Y^S.du.WJx'⊳rhwqO@) 7euFfՔ-oN`,[.i28GuW_F(4„B4 )rS5,Nm\4DB9ʹݔ̷А/$U $za^+<@0P3d6;Kb׫S!}u_7O xr.agz\k/߁V9]oJ{٣by шLW53GөM2 Tދy.ׅ燼y|#+<ؐfWu~\&pX`:0r km@ʹ"8 MϘC?y fwW'6b*_HX~|8e+']8.D>::OP7!%WoMjhHqiPeRSI˸g|c@oKRGQ&hѧi7f."aJƑ(>ra`S";ճN"Vӏ#!ޡ!S9%'qmm8[ ]@g[ 0wS'I03cxl Oֻ[YރiZ7Vg-eh\MǑiikד - UL*>7@K* ƌ@C\*hCāNQA 9Na :G6Q%GYPIQBv F=[<#3R'EPބ-1kY68"s~+221p 5[z:9_^^,ـϡm^XY[%O= LQe9W]MwZ3tkv,) o ՟'ڛbu[b6%l&s֪ώpR#-@ޓ(XD _74y؏BRN@$ īK!rlץӉL>V 3XZݽOW yI3U5mTO}G.f?-AD<{[{Ulrj<` 5$9e KDQvU>)F-H;yՈtN{ӻ\3mDŽ±^eȳp[]2~E(ff#Gdb)O+Yʢ`a9oELW;$s3"4[3B@' cqIx!3@eb:/ poOSM v0[`z{\cZZf k|gBPe݉bIxW@x[G%^w:WaK aO+rl!N2o9wB9$dVb8<RfN:g`TB9 | "$#-1P Wls>N( Uɴ&2y4(mo4:*!]=F>dAf.䱒A:>Q;ŷ |TVymVJù9N\z CѢ| +51Y*X r[zLrb%Σ=T2M:[B r39., =]&..<Б+Fӑ{c[G%dLDk4kmH Ȝ4k/X[sWܞЋ)1I<fijcWUF]UT4v&;RPdکY뒎tH!G7K̹WtҪEI_ή /ثĎ~2J .`T}sk]5:\u i;{@jPa])m<ܡʗ3Mf" /gB!LZ3>(,?cS|϶f޾͗cNE-x'/DZl,}rBߨ 4N"KEM 1Pa"Z!J ˞,C`C5 >7}&}sĵ"wzMs.O?X+، 4 b3oBƫmՓsd*3llMjCrJx%0`-Y\np^oxY# E2³oZ:kDLi:=tł H:xY8H_d 11ش=P\ٟHAd=-ִV[9;Ȯ>hU\z󩘷91Dѳ537?~I7zIg7%D'&Fy[9}!id&6ϼWXGZ?IR-GwSZPl! vha~`i<8Dݴw9&R[v67LUjVk7Rtng+,׋ʳn Q鄚yxs ҙ۔IX!z,2{7Mȝrph D shfjanjѭS6`K`Kxo20~0bkޢQ ô KPOjR;x5[fya\@B)]E`*~m^0\`H}li 1wL{>5 ,HȟrD"`"=?i\q^tV2*3nQޠa?;u2n4Ab*Oms] =1C6OAgQ6IUW)oY`㇏ɅzVrdi?~©سpX-&ҷˬSE2 ! 0$| 1L?i.Yuxӈ" $D6|ap;9$w Na b;+'nD9,XMAofjj$$7~Cc*af1bΚNt qljL5IC`x'jؤiaY[UZ%mDmC(:ą!S c=CFĹSR*)E!Nn`㊄iqǡ4ALb8|2oB%-#?&=?q1] ?A IS֥mO= 7&e,YQ{Nf r/M&3VVjˊԢ4嘣5=Y L cjƸȘPHo+.H w30YCUPn_[A7.6L1(m^0YB$OY'" `<^'nS~o broDʇ)ޯUu:1vc(8#*@V"}wY:-G5D}mx6FBV{C&f:*:, @7jiTXu!跞7YW)Ɲ(:'t>5\< x[l#n2Rzo}6dcs!Gs[x|-6<؎GeZ SmD1࢚xT/׵:z,lԩ ,U':/379]wH6D8=GPIJR8xd/ `׋ke% !5ױ/ CX=lVy6,IIJj~OUxJ?%أ?59)!mjjQ$\W1WBO6]gZda^cFh˫FĐ}T$P~voxe/de*qJ^7?c>u"=)郠^@c$t)W Y@:zaoNso tJ4n qx&!3NN:V7Pyt(WsiG 74S׷+fؔI]W<~Z@A%P{8ǰI&Q6BNcUA@]wIQ.1|PP#'ֲ:vPJ-nl@`LũUuqݸ >Y叭a߶=s܅vC ?fShdRz '^[*kр,Ӓ]xؿ*y|֘ %gs PU>'쇣}sQ/A0OFWuv@{3f?Xpk[c"WmjUP+ ޤ֍n'vM|\\JDz۞X޳l 8u5F4=Axa盧ү%ZeI%x&gz]URzt`!5v?Iֹ]+jؑTTn qM[lNo 1':#F ZRA,{=OJvs42&p_Cy"a M=-]'䋤JTI ߟAb`Rg)MN̻ugVxdI=]ʍamp&'撾lNtL\0(mojᑾtnML >la (vTݬfQb*^ʋAIj#aԯz-Uf͋=|6<4bQF8K')q WƢeF FZkҊȇvA :S8RЛRO.8"T(uvn <1yG?E?΄PK}lo<rA}qbdQtK!' 5JJ3 WKR {Yp=7oP z2"D)>V>!Y8oe:;x]5aqXx+p4ds#u +򲿒T UjOu|tg%qTQX% 趆/$⩢owpEy>| Q]$ V`V&>D)fQ#eX,=U60Wr3S]~r]&D4vPi~=_8XMd l_N%ߝX1=( KE%> JCAɕA)m#͙Ah;2c+6A. /iJ&{~b-7wV!]\:~GhP䝤k\ӚyWsYl|N8Vj8M74-'Eg- ;5R]=/[{\c sޭQKhx1J3fp)__3Nt^gkp,u@l[بٰE~1/g.ac!IΉD6w n[a\ﰵ-:j2E]4,bZ Cfĕ'*YbBu~۽|`e] ս4'Ґ*X%vb  ۵v^jVH<ݞblFɜSRG=F6+`UboOf1SUZg:wy݇pi1R{&QkޭD9FB,E"lR  t66'v_#& 3KD1`9RÍpaiE wbP-m]N9+BgtHa.g] ew-Qt@ 9t9b\D4eAz lPQUoc4?~0M.'Y_$r(.H/}%wXuӯrHc0ӨZrMYefNU$\O+N窑_tGcXE|WSZ<(4S;qa5lc$+x kjMXvZԍkPИ& 6`_]JtFf_q,}[4#ta,4;Dp-2P)Jiipg77#!m}Bw7!TC׬}*0÷62 i\khM!ViAGq22x@Wьv7OkXLd`r8W +mr5}l\}g^m\)K SBV|1wcJuT$ј rDiJ@Wʓ|C9;gDƽ{~y~$T-3t/ƇFh5цIIqCo$˒3ARBqtX sb@lw[IYyF .+ߏ<E ";Ѧ5E"MZ ۸fQu+3CPI-"WuW}᳌pL?oni ) 7,}I6pUsˀ#_~|')4>sC96d`>r-kd}Sn@vղ[\&3o`,Fǰ@J,5(3Iamƕ:O_3B*;s-BGB Ȓq{-]~-`ގ>E4D D+:28:Ћ-len@b9 /t /RH1Z|k+@[RnS(KUHVY苦 ީM>-şL inLTm%/)b3V1,)-1 ԂZ޶XMprƇ ̣uB"&2Uw`v\ SWW).Kv{3q<6A'6Pٻ GJv_m&zi:M$ <d Xr{t鯪IXX4Ñ0 "dS-2<_Ƥ< T~,MK[- J}w fx_Z=]` xBbI*I Y݈zҖ 9Y"ir tQ{҆CǮb"C0JE["Q7YX? fl\UG zoob)rfw-XǙ`Ugh͹؊ٛRWNGN0,/O$inHĢ;!aH0n"aZfvO5 J?-4ְNPAF)1Ey9Tٺ- L.kƕ17QV; <Ɔ;">u9(rTs\aJqu!\ʬ<ԹN+u{cn{"XY򦫡??:\*gj9{I1U(4'Um,-Ohufl4tǸ ?U{S8 cAntԠ``n) 7HB;ѼY)sj);~=={5훎U 6ce{@USV*P9I)K Tab=^To3ŭB6GP@uŨ6<[4  3ɰ9aFl6/ 駁G-anNL4q$y: ާݸG)>[e ޷rKĈX$0v o˷KAU]~BZuKTg洛]s| V흔Tp>Tjۧq2¢Ƅ?gɩSjrrlžc~̓qe<L#6&#C\HmNCtO/džGDuDRl1A ^B$ejYF{,6 ;ݴCS\0;^|ɮeɄ~?$Ev-'GڰfYT>[S&mH|= I{}>uv#c"XT%g 5.48f 4tX~ov=A dG3c։<,ouޖ3jd;XJ2/C9!t8q*u+BK2JL=$ KO ȾlTR~{y:n۟ΧUMT]j(;Pdi:7HJL @zy0w9~އ&p[c"!FG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y ٓ@yH F%z϶2ǀω"YʳKJxk;)B}KpM%S~E;3K mc8VX0oC#B&pϗE2o&>.a$r"qχnWkMTģ ɓnEHhGuÖ =ZqaA:ó_| DavmC.9?`F!,,ÛĈB# aȄY9}&ҍLW)99{!wTYThtSi6b zGj .,Kl@ B_s_b+ dpOF@ۃG5`* tpo\{.nYK.F9] _QYc=:kˡʈ\uܮ 0E^&?ºIb)x=\w+\RpADaYd6NbfJ68ԳPDR^Z 6% *Nɝ?3ԄQm(-  \RyO1N=2>:M4@r|Ƃ6hlR*8FHˑM])I8w? g")i႙d}~Y Q> \,ȥ ͂]E-1a16`DuemL Qމ~|TSt //r<XJ0.jgApټ)v'opL.=ϊ&:ME=؀E:nDIc؈FYxľu2 e=5\=LrccNQB.*c]z!A%1,ӎ+Hwh H1cAyK8tM%'1d4kqc>sh$&XΎ.(FkU;%I}%`]z>x;'5p.%jb {oןHo\H7|Z>1@g8^k;I^xψưG9بQ4YJ Ѵ(PE+8hRnGJXM'O9S3OhgʠJnNlHU\ SkL/ }Lۮ>T.ΈbCo0ZUF֌d4o4L f?ec(2d|fB?M+2;ok XIiّ0a:pC +D'_^ 3t)!b3* V"oj!VG^|a9`mnÚWiց2w6AuB/{FA