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  't< 4 ]S Budan_Fourier:threads=4elapsed=23.052cpu=60.608gc=1.3287zXZִF! Wu]ŗXiɟH)0%o#>TTa%W zZ+N%S9嫰=] QG~尥 j$ȯ`\sCWh,LI_E~09$cГ 2ecVc|y}~ݾ0 ' Budan_Fourier  q%Bc_-(lklH2S]Hʻ{jM{͠s4MK 5?aTb7&sCY(.A`^y`x6#x<|o'd~TXNb̬B}) MdP{=+"_'k7ݢkX;KʖVeq`Qj,;Щ[nUY5 O_^`U3vn%jUpJ U!T/e"m+ʼn"2n2Isrh\"k lȻ&E,ִ[kBd|Gi piR*%hZL!h]>|*̕>`E<@9ڹVf&Q?Cvў|9gz" .8!mk@HG 56ڴn!xԬQn Dcpwg2(DezCss2?jQ8`3x9jtyp~WML cge$Ǵמq$BHKfl(ـ@]X&tڵHrc^?|491JW}Vk*zUp)_wE3Jc]j۲=_Twgٯ\Իbx6j]b)ך]o?VQ-gU5H[F}h ұIZR]ҌzκR5=zݚYJ' *8fÜ3CVɴǦԋU"iR;ӖI"?OOZWڥ nH?Z6vcV+M+Dv;q;r{^YwlKan-Ӌ Ѡw{B*)[̟"3Sr݄Wfꚞkğˢ-fᅫD[&Cs=\D?C:r`V82J6EPyg F t# I=JLތP٫*.tjQowO,(DC8Q- {bY0 e 6uxD& ))ˢ@GC5=KMx;Y!5q?V\nH@yub u=;#v׍Vv_P^C2C.6Dl%D76+S݇٤d/uhJ\6P)XTǥ^ 7ⲛ{ Q'9->gN5g:9 g ZcRޔړK!ja#`h&tTlzJ\hlP4ɍB~f@[t7}hݿHi0Sa'B8ECM}i$7t"IWk^+'y}Ń ?Li*?ζL+@̀Eb؍y.kwWL!ŷQ-x?pkwmᕁ3 \,%3X7ՠA}ь5Јq-hCh)=G({V\Q|zkNdg.|t|bN3yDFG g,yxȴ2~D@JlAFڄ$F)]Iom:|CRPXY=p,4Tx;x "?oft9bXR)W>`:|&WVL?uo FR%4td8x1pšFqMqY94Atz.`Dtpy `\wm#ե~Ao(߲QvٺDMyX1M\-F>N>߅Y#g/7wKbƞ M`%oFn+9#Cx@͈\vݿ@E{e*BKh_0nH/ծ.p;5 8?lA@dcمvb]\!W 5'+ |$kM:lm'ԎU~Hɛ,mZPL?tݧz-ՇϰE#p`Ύ XZ5GWu6.yXk핹G]YO{8SMjf7q#CG3.u[ߢy^J\Vxʰ5^=x#MR?)a a>d%iEؐ?®PH/:(M1w`,hoQpcۨHU*] ۊS^o}MNٍyNY(ռU6_76k `AuG'@Qҳ ۨ}Y[9%~u^=l1+A)#Oc_bLR|QK L6U ܸ~+8hTd3Z֗T¬jR SlFA%;d7q .BƋ ^dTV;˝5Zc1o cmP㔈|RT+ z>ѭEȑޟ)g4'0%8}r0?YM g* v ݟ 3ji( `@;}2$K/ζ|65AS[ U&WvVU,.Xy7ġ8s|Sp\mB-MnDĿcFwa0%kI1l^døS㤵@ XIc)R 3I</X թfVS* pq0Á24t]_HCih|)6`SSBRM$%ѥɗMZ>(+Հ'np0s t_9y]ucF Rޚ-n}9Hr9ҪfXwcSxV*4x݇Fg#(7Pe^Unh4Gh˛3!EMQ{y\GszzW5ݎb1$os^0X̬6AqQ,:.| hz'`xUg$"6[^CE!<.gbiCuX5pP'QU#Q4In4DP'>^}`(_DGC1+#ˏ&u^{ZhIhR~^c  VPC6Gmf 3́y?&;hD=g{#`D*Q#m Tp3/Ev6rz˹ ~|NN M00r^a~mU1޹~9hqCC",PvZZIdwBX)#)-T/qxfMma;v$ixm>^uޑ #CS"W@՞2ۧe Ku;tZgcʿnVۖ6ϝr'?&.tǐjoFU6a>bmճp5f@"Wy@xk>zPx l>!w"BWft<WU&~sCޚj]+M0Dr`F.j-c&bj Uw`!Rxԟx묋B6XdB<[w;v?. P={J܏T]N *Ւi/ HPhENQ{LPPU:.ҭ@t:8?/=WEBfMG.雡z6߭5Zj4ݮoZJvmf+0 AJ;쁢[q C5h\ H)1 cGVSFC4Qz0ºLFv$2tQZL/e_m&ZTMCE#xyuqLt8e_$J\% cXD-Iw~*VBF(jJu/i #F3$՘G.5RfhlTޣôwaRploXϿGVzM`at>@%%f+T1g m 97b>.aܻnO|hk^Qh+7S E )MJZM{ !3FEuK2ԥsV&04~I";SBQ3ާ <ĕ1yQ@Y Y3GfLE&@2nPq{@^K. _|]k=R8vTZxђp\ؤ<$flFT0A`(ePķ˚ t-!l'er="h$?Vi.kaet׻k.1J'YՍg*<4cҽ|&0Ƨ2Zܕخ{UD&G|sp;B877Ft#?dX=eXx>Gg vleCv?/Pf7m- ǀd >O/ž~aEJ t( B+ p QǐrؚYDe(җ!FDIbEI*ٶjU_otE8 ;!v$W B%[6i?XƦ++}i "4r-״cW1QZvOΧ7lh5(}Q[JjObp^$Jm'NT~M(9Z(X g黲IqoB>cҶZW,-8@ 4M)x"UF1(<*S|-[4* ǎw>.+@V0)3rMK07z@ \raO^]q>Ы"ŠDS،E,[@oݳ+dc_7&Fna@ =Sƅb uM~ה}Z|zG<~BPG $FԵ]/fdDa3y) 8m?}\-)ܜ?y/2@c+ǩC9ȥvl$E܊nrLR.Jn|J3v4[4ָV mЇNPδ=)1Xͭw^UIZh#7r-Cֽ4L+40JQ|kWHπ{o_U4a#T/9&SԵڗU kÉ: 23\)(KHLl\P.(I%aQTt;*MI-&/ Ib*GQyq)ɒC iARsjkDBv?4*:{jӽm֧o%(K8S-P[((ymh(ЗMay6tX_ų5^ia'j%e+5GM%=,-S.RIy U~z`ُeQ#Gз/508 WٓJA+\'YE`Tf<7^WSR5gɷnӧmLm0߈j&օY t:#'7/`6i^wsڱy17x@mfikzA?FEVh H0%wL$^ggS_fi m2p7+b&ؠf$1 A\>?Q} "+L2Ш=ό~4"9־`jJ)1f 1mRXVB1ٸwux/cs0oYRR<(0?(@)ZMu- E˜qQI};(OtFZ+DZKrv -~ !Ϲ8/ ~VJ~n. uVRDdɲj褞eee>򯇐hP'n)eZq=uk_4Q :x_K1+ȵJh>Ɔn/:LbX%A:v;fD=zMܥEN^ee4Ʊ+) ]8R'C.Ly'7ݺUr;=Z*yv\2fZ{k Sv]`5ٟ+D:+Y:-JzY*d~R/u* @=0;WpxcEMHnV&na+o/$1ZwKa!izyj=jŴ2_G"0{).r웹%l6}kVd">NgJvڮs0>4KGہl _ڲ[[JUwe-$/cPGzv;c M.e{6e7ep)do F1k)mТz )OğDkT~ݵ9^it?.ms1[*sϾ(j}.U)NKlA.;-@)n' 1kvMpRp1#5Y d pE5Bi^p0djP"̗C>)o,g{:c `W,b%xy +eONヰyqQtQ[Ŷ@Fp.i E0trW06w!n,|ٿ=zE8&*f=@'yȭdZ?Ftj~'GclFnJojkp1(-E\Ft2Ո/Ϣ&X<ܪ9. oS F}&&;oh2#ja)_"”^& ٫~wA4ӉN~Iʄ4גxxǶpӼ]WLmkG%Z2y+;1~0)_{̔W8r/tSJo=n?:U9dIW>Tɾ(SX6*,-4l/rK51_naHDH5uob,MyjxՌBe㐳(dRM.hCϲ'Ky<g $Īӟ2FԻ4\KSQdR4) Z{հѠcU,DRV?ϥTT#.R-6=~I HQ{0I/]<+B$Kwr%:P% }ݖ!Shio[EW./Nk2,3=*f\74 4_=c UP|M#>T_~/ f63}*y4TfeBUu`fEο9|a)bH:0Ugz >+5G ]M *,Inܧsh|t_lw7T4E:dSyu13eR[kd5ɇl()@AoUs7UVkY <5H(3C4l^ 5ʪ7 cOmȈVo^}#IurCq]q@pͻ7qmؔcЕTkܯ=\b̽9~t;<.)lY^K =VÓU& vab^Ǔ4ï_/8;YJாA]T0dI JIn4N_ZqM\i?G' +(kQ[<+d{n/Rӟ ~02*/S9,.Ve7ϓ[zZTr1aہ~seb 8 cLim {* ^̒pDb_=J^l^ovAsohP*@܀RjXjCi(b^c.O8:ޥQh:@bd,e/E{dr{&C~[$LWo_inx/da7>}.PHPú椂O6uӼ: u`Iae8gxL n!TEއty'd=ZBIޫH_9nJ=ّ,C\Zz6с Nj:*=o)kUΗ%RFp7xNCu̪wY::W{*oht gsEj(a+үou J4?7>2qe'Y)*V>kYAz䁌Pxe!QLO̎[GPP*C ^,YB@cmb\P.r[@%IQ7 T٦L٭j`+c.8yDWpKPl <^rKMKsy(/,5ظVQd kuDe,4~pv'BS2JVnq Hjd67t!ohK/X *U|VQ6s?1!^Xw,h-G66*݄f@im;"6\r7kjV,LäyŐ`u{ڍ! z2\!l|ׄ_gydrZ+`ϵ))y;iL;@Pqz:ƌT9 ?u0~P0'R V|Xaߓ*Jqͽax%vz_{5*ZxY<^ WMP&W>'V3K5CֿƋ1U/,iu.8^nBuصY gEw*D\>d]ŀMdljҖ T(78O’"~39I? KK=K^Ls&M>q;52H $Ā#ϻ$@D6iH?GHNZ=:Ur:üy f6}MH܇<; K7;2 OF%/~j'P&D50WY=lAxc t  caF]jW*Eb}CYV7§[/%T ?}Q0ͼ"ʌ>VGO6oEy'*>{h7 ` >>?m򞧦6~%d3>BRY6jdCK 8;! eKby=1wS챟ЀDL1 z~F:E,s: 'zƌ>ХKpfeVEΚ;rEltjH rx&,Y]:o;e5qfRٶ$ԛSPKN؞vaM=~߭<(nE3LYáN ֳ | aWTUIGG*O*a I&b5? -^x9;ĻnÓ4.YoHH(k%DB%xyz-C+M:>zr]S;՗9Uƛ\w LHh#d6[ƹ{i2%1B>t ,Zz]M܀)RW9SԨ^iÝl NT{~iEV:lofQrS}*oFjbgB4]&z @mїL:b!$yU~  Ycmz"jW>.[ ſR žnۿ(-(%G aүz7_M4r?I~Pq ,Ÿ}FeN$z 'Dah Pevb`lE#Ҡ#w1yʙޠIK19wl󙱠Xu' 897\,J'c0]6<ٍ۫' |j ^Ш[CBK iZO=aORS[:@^VOQ-m!(oc=M3H~S>>(BA|4 :/}e)Y?F] @m<ϱ#p2m]߫VO¾شl:,1N6Nx2P$`o\ɋ8ѾRVn患,#`NOh[1#6FQxOp·I}+`T?g#I2Ký9vѩw^(jziMկ͎"%ڙJ"j#Ҧ2Yl#|v)@-N@1s\q^j "ٵ.Q]w-굮;]9> x/h6RV p/oϩmQDd Wi8ںJg $BQ5Z_|q8LZJVR<i\SƆ:Se|zi͈iq Ic(hx˴g88gHi\-ٓE1m& ‰ ®b:G$ԪJfH>L!skFqPiuDG&/M1,Xxm F\!9Dv`4#Fq.!r(NCI/=T*:;g |#o0׿_:ƃyHvFN2$r]ncb3w5BF-xiDais>ǦS W_BgRxG22OD>&(+RRjڛ[~;Yd ]<Hv_0my0(ȷ\X#Ytv~yьl 7~(1J"f<$B-ӡTb06ŀF$VG+yUWΧ8+'4>,"wib9k!L}ʇۉcPVh>՚)7dHxrW 6\< [KS8-nV+.r!6l 1@GäSH苧n;:lIh[!B|^҈"Ѳ 9x.($AgexAQ`N>t;7{n88iCS(sjþODV>,_k6m,:Wa"^Ujes[8 0ܱ\ff3Z\kr̆F &e96r^VIV͙vf;OgoE0~}>ZYc2AIQ4I [fa|Ur~kf (۞SQ U|}'=yp/.=i^IH.%ϑ[}56U1#`M׷ ;4s,,&j%5z/EL s ]g @TshM#*OA i!4.o bҋj.Qpݜ9!t{OH IBɥ,h<]ń[LNI$JAyiaQY;VghXw2U:åsq1 XwAۙqY>3coRZݑzXVP{O*9ǹ >w*ہiucq1*T\{fjkYU> o-V!GxDҋϥEӿٟVcr5&ɍef_|v 1)u ٕغ&R9jƶRXRl9^7;)ɩhR(1 M7=7B^6okਰ3Ej8ri<);߀>\uI Ꙓ(Hy1Py6%q{}"EucS-|:Ґݤ\u_vOEz  eԾ%'@U. d9 cC) _8dӆ$6z?eSY:Z?/C.*vs"':$d9}ɱSds(Ǣc5C35U玾_>bf2b^-5D- V<bֳW ]*:X: TGLKCU:&3xQ@=fH]omM׷[r=!(k" Ѱ/N(heIܑ!(<ͺz_r s&S`E?F#"hN,{ە`*{-9ߺy$߼|2ǘefbaDCsPDO w"~ :*3rjtۧ*a79lUu d!J67AN00xZG7O',УehAo}q>80Uý]܀0;ڇHHP p[28:G:bC/Z=1oRS)|ƽ_U Hd関_,P w؋??IgVs\i{.CH(xF gi$f4қM9\xicr3x$WrWn[&-ϨԱ2 $o[ud |Qʛ+!7Ӽ7Ql[ Utw<$ u"+!6u4{Cp0"ts4 YILniK˙[Ǧ5d˱Wvݨ{fߞVYr(z8eBd7}|TOc̢")ewR ooXhn[oYϷKz%} 衼ᄗk!վpˉ ` G6?nG>fy/eov28RDŌtP9ܘq"m#fC_z.y·rmĦx.iU͟T;lFL0K!*Y 1(Rv8~"uؿ8\-XdyJz: GkL\ Ol!:ϸQk='\[Ĩ L[*'pU1 Mq.Ғ/pp{vT>'i_Ѳ]ig7dĂtj ][@_ZԁB\g Gou{n)daf2\GRAfc34J"kaur`N߆]KO1ּ#j 8Z*_ rɚą]Bج{p`u #VSk3ug:ũI )Y !<ʕW~TSQNzwYdISjB㇖<~-KdI7 (fH9'{ ' Fe2K>v>Gx%D9\9S_hYheC C_w ^_mZZڲÌѺEc c];qk:Jc+ s CBHׁÚ$}?ա@s@|vļhK#2|.b;kGbւFڐNoU`:=l$,kv)`-;'8b}^8O_`fkXF1ڐKS-f:ii?|®騨lI}It$M8e؞7o46D8\'\Ƹyy~{8&PHLJӛy.G5gKE8<V7"Psĭ{A\^1&WWQT̤$KBXؚٺw/d?q[犦 ߨV;tnk'Qj?QP"cQK4(#BӍ __f:n :Y`rވ &?Eڽ'-g@Y2e%xCkƒj;J#ÉݕS1Ǜ87"_kSmciBylAkl{lL ^W*dPGWv@ MiXqJ'TZ<{GTY6!2`[!e1psCb+#pJ.L>`YT3*{侰 Vm8 ]aXW}oQ/x֥k?PTڒRZdyEpsq a U%QL'o4ETuMw zG1yNޠ] R7%/hQD<׿v3VuY$t2-(v#ՃwCB)mgkҴڳ}hJ0d̍@r]+[ .$WER:ww-k/& 5er2~?6a;wMm\XRsq|URFy'_kDd `a%/lx}4pݞhK%kQlϊyOXn~SYQHHZg&_QA@V'j k:ET)~_mRPq:YաUpn/W<#H С"e0nbgMm-Q+Q<`RbOdt XV"Gk)KSC:u9 ⁘;t/g ! ًH,Ɲx%Rvc+MiN:i[! 47mڠ) c }f7{:@/gEu'#l"HF5jF0Qzc-kM4޻\T-,}t1L&|߼΋38+ӽE^ȄWW%&Ȋ2YV̎舊 |"prˠq\ i\gϠh|\5A/ a-ЎU&ҐZ.T!F|Fe gT/3{ވ2Zs? +z (%{=e43XdPi j}xVE53(Co*7!V.`v ;i!@pTzAIYduW;Ic=zȱdVg 7:o~LIo6h㕍+ƪ}]m> Ł"hKl|2c3 zb?]$/RZƓ2ḲH6ʈ"!ۚIˌC&nMLKj W[l촊Д92.\ O#*b\jVDM6; m~Lt} !F.`Դ^Y m!֎N._N. G=v{ M3|o_P?)pW)Zv5-'[@9PIT)睝WEreLC>JuqɟR%.k` /:ϴIglxkԈJPV=S E,v?s-_Lc2{ޘp]jDVih&FvܵwND?`EK]Ye(?j `>Y{M҄_[xxA aXI O1qA]YlX<ed[. q}gMHs?(} M)tljz1$ j8&d\ATIfYƠS7fH.bVhL3Sr%/exQVA]Pa)s}2# 'Arb\m3U&&~I_, N ^Btqb׌]@h}NhHue`]E(q?3ˁ)M":忱~OZ8" ˾-a^~NarqpYME9?fs;TF Hr-~)5{/E`uڒhCx>m L 3Z͡3/R)PN>!9OXhTybבw?m][0+2.#Vi4{ bYwZ.ia)ÆSn(k\P}f=$`/8m OГ3~ 0+)5d_灜a {d{eV%M~\ebB54AvMqhh%1Уɮ>3TO=vPޝnomBͶmE|~@Թ*|p Yjl2! !N(Oą &:ļDKW~q RQpA &V{#T[vv Yyl $oɷ9A6>܎Sa8I.}j/Bb4*L+̏< Jl;TḬWC ( :n+&f%:(;N,6OpK|;DNp$B ˔aJWv1*GF{;կ6Ɂ&M6XtTĬlw*zQ4i\Uq7 ǧmvgŰs1D!4 K $>t; S-2,08eq$-$e٤1M~amVM/X풯Rq4 {WT<do;rň¢!W:d_vnÝUIYͮYoLKP^6'lb و8?z+ǝCI['LÈ~ iA@ڠ;87 &|z~4'VHIH׈{ԜK6JXjАER$bi~~=&d#i*AWlF(R wvtwlE[qׁ`a%y6p"i^'E@>%^\s<KpJt2XdG+]`R,H>|Mg $darM"ȬX=eam;ePW,[#J54<~MZ\'/oږ5ȺAA'#!݋m]ᒎT,]|4M*Qd6ƐzQ 1V7#2( >iL>'ZJ|JW* p2eBoSf+ټx-תnLrgl%_7ɜ`C_Q=I<=|&16)-ƁPHoU bFuvwE2 ֫[V1͐c^j{nvv!lA*EӶXW 'S3%y'ak҂)PKT< 7R$$t+ρsqJ A1Pʕq[e(ޅ>rXRۥ 4,`7u3x<]$іvm/u2ÄrvZ-CajǏXm[Wtq>x^bP~+~SNN-KZo]fܣܙNֶud͓y'*_!5@*fPT}C2#]m6|.T5q{KBAg(M=ޔI|RvI]7 +bp(k.y 6/ͦNckKCN;yz?WCY(OF~6kf_^MNB4"\GZt%0nϒE <)kaZ8s8vkFWq`w}*8n~0s/C屠jE^ 5)~0d+k-lL'b6I1XWщ{goۏo]@z*N0,D6g y9}_1_r7?="oHrx`p.N )eAγ}=^u-{iNC#p[^#)X^-}j8(ڽL퓿MUK~Nn@]ڧ,m-S(s a?φxvzl|aaw"K1F55oP2e8Nǭn"Tl`%H>XNOe\ o^x ݤRԝr3U'9XG'CT=@8A7lzjIKP#6*7tr9b(C򻯱X̵B&f OZ "u+]+53#vmC}aJe. 9g1<{rd>3*avo @.Enf~jl[SqVdթWj+7R]4Zs<8L0?n/?fp/"mVL{O!ޅNdkttqH^qJ8^iy}R5ټ*_"ˉ;}JLK>^|2:lVL'"JPbyLsbжJMyrmm=h{YHZd)>:oR`"9ʡ/!h hvQ<,|Rh_Zʽ 7p/e'D+fBRizc>x1`M aƏ= {NPV UYM5ټ̀QCm1}'nq2ꎲW iת_L9'j(K˯x݄ę@TĞ4efڎ0Y$ܧ)(5s& 5[U̽ߒ}\ [^@Z 4 e5=uR`n?)!>&ٱqHR`'Ɲr\3}Jng`nkA,z.+CcFƗQխSxv~VS(/7EE'B|/LfS3qaiYyKQJaCr=/H=3ögJuxa%zZfNޔ2(eߦB~ \k;>`G>`O5\B}fD.sM2wxR?DGE?3\*wr%V5E1"tvo!NbKU{H)Hcw2X$Ta4G)aXJzNTk1JPZO|3oeYÄk}e 9DM}H tۙe+Nh)ظF΁s8zKMP(S~_c nE9p؇,ef.V;iǫ0FIL@zNjAVp,Ly}f{`/݋Byѽ"g,codv Hdz cYcXD-Xl1y\d [m+iL=`ovqƘw=ŧFX0ihEvZxs`șr\%o #_]}6rOZ޷kc_9 j'W8uÆ4 Qm7<1KSZ/F pKάW]9<ɶe8XУ*[`_쏆16o婌WoKYM"ȇ9#̆MZ1-k&E EvX犒}ߘym)OmA9g}Q2->D4ziPnriP_0d9V hF6#8gr kpM:ς[6`KB NHcؗ&2=J3$yx刺6su{ѵ+ΝPƓei{k3˿#iy$y)xS2 2^.=NR0B tޚ)Fi{9a 1*I[ 2!^TW $gv5݃uαu^mwqWŽcJҟAX8u6 F+\{_V<{ z_pH0Bs@=d690dOl4+V'##1j? ڦr]ro֜[!vX$ϙ*1|a)>2޸\Dwv;A N(9ޛJk|jA8eYd9)V~NjW!fS+p_t4Jh>d-*=CKvP~@^ Dk(TQ\94F#ߊXB++~7d6.TjHLY15 6qZR Lf` ;ܮ0MhXcUe"~ -+Y蝾^7˲Ƥgj,+iW>O5K/J !-d:Wjп HE C#'36^cnd0 >#ô,o:?wNڒk[4+K~ m} `!3KsBajIɆɯ wkk5/f9&:}]89w:X͋ 7DYd|2Ʒi/SO=A /#.?*U!G3"LpcοP)u=t%Zi_r#t=&heLߛn&ױR9m &Ο~+ inӱ.9l ?aDyeN14/ zFcX-]9fl: BN]f3cEi\rN {]kluƃ_.hf"E@i>7S,< kIE/HRx\4$&ՠq~JyہKӸQI|J* %x0=x&Mqu3,_BpI>+έ^w]'8Db6UO0J-}:셲8$K~  ).`>3ݕ /tX(;q>&a1xG -\H&ø=o9sq n~ '}-i붥\A u=ëH"*Y2{$7)آKn_hDGE,e<9Vs+^(?*a.U?y-`5Ty#8>Rq#1dT9Е`H34RrdIBhGH7EO \Z줭 .yu9vT޴~P5G$)xƇB R:M!6Ẃ8d+*Woor6Wj\nĊ8{>nnTєɪ1k)sqؖo~60 ѐC? hiJ䝚IX9f(5q,WyњT$eˡXH8jz1 ip(C5rІ\`vuUp)ʠz_KQHKd=ըt}oo'i\gdo+ǣ`|*3E¼wg3h;Eqd= =4p| o](V|hH1 Id3r#nlGyQf`WՓSPZl<(s %.,^naDc$@ o>Ey:-4)uVKx(PK#gwߪȊVԧRX>[m{>?~օ1D7 ߿rPcݣC]L]Czſ/[,e«ZԒIYa .*H6rT)x`x*ƶ1,Fw[<QUa[?coToC`pt@6y9:q0Dp> "6{WME/`-L6фSz4{걦d&-[CZ6Mq<2r}<+!P˥I&ưznX|(\JO~g}{-W5;4#R%j*]2ߺ&kR%ՒhَѐKn̡R pOE`.^6 rZ/ 43ux9J\*) n2,%irn;K63-<# PA/I%=2[ҤW # jbg*n`)P @i%2qZ[_WrwBNh+Xfb==.7! v5wrVX~meێ4}[ ['5Z.;#V$}W$ZNB4nwsED[3KsĮ`T|5Ѹ{6##9ae lv̝0>_ZJ F_x-R=>PZiD =6黈\c6_]}R0Z,6_bh.RPlĵ ͣM$ q w߷kgW9NU@TNj64r|*N!R  jCсim\ <,QF=M5<e1:%`9c23PKԻ5~2?㍽c@.(% B*+\q+H#ݝ:O.(aƭoJ 0لbFsqb6p3q.v..S\<OؾňWAѱի3rwR` 2@ <͆'$r,^>WЛWfB}]PQw E0rYƴ[Ơ2ٟ@ȽB?A'&/^B\0 nGLFj^i@*$s\!+iFnfxRMizmR(5],q/ф֕*2ǀ+#4Y`F4i3oz[AT$\IbQg< N1X!`2!ߵ!<&޶QSsZ4=m="*Ua=h>8?҉%fWmҟ\tQ1džf"7.o\e9mt*TSAsB|W""өqCh>p Sɞ%Ze=gwV٫d]V U~VTl28!Pڃ8b4JepΒGE3č)>:2jv@Z*î=ԙMy"U6`?Ӻ.7\kH$ܔʄڷI \gQJo u}i^K 5wt@9n_u~K +H׵lG+B0x[~Gkg``3f$\I GIY0Tn}ئhSG(M57CTyQ9ɷOۑEn\[cSH>}  UR^VqR#1!_!YVȰ @]^jFҊ.$r"ۺf-ׄbjTя/9Sj*m u7HbZ#G5Nh뒔Y\ -驽l8= |x&Ko9Ct~o۶MYwS%x‰ڷ<ٳ|@IMXcPR&'yY  gt·lB kUQ(y#F p֜pV/NHAs]~9,,x.Dk7o" r'~ an]4:T1.XuF.GE sO"z&T_49iiGHRlH^# NtMhhFu8;mYZu+_}?K,Y0gwyPΑfH/"1,;=X2^ɢF&­ >빱,fx19f :d^zJiF:2B_4֬~9|سE=""Z7cABQEO Se!ުXxU?QA{-V}2b1&2q˫]nYV+"rT7)2; d[>p! RscQrJF"st@/Fl4 TVN0ԩMyBg5)li}vPd@Y]cI7Q$L]0;FFB#>"/'< Ἵ/s{8T+mTavjxn'E+ݎ '/6JaSCu]6ql\ $ω;xN6?GUB('Zd]$0ȃʵKZpk /ca7h+ܬ A=BqSwgs^[GQLz#®cL87Ed:DyBJF0r9T܍}Щ݀݅&)c/m b)3ڇtb$c "Jagm[^{k !]ǩJb'D3u(qDjD/hǂWn0$t={pcdi)/nWşWw9#7fƑ;x7BǏ$!r,1%-J ן*Ƃ[Rݻ@aB9EJA&2b#mrU*lG-SNq ݠrWR {n;&`/bњY?<^ù>mv0혞3$Z㧨{G8*FZ9]mF#T;|T6 e[݋,MAڵ3 ZOed,L)OK12y5ůհ,J/8ԑ1-_ߊXZ7wouWY$:?:t>{[sϗRSw[7cfJc_]IgrʱX7|ů Ql$G'z46X12,GY ta"X[D[_D[Jd]5$|_Ɣ(S8e5|hÏg@R$Aҽ bXKn㍯ ݙ LҸ"p=$!҆|>6wh{ٝZ:<'w8CT>0үB=m<)]ړy麒o0 KQ 7:Wqc.be&T v1Np3zw 9C#)Fkk;gKu#nj2PQ|ܹ =jg@ѓk\O`Bhf/k`@ a R_s"-cHk'ڦsMs\Q%QakM;Y#dJz%rM6ԅ})""N Ew2FSUT҅_vS:Mu4y*S\3q.{HFSzfI6/Sh] ×ei Sp/u@Tu`dhgDF'κWe:zdJI,=Y?ē6V'ߑU;hdO fc h9RW'vjGkXnWawXoc7Z^5a49adAi[@IlyCzx|XB eHO@:eT 8N 5rk+)ƶ3+|N**tC<7h|B9gW8) i5REGӭWA! e] e871m%jnCO4܆ sċPj!7 /p^,XxUP&*fE<ݫYE2j.7M%jܺ+&YSf>tw ߊ#{ud7c kFZpaԅ$An`iem;ep3{)~A(V E WxIHXVR*b,v`OxN),YB+IzA#^t ํ )3ux11U%*KT͎:=PѝHaYn%Q#RenOb JƓdL2_1KLiYws\zZ-G7֛HKFpޗj~ǝfrʇy"73~oKD䖛 jHvN Ge0Vx=qq_o.h;e3uٟG1_6i`OIAŽS=.ll1Ku|L9mAbFu \qvji]3VI rmر>F;7c= S^[d T[1ġv7_] [,##Cou®fls=@490pY@uhH(oO[#ȅ6ԾGAWg`D:ڳ^2zU)PKѝlⶃާlAxe6AK*" 1)D~%g)tp( %Γtx8mJR䍷OXѣ/BbM1M#m,A cD?P!͸5k :6Y6Qh}equdu߁̒wy]Zh4Z]uOJuc1r eP5}pظGMR-?Xoq'ѣa|V q伿?&Z۞~^lZ'eb塌so8n95.DA3Z&sNJP1mV/I3& SP͎XȂK, 7tm6}dVReyxUǟǜ@UhZ^nϪ>XN1$ _ a ql#9S. 0go%. nZp.eytB 4Nwq(z }$-Wik~V Η3 Su$_TTehZ_ۿ,%w:5yhW 1k?ۤ}(͖v,=5ml9>s6E&. 1CAQ |'nLpƤ X-a˜қoiA`j3#pUEQc< 'g7 ǸcynR+c!DPMM,AuWI:gr2iGaCU2Ag#QbC5ho-u!}|Am{dH.jOnb1XFkGDƴyATѠ󗗭njи@#&??&gރqXgSДX+(`3 ,H^GD_x GQt'z܀(yI29Տ7DdvT۟"^d.?mg6_q ]hi02b_<&U> <|3 ?k4(׌*DV#PZz]&j(W}HXm?2 IʲbHpz<ɨ#:INl7{ x9x҈Iȹ [1MFyb'@qOPf<+HAK-dڏp `#UgڻY薪3ԋr 2u"{pokڄi,oI$1_;'O W& ̈́A`:rJJ 8^+ +~yPnMؗ:DqS W:WUچ `*t̠MIUdKh}n)" Gk_z)|`&i_6.zi2)LZ.ewpX6de= \6}k%hPHMtNfyE 9]8W! \8qnTe&pDhwݥZI.c% qƗ[BDi|85jbCkRөvTk]6=Jgp)?̇bTxdkxQDB׃hzXs/[ɸjg!r1<\ӆM1%o`rȽ+Ç!ҺNHngT0MH/7Rx s`h2bj BœdbN-0̐T93WWI`@Y屎y0OҞn$ TAˆ+*# Fgv)ARgm& E-z#[0w."VHhI25tYD2ص=3spzs6$H|[1N8*i祄Df61V&bcPGնp>}&UX?3Q3X;aݔf72ҀJb$/rY!ɱw ŔfjECX~(HˆT`QGJ~fc8G~L'JP}7P1fb\=}WEi#+ہϠy#b-Ko[{H@tp{DYA)oEy!ϻuCM{\df2]c]nоiCQ3*~w=kwy`/bmAnk.ROq#@oXSMGc d WT5}{}{K&`dVmM-ja)ZgȠ3#R~}n![bd_9Kno/"9+_ٺp>'hÊSgTC_9!bC n=hms+; 浾A>m9)u,lF.ڴO=+_IQ{=`1a a|KVN4[!םT*dUnjiZ܄Fh(!{/fW澫93iM@%5~s٪D8QT!{7%q 7Iw!?+ݳLIS&Ncѫs#$"T lZ4yA%֩N~W:>qtJ9nՋL5{4҃HHvk0c|ъ#<4jeWUj:㜷zՁO1n`vP݅?&I]LxlSbD¯d;bhн4}`}5(?5w.bڴ4PcXH[G=δh+11s bX~3^}l\T.[<ڴR=>S=Phme3KJV۫ 9N9 pX7v%+xXUꊮ'ʁC Ϥ'Do(GQfKͪ.1_9eYrBir(E:qu~HݍvW;/mV*5Gq4@H;5`k6r_ "G6 TfxוߑLp5BQ|3S#4cx7y cy"=>tEu+.j2{h&"#ґ%}v)Dc/[9$񗙼` -,aUFcZ  P3YsYP#=NȧM.m.̫ڝP}D%ܠVW$cv0qRKQ9_t |D/“GR9Eb:܏x ͷ07'YyDs۞xC!F5~Eꄆs!yEvYqGYo:"R!iVf)7cIlZLkJ5EZDPڎW_HnW|##0r*V>gg0&*crS XCd@$[ƿm XPIlCI(&_ &c'&P6{;g7dyo vM|N Ո|S:-)}|d8QG#{}a$;Ŕl/@?-_[S#5qݗVRs_sW'[Β7+u'+t7H6N*OJ!uGV&_c^0t?)6k2[ԛo7"m<%FtEF2^H|!JVyBȘ^zѫvc%4T:[w+OבӺQ M"BCs)(8/b'ߖ&WU]M hǚ&5qxp6ۘ# +!tָ > j#eԽ`i*k!>XD?"Qƾ%H>ye:? >-Y҃Lp`mt>yUFye ! 2;Bi$p¨aܤ)hMC:!S#~#ɖ/|*3Xj?, X])q Bfɬ~Fwjo,7۶>v&>粄4.8΁9!tW- b/r'5pׇ3.!6Se$P fNNqq4Oi7OtE@#]^i٢'m(B W}G+f}\NHj:k!j7+[$ V˦4⟐>0~"_0o˳zrq59*N 9s ,!K:=KK&g-z#6sDi6-쨐- euN?d>(h؊OVWe*w`E/ -6b|Iq#'ٶ_uj_R uva) B/R r dZ 0+ CnW!0^3;I{BI$LȬFr7bݎh{D;@=)@Y:OX.1X@B hlXH8.QT^B KoG3}ٹP/n.ICW CMN[93IRg0ZS@%8/|c &jrZP!nY&dή-&قUs<3qU}% :s2JX.!_)FF4'3XgW@lSGa-ҥdlcdۊZk؄(u{pd|wMd>o.P8iP&117p 'yI(Ǖכa:3_7&L0Yu#L.|3 5к6S,VD_ؽB`XBoFNaܞwI_B.蘧 25^3j>-@\P"U`jS tۡ|Wr&Цo`l %Zb.rDJJn _UAuhA ~U11G4W 4`)糥谟&&H vrIDI(:./-p}g= *ot-ЂIdˆ|m Ua߹,/1]d(:Cs9+^ݴ avBPh42ɼxhQʻ(ay9~$K Eï!z%75 ӂ99.nPGv35 {8^/DMVlc QR+pgBeR$l?޳~n%2TLۜzocKCaW|H:gB正iϝ|_Y@Ȇ[Eaw/D'C^peC|>W,&+xzʕ#!~abH Ч1vw59<EtYw"#ޞɅfZSC%L֮fITɕSn6b˺\]&Uy>S n5:UWۧ@۽ADI!+c'˻S|oY\`D}bK N U@_1yP сvQdZf;& ڎg$o3/RXڥ(T'igb |ۦGvsi.:I36<ӱȒCxgpv3 :#sz6x[K;y/eP񿨦O0I'|F(߰e|E+YL*է$P5ҮTjssWYp?t5qo;(lxF]\LrY+0n Fqm>+<[o`*4KUaUۜ5>^ aҾ1iHdq p>{>֬U\k4@_Ŝν"TH鞝v=Kj$߭ ~7]n\lH-E멇Ib@< |圹u1i. i02bJtU:>͢[?J,Tם7k毸J?JuRg=GtyU)DgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCN{e?)x@ƅ2DNVR8|e5u)*yIQNZ]}Xqwɨig;/< czm >ln h}O@Hᖡqg5I;" M!D YXOgYZ7zXZִF! | ]ŗXi%L&ʷQw5~7'"XJ&2bؗKJP4+3={䎝M͐˗0^hnrB8"]-ԋP `W2;%MҊC2NDx K 0?W_fqM ZD1P. 2f ׎"ǩ$ZAq Ҋ}E}"P&y ׳uvHmK3Sf`Dt_q<كWD4~vS~EB;bJŒ$ѹN$|Bit§(e]7qB<tRކ{8q" `;V9Ԍd#g3( T ΢yR_[P~F>9X˕;P_]%E~ðtk"fZ9a73Qڿb"NE&A؅CߎT =}h>ݎsRJaV5+j`TG gQ}Yw,(3V~w;ÂMPd|q`cV l6Q\jiB3X䈵t/\&psKIz}Hϕ#F98"+TkQV;$uweĬhDB!D5`N~3V[G / -$kܖ%%\5(60 c4S(( [A0sG3<91?KKnV xnֻԺ1m78x} j&?;kzs{jv}4IͨqkqIu,^/8 I@S P PeBChMh-t4`Wm3%_ A (iL|3vW,@f oVjx 8B:c^/rua^0x+ψS8Vg\z9rn\L;S)t3zW /=ZBt*V IY\Oy/?L̏*QnM-Gӕ#뱓=EA.SdܺT*x`0ʘM %D?##<)&8؟d2H_0Ž́lRcŘ@T_|Tgccm~S OfEcN鄖|a8j