SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ;;5Dd o]Pre_Perron_Frobenius:threads=2elapsed=226.378cpu=421.200gc=15.980factor=1.867zXZִF! XL}\]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍRQy f{QMR17-[ uH!\~~y"1ک"l hY*Isȏy@N0($#-#ZW8bY0736YN7%WR &siV#_.:Tux@ʤYTSgZ0!l,-I$_3k>fOzz]|3(crX=U@VȖڰ|P Tw,p=h9U*7+pd7~&8XC6 xjˆX[Q[4o!g]8L7^(m#R^#:E3ͯTg >SRoތg![c&s/kqBP*QWH0{cU[a^ ]zCϞTȷ/%#/aiDȼffRĨߒi^8Z׊s` vcש,8 mNM\= {uNGqH^K[>(U`AhiuSxx/iDVo*I@;4D] _g Xɓ٤\4?.3v-9Et/TeqSYndf ?)T&/ٻ=eh|tF@sR<Ֆ1nOk[Lw-zA\ ʯ JY{QNWnn{(FhG;Ik>fkě1k 1 tpǝ>/1'i\!*^Xٟwih?q/uGe74;J1R98Po 0ܕ}.iE.r$b_8FN=yxFrnUFyK#Y#XWXATT&dH#/8,WZ.! h xQZ񈵯ӖdzlD=K7t4 :rL&P7B&~E0'|cHz!rTЕ1D?5܈?LrD/O, B{3sm$ L3`p{*l`X7q8aJ?%gZA$} /|s.]=T5ۙc nh9 )3b Cb,n֑⃄ 3p,x}4 ?O;La’4.?xBOaL45*{I(n_FF@ %[?UIkF)( l1s7ķtC+.G7Z-@,`sUT|BYztV˸Z5.~E<_l3K*y{W4G*i.hd];cUe ѯDzRn\} 5 Pre_Perron_FrobeniusưD<R{67! 2uIp0( s{`YDT㐴<7dveԁW K+_Jt)l+h 2M+C!W%A:ǒڜ6yX%+ocČh"EtE{zƲVx'>X{C*AںD~x dP+0i Qd[S.iV!`{߁& X/h[\azMgmr.1fx)Ͷ6[b̐4.}uqkEVFrpK/Mt( s]2M}!qo}EU۶ C CۯN7\۲ݭm?  2k"ZT; utzSs*g(`LԨ V"t̴1AwQ9Q ]N:%r{:SMȋ}H)K .]c#Q 7+CU/b,niiq:?Kg{X\?|w*lPMhɇ](=Rj@HT)4!iS5KVxK5A&G ֭EnyR]-eJc>&\B\hxCuzD.G[+*&V53У hǗV >’_B=H7?qߥ)ҘF,gqE+;}-|Y)@cS 4) L8}}PL6VUR\8u=A$s15gg'D15Cu-S-Vg8|=sޯ=6|tyRJ+A_~$#aR7){1IYmjI :.Z>*9$d: {cʑVH9_R Ρ7 !ÎQKQ*3Ҍ KBڝM#0{8Ccʜո(b9È[/);qJo,9 W [TV)L>}5*ʧXTA g&C(e߶ -gvɿMaf҄Sj/MŖx 3g@A/ )O3 z '-a .ݪGg3IRܛĮEyᘉ?]xH_kz[#N`aoaGyi Gx֤ŸA:\ dǖ2Bx8$x )=U0bq[^춴Rj乩. ySE 9T77:3LM2Hw0{ oNif0LA-Q3~c @U:K[b<`Ygcw\zh7 ia,WX')Xi-t ؒ2M4=; TKS\D/`aƃ γ'hZzVd8bx\@n}g(RxFƓ3vؾ(t۲igh"v.Uw/tAD-%;eϴ JI?^A2="XF35T\ދWp^'C dx6$K> A\O='.Ȋ>MGcN3:"ʿ'KƌEA>am>!ޘ*ܞC*:=kEuQ?HPS퉽ɔ0bX^QQ:HkE bl J{d[U?oK'7hE$HpY|t[K;*hcU A;Ԩ_&u1kp ˸n&",e_hd:I.:)\ T"6O)@&'7p@@UD2WAX9M ]/v۶S 7< :%>~i̝MԲY2+4RCg#M_p8/嗸 UOJ}sw9&2ty PD[MS`Lh̤gE9/EITfwD#`, Qj^栣I Ȏt oƄ+0qxq'uf`̿a=+;nVE-9Oaf{XzE&ˋUϯd8aΰ!aNpݸl E]A Pţ&#c+R`? Jjrw% w֑a+^]c= eFA7$٢8BHR%{UC2ɚz=nY+˟nտ(h^ l\ -w|ZS)mY6ij3%n?~a3e@unLK '_d8@sIT`-SF'e}sM{ 8]"փ~#!>])1'_dZOd)X- j.& 6.+^:#8?#z-iGȻjzV@ir?N0߸ WKeٴkFB~1+FKL#7W1J!QnlUD6G6c@Zv T5+e jz0קI Q;4̭Sfᾞ< ^vJȀ,`"9=P"#ߊm7KR"$/kFn` Hcy#ȰwjJ{?yhlwi a*)¿W߉x?{Uuޯ2XI̜.Z~\֧\q4A0Y:ߘ[5eQIskUr!Og{-M |0rOc~/ $k{Hh~u٧]3M!ceC:vpp8m]b[b!Snuր' $ݞ 1Л)?!'/zN_嚅X5k<-kn;YZåU$a-3_6v|+yѱXi`DDN.<ٕ4?p`@\a-HlrYhgM:<:{!uά];1/AϞZD,ujK"r~$ 5c(+NXcnƞܱ;v%u+ [)S sjڬJ(=r㆔9>%W8'I땘Jj`,RNQuS7'+8J/nuzrE]i*W8Sv|{m5D\av.{Zn.~gXRmT PAs[gGq.%VT9OWѕ:6 b$t% Ɯ!$_n.G͖hx 0t5r2w}x-&o&?$IdhpSŖ\5qsH 6({NXek E瑱FrN C@4WNj: Y+@3ܟDUװ2}x&WY2MU nTSR*egFs_SGD*%!i6a"Q]5ܩəÖ$m[;KN]YDFlinшa|EY^\6JkRŨfV6y)E"ghQLdjtV=lB/ y.:&NݧWZH8;S.ۦOzG!x@Zhb]KmD݊uu^,Vwpǃ "IzkZ -|x9Ѿ%,Q#n(M#ӻꝉܞMXb9;crS"@%"Lk$T~bWWw_맆&XA 끋mD lkc#"fȧ%mCdDghD8¡9Dp,̬u5h2e( =%2trc D~E|p'Xd̔p>K[GZ6s[.Κ4p cDy2R3HmqJ-\} 4Ze\e{;WXw04=KT4ͽ½6z% X&WJm OU_fOVZjLQ\CQԙ$lc" ]9p]n_XhU3T֡* OdF($(skbˡsI촂?odRd0?5+/>BOoFFH>$&p~PW'KWz(Xvi鏶-\x4> x"ľQ̮Qhݡ)p}?|u 2ȾJ0|ˍ2e{16InDۆ`rϮ9Y]]h kxA"7.'v߮z5x\Ktu^nœGKWT=Gz?q/]g{6:ZZoW&! 6<4g we{1Ϟ)@2q{2JrG71} \1twT .𘰺=k/u9oy )GF&{߯ __~ oc1[njv {A+"rP+~HTѮ^lgRZ+~~5o}^oN;*\g][ƈCQj[ѬDt1>}c@w#n,u Fճ6)MlRr̾Vn<A) 19r!C*G>ܨ$ָ\y1!)dhx)qmv0)K[kNQԢt)vܾި}}BHB6\nM%MJ_usV"0E '3 ~yRm ,RV ,FW&:MH]q~1_m-;g?{PJ*ji H7Brx4V"BVmE %+qE˥YFl@lTŏjGN*\hp`)ORq> WS; a`馱B^N} vsFZ [ylq"`#2"$`k"寝DQE2z>0iYG@yHQi96QT4v־Nio;LNF α #!YAxʛ ÷.Z3SX:`uoSmk*un5ʓ V됺޼a8 -.3 "e)6AI#FB64ϖ`4Vgb=@;0AeEcѝҺR/f/\!zu~d}>>ɒN$Wz$MprH8);GHYQ3sF#:u\lGpjk/4"%?P~Ml8j2T:Ӆ2c5 2ӬMp~gtW9h ;~N'A/'iD!0nԘJBQABn,IPmN,3WL)Nn=Y8TpKm-6_.2pXob*Klϧ?Tvhgf,_IY%.Hñw(YRJCDc;oܚ~XTzζ6{l(mT]V %6R:_7Le<%"*`? ߟlWsvU)f] t bh)&@׭ʡMo㳿nd!T9( QvdSe3DNN~"$,@BQ0#ݡG8耢[SĒc+BWL$k_ygmBj]4 q5Ц`]),]v#3o_S9{(td,å傹=H;Ho]0,G8`枉V\?5^c0Ȅ9>/yLlwx{$!S{rLs uDM8E{ jH&Go"XAicQH #K+ u]^!D!$}?CW|Ys@dS8(Oa]K\ BXm¹vធ vj%Vғ>\Y (=KdJjSXgtԪJ$C.hB sux6ef'%׮[Hq3gԾ{^`JSV!sŐ?#39.RDA?2 TD;,I!MUVc_e<s"USصf:<nzK8~F .Pb1I-u{.c6\ 106[+H mf(`'f$,J1uaoK*'~q3rK h-h`\@ԋ=S\du$ixñ<=Ԫ-$U8b%.sĺrRD 'sMUH{ΉX$HA`}D ٭xkyrL<.r ægu#%OCPmc$%ZRG jfu9Dgoԇ!4,2^Yِ7wѾp3J1߱I9)9'j^?) %8Q9%ٹ\&s%ܰDߔXܯF|;0C²e{Wa6%5T]Z#ee:;kIvOz^l?CpUZɞvxDl`\qĈH P(wsI-  _,zbṯuj%GOuR);P;tL#z>cݔW}`+-Xw@ X~>G7 *Y+ г=],2eEO+dE[`;йEK?Yl9m؅nEPp拢N߯f%Hƛ1v%DlN/ka&T!_G \6 p(513תJfPT4rV[ZKw3?] 䔐*׵Qhm1F~돎f@ 8 L]ȍCZqԊU1,ni%tq& plzNk/MTa=V& X,O4c +g%r<{eWPt W >֞8 kk}m s4ݳ$#V pV'ͤJtUDz?:{S6]Y?E]{Q; ,#E*ױM{[#L`+Њκ/Bi[Zlw73fϊ{0\t?ͦ~^ 3$AG=wNq?oyaÈ'^|(oB"E假f+Gc@Ц.f^*1g9V(x`)T^`̞:ZF ԩ3h M/g&HU K W!eX|"վ:a |C'y{dv,IMp+J>GÆe]?nyEi tԱ=uȣ-B)(5 5Qq3d\pejhjwv5;T n~-z SVr.yb}F /4ln.;մS[͋E)PAA> OXp!/0I`wYfoi ןˡV%8g A1ec>jZ[,;_ "p KhyUF= ý +Bj V& X.Obϭcw~ rI†%1_* T~auFzR ]o1][6MӾY+:ٯ>iÖsU! LJDIvw3ʐ=u,OUHԿSY'])[#>Q@u,'`89Ih\ H~Y~W}븝.:Dr*L2,}͑k3u.; ƲԺ:kOZnkffp +č"[7J +96PK9*+"yjAa"bRVNV.ҿ?9an*e&<(-(yx&ٿa]: $HJ>/DH+طcD`=eg ;Dʨomwb w0׆`$lR~M+5~0]RcCP6{qJ:/ + >0⸋_]iHnWɄș➘ڏ #ro}d U)\CreX!򽴮C ͅ@Z* H! 3!Xr/zQIYWL*ff]pm!ʉH5]BEOLBi+z߼W+wדOn0PK o9((q rj1&3X9g:HÓ,?x|}^Ifb=U#zX1UѮ"obCԨ?H4\8wB\,p12l<5?XR%v_VՍ*ԤٟA]M ǍMժrd녅6Xyj>1 pF7"2X`!MES_DG߾zSH]:x\UQ c_Zd8Fs\1Ll򩒼9af_vH!ZTw_/i6YdWܻuenTBd:z3**9 .CLT&:[$@hϨ,{w2}8uЇ V |, Bm1\`:9iI 킇"D6M)[}v6#P!.֮WTRZ3k$NC.r 8\Z $z³8'wIxB:{fX7iZh}wVh{C#\NkEq xv$P$(TY-2cf4{)U@R zoc5 ( :it۝&VyxlYD%^~ ٝ/S.:^؊^$\\qG HHL3HΒ le`; hi:]dɲ40Z):H4ݚpL$`')P"9Ѝ|:0djk0$A*zH+:zO4":k9Fx{3}Y!s^&!62 -J|$W]}RF7>0 v~Ľ;HLΜy-W#1wrWRQxB›Rl[yB $K_「O#t+n %kډk|6~אAd(g ^xeD3-M4T~dLy+k|IJ> 4+` @S.s$q gԇV@HY6 @CeѪLɜ VDU{cKD{ !J&2דFk2nD IrYָQu806 ocMm58o X!5H0 ٴ ʙFxJ#j;gȀUek`[~QHɘZ9Kvz΋%#3x<zjt?x xE׆KGC]&Ta$6`N3pκ,51I8]QE, 6bPوk\"#Fm˿x_MֹO"Y;Iy#eїC`E1-Bvĵ^&?ȯp\vb78^X yR Tr Wf  d#qܟ%íXVl s 8UDZp*f: pk I*s?ٌ[#.9wdw\J^ Kr yCèAv~Ň35"1z+CsFp>cg0-Z/7PS&%W9UY+vUaU1,-ב&=&Ge)ݗ`a/]ed0A\쯨VNn^IBڂ2}XϾk#04JjHT-MsLrG$b"; o!oπ:K^!hq>eӽroɖGjCW0RҰ׺TB{\) CMI u߯ Ɵ9XVo/w䲜/ofݼFvbOƀʨArٺߠJM|yLnTk`p¥:b6,_*Ǔ吺)%g6Bb.ЅH3kǿ5Z̺0>ћ+HUS!`^dбqojw݊֝ɥe Ei.&GD6\1xUIqǩ5>DiBdOZnna 'apR9ly^)+Fh!}YEHD ݢ`Dx2\D+o;/bAג%c9yyF&#Ǟo˿WD> ^BOzbne@]qYGr߶V#VdK[Z QQy?bX"B[j kMGB cǚaY/DUf\G,՝#+5kUwza<&c~Cu_"wa݃ L"] cvl34GT_5JpQj'ڲff9\6@^2'@1]7HHHeIs 6+~ָ|`t+>ײt{ZGWO|x/?Շ0龀3bhC@{N5M"JW6iG7^V}]u7 o"qq9iة镚%[eѸCXeA*g/A:@)A/Eq4MIWa㛇U0"AYm›>&Tfm" _t𦊳+|A>:/"'*}v@F2QVݞ8XC;ٽu#!7@V?%2M8":Y?΀Pj)I-'XѢ;&muHr *y=p ]ܷ D?h{ƌ!̆(Ý xFY.(] }ϰ]N8Qub4_\E!V(4y9Yec/r~ں9]5R6,Us3P`Xi`K<-!_+jj%?Іrjo(+ Q´ʏh@gM@}ƈw=.>J&N_Z#,, E) C3q򅫇ѾߟP1|S^Yqol3OxŮu@Skц~.Zz?DvI~DpKe bO*+cd&AOW'ZĎ*h,U͔fvWI<ߒq=epʻ(lf)F-Rr )cf;rشH>hgN) @0f)k0R  0(~Ǒ%Ʌs$"/Ӫk+Jighmp![ .ۜ iS`KΆ.3A#|, <ν rGR^Guh9vҕTs/dDzAA"T0=}vS]cRg 2="mM}H$Sadα0 TYsQ([߻vB占 qmXyH4],XLUMM^mlDQ-ʲΤ'feHq4|nEaF?z2ž}zR}wLx Ŗ%S. LWV+ 3r"ۼ' +x]\xerMhhD(|v2W7;%jsUZ}U(-Ц4w)l@uN)6#53\tX=O w.[c( I%Bs?hn0 (L43A③Iw%:q~2G=C~5]rD.dkX*L%P'Ei:ZW@r+t&f?Jo ^ o?rɷ~D$k*qt|䩷 C0$N jۥ#귐n!Қ2?|l:,k>~ic^(Ȩ+FW^ GH+Ib7f!%Ê6aEMB4G+kFBrK`yYqVA7Po~B^. 0i%!%jS#E)u,g冸f8vY`L`vpc%c14h^(jM"׿x` 7/#{R7iK m[2KbX*%G~KI_-鹹1I*A|3@2*#]<^&YD E|=0in.~0[sfԼm* lw<ݨ BW@_J~"2'l8S_x'tހ#W.Ư~Qᎂ3J"*g |vFy2~g[ࡵM7R- bDqɞs $;i8.+wt' .W$Ȳ: _E%2=(iQ]IȚox-gf_\䀏aY,;wV>iq W>"0?;ap3 7~ߎɪg?Jix T |9^ :@4]w7~|a∖a^lՁPxzmlQDF~{ M{;'?qdG&D`V5ST )m\٩0ӵB̰+R_?n -,܁WDr`۷z!&H2!˔B+'gU`eEZHKN$i0 J x/^zMBWL.:1a &eԝKzp( g~zlvހ4fY:PfdĻ#"ɳypk7D%@R_-)(z6 `d8oZWQ&n( O%SBZ ,Uoi ?0D3,~/w_%z`⮩"-SsHnm <2|9ADHMy@wtsKde&8!-xb0MbC~IO#86)^0/Wl6=}ywlt(o.}El=,:A`՘ ۞'-Žۡ{,i:n(5ahp{*sb5ʥo gZ(?IXc5\ݗ!z&3jRQS:7ǧbnPuN9c*}9SK_7 e])xV)t<;L{-Kt9`;jS?)rWp0 MtxFs=F;$"*xaͽ:F|IuMy@­vBk8(In'19V}=Gu/[I)q:ΊM%CHdjQ+^v5胉xI_mem:[* +7{Vݧw%]WZ4} Av7VE5quWpYe5YwwP"UxҗbUQbΟ=h^0˒ sQ y.RLh8y J5=߉o/,4[ Ί9>M: zjRktTz( DõŲNtxlfF5r$r2S{]+hܢhR5 |sPi:--+P$!cr;@Qkc j9p%g|Đ~]z߉拰ɘm9(tH{8@;DOɸby5qΑu><3G1#ʬoϾWi@0mgwZ`ς#1[ߋGߝ-)ط)_Bta ^\#caBB1,o "}5q<r^.+vow LPT`Wn]f1AhO먎J-tq6~%> eVKDލIU8d8gMyq=r!ܔ@Iᦨܦ>m}$}{tÄ~"{dcg2K\FuBeKԵ: o7V&-0/+y-7E.ejt j5\w,ce3G8 _B\;o<@ҦU'ٜ z\3*_Q*f̧=Lam@"YئK.F_,|2cY;.=?-sγmP`.i 2$0o4%M ѣX@2;)HOӕq^7Gא1u}\R _ϚK`yYf|RȯRl}u5rn> ?pQw`/1Kxd7%^/6V-VI /M] 2T_?a o@zwWIe+dC *& 4ʻر9}s$Q>927mH G|*عĠ݋BI-ئH螵% r1w @lf"°!yɌ8Welb3y0.nLZ veEB!LbyQn94T LLN1SHmc}slP|k9wC4ԑ-G4ɸw [^+eYnY]}BU2@q$Y?H*cq%m$ܦOX.4] I 衣->6: d(Q7dė7"zJXŧz)*$َ.xxq'-j9JQ7@St3% 7sG TJ'1p~8G^;òb9u}NH=餐q}6+D;n {$!/Oϼ3=ՂB8O\=v_3LT%wnv?nu 3#M7TZ[ ͹O"M}w`U`hR`Ƃ!^lc;B8-}nL8!_PIb/y%&My#q 9zuAG@j!Ux[ě8d{:|1[;g{]˙iDN /Cy Itf9s2,ض.mgxyťSZ-/<>U$!]b ~ѡ!a8 F!1sum1,5%7LT9O L ~<&)|vrXQ$<]umSuS݋ؗF>ЀaOT#s`chB1T[1̉fez^~R4$ێ9Q!;eYW`^ ﶗ\+*v+!iı&}[q .f9w\),J 7دxL|n[{ٹ2~g`2@q9X[ |Lw8|ߓjWBMz^7* =~ۑpMn)~jj%aeSLhsDa Mx'42U "BTI^A АRp!L Dž/ OoJ b4*x-^AvW,|L]_TMA0B EYZut"Wxߣ=1HƄJTm/m GJTCuJm?eE8 l8R4pb.u+ʃ>/rTԅR3'Thu 5jZy+ l ?Y,eAPJrOg#\1p˧n¦?FYþVtf&[״ɅG;۹/^Ԛݼ0x;QZZ8DBj-\@^P^yqqh{C* O[vi"E:P_ͱ%i/.*1:j#fh5vz2qL܇g~p;$e?EZ>7sI,/u#ܱ p J" reQhO-c3[M6&uFp/=3־v&.̤*sӵ쏁;|A$k~I?:l1D6/NH̚&;Ffۧt"~jgöĢfINA_:9RHA }T3s ،@Xi 2zݵrn6ߩˁ,VZCL&c.~vN5(r-AZz׬4J` A!l]ե 'OQW:\ Y0ѣQU\V0̻*{~y2K W`e_mQ6P;|7D }Ę^ܦ]*y5(T)y#3'Ym?6zĚ$izt皈&^p!k0\Rs3b 7b޾N5pCX( ҭ86Qit;sw#6&P\{Vy9Y vaP _l*pˀ0fKjv*~IbvDU6@`=.j{ze- /^щvI*=+ KUm$'r~Pa Cu|ô}]6(ٕ[ [* nE2l"x&eiy$e*0ą Xo3@:9?rDp'D?;2F(먍ch?/TC*:~5#fnhѹg%Cmγ nF]wƀMǒ_Kﻭu˕M4wl|Pz#( V]EW/E'Wۖ(xGs򗦪SMVa\{=BuHp'=in9j^d^k?C{W+%-ۭJՉm>[ͣ\Ǿ{ ^'s"Ne q!uUI BAOO9gC˲[Etܼ!ߧ-WҞe"/I9^fuk'qn@ҷTwF״ |~qlM/yȆjI}wRȮg=Bv\a %M,{O0q3<7ǂ!4&6c./v9B4Q II- Ѭ P 3Bpe56%9ypOd2DƂ#+nHM i -+Kؗ=$§ 碗p(ֳ{"^ h H&/0j 9.1(h2 omlbMG1:8beR#BQv^]=&LpY=]KC@PMwv21|mWպe *RV_đkIӠ HˆvW:Ѭ@qhu0Kdzdekz6d4NGrMb%7qp8=G?gm S}._$;}:2)j+ZYa>"@O[suꡊݧ60`Vtng!_f}_8uq:V`t9#eF;&)S]b6XevRwЬi`bg)@qx]~dqd>˰iR<[A:Xc?4[;ԶK1p!* b]*A`*!:أ2S^ 1Q sC.DG"d,Vn!7 8|2K:㴲(RGb=XBhւeh nܘB9{Ԕ]&!NIPq稤36)lXeF˳EYK5z%M w/U-ZLK_RH4xDvP26/}&}tݔZ ð5`zl{wG'xjuOKF~&W ӝ•!8"|-Gfv{|hQ%Yz5-U묂Dxrv8箽=ŵP®i.RG(Wu'4\pVR3 fZ|~b`= 0%8y(j@E"PL;::s ;rkNd4NlE@k3*ckm Un![ /dϡkMP'h/,v#R)% o+g"u{*/Q ԔUN\x) PcLʄ-d%/c1"#r<=ϔy~n{׷~4Q=5`tħ_0O=&KD*3d\NPBmgK{mIe ¶޴믑`t (O5C@g歯8FENZ8AqwݻM|/Pж|ޓȤ# ho,jee-hyeCfIE;sLMA͇O$?{b-] g~֦6Kb~|;VVN^'*WKYr[BF_DZhffEd&=9 7q,ƗGw/! ۪AglVtY53n60/hR;Us>+i= + /֪eˡ_,)[݆4eAaǩ3} G>I`$ifLQ5]tRFssϼK"gark I۝R"sƎ[MfJ6|9 WcR'vJ>'uW=xP%IU@Y S~򔂶AY*gM6CYNM꡹siɆPaʿ~.OJ=Fs1侑AB,*&t-MLAJEpRi}HW@[+c'2Οc\D9-[ %QuRKlu?c0 JkLdcAԒŠ!D+d2hvv͚"ũ2?Rʂ{DG;j8u=EAVI#`^v6p]mq>2wTiQCb,7ʙXfRZ'tdI'hݠn.}'I?q:C <}IH^Wo.\NۓLp bpk,|>yu+-:)LL&ډ:0jgd$@Xd_u"cqFmh@$W2ҰE똩#QDǦșH>8#BsDX>`Ng;JSJ7c^p~TAK-N-`{A芿RxA h$ W@;`-^mWֵ-)W Y-, 7>"ǜqÃ(@8"_Ǝ85ѕ8H$9g_7֝3jn#/$0iAslߞܬٷʔ:dK.^~%a?@ 2ʤAذ֥`(Ӻ3;XxY3FVǏqF*=l6:i% GY/+EW_bͪ0!5`t+>CTA=e{rzYur#ir,T8HgzeII"[\kv>4[ˍ5Iqt:z_YM58pSaޡ2;ՑW)~ܼWgz.3{]fpGO˟Ng{ZE邴zndl 0%ZLdrIn<.zF,ȟ&jnϩ2~% Ds~r3E4-qԇub㳱 ~7H Zbz/@^Jؿ$ U"Pi߈9}L^J2`n欍*4{NULk%/D$̓R.&%syFZjPͰBgYZ7zXZִF! +2l]ŗXi%stMgUy+A 8odį`\ `Aw3-Hj[r/EFbVud}WvFO8.34N*9ϷCz ܤ aqfR;٥=i.bS઻ {}(- i- RV%ztϔ\s(&DMo}k.QmHsu <5P393f* azMl?=}-=0+:Ɣ:(#bWS#5C*/ȇu64%6xT4D9Nȯ˝tUjӞZ<:S܄V,pp]6"脀X 8Ά73Uz!m~Ot_f8mD 1o B+=ȧH*MӪQ!~u>Ɛ'3n'Ģ~C8HcA[5Cc46`vIK$G\ @7+pfxzb|,A --CjAWK8jܧhaoIt47&M|IFyVZEebrIѽeS7)G]u΢89:ڱ5׍.p&xu8V4:t}xeuk/3Z.($ls>D?+] ɹ|WwbĒ= :3@4D.S4쳖v ,Aݭ=h;eVkpd-P3F07p#N>688.r0 0Zڣ#˓N{ƪ'SYuw"0Vg)/R5R2nH-|k鈴>rJ΅@:DpK=!imF |W\|0RG9f/~BY $>*.f0jܒS3J!uTRx(4I iE"!f&"nE:rF6fK2iW>E̗9L18],}Sˋr4Yl1-( .R $\ݶ dύFY)L'3Ji!; K*  9 K]"zтT{etS=Uzdpek͉Bp\BL"ΛxJjQƂqj@gUPbc~ei"^@I?J΅Ďug1tH2vAW[RlL d ދ]0vXk:FA?Y6֋̉Z:v387Ȕ)^dصmICVavYɹLZn[ +C{+): DR &Ɵׯ If@M(5@xbF2ǂ9oC'J4|EPId 8c2ʗ[CB`DG"88j>ڞ΁ N`5dow_i8G ߴ֨=_-@{QcI?A5Aqg(kAHo L i9bZ9np2yTNxw%/!schm&J͏ϥc„f39\-$䝃>U ob<R ;p&d6q=[1:q8V">Ug9NDZ:H\~;*KA( {.aeI04'7Gj [V(WLԴ0O(K OߔhUxIr|G;WE SMSōZ^xu4.ky(Y0'tjȩ>T~zX4@$CTL'Sm3*)X9PK5Q3 BWzN("ۛ /۶9.aKN`"d S7Gu4_H5Xo%}I UhU:5d-s5K*/յt[ `KtW6}6 +jNi3a$q=ȱRj v2^b2aBo`y_ۅ rG*ՕjS;\{e " I\niG=5z9rUJ9\J,b n șyc}Dz =Lo-S[?/iKY <_T$К)'uc'ACP;xPTqY2wɱ|v |UЌ^} zIvj%3}<}_^Sm{BkKPW?f276yWh,,(F:?;.кWZ`7+vpOY͍Ъ/W#˅6^BT / Z͸`6-%&mDGu99cߣmZs!*/[9 D/-B<A)P ^1Kh_)zo>Q4@~`n9= kP`- gK8 2;<.jaRKlv盳#32Q!>M(=(7" *qU~#=x 0P!Gmqi͈D8*Bܳ|0Rb_ Ӌc)pQ/yOM&~~=n\zgt )=Yx#¨D)k[DVJ ~ay!Hݥ3.f؈k϶ mwݯô)WLr'h2-COs X*p֪d}nqdw=OE~׿dUH`3O}hl&Kk44H 13t]ZObP}܅ֲ5 $?x1hFƏy_Lv`󤳏YY6NN/^rȗbaϴ-DĆ\ALluHW`Z1Q[vNx?$!nԞ2H=m0W {Sr y 6P NG*Ts_{; MB:}dRڢxzEo|0oOxu**`]gdU gBm$#Mǫ`,IW['V3b q_#6]$lg#)f|\ ychBm`N9+*BE?/!:se/c$&=?zS+eFwҸlb: cms-4<K>{,![b`"eCD->c%乛VQЇ|dZo֟T'M%eaOu<ל&)㒯]a"|I%Fta;,=Nezұ]j*!Ff^ETZM <o٫8+ fi'rU7m'o2OO 5$O?;d2?>4Dxpzژ?+m]ٿ )΅a ن .ڔK@ŕIi]H#uwKC&n>()lGC1cl/)-єIF^Ke[KYrzHpbA|UsoTz=mUZRxϸ b2H"5IT{Nt>1zDfi1&G݉$-?."F8M 9}X30Gq%ysz [h7UllZ 1}*H;yIiPⰲuԳ!;8)^N g($i54s0= >%K]L@I؂`w?ts!uRI&º@|a XԪO 2d6-NUw"5ׂ[yqT`ufU`,L"ƒR f#5t+ToPWpAeQI4N8&Փ+P7_sQ`µQB}bvYEEc%E$\i3/i"{l< Rsܮvq"}` vԖP:uo { =6}PLM6CL{I%<+Օ7^[iS=GH6$Hk]K=C<]f\q sˇMمTagb &'r>'dK\3fYW%M\haΏR=ovH!BTQ,dq_Dt5敾k弥O)H̪W 9 \*~- ^$)d<*PB(cLRwOݭN0e(TIx>3 rAS{_w/eK;] Zj׳@E0+kLfL{eη wTEk6K ~Po*7U8ؖl~1EP><F9YB8B# *!ʹL7 zٞUʦ ?/`ד:2ȤȌݜmANb`Y1/ȎRPfo'cD=BeWV9b إ(S*88}g04^.aTy菿&J^>(HE6^k)m| Е|ͮcAu}k||3[X{UXτ9N(+4_KLr:rh}0bx#Ey"C$ߧL?)G'`* '4h&1x(^$m- oZw|㴶SNSjrr3%\,?,MgTҸ)JmM#P5[=fĤӠDAZhi *,zb$'ܶ) X 0(kOc`w\./|o7gZsTY}zh])ASuWJ$ W.4 vp4W9׋T% LI2 ̌TjC9B3G $YHS)+AtbN[ ާ:6WPQ$>؟,xL~B? 椷h)ǝ n?^141\W[*׏2r=+|cg4蜁7"=L6X#StˆӨ dD5= " tU@ d@*9$9p?Kaed.OV8֏!YsYb*x!f/3lFg] , iy@G}SGjqV 7|Xάⴒ qʤD3Vr]Y4>}z@H$ANkOWէF́@c>o,e =ȇ!(uYؘ~" 1<.W8W2qA0.%޼!ϩi:\SPH59p!¥p!,Wp1@H!np-VNCD '3Rۑ׽IQϠ[-:SOPJ\ ܇>h@h)V(7M#m6cPHP c[> <H1`nQPk5կPhQ a DԻf @h%"Qfr|JUIhorD!O.UG/sM\{䧊SFYŚ`FH: /a4ga7)V,*P,ۥD`hPp*}r0|Rth+EMPΟ#oC3{}([rxVh_X۱S9(x2[  yZ$t8{fM~DjNUQM߲ΞJ֨3V]SzZH'#8~ ~q7r)Q+UO0PIKɍ;gDVTOpp+il^ώ[ʏ뢐U# 4rkT鶢Du=tFH?49,9(#3XubG R(HHCvOm8ևOv.S!>7۬Ԯe^jK[˻Fx&͖F>ߡτ>7=.ENGe!;SVS/ >|= :C p HBrN8i4A;}GDKHY[q* 9&@(\~xXcӶ*L֋z#oAis;`#w|=4f.+UxQ4%/&U Aख़d `R8͙"l1u >UpOoBնdH#ZsEnPf^\Y5u1 erl<|Qߪ' } $OU*  t:'2P>YP,-RDwRa5&S=Z9ѤgjntW@r9+ؒF ̮w5" [/qy^oo zg(JfFXnN*$&~!oB弽JTTm°3PN:07C]O! KmkE4oj΍ ^ 6@eL>aJ8F .S~O/3R.3f]Wv=u^OY $c! ?_up2”~Ц9i@ཥ䏃Fys-P<2KFS߄Y1+5"̭2iheg`,7b>SDD'-¨z|4 o9s?Y7Msyk^积M |kSL@F8!ly݇>R140)bJ{ m>BSQ6x?M-纳Z\rd~۟ں˺S{x+2v[3ӣPL -8#4pK*]?rMi}ȕfΑRU9Uξ*N=:,~1x Lir4`Q!HNtK+NU sH&!E+&2 bLA3p'p͙X|nsK47xtgD|Ӵ#(Y5q1' VdN΍ي>4b4-^8zݞ$ D=|g(XOƔcSq]Q$+#o\|(1{5 '{ed$Dp+"N20g7[ۂQdd;8fB&#+v&%XԺ(L-EahRTN31z>}YUDO=ӝ꾆hvRzZE%:VS^Л7.L)nٯ9)W][ꋯ,TvքC5-1\D砾U$o v3~cůV x j^ȋB=TJQPYV4%7\ "N3"@/:oA|ykwgNKՃe,Ѭv ^ï/E >O I[x?dD*w4%ӱKд$3I.Rɽ-\no h΍HеY(n:=5B4 /ĿbҴI(Sjʥ 'ӿ1ȓ[ \8;B@gq|(:}5H\,X4(Kvϩ[O sxS ]%Ӟ}I'hi%'ڮE?vc> s%9:E}M2?Qi[BPS337Hgnك.[?]f [8:h4phr`4h8L^˴և33>~a\ >hAF+k20Ugd }cؐ.; VN-B΀bH &w#˱ʆN%q3A#PsK=0 i`3zHY=c w)Ykk5&+KyV}M}iM{FR=t,DцmهJ'(9dr!p8oK7yΩuSa妎=s꼞kG;?z/Ά>Rn&摼(&ߜxVʹ1H8MnJkƧg,&naa6 YVJ7exI&§ i(Ky"/:ک\Fr]9a1 `2TI+UU<~f[ T628Z pb}0?pD\2ѼJO$rpI-(E>RO2pXӪLSVkԑ M؝, ,0VAZ)/]8ňWq˄Lo42dᅵeADCu1F)6$=|%-S~8_٤y @`敛Sȇ) vءIJkc0ߟ4RI􄕀E{;/ߍ#]d* ,pF|3_UcP(Fm2~u!,8G0Y2~G_ڹe3ݱgYZ07be127e9a4c4cc120487e8e7f30499c429b75cd 0d624df132aa2e54b02fa619fa707a1b424b9830 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 2bbaebc39db2dce8455ebfa733be460cd9d9a8da 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4a6fde4ef5f739d09e51fd207c344020471561ee 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 8f15e7f3426a065b0cb5e856802994172467d523 91a709751d422a5c99ff6221e78f6b756ec46575 973d6bd96dc9037f8676681fb869d6ae83013aac a1c98b27dda07b5f321e5d30ad5f312e522693e8 a612d605e4a059d80c4db56e04c3291c02d8f652 a93e4d4b6b748a9e088128b5996b1b9c21696051 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 e5694ce9a5e406faeb16a4ecf9d748963bb975b4 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f8aa5a8c701916393737e4521b15050b8ca4ba5c9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 49864562e8e54cd291c48e947679592174f2f35d 9d7d535d3ad8d58f3f29a36c74e6e9bc8a8a1330 97fa44cf51ebf82235b09ddbfd26ecc025bcd239 ab28000270f06c6856bf561e49b9b2e847ac146b590e54e10c1066fd39601510f7738e8886baa52c