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 51L44 ]w]Jordan_Normal_Form:threads=4elapsed=365.089cpu=1067.368gc=54.332factor=2.927zXZִF! J]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;sl`,239@MF+e@+& {d2_%_G3dƭܹ6)7١rU$qZaJѡ?{Q ,;m׾[@5ekGEU6tjii_i. tpxAamЂZ<r-kzM"o?ar~ҼIqUv i5efUA;>q[ JWۧ ^-ņz`TW8!wuq_@q=AƬw-(''ilȁ~:YYlCZ0N0ٱlQ⻕7+JKY p[J[͑=[$#LSh5X2߇}Gnv&b#6^52/nĘ" 0f)m/˼`mC#`eWrd6Kr)Y۬*`THunƨex\܌Ûj4p-:EٵnjG )p0P"&D4*šWHuƕzAdnp&/X5|\e'u[M-/B/E-㋛SR%HRį:{ ߥ4H&yow.о?ύ1 cp+ 7r76։%#g@:<&lJQYz'2J/=Y]@etV &9&֬V1/ hjn-唭Æ1|R^k.F~%lpi_^(~0u=ײ#>tXbߐA7/5=yFrQHr^S<ֆEoQ ;R 7e*t XлCsEu?,e.9J2I\{",>3Ki"L1\/kC%=lKlIiNKW_īl vH?*fSFyHa Trfƃ,&l ~ʚ++{)1KE]wpTk帝'tLNI~ň^v"rc'Ave#7,iuȢgѥP… qZϴcտgF nS}߮ Ybn 8CW2+[eckUc9#Ycd<8ݨuмE(P 64۾KOxj?U^ dPiI*`Z9ؒ(^3YV+"8T\ƤF>UPaS82* A w?&4+?}Xo\}~Ҫ1;=QJ|@_mVHGTe{C!aB:^R~Z= \ePv FH;<i^a5(4K4|98$vs8Z N jDI>BijB^CyS˵UU 驰 T8o}]ֻ-umO7_ 1 Jordan_Normal_Form  8R|]tU%#$jJyLuP 4Dho\tvRD4^3bĊGÒKpIk=g~&Ӷ=J5g W%usɒ1)#VGRTxgKW BDlՇUΫk7nJvއod~N %;/ gؙF+l?E&Ξ&@݌Zy?78Ǿ}<$g$f<:HuRoФ[OvgjV<#OHoA!AZ.(QL-DмlV,HWb 3N7U=}<&n?ci]!raמ+ȿ9 }3_Zwj 3if]?凶dU@ϵ>*PG%٬,a ?] 2=iXJrsRH;"37# ZUd/hZ) $BhAݚJO\sX¾Zn唋߉XΔ6>I&A޶qDďxנUC]S!82S<~IM_Ͼ"@|@׵&M7&||CFMI A6Faba+.='8UY{x_byie8:аoSs_P4Ay lɴ7?ʵ)~.?t`J6o$FwhZP*r|B,80vwѝ]gQH W:oŧM4+7͂`ݏQƟ R{[<^S֙|Ԉ7ܹD2AĔ|؃#ۜO#uOD=J4{,7[Jߓ9vi,#(bږ03)ycZ?s:LMmzFBJ3* 5u5{dw).Oc2N\Zr噏tvHB, bO w;%0Xoɠj~sn^QE|Om|v,UMlbԨ()EM.n4's +{ -5O1rc9Sѹi:lq~{SGl{;  ZHAg>4Y|0]Ő$1zM 1%1i4O+5I J *pt|nҰQbË !a'nÂz#Zï?uvC}6 0,X~}–KU2occJ@t6%$lgy$^),,`W /"?Edcwzn<9!m׈f8;0dGNq=>>qYOh,-}8^u$?٪?}}Yc%ck-vZw<7nAUJF`9"İ ~^NNgsqaC:#lj _ZpAp0?[,&دΎ$0J G6:PA~;:䙤{@V(fvD+/O~az$9;hb:otcP;@%鷙'G* R&࣌UCr{!WSxɏ q{uVryۚG?H"C:17<2ܥ˿60RV^4'gpBxemfċpc=m/Ba2c|xR#~eGYRjU^oEH>Zyd\;Qk.vYE?.F8(KL$O4*lKIN $E㻆 iв~]hf +H r{č]mQ(6; .|g=d6)fQl Da[L1 Z>mBI37bwѥ'NFp78J#g4(6zJO*-wkⵠ}MFiH #Ͷߔʸ(4n 4PJFI)L"m&yS]i>wrת%O( quaW"Åc4GO-pWwspɜ )/nL\l=XE5X\29bQ8v[e.-Ԉ 'ᫌCCn](9ɬCcEoL3y MHz UTf+Gi#--!oo9Xa?$l?NP͞#?yaLYq@ u%M|?pf[VNZ Pk*C_Ag%w)l/Т.Yjor%LUWޱA<OaϷ$' .K3an< ظ&I5+:<\̠S|R>\;ATE2'GL5dp !.oo"3%T?%@;" 5:yvb lCs㫥C{U`yَGE3⯷S"XX!}.6L5ZTԒmOr :NyW!`cfI&:YN}f ʈ ,FrXBq4=0|XfHg]a\7>&!kTLqp!-uG]09DX;軿kP!(+/q@o6L{lMePcFsnʭ&'JWڻc{~L o [.4#BEۊuY74 5H]L9x6(M(4~Ѳ?ė{,>--p/UzTphR>Y4X0 0E`j鱜f҈Dj&fR LzkGơb'_uȚ:7-@W:ftB>M(8B8jZy{PO6bhq;UMh&eX&7$TGT}3FDr41Gmм=o60%N7h}SR{iVG7OLRU7R`{s=a`z~JW,5hq99ٟYU/0c+~(l>j.PfĖC߶S'mu@ PykISM{-Fw>-KkL3K{'^SD v59ⷼ;C決[uVa칍?}cҨ@s{ϏoLGޭE:F#W`,Ɉc%hm-ne|Zg%%D h8$,7 _c yzͶU.Sc Drs=ۯgI6D9^pͳ4W.gd[l4en6G'm@U?\B&B"^oO0p3|+Zz).hEB(? ۹rySpx)PeBQxBl%f'y8@Q'ua/r@K+~g SdRI l;uR:sU:`Y /}N$@YSuѵͣpV!vx7%̩jx >`S:d1&b]`/+m׺<yy@S!HJ̐X̴ŎSp sB_G_hYőۢ8].R& GČ+Y Ybw* >R:ñ6mWw:J7hWzRw41W1<,;`N X/]*%H|@"~i9ƫ9unnzp{j$"QD1?]?jAB1z- upqeH8VF^#=|a89[϶w,ܐLRxdBvf^A_$兕OVQx+oE?*AyDYLՀBdëJLS;Siu<0V7,o\qfSj0(D%4^#p<~<#br1"5I^VҶ˭@R2bVepOpҹeWR=h_`UnzSsC_(@i3qΔ ^{[G'q5VJgYZ7zXZִF! T]ŗXiɟNGW=:;G v{@si K]cO>+ؓ/R)6L< qUPKbiZj5uJem^}}r }+w!Jy;}+y5raUכu,CF>`їlkj7gw/!g?}lU59r|KAp &?#|-Ѵq2Y-?&Gip*4Fֱ;MaCzYYgߖ)%QP5GzV;WKdQ _nJٰh; طPpQ۶ZW  B:Ia!*#'M-m} )cK \Ûe6f6d JByX8M44/x4d<1ꋓBdbum0K+Ӣ:IfZ(Vus|J榑 Rh_59 ّf3LVK۰)F^pgP]_R-0]4K*t=t:CZfl9[[U<^tˎ2@:TП`Z:>+!Ϛ{"mJZ 504& fu{']0 {|T#(p\Hm% ,`jcBQ{'P(!Oa]:ry#BC;%ι̋}yyYs1-Emo^0*4D','5s}uH8$N9דp)-*B[1[ٰ ۡ{F̷{gYZ7zXZִF! f]ŗXi%L KOB u=eچ z\Pj3Hݽp>{U8;QR ӫڄ57?@N+S#q*`BsA* զ:ەDϢ~_r%цp G~EHshB#S(yjG;HTuWx*DW"yGЉɈ|zrɪ> T:Z-z.%D qo͙`V4iTa#q>ۙnWw,Ÿ*o$} {,^~#* VyIU6g6Gn^:+b)m/5d[DIV-&†Fֵx*L#+2u}m]qcͶ{cvK+zg(9]j mXYO-,v@zAn=_Ч=rPQK#Wr ; > HJl凅SߑAI4'f]izf[CĕbGM!S8jJARʜ^f|M=]V pR[^-܀-/@{ :MsM㋢Jݴ$z9%WV5(Q# }=4D<'S +MMM+ÐyRhl8s ʷj =M%B>̩ߥ4oz 9ڹ~tK%Y@a؎I}rT ;6#gjx 3%4gj\eB=t}Jd2ܹb3{.YjɓT6Mq싮' A6` Hz _nuo۸#w%k`?Kb.Q{yx$wuJsWggF@ӦbBVuBYǺ} P ODSc&03s3wZzn]Mτu9?P|Re-^rk|΁xG:[Hؔ9dշ ˽M{bu}@Letyw_%'6cw ':>EO)>6w NWX-mi*7 !xm0r':C @%2Vc~pعVmt:YǶ!F:ÅS1<_,:F;CC%s-_J~_@C_Sܬ\ ] ME\A7\G/#@#f仆83(_m[8 Qz(( [#*|QŹH?"7S{(n 2وń7 n-8@ cue"SAyiXIڼOn$_ F2\:&k~)"ӫrf#bBvڹn]X{Mڈ!2JɅ"4EB1mGŇciF/@R]pIUηbPZOhwe ^)ԚS:ETе% eS .hhWߐXL&zڢBׂ(`^ͨFUSi4#ݕL8)zc =S]ca>6G>ӷ-MwnMJ» FFsQk+ _ic& `O Dȶ. i7tm8a gM#z(fܱF30t:%z!l`F:'=́C'\. 4\]%[;!E.ӤJmPz43a.)ZW[LKy_J з1 (&p_L#_HJ 35;61_Dy[6kmO ee˩ L0v)1#>>q/ŮT.Q'u"mǑPcH`Xi!5pniT*d$W$>o\^(RO$'.we0ɩg0pj{tjd+Nrh-z;9r\ #4[jN2 쿋xf,{or#[~fX [-'*FOe)79_B)rV}34 2L1U2I4 !QoY\G1ױT.?ZUQP44`stA"8mT#ѱSK$>Bo*+C;S>`W6T=AQ&K u1L] ݊,SXѝ$;K]~_v6 mU!1;o,ˡK zo6S{D:2a:lX{R{i\]Xt]c;Ruvb1Pcw)%—KF@td<*?wЏC=>g[xrX%q9n>nє_q\;l&N@'Xٳx.+<;T%NLEI&|3qtZw>r?Cx'}8AGAwv%\Jn(PfQ,R(r]~ّ`ZOr\D!^ўEիrl=C{*չL= ?!Q'-Ue8sY$zLP׮zP$;F|&l;æ8:4y +d7'&>"a>lB ebBIu7ͪPd?;؀ )9 %toe=0z Zēǘ*/e<,OmzRՆ.KF:V$p$I|[*pLo0Iۃ+8@BD8I@`DUꖤLWu.yiWSn9{z,$/)HMUxt<$qXDS_>q7ވ:&\I*G}Ϙel ->E ?x9vE.vj3nGMLFLL+0q&MWP l;Ȩ{Q%2R$Uv@㘟|}oޞƆ=>CP+̵3Ǫg<#u̸iK+*nϢ,.mÆ&o%T @nAf#j1v1 ˋ/z6?0o6A8>8#&,8q1QMF{]F\wj3xQ&l bx6 wᐒi^UHXY@>!˹', K sx@Er g>HL u I=&  xL*.EgWHɅvbjv6.}{-̖)c8NK&>Ўb:Pt[O4kϵ2 {[B y[ NԱ&_ nC}84i,>rv%Kq]*GTIr,nEh9 º(Qt32^tT8/j Zʨc/-`1k;YmeU[ d4@ B7 X_ IVD;Gӓ+ ^jQe6v_%"w젌~/Z<ŏgwc(?m,LcѱUR0Bm qeq ӑ%#^ݴǰ1@ٺ;)JaֆJQ3s5yJZb\֐P<] p$Ӑ$|-qE>%m*ڟ|np:+x؝Bk,A Qy~k JWPUѩOqw5i/,D0 E Lw_]B̲Ę oz"en˘5BH}sUӦ'ו*UBɖ{\DR~Y|% Vo=TO "6 q&#`cw߂eȟ/Z6F{6RbGtuDz/fL^2m -V%VrqJ/_9|EV5PR?qe f,]*|JiuAΨt%/+ryrVvIP`=YiVbdD$n<CCMʉ:DuĦ-:ǥ2g $[A(C,T2"XWQ7d2')38S`w; HXW!:;/EYSZeU)3 ,PPziFuA$ȩOd(1c |.YIhEq7-1ˆ~ *.gŷhT=Wn3#~LQKxx́~Ѭ)O8x/3]9rAU{G+v| c%vK2 O!Df:[`J`] Z=8C֊1.%hyIJu*H|V.ћlmK4VpWc=@?@2Iq#2qL1rۨZeekIK5[Djixa,*@:lL!ֈ3QjE-`h@e:)+R?M-~P"(+8Cr:0fPI?(mVE t&o#}֗|o:.}N֨+q$:!dd':ⰱXPS+G[mw"Y_q0 o9^2o9g"Мji{qB|Ҏ@i<U0)o^ZŒM?Z!tBTz^RE]*qh)kk0/2!Ӡr̢I%_it"igbrS#2bfr i8)^F GzF"D(fDTof9/mI& ɡ(&~xv;wK1b\4Ԃq3׊\5o۬58xi P8Lʵ)ZK8V7mJ؄FrU8 4jCTVtoZ%(0lPRxP^=sNWljFBs[(-`EI"'Z^F,G}d\scsDsx)G&EӐhgAGNIϋc 0Xe&0X|Fa׽JA y! fDmZa`V6&{Hl*:+3@RC 3}p RabfY]X)͖҄gBas& 7mFu CqW(pFF3]7K/vJO%!y5ɜ qa>nƉ:̽fбoL ڐ2&gJ٭c#: h*Ug ; Fvq@RI|2ԅ娞Ȱ7=ZFn& ӱ#eE"7'oL`O"- DBQ{Iȳ-Q oqҠK uڴˍnf3siifxq_c`%Zc}Q tK:[v/ՠ'$ֵ(^ΈEGM i苳H_.N0<1 Aa} ڟǃПwj|q6ad+ZZB"כ3!")_ͪXژ{kI 5I::#(|7xbPWU{FNSuuАXRkGB(Gi}԰?MzO?\Pթ`}; Wש O+'4)/2j;<Ter5tHyOL-m,ǨϚǿ_Pّ8A MKZb8^ 38 S%2*FydgFX!Rz ƽFf؈<KdԵپl'8|Gi#I&lok6~eЈ>#X[uk/ah*(?CK9R=w jGfi$6oZkRzsqMfqDeJ3*uy pJ+T $GF*i/adRgf.5@cjՍh+D>%>2wh55t ڊ?i`E] +/A"EpRdv{1C#9 yO}+SeՈPvUdw̋'-Grr)I\GWCCCTp=AnE=ЂZW9K-8jjᛟISEOݴKN C_8a{g}X=_;N #늄7mѯT.%6J-B;|Kuyϱ&j"zx1y4 <;#<?8A]s7?7gppP ,O`Dv֭ #񎂿_2DŽ vSRn9x%NDxy k((aӴ{G>/ ^յk:1j$M).W7 Sk|֝r]@"үCs׽g7}QGa A!?թHv!":Jawj'Թ3Wo&Lp}jt̗͒{̞" aK.(ƉMj& 7:loU|}:Lۗe^diPu2q@!>mϨZ8ƧWd`*XjSnR&eOݫ*M'P VBgeC=+m46^7WURimajnVٸG ;nՋuwbsK6T}>5})do9TF^j[:/q)-Dax阖_)W?/xBl;huvy'Kmos,NǐL"IftM 1Aڐ=Bt LCn^xg ٲ'^Z_"G% =AL/qɋ e%B|)}Ԧh$>/$#āj") HMe"d}Z }f%&;@a3S$X%.eM U;al '՝Z:UAWxX&̎P5)$PݡsHۖI#ieX C#Hh8F6!1s}CTo)G .W}s_U/q쯍p՝d%YB&SAõE + o/Sf{ףG/,yWGX1 sn~ mT [k0U ߨu@ gG%nKw))nT$׭9 >1i3X^E$tLzEi֭X~|;i ,*Ȭ;I Q 0s;S#ɡnR[f=ϓ튩3ߙ^S}fύ֙m #j4qܜ2J(d=\+1?+] |C<@S@[ÄE MO6N/Q#P/<=j?N mӨ޸lW3=Tֲo: ބRIŘ3<A56ٴRr[[ De'Q9&%< -}BjCލ@qZ֑fH^aOVq0{X 1W9>['X03Kg㒨o@S ?eyֆGKq:XrcqbA3 ˱ ˾0eld%+L'Ul lxmAՕtG^ %-7wfޛ1ZlG/M:0~N)\r(ʅ,a7"5dFYښ2]WI7|"eݞCz t4<$j.1^֞E~'5߶xj FTY$C,ȖR|@rǻh9;n|<#qr p 9XyayU_4mӟ-8Bo9t%Pe-Uڲ$++u'93X4C5T<"ZA'[DcӴqX %s=A@,9bTIj׋*A4)ig~yB[W}"R,^l>=cW']b4 V*嘃2 IwhwKpnl[ڴRO 9a%^-*hV 0"R|:D9#TYWBvA(w?7?4M{ʦa,67@NYiuEq=Fgf  n3Yþ+gC(ü~3Y%%n?]qH\Ȧx\`̽u䕈42~eF~դrP`{C6_goq 9!PuYM .^LW`.C~!XhP3VXHZB!p #ہsX)+dNl<4]Cydf'`,Y5TNr;T瞏Is.+Zlh1.M3tEEn"'uJ9"AL3s3dYS&@wpQ : Ɲ6tƧ]bTOqgr^cjm^'5vz3XD9 č+U䭋 ~^ݏfdpi@G&J&/|3X8}ZnFL[0֔fY/G01: .3\W*og HVkk-Fi@rLQ⹓Fa*)lB5 K0ozq!$Nw !e&U|a"j:%0r$ jl>HvP{eǣ\ȹ>sb>||5>p9u:x 2tl/bs%j炫Ox[s[ Y&hN2`rY1`Q,ȶ d5|W@^2Y lȹ>iE5SWo @r/Udu,Li-YzD[{" S;hJvn9 S\ 8?8͉4Qc=z ]d9rV2G\ Z6jubb ;n9s$m/ x1x#}TP^&E9-@C1 Y1g\s!J9;B2"CW&i3R<!\B?)/Eq{FՐLq(x28>KJApI͇VIl ޼ϮQ^jmO פּ[Wr\UAMX21:e1Ҭ#JQ sӀ{l'eugN],y}lV ޖ2mI|h.*%BP-Y{PƸOk@ JyKyQeJƤz+E^GVW twҼ0KwuߚVdQZ-k>˜5bc I+}h/w7kxڧ{Q~07DYՕ ch&T{orJz_-;A6 80K= S:a9?d+/QJPJ ;r;}_3gvQ&E(H;K}PJʤܣy!vnuzE/U?ץK:7;FMbjӫ@ Tbh㞑bE@Szp=FZTC?y=%,~F 2yr+kRRS fnF[cT 30S# Σzi4&[olgl pهQ  t%wOoQ˖|?F׊ $GDZ\B~;ntm(?N@UG4]bfo؀3mTJ8"H7dj\e*K$)=Vw|^u{?ɴIL9b ?ɣ z9ݽ* ĉs,imUhSWQHޠsQP7pA XRFsr;ӷ>7 491.Ǿ-3iHvRRdӄo&l.k`@mU>!zy#F (iw nRb<'?)H|( < !=P QH0A(w1rB 0x_뢃%PueC_Zg DJ/, WG_ ax0[@zl+Y;.Y1YQı@4k?D[ςeb\N,`0Vz y(!eoپ Q3D!I[}ƱBxoofB3/;S_[]њR`ez}Y4R fl76 gdf}.>tbI04ҟ=߸: lND>yw5NIma$uBN]Ł%cR_EĆkElB?AMws%^5Z''# VΒzq<=;]}1C}ف=yqk,\F/ޙdM0RXR!Vo+崘Q_EqO997^]vi1E:>J&"3n<h㘚~c[e oE͘)Bs.˨O|݄nGG+Yf~']z-ZyӐnR!}& EـV7i.Z!%EOd4K\seՀS}Wټf5>p\>e\eA87X>٨rU~BBOV~ivqǠ8цW= SY ?}1.zo._ :^/a0 |qr:MjLK$c.#NCjSkz~rx6O%8) ,ȉ=ˆ>iéTJVII!؏9q]bUl sQEfoCR34Ц;u,4p UaoԶ.`usVJ?0A5sE!D>B(ruk}JV x{nVW[?aY܎ӟUх~$_%u>,tM0% hr/^I~)q ⷒ`Hw&uv! 5N;@l T <O62(@q.`fyY}_<0FGF\Cǜ^\TU>N,8P8 B-f3,agBqG'Hw(j:)*b-FXb?r!t~Lod$ جD6*+&+K]"4јO-{]' ^͉_Yal$S La֪(kukB'ɸr|=>8_Oi$؈Wp|5Bphq3I?lu8o1.)K1A"TnP\n(XQߪgq6mMCܫ|IT_:0%>FSQ}/A#R"|XeB@ږ;h m H`~Ի6q&;$C؝ pIHk{i&s⠣ {Mz)+}3JTGj,EX}@d k:ەzRr,TM{$D9b:(RA&0yAߴOnC+}gU1"7!-Ú95hlVhY#6X՞ ˄ ݮS88TwrgLҝNWǧj^a16k̵F/n\Tu X[(6eˑxnId!˗̽ ^rB|(ɧ={=th"xU0Ggr=$J9M,X{.I8cuI*3u YivkC&|[H5I͟Pr5e`nȬޫYrF ?bc$%Lp2..>*oJTjꔊS"s@w*Z~x!V@s> Ժk&yoNGhn$1Ϯn8L%ma{5,)F%!zL+dpqcD 45` zA}g$g n+I`UE_lӾ֞,]|r/mB"GTrJ(X,%Vf.4V۰Pu*NWFOUGTE]1p$$θ@9oZ<4%ۉ{d.i =lfbrJ$Fqu!/0G /WѺ`V^LsQM숕:1ڦ) Y? .;V%7ˇ<t:B`{} .Zv-۫1xޚY,鳜C%}_f~ߋdk0L8bOqk`:tcPlo6㠮6ʻ%DZ?`*X$2p1vlzXբqڊ}DpEyӳfQÐj,O;(IJYJ;[Ud|3b;uWlг O<4?xʶ|D76xa&5CZ$?zRΟN$lO+C"D ' - Sz>X\pMŔ| žAFd.(nNm=T-U4I*\VHCXX%Y^o3rkC٦&-NLȉSS?*"cȬ\Dm֚CɄ<_8^T?jý?NDy?BrLАSh.'aƷ?rau1 b vTL}Bz9M"&: kI!:rw)ʹ|!&ۇ|?*v ?\\ \ࠒ/8vv ,խl˃)rYHukH!(VuTBO gZPSFy62/ Z6 %%CN}avQT/i#cE$dJ\f?.v^J k QN42&cB%-/άA0P1zzSMW}L g[>K壬) AHș4p`D2̯+QQ|83Y94?]tAb`pĤ'i:[ԓc\+k D^5":$:2aK~' O~bϕyn_L&'3ag{ƅ4`þ}]PkE]G+Ƹ*2~0̫31g&JgnP"lܼ6OFz[w"SڿMN|qMPf惩޸z6i׾3o)nnd_]u7)mvηڐ86Da@Qvw"MTHxM+nC79=cv|Egr`ǯ(КyfC ۂDl{v3\8K5%: inI@U@t| 8690~GNb:Q%)CN{v-}7e,e;i)m#abhDvWƟw)s/wW.~uԑ.q.zfYSnY]rlc@7s_`'Zz$ΏD 5FDFqmN/X^5ոEDnuPo5!fto7X13ȱ2vAmn&I8ɮT XwȻIac- S \n7F#.U\<܈,Mʬ|A;>XvksV=?SWi&*ڋ KJ&/L9get iVKrZfs#be*)f kIoT3FdZ Hi) <̌P.guT ƅV0=$^O4أ2T<|&OPfA[ǡBx0Lc}FCʋ, -FeW[&)=x GOj`7߿j|CwCQc{M,fb1X`UXJbȁLS=mbB|v|e~%sx(3GShV46cc >N42)ɁHM:qѢ{XCOX^{@G8=JdL䌮|ȝZTW)r<;*Υқeșkm! 4nqX!1(SzNTsmA%Ptچ˰Jv}gQ=oj8:R5EAS 7K<}ÏxZHF$m*]FKh B^Wڄ| ΃Ʉ$^+M"i8[ĒPG w?ؠܯhWzec7̳:,ji5Ešz'4|f@/s c!ՂdlKuWwœFc)8$;ltaeW&vE* H|܀pq5V^as r-yNhL+OwZ-7ߏ,}yiBxbBKźMx>s?ص }M77RO((]?gTr$'\1 ԰5iLJ#P7wMA3"T:FF[VxHJ8u12W aWiBSВUrD P$ c';Qy&+$qISLj FsnB I/C6q$rJ['RԥY {ř\&@by%|Iɣirzڂ!K'W( Q7^\Vp"Pg>40xEe@7pp1R's O9?Mh' W0Mo ih6cE ?È8ֲ&4 &lDEN vZ7FԺQoF5I'7e)eU"ۆ,Uէ0Nœ*ʣPmve =%fiXl.y✮i;e3$m: u/Q)˰1e or nIU¢Jg1i i5=ȕQڭIg@u ޡi jM#_~zOỢXvHj|2kji; =ߵwϱ" ?V- XW?/@Ӄ}.s(k|;0忒1A׷pz 6ю [1Tn΁еmkQJT7*wgd-\>9Uԯ)c(ӿiF$`^恑-7+)\3\_?N`+r$eV|<}F IޥIcиB_{B̳ n}oyv͔ wS*cPxY(lɭ}TaqVfnKF:iʃz gy*"bHz;#aZz%Sp Jt1:ٳ8ݮ7ΙMEܗ3#6$$Ocq٤Bb..罳 E (]S1=O/Th׀ZA7_ʂd6<5*Ј27Xd=^j1dA$j'_D:`)@mw2Yv&mҺ/3 7kRÁ(aNإg^UFc34?VTUc{ʘv9Zk,}:7aH3MdY 9ѥi`D rr$Vo/rjP9퓻>#'"bb|&w[u\|@k!jVw (&4%S]_Uxe;4ӰLPFt8'`;ѕ!~㲼JK-fZSupw-}N:84bu3>)wp*_u  ڌIowo!y]:Iy!YvX!VC, qɶD1UagNXH̻|"aiA M-1T4u-g7e2Ȗxf