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 |-4  ]I Perron_Frobenius:threads=4elapsed=262.897cpu=870.128gc=52.704factor=3.317zXZִF! }+R]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3QV:Rib)_I \xylH;gO״l0*˘q=(G_2aĠqrn}cf ]IKFW\^dYi1&MFSu*MiZ<ےu'_oC//=ى{{8OX#\LgRQd{)k9(Xzq2~Yx/q=,xA[MN'H }=^*M5z+*RwsA|njG[Bm}xD + I(#:F+"9N ~ pb7j.z92 ,)Qk{~S|-sl%<ݞ <ˆ{R I 2w+\_!J2ˋ%Mˋ@T&B~Y 0JFm4X.@eĹ0,~m z= (M2O[<P},;Gk7WH0ﶁ)?G_EKpM7WSً/d?R|7dҦB jt,%9 v!K8mPQ*?#L4Na~s  ,l:U&@SDjf%iѹ!̂r?DJu%7d-l|A;Q+GL3<*f@vGƁ`E{7]VgɖC(*X/"X4|۸XnB_' r@ܪmi/"8-e6R%k>l6ʆ'lEYdg2qR&I)8`K9_2H9Qc)_pn%O[] 2EAዲahһ""$,$! gw[ vPϪghx~8Du˽}>WT*\xe/U^_٢?cK+岟6wO!IeGr:6q9;IĿ$4]uw@$*.2oY K^:QvDbkյD% o(oW۟Y.xޟ2B kXmA7c A^ކU-)Sr< 9Q_t.J(H2.§0KU{lo/?*OtP8Z D# ,r.2bNgh|&lϕT2mװa\Ii=y-b*>D?[ST6!{Sç!fXCHd@jnUAԍ]a=InqEbTm`WV3vZ$'RVL;$ה5Go9X ބ^Mukt^ tl+WN楢 dAmUU n ௗJW5,|aa~E&32=uVyWe 8P I>4TP>2zrD5Vn YURE"a 2-+1->\ZQq 蒹;R~Ֆrk#eG![e\B1jChqQZh7<=|sPsK`tS`\)kOO"02XϘwYlu׳$_AnL8 p$ 45B \Q-st;>2{SFQrWV~QdǞG]ZFC]۟ݵQ&U ':[۹NNKyLd476绪&[g= IP+uχb*MtԈVZzV(Wex8M#*>pP^@֢A샬aZ7&|w*M PTE?e>$bIlsNLeJ0Lq }#]9m~~RԳL*1*bM4B. 03wܾ9 - Perron_Frobenius  sr=݂e2 b#%:Xa>;r%&ٮ2WGkaZ1'(K2qi-W6?sAϥnav vI\#ݍc3+xSX:-NZmN XHMD\BFlA.`S2ޞ% c+xV'`Mi}OrrKy+ !sv#vcG!Rt@jE)66Wst_)&ܒE"o_V@]VPpIu{Pn.rLoV"ue|fq` g3[yR3ӓ"3#>(Cdȴo\[dP}@"g$L]r2@./8`8&DMTiI+X#I>yzfgūf8Fsf^RwTo:ambqX<L.޾E%r:u c`:/ŘzTT;%YXpPKe0 ($LW+?f0lV>g,EڍVlw8"~{: T?ñFJ&JsV*_gRQmFW )>Zx)A:O/@3 DnDb|ՑFb_MMs+F~0r;, \q. o `rROle&]lV>׀P0c5)jG䔋v;zdD|$r|A'd ' .zkAAuU2=D[+J$+a ܅%W0 BQx9ֺ0t]2\ˢ 9scYRFxPn=*4 IRt^%Džy @]ncёl&A0*)+jtc 3.i!tIt dX|UM^8hx`y^{#!jg\@Qp)OvgTY|IlRfH8E|׷,Pq!e983 k(9aYVti~C@`7~ 4xaB>bFB'-L2 'f+ M6d^4;rl4UBeY<ҁpdZf6tGoy#_ـ091{.w9+ 3cBAv{KQ%,x᠈=Lp dkD [$8rn&i9&*tA9 i% q%&9*NeߙI(zmƊ+g/%ŵ8Ny:_ZYepEiF`U-h*L`S_8K6VY =Ǵ =V$q(,q3Źj8bc7o>*{{j`" h靥Tm]w@KZăVlDg<5Y~/5:m; HZ/)~$lGmpPL$l?dqF/-}f29FMݫR{,@Cbnǂ:dmFJ,30$e(EݢrJ+#Ai?jF]QSՒSWp7\ r{f/B'GM2MLT;LdLj~lMXòS4u`3Lޛ#21'A_&Wh kO:yɛdYl'WT1Mlb^MLc-^/ k_R~Wno0HW]ƓT*ݮxHJin`=0q3Vf^B7re**G98m+YjmUӒ*S%A9;*IDaqƂ2@Z{#:88P.R_K@/Iobhi'ep&Jp Kʍ?YuwH8z f#l2ٺPѝnqíT acD\4N'TeE , mZCs6AX"dW;8҂4@,s^-j:{IH3) Qt]7ciL&XR<4X,ysԭrG޽sWZn$%-,A+@@a '{LX^i{4z몑YK@䊼LYq)3KmkP8h^g@,Sa>pB!,A\5Gݞ pz~ MϤ-.Λ% T!wXBiyOKiy͠q z&K`MX O={T{CAtWaT(Ey0qT2cf;4X.JS;[ qzg6XOǮa'm<D? w =7g:i6fIad}?gvfa2ԋk\y֦㿆Pu\l)HAV[Ae $ A{agNipS"|rccd-DdGs|@tAa u拺"1G'J?_,Kq*+/ƁA J, yechy6EOӚΫ{`%~WGHl? |JL1I4(mF `Wz:Ӓ G_kFt7|5]5g{~F[vG SsZu9w}Jvb3Я i*hJ”$X_p٢lJ*FvFMY%O.9?(hk咽_6;'"<6 e# .qU m}79>SV4z.@8M$JU.e5Y*,D p^AQFPK!Q9FOW^,@aGhō)zYck;f_R W {7L[st*R~^TY+ e&Eo9%sK3Ba$r'L'A;' h?d:jۆ}؏K'F|pVAt (~ݧ 5mHyMFzkiHX))#!d?Ex)CGn *,G=8ZjJB~8h )F~}Oo,M*#4?&Av$\Y5ɾBk8)wlf ;߼HG¯< h/R\{JN Uq={ EGmN[5]m=Kh  +?|EF (v2HH[p'ZVKqdAx"C>WI}i)dir rP?=(I,sނ z &qߨ)EO#,1-l؎Ld\&Q-GEs%X9>e^ռHPI~2Fhx%*Pts̨}0i|Oľ 2 zv`C^$dD%E}Hj vo&eG71":8/H?GQv[}&э/W6 ,Mwr6yd sgȅ<'ק@ϊ{*"v1h 혌hò*j1x Dh9y0s:'Kۆ*o[?.=?y e Ϙ@i&2jvx |@%khrNJ8&r]2{ᆲt3|qB@P9e;<*`#Mo̫Os};AT3dObNyt0+̏[O.9Tk~ĻV$[!'Y*x* eK {r1Ee{F8>O޿74L8e3-4_ȭl俧u,ᰠ.h?p oF."&$wxFF? ̨;S`effbNW>',p ٤ߛH<2jbPa.8zU{_RnK$ y$}6ǎv೔ދFOm|<b;1+r5uaɾ$.a;&' oc@o(RLj %KA\`1i#~%R^Y*Sq=9`|^2H;6\CGK2iyG lҲ+;Ev~"Echg]sE8F^=a7ULr:=uOϨľ \z-Y9HH0@2|8^uFqW>UD.:\>2Zi?^/ۜ,Ȱ4$k} cX&؈@xO/oΗTK^ȭ̯X]ҲC}fG؟go Lb\iQQKL"Iڿ𰂞+aDyt1Z:O v`M-fY锦̂GcD3CA=/.Fx:4ꬦ{%7{X㮄~A'r7[@)|3O7=XqXMs/gzu><+sׂ/ҥMBE5 cN3b؏eOh!'|3IBݤk)Mw#KcйQv #u 3pǓkf |tucЈ,GɊ1-,5Ƭd gg&]R~_#*g@yK!mb-ra.-ƹM_Lexk:UXnZF5FUXTyA& Uioo^'_iS/_ES/Ѹ/A!eٲezS3>DQY9f[b9WU31A]GL;>W)jEkppZL7b97jܸU[I17w썡0lPq|$#LЪX;U aꎚQ5Qm3D ;+dC.(#n# ϱ&0ܩSwa /d ^w %z[=5k+jU7ѳ)N0/yhhT{>Rp,G( (v_i-u ށg:+̓7J>51COd+'ЋaG hA;n ٓJzŬEdRMX&pwUXOe U!P1(Η9&` ¶~͒eŇ,mOI|IܐpﭮDX'3"Ӡv U<8z@%P$ 5I^$OՌ}ЗӿTdG4:޺ 2$7|C Hov Vo?zP[2[:hUt 8ʊұ+M4<ɒ$ńXa Q}-F/e2hdvko͗sTV I8.>? k/h$Ki7t6>ώdV8?E= A!UeC=b~˂.X{ZXPSb_iz@_ ,XDK]xH%PQ\Ρ [{z 4qs@ņ"[mT cNvy lQG305 WCc;zjbU״d6,HD M5USI-ԏOK8x[o\vSp.#q.O>&{qr(PL# ^8×tn9,ш5iŃTh i-~VO p٫`:S9r9SDcIec 6s6#,Sp%RC6  4[+YƊZ[nY*KZNʦ·H a 5Eyz}Dz7. .wGL~ӅʼK%Nbw45 J/UnU]ԷPpwi9j7׀Q%ˬp+whN{*! ҟ{"U}58RPm=tz1GPIQ煺lf0XhtΥKɫ j>vs[s;cUV(Wrً/CQhڨCSy'p#vP`1cwF|6ĩh8H&qiVJHѱgYZ7zXZִF!  T~]ŗXiɟ1KwCe )wG:ͦMɟ7+%$ZK+=kJ-R^=R++9aD*YN &F}vu 5-z_oz !o>@ K^.7fUg1zBqb/1Ti%zr6C.m88,Z @:'eI0hʞWϝ0g&GwLĭ{c|XOݾe _ _܅NJEXRLg&YS)ɅH<~S_B7O$%l܀= TfC ʩ`Jse@1e۲hFGSYu'db(WG۵؊!*d&ۯ68w;C1ߌ"=FĎD%,Q51 ~8XI'pv y:;Ԟ-{}Sވ~t7Z5`k ?UT'±C䗪Pt'ym* };,߱qk;b,0ҍ"E){nj__w֪ǣÆn mxfQוT;M=Vޙo*PDU_r[?PK`D-g\D^./t$-D[.C偌{թD1%)}ޮC}dPstR!lf 6w;1oU%ӠMKe\՟%usp]u|TZIZP, TVwu[B?yfRl&+Y"s ̳swr"'nt򐤄١1Ss c`9u$+Ef,0GoZja=I {~^9GjpjxO]Fo0=dI[J{G[36cA]9+}[@\ .302%B}Z)Y4R7E1I3qZw `33粏X&-H1z ,&(gYZ7zXZִF! X]ŗXi%I=:4lm̥$32MDN_CQ'%&Q3-Lj%v\'j㠑ofCQ4=I*HOr,$tÝCnlBP3{)"6bY@ ݺ4ax)@X{r3LQ׍7ϲ^{&BS:^ʋ ~RW1VfA7p$p\p*)p˅z2By>= g;25ɯX@4V ~1x G~ Ky47+{H _)Ss٩%_P_1VX*WUfSshtزWZ6BbjHdvh h}dy :'!ë9c6rP&DJ\3s&HRdP1m(bt7Evbm SK=3h+R*\X;֪qypD2 d#Y'i)kogwv]ZW{Ds8LM(pHbwdT~Ob[jxg9Of6"|(]gre[`z#NDK@ )JM[?Km)YqAH۱[-%L o3c)(boڙ@X/G@E$Sj abZKyũ9GZ#Fp@^s*#%khxrr,8!MFm?U^ cS4"'mBzc3 נO*XNSwȟMC8tx2qg|=qG=QYu'|%(y?Uo^W |Jh6芬V3AvL0;ށ6:oؙF6 :%[3LL,,y E:lWLׅeɥs'(07kG`L50"xVVَ!vxYt&c'L d%QV4`hi W3s!'cQW2RT_YqZr@&<=ڨP)} Ohz:\w\5XE>xl,o]ؚjR6$V|Ȃo~\Mm;|QBF/舨Y;JbO wEok}uQr.5G4ڒa2 4±8`GR3]<وy._-{Mr]eUDIZRG;M'9~w6aBҙksM&P A{oCE^]IuRjM  9V)?=[ a]H;Q|*{GmSq;MeXk.*wH@Ra⡟/PnrtKwmDd0z3 f켥؍d:U(lQ  "^ov*0" DfVGޭd|*e˄# ,phd$}S睘 Ӟ01R̮Ğ{HޗjY{I~UzE&l:է TBQ J];i%42ZQ 5Ԍ!{odSZ5 'wSL\tR%(R,>fe"p{bWԌh#t_H3{!Sr`4SwiCm#=>ϛ &76&{x@+hH&y>Y5z0CeUVW@-}ĔT$~GEcY "IOu/ tq:ą% A>a~nAq!jj;UCoVg0 0e#Kjj kVRFj.'78Vo^?F_Xã Yo䋻њ4du΀eKi-z2jg ΋Ecn EPjZgń!:^FXu) WmT1GŰr7)Sz'L?Ui~ی7[ݻ6B-m|MG/CS3N)*U!tlv7.z>hŪͰ~<@DۋGYZL<SCl 8j?p$kA2y_CLu}8tgv0bW(f/iQLIۃ:&|Tx z,ӈz'",+bCˑTov<( lԇx[:8p=vS'?wm0g8SA\NApY*y{9MDe\D%raDyF%A:D=ɟSb\ =tsq{A.P;X`OLY'+z *N>'qG=B{ٓQLdB)UG5gO~U7R{=ֳLDrAx9x]SF{֭'˵9Xy@:]KO@u[E9LT& ntoj}tWyrNx N-Z>]1ׯψHM Uczu6MPBK sSӌX)j$=yQ=sT6Fq<`} tlY*6{ȓ3hѹz`x|Z~IJ){|-ʪ˝'Ӽ=fx 낣ͯ!$5aa3ax@CkS `$0jgt}fe$xmV팱3H&mN1@q9Ҹ6*w[&Tɔu'IrY.0s]NOحߛ~۸S$߿d|rE$S髪̺IhlRzV'WRNp?c[F(4ׁ6ME~maLuZ )>̇K'" I҄V.Ҁyo|=݆-hwE\2RPH yoUHR^$4U[O[U)5y7:0U,@O?ݙ=pHXID)tjh-wc9!ON:܌|ě^)չz6Ȳh9ǯد& )9D Wr3`CtU]B[}8;uM??X:;0oy\6='YޔU*ZUf g6WH?)*j%WN7`ѽv_Vkٔ_a|POvİS T=_L){+ɾҠG DM5YHa3!aIK[(|rl:T+ydۙ(N9 T|xuuޯIT=(1yk]G{‰VD5vhJY{+wԃ"EL!\.xwTNe9q1w,5ĵu0ߏp߷a>(O"%AS}%}i_2fjZĥb,gOwHv Ds3A>A&Q W:cw~PDJ XQQW  &tm 3's GvbS'\E ƫ'xFDbޯ@?"}I]׿!D8gx.l=%nO{}MpsǑ׋nLMl=7ER'@Rv ID$Y*uhV8@^ĴPWt֓EKMu큀 ΅<۠5c&S~?dbtkMw}#dgg"bm!t&n3Mus(Ph/̛{'IÆf{#>zl2/tu/r>CqZutZ$R}?+m!v%XΈD"F ljg[VUN r^Ÿ{y0Jvr`0q4`EMCb*HDvʶ|FFbyFrfQ pkUv0@v$a-9]⢗X` ) Izѡ܄IKdo|R.FjfǗf=V;_Uc<^Gb\Dl+D`wyaO ZUq`"' 7MBɧZdlؚxl.Kŀ6R[To/ FmB,tMifN;R`\xSC#&Ӡ ȷۘ/ǼZ(*|'ԑ)Vo5mNq`0P"c} swM؉^E[ ::*p>5`\3APַ A+ZQ&K2:Iqn-ڞsQ ڂ &3iY%]T:Δ>{m'o%u ε~ٜ9+>d}GfS͎voh+6b$E^cxlILG}K`pyF8'Fh5g5:AkK/෰- *DܰKԼ |`Lmwo,X'Ȓo{_/o@`k|!u(}G %Ds'_ᚃH68qO[l| vR{wej Nmd욇RFp}5㌌+Q36Mx'⛞}Ne(nLx+Ć*~o/Bh6u8wcqmV !?H~ߎZ;'PW ~oBmt 4/Y[?QOX ?f`T{ `YW},D4'Re: fǁ`D^BxE>U2 ۑ"vO丠?Xfԥ>-x.XGV| (Vxӕ>XeꆋiKd`3{\9({UGD%s?<W:AcSܫܱWbxL7I4|=Lk-DӛfEL,&t,/bbLO'Cud8S?~W4G(8笼Of6-+T,#<'>6 ~#-CF_N0v=No+ f#H%R(tar+ݴZqvaMxNٓiJqhG(qeeSHXO C8Ydf͛ 9V\9+d16i9|śѱ‘~)}6ex'kθDP᳄)I L瑮iqp]VWqK/}P{HK|@ I>z+`:qc<T؊Zs6,l0*sZ( LBoJ&&O1vT#恅fsmkI;QO7tBVF dBFGY Ni?=XkUZOBu,#S¥cHq u]Gb+H^0䇍Qc f 0TxvjV{Z5th)*sہP %$-5TVs k KxC?%k ,Nb9uzwK5KOVvAL5_'E(HKC o"y9lJI-)3p3tMK1vMNNKVa5E貲5N ғe$4U(7(S+7z=lS 6G6^8x^sc[܈ErbJ҅[eF'&F9\ 3}™ʸcld4oJi筊^8&/iax:$/95?%X<(ҷqm'@+ 9uJ0*<46#,,fVtIU[̕`؈%j0yT5`;F_K4AJ0G3XZJYi@ݹ z]A3Gٽ-MS3L- 'x cw ;v|[xw\Oڜ?E.w"lsyDScDO׆a%,CGמ{:?ir: r:c,oÛ(QpcjO[eÖM{h:8DEhll⳰giS.SQ2 vTPhr{&8MbYEGHYp/3i &E&ɃԿb2mͳ2Za 1# $IA?O-6+{7E#3H(&YOH@ yPz HJ1?#^?!_0:Ŋk頓*ˈ{śœ@86絒:!D<@Ճ>:pZv vB|w?˄2N#xՁ(}sMoS4$Oi~]}GݶOC^%/Ϡ6w^h:vm[1(=YBwZC,Sy`kbBs2ewW&,s.>vxږnevMmó\x-qW`J+k&ݳ59\H_0a4ԈDh"{bHNXux+rIZ] kF ZO+wbx9zaʞeCd$nnT3V+5Afe #ʚH㬙_"}m.RK1ik܉-=kKGYR|?=6,5cJ;ޕV`Wrq[?ΓD9 /oIM n |wGuz2hpSYEfƒr/̛dӢU/@Jm@mr:&lw: /?EȗήQ}wTH}Yi8 7:(a- n|OIYr5BIw5Wƣ<<Ş!@;ag8u ?ZB8 FY:gM3a;-W#Ӵq0CRvznY54{ʼnØ^_Q̉?RP`]o0]fB;*>,'A7~ pHN~GWVRk\/f孿R-e k*7+*oJ1s\_>tx=#Z;!ʒ`"1a2-cldQ`) q[މ L;er7|,!SfU&> R_gQAu9i1SXT=&"X񱾡T`vEF!ûsuf٧;J{Al] +4^ѯMi ܀fNqY|xASQ&P*uPԨ ^@h.|>Nj申b葳^|PuE6G_`R&Ϝxa^F-a!Bf5CքqgbًD.>. !ia -Mz]iZ>b(Z ~ÔyJA=P%ʽѕ NbII'<;&0ڮmu|ډ}'RԿLp:ޣH%rYi'wq#W!qRT -/(|;Na0/`Bܘ)R|RUu_vDCbߝcn'K8 _p6 mܽ~q|G4~9Iv1=)MS7Iu%c=ʂ큚wgN_ 0AuC;jH𗽸+Yi_C:H&ڃMv}N]]@F(Մ:+ ;njB!$(Wk3\kvx<g(*Sv%DKpA\'+I:qUà)|>@v'7 1dkŊl:d/YFQ x`LxMkDwXȵLʬC(~IAr c[Mѐi& 0gcbWIP[T188ӿE`#)3G6{\-?Gl=.CwvPdc[u=Ȅúkޢ `|y.\@Eȁr A0|wh,E.'2nTr׵OƲ/?VdFV|@Aƶ̓sw 2%-eȂtD8\ZsV }&%2_w O2KbSlMwe~v܆m ֗gi!KꝢ P^8ڋ!w6]h@z)Xmm2@Xl#Ȱ;$7ah@!f'(}'υ>d֊WK<=:ڤEgXIa}#Gi(YLUt+΁|+ ?KؤJ,Ē&9:ZGU PX3ˇY jxK3! R&uCU)nZ ;2uBHu("`ZRElOL !3< oM#יܛw`9npf'ޙ/LJv_,o7 "vK16jNIqyD-*K)F~+URmq]1ॴ9n~Ub-aUCuW^+sY|4`%BI":Ѣ d' ӌ1u T1v1Tc${gS'v yfifpM9-, FIƖ(Ãѻ  1áߙwP}"kR+-3y l(GZޔ&^Vz '=M YWo~7rURU0Cɥ6ńBַ;xFJ'eʾR#4+g@=>Ka]V9PJE=zUjHoRFnMȗ: 6 r犀ΔY@yH1*iDFʳGU;%:֒Ձu@1v'<%ΡKCV2l.ZvC\TZJAe2#{?<>v@[ؖ|* zc0nn ;yT9B"Rݙ3lzw^V*Nt31GfFQT5|nbzARC;6}y$rBvg΄1t[cxkOZoml/**W`O[s5t#O;BN0sйWm'V5SZW (irnIxDEd~ 9k9.<H:Igp C{G,mI"0UOַ5˜ʮfrJT`R (x_]Xn58 W5k-Ssz΅| #p>JRHEІVgZmrř u^`&{s lƓ\,D[|0M[;#͞|lj|?9D\'9?7| o`Xԏ) Yg8rݻa֛׍X_]1'_rL1*@󶹏RF w3/xd' &Y OO}gty,p~܃ܕ&&Nx?Fn>wqmY]\}y:GU6{hpA7j0 ky$[;&}6]s"m[s쑵 8{*#,a['O1Wӵ[:ijAudX]e&(-Yf`~4) 죀fd@{$U+fLzu> '3#DDtK9F86 ([*S A K5SW)߁`5`~P=l|n:^v-w$e @}΍4ֲݙ_!0Gs+ |E ;NN8 V$ A|B#pyl:E -K5ND!o ~n1C'foaY1>ÛBY?oLmV朗NߊwIm2w5ו5PvkuWx\n qI]5w@0jG]v\F-AIckxv(ye(VUzf ";eX>wFXݐ 8Uȉo_H݀ɝp-}ikY5>E_D5 N*} B ,CugT`,NvP8x|'a~䏱wI Xe&Ze!̑('"{/.M^[Q6Jm#(^y) EcAŗqK a!Y!#JDŽ:QR>y+0kaCkzr|mHS0N"8&9z# qs<K^^6΁nY[LЍxt?f/ȺzRC֨s@.6316l7o'`kDƝK%Qd݇h?S1w:ku?jb!o^P(PG{(C5phYgelD_Nx jS }a[ю[u=5{怠&AfSK,U0ݫK uH)m?:y$!)}&iZSÕM;AHH٣攉\dhhaLB}1ՁUȓ4bhO|l "~Ƴ)ODTDp&%ܚVھ$ &Z{2QʴGõ >;bC|6s0{6Ol)R$iYU!8*|zY30ߘ\'ر&PޣN8JZoU-&ʗ8$d+ *bMhPѲ+gٌjvN 6o̖rq+H'n$A~>(J´r[MzY#,Yzq5/ vGӿK(ۦTlMӞ•n2N6 ]a:QL{F.8ʅ&/g# a+g饦.GZ`TY.U9+K[>'I#㠤yHVM;#Gҕh 14T/; ,!X䔋?xݙ5#Vjt.:Rj*BH\RAj_kbB5(_Ԑ6#08pv[/|mƑ jSK&|6$`l{"O.j (^i ބt x9`%9@ R (y ?ָ dZmAD_:>/bK̽E}KYBF~j?/Wb3ߤc3^Ly]yF Ĉqp'zIX,2]aO|Y!:Iɍ9e[3_v pJEG*?1 Q'l5'?/f~Ƞ/{'"e" ;9tc7zWjg);űsc-je(˪wSQͤtaJc Ex+Z exOr4ƽ V)btYuB1'~bSfj@)@% m@jI W\Eͺ))oMXrF~MjS/A+P1">/F+v:ԅ,Nq,/&\JJvq kG~T9y=+ 0XFA 9ewl>ER@}|B7pOT2wB'<| WWm@&6 3ued}1,9(|6D]l,qBAbO1N{ Nz;";ucQ\&d#)jTTL-hp*-\(!)mcJnO]Wcf{nvAJ֗[MiŠA.m+m_cE3\K]صm0\Dlm]qoXCr3G+63WG_?'<(Uh|oRxzsSgc@xgC;*InaE.--Ll"J1ĜcUDB.b&N.qެ/ ցH0+\FRS!C[G2XQWjAw y eemU BMh{C|~@Ks=cTq]8юB?QZŁMҞٻmZ',V9z(oo3'd ~rߥⳅ6W_2d:넊|Exq|?;>Ȯ3'fbSL*= ξ绁kLIb ׼i)Z|M+mo.̃{`u\0VNu 9ܹi p4xOlh.Y_u<@6W'`7(X&!D?Ɋe"? 'A+L) OdRQ o`orO^hE`m $ y&KnBYd*mUKo#FH: Irt@!EJdJ &2-ԳvhA Ě@q| DZ!ꫢ)(wlQ4$E^rC):hHIF]=HJeg:Qm#$M@"4Bƫ# !DB2c:E'ڵHah>!T)\'RrزI 9])dfBQ Ej{Rg/ $`BMP,3V9M#mQ}>zj ]`]AJ+/XE]9(қfQ"2A+kuhQUzFr9mO#q.~ "Y*@&RA*Pa` 5 g ,q'mT`Jܔ*`8ptȐHcU#hQj$bfn/: !knTg| 9 y40Խ[ 2>RW73W] Jqk~f>To^nXkf Qfq;n63ZOi3:Q鼑֔ {xW0F-N'7{Fwڎ۬$~]su )c9pId>тIנZ?`_k1H\ ; ^O~ds2; \{`Pg#wQ9-aL@RUͺlXjpRkw܎0t!v0$'uX<̕caYWzJ"H"H8 ]Ǧ݇:xfl{S;vGG:0/|>CM(ؓmtI;L{w!m M532r>uZ*ѩbpLQůbvwL c"T N qT. [* J"hW;3S@Tļ;f=1˚B{t{7YE~99-G[g:?H [HzP`wSʫS0zict{k}#| LGL±!\~dJ@RNs+}zbnp橪Ut( \،8pdqoU~m5IA.2p"JLBג|s,Rod+։@S-Hq+*xJbZ<#AP~@3f(hixxb4Mb=7"Qc5j0}qsG.ƿW e3OQzf#j*78wVlԙTKA,)} X3W.<:re (gɿFŵRRj+,G]zR\_ I2gϴ ; ,G+9c?x2iKə m?=b΄57o{mBA-ҁ JERd(tdPm{xɩotJF_kbl6繁γSAmN|Žʹ EY)0qdIr?IoQ!SזՈ B5ȫPV_dc2 к9x My 06m"j Fo~W>CdS-P$pTA߅1O=eIJ-Bi:%K2KkjVB;]@\Ũ:_) C`i+^.7jTj~fFR7++]+a>X yn_ckym_\Kp?d^7`;B5*Ltm1dl2D&7-9^O3>T'tYW5הTڝ9J_ƣ@ĺW U!O+?Mf].Re1 Tۊ q\ 1f ت,\/ױɯ3@gYZ5c9f11c07419a446abc1e62ae187a2a5f52f06375a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 79f30eb5371e11992ff83b9dc6aefc801ed366bf 83076ab427df1da5b130f577d831349127d5fa65 4ed1f41f9232017ac47aa202249a97588505149a