SQLite format 3@  .;  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  {%tdT| ] Finger-Trees:threads=4elapsed=16.535cpu=32.188gc=1.8287zXZִF! P8]ŗXiɟH)0%oc \(ˆ>=-~Ǡctӌq.;86SɌnG+GNF@E?뱟$)#0Xt[C2 ?6b|7x{Q&;MDo0!Fԝa<'&OM#JQgu fZxhuvk\,ٮV%%Hbo OU&_C*n#,7j Tw[Yt.II?o(YbDp˺m OBi+ donDJ(og0В,'[<@HEInN߀_i\i=[ff+7lZDSb‰^u+ {ƓdVۥ^1 |nMXiCyجtସsi͟ؠvG yu^">c;ܟ&"DP\X^ 55``]+ 9?h}AzoVι'ș(6w[{^ `%an%;@R@(i]s\;.؟lTM%/E $Finger-TreesFinger-Trees.Testcode/export1/Product_Type.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w "~0,t.nSxEkis?3OnQ$.KU_ZuE)4v _MO KwSבzKQ9˺ƹ,`D)p##~BYn:♣x@R 1 nif`Vck,hiPw@&'.SVA[osP 7+jy3Ʈh{%/9 Finger-TreesFinger-Trees.Testcode/export1/Option.hs7zXZִF! <}]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($K7ͲP0l巃WOH3P"rp0EWL"iA12}߬ ";#1G Zlo8Q[ˍNT'H/;a**Xz4jth꠭ c@(ݻ8wA)z-n(eY)9~2-nH;^o\l`b=44؉:lǗllg;O (.KRĉe+%>)ȒGb wnW1s4Ufmʾ\׍VgYZZ%/7 LFinger-TreesFinger-Trees.Testcode/export1/Arith.hs7zXZִF! ]]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. \7+<25lA(ɓߋyF僈xa'kVVX`pr*)[8ңhU𶗣Mb_qkܨьy^*A7X4FU `0SlE p$/ Wlɠ]#eFGs ^pˮcV8PEa)~\):2EbE%|]>{UccZ%RwfÒQTnsǠ:di]J!9EAw'EJ,]:lRymeN+14#Y*J'M5/ꛇ٦{Xcij J xʺG{ 䋾?\2 _30e+Ǹ*LpaV8,_D~0oWx)`BPU CD-ѧX,~Bb!$CJe,n]pׯ0?VeUh gYZ%/5 DFinger-TreesFinger-Trees.Testcode/export1/Test.hs7zXZִF! ~]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdz3yW.Ngxd{';cG YP7zkI~ ZPFhV7-@m#k?3\9,2. DXr^'W\Bp `P?%9۹ \m+'n9 f7NPe^Qe sTk`H<,}Bw2>e܍;VeMk29Nҙ<"iF$:/ZJ _U,,ˏŜ^0 `UڰK~gdY&5կy̦<'H2 8ńc.i tAnTC|DbZ` xW54ncݻ.g+9]tj\DvgYZ@%/3 Finger-TreesFinger-Trees.Testcode/export1/HOL.hs7zXZִF! H]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIadf_%(uc>$%^](*,jyv~='#YJ2kt=38Lya  M z:TEb`\I]|QHi} aP~ U ,2nPҁMDlڡr":c|wS_n޸:-5}aHSyaҒ< lE>oQ=W븠%d7QY R0LR, (AdM ;Bo4CǪ-*]EQYgu4 T4tKW/b+(fcxolX>bv 5w;fΙhJi9&q#H bz:J[2>%"=axM- KxaVb;BFg}/*4$pf@pe,l<<>Ic~f-AR}c !fQbe 86l'Ҿc|@2i{rv6*+g})r7dU2DxWcͨXA 6a:_ңR*fw:VH  Uk `&+fui^590xL$YFB{zMekۉ :ZJa662LА:1|l71v=lc93_6]lOJ'[6^y k 0Vb1Я !;4]Fb\Ai y6 2ԇ+:I.c%.:@N_Zo *I-䯗wS9uQwo6Y*w$!ġP&|P')6HL];d/EyէW\Aj~Α14w{)hg,1]tk֍O<[bxi 7ɩu1UޑC34P&2Q;$ts| !W,Y`Qϑ _z y*XܘzRGE p5~_@J eku@4t$&R*OQFs'r}˒)rŸCHq% $ 2~Hk38,3OXhcyu\ʣpTNc9 3FJ J"@<' Dm>]Hu;)&twÍa"Ѷ+3D, ƓL=;vVjV:fUh cJpgYZYa盾P~Apc6v5p—^zGQ5u'-k+䡔S ,5k˽X|T~1fzKJLVڎ({Jbtoҟ=͇"h>=;Xԉ˅!V["ف. k`\]]JĊ #aRCf- :C-2!WdECh+NhA0 T|fE;$ܟqXlO&5r5 ኑ_YSr֯<[}IpRxGmqnBҪ+Eѧ1'ofX PzYz'@btCɽf.g䤠+PL8RI=ۑrKf'>_Ì$U^9_KG'*"j2/ARs}ctx^ >( Ld 7PnQ97(Q5|Of\f gsxZľ8,z_VX$J:&TGUEuˏS0po/_ uPU΅.r>Gvf {&y=!+Pjԍq/ &໛;dm@zhrbh iw+D."ut$7-ѴB` Ed+^Uy $GK(N!iw(lݒj6!~3)1bZрKl~&ʛ#G䩒 2 Vz azE#%d9W".bA/=e"Iu¨}{DIvFs]pS}áy 7\+'q[X= 4ڐ篁q)_Jf>q`FԝYQP&Pܟ:,#xoLY!1ɻmxA\Fs9 Yx_j}# (cNkr 8 w+`y.>HS,X?7Y],㾺40D%[+NfMS9I $d։okΜcZ+TϬ1JՆ M*9 \k;JZ`_P0t[H.WY}MSˇ r2KU|9w.%.G=,(Y1xM6g ScsHs'6 7uKl#10c}QS/@\?(;?a..?NS= AZ2f4܊//7(5;TPL3Ұ `_2UKVU 8 0,jӄ=9,ոWpehb-\Y4݊Őg)nE,2(Jݐ`(O;sO8@FM,ZÁK^R"nS#JǴ[E.юR=nH%2+ka+v>*=;p,sި8 5 rD1 47kちLq/S!c& I|[d'Tׂ[y)+γ+J ¶nz=xuS-٬ɭzLZDpKq5ߪFQ=NzYMPn |q{ e_zf-t;xa6 %b7@pIw/xQ~8TQ<*1ɡy-넇!S9)#:%bEDƆrƶ)`h2DC)@ nfB:YaLҌ2jok^Gȣ6 A~/hnOda:]pYW/)Wr1kof>ޙD1HP3qjF_o =#eB#Sz꽕&d9X_I%lV՝>ZEt88лJkܩ;"];驨 ˜v`5kFMSU* [j |p"(N(-X9jc>kHd*5: $)|ۺ. AKcsTڮn.\VE|bfĪ=أr;R5TD}.F6?SngA(j9:ޮT jOyH\(:B}Nxm(>n\e3k4&TN{::"zi?2&5qÈӥL+4}DVsj@7F-΢ qz)|X ! .^1ILzdlidU൮ ֵgW#] +8ͷhBk߿(~MaEA6ۺN)A> TN%^b:B][Trܩ@vTJk`΁Ux.2E+xna3-b B'wĀ,ag׋en vC^06/a?VZ8'XiKl3@#)!`oUg{WvVcp@a[G23^C]"@Ɗ 0/`q؇]GX 9]^F^(cWN+y/;#o.~hg]GMղId rT%,vSzPlϟu_)_Sdb3nUKz&sp}R5{J2 t ]@{wk nanS NHtԯN',TORo8݌f5WW4K(>2ʬ\B̙Sec2!̮"Τx.j;_3Gfxr& U?AO^څ"/+~ixI`aj٣5ǰLU !f=%}*T-ag0/)&S ^Mz!f<ޱgYZ!xa N3 bϳ~ q<)S{iЈW#=R刌4EQuaS>Bvll*.{[𞡂6ægQ&eFf8#*'Xj" +ўzcZP鱶v`Uo U& vG 3giۢ!ͼ30AǴf^[E}Y_Ʒ{XGM34>F7%Ԡgz;ܯIXAn>'+#eqyjr ) nNQ!cĔ22ƹe`&a͘:XkTE4ϙPPCW|yU0",0U6\ Z];=sF.I,-&8o ;=)bZ T["QFXbLICD(O܆Dݷy Ll15Ev`uMxyc/D>Ԯ PV#S?D3ü^6i~/H`&}hNq{Iu6.ܑ60_*&βjP 1j H$p+uܕ_-`Oz KN{Iu`FÅ7{4?wC9Z˒Wd` { bK} MnV\\؎cNv2uxXUawܓΕxmݕElK Ur"5{r׿'5?wz9>]yBnSBUzVR(k93};5ӄHs򦙒Џʚ{$逤&/ HE7Ȫ*wH, H .KنMbhS&0[a.K)  X̜jP\Zf«({10HG4BFmZsj42 ס;oX٭ !ye?I}ԥHzl2+EpV]b>p@yJ ^s!ӘaɉHeM]%^bܛ't&XlT,:-NVc!]C2 c:o5iv!XY [8y \p[R]RlFdr`x.S uti e^T8yBFgoY+;њ['2T*[؏ DJ߿7zue"-lufo{'jힱH{>Mq^~ ?VBٮy>G΍t >(b.W@N+fuRGB;r>p׀q8 !DJ#BN ո8K`#;փ`O>]Qq?.Iמ^B%>CT0aBa%]Bx5 duʹ8fGN@]UvG"(a@5l;OtmSt92 ;݋M+e|g> ݇eɍo=)@ ^2i =ߘˠ} -9T]>L^x/qf^[ynC6a1!``~ѪtAi{Ȭ;11%Z^9ɄӝjyG˗;+;.xb3jfDo3A.~8ppLH{m ^ل7x+  6}@E2(( ~=qK5e)P725#Տ&<VcTŏT۫I#f ,poe2h͞;~z0*fO *&%^H )d?EӭHt; 9ˠzTXi=<l0V;2Qu-:r͌hKi~t7tnBddٝîa_(V,r`e|^& 1"&b򡯮Z0XFQT pL"Tj3Za=l>?ɹ5 %* 7sQ'[8 |mn5wZLQ_Ls ika[8#i<ȉ{׉ބl~'G1M0Ih־G`VO{r@;Mri^t6fii ?5pKy4g 3Q#:2+,-MPAƮi麝 >u Rweʢ{Z&+90``, Ԗ k=9 ]S}Wg 󝽸~\;1O$ИϽ/ nMǿ4֟Vt&O'gTUx:n,ŶٗSh.(J鄆 裫ϯ +YޜS$E4˟ jD*AL UЛj;SFEYߐjL5BJ@,?4vdrimbxjcJ _**yĄ$w]itŶM6qf]LrSU' >tPƊw#s&˺y/dwX#_n(r<(ՋR?}D$ȉÕh =WjSWhZ :ݪ8Z u'X]ˆJd&hF," 6׻7PmXZ(ayu~K 0axl0u1 wN>{ᶇ5`ZJ<hD)iU+i]F̽d%ˬ)t>SH3Et+S1o,ǡWBif[~]Υ)>3:ۈ^W͏;UBQRn\}C19^"{ Ts_i> ˈ>m7L{[8jo~A̹L ˵' \x-l&,ϩl.Dh8y?+"@ _ۺFS ^O+]_#Ӗė $ 9 wk@kh/Cڝ9HaKw:qHhC =dJD[:Vvt׽d%*ap/*0RA.*:1%O|->=9#MYl 4"4vd.EG"VA )aQkDte}y Eԛclr0VvBDf0rD\ 䎴܌|DUgVKgpi3ϕ3+j~ex^Rl0׮Ou S CO.pHk87UHMxGf U`Vcrl i<1u ƇS6Xz?aaF)հp$6#Jf~%50 gJ}D DJ/fot,4r> HT89;KG#3HGMEҝF,? Ou/cHINPTE^k3#=4}"Nwiis㽢fP#B$5mM_~3)v &TdV LׇWeA-g43_7 jnVջ?w]q 4T($"ƤӉ!"_gYZ =  s%/1 Finger-TreesFinger-Trees.Testcode/export2.ocaml7zXZִF! Z|]6ȱr[/|AjTR `#vj<yx.M >&_C*n#,7j Tw[Yt.II?o(YbDp˺m OBi+ donDJ(og0В,'[<@HEInN߀_i\i=[ff+7lZDSb‰^u+ {ƓdVۥ^1 |nMXiCyجtସsi͟ؠvG yu^">c;ܟ&"DP\X^ 55``]+ 9?h}AzoVι'ș(6w[{^ `%an%;@R@(i]s\;.؟lTM%/E $Finger-TreesFinger-Trees.Testcode/export1/Product_Type.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w "~0,t.nSxEkis?3OnQ$.KU_ZuE)4v _MO KwSבzKQ9˺ƹ,`D)p##~BYn:♣x@R 1 nif`Vck,hiPw@&'.SVA[osP 7+jy3Ʈh{%/9 Finger-TreesFinger-Trees.Testcode/export1/Option.hs7zXZִF! <}]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($K7ͲP0l巃WOH3P"rp0EWL"iA12}߬ ";#1G Zlo8Q[ˍNT'H/;a**Xz4jth꠭ c@(ݻ8wA)z-n(eY)9~2-nH;^o\l`b=44؉:lǗllg;O (.KRĉe+%>)ȒGb wnW1s4Ufmʾ\׍VgYZZ%/7 LFinger-TreesFinger-Trees.Testcode/export1/Arith.hs7zXZִF! ]]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. \7+<25lA(ɓߋyF僈xa'kVVX`pr*)[8ңhU𶗣Mb_qkܨьy^*A7X4FU `0SlE p$/ Wlɠ]#eFGs ^pˮcV8PEa)~\):2EbE%|]>{UccZ%RwfÒQTnsǠ:di]J!9EAw'EJ,]:lRymeN+14#Y*J'M5/ꛇ٦{Xcij J xʺG{ 䋾?\2 _30e+Ǹ*LpaV8,_D~0oWx)`BPU CD-ѧX,~Bb!$CJe,n]pׯ0?VeUh gYZ%/5 DFinger-TreesFinger-Trees.Testcode/export1/Test.hs7zXZִF! ~]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdz3yW.Ngxd{';cG YP7zkI~ ZPFhV7-@m#k?3\9,2. DXr^'W\Bp `P?%9۹ \m+'n9 f7NPe^Qe sTk`H<,}Bw2>e܍;VeMk29Nҙ<"iF$:/ZJ _U,,ˏŜ^0 `UڰK~gdY&5կy̦<'H2 8ńc.i tAnTC|DbZ` xW54ncݻ.g+9]tj\DvgYZ@%/3 Finger-TreesFinger-Trees.Testcode/export1/HOL.hs7zXZִF! H]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIaWZJB~N -zˈ3A\2)-]<CP갯uMoTZ R^$rJ8Uq@_r׵[e͕CqET?/80mi!RV̸V5hlȯր90+ZLRs-ʩkYW3&CR lp;ϸj~π`W*eѢT][}mA > ;LREs>i?Wk 3sDpÅ˽E/f962W{r'E`¶Ŝ1+`"dfr(nCPoJu{Ḩa>lgB~jULӖ/4\_3dϟK;!\S Ltw𹍀{khN#֜E}ѱn/bډ\:BE)7.QQKt= q5 &Rc%o8yRICq׋!LXӧl DgL\jWEWoid0ogalV9%)!;陎6+B%Rէ? ڼ8YحiYiat1@+>sȱ=tj˃,ljkJ z6ϥG%KΑӕK.}hʳ+Zl3/m8 xJ^hͳ̸~*p}4c @ڢuuwea/%$~aSCoē)g/盈vod)N~=p |`)x7KilC#$TCTmzD)%3Ў巅wEUB3;8JU'WT1I_#B.MSC 2T \JPtϙMbic!cr)f޴V7y@&<XəO3G- { G"Qٷ*Bн5l"KHLD^o$8U:4 щQ 14H&(~-^stvhs6#_ך?M&-˶]nȝYߢLww#܋o R]Zmk2[ΪT,P{5r99H2skv`~{u!Oѿ \]vw-5ՔdjG!icMN6BA~}Zb㬃ca!5ToHͺp NF"E%rrW{J NTk`]2nz^T=RR84v;pblCQ8j Pzq͚sfw-X: k_5$-&!M.'2~'(*[Wr {C jQ#U;262pۄs a^wt˅d)\@[x `P\so1Zُ,\U@(kHڳB)Ըbh]G;oIӌ ۃЗuÑyS3rJ,xkz:0[Z 'gۓuО@&r֭>zl| 3IjVܿܰβ7vV1K-*Ѥܩ0,NA3MkBҹ F!fbPOdzo<aޓ:n F:f{9AZ\ְ乖(]9ELoZ0 buӸ"R $D,ygnu`,EZp1S),xEռ/5ɤ%Vblҝ0T'҄1Na;t+&ߎ[yK3(o9f)/]lO0jN31Vo0 mbpGb!KC+EBIs2gH\ўMa8Lq%8 Jᒔ#ěxU Eꦩ\Pd9֫M?';KM>ixNP4D7qpLU:, ܧz fݮ /P 1߼,DQ{U9Ah%k,̅-Eٙ4pE:" kr4pWeA1oqpMTn6Rp2ej& '1k'3>X!:AĀ!%~%4ڃ6Gq6Q;j=m|!} .;,eo0rU}9-bnn+ia'IU&u{T,N Ts]3-RUt^sND{{-t a˃m HulF)ͦ0EVrnk|`'[3 V',g\$ܓ5npbjϴ:FVg(M߫ȠBcѮU=F*u>W.#s qzS)&DC}HG^49o&l.~h\!{͙H oh=}X gQLl~w9zBkl/GTW4z)]9"DD2e{bꅭ':EY&"|wv[\CU*6DHq;5VXC$a9`ߑIucִ߬_`DunRh:ᴥYX߁1 [ Px6wJ#GI}\IփNuvT͕_&ǹ_zw1{4*!PA>({Kg=\*Оڪ3?vz8`12Ix wlNyR6D%/M2pg*n3ILXȍ<'8soWEX]1ٿ#P^R̅Hp _ı&F 6g =7H D9%@O74 ,|ϕ*\B%Ww(=QrORH :IsξyVZTD;! 9xtk*q_qu R,M7d{2TZ'_\+m+ppKǂtQ#WV}BTk?}I@5xjуyB^ݧuG+l#ZdXM |K&%HD)~{i;9੿q:wQo48}xld/pg3dgzQV Ax)(:. TY}/~knFdž ų"z.beOrVzO2`av&H {w0-)atG qomdj'I[Q'Zwc9ÄV:*+o S4pf^:Wb3ُv& HUPoeuL [h4OX Eu^#cfH{8#f0 ~Nǝ|$[[ g/ha.* )m`t#ojT/Sт4q<̶pm Ns3^G МX1PEpTF5CS:/fus -!jH6@``y{tTh֑ 6N V6g-WiZBy_[6vC(Y.S[-q ϟ1J/K% NmgHd{2ZKqL.&Y\'g>R;dYvNv gvS1,-!=Ej% _F'qGv1QIp}W@6zpuo4U6.? ƪxر#;(<$ "vf̖Ȗˎra,X8Dr޶yH:n%-"1difе[s0~U%ȾdyL}{EKل‰(-f2f|@.AI6qo#*KWwM౭XND~grB&S~a1it.t48 "`:`9c0'zm&MTR^ |#rk[wMu IEOޡzgg#mꩪ,i̧6bpV%;@Ƥ0AWzgŸ+zE>Yz/G;!AYŬ`vX 0ԃ% yM*U40M$q"K֏lDUՂeAdͺqN`i&lű }镝%2l _7=Xμ]ѿ G]ٓ7ok)pDEֹQ($@#ƛ+/pzm+ԭ#cva.8Zܛ WQnmg_cTL{ŀygޖS9+t3_ud75 c.a8LYClBpU`.ѩ:Zyԩppc1L`_Bݺ2?1)?M&"`i3'aYgmX]4sH%P݇_x09}e\Ka/f˖E˸iHʹ6fӌ4Se۷" ax^۠_sY_ Xm\UOqY9Z[SsMqꯪ"@ \cV@q"T9RR TPBEa9یGDKNmXvyUzR]{Nl,-`];~bw=tn֓-a:-Sft)T9u+qB5+s5ٳba|v)^Jz=ڋ:{YU:5GQPRria{`VNl-;s,;/|* |¾/oVikbEQEx6Cм]KXFp8EXRaRҳe~Ά\ɐۿ) +|DHQ#jqqV-4>~+u#M/P)6$4BJ\I)CN 1_AH/.Ԯ֑`n׽h[Kӹ{oaPbs>4 \&,r'>Hds+S ߏV\ÿcjW6L;~|5RByvF]?E^+W0z]51@~To&l#y7"Ł[U LviJ+or":MwԜ,I!aOe!9UmX_^i 9ٛR<4<Q[nB9v\<~Bవ4580Uj6m!lDaV@#kŨf?Y'7u@ϝUz*Lj^̓:2N)MSLy(Tm*S!g/Hɜ6 MZNbj;HLQf"a5.KI:zd!:xXl{]2kv4*4FcdoDzb@2PMnޓ\:y+]5i򰲙L9[nCG;^" Ei@931S%Qǰ *IY(tQh \Ux8%XC5-Ri Tv33 P ox{JVg~Hp=>`# c ?4ܤCLǐi:=}bw(؏pbŇ3<EQ+3Ǵ#Ct@ ލ7u0eeVO$gR\,.x-kE9OY0D R- {et[duHӜ;&>6"b}m^dz5u~i[UIO3 BLX`@FGkYV+Ң82a-C6|bo6 G/xsTc K"JqަBPȅZ=h][DÐ' ꩗iZL8/ꀧQ`p$PsyqAolxo? 0}{g⠬V۹(# -hGaݵ[VSvVoSb4dÜiH{='–ʍ@"Ryƴ #umY@ x{#?6׏j.4nL0 Жd/G9.;hx$ǟU-!6Qʋui1DjD%lȻXr4$wK{j.YMNv0"av/ܻf ugRP?;cvC(O\[㒔QTD"Z1 'h-~'D10wR szqFs}֨W1.fi1 >P>1!gV_z+W(f4I6}=w>OL䗭F U^OMq^q!A;5JKL4>س ĩj/^ ɠq=\nFwzxyz$ïw lw! ߝR.ojNXC+w9K|T σ6qz9r^U;dyJV%a_OY?w ZYЭ"e tݨA/l<虇ޕ;0^zc! ppZ&/) CK$9ph 5>S.SN退I P|Wvdh@~[4B i~mbumӈ>P _Nj\HD7OxL@"ͳ`Er $~CKHNpIfD1GX>K'ִSI&[~>&u-߳)#Zz߆NQN\l݆"8 f#Ң8M/5րw 4ڲ|M"w<~}Q({[{ FϻRuؚm:oF@e@0n%4By?қ[p6US(k~%Z![֨tpxq$t9BUlncQ:h2XϨV9$*k`Tlͻ3(sME'h` %4`1ʐ<[[f|@ `3X{&8M^N|N׈+V L(Lv%%  έK"6vPB:jdv"v&E!x\}t6J@Ag A>fGFNJIKىxsT&o83NtGp"Q>-)UZ:wu0F6{4ͷKk{*b&7 .Z,C.ڨ ɍqiǰִva&"L3#Ai+}:f.j<';f]M柦I® " dѐ?:+{x_~Xbd=G->j} dzzp&Կgs^. RA{Ԋ.>v +{)C.z4*D-!.ӫ%15Iŧ}yQ[y,vNb06HwM_nWS4z9L۴Y#;JOߘ(fqư:ч*Ej/;t(+98FGi^ih&@ɭ~ $?vur0rƽR;kƈ+ךʽFp>۟*Zܙlmy`:iJz1(P5{~$CI/H@Z \;g;R{UPh~)l4hs {AfT[pG3dZڋ2s;<#nEy~2 >-t NCނw^Ih^qԮGp6!" pML, 1Cψz@{~F k+c8D g @MqSHw}Dv'R3-;FeeEՇ\ `&Řd@5$jg4{J9 w3Qo 6w 0c:7W2?B蝓$ @]Ɨ2Z4S>Nuw_t!ߘ A~l"A "e*p&<}#U"}7 0< 1}S9k_Lr2|dG~ݨ`C ɞa4B e;"]eb{C:EzRU .TԊ`{G:Me$ Ild(X*mEd6<:FLte'bJSosB0mRE!gfpIXX$Cs9 $ XCӱ7sypO{c)ۀo]s EnͶ'!z(<Į 3#0&^ZZ*u܃%ul}RmboK.@+J-LC<G dKDc`LipN+1`!lOz5D b$ 4{3܂?8, /y6`#+,-)Z) R==\(Ѱɦqh?9! OCf;p"B7*hŇNPIk 9B{EVSR02 gϚ cX2Ig6.S',?C̹Kkc3\ AivS}"Q`+2~+9,NS(E+o:* y?xqzUfc|'?&<%g.>>BM.ѿ{bߵT3OqrE1d'IEXR_VuSydvK՛Ƒ+zr%HsG{Pįq.2{@)TDlJ<@?*3-BZ*bhZd'׫+<g0\ `E#)ڠOwʨŮMf{SsDO'@4'kje{8"W y18 ?&+ݺqFWe_ tYdW`_bɿ YCG~| 3DUR_2 jV{(r--/At F nT4x/twy MF0 =rWVr *jVgYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(`]t{N^z0\2'rt=?$O{r Z KDTbb}w,gYZ7zXZִF! _]ŗXi%L&t,9ѢM<]but3%l 819 "(ų<)f/zVE P!:6˨$^ZW*`M%syOK9k%N?ʼnɿѿAA>8|4"BX7^}UNoxGrUtZ}6?;>yyG-{E`i}`EaD PVPкogALhxL13*5*\tv"k*Հ' 1Q&{tN pO=c1ĥܢك֘!VMC(gzꟄQ`Ko'Dx]tX_i'^oFH;