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  L $d< ]/]Auto2_HOL:threads=4elapsed=21.745cpu=58.300gc=1.504factor=2.687zXZִF! ]ŗXiɟH)0%of6BN!8eHtIM $<=X#Q+b\+^C=dQfJ1IT@ {iǗ]h{ڦ_͠F/6F*V>,(}d~WQev:/ &졙kEiOLY4hWu^O(61ɯW^8 CNn_tDɒҫ.ooա!*u1ߢg#,Ot= W4n2 WPjۊ1I<MIucz=CnT>l@܍I4Պm>*g{V@2PEJV@rukkpU ܭVk[^$qg! $o}ei6I h i|oQE.u*h+Ww=1=ELk|qMR۷Q7_VS śjcO   Auto2_HOL  #~h9tv\TOj9piX.e,Ds.PQWK kRXI8SJtT P0dl_'8qO$H01eD߱;,@<+vqX7vꊮPUByx#޶;J40"a뼙'YڻoKyC"2w@_T_AՋhd.'wRDYo\\ V n[g[ď3r6YP k10oiSIv7zb7Xp`AMdpcu_y9}kqxJ#ArL~zJ_|G&&DV }FV0W0y}@TSf;Ac؅3vSak^ɖRKݎc8K)2O))^cgμ1 ˘_Nah8e< ]m⼚@h8z䐅MoJQ扟zXx45=lhC[tk)(7FNGJ6GI%tpP{.^]w!0ޛ .*k$rAY>1⦡S:y8C]q=eCWH'5[a J VMz:kZh_sZP$np^ Jf lO'=a2Һ.Br?W;r 0'[N(y<7=+;C,늰]7TlxlJ7( hg/{M7̝2&!≏=\%&0!Xr8<mZXV[4C,P_Ke3 nt; {AV(lj̄fЇLC5&uDIQ+ ^_gA2oQ ]dyҊry/_?Xs 6ˌYui JDg e H]{I4fh*.:#gԟ{@*#J˰| kBI?B l)|T [Io4nA녹լ[E#쳖jf 5ng` 3lFՌ[|| ܀vX*]P?UۻÄuOY:Phr87MyИ4Df>|{*PlWΠվ_;Ս8<H 70WhI_ּNm4#{ ۞ Pk8it#X#bɻ2hHf槰:v}WT}hpVZ/(Xt lTWj.Kn*wׂ-hajk m rܔ $/xx4!Id@ Fw"kpxV0Gz̧4(#tvU$! '[&~cj(VTeMav)FcL}*1ꂂό C3&U,uGH%#w+(l~ Z"1(zv_/Ss$'+OVqh:ljs2i--^C>wa*s1yGVXZ0Z^r̨/,wxwbGMI;?K>;q2PfsF]5"D5%z9$DciPc,CB9OeF +U-(CK.mxRJNjR3&EI ߭/ rX,、#b+$KϼTKBl9hZj աH.1gˢhBIXέI6 @uE =̡h==KzL(Ǝ{+cFvN,.]US!q@d&^q3 LBV0_l.RL%hZ|D,瓌Q1=4ΌAc5@X:ZNHp"hF fP;֫U4t; UHB?!`IFW=.z`,C"s.!sfe0HXff[4n÷?&Y4 6UmRUJ,rnu\®+`^ng07E=&wpVo KԔ}1uEeQӖR7rGJfa'Cx2X:rX:08m-Г?@4*O]&{\լ Rw|dC4ܨ|"> BՕD.8F/, a)3Gl|6Q|!QWJmG I5"A)&ޓj @^|ŝ#=qUP)_51c6RVaOm E,8vP]- zj KjQ',]n7 Ep,J@Q 3 5H1 ƔI .~徚 ~)S F)&""V?*|Ж# ٥"Z|~2k"nl L/J  v#}A:`{9񤱈+?¿2Z#t;2nh?F :Zq~ i9J޼YԆ7-W4K1'b A(߇Ŭ9'Xĩz[b~-@-K7D*sՔvO&g"n*~lBv5U11RW!':DX@wDLwNm1!ɥv˘n>D2;Bw crv] ٠˭D K&rjXH"9.unJ攒[ [IEеlXxt4 A7 iXy:"IA&80'6A̓081?(m9oK>zQµܓ\z!w6>:䯭-sPjF#v{$54-j^2<*i_dMaن ز9IاVt`\\g\rmex&TS.Wx,z7p%_:/Q;brkiC?'s;-],iQl2blrmCmA|/z@;g,΄Nk+A3Nż0H޾;8v4`!Jͪqg@p3Ta'eC\Q=Ӹff)u~k{^s׮DD"o\I8|@2jd:eik&]%J,vmUxxN![ef☌Vy6_F3T;2"#XgQKw u*|eqĤ,m&wJ_YYH#\ضJ ^5&մMJxZB&jEe L73%fCƫzk@ϳ}Uu=/`sdȇ8SRE pc\}M.5.cz^u֤ثW1רtJRb1'.1ҹ$ע~RtE+VU}T}q ڀKHFo6<zn@DZkB^)p֌ ¹2ۇ5?̇W#)-R..Mj(E+o;N:L8=*j>!T/g ΚRI P3}HM6$mYcbI<~+ rJ,&oСlFT2}U!8Wr|!<Ǚɸt2heYg]o3Yp<{~ÑN(Wm83l+%)M][)׉ zف9Egh3S6Y_$}{sz̴hƸ?D%9R;{J"CV[E y~86vK'!^?lhY !ӳ 39;V.\"*f[L^ }GwaS&xEłDVn 4R׉ O,m 4O/H?pM;(]W f.Ԋ|tk7sЋE:&mZO,DZu/߻G{eb2дquw#,Ĕx":cq:'AkC^0$A%<>IPLOL'%ޤ7G2gA>R9/tWݦV>glaTT!V ?o(ՂG N$=s31GuΚB;%y#SG}@y-wӯJO`$M'i'2>|1n r .hȶ k ڢҝ6V?/#>`M ҂ 01",wHJ54|57~ 1@n _rCFv[<dB}2r'jQ\0ATRD9f@SJnJ ք$ L֪wj01k0/Р؎ >Б]358-|9Gş[`ve]xp;#߀1mR5ՈSmy}oŪTj~嘓l~LBO E#%m|F/'S6J-[*7ZGj^ dNN)ᨘ<&mh`d/asnljf׊: 0(ibyHVXiMa)n# (Mсg?{.}Д`Hhfd܎#`ٟ,%̔E`fK[feEQ6"g*y5{nQ'XAmʨٹv2)Yl @@M4m+ola#S*Sbﶔm:tg߸Yt{Z88l-In:S}Ġ<[N#̮w|oO?oN˻i/zmel)pZcpJRxp?Z l) mXRYl.$4=dp*!8\]s_!\I~SNv@;0Px\@& :6<Pp?sЖ7((Ge eRm c&g,T@L oRS\:zA݀s._ ^QT݁@ho?0Tƅѩ6Ʋ >iqz5oK5i–0ß[n[-ֆϾW%BAmY?6şYy]بYdǢhuJyVh$X,#Xٹ=IàY'C02wxW _xa>@j^meiwJ/1+&.0ve*r[nVS%ޠo 6 | ܭS8DXc<3z*@I@wߓVگ6XDg1O7Ta1$}t` jeNW/1t9;`*w#D!hWtX!g< S`!:y:|[{k)!Rj[KYsi@];TG mL1Ghe:$&&`n`6{CXnQSҿz8$h*F EA$"ȎTO^48d3b (.i҅l)X #3vPnn6 `rKax#XRL( tN%ɘ*a۽h ia4^+eGhE kaڢ_Ӊ9a9xӁRpT`>줢d 6HDgtֽ &;hQfrww:[Ai9m·UQ49nLa?Q*PjZr Ls$QW֓Yy=ۼ:2>?~F{-(.t> z2sA3(%B<' ns1VA99zp>I?aW{F|e$w3&Y _}?:y!8Zˤ0̯T6r&d`2ǘGUP bOq#hG%⽌ZL0;ݴL50E$ȻA2CA1{U:e6?8D׊׆3劇,4Epu!3F}p|9_#:A`6)&+[p3a*{n5vIt}l1зWW/Ԟ_E;4@Vce#nwW-=ӽ@?x%# 5l/}gz3K"kEFsr/`ǰiwoc^ 4 l?l)H*YFP">ftmO|9oQ836gYƀLP/]A6]lj1KW+L`f:q.)j[ΚBm`6LCq4;TDl܌ hEFtGiBp`'q 20Qm'7!j0Ճr:Zܡ9HL+ |]B$D@g!=WCrm^80608@l~%e!W]1Lo ze *ZL/XT[Q+D!<3`QSvyѳ^4dɔM|̢R³gA,Bh:"94Պ|{L />Rɧ :+KHҬBhͼt6MWVOZ^\Q hү0`Dd|b|b c2s.ъ(TzƲV\4Bg`/JY;7ۈ3/n1qhqoOؒo|LέD#hVJ\xD@frQ.̱K=y76g$ yݝP'BzwLQQAZZ]3{dCvZh,U"T8g ͇ilRITc/K& һ)DLS0_.B߆6&ٔ;>h*U.wf'eHN (isNU+QXqS}4{)ε>Covaᓣct*m F'WjYHItʴ%VI+omI]}+WBX\}ND%a7a*{Mko4,\NJV_h/Rf rƪ z 401|c:w"M\X\:B^Cwf[6;V/gAf*[dCs?M' yڕ#a`҂EY')"0[%HmiCPJmK~\5^=n6"p{64X}).ragϻiF>C5 {&VvuFl}C~*D@^fnx^x&]<׽2vE@a`,'dKa|\h꟱41k9`oYKN^R.tŸjLKBx]#:a'3j#5jT[O>OM~c:ryQ l?ЯۍZe^>!~X[ؽ;ˌKџͦV% +>I:\GBl^~,p:kGͿu>TtsXbE|#7]^2u )[ bG ?w{f`ErE$Hhj9$BqzLm1u, S?a OcA/̗M_h~s4Y>pIu](GD̰Uw!2PxQ; 1J iv˱k3 _$K%D[%@iɯ'$q=JD0؃zCwH?r!/xk%M~-Q2we/j9.&7shVhD*VΝ\ϓt|`[5*|)}{wP5BGSE(˫͙nVO߼umN "ŽW`EBDa AτŰ0idq)1@^{ ;f'΍K&/]5k@úYj %[`gD5l\4Q|]O*$H~!0_|yn8ʧ aPLC~duo.$ }V`iEiHNw%v7K`wbC"5BO:Ǝ/ߏ lKBl6'Oqt0K|ЛIm|$[¦t!]LPx_yEFc0+Tg/۳w:Ӭ {>( mcz6OaDZѧ ͐އuR _wݕe]aa~lhKIJxa Hh#O~b0G1|EBůM6G7\ZILfIy 5[&h><2:Ȏ:Znd^T:)ʏ׀hlMaO@V_Q >THێh % u1BEk禎^)EBmˡ1 Z?:MCb"s3jmZ}-|CYu|넽a%sPݎ%pAO*!-Zb>浠_OhΑ3`:9(A63'js+xs5gb|BBN"hfCy\+J-MO3؈Ytw:DǜA'ru0u0Lv'*Q_4И[b/8anPU|ᴙ~1hUc`]'N&T,svSHи! ro Jɀ0 a6_Z&*/ )pgJ{]ZbkǸwil|JLQ^ 5߾yYG<L_D hya.h4!Eqʌ-6歇P"(ÿ\-zfP0XD5BATvҿbߖ:|᫔ʃ@U;ӵTE@$A]W-crV.[4CSqOPSik)KCLɔe/PKmb3EOE/ZB kxzF$@ɗ*pϢ,ZM='WO˜O)l(Wx3~Q c\ɼ岓Sw}!q0ojҿTL$X8䒌<Q}VZMߜ\Ϳcā?hMJO/%q_c3`p(OծsU0 Ld3e>ճ%Ҁi|Fw7/If :jjg8M-S/d|è@7:@ LOr~^&gp^5kKMw0 ɰ ؀WKзH-Gm^h[׌C2}HZ/B}m켦2a#vn$~uh3uH*M't*t$@!Dr70k۰W&KWw>{u5Om`ok+ܓ4L36A똠%Vr3QS;e a!M3w(8Q7.h-fTT@7 N>EM-;p5Bƿj\H?qQd vWU7MK=]-ӽk!U^X'JoUV5撚8 +LMWgvP'K@aMhL ū'9eGgrA[aGngeنzb~9r5?hgP)vbd *렆>7l(ԁkk}Fƍ3.S1H -)!ęVtkߧO=9$$Yf#X2܂jҐe1V=Cij2 >E9>JmY}Fs^00HSғ<8qR濂JꅱWATByLr،z#u;t8&.dO+"&F8q 0K.=Njns1Sf"WJ8'x1"|ZYJp((vnx%~r!6±}|m?].!R 2v=KH~Hn $W*A(5F_@ UX>WpWvH~,z&s%%ƣ& Ca* _tѥZ4zaN/}O'\PhI&*kQp5\fwE35ktɓ5,)^EEzSB2RY[? xFGv a}yCsIgG:TВx o" 5D+G!_{)w|")R ˺G Z(4tلi45*UDMx˅D[߂;ky"&C=` v\4`%  NhKB$`[0e-7GKuqYݯ+Tr=LNp4pK? ꎞ#YSj20>]"H{ *>mb+̐T^k/v'씧:kwWІeȋyS֬6Q*q+u崥l㹃,jYd{ы= e I#+)sf(*>SG/Gd -U`_% rj܉ZܨwbIm $I7g+[A5JTOK5TIUۘOml-߀8 >lHU[wɥ+oI\>Aᖏ ʪ%Q f,X)8ejEm.n5>iUk` #0slkN6 8=+P`ኧ<F˜Q%W'xJv082\ 9rZl!)!l, O|e3K$j$aQ@MrUB!kSj=?ã%ȐT`ŭ5L-YOPui RD έӎn vG7!PظQf̤J/VPMCC9# Gwb>`sO2H>o ZB+ % О zϰJ(eG .[Sw,ȣg=Znhzl%< nnuGh}mſ81##V9΍s%d]%2 h /j1gE |rZ~66Zʢ"fC63FQwWF.HB1cMO O)58K!mf,Ҭ!yi| 4Cp vJvbTʸ=Hp[o #mjGF[>Ѓ#,CG~ꖖd W0Â-;0LtEs=M ~%~7׷XTHTtkk4;;ӭ+ K(z25!u 5p)c>CGJ1vH1`@ k=XN(* ^zcBƀ%9BD`UʌCN<ZxVd:H{G qւĐ>aR+/4ߌke\%ǽN!ޭIF]G]QI>L4'@|`D\^KP;pVx 8ʚpF Di, !R[N(/'4MnUH>UA{Y׽5feօhg5_mݿd٭YuU>/,ח:#f>2=+k`S E_û)-eο 6 E@Iƈ2'Xߎ&V\oՅPRh-=g:PĭA5,ch;27k^h^V,۩)%&pnni81s`&Wkorc¸.OIB\mlùR}Ae4ub2vMY-塅>vܼVM^=0dT).1egU7B0հi_،)*ZSoa-h^^5]U3Geh:@CUIl9ε$T(yΉ8<|Sh/ضNjD c#F$gizR<lgdV_^au`nJj߈=mYTZK fL7=~DS,wz j4 +lk_0 Tqj?XȗKwKD3Z^11Cj^ EJXDq;02 R҉]0Qː  Ȫ :nrUe ]OWmcA,FC/MʩyIp[8f3Ή)=?/`gjak"@bۖ4٦E\,y5c4%]BZD`6" !wH P, -9&ue\W쟀[>o F!&5 NhyPS6?4Gu ~Hu*^E4f#HG5CܐrK0XL$? r8QlַUOmʞ7载 N~8IV8G%\DeWDP&p*!b-PF|hߎԒ5/NDYa{/]u{ ]ªo|Lca$a]]eEx>>98c!_b5\:keBvW.mwOۮ4ߌnD^L[YPsUY n\3jCiDn<&o|x-[ 7V+!-|g( (a*PObpZ%ג/ 6V]jD"NJԣ%ɫGB1&pѭyOd_iby:c0326g8anhͧF^mQAA,j '(uۿg6.OpC_-\Ҷ O.AIcH)9jMR%B iQ>։pBݔ3vҞia-u #[Nw)ahu:ބ8ۺ.j@ 2 Ay-TMHS޵Ym=`a @m+O{zۘB`J~,]4=r7y!w!Jز+aG#£|oMʁ2Q ~ ^k- _mVZAF*Nr[]iE.5c/DqD 9MiG )q.y5%/;e}ia[>IB49ko/ETkE.R .~E&$:_\WE g=eC[[=9"mQ(2`jD8LcWqiæ@OI%r"tjنw4&Otvs+PU: /*faqQ1%"36ޏp$GFȊbٍ[ZiʲU. 2()0ᇳ!ZBe(7}:_uK0:+foi*hQ1 ~Fo4 tSvyR;j .?#,=d8:i0ȫ~yUoZgG9r %X:T7LdU(ŘMš;]`tԄU;0; \"蘱ûbbԯfs(Vz4JG 7gNJ̼^C6cwĐz4d:')+#wR#>Sx~1آǞZ>[[d=:npNREbO'5]=z^M*du; =j4s*:$ҲbĘO ?V-#I,!ZG55336a(GW+{lyrdg7/8ctS*a͕-IT.0u+Z>q(L?Ib0h\m2V{x2]_z(/rHՂB _k4 LBwr 3у?]Ngb\V2YZq<4~~H$jWڍ\ D%gH,m!ݪ\x} "{ Б:l+܊j9:ݦ*maSXxm(>~t~%t?|{CLexlhw/?ܕ~u ]RƼ =Z:Qޠ鉶-tzY6>$&.$(_ XΆ:Ybm\t B$ r'GR'z#Y ] 4<47%8 6XXÝnInmת W |@gCr4ѝ-M;e~7W-Xw,qjx>='\AFc%(+P0x\$.8U:,Zb cC%}5΍/Vf!R {Ml` =[e)6Nt0Tgpz< jdnέ7nˑ|X3 nzTTKƁ;O9{6|d!:,McCY3}K )bvTqJ".y2y+NKh̀7ldzwC沽Ro"XA)׆鱾ﱋ]o]0xGIJpd䎊 ŁiWeM?g AyR}1|dz'=fjp0Zr\fsvL}u:{c!870u)輹s NPAU6rRwhSaLW2HfpRxy92o*;C_._*PVnC"6-9<#b=iědP!GԼ8pHץy46{$ƻu;a%1W,ƝB $؁+#~&Y880\.0MJ6^uк38r~g"Q,$f @Anۀi6mc@uj꿭YW aܾT6@g,]#0X<7F? U~}ΕoRmm Mwj^aj5OC]9b<"6*4N11PY #ɛ 6Pd)[j;f鰫a4սqC>:O!F8"َ_%ESѧrb؄` J&am5ST$n&~Pjk+3_r"O|_PAD5ٽzM<ʗ A#eޞ3O1ϿNv e窜q yhl1@p}[׆ח=|\u:wK!e*^[g" bXS ԃe|!Sq2O;V?` _%VegT)pL#9+%u1yNUy]8' n}OIعFO.pHƁ4Mt @5JOzmnԭ_U !6_%Jk6 361YtхӴK 6n/;kw˾yBծϷ=ڇ-V$&FyBt'q"!sC(ю%kW>fCZUĖ 2K|+E5,ӞpL3Y) :hrV4Y9|nrC@Xz]bQ7(bPrrIyw3EyICɇI҃ڏGB&,P4Gtd<0</=^0d[ΈwOɅz,QM+9VX@"h`]ZڴՁgSX]bߤûhŕP*cG=kcxL@dKHMB߬E穃<pDV_]3914#?{.R}ML"JMuJqB4Ȅ…`RdY۹[=p]XڲÍT=#2*wnRY{j3%$yҤ)~Qao'Q6IA%gYxp|NǏu:Мj-jL'~U j%ԣlyֱGD*kڲ%/ hEIz@Ӿ ?esu] b;ų'Pw6ex;?>ㆸQ6DwD[VB@fY'/Yo4r)\:8h"aK gWWSg)Ԯ2tel:6`0&H1^-"G*˺.rIn4AS:]Њ f{/&n\a:J1fEzuăzƪ*R])@]p$3V Ġ"fBs I[i;U(Jji}%_{af!}RXx8F)q0[q_O'FQB(›pPh۝Q4l-IG\|~<'_U߭ Hj)^Tgi?Q*_omXK`uQcg-s z*#mVq,Ҕ$׊ lvt ܭp"ƕ}@]I/S|-_tch9S3;;9]Nn?Pvxv+6QVQ \ :oZDqz`]ZE}r>:r3dP`yfÑD&-U$Q4ԃ$j$?u3ܱ0AA‡la8TXE R7b}HB4ò.-΀\9'.ߍ*-~a&)GPwx Ɍ\Ǥ:fcE =O쒃бJ%"78!h0ʪWK~e& ,>%!uVzǛ&CV*몱 usQ7C&g-[ίuz](U Z"I2"Wu>Zw\aϣ)vZMw64H}3"dAfL2Md٢WؚCD<^N6B]\x8* bgi\zN'UAϴts4"g0@~ "pO7^zW^B ]H|%aſC!>t{hij_ #{,. obKlvc2 , |Gˣk;;mEUCAUJ+3?h/$NKAJD.0κQ'VR7piZfLk_j l@!7D.x7izi+YZ潘V9ŖbT};jdGe~u- }rhqF^>f- I56LmIQ][;Ѷg.*:t3$vx:7CN,`>!Aʞߨ.o3lEu *B{0W A ucaggm0x%;]wV"VҖn 9L rPk|klAW4Ĕ(R@T.oo¦[-G_G'<-n`pM5z!0T Y:,ծg^zkvtUЁ2˾B{^asnJ]STf{czo]wF;s䢄25ha 9Fij0OKz7KxzidsJ<-ڢUAVeh4/!sxU ޽ cװM@[i5ēYr24hJ#[ Pc{[ ݳ5oP)h!NgId/k3I J+%T1|oj7KޕkQ%ʜDh;BIxv |M4CrԥULTRl#,a_e: yp3qt`[^uIeB᧤Mqf7s6D!VzB|p]ARwg28f8MlF<1Oݜ@~65 Df!击PBWdq P6],77 uGLkE1)#eS " ,~@T}ëSIrOLxS$exMUIW=^_ɪ >!֨Rd+s ԗE.ɿ4;Uf{vZOqHNs2]km XR3G7ϵls r p(n{\i~Ouc9u?Vi|l^!Nj/4Ҥ%bqNG~tSQC \\' pN+q1+90{4⑍t :^uQFݧZUj3v49#k#1Rn\޵V^I\}te`V7#B=BONE߁"qdCOŸ`Īao Z@?[ QM3Em5n&/8b]U Ǧ }pңS#YXúHӓ!Qvn< GV DFA?2L''̨}Lwxm_ UhD _Y-aφmo+qbyFw6aMKZș5 妘zb["XE;6uW_Rزv(7"gXh_Wa| NIV/.:mYcWM UjJmX *.O˃{KGYE@/O#36+vzaP5Mn5WgZpKns*??˚#)khxmZqbmyB}?JtcW RXOFf uKbgQ!#7&VНn_Q!$m2 Huý*N=` rl7K|o{Ěb/NFor(}Ul3^Utsv 55K qy[U9vV4o< +_W7#?> vTebS@H@qכ<"'%9PgTИcFCً(%)ٮ s67qF–piay*ꑳ']E@2y/]R6jmþ=:_u _%꫶np9sɽ-;]ɬ 0Ƃ;}+,ajtX z"|j fu*zygow%\<)YS7K=W{Pٝ˓t9sݎeF;x5 !hɹ w5a#Xyއ&)p"KWo/>Um6N֯$ Q\n.KxoqF6 GPrI`6~6g;x[x3([Fo%ΆhD.hWp϶oTa?&SyJ2[jV@?i{_ v6<૔N#W־ث1[2A7,%dRi@C xbJkKTQ~KK1T*&xŎtB.&}>j(m,5(H8_Ч$Uai'-7K~@@TO=Ey/evY !8k2|lo]ef?uMCviZުU.00VGZ(IJ s>*pܥe{eݕgA RpWCz%A(PSJ2M@o_3e!t3H4'Gѯ؜Z 'H`ۊD!Ush3oWS:ŏ3[I5Mѻ#g^J Oa~bx4qh}$QZ?>.ؾ{@̏lasKNiK<;l-Ljæ3Ǵl+]O@}Є.gNapD7Kߘ,[')kOs'l\7+ UFG$ ;gmSP}"$AXQU2e?6HAR2| @rdUKFlo${GPFmLT+q"߽I, NV80(v|7h{%cRXGU]Gl0e>+,$iV07Sx]d[rش]#~ 5 %5գܳL(F4Q#q<`vQcmk]K8VC8u&dsKL=S0Lsb}":;k/I_˵If<史;>&2tݠ/^ok&v/# |Xfc<qTyݫW>\yBq<Օ)2[u%vԠ;5VW(3t\" `dZ[QJkmX_:@2iƘ!c-P|Oӽ-v5z!s#L`O{d]&& KVbBO=] ftɊ^|hȀDkX+W-BXf>a_&KCDAmbլj|t_u>b2d7Q_Atir4=tmXҮa}Ìy]Jzcî o]]/ A-ۑ?@MǛiAj3$5!~.rWFOv(erk,XaF]pYJ'9+ǧܪx(h3Y[_3826B&`z/=7Y]hvڊ}$#L $-[^>0Cm[Ca _ Sm\eZغ2ʉKf_}Ϲz ܪV)׹)~1Y:G7=l426K-Y38I[`0 z14Wg'NaQMWF3ܻx$oL .V sq$/[Rh 8D?:U峇E%Eh8lP5Hx A- 𧻂C1cIFi.~0]fUR~L =tVgYc-a lhEW>蛋";ADDSmsHyX¡zP8ddeyef"sXwyvqi@_I%kD۶=5\Ñ0i?׺жϕJ Gكуkv*q0aCqj~wDR\u-"#4\0"ojHw گ7jUacXvSTz~{Rj`Jˊx]Bijt,"谹h&7^TW:)A3l:dJh%J !J>1I54|kH#6fT[̉XX?xp^lye<gwq,_4M RİɌZ9w8lEcy:__RbصpwםJ인JJ]aIW1mhZIr?f<:!AX}gj&BRTsDyWt$('8:_[ؠ~km Y519NACP)v{jim!)a%PFz=S2'G:e@nvKgCezR_cR5]V7L<֪'stPaOZv"HI>PoMac1SP.xd5aL ,&pZt~:v9>z0}X K"0Y62- UMsZ[IѢb``a{H/7.qC:N4WZ]ĩ< $a;zj8 c[' &mq)<$<1*mîr{i}zK*E6y]ۈ4=-p{8/s6yn 1i?"܀`ؤT7lTyJ%vVդK;Txt ̰)M5yKV!UsHJכ_mR{ fn{S[K}2ъT ƵsY^K A\j﫱>^s  [bY n[3[_'4R7gg<ꉻJ(k&Cj0d<" (^rެOS. !ôPbhFkGZ3AMvB(g(*str~vdv5`CLDZTv&|dCZ14l%$\Xe={CRFR䢡2Gc4Dw_u"6<@81T71Wip"Hn:x%"2ogƐw5w-8<;{ |XzAg>)vHDYȌr'˫Ň͙S'Gt|'{,ܿKL0 Qw2uC\ T}rwP$.}-6mD9;&J55k!cAe\hJ>"?MQ0G&Jn\ , Bkf-?{(y`uǜ]hR'őDEChcS{޺FLzRTc K'#ׁ?/Up]&i1;";=Ied%tFU__N#)n\GA*#k6ZU?Pk!DeOl$&-"U(!-Hq7ly^6tuU?׋5ؼy5;F3v@PR@'wyİG__\ݶI7SyǶfz0$aQ/_@`a_u[W, w6@%Б{{ :i~( .EFNSv*bsn0D$#5AdB2ſ(.W(a蜵h_Q=$"lewS p Ӕ )ɏR"%_{,S1 G-;Jh] ?ڎ=Y>yhSiՍj pb.&1;XQ-r_甆(Ewp)Q&Ikz$Vi+lJ 9ZV iw]Jȓ6f=PJk&v$p? ,R4 $ɠwCJzdiǚR4tq%erl^6TjlR'Xj/'/^qy5zj?]PN18VqWvѰ[5$^/2Ћ_K4XR՘<9b7QAoVDCw_FjlWE;L[C1g=Łw]ݡA(ܱ^ɡx6}~lnmvwC.Nf|,Zy{4J$оcw½ Z葙&Gt''" ⨼@5'xlAɊնd=`~vrCX&t]hO5\Lj--& Rv´6%S7}HtO1 jI\,+=DvzƳrmoQdD8Nnu-p9e]k}ZJBSE|n!D&J`<( "* ʨ[~5oprD_|8v㋮34צ}g.X@wͨ) *<ǟ㠘B-GUQIu%::nfah՘my+[>@5_b3tS”{ܢxtᦴm3q)Ut DɧP#VBGktUr(h F}C ?>0/_&k (_xdTKKfeDb]ku>26~akDYpr9Aytܸ7TESI=:ÅՔm% ~3E CH%tӬ["H6L_շ1^Zmv&T'\O_ᇣ=iquQgIUtn0<.cGלn60RXkj== r^.W5l+1'zebR WD:~Nխ8{:x e;8>ޱ7o2R8bBAv6my]Mb/Sȁ3ceOW$D ?~iEKn:ωܲl\MOq\s`uVgÐ',b Ot}r_v+ **E:BOY8rBӾEP>ņ4}ZQ) V͐QI=IMAa6Zr[5**bn4`FgD."F~rϦ&|B4?G5> 䈻(kP:Ȯu6[SɵSvfYVO/zCljJm%7*1dܠ{IqԠ;&Q^㻾qxu.G΄HHPC؞I m&v xCVv"c<(K/q|"3>g6DTwМfDaV7XUE+OPTiԘn/h!W8"9O-I^#5_ YP31l{|p)(:iTcI> s+~ PjiYE6(NwJ?p,u3 |7u{D#r/fmXfq14Y T#k'K w*w2d 8kw?)Λ]EFvd Q(~ 5A|U `P;^>;{N3Ք}`x 0c pn>)D-Y&? )oBL\iI&eɄ C\<"",81+Iq*y(06,{(#7q i97GnVۘY"B?C:omH`+tҞj0!ϕI#R-.؏ ʜBݏ*Jr@0u"txn9dϸ@P4;x3]N{@՞P[fWnUjOQn@)dܮn4(\x]"V!iět>rlKi0/ il=-?6/QhIɔRL#ey[[D[עjjB|%K"сulS/dVNM_Rm¨k!y1s齑;Ҥ8 |HIQW_$` 'f?$cAʃ<_Tq/iYzr(i3#n+{%[qPC,dph f*dvc}Cn e,=/-\\u109I3q-sg%<H 38dTh)[Jps?g/Gg[oCgo٪¡&.`鱦"H%~[~%}v3Ϫ#b{3ʹLIJhԀq53CC,:Z%HP O*f "&{IlEO#A&„ TlzI#e d|5攟ZP ;BC.v^3T+N l噟4eAaplDϒky%A[H:PWγ.(.lQI:^6 *bG6^1qӼŚ)SAV(%U]6x>xM|EPDE4`-Q0Ѭy"08swÿ;}9*yV}A4JZ0x6nu].h;E[`-TZ}j)2M2<ʪNGJoJqL^%ҕ(C44N:A~zӜ9f;HlPߓϨx2 ʸm栗9|6H=װN^+ V7م?nERlӼ2WQ|"qE#`SOa/n2W^S6Nl, Sτ濣L "9YC\]ѯ|xU% [pN2Bd@EÛiEt60Ņn<(m YH-)Ij+}Hd%me{xP0ߪnO 2E1~I+񼱄LTh JoK[۔īJ֪j^ko4u/.OtCBO< 6`%@%h#`"ΠwB/"J !4K"ρވ&:'ر{a. 삌gUFįWﶯLGqN}aD1'+Ny&cGEXT$(ZfΒ#:?bsr*uŤ#$.q!j=1FŁ5[`AeG3Pⰹ]ʅSvs(OZnjrv!qU|wi8{ϟOG-(s`ۍTԶ@2Z&=`u7wxMLtWf@׼c¸dLהVמ:OY`k_=S&$(a ƪSCN_J: ʺaK{nzc' , Qz[4 &( \-mVFWw#T:DΕh]fZ!HN֍Av~-]k+p[@GvqżHP'@ n68Ic SȮ6aYRR\hE [QgH(]1}.;1\A_͛B#L"Io\3R1ħ-T̴a[qt;y 8@oiz>(x.Ɠ.xSKSAE4qS_o۲BΕLFfg *B!%h :OyH=1 mg4%9<6A$[AFRv7د|1x'$kPgzVJ$ZK+{ $2L<>PZuBA^G˯ &De' 7=&=e&,cL7Ԟl>4M(E/'MId1GaX}90`vbC绰c zC2 Y)QƹYeP(e#)*uD+2*יs 0252HuQ}=#(̓{Mj{cܺ(l~=j'b+6Հ=qe} }GfR[O@i f|rBNc7 H)?㈅cLç_BEMa)[)Fa0+~E?ԘԌ-L#*'f?S~1ߎy`eLß+iⱎiۤWT&nêD/dU8,H47nݰף϶dɊ%B,}4RN!@$+XzUh<,;2K$\)"32sFkE[s烹rZ76GK{CP"ʰ2 Im\\3h X/0.Ϭ G:?&^),[SH>$s˯8Me);J5`C~)Uim]7䠊?% cx:eгO Cc "YH"'JJ/سQSa-~t{-%#CS,Us޾#C洪eo)$(iNc,MRՆ[,+l T?l R Ć t9Sn:yWJsP;E !|x-8'M.Mɾz&e%H .D/ [S =Bu_L{AIh5 %v(5ڤlNJ^twaSϰB36y'%"f3B kIR?wOvd'bZN][IG"a\*]8x=\8p~uiWSb!e_4V4V5և N5F9w΀ o׵ vaQV6C(Lzacmxg괜'Q{X~?<&͐ (c wdCYKSH>e1ӧ}#?H9Yj^WUkzb3ΫlpbvǚrbG6d?U+<-s1>`DCS>Hy0Nϖs%QJ'oko3Q ڲ2b]e 쟁!ˤ.HBҮGz,< eq:>!E<oPֻޥv? <6/}av6駤h}Ie"Ha`-KT2jW3JߨW1^C# _LllP^r?ȝ#m 0 @:xO,helNZxE>/<~<93ҝ ߹|} Y(67V$<̲kRѭmmAyn0,:PA|(~Cֲ$w"45?vNښ^64W/On.QRB1w<6&w eO, $/c_}f^B{ґhãh}is!>^R=vVl$]JE3Ym)Կd7 n߁P=RH::oCAIi``CT6ZW ow r͛ 3 gԗ[q3r-a` [h7o/!̜WPI]oDdg+]n; GS9{or5TAO$뾉;D\a33k8[=,|X_ȧ  6#L@t j6VD'@8T&VŲHD d3&L%si83V:Ae^A;TuF CB^s6F/,;#8R><iղgJĖ%/ ߯u*BHW?l`=eCu =>TMӥUWkAox| I#6hF"Y z*g< كFy<"8|l䞂<^ig? āےa3/CCT̋1 rPʻ6,KQڦFKLcjss:W+<~7;:@F~&l|1Ct ^N@DnDovLJeRw&4`IrE)yKgB|`ͦ=3`vĵm;s~*" 9i gqO8fdTJF9J2w%hٶ~  2wӌ~kX i#&>1*_beK:̤եB~v{hǤU1dg9ϯ<[ov]]9]h  ].ڪ]` &-IY^V/TQ -XD"=ypHy/:!Wc} iKVnjTA[fkUYgZ[[CGCe n߫[d 8"(T|GhDMC;Ad꤆B:9J89Ig7]@Uo} S.hheQq ?~>'1^1_1EuHO3kCM*t"ef9O; UD[ձ?JAu`<Ů PaK$HІ@%F $6|FZ'M.pVݺ[1?U}ƸHнN#i U*GUs r"ez­,Or. %03fLmafjc7\Vz; <õ~)X_|p%BT|y 0i#N(-l9Q~CC,?:AM(4忏ĩ-1Lvq?ĒՔk WŗG=v-}\*$(,D/%S-m9hkT3 (@[+P5V"839K!`8PXC|d*&*T;YSE I{A@j~+ \R+ͻf?مTtH1bA JS{S OFRs88=V{EtSʞ9Mf .{+TKp%p6vsm[y!![-[1HQľdR8w^߾39~\qT;'ۆ40=r#(tϊQ3Q,CB1D%ϑ(.> Hyl=ꁔB:'Bl!7& ux/Ŧ >j EMԁࢻ֖G~ 0o$^l4`v]l`rܵ>d?O 8:%>VC_p0 SNÚ2WϺ9(.P]B!b#"?-$* n5Ay~zڦP9_a?4tq1@Eq!d>R-HEQP j\Hڑ1#?gOC"yĸP!ZR'/:8G| H,#}| SH0%;Ncz3-Run 99EYx+򠔓EB@6(݁hŦ(Pg󩻤>BQ%}>VO'7{,XΡڷL Z_+,&{'㜤MBT%q '~ 1uLb4!PjF&VSg;MXn-Oٴ;!OhGfoqy[C`h)uA˚60@.'w6ͩ[(m|#tqz:-Fpw^!oو@!:-pj;t~0mχZlp