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 O#L< ]S]Collections:threads=4elapsed=234.303cpu=593.772gc=41.412factor=2.537zXZִF! 9>]ŗXf[&5Wx(03Z*}?6>Ї2+[)eg쎱,^+2|~2n[|KUk~ƺSݱ8bVz;Dz4Mή#lLRYOF1qKuևZ&E4P,[f10v!uȮ.Ķ5*FiÆ<e5Т)>i 6"x]#z@w10o,}Xa@g=Dw K*(STrgG>kVJ{_z]KkTV ŵP8}3E5Kh+_qϱ&Х2cm';E:k` d.Uf)~}oI'JVkzeiu}ᒆ32S.J9P$]%a\-$0DXA ͳ&߹YD\ (2Cɲ_a[P+l}AVT/> j& /zBA=l& KT;W[C 3j:3_R-K1Jt덊2VxUؐK6SHa=HSm;k6cORտ$ Y,j=|v5TyX Sa;hX)= vb2qFX!"m3,Q^l!YM׺t)1J(MRYplLWl\VI NBY>%EHר4Kx<=CO[!()T+|tsz8&%LtJjgRv:ʁ$&$J(;b {9CGI!q^_' y< n={V ]x`Z~Sx8&i:\P_D{L ǏavR Pg>maOYɊUn˱c#AdY$Xaw yJ._98{Iu̟6(z;.jKEQ2Fns7d+Țc,hĢ?G' OiL,Qy 4PxN-a’Rs~n9{ԀA"A$!gQ9&v HMӘz7%w,=ȃ]?Cb8XT8m3c㴄4n) t6iZs0 )tF`Ygr^&1_IJ5[ $Ѫ+FC+)4|@0^lԖ/q}| `!˜|uN$NI`Oa\191Js#bۯg # CollectionsG#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %Ag 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按nH1dG =xZo뀞"&TD4H٣]^v;3}Wp^?56wH+og pntZ#(hH$x7]gnNv@.HKN CɏU^%>0L/g L IwS(-[+.} Ǐm;#pD)bEp̍}NX m~Bˮtw>I=_UDzv.IOڠ q"T `)`}]W&1`'(Ƈ >T4> Mt l}W['Y q,;>h(ķNE[3a;Ebt0tW*|J̇aԥ_6#͚q8ŏc uF?>Rxɣَ)V~-511$)TTf!_ Ciᣃz M-,@hkpxZ1E*[n&mpU@- HJ:*Y8ZGaxe}j%:Mi`簐|gw[{Ĥ[dqxw7ueި $m}VQK$f>Z,tPp9N,CT@lZXzĈf gU # e! 8́N&ZmIqEA`pK*If+G00/#u8]a_ _6[5Wb14/"AG*waFZ @ 0yݝ:w6!}kMRQ%EUCT9\Cl=7_PF?)M8lMA.ٗ2MS4/`›L5ymMzjvپ?P0- X)&Hh"N_<*7s w={px9f/j1<ý'ױYD'N8+:E!j?0:0fwa~3wUXѦP,a\ZSd3lM)n/AaqIQwo+B I(Y]K8׃pȘ6O;eF[t TYt*TnCY2B*`6dn&K9NğKd]V,'W nMd ^&F+ Y4s&سF^Þ3vԼQ ngU,:.?@h&#˛S T&;gs=c3xLƸ zr N]WxZ+Z?29Y?f5u?&cZmCL+ %U \BSK >.8??s$bŝC>E-d7_.ò4ӗ!bا)&( t=Bs :DtqO29|3Hi&N(5_{z9Z\FTT_$O-`FP-]Uu)H?U I|(ZO(vYU8j(*r"0n ;zzډ3J.>%]Htm=gZ:=pkΉGx~Mw#Vɫ1Emjuf 6xBLpFh O;jIMHU̙&lzxA#D4J~BjC\p5O۴h81G\X IG ~yZmr94<5EJ<UqaVgQ#e@僻 ."yv|6 }("t6,PR.!7teTTQ]{CI+$W?0*RA拊LK6M+'|dkp}%U45>c?U!y,n'$%,9Ε:2ݷw-W+'dF544E)Hظ[޽Jv9pB[ = 9B빏J ]4?I̢ oYf՜ :1 n&9 1(3^D6{ jn%Yw|p%ԫ'D+׿ a3>8zݻT" =1'uoC`]5:MڝeXxz)s!-y(YO}bx ('tk*KӰ*V]+qe%>}mq?qрy&]xay ^}5$i]s 6JcD^/H! fYi| 5U3B=K] L`6:BN6!] [;r08AQJ&eWX(A-/ۥ?uբTэymf](,*9 A{'|VM@^ͧp;Wqqqsٟ)jw-HWrὡX}JhKWFg`iRDpCКލTO/Z tLk*[no vT!Ž~2Xtrp̎x8=/T']:Թ~M^Mԣ DȗɄ]J/)?w8a%\lBwY]LN&:)]@86~'_ uSf,WAٔ`A|„T_YN7I4voCD XS~'#+lm <@[yA &Oi]l'eŽ JkT0iGjY颦ǵ,u7ՎG&R&E4ϚelqA m*=ءoe"uOUG&%>cc6_n[=epgx.-?EwV~ߴ6ؖ"}kgy钆A.pYAf Hy*Q0IEn"Is( BgNзKĤe5s}4JC=8/oy+9l W^i>v}Sbb&8uUܵ!YOR%_A^j;)IՍ#zOfI6~;h#{[{ "#2^t/TcI9h}EzAL<LOy Wp!u:]Q)K3OuG XI2:OȉJfyI@ajF%``dK hzbk "gVW-b kVH<6s6: 2*1:,X2eS649WIU+`_rd%{[IAotGt79B%/:*{Z&R$})Fx3zI^-Oe$0p!䩟ӽmׂn'Iۣش,_Њnyl5G$qFuWn* ^uƵ.99D?:-os)]W{jQLĴx@ǟ%Jl1YaVlm,ka _='3_618^ovBQ(ԆlF"pYe.iF 1 ghV˝+hnn"D0sBhjiYW!hij7fmhgW"Ma ƪ6o`Sͅ *#n|!"+_w[f(4M!-KkRĉmUO$ d({mp3'ybi'2߰T(|܍3^!zuNg&/ַ-&ћ8{DGc~暥1m>$U2ͥvgxւ03~cd_`WY"r‰v$Vd9AGI7>*y&Gj`i֝=)GNa aCru3k<{;6YC3Dq +|H9nX2|+͞mCCM;֚\[i?:,+l@eܼfI KKޓ;1^(8.4?gdJ \8v]/Ih6Wg\JxFеձJmI0v^֤N꣑aAӦs@V'|xpY`òj*Yuk B˹'L{G6eBqǕ¶I3.e3,aLFpR:|籂Iӧaqmu)}\^ZDg>;#% PZd!r\S>5m~85,p%J75h'T2m n6D[0P;%943c j+>WgIg?cx_i#:Te<+s_+lr%69#}#ә'0t i3DBSvkO t" Ng܋9 a{^Tij¯=24Qn 5b=~aNӄLЍKm5_A'.k~{KDӔ}w>\T%Qo;i3bӮ@TІ e[teL͑-5v< }Dhw΂{,Ow=~Hq01Oq4e־>1N z<3 Qvi\D^{/x8wʿOˉ똺{ʭTHG]Q m -Tp;c۞kh袟/:<IbngEqg]KFL{洀oÔ'v(% QБ,KHΆAgJ6Քf*93|HNfpcA'-˷ч 35"0Էx,hU78K 'N` έ=N;>y{_K}_]%axJlN33տJEqu*ҡ-Gyp10FJU]C)$Mwnη%ZG?1: FMrN !9G:ֈRWܿx * [)ؓf\gت$R!*vFB 3x\{sktt烫鸰۝x< V뽀 hVzŽ G*/#쨻oD+l֎9d^deQU:HRQOȠ~rOwˣ<кP^[a3+&d1ិ>Z%&j/эLzH3.zH lh[Xr:C*¦g+Kk(#yuS;KIO~aIzMm& t_#Ag BXM:B^W|7=H| -c0QsF RDӯ/ )33T )cZ{D^(߿k{T3. -ISؤ5m/zȹ);uD !$^`p&aKk')SOQq_o'v^RyT_v9< {1 -qo~6?7cDU6U/IM+ܾѬRد&#Y5CDrcǞa T)*/ˬ1 WyZ"́4n@՟ ;9Vn6y[I)6#f舢L 3W, @u&uƁbS3 uj7n%j LJGf- \D8#^H[_͌ xW!FbJhh F-#&mpenPfpܷΡsI$c,%PPy! CdJ+קvI soFDöxV|l[)7 ˦R)\UUmG u35X w⟋DDҶG#נ3OIM9|\|IW/qm!|GG/-\>:WX}ˠ0m~Xך @"qq S3;-1#͒ U{?,mr!`9Nh/ܷ_D+Q6k9\>Ap B|3X5`7t-7RWQ4v r(4W+sr>nI *FFlon%ᱝ 񷭠{oq0Tr9~ÆE@^8:g{СA W~)8f.0Þ{?ցYݥ=N\3j{:+]^w8+#? yr?DpBoC} g8rS F sT#vYapR/ Ɉ iN-s9s&\_w)`2V2FM]B}/?" |ub B;k o=, kZ$8L|}h4t~bК!ed5ZbJ}ЀCE7|itds7: (hsg ¹\͝/KS}j !atY 27TOt m8SPу ;%:FوOlr!^4]8PE5p96gsP: mZn$XNk]E!SoY0?hf;nζĆ)SI|dͮuX꺆ٞId 74Ot="٩UtC #`YedK 5@>Pa\,$!A?ȎbqD+sFz HFJMyY̏e| AKhj:JmTQTL/D+% hV17z FGFPw=.uQM{ !1_BܩǒJ0=үXDR*=E5i l1H6r-"c^$CDN_ڳƇQ-=gHve1Z=b>?K@O? ѣ~a/ eQJPcm/Q8!kHnn. ~ތƳZBuWPěd=aK޺PnV{܄cbv3tgb.fP̦9W563DȦMFiHuc2yFFe u^6(4(?3H˘k1Jc ʮؖ0MX7l]gM{XmE,Ȁɵu4V {xB#@:W_2;ef ]ГW4Bs{$vCjl쌵@ ) A'iӎgێwjm\ DžHVKoC-С/xk9ݙ.Wrbc08@ۓ$c؀jkf.N]OC~?]rUUu>1Ub KJFЪYF lKd#*ܓv&Z?Xygl7_d*tb,?@7JBk b"K8?צ=Lw̚[/sF_^F,>R/+||KZܽ=~pxN;omMrIBv\?>s,U41UޯYj2S!YJRP꽴 X9矍[48!K7hH NFהPgalG!nuށ5N } OfM:M sOyj+y{8Ѹs)NR:\3^ԞE}-zPChu Cc3$Y5J-r w8T pGjr!V;lpgO(uIP_o靎ؑJ_R cBf7rxCFnÓlM,BeMЌFЧ"vӻS-2s$&h`ZP\k!ٍy9[TG+ՌHjx}Dt[xq:Oɷ Y HiZ4ƪV`v/}`Ϳ.yV MO1-R0? uV^ZwQlLaRE9)Aݔ\"ξ0df$:찏jPuߥ9`ߣ &seah~zj3`zf`LႆtZ0 =(jb~A[^)9ZNT;kšHgkqZ Icm"lT'?f^Tqn7. 7Dx2}0O6њ.+f^p_MD(Z<ޠ? I]YkvKWi'ڽb7~8xgjGKV# PR?cZ?$fL/땘Tx~EjEd\:)`Ĕ \!ɩo}C:y忌=[3y$N!}4$\K"Nb W8⧊~\ٖ<Әf!8㛽*Hhu66{RCʰ'l 1GFPA8Oq@/ EqR+ck#7*0kJ%WOZhƵ.{[2U"f6Vc=؈ iMq{2 ?U+j9B?`6J'hՕU&I?Ѱb $2C8qh;~.c0O ]Y~(S5FU^ R`1?# '(n F ]B 24/;޳e?S` ӋF)| f *ߛ7mn¹)yC4TU;kh9wO3])~w> ΙD觲0ft+4GF#!废>!n T**J(`2C,C"T:L+m.2N݅k1^k|") 묀LrKfe|]]kROh_o^)5)vIVQ\Lb`y-#Qn\!M(1892$盱7O> Qq59Us E|j,7fldHH(`Y%CDҼW~SˍVQ)uJ0x#:nF꣤#XԫΤNkً1Ż<iG:h0S@ bgI&_kLSMv%7;%u-(ŶUĈ/HD %5S4e*jY|5B֝A1a.[rN,.6-Qr3Kg q\l]R#Q3]`Fض 8Z5O7ߢ^C.$!N5 k َ\zh#AF~3 L:W@樝為 n?7ה,@.H{Q؊ l{Jڝɩ+n^L]A3Oو [BGĒ]I;`\0HB:7eslv4g Bl0JkN’hD%f+ijB+B&nt' ʭT~ UoaJPTY;&)YTڒ )0>ıwXV6'5h5W = @ь` p\J5{Ӏip+̕Nca#}"`Y^jXy|-0 ~ln1` >(~>RsǶ8tB\$>ԴS#-Ci_v,(^W{#(k%kHk" vm;%0dzvd0Z̅z]"D[B^X+ 󱳻@j% >l:Kw?U+ႛ'A^Wx;#^ͦWVۮ;q[2_PVk|EBrFçӰL?v׹oF.b m]i_*sV#-CfLC݁;waIY^y@$qf9Y WOmkeu↋g!kwxz$a7R{ A#p)̣4|r \ 'sv^c+z1>+֙hCй#QNȈ'?RZM2Rlf0}r2[l$(::/ț(U y3X=|b5O]}܈z22$@VudEr?\x9?>p\?XJ+o;7H®82[{9B!ֱ|S|;rP#T!btNV#MTЖ[n:4OVsFc pUQ}wW9H&ś baj\ {k%c ͫZYܔmre\ 98.`<*?ߡ y %Tf–Iٖ/kզ@Z`A,Fu- K~i9>P)hz25͑ ~^oџG8 EQ,UXvt Ĭ{W8< 3ǔTy 6/rSŰ7 ԶfH7?;:E߹DѾiJޗbkgZ橂lwt~Pi-g:͂I+r99C z_b"^&,Poߣ(^DCtGUHjad2YB^rC1 Y}T~6yI]fNq#U[uzK 2*;UFZKfbI#=aJX6YN N@`D䊁o U{+.Ov}Wr-_~r]5 r cZL#5, ŰLD^צ]8⼁Jfi)٫8 e\\ wVsr-_i~;d*;z 4#'Y"}"lXn#t~SIO~*G}@&8(l:^\`uEVL35Ckǔ&mʌ?l5@+Mlgi ϙu@whJ׺F\IQ.%&n5|8| *Thy=2SFs xjG7_9fBSH8kz'gV#.du[N9]G*0w%2mU;F?mN%Rn%62oA+.S EJ9s>+'7#\:qZuU@4^)3fUh5֋E1j9`rh)!j)}ZM'(c]Ĉ_M r9+K Pv)i #@ A {@1T˳qB/a1gRE5vgG72'mg߀d)֡oY|6Z_VfԧShKq ΠXA;D&GB*T{[P^bgкWGhwPz^Sh\25\(SLPDTyeBDo?VkeEmI'wee6hm.zpLt8D֝ao+[/R͜(w*GF,FQn%jhj\B{[0F:_YLk+嵫+jdtz A;;6Dɹ`:4dֲ:p"[*OC;Scꁴ]ا^|MjIV40[: Ns06B=f9l'RݐfޠhGzG5`\4EK\PSIܪ ~-"KXKC}Õ@)PbjQ$XDVU7>T Xn u$`\B&K-љG"` y*^UAPS0Z‹T:.i[2dG/L<rDX:sŐR–" ;i(TQ{'hйংJl‚onIY5R~ lDyhU\nO_Ks~΂,2ԝxzva4\BK _ ݨ!ils-"IF OߛSOz`TMrRH=Ъ_ /ڮ,EMa^#Dc[S__2ZЧ[(yD_c~~G7+8* Ȇ%v*7'5~`SS4c$NA\>U]&hLd5;}eXpwtƊS7 3hKpDZ%-c`6yѶ %}ee΄̖0 TaI i+;K %2$QW|G\9|YƁjYcu2G<ָ{2ΧX6<\VVIÞQRX^)l"z8f^xl`6oRYO̹PXf7o{u R$8>q6֡6k7l^X.B#"mXy7BZׂ4wf>7ήUnZb| VӱBbohw^@v2 qV#|e*{g5Vw6aMd2ƔM{~۵β%fT$>U y?;3ێN0g, #t2:/]v$Am@ ߜhru1N,'G]&)4 uW6Zȕ &zΌ}{ǡW=k#Bә @[G&C QW1&F+(9b@%9 ~gWVN~-Fצ9l{(.\L'Z sG #rfg]5X3{dN&8/̈́aXhH 7jZԻPB}t)p\rv`n\!7|>ZΗ5;wA.t&2.N s$ЦIw 4~U]] Y\zE ̥pP1*Y)/x[q6a{$q =t +xiЋ}Pҵt٧ugvc\u%OYE ψHoLXAu8(5lٿ>tu`|-NYMe |`߶+\Rq!X1X "\pWWS:a~+SWT߳ 79lKhphR0 4ăG'{z /4|AyOz+fcLSHAW&+D w hg&YxO _dMM>NNN&x3b|`3*Y4wX]Bz- ^Xht %bH \"/FVykRE Dq䷭YswjhzS~ރ.8Ėy- hO|hTD:@wV+Q-w s]Q[[KZ\Y&GUy*؝|-<>5n(2?@=vtvc S|Ѩo<;b $Tu<> U}7_h,_ym֛ WinqoLA8BE[ ;CK'ҡ?ckݱ5<>#])aIZTF_HAPwR_>gaiUgo}_$<@skrѳhC:"6U ftjM+0*N)}4H5[ BD BZX?<6q?o~dCKHM \9yYyc+*dMTL*zokcR x<:X7)E-I9dc54¯oZϷsnr߭TImYHOTW *&7_MIi]5q оݝ]=jK5*Z2#Q}[G1* I&CjSě 5|mjiú%ם [72{"hٓ58)tisM<|AU֬FN4lo~AHq.cS)xTvT𕊼g5xd:rTC>WbTAR6EO噦:P BP!ݢCS0O/iu,CBTH Z yڏR&)1+_<ckFOx"R_\B;~^=F}S̭5ȑ;L޹@j>.z 0,aT;&Gm3)Q'pq嬐:ؕP/yG^?Uj=_vjL֬#)f^XVҫ̝)^>hp輗2Io`E\ {ôo}}ƒllW1NO~CmQ MF)EԉKsCwt\ojcWQ6kɴC@{N'՛[bZF WM?(v6:->S xEGYjQ/#o@a o؎ 6=Kd _j-Te\-`m_lwhmqsߠA'&3}Mj_5Bd /) hpp 04%h ;6i"}?gN]Imuߞh[0]ӳ&FH,Dؼj72_Y`[ f0L;v JeQ*_=R B KM,2T&ϒWo5GP¶ܨmU-K6RP^byWu boN.A7#n/ Jgp-=|:l|+],̽ј`}#Ch5*Ńj_.cX@A^ߚ R#GQ$`󧧾cn`.  ƂW9IF3N®]5MC@Q4hEiY+_->u6#mHDۇ023NJNM~mu&Xws?O@0]`+;w/Jxay*3=}!+ ,3蜔ziZ@[eu ʮF>dJuRAKdN$J |ao[ǁw4J8c.t;Mv!`h\XVeݭèMua{. wT諁xDS1m#|KlYfEҬƔ#[W6,܊3I7g/S#yq=v ~sq;cO= J a8B!>H^Gq tb;q!J :F'L.) F;7塏_0_;2C3f ,^1/Z'ꫛ_횾!iYSؖ$9<(CIKhMpf 34; |g0(N䦛B_dg粊穗5O(4F8\<.e.䚭Y) `]yWY2jec A%Hŋñ{vuqVjLtdJ韝Jz5%2;K=tP/~}t.K("6ЂzntN06%w<#F\>sDwET%gcSYeGfKu=YAZ, ab"qijٳ!t-օAD/3Fb_l Me7NĽ87r2?3V_G*&u >Hu#ZK _ep (mG J :`l,D>EU啴?5Ϊ)t0Y$ lBB@b~ =K#GH|\ yh#I5ͭzSتA\2^kƩI-94wbP䢷8#UrXi'zz*Tcҹj5RTR :+!mr2lbT x d. łj+z?y&ca A9֯;s,!qFoL9xlHo]*)~'5{',v4:*mߗN+`QO֥,]@MjKSGm#KCUh4.d(AGõ;pYzkH-tO2z=eu=,.M3KG_V:6_%ur5I{JrPtS*m&B/ɴZ.{a:u"^8)K zÃOx\IjJ([hq`j 宿VZEf&>[!"I=;>Ɓ89;nn:ӾYᱎVv[Q{X=xs H*?gˁ0Zf`T9Y2o:EyuH_@fil+섄A㚩Y~틥6.=(!9 V(TKb9~al;2G;YUHo]}F Fu9H)ZѮ+MXKdc:AC{^h}bk EGhbc:毕ʒaNq(U$;W`5 JlrGط ,,]א] S3a`幜`m8X jfxpeMW9@I]l8#")qgYZf1b270051c927957ecb267f9e2df1ef21fa035c213f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 858f6cd8207f79c7ac7ddb04778d17fd495914d7 9bb5f26e1f3ecd30378fd845a664d648e23e2eec6c5a22c2e116427b9151a47a5b9dfa20fb726fba