SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 a]]HOL-Proofs:threads=6elapsed=920.699cpu=2012.876gc=468.012factor=2.197zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV:ݥs0 n7> .lSs3V"m'k{jry->n4܌f!VxӖ8o!{H~2tlShP Wp!UFP6q^xvgVsPb{G>0ќ 3:iB)Qk{K*$9QZ#da Q /hnLBqiszs$V %1@k3&U`[0BqA Dɣ4g9ԜC%yv Lr[2*J/XHlKAMvaC> +jǁ(2ۡ^!GC#'cӲemԧ5XjhκyHјs/wu.;َ(xf貾~! 翘h-HBU"SG&Lx̓ ԰5ˑqi덍O&Ud2H9/ : GޑK<ښ^ŸȲY!N&{=_5o)oݻ5k75>p8/ c3<{Wl50&1ѿvQ);qȀ%TyⴛeůL\ |8$ݱVUМ+$y,}s6p]갛V`wSPOc}ϱH}(#=`!ǐZKH_"Y5T;4UJ/^,4,`¥S 0cSb)[gϑ:+U(^ :JH#Y/}pa/f mʉt/8b OR^02oC(+~}%7Sn ;I[ڒ*NsfsiB#2wtA|w +20"d9==Q;R)@&ᯈTQJ;ٲ)+ ayVJg 4.m[2n^ yRLk2_hd1jn1f Q3hAZ^4cHwž қ3)Mq-7{\ZgUZ,Ehc&\ebrOs2M"Ad+Hnm!FCȡeJ7ŕUVŞO}qm۹S8ۈٟ?-;LZF(&YhX0Rcvage 8rNx']e1ߢ镠ETgs&==þL=hRO';1D֐E>Yh r5I1xVFw%EmaRS3Mo3sRTgh(IFH[h69m\ؕ>/h/My;Vm?\fjvLe:XH ALUh%BݢY13 |{RDmjOQŐT8.+5ȇҹffdC=Gx_epCI~H3Qz-n7 _UhNJW^g>4NrRC(`KShAٳ2_.8\:7  ! HOL-ProofsShZCZnP~yF?0bOWz'JfZm.陦dv/ik4r3п{to=mE(܇"te/Z>'s!_Ժlևc\0,<ԤufJ0Vy0wXvnC~( K6۶ R$~3AEXY*Bg%5&_(E*R56T~cƝ^' )-7IO_]PlE,hBsQg꽀v62ZL‐#d/lxo$ HF-0h#kd1¹}Xdw 9! NNDidwk!dU>Axvg{ ӵx=9)* _FN(W`8zdxCNQV5^wlY߮9JAPTOKޒ Mڒ&x':2J {~wXyHx?v2h"1ށ6HϱLS5֍WB~O*&&Zw7;1]N8VÙe~]sҥg-԰$==5;6hb͜ȀV'Itg*d< "[%L=rn7{c CullwSYU(~(,v]#pp 9_ø.m'Pr"!+w Jv8DU^ a^#H;W+5A>ZPpij (w׊ R躬U&_Hm9Sjsi^̲XoW2#SXߤZЗj={HŇaTD5pe:tŋRg,)u#1z _jh!2u&-dr,7?=*pPZ )vK&^XEN/Ԃcv%[KPш7|K(vlb6ݜɑ\y 0Tc * mmNCnc|NpKӍr!8V1+u05fnZ7!9G^7IYa@9AhXa]d4CDzߗdRTܛ(SX&^,kM!ˌfqFHtש StQzn=r&}^ktG2Ab0qc όf+d$;Z*_mS<-lr-SS9 C:y83C8Joz֑ Lr^$Ž]+★COɢ:|S,5 =)Uj\B')k4<|#ay4{:NAE/D,T[K:G6! R n2B,G+5.:-INv=](?4bӚ)+cU[LmKV(\ZWcN+H *gtjKwUKORlu7"@Wo|6l8*>@4>< ;(}N.V?!ʳ5 _=}HaU̕vA ˛n eg)w<DŽ{][߫5}FS3eeM?zD?̥yc,"]Jn8k 錠lh>l$37r_>F"FW0adUd dKZy-FC>qB$/c/eB!Bp,ܦ';|Z) !,}*S Tgceq0Y9p&mG%yƕ_G53.)8D@SCGmS}1 4 ӟ$\^1ӸHQߠBjpf3<<<Sd01&193`t xh2M] ?c8~]ʊ]n}s*ՙ&y~A )Ӻ.lT\ Y/eo ϴb[7ƏkDӧ i<5¶A'^*Gŷ,=;Sel|.>`c`<^/f+F 5~ƣ/ qkL] -BLv| Nh DB/uKIj*1Y}-o?KJGv%=hj0 U|^ qW s쀹m\**kٱXUeX?cႷPB[̞9TT{(uҔoGiAO>e\@?hc~6?6`l`.4g@R"ˮG'C἞IJrʸM2'44d3GJןQ9-uv#6IO[="& 1kI'vtUov{-xtp-.-7;Ƣ ^YH ؖ٣t;<=)j[BGsy б ܪ 8;]&IyEܚ u#eF9{P[g(omy$oc3`A:x,3&$T3d@Nnu쾄24zH*d}̐BNTҭ%)Ґ8W< )Z ^7ˑp$8bG !`$lj=IHJKi#AVeCnR1L7n31iOeH=f(ՒD1?t(b R|`5goФm<ԲBJLYPh6{/jőʂ\QZ[BDDC1#tfƀ9hZ߹IrV+{g=D Rt kAz)!2 ߕ5-ۤi#$F %{4za0S>WH%>cUm!ì0(esh.$%Ĝ{鋈8q7DgZc@kTĄf(v7vQ4|9VY1`qypcBU?v/3z]6jᘌ2gȘgUE CQf W*j`2|>c Jk0idž 6Ohܡx1y ɇ+0.ϿUr|T^s.6tTY'E؋YlmH",Й8_8ҧ$[V%Uě  fT p,hPWN̖ 'ˋ "$ȅj0hИnʬq*J]" rxamN s@y ]h@*\E} d_,-oW) WTH@-lLXS:L Q?7$KD{\vq@@.DbI?,X `j4ob2bD0i֑C9Y$羃⏾9 5ķ1ԙ~6/GC ŕJ.ځl 1. h2z>I;{Lv;үخﷶ;+͙`6'rp!:S}\Yhͷ?$W'fd凨k3|FHK&Ki/r`':)dɐszh2lMF;fh٩A\eUit*xH:H=  &ڭհ9 (Y TsVZGQNb>@1,3 xf9u/?c\}|Ǖ'@(YpDO, D+|Rr) sϦ::_ߋ ;'G @WW+}ƙ}hS.@vD! VOFu'YoY)R @i.E24NLVx`WmlIOCA-5'lfIβbt6.0CfnJ>/~p3`6E tƘ*H^y#\G#{rw]U!ݖlK |iKSN^M8Z#HRr"dYN3RT"捄'YTǩzf-`!K:H,Bћ?@e. r[Vmp:.9Ppf3M(a' g SE/[&'>96-Z@4^̩4Ї.RIG Xi7ց_hR㵹'"1pd`-߀'!™w-em+A? .r^Ip1JLG.C쵉WuRi%"COx Sk|V0rI<,]n5}*PwL_UscE*Q$(CMZ 6 ]m}XA02>xDnJ=v8ldĺ@X#| DfFY)>@iOs?c.=G uD>.bgwkF:L[ izWmu',y5}v lE@@s7"D"11v :0ihEhr0tT|4E3-tF?!Eѵ{&[NĿV+_wӵEb3h"_=4B$5?\lNl*ƴ @#%ڟ  unJ# '^Q*}6Ô?N\"n5zSF6_PS즿HOf 3܁d&'o'IX|^™IZ+V%>ELbn<hqx `'XW-o-Nt_j4֟lG΍,#E_qx D4 Í*bzx";/c )|[%h6 ;ލW K Dx;u %=B  .qHUs:Mw # E&!Vvh t ߷IGUS쪡 >fQfbM%KoT}ԧݐHDR+}Lͫ{n w6]z"̃tj5^[oXI)Ǘt\s&eےBf(_^m)Ik %O(]3􋛵_ӆIj{oβ99™bc9,ĩ3S(4]~>bޤ*QywD"=@;by_FS8c&W鬬Dh `~9+=ם XjJfĖZd񌞊"8k͒ϝȩ&u5*T 6|~ɫWst!ϗ<^gFI"JYP24h&FIv;M .`44g5XjF_u<2Q~Y4i ^&y-Cnzp$I)msO$_ZФvg/IsHs! D Ѝ|4LNB\(E i9M]Hv|U+5sӒ oWKYB0#DR`|s-T N-MK, Ռ1Af.qp^+cZ]9CS =NRs.C϶GasSy&KRMQYS%2md3!,):iE*x(01j> HY*5(M،a22Ķw)0 NrE m[wTRP5TgHvc%+ކFkhb ܚ@ Y:8{'lϭ|*R-?dl93F@F:,r=:AzNgp1I B ƞOjz&&F1ǬsF#MMu%-Ų;\җ_`: s "xaZb$rJ\14fF;T, X^ll0$2hͰy _Ӡ1{W=r^$v,)X0X"@+}oTv?o]kLINeDtjwM?7`'rքm eXoI: J]"6GFwTn(sH}EV}T^uԬf dxĹ\~WEҫ KkRRuL* BUQ)T|) E^#7C}1}q%JB׬=$3^  rzZ&l%ijm078 DɭNaOvDQ!Vnqȫ=Mg}@قBv,t-btd2]r-YҐP|΅, }̵שtßh<.2@eQCSmDi"u+i`|d\ ȻiO7ɇf(|LS!wc]#qEG,،]kA~ޠi?NʽTVq-cK[ׂ>,Y"m_[jtd(~ڂKQktݞLj?+w+MXnVWEMdTڕAіIESSMpGw@-E #'ָ{/):mH@~5F8961/ya h+͙G~b#źهϽ:$Wj!!gzl o:{4Gҏ};a4d$$WW l.vkX8 ƧhX=%K#t0^`A&l 4 |P$145XR̦F˦AŘQX0cڼZa^5d ]@l,~8=$cD?W+.\_C_&-j5.΃5{P?Lș3w{eAPBIw^;4>\_wк~ϸ.n.1^ؿP’]rދm$Wj2O/5(!κ,3X …\&`oOo|PPK''P3# 7v֕ Gb\"`%x>HTxEԵpF?|,Gw~CZbs٣˒"[^(:1.N/QgRadPQFYr\!Fɨ1vfa#T"g_&NyH > >^0fX˩鹯)LFIv7ĺphJ#o`& ԝ_eL*r41b7{G`fʈQ0$N: ac ݱAs)} ɫ ˝R3\\=dDahrg4t-9ڙn$>`bS#j>nEQ8[=KMrS7 gSȤT5xofG38XuK6˘&'QhLH;oyK7dÃg\2SHoxAU8Rt>7Wk6f$K *ԡ`;^7Tb%+)Ba7}Hf@,|P?F|xk:l=d ̓NSB([p0gW8ebٮcsx@.V+:bKp=FE!q~7;μ&ґVfP_ ?8eSFNȉ; VĆr8eDԝD9ZҢPx۲!A[E̦9xOscuJ<4x(k<{.9DGf*GwF7 ۚU: ibEmȥh"e~ 0yM.ai^ GaCQl wzg`]WSA]Oa_w/` ;,3i  M|)7M|'o_j1֛ီ`)<ِ{ Mi pv>̳G&R'mF2H ڛ2 t* +/NP3o7oS1sRQAG 25Ds`:U,pV^ak'J@c AξZTѳ/dT uD-uSMv;2aX$ֵ$!Dg?82^=&ˆC y /u p2p{Co Suj~;b+4`L2@.3mŘJo]JU{x &ѹ%tC>;gaM?uӀoj-PڄOuh9˽d5 ȇ87m,B&S@%-l alvyR/f5eHSp#%.3?q]-Hv,}Ms+˜,EYSw2ȥ38MD9h<s1n/ @C\D]yCeQyh\A(xq/0C!r*lT8Na'vbHMzF9sI4s~i[q/>g Y3 [C71TbpI '$*LH}yl$C U-A%s##fŠ(_P-L[cv܅׷$No  H^z\_^;A )ytcN:Q9(%u <QH`h_~!W؉7W[k VΌ$fmmFTD>wb i+sc1r9@b?{PGzyĖËUn'S}8xV#zG#akLg],2i H/*~ZC!MTًQ^I,V#)S(DKl-yHsnS|pi $Z>ĦeP5)By@Yyvz%\9骦8mD #? p-ڲߗleo-o Zeru bAE#&ĺϧT78 B휅m~h0۬Dv+e8-<ú 7}?dӶJg_KEOs֛@%GH:g#|Th,IBrOV_ YzVf `.U'/>O )ЧUͅb,u;9ᖰy!%OmSl\BZʵ t6"ffH,\CD?^l0_uPV^VXV%X&[b6׫BngҴJ~dg7/ן5R?Yϭ-O˿D_\r~]NH.AÃMe,P_I ͼ &g [r_!@-pn`V((Z-|uf94b,k6#ؽZ'LܦF+ףw 4n 94\ Li^ Y@ 3 r R)^n{U]sP@Qo$&es l@"+̙8-uYzMFŎAcWq\c qBӐW5JHM[{ V1B~Ń%oAt֠N@֣bmM`l#K&&k ɲ49*pN5.U u[87yL*?-(ȯ\k &앴RݣɞMjR]@:Ml [ ^)d!M\ňs>Zb!+5pSOR  1. ŕ*R [jL /4`'Ds+jya' 5B\9A_[jɇwbfRN]P4 H? #,>}Ug\ ?O)$&Fc8d[OL;)AM#]!ٝĶV2 Y4O;bM|^wh?8$,~~@Q ׊ytEBM1l1OV -/ͷr®`4V 묆YχݐCy^%C>4HV#XRTc7E + 7 ;3QO=-L* + ugGV7a+06,wdzsI#7@qu32X4b Sj~|vlLQʼnLb;^bKGNe@~Ӧ @]*w޺ĞϊL]UW u:P*%b:z*ua8,z6-ԹhUtbby.ADbSSԁCR|'Bu#F^|E_os:I!iQB6S7Ă{f[7Pqu;?J.7 ,jZN|ꇲ@j6 Rg?+$8:n w :3z0[U@ ,cX. 4qKsTBb}!/uͭiO}DmiqΛl0C%}]B#Naa/s\ig atM# -]-l^){ hǒV!)130TDX/*;2P0uAe)? {͗*1j QIhbi0S͏Z-v\|# p3 .p!D=NyVeĬݮ RUzxB4ĂJd/w X0`DO(tc85==$Nb .P +f0ٗoDdN\;8)B%=@ꁆiƟ'1VQSU\O0Ȃ԰icBZ&GQ^EM/1zjl,62AI|_Rɟ buYe6yB*KU6zsR fj7f81,n J w0+{dQx# R-y[bEIX◻3ˍm4RBXD8]j]vEis2@:> -y4n@,14d:9qҬc9>aThWNszY|Tո*&/pleZ&rp.YmBC Vf"Kb@=o/- +ke+^= C/2: H$}}?&+GC>@X1 ͚q">ýT>~kɴh> Φ22ٕw  Wws8*TR߂>C:$YZE oկ9?MQHq|,ڃ@M6O+fq5= /q) ߙO  XlƿQ?JfABPDDKLQ  PXhY_+/tV_+-Tsh+̹c*<`8umtQ" f߂p0Z&/ɗhS{1<=7Cz:W"YQ`s=ύtjg0|F=$I]n,3?}HG: "وE{| | g"(hi#b~&fn8GNjdrUs= hЅ׍_16.s,G1r zL4<{Fb߰It Kt 2ϱc~2CW- pKůg-<,R|>Xg~hgy*R/J#TO;w۞ 9#,(MBS?.8hNtgC=fg xpm{ ń}tjfĠaR`Tlt`+dMZz;_&ENO@Q ( A_T8Cl'>PvnTNj\oťi-UPZɤj{qfꗓz#P]|xwyf|v婩6o<{RP'+shx83XǼp'F|> )~wL*,"o*` T>QPW,@88z䗲E5[aWh}6H[?=)yZQ,L4`QRT5hĻs'ȞhWCˊ> Vn=K=Ke(\k+}OۭuG!{D3L#,׺ jEr7f#KD4Oh"Z@;_ wz)W5[?j,Q,W]`/[ TcH^EuAR5 yiwB)"a5-6&J7mtYZBNA?~f:<1CFx$A@4]Hh:o80#b>c\&Wh4u2w#$~oJk2wH˩ YѰW~%l&&Dp~FŇE4Ѷϋ.6>K uŸG8'י)X+7B1*W&-S$_2N*i'>.7ItA*?UarW[o &Ԗq'It,e|QqV5Aa^?Dza4"|CֆM~;tMnh'm 34HlrH$WâXڑ3ܜi Rvx]OWG5 +|`jL8CG̍Z[@?ib{ fw cQx;G jOlOy\OeSlӎf8W0LVߙӥFS0 ȒЏ0r`i9gҋ;;m:qG7ZdB1ЂiEⲩn(Z`J 0*.ݴ>,!ktn[T-910xlRa_ S_I.-Kқ EF[W 3 ,EkDޜSAEj +]@-7هY \q>:Jov[F s@c jeSf&}m|U ~)E%hbۍB!-mKǕR鏑DB4E$/MU6}'0dѫ>u,i:. ͞%2[ΕS$ܫ7Į8t.Bbqo*}PbӀ@QԐ5Aqz#LcZ@|s”$ / sמ&F65ݛvA ̗;|gըM59'h[Ⱑ%/,B32DWq:ޔIW2f85$Ry[ַbW/d0?Zg @U +io -X5ݝfЌ5~jC ɜ'.4WWg')ΟZzGKful$,H1Ճxeu2bDackn:A%49;m蒥+U )8, ڱMfwj,y湟qR[0Am(~*cxwUwE_ ز=wVHgǣd*/VIBYݤ+I!b:] 2΋%U Ars8Nq?CΗusnۀxlX`nRdbwVݡ)Tk*,ڏX|?db F2P 8ř, }u^^Z0+,p*`2-i Al AFO¹*74߲~k V5KO#hj!U΄䟰hejJA$ 쭃L긺J#-hr1.؟HvMڿqh~'!5[U|Rn۬XL⽽rjLy :[ƂvtH}ZY˗KF8#k 7z$ƾKwCZٰz3껋QKcCC(*ۆ4@1 n)-<"ޏ[zs TҟEcuq ^\^ !$>Ŕ7#loOj [Խ&)`Zn(lə˼-L-8V22cIEyRSc1Fn)>üYo M;R7< Rxs]ʱ# 0 oe"" ֿcSzKϫ7!pkATÅ<=͊鷌M,["AF-Fh;s$3K_:5|֗תB6*s`#olO%[1˵ l%)D7zƳ]Ȑn_OJqA0Y#ؔ\%Nй69{=@+ =0#xu+ h$Ųpw0-I eε\]*ȪL{M.˟T!qJJeJ; !-E{8ru;WV2逵X uhUVm]g[Wor0u Tlj LiAd~g=aYÒ`v${򋦑S|_@/ʯ4y˰8d؆X'A~ tICb)Dw}PLI/.+ RUf2bƱTm{wn-^}V X[iYGbnIrn_YIk'PNgYaPɀeZtucu_0_Ҙ:1Fj|`,2rn[(c\ԟR119u~Kç$ M:y&گ?pY Y3y ܊lʎC=y3{'crJ}d"ړ*_z/fbye5Rۗd糔Rd8#՞EgBD WB4GK-6\{+犙~_wy镥soEUaza]#uVՇop)Ozw7Mx|:Wx-:t6 N b'nCW@!Hև| hqh#fbglRI?UɴŐK$21@lxcj(V։b+E61Yoؐ퇂tv1\m/LW_ۏ8rsK_jb7Z9 b><=()6hhzl tOKĐߏ;aNώ҅(|w([: XVޒ/Om/EO-j7S)=p<U<i4C-!M\?z}Tbt?)dl%),ޙNjMAѲF^.Y]I3.4K^]tu >ߏD vNs'9w|Q'pd}(I2@ۆG'c߅ڐ]꿆׋Iq6z3 ?HQ> qlgYh5s\< |$ E ηsxVh|YƒR @Me9/F8}NQ,G)èl#%{ $iA-utb$H/Rʮvݟn~=(7/ygBxAM[_%Ǯb+0m͹Y-zY .6R vPo qX^ذdd ҳC Vôx$)MK(idm2jn Ot!6:(B- N"u*wetk+4lo-l怍8G(<9,I\nDH}o&"_NI@pjhq;*n++L-_^M7|hl眇iEm'}6YS@N/zw{豭hPǪ-x'.vc0<ֲcOUg\TYN? J N$;k" ʅMu42 zY(UՍ 50Ju2O9/|Ɔke(0Dh ֢]LǍqKxDTV}锂^˚d(:XLx:a 9?ᣖo.SYӸV}ҳ"NWfeD_jևV>LӨ*P V3Ɂ"| %|qz’/>0s 9;Rse4;ps'j+a0\H0sؐHI7JۈnzJcL#Ό~Ek#z>6tt_e2 xgj1-3B DJ=$-)ŔFm'yK,6-S80}g^a!/=pbQr.T.0H^EdA((]%ˋ)s3r֭PzZ-mɅl{46ob5n*a {Ѯ0( NM-$d3|+WU$W.V+3VF 59 DkAi |Pwhℛ* Z\{{#~Dh T+ [70:?7 XeXڨ;yrZKk0I)Sgr*dR D;m?g͵B?CGGYfz^\Rr|!Vl`<Bb- i;)Jq08Pt^lfpk\6.dMcy]tNQ1?*zG<}3ʅR%%yMg4T\5*zkU`DUCELLǑ0 xm >0{B3;'2Ska認xJ϶`M23\`Q;I64 Pv\gejq?C{crB< xi\g뉄vjwS:NVkjj^nx.IY@ V8F/GHDO^QD6#=C.o5'kd!1K?Q3+l ${0L&_'*cu0@ϖF{gWyR׊˷} 7U(Qq-si M(}!;Yn]KVkͱUEcF!sBP*g ^5!( D+wѿ5lBo6f-Yvlّm;|nB $:DVE&Q6JJdeM Q Ps-CޯTj4H'LNGXOu7˔f 9/$.n`l~rr/S';RNyKLP.Q@ V`FBܐw=qUTFpҦ޶Qy:hVU}z(([5F:'zU"7n֩6 _A_:tiy:Jӝl^q,UY\ݣdrXl3ϑ |F5M}05ƘDn/0F$_: KpvX˨M.wol\j~T;=窅X΢]kQmQS m>хXcFڍ${WKvM(2)j)\䐍9M 9Zher/ =e'zLD~0|'ڙ);T.h?N߂ETYnmz%/NUuphOkۄ&3&bslou*q.0vԉ{1 /`eώd5Ozn֒dS8kF΅g@<ݼ7eWjJ[n+A:Sf3>LSkK?O\v5ZDHV|4n@4Lc-;;E 0n@ aSJ ΞJ$i $C# jpJ :>8n+Uy'!\=F*?q-FPXaB5쮪 Jbn17rE Pf#*0<”!SDrd,BF;\-.NI0+8p6,5;N'X5lhU~/^YoFSlgyEji,NNb/DR8~m!j]7WYW߬p]W8mH'#eQv^qBt^xyq'ϖ#~et1ph  5~w,,2ܿ -"Mѓwz<=hwzrWj9Q,bLn+! Î05x;oؐVQxO`z_٣ :ii}1*>)9MVE 6U^ p[rC֘GvJO^+c5)'` 0J3qt#gMĈ Ѧ'-3f% % F0ɏ%lߞ5lEu|- vyӺ`oO>̜~2nf%zL^[GxM}WQHwGې.N޼=Ҹ~|.|S*w|u " 80A:_Gźّ}D>v|⏪J^t"Zl8"#bZWI{\m,T&2bޝ޼Ļz. ߼i M{K']A`PiO`&51*dI딹} :zVK+I צDn]/G WLcHs``NIWwЉ.f:(f"a7aPT//i'*`Xs|:l>yzU~k#d]+N27%vYوkʿ$*Scp 9oi D;sH0L}чTŤfdO}ȮHvs jnۿU\K}+>*$eqKeE$lOG!ZAnPC{ Hh8P d vO+/p p ( a(闽"4024B~Gi`IP]AL܃i) >]D0j"S?`ޗ ?vEqhr<xF| aƛJ.2`Xw'JY)l 4b5{}qr-֒Avq3#CWC^W#H$&UlߺЁ2xU2.,m 1r&Ż'5D-O쾘h d~(<2d H/̳Va}w|W3M!g乪(g jc4g1z=U竾.g&Op7}y:TܠQ?ܥжh|q1Og-<_oQQ/kIVpCW0 0[=&KP[P >>Um>8cΟ8#ޏLlU@iP\Lv]o6irq{_ ؆ NaAdqq8tT[\yuid^n ;ʕPMw BI[6Y[%6e+qHbٻW3ǡvZxY!$SC z36NkyDz GWZy4r& XNvpvML{ WE.BN]FcjySHfՕn6"2`}"ٗ+ppk,&4!m_uc$5zjܚ4U{u+Aƒq=ZZ["OP iTo +4X{ 禖dnRqlYpr&(+k;f="7 T]FxP `x"2)urܘ}IbPS>0|AVLtH &P3߉%pBaS(Ӣ'yGN *U[~ZvBDܛYQ(7g돧F_e]/ @sN;~\tA$ $4!MH"K4%Lׅ J'ܜ<PRmeڬ.3PP$ݗGEλD9ySS%/Tڽ#w 0WJ8xiwd=T 1nmM 4Bxh?Μ;ҞD}i ANmD4U7ђA1۴*\.@uTPElԻBE~Z\,c {N:-R=)+͡73 GhG/ pFK 4J !RP-(đ9P+rqSEk˟ w*_JN-N̰v$8ҘggV0ߺ2,gم|qX4ßP7SJ|XU1E$ʇ! 1uJOpS65bd{>1\P<Jr!Y0u_VTrli\MV:1@lkLDafS5*đR_i\/P6JP^BfVⵍу7G%avC"wQ";6"f2Gɹ"N@@Opip>V _d2"ЙaC y-ۿ;Z7wG?=%Jַѐ]NjE 6 6vij{gk2y/Rm_='<=CqG2MV^Q] >pec? '+Х \\a 9f֒C +oT]` z4u#:b{> O ]>tfY`sQR`_t^PMJX˼"⼣?|7FWCYm@?.,]-SP2Q4>mï Y^8S Mͼ CyNpM6. t;uR3oq%//Ӣx𨺶.,aZܒg< h_N~7BwB IGqWk3oOS+qԀo7˘cpX#nED8nnn.]P-FxK'MFNzM``>]uʸ'f6CA TǧS騢3P3-f"nqnO=ǕVk`3h,`\}_g-zP.ƲA|J]X]tلO3+# .4W="lG[=%$5?`Dﻖ @{\Z&&M忋"UkRIҡ{}$9E(vVwNzVLef5+2{CC +TrTwb)PIC5:¥f7NZS&K@ݮYR Fб}{o*qq_igLѱT;҈5H.<eO CחJ~g1Uvw>Ey$32˵aⱗ WqnfD'pMQLK龔4rM#Xp_ݗ2f4hѻ}; )%-`!&giP'āuZɗ4B!p2\L`߯ i8xzʚvÇ#k㏊n+9iSMd7-F2wX2pAhDWbA}Z{RZˏ#v3 ($JTԜ79*"ܱTx6g0` ](Z^bN3,-M9Z?-}/p$aL=b:C39ԸA{~LN;~ V" kij)\~qQҩ$VghAll 52^_|=} '4F E2&OL)nF띚mbr('b`pP^ƃ<r^3cϋ෗` oz/!q+gD,(zQh_FtQ+<:҂IKyF[0}bۭFڷmaН-#eWi5?%~2-jOjr[,.L!6vyx*33.V Q/XF/& +tφɈ}Po#"9r*@Gx>dR1kf9Hc nG@8Eͮc6X!Ō'~?Ch#ӏhpP='//95 uZ2'cf?-A'HWs e@/uZa6[@l'Av|9S3nAyFhwQ*kJF9/8}%5#{ОkIjbJ`4m  o=˵R&D(c\s7NBK|=삌f5 (]$*n 6P3L@IrCW3{ポ.z> ÕgslbxT:y?Abr5NYԾ mIĺn5 @{$HQ 3,8^HC'/8m_$5!i_t.ŢV1Ci<D2 柒w31!gX}0BN.; +d*ϗs-M@M3P"0 zgm{x  1iX}\(׌g%ZR[{ꧾ0+aD ftOT~->'D:}==FJuK.-zӞ s"^N&Apw#'RV? ́3>鴭:ܯ[Mj iZA17REI Qz5 LI.ͫ$!vSc3 x{Sa vY# g/E ?ȑ4(z%΁CC؏Qne5awZC_Yeo%{8컒#{W;={G :prXg&{;+,"Qɋ<}h,b@j$7[@\,Ǎ&;dr.6m1Yd9vd _^a&ȗ%&A sġu^]~ `L-)6@giZÇʆ]*>kA;|EWb@Y)]ZLZB[@#t4 p X3+Dh),,BJF7.g\'p3}̰v,xRhTmA;ynCZ?zy dω '&{(!QĹ I$cFhьTRN|S0G9:t3؛25H*;H@г:6w1LRv(;Z/DxGzc⦙d(! '~ɘͪ)RK{\PTN}7耂$3$󩶮βRH$`nQW"] Stg(.[lyғ w* ,}o0s Rr1&rQ֫ DjQJ&YWTYWa2ᰕ?$Uq:p`+(@Gk#q';ss#!NG-׿n1 t_"c1m!™84mEZ.z_ߕ7 8IF0dTˍ _ `6q6-4W&+~ }Z8zNcs2 8ɿ=:p+ak$CeۏY0R%[wb J X\o~AR] ^з?nVt}Gv@Jr^F_Ho)jc5#"6^O8eJ a<_JW^֞Y)# }&Z(csMk3UcD85[eǡ=NmkcQH'ܴBߍhn`aV{E^&BrN| y+1 xpL?N ˧o]OVoХ,Ӝ.e"w"{xD1 m`Ih Q9N)ڗPLPTNp0Q#[1p+Chʺ/7]L9襫hv  ɱY1uf)(:*A]Fl>4iF~itmPˆ6+rJm^;G+\\5`h"7k 0>f]YOFr Uf/iv?ڳF7Ƽi@N(u/4MoO,<>BCE 3C]ʹ$lD>FܰZqK7+(h+co4/G-湶Ƈ]8~0CI{za'&{>RH a2=OTwN&B \&zd'˄3 1wD_o6ݩal=)뿮]u0R@q;x ƽ@/Q]!1R+KYEli xXJ?#o)6AEeݲK<9@mI93 !ɤ:o u ] 8mZ 14k[{-@b,U.SZkwV]D z_K.Vtz5Vd k;qྒྷJpnDy[\*jͪ_[tـ4-/q\=겛13.T+gPGJ b^̳OEY[]{y5Zɳv22.2 jZ\~]K̳ őhg&ҬD!:) i杕h/D"(l'"YUy T'&}GgG1t_U8.B!d?&7U?֞Cߏ=KgmK`nTXbODQ?j{8vS- Ch3'}EIvϱ&V dmEЩ Z'+7|)yq,Zɤhpb`̺COpBؿĘ-9T:_S ϯmj>-Տr=fe=RE ! B,8 0=}-ʨl .s*nSVD2 2@5zF`SSk5!pF9yvKY(ӵI]^rA׌gd;;z'O-zx( gz~` N]@]XqD{kS4Y)fZ  BU)_(5Iz ͇h+āZ^ߋ4rK6ŸnФm>3<Z9~ҮŴF7b}['5Kabi(^~q{r.gyiT,*wɧ1 `v NHW0K\JiBH谎FZqS޺>̰0r4VŔ9UE29 _`꓍!c6J_kjH8UyGWo 4"gNN%q[LL9&Zg?]uD-D+Qs%in-nG@0a`S e&W1cfg 6:]c) "߇B.xeӯ:֒9YwP1OKl(h8y@?9R#cpoJ(q 0HLV|sc F(DvR f=<J.w;Z2g:匊ߕ4E[՗9]@@ "*s脂^#zx~<"$7IN8q4n;U{E>W a6JaDJ\뾺&b!B,h|*/}^1֞[}mѭ-IQcBE?8+TYnG̶]˟@dDtQʰJ >b.͊,*g"6!(Rs}oP3oH*1UU~.86 M8+ 4l6@Ҕ лq#ӐʜA%ݑ@|i$X=7.te1R/\Cufǟ&`3?}};8=*"4M|i*6{g?"#LFd%CA{9kA=YS;=} @ݷ>v\M1"2{)\XLOkM506N҆ڥ[okORvςPoC~+LwsS=?)m%TDbJѦLg* pcG!J /FeTh9P! FMx؝S]8yI;op%W,s+?2=yA;a{p%C:,Q=ꞑ](\(H0LZ%'ؘ,2I]($~@i Uލk y