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 $$D1L$ eI]Jordan_Normal_Form:threads=2elapsed=359.820cpu=604.080gc=15.552factor=1.687zXZִF! aF]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcI@x30j^/-%uT$~N3DavMjDաy?Ӑk]-XhO)ϔd3^BѲoJ놅 ĂGa|;Ǖ(WIcqc_JfuޤopXgzu~ϱڈeRgx-@uߏDEb L..<5/7g赩Dfǘ-)ȈISĄn3Owas_R!ḁu݊Y_;ҎcCm-jfR,8DC=±Q.T1Y}b,sQqFѕ U1 5- y'8!5!=x/zxrǠl?Wu VTONm(|l7M"C]<z2͌;6kݤuᰮ*DtEz}B]M4`ʦ'A(g" ?U>Xr 6=# ɐ簽"SBQ2w< \/!=; &a:L:4 `<> fO_rh] `')r#N'l|,ݷBYm!aBZgB/LPF(ZLSKpC:MK0  1 Jordan_Normal_Form-0ut85(\f}GKw+q]Z eDW^]IʽG}t Үtҥ68W9uBql#NL䩋q>׮Njm!!ue\Lr Aއvڅ ,( >q!Yy0|Q=o"/&1'cU~Lc'(0F_){RI&MP,x>!XSo4ExRgӨtJ(W[;Ko%މ \>5Pg .xR-A & բK|R'0:XcB z4.=8i|P1{ {o}Uȇ*i 4zdiDۋ _9gW6h3{J]T$D4VU0GHR-x>Eg9N(o%}}z_'n,5PQݥ\Ԓ|c}%\W tQx@H9q6[^U=']vHDSpy QM a|ZÑ^a?~[Bz=Yy韩qȐX#9Ӑd&bEnV-: . +2+WPx_1(hf]'B*r3:Wퟭ&}b+zBq 9j$ f$ w{dtZ4{&#ڬP2&NmM%e@ .ЖmYeRB-)6h{=ߝ rKvu1'0 tA[Fq# d;˻|X!*ylQgSLA0OBݲ奈B^yAc!x-yJe9i'2͑R y$QN%4;l^m&wlOo|Q /qh9xyKxj,_o1\+͝z!'x_d02Q`="̓ >pY1-9hրR zyTcɻEc@ )L4uC)Jdz;K HE a ! Qs:I`4:eEO5)4 sJNAN<HDskuƓ=b =|Hjs`Zܙ[0H2'B $1~U˞I{J2>S$#F+Q);,< N%_R55Ʋ}keCZz`)5/爣EF !A;qWS+Ii1omC$.ul'r ) QmYu+{)} 1XZ'ũсC:5/z~F4=[ &>y#YҒ]5_>iXN"Otغឭ]>R=u dх~=>:mxHlδīL@j1 PR5j6gl$94j鶀 Ӱa@ b]ÿ"4螠JZ9keX0 [JZ3Aޥs.E<6O1hD!b QЉJnƥvߡVAE-!Y/CֹV{DO珚]},^˂CknvYIT) $W (AR:8k--.^_$ SaKh?"?HE2n9̛G,d Ά u+wIdJyS}M]>w\!e'0qd 4e-lNY:Z9UkN_G*}BbRJ۸DWt*![1 NVDD),ʼnq`1iAP`yS%mޜ?}yN/pBiXslB,wXIֲ mĴ79O Jd>Wlti%kAD&O5h_f kق-[ W aT18tRo9_JXcA&pHt|{x*7esVڊG YhUTXfs<[7D9:4Sm=P+}2ݴȲOT3-4jbCi\1l+iIiY'Dє/;*EYaf&&V&=an5(Qy:μV:>s&v$JA.u&TFdPD-پ]1M3;0e?lG$?L'E!w?;ࣙZWV %ӟQTR6b'Q%Zmv5~t_`ed@_[ʫ:/h-gzqNVR|]ލ݄Wnr>'?\xtyɸgn?u2T~5 0YD̦- U%.K֔ZpJ=D}(#R|7uZgK i#lU149ϒ mSkQflE9^.޽2YB rWb&/^$oMڻ3B/;t XܣVڪO @\=AO`DKݑ<S@1 Oڍ] /Q0a,=Sh| w CTRrEwK# F4qG`yp9{G.l5+iu2ʑ =q'*a ` זuǠx:X!oAPKg^=cD<;?-֤`A,ZH:+ aT5N(?bFb豜D$Ld5JRڈyP@XB- ,dx6Yރ7a%9X7D~WR˳6_6  F<`7I{44+Jf(#͚D( '=%b7j?΂iQ.YaΊ [E)qx`ώ=EPuLo{&}s5$_ky,j4wa. !WIx,6׭cM[ޟ $=,̂sAЬl=qw!@ƜUɰ5 r`cWA3sfb*(?f M~)a&IdP XWd/?`|4j3&:E TgY%#=tQ7: $s!퉆idu;`"-2PJoݤH+AӡķRwd;>^P'7A9Nv>?]i?R*z9ޔS[_|\ qe4e}뇐Q I' b̏aO ]6fmUSPRW|ݔwy]59M3F y8IL]9@0B pD:H)9|Y/5*rWt=?[UTZ9^'šZ1yV-"lCDÀkR/0pї7E=V!ܳDK*ߣ2f(G5 l.ۚw5wktv 5ecTz"*jQd6R_T`+uM*E:nr&/U?SGBdJj//?VGsCg&K)bF\ZX|u~U1v>ex, q:g;i\Hm@x*gSF$* ˯>Bct=yd46yI"= g2qr jš/ ~]/EELG`b)jְˊMZ\EL.9'Fّx'jH܅ Q1$>L!Mзvb/ O$s+B rYKoa,mN/$~bNu/ܠ3 g3Sy|ȪT oZm+KPHV]kb9wˆB zT/$rΕRs\BT PXHr0]F}l WQItrk>Z ԿGŅwR,X+gh5{z]m_/ .K:rB #6mBa<~_)9DN`krЫ+ZUdcJ߮7E{pysǁIQ=>y5ёsnB((?ƖõP|рtEuB^-҈gb)Q*S(,ӓ|bϱ\- >d] #$na)n4Y2QCT<]3w 63Ol4H5:2i/51wo>2UBdl3>c(zc!<1YH^HXc Lf mh߷;{?N@Zzළ&@c=S{I*^Pd#iBTdq3-R-+ bF( NqHw';Θe_:0˅K\k!?z;?Mfl78«Ys ,#R)|]C@rpH尾V&t|;#&78h80V|yҲ^>' R -7)YA4<#BC/)U#AkS?g{F-9v8h:em FxY1σ:&#nP= *16G^N64]Mv+blӟR Z.ua{,F+Mc&٧t-aGhhr!hWPNx3}En0Es!{ީmw(Ue 9gGз5D̗ aKa/; UfqSX&J1z [e?S*.}9_3+̦ 1?zG " z̜QjI|FR$;")1~\1/eٷq*C KSִWT7AN `Ze>,OKZ ȫhx]2,eq帢ӉSQjruDPŪE] 51񦈳ByO 4buK%gJߺվDID}JK4"+4jKDR D'YPPs/5JCvqc@ii?a<":Bw ^~7‾_5 {x61)R`7 Tp9?VB22a[*ZoԳЛWJ–?g̼8y -jLhlͨWzD E&7y"KǂNɝj&s=1 ~p|]s,DvxݥߛSp*P^b1:QJV<&X)5yCX5A6TQ^Sؑ oX.w )T ]K,ūKeW׭饵/eͬ CT3I@eY;/Vg;ApӼ0v)yЏ$u؆DU\ː%$rKH\==p)?;kE:<̲? fFG *ҵeBekAz:zI^!C-~eks ACKp>c{8vFv 97hTfZ' 1AU).tHTfqbfG&I쇏q֦buWAS-찕IܧOK? Jӭ{u c9a}Tcr"?üߡý"py4?DePg痶be%wK787G}G;E'odmlL\U &fs)*8~&勵-6X.룚se,#F݆/U?Ryl݁D%O0q?vqT$B4ha]JK XW зi Nƅovٽǃ[4}4ŸA"P f!4݄^dJ@şMD aRDVC`[*N5~)UUU6$SFd?) |{ sS,nQ(c)P8t.[!@&H%sL):y'Dc`*|rvY۲3&BUCۡӺ9@&snvX>HX`Ɨ =m"d:[E`a=4#>9~178B-x;_H0%)MR} fdډ 8%ZX!-%AY">)%,mC" rd1n%!vѧz<ϒw֣e8mle17DڃԴ =GB"iTo[@9Cg Op{결0?ÒMu?f$/i-mN^/|'2('4ʡISCK1D OgxtLjhHϝvBt%A^i_c.MEBjRo[wйO: -pJzi:eIX%!/ő{:E9D}>L>0!_S}($ {Q*i8,sjA5>Xit#`L[!+]Pjs..8z-4X/EFGgSLgXxvB-ݤM׈F ;@tYߋ{y{fZ.[ڀsD1oY7zQ-Ⱦ f02.Se/p_߯h 6nb +)佦)Iۧ#6(/QeIzk徵(&FOTscCW`~uD $?Em߂@dDLbT9ڤL~#ka q=`΃(pvd$AS˲B;4EVX_p9 qWP wSFF4l:kT#j=dU#Ɠ6=oyUq}׾rk $lG6+̖|z˭L%3ЬZ8tUYeҮ}MǂS`}2'N~׶&'t8GWJ ggjŪ8Ԩt=5$[gj|&Sv֞z feZæ1zb{Ɖ6mؑyaQS8KM 1wh?x8+u>ۛF|Oӵ!g~SBUG$1N4WF=_jJ䛉oȼ}h?\sGsDߌT0R9܌q}lZ[yXwŒھ~+ZXn!2{ 6q5ZP u/"En9tx%1SkOџ~$-]}DTBdrXn4џK.a!Y `ME%]9y7tJzmHxw(İ7:|З۰TÇ@kz ?~1 W/T68-g~H6 $7Rkf2Z9 BTqmnti8(H,0$9͗p8OfCOpKS U B.ic~kQ WALVB@(Tݞ8XEwbWw:* [ @*F/ZwT Op8@%gZ&`?87wxy ܹDܫ <وdr HxX3xQHG> 7xvr䋡IږQdSWL Oe/cF*^h7Ot#XT[P7uDnn[Y͕xѽՉ.$uAp&)^9( HZ-Ȟ4aASr3"2Cbdd v9VXCW#m۴|Ƀy-GVQB7own<1r8ƻ%2M{3}4S43PG~OͮlGo63!f̶B90-S9\wKn/Ф{7 g‚G)6 5C)uCvK#܋ Cc 0qf_+I:5&!Ӛ9!&% I 1'M@+V݅ ћs#.LihKcK" oCd ?G@󡇴x3@'B fF𾹑-A:[յʶ0jyxu0!ktmF[}D^xHmR[)*?xt);Ι;ˤi1i)ca0?IYkkq,ƞY5~Wl][^y7Ѥ$bF\b޶>KZ>1Ր\ϔUl."hum*\7~lFƛX,'c"r:j :0*,sI\ |t 5_:~3$3فr]d|X2!}GgO(Gmr,E#I 75ȡ]`*C`fp6Xk+zt9i?ZNqmWL,^J)Jĉpph^f0Z#n⤫}M+ۍ\݆uV|(rJT@SCq4gʌV=lj-!(f ^aRe6^aL2|S,J: jV?2g6u SSu b0ݿ*}0P| 8"nUו@.8?*ɈF!V{beFjG˧M;=wHV;vw0VѰ;%nKWcd[鉞{.?]+OyP Փ_&I؀_TcjCD^}O-&ښ[}4tָ;uwF6LUAKwgUuْ98IـꆈhbQOw,, U sbΙN(tqWtIRi&P4 o,O fk,RIyw9/:Y8)z;T#  V;"Jq%Fʵnq"8u\6 'Y7M02.9"7'`%5+ )r'ݚXqlGn+2()-2Y܊d^i2A /T5P4VEs?zMV.gqI'7y{'/ ܎0Vd=UJ؛ D{Te4ة}  UCf 6o|5$dEիmY0zmR5N&r[r(5TIfE7_K /T2RƆwJ.F;D1[@:.TǮ^n~ZCVi qR}MָEq^ϜR@7p@|b^Mј0Uқd%Z6t%9399GGëh_ZƼGI1A־2!=)e4*LP&Ӹnlv&VM(3|WܤZ _TV.{hHK 8Y8nql<#rAc> =ӸDP66ĝ7E1SK9{u"*Gș;|.b3?"ZjF)G<;mM8o|+Q (-ДΥPx;Dx 0', >$7@p"O(!Lm5 ГR" 7MRoHktfԱ B*VP=I;9ȵK-D vLЖf;AR6%#cjN0JG?C\IΖgnżd܎[tg q6_4EMmW[dA6$-c{T!fŚKxKd~˳Kq8\t~Y&mO#4cA&K+ s!Ni*Q6k. C٦|Lސ? ?}zMD`iAV GsJ|7G}:We7z/ňy[3plT9ld_-K'w./M-@i-V< ͠lG>6H;P%|)H F 7D_N9t&<{Hr` 8Z|6 ׈nVBvWK//O;yN|rc0l腰ߌ C@25,+#># {3g3}j+l2d?> ,9!pŶVgYZ7zXZF! ?DK]ŗXi%A(7޶OWy idqI4N@pHOKֹ oHOww+WnҴA呑Z||^9lI+GqZ9lnzxmA)+Y}?3JIf!|p t,PWNf<`!Z:|<%;#Y'a6rƏ㫰BXh"-Lމ:Q߷ϸmWad9Um}!NS̍Sz&e/uR82;8UXFRWt.Mjg4GTfQBq1c-@ <;5tKjGKvgGO}% # ֨^$E5Iem!/X23P67m0s-'>m/~<ؑs ކUSlRkl#RZ–2Z՚Wjy8uU/GGv9l&5h]+,3ֿfBT iC´ppp #פJu|D? NTWV|0TH6aw*j'#JFlXsP"k'^ Z*O z2nN*&yZgDD҉ڋ׻@"(zS\ڴrt_ bW[og  o (CU^6`/H[ 5uS36Wό)~i]#m~LL*-mrpUYHaH;zݘۑy*psbq/d9FI"`cp]ݭ;$o d(# hqؖۦ7Nz]ݳ1)K`Q )IdxVyp6=3m_ +mi!*3U R4>'@hW.Ex+SHr \umYȕYf{2Q oxgR?+|x; 5>'l~t~_W.2bΘԘ }'"$<%#ٻv jJ?)G<8K9yxԀc4!YPwkjmTVȶEf?2YjXB|-)c #˯yǁ?ZDNzc$]WM: eV `9އqɜ/)#RiCx'iUBot*4MDSRbN۟GA4~4/?wd]s1 @JY1ЧcvEtA/P]иX~$!ѺDwBi)yq4Ǫ`˿KYh <{ vqn.&i)nۤb'bѿ !e:;c`C٠B+R40d,>Z>vFLj&s⤻{3S,J?X(~ kfU!M5QozNzjb XCP^isXy;9}<[m!>Hw^pjw&Yi_1FV'O$&Uhn4<㥨\*?ޑ]:rH!>-J LX[4 P@C^S_$? ! p]R)9X![ZoWef`)ߺ5Zd|{$Xfc,hqMu&D(J=fs1j@E;gLچ蕗{^.AZx*j5hXnM kv"O7ꑌt畾 =g31 Ue tuǘ` 4n c UW 0u.~1H&9pҖ<[Ee4p¶FJYձ12܅r&b<]i_,lSE֦՘e/P6`W&`뵝.TN<ġNw0Eh*zs.ŽVBMC7#L9VE쒍h[1(d5q ;=XX\J2R_IN${"Zػw%Τ"[ww֞X#^'8 mhNyCψd?7G, hf:_ni6JE+wGo!6s6ƯMy ӶXVbz Y;֬y= vn6cX  i{pwJ@nٸ=p.Tn!$0UC!;4rVg D_ qlZL/e;Դ n!&۾<3wYDutS.>>]UKN8%!"M'_tIaSp2]DPQ[?C:?ĬzWȮݩlɑ`׀=9MVtdqRǹFPg=s;qxKnZ|NjZmnPDޱڃ]UQoz;uC-JciY"월FPu߇pzb64Ѯvo6g MAsa??P =I@ݩ6UܢCC_{ۑ,:܌pe@<pON=YAY*"%S&"`--u+bL s|G67lKf -XF]gj kj@JI]βIhJז+sI +_!O9_ i7^A.^{t(' Gas&SGdS?Csꁋ0Rnw—v,v{]nQM`?~g $dg ԡ1Ej19(9\ioM4d0h 8?#(T @Pΰude-g~pI07JRv K-+`wwȲcJr)mn+*㪡32=0XS?$;ks?ŷzytlȃѱv<n`:G@$ -+<XwER.=G8HMi= 5-G%H4+ Vz4ޔ~zEki\XXT_!X5/:8lV]#N Ӻ\p/"Th y)Nr)1DD˛>>-Y)5IlT|T >F68e)Mk3i<סrvLt2ٸj(t E#h Iv.wуsC YHiEG,j(U<<~ړ&D& ~-ó|ݵ Hf G7hzUpb66ΡϑQ"ȗ'NHݴ61p`˲:1n'/זW&NtYt [yʺ  pɂ l *qmǐ9 de[H+~nZ'΃` 㖿U*N8--4OviI]i}TFg#;΂Vih;Yi=.6~ _biP`XR SKF5f6!+ hXOY -Yg@wpC`_5pEKktGzFuUq8}SY,m=ғI002Q!r`atNvwMU;FRnj +͠xiu_8|7 #/ṵ:ίiR #cR,HQ2QޜhqʟNSlN|a9㘥Agm>T+V$jNHLBDtLp/}Ls޹ M\fdc5T{.,\~N YG gxOß1!R9BۨT?J<\I8F]<- m<'>;ajJ#uF܄*\WC/r<t<g}D 2zD`30!poV|ס qJm%q/r,f`''ICTPs]Ȇ][,`  e&Q2*p"e547ȩQ*bv!168"-!7"W["1VENbIqJQ8xB2VT?[_QXLM}Z79k+{hMiÖݞ.^-6v{YHYP>Uoh/.ݬJ+?U>꺱!fH@4y$|mo/`.1YcvvnC5` l8yʂ㐄KhHpq%Ž94kVA9kP$ Ƭi?:kxGgt9; \NfPGsOn]tPSjOtgĵ~\Fy8wЁd^hʵ_M̶y:4 ؟ptӭV&ݏG9Yvt?BUj:"N#bLs3ߗCȼt C/T[>}=/̀^FDJ+W `#btͻB'J&W>a>NIxvx^Rcn[U_K9@3O$2YAbjW]W,$rcج}DuqԳЬ P2A=@2:&ڹU" H>-n;~;zejXaCEkq wp*$,4uR|@ӫ'&AiIwnO&([Q4ˠg?Bwr8:|m Cz Q,-Vo2k'7:'sqBR_wY#'{6 N?b_F}͞C. o46g@$rc3Im6/t`H dKS=QP#WbӗD3m۵$lmƤZg>4X*Y%,k˯S'z*A9]H 94fӅ8뻋_P gD W*oDP3: 2zuXf G n.#m}~hGL-{',XؾLFb$eh5MwLŽCnV!v% }k18:E=' ]6b3QkF\[q)*w j"$pjV*=Z\^XHIz%ukB򦁢OhN-3j| 6^H ۶VX2A7a3[[`3=-# Lz߰Mh{-˅ajWACFB(ퟎYS!:c&F(F Jewo+>7NozD^ 36?[TjaM3LiȅIyJp  DΧZJ/1P@O QCvrc^wÒà!ez\N$j w7MQvȫK:fGM#J6 a9HV(k\gpGIZVwAq…AXܵ'{W@] \ԝ4)aYsJyhMp*pvb4 ]KJ԰t38y.ϵt8+-< Yk<#}Oͽh j9=8QtmėLcTNpi[ (f7`MFɛ(+?/S?@ILʦ#%ĹO|$Ii.'}s4rj0IdQ[]F8J4F 'g:R ͷeb>Mz\7ED ,Gd _Rz l?7 Y yjeB޶&;B1ӫF;aEp9TK _L+JܖXC/i]o$xu< !4PpbE e5pJ{h]Ѷz/:(!}RAG}=Xi)*HWHJ Lth}'g'qx&Tؙn,?\3.-$"6wUp ;H \lF3*C f߭4 TFz1ΗT3fIV<ĕocǨ[^D@uvx2ngED=VS6]ON|o[PNR)1ȫao,^jo Ifo8,GnW{g2yAs$p_mP\`=yR3F̔ۊTy0m"V) |y( sv{[$5x@։Ŷ{XzJY\Ez6vqjDXҨ$/]Ob<)yk3GE"47=}۬&ljsk,œEa3 &l iN^yRy|{},pe؄ݫ.dJQ*5\Acdyoq@]qzGǃ/:[HaQ_g-VoqaL :3L`[7+FwhhErď=RF)`C@^.V,4Rӟb~NM%:5B< +i^!v>$C7:j5w/u #^t^-I}2i"۸1oUq +Ӽ<b:Mz=I&݅H*`֚xe{ /¥ATXi6ai$<!*pZºeȅ 5֝.}$j 'n $ hGn (v-Y]@594:N@.3S&SEjd !2ܓiÊ&VJn Uj b3%b;|OOfUDDϦ*4@{W%C[SBu/U~UXʃ/WzV{ک['ˤ6\O ܇ܙb^u:hR/1/3ʷ 5`7Yly@J {6#p%r VHOPwBۤz.cH+RlB3o͙%quU(ba[)ջ6JGm۞"IՅ3B8C n:#D?J-Xtǘ:"^1B%txa"'x޹| 2&'ſ?V'tQʇ4X7kMd @hk,DžmVUEнoN䬲]oO{iTECpKlۿi˝ PC8<[S SRZļ5ڪ|2/29Iݘ C`HäH̠hXq( 11 5!&+o9@=^.luR)`:} Oѿ "Ps!s-dll8;7 >}(WcJUkONF t0(5CK 6}R}Ҧٱ/ʔRC~ehuv6h)L2"@Ėn%V%ս%A5/p]:Ng|MGyd[[1Yr (Z"%~g>d{"vYkFJablcOzv2}\iksd }!bݞ@ vmREr< |ƒAahgc:-bnE3%I$dtgX쑔T.Dg7m KY[z}VSkWDrPo!ODuodv&Gُ0,K$vdUvޖr=Aڂ[PbY9k? C&1@pN_5XG X5aуN]Ȩ ib_dBgVߴu龈6^j¬VH*rאgb =gxx*"Q6pm2JM ^j2 @nO ScdaMoDI~'K>:C41N)]gQ"1J NfQVR=<9=,9ˏG&Bi#\ܡ?bOȠ!El7EjaB Kte a6HY?Fr$ݜpvje*sbG A#$0QUV]p"}PÄ>&av~"QUgEH \B_ /ϒxHld% c8m LQIwd)ܒ{XhPøͺšb''zDDĨKdP.^ (T@FeM~d]Cd 7Uдi>PP^l?_[MwSO.X3 =9IY#$T/H_ARTa#)#T-pӛ>SM>|ߠ|'2T'^jF@lzֽ2 io$Bn$Xtzњ9N-$s5{E_W>M3(8|b+윈bxpof[jU_ ƺ˄8S8Hm9ڗ*sXɚ}}q27>zW75(Pi/3|'_h߶=iUK(X,:LХ'TK`w-WFن.0ښd/sPhY^/;| S߀ 0\˘vc8)?Y?e,1v"u/jQQoy5xA&ء(I}*󱈧%ŁMUTl2kJeKCX/4j*u|5/Gqk؆t\L, 7P_MM?8oLJՃUN>*Na܄I$im(XTCRֺEl?K!iWh3?0]ոwC_22P!~˕ܬeaC| Bn'F<LCS #k'gkLtc,`P 6YlOM^Miܙ346r^FL\bAt6 G =+']%X^[X-pnfRS1ax%]Z o; hL7PSҸuf u 6|hi4Rt^^t>gVvs16eUaQ+ @/%Ǜ#T Jo#LVn ѡj[a5!ZΟ X&(jGQ VdF݄#5?0SyKB<ߒ}\鮀ia|ʡFߌ=Q]fe{ jjMYg%TqOnHN:[!.#G6pDqipm3јotyQ P3$!"|3o1A8@W*H ^eJyI_hSJ}-:,D(l0$5}ƾ7Ь8}@t L`¨]RכϞ0r%Z;dvM} $,54Ҫ{~Έ~xQU2,nc6͸ 'GfݺِQ-Rvk (Du(3M6}x*I .??{?zShzLdczUįeIѢY>;44vxݪl%?.p1h;X[w{|O37^moڲ-^XAߝՐ 4_k9q5 N"eTò$d2%%Đ$V5CdRSױwv}/% Q;VhT:r~m[[&xih+iq:꨺dL'M+ЈnJ(|5`]6;jͬW♑|6{rZ6}Ȇx .O(-Vb,`yl n̄ xq8MI=ܔQv,UHIg/}U ɆއVq^m@ou_npz1_[1".zXsoNX\!#_cCskޔq贰NDB{&gXhDKXC 3нD9KhX@5Kh4}E&⫝bH*p:7jf'ZFk;<")W;&[иg>!!.7ђ㐢cyD6gƑsf1{}=)`qB*H p ܭEOZgF[lΖMs%~;,WS_H`)=, f0"r\UzZ3#[qeф鶹TUh) m/,Yj(^Q䪂kָVi5=KX v?oak;s:kFΩHtR>aWkXեJ+h{<.,pI`2 %zPQXYdj7XmҤ4hfyDPCŎSy7zBRx LCh/D-(?͎w0쏗_Ġu"0L10•rnm$9/oeu>TL $U?:SZ;t^t:dBiP50&6vnƼo^_#'gK#Yr<#x%Z!bץ۷DL-|4,UV޿%iF>V؀xi36zR@)A?$X@QVF'E&Å l0P^^Es?9n^R3D-*<@OKAß?) *Նڱ%ZrNgRlRvLEe:pڎ`y\jRĔ'KPX[LS[)8AZ]폫Fk+t,+ CSѵ9j[zoXy@Պؖ+Aq --K ,:̸>jxnNn FnWR߶ @/}) :k-:@3:ԭ W POC''cA4A@^~4*&E3gVM%DN=l53W"%vz7#ָ XB[rEMx" f©z'sTa7 1b@ h#ac%%eZF i kt-:HΎ/sQa:᧱gYZ00a5e4a4cce8b311d4e17989d3caa87af5b575b7 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 22525a336f9ecce97cdb568b44379f0491541a87 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 37a87f68f56cda25790462152da10ac518f0100b 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 50b8e9f10960a26a58eb1de57d9af006d4dd71ee 54c38db887812a39b1b518723fd4468f9395eed5 59cb2b9364f29cdc52ba3398a114323af4d59f9d 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 754868a97fb8ecb4bd5624245676b23ddd584c4a 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a5dea19b38006556a5c07ba4f7ca5d0f425984cc a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 ba398d78d1126570b0707ee67b307e8a46f2f0a6 bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 e458cdde5cbb51f0489e40722af7c9ff04391a63 e6eaed053698879e00e1e012935a36dfb142a39d07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 8e7c9b0bec7b5d4ae16b67a973d5e2083007fa98 ae7f130bdc3b246b290e2e805f4354f1f7572ddf 9583cb6601b74a9940a55173838523211552604b80aae6bdcbb12d0ddc23e42294c52e031e2e454d