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 @-,  ]I Perron_Frobenius:threads=4elapsed=269.118cpu=906.264gc=46.244factor=3.377zXZִF! -]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆F2U6 ]1?}/Q ,0wN0O'mae&/c5⧜G4t KA츿.4u )[hɤp !hP\-=VN!ş(>o'9̻ ?NQ_' ^INk7%/ɕl(Wmګ߈{FTY: ;/U0<&/7"u pOxf&v P0̱Y ])# mi&:Ksz$`55Io.K%L1)h@/2ΐ\@]uȟ2.ϡs'14NUJ*ͻ 7Lbob;q a11+9f!'=i+պJi/G)%`b]FSems9.P.gcVOX4E0B LؚhxW)E! S{ʂ,QpLWPq ^6ZSpW`N@@)};BNB1?g[ź i}{LZ|0eƱ%"bg)<lD1'5k5^29m`h(]{8]~Ge5E]NkqDN=7u[9TKX!HAEvlC#l#-*EZj\"+י%F蚌IWBG4C\] :c8 IM.puRA@@.M QE(aу{׮񫘠*+'r|7 ľjk+/lK\+2ATc mᴘ*yg\E<^7~;`&WLix}?Sye`lId]m܀c"FM"ߞ[$o o&RõD^"C'#NKwT_l{y2RH{&+]l,"YD3-y5N#VJKH`]a}3wLN)dhBaMIХcB1lԮ ɀc< ~sd#W@^yK')d |_[:G &vLǺPn]OٽΙK%&.[Iʑ+EQ8MxKCٙtp^3R~+?s>PFx ?sZc w.{̄PuB)D'9B2ˊ}̀zɖfwzj`Vܡ@~p=SxWkd x@V9*\q3&ă朣` cdOH64ډNYL\QD - Perron_Frobenius  U;ȁMR(X-Y`˟eR+;<NU䧺'?~LͤAxgI^ ޓձbψ"-ij }$;]WsfX{6 AUn5n%bܛ]ڨ}UVYHIIZ-/ɚ&ӫ96p%\4 gLOp!t M.blEm*l\8sJ#cx5PJjiMPR!*wȻʎ{FgJI)m ^vL[l7.~g-} :1V@"QOaOOCVCq;= eFVtL.>Ɇ.>b~kg(On|_ȰS2e{^A8`~G(])|fBK^}*Gc oڣHS- FĀєK [Md£ D)E[X7.P!REWX{%XIIMnaB6gx?[]l=5q:tS_&!԰|H䑋#0@2º&Gm]0FN? Uêҥv 4!}RPЭ !&?K]nin<ٹW$TkprXT's KMѺG ^mlD%<ۓ6^1  /J0:7?hbdQfCs8C|B$İ#a!XZXw(x`G!bYy@:M2NZ,OGA3ߊ/o(谏oV,XyR$HaJd^Gq,vd l%+`CNf[hl8 Q$r/T}![?g8t/a~NIN?sEe8PC^vTd\=זҼ@@b%!&?e ҝ=-I`2-.QTtRW1k2* 6{-t,qZ妦M"*Exe ,|1'>RGgbYrF1xtN/cFO1PgsHls/9 I5?@Pg"w$vo$f x\,<zF¥4=x#dTV'u8?hb} ;bFD
HV"zKO?h؞g_Cͽ 8|+T! )INA.B)kBT瞶ꕞeH֘o0jՔa%#iuaHRtv^$ܬƉLv=a%~Uti <à0.[[톉GC:=@fa=0[R4eMЕ p[|XcәZS |>bVXS. .hD+iI©<&:~kl5^"}GK+%+qϝyo[5ƹ9q8x{aBy~֗A{.yBu36~ĜّduHj挈y*Aψ7\Q4j+Ca.s[q N9c@f/`K` y  _";RoY*Z>Bxǜ),=Jzuw'6Hg]'Ku4zRXmkxQ2!FӅZoZkf KZU1Y jM *9Q 1CP2pubw,֦J{@b\]Zx`PSFD:2smBVZS|n>qʺϋHRٶ-6fwhdl@=ATP!YLS)BJb NU7+))a5T]&[X 9AtX: F:gF}rr _\V^Z@<)EPkօ^P > }_a zAB >'Dde&9[)@wd cD/Ikn zlAb&_+Dq{WɊt|֮o{%uw1aWTM7*lRk*' aAdXkSUlVr|D&a[ɺ&0T3}S&ɻmBṳ逶xX%x_!?fqD NHPVbخz%] EY\ >l{&@ !{.G BsRaw]uV;-N/Q"q/:A! PlXz5s|1;%>]NwzAHnXM!NЭ#3XEybjTbK_Dєgx m$ wXc,{,@ ~->;8`F0begzA({(Hwiu`OL{0[Pl;Ꮃm&Y*fCȓP3B|B13sԹ"E5œb# sو""Inۤΐ7)V^: 3!&×GL*_Rs Eg:c.J8"P>>bh0fIGN9W  E7Q9pZhBd ֣-#Du\y /I= I;/)EetCF首;BXofvFa@uB q:r.z+G5aoQ6/'M++x a]5i! #!;)¾@Mpyr߼;O \z\v( [85gpAdjr?&Zi;cG2(/ѝk8tP,\jm/zu(Ϡ(yÅai/%y@ #R]s SHom;цs_TȂ!R_{WJ>D3đ)@-\)/p[Ek\1=i|'8IQS+/k1Ȕsb(Gbph0L?3r6' Br֝f .qo2T ,heD+ץ !/P4|5p=7RhpK6OcZu?0#cJ~> cUj~>:&QQSy3_DDM3o7v bs -A!*[$e{.ăB(\GDC2meʩdFP^z[v"Bc۔iϮ+EdYoSN!o  /~VYKDOnXkWKn.N!u?pحpva;ƺv @68T6=#i˾QfUZӀ4~L&4hV񮏔HtR+,m^]=?pDPw;a5cC%'-jo* pQ6depA?aYIPCFnURE_L] Ny!U7MB$\[F;sZuWx'gQ,QF#5ZreKmfRtHP0]a*q>v:}sT'EKB}D%Wp"jQ;!qd2%p> )<ϕDp@I:wm"DD],ix(NPSUĆ&ГIOfc F>q_iAJ9?|v=o у9 YD^LuTct5'1npgcE Rb݄Ɗ,L?jİ k,BICkD$ɩ7&i[#%-]9|7Ya5b1*]c/%!>qV;G{ !1ğg8f \7 vAvԚuq&7>ͮeɍpIC>\} ǨF5o]o bG*_+mEUxtVQÔ F⨔a?81j!Uw^[>^V˰%rdtZ3+ں^ vjզ'_Zü|K]*-~n+tWdٞmX00LX9i<׬I&L%|Y8b_}a@3aOن Z.D )En t|bcJ-B d}ѥ)?,a&UGY{#3ayן"M„aRmTq&"$jhvh#AK7Pzʕ> pMeʓc@0/q&TX Ixe9<0ਗx=\\3hI5vGz`vvJ_x *(U>R9)S7oD FQ.aTO1/ɾi>,f@͗Y FoqE[.ݩDCֿwWQ2,%. #銨5da;wN2s';c0EdX:٩=-Z:54XB8yh,90ߵp)30 #eIΖ;HϪ'm=,1Vˣ&g+5#fٖԪzzS{Jsc(WQ[(7#N_gb?W_SrڑbD$ kcݦh?fT];6\qSpJhȏzYP!do#xqR%hcx=t%5z|~pMileFe8g_{{}j t{ S mp4QX7u UbOY fxWݸ!L5#kJuӟ$KXծQ۸(bstMK&wJ#4TDc={ 0NĶyן"IOcQDuy~)z]Ed]\?V)|nܫ4&m=rnh(ōgj%kg'iq5R.vn.ooR2mw>b@B8Ḙ2Ҋ ?.O];v+d%&8XKz@>v\׳c3'ed'-69z9 y@?x4}S<}Q(8Wr,ol9G9>h;_9J$xT6ԔpB{]*Dq.L+3{u, Z~#H?`n;]Bۥ,?|mྊ24z z(M.ʆ'JIv^*hlT~ uF$ -|Q$E =A6,oKvY3]0>&꩓x~_&ZKn1o*>//\@MB V;ʅ6ŋGH%%8h7?_1otk<8{HGET4$t^n4;k5^ǿӐİYWD<8im'R`v3ZP'~PwiEwX缀g_r9qi(hqT'.[à Fyl̯؇%)dya]nEtt[Qt%=EKK|2y/Qulx/f 9&<^exnj 2 NNEsp\SZd((x M-- J4ڤ3Pjbw+J3C }Ov %sOX99f6:`BH܍8x/Ϊdg[#jB8Dǔ"#d>C['nʲ i6(M bz#|H]BSNmY sk|Vu@6%kmВ燠_[6խn-_Ӧ{O-]ҺlQQ>S Vy31i]Y`pP09\s`7ckY~[٥FG2~ΡmV$jZz>u&tM]0(tB˶FCgI:x\Wn-Z syywsصslÉnEgHy ӏ>Z'YaeHpǏȥ][58&ŝ.4*'+ x m%UhNj;^&e odB2\qWL3F8/@DM t,f6I_o#.0@K5 w3OY/NXF¸-RRλv)>f/g]($vrOT*Jarr{x5pJZ9"Iƞ=-wW 5te Lxy9s,Y8|{oL80jvR |cn ECvux * *lӪ'ikfJmn 4?@i3E~@"fQǁgDg]O1y JRl帏_-%`CRmwk& hʸ/(?Mii+THh#DI9'ЪafCg"_6Jq~H4"z7i{U%-ruB.a &l;D@}h2m e7>Kzwoo>7O _ B|Յݵv4*e4&Qs`BuO/XXZtZboyh${!/?t,:ı#8a*]. +7|'(-2uU Z" kX:Xg |x:^k袾]ь_7sҔpڅqX<5BE417g3?mmQUayK:0# .J4#ҿ#>)ӠcPE}4G V֠2ҧhD-"s<3T2[ ?X[-'#5 6qYasS^(dSN'ž8OJ9LboM s| k&i EN#YE\gm/Ibc*X-=xͲ!RpMV68r3[Y$*gYZ7zXZִF! V]ŗXiɟ1KwCe )wG:ͦM#7q~)Ԟ,k50ƒߒtE۽r{d+ň{jzoqrW-<+r^9؃iND$(̊yR1mYZn!*#rգ;3उjyw~5`Iԇ6%7Է(tUg!Zfrl+h슠ܺ-RК&k6(dkS[ ʓ-zZLM36:Bt1HZLEc#' v-P Ds,o#^ <mπ.gطzwwb7-Coĭ"r*6-ր=* ]͙߄7>bapG!׺G&`g g^fX ^40&!lM\_š+ T9YlSmDlb3E2w$n "uj qW</e;FoAH*|76ʋ3V[d3`Ѿ.GD?Is˔fVϷxQSqn!>Txd +},"̅]vz{$22h!LacK!w-\ gE= i5 qĹ"Є/`?"V iQ9!=f dZ}+ 8D2J1ovDWcVT%s\('<$~;P-QƗYAJ̠`fwA?0+ZMG;O4C(Q `Ut]/ly~!jek´aPL_¿@CRo ,$0#O넩lg_Nh"h: 9XWIQ4Ckk}!7ȴw^ҼӜDAˑ%Ÿ}tDC2E}3P*x:eS9Loo3rӏ41;9{;):Si^fO:,(k'C#֌Fө.y斬xә"Y ެ廅t羧yzu3lA)z^}%n\K)cI"hM}c}om,42_ѫ>=Sۻ`1v u E=kc~?n#N(?tb`J< Vpxڗ"̼x~, VВ"3lMZYm3yC!S47zr hB|&ݟ;z%ldž߉Ū;˸ٚ(+*f9q!6] iѸ@30sƪq`gS'2aL:71I6qL% i-Txl{V@fNˇ7iNr!OY;?LF[gRvd nOa1FMy χ`'rT\av3('PH(+9)'4]|rUcEE/Cʭ@vԩ٦BhzL*&BG uS1 p^i_X8k"s hRHcwgG VFҔsk-m]q=Q,pk 7nZ/9Дk0Rߣ_*V[x~lA{=[ɤ#l*e,ɬ זkzԊAT=6Su; D*x2 cMM,Np8~q@nNT[3>0 .CraPaAy:7 !KCF_j+ˇXzdXZE?ٲq}Tq͍n#K {wR񍝔(_tmVΌLn 'DfUNE7uV? EU>uVpϏ: 3{u%K⟃b'x9ae5d+Е}i.ڇE*O<ͨu1Y෼(~o{Q_!SLְViqɧ^tOQFAU 381%EzjLj}k–jPcK2N-k !/(:ѫY5e˺ȣ-[CPN@4R\WQцN흟o &ZE9V AXg%"e5`Y7ih$`f*ξ10S&3D<(HbC oҾփfYYCcvdƶiR,,ӭqym{]`XH\^ %]bճ z7E\R$;k2ESӓ"7:"KbH4*AF -SZ|˄(<hrD$8 G2 WQ˥ʄHBK{ 2L5z{ކo**8 3+SdH ɓ8Ajd^(f^y#wm'Ҍ1)$QsZ6 c$k X5T$s,eE7yi$J{Sp$g4,&4V@q[&4F#fc %7x暃L.d Tʗ~Zmh"Nˈ ͮw[PY^kYT+Xd <)9(9^dcv? O#e,ҳljҝoL'8\W.NAQ]JZ+_ˌQSPxh\T8y {X9=Nq1x,:0ި܏bsftB~?n1YiyaI¤\V̇܊gQsy7~x"َ¨S~,c;2)̠4ԆxaImkQaC5oP&ii}"TeƒcA?+Zp`o5`J/q"ya/'3^eZ}sm&gx͟ yPh~Cֺzhe@;aS.Ħ,@#tYVmB_ v%463cW>)ͱ! ~X)QlRpU|}*0JU. @"tXŶni)>fFdef2!1Xj1<7+Z 0%c7lOUT"Sy,n*u&NKiw$R*~&/6b~O%,e?_H(M\'H;  |na4NE/=rIKR~3]L?06 ]@8huBbd[dzyop_uI*Z~7`Ao/ 5Ɲe oW;0P9ܽ,AA%2HY٬#URD[;eڤXͬ qO׊kW|`R("޹߳}99$0R(ԅ L2^,cWwVĚ˫2 5(ݼofw!lmbF {ˆO5U[ g&"QrjDFRԺVaHck6Ʈ<%;8D&` tzgHsqwϫ4GaxT !cܺQ0\} W֫mK /8ެW<ǩnjdQu*C6Z[GtOM+8%Gh g!h΢k; O,\\ ү"x*ł61s3jixh~Fs" "y C4X0 G^X 70lgUNթ5"id?#} biCZ̪I4&6{*nxnϗ$V3Tmv3xV՞f\65奡)r"N!7N2sλӢzS Dy~w$jb1]0ڍOFV2 y"B텡Actq6R't_@_N۶E4fm-}?&,L[{Β>)pm8oN|嶃 `Y##(7BGT*F&$)ז w,h -{Fu$| bA**j f^Ӎ5g52X*=#@4/~bl?ƮndL${ G}ȌJ o\&G?/U0ݡ+WJ3bϡ}S7vzNs]waX!D̪r\UE>r䜛%snDҸ+֯K0X^fOOg֦S3ײa45ZO0ϭI0!V'wo(t.RR?+ȿ:_AtT1KM" n,Dћe٘Gf1\K=o5^{/b ]XKt.Ep2j/s$ƼE "p[ǀ GﻉnZܪX Wr EeUtjˮ_9ܢ.GZ= )/vؾ aGm3^NB,iY1=Co<;"w9<7#ILg7E/{#ۭ¬%<}I=PlC'χ)+Eoc=[>,?_@,X|@-E@nĚZV;McXM<\Yq1b^ۘY̦6ADmW.2֥#PXhQeC Vj|U FF].NYe^"^xlqR/x7yjHgScu}ɫhQzn($a!} &So-|%C~{e)p 7Ig6͕-!p+Ӳ֔1π=K]zepsf:PݜR([/a=aLsNpJ^yJ8A4)1៴J/ijx$xgeUm\KP%8~(أX@QvSI6AJ ~TIJԩ%ZuDRr;S|n ٔ=·96"{?wqk6g6MxWw>K !RE1hH͹PmPƒxzOY?9q[aTEtzK9hܹ(Dp\`Rdٹh/VMtT6C POQ{*I!,xq8$e }hs _?qV'uѓpYtѴR_niW頴*}5D"~s>P%F8 plj0u`)JzAe-f}aRv8s]V\`%rGTEBAH2L3d)سG7ޜim"{\4(4 {_өgIf'zܚ3XYM&ZrNNNڒW5XJ m:|̫=LX ~5giv,ր  g+V]I|wCk{K:؛DL&u"AEAYoۛ tv0X l.,|{CޚAUoY u#f6P^sGݖmglԼE|AӨ*L;dmsGHc(E͘+ZŤpP(_3yJNsk6uEG'Qf[~ˍpe2x֐=sA+wJlu[y/;Yh2"H\2q9hǁH\u}[mꇰvՌPct ,pkdڢ%ߵDDZ3l>%ñǜu`j{_]nԨ͖S-cEYk}RJ\nn#:ma>jץB=2_f}]tajjasOG _sxmB|w7?\;׹g]~L[q,#m5/?v mpS=1 ns-5|kJ7z%-4n&_TE+vRHMe ۼ|/m[<fr'cDU ٨dBQŦj/6k)?~ Bt:O^I+$zc;be3&}To&3xs qqOm))_`gDFz HDIV/hC8Ȅo{4!ONt.X" &YS)ڃxSy-dFZx / g>LkT1m'ዓ͇z=.*PIMmMQ}xE'EmtiYK犜4.Xq!мRnuN$7*hG> '@{hn"NWf>2_{]:|_s MWa$rtBUDlF[kK9hki͘Jlt%5v(9M"VU[wΎHZ 2iKm$,xrI^<Ģ_3w1OcOM$)W``rQYT?XGU4X3?)AUFX* ;ӤO#iI<ۀ^7_ %^^?φ@鮺:aƴPZ`e.0C4k]:;; re w' m祁qz}Jcs& { I{<8buVQBG9a#ڳLR>7Hl~yoXIwR7 7K̦~@Me"ȥMK0D@J;l=_jYN#Lݝ ,} cI\pyQ m* v5ЙӘϊfѸ/v7{YHU{ d ~U$q35{ȕ||.R_K +EApJ $xt Gf7r@ BY&.Gk/mYBH{o%RMޝW^ mp'R$\uۙSHp` 8_b4RFO {>gq,8>hi21)hv]wg,>x[`c3%}}2z|ޡ^^a @"; [mwm⅝ OJ9߁n^ߓa B2DKu:I:e*c'lx^k=`$*yT3E-w1gR۟],&[Ўڼl1"9jy=_iz K1eШA+Jy}]ّ[5wPxGPԫ0K"p1Tn3af3&IIj:TUI sEZy2F|Df8~)(񷋮&}~ߓ.h|_Wg|&&׼f}q{y!mP 2wEd|6h8q,g[=KZ{FkhB4Qo8&wr}sbOq;;jac.\CU9Cw|pXYq;>(p${$r33+.bxzQket0-m9_ANBѨ-;놐&-:\c<_d q.['s*Ky"6N[L&_Jce<I pF?̚'%t,hYIHj LX6n {>;St6cu"&b" yp"%dꦧf7&45^KB?{^6];0 &BMnBS/jkH(9׌_ 3kejGh W9h$3]NK~C5g 3cLvۺt;oi4Kxh/s6bhCoKɀJDOP;Nr60E*p8{BYʜ`I#ic۩rk4AɲwN QJ#ei6;یs%iSWI:95AlS )gp|E[w#'ū*a??iBoI( SDEab+K Q,֫λ~dG ªFaR05Nt%LR-ܗJѺ`y@lZ sz3" m{+1 |nO}Cط]kDNyC"F8rҀ aR.t[+My__&/ -Ij-41z0~ˊN~j ;OK/2 DoG 4V||#f<@ "hx1>?lNAWڱb`6ֆaɧ^DtnCB[nj;Ak\R{aMًz '= ì&$QXgW UvW4g{dm5ɢH@I`*).eDۺ:3@9:TS4 NY qk.*r=\`٠_'Lj#LStUOl|FwĤ?榭RӦx^nD 2WG#3Oh{ $/4(]j"ϒ\A.ZiаIj g|D S@8H{ց{mf-~)TK}h3 RI<]oC{ں-6uaﰺ,-q~08`1#WOxC{0Xe}! [N) w)sMխdnQ7o'UM+-- ~*ᯰsuں'-_YUEP79Wޮ,yLiڡ ,T *Y)#}Mq̎OhCC rR*bF<VC,Yh<;Ε:|W naY_g0_Vbl{4 c{9qu_:@`)KYZʞhqN`ؕ@0iʥ:$Q02<&xq)OC$IƮMipj1N `Si [A{sZS|cJWH[m#* !U~Xr*ɠg3N S(< ضc@Lن^do fCH4(Z*vJ"e9ުBLGgdr" ?{we*Bcܡsq"4|ظm>>Fabh[#%ծz"',om&ʁƐpxS4^t>ԛY38,J*{8-- Lla^?ؘB +L9iDFE>U3\,מNW؎AFZɔA팽Z&(kaG&^C(W[ԇUԠ"Djb= ؿq y`o;mð(^FgKO07#:r='EmYá }߄Ԟ@ PFlR~P PWql'^q7)zjB_h[N.Bгo 7@V!Qσ)]pF ټCb]IZY-_{ X!,1<1P*cִ]nGk%j f$Fe[KK~Z(%<91 j.x+MVL v3N]cI_c/?p̪ *}LFN7-zZc$~yt8^ꝟI_hUgap$4+ nW#Ϡ[ZA*I]\[9`g 8SkCFR}σh;طA{xOH[0^q"@;VwdP^)R@N姉RҊՊ$\[H4.0E:J2j9ikFlazSrb/go$sPnߞ-ݗ[P9hM+gK1 d|xXPWk j~-ZMH/hdlzѮ^'9Hzo,ufQxc`b%&H͑Yd@"zu<6ھDWS养:Ź mrκ{jY%YvDC_*=sY }Lb99JyǘVCU?֟ $IvOK)uA=mv`bY{5(HQ)NKhkr:<:@fϱ}9.TlJtY,/,.8nS[]_ ,[/\ CAS 57j<$h r@ =ڠkVw(\WȾE/?k!_@O'dXDR v;7`s@6=vEJǰNE%GFVDl O^9Od{4 #|oځ6[[DZ Vv5qGvX`Վ- |3ۺ)u/NdSˑ7{p*lPTгQ/uAq05Ȥ&YZ * YƹA6W}@`-xuhxUæ4wlw'H^µ^ɧOȅN v= A`3W\+ f6p#96+h[$"3P^P':kͻ>gG}c*~1(;anM~f1hqT͓f6G1 B s[I~A 0ثlSYPT]'vA$w}\,p\k,D;<=W"Y1̀$׽38قwE,p{\ 98ITBoBdVaxPk KV@\0&i:y#V(!&z1ouS A2z0ZehsYp\ ۞*-ah!Ã^ a@![ d7~E^ػ2ӠrZK}E(!eB i#{Ѳߖ5Zu+ſjōM:tjűl#!egݑ >x^<_Kc'Uhqրt3&VchE\=Փ@Gkĕ&S2wFpoi?8 YO-w>0Ė \*@ƀf/5-@tTIqm ќt]4AG qCryoPX'ZE@q.o:ZJEWi8(&HJ(e{I':X-:.H3:: -9p/pwyjkc[ІQzmg?`Pdz/V5AϝUvh=+U.HҠ[qQO_b, Y"kj 붘Fx)QBrdW"QԀIOHVgJǡJs:?xq v"Am=(ft=4щH'*mRPf%'j\B0Nj:t Mk 벯WqKbMmc ֶf|asӆeZ;:2Y8KzgϣVzU}trzLTꤒ;ܓFS^$N㋉qYZE\$ڸ$}Mq\GxPl0UHtNT()8""Usl5cWKllї ~gYsިM/ cft}$%B%~90\zaragئ RxR#6N!ѡDFTV98Z*9֗6ng?K49psX2#!O⼙AP,lof8h-qYG4l0,p~!5QbN\!Y)-FQ^k8l%i$]1BؠMx.;]vM*nԯ`fva8Muꔴrt3Qu6D81 _?k +CT_3T{;q.TS'xtS?8 ;ųGb@t8[wKܩgo_|LWajժe1Ԍ txdnԬhJ­j&tF]CYobZ(B^lrWBhoaֵԌx Rm?:bcOrcLd- gLmMV)|\}Y>ef M~+xFևҎ!>'+xED"s+هP-t8FrPLTAX{Á.)_,B&AHY֥%;~wOŀv%3%:3#^W 0}&9g!޿(]hI#nJY$oXwđ.3+ajGL=Bql5B5׶#csUzg3o/ S8bZ׌8Za2VQ:yQȴa|น[PA.@#74vEck BlI(3Bj'V&9(̀/"5qd:]؛G#uI[9KrN%BkRu5]4qOܰ5pihrroݝP71L\*MWbEL.*;fH=ȧ,=R J8+U DePM!' @ϱdUbH΃f草4#D[u"n_sTwźMYh:Vpd9=5?nA!GiZ|rNq`_dL7wfֺ(Yw-TsUP<ړEQ+sQ/+TvBFbu? 5­-ȴmIVXݰbֆ7Ԟ o좠&"d&}ґE IM̏Pp/cK蚌*2OOni^ VyY^_@Y@%Dq Ȕ\N};R(~w5A' )  GߊXWS* .E(Hb$AY8@8IGpē~'yZî2}/φwf}T,SG 镨Z;{{}(ضKDhܫ zz/2zq\]jvZK;BC]Z l0 + $?W^ #3Qj%,*lYP@l-ȋj$5xxUf/a\-d6i_:y3}sxifΓP^~WL- ;> 扒On$ ިi?-"ֱ#KXJ%mꑎ&8yDq~KIЭhw*vQ C ujW,LbxM:b{N0ƥ<@YEg, J2#Y٠$ϔ &x9˧ 6Hk {PZ~O!nzFwq;> Vg%s8K@c[u_M|&-h GtoZmbF?;y(+aO4Pdb3 ~8!]RZG"Ä _ϖT6(KmJB򺲭4z& 4d;ߍPC]@bU%&Im{i }rA.wRҶ艏"bpy?}Gw~ ;;-Fu, (Ug`:|l}M.o~VP@w^[guh%{,,7= F{\Y m-հHq%vݧѢ:!hĉ[)Q#ƛ+qPSGKc C=$wua < S/hJr &VS:|Cuɾhbow2&|0y2aii3z7Jl; )pZ2g1"[r,5ߎdBq{<{6݉7:2 \hY܅l.LT H3Y][p+1*MKJ u:̥Ibp ֿHEޗWDZ<3C!TMk 文pBji]hR60ðTk."4XUǞ"g5X0)s];u9vV^+Iot1nZq*ds0YB[~C.?!4G-!?\n^ C<{"dzn)) fv׈Sx_$oC.?@}c ߰K m 42L( 븥. [9pjz*j`=hc7+M, ,rbrL'0-@O?Mk,ޠVQȏֺ MAVχCsq vּ\b w!Ze~T H=O :Km$!GF 7(b+Vf٫>zB(,D0lDd&h?ũD9OiEʎx [\Ŧ!]CoMG?LxG5XXdu#0=un OB);A tm` d lqrEcE?Hm_T7 p6h`R灠O<n]ezE+V{gnCQn&7T&VRy~7S=O2[F! N[?DK ]9[bCneLjAf \ ! qA%͞7Dz,Yo܍%R UGR]G)faȌ[߼}X^Wc\H,N,ޥ)4!EeDul6k^*?ӷK?Y>+*؆ek*++zy5,܉G,5ub/[/t@=xCPz\|r )W+FeY 9f:[Ɏ[^c6P>0{D,AtL=m\bSנӏ1, luS5Xz 4ёhsrlS<"QrV)x+@쩅_R;@wo6j+XSi"#pj :r"FAEZ+pϸ(K k;puZ0^-ihBXvN,RλD[#&F 8P(VܶC8[TJ!)&g2;L-$XG2Fmn,(HC@\*{+o10zqzaUG[~4vngqn7-@Zx=`u%}Bz݋S$!ӧ;gqyXDs]Ġ5|5uFyZ'}h6b ³p &YjP6Ko+*cEC {Hhupo3}B5 bgy/*2-:8WT#krvDW UL:,A}[.3#A/"2+5hMUd0yqk G8ᬮI-"KP.(ԊJ#h.zv ufγIY7 '8^ɍe]*5/U[NiMA^AITbY{lIS?HyjNNՀ"t^ suI!HERD`M(ޥ ۱gYZb549c61239998f6145961aa6771d1e4355326c2fd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 09b53a0ea83f2135f0dad794ffb9fccb717c814b 613c7ec82da5d763fb249ed73d13834acd166e21 c3f1a961740842c4f80345d75e5e5937930386c4