SQLite format 3@ .  YYQ77Atableisabelle_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, "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 E5LD o]Pre_Perron_Frobenius:threads=2elapsed=223.812cpu=408.456gc=13.812factor=1.827zXZִF! X}]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍQai=`C v)VOIϒ֩':8.qҧYj<"-H8jV\T$f>𲢪(I!z9c@ ub G}ޗcvrMѾfhi-ک.ܹpHc?NV쀄}B9Qs@' / A^;iB ;RIt07YRYM(d LqB~ /nؔzZ֗y`6jFl/$>j5Ȱ5wzV2dٺq _]-A>6aNz6G䢦yd?l˭__fRCwk5 %A.^QUsOR"|B48lŕ^oxk?WDo7:ތٗئ4W5Sz26_tW WaWuMoC0ղ%9g fk<@97LS kP\+ u Et$26|TOlH'<[8&u|y]g sWT}ƞDt+[R>؍zz]SβNN~v<h7BvOke#^B#j%%G\zHI 2= ;H -oWt|Siӣft{Y0>n))_mMu7 BIY=$g/"T~ȧHz 7AqY1jR6wF%@-#I9<u{.R K,Zy? 8/ڃuS5J`3VSGqc7\u&L҄"8ǾK˕m7_Ynj‰Zu.@{r_=LR ɪh#6Pߐ+R*KI7p7ʮ o7J _%t}\h\|ZϝIKHÌ2JTچBjhC7ģ sL 3:^hg>bv.pJS/8ίa}spO+ߠӸC6{cר7;8ܼ`:SG/w) ~ }gcx*`.hJI0I$"QKga743P 5 Pre_Perron_FrobeniuseᲦ#Y口 MP uLkO6%F_cIBͲ]ce(rCϸx`؜[5N{v J?LnfYO8ƛf1+!dneqzfddzuݓ{Qs~3gcx6bj'1IQ~>Ѐ~}jC +z2; ECFZ+u:N+?&Q`}>UQ喎OW˪`{BCdF]0.:eCķ(, 8jE7KcŤUtIWH2xذ LU>[u=Jylx0Ukv0%*Ϟ_% Й{8 ?\b:icKm"4b[H U0{Օ1Eh !L!/&̨jk0)[h H#aT{4YJ3%P-,4(=E*iOuÚմ:!ej`O\q|Qas0> FCS1hGB3 _ey҂]d 0WAHAx'a DDC$dLr|E4$O=]GWIWsXX\v$Uϕe(3}pq(+Xe~3%Szh7pC!lZ gyIyFNVL?+xeS>n%}r<~nEBF;G7e5܌A3J3P;w@?`+ mSy":XDvEJ9E S3HnE(V=o$vm4e&tN=kab( NAQ^CzKs1I|ٙQ'7Wi⨖mK _NH.]OC97qlڐdo5 ǯh.2koB!%8 uI@g(Lp މjm$xVGsEOT$^Ώ;Uۯn!ChYLC. Sʟ) E%D@Ic@ 9;`t3e ۄw~zbLRz@{0+6xe$}83yȰU]w.QQ؎4kPf}݆SO=\kTeuTydW-h~m(qnD+>-SjCH!@u?R':ijm8Ej$!f5#deX#6geɇu F-j2{}H+ĕ̍䠈59_ȕA^jC\l]2}qlFb/ttIYP ǫt}5'_ȡٟwk7½N_ym17zN>.nHDA2?W٬^M&UeZ2ݔClZTd`f4Jv0͒oB_k&oʣ'E|,YΜe&_urlɝͷUO\# IPWaIy7t-yʀܢʵvhُ-·!yB@woշx a6&=;[ G!k< pܔxʀS^y tqLBCPP"@Ok<UcFYz5,Ak/ާB,SB/páYܟj:Ѱ FWl4ؐTһn}q&MƳK^^Y$  ,opQ+ߵ;j%`KH|i @\ $~k㜁#]<TmGg148+,kUL9hK͏L7ӈ#|̴+ &;rƺ7% Ԕt}|Scjpu9;cC?in ,-L<"&f9iڛC& Pƭ6϶~'HhÎh1||]yOGkGe*Y6m(Qea{PX4c0A5/9邦+:[Aь1Z "kfyM*kܡtCu2M sͳ(O3 j{)ʹ;lfRn>2.y^Թhj-xUJ*"ڌ}tTcwmџ u ڇ˜l} I{`r/8ֈac[_# $\!oT1-{SL`iSӧW_;;N׉v98oz<]`7&m\L^^X<|Ey)*A3}NLvbr ™[Kpu~1Ocy6X3On?֍wP[祣'E@^0"m[=Ҩ-l !ՋhplE=:)zI&LfcR"T_:pF!#lxopLBy-5'hF:sg@8枤oplG}>N:_8x[e6^PϽvo+e!'84QKq:G˴!HdeC\USUk|Lo 2Xw#f=GuYR^0Nw9!ts6?X/{^rdrdw ~I}%8EW҄l-h SS,(ֻÉģL?7%㳫 mҰh! @֞w5&עnc;Dl1/\9hO(|^Jpj~~ |]S ѩĖc3.ns#ԚB&4:ZR'} |4nXÜ@3{&E,@Kg#rg8=ɯ*>N;7$wm4}µnЌ%=C_:*,A7"—rSLPMܓñy:*,ufgVKQ{&c"nX{<"NEɐy`7窕f0l"^|Za$pЪcnaac̹H ٗZ·-6Ty2[cSjD_r {ح^$sH z%JN,E 怼l_O[cHIƆRa׼`U+?[㇋'o:}̹H ? @`WO4cK\0-Lv:%aUJ.GghC%)@X:kf8}`/B[Tд+xqi>o 3TFeK4UE{w=G> vkQ:x2,3ꃁͱB+;*eU<#B+"x=~} ߽rD3g?-F8g0b=ʗ)[|8a徶`ϵ4c-'F^t=&=;cNb.Mu.kMk퐱8+a1:o纕ͩ, 7$w_fpi֡[LFu1WfFKl6ؑ75F`g_ Q;{JIxְ-~΄X]ʺ<-eiNJt[V#xχg*)1FbVlwNj d=,rK>wﳫs/NࠏڅѳЦki){ sH t/ X HFH·4.kT~݆炘#N`; tFAk9^s50g_@NmZ)`L>.XM>e%+' #`^` /`+mD!EE*0 #ӬbG2t?ŔKOwk{tD`mD0dr\=@ž+Lfy 'O[x)>Gؕ۟d7#zϢ~pgpS\~sU k#$ vinOrfK.|nI_X~NBDTpw9ݝ+/2ACfd`.qRC}/fάŅG{}ԁeP]d Li!{NEfKS&Кuv_-yS=A/s %gh;K+fL\Hn_e΅]>ӡ$xpIؑRX4j-;(GҝQ/ }\s*'IAZچwFc20Z_ǃ)˙lB6]oŷ"RF)&Q}6!1&8(%)A0'[̌d.gX1j~N[-Nf]Ff.F?;[\K"߬@=Fuͬ~1>]؜=~­a~0t#Sʞa|ynC_!ǩ9tOuOuvf`-A0 ح"4aGPyh)l5 ,m&?k/ȷ?Œ5?:k Ssw)N峇\v{Ojg=#ű`h:Wp^!d-?^qW]yxۆxV |1T;"J3zSXG3&[f){+AQHJ#QoEND~9 [눀N^ Z?r CYu&92=zst[/V(hZ;k1pjԈ"Z`rr>^X|Eӿצ҂18%T)}.Mz B%ҹِ۹æTg!ߚ ܩơ?h:Q.yud-bʷ`Îl71Bk^P l 4kncܪ\pcޑU,qB|~5ؑ`] ޿&oX,O;#-ԖEh6c蘎VG%W^?<']"V6][R~:8U ˺ju az9"Oӹ?Wq6 bxWNJ@p}G4#ue3>:Eڥ-&J$Q&pM/__6WѢW|?x\!]rբ['"=q잉h1e K{T䠳Φr/Dry㗾LdjA&7<7:Na9Д :~2))F3ﰞ:WD<2W)[6zyvqˮ۔>- .\`G0u/14JX̡[NP gBeP] ?bSg:QQHjб00}TN6>fs3smiV7.k%M[N׺ H+]WNFꑝ獊Bw-èr4:yw$Kz(S@r_eB0L8F` > =H^#TCå߼^m&|@.HJ I'8]OS⛢cwq48L14iB0d#{V ^xld䲝@tgA&Ҵbʛ%~7M0Xv,9KRqΧռTSS ghqwO3 cPik*={\C9Z?]{-:xTB:ce6pDD:9$dcWXXQQ}QPԎA z~rv{\ X R'LOq #7fH5>r-P=2ƕgxHH5QT!',ֿ eb_*NsWҬ"a!Fof'ONRy e1i:b>P()EwSk8s0 yR!m=?r0t|ΪAkH)4Wu9h+k/܂2tªftawԯɹN{KIVqB -ftBVLR#91-O֘oV>i Eϴ$icA(}I[;ŽĶV9G{- Eۡ1j92BOa˷7ەɀC\0@@/@c*kǣIs񲩫Q=-2€O0К~wɫWjM4 whdh$ӭ+Wñs9Bv6h%_AMUvNޮw>0ucV l~?2]~. BHL Kx?{r`1p"Y9]z)d?C3bK82Tl=R|BC<ٹUKjYk*$ ɟSiom|uKHRx ]8HFLBߛ MȀ7OL@{_/8?I`Ƹ`0o⽎K} |_ñv(Ӂ~xfE'Q8%!?*i$6_}%Ri|^%db3|4u dSəI#CKX=gx?wpIUPE}:?.{D[R;"Hlh8V*p|?L!$F_C)1c={ hJtT0Cq/C+jE0H3eu%k!fRF̋gz WWq!NAM+ڶD Evo }$bz^"SHbNgFgypjjEho%Gݠ)ͅyC=Mخ݀XHp]+)>YQ aCev X54`';=$nC5be˪č6olK0K]cos}@l.=& 0]Q5!n~-m]u.OQ5MkE1`~^Y@he*oH."s k:a3|1K4ټ[\ɷU*Pe'%E#Nr?ZIZ2 f*6 nHf!EafX:0.o\Lm <۲`V<_f%Sn{FM3;Ij^+%k&r2 uR7TF:%0&Ti9LQ[x*2Ex]Kva*/o*&v m"'xJdn5'IŇg&t3u)Q:lbךKۊ4*M?w$`붛FpY6X$U |GkNO2׳ZpO&w9]R,(Q}>e7 lCKC"I|;G ١|K|؎>Y'qڇq pWy q/.JfTtO#7?{\DGjvzǛѧake59]?m|ߢm|_0묟py`x p0[V#*vKL(CF A=Ӵ;?M%ӓ仈Wh+HgW~TRTTD pQYo%R*N.9ϰPCƀwhӞTf=ĉQ683O%6ڱΗQ$Bgמ垬 `WgY89ScSa|\^~lMw"nPUC`$`juEAXx1t;2]j[ŋs :Tf\ AR34IӰ5MKdSdVWSP%|T%͐iAP g/{MbmW|8tIwot? 9)-K}و&w}.Ȼ쑬Gx5c \Py^<:j핥B++΀ 7yCp' jvtOh!'0]=<I|h:QKCH ~:aV F&bMrFb/hpzF^86 >25 <\ ]|̝?Q_XEOPQ} HygOX/ S 8F?r11+-UY *iIXrNŔc.9e$ECZg \G$8q)v>,7ύ#i0-@ > #.^J-[qmprV Xm،Jl Ƃe# Vk}H O@j7tUvpQUwG-6Nh%$?qV+E':K@eoIPKx :ݠIGktQT(iW|'g{O[St]}#f4hh׭$tt3a9 >!,p? |Wp3㝀?RJߵLv$ n V!i4hHp  ('7xZdaog=Id[HBj^kիvA,J=nPK>joȍ>/g;|VH,O\^A[c/ m,@94`]hMwwY"S]D4ḾX.;8~u|SA$_ހִދĐ|Wģ3@v<#N;;)pv8?S$|<7OM1Ɏ3oEˎ&.\,Xƫt@AZ-4(*w}sOC|wʇF4LV=` @^t CR9Ca|Rغ5Epf` )ջ A1qx'*_47|kGrOs&]cLiiH^#W`2LD~E.(7GQu4ݐr +ݛ*݅NVtuPװ^ L~жZfR›r1xc:A,W?RBqM`[bﭑǛ!z 22xCvI%N`Vjvu/RI߾}&hbPGsZ`GL8:HDp~qeѷmxnn3.J=1.hjTrk5ĉ5qjp2n^~@.naLTAo-m 'ii }n~[ZԹ1F?ujmqB{:챋R7~/AEjV؜Ot^oσQ#( U\d<:=|N?>,Ҿ2%J!rs\eѐk AgS4*&J +Z #B}jM&L],X q^xr/dzlc5Ka)$&įMMH(ϱ0$cUԶn6|7B 髁:`{mQ:vֳY\YV9e3Nhq Ï|Jc"PN+&,Zu3HQXlY-IrCB?,_<>*ibDh3(vӋT'1Oi L?Ox--,{N;us%9m;Y԰’EjY]YQ(*EsKwpk70O3)c pFjA64ԥȪ"O36jޕ$E AƇ3ZfmXiu.$鉈iq3IK.Λ!B%؅/uDLXWŜؼ, .[|u"9-2NKցX8Vg0>܋I9MK,K#HQ.$WɈG=БqbܻKO|,p\O 4T"rzC)=-~:7/7;@cRwЬD&9ťXF\]n822LtTLZ{.-ڗ񫶎Dl҆u1ҹƘr #V^崽0EQ*^Ws^ c Es7P)Y>r^uSyO"8L>W-`]+p曜 ?9}~ פ߄0tSzÝ/@p`cp9bG7DD]u*Ѕ弔7^͐ьkh,Ɗ%&!^4ϜR/Tu|b]02L0ڠX ¼Z}3;ޥ]jsdX}tP4x3-ح#-frGj'n{F!f" ^lF0^a{~BMIfoQS'5UA2:T&KsFNGЉբ<Ӕ`P8.+6|f# 9 ܌cYc,ϋUXa$(18˒օx5-ȏN~aOA Xl(ǔoCد k54d/s? v\Uw66\hCyUWw?G="q4;''&RE7q xX)"$4z9zʻ,/0eujRUp)??H5KjQ4r ;AȌBL"no}{g*'c#A3w{Try~Y9[K&wک޹kׅ:–-w͕L XTĘ@DGj3frme8Y-kZ_rNOxz!nb- `0eJ1N&Kȿxq̏Թjtos5m‣,eEdbo0OPW:~j7BW2X^HWmOڢka@"s>]cѪR#QNy>:+lm CBtgFvv@-N R I={0@Wq( XO;`z@ EJrթ~)f.ʋBV:T+Mj)st!{Q)!!z5ǹ~r00PK=Uf u{ɕA|A™ f]OƼ3RAtW^i+%ޤ{vfΫ@2cL$|#:<聁ȶ{ɕ4>'=?9gӆಜYINuӡ21mYy➗ KH rVciB`M2wdx'4sJ!t&$:-Z{&vs6(HǥkRGFڜ"ѱԿip"+ vH$o#9/(O7knz&>bpz {L]|&cN~ ` 4rCJ)O!$ݪ!hk0̾*r)&wNЗ &y=+Z]U )JpEvz d{$ǒƾ8{8=@(Z\~cÍd(Fi~aDS tEqMq"cyk9Zͳg-ޥ"̗ o˟s89<2nsݐti*A%K<c Y+IWL G4Q~:%J{!;#_XE)WOD%1‚,MٟxG$w61lӊ>{װއ9\NٖBHb; jeF SJPXJ7~$@`~5e]H4Fe ^'H {g?+dPu(H#Bgڛ֝kX:U%2frQLϋr@mIڈXѿǼt2Pq@۞=AҠ- @2/(rRkDwI%%Td /:H-f~Svx:Z门qidO#*A5lFQ y0e%&ٗ \9:iv028ܷ7r ̤r>/!Ёن򡺇$XDsr m7[awS@a ]srƈ -_ ŧIԖy{S]i6UKѥ)}9cOi,[訑-c×fI`(wu%yLKiS/S|Cgt3(1lxf2ʞƧWH)JI5:1SY$ƌ_Lx,,^]֝`8ͨ KכwP(R|EVQ[n#faV\$fzOAN=W pY\sѝc1l4WZ ʠwr\!]98Cؾ( EKՎ4I:- ȐX P(M3}uƞ. .ү[;GbF5/آEZEqthN/gSHKIEq Z,%xNg٩&S98u(Mij׃sŒUN`ߕl]L_UK<-2lkqXIMLM`/eꕌ5 -֣Tߘn,#՟K`x@jZgK~CHQ1 } >C=J γauf׍P"͜Qt%-p!iu \^`|)_I~xTj㩘V04"#SK_c Gk4|Ԁ?9,r׾-&k͵ywW~D;|P {i|D6[Dv?vXD4ZHۃޣ׭ڻm,0AN]iIWRrwqBd.p~O >D2;UTy³1h_A8?t@o؈(KMar zn /"3.W[$J#PFQ1 VR:ظJN ܸ2T:.?T89G˘ML_*cǜyUjQ n/wK˧mNsǦ2 ߒPhhr7)³^X%>zĩ*8jjjV6=2EVaWސnۨf10ەq{梣 S&}Oطt{Kģ8cm-_Jw0=$us)ϊ(Dqܖh`rԣS䔛;t9}t#}j}~7j +g9[>H ̸D"3Ęja lEYfvFn}:k]R/. i'M!bZmzMF+s*{&1sב*ibPL&z͑ZWmtEśAOWו=Wc6>۟nӦuwMl{~(,৏p g'F$H Sr->z;kEes8.U_W3=V5faVj}i\+ppy:gX"NN)ry"u$"#9 XPz"ҧ'1>7,**)Zlָ-(c}'>p@QYOϰlIi6m_2ť',Oy^wdeT}Z8 ";lE=]\ "!+QD-UJ5gΈ_J l;HNzHiGGHR"DG Cl%NfƑAZà̔@w4Ҹ/R͎y `ͧ+H{r]TNHx:o@ٷeFX{;Ggt"NCRz C_y댉H\rWF%{j +HA)>a7 [n5yK>#ڵqU.ʶqu INF>Yc 7z;>8h 5R;bvZd<;Y~Y,z.N=)z:ɂAYyrouh z9p {ZrO{R*v_=456ΐ78gY+J(**Ut][Mވ_+;ݖ{YNi!D/XbZ}ic.34 Bs3-ߣl2wj4NjioTG{&яǗ<_oA >QU-x3 r1 ʩ4). xi9QM;r㬕Dn\$v]1ELPV"'ʗU\Xp~FyE(k]hj놲l밉Ϳ`~N֠- Ye@%Yrl7K7`6?~%f P%$u2T^3ȜS چҲ =Uv }Hb)V"q|(;r0&RHQ^D/r? Dv{a?Xqܡq-Ou v8d;JvQp ؂ySDHe50y&>ZhJ쌈Xj!" (m0Æd!A\98Ne-84a=Q||jmY=Z4ĥ_뷭0p`~9@S7Fܵҭoo\R6\JhRIzD4!1ʴ*&l/P_H x/!U춢gt5f1KExN˵jwD߫ݤVO7iQ͗u# M?p4WINd#Uu!!:t0 rN ISҀi[8}#wE n~r.5 _zPU`i5SUgk(b[Qu YRȦL@0C0}&Zdi]%ciY >Z2H HGT$KI gn(fQ^Vdݫ]N+Y'_ 0 BT8sn< ,*Jnk0 mYVU%-ab)#;G.fR09/(lI|r6,Vb9E _"V]έ^D"mkϸ&k fwofB,)bjܞ q 0/۱;b~;K``6$ F4Tz[irKq-b=a[i4*#?({U9nB]bVѬ0LVuP`JB@œ?JuhlZ 2" r]T8HqwV:ƏgW犖~/낔h XܓEu2 nLFapX0i%yv[H+2wydtyjAz[wt D,sÇ,9;8K q:e4Ju};?^8qO91$SV Zz&ya xW]<---,.`d\ˆk2/} tպ/dN Jޗ5Kr$K,dXJ&p3>UY*8 $(ؤwf'?@9. p+%j~*Ƀl&ࡢv9mGd=5 WޢnLNzȮ W$!;≚s 0y*=Ex#ڷaDf&XeQk׮V>+)ڋbx,4Cl|Zt#;LK'P}:d 7!d7'/bÝ({NUl[ jѵ)Ԥ@V?`G+{$z{VşqA[#&+734,E;_t~ySy4*,m%pYU:tcniKNFوսTu$bJx{ 'KoT۾[($OҞ 酚jé FI]"XPΓ]˚.ob˝>d4+E)ЗH-NxxU#yôqWr\L5ʉ& *hf?^v^C;l3#Ug*'O3g$Izp`:tG‚/J+vsUJ`7:%Wx:ȳ=vZX;8T6e$_/UR_ Ȧ`X]Aď[ N/0엚A/Bt7oD^k>po]+d0B&!o Ȭe8Wd)+<ij_l!K,\լOcFc#_{P2,fPI%ԑ@X^-_-a*\ #|huD4P]uwofx}4aLs81~< G`Z"#;A0B7 SiSGqZp'Vo-ѴK03Ɩqs QchD l#i'P4>A| TVYtĚ1a)ݣ#)w)ѭ- >vnAV{؀OV}wVmR Q~eu4(I [ׯcBCiKͽ~_\Ҕ1 0]y<ΠэD -gA޼!l0wUDBj ȐgZ65 =OtVPp#K\Q~wC=pّ1)[ SeoGjj+¦ܺo]Be]L&Yt:aާP֜Wgt-ǀ޷UbHSl~Y:4{lm Ƈ6fݨTSMQ`΢Z-DMvPaH[IZ]\P7v %#vy]p Λ߆fvlU_-ɘةOZKs+|c2j&:F/C0W%H|i֬ʀWc zkJ3-:R ʃA^w&9|n/x4t K"f}U֎.-ʺDǃ >ǥOe/pI/K"}~]?1"}i^oۢ``m[j @l<ʊQ.O4]Sp'k#p hȿXXco1$E"qAL!XR9w9KΰvsĊ?PstTј$۟]N7 n<2~O}7-ѯy#"wadu^ukҠ$5:i9g9&Ų挕uNXka(TI5r>@7wZZDaǙGLtu*UØ0(b;LNS''ghėtm6m^1$~D2>;)Ibfp.y[+q+ʼfV ~k3˰<-[Z>Ľ/I&`ZCuHߠJՔԻ k֮)o375}cv÷;@V'a 'uQa]}L 9oNe} ī/L0!Mq|H'Iˋ<=  ^HEpm+v n[C-j7gqi,IQz9Pd85Ǘmdk U[~]2p6SҋMH|>zGoV)Rg\󻀖*'T]lҐN}Grd7.7mLG<(L=7ei䞲y/kf?+8 ilb;h쮃mk67䫏E",RcWL~$ AZuLeb4AB4 =+[7Bs0)cا de&pD\$R[!_1ύWyY,\{9/0)x, ߥ(ڜvMUZ ٞxfa[B {aF \NQhf1>fB >jeQǵ!}shc>O X<$xP oy{";xJk6Hon#[R&51\~,RW15Ԥ{K/K@*$,LEx'7b~M(a;BOŖ>Vl QsoYٜ8_ hLt^/:$tvB>ȽM2J/JOG0arl96䂼d);cGPg-vY!qu KxWPN'0{+|A5WطP*?lr'/XTvS=>ۨ]}f3"wau7c,qhvyz'Ed),"RN%lV)?6sCG.Cj-M`MD8m*uɆl= ;X*Pn;y ")61ܗzjuY^n"zǂIr48\ǚ 8 aOC5ڞG8A0BAĉ3H4a*xy _dHQOP`f"CD%|v9"$5(-ur ޹dm$Rya֓kC#vnOG m,mkubpez_aM.d`S?g3 YE,!iIilp`sOe&&h-o(~k"FpAI(VB C3ƿ.L|KK^v= eJ[i+J L5qr Jf\Ě|[Xh%ǎ tFQCb}Mg7o M>\+\ț:_cfCl;M ~r/P~IۿKO0Đ6Khϖ,+s d?k٪O\T֟ $/Nt-!L`ץ^B{\ @NpkfJ+?0bQ:a{1wXp1'nX24Eq|HvM݂LjMBA\q Hղ/?puK.;m᪩JsaݽMxPU0PDΞ!Kb#TfsQ aHϕQ .,"nui^Rm b=~kA"۩.vkylL 3Tw̶*ci#]NvTz`zɉ^Ik8~B^ yb>SW8Ttu-|-?HIHH# bYL ?mK*~DCGvق?#:FR`P5-zHͣg"aIqifU^r@]Ye2Q[?00B) )Q()g PfQ2 ܹP?ˉ kӈ닐6.ifx&nYF n7}5i,}jowϛZteYV\Z;2o`㑜XɸH)H1P7Ǣdha=x vB"<{T)L)R#麸NGgkCj)-BpG6=B&5B#i6ˆxN&<F/x5t磒(9xn+yіml*49haǰ@3Z@$=K]=ՎԞXԥ/+TN_e&777Prwgj9M~EKQ8`?`*'4Iʟ:aypwƒ[VN@zt@W񈭭gM2 )NO͇!bIFFnۥh!pMeG[rXC+r@!(aΎ2 MTG?) Bه,L|z.˂pԴejt.[_eV϶L-ۚ7U9Ve+_ݧ*hʘN;:fjk x"oWB5{uUXr&W/ҧ&3GfEtP(}`) VJh7f!,)Md}8Rc‡~n6u6wU#0bժ~\Ǫ|7-0oo~Ř90SLXWM՘ RF ;jE&ݞL8za(~|ѪDa.;Jm#`tpi;|> 9deԆC;r6;d(HD=߭`!.u9R= A-LRMߚB/ 42 ܄a-ZMUKi@ NŵVaU<԰oij;ɨlTTʡem7*ع+T$@ZiR6R8[Ņ(Y0i@x :0~~;ňnR9}Xnp[(sI=Ʋ GYeUU4*:yR2ڏ&fo(@U9t?A99Nm t84ξ8b+jcOhkt]ojj `+hݯu״ܫ Zi ,4bu[Ą2n ~r[cEEoy"/C7^FXẉݳ f\Is&D1ыi!Zю/ÍtG/w .Cl\xzI){ ?"GYA g].խ!"yC LΠ'D/!>X)H4F6@1iinԜe9S.,2{͙F\GLڄ[ćL4%w?U%׹HLk!tX(( dM`߿|7`f>ARR NdTE{:Lq˦p=F({*AD;{za|$H |^Ѿ5 2/#ZM%%3գlv%q+\> hXc*rߢ~x/yo#~1A:mNd`^KaFx??ǽ#v'gPVr=^Øq'衕Xw EszXq#(&,ztbςr 0,BdM( 4^ڎ"FRJ.O~iFLƔ+ tQ>Gif^+(؁㇔@)f5fIlOwgYZ7zXZִF! 1]ŗXi%szyTbyra%{HCc/GqaƵLkVagu|~sFx:(K9h8?db*lú?PJ==[ GHNPst7wZQi?"x3&LkVgK 5oL/ =CA }N<TfC ~}ž!OpC*72+ @k[38.s6t7H7k_z JKzy% V|W.:\w'H'TvAr;RlčH K5 8Ѱ mJ% 8v+#TLb韛UH`;Y3 e IL-oݎ}C(zڟMڕ|dsx_1"LSH$u>-(lh1VSw"'G MԞ)7N$ֈ덌&su\Ֆ#kWj 8R Z5l8t#OEkLt} & j$ )NsTʬ {n fJnC vm羊E¯~d[}($e@< jI6 .d_0vJN29KfTTN|@za(<͂q5[  o"uHA>Leڮ 'ΖeV|@:],Ygt)Ub"3\w}>*z{ * ^N-ay’V*=vV][[7 ovr!Z>Pp᾵wRY4af<^ Ha *9){iBP@G.B&^ȧw?9gGl#!!{[l pR4Ilt j 0sՇ"a4"/5P٤#y)Rߠsf,es5\`pW{Fm[6L e,(n Sh|+iI4mB访;!_E?Ú֟Ҡ&@lWYj(GaܧϽ:b^SGYjɣ~(0o_Rpe nAʭfpmb(/K^8iDx*JK?s,+G8M8TY^Q̏4CrQK0,2"*=p•VOp>g LUD"M[EM&1u+(#N ^…#+\!*e(VZW?!OOc͒9ҦՓH.QVR0K(؍aS}זp9\ )`+n g;nT~ H)2̽qsxڝ@SR5淹oItz;[gHò^\ҐMf3f6<h0(TfA17EsGIٵU%pzdXCڜch Yh9ډIG ߫$qK9)e+7v&qZ3w@; @L$/ҰO^N&Ϫ,eӸcVz3d<^&D_6fh}+lKQ^l-E[x?9,^;#"ss> .ɳ{elE,R.$$`5=oH1^d[F2J" b*w:dJR3]j&[)YGiaUvu.΢u )2 >t`Ho>/X89gXLV406DŽM3ʯcLL̀Pwe@ˍ|Җ8&|]Qސbb®ٗ *֥,(P`q]OgvgK}(Oq0usM8Ǯpϓ g9` J1Eqr@т>Z\Foġ ) kuWWC%/u3`<1r]]PXǣy/V0TQfkx6@L$42=Xi8 zwch؃8єһ7NvՖ)~?V{s!I-FUj8DL$H}lNN/hָM}pv۽l|9gY}εl wEYDRI館SN=[vg(j9۬LL1-^p)&ٶY~!{AߟFcɿD~  _v?J{_5`q*5)l׽_9|$pX *F:6 ȓq'hg/_<cd6/ ?P QtUg/:D Ȧ꥽(VL@]YLǃQj|(c(򌚳աPC@Wf"Kk$t`lfb8+S/.z?W 1xۧ|lN` WrʞoNV8Rm l9-X\u (\#GŊz+ٛj՝m&ԈLrmSLVx "e {ݓзڢ! #mXL|y ^;f!SVjjC3bxOc3fb|/nt2Fש*f "W`7uƾ]jyu›|Ϟy1-0b k[„ Xk|Ğ- o} U<D|6]}8T 4*4sSIq ThĢ"mc֦""N2s;`'#MC!K/Q"cJyw(_m[4AQ@g`$gkʱ7fֈMb(~׀KϺ.?ɤznM  /eqX(nLv=C"(ɢj⵷dU2,Z𨪿R!ߚEH6zM_M|#rNjP^sbeb{M'I8 (a$P[m)nN)s=ozNA1)gf'?*8aۃ-4'EF #8U4Jmf3ߚYܫ&wB ~!g8?”$(g/A4n!|r⑼rbi&tWh546Fox#`FiA!I`av8UAq[>KG0 5`@/O8|P\qDV\Y胄O'?a:uJfƮo_g`<-^>z6wp"fͤ82w6n P]>:5@׮ȄNuԒT,TA=F @B}A>;=t|7t=̣t@TԀ0fKB+<t;:6+F;,H9mY1ԵnTj'/ h~#S^Z[WE.GtΘu$h\0 '-6;Zq CF]>~xI/='i=crhi.qo]H2bAP"i $-!/Y.}r"8sw&P W6(^oVo{h-=y2BQ%V>lKiOxxtK]YQtޤ Yz;7Å+'P;7Mӻ?|3?6\6{Q/p"˻tW*ۖq?R;`ׂY:<\z8Wg GMVeڑh"iLo54cfu"kiw`G&ֵY~MJ!R*kC-=Ⱥ* k=ɬwGߜ?`HNv)+Rv93犹@r튟Zb0u34eW7";JA[u'8!˜<\`u:)ȥ>e\YV"ٮ]uO.R^4#T jSQbk`;9Z(k).?pZ5/dܰӫy[9x*B2kQWXITG8.F)PCsAtZKy' `y,uFXsӹXiQ&Hk|Ɖ-R=j7ӌlfofD{덌V :9#O`'jXxT.W/'WnYܲZy8.> kbP'Tgg#*0\{X#޿` ~ l 弚e]ebIơmJntC ĩ}n '|. p߭CM23v’4tޜJ|`ˢN1-JCc //]jd8oLt@Z' o}AuS9adi #D@&Cb_\43G xs^ K3FuVžya'̌ۛS7VNL0eZIyF)U! R9A'c1H$ƊE)ʼn/a#$jV~8۔ee+\Wn`@3V%Ts-Drˌ% U;&GLDLRd7"=WSfhfwE%91{FTp7{sK}q_ݧ+] $`I0fA*ŀo͢U !DЄ[>cQhבjۡJTme)qIh hF\fh*&nS 42c,zCuܐ9;!NBˆXn7EH[:җ󵂟YДnͨuU+pmPk#CS]=JBr^ox_NKΟS#>ʥU3$pa98$1%x}L^"}2)ЭBPڭA+O&w$ŢQȀ)`ja%Y'M|>0qRwxG|e'09 K9Ge {d# R853C묙d$/Qf+#cYD.U$]Ӌݷ+{nwyY[Y87Gd)$MU~al:a4<|v/z"c-_^%IMЅnY5gMtLWκXvNW d|>؅d: $ (}nh) f㸪-+om-}{ŽÏy AŻ|uL`P"7eI悺_F?tk.]@[G5)_X2S?„+|YD ,#TOD"c2ďa>]'{CPo^'n5v}.ڸӨ,p(YLP](-fZ_Jr?/IrxymG+z2ip(lX n$6ö 6S ß!dHmB8搨:@?oz/͊_U C&P~7テED"hh;8R!)R;ݲO:tX?Gbk7 8~]7zZoΡ2 :."15JE.9@V)aO쪖~h[ú0v5@$ }Iq</T P?bMߑZ+i TQ啃/1?^jΨF88=En4d%?{\![&.1>6E5$!i}K8t?rt01=b@̓^^mpB?`F% BQ2dvN`"&^5tᔾCwM ĬT" L}@~ F!r,lɇm_FǥÜ1-5(`BS}nd^y@@@2v5kc uWMQlPZ)J)rBk%Mqwcb:Mi]ָͫbRFPpr#$JjAw=y-&DwQShYQ3<)ԋſ_7g(9IϵkMwGn,}e?x#g< s/UܲtÞ<-HWaG~+AQm7;A%?UݻhLz⃳`zˉ Uk1T "?DE(i&!ЙiWBov4GnJ?T+1G5ٴv$&?:#0.gOxu }dlb,{uO^%A]R\wcqaD..KGzMakGr3/JtA=:nkM\gmuk`|&wtyvU#.-/3#C2"Úxj(h֣hy$0]!)>YbȄLYE|x`M7G͹'9Bbk#2|EcB>rUvN l<M֓ҵrG(LuiBȲP{adBɳh9U1w*x^5އt{eA$61l{\Wݝb^ǐƢsw wޤQŦ0k# KN PK]@eZctj!qR!ʗ9oC159×֯輍Z3!~Y[f`c}^|7ga{3]:.Mm\NbHR;#q$dES%YZVZ Q\ف!˺*(3q0;p H43G%[|; &wZ{ iyS 78ks-Cmt̾p90hiW +\Rˀ 1# ec3BՊq]4T 3&:iLGsB}o9CCA7׃}јo6֏b ;GB&~%/YE!Z=z=9ŵ;DgūAi;|ìy:!|a݉@bHRC#*1~;nsM>)VJWW?ݭMh%OH>!>cy5-(IILN.F"ű>#}E_U\FHe<)j{+WO4ZW띵8. Q~Pk9+5k >~)DOUچѢ׬H_h׽9~`Y+7}Nj->w|k^D,yD)DZ,/Q`aAG;/s6m)?s "7iVl'‘USз HLΓgg2#M5r/wSn`/m/K~@c5/,MC(  OaAmd2?-Ĩc"l>ϭ' ^)rKO1ע&?D޷va#OyNGZYJp4P+tzA1Q|onZ4neZs҂ 0Vj1VMRTx.(\!"pߺ :ќt8zM- RoQ(j'tlAuIY(1 <59VO9بWyMXK6"S:<|&aOva&0ٺ[yO6Hx%X~BՈVwo4j!& 3}8Pl*coڌ*.]T[A_>F^0Wޠ;AzAMЙοʢ|{iCW냥ERG{'𮙵(JV#[zV 00$L|CKMԬɿP xYV&F-@{?8[4o2W[`zYrgN1$˫Z}RCT.^hlƽ+k1 8+bրk;;^E+0RQ)Lp]&[ni/Ykx%0jb \ kd+ZL]!zN rk=KZXk11AqR7&WLbʆ44ta.E$zQ5w5<}ó( OfzvKoj6uiUes@;!ޖ46w-?M&Oˁ)P4j,0#1$\/j?XnBWi(}ĜeoHuSh=/W6ZZm_uu3K)ɀ|}D;fi߱/` (1 ~;4%0ú` DHf!yR; -^I)HY Z&3By]TNr AX}9;KqtgB{Gd Ur5˂6h [_e`xY:klw³^I2 @!@2<" 4WǽKyDۜL݇itY#Qg~yVn,= rݟͬbk+o4ᠫ-$͕B 8GyfaO*{HϴHU ֍ l~.휥HvI8V-ie5@Q-T8q_ ّ52?(5OsYY2nK%sAȟ*2S ,&jw9E TREǦcdgYZ07be127e9a4c4cc120487e8e7f30499c429b75cd 0d624df132aa2e54b02fa619fa707a1b424b9830 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 2bbaebc39db2dce8455ebfa733be460cd9d9a8da 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4a6fde4ef5f739d09e51fd207c344020471561ee 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 8f15e7f3426a065b0cb5e856802994172467d523 91a709751d422a5c99ff6221e78f6b756ec46575 973d6bd96dc9037f8676681fb869d6ae83013aac a1c98b27dda07b5f321e5d30ad5f312e522693e8 a612d605e4a059d80c4db56e04c3291c02d8f652 a93e4d4b6b748a9e088128b5996b1b9c21696051 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 e5694ce9a5e406faeb16a4ecf9d748963bb975b4 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f8aa5a8c701916393737e4521b15050b8ca4ba5c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7 a6499e6c2907c8581564d0315519d1dba68c8d25 e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e 19f803144a5ac4a21d65f587369ff48ab170520072cb034a6cb9a1f9f3a9773d35aeaef096a9e3cb