SQLite format 3@  .;  B --?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 N |D ] IOA:threads=6elapsed=7.602cpu=33.704gc=1.656factor=4.437zXZִF! *w]ŗXiɟd)&]hS.J}+%O-7DDA\:cdc %(M^f eOySmNbKpѐگ2VѪyc# 0{³"g|۰ÖNd+0F%;s8n͂0!CJT<`MJ~։:= jt2Bp厖!. OU! %|SNDD.ab,A*h Y5|[gZ-7IZ"|vm 8ۋɈٵ1|GG@I7g!yvdm)?4VQoE>kvֆJܽ2p:E/M9i碤pis]M*7)Ow!IxK)Lڢ/_v~1V!d)uw)R㰊M0sJE'} l ]A-AOkjk-dR菉Õ.2CE&[) wl-s_?|X @> HR !z_e$SwXl1ۥ+Uƿ-X||_# Z"mpG4:vB5& T S>%"T*ر8Gv}h I'ĸ"}ӷQVObgfp᳠6őt&ʪIŀ>uK%y}eLK$-%!xAH*QeIvO=v%ss06R_nnЪ4=ȑJөnGI$ ;KS g_O u36rfO.[;)m݁ܗ}kIB̙A@ ~Zg,!,;Ba98- FwX̣YfݳY-2\kuEm*Z8%Öz5|־ZHiQ̝|};Й?/ ONp8!ml#YsR/$^b5kp#ϼ5 8nG8IUIRmݻ mF 7܈[]𱘒>亯ZaYFlX g 3/OR/{IUHz%Ѹ}9/?hXy p)/BH*3N`p d2qd iRi$60y MBkps H 8fԐ[0n YjM[."í\M㏫ `"?#,~36L8P e h*'L}4"k3`%Gy" l^Mf3Zzj 8"tW¼Ui ߝH35V3B wID8)7KNpPRMl!78.>2S X[('7̚0K))]nѺF̈́1A+SG'ZS黮E OI 9h!4ө46T) ï0_k"y;$P_JsM\1B4 `M;&%]d"N{P#*?"UBFݢV^z{g>gԭf G"8j%mt;wqo(W4W\22R ]іĕ g2(8KE|ŽO1u'B:mTU̳cX-,;sfdG*Loot օl=UڋbaȚWԆtuɕ \PA<3JK/3.|TDe;*6)y i"7)) {*r;Ef@;,z=/L'k֣da}DΕkcǏqXn`igw? Sx/DxynARs5Yuu;w'xc+hBnSR }YW/7G%wp5}egGѽqhy榇{tx0N 9'$ɗk\9)~Sx.[j(ŸwFaxΤe,u׭ΠÄ]E uWl^n=63?@-A'qwqL,7Hvcn4u/N_~3KO灻hI#Dbͮ+oyH>5šY&oOft;m-fO.w%ŐID$~Ęd(TC;W-FɍQy0R`J6* G>Jdn?y-7T+tf|u6QvhNTHuf ׁ]\NW]Ȫ$ŝ)@7Y,tT)p.%9u 7=}wum-]QEA[t5:*X)t=!%*^vX- -;byaHc=1?/ڕ1kfYlDXDҐZD\H$훡J`rQ@jArBIjݫ?!y4GU|fI::x—Z̏3*G<軻n ?^Ռ'n%:? "+{WAj}Ϊqgk-Y ?\cHmX1R V *r[EO WU9G͍WJGM6^к5IynϥtH!-kKBd,3ۻ+6e!O-%TwЁ2p $Q8J̼OiQ2:XNu)?ipψ]d8(ԁM+>i$jlH-`5<"x;^݌0m,NX`%㈂ZGWHK+t.Zʡ^ݪuI3XKk uR3xT]&t08/Mj2m"UPvRۅ5k.Kn-Ei[`hίpmZchv=t>%=֠緅rnH@pH5r!G`|,pP0`k?oX#hk!4&OKT_r/+Q:1wp-\ŭ8K5L ~$;H@E/lUFu $V>gzuO ?]k2)>=9ǞBĿI&L׿qn fQ:M ?zӚӡ_Q13Ԁm>~ 2b/V߇7.&< }czB `:R+zjW8WQrE4]<'lמ(>5i|j؝ to1 f`Y[RG?fC#[YT,_0Ԇq?l/t`X7J V_o&8.ǺTX5I@-$5D^! Lx#ݠ8fF8Ojq0{=[5PN`"z;eMfEPRbDzz-sU ҏ* #f*B#yAca}<_X%~u[C;txWaZ/"[o'İx<ԏ>w ZN؞]M-ȎUk{n`?˛we◎SIpvȑ,7<(?^JYn~~gnniB],5*~W%S; ɪrmPZpuzĊ^ e$NW:qPN]u8#"8K 5ٚ3P֕rA5}zќ9=ҊZʒazR }Y# M⽁bp%Lzɋc𝊴 !M{nr'Da 8S7}^C$/rк-w16gJ!,S5JخmM\Q茏aMOC~3nخNvf#3P/nϷ"! Y:"ۙ= m- az 2PnM-cp?s& ~^>{c5xR6؛>b?WoY.F"D^~Fl[S0qW`bq= ,7*쳫_Dhhѡk2CxP#v{RY葓+ v/l'mjлWM AC՞ jB#Ҧ N2?LǪr_qfzhĔPiO uoc&y!<]n;_$[&RV ^N3M}gWԆݜmjwqw%[ F һޞs+RpMCƆ]5m=O`TI(v9mz^?_uFD1M/c[ Sdjmb修QuzD|%UBXGq/IHFb8#wJsd|WHg2X ].W Vbd3",=Y@ٟ$raE~]jOǫg"{kue:<$B cm o-?HZxW{6O4(2p(q .z *wY,b0(([`NGl4Ev|%VRey _^5‹>4sJi1&v|}re%, (W$6жÓ& vfZ9oi%7_)baK" 6&7x(7DwX4JG!'\VoE>,/w3cɾ`eblʗ`L|K3gJp%‹"APzK Ya 7"~GM~`[S'Iq\ڥV૊sY47tJg 9VJ5Ӽhz-e0cyW?_6TP:?)̖KLLC>5xVgC qB̩]8d٥t}9jBI}s$UJpe)պ;' Zi(jyzVA>.r莉4͒7{Ip ˲3U{f%_{K~.ɠHY=ǧAw 5@rWc}*bOx[A@Kwj[@H˜QkzW V&5BS@CUzgx榡t- YK"Өj ]my]fHTIOW.V] W¤ɇHU5{XIcIբ$SΗ zqX{NF*,je"E~hJrܯZ阣cS@͊`Zjxuu?'x;,v?l({@l(tPtE6%|p̉<5a <0bl挭HpR7m F,ag`<*|R퉂]NA|2SUip]vx6jCߋIOp6̥rJc80&3h16zAҵU'#*Iʓ-ݰ(Djv-l'Pq>ٺ`80l=+jgGABeJTk,)-¼&W(! ,ś~MTe?}̹Hp r?^TaX5*тa» uXp \fDyTnuh8HMZzw"lK'r &-7B[[AB?Z/o>T |h~L[u CֹQA!er9,Oh+']HerFu'~۴fuWMz=A֩ ^Rx} .zo ȅx,ٟFlP3'-o/^ڃF;oF E+Tʣl9''b%ފxdBe_ !vgiKc"n~>,/dۄY@Dy-nbls} ɚ3pq +H"Kμ|OΏ.p1(iƲ, ~Bhւ6a“A,v<d^ہzVpmFEgf^ f,nJw(dY;:2,rE>򘄎A8 5|#LZheJϙ`|aǭt 5U{@Ϻ[xb486솳?Pݥoi=7KҢ.C=;7u:K`^D \gxc1&TЙJ%; ޓeNmbJ R(!uG1Bq>PqÿXgVS~92N>|'6p$4T 5oXY uV] ي }OaJ[<cnkj\w~5z7(yLK3%- G=3>ޜ?Ś2`Z.|kYL3v̢BlA+@S b36ƅ 0HL3'h&TrnfJl[%PG~îFq<_ %iqqjgf'?dqdt`Gjb W  ]P )2 'Y,%?svyV% 1 4/@jO 9e耽1<PU-8ic0Cu:?ګYm;#@VBIO5x:=wh0X+ eʹv 8,r3`Ӵ>kWy3"@}VӁ;,Aѭ|7BsBxH2+ /q#F&^ĺM>E\dTwFywmz߈7/~w~T"BD2ӑ'o!ݟșq*ʳULi`? &ll5a('ں؎}̩a)en=|VF鴭pFc hue"นTE%&ҊDLELٙMe*((>TpX<] J35ef͓ s<\KYO̗=r^SO3/gj$+8{S+TrkX`are`k%&Rm#NpE "Z7 %g pF ) ţ<{r| # Ëkkٗ1\q>H$EP 0 ?& IQ#KtEKZlaM\n]4g ([F/6cQH 0<ƼW@A5 #Yш7='M;8Z.a< ;۰aȈl# õ# ue/~-fSK~d:)KEhƜv~/ߺ0.Q8ιtpC<$ _~8 +F9 .$ GqKl%KO0fZZ1+}_`핀cEE* {_#i!YTA 4qP稱wqƫ=yw-O"[N,rLY/CTD1`јQ,yF8>U lKHo:1 꽻4Z#W"H#l[1$i֙jmP-+%3]!pL)l9~.:Ŗ#\D\o^@ûrEE3XC_!%}n'+VfۦA7%!(?Ģ*6ףּ@T R z6mf^KU\OBd8|tDSIИ buIGޡN@ Pg41vOpݜ2;Ei]IihX?3(P1'@31D lI.ZIm ,q"2@BV)G@XBRI *gw0ܷZiWQE0.x(bRX9aE.,QaJiGT?j2#T` q/2s, 굾{')\#~.q$[\ZߡMuxySbdx]Cͩ҆ 7HzxXaq0fB@܄q@`6j4g4}ex,h'J?qP 8WwXji$`L҂,T`eO5K'.HP<јFQqJcL{oM]1s^EzY,\7ŶҺI/>U-7W{jk_1vK)L0;ՋpQ }pOW1AZ?HIe9|kuS(O / 3BM1w]Gꆨ]N߱9Z˓r[Grgk @tnj>pg54||{tv5 ۑGU6+p׌%|{8Z+po2=Ge{ $5Ao9PsZ\4h^$F)6qT0gd8[?Il@}Ȧ-lh\]Y&zIiuM hڞZ@6hQ1RpŘs{uT|3 Z{b2kH_,@Q%0J䠃lKSZ2A ZB{ZޥHb;AP:y}_7%Ě[ukU#4N3(ė6Jfj%ލ9# T:гDvfQ[i` 4|™hdOJlXu Ox*Oe$Sc. r/M8Z/WY ̫#C<] {[ô2M"FY./$tH)}N5t_V`IrQ`e>JZ#@Z4̔|!T-n9?_Oi.Xbjp*@GeL-ss&FC}8%JM4ァ.2U9^drdBMbUZTṕLix䒛:pԣ xG.lQFp?,`MGtR'?l!~{DeMkܙQғ]I&mD,+0 t"ѳc"{^/wFq/ʓ$0>wt;{_)y4. Zl0`i{W1Wt>P:TQ{IRxs MAf%@Tl;V.l*/"XpK]fUE \yǠ^vjRFlfis)ķԉxg[{"IxݘHzU. >S7Qz3ϓVx]m,f (THٜƚ}-  Z%>0cM%#t}9S"dE TyLTJ/h:@I!j:r,_mp@ R$Sx?TL |2X+OxLҷǹB!<+ CL laST[rX\qt]͵>W4mT ؅,B 5(l9]%G>a[=ʞ=@cʕYrf#QFX7^m$D*"A}"j;=[e╭@gQ쭷ڼjy#1E26xBUz]x/xD -ND[E~$GjRd,@wtޱ+{L& A\("ڪm;Z(,$Lr N9cEO.EЈB6NGhuիs(c v17he~ZH 2TIq3^v?V YWdzR[r+QyN Q AmFSq8}E'v⵱ uuآ'SEb.7d/LKVV"Q )pOƍ풵- Co4ӏ.̜z7.,o3v]ў% T/P0 kI"YbSM- $U36A²n91b`1pjg!< >XoӶEeKDI 6ew<Skd/+I0O tUq!= }ozh,@?Jj jY-uL8WuȎJt~˳ <Ɂ~ηU! Fa.nE;x#2+z&qSB[ RrLVK343]!cǜ\GzEmpybĦܯt2?2d"f0IzC98j6I/"(c^D}ʤ|`iȠaa>"`iָG'2`Kک{'c>Vɓ. aΪa=2;d4#S,W9u[t%5qPizǰbg׭2P̥d\M =&QUHl^rZT^OXkRZ2Pe&yǫd8ZH+N|Oa^I:&ԒbU%P\OSM} V_近Č ?爂52wG0H&ۧQl!B][Iդ^s2FfqNK"4Nk[du"BߗduU*ƭ_r6Ǣۋ[Q"'XHbA0dCgXM+KFu/v^3TX缵Y;?+đq[)ؙ#C#w !UZ{4+3Zꈒ%Q༖FE32-Ǵ%95TVl7mWRz4Z꺽9 ߌn^ٖWENBalB,dk7Y u*\zzSz#,xYüh~CpphV>-?Ĉ>θTuZ+_Ǎ_oq^OJJV_R`,I]Mw9Vt:v J" 0G%&ɒ7G@pBpSIlYMUw] ]2 > ]6F? OgH Fwuʡ8IrR_WElL[6*׃]q8u #B*p--H.#NU ":LK\_ vqt`$6uK< yYm [ΘnEwib[<[&p@\|Y֓N'/dDVj uXCS'A9/41 V >dt*n3kR$0e :0YG T7~Dݻ7͡J#h d/'1a#v C@sخJ+#=TQ·tMGWdUYe9ڡOld_EŁ:.uWzxy7\T:PP:oބ{u e4ۜA`G.:wZ+R_5$JΙʋ@bB]ijC3PZPT;pVsH=PԞ: P2!h-Qh)ozB_37勔5֜`| pn!eȄ i߭b۳ͥ%#zl*S #GN9t@@>C"5G&`>{w|8n)XW1b7ԅ14En*IԎ|G$Pt0oH ={SeD<ȊnG1VxC͟#٥әU?7[>Jg%Qj.b_.|i:n&V _k Ẹf)Z9%Q?8:@qly7"Oq?;[t}"`b ƅXj)/Rj&R?R U>Avt}{*'Kɭ?۵6/]/gYfxv@pLY8 e*s{;AJQ8VNs0AU֟Zݸe('/f~Y$~8vcD8qbG p_w!VFʭk%Ӕy0 Ntr7Ch$K׬: TySǓԤ+/ǘpA؊sh ۦJ_=3WPXXtvVP}&wVfI7S?f"<{>8~Nt}y>I8dBoqe**<#[߃ohoCYUrAe4Wkkqr+1ZaD=P*u jÅ˓%]/Ygr͂BθY(V<8}ѹ"ACZO%O,NO2M0.4hzja859,`vN?vǮ 71tI<$9{\jt! b %jvc#63eYA-aӾ_0YC?}~q+xKXo8mG@HN0IvpZ:}}ھ(݃LĶKP&N.{1zg"$^tWd crrIq S,(Lk%aVzީkY=-!He$]8.o5a_;8J0єTUKW1ߜ=(J\ F:wґ4ɥVVL5h=)jtA(9Z常,FOl-ם釤>5 k>rzlF ݡW9@B+{聿3iJbwxQSa²p+I8z'Ysfl#(Җ!7 y'f kK+!Qx: /FX&bKN 1K8< ~[8?=dgRpI |#@I:?&@C;ee,ե[8Cxf(bȍ8U"|O[:D~YE1&~ɸ{yO βj?w:R@ΚP)8xw=(;p#ǂOa=L?Q}Yl\lH@J;Z!y߀f:MT& Fѳ -" +$w p(ⰼ}V!bB m6Bz7 ٍ`-ӹv8u?:*ﲐ@圎_+|uyMvmW3 MȄ-7)N$6tѵ.*r#z[o3~Z[кp%o#oay%uNkqHKP~ AZޏB0nf`? xo?.I,VAWuRt(;K$1K\JͧWiXlןL_{hܗ!47N^|2x*XOn~P*+~n,^Y2aL}ܯ4 SuY-w!(XM}!n𯽂/b2%_\$HtCpL}'< dN] yȟDo6BQ(on|[dhqS ߟ~Ê)9b U.QN%%mg `!Az?k.G$,@5$dM$_-G Ji%GjpRXp-u ~tnq :McBW$?}@|K$kFc!Ot}|;M2r}՜JkOZƽ %X/fSNu ީFr[]vԛǿ<㚹34$ubh]om이b X_+?r "AG7!ej7CED]'vϖ:9&(*<wJR/t6{c MoClVxX~aB >VC(Ԇp,#C,QE +Z^,w^7D&?6 H`&Sʹ2/[Ei01Fd4;݃nf%]核`,;ah#"2e3,f*@'Ryer^ol^PXAN2td|qWs`¾_,òcy#(oN:{;PVR.|tKSS%*a)Rlײv߿˱4?^"&RhwZM9`rRz(|5]y{z+!"!K)ewHsa:ZgTT>JXhPͮz!$v81B.&ht:+\V0sAV cߨ=T1.>Jd+9Ӌ?ʳ @F4]fzC9DY|8bVsP>لVP,G-ȭAa$CgQ'T$PG+|JHF7Γvק-#:m>e/2?C׍dZUN$V] ꘔ1:n,f1k)"6n\ 7T fpٳ aRP&69Kc}biRMT 3EQQԌ羥X ȋJ9/,Vne~/ۑ{ks$%]K &xu vtVGң9ڡscj3NKgPT/`Ey~!G6 Iݥ{WuHmIfaCtpC{o"ML:6 huSԿ~**^fM 3W6ᄛļ*oWnyߓQ$[m<:KO>v~Gύ)Aڌ >U@gJja0JԭL) VZ,k׶i!CI =Y!VX-5>ltPhJ`Rn'#&w#yd?%t/j/jDdMA{:Y=_{ΡCߘniFqn4=q 9W eus J qjJWAlex7GqB]A(&q rl%<.x鴔 Ÿ嶵 M yWi_ɘ@3͒.d,MV'Ŕ2/fQb(Z#I{_IM;s'v+jKá{m̟,;|wc " /}5$FGg٣>XD&xI-^A.ĂkTnFR@G@fw YaM蟩JO\;X0fdM7[*+HJ퓋Gˡ`*dES&⮍py9`}9s(MDPdwSj<^~wla! J&a˛zV1mfaIU:׆ր/j~Nǿ+_r#Tr9.c7:jק;- }^rASge jJj(>ٙ6/ T'wV=t%oUt)y~6tvD{3.m?K`%3tuno?~ވnS8_`_e? G;q=񂕎uU Cs-GE5??8tdyV{d1[iC]C}П/e~>d+es<6Y{R/_0Iۘɇ5 q [/^%G/㋩|֧DIpVh,Z/kR*I4O1^=^Z!_P^CD(2ż{:FF׼ǒ @౥v&5-4 }۾[&4] k8\|-s8B̖Ayq.gfdsړ?ZZ$MgC~Ƃj. r nB'1b!7VB|vOHlg@%/<̿s#?5U/yʋ3LY#k@ Q҇fR-G+^Ӟ]KK(%`N-Pc.UviC# m:te%ﲣEBkz[ӌ ^@ƧlWRCp?1v |$CI }mezXCqBΡ~q~v|g)4=QeCX~FH"?,v"(jf[6?JoůzgA_+O/ۅmIM{,V qE6qA8KQ%&T׃YsKs,V1SeNԒɛjNeL˜)~ESԥ+[kS=HH zҩOp-Y8׹N wKn&Z$w'}]ũƪP:sQn)#8I[}v}hdKw9kϹ tac΅kbFeśEIݫlW')3V/xQDDKe{a'|xYU? 0D$xd%N8yvf s'MDvЇR7W,?dd:QP\f^\>t__s<ȵzC947-zW3 $Uj(ezvY b6n&woqÞ*_ TG,u .G$m\y1 64ٿ18_A/.}Y{:IT@| H}p.v"_tr=\i !]h]"i>L5[s!JҨ8>9V2ȗq!#{SXexV2"T" FsN1?>Sl̾&OBR^|쾼7Eo!0<;_)bbυ٧n"}!P΀hf܈rOLoq5+Beq+&:IU×嚈ϔ;K(OLP4|. v K7Ze)qLg"sE69bM!26'Q.L|ilq04 'Pް7k"Ob.%~}S{gFY} _j\jlԠh:G}s )zHaaC*6jud\҇TҜdGUu^[ĖiHO/ 9(x`'Ƈ5g<ӌ9jlZ N4tMC @4vWC}Pd(†%Ia!?A7AE)sX`r%ypϝy,O(VCOV]O%HhsV)j7 $7 fQ1umU} 3r'fF}~ 1.Vܱ[\ۖtB_^xZY{T{GZL|Xuv$KPUObsLVtgHP :oĥ!3Loď} LJ *?y2i߉%ceY 7%gxO)&/,0"d wm-8s~-V+ 8&UN"Wx?[Tz;@}wGtdml'} x_AYBpGAbq<JDf:vؘWܾяa6hƴ2~_s{K `Xv[߼Ƨѡl]XːԏiFdrHs>J I6MpbA _m`zZ+JV#F^CHCK"gukn%YrTLV|fCEﴐ:9ZEI(;YJ!H(f7W5[$)T p6ˤ}[Ⱦ2hD @ * v=ϲr hPҕ>[,}|\m^a/j@c rJPK~8_g$u/w}_7Ѯ} y)lʤp(BB!/$+;{vvaܷcΘ3+; !?9S þy#=bS$T 'HSHh;aIM*x2[nv<=!*ߘDmmN^ggƘUpL)@@;q0Q[G[`+8lSs Uu9B y9}~w\DCehXq}oU27I qgCQA1}2sxD N?ݔ9D5qN4r]"ùzn:U/-Z{^qxIwItPU}&4;|(H qQ3M7S߶dҙRN x&h$/ʶX0twz(w")!|9I2Mi?V9}ˮ[Oy\($CEh,Ɲ%4o1m{\Lxζq`eqWΩ m0|Xҡ'M9{i19?K-VE9N⏳43][ğT %=g0_  x<^(;jt6ThAԁ}_a,n4Lb_Ghі'EԂ9ƀuuUhk`M''1,4V3E [ȬY#P &tH-[HtX A{S9CH8ZszBƈ}ߐUf1M XŘxrYCY4~e}|vGT.>PϮ;S=IYui]Z3P)N- k=M;(,=1 D6lijѯ mo (0>( z:Zg8:Oz[mG9]E,׋P58͜C!::C6T٥ȝٳ,4>:=`=$ P$ԙRY(&iYK~l{>I~$![ȷ`uý1NZ*_#\=9 fyiךB :Ob?'5,c",q|rمDgfcx>^xqB(IFX.֧&j9g^lCbv | WڜKU,? )} l1xJZn\AsSk gOKv2'D(eMȐh dV5b ;MIC&߯ł`_4suO;&Ɣ( B SLBlY!oG^ѡ8*[x-lYC9G.IlK%-gxa@8"D^͛o׋BG}K[ \_D/:Erw;2Im[~Tz XU<9!2jȠJDbng.!Ջҷpl!9{Оj֡լثHk٬:q*h,wzn*sgD-:Ie}wE쇣!~)}$K&(GNA}1WI 02F։~+&&6FݟȻ<:!+U5PuH.sCT>u&p:2.wSx.⮬&|h; >r+X"<7O, P2Gy*S)AL-K|:MuM_hxBLEr8S1ցo=MrA,H0^+ɬ/j.]EE盧oyjup!?S28ljD69%>zEz~AVɃ:VK;~) v?|;rhlsBFzWW,h3u ڿMQgm5jj:sx nu/8U0RrM6`opug4nAE?¬<P^ZW#j}X]'ٷսfz$:5h#M> w7#Z޹Md($Ҷ<( O5]?Š󲀂3BQ{,2!hO,ğ+N~1XIHgR}(jjgBqߔ {*w> ? P }I2ɣ: ni^r9^i"A-#o_(FкC`sk8F$W`#trXTA٧P#d /ff1yB6˔] hj)^у uqFKpx;)LTmm-~"V]?2ja,ǗIZT}!Tw]v2}oHZ(y/^\ ]2,+ZШ/ebP N;nTxjI9!k:7$ 5VkNiOAK]lr23gBQeא,FQ$)LIwD% ,T (%, !9 ǜRoOtbn @Z*o""D ⪂j_*^xA\e;, ^!RFb[l#+ZU>>D |SQ5[YvQ0D~$œ.4,s.0J9]oFc .z/h D1;*9TDN=.bBZ a'#WH,W[h. .ݤx+ κgYZ7zXZִF! )Y]ŗXi%L x0Zm1ލTI.HFK\W8G&LJ'yY}A.D벸zmbjJhO~up ;m~E[)  Fs" +6hUCPzcŤ숚*-Xt}B @Ve+\V5:uŔֹ6ɕԎv-zk=rw([v' o3:IRF<13gJ9NAO. +R^3o|MUqBcSKUҹOGieE '9+HJ:W)/2&Ka),)wmJrHcDՐ qpU>;gL)da߼8(>OM34bꔁ> t7OЃ*>e?(O%R>ٶkx14 ]< ϓiuZg4 t.:Djy:Uvc zZn'hU-uDRv&*VR2j4ɜFQ݊מW$omA }&vT&rl=ïmspe]OkE'";osf~xwaAE14aN收4D(j8 4E_P:U[?‰&o,gjxqlDǗeiㅕa!t>ȕ\9h=$8iNѡ}'tY٦0.>!CisM4T_5ocùޘW<1jo$Fo>/*q^;J_IϦHS)afw5ExiTz廨P*-Xsș4hc8G칳 YBH )hl 슭~al[ނGp->RFt[ Ƴ4#FS#sptqB& loٹ>oAcfozuoMqW;6>3,mϜif~9 쇦<֫V<7,bYOpS=pgYZdc8eb2c93b782dcf399a4dd129c01b6db7e3c5235c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d 60b97236a79cbb7f2d614b1d07543538d2829764