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  W Wu5|t o]Pre_Perron_Frobenius:threads=2elapsed=223.700cpu=415.268gc=15.652factor=1.867zXZִF! >.y]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍLr_P\߶k($ލ,Ф^KYcI ~43IS M0t; Smi|*40\;1j J2mD671@!.w(1_g)=*螖ݬ,I= A!H!@SQ?!&{r* Pj>]>P2D|1zvզ~`@ IH)ip{wXT&&K׿p w]]˙: 2J m+Z2b2z\8Yh~m }9I>}FݣS.@E1פ'ˋٚM~*kn1]R5*A+tȡ~//6vjZC ^ j9d 'A~;Sd7+Xo@&u5^h2SMU^phʼ` i`! +ɰkUK?~I.?4gQ}^FDojLSRWJev02Ҧ|Dy\G.g@iWb6g浠7də$Zv8H66J k|>C^R{'[w$ui)i8*K?9J^B =zY qM[[ʀ 5 Pre_Perron_FrobeniusP-* 0,>YKv9 XrQSXcyd @$6mg'oh0\X F.OJ+*( 5)'z-c|_9|kjPR/&W7~kon`_B,I>+/?Ca$c.tdK>/c~efXM5:>nZ烅b4a?{tZ$ą.$A?WCw@v_w_\BC^**_Fg|`(R6bxʩ |rJO `R߄GPp@ġly9hN"@+hqQ\T(0|.l:veH[QhJ;R,dI0$̓>A@_=f9$s{Gv:z19"q[_>z$Tp9hݬֽ+ KzV3w}& U-XjOet3eʵ Q+$}%h9)H)4e%o!.U:ծJ4L13pO sV\ 4.}:-;ْx:mwOjP4Y2 95:_XeG-kj1~=o:3 #> a^7iv-52owG X<;*\Ѫ\j)Ѕ%3f{й3s1ʜaa,Jä J[BB~w5HW`}M푎?Q|)B F7EKZE8ImFƘ北ُ'0ў؏1#<75YPvD6g9>3D#6 N,ݹgHpΛL6bzhM Mj6&$DQG'md4M/''3g]D%du&LQB f#jY!xM j^no\v1X)'sKdď|Je Qsmߌ.N#}$]Z6cZ˛zu>-JEyuݏ""9c;YbW/aDo Xe>VytˑK 0- T׏ذ0.uqaZLYtQL'> |?Om vҘ!v,woU_}ƲÑ:mrFjAi7"UzwnmҖu:hLѝ)MDG"Sc@{[ir; u* a#vGH$tc"=|6\S )]q oB"0ztOSP?r8巁W4l,R9:b\A7 j8ٰ~IZH^O!98F8)t}r|KRixȤ8fv$rѐe-@U -S9c >pF_E} ̈ !p%M1#9aDiC|3l4cZ&~ʌT!!S#9he=`]Y7 - O[JN%+ sM47xV_S(Y8@Ch w@/Z7V/C -יKf'܇d9.@:d#` ?[+i&ԋ{Gp^dք* 6 F&> dF<'L3\6$:827B53 <,TshH =Km6Yo[ۇ--wBUn 窋JiT=FhSu AyF?%k_iyJ@܎[Cj-_JU=å,//ZK#ʔ4 'RTonP iAP@> /.ǖ|i@= Ht!k8←Sr{ +l}&812 ]Q < *`idyIHF6t?m SL0&k?$`aY+SoI?EҽCI䑀Ozgw5EŔe.>rEtຠ•PnXE TdX-R/_ .~)>l#O!Ve][K7?Odo0=Ա:H1a^NQ0\83wO}\\5Q6zj?Q>$8J]e23ZIH 6R1GnhF9~ UO$Wj#?q"ퟖv<7 Ȳ{_,yfǟNͨ$h#KD;i3/Gr| ,xF?9N ~dvrgX\nfi]{qո4og7(] 1?0Oz\Є~Q *čLHrya[}*[9X~ǯ%Y#lKX'߭ft.k#8<{3:-:pTlQ%ٳl(jU XRBc8A7A*(ﻝR\.Uf/!JݸH #IQX83$ Hd>s ~䦹gPu<[f8S FRG}D?a&["u5Z[o Ȭ %> 0|g;a Kw>A=IZ\PRAI;Fw!jRtFKևa͕b>Xnk E<}B m /ثSHoIqlSuXU*A&T_c\7.2l5HeDHj%gEkijϺRU-1#YW ރG`ᲒNt]t.ӄO:zb8+ՇO ؐHkL-}hߋ8j6f`0 )uupbqJX!ʤ,pi5T(v]3{tKvz'Ø juFQڵUQ Jc:UϞ6,:H'\rd7 +k0% ,f0(bxMi~ԏgwzNkb~OcMaT[ 0 Åz[,2CR4xH5^ g1>eCj6+A8^%Ń"j(>x$'c8SZn1T"ql2gΙ*dpQǑ`{ _ӆ21 0F#&=.gD %yS4,/(!#08|P Ij⟱,  dw#x]LA^l;)~(@jŶTqH ZmVmv^eVV1ң/öumdDno4#*=..)#ֲ{'ϑvu"5~ԇfB. 3bdx6<2y,$H@=41T+*TΙ99iY˘TKS~6_nuFI&F_J;-}\eU71J:~~6Qw8]"ח!|gڪ.^(Sdz[)[5`!B,v=b$@^xƍŖ"M뺇t,!q'b܋m7bƕ׈P)P\Lpo{-C7fRO%$\ՃCE? PήId$sxՍ[p?hN;Qi@XJ 7L+w/aVS=𧊥E Oad"Ckiix~/*1 $KV$O)ֳc A_CoPN"ؙz@B,9/$^|%FX/E҉"辒@DYRtE^<19?~4 e@ȞF"G,8%=qENܯ1FcPeRJ]gR$Nzfqo@/7Y+Ӗ,6?F+X_IWrT:+skꭏ~x;?kέ%bͱtjE͓рFQ BEXL>"I̥ssd-WCFkb9Ur=SG>л]5Kȿ{9'(bҚc bꞡ V=o%Q薷 M[Yҭ >7|Il,;u3&,z&eUoY7F4cZM=Z:b؈wyo#œM5 ޟ4^ϣcvγkYEJhaK7Gȗܗb.`+3_ KQ`6KD!c˫k4#cd*鳬!!o~6d>*Gh=OgQU5x_pw?29Lʸy+FkbsSIn Qx`j_7v^m!9 Pz'Af:&8ySh CaF6(OW-0zT)v."˒DV͜ږ{ lpa H<&l9ŜBO*#Hh[VwO>k2++W v 0Q}XC?g\Nxv˟ 'k$zRdn('Y-]ljvU8l[)iVɔ6I>so7[@Ga qh8,a'{Yq_W\Z2(\k[P*AL&xRs@v_r\)-/?_XB!ߏΕ;9pqDWfꪐy2ʦkђh睶X\T[ q: wGYMk frNL|tx( =L%яC¤9ນTb%f~O/9;~q8&sSQGϷJ z;ռbGr6VJ))fxw#kqd]]Q 0YD>0,A8)>O7.2"+Hs~K{oeXN#87'sM%Lium#NVk3JPO ^;S@\M3ze+Fh 7㦴րG%='L #镥x<,vc2^N.J1 BJZHd,G:+0̑h7ӌdcIҪZz\c|x2QH ;qX$auJ >Py܆ۧi-."esbnozޭNkL$,=كP8wn{`mzU+'rH4c%qKEl$bĤ %ƙ)+:X9#A ́qN.aHMI=>!h7W_| 8Ů-ʠ2fnB ݥ*DNlP1-h/ڽL.q\qxrxyΦmPUL%dy5MQ8L@N2zT2&C/Z%[ +>ev+XԊJ[}%I;Frt6,BRt \k qdlɎI` Ez'5WJD KI{.Һ6DRb WΜhX +zLQOHmi\t? 3O{ P266], 5h[6d؟4PK,2t n]0KN&ȖSoARܣrC!wbxdD1 xmP|Ov"`Ua9R`ߪ@Jpmȱ #p2I$HC%kk|hWiOj d4r)p*KԎ$w됷 s,%VC~H,pǁ.u 姊0N!%#EHmy8l*:彽ݾ`'"~F̘;Ld>c@PH٬3ٸѤEk>wMk@/1E[72pW (HI[u#b9];~PHG,ù~*ZQK0UY`]rv#OqJ?1#0g&t{Qly]YrGR2)lP ?iw@8JQ.a;~ث tbstiǝL ҂DSy"\*&-rjZ@Ot"S55!_LZGK'xĠ"Hum27uZp=V WPPIv/dL;YճkbӰ-,:i"B8EA<5~Nh[,SWAMv3IZMS߽14E)jyw{*Xɳi s#<锈4#Cȍқj'¸bdFy0"K19kI vřc!H6[4ؕb%Ge"H'sA :3=iA8'Z@4Kn!ʯBUZ9R9qVxì^_[X/YH !1Tw\1BY*xM*P~(TRdZHt0zxR <_5X9(EЦ g\BQU{1鐚wQƭOF]DzW3]?j!TǧVS'Ĕc&ՇJkՎ$^i1>(k%;B&tA~2+AA7K~_PtYAkg+ھP5S d`fff+vChڰݸ4_; WS1ncd4pH$>gh`&}m*F{sf2(>5"-a*gGG?,GϱzZbYuW%(h_SoBmyMIz}Hzԍ,F r)L;v 6dg_R7v=f\VO*8Ϛŧ:j tGapxSL~˖!؈zDsGG6om |0` !c10N {Wqks>%vLi3"~bH*-6I@7 Y=Av;NL/Ll%DNuxpku&v/摵LkJzx?Y`1"N|5ګ PLZZ8r[xbP|E B>.Qᮁ]%PQkNNhj0lEwU6 3*;?ƌf-%$뇩P~d*ѓ3z(Ȑɶk 7B%"Gg Äc\q;-0]F(d;ZiKYщü\8t/FWz33mפyI?]/̅Au(<_=k7 PVg'S7._zNXrKqJ |(p"wd $ϷB9R Y|sh8(.HEo0@EL;,77^%@QM1Zj,Z}t[,׋%Ya5uԞLYNInOT`H6a]FNc-+J22Q|8u!T~`jdC(NzY̳AN^d_Սb_Y+G/4ȶs֤2Cȟv[IEcܨ҃!~Jj+ӿPck6fb5rRͮs^| l>G&xeJHݬHځerkbc_Nus!΁cA)o S{Fv=*kBg \Pn߬bQGeѰ A):2P{4TXYMC^@͞'=u :iQ2gFk\ZW6J)m(]ۗwWe`b,xj3:C Jd#Krۮ g_3kxV?q)؏-!,2 ?.Ɇh/=.?Ku@'#q&-5qK,L}O @vSQ>=HSJ"@>eF?|5s1DXY!- d7fH\8Qy/OY_j {&@<Ʈ2:9w*b)=rD| hXfZi#lLTî؆ٗ@leD,8c:I'm?%99pvI0IEK_JaШU6xmj@^EpJ)4&ފ>FITF"M|աϵP-~Yr=ҟowl`~ $˲O&D8c |B1-j~vӰw,n簗 mTйhc2ҹiDjikí4k#s[V팻ewʫ6$ॡa<G#=6%RDf;gxl!˟2Ŵv |Jř>@AӃ 94nSz*BT .pu΂[oU 3VßaFZ FU0K, f!KJ_Ǔx]NӇ9gp @7Jotw M{3͘!_~knJ(Piƕ:FF?Xɉ'Q7em ¡py@_*s5Nfw59eE0?jL_oDvȊE| r *bA)\Q2XэO'siK,{ޫ1s'aqk˄!}玘"ɩ9%J.;Kr׹/ŕ빞}m4\Vh)$e l.C*8DERkĂ.u{Ty9 79W5lw9tAչlhM.Z D{HFJT;IFV)7V5[-λ9lHxՌA AS6.Hn[?7A#n܃obaUea$p Y? ESjk6,Ugz5$'E)7m:7,8m^!F^?8 ]bB)e`@%Pb2_8&*^խ뱥VbߗLSb"W7 jZ[*H^؟˷I2&+{t0X{Vur[t@ 20md1.X e,r՜T3l7qj/2[7C߿\/pF@-##Z%#ޏ- `jczWo . g@4ލ;*+zxݖE ~䢦##0gkG!~FXIҽ)$K C$Z/>mx7,m2 w_>8f#Ϟ7_;+"k Q@k˞H^'6ԃ(M}0bg{*!k'2{V-E/VA_?7[0 i5*E9*%Iad&qMCefVH-U`K*Gl㩻KJS'wyK\p㖸HZ+uBKem<1NRJj-\*(d%n]9,M#RΥGU[]vfPD5hK-҅Fi{;4ҠG$o֋P_)Svy꤬9E7{yB^Nѥp9?g:4(2Y!XΑS\_Š"I| s}0zZt%At1{Q=hQ愋  HTN04<[ k_RV4*vp]X#>Ʊ,nW3KZPT[â%E 93S}HZT{2c{!5DxV8=e+[o~EvUB"_W_1WF}*y~J'6pt~0P&0^M.,(Z]{|~Um$QZ=,4״_]o/79&$;$DOD·Ml6u'{J<\qt\:Pu}qS*Km=2e" ~}'BjY,Dr~1,r陈zL%E {.vЖOKh5ͰBlV6)laNܝY(/2xOt*(nz rq`l øE"XĬ>v3K}laמH9,N ZZվ2ohՄkȡ6Պ9hIk{{7پJAu{!@) cNPkHdz?tāLDsG_@Nrʻ 3~<^I%S6YM`)gKCסxcُ"G1*IG,ca3#Jk.TtH28:wv`m @)8]?>$w c"YpgV3+sQ@)wԜb܆{LޝTg/ -9:+sga86ɗ_-֟qm8C)ߧ?LË/aj~ 1U?gPX/\y<.350'tv# 7UJ3 6p'չlgzTY{r83 \|mޭ>'˕ sq$:cQp聺wDOOWxVoxejKAR |Ro,bl/xӊmmVk "|+ð}_-jL&G]u 0FM̳\^5zOHD(x/[bSKvQHq=T\R3%:>mN ۲5Ai@St]\-6PT?l6D"v5Yg0f3ӃAhQ=h?EEZb T-iʭ{roSqb aniQ{ո%$F92qJ,O@Rq{ 3fߦȰ![[WqцA(X lJȈI1 |.Jyb8RI6}vc|/8Zz0=7sX ~QR BD m2Yx՝8p0V_s5ڛjtTGGѠ:NT?fp7+7?='u4Ym;K( z#A+ R@˼̿xj PE喫5vAq1g(y(! ONWwDZpyd%W9 Qf+]b- 6QPm.xmN4NWF@z8l?RiJID*kBfO`4ʩ欎[%U7@BkO=(6'c-Tx)&Q`iQco=M̭ 4Ok6  S|Y'a?rl+/'5XSuTѢ3  *M^iޥ'tL@= ߨdp 3?^wmv&ыlM'=!$Y]8|UQ}^ᝥw5@ lI5fjc\wf|[kG]2ɯqK/̻_#2jƲ<(N;*DU,II2m/ä}sDAznP(VIXcܧn.Ku h6 f%"[ 2316 :5Q/JS@–K>aX)HZoԠ)8+.K>lG>dԻc_2^51!+,м@?(SzW s-jCI ]B]E[k{uҡP˕1_#l[ݬ*ժg}D &h}x[ Sk0@:P]E76UV(_W@'w;ٕ9]&67E7*Gz$Ї) +J+v[Rrb>M8:9:V^hxgi5 ܱf$#ӚvEBћExdQy7~8?grs6x3YDUyzuOn*f'th.~"IJ &UmB_,Z (' $~Bܡe~(?Ϟf̄/iTvѰ\,uE9Rۦ g7ai2o# uTazSߺttK`9YD= ?Dxbg5;.& z6F0l &VJJiA("+oh >y]ZzQ̆ MaCg7r/' IH& >x՚HIߧlSC5X^?fR(wy4dɉ=nJpCtFX4ɤy׽!!иHE>nbL.LyMӄ"tCL/ڠ$#VJx/PMM1e oX, W9WhʟzC:P(q @_!gŪS.?gAaJ..]w"zِ.Q[}M*1xߡ`%v)fjx{ī%OT/Wi3)84ziŐ-$nOJeL#&t!O_}wǠ$,I6DxMoxm^s|yg1*יϿȴQ]47~e`< h#[QUNwg B sn@+w(k|1mMavVJ̊φݚcmoѫtku䡃Mo ~ @BH63E18x5zkh@057ZzGa tE9#+nZA03J0Jn2!<~3f\xKCB%nn`wrn/b轄!)9Cn~0Z=o.=U4q՗%o0 w'ACp<,j=-x1"[Xp^nVţ}:vB#6Flأڗ}@ohCyuIJSX2ځ}xG8 tzwJ_V9c"x'Wo$;  /Ũ/ 9!C}n|Y2Qi ~|x,.SiV6+<ܒch}=e9o!fDvSrZNP;CɔhzD"hFb3GMmTQTBA>6g%݌LF([i6*?s Gd4;ӓ/IM_F@r9k!8q*k&f>f{A{^¥R фҞejQ,e_`^vPkuJVg|8aWL(i Z|T1Tu 6p$MDp #-VjZo 6 z"T ۪hC3tI>({Y&8+ u;<#ov*˥=bG ?QG,\!~Ո0N7ľk sxHNj+_ R{t#70~ x< zS_m0pRtxxV t4xk!k{?gޫm3%UQS4X0#-vmv_DIQbnnH)iJIZy OX+K'"&DB"Ftg%"' nAU1'RYoqK)nEl*qFӮ׭)qdsn%:Fz7е&[T _F#< x0jBJiV^dnkI̓>t(`6Gp 1mSsɷL(ڠiX}STr=FܝWCQuPnұ'$^ttb@rvp%>$ ag *SJpӄ֣eW7 "$Y#="NC< hgBN'yvvfMʘZ'kz,}/)-Ѧ4X>:x=yMz&t( /)gdDPNֈ \ՆH0}F#S@MィfU+o3wsi$R9xl._*+J u[~ ʨͻ>Y4%zHJBYy9grɢ(JSbu5\`ٽ)i;#g]CA2EbMY`(L}!sann m:(w<￰?P\ K $3PW㹡N"1?MH]z/N+vY0+Ɉf'e $_cl:VA!ws4KF%חElDB>.&15fzl9'J?0i*Iś 1zMgfDۯr f9  R3!WBhlᒃG̠X3d>#zFd<{՝rCkŌ)Zc,"y({u'PH.8 ~a.#GY /"ڱI2gW$L0RF@;!!pa fNLx[f fؐ[* Ւ{cɰYo ߄ ӜmØTnX:8=50dvO@LRbM-QUSlTQ}E<75urdKD DBy8;;`Db2퍏<׭zTי MNٖPf茐 + Wt[S*"WOP&S*dcz?bʒZ8Q&'{CzQbMC4ޖHXN:Nuc}ހ0q քhZr_\ǿ ?Z=/شonGRw.."c\ ގى,uPI<ǝJbi_ip.(A75ܦboNitݭ:HTbݓO?:3V,tO/Kޥp~3 {MP=@|j 1\d E~oiKP׋kT&qn[RȰ$:йp١Al_W Byћ2k ) $7/t=0Iuc ;`QznŠPRua9gG}fRƺMKFU^P{Y7B`0O"FW~nBgx̮~tua( I~SE {|yfׅQ*xFR.[Zy%'"ZmH|^'wSFvO̞n(I)wt`Q b=mv~So>Tac(}˅u|a_d{ i,1O:]rC@bY>o,$$:WkO;cDSl察8?af֝XB@`y9a Ct̲h{jpAwk8╬v.s>Z2z|,Wu*'ǂII:-GHIQ8PDj4r*'w9mאrjrU:k ,0x:ߗ tvsv?a1!5f1xYJaHpje^GJV0Y7uC:/栒zaoZ'ڳUS>O>%LR;im3͈z$s .VW0v]~m2@:,^U: ˉtqQ #Kdےh_WG&kX-ZO[acsxg 9/ x}H6믥}>0ܑjqC8pumod>^23H nC\DHtv7Ĥ_xTQ_*FBhӞkp,X0`:OEʛ.BІ1]e2bIjAF+k@+ )inAA~ԃaHYJ'΂4>ҍ1{6C:5,=Uc6<4!xķ#]kgIߜ2۹~{gyCZypȖBkZWy?x.#S]"@ո?2 `̐fOx%['L[ e1Q0tZo#W @ԥf5^(Ħ" {oKbv`+rN[O¶Z%+p^T*Hz{BJL-wְTITɈC肘=lUS+E 쩝4&\-:x WS6c bl)9Z,̹5o oh7Y3sF׭]?.%Wqw:8 K ʺ&" +XpYĐznyRMqq*OώG/Un*od5C_3jpT 6F'%|nv*i[̲LrV*krKN!aM' mf.gKi : ZfYY>x^U9k$eahChLjm V xpGa{Wqt $/qׅΠ;XpOi G NL[PH}9!`:{Q#=CQn *%:<(?׃7"M﫱1ڄ/#f\|eAfwPQqޕO :˹;۩V+ZpXjQ*{iH#`;>Dد˫HBfJOyZ6R4WUh#W8YWzR_}M:^{J]n^"w/r}Z0 ]=e]n@BsudzAROAi0=bX9Я?4 `+t5uOIS 5%СZ‘^JGKz/X] 뫈^7K՟5)_Dfsw~ۻV}L"),[?gݦɂ`wKގѳyʨqQO g.^no=xZ(2M_.=r}C䥓_ݽd𑓍^հ@CFV!~iǧdCZc_7w'xXI=ob!j_|Жڗ;.3xk,ZzG)K|7"Ը\v8We(sƕFwƱwvo~UjzSڡ:i !4B +XbFT }v9Dff8ܥPEcle"jM#P7Amjx=__a TpcM]%yso:{Qpk/zl;O<ڬ8R6fL qq <ymJ'9fZ^w 6CVBi[xqE!i'ۻ>J>IAgjhm:uzC{d6Y(_38 ^o!8DP2 !ZBiE mݿ*CR lG%NJ5i+ߑ_7FY^l> !$*Tol™4uq Uf.|_塸=8ǦS|Ň x `q7.w23y|{-ﴽq~fs9oMJi:c8,],H~݆͹D5mHa6F tSH<;'҄uc5u?0@ՃF6 h'c0*}-X:C=+bXAR8WӶͯKuQ]fa&YtAwxmy^yP lnCLD <C^b8Z%~_;]'Wiⴳ=$b*jl bvmV#]^F,1nL=Pq|q@Dm]q,ϥdxnφ.ɣYwhp872%mJeKE0#l ,b; 4B]Tz|Er>.Le~V¸>7E 5Wڢ ]Q/TAXh`;+%hf{휋6 /`sk8g.Ԍ fRܝ'2랚Caګg%O!p.Qҹ^TLH*O&/Wu*-XYYz^2>^EVŗ9m}4j luyۊ[lPKmTS.iK d {WM JO%y)8LO^ϣ_)[wJ+%kݸR!R{ik͚j{ WxQ>ia3Ht㚑j*2Fp)zۭ28" M2=rc7|{(w c<t_`9Rrɖ">Ez#`cD!yNm!M>Ȭ0Ix ^ǏW/=;䄷4 |H޵Uv>YPyP2XmSCj1?vY y[xFY!n1Jj6] 7:lpO\ ݒhy;yϨ%UpMƧ<-\a}HR Q[m7Iy8j sNd^pY̪RY ?Vz^Dv.QI39*͚']keok8;eOo)(R ΒuE;%WSՕ²`۝8c036h}R ׽1iWW$q68.y|؆y|<'"`7,D<ˏG*t,E7#u>c$N/5MO.'#TXo1#!לuYAiaBI;n9n=9&I1 %=k؋49Gwy_4*7ep{UISC"u{'d;zCa'DW}qDWC@Aa ZQzuno1͒ +"=QƊ4'}L4[ٓAڵk+w[ǟ}~[wNjf#@ &a6uFauR :wiS$[cp!HE:vI`@K !?_0}qN^5l+aIu~3cӋ'%E2i&Ys_7$hĦ)*Sp6J1PūV S"YaHd$bѩHqyv֯=ew@i߹979g&ءd커x0woDI?3sӄs]5><FOj T>rRҘ[}7}"٩] cnT:B чjV}y9<-ǎ@| ,J#ǘz&_4KG*=0p~9•n~*6x {ـ U >CCYm>]= fD]8j.Bh<9R=نX9cCW"^vX~7u5oCʕo!#'X||2veVɣr1&WGaĽΈm[x?bȬ0/B=}'ePd{Ofލ݅iEwqZ*@k;DJR_lٷ$i];E3+z 埚'~] o[_喩 ʘ8#}7+*ʆ]G ]h["jl: wEe vc"שiiy|U򝑘X48#cB5s 9֐SmTd}̧Uf=A LYSKgYZ7zXZִF! j1]ŗXi%n86>9dxʍ|1e =tDރyWyv=jYpcw(()dZ&fMRt0 s .E&)rsT1C&20Vu&( T[NE>]I2UЮ oIwKA$QW7'<> eƕ*)Qd}:-6},_C+@94Bf1Ǻ} }"GdKl ݠ@K:ѐ-D2An@%۩T]\p-wn|hP=eS~uP7QupAwHj=UeuKlr#nڏ|,UXD~i<\ I' y  Z՝M=2w+>mwX('""ZmWKwiӻf[Ev^҇k! VxgU/ywL>m5%:xIR{T`2qՀv(@`_UFS~[Q0Z=H aVݵ%"_swۇ2#=Lv&bVd'Zg]I4I-r kJeeuk}zh< T`+s'1k8T((WaJ&W>HV6Õf)A- {S #?"*}G{67[21SE&kROn` -[zm<[‘G|ET5VQ#W܆@zn1w}䘌=V_(c5O`yZea`\F]5TQ}ѱKE{32s A ɿ(EJXgh֓M?ı}YC'ɺ&\y9T2š^#K#T* %[6*qm,s+5&mzOQж'\`^}ZfzBIcî QjC>^WV,ض"3pcwYR Em=)783&G=m3ʶ;ٻOqGK}+m8Jc93)us⏙dPQat{ަKvϕ''^iSB?#Y C- x|`%b&AClhPa7Qhg aF aL,5X=TVI,Կ{aB, 9hC=5$mP n3?z);}"iRV- F2SK"By܉0ۡGtkVmɊU x-1>ν [vm[Ad3DvRΐp$;al߯=N9#7HbmqH8C.p:!F ^\Kvdǁ[jဈ4n%#1SJP״|~~`WH)8/Y]iGiq[T2ܙf~dRU6Mn=! Oq&1~fL4ϑ/FĤ66R7CmhםC#{Hd/hJ'Cͪ3~>HYGt'AUUEQV\6Y-KIMVf-T1Ϝz'Y[o;Զ(Exgt%:3TDХ(56?g\j+qdly,j.8rشaW\O7?.|Cݿlux{EmS }R$) >ywjWo)d(kB`C{qLb}v`e'DpPʺ$_I3SP}}ȂBW#']Iu7 ANS޿ŸNɆHNO`\eY:ZYRlzz[oT}/  ;Pᨎ6bTHt<@%ZA p<[bHBh_tz0vj${v^8d˶HV%X_l4IWH2bv(}pI\ !Ba>́A4d<`:xҞyFE)OFL1њEp*}eV{[f: BPB(d1j(VQB=ZNq{p|) !d:NE/MRAnHba ػ4N#f1HW(Ig f>HG=ZZRAvEu"UH/%)$žt>W.i'}dV DIr9^?D |86f3Y 4tZQaEle/Ei)ԭR4hb)[[[3HjI8ΕǼB* ^ܜS9^AZ沛b"-?_b30C Yk[}cVY%S, O~y+΢BJ-c .c 2q<᭚jLݧ\jC OR]OM(āH5bV忍L(Ck4yZk;$nD0,PHm`䙾dOz|ٳrAe-pEFW'|kIJ 0P ) ϡ']0z" /X__ v6FP%iszgK\aH(qoZAQpқ̓їIy=2@mnjrۯvfKԘQ}?@c.:,C gaɴ!UеU| U~+r;+JC5 Zg CƹS04qQa9AAGD9b{AO ?mUz`ұYDaAt鐄|x_G7f P˷J~=u^S, ,O#\5եM5?v48()(lc= ~v sf3# 0=?B~Nw^$Ni.SoU*q^7ڎqo6r91` Qybi:[%w =˶EֆqX Z;Dz`4ubg>8 ?f\%ڀkIJ$!ޥ:k֌hW-= ~Z :*#-KQAWiHF'HYbP6r JV, o'eg>M)`Fҥ?< >mb":˔7[*Ώb>օA;^7"!{ 3[.,3`sX\X/`9eHN|XN f!@Q4PA [0`KغZ˵b(|<{W&u7Љ?ZP;lɸJ*.z֑Ti{Sʣz>XT"bn/,3sKbӬ3]H^qk{N~!MMyIRDT*˙fos(b6ࣦ"N3G7aj$phB=Ӆ<*ں0 YQ$\' QҎe|_YyHy֌XϏk)c= нrY)Ŧレݰ~, g}}5VA4H z4C$R(Lv- )S<8,t0cg'9J98$) 8& lוQEn䒾$Ir8 71n"@jcv@T[mPCwvFfq/BP)e1ۂoa޻G-'zLhKX,A0>Y?[7j_nkȎN) I+9"aM`4?HCP/7ڠeYL^s GHץ8ЖH1<1B .hNqD;{2&`ClK,{xCB!s3wEYFHЮ~So1yelI l!1>(4L̘t}~$!iՇ.A֮M6io~a,20qn/B{Ŋ<7;l{SIߓͪ e6x\U1I>LnxӃ6gOws)JBd'5ȹ2hbbR-yzT\uv𛰸G^QM1MiY ˨xT:gsٻm(M?S@ ;͟yӄnxRko<m ۰M;A-,\t-@I(y+-+羑)(KI\ѩ'yֻy{6CE5*],6׶4VƴN!u#wKrAX!Y lA͞)M*- X͒ms@EX@!R T3-=ɤM/@=Za+_ NB+Ug]Zn[`P@7ϕ@ygu3圴'l+`!6F}lLqb#lgX!j{i C{/">Vw QGncJmsGNB gq/su,AVLb9;c::>KCҌ[/#a鵷sud-f$ȼ+JwOJeiL"^Bܳ鳠Dz%z6b&q.7ˬ$9Y4W X}fS2e6/[`BOj%3̕Z- Np_ ǬI @ l/cVuB\Q;NTrHm2F{_1UE %:X˰yQN%mZPG"U疽PnEft/@ny-ïpGSqrm9Tݝ'f³͘'\P\r+;_i갌}O:*1*R WECJNVE8LU]4ZRR"T"='n,b%㙯|^ 校⛖|ObG zM4BFh'RTM*6|ظoR84L1 \;j:۰®P+BR[(j"r {g~27aWU7DL?q뭖>"cֵzcts0CNFl.&BC 8x/T$_\e+&O2n)>쨪27 2 9RKIب>NE/ӽ=Ƽ1,vf&G3Z XջK 04NLSF_<&2ZySHTJij\W/J Ї\ve;媼yDŽ"c}[=JU>|W#-PR}BȒ#m@wټj2[!B/tْDgȹ*5"K&2E=̥IBY%toKSTru=ӔƩ^B{s'@,1V>Cx{g;^:D7(3shQBvA |R곻G< ާ#ѧ%7?gP['G)`0Av"OtVK9brjXT[i:f nz_s,}Y EgD HY% )ED,r8t-8tvXC~fX*]ܮ%  ~ѓx= q!(xxc:_m/#\e\mjޅօFF5)y4SYt̯ M*/{hgtjpÈYt6*!{r}@t.\2k3̂_J#eKӠ#i9 "&|}`R̸1'g6O 0L^2 J,iVPRbu˷-1ϑBh'wGU=6J=; hT+x@* ߘ J]fC?w!+t>@0WE3NgpGe\b{:S;$={ (j _YefRBT|g3[(mӞMN>9n`~"K|) fߢoJ/`Uߌ|[LKKjwAŧ>8u` J齺u*b/s'%hώ%F 2&SW'S/Byj,K NLyd# 'ÞRJYʛ[SK7Tv i>1TʁT M3ЁU tlvy<a;g%MQ5ϸ$rFeF?a"J= |&3=dKc5ۏZ*|[*ݸtSO+Z+) \X#ߖG/O*x>I w- 'H+W4קGԮUUGa{~MآK̔ac ܯhx`}Vay70Ӎ?S Q wGcT JA?7'ah@\[xAv(uE c%#&b6Q(jO >H/lB({ޗ wRp͊XD]˺3'ôGZ^ӼXFXémo3qWA9OܵOʜ#:8 ͷi̖׾{FD@bc5e)zW R{w@| 1*ZY!(mO2 Q1OXO^ߓе9ԧg@DKBGZq}ZarCX Tg}<%,~Ą#폁k I:IڱDbԓJzu壸O"sF6A{[$θ]*Ẑ[~!jc{}SgYZ07be127e9a4c4cc120487e8e7f30499c429b75cd 0d624df132aa2e54b02fa619fa707a1b424b9830 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 2bbaebc39db2dce8455ebfa733be460cd9d9a8da 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4a71d65e2ec23b7386bae159281a31e8bb7bc059 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 8f15e7f3426a065b0cb5e856802994172467d523 91a709751d422a5c99ff6221e78f6b756ec46575 973d6bd96dc9037f8676681fb869d6ae83013aac a1c98b27dda07b5f321e5d30ad5f312e522693e8 a612d605e4a059d80c4db56e04c3291c02d8f652 a93e4d4b6b748a9e088128b5996b1b9c21696051 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 e5694ce9a5e406faeb16a4ecf9d748963bb975b4 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f8aa5a8c701916393737e4521b15050b8ca4ba5cc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 36118c80d969f2490d4346bb44c5a83302b05740 5e2b9145bcd8e0fbe6e86dacec2df479f034e318 bd55e5537aa102f6562a7758257c0aa75f03b824 d38466472bed53391974385b6cda8966a81f4b6ba8d2eee3f1ca8dcbdffd9e0ed4217f48c55264cf