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   U-d|D ] Perron_Frobenius:threads=4elapsed=267.555cpu=906.664gc=27.336factor=3.397zXZִF! q+]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^iTO|aDV6%b}I]4.mp]蕾Ƶf`xZk,WϷeT%0+*B2;\VDqUoѾ|t [tAh*C<"dKBtJ=cY\|:l1s:jz' :L4tdg-y!uCdt(>.?LR-㨛7?Ryxkd֎(?{v‹/^: Qjan-YxU_T,{[IcXܬgF%-fא4Dk}|:IchKϥA`C//\R|&ꛮdmX1(&όfq'k4aݎ5obl#LްluS#vMv%*9/50h2Hj߃p0ehgMKKYd6}/b?R 4 ߝ#P𵂠9\2{jF<ӐWɲ7=R$N@\iطYQ5[D, - Perron_Frobenius  >9>q=a3۠1TFGV h@߾b\KU05U{><%o2$S: и߈p^%ud87֙9"1u.Ե됉rua·,_:V]qA:64*Dh zVb)r@%h,{ ?>m9GSI)wK}ZhTϕ^.h }??|UX^5mE_Ho^{jO)6eT%t;sJ>'Cۥ\j_iEv?[V/757ʊMb~5f"-V?_dj,EZq"[2vT z]S[pomtoFFUލ/0Q&0q`v`Exm䄹@,Z֮Fc}fA#5_^oۖ}mnnz=$++zcXOLX91ycJ '*^ts"#- g t}`7jsxѓ9C\ṩm23ħS ζt<'>rDgΝ';T2y*glcG &Olxn 3814JYVZ˾X:m4`-V.lpgCM 죠r%}}}8ڝh$'[MT'\D,'=XqC^;~+BmǭTeJeD;hpW-N[- 뾲D%ƫJ<,.QEU)R8e&T|Z\u*tG3QboV Hh6U_ek+sؐ'qKjso8od"pVl,ƘYBc"6ES縒xMZӽ~S28( }:Fx+ⰱtbjF8Cb[kau6kX,:2[T6frCb&!Im<+ RBTIk]/a%[-Ssa {}` [S] B=?۪ ^[U{W] 2f7Xrb'#jKYE-Fs2R82ےTQs^1E`kx; WaU>I4iȹ!(T#`^!<3(C 3s1lHY# I1[I:YE`pHwsl|-bBe) /RPP!Ho{. #`%>G+3TWF{9(f}_=Lk7$kQ, CXt0) 0.ٲUN cg .cIV]oH38*K_˿ ix}Z&ѽ)Scﭦֳs[~ݹ*O: ?FO0x  ΏLY@ 5k}P%K>JqDE~U_4ץyT\슖e,)]8ܮyLcفOzH9IgtĪdT9$`GsZ# j&!Z.eT?={d?H#@Ίj MTo=OP:bL"sY7d{C է"" Bqƅ:znwxoC/u=vNJm@v=HFwQQPq;vrWixY?:a,C2ċ^rzs.fQ06\]8yz-,<>rts@I+:lL‹ diljjdh]%c''=>u6l"3!ꁷYǩs'8:X\*=^U˨dPxa$p+ |+~CD-aqA=dDf!e>+!Nko Ud@WW6$bH~ 7~fN:nda,IvӏO'UzyPze{E|;*?8bR|IjͯQ[3w5RW4ms`Nq N;͇bnٸPO3ps6c0MܛӴ! Xȣs?n+qruXDEb$ʶ͈߬JhGӕVfp>SɦF.;Cysx;Qx|fe<: QwL%HDDW ,KR2NȇRb\.Zf&ԈDˎu g7@{-#;V$86!nmzB Fʛk'j8T /搭P|c6x:5![*S$ 1ڽd71qF3sFӪDeה4OGb$Vdq'za|cd-G2 J=4߁,{ ѽb *PKG7$o'o'43Wgq9M40Ѡ1{3u?-Ĕ gjQcE pI襜C}2]Ch@R&m)$H[ ՛hI>`YA[@0XW2@AA®K:lk1M\^"%u[/~8].y,,aK;r?j*ȣx|>}e<|ί? .,%`; N  e̎!`Kkyt{=;T@ͷD;Egreu_VX,W>FvgHǙTdK|OYZԝzzZ&UϕŽQV*O*JUәБyDQn)j.oeS+m'OWou1Yr6ByFylѲ$:d|I|}J٭T)e0BzkzŰ5u,AJc6Bh'|t͒ RRzL`-Ȳ0-'-Ǩ @j ?ܔ;FP`iC6shC]S d3Xk[I~",OQ5(7@}?;&sȕJǔk+rS\BՠM N6{P-*c"={T6Sb8t671`pJ"n'H)lT!Ĭr)۪S4m@eXg(tEY#k^78 #l Ƒ9FAplEm:ON#?E'@*LOC|UC dTrVD&u.fc\^XBʓ1ۊt(<y,".2J̊rr}OD|ezV '^)GG\A7ܺʊSB(!ޣ <+Y0Ν#4 ?p7Ѱ`KTԀI򇽰NR٭ؚ/t-J0d݋f m3E P"\hI<ݰ5D.ak 6Pvv뿤TF:qfHVH k¥Z瓢#^67nuCjӏpQWZDݴt xac2dIWYxTx-R*z͜;<ä(@]#]\_hho؆KyEfuUIʍ\| Q[uj+ix6)l#f?CNKQXjWl׋ku:.[G;U&3Ζlg$~W]4= ֤3@ݖvI> u<4r vp5W# ކQo1u5<@䫡qLs%݈9Zqu橛dJyDr56w}r(^k {m|XUexJSLBP4=,ts QZk[u](]lu@uA3%#g4,/qlu "9p sDAR)rg!s.ӀZSw<oZjc"3lM)"ٻ \QJɛ͑ȻiN_J<C* "a*eJz]4P(bƌ~%//^Ttr0TxmBgvZg:5rEpyF+Ԇ=3_avR4+Vv9J0 U݈O\vȈӽ:ޛEL{8Mw%I`i  dBv^\61D`{4M{7~Y[OM X#$*+ #؇_j~8 6Os&vG]4MOx^8 rz繃<ވRf9l*5}ZU%b>p 9J[(=r o:VgjYs5D6%"fi&]a'U18X]EW.&&S,}O|D\&1RAvLwŔo*1ߜ`}sIٚOD{ k)2 0GasP)ń*J$m^x_-.h:8,bNsXUtpVcS USG͕uF.IQQ(xNAoUIwx+n*_ɛg5L?#Z&Na3~ K 諗33Z?!Y(R 홏K1Q} Z@P-D]<;WI+O[#$ pYfi s3D"qilOqX9d֋(Rh+|Lo}e²U,0ks rɴWc*:"< =h9y 0V׊4LF٬zr!3qDɅ _2rr\hab"y;Xt9]Vg~ hb<Gr)V+Y`8{ȫxj1pɝ# Cz+N'wvLjIc-z|Ɔ#25Ewa:FT=m1S@h`U IȺ4}Ⰷ`-}1Yj 5RKr;|;k*4yMշS0uV, z rZMNep>Bi)WЏ\/DY9lJ-`"fDc\JGگ[G BL֥Z6pH@e)X.˳;S4q Pw3˾:m!˓\4d$#+a-7MȠϱS*ŸE۠(C%~RNؿ8Hn9U|IW9o-^@xڔ?Yq.BJ }4vkW~ТeCJU Z#i3d[fpT|V' W-W*O% )x esLv!8+^/!K`^ hCݝqJqT]b^0% Ye,A *(_?zK[in^^w qjDI}ZTFeٿC.,%ǒoC'FOʐsUF=Qp*8}/)2{ī .j JF`xv= i/R= ~<:*f/ gMFd%.j]XiT8CWGك% GfFqWy Uڇo>S_( s~BkXy^L{lXJ =b1Ո=sF1DPctYvY%#goK踍iOK =5_oѮx4aRL)d+2 +Xs}w&pǩkl\oTBKDJuhX*s&e=QK(1Gڷ[g0Į}ᤖjznS+C\cﲔW~ӳR^iZc?)SNgϏ.H#$wrƈټYV)'wwCfyq1vidp+ȇyRb. \b{)i_'?PD:w9Z"Fz1_{n^tY5Pw j?|;oO_!ǥǭ481IBHgwr#ҳ =|־Aܺ^O(L%Wn`=_ Yi*eg8|# ~ƞ1)woI՘U $ M3{.Gd ǸrjEt/ \R D wnqH,7N琶n* ̄| 4;2"hdn-Gʧ wpt9Wc"5Qm?$ cQb@݄R?|68 ``jk~:I@/\gľbg &C(s/VXD:Ҭ]|65l~$J| };SkR\> Ev o0Cwó8"x I.Uq|&Z>םWZ ʼ+&]n1A2dƄ{StҎ%Q\bG%f~ѤfxJ$Aנ=J]5ˈ4ž޼%z&+D޼V|*>f18f6}/8"ц)y ȟ4 ι"`p@:|·t<0R<0(P .I&d4{x}_8 FΣIT6lmr}jU09" Q abs؈onaC:a" `aCqR[A)t@ߤsS|Ks˸E&AzcذUwsQ maBu.l fX{;q`$_A#l*I/C4g*jnyz1и e5)&Ҿj= g6$6d%8Ъ^gwxk&wG =@,C^ԑ KiA})ʅ-&Sb- rÜApa[e$guYx|ؤBs hOC‚ՔEq㬁Jӈ(-5w([2:M{7`n$AHyS^+Ѝ_7GO}+h*BWѪ_gYZ7zXZִF! 0]ŗXiɟ1 xupk^ EAo0"Ċ# hW6|cX1>b}])F&rlt-("G=ȵu%DH@InW>¿@K)f ND8/SVSOuts2]!<>aM^|q;bk)=4w5\ጃ;}x'QԙV؀}ɜ t;;Uq}u5 :S'fpm2AԖ<trx^j`2j4~eKzj@RS\WiB|򼒠šNb V_lh^ V[XmyE050̀a)w,sQ^-fxmBA0#G pQ,Ǘu _PG C,M;k "PՔx^o_& dSkָm+LģMx9ט%U5澳dՑYPh~Xlq5Б}9 Y? 6Q61wY!vzaB(ׂ5 C8SǰUdwE41BÐ hOA,ʫ"H6{^ɽU0Յp4;O` # %to/ \B=}&H5{Ά4_VKNпIqP^k!kEb#%6^f7Sqݚ̨gT5KyLrOPn3$ nOl &ndgAecmLNԆ9 E`((aI9B^18rT* &gYZ7zXZִF! `]ŗXi%Bcۼ=8RjM%X*˝œ;{ON/΃g6+p#,{_;@vPjtO= |軋lFc#[%NYb,@8Dzr){-1'7W7ԯ+n.xFMTxecEA)ZacrSb~wφ#vܭF>6wғO> mޙˉ%uPhCIٜwN c:qMj¨wE<P SP v;yV#7@4vf6muhX9[:VKlI >vvL+9MHm9=2&K+ uhG-nY{òW}$;m8s뾄 g4q&#[L [(\Xp3oi(R|k֖f?-\@o `/GGg2ԋbme]Nҗcxnݲmf0GJJklOG g[=ӲU I='ҕm9QU?-KYEdohw|$cG$e҆$ٸ}(Qx[i.4 kǕ ߉m1άT]U[t!Ωzbg#Ǔ/\G5Q5\eW'jŒev%:\EUy5=ɓg6;r$qҸ7_CԝGe&0o`޼ HYr^ʺN! 0jl a/eDKϖ] ,`q ̐vTb b,6@MpW:ʈ?X{d ΑJ=z"Smz+-yDۣX1Z jt$Ȫcw1%K7̢!5I$Z5#*Vy C=\ V) OHA0pD-(׆.F)dql񳇀-˦?6M!O4AZ:#L8X@7Qݿ3Yv7$|31JoL.~ |՝blȇ1fˠ ~N֬|0@͡:JLfBW Ii%Sשx51z´Bnɜ.x(DͱhbC7:+ =|ћlC^~3e6q6p&Jg`LAk HsXV`B-U>ݾv(ObaQk &Dȫk/R_!TEfv΋rw"Hb"űl-hSRTqf'2&`4!;H/n*SmW/R0ޣ y]8Lx(Ʈ(FsH ?x6; $╘$2Y ɨR.4 |k~芠rʤdxMP XSmeE a!j;0|AHiBXJIw 2b@aUkլ\*Qr|b٣ey)<b>hUdvJҎͮNˠmuYV 78Ry9KG*Hj(/,kwmo=hx/EO{f0bleR}yqe?k uvRknYSK,Uc9\0kyB|.In. RDcj Ʋ XVNOmJ~l@bʤ ]{,=P| X-q=fg(!p#*J9b]uSצ!* gBH#rGnC=E`뒽3>- 5[*[҂pSYz?> {;r""jzK6Uyd4dQCΝ ne0(R:qA휥6ɎN?gLE(ced_g`=ds64 +Pa (t~J^S{ſ3%$h6&bCR5%@ LN#lkǯ'+ma6?D6:-9ϧšn`!i84F+"+RZ`fk_S. K %®8$-pDk.[9ݞT*+OĢhB֦)ubP%['2,wQOU!u?+F60~u#ϕ_?j G(CD՜@ru$!#wIGuҨ}Qg+2gևe؝a'GM ldXV ﷇ4BcS-`]#Yd߾o8?*3BT;/D{+T>Rnr( 'U|&=5uDOy盋+ 0j\4*I엇ŧ+Fo,߿f͞>;"F+;t̶'-vJ]kiӃ3)*|~J7p8!,hYyMDhA)H8p D҂n:8L z:17/n W ?tFn&o dYcv@8 ozΊd12;}^eaa'+Xj:iD]v_)n"{"ЬNjFgmT3~43Ipi%7TA 3:ϴh\1t Ox\eEpvFkI@±:Up}l0$13B?|DrgX (40o{y4=G$l]l@ZHkWǁ#0A(\m2 12%Q&H;٢q%w zQ&؆ȴgrpWLrot;{i+.>eɌ"P}W4Xq8jf=8ZOeJZBwAz4CxqI3>x.zj|;x[Mр{(^-2s2;(ţܚx_+w[m{TU[}:8!'0LԆINF3@ Uݰ]~K@qRKH } Y96qXB8ړNqwCfr N>\LҥON<5(45 oP\Ϝ=~Y[P_Iu!xv/ym V'΅XN!Qef!)+ te(볛$xz椯 b0lZYގoNgwn+?Ym# .y'"mL}I7khɷ9"3*R4NEOO}ܚ!ld^e. gz TJm@ J)u"81 ㎃`rrJ)aD jU^wkyN(Y(JESۄklʢ2b')TQmM\\SX?qu HH'gӂԺ ?>gJ!NX>0e:n@T(<\G_D3. \~Ʋlt2gZ)D3cvQoUP~k/x6,@ʴ7zv"$]ry"^GPk=1ۥs8y*e-L,=tTc 0,VZGʢtԍϏH⑶%,X$Mˡ$1}l 46rSN_D:A&n=A*ܾ,56vrbhpDzF{J r'a'S٪g(Ɖ̼Ƅ }S\٠>>Z"QoӁr8_rwHoSYil㍄spOoUgߒ;zA.vx->{WMǵ?:Wn/UO&,!zmQj]Lj`_DE ҥ9w($ EDSFUO8,_t{tv~- o׵blN1ܫʼn\ukZ8# JEU XF,_h D}k b~Fcnhe_NT`W+iXh<⥎YS9HW4KgW<> "&'%"DZ(Ӭ]  16A܁0T]{UW\#eZ12klG=Dc17SrPTg%Cܾ CEcpq/2{q`2vjf魼㠶B:c)ak>b#-~ÏV`wѷR~͜ 9U/٤n# 8#k~KM^3,'$5m`4.CO$ HML Y}M)R,*9~JUSZ%ip>7p$-vOO M4q"*tdzR4WU$ YXd7R:7n^L)Qܬ͸8Wؗbb2u(UTHp*֖oL'ǥם˵bQ(WwGE;-g+芣681S 5Rh$V]3OsA;٦ÕZNe52(8B>Vsf,h4K'm4+_ix2՗lNrD^&>E^{ZP5+(MBnS{4BF 9W1XK^>p=SN 1E'J*I t˞[n~{OfɽʫjyEAso>H7I>F ]Xm_2݂'TimW̞f?ñS8Z^ dd#y;46 (J? f} ʮ7`_%{m馮sY4i5FY)yX{"lgyTG_Q7%qߎ'n)]XI3R0nJ>PV\`1`X#\Ѫ!HvREV FG0qY@跺m6$Iny`soK ~ƨ(# |-lqۡb<*bybVR>Hn^H1߳!5+?+&es:z k n>5qpHsѣ* ׶> i{zP3m$|E<#@5p܁>tQseM&GW31jGxwTmp.KqZQy1XW=WYe]n@c\P2 m(o>A(faCS(YWu!(^dp^Vv捬%{qm XF.IsM<N=+aM,%Kch g6344yJTՍGpB &Ud;]{H 0 -t!Yj7i8#.C)UfG&:@oSQ 4d$r\7 V)tja)Wlt#oGcrlm380J ?.y'`bACfF#0kfDz3Gzaм*EMV>S?AhW<`SX$c|$JY u|9Y-L0! #p#ss٩E·:]dώvQxS5MCkvUvGw{}fMJc)5GQs~TFȫP\ GLpָZ rԡ9k3+*m/~˿l"sT L뉕 B9'HXT$KkO^S̆e$Jo!q{ψ7:Ɋ)>w%J\ʮLcq"JKafk̏2͵C}[V{8deg}1lM?A1٣떣a+SyAUW\+51(=2l-L\jhS;x8GO묺Q*Q0tܾ}{]iC*#ҫI(^qpvU jˤbjۖ$Z>G| [gGisf8D)Q}t875.^%]'?Ia&lP&&D7/泌6AG' ʟQQO?Y\r#BϹ'z tzc؟oI5Us8]~LF?;\K6SX&YҺah]KCvt敌<_}^Iڛ2 㢼,+Kˮtj`/!uaXƫUx4RB,zNGu<7a),NMJg|R)==٩M>؛8Ľs6pWâf Tac3D6[(eƤQt#Q_A\E/d;ִZ`:ڔY?\hǸ_{4ŒQRgbmbsc%<ZJWf39HktLЀQ Pb _FfC\9Dբ> +bM 5 ~3GxA<LS)D%o>&wSiv[~{gCjʑs傿Nҵ0]chGZDC{BL'<8]`V穦!!;5) DW?e8Z$͛[ߗXYP1yTSdEy"dC&eb`fYbIznjdtyUr.}CY'FT#W"RªQTgD{;9VњD?Assa&C!,ȵ[]ȃ vyn0A÷]P,. qTֈ4 Iay`Ӗ׬Dp}K$[)nLRcTӫT#OgvחRM?od5_2i;d k!+PTYj<4tD1)d(GEF:@PSiwu7#fn1n׮]s P@C ÆMGLD.5#~cEݚ=z'+GAO%%pX1~ȥz&LfυqG5wo$UXg!. [|p չfKfYRa ($+ZHlSw{N0 dfYvvI~j~Rgd # kSDFPpNTS_]}3GkJTm,xݶj%V&(kw}cڧI9 {alVlyDĖq\4r 齡!R0nV[iG=ZItL_Ҹ:]pZ8. a t.7;7 aJq[Wl5k/ T7fv?I e%"md/@KU7g jVXŧ e͕[ߣ&Ƅ;+NuAUXLuPRq4 Duy'?^oֲ+xS͊Kg8;``޻#l鄀`;# sD?[33PNT^Ksuè%) CV{ϴNfWq>RpXy${1Lp\$tpGoN` + .قLu[ X,; lm0y Qʉm0AMI!=zHе$w D bQbB;k,YR.vʏ(Lmr.~8\[5mHrxqu{^+ aZكxQ[?qR5:!"py}!LdbQ~KD (1435!G nBfQ]P{am?Ani6%ԃvM?f@٨5UEWcAb6=Pe'CbJKLUƓA.V8QJglU{M[z؎8Z>sԿ-;'6hڛզ-H4>P09)r )vp% 85C^ Ԑp+={$#8 QW¸]ĝ 0"K"mF&w*3ƣn\ؽˎ. R3مӚob瞺;m+2wo|醺0t4 xf1 cCf`jL^>{CdA+Мw% MS&Y?io?fOۉ漣\8ex}̹) ڳty>/M6DtroNK̜$T!cE;}1nX` r ]̡` c+6Yf˿3IAi?XLP"S<ꏛ2w0~ɬd`όVH eUC'm u0tUy:6 difMәEXaLjdf/wn4{7:;(ل~Y>%Y+`&u foHaky2S;%${taBp](F&CR$B3tNlъS!>pn) $9#F@CGNKҘ5Qx]ܪσH0+xKe@q ƪK1QiA·?Xs 4޳}P-7ۗ[$-um@ hwMd T_2&dki5}:NU9oM. {ߏEH<#h_`kHMz0y114"\Kc*M=/U|psmSf#`QS6qEǛS=@`PȖGtN-ee +y$N>_kJ*S D7q@^rm Z"M@<-_? #(G^O0&_s(cuR[ʷEid}Yj h< !2پeY L3(8Y}ffp 'gJP !OW2K`oӤkw9iJqGhc>;ԓ.`)9oM"^Yzl0%,+r bArJccU鿀ىDrnxask/J6SPGc[OeQb!M4]ZёpOW&賄yy|8ßO\W3X>< H{=:`:TԽ{ݟœ"Q^aꈊYl8SCv"&߼%[q+s"%͊2~bJ"sDŽH^I3㰕 rG{Hz-(I.+c6+:UGe a4 LX"yW&< XM7RHHT' sʌfXDE<yh0JpəIe6Km Q4̽EoQ03Mع{5ioxp2Xjn4iNm|SiYB!2x4mj%}ǏD {?] !(Oɼ}dHt9=z;fMՁGѿCs3[.BEw7LI/>2mgBQ< Z5׏4<8+fp%+`X]h[Ԭၕ^!0Xq p<+*ƎL h?Eq2Ve}9օƋZq}- &A宬H6ESj8S\d o Do\1fdl4}G%goD$Pϝ͛j='X' ޗ"ꄹy~{4HZ8`@U,xlw ԓ%BuX'Pm>_4}ϏRjD |Mڽ.J;Aj6=Tv(< B/XuN=t1quM Z'F V#ȼY`6/l.S%EDgo8i(XC7>Jz/%9e$"e8$ {GX$[ŚDkZsJPa3 .(BN&FTLb&j2$n7t%+d ZG*[ եBP`8MJ{ H̓%T@^y(GYbF0Jg&Z$㩱\TBCt+ "ϟ[<PQԍ j\Ps;l%mSȳI `@}>b]  >Epm;U ɠ%jOzN𰾜p|5?]$-5c T;/ϡtw|-9b*|;YUShI6f{No^0+% \`@P:MSFٻ5b#rxcf'y1WH#jyͯ83vȲ4* LN2n5:)&ҏBdom8]M$4(G0k2؞+D8rlN 4fB>AW?\a$܇6D'.*L?dI+>k69j!+y04 XTƍZ9;#J$)~*$ ;p Cd\* H`R˴|,r׌L)FRuC`T7i"j5y`$g ܌u~47ɑuAkv\k\mXqTFJסD7j4ց<:j$zx%EtV@4p!DFb|}z:WkyvZ_)&^,oM'NZ4{%^s[2\3賌_${&|Q~Ę0p> Hا*lҖӍpeGc`qG1]`M?o3<@:J.?$~"d @Ԙ _sJ&ّ8$KlV-4Gn+%!b`~cBo!fwoޑE|H114VX@qhqej/0|WS-tYjZT?޺G&^P5E&NoxOM0i gR-F[u7S)R3! ViIw"jXwe:ֈ=LaRyZ8]2_Ǚ{"pr 6=4Gz竳a n0[lV5zիv(Aݏ۵SQIѵ5TY~ -[q!gFlD]jr߈EgSwd{!8UW噞UT;{^WąBh%Uy޽qwwsoE9rZ䇊_m9[țEMB\(Z!ߤ&`iQOOR\'%;>d rQ(F)/ M'MQI] [rC꼞){ȕݻX%gKe`!-8myc{U}ØOo-WiB `Lج*IatPGqw:#*@EeGrxCrW1Vq/-jơ1B9dZ$أ b~(?LcR"4 D=ɰ*T,KB EXr9W wdŮGޚӀ;Zuu\g? Qș!oTVh*}F1 -1up-(9 2a6B,69S$B8Ǧ~s#,hi0Ŝm26`jD=mm)'X񇦑 P@PJqoIXx0C ,Rb[+,TP,R]w؄}V3fӻ_rAdƒ8LRac #&Pؘ)<2*_0'6m8QkQ<` r7&Cd~L/1)7v8CmHen1z(p9PoŎKജBi'Qҗ4(T OVgv%ޠ;6dܯӤ6Aal~_kC3A)Dp7ib`g?|7rk~U$[(x*7a\3c8s,K ءݜ>Eiw:ř7d|b%e "wեs=6`7..JN>ŽଳQ4ju.R@ɷ)L!ïLa#ejnbKl2[A? m-gY[oaIJ_pYA37 >i5,c?DO01%74O/ܬ[2OZ@l+0Ꜹ<3ǫ vYsN#|В2upG5 )Tat4 ,h\4c;XMA s{ .8KmZ>la,~MUQ[j`07U;A6Y,VND) B!QgM)'r#X^IN/h \r_L%h9Fk% N]3ﻉkSOWCz{t@C0T6Fr`X2)bq+;/P{Trm%h.5<^+ 4NmbTh)h#nxF4AF2L[-{L ['b1 WLcXZvPJڪE޽͝+]x:p\yBv$ҭݷA3%jø)XW&Z VpbGL2ޑi[:q^ f} cc m@0r 2KEi5R'(8)CYK|}i_S߅R1!nO[N0qv1 X@U&%Xt桽gn;;.=Icwnfy >]Rzx>z]`0Q2zuNK+"Xرj]BGjODh`drIUiQZOo4{Ycrq9"$ $chRomHj&g~|5ly5ncF8}fDI!wT  QݕDχ'~!RUj P_+l 2/;3˿d)\΋I D/y m)i$y$ UW=ab6R4q^ϴ.PT $6] ߞ׌4 ,ܔYB(B }6d"dŸ<.tސ1=TҢ%k_(Q01l5(y=25V\ژB yC372NFei3CmpA c7W_S"p;+4B$} !Pkc%'{|߶m8:k Z{*APVJh=&[u+ L-!A5g5_HL߇򼪷bOIW蘆!?!&*^"@}QL$I1h\?KMb^I>Ui SlP$Y.hKDp|y2h)2/ȯv&ȇӼ/ A lA+>Av/7?-*)MT,'eJqsE(gq9=r4͝jƄiS،5d%dy5f`,i}iV` /H֓d[Ɏ-ȝnG)w}40M$6=WWY1Gy>!.ж LWIe̗xq^CCm_=Lջ4: #ڠpIxҋUS.CN\ė͂YVZz0}Om-߸tr\AXQ03,ܩ?'?Y8b^ŒD&qLy>1-.h5:)h p3OΥ|g.:43v`D%'}-2iC S!)\ X{ BnwLmn6.愯o$YąqMp:>_&FA OI8P@]nn?Ax`Bcy .뇺5̰igit@O4Xi$tKK" x:| Bys(&z]jak0(%lY腲I%꫙./zpфzue=Py=k[͚~Y-\hfaǚ]_Og$ZWpmu6jA ӛ1T;D] x(}%t0B=RQpK:V)0L".e<-?lEЇt1ws5hzi$`#pnLM!mnP?k/E'etam$0~29W?y5,jP>IM`eBL`7w"qFI/xlGw$+\`}4;^E>z̢,uNN0q9Ş^MūDW]>nrS@Y;h2ZuףoG8iEH]+q. nTa0j|Z+y'Z[i{} 70n5=[N`@F$<1-ǿWK,46 {)/%jWL LTY@ZY2PH Pjn/Z22>`hTa)S]Dg9@H4ע]v~B*3XN ZZ̈i/B;eqEq};5]#I)RP7[tM9t>ޡ]46Ugي3pFB?gHpbLﺽP R *]R ƟS^1C (OmHӢ(t|HgX/j( 3t,ZųMVF+" پe)j(K[(oa4%ʼnzQB6(!:ֹ031=(t)2ţ|ȉ&+@($YW}ޖ\榥uO\ ?鐑AG&`LVM1g!$CmL Mߒ̆ʏy8RV"w$V <&/7ɲ勇sB\TpωLj](EAji:"SN3$ČQ%$]Ve65MZrdyگ]mM]?\2]&hb#@P.@A] \)bx2m/XLj_Q-2<ьtu?PxA,A1qW"&ݫ>Z/q~B3FI8^ e}h;)KuWfE $Y =^Z0Sٮ2*k-<}"6AG|;>S֦m뿝x +ԥŇ!.ز69Mm' zX1'N"ڽE^M6RS4K1:4|z& ɐ"1{>z6"V7MKU2]~@˩an\ŧ f$Z liBu';AJZhhǒ#=tWceACGJ\(# zz1LLHsj+~@ B#u{S*"`CRQ,LŸxƩR&?$"B򙏟Od53@K7PH6b~`Yi)NSb}=1k([4 F?Wɟ e(!Hs(KehOי|vX8L(aIWm9=Nd=b[){яcqH|]9ǟo_+?KN;YkxޮA0 uV pD[hN_B+\KJDFp{! 4kt{[ ‎rlp>Ø ^3))DdLu-]AדT|RA6bqCo~