SQLite format 3@  .0:  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 T-Tt, ]I Perron_Frobenius:threads=4elapsed=256.090cpu=860.224gc=33.924factor=3.367zXZִF! +d]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WϳS۞۷n\-U~E (]f7<bD:xM a?) ِP-3Ӎ6WwD&@R֩YpuDp3%d{!J/4*3wqFг ޙxk,QMK>C.vzɆnpRMDT ȷhq"9{h{FZ{ {Ӏf:12 H5mClzϔIm~QDb4B `WK[SÊzX$@MaUh7ґ7& /PwR%GǀQsռQ3" ]kkS|1Idʉ)@@@I|R@2|^Q79u0j]$J;W"ZP{G:[ d]O1 G>7IEeh)"RXЄ%PCͪiDntrD/Mَ9("ӏ(`m4\)z7qV#Иwۗs|R. xfnq}@uHK9~_=U!pv*Q!g3) 6ܛl/R-;i 1((a`#qG9K jR?)8(a&GǾ C1[CA+LiTNU $\o3 23[.`];rZMwcavAz˸Y,_ rΩAgVex1w 6P!|{G?&\g.BzYgGkM{VˣK>\}g6c.oSpf26wەZuYDD3f2H@X$. Wj? *ԫjz JHx1FюMmEE>G6`طP&ڙ7slOy֣so46<-/`!(yIEɄ*琁f1rc},.z lùB;{)=@߲]$ hrg]vlV$Yh{4$*;]&H¤L ad0#jKX@>?ɗ$_蒻Ǽ5_6" 1D,nNМ\[k:ǀ<*Аk7 |Ps#\ -\((3'3LW}ͽ&O{6bN]o!2b|H By]fwiÛ_q'ki`ꂠ0Nj23no=d*``iL(hʬ>2TB>8s oo12y~dz!l hlpXIeK$^x1P6g!Ԗ^B,9H*߉[2$aˆ%T+eB ,6n+oA/߹n$]G)#<(#%fRko,ы{iϼ73VKM90)iģ &aJ8͊]=*UTU~̎ͼ2d%Oi`5GG@Y b9k ߌbň-5qS^tcTJE: 쟝A)DBLa*qrfe lkvzd33v SK{vM٣.K7)7=ހv mV: maй0BZ5 (:ykxE{qzcN͕  q}1+fSッCA(eE/T[Q`]3[ 69TVg3PN|kNuƇ81}!zά:)Ujh?4.jjrѽDSPi?80㘌+ϴqƃ^?Qs.gkj5AH7 &|̃nH?u2dPp ˣaE up{u3},(\Z!Ϛs|#~5h`r-7K' T }yt6DV ; "e\M6IAG #(!߻ԂH׎&+k:^-*O#di1rx6ㅟ"bS.&)j=-^pF%O׵S[ l՚I3 ZKabs߽xɤx.kkEG[M`:zw>N%:MaڒaRLE̤]+}jo(cvKikgШkAv9TNllhA6}gQC|尔h a~ru )۴lpd0Z Xa2dPc3qv"ѝv,]?^Q,VnriN<|mMYPS{?ȎdD AYP-zaV jJө} 9iJ4`B庳3CaJ?ejǢpy?ԍ)@@~!̈́[ΫFTs - Perron_Frobenius  ʰ} _w87E^$vDJ_ nz^C5{uZxѵ+Ė=m8xmDžk~v.OQiBbZ5 2'XtII^=XJ&D}`WSkp 6Z^[`x~3,f,(ׄ?4@H_lQ=u N )xLՋ#UzP )܎Au N߲ADuW'N:a8a)ra$4ݣU'E{2Rg]=v%syD\m`B\e~I'Ǿ6P.$:s%(pfWE8-C$5^O%N+CLhę@blh*7}Qg!N滵Sl^s3Nx­_\&3 ,k1`k5Re ã\_2j#Ȟu`wWVmb,l[,5iCRtR'JWiRf1!cԴy3 Н̂+z>`ڴ uiBm$$(Z_>CI'$^)UJx2l]rR2ӆz5.)d : =+R[g_k#hnLO!@W0U”_ЇuRn 3x((L֏G1R@\*&]$-4gЌid»=αy݋9 VA FTݛ\|,guweer4Ao.׏ʯ'>.['^-chRKB;p3䲮_#벧hQpxL鴁ϻSF" ڗ~ σCO43}#c1v1v) y@8DgP̜Ex |s#֮SQ/ ntTT]<ŹM쏇Ct mʵBX< 7(?8!k:㏋ h<n2!s~f\FKL/_ V.؎[LJ܃}L$rKyL݀•WmyK( q%NK+jA[BoѺ;WxCJض 8ES]ϡm}D;?=Z%KoL$ (\\R:M܏eEٚB,B 5ҩž-.]IM]ȪC_:+|BD|R7Hph;hWs#oyd |VZDop9v޿ #5ZWɺMقI3q 1g-NpM>;4etVԂP\-E4yhBRlAyc@ƍꕖ}x-q6@)f7@e)_1$ [מچSH~ʕz,59`@k+nXZajlv^%̻bȹe,7I̓-z}J(Ov %Bη:e[za+WLl.FI:&'7,qYn?˯ɧdĪi{#|So^\ZX'{ݓ(Cng!G M ؐ9G2 @\2ړir(cv}^O*kO5R9e%t0߾x"Ǯ1|EqG{qPayf }yVvyU.x0-5q[$#hrg<:}V<%9|Z *4uR駿&<! h# lh,ED_VVdN }#P`xYmV[;?}?޼I< Q{5H0Hp4y2Gih ̫ 0iKg*4eV"|j#$`n܈Zh)tb?c3_tǴ5¢cZ(%xy( a{>aEKAte>_\e ك:+TӧI_l\ h_~&i5m̻O?.懣# b k(uD3gh-K3bG6cl "H *]6N? ȓQFM v;'PT/)d0?s?wx Ռۀkz* Y‘o$ Ҳ¹lt>tiR Jg>3SRn鱷4 ~~^1c9C'4K`so$hUA9]B&dq:}IAr^KHgA w5xۥ<+,O e%<{  ds^+Am!ͼ>2"F/)9ȗ)_Ў%1 DeU@4mq!v4\3-+~+rB\P|ZIT̀ 5~hFCV*N=v]˗dUӗ\H#MptXywR7Yl_&o16nV*<CkB\Q]iW1'%@c?k`PXҾ(qkoAQ'{Tga۾J!4p/WO* T 1( c.["߳|Jb%W=GǓ81Ч=-߁Ι}j [|^ !ɺlKß^~z2!Lo襥Ɋ09V .EVI`\06vؿOuj8˚v'?`#/-ƪt?9o5wK{_`'VN B#S(7Z!}~H0Ksi| 9!70+56?5te݅tGV4YA?oj9w)2el2hЫ1xlc{V ,h>OlG f{2mI58o# Niִdʤ7.Y-`YWj@4-q& 9Dkx/tB䆤08.hN4*] TQ`0G)x\;Lbc_#̉r'/~dAKؠ&)w4]+-ӏݑ&DX|ي1/iUG >/^gnŋ$LݣA7Gxˍroo%cl6{gZs͛P[Kar V*CQ4dEM<+ Tb/fcd1~f"l. A'RtZ tD]=BBr,g- _d)8܌ɧ-Ə ho -.G v.sxQ BQ*z_Q+-03E\)%g <جc9yY41 2g]*+RrLRw1rl<HSE[gF "EO𢷅[e?kj9)Pv̹o}d5^&oĊQbqQ+~`B]zWO#9y5/ACd2Ah⩏:x'\NM'u :*Pvmk?%)9r+ |^ xyl<Ӛ[Umі kZ#A@ݑ]Dy ht*}Hz.{/~2UE)/i5drrMdP>sE2iB=PbN2X-i`du\No84O]@vVZ4H,uec[Q40נ,k:?_R*2+_EgPp#j7/и,|l!t# Oz1SqTCkUu0B@=hE=&зO-I'tMI!K q^- iufs.@㳪:EѓW 养;&у" HU^3t#ϐR]( 7{G]/je)cLG JDR0[\pnw<ྉ^ruzdk:9J$3“9%Cz]@xr/XL[ȒF/证^o:䍕و ]d#ªv2|=NgaD-K' v?r+h@qHb10C0~[LrAL.{(";xe2j O_Q>rEdY$VAFSXʟ%VhLS8I! IHe1PJ Fo@KuÓþf&ڷ9¸d\, lDLφJ3@vkƵ61^.ҹDDx ~84q:yJnC,*ؑ\YA6y&sKMx>Oo,!LV~`_?8n-OQp%sdJ.QYJIYqs- v7Ĺ!nJpAU\} ʒWLU͙,Fֿ'Gg5f%Je 0 )ƀ4~ZKUiǨ'ɁiF On} akKd1&L0{Z]TO =uEb5gĻyIgzMβHi-l"wCx^w^n)a8>"m`!;` [ع& wș}z8\9a?̪DO"fKL^5c(L] }hS*"uǷ[Dʏ.C'lk,_ _u͔%JeOz=ɣ}sZ3CvMBʦ>ڇ+ |Ib%qRӉšnz+2(XEˠnS 5?|4!b;TpP"!3/z0K(t=.pB(6ܺ5?u]Sכl֫;-83,(Y /Žɖ; &9fy$Kd;JTG|wcD=yTjfzC:J?/KmD&oRo/P#d9l@=bH{z{F-ba ;' s㱸svg36#hWs՟ ڶV*?;ɰlv)up.Г-;ꏃЦ@34#׋*w/wЍ5nWrv߱:~Z'[{GA$rgq*{)w FlԄa*J a%RdGqQ.e/\M,;YgT[]W*N4Ah;$ +q]2öEgrDrOIRUlKc6|s lʝӃ>I jA p`Dp>ͧqRܕ5(gݑ5h!נA}rI]H*v̖T:]Nva5R0G` uzf/jXbcR޽RbLg/B S-ΧE˜ckt-^e7.lйob,E"e&E.YU^p:vֿ|{ජqG2qP׬Rʄl֤iR!$P[cWs/>ۜ@7( .9l'66P5Mʾq@I( CIp&kUDpF.2xN,fk7;ovNx 35 0OʷE$+L@~uĝGmB7*^7l`&M9' ? 헇Ch{\Zt.{,mƃ&u ѷqoBD$uDzHƜYK% 7iV_N \eXqV'jJ~Q{O6O%^c,TVFý3^A$ g9ieQUnؕS_a<$Am|&>g&by{ V.tҚ귩;. p _`:ީ UAx:ڰ̦,\z@ -D+#,dƎuX]si f:239r'[yW-ϯ蠗Zq rB ]:E:I_ O8HMH].oyoj鈮E; ::RK1Z@BKbT_w7[yJ@h1ef/"׎SǛ-:*#r]k"2X 9pm {sdޱށ Nf0>AeuC3?9(/Rb?_~$~o $}eģVX|nA[x#GߚmJ2gCHE&\I ^E4n.3]CB Uu =xvL+xw%ӨѮ*Jd͕vvI])F$ZIz?ΐk&f#PS?|+A{\,`%?op8ݔՑu%@&0} I"aCB,,ůA5T7GR4|.hA@ :`~8O OƤCu;BTҌ 5I{h8HC5|w XZAlUuE z]ݽZP?EhfkE@(ߕW˶4SHBpU ]Udۣ`7]!uRgk\uqK(UNeuz%VQ[AL+)RϝЉm> 86.t"O|ضgD,$/=Z^=S:3^xNliH<DxTYrwX|/i*c4X``$+'K1fh>]̣/8ʇgLwp3|d6/Z̥{:50Ff%`–Q. 8>W! }fx Mv$L` 1E״ZMzǷ\/ޜGnnQ'0 ,my q,??k97\ ۦ:A" x--C> ?  I&+f=^%L0@8?^ *z5u.{'ݼ!HQ,lD$݋8m>0tHS4;\ |hN潡Bz1G1*Ɯ9Fv*ԣHbkISagU*ٽ!EHp5d7'`vT/cJLRYR LӌE70R5'f1F_N%%Tױ90,Uˬ[ceSyZg2l Ŋ"~C#A2)X3`{"jbnޜ #)x^D>[  (<2RIx`TAfP^(RwS<|Oxgփ$D0[v~ Cx/$i>}0y &7nIXW'2@tY aYm;mߛ]og 4tn|Gn|*Nr f eV`yD)D xhչ="M =),2R UX4+s{hK!#&"kR;EfSey{X^>QyFg{6 ), 0)Dр0[X|li.:~5m^0b.Pj9)W9V?c+ *&_gYZ7zXZִF! vW]ŗXi%G8e^J3T+\$#z]FlHp#Zlmy1{ KNu"0L N,Ms1Lז}NrIV1"B{(AA9T9MXUEՌl߅LA"F$nea<H(xӣ k %Ф[3]G%a;^X5fP}T"qb}vim^Q!w˼. ᾖ/N&2{6(0ﻸF_YjVTp]X>-.qFrZ!ͦ?!̑~'"&G\";@[}\AIj_)ϵi=lϽao7mR; sP. w!bW@A ި4*6aQ#!+Qa€.̩,n+rqCFo ݂T3ٳBiW[T P 9q!> !"1Npޮ`joӳ+ۉn~mѠ f:Uh?jҶTۆjPƪjhf!hۈS@qLm 8ʏ?#wsQP҅tRY & 8t3'm>⃉M$9VK` fYOw:)rFJ6"{QHv⡭uy@Z0ۭBoG 7jq + @]LMƷUlɱ;|\"ZO-7S"zK" lPaĹ_tux*RJK}| 7XCɻ_.n Nf\1\kQF4uBN-*nOҭ9Tʏ^T {%#)DoTp'"ŷ`y%ľPsETNϸ5  }-" "V|.MS;^!3:e Y'79l'ѮV ŨAo25c p ڪ N-=xԮ̜cBC$R͝!`xo ᅨ e ;'EW3NhtPӳKP7Z]?[jX9m>=00C}lNGO5d RRDsC(S4"8ٍjÍ/`Z3_;M8P] c(_MͽE8f`.+B蟱av  ֳ%DK$eʲoЮI0>&Z^"i ʉ۫E oif2cb>>@OWz9!n]gwݙkU IMTBi2hہ)kGު׺vۺGN= p!I'PG Ekf SQ4JJC\xEIBtf3ۿUB.sjMQt`Wy3ϾB ZagI8dbq6J8u 0sgV.0^^d>`J1.H`MT=w:(|ꬡ-Br{l-|PV[z Sր!V[?&CbUv<WRJϑJ[qhw4l.xNf+w;eȘRIL9bC#W^Z~[}ׯ36IjF3|Z3M;%6>V![H5SEBZlc K[aא(ucg>6POFMi'!׋ߞHwqށRO-|gk~)U  i fz;4Cl6V5[X} ʝBEFZ'J;K"ؒRgPG}֎smC[Wa5WT"Ti3%K؃KyP-ek +zC˶;T>YgV[ضw犍N:xreN>*Ǧ$|)BjI:|Ks[شs+}q[%#7cܗ8+ӆC(C\nn[At=M9Yeh_38\ldQ>f_xYlf<$/;yY:ba*&֞zB> ܲ?t(B(,!֨E(s^ T-#Y'ځ.4.Wzi8=k\]2ݩ1 an~y2M d&X7tL$=mHZ&smM7+ bΏ!⣘!<҄t-.ptS[(bĄRBqRRk37~&idS]jJc@_Gکk&@@3'o +SفY_&T:-<{F*)mr 3@$ ǁ $pyd0gHRFb`y \IJ=,9Q]G77Y> UZ ̀ jR[m߼"1v.jfdNDgDPn8b=m%6xr i=tGf ]9@k12Bފ0ࣛeEjР2>~]@]`j ]V]R KC1;B sp'y/\7ݪS{@vbާ )rߨKE؎9.[*"+Y :[DYӥ.] `=k~Ǻ-s[&b|ki#\M(J컴20e#YgO%.`<n lwхKcS {)7zk0?uSw};|$2_*j|Ն<ͪܦ+uCo6g&D!x\n6GH Tp|-t; ݼcHUi m b\X-]1Y J>4s~ƛa΁ޚgic]t˿qfW;Bl6mӈ{п&vǦ:A1B,Ulueheqvg3_)Q:C5/y_y<$@Q–icar=X Sۚ 3JN] Azm4Q{+U]\"O1LFzlEoni}Ð'SL{/I`w[6,|]m䟞8-`[oQlG\p@bk HR$\LAƛb[~mbRŧa,Z)[Z`JooF#3Ɋ /uw86TenF nh zV%H8 Lh8)-z:HVugwy."9`,U|:W WZ ڕXqc(m/=#'$17_*d9Ȳ0ur<(%6 uW ,zX]3zO]|">jW $tp@ͦMI]?J'~~qnT"ͫ[S5unD{] Le15n0z4@WrѶ&X/h'S4JT.35bzŌ $1+iAmbViLP]eb@4`fܷ!jV7JD7Rn"P4kX(JMg_h}0,wx&kjQs9Z xF%|Ar'm&*3:7j.L*]PN +@LN~x/=Crmq4 7NeJlQ%yS(-Jxj(Zl ]D·ap>P '%]~IHW9rgi-I%z:lT:+wt@Q9A U wTl:Q]iqcT66WLkl#?ܹv=1ϻkA0?^$w L3jU))&^]멆r%4@&ńt[U~8\ xQtSA^SnI>öC QòC[xEZJ~aǿ>}$~2ՠføGKH:Y2;䷂&w`Z5jt BYY+鎢zvQWo҆衯,C=~/! +$OP8AoHthA^v D<&!Az#!-x.˷t_Yvkzx !TyAi,DlV8"ibeG9K)ECѸ1e ^yԶikDJ}b*SF?UÀS)Oj}|r9t)}Q6b8A~5J +^֒Y77Mc8Nk(ԙ4f.Wlu@US-M?irգ4!d gV_ hXyJ{0FhQ}=iXEKAm;4Yb;6@)hd}DXMW \ yֽɛZTE#=}16@F/K\{꽳T6;/= {nFӶz-YS!4~()ƾfJ quɆJŧ2d|R`K}*|SrJzxR4a)d'v(ؼKq n&pяG9\1\-j gpmӐIytv1ᔲ{<yx2<]lnCD: ؂~ހ mwvJ{~(0e]^ ݏ6irtγ o4(tFNj VE}Tćh!3|EB~3ZAVJnQVR+}QU/Y^ 9CS`[~;TͯwBWÃ^Ƽ zuhtKyY}L%zRXt1|`ãFf&t1 =2d폀o,eK-8B-ܧqNXͿuJEx7ʺ@W ="|S(;C9[>e> l~wmYn4 /lLCʻ7FD)KbXȦp\yL{+Wɐ'%}^? 5KK:;mkCҸ樆ko{W!?l4=iBfrw.705I\c*:X o8duz5_K,Ԕ:bB4K P"&SiG6Wn\G.{tEZteCХ ;Yd49lpjv|ߤ֩Uֈ?<ch[2W@Np?!Ģɻx=>Z*!.D|{EܱEa4[|M/␘9;M~ %[,63iZ>Qkói;dkHљ]e~{vf-%D۫_;x< &ZoIDrT2OA9A#&J.u6 Lp^9/2|κ\5zc Hn &Z~G`v|8ngdE!qiȉQ? SP2ij;g\Q=2 @Qq6nQs!`ݒ@-`JֹP^%&_ eo(+v";nΐRHJ+4ܝ܈TSKrAǛ^Ǜe9}􁊧 %ږysOh.yT].^ڬu!,ljq+pCdzK*k;bDQV,]%[?i9Ql{o y SULOα$@3N-Kaa8p)duhLV/K)px]¥M?"5 ,NO(3,Wkh4ȥ,Ԏm+wv_X31$hYb=o d4X+3<2O0 28i~_#-Y>kz}d|hoP_yts]T̰[Y nYW0)M%%x]Ǣcc溞Os+Gv- 0O!m3=GEZͯv<7+=l*a ?s~3ЖZ9J6u?YJA,&Dxv՞"m}SL g@ P4J gzK͚$|͖Ia8O%VV:]^O!N R^6F4FR` b i%йj91W #I/ ih#I|0[X-iN-Gr ~N,fC0l.f$[xz rLys~CvP5k{wYj%lC@BEGbd\iARb4ny.~ &2ւ!>cj,i|ҳ(yl;N'bRvȲto4,pcDhqZmKV5 gЬe#2-xn]F[/ G-6ϕP{ |iiuqY;E +(db}t#H1IkLu/L[z|ZT0"l@as8e̵F.RY  =E. K;vInrNsna^]tJ٘/?> &; fƱ3oJfbp.TMQ% 2g j 9~$o~ oA0SAWbeT^_tu oi/0%*"qZY~*r.I@ #Z5W_Kcg1u@cer[Cv_TC'H0t+]P96k=2H,;CWA)AdөSMg?`V3Wĵ=SL7#v3I&50 5k~ǒλ:Z,L3Z-V(߄F 1s 1w'~V Yb $ĵ!'`+2vI~}xg^ YA'qQGa IΖY~KFK/jm: Q:z0,p'/PlJ88"<2Bi?d3" ,P1=;,xue ">Yu;jO惺ն* =(.dVPwxRVi+0G4w'x.bK.z?X˽ajA CJ)9Hee @6  k2%tAf 1\c2oZM3]eew<=f*=[i٧bmfbJ~Eš؍Ϟ3*6ME;Yhqө>dx᲏}x[ZDq'Y*4T*HЃO+=j̦Q  kV,L{2PLxN4aYGK: 4u$@RР 9YGdu$Ba^#Lx>-ϥdW(hDOCAVXAQfN̖%fĜ Ve0j F..DsV/]p*/ڏ-mL׹h;%!@;>ߜZa*hxSehc2+dP:#ʺ.ky?A(lXPeǗ']_ "?=9zĝd9M1}8*;u힎FIʵe*Q b.AZ#S s~ rrmZeLQ5:1U@3‘zE^yzP 5!T-obdi& N*vEHq҆7" (`[jMJ|\!D)f *VgVg ZO ^~L:yS9-=rEI^Nfv"K.Kɉ͖ >)8)xI ٷa7DMa D=p]}KH:V풢vMͽ4rd[lp2{Gr,&!0bZ2cɇUYJ2EY)ʹMnc_ds:QG6tl&CyW,#ۛp(s64Y ms(eNaTO[ZwSk'1  j&nW`*5K"!S(Uĥ 7P3)j;ѦP'i LӍSxp h?7T;n>4'1Z!q 8o}7F CA/PAx *]%ژ㠃;oz |M|;9΀UIzrAζ_Bѳ! g~6Ηv5H ȸ̧g BVP69}.(K^Y0Ǥ%x.0r|g $e‹a\u$ UǝNR܁7dCsSQ4%Ct%P'.isůEGgбqg# uc}(U-pd@y ƃÀ]"]tWL[zrc'g8`/!1${=Q/I:H-ˎ镙x+{]_&!ӈ{PL׶N$i<(&;zewJn399!7L铃`#nelb'5SMnfJaHG᯺PYl;1AJNTk^oi8'Xggfv[y$ NO}A?==خP"oB̖Kzߵ\O{`[uFFQMJoǏ0uv5m0-GwC1+{l_:l,r~xjAN9S™L+_=;i 'Y-I S,>_zAHk~:K8Du-tԬLfrnʈ: mX?l >,V9t@)n .O͂[!rRÑ^஖Р~ZQ(; Z9Wf^z}^N*ꟌfʊL-yq3Zj0XIqHAҫ07T`~Pp)2+;,gΪܭ҃d?@U>sFgN|#w@/aWYcʠEh4et'ɠW;r ]V)/|lRhrŏPg6.̔Och~Rp%u=ɓ-t9%<Xcii%DZi{X󴭣|ެ )E\ntW? 4lي0]`;Q[ B iJUF`W^zNщjE</߇RiëB9i)ɐ~;nbՀJ6$0\wW}@=lǏ s:x5t];Le_>tjҕkЈЮ q!UT]&@.I);bYˍk/h܉ /_$iںD> vWd+Ļ<3{~ 05!X^*UdG BHOk5b2A8oȇP3P١]':p]B5^ P@L&6أ[x vJ)_X̿xGB7a0Ώ=n.JYr *Gf棽y^湞03K+e=V:2HߨO\| ~5b 74mv%]CUQCEsJCtZ5%ޢU =E,$AaSC(w=fn+ =g ]Rkmc13yόhy n/ "bq)Xh>]DFK8<;,$ Q=_wmK>?Q`s} s?kS(]* "f>&9!$Htc`R"ﳍn#W3?)DZ;弩BpG&Y~mzþK0LQvlj)@OZ*F[GPިt'Tx^a7_6i˫7'<:6L*tXYnV:%VN9ABF1mJ[;l.;j^J\?<ʗUA' Jsi+A}0)h~8兡tڙ]ntLwNk#8 3 pM_J3\1%L>m:#Zb(Y@U}WԐ5H3=)4/ bpx]'Y:v4{ʦ}}B]3x^DhDNthQQ-r~vDe‰2zURv=ΰH~:@znI)B@ }ZWP2pѮ=Mq^4V,B˂g6; ]M~!ǰ ܳayd9m T>“U>zX_Y烺|8hr!]gerF-̛Bx\^H5Qܞ}E&Ydɹpf&MQknz>pyP*tD2֘xÀwwͰ*Z9YIr OY=6Ah <Їl?wCk QZkYzA&ت+kx悬lο*7N;3^5g.r z4*2 1kUN˽ig20i"-3PB+D3wd guOp~1#뛣yc85 ^tFٞ*z!X7\GCsPQFS8%I8o"}=Y(gtl|(E$Bnr 4M(y*@!z5^5IfpHrCDpYV4tNF6:lMqCS걼_ŅS?)N|~#-ЖOJһ b>VƻZkK=WrY1#뀣&~Z%)[0fts1ۏ|I ~ڊɱfV@Sr]s(zIvرǯu<0K\SYZ9SSGD)6Av}PQ&%Xe.%}h}l2u;dNgwiZE; ?cvy)zQzmZ\3 رXXѷg-,2TnԎ Y+H3 qD-W oL͊OshHUU m vl[b:[q8ƹXNShv9 LOw-ֳi?&MYk_n{fLu[n1 ]W~ W1Kp5ek/Zp߉]Jx#ϒf/Z m0=ꋵ۸/__}[V-X׍"WuZ3)a)AHG..bdJ׷Ep] {*RDCy0/C:Ak[#C7Z>Vb$ 4ڪL2fX[on98 SiGb O>h=w[ݠ*|} - ?|3N z>׃RPLBe:;F8FfӌJA $VB`%6X7FViVaJ{wQ=A+Hv-P2`2srT,_$dtj:N!^wNSH4j t_J<ƋѶ׷PcR~v 2`D aG;vdB0]+l6@tZ;,U'{@yX-v.)%y~?Iڌ ̚ Yw(>TGTY=j^ڑǀ5IX奀7.Ar& X b ;,Ia(8dG9 [R ޔ;6tZSxw65 s_Rm { "3PI 6_,0YZB)-C|Ɨ⺹)+pUuR:AH`[4˛Lb*k'㇠Cs睿)r DՋQSRs oH22+b,? GYϜ¥)=⃎ qC#ǧ֑=?f 6>S," Fe(C]!<~~ـT=FXDޢྦXB.LkIPr9T96["٥*`jŴ?GSpJd%;ۗK.(*nv+tg.d i7$Icc !8xU~i(6Nq)R@'?6lk/jޒ )Ƭ^yB]awM%hak1/*K~RCLv.ί'6'{p .'@ r}1ׇ&㙢^(3(i钷~Ɩ6UɄCW2Ygk*/0Ch|) 0cݿI,3w KBFCS$;Ym*@p[mC`))Ojy͝x?(E0sxV"XlL Jټ kR|+8GQ#702lkbx3LCʑd'\FR"(Ǥ̽"Kϋ>L:nU`Jhp_0oDi fA79GA2H+aoqPs ]{Pab0ҘxnV2VuauA7%WM3Lr8=Tߡ9& X-mJ,VGp]B*a;]p9\dC 4qia-|0p0=anou:7w?:L w{ݔ٣SQ>ë1eiU27!WoyNei.W>(<Yb1)%`S~6a} >2.1j|^v\ zhnaDP OD>[QkLYSYt&K qX$蘓 2a̓.7VbmcQYFK ҰL~_[M9y9Ul\ Pn(4v;.z36 ar*[Q8^="u" k4&aWTsS =ATpYw $F6-nG5X??1}:Խ?ڍm1: 4H6}M+C2'RA;~4BfڂjlDD=܋a ٯ=05T 2>GLDh,tΈXW~_GBWWVޤ L7]a7d- "u yWjW_ŏ"4xjwȸT KT1 mߒEu5Y&EےdhBܮ^NV9D[n~a5~E In ވ2/Qk4nʧ5%Bt(>fpX<>NBMXǻCu` ӡLŕ`3y90.#-3