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 -$ ]S MonoidalCategory:threads=2elapsed=493.677cpu=854.708gc=70.208factor=1.737zXZִF! W]ŗXf[&MoRy x()DG^?Q =5$|7RI TȃOfH 3ܾ/#}'Ct~;U2tqZWO2rdMkq J^P`"{Sq*yI`4IäU{G|D}PDC$}lmѯyrDW}m C(hG?fɷ^i ~PBJP3ȇ=Q?}fV sr:uSf(7o%;LMҊ/c <m.Nμ5Wu'QxleUoEC@Ơ!hkSTLݗD)WTE,tayd!4YX1 a؝J+-{5v%سtA6_`ȱ8}Ðp?ibdHkR\ @5Uo<5@j!i |92LjQ-zIӭgr#%溾WۢCG%޽-غ^@^H?CꤊfzUMH* )yïQ y3JBDڀ1/@O G 򆌺er< 6kV "^TsUpTφV,J fKK($k#w33%cDe ig@\7-ҍy.jCD6UnҖݚ5:\TMi*ª)^q鹉ɰ['T%8Qmq@uVs p5^%9øs0+F"k W\8"~v1pp37x1c<,V L׌eNTKP 5QGݒlT #܃~bSsE+]kZ_C - MonoidalCategory  ck'n%dzbRBCJeKNQH=#?չq]+PߖWo(Y(+WcJ}cNg[10cXʂ,b;~5|3lZu ڜDy ([zsوpnKISx)F.*L{ߥ.AfscH)]&98^1VqྃxyH=<˙tҼgqвh:89XFphV?d2emF_"ۋʣW Q!îʆע!T0m$}!,9!a<pFLPp+"U" sc65~^=4hÉCe31;}F̬׿G'}H-Dq}*.޻6$;?+4#+D 8qj ㏎cA=tQUؔ>,A;Gkh0Ы2gե-nUlfݮI_&lZ'*G%jTLdz~qB3fr_VN6׵0Wb2^p,[:R2CR Iޛԡ AjK0s], sş^b*0s_Dma K&7:n׭JksP?P։M :;\1wjCAsEj r C< gLxTSpwTa͢9pnee?͕wS&eaB(C82R4/ ȷVt@"|t vyi7`b7岾k3z[*|_9eP8TH.z0L)- ԓ{nܽK)j:7akePtVF`IJiZb_qkwm :Wbu]ָyavGbhK\8Iަ߮pg2Th]qo"w^%M"_Lu{~5,!#,i.czsͿ! _}MԢ;> D,d`amV-] Nb900U@$ Lñ#D}ہnH( Vj7sJ7Q L;GUD%bc, 1$\&.L3;{z&+ؒ#I>e_m?9Ӌ=MpVq\~Gp"4QXr ](@r2ɲژ4c~?~mő3 W#|"轵|hi>P?A} d^ ))x{^pm"qijbWsw1$U6;^YD}o2''m#b-̂ > >G U'[3"tDpPfklg;>"pJ;D0,NJ)C6u(cVz)wi/d1ZCfl˸C#$/o1Ű>_Ǫ_laL^Q܂ [͏A5؀\ kD>[[> -켣4A{^GCIHu,QREyPBAyKC>k :,0Lj~9p 4,& Y/!ղohѷHg:¤6!W!T6l%θ+SN#)HbQtOۆyVC 5EC14sw(Ocӌ ץK\-k{pfu\*_TGTd;m>up"3,a^D}c~6K+g ut㭔[?VJ LD@uk|#=gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:¶|wËnx+ qg/Vg{0_p :dbEEgVw9=Z z VPO,d4kl@2r1]{v,7nM",(c^-2g6o63[FvsX3pʳ?p+DA7k:}ܜn:@Ds"k UKExmNq𤁛rk/mrN뫀 7nۛqUezn+@Ӵs[… t|iV4*_8h5/z xN1/xbWGghԅ =)LJPE6!!0;'` =+ոݳ.iVd3*";9xIkW~)f$xqx_c<г͛v +bakŇlr=`xL:OI [`#9Q6 :S] 4e}&ZiKTLB|ΰt! 18ף}zg? V.A43<4(`EwM1H &weMO8קC/ $sGB:l&枰ΏH6jU]dt<-ʼn-#`zvhV!Qm<TcB Y.a/{lVy}1u}frOLÐIUM ۷1̏](ʹS%\'hyO"]x}RmVoXP \Ca%w;J&6 &ǷPך[y6J|$/ nVȐJyN؃yuFzmWv(9e8RW[/N2Q BL;dƐ|-.U q y]#> Hb\qx\֩}Rc11I<ΝwSfLsC&&9EhgQ'u%zTM3>t3p.l[GLN "3U68]:iE׏!d=Rς[a2V)h]=.+Ǖ,6R}$9]}I `GD?YX=2Ÿ&a3DWM˔3)ϮvYQ" s b7f 4e%vRY_]fgo/+[dĆl֎pr_&/p ?͆ϷC)\|ofӗ'L/& 5ag 2-x`~~:C'm8LN-TӀu8BO2l4!.Q< /!5k\N7UZCpBsY{LkReS00nOUU2 t%W`Fs #ZN壃_UfCLą8dퟃB!-<h%g#F7)>YNvؔz8ү):5e+8#Jeo;n5\wS(:7\2ZW'^|BR gц_[E?DTkwIP(Ο,7o*lQnXfƦ(&E}B`Xbn7փden6t  CP\=A *~Wmс'hd4)y$&quU3 ؚ%+2;{|Ȃ(r2&iaJ %KkQ sH\D(?gMTa1qkX[ʬŐ"Ӻ˶sP\A8!Z_D2JڢzQm[\p ?Qs=R4zSE|<4rȴNN[<ֻX= *%o`<܋uf㽋៓]mve?x+n0#Gkk7 Ӣ@$Ra.'taˢ/͢y$Qk "xf7JُL1' g+7{2H y1%{&Y|Vﻟ5IžVbh;_}OwFFs&jUmiVcOY`JIog"C0̠x8ܱg#K'$ڠdY 790 -ɗ4us{*]0Ws'@M{f&e!9D3~TC§p7>X> H]̀=숥i'7[$$Q Tnͦv&F[L<؇YjWV&fQc-и+g.Rxln94eQMdh9tƿFK]EI}ThA?E;%WfLv}W&\I`s(fX 1qS02811u@}L\ uT7%Q0 oZG$ה[iRUzJ):C*+^.DIYSgy7982ru&NWoT(\|:QO'XNi88♜P/޽O*+.Iz뤈>TP2z:;Oe.zv+49V/bO܁@ވ.˸+ ~@*u#Xcξ֟# 72nI -B$րS &Jyk+ؓ\ T,p^@(iw^'!x<6YJzqc ]͵io|wl7 '}Wվc_Ǭ&Ju8ebp, f5n) 5Fsbx|'h .bߥ6{S%2ܿ=]H Dۙm% x>oI3ɗ KJVLMIthMyNgڜ  $qKNv4oDJuf{PYck z!`@H CLiC 8VܲQ``AŊ8Cz)̛"cZUS%'xYJri %R+]j*aKV tҮdJ_K~X6QCj<߰)jf~yFHtՖ<4+i+Zt]DB4%T30j#l @*Pܖ[徆Q9wT @<欺UF,I hhۋImծɥdVd/2*h:E|iJ>1 hqWP 5cP8Er!?ڼ e:{6/BP4x!ƅ9i4J}Ɋb)]1jK*eү!6,'JTDPq PX+!SKU0[-W 8xj}䍄˸oOXէN&Q?@^ b3Q44 @30h#b}Fh[`FxJ<"Al`PÀ8YM&G|N 5(AF4$&bUf,8Y4aF%YL7>Nwc!(? z}@Σi$U~oɩ]V7RlGA!U`\kf$"n] s{d[hPr# ot0Rg5Y\gbq@@wUiQĿ^u-ņV$B~oA*K嚂X@?T>49R5S@ˀzO6wa;~T7(C*ײӠdCU '4Nb3#VLJt%<\>A~9Cq*˷?hJ$fs3W96d{_N5 BZ,+ B \Jx8$+`;a! 9HKdk=T>ЕDK5F %#ۍۃd:˔ܓ)žp"[wl,lXkِ,gZŚPQx![v0b. 2Ck@zKnR#5ʻezWT6N0Lwbg40QYYe fs D -W~'JIq}w^+w#Q‡=+>Ի@ٓtJ%Ҥ_\]'\X oݵ_,݆0~d=Vp9Ö>ԎY [E.ލu;jڷb3}LtǪ KIgH$=F!䆩@%D'ʹB#4$,~I*hmO khWXgn]hЁ8M]Qby<X AO\,<ӰJ3GT̀i .Rz6~cV ^^vBosċccj]u2$\qmS; \U_BLD:>[!Y 9R9=GRfH"ĺӓpMLkx5?e f |y Xci!$I" Ei*HFBq<٧[M+vvO]vt ~y;cѵtg{XrZշzEs*_($!F@A‹K<|I^! ??Săx[Ekw]*mCnZoo71sBb}Έ~Wo~_=֐g]PCAWΈI?P!k]{Q|d8{ҸЏe(o>n˦KTK'nΨj2:,V|4HYvm3l2e΃B(昴\+L2VA/#e[ܬꘆrV4=BƬců8O~JR٢A ^ЃP[MK+ u;D+ _|O"#Rj"8x/}g:e/s2{oM^QpLŸ\WGxah+Nb?W/`|##ї$ Q]gƎ^4|b߆D[+2_Vx7sZ tyd="|ZܟU7bq>dI"qLFQtXd(i>c@WBF/U&jK2 P}OZ-QWf>NuQ>ljͳRd)l PI"lb_悸m&I*7.:x>za+T }eƎov쪟 8[N6J V*m'$*j`?j"#Ϗ͖{|4Dy;J]鱡m̰aDfBbxVQ1@{e6w)Wf2{csDدE䧋|;oeG35vT[W>VjϷ"vI7 nL#ڇp=-XqvC譟)y81;<+pjߖGI{Hnlא%NhPu{oaC8b˛CU&g$T|Wz-^}F">>`U/BlIom Mr)'BllhOoaMm K5(RTLhhPefr`#6X&z0tM~' 95 `6'Ke&!%}'/u=pTǢw]z=4ewt]"i rh~Dn_q FQT8,v︈j` GIVaHY kEZh Y|֜ .Ħe:A56s\1y*N oJvrD, 捕6 j/- JhniI(/OA:~k>m~ZVEDG01*Oԭ6bHFuu3 )! [BVcE;Rx"W,A$r!syoa*Y[!^MN Tҁ(aApiֲ`eOĔsly ET'gZ8J$<12~1W^`dɓ ^seI3Gi_x5&/c?$jqݔ߮0//?T+v׸mr*;uERZqNÚEO 1;w߂Ģ=܅koŋ[Vl‡Z]fWy^ [z=Fm8`5^my89P]B\l _1B3&J(W*IRXJ+FB[ SfJ@(k^UR"Z~v5:E$E4`n޺kFx dȜt[A bҥt}r +>4&t!B: :;1jE۸1bB]Z};it|zDH&+[5n`: ą.' əge7?UqP\lhZ\{zm?YyH}P;dH}(4L fDtڐ_Ѫ^fdVGor@h4Ӛ0O`11@ geO.]YY$Ѩ]@nwDn{uwZ!9`$ru wT)41ʝ /U{Z_ C;% қl!3[<WfPTS4̃2V\zxk_^'%Z 1b|>go{8Õx,${:c WaXd$ K54+?1q Ib?#)giXj]{3P? n6h}W!D ˿!Ѐ!}el@!}f.*0d/"څ߻l|U KƐUtNKX HWҵ_e9I>>u{7@I_{G*uun-~9#]RZ&%;R:2WECaҹC8 #'6R^n*wxu2RPD)#(+yH~֩[P8jw9=3w~5}d]7mj[ (㺪& j ci?@;ũ;eqsO7啽PF.U8 4^7恲c܁rH;u 1Mx/3`Y)aMcp|`hWDK ^{= :j 2J9GpTu6I#Y}9a&ʣ%jnf2w(zErvu\ڛ+z.}6GT8|wW!>cQQ <*,U~(*}>'.ܝgBxE v8)ȪGɰm&s<uy0ۑcs֫ PJ?Ue L^/uQ9Bb<@׼3*4(?r)^*?OfὬaUȏRE-tZCQ|qHD*Hn ѕ=O`xQB'ϜFȀo򄅱%PA~yx_项ЦY!Q&Kn+/ j55]e-vo HAi#4?vKWd*IX;XpjUf=Qkr1! n9 %Ra4tXT_űVVf@q. WΙ&߷9(q:qqߢ1-@Do!Ka:JQc-Z[>N/[~^LRƌ\ɵ覸d.-fÛMSz޾-6sr鶊'[6 H>7LS` $g \W{PC}.E޲yv+6cOHss7}|C^dɋ4="xF2>7o 0 ]O5T?jM^G0~+(B׌JxWO;f";P0Rk@ 8onj0lT1Dؼv?STyĴuh:|[LEyXRiS-0ak}Syc{h/wS&ޓ2-뭝@y=zou{]yRtnc`/ύSw  \P"c۠F/6=_ޖf1x9n>P?D` 0(ʡ&$Ba`@0e,1}kmS{Y%ws &&6f@,-Հ,71n!f5=JMa$JSWlrnZ/h'8Ho^r^UYa\Dېqڵ"/fsce=`DD%?l.T|%i%ګ#{v.%$ oߏgWt x?9Hb@/mH}8EV O,JXπWJVĄ+!;crc{YCRy 6[gI%mg@^XSڧH{tw 4S5s7 A :Sj ֎݁7XDd,l764XOHe8y0*oun?Xq'z}<%(+?E{F]0>R:$d3 P,[Z^=Pϓ--Vn6 ȹŖ(,HUT*I DI5IMF?J4ɡt`_kڭY Hr Oh%!Bj:UxM6M[l:Sdg !l롂߻]kgh8!5Ho,a[C88xQؕ2]w@ye`4lKQ?LHRgd!];8`+J=ԫp!tizT pz3&(7n:0вPm%5}*Pl@I{A#_R܅)M7%@`Xq…A; ~27g٭8g7̄G.711{v  ?*eVbU$˰ɰlɘujekrh{ $ւDlgF &eLUiSdu;5t`urFxWs(HμWu(RBwkQTO q>L}̸*Gb6b-!<[a+ę:<Pya!PbL qxn;8]\LP.'n@+F,dI/Eya? b=&QI7Øhŕsȱo'6,uIyE@e,zQ +GN @M|GEAN^RHS(:ߟ"a|UɊ"' wmyt7&(}n7EhqwFOK1rmu:ҞE|QaȀq拷U!c~GQC ᙮T%wGc~&U}A'wL"CCEuD>%iN%# (N^rn ߡ8!_=M;>TR4\@VTnƒ-1y1U¯hzn4k(j:(lR뇍 a]CܹJe? P6%{z,`* l!>ԫ&[~m} ~"Yy˸`TqB5L3q~C\( Ac^q'G]B(uasIls}Q1kuj8|GiYK(c.4[j qu6=p%#=7} 4z6F7pwgͧ(['2L s4=tG"?V\E3m ?=&je.(>ܫ@z#]Ie\8Y20Z hqs7\Η$1 w&o0}$H]+ BHŚ؅:zL?@0┻2@ۉw%/CCM” Ic2%?B?O9%n[9,8HV, zi܆btXG0+  yL5B 32~e ҐwsvTwZw[f8 >[B=riW/L\D^qۢz5'/ 6IzFF Xx* %|%RF}kQ&[ gj 4|o!59T'}.Φ?N(|di(r\_y‚,l+ZTȡzapny}(`XC@xPKYc7>q:7!*g=S? ye I9|ĚBquw@Q)"f,H(Kܮe-}i#99<΢O͎PLM}wV5FBK^-jsء˓OG?M-~]l l][EVPlsv/Y|_I߇2;bQBꋮR#GaufŮ+JLE.rV,,g,a" U5wʔ>n&c炭Y7XGQ^֐gL{u7X*먰E= "NZ,&V};l\þը_|S٤!ETMHn"\R$A3`r{踬mE{>֯Q-$:ԑ@})kKMj94P j5{epwSY /][g*Юgw7XWjϫڨ hYYStUn;L'6`g֣ciBIir$zz}'A$,="IB 5k.hnvD8޶JW"%?pT|Cz%z8 z2T] 樦+sRx\Ӝ]lo=y JbjM  KtKko%76S;Pآ"c+`I2 i!6H_`įt9a1S2+;H-ґ#^#obR;;\ _\P~M8/QI*%Dc<I7w$kMA*TgdM]VƩ\7rqYEx׈_MQv(Dİ9*Rys72) -[02q@ݹkQX7Cn΁/~MQ}l2{pV 5Irfl *?o2/rC ]&xg矁FK/5AAJj H0!n '8{#cpIq.ͱZNm3:g`=7nC|~{ c:Ty]OhA#ʑC"a&Do'qE4 s;Y}P~c:|tvƒc@P#063G_0g:h%uMP=5L7.yךwS[ ǰj,8E+x!o<c#zv.pmYhiOW\OmD^G{(șv#ȶ~){$Eيvtֲ:t= 69" rUwWtRWA#ĸ%wȃ1{aT|@ ϢT ?,kmƠ#}j'<%/"2!T!l?ۦE,nwѸb[\ZyuZLOq_ qױPyϏfR!=ժ"!pV _G}{^L'fcl8 CU .C2oTCٲ-縓qÅmHAw0#9\`#sJuU^?|Gfl]qk$-iT_DӉ~&әwx"<1l "2O뽮J]R NzEPڥ"~6򞤝{I(?{Z]\A}rx ԉehlɭ)`B|9Uxu\BfD-_}r$ 7ܚ(fy/r?<HAϘ+|2Ibi w,Q|NQ#,/#!`,u2cXFL6Xc̵6$~SJPtB"ꪲn_LZ3r'?q'|e*`:@`)'B:E@!=$SxEQBG6ʝ,/Q3A+ƽ=-e q^e`PbQ]IlY%S"ImL_HNg7'V7[vѦ{EH|ctkަAgO1TD5l]#e BlIG|JLchT;&a$藝`G/@;{2H!;tfO ^(/ u^o@QҾof&s)nW_?;א_/U'ĝӮjoZq#&;ea1)U N!"o9b:VzwrkbG " }`Fٰ) Mրܱ\|VU]CGQLئn/eZؕnEږ?T1G5+J1L6mMm2M͗C-k8eqSm_!qGWWmNx[10#4,f3.E`%ɻO2hzl${@H~w?.ΙaD{_MI&% WH/U5UtdwL(U74=Եc?Lz|.¶ {`f~Y%qR̄G͡gfy8>ȪۦRL$ti,%~.LvA\6Tr r+_?gQ,SKXn ˯-䩡V RnX}b=2Kjlxf彨f0b;*ɪ\[ o@Jsaw,l#ѷe0vypv=->[XjqqBbcFb(΍ %vARC5*.yVE8̗A&@v?-}mlrygRkM˄n~$ͼZ' E6y#Y,Νʐ `IP>hmNY@V-ΨБ)cFȢ2BógCǨ`''R5 "Y(_Sdxw__1Z^v4g 0l5wս^wL ,qX[&=Ռ݋ϐEdeF_FǥW-@Fp-Źi1@PQbT^+Z3uyhĴTux}>܆cŅëa˒(,vOdPS_Z5j2fWz8]5?T쳭 [Tp߄LCRb3-LoQԇ768ek`?{0xҰDl)ҽQKU/Wڶ3.< ECK!~ے6f5ϼ.!Dž|A&LH (.q ! xܧT2_^o~?M6.:鸥vH"FuK-uoDL ]3+[KiUNF UW}՘0vD>-F!+Efm2Jp99'pTVk2M$KEx?;468TO=ĉW\S'&ܬ6Xpd'ьGCV6/.&hCeo/-SfsO~ E £m%wtilk'd;YQk~4Vڕ{&"} dSqw=Z-c;Ř\;wsV)JY޷PdIȷ P):6}1$i ٢6#/[Dbá | ?EɌf[j 1G> ^m۟qv6^l (q̿+ܠBuTHk>lp[gƤփǝ1pcix؍$ՓA/! aEư5`Z@5h)/>mE$?Qga.jmY,iG!2!<;5Ґ1ڀiǦ7…FI3](f6< %/qNVj ,k7bH0_{!'yu∯MO6YeÀ] {p3(2.Lۚ;xLmTF~ Wgݡ)1q7[~eSCzV0)!~g""|>sktHSlaX>OZ i1 \rYƳ'*k:U~]@l}R&ra ]cW7emiV5Ga] qv hn8SMgM="9 fiLP~r٣ev2/ٜ~Up}J-i؉;+cKPJ[II0A*Bt`u6l>SQu gjl;7Ni80~%P2Mxk4\_'@0\1n)U-6溯%¸l`^eS66l5x_}b2`sVPD5DiqSqkrmJYP$(?@FjBqK45=TX/'\a@RDJ8z_s0ck qn7ɠ^jDՇP ٓ;!S)'R-էOO0(Kng {ͺ6ZXE)UyCkmΚ`ث"YԨK=Nx\Yxl%e E=8螚lT fG^P7MIDb98TU"uf@kK]}%#X9{ݤM0a$R^v-RD;Iٶ9Nu0Y?" =6T 3jS$d_k*ۨGl=lTY޷(Up\4\ĚP ry1:1<v.2f:׵t`,Vj1N XBEf6ەlB;C@oiR y 9LPWd/^UΫPDK#"$ǜϮKid=[<"׏HnFfO{ȱ-\Xkk9aT2Eߤ"^ 0в\!2DѬ`U1G1v-Zȭl\-. ۹/l@HCn54u%c-~-fE-u=?Tg` c='*]tR'rnJ'ʱ4쟱QB 4_44sB*CN`e׏"~l[1 "vsW~&֎}IB;GaBD@/$UVRv'&%0S;:\}{aɌZ}m@7xiۢ4.BcEwHDm JBPRAB`|7o;{Y#A^5ƃKt_n,u*[JbH)fiX܆Jy6+(/T i"=Qgb66^>Ĺ$w{Tj'γu*7C/[t"=q2*u  jy)2:1{%#:8B=m`" z Jpۑ|{a~l봗u^VW)ul>lt߿q',WkFՐ&k3REW{姚6@1p nT"fE,k;\;?qExr'k-|E5(`^+hC=:4q9D!jRwJ+O[M.S= ݤOʧe3'3++ _v8)8l*&9Br!RU5P^8}mmhENt[PټgC6 `\P,RJcxl3t1|"I_]WD=#4GC ͅTB.)d!{oDI$|l?>Jp>AX!]:/i5'2*NrDPSw*eU4/TL1kx57 |ՉKFYȔͯ:MnV.vr ƼZN ˢ !NE3jFKfQPQFJLKTIF MG84(M j‡s btpWMauPdJFv98e(eo=wBB:NQ^e# +e?. cк񩍁k}-4Lո Kn_fsGB\"lfu^rK+瘎,i#!B l$ei] mR>rKmNsZEgB6- ELSGo ;'R^}GkϯvUCu0B 91T =2.  5YXǝsQ5 7,ʎ1M[HgBp8*).RvGy֣rjME9T<3 qֱ`|u2<|Va>a+a7) # 'F` ٤rސ$LZ}k}8Ipswk,kld r&EUc"TP裱[3`n3P5NZ7H lWs:tl}Sq Xި@h*xP΢?ݱVn|[`1v,ڇ&UUs&sY~_G~j(DkE1FNMbI1W^ND#%K'P:ޥal@;\䎃]qvU%* wŵ'/B:_?ΐOl!v c[,jk-K;0\7 c&M h, Ya(l#Cb(m]5{ҿh3[ a64A)հ3y]*~c'<*OhVa ٗ="pyA3֓ش[D"E' Vg~(&P->,0,/bjMSԕցA-DjQUr\`qYC0@AǡZo[>#1_{:njlgN8ZN ) ="ڮNZ}QQ("S:~:Z辀`q̋LrOO q!'SX>L".E ^tw+|#g%$eHہ{4)(" mR8=v`rA!3y0o%jU6'4=特\Fl iTv8gBКߣc&r=HfWš/Jr)qa]1>Ur,$ Ru2E|i{tA0@Z1ژv r>o#xB<GFSa8*e0nĽޟ J6Ю/5$AH>1 ހb2K1i'wLzk7u_*SVLbXgͲg'MQ/xjܗ2r# wuYV8K ?Xa\pb-AdԸ˷J6± ךRs|#.Ufa&oߞ̒ƇF1b(Xrr*IڗB]aTP֐Eޜʐ Q49O# [ECo%gM:Sv'H+5`vm)pfki:n62R>b5NIx.Z}07N6]MJO39d)ϲWFgvjzkqڻ/գM@fbb9_fGE3&&GW|}&^2x.C.\r t2L3,'iiM|2[jRQja]Z`}ez3߽;9LsK_H$?mKu 5}g8L[ k߱1bV_szMsH_"> ML ZNDku2q2#!Sp87[ɺSxֈ\8IxF}dOk4-:QVpẘ/4$}j5$Q::8ϲ禡&gn9G"hknMa paʖF=nDnbЕb g@UE`M斄[۬2ie[NzY B&/K>py"|y"p<@ud>c<2f׽(m9;9X`I_m&b.#䞸K,eJWk}.*?溤R=\2 E hm IaMĐYjK_Eo5ͺ+t&{S&*|5$,oJ &6WҔ]9L\L+QPq7m#3jNgYZ50d0a11ef66fab8ffba6be2982465ef68e5b129d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 00eb9e634a58d3b5c21031669f37b03b62da0a5d