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 ) |4 ]%]Groebner_Bases:threads=4elapsed=438.508cpu=1524.312gc=154.984factor=3.487zXZִF! ᤖ(]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbI_<}=@⚌*טߛ뼿H*ɗk/$-0d4GUsfyX~u?p{?9 Fm ɉf bG:G%7va .B4'] 6[ҔہG X>tj+"*ܟлkc$Y?!)SG+ظN4_&c3!ߔ64237D fF}J6 ֬0@1[Gs^#跨>wΫHiMra ?*(RHr,+3n^/SRM.cYM|!<ΚT&XYA4PYST՜ ŸZ)g`Er~Q\0#UcC¦`u30Pl\ZY]Iy|3*rNlf^v xjUdYG/$V ֺ+f䴉-_REDHKL0fEjz`cy!wx+͗Ƹ(,!Eb" cFkceWc6q:]SLޑq eZ@k5.M]\iasQbv5A~>@#SV]t*XCldnD"=&Gw' l{3 f vJ\43$\*c$`hg2?p5e SwVO>h5^GJe~}MVX| 8\>Q6o^e 1UvY];ch/jwew_ArZH(U3vѱ%'I=B;׮>_SgiYRpIFBI) %$ב1(1q̕z%Z02"‘5Ij{̣nUMRg}ix33EAwTD\OMKpj:ؖ1kn9^ʌ)+I$NyWk.Ǝ݌q/-@ZSRFin?C*GDF4b^)&- $0p_hJ7sp`ݪ*Xܭ\ĝCbu&sWPd }QAak!0a)Fvr(lv2lS!FBML8Qpb9aɍg#.cq\4l9kKzER,-}nX6WM)G|`@3cy俺| /`q˪\-#Nal&n^*Br_*2Rۀ+CK60ZFm!#{K]MA8 t˳h$Ni_.nmVX!:R,Z?Z'A2z( {:m}b+2`ȣ)L|W =Zt^aӆ[isgiOgP2ʎ0_4 wYp`lV˱z.SeUJww( n.wqÃ_Hn`vE"y˿&>~gB<a+!6s+`ړfx=`[wmGXm|4k:M~g&or2jiz OoU,!- D7Ŏo*9jÿ}~yh QOte1?wp?dm6 * Mlښ+Onkٸ84e1B›nN R2GKm}oq0PqYgz#i-*0LQSB$R-c98ŬE- IfiqL_َPn! q Q{,@_k,Iew)9p |l^2X*G>++|pfNDןe_b;@Zm[ZWʍh]ًA) ԰ FFkL#t'j̇HdzϰwAt*@1=e~{{G_JQQmOz9$rLxS) 6o6d/|! QSQhi qf6qˣ|#_9QmZklM*D1vc{gPu~*w*60]~tb,٧ Zw[) ?MGKLKiY}T&o&I%'*ғ8glGZu;}==E2,^R'JMp:@0NG1V^a Ҁe֢Xچ+#X7hg8L l䨐$9_ݯ y/=هS\w# 03ЩsJ޷ xG7!6PG6 E"^yhct 3sw>0̬ 3a!l4Co6FzPeS/Ԩ0w@h:RX -+i7eI3E\iPB}_%# LR@vaL2su ֍[8;9>a9W| I5S/҃oV2k{-B 0BBMA8tBCCU\E;t"na|xJH~/EI$ijpn,6gXx=ڡ^OC^Ī.g27#eǪc^EzWPo85ӳnńE IC (:ַ@6{Z(KT1kmS͍guгsxGUf6JH>F;f9; erH6ֆ]H'jhG+7iH졂5D0>,_ӞIiyR߼fZu:1>WjPٿglGH?wFR7:(pW "FNɸ]kp#_Ϧ@o-#MH CO·}~d?k|FѣYov9vHTMe$n[iigqO^ wt~*1ނ1Z^!Qj_q;$[v}k6N>‰K*AqgVg_)CSШP뀊.s±/r$,2l4@;mcծEu{Ix+PǮ[;j)VAA`"'L{ڳM՛:bEn#ɞQ%‰|Px0zBwy\Sx2Ao\|H7gY^e%`~I!UDzHU̘| |s:x\~~h5a:UF@SB\FV6S!'X G MQ!|"~->{$#|U1yB$5$Km?U\m-*_V^S*_H47_uY4Cr3y[x>#O}pAAGyvEw9i#XՁ׉y,~}vC͡ŽncEůp[7z'vp^,`Nv%5 |5ᒰlOuBiڸkH]C̚BIJ߽daDar4쉯,X严/قj%?ZrnP?8EC 6:%W]]ioXmYwG$d+pk)XRH2`9ӯtFxgtUe|MK-鲜G{n(5*# 8+"*s;2H` Td1$7%s v*}vm d2wB|f}Ɖ[;/^6J"Zc*ISږ6#+1p]a H6}Pct_T4FyjŔz2J<^ d.l+J41+#OZqdMhS#PsZ8iT |B@h=N_g#w-@,/"f@(F@OܭNy`iLw L~Vj,\RILHss)F!`JS{cn`'R"}1va*vҒ%Cγ$/ ;}a1q@,%I w`7{Uf&/)K%9#6rŜ7Lժ^ cÄX'r_&Pߩ+j%;s;hR8q{)"x6hZIY ͰQBg:]Gsҵڶ꓿3 Ⱗ{ Q Wc_KM`Qu "3CMrʌ,|{%?,NGoQ[#% T}(_罷O_s+D<^̦\GC\ }YH[|1oaGH/?G&T?PKi|s\gi<^whi )C7_۝OGXשB&i_%I]f*W-^XOwÕ vw2[D0J8eh&{ކ ^=e\lTRG#\{G_X2Lfէ)Itbs'}[R(kYvެ%+(('ۛit,5aٍ޳>UL~KW&\ [Bp8i<|Ek 2&t՘63K'"V)ٌܤ_YF/^+u}Gr߼CUiԢ3#ysAG-w~K<{ȷR!Y|t̗EGZ ȳ;)hV'Mjg=MI՜ز%G, - :;Z o74lKg\#:hxmr=y"'TTYEG0^)l'n`>c,fBD1C6RjOg^KKN ikx5İ |AyR^"a4kzD@+z-PB5{tӝ,Gd;b\;dߕ׎n` MT |d&k̽FQԠwKVKNj"5-WR7 [0l{e0((h3ab~Z";8v"3W:٤0n&Z[S:OP2NvZPh9"w ZgI&GH hM].嘗]Up6$G74}:\:~}-δ㩟}2Ԋ²VY0Qg{X{2~\[q 9#7BU Q=-v}Uj\` b;xluwxʭ 8Hɤ{S-rbSZKC5𶋷5>>jye4gklh_8`Iqjֵvσp؝ZE̸.LtS(^dp4Ӥ >}"NRŀptD5gC)c']7NQ  bd,1ej6\c|m+0#-KB2f<ҰR\q)[_ϥQJ.BO5C}z8|e*_pJ%(bLkJ}_sd$l 4*8qKf?"fv^өr)v Sѷ ȼ!?bNb2c+=ٱ/[ f 5t|n#[{T%('v6d" 8jw-De߼A*G[Pd?¥h;asҍeA}Bpɰ9RA\AFFP1# K% F[ۓԸQ_~I ӗU>c\M22IL kʖBl dW >iS;Τ+F=\W)m2?%{Kr\AN:~%s/coXmhO@>ū"rET D>(!VnC~K$Y/d'Bd1ދOnH c&ޚdE:"1h~W%=Ʒڤ€<w 3M 6 J4 dIJk4u-J6P>9A{RWR|;U]i(jjߨ{8D(BN[4$mh4؍#$NS `uD K>O֡d/bob@8E>Ts4R؉+9A+lj r%J7\LeIm!(G@֠q yL9w缐q nWQ?@&XR Lx > e58]Sopz"7,e8 e{X`[¥z>H䍤:0dy5wvr +2[b(fzS$AP a3 Z#ByPF vҞ[b'! w<3b~'4\ [QS|fS1D:3 I)^Amm<>^*A4l#T*̴5ʑјwY0vK;NUj\ʑXАǦe+5aE^96F%bUi ʚ,o_GMT u4`$:ꁅ[i=N{,6ߓJc<^!ve.í"|UՎ>Zȡݭʹu{L#=Imk\Z d0D yt`$C7Z0 N@kLpH&YnV[N~T '}9Yz?n=8U*M?`ʗ1C+Ѡ;$kh2f>NDbu:u&~h-y.l PwE Gv}ŗk%/,/^u ㌷1Pw|闺Fć` L_Ng{Lgp9S/QgYZ7zXZִF! r]ŗXiɟˏ "B"Z1kݜLe ،VA9蓡r CΚ.5;Gc~GFHIbXa`7)I7 q(B)Gmp3U`ď%yfR_]I4Eȓt1.Ճ_HRQkhbE7bgޥб0iԖ@bbը({:s1xUWxzۯ^,]D^cna|V{ccC_$ǫmf;So]G(oXF$2uF.lw`w3|Y}@\t<{)C\KmxvzA=*@b0GHCRHվ ڝ.kRXjZ/o6_+gUC%%Uh=qOʓ<%NFWTVZ=]:X*ʠJ\xs.h)ٲ@$@ʷ<8!%.BLѦ6=,o[3{w|ѧ@ CǓVLR273 .ҟPil2 ,/{_jF RGCuMZ:M XbkA,;>3sst%áw2mm7Fmav WLvoXsU0lq[pL?ŵΈM?5]4UA2քF2L`݌o,p}m*_d8ITU4O9JhOga,L,囎OTsܼ$l%!`Vղ>}.9R/.b2z*JQ @Sf0{P9_K.A+4V1wDkBݏ5K(RMyݼ_. + h5f!q7z\u^-7| ߩZ>Z-=a*8b6RJH iSa>1Ҧ'q9N6yW˴r9iSY USCY*܎e<8x R:!2Q07Q7B[t:^cIބOcJwPw]E2[FG&iց.X,n$,Ua|߁Yu1>P6"nin$Xw. Xقr(k#%9kƂm yE>#qQ<Sgr: a3h\Isq/ .Gމ#wxĘuL&g>Dk)ߪaw)|G6UO7PR1IbsYXO'~ͣ>`Gܘ` 0 J١xP椚=|5uIYF8j'yqg#M۶ *C#ٕO  ȽK\VF@U7g}1LM q,X>!ϖ֢Ci|" |Aj*OJ&7NzU.9 utvP(A6gkTFt j FG+`:X@^]g3,և tMHfN]n|T#KG k 4gYZ7zXZִF! 2[R]ŗXi%Bz]tŊegkyt<gi`tzdUT}{DҐEy2|E"J?|YJ3gm_ٻc⪘,?pɃI z+k; Eٱ4 xtPĬQگUo1`SD, 1+|>Ex$~ "࿄ 3]4xI%&ű.o(74lEi}]}l/l X)@=߆ѝBgui@ „&3xĶ ':芫#oeyq fdhl?PrZuÍ4.#!u2ˤ٪? s5ٜ+dYN?Sg?] TgSS0kk!Hh"NJ Cfl#gʐC'm9\.DIK(ܿ˰(@)"affT/%M@@ssMp[~e HBXWS b  —Jp*B1'>|y|#il&ZUV!BHHq % 9Z,WQ-P= t&nh[+MU.c_KQ*[; T&yIIG@b)BnYU.n%\GH>ܩ8'aY7U3]HgİfMb'Tx ̦?p8yIߵ(4{L߼Qyɚ"LLtLrvaDYK\Pv~X|1Xdχe _;ꁆXi$8Iryޚ Ž[&9"ތzyor;b(}pE$Cxva(N__I U$g=97vT]*l^̇Fc DQ})GXK~ǑVcYtẇӇbN;Kyed+)C-1Mq63i+?h]ղLf#Ջ[gKĊ"߭rMt` :1~dr["XZM0;%/M>4\ CKo^Qd nĽaX%Un.˾Kւ D@ϐc rړ*b͠ t+Y) ˣ~im¼Vtj[)~z NLnc:p]5ŖQ3G\-N X I/*M\}nA.8+;mwx;=)V@Sħh;Mh oE}n^/p}n4bE!-tfvΈ5XEJ}1P?L4$V'w^u1FwiR'~yrмvV-1%e9 W%FtE|_IPIw҆$$@^#~FAk )aGs^愄*ոptWh4\:;B`oM7U,B۴[rkZ@IJ䴡=Re{ΥDCb;'pc G)/nF5p(](땍0ê8"rÔ S7Ъ/g$!U8I@33hr}q`[hRÞEz}N:ӫENQԩ!J\茟(F;LkH=!|s-o]OG%Tv+~)Yc'/N]#ʥW `;,`+.{3S2=5_\z}wCJ'ulVG/99l4Փ3bơ}\+Ҹkkԑ۵?1 f3%0(]:EI^RFғO}m|E6BBP[Ogفf-T|'jQ!3qr#wͮҾSm|kt)(ß ")A2Ap<]H0x d@!Xxv *W /Lό.j\bq$ѹݽx{e]5@,_aCM]3eʉs H4)zCFp{ҡ ;5jM\i`ՠJ,Mݜ:3)1JxrR)T67Ae2ML.QRL/-[(y4qgײ*66{ =9Vhl6)i- Z]BIUN #8J@iGR_=jed8*<%!ߍ(otKv(*oUnnR Q#->Q e'8x4h!'._?iGaLy#H`#Y\pN`j0溘u:Sq"UPm2Hԥ_*_yzd\yfvg(1kKW.)ȶk|9_-g7` GX{ Bm ~؋%Bqp&}/q>m场/˜KJ0X տğċ8Q Ч:p^AVvLG53OSO(}f(V{c*閞͉qj51NwϏb.bDO H|u9$Gx(_> 5^{sX[uM&g& ϳZ;qf$:fDzaBu~.t/Z77,)@B6nAUdͤU`y ִ:5yj]2}Ų?B Ȅ798?L`[+砍KD:2!l0vnJЀpW7ɺ!,pDʐүjk*tk溜j63P:%@ǫc('ܙ+x q+xP X6F)e7ޠuK#g|kȕjc(`Kt|x,rC`IzǓrF?Q`j3eu4ņ :)v䎋!<LKJEݽb9/+E3I4R@˪lHԪzʷ U]ylnߤM:ڜ{amZXrԻM xt[ƢMɕqܧxrrK\NO p`32ap C^qtEc-Gg3^= ?Xgs8u4,nOڞwփXѯV/h3P}2x$ ԶlXTT uP3^a๢bt%aݓ: ;7_c>H\׭/#E/J>r3SiAC!C{Q9~Nk~vp! Y69="`94/?o!@9OQtfg{`>qڞm4{ZV\ Rx`? ukLc5wwJݧ =UrE;{]iK_,Z228Hy)iti'Ie=Og,ر*ީm;_;ialM@gE/bH* Ձ !C@Igs۩ЌX%YIbY0h䚇jJO{o=u5E=ŭ'>V!Akb=ﰙ-a![SSʺOoxݹ_TLn`[*:Zj٫n79xZmn`"2_0Vh FLYt6'3 Jil}cԭb>ڴl[3)oPKSarƇQJSo>ɓ bRuӀA r,cNnM#n}QZ^l5r.X|)^ N9aEٞ k"I7#:uG 멫Mz>Bb~pzUMW4ۭ/Ppa.;` |t^"[QY)5IȠig>~sD Tg)<^ZQ!Bu RS8F*W'7n(Xص (㩾k#k~o0 X2!ĞI'ɂZ Ʃ Y="3.ϟ@>$c'r̬dv͐۔|;_uViB&;t%;6pk|re:Mt1ȇ]Kȳ6ZFP#ߐE=纺i[# &rtGg<#mjM^ ]cJ)#TsusFsx_9ATθ9!Ϸ_3wX3d_ˌ=MS_:[>+ݒ{ .JYot%,+@ojG>V[qr:7>4X! d \Q1 C`2{r#lLyI'H$a 겴n_2~Q^r3'nv}4J''Wиlqzӭ#62mOfa"c~ɇ9mb^LskLV 1N j1놻JMs,=]Lɲ )v}Цo)y*:a{_Ճݜ)Y2ɞݏ.4drȗo^x[w i\ P1*&ep7csqkDrMx|=vOE.ׂ4{X@r,wܿv?O3q0A4迲=[* 35w2NҫiMN R,by!w_N 73^nW$X<.n>7^ ڙѸu~o[޹coi@#\ F>!)r} Y U~ ·ӝ3b`DvV㎹2.+-:Mۗ+H/kX@iɯ18c #,F 67m}fK&7& .p%yj1kŠ(@DvN֜YW_?spA\Ey6)dBh^) *c/Geݳ iocJI zin*pWɬ_3gĻ@(i#=X@!6 E* }a>{֖P);h/|W'^82o՚ى|`, Z @ak$3{?8 B!Kn}(H7lSVJ MKPL,b(%t>(hWAʕVAM%|+ˀ87i/o kxop$plMYEpqMV:'W=c,JOt".c1T2zTK}؏ O5/8dJ;ɗ"[ gG;"" ywPbEI$/(Iq& փ g:Ka8w^V!^~ܻB/AD*ۜf ,aY@x&*?*٪ ||pC=fgM FT{j]S&^v+wu(HzwoJI7Oy?WY.!ӎ\'l15N y5%+ ZگMOoA@k V䈎nZI:CXq%3뾀؉TX0^G8oF,D}6σ4X P6O[y5kOix,9*mҔuyA#!]ED~vc=]r2l,n\.Sebb n+Lw51S]<g3,+8 !3IJ*@6V}SCE24iX5nUd/b7O_fKb,:'^qN}YB<рNL>FKeo6@U 3IX ݏ\>6G2TCOPm8=1~s7t  _CQG Z(6`uy̍az?]y b\`OJe rU V+ؑ@n!_z,lw_xo5%Nc >eEԤ꒘k8c|]5RN>ϓjlk 1-Ά 6 G-NV^ɣ \ ~}3(@Gy+yHhhRB}$u i}5Is!ef^ NKPJ<2}O.Ut!m f)r~wWP-{S6hk!/QM{G$q8r)ҾSRNV*[E_yk&,2_t#Uj)ei;Ud RC4gCo;cua[1Bd ftb7Q9"89(FUElʙA҄ݲ R*erڼ.ܞ!~DSm:ng^t\bNI莾0͞}xbalPJ{ʤcn E8c ,J3\&Kɬj ^TĮp DV8 h\&h/ C'R@S;)4ȻwmY*t_OD9U3LHdGo ߠ {ϣ>}`'q+UUЗ*fU?7}ud'xxZ3flV9~egNhlv!(@'ֺمl1h.O{݈Gp֬yl`F6&0Хy#^su/W|XɐW E?sZ~^53Ttȝ"Mm%$r|k{2 b\}Si䃣ɡ[/9B%j \\b+,n_JHX|xPhe95n$_hB7]/ G:6FӴ̲KPMys Dj尀 ~ߚI:&4^S!~X?^7K+]H>!)$lPٌqZJ- ,dZG0(:"Y`BDbG] !CՋ,(DkWwzTF(й2ڇͦF$E=y6ӎABe.tPEIB(ebbkBZȖZbMTN,x%1 ώv/<ϲ] 2eB-:dY攇m+?ԹHq-(`DDyƒ~hS)攽4<+ G$sY>ԍ@] pЎHtUvY-2MqU/^(c@y"!`PX+~MvmHP`A4 pm_CcJui[̭O{vӾƪdeVE_/^woyH}-XFЬ$Ѓ  h}+]}tZ]/ޑye}c?:-pe9>_zYД29ϫ%4g:^Mp4=T[oV?$ux3 P hRN~YnqE!.VY \OA&ORU.[&la[UWiʡMd\88xؿ _@bXQ4k[iRmZ ZUȃ49c**Gt/<_k'K@lmx*٥ǚEo7bsnHg1ɼqĦjTGGar'V%mހaXHm<:(ЅCeI4V[z>f Mw 8cE0 aAOAUV33⑲ȝ ,7zug)[6&Hf1|fIǚ4vUmQxږwY3WoRh`se՞+t"~ؿ| O#{9_kiP ])FoEUAC 6{/X=Lnw!Ks Wux-gt'Cc;Њr.Ts7 zU,lEaqjI[NPӎ7)ڷ\YqV0H7Ae%({^nXnGdG#[N- Vd3a* E547#WNr}>zվ ak7rcm*Qt i=6B~iT?,y%A3")4m _)s˺$u%x6mS® v wIᢲ<2 DoֈHѾ5ccl,GdK2hwśG `(eL ?$e ٔqD+ 3tHE(Χ8YA0hyKn.DrIK`̣*9 HL>@ED=yj :[/V㧊36qiG2n1wAqjȟ S8,{܎Oi?,+)cTı$,C2+l/Z(,!\}EtO/i7~[ /7-Ն,E 2 56l@.̼@KTDk{4u^g2:bM赵4煮Bp<slS栆J]IV"lwoq,#R UD( L[!A=/ ..8"w9=m<=!_Ev+b,oMͮ 6lPQMYʏ(}jrQaz+sc`6K_x un0z Ot#`,7\GYdv}@^㰹@ Zi\XQ~oZc?h󏢄hrڹ.v961Iu@)ɪ`6˿!~(UENŽ2њ(#2[)pDn=M?6 QF7$H¯C5vok|j08?go~T]X֍6Y>";&0߫OAgIM0i ay[Qv`(\t4g,NhTH BwNq-6)pm{ۢ d*]>{O'cN-M`[0&L7Wϻv"jg'Epd=Y,* 77`6}$!ɗR7krlqh0]xIgYzDt2%i涳M''fT5F`2~lBO6(5VQ xk[;^)2„)[YAG#N RuLhe 7;jjPSdFgmBկGN+Yr(`Њ!uS匸عcڒ{/Cx|UBH (yh5vW˚EC{ V!h"?hjI[λ-0ZAN}={2֭@ R6KKB ;8~2! iFg,gGw׃5;C/Q3:g_Um#  A)0=%T_hl׎Sfo08JW[./k߼d1{gqn`B, qɐBٱ }JkKg O_ϕq5""R44[> rݼ#bBr#Qg@ =O- j }G\xkI(B[ (vzsI~p-Y=ᑤQF#ŨWo!B%t]`2pQ\B{ZC6SWϪ^П$P9PЄBtW틧#I&ZoL2վM:/)|C;2RzհHMpMzȻs 4>H JB,2CdO?ys˙VH ' _L9C<A14ҡA)>9\=Ίiza*KUc<z[F Xtt o <>%f:hȍ}%+#_}91[YpcBOh?\UӀu׋R Ͱ߲)_?)ugT*Rl;-YKvCv1Yi Ia {V!|Ok[gM/!G bnsTVB={` F? , 㗈NIgCifBDo=[Am-f7k1>m٣/=ݙQ0z@$Pap)a2ىH}dxWsVw![-HǝfxXvu$" W+gGBO_46R8IФlNم#NnC@xFI[ P,nRTor(eQ{,j30ePjqzL.;eDvRqŽA J]6T}d RE*kkOIKW?czߌ?/.*"cwFh,X񚟷\ƒT6>F3璠Md)kGd=d_[H~nơW~sw_bBq|>Dq-W'ffߛ30zz[u5"嶃?^:D//AiN3Q޹~Ucw,(V5mU'D <%2!aWʎ 8k+xߢ^ f?n:QKau&(4Lj'+LՈozL5y;(x(VGn&1PJIQKXTvj^kQZj{Ӷa0q9>RBt>պ$>#/(x^QR)֏7Q%]z ,w~lEQ¢U@mAW6u;-HV{( R4l'Z*yݶbKcԥ"ߧouS7uGMvU%"옘$Ԭz^#I! SRUg\m;Leu0}<v@/Czg mӇ(#0cFijI)8%㣔 [."lC\tzeytEsXp0 aQPkNu/ٮѼV=!GU9~Wv#je%T_n9 =ʶ҅ OV#ZqS_mEW/9 +Cx³T j!cͰXohݮH'gz5X\Phj_HCK$;OeAb]hRJ'EGº̦n 4]l|  DB:q~xŞGs4$?`r y<;O_i.?+hML*d^|poC1yxO~V/AAGfC9͘/qG%O"P髧?? vVx{`ޔŞ_ar?:ZCFƻh(}BmKuig8k%kj%Ec1̆Yk BK*cW\3B@Gl/C937XdARPwTGJEq|e-([P:PUpwNDWR8/2Mk²|NRXDj'Xq'^锎Cf4kobFnSq>K99+"#XVmGqm!VyڶyMwh%9Q"9轢i3՝+E]AD*3!0=N*6D;4[(ĹC)-^#J4Ov?Qt2I6)$Py({;x*M 2;-"HE?!ud?>ۢ^a4-}.cm1Ա }q^`7s ZPU0vxf{손&Yء(ga|-č !6O hO=zV3AoǦv*Z)(.~P#r^^B#:=?K R@w_BQƏPYi͠ǵ.ݘNS~<LXӯ%?Z'MI48l̽|).ʴ lYUe$ X'ρH{@$&ف",W[^O5(nV"2@g!&U +y lNc۵ldXb)A1f<.|] p-\Gu>{uf%|.DtfG@[n!ѵC]`Nq#,L!$ o/wЙn^*2.Fn˸K_c_#1 # lB6 iQ=ZC*lf~ = b-3P[A =bTEuJ3,IZ>ju@֘5Ⱥ戼jH{J`BTQO)k|&Ɏmt"r]^8d߆¢^scC ,\ugD.E';NGΧ69+~j2; Ul hV=5u!M^RM:~6"M G1Hf+Ai-gX,SP`}RtoZfPr^Go!}WqUti15ͻzp$sW@q{ O;*7vI?dU>-)Ѓ0KV4FFs`Ҭ S\ pR/zkXF9>9G9Mȱccϫ':]ݓ|Yc+ZPЇ@,ejY:Ӊ*#NEwSψp<"C/ `( H'ǽai2mV1ҔZV.^63޴Io)LWh/8ƌlt v&96e c ,:+蝾_]\Njoi"Σ3BC\mvcӾнJbxK$"ԧcL6Cy}h,тNƏQ"Ut`LXB p%^,٘WF [5e'7/ہt# x*"DϧOmȖ4$BcbEM]eGXgϠ.bݍPKmK/Ʋe=^U`HN:j$ˉ%a`at'fƧU4NM? \rWcI^膎nb;3^3;@q4)o"<4R4C=aV|ؿ)CO )G 32G=ebo(DxR#,2fVea`'=v`HiK^LF0~oA\dY %%]eMzXId%"OToȣfli~p[ ^F\h] 8ɕ7wvfMD#3 ihȦa`LW*E٢0yr'qL'<>G$T@1L:/^ψ"[r4Wb,¹.چ<2_P~Pf3!TE׀DŽc6d&^HCI ;N1Pŧ=߬덕guYh`JG=a C  -6!J؎Ij,\u94<̆-ŕk'kyA@zަa}Ĵ?M WgE ]qG$# ?mMԎؽtK|Q /E\Q^%p!)Q^:ZG~Ī=ySşL4ߖbA1L܀~QZSv1nq y*~-eneFBB"^=!Qu/AHdSKwb‹ץ< 24,;yϨT=@gsDG}x,Q?8_FS/T-n <7RkeGRB3z _1=zg׆g k̪PrX`BE2BLյ0Z Q %G]nӏ'X;GYvլ:6X1zxGvgG|tj'BȽLb#Ocl"hHIEq zõ8;-\em'_w;聶*/"8SJE6VJ/iHHX% 1;pz7)3)&AcT & F/n'Aׂ*"I*` u_0 ܫ ͈ (0?i<I_]3vQOF:Xko+Ept7˼ ܞ:awkiz](EY^Vn'򬬍4@Tl^0̭#Bмq;*#L\dw:/ &w ݟg.^@giUۺ-XeuIޢ'V+IUKU"X5֎80S[({C(3YL nMͼ62@A>(}6"c}"}>_s~ `S%߲iɔjv2azK?FMSSb`Kv>ugE_ze_t-) u}'bK=icObLby˟WЅVH(vT&F=;̄9Fgh-Dw}FS:.Μ&r?%B@a^zsh3KF. dLx7 n+d`WVJq[ A8}o|O_\QNe7UQ`l@Yq m]ջ|~{#)뙫_O&6UfHg_[i~!GӒJ*G439 fla3(^H Lj>? P&nP4؇ᡰp]+.7fp&/hM` AUf%)X2!4S5m\2PVyО.J|p^6͢PA&./xij]ܓLx&A00Ā<ǽ|c-~s` #Ȏ籟HZ#r@ J}8U5@HzބLᤀqwFVHMA{ju7 "5[eVޥk2B#d+DNq:^pkx>z*w{X o#.6 u9R¢[c >]r߁{$[Ct%Z T E ݉R@u= P{$&+zg?_+mǂ`]I=PS"LV/esګZrm+Tz~^*~{8#i)c`r@FL.߄ouNqI"՜@+.<|mRf'1oS 0Y}Ԥ lF4WZ#.-5L(")j6`gDUU!p M0FL_/0$?r׃&//ЀB ghjoba[%5Aws9 @섷 ry /6G`ހfcQbo*El. v T_[KbT/Z4 ꋉcQ3n2SDQR '-Ó`4fDF no[u:ָnNw>zt's!YhF 52+4BB&;洱^g}%/4B; k|.D1ldOCT*9kTC y:t7cᾘTYRg4n,~x7ˠgW[v7Dݻ\QWщ8Y 5WwS![]jZ"MӗVgUK_h  T <D+kڅ.&P3}8Do?>`j6uB-+O׮?IAj%yBI>sVCV}8?YA{+= ibp^,&HeI *a l/Cwa*6҈;ܶD񆂎!d4Yp<&;(lY7^aai?O{ӦFj87)cbN^r@EC=G:Ⱥ 0oxstkHsI_ٳ1hM#&&9b`e(}V+PHWZ¦dnC$Ɩx.@~NpỢ P1iSf"J;.A8N lFm=1 19gZ6WNŞLٞR=]ƓmZ9ͼ00_þgWY06Ԃ8H3 B.ow׹ (EP7<}ef۲=k ;̰RRj ',P[fo VlhBP ?r0ٔǃo(}Ss苙]EdmXTSwE科 $VC`;ADB3$͞`Fyntdsق汲AmbGʨ"LK]h)3 ߍ>Eѿh Arn@W؎t2i@巺+5A(v88ŘHp ъax[@jxcO:&t 9b)>ҹHLU޳Qt]/ 0~rz+3‘6MfAUt^S .D_|@w nac,j0^#XX Q:HËBiba5Ӓ,$G z$@$>uS %鹳Bc}<0E#iV=Wp\gqlgF X_,x['nmD1hـSꆛI0+5yWJ:g_9Hki]U#ݸ+i%?-U|hJPlʗObju:{@ x߃d% KKX;kcmFCPV\PqF4{jE}:/AʼnSi ĩ32*am8%B/|F \о#o0~wnٯ-[5jtXGb^CRPdZ2߼3oʇ Hz(HߔiK-;shtx)gp]7|d\pbC˽sUM]!Uj>` )uElg!6q{&Е7w (lOM H6gw aft}5z h=!th#"RhIkk%Ya$hyS~A.-|H}Htc5qW;.`n[Th'o&2ldqCn8TxB=4;FPɰ>xE|&y߰oʵ7>H7=0lHH~ N0߄$Ⱦjb1w! Ym$36O^)jYV5 +v4! v?)!G0XuKɠc4,Frv%| >\or_Ț.J1!RɎTSs-{m-ջ*COv2G !mr;cg9\4So ֔o_f©d3'bRd^ww)'!s }n"+AE ~ -~ Դ=`,KACW&)W.J=nM]Y3A-1w1 y[:g=PXDz` h@W;o_ǯ7 ސRTNB kA0@KFUTA%d4:?\):wIγhigȨ/Dt*L>\6=X_Bώ @˻o[_(l ?Ɗ$I&asL)Ok ;پFCv =W(ruGh"aH6"("{JPMVp9gh1ܞSQ73teIt[T:q:ן/QNue WfGٳ?e IhX[I?7A +:Rffқ ` a_D㚕T NK]Ө@|1)r#,1Yofʇ_r-PӐt03 n5MEA2&SԯhWȮRHR6lqؘO!gc4 F%W&7B'd^[4½EǾ)m m2ș{I5F{s!{T庽vĘ@caO+-5G!^BEڶ5bdE\je;U.XOGb璱Rhu\ /@ ?4|/ '5R@M3ӎ3h/Rغ¨Xse^ k#?li+SPq:$lkһxJe2lEyn}#Na2I~o #6"rr!4ﷻas0hl6Kg~G B/Q%Swf4d|0lfwI@&ꡍJc u qMx!R7H S%Iivh0H `޹~MHkʒ0dt(aME˔#ҭ91n ze4!#o;ء~ޤw0{T1*]8[*\ټH<(q"}6}8nGZ_{UGSf:BM{PV/@&Y}ӑ꼕dĭIKJ;j9z%N0^EQ8NKn=V//TrlP$<.̴t[ SS9Un9E 3E7%N[.;TWU?=جH7Ib4Jo-rAԷ`n7c !wIJS JFbM) ;ɶbX%s8 =o.Uv+Ÿ ?Q,*dvĤHEIh,` è pPttMβKBiU;Sգ';:ߗ%FbDO3bkny|r$5gqDXѭ>KGE18^I<:T|[CTNiF^餚ɹ@Iاsku<nBԷ~iس6GCj򳅿[}~B ^65B=;>0ՙ3p/߳(:Rimx罯U6p}2,WWt~,i!꣗[?]J': 5g@1fcl}(Qx"|Ցrjffί|Uȷ<;j.~f`dR3X`Ah>{E1_c,{g!z2wSp.fUY@\lN-% Һە "\kK/ Z_P'鷭XcHІEiEO]HOԏV ]HOEbNn>f\ w^N[\/LrGzp55^YCF؇}#t4?"'Bu)X.HH~ԯSYR䗷"\Fm˿,u/kױgit&WdР"n+mF"b1" !FdX4Cd#*k% j" J@BYsdbiwfD,z77+W6c8eΪr)U_Dl6 f3^/p l3>.l*wPkIJ%i-@l>YOHڡ@^ޤ?2|d?yb ^*TSIiFtC*M23F cYNAu=qkt/עT}<1\y#K`VmO~xmњ lAyRgnJx!bܦ{JPAj42>d=_Ba[aRJS2Sypʦ _NJs$nwN(Ȑds!8\4`C%ȒXc齏zb4 ܬ61bXYX|@\ޔ~q2AI=7*tz^>;54ч?XO{ay/ F&[iQ5 m:OkV|8]@v|\B-Yز_mY>WeS zӄˣ[8gԢJ^K|^ ֓*|xar(idx#&Qv5Bbq \pdh}縅-wĵΜ&o!%T&!ؙU^Q*ǯZV}~~D|`fAd8\Ir6NMPz#V+!ɥc,Ѿv,Bl@-#8nYj'2CY` ~Â)4= j(zRi藰=[(j9c 9v>j:5XoC KKy665 297&R09$6 d58xP' 8@WK[p& yN톤^;2{.+4ox[iˊB G۵C{=x?0>tTn@(B,paHe֑5f;U|ڇjkW OܱvVdh`^ڎN6'8ڎWr%0S#8qu* }O\O Է$*y% y2 ʮGx mRO:lCpg'mƺ12 RoeT]WC_oٕq $N;U_Ʃ|0bU}, a9:wnis)HJ'E~WwwiWå8 M3,CEمgz1oA(Vr9, ATU7l[+Rjr% P5t%/Tf]HWhdf$mS3pxؗ\lp+.~h jw+۷veop*-`怌QbYSw`g.Rw8τ728wL[+:3,6M:Sh ,kXy|[nq+ K|rn76o~،NV򄄖ڝ&rLZB xݼ~*E ⯢aQk'~jU"" }̾W0eZvL@塑;wXCBQI&BL{2914pq#,KZWwSӸ> <Ne.n0nFlZn_urܶ]dӰt׎Yy 1' zaz2ѫw݌+ e8rk&)-} 82buHXӠq«_7>R(,I%WjM0%CA4%HWYkVq_.۶'<PV˽*lX_{~l"O洙UsCöZ^ Ԍk]Nu% h8ζQ88ǚDyQK63tiQ'}LWtc'M#dw j?g.ONTO@{NZW\wEma 1g$곲:DݯPtZORiNhZ9D*oL3S٧qC{UJgd7MD%}nPXq-UP~|z3h-m PE畧])NUEVJE*'g0:ƄXRlp.d }Fa* =yM3wF/,g̬'(8RCߑ=UժSo+rut{W,/|@OG8]b|7@;