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 }x,$\ ] SM:threads=4elapsed=183.746cpu=316.992gc=9.0127zXZִF! Uǯ]ŗXiɟH)0%o. KU蠇L}c\R:Y4=p;?B ?u)Ք|-7p^^:"9p;zcm) ;M$+̅#JWN[,ޭPMLJ/BFD| թbkp=,Q\L# $ї6XtM`7{yO˵I: Fkz{$a;"Ƈ(o"-[Rze )&U ZVޜMRxbWR(az!mc2qr^~:Kxs+|fZ /~ut4a+0:$fF/iO&ۤ""4M z&ɸ:c+btYt3@YI<͙h>Mfds"Oh זҕt%aX\tBOXcsREOmď91Dq&G񘒷kU^x' 8saKT׻9JѲ=ܨ =^g8Ce* >>r6eJ`á(ty[5BHcgZX4^q"i2=E6_\ν82WBZ,ܑj{^xH/|>lXm'%CM%١&o`{ԓ2B\YT}&UiAb? I)\21C5UrMMOJ 1ZqhQ5^ͭSnBDt`/K=R9Ğ`+҂+dQ5߅6(w!y._QGLĬ&f"6.SJ[WL|fc9aj S&`viBpbkxUԭ^oNZn/𰱊kQ+^ll@Ho?aΠrZ̺+ja @xzEQ!j8츺jŞSb48 B_+N&u 2N"$Yv9h<4u|3!16Z,`Q*A niђ0/= 5ȶ`؍m PP;氡j"=-vZ1aЏU&CrDJ,{ؒ'8X>B>.ޫ9ɾ s [3ih(@D3k*Gz9¥T_oz$n:yf*Wy_TCq GJ1nVf@W8%܊ ^h-p0Yl!3?/c dƿXL7n^z7UbY]U>t\K~C|ݟF+r ^CDn3<3=Y҇{il:cZ3hfH^ =sn|?M{YHboZʟ w lpf gyR2/S!+zZ3\˪Zd!0i;`DE_.&AKFa@Fc0ZpFӸ7c:ۤT;b?ۼ1?&a$Cd6hJ(oJa3ń4EFӗP5[?D:6]~Y5+VQЉ.dܬ0!03VSeԿ~-R^$*Ƌ(}H/h+Eyb8J-~/cjgF,v;E ~,8B(/ uK2wLd;+U0LC`!>K Qsup.uЗPm0b:J dyl=j7lJu % Vߒ+WlҘjQ(Lޞ֞ݝê³$l]))H__-y\ܣ/`F٢g#hy֍梩Ʈ@^,G#xMPRb=tjB&k0XrH*>ɍ9 %ZkcJbWqHz4!19\ ]>'~\̂ڶDfot@ eZE5yGEt}Z2cy!vҜNcP;Z35 cgZ#%' !MO :XKYO`'1GSY9n`Tx&N·SLH j9}"!V%6W8/H0Iz*qT+ӵ̈Bm4أKdbbۃc@hn7b2ʩ%'3 fHM*~eY ])u]̱:eWq;t].vpj*kϖEEjiqD?QVͨ׸zܳ2| OH|DBlR?ĖVf+zN[91QDLbUf㭥@M5q"ԢD喙PG$VpcQe 6Оb SS ~ᢥ _BaS\ c*`횣+ JӷMA\??zƣҁnё0_`BLC`FJG>mrc<bvyc&sE*9>>@mC P% T 8@ai@a?_!kSF+r[EW>{  SM  Nm]pR]gkؾvbMޤ(,qvg^hP2y޸o_uv/-&V7!+(Uuz䗰hMtjWi"z ^Ts׍SYUT{tyuA2'5S}嗊,jڀu,Qq,Uq@iTQNԣ/`{JU3gw/nl%g̼g<}.{kT +VWj:ߎa._olW6uq64b cbKZ܃:c6jJdcs1&$/F%46z e Љ} (G" &m}N`2`]=i`=}vݡ7ڬ8n'/41dxVYT$#}B6@~u&5JX&9e0ޢ*' jƶqFI3zUuy/ĵ-8ecv"R~Z+r1h'~yIl}ڊeX88ߝRf na>s ">[z8B&X'y'xMgӁO\$~}5n},Sb!@*lMKD+dfgжI1ݬ>ddĮm1ؤG . jxv{p`{")&x hv!}=CzXEHg.j/D(զ1h;U՛40I&'=XUo(xp|\FcP3ՒJpaJ2 c&ޏ5 ֪hq",&UϹי؆ɪӤ'[,v\m|f1:Rjs$ŽumO^VBޒ`:Tm +R0XOCIbaiLWhZYHږ5k?j:_%<=Nv<\8f$:D Nn*wѦo98FÇlJ_=dߓJ0-T(QeI%h[%V|Tk3$d`42*/# 5A:#hp)ekFA!s=-)Rx@X"N,.7oC̈́h M ج?"WLVX⽰62jjGthto&C^"Q2)2~G+ |*70Q aAnYG+mW߇>!6>լ=KIcƻE+ԇ$qFYE mT̐s?c P=A=g/"mM}I_XA`'@R{3k.9'rݑ3*+4@Kyy 0)lD|'W|ƹZL"4QF vM}A5n8'yG?H`[q>BCKEW "ynX b˷rqC0ۿMKMaXMq|i\^ng4?k\9mk(ϰ6?R+E#ܿsBh 6ODc3ݛa~XNpFK`?5-4 0ͷGk\8k3IY>".;&b:`}lFl` "%gmԫu C4ZfN$7\Ѣ8\M)"hє8H 7˖I -%&7vy+!gY@r~~)7>y2Knϓ@G6۶EO GV=$=(Q=4ċP_K FEp ~h쎈Q0yaXXY>R~1xoDSZdC8z]LAsMeDoaկAe8`R?Cotۋѣ1Jfdp0FHq3pA|AqPt6lyVpgϭv@5Xe:}O7=)buNT4fQJ&P 3q$R&%i͕DF;FfiRX?1gd4#mPY-{D8D% yeZz.,3h0zR\@z,*"K>IX>:d0ЈW uNBl\PN Z)UX׆jRɳ8ۅϔ*FƖ'+a^/̠q~.ZTE&u=ኲ1.ESbfbSAMMkꚙ'Dq2ztu;ZHyhG~$8ID8" **u>/E].6ЮtcOӁd?kٛ:7lfUؼ+\Ěܤgme늏wh&lqq [#{XcԞapi[nP CPG* OF8%~7I kXSdJ#f K+mJzɭ/l)c Cf^gP^ tA;&3loaգћǼTi7R/Ey並`oKL+cekKX$vZ_@y/U: cj·bYē}bL++B+O͌oB00=L.f8LY (;d^.tC;qתÿpֺ~+.&f+sNqg6|GKFpSRǻQ)a~伩ǔ(j\]xdt2;U!Ad!{3ڄNDCɾ1DyCeS)ҙC$/~ ?dŴ]~^œöS,s?(0G{"^/h#DRǎ+ӯEmRLhUcnWMv#DžUG4P%-Iʱ Q Wٜp,NQi(2!HT 1SG6i&_BQ(E(Zs9 = [!ֳ&;:dQ2,.S|=:SOy s0Yz; &AkVK%,~ 6KW*9P6>[#vxJ%U @bU)qg=E5LCRпidyNuI[2tT1/WA ޵˽ࠍ=Z!Ffg/|6Kکs>hgzf{&bXa=Q`L`_8r0.i$ݡkTֹNq:2bĀwf"&uEO|xRoO~\غw\m7"si~&3S+itAPjG ('o'd/pR$]OheJd@X&@i,$߽+U_~g.B F9 Bi:]tBױ丛q!{q2%Am._eA}UPp[$4ۺ׺;njBoj#9pL]Դ[>̻VE}Q36N`9}ؖ)<@,'ג5d'}$^!>ւfmu"&XF=R8C=[.?(>AVH#"Pl:3?]'S(`Ǚ5,b{&zk} |6-M}>zo4Y:<1&X Yn )3-6Z@qt,Q0ĥ6Ҁ!pIc] 'e_c;u{Kp7K> ߑȝ G'kMIB>[T , MW-mx6}xfVZf(h9t!d [8LOHIO<+ꄃe\_u.{*=bR5S6j)ߔ>4: /Ⱦ)kj7(qcUUTn}H 2G\ӧZh0N(0?%dj22j@qH- ըc=_=PtY<:",d# q7!V:l[KB딟"ؑZM xIu:K_LqoyPJb;|:?Xrӑ%__7I& PT"!ff#E9%s(J6au;?k뻓GxާenH \DZl' DI1r]K 0#\s()xqJ6f_WgH#oې– ]jb ilq醡l"{`wL׀bގL;x#T-DE]%]\:H^TU^KRRb҃c= EJcv읢XVIs f Ev0BO!ۢTkFEOKrt?67^]v?d6$1"@g`ܚDq GKu|t2eR A&8ajFZ`ZPRD3 [=z6u܈~㓨y5;b#Z3cq)ﱼQhn-qg=*f@)#WK^L5mmOJ.X\{d\U*C;),|TW X&CTe~?BM`gJx`ݢnHD(C&`N͂N˦[ g7ΰ@̭`S8h*ic&3/i>(>Oz ^>w`Y;u=﯉\Sx)BAm r瑙9_xY~{WS6kn^FYꙹ63S(.N6 پ}w:GWـʳ .-៣%#,vn.,_s,⯯D_2ɨ78}KnDn6w) O'::wGv d$ C+dz W2G%#CPJ9+-Jެ9>xi6Dnា)HMr #y,*fփN<ⒾVA6XcfbEqY,I(`ڋ;|Cq~ȃ]H `.u3QS6vS8lUL@TnI9ǧM-4~$a0kQwՏey܂0ۊPr xqrA">3M[+Q,C(JW0<$1qnL *wxEq#=mF|>½I8Y*◯5쭽:it oZ0zhJDWZz s\RauTr9<1Nȥ)X-M=XI$x<)[^P8 T6_ xh0ԼoƺU\t *&zԛRA4wt t[HY|72G~NqWrunN "~ ?~&@2a^#+GGaJ]gy"ߝVE8gʶ酻 Oʽ&)o;LE//ZA|R^xީ5|ݸV2f:͘X97j-r=? `W Vۉo]i AD>k ]s!x)qc~Ds([FcV$g]OG%jK1iVt2%Xpnĺș~C^+Ґe MϞ{TKzZWϮT$dAj 6BmE>2Ua >h3tk['R7lWT(Fe)A9L k G)P(5<6*9L wf ?pmKY7ac`6/ug}[^ʬmxQ_TO H&]w*JYa 9Lz/nPƭwZ!JW$c vdÝ{.iIX?b toЬ[u5^ jvT=Ʃ71(b>rG%*D5U|V@zMБCR%F̞g] ME]*LU$ 2:)6 K73) fN*Rwm9҆FD)]V?}%U3!Y6VN|,"؆')dZ%{k>(Ö+ |Gԃdk@<4FJkil:lrKR>9cܳMMJG,=^E ~oŠÎ e"(Ұбddਟ#L'|$A; ZA9QhdDm`gmc3xj׭wa7 ,VWn% \R-RoNRb(i(VMƴܭ;q"c2Ƭ>ŃsmF5;hfY_FhӼdMҋrh b3ԈaYрiScU%7ݤmIt=ik~T NO]z7c#i I}ePǻߟt3@CG&TnGF_='E?seaas{0?,ekn6&Ač $rɛCrnSfG oYZ^DOl%::fMT{b^jWn9B}Lg1BȂ :RSa3r(\ _RFHmj ;$͞ih`aK>NnX$䄁/4܍{8f٩ t8yٸB 4_ԽbpRw2%8"BB`ʀwQ5mڶ%կ e^].{y``x,vB :/lMu2A"8'j=X6_9P;*9ڨ8g# J6&&CxiEm֢$X/.MS'Fۯ+`'p^Lz&3kB&Pa0;Cb tBI<:,6"u&fO~,ê_ߤ[cn(] %^Nꘜ/Q5aJ'Ѳue$| @5 w0+ e d[,+R'ZE! )P$/>0~[2[5.+R9"`WJ;34}$$(HSOl.1mM+XCt3L>_':N>ʬ+A'vlj Y*Gb8\# q=lPtn,!) {d$uK^EK0X-_is9u`ר4$9 xin'U0cc>h^4^g@^HYY F,4%ƀ{P׺X9Byfc׽˃Pv|- ] ]!쵽6s5ͮ [vKg#&17D.E便V9iep=ź؊?XqlngĩQb#^[뭾po *겓2|'ԊR3GGxY>P0UЀzȤshjd3*0L6]O$hb p@OTy+ݙ1+j叒1ں._0DCzbFQtS"c61[3Se"K;a'xSW,28r;M愀E-+g1ٚi4 (.34MYrLrB2~aB>lRmhĩD}mތغKr9ަWAt+=48Nz9҂A<߸#cABbUZ|\(r5梅HOd|L|ޢڧ(bt1Ȝ D|K~e!`O#L9t?+VaÖdMG=F].jvŋD|3`G?>u $^)3C(mJ Is'6l?z~UNe-ol9{E/-]̫qmHcV@Kf߫W*4<-JtdنI5(Uj7=vU=tT:hٝ R!=-HD}޼R} :dlYU`@?ъ‚4WJ I\).zKJ쎁Mϋc8# ,)dCk)<}r~g=fN7"=o#3Fok,J\4/ (aa-T9c]:-`Ǵ-[@<ۭ>6qIZo#N*Z~WTM&j ^CԖ\wsukX 0?nx  LL"AB:[fi 05Hi H[mfFʳ;%)W@MF=:I.篐@iM?YV(0S>n<-ώr&qZZAOO<tZ\1V{٫|Ck n$7P%nRҚ֢V%!n@βrS[/YRS$^OS3%\4NRBo#;]9A3goKdmpQk鞱±(&v+@]Xs;BQ+Sh w$Fse&5:#b=vCP|#-¸ 6L?:d%$5g%)?5HY:o2q7,712:&P`KO]ByGqQJwWtB`M B [Ql]&4P#va^nyhDJ[>9LP]h1Ge%Zh6y#9QfL6JOsM hgTuoSN3g5An%pHN+(%cLġ)08};N@{oaԈ;ni5emҹYrAYA6+zƇ"0gֺ}ZDOӲOg\e a"I 9M$zhPMlf6ub^M3!:dYwXv=+~y#lě25y46ej|תH:rQ6z#J1&^맩"ES=1avq<f_#e>vH3c+ 86`"] xr|Oΰ|?7k@4Ƹ8 |C5ܲ0d}bEZD.zȭId.5K8Z0J*FXd£ X#6c )#w6~u M nn= QTnyEΑ𢟦OQ9~ 泎% 8Dl "ƧEl!3[TH/LJӬ= $B\r&¦W;1he8G|o< *4v]յ1 ~\v^HZ+Or"2a_B e$z}.(ߔ,`"~*o{B%5bA#z ߠ=XT5hеО\s XY$/ Gڃ4DEղK _wZ *V~CA4D4%뒰JNRUԹ9siCEPZR`/6+HWzIASpc{燀|W*#' K)|ߦ3j1+y;*thF SyC) 6ϴw(V)ʤ㳫wGlM= &KuA(r+=cF o,LNWvs7 z{It5EW rE>y[ZA{PuHu2&Z){޸ɣpu7& MYt6fo4ܥ**R|SG:Xq ZaoQ`&7`I0#1\bqs)uVngh6\׈ɰ4;T :emV0Μ?h@n^Ois@kd걶dDRcOKu&:UG놝pyRyѐ3pKkMc8Q'ooBel6e'M} Wx2&{y@5Xd>%$gEG8z|bO8 MB8\O0\~ N*^:kX% (RF-_($PXMd!2DYQRǕ9`k\;gTuE]mupJ#Sb+IXN>$Y)VpJ %KA54 6x?^:G̍g`^,شRIEBjJ;\/CqB]zFaҜIjRth8+9Z &ѭ'YH"tԏ314q?&X x9ZӟXdn.dWz,K`p~V(%u".^4u\&dTJTA9 Z FCOm%3B"V?~S04(:/RcWDpmjBW/J^4Ti_T&0PUY?8eFwAS=OT@h$[[BO8X;:9UazrZѫ}꬈'( Og,V|VWl+s @>I<4O י8O44{oFC8gUd ^T%m,a 9 ,5!u^F|e imj,cpN L| pUCc O/' H-VϿT.R}w6QEo%d2W{ⰙP nխ8|hF\٬QMYl*@?-kPq%qtbXk w1Y.3s]sex4'Yv/Q"r"N+z+ciY)1᝿E8Om2N\`ST~zMX)1eEů@CZI3<N|k=&K8u eabת-y1їH:7 qhvNWZIi<;v Yuȓf3z ;|(Y+0! dF?g\ M1EȃwXidd")Z/)3InB 笊 (cfӌBSZS}gnrR$4K~$Ga|XBNX3YpЙYq^AVJĎeۙtnRs?겆 D]O.| s$.8BvVs#ޙ- 6XQĉK!Mnby Ua㿬!sEPk.+Og^ `jt~lǤ<ǖ_g2 ;C$) =BvSgL[ؙ4, & %b#V0ࡂ#`Sb/jU ?axfsU8L߰7XlmD'>%^@ %wWZdAIײFak/m|A dU*WKόu,;[5|2ObtDzX *x1С@i1b6׆@!n,?Va6N+N/j) 1u\zrDU0)kguهVޗs4.0P":xN#RW2KM0[YJ ١dHw o`)o| <(?utH5˞I#uK^} Fz4Qwb{ z,|oL_/bae&Gػu_<魹&3O[Ɲ{Y!R700Y>pC;oi7b'[u(?kHmY3¨S>^MwtY =n= 'L+E: XZiu^W<ͯ]rVt($w*/YG_U"0 ت>\^!m5km ߀P6my!F aC2>=WUt322*ӷiQƒ B2QCԳ NC~kx6 X&"ТM X<.%đgAd@j-ath*n jo{Xi9*!grк؋NVhJ BM[čfTRؖCSA%7$+-lkmV$g*{bR<k.쓞cC\L 71[['H=֖yWi&[Nc3wclk(dWRW)[EZu#<8 #p>NwGjz1[=PD*wze!-8|¸W.c6wUgdX&>"*qlo(ߊHieYzXs[y,+I!ʨt;$62~{c|0W)I!/&ѓfr/$.ܡ?!k'@ =)H2AqĴu?͢à8eVJ -=2-_ U ^&7jh:{Hi2.n*h%*ao)g ׅU57|ւck|8ȠsVmT}? ;B:Ku6c'1.'G?hU'O6Drd0$fV4}3 8r_wt0T{ǕJ46Vrl sfGyJTJ7ˠ(򌰸r Bsh6Y=.j@F#˯6W+ckS>p N<5n_Ā@Q^rM(XbtFT ;7Ąb0 ;+dnH:mlo lSJ]t3RB7?:M,X?XKjxl+.mi0#z>? ϪeveBǺJk8D7Jk92oEܐqK 7X&pr*>:|#aͭG'ë^dJE"yI+*AU `.ΞT--3QȐbg%/ ͩ zg鷟:"l]m\xW4Ege<P;B뎼MyVWͣNr m~0Lҳku*pHdpqAmE_1<~^:/5=Vө jʱo.κO zFwس-y\9fX_6S.+s<|H( ه>^*3nF͵L|ĊX|wזsUbfғNgQMjUrW݂r\r=:cC`%-:,}9Li1N36~KR >\- hY{ra8I]33HY̖?ʃ]WSkc44Ccؚ"Yx%>'Y jq:C$_,>K,b VPcr{lU>'fA%9&'-u+|'{q Ңԁƍ2r2lŠsHL3LtcK՗X1waIB1(#0jRN)`t3X'qmR EVU 5 mn]h+,elh{0˥;=\X_܃Eƒ@ AU"(tAh׬7DSwНE |p}Q+7"SbS\XJ4z32 C8iS5}8tYXǝm[ YHxKds =ju8(~mъǤM1ȍ+*rh ^6/֪KYduCfwrkHg>x0)*{aN 8+Z #3 U")?qKqUpV=XQO 6Z,%0C /;1?-1&U =o-*_I@>U\ =agRt5%*.Sf%JB8H(|Y\07B+W.03_L?cBc$(mEd[A_3| "pp7$ogF P&6^Iុ()'KDg\'Z>wڍbY;P'0U" M i2]M_ |!Xt9-\4azy}$ g@,t"2r}ZFqB eMZKUGjT|&R st#|q_Z#O,?ʾKͤaa)VG%rG`ɩ,0J11E ]"Z12,>W p'EӻV9eb^=SIҧPYQ2>9ک-u[)y1m~43#A9A~-}""gD}<n܅D6H},)UߑB;!}:Y~l"kg6CE{3$l;jyb_p[u]ވ} &kݫ> *tx~z#uP[*$Ѝ%%l){;Jt ʷciCyٕXcHZiYߥdtv%Fב;&0a ̋k6k_5@ O~_-$7y5.p睔riN NBb7k:{(ծw_A#QeaR-4]%װ^uDMA#o>ZR-{aZnc}mIiD?j1R%{._.3#tZqNNץ%g?Gc;7*e:!$HP6{LQ,j/"K&L6o ,k(;׵;Է&:_e.7x2=x.\`;V;ovR";fFOl+<( twjѵnf;lg}(xKKJD눪D;7x} %w['O4S;[j\ \'z^p5/4C$Kd% jI32.r(#Zŭƣ5]icv:^ݸ4@#M ɏ<3{ 2k4ęǝg$ۧr߉aDu;#Х& duGp̈"(O{uUI1vi&ץHBSC1yɆ{0ǷDcguicja|jP}%ŅSJ1qb&J貧/ lE7&%`?|#0`e!o-=p!"F2b~"{A #fCZ^) `TBv}kPdpZkBVa4c3Fk=.jx_,.>7Ћh & ~s/ [XFʧ19yocU^X02<_K4Ӯ&wn!aVK#)t\qZwigXl$ 0[Dӹ5xXzq{cJQ/iV<Ϸ: aw.tzZ/BG&+uȾb1PZъ-J}*"~ֱ$E8X7_XrYy S<,q-TFpNNt9[ sfzH⌃^% 2Xvr;9B$E44uTVlhȖ#`7- {e`4j>E0M3>` 1tV:(1fl!ޑ C=،GCuLUȟl,,"S5 O(#u֠Na Z֒m$>a[$`ku.t$>nNFP4!:;{4?rs$oի`zZt@aExt)5IBim`sT/>>,b.Zxӑ,j.V|t F'5Սx!>>u^W|]k_z:ή\ ҿ聬oiDShM9 0䏀O'}~;Jf{c{A Wߋ"qC|Ψ3/X#Vђg5N%80ڢNFYeU,0LHz|pe8a5qy/&\~솉/c+g`F˫F0y:팪/iC#Đ&QT֑a)޾#4t5Xux0UyrBc, oKAFz@l|UV_ze6;[vK%1~Mf!4vQ鵶ˏtzQFWʼNZf#V[YAC ZE=Ԟd֓$D$F_q%#OD8Qn tw4 asX^Av_ Qk7~LYi܆}\ӗ;kd αmW-@䙊 XZ Niaߵ" z_Yj`̩_'Tϣv?r|D t&5lf3%^m8R\,.<J݈yHJSM*_1 v料:)on7 b8vqAJ0[QL?I;o K>ذj'>|8`M ~3a⫪v;hݴtz_J>wt22IY_pnIQ\E,8+ɕelB&<,N@ IԁeSH .D- (=MS؂$Il ~(Ji)ȃ̋&NZc"W9Yw0R-__Ԣϟd.rn N.`\`v%LpGl\P@rXPq'H0s,ٗw"󗗑mۊb,{Mى&s\ yϬv*tgʽa |3+^(l-$b?; x[ %4$ȣi"Adf5 i$m=ca3ilQUw;8Rv,{yJLh "׎O2DY ^"I)w#g@8 ݝqc;i 3LM-sbCmETeWA.O%h=SVQrGVCcPY>;]d\ K+'9vm:ٟ6to,'Px>SWo2SHMe2$Ў5Pb\FkuЛa|44XVȥdט$v4M֐xS߰>ao#+%e7LndM2[ |",wr!;py*@5XZsn44a7[N mOae!p/ ?{~@cHY-(xDPaoX6n[Na2!$6ƒ9 wdWPZw<z˪|ɍaAIxdin>2qb]n1}$-"{\K9U562HخdşMmD\ dўR>L&䮮4;Ug=NԻWKtLHxnT'd\:t2d^oI _;5Uza\q!w +'G{u 9yG?s>݆iAcW?nH.I$zYMDe`Њ CLli.`6; (-ffA}s~~Z2nӸS<#y!ޗ*6: +}dvp{9&EgPz]J$6tFd᩻1x9Ī!_u c:kwdWѥfXY0y+DUٟOJ{aHú΂<HćäfD qGɅa6x2K'BGa??(NǷɹtCJ-` Bep7wfu,o6ɥ Hde(릣/$]5 ʇ7AzEOU8XΪrK.a{~G?sM.ooL{X&'Wځ࿢:0yfS{22|Ԅpkk|D>mNŎ}&+ 8B{!(4|A{':Y c8qQL_xXp|I]]ka Hm1crYx,LV8[hdS3>l->#Ự0rXu0i5#/I ֙$%gjeyJ/"GS|b_ɷ'CAa[W[UFSPݺh@q'9WQ"f/]]^.a,KQJ)(Sכ>'W1;i'Ն 0n JWx~=.-:Wqmf :UWA>B]DΦha->̅ip6=%^Rl#v{v㣒@ jJ[^=gpn..} ѹء-u6vAf ģ}3FC/ax]2M'oʏS_~txg$EY;:CG lNF(x! q$F TLJȳZ1RX'/6ځkS>w "[G&>HHq ^>IjGѼׄCmPRE3srw='{ЂZ Ǖ$QY6Gv3_ 9AWz aI("acxng%Av'K{hEn` VKY8g .e$LFsnp\з(>U:ρAx^ aUyS" II<"[wkp2']̓cƴO\M MC{@PCIɄUGPɪeS\s~C;,8j)ogO2~~GZ %,C=fdYy0g4&'S.3q )/EJ8{\C)L5e bPNS.ȇIExm*K¨*bæu\Cja m )0$!<+|ɾR+$QUߊ&p&`MNGX*מBP<Jg_gOBO=hG6-!Ċ'U{ yUP+mc֜⊃0+JqrBPju|mh[b8,ʖ=Ѻq@;.7Vb R,ُI^|l+MXnM ]l3^CrH~Pl+rh)Z)HkP?f ;Sz0c V   :ˢji=aFOݳU(qۈ4J/n+2#~ g1 !R('fdt_=,8&N߂@S HNs( lIl:T#b`y$OqIMW(~6$#Ǘh2uosbQܞCE3ϖ{xAꎤg " џMd8_5SJZY+cg{|$xN"f^ })$g.a74"_SE<[" ÑUL-4֌Q_ jp_Jqodlsіn==5^uz‡悖>NNX krU׼}"ݝaaȄƻ$R!kL>iW%d1@ӂ? U,7I,g_4G}Ԭ?n%mG— }z}ߚ-Oo(V+O6#}-!`ڳ.s\iNEjLjl+Z2~ba&~ft̟ɀQ#ƨ֒ h)3H۳ϯԻpSo_޵b\i]@+bLljQk- ؏ɻy\5G,5zJt$ Dv<´ZjNKbVcEy+۔B /(_/@ecV&p<,"xKY OCv4FcTb`ca&AxJto#'8 ,A^WZS~ZKw޷esDYF`"GJG*F )R3\gIPҟV--Ԏx;[ ]>sL@#@s趫C|#B8=$]sC 3gR[ܚQ%qG<!D&dSGLx!Bٻŝ|D!xM' X>bj<4,?f} G[T_agCQvE>F冎S}ETz*ν&*HgŒ,={\WfY%FkriRB 4//l7Rbv`0 J٥]9 dǘ2:a'9mIүT}-©9V}~ ƮIhӭYT iZNu2ao&pvۿz}A.|nXl !2dFyE0 OgɊo uR{8t& 1VWbӺN*&u< UzsƘtG@oe D')@Xz{̗OBg G+6\ &?8ۅ@,;ő[ck4s]Sj鄊@~1aMz46hި4 y}ơ3{ 7Կz9=G:ƺ]v uP݃Q?Qڹ&EDsB_;7uw@wp n4F%֋ #=,"I.Tz˺9Ie'Qg+|J30vZ}-e 0"rip?Ub_3_jv)2UcRv9ݢwbCBrrm=ܲ~2PRn)15??EoXYYѱz 0.|-\NgG&pj_"VQ%ZgARrg`nD(q Qp_莵bDC=q9BRF*n0uoh9b Zm2#m&8#$l q_Y0̏G.47KwnCd'&(Xam5VGW5eR k gnkӸkR8\u+b.Gsݕ#Jd_ ^Jk.qU.ppGJ wO2pP^KAO%ԧ[Tnms:ZgIDq$d ; ~)Lj~ jwI#"Y67ơB'B;`*sH{ga7N5%ebЈfGjI2ߎV;UNc! +e:Sa4;{P2W(m _|ÒoE,M735յ^1yi~O˜=.eS͕#Q0nkڲ$t <_κ@a"p4! Źo)Jpܧ$Qg/Dv1z4Gl dA&k%:^s>kZw'rCDyέ0]o:8賂;uFƤJ*E I#7{v&a3}(VڝHGL&_[Rҋdzq< T ;`)泒" &F^p5Ugώ K=% w@ N/<.ɴGٍa:5y#9cv$@Qiew[p潬R1U].$ߒዣ;A[, ݛ"|霥49عn@#ުg&ͽ dtCzI᪪ۢI%J)@<iCN>R>2QVƽ fج-cR_NJS}yKJ -Cn4ˆC@Ǟ(P=V=OBWS$r|]ֳsBzWipK~ %.8UY{x6ĵIYI5WxTlt/NyVBjL*k;n %`Ȕݷ;Ta_Ri9k%}|L+QY ~i,߇Λ \([˸j KrkhE^>gS)w0ҬӾos-t^OA\cJ*&VCoXumrã[(u*qŋ]ViH0̾8K+`J _?*=.aF#k91u;ozLXJ8, GGxg$V7s>o1kc$q6hIs*rgdr@P2'O|hY[jj`%DAShƖ<ϓȫ+*TX?L|߉ʻ)Q]gSEzϼ/xVcc+9vEe2I,A#TNqN9#ڟ1WYJ! >f1%!h%CTh5?="r7ҁG҂{!'a1^my!./?6E ,=*J#OZ',$,ķ @CK'}Y9C\!l4]uINQN9X@ :^άf}.|P4TؖTѩR3;JF?xbx lC214iOEf'*]:Z?^rKڑ6\UAd+&^f/؉eFsw[nZr4pCdm;_sNYs_FIl KN~+J b]m5RӅzGS%8W#~~o76)X:c!`wq-6厪y!@~UUd!48I;d~y݁il=! o|"5^BqY ޙ&9X?ߖPeL.d5VZ"'h;EcV w4-ir+u&X7Anhx΋,PGԷ/{]@[l~oc} JGb:h5_-Qfs6olu'g=)>O|h`d>W 5)L8 U^E+ҷz$Vo*[.CH!t ͏d}?ڋ[͊/ lM*Qs77X,Dj8+bKyOCS\Âbf>Jcrf*u|^LZw.ItSDu5c&DHVρ/6{c9:hS CYx%YÕ\7'Kym6,-/s_:gr5c5ɷ8/u͹G#d]UcvܤAvү`64y;$GOӇ]wT=UD#cKUj/}+, G2V'+fCgfjȰrCjQ2pd PK̠t90½OrNp&,H-?TJsY =s8O5lAX~$/ CpSUF|tP1p~QREʮK5{LH+`*c4Ij6D]9XfѮbp_buHc(.E\%Q_!sU<fdz8'`*ʸqo7*,:Ϭ+ʉ}38G8 Ȇfb=8aRm-vzcz HTC*ò*sL&szMV(uJ my^J%X9)(zhA7Ld#\~-jI\/_`ڍ7KZpLOoG_vp8jm}=~<~Y[T;Hɺ ,x+q1*żIv+(G^q SBB!E$l2q> =W5 )]eȸʷ7;-jb8Q7LvQUW?îM1_c8l2>T|De) XhBciŷKJ:҅8E@}ѧ~ǻBx r1{H ۜrWƗgFHwovrvNn꽝2a u#{p\'^E}/`rhvre$)'0nC 'H*@da͕G|=YݭmhaqdAhv'ģSKO Kp3;vE-ZƙAE5)RXM han3-sk:B$1Jd(\=bQn ~EDjq.X0~l6>IR t66~o@pcu6P֎8OÄ}P̐[V [ d:<H.-mp-U{ǿ?n/BjhchӉڱx蔯avdRR[H힕Ex&$mڵ32'm\ф٪dsV27w{ukM)RI\ '7CͲ ׳$}CgOj3xeSk 3ؘ-M;,E˙YYZΙyU07:24TME/6VItQ q$$C;N>'Q (駁*O]n2B@vcl$%}3U(MmQމx};}}aI͈ "GCC"m*`Nq:CR-.b6Rkr1b|ʋm蕴8g<`:/ٗa$)_s2W/.TvFQyZý<(JwܴFYi=#tsfcq3^c 9 9M\@ (AgΫШtz syǾB^QFT| C`A4r=Lw)Ɯ@=[4m2nLWV܎[,g`/3 i/ r]㈖&뒱1SCR; ~#T]֝ \D,e#nK7gr~G-e\ڱ6W vIaf$dtǬwy}N99V;S]o@|:NXOk9Uo@ޅ:5JZ|lz=jPGOdlb9m M.CO>vT].p.AzWW3LU7.Mve$:8YDNt]:_t^Oר8_<:|tI uWTxr2}EK{ 9$sмY-/סx^{~|c L>Ո"Ŷ/Wuh89oFVТ9[i\mǎ|9gTvyYoPF |ЊM-$>uG$ 4SM6\#·?kAP>`R;t=> Z:pQK{](}<%W2J s?% Rf,r?5tĶN %aA3<_F4 Lۭ$C$eNQ0.S@=;Ԍ%$ EY?e)Ӆ=gJ;y`Q hX6%Mm<=y\|Z;E91z.HASEټLCM)^Kv['zcԄ's +u[+SwMK//$݂?-@l3قN^Uc07FRu<(_QjE] J|PĥQI +/tA?@?O'!Ӹ_ĈjvTQ@)~[`A a_[JSD$&"^˗dQK`2}~ JBs؈Vװ]ߣbIE*^ܻV'Bim;Yyi(1k6xL*a\2x-<󘐙(nu3W.̉ͱYHH:552ƚŽu/aۢݪQ<9\LCRHI<57"ⰺ.Lʕ^X$iLt4ç|X3h^/=k[l}9v&|h&VtH] F. /֦Ӯ8|]#in  _H l|MOvStMN#u-}>A?DG7p "Uj e{цԼ>d{=wF>4O[CX\2*!j@_ߌ+MTSE={26L:/3&|z8W- &Ek%hR⬠|@;3-7xUJ* pТL5~ DT\ Z ^9,=R@Lʜ4?9{Vs䜖ʒD$yO`xCLm#"kh`UG̟7Vz$?${?<'vp'!cPcr> \aⳘpWdi_ƚ ڶ$deL If&knLrpR_uB{ p6ZQ1g4 )@6D-5', >>C }5-hn]x4;6X&/EAJF)q 65#}g&v%$>̩ac^lTZf|R `+_c 6JGKAAUȩv0wL 7͡#caT8,jY9ʎ*!wՄ}c)$!4CM x$^_'͸,q`֞xV~@`3\'| T&ή,aKcr'LXUKmݝwQ;梟Qm㝬#'ZeB<-ᐈ9508pd+Iw\W1{91gh״MMF4wgPᤄ5z &w|NX-6?WSƎbd|VV+:̲ T&"DddBU[K4~9]Neq\2y)Ks›=f _Xu*"; &XRp~1j6R.2u.O6VoVRӓuz9_sȫ%Y4gYZ7zXZִF! .J]ŗXiɟղh%"F1]#Ak,Pgu ԤYj7ShǨ,0Y.WFTOWBCғ-5jM}d[.S*_Px#Q9ڰ;yR6S㞤X~"=D- n_(6Yf{zu:#^.|J4.Ma5VAү  Yv},"nb ͋V a͟YLBYR|'Snh ~S)FB).aj/d#A2ΐK0]qE`Ge,t%0HjK,frsavEa63>Nh3jwwȯqy| ?91=_ØET*RMG?&(aq {_COfZM +)R,PeT A#cdi2\msIkV9"Ks!ys CUh+XY*aFρ ee`i⸢FMZ8xCH7?0ү(`T3ۮ^gYZ7zXZִF! E)e]ŗXi%L&䏂f醐`14,'$Bײ9:B DK,x#3bUFgWHko~G c)t0,BYj" Ti't(Ԕz;6p˧j Vj?,Bd*9碰dž8Rv;O=6V 8_X1m$֞9BįZ Vx|cYc|]!uC)9X9"LϰXaE+)Cv~ y óD:A', :"Vc$Z=x$^ޚ1 LS-؋ve"VJ1u2Ln'kcFo}aYB4WuhOG;t9S1>W28|ѷ4ҙwC )wPBl> nb&5"*zo+ fhZfZJ/9h LŸE"—ʑ6gR$nX(wk^c*S* bΘmAyёZ p"63 $叐e:dX(!iQ:&< &9 };[~urw5DEUx*v2]aguyDP!l i/av {#I{(ǫ* w;p`,Z2 R18Cn2'vnWOؘ쥩`kaw{730NXkUMО;maךۺx._.{bdoRsı7uwI[")KjCz/'ɽqJe#8 >TNCC̔7`W/A\)߾kRʜrrB$wس+л&lU{Eq'F-JZ>/3?ƭ,@%: p'#pG1ln|KZA)T cN[S'l3ÕRF5eR~yE3.?%QފO'Jp@`BGYepOm91 { i roܐ{:βfݥ~8J/IP2J 91 ,VVı%OmSLOpiW_"geWu/~UPbH&`QHξ}( -`6lͫSSL}jr{$PlTuUdUr]6`[imϱY 4*O-(sߑQDaR0訮jm8(5K"a\D$@5>fa 1Ko>۪:d׺^ܴ]٫2 G1&3óՆ@8ǔ`!OBI=W\\}'5C*} z F :'L*#cvFնIC|EH2'ս},MFo_a!.ēЬss8,Ub/iǞ&e^Qh_0g#ʚzi);$x] cY`s_ Dr\0iUI5ߎfj`C]0*\ Չc& s0}Vw{q o/Cawc)nEh= tWHy B(l} 3 D){[) 16磥 ]heiOA 'Yn3sRL+0|ȶ›8Nb`g]QX:$2P$ڭt;Ŷ2φ9/_ e؞uU?$:}N-\4gKFո(a&IVn0_tu|O6"=7Zt.s:LKϼi 6@N^1BdV?*.èů>Y*>k|%P  #뵗8m)Qhr7ݰ.7s'Լ T~,詵݉AVZqOOk@9K~{O? E%Z~PO 0cSpqmlklK[-}!Q  w֢<Şk1\vHn]7ĸf@ص˜ٴT^Yr1'2-Ys7>ɤ 6敽5i%#Ii@G0i +VAp !t|CZjSA(,Y,xbRn^T{#4@ (|Y"EН"/БpzIG'P23&r 9Q⦊ K.&Ue-!))b[4]MNub[6h"8hgt5Ps(GL1VpzaL|㸆J}0raаeE8vk ޼n҂?[;ͼ'V`W _s(9 Eɹߗp顒[ӮuK"\%6Z-I%ZTMJY<>?4MyY*#s d ˞U9ROls3 M(ȖH& ?Sᯋ0XŚPf!X5#+Y`R%`j;48R)m_Hva ^0BOL*7XteY}Z}Q`[ņMKT=m,3K^u!P#`PvmX.msk}̃mWf,GTWCkQI2ɨL8C~ H оi-6]E JJ7D$Nw>oL.4بѾ]QezwsVJFGMd5nUe:8h6뵇KUfs$602R]!RICe".=t#-62htnESE(.">H&Js:Q]BpZG sO\qt^Wlm>`+gbΚFN:)+xERhql+1u'`_!.{l:̞[~}ot.xMKpDZkNF^_L&>Dr© =Jz̸HaֱNڨх\Ǵpox2ZTW!FCຄhpfdQCZgĖ/do|B^* QG]\yXb3C54&:6/zMĂ3p@M?%{QnCnc1bꦮ$NWgxRL),pAM{|_o[zώ6h_+'leLr]$_=|۶c=w dmdWmE whsUH7V}ղdG1ㄴ] 6SCj`UGu + !6ʅa7[ayNnGpqߐ+ReE @ ۈ}o&'8@UW>Ғ֦ kxFTe"Wg\ njG)@?w:ẵOn}v,5Uӝ])7)-%={Xt'@FK&F؇0'ۚ4y[eZriP\ă%r!$:R$p3Tt"}@7s c:v[k_oկ>!3r`nVr< [1;A XY(2/R/d]RGbH=nRs :p%S>L1 ~~xȨ`Q̚?&F\: &S\Ⱦ왛zٜJT!'N'UYra9RMnPrʱ b13.F \_P"VA=P{yZqOE{ OpM TQMW/,Zlu:W o5oPKqR ;B6*+b#J~-))n4Im>"a  "պ9Ag>PE2xd{@?t|:wᦕ6\M#mkq= *~Wd(xb?82Uʓ[V<ȡyF2286>c OÏrRSqХ&ៜF)4Tdb׽vqO +FO ,xEL肃cF眤?- _l ZҖw@nj ۜ7{ɓ`R(i#39<'U҂uh4"-JG+[X(%"PׇY̮:?4[foUm>epQ㐍AX&n!J]WX>ZL[ Y$CVte:nt tXZ3GaznSwtq:YQAB J4t`8/-Kn'8PB M8|GoJe8w O Jvաn۲Fbup28hюyo*m`a+ Z 7q$j fp,78s< Vh16nd&& x+K‚{l\e.mE a͹s@m;`NgďVxDFM8"p Dջw8MퟎzUOgC(Ȓ}6,Xo:i57,h2MOUD*OjF=/MQXpe`A $.b6n+s2V!1V-w =1*0^Yk`ҮP&ٵmXCwB$0|,!?_-N˸KHa 6Ms֒5li5Fq{R_}3\0.>{߈ YԞz82o$Tb[gVc*n%V+q%tbpb~E)"O|5WKq'}&ux Tϓ?_ꟽшҘg d_g B-۷ڑ)m_l(Oc5}5~7ޠgՀb2K9=| lLOT04kSCywPlԣ=[-qB/i9* :A"r zyUEǜXW=wΚ9@osH0[Wu\ԍ3IRYXTVt^- n1_}0.)bRF"^ -{caDK+_l(~q9m(}Ayjv0/L,*6C29DA)gl4`#nl\77-g< FTE+J /j\NdrF?v!9rkk;u;ٚ᠞}$U󣖪%vM_@ZWG)7) HMܽW$8 OD|/IÈ,3h|  k{%$JY͏:kȇ@)o~y󷏃\12ZBܿۻKV-vɰoFO(AbW/Lh=(X] 17pOwLb>|g|%A>t@f2{ayKo=!^t6qUشSz緦`gB~m~yw vI))Pp˩ }n'!\!j0খaG$nɶΌ +2v\CthJ,p}t v9w_[uF*\aZb *GJ$2.ݽsr'񒈜n0laߩuMHKo͵\:KJՋH8,:~R=F0`8Lx<[(31HRO?g3-%`YIKN\uГ L6Ғm߿#~dV|. Z82Y(wh[,v4W}ϓKK|1tʝ:P삀7=!*oXA RBBZcg7A!s$h@DݴNygj.)8LERGrR˩]bTψv"r-~3]SofC>g 3]]gWJY.:*d"b⣦pL-DO&<@ϑbYɩǐt/iT ؎/jq[]<90 b]qx!㞙d :!$DžIS8͘1j(S/Vc]4kOmY4a#|b G (GrcلF9'Hg)f ®@N[<-[:"8+$W,wL`ufnoRⳈ\=>[#-UYb64Te C/`} {H8Rbs|I$닓g8S &i/ H+sKSج9eOvUCu\P'&R"=͆ uT&ta<ӎ]ɔH˕jdUʓ `ד%Xlѩ6%/{,`e YA'|6UOv>:!ޖ^zOmGH.^ρ&7tcdQ<]U IK\R|BYC^*Pϥ>=1T%mf6dR$DpiR8{dQ&7/T HǟtVP.A3~R$xifrhq521ub,> yKRqWvFr[MȈ&LVrϤ#;dtɻGK9YX/ J|!3Y,_xb[6 %bC:XV&MzZ zG:928uOo"pv5y.d aI8 NK O&fuqv฽:=$d9ձv*Na=%W0BJ&4Ŀ[BT-FKU2lse%FZ'n*rm:ABN3imo9pI$0?z"P5be-b`c;OgVK$NSLV(,G;"jo0wMu:"P-i¾<xc~]]WҤG?n:)HB$¼'7QG[U@c9xa9Ax"`#wgU΋RfV5ƪ3qpӝɒƗ-y.rPa;4ňWTn0A{b;lH_ P'P$eIcQuLX@N<~k1汬069J2z-^ H-'񋛸WM^BHڲ͞eLxe/A?ņH붿2^ MBB޳)l1A踡I2oŗh:6\9τ#!gXr;_a2)qD2,K0wbOlA4Xng6EHp*KiGu%擝8~FQ˩[dDa)wa)XD%JySٺY ')D_+Cd(6uH! äb :v7>g'wg21wFV#YIlFzq)Eסo߷A;"&i=&`ON5GD="Ks5I^utU&`ka~qٴRyEB~exYue#YS $MgYZ5e12501f38d6e4b49688597bb69adfa551dc8c0d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 1461e0be47c4cfcb35fb5733b9584b2691e8a2e5 0255e5ff4a9e715b0a239eb8e2ba5af49f6487c8 99d91c39352f8c8512bd8692945c34f241f6ac7d 2c3d19e5e7029cf77d7e56a91f71074967cf5d05 33b51c9f7c0e1d584c7d8004a1466cea2fd076a7