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 x% DT| ] Finger-Trees:threads=4elapsed=18.013cpu=33.892gc=2.036factor=1.887zXZִF! 7]ŗXiɟH)0%oռ`~GLn|lO| Tw{dCÝڮH!?&0+! @ % Finger-Trees  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ܕ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ܕIan;w?4p3gݣvbp4ہ1x"#2>rPpG|_=UHz :Xiߓl*$a\Trfro#O$?d,Mxd!w? {Gߋn;Z dIf1  +ûo(0I[Rxz#&XP-ǩ EC|ޕjryh-]rY#\A95FbRNj-b9HU;N3\ 驆G ^r / V 7;Mck$HYe ^Ue $'7H]"5測hg r|53uz_92`1+iE zzS QM̒],^ovy$g|Xb79'c:9#h"uϡL2mTyogCs` vrfzĊ Ff'HJVޯ2S}g LRXȱxW'T ;9&9 JC1]lY~gʭO͉*$bYH@ YX'O*GGςp|[tIHxf!fVv+.F)SشCg7 ^>Pqzz27aDA`EQS  }Q+W5qƺDe[Цu9 2kL\3W_8s9w[ {U5ఇJtZ޾bf H3 QcNJSF7#j6`VJ4W}܍[Lb| 3VֈQDlM<_n^fN*7;&Qa'YUb;>=0K/:>] Œ욱eLcs_H)ԊESCyVޝ0#c?є3f+ߢNJ Tс3$`q̈́@CɺoH ֢K}؞=,L=C0[p i9(?Բ&HG9{;uz ,mޚ?sA잋Lpo ooh&}4Hd"5\ąw0[6ל`nj XoߪD"V"#Ohqq;3š̆Z.񞙡kmWfZϡ+ %*)s0?cu/.na<:/Jq{i^ܚ4o?!5ԸNy_[u{".*FE; qLep! c X'Jz}#m킗%cl4|Jc|x.DʽQ_ نguI+ ՟08dR]z5LGO-}aLΑ ^p _!!UL7 m.|lX~;HՉmlDzLBKv,as˄6+$[ uungXN_B^ߗocI@7:9Ih})pn~IGpAl!wLKp3BCYX A`UoeHti/VHnGl,j {.A]!mU"EX$6Ah"dҫ<`TF4#z@J?$ ZI0K>78 u}dPyZ =^.b ߆8WmrjT{;۷᚟vu-uE؋@IXN y8-IwJ mՒF<(cSX<¸ oP i}f2yr`=h^%ӞK{SuR o~R@j(< ֠Իz\ /25-x\u;:y򑷒d@9x"Mz S_2ɣ_FIl:J,/۰Au밄{rvisRkRr=O| l:{%#,"ox8\0yJcњ` P|g`+"Z~nbJ/Gf('w!x aht DAT 4g*\rٍ;wR`9**ƉLcFOsџRCTGdӿ) ObFÜŀ?;\ȴGC NY= !qy*^e9}:zk,NQqeP,1F>=C:"Qw "PY?8Ck{'5o 9Wzijv˝!WZThL-}!V rt5zr|S'5U<c@bUSkhuŰ~L׷DOf,lK"H@<ǩwfLӋ9=б=k޷]:)u&S5ܹ(-)p[x^ڌA 7ИiCٵڱ~z$h0G a[,{:l*g+ c܆vx2-_Ct+&^$L`h0Dߎ(V19&qv%_I[TכfF Wp3Ӝ~6'_WtF nNm qWñFBz pv[8<= 9r$ oD)鮮TnQNJ~RÂK♹ld"_ Hk'Zu \~A?oQ:8Nd\B Vtؤ -#vQC//y'ͫC=.f JRw Pʹڹ:bmv[#=\?Cھ_3Q2"VFI?w!96qTiw*?nxv s$,'4 3gRqzf 4FP-9k~{%?|,{b NXE&mV@Ƒ~8|[ЮFt"g\gF,7@A:>> OsPc;_hU)P{EXT@/;Z2:V[J9nG 6:iB< jܣdCftC\#tqC4Ǒ=l !K_󍖽jX҂9~_Z}u n$41!6Hm\X N&OqNjb @e:-1н0e,Zr*rQS{d+OG{w]~0щx6'bdKꠧ3*+CEhh1p'}fkLzЮv o_"گp|%ݗĸ0BC W;515dԀi,ڽZ~ QN;D^0BW> /&Q'fUjn l 8@X#GdNl]HTm)xrOK?j:4ќ+#Ss:\DTP#4%|["^ȹ9ICv /E f1Nde9DH掎Z*t%&_>(a3Շ o?2\>RR,X_=ujRFDw@NC~$P34Х]n=_-Q9/{m.o8?᭙:E&$طR4+uFh\q뗈S\ft6I~>o5 5ao=aN-͓b0(2gKg |v~\c| X#QC6__CU F/(CLjDybsvr`y jKxxaiBk A kw`d hiO j7DhiFC92A >N|5Fdne8 }U|>N>aIT܎D zt7tWIo) Tƍۿꢸݱo{@.ϴ<|ƯȰ+G ={)n+ }7ҏlBh𥽟G1zsac-C-Ag`vtW%xC볧 ǸX$+ÂQbl>$D=s"hk')#Rz њ{A/:<6/rAz(mh,<4r7 /5;[ޞ:F>39,;?qlogxKCDUv4r^_iT^8URpf`$O <H7>F{h,3RCoI%CUlj=~Hy> !tȆv#)"j@~~IQO h4\_. ; C8vNk)([W KFLte!>WcY#"7D28-ST~Oⱋ&2I&IB\?&'I+p_>GO(l>;4 :1vAaդ1b0B [O߇& qpb)+7'Z=D 1?hZư>#rƭQ_4Z\~;#ۿk! &>Aw'7W)L5g$<17xq :?,._#@ϔ`~}U*T7L6 }Tڻ$cX+QMIENl]ѥ:~ҷ/iPZx3'Κ lQd<;MxA≌jd`P~THlSh0vs\x}z*)ěu:ãMJ]V`CkҧRRKoK@˳;Kc f\Ċ 3L.o4Gc:9~vH)MxM5P^:Og_V 7HxF jߖt)">6S?B/3OTH nmD{J(WKWH||a$xI..O&Kq&!ᒧ ˅К!mh0~"z1`#3C}V)F<L2t޳vL1V#eQǛ*~$lV(HNEa,&Ix {Z2ͥ9 +ߡ #yjw@if>MKl ʩGوɫ\;1̇7Du0}i Mwy^_|T5LmW\ Y6@LaS9izY]7U)XU`v;6bIQ+Th2K|p~їNF/h ň:f}tLTc0}T,j pABm9R~iJ:-@+ q+B.K H5dA'G!'tO6j^؉FgHx: ƒ'ҝ $mm(a߁˛y5qJc)ÔTbow] sD?tLKx\&èZ:*0@n6'ִvFafwzXe: KxeM|7†t-3X6 Yii&iݽv"z||ZL$/6AIۛt2>^TX5߹ZƦt4ꞧKjS2#Ńybݧl5w^jsߴϬ?l+K[ibGS^vfv.=Z2(_~hj(/z8|EՏ h^2Fŕ:ZN>CWz=Yx 7\ 46 D)Η#di%0I/@p[ d= Q5)P4gYZܟy{hEf4$^QbW+ghFdK2mP2jo5UGQ~S[MADLou9qs!3 |2} FrV R<"P=]_>K"VNW  w" x 4@jreQ'%|G >օײNZ]w{+qzIhpLȲت; +J׽Q:K|/R)$XMaCo?GE( $]<_b]"0Sa5=ȍ( \L/?pW^A 3zZO8B)C 4\i RфU#+>>xOx(1t5LB`o] :;N%6µ.X ަP'?ShPNk>߰R"Iӏ|ߙ]w~sZ~,Nŕi?Y 2sg;%#6Zc>ekkRTPh @zW68Kb_g_"m 'rXRj=F4(1N;Mfؿ8%ǽ(ʼlDO+X|*/:,], FnYitPagnATL- +Th 832d5sZS8VG伎[dd͋U" tlcF9oYӯ'{"=7?r^XŻIA[g}:bm1M̺D='qdmì upvLփd=mCn.vA:'YRG401qgEH6;?kQw߿P V)iבk`I,StSBkNJi+x< =4hn֟Dp jmJ%bq$DR#"O7#[BOB 5޿gIKZrz@ X01DB|HUkwFݓ:mum$~x \;&eWZ@ma-*(;~^Y܊Np&wlM!Z AEH d?%ekngAn#/~i*z/csJ%赱ۿ[ tӤ(}a#Ֆ3_J=Qgu_4JR399>:67,}g@T lFg37\b<6軷W@DXavښU R-q8,ϟ0uG r2 y6>\BX1,n]>[,(ćTW8?AՠgOKF,i_FN I kwR+:ujw +w&)Xv9vEBg y@-z0_޷ J`GI4iӔƄK%R-l6&B̒A扞;P(hJ/Ol,p]nx4Ws_" ~4 "Xi3QQ忂4)sgϤZ{c=`mQl#QES?0}!ϙ2 !%KȆz2n grgYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(bV67DN3o#!WӊLNF(*X1{e(XZyC5L}w,gYZ7zXZִF! w7]ŗXi%L!l.RbtD?C2(#\!\W;9KIZĴ:1ZWpO[m,ma F!j]+y?Q3Jũ:]/Rj8âlo~aiUpؾ9/֩&֤v֋'v5wb7 U$gy),w(|Wa#^6-]0g䣩>Y{_((+V>:6A Jj,(>^kwҳ}MZ ޵z~Nއyj8-1mQȄQ׀ut΋`X&'9tl@vy?urNzemP|Һsp&0"][B'pU,w:MAӓ)\-OQ͡ceU$D'eYIʛ[01ƛCt"wl0?a΅I ;zHVe V/4mՎ"NQ;W篼pz_a ]r6ib1qOjLAFlBN@@U[p\VT5m%A$4Z_d {%:U$5L$a'8;o^Cl,ƛ~ /5W(/LtA;]0|~i4oǹ"2?Dky!!Gd;8aWu`b{cJ=lűbLIۄx,d%/T77ցYM"ja#mWnԊC>ti(zA cuyVq8HaI+UC(e4_5z++*:k:wӿ$}<;[ O] A&r(w'IG{fG+ H [ޜ͢/!,줊 cx 僧 王 /}7 ND4Hh]igobv]]xT_5 H;M3< onH5^`0ЪgE.;D^(# ~`fz_laE;cI7* E7V^xOI8oF撰l9Hy& ,X8=k!Pk+/KΞ 7/)zV|ߨ9&@#L +HbKTr@z 2C,t=Cl߀A=Fv$y;Ҋn@?)φOLV܌r=8AJ,ʶyq=] izwZme>BYly=,N@k RvKM+A˱gYZ6e02651b1213c69050a84a2409684abcd51953948215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d