SQLite format 3@ .;  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 i't$ ]S Budan_Fourier:threads=4elapsed=20.560cpu=55.644gc=1.1567zXZִF! Dv]ŗXiɟH)0%o#>T%3tGĕz]?xSah-j?,Wf`i{# RHȖ#NF=Hà)&o}[#nS pEVoÀ53 Nb~Qpt?)jZHɀ ҽ8W~Cm;%яJoȰbVtaA-$riּ|h[+f,w.c. {`8 'qvCnK~nOFfGsi-RC*^nLTmFh 2>@RT"g]f9 x. (N*syU"מ[P3TC9/E#¬lD5G؝#GQC*|]fߤ'y?#E$EaKq/|cRđ)~Ep߮dV|W˲G;c8a9D>^wV?`^ /.91G W ؆Q `nC;쳅$дkZʬ@аDL+-i obcb鼿&r|S:(SET"),`OkW~E$A[o~2)w+#;y:{,PD j#3˿\F;b+ KójvW*efSfRCqZ@q#XHh9;XHL* ?3 |` {t 2U?D Q %F 99зBLwTInv30kz'p C, +k*ρ4`%r,rBV,S Rl2tP,Y~\̪}ߚxɋçs`˜J uqYJ4:4E>'-3 'xNՃw^cn Wc=1ҟϻ_PgQ^Hh@+,h-l;$"{JQRl/i !n5!e-ENrҖ--kp7j8{MOFK 7H}!#lpN;9ro,> ǎhmVoɚ J4d# V+m>侱sğ|yMx)%iz7xV? Ж4~]=[&)⫏<MƥʟM`2*Qs2bQS=Pddts-,<|Gl󵺓Y&tp< {Պ{w#QH÷rM^^Q"sy~*\۸\V7[ lU 4)| pIpW8۰ _;^~Ar . M'݃5~EFȧ\[F FAD#~NGل$Ng Qkvrfq+D0z\9#S;32oC'=f7*~BE˻a :$? EY eד4HKߴW9Z"l-RuL83=-?k!FjADƇ'd:/DOz$0 | NI+a)Bfs+6&1uif kɢy.j\\j zsj绦y $ʰ*Yz&3ocňe0pb#vT1Rv%J ʕ:\L3I@V1 J1W/+v`t,7bوS jU J'`4$Bu%HnB"&3 ^8K3Ւ˵k<xl]RD\ Q7"g}]jk_ }nL,7H'a*su[g\=kK؍GM96,@\  ' Budan_Fourier  d" Tje|ng2GXT[NA{ |9C8M*.6  <cs[Iq,GVvqd# 4NqQ! 1Fs72%qF0ۃӥ vlq|2`Vk ]n.Dۮ߻0$E˟ۘ.HE1$NZxqU}!YdHS z:Cw+TVrCAf˵d›ny?m}cH+%StZhzӓB2@7 ur}ʳ撆NB iZ~Cgf#Zcl&4*ϖ*qstnslz F"IIۼ1bjRh ĚY20]}`ń$1!d-3 ]-(&7&ԣ#Q[73(pЙ)%n檷U;RPdJ#{}w./Yx](ULn{s>ixhy `+ w BsEDXgZ?2Hf:!R" ;|D;a\D[ kEԭ&7)#Hv N]:1O;ꬁ(acmWЙGNlF^ِ\%m^^)jo sc{VOV;<^xtqqiE^IlAF𖮻{Z?|LoOXg6( ]8 59c'R|Y %!Is *a9S̛֖-kraue& D]>ɻ&#&_X|똰آo]$0WQr<+\sT<-;'Z>k~?BCC~l)]!ʶ~;TP?n]ra?;co.RJ̌^!VՐVGF%O]*jv9$dUO!ۧ8,pE(ĥr;g\Cc&rT B_ rJ!2j\jVxQsZ3`& &?m4moK$NR۪H)n= ΦR\ᖗ{OP—u6BphD . MT {$XvzfI "4Qݔړ49n)~H`^?(ݯ uEo.RK?񙃛N7F#{|)tgm痐sN?[yI 6X!b$ӊciF~=%Y@;xKZ~= 1PՌL'w03?x #vs8t9g7槲G=],EaP97`1kdJFRG5:H{n!yY?z=n~ Jw_̒nHI MKQlEOFqKEiwSJ=գ&K̅a~l:Mih/ Uu!<CHKZt~~ZBQ˗(Hk` WØݭWTַO{v"j>ي&r_WxS)cÅmmhKA}Vb).$GpJj#;U&kTk%5[jT#QC0n$H*G{b9ZJv͛6m_E&U-OH-#-n^لL:Pns8fXŎT0wRf_f5 ^+SqC!{nrɚf*2w*n]9!l z߬\T%9KZ|v*\ht}Vnd[ 4i*=D˺๭!kd x=NÀǀ|xmKq " 8#tai`δWϩWNGJh}=ߝ8Sa JMa-\Q:DvmsAWr8h(yzd",(joV*-$,l[}'|3bѬlu֞A]@`3i` M [j2!K1>KpxAҶvL83UJJ+Dܼ0;&` ,d]/5me'<*5%݌,hܤ& angf||N܇i[m.P#fŨCXn3Ђzp Z/{U4&6Ր?J~L80GVF5zC,m Pp,+r fgS~e 4RAaA22mi?%fׄFQql{fA ֌\94Eh_bу8#/vU)[=aYWs ^Rk(o}VGʪ59ET| NpW^Kf ȹYy >uE(Z@II~9[NHEsS2.GG`Z X=bn <M V>P)4y4}+3WTu*T!6GtX 4b_#Ɗ Ab 5`d/Wʼn>4 WŴU|x[$=Nm GeꤙڕY]yJ A@/ Wudl &|q# $a`ه6b}%CH[ngC>27'622wJdw%T}]2-T>-Kk_7[iFسrQ砣!dzs;Q]ɭ撞CNaVQQGWPfϾ~!HP $5#v)>nڦOvpJEk߶AMҶ{^@b r/@(7aDP)Gln(W!tnW4H0l-nB;P/|1,Nts;*o0c%EN-de@zN\qRH.V8H1mFǨrA Id3{4>2_#E;Xa%)B쀹]gĠN10/-]<3Ux, b<|hLlw?r>. SbM~>SxcsMԆ$gkgI"E e X>y9 8Uq]{:Cc%O=m$Yq!L{c]fgɮi%dWS/%cQ"9"dfLKE])ۄL h='N=8.}7Dݑip@&ە7/b+`V BhZюX5c=]RGKpbαwʊZs8-'''QHWܚSO-w$JܾXJgn]c䂥^B ?*[%DQ jBc ;/UFtiĖ gãvr2v`ӚG>zJuޙhX^cUc(!sˆ%ϔ9ʸzVaQ(( KlrͺU9K5Kv /떓д倇+]b&3~*xH 0aͪR\LuOpL5 |H*v.+Mpp9vmg}6os +QFV /Pl 54 }ō bI0Rc>Xrfei:e }Y%VSÊ҆3y_CHKtaJV$;Df.|=IG7dhO7:'MzŝH{Hi~&mvEl[<ߔ#fh ʹrHd!R VzBqwF 9_{%C NWoє7[Oc`ŋ9 ]*`@2tl'.zL'my> ~֟(* U=Ec _)[IA+ѮkA6@|iӊ3ے*0<ߩzR=fG;:;ܤ3Ir2C&~@c~*dV0h-NixT R˲ZxE=+{/PZ@:NueXTe>Y3@vD.`[?{xP:jy}I Tv #k^viy: Cū/lu;"?aeq#YpvqsIzd K0we-m4RA@l i ::4f]t$ : xϺ3#)f xk0vɌ\KCxy: οv}S^ ʐ'`"$.< V)GD+# J[X,`MIdݜcӀǽ (#IR}]8K`Lw iE Rq|:l]t: Iwa  I/xػ%^F݄f/](/.70>x̯98ݓV/"U;m^/f iȏR,C x6JX5u0i`BE 1J[ ';=U*cS=PQ٫< H99,xiAP0_r9o[={[|ƭDU|ĕySp+cc"}<$S9Uj̞ecq[VA) dqԄ]PĀĐɢ0 ,.=? 5{hx9ZS6CecwdEXw-LNXwbFf+VԱ6 I8%!Xɞr?Fċzzih"sUt/'^SO@يB-q?wu`H>{@3\i'kw1qO%:`7uQ,lk /Y? lNkxb?D,4Ϲ,{Bqi*JlOJY cQ}m #u ÛTTmX^I)'~!`Lx˷4sa}_I+wolӖj@9ͷˤ  nGڛS]i dV#v,1D4p&1&tr9N,}ɥd )Y2V&Ɯј]Dzf tىaP?~cO^}1c;I wbOԯmm`8NoCyî3|`u{\D0vBA`w̗G#j`?W5[k/oZ-9쿪TyTzyb~y]j1O4g-fkjHu&}U!#j69e,d(vTqiȉT+e%!."x8NV,3PPz;4]q|RyFoD)?(`hpbͰ<SC!΀{xPf YtQMlG:0p*r`l]PLR/ēEa$ 3Es8adz]v!`\t=Śex):ze[g2Uo -}^Ή@2[P?j؋3F\̇OarSM~7SU{sspk*J**5qFJjȄ!Uj@9Rʴq1.e*ZO3H8Pۅv=ӭO+ȳUO&[Tj : qAΏ<fUY87McNskv:J@(ɬ`+^210%IMU>=~&SL!lz9rĿ>ч;>4z1o~B䫽vv8jZj-``Zryvꭌu刵 E?g=?aNN ?ݺ 1E%V`-lz| W¥%M"0SqEȉ.\#*F ay6l;RU~2+=G#4Tr'S͙@s Qת|@{hϪ (,*[g"!6MvUv':?WBVvA.1xuW~^MKuͶo%rY\1!Tw(/Ѓ )(w . &>@@&VFwnۜ{GaHmZA֫5ۯHݲmbC9pEi0*BMa"P:Zq_}h\rbDr?]ys\G8ʣo,|6B5ah8/*P" HFEԫxvWbx~o._FeD:p,=\%gFh-6@bCE|xi(JnS D)%(еf)a3|N7VWl0`xtRV|Z̡V:EVn_MV*Kd=(qYK#%ܚ8,@`_+Z%{Zҵ"8MD)6OTx&*O+[G3zM[aB0Ttjw\ H  !|}2ZTc2X3ZJK? x9nX ܅:t51+U~r?8,Ь'H'{6fMҐ q;c>Nir^3SFucP^gVW[$mH=]ɕYUdӆ759'tML"q(7 j&K8$t]#?d @4Ib\N|=%l3#ZJ^J!6~5ptT5SBkYk+lt"q< xG{RP9[_=H!i=.Gn3|,֭,N,mcMA&dxEŪG_VUqD j'awXx DH,վ>;Vzz =̶EU KGdqqEOgE-YptM3g.`#ޓ _#'kdB? 8")E}Uqm&M0fOYPS#\#Uߝ+u?hfR2oIRHg$h^."^O&6 [K/1/I \}I~ΐ&Wܳ‡~ʳ|=~AsQymqU7@~"y7)y-)׷[Yu?8'ԭ`o30lG=Zj6 vZ# ]Íl f5=x܉1q='mϞؕ VD@i]OWǨM ^JwM3>!uӚ3K7v0@b(iEEiF X!Rshސa1wVY|*,">6^j991GM8TW`k Nگ8Tpq{#ġOȃ#UYگ -:rq!կ8OϿ2O0@ʞ{B[<"K6P 6s@N|?c0oTzH_1o ۿ k7.KvGiKGQN lߨ_uoHѭܖ)CM6=rnmkkakx0 \ګ[:#yTNִeso-iSVQk͚eBqbk3z+RIB{ [4;E?ݴB@ĈC5 Q9tkKx;A>9 r+z wzbz/g@!G d6x5tfP3SJo(@屺)}=+ ߇:0`\p<qz4t i4{Z@@ݖ靪KdJ-l}w52XςRJ@:88sI$[Q&s)mYh3̽.!CŠ7#qD|l~N0l 3ڈD t7g{ٯ"0@ȑ:ߤ3PwX[I-N?~:ufaE7a=R ?_Ev$_[oDvWZ1C7;7S2Os~8K}fY^굣G F=&3zDס?TqM> M XY&NaIcnA׉|!a{Y(Ҥnbβ_UR6:1[;c%șn^r(|ѣHu;Jϑ2fR,Zdǐ׺šL~bN-S4}pFBi A@#5e\#bޱ2PqK y|odNz&׃~3XjZQNVky$lsl"umHZ%MS+b-ވ݁ڊtDINg:pkM7Ddy^;㶰:j XgaPzZhnD&+,*Rz;7/kb]0_xgX͚$MTx=kQ 0pYI͈ouv&t| s EPEzUI4êEQڑ[{Rq$%t3{W2>8v-y o 'QfFK}cw3J_z&)ͷpu>e@/6{Rנw!kBmhoF$ nnu8+Ŧ~WNfZݦa!(CI_~ռ[a bLꉝ*}S֞xFnaBX6db6qywN` ݚ]ڽ;kAbuf)a8X$!Tx(3B[rc:lSȡ(zG_LVBGOAѩJ(\o恛/y5s=Mx`l/0=+]%̦e3[$m%J8;L6fޜD<==0fw6ɼ*j䜺Vr|JURŏU'I᱆ZCk}p%5gzVI+KlDU]>,Nsd-f]5kMW1阫 Gʝ HT^z8~@D %/ C)qkbg=w֛z9D H{Q9?} M:iETtk7iSNOSG"rίQ=tgAF?ƽg=xM8Җ A]/ N!RX&8 1r\c(M}BUK㋈'H#ǒJҐʄ),BR9wVrশv䴁Ш<8[Y Ԩo$ؓ-ȥW1IwTٱq=I6&GJNP{3͑iV2s-peI TmW$i᎓m)tA;~r∷Nc{6qKw}bׄč2˛WY~/~[_Xmڇc84k=Cmk:w$HiUJaPE&n.cQNWDd@&gMCTiea:okb@ZA3rz@'}hcg&7DСpEq4SOm5Q9FD F-oóH!•)T$c E Yvqe6lr3QB Zu]OQyIsp ~֊ ڬ}vrQ}b0Dx,A~ 8vw%د^%'V(\ Z_-7y6}ɉ: 1)U .҃U3 I[{KC&P5h)Ł\'yJ)hG)Q)O`Rj3 ͐ju _1%+wgcE bݺ5Kp[$E'Z|rZ뮣}vK"yݖ|,N[iGUCQg+**w3(Vm92+`&sEae7AȪ pC7`: F ]C|W.NNa3 ye׎RTN1}ūʩd-T.(??^HX6&܇L ݆2q9OS(oN#hd;_C1_0k6 A˷FhWƝ0^<"*5!"-ccz̝08.UP ͡>9 &(RvPEt_>e.ڒ}>a I9rܨp%QA'!m; k/N!~"2ѲF3#3hsnf9klp hx)ixrq:7~Q>(9dr.WjYTdrWUm3?gʟ_ !e;VKx%|Z/j]~r+C8w]axS9 1$ۏSlg:EZmn^g#tmOJx 3_R֒ϦZjGY ugjARo{zqaOh}U%#MĪ[$eT1U\m|YdyL Vt0| :c*~v2s&y5\}FÎ#Q3W 2[=Wzuz.fFU6`gDc6[C"L(/ԐLtОR1E(wؙb=-EE*`<W6/„ {/C $}/tU[[ ݐ\H+fQZIݾyE>(Y@J>CDkc}LABpnz0-e@9eּ}cB\4 )yv fB^6PrYӝ8sOB(C[Kt*4(ZƢsA7a سDN MuUjFOe+Bᆴh`sKbM?FrA$ʶpi՘Jqފ=#S̙ԉUdt%[r_?_b-+($)2ن>́3?\3,,DŽۚM˚pi&:*;?qq6 AL8A6cvcT&%$tmzhW/S:վDf0wLen1"繁8&މBi$WWs{aWumR*P=OEQeFW6u:hc> ܚ߰+sIݍ 4*0; xBF5(/-A |KesVZ|B ^65PM>f[Yw-u`N8MU MFs܁O@=P=866Qi&_AZ:{]A5,CguI1^$3Mn_A=h~̹Ǎ~]~mOI'E|Ti5>d4e!@@_~⥋ I>7%mc]9bP=$ DVe^|jӋ Л.gb\nk%j`W| d5NL節yrj!l{.hPt G<+ 6t @ $lyomdb\aKK$U)K6<HKl/⅁]@p)w*&T[#x?WF?#=/2Klbζ8"\i#/ SQaP,T;n$6"V h5YcHSB/+ΰ4;d9eZ} xq(>iğq$mo4"֣ٹE~U[{ppzXǾkI .ʼ80~3[Wpo7Я2tih!Gʯ](̟x{n$3ZN&Q$to'DZl7hf4Vޟ29,c:3B5f t{ҹQbO(&rIk&l1˂k&PzS&ÞʎE]? :m\E "} nY#,<-xm= wvmO}Ihd&U`3GJo.Fw/|L۰0~a5A3s=Mș` Y"?t?񂅌C- 4m[d',IN&r|X{<{7ehpװSGHNS"B?Bh#;(Qm%#{*+O\Q{年f֛eo3M_t`ڡuJ5p= olA_9G㧏5#8B#_KJeο%g%; flk}ח@#=:,P/A^qP(pȾ;zAC5oL- '_zb솂st"۳&!uyy|v@E]$YJG>!̶GңSF0}4 R6Սzm/݌ 0aib S խJ&q,y\'R*^g15w/[ֱNXCuEn4 6y| ;G|Q𪠬B{z^}+4a$Z;UVӵnSYt|FSȞ dši1lMs͐\@&v%Jf[>m"2V(hK]&D[,mp 2 'i KY.LE*l 50&[sv [#RfRGQa0ĩ5 w؆@4Efgt9y'\=%Iy_̲B`TcP+deXDeȂvpSm'sW]o aL!*)y[CVfa O湗0WSt@n~5U>?w4ޙd vqN%$. kF: {|. saP5uՉvMo1`~^"e1쨗dcn{m6>jn^vyw-+t5hKddDtdPudBžSBTa-9lÛyX&͚G*t ~HeO2Xi&]tJC-v3c-XMS=)Q $0Ki<Vzxeu2~aI'3XK>.">ӧ^ 5z9$7*x3T_z:ڥddӢs~|l )w2#O$%J #kJ66ş3/*y(͕1o.REyIWM_@?NxnNdnm{RCr-s[!MYzKtWuL%7Do3[$kBOSBU?l:R@F,HWYLGCbǮkP:BaD0-~) b+nM k=LޚhyMsT"XNM3QBOJпYuZvδUy5džY~$!* SnAaX~is(}tT<2>|e1*&z6(5qU}*ǮkCVEgӐ6S0oҠqCk:zC2}~_Mw9!ݷjcwX3]3MZvxj8!l{Ś) 0Yunz+4!3קfp@BJAEe,+.>`"kE.C/l 09h &[LoqRt59XzKL]ak@_բWhm*.@AOL])?^u$P^]{ VPNu3cjFw [ ?qɰot*5O숨ApzΘX(ٜf vnW6 F 1Dy8LArL4\&oz$>?$ɓe|@W/A|! sROe!m*ٲYvN3Qdnc9O|[z7eh+Uއ^UR9L]L}Gm!9:@F0_8ofZ勳/Fs/fcQBYet")&:"{oS "t~.8<4#[df8mAd qY#SV<)$Fm`a ~x+r[I؀Jj=zWBtP3ae2YnpP8㲀p,M_O#hj-W{*A=`@STX4jԉUɔ#Fi*fq Nƒ0_P@jI^?%f `J;*PX8l7,rb|&7/%jLxRИpF7}zT!5_kSr_A WU&Fk L4ENr.@HI,( RV'}_05 B%[e9^lK _rtvd\Z,\.$7Bz[i*ƶxa-E 4-?ύްzdq s\8JZZ 3~liUDk$v> ?sgxYE^ODu#f2ŠS"`$? 4OB4AVjz$7HLW&ۣ\R55bKLO6{늷hH½ԉ40T$"g YVM/%G!~Qm^Ƕ \ U %I(|}z@"Ջj"J"OEʸ(<(@,l.щ$u F-( Y5wؑwE"#-зy6YYZa&O7j=a;`}X!!ä<- UXč6p{RpG^ a\-wZƏJ1h)OKI!뻲[ㅖ{0=kb6/҄ezC!Dh[ILڷ3 ,9ke0@[2O%g2hgхr5iϸ&HL,RGE꼢[ZxpHDv*J`Ma/+sNEg ֹSюíPh7+D| ]n<*}d>-_ۄq_B5z- h?1|4X$720A_|Fdjt_eiŶ砘ޓԠƱ ;GEk)'4h޳thX9[jO "x%4 x;V,Dؽds#0Xގ1g[]0@]R2lLq5RiJv4hMA<"dW]__Pzs?TSv >@՘EFٽpfP\BG.Rқ4cP+P h #CƬ[l97Йxo(QR戄=5cұ[1CGIPw/, ޅt|9YɏEDhG$(o7_Ch#m%֗;Pݎ|*x4Ca^ϼq6h1clE$4lI0;RC<8EeHޟ ڂَďf]2NjC;b,(Ol.IRx385ܥN|/?Y߶Nog=)]9O~LN$ԫ-5h/J8ܭ;#[ pE@-xjF3~n>rb3[/z0lgo/L$__8vmZ찉lE82Yԯ9‘u|.',B5 ד͸/fϠs"Ri0L5aLL¥Faσ}2ɞ6@wcސo.=9mM{@NӬ!/mnD,&$ǀy;YriO+?̨C};Q @n~!B6N_t*/:ċ6df2S aV@akjyt[e\7)މ];DvCNP$y,>/wK X5S!c6`q%IRG*3W'>.*ӕژXm%(in=V!v4kBA?G lm;5' M|r :vERvڰ}*FT`D Oͬؠ=݆.x`β˳U[XVy¹bCϕH°#ak[v, !}mިZ{€ѬezK/3 5d$]f1"}d@6\ϢߓuHV}#@Atszv-$AkThAIU7a|bjKm&{\@ :"\!a g7:$xRdL-V&6װZRrnmFJǢA=1,s5C*Ԗ @!pqMde`D*} t=_FY@Kow +lt7;͆au\ScͶv/_{JE ͱ'/ZSmڏpR @vp#7Ċz(׈F_ctK|ňޕD 9u#k} Uҩvi1RR!@槴9DGX,! *ߛWQ?B"AQ̵t\Dt;]XD}n"ޅ/HJ  }HHsjɸjS_w-ٱa\>ͿޥMmH7E9(zVn9G=1o`?0L7#V  t&*n(K!B*A8cLB2%mwms|!9ґDSB!aGOo/#xq !$1 ͨH~^RD#;jblۀ??}; S:/ #v IC]OGI'0n_\}_v["$H$\.uW6>N3XgPOY`') W @ZJ#-E&$hk92DzD,B !" ;qg !-HdW Nԟw(8ZŃ_&Wh@a|FCTd(p&~ըdV{4GR2|: ҟϑRKe0<QC:= HpXX\|d n\q{ E6xߌi }pM/s[#2q7jI+1/΋M? ! 0XVo z:pN(̗lz?f/AhX#¥0)x |CQ(%HɔWl>ڟ^eώ K&_lʊy󩍇W| J5}g ( L9egF"$xqvto,1 qP\JFچT"Fk:{,d%[9T#T)xp[@s'|$-j&{UѩE/EPyT Ǽ)U_1Ȝw`n*fymLSo I?y5mϧ,G]y Ǝk!U)hS1*ǿ3D]c1I?YwhTZysH%'ĎS/$cP=q99L{Cj' `t\m/0*T]cQԚH{M8S5lϽjȒL~6P&ʁAi$ӂ ]N&}lu'?#$pufa)mҿ8g.݊W2_$;G5j !ibXշ ;h]̲⓳RF[]PA@.8(E*0 1uT-Ǭ{:R[VN3+:ɤqT+a6߹`۰lZ&ر827[s/*W>|E}cW~Zǵ{t 쁘PsCC9-U./Ʃsz(U[F''Q,׫t:`iJsr$,J&SM/'{}t~ןvu z'R}Gn14@;C?ɬ 2%^bf\{nπD+Jb-2>66c9YD=w]"QHQ ^2jiwm"Iw=0 =VR3$:VB|v+ZՒd}S,>rD&KY|]SPH6Nym<;slzRHg%ŽD{ wTFkEtLc &({oq ժޝ8>"άMr0"F =\i`D<_GcZ4eSjEĥ#MazKq ojz2lYM*iyB,&ee "-wpWa?쯸1$P+Q㵮 rC2mU:a( ҕ]`F̆qPʢ*+jք:ç;fMU CczO!^TKmNJܘ_^LY@>Y_h/Qd\̆vj֋HUyoOB›2&)}ZRb-`sZ~>9E"չ$QgTP S1Ur!/_¼ o! ~M:sk:>nvDl3d|TMZ{U}[I<*zHXOyD9\8| | D 6.dQ#i{Z.7S~RkD^-Hܽp^9o?렦a(Ka+[i*cA1AI-)[6d*CYqґl\ҧBt_D ?6aR!0 m)Ӊ TmBJ[3\$|hF\9+mĤXbGƑ}_kq\9Æ־l4nXE+ގk{qL^+xF=wxQ ߌn«}Y UFU=_2vEtNWQrI+WIgoh֕qGrdWptZ?4!j 7TӈaBO+ZI ՜.7}xA("+"Qfܢ7^ph;F)6[u-Ӕ6on-IH|?-,tVs(Z@@ڮo+ c=n~~y7=#XQRdj*T+B~(YSu$@ךL?;]v;jѷ 6] &|o5Qv`-4 yp"C+@Jv#XMcF+eU)95ɐEo) OxH*4L3[{u!poڜ =D0&АN*?ʚnwRh>,:/f!Dhp#UO-pkL~He3[YEbY2tbk`avg`8"F* _f뽌 ­/[xiׂՑh#PWp(:RN)dAf.dA'q{-,FxI1*fD+h+` o?t{}RgonAUpMXaѣ*~$iW:JZ^ޕXNŶs2_cYdvi)бwݖ]xssoGܜdP"B}7qE5W&/&G%-K*.[`Ξf>OZZѢܨr!7DWv`J9ܳUϡ>sedǣҝJ(U۸y ݹ0ak(>á!OY[IҺYX{xtNIJ7K 6+c8T_g@J#l) 7+݃(jEzݯ菺"&$}[K˛*+ 8ߘ{w;#=dG|)Df1#nWHS/JFm] wwm ϞAg.**OP#o9h,&K3GMr/?<Yzr8 `/b0Bo+xװ#ƓTgy, =skv gTO>8})乄3QKM/ztr"M^(_JՌDtMM%a"ܦoK?| #vG͂W;qh`ݮFUfygI1K01u) ,vW,)H#%8Q]l=NL~ 3e%(.8B1gJ/, ZI{52 WQ:$p"rʹͬ^EJߋ*9+:Mw̏Bn_C)YvM\MAu|ߕP+g5ꛭQYaN#5OE{5F!01י=OFQ'GTﮉhkų|tNQwLw4}$yi/>?^N2rrg5B9'%t6Lj*FP<$ިk)%KkM֭Y5`d~^̶7q!V]\Ʋqf+eT?%AÓ}X(r@]Y?b ۢR wg@w V0޺|9(dnQ>t(]8lk,%CA~xRQeBk, kNCZA`hu h|xd2?eJ|~ohtG J ]O]ަt{/(mK Ip;=]EhK+X6 C Ԣ Ǝf/w3Gȣr2m!ɵ PyU8XW9Kjm^# R{G)x593a\P@={%ƝݮխʁeVeZQsު\d_@.Vq F|ޅd{8YoTb2TЫ%M3Tf WO!ǼXxa GjڼiO p-k>A eK4_[~c]|MB6Ec>eNvb[&l~n a3WmT/32R Ѫ])͹!HoBpc(`{(Gepj.HT͑ۍi1V΅G&N#h+Sn駵h5{Ê(xiHAkf6+lZ [Eh?}ixO1em\54ߞ/&JX8)ON]DqŮeUyu‹<0T|钟7Y}4J骹,3zߓp|9B[ah|cB@׹1wbK ^s.ȼt|R eeOf$g$2{ W(ԧ5bMUփnϓe}}B 42 ㊄!9e CVW`{5Xni/CMuBz̹|Yo\܏<qxype7T+8bcy_t3sf?24 \d9snZ^*>Le[9[VoT 1!gjUę"̦[ Od^Ѷb-TI^٩$xύ0*svoi~9LzքEM=/6OТ(;RÊR~KEˑ%W#ݏ'kL&pŘr׎ ֛;sDb_&^:AV&x)A*bC]CUtAd4׽LmS?eA}3Fp\uo ޲FDưK4Ӧ9/ҥ++G"5V@Mo[J9wu!VbSG,;Εl˪7I,~qM1`3P GF*Fá\eq׃C+?mXYlVyNPN_hvqOUήW]Z%q\R J}3Da듈ƅ+Q90yr"A̛YDQ(6_Y9sad`暑ւqKgZFvFte&$^\/C m-@[~LcM%?ĒSˈqjAKG1E%dt Y!ف}mS+kL ׉> DQ crq׆s_S=Hd'ۍy|Z Э/X3.:lx63Z ?v%?@ƅ&Q߰%2|Ǽf$Pճê 3ex8Yk#a,edu=HWFpMxWR. sNa[FDzvѿ6JT3]J0q{`($ 7|Q3%KvүQpOzΈ{ SU{4ME3/8kpgUψS뉞}T'!eXp`dh-԰paԘlsn;83H3D[KA2R=~_sF%Qlv9ҳ2p40R\jYnlPu{血9RzU?dޒmZxFU# 4$!a#kUjfoUSS_!'FR=I Py%_EM`t"JK\g(!>ӞT2|섓ߜ,`n >RdaGbtx 6:Ե|r֒ vC!5!Wrd9oM\k|GnEb#}ޙ+-V,DU */]Z9*,YI҈}YJ 8ěI]f5NZ{?26A5^'iЌh:{zKtoыj7`BslٷSlSkY4VzaR<:T :)H\^!']5'br.}69El2MIƮauZ<0h,18&G6IKeEey]lcݣ`'c;pNR-T]BS,V 0Qi=iz ȗm~J~&pZ2癁ݳ>'Wiқx~%z B×(';L^ʩS:A t#7|hTXHdCh]e+D˓t^ HETÅtQk,w "MȲc=_K:4?Q1(| 4%I)0\IʥQl_`'L:He lW 9ݖIM}Oj3#u5Q$|jSsQ"fѾޥ3=*NUxmQؔT3g Lduz܉(aY 1*× D 0i^[oZwz=ǩzPddl(|՜XͪRtOhj/*MD*5u(ɀP_}x_?AAdC=JQ2P[:&_@F[M}f~G OE[U نθN`=Ab1W!lL$Cl| ڕ_D z%**aLB|XxfqRk۩9IGQSҚ=Ӽqg?_ ֶ6:0.iu%t,G -pdxRSXEOLGEI?Qpa;7]0A q`M||:u-r`;tWtKg&% 1e~$ FqTږ)wu %XWk7?Y)`7m>YWn23^eR5aoR]Ylqe*֣S*V<]s|$W・ iq)Y=!+I51o.(ƝHDpܢ1\ߜԦvq< j;GYɽO3* u5&Y>ky2Bbə/HR3,_QM)UF]P^3${MR*:mA`=Ȉ^T~%[*$K!)R:o@zܨ{o7Pc+W9e'BM(9vssN6nÿ~ORs#ƊN WOPw'Ygg3Yfuʡ5 \q1`%T]D/$<_Zn:iEWu@*]%`T5MQV!6Mڅ l{mdYzjT.js];dWGɷr eqGkay͒;1s{AfQvxut@⇘ZɸZlsM%QpԼuAe"Y<,4C1XMp;5Fw6=M-yQ??•M*YN\ _ˬhM|IGƺ8[Al{—rE@Z\Gi nG7im >TS%R+B7̳S=~ע8Q/u~S+x[5mys6.V#9>QU.x+Ţ3po72u}#-'[242ml}eK =D!'rN .lVĽyT. yH0ܦ yξ6)/WI z/{Y6K  AC(ё.`O%Kݖgmp KNC@ـiRhʩB) vu%L?B6vSh$8 8؄{[Vqк~ bb53{l\UY grԋRo̡G I1ZfdUɪΊ 7Pٱ ̧du,GYIݪ_ am$c_"㟾CwB/߱0XZ}-xr !1-uU0_~c7| 7Y)/rlH&Ũ]AJJKklb%D ϠND+~2>Q]tpYPLjXIիpgה[*gyA>a'um#]NJ=ĕM󂉓? Oy q5Ztb   }9A mw0#H20RGt F9UC\ZNl>#sf!~Pަ();byUҡ)Z=؝ Pb{a%%qDA$N( ڛ#J8)]LX }WPJqzMa:iE+ ^?~d)DC/S@U,i7,U}1Mn`7ryjfZ"ٽCuY>d >041s$5Zrq+!K ԚAb@.ZF3J6{'S5\HT)~l[Cggd ^% Ϝ Ѱs!cKRE>Y`wj^RLf0@KXXjX[su;@Bv_B̌{# @]0%C))VujҌnؤ%VR]:*<£Ⱦ+#n|?v=hQ:B~N,0J@_@OaiȾ{(f!@mIzO;+x)+!5߉mkvhz $\14FHMН["H԰i?brM~SQwq KjzAQ"<(u '9fu?=/n  I]. I L2?O)q*߹!`ذkAXXp)JK~Pa9b$sjy<,p)?SLȸ %P]UJ,XGu^l GxIkd9Ng%F18E)QH1is.ss+&^^Cy:'8a?Q^[g_[U>2zJ I9O}WNM¢yO7qt14gKu&%/bQ襒H. Ŵ v8ZYrL ٖ2a}SIDlY;[y`ҡ)Ym!Ĕzgg唦(ci$f= L MD&iGv#VˆLAjdrBl}e_&@,f0"tQJ˺ yo1ɇWO@ {fjN|\a g ؉^jAԾp?GOW-(\:NaIo+b_KsvRvp<;q|hMzY ik&#\VWԛ,눏EEqRND#t[6ިq=Eײrbf|HLXɳn/휯͚CkI\󬛓?WhRz@C7DŪIn'Z,.\ȤЃkt6c47I81+Wʦ5"WR.PoFzl|mACٽK%u4k D:XJ(,\>1J6#.: 'b "H\.}:ytK) +j5CO  zpRf؜^ʼ {Hg.yb*-nj$0To_d6e&ӽ t)z< _%3zjҗcRzBO!WQJGA-.wLr_ "(e}=[ѯTݣExѽPДKBhBimteD&Wo%*6>bE`g ջbfVf[wa+Hg%対4P3@N1d{̪Ks 6n%~$MNf*?]4ǁ܏H@k*_7cj;_昂+:A Cf8 RLg`  $pk K=@CN} ] ޓaQ.IdeHK'L)FO/M'iF$\d]c(v雦x]e"; ؽatPv.ʌNJxBݮE:C)j+#zfYL=BRǢEȵUGW؆ 7ө8qs3{@FQ- B+%'}ٮ ]pYJrT>=md֝Y Ԋ'^m:-z:cASǮ3̻xZ~?"=Q " pJWd[yu[dX6|'ߎ'ȀrNx3'i`t(@m.הt 3PSaޣ :ǝF(;3skSAv 'S01Flx0IRa_?Y!8 cߧ`p1@3:6nmy1"]۞4fz/@ ;ɳ+ZwPo:p LkScPߞ0G3w$^OG54* #ۋ輂^o Ѯz?*O&Rr>Em?Ary 3Ge(5_fN%6>F9optg|Qb -FͰ8sI3O 4GػlS))d-,o-qz F)7$v>i1!`>hwm9Fί"mL0T aicp2(*Hd@ѯCLe ي])P"l]!FʣI \S ϼ3f}9'WaWOjM}.%,l}vH /Blo.F>P=3ǔ3ot@S&3*$BY͐lrZ+}1q(UO .ɆS ֠}u uʃӓǕfS:yhv nDLa;jj02=iO.LsDgtr025]n|0b͊k9/leuk$-@wNț>W-to,~$];,lb0k]xdFMw(6A*g&6h#S\c؍Gs\啈@DG7&ڬx-Շ=T` '2F[W;P] \7 hbXktwZ'.4&a6>)iO$\#AFhy)΢_ta >%,?>i2}Uj[R5V} ,#c`HٔBҊCJmh=GҞAĊӉ1z q(5!? yFyK3hU:~ܵ.&%ZW΀[DU"/WpqiL/~)͓|uBL61LEpY|P| tSmА0]hYRSgY~/|Jw“gi~ܙveo:i&(Dٍ׫[3nϘImUJ8iM`g{8s$ty9p(ۇ%dlJh4A.^zfdj{nܴpXN #cAm&_@av&iiF(egK{*k5NXb~9pKE&~ n˦+@M_k4ݴG}<2LVI6sYLyٜb{P%Łء,vȪ=`K<>ހylN 3<_U=N}PB_{а#)1P 'Hˀ+ixɠ023~k`n =v,֜,~9J?Bm~tXwL.}nml K(BįlhMJ>{(T(2 mFQRxh DObnvתoJZ 2g^j}ґb&,OroJ|Z9\Ï+U|8W?<*~br]npr݌m) :VNʾiuʿR꽣D~f!V_qh pjėӖ̡VS(z%7"{LY!- ]B 6SnϪi.#!ȑ*ṫV.py=lB9 ,_ ~ʞ}+P4D^L}uN3#oya9埾FbE2֙cPUs$ƶ[<'=!_En c \/gL1UqVT3@BZHA"z]}Κ|\ e'd:B ~$$@axx2mW' W= Y0fk8 P@$2ƪqCoqPrmXkl~e}G0hʼ , eH&K;!٨wm~o^ [$\B9+2AssTON״al@jA%<,A'@̬pb"! PtZ y.0uts,Ͻ䜴E,!t):M\}LsHool削>@b+j$O;TI&{l+Rqx+1=~G Q4Aɝ-F{h%`S:0gP1sb7 Nl! E%OU+ 4jjP&XE Mꝰh<3qbG~p6 ?{ta(:{w2c"K]7}j"/,,˲`=kz&qOpķV05u AdJQ 04rNb` tsN7Dm>(G|l\Uxx o{- ,J4]&:-(U (. '9?4s/ xH^> `PhiX?iU_yXL[DxR66N^F`xE\AAN_fj_P) A ZN+a~oDպ~mGw.qğXź]YVм$v@R;:9]ªK!8C0z,2 ('];bζ) oݲ҂}+~ڜe7aF#!HkfC:}ɜNv/"/0=5םȎ)cr`S1؋Qgƪ/-Zͱ֌ Cp7tsشUZWP/ USځPV׾sj`8 ?'RSnےQ[B!};8[JX^n)܂86C7#+87Lrԕ`1`bo ҳA) JT(HO_̿e{r@Lb˘ld$})p+]Wϩ7 AYm騃y=sdr~0]YR%F4N׾|Z*0VWp~= 5XV, )Ms+͐+󸏇~l _.0 #=g`Nй>Q .#B/uqF OhLZRW/{dVw6+.m9Fx( "p9? c+mQ)q}497:eLQA'aiO$#D5ӓb6 lA 3ERt8zC{W/ )nO |r-*p`+Oym*ťS\7(3c!};*2 *6z#n0kˁe-fW{aHxFٞlc2qT G##i@ j{nxУGU(Tn .ԣЯؓ*^Y>i'̓+2E3R.Hb@ g)Z م:p`o[w#~S5S@ )A;i-Aq˥cwDg*aQ>^f|gVh( 9Fd;Ty2y=c DZ{Bz  \Nc׋D'f%@A2#qcD8 NrʲȁK%(r38 qN"rk`ubB5 A;/ ~0^S)D6^2=+)$ե@>Y ". \|6zo4iM*՗5^6M":"5#W@DGr$&ХH!AB ,t`x$N bgI78(+W5=cWJ`tvK`QR, -/U)cvЦX6^\#K OD9znP1<ήKTձA#|x۪(<{BzמNbW/Q\iE_h2\gzUNwWFX EzOҊ|c@yk?ձ2ŒDZUx1G̤Z{IR~@$ERe4\r6!gFom,U°^<ɷvȂ=@;*M$aݛ:"^_Tn}M3/W"ڃ$bKV(-H`MCTkMIuX"oMgyFqq!T(G#)N6 Qv%xN -qO YnO],{#J-A4M&_Hd(ׇ3E]MNt9n끀Bs9?Lgf/>ހm=jy sv!/*aRz+̹# >}`3cݸy}2a):G~w=K1%fz9u;\#$-DU#`g~2v qPOR`0.HEZń0*{tD A-]OhK"v9 ~({y Y\9. 6gro[ t؀Hmt E2ij'N9& gΡli'TnX z 1)~iHx{T(^@:y:\z"M-|rQ%#9vp JܢE7cVShAD΃ʸQME p ̜Do ٝ/Q+(֫ Ь5Y3 wUr K?wv9&-7$c/Y8+K'P9Z ĝs.))r2Ud %A/)i YױgYZb3481ca02a2d7f853b2611ec1bfbe48fb09b5a9c9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c