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  J Jz+v l ]/ Decl_Sem_Fun_PL:threads=4elapsed=27.834cpu=98.504gc=10.5047zXZִF! E@]ŗXiɟH)0%oyFK;A3yʪtRP#c<;3CF-L;YAe><],4thA/1>(/eDi]B'N-啪T o eߐvK$>B*RD+Y~[X}RdAcjjAɚZpдݾ\e;'sBmJvGL-X` xHTwOOY2|XE͠S k5eo!`|':ZVm7rUt-nL^y0{*RQ(^PВf?74B^= -Ȳ5aƻ0(T:V II]KG 6p#ʮAiK Vq:laШV>W(YeΰWl6$s%r580;q/9+1Dlj͡-0 ԙ׹yQqH5b+ o.hpI6AQuyPK#Paht>5綻]ۣ3<x34^ + Decl_Sem_Fun_PL  B JLCjh zgչ%0bF!Hk@25Kם -JΖ.K937xި1ȳ^XA&d$ÚRhFfd'gq4*#T%]<*Ш_Sj=G}j#y7[BTlM;ncyF$ }W KoŚ&l6|. Q&>f3wW cP[USO*=F]B'x.C7HHq[.c"ۃ48Th>D3YԳ/\i|CtnUGֶKMʛEBE ! ?_H]hk<}[ybA3z':AN24xXG'0Fw*6EDcq}C6&9;+ə0b2D Z9SA2gЎf4QGi%3^{`Ҷ["|mat)Ź"%핢pc1tK]e6/TMWq\ռٜ] ޞBq9V${{@b'ቧwZ#5nħ@ >,GC:[VsCڲ"vv'|&(Yջ'mhݟMQ~Õ2q&LoQ0#@Q)4;iMYG,q{dAq[߱WRW?vLvj3I Lb*"D<\ЉV`YN1dHaѵ)O8qH,"Ry_H. S2~z1*!sśG'숤1ZO\BR e%rhYn6"!QlWحʲ]쉛8A$HזS#rł Y"C鹽> O# hzƲhddAJ |' Z@"j;Sǀ!HMqQ-)RA&ΎY9Lۤ=O3$  #Ϣ:Zn{sE6ge)S~LjBB>0]ҙ3^m|#z5ACm^X}EY,r.'r674P%T{B*{@FP!z #4,&u> cw|}[! 1p?6-ndK[=T>37uyXj7ɧFR`ʤ|ELPN(H aWw%¡)ܖ e‹3z_09{kܘ\x@ Y*'CD7u&6ΜVEw8-VϮ^1l<9A!MoigAY7\[M:nOfֿ4s$VF]CC_W:j{kV 70O Pb91U;{ꐜ{;u͝'Z6!g \Q &Ed|[XfE9xdÈ);iqgRٚc`Ƞ4_TڷDQK)veAYFe.5*VOge?q@r^C5 zR\i`)4}8#y['Ŭ@.rZȘj$ D@Ѻf %0a9;}txiL++׌ih=#}JNً`ԡC"=]xz3'wg;.T *bG hL<uܺ}UPh,[quDW!2b W!mS(zh 6MfMu? P7X!ri 'xJ9=-,F<+)M8D)o$mq2<^D1lHN4NtC> 6_Yo !e*5UW54buՅ+~z~!Que L}D3.K DYHxeǦ|T8y0~|shc30"hrكQu|^W>e#5_kM;t = 1'Pۑ)S.h 2e_FN 嫞P~"0`qzczY s#5Iu3WeA4zcCt~4 `q)!1lV+Yfw(0JMxh]YFy#5;NZ]yigX_9:݃Qt2v(x lHDR~.>-8jόS ޹;/nM!mY9MM1 MnvBHa,TQKZS"U z*9f)XKpX'/Y>꘦M-ڹ[g+'%vg,~ ]\IX;I?T:ګ);W BɤoICh!_qHRD0S :EytZJpeڬn}I~U2eXᗣܬo՗qGhp_ls<>ڸyv]4%.:='>O:ROw)\?EyQjh 225`aC%:׏w TfX!J߆bͿd;kJ@lVM$ꪯglrFz!lD8ZyCsN깕w DkoPxNI~Nl *8"7Gt2%zvDaO:shU 5AU$:kA҃Ӛ\O' !9aA$2E=vK!}Ɣ=]fwkxFҖzdX]5ݔ&B3u ]>`;\l0Z6Ji0G0o:k+ս1-&1䅱 ׷7쨙Ԓ*@xM~F:{JٛZ\+J!NiA-V{ʘXI'Ԥ 2 2(s_ ׷呲&(יݞ ekN1W/ԺK?U /y u5w;ohmleM7d2lrYݡH2!4r&-4:ԹWVgۦ'Qu@(kWǹSl[VsґVN~ xrl*%b{둗76rTz{xOA#Z<}ieT^FS&pͭEYPR3؞fDs8rO; U$rSX̚o@Tފ3_dj$ۈ_FVS<%&-Iݽc2:ȿh8A[eᣖ$8~UJ~F`=c)}9I:5]E{*- AÞfեD Yek](ܦ@y?8uW6ml р]@LR5M8J铔Igi/|kz_n_dc.hr5i3 . yP{uځr{XQվeL& K. ngh*YZhgݭ̺gLX1uH ZE_!+TřIWi 8ճjءޏ>8bõ~cM|s۩KrYL 6řF&p]`{ϩ;;Xm}j)r4EPq C)Nf׈;E7w3j- =Rna?/$Ӧ"ӛUQCj6bmFk&u:P^r}G.sؿnɺĈW 9I3K μn;WE7arMU@,vkoY H&vOHDFbgϨC4 R>t“&78*߭D iIIW"{wD]}7bK~)~nmyT^?3!־ Urk\eYvJ+,&'?ҕ"dI<+XID 2OgD?Wv=vRIGl7BV7W/".lًxXm*%6iXvSV[{ў3%D]ݑ~v;=z5vg#{FwO@6фY QgDl_}$A: c>L >˷{kQ3\wrEȥ ~<1Iڝ˵06uw[rcosTk[ #b< mqWG&jNi_!ߵŧA/6`V3sbw<] 6];x!͌=VSϵhsmn7wqgQ{oy`li#Y65ZYE_$܄ ssr"̯B:Rﻋq*bqhPҁ=Q Եz .mt^ۦo@ʅ%H6t%?H7yI$kfh+lqN1̞ oWDSMu؝uYLiJAa4Maz޶6PMylM]q1v9u,z=՚ٝw6--vM|a@ ۀA ,0 Ze; n ;qX-dClnγѝt߁lĀ[G f~8l)7ew͊&9G'4XGG xj=tVi9?tN'l@\(Ei {¹B\BSWjZ`Mՠmk:+S*SLWJ/I'192"$d<wvH(C0H 3koZ#(R>Vu5WΦcވ!tShie_QjqK$ҽ]wI>+ӒFZ8{GE+.]@Pjd~)z&j} {ɎcVrcءbL=X> iػ8x(V8.* ea4#$!Iր]q*aTMcX):ç B '+ܨ0Ϊ`Gzs@p)9H86C XGvK*r:mҶJcd _Mő{SӮO/ɼ|8>gf/R MKjX ўHUGb|İ9_EqfKĖR-k]͊yCІ4R8{B Ja"aW>@AAM,$~nCCn㿌7&xZ k$Gxܱ {g_VlϐmuΣ]sݫAٺ!y2_{A{Xvz@gRW>9?Uy襗(zMgW&},zOr\"^@4U%"Vld o0g"L̫ee; d2^4}$̛+aJ$ΫLp1;ZH@7mI4GjPw!#-;0%])&3#ܬh4!{ㅷk)S?ޔɒ4ti={ ؒArNj 4,"%62s '4X`u ܾV>eZz)%{I2t/\Ш:1slY[xfOpX t?55cVy#&7k#[G=V ׂ=bt7SU-,!F[zTѶ:―n'EnC[jP-!_v6g'-) 8) WpUy^4AoY̍-Y[^^D؅O致-%8Y ^$ 4"K#6@~jsŕ'eKs4%>ţ _o%ksӥ:JC 7n,=T1بedI8ҋDw,r a+k(JQ#ӯ2Ub$m))mk{-ph&aNq)bkܞ`k* Aw3\M70WDx+sⓋcD܏>QfKRdϨ~8AYtZ LFvHW:)>2\>ǽg:^5$LO qw!vk~"}6A,*vItK0}KȨ;!GNJgQ tH{QHh+| t Ap#c#~)tR,0?u#P7py{RKY9E\(YثV3 md;S@ԑƂZ9սgU_ZyrF: RG>`^:P='fݡl9 }zZo n`ag^` ?HtٓxtQmPi^;G w',[;~PR <^lW}ik68(~51j᛬<-2b\fv /ɅC,I e#8!/@` jfU`ƪ MMEpnC ^Vx0( c).\oլ9:6 +9!Q[H_PMi4D5 횲 YVn,ؑ_gW bRv\`6dc zĝ"8sύ:\}яb]WtV`G(9my{Xc„4%V`hgm=]h;^NxoQ^x\3T+'6NUf. _ >eT"EJU4y@ý)49yKG?@uҪāx~I52, y-=~ _w3aۢ7dT&_63hu?9,@m3ug-vDWɕpȦqjlM%?-ݪd7 2-[CpjԗA;sB"f:A]%ŹOt<<:?Gm@ 0GZA?o9< [ [Y{=#ζwjY'6Iܠ\r0Ҡ_0Wa`[mU# ,vABo6<;M"Ƙ$dT3f+)KJk wsEwEOM1j.݈HZ'(蜊W۟۾xb =P_,};y8wY;L1g1ڹrd^oPmFV]p1O2lն6r=z;9v"f%H8o ;Nz< PW ˊ|oA׿a|~4Q[ʐMuPg3~n@&)M.6h~|h:WBi!=} G|HiF&v ݎ7f/M[0ҝSX/-5K_6}SIbqК:.m/w!FƬE;}b>wmp5nAS5-f[ p?Kr/vj_:L$_/\jx-p iv?v2,I&1K 3{[;ܱW|ܐi\QfN`Lsv-QU7Flw1S$ؐd;Krkx6tu=xɁDq""f *=% h-l QtէiĢ =/coJ `bS~ ?ND6,iL! |䀐={RG}N!{3Rrh>m\v}yor"| ^x &ȏnV;g/0m=>If}6Z|F$5/{XpݓP=/ㆢ`XU*yIV8hZ׻'|sc=99o K {Ă6^*d2faJݺ߅-t).2$^yNeO d Nv+@*PhxTTWhc[-mIp%;U)%!ڵFbU&FHJ!MzuH)X$ih~|$uX7nnnNEhQҨ'i,f rY>=< 0K,5Յ5W".wтC5S4_~)2i'N I#FM|U9L;n܅&@tb&eח'iRR$>]NWIUbxB;&eQҮ矓rU!ثgygPIimBC@RF\ JՕáoKcta؏U }+.*;~^(*83I}RwEp|孬}ՠr`cMZPNkdΙ֔J^z,kv'0Ooo2''ZsFKg!Uм J߿!yj'cCIh{Lʢ7U7#vDDً^BmB^VjqgV`4ЅFi[pAi^n#}&rE?87ߒ&!uv@' Q Z!z'']ݡ s{8iDK#@l3nJ( fvmNz/Xh-lʇ2Tt V\suvkG!#B 9`"{HWv"@^@L B, bNoMv2j5)PCς3bsTpaYTyTǪz;<8e!{S88ât;ovG%R{cờg!YS{p gS)ڧgFV́HQy kH'*H#mIkS+cU?ӷ][ V#=Qn=Wr>@U#m{ui2d7ΗAh-o'k.Zg֬ReRoCMͽ`Bsvn -#VVOFSRyDgwi^x +ZhɀdZOЯBUY);80HvģGˋ&jQvD Fs-\ IGmpN]7Q) &>C">M<}M(քj2.J *uGde> lHks6K` DYܱRJYNwFԔbdрSw&}~)ƭPEc2W+a[7d..y[1CK*SjB/¢iA(  2pU3\|.,XnIc<"Ju2GQy9N$ G!u!Z}:wykfE܂vj ķV 65ME^6TdOEڜdȲOz77)(s)f,E˶e]]rmCDBފO[Դ>aIʎ#㣤WnE.bO's)4Pʐ"=zxe"ҘBq6pֵe[Rޱ @sjTZT󣹲E &B}G3Ӯg㠵t4_ WV@xês(Ώy'Qژ_ m|C;?Pv%1 Bb#+7k'PpSx. 'H|l<m#m늖nPY{Ჺ5o71IdPf+Ӛ P5j>t*53!6I;zKNN BP_s!OK)zq:fRuM2/3I\ɻNX@Y:sV}D|ی8{%P fXZ,"I\mGlif/pL|5rwDdʮWZ/+lhΟ#eT4mݧZW~?8^ s# cs$GE.|%8G0CSf,by$b=Q`t}tF`'S؛ȝ!8]/dൕo! }@ +D8L]E $ ,[uU%swnQ$fV?kަYu@@Y\V]EffV}6/֎ܮơ VY0:YZ5T ^i䗑G NhfZרAȄLx ,P"$Gȷ$n&6.K۳U=BOJCPg`yRXw"p.RK} oY(Ը].VQG(RPz /rؑFoF@ON IA)G76//-IRct=8XhK^`UdY>03ղfxWB %q0S #bp&~ o[\d|+4_K! &BV_L>==Ch&^ r%5#@'cD 7ct6?:! AЇzo=w֡rgķ3b(X-S76ҟ_Ic”0m%nF9A,>{#9ZuG6df<*uؽܠ86hee;bp;%Mkdm712+G"v9FsAJ-CpN:pK4?x}T=U'2;xS!,- `cg4u%ȘxlS_{E`YƨI- dRғFvCܳ]uPƄb=J8STFL%mws0ᚒ zN ؼH=S$n'L 2\AsGC(61. NsRQWvWjR {I&RFAT2 $U(':M\ײϼtvЁBf TɆf Y켪W?ld? d2}KQsb9pjF|"]ۼs 2Lst.>uҘ^Qjʧx|*LŌh]Q}Xn5qFLf0,SKWp 75}¯_Z4a|"&ؓ- o'h67 N^"!=>k~^S(`imk sLd??6ӱp=%RZaQeX[fqIxRҜ+!z @5ey3mj իRs콣hyO19%F_-W2‡).4!fF,[{FtgMי%{߳Gty&a{_>@3mm"]$ #/!/pX &]=U=hKk;h[KgMRTn TTnz<<1L5\]&C xIiU(8^Q"?>_AQք6O#/?2.R$y5]N<J.i&JQ7^頵3Q:1USqErqb .pb K!'B_jt5!)U7?6!YJPܹoˮ}h Yj^/lXetgW\TCv};khw:io$(t+V>  qz^(3n3 uQ5ϸ1q[JfG{xRZGȘ16W i LS;yb`Ap=rUa H}u &2f,I5;1[{O|L*g`pt+X9NǏtvH03{z[_o2%(¯ gȵN%X#oKŀMZ*Wr*}U/!ci#?i ߇ol&N;sۻzvKv|z9r,Y5͆a:2yuxO˷F96 ƽ<_`^w,8 7x_3AvE^|`V|1%mLD[،C6FD¥v Sل6g,WpW}^UJÛc0V~/X1r߯=FTs']򄑡 /$Ku=hRN44T\-Й,k?E 32D@*Ijq9#E%8{^?ȿ¦rlyRJesWn q;.$S>_YJI3IVɾ9:Ԉ 7djg I4wب?@0Kt6]op֤>u(\1ljAH(>K?sμᘧX7ԃyC G3B\uz{&p:Qjy!3o_Q@ hG+r!mܼr]0}F Neɥo5hҸ8SǸ,ɀьD4>z٤lyM-,GPM@5uDVN [OvtLΗ52 ɡ)Q!5{@+y4 e.sNAGڸQ3Q:,6 2.Nk6"̻9-'~8Q(ٸ]*5 Gڟ> rR"֛ yWvy @DMmdR; (/@sCSK<ڽλ i(fJ#] A5mA1@:U+i(f;.FhS/gY#b`[%FE(v] 1O+q$ljCzC1'c/pCĝb)0E.}|G,^1gqX,d[3ϐ%ys|qv_F \;KaPħi r%]pKmk8WJ\GHO? !||D'78Ff0ªqWvY>̀8[tO!;so0a SZw\( }tr< d]NbUJ~<#xA4pmIs&(]+2eDi'*E38bD4 Y3ht\G+:,~^`@Sx:v;x{53Z;tnSչIU a&0C"z!S)S 3$GgGs9D38_g擲<\a_,j; \vN# yiٛ"!%vܒ/gmE-u,!OiKJ#h@!BqfC]l D B3G"{GA Lg E{ʖ,7gK̅pЕe$K^sR6.B(ELhךq`(޽[3ߢxT+GzrZYW@*dEfTܣ.ט!$>x뫨گM4f!H%f`,g"+$@Ws+Z`ffu銭]|&dNdLb ώ(3 $FB术)O5د0*I }ĺKdjGWcVU͗X%BP <_ßT 'e8!^t PbA2eJ~Ӝ3 ٣9Za 54-P5 > c6[.-/fdߢ];88he\ hՐPېn/=o3 ȕz]6¨togwɆ%SFMBs5Yd 7H я+"KlPFCS,-Hce!=qt /װikW_ u'Ez7J!GGt0wߙ6ٴ{Cȃw S"aS0D/ XN$)"{ygjx!,B=K0@?Bqh<y7qY﨑fL'R;,] Y!vUFgJ,ot7[-9[k Z޹ϩ2VMC5>G 2)۹aSQ`!ʰ*A{T?{S2w4#*civ5*YA <41toGmT0K*Ϙ7^%vJ a$ PhAƭHC51CPSԚW%h*Iɀ>$?9pgwO{GŶ|{-3_Q.5gNj7jp -Xh6[&ޕ3K+#Ľ\ ũ=vaLŠ^@qc_L'P'tHČ~"?X,cޝv57W>Z H%A<*b"~N>$6J(: 8!ҝqMOg,@CWj~Lu[zPf>!|ø49rIЀL)CyiQz8it`givmrj,bkGخJo]7kD1z?f3⽶`USC\E2MG&R(JQi:} ѳ͇E'\.SvFIf\Kf~[aCviZ S3D]Ф %ڂ?UPvv.; yREC^G7Q3 9t , mS d^#Iْ6j%j󴼽 Xgǜ_4 jcQ9j#plVs]I jP^_A#~H+v6OBHyG5 /$pE[З(fKl*ޅ-ŮDJ:us\ CHD]CA>v#7X^Y\{m:i[jdn-s߬*<?\N~hl!2lnh72]`{6aU琘L[p5Sǫ4<b ]!acتg3Ϧkݡs(z([wʩJQJiw//BTNV&kI}_xFLGP)Ǿʤ4ɞkk2` iH<q1B,AdW_%8~[5ۥ(OC2Gw.)ˏ ک3$bO!݁ Z?ϝmE6&=hC^{5ۚ/_/zzFpp__;A@~l- .jxebm4 >T&uh ,? lc:]/PI\EY L7rE&G!k?a1WN[ lK #D@ mBm%=Ul[g#dVuũCb) AY|R.v)9ِ;o˟+f.;%ơQ؋(J!A#$I8:Pw>8M/~%ngm9 bFC}:](W-N4&f=_GpmfXWY|R)m$"D&1cӧ#\+YTߢəЉX{kRNPN9mR3ΫQ: j̱`{K|}ȥcJ$ZRN`>R I Awls{.|.ρ=R`a\jQPҜ5!4^ mnҦytEd> ]JǾ X'|̩½c^;9z773XpxQ~H"mnUUWGΖ([9ǨwϙD[f&#ς(% ;G;(Pm;YY>{6ϊD,8Ϣok_ ^.s\׻tq pS2k ;I[78$:hn]z9oH:ҩ8#cb)@ZPrt]j 'Ob'F?Cd zZbfZ)kbFƩks s +lhƵMgV.NԂ=U@udnn;e2c%Fĵv9b:K ʋDA_HҪ%0ڬ.X s,Êbow|D&B9ȇV{YtB!V 1p.eQcgT?@}(/ED')n䤍#/T\/3 NNC. bgiI[K}"6P5%\ҡ~AdKv.\.NmN$6eﱊy F'1߬`B%ǀ]3p?R"7Ovm51"⌛ѱ~U\xqpOS{ܖs [mb6>OQH[AD2)z r J9phȽ Z^]K<'Gn:)DUy/z{ՁlT0XK'CLq5魵y `rDy(UJJ=zIgK;e|uʼV26LyU\a!+]Uؘ9~~s@(r Yu:]A+c&ȉes4M$+!LdޒZޝubL87F)rZ|)Bb=}z֚1rR=sE ǻ&N,4B:Ij cсh7HI'?PJtJ_s>~ND=e'+ghȏ)7VGx? ]lC3 v4 N.<02qi}Й A$ [6"}"]˫ۆ'o8ji@ ዽWavN݇nOۯsU'N]~w YQ٩~Ǟo^#{7b5@Ӛ`5@BQDI Ef/h!_%k2AyRDvߟeP0 >/9* 'vYa|6Im(5,z0;; v!qPK?6}Rޕ֑A@ A&&ܬ\r/{⁇=R5 \spGGu;"y/U4ڶ{@E1L;{/Ҏ<E#vg:-Ȁi K 3,'>!a+_8OnUO/G;NBCT,|B5kiv]p}jK)kFMW0crQ}!Hhd&R沒.G"ϧkp)Ι*uR9,i?2}Ƕ:(WkV˦!nSFu)=BAwoGVԶ=ӻ-6Ж3F-7ԣ/x]lw-U $GDOԠkʅ^);Y!鏿?ٿ[~!ұHFVINUc<#!6& =<@"{BS~m V23UDY-&LUJŸ:6- ̇~ Z sE]ԏ_LjAY :XIKdRTuG9V&27Z-JJkt7K8_gM_¶v0ek![Jbߙt5KtA{(a%vZ$G`x %)ځ仄Ku2x6(DMu>±Ur}|zT^}R2k;_)*2 =T&L-7CN4% m3иS}BKf-}O<8ҘKSh\^'jd XI#Rj GjJEʩH C {e%Kgn9b=xIdu+37}ӊB 8L9;9 #" YE/ȋz0(6r: 188$zхBa} E-NW/NezpXaaDa(mH ^A1Eݢ?qd~Wbu N'w_ɇi]LHY5eKc֜^0l_Z))<g@2͈v*ԷLL)/s8_twpNWKw'xg݌g22Te]wdym#MxG)/Gw}0e |j#-֍XqWq%]x4>R?h}o$YsՆ$+AedgmulĻ:,Z4DnCl'GW>ϳ$`3^5Un0oKXI K@jhQv4.غ \Ô{%n߬H=UHu%dF*Rw0Y 4Ujf$xMuAj?]&Z$>яyZB?(a>)mo(jz3O )e![ē gyP@!aHhWd34L8MWhnFMdb%PeZ\|,漜P8:"ux+|i:7,"9[Ri8s1ַwB&۞U/ ԲtR7)5WEHS0pR!֨MUx~Oy%ZiL'ikl,dƓ1 zu'ۂ Bąka#C |Rq@JE]:[؆7du d 6C+Մz Ny$=B͙^qct x'@ole׵^+VM=HÇG|ed靍qސOK]A<.Ea1%~j/[ 91܏_a!6@Tgc+E}mq)@#R~DsCx9쒲/i' cRQ)~ز$5;CmnBOb oCz:t![ `u9-y4\֍9|ϢDě=Gʉݫlخzƕ$Eak`~  xs""nmDb9$ dUu%]"WX9D~n05>R{#n¢<]d">Yê] xTSle# JUօq5EFx? ml2EsuTmR؋vkcm))7^0rE3 yJuqć=UN> ;Ş/8Dd6F8V|h+kC05L1Nql9;Ɉx0CL~ ^@sH܌Rc'Gix^*dK~#5 lvnMljoR39$=)ROފ _1g֒oSÝ/n\'ѻVGh𩅈$ +u\v*zH-j^\znUyvzs$v@մ>ɀG:6?e9,#3tnv uT,Z g2qfs5aIR1|Kt:qCDb)]8Ce;נ=lPͳJO%nWiCJi:)MO'_X^! xJ(R(=U&F~Э"znjRsn{ `,𿼼^W ˈ/)8N  @?Y[/Q#Qh"v-cIpϨ#BꆇS玎>8^x ^ \~[h~vR!UVe@1u+ {Pҟ^ڒy~(+}U2aCы֪|"H&p-Mfؓ;fM2[h&(`:(s~$.1GR܏ O@w]"/] v4YVyh]:""/|rP7 1;Ǒx?02̡SH[yq[h$P)SȴJSRocIvQٶΞdiGdrUPnD*Ri[GRLJ?<]  B#X +BF /!"K!ބWcJDb9Tv~OO.}ٹrMU2L,Wvɭ* F$@GuZ2@mmWF" !-<]2].*gs볒8_i@:Ä)]8+pmU'9)kw!J>k>>zItF7?KтZV.)8-J(ț`[Of꜏%w]gwgXp$@Pb L?Zv` ~Ϋp')sK*RW7ד(7/nqvyNN/+0"Äc:yI yf/Ħ d\uMAqs8x[ ' F(zl=gNo?ZMu^54>6Ąո}\+2\ϫzls.敯;K ]3-1|X "tq -ar(ۡ ޫl|!(&ZB%̈́U3+l;2>ϗF_qf]=`NYq`U66۞Lݑ!²< Z:X6Vkjm'טlC5}r5q)|}]=Xky^ i^e^ rf{(iY:DVOPIO̲tYHΪ;¦r.=y@mZd(wp wMtFdB:O-zU+[)c"աUO4q!:3Z1~'Vk"K}F, >Q~mei^؎M-, :2#+P+$Ϟ9t!lg_R̐~=K>zIiMsYBEa`G kX NIXOK:,ҀdN[a[vd,{c+&o)rcvŽcZIA-zorAրpÛ_9oMG2)Adz`~%.=TqϷCY}ҍ?="p իLE`V_gwhZK&WHImeҊ?L:ex<92jzQŌ8_-O=;9N#k$`j9`Ĝ(exDB\Y&FϯjD*azr0ZhTȫ-NBvLo2pwFpP`كJ38̈́ԍ9@A6k0Qt&$Z[uֱ$ڣ [7ӾOpc)mtt\ *sˊ[ڿQ)26%^R X4j%6Sp$ SQ/htľԟsmvRt/?X D+(r]M,g&ő2!81ϛw"%ae:dūZ_#H@ɂ>D{wg2sH6\V$GX)wt@1dhy0'H $b*]}pьmvp^=Z.woOT}4{>TmFRn3*P0lxz5]i\nKAS~]s+@/=gsOLvOj\-H (S)h\w;+8b.̵JT~_:G```"?+":#}RTtFe Mu*KsL)(-h[?ۮj=ņHh;4D+`}I8 PNnҷb/}NY.`#;9A?jW$;wcٰ6$,s搟8G>`mk0oWNn Eo筀b|@Ojs KդOP€lYǖ oxzÖ,w9A"Hдc8|a"K5q-76D邷roLo$t='CD}šɤ}eRLa,jN:L"c] ]e V J1v5S?)ÎpIP-qZA50'ؽ 9mĴ7d=&F;~ՉVh )s*%Kz7-ufR4XPE{$O%גfrKLjQS@4'?9Q.j ϻabz2HcZ<8@=,q,Q̢\q`4ay?2aȎfdQTńvG>0RoVX@=3T10Yx9K<{Z. Q#5w>MHw !zj% #s B%w%T4P֔>,;S:dbT?g͠}E#5s"E0O۸a|^ӽ^Y\P~AQIe&a`SQ%v^w_M4̭V!I/[5LUDu%PrbRcŰ|Ȅ(&DnE7.tdC'C<48Q{z:M}k&nI,F"]E 'e(`Ŧ}Z :?YiR$dx8rQ(,fFbXw^jo=يFղ - Gc8P&/pC 1 ﲄOa qJp,;yɀj^31(5?E5ʷLxD \!ht0QHNMpYIB.Zφ|gyѠ_A43 5ʪ 1:)S&a%It-c =\niߴnpIOr\bO`vr&Ae 2:Ʋ< yƫTy{eNRRqmaa.a˄)ɲًF"] ńR_n]uqXA(.\`ji^RVz++~YzC).V:-M SfjT§-!M/FI mAYݢnc(iK\e<xAe64K;$0tRT#JUǠKH/Y+w4EI^TA]G[( u 05ڙT&T{O!6c-guٳW`$Ѥp 5@OWbiH^h*Dk,ߖhPd]u.+j : Pa -D|u\P4ʈvyDktKDfcU܆q5l"g#AWq3[aR̢D=anNZy,햊**q@tt)߸Wj>J0l1P^/g I+܀+{Evڋ?x'M>?Yr? 6?%B?b>s–|+^"JS8?Lc}2nζ :f| k)23$)e"K(*dָfJ7ˎWK׻$Pq Z9uM[߱0'LQA ̫g%ЈU,cѺJ,Sp%oT֔I?_[P5򢉡tzHT+Yױ#1^RfS,kd›~X 5PG P0K 5 9O䣋K9vRXQ@ix[7a1}1_lmtimc<ᩕ,ɛctpofcdvf#9 ԯ5aݶ8ӟ^y@/3E' 렐;y_HZºV5RQRydXuQG |]iĐk~,GC-4ֽZ@w#^KE4k:Zۉn'{}t>V!8I'b#/?}6l|WI i#*/޹׻6h} v";IE EW3S `L.o(_!&w$cp/fL[:y0:yVB *q%~o$젴d3iO>#܁QST5aWƩ}q @;=D@鞙 vA(u $ErR~MM @Ӗ 7v0Q:ُ^U)$<zaGn8wve"3.Oܵ/~$zt+vլ8ǂ]D-,Hdl>WŸ B!Y5Ȧ`_q ֑xs!+==i)m.UKb‰Ϧ+7Ӯy\~ss*HΊ+ak/z{”hㇴZ*s˦x"7>4SZ^u'Lb ,9ٰ (9ҎyG_xrjSfhR7ҐW'OG42fnnٹ"y؆X^`m>Z=^o$^mׇO9fYqJQΪ'cn@(SAqYcI#%\[bʬW3DKZV')6;xK4]\BHpBm$CI7iPlԸqЊd 7{f]xk,%'+\Fxtt@:pSeX}oS@%۽E Tp="nL(:~Uk) p YY|%ja@vPt0&S`leQ'hKmURvtnmr0PŲCoɊGy\_aƂMČFTV/6۪IRjiݽr@~sJq>*Il`sF rg1v٫y|~ pi>v!$izo+pZ00|SW`֜x!g3uɝMc"J>y~yndpPMO0s &W =niO'WAlg%VvRDmp%`vL \z2*$5JU> 5'Y_ ^&o྘]:^}ct,<r.BN%T  g<~Ʀ k]TU<[g{9Җ|E-@ ਚ%4`+N~R@.p`K~P4\_ۡL|N!̡|\ V!xnV Qo֡$n՛gW..]Ű&ІOE# gXgV7E27'] v+7:c۞vy U\+7ÏSOdHV=|l'kZZ.Q Nse ̄I8N1́&`7Ezs0]wֹ)v!5F|`7;лKX`1?k@97NКşX%RoX^+)An̒3yl܄3JӬ X(X[҃Jx tPHsaEBn#{QD~29O/lmt8骸Ӫv{@ٸiOzkgH{Bګ"OI'Q#5 `ԭ`qzCۣ1B &/㻴`־فU_p4F^- /b`6 iZ X eӼ\zd&Eg|cLG&;qseϸm:}&}Hrڲ&e"LC%4r UwLBVr/}o8^OhimvIg8#z):#N"HxVBEaH|=4tXd̥e/nw[,Ey'p 3tF +ކYBYϪE##<]Tyu'碆_gڏ#&{I_YJ-@]1RM W'V7ϭ +]'6l?@E(\P&+gld)f*Ky +g@ V{ˇ-NP.z o|; *Rh7Ol~7]wemwɕ$BIcH?sǶtG)_"h%P(Gp:ʟpAyx=e/J?㗉v{)Ĺzjtә6 L|Ѿ}ɚL׀]X<l9` O#GNye0Bʇ i`fPQ};%V2Ѝ;W;S, zBVNܖ7<D$雺|o%lڳ!͂$@T-#8꾚*\;ɶ "ttyq)i*W' &dV`RW˽ȤWr\@Sd#K(U1VX{YK+3<m!jn8գW͜LJa}l=m5 AD ST_#Q݀>[deaAiM)LTwq*ν64׭ӹ56_ &V8  &xP1U+ GWR ҳdW<ϹZw*M.1 YuEO:G9@?EMZ&A 2 >̉8sǤ@l\n9F5G'iFYp͡MuTU b^(#o!_$S0¢$^X}ǛtVdXQ@t'S g"1|& ,p7+cؠSGzv (>W([IrS`[WGF]H/)}ͬ,dH@Coq(acκuό9pBq?p.T R12of>a6G@OUʴÍ{3(#>+;^]dwk~s4[EXIA@r'na>KfV^@N!H ]1RZP@A'ZNDZXK'=QWT e vMSk5i_BBYPwb*`:o?;mgg1c&|RJBx I.32d "Cytu԰q+)Jj8-)ub@K`/A02unSi+Xg\Fz]V3Ytgr3f+ₖK](I-(zʿqUWBm˔ηI%VJ$Pv FI p &MU\pD q̙mzgg@2yeh#>(uɼ + ggYk{UXU ktm!?i䡼o'\W{ȷz8mގÓ(!" rS%唷QA ;w,Y y4Q;}tཱི(N }%;_MYj9 -{L^|Uݺ"uu>_,^L/tXqay̔k X]I*4Ow4Pu"ehPr.T9 ච>X[qh u%-uZ\?Ƚ@OmԵX3ѱs†NQAEVW,Khgc$X6ΓpS :ڀwE\dl։[e‡ e,!01MrL(Y{0Ke_߬m Ԗs::_ތϒ d^y, M}\s4)$J ;Sf p;,9:/~wI?6t-ǓL^2SdyILXZLm( R?AT5"RcqCE-X+VX lTzuUJ&( w; fB$g쒅>d$ {j /U:zygbл:^86|`p瞩Wg _}2J-GTR GX7%`l]e/t3s4|<씎|]׭ XG }Ҁ,Nauh!}Dvb|< ~[j`KV IEdSØ-Ng؉2rN7D4 *%B%O f o<Io9a6i+]+U7in MD;&!hxg }P{f.Yp+oXRTXGg$rZ$37= [Θ|9*6E!tIj$nc!f]1$ub=$(ȃ3zYAFw=8 mA6[Kwgو-NٞM~XtИ UPn.Lû__EE" c]7yUDk!Lț4BG " 7S7wFKR7썾qKc}}PpA+t#_%9{ֱ٬Qͥ` x)wh6$2q:w *ok&?{zVı4(#sJ'v!B[bRǘ ML _+ga~EMpZG/-ȪLrn\./'~>`햜ੵba_(6*0Q!N@[ 2*KL| Ua9Ȝ,3]֢Ѫ5iOs.> |k}c һRt@2xV%IE:k8rDe@2T5s kjB55*@8*PRn;mW>Ϭ/'O)mStdY!YO&r7vXGQ|)%3a*'+> l l~>sj(_FKYQ'2schIvg W--tiF2O2mG}ZhmFݟh\Þ#]Xnh>(!*ޖxC^*'d U|. DmdW4UN} j xܑW(5n'6}c̴XBcVAв/G]f0[k3\xqB>DnU5JXs\.|L\QsA`CjTMgGSzli<%7MQ<p[b=6IՆ/pO lo-. n&2Pzd3}SB?+)i`Y$<ˡ̏7N.SԄ3@ד<7LiEy\yo}ȝ~IJщX$3ڃ* }:^yWǖ^'\zM?ZKlVY3,vIHZjnc.Wa+ܖ\o`bowJł-n#9Im3uz!aQ2p%3|M8?9!w klv2"jŢ#4=lvYH uc֠ĉۇ[N縒"Z fmF,cIUgD 3|j%y {N')X l"[zHoFg5-ZOs2xr'.&Ow+%O)-T ޟGzp/rexLD3tq:z'{y/tB"F籵 M[d$*ACR` DZt*7E:V7"L@GaYm䜺ilJֺVvYZ8Y3'QcǞ ˘)Rǫzh^ex(pYWKnY]t mW/s KR2B+'1ՍWfa*DG\qY[4I{|WnrsmGc-> ZqgVQsRN5I5I 0= EZ\@d/Jȓ#9$ٓYxVm4UqTziƝ:<57hXI*$(shۜՓ~(2nIJ4ؘ$W6*m<{㒒 :F J_"Bt4n0'D|"[) XT\GdDI"L_$ gֺ`Pm^lrcӂ6Q##D`8Wr%Y&FBQ1J9U 2%cŐnӞ.(~L: m_ě/WtR2ͧM{5z=]hߺ@&~v+V˥\/0׉4!{C IY2B`И"y`5'n rUGZR3֋8VYf+q86[ n[QxYB8i!]4Gl:ԶNNѷߺ X^dWGj@964bkV?<1p. PH5dpRsE^g*۬xUY:p_ʄ {#  |k6=N@?*r;r$ag/<@?)С8i]jqv%Š?= ǹXf@]c$)ioG'3[Xƀ߷CDvzO. /a,Gl0:ȵnţIRk'EDH4(_5;8X#Kil2 V3pg8/y4; НhJC@MZ:%e,LL罝ʫ[jC*/#(,1Y'wEXD  '2)}d}KM4>TP)iּŮ~C3'`%;Ϣ->&0ecqJȅB?xʍ*m,[ 0~s\[SvqUӋL o+TsJ 6[Y5 u[U#ηޮpTHJ /qՏX܊+QZT)ͫI _:o-[\aTxIJ9ߢ&;:Pbj8:l,H6${̊=|r/a?zWK+|Lh莵ڬJqqou*暟z|B ^s yVq藈Dx˟Y`u~.$8ɉ0Cb繬I,>(8;B#P=o3381!tS{w:y0 -Q iHyV:@0yF!Ȁ:ע>9CI /{FܹYoRXM}(o f5~1?|!EޥI P$5R\9i;Cޱd`@*{uQlAPCSž >:r|[a", Jv(søCG~EvЭX(H`ebp끍SI#ժghg VZ49bfRl}k C)Z ~D뇶:sfK|&kTn,Dՙ 'wXr]alrA}bDrmB={깣[|}h)em}$i8ѐ>K|Wwgt.1j'@l=)M26Y%7}T -$@fU{6uőPF,$a4W3/{=f JJd W,vS' )WE3L`6k>uQJH=Flko/g@HpG M#7p$Y4N[7~&mzO-lwjt~F_'oJ!0w`czzՌ\=/if WnmG/+ezg|I+6j/Cz* n *1݋0ER m60LژH1́gl#a=r~"[#6mѤOֆ!\jsV礿?#&PC%yh̖BbRٞ{ 9U!c$k>u[@ ] .!Gp4‡?f+TU8 K"2;֣Mf8Ӵs/R qĒ?8!֌x-ْh5o@XT`>џ5N$^s{
  • v UA/v88b9WnvCm*H?5J;g{X tt."R]$ Ba:y LJQJ1q~h!Evx8*1g \䠋/j27zA]Cdd~Mmf{뛳]B'<-?Zܤp@I(je\.:B-zbq0( P6fAI4{Koڌ&L6ca9ckv:"y,pP^q\72(2G Iq(A K:$T:Ua-0IEhFݱKgQ3(PyJ.kqIHZ?.Ċ\H,eo&[-a{ȩ܊ƱJpϦ:iN .=6!SJUm>/84f皨Vʫ7~x  Ok ?v3fLu KIsr e>7%ko.[!AO0u;Ne {#o0z_o$JzJ #.>um!U<b뚰Q[Hfœ:rώEyՁa֟5MvfZ +,-.e4|>]?h`eߘl븊jMI`Z_(oTh'CJdI?Z0=lNu8 ̑v\%]j&w$ M5,QhloEyQ Áx< bM",Nm!l!m@Y"΃ w/x'D{4V|idL'ܠd%[њHY ۪1ZRR ,s=yau=q%k[r?VLR(B.5bomO[!%*E7J֚jE-.J/^lt-"JNeEufPUU ߶>Li f t4Qf sVeQ oq5R_0Olt%R _Q)PlD}Ode FOF58go4U{s ȅł5")h:TB`>p/!é2·6&t_\;:JPĵt3} 7'Q*רGCh5 mR`'SDGin(RM*)6,ƈLJ]>܈Ƹ(:gYZ7zXZִF! ;]ŗXiɟ1˦r~KunύNN{FBw&LmN$oxQ/I&1Ս<1ҸNP%>yr9؎98j pSxq)7 NJ7qy!B+*тK;p4~Yyz%@ F+sKJͥ2ǜr& (gYZ7zXZִF!  o]ŗXi%L&Φ+hh!M2]rx<[ i4Е4{O1 jG`}?ʺgޗR-^M#!]-3Ǽm7._,w #qH5-U d7@܆PZ~jEd<,omDP 6oŸ<ҿ&_ԓVT:le Va\ь ABX/+VO2pp6D>O˹^)CVh ٧ g0\zڪBD {Be[{FF~ڦr?~=+a"3VcGÑ]3\6tcbuс%w.!3 ]#n@ێ'[%.B0ĥ)"r󾢖\ c:&-Np *&m,1^+6:4$U<•'r<>U8yC.i\I%hz wiCV~>VJ 6M$UMZk і_ 6|'l?[P hǕ/T k=锣ZMH1d k}s3fS)@6[\X+i½ _ek0Q*+!OSw6EVY'9!%@xaeWi/>~/Qĩ8ܻj3 zx2ojEwqKa_I9e2Y|/J+67#_czh $#ͬ] s&S,m],4az~5m.ŗC?vSܨqPJt0EM6-CW7nmK؎ChW{|v=z>&$d`US2"\;'I]F`߯ +g4+?|#4'j x|&Ł|;jNG fnzsVXer|Te>+2J$c<1W^)p pi7DOK5i{bHa T s2X 4%5n)) r7->]qZggxkmLE;9 . t;:OKw' KQ}Xb\CY@DRxRxH!dPpX겜"vZ+/t9;S8(j,ہ2O-R?lz_3V04E؋1Y7;@ +g&ւh#, t,~pg93Ps$-BjuA-OVYэJWܴi!!XPȞ!q$f] xЍ+ubnM'.+f=\]ҧqcܯ"ٔ?躞0PƅH5' ʞ1$"\Ueyu)Q>])@JJqʙ\`084؉@Xfk٪2 C1o S;-#ܿ ڲ`ryR7-\$ifEq7e5 rsgŨ2E7xr2TR{Me˜9"YyqGDfk?U s좔՝<#,PJuvf/;DԢBhQ56~:s7&\nS YSf%8PB T:_I Pc47p3bN<#̶D)CLf 9&N'Ȝ2Rvx^Y?ui9apCǏٞpOZ00hݑ.L(+%t޸+̧ &pBRx(3C8FO4)Oݮ(3yZm (у 5lf)In|>6#Y6r%0&Eǰsg/糰ߏsy9[8KNy:'5WXm (>}x9_]qq u%|<œ^ļWQ@.y+M&U,l9n4}ٲ#[8pS Xetٙdד{k;7| *+] eaC7]8H"Czxoz%jr(ԋ[dG_݊PFϒW`uA}+U"& wpS:;gYZf4d84a056f781a89ec4500226020bacad03a6f689aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535