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  3 3%1Dld ]w]Jordan_Normal_Form:threads=4elapsed=355.688cpu=1050.564gc=23.276factor=2.957zXZִF! D?]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m̄eNuaEo oLPN )\E~^+a =C:ꝜMlM;gh@7]"li67ͲJX wTo^ĈnTYНrP[m陸 ;5r-NQ+BBqG)6$" qJFFf3v1Ҽ'b[s3?rRN/k)F*IM w]?:j({(Y_1%j|UȊ%dl)ymwFk,Ϸ;ay7] ,Rۿ u l=@BV3;= 9P#C(lŤc˿uUqhsKvs K6Hs7"y饝OybWCjO7* pKH/͡ )B)#XXgǭm[s_&N2Kƨk6zJ95}=lΣ+;TBj +.",5,R2*`DAmm8Jm^6fA#Oл[HMѫM̃aHlمM`RN^FzTgLG.T~?kpV,\.;~پ}  )ÒήNJk :>W=M~=1F;I%J]3[m̛F\oIYڗ0f5)KwCN&pD1ͤC @'DVDwtŗΖoIZ}ڗ|'=eET޳6&ߠG: /_N*g_qRRMQ6rjZL>^ sUޚ;`$ <: a-| +>*Zv8w59Ly"qHj!Efo֙G@ z G(,k7KOm#l VKӱF+r75z Ĭ|p ɘx E+vc]TitsmkWKmu[11ƊrQA\dseZQx')oA}Tn`#Id  2+U޴>"K, d~ _9R†bF vKQp`ΗO+eot~6<8(Ђhߤ!/c.A,,<í_ªkSܹ.)-^b0v'E--9?{[(Տ?ᖉ |I ~qlW2eQ)x">kq'R*Йy\RO$J80t gmC~QGEzLZ^CʫNu]l^.W3a=מ+RK!}& "[4:sniOkΘs5fqLZ _Mo'<'SeX+ٱvEL9 jiʷd@8ɷ[;W4j4 "״mSXߞ7>"zSr=SV^y:ô\#=ϯ PG> dO=yu5c)M ߝ h7Ҹ EeOzXA8v&W훶8xDb-g^\Y_3\z4GɭWo!W('m9'NHs0-*eZ!ǶiۺAЌܜWlֻ]B mAv+ ZlmJ#Rw=Io vM-4gO.rt;Z,:KyQ[{K$_j_˂kC["i׺C#>,mv]3( ! 5#{]hkYki-`+vM'1hWُɎh=6ϚY2gGgD!]-Vق"(?0m}(y}-ȎdxcăS4-b)+6PW'Z{'r@o3|xCNTgae;?Jѷb&c0wH.z 5L`g5b`cJT?!@i23(MSLAZK.f$U_C.qI55z$~`l)]9$$B :|F|u~/zrL?(CW Lׁbaͪ>BI*= XT_If{9yi.9Bz2b@2NX*ʁ}Q3IMj| >4_~XoIiDz> }M=`gھ~,Xn=Ӵ U&9<SCA~^Z6QcaH12Wu؆iT%Lo)&[?l ٠HHhiwˡSPB?*rr/AХ@?Zk!4Ywi)rS(H9dʊ! ,8D<΢Yk IZu@4'qoRMFiXw4N| .w^y-&ls/xJK-cu.M9q= EQ#-m~Cj9 ?{h$8/|T  vg+)n3isV[CY |t~墴õPE h]!x@|;ޜ+z)U lzo2彻t?Hb\czA`$ D( j;X%Pc*?=`y4δRB=LfUdJU27VECf_{XR]< |EMm@Ǟ_V>y]d.9ރN.S͏X?yzQ{7w_G PN4lq\?b=>dwwV;ucih}17$BdGQQg>@$uPqop-jܗѶfNz-2c4;I,J.Γ9`6oslҷĭ#l47?e!1{y^tR a!]kat=uĉ?]ծN?ռ ( GN0%b07-öσM%YphAkeb8ʻcNԲ6C҉H=qv*P!pIp J|؆ήۼacqU\pwN-Ь]X{[]538fpZS~jliKcO-RjR8ZףJUsJAn5yqrJ~')E{\ؽ4~E}*t䋎3jU?l# d5몋8c /#'q;mBf݀ x=A/m*,nLcSW5m~ϟS3<, qP<;si]ȚxԢXSi.'^x57ΕϏͯT2>\Xbg}4X ̀M258  d-) Z#sp{Z`~Yv 7iiݟi"0 {⟡Kޕetbe#XTPiTK*dF(4(ϒnJy;P86(xNq},G1;39^P; 'A`Q-Xoя>^vJ|LyBjM {u9vUWRBe#>j2e˯d`bʊq0$+ia Aa9`q6OR],ؾ]{ dƢ$("Y=d9AZҽnFG-$tUY޶ȻyA5+ZѢ<_ȃ)V&'GE6RO8m,KU\腾E;|^4\6.@76(#,f$ИWL&OGAcOFD_zP,O Mc}|w!~ںB]{m0'yfg =&,ц2RhC2.} R u * ZSaEX¼\u6Rm=u+q K^-Ž)dp<_ l wX8E`{JI@~_6RSSd9ADIfUuMDQ6}7|ёV0b ~ny!Y@"'m qw|*W9s6`G"P̀#-Dhf1v vU eM\ھ!e&#ͿEX .  P{W ֭p{պ|]03;: av?ҿtf7%U~iD#dL}"d 0E1s% g>4nWS4eT!bKwɧ<µ}5 h^ǽl& XGxP`ȑy&hײg@粏, 3Or y/MGoL),Z|f'瑛2r"j`ꢄfGhWf"84=Q%$;7*a: `rgYZ7zXZִF! obi]ŗXi%G6!rUYaiKe]ccoV,ljs HE;VV%JD7K'+{[8$=̭E`F!n8!M=9xt81!DꎦNLaΖ$MVnl1D٫4R"+RP(E [xք?a#26ňR-33䦉ICouY`s!h KOMdmNX8{rtGbx@|LVzyƋ'|l"//W+J4>ƒtα-f8; ¬A"ur6q[vy=_l%ț^Ŷvd *,-/i\V@ҥNnH?:tRUJx4drGb~+T7ȋ]hh/6HNNNG M98Y_dډ b=̻s$ عA9JJּ N1rz#*P֤IGYM]jBP@OQ2Ć0ԃ{l>@C3ʸjKp" Y␠GOl!)>џ"/זg̜^N-v+dNw6wT<"8CZW.Eu m):M&(y`X.j?vhCZ#4s7sIKpC k )+ iE"^? ^19vszb1 ؊ Xgw*6`uSӥ2j0'Mʤ"dX cTga#fBu*t?b(MV|=ދIUF4Ax?mJ&= m#kU/g K[UIU^<;l.(P:u {Ϭ Tu:|&^8uJbK)p)jUqWa@7x)Ӂ="~)aa-B$ @8g]4T i XD;y*^A`*n+^Y\c wsad>:dY ,'묱9Yhυ5DlDsjSk.:qob G>BjEF#ۓ99K23A vXBo|媛hdԡCheLSH.a-FRӛr ?5綸\LKeYWv/Pk?#4җ3h!rj6:;*FGI(X 5372Ij%Sc1deGHc$nOWP6Q|ֲӫ\ړާ,/$.{߅G`ѳq:2;V#3~XQr@9ZK~n Jqd\Gx6.!VROb?qbgvYʸϞ%slb#~C(N+0vEѼ$ܵYOtz)fenwز0F S1g-( LJ\sP ?<|mCؖmzl/ꏓ=s{XyQZUcJ+XVetsu5HfST{F"[)ŎƲ|;tyeCK ?N0nUךc+O#5WEE.@1R:nf,IyGtArli4["f&M+-IS}P3#[?4n o|,:nInE iKyT.M)W|=:gV<&oqZlZdF,/'6[FxGǥPh.XK@az'L_8 2dKDV?Ftun tlu:(Կ,BS7nE, DgbŜq갃)m:oXAՊ*LwDwS@nb#J }mg# &n $qܔ[ٽr1D3*h,]Z{b[zspX_DžQ[VK FWܮHޕR+4wb_ICt7~k,\oܿS+IJ,öGvjzB "%p@\7[Z*S$ăfd$F hm(Ɲ8 >q-xL:tTqd6? ;[J`SvpCӒU_H7L%Zf^Α *\[Y9~i p& \u6z]l8GJ=ԈD|l`u^c0Hah)\G"fz(RܪatFYHz!y{;c7k:8J2t`Pf;>bK!G +hdDxx7E>r-^O|d_>y 3,{!u 8!8kf!_GL_V 8R}(ا >Z2ea z6)=<9%#o!J$PBx{=U|,Y]hkH i(b.M^a|Hb ,§H ;n{ V/V)'78Ktl=ت#;wb] {9 x nP>7 ]d5N,.v]UN[El, QZNJ䉛t/ˎ9&|^C")G Blf4fk(|OgmAQiwV7,ZbΧr0gHaBI^H=Nإ8bXT@~̰ j,ǡN6(I!LB8H\@ .)Sx]_87CC\Ŝk)NA<ϽZ\g(A lF~k\j\N \%\uud0?Ul^U8Ρ%vV"DI10TCEC¡>Ú#φ+'Li`bwyaŗ~2EnlxNIt}fj?]'KCs ~9OM$E~75i*3/,@yy5vzD#lq)ѭͲ1VN_JzIެXܘע\)OSZ˱}ø5 'PW;VX$2"հ}O- 0}nHs:9d&#qD`i# \81bi{CIyIOflvm  L/1΍_ j@iژBCF.B;[`%.9V|q<OF0Q "4f9.w=YS$Pb"h5V.x߁"ü,P׿z)EGLO[ϫL(Ղ{ ڞّr %zLh?*S,^c47`u;U/Gd ohfCuo½@~>"sFJ3ې<ߗֶP<[u1lJC8OR0d3NFtfcPyc/x~T&j5VK9ٷZzk.i$smޜs%(o'ĹHHR!R 3Nҩ5JOBNj#h8R}rg=(AicUMaL-ؔo#h+A_eU3P0.y~Fi! 1ܑ[9[4MXVd2jé\nn 'qX=I5tKюDɥNr,fqr=vnW*;nnKtT,ɡ*~i9wG288"HEv4/-c|{zɸB^gC@NMeT)Iӛ+ցWązU4sմ)K<@}^SmJXd=EAL noYO")t8͒?' ?{y~ zUY$̀Wz( vB^BEO]1YRcAhh3_o2% \qʤ.%WOȽ;ubT]G.bSJ \&NU{Xٷ4a>Uђ@g^el0m+>ѧeT_ }_l5/䶢Y +TW茅314=υq^H^5h.(+ v濱h`xQHJ5nσ `_"X JpP10xl3[F/B"T@湚[D9,B?ϏD"-?̪ Kq!X70"`{N<%Da,GؿF G O̙27q؅J=v}lf=BƳU%?hm2)ˍoknQ—(aU .^TQCurX]4ʬBEp4)OfY;@z5Nd\2z4MIVfpG toEX\8lN K>鋠өtYi6k#L}d0:c*wys[fD8BZ8@..G|Ъl& Gzj2]XOk4E!dig>ys!:bHL k9$|%`.6z ntD)l2R?.d)l8 i"ᮿ?1t;j mS{Dh ?BPfvEQ0k޴#lRt{1 sP{c#IW~Jm𬚵>BװK 7"}j^zÇ<( ^r/FG[ԡ*l~{s <5E&in$k8| uJhbt js/Ajdg>1_^P K@u:1GKÛ{3W%Ta5ԃ/DaZfvq0OgA:`6to|w[1蟗W t^Sԏ,Ef 2ɃAr_gՋv]G4P^͇8zTde]]J1s(ò5T{nQ!K$jrѩ5T1(C~7 [8=|,ُ$Mm3fW[&xaF{HH,D:7{?7Hvs}=H Ea,(ys C ø$peES`bN R뗞r8%9cwy'Y!'X[ܯFH MFTCK[ik"InHCue 204X)k<_,<>U:i@HE*Xv$V Y4 O %r#n_IQG@+Lr;ȅ e/AevtW!9˵}qӰir7e 塝V(^KKbuM1$#=x{[8R9E; < }RzU2瑖Q"Rp~rEaEӘhR¥qytOi)3^G&X]`Z4#l7 ;Lblgc҅hhĘzj/p)6l''0'N=@:lMGnG@F866dr9(3V w3ru"??ldK֑8%e"P X*aAsYRn!fz"ħȃzbłAS)*c>rnvzpI?V U+L W)R-oP3&գQOXm xhx4-H9!C>{mu?@-@ݏu*n d/AC$r})St|ǭRRmn%t=]_V59BX|h "S\/ђWpt#iqPsQBb /̃h J+&Cxh3D"ߊjac͇ͩՀ(tvܐż*IY؝_ Tuҽ@r 6%qonwyѴ(WݞMZ,)rfХg绹T L-SOѱPzm)"42^\{s3k,͇odf_#굵;^8uɭ(d@Mt :Jm`0;0i0D%>'ABrdƒ̝ֈ}L:+c 5sV@l/_YҎ^N%<(>ݑ/)ˠIhe",E,?%|p׍MOoPe%![}UW=,:<b(NZ(R,['Pv2 :Ȉo28 EOtھuPޭ3Fi Qh%qL!+Ď<$Bؙe0ygjjYҲ҉F<&s:DZ5J` /$ `tޙ?n G% krϸ9VJ8r cO"rq۳iP6`tp^fݜ}I_KcB=ӄJ4s+_*eHH/^p1S,fE4z*"QL.u"nSx7Z ؑn2*6B7>b=x7?|-ee @s/+eNfu+ &HaE sM2B 9rV*o$yp@޴5d+edSc")jx~=UD9/qsB]+h4o%|һT"`3iN;lr,Ľz32 1"y'xp@^EIf]:mWIժfT$G8*V)⽋%$4${aB؊q p؊idv)ƽ] "=}_ ?ݫámshNc5uƐછ9xD7iF sH[Y`hG"M B7O| /:4(ܻ)ۄ?#B..zR(wfCM2ߧ\Aߘih-\*oo.lZ?s (D-L}o.a4J Z K=L vF!rmMFo/U@ؼGp;)lߍqt Wp}pBN.P݂;#Ʀݚ ׺̥.#d=-~\uOOɉi!'Y7dx Lh㒢2 Zڕ'*q<K:G2xF 2D4Ċ\3IncӜ+ Өo0*`8$-pROCiYnѥخ bY>"{gʕOm$ޫ;p&-DlHվɍ׍C[8bTgܫ*u&:{I n _"l/':_~9{PHzw{:gmBpPM6E}?m*ES0ns C2ثQPy\MxrtVjfUyJ@Ȁ_!д̐fڟ)CG _c[:_GkRg ]WY 4{& nVH,jwSoY\pfӔL|2*7POP_9Ћ9T8&+e#X?mَ_OH3x?թ%fg#]$%P0qUXjB9}ޔz^ߝCCyS"Nmhd &5֖ʽL2~ENMWa>ϿCjp8Le{+߰fA"D7 "MkC}ԓE}E,nw꿑_\I3mlg_ d>UR'\-F`EBtbS}﬐]:iqRi3%pndO͒w*)fwʴU zsFI8&bTύ'|fF4*GTt$qDa1M՝I^*H6c{FbH`'Ol9jKxD˭hH+R'o2Vz'˙M2UXd&f߀;` _\+&dn@kQLYDвvrzWm".kxQ!Tw_fh7Z_w;TO Hq dWڦ Sv㜨: QIsC݄MQ>}mY ZtH\ћ\Ns cITHz* %چ\=u?~W=Zӫ1zsg쵄#E/kF{؛rmn:Ep}!~8k4;j0^m g9?pѤZ¾M`}.GZ8֋Kb@*{(e!ӷId<(ʯG6y/03$p[pgWN@o0ukv'K#~eQJJxJgu Jړ;[QQxf(,>TG` ww!_Xb1vHح6rF^XҿlΠ8ys%N'v@6ݵޣ53{ܫ$B}ggI@v')_D'  =P+~5V| #OKҢ>i^{8(JLǀů3J2Utwdz  |x vk&2SV;4MV[b_EK5dj?,{N %Pw)mYIm{GV@Xe@_(1,]2qu7sG25/3=N3nH"k3YŒ6 ?*yRC=8П!>{q䆬Z w\%wkBAR$N>c tqi͜3wǎG>PVŸ8I fWޮ*E 4ϥ6ZC}knwTL3XΆp9%=NV>Bc0\E/S"1 3խp^Eh7@ڸmF6Isi˦)-k#rYZ8|l\ׅYC7TWA5cY.`gnph?ȇ?قE)6º`DA6-b[8v1ܨ6`l7d?6-|Us,d.c"1l;LW0y#OPʉP(Jt{ѓ,Nn|9iݷ[.gJ/\voSOKtMrSL(UWN$W6 XEZgg0=^u'&(Ԙ&8 ƛc~hj"ep@Q8 ģzlufNݾNb5MFU_4eKC_*KV&I.,~Txn*GV֖a=3 !Ǣ#XzC: ?SSJF~,ZtG }B^ MmI(FR8Ы3͕2Zg#ʃrJ=UMkFDnN =׹*y@I-YOA:_a:,L5]% л7Z#\6>8%[ؠgoJـ f;&0G[[j§綟# QE5a>{ }Hɉ'CN,cmܴEoF2 xqz,} <)e U v =6Eà=&}""u*p`#ZE5k9W 1z'i,{:5+^i$փrhrk,KdKOHgҀ5@'EQ7G;%B3y d/op>-THCGtqf}%zn "boqIya~~*սfjJ/BLҜ ʄϚf }h/{wȈl^4%:[Z?0Q n_J-WwH %thqR͝_=dB3ZGP{Pe 666Bq!~>A@rE`tfF]GhWٸV~[Y_Z(, ' mFIy"\)=:xsjRk^jpߒm@JGZETK' '@;.T,_NW?b>hxH9[Am =ٜ19٦gϸIfrx<áthyo%a(§xDa) NX8YyV6TYAI80V4c:=@҉ %7b|jjHb:ͪ_NcDovdQso/7 K©WtGJzR؛[Vnj!y_+?׎́9Çj5 Do;zr! lcEH)s60n: pXb;i(r[0T wL|/2ZF4FfLnjEWfYN^OlGVz%zdzaV 6ZT}\PG(Wnp P ^T-~t>QȷqGQW=;$xXzkE#B+P8ʽ@]_bE#$?x(5}T~ #ҪG Ӓʌ3sP9q},vXUXX4>ʜwPsC8eg;vI'kQQgN`Xݢr0XҤV_5C8=p\ksW;nHNJG7 P-жpYGhtwS9VhΩMm)` C4E|+2JYRKV㕟&pN[i/Q~mq$g$Z֎7%B (D#^_ ?bh2HcISV>[' -l1mҤ뷳7lʘR"iMtrHIHc7AEOXάwz|F^اW̼jDG*2%:Bݢf/|b$Fi>? $q<CRC򢴐pÐGč>q 1nqdLNiT+5C[Bh5#jк,!`~Ǥr92xhe#R! ( r3o͗ u;  z׉0/M&1 auO$V_*l_ހx랖2I&N^јkY(+eȑ`4h 9&0)aG)ݡXژn(g)hyJ$\#4zkI!@hEqY6'FnT=lh ixUX~BRG NQ(KAU\'Rǟ5 8>o4P ~ Y ed `=P~{Q-x˝@pbFqBLx+/5gP"_>2[R$&<]{#ʾ#c5<5Z9l8-1W"قk:ˮvTD:Y׶&4w??JFR{e x.p&~&j")@n' /8!(j:GkYG b/"l2m 2g!hp,wC/bJ$W#6jT*%4A ^?uۥ=s\en ,>@Q}dv{]GBӒ=~V3 ǐs5@٭hʁiġJWke/rq7<$VV&mm.2Լ{^65 YA#de)&/I$W^38?*X l/,4/c|b 8:pS50//^Gy]d =CVo_uYT\K;8zue5W3 xrb,a-dm'7k;$,Eep&6|)Fx|! CJU,hPVr.( %R1Jm7Z??ϩ;,Rk2MM:h2%2eq"~00_L,=:g(!"Ӄ.2YP;~'u,z߻eEXeobJtF8OV8=BBt.XAtWFOծn퟿SlYaˠΑ(; ;Z_ѠWo}l5p~1N67+ MDb9. l&7'y=}V<~]?6`PQ޶c~(S6GRmOOѯN}4 ?.jFT-O.PwY^UCXw7 >'iRĕp 4Z_8: o}"wg<. `MCPVc5a3 Jw_3&ȕ"<S#b9:jTU<4N"_pkMῳe'=奁@2 )OH}6M.]M-:xJW i#Tc>StJ`MB eov|("_mܪ ]i-e |B *̋"*"S6ʂlvNH;;kXF4}Fs?nJV-Br3j`)'ؚbC 3B`~O@ry;]mNBwѪ~GPbQxbG42Am6`;Mܮ00Co;ړw"cw' Z Y'pKD TTv} uN]V0+9u>m4sklv)`-6H:|1ZM=V!m8sA@S7qo{Ev@cEhԗWCu dŅ^e4r5lgo*_x7)p}nuIVc(X{# 7NR6 '\+3gNFiSN^bU벡Q0l6h5剨cSTQ{&^::`Ela7ߛij2涮/d+SXzZ~з`]:0HzsuAe4X~Q!]53/Ivd`;lx!t,KOm#;Z^kೃ_?issZiE ¶q-\FH`-Sat#5v E *aزСOOCF?C:pF,X'E2Xf*RudL#ޢ*'rQ~Ίdp7H?˽ӠJw+ۂ lnutr̩6KJȩBa1ƽ9݋,=*Cxy86`2(uwKbAO+ @qxPiɬ KY-wOv u,7joL~@m_O'T C0wg.W%b iZv]ϥgg8VHt*0sSwv"LpOuDsih@E7{!WA5q+iQet\+X)n tSdV{/nZfY" *4g\S!pH)QB0Ao ̵n, LF8,;={d&Zhceu;:&Q@P>= ˺%!x0*e!4r ,) Y3T;zFNLsJ:'gz;_HHRBg=.hB+g?dBgۨ zH5yܐAj R\{/YT&jJ&>2Wn"/h 9t/y9VL֤@Y;+7v]-("K2.`%sbՀrb6p-WQA Qzn&3H0B l7h?5Uk'ZXGNTaXZ" %>u'Ffv?K' {ǦuB*r`Y/Ӊ4/)R=b`j$+5 n(@Bs&F+Зopl) CU]>=h?n E{S ~>~3(%Q.}u[ ,FU̿8i '׏P)$|ܜ)AJjmM,&׬h%o3ByipA8Mgc5]V$~2Ɇ"ӃSj U<]Ci&L<`oK[K?ʄL&}̻^NXr9HiI]Ё<-^{ߔFS>aTwD!0;jfœE FlMafs$E_E[Z,]cw/z&8U /Z' mfƒ%-a5XjnejkI./8X3#B->,RI jo?;L-[ PH$e8+rqogCQ饐-(Z6܄%~`ՙr"^%L }u=ìP}6`4njLT?|za =xeGr * Bi 041dAR?J_ Ĭ%Ru"ȐjAݖoV>SfѺ?diގ,pJơ"D]d܈ưDk\EXՖ B_rAqϜiA*2Ԫ]m:3yQ9hgOaȅtXxvgzL0nɉ9CHF4:>@H۷.L ˋGsTTLMk<}7U/#j @/2B~=0G <>$Pd`]/=ܑ]tS44DRa}66a9z0R+i@p!\d\trpZ!(0-j.%\=.Z.;D +SI`|a SL6Z0}V28SL)ila˄ᚐe-@x%͈13𷶸=ٮI[`V̈́:xm_#hp`|kdu;kio" ɻ'aY@2p/΄ IGm #gJ/mN 9y%PdB+Wp/e꺛8 ƻ<+3ں~+dW'- ;C3ytmLg+ֿHsNvrU\qL%e;L9O^#$sK%}KrEiճY nԄS'juĴg^~KN͸ڑ{=^@ȸtCx@/Q$RȹNFT$1CK}{:Z1hy|s_o׼p j2*oFVE&+Ld3`uYUɢhIApm1^* ``9n;nT^6Z5Yk|-e&)2솛>_iB|h 끢ΜVSyY]Zy_zk{# -Jd(ɟ(x5:]zv.TCc <;q14LG%2~Z`f_GnܦgيײL5'u㟈6@B0(t:.ML):1 =]kXxrlA# L33Կ(ho3V^x|9CP)d6(Z|$@_^\elX-c[Ǫy+L0 ebG5 O.,<.Ҽ_8?zOIw7ğt놋!uu+ޥF ,YoբxW^3b`> :Bj/h# CD>1z2)RZ  p$ի#FeQ`dQ .Oe)hh#QiFnu3{ rix-~WNOHN5@xu>W2<,)lĩ zd*iSIv[@۶Fƺ ?\ФТ?b\J!R[cNxzc"IR`6;VsOJ CD=v_Nu v4.QRPaȕܪn/۲ GL-g-p.)ٜh]d~I8sDi+GS.{}mF*v;#Whg24N-QE܍mX8V~!nxxku,/xl۵=(@!M@q6x+%&>N஁VrIСp3D1NNvhu<;qqj%`|ꊏZDdꖬc;DꐷI)+ԣ.6K򹘊ݾ_@ ڢe7wwүjH\ 8NÈjipx4I|e, @oJSV $SiR*&3Rы.AGو wǵk[J4+:Vrɇeֈ4@I{!bפqS@h`ΰH!0(/;;.o._/M`Ii& :^E:A}[Ѐ2rMrР =\04`)Oe%1Əh2= :JQ_ 6j}?wXz0yT8w wɐَս9U*i!~9| d+8) ]KUJZr!P嗂&LϠ,~^ N8OU+ʬƒl>o;롘 Yi !" tL4nZ8`x+1=\@DgYZf3eda0dedc18ff90857932f48c9630b0a91a06764e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 31554a9aee0688a2e741efca4ae1eab669aee35b 1386d37b11623d3a0410c036c917adf57b747149 4efcd652f587d8976fec2712170756e6c254053c9ff6a40f6ae960ec885aa219443658dfb14f31a3