SQLite format 3@  .0:  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  {D$ ]]]HOL:threads=6elapsed=198.158cpu=690.768gc=57.416factor=3.497zXZִF! '\]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟZz3u=3-x@1ߏc'8k=f? lJaO׳x43-4o+lBT(aHHuѸ&ԍIaة6!dJ'MrLJHHu]?FfE/ ^9ġo0u6XMMZo]4[`eЂڔz/@>~Ճv߸(W;z 肍y@تB~+éT)u]' #Z O rE^=M.h,ة-kς/Ro,\)' zΆ3}/ К#nH)i'i~;WYn7\\Àc~H)·{8>:-6p/zwښ%{ul`՚^b~vRr -]:yY$ \medEsVmRP[L1 gdGu_T>HmdW13w^Ufv)>o5+46 hO  HOL  ߰=* ∺.|b C\B!2At rKE*ߜ`!-W$2(V@,% W )!5NazZd_e@ou_+Io}p^PyM`>Mz-_F MH`]*UH~*|?CWЅ+{ @fe^(DFwM{6( !rGa,kFy#/'9& l#+׮nnġ-]>w$d50eU2sŢ> '.w48b@{ϰ"YlSR_p 'w>>#emc;] ?ygDLB}ys0;qـlmQ3g:d1V\?Umx/?whD6z>R8v٭$BD6^%x@/|M3[0T^N* ukFi۲8?4p&Fz%@amKX]څBea= ]2O\ f䜲p 2Y \ X~>{.A.lRvle6{MeA. O|{Z틔\hJJ&xRZ@M$mfݹ %X\E-5j{> bLQ 1t@K;mw ri!7-6;w9Ǫg6m>z9A=J8^u%w-o4G{$ uG\yøo\~K+Od; -\J]HKn!a#dޭkM1Qt_CI -R\2CM]qB[1,~*|;߂S,֓Z`TӕO|u>3v)TKCu]rTT:ny#} rOb,lYv\9[הϖF WUTࣤVzD%LPZSBMO%HF#8`7hQu*rDС$EɫVuaE2קk<Uj`A+Bț-E >X8s4l9^cTkoj%!FekXKZu~Dל0j!UIH͏\h=sN!ֵ̮dF)aJӞjC )b"oyY߹+}$Vf4 :uڔ6iN/o6@~հ@^3`,-zC%H&EEEK0bl*Y=—tC LaI:E Wd-x$[ퟣ-+H۾Φe|w;X\;@I_3?@vmJ1z݊EnMuc@C¶wUR"R-G;8H!u9\ lA+>xPˀ6W}C!x)/k2nɈwj47 ҹu6Mn& »0>CŠeg')Lo$f>>bԏOB9%3!j5$7{iRjUMt Bc pbaR2l+f+,[jwiG9VwRlα9ah-Ԕ,@k]jA_p** jLB/3gfU6ͧ۹l4YuXM|1i(A!An" a?8dcl:0-whW^'8 ܓ쌷a. 245)C)EԶ;^z;ӟNp Ŧ5I; 9?OW7.YpFBb*A-زxdf%&%E^Sk iR$\j3ipRd!@l(V.@/*-z}lU!i?oSo)Lw? -WC eao;1%!@OQ# 2?QA{ZMbY%1u4r'1RqI]U)cWVGy"UPA|FY W*A0QEoOG}dƍ; `т B])1v8v@:'ɑ;|JKx ,O)~O~S'n Cvx"/5/~-\ܗsˆ9Sz#eEL'G|b(E`/M5 YB Sވ 62t&\ ]ʰG/NW 㾍沛hܧ`,8:n+C 7@ >hG6ҧi$QRc d :jꐐ憻QἌԾԌ>t7Dn'+wц7F4 ":F9xt#_f1($sOjFUo,. "#vVr. JmGiLà}/s;(MV4.վkwj2b g8mj%C@}ĉ~ ݍ(-<9ɲuEw3*/{y{DjOfT⧌r696D__+TC$) xMkپ6AHVM Ay u/C2Ԁy Hj_+B BLk,'3qcysfQX)0XH瀜]kU'To}ޝ90Á;l~)h@}0juQ w:gpXֳ( iIW. _evxI{}Lk:p:Q}n`?'Jf~'&IK _kn*@y2:<fHLQ Q''%#[r "3evS먗WdN{MUES/c1ĘnF;rmSR]—l&Zu^˞s8M~i!,|g@' yVfcP}*3k[PLs/r 0TQ@4TDisɺ4PnP{ %ﮒt-/^NOi{@doCxJ\1b+W dw:!;ԫƙEV͔v=[$,!7VDNj/@W6իB#ݞ D8.OUQX@EDS'.* O?9hWPowQL9]|T㭛; 7@;aC]₱zaQ\l5y /胜!Ui d⺐p+v,7rRB4l Gws@vI I1P!3SƳD;̔FFS>]1OT8:wO ^SS݇)k@vR-q]^/ YiXݽ$돯 Unb-jnn,WurFg<§l┒;/0FUl6-_"-}P䙝 (msرLp\go*B7VY1S>ru޹G=VK7y$2q5O)[9*tޗnNW{RzάemӨ*O9ν:*j^D|p)+F!@"/ŀP 0L)э, NXR[kH:L?l@j!ہ}PH?\q2!.tӑ8 [SH5RчyH`6 9qV4Wsm}6--J7:TFG+^_4?i~/ɧ > 4_H*xK-Pr琥K\R~S렓xC{rJ5ۜ`.C2ߥꡠ;ӴnVgXt\lF9zjE,F}Rѐ7͉[7E}5ûiHQs*6i+$:;ܐ"K)T2u>2;k٭uЉ\j XIq7S*:TzNLLkv:0jRn \^!"p+|ž^wo,mukȝx=1:~'w6݂vw0Ify},jvpff!kgmd`E6'{#k՜# ,gL.-xo,@t~ޜ+dtL1vAK,%庴!H MMRe)Fe{N"D|2l~s Rq~=TD5bȉ$$,|tkNgc+gD`AR GN}{Ylv#~+[/3EU$-Wmov,,/ |?9k :fuUiUuq ]ZD#ИB,s̙'b]rvcMoQ&Q2F&7 Ns)$ N YTQo!M[/mDGۘwlރ"L t`[}ysv}'XAvxh/F f"թ@ A7)P[G&gB KR_o[zP(!EKXp[_wQfx;yչƁv6>k[E#fßmP΁Ut!Aղ pJnԆz-1);5;SV;YV}u2i#dPKZ1ݹ%KS72'WN1ʰAFP2ix˲5b gu,%dy3R`_n<%π>\eKnIdt(aVozs@|has})i/MN\2sJ|miڊS8}Yxhi);#Z|LBXx ;˔ofjg,cVWD{)Ch/qIJ*]U )Ѐt,3j2ɜ D1EQ2;ϒ~61TbKc̓z/ 1r_;k8;B\tiW1De;8zczŷAm~LV Gke\ht,s4U%M Shwۘz_o p^ Y2'9o;ŰuvDZ/ȫ&,C^sxsxӒ8+_Q6 t*v+yO\hݏ*TLQE֏L\2:&GՂkQ5f<:mm U>-*)]/t *ažn4xM@u;ڗox,/}A_0z j?i# r̒6Vց! eK!76^aK^Ff rNd^6\=g19bXYڐCՐ*G{ v+2c8C'b^=/2&@}k]^KT{O&ّI!"A(D H3ռxH=dLv΄L..@FXa^&{pr*ev \0'e5r57b- XƛF3I$=([ rZg3e>BH~EyyZ 4m2mVjiqzxJ*gIF"Af^iz)?XRҨ8|n8]X@1D|/D䕚@`ӄ,+Fыx+lJF cR):f<~b}|XjX-[d![N?['][`k:lr7Hۖy3$[xqp-6T לgHͿm۶(nZKQHǹ\aI;xq6}ȣ6dNݭ 9H0ǧEIRCp(N=?3)(iH%I37<[j3#R^5;ȫNPʑ U\܄BЋ}{$F:=쵱}2e!f mZd RmîvPA2r/YוJ߉OcS\hOݷp]s*yi4[ٗ-#$P]VЧk8m zՠWlTKqM N̊L[-.2+bdg $~#I H޻saWt8Qy 2_g[8wה3$Cwzt@wFP7r2ȔL龦z"'텓ȏj(iBYQ zDu8gP3ƠRS"h-z6hst$ &EL!ءc걪v!6fKްYLFpګ2%#d>vD]HU& IˊݦG:bVUR)|͸U:>.gYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!*XL %qiD*Qx$e{xÍV bm7qB^P_IX?nC/6HZOh{eR5y 9~v1<1Neij,% NRP "Lo6XBRK#N(u6Ϟ6%>xP٨K^=^,Ӳi1 MVM3}P?DE&vp%Yg5.rP|ܛ $OL0!)ĿeKl=kV¢{5,hKj>(wJ! ca,BpG&Ҟ0C_4DN{{$r>h,즄;-놅j={U9 k}pEFbZ"xb3+S2~{`ɋʌ¤J~ ଟ1ͪ](c<%#%IbĔ!8B߸famZ.+-LѼp$g>S:s'i7}@#ncdGz fDQ*t$ mo@(<[~?j Z>Sɕ*Al i Z{%E$",wjnGln<4^S] uAZJYU8 ޒ c~S(9*PC&BPd;)u/f5^im= *U&64<7IZ0f2ϲ#,e) BpAٰ2ע L`DHP&:}gׄJA!H@h2G :[etȃюFqn&^{s}Mc5aAStEAU!=TnI:CfAkXyvE3&ArŮEFw#T0ldR3v?r̯o.\<'r!ZVD=~Bmi03eS{YUhAM<`lyffzfRk dw}w0ԲUuwJEnC=&6і9zBa/֌-c mM`.|=rc\xdmD9=ǓGH^d PtW[KتP@}8k2 -0 0;׭Q+&'H:& =gYZ7zXZִF! :3J]ŗXi%E`ω:#VwYWh&}N "W8.EXƒlY@^4j PX!Ο9ߑEFAWMwhz z!B6l,6H$rׅ8/}ʵ^7= nNT\Dlȏ)rD6`kܼF|Noq9DkÅE GŲ,_ 8ܫeD۲'uG485_#[(u 8. /!5Ù yN?dJiX݇E?AJWޔ'ח ׏Dt `طLl9~Me>5Ѿ j:֫zV4&H1:_jAj/NF/Ioq/'p?1\fwҁɸyd&Ðcp'bEP@=OCS#\*ԤJVu0}mp(>uav4"&3\*h5"dtmݪ=&qaB¼=$]1ŶUKw)pJY0RcvQ6Y2tCDЊCVFQXz u#MbyPL5(;K"ƃ*;p9jQLLɉf8=~P&MSʞghKTTe6*eDj1k]UWma]I`|ypC1[LY6νl%ǯmTvS4>R237NgٝSLS3dP"I`n/Zԃ@nerʦ#hJpqa #!f^b#7unh"C0^V^bB -nӧqÅCΈAx e[܌ MeqƩOgm'S[0-L' ϓiW`C CZӐ{ŗ{c)M]SjẺwˈ؅Ss%T{sػ¸E>aԨW*=J,nH{Qݗ; d0+-SP251aFK~h]*q†>UA+l1BWqI)OjS=4nnSzR"]ECu+U&O!|.1KL:Uϼ![0& 9ͬ~T̾$xP)mqŖ|>a+^ @:6t/u6O.:}fa}1 r rqqh0+Y Cg4Gwƌt<&,ɵ N+2F52{'z]"DOEcBG5FR ]B{*1l~n%nם!8R /1-f㾸m)DSu ((EV5@d` j*eSa`}ui5lK6ཞx,`H|Զ&#b5ʐCz- ^vIkuhzzgO 2G }+BY?t{9@Z_h/TIgL(f!9ev#-Y]Eq\ {!6!in $)gX[r=)n~4j@4~ Jr׻> 5l -jy5YJ<̣xt<#nwQbbZdVʩT!+ˀ"X_Z3 p6*,#Wo:W/jNWvA&k D`F|^YT^7If~/T536:47¾l瑕s^l?{RX[6|*xH5Ɯ 8W1X)J| Q}lJۛ!;,v :,|jpn7Y?jЏǓov3xFTng(JaˣIjqy%k)-G߰ v*Rf*Ci30D,f{0Y~O/#QGy4VM`0 p_Eas9J&LA>- zBF?E^a(֨> F6>]Xz]-w HHvjBUrX]@ ˋ'gkڮD *̗/FJH`7 07ϵK;5CDέ֎K: D=u`.vQQS@1mtr(P)asr ?iWDD{B(©KhH9h"΀ %)se@VBk_ ʟC>z$D=O}aKuY2b |phQ ]PU;X9`POTld4/S+gQAYV?eaGJw>I ,.{4<ֶ?:-=iAVaO1MZ:'mֱ*TclNY~`@%uimrwc'}xY!tML4;nPdluz;4W(Ԙb̴[Uj)*mX٬ч"Mŝ{zNNU_8"D.mIbtz3y)LF)X1*7>7+_mSpDu7?0Q"Gt+9& u_kyZ0FY+ObPj ;71Ia)|LO@A\m0Fkm*;O{2ܘ/$r<.[a5L\c9G 7=̠MMLX8|ɻYS#ELTĠo0B[ԯb%zE/AGFែr4S)|]plXLj"E VFF/^Rlݧmw=V_L\> Q]ו)BI2Kpyc#cK*鵋.2UjpDZKEi@Tɑ`y0iwsh qjN)xgAHmjuݼVf! m>r K:- %N5P@X?a2"6vg:YJʻ ɕI6 )8yqWs-gx 'TcD}p.<ؕԤJ6 TF:*sx}uVV h{ 8sit𹩦a"P*5gpp$7#[=lʽ} )w!p m;֯NbAҺ}hOvf;5[\r>616_-0YW4SiCUEWA=}e1ԑN)I4j>\nn(OㄈL`#Civuqe b~$zw~Fj:(#<*?Ǧ T-]QZ~, Zر=WwŘRsdzD~!#S)l@Lsg#-,'XabSKKRV[\*u_KWGBh ``fʱ&)d3|"#;#:[ױf7UwM vKzrqevT ?d)VS6Y\I؂l$_8NS1} Bަ[ -uH !)Y=,=+͆/ϱ}ăsV~zZߛ([AЧegA=:BM+|$6F; .<'3j; &?S=:.?eR ހߴfPSf>fkzK~Whr&^xSY cq@-B֝b7 / ֐jPSGG~h[,n7TFu]Y~)-4PqLeFm[eA] I$N~-]@)M}SM9'Y"tJ]M %lؤPasNa)HgIpw!'<@\7TڛV1r/*gE:(b=pog (:Kx 2voiWN9gRYSNEE-3!m`;b}N,eBa@ՖrɶW 9Hż@[6V i/lM YZ sF摭yl)Hę%sm T$X&)=;WM27-DE#G?/n"XxQ"jN u]MX:8/TQ nKT h]ՒJmЄ"kk Pu1g~%A1k-vE$6m- (La]}O^kħC̼ʤ=\ ́duMDկΥS4E I6J^ȅB`◛)>"IƩkn?pEJy uWp\N?`@ڥ-3WU{삇cjNvQmdK/;YGdo[5q6F!vI'gz? /ʁqe%|:!v k[1W"S7`~^kVB&yXXT\K[ Hef. O^c.D*&Tb!|ʼn8Ler2f@IhS1ټ&~ ~K9 3c[c+{ 1 HҢG7 As)&^gtBPVvofBm롤vMRց9©l!0ĭWnuQ7?u&{]S4nUYJ6Eπ2 +J 8 6CTr)0<G ucecQМ&xМ{\8Eyrd6tRX&{^1vOϓ(4FYhIȂ9*[YoHdf>3c{E5)_ʉ A7iͩ~uKvi8f0SagF =WQ1s8=i}M{ <jJBI#JE=0HK,)X!jLܲx*G85A=kt¹5GLIӊv)?"4Te,*27PI1ͳ-w0 lC.ڣ{O$FI:`8^ d#[P fvf_E^+|BKCL=FĶr _,ji}QSDJPpf^?l Ed;<N%z&L.V`8B* X[$ ՈƻYsh|`6Ԙ.ZZr8R9P{\ .pPeh-uMnH5K+# . WL7C2^P=l\!j8JBo>n?r_LLQ8t< J'l/Ń$U~FCaPpͭ&+HDZKfT>ô.?ESƫx6'׶1ADsn_AЁ8BI{B'6@USS˟x A+7nA/=VWF lM30>PX>/xVJ1`Цe^ vĪbf_f`2Tdaa5eJZ^ɨ πA&Lhz\~ ː<%DoqQ-0tQ"$.5 7ioԴ p_`w⣾i^^Bk_%bS$+ܟtBzlKg⋚O]CC{A,2=_B+sZF=g*i#ԃ2@:II- ">F1KSW[C^10;!an]H)W7!5`*e.~v (&򅎫ORv0$*~7NiafM{ }va^IW#V po#:HZї?ttl]'aC37sDmrNmVx:ҴPIb/ME $KybT3O8yi3Xm5G{ۼfx*LC2Օm+MF*22Q%]&akNjY`IH-/WyE&Bs.!eþ<22TDR 17:n/"ԟ7?o_ CQlrNF:=ҰA;mӮ-$sz882Ry u9OT[ k?/˿~r$.{T: ) ԋ͑ڵt&[<PseDToQW6 0x)4墝5]Ok%-weWCV#ǿ;sbo(z ;^\,ۥh:aeS Pc`eIo$Ùp/p00iӡ7RJ_L7+\S;UQR2Au7w~)7-@,89&!C~\龏`؝}u,@"5Uϻ۷By%[Ϯnk㙹#9n9j.$ڞqV@m j5MKU ki2/+(/{>UQi;˦"R)DOy]Wr,fZN xoGc bʨ\&2dGI]u/]mRyvI?\}K=Hk>Y&:.?iLb "L*i}2SWv[7=xӓɔ7.D;b̹m|E+y9L&⪛P8dxoyG׀'376muDZjQ- qmzpFUVZBH(>KMbSvK`Ies._'P9V66XnQ!ߣ,ɥ:3p Y_/&@#qA. LKw3'yA$vOQwjВ>[ZPvTUZ; = ;S _ zIk74fr]mH?W]ȱnaTD< _xn]ax"e ]շ?NVG fbnD١pٝl02IF _( heb!V}2[~\t "i,YiГ ޫ3byjT:N.tZɍZsgM;nţ]< *5b=KE>.Fӗ20Ԡw[8ۼv²{ +٦w ,EzP1'B9?a~:(XĥA*tMNz.j)}9SңpUŰVޱb4m/Y 5F؍CR9u+DNOr'[Y=7!#m%0+ E/m ^}q(Cr~utTmyȵ鎍d[UXE"ҬHk֬d 3+ll O'}GP!ΠHlJsE!ߌK}4ؿ]wUŁʕ /-{dBgvz]7+9४R/54;8sg؝>Fr4!Hh v(9C\NȩO^E^WI,Kr\FA]9Bmw-.>PfVH%mA׷k.ip:Q)A6+d7S68uh֯$")mrOy ;o5v=cT,%W) QK.ce: `EQk%Lx8:֧6u[[^urwSfArE4^ t Ktz0 Eÿɣ5|A>ȑPbB{RsA%aR\مp|5[y6voȻUulZq]$ 4&mq 9d>ccFP#ucd~0Rz w<j5%"žW أ5h } "AAmAUb@P$qKa N|lH=R.?SHb4;FG{?3T0Hd aTZUs-Xz(ƌM -NS-= CnCĀEsuB!4K9[aq^8+x-Y;ɊJ _ZN823iҗqVLmʯvsr_8z;z ب |=4bJBGgB)Wv4JVfb|qN]3(94m&dNt_W^O6FݰgL'mId-(avӱf? oxvRƇ\_Y%r[ڞ>K'pX5Hdus]y/8/(<9>M~0? $_7ޑCp\K6?#F_:#{{#OQssJ.3'PzQvUUA0ƻ n4w. fj 3ўSfeد&6"@ e5Fs1XN.b8.U;,qmNӢ>iNmqk6eN4Պ{kG7Y~  r] :@G}4ʹHYV;B>S5_OE73A{@{[$p% lw}Iw>~,;|r}I~g+:^m.g̤O{%7V$J;hQʺ|,፧JK.&3e)4VE9s2X\0LOA=I cFX*W(DezDH΂^?ʳ镾ZMt2s趥@4Yïl0R1II_AU L{Jcy=*QnKWxܐ;S E5`_5]q({k"lQ9t(&@+3 "=bQ"x=z 0 ^%04I{~gdk\bgTXC^987dXΔ{\{ ^16hP١7w uuR[#wvfmS!0"E%b!u_dytfҷQi@{)3Ơ*;4|*G9>_MB`G|!yDGҽ} + -x G%E2.OM*Nʘ ҍƗwM[`M-BZf<MqfD(r$Jp9iXqQ 7z) ^T*qMsxnQf5jybh,NňXNȞ\o/`S?sOfK=Tqr#o6vnjypm^!Ubʵ@Ir}-*q u LGR虐ף"BI83>g-ƥIr9ӓ~DZ?uRׁݳBnx9DK$Ymy1EFk k8|ƔIä` a{(U`J:]0<Yl,,-Qp9/V˾lHoۡr{ WtrcFwKeM 7/.mב8I񑹈DDT9 )5 z7u1Nx94 8{yiq0O`@Kf m"TqS\d˶4/(osڳk-s gC򬡜5^E6Y;-,.eb|Y4Ix=a񻇽y$kSwt](Cg} 6 a$C-hxi k.pZL/VVfX8&͐$'ըBoTkYsLH/%-]/;^)WC:!c}vҴUs^f"OK{+<n9I048L'R7tT>H\MZST@AW_ۺ9kG#6A/,keVKXUjr-Uў.­N@-#^񹰏`ښ Yіƽp5P#jE4,\8o[&$9Ej~?d?p&/8$F',Y|h$?]Ӳ\? ǝ:3~v=w5G5?A/.&V>v4ZJ5MW砏7eoC7jDJyKQ6&8"I&& v9ݳl-Z5t|a_/S Y3o P! MQyOj`t<])"oA҆GPLRc'Gp,(y!&v,삎s 25]1S B] e9T|s>ힹұpr 3wz.ݜ*nJxܐ4.yeAC$jOWz!/rO1l/^f6N#,mƼeVpE 㾪fp UhD{ ?Qqꢞڿ~w֤GŸ+@tkqkVxC88S!c˟I_~yolQWE7#:\kl"€J;&PezK +mwl1Ќ+6*Wd\kMݧO: 7$w3ԐǾ,-`o!.UI5RKg$mTXGjrXrIyu8ez9XB Z><:ImuGĭ/DBnǯQAJVE*7EwUWo ?r{X]Rdx*ciq{-onCWCI1uhU$&씦o9*ݮ#SIp= :i@ؾFnBmZI"ZGXH|v<`]=\-6(nkpa^/~]- MM±zzR ɺw`\P>)No+:=gSL[F'-*4OC Gy'1_9\R\d(_"j6 aOP1eTW[[~ݷS/EGkLpW;\,vc9k4$av*=S6f%Ռ'/ _3l(t;UNtf!7kLͣ cK˄R~=HA1'ٺ]VQ$ TCV zV^_,x%UAh}v];1).|*<#"I&4$P"DT+ V$=Ϭ֥dl_HT&i,I{4WpwUl[ GbCòi}\۫# B&Bbud'ºɹ?fϓ3 DB>N}/6cIbCϷLc$'W\GjyDz`t{2ܐ.<MSKhnJ'&kUBfk "f*%\/S_U.DٶO&T4xT{Oy{zQƇ@\JkMy%AR)u~tfmn0YÑ*QV 'ڏ萨+먓Sľvݏ y|C~y: (çdcQ7u l5bFѰƩHHhsΘtdkoi3pf=D~:P  LM>loc.2ƈu/Fu#jеJD:Gse2§[T&<j dQn'!ށ;YZ0Goc.AN2ːjM0ڬu9>MJ{cVDS\a S6wxlG@RvmN] ;wv)%XiVQh.J0y"2.(Pi hOiܓ'jaɿm3)MO?l3 #9 R]{WQ@뚏 +҃},s]ⷣd*SNg28C͝fFUeb+gs4GF¬K8Ȑ&[hՆk^Vo$FN]sXI<#4RK{*WNjESz`76/ "KD1Y_g瘤yJɐ0URPW#rbȵ5Ϸ$L,(q\5b7CƗ L]32 0 Es]B(zN~z=eEfd% +?Sy/C2'ѫZ֒"͎ 蜮IO#*Dq'|o6¢\h(z*,LX~DkoGB~Eȑþ"Z@UHtPw jv@ WyXcnSYKY0hKfs-_V9$+tǹwЦ~) ։X;!A uH0x ǦLPtg[D&kp% )ݍ~ YA'Fob[c( ;oƪ+Jz鰖a&9?8 ,J(o $kEߡ M`[wgX&ڷ9]uY'C9_g, 9Bv7[I;ƺBjdҦrjlC@}qCݯuEWCNlڗ,DjE_*Xx꺺TTJڪ1[ fVx ƮkoJȑ.:Q(31fhxA28+N TLkvCw/X*|_b@k`[;kpAU4S)`(Gk đX' bރV#:T^3H*2 @f7VpWHP9{;Է"v-j7F=#O@sǶ}RwSF|Fx?(LU0^ #eXdĨl@e"}Ds=RDzZf [=$wU;Pg0g"#9c6=kv3~K7"de^ ::x?wVH)5ٍUB8Vk䒹SXY%pX!gYZ0eba0d235a403c0aee35a5852b6a5c72467e5c086c8e13744f5674a7b5f427d5bc2c896df0f96141905391c16947b268265525cd86d750411a1185b6