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  !l\T ]]]HOL-Proofs:threads=6elapsed=868.412cpu=1954.960gc=256.876factor=2.257zXZִF! ݑ0]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb(İQcigxKäX%[j&a p;=W+>*m4.b i(PJDqRYZbxM󁦸\} rF]H2I>ߛ-  X n52 JE[Nn`GB P :^”rtߘ7lbחe;*Bl^;,WgS~j i#s3J Gxf3sW, x@(|kiÕFwϻӝZ6u)G S@,.҇؟*_8/Ihx + jANU܂6*8C []Ң#X~\CCg}f% 颎^Fu]nm"txbGxOJZ'Y^GyU1S@F8WHPaj)bC#=ʚ{쓛>N Gޚd8GY3jjVru e="Hs_+=Ԏl Ky@O≸\_mPw|nUx~ /~F}ceDYM?JBq]uVEPm|V,Ϧ3g-_&#\`hy΄\X)>|Fo$?Q.,j PS\=/Ctg3\¡rA,Q&썯jŤMs+1?q0fL߮}Ol"EaÐ)i/ݺzڳb`G^;nxcr+&/d9 { ~(R+4 (}eS@3bWlZ#1ZЯr!J~ N*Yk|!B* { " \:혣 Ykn;l-g'>0%N#yE2FğN79%wp˺ݶ?2(݃kB0?T|p:]Zx}8 FU֘/ S[?.ɪI}UD| }'b~=(P۫Q/nCΈu \~vne6YU;HR\Ak0ɻxZ}>[Q5Av8Ѧ.P 1\Ct6D ^֗"-Zӷ Ozk%}~ vWQSuwקΎJh+Nn) ~[oG?ݶ^Tqtw]H,]NTFM&0,Jdn_|o} ҰdHSViF&y֝3 1aF"^*bD"N&/m,V2csfjNS{.GK?`@ ,YO!>4\)_7<u糙'ez\?پ>[oՆKC]zFf} xo+@ܓgQa-1zP)[sV۴]˴+shDM|} ! 0c{W]as}=v{@Oճ噪&6cM:)mdsd^+.s#$"ii\׍ks/hKΒmGjGm2B&VA=7tyW#ngn:^LBo7lv}sžw7HNJteO!LYyxueV$؊LBcCDi@&4#޹B~Tz68n᝞@):n֚Z] w^[LǠn 7-}1U(XfM'11x,OC.0@!Zk>в$ Y{$Fϫ#K'KPs~ĝD 30C\a-TC~N GՌ:XW` eo]X2hcno񏌤Jv.gu(70 dolh*! ؒмtBBG9õ֓ʡ,~qν0СI.-(:hH=w*Np.k/.MM $VXx[Ȉ *^RNrcB[jJ28V^5XinIvئٚZFWXj_Y ˞Ltb]BǓۅXǡ%e1c4ZJD_Icmmk·}F!dcf.UZPq:#MT7|K,du[ȋ"iQFk.+ǴX)FΜy dB\֬[#oĞ7ƻԴؿ8Gd8%Sf7L]诜$l4s pN42[ 3Lc ޥvB~UjjqjM(Q=+RI*'!7tV 7wNFvr)R(WmϥJ4nNn:񩜂߀:aǩl>IW4M J`!^l5~O)EpⶍL-'?#{kUgVA+ $iAefeL$w1{pa+H@"t<_M(NDvיKqGl0_&W.w%&$ek3E j*rJu\m ЂCQ xCIpimIw}]BN$"R?p*+#4iM鐽j+쫺ԟLt_=\JzKa#Dd*Wv"Ol;/X Vfe?1.%n0n#P*ʸUt:zr}UOg@WOS15tS*72TNv_ S)5mNNMB,6#<Dq:Az.nP& R= W{}]X?_D^\=emJLlm<-TG] c$E[Q²S56@Bm97O.4{8d|K?uh%G_$=0!q%TQF:I"*q3O(&+KigzʊgljiexdwZƅu4PpDGslmYy^n=Vjq 12~tvhͽ1٭5db}~Y86K΍Ņ1 ȢA@xX9&u  YeW>$ViR-5U\pɘa^,gCNщxT<.]}M$Rj"T/v#IJ??[sTJ01gYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!*XL BqcQ zo9T Ϥ-Ac.e@Ư :voVz^* S .̦ʍg,W)(tHgNzK9Rsuwu2cwWOH*& X/@lS|<\;Az;'P#M&WwJ%Bjmj&̈́B9ZEܪPk݆Zz3`)JwI⑑:%fl3aQi0f-yVbl]=eO=!=3)Pv!%$gBz9_oj)ʉ82D1^#Ս1aNR^mY#:[ Ɩ|͆LOm&ݹ*&F!32?J^H~cBm>cGEgR# SD*+G, n=):yo&Ȼ͙W3 h#Ng%)׳L6[ Kd9"|C?{N>DaRm>g|}Yz- Oax5%h tw0GgIzEj9z̽H7"wH|1u+e{x~g[ 0! B>;4O=U.%E!JRw>uyqg/H/dvcɢKJbӃO8&/A("}u%4jcf!+?rwg/]n守B$LTk`'f1^xhAy__dr.m%1"9InĻ$<ZR?A/p )2we*( 0a8 C% qњ(5PlQW#ǰAԪӆA2: ّ2hpaHEy ̠pYxXQ4 el3a1aZX hO!a@dƣNYE) S,61%>UfzE^ODZD64ԑ`Ѽk RmiA ۩0iD_4BxRtCXi_Knx+vC5)~䙊v`@Df>{^P{CU_32En30Tzl:?D{MtpC|:Tڊwy~m>[@Cb57f~VMz^teERd*ލ˺ wEpx4(7S|~1Ӂ3|J֕i.흵L✔Vv姆69siY|H~boe8CS )H%cUy7Um|,=lݩC|q^bE[.T7*֨FIF@kD(Q(JIy/f?[O\6^! A0宆g"V SD,?EiJmN=h[rRpllPnDiL3ȇC8G|Xcq=>Vmw-b$Q% G7 5LeH2OmjAF"0dHi:PðcOU :⋓uR)XIzik{ ;4R e.)LK~ =I"ma DCރUE8Oapz+`2[볚gYZ7zXZִF! _d]ŗXi%;X9S2Bo0o~֋U294}ӥJ 1 L,zCXb絷i,l4~b{"E@7SeCa) FMS}[j60DfIcDk=GRdGf ,;}xD5 >Dv*;-Eۢ"K{~qQ-8.`I9GmPr/Xb3z]ۼEX:$Q>gnr^T‹g5Y& M+E׃\hkkBmH;}?ENPNxy |Pn\E Smճ'rvMat3Y"|zNc4b%ZT`K $F$R*P5Mɖ{]ӞrɵyܚDB`.X&=%D3XP֧HO.(3PgEޣG E^a?hv;x~L>tzQfuP잁R4Biek❣8=`_uZ1A: @ 7CUboԉ0-d@>>\cx^;L-zN7 sM#e{ѝʹ!KB q _ 4V9?(|tkqyUxT__EiQV$zllZnNB}`uPA扖$0,l$`d2,K.89KYipgBfɺ:Yqxu6.T~$UP'Mҋ@-¡Ac1)_M'1ۀAk 0pF7BΓiB1J$ޞ]!Wq.A6CC Ԯ( Y{5AܗC| p֬wR eoBlWS-}lњuV K 4oRV"l.ٖq98P6Ch] ,Ңf @]6.I\ G.fvJSѲoj"47o7 Ѵk1ۨ/;26IZfƤ {G Ozv7;Dyă0@nvmK/]䁓ϸL/͕ -JG8MU`ƚh*@=:QS>c^O̯H@0D8/ǣ?``ւ.{ fspW8@zG\`rAEכ'NeN#k<L4E17T,bn"3Ex^pxVZN/~<ynVԘFy#b=G9-BSO?,謄tIWuVa!p:6fp빤'vmՓm#W~#H&ɉOR <5wpԶ/m_"M]1Ͱ`3 U͹"h%fԝ/v+ԏ|j"V_̆VPiA:^ca$7ӄG+D,efQcUj/k-H(2Wԑm;h4p{#W&!8}LNˣPZ9uLY7IVN,Z\99m eb^.!YJyzA@ "H]O`ں}2H; AdCr6V s!`s~$@m>g,nd\^Z@@m*3v4,jcaLӏy 1[9}9ƃ%4 'tZ=.XMOtp"ZLBoR :GAB8 |F}¦wz .k%F}8\tD€ 76MeEZsH溇R+W SH2kXq%#.]!Ī )MQ=4  !N]ܾUrĜHz[|e25.C/DM=o+1I.E':fšzFHQd_뛶3ݯkQJ7O `LϔIpT焜;MustwoG>ԥv=ݎ[WR(:0u|>&FCw-('Vl`|+`WY!U.k 7!-YĦX+;t; !Pɱ#ь|X") #7{G؁A2{a<_4 iC.(P[f٦anKrF7cCcͻ2[C2d"kOKj88 ɓ,DrKkHj̔!8 Jqa fBc\ FPC?_qM^ႮRrѪb8:glMtOX4WjR p㶦>o!Zr6<G Y Os~ {lsA~0hܥ1[st%C))H|hVӊS%7?Eqܧ xWdwخv)SZK{; ZG3$%A”5zh I6J+tBO^1)LlW9|k\$6kTUI.ŝHtc$#I]K!(VyN:1jډ|?*+:;_vp\6OAшaXqמ>$dϷFJ7T?TVf9ط9WΜfĨ/~/iE!\J4z]ȐoA3É kd))ÃĞߒzU8pr\VzZ">*CvKj2qZ{"FؽWcIϽT MP0Kk Jf"q$wֹCcŜ`X,fФ WqSkG^~mۅοbǻ8Aem鯽[B-='Aş YY;bphf^1@slЄE4 ːێJXq]&}(wBgBF!xB;قr>@,lU+ xSwJѹ 5[u=5 k*q63Bt'".H,P \O_<"&h1Ƶf&+R0ۇEukriRvt3>:[>H 3O\ 66/aÐ#QfϢ}&*OI‚[شRSa7zݘЋ<O[v4e0BZE. gͯj恦iDT9#*CR$A1 |BD̟1+C;܀g #ٿWTRߤ#ڨR_lWTj/ n.e.|S<n x(xu{R: )N pv#6%ݮ `ZEB][*w)z pw$ƢfWF*'b_cz\P16DW*]p^\յ73zueCI30KOS,Ф!AfɝKF2KkE)W3G&^do'd;1lЈ#o>a %ݠ{R$)Ĵ­pt1> OoQ[5.f D}y I-ԓMNw3|w3Ģ䓢Jֺ?.zn!IAE+߬'7D қik @2PR:cE? TYKzyYWߏRpf&soj/dNG]k|g"0\vNM~ TG('zl(}[(+^9Z~Ce#_ ZeK&gAcDCJ;hMc>ݖ4q/®\B@*W'n VR.lb6΄]]g6A/\σVM{ ɼCmtmAc5/S 5uG(7E?FF !0i4,DKfY E ũC܊!ߣD[ 2le1 a|jۃ^X8-.7^=zOQWYn=Mh^8Q4ErIt}N~5)D7s#"Î8]WW;`JNXkGS*i2eUaf>UH.sɣ 9S/aܜa~OGEJv ]cy KY}rSkHmvVJ*.kakJc=#;żD)!v=6bJ2 / !]XDWzDCP-3$4n ae-j.Tjի'1 Df|M^y*"'o+ݘmY'Ke:.U2z!:Q<ͩ޾z練:AֻKحBZ֜TYLB֠17 \5㕠<_@ Vs\@5Ă(&A.w-f&,eu+>;_N6rk-MQ'$lfH#3n_խ bśץ|&zuוde*z]S+,ؼ-ąY@95 <`kwJf? XTGF#t hqd2DbNط6y?L{q Rœ^"zW)nԧ"cVlI.F=;ss} 8NLRO[X٥MeO."mУ7 tg 5!*Tx*;=^+@945qys }8uٔK[±w{W|3_nV3 2u~GOn\dT]/Sŷi }~h;r 0``Rzwb=Ylp% #"Izw RltI7I؝6~Ő'V]AA|6ŭXJkiJ wBJBպRV.zf3vF]phj[71X+ i Wx gbS_?u3|Oզ *5w P:Ѿ}ٱ@rTp:pt8|1FIt C ?br^?]Let?͇VVQ gϝtVP\tg}3 A[ Kljot@r? C|O*H+oP+) R|z ]jQ`~jSRd5!6HuplZσS>n.YK>,MMβ|d_+d}>~CDpy)oWni  BWV; GFzt T5M޼M58/u;c]w.)?s2WsƅDbz!5oaTWZ2#{T˨kWodYL41pYċzYc훼RruTIeuMOc.1PO`px:kp,"GRvm%YKƃ^1% ɜ+Ը7ӄ1cQ`zO,+_-@L-ǟOSB|@$OLԻYTk@-ў,U7T8a|<j446 F`*8 HIV(@Thy_~M)̘ے:_eRjgTرlj~]2 vfT.%, ⵶<Ŏ/}+ngcv6QŌU|rup #A|ETm(SeSGϲnF2-XQ%7.*e*@'SDٶfPz{yƇc_nm ?%'b *k1-e65Re4wx- ÃGXN/YIbrľ+U)ӶhL[zY)Lb_kG@Ε2N \i P_| mPKWPEלIbѮguSȁ=Tw ]|DTY@I֑\X;a9)QuXb+svSLC]˚+<=Ijǟ+E63 mS?'C",1tJB?-A4={-JؓMy$PM~2AR'ג!$(sQ:21՘E+1)v7| hh'.YL(fe#lz8o &2aAB*@_O+^OZ_'X2Jy~-QA#.\{8%siцܲPG8CB\H >Ώhr3[#3̝C62I?Fvs]ɽݧU'\'uyx 2U|o;pՏͿcØ\\gqMpg[()ˉ cz!" "j,woKbA#jT`:FBdKsJ9]Ht|LΈz< W8jOe1~߽36 jhY ȍn7̣"(fW.q<[ݗl`PWi> _8DdxO+T&C i姒L~,o38'v {ӧa Hs=h;Evz$DyDmq3?\JOѬ֡\CK ?0rzw5(:{1YW3`e/AK'Ɇĺ6J3q,:-u4s!өV%" Ib(4w6?6AXf$Z?Qk"dFQF5W||u瀲S Y'5?7Ŋؓ jü⨩7u @0GSn0{bZ^ S0G=R[a16~F!cjTSB]9Ďgl[ ,8ػ#GOEZ~\rt*|r7۸9Ho.T`FTlW WJd:2i20򘭤`V~p |2*ȉ.HW`ʵL 3GmA>2Y&<Rֆ*)X#1Pj`C̥#%q27}Ku6 d|>Bo[/ Q\ 2kz) FzX:ԕs-|+.NK) M=GD~` _hmJNAHpf]!yP\g3N  ̜*FTWV@8]Ν6ּYuXV6\ytM,/ [] Nݤ]]MyZ'RơX (?/VSrX~<0, -XxcOΗ۞f_n-@b48/F\{F^(dBq9C"zh-K:oRadߙf%>ZH}[©BYu%csJUؗ9K#_RTMZu-(Nvr::2"en`ضu&+ ?Kw}ˬfqLZMD1-$trX61-0qh-ڿF~ ) lf9c9us}Uta:Z}S4[(e?GT^%E|a(rwU9{zvbuj'^ȬԔ= p-9Ŋ N8b~dVd~Ap5dQ4ALt@TLӰ3FBL.Jb-B*7}C>rsjJ–e jF0@"!UD~MnPH-X3&b|#BN:Ѷ鑠:ЕчgPrφ— HS L:=Y֐ j{Z&eXgѪZ>De\ )dSr o]Fta(G${#X ҆2f>,6AA9R&U*}'LNa#?`$4h^\*nič^e_,nwßH'/=sp u*@I Ė UVf2cOd|&2.pkGx P+>MZ6wQIvxtL?WeEXsgOt1[.91OWAlU(n]Qg{BSQY;)oS&*}bPxS`-GoiUGDBRXgsgkgX~ny1+kIP#rLq1jj5ޖ\!2`i~Qř U#z a > Xr\Dq'x@t0hp}qmAMhJEYS(N\BQ"o@bd֣zUguq>6=Ve/4'/2MP19c S ~QQ smVz-`}Pa\:=~i eҖ&BFED ̼y\/dGs@D`WC B-`GVo5&K6 5"D%;rtrHf-e$yx0jqzD۬JF9 \q} tOT[u K3|&[X9q} |<ҡ:f=LµL2gŖ枥0ؔD 'kf^UglTZlde%단%(zXn+a/k\cnmH` 6-1p=囏XeXICc}R &?C"ɬm}04"/ \t@v% B*VQvKNiG'H_}G_>BM-LHnj1[:ׄM+Ad(97k]t7Z\~Xȯqe]00i{39iޤЁ:]B`YuVK<-\ߡɒ]xpxI%+Z畕-~F~y$Cpك\?HA9rn+HYK?0刁/Cc\A.|kyz:a9Y5Q|utf?|4y  yc+EvȁY#Nv#Xzs$j (qy nHTKH@3o^]M&8&z ĨFwp-P>ԍ6īc(C/ N xòZA+22u i3%iebo@qܸ:Qxk D$P2Æ,g)\ꢅ25Y C%Ls44q @Arxzksk @xE2>'Ys2wfkTp kdV#0LFJЈ6%;ѱ Zcbkw5g-k 5$8]U.@iD.K59aO$>#¼-=-DHA@y=Av_o/ BLk Cs(3O}R<+Sa6ȼ3VrnL :tyA"ғD+2[$ eTyL:CٽwcZxGdtYtY3,o|H),rZxtˋg[R0ܴ[extAdԭVgoъޯLGH?&-ǔWf-[kUz+NK>}(ϐmuΟ._&[9䌏|+q'{ߏ{浆™rn2^j`4L-,Ŏ"^'[PZ8L\JD3&GzJ/kK݆D^a\ᬶ]4")d]e #FmLiN=XNAb͠e1 9 &JpLTl=m5z ,ghI&mZ:pū]#Fp5϶pYGf%_Vxd?C3W~+ ЮY nw vB2d"~`AOm;̇?X=їAS}VM'Br*F1|r,օ5p;}ǽvOZk 8 #xJ'Gn/iu΅hI%Q4..ٌ1yA98Y2DӸE:c*K\EӬnRɧx+0dŷڥ+3}t9E(ô7șIkJ²KBFB+/{}2Xƙ|N?S!u©^\XHWDϳƒ%B,JsUzI@,_68gS8^isJѽA U4eS]EqЧE5~ b$-)ylԢ5Eߣ3hVRɩ.Jd$qN9hpGK(+* L&qF,-e\ nNm,)@/k-3}C(Nԇ09ظE-U.M.4^_BY 7j,D^>8q@s2Tke&S#Z ,Mʼ?O#> $+Zl*wG#DRsO҇pr}]9 ">H,GQ[[C[eCJBKGɚdc{˼(2%?;00>Y{r~sl^fZA-v,*n8MD51IT z*CƦ)=@i7.1!gƭ%lMגԼ?tn5FςdmX(3:APAn =_ὨD/)ā\C/!A=[2K8س?!J9:&pv=pf)\FTGETt"dz!v]Sq( o,,!^Ebo;3[z EF ´\\$JmȺ5׌,Kg&WScF-=A1o ﭸݳRT<ָ d5hĿX! Fl|&MNl4ܹZ!!=>Q3ފNxN*T`MgXo?8jJ'bu%V+h6,lJ(SLǨ&w{ъe,v#5cֻT;|ebaQR PvD˺b4^Vt:AKP*9MMv}?:?`g/X@S`Nhc^ R )!rEP\z; yo|Iv'ɻkF~l'(FKirp \29UNm4U`xO!*@m9ѯH:\^EMJ+.S"Ohio](4yQdUl$3_6扒kAh֗! }0ZVۣjƎ\ObZM.;t#=H3v}] 3T?͡3%kq+lweꃨ~ &AXGV 4/sem38VPA!@Fi}U^C˓ۂ6){%#Oq8?3Ptale\6C }UdC2kuGǃKj7ۗ%ӂ1panuМiF7qe4E)J_VrF uc6mA1Q,Un狫dI-$NU^fnSony, i=xv/Q\DKYJ#4ՔĻЛyJ2c{@hȫQc@ؚQiZp&Qp ߼*%> һ pp ]萱X!:ׅfh*'녱jJ [T:Fe$gܟ > 4ŭ,&l$ zT0!Hz!ywW5GcB(!Em[Iy] k ̪jȈwݖr3n9MV.齒Iײ' 9}`3*6?ƧQ 7Jd&ő$/^̟^btzx*, *<0#x< hQQ``_Zׁ4ծ.{Dᡅ3$LɗI5CZR6k,C1'EdDkZ.jnQJmUt+J{}&zR*a)Ć/yTVP9w}bj㖫_9TF~SPvss(X⅗,qw7\CAKI6f Fǧy!H|xD-7W:+e}GUw(Nd(7˺8cAO(|rymZkVLXn()b6f8`6N4l)zax9d]SaVc1]nR$0ɽʒN+݀g$Z0}mdd#]΁ЈOɲMN( mcY3DU,:$6d^ˀzZ_j|`Y=p׊/Ќފ)3oe͍ YhzU< ~}42p趡,H󌼃9O߳)E-_!R?~uu;4#G7f vW-qQ6zWnnx8@L>eKQ#U( kjxnE~ Q5M-1$"gf%oi"2hzddx{bJ 9L'~Cv9c>G4Kk$/|4y_u%4/:ӻ){z ] M#9ѩ9 y:4nѧINԊ#j-YOZM K'ݱق\wmBND/X*.Gn%ֶV8X϶[vb\~ft05<3=dI!h{}'uh\70gX@vb{sOy2zĭ۵]7aA{ jʖ?՜zwp {:WDR.)i)܃e-UO^Ex=*]7^btWPiK /-E>JOwfj뗵\0:ut%Ǐ׺ֹK$iWV:XB~ 75ƃ3Cv̄ _zZknxxx4[1`w&K 8uEl k E&ܺ?Ħ|03 =V'٫G%#ÜGpNgם5p!Qm>q-tKƫ:#5f3z%jGd:ڭ)` W|}?yU8R.koQ D9\.e H3 HM& CzxĤ4];~y/) C%[`wIz#nP]m 'HuZBxx5AXVofw!{%qN4tS@w3ެ~$ԟ1.5r@=C؄{a J{].<3wfpz ԿWR#\W6V}j[^Xq"ꬑw &xݽ =T@K2jOۯ5`׆:@T\ K&Ya{~^1~>3#_ ^A`xYIߡJF]sG4seR_:UE@4攧=KiKwMҏEo0NK~tb\:E.K\&WNA_|g d2{|{\CaWs=d Q[hk4PN!:Cd+038q̪T:yc%cMKe29(@:_:F2lP94ZG))j$ ba^fpFyU!% ܚ@ C>_0Hɫl OB;yIZ[N(\," uevk[ &`4@Ӟ!}aD7*r[YN~X|ϓPv)RP$.dg~..Etn7QjʀPyuu/p%YSÚ#8EhҖ!E\ զP#߫:"hB7ϧbdkV)u:ImFlADl>d15U}=dOY'٦YO+<95NpZ?~KI'9({64`¯kixJ)qAWS Ih55` 7.z_D% #&66`G;`+Z (蝫82]Wr796|tƑ9,f3J>~1Hd֧Vkŝ҇=TI4Y+}']@lheaGU`j3P@L61؎oD5ց'm0gev67'67HNlȪ Lm|cMr,@ΒZw8ĜAn^7zásֱ2-^}a-$yN.!ږ<_T-Ɔi zQvǢ,w^JxI$^(qL'.>!jUs*@&{`hH+i)z)N,15#{rJ( hVujPoW"SE] FL%5fg^ٝFXK]v|>C2'oһy& mHJ֨v~$ Sw;B[+?1q^6pMWi V‚DֻqtvF倘!X(sEapU#M7>#Pg=0rjMqq熞dmC5!d% PG{( *~Ql֖tuf_F*,ELi'2oj|BY \9֨pobv0Mfl5zZO+> L?C52E _c"}_yaIQǿ@QKq6)}:g- J{"M3!rCr;صhuM,,іD{FjM`|8jAcBJSA)Qè&v5CVC\OLYa{p8 +i xMH&{n2"h+tij;cck[b#Q; '_xEyq=P _]4Sǐl/+W[{7!m02@>&Ma Xj dg4+ਣ'/|^_ƶwy:4δw[!k5KHWKWP{|r/gwqrVGFcRO^D𜹴TKh82H"..Ph he)rۛ+t۩a^,xѵs$V|0}C&p|HPfn|hpDi_a(;4Ի~,m?WG L(-ɻ (ܽV I MF! Y~ztr)!P HN^j2<5TTǐosZDESK _U,ehvbv z 0DJawnH^e 4|^Y8fʽ]*UoMl|Yq6ԫppS#O/>D\8*ey/P|Yb_4{HB[wNge5D߈ Bd11v#wen>|Gtb841ܝN^1,³M vt\S (&S:HR΃7!FvRA f"(]MnH|i,4SɚѦѫXg4+y7ϥ JtID}{_|yES_-)qsHvn394twDcz&$-@cS9]6d9^5WOYK)Tõb-:umWY_ j0ÏD̸G_K_W_˿|_V&z)%5y`v騏Fyc **~N7:ZȂVmř!$(||]۟FfYN]륚es-[O=-!Qd~3kt9S `ƷIRc#ew2MϱbAB~8뎮LaHǨlpu ix`C*ҮF>>qs$e\2HUKiLi X[*|\jJ G#af\r!-K{M.Cmh9T7FꁧE}f6\eNe.8:Ei_ˈ, Hx!W^꽀. ;-o# VM#) /Ej"3Y賐9#hċt0!Nux N˥8WsƗ\Ջe.^`zD'Q>YU ^ ]V:'{g猏rKX9r|a1@{q5dǗ̚ i˪\K/ g}sA+̫8#jTuBDf2nbPcyf~F[N?Ӎ<>} 6ư)I/-#MB#`T6Au8|G_dH"TH[aWf}G˙B0e /! ӗm+~e(EU̚K+v5%^ɉৃ9T`)=whamJtzďQϦo{TUƀlz. iܢֱ"nV=:@1&2 kX.SgLehgjR;(i90V f>%ZMV /F$؜ |L7!HG7,5R0?yKw\{ '|9˦B^yNSQꗧ-w"LLpMHX䗆fBm}22̯f>~yd'ׁԼⓧ$D$i>C\ 2I7Zj%4 G\Z^!(Xp I6r 6g7*!`6+6QOUdFWX)=I;x(Yݜ0B )2O|C SLpn7,;:`;X,#ש&bAJv }@IIlʤ>zvnB&kޫ JرZt>b  0y?qO !IQU@,ÄIHg&YC=?.=nщ{J)[c\G1!X3zگP+Q*qOk.Yq"UӐ%K觜ՄMxFtJ?*I1*&/{Z{M|x;h{+ݳ*` $4^kGM$Dũ-$uO7YpO*/wp2YôJu@ PEv ;IjҧS7b`=,nVȦޛUPn:v'F$i@eJm?ShE2R4owap9585C]?YG| _IL '8pXp>Cbea+u77-3!GZ3D&ѮL>c^yEU<#.ZWvhMTiMTگ{!IΈꕫq/UOFM^W5KWЯPPBZc Z䓣CV0HRWփ-mf'A| ;2?'ۓ6vp0e7nE%;!}zНVOD/8 V4% k!uw,tf.(q*wU(;wQ9 c3.ÕoWFzζ3 elkסe܊fIJQL zѲ8[[mTx{ϼ"߈O|c Һ]EM#[օF ̹@]t%8&x?*-=~>,Kɞu͡*zpY.pz<}<ڨg8Dž(Ꝛ7L}bJ:c(%H:-n&bO2Gn6 _B{XLp&?pz{+b"Ip@ERY%TUZzK8Y5:04& w ?Gwq?+j0@s׎kI38_ NTV(^쩀YAѵ~H3Q^+7]_oJ㚯v8B;aӷ$qA0d$uvlu}6R_ O.yC)]( t(*n>V(\4Bd ռ_Yzw>n.Nɹ x{2T,ﳝh2= '=rg,4u8fVuµ; Y  -c췧ߌnH ~#{>0yP۬F3xeh:T~C1م& {_qh{ <܇+ A!KGEu^3}{i7ypPyQ>61hCP\qޡTFW\8m  p Iרɩw15%Qd _TGb\*wgz {1tW4{(;`QyPzW݀kVwin y3&Qmؔ#9[7+ǽZVZZgҒ*-,B7VrkL|d vܷ^ǥj'h?\D4Z4RpE[&jl8&Z:ScOgxq$N*g8b=ʯpib_Aтj`nlavRKA\Z4*BHӧ$s:ҿ1882dCXB?;'RYnz/ \ )1@wzaňOتfe-D6H\ x $Q,WH(>kqBn}*Pݺ?qVOZnM Ga,Z;Nj]6ysS|5gUg_F䦊;ECA,h٠%^{m@dt)]Jc հ}9+˧+y~%U^=J=(bF8 BO`,pRq^ZNiJĿ6ӏ9"rVL$]iBUd#̧ͭ %ڵ̢~7g(2VM^].HwpͩĚ!k*sAr|46ǡ ݷoūN׻~R:tX?MrC  ,{aғQp7vڷ$kゕnYLGXV8}kW_J9)R8ܪzqKSBsV@EXhd ciGwX*-py3Cl\Q4a+ٝtpK8Y`KP _|;`4rѮ4?ܢ(d VX[8MdT{5{`ir7Lef,}Q46xZ0$RSAprO4:TC5]6zs e)0?Q#Uj*+$28`mz*bNIk[n Z,%Z@vY,+p!#-f3?]3w\[rnAqagOIQɺrR>};t/=DKsL<~A-\->V}NL^ t=dy.'`.׊18j3n` #/P~">9,pQf;eʠrogaB@C;.bAl$2M h:P3P K/VˆTy{m=!= wKؖKuYlڡ:6]Bm-` -V `^ Mk<y`JH1e瞖K\%\6Bg,-0kFǙp[wDXa1:B2;M=D8M)hhA#FE)U=wXֻ;CZ{g|)qZ;gIjdn-2߃X&~a.|[jsYRv~vz=Y.-_A2:ߐ{ -(|`;NdDVc}Ԁ3 >k< ێ&W$M%7!x:7dۡKxncLh>IU~F[zlnx9U ~3$N} h慢7JS tk,[ZljVUT[: HBk<  P{/L Rg9ɩ) _%0o ? `H3^~u\Hڻ +s@+l4Or&I\ =* +D$d{wT75YK,)H1=˜. q/ER|#6g%ZB^*i\Vn0+rS@8 V*6>X;bU{pWILMDz?!^.CKKȭ]ոpp^FMŤd3YVrP}5aEBXlPiІ<ɜyri~a7 @7<ƒipϰϻ7}PA+xdygQȍ9_8pOb[5 No<oK﨧e7 5p\c #릣o}Cq yX@j a$ `HpBkY`# UY j6)tOy缒P#渁^dYn1@ bdSJT ;"Q t܀*v['?|EX븋\H޽cMSrd5ܛ75ȯMk]D?st\ n] 8p .Žﲡ,SrI%9Ngt7_h*nuI{@q.V'>EӁ`rD.=궊0uw<9FgA/](0#VQaB"G W W\ n o77*N]Fo|Op"uEM^95ظzo\*K?L S9!'IU%H&D'ws ~Kl"gɳ7Li}(Ns Kp˟Ix!;xG%0OL'AJ萬/.[|OgPabN6Kp'aD r+;6p#ܥÌd;"@{ OqOV|úCtk ,`BCh]~cAbM 4e2eqrq+Y.陟&U*a#öΗe^@Bpm @Hts.-N` Dsߒ#Kzx6K\yE M&Y!k,űHIO{/.6=^WUKo zoCw$y9v7mDya_:{@`LFā?jk6ZdCPI*"}Fa)!FDŽml;z=?W8i8~EJZt6qB'&s1Z2 jPO'n !ƆVi8zg ~Pܕe:B/ːD`E;xftÊ2uHoĺՔػqB!8Y5;ޭWѺBYKo8Lc<8^X3DFs5xʣO$6蝢U/92o)?V)K ^s>ͮy5%PhP"x{m\۽ȸ-g9KP!yhQyX! $32xNJUk߿kEv/K'A.A8Vh\"^{KTb~#C!ikEf3 Ԣ3+_{ɥBYIB9Pv>@^h]Cdub+\͜ʅz]i6ⴣ&(/D^N#~b%4P٪GGp Aizޘbad:5xYp>?Ue-+pjpR\m7މo,-㮱WᇓӫR9ϻnPD0L~%ƧH\{58][2ڸ Z#gXtLy^OZfBi3D`Vk y]ǭ}Il= @*d!Fx[D.؟{,xSWmt*3MgiI(^ݧ<\nalg*\a=%rϾˬ+бGWGYNPmע|MM_i8> hiYg> V b_<7cj+kLSgr,MZEV#xW0 Q4O# /B,jL,/eeH'xS[/RDձ0jH`܆'Zg u0iSk\JA`$7ǚ0<_%D^&BDl 2Lia״e~5{nO}ץ_ؗ^b""+=ބ`$GXgKwC*[m*eE:2im2N!1zGiȺX3~]dc+ &VW\{1jK՟t!Sm:wQix'Wo{BH^Aza\w; ' ^X-GsS\Yte%=̩ϡCjZ\,fCwwm~.AqѻƌzÈif!$q9Eo@(Jo'y%F+ ؈r;ep,@ur`rmx'.'qw=UNTdX@Oo"PĻ6Mq q[H͉ E U>ȋ6膨h)qp>WChjt$2('AfFD!Lџ7[FR:.\ C Yi_#>|AV;X 0, v2/ںHE]mh'ś _m8/(d&V-u=rRemZ7D07勎ۺNs(EpiUGgh=Ph35(N#Jb@=DgW˳ht,`~&]]!*D j1{'OH,FnǽY/nM:v9gOM@u߹kBO'L>ˬ3PGNs6jke䱌6 ,"hMթ=<x/* A#DF2WX&F}`ֺA=eV/Ot YL#:2*47}ie0)HX NDLg&v6KN_($8f#QxpB|:xT諥 7+3~t~1i)(W0\z_[H$wmp08Lc,tLz-Q+gB(@$yG-k@]q*a VT̟)$,qBILx"6q@ŒK4h8B#X=R ʪttH-f,{2Q0%y r[~%ΨDNvyp^&1E70-cֺF2 h>2aRiSQ6\tݪ;ΑNWN7b=DCvo<0Ddꉛo~{hEڕM.<mF5~QZlW|++8I #ͷ7,*ܘug̥q x/jGtp Pn-8#+нƏzpi]Ȋ9f[)r`e#-aӑ:,+`mSk >h-ܼ.+Ul jZ6!fK+C'%Uhκpx"J=QJ~dA別w,Ok{Y_rZ蟚9݌MHcS<щ#!eYkᏩ"/o]otebvp366}TEY1Vg6&-PhdԮo :Ɔ]G?N%kC4 tKԬ7MS;Ģ#ESŤ?846[HlUTt?L5o[czb]aQ%%9V rAP|`* nW->/ba G_U<'ҮKcg+pM6%-6=i9}]s$_'r2M{ 0+xi"!glIK[bj |ƘWjR,\6t[R fo=愞9j('խåqmK$gJLQNIB< Si8C502{Tl^XOv) [/"m(^zE;4KRc=L;S_TD77wb vQL\}_QcNld@; f"HSVܑ`,_~B6C)NdF=G} M>8̏!<.z`G{o7qRb+KwCqD(1\UJ%VxA"~qo#gz 87/6N1nyUYfbq6`59~CQ [_xX ƍ$*xV".21tS8;8V˫kՊ9Ӱ4);lFcpa/-兓 I }_;)w