SQLite format 3@  . BBh77otableisabelle_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!$Lt ]]]HOL-Proofs:threads=6elapsed=566.856cpu=1384.836gc=187.616factor=2.447zXZִF! ԋL]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\%kV?=hBVU+_yV#͊!o<J]~A6ISc%5)0\$|~\r(3>0|d$U;X*>ioM:%Na.:9Ū/`Cb|%ʰ¾6ћ.6KŁ3 --+eV!*+>jMkׅ]7ͺV0>i3oH*-%j#e߽mDt>;NVع?@L+[)Ntݟy@Uj [>LK}^  ! HOL-Proofsϩ| hYf5ֈyEpQs |dDX 9o\TF3wS/{yHyrA>d?&n["2PKyrg̴.gAAJ ZP4o!,NB8fvBէFi: e(T/[}rSUE*?R%P.&' ~v:HWa6 8.Bg-+u3Cԓ&'-zMICkईLu偧Lz%HhDaP D$!# ,h}/UJ-B kD7L"4qP$^EAϺYڪ}L ;1T8_'Dgm2M}vt :BgZ fp@c SH,nv RSSq4*:@ѠPeģſ*{c~%K#?˓2e)v+~ק>^ U!mἎa3Ux9~!d_'_6b€ZPpX/fUVZn/nAu;g/jj(x|7o,[<<^%i֞~ڄǪ36INKti5/@]GQyզdqu3eޛ@/:)/t?!:y6PSǓ0nYS>y;@ c[Će'9b`@)U|]3 L-/t>?~EfȒ?4@ؚ{z/9-B/6r+an??Oq#) ~,[:TRB> `y1?2>q`)XxY?zG~5K[ 9\|? DuQHHR$n삿I~J%Ӈ8^f ȥPWGH9\aSXJNFDu=ˠwͅ:qYHZe9zS ;VP"ZS\OI1&Ƭ0z@q@G)E';( Ѐ r643>\QqtIMjVr~5n 73#yR}ˢd75iu(rDYr\RA鲿82QZ"yCF:`GU_rDu?DKEtjly״^xia'$-2Ї/{g  ̅}۫jOn/~vDk(yUA(/&rA5A/2)RmY[h 1̊vpW!pXOے%k?Rlb ]o詁yMC]%_d5Xһ?ux09|C%g<O9ܿ89NɬL]ӴK,5S~xy$5=󢰚:388m0JK#MD-6:x*Jm̴_!mT /МPx7H1>qoK~t-ۊAEBR*,p0uz`̏ϣrjS@V!֕asc w|$`9R|m{FS׊Ogkk{M,uR2>y܍N`z 3ӾM0 Ġ4nReMiKѫ[{V`*2z=Mvz-8"4flem #VGSLןhN; UλeoQS@]+.ZH_p-AԈ*MگG#]]|WMBN7:AF+SlZ*&0s ƏTdhde&C'7<߇q̢ UF X]QrkįmCzh *1Bp I_ߧ h3oz'C[Ѵ[ݪ59o$a)JIhrh9QI"vˡ4@6Jj($w^D6g$C Q[«n}pج%5@A~4ƕAAW1hayEI}ZܪL]cOycF %54zT[Yݻ[Bf|ԛc| '{r0nC%p7 +69'?9*Pĕx˥yr|EBSV`"zw?~ܹIL}&Ӣh6ު~>+('8ۻGi:Uu se u05Z8ɞ=.~l~L$qjs˚z:0r@v~PFYrv?5{{y2_b7THMFJxІbsiN&R^E#,_g-xMO?%kM2p4Ҋ|y"UayFpipُ&kJa<5= ))s=[B*QO(})B:w䚳FF+bBWPHz0iO:6Hxj]p\Xu/$웣i^e|jȁoԫW%4/՟T&BΗmf"!{,6 |V_]m䯢g|nҒ}j4  7]Iʴ(T{(XF<}tlgϒD0m2 $/l !{.כ}fa_6@"P䅭wt#P޿%wuW¼HU~H| $ S H߻n`CǘAU:h%o]JQho^W;Lޡ8 y7XAYMs9X޳b|B(Gme=jGIdY")gᚌ՟LMw ~a}saXJ}:E}WXi`Gp+` Ǝ|oа,=ɹi~I/RNpv -6&@L'\ .N~Ի945'Yݺ+ lB,Ŧol`A`ChBJ1ldg+xla: {G{a&O'|W3(N#pp)Seux l&Wsn 02Wq5>. Ћ^ d4CHPG Cmx'CKahĵdM 㤑̕*j'(ws FS\yUglmr\g>Lrl(tDP(T2H1lg]RR0`db-^.l\^?k9 Ы..E/]c/\P mһ&y7: {TbRr$!|2|2yFbDuyEVsOA1&b c/V\X lbsqlmL6x 3!`@DvM ;AE:I -wcSviLe5IV15wҮo+/SɎRB ܂h+b<ל5I)1ޡJ=tgD;D<&9֏~~O׬`4:cD@;̚^b[nLQXH\y%wJv%`QD/ltD'3pB:yV`Xbاqe ^sd*ȳ8c-~56$:L?If[b9HbA q.a?4JC[>2=JpKU0" ,c_CQЪ@*n] i H,gCIqQ?n:" UEa)UM+VeRS|!@Tr(u0RM:Q.Lq,t'9㏤"/BG/\ѼՕO/cnyK n+C~Nhp*Vy[6<8 Ըn,8+(o PJt|FӦC i}O',yT "w6 yC%1ALQmvz㔭:9%҇>KlyU|fۯW2#<͹rwA8yS.9 )(M]<a˥gN{COdȀ=}u17Daݚ9}3.L*'GJWϳm(!&lB>DS/D -sg[]/pMEKc1@ XzTL^| k%dy㉿w>/٬rYް.gYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!BK,R. K[<rkHHxbOSU&eB-w142LjefhU$[_P`GP V\?!>do'Θ#Fh.y׌L _9Vcx\,Lc-4ɘ=7P?H=dm2['PpYN˥mƱoufĐ$7g @Ig.LrZݳ Kh0Χ!U{h2}'"]:z Jxnծ^7č8jl#cꎡuEx_oKM0<$G mB-G)Kί wޝ\Ih )K~'$Eͽo$tA–ާ S^&doŪWngO:Ƀ (2zH}J6F?z R~4tnU ,fUJI$FJP'gt:tHbH-Vgw>ȽKǵ @쎖Mg$Yq}|:(2,ƇW}P0HGDkaTȗ 9zqcIIUoِF eh"o|6YsCR[mhB~6׋_9'c%rY Ds x@DjG tP!i anal%)rƮ5:0cKbU뺷ꨜs{ p1u bMB ڝ +!=ܗ]AP1DUl!i|,l;Ah  ic.xS&jX58{ yKyX?[.k6Y0mZw&o(ʇ-)ܒ|8@D\#^[o-$ VW2bN%>_>y^ ,illlB)g4ܼ8cTrL3ՃIMhncCnOmIr!B|Djl+6_ D : v{1 /RV0q0CٮF)oi!p) Ei$8D"2Adt6t~A4} ˌԹ^s[^dCNCJIU3շ6. G86jXi(3K]_HJ֟Ltd2}7[4VW;&tT5ozv]coxFc e7WVJD.\fU8W6 o(Ϸetj 5u1\ÏJa +uuk\'J;%OTQM0KtL 2wݱgYZ7zXZִF! 5p3]ŗXi%94h3 >-<5c*U K*Ŏf6TW)r Kwr\qFU{dbG]G1׀"˚`=8q/ Iv2~ u5, 'Ε*3TZB =ʞ; gI^=h pVFwH1Ł~|#E!%!@s zDXDBiᐱ.k6`~aHb3:Z#\ۇYUk镭Β 䡇ѼDr P@TKeƗ6mA>`Z}1ah:Nc1zS?9%˽YU=J4gXK}8hR_h%RΦ?_D EJNLv Ī|&վ*C .$+>ဇ9KAOY\A>-|@3*Ip0T5h iC=9 ̈M=pqpa%^-}3I=U3tnv[IV\7΀ hĕۖ&$B"{~N|#Q3cp37>}/zzAQ7ՠ|}-w?s}]"}ƒZkuBVhZ1,䐪#UP .ڏAbӜ +`z!8]ap2UzU_ {xqΰH/-+T4]7ϳ=:6$?a5R6pn_ŒU=ˈ = yіJirʤpfxr|M+4q ;B 5qSX;39leS֠SF W?|@.3x kd#4|2yd*6As6Fz (I J)3+5L*De+PG꿆Y(PR\f.&Iٮ;y :m]WA$_w/*MWK&YbfWf;2"0Bj]pP) F+TxW8s2V FGfc Ձjd΢,mTnn-B:=ԧd|F\CEOcXubo^3vj7._J<쨚a޳=dKHf҃~cMs7Ƚޟ*mAӅ^=YpL*[eNb(Л;BlZ"} 32yy&^7u &9hFz^Z>DDs4wջ3U!@7w i.ԿHR@''AfA[Y54PN:?ճ@DTDhCcnð,7oiM88U/-oD9b]llO^3Im ,V^j;JB'J}\%"wĢjީT!lEpZ&z\8/ .Lc`=(Jp)v a ҴvR)PL[n Xt<$Oʜf}1ޤ.n#^ֻqYz' ,i Uᚱ!KL,Jx g5t cYȨZOo>T}99qUv9NA nTdon&>7p2.~2,*c Y>u^SFqDm`HʤaǗ> Qhb*Ag}ĴNbIJW.(iY䖎߼Zﭣ+lŢ):Cx0h0#(ԂJå Eݩ9QQM3a6F6'F1i ~^qͼ3⸂G5R^X>6;ԻEBHZ^Hhiy46pU7./=o-#lc?~kK ];z96q"S26F`^y{lk渆Y[n woFB/țQ%3͡8ET+fJ%=XOPD=H{18SY/j/;xSJ{pH_%1.IUvU?0:N@kRM^F>+}]~>?J2K?kjOI76)ȿwqAL\9ZEBmt7u-7xߊm()5WcYcdLvWs+?S6'tݭ%+tNnRWbLl ͈\W^J'T}!<WL^#v67Ωe|,_rԸ;-eۜt?)\xE"ϒo(ڍ~N/^K4Lv R"j` ?з3 eRCx ʡR`k`a,/Jغ{C!qv=dQuTct"5:{yhsȞgR+<w6, E{?eإ#SX"b3}GP/͌ߩ0]ӜhXnqaj5_s蜊p<؋ns33҃8#͎{nx8ܮVЉףc}vvEZP5Rپ2[I72^(w{H5 ]FʘA)hʿBN5#(X#|Fȟƕr%0-9ot[1#qѐ⁴;;1@ޯ"Ta7t_R= ~< "lLgKArZ簸Vd)c{o[7@Zn[3fTɈEو%OMÎm`uT- fn |`Hgy`@Bmq3'4e8j+jش5L;̀9L OMV컺-~$Ywnqs"Ebxzf2E"s%8a_~, ,o¶,z{0-QG' JCo(3dxK?Ҟ>* l۪f=K=]a8LHJU~B5T,oj1: XJ$ms8 YwhJByUM>4 k@8ޯ ):*dd iiVqp3c& 1>Z3Jp!gӊ&0 {eʦS A?`p)xYfi[~CcVs!>bL8F]i[\>EjӲmSE7K09V d2ֳ%CoLGw'ۼUɃ /X|Fa.›?8g8O^ r`ؐA/ϱVs  N7߻s$ʝ0[U hӡP-5܋9'`er|? PKDe *Wl.ؽS^%WDadz)m&]˯]W)S?&KԏL_zYJ.c`vѝƀR~Q7MV(\ QR? 2,)2;n/<2+quvNv\u6\T7L csfS Qa7.91NQԭrOAq6UT5/k8p*Ruw9D>򈞼- ȼ*Ϙ ٥ ot&M?bF;e^"LJڀ?S38a#S.o9n\l+0tjGqL,`iC7p?L6)>oGÌaqk꣮!..4_bU &&G- ` N K FAZe 61D±FNEPʠ,# eo ZUUD* „ܽÀwYch!06)3L7^]n{ <`ȏv`O'އğӁlK(SL"fqdҐX/yiP%'mCXo;|kGZ]ٸz@]`^~R㻍cQ=K jG7$= 0$& (D]4mblO%K;|"Ks,yʼnzxOR~3-˦ >+6#'_wޙƥ'|Hi^% ?g8,v59w[ctmγ6|~&{ E{pP+Uo9O_Y j2hչM-mQcޢqʳBz+kF;a(['Ȓ//X=_-ְQтq~>ViG9^cYF0cd^8SZ 31ICXDT5{j0b7H1A5*hU5>sIx>}ΦtP e܇ZfemYF?cP\/daX5\6Ȇ\Peh4 "TKU(TʒW?-bHsLAEݔ YW.cJG+ƖL[ PGjO\4. `B{ OQ΂ʍݏ9DL&,%+Aɺ&3'kaNL"/߿?*pmClKfG 2ϔfDڍ~[P (*2$>u\|:QjM$N?n3&Ƭw!۫nbP'RPEE"\5fb2E s`/s1f>]$0|d=e Z+MIEëԣQ$hisg[~Yź$ p0 :sxX/2EĪfP@3^DWϪ<xj"ӚT˶1 E@COP`-e0 ABm/5wthyզ}b-Ȏ@eԛ J \nn^{.c쾟蓲,m#q,:Wb@f88 _-໪T2 ߱[ ]ɸPʳ[e[<4¶ԩhgbWl*EWvPrqOoX?@a"=!AHsSS[3sd>3c9 ?Tk=E!|'Ui|)0@h>k^Nmpcf4n\Wv?p{6ծ'\8&sJR7fkXI"![M2eSfwxݳc<ېfq(<\ Ej>BJXTj} l_s60yTJRs._Y 6LZVOˆV7w X<;<5]f8\$ri})λ eEM |xww0}U۰)xe#aIK,2 ;t@fK,SHIoB + (Jc>m[T -h9:ڲ ׺^Ba,P*Kf+P͓ b. DBIfXK?Y`${6|zE栙rUw*Vz*^ *g?v ˁˁ}'W,.gP#(&\^pUC_GMfys!eWg$%P/Uqe" XPA|2y/IC̾\22sY x:8ocVF_ߗ#wk{}~NCxp)(DaHu‰e,FL;1Wawϋ*_Rn/Tj#Zu_x^Lertbeע&wt/RޑH1V].Zw.! i!?!|8 |k'{o+'zj Hg=1.CLV+Yu2(-90&ƐbS#07Akdב=zⳆ78FmW%KF\?ff\OLe`g%>vZܥ|@'uacqP&d{nۛ3R~Z(hFg^bo ;Ex;so}ee7ێgGF^xݒa t~&c)ҏRG"Tɵ3F@)aىfԕtDE#~^~#L=s)+@eL[N'G'9 R5.:_R{l>oPd2{TN{s?s+KMLVe}&Lx^*{Ij)w*nYň7YuԴ$XiYxmg<ߎ|(^ԤD: '!*uі{ZF^wnweE&>`? \@DtpTzrC8Q݅epE <`kDȵu$nM.*vձ|L\{?˾Le(rLZ![8 {z5n6qvlgE`a{w]Ԙ寭6iov K^ڋ;m (`]<Q}Bib8Uz˧W/i+g(l`>IG'@mf3!YM Xz3ϝK~oLCHh:ISS _v2{B5|p?褐ُU BLscմP q0pn0z,7%Җ>oLfj <[5|<_Y齋lU\Hm/ug`wG:x>Zu֏*G6Ed'432f8R=)/ G;Rg*=apֱ?) Fo nBxFd$ R"{ߎ͏e8 I270e\yz#d-{ưYMI͔V/N국s(iCUKST 懖A;$hiw.Dd2Q6g ?Cm;7"0v7i|d7{zPsDqi: !I$ 0w*ϚIS roWEjy0vu5ĵ. _kL A ޛMߏrpܖ$GzMA1}q*9 \Io2HcPS\T%MycmY LJ 1'8z2<~^( ^8 NlKj<|'Owz$S=8\ =@ÅV؛/Q=DJZ[5ŕPF +rOgT}K9tNKł]KLO#N>&zxMC`pwk ?'wЭtU-IhT/QQQ\ &Ղİ)8ɱ=Ed7= ݰOsyr ʒygdt051?+US}XA-ɠoa{0jѸg 2]`)PMΕX\(_}U0ث21u.£l׾H;ij ;z!XcR~ɜ{.vƆ$l9 ܟYW.u? iǁ1#l㜥WD\ ugN*lU9)'WЛ*-Uc ,`>;`lZ|=M2]9HpAؓZ$)Mcws`.e#8:o1 ̮mD-b<,˷= ^`%k[]cJ4S|6Dt;NEM;.7T(su@S|'Y(.JçaUu3ڦU#.ĚZBY>ۤI+x4Uxۻ+gWxFޯ0bՁmAL.Y퇜UAam6bsl^cڤzvXa݋Tϲ6,j,‘DR/UFѕ'bthd0іikAg,51o# px*əג'Vhqۼh8|`CGE̦,kKb^8On@wΰbqj\_*#+ $՞]|v8_X"gs5y.mN!cp N 0j9R1:( s](B @TyH􍬂z}eG3,n3Z GBAvMWOڣ/ j4Ҫi9sn̤c?GM9 F Ry !+k5I<1"0OkJ@;+@)bFI+7 ('1O&RntG娉+sD7ׯ`ۦg 𬔶.*no*Rk\nxs/UѦK^z2; 𖬯f>F26Zg:!aaaaT:xHb׽bmSrמHM[q'eenh }݂v5/ ڠO Y/LA9%}PSZvPrGawAes+/+t#K\Q7RV5ؒJ3+>ji?h8xs!L;9Z:H(}lq. D G?L3ɓKϣ<'rΚezm?UI>$4!Yp¬d.d\Qp,1=W_߮?NE{WSOΌ P\eFQ<,Sr'=dA"h)xÝfc&V5D ?^,\.p!c䴃: PsJC^6G]C_LcOgܞxxX4dia(d<Z] rƾgǺ-cx+vc).bǠ[NsʸK0O Ԁ,Yڢ" Gގ]eHRKe"#-QqW4s=gx=|qdӧ{ѭt!nżqZ t&: ^ok PQA`RS0\k<4~B;v^sՔWl 2Qz>~W+0ӼƠe9!0\.*YbEVB>}CⲆٰ?A`~\ `9(/aR dph"Zb+nإn`jƔ_:t(g4M@F=IE"W=RqC,=[nJE(rVC __)e/ yZ 旳-6J`׋CAJ>-r{XB;]!- =pj RM1Ή<,yc[%DLd)-cVfV8t>FB"q9G6vZC.?3(H ,HIu~iׇ;~D砌l]9pr%9] 扻f0r )LWqijpQT6 Rf8׎5tؤscJEi3#o/c-K}U$ ʁficِz>l-St,hj%svn@3!J ?hݲHH\zBogv%6˄(?jU2LR :왋uEWbib$8qni_38n2cc/ѝl#.k|=>(7 F ˣo'0mvy5K ߺJ6 Jf~}T"uɵj΃ޜnMaBUb*5@\&I~"`PgX _"x8m oxQ`]ڤTYtjGM{%iYvKk+(K.Iͫ ™.VKG,j Rg6g)YڪL6Q+Nk[Bd3u $k;d?kd8 7oԒ -rZ%M kJtlfuJ+Ԉe}D46 .֯jc.(;l7DMW#wdGh!$ 2vx ]J m1OhԴ,u$bD:f]Yf+ *o8*oHFcS[Wj?DrKDOy1j xam2}iYhx0lzTV}fW*]hb ]mnk{ {j[3uCe#Ӹݲ5o>yAe*@ּ!!uU|O<%łvny\o7V]֢2JpοQ/lx:éh*;jcރG/Vn뤯R4D7]{>dmVſ|v4:dds/\#?ݹޠU3˒O3O\A ǻx-IU@S_,x' >Ehe8:}ܜvKvwLYQk9 |Vzu͜+9{]>uX3ί[EüuwT0>2X#g9Αl;+4X]r q72[5M_tDRy92h*3IEPw&.okH-|OIp#WN-'_s^TrwMBZBB|O.4 kHWDÑ(NCpW(/{Oژ給PF<Z$f$2w4&A7v=E kTC& nԫ0]я)cB߰# A:nG /{L,-b7lyex38 GyJj}?D0\? N4PzY.xx *$UEX9lOkmwB C2ﹶ֎b"EEI;~`]+;=sY7ͳ+37]4Jߴ/~#0m{aK\;#;iĐVrfbj:UicX1ԳQ!(n1!GNsې=2/YZ<&['n&sv$-bro<(#Sg{ǕhH7לO%f "f5NF9i X4Χ3]yŒ=~[?Uf'՜h>][C:6ł%x;%էІfTЂ'⸖kix X(/Ĕ.msQI+Irg~Svj%7A\][ln)*)!( qjx6)eڣuTglaHa $Ue7RPiV؋9<~W–q$nDSh$:u1"H ($<;T.a}C.'չt _`LleԦ h11YfKۋAsY@`~gyd[%-ϖ$ȋVNGlu'nݵ{ ;},*Zl> {F9(.VoQB+.e=M .ZBK/+{>.x<%͵=lTiQWk?Om["`er,LVKN8b]UkG1_P_e? U/gEI*7 i⨺i%] ʸl̢pƖ=쳧 門idGYkYyo5([<>S3Lǫ"Ԧ>^J>HWV4f%tu ?{[iqgH"җJdC#A.C6RtY,5y GȴPPؗvFZl=P`86&ёB^ݔ7C6X! "pGQ\`2wZs0Z7^@AFNܕߌjrDyI5ޱYrgh퐍'Ég3`8H=2qy0?YOmc1~Ej+ns,"dmV6IFwSv]xRLn8&;d޵@kb0?넚|pMEZVERzTtC"1k(}x?]ݬlD¦~x*˸[-?w W?-![tiw[M=~LΌ*nֻ~, A㴭OqbTh$չtCuV>#) uCxl~xiн#_+OV0α/UU a i[zP( m8$9bލS-x͗Mwk,Աv~ cD l-"cQaeeƥޠt77=O_E5S3^ ;@<ESzb*So@Ÿ{ X>{|BҠ",-E}S 3NTԧiz}ik]PO{E-v%G!r1S :r([^03F.wxJd^0<ڣk CcgLgSt̸i| #k7$H>F\zFk9vO5{ͅ*n ea_:yա74)g^}l*>.$!SKlmMO|zԢf*JA`,cm;Z,2 Z{ Dl>SY8UXxlQ5掐b :?hGlїg!&yۡi6/4gwbb+ ^;50W*]0㏄YKމF: ?AA.@̦JЬt3xO(%pc<Τ6|/I |ZGI(zar"TRQf}7ąZE=yz'u0>}G؁JE_cn!hCs3䷸WZLk 9I\2c:ʖಔ Hͩ霊!sͩw6tF"GaLH}=}G KޮHgC0͛ts,--oJ(gdO!B9(4;|F|)Zw`Iv ^Yr#yتB?$Ӣw J;RH,'H. fX[JҦiĬ7{xʼ, ' #5 5LwD5omk2/?R`a `14OG m p;vUhdG$$ȵbJo4.y_g4?)>b';dq#ul@A(њ7\%Kwʵi tl}}mV愷6T_d;]7`٪kD#\73*=^/c|Ȥhe`TR/,k?2}29b6&ckV0T#B2x#$X ޏxQM':%|'Dp{sf.HC8Lc NS C}ICH{k{ 2EJ)"5κAL|/4|75@s´?bRTJ(I|d8_ĉcm^~BFE-[H "q/X-q4(="~kd\bf(6{EIk}ӔK썚v`>-SX'Q$&MTO>ێB~ XԢ }!_ HвzYQ5n1؈\,:5 zN,b۝i r $!>BDqzwmk,\Jq%h$SLaQô8z_8f\WZxh 7WH+~<]NeE E!s8QӦ3A-Y`Wz';F?3SS6%K=um\+L"g5Vb'ry$:V(ndsk!f3^(u9ReNu]&H43w'[e ) ndDCI봔%hU`qy m 㹆Vxޱ>CJ70:l-vi?)7fS$¼f+RlnS ң6쌾m injIvEKU(>{1. -b L|w5Ե{<4U bĘ!]$-F?7C I`И[a W@ 5] SNb2:bﭪ1mvԹ a44b x-C/n[m꾲k`J%^zi]B[ЗfJiAsc]w_4KB+'R ^1;K19<99?QxΪ]X0Xki/ٵI$.tiV981#linWxVpFDNso qtm㽨`P2tF`مq88|S_ky/*6ϜO)IPPꡟJxY+C5V/}c5zg^vyCrI>: \1dG7q9s~\ jUv߈H,Rpҧ>Wv\*vÁ=M9 x|z( B´U-bD})fE-c]a %Ԑ۬BI2Q V0'Ku͈cU1=ӌhJAynDΠ!\FQ9b+_T7}}ncwn1P')|5 H]e-vh/h{jީ ' !`gh>ߜcު~ xՠT2kUTyhT M%f<5,$^L]m-VY>^-)΋)#UB-UF뛋A=. ^jɠ ~dx1g O\p5€ ߦOPdB1E +t,drHBL1EI%L{E!ꊗ]a_1_a<HU4qDa,_/ZZ%CsM{ oĩ&p|^x媋 9?FV/h.vL2M47lE+Wֳ4KPeGKIVXjLrxMWk#^N&xO/3 ػ  +O&[KJ7Յ^ƒ Ӽ7C/PLsRZ2 L|DǤTYM'j,]B$դ33 4A¾_JYngzugt:VhGXQ`>`F[U!e굜/0r]ZݐU)N6[myr[|DnV^ buDCjCbH L+_\\]tL{cCe*,o2a2>h_򢋔\Mn_d۫3&amXP!1~nE /QD Cd%ӖoᑷB,ʛu҂ej01/r1*+^jpz-U(IY%S}K=I6E^FtWجY< p[_s {x:A`Gl>>J{`xmNCh&zK}!YX>K8,s֯T.n`ZwL^q7 u9=^:om0ii@2=ZǤWhGȊ}tgrSLO( Ra;J @zF>R[i}*UJrhٗV/g™ mj5 [f@l\8|}װkGj5hg$RzjhϙfK]FWAPNe3yG>B QL>anB," g WL}1,_z@_ aZu8*g!/Fb2Ը N5EtX.cǃY QU2Ѩp;9ɻ[^C@Q&ITbi@nŤglRi:~ $?+gn J|Y|8@=g). +鞖b|i^Y:*_Fk{ ia]uNj~`n;|G⇖FtC׃Pp=ϒ8d劋kkcp6Wq)4k ,ỉNUdW| dj$W~'rr?]ѵ!5NP[&FM'ELdn*V6Y޽EՅ)b,&6MSN,fzXd ͇zXOy\yG.y|]XBoBI.d T)zik6Vޭ T<) 9K^ 77r@lG9;K ?(iu 9RquUI:.rTf/4A EaO*ntHAAV 6NLCYbK:We yl9z0*ӗ2@hTH+@vLu[F7YPDgX$1{R삊"/nN=*8u(ϵXυЊH IdTV9"Hh& f=.:?z5޿#HIZnBk?`DwP'iW<H]Y 7^>9C'om0H4d1vݪ/ƪEs$)ֺ s])鬝ԋvlbb,gQb8HL[ i(^}~z\tєSnbBcsߔ:dɩ)KO H;ʽn^ 'cv.\gs| hZ32kED.J[^z8d̨Dͯ2Cw," Ց B2[|QoFƒ&}ĉs}1&f64S<%/L#SsͶ9;'ٯ dJK*taٔAoKDM3X1Ad%hoD+<q*iն)>c @ͥߘx ֕M6N%4Wϋi.iK8Q]i'V.bf&7ṈgYZ476a7834856334694aa46d7a4502f21ea0bbfa0b4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0fc303a1ae2b38e128ade6920eaa837723f6a31d2