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 B- wS MonoidalCategory:threads=2elapsed=1130.166cpu=1924.040gc=71.776factor=1.707zXZִF! I;]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C]0;J'h=QB`pֹ+) "%OjfZb)rsCΙn-Z[F?c__`W\٣U(05BZأ]Di^Y(ͲDO-VI5F}IF^!,RKdfM6`ON8I=>PDP oO7y[%f RSAHѫq}dyA:ف".n\WYA3yCb&e~Bf3(]vVGv/U_{)W/<bߙ]mf8ߥ|}ץrF( e̶9m1z[ݸ"]Wv ִjTYWH$.= _XL8'0W& 4{w3{bq+\j <;͐Μ C`|HA="$ *59%1qt\ӑaqHGoY2ѱZ/Pfp@ )8Vt0q$P Ύ,htUTM Yђ:xBa$c{cF"w/nU#90Sd\,wRaA,~,N\OJ'9 7aZwÏ! ޠilo C6p(L43D$Iz{ņ9Qa6 d E1J'T6Fu!ϑvcUtgHĊb0sS7ȒLN]8ǻO aG#P3pH˙} 2BxnM鬴N۶/ZI$hkB)[zRpC-,4 )-K /lu>ڟ^M^{c{4'~FBZ?*3JWR`9&'8k{Z!w!{Ehr8Spuv*7D*z+NPnϿ9m"I ĉ!nb@"8;a,@z2K&M*ta?SXf9AA9iO6q]Iw#aIT$< &7NU&wpLxY(CC9yUeo[.*:B!Y(x,㰛ᙟdٛV^zœY ` -%~cJ_)G$HOVo:Fl-iPcB[{ujB:_ΉR}/7;bbGu0(n+ ׯ낃! _J`R&]πBCc]U ɏj Advynq ,y\ȚqnZ w5K=]F,} ^| )c>f'Xw_8}LRRߣ%fXe9C~r&1lZjKC[j*Wsmϊdhg7d>DŽTE`ǔnHWү&#juP|9DðQ/Ih.zS"+o=ו?B#KT_r_#|;Of&.(*mlx-TC(tW#4S ͏y V.W1MEˤ%]o>gj$rQ 5+ƨ{@ Ysy8,W]r١ ) M n< zB]jTkçK"nXrB8Ywoc_Fcm>DZ{[D0dc":b"ʍ/fP[͠'*ŀѼ>lE4xj!oq aUfNP^lLIP~!mdA?qB^gԳP9TvT V`jVL幂qWDH~zdR-BNeKÉ [6p \k2n lfnG#؋0HmΔ(!W?ʗNhK`dyR^ 0K!rq+eډA90yDr sZq}E܎)lq!46|'E;6rY(pxmLň$xkc%T7OP.oᢒQZ$73A6R,SČi>1rnוyL"rН_ .,'Ĝ =Eސ?bZ~){ȐDSDHvzh^ܢZ'Hh%=peaښfUs&#|^H ҈l]*+$g5\t?w,su$5:EL=v#ɞ!"*?S3RbwM3rܷ%kEtkT(zvS'a9jTY2ȝ^$X5q 21^>-όdMP"_謥`iI.=(KҰ1ӈG罭)7A#1sC `X'':I^ 7bh3q˯PzWJNeu؆oNKxڞ0Y!;Ze"rdA 1WIl@`.12%rZ+ T5C]<Ϯ*wΡk Gi粩9Hn@1x+"_7)3#gxZg_O9 A/i+yN%n - MonoidalCategory'%RlZDfB GkmأX۰#?VHwFVIL $ Hp0a#ѸMGsu|P9҅_s({"7(!Pa;B0$ϐݝNV{+{jwاrwQdg2mw/{ٴ2b zL󻜚hǂe~Bj̺?N2Тoz).C:޲E^YV4z[/fCrp,jB4tNPX#>WD~Ʀ_u 5x<颓PK x4hpJ'y}EӡNs}{u!fgQЈgr6R#CΙb+Gho;M( tSxG%?+E B3;k90X^9")_8 DLIXL7~EL[1F90k@F&I֦U'}}!&'>FB5#L4L$fZΈݶFLkF:l .ذ,Dۇb:?J B q]$~Q`1hSAY9(4bڿhF`swvZcFLJXYQagdo "~gB|ojW"*JJ? {2&l-\눥S1EI,'oH TIߜAVͭZc7f0^4Q-j@cîe7*FDi͠aPAގY/*leJ G0uH!S?Q/9gۢ kC`5ygL[ſ;sltG@$V$GCWۈ<;u@aAC3ֽ?֫ IӢ%+H[(\U .Ap5aA}@fwL#ԯ•Ya!WmkG j,㗅cZg!8pU #Vz}LOqR\qjJS VFDA{1:8&6m"jWtOd$i&^Fu׏= Mva eਯi~!'ZJ"նnc-1uFA05vP68Q5J(9[B\zH$e H6ѝUj.f"8r4lV{#F"5Esv o:Xv:ԳR Nilog_Q 3WwGOc,m>~aNWΠsTxe\$XyjŃ5&}bX#o MyǴ61@kj$&;bˋn' Ӈ7gbKx5ٱ@ S(Z簟ߺ?u16k\CɑQxn~#pԇfQe?|& |<~{ZᵘV Rd[{g`Z\:t=P軿" <(E;*݃`eWV)ȬA﹄L5A3~jG1TvH#ȫw uM6LFL࠸k*wD㹾.ʡgYZ7zXZִF! ]ŗXi%6wFҟgu[[ܴ5T8Q`RfHrY4S E! -\>n銟`ܸIX(SKA kbR?b]=?#*`@|%\p=G{ȘOBK#f0N$hHف{B*O\WC>y&ysoB56wǟ^t̾r;]^Bש\2@%ulYvbʵ 余`Pl!]Z]zI?9Leǯꐇh{1y2k^Ȥنc TuS_a_&%,[ ^cMQY#A,_"O'%S:'rKJy认p$ĥIdӥ끍XCyӭkt-3B/ _{H[Q(`vu="2:OqޖBsHitVU9}d ޞ~{RWD\ܹKMǰV$5Cw~{!JPаa=&s(*k'med&CTJZAOx֕rz6fpdxyqF2ALơ "-UdpUhRpȕ R3);\`ᓔFkr  PjP7|È"<1Pd:y^7vdanImtRzo$"`pЕ0eښL1 u"Y' 55g6թߣ>22m$le`UfnN Nb^1xpO~/J֎bx?07*iNːgꀩq$Zwgבu`7RAAurDԦ@K~5讞ו(؂j 4ԀYEbu`ە)S^J_2S)>as"D{BginbϖYȋI4ršD¹BcV]ȇ̒؂je6)1$lgc 6eelRPr0@);_E! ]Hn;7 "(wmÊ^,Z9\jJ>1ZL vgT9)lH]C3Ÿc;3%Lfq3뚾rN8 K2G FAN1ӡޜulV<:W&2ͶE'Oт>U_&ڜzӝP2-}Q w /%[b7`-GZva|Ğ4~==?$o-ԭв$%xD"t%]P%o%('_(@@$63MUr2]܄u|a:F_@f9m\1"k'M-rtzw vPAe//E`IVFױyW즫|O C1ua&}6-HD*a{m_TI& } 6"_3e-C#Y"ő4y:sꝑi/RѰՠW3^&-[^ЇV$-梬&/5T] UBHюkWcb=­v_<&) {&`qcfj)(/Iv+ Հ׍#0 ^[I֘j=@U(2A#'}gr'ݥOKLٱs;dfP3<FYT1{gcGHFusI$aB $ ]x[q5Y&:';ncr$ǰS5EVT3(O}z}+I6v PxQ`ZtA֝<]-v-Ú4Z DBMޱ7߆(QN]|qP,e \ciu&2=]S]XzꮋyN0:tjry!uoʏNALg4SlL) )ᡒ*2RhĀ_oRx|iEGN+^AúزHpBZ[ܾqcPҿ 3uqD6^ZOUuj"$<04TMW/HVy~AHա$k "CqxLRiQCRfR;xM%+5S*yVl8 z_z5tznޝ<%Yt|]8s'˦#̤Z vwyjEjZTp4C#[gP$;:y=$EAgessÔ*ʉ`Sޅ05,:% D6IU=Aqbu5?0?uul֫WqVJ&᳖:J@ #ޮpeԼb |pRDtcͷyWz'"֌.%@S7UMgDzS-3^\McJҝ"[(Osb0kE+s낙/P6ZЀ=) z,C/cK{!IA4x z&cXcMvzx -3CJ0XEV|0zgaR}?۶4mI-FG속a1'?},a DȿQ@` ]<'/ML J1<۞{vjYtMea7EQN>t>aQ8ܕG&Ai7vmtxӬ,GvV4#$/٢~xӘtJp:8YDJeVLee5ε[|Ib "S'^un*\dg_`Ey jNw,x*A>,F*`=''VQi|M`) t7PxxWƛ'+ xe=GGjn*5˦l+.ڬRQ˧#ү h`TV k(%ei! $~i&l -?cfBqMRm-y0؀ fLfn9-zɫk쩱}@'4ڿ@rZ.w  |wscUlJvU~\G=; %q^%t!c *" 8\6Juzc$ d :ߤJ# ڷHrD zwqakQ|G6f ͓b0(z$)L%Nz%Af a=,l ԕiv eCfg^#>q4ɀ |ns DOҔlkq;LFW(Çʱ^tx[E^َIF'S"@HD*O:Xվ9NήA/Ec;>Q٧ЮJ.; kG'٘`7?߯YqJ3keJn<5@9[GQFwʣ ]4Äb9yS23p @'i*k|uȏ"'YDk~=B4h+M&U#rM`%))ӌ){hk~Ɩߠ)ֳp8;mrR&B 9B0Q@uUa~ m)oi &Tl-˖(֝c7 ΀}W"{*bOo9fzϰhaq> KWN|jKezoa"oHXq[APԷ4x:+v'Šdw2^Ǥh5xwf5b%\ <)B*wID)0JOq\1%a۷Gor;ƭ~-,紤3KҞw+FMO5Ϋ]*ϖi  "c%2#;^۸jrWEt^|ݡf^f .#MXF8UoAP> PCxc m!)\e_iML~s]dc/J"fcݷf]cQ\B>騗uB h==m2n0)o=k?G -}2+kUK'Qh8xBfp@m:>5w#"1 B|TF"ϱ#}Dh%+lʬ7?b('X-xC]qQj'"+l,/'{e- q#!Jo n7Q',o4*z ƚzW@+47q(B;{$Q1s#'9Mkc~O2ֆ۟p5~vS\S' \QEw3ҬaqgwC]GlW`piYgttt3 (3&6Q,BYjPt@SL|\M.1i ^2:urO>?RT~ԋWPqF("[a'ƺtRXN4\=si29oU |_{Ν0MqҺP|.E *3g՘e=d|hA2}Kw!;j)HPN&-%mY hbC]㑻NE~g8tdP&7.>^o)Iv%::ZȘ̼LYSW>U2RAuk)mu7L#:.+-y辡l^S<4۸)N(6Z##䀹P!KRȷDXј_I8|;j'DKI8n9.GWk͇IqW"gu'>&+L>\ޒd?%ƴ 7 5YQygѺTVoY`x8OO@a-s.<^_k|7b2tߦ@ ި|}{.j&k^G&Ϫ՛}KK#&E m H Fu jdW;2͎3mRQ9[7O*[|4\DBȋkA=c1;Wj3 cE:{J[2 y-BW159f50%~Ȃ*ϦOhvƣLvX T!msg/c ZO5/fMETpeY!N>[[-]<]xƧ#! ȽVzrñl@W醂]K]lQ@ QoL,z\zȩYJҘcc|k#<%acHdU)N"IҎ~ [{\t4NIťV,}s?EaOz={(B W"t$PKUL/\G?kn56KEѡ@S}ES%ب eJt|j^Q>4Ve;ŢJ)k0J.@j7cL"I~z: :?z>* tE̬'{G"KFvõ >=1}NeZ{l>B 9P&bAV뉭IVm;L/"ח֦?pUth_iONRjΔ+weѨ0uoFn?.T垔b<5c4ukpPY%Wcj$\K$c+Cr.9@*FcGyb D3vrO"Ua#vSOzK@}eh.;4w!']dt`c,0<, mH7 Hh\QuǠ;S@X&;xr+x~/J )Cmj:kxu)a#Lq5,dx0ye3ZV. °X{y+|d;Ɉ&kv-B|1M?eN 5,}:z슬661UӰDXĽ ?ٯ<[w(@"GFoL[P,cvrrq"G 8|y~4۵48*μl/eψrEp)GP^V|lj׺dVkدy3/:ĩ+Z1&z14Yozg?PUq%CYg2u<>yAY/0yOWV&Zln!3 ^r^pR{?s?l prn̆, Qeu+uhI`0",]o׾|f08gg=OKV;mу)8S -֦^⟚ XPuGjuK7Q &o%@B7?o7` =n?fe*~k`_XjkGޜ@0 w' ȞG eP[ 0' p0Sme JaypcSaӗ߹^amlrn$ȰD5Fqvޒ0>?U zp,X_s%VSJ6a_}6e4icoœml;(l+b* j*-Y[Xw1Kgh(iFr"13=.N ^sB:4<ʼnIHGE ?LGB$?'<|f )XF.CKڦ⠪K&:웻$dO6}r/:=27vjv=/c!l=hr]s@,>m68نJhcl td=x:4'ҚI&rk*/JiAZ- w8 L.&o?ju߉%G/)㏘?jpkBɜ7Ĵ/kJqNB@ݣQ!'SEIщY釾`OwTi^D%0QR|wΦ0JJ&x1ET6-?\t67k*#H Ϛ|"{P\pR`6" 5dS-? ݂2`](Y5 |ata 2 F$XaoCż0'cYC2r_PuRcn 6lxȑC}r÷U{(x$)3q=0F@)xm]C(Ք'QAK kwGcM0_,D3SFաƨNK|s/D%m?)ВKmVs9Z iZfCp* +7o~ c>.;3":SF͔ڕJE R'i'^YrG\Z kI~VɷƋ/O @@n1d5}'F&*ްqMKt%Ÿ@~ &ǛwiSuzVzp4K@Z!@`NBCol{YG UM\^aF?7a}$\l?!$kƬ}RВszy/CE^1{/f!ug.\gLTテ-d58y@vjX#4`4M(e@UGYIY/JJ!S΂·=CK^PиZ@@]=E \`Z1VX({5Ac6I"ω5\?G[-#nƖ@A2:l'3hmCGcST>ӆ)nUM(f,^#T*:_ Um>iRUUpkL'Yu6o>%'H@ŰD1L*NKF]3L9[} hԅ;F#/q99Kh='j^18t[;ě:2%;Ʈ_6Ɛ$9mY޴  n_~(|q"X +0^:߼L!Lymdlk$P[ Rmb2]%JxthCmgh p5 *H{lc?܎hv7'\n =DFi›2w^jN\&"`m<NǁsYf]l%@xnqISI{X 1Fq;Q6gCB}!ϓmY V"☛MjUژq(zu$ *xLyUsbeQ˯fx; T}[6:m%]dX?\ GmdJu:Cv .5P.@~# q|`FIziSm\xIOjtjdu b&N6;ѩ̇2yRnM[=! #dip0_:o Sǽ,u D!#=Koe@RrX[f&u55Uhu?F{v4/iIT(;GWT<8 ӸlhҴoO&`8)V&G!PBdK@VSRxnPt"_= cd-(lQFvV]n fiv(5Mllw6>f\l{C =BŝC7it6qɇ f~ЄZ b򑓔>(3\ˎ\p_k=6oT|Ūr\9n+5gKuF7U5>z "dZ"U6vYz G7.9Փ lAR_oj"0@ z?дP-&>#pQt{x՚d^K'q8`p_Zuohay )P[(6|xau< WR$U߫%x4jmaLF;7S2kIP]s)ֆ6vv*Բ,>DEhDz)ǘQ(q IF5=}=(x9z0<C^J$'eBTa]9ZC =^ }' N2՘4;!3Hn^sۻd_2:k85 '$ͤr-ط:=Y%Pܵmq? W&nCp/|*F :KMA3kfc #lIf~'%f au{\feVw^a[}o4c{Hd[C߮&Dz>Үi)5HHAq~Y,I%@0Z-Sz[찀v~p}\_ΑjB@s~Wc-iHCV^=\o 9l>d8M#Q1`1*uF[u_< | "߄L @TS[ rE7OzZ5{jAzVdoi9 eP<;תo%44GS`~7Gf6@8Fɦ˪"^CbTvv-1¤ڹ+ @تh+=b f+-jPW; bwhu6 *rS2LsaRW$TkMza>*oP"̎Ws8/B}6o'>x#+p0,V1!f躶^R8܍;Q++Ob?FMH;M&4>E*Jl1iT-U\>>.wSyD׫c FD5_MpP8Rt+V;:vQڪ x?879V*z dvQ͕ɂFjLȁǪa" *>0crOYm3%PҁWqtHIRGCS'6^$#r+x<`9ZQwec4s3ի)= [@nHctlz JHguk7bwת^'ڙr1ˮH$E'??-w! &ϐvѵyn{v)k *΢B$q(!r2zpTxO̞..ܘX`䊠L+Y@E]Yb=vEpTna'_ SCguq~CD?t>Ԅ_#uiȒBu yo~/Փ! ܓ%dR7O.o#"!hY·6c b?P)Hd0&s 0GGX'iPRvD ٭KW17gЉ>HgiRgdUjԵ! bgIJDD` CQqGRչ*Mr?TwiO?s,{#"H%K&Qhfb^0H!L$P暴f#SJԴDw盺[ޡӆ֪׼3o_AeO=FfvZ5u2̘R@UxE/JZıa8h.wFn~ P^ʀfܷC @ek'ŅF8be1=]28䬬1Ԋ:sj8Bw) ?P-+=\]vj%۪JĪc${^NYi#<$J[MPl9x_U<Ya(>k^='.V+0'3 } |pߔb܇5Hs$|GX>F'[F3</z nxpTоCK"[5 JI]G/'f<;s{)REټZIx8SMO,X28.Ue7zNn#8aVNK؛ 9=K{iiA$8@.b;Ż߄FI^͎4JO~FdSn%f]"W cML1E>j-kf mQ,ʪf3"iCj+TӕM8oƽm.:A*Ӈm[2Rr?r QӉ^tAX^t4W5֦㋁ i^y5z8NŠtqdx AjjsTu_ԟ +]Ɲxq5MNЊBBot:Z{נ@8oo(OxeWc0r'TH؁/ Q#&E8?v\#PUYEIOWO5_igpʖ,㝓M%Ѡ>h|OֻrEuc{1+Koq˧,Uk9)("JVKS1?g.NQpöQxܔI?MOƚIG=4Ad}jPmכ{ yK?_ƹ$ m s6b7X+XBD!S(@Ou8PUf*epBW).Fu8mmKD:cm[e hCBd[A9*d'3\Oi<(it%0|KJ lCp)fdfp0XZm9yK8v;NLo77+BRD~~X8ҼW. `.M% m@pUpdoF<*$T :d<`7DO}T!V=2F,oorQ7"JljҟQ糑FL~4ry nM=>$2$!puuuF%ߞR1⠬.[:/[ܼfid@3/ShJmEc6ӥU>iOZKKt +5MQW۬7ȻZ HGY:]ݼ]ܢ{,C e~:Syv(Z/ ?-i-AubSqNv|#|mm }GKjwO%^[k%|ڰk .,mf4ʹ.#%y 'HBJP.\>LJK,f"|N*jܬ,w8Հ`V"A^f^aV[vkKNw&-nb-x*k<80K0m ?Q2@Dk} v#a3=&XF]^-hϬs?G͹O4qXɑ ' itb~ߧk %f*'PYש\-n;vJڅt@Rj%KF* "v7t^ȃT{WdwD_.3i=Q@J <Y;rV ??'٭"[(0lJLo *b/nuJA6z˞'^I3yhT_R7E6]' ˇG)Vy|$8GK+J?h!m*юZID~E_-K6_[ϑ/h#9K&ᦱ<s7)5yO%H痴 4CU]Ov_iQY89m|~aXJ0|?3[KTd&ٚCX96I;NQ]\t}.8m6ˎRMvQ<)_ewc$yP\ּK=N+~J^#˾0KZUQltD罋ѡt 9UzHǴhӋ~/U9+nPUd3xD.T4;[ofل| &pvXւawYdUr~P \(~s6Ǯ"0=Ha4!g(y'Odj>7/lyW`SC)ݪڎl/;wܼBzpZ|$¾3KfCc^̔~*\\D1oS 5 $N~#t#X*(gSaA<%=*Ng]DFs'a,&!5dmzvYf)A6z20&G[r,њ^y[w:]R&sYE6|BR`zƺ*]ҧռ~]$`s\Oghz5$ihك ][L6#!l)^GٴqՔ+RtΊQ8æLxOyAG%zTwi@޷r cbah*0iJɓswB ~Ro-r흘3lx $6B yЭ=r u*NL zvX|{ (U65ѽIh z>q jOq2|Gm$B!]Z'JխV z7AH)6ˎǓ7/7ZOYFܬF[ <#H``4n\ Q/h'5秷 Xʊ~k4ye eh"̡lIy7.4׎=c'Xjۆקb`tWwD1 HxMMq=ʜS +?)8c?sׇ8=-|{( dh%Ar鸴|kfqjPW#IƆ8-mWҚ_(W3oO4ܗ R2opӯk*Kz^ dVY\EoQܝ61|;]֌kЕMfl:! 2$TLxa;1nx{}?=͘>v ֱkSRv2Q;>_*.BT `ʗ ꐨ /D6BE$_ / |% M x1go659g4fd\hi:(ŦjaNES&3/^RfkҹW.tQ\K"t!:VC9}9j&ﶈ+W+ ZS耊&aQuxz:<^Zi-= ̵;2w`%C CcԜ~ !X'oY2HX_>ufbWQ|pUu=;mVKsoo+ %qdNWA{ sL77z}hfhBħX{ Lօ ֹD['1!5ld~,Vyg l+qlh$ʋ~7C7aǣ_gH dmL`D/;l;C2i0n׿ɉ;KJ$IŽbqXBppTALZ_}R$&@$',9n)U;[ ̛B;YEe hwvxֈ ^(,;λR!4"D m`+ ?i_H:{Bްö54sSH(9]*b;ʼq֕2~ |ӲgfݷD0 }^eCQ{9z8 y7DtPqr- ܎Z"@Vȇi`mVX`ѕ^(u965.becQv4+>㼷1 \&1*]R|\$|// Dg9W yM;DO&qsg~g.~O(v~0N9r aIPVL-͟8[u. dGEhQO(>p+u҂7fՕNTȩeH|B&=#='6  ƪ{WQT) JDq6[Z%LQr)K?PZjxK-vleY-ȯM EV:.{y9hDjq0Z@Y>*%Ѿ~i0hWB>Q2K<7\ZwG :Iq;5McXI =I6QgQA':~XIPHZ)PSqsJ"29׊!A % ީv;PS;΢ {zk +-+ծK+[Vo0¹rWÕ :->#5"Գ`lwd{ԯþnhJr4Vr}ަ:X`IǿBD̟_?Ԏp-u,,1k@-V3蔆*MN4 'ISN;tBONuOF9R0Ç~%K 6Zyy[;Y;0 >?k__x^#0k#>G:lltJ~k 17re47Q2(ȉ DK7g ~V=c llFۗ& 4s!h.7tڇ^tcQX3n.VeGQ&C\&nݺ_J0Bsn[Jy?:KqYFjyIDķWaHb~(F4KfLe5 P fL -Ɗ)oXɃa8p8Q`IEi -B7hk\ijagqwK1,kL02:gi28bMiozɃ99$ GWr2{|Dj ې7na9U{Z<uym@Cz`peq+jgq5N*iT(H3xbp{ ϴe,X m6":5A.{jd}2Q*؟1smpNj2N봌l`\Hyi Ο㵅ș-)DWT[";ȁUY FE'tt`;;ѲHx ^Bu,DBQZ<SXjJOju&թ334 _6ɨq)8ísHױ\0ÌE˂*FX, HQYL\D2 "\!"'&U-s@_*Ī1[5Kbiͧi5еl*Rw$;ۑ!lr^=ߏS_ijx3S"ôFhhif2@ {ƇDf;kdE`CCe럺ht9E%S8,`> EVZVBy_P~]WB|ߤbe})`rTF3O.%Zf(o- IIjT(8HvӅꩽ a^!\&ymgF~rzf283rq5]E_4I&5.39T%C_:Eo`+tD͆ATj(1`]ĸB{E\׹(>C FBfNB!{c8aaXѓhWOcif.lTQj"b,O}m=l^4%]9|'R1F|H-IY}r?e,u@ '9' vsNE,>kQQ)% @;Ͽ;i+U1 ERż7F6L6dpԱQ2nBecjòCۍIqar {,TfN{a ĴHǴ!@߮uVybt!ӖRk~7hfV]H%Hډbm%>h2Ofü}gEр**UVR PuP2abD6FAx X?[L4@SIRԾ"k6Ϊ}&MFNi)DZ.m|Bk`d]w 4\k8_a{1>ŋi !W~"O !0 pHͳi&;h95lYUn*Nm_MN;tH߹t\&0.C:Fc<s@oED@m㞗3I a(KIx@P\c?E!݂j3|FG)5Z AC`8OAr?,fm"0߻=➰yβKL-nfMUD&hrBlr}bD*fbhq‰&1c~ۿ>!PH@g ݫdATƱE̬um5 SvTs'oqp+4eD\hk׿)wL_z8jg -%1v+b/@?rFZPIYL<(wj9 ,_FB?w$^{Pap~ e;.-`g{dLˍ2 $`h/LkT/֊4T,C+QS6dlXᔿ ט#Sd7Β0vPKjő8tuP"p~l1R^ `0vy"SGެ rEŸ;ҌJ9Z'4#6[QOE`&6_ݼ[fk%RŠʴJEWz~gNDBe4UXoK`GzMtP>_wQV`ހG тSfvDhV8])})"dânڷ8&2@S"MD3TZW^~Dr}tF0"^] gb^gn97\) jȈw)c̓8nliW :g^ ]1e[)d5e5D:1S cIН WLKA;;߉A+Dt4\hM= Vջ]iWXANmCVIt!"oKhjׄʘLgJ#)ɕ&,ʳB=1'#ԅ1ƿ폙/nj/e,M6G_"{djwj#_LR?1˔ih]sX?}K%ŭCZTt$ŏAz:EAr,=W]$ /8Ygc[P4k=`;)[nLc_aR225?Vf|;?#[D q;CJ}l]rk@ rJM%a?*SV.GdhLz.5(˱nԇ t kcʹ5lOҠCstŭ[$6XǡaND|ly]iaʝx{_KD▿ZƺUˈ4˕ [+^!KuG½*9zTT+=>I%7>Af (fcv(|(40 NIJfE(2BZ|³n =@:_2UL[Z4Nv !ʌNܞInWŨv3q+;3ue;o \^Ԙ4{\pUJG^M^ȊAM#%jpnƝo#`qG mnH~psk^(6rMzec` kyPIW̒)Ǚ[H!:OAØf*# _>ovKJZuGJם{,uZ'i(qfZ] R jg\'2a5SWDZE+UAQ|~-14=hGمjÓs:ņb4 \c)Idj,@N(?;*3Қ5&ȗ>_{ݤe4FErWeD^f!X5y? ]x G'(IBEdLW;!6ƞSi8xlnC˶ݗ\(ܽK}q[SZBn,% }b>$GzQaM莽Qe}}v4ZQs,Zf;\ocbR|| njD)|o@5Dgx"v#ŪdY1 WJHpxj(n#>5*tmXw-Ttd(uعtD=NG6#jBNC >=|jӉz0<+9ǞkY!ŷ$/8] ;,u(fQ̶1ʻ&tfC 'ϳVŴkBτJQy£d|.(Ke1K׶|lUB0LV9"šyW)ZʟR6díi;`'1h y`L10]OPbIila tH*F&O"6klf|7/ѡ**&i߷!h.}6/XLm#[a bޗֈցWp:ɇC6>?3ݺ7 n)-g}?1CiYJ&fl朥 LFjv1)c-ntX4:T_ 0R5F "f!ڭn@۽Pڸ)uY_Tqk0Y3=x]~Cq7HKnFq|ca}^qslv/:h$ ϫ:1fb4 QizԓZSZ2 IFYQ3䉙K>^ỦntdĶǭ4(Io}uv2Q\db/~,K1#]W=J*c<|RaеNecaB) oP=Bf)ZS[#f냁8o sdUhr\9t%V2hfo ي#)cU鰰4h`d0oKJcf|4aeo}"!'Z'2Zfx@^AIgONڢOE7%.` 1g&lW6oo'#FjkNLN5n*hώX ̜ EWsp>"V' Zi+yɍXLiy{]' m$(z[wX5bѠ`wVqIEc̪K"Epq΃iᄻdfHKP!%V"2znit^I&&QC@}͈&am'ZYT͠T3]бޥ&\oC_ 5[ʅK#gz2Y=ž\#y8<|cm7wPǣ2@Y0/laͺEV᭚ۻ;$$?7i͉,U`SnBK>riO'b} %ji+RƁLޅv[EhQ$M3:s`/+!6^z(I&,M@ąuEu=%_j["TaıGQ>=@d/؍j@ԶWPjwzYB=@'Z`O㑠5TspB'hcK%{@U"rW5TwGh*&˻ɨZ)ޠGLhԧ4`bX0h&>Xb=!ۋѶc.s!0Fzc9 k7Y'cʂߤ]쥿U%*[T{f}fD+6!^33akm ^ɁeV sz#>񋀯YϞA J\h!3vR.(ʴޮQ f?dX,Pbo&N}ѩeX&PRBg-eze a1ӀKa{'˓-^W=n^ЃT% `b9VK;wh%wwfg,YqɥQC>KTF:#mlp?"qh'֗ȴ_nwўzRay6+z-{⪏a؂3-6kBFTWer *<ĴZnE-Lb G6SS/xT퍝({[Z?ДiNW-GUeGN"Mf?cK<h6^JQaޤ _Ӱ~Ċٴ~@YOHuoBYofG|sh)UYi:s(k#JL#~KZ?q,~7`tԷ'uv О\Vok{%Q k>}͌f¿S4 *+߹6 3J`@, ZEo(1/3'9-ULaHjEڹ流* XiqkWΞM`r甮çl&}:T*gӾѷԿ,YÅ~ ~pРf`*u4suHwDy3@s \Ox\˰Xp$GrwU}> G'ἒy8ڢ[9& lccbZ.i /`#RZ^q1ÚdqA&#=:] #dbhh_1Fxo@k㨐ġS~랚~Iɽ]%ИAEGo%_,܋p6Z^ϝN۱7(va5m-&X*dɚe=X}սjH!ܺN֠ZFy'M-!)m<ʲ#%nدIXNZ-Ҡ/4IzUkQʓWhwϤQ*\݄(%T?羙nrWtvff2@AYՃ l,0Zan#kJ:__]VV ! pJpgJm)b Ky(Z}),N(!1ďxe5BhM:F +@"X xu[v4X')m(LXJY'ErqĤYWɭ |M v26GCJIPw qQ UYzQsU<߀s  ek4!#JU׫XAo. c␞{eNr6- KZxyְGmڊ"8vAԙA:v8XYWnT?r{ 1}N؉gϓ HɝBO;=OW+6#A2mY5Fݩ`=Ҳ&Ò{8c/;Ox$` $pijX퇩+Gڙ 1b._;F͍/&<[]XhgjʠxӖn4g(tEZ=BV1K6CAfA'1l<XCFh.=-ݨ/ur2%ӡjd2o*;foK>HZ;~C 4)\ЬdCj+6ٔ8p,?ʱvB Ⴝ7t@es ƌF'duwoq|=$޾_؞As6}uh3j]Z%if+:BrZRtAE= j-_aGm]շ ^)-јj+ H|AϔUL%bЄ<*#8 =EuZDTqܐYXx4;2zX:b-;1(lR Ѝ5<jqE_σhɷd2ihӴ@O'ٙ65Sp< 6F`wSDj;9sXWXhk=~KIS4>߮)TFH餅\6]#j-$ bʆC/ 5Y+Y:e=k5oe^q8 팶=J\BMCwONWqKFǘwk ;ti"']6odmQï"`iˋzL /10#UQjޜx32K_VQ$`c^crK2π̍;ӯtZhNR'(T T`Q u+iN&9 rg׈ s ^޲KI\i;"FTb-I8q4?{+. -aհ.&=v)bVGI{s1 <:`rΐaS$]%c퐁_̴{R1|#wvQ/( \&Fj?2￾ro,b>F_G`@M5,Ϸ'Xw cuaؐ cH_nXrS 6mȢm5VڢER\=͓B!]P"pu4T`K! I}x$b2裼%kviޣXeu_tp+}nˮ=|h\grH PppRzSC}31mqv1=g;7&kHcCbúI UT|tUU_$IɜԀEӮkz#)voD@ $<@8-K8z+W* T|L#GzEal JV3Vt\@/oЬ0<8`7jPH)A."wNey:( 38.jU ,)mIe$H2JLwS^YbM݉7-RPMl裖zIu4'&Faz1P qee늈zwzW+%г9Ǜ%M,_>3"g рm-.u.d/Ҏ9EMs`jNo Zs Y{qVjkv-CBAJYvMU^>ݽQ@͢g%v~B{m-P( u3#ۅ5mcdpA]Xēgdž+F|Bl0v#PQKA{φTR[0[< S.aք1@,b4lHg9%#q wy.(kX yz^YNJqBq﬈'NpJg#|+`$jهPAbx-x!">,b}1&p^uE0zBxb}[tq'( @}A4ϟ07Xrx(.Ah(؁ } FuW5R V[S,ܴ&M^/ؔ~۰m`ZaA#SG`ZbF%5 #v}Hr~#{2W*r&x& Xx34[yӵd9 6-)]\3,UL->uǃ g Ljq&cG}ܸ]$-)1܃gBCJ;tDG~BvR3xB y_V(1A[W,Xإjq ["t߮;Rj̳ !)g$^U}M|;tfV K39۞DAB3(1%ZkpAnj?>NC](]w%\v)sCr-Nf߯?V !2>@/P¦uJʃDah+M%~0TyQ炑dB;JsTTGXc?`hfrAˉ΅M/0jy63jLO79#]î8Ry[6B@hWIH&g({}y,wz'+0c{TӬOQI1]R;!Ѻ <&}dF0,A]ntx։wT2~_[xFQ$R( EwqP7*IxDlDN>AaUH~hpMtDWgέB74Ny J݊/Җ@#wrHn&@][` hGoM nixEwf/.vFY2&4, oԓf{F($v(Fi%e==PS2^}w7^N]?apRTvgcv̬g]jބh<>kÞr|7aV0OGh0ꊅCe-&KZ4p)Ae^OSBa/޵߃.вc w>UetE)G t$IOzm`°zUo& "#n6M//`O7;[Z}(DEQuG~ _JqJT_$DߧB3P~MO6nj/Dr`bxg0 !3}a e6_dq/j=t:HL+ԍd35=h>Õ;QI>94]$0gUyg[.$85ԮP HC 06љDN3q8R*}.xdg's%0?ѢgHb;_$d1xղXޑ\ͳW!:LS7D?ڡ8C֊\0}e6Hɸ+~It]#$T}^{fI2(..d&'UǼ1 y:TӢ\~I^Pl r˭]jɲB9poފ498gg`J #dEX<s|>ۥ D7[X\S gf+8ڙ.BnלFܰ|Txer)RK10o27R{*rFǻtfeI!}6*f'5hߟ*tj}KL? f D%~T&\m?~O =aFq:_EhUޘ3UhcĚT'P,5jI:f3:GkbK?Dk×Qhw GL8uy/Rc7(NH45H`LiZy=_G. eءrU&ϙIUӞ ~1mSvk+?7 w/,* }>ƴ;ڑ `~-nq'MIM(5-O|r -$s\W(`{ㅲ xg PƀGڜsl"Qn3ܩ> ~_/^2$܈8Q:'dl(ߎ=_]JenC/rQ嵆lSHUf!<b?1F|n L [H_OPǗ0rʵkL PT"O{OIZ]ig`1@ ՖJod\nS9ڨFS00~iR4F̃IoV(o`I |X^ a!Y+X޼<7%-̰倎# խ@VJȍW`=:aM[qwwłQќ\ l7Pc$N>A91߸/h{NSt7C- * Tpf!3//$kHF3Z֬ԯ8G6ӥ~+%E~?^O2آx IO6gÙcvR3VEɆYݳ i6C~xz83oTA$?a}Wk +M$hIŌvu4V鲮]_[##C- VIſ&X thnFn?9{_ ,40SYu A.>Le2;Rd'~A7ahAsK-~,]Ѩ'pvΉ߅>\/۪M;VgjVx~ֶi]q&HvAc2|dY dU?9rA^㟽hڑ.B S6/ߙPS=bnc* A3yq`,\g`%7φO;SUӬ jǹe#I#z 5#w +7_\r?4æO{fue FP󈩸{Q"3+Ig4jT619Q,hL5Rp b\1Ɏx(9f Y Utnh9d~u/@g8% 8?KZu  w<dwfgrEȺ͐5èb̨BMM2T#[e|n( 9)I#7(JٿUpQFl͈֓j.$MoDޕvw'9@Yj( F<5g|1i lJ:EVa>fMZQ~m*jIu']فN}z9AO#1xGAO4gQeT\,>t]Gh<_*E64(q?96Qt|xu#VZ! `Uutsh[ㇺX;u0VqA"J,_^I"Nv}ڝފ%hgZ)gp0:ces^K.X4\sNjc` 0xSU}D錁`Gٛm P(赍X : PC/{{b(, 썠CLz7Yc1?I"]9+bw>60/HSt$޻ */n~,Z0HCGI7ӾA%?nJ6ۄ_!洚|(V~CS۽-+*V0SU_eze^~] ۋՆvDX;F 2Ʈ)6yZt9 @ԗf̫z=<*@|Yg"A'=@:icqpx YM`r; qmֹZq)wC9*SCv[ՕhTPL䑥Aw/^aa3gP (1V/^skGփ"DvQZ f~QaǓ67g)1* Ѷ{PL Zլk1q-w+ $pn}\o21_6>`Nq_D^ױ K`²fg>L?NMnsI!,1 +5 3lḀKu3gOD;\\%(er#<4ZJL.Gmo;b`|;Oce=:"^+@2eeƺYqJoZu=qF>,IxGmzARunO,y6$B]Vξͪ sa`*fb3a8pAsω׀8UPc> L+}_ǒ򊬟W_.̕'wORA*[*"!1[7l)e\0AɹTbآ0qeTpm{>K 3F5"#O"s ̧`I8' 6GB֍2뮃N?xo{w%G?C!g]ӎEKjPs_khl+zCdf-mub0@WEKyAiT ?Tve'q%#|ŵY#̻3!XڃcM{ ւ.u0OF7[ܒ1aG܍FadX=U.fP1m1qtҨ>tG#4_2,0]6|?lء5iL gEK JQRVT+tPT1 oA@Wq=]Xd<|ku²b:kUSeQ96ŲHqw\{p>|lS5떀^DEA䧄C$7#tJjQyTͅ)&^Յ SԬLжyn^y2钖[`!Ji: q >0#@˸!+!5Isqajb>k0"ى[KVF\ y{k8` !gaK~oܦtԵS\\t0ṕ?i8PGfK&1KEo{mhX/q=êYI-Za+Ysm6oRej;Rl|s3IL2R$.M&疐rj07O͵/#"2HnkopsJ3.=dx,g$ &+٘29fvvy/] Ox$@v5dHsugX=z~Ny/DR/z$mڗq-֯]Vm9;ش!V`7wܔB86<-Yi",yL9,FWdcH޴1URH<%b%P(&m G- F(f8+ شS(ٕ&66NN- G!yh)'f$TPV^ b.['P/heg8<0iM3[0eQ]UBfdžҪ3˔l.š?Qō9SP`.,%e>PBŻtlI {:Sb_y(e1 'I _K>#RoOM"i DYnNA4=Ŕy;dYq,QN e7+4fQckQr<iOar΢$c-R!89FeL;{1<\$AI}Pǁ]L~ p|gy O0=kR[5\%Bc\.GU0Іr&>K5d6D0(pXf?1P){< Zϋg `=dQ_,SW=o E T=~GmFWp.X8?F /D 6!%K={26>$"Gw N0*9XG}2o3ٌ ʇl怪(CH#P+U E8wa['xmS֠AyQ.vT-)GQz?zd6 k2jvjj$$Uj cpl7U~$ h7/Dא(:އLpM$4vR /l_feE cR3fx!dfb?>Ҩ &])fřFaA1$?R-N)Bd%; ~_[+'FΗњfmMhz] ;b3 VA4_|cTv+gVxvFM1;*֭#Wԯv.bGE`^ׄSVٍKZr{>&4B"(cOۇHd1 -S^a{+a]\hh-q9TZn!*`FmP#Խk)uSAe7@gN@e:hE6Ωi|7rg%O(V )Q]'E>^M()@J$h^| ЖF/+*Nv௓z8tsTT{TFEv@7͒0J35@/-W0PU$n?J*TS7xxts5c5pn/r<7Q]&j rJ/H[q<ȝ8<YlJ;쵫 ع$4bv7L3^gi_-޾ 0 ;*Cwl;DVsL+>{/QB?}Uk`bLMb\ b6Uƒ),x8!<RXGw2&9hP!Sy!f oMÀ)(j.QS+Ϙa|Rc#{Y%pi>s4DO0} W£BxF]w=$X ?IXq~שJMatv`3oSwp]ν\զN||:B)^{N疫=b?m/5U %\9;HRɀZUJTo +8JI'G }M%j^᜹/ mMU,}hh2/LkuL7sÓv13;C)+9zE>qYλ@;kmsB ] Ck*mB3eƝD6&A 1ਊ1K6A`SR7R@Ifpd~SP̊EbGXtv ȹ? W"JaDzO*?&@P V] ?An#b,ީZGߨX]$6DLKK9k>bA4o!3O ]_%l=>T j?lo=vku:tS#~vz;p-4/yܨĥ8,URwoN0}C4 P Jla ebLWpiaםXsS`U4mPׂ 卵Bf*uu|2?;r;x]lX;8fp/Mm񎍓D$cRO|[a,![@tp%[<ΣG Q:uh&IsnSy5gtn>%F@%jL)h5lg+?K/ 2Xׇz5&5Ruv\OPF$Z%Vփ.z.pd _-'vAxFcB=~3e8螠dU[*f3 HZ; p ݨhpߥ\S1ԉ3 QU flluMwb<6X ܔOm+vI}0L3l,f4<7У4,?)M/uNuh MpH!$ O0 Xjthڠh+p0aѬScIYbUE4~`)$>30o̱iHqֺQ΀p' k *!e|.tRrNٺ`"^i{t[P :Y64@Eq۽gm觿PoN'=RYm @V˨TI󭠏AEǀ)UP{'nͅnjS+{Z=~%L8sy{,H_+ҿFfc@BDzÑM,`*bi 2IJ X[D}K51UF(5)Z $V2-%>|y;)JTX;rE&$IccU[9&KykBv|V"|FHBpG4ä{)Rg .H(Kqju~-sw;N#p2 (3S(t|<&O]IlUPړ=UtgKwYUJj] mJ%2P^Al#8:w[!_]Е]Ĩ_cЫEU/on" a?|>z^2I(!z~H}$D =ʉ_u>H9I)&Qz5{"oGE9!xp%^"8>́3tlͤ* ѷJh?