SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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!LL ]]]HOL-Proofs:threads=6elapsed=694.214cpu=1617.564gc=313.568factor=2.337zXZִF! Q ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\.3ʥxj҄O"Fm$n^"A1"TI6f,BU\|Ķ"n]k2WA+~!3wy9l޷{jtm$rנ8FS#pO 7WI-$6Ņ8P-!nc#fYsO &٫sQ ԑF2.VBn;R/׺"gw`Jc tTLheDOׇ߱8 $y0CqRWba?qƻ向 ;)p* C -'z`?6d+o%cxƎq wyNܷr t9{ z/Q$}al)@1%w8@۝jVVImm'n>p0ꉺ3q<`3ll#b'#`M ܕ1j2`rojJT < V_3𱰵l g~Ϡ#Nr~'F3lSyeXfzE_}~1<) yEk mJSU7^aMmQ8lĪ =Нo큪m)ph=@YWBS-:}Ld|Er76Iۄ`c~;[PLL耢]IM9QlaoVRa>!ȻtBz5@9Ἐla@ZĤِ- 梤MGTJUi5K =c 3iS̘Vx .q8>K.RjMwZ@ZdD&,7\Sך3'બqM1yAogՒ"s[FpØdlt1%( ,S;}!#u(yZ~̩Kݿ#*D1{]]S#Ĵ<   ! HOL-Proofs  hfe &q-'|?7ݦ"~Wم#ɕ-1^+D f1F4Qޯ&ŠIx4V$cQ_Xo'QC Bh=Y#meYH&UH?UŘ K}V3a5tBO@#(3TpJc4ܣ{ ˑѶϰ$H*?}t gEQO={'DlP*sBq/ȃ̏$cM2\.*BfeC)XݰSL(v@߄H~o@hӀvFK2]bxͳ 9Xg7k`sCjUP%h Fd&/m?E.̈́Sۧ4I vy DwgpU㹴G30AK@aZ A duo!IW)zUScUe/+Vb:6d3]M6W+̖LjY-'%/k+mr5e~5A, 5Xīt j1@?Eу rLP8ޣ$ =(0Lt"K?pgBSj^=;iZZ rk<ӵ=M_"P筶+zH.(G7Q"Ud&vLw[ Pgձf/![ZHЪ~d x{͓k̓2EK&lϩc2'Z$;>I] '4\9b%l{g͒dx˰XvCV@o0b +!\(/;XhaqUew.N@ƯZ5kQm WYrPn:c(NXFFW"͉zxk1 ۏt-FuTuMpfh=e۠3NǴmA<Z3M1$*쀺+kS_Z["T'^E۾ )"&,țh== #"٭Md36oNNCܴwݾ/7pV+zg+@ ^f峑UF6S9^-Ոsֆ]6` ?Ruk¬(z[F=u(ю [ӝFVv(̴!>j|/@;#Rb~]uҳnĊWxCE+ Aq-)Y=Z11 tٛ#Y?mM+*d"usWu9Y{aܵ0u6A7(f+GK,MBfsj=T?\!jdԂe?/-mi3EVZs@uU(–_<ͷKŒȂkJ"4 NHQ._$Lk",ϐ0~B JIGן9}'rUI}Ȭ#lRE^u%%bʏ})nM+yUZRըE^|m_v-y*P%]}(<Y~9H?S},'N}U(藭⯏c:^ -uN0zr-Pfbf |f eV&8MfdD [ϵJIw8f (vz*Da6#dv %7 *7l4J:JudI~Z۞}a؆#%dѥPWJ֊5 A݉1̫[vߔbCͻ%fc| -PU")j(ţ$ʰoD] MT+Y|=Pہr6E3 Ih`?S8 t&zT! wr4|ٸur΅{G"RLR`t /*f$yt! .9bs1}+'A `'5҉VT z`Z"tCʰ[:NU; Nu'<6wI#<#tߍy!֚"yxc_ՠd{caUGos(a3#D?K!J?T"*j/Pi褖NA]DƏbXwpD6d2JCBWP(QaTsz?FnGb ˳~mj3pHHS/󟓓DjS1t;b3TP8ws/cl"|%"mnWE]h/ J;-g4nk")ai#\t-'1_Zݮs[=j)I.ZUE~zӺH,wP/7mfD7ҡg|$)X)ib $hAo:J}r#Ro,q-k#||s6)Ɖ 2kI\򿌐'y2wQ^]MBLcv"w\^NN r3Ch4g>(O}99ŢMB2amN>Zܲg ɽJô-dOlώkOBW78V05Yf;)ڳs#/nx?*}[ xeP*hmrAQ}N*'s.UwP6ba\DTz܍Y;!<7^#1&aа쟉R-ի7S5V9G; _|~8y]2r vB-GxHy-Րړߓ9r85ą> ]ݴ҇ xmPURræ޴Gc훔mAB8Ec:b#Ì#.N$L FO[5 3?5IM$ɿ4_B:*kKf9W/yCK& O Hw?mޏ 'Mf*ݾn}c:+-nXG]iN(eoEdK((|0e9C_BnnoQ[WzPB⛧xTۘrUAm= nHg(Aȋo} -OtGނΪ̄s-C%Al Hh6JQ|%BcH:x%˾`UL} kDڬ9sl:[N8=wbFc2G{s337ܞDF1燺' aF*g>~JyJKAsX(c2ݎu3/9>M(LfiSr5jV%Wz]z#hN1lkJFC;]څ` bؾ pCLeUzv LUx @O#*2<FShĒé9g 5JTYOke#u })[7jWmAONMC;uq4В{7Jn˦{+JùY\)dOkԋA83~vthpY`k.| S/9a4e+dmIC^G{VEvoQ6Ѫy"n<.b_ S!"3vKpQivAe6EmE0M?V1@RaJ9=b@Bŏ$ԴAli)sy ^evxO`T<_"~ê. vU/dMo&pr-+(Tm0S W7Q)bx퇀RK ћV9⡕$ot*pJ$q_b =LҖIW-< 4ֶ}?* ɣ6X!2x(xL<' iAыEM!!B:x]0":L숎!$Hb<3!`|dCԂo^(ax+֪NlEpԵ:"t{7qCzlq6C^-0W [jVU%oqtP%޿t~m~-,h1ϳ]^~Cu/D|F`ۄSabv۱_#]B!FƊat0mwh[PлڸX◕9"$܀]~bG:7{&UO0,AR5ظ,4ѶӀ]OwΤ5x͖]c NM3v`!&^SD4݈hr j] DV]>]LK(+A%nl^l*pRq9O"ק3 He}H&4ZMz*e2kEGL vs7u+6cuDQBY>UiǷg/iJ D@'Kl.K0n&\B!@fl⋼׽Fk2 bp f?j"$6=Ǝ_H}3]3o"^DN[ w8PK\?Cb.A8+Nq_ߚKnK>2:k_ \[J >]TX_p钇s_ֆ6~4.`;[yx6(y, !6vSM'0G%T~b 3۷iFbaD М&{5\ˊ,yٞeVri>(Y^?Yo~NE'|@A s ;ȚGBs*I ;R(ePYN&./͑?igg?OOExK {U7۶$T` /E7{D탆EkC>׀10K<YL£#LЕ!]ũ"}Yi?CX)n]7:CfN~G6 Z]^[]Z55?CJM|?N_%eDᛸϋrpכwCX0dֶ7+Ԓa{yЁOu t}PqJ ,D8]*@i[pA'' Gol_5܌>T21@YXRY>UH7rgɁY_g{΋x̞,6"uv,YVxl:795y*Oʎe=&8qk忥;>j !=rdN^_2$:a OXDomzS/_a-$=IE521[|MN9YI6PwcVNe~G,0SEW2[ 3HƐ+H͂ maN&ޯto,_<{#+`5Z` n`3+ןcj̛֠Qהl\ƴ&xx=:J\{ǘ9BfᢒFzR|w_F4V܄^fENj`m|+'-yҌj5,p&]t? P2e5i%V 2egYZ7zXZִF! oD:]ŗXi%@`l*$;|wW}^9-j6a zWŜ YBv]$:4(ߠW1k!{>/x`g˃еس5HN/A{TgL4r/i j:u8-0%vTLHp":l\(E*Iwn\Cѳ]- tvQQ~[Oˆ1fBK\dz[Iv_dL4E(LY^=ːdQYo NLZ(#53لM-VV 1[B*,uQFmnA-U&y r8\bUN~ެmc̊0?Mfū̀QF"!$p(se>h|(acfqJDMk2k 6Imt?AW:%IMH}uYk _ s߹Sʢ~?gyd3c0_:E]6;Fp`{|W@ 'P$WC!sbҦ89SKRC6/rƟB~A*SoIwEMݤw?pP$ bT(MJH.:'p#wcc :ö ~1,,d_*PvyC^7eIlcaV,s:1yU胘=L[w2(L5CA[3A[PB-l{|f*줼u4J X>=̽8@IRX~qJ)U8U:40{va`UUCxП SM[Vwe\W8c|GD|kUc:3ƃWu묆&3KAodfr#Pyk66?.;!C 0Ӱf:=v+ܦGZ3?  xjuD}u\`>T;Zo+PVu{ґs 0[fUmyDž~(&bhaR [!Le4 9,ɨZW3<Ny9WEo"%O.qSHtShsh*2G IN~6`ٍ0Svy3g\X[6rnɇK{UjJCa a~ gz.0AQ(eN`psq]kc${Gz9MquhR0J/YXJ|"FcG:ը+؁ZU5u43l?R+^w,>JL= %g)<NTTi1Mԭ.Mx"n&®>[6~ω(ƊyCi' B֨pSfcuDOțo(>t[=éFOhfKL'N{^G{xs ta@{8x}{ 4wnN6F0'Zk$V<<=ܗb}e J` ,,ڄ> ŦcQtlAz4QK=SE=9i&EH{\ڍd E"g4jg_^ܤw},`3q?@rC5~GE&DJznӷbBl '&8W| kb<4{,I}gOť5 }]IMŴȋT_hƲsEt)øYdv>'"XVZ*EqƑS!}k( %sN=Õ ]}j:j- ;A|OE|Z +*TG2ȝE# QMeÿػ T~lsq- $EUY !T:["#QAC2AОAR|JuĝM'KPj(`7ke|Rr(h?;/?<|Bhp%jJќ F ٪zRuPG1uvL7ͱ9/PxǓ_™1@"nLF!ڡ̃ܒx墹x:޹);B岌Ƣ *R "5ƙ"ۛh]U6 `Ha2ƀM5Xcl2[%]ueՅ/0㟒pfLs$1|@c;ݶ-S-=bPc큹ζ z;A'D+xl[ Kb֍!ߞV'VU 1hn/NAGJiዶcqQ(KI21 UC9Nqoe㍶6)q~ Zs󮔮v! e {݁_d k{i+¬9oCiVa֕=хe"NM0]9@zO4Ĺ*'`kؼ:9DVl@#.;+bˏ%&y;41lžh@3Sag$b[&{4>/%n``N Lu\\rwT/g [)kw'GZs L$eW4`g k<_a@? k5K%[;…Qinj+3^`a$w*wqW3U*pDUayQ y^QXNOCf- x+ŴCXeű=c2 mbN@) 8.6ԟ&5Wh[^?ß rcH F?&·uR "1+dkP wa$m4%y[P֣iYp!}m~eCWbFD=A/y%#K,} :Q(&]:Ob"ؾ>&jFEDj)ox`zX1vQVޟHa&b|y :nX@Y2bB xYkSc>Sp>9,w\VbfOr_"O/3L҃ryѵm+孤*dxl"$8{R$AJ礸f/0,gB|"F7<4E62J+9mw( [[17 놈!Utk7?u4SXw Ut9EcwoX9!1X/; 0.%.DU£|}(`̌BD mknAfw[*E_ۆzML1`OޅWpPD- 1~.5^#P跲eT֜mY6P]L%f=8|#L\}(pd=, c|51ɇ*;͜& 2ݎ".IwbLz3Ӹi4_mO-cf #M-U:8^k< )!RK&ӕ۴Qh,%׷blUtF]RU|{V $tqe(R30q!|F>ҐW%X},YmZp*7*'<] nm>k~AIҥcTi﷌86da>^zv8i$|Ey ش--0%Cb+r|)-*qÔ6 gm Y꼾ml2)r}{L2/ĐqYƧ屮fuߦu%Q1D<#\ `s5 tNª1<][_&/zm.Iᾓao+ZZD7uҳ]uU", m-@,2-6}7%)IU:7sBI].K ^o?c9ղ+*\4%34Su 1<"jBh9~ǀ`Ylk0reyI*aF#Ù7JVe` ^D`x+TtސZZzM>*¿gM4#3Et'(?hxrJ; K(1*tjֺx8->LL U"+OR5pSvʵo$=,YYզ!jdaK0So@phD)2'&ބO!†98b- Ec"R` uf\?ܡd_ec3 &,iE±G.euüʘ\kUVT ʕEE`1ߕV ^9/*ADO5,Q[LR~!kڿ143Q~1p08 t~K8Y[ 7陓kPtݬKȓf14)j!~9ӹ3sdzsgǔJ0IJ̖wc R9_U,AM7p pb=}:a[9QvK8'S+Sam/xS*{2|hG'_a$TcyjjM@~ޏ/ו%v ("ƃbV!PNvNÀ~ۃy-ʨ-!-, 3Β.bbI¡\o9uH{(,<ȨU!o%ȴx FmAB`cR>%pRC|%έ0nםa\gt_ k-Ћ4i)|M؛WNU~>|%8PQw~4ѡf"geR|I^Ҹo ѧVa֋Õ40abipuMGF$< L0*+̾ȇIhx7E 'g=uX'@@/ W=칿9x@El?uHcH${򨷻Ԡ8Ykè>/WJ`LS)*iOTxdBqJ~ׄC"s'N)fd(|-ä5^3^Q(l7==TcK/hSA{Vx̊ς;=-g[b7ϖ(5M<ϴp"xw.4Gq;ZTȫi'/j. 29ˢt_al VȋTwGŜD7C7>df`Bg:pmyڀip)F\ive\2+YאXwj_'灭}};8Ne5 (y8Jv/2f@Ț7>0hCҕ̭ޖ)ZB [q×Uþm751589}"adBQ5bWvUJaw|0E" ϵEhTnk/I2uP|Y17%5i-1 ~f_y )܏wCZgfsNak̻nIP,X*Ki=\o/iC$NQ2Р'JC\Z]VV{e!梚;pd"1}59C_WP=UdX\VM?~e[Řjv.ILza8"3R*gSTHf!${iߓ9w12>j! Kg<[-|7x78Fr/9po߲=#wa%AGOcbь]y$Yr?:}hW~я,f+9n"Y UΛ@FoFf']][[1t{]Rtxm|`~3&YK)A?yM2o(Uu+{aةVN`mٚÏb K7@km%KOM$(.d\dR:\%:(NӜJ;-Wmc;%=Vho{KJE@cr4EB.G)>[DkMna#\Ht'Iw1G\>Z2a.jwaXy's!e+LRJUe׎89ʋBNRſ:Y{P>!Lj{SJɖuݹW:)024]&g=y\Wz6:&1xדA:C+Int۩ 0~ G%KLտ'Ҷgx6Bf7UQq|$ts"Pޫ+cD+PC=Ǹ ?p3{F>dEjrNaK6b,O! 8˼nBHMOXY|H*VځV5ªvZct S†x&ű9&9T`_@o̮5olc E`lyeI):pikxl(1ѸgZbl->R_[aG."JxZXԤCى(pj51%cSɱ^UkP _ԵFc)M5!*HI%Q%ȸqM| OZzNA\E@J$ N(VZ+*uHԚfE"ʗm3TAE| m*HD(7$xlm)d;`,+P R1V+z\PII : >!2&a=ߥq(tF8k%?ܮ1[s q2JXv'CFrD]PA봩[V316ѓ6tr /lޡd*D6~pCԭO4@g::@s"bQF{{Atuq~,PJ}P.xѷބ?[=N&D?gK,;c\Iu ݖvbU+,A^mZnv>i.mIR}:Xvh$OWrZnd2yf󙥴?grH_ $4AϻJ+)3Mz7uhWW6Cy9*1Zx:21ƴ63R+++uXyGL4% E1PI;+[t}%ͩ:(;Ma',s6+5$G=t{>_Z1 :=a^島@NդAr/FfVm棱ʑ3>IeMS>AaW0L1Qr!esô]3/g%X$yK۽%~p-M@^$ $l}֯QpZJ4 %tVUm6펼&<%le24!t7BFDZ+ƋJS$էDZfN;ltOhn RowBjҼQug}[&3 \ZB&?޿[ylpQ~JY/G];hDx@W$ݮI3 o?r  N{YJO7 )*bR+u?FPc?^ [:b/ЮN޿bA;|>EFoOM6g@9ȘGOKٝzuGw5Pv5YT՝* '+97y%k)-Z9%"Mˎ7v \e1E8 bA6ħb^خVE2jq! ~䳠 _cX07weuq9́$qVr|߱}s/N+YImOu]Pb=('IK[+d" %Bj-OZY32+74 p˶D 39G<&Ap ,{+Lgl.T|Glg eﯷW(I쐯IO&NL3ͅT1'YjMf ~6wy?FIHy#ѵ$ @u)*<_YӭlByN^!$ί׵9qx8k5N}X v62to4V[ !8clnT`e_8ur̳+F 1P, 0ɻY8z@8}ѩ$n t 2HtCEGI1|`+0uA(m);1*t%R9vs/ƪ;]1"-Ћwj)(,kF!^uh5ZQ*1\;'W$m2j-mtD걲ϝ2Ǧg)$j;3|ˠ =n߫Mʗc7"L!n V#=YIM=8PLl):Ky x16Ӯ4FLh(7gy_5vnD>#@zm @Ԭ[7fU8+̶f=bu:Ql(l -1E4Kk%qejO_BX^tȃ,'?Upc`+b Yv8.!Hq@ukɄ[B&Іg>#">eϲUJ[~sm4fV+`Ⱦ֩5Nor`Z wXs;{Ň9LFR5JH)/ݍt-N炶ț%!}|Qx+tÔ ( OW͘OW= *{<pZ~lTY;Cm=(Q߳9.w[ ֬X҄_}?+~0F?&;-42_{DksߎtܲYy;Y =yr3 Lp#-H-1#"ʄMT*1 Znrk'ۯs4?0kO束qo P 9{n)!u݇칢UﺮB-l޿k?d9VS\GT!6t=WmDeq(M!­T UǐQՂbm5j33x(lcСh7b.fun>3v+7wO6Gm@&y߻YsSfKBj1AX_ᆛ~ 3@FRi%j#!dK?#;wύ"I4z숊Pה'RO7,m*Q08Xf,ʗ+všD(9]NN޽eȾ=AkV =13]s%_,ɁO%5T37i])@R0g8*)JfW$ R4lg1Ig!O>>3Z^`x'mj@:)* 5R so-e:u8RL)eB kkK编c0щb E^Ņ~]Xio(?klsLZ 1[\ RvW.q3vP8jΪߞ.JCppzOөIDqw:< DMJEU]׎}NoIȦ {VᖂU[&bjR4LJ.Dkژ3P k\VףX\8IHtςiQiݾ[Xr"ʪ >7~3>hχfN~iY(@^vJӷB,OKAzzʁ93SyL3Bы9׆nʻgp80=I1~83yTR4uA ."a؀aFk۳sѹ3T_gX̴RSN&ԛ1vc+_{44(d;y; h'/l ܤ1BsJt bσzzBe70M6ϋڷM^쎔NTN/-ɶ8#c1}xxY}>g6l}+){^)c0y̴hb]ni=/ZWY33mTш,mo;"/ێ]GoosxNJh7YMYYeثÃ.kCۧu=DYwo 8XZa;3X %/I6P~Wܾգ^yt`ͦ96k$!A2j#]X_ܾpbbiD_O dI&mι`7=<8 e!i;Vo6gHd6UdЊc45z"Esg/ϧe>F.".te78rZHx[ KyTe^vIb ƿwD77 [9_ۍǦUk(e;`#o%s-:_NDJEV!0CÜ/>Uga?MIz"wt^ )FYZ Enp4:qu`_`I.i?Zصhnt`kq $П_421 DI thQ,G[抽ml Q%_Ϛ_L>^x) Z)} l9jĈJ~VJ4+ꗀ 3 ƒ@kr$ڈc/1؇7Y'eqkު4tz@tjA|wdb%{9br۾3VHE,R[Y +WQz,,b H򍅬y/oٺ&FiuXir+yM2C{KY)'ƖNXUa:d%unLY \<׉00D m*"Ql`uN380 z53 &3;?ZcXE`U`j5+3Τ^Mib`Yg-xr>otD&2!jVBmG!zڃtz=;l~PF"13Ѯi|:V ϣ( /kn35x9 7BEJ|Y B6X^KP:¥QKӁQI tr3D9zZ޹SjQ`a;tz"C^ ǒ:T+};ũv(c@ͻpmLWP3jbKd!v_^v Q>} !2譫uPmJA/P%;iV}HiFMA+Nå":[ s~45_U_Dy vX/A{$]IQ%0%(T2Ǟ-yꍔrLα̦+?yxQΆ0&Pk%W*iGк*X)6q Iގ޷Bi~G\#ޢц s )e#*{Q?}JZpT typ/1&:㟐?5/fsᜀڳ׻Ŵ %*oPԇ˖"UJ,~,(|qgua" Х󩆈Z\<S:=`ʪGޝ}X ϊu/79~E j.yk hp!'pmu [NNE./ e9sBCx(/k$2Fv'Tu舁N鍹$]X2p2"m[$qwgkb; v%k7|jwPVl+$ M&("&!K.! y);W$|/:]RR8F8,dߌ[ '9l[͈jDJ/2m,<.pIoګʕ0 .VOZc C2CGzm. Gi:Qd4'](mdC5*i`dW=`L)*"aPҺJOJ/& Yی'~V3X*K7=o!mE)>տ؜_3&3]JcVс೼=LRK WuH+إr9a(!o[:>4 7i gвÒ V٣96}2!`4Ol tbRR6,_ (-g7BXjWƢ\`Gw'ts**ajX}*-~ӅVJ30/#oHcZN&k2\4OA&-ЊPG&f-'@R/k+o<ihc*}_ӧa*^k~>"T|!PhYwf[NuB@~]6<&}g8x\Ba*S)-r~I=Dµ=ɘ%^ ^v2udY,?davq25>3mQ |/$5z<L,UW|k"(N#tKJÇGDq7`Cc:\,h[ _8A-_5 %d0- Ò h:lvπfl }ŹO_k]Rt kh> b* ~~uK v0A rd[yDS6^&Ws QK.> i~QTט':aҶ ?Ag &-)+PݺcK^8G,u kf #Dȏ6{ ~F8fg!APL~f\/K. yop0GE`$nW9!AWo/z 77)MW=Ӎ%B` =C|p(|G]15INaa(`a+a?bL憊Qh-'(4+בEcŞIx=5AG ,caDvjڝ7"/>^m 1X0b_>LXnj\ژƊq'! K@Ni42Bs|) ,7*BR~A ͸.9JSOJ <ݦ "B(T9&*=bQgX.^XwHx]r?NiJ<0z`ӡǿB.Z6#TꟘ !EGv| 嶼2.*Yq-T-Om1т9B g-9%^+[>UkST0oT#xr Gp0FX>(@ʩo_H- M]2b5rP9` -#vX}[&&<ȣ'wgpBŤggw:x9~\)4Ce oD7 ۷,ti5ӿqh!EslZB$h5:z/5ncœ֧m$o))~t Ra\f>?NDaӿuF,g&Pp,,5Oyo/;v!|JxzB4#=-e Ke5i^|E9rik?zQ&\NO6Ha^D<ԝq۸Kb@RDz7l68IM2aқR"$9画P+cUf\eDl$RQDc$.z1XXif}ųt9Gy"z7S`[Aӿ |fT zSZڷ`{u;|?7܌f K"hIW%7Z8+8A1BPƀ)bD{.Jp#]W-WJ8 ! + daGv$w$1k-H{pH=fD3BP:iAPnpw^8SwSD @J6/RGe/fQ8x߮~1_hmOZ?y&V!Z$m:& t3.7RWNܟ5+(MC XT8[3SAa9y 4=/>I6 !@-|mG[aۤ6`ذ˃d:(xѨoi_xjV+=nқ:h,'d#Z!#W-aSOk<'b] ;ؐv=&5tR⃈E@+qŒR 6G ٺP[ĥd/6 f[K0g(4gEcӹ;]Hھ9Ptq[%$ҹDU۹=/VV/SW%*Qߌf+,0'0,nxҷrҚK85ﰎ"Y(;vlԱx\vK;)0q xޮuCHfc!N5o: qƁБ&| 77 &ϔl+%yS@vvC0T4|}h@נNa)'JxFiL`u',N C2e]΂`'PxT6| f#E}b}ɝX4R;2ˁRd%)TDJ&W M8(Kڦ ꛤB{XK-x'Q%e19Cz I8^\dQ^鎀Yt KMqh cxOlӋ9I(ul7kL'B'ؚ-rU]9ԽfDi?Zcl[^'uwc~&GKxFL&z1ʏLgm^6ٻU-cBXȷ siVTqu!kllOqDi"`vE}}QCd> -?Dt\"aJ]2MDu y0bέ@izœ2g'~M)! 7G'$.Ng7#餏Mljܿ/g+fsS7c`?jfYsdf 3sԫ8E ~TK.CV㴾UyΕ1yPr{Ҽ]cpҾ%=^?WT${W1λ6+oFOщ*HI50hg!uvL;wЭ KP8*F$ESG ǖ%4TGPp?Kbr>ku$tJ~fogf!D EyDDLnb.Q=^['dT mdjǮMԋ&+QTU @Ӳ٪Sf'&h|ٲpMmYя{z[`[(S%J ȟ[}('J'|Yr5f*osgx ?#9dwZGEֈ.% rFw(Kt$C~0-ŝ}Sh7Hk˽/+QЊ1x#q}+%ں/Ӗ*z9pgqm|nƟ*|Qsޏz*bZaDwIZ|Z6X&OjAޟ(&KM 8nݹAn- VL댮fk9_]fY*es̊.[ W.eC7Ѳj9M'0}Jx-rc=>YmՐ*Ou\IjTyR-o{7!.'cxmuxUv}&U 6{4?*jSt<8JVO 8*\mAdU `]d94 C!{~myڟУ~$UyM׌FEK Ə.lM,5z\^><:(}Yq+=) x %6~I TxhHBLদOcpJkj-j%.nQ@Hķ6J q/KuKB}SY_1xsGK(DUG߈Y8d 18:$3bCR|8rԸd֛)]tQvAӿyM96Io2!pRx|G-oFϞh_ړ?}:զ.#idgq(H?ˋԐ hA됣Ug/l@$ :1DZ;=/4j D7Rܧ<ܭvjX`:S4MbJzgsk¥iӃp2WvHO짰XW ]1R5| sW"Ė|UOeVU|Զ6wêEe;l'FlQP aA7YWt%qG2τK<ab'~f2G.X%',51%q5*i:y( J;#(s)D]dQW^Rv"~je[8!7X! X5Q²P\{ eb8L1 Z}|LD3XK$*عl@NEo8Y׺o (b]jH(\G11סgYrBʞzt |ݿ"Zg@gAkqSB6 ƿyg/8a1V)-KN|=X}~nqG>K:)U++`in4Xh6ax.}sjmb|sZČ'S=%?}כUp}bNAK.V [n(\&UwD[ɧ}5,()|[%a px1yU*ǥ[FOs[Aj0M˳;jÁA/V_S'KiD6#MmAU/گ*Mw/K%D<(a=+hGD_<9xT6ZYZؽV!wY 1>~3=$Z«!OI (2)t PM^B9t@ZJ ,NMl&?tZЪ ),İ9#HEů}Wʦި+e~B`W`vuϥBùK .^#Uw˞#E0[WLGC;@9v>7Wk;/:4a*K-b{%~*6;8u關jPSko%Iu(` mg╮꽜P5*DŽMcDPBŰ=O?wZ`Q7wyATu fzvKO Mۓ,7v UU8%>ʢ-&#&cV|8_VCvbdp^h0r&ެ16fI\}* UvDβhICl/Z3_k!.AacW;!۳L sk ݪI2G3Ygʲ`M4W6fYv=fiF|^[%vΓ$WZuu`ywglcr>/{.2D-iC{e4? 5ޟFqհ}:+2q[ru?|Kɧ7hE ;O$)P3gLWTE{P ΩIu;/0wQ2Z|锽c~*l%.r&xSkހI uzN%,^cmBա=Vd3ZEu\N67ظ8U),&nS tiwK5 $FeL7 sd\Df-('[ 1/+cjEZ0s8/ ݎ "S|?eD,}DcY$O#VXkx>+~˄]BδYc)%BQ><cj/dD&' qȦ.i!;7vnTG U lX?ŗ'qoTS}ßMe s!5}3ީ)=C(.D#s$۷*;fPQlM=X7|h_ϝ(ϰ.'$h %cDzj HHRB1M ]c`#ukkZrFV˟}yG?f긩?;_u0-_bt?;05#~uGKCBn.pya1%`oPЫq{XѤG`+۔ToMB@D0bbI;JżL#Psk %^RDí_GJ.up3m$$(6wE&=1N>d!*w]zmQ19E=o]BOU6B+;^G1%aDe&>9e'mC-gBS?(ధ7>Aix@{ާ經#G]ב&x VQ2 {/t.E+ѨD<oL=q +l:{\ %G p^YLժe3.RMY\Զ7=Iƕ8lHp٦Me;;*{YDW͡>_.y_&!'de k\࿶NU&Q^3d%=p+KMYdǾ2KOqhw=~I[ZK[sǹ՞_b9Y \blW@oH4K(E"KO%]X,^QxPUA\2і,ܪZֻ0C(Y`3 fq.5;3$ݻYN(ᵺu-tFpQ7{2۬gFkqkb$%ُeVPw}+`nqC)~XuZߧ 5HtWRR`Qhy&͂UNCsprfZb r! dǗ^ šFA(/4[BnL-⩱qbJc%@?YW׺P_: t=/msWݾEב"m{N7AbU&EC_>R?Xk܍L2 ~Y 8&pD_#Qxz&p&lJ$ 4S;;}Gnݨ`@8UW^);({;HwtO?/k\ oT64=GzT'Z=GѲa6SE{E-(z|Jy A4/^?V/O{NF}QR9v_֊:3rm9nO1tYʃR&2" 9[<A Y NތEL"˳avKٸoKŽ~١dqm ڭYUӹ 7h#p}4bm̋X}i\|GMJ?mi[W{KRSX7fBZ +ekʃbZswk٬ZZ͵ى»7 $3zvR̲v]m (Y.8{$,R*b'ThȁJ-q> 'z:fE~'Ԝ@0S7퓛/ނrԡR} <VgE-(T19ck,ݷ8PQ[X"*UL'"AD$#{laZcmfdrM5gW NQ[Dk%1bWq[RkLأ&-gXOڍ!ztr)vO&WDlXd%9CyFHkWl-leۊWzuݿ z9Z&kqź#s 761Dv\o"lf 3Yv~rѭ3At>oB5_cxLBrDn9>b[e8G#/þ ɭ^VB޶[D%`Ky_^1\P~siL>YfaQQ𤗮9ֲJV 2Ɓsb 0)8P:0WUI9I΍ ?>|f#[_@/ Un2 z$oҖ0D|ER28OD$85(\4=D}N|2IX$pYH(OD)-y(XzdM # ٌ :&"t*HTkXŠ9ֳ=-teb#̽1hfJm83/ƨ9ᛠvq",76+-.?pkS@WI}^fMtVYO/-ŻCs҄K, ]!;_R^Iq?Eu3!Z8,ęCc;%.Qre[)9$^&Lnݪjvdj3Pݫ'>9PiyUvqe})?9+XB(=c3+~P. AtHC`dle1wn1 T"}+B =Go&%O6߬kE=@.FD06EXo "'*&Bs-`0q5}' >}S$LrXX7ZA%sř̑j ɍf-r5.OBJ[e|/B;19bBbtӒnRXܚh^Nl _?K߂/b%!mӖWPef!׶x-Zg8U+[rp`Me2 nG}W&-Z7BP荹mμ#xf{J%T0Yw\X:7>Yـhv[h/tT l@_㣓Vٟ51K5ÌWȿj~/ 4T*^HwEpkNܛeL=@gd9PK Gu; ߫s&onJi.2ag۵OcQ5!/3=l5@2J|AUJqphkٷgߥs*:Q Jq/Y/1#>%ayiX^8g<80j[}̳.NPø;|jɻXrUh3{w*FutVG!Hon$RT*6xs+C2ʐsO A"Wq[PPPyEN38Pakભ N#Qͣ@8|KE[&@ [\&471v!Y>S*=yrٹKvWV!+nք-y]$gYZc47ae28b8c934ffb03460b625b0ad6ea47639a6488012d37539d18f74cb8b5735460e837dfca88ef7358fb53a20e81c01d277076780aabfe1728135d