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  X-|\ ]S MonoidalCategory:threads=2elapsed=498.971cpu=873.532gc=65.076factor=1.757zXZִF! ]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8CY&(TswO~[io&n<:֘]Qb<4KIX7N7qu\:㬗{&"S 8abV ﵑEf&Ru >0::_-Ǯy @YtN9.h-7}ܙ:}7]PD\7cJKj@N88o_#PNHĆ ݩYhZ`62d(k,TT79?Z֟ȩ=>:|D-Bh\QRRX bç: ]-Yug/͍ϡBPO|AW _3-頙hJRSrlV2dWbaqJ=r'm#ǚ}ې?vF 8T>7rD"IAJ67沣)8(WUO'PD51xdF*( 36Hߕ2n'eRo#mNl*we.0oR8f VھoR օyh}m|L^3 ,9=Lp,Z!gw ovX/%vvܭ5SJ%]p7V{_XbgT Ȫ\ 7L%mY'MI .Oδ2w{wE"t"4xr &HG׷:hwEh"C~Y^ 6oK_I>g+9@/a[N 1rk1'sccB - MonoidalCategory  ^ h@HW"qhl5l(th(.u ER?3jeCߜRO+T1>wmh>z9qo4){ԇv"ӬxvpV耆Ԧ*IڗG|'X}+YrgX5?'콞FiRY Q_)9}GU8 jr,_ M`JtImɨvh%<@V: vHKb=d:!p `R%\%$$B )0s h@Wv}jY*hBj\4% d c"ޮylU< P֭L0&܂F0~Љj: 4˼C>CSbQ><2/nwHU HD"Myf*u>($ mN!W2@M/h@!t &т+L̪P!CZAjv_-:쟜1'zfyUрFѨԞCĢ\xhKyxET&Ic_ȍwċ&"w&>egiFV2Y}|q2.8Ey6*? 4 ;nS3"EljhcK6I;\K v/]_|rTG& 8,[U˪3˻TL9;Pۨ*/βk˟_-)V)޲.QP43xt)D؜O#`SF|IC1*Xh_ }rޠh+ oY Xi 7!`VJRk-\a=K6(TIn5|,j!h8>WXʚb!^0Txn@)0=q{-MX$[뭸y("g\3Ifk`#xIc9n<.NYIkbF8T*c]t$,5@kdZ@cI{)ߔr}p.䫛Y~Kc| \2aZ8"ʍiKtR;`LJb j;Aoc{[K1yVb$4 !Ϸg[م ֋nIr6ki4ՠcw5Lƞ xr =U{4U ρA694`ϹD~{hR a# \4RHN*WhxK3AS6W!^%4Y(|cG6Lh0sn,%RbK BvQYQ0[x$CcTuH⽫bM(VUZI+Ơ`_0IhdCŲ(0GSCc(:}F]7uCx[!pA_'ȇ:Bb'ͻ:jڈn릂w-2KgQ]Py7K̯Ǵo͗Y4g\p\ypRĚ٦wYP#I0Ha/!@f bƺ-5@&ۖbn=ra#JF6OPu=nN"uW>4 F_4>$Nq^!qk:֒+0vy?.lNhJl ;BAjJ S4F,Ay_wPlWXXa2GlKth i{/K(Ċ(cӖ1;aڻMӱ^4/V킌U"ޏ<qUİL-:7A:dN'VGەdn@WB/̨?-ޥgM^["<5NMP"7\ټ _X gM_;2x|ۂ3C,@腞 m},Fǣ _}kxݶstφk XIQ .\ѤcyUy^tlTaLppE @!+BJ%l.io%WĪGH*z D ETRMp8?o 6KiBx=Ɲb]uFWT=N\S9!t)ty%[=.o&Clm'0%K s!L1|Fx?WɫP{~R! ivbM>!ǀ+;&X+'ĠB_v)  {GtͧxZlMN{(\>>mQD/=1_˱ޖxWXy)lHdW%Qn-CM(phC"؉:7F^,c:Jy V!tCR-S$FY2=Sp.sr_k=*tk}s UĻ1ڼ$ti-"°݋۩\ i{Qct3ʦ$$-gz״6Kza(?2^SybdPՊp>F^ 4*gW̵pJ Ǒ(a}}7g:IOHtqp8tHv@>%ܦ 'FHZqye+X }Y@NnxGBOԻO!=4[<[>T1y.T97-xAtRZX0vr1s6> ^Z[rR u?]EVk cMqk('32$~4X*q0$ͺp~vCHu'~G$gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:DtZ.)E@>$ cL;$dh۝yCE !o̝s߰xΒ) Q9.ˊp* gYZ7zXZִF! _]ŗXi%;bE~N4~[ #è2˰d ^,CöhZ'r4~mIQ ?C$)EZMrlq3j6m+$m;VZI@a@LR x_B]i믏EÅ?|%9LTަi\3n&ُ[;cakL_݄uigU#V\fzf%{th<J Cw4j QS.F.I]Ȩ3Idi߯9v%J?/.s~C=J*4ݱ@fOT6)n wR Їe0A?fra2TL L2b5y 3-AIOyjt OU!9"8|ԯjFJZ|il }7=neMFΗe!la1ʆ8YR ̵lS~~)@H_W ϵ)s7NK(hi$m|5 UwjaM"Kpu+n:E2R[UD&I'fgzd'm9 "vFn 9_אT ./d4uŃ!]%'Lh¡EsG䴋>Փ"If0mwy0Q 5"mf^J*8wܝcE7 8A02;s,j/$HE?|twҫRv4syÏ{A ezh #g^QY15nMߧ@P@PW  nӏrf(bU4#X4zxŵSg{PF1jIZ(31711AV[g;n~lGˡ- +($aMz˜+ׂf6Ʈ=t ^H5?/- \$U Ĺ&*,4dz< h˦fҽ^~v,$Zs>ƅByLټA>G1)s^?U0˦dVAƵAkvԠ&5P}Nr cd˅I)&rPx&y5Rgp6H=}dս2pjk-rdډ8p~4eG59Wa>tӧ"Dn-Mҵ; ?͒M1sfA5>>WF$1}|AK8]-h,NٵCI&0ۈ"C,DϗX9 c2H;"WpM8ȱIY\ dm(q_)(\d m0;-k31ѷo_תsH/ aB=gRX;A`62TJYkh!,{bdBv~`.Ir =QW'Uby+-/6ǕD{~ie|VP;5 ò#2`G*[s5Ȁe-֍=In1n(*4%)|t;wX}T,&ٙ ?a^'_ GF^}b_V:^x<2OMצkP뿻dRU  WZhxI_"'# @+"!z~s6xc6f`H HyBs&9u óBk?Ҧك''w.<ەXYҙ7Rf44cp~J IɭS8L"VŶ<l7:n W0ozȽ!Q^2bMy {q ӱD+jA8WWuaHLؙrjI`dO_c\…πT`KЙmyF(|eH巌Nmy7w0lq|9vù *Xf@!* < ch-UL59T?!SRm/#{if%/_GBʛ=Y֐䅼 ]Ɏ¥-5ڂzxY6NXn?kQJ 'mxJ b̻^*HPRe4ɂ8_Ni.EpIT>z'm֍~+u( DX'\"餚h끹 }(dLQ:d;;ʴWo\*g؏mY熨23ƣ>bn[,z׎K>>%W rܷIkU?`}.X.O4ó)m3jK}A첻#\b!j$t/n`]Ī6z2[mJ].8 Ju^2i鳡6"Z6q?3@jL7u$#ZZZy[ q BQ{?S(h{oh% E?FM{/$v n+$RZΏԅSJeH ! ٿwإWaPTT7m b`t.e.d y'VPR>(dSJZQ5㗯aoybq1KZZG`{횶#)01Rx /P`2= ,&ۗ:zl-E֐Ce4IKf+J&P=6wǵzr_Mrgnixfq>c^G.>V9@u\-2M&*'{[ȹWmb]eU,aUmK b6<՛DY]VjI0Oe q7)ӕljl+A߭ `监j!y&LGK'樌DzQ$^Ge1j>'u^ʅ&|0+"Ť=c s %Å7u 8+i%U,<8X`Tjw#D)yvB%M]Izm#eNq\0Rn\$j͗Fu剑R ֍GY GI.Z+gH2 q^Yiml?D09Zpy? $e,娷fTo{e30VŊa 9~hRspU nU;s(do dݜDU=;7GITromk(؃ZJ9 @cy|mDpbpEUU:,(*Pn,0I-xcuK+bNVnNƁ4nj:M][;n^^oEx!ڋ$}RˮTTM7*G%Hk:sh)n,M ,$v4G%dA7.Sx?v02s'> ]&eK.0 `z'Y|Q}c}qy .Ъc~CPU$G[# pf>{G9(ŏܚ}xMp[]uWrx5#}MlϤ ĸ K3 L?"\?0IDMYKI-+/W~+b}RV >⵫u6%6i@iGW =ܤy˂{&X## Χk 3eX'q|?#$Kv G\|Q_,+EߵT){8f/V|Unc#GZqBa<2JPaS<ن!qLXn,y-gIsTw0B dGm,"Sи,$Kxs-y*[bH Y ,ҢAcQILY5d%%X[v].ߒh cA*vnzʮ#C=X7ɠyˋ :"w>ٛK_%?c#q Kv[Xz53=umD'j]H.IԖO/Jtntntp(f!7 MU䬃6d_tt,/S"Cҁ8ܚZܞUgdCԛSZsPu)[vτd$oFP"tyi.fޒ> CTsfϲp4gYU886@)۪Ku4/PR€w'y)?2pXEv 282q@do? Ĕq^/â"O7 h3.3w dS~U'NGF.a@ vf^gOf-jtǂ X'iJ|CI-:/jt=y<'Ry̓>[Ci! 40[UMYxʝ!/eک&zqj*Y0jMp2-xϏU 91:nHPF9I:}ϣftWL/>_7<$'fr閜t2J[9Vo{б*|ZT:xd xzM7{"N̔W 8J"aI4%m8>K.Yb^Jϩ A ?흹}t] x"i`M~@qe of0^O UX15Z.# %)lRBɼ .r5D]'nmB1Ÿ*rmG> kkB9Q'[?RߎG$/Z\}bqg ܧl#{Tz#NXfZb hZVs՛!fanchLrh68d{!a(۫~#G}=N{!`ZĜv=x'<B~ jMKD "F 2 k1Dº`;3)L~\#_6ԛrBa`ꕜ$S 8ꐘxБB(mSckBhJ<(s6Hv͞g<?Hj0ςF0mywҤ)$&y4yJY\zWF{]ԘYJ27M@H}ltjۄ . x48ЩtҴH/v;DzՕ}, t6y$J(i[\Xk*I͂$ĩc/'`TQFH-@%2n?XLTazgbLʷ]q4bmgg$-K)Pi7f !DwI|_NIyORvJ?K9.ҜLNmTbf>wjVxH}Tt() Ma#KqDbGeAYG[H3/;y3%,G?檦&Օ9tbQ/$3w"A Yr}zٴsMDv`Á(fVr|,u-ѪoZ,Ѥ3? ׿hg*bH3^0VZh1eih 9 )moM%YҘfzCGK((e ڼ-nL^ݰMAOk@(M͔-&@CZ|n<%<7*Io++;@t%LHxoךX#Y|p+46)r )G!Rl%pPCYlg9d]K}.xJU.ر3Ym4wGO~:Gq-+(RK wdd "Zfx7 $Xܘu+>6yҡ?R|o(<z̦DWx͗0#_DBggsǐQSa@RWn` h7 :)̸o&=|BllFNhQ,|pe񊊗;᪃?Dq^RabbU ȚI9 e-2z]Qpߢ/8`وi򘨵4sbATAւNLWb&-"kSx*C ͓5;gx8q|DydwwnA0/ҾD ݺu`Z sd}X?,l,qKpEeFȣ1__FUN6,5wna97zr`1FmFIR8)1E^Uw9o#{RKsoyȻ'n˭d)춗b6ݩYh3<4yGUؤ>׬x\ź(k^iZ&x`tbsIL" ҏg"B> n+F^{^lUO@ dX\Bk$76HH}PWJĂf`U<6?"@̉9 ҌO Gj>yxxlXOPV顟WX/Kp,ȳvY a\%W[2 bO '0K9`i)H.POƄʰvJVy{&U{I 'J\B2uE})ǥ.֠Q[x Hʮ,?ك5xO(j3 QoKn!=P;>zټlªQdm:73oڄ4|09W.<(CyB5]D㊎U*"YG# 6 WM׈ ުᘶ,BwA~p[ ZN;$-~w1 TåBnwmj;䶣*t9uPjiE:DZ^[Hd@ R5}g̡ڞ*韖]/3LüIdž`G|Hgm6gѸ-BwC{U%seH|(O5 )7޴n{|z8P;cWՋbeP1@;+#Zyl+bvyS d)=;5tLq׫z4BF!؂:qOHQnxIGn#->xYEg3 ƶn&nuDI`@ &T=J1m \z&hobYK_v5lDPv5@ivXW8,Gx:899 I^߃ϓdcnbNqT,j.t]{揉VF셽w|&L~Rĩp!$|;;1? ej UQŷSFR/q\8E~PvET(0 FUw5&X3QN`>UlȔeaF՟0Mis:uŦTBC5ŷO#^\1)XV.}c !^*.ߘc!8:v1fykPF@?4UE~C9?7Oݮh]zbj,]Pφ+~_I˳\]e=788kQN?h &ܔ~~;CYSMt,3[o_چxD~c.~~jET֞S`} rAc# tnǣl[Ih衆o-/Ϩ Оbz8>+ܦ9E*h! K4b )ih VJ(Tup!/ Oq6`-$s;炉^$^I-cu1XЁڹ'D&Bz )a:KAV;+oMޒrp ?ɟSr(qZ}t0P/ TC 9ގ"`ZNJk@롻"Fsp#SmDIBOӞH\f H(oIK%fH&ކx^2Op!-vUXi$PkL_J,`1yxQ8AA 'AxhӾ&Im H"Y56RQ);95:&!YSAeE*/f"XuC̪++\(9R \~R^"d4{x*wZ8'S*̓ {Qڇ.fl{׾PA?N0l5Ah z\q켉KUVnX,z(MÖ]+A㲾, Lݞ9lf+7=ASU:`HBX\vח?Q4oie&;p}"Ѱ^W4"zb`4Wb _ܮ޶YVY1ْ3D/ߨ2b. }z'ʷ:(SscqlllpiGZ/ EF ĨjόI|(--{p-#xKs)LvPk Gj'N4{f $ȺjPkP S*,@XUs#G8Ag) ,iʝ>H:[.h2L˞a~,W¨RY¥茇`fQI\D-̏4RC-OpBwOs pӜ=)ƚ|aQ&C8kcs&& \Jf -Qw'K\̊${oZ_ y`Vb!y*e=jOKF>Sy)Їk]+q# © RY|.ߧв9Q~A2˪]s/}Zgl^tP^P;8hU}CIf;ݣMzxEpI3sy{l`Ӂ$Q Pc[)",H9ؕ0mXA]!7Q| 6ܑYߜ:YF؊d*J i l,E~Kx/u*s~p.5r>UTi"/Y*pD#3*ngHZ㏆5y0pSWحY* * m1GS$HQm0䣔&;}gn)!s왗6 x}ɏTmlPsn Ux׈T x$*Ӝ6si-q;<1^ϛjR5Փ.o)pMzte3RpKWN]`܄Ϻ~OX5vRD0FI^.l@"g)8TV~\ zd%^䟒d_k4!hY7s+j<1yI0wYMrRC']x=)" d4l-/ßF`v3ljg11(|dgγ:N!hY%nhT 苭tTSTnP(ζKAAz>_*yp0]se_ϼۍbBUi 0ㅕUHB*%~2K5ap%6AЦdQ,h zU3Y8h Y6׻. rl* 8$䂲ĝźkEr"dXu3EnjTo8U/ Lj6 6+h槐~|rt3z0Ph`**G^ 9U6Wjvc$GOoYU 2S0;0T{+G- 'A~8')6TUv{ =%phV%[q4ӌW+)87dXjVjٿSĕfE^'V~FS(lvo3oۚ素-85_  ^i٠u~.+o3 ޸'|a2&=qv'p}*+F'Pn!nFx_FVQdN%Twtb z\V9;1p`&$CXQ^.Fg5<\x:P&(f8W~=+V 78!y\@DK}P-?g⢾!s!!e /HLҌM2I~^:ЛNܵs9=\MҎA t'}\4G1MʼnY;`/%ߣU $)t$5)*1ܛ,ĽҒRƸA}@7f4t@w|Ბh<˾|K󖇤a)#YSOk]7н^|-wsQ W Ba"G]җ WA# kW8sMbAKBB- `W9tI;-4rOvQ4 E׊Eq**r~"ím㬫 YŤz<.I) MWcQ28PD }:Vh[eCd*mrspSz]bc)kAjW$]~&C6f&Ue-M|pb!(dR7䠒- d2[uB㑝1ZMJ#"dvJB*Rx2t;01ԽMb4HB °Z"e|":_IAݷ0h_wK# 2ۦMrD>V4<&ߐmT?( B"x̾T\FGY|3?4xZFDfo7љB}`3(R~'Nx asm`Ԩr ǜؽ@sGk@1K%Ppy)&q-T0ucπ>븺dC뫷9nVf 3T#δ>`B+l_}Uw2rGv(ZYiL[T󮻜QOR-@!BSǬʿmT -cJXɱn[)&$=>FXǣ{z)Yr?Aɑy#}I<Ӑ>g [\yr|0E*I H)l&Ғ@GAЎT;!ޖG~crﭧTHrr5ȢYXz(y'p>,`(cbtN!oLֵLs/$N2y#)0Yc厔T-RD.O k|!9Jt 1"m\YÝM쬎t$mX_!/ X|}#7ӄ }"fByl P9mbaV꒣ض@VX,~ OURObGsy{ 7^%b٢t;;TޞXqKcxnL=]v@Nw. KԂk@sTw <0M1_ -\e5G6 !ך#pq7K@FzQ究8$%ئ)#;Z-U:yf<(鴊)w9?aXO#).P&ְonO8 ;9!߷ ?Ue5C!/^@ԺZevF|Dqw>ݣcک]˴^N=̊6! z>[l ^΋JIUE"=kN7.gbNqe%fϷtI}R;yl q*It-{wllh0l P>3з39|7Y_EU cE8{Fh*"Ž5i~vt>b翢snyqYl(W4 J#lu6v]#:ѫR #_+a?q|3Wo0^(6&D-^R;MۚXQSmI Kek"#@́ӊ#M`ᠪAr+zx5I'},.ǸvV$c_t2PsV-+#z'M$mlViY!x7^Ź/VJ 7K񳣆ٟk'ݟ"ƞ*[+ٟ;<_y#Au 'A؞Z9p)}r-)vYOG" 6ޗc@X'p/|Z~ 'SE*Y;xSe(;Fr8!ݨJCCDŽ']XcNR}(!Іɗh  ^~LJ"u/VR\ַ2:>[I1Y}(A D@uP Aq Я筽M8{t{$Emd@vlIX D'`DrJ4 z[cW|JZoYOOojevZGd%kpJLFE +;%=gdʾ`9ﮰAc$hnXm )iqId42fTk=DpJ^ 捉VQ#ҘS`㔹i4d0k;oqG$~ײ]Wn&oڙzHބޑ0oՃ4ñҪp`A#9x"_D?i" q`yJ7Qf|eT?Cb39HM/[| L(Zg໾aIY*Q5":'W==/ ltb1tyAbjQT"!|ː&YLHoӅJˣ艷0#HsCwPӪ *U,T.Q:$PC@k;"bł3̸/1^ f4g+Γ6ʩZ?Ӄ2;uLII90=u \?WǠ-qD:.pHľ4R_e\y~ Fj/js\boT)&=ֿtɲE +:;b2ļũI0ac Fh|c•qUR~mE?̨"[IBLZWÌe]Ԁ*UGɣfmF~ aVEgZY> C]NZjz :ZQ =8 s,rlh M#nt_(cBPcl+gi $&b@iwhxˠ=h5FHj% . Gn:M9&pSwtԟifH פ {Ż\1[KQǫJtj AlaX͆ϽSOk :\A=BcU"rtL/vǡ?qe@ -<2Oq3RzZf-BpOKS_(4yAug9Z@?A5BLJ~7K!ʏ.L5#ݗ# /Oa=N0rI`G}]Wב\vamr 4+ Zqi'!ԕJ-£}tXY۹·\c?Q~|dq ]Al%smy*,! W5mG;?<:ρi}VGԓ^M2\|و[^7)97lLùm%NkŶ5!̎;1Ulm@RA+U 'P,pXPD )΍$ckF䮒ZcibD*z`b,c#R}ڃVCNUK˷תsư,x Á U4tB?hq;}j]iv.p!mٍҊ=փ|}Ы8{#ƗU`Q6uΓbxt$@認EJyg(Knd10H v ^IxEB:ga 6 Gw,@5<}@ތ ]_?pʴ6/=:(R|=ĂN8~yy}2ؔ%9+Arb%40zK} yMd]"bؔCy2TzR> kc0zEaE--;hH[;cfܛR,1d;J A ڎ6.f Wz" gsDuF dC-0Ƶg- 9>F"-dat_e_7un,ryƷ1: K.6e3/#|dQ9+^_8dh :֯^(|{mJKWv0q> \R2.<'~WߋṳŐ;mgό'@Z̡hK36C DLEX<`:(!$۲~/d~z>فAMkmڝ%61zil4a؅]Qؔ_X:i'壌jso E̶q t/+;0gl zN#yrʯHqzPS XJ>.|y 9Tm}DkiɀTQ5@ [X xq57\{tmh,T˙ØyZ ӌ>7MiP~F]Io:6_Vq$8QÓ ث9!TI U)ؘ{ 7m8(@sa@$Ubyn_~n\P]N$XsFmEen/!"|4c XM aԉNQ45 PS80]myn!Li{'nC}A&L0#_L5kO Bd+:uhu5'O7UNʋu0͉: Mp\4~(,C@(KaEtuq'x%2"bFe,LS^̈B*J87c DA2M&K:A"i-e`Hc,keHw;֖c%!paruG~9K@s qn=P'#"Cc`gocX MJ23C-7(Gkn2-"V,o)N<8`U|.Ow{ gJpU%*-N!mʂX(r9$0MjR0Z~#;66# `:?71. :G1;^%?=Z4w: 6J@CReWPk#S8uv"i+yMl*q }*\lv[e3wQVa)/)$LWhIc]'%ȴs+qq# 2U &b?9PpgY%K;ݺ> BZ.l $P;W.2-|ŪFν:'E g$<˶82k㊖@d֦{hq$f 4>IずY%@vi:5-ۣǑl-[0,d0,#nϟwb1-( A{M݈"Ëj*Pϲ~KkI7{\%FZ F{Q6m+-moWhK@ ^Q1\a ,(-Z_;'=ηVA->(gFeɮT#}G*[׹LHĆ.̽f7gWo֞9f4irockHfBlM (<'%ONֲ9JVD#㧀z_oN[=wj۬\pPYڄ=iق4.W/\B(:ؙB1nL'CQd nfġ$ 8/!Qd#YwgLxǛvrZ ChPDŤڏK;4Z֒eU|L* cCw1ݗ1m *7t\PK0=ݣ%(bOg"PHs@$pwp7uDꀱH 6ۣ?~8C&g/nH}iCE׹nc+S3?Xjy5$׿QL Ry;n-6xX5 ^W9G'%rkAkSٌT9H|O\tZ1t7)Gy)E 9/Xjtϼ]%.oMpjdEh_&3G%x 嫎%s)DǯCMu*UQ6c$rEo7p=rz lʦ_'|;sцKL[W B=Vj-nj"˾:al[01$)gh`wDdz9xR p{PE=D "q (y2~!VָuvZ#:πA?=@"a2R|RRCn+{PeLX8H/iPiQܚ'-s˹,3`aUbv鸠$Շ Q iq|cǸL t\7ﻓzskЈ)" (vl;AIݑec}N\5!JNZ,:G5f ~V:ѹ1[>Ɠ&P|8s%1SlA%n$s^qp=ۂ$J8WFٕSa*%MHQ=Xa4z/,^ XAEVǐϼ?Ur/+IF̐oZ5{}6B0iS*ؕV^3AHy@%+F RJ5 -pjI3O(0