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  -D ]S MonoidalCategory:threads=4elapsed=352.192cpu=877.344gc=63.248factor=2.497zXZִF! m]ŗXf[&MoRy x()D#3_Eܰi>L$eޙUVIF wۖ( ebl֭6\hsfdYhSQAO)ٰw,SY59ReXI5j\՘qc"K&u3R0&ËƬ7JD?TMf%Rٓ5mJ+Mg!'%m Dfv,` 6/sn{0N3Q@Eh\Mkp/9w%5O=@ >H\tLw1H{f{ 5Qd k# qk#B/wTlz8vȆb9|FgNc>@fӜDҹ@RaH-%Wv ="K?.> @Ԕ4/؋ҺJe7l}Q utt(Pȗ*d.p(cc1TL>Uh|?O7cv-PǍ=h 8CLmQVDٔ:߶XW5 oQhav7 x.aң)j!Y3ŨPXxﵵC_}?OO, (l,fZ PI=T0,o ;KokM >Y{/ťJ4F$,C@Yy 2kOB[w2_r@ P>ʓ1b`أ@^ ή+N_u=H᠔RdAtd/1M@u `8 㟿-7rhvZo9i:O" [MMnr?˂!;TJu]ڝYEqըҗ',]N+Z|VoNc,Zk9L+K(""x籭R )8dC18÷=S }7۹g G"kC _ɊAg1R9<`l23~zxyjXsz" ;s0QF$uJbEKTR?[eyojp k9nu~S$|F[lOՌGڜə-/MUyǷ|DomJl']MŸpQlNS0>5PgM^t!S@yƓ2@JkM `+a3! e3=Vv0 {H|ٍ7T1M߻60)J.cf jY - MonoidalCategory  88î<;袌UЎT Xi>X˘ ];Eb*o "ʮuǙc%ͬ4зؕ&߯җ`f 8| н|b%俬FltZ`z?n!tB#WeFPBSs3QA٢P͎e/Q]IUL`BzZyFmF4珑l܃GY$pFr%w3yXV+͹e\{tArRsԒD _ 85-2$%u#>:ig;cW? pRhm9pKwEqڑ]Zf/\wx~t`!I3>hƾJ7rS4URwKm,*5[ʊ#ael!NJIZXocP<1vGB<*_W<LhNNrte[`lBxs?HXTro Ԡ>wh 5~(\UJ%Tk>zhGyn_L >.lLo)!K;t!kD*{ԨM*[zHMv'0g9HwǿVh]< `8vo ,[o<}%598ew֞UVU(c<&N̏? 2RƮԵ9> qŬ%QXfkE )K8oei89x b:.]=%2^y"5\(F3rL4¥Aic٨qsghP.W\ ߾dҏToMڲC0`:ߙOU3G ȹSTn9ox^SZ80&n Cx 0wԑ2UܡH/ GfzZP X;=gd.Am 9o2$ LK׆އWz>G/UY9D $80^iH4#f1n|u0Ӻ n K 0[@# ]?vu^IEwh| Zd %03-ۣCӍvc*RsE05Ù@57wМT]'EF>KZ< |R`5_vxT޸%ef?n}olsYK4>&F0QY+h>}koBgWN|C%"ZZHe(iϩNt|{,V&q~Ɗ53cJk;u7ẅK/]y#ۿ0KKcur<'!(Ȇ:PJr|ѓ(rz?-빤ݣXRݥ & q?KcE9MɸI_= a]x?IU"tSZç,4E<1:T\lvZʌ蝵$6H)S"F(*szAjW$i\ٺe ($3:.E'駊,=B/3"-cCzL:LW,}}zNu5h;Z"܏5[(Hw ?mR33bw}%sp'")K+~!Mƈ崣Jv5֧irVݣ`r C/La׬p Ygש"l8k/]P+ ΩHL҂dp.Qq +(޼ 82GAߗROc,$:"`4|nw!_xrôddyATWImXû+4R^I0O<3˓?[ciwRԹ_3}$c7>&?lK+\kO_¼ɥXڐj Cw)7e7Nw)-sAN K# 0Pf_whk/μ/T62͓=^tgξkt$bW4y; 1EWO}{ؓ4_#x>)5PK^/3̾ U-v?L&c|*-RUi$ah:RRI4 b Clv8/󍓘OZ}nH*2jQe=Va=|7D=d4Gt1Z ^;Xv8V/>YR3ɜ `7lLo*{e9v-<O jQ~&=d6Hߟ0d N{uOJƏQN t&HZ~SfY>_p8c v|_H QWC_\G"#~C!54XǷ&3K$gIS9FW4| X|A1I  54Us"7b]YZQi~Irguj<+Mֽ84\#d b *}5X) Jzʮ[}pp}Iqiao,|tӶ+9,8rTR'N::u[К48B߅KT@XחO`_b=cgmJ>k>|st6A>1T8ȳ\NwDM5g*}ֲT+=xZ[.A-O:%h|gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:~iμj,;d-]UoqH^IMu>euxfIq ?T8m/$/UP2p/ݬ{ olq{3:-^VzX_|±gYZ7zXZִF! 秤`]ŗXi%L /J"T [oX"r!CQwKd8a#܏N) cr:N禘K_Y{N3򡰯5CFd6}E [t4tky"5\Kg2>@LoDf&l1.8Yƹ?N02b&A!To,g{"E J.si}H3BaK%o/!N +&M &<JEIЖܜlV}#;Q4$փ4eX>x'/ydȘK XZ8PE᧘AŀU+]pΆq"L) EY-v$l`[x"(^Ogy3ڰ5-UR{9TؕkjB24kҔ岢{^D \.MynJ0وe'$13ڊЪa"BS&w\hY9b?)q }9d_}%T&'b<68!'.U%>N ceeXֺ"K 8|ǝ*)5=$^ld?]KP #ii{/lJ/Z几'2}NrRXWEO1:}n:a9@V-L^}v=#?U#L0jQGWCtly݈F+ܡ2Hا >+K )D7لkN3[nv7~E4r+X[*u[Kpg> lٯ4~Ha!"gTjڦ/U2¢]/Fݹʞ1JsTߧ;Ś`Wh!HH)]`f*^LFSgy\ ;;Jwj9/3nѵe,D<:ӷ{reLYNM%#ѕMILU,`*^%m<u_cYY4 =a|EXڝG\4o>bI"{Qf@dolqh ΥuWҖkmcYQ4¼N,(& '5AmdgNi; / _-}+젃\Hz/G,^gEjS,-o`7/zSLUaЙ$«iVKMRu9x]c9di63 _v)6'5K"8.D=˄T=>+G]d(C).PJ)1mD|b%'MBy,@ii1pt'hn``X;_ >ax:ݛ;'20׽k ~3D|-Hn7#Pެt(b &"R tlj0)$~_Z'4_Ijob8n^,|ͫzI4/sǿݍe] fʉOdc-1Oݙ4{ ĐuA7wɌbɅ|WsxAeTeOu~0)K[pX]F\ kq^q2k.%E~˅)J8CDuJfIΔ>}xüFUOj`[00 8(3<!sfe8m(GQd{^GcJFa`,RDYvJi.{L`8jU+2rp-d|r';N'4m`?=O\s Z5tDهJ1^XT6(LδJ:{U !^3z!s,]oZbyV{brp*-,)ϳX;U}6øzͣQb4S;dUE∕$w{pkĥ%tߵUߙ/†Y JJ،}> dR y6$Ydۉ{Й!-F-йZ`$Yש}_5PCb6۫W%UeRaөL7[pJڎ Z㵳AJ+|aj (<;d6ZZ|,xJgXL % oRտ+F:.}Hs 6!4^&ſuaBu5&d̕o i˜a(䮬9|ݖ^l.=8L,ɸLY;@RLgk%E:KPH*f<2&y,Yu~ݒYv`8Wt1bU,q?jgT4i/]cWnͩ2kex*,Xb B܇s{]h uV >k#8hT"H"PALLm_ ;st|~ ߢaKmRs3J ]z#e>49 WGX "w,%jæ;{gVia*l8!JDo @(HO#<i3l&?s!L80f|cmPU4:hsfR\yw\x[8"vT ԩbU-ZP71ީ'~r Ώe@҉Eުf4o 7S09%)է5V %9lTbDx[g*@7PD́R:GQXX128sb sV0(Gp1Xⵂ~Hԥlr#C.F< B(d~Sc1A. Ο-)GLX2,!{جl wi<i 7K~D!^K-x\x޷tS&;8w(>`6AY)YZxW7]wѡ w9n-闗SHxUWKll~|!L BYxk2`pTaDl)v ??hNSˊ\}fqk{HzCbl<L:pJf+K8 =c{ě-UA䑮k{k^vH5oyp8@-/2sІVOl,h~1-5NY.]if%%rSgYǦ6Y;i/4XzWٹFsю~+Y[DLq[ ['Oew:T3T2"Fr}LMG|>aH3h,(>3>f{U+>„W$L伹l#HӥR!.ܿ:®ϲrV vhBąގ6'˝F ЀpfRE,)kgbTQZ {{O 6V/Pk#| qxoQ?s0vz'26툘yvV8׵(=+C\5_ЎE:A2PϗB7,w\e#Za+P1+0fmܝVtݣΪ EF¨sgSb[troM;$Cհ"OiLy}J\%:~똶J4#b*;s,yCϐi O#<;V'TsjIYfgjZ!J1d(QH)cɊ_OtO ۉ98jM32:Q==;]6Cz1f1QLq4nPp@d='Տ)0*;ض {_ŀL6`J{wNXh\bdE%0O^^+f@%5jYH  lPpm@I0l)wvCWORY|ˆhB`= *oL\nP D: /9٨q$:-"=p{mR_0>iy T kO@< Z/KHqfv717h& Nb?[4J0wķ&q̦TȐ6cᶿ6Hs{t{㭩̄g~74v5=ܶjxd&0ԦP; MєWQsg"ܴvÿrhIlFUSZK ?LytnS^K/"O!#^7e#pfSo7_Q'D}kcfTf_r^k0B""5VL'XKT륁m8O䍂V8!4G`p< ,5_8 Ӕo-FGw9j/E"xWu.b<`t?_)`^m%.Nҋ/(YU`cO;/AL;+x}iIΪIO R# դ V\𼿤p}ClAB*XIsY +&y?V).Jq#kYn'vU-3UC7CćKT?24bNI"rt@j$,c ɓ&3bۏ7h]=֊P[%CRݦbWQ`BӾNXVb{:-UtR̳8sFjK8G Qwhu#a6Mn1WD'QA `EYPL^WlAd/D֪1 O7Cp7f̠]kRH:lyn`T-Jh3@Z_i9ݓ8[lL ͥ78G%ڋ=1}絽H  yU=#GgtA}ݶd* QZ*\pKZtr0.H /<*]-+8C@WU=zf 'G 6 6)_cj?hx<_Ҟ:ccp6 9jȞ8|"ӏ ڪXB5):W:_^lߒu3#xТpթt{$m'A6 .Yub"k"̂i/(Jń(\'~~/תզ\]Z˄y*py-V 0^ c-ޟ8g=:\ cHo)w=:199 vx"jcE_,k`*4|:! % !^(#}*:MUwt9cS_3@|V%0oaQYkbm;4m) N7FW 5bRѸpUŲkζr*,fZ̪6gZH=_#!lGZ44oæp"URn&dBI;hiK撴.d}xIh #hiSB*O]> U ''ߦg1׻N(rˬ}3 -q /xdrtlL~}ȩ 0%d1yj36`!^\{kgR! AJσ@1y;V´?|YvG׃?FkR8mZ!=ȌCkκo&v8aT l! z=[;h9ӽdFWs*cFwA$tUxaL>UI[??<*av09]V^ҭԕNj:"/ Edݪ]>q}Ej3>7B-%r],~+̰StLtdB`+wQ #8jhiEe^&{ ^~\p\$ۀ"cbIM{g._34)_]ZH溹ׂlN<̩i;,w@Z@[ժEgcEؙspB}I ;?&{mZ# yIo+w@ym?٠$@B >WcOf٧2&^9O!xvm|z ApͺRXxH53LmjE/;PsDߠەœ2&". TJhD9T]N߮nC1Θ:C{Yס's1 , fMEj5״ek^ygl0AB&u{(xf\@D90R`u)ʫuZao(t,&yT3kDbZVIUaXiC.=aFiA[̯ԅ@և67>\"Kl,y#?Tx;?+Q["EV#+fGMb|"m-~d ޸:IMwqZӃwHnVOMXh8q8rzƙ.Acf<-9jH7~4q: -6Ȯ>"! ybjb,O n˾Ep3Pql Cj3GI֥=tsƽ{:3s3 1$.& ~qeEBϳ^/" D9y#!dzE>G=NXBq$8"-LӞ}/K :Wr^QasZ䑥#XihK"Gl ,%0v]qIiX11hb3|S>(He9Ed3}Pٿsm)o\[^K0pˋ[Z_ :5 -3|,4 M {!a*`b"ĜszP{SԤQ\x@h v)qn;f7gUTgu8ts!Nt 8%f e `Y7(&[A6-NT6[le!.},B$q=&Xd؂WeB2U1Ì5}*F; Z5_%Zvu!Q'nfK/>'bhhX.AxlQ}D38Bg-eZR4Z_>6OMV$\-`ڏd+핉pљ=R>.1DO!1]Ь$]TOEmM5ܣOɺ65^FYJɐE?׮"qq2z 7*TH1lo wu۠+EDm<11^*4}M8]ldO m|gH' b JcF^GR {3rsoCDxRW@*s)ޑ&@( A>kB|lA§V!w/p n@Ynl&Yf] Cm#y5#P.! xza_o>2LM 76Xx;' hO p2Fy$J˦o=#LAR f<uSϔ /иKFy˘ ^HSJa2i YQ(x>]q#Yb r*wk+Ac,^jepx9,֔V'it[ľ!0& 8AS?.(cEeQ\d$f,u3o* Gp;BvM!p30N7yR ЏGnQҍL[Q8)ǓBK`淣{ G>3K#{A%OvdehʫUm9d0LptYgSc|}ƛGHȄ{E#qDSf¿5l>.@|T0Z2qĜ do*gJɨ<^r䋀K~00I/§&Q,Ų|etZjc#S e\ [cft4830Mhnt9 r.P y}Y#%{uno*ї} ~R K/JǓ<+ԯ̬#XqЯEFPgύ9xZ-IfQbe6.32!'p$N7380=Ž+k~ [63K#VـR LuTm_ŊvF` 듘", L,Y,!AYJzLl҃ m X~XLൖ@ "Ty n<DIk,STt RB>0Gs;aFL~N̸ (EK3;(kkE1ʌ}eE^Y#EʫK>{E_)%#<go1sjϾ`gݔ"Zp5Q_|4ӘpZ…K8 R&::'fhI<+dbY0{9o9HsǪ&_b~0č|VNɻ=]RUȹGc/geP֫;֟DI./T]ķv|y*!u<5oUS`jzBGb ni1? )v]t(oKMv;y:&=q7,*%?p'+Tٜ7%IA6,yc3\Ts(%lr1-uWi>ǭoNں[#zw2wDxkMJ_^џwk\{FU~tugN#Eh_xr/@7CW:U~giVb)䞭D_rGShNh%b"^|nS}zmH;SQҗ] 8hk9]R>\@ "U յ=qU EySN(Yl*x\iY l#ٔ`gO/`蓛'1iXЧ BRS+uTb}ovDQu)?Cr-4$-OM=fxY `_b /^kb"I_ the6;jiqnMب/;+>P!658C%rK!DGiq 0-CB6/8\=%jV@":\WDV9LSdM eȘ MfvKﻍPt`s^ Ҝ#Zngd*!=@pJܽ\ZA}ײwv{`#ugzcneRl͡6|^ܥ:8tz[ K7{8Ϫt_pXuS~$9bq8ӹz0-2*!+KI$&)8 B#tVKj5(Wg$#HyH #&F0Vv6YH*qC1ow &*3s {> kD(6ZQQShm!)ضjS*uZ؏\Щ(iQ7[LKgpU)a3!Mk6oe*RM"664HnsCspI 'MBN$4ugΑmzE+3xr)kᲮ9 >y}] %vS|QA7k#>"<^q(^I:` Ҳ V2R8$Ϳ^'H#ZŢg>ük9j o&AH3k`A6^-;_h !"a 1^ͧIn !`WrnNf  bt I+-n(tp+a3'V uh8dNi47d2Xܥ%Y\b)c8n zy&AoAĩ d:o;O&PۤW"(w/inބ?+20&0bջrSa0ZZWxƾ^2!ˊᮀcq+Ľ"wbo#̱BOqC_yxwirCJ`JƜе&oHF[$p:`(n^C@?!+ ;'XJH C际ퟖr 10X^Vݯ$NEҟ3]@U%qLq@F (tYVTO3 HMIx4ŕ0VSUN8@Vʰ)܇\럎Y}}'p&QE3o|YOQ 70@PЅYs( ,c`h SP D@ Ik!.S׎;?s~3;%Y #E1`6*bjю+ckO6'ܒz^6$ieeP7{xX m]x%2 7 zaw''jz7&ls $N3h(\ I:q@2PHPڪkRo$&%s-e*"A9.3:@s쾈`&@_g] #4 ď?Xԁ܆VT{Rp)`/Aخ[:)T\6̊17Zu桖aa1a^*iɘ*.ވw;7%jDЉ3̹?%ðJ0gQE|1J)+Mcef Gfaؔ|D 8a]z]6T Ix *euz$՟V5 VcBƹTnHXWhoHœRj& J#O%sB TS X>cz"ⵟPLeZ5Sdj ^j/&HAl _ɭBh k2fiwiA'}h#"'*k25>*X>]&=Gڜ}Mmz l?|x-ȳd j5MxX.@8b\.ޗQY'EY##9T.K3>>Y xD2RS@c;wwᑤN~ k!'7}So&so{=Hxa8 5ar$繪Wr)MD q_fx,㌗a{~ĉJ9SFjQ9 Oj^Qe D'F9fUlts!^GUUKBjUtԖ=LBZQ5uZ=!QF+8C`rt*~nm&?Iub >'х-#l}q"R2HjQE7in>4~WFpf #'(hH/FC >9IPQFqzMYf`*b_iy;LތcEd_kCN)}%_W AnsDY@wnޡ~}|kEE"{"؇9ihCgʘ8.xR+i)qMogm"4۰fWy¤2Tjt-m<{ʹ!d>Q'MAl&}v6Mr|_Y*H >XtwMl`nb&;l{My mf3l>Ǹ3>#EDw5¢^LqJ<@cL9iPJuv6R6O3~*" O0oį vӞO\ 4nuٜ|8oӂlȰ EXHP)IhJ_VޤH5f ;)C|( 8ͻxRm6)yCMDW| aTu7:M֞SpCd! &k.`?(]yCLZ-;+Soj5gpq S1"~EZ}YWx1re) ˚b%J!A4G +'COzvɐy3m4?qzRjhO]MYAk]Ek!M3 \>d`1T[K6g7ʐnͽ.kNord8\;0#OPa\q@ /gx!r kZLEG7Pۑ.r-r^зch/h54DRպވI|>/‡oPc/MFBsA;I%@@W {0F`JkRMQEy܎tWqwN7nMQe\]+'jTs|FıB>DYlML9LQ;$^Zj$'=%1!- QcWh7!.؎Z)qbk[22Wu vgђԭ,B Xi%vh)JT"OńLFP̲tsuQ|<e[Y~Դ4e@*lhD2B Ӌ##8WM xݰ<.TRMrv2җ0~] b\\EOo6[ MA;*> Jʬ\OMⰧr ɈzӂngDup˯NJr̊)ޭT&̉Nr ˶)8ㄤ7}<f8A%!L6Kemi&#T]9~A d ?] Q^E_Mnp+aXy"$%ybB7b)(^Ȭ~ER@ U[h lT2$s9,iw|Z{L6L` :4 sGՕmlZsV;e6c0= TpHvΤOpZ(93ҏҭT yf\7kM=bK=}}ay*\ FL /ZGLgŞ;fY\SuxCCkjMX h+*xēG9wT1,wx+E9pu# m(5ȱ!čl5s l 8* qw~Dր[>c}  =CP&„ ,F * 1A]pmesSMDQR=N(7o޾#:af_|a_ ):Wjˡ;+G'} /]8͝y )_t@l v2\C6CP>_tuPRrBnj$ݺ\Rk`%Jj^Bq,Fߥ;J_o˜:qݙ~ $c3y $Aj27j5H6fU ңa1YK=#9k (cm7l6e0F 6 -teSZ$+ZҒq-z+yfCZS_Ќ{kN)cKTU\>VIlQ0`>HԠ/rn՜|-V'n3&\w޳ W2Txgƴ:V^٘>T YiNW[JS|e\ eJ(䃪,%]9ȦDD/" =Zdl I/ҷL~O[.:6{0D"r9S7AD9  E&\f`A'VޱqrKt CfBoq nbQN@0䧱Pj^813[亮8A͸ Db;R2_,/)v<~!:Rq+)@̣T(K6 bgFzg;39D=Q?UilЎQJ&mbll*)ApH1-X|;ݼl.犺-5[\WGn4B?9JԾg$27ijqɐ29q0DxIFşaBWH5 GQs:nMG8nE+[zՇBK4VW:}= #^Vu8 3' -IJ3ckMj8;uY4\d=Wr"iqAXу~! e>Ѻ \QnB9>=<;(5wࡇ'G$'u?jJ@ye!dوT2Ł B|jʮxm0i2)h c a 2%Iv[ 3?H9?;{5wHk- Dp#o탔*@wFoD꒢K[(cLU5|FU h[@E4mE:_oA\%I!Wbʮ ܉Dݝ;)?kts0`)[F Klzlt~ZֺS@f;@"VpD&U k'1;pcDu,3 E0Ĝ^^\2"C(DXda)SĽ W&̢X+%)"6ORrs lhNƒnMk!t8?;;pH _@KXrT[={ ~qm7[i!?-ᄌz%G#ΫE ̡-V,dWΦV͸w;?͡ n 73b][U;|sBI> ˸NIx[١Ї߿=Dzpx]R}v" i h?i*6/VR{?Y%4Xt9&>v/t4='ˋve =;1V9=)HVc]˨0y4͌,`c0 FwDiWBPL!rBs >>6w%Q5_\}s 9㈅DU^pj3H֫k{]>92!]3[Mk)7`.ao17Zx4͸)dC$uݚ]ܪߌ 眅?gC5U n 3 Wƪ(20Mx8Lxr0;K|p,fE۵NMƀmHSc@_M2sTA[ZPr,P7Ub Ee îxi8.Q9_djcRu჻g⥜* B61$5T$Rn{T-z֌crMΏT]7{. uY<"m+*y9D$T,2 Vw34/PC dZhaO@\PO?@)bS~!Or2( r¦]h O櫠'-zd#+F`pFWaѲC٣ /ZZALZlhgMuDL)rPcnW8fXZnu2)4/ХxV47E}}/^G#X.0܍RC#TژG44(-N{&qYin֐sm^)3? p7\K]vj PsLJ=9E?}5wiYu:lA_c T*=6C+qJ3fJ~ eHPeYjMd^wb;nÁYRfr= !sdN \aЅHFO IegeD2~g0IBrCJ]-(nJ}aM|Q[FJY7y ;*";_ P\A/9(`btgr)!5Pl0O{%jjunpAr)d]Q[!-{<Knj7,Ks0=!ɼVbE~9[u-3E![g QBj$ |43#WE`I&Duo6^H.V*|/~^,: yF@'cJ 3`(7' $U&ն[&4Oq3aHA_*_ȋ|+u.sƪ3ٵ-gIܣ?tV4cýs4$n?gct-Hlj,Q7xW~ͩ;8Wx[@!cOV#אn&׵WNNG\\V?ɐ&Ҽ0jٗ-ΌK]M3(=*:!k9;&6tTR"5RIPɈ7uPhvľY3T{,<^)tرD;WInSN =E2DْBT]FugM] $j ^R5/ k@?P3q3\rutP\_l2T8J ?s du2sW;P;0](:zat[w^`v>.f́,NҨ/ Ru sO%z1j.Z2WOk\ͧcL 5Ǯ1!l铐A60f_izV2t -݈6y/lԃ9Bٽ\·vUo+F`IO^3SQXQ?UDסjؕVd"OEy-I6c1N>aʹQ0dj:<cXAzD_?j|đD(GG}*]%Ip|Ӆ0Z`Ȧ `ֻ}[U t#@geqh `jj͜W;jEVPkx4TpMxzduJ׽{lԎ௃1zGpuhs̈r6Ӟg|Ѽ"Ւ_P`W|LqةxPTA"c*])5!Q$IuCRqar`Ją3hfQ}}%+=K"k٬Tx +Af*-=4gf#^KN{i^y7rt_>Y(my, + (@>ֵ[b3O֐4U/ZtoL -uZ~mnFh"W:3߽˲W NodYŃu"_HEm4|>Lz/\LG[Sq"Qk>v0<@FA(Oj=6rnEojD$5z:3U>6J]̋HMwē \rbxdvOz#WXFMJV O77񲐚OfYey=fи7|[(+D("(uʠbQce\(0 ivx_q6R-Nap H5HfqGO 9O8^+L)(إز(_ˑ.(&dϢq[ԃ^:(bș~1b6L#9=6hOA({6,Οav6vx7jA8}*sP4ΦjJOLȷ9U0Ì̷QB9nX?  Utt sPUxp Rt͆nkk]ui(F!9Ouhw0s~2( IvH^OE \&H֘!"WBz\W|-m$2+^>I/<#c_胷:Î6L)͊k ~L$5=HJ\Cc3hgYZ68d11c9428895488bcf26bc0b289a27bafdd2077d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b 5ce064b29fdc3446727dc2c8fe4d2fcdfc04b315