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 -LT wS MonoidalCategory:threads=2elapsed=1116.091cpu=1899.940gc=69.828factor=1.707zXZִF! G]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8CE ej=a^[XmͦZdLr38v;ixcMLo54VP%in!OpS.?< *x՚yn΂Vsy+VJ_Kv@&>%q_ZpnodJj(ɒ>x'hE/t"֐.qCCdvn&3NpDEb߲m:5Riу85=*eGaSчtx-?KSB#8h@sꅻw6 T<ԾU@\d,oؽv<=cHLC_~EЪ2V{:,.8ҏuf\8ee- BݞGI@<:GB- 3uq'( 7V`]!?#̒1@[6.v${!~j:FQsHP)j("i 7[:Ann@Pw>9\˥|Fx2oˆoTh7j5 y.ǰh:kKtAƺ ʟΟC/+夙={MÀC(dqxPROj \y a-Z⾫ыxR^&YpAX Tg6,|v#6r,@T6ph:x;˖3Dt H[O7`"$*@ ʲScΧe&#"z8<U)5&Z6<׫'-&Z:2xltaNѥnD&11Ф, DX*]{?@%Kp졌`IdX^]k Z[Ә#n?TO K Fv,,Ĉͯ}qM XGCeܨDY? gpe* ߗTFԿ(%տ^Cu C.߆M[b11{2=S޿ B&bUFHWhSg4 m[ރ`Chըp{>N [RN aՋߕV n8vF;BakxvjK(%2j#H ,y=+ʫ% uq?re1'8p0>."ֻ[!a2m'IF( ͭ:O!_I8,!ZNġo2 - MonoidalCategoryKlƊKHQf.VW"lDyH40Д4j!$gxur ҦBAb57l Sd@vWX(7˂zʵ<7q>1s[r?2L.,p@!-V"!Y*a-Ez%Ay+Pci;Q>˞;Lp V59o?#@>.J wx^P"?O6D|%"kU#^]厍:o^de+>3+Vx{"_]i]N6P,I,73j *Li7Jt.X "U V%Dw8>l*[dZ{]<6:rLHoe}B"x\ bl񰇬0ޓR?큽3j{KνfQy:kTLaR<ʺD#~k:/ %RLܠeKk$0T  S3\.d}*pV!2F9nj4@jUaBuwB6!p]BMSml(l]ֺ&ФwKl>e eIW̢SDxD)[Q5HdTlLyTscϐ1!3"{ Mlj|/f$`uxX"Zbx ,֑+w'>vh d[N'!$ ;V dSIBAyiI؋*>$ݥsz 9Q͞վi+9ߕ\g(fihQ)+(S(^~ʲz-zd뒘ֲ: Jmwv˅_4" X8P'3 Ln. G%tX]ҙ$'ٻO0.}Dh=T 'OxR)O*,-MM=I [ hԢ>([K e |ma}]1c΃oDrwWD@:Տ y qU=\C9y]Y?9^@`vw5ܿABJ7Q {t;rrҖeC?P-k1Kѷ J<ɷןIkkKmuP~8ܻuX/~C|3/k E-ӷǷ=I溚1E~HTv#@fA0Ђ>C!:ykDŶ4$X/RI#/%wtn%{+okmBCBd ugT+A0WJه W!Jz)%yG ֍8OB.YkQI b{P)i?m`Yx,7*lLdܗhz(8w{ 9-)9_,CP ]Xڜj6"D,0op+61ury.]%gYZ7zXZִF! wjb]ŗXi%}q$QӁ2?6Iy-Pt 2iStmv%m|Z+zL-`׾N0 es-ibCx}W ru/ #mrOoݡ ML-Sq!4z@ %RMܵkT-MKlj:@j$1Ɍ)1} p, D=:>ӭ4`*Ҁ(cf =x9oSCT繋ۏ-v)DZλ!T]D=QQ1GĨ*g<"ڴb$[8ޱkC՛LK!Σ{x{_rV*m6^8:tGqa;eؔH0ͯdƂ+jzӽp0 9'`s%X(h#; צ!Ne1PԎ/~ED9)m琛P: "^!Ulx\UUq{a#78S &2:^Yxw1x\Q*WA]kEr8 pI c`oB/nifސF WrR&KokA"{"cAY<vs%j5!pg5;KK1\@ }bY:g';/j_~퓌sʱ(P޶,[KDW9@W*UfC^mB6pƾС=)5Y gYw‡bә}^8/*mIFGWB'^0?u6GR,vёں -{?ҫ=p ,^0| EcMXSCDŽoP0l%Qj^l "eX;ˎ\ X3w7߅ĭ?ss80zWl#hRz:> O^p&!{Aw7ߵW̨qS> 㡼2xrhC<( Q󱄓Y3zvT=q ,I+T7!!' }JҕtŵDiބOG7)3~;*u^_M1۩a읷L{ٺ8]Z P[M(S.CަhJw?l-1c-DYb1yQ*Ѳŧ}9vAmv&d(AJĮ5rWMc.II_]LilXƞL4y` ҍht`ݛ,Hn48 b_Ff8tԒa!!eMN] W(8&VnMU2;dg]y dӌϑŏhG:Ka@(2glԥ   £W`o #J<ի+&OÇYh$(>Vq+ D53CVXi]XN Ip`뢼`| a0sOL@=/(IXS+^Rw0arx< Q3I)"Q;&㽀һQ l xq2GPCmG-:; g5:Yav|%V"1K0 t]B"G:NS?J"  }svgZmhKC9 9r׍6aݍv*!q쾾_ w\dHdQMb. ?s{%ajd8F #x^xƺl0ULQZծ0 L?]}'~~hfs`ޫ4qnƾTS,ՉkY 2?'l!7Y^avuqӯ#B@1@xbt5p u{obZ}}-XMa~N* :CbtŲ[ˡ1ajf"KYWc!#ސH$ ebz+^xtIoeㅡkUh{u+NfuR4O3u%>2=P ?[dC9pP`{\6ߡڡ2Ʀ$JL^r;QK]kJ좨o=Q>!㞉Sr.G+GŤRJy|0T@7݇"YO>R` (uaR iڜSgy-<] o6}H`R;U&oBqVv+9Ta`1K~ X*{6;a?*>ZhM\&d-y}iu8Ydt:N嬣ZG<]T|#·iu֛+>A4VtfH],䂤5wJux"%r4}~sq5w !'T鶖{=Ori5[s" wՔgJM]66QRN0L-:& .Rz8C~JyQ)_hK1yTD=اC}j@ p9Ln7W?Sk,>|k~ģM9,P1Cԕ ~Ƈ7›e:ӗ0.n<JXstx~4!a^M^vE(:or?T8B 47g|g~6H&fIf?d9 XwaDu)2{T& ydKI:,Zm*+7׉~Wez7ci} [ h>[8PfQ˜WYx|\ }9k& "mf?}kB+GTMWR %鵡nEs (i\ʸ]uyZA ^׽Z[pq@r7y-Ii$(Pk x&U%s cK_qZtu*@CĞMaSZ{PJ&1E*d-4Ökd,_ Gz4GKh!ERiuN.C;/4-|~bB =x]TG k<ݠlΓ2 7dDLja +RsCjuD|e :pdR Qp9iڼ/s>(%+;z~@u&$Cr}=1]g8H@JzgUC6í)jk&I1]ļ u"g1[*vsC;\o$qV XR]m'Ԏ^t7VD܂ZSBkBo3~<=r|axEp+`JRllxsKz",rI4菑W`HK). :"J3aoMX'Ku30ڝ"R)"C%/+nχLԟ@+P)jJmTK;D $Uhv捻.>n]{[ho4܎ +H{O!MRt<9lT5uU@q:P ۪c6JtPf}& f%-2oC\]3ӫ{d%sw܉ÝIrQEzU?m~G&˰Jq>&$/˯ :R,UWsկ)%aUa_ad'Y=\S,oCSMBdR;)>@b~qC/I πnQ\9n~lOM{$"DX3=y`\Sl°>zCg*. RUVB.ɨ2.IyLzfaU,$ttxJGB4\dz(te"<8c"9ϐl³McdX@cG$CQIitd:\1Y&)ÿԳnMY$E%BC"g{湮P@)HAz&~5X7)' ?|O3BNoYB`A<*Ea-q0D:$4&K*k_.jQ]!|ܐ#1ˁTE3F ﰧ2r#d3;f ֬DѲ&zK}4y JKV10Gyy7OJ='/`>{P9g̙_8,4""P'n{n8JV?uxCiq]R 1j$Vr˜gA:ZPø=!(eV Z[#/Oӈb ;~ñZvScHƗ3=93"iY`(}gXAĮ=)'  "j7*Tݩ^aE\Ϭ*qq=xRJy0k33t`-KtW?S>`e_=\z¨0#?=*n")Gl! fW 5- kn0n}x@N⹨=HçoGrW{Џ ʮ{HJo 1C_,6cgSJph]nsh+5zyX> eAPJ!~~`&T$"AWaj#$os6o"hoHw[;~Tbu\eSEӄjMs%Otb^j8kEMXGY9TN'*OQW/,D)ѭ0<6< iI\#PƾiUygrܿ 1V'('byquUT-,KȔ +nee~2n!0Qv+ tdY{ lq#W]F۾ܻT~\ 'P /%nv6^\Vk'vXI s]RcF(m'fkkJ/Ds37ʼn7 c`2osp&IsE`jBA`Te: í1GF-<@a+qrRtS[5T|}x0ڲVxK= XAH͌Wpz!\ޮh CBz#b_IN*xС8_R#aҮ-rk#rh#  V xZڃRm Uؚ%Ԃ.qSƝ\?e& *\ v/(kvTv;sQKȧ` ^QҸ>Ϥrk9-GCcVyl_X}ߋ{ ej[a:wCuR Ⱥ G1Aյ>`SIZΏ^zJOQxPv`vC6AR"SVʗJe}$ڡę-d:JJފ~V/ l.6fÑAW{!Xg):F,y ff+,p=+j0d/ALi" l R+ hsՅJWp%PBeGZyx\_{zSɑ&-E􁫑v+j2oz|M4ŎOFw ƨA.ɾ̘gnW|, ,f}ˆ`>l{}r7{tA6pZ 6n_R$<e թXUv+vZ4 V ~@"0Mp$|e4*Oz0$兟qPoyބGd„ryrk =ZbGEHfrs/qRxhuavu~.n)Jszԉ摔& ?NqmR“~X^y)A]U5;p8_%g0ɠ"Vը)Jr\eJkf6ֲGSh¦c7rX5]{0 c6muæ𬽯sWG<7Sw`Ea!eoUl}-t1ը"Q@ r|n2W[pKdO3gr !my͵`;/0 "/ %TqZJ8$/ВPAƷcfd8puup;~U%ۤjL$X|LPTC]f?d룢[ *#/Imiаw(>gexR%9qkps< >$}+8C!pN?fdZ)2O'vtkMϰZܨza O,S*8kV9@LAv jaߠpF&o8SAY|RHYC2F,~XM3q/kH _jF>zK+hX%WBa/tF&{.a[=,JIl9Bq7.}fH s_g# _pvLgjŽxKa CU2}2֜_T*G5FkJ*ḾoЭ44+ p{%ؼ/2LH[+y.٭R6$ĶKHDB#?D=C$u?` EGr#Y+sljCh1~~C

׵I}c\7(?~uDW{Q:FɰV= mʚ$64X5(R(*8 }isYAODݽԽL!vO)JC'BayHUxc^ Ϣ`'.F} ;u|"2, V֖LcAt$a`-#6e"}fqZ1t ,PR<9k% ܑV9VEeTM_6 7=:$p f}F'; DGHc|</^ɜ+|˩qx+9e"0u}Y'$0@ϠEsy:~Roho@JL>$=ڨ.LKMXhXm1:YZ40Wz<50,u9#>aFЂ1Uo ƷccNm,Iљ~B”fӯ5j迾ZTW=Q<#T29mAD-l4K]lm5s 7@|# |31'w&QʍyQXɌpEҭo'GV]h;aӁV-Y4M͑ h}/V0^rg/Njac #KtSpmG@ @ܫ6:4), AAXZݣݦFSp@ES Ҙ7,/μo B)6k8FA!wu092Gz^L(fXnR#jFjx.mvtaPp)'qL@,^i(/ L3.5 ߛ,ʦw2*f/.aX ,+qptydCg}_>xJ:}i@ŲqXM_!a])ya&gϣ,qVsDEdSc =k;s˹\oUo[vBmZ{"tlTXc('oWd@g.%]b٫K5aʁM<ǸmE$cgQ5Țet& {ZuJ]!'B}9V #gկ- _lG1I>z$/eX9LŦvHءft](ȟ;,3tKFOfB#{>(8N E'bޓ]AOo(v.5h~,:7w#[eSBJ&DƝщu#|a`v#4"T+Ke3nVl#IZf-o)+ZFG0֚l\3't(s)ڐ`tsug9z>''hZUWxIW^WkPOY]c5|Ұ#]>ڊ[@,Aa|tl섻Ex?CXq/G(!Ga W!اf(!^g6bG&O3rp."tBp{Ul@;TC LE@x(Ѵ>I2M$0R_<x- D߇hbk /heˠl~DnGuC`$d0Zy^CbZ7*W$}@ѿ*T/B `l%`ةI%wït54?ėUQkm|~iEK&ADp;w-o[ވ!UΙI-*Ō9^jס٣æd~ ;lW^dyi%yeȳ} A\ۚJrLȆME؟Eٰ;\ب{:م)x:35zx\q1ܒa!˽E_gUW9Ԫ4Ux?5e4x_ZU8/*t,n%t5! %Ϙڶrx[;r$ ]gԯ SFJ63p'4wxVgGl/kDmV^x`uƬ !8,j0{Jg`!vKfW>@&w8AMYب}I^no7Xg\T5]0&΄'@N[Ug<ݛY݉gz6:<ŨWO /z)F+t S1&)|Y $wB۷ϵi+]1W{d{R`*k&&Z^GNxʞ"@|婔B;Xz'[C7\*ղ)gKJؕ m|OzPf,']; EX f'1:.g *5i)YZ;q`cW& 5 uYP='h 4lM`q1",WG% m8>p "֕GLubc+6ta3S5VLxhnDԢ{uI b ˆnNT}-`P %^XOI׎bwk^݈q,cpQGՃUF1Fe*RawdP{#jaS銀F꧘*k`wT?~x ,uH#!gJVoul.[M4j XMNWrAY)~*ؑ*c\p';eKHWDmh_=e4.44PkڲˇcP>}M!CNOuF{":(ОYNFxa;"5`^QA bxPy}h\{o%9!N/}_]@d!1R/8/E -S_K:*p"TϺ؜1~>9<*F5ZGjW*'-q>W# FJ:*pfNk Bd/ D4GRthvrNHyj Sh#MIzzw>X7}(Eо4rI_qIe S Ƈ [Ϥc.|dVإp(MMj Eշt)8YwxBL'BGr!TՀnZ2gq$LkDPA[ o4~.3'BeO?qW,\wKy_^Y;+H80&J:OKsL:GܶRz앒h3M!]ӛat6I1?95ʛjvXp_zH:i=sk%Kфg+4g2-vMR\ٽJEw!͵ڲs41\\~b$0)˪g{**ZgQ* +)X|./s"1)V; K(2(;K\暙#])LuA_Fd[ƤVͅ_Q9hnpiJɖL S;]:@lu/O,Y'Yxv-@At=%+z'zPkLʖQK"R8,aɏ7hN1g5>#eYVLotbd)T1Ro^_Ms^zT Pugd5Mh>hDVȳ*qwAUM>+%[ShƱ;_!ܹʲ 34<6u,S~V!rٽ̂F~_E>ѵF(qY$\XӍBW3*%8ID.Gfb7̀_V1G1{`4ĪJGfaR9XFxk1!*re1 2+@$@Q뒾X;e_H/(u耟QHno1R=JD0[6_`l@$28EΖNI dЉG&fv"^VGO1O֟Wt<&P^! gvo=@+a*c),$ ])T}庣ָwp|_헧̺Yv1X&5+L΀( ,ku>d,6 YmKdKi>fq"iŲ25aŸeIY 8`ط:ʔcs@ IBwNɞ"jLaqB@3nfOU]mN\c !cf 8ͅ3Y^zW$MghoȆ13l,s(T7'#mY5̆ `gsYo+ B-ڣp,At~wi]'n7pj6<'E} UU@?<5m#ά/ڹ}T@xksȎGs_\G [,mzcyRUϕ&UTWt .> ^cբOdW3o[;/,r-֪aY`^KӨ<v! ҵS)qdmb5<| 2VyJJB䩂E˓z~(/?19ٷ= /x~m (H„&5GЛCB03jdG0Pv\ ='X VlEi%aƩAVы>Ums>QusfQ4z1ir[na9/Е]8T5.s16$ !Q+jbM&`s.#7('~Ely4_r65Sn ݏPq+OS[J#+!DTvnŋ1Xw H&19s񓗕_:lȝrư@u8d&u'D<2ҙs803wE!E~6glMRKspɊy1cQGryHz/n4֖Y=͊ UZ4T #fDalN@_eWYʊN+6mOXZ0wE+ʸZ.^CGPs6 7ƥa YF[}L$# l5f,AוDi æ;5ʭ2ǖzaڤ\7I軚I;H!LQwR~H]kjFRu%hr6SP%(ȕcx`H x߀ZB= PvTL_)́= jj EL6<^4jGC1o *)g!Zr{Ǯ_zCf4Y;8qbkјpǡ-m0Ih o9VSI,ܤS#W^cl:IszZˉH2;=FHU'w#,8\oRC'EA X37Gtav@Z=fVO)GDp&s2vBr2l̑%ȳ\ҽ;%ŽY&'@kyR>!Bpv1'QsB:FYFr7PM}LJ9 P$ W45f"tDD36dpi?(AƬtJ+msu i(N)\ ]9mbb&0:v4q%`Rt;^ZQs ) 5W<@Hkwt)*3|H^^{A'!o$.֎%so06Ӓwëf#cAM*Tm"/{%8G6Ȣz,St[~_%ҹ/(ӷ q-H؉i"7˜ /M"մ';Vֶ۩ۘnKఫ~)5W1tUx&u" TVq@y]!E]L+ofn(K&exl'rL3yAr۴q{̽LP &ތL9H˪S0 7,&3VEg2վț[P=m~՗;^pwm7Pڏ^G)^ogx+׼ϟ4c=qr)4;#ύ@O8K'yX^\\H*˴Za28 va}[Od޷5>&=ԅF~4Kn*83#4fO  Ӣ.0r3R[&^y{oFY=H@v?h<}Lu=aꇴx>hXZ\5e/gA(rՅCuPf0BǞJ˱x[Ucm%U<$aQyhv@4؄9_gE  }?gű3O[?bWZ3nALsųYj闎# ?[<_qJ!NiNhF}MlwH=!R3W8b\Ķ@V<26#b/REx lZØM1VtL3vh/! kR|+XI؂?gsh-@EqtN8Ѫflͦ污]h:w@ l4I&cS~Z 5 "wV6$\Ms.6{$Ʃ_eo*6*$Ȝt8M975:}<=N{Kϴ YfDVcv<ڼprWGFaox4O|=tl޸ fٖvgQCx-(d-_:"U57n hΤN2GF$M&TOkML@_Uۙ5 *|`Q1feRvf,G/0)G4 ΥwJ˝}e.JHsTiך44QMOkQf<]}\@]:Ueq>VW9Ar7^҄@(bɥ/$11&p1-:>DWm},Hf$4N8k=*sB7 Αzo_i̜|H3̸>Je+hon:@5ˀqQ{lEy?[[f[yN vP[UXEV1 "'@_=>jth R-,5gЄ6C$4#-EsPLijN|U =1{wRzx*x#%= "?="4רyRPpr=5Y5y+~C+Z3 -qSɗumrk2*a. VxhBԵ~b6GTnfb:IXz5;pqM^XcZyR f/CtkX #T0g Dݱk8rgK'vNm!=s# ^R.}ύw+])0e>!G(hZ8뵮C'MG8 H $ƞ7X3tT̷]<ȵC|lct՝jK _(#}B4u}?y^geBeѤ;*;7 $+R5 ~Ds)[w[0iim{ [G]GSrR%VW1YOjhM~P3|)#p@,d^!mfUR&F[<~445L7YE>&;`{֔]E+_UO(jYǐJ1$S`VK=i@OȱFf?&ڨqG&ȾurNLj9h{)kq6j.]4_lܛgڜFU;@tޥ헚CN}t9 GVTOM- CVtz4^>LǶJdO#6X5_#%c50޳ )4%Sk[IN^cFF'a@cVToB xq2 Ȼ𢤮lGB~x bD38:ra`GI;;G( i EES^Z\UZ8&0>5 C ][*|j̡SWUNz~evH6/jb4x]DZ@*W$;*BG juyzTa+O+%/Rstr:GPkqIƲhxP 8ѽo QZGYPY(NUe޳ o)>>IXC7@~lǁ59yyHiUHe \.fؘBibàm>iB|&JڶiNOP=iW$FmkbuE:W,,{(!^B_hW3rٌG"g {kJnFaZzc>*\acGXuO1Fi[z@P ADM}őe]|ʎ8IfgO Ŋz- 0:&Д>f,3xracK h-B}x, Օdm  {gJ^H+tC }V5,l )/oOq; g=YW`WHA@Ǿ/:1\u4=Zpz]$r&f},y)`Va';Xm'QZ}_H Y7i3`V.liV;H%qD>u>ⵤMP1Fhic(uvO 겋i{yhDZI]$^Aiu{>{hZxEW*աw%exNr7_y< Y*N^qʴlC1Km~|mls p;Vu 62N &5L.whxSd8p4 cg6%+ nu|a޺”ubZnG8Дz0ݧ=pMK]r vWi.jHÜJN5p u|PlP/Pv `03![e_Bi+DM^ `LivD;Y`+(gsT>6 GWnPDtЭCY4pqUO- Ytj@QrsuI):zpᬤ3OH tn#Wug!ê;eQj4|UpI2ĐO4@pX k $N ,F&23wІ\+C=5_=̛^>+ʯ7b¾? 1=(bPQ~ARy_ p3):G>>Ӭ~/5I"?Kt>Sǻ%)d[EvF?npS2XkX4aT#E0v7a#}t/+F:D΁0dEˆ:Y f^Yd鯉Zڀ~ "?[{ ;ڑ$\ ,d VikA ^}&{{Ṫ/{mw3G?Ynkca}A\[} iORZAb-&^|~ dߥĵ_`,tmCŰ:_-NxP)fD]0{և\4i̱֩ .Z9W7ynk@Bɿ]v$"W7c v:J=3bZ8L%m υ2/O7,ͤhL8r37m3_Dm!WLTntn$JVZ|C뤂1ht<<ʠ*; Va]W ~`2 -MQ5[hAQ+| QZ򍏦LLvƥڮ/۸ 3֒9?\Hg5r+13v;&{q࢛`|jf$gEWV wJ>W'QkgHR΃%uGx{e=D*G91QM SC'YZ\We\"Y4AYXeDKHu*}&yw奖^y+Oмj7f]tgQZe25.uw^gmGfzMw{WBJAIj= J{[.ErGܶGY p%.; ³h(fmWP}heH/:3$|PeZ7ts餝r}g6-?/pgO>4Pe- X2T@,r5NîDG60 );iؿɆs,s4l _՘8;(dݩf@.5RZ/P#}4h eҙC#y)`=שA(+J%@ܱRzz\}_L2<69ts2ƅw:%oc%mvFx'5H (fBrGN&KC.vF>enDZ2NPBXd*A߇sДqM['mrV`дQ ޝN4({O yDOيW&ؚEnnb9ښ<+)LzLlruk 9}+~W [KI{dBdZ{!e~wsm4 2JlQ$צniѰZa1 ^l嚁Zނ_$ 0H{|(0M.n|E{m$s`% ;(i`KkSH{62C wړ0;qC-صmJϙHv%-TBK7@$Mec gAY2riu`87 MO0wU^gy0!"?m- <"94Їh?餙I!mƴ8ݑZ!^FuY~ٴ?T L?ae o0yA|繳J˾!i O8B^xpݓ$!szhQlӹ: :-R|k|$} /MlqsZw9Q;m.Np Rs742٨rL]d{\KJ,7dEYdbx{ lG..َ׆4V^[!vmlzM-7m}ɘyV*98r*JmV9ba+=I$DqdԖW`|eq553l{ ^ȐM>9T^ÑI<(Vx;y AoHa_[3ԡjNV/tMb)GWp^+i!JNr2qJZî2H5q d ǡwopYvMna|(KD%<AO+^YD239X(o@s-=g6} }Ԉj tzBHD/_&XsE+ģLy >IC?~܂S$s{!50;"`1yn1vcxkK@ k=qM˥P-綁ݧoq:ŵ;b$^L9x 9&'bgn&qvcf`*MT-hUCuA T1e#QM" ›lrZd6gϐY(|SC3i2f~=4nfN&~սFϑ`ك6ӧt3US-o5c_d{#y>uXXzuIɽu5KuؕfUrDSM?\ ~ _ N=J(u5" :6mӐpZ=E*&ȣ?&Vt E0ڻD8Ր@ǧ{6A4b9&$U,NutxDzS5m6Rkx%9VF!)Q-x8m߿|t)N׌$_ޣ}25!TU,{ ?Ɲ-'7s"AC+ɳE:*9׳YweF0ߗ9Yq8|ǯr?qd̤{'FNcɲWR|ϟPg\@8g:AE_| 5 0ά"G_gD~WMn)QO:|O@ORՎx cdlI}V7qFٳ3p蛀xr1܇w"^T|6_H.)f)I15TgtnDȚfZ|ꆻo{$=eqexr48K]j 2]jscxeV0H,6.[VMs;M&=af-ɷqm7{UKwA}@Z,Npϵ#6CLߺ5%>0E"j4%a]Af><[èKƏB~1e8C'EhypP;q}c&|!V\*dxϹB/rCڹ(qrlK\.X RlkΘբ9"(mBMgJ8L|JM,\s)2sT+a^K% #{Ls6h5)Ǭ^$kTxqFM!"SS _k;gsvfYh2z-Zo[$[BsEZhDqgy'ua><ZywCqe /ňn D̓@UmۙgF$:uI8*Wwq83 Sk !O[Mˬzҁԥu% U>5%>8:^biIG Ў΄): zi\TղD#s6B,Y# y[=7☗CBA K믭 tIMp濐8-'eG#"Iؗ!T<|.KĕS>UQ nYp5q_9y{;MYWt\<,$g;W1ZMxBPl~IĸaÕ6]5Hzq1 &HBeA8}ZG_>L}p6abD9ui? hiτȡ\2I'X`QvTh|MU^FI&[6ndVՅ}=˕muZISJH68-yG_Ŭ"iG̱q pe@AV%Ѧi!^֊4ACvHV%06LE<DWjWa"潟3"3m3yܱ7g6rtIs`Z+hߢv*כ]E=!@IjЪIaa X2O5kA7V KoY`Qͺ̽Vjvэ~R@Ob5 0#X *xoӏ'O'~v=F##4Heܽ$4kX\I3X9QC;YO]zԓbN&V$zH=ע=Q`?oϥ ЧX0&uw1~Yn7jOX:bKyaiุh[0f^y;.2BjXEU1?cF_!sM!&~\9ib*-)Amx4mq4n$4;Gk^ :Ujyl B4i Mm9)nk3~,:%96,(p3UӘazG]P''C~1=)ev' eMt W_zSL>i|& J;5W{QYCkއMZܚTv+ȾGDۨtW& e g \eIr,8ĭhLy9fD44jv H>F"?Y'ȺVןt] 1);BGC( Nd.Y2 A}|ucJ?M rLMjUyWWa֬A$ pbe6(g޽%nˉA关) bYOBju%-Bkb r@g$TVe}1 !tamm0lIqDkըjߘ**p>ul ȌuiTfJM) `ZǗB@[DÇB"]' e6LN5{֝*eTMԈց69X͔: Unt u7j뇾HFLV'A^>Mx:-hK$? r3dQ'&tAt)/_M51} rApQK~sa]P/f  "{Ӭ"uZoAU}eKwG^[X#$VW'Yrطwnހ@'%)w{bž}1׸~˹/G`8y"H6+w)eP+z.:U_zKg>ix~bwiWs_o!)C΄ &lZ.O3x::C 2*uƖO3gg rPMrC?f 0K ,6M2Vo($ D;BB6I7NSbTDvyudKb᫯'<Ѷ^ W].cS$8ڑ-x´&`ni+de哻> 1x1$]t;v`&X^JkZ|4CtNj޺<*(߹WDf8@G iig=6ۤӍi/0,t}!yl z迎&j8x |Ѹy:ƕl6wg HAs&bEU~C6NnC]c=R2zYV,Tyypcq6$m s3?YX9lZ,g:%+PvM4eSx?SP aLε@[&L/hA ˅J]mV* g歯m{*N t`-s#%}mrR;fyztS_994uYt)x b`+ZA3+y:s&3/*It$չR2*8/+SnyG',ؑusdh1l3^VEM4>mF*r zbSщs&:ߘ:/J_t81BX@9E:!6V4I'ď:B^@wlk\I{, ∅&_W;0 b!;Il`#h9P礫 jւs>^nB"7ݺQun$a^VDJ8O3[% v,۱##.|U^N% Faɹ\ȗrފl=f"j?g.D8%Ot䛑.B ƞӴȼ G"ecg3F{{\@V$:on|# S9"u[E06C-aTZs*ωYћ"Yڞ5ߕGR|WL ol7OKa];scm&\BrMt[-FYb 4l~O hFH WP\L28lmNA-c`jɂN3͉'nx|Q~KmxGoblE=L'q!nu~N" qCXQG|}d,. ޼K^d?on- W Fj{n]›WݞrjKjtݬcoW\b0yd ȣ7c~-S[cd1AZEq.:$ y-.?lRi՝y1_n@ R=)dT&.1j-J̴%PUiyh*s '-;NNv-)D0/W)08؏3|}_! B1l`.Ʌխ.ַeiռ:ly٨s]Q&oH݈+KCr ޕ<4RC9<)ԇ?Ϻ݊X9<1_G,- UƲBPC6)wozݽ586L]9P HKKk3Sj˝pIaG͜]eblUO(Ϻ?{̅z߬֟e bR=\45h~9nZ2v9IjV]0ƜpXϡ^X -KsM~޷`" FdX% Eg`s2BY,5n$X2rl7\xhYzeA&EyCr WLܻ|hv~{2%aϚ4p26l%W5̗u,V)lNaZ>z 1ZHE uJ>vSYb t7r].ӿ :i lR4fBϒ\ ȼ&9-zo v5~nJRS *j١5wZj*q]?8-qF2a2q(0&F]ߨuq؊J׸?;u-S:1ײ-bqAKA78K̅3N2^Mk;*Fd$c#^Ʈ}7+yX':"p{)ĮF@g֡ճ?GlO^ U#a,^ jmk`f !FHok*4PbP۪D^ERKo5ztOWe `H̓t-һⷕO0aU:Z"_PӬs9cg*@u./my5$-OotdJg v]n ; 0f,1[ޙag(QB *Y6 }X{dݪX8(7;i}q(7>Yu" =poFMY8 Dϋ|kLdr/F̈GbWњKXH)ILmJu H_6ew$>iӜv-5zVM<"bY̻F;UNJ|H(_dD@=£Y<_z2 80 WeqkR(#ūeΙ{Of)Y7Sq nvO0=Vb;S !bDj"oF`eߧ&ᬎhOF0c(SDc,&>M r?iAr 0i ~Cߗ ft+/o`?ώG$`\44?U印7-um3d5XiKK|BԪ?J2rb¨7#ٝ:I~r,t}4e7(̾vPNme;:UsQiUTkXirMM"wŗSOȾs1yXl[l^ȷQe~"0[J*2$0ǻ"*q֌*G”?eP }=DS*t*fϬ*H| )x*TWJַg0>Z=jAIO|̲E=ŻN ve SVDViZ"5kC ЕZ#"|Rk.,8T $kJzRsYp GZx[O+Sê8B8 aρ裙]dy2DP$ jV#fBل %_eĹ|VzcZVOt!4),ՕE@ ?-Z13w a7qj]05gb -q]0bfQץ(܎4(<|, b |h> |O6OJB%ݨܐޝ(7`62Y|gN?{ZCnh8@Sfj-tˎڐآB;I͒13)-΅ Za?c"{ZuQ=3A_{*\O:aC(Rd䋲\lZ/ˉHq$5&O3JƧΑ]ɑh*}|Rr*j wA\vIa5`@UGǭ$6c_Do:ġ$j||6'gpҎ_? ˑyMlYlP> ~Ei X0ðR&ƳޫѧB|e)Jr@67mnfZo}9d58`D-KjpLp1/`~ m286CIkL"2S?5:9fH{?dA S?ҌlV{SD"2`+س/5 :ēT0 |p`WDJa{Gϱm߆agAykǭ=:>z`>oZd~%u tV"qv&5B-OCjqiMv1IJZ{DSfu 8w ACI .X--cנ=Pu@Fi*`[G[ju6_jʋg~Y{mY sy2Jfw?Ⱥq:<&W&X#Lӛ5mb'6##1{P?Vo%#DC1!s+藎x%G&['I.ff .QQU.^?<#iN$R`X[VxXJp RA 'j<9ջ/|Q/ܗ n[iɻ{1/*JU. 'U b=F-LzIi x:2|.p} #BqKz4[26;_  oZSf+-u͵h#Jnd;@ WSVj~)1HfD"AӔ} }VDLpBSMp_d +(& DSScR n5ˇ.gK7Zb׷f5E5m47,6׬AiGΩe`Q ܘk~uHȮ&j4]*; (>tB"C(-m+JFZ7hUdx~)$fkXhbV0*ŏǦ17.?8R> ,g'9 )t=h+avOnk>[U-UjӕZ8X1 $a~:UqɄoh׿˺T +5”:/ޚ BWBsCtu$ AHOtEJJ0xV]ͥqic/O_Vv.CT: >G\G#cz㣨c8yBrϒծgZ%x" :I`9fo6Q>= |BTez#PJoc 6raȌnHEckV[=Ztno; (.xs~{?\Jo泗!}BN`?^CLHB+:b&С-ȧ07Yfdӕ_غ{;ǩ,Q_%M%q @)~A H_AE`F`avf:bߠϤç~/xM6 rWN],qbZ)Xh#7nDkC` le'S ܞ2!Yfc@S׊!7SP% !z=faӒCB9Z%7<,F\^<-cNKƸZk`xCtǓĸFHBWKK)C@!AaT v PXHx8W+ɤ;Z=n믓T_f(Ti|P Z2dXwI,EbnjB)+\[t )ώj %M̂PfzP K1e,`:s2G+7*X}Aج.Cx8iQ\@3CRe>g:zXRhk)|jv:Jߨhz2s>D!QK3Dn=Ŷ>Z^Z/0`'ݰ{J((nI=,A!g綹d%6"M(S,p4Ke[Vp!yHm#6 w/b`ڀ{o!1`},Nx`!4[J,gEz@0E3LIYֿ2lkWsN6s-S/8#ݡYQC̀" !J֗[PS%fr r y!Wfعa_*>bwmE"5+amdzCK7&8˹Q; lHfYmgaʠע.׫eil,8 s=h>Ca*!  h?ϴXM 953KnR57ɦ>@dl7Sߺ[V"q>pfMߙ[\j& ~iՙ?B.nG#RF&2?_ ^}EZ RT P1d uU\2sOGK+\M%)[5^1!9TҞA=uz&\7@Zd|$_JgM=!mZh^hNu,;<٬O t:cFPw,У'G+r— 5@N"E`σ6YPgHfQ͡Iэoڐ&nvlEV3cN?Ee8fkfүFi#/fU$MJu nVwr͙;~)/ E:3Q"v xHQCO]7jԗ2fDuZӝ(J?]po,aC(՛6 ܖRͥ,CTѝ!%|trr庮a0kHa5ZOX 9&fBB>C.̸ H^!+6)JU1uIP 醦ktB ?ƗaEx@{-P>|#iNO:9~Fl;IQ+' :$\p*۩\5H zkwfqV,J>N?o.6exBꭱG-2`>&+ƀ'kW+8yxxiML uRIr@6,!9) Rz7s3,m3u7HZS{U,-\"Yǀ&NaY7 SPAFuZy:zJ,ߞ1@6;Mb<OBmG8(X';8T og)N'Wz_W,fqc⥘glY%>tu=~ Yh #E*S)M 4:~@݁}dL"]0w'j(nI2P-x܀tѝjy)2]!+rN8{K*g]_SvтR8 *xjR@L=q sR԰MLQT;.ek;ԇ/ٰ|zUY{A,n :$ꝇ]ԑoouYwJӦ/d6vhʉ֌4F:_A}-'y?^61M^4%A݄;1%>F P2 ϤS\psb i5oO{;#4]~ȧGxhvp:E}g&$RͶQ]vK¾\,-+ Ej_Vϗ6hUozQ`~@J ~yϱhO=56 dQ0ا}[i|fڑoP1e8q16FVVG-EDF$RVҎW<dpDJn1ATbfrņa3ݔa+]+Ւ[9Q䂓bį  r]JZH)8>3ř&8ZFlN!8 7+W,,Odv9'#9hb۪ ";I5⣖HejUs4j{X5"FiY<#abSLj4/;i$8Th= Iyn0ѯ%h')8"\*^`"hÃvk34/'Fד%Q7`z?;&3"!$v 5QpU4]wHaeKƟzi#ha2KƞSWs˯dx%0ܹ<7wŨQ ͛Q ȾKKQI'Tz/kV|+:u̦Zy1y|j`rӥOO2btgM;w;؇="Y[g8ڻdQM66``Wr5t#_ h @G8_}~fZBvp4&ǼtjZ0kǦT}TJSSR7+&gubx*1C6 yQʦO[GH(??|.,5KdCܭjJM5 i>:.ȏ*"YFv,_e2 h3I6y%jI6$p0G|i0Tfeς4*f-u!`gBLZ>!o 㪂. "1)6?oѥXw úoʍ߁s+:b_2l hF 8ߗwI/3!DX24MI\8|CU#pē1M'GPU>9Ssr{9PF (o?=p[,_?@b^,6 h sH_E~U=XěpN0RlYYb7"'BfCQo\k//wH#CK!P\PQ 2sJG; K߻2{beX$ 1\$^Xɪi6]=b2ߔRt2V>uR_uƣ-r|b*"L\݅SDҖ/,g^bJ㗗.޼M/sKZH'df*J:HtG8S)o_M/j2vÈHch,9 [SM4,Deq~9*E^U߬?"?ReP(%%H2AZ1qRMOޯ٢8+sw+I 78YYRf]zRPpY}f]De;<:x?T&$AM7qZ=ڞ?QfM~=$x$y5'O[=PF|2ͅ{gߓ)a~ fA纉nίsLC:AGv2=o1㗭L ~"`u1^8y5+$]!33j O|b$L.mA;gb )WVcSwt:FVCѨ{-m}O͆? 6ӂk4K6sMfؓQnOLի [~G!x hA\\ E0 nQjhgYZ3fcc8147b48044bb1fd80782b67e472962e95b23 597f3b6a7efdce9f7c92879997bd5b2a2db90f51 695f63d42d97b846d200506d1e7ec0451b257736 6c41e1309b855cab18da5234be952d7d09f06ea8 ddcacc19d21c53eb4e40cb2c583d232c777e91bf fa67b0bdc9b3db879d46400e77afd6fd5343935d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 f0a32522ccd17ce04d0da7b2037cbec31cb1df9f