SQLite format 3@  .0:  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  0-\, ]S MonoidalCategory:threads=4elapsed=350.469cpu=877.404gc=76.644factor=2.507zXZִF! &]ŗXf[&MoRy x()D[6Tg짅DBC0NB̂a$9 56vZ [_PPaɎSu #~dit:>=J.L<~C$3w&sOF?eZM)ܜϬ3ǥ;^G61OMF*) FK} t,n3"eUJl9O7ݴ66uCY|P!} =tҽXdPzuӮCgNM0KE8#\7B%ڜřfxRj 7\w]]4 'j~깸(!Ѥ!t_d6/ "f#F`ʿzIʽLa " /kct,{ _ydP:fIܱ-V'wcj&21O{EsHPz Xzfh-Eik~I0*o$?q_nAgfLPvjuj;>Bt+k{Ŷ7JfM)abSI8g ?x]HH؇H.6/>2|BH 欓Iۮ[ 4XDh,Z8exL,9 - MonoidalCategory  >Tdڔ)%a><ٟRA14g7Mň.G`.LjRt~͵ z#͕ş' 9>ÿ؋dB;eYu&l-b\WNuFO% 72m]VTm< ^Z񗨝p-9Fȍkh,7Nr8?GVŒne!]Ô }# m|ҥ%VO 8G<0"*,>ovC>c,5V_^"]ժ\ }p.pO`Nv㳷=NoJJ bc|ee!9&nG "Ebt4p . ^Mwb.{i4G^7>{&Յ0z-#aHsZGd?Gv~,owpJw2$=H of@. Sk3_q_:/Ϫd$} 2@ϡATXrϫgFW"w/E m3,"edCu4tĞ4j5:/6=g+j)߿TcŸ؟A#*JXʉ^]u=N }e9|:*0jоeP+A[6!' uqP*_Wg93(.ۥCN굔kݶҏ2i=Us\W*CE) ?y`):hP,zVJ>uG)iK=UOvu#o l`oٳݵb{*zmW1`6>=r;@ D\R' &Vce Uw3("oMokL*9/jwVr#WGF.T[C*["B*^,wW~:Brw,yPt0u,9*Qΐ Ry{CxQ_Pqߣ ;uv)qR1@8UdP}n(qa++_T3&u}TI hhA?x?A  F؛+ \=VyX_pЫ3l(o:ܒHDfk2[{SǷ.x4sm)!ko{94Ow Zn1~7RʶcS[ba1`X [CBi H9楗&uM`jw1Dmwf VWhJH{&F%'Ih]?;n/*OfW^l,|Yw-v|lYe 4 x`@nmwG'Sqco'6d`-6,=k ,K"fsy ~w>UF{PİЕN0/LZxL kȕ(`keNpyrHF`ww{|5u𞭾YT,K@A\ɂt!&A J"oBrAܣaтl !FUrpcwC:wA%9E˘zVt-Ss"'(5(ǗV+jM.fE:RJd_Xtc}H3v- YL0N"vTGt,81 a3檾|۽87{4V׽E$e$ ry?ȵZ>>SY-֖/u`rRdNOCL%9y˖EA3ql1b] K h@tO61 e7%mvMj䱯zI-nd%Hˣ r(l026 k Liw wk3 w6nc?d% ԬMUHk4!>/?bY7$MN.!OsBt4՟7*~dZ2f]'/R`F'6K_l%EOЖ2> Ji Bo>a\XJ( X"Ip-zHҘcK)du0܊K5؎e֡r6( õ=[cV:ƊQ$-4o9D~cuVvY<&1~c#O3qn(s·hMi]eadߦ͑D/?SO*UU쭤eL3PQc˹`0Ut lh*qB(i,>8x;Y,>B/ TkQʝ4{T7qh>&N+ބ Tu IBƪR,/^&BǑ ]~?oXه0^ӛRA8G ?9Y7hdodtqpUtx pEKnc_5]\%)o`~JEbRYb0 p#{+=X~): ͗cLXGT*ۥX4Rt9/.8X/^8ĉLU0=phyR  l'^8#c/#hEwÊCcCV/#k߼* (FD~5KINr]TS0QXz:@:Dd|^v,!w[+H ]n*N]br [x`.Jqߗlf afcAxĈ߅D1NB"X]*p=AW΍-y,fe[u~*T et eZ3.QiT(7A(nC12[es;hM >4ay Qǃ +Rw`H,VR*)-xًX(jVGgəu$}np,=F8k^(g*}j'O&#l]u땇/S&ɥAFs\ߑ.3-roYs- ׭dOc#NrS\QR.t$= V ap&.;^kr,VƒGo &6v^dC;VV%{7hO{ic8Lm]~%VzYQ<)^)8D.B$txð9\Rw!]xc hЙ`rq`TJ¹-Όh"fh.=j2 WBW`wXDOR`chO _=>{\hO_o4~iQy g'1 4I ;0խ|T>`Sl(QmgG53D|sT yk>2=$)Hm2|nKxiS\) oQ @՞[KV:uZzmAj^ADGQ =|m^iLh >$o[ sgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:5P߽:FoJäN.)wQr+1sK9SP8 qd%̷׭yc%~kƁ_n`ݡ9m2g2 gYZ7zXZִF! ^]ŗXi%G̉N.hA7.ISIõ:tND?RZWY ❝'t Kqb/ZJ$[^ cY,DѴfEgG7#KQչS׆QqvFnT_bٟ"JeMYl&{AB9f[) $wmF^TTךx8_Lm `9%*a' [Pf fgpV7 wx9Y6TŢs% ='рy)i rTqym('O2]7R{hEtɠo6:;L9u趹C-H=R:K]f}l3fq lU{c͵ڇR JR zOV^\*7\ ۨ!$>~! 1ƕ$3+^Ց ڍ[Q^K A%ww2X[Now|Pr|cZ]Uw @++XkHUk~m 2XuRdM.g2qhL+FO]hs$E䄪`8ĸ2-o٨M"-+/ oVR10n* z=6ZSyBdݵ6%ptuSͳ|#`KY̘BPDzV[ÅaYKU( .,Z>>ۘR FadUkwI?S(˞n %h Κ+iIV-t*$~G`P,N`w-X. ?mGΜaN$_%Xڀ :w5e %j_zD½Eú]EWN…z;*FIOwl%%VuI'VCܱOļ)k3z mtOn,s ņֿXAw/&^pD)48ٳ2?l,GR.>`W qYE +2*WqNd2DZCґAgv݊ (kN};V@)"D!Cz\,f|⸭ l9PL?~ i( Wf{_`-S_XZ@DVHv|lSV^ PfcKb^飮[ٮGGuZ^^J-z PPENVz@D07is_J.GɹJ&pĊ4,J9T<wLS Z)b [6ÉoVVS%θ ڂHg-^@H >īV$PBpb &M뒒HF5npήKZw͜,hv, !j=Q%\R~ƃHfuTjEjFm&C 0yY=o[>]j6 a-"g4“UsqpƵVNƋ(e8'8X8J+}i7T)[;LqpšwOf,b~"5WbȴF \,.k q`X'؂TwvwV}0`=e}}OMwd6koA/(DgCb[y^.2'{qNp͡&NK#sHv&>d9́,O}[8fEjlS*ά$!-0EsՂ)HyU歷Me"/Yrێ K[sJ]!S;^V0S8pI%lL{'뒬HuR;R%0]MPteNsl+?^۽9jD'r&gJjn:,+;6`jwfO>rktXU"A\԰;$_?R.!^NEZyJ1rc.w=ŸDg+]C<}Q:^靗M2oPXfߒSCzf|Ul=Y:#nC'ZISdu ]sĹUWW.9HR<盰JX.36hrN 5yoƫ#%c#"*1 vW,xZW,!º]~acĦQ-[4bN |WɒU`+}pE ݽ%rRv'F9ݮ/v:}4G˴D]bmR:62M_CH}f /'L.N[2o9W-Eg*V&(u)/#K*˨VMsva7>( aep o1[Ulr ,_<4|y\R)<Q:rY w* ~ƀAyBucZ%tPEaz΁tl-Eq߱o⏸6IfF|tvWA G[j:J/ka~| 2WMKTu{f:EB : ,fO"eEtٞhMȌjV;-Rͥk])X0 [Gh˾X[u*P?a^N+H/k7wZ4A,L~c6 ,DNdND:;` iwfgc m 9hiޢUHAUeV2]ץ<&?&+t'a͝tl` Q&dep=5Ȍb pYLO ,sPͧs,\V#L;QKH@t"ۉuo}!uM3Sټ\r5E(ysr#rL1D 鎨3*eZ4JD33pѬn֕nsv2 ܦ"2 k_:K]BECĸuO _l8)/m.R>ѓf!$[ȂL96wmHi8B r&C~03Ϝ=m瀷%л?QVC{I0COHkQ#Qrѱ˕ `Q- tg THKLl4^(>˜gp]җwV%H0 # Ju}j,ito;1̫F }So bY,VtY[nfכ?5TK|6ўbh67qy[&58W3!_tdb wS6YB Y'lehDV+J]X nxp5ed o7k L&A# NE DŨ"g*R|_`oNe/'.6尃LZ !" e ApFoJlMLQ,ŃSĐ&)>60@Wh{!ɟ.Wg-Ø2Cʉr/:}Mp=F &xx7d9׷IoYud[7ؑ<1%[rν7:EVlVnkbcɶ´2/ &\Y"]ƍ:xTd˶mW5^?o]J-mE;}aDXNwg%̾+a,ſoHtZ=םq.wH4Qq r"SܒC{ ^,SăA?x&B}3ɯ`CoΘܜsB!|[~+v#؃\K{pr6B 0%ddizu ~=D٘VzM՝uhmk\2YYV_e `櫔*Lwq/-1a M.&3ۏrE/ͭ1C~4/N.{=/N$IoFYhk?[6p>!ĭLBj5g7#QOBҁ 83g-0H^M}JQ:@RZDY*F3ԃ3$CPQx^C> =_K2[ @~DBAI֤]yaӟrQ(תnkx,EW +Z?M2A&˧qAPUNDdp'>JBRU_{3T؉7g58F^i/$M#ϙ#,t) U&)\=:}}'KGh+:3a=2ȳTfwN3_mי*#&J9/n|ž`E+<.v덏il-ӾbQYM S*:pc:-QϢ¼33gEDW!S$6S7 ,+:W1ҏ O3Z'V1}˾1%젋Rr]օkz?O 2 ZbۙtUDz2a$D_x}R(nw%!qku2QlqujBę݀/iԘVgh}eQd2J3od* ˭zëjˆB3;Zm1H=9lQ&' : ݤd}*1StYTp׊HR숦q Fkuy| yg9 LAE<}T)o o“UA $HS'Ug$p|J)l;̰⎾I&axmj]rRyu|괘V^W)@՛m̮ëDC۠P{̧͉Zy*3+v rm6Ief_wʜI#e4l<5vk" k+%Ͻ~fܳ:,s'4FAMn[㝄|0pdOڿH\l@vjiBM+}R_8Yfw+Gm)?g᳼ܾQ:Un7Q|>q)#zBCsI#/ d0N.SNzKzEad-/uJc=ٙ@K[)&SmFoBg=K"kBnP<!\=fI'i_IYDjpFxÕ&\h?oCaTjؿ{|nw M:GRc8{#/Eu v1k8A&Na#o =K֌}l .òdf_⼢ӹ8^ޡd VjX|l?}[`XF|;G}qFdi/nE.BɌ{k%?X.ewAXHC[Uh%;|<,%HYb^+& ɂ]Inj7d{,L@ R| {1D_xõuba!3do=kFT8Iu$?nB+UO ;z?F[2SWmU:PM>D=q=+qRkB5m)JB8@[D~1С5I!K grT[5yq8nmBWJ3I_R] OnF߽ tɪC2?V*Jd&J3a\|^>ܹqQ!`^x][93j*x2Ebq&/%ܙA%Kq>3p@=9G_13llE8znSYU&!+MKhi/ 6&f \YEZqD3R`d OԽ*sm)]s*3l;Ä<cV*˯i[An4w9Ri ] C N?]ʡa +emթɱx4Q ~@t 9~w:^g\\M-T-c~M@ 'y VcMVgGgnE+Q@r{0vAG3W2{$2T!]*]VCe2Xc[F Έ_|1GXKN$9%XuӖʏ  ^'uV ,؟Y@8AFwEr_& o,$5u_w?2퇦ց, ѯKnuLیOinDwg}AVh|)2'Pq*Ir#;S'!,M\+~RjѶćݎb۽l$ B޸oxn}2YpRy_0~6LWAY*6C kj7-z~ZۦƸGvDG4zYC|UĘ s9yG7r,o_kc 8u,gK[& ŴkRQ>+۹h#e& .uXNcmUpdwɚ*(a]?U܁W)[`+gRMtU-졬̗u g>}zmޛVTkԪ7'IT(_㌮ctR1]9Ni^5LtZCx٘#d/&`ֹ6I">鞤t-$$X3Ex ivN{Z"s-[ʩ1,}OF p-EZű[thhZW {g}kAm`0~4XlŽkqRjf1{ U2dFFHZg W҂Q@CC~$g!#-o(c`ڵ5g4 S۠-2d=tbox Sc8(^]q[94 " & ;jσo\s8}w5O4aU\(۲L5dRw\^VBx ALkf3֯SV$k!cSSo܈LeF42*?1>oRbJ?AM@]a=&eXč7YB[ʟacHTŇ]& XB%cJ<b}y-k7,r& pt\]YMYFb_KZ"Bn~ƽ߆ _~bGZdo]B)b6c2=a4诔maS \&ңv|tRÀo)6WJ>!InM[26( Sa'eg$ H-W |rZ]W>+X~WY IB$M@r 4uW &|œNq3|+TG(OYReITpӍvL5jAN۔)v)D ͦhHD8 =,9|< u [orAɝfIw{#}!ҼIF疴hX97< lNη-XeXiP-T?*N~SԝZk95Hm .BZ*Tat¸dBK0)jsVnDRo pKl.R[p:6EJ,~7QLsU1Ko@+,3#rUXZxrnZ3ֶ#DLjK`XxÝsF%7fW?VhK=^;`_ )/Vՙoi;XAgljL%1఺"XDo Y [YM'JPe-GsNm;Hh?Ke#-n6u ?;DG$'ɶ@+`P$o#?ncݼ%__ iBUFUVCVKA eG],Xa[(\ aqtuUS^Blz,}>b,JYT3VkgYZy#?l6k8)4/\'I $Jv6.7vIZ /fK ,h2 q-3wQYP\,_RD7DitLbUm؄U⟍98L,U[u_"DgZbW6D!}KTe%15=hn܏ʗ/οt 9*,B/y@Ӏ#5ﱊ.<WLלr?!R^HQN϶嘤 hJ¼ .glp,?2\!R : GrT%PˁrL|gVkc@;4[*=c&.uUycC'gsbmؔAm4nB謵Bj? qn$-]!ZFk͈^&pc2ǿ0|0d@82J=)BBLؓrS]xB,LPJ52>`D<}b[Я*\aXIU& fk䶸WR;o)7'aq )$ i +Px&]СSċ7.N.>n}˰S`=QMC`hH@PWCZX5o®QjofK:mRPj!@31!"Cf 0fT#>U3".Tqseb0)ڣQQAE'"MzP:9O{?gƠPَZ%9M!GkeD1͇Z֒ mpwˤI͘2U@Qփ ^1SK Gο:18+ޫ JH9"Uܠ]ZH+554?ࠄh5R yX3}meA9#lW# o+5w7Lj .u3ןQmjT;[%LKTuQj WzY3e5 X&5nw/H( êk%!DCm(.0C8DEK(0PͩqBRH&tqf 2ɌAa۹+c (|y2v]txP?׷Y>D] ݵ M9JIZLA 塒2i[Aҹ{YIyy9SބU!_u@P7ծC~ТB n#.3*NkxCiLJy#pw(pSڝXa(& WgފG/9? W2L@I׍2VМVsx>y֙xLZUkuezAd2j8ĝU щȶN̸݄EE ,WCln*@~6h0Ի7~}C@+~v>h7M_2r:;Zyaiv;AcJg:UvbN) 1ME02AtY7&C D41+~,xz F@UGv4~l$Ncc1?p8Ozdt/Y݃Cb'[^ \9JҬd&dy °*[W«nFȆ}=,?[$Mj1v g28 ^y:d0J&ͧ-1t(Ι ĥeʌc,vin͙AF*j8{-덓[մ yd=}Ba}cvw Y,!+*;z0-YέъN r:VA6@eR-u|XәYxTp|څ%"zD&@srJefYKV*{/.BivU–y@##A҂ o_ d9.3gCcS_gZ_#Cu^(m@}ꬋjS&-o.!(#&j{Y3_ %:1ɺaeFcWӊNElu8 9CŅ4)Nc3߬A*8\>ChKџYyѴpJ+C*ZtC#cَ0YF}iHa(;[WJuf 0eYŨ,F|ɏ 1a''N@4h\QVx{pT_DZrt G QeKr~jɼZxq㘹:)<>Ud6fjH) sBd^@ZDzar(absH** cVٲ)ÌTpRa/@]m Rcۣʹ,4֦k˯aZ[ǴH7)NY֯c D[P VCsU`9{ŋ|"Л:yC}9&N=xW3h/ѻxrV˽"np pQ2zB nLvMg_\QUoV 翞3'qo1eAY'5yϺ_mv+F>Z+$GvZ8tm\t"|v@r6BKn|''VN;2,</t_L:C+ #W2=ZOE}fz$ Uu!_ )D t(颕h(RtU!6K-tTº"r0'^(Od.T=QG ]KK<`8?/X,%+l zղh(l j|ć@;]RgyW"uss&'< yTGS[ S+泿MR=^ǥkmk!y_S]d),@[F$GV\`};p.G,LR']2>qRᜓ^Ftȭ>`#ؒ+0V%_axLٰٙ\Xs]g #VP+IadxO-z|Tu}8qf)M{(mU` A)?$7O0=7ܼ^bBjm^~ld:{qUz(DmOڊ53ePϦT} `FMAӪ-DbSmw9(!nLpȟR(/6_లOtq Ո?}S_˪C3bN/{&|WnV >xc!A,,'`پt<_vՀڸ)$Y׸nZ:^J[钁X0s Di:6%`ɌF~ YCHkDwk#bZ_}Rf}ĤO i)YfD=km=Iӹ7\^${S7YXUTr/>;x^_H9~&3v]Po2s8l^Bc>j aj%0+Z6qp)%;fa oB8Ħ;ThQŊ_?;N!E奘+rb5C;cL[;,d(9Ekm[z%@7C]#U)v,X*_Wa92 P#;@ X?oi$fr-GĈWiXcpj[VB5q;n>ԟўi6ŶSJ\~F:~ޛylL%H=l s {G~8l XX̸cJP@C,k5dA8ZJGyRY [˗3ջ4zx]@;aH"}ZPxA֩W)< S>-V)ZpV0O>p fD*ZKX-Y2ls' ݵ ^WM3ڌ1yBР~Yr^I^dRdP(-0KrrrYkkwmqJ]&3\l˷Џ$sVE%;[ּ $MJŷ/+mvLq#wIM~7::rȞ%к{mʻ 8:@QsHx=LwD83NoA.Bci30 _R$BضINF(R`>R[BՙL* Y2P8^t(:(!1c#!w_Cڜ8~3 ֙iVr7>VI|'I?M rKt6`ρD$~ERD( I2IO6H͊#!Q_x,q5}RQQ.jcv6 {#V B;H9%BW`ū?ڨMe&hxpQY}cqvAui04dNЖV}IfHsM0|U CLGt]s}ܔ^ $sP]ٹuςC.gZ/fXQpUv쑠f]']iV}%Rl0i~b :8al=Ϟ%tzow4q8WR BJ,jhac(ٸ"J^W;C\ܤ/n&*&1d[.32Y14iaE6[_5"pc g+QvO3ľx9o]1a P}'QܔSXgH!c^{{7^m^S;Z_F(#3ޖZ$p[}TNk 1; 6@Tiݻέlȧ+&N (ӏd>Q`ɗ2N>#֕_X`K>SDrQzer(ukē0E5aezT4˜HxOketD!ѱmڐ#DtxVX̘p6bso&hq%y4Vu$TtY];.'t#̮3/ଅ:OߜΈpV_8?-Wz$]6?,*-Dh`BBjwg_%B륅Ҕ$,q791cP#3ÄYoXX6E*'ӆRZ( Ԟkc~C+:r;F,ApR~&҉;yLy B=hS֙IR"*0wRTϸt1y MbLFEAAnrs4ʓ;~":nzK2ȟJA0D??M d4E¢*OoR x-4p Ұuä5H?Ц&0^"?m +2Q!Uv,opg z\XQqRl2ʘ.a?(`~7m֊ 1}>^3>m=T+ Y'=8(xXҗ|+89z`aqpk_-9>Nk,0&+p R>VVE`,-w;8zi7L3lW(jg|.FUvoД+9Z~-nZO :|O&Bd3gOD)&3P3GZj척q4@jGy>y?4'91k`M kd7.r)^,B]bk-ٖCdDq~nD^ ý8Zd G}I7pxuפzZ=O_Dl@o=r~gئ;7I7& G/,o[5s= C|pϼak;](aĖ֣ ѭYG ԗSϒ4cdV~|Q2hqR.'g˺oWb*KdzvE Z9Mkn޸_B^|&3g,Pݸ`+Ai-qԽ6\e{\^@ ٶY#Q; M_ 寧[kM5]2TiVW%Xw^> ._Ekh@"80E7 H6[$~`2buR4O^®w0"@]^ 9YÃboP}' DN E -ٙgr:$AB5vSuX=$i+/v'UN /_a9+[clx4 t+1Ȃqǝ KaT'NKN]^%6eBY3d8=Z`7H6MSlM3D> w61H6`Kt;ȍeC]%o<{ =jIW.6+wr'C)Vcd-ా$E7O&kZ$F~s)9l{)RT4dJ2<_~ۓT͔;7,(uahq%xGҡ6~zuJh:ii҂n,+[X^֧m'+C>k@\rAAmYĦ94Ԕ^k"P䡒p~D{r~I"o=tO 7n!,. -JϷ!SD&XU o"Nj()$_wJ0@Tiޮ.I@6Axm\^ a />/XFt  움oeA/{/20Z$(HN,6FDΒ@SaMlmߢ}To"&==1V{;|rd &W6IX&F!U?-&l:RyB1zjtUY$:$^A] |Q\HC ىa ӽa<=Z&DHng$YA5cdmjQܐs_"LA^9ܻ3TYm6LxyKn-hL:^`)[Z! {nIcJPD1 UtE<鶱8fo_TD _$[bm @ҷu{@H~K{sw,F7N.j&- Xhق4B;Љt"zL I E!쵕d$ 9x!nkIX` cEiؐO9c_ٰ{d:#EH NA&"5Kv5N*,|(1M Ε+3-x  -(ZP.ʇNx(jgQ>ԴS7S֢P6?Fm#nfS/q2+U* R-nĘ>.ԣ?֬(O bv#)4ؠ/SX8%{^ӉXwJ/!wJD$QqZ ,d2Q8Ep{e0^5[X ȽdJCUJ 2t1!*]>I~_%|9QG-SKu\^ ~ܘ0H.$9`#d^;oo`U~MCj<%’oQ ]ld#2j}{F1~A9KJql(.oG{tv1(k_gBxFh 8[F)̨浾(=o!)K2⓮5ʓ=\H5 NGO,&d<<~1Qqa}=:pF# Mn%tٲڲG1 EU1TO)]/0CM&i&ԝw k".b8`y>CTa +(Ieǝ~ ti5\obb$p2Oja}h=fApcvh뤭dL%5 =MQ( Ϗ6^G;5c?K%P6B^bUN^[ADNÆv5늫 Pip,%legB:\hx"o󜇚mYx8o.Չ]| ڿg|}AH u-N1^oĽ섽|R< ev#{ <^$EKG4osXm/Yܔ8iTC f5[HDHa e;hh3l!Mqevo'2 e 0Ł*V,vI5t!;xқ? y7x n;TG0?4VcrI0׉T 7:Xtik+7\ k33rj9Y >B-¬_my UNJ|Յ)yD eᕊ[R2Gz*dN}H>A5qˈ(FXZ=$t<ٶyj2),]caT_ AomK݀]dB ኯ?z08%ЪZZ VXSIFLJd7JOpwCW6o=ˬny}pEkk)ϕL+ EʧoMhtS:߅iV?ao]NCtnT. %dݍgFq8b8yOϨRLn,,]o{t^ktl{kimFe-"X:=O$;T$b4`ېxlY%thr5|5R|L+rJm\>ee qF]|Ν)zzTIM`>HxU$vH|8^=v+99RDKނ'~-fWAؖpR0}l͡VN=/y] o\!Zkf6o'Ҋ~ +OHEMZV[ —^ywJMn:H۽xF: T;xPqׇnف~< ~GM@Otur?KL<Ġ)Ngg-c Wg1Wkv-b@Acts(s]wU^Z6hþ&8)D"wxZJ5uL`Du"|&okZ1Vt&2KG 1{kr,FJS6%Σ_ӗN^Km{n8#(Bv~'|7 @}[BucFa@>QTS~K6&b(EW|~Zz*\X{QHy C{aOh,X('Ax/Z+cy}BXĕ?Ocgx'Pq> SuZ[Y@2¿3s'/ s ػ{E r(s)'t0p)~A`=~h9$%P"%,e0CuS=E_rULQX #`}V͏cjT2./_Ge2-*JExHGd ?2%I0)˻}m'l-uJ,`V{Ld,h7v|{VE=ƾRw)@'iwhUkT)ad&T$ CsĿLR c sz ̘jҪ^ UqHJxPg|c?L{Ct/hkpz}q-XR]@)c`ٲEXZ0QMjqʐa`g+@+NOXFmj?EE,BYz|i5gm.8o/Ù|ANh&y(]E~E!{AؼA#zrQ?bޝsۺF (ФFi/vܢ1fqe7+ջB }3 -=DX3%A]IƲ岙nYh߻zInA9Wo)" :a=kR(CzMa|}}f=lJ֎^$-ň-E^e>-0__FVY;]\;k9G *t[Ӟ(@+Z}Cb1P(b5\=s0`|jLʶP X[sߺueIƊ LcxlIj-H,eƍǎp4R$5aƊF"VBqn'vDB I¨.QEջ eы@[28Al +Ps ] aaV-hB 8@v((a?-iΈv2E[%ӀJ=[bvH ǃCJӕ C9xp9%umث=ҽD*ebPwuw=d;3gsFzAS>$r~ep o]$xZ=5f ]UrE'vJ"j[$: = 9 (jb~,ˆ#At Wwz)PF/-oI"XCC$tO=a/UnvWGT=&N,9eߥAge\f>,^=O; Z]w548\8WnHEWNUCm\%wT`U.(:s)_;XAUM ];B3 ` B\.8R+dn*wm뱸MѺ} WvAj9U3q|ZXkw7DK x:ÿjp;p⊻ZM-$j`bgYZ5c5732d258404b07095d2fc7844e3ae714bec80c78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 655a6291f82b3cdb7b81a6f0064750494a878d6f