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 ,%$< ]/]HOL-Analysis:threads=6elapsed=332.783cpu=1607.780gc=91.504factor=4.837zXZִF! YO]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\Q!bN}7)/"ĭwJ"zW Ba1 3" s1*3֦]~ݡ_c9ʃ߀7Ό7+^@>ɏq?< ׎GTNAFnF[0HRPvg%aH8DPQCO+e:tT".o*uQަRp} ? jdhLjM\AYrM0/š4=54u9I+O]ToDt>E])Ael\8F,Wn-\cB?)BgoF'u0.wS"yYc6^s`mg: =~A7W\~d k_(N1"4<Ew#z{e#U=Õg}}h𔗾MXqoYXaSynw2=6&Ck t+"T X,vCWBĜ9*jS{ jM pT؇4kEņ!XkzLI7*IW?־n*'PTߡ-bPi=q]\: 6: @QS{oذu+[5r(0񗞄Gn##&O-V5^hS\9ap՚8aPH%T [uD9 ?.(V;ذBwNId=*hQN"7Uz_jE_;.nx4 U#A/ȷWs(6IjōLeaRg&;0"/|)$^z(07ei*@tAW7ȫ\u<~~َQ@̬].1HNFH{hO-=єa%b`2ݾ&W4/]Vf'#a?l7E?aga ,A94 (͋9^KiC֗rt1q|%_ 2x`JZ77x1>$(/<\TkBtEl+i VCkc{;y" rƤT]u£r[B׃$"%҈Cn?;3?S9Ho:ۂj+H0r&dglʕPJojT{%~w>6hGi tWPO05;l\sCw c .а?󞢓>ͥ,nREIZ1 [gUv? ELAtTV5]fͫͲzSbڹΫ4,AӶPn΢=?, 1Vl)<(Q\`/OFIU䷀.)?b H=h^E[ p-^/|.2BL]{9˰H U$zea%63X؊L1+Ks ʧp /Wr䙏ZaK8%" G)F Ϊa[;U8_<E5h:pFJnjQ0=e'I[La\}Ld<51ʱb1նZEzK!1f=:a[+tQgyn"pkpew~;J;ojNϠM88o1 _,k_}Huuf&9"܇-"+eQ3Na݉QIyV=W ɂW>XAYW>=zc )5(%үC[&wQ_UZNC5Tn;]h<036 $\u[mܔcެӬ*Au>ej!4?K$sUKht3r(.p[ig@SUW}NPSmoRC΋1(zI e6Wn4"\ݲ x bsC~Ӎw}wƣ@^Y3TY ys݅rqWY@ =ܶ,iY@= 3RD -_c㊬́^i\_+4M$ 4]yCiGQlL=SS(/JnJU2 kKLkg ăck^j*r(լABd]G6c!f>~gϚ'jO"?-8$vZ B+&^K\5f,,C!z)3ObZ.D'!k `>bgXp`ͺ*$|P=-&w<)En ME,8q޴D$3% 7brI2M/lq%9-2BҥLYk7CϾVC[.LBrq#?QX@Y+Бrc;*T*Uh˃aQϴNN,]4 },VќQf5'ߕ]4iv@;,aoim` :Q[?(I’ kI^&onNKXT-ŕTg̀P#t@#b^I{+GXi`xx?3pGy mgFP- ACo=ze>h6TQoE%ۀzE ;& Jv:8 Ŗ4P 7@RMe h9;؊fw ~ ^2g\Ѡd٢"g&O߼)wЎ5{׿ 3H3Tӥ DCtX=4f'ʇj6uK-G\怞E" / -z'glGQwb qy\ha7x:rg^]Tۗ(;i8PU$NFp|?Ƣi\QvPES7J6*@'ҥѕs%ffDXB8 *7$ tҠaf+2Ϻͤu8@jͶېM-8nx)MMSb }g%q\)'#M[#IޗqqhS5dťy)իzHsh!A}"jdVouexzA5'q%}(TT,208L6FWey{y'i)2lHTH[;y LԼ46툩.JV㆖%{%wTg:XI"onY+ 4~Q Tq0Kl%=Ewr}RJfvCӺ;Ɗa!4! GΥ=]]] =hgNMTܭ 0)k)iԣ@=Odu|i[s>uJp7f$1gXwԵvƏD-D坯tCӠ‹޼P)=ZMHMr[F';΁q&ׁ*Ep"~*5i%h7(4G]G=,~an GBDنQ9:xK;̺]"BZɵ6UP\Ǩ(c|&ݚ7QY)TlUOGTy[j];vJ!7NB̔g%}JRH'dWEV[(`65|7R+ɻn$djcvA!M Ij{o(XO K Iwyn)ϫ~,'ys# ٶ09l~\. xc Ov_g@4 #|7C5PbjnK%Q++PG GEYKZYeȾo^9coU`]*6h|3mMSL|@cs{!Qtd{>5,P u/% vxQ:}hХ! ݽjE!Wi[nR_S^xQL֓pR'0 M"z?9EvˉӣSYHb OHp0l8ھdP41]9K<$sQz(h6Z>SA 2[P#ig;{3)wt+K]geU4ry}L>E,#WB;=>>.U"b7i8;+зqjo*fTl[_鹆 =OxSK`ͅ|6q%COr {;_uyP1F>37|Ϫ+;ZctGBhm$k/I<d#`n*\.YD(~F-ӵ GCn_ %h3'I^4uQOZU{RZ[532iw˽#H:dWHnO5PLl09+^+Rw,JY(?k˒_Md~-̀CﭧqdO -u<)a^T{n=.vއh*N60k~% *ޑ 餕`۝knlP6( (wMxY5nuyP]yE`- ^,h Bi آ"RPj!Wsq:X~mT|$5)9 GlO.tB6ZĚ-`WF˧_ ⠋{ "Wj-H3Je}e3 ƋU% G?9 pbrHdp }~cHk.%9ᱲz?)njPA(`Ms'>lBQbBnι ;GoRW1ŽϘϾv *ަXc# #z݂F%:#Nj/x[-`!"_׸Z3GԋI+L ~_o=&gJޥpGsDs<\)fAԒ9RwFeWwdVߘ݄ XDfTGuW3͸,`4뫑![Q^mًxJ ʉcV<^FF$Պ`Y`/WY:DC!EQE?;G},:8UM.3x7>O!Uf24Xod}-*#VsTX x!~/h?b;m3ZZћ IWkeq !\ 5O'yf%P V*'a"ʢm6|Tߤۃ1fdH=5"[Xm}9wSnTz:<aޑ4u#h뢟xh dKXrdmOo#x-D"If[|Mh,1/-殂me<Ķ7/ʠ0)1^:YsKUV:wogu4胳_98;.UC(.F m^kZdީ ECcrnWL`zY;h 9_ = x %Fs xJV"~>C&:LvS 18 6s9}G>" n^Ad-֣^HJ}yjVvRa kG4y6o"uK^\*Gn<ƥ6B賔 #eהT=YKG(`IJl,N%Zuq@JA9/nR >լbdoё{Pѳ+mMsAtѳ.,K4&I<l]__pUxJVilŌU ݔ|1u}d(I GپEe$2QOk":nWk~fJd1FϚX3R|IEᎴ q9&GH+/S". Q Nk]>ns>/bbeiW*~P)>H_pd,Ƞn|!rSoPX1ysjFtfC'><=^`hKn#^fu+r,lcs]gB|uɂd : \nVq7ndg'/wzL pWhZVLE_rfxˎw{BC4Z$|kwe;r`?wSRa%l??ۚTiF^+`Ѹt|Nl䎥6^=bJ/nYBcl:r.Jv !aID )B]YB89dGܐ\$aNU6AKHX ƬΨt%k FG?~Amw:U^DPԪ(LO٠~w 4NA֎)T%c|@% /޸w)jL(Ϲ2OA_ QpkIm@K.,x/i%߄3ݐ]B(($1'1f! ged26:.GcPw]r9ywK# O(N\'XnnCWj%&[.;\. tI'ԝ?;V }ROOҢ(ǘ\bcs{T{ձ35c4~:%4$  <։#5m.*"bkajKp07x(=Vz,X*6W0r_\TtQ@&x8"(*-'aiOc9$ ;k5)h0l>}6fտ_\یb`/tsxI=G5C0?tRxF„ulX _R{$? *o^ci>۽ 7X1kAuYwz]Q)V➈:˧ԩبP[h6XbΏt& a,@ORTo|?NȲ][|S}J tn0ƄY;>JLl+޻~9Fd v%Z*k--m}hrBu;4=Z9iBh%S[SvSxYRKY5Ve܉=#xv& T2z_Br[J*:BȬN*C"dACvԆDz*2@ߺr͵1-~f3>*J\l=/dţADT\ئCob7*JmI#SG珈 ^ٯJm<\l47tTߖOOӆp w59tv_gdS{ozG&p]dbC 9:1Q~y0D%2؉]o?7ĵ Y{=s_N"T/m'ڪ:,J $,!YG:n0yj# R#Uǒj!워|@+P8k+(,]"bz$7~re lny5CopIa<5s;=t|gl.tEpG -gO|[]F6Ptobe^p*43c!HXo[nK}?JD0Y헱Tj9>^qC/u ?2͵{o-{+zSJ"ǽlHbz,׽szї/$=u sh/`8/48tDg3^7y D5 Qzسk+g]y&.*N>hy9(e{4XpѳޏeQ%x/jj!Tݼ5eCE=eA ٿ+nTD< ax˯Y6+ipRObhމ Q_9lK_?ks)uܩ='\Jpb2pO Hޥʔyw+Jp<hwN^#|)]\ :>tk;HQ ׯ] qŽжdWL !I!^|*^zﲰA2LZs4ĝ}"(YN왏FJSdgc-/:⧧B~^S F[ڄqJ(D, A͂`VǪ$n/9TN=AR.CkE50ī*F_"\9G" ׂpEsHAmv5!#j, ˿JV~VToP&*Z Kza@& & "VrB*Pzu}g &deHTjnJ̨\c1w^ȱgh-k&:G}s -q'm NE)` !/Ft݌yVX2{I>w:/x=&{E-jjRY7K„׮sl4Y5g(,핯@~j*vq5) Rj7݃r'c:PY(ڐ)&vH1E9P0,K4u> ӡt4DL`+e=A)cCT$ ::^~oŮ^AHWsf7]|܂=(1V 3݌8sk%˘#r&Q9}g?11۱,}K;9 BH7_A`uQ GZN;gLWNleH2/Spu  XvGDJJ. ǡH:uԸ IҮ﵄_'Epb'b4$ӈčl3_: Fw4_d PJ=ˤ ?lLV|ZpAU4vWSގL%g`߰h3 q2 c /DuyWWpIu]9 ť^#Фf60ӰCn .uJw>~ BSI/֬ݔ]F}4Ɍ qL\<aIFϖe۝0t bڑ"؝t݇Ш]ycW^h. O)xKKp3lryygyeO\~ Q,q 9wrW"4uuJ68۽ %R6 ZU5ќzA^lx}:'VO kS"yaA~3 - *OC7Þ+]?wP'g_;w[>ѺQŅX/%7jjJ?nMGٻa9, k_LE 98@zf([N4IrGXYFu(Yn.,>H< nW"Fv&rk؝@.5m(iB~*MNog)=H D/f‘׃-f>J'~2'uL^q['qϬ3ތW]W`- [Hh)VY]S5b19 F}YvDHxa=!Rї+VѰ{F,!W>JZT:Y6޷xuط4qIIw⎆bUh/o=O7bbj Q>,ecܻ-}:|nҼ;!c&!C=yٓ6e:NI@dB{d-%TiTsI'a:EN;Lr/oBhq[U SaAmiҘ)/u=ȭVNz̵a2PXF|(QO3*9aCSߞ\1Br#Qa DӓE S8[|k[y6΢Ga(~723YfN_OY&+NE+Q*Q0|vj[&a}")O)\]o0C2FX#cc'}Vsz|jco, Z@)]7QQDZ;֊m7!9YW Ggrz˹n?~g)J EE~P7E\}C~YrDc m"_6@ ]m <2UՐ*>c~ʼxUBG a>pk(b̲HK~`Bl-:سF@4»QI.R$ˉxa{3۽;q|NfXFx-uQ谚HQK־sc+'@eV|wnV r^]}X-y6Hjq(qB.eй&xunPM;4OA.;*bLH4_#/Уnv5S䵝) x H?xoh|/y #JKʸ ZrqbQDO7/- p(|*6.kHJhhLVYn|Ə"+cWa_V(QfLIM-P;)F ֬c ja3埊_G,{BGP_#|e!e[bƯp,d,UkkKj9fXE4ҖsZc̓d0GA󔬇` @TW@335XiNp# ? (&6dTO?FZd1.CΜ3EqK rxt:wڹ$79u9Jtk`|̵^(f5-XT 0Dbue'i 3Rh`n-IV<+*ђHi֑"\YvI`#سcU!Dq"JpFJaxe.I,Wޟ;B x6O2'U'4ĢMFGr; I+$_CΟA·0m>ZhEFIT_04 c8= }Nww}uB=% ;o{SҶ(9!~h[Wt>ЦV7zPV閛,a0xSL-T+5(i(RUS"K P WTEc ZK_x b_V?ܽQHr XƾB陴 (9T.mҒq@Oj HjdfnT^ګCpXXAXJ3+PgPr,A^[Fg =fN\7N4"]qJ{BÇfKH8I іy`'ɇdJ'2@V{ۄ%ɢF!bQ{YS_F1vbK"HF~g"ǔ Q?_DZ]Z4C 0oLx/z|p>Zվ&|6N$u\_)6g.sQّBcc4'K$ڷGv5V,t1NށZD ?{8;%M랯h9R@;4Z΁8׻GejV8$KT&JpnV7,"FaQ2=97=qQg ,P좢(i&Կ?ޚ&:*Mu?R;SzubU8[k|J_0Qj|-EE ѡ~%0$g NuX 7T}p*-r_UK?Sa-;cvf@Rط+8~ZE'N]>:/[[L!ι`'ئ?ʊ 1O>BS!Ӡ2l1pe \/!z7u1MQiB  < ʎ%f:5 C+=qs=Gf%ɟ,t.gpl'Qkn6{F<龟{fY^bU}k&UK;g9% \z/c՛E(e9eBm~jLs4cད*F+ d\#[!ćkbqOmciV<߇ p/FKĐv&+`^͞h3`ˀ:<#pPL c #6k!dZKNNk4Ɣp7Nnd_/@6.t厸썸-~f쫰LVpSSQMd%_ߏw;@;FycL"oMGʃw8NYaTp.4W5q3+csYP=Nt́MCrJWV_y $6CÊ"a  Y'a[h\8N؃?#<H~fr!Zicn"DVWFjy{,ixrfF֎cWM 523-jjç/+tɃS_beO^6nIϹT~lo-\,4Rƹ=`r,$⪧ܲۙRpّy9$kJdwa,n! [?(lws]K:v)|7W<84Xh),p1NRmDgSUA7q:nV)E 4J@k$Յ"&S;Z"X.wJG`OV$y975A@;Oyvs{a &NmvY/`!RodK# ~F@y{Yå4GX.{dᣕ)a b63vk-H1j17t-6%Xq,)=dPD+=(ŧc'8K8`gע3/?n#ǘ@-{4+WCׇeákl~=^p)B3;Z"|m`sT^DO58TY993QhCE=@YhVǀֲ♶ZC9*t Ñ_Ϡ 2ऋc Rܡ͵ ; ~DebMFt~ZsRa.BC3vY1&3+a^Q_Wd`ϙd^'7ƌ4\7:q%ZpFT<!9#Xy֙-ȟނ:AoWn5uΐE?(QG\MUGȚz` )C1okihUw=3ʼn2lvw4>5Bwmr=Qh'w?ŵ aĆ6U ~pC|{'jddQ`6DCȆRo77ia~76YKIpuYUo0|JNZy=g򼐘G#]L>bT򒘾KmACnDɂhV[Ш4)j]g2.&phf=X0Eʇ03f*^co򗌶|1$BLwfuFsıIZxI'Z2uqPMjT ,5M(ܵ輓ymO'NWopb]A㰱z _Jz؉t\Ś8'ޣ@}kxRkpԥd>o kfJ* HB1`o=nCk +r[@ DVZyYYpr!;!\& R#R\^I4jҬ?[{$ye>B].ǤxK@Or 3l6,ZUvs$P2 [n5Gˆ&Dܻ@2pi kIA{PѢnw o<>Q|(Lp<`{e\o`|6xLfHQT*6ӂ)-|݂)|9 @@>tj՟/%"q XV2,F) J$w$~.Bqr@sqod s/_]g܂2`8iL+=..S1'au]TКWƱui] [};OC-kJ+ C]f=SFTW/IQ{v={)e7P()U*=ȃaLPnU"8# 9EOc߽u`VU^%1b&}没gYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd4=cYd#"NX,mc{v&_FZ޹>w; j%amh3ui$!x\k¨xnVyr]:` yS7&P.Vyicud$dPz:F[ԝI&m m {/<PM-b r \~do~42'/T6,U3^[]2 0J|ye9Og!ʿ'=YSj >@|W'@GnQ;͒1]oɑWM }8a@@5\Xo"tKZIƎ`>-ӝ:@}1?Fd}07vmaմ&7̘{x%X-e|!UX$u P0Ş4v.HZb[/Y_۬7|)eҢ*"ĒGoeN/ך8?Q:D<@"ш2vʂO,b43rf,AtMtpf|V*vRDlCz/+YVsdS!|<9o7$Lkh}P^>.»ôgefF"FG?<2ʨZ(0oEOObĘ}n,V'WzJ!qIIpoTiyVonhRND_LuvY'wa6Ad`!k7ȡ6ns瑈!*~Dq_E 'V.HJ((d]>0Ǝ 8SHtnm'S1ĘUo~hD~yoRBDmCER>l/wTUnֽ=.NE8;y Yͩ~@-B?II>R/ X8gTME9 /zus) )țfuu+m:&{&z:o퉴[A4ŋdBJ8_m?ap/+K2#U/@#7iNϮm~5@7ws cXnb]"ro+mS.a^1UMA5 L:)cvi\f/&j%|v)ͦ{s  _Fh(Jc/\\5/OTz#A<t?#£6 kPSoie^&Rz'Yz`?=J}>CI 5̉)/TɆNjh42I=-UDZeaDS 1Dã6H@yzp @.m. =ԯ0QN7%PǬUbx3YHGtlBqG@+/Hfƥ2 ˝>]_ bnkF'[|#.툽$I`t5JwzcI˲"o>#(f΄|̓ȸL"?߉5GU} kCQ^z^9Ne8$4%UzT7AYEbn<)"u@tdaרMuvLY[Hk{ 1OY(IKSX(m=Oliz6c&zP[źA>JpԭPJ% "x K6w'}0cVcEtE4mz9A3}H=^L wT&7"OcwᯕwW߉^9YHn)a'$(G>ձ9N~ogYZ7zXZִF! -Z]ŗXi%B۾-e,9m#7৅JXC'&_m[@ |4%ޏ1Zۭt[ W@]ҒSVd x?41Jb)[k\ed@-f aC@M% #PE]&E^d0Y׳8g35I}X~׬e#[n*!3\+ z8P&G]c9PtOތShP7HP L8dIU1jI%J|đzD!5g+yȌSnc^6 )P" i@fPCYvrqvNHM - UT _n=ndTSn\>E+W#Lsx]z~Wb Yf0KLG5E2mcofF!VQ;ѥ!)'Xdhf+q Φ(F(Pe[E2zƇ.Z^>2Ŧ-Wi%U bS,rEddoo_y1jJ[=?x@@0C!pSZ5{eK`S!\]mB1Ȫ}*Zp*Ȣa GH$q wU0MBߗw T즬H㬞|2Sh\򬘭7 uºي+bKkM*bȨ\!7Mk:k~53'"qD nOIvr;±@6i~)/Pr9bz6{0u_GӜYD3exu-iVⰪmsH|%?0n#N3XXZePvѿ%0oFY7&VfL" ;]ӗ.H^{~-7 l,"uгAt?4Q:?҆ 3<i!ekA*zNϿ b;Ħ7rd q"eR;C PI_ WDzzZ>[J)7^vюx(&1k'%Jo,[kJ#gYՍKŽMsQގ$00=q6rG&nH̴b^̈w--eӐkXqz!`Fc4/p[IZ\oOWp_6~qy-ЉN WTp/8xF{bZ?((QͲbFm\fO+-d\~_~lTY j1Fy !o.J2?_ePZ꧟MI%`mCV-YlԹ^Y$E#sm5&e5e @Yѧs,iy=ᣵ8)Y7o@'d::κz{LB@39eЌli/ hʦSz7[X1<жk݆ bC<J2 )X~rEm&Sqf}&:4ԩUQm}$ճqx+8m*a$$(%FbT*H&ZvD?Kj9;ɕ&365?Q̳rv=LbR$*/CDG͇8c-C_2WJԖJevI5VL],!ax<ȤƺD!ϼt5n7eC1:)? [kR{ؑɢ0QHy7{YKORԥqjԚ{NqqƧOd.A$XK3̗_ed)!S,zZ(!4ʜd(&N".+ݣNaR^n$ Y[P2A/!#xkGӣ[F.FIҀlf/nPFX4+S16N,&_!&b=@׉IgWDIͩݛjyXY^ta[}+O'JXFƩ%:I!ю4W>hO_\tD~S1󀠹U7zQ_5Rޯ}VF8x84=]G2$Df[-W֛ a7hEįv<ƓE-.N_݀{7UT݇6{/~Qhyxև8>r]KN+<'.'-GT" #A##B6.EGKr}Ҕ*x<̎žAwæ,̚Ι"`n;qF$@˵;;hɓue "V08!iik䯽'$bi  9-;Kw8ZTw}_*QqɗVfڌ7A:d7[K6bW% %V6"[JD 5#fxۄ6(*b{07ƿ9*_&v{;N ;z׉9An|qe ތ4 dO8DQ+yWUϚCsˣºZp" hyb[Q^AtQa$+v(Si Sz nRcFŭ"Ԡ`jf=k~c;ZkU@ Nm],=hJz c6B¼!^M?Voȱ䒅=G".@NY/xoԜW@`e@(yx5?ܛV&U{bS n]0 0q$zW`)u %0c͚ s;TPK񋧪K ~.j?yWf~sy ]۶S˳%Vqf@*p+U\FWJ$H]sTəb j|05h z2wJ"|:=d5lΥԃ LC+*&C@oֳyąZ-6cx9d+Oݣ~ 7gp8x_J^qbnmm%(v=xax&!CP r ]ehoj$4+'!MfMxoS/iBS,J|zY%hKSa)˄+ecQ9Lϗ4f6Di,,adݕTi&mVn&K={"M,Ԗ/ir 7Ӄ/zLX,*8+Jh;NTeE9lGBQA~ t_o;])@ f !t f]bX VRNFS#M/Ҹ!ttk_:8VͳƝQ)ǵ_0 Owf'HG"Su+ Yߍ 8MĻKȤAiQo~|`Bx$!m of9~x/T)2C8hMrmI.0Zi/N!NHt>x ̻ [-.9G]ljk.QM;E@/mYUw[ p] u˶Cm>nv; 9*޷yfC]NZekȲ'9'yF͊,e˓}o:t\7n@L(T)]Q1?o<kvwB28w>kS.1`g4E цBkt'bծU { Y3L[+3Wkogi")2{󲠶BY툅DsXiqMD-3^d`ܥ Gшh[n92~ Eָtu1pb*veȊB{:!r#*;AAS$kH]Mr5Rnx~ȷzK@](Q/qǩȌ{֋,H 45~4?'>S3dǀ!ZÑ2QL.:M@B̜ޠ=-PJǚڱ#Q&ÎIjF#wʖ[`PqFkk4(NMt[&lc,8nx-Dkh,fȦ x"Ɓ%¦ܺzb:-CI,V*oin:3[,]r,*Z 3Ԅ+gkk48vaѠYB.KG*}8SۏP"'L&` ҇NQNBIwu^H1򂋛?R񣎗[m.5MzԹv[G<[9*M UMSQs14Ʋx~'w%* Aژ8?6MuoJINrv3KEK 0<ߵž+ovBB㉢yjIz^QYچ\urt:w8< DaYH-22ҧ˨`B늼$n]?S+%̙vyd_;rO{pw8@QYu8~:OdD&ūkO%O$k)lDË=ɩ, ƼRqՕ:V04Թ:77sĻ A!pNBN;㎄򩡻Wb$0.z&-wWMݰHR iQ0R_fy >͕ԙq Ֆj" W{v>_[W0}hhWOv,rh異,d$`#-f7YƉ#e`m`Qx~$rP  P(5oklV%-] ABY)ٳ3v)f ih;loXOYqt{'- %ޭmz^1eX@b֗0?Z%z LZ֭TYFyqUP?Bؗ K2hwZU͔鎒UtcO=4 A.49]ͱx#@F**v3MB |E KQ:Po).s1Mv[3[~hk^UdֶsF8!Õ˺ zibNz,(C IQ P_! 2S9Dj= hk@jW:\jSeK}T\i65E'{ mi00OḘ73Ƃe@mnjk%dX77U,Chs1QWI{ q>&UQp1],TSh]T /cny;9ZLT6~1xa`͍`٠R!2Dl?0XixFTAŬD/ڳQ3<EVvY1j^uM;xлt˺v둂bi0Ș{/DyIWD' efZh:,_e}֦èU/Tˌo)0|s(,}<({F 6ǑG0 qy;F,ohlΟf7=gF#|U,1 ã6ܫ D=g49e4ԥ|lN.S'jKyݯ`9;pb4a)2y+L)CpQl4)À%ۛuO=hjy9ߩ]d4,^Sꋨ^o]cկA7J..&oЊ3+9"KoD2N۳; 4 6{Ŭ%_e7L~Q6(+$Pa3gXM;M)@!+lĐif' A\SnbE}ټuLi|0n)ㄭcWܿ>N2`RcQ3%&`-y 3m{S)1Vhm]o rl>ڧ gҖXK A12P~=bݝ@pd2x̻Mz_ָCH=,c#&mxi52v3yGd ٮ2- Ԇ+1XsM +Dh$JLׯjmMݩ'_i02n.q١j4 K{m}xk1{zq@'<+EPOl[[zؗJ$숞kD*А>#lROm:.6x2edzXD2#J89N>aiHQJ,bѶm1Vsݦ3l2jh1ś)j OH\'5vXPFI]{3Tb:YQ@)oEԒLOLi|ߺi2x]Z-t E _rj֙O-T:H&8& +h'W?Dدf >9PSma’:W\\Pܽ \:: 7֐5MUB> KULQ0IlwF3xֿq΁F}c?c^m!saNj)}?B zr^H vxƭUz'[s=̛HA"h?̏i5#e 򞾚ma3+H })4l#iRFv֋}gDU>,˵@P!-f.`Gn~J +]AiA>Y ?]S&*WIn)œCxIƓuRk]%={=K~i?{CStdh>WLux,WЄI xj jsl/tlǢ22Ѻdԃ+<wbv IvKGK>Ѭ^C%>񒵚Oc]+`vEF4 Dž[!ԁG&döq0,Aa4%+%wrA5o7#px0 ܜR^#1J5=])* pP0BY>3IT~P{r_a)NtgDÑ e 40 EA&фxEݜ%u9[ʨO[TT6"Y7n**1kʢ~n SJo[Co[jQ曩,y-L#edHLWQqL ?T8ܔiǦi!N;8|ϖ)%zrn5RC!GwQ1Z3X)D *$eC(# :#7 gt)qǭ}yMV8.߭JI6fY*ZŅ^ĵprORjO>mنϴ+F>Mc껯WV@Ϳoԣ= HdӐ#3q@ZQkE3h1/),13\E[xcx47 krs8 3B͛&rƕ?(O ;>4;m!_IA/EW:zreSGv(7YcmrƜKP[y +f~lgʂVx;i w^-AQ-s`]d(ro|YV7DǏ6<DYTtեN)_/IsTZ^(^8~*nå7fԂ|IP2R{xȾD|& ɵ?E cQ-B>+YN38b%2ybU]CaT}* 06ʃrГ53I³$ p4yލiq+\Z, _0\Hߝ-8ϣ8֋f9A7d<ڥF6VP`q]UJwYٿC6WGW4ȓ(MW6\*(6?jB'1U1#\q EǞ  B9(5SMOWѥs/8K{tQycsIڏ+j+ E0/g҇qbh&SOT6|Źl ]2gK@CmS q"%wwՄ_8BB+fFK;qzOY͈}1aČ@Bi uE‹unЫ Ta ~>eI"(>94aCwCƺ@'y9j֎~}VM׬F D}ne M7Os(s6&}ڝzFV`~gTH2-]9bi@4|u5reG^ԠĺnU*"^>Zүs`)E:xu]WD:6jelm B-80dyFbh"F#}aU#7מTYu.{TSQ4*[/\qÄ =d'8"ޏg<ғ;8`GN VktB32e{ n-6IUX(jt' ^F{\.T$\cf9[uyLoK("=[k44,Gp$ׯ+lbxPZ;Gk '+$G\3i'&qٱ / o\?f@1`p^7-\l9]SHcPelQ*m1A1uل^KѥVVIsqe*6dk"\oDne#tHOZE"b!pE?aDR7;6O3w^>(*IRsހi^ ID:e\?D=k8wKqNl2%w?T|Ұor+Ԃ[<]ElomWOQL)|]FQFkS38SZE#j(6%9M7C=d&m{j@UlC }:C V9F)=Wzw3[9ZҴ/x+q}nQ?N"R}_]Cqqo^16BcMcq}f%3t& h3ݭ?!@|j6$8N4 s&|k.'W2ZLAbk}n,i.o5B ӈkfvy#(-cN ۦpY~'u.!h֋~g<FXH̐хG`b:sG8`o4A&?<227i (Bkq}k VuVj,g1,Wp,2tF+M0sYSl4XbR:s%>nKO44i OXi %Z 1oO@c2ql\*ُ~A]FԜO-k!}O}1l7Y: ?uN2gUw,qSE@>Z$Ź%mV45A[07 #/n $ snˑɿE~3Bh!W+Qh^U_ uE7Jި(㹈U2txImΒ &Js\۱ <9-=N71Q8d4T 8@#z~{VnX7*—ˊE䆦)eу&*t*pAo#kw[7&Rq LCZaE!I<""`Qޥ bh:q`N2?ѱ=cp ]AS}*pfJYGz@nӤ%S}c=ʿ'O[P:㡉Ft2`Hp${OSL!sݛTIÎr/~Jm۱![Qvj4R.kfRg6&?qNc &'ԒOh 0gL R[7l)F&;JI渻Xz EN1b5tcїqy壯s'6UQ -Lsest z 0F"`˔6:+Za@?v$Z, ]*E'O5Z ϕ@h'gS(42-|٫q/ynSaCbmV|= $rX2 "XJ?\eׯseص _LTr}Ed2ݜ7 1 n̴Ɋ܎)^=fO_Dmz&2]i[x. m}< tĬ!x'$EKb|[BS~ HK~Kޮ)+$iO!۰:$)v9yQg/ ΋_fxۉj1x%uk4;0s{ f[rJ+hTe >@f BU tʔo߹Ԟ7&3 y%?l˹W] _CVavphjhe~=T-pZtѣkar+`*T+~>F,K,UIxA۹fAk LV?^ǩ ya֎)kv)?u> hN zs?*A(vZOl|*/Y`dXx9Jsfe;y(d!j̚s<= fmu &DFROOϠF$ؓP4QL7rzɲ'.J%=j%e<޳71hlhJdl 4b k4^;FCNI/1Zf7VtDw F\M XO=1‘l?nʰyu) աMp)6Idw#f W,l qķeƧ;/+'o$o15D!( =H-P-x>EזM[taaUue0nxd$".2rMP. 4LEt.26Q yK YbU#_p[zv% TI\;x/lՊ%nE×C¢)ug4\GN &Y4d֮藺ULH&F8,L#x_#{QL--,S@78бcfˬukRaIpDA$5GGJ#r"dvߵjIlhscMr9̓-DU ٔb֑Cgo\80r8W6-WҘ>, wL.79lBsT'Eo3bwqkb;U e;v ms TA6V(\{@LLr}ñ/=/p\^Rl٥)%#"`%CУ2͂HV2fZASrZ~?э%ߎ# A"G72,l/6^h­^ I# \#3cÉݟ+cYr@81}38POcSmr|H!AǻN<|('6B681C> ±`ׅnBikzuj^}8ҶQ8<\;ݼ!+Ӕh[No 9}Jw/ۉznPEǜMIP]r8~w`Ҽ?IcBP4_~P6Xc:V'A|?o}L w \cR!N0+TyEJ#$5edKM{D띥q:Fu^6DN3qV@Z~Ҝ|(Ge%8;bbK$xwI~\vxs@9װ{k3;̻CU~A5n3'ơjca yI`Tv-3\U.>'jE !pՉ_Ӱ{ݰW; nց^w t`flT@0ɉ_"tuU\0 i\JzCF=|D1qITzXtثl8O9phf[3*ۘp|;Մ!^]s!|+"vcY]<Ț~vAÌ{%$u| KskDKclTEXO >GnOC>Ⱦn>mlJW Ջ^R8i(Qj0q`IN\(>}16s _.O SSGF]oW!K)RJ>gODi/DPnrfk~ak|as^֔䭎 P (7Rd-qf'uݦԁ{jO?1Y+QreY0ius0$O1= Qً۳G<*Stbu*g~zI- k:QA7t:1~MJ'pȌ[f*VhXySnu1!J)Oً-"pl}%vYli(euo cMQfCQ,Nq_ fdxAW?&[oQx.?5A=;n?o#*u(A_s8\YQ#%OO!m}q3Mx>FmN}R:8rۦ3nS^2`K%D:`\t |m)UKkP-ó_Jl] Lc`w'(&#%e3,L;`4)L3cGkosEs9 YO$栚u#؍S >IYlVa=tn<|7#X},j@p| p x${q\";rroN >W,މ $(Y]|4G%vg,FsJ-4EpQ"Gc܂kV/־m"s\$.u;EqEl(`vs&(n@DjzZ!H8EK+IMO+޶-lhNw1;Ǥ;WReTqUh}4SPS1jU&V*eYi78qY]/*{ V9ʘ*[k-wgA=Y-ǝL &q,w=mk*ַW*ijAtDo[>f9| }.eOMmҍȁ0n3Y%d%S[ި/6T m 1)4(L>(Vg H/r mm)ڧ/R"WէF3X[2pkd%-J!iy5.F9̸xr18Lh廖1r\d٥<^MmpP:t?6=Y_ sd7=gk/t*L;TCo)Wwߡ*cGK:x bL?y͖_W:AhC'Zۅ&ފya1FkߊAn@wQrlַ :b5Nx^gHLԝ=7%->1‚@f ֩:FXzYOzB.ByxIz$VݚF 4PbiȽ(D[%0{%GU9 j7Q)T*,hV8 *)|E9,K2{,l?*"aj@ C^AnEc;GæGW͹h|;th _ٞFCZJ?|^ok-bҽz/DȷqC"pV D&imV%'7nb!Crm0 Dh_a~Nn>Ƨ&Ap ȁ$]GfiLC4*.#F ;s'H—$$Tű<9Ӽu j J`w)&" L'=#:Y@\Rl&8p:VS'}+~Nsp-k*և'HO=@3--EXp:Ӈ iXRdޅcjM\}ϒV|$7R k[KZ.3iH ^5cq)΅`C+W59dsձa`lԢf5E kKٽfQ`cfòduA>Q6r򁝕pGܴjH?`B(v>r{4 %.7 šp6xMuY6 ,!`.&4_]z/.?s9j'Qgo#_c$/%oh?G2b XkVbz5[(=V 9'goR d[Lu=OV |]0_m͔=zA#XA-,D8R#:[!eH N|7)OLĀjVcEq,Z(H.A|cLZ]D_A}h@xw5S5#3;3S_ƶ>H-Ԕ7n45^2 H7XںFZ*B6qxzm(fU ܭ_lt=^b)lx S=\2%Cj;Ȏ؋4V2s1אdiPCYhX{uNi\7 q5H`D+GubiC^KH#x$lD$=x`vp[m tgLn]d7T]9v)5JKa6P&muZjoz񊇡cq- Jq'w]T'`p5kmH/]=ٔUg{?t^җ[&ޗ):9b6șqRX:z8XAG<"w|ʄ5ΉOFL67A.g{B7sR9 4FZs<ٍLNP"ka!GYƭjK,O(}VO穿ߧ*?m]W+S`=њ4<[CQVS~ˌT$zo&lxlx.GQ:DBvĄ $adv^bxuWػc}J6x]f=0Q-#^C9#d Cǜ!H=<]76,i& w3ow*` h馻^S{ M*K޹X P4K``?#;<6Ǹ8}ݟc<ч]I ^u˟nHwg;`WCoC{FѻUp-@mT .[觭4 <"5 Jҥ^PLUv71u p}+K}tf66fo?󶑜 *mΘY{,>:ڳ`~a2aR$8vH_K(}B&8b, @e}+n1[{&:F.b5?EҧHZU06~qK2?sL0(oE̊Vjty kZP,L י}4kc^BJPP$kĭ@h{OCy#DEvhG|"W0K1Th1:X)zȟ L,;}Ϙ,:2J| C4ui)(qN1BϠڦQtfjHRl4k2|Ғ8hB:K2iDVjw3<0Bai`O/.),r\h4?Aq\$mdBYp(z8wl^&7|MeTsr.s~Gh޽a`" ICȧx] AW-tin&olaILUNF{3{3)߇I O#C[`4`ĕ+ \ zMmqtrqaaQ~F'[´Q[=׻oH~ׇ?TOdfO}F sZUX 60-2 D Ol.G 8ЕTd]7yW: VM& d;JftgxoL)8ڳGH]ը3#OS߈nD[U̩yΪih-} ?ܨ;@--WfpW(GF @Z&'Հ25ɲS* h|%>HBt.},̏;!;;7vDM{n:B '=sWE-l56 -"4NBElTUNAy'w*BHO&Ȗisrj*ᗂU +N1t~, o9R2t.W'e?1YY(XCO|8aO~F39ŀ#loT>7Qo%`^;=iMZN" Svuʬ9yjR9S(bmD@4^-ϤQb`L'obW{clp5_0v5랳x_`9\(:Ka%.1jQdvu.O_()(]k_*z ĴI(չc7W42C1yw@D.K6,Yή‚TS/mkŴOLcj:PB h2UA ՊJgppmԒ`0zg2;K x$o_\S=PiY<7vY_ivVVBg +Zv/'(!^ИQXy^qs3L e 0kls58[Mv-P2d}Tm| .o+n[Gܭ*xKNh#$xT#wϞQ7 %`;ѱ Gt kR8毯ōTiFѫL!s\ֽa[B?|YkوӶI7ix^#j <}I|Ź t*Rbt}kݭ̇,siG *=GVga$ ##wF Na,\R$!A>tzo_Ï86G[:K,! 8) Vu)#H)-M $&j#7yza%ôg<"P|c^T\" ;!wb B?:").MT2'iñ \gհ%ݗ" /HL|XPۙOw{vEa¸RNAd[>ɺ5˲ɟJ0 o¬m r* Hz57.<=>bÓ*NT Y2`L )o0|uTG(n*3+ CVCՀÂWj]Q֍ q@.5ⅇ"p$t(یw{\OQv/q}ʌx.*%"k*‡h<)o50jhXVְ(/V׺k@W.Bvѽ=Q }W\|8AX`w*n+PxMߑ.ѵ+fjbbAGӀ8 0gbv8h,ɾxEp5;-yQjPI7{ur^5)ڣe[Z忄rbp焖hsj,De[ou~) Pkq"I0 <suFp{T=Bm? :(s;ǯxVud2NJyEO<[)$!8;ζGv9Kti>[”׽1ؔ)䌻ѷTR+;#fsoi6ap P#dx _Ĕց?s܃tc]kl9`@58+$U1 V"~0E1ıv!b&-[i񽦨\kfqhfu7 aE!7;JFZ){; 0еC{7@6A)+g\ͭvM\xsLL`5HOF ǖe8 "Q9<6T$ 3w6{!h IN_N EpBM藓GhџA/Z!A^,Kvs%A{Aʹ3[^.l%r^}%V8%r ^J @4kG=UEߵ^l{~u5]vRBqbv^:rSFB~#!us!HJ+]l ആ ; IlG}$^toi ϴ+ ܏_. ՗ "9ȫEvy=5ad3][{pmXXA91D0J[{>?l /\P{enV,ATq sjQzgo4mIooIqKH:CUQŭAT[? j))Su)3Id6N\/h]%X8:qL4:M*Pl؏67L;AWcى=YED^ :nTZ* *oZps;^ڐmGD5aɡD닣Yɣ[h FVnn׶?A`&Zo#ᩡ(C3 lՕ~ s`M<S&)!Nq#Q<\ 1“=i?8d #R\&ZW:f-@0I`gHU$^Jӑ1P]s؟BC~*W&[!i8]{P-j't2*{\j^.F[t=pI]` kFa0^RϠQtRV6M{-Ȧ3Aʹt.EIJ;0z!?/JK]{.ܞ==+Cw>Ƚưk,Uޯgʝn8-#YRPͷu`ګ)N6(uW!)^,씏8i 9UHyG_,):ϨG>F=AB4;@WB[f{]`ޠvKͦ`{=M='{%}s8e Ɛ% J\ZHbEK<`sNWKܝ "vSG%W&Bvqlq@ Fej_5DGQ|5^ԟPAѳPijwP~ʅ!vts#4f]Vd~y@miDeVC9_HR8{x%}]|K[f" wڦafexMP!2iɭW\)ThnI}L^;eߛ^\MTSB$ 5’JZӂpՌr;HF$=xn!U&߆K*4{P`;!3 %SUqV1hǥݦ4A,!FXFWS^Uz7ܓ/d"iHQm(忎{ܛd1ɿlҊz)>DF'ޖjfHBki\N"_‰hBw|:4Y}Wc$8n|Țnܠ/݋OA  >/0# 5?Y|dK%\7iIw)/lve3rQe&" ¦uy?rH'\ArC+C$!jf.H_j}$|8B_+1Via_VK\6[Yy֟9LczjJO!'[Tt3N͉wm y;J#Z}蓄Wp C^z Kl*FNiY# fDS8Գyjs&JFANhS^+ґ &/5i~׼m2hY1:F)?F_!Ct Ie$^X:{9,m;m̿؆ ֟cI޿6T{_%@οz{l.Vq;r} glm!W;sbPM_ 0B%]$FakLݼ6*O.+ə8S`q{H $w )3>'@BE^OO!`*Q{hPz&(ׯhoC Q ,oKx L-B!ć9F>vBWp!K5pgПH ⷤ`ك/Nj69[Sj4iTLh[]mBAE5.FP \S/_Aƕ e{A}=%PMf׍2* ZMk(ʚ @FÓ+!u MȚK>#=n?/8P4u) Df} Pscd} /r-IR*Kփ\4=ي5j|񤪬&U~nʾ+$$\2Q)xp!eu< ,>-S -W{tB$4hMe N$g2S/*4WMQ?9)kO:^im`$PJJAHvgwډP2ڀlE><=_3I;)>lX VaF·|/^qD\:avq nRG=",2xpͧX^#n`6[2=c|A~=/!8's!wESM[ZIr "kpePf@dH܏yJ10JP"i,DAΆ4dZ%$0B9:mŖeRsw\gl%7\Uq~@xAMpT[{KO!ZA'ikDMʌq:1C{:x5ޟ4x4Ƈ= Blm;m.'vN. /,%džkr(SeD[ZKr(t>ōlMe8j M;_N@Dd5d$ӊ㚘A{e M P[ κ[8+atF,^ʹ;MW+I[Qs_kv= ,rr6h1?=CpЕJ|ۃAzke4pk? V盲н_rHEl|k')F29k,iDdǻ-p[2Bb˗_ %Eh;p(yA!$|_gxLEPv> nnTY)Wc}ZXʳYvn`FJQ͹z6p3M'hr[h݌GSQщٙyzwG}o_8YV.\=.X8vm(cb`t1'}%p^I,beִ B>4l&sF ~UBbK ,+hP\e\S{q)xk܏5iz]V2q[\ԲKZcOmKIE2OBF \ͥxƺpC^M?=*gjW`hjwH?&w;7R 5iTdv:l,q@\6&Gb!JޡBY6 '3`#w䝬=ًL~͈r}ǟ&Bp/:*UԳL5{ph~_rڜhXm[q.)3y{1qwF<:ձ%ljLtlbI5fkx%O'f!I?|;( ~a MT{Ou.i/;E6{8ۿ䁃+ ֑Be5]JS@&#$[MA1rt6sOf!h%6@O{"MF[]rNf@+4kgk4$ToDk#V*j*!Whc*oH3"Ѿ 5wo[n`rXnw/TZ\X oQ =hYվ\j'5p8_ʙ%g& bCb!w-#3r1Ov l'+ۮ[Q uV;}^Ho{v$kEm{6Iwɠ%n2ȮXtm !i`bs pE!.Q7 b>Br!`CYUr쀖6{h,lwS%ī~Յ:0fOIQـV"d'yE"kOr[IÑ}k6:|臰2 f;Sg2#& [ /A6^ֈyHƭpMp^4/5j<<28&$mv+l@21͐Ly\,ECYM%ϸuTp`2UvdYnڍ˃">U; ER͵;߶Y#ZB3*0f`N.\fP8Lv&cz}Czcb֗qR]*sp{ MM^0y??2Ru[Z cĦP,7E̥yү~ M;=@j@1'^8qMj*(Ll je(ZLz% :MqM3hqs}\" Zhw)~4m 4K+hn }^N~*ꞃq1 ː{_vΞrV2Ljn⡂̼:}S- ް꛵|qF+ IImϱӗq{qjt١ hoi[Nhz̳q)uJ~29/ڲIM)@w;N\a 'Sf-:Bz="\p]PCFWHl* {o uhSYIn@(&bv|UDP ^vT@EFz-ŭR3F%.G9 = IoVp{Vp7@Ly;=Eg LJVfۏ[[_IYUpo >Z{WLAnԳ򺦁=t톑4iXpgz@VoM&=TB!X" =Kr|7x ؂/t GvQ |Kxl "瓵Yr7j 9ꅶ{n,ᯓk AT}b)\ Ç%D/T2"vIq2V8ׇl_/տ39ji.`2YbGT 6~ csf WUsv">d'?dd1oD͊[Q_*͹4~%4rjJ8J{vUwu=`VjXsͲfX؊[/S3jNx iXMHo껹<ٸH7 譑apeb,&.m,֜[8x={Bm_TONu;r ,ы=ٸgme>O!.'A<+ht>݊6/5=qm Vwn[ ?R2܏@9~pfGqŭ$(4o7"V;v=S-:<%f)Á'Q+gKcWcP90m| ͌=&!q"sbc՝.j ,Uԗ.+z,-1;xd NeW?iW |,,қo-+el~m+)q~J_̀8877OIwSdzAlJ[V+esĽDus]B(~6՚dySW.{h 't$ $[>{H\,OvƗʔL.PagCN9xDn߆Atuc)+ULUK x~乏Ɯe#!JN7+L!0U+nJ ޱgYZc4d5fe817560f4f8b8661ecddd665da79391dcc0a52852326379afee2cdf8f94e7105ca039ab9f98 4b399c4375d1ace873a060528c4c23646f4c8a2baf5f96f286140ff177f2454d8826112754fd7bfb