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  k-4< wS MonoidalCategory:threads=2elapsed=1106.802cpu=1969.036gc=71.876factor=1.787zXZִF! P-Q]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8Ci|!'oiTWPb?b;3/̚C*bniZzJ@]%ƔW? ҮYrn※ug9"bȶC X9PƏ &:xBA8qsB%C:7>4e$"9ߎ7dB$F c\^mN 3! pid?-1*|zdG##+1a>>-\+%a$!?)_LA@6A} Tͦ8ˏnS}L1d5bi ]]6+$|T4Vwn@~x!ԴNE - MonoidalCategoryW 'Y]}XqՈdq0vgun}HFkYaX 0gkssՋgG<#;ѯ~,Y}=BG$!4€ KXHL/זxVq-QӤbC)|y贫ƙWժ}sR$_ي-8PcAף+{j˚_x/K8ޅ +m]5.B8cf:ciw<`/^7yA?k;.Y^`ԹZLyO'/GeH%+ص1ueuu SE9Rr+sC$  =~( CU.[̥um]/"m>Q/% eU(["]'G8*q 6*V9k?l'.!x#4>W1υ Z6P,uho{:mFL+ Z/byB;0׌W<߿hq8p],֒{u" ~U2Xm=wuJON 7}Hh<29 X\z+)6pp]3!0}#McTlc4o"S gA`}aU4ͫT4̂s'T2G=^hN^\u2Fw_ A3%e?wVk]}<*?%eg񳷍[u %f,n^QtCIM"SF_V6[ʢ-y 7blkri[ ޻_RvE3 KQ@A;VTZჶтc1֬A^Nw,@`I$4 8ةOe!b\aJ2A [NEiTB˄7?b/I;W.3;[Jۅfn8  sY q >ɟ𫞴z8 Vưp,m*a>R%)+ [>(RTȘj1q"J/­k$$O vgO&9+"PJS"6щy#`IdR̗}HHzL7avh)jDT'HqA$ڰAWhYkxe`%m`{''jv3+<vg7(g-{S #%IMb̅;)eVѓT{4W9 SaVjׄLs]ށNAv(sIj'+9,ݣ@=@(AL-*_")=?^T?R-%Wn9؟M,77e*:`*@+,¸Dquq2ћ-LS+s6p}$RޫCQ P&]~w}!:O"-+pbҤ:IzUP^8nxF`f+U)Y<MIϪ/D28G='@@(bAܴh"?iHaa}|#W"D=At>nswG5B xhT @_uD O`PI = 0J%9}&߻WԎ$p@~E%x#I#wbR&hСo޵`w3(msfibĖPk4@d]rW!|p/?ӿn#qɿ (4˱6@Ihl3BE *@掎\e1 _j''W3!gOMk=C_S[OmhR|d%h UJx!5:~bPI?f!eWɥkJW[weGPWD@{zQ;V S%MwA 䤐O]B3EpxҢﻷpׂ2>~-sC(:dpk䴍^,(I*e-~_!Xv0vSC͉{P$;ȡobt~ tJbV/m.ȻCiy;E~,a}z~)jšʁzLvI)wŁ[^i{duKf\ -bGzIsjʃ?Bq,Q=>@ t- 1^o/Ҹ6d .ՉFrs-o|g֨s>#~oOobA#L-] ´A'4eRyZ@%pY X̓pxligouB>\pŸk:Cpt%SChsvTOx˪7]xieyZ85+zߖAKڗD};L KML[nDO77׾#A6 i2Pti/|CHetjF7 =aqzqELΏRZv֊{0%e"qXW?!ڃZy|1z|.&8d83A(N[uэס8 6_vUW"5ɲ*fP&iO>7&chL3GCo bz´wKjo!/vQ))Ow)'k;с) C骍0:ρ->-t) T ژ( H\O N~OjIRES%=^KWUOw0 <]ݹSiu:h X?dej,BgFwt6+7 aejFUߝ >;uÆE;&OڊaB蘾WB/k$_yUp>nkdLwod@-{Ȟ^Zov6\mZ+y+,@c~S_՛ tq v4,JN@L &@X@݄w=uM$J". !z·YLڋ "QN]g:0h^q O1ě:7Ɵz*ah@5e+DI.3aZtF93\0dd\If[Pgv0R?^{0t7_WK˔ /ݳ7jLA`I&йPR+"C/kp ?NI4ߪYÄG_3eYjtQ:~[񦹚Q$hM/.L+. ϾԢ-hwdU@XAv CxhE O]O%,sn#d{s, 2*y9D@pןJo`@?]`WTz"zgWl-QCJ{RSb8{;< M^خEK> zZr7^@Imǩʊ&snPNN9W+O~dϺ6M=c~BF93ny[х+y$T6 ۝&c'?`4s`ɷ6NS"ű4R9i2&YJdډ\<vGx;H'}Lu!/>bQ%t Y,[B?R8߀4f%(2WC+'"m:(Nrws<Ք=dqLqWOL0q\>kͦHR"sf_mLW$.&3MinS!VH[59D{^<_ꑉ액uLKWt"Wڛ5_۠?3Ų"D>E e!AV~2n8VYr) XV3hClxUϡxj$?T@'\d};~.Gi W=KQrV2i} Y`⠚5np\?Re+<]@yI1Z2xHʣe$9Ս.R݉j_=Œ}RWShPQg9o_xCz,=4ǙT%ǔ %1 +g$z\Z?nh1fNYGSvC"Ǔ:2\T=hX՞<:5]9I6rU|H 7Qa? AXcDb@ $W٘4Ӊ= K;-'̓ҢaU>4SZ^P+K+aFY5OZrD=$OAU0,h*ɰ(_\Νc]iw\M=)'(|Fv᪪c FXFyk .LRJgs陬XԘ=F]->Sv#x vR?} S`M,#d09k@09 ;wĐ%RʰMx*%#KZMy'A_hwÝCΜsUFD2 Cw[JSj <2umfy'ʗF+e՘V~sY|6c~Tri"뼂y囂ե91HTT~l _DTZmmXLH'd:6$7j~l`3! 6<6SRn1{"#]:ʐƛȤP8K/zJW5䢡enȺCӝIFFP x/1-Vh 4<(AucoGkۉdXԳSUB)ձOIw7<͌͜hSKP'|~a8$73흖g %:lԌۃ".whKJaUhүIn XϝU ?[뽫&׷L쟩u_v~9c.=";iDYVe*Bwu (] IMϵMSKɆ-`uܽ.J>״AP]=ȃ\aΖL` D* WG<Gz8^Eh^tOmQ\sĆ֬< Vs VȍB h!,KVyvDɿ=?$Nz2gI1&]XVā/mF-ĊeK;!?E/nVp_<*DX\\Wvs8G2i]Ԫ83z9`輫T#S"hZ>7|GIh$;ኼBRtb-ϱhGODTJ -$ӡ.u}EV\遢+&f-(cS Q[dW;l>^^W6}M>ZZ׃PWz ϝA_/mVp)s+gsWD )Foš8Og&S)j7 *N@ě.խA'ՁMlO-c+H|ގ{:?+U+1\ ގiZ,Y;#bMO[cH5vx]Ok<(6prOϒg=!%,U-|z/ u; zŚl n֖!: 9݂ZhڇxVLyYfxV@/ubpiuņqJ5a7M]Rm7SeFkjeo!.BACu:U(jxl2b'΋/fDAω#ـ0R* pD d𲣊(co ܬ9c NEyֵ5*~*~0tgqɁfEOF~3f,cp Bp8! m ?aտI< 8ו_fi0Ӑ!1c[aI5<]eb萣Z[C|g9ЧLM GKjultE6yOL'Fa{^dfًMAf+z+zclx/(q YK3bc9U7CGi_cZo' H^l|ׁtu=XBɪ:L+ߕ[3O\Ro>z/ˊc~؜NiY. a0t0].7El= ñyu:GAbz|e`\ XF"26D]p ЎQTş]3 y|ShaB, wV@ubŽA=>ͪ< bBeoj2Ӵ kRz4tj oXvˉ>lxH]nv#:\ )kdh.Z&/;1LE VqIm`"14!Oj0qD "Zd@sGƭ^Jbuw#_UL6tWLt" =D:}/`&> d'G]o=^ {79lLXm_f(=(w@ 6W=ɬ]"ͦvUq$% . 0_ʎj>P@gŭz/ {2IC &NHi@.xBޗ#:_/Q7w)Uիm[#E<;iH+%j¯~4}n,,|lA 8_sH9BPiU hg9) e}t%sZ Y߱gYZ7zXZִF! H]ŗXi%qydmGH >k۹W"CߴUXsu6 Rld |hb)Z);@"FFʂ:Aʖ.=ڞa]jW )my1*N\/sD؆wQŨ7]6= zm$3Ce7<[&3C|6vvlNПJƏ SZvFfGZvoTI~V+rR*8G߼Y,tj ,n/==960hpVLR>&o.diB!߭6@5]7w@+|pϞ!WryM5/Ј3 ;`vOР(ƙ:4aBpmTXjr*Q-5~Z0HX; M,vI;τwjd@1:yt-&,GI҇6`"rHkrNJU Vcy~ArȆ2tygL\7i1psLhG c zw[Z-ǽ-YHhnl#Y?]FJN5\; &t 15:o@!9e{"38v`\"k-Oc<5:Ww9 Xq%S* χAJ91Z-zǃ'{ wyrg? wft/_iY-ѧ)d]y|iM'@܍b7GQL笻OcԡvIe9ify+XpR}5jaJAZX <yTw;rQij!ri_WC֐ښ)U} UݍNJ{YOl}tPqqy_cqz!Y!ˊ+:ek`>9N{ ۂ dW(aV-(K'fQPro=L{ݗeߓo!jw_U`GCE 4(`UY 'mOa%&h/M62Kg!N\_a_G]k5I]dUY+~{"=\'2fH5l*G-ؘ04TƷ&!p\}&Β{Ӭm)*s^-ʷLnQA}s璢U9e*<:N(1y[?)7zdB{S*f>[]y==b+v:7 E̅_"=p+Vv,:1}>5ڲي!24"8XJdo+QsQFōX<43,DF:'\##Ʌ$h7 Z2K&ѓTѨ^֭DD' bX c[*9a#lNq&OQg3I!h#4jԕ'9z1 _~jWv PGx.IVQL2oC; } |7T׼jLc3N:tQAQ^BPvn]QVaN,SҳEy[ꚬߞO) ~`,)aujފ6’]c5]ͼ.rFWQ ? g15 ׃gAQ_ ✯Ч03EQAWџ҇3/$ξi%b=LJYJӛ͒=;h%φޚ| s=?A5r2tx,?v0]ԈvXcr32EWTM]oׯH*0+ݮ 62Hp]J%G$D=[ZDvNYq(lE!/*05Q<@"ND`8;l̃7@L,$P;J Ps@e=ad Kf$O4]AvF(M˕bgY#)rh˸0J =DModgq^9~q|nͷ矇8zVbN7:/vM?xg6!o(~Vhh币F 4d %guxtu/~wp'mG&hs>bnfۦw&.e?yl֗!Y\RyGǫNfxw~a1:J XPH1ŗ*BM8}TJE.Gz8e|< 7' r F80sa#ؓ| ]YJ+K[wrUr-8&h~@7,R! .cÂPڅxݔ^wpW+ !bw?XdH¤Iz]ǡeQA:5#98N csӭK&s{LM ,ۋK㍎mS= /5Nl/g %m!9gf/b R ]+Ǯn̵ޘ.R>3.wp kzx4pbӵP;Gmj^>itחWB䁛W%eLKcuHҭ&T vztuWAH}RF6f>nB:..YFD!F,]06Cn V`TϟXc@^98"@EʡBd@lT,%߅ռaܻzq_#i-֣cRg53ؽ˚NG|zwv]OWƑU%Y862,)wU'R'06PoT`s73o* qXbFM#3ejh ぃNT&xd3[{wr%\;{ivI WsLdvwu MWë#^]cL`C,3㙜[iኾ9JKrzr:F,ܲǟȝ/O~A|_Y=)#WSG ԏ*ߠ#q.8ʝI+ad%SgQTĪRig"hbޥCcn|5o +!*l-"& H?gG(s g2E#Cyhan"U&[MRAK(%r +']V@Y0 ~]{*u̶2v tؔ|**yl֑h8J"Ya~ yknU8ep^/?g/񋑿X{Zm PgeRpE<+}kG)iSO,}U-82.&Oɛ))WmMT8}tw9`W(Bä|29n6ʜ`Gd}yb?([O;Fh -c*$jFJehTƔ/H_cs=&h$.dU4es\c1O/ *Ќ'ܰ+L-s1)W'u̷8V|)&.na(!UY #.oz[/̍.@ioaR"vxk8AN/Ӟ xۿנ'fTHÉU[zd2pr-!˟#6hDHR Q?~'l6gSʺ.GkU{0*ǵF j3;=-~ U,26b^zi3hoh>_lyIzânvVVV}HM>OH4hn și^`”.CYL< n{zQ<'dU|7@w-xyAk2;zEiTTE|T' pEzDp{"nlDZymQhfќ _d4mE0"QyX]_ôR7(:Vd".*xy`vjD̝'$?+)(ǎÊíx3Lr3(餪C^bdz&''RE|Z_H ~\v_oӨ~!qQ T啾"n3SFf(Otև9U([] A:fpsÄtAMB2lkrai0SB*v!͞WPz {6]޿yր/ bAdXPBL11MZhlPVY{n~?=+oJA5imՐAGp}֢͂,];zDWd{\]/wwz$uɲWB_$]n +6 Rg쉒U!Gg'BDS61+1ASDwQÞBM2\% cD(x(2^6rM1NVςNǫQ2IetS<'Ka-ؼ:zߺBn0#DSW*K9W,M ͍2v/2'B&#M+ _ɣmDE  kUf*cKFt5P>MfPJuzjwoq]S 'v \Ģ`RJO4QΖf˜w.L%R޷3vԫ'\椊V)n^ 0_V` 3&mH٘{8 N*)Y  VKUm*kB:dpQ~?RQȇO]1=!lpmϧcE`Q5vs%5bnI YAa0qJ+Na?WƤG nKj3 %J̒LFQ|\%fHFg^ ȁ;5+`W7!y'd F}čc8-Xkp$Zԭr2q7 j{ NTŐ}j* $=G^:Tmz ໨OvZb~0#=|2,rU+"yЄ$+,6w3t.N-aqfC0"Ș9P`_~S7_ǟ Dv [{Pjdl{w~yD)[4?{,<X<.M2j99P"[) Jnfp~hWh}5vg}:i }+8et1xr&w^nj\T>F%/O%~%ūO]TW(]V4lU |Y:S*CSZI;J`T&<>}'bRfou !lA>fI WSfH "eB7L><6" B"3Mn!-.F[ZA}1݉2o,ՠ~lma'2xFƙO:F,yb@98r8 7ZSG~N}6f<;OB n1]>>fgevCʤ]r+u7 D;AcB$eͳ!dPl2*T 4:_~XзX ïu$ Zq2ʹѠ`u{Ƹ,$ߏs*=@` Du1 S< 1YݹfS/ꦍrp5VO :}OPud&O]aam) k_aa[}6bk(d5<ƩP,I!j^=)3Usɲ#jעQ}*}%'TpdR8uMDaJޟ?E< %cem&GV+ľ‰aTwr in?b1RZOLBXtg^a W.%YT7*r>L12eiKLĬ@_Kj#+:'GPW ̟xuQƄ,ضRDm"p }tلnFLBOZO߾;r}x풏ƞC&M:.9wxDK 6\L\;evgM2dD 4iEWrY|?0d\.d!9{m(v:ѷ #{1B( rII\Lm| ;Wֹ\md0o:) ܿ2R1FJ2<BjlfD_t8.V}SZ!:%ۆ'[Ղ r=Њ Ē& 8 N qrOV9>X-QG{ϝWj۝p'S )r5}ޓbϽ8O8 C E7۴{^^׿qX-JHf5)U{p5U7$Qw:]oa.xTnifp68H;lLFa.gI%; 3lٴG<ȓ4s c,擔.>Ǫ"Aʭ ƹݺn VΝgD T#%Q͕cBUQp^A*]|P={ Ԓ@#9 sIC$d΃vr( h"F>(;\n6k !q8IA ^*Qk}!z1Sa*#*lR}@Xخ#zUNVe^ y,D6-l[G@%Y=ʼ r:T&KT0pnlzOl&(Cr~Q+9u{sяܕ=e" ̣ :N|$hIaw5*f|UМťaG>L&e;KGԢu7ktxOͅ_8\#;ӲBR*Gj^퉅A}xXܢ>0KG *I9;1'o0%@&'Lc0PREtJT7"g$'w[GV&'U鸁FΓ;ӆI%?'VT4 kp $b v{;اJ?IՒ[^fo›A#D=Su1 YĴO"xu,Q@g}v0ɼ[KKQ*jY펂ͩg"zt.tbWftS81RDlv\[B Cyh< x ;uZ46 E>}v4GtrQ&xWcm_-ryV!N=:LTJ?8u on_D]>0{d%-p]QYTa6? F8UhTu&5.^'_,'=O|C7$87fwN!kr ST`$O]#4¦x1p/7<ؽ 9<4?6AB@R| hgׄ J7W? 2D)yz#ev& >ڌ;F5Dn,woͫ҂+}h,Im*.خix%0NՏ sMGPpfAkm91.YJɺ}psxηgб%v<ӆXsf ?r0e pz>l6Kr$cJ}Yb*:8˶H: ܷi!Zj9 7΃qx1LW3;0 w!8EN:[ NLt>C钓Wn[9?WS 8.z XۢUw@σu?$3"r{ U3UA\;LM@x47Q@F`{yG?ao_)hzHO.x;/"ơ^ԬgN.ȓ6YzM|. YO6 u& r$yi֠Ń/ |/24hCV10j_8=&IJuqa.C AV3Ƚ(p1Zw 6M䭺ŔJj}a7g̬3q鎂qRNtߖ ~gǞgհPOHcϥ $$=OY9O;YȆHuF+ 02Tor5-xYѯX根[h`3ozL_<b(8L700Iӊ>ap)>. Va_&'V0:&#hj2zUA0xH us+l#G 8foq{2mզyp˳׮9ֺ9r3Uqx>~!Ĝ<w| Ye2ʲs3^OW fYڏ7w(b[H>lwSM7$[pƗ7_;OpZ٦VjٚU=k-Py{"+0-]#.`80kvNEWN!WNt9ޔj:YICW%X^Rx2fҼ3 XiwkU2a{HS&ഇǮS #牂k[fd(l*6a=E.3k gGZ) ?{'P۲} /WaxeBy:fMzϩpj6RZ ~z隱 \ezf2)< 0OzA&`D+1d8Y0ߦ%\ae *O)"DкK%vfF*I#TXvknNv\*'*?M,-R\ˎJ. ^䵮42-f]͔PpNZW^%"!c3a㉈AchՏʷMa_'* 6C'nQ}C#D]SlH8.#>|aق;D?Wkdz_N r[ˌưr ][2,-=JP~h_9aIxϪWFЀ>Ъrвd&'zyDr=݅ U$ 'nNoq'alOc/+m&BgU :!y~j vjIq?^_٢!f?񰔨?DO5Rw'CJ3*L~Sic*1GðF8D/ +X^&bΟQ5Zd0R?![K,4Z#@8#Le׫8k_laքLQ{IwXD{g>ڂ]kc yFbo rpK+$=YAÉQ@$2^H->Yq^hgHMqS\j=L&$ w`g؍)G jҲ3#}m/q.6p*#vi1E5 vv]7f?x_b_&)&7N%C7q ;qdZSEN YIH}%uObRa76W-Hi%j'W594}+3))|J@=+RGD`H ?Zl*cfNN,5e_?zhr Α$|fN3sVlfi@S̳ ypNfpacީ7虝a1ހ!f>XZj?ѬV W{Nps:G1u#!_ 'dž4u|G ;*NR W r}qvNLSP{.Q$+/]gSn/mvxF`J]zy *emL3`V[4OKsj_Aqm dG[ֲS`MD=v@ْ+ 3U JSCApjd!4}w\#?f|8 !ie,eAxVzfV 옙!C*ȘQl3W6>]JɄ )io_٭=;;]|ds!&i CZ ":}4 7QrScܭEaкoۆV"īj  n?KY*֩".gDŽE]E>.ds?x0$K|{H\RhNƎ]1o@@*Z#vcy|#m'V8Q󫆁u}O_ Sm+Cc-* Y4.i)C#x^}{dO`(:Â#Mk A“R;B@NtL@eiga/`U؄L/Q5(P0T)OC \miTG`Tբ"u- $[?g <=_󏻳?UK'W\4+˷&4&LګZWHƪq9PV]EÆҾBUP=J 0'ѢCGOgM(I2aMwCj+3RvɃI+I}tw !/7V,:i)ow-sN="Y|QOb lA"Me%84(K ]P`i1mIc jNrm}~]RC< m$wΗu}TZkTwafK,;.4-7s~fYthfmz 6Gզ#M49$ap$2,HlM8ZC#diPg1F*,D7B =p|=h,զQ7OP'p泋ңLVw`-eRsthA˪i}] FŚ l,$Ӎsm)ص2'#DG="&JyzèM `!7z@5W"d3>N*Q\p"uш`2+ۊ1JHM͎u Ւu" W;M1wV U X-h Ÿ@~[rb#T Z{HMi9ڳAxV)L-p4Y}3O-& Ւ7|-dao<@7bis,r%_Ȧ;7ږD58zmT0LlZYke} @b`ΐnnB^Ktmpb@w,/w)Ǔo!zj\U}רH~}f n*AW:zm2Z=E*MKZ@[sd,8}xŘ& _ɻ0 8:B4JcI.3S( &j|`q`PrD j*b}L ԲiWTUV>j0% EG#;T/6A[71S-qSwN]6H^+y`0/* uh#=sN';\5sxYt/"mnD֕RwEV0sCGA0LA i)4_:b:B*nd Gϲ̰kP LzWq\J.Q[_4=:ZiOLmS A֐֢ \WSF>fQH$:yXJfk[HE+76i7 *a*#z[￑XMV2 r":9sLڧWzۜrM}1`;9lF@ _6|P8ƓݱmFo8ourN逺{qSb=+GGD{:ypԈjfX'q#=7PvgU=Re7w;KKJ3Ąrwvd]X$Q`ەџg9=C2Ec_|48#i5/ڸ; .yA@٬!O3\uNpc([FSdj34'ch,°8 NR"AWA3@tD&y^lԞܮb“^6vEՑ)I)@/Ux>E L,k'ޢ34СxiSog0gK`ezfG A7(6{b^ C;8p$qhjJ7#sj60P-hi6ڮ9_x`GD9m,—frYFMG"ԌtM虃Od941ȇ1}W_yms;$oG|MF[%_bw-!OE$ O)EX?U8*l}?}6tj`l\8 |]i~ KۚFMY=^F@Q!T)9oI^]ԥ8nX|)6 Ȱt% H'+Hm0eCZղ5j*+ÌXotk4&^ј !nܰٯI--eG50qH3#^<2cIim9"sx(Y0u|FN_'E>g㤄 8KW(`ƚ s }vR dFq5o6Mچ5$ v7ck =p|IoT/-*f8gԯ[ޮ 5!p-8v"q39Zo,o3I77"_RHtN% XRSHMT )5P}@DLlLj`xŻ\*&,lf 4 6ܶFS W߶H Ŀ4凝`wSaS-1.Cqm/wa7>>"҉o;ϱ\k:\`Y2ax/ȓECZc~jLe5)[W ݛDtS!92iD>q(?NiKoԘ%H."UNۇm{ncdވ=OQB((7sSY8l^ dq=hRdhMow{ %}e@>^ӄ$ʚ}!`] -Xz /|xǙKך-/4@ŗZa6ѰeT* => ]v/2Q:G _K]gPY6F-$&<[P`rPKsy\3~[t ߵC+<0`YS7O&n>oaE!6"gȅ$ZY=,g k]c]C+EI\8'(Poܨ:r/;4rOmUzSanIbWE m|IEBfphTVDݯgu ?(h<<6/bh[=k\`\_X43콯]!X&m$(Ѝ0(5ć|^]Yw~U\P-( }}tC. v~{jI1HZ q9ل]qq1.(_ IKHOa֥6t9[,A[u#?u0)Mg t@,2ي=_:x٫COm&7d/`(*VrKrM {۳.j%6kh";#bc˶ݙ;PJ J~ eqbv } 2=xP( RWC,gQz*)$ q7.kx;*xǒc=(wwܝkoӿi@W1{0EPD9`_!-Ɇ$2n"Z^K8n3`8h2PzFT^@,z/{  [\CnRR%GV\Y5DFU۳6)HaL$9BѓztKt   y4J Tǩȡh~l; ,30@:ּ-x9#KF[0;쐗-BSوb̉LYf waDPsgtB^DJ&+LAzb}y_J~\{6bB{lsv~[]WZ`Rd>eF#;<8p jA_pTLlC-4mAhgB2u^]|o˫B?< :Ӗ#BdАw[u)%#¦O(uu=9Y+ $f;7VtCj )0*ލ;>Wсs)mD6 2B4A(%2)K>ME{Id&/8$T3'[_.8(_?Cz*!ǫl`AM}k^\as3i/t8 K$=kۢүz+4TdQ3U/I 8ңu&'"=n+Kf+rmoAXѿ.AْVRӖRշ6  gϻaϑ*CT2:0)^We"<,$g}bϛHM9^8Ԛ`tZ)qp EmltcSL!dw%($a+::so4ҧ&V5Ly{\,3v_RKkf_::H!]ExÆ=-T33ͼºzRַU 18 hÎroh(_ܣz?LrHk;PmU&!f.%uVN7QʩI` ."ttX)8I&u:hUv|'Q.c1[4-Z8=i8A Z>OZ';ji͘Jm.TFYW[C`LIrspTGJL#.UoA/Nv?>05Πd#r Ta\Q6/댺V7H>qU2}|6^ٞ:lnVd a7Ǜݠ2d+D?$kXGݎY 1B3)CxsX̫'yʷy&:;bHw@-aB<8?;ѱ/}`B]G}:/A2e˩lz|!QM7'/$=##RŇde'dɴʆ.= X۹y H?*^dҳ>!Ծ$g @5<ʌkLv~xiެoݵɠU?" H Qz]4 0TYHdVlbAY/CPRyŭh}~A`)PlMI{7\p g窇#}OPۦ(zcD7 yC^E 4a߽WmhE 7b"K- j&ts _$bP4bـ'kw 'V68+m3`?x{Lyn * (R~$&9ߘ: *BPbtǃM1[7.A}i"[jkqv۶u/rhc=qn rgȩTxobp橠νs|fp">5l-^-JyWa>!`-eAPl# ֔mQ.3@4jgG+-6齁EBkX Y|UΨϧuVUţLDx~)7Iv ϔWRm5i$U,]vQOvu6N!JXo 5xjp48*s \!ðFj/҈ 烗&^M5T/Ɣ*^g/bݸ޴[y\"q'_dKܦo6 \IAKou_Q#TH$`n/Q VvDjdSeϼw[amYN9\^KUYX~CFr{~B;e~؇yB7kL: JnP Ow‰ :p P Cg%à  "EtQkhõX ?J_tY?!PCC^ %+PY0AM̕-f0X5;'g@:S*i."S1ÇS^f/Ÿag/29=K (q\h͆w'nh%S{YKͰq3ҬJW.+;*?\Y?A5NqS;'tBACPU {vs3mu;AN #Aw;l$̖+ȸ:rjttq6+kˋ/zkB >X==(!a&Fco*P $jIQV}BR\ 3,׻ LڤZ;w0_-PwLLևx !ߎDQ1Pjo͠sFaMvJ#tܶ *ӝIYy&ݣuw_#>aбRHL$""p!XFT.|u_`D'[Obs4ws^[9 -A$0¼arDWif{shK^D.{j}=j3[^l}h3%Ttbg52Ϗgb*-u+$}ñ!.ыfY'J) M矿TbMD (+SWutJ ;𔚍BBdNu5 oM pň\+ ,,l˼YY:riMwL矛M(m2r!6 *tl6L s|u U⾤ F!^X!w[U*خ!9܊l8{hG0xts9kp(oJ-Ko6"E&.M +f^,6H)耍,0UDx '7Do'/AWMOݰW;ruYfo)BkdE?ДTɝt5 $E_J>q/ضd>Ät^"'V_=1ޕ@9b;J/0v{{ۂ0(V듹ot%Ŷ4ʤnh,"  V^QW=!A Jktwj) ɫ3 $h4_+Yut RVx vS=Yuݡ'v.1c^佊GbxRi윯st&(%ESQD-?2xNH m⃫ 0t{~A)&̴518U dδaפ94ܶ$m7gqUU3@`EUV9 2 H6mC#l["QFHgIщ_`bg[sX*9^x^X_ E扠'86H@!˽Rn?~=i ˃ x~3TLbֲ-=Z )QHBfZL:ĴieQF,xxl$ܬP8Htǣ<wnBB`M(cx}EOi]й26Ukt$iYk؝f`(1aef2gDz0&?5aw*+kWOeǴa39hŁQhdPOb줓`#Ȍvol IV Dc{doYfE\,eWX^Mc'4 3ēkH>O~8*NLx˧L35zqL$Ŕu?嘪ar"i?)ưR1[4/N(έ~F֙dv H^saY.A zN15!?BJ-RT@ƀy(IQO:΍|pscTjAAKw')]*{${q*-ˍy#%25?H Ӯz~+ts;XYD H8ޯ%uf^Vf9HlJ43Gh(%|`3dd#Pյ>c Ciz?˜+'!ޒ|@(lHzOIpF۳h^i] f/3m`$de<FBCsߝ~ߪحCy纄 ˊ/P2EaOĞ]A&jTyL cE(ݷJ.`)P/G~}=cfp-ǥJHj~GP/V ˠd1A}aE"c(IZdt t8 }%{u8=+%LXaC҄Mf3/ /$@ |jt0hS.1*{4Ng[ya(ZN &ɁJ6NWD&'vݙ(^7^Poq()/7#2IAJz`m{gb$|֪\n;ݭ*a9 IhSM~K1exWrMx[4@tV7!oVꍦ嚰eRSq\Dё$dΘˆwn"$3.-+(I 5`Z9:>E;gTR]ۍ3S|q?)pp_]iNxxb A|?K`W]pZM`n uw9e,zȍ^|/ iFvrG鲱'm<>=ǚ>ഉ1Cސqq9V“P&-yc9s8:iuU!U/s ޷HeLՕË {,Wc2{=&s3ȣ eep"ͶsId';ULưlkXxt?#s*a.~@.GO(l*l4#J^ Sꪤ~l&]Zc|uO4zRC NˠuQ 6 <,%d?Hv kky ࿆jTCZ&n(q*% J{UQ`Kô3ǀd@c6"^ͨ!4 ղ5]vBz/L֜^f4zcXOfSyJNUNEgũ_ 48LmƬt>Ce#EJ^[)eR QL#m4ʶ#r3uw +5[%O]rGV$B[ױ~ [,nޯv`%W,pyN'*O"mF.K͌3,vp'g]2I!K'L<M2Mꯐ1ݽ~F*'eT)dx;r['D{}x 6Jg-ځ,:bKEg2H1 PE#V'j>ЛB j#$am9Tp+a#|_jN.<wnHF]cga ,G'M7봹rsh>wΨénIګ4Ŷ״uVfދXXDIu :YNႍ|Vϻ]\O4фA$Ep؜*F5mᚐ^yf}iO# 5mJ]  4^nZ'Z#÷P[@acY<)X2Na?pa*9BhLa+=RX'`3pdT /r V=s" [O .afϺFR1]GȎU-ʵ,(5*N28pA݂꟥G= Pf&'#sz$ք_Fh!Fdd$bRj NZ, ^c|=;bϣC$ wA ,$%3,,5>/VJP/[+iLKDuہDFl.#.xbT hm\>69[c83H/Ncx骻e5{ uƮlBWȏolx&eZZ2 L"9 ?2; 6'\ߐ'zR a=$=;MNɭ}`d 4j}X !)w.XUD'oze] c[rߝO(|]*toO?E B!6LµCƎ]qw=.s꼥z8}T)_kFVr3Q-AmPHLɹtp61 Z`EP_J{^YE}_NJ~1r<UEhrP{H; }z<>kbh{$&)9O]Ӱ~c9koҸeL|4TآZmdȪ&U;vka$hl&;pcʂ7H:WdVuwNtvjmb΄O Ces_b"h(S_Ht~Nn,!l«3^םFlbf<(JU4kBi-GT q-B{OH̽.@E9ʬ (.$qK\pF1gl0ݺ"y΃7[s˨|djphUfl YD$J̪i.oSKfcnsIlz29RU3#? u2.rq qX7mOSC= Sn/wΰGEhj m.o'<0>w0[! ئO]t2M <"hLwՓ=%ܿNiT鹗M=²w j.ѣ?ۃL?q]*؜GA&ՑuT9Vڣ$L~5+/ysy# s 9+L 1?)mlk{ꮚhZ^'֙YT}s` rI*ܹ/p?۴\BFg`iWL #^Ģ@3+`z*7آP9Xh߿aCLcV7(fa7rfJMDד\42[l3W%- եZgtUVv6;%c3£q/ؑUBL4F >72EGIc^cݗ0yIs?O8wjZB`t)ܜu چ$hLУ vlmG?rW2?iߥhhD>؝MX 'c7|:A=rԧ2[Klo+_)/̈r|>^&c/E2sr,#1-~ GWۺ$*`B,v\.w\m)?0U%HIw@{ABp^C=C!_6р.qPI ^@hl8#!$9$`}G0 : ;\ PKxXuw{p8o#w.3G@l?)yܛ~Ə=dh?(,qBz =%8=˘l"Bmגͥye>.҃1}}(o>&i!#gzX;ѕ׼U[SktN;K|ɨLޔ2s(Fq#k*?=`S[A9m,1vJZZتsLDZNO'Vhy7"$ `t%mY8,t{A#ԺVtj&?wםBBI.gC8 ,VcXʊpUL]&Kvu2 EIO:2Dlygy| F b FD]֜HWpo`A:D?ߎ$P}`o!%Vb' "cWrųA EV_iV _9ߎ\k:pXrF1^Y ڗ >4Lȸ؏kS*>یr YAHCC5?,AYN.+K^`b dg9I iHNņEmT?k {bbDeҡoF N5Jq$c ҦXVцB?X60z`)+ Y^4M u *x(dLFM i#M3UVmMeiwuv'/9J^o|CCVMG9f 6Gs Сfs5 Y^=|HƷPeVGG'o#1zx7 fKZTӹp$DtɐeS6Ƌ3vxDx B%eaڝ[rCh6xDBJ:|@awGz4q91Owu(rӷp(|FfqƵG h` ۆ.L`S~|,2^q!zA+-E( bI4A 3}ϊ%cҪ}.94-bsvMJNσ} TP#6masW4)I/?uÆ (#ʩn·I2+!cإiBzImb=̶]|AP?5Y7'ҮJT~ʑ|U%o+`RP!uj-%hfpv4矐ʮG֚7*9|Ғ)-l%L>׭AMNbLK^l+n iVaD(%Q ^%bΕa3"'N^ rKx~\^gtg\NQvîskH:Шܚ1ב,α$lݮXTVP6@$%!_v<=*X&hdNMUݮ8\."3.t)I<k9U?5` ^Gac?2g VA lS; Xy/F]|=ڊNjwp ؍T@^:Y݈YAB/oLI3,h!YL)9c ITuQw[a۩E*{Ar!tuJ,{G俖y*4%Il:ry) \GDUhdNkZf}BE>UOs"x7|XYf !5TlO{LZZ # CsEV(,Q;mn %7~uU~'GfBjCqX+ 1+[ G,G֦/?-^ZyV[+0v"nmHT@u[\ULv }jRՃ~Ϫ]\fZ0w2[왬U;Q~jʍ*h#i@^AG֖tQw21|{Uq5FppmjSn&sCI.*I/6F1ħSQ){ݾ0`q3LrשZ UHÇSZc#V;Xa9H͙M-ꅒ).',edUsVu  bwL^i **~Qno%4RԟjS@l ngX2%C"g.I f;/? ^qu#4('ju_GBJskzvrἊ<{$FL_=6>炜$lSI~J4'4dZcIS.NBu`@CnKG^~w<:ӭZ;i^;n\\&sB9l0b-(eqorEp-PV8&~" 9c6Ͷ$2kN({jscrMb3TCC,0Vz-h24mhͺ:Y\rǧlTLOoψcU^j//;r Uhse[E_D(X3,P8^d6,+ Eed! Q)Hu5M6!NpN13˰Lr52-s|uGOg>U}Za݀Q+6ݍpHY5D<Gh8e{{go>9-ɖ5!fC+62yaAǕ gȮ<?'WBa\7oh\8H]8pk"c2[h3./6 6$/ۆl-X$ʟ(n&|z0H|X.x] :BۇT9ɨxlVRx8>h XT-o".=\^P@4ձFWHk9qcq?n< 4ԓ@MΕ%i:V?#8m+h @GTW7WrqB8@{R'}By,^H@ ,їw׀n3r]SD/~ jL.Fʝ:|v|\~g|n6*۱r#dgE»ku9܍di;zB(©$h2 1ީ7WzE$1-Mڛh`NhMJԋv6_L!2< +oBu#A t%巟nW %lΖ= 0XS;+ 4m#a*'=fMe\QZ ]T"Ť"Iy^Ķe?N$MȰȺ.RE{Y鑠ʎQYRB B(SDۨ抪}l?z_% ՝G|ol@fyzKD;R^$C^BkȄrٻs_+iQۗE|\I`e9;2*@vCN\n86f[KМl~ \ϣTp"Ƕ omٟf)S;@Sϝ@|/wݠzhsf4ʘ .c m* GEPY8q\Pr-P x sV'a$@}[vlJ /Y#%mc撶ͯ3xFW&) h85Y hrʏЅU=/sDOmf2-΅OV1/{?!D wڙ߮߈& _`an@t ӗ NN)WXOʏ՝=XC, .7/:v 73nٵZjʱ}Q 1)AП1(%*,IҾt7 X7OƑiRp1creFIUQYoA6ڄbr #N QpTLĞOM` ((EB _Rdaٯ#t`+ʭfR4ʬQj׽fޭ#ԋ4:V4[:h 7b:yE<ᅃWuf7ˠ q|p9C,%-Pz u=ιcGsс?̘L[&v})ƈtY0jA 3Nzii|3% ;ޓh:+lH`},wUV QK p59vbP& ٪ʊ>"sҌN_(2aO?&Vjσ[yTEثZ4t3|vl)&:^Q ͡]`_~"r]S 4 a(@w5o-#I잏WV-v5x\Ea ғjOIdcHP\,sA%&ģy-m`~>{'DdOyE(:5"**+ 7+"gnͩ+[niu]yNí7՟K|}/LsxԖP&bKR]%ˁm< |ߋd!̳/]M+h$(YJ!JBU׏Ƃ>AʑMcD0Ñr$8 3Cc>Ea2s.b8U'(UCh694i)`8|1sg$ 9<-ZRԣ+N5I:zVm Gy <8nm2{mr;Eᥬb昱\6Gn=fiG5 K}PF_BkODمZ8)VRʼn *MmE\cR.D&m!jﮪ$ԨTOsְ˾lc#Fݪ.#D&-f9@vlG\ !+gX2C:]@pCM͒oi}>+ܕe5ctp 1Mțk-U^Cuk+9Kq?b&^RăN*T~MFGC߰m8eɔP]B8A`}bPiG`p<˙Qd@h`)}5 bYx3] "_L_jYFT@uE l4a\ܘ`}V1檯wN! شߊuF<6kNp}FaB1܂AqB^3%]̬C*g3 nL%ӞRe`Wob>+<$f"@Z &`c|ޏ(#Mw SJ1<w\7 S&](yLsAW?~x)/v+TrXܴ%a,:V :DobGGg{A&߻zuHxFd=,A Z-j#[e%]}|@L*\; ǟEAޢ* yɲbG 0pVФj%{lPZڸ+k IK”dc57e2Y _g bt,{BĬ: 똾}H#"V._D繧'^(dUder*B_쥛\]ˑgGJ,6QQRFx=gT5Yc+@yEKr_OouZrU- <;YL ύm`~ԝXfx&jQ$4+0|e K&Ke>4Lg)]ȍ! zo!9>JxM(׻X.dL$IMyA;qG" #/C]|^k!؇"ɂD{[j9/>tGV1_y"TQ"N@R 峜yb>r%w?xfYZ±(utPP99Aƛ5O@[VoFx/>{haJ@/|Z}4&=CwvX ~3 ߤ fa$onW;3b!Qfu'Բ%Tr+EDH,2{^w\>^&̧4l`#w첷w<ȓQ J9L-XveSۯkTR3B{ K,zY&rb'n}v}iiBp X(ml| uհ6ӆofhlH Ewutv}[1˭OD{~%-I~!sas>C|b?}u.pz«ghXM@Wp@A@kґYi]lBK=+0Bo9!M]h.>0o/$TlVk^ MG0B#"FF-eiUȚ::E 46~dD>I 1 mRkD_[+%n Bz+?X33"Q&&frtP"#uD&&g%jj wf ^oVWȱyũr'Qe9XWh5gD,{؁6}g9%""n#̽*(!R$ TqّmA/x`cgRv?!by^H"fWU=oG‘O3FYÏPۯ-AVLQ Т]᪏A*uf:H"P<ffzEp7pZJҗSA DZ_BF-[\XDT.+ ĝ;~l1^׆=yX\>R OpTHMѪ BHyGn4:0O6,QcupL Ectڲ] }c Y7 G?ߠ+.?DVQЉ2<ӿ]sSXņU4 c]NmM*~m:b-ެ^ fFi C#܎E̕J4Ka200s5iNetN\]H_`aԗ/e uQs73KC\{b]WԪޞGm d[)5jf1Qs3Zl^-Eh Xc5K5V@ͻCڏ|/ПQZ*,@Ñi/\􌙪@Mpu?B @V^T˂g2AjH%,Z $1P߮90GZB{BN%E稈qK+D9|E;sb%}-LEM%"S0@} IQ#f8}yyQr <i&VrґyihKm4@Dt#045<2E 4L9!D푣CcL޳b<֖_i|},6HdcMuE'^ Xu^YBQFCs 1”i!I-z:艫0DY/Fguc.u6uyFF1h|$7,oGZ_J䩼q7hVrxCz6 JgxNӀv1)SJK_4v2f'p6{(piy(qѨHT4g*aX<+r.O zE0yQqkj186M!k L RzhͱvIex=f⵾p]DL%]4(K}L/NlPB53@le3(4Y{\㥐}ILhOhen%aBŶXܦ#J|x;Α$EOˀc/Nư9pr3Ii uRe 4! ;ՐVјd5)( [Ey!ю((bSju C=)\E+HגzQbtyf]P8-M1ƵnG !-1Zg-'L ;ؽeKP ̏G|E!⮰9ⶭx]ȣk\ȱܜN]MDZW,U?z(udҲC %D33]Y!zx&,v35O5 g |yjKb $!C#,u!3nx%tVk  %`d!.T!XB\6A5VC76l&薾nSj谻q0^}2bNa i).bX%C9% ^#_iBW:'p]@^NY'134Wn5ko۽D(iؾk$joWggU|{qQyԊ6jŨ# +eʡm6r9E`STӮp( TKH3Zc(22H:efq;"==Tw}O\6Yڰᄾwݾ'ADJ *G8aYc\PB೤;vTsLhzSI@p'P'e1[Wi 꺮QR@@2oʣ;j}Ģ\guA8-B3e/GQ%\AQ)$[^hv̙>sbYN)GJ-g'<{᠔zF6j"D8(H.2[!4) tm<Υ'jh'bݯ ]d9I/\̯yGNH7͞y"ܪv[fR#WL+SSI1-Ęe5 d:M'a$ C!_}A$jIX*RL2Bڅ \r Ջa~S1F\١th{J-jDWLlRm2gS|¢øGH9w=Qe FMI c&uOﰉUϘy0hWkA%LZtY`aLm(z<A`:̘_5CgNFg:"dT+r%{Z+:5"CA %lh,Q*s(ѯLn9q40–WD<<`fՅOW@)458L!Z`MK|xK)5^Ntu92S`0M"BoJ JМE+eYik;JQJF$2J@kiц<inKGϔ]*[%b%CnV!;4J>Rp~t=3j0i (4\aXr;֕u#5%zLÞk(d kOW[mQJ-utHyɡㅨXơ]Ki'c rOsYqo0(iȵ)Wy|/B¿Hee A\k~zln_kwibPsh]*0tWwTx>8-j n/v!$ƢMۦfL=CZ+1@Iʱ<ցQ19q @Sx >2 DQd5_='JR1SKᤍuR/8A9h!?Գө6v`=rrP{ \rK 1yˀzGϐ(ٍ.ӹBO[$33ƗlԬ1-1-2jU9 Y? cXD&t6UiND d[,E(+M1 (VB3~rw<72u0kDLF0nbTLO{y?@/Ab ] 'B۶ā{w!EnpAnql B e4%?|w(Op]CV9O/B\ g^`1Ѝ4L͚AO7̓mI%T!:dN8ʥqDq%,R&zȎ| ui|Zj]. Gj6v^yY=J^/>`N+KHiY5^!#3{]]}^6'GNN-m˯)x{oRdk]$fJ{Ё5Pۛۃ(CzSfl(|tք%%l>W֖ ӕ|FS :W$Eԥ'uXdf]5pNsmK:r>Qnug [[Z2voЌopuu ɯjg'U{F}̔Α%OO[P57Y*?~|J_[εج@bd+Ms)5k:~ <ë['º A^!l=Ѥ5JɭV%IQDĺ:|;ۀ[K1Tn>Kepŏ #?h?x܃aOJFitbފs-@|Iޑ>eG<=N4xFq)Y8{ XĜ|=y3yӖd Kge0:OK,bq)>mCzl y$ZٿnMSL վvP^ Ce_jnOmzu䊻 /T_a2ULdYj˪b4d7 :zX{q3Ȟ~LޏQql7vh-$*mlWkS[/ i $P9R5Ո 9D7x(d3{rnDZJ[ukhCM n"N#t0,S2{ӉQ`jKFA5QRsE Rr*w拱lQQ8dѤuày8!jLSBZoڴsxk(&j3vY CY(i3N,LV Gm•\zs܆ޥCm@B8)֝٠8g{5!L`ۙetl-:y"FdH)|KQ/ǻs({CK\XVq;ATA4h)~G]t~|yeo !K) 5̛qpI Fg"킫 OԪP|]Gߴ8ԍ9;F()8Sa[>ZŸӐ`z#ܡm2|!n> w}WGlh2J}pEx< sg`N2"ḰגО0F\uҥXܨń/ d~&F"̲gVIWMrL1-lЉOVVpa&) z7clV_ﺡD"#sl;2 U*b-" ~dr6A NցRx(w.Omc`EG]fIGm}Q3ALFo ]GP!dIb*S?~=]NJW䥆=XCMWֱ/r|3?)NUq- TލJK