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  !1TT eI]Jordan_Normal_Form:threads=2elapsed=363.189cpu=613.468gc=16.640factor=1.697zXZִF! }H]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcZyfnR4wee.IfqƟ;T4QYCcXXiZ*.?PA_rVWzj=ƌČ|B~Lڎ(]hX2Mx hLF %e'A] U6uǡP"fG\bBJ "N[9znV&=}ۃqoN(ڞM4Ft){7!fl괠#XHqcA\dpc YW=pt 5?]6n\D`"pdϧ}/ u8Hߑ͏^2[1;,Uo!nv-l%/#P:q*$_7Ab+Vl/ܴ ] atHHO(mשUƳF7*)ݗ1C/cwr(3u;L* }Z4s/CJxJ!j} :a2E'nSqD|:BǦѤGa~JpQLbѼT?/-"ɨΖ"([CYyg_}Յ2GG#An5Y#3l%"'gqLydvWI}o640RP1{LŲf0Qk$g _qV*G`g>u7ByXGtTq}K/9wF6FhU60APymB!2.-QGKV4g9w& :ǝ&&Iq  1 Jordan_Normal_FormT>TܲպϘ5 4UoxJ ܷIӕJCGK{l MZF#fY] ^T_rEc.'Uq^ ɇ, T51`tuܦYz'K$罏 KZ:eE/vp^4 }12,hi6~oؙQZ3i%R)KR- v6~LdSd[ZxM5%Q l??a Vg9:J?뻅 ;49 czjYY/8`ym1kq~uV[oDEK4!:m Ť}vXQvAm[.D -TGQ=kq/9iMN|( ʂGV k[l?QlƾԪPFE 5aHDh #T A=F{~`b>x`yaI6Jlo93 C/9jHwl^Qc"쇙x;ۍUt}߱r ܯ5a} A1ʘ Z|! ~ n FV,D"JǓ&ؘp πJi8vQe͸!kރLVPN !qGKA׋;-&$jQ @ɸ _q 0:G^NVKPO؟iwIcIP&12wآѓE h?ˈ)\|'y|n6脢L|~UQx١=3K*:$vG gD,Q%Lļ5g K[EEŤT H$7ѤZn~ ͆pٷB1dv9rP\6LJe/Ms bQsQQBaR^uA˪b]O͉ߵ _.)@L7jt؄jEka=/3\LoW)EE>SR7}.}.]ȯ/9US7һcjA*?g["pmKi)GT'P,%)@7(lElm&$ ú~"&SbUlK .(M>Ƅ~n3qt*B.齀tVjp)| MtVX35pVG%֔C/K sY|tϹ0C'Ci+e\4I mzW%Æ Q}v1[zXx| gn@f'퉮?V $/S-~췎2&c¾'oYE;sg]#nbhJl=~yEC PX5d y؍`PWո3,sIF dOs!?r&{!?lhoiQ'p$MI*[Ĺ)1 d " ‰wYv\) k\,%P8\N^*ۮΦu=ul}} L-wCt-ϴHyn_#àf 7R!]r$$:2,mc49 }KC>Ɠ>fHZneF A3(mgwZy( '<I4Wa/k|hIT\r0UI3g-c4Vo?I = P_^̷݆xT;YS!ws+w*=qfAP ph1:Ej!gxm)&]_8b- SrBt;gjO_7O܋dPzW>ڇjbʸ֍}3L6SO$jlL\h68/bÖky )d]1hcCfKFR7_=LOg}gpSj.d=9#S[S6Dahk%O\M|z0t_ީbGOIHʌ\y_sC6ۡc| r`pZHwT9Dք-DqBIli\Z|ܩ,-e;_h(769Xq K jV8"Ku_`{ 9痿EW^fE„f/vuz3?c:(K(:J=ڔ *^x4>A#nrLf8mrn⧊~ӕRJE}ݭC欩|S6`#ԝߍszBXCX;_rL*b#Ų iό7y gSj%2gpnP,m**~il~Јwy|i^@^`hV"I;,a4=hY$)0fum^$u# 2[$yiK nKDO X1FM*8KeI}r9OhvpMVd}=zvpD'SIMe0RĹUTx}~P(ʝ^rLG~+p fFŏC0UN0U۞ʜiZO1oS@ HpXV48_Zʳ㨆~QVe*l*sl\ZS0O1\#OeUp ym[MP57,{(,cNRatIi \HݓO>ֺ: y?ur?4%x;:?)G`_gNa q20ۥب#;/Eg6]mȕt!ٙ>wOT»',|; +{N8sl8c")r4] |m2d+" h3^JPRc gIFʽ |OtW&itTڦCiIR;n:&s宛pyw8 'lt2;\Rz޺9ε,N'_4omsE̍0Q#USLMC:eW-/9,/0cug pD1Њ$5W+dQiuW̟K]=oeOR#]d]TDg# GʆIj^\ Wz!p%gڥGywI^ʜ[iz`3Ph"vEdJ8=KiH_G&C\>R'qY 3[3]ob`tp>s#(XBy rUPBcg=bn@6ߝ91FwjÕe@9 Ђ_;>\A2fW fTt(m;:.w<-_ 0P?jP.zC/K rq0is/?*Gw q+X s٭ec黋g"fƝXHfj gj ږZ}tCƈhRqnsE- C,[7I=zD)6cexA"sT%vRJom|H&FIR7ř݈@+Lc:U$'ݡ]cFyNo*hOX(RxsiY'bM(Wя"f~BynQIZ @aY_$9d:;]u J1Z\07 Baej.\,Z} /djJ QG >!ƌ kUGÊqOgto pf?8o'dfZ(R#gϮKG~Ӌ6BwһV/5`};+ {RMryu \ʚ8YW-/MQߪoO)8 Ǵc#o (v jRLs9ư7nYKX R~rlP6Q^nK%]*3yy;sAb!_ _Q38b腲los! N6jNlڇ0J S\4FI, I+`{}AvCHj0ńM<vVlx!qT7li Z((yLoJ|Qw<]vcHV@ ']4oX"j1gz[eϸ#5Kg5{ڿ 23>f āRTw{ Zi y!30q=ۤ= 6HǗwc]6^9[7Z?գ"Da9oW 3za.9)a35u mdw`~s6YC׌\ͶYM;,B>iFf" a$ϩv@e1~#bf?L7a$H&'2('KW.%/Wj{LL'B2C6Ԝ{Ȉ3eza\Q,O.c܈f b\{:pqsA!p)%o 3:x_ =RՓ$¿Q [@ 6 0%0RՔl^S2+` ֎mIMD6=C/1Nʵ3,3:x`nֱSvWuj\͆Zsa{ /pwwzM<T8E[ t#EGm]yTF⌒s*V'd 1qoENdz($H(0y:h<'JBi3 Ko@CP(Nێc2|r)$ʄK Nb,2ZZiWmcP8͗! RtciA3R ͯgw/cb퉭&*Y Eݾ&i${8O}, 6Vl;Qތљ`g;PDr[}rIL|3AFd6$з?){`DA bg+mVd?^(WF7;>7L2Ne\"C/q̸ YY`@UćxRdCOF1s-[lP F6.,Q| o85-4gEfԵIKc3zGPLP`/֨EdW|fiuV@+ @jnM2+D.ʵz%@~6s1?n`dyNP  -H67Wm>raZ(B't 'NCBș2(A`TWPag@]3wuGkH%>\i/Ƹ!sM^0@!# $¤0-D{,)v4E- r3(&G vM[ C 3DDMVk؜8-cT[!D#Gg k wHѼHʳ&|> Ẑ/>⁌aa`'m|~+s",]'/`5ś @*ٴ[-$ˇ<<ҨT-WeE MNkDDRsuЗ~Y 7Qr?U ~ڑM*_ྂL1\Pt&SDOhܝP.Sb%*Px&b8rwp/ wF6NpF'.;LBuM~ft{< @PR#g)@NIlnKEJ&V]Y Q"q{9W%ͧq;-zwYy!qU2GOBz OQu01Sbz64<ʊ9~/8'Fk4.O&ahل7G*K 7JG.|-RvUKJrdJ[NijSZ)o Ma\Vj_|[Q0aߧ0MP|eml>E"Ë%ISw.2N+䮍bn+u(>NUkS×95Aj,fA>Zzp3 T}D+3{q$ ~47%td],)b R-č]IӘUO-&i'ʘ-$7k!8;.!t6MJo{ƇnY@5ҔNM!%vY%%/3,,6%ڎtq9,_<V^܇ZڅJrJIfDu`a咉qOF[SX-K/}+g9| WmJ{0FL @[tZ(#j?K\ jҔEvWp&J% xLJ=ź&Q W5ʅ?/a2z 2Y^!m~'>K Ȇ!Lc/dl;,U_9qȧйP[SvW^s~ZAdT[d$ȲK2`}ALLW]Ξk\39Tk4pu(%v3b4^!jH) Xbq 7s025܏#4)9W6GzǧFS0sJ2=_˘p~n_1s'WH*58;n{HDZ²Z8M:fS)Yw/*v;YX Yhy@-jj=q nR7:5AK>aQ"d6mWyP!oLN SYnf7 Qbp9.  fR^\`Ѡ5㭭KKU 7֐ >/FuֶI љ}H1$p:iZC+\J$)P1UN4 ،vfPH \ΙmGLM˸&nrdxu .Of+p$R|b4.oiaz|*b5[бi_sj;w&̻-,)3/~֛+=WmDTuAgǘr!*f(HvԞ,f);KMeݪ8Q dLMK%>C<2AE:\Mm &cQΒq|4ssO!LnUy|6<Ǘ[SeǎGFЄb07JendԯQ [zZUPtr9`4iV䛒.2o°8}ڟ0a\cyC̓b}NqOXWԵE]wa^[zn:rK 7A_ Vm""\*aфw 5e; u$zܹowնZpYnF鎐2Wxݜؘц0Q8g! rՍTS۔ pPAp2t؊<[`eK'OM#Ucc8 Zz)M^PAsNK>1&(Vg{g:T?i*Wud/B9WDmh(4x iW|pb=oP-pN^yҩ-R$.DCg?bעjF/ ߜZ e͛ip1:YASf6ރe#N:$ ٜ SNѨ[ ?qS*=sE ]˘1xӦ)뫹dnuin>m">pJ܈[ak;9ZIU e'oDOV~_c4MRy~GWU*{'&\jHd:J dʼn2 )}vX q r$+vNf0o㦢qsbH;)TV߃})ᓾD9'@/%b[mv*RJoV7k,Lfmn_{W! H:4cGSxoe_Oѯ BrB l aʖr٪cB065oEnPZ_F0:֊ )ȹ]9Ld+J{&:#VCDtV,w蒐{ow:A*HyPZ%Ieyc?ZB{8Η7(}4y:s}Ȝ#]!:lZR\bMXZk'"]]sCwt+;D caCflodu(./ q_jˣQU\l(D1HyЕ4kC0n<ߜ9Ǣ_V~n\?g~/.!QʥnE@d@p$OC˂*=NK,[()G>@`@fd-szB<ɥ J&cA6q^pjuiH0 Dn(D8`  r *WpXSSMiO.?f5 FJ O^% Q%kI ";Lfz R4>;I`.bcv^u:6sve"uͭv Ko~؛0x* D aB#(| m%F[ 5VMh}\l<>\iL߰&y j̆L3X.Z-6(VVڡ#|8'V#) 6VEczw+bk* oaB+Q\뚙d7g(mRՎζwQw1G--=nbvQ)6|*Moq;ZbH%c[4G1.AK@{4NZ<1~)46(C4Pl-+*DhFtt)]HS]J<4rvT( ^'~g)*fRNyknT)"՜(D K۷+@8lG_ uny w 5׆&24 7p]K_ vlNC=;?oCm=zbz +}7X'30l 4٘a ts ݧ4@M>@*aLݞ)vȤX(ՠYA`dMl:Ve.Э $E<nG-qָݭFE4P\JhhY_ڙHpU+'yjfP:*ai~HUlK9P{+6V)bd$p믤8wN_ؕ{_VSXigTB̅YF8e^ulrWcticfG3_TK=qo^wI"V3A#֞: qjX*.2>PX ƧP'/>Xj$!&Y7+T_3\,-D~ 6{>x]'Lh8;{Q^:5}?QC#V=mtހ`,m@$.r]֡|݇m~O*΍If0"Zp[vğ\UyPyP ߟyN؄8ĥ/| ˩vz9̠?妟czreUVF M tژc (n&" J8RLs1 -HB6% dSV ZrAjlqn%IֳHߤd|]'3_ijk[KV$a_3HEvX Lgk'bQ0UˇZz:G6{&:v%,Ps@]Sagۯ5GE}'ø s!n%H|r~oxWVxH8m!ofXeRx;h ݌X(yrjf|xYUm4'?I--8gBnpr[aYI,UrwC\32ƪ&l0~y iuHΡ&>7q /9.>|83/LJ@rPk' 5GGIoU(z=2V[˓sXW8ԟZ|_M3q&b5 JSգNkh50F}q%($Y*!?VVigsAi?`7IPtF|D>u J]˭wwĔUdKbj`Aml *{beasYC,M*^k3'-X-mDo ipL=H|?D_&8:gghg2Z'Z]_X?zF7 i0oƖPܢ3}+[ZVUJEއK`^}]jTFI>A hӕ1 >,Ŵ95f{uIɯv<܉ 89Ek蘇t/3TR?#y2ac{Dax'`:&жire]8Q^)>fOivHݮLA",BQ8&ʉN큺ޗ"vLl>щa\ ];_Z-M%o6uR)'&}p.$ N͹ 66N^hԵ e?gZP2]1%@4Ć,m`  A$V` d"TΎUw chw%gpf8!og1?VFJq PdX: \Spzw [Jߙ|O}n8~Jӿ л~ʿE$" ڒSAvh"l)@bW&$zܩy:ԸTIˮ4x[o W>[#eܫz-ʑeª(꫃p=#xִKY  6jcν/7;޵nY\3ӢS#@.:~n=:i׭[.q~^یG +)6ȁ`} ww#kMiW!p],i'7E_SV* ŝ dw'RlcUҕ훏G@A1;Ӥ푤s+AǞƒq-XipQ@:@>:j@5qF6ӰV֒ٲsu/,oGW ^aܚY0QcS 6-{Fɒ ,Kˌ)bt:[6HcWg$E!U6RCZֽQEif4LZDkfdf  ѼRF &SXccfV"i#s 361&Jߍo@j'H`1b(\"F֌4a/T0Wtbϱג.=+;%OkA@%=IFP dKumITWU6 ԨR_E+Wcy=sSv'4B&Lv}ɕ(lV$HQrI}I*&"OR<2ZTKڱVNV.wEX581@Jd `\՟D` x'W8[tT'BW#-ڜy2EyBGM]e)u̬Na }'n?ZiW6[Ȓ2w׺aGܞu˼r "Ƕ |6a ԁ dAKaݼcD"/&lў+Sk !6&2˦:?NGxPrμ}s4˞3YgYZ7zXZִF! Da]ŗXi%s+bhؑ* £кt|n_oz˲>)?~>$B`h)qޔW^nGb@sr}[@TvA4oJ[Mz6]_&Ǟu78S$=>17q<&w&k$PHXNhk4 Y<"m09%{M]JUf4CA5,2 M\Ʀo>x>_z@`z""@KIqZ%Ӄ >/lW> Q,r'c+mt:es`1{'D(H#Z~1BlE^p1 96ȷǑy} BazhG >M $[+@4Q: {cnJepMDG#nwP ]e(h(RLg=G)7ތ!LWJ*<;84Ŝc[/4G@00aNJ[6Xyg/pM~Fr·ƻВ h^+0mPQN0jZoEX֙/ʚmtu0սGiW {Ro\QJ-wtLʦ -]a?&ʀ:Oߨ UrA†ZW?[~D> E̫uk\\> m H3H*Yz-ȭۈD+_ѭLAl e/}񋞤+|}$qX3JQ R==̌5l{>t$I KiØc-)  xE?ʄN4 G !ԓc(_- xaa/vAңhݛ(Q]x1\ܯ$QƂHkBY;,W\qL)Ȇۓhv8>1eYFsv Ɖ s+xv u UߺFh6E+u.PDj;, L'o}Jǐ$|z8<I}an%\Ed@7T{ ;7 ӼbU*[Uر_k߆}#u75϶&} 'aL}Ej2f"Ki&q-[3*3Ev@Tj'bD 6f28K^8WT'ej4+]fB |wZ"h\ s6h[{WǼ[r[B *e=Ӣ[CL9i!|ztl\[8ɫZKSU)N|{;-ƒwIǎ /%O 3S)D֭(P4vP2CL@q_eT-u\;s,ƏaVۧ 6|B=ȺS_ؤ46b5q ~.81 Z߇c]IY=vk96Y%tn {[x]k‡ô4 OcGP٢\. -+xeMctg9TDꯞ46JC8?mG&]MW_I1v8PT k [aLү2WNӤ7rp($AUis ]&LB[^qSk4[Lt5T#SCFi嶦B Z^!Rh?~FJन 5&NZ@~m[뗮X3+"-ϊ a`\p0H3w;A&$4_'r'K/u&?U}S28PHt*TK25xXEvi%ƣ>&uͅZUlK:MԐ4ng_`GCYk2#"ػIcA߲e2E?z""B*nY = aKxmU*Ps+Dd^R4Juo_YטP/CEZo#E[freqT&K6 Ξv*ND3F߶}i Q;)|ǻra3_<-+*/;kĖRaf1`ˆ#ؒ*F~~;\RLl;z$Ý'ǵfvw̴{70kT`JxŊw\Um!l)YJ;$šb))ifݎcmUfnN\C,F]>! $W 8y\ݥo$((H1 CnIvA.\ّ7F$''~"}iM7TR^#=`QW}U$sHqw?'11J73bav]ԕ D ms NB@υSR<7g,3}qN9;u\n"7ll`cub w^;;jݪm薕4p "%\^$ؽ+TN||1'W8{ IB3Cecȋ Ko2lmů'~yRɾZ>;GGя\=3O#_HE9rW$c\Wnר@(<_953ebNg ~ݝ=g`¬wwWfU'W:QvSZCCPMtS$ <7?2-Nw'eJhY,~C7R%]*e T!a_3fhy,$sb}u~&'/1Џݽe"NCs8[@PuX3ceP{)XVɉVfxmFTYn)6m#J4C⍾Z rޖ0.'=mN?-&21:,wgٔ匫dR"$L 2 ܊Tz=[}X:lYS"5+ZAD q:jE-6?=U9OS;$PMMۺs5IݰV"*ɤ 4]]>qX4PEK0}Yce1AaxҶvU*ʙ,NJ×RjWA_DP&?ͺ~Ĵנz3RT[*_ w4Uof9csҳ\1 A1bl)4(ݤ`oS\526E8)D`s,qEt"3i^Hv+JmO5-oD7fFǡ3H).o^W ;cLC@ t@A$zPggU ? >kE^3 5vҢ!A; 4`/+MUt,¸V.Wy lXL ޸lݵ$fkp:)4kʟ2C) ]t-EwPau{5L-myZwpe2jRK|žj-b9Ϯ, vmKDk9BiT` />}%6b[|[,e #g=l\Ņz # !Yqd}5<*w栳RΉڏWogf7zq ʏ;={EGr `|k 7iim@SDW§Zh,f,0׏ PP Ri<*3(*i'K܎˅&5IL=ן8Sbiv>̩w8J_ hөU=ft%c)" 44M턼I.)tB|"b/t??ϧR`ԼzO]>ɒϥ0K1TV=]BBd3\6 }ĵNozjyԏlHZH-|.~`i3a,!Je̲W ]؅!BSEǀEAa ?y#(wkh 9<%L *\^OުIy;Q+x[ֈ=J?g)QPm <.[sL^) G (Z$yF/ysnl|iړel!+?u0!KQ rc6L*䍾WۛY9o 1ؚcg2uŧL5B;Gȇ!!3E;A~<Ivsj(r1' !%٪"ض<0ڄlO_4jNw~*ߜR:+ͭ[s^VT^v}P}؉;=K(g-$ԄhthN@YҬd2-߷ACI~E`7g2~o!;캳 p\۳, 3wJnEbCVVײIrC3+55gI,z8cBÈlq[3_/3*MYi9u2 3k[J+i~`oͫA>r $F}(o*iȞ\j=v@y lwS5.wMN&#vNm C1x˴έ=GЄG ou5)rnW}S )39SsH!ձ4{č5wЁ#@1PA$'Q@0m,^N%UB4D1 /#OӫZKuw3v|* X[WR#CxzN*1H̘xxB~=GACEfBeg},}3י"άMakNȆef?5lX@_-lMM~8#k1Uy!1PL.qn U5boɧ[ˤOYvezKJrzr) \DX[z9o%z؃ n&VX"\eqa)Chv,3;(4&dO1$:X1(fO>JdCȏoR3#x铄мtъɯBD6M_!`+-Cq#, L@(mQ/iYn=m]SPm9ϱ3 w/OX@_GjXl]FZI4ߪժ:c%{<8 !zYUtT0lBv?)Y~Ƹ=U>v&/ϸxhMhK:`3UC\G10b2 uU曛3@5s%)<AoM#*I_Z$i=.[ZJ4OMUu4xpOyhnᓂ_ ⊡V W4כ\Rv`*pV 7WP}_|P2hI{No:%owz}_2 mz}{8T׻j CYܷC>2 p}f>C8V9qF7R0@ٮ.@Иe[p vs.E9 :uW:M&;G-Tv+A1 ʹ*:16iP%uPU&l|>o\I%7UMu-evg( [\P(^ *SYWPeeQO*W)Dpbk)~|ȗGˇc] $ Z=$WV4PdzJApF!;\fF@~M]BsמőD6⟸hwZVsO/YNPё I+rWw!gb@[>Q02~凂u_+&.ڜmd(l΢BLj1eFŠ# 5n9t0󻯷Ö8Ap~C?ESY.նn={cK٣jAѶlҪE7ޟӫМtar(4t}Kʼ 9,?"2/pɨN?pݖu$V}Ȣw5vTHg67J֩4Fu-@Oj.={JARLh5+F_EFq| L.v2z1wh!hSrS*˄231@@w%ޫK[V}Du.s˼ Z )s*ƃQ=_PFvmO2P$pia{#F~/,iA ń\*ɡpAuPqE7 4sX!ړc=}MRh6,x`ypN8w(֝]\:ozew [XmͧCd*z@P`/5M"x0,ϧ(GrU}KIEOCìtPt0|c!Us=a/;<9VHVSf CߏdL Mؐk0J)=9$AğD֡zɠgV^M bV J Xx ^y Xza1=}Dr&-wE[%#Z܃)sn"jvmsJ ۆ|)* ;JW c#)V֛S QC:ԣ4;Jv]E`_3 0+}49F͗p"CP#&1cL ^ G?†]8[|kr~ ͅ.A$ x] zkk61 'XA%mcBn0 >Ba+WB(ABȤ0 yUr(? qv'[aFPlwBlW0 '@kD}8U;W8-ԃyp%ugkg䃂Wz;7!a$hnC V]İ@`ڬ \ EM+/"BVCda6!Hu$’u_uŽwWF)E՛q Ȁ}] igZfcR?Q=B3MH'\CCū+K1 XA$Ѫ()HCAa*aG\shs?o+(>Ŗ}J1*J ƨGoN޷Zv#iȧؕC+u?–2plzDbp]a)+C 9eyõWMn²=39 rgiyewL-pysaώuO_н}0vck248'0YV]dK}R]E -8;i@;Cd.p{J^5g%Z˪ÙR%-* H."f ɃIޛP`Z Wcځ3m֥ޙnhk0VV.+q>_~.jܜ΁ōDSª!'3x\MOj@GA!F27;̦@?JA?,CY(-c~t^KC7& S+E4p/ZwRV<,|XS7d t(䓤fKOù]ENU;b|Da+*h}=#FYNt57o9=Zb-P<w1r&"=ZFb 3.{ s:#.&dΕ6*'Ӹ,d ?K84VHJ 6چ%Te>jٕ JV$3; ߇06]甚wTp~Gs,rDA&EOلDe(XYboW`9,˗T1`+K9=[l eX~͏S^)π4Tc(O@^gffn6n5Y_śٴ5(>H4Q[x=fY&´g=\)8Ksڄ7EϾ]SQ@-*]zj2:[/;X  -B$36()z^ (,J?.,GL%z f-6^J;KPPWPcDkY=~̲ǂ)x|jCPN-۔i&)B}6; _E>ATTfu 󇣨mF8#g>rNj ߦwGfMEOl;4O}IG%o46@n/'_'cs*f!(}{-A RyZT}&<1#)9n;Vہ0CY w+ "`oy (46w{r]#׹2")i7dRDgmrM1OBӔE_S!KD>cc${rJ.G-bR( >5_K[[%AALHb‹3aK]DNUtD/=X UkJ, fx6ECp]s5+h#͔:R][ ӛ̩}(>b"%ߗs2 ty_|D oX& UM()zufra^4)0]Ki"^(0KsWtvXCKcqxtX:5Rh _N$E`m\Q#L3SmtX7s'#q{t-'KL8?zc,$H6iY`Y`F^o*fC4 1v+rIާ | &QQQi DSApO!5c;W7g5SQ|rW ޗ/!ӵ?3'~|#mk+05~nb;٬~&]`P Y͐W:-]BPe_+3Ln޷``\6ODٗWf3ä@gśAkܔ̮1JiԦ1**A]*5f]W3*joRJ^|Z-=#<7_j44NXl/&$gsLf r@ĥb>Bi\PV7 ;0t,NA$S^H1yՔV^#oz!8)nZI"C6| b w` 埀E%$[%wl xMχ`pqhG] ԗ7+a-W@-@<=R惡؜Úg=ذv ) ${jaa`FcGqw۰G%-W3" >H4/?+ұ%P[ n3,vk޴-[3!L]zd'æC}V/l@>#%.`jB6#q}j-;7d[/v#@Oː`(Yᥕk*}0Rm$8T(#VAUKWMSyڕ뇶Z%ySTH')~ | Z˭0Fy(we$ \yN: -F}1^l n4eLP2`spQ3-ƫSb%_̠R̕ǕYmS }\N?]H}߬uС 율r78#n=vL<L\fVP,_9#7WYB a]T^=e5DJYfzbFdٴ o3ţ5?EEip0^^,9!X EQ>򼆍 Vk0x#B{]r$^eoY-zNnr(cYOl ,0}kygeƒE:gd@SBsh&K O Nvj#M̃/z͏ jOfGlQN_35rt^kɳLw5\ cuԩ]mExQ'w9j`

la@Zj+Ǒrb=+Nĝg ^{% KT<ðgx[YA^4c!tLH".tR&aPǧY-i'a1eB V_'0:Z/nnmE7ڭ:yUB,e|F̗|gdo;{x\¿N%¿[J쳾Q#ЕY7u4Qu :wS{r)AL+f} !`Av"[h M"z+mCi䈖k|X~-۪߱H(l-8a&QP@ɮY=] 9p9:[*@Zj+U&;~PE[&4tɚEġЅ J3,0d+^!R0ib>AUJF>Fcxԋŀ:4 M޼QN4>Y$+[c! ~0xPfK٭>ů-ؘMGUUH]&\#+hYM{F(fԮt5ݯ zYr] Oy/ sdu;8d2F* -oIü $_JM QF_z:kΉ[ S[(FsGdh5Ïxʫ/H$;92p|e5ɍwޕ>Nm<VydW~zXOi³-.$#+ ?(_uwnu[6ǁ%l%98ҩqkC ~iOjHdТt).fq۟k2pe85g8@P t,/3%qބ9_FQW._ # gkA^3 TOY{?N*lVa$5ZyJpɰp,$H V42*.3(_lsgS[PJ w A 1c(rG A&oL 0O[D= W^[轌T BN6N> >'b>sm01Vg^8j>c_H_ҡcϼPuZqYV g($9RGy+Uz'k"؍uX~.Ud_K=CpL!:U7X Hq5}mJdA̳%YH @2ҟ6vqx3=-,(\H3!PIXX+!@4e]ؤ.:VnL0 *⮱~oE|ZRgZKsF.tTJO'{sxw(`ٲ]븵Jn$ ՛SX{si kRۿCTX֫ۿ_,&i,q>zQ &(k$ ^v:hA1*^U7}c HU" EILբöym4IM m_P %:$s=VM8ؼc+"1,u!hP/> 4hH.G:zJHmz}Y .}{PQEO0ůGFxO^q8RC4`}t6˜뽲I+-?{ ==L(js0U:I{uy>nUJZd^ŐxۙIjfl4#`[}-ZI 0-%@{ݯm5i$G<͝ܫIJ R)@ aA+'_e*}X&Z\sˬdJrl?Z1=7AW9n*R&%X>1Q:t:%u@-4~D`yX?@+8 sͲ9u*-U zojRe1":x?,(!1_c2ڣxh1I {R_{| T~iG:ǂadOX] ?-D)O_u0K_ aOq^-˺|~ ;k=؀>#](OȘʀrNOC0 R>jtrcaٞ OA {~ m&xC{Y\ #zW {R}JWQU3bq|.*HI&a)y1 (k85|,2/@™J h--Ig·pvo3eggf3ZyQ%LTZ`v?!wWLK奻z<\y '=ޥ%G`1,|DP " ?%e|7Xֆ}~W2a|L *&{|5 a&>}dJC\K]{c{㟃Xrc*ZPQm2ιC%rP@F2b[cnn&-gS>q 7 ~Y"ZCWUXaQ;p Ƭ(P%(\)䓠 -Og.r̀'Y02钵 dVu\rzU@O҄ 62inW'Gg|Ga$ O~ZEp {6%-q_$+H^|H뢿@A{2.^{omo,Aw" ~_nZOǍgZ.mQ~-K !ds_fZQ9!ZZ<ߝ r΃^ wրHw}pJTZ$riytȩM.SVKqBAM=-F׉I+d T@{p(z{jhBZ8VbFyQT?)K2`,;꨺AƑb~x?2oE3/+ۤm͎wab|p9ig-O-)kfVAY&mۈG *+]g JN  m\?k}q\?dU%=!)@^FEY_;fspI ';_/6'{p*1qo7f|#)C3RPfN+n 6HEf0D8og1lx_-7s$FAnqw$9dM0]\~IF9SsUmR*֡`Rᦊ;ppЗ{V:áLUr aYRJL$Fq8"'V\.ɔ.,`kh}>އFT>Gq"Yϡ &=sE]&o\Y)?dR!դ[H@i'4فu,ygYZ00a5e4a4cce8b311d4e17989d3caa87af5b575b7 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 22525a336f9ecce97cdb568b44379f0491541a87 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 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 e19d16b4954f8dbef5d0c35a34efa37f9c16cf4e e458cdde5cbb51f0489e40722af7c9ff04391a63 e6eaed053698879e00e1e012935a36dfb142a39d9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 49864562e8e54cd291c48e947679592174f2f35d 9d7d535d3ad8d58f3f29a36c74e6e9bc8a8a1330 97fa44cf51ebf82235b09ddbfd26ecc025bcd239ab28000270f06c6856bf561e49b9b2e847ac146b