SQLite format 3@ :- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 33i5$| Mw]Pre_Perron_Frobenius:threads=2elapsed=301.255cpu=531.960gc=20.784factor=1.777zXZִF! X8]ŗXf1-q恈NucvAݪ4 c?[2C  5 Pre_Perron_FrobeniusIfW/ |VrKTtN6bf4 lpFplKW&7L:4H?+FL>-Ҋ| k ҐQo4[V83yxt܃#(/tzKC\,4FĦpSARQQg'J;K!VDn9UN' aw\ǀ0Ù4×Z7O2̥ygQW8x`z,8?襬~s}g|_E_ϟ;dIE!?̭\kpmG231ύ M賣[Ax0g7)|MOj@ރ@:Fn)4MjaE26 6c#)*yZ<,z;^}9b9(DHsJ-dϨ5Cd['YuD 6/8Cik{)ũN7P[Jpvx/Hūߖ俛U`{v naE8}w]rPlAdJ&EB/qZɲiY~'kKO2^U⑙ &d'|F[b$}YSQF8ʹ"0L| f5N!4%~õ-;5]|J'o!_?D\'i.K+}v "! `SJ)R(haFԂqBw>9$tTd"*;0ǞZ`iq D27_M4;?)f5Ün8xlJng+*=xFX$5҈l9Zu 0¢0 HK8IE֤Nq!t@A+Έj>a.Q]Yώ6{ǎȔPX񯫺S"H%8_g`&O|^#mOOni:3jc\Eū k.; :ݛJY]ߞXX,m ?)jM.buW}v&s}YZA)(7upfk_FHd7 S;mu55^(;/F9u')Z mуvXT[KKv*(U^^Ed"Wn hwjWCUzm2{=``kbPcN?ՠ_eɐb :gI +%ټ(@co.v[)m?jAf@Ƨ8Z?# iNM5TѤ ƚqu!OP.v+q OxGx_Q5o H5ҋ(ѯ}W}NY_TI(:.mgiBF/ݧ5\0Snc=snrGPy: 𛵘KR =,(ت:8|ܟ5ߞsX=)Xqeo-ch =AAv#'NadBjarFaËA܁ܱWP#AaN\1!0,BBDO8-bkSw52㘚x A 55w$'_U|OB.X?;FjSGz+:5,Ά 4'1,,q61}tr_@54;9Ц6!׭LFa=-%ʽV_}TVSP!OQ,g8cVM˄XedS&*6’PXdN<;BT'"1U~8œ K%Nu?ɾU$@%k0a^ّ9,D/r3|l]xID(0Z2Wa zqG8# f C兎7As"VWZp>$ zhJP:cINb?tR^e,醔kϪZ3K|M [YШP-" . ̰f[oZ._c(#i%A4̓aޅ{ni^b#>^v|Bٍ_R薦xSLb6*Y)r0K&&]9p񈚦)9^&`DCՄ(3?tU$mi=>93}Ҩ|UNƒ|B%6 {|Ib;,TpC2ybmh痼JN lPe/U΢i M6/O !`ἂzLQ e\R45xui҃gq%Y"a'XDOF">l Qpsx>;yytI'UchtQHmK LC4ĒwE%wR$_8/h| e цpT# ^a:K%ʲ"vJj^mt*)";WvZV4JǐΐEVWT2i㕱}/6%u'%68V[Y"_O_X><EFNJ?^"7#͢~Vi9#嘡V&)5 AZ`UFYC'CH1iku?8z8k(?Hy/)Fxǵ&c'7%d͞|n+y{!JJN2$PP(2w6:Ν)]vNu fѴ?Oog ӭX]f\g54 䚿,ŘUe60!k20`HA[ҟ-z̡N@0WC;V^؋a؉P4EM״\Af~ڝo]oxYů(SۖIz@?"wW۴wDž#5IڤBʉ`}m0*>[s8Pɱ.7bZυQjჰFJSJE@R/A41,UEڭT__i.Emt&aE# u V"k q84 ziȅ]2r,ݠَe A[/ RF.<_DYq8߉NX@8>5rgOi sHf#(:D͔8NKjIh"9.k0$=|?&=Fe <m&_TeRC9gju6í準gMA$˔LۜRRFupeWV݀q !VU~$D5}F9Qu-7QSP;zGiHHIqai5kh)~~NhljqM<'qوi(7:SJj¥tU?㰃VaZ83gH A+Ս~7TN'-xB~@WP` /i*VfLޞб5,E"Kx{I|pnnPD&U~ɻ$4Y"^ߟj8#tGQ g0&?)}ڒܶuթd^VߝfI5hp]3%  CFb9YzCBҫۙtBZ , e_#E2֣59}ղ}߯ uJ {yf5LjBhtE@eL Ϭcs*u7NT?I;WK̑iu$G|B¯}mp"v3Fc<,T,v{49t]A_xcP۳'t|iO L+=waP D),ʼ a i8Tosr;#0c嚿a/ѝ !3-EW0\"zj;}Tg>--;lO$x <[$,;[w:j($KԧXB@bCɇ_& KBFѠ5o I H9{ md }ݮ6j~ Q:~=\|M_cn@A.&+b (+?d{(= K ё3O\XI?:FCƌiAjQ<*DD]Hh__㪅ni o?:D\\=w' KԔIg4|{Q҆|p$,|/ū |Qҝ!1 qsų#8y87uſwռI:w7_vL2Yr+ &RP#Ԯ(tGfo3ynE>W۟XN-)rb=mW$R>tˑ'Z'v+ENnJ݀ >Bc83= _F3=1cˈ* &_u%hV0|gphR!HD2s cM 5 jd`7"{2(hX1=@௙05ǢYF47m0-ia' Nu0ӫ;6)ޫt>K@ +AᔰmӒ}J3uA(rszdAխ&D!.++ 4bd&NTom-B!< zS_C4!fiKWT #t<9.6o/Zb, ~gIFʨjҵ>3s2<ڋFN%[ГM c~a$9?%n΁&]>$_*TTЂ޵j{eק-L`C*?}3||N?0}OUҴZ*aXE)2(<7K]F ;Q: ۟f^&rAtH+#[kJWǴ,ŋMM7y] ⓇxuǕOwb8?y :D\BӺZĠ`ng[;&W͎aڗQYnPWw?z\JlwθcKYPA>8 F rn&*OosѺp+HfWzEQ@+Ӎbl-{pEC)}*AK#8{oJy_YDB@ݖ~hUdϦȃE=;45F qíBPgG =@# \Zl7 uK: /d{$IB *TWM$SYnp(W6J1O<%Kq:,Rq3 @Nx\x{O.nj.g+\;hηM#[OcQ/L}yN wզ̡2ڧr&`cG+O0bi^Nqj^^~/# O+{ Ӊft&?W;x&u4,W7N/PRUޜDK A(3pnD"%7{|ġ%\xZsJb#Z K*ebYB>b:H^Z_(mf$TRvpiCa?M橑`̆RF/Kv.z?x;$JѼ5.׀H'jix kԅS,eA`Ktg<ܖSd W ό"ڂx~~%JGT_e5MZGOvv31>14_p3̛Jq>sc3noJطqH$oCf>+MWtbSMQxO?i(:,q[M1#vdտ >oL/ҋoI+U^tXa9.5J"&eMI8!F<.q%w_y4+~u故`dڡX1i-.|rJf;\8y-8#bT.94sxL9'R./W뵎wß"4b9;El/7I3hN@I(bvH>ct:yPW i$'jZC;j 3[ .XXr"V9^zi(_U]$9פXj0VPOu>/l-D: BϦGf+aJT cYаJދ?Spjq8m怜44HV-NaJ "~p”/c%JR*buw@ޞ rԔh h˔v/8(ٖ坟^vIg73sHK 7՟oDٰ?cMsH>0OY5 80ֱSzըf*2N]鶺 >_U⬗jC-Q~vXoK~tVH&wSBQԘNpt;Yy AV])(8,i(Al"o3Q +;˩8XB"CoFSÁS8uV)W<"fә`6p[){ [].e]$#^ZFsrmW9>cOӍ#<* yě5wX'YԇVA 0Dm'Au5@R]uMgb U^ `>}<Scv ?D7MeCѾi&fy' -aVR*;B蘪hCY#T}V{ qV!V;'w)2|g[Sw< .25۱q\8m-J,?dqp0Y9xu}fPN&&uPZMRڶ8B11+bȆQFQn6xR)KŅKbJす{HJ'N? xR6Tj6vdaƘB0hzT#`@Ef7Jf?'aK]ʝ`f#TX!'!lྰ')n vY!0/@-TBZ\Չb#OGG'G ^9X}R<&21:oWŨ&:e lL@ڎ'dn׿3dy# 2u( uwPQ> :ۚ,O3|dǰk~o&~eO?+M!;)J"BH7De'F8C{CͱB ¾-Me-n&+;%wʶZ?ܶ$iO:W{S3~,AdMχ5{.a`yxqHBXS'GI6oYHK4'툍H!XسZ6lbzb+Sc*h+KTi*DBo=FZq \xTnch3fhUC#"*#I6]i.=+ >tYP:RN~074@g)2|8Av}JRK8Boc"WvKƒ?Ŧrˑ|DaLgu+65!vMHftq'S7jLmj6-*1_ 0[s > WBNslz8̘؆@v%:R4]IbU_^IM:b=4&p]yI~0PDRӤ¡ACn$;B_t jTa*H2Ѓo/~; ?fsl:]yc孻HuN)0h^pWiqT*V äެdIU+na!>l0U衶BX߅5&/TKdްYBB?һP_(0RC+h"DŽˀEE|^@Qr.2iߜ  ئBB֚d w -r}D[d G> U?̮SȪc;(,` =[5#_ꯥڢ4j̆7J^%S,yi(^7| l}Ũf,B,x9ee^n`NzXɢ\gG7 h'+ IfqaTU^[e\Tx7B6~/pUn9\(UWgϹjLWu8X a/7w!׀VM\a˖>Wdo: #hؐ)6"9? &hcLe fۂH  و:u)b8zޗ5kT:n=$0*,BAtXc8) C: <[xal %W-pV`X;but;۱~з^+ ىkV%=kk); [3"%qLDo)RK!O+*wprl. T 7eH1@=zMB*r1Һ/ ~ENEjeE6? jVFV5+TL?g*tMVq:iҨ+' @)2pjє J>n2o?̏#X ?)AynrH B&ȼF8,˃0ռUS@ -KF{Ft<*hE _AQ?M7@XH"ͱ'f-;[;XBs0o镯iz:]/wn]QwΥܛr9<\wk>?Ȍ_o1j$ ,YY܋8yݞ|$A=v7lZL3:ݸc"(+\4qOүef,_0LMw?w7.˺^zL@}A$>tЖZb pmJJo_4T x]1P !HvtߓiV͗A:UL0r bIn %_ ѩ-3v:"Tim%T:C"iyKwcS웪ΖLJq%ۨcWL]ag(p:ǦM^TYw~–z1JA 89[WJ1ߥ$^-׌1U_WiD ܚ4hϿJ{IcntlYD̄,OZ#]QDDy?{2tiˇ4Kwi KB| "8*r &^Z3Jp؅)_1ݔA=D-,^!*+y([E M٭K3hSkGqS1:Cg8gftL7%[ULJN@\#Snr& w:I`U~4 (W'v>w(Vq3;߭snn`Y=LW)8+$=U;dHW&ٗRP,{,BAWqc@KM٠^iroo͂y؅)c j2jK9vX+UGIE%_*q28#.#3| bƞy/߿2" y:D'L:´ *d2:03/Jwi݃I`:7>Z$j=2VJNEft;)=zÂ| q2h)csw>44e8{}N78`}asUA2K x #f=2epj -$UѮ!Vn 7YLOuBT8 MLӜ WPh aV-giP k>ԇbn`H鿏sX֜BI~EIy\+djN'Va۪ꛄ0P{u@mqܯ+m2 +,9([d`,yF?RkȏѮ*,e< H_CA'L^a wBƱ-wfdw;&PGL ]`bGL1Ϝmkl0/[N.Y[˧wƞf] gg[&4v"1%!U7l2"0pjOЎd;IrQFHj݃isIOS)ǫf,聀Ӷuǖftʪ\,U lj-c\ a#(e l6[x+KZVY~ܾ햋rs8)4lsJwBGw0 bbboe-sOed_Kdž u~#Þ"<\ huvE|u~Zb=ʅd’ ~s:1N΃6d N' ݫQ-""O)O.^$$f)Hl-f$OAJ^S{Zm`mDсy%@?\ oaoLgdQ@̙[j h|EǾЌ>A6z9I@?%E/ ;P]/`#ҐzD]3Fݭ싿ި'i 0!+Y,ʒ= } fPlh2g'MpoAƀ*(%XsE f9M5UUL$RoIҏSC}YwQ'nW\z5gɜ`^CMNo8I#쳣{3os7iq.%O|vR\KJU XUWK$V槜&~yNizi3n !^l?]O vS `R@kiq7bȫ$!$Rf} Ew;Z  8ڂQQ ٖwcyҗ"fh諥 cVؒIs0t/+ͫNŐ> 1V=V~,D&7sE@v?H4PU6aY4+9\<̲M@nF=>k5WKmWyd% XI Y! ieNwu%C!LPfÃ;UVw '/"Ij."׮d3/\,`r[dĬk8Āsxzjy˦ڣq6X靐Mi6 beea} Pc<ͧ}: P$rنqty/mo$,m)<ހKiJ.ka|("gZ:;;̎VW@4B\~&0L\ZWg$;Fe,=wuG4W2>1$)'"j=U17X$=Od+<-_ҎwhhMmdGqU8yThDjzv Y=ͩ[J_ḡ2W&D<$xx }Z_i_l!ߏPFAJK2ÞWVJ}a֧/ *>[Gah~'ZhWy1*<tJߟH_}콢?=m掽 \Ibѷe<˳15d޲K>ɔ~wGZ's}e4jZpaߍBxil*iuupAFݒUվ `VFv|`>➅RMrH=:,ϥb ̂ f:X\)&qwU@77'NR%ɰmV{сZ?H _T B3>>=F[-Y,ZG X`{*tR'},mA0@7A w%roGZsf\R Jdبg;W9zUCU$g1mN7r~//* biOoe1d;YXEֽ87%hl-b# I.OQ. )zW`~:Pbyp`[oU*T=HEe௩ҳ5; qck-j j`ƞc1ui&hٗ& ,yJ^(~Rr+0fL1N L:W= Y}; lDc$tɵ۫1;yE{8(f͹%5SH`%A*f#ƫiqCn>}-x&ٕvшy~KqkfKDܓYdzf^ ~ Æ Mt%IZ*ʍ8eB4. LC\{fR?D/!} rI[q!V/} +)sJ„,XߚYOl#LN5{?5$$l'JҮqms,]1vՉa!a?ɈK廽I3j'Y th͘ bF݊vw?be~P6$7ͬ=9v>sc/Lk׵d/GKJ  c Š0vTQ7MHNtspJM KiD`o@޷mu ԩ51ha g ^~6"]߃;^+ؿ貝 ,7,8/z9sY&j.KG򛥤#Թ"urдF9څSgO.5=K_ǣKVW!C}6șt WWƒf7ySյMY-3B&[7ݝKT5Tr>H'F;W*W/dQvx#q-(\aMy#-̲̒tMۗx*eڒZ[Ŝb0GyE )nb9JfG;I Zoo,Uܘ@LMJ&ҟ #jz!}WWٺћ4CY0V Z̥wX_jT(Jj ܬ ŌJa+s(ZdB6 L(XxDIW>(wt䕔kWV84wBVvOj,W~C3FgvM֦$j18`ǦDr~Kk{J rc$xy~.iCV>XB3f58y&PWr|JqEuaR.!.=+]c`}TE]V8OѢK-ARkNԛ@ ViK]y?U g$R3 A _`VyJ1X#UAQ5'# `km_dZ1|666fLo~(068U9}x*M6L]l˙ejKק.*UvƁ*|;VZݮ|cID`j4OT)2윐w pw<($Q;>oLSxU,yLk)f;c@ hP.ozto3G)Zd `fgZAu0;? arf4&ߝn$֯mV6 y[r~B:=R[#M- @U_W<.;$d e [dַV[uQ>>}j) Aն:enrD<4#d-R $y,{SRRO/,@qېmAM9 g%@ZwkⰄsk.J 4]ư'ʩ$ A_7LgڴAkbS3mMQvm'ޑ{PtMPqzY%x23-af)=ڧu n |;22( #Odt(J򤴔"\dUTR\ՙzP|"\ǎYݕ{] b{P !u[5T\cON̦B+UlʍSxk6!r[ m!ok`>?yvDx;~+R"q%lBqIGcefÆK["<ĸ>홶U.f=RAAp'%JUM+YpvбDߵ1kK-ΤqN{Bfw@NVo~)Eݤ V}XO.Kb%:-f%I%dCBvZ%ebEY@{>E(5{% 狾[`$l=A(rRWcQ9w5z;J}A0Y䤲|&07;e%6߃}fJ*Wt3TnŹ!z AYԺ e\/gP5Fz!iU}H @"-QfE (5 pV2y%n '7:R^)G~DLû;c|<-tcSI>tCg-ɧo6T/d)Jnxʝ*gQZL93!Vhi0L`y WV?s:)f.șvV~EFF[[߼TٵtwAIѰFvz1YMd@@D{v:q̴,6Tp辰MQCo -O%^I |Gvjc[ak ,~oP5IMso<@&O{42*3CP{r^&Ka퉇HiTϿ8L+;ԔI/Ӷr@ʅOp$4f- s`hfC& q ɚm]7xe%.x"#p >Y?t[f*.ж9we A ԯ |[@{=lDwhN3}&z2KUVNr@y09yOݭgꇔo / }&ԣH/-gGiT53 Ӗ]Íb3{-r{nm} {𒡣^\@e=$^wp)&XwF"/Ma׳uBb )l4%ÊјKEp$ނ҂hG0T13P-+09vkbSrImY'XaesrQ+J[JjTRN!+F24Gȸ ]k9SBbSPZoG8TzqNgGCh"B $/Y"][d9n~}j}fu +GioV^S5BY`qi7NvW<"픾?S], B#`G]#Exu ~8mG)^]9߈:є\SD鑩76X$Ɍ XdT6]Ce_@1p 9 wkъMs^RNh$YM6|ѸhSDÊ]ȅT>;{{l?^|MK܂OF|/m})t"~~#Y@եO=/44VaBϬ g! /?>2NU!fE4'&/4/\j}v^nPvT| u_{;N,UypD3˺;/?z m>.(z?ͶLbIza  sā(HŸyַHD㝤AvfzeJr#0YX{@d&bS+T[mf0+sP2GGp5,r1Ý@3܇&GA<^s|t}{M:n̿>?0w{[<ʋZH|$OkP hMaGGht`f7meG@Ibo*Z7a.;4EنOt]e%r5BX=R |=o6x25eP{r?c=ӵ_nҨg.(z=½' K*.n{(rfY=ŕ&/ J\ @E7=ήO?_Ch'zEZ!t*mh_PBpCV^6u:e;{5 ^11C.[a t+.q"~+lmYJ뾳cUsmfus)g[/].s5ke*"pWf Gk: j.2$OO6kl9v⛳ ,Kt<łQ UsRB4>p 0kXZk8 .%4zowH2ֳZt(Zʍ{8 G#&5 E@T=%g^85Lsm ״?d}5sؐ_g(&IKzBt _cUuߞWn%56w5AK$I޳Ae[W`^o{U;tpjX@{#`Ε(F !\h {Ƅ96c^^4Q"0!4BN =i(?$N@x5uc}82ӘV:\?a%TWdMtfͲoλK!<Vh j="9K$ m_CvIjqP )f8֤BGn66]5 H,t(?$ /FVu:Jؽ )Lm䴧 1ZT$)u54YL/XҗX11EVϡ9Lpg7H6HTkFK*b$O_ii_=dh%Rs9L`!!\ģ2RHEXM!I05BA^ز;_ooƙ,w.9Cd|#̫Zվ溁7s$]}M#ó:*MۛW 4@n`LX>9*KQncҡMO>{yITzZ98vkUiEI5S` ذJi)*wR"^U~-W\ NZ26zl0N_U\3RSB{&Q~Ǥ,93T(C rڄ=O.J_H.ԁ+97aFYYPɑڞchol.ǭ4VxM'k©(!}hlUe F`Ќ,W^0d\L/y"wN?TAQ۠ pZ5 TiCKPm0d@&$ R/*wvMx+;)P-vJ>!O>qlqޗ2 1(Fcx_|H!I{`( O *EVV GJi˃oHF2ܴ= fyY?_` Vk!\3sk& g[Pdk4@ r6Ǥ)glkN9ju63[ji>+ﭩ v}P]D.gLPKUѴ0;m\)~ZNŦEC@ED^ߤiuE^<*1$-]kHcl}lIZr5 Ko<` 6m{uGX쀩rW㩅:0[Oi# B8h]ӄz0.^? 7y伮w#P~J%ϟM5E id[x~HXEIDR"!~aI:`"Q;hƠf)IȘ~kПwTśuP\4,ZeJT٩A86Ji#Hx]kHRϹ?X/T?Zc7** T9:9A>OQE,=\k#-trsd4cJZ\=ݏM8tIw.UawZIs8J_it>P?u3CI!.!q!VġB@s ;4ONe6'CFe<\a'<7Ai*Q"zvܖm֐E0Q-7b-8fgx*ίyR8=؀Tonkg{^ʁzS{m>Kkb @ sH,hu'ɋa]e][]hJ Eޫ@F&_*n7hPy!“M| Ka6ZU^}. e@Lgq}PQSDeg, Yl(پlyI֦!R67MrY}ZVE \۵+kpYSzE ?7 @xq7%hA۪h.h)W>K_xwΦYD3_U˗,\d*!(PMt@W .W$Z=}'t̢7L$ٕv֮a|8% HC7RIz{ɿz~w"^^8?"Nʵ>]*И\<oZ佲= hG5`7xjlY1*,āA;Ƚom+0䨼oadWdnBJ2{} 4qѝ?IŮ53T{) 9"H-ΧH݊@mF vhwx#H]!ai?Ҩ!Yoԁ PIx)Өn%p))I[_oٍ@_m@$Ŭ^fZC"_eHtRelTKO&3xQx85w@_zg̑:3k1mD@'Ww~Y)킃!o)u&k"k.5I&CP^$el_mC1A,q@.@|Gl@qGg+G/,Ū^:#@U$*ɻv؝wWϐ=ZH}tNֶPxNkRjYoOSfL /?$ _s@ۀӫB@GTPjS׼~ǰơ)nw18?"G8<E^x7%:Ze"_ -4U$G,_/ξ.zW'3>Аakn$ƫ=Kg]龕xFɡ7jǭ&-?!zcIż|~50plg(Vy%BP0ט%h>B%֪kw-cp2>{tOm o^B:x̅Bd 1 yOCwt"+2YNiW7bN- w и?å$7/U !D ;]f9&>Hx;Qn͓ 0hXbe_Lc)d]Ct>Yk1zh*Mf5kWzU>B:Ys&܊izX1AL"u1CI ,Z@C4\&n 11q5?KfíAț{CC$XEǂi 2@.[@~di?ksG"Y/*ztUYDIۡѽqx]>dz  ,nCeQc֦ q4xo m5wmEߴ֑ ո&[u"*z6;`$bj">UO;3_&ʱ?%# !*O/` K8"U&<-/T_Slxr3]۴m&5o"iJ(2>޾ DS\Ɉճ%fe5л$P~,z{&qF,8CwJqJianma~Y0-'n`{ Nd~ڋ5AHquruxn#?>:4i@!k5:R,/z_ & Gm^Ȯb$mcJ|"L=-IMj >M ;(夌D-\˒d,:1̋%S;U:wZbå \å=<(y@dm<=T"[86>"QNEv׃J,H$|G9had6쩞_Xzcz(Z]JwǐH)˫D7!;H^괠;ɷ[z%ѫbrpT+;N-?G<j?4J8Ӕus 6;IBafkPv[C\?'l;6TWnq:7\ .cC1'hK4`4 m"ݧas)V{[˞jܣ3'H iV<U7>Uvv>zf.]5drFЕ! wh_~Tet%3 = akmahoƒ#_L9->CmB1~Q?UCÅw^TXs!H|$lK1y̅LY OQTf;E1I|ZQ՜ӂyjLZB)@1]&Ó+;A#5yDŶ`TAC<:|yi>bO_{%:T2_h sH<_:q㫹L5 # Hg ˩([ݧjNrRvر_zsY5`Y6F{[`(){@>2-V[udqGUnKdk`G$ DoL*nfvػ@c=ijJEؖKCL[URzպ*1GID5e{|0:oc o^5vbٱWmu⸥}2͢/_1/Y)^ e_R:SED{u<}%#"p{dQlu?'T糜m"#ƥލVO[(i=~LjF$ɪ&#R3qnd@_ڢrZ置1uwՊڡyw%7Ƥ) 8 &- }ԔȲFzc/۾9 _@&,:fSz$we [>vQ@(@j~-2_*k *&t]Ѓ3I2`$J-;@BWw:=|aNh8(jo)NŪ d} ٛa\Y7]mM`4/v4 MpƄ)H]Y]ݘm(hfTH>װm#m|Z1 ٖп9Pә.IE.VZi8kk.yׂP#zeЀ::6[gPS2B2*UtGsH`ѓrкfTm:7VA@l[ц# ʆI覠K dpW-|b5xtTXgثjws]=wY럓6/G JK68-Wkp14[aSNDO_n( rOyk)5u~a+X79œH5ә ͛n`5n K ,8l K9!nn/(8-^A<A+yH-Τ?б#V#B:N)@܅T/`{HdGIiD{+Pu4[q[?D+3֐L8 ~w*c:#@%hDT?OM8ܽL6тGTR4NjF@9z>cDS|,~:<UP̞o(5R!BY]v3x~A lQ6F:9 o )Tw洠K4{Y2C !~b{#Rڶ"T9uT]s:5@!t3%>4WTDh0m9,s]jVP5egY  ǚ&]E _黪N9V"+e~4P G O]k?6cxNrۈ>:"W_[-v{,(ͩlZ^&҅iA˩,:(GIH|fzMغP i$]N$iq7NƊ]p&l/ 7NKQM Сxis,ٹX|yB(1emGa|ɜ@]UX[% Rh 4zA9ClxQFꉺk\G˕R4gZ>Ġ"d) Ol `S;;_fV?ϟH #E>ea&m:odjYv@_LneHW4e-ܠAp0S};%Ǩ2x:n)ub8y|IGg &}BKhj`@*/>pc+K.x˪~NL`٭ ÈS)<v:B/!cj0@dofB}+8xꍺ ;GO&EpdwPOxyc[q,Sh\(!O>bVim_mAh\:z6S>>js.n3i593;w{|;T)ZZY e8a֒=.᰺@Ͱg6'`DzaϤaˍwk"I2Q/qLc*g/Q}"U*Bbo&ol˥8W.?#%Ex@~+Lve~X{I3oIn^5k?)dI%iI~ qz(I/ulyH @V<4On4 ~ Ʋc/⪗d&Q.]]ǧB1]G #S=`KHx=NN ń!q+1VZ{}bYg:cpD4RnSJKN=ֺKqm|_KÄEQܖn*se(#^+A8 CA^l~p"P=P@xw&Zߋ0௏":&?iHOe16"]UCnELI=|WU=T)všU\pYTES"5A/t8 m[&j  ;n`$oy@x)?Pm\U%ԮM,?k2qe"h5XZd¸c7 4 9\6Љnm v[ #j*dȿ9y`$w f{m!-sC28޿Z'+P:WrVQʖ-a єL|Va;H.oU,+~Ti3V^In i;V0^el?aC-x5I)]04on&;O=؇-9%Z9l584oJ9Jg?afnoc6.Fr3<ϖʗ!rnz&l !2 8VrJYM'F1\%v;ܞ?E>M;% zJp֩rtw=:A GK[`xfiOX J~=,^nѨ0-}a/OG삕_GHhP) 묽tzvQ;#螢T'p6l8 ,TDͮAx!{8f6Z R \f-r6E'sӢ!xKkৱ޻ç~ XSЖ:J"Nfw䟡g*lfyzSq*bEljq5ϻLQD!O<޻#(dv$R(TY`@8ϥVU $c / (c2KfPz5Z6af#yi߿[-Xm2.P͚cĽwOzhb4 Fd%-'N׮C$6Uv75Ӳ U2ԕInA5W* bܾۡXU/K\h:N[FOAhIN{ z 0TϚ0?f1RN2wUC6g @qZhȺ?(%k[Iyta])Nd95"  1fA HL4[5N~%=o5Š_~@FY*1E0I6M3&}Z4/FuԲܕ^,7Q~O}\ѼE:z Pp yxg0\ M%M5Qk" 65:kWW#Ԫp Ja>nqۋ~,MVːFtJwuM \ccn5rw5dLӃz4w'(^5eɫDNZz$ع/s>͒ 0_k$S [@30eΒ&!{BYGF>yR-?6Or+.o${|*6$m j uW&[MmOdy,S"y@yp#ljV:WUK̝Iѩ/q1:0wfMZݹ1a , @J 0@Me7*cdp'nq:$ǗH$BLTtg#miziGv9aKY4sъ"+1Ek8.>sөpg&z̠ 3+oWetS[& 9=M\zϠ\}1zI 3_f1~o9o:C4~*{FhY)XhhVM_v]w2D^-*A vAeH K䔭 3t\KSIQ<,$L|$a+HZ7h7CV̢^(){g/h>>z7hEDEN!nv,ql01~#;}9Q4yrmlwjLƈ#qEQHخ"N~,P>U̟Ta":xfEL9Tȝ͟6־|Vz:AUaK'xΪPE#*]+<0C/EAIN$i!TQgYZ7zXZִF! kb@8]ŗXi%:Z2(,uPd6.sS*6ߧn/Ԑ2O:9g 0@B(|'Z#U\jLcņ:*]@zNk1(11H|߫rEH{ "@֤@g9~7mx:BRYt&>g=82%g1Oⱪ'"G]R@u]19>!k 8УF/XTLGdԝ ݹu BdI^Q~sֿ$Gr>0 J$.v5{kS$@|@ߗz!$>Ąk6TTU^<[BWܭHZdD91BJy:8@Yn7?gVg%.!+ ?|ȈPQ=nD*^")/aj7Ul% ob?IyؑƏev3S)RCdU%e?׶lʝ y9f#p17 fRh}YV%t=yb%n& DJyӭjw+Afk5zJ-]t6>szPּ^ILv«I:XkpeX[[~iu#P& cs;!!T'iрAe5e0A&lB,ƤGFڐׇ[HT,hu[09l)d,GDWvwĵ)ЩϫaX 9 PKꨙ}.X}c<Ԧ8q7Dwis |_MxKbDyK=22 'ʖ5X]S~]dO1TSb=E{hE Ƅ"6uIys\\#[>~o&u*P:(A6}l7K>D9ZL' Fѱ_9F,kɘe볖n !)n̊eM.V raΪBO}Rh!$/ˏ\.NQ)!y1ag-,D}HSAۺ-0Fo*(b1@NTiRR9af_!U_?tgIԛ4,;Hk&mءFOpLSD+R1Y`0<]r8vyߺhz  JkVkf { _mf:RB1s @ J FN֢0\-PgeqSy+w _:)_fgu6ۚ)T~m.0 ENy^-:TBrwan" ;\g"o|+==:+I, ydsj!" @}u,)kS8%a(31 Y;ZA8w8>|!q l-t1sٳ/\+Ms91;|8Gc"QJ-T1}vW+5{@5`ܨeaPb\dzo_XC4$[V`wܜ dv)=l÷ě*7EndN`UÕӗה.D u&e:;|uՇŁYwONm/`FpѢw˽^,.0v$Y<ވD9mkp&r''s"HA{s\g-=9lvg1rlj(bacVq/M2x䁨_zƨ;cYEQ . \'Lo:+Ge-Ҥ.yC-Ȏj5kbz gn1-rZeJ!g >nsG2U- prq(WщjƠ·4~m=VHw;zpƽBI6r*R/*4_WQU3Yw*td%t[AtjN0/Dԟ m`GJlؐ*ǒͦf'H/mrIV:YETlgwN <2F%&zj ;X6*w@RtQjMV:˨UqT ,MF Y{ 8yo'we?1=Lb?OLA9 #ʧ!:JD*ۉb#5*AuONJ*d- C>] )V ďPN3HV7N Z}]7\IC<D$Z 3BJ2SOAT:$t7{4ʀ.ֹvMOk븉| ~ᚌLVpO:`Gj}99\ 2h^60W3fc!mXB6.UxusJvD(m2~X2; Z~k&/]%}醿(Т3I+&vb"\'} q], 50jSDç{ZU7\_y$2`3*dgI{\52ג/EAn3``԰ j} >ˆ, M#4Wd7?ZcY" o72lП;Lk$S~Xpal DN!M,6a8賽lQQIqe-iٿM"Aq!qH rGќKZ"|>RB[li6 ,:$R­W׊Ћ;G#ۅՉ2 W`,~:^2Bk;^Bv8uR!Ugj7Du}5U&xjPT_bMWD%%yK9H{\6SWb>@_wz I4.a"R2k1'wF`uk$"o4-Z9ڥQL^Rу,]j kt dի1=1sIwYm58!>oh[?rOIbF#v7%Khɽ{N4q @=1ԅ):!3I/}]fQ~mmG!4C|{@4S-[!=)Vd$-&ҠݷB'Yd8!kYiXfy]Ԃ%E519S {۪w`;6i2?B_:n\c|ND %:Ec˜-B۸= -z7S~|:맫݊;?!SPF=Wٿ}t$mOq~tyCuzUI#5BÜEq,&ADHV 'Ii$_Ng#OE_m&"Nön'UY2Dm?AZD=؆ZR'C "*.M^\4tpl SmJ27 (͂iAAx-1X91c*w w5̓߫ɫJ~l[II㠭WnYtݔb{cJY&.1?4@v.vPs8 fPR"DabH.IQ?XjQ"hGevv Iu%͙rtx:<-1* -ADŽ[FGC#))Ϟ3LJ* (¤64,"b8;)j\Δ 𮎦݊=McҐy!Ѻb 5H:g#VXrH`jrn|Ξ1>hT1< ܐ8kcN. 6d\^G6ME9y8оc$ )u{RD'!8/ $Ԁ(dUߝcJ]y@ H@m МՆuJ#J2UɆ ~2~ӂY$ .~DԣV/=ڙ k2:e_¢Fajݝ|ji_n hn%<7Xr1 h|\k}Q!3Df osmavMU)pWܚP_1f +\ydDˡcCBWܗiB3&3Jz_ЕLXvR^ I!έuTY[oU'GhB`AB#߿IHN3A&$B]4i&0L@DL E!5?&X63 k_ҶUS {\R0]OpkﳧMKuUAQ[oB㨦}q6 T,1de]g< hQ*ÚGrKZq%QmR} ^>LY94z\w"]JśW W-b~fa|9.# @*z4}]u e^ޗTMZ#MXߋEv3}V%  ݁TMc0%6=5o0+gf̎)fXODkU?;Z.BHdN[w_ώ.$!h<3^0{ VD呦I[R/T)eD4_Ѩ6ꬦ!فAs[ foٿ2i^1yYzn8¦#MWEH]L-4ZhQZ˘y#lcm3^ڗ9!S#PC)QwΨOVQ"MS@Xw'搭p eVoOӀi>7"J]O%iAIs[03``J kxP~0REbhl%&t1T P R E٦[iTV\IwAIٍ@@FoԤXf&~+i[;Ef9C5i0odž{.zyTFc?\|3o<[mbM׭H$ԯAnX7d/ >tSZ` y/uykfzn6IG>VǡCv\-A=p>X(Ԩu<  ,Z8+m@Bʸ|Kuȼfd BqYs.ň[wS_.W쫴#ѵN9\:L̍a-r,‹b&o07˃&FwGhlC~rq/DmH(V~PBzroNfIq<ʒr|$s'XmLmj{#`P8sZ`5VSEnVEŜ)H8g u]{oG&$~9 IQ>ѣ0 cH3}")k.pmzߞF@rjU5K5UnGt1~%w_p(z!K'׭l5R1%tȦ`&oՐgAz}N}9A={I8? $ se ɯz6 sޒ@6>Pwl׃kȸ\Yz]TP}e `=!C:(eN$V$A bUas瑨 JABC\B Nd/yT}6R_/* ;S'ZZ?zD >ƕ)e?1JNvAS 4TX"t–տԡgݽ(^=? )};ro*e=wzI̖G7%\PS1P-eվP)ΐ<~1G5u9AGc*fmM)Z.V5"1EapʸSBNhtIvveK*x. @U)7t eHr4`yk[4u^+^ej-Қ+ǁ 23xB֌-| qH;yS9Qd~']3I;R-ms+hV oe"BX"7Ry.^2xFYǎGGSgmX)WwR0o$99Y`Pqf(aN̤ת]ꑁqu#j nH;~etI0P$u( 3KsnNp& 7k*2Z"A[91D\2ְkO5\{]x6p L' 4UC) 2ҁ|4sGNw<vtO~F\t_?: DfwYUuښa<&bc cRyܽM)v?*;/&tYQJƀ8rVT<3TDB ,`I֘"0q'۽mZ-Xd-Otu8&$d„`q+HM-teחfXS뛀Vw ?^p0UZb&_R;|yoc^yJ_=g%wedbN{ h]L.ͭSX#[u I[Y3wnK71v5Gu0Ar/ْ(Y?9"a\ɀw?_QK u]#T `~A62,YpA`wr:>VxDpZ oAOO/hy*1@LD:_~ ?A+f3s1-G"{@Ȼ%eq'wXW!ȧ]dz<8ASƠ ́"+WP:CŨbZLGEb"!*IwA}%zZ1sDmM۳SlzyEfl'~"ųp$~x޽{ E٘kن?R`XlybI&72A z[fZ>]{7Ac%^/k6' ۊ ̘.1fX9aVYj_9\r\rD|AXEte,,^CyZa 䉑ͣ.rYuC}ƫ.t& T\r-j{Z؅CWZ5zfP *vaWZ,H*>A ?CCJ@Գe=g=Aҧ^0@3 ۻ}Bչ bE[ >uAעttz>6>vPGT~aiA|^ԾBk7#H&Ӑo_t"ͻJC6iBIy/xvV =,J_:δk< R$,l;aI Cq1 r[%xid8܏Pz"XH(A_fH0>6(:R\ә,|tz LԚZaM 16e$(|`ZP`C \;/fɣ́јB+W~v.}UDDemOj1-W 7j g?%>TءX8}buնX0 LU ɗܺ2<.E402 VejSUg?uc铡DD'kfVyHKP"~XEc֑%+U~ިr#r-R'cu^Qz|{Z7,Gާd-I}GQ2pϜxq] ZpĞr$lYݼch}~ ֪3$S>=(nbkT['w/͂p-,j~PcF heFkZ9Y~NdFwFCmv'ʐL2^z*?X(Ӕ)-߮(X2m p9QUⰯ}Axkq$fDB4k2ta,"WAhϐ*.t7mTP UϷG#eSn|/X1նzL൑vn̓k4RA ە:χ?PRGӟh[/=Zb%(g_hK6$J8aZ[tDHJ]OB3/J;0IgWxh9 㓩s3=~U?:` w&s/ &&pkd9d &U֔c<.q/1g66;0R8IQb{OY?SU%6{s@ғfVoO5u5˟8Q"u]&~=t0|WE p5g>`?M|C?IR6u# zzr1#"w3y j2̤axfmHcRl{i?RD5Pui6Bvz uzIog@9w a[l1Uwd-A}TqKǏ&mݶ0[8";ue48V2PHx'ep%QT~}$ /Jk9C̍1H-:dY%y"H/1~孒1_zU{I(u,W^JZ~Ak׷r¿V<He_?1@G9QIN} r5]feRjbPLJNNlbfuF52#_)_2$v0Yt Ifvigmbl``5}. ?ۦ߆ij,<8]6 X H2=lV֡j^t WG-WD!zf]d_fHJD>sU$* 8\4n[l~[3E@?ioBݹCv (114u|KJRjnJ4A*=kr)z\Fs_ v6x\&&zi>æ͞[[ו65E%{6쒔I|w$bT0MDҰ4YsÊੀCJO j۝ ;ax@% Ϫ!*x`K(jwdMp-#1M`zP=k Ն+,F 8ƃ SU$>Cmk k+=feDҷ`Y}oh`IcaK41vǵVi{j_&S:F8*u>V埝1ePݐ?#%?G.|9kB͠'c>zʓszţ0z@dž-W̨H;nIme JՐ l0D UR5M݇{lo+*P8/#`7}KLA T@̈:ƽKhиLnB= cx,&9 VeJ>=[T,2JN+{G(tv0&2ҩ뻞#}xwt^bzo`ahkx\G c ɳn4dz] *LH $&䂒¸ #2jB[{'AI`Px#'O2y"׌zQzt(z&)cg|q CJuzMHUG󏩯#+=+nPDԀRgYZ01477e643bc909f0a0827b4f41bc44ba0fd4920e 0d624df132aa2e54b02fa619fa707a1b424b9830 18bddd15f739dcd43f146f8607ca548e20ec793d 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 21c2fb773af89aeda79a34d7ea1eefce077a59e0 37cf0b4fcf26d02ac72475674972cb76fed24fa0 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3c1ac962b07a954525caa2bb4f1a5836f158160f 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 422fb75946ee2eb3f59178cb1035f2be8816cfa6 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4bd5975:7d95a4dfd72fd9de5cb9ee71638997ae7 5117119a178eac69d137fb85243808da2d667eaf 523551eab52ac57404c63a072dcf3bfeab9d152f 54bc02edd20109ec5df1f897881ac82269c23e46 5baf249002854ebca32aada93ab62260bcb439e1 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 60879ee4da2cdbc42a47e3ef64f7df2244c84e64 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8983b274ca224430b729c36804a982dba8c23ce7 8d73ea89ca8820adac133629bf89a5f701f0c2e2 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 91a709751d422a5c99ff6221e78f6b756ec46575 962e47aa332c8804c7b150e59b0d93cdd566fffe 973d6bd96dc9037f8676681fb869d6ae83013aac 97b0687b0f666b4854bc0c37842673e1222c835e 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f82d4e53459f814981e858cec3d927c6169fcd3 a612d605e4a059d80c4db56e04c3291c02d8f652 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b319d76f815a4ca5362afe46af6873f3072b5661 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b9779460bc65439f31b83010861992dd478d2cb2 c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d cb03b6ef5b1b2eb96a968fe951f9bd45a635fe5c d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 ddeafb789ceecf6113f05c3fd39d4483efff0627 e14af5b9076a9f726d4bab9022de27f313a84125 e16dd81c25115952353dc50e98ef8842c8109688 e72d715aa19f3da35f1fcee345a3f940c102d71f e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad 245d9e0cf3e52663f8e7e0b4278f8a04206d046e b19fe4e7b59aafe3daed60d1842132c3779c40c2 73c424377879e25a23f9945d13aee3d28371f28f75f48efe6013e327bc624ce1829e6ff7f390ab2f