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 \\|-l|\ ]I Perron_Frobenius:threads=4elapsed=254.803cpu=840.048gc=31.280factor=3.307zXZִF! *]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sj"d\ЂCh~^7?2//G@J!6)m ?Rco̙ẗ́Bo_iyH%B+ɯĖ`s8vE\҈q. 8c twPIQ485pKznzrV~h1o}eC1vmz<"E5] s18&4}ޠ$,?*z̓`]o<+65Mb?|غaH]zNIX~ݾ BhW%Fg^GUދNKXv3G!zż MurSnBR1,)qo!M1Rg"#л` #w ,W6PgQ&GPbN:3iv+Z$_ -T9AJw7܂Z^ vea" vn"@hŦdZI3µ6`ޑbj.fq_'G^F/@D_g649?U@# 7y$T3x'ƘIv[)ARZzߖ2tkՌչ~FQ'R"X;R"zd%ǨbY\iUx7h9^q}x`{J6.vb6z^[ä|B=q\aJo&bH(6_B&Jʗ9t;r\6% p,u<틳r n#c!#;{a|ՃTcê(,* 1]^ȖWŧ6nU1xԬ;#/`Ҹuش-Fp(ے!W^̈́(yT ".㏐oF^0"`4Z%n' kz}0,lrV"="Wd(-zZ8JpV$TP1nEtO>T`Z h*E[5U Vb"%]*F`VojFaľ@pV(0.di bI*m ⪐0$7ϵԣNl(?SP4 ƹeI6lk?!DyS: (MȧAB=M)@+< Jju~R.@ugCS7~V j\l)j=>0ae.i\[aIJZn>j' eKm412`s6^qqIXXՆ t@!Լp17l$o/:*cT2B6j;_r2N sS_ q3 (XXÔ4h cظ}MD$+` 1*g]:mQ>ߎ.~[Xnߞ: #¾_let8'Kn+ں:|b:E:Wq|GRMEqN1&a8phsY`dĻfcoemSn1-{qg#(މ-<RH8,ؽA£[@jUW9/ cC~ -82wHx+KGy솺盛CڊO%BU ǩU oRœn=W˱_&q3,BC)K) 1N CE_L#7IO8lEMc BM/eZQKZW҉} CR >M@&K<Xgi&1ß-1w@C̡$L&e}^aN&scăCߝ~r)5yײh>4+;e͚wx+21vLm422y,W لg<5wԉmZ#cQ=> b F蘍T`e, UD:$s9Q ,+O_h, #}*܋x󬠵]ڎtLQ)<-iZm)ɷbYμvD`Х''+Ը:?SIBQ2.!S?&II?sp;zz<*RP̅nr\ v CȺHƉ([ZTf65Dwn 7ez @q UQ`ވk2&4w0 aMw:-s]@cN=3wZ(I\c( ؔFʇŒT3]2 euV%/\Ck([UUL̈3Cax@ga*3=XdG*aVЏ^,t*i&G"4~&$KTf>j^KϷcwEN`iDzU~#k i3O.3SGHeL K5"`nRu't)M Yc`EkiR)쪳7+ ήѶ&Y'ø}oNj뻤8 \r70蹷ճ_1t@6եi_un, g\*8Q8v\Nj= 3tǸD%EMZY|eѾx:/RVʨCΪㄟh_ Z ia3­Ϊ uVg.#݈&n 2;B` W > _8|B)WXqbz{chm58Tp?D2U)lg]P욜ՕWE6O)|}7-kzMDSajsrd+XCdWMۄ13Dܗn̵|6xRPp oߚA/0JUT. #ɳ.Vė |S>q\\UTڙ\X۾nl0A^S h^Vf6*EtԧOU9;섙׍"%gC-BnӭfM4bJ<݀2f^zp|6`jIwgC4 O/Af%lj]TpEƫk>iwZ1U<՜b%[_' A9GXN\N Il yMb?}0LK`L?G NCLW=Rpz)^8:`"m6, ӏ6[ֲ/{D_ cq!!5_j"a2&\FvTa;СT袥L}5X|d0[Zw=-T:g&W;PrG5ӠCO3Hɟlc~"԰[_[@7dѦ}_oe;.^?iasن[e*a>FEAjX {:0=;fЌ1^IU6Q=u 2s<{l*i[F.kB;6f  17rwm _|6@0Aqrk ^I|F{Qx|s:+q>%a>o>Y -f3uG Ҁ:c)˘}p+٪.BB"v0Aܬ40]7"=g$%ʳ81cID B{s3(zF|i+OZXCYwP]Wۃ#l^g<8u ރP:` qa[& ѫ HK8á< en Փ+d%ͻԄ3a79򹥠;%PG* m`Og50],'Ҁ*FѾZYV^kDHB/`\j޶`6_H8s~#AuW }@h@RoYº`tW@)V0?qm,vD,sHW%)sDu,FN4(mX=5[/&šL![eX#mUien@.m O`x.g'U:n,o1cqg?6l ԫv@6EK#sTmN%*p@6yዷquj-C| TQ-5GtwFɡ`!)0}Zi۠g}!|kR=$Ss1NYJu7.zphhMR>@bx8\J\4&zX<'V%eunjdZ??R؉Uҡj;DiS:E T@ +agm s?GP/3dh;ogBa|.4yb>އ E.(-|䄫<|Uz^K9ל  $c7Ҋ'S%Ġ țeS{W4^ﺁf@y\%+Wha^}<9Yn_Oy5kP[9h}.$zCX׶e#K<<@"E1nhХElG0$"h+<! }תOSd;#qo1I~QB hTd-~~c8lG% @9.q[i .ڵ3%úlg:ӂՒ 1i[#c YZa>Z/XL7{r(Bi9$؄f@_îV(:B)/i3?V߶ pqyxzT# mT$)8,a11x3w}4@Q\-h},t4zHѦ5gH9eT^SDj4Wsۡ:? 5W_4Kr`%*i0빅DQϾ/9gM/jvK^rgB#|rvC9WƮi FbRJHUg~v=\̳]ߑ,gB((xxզ5bhMoi<@PLyu_OJp#F ;wl±ʊEf cI R .}sƚ_&n$㾣F/RL/0 ' TTE5oUwtX|mDzcG>R$,W1BYz!UYPKzQ-d}e bt)BDy)>zLKGSX+G:b{V}td[|BEZęgzʐ'e^2V&\1 [mC9;B;8`rNmnjkό2s4M` _݀(UP|TaQ%ˤ}=BzSZUe-I&]bvRTVM|.t*Xaql:;QŚh!B5n/ Y3NNƱM8J~yRy Ds`q 3a)GVH% qHT_b@snd:XLjbmUIy2"3q<=kt.J wn҅kf1yՆΧ,NLnPLII{'&- Ϧ# 33ʠ@)D "%$Rf/(JbL08ꟽj7^-<݂8*jG,YVF.`0-/'SLNQh=Zl=o,.r/#_<=b('lw 9z6WT*-!fOxH?Qkо풳tƮsՅ*ShEi U_N 4]%C!:v}OX{ CBfLWKktzVhlEkNbSe zn]d5ƧGx7Sg{ȒULj'?wא-!>1Ά75lG@PBſ'"O"192˿^2KXEm:Ũ՚ja=D+H`ĐmvMlJ#Pk>:t>Tݪbz>c#'{3)[}艑w.;W4K[_U4Ne3lLHVhHg|/'AXWq2m,T#@۬$>]ֿf:7RfcWwfRdپ&1OoG Qv,X. \iO?ϧd-Z@t9 9Ř)q3asL,x<|]|Sa} sΨ=Tm^lrZANcZ"2CAuaxe=SLuD'Y=4]#R"+f n.dCvAvP0n1:t2r:5s:!qCnN8T/N~aL ~Av g 鳁 Rծm*ƂyR^~jH>*@kC"Q`kzʼnz.N'Ydl]G j:}!Y鰀0dhIlnr=cߟaGn 4uPGAQl/k{#TRGy?9ߙ0I24js xFwqV?OQ_߆3[t.!PbtPi:kF&Vv ,z{gYZ7zXZִF! MW]ŗXi%Gf)!_+XfՀ"U5%1_L$&w4SUxSC@GhqTw5K?Ö\WƊ bW{pK?ObWRDp\}XmPEUr" 8"HFviO/]Fb+~[M.=m$K#F Qgz+>W 1,#fbCt?E:t h/h)2V2=[ҼkD9/4ckE&KG߈1e$طh yeכ Sܻ55:|9V._uY &?3a+Q40ؔAGefHN'}:fhjpˀ[-G)-f`@d8K|~3PtVrǿќ8]%l:@= v:0v.BPIl xAp[]Mu#X2e8C&ĉ'ȩDڴ\t~-:Хur[Gh<4e\cwqb@aAJPĩg{Re[py,1)鮧Zۃ1.q1+_۞ 7JUNBZBSͪ]m3zƽF~~/ޗMM(Y] @4qŭs8o&/k 荳.KSY= xoVՙ^K4Nk;!{C>m(G`$ϊv}3ټrEϪH,wcڜM;7Rs2Fxw"y Y-*Ȟfg$S8(& )4 &l`R5%]IbBgH.tsPl,{5#Ye˜=RX`_O"d~hTש~d$gk!  Ֆ9>f6F11ap?O1mtJ͐ PKp%M†iİ.s+Gz`ô:#;Ⱦ֋G1FEI|SYt TUcMHnWQQ& ˩[VHΨHbJ*%l1Z@T1k)zM߀]~[v?$n4K}S@U"wMh +fg;Ob&r1ۼVgj CZA#k~gVȪ%F e\5AinǁH'&W^ŎCGF*VrI LMoEt8B/x(SqOL0dkU9A:#@6VxgRb7׌ZgmC/JINӹN-We\qqkaռ%<}y^t:r5 \UU8 `q=E> KȽЍKRWׄmT/"q݈޸Wio 6^[hT+8Gռ+jlq&&*񃶹]9= ˦*; ~.;ya1ArK1280oYvI1gr5⛗ސ贸QEv1`*+pyS-1UJ)&xf|LGSx2!{|O,wc č2p~7,\/WLQ:!*]Q- G.:aui!0q H7nԸУh6_M. y{9RPaF f#u r֒OO=.g~GrBmUٷcn |qH97\`RQ#@\>fB4PwMZ,}ފ4z)mwsqI7-`} &Ӟe:\꬏-(e!s~mkNUA/ӻK<iuw@װuoϛ VxQ߬u3'/[pQ_mwQ.Xឋ"M?EZeF6̪YkaL@WLEQ F@+or(19?z $Zb[ϧ~w,co4y3?ByP6ŗ"MX*`=^tf &JS[Gd8vN"K+欼*޻`G#F E8E̘6!U^\2#+Q( B C1)AX9;lI<jxEޯ@/nl}q>vE|#dʈ5/Rq< U"5M:OWn=q ;yP]31aH#Sn31#A؅TN"0/59ܯ&`%vJ&9EsV0¨/t@?|h pZ pMsBwO .z=kQEZ5jtِ8ΔgRo "O8|T:`.ca, '`Ȕ#? ^K!m);z4.[O*rnz5@)g;N%E>Pb9 Nܑ+Fa_wG* ;={+Y&{+ôCop)i^BP9iƭ= 5B"7p ^bGbfP~"HTuޒ uB \Im}K36auSw!+G"S4]܋y]N?s@FZ]}2#XęUNH Hp8KƹBag47ЭfkF+/hhjwJR|[ԓ\3X5 ovCj֥_wg!M w?!-=)HǀOt!lf9S/ [s zviѴQ@3v.hSɥ;m ,J6teS>!*f(4FnE.еSlvgZK'lƩeWh{j\X3-f_A'xy1bNOr-C吩EF%B=%D;0gU"Ɉ2#w!q0DvTDYF(FDtYN `0X\9߹'p(8MyͰE%ˠFcѸcZ.K*yj£)Wo[@Ff.M2"8lPW,Ig@ Lc8+O!\M:h`Pnj=dQӕ(IЖ?y[ wz=Up4l!I'2aMs2ܙ*!Mgѣjtۗ$4ǫž~AyyyTeEP;*"gl l3Zm hV_FM>O3ʗ^l% 7y\_ fI[tu+ c~lH0<-MգN^$ W5L^ދ6J4me2MbǦtHB+Ua]݅y .0^͙Z 뿌QQ*`.W.\uhe-.rZM%=S^ȨƓ%7Fg`a^r-u=ٚ:`eڃ*!ܫ@u!l`wT7D}1_zMD"x.Q΁RٟB|ݷKAT23(Oq]l ,ߙ@2őd3Q㤫PȆG]p,EhusJPU`0ol^%b~8=Gk"+%;123T攌Zśs6ς-9ISj3IfFKٜ-zfz!7  2vJxV+V;8c 1ӔPlV/ Yb'NM烀[ΪZ\TAqCOa-Yפ 8q=,1܉Ӛs҉ąvghS?mz^p <+hå}2y>%'(!fZS59Pu }c_QR!3v~F>0q1\(ҦԂ Я~ de@K&Y xaa'ic>"n2b'ٟ6} 0fpӞ^aFWO|Dg2w"} Y`ٯ&W7/1ҧ1 pf{!Cev0`!:}t9[S2ZYW@NݩdfiL`rIli.ZL.:3o5Zo*%+KV.hƽdfҀ>i}֙Iu~=*Y^C>5^K[4tw"дHqfȇN|SɕbG9g"C-' p *(x(@1sah[P>y'qk1ұ$|AAUFQx,' D_ۭѮ3~ۺBA[* ж$AQX߁QU~8B.ү*^ʮ Zp_dY28>]j0He&d2=Vo-6z}[f /٨ (ףA}/P?fYqF.jb"!'7 E r;)W1 Wb^5kes73Ait훚.?4K]m"UkHӾ7{CZL9-/CLl*,/'#qb˿lh[-_4ౡ|9 :A ]wjfPd)-|y[=OYbš#`27zڱx-/܀rB$V._ qi|D&,ׄBu:]>ެm6.=sYy`0"ZPG!ztScf]a*6,s?kPбIܱZvƐˈj.C0ԕD=Emn r,lD+W97%D#S pZ>?1HՌm/fE?|~bm"Xt}1XX̟Fp:X=6oeNu@U=E挢"uE%G)D,si* FïN1ƙ ^%J T:! +^sy#FV5QaQSQY|^n;+~*@ef+iML 7`ү*h)@2ZyY'ZŦ=zEFBVpìT\ᙦ~>=fJ˷A::blU6i9Νp8jeyB"rDʹ} *t2.67=7{>-Uct9VaP \@p[JkGkwhfZ Ƴy[} J O2نh1HcL+N<vHݬq'& 4Xkm/k~v7ACsO 6݁li}'܅UoLY3 ^W>0},AX1== Uit,s$3s5Q0gTZfYmA)ț I  qS {.)cM= j xm.[3.3#>p3<* Js[/ _e3^­41vHB;lGGIbM# N>Ϸ" u2H?.0>@UR ϲ􈷪= >d<@v P&EJijcq H_2 \r p;D uϗ^LՋ[) ZX>a֡@ 5ȚG](A΂jx\݅?=Q+Lw,|iCש`QX !wtRV-tar4 9Ls[*Q|9iX٥eIHVZqkO AE"pU|;~(Y"y 엝]@_tzf\KyoP^󀜣 9FVxWMdgYݺH3 b,1}GkLizAʖ`2Ϣ^و<^ywD1Ok[݆; X!K*.X WN%tB3>߇|ES $4L$_qЀng[q9ϛ xkz*1إsKf+@ȑӨ D8( ?%@A6 p:e6TC[H w*Tg3kqq!B˧nь%VVnNPzc]m?0헽Wj}9LHf'Ϭ46%!T-Ⓝ@ dS偕{k3†_'ChTCkm%bgZ27Jқ?ݬ7ȡs~^Y=.| wZֱ(j"`K'/ӶjTͤ7 WX0.w L1E(vfyD>x;陋ME $M;FH p] e'?i"PaUf%!v<~M^$#Pir|}WBn~:s'JBqF<,HpT[%t1\yfؙiSnx-`Q%mŖך$%@wPN7۠O|T28!쎤 իK \g?-k}[σa/I.58x{)/ @ K K7P'\X;lt2 8{eY]q I Dj 8H>c?9%Wkee @=ޗn@OֱL@h3xCHD{wMZu0I륽w hdqqtCtLU躬9G4a.8UEPuZ/{NJ %S<muվReQՠxm 5eY':{6}j"΁FkǨfZ" l:8ǽ^Q!lЅ<̶8 /tD)8.(ж B!kz U87B:WL2oZb1#1U9L'`fAuɡE\mȺ^. t}HGmsQWw nLgL5볉\[r1/ٍ.9j)}&yƩ3&i[ AsQ39hqd1^v=>**aJm- e\woQ*_؏8Yg2 ZU-X9tϼFxR'ؔ_.*c^5uFIdduy[Gph6j0Ο&AOLiUߙ֟Ŏ?>g0.8ZQڟ0 2V=50 ]F;&ˏO|#.i5`9ֲ[ч;nnY_GX)AwNwשeҬt,"tF3hƀzQz}oz'4|ЎӀ-%Bx 3/yb]H=g^2Gj|9Oe[$Z̽q{^ p_ A "u]po*[>iQ5P-?c-"u݄yN/{_|r+L;~q۩-#ljf"AM%y5t > ℤ딊Ԕ4ھ$!vcq|Z67 p݂+m3`JVy-GR O#[t-+Ź:fF 7} IʯMkh/ϥ`Z`.n'sp|Y%pA@YoUl7NhJ41DC3i0.4py/ :i 3\eZ/x.K 4,ai+3D.z`\u+!gѧ&%W_Z} z5}"{G@} BKSLI3꣱WB흒oލRrcɭG z<mGضUUʯr˄jPO2938%¨8Sn#V!1}@ӤV0,CnZGcB; :RTZbv.#ȏ7t|誊G54>P5z=!IqB8T0/%뾯FbZ;>s@p{ >+:̍m̌4-~ؔmEUT =)vbi AkFqa̫Yq)D"y1P'Z0=ݾ"P7rBljC;oxv`f!=MuwJm%?bDKS{7yLs ~)⴬?؆ H^N^5|8^T!DQE:h `c{q$u)HD) dkLnkMh(] ?1sپK|J0*qGtxq[0C"R8TrpQjXew6xy?qɉrqg^9$x΁*W%*1!ܱ5XlP0(8G(nչ? h29CXѵZ*jcrC03Od !zx QK‘^X|Og 1,<>{Օg %{똺Xv@b-J,h=h_"EښpM9ѻ+Bh+)ONδKwJ"8v*p3{O2+u\=ڒǶdya?}o!vpfvET~2:6e?owxb8*viNb?J>o~ʇؼ_@]0WvU&6q PAQӠ{Yh KOVwݖP`M0 6O$D[=ny:$6+f4,7Kd }=w="ud<]znvjenƈ4UV._ 5 f$7-#d]քO>AV EhB(˲5bUVXh<&:}bwj3U^đCɞnk.lL'"~7m޳&  )K`X㎳hzg NjWwEڧ=h⒭PBQú?w,tT0LՒt%՞XޔyF=`]:}*.Q1 r:g8\V5&E|; !W#;f[Aw9J wk.P>\0$.HI`ӪKX*bhQx#0*îXRӛAe È|ӗEvRN| [ D`X CNӱ\_N?H҇uۑi(yJ$X9L"h|?atsQxD i6<7”REx"'y>ۃ3_>w9 ];|n|PAId%kȈܰuDAtoO2rQ Jܰ 8V ?**m ly}ݐ ]:<]d3f|E:q\ ,G3 sB+VIm7 R!G2,azNA_f-|U C?.uܼS|hapYm,D0NW$f#]\̽%q!Հ>mϋ0^OXYj8vPd'͍G2fahP|,SI;wzv#žSu:DW(B5TJTe?3ݝT gb[ΰMY|CyI\K?}56dWi_5\P<^(5;@W BOQ"8 !7ʍ`a4j;@ ptGZ|ݤUݷWZqUzΣWCgՍ|=:!sV'53퉱 [0뀈9 WFdH$M<=) 0YE4l%5p6s(7&Y궉eJՠN y_XTuDr& ]-Rƃƫ𪳌a z2vkICh:N0]ʎwiݷT{ZڲJ%n\jru;j:X$@wL4h<u>.(K^)%8lZ1 o 1/5Yj>nf%wT:߄J9-Uez56lxtܲ߸TA)GA>O" ͓_t;FO>KW.锩ȸEnzڨYϐ1) hB"69̾H3j69öcێ'kC'Ae|U3h-n&#guXS6N@~פ_Жu|e{~!IA29+ivcj wKF^h'<"W!8 eH҂e%dq.rw}}!ʹV_Ndndr_ ߲+eRCAXso 6,qpVbsA.vu_fʯ4:"_c+#$mfK̓4,ϰnu_9b$ib x%9P vcevXù` e&aٍ0s~Bߩȫ qiFvXFsRܨJw:JfG˷g]`&{+|3p.)gQʂX l-ܕuD46-ԪvZx$=>xmL$<;vr3O#wL$ҕWG{5V.vI $(ļ0XQWxSWx})]?aOcc*wΊAvGH4 8$2 IS>l5KޟKH r& $gO!$eljԄ݀=>5쩋q gٵifO㝑2kﰡWgU0T-l:Cۢ^E޻LKj-_Q>i 4!C>׹/"-k*^[]bKsӇ >"q~\u*ڳHjDKHJkn//^{K^!>Nd93"p )7XT̕,E8-x>u$t~g ׾#\KJhU`Y'F(jkE&Q9Șxp9yZ%k5yK5|NYOwsMNoXWt`Jf{ ܪMO)D`43<.SR\OSyzX( 즕13qPmAo uFD\5Zf`xrww ,T:}(g+R~h@r}3ztPy}:#@]~繃(-9?^'QL5=`0E>ytO<$a.KcU ϖr4CY.w]LJLC 㐻/h,'ТCYXtxѪ \[]yD xZ ̦X&k*@W45ee=.6(k (R=CDR̠] @BlHY;-gQ:VqEׇr9v R-fIԢѸX"OW`j?M&#w5*m@LN:6HߍZ.vpݩe&)"=c&iHjS6빙%6/xLm"ҩ0') -VAtF(C,DQ.*zo'`J2CHs0{;m h uzkr` T#jC4kB\kvU{oH; ȍN>~&#OI+3%3}%MDb!ybY2v,3rk>pHݼ@` 10H!4}DnFi3B**/_ɤʴo ݔҽVBvMog`wޑ|-r XO_, fkѱ.^ʯJ]}? (^v_gL.o>̐$+vJz2d Qc#Sԃ4N Hƿ[}9 o`ѿ׈j/|"r|Y2} #Ux5Ċ 06 0bcSszg}St8#Z8O->-NmӘlKe+fމ0:n~i#~WgtPx?%ly`Xk+37T $0W{+B>T0BpJA,M_`Uvu./s7ߜoȍ}zvu#Qb@_m UQ5qU[ G};b4m|wvx},2)/O(02|z8f s<^ݟ󘣭MsN}R)k7`~|PGe>83m`ve1Orjpq pHɣl=tbr"$^ 8nP}.)ve=Y7R՟U6z2Nۼhk\sAB*\6eh@C |K4Z'X 4#+-kqRJژ+5T`e<@a8ǠC{=/sg]f$+h1@r}qR'RFK]WW:Xye{#a:PWn VAjޖ؂pe5LzGvL4fO>󵉆Mmx1;:Ns|kbAHʿS& wh-Һl8ecOq_#4z_.}W+ϴLktk@QEWBSI}륳7 j%yZ<@?` E$ss^!TmxS誟Msb*yq9vR}#j&YJ;ްˀ"(e^! {TLjOlZؒ uݾW5g{'/|{i:\UӴBەZ|_ L a[ {$gP|+RMqSP{tRxM^y7}R#|s)}?8A~WeUmӓS|fT݁m!rʕdHbS$Kݹ'ԁyng1>7`4eT.Ƴ̲OQ) pat;}f \S5uuz`6!UąDuqDr DwCչ6آ5$V]>dV;k GH޽ԗʺJBhZb1$"8! i ~n ؝,+ӭKF}\;ږTDa00NRI 'z.w' % fڥQo2>扮&0TŊi6 *bQM'U,H !]whn3OYL\縤H^_?E}X_U0a#MSQwadfƅO(S7L N9P+QvDvP|.UN-3h<Af%C:,Z%ߍ p tAI nvO\^TcQ Ѵ'bsfK##:QmU 6J̪Yz`yֺQ.7f~FJtϷd~^yQՙJ[T VL]zZBZ}K^+0K~(rnk!R9qq)Wg dWXLԸwo6 B^yD0d#Vw9w>VCQCaמ$ɃM 4-TQ1-G52(:c"gUe^ͰO`5D4MUS(Ў7#E7IۀR-)Vuv^\ݳD:q0dvSX?$R@ZCԪ= Y/m{zlVn!«ݏW8>D4!J]ݻDtC8?qdI2|!X5VB|Qb$^@9]7 4IfWVMWqt% '3ő~A5 [mp)`i50<4䲧WkVH1PѤ04\ ',[GH06[WGO?`KjDKW⁨]|(t6d8Ǥeg]+ Xys*Ҩ{'mT |ft7͗KU63Sv6S^?囗t;Tl!{qL>^7=`w*P&͊f*ƍQ޻\7 󦰛1TDL%(r v5-N?ZNSIؐB8R8WYCL Y8~% 4c̚LnjY Ҫ6.quePr!n C%[>qR#3K"ܙ/Ĺ~nNI؈,d#4X~Ǟ%PF2EtyY̾ucUXי.Be49EΡo>G?@`AzJ ζF*E7w_I6O*=$)m-!I7#\@YWTdXāXomX%epWrg;lSL9J=;"u"Z.Fucœop(tߕG+1߸c 2JW,9:ʋ_Tm10,ƨ=(p*JkԎ*IWO M qLqէmޓcwJ =U j`D UKlHh-3(7(ch<-AqWޜ);rH~~\B3=<1q4gȩvցyzs ?i;4T }[U",UUw%S\roT斸~B_>l$h`̕/۳_fg7+,r36m>1'JF:Xϸc#2b68SQb;e\躖@]ظjD)'A8%V{D?NGXs7N-i5tD_]dW PB I Exln<U@0Uw~L5Rg+Iټ d:k#GSu;sean|Ĭy57SJV="8|FSx ,B>- k0T_ޞ ֟L]-?Eɓpeh )&wkۃ *G$EfIhv0m уwwq.\>/Ћ"XI ZD"SR) mΗ@ Nlμ/[.`^K=o7R۩I ;%W-It#(޸Y1`h2i%(f!yN)3]v2>M_4e_$ݬO|]A.Gkp}Q o; {^$[w$ 2"ⱄov!.6O& t gvWJ~Ծ'8Ϣi!IQ,gFKFˍPcfmXH\,5%lF`&7H*?0ۣ K] o+Q8BQZ):0cVGA~Q# fa; ėKCJ<*1,m]ket\$g ܤ r3-uǠdS 'jZDTĸ%ۜMYoMȕZ/W| 52t2Gx' 8J/_M,w-}oqH{S"J{=x DY.â0󁨪Y '=o|DOVTuŠ sAP,2ɱ^2F[hl~.jjk:\uӁVL.qi'ot00+`d~1M20:b bV&o;Tl R|{i.$jltEX puOf8zO`\blOϤ|9I,YL'y u&`0X7^~ T Aq+[x !7MA⮻Lc@OpѠ`>C崟(cO4 -B}2V)pEGRk)|_3"g( V?rX,y}0-tPuGڎ槳!bV2DfA_U7rT&`[EE2|޹`!Ab5coeKXp;G< mfw+%BfJrոPr$qB'{U89(4= Hx~:5XUho/lS*pIF'a]((OٕVnivgX'g\tn xꬴ>zK/*3"oYd,-X[4ڴ΃=G(AuðRIJ]k Dce JBF7A\"Gc7FR+".rd6gFͮP0 r`wJ;b㯤r qp@_7ޤΞD(ngYZ7e70020ce945a88e63c178e702451412700677781795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae c7483b18145f75634c9f33c9550952b04fb136e2 abce5d82a74c9ffcae3c9bb3ee08a25c2034bd98 7c2e435ef9e8e7e5f5796164f75d49ae304e0c7d