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 ##5-, , ] Perron_Frobenius:threads=4elapsed=240.275cpu=816.856gc=26.584factor=3.407zXZִF! ( ]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆FAcn'tפ ڊjqf y囻Yk l ɜԏB@gYwPqވ6}e<j3<+޵X,.;wC,q#'>T+A J4B(뭗KͤkZnU"_}Zx~ \]t^[vx.KT{ b)ضr-\ܼ6 W E2Yߎ:}{s+MV4agGY'boQn1K/RViz PIBoV8 wˑ]R˫P&e1VO%e̟ۉnxK;˼@eǟjϬt_b<9QUԫ+">>4kCYŐU*y"' 5VV"r}GX<[ / #Iڮ ame2g_V2$zA\_TydM% ;\u}"_$&rghvvSe=ZZ}"خ#h SiPe)ij^C u7oʜm;6Àro %UMGY?q,=;2LE}C]*g A?ߐ@?d4<`˧Ew Ȝ,0թ2Tt_) 56Mx '# ̀|AhA#vGȃ0KB$)/)(iz wmެ,kmދڊ46T\Ѿ> I T|/O B1 KX_0$nD`"n쒘Ju!yxIݭsG%af|9;nW)px?KkOR:m8*$Pwb9v4+Ay)_ -_):fr-*a5M"+ S;\S׀c6Ã_6<''Y7:ۭ *%7%8!K-d<]>Є-2Q3"u@k6̀H}Hruim}ĹOCH'oO&V BnHLd^vWЇ8]L4 ee?ӌqXMy݀}IeP  - Perron_Frobenius  3 )@N>|q7p?sN{7}npRd0N-2d7α_V0W>X"Aph5L_HbNj8Lg'ǨSL)wKbqGkmJ )ڏÝV)b0]yt9 M`^bzm֌Z<0@  kx'K0LȾr/Ki%] _Q?2Ethef)/s.JS (~Þ2ykF#N:Rm9n&I}TX#σFޒ `xM6Q5DH3@Mq|,cTI "'hG-;OP@ F0{v9{G$a| 'GX@ÄƢɯ?I}2E΢)'X-AI"o VM-9_6Yk7Ɉ}Aծ2"0R4a.ve~ vfJabo0w )Uӽ¸}FXT5[ɂ_IKm CghA2ʬRmId_4#[|D$呡#wil"&âmǭZ^%+^EBa$ qRyUK[ 'ʸ#¸CrP’,tiz-f-53,ӟ쵑Op Os]|w/wt͔7=ht(a3M\\QE %W7 u ) 7GMi{9 ~i;̊ 2k_D7*lj) ;(#&-;7$5)h DM״ 2#gU>p{`ICݨ?W[e-r%%6tiiVxȹOHJ@f̗K@`(i/ u̗RF<ӶmJkt1~E=kXQ+mXc؅3;\  w-ŀO|*-Se^P-tjl-6<mg+~(|PI>>5P`eU9pp5Fbň4 ! H"YC C@]nsf'#@H! /Et {G|ے4+aFQ@<.|ʆVwFI,J,/ G &B2?GSj#P܂ VI mSW)2gvW[tIǐ8)b Jϊj]+@:52Ў$~7FDڇsVWΜ0y==WN\ī KHqЕ(țk)^W< 01?lK;+@T {}R uU %ϴq_ívxySGf{| & -xM--RٞS>I42Bq !GdjjrK'{\umr=bޗKRw`-1ˋżOYrN GK:e#*E@1#ꍱ |ũ|2,͔o뮜TۮG;ҿԞaזQi Ee|j˪{"'uPѷi}J(G0^"5"W9-nj<&i9&"?֚.d̶H0 =ɓBmy ]k Q3'/\nry)wpRh˞ۢN@.䬾= %Chk[AZrz( _ɪx躤i6g&q#׿"e*vZ Z;\+ٔ p0K^_GN= %@H )\f}+ansmUEP\_ԃ|#J(BXuEk 8#1vpҌujgSPaJ7Ȃ&ī\8SX=ɫݵTXrz pg᷇ Y8܁@8`ʼۃ ,;k.DV'Rvg~uX;$yFw(G aW-Noà/ "Š mئ1G 5cψؘIbLJn҈Q6A AD&jdVh2'珂hk[f1,>$?r<0QZnjʎB4zN;:1apFG,)`h 뺙Jr4rvn^'c.ފw?\X?h9jVKB|qd; %)׉륈=AcĶ8G[ຉA~K޵@uL |8fw@kc %>t@'oa"3*]#n\D{h.{5 O6d*A#a1a8hll ` Y~,m|4sHYJ;>e`1 d)yLwG#QLp ΧX?N !tcmD> xmW"ur<Erv<|';˽dLa"B #]g7]-EC:P*&c'$bڡ'y0^Z9a})=<oīZ 1= \ %670Oe2w+OEL"2\飼w6ϭ1Dk>[ _wI eȺ`A`Ĕk9D}Yx b\qY庮W&s1 EY?[!/#4mC!ߙmxdt:Tۦa(-/e\ȹ8჈ Yl:X x4f{p}\Nq3oIܘ"ZZv)JH31j!:ZDiF),˚m5#',)U[KӶ9A$*As\edR[=mWBzm;4~eőo] KzOUl{,REp24CXAZtFıkTkȼ'!GEG'pֵ=F`:YO2&mNmώiEd H*+YWc:sd}6PiBh]/o]@t<Ս_O!ab|YU^1O.q9\kӳ֨ ˨-%Fb6U:+`KnZxs)f2hRz,> T P-qEb`ѭ75A,@ue$=ogF-;/WDOIs_ď뒅4}qD׵Jh rZh4zoLe햲ZhO=/+ {#'k U6J>]YsPYdyO}QZB+H~q 1MFWvjKA:Wn CȒSzL.<(u=]B 8LSΜvF/"摒OױM?o6f({ceS64sY =YMy!jgllJr8'9Udc^o n\S>y_0+biŁ-'نxU8Y?7oCJqW85] C=VFA^yE-X{p%$V ;kP4J*L|s/An}rȏUᛆ6.l_ btaЈg|*O~`ikվ=10oVR&䣌Ȇ Fz ]R)cE  Z={RE  e JMs6?) !sIl Yd#+t?uϚI&p,qxs; <Zu5ȍ՗lti75/ItV[+^c~6~ =n:}$Gv6QC;ھdA; wȶW Kr`{u"!cawrhƱ2'!>4G?׵Ԫ@#OoŌ頾͊{:(!amP$+;nB;7mt1 ?*FA\Ui. _qܻ }{W^,=z?DNj6>&w"{`]9PnKq}c2gssǫvZ=:9U'7?▀~.>3Cb=%M.xO;̈́nMHyyUB.bs \X2[QW ]hQ{wgR#*ΛX3`v8PN"i7oyv UrETbRg{*M;p;5篥:NJ}Y0MQu$殍 -O9`T7_~oH 4~Alz< t>1*Ům 7mDZp1\-(1.rXR&umEa& 5_XQ,8|M6Zž|oRrYw2f&[|{;\J-g_-D|Dh*%) ;2  { S;%o~?{TR%P+`_H ]m?~^N5*5|GN}+N;B(A7ZS4-J'L1JL5بUV;$N:d%q_s5Ϡk̒HkVwvB r!7$#u~~) _\>-Ӧ֣qr6wQyCߎ7k]E[')79YhdA>ΛARMы;r;dSvY̕K1U>Kj }b (")އ+ HI/o^+ 38эZo(zz}.؏Ηi\)4=3  XsT*72"`bBFR! §`g+l{MYO2*"5݊? $"?6.:HVޖzڀ}&N(N|Cl+#~Ge,hCoUhjd${JSֺqGN8:nj$ I'A btx3u VUHVl90r͞4Ig a+=Ƥuն8DI?(#luRn}D? %ߟ_QUpx8؂D?L4*yV *rP)׿q `Pqm4}bU`쥗t T[o,L SWΊ-PNT8w-#.J_Q9{h\I m-aWmam8 ۄԟP"0}^07|]F\ #$D@Ϲgb*K1ŷD˨"2[EqZX6RkӠ,QD`GLe\eOȬln11'E+sL0[cΰȰ";Ij4g.7edŵ^ed*P5yEMafuթhtr/[R̈́LXԕOzD0 C*R+L;(EB19z:uqCWx]$vރs]u]ܦVX(*J#fAb$)$]3{Ϛ>`Mw 8S;?.ջdadђp1AaW,1OaLQ%F4+ü54 dv9W ]RhT(լu1?qU9lic.RvUPP W8pGv-h|${c,*LW0bMZf^*m0bQJgE0R q|!#s/jn’򦣊eX*ƽJ}4 i.P=ӧ@2a} jU>Bh(:8M9_)V @ P/B.ǷI CϮ>!X.˗zMVY\f#}bFn_ U>Ts)b;&H@!Q"bBW Zj^>z֒EvWdo ^LdwJ̵5XіW쐆.2T x~8aZ}ZZ,D.K =7X`Vġ-yCHpwP `=6&Gt_u'"9-X3&* B]bnC{` syNkbPͯqܱgYZ7zXZִF! 2]ŗXiɟ1 xupk^ EAo0"Ċ# hW6|cX- 8OrՆd*w'VW3Y_ʾř|(-h΄s t7Xr//0.mr x872U \Cs7M mbOY 9(]E7A#DﲭM-j^`a7fEpڦQwkqY4V#+tfƄo/S.Ǽ.zn3:ƘsC^?_;[\Y Iw zpt.Fx]Dfkg+UM<%ݖpܵ>߽"Ӓ^B~ٻ0L$|4HM$ ?0\0YD"*| ]BZ)9IE$woMGV%w3$dxgpzVȾ+8 L:jePƚ\zFq:dKBx,qhFA"}#mZtg*!T]4+ɕq6ei5'Iꩂ6Jj_/(.037{YvàCՇ%JZBVwh_h.0?V7'(a946h˞QDZ ud4!*Nbq/B B%<aNJ s],`(9)pO[wsU(#!@JEqƯu{p5I,U"Bʹf{+Ѿ ;R{yD"5K6.ޘu58i[S  &PgYZ7zXZִF! JX]ŗXi%B}:Ѿּ a0?1XׄϗyPw%<:?.a(T"ӵw#yݮgs/h$ۺaG: dk ƟC'-Kؼ悉 V`!Lͽ[Ch뵻GҠc)kKY9f!g9*H5bb X?`1yk_Jxnx??D-"ZAҝ#q o?;J~ ;vbƢ77A+ (2qDA-|IQMǫgVxտXo~wW\^W{ܕ˦ >ž?->_"w ZʇۈÍ Xw]kZB1ut _3KH‚˺vX́*I6C^ԘhCy<%BOӢkr^l#~Ǩ./ҀKm}ҽ3!^j$1*X9OJQ.\f>)LɟRoo.gu(GhxtCޘOUϬ<|a,9-v7afWU+3f"~}ۈz)t:$G3!A}t> _<$>xk٧Zా{q4)N[czk1& |T9;dGMƺρ7R>,(!i}Ӌա Qs 8MEuRwW']uה)XS*Wݒc{Ef,Iw=6zՆ.)lx0?i԰xeJ0CY~ ؇WJk%+Ђ׼2= pս'3rFa7-R-338kTeHv-=6a Ъ ݔg鑦%?axF`v8穥#ڋs[] \@Q܎IFj 4)5Z{T+/z|y{C(~-ȿ4&5 iHD-30&1-87s]VT 3Hp4smRDc\z*l [1qƸխH(q3<=DsBY;BJm>cDJky$ ,n7%r頩9.࿌BLPQy@.E1umЂڶkM<$Q "0!}hWkͳ1 tr cgT;^ ?hg EpR  u1DZ3&b!l2Fn60RRug[םM,~HV)Gn-0嚸&XP:0M^PO[ô^E>^XbHQ*+m\ y[o%߼(]Bw*xS wSHSjީK.Cq#33:<减:z35Q@lN ֪M@[bDmIi\}ꌫEL~㚠5{0O~1rx䗨-Ao N$ MPqLd+ zN6rmP31kZv,܃ζP.M1 {JF)y (L}ǫx D{,yF't:L)M(AΤl{GVaҺGG|iaZĭOSj׷x{up۝j159,YJID!,69˦omJo9*]x 9^_mLw'a9!Q9ZuAp/r(=āf~ES)oDD{q!u:|lo֘^>@q JX6󫑨ԝ O䐃d6CF:gAߗe)P#,tqwmP:!BC53˷Wn3p5K25mvItʐDU%IBa tt:A͘UHUѩ,:쮑aiwd-AESeGChEb}Yn˦3mCo]Ϡxh +Y_RS#<df _IQUSQ %Fn=>UT))i'n Jm6)؇<+(÷uЧJإ]ȵ#1dҏ%oe![Bې@[Uh#6!+ZOp kGz,H9-2ӥE`0tcI<@}Km?Ixޒc&\>"ZŅ&K) ӳo~ '9ZWLz0S.B#ie(k:(8lbA'r*lբͳڇ2Nrn$b(no|-f/AwBa摺 B 'l:w)E M^/\͉$Eq#J[doBXN1Ktqu RzA,~(̏0Ts2}R$ #4el 8lS'v[,$Rbk9bVbyo? 濪ߋ ө<,.***Q-$H OCIHA8ZSyȴD؍XtN}s '\{L,#}_wܬ'qp׊7R$lVgwQyY-H% u7UwLg` gCu_#:-[jE _8%X* jxLS[mYlI*IA2yjr}OԒwQ>_RVbn >`ؗa(NzoQ;+]a;Ԅ[#'l`p 66*%wFW]4([C\>j_""YçH;KS:jɈFXZwOwlB1jAp5H&F^JH´ȦyQ.MUVv9iED\7,F&nwUF,?'K RC71NI`@Lw-${oňb9ih{/4$]̶oxl <_mg2MT"f;q2%e??ƍؠYV T Fbovp82uMf`,> BY8f9L^rH\UU~Cx>㸏q;^LFh)sC@B!$ >!Qj-m[?ZQ/"LJ{ٜ< _L:A . 0cE)8[:IaC" Y*擇JJh7 M=#ސ'TBFvoQL8Eڢ]nHLV,LJ*;3xV)P0K4S_+~/9rW]0T/zHYwN !_34;%yd헒;=]ck ()7zw|vS+?,P pLA23^qX⚘iCXE5X$o@)>X7]Ja;a.%dimGjbȝJ 73pݔ4%-uV ִY3шI3BZ4՜k ݟÖYҙy?I,[_zX]Il +ɝqu[{7 E'#JlO[+ AU4pخ7 )NNf1[\ DlųQJn xR%Q$e{+Iеb?CRN!;!aKb2Cz~?ܖ}C?)۴\ƊѢ"!L}0≁pOgi5(b8ȅ[eڮ`bIqs$eux:Ofo/U^[imx\GE(,3h=uW<{+K.`,e$"jTۏM Z* fֆ9b^uʿZ Kj]B2$}/($LȬ˗W =K[4mr'i(8|5cL3gu^8MjyTSܷTJ9f+ IjM$*eZdvY;*D{U^R pY@y2H [ASR UlV/>[m7L>`r"DcQJ5#=μ mUr qP򏍣k z6qu=Q5AR9UiY*8޷\820OxZC_V@>$L=#mk?c/͌["ktb\;(.q(KoepE*~ܶ[99|)RTl5Vd5Wϒ&D uD|-n5VT>(2D0H/ǡ7ڣ-PTavc 6D\*e 'zҥ<51 JgsXMǧ AR:<fH-GRe93K՘C5(.N9$mGAgV-VM,cljR y9dIH@Y?mB jz}lk \ZȘi6I^4s(W8iģQ:͝>}[d!zq$HXqA8,le~)'~mY< s9b4`I~E)2>W]&TVuqsIn.dࢬ%w݊<,qe3)Pc$J4 /Dtmu5>G u>U$gҽ6z %{a+ IЋS w-ĺ}"sOUQnfl -/ y]yǎuUůlX9w?umj9"9t)fzJI X`R, ](P*Wщ .ӎ'8 OQUb"}AUڣkq#ziFsbW;0 㗧ss2މ~xτ5ȯ0%[G܀]mJ#~#<r=oTa=_d} &I:9ᚈ*|| _60ݵcj ctpHJʖʕ/E|.cx̚2vA$>y]?JdٱePx.m=Ew-xc9))zx>Ac#g!%A\YwfBPacfo5[_j##fnlEf U\LEm 1 ?xDzT% `C.4+|Y/9 yQGl+$Vv W5Wp*W"Qi_WP!t/E^R>p 1]r{)m,Aj؁X952:,{e~ Ҿr_')fwi0 v1FHK1^Uim'^]Ofkw…R ͤ ܐeqM@ ;CFgnWEmn3%'ԦBwMфuthaNFRm G4(I,@aǪUŬ1vz@jf?vmhe*o&9wbâIuy-W"M= \,A1=~ rQ>_LCFy&0IN2]_>dG"w n<ĂepUA`J;l kȩ NjH(I$ b aF|G@9k1O քޮosWV,# {aq#>sA ci5\U$(*Iᶙ lapxW&ιRkZIA'@}G.M16A: jL U̼aFT!}ݼZ{/ if#qW:F5,QFiWu$X)u_ {):@5f|IwC8ur禌!˚o< thKuNtAոڅE6vY3ŋ%Լ 3fuEKo[ |VEܟcBI %WgnXGѿ-`dYϓ m{3f̝6^rد30]HgYȗE]mn=s ayʊ0guL}G XM9sٷ0͸꟰گ6-f.L-˧' *+WS>o8`o5ozJhw Y>JL,6blJ7=xQ0ym% D0%ww4J!<1ZMUw+\>ˮnPL,6OJހ\HcnV$ىu`p,#TY= K&VC-޲[@-N3vY,6]!D3Հژ/}lYtZo rvKũMUUr ٍjbm۰|hB~1c^׋A;C߈e vS<ؗUNȔvz 3-ۤaJ2Y9{>]~] niBv;wRa4_hi|>êifRH:mZ0l]Mg\Sb>Mlr?L2 @ P@/p Q3 `μup.5x^* &Wұv76cp=d[>H )JE?h rOL}q|ӻƊlE(Q@[ZG9;e$k$'m"@H+Ĵ%Kl#M7gVX#!uk%29m8j!E&*Њdݬ9x3>#hW8tpix%Y^y+̝8b:5z?*̞0C,dgKMf O@Ats$kdG[ڣǽo9)﨨/^=q4^FA N[\ ˕BP]wFATۢXš$|6Ztnka246$3 k[ħ|q,|(سY| 8jf-Oˊ;q|ՈjiH =&&3ԞUB[ 0\v>YyiPn0r!/}, 9^UƞV.VI"(3v 6R h ""ml<Cڞ\dr!¥3Z"A rofL hw!dji2^fyZꊫ[9̍eE+)2ǜ)[KE_Pg+5ҷP6ƌ0hp@05vۓY04;wYD3 m&_ƌy% `5ǀ7)drO> " yȆ|&[]'ӆ^ғ0Xk`z}> pR0$:UftSOz WSEkDSU=њifw`81 %q%NȲ.PB%ى?^+`6FgQx6~ZHpnn}w `-y]fD**2Hw~Up&T) isX:`ls@]laJh6Q|``s4)TeBH"߫b\=Eu"1 =HAFy>|ZJl% MVɗ?`NBǿuyJ=# [+! 7^/0aW5f\ԉ&Z0f݀0ϧO57:rΌă㤞Jt{VGQCsKM$F[j$k_Trh2Ewq73n:1I}榘_9ϙ!ؒ guKx|+Ydz M4 z\f;= K+,JY1d{qHӅķs#$Y {}u[ 5QȜ J,#<>4ڮ_\-"?lu0m_QBr M4w-؅_/# V5\N1lGgfmyfhaopyCUYOcӑ =Y(% C%V18:E)-ʥ|GoPdG5NcA*_BGHyVr4"iM@Sc\(*}䲘:qQn,lS3ځ'D^QVxzV ۓ:v/< MMriJ*+絥FE0*7֯NVzm?ע:N Q`nxAvp7mη:&:q3C! kv *6V[(g_p?j'vI%a-Jo+~(s%6CBO ?ٮ ;p2tƸPit .|M탮pIQ lln|(61pX)TÍIpA;)m%K,!x, \bvE~k{nZx:ެ9Tg!=hlhh#jo{ E]Ps:zg5嵙#  XUϓ]Q87e^M:G֊V%t2ӊs*p /4Uj1fn@i.KG 0{sX-џNQfh_t7DGjS1ҽ@t}0&QJa3}k`N9+⻤9"?&cZȢ7DeUӷyxOXlĸ2LnC7;<)bvKٟNBe ؠ Ux6~`9HTʃ62JՌV}H>ƑP1CU ٰ$#e^9JLdaZ:Gti=_;Qc\<-tCDe[ga""]z3/ ;:#Eq>PZCv})ɦ*KuE%W7)g>d/7D:68>Ή-o h 'm*ZG0wV%j*=b!$99Ɂ0lCiמLH{r[oHD|,˩E1ݱb!%t+/|vG`v"kX~hAx\NAWYMk{o9d^2SfZՅDg9h&kx#c+%~b!NGa*&ӱq\GױvWtnl/eL}29$ 2^\y a:o\Q,li4׊jF' H$ _˱1YO` v8Q\Rf4}`PШyx&ݛr.6low55`%jzDl2y#T"Z pA,[ L B[.H.8hF*CozlVb*ӏn[0k!CK#]K암Z~]`vNOzwΐ{GM/g)A@ctjVv EΛ*]RU #mj mêbh߶\)7h,Vȓvdvbif}I{جMxUO2so:k[´U\oΥ_{kܐ9-QRƣPqCl^pve{f#:ʝͪ`%H# DpOi큢k-c8l+ MĿ-UL֪Z4Q't!\^|j4/4/lE(9gi"ʶdl᧽x]frY:`ֽAziˑiC=:<&X dz2Eb+}Wp>|w-芜-?ty5c[Բi{M4T#[e@GN[3X-4PG%Z^V-`󔠮g] );ɩLh/-|/.gωwܙ}9,ۺܙ ?'Ē`:`1. d)H\b-TMB^+Ċi ?q;f\i}}wᨥ01^ |L0c{% "@=ٲ{6F`LQ]I+0Pe#7Izi9ba5}Ux6&BkR~5+l2b<2*ʱx4(y|yqhȘ- 4"O {pnHDA<@ώBzgY\rđ1d=~{%P) G0Ԣ2S 'ܢi#B&]CD&?_2q7p'in'-/3c#2uAk- *r @\IQ_sZRJʅ[>Dzl p\;{_oK`NJ"#sW0^]Wi+3 KdW T%ƗF/˺allqd,1>א+E   af]1*/lKBqHW vE8@4 {A1xJDީTE&RS.G",o+Qɔ0i:V;Fs,0!<ؽwU ;rb3D6/L 4n y]+8-lV7ѩ%A3m'Th`eW`эdzTF]=.rF[PK,D 5;$l ҇in@Rlj#]D/z/ܬPxVd|<'CJ .=l]y%7ö,{ Á|֏ۨ ;E)uv=rH+9**ܸyܥC;"j fZSQjp̎.OOKx;c}@dY1{cQmkdOz9˔Up3)BT~'֏gߖ j+`>g57jbLw1Y֐[ኪ}8~gp]Id2ZђDh7/~^T"="4 :Y1cD8.T3l% BSlijxoY--kS!V`jA~nb@B ]~7N="DJ?dإIPc2F_ّemaֹ)3G_lެc*ٹ2'^Zps}k`ݹogp"mM1UyFS8eNrzqY_&3kh 5Jf 3W ?WKgqK"=Ch4Vp !mp3t00B;]c1QmP烩 O\6QZ:tQ莟ۡwjO޵z qW+g ZTJ!!ۄA`J[j&z_4RZw'B4A{6/TS>mB>jGTiF8}FwvTM ,=>x.~K, ˽w`V6ic(څJ*wzìs]wNMO$I"$Q%g&[lnۛ2 kSy@ Jɲ}}K4'oOXwr^eyxqM EgumB@hOx5qŕaHw W&x -Y7+ } rALs(*F+~6!&[F#kΫ %a !ieMzHUFQ>GKǽ{B}Ýv"¯:m_ǗéeU(_6њHIQ͈ԍhv/C|*z$E5[-Kj, figs\tӭq5iƈR%`H҄s-o+^|58AGVk46~QU*h֜9W5O - {U} ' g$=wt0J“>|xVgPKspbYο%OVp&Il*m/7Ͽz!)VY_ݹ ]oxu"R="ycz؋+ߤ| Zٜ@9r%/&U+=E]٫{ RB"/aKX|yricBZĊN\U7"fHĚ0z[6hO/ˏ~({ob}yJ-)T.k]SX+Yv17N7ݐjbYD0+HRtƒUB_OU\4,ϣ-p}r);x+џd"]FY*p\31ք8#t6Lc8Y@CnZ'{;s$%?^WGGa~n8>2ls۶zyfZӻ c3JԈ`={*u,x00:|ke .)"R<2H/R/U-ĶSԺY0a-_[;Y4mD!UC?@DT5bL (5ma;O9;Ge|y# j+m C+eeA&/4˻+&>vRfU@QJr#]Sq n*PnDt )˶sE&@6n=Gv~ecb0fɄIDrOwŅmDP֢{?1/0*K} ? MŇmMTNc.4*rwJduI_甲=xC]^a^2kJA ;#x_k 9 TPM:cXCy%޵Cxdҕ^F{ԫPu2HγrؓMƊly(ΓnʕgH[B'չYο6|/d[S.CB5Ll'jaٜ caR-OjM, ޹:>TU@lZhGN Vfm 8_R~Q8y*L7 3mվ:b(_Vdœ>ԯaP ObeDtʢ a YLRp&Zqsq|sY ʓ,,OpqzlǑ|ϓضСt됚C̈́o: gRpe_ZI\fbs`M_Wic#۪+vOyK6I8w\sޗŰ(7$͊\v t-+6YLŲ>pV/!aKr"\&3SURh "!*O< Uy1ސ[#`is[siTVW.}iH]BIVEQbJ\r+HԙO k)-s57ȡ"5(a"!yANw" 9G'M?N#EdZPv%ҎW= 5yׄs]r H\Z ᤵVfhDfsƥAcЈVgx@`gYZ7a32d4c930cba90b9d87996bc897f2a6d0583fac3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe 207a6a1da5510dfec4c58c083dbf6599104a94e0 b1e591dd0c8cb6f8a1f591ccb139bfacb93a87f7 4b69e5305d488844c9f39a5f8b82ef5b0768f61b 90b1cc8ff3bbe7ed3facb61b4d3f08475a8bb93f