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 zzF-dD wS MonoidalCategory:threads=2elapsed=1098.342cpu=1927.504gc=71.092factor=1.757zXZִF! IX]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C VA(*03CHߚ%&ks6[^0pHFDF )v`9-ѸVU{[*#n(+?k:O$]h/ ]I!bXq͑" $KO&!Jr ƟS&}eU}|jmuU7uL1jRiJ-cxLⳑEG}n\D Ua81|(۽fUP`aJҋXD&y ާ"%j)$WO4[v& ai ֙= 0wRګHWvmt&] %yRUNlj'3AjKyb% R.rUdz>[rMWz.ȯϝaߵKK庀I3ֽc_\Svo='! u+M4C^2[)w?ZI61ˬ3f-`2R]G Q6BʟJ*}⹯7^`6s?ip{)*%VA}*(o@207X FǷwg)b UK!2U;kt2rK4{ '?_#.( ڌ*_} ww]k5gBF h p*N`ZEU2./1 4^DC9gE{Ji(ynSX0TZ-DSxW )9 Y @Wr}k\ّ,M_#Yh^:+f->hR񖖏}Sv,@;ͅ=Eu4NPh}ڸ\W_6ٜݙZ++Y9{@c+@}Q,cWJ6qv%UbZ'Kx ٹŢ ) ZUclWŃ8L/ȶ+oqhCv* @Ə3\&)eC!lFRӱx3s~åܴ$?2mR:w)|2-5QFFK=$ R#6Mb)^͓rL!ؑsFKjQuO,vPp4}+[vYpG4BMYcQi|2j @\4 g>"x0ENXGd1FuұQOcF [d+ - MonoidalCategory}éd8}&cO M-@UtT8`ʳcY!$!`C^S>K ԕq 3fKzj5YoGt|]])^j%9K[KБ2JΆϠZ~,b1"(<ˤ&_S]7l%=%0p(Wݢ4ج PTP'ʋY}'XF{ڐd~c߼NTN@MJb_J>;B!E2gӭ>zny+~f8GpUp!T j$Il2ٴMK:ϢqU$|!ZنØx"ei+{gl ù3g)+܈Wmۓ\VK<4=Ui,t81zLS:Eo'R*WfoG[Fi{Ӽgo>&Q̫bǸ;Y )3Yh[Yk;J3x΀^sZՙ|wj!@*c\QmQBsgzzj +AUF-u/MP``WcP BE(_ERː6\Vy_qFY,ˈC䤖DrwRs>;jf@)anLOZ@V܌ЁZHrw33=&vKi֙1s˧(`s1=D8!܊lIR`xQ x9:Qkd]1׌<EVv K@_t֜zQ'7ƒN$2uM5u!_ҔZ(Re*t&8"ҕÍZO3uJ{[@MYMe–ˊ45˹gmCs[ֳۮ؀|PWPb궝pZj6(]]cޱ ,++޽y4z~ƧRj>)ˍUTcb~+ z!N4ԩ ȟORF^J!őθA^ò hQ3+t`FOAz!bd\6O>9ĥCk3#YHQ]GLZ]"8'i(5QlMW"GׁXv\x&1rCʇfp*@5S1+.:.Mܪ.5E26q%5$QcWvM}LowԚ"3d_Ϯ%M^Zұ164u@{ wy7!:>@7eT.!O>HY4uh7v·~W{]J4P?9ɭ{ճ۾Dx$^T8 ׂϬ+GC+jzn-Us _2mHfZ A-jvN缋M'?H]nqz7:UAqmIx"kQIf66~x-؝9}ݳH"dS5TD9Hb MS49.299}#C jA5ǻ R 8.2C4Df-Y-WM-fd?);.u<)q NG~jmߙӰJCi4 *N==q=Z][8se5j¿E%TbmP<6+u hQs`J| ّL<ͭW:EoRm4J"ov4;#R-bl,I{%@|3Ͷ)QŅuB+ .z2jӔ_I"! t+"$V8iz!Z7WG 1Ak!(0Lۂ9w>1͜;1X30Ld4dBZ5\ne_g޻H^-%m(~U-jHct)|Bbp Zy:y T/?\j-h^̨}ScZ-pϥDYGZZͦ;Dz944"7*+bnV Q`-YHJ/@lqirsñPd{ RǕwK\ߚ%n8f.O(ZmnISѩ{mZ{y~gK) KnMK<6j Pvp^_wCQ33BqByE5XNBKBAGg=?.+D~t/ <3tAѡ*.|g{E.N!#Y? Bg?}f:%Me;L`ѨDv˱r)W|`g`yUK=_U.wY6C& -f<*dT{NM]d/2k$eQO˺Χ(Vl5t ƫv=i늤7UG.?GyJđ;Jn<ʉ4, %g&yS;(2Q=3BJ<ջ1 } ;k_ TflѯhCi+z#;TY]Hs'BΜI=8Vc8床M{h5GR5&3:h? rn^h`7l"SDFP=; d'nr-ee gC\+2뺞gdٚnn:] n:=zP1c$h 9 :֦zTKH hwʽ8Riͮ/p憗mUzozž&Y{!Bh KJѷO]{ǟy&|W!znJ%"r8,E+lm?q׫P㮏 ˄4ˬ[9!tЊ5sv;iT#CiE :b4;ki Az<]Rjh* BRN]=ܜc㈿> {\Ρ D'ۜW`؍duPgیy-r;э P 1j$AZf(ZX7Ru q6Jѽ#M Vn\|%Š}ñ&f7e3s7~ ^re/ο5 jDVLek\=YD4,=AKE2J>3evRZ*C?tt^Ʋ5 KHpx[讳 W2vq_*[!q NE#q?y[gw%3Y課7@hkBl,b .He/IH-XÀmy)(`l_o;E_BG޽aɛQd#PE\6qx3*%C|Mu/ /̀v X1) .`F8ZC=cu? U%;^yP>Si߇874Vrd\Q0g+ED.߀F ni__C^ U7[Q8H@Wqz5 |Ӏ`? 5?pD0@'M9?qWwJC05Ad i>Cnqh=2:x4oZύyʥ 4,ީi :/#'ȹ9>xY秳濝(7#ҚMnUϔ\Zem eCH$:ۅ iWsbB8]L /H<[}8{h\n2/dڛՁw|.Vֆ~7^m؛9b]f_>B*MGC@ g } hLN HK2p8/"TM }Z,訝(+mQliz';VI!Ƨᕐ zFػt`Ӧuj\k "eg؍iٹڵV8v8Q )rO׼x~K,.;}r2erNǹfcr*5$;Hȫ[F+@;aR"YO"+'#B6RED߆|B+*fyk4^3jlF@طkr@$*8CvB/8I+1?&JӯYM!q9O$ŋhlCT}kZ/8bgX񼊆aݣ(u>Bzrvc-r|!-e6^hZ>hRq(L94Zr%Xt]\Ml,@GG;AG?zB$ᘕ)"IzӄQ_1ߋ^D$ѼEG yO߁euat< B tE&v)-S]MԩRHօX o3Yw{,)jױ(F V.\ dWJNlͳ(/:Od@brs.- sˮ LyOCe =o# pyqU储5jHƠ4qF`65/pJ)43uE3 fq6lH_Fwu`ːcuPEкF4s?!`h73~;) fH=*3͈Ǒ5IX:_⿦o/8k#+5 _?4.:[ lf]d UmؾԷx[H8)IsY'+w2 rO[#,وD)*RzFl_OEdnK$0ᬏ'˅QCk{R[E8eŁIt)Y@eCc꿺;;w,|`NVH'+}P"mk12ᱷ@;$2Hz?haG\|6svPk!݇UUagCB>M. .- xDiKsO#DN<ӒyhSA8W4/Ȥ8hDpy2> {|Xp "k?xVЅgj1;oa!{v{qiާXcI ΒP+Q-(ϋzߣ4ylvE~%3#@*Uxu#!H>RW̒?G@lѡH0v vX yӽfzs~+@ iĩV;3~63.= C )՝pz Km}|0G֡0T vH)Ks.*ߛc7IUU,M/:oMYWpDI[=iC`[x_|+e*Ժu{IBrs.V 9%8?4fp F5YVƜܸ J RSJw$ZHњɉEAЕ?9T].RfM$=eo#tq?;Cf8Q@s[JZqrB2,\ MKȶ'+el| Xο)-h;6rTetK>QK<6Y;+lyZ }$? Ehմ2H@{3gǮ5HZrNfFDs)!shؒWwBfVjUU9^D۲haEK<?& j-!', ?-Nnp;*6r!rK+سz}!nL.[g%b (zdft%]ܣGG#c0y lzwj$>LtQw;uY@"dcѲ{o#P$'jTB׍ɡ{h#`7*TFc"@P/A"Rx}SQz>^XmTB @2%Oem94&d:X9K wQ8,Wfbpjs$i(\Lڲ~*]Tuip6WktZIBM^&BIh@ J@i A{ѐӓ[ }ҵ9W>X"orc[+5 FdTDo\[b6I'BF“b #&}euXԦl HCGo墷LyPFaIT(:b9 2o$_3ـ5`~NO r0lg.~ɔxLH>n#_q1%KͼGTZ[?dy6A>h@na"kd8QfBǬ.l4}96@Q,\\4YBFY2))y8?|j3{ "=7GTJZRl ^poY"3p%| f Rh+nbOȮȥt'kx吊C: OV@_"DpU+0]U8tlӥBJSdoڞ_Lo*i;1-NtKĭ,*GV-%MPȭ0϶qqkAwe H.O@Ƨs[]~:ZHƺM#3GXYGʙyDl?8xX|֚ KE+)[J45"MV/9=D G;؋m3ဩ(DWDfOEJxh5O% )*>{Ym1~BW'pvY _V7 ˜C:l]:6Ev2c@`@KcH.>E!7RдȄfN7 XB9rUb_`,M^9__S7 Goo2 >@tUu2o>,;ׅRk"~CL̜Yb]+*"(?FI@EbR";Q9L 쯱$B䋧(BLt ϵ$Sicg`5Mـ5JNlB7@h\N9RZ e I+1=^63?s ~wߓ>waROZ5 QbX8_r6{rD?-/ \ӌր6%df*GN|d+ a fsFCSsuSe^Q/%W 6ds`@jN "\vFSbX4 oc^G<BEc#*Dޕ<4 UϚk3BbD|ԐyS62E4r|_P;JD0j,%/.ط}f+9(믞 'xI"Mֹͬҹ!sN_q6tE-RJֱGkibPv./E(XH*i4n~Tqκ%+ j.1H7Չs jX QgqgqtLbYu9P Ӂxhyr!*n΁_]fe⃇fT7`䧷:,) loQL(Y/Lb")FaI4H?E߾.4C,dlO60\><0|s(#*EGJV:#׋@[}?]7YFARyOt `)pn;RMC() ce bK1o*n*&*?{)ݰBE?c䛐$fMơԟo_yPJh)оXqĹ|L']')|״ϪH 1 ԑ4,QKVfurwr *="ۏmAuӯ3bO?X}z`v0.2b A({E8b"lV  Ӫ ޫ`D.sSgT*&nwvyL(IT@u@N4!?ک⴫*c %7RS>Ҥto2T$Y9:c/”1ܮ-ZJקe|K?{" olFS>^ʭGzZHQ3MƓBtmÔ֚E)]GA< sY` -T$عEW$0"כ *F[)?BZ v$K`hbZVaRbNï;1["(Ÿ,]r!5,ɘ ߘAm0 e(@+ JqX{[L??DMJ\(̭G)to"ݡ eg>A'8BB(tp.!'uo@4ZnPTm[fw(MN5l.}a}=~Ijޥl t vh+&U3zG$>+thA:;IXG`kӖўY GhGBd6zR鶤0yCRc~%¨AĊ{3w֚N]Fi=Y2JTYe"ϳ⚥ܥ (l'R mSZFSd*a|Lm'RDcb.jA ėW }lAqbE w`Q|4+QwVEu'Q H⸅~,Aq;hx$st\#ze,e&+%>iI SMxmV~y_݃t;3'ZU!~-({X)slUG'c4m06 H)DW}"|/YroB|U~̮Gňz )WW[mHشMg65n=AS_rR$ܒ3Rx%JwemK)/BRM{k_a.ㄞ0J6s_haniMVˊ1,KV׷}o % Nt:\$CH!D&d' KY֗I@1|ZƆ  y?B&RN8]r꛾x*h5@'pĘϏr2`F6M ۪`b?Zgiw8}WOʡ ?i_쟙9=UpCΰh x.5dj ϑͦ'IlXIzwBKuNu-R(iBWMʧՎə?bn$NU xJnn> e}7hf% Tc2ˀ /%[g*C߇:/]K1aF sX9> XiKm|4 kJVKi32hAc8hJ(2/z M[XN7yR@lao=NF U=~bYv(b~;hoU~w b}᛺*8v(mRxл@ew뗉%h|ܗCBc/IJ2&l JQJΨPd&®b1ΥՃՀۛzg]4"GZ5.7'\]Cw×'̓;lYSnwô6,#y4kC|OWf WdpTl' ;5}~|#/YT/O%dMب菋skT=ư9 ?!$s(ŽJl Vi'g^ mfɡ& A1טF/؎9\OTAo G^K]5p}0! ؿOvH1'%G*7rӄ E\^\Y?_ r ^&v~۪(7S2No1V/P 2AG.nx7X,9[OH%V]toy\%T4K\gwll1q\"SpjBrll-i%V$ix}INݡ1sF]<& b>~ *pjŭ-"=Mo!f#ƈ8ʴB*SjCucg e,'8j5UoC@,u'l@iLgkcfcVPNj\{ӥv418}y4'(k>=gʵ"5j#fn=AtPd8[ \qYJ C'ћ٦p҅e'b&{Ѧ+؝rPpdG;FFG&s*H"κi]?./>! N[^"j7]G=_۝N z+(cn6ڟtuA5bp榦΍Bl{3wBm_ُ9J 78ǕzmQזCMJX|S9|7x9 " *7XgWϑlFFDčii>%! cTqK]CNm?q!{ٜ/ⱗcHgK`pVSTN_Uœ/T< Huy5;?E\? JVs\&N{<=tR P(Ź%G<بY\"Pɍxx*b:ɬF={>`Or;2+ĥ_XDeqj Eli6e7q]QeJgxC+ T)f_TB0XP5^y9,iypv%_QDLČ`餈Sx5oʁ'B{Xm/laj]Ȋawfj1C"NScDB/PշUrߗNUP81'偋ͭPUz3HXAe?U$/!ǰ2Dw!Z@ Yؐ=.|FF'!xz 0В@ٻWVq Y5B1H Ƹ> !#]'#w#NFPX$S磁mVʑ8`hvRM7ƙIeoy@ )H!2+o3[WBF DRV$NR YdΓA+`'g¨b<^`6TLsc #ӑ2^򧋠Xj hm -CRD5nHϝC=V'3P f፺ /b_ݎYu}Np7#>rM B "d۫C[Ֆ>xD%:Dyyϩa\S7:,:f1Uy 3%K/*KmfP7cn3Ӳtr_}kAE\^+ " |&] ݺ_BlW dL" _( ,#4 9tY ;S;q1¦Ɲ訡vYh;[ɚoWIv  /<`cAeg%0|2_ Z9)~7bFfnH Oy㖱\,vv8aSH24?F3x^_Ep#l"w0 85{3<6XfYe}hL*Ĥ_PU# 6f2NCR{doiTn/ 2%nŃA[:QŹ{>25DW^N]RÃ˦$G>%0whՂu큰يj+hxu'n$Tf!>A"-{ZLAVCƠQR8v4j I %2zNORv9|; ƍfek2FU)YXcp3g ,lؘ2YE_(7'&p ߋIXHiRq .nՠ몍ޏzM5|Fj9e[`ǀD},Ш|q{#1bC/I)M'Kst/6-G0bCw_; ",L⠺6d)C~ĉg<>vd8ClJדiݺo_!NSsorѕ; YNW-$ F'wV7.)CrkAdM,W7T6:mh<=+Y7䩭=fhpt BM$D,Zb웮ݮVm]V\#Dw~T֯3APk5Ux= rog-7Zc9yk`v")"ii# DzF4LJlחN;!#r]v3M夀!@q\ŀj~OÆC]ʏ~B;nR%b[iZNj{0Q'M!]vR+&ҠK3n]_;w2^j}7e0roP _E'fT DI[` 㑀1l%cc5  f[%`eGK^݂)o *yWSWXtuu!!44"Gm8ЭQR2a: *2CF'7XXG!6X@-e9f,ueb$\yq sH  .:i/$=X@?D~'T][g( E4Eևwߪru/&M(vICІ? kb@拾~MO32q%zF!5^UX,bѷqZH) >) Rw, Ix<1@}~s {VA'b,Ew-s+t @E+'sk  wlցj!ڍ lGxpx=z}OUnч-WmچR!HVB"@Pwh| °JLN02dHhJ B !3x`E_t 贙ZAIG'Lq̝mlD: 30db:2U ŀjLK1 WOv Ze'gyO*2*uVf@,b!cIqۙ*lPfĠczߟG?aS$S o Qif30ðn.rDf6Q7Q{YL3"dHDg;:]NϷ63ԯ/x!ejFP3D0vn<)XUPUD!4~TPjf75AkŌA6i-.>YY25ޗ~'>g.t3J6g@?/CO WԹ90]xwO3rў%,j +mfayN훴6yfKd{44<ڝb`1aPHW:P}]MI. {$1ɠȟ%C: wgzh髮/8V>T8Tݶ5XT!l|heyJ 5nu0: 6`&pݐ~.!,te g*^FX i: !F<ߖvjbO2>{ @8'ö ۋ>a)b+ 퍶qCˬ3ΦWnkЏ1^?q) *BisM[W>$qO(uY>0V!thz`-y- "~fɩMw-5R knڍI),4 ִ=t|8Gr}$X\))yPn\6 TLˮ&n(Fxy-qDl4@ikkϒqH>kxepP϶-f{;Tޖ35 *lo=I1]n^b"أ)糧.#y1CxG_}[h!_* Ӕ<8a|ܻ͗zûQ yv 0DDE䮙pґeu//Еe&?k(?[7TJcXn܇ZWŌaT:DiLHVѪ"PQv-pRܟtp v]xw˛jYxrU)iO1:_>2GGs%ֿIC]Q["d5 m.ul\UFjQ spw6x]0#;byghVtv}~ /K/OQHx+W3,Aw.kX9 >#,b4nMW; M.eF@m(s`;bv5v ?c+V˸޳^ܡ5Sꕺ! $kSB.gwY|:N4(Lc,]YMGhӚ ^R+[Djݳo ¦}Ua8$9wcP%C'} >̞Tғk(g/WX1gbvֽ?X0 ͰA8g}-Q+O' ߞ#|Aq$ɵ?Ppb~0elI;B~uRrIM![p Y/1$WiP^?a7(G{.f_"ThTO;C@eߌl[4؆,P 9D%-)(?Emؾ:bLDvyCJĀ^f4aCtnSF-4`jH8/e@xoUvh"|k?9Kf|j gמ1 AIp\C)TRdڕ5NPA. YN.4P섇sdۗxܺ7HJ]]Rx"_oYCAژ4S$"$ؽu=U!'fՍ;Z>a^ܠ9`ෘfiMؚ5f5\ t Z0He5t>?xW. 5BbMm=T62?Y^+]&d.%"i0qKg:{&uJ~C :m|60UfnXK SSA4gmpZ(~o=Vbk:#y-EKޔ\pPXs9+j%/Ƽ6_Dvia[!pu\%lÍw2&׍8Ƿɠ.u<6d$($EA6EZz0BF6Z[Xo@TȌ.!J<5D^1IA$laL%_O@ 6M=^yEG+nn['|z&BHل N25EDNgeʈ"]Bor į y$%ce㧔> ˙v_pOD Jݷ)NjZj8!,ؐŞiDkPI-A&&c5(%dbF_Zӳ^xA`&uͤ5c~^"E$6n>뎳u鸼NQ[f9ڬS 0'4c s1٭xLCX:&d)!VYLA1Cgp' wu-TA@t0cJ<WXݔ.֗pєoKj[K$[쵛`U|)\hz!vVs0Pn{X3 $<we0}B1]P@ۯl{\(π|d7&yF8,NPBY0g%oI pxE?}Uok1ƼU;4ŞڃyGAsIft:f۷C&DeRU͝n 'U [S}'|R*'0Z-Ê<|hV'l8mÆU82`MIN6|jvېW|6Έzu,+B%>UY-3DxA hCgCDMv!=^_)hr|]0t,hFo1֑mܫT!kVgq-T={Xcn7}X.IB5a%a1eyq>qfmԘ,IRqsv}6N8l #``XPNJxfyH<*P6NmdUegt Kꦫu.\O>yqd"\ݕ x]WG#ۄƻAAXz:]tqj8/f|i8MkjSn٢G<1#yzUШ/긐0I$B @ݽF$ <yAPW\t^>J!v! 'jDedXʕ̳@n`&y^Hր.K4fyR~ 9Y88Dp 3r`Z |ŻnChM c5zY\]MS|@kPsK8c_(:_Yr1_w[x(g~Ptv:b0CwlaUw3?'Z땄n.%,o=[Qh/ v+e ̌DUvm+G@kJ:笡,bʡV.g9y*FA_8B82j/ vN_ sZo5o_8/ىWWfR!pU}6`u5IY#u:0g\w jW&$n[Ꝭ;"GK_2O$;؋q~kV KVE *o(ny쪶 \>5,ȉn"pHii2YKvHpv:5Rh-GV<*&t(:wƘc.G֔e`ۖaH{xRaX_._Vz|vR"v+)OHNWՏh/k2ِ>Ʉ6vFtS5 ݽ)aM?3X(6Xo:@Mc)gS cFY{GTͤj,h}-dZ]+]Ek.d&@ c mގavrG b20dFF?uȆx@}Pb: V=@!dk\~`"cHYx_eE:x+ рv23\r8aw{$1^$ziǂ Ыm\y\d)ՒDeV?B y@cpiuv,2fʕs*qIn靕mqxHu8.XsF+2  d7fru@ih%\ (X6$+sM(GlgaB & RԃkiYK~\[&xb? P%)ef(| ܪ= j+1֟46@H>`N[vO"77ROڼP|X`(tGCj˺wY. z-׆R&QI,R+\$Pr=O|@ V̟Y]YE (쫡wT$I6nV"?BXDt3h" h?3Y9$bzh=͸2μl(mf Xla{QAG*n5F_63,O{nPuTa\&= .b騫 n3 alX-5͕ Չ54( ߆Prv_3eBpYcB|dMdt]s3:o1BJHD )/C 5j5/}%l-s8xGWy~Y~ڜR׿#kt+)Nm\u&(`iTKRbգjag*"Hч7W/CVt ( egI(Rhb)jړ& X+а ޡJ=P{?^\:#t*%X+%3/әLR{+(?9-4ghg: |0slJ؎VS8yș$@ߟH%KBM5Y ښ;#ѽM#j`Sx=QhL(^gYPr"6 Q*aԢTb8zE--5ZNkI{EDޥ,cu0VzD4=" A@k"?yU/5TM3 TLs~o/Th5Uy8ˊx>i' <% <7,Or^2ssnͱ|_h ilR<|Ԡy27fnp VztZJA2'_jO"~65o8dS-u" N̳-1/!&(&P(tLom{ HV$DeMj|i&G?25+?!V9ߕ4 iLp]jÿJSwbTI/BwJ]54km 8]2V,[R EWG 9^0Ux/Ii-8p_SӚ m Wi4aF?0]@9\ʳ{^E`ƊOCݿI%նrO63UpXo.: 41#Ts!KZf^x35\Z07<6vG;XS~t@Gr{exSMx{w6SEF25k61H˃=kW](eL?"> lފH:@SA=9\m ]O%3QfӜ9DAAU%ݚ}. 珆!FV]\J{LJR?9#T""]% CNP Ųg X\HhEF⩓q[%(E_~CwM:HHᇰpòq _x5n(Ю-4 !e~{: i޴ [7ں^GW3KqIQsLMb?8-뼸!߹8je=9iɄͥ=pE_*+}G ]jzK6[tLV(\ժ탵rnč^ 5s>KO)8ƗJ[tZ=vql*DYMl7Uc'}7|P; 6c 5"UX+`yE&n8ꔏ/_e]ὡ.Tƃvby.m^r1_v.KeNOza<z !ЧOfAp!jp+IQDyr<䊮xyoS$?Ĭ:kfQԕ=Ü6_HU4DFօOn3r/njJǗNdIZ'nچF Е v8y:hDw}ՙ-)8/T/ xߟqviElU91|j `B' DJeUppߘpqEP' S@TS M[wnUÓ!ׁ3nɼfPᢢ3/qyLt舙 ؉嫱.[{yO2)j=>O[Q[gufOW΅n-X1zX`a8 %(5$;96yGw=q$Z#Q%m=A8J pi-ıRbAxbsDS{ȇ7Ɏ1;Lm8 :TM (3A⤆>R>.'3QoH_J!4:fw/BMӫBdcP#9нס6KU$"=ssl1E`B=)1եpqRw x;&B' mV*a[4b]A[8 q)@y5[eI`*9֯M1“ӕK,pC7g3pYT 9-4\Hՙ7| s󓺠CE G-$%UX6wVpar3c-%ڧC;eG+YmA,Jdw1(7'Xb9;s45DL YV4t2V2%z3 EZLj|X§#pIV7PRBM[ٖa|`d,9zG;*_lQ1Vn9'XVrJ/@-}AIx0;gW=#a~@ ,hiZm%][ 7P7](cCM;0|>֕.q9w q2Y_QqO?\ 9!#AݿrX{=x?ӧC:/ o yFa]Y\J`]0|gzDV۹)@ 4.#ktԟp)T[RGϩ& ]Kj 훠*t14\ƳE8Rߗ0&@ct3E*&/lqÅ/y#<QQӝƃKp0q>n/NI;,vi(I˲hlEct<^-߫Ct*#wðq6ZLL ?*;$$Z-l>di6R#҆W:Ѷ4yM} zȑ2)"H7.L y/?hpp+[aqyMw@fhd EN(N%52 N^޹9U4q ۬S)0 =A# n'*ԥ8Uw *&ܴF>lrGXõ$q~C_wƌUUKowXa2H.~N2:վg3II%D~bUiί.k!vVRR\}PsAFZx{'1K˄A<5T֋)A79]~"Zs \M p& àT.TWֱ4b]\ _@YT}1XTlR_1G#F]$m|%6p ]&j#̺w>O:)֮F)'8:5(&2BLΜ7#H1=ܓ)+s u:". Y>3 ߗ?큇J?fuwJdY"<0|{3}Rl 8d#x' nBօ' \C$Jy,*gnPS~˵%γ g }Au3zM%~S1 ,26d3"r@"hԨջsIhgeXj!(n^Xsփ^cy!Ԡφ9z}lDYSIgHPf&XJ I$5;ɿlsF)W ᇌn*Z 89\w<}M>gRe(4:-%@>\^K,E'`;Dķ.%[7_*h6)orE!N΍\y2w"Maf9ݐ;ٺn.j^x(d ѢxQQN#E{lYh޷cpZ- mH:ta䫋x>&7ݮj0\k{;!#uIZ ƺǬ8t_'/ۼ8v 6^'/QiTK2Vvq#6s[\?p47s `&"~@D2)QcCxTbf*̆k:::]Y{ SbGlsVNY?oesLUaYr]V&aŎ)a-jD[u@n.J$cm p`E ll+zSxAT`bM*VP^;+05TS[NX YzCn>AkBy!H\BS7f˰.#3>N^tӯfYYמ`U0xe/w"e@(Ԙ~.A3w]tj<+rv>gBZ 췦KLr>gn2E~1P1pX.>`ifH(}Aާv_bP[ pmZ7=B2JJ94= &m1$fO_$t1xj-'_l[?Kj+9Y, TyH(Z(&ϱ1rq܁΃vـ}#GJ!%`U+& *U |`Y]]ŌKVѻJa{s$1i@)e ZnC. U<5{d˯;ͥa?tHӏ rA]m,Ju]*2r$y_<]@KėAhLec@Nk,Ѣ]a@ci1%T鶴+#\S&өZƻagդhl I56ZqKiK.D@1@D%gtEBN_7:kgY 6}F.HӚ<3vQ)bơv4'#]+y"MF+ChIGr_f1HJ$ɔ3@:u}#/ },+vG\~etIЙAZܺp_Akw1}ڦkQwceg{Ki/bCeكD>8ֻIV<<"^tY r@R3V TTsu?ܺ#ߤW@V=.I5"OMwc =p~L&e/kSmǢȄs8 {X7/?'Vg'>|ZYh]ૼn[^@~'V. J8a WLm$) fg$Φ rKТTi{T}U*'ʘ(B6k?otiO96?L _J,D {T& ĕ@JhN,l> @I*&=fKU÷AΫ &b WVP1 H,[- ^wdqOA\ÙcxG: :7mfd#{S < ~5Y o7{v G?RT=ec zBUNBQlzc:\զ Od<+0ۄ1c줩PZ˂}#ZQmV숑  d'r\!&@8Į=fRɴ|<*n|]je-bv e "];#7OdC35qty$ <pbgO?0y$ڼE]6oQ33YiJOd(s(C.ۻ) _y ]G%م%01~T, TQFH`;@c$f$Xr (P-cHIJ@_X2T| ʃ^] _~X쵓qxzo[&7y^\"B4yaAkɯ<wn>ܸpZr|b^Oh,iꑇ<)ֶ&gj Pۘ6?g݄QO],4q )-%_.[10 Ϧ񛻀mdwߠ;n \Xid]RsKBrdq&2XNBq81zUz,2sox^ljYhO./=iޗptx㖊@sYN#SSD֝ԩK# 0:PAZ KbfgbjZЛLtFz<}W#sZFŧ1CB"ÈUd'WwKSٺ |,xfzqU[á r.a0n`ݻa]-9YP(og1@ c1RmZ3tQ?&8\neO}^u;%\;m4Cj*<5VkR`(1CX xkjʜq6и̩ڄb#d2"Y>d<W㞃`ѝ,-gS ~k 5~6z»{qeW]=acTMhŮU1/6{c,}iJi󘄗DK>pP^형 >>"enaH>T;VҭF_{1 [ l J}"?NRn0ɵ);Z K&LIJ%udgwJXF, Ykզܮ(iq8>dMbrheh m82HIҒ&/RDVL=^ cLjlYD3|U?!t!D`/p| $.#w]5,qEϖcKΫVtfv*u4-WfBs* <)!/0 ۏpoowOcHF=G\[xq>%gye,,R6JUF4Iq|z3;SFL*p\As_`=6U2Q& c p -P3Ff.3QۜMBPDhBtOd"~$Gxpgf* y/Qg~]yXkR20R AcHnrX)%[b^w1Vbp*-ϴ$yC=Ԩ; D W:Kv#$rVv3"@{*5;K?~ogifV320"u<tӽ[xmk]gR9"XB?>kx`֧ږyf%dvGEgDۨ5i'6IPi;vI UF&;1b\ :+n)2at;RK>tQWV(>RZQMl a' wFoކyBJRZh5B W;\ pn{ac-HF;cwWGU78No']-2@ ݄4,BFC=ɗC!`+8@&MHO;z#R?xx<@xhMPq8rF~14~2fIgj М3sQ)31rOUBæ7S$Zx\^1]^HV6ڻ^U]e]3V?.>**(vgw e~ weѯ q/M:Few94£1Js+`apc7CsX׿)S\F["b AYf{a+ iGG2}O7\6_#F>ơ¨EMLDlVptԉ|,UB2,e~bɹS-ڊG c>[y]]Ż=h'vY_XyM`M!$}֧J:/7F. ;Dr\ *y XTǩs5=:\Ɯ<~{C_ ~HBNOKREܣR'^Y)m6Fiּ =tH&5jh)hh}!1:{—Z 5ϒ4 V8.šzFBdr>x]^#m8de$|msrF IRDo[>;QiFɼ2 PLBuq1߅#m(>?n iAǿü@U(0OYKccuZ"%#R꿚\X῭+k,FֹGȵ(MFLE0o3tOJɀJ/ajCơe. E'٥U562'FAOЖ5xG{$%AT+TGA%LA`1}H/υyF8uq(2ɿQE/!oU6!O~>,/'}M XA@Xd) -g7oGL7o|)ۛ20SjAI=UMp5g迪A{uB11eۻl pU#RYs/Ƚj*OaC'Q-$zؖ,UY˥ TJƪFPLyg݃L 1*޺$#~dۏ= =H(΍ڢ/*/z&PìFaءḌ"TnxMaqDzژV~^GԀmjasbAFb~`5|ᒒyocfwBS̗q!F; f|(Sqd-aAw2vp@nl/Z^$3ILqO0svc#0F2pr<#l$q@"E;K,h`1"nao]iJQ~]. 'R@ r󨓎1CSq=v^zBq(01 Q(uΦymۚ nfURsKa@ d ö!MZ]PRP3oFxPvSt4zx4]|, |hSISe;Nf'lK5AK1)]2G2BQJ||I -w )S|qnĦڐqmwj|^Y*o\;.YP58G7b;:uL &0p!2qlՃ`xZU,3 C#>|^`Io,bϥ1ky&!/1s$O0Vkt&a@?Er-oս64bf,ۻZ7ȹ|0nre4xw !_, oEnF-U T~b4SV 08؃,fxR$,f" -?z-(d(:>Բ;CGH HK-sK~T3˛٧@{\Y+$]Rx/'\5` ޢ㦃Ȱ= zs =4&sL`ƩQ=@/9Y\{_;_A$lQqaWb[x֙6$݊Gs756ͺ_= &Cs:?l ;?~µeAYAE, s:=No՗vA karRk^MNrU}W*5z0H-Vw"˖b8,\9)osi GO;d3605<=T'+e,ȅ gP&Lrb$ԁ'NZ49fSTJw.'Bf8Puц"7RG '+ߟX0'<]KPZ(~W;+ElbBr&HakzFt!j[m2vȆ)Ͽ>ME`$k8/Ck̃Tm&Yۡ\HrA@XRF!ZSE)>b 5R0{XÏwTYWb~>K)SʸY(B& Q dJ:˘Lg)xG~bDjzuo.q+/q )^K0_VV?l}+PH& /5סD=Y3']ċ'AzmLSK3 H8$ KU jwFב~ {]@E/.(,UJS9dJh0SF#'mYhÄv֌+ʟ%V\S?wJvQǭ$dkXy SybTѵ/zLi%' JLuyC4/SEY *sLk$LK,yjHyeaHP 0Ɋ*YrRcHo]MYG4/i9ɹ_x|HK(%7KpI)_FFf{b^z)M\-jܽO4f7 |s7HuBšz̫j 4[6uP{6gȍ@%[q$bqEVuY#2 lfh4<-"4a !@Ri!%K?]ZaDYhۡ`M6_?K.8V"$YSV6YӾ&̘Y8C/hr{\Wx2CLb%Uv 9ϙNû]hK6O 5بE]R`v74+|W@Ɲ|@ٌ:USy~wn4JfܣN :L!#ٙ\vݸ8b%7ya+LD>Rg;r(fR{=-lϙܾ5^/6pwCqZDx򇌷8G9 |\.j5j}3i9csހ~0>LPfēy#)yO7jURa-q1Bz6 5MKTgwR4sVlI nwTYP||!Ⱦn a|(WTvs4$JXSu9_p~l\mrb ePZ+b =JOGMd}ygŜB p(amj<_[{aPoURu 9- P2jv<ؖhӱ@)ps:v=njou&Cӣ:dÂ{7?r, * xxj# ^-ʦ+L\,PVKÝn|BddbLDcgƃTZʹr+ԫm|ѵ?xz#>(}m# 7J930_4a&j-?E@@jcA;&*͂C VDV]E&.{2/T4m ާ:;nM #ri_Mѵ(#0$O w܌H:2OCvTCe;{Y(ߌTIpKpSQz[#9F9냉N\GCHݥ}=rR g! %]vG K hvbLS[ž8"C2;Ok^Pc˸Z+_[WJ{َv`OȄ5_~ J*xK[ysqq">|hzCCcE5cE3y+(,]:a -S_g*S_I%]iᳰAM8?.{2z:+J馤eU 8Rmjzͩ/vv{]5N20uB9'\$ucQ}Rr\Z Oת5C ,pŇ X$wQN s]{)HL"&LY"asX8L5] %xG@:Ôǎ$_`v22'\ {1m?_ƻOݵnq\kqO Õh4ͤ/9X9ͧ5;^ 9{yƚ!(,[D5btr> 6,$g%IV8 CD$y4ژԟR1 UUcPˆ<79 {~7'%t>WQRdOj M>~Ui(6F-{v+OGfrp k!POx ;mJ\N 6=[Ů$*QbpY㽥p B`[Ih+)JRP~oFE`΂Jū 8!{{,YFL2nRSc1Ͽ<·"$@: -]^iL6u Gk+CƵ?YaCk8|]rR,[^t!;@ϔ$8)gUeX?@gw@x|?P#hݽi.ۡeҳ$خl3\;7|1M?L}'.hʢUŔLq̱^ ys9BUN;uk⿭y $k ?ޥhc|s$xLVDYnp {hp{B$#,eip_bkm`:Qe>>&YY?]JJ^u^5Zǹ p%2r29g%]mC^p#} [ᵱ 3Ee!,SLJeL<^&!Dϊd$!dIcxI2~_C+fkuAzhՕ@(gq$VvO@qҢ y x@"(֔3Ͱ"KQz?*,]q\: 7'/M㷘^89ZfM;q*Hp"aum•B- ƨfNYsnKpWt덛D B"gaeMCd%92W5>Z)Rܠ^Rs2Bam#X7(@GT3.nu.dJ͗iC3y!m^c0~K˗hՆ:~$l#by}(V-SqwZRuR0fk !7.z]kfW~4#Ie{}mU$oOqc8t6L3 ntT('~ZjN%=< RBXCk+^oUIGFUnb`7ؚ#| 2T-#(~1ɤ˖ 㦃pLLE4^2+s0hN.&aW"pF9;<1Wtr`xVɻV2͠!,IGq] Zgi#HOeRP|Y\Sjr2FH P> +pizcS"Ț99Hx%VPf#4b頹u{u3oUچv⠌ h"Ԗr_PjU]B$I0cFM\"N.%-c̽MM<u!Y;V PzI-w5(gͤ!% ot`1z:^qR;mqZFh Wg4-'{C HZ%8F[GeCOZ$zT*#+P9l>\O4I-2CD0划0nvWv94̤7RT:VoӧeBj4:}_J|z23|"(@ܒd[, /ۯ[9t(HURp*˲S;F8=% xϜx91<8β~$91/P"' $\]; P"]VY'B+ߞ%HrEe }p YMm"7C}ŎOhxRC9;}t5fkBE ."m/VRC8#I S>lT⪕2Is"Q t°[OX4+hGjs>}ɡC>hZOZ{Qi o]2|C–g.8Vޏ0e&Fܤ*CJ.\Y&}>7k)k)&l+ $0BRHơ;)cR`P/|<$QY5w/aKR1g K1i;%p#操[RGweJ̛TzOēr>6P^#pE4`u+8nACh֨*WjmciXao0 [uXМ +tYJQӾB8)NqzҬ>i-͒Ҝq}}}a֙[N7 ZC鬩Ne!Gh1I  ,a# +Ѱ ʔ]09O@z. D$!:> W<3' B*~`rVbn5]m\Rϧ,v5Q;M%݃e:9*ʙަiDc|"jԑ" YռX. H95SЖNOk&*RzogMG~u!4BBUbPN[xo g$]fWVUPd(38]/R#kYϦTc[zA>+_ f-YV{jsk,꿣KŮ5*% SOޟd"3$nIQjuOwŔ|84)ak*mS6l+Z*/Ϻ.IreW_PĿid^?,&nQw-,bFlh QJn`\*Gi>X7B+n_+68oTͷ^v^m 9hC hB1&'V8m㪒hƫTߌQ PB KaXLfQu]r5Pzp쑂,J 1UT'Q|m~բya&Eh$k&O7HPOy.8\0T*=:UGM]+aM\ZMC*Qh J56;)ʻlY{YSȃ=TEe![FXoBRPᡮGjW /iv?zNLVA/NiAE }v't底AT-eȵ?>7CR1O-oWãU2XHI5P|Tm܎YD;Jne={bLW/f~A@Gs[8^_w;ȼ˂\E*.'fژU0HV_#o4>'ETlp=J/ֳi;bv|>m+xVsda06 ЭͧZAIS*n[E߼a]#%5<&:,72ļ0hx}oC nu%Ww] 8P4 `%2"C2;D+DUgIsMl`t|C ' A"}E1FiMBJJZHd*YdW蓅 Fp x?^uF -N߻{@~232"Sj"!Em-GԊS[ta=i}ISgEI盽FtJNQ$L(a3ueg5Mx4m`T7h>,E-+fv^G>u08; }0V#y%drl0P¬=KC;HCMY`cTj,Ⱦ/eQFVe?P§42ae[SֆA e?9W·xs]\6!GB1AAKkenǥ8xZA0H$,c ~K="JԨ1͊3.pPLDdHS+ʫ}a~#5* E 'F-Յeּ?q<([SϡN\y띌O5Re5,|7-Ym#UT.hcQO\H1juڢ㻵zVUg2D$EXUZUWT&վOeQ}I?v-b&n7 Sl/>etEjgF/.(g|+72_DJp 쮳HNGQ"WUJGA國T;nC0.jvpE+Ǜ6&e:/3w'w29cfݳ 4 ڣKXh4M EA6mͽq-z]JŊݟmvOޢZý_^ %}ӻobp5LgQ| iLLw?} c=hufVg#`F|")[lx.++:(i vllzGsJrCW?dfK/I12fY12>2kD#6m?5E{a_/ W=XI[m/P-,QĈL`mvހ-K2ͣ.F;es4l/T+^“v ״eq(Q~K3iKl^n(, p஍ľ(f<<پ_4. sB6zksAC*zZ lm8?:WRc-6 ' ]lQĴ= GsH4Te涫| ё ж)4If4NY&ߒkMO]mMM '?'~Ba !pxY6!T4#YtV2IP)N:d*`ݔm"ݾO:-bHd`/6 Q'g'v={732(wW]ҁI|gtNq4[7L>cI0j0!A|I޹}Εec7( _|{Q/!1ʶ|).]'PK!Jdc:"3@KxTq?wx2V}DF"|B}?A!SU'=AmĶ/w%:E\#4ʡ x%XQ)d0'> Nj]}g`iN)*Ҧnfih}yT(ؿxrH?iCԲ]*oN@a | ۚ9 KpfrqҊ5|X"MNJ]rlrP7=T?RO .Z|aF}H.}egCq_ײ $ @EK6LGHcX63'oF•81(+t`{J3#e;FFx{Ivu߈j d}( 66o2;vXc^5h暩4aa^`n5Uu)z ~׳wX*t ?|GOJ+RJI ˧"6=GE8v>܂ŞBN sI0 3.;Qz};;xm+__Bo^ T(:] WuYi4|) ue58ppپWܨ_[qFZgY0a ecjg)J#yBhQĥ.u$q,40#A2Mgui= x#l G876pDP_83M]اF^'0 )Q8 yMQ23罶w֙7&'K02r,Gy?o!9;;G;-=(GұfBS5&6iW ܷ\n!JPhCf< c3R2ͨ:],QZZڑt<<gʳ+'HKXJϖ^aWL$͵DÏ*Z=tqŕP|S4CY"U31qy.nDΠObVmܟ:|0,3ROR_"[X~AtXc. o' O.lIE΍z~㈥łhY?ZYˇ[ N" M >kҪ^8 =Bc' 왘a{2U6?/F6\w@KhԼ>P! b"R}RFQ&fk0^آ0bX)@?GR0v4ByZzld4 "3$U]+ 4lS Mq \q5sr[dW-K9v'?q_Cb,p^TI Zd"[o<I[Cc/DE2>C 3' ݍ,{*Ů>ꚢX^ ^N|gݟ-Y_ULQIz:nl>ngJQmx5^^D登ǷK+ 'в\fpLA["Ҽ7pF@m A5%U;B1F|5.Ԋ9C #t__cviUʹO֝c .-ה0Կm+N:/"2J&j@4,?}sSB_CisN *Ui f4kG plЇҲF4 xZ㑟^{~ WmSC 狂4(kkK$z<g"Ȉs@}D|O7caǂЏ{ 9чEupe/=BdH^lt9E/^j*lz@Jy T[i3ٻVS2ķW%=Z^F9V].`osn 9q˭Z)2xFlw]pbۣnY!hb̏χA5[+R*m "rwKASW"Z1EAE$TQ:>skgMA<]Gg3sHH laj58P?ŰXA)A@{ޘZ/-&~~}nM 5HE8稛gf2낋!Yٛ8VuyX3 8bZ|]-@!ʜEÀ Ns ¥'30=YK;yt,ֳmQuC[*Lλ7KRFt.l8e:}0 c,J0wh >Oeqxיp?adѳa5=`sPDoAgh2lb}$B=juȁc!}\.$c1QU2|aQM1+Nv:~2PS*Rp1B0e4Ǽ)BbX (XJL~A7w}^>̘ \/ O _w(&9JB:nH1JtPף 3Q]|[XLˤݙΦ=TB++>PyW8|!1\ Vv,PCV{Y&U=˝|+c}6[x 4dZ)m;3UCCZĤ?tz =4;5}rUaM]l1I3#E0,V]:xhY#qIl LYQ~/khe:&zja-0H'+>6b: J bϲKd~a2eg9^ 1 KiVqmdoo\ d(\~G-Cdx#)8R8!L)嚑V.R9W^]o7P)誰M :|O 5c i @|0{{v_H>Zp$5 ejca^ْ}ȲZBN!\$yy]mB[՛=.J pܹ 68CȲ-ɛ\Q3֫!_SJ6 O 4)x %zz2 .wgg.#$(-!fZokM#4}%6 cpS&#U'd&X* OWL ` 5Ž@uX+e'^ 061_,_ \J%2SPIf>w* yPxPȩ=CLh?61FczV8;`d3X>lv]@k nt);o!=9p]^MƖWͼC` vp\9e,ŒN䏯 ?HU:#Q"HCmsG9+x7)c8Ȳ\Ҍ .`;b? 8#h*}g#~3݁V{.DF%q# Xg%Nӕ%lzް<(nz vxp:]< zg!Fa c@Zf,p+ή]ͮppC<{#CNVss w$3pH;kMG@isӦOP7tQ O3QFE2Xp$l| yTn:O/#쇅sPNԑ9 ݟɚڟKvKکbTUփ_pQJ˶soC:Z}l p8"d&3J͆-ކ{*Gg/=O\8|R+ W~܋\ѥ9&`f!Y[]AiwPF.+4j}|m D2S$,$i (ʘ9=xtl=3BؤB̢qINu_a lA*&poGtIwJ( +qTO>fǻiwMZhtI?G[$yd,)Y "6AoKM(5q FHّJ~~TL3S1{#FG/jPE$aؒ0ˀRwR}%ʸEQ& 8h-Oii㗳ZFgQbtH>@~P/ b|M *cD~Ny (A=MsFW jv\#08a͋r*YZI);h &/M<#臶tsq˟YGPiMzwZ^!ZzVbCsc޷kOsE(mi55ic|g8<Ʉl=>-e;}pn'$Vaﰋ@lڰRQQ6uͳdWbεQg-& y+je!RY6Ԃ M&W('Î5: G@:Ҧsꈶ͏> # & |$Zs qrME++7R$k"( cG%s?FpY&i-xypPܮ DJ*D:32zx= c 84]mG3^^,8lq3qH EN!H7TO%A ? ϊ[0ήI/Զ#ˆ#[y{?W {KC4z[4yb;CȓhӶ9%`y;G=@'k-l_ NK(AV 4c@<N{xTB䡖M ːrߛ|n#U՚PgYZ3fcc8147b48044bb1fd80782b67e472962e95b23 597f3b6a7efdce9f7c92879997bd5b2a2db90f51 695f63d42d97b846d200506d1e7ec0451b257736 6c41e1309b855cab18da5234be952d7d09f06ea8 ddcacc19d21c53eb4e40cb2c583d232c777e91bf fa67b0bdc9b3db879d46400e77afd6fd5343935d728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 5e7f5947a5476d9df2cfcadfe171ff5a6ae9c2f4