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  U1Dld ]% HOL-Decision_Procs:threads=6elapsed=268.051cpu=1139.332gc=179.452factor=4.257zXZִF! %]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+pǒdE|;+KNǼ$3vje2 ۮŖhI&dV1W3B .mʬj\:I"lxu3[nͮ[rR5TkoROoW^bnS&hq)Eh&Ƚz(>|7N]bHeFUqZx;Att7'vh!ۦstsBh x^PO+he?2!umEM.By>0PNVkf=oRڱ3_;u2͒B.-,^< gE_7!~'7dڔuZ쵍3I??Y.94k0V7jC}}qSOaJ|˦LǕhMH6w F"A6,鿤 iv #9W{9Kr_`jz2ka󤌋/@ BMqEk˔L䣨ЩW&c?xd6W>Lg ?5xs#{ne]Z7 .S aSrY e{|ٰ;Zi3rj̚_lkgj:/8z+)ee=VZc>`+(=9\ 4Z֧;7Pk.bÙx+b00)J XS't)z֔{ RC:XFefvkuS@FMALJ?w^"I@_;oHhB7j Ŝ!٨F $% { *,<[󋁸hel0jlu憁 Lg`j';=dUlw~Rg_쑨dWhaI>bBݧHZs;kGks_>'-%$?{PJ`(y 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ ldnݳi*DmLDfɿ,lVGoM"P͏_i~fl5/Y"QY4祡#)uJӞivux1ف N+^Af_j,c5, lXs]s|Y<K~%A*,KT>SG"8RjW zQrc/?%iuKwwKQ';f#'k:"6+rk%9 D,٢S)1r:U,7O՞T; AӑlOYaaJG|6)ItcQV[&3NL6a4ܵ^(i&+0藂mnnq aA҂cZqK*gQ%i^`cprvc56 LyHd%X6Eژߢl\Nz[LÞVa}hφ - 4roʀydAk1mb.O`}qp l^-aw{$틭 t!2^Z[0U1/aZsP?m.lDiRx%uw`;Ym%<_T}DP 7G-] Bg`ﶜ5LWP{ȳ|fMMbρDidθ^zY''`v@~/GXo;C|CaVWX1_VnpjfnF=nZ@/?3&f}(7BKn6~CaF:/[i-p#)muA8C̙t]VǷD`Jg-))JXpW2.XѴ3/f ±ȃ耞lmїґg *ڥ%)24XOa3zv=ݯYO%SO#i^~3%FL{A恽m^[ݛS.4EIgoO2_o_¯z9BE )5%rm( 9h84w\ '`Ϸe ,U+7v~µ_}5 \R<1p/cᎫU߿QVܧqg:D_%ğf73 P\6"=fp47LUU_5rC7lK>.c3UqP2STݏ$*S:tz_`R 뒉Y_ $ʩap*3|s+ kqC*=cĉ4L8 &͒»HeN:ӫwov HNF$bX$r+zLd[*RWrQ '+og q^{{[/m0j|um"Ӓ\$eNM&E!չe  ;ĜN7UvQRU# գ$з(;u2 { t^h薘0YOU %*_!f*/#-vzwOnS0m?M!r$t~41fix@_cf_6+\tv֤b>"HnT{* ۱]Gws(_ig:KWyQuԊ{@^=Z -4:5!^Sr.Md!F|iĠ`ܶ \ D!Uեuh{ᏼ!M]^yaoTW9t3}…OEg#NUh9Pi4Jn@X.PbofJKbIL8vee+mVT]KtGV-@M"|^DqvUōS}1L]T*G[ 9g .,OI6z5ѩ0JȌkՏ%+ FQv6~esl6v.'1-7S%aQ=2( yq sr|g'<6fƸG7Zy^csN mi,aJd$dcwYLiÒ(PcVS1]`U8ukOimrH"Nmۈ<(=]\ᄋ͛uY!`J"[.5Z ?-f;L4)Uct*R|lm"מ_$wtHm $ug%jXxRrϩS$G$C`3D~rFy1rD맟w/(pNy;rn|&uw"g+TEJrh>0!8գzɼAmHhRO..ws?d0\`++dTNC3z*ǰzdC$|Ԙ35N]~Xk~uLhrBgSvVQR!TM/j>3/7RͿ^CXo?Yta†+#O9,UJhJYR_?uұLZ-]WZUf4!W9a~.Eh "ҚcY'u̾jC< AL5+lD>ZV )8{usޡ,eS2apޓֳ_3#_] F;{&Խgo>a`E+Q ywW_s䡙B'N0Su 6KXޤ\A(Z;(}+ɋ< ρp Nw͂zUЧ.LұscX-~Kl؝ÃoU/ Ęm9> `YOKշB oq'WqqӻCa4M(N&$ gGM@\L4Zb 54tۉk" 86W(w"<VڒYIF0b:cZ1eF#:z]7%ޑC1[GL5E:ksx>~6bC4](Hlo/f\$N2¼aY[$7[W犗f $~|Âno噭MĎY82 ,6n[an>L `^{g/soD';(#v<^X/Ze ?o-]q^ 5d`ŁJvڠrD}^wK'*>g \HpDɑqtFv(0]K(4NqJ~"?gn)a &p#S'>ɠ!@NJA7SNXKݠ܏?"&^8[j14N@ |*XsÎ0\-:6{3s@Vt8LA8@OWrDr-ߙ=i^0)'m)^Bw242-HoWc-P *y}P.+ >2Oڂ #):h &w auJC'l'cOOxֺy:p~D6 [c3*\Ir}S:޻VӑzC ܈*s;/gop/%Yo,'gmJoDtT!͜v7R1J UT|DH'­ƝRܽH xsрA2+~gYZ7zXZִF! \0]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|l`T/Ԃd 巡mY+>(q/%6)XyK=ɮGMB|P(*ɟb*~e0*+Yg\*a݀)>cE 뜞0Gbʻl_gYZ7zXZִF! X]ŗXi%EZ?9`%bFO:8b5] `dpBrZ vO S9!jt^Tx-)cԧLUaEZ~*G}EC6i% N#ICH^۾F.e0XJ3fч,JtXC١D.ty a)ia{=td|}Jl:*9,s 9J.ϭrttߙjjjםݔ_j0eN@)Όx2la$'ک^S\[YP5>f uc@Xc{pYh >d_nHew0]83lva 3+eQiN]̼2#Mv7T'D.{'wݚm/C83!/.k1 Ržphyk'krW5r[X=R =Ĕ_+Љ~ٟ*kBfnJ l ' )9g;j$[L& -vlk0)!d`b#a: Jm|}$Rain{& V-RȇV"w6>I K)/EMӢ&iMP^IrOo}x`\1Oz:(8?&/J߉:Rc14JP_dyUT D޹u̥E_ÂhbX6vcJ]B q"j(^@ mI2|".o(WtV/ yOifZEV.|F."TS6rU x"5ˊ`u孡FĴp[HFN9H ?=ƈ );Ccg~~pw~~Sf&;ToDfD?t:CDV?In2FJll%)c."( RNu9<.L&"&2 7`T o1r)e\BQB躐;I#{0sUui # ==亲~KpEчaTi`_ң wHtl ﮛɾPcHD(Q鞯0eB3ή%> EW!MQ_fkWItA{_'di5uFD5S:pg?_+Ka.~q,(>-}ҴLxaRdsNavbMNh90>v1HtfjI6'07g<*݈,G4NRn˩3,DkPd(s3^d 9M00ؓBĺ6G4V͛t[FA񼄍¬Y섑t\[2ts41e"i,&-R`꽣O=[ 'g^-os_;敷C]ZBOsP}XKJA69OdA?#-a' UzcoI>_dY&A|iCN Nr W?kVVeĎEܹ"y&2c (,#>o>**I~,#E ww_E`G:,b,lz/:O(<9;k/={򈎭DsqƭCTC~G6@I'ExFэBS!}4WFl1u%}rWoO2c̥m*a?$ivs^!VG.%|O3!@b_{AϷv8O5A􂳼B4.<{.)2Сf'#_$[ymk  Vx}dg}3ehIϽk: {hVcW gBEmNI֩Bx%$|(F`Ym 1k#ZJcq:1=2 Nog 3-"8*P4ikQ[7;,+vXwCD+M5߀,㯮u0?oyQ$.v?;("*_P> UbFH9H{1I5n${ĮQ2]-$Irpos q55t&w»YCp[-4Ssk2GxTq1TcAU7<(a^15NA8V&Y :rQh젩kDΪH>4QDK:+ٸŝ|d `D ++kRcWzv]OHK]`MLqm5P(@^TGnS RlKJLM"Lʴơnڔ^T׀<#S_e#c:&[]X8GlVθ,XՏMP, %ӡ//܆8FdK6N .w:9.R3by)Y?RlfD$AAeCıH.>LJDn睜1Mސ[W{zw1>֕j ϝ.`e-ڢ|LR>SS\=" T4PN~rW3| Gm!4B6tbrFuN MnK&"4*AwF8 Ab؄/bIBʡX/H1Sτl҉E(A^w3nz WYIH **hYAh5Ix07˞SS)龞~7խQ"K>CO[Av 6}0C\jŒ]3*H_M΂pP:m90[~cT.Fqőp]#@z2kv0_Aއ nC/Gu0U0=w?Q`MtnQzyVgoOM;&0((QLV@Zi.Aw^`=A>MϚy<F9K9})˞ "p"_je-:V\:WKT}9m]Y t߫CwjEHD]#IA ڕ5 ҙ8F#6+?n y|CŅ.ЏPrZo+:-$r825kgWnӫٲkz0Ϫ`&^ 0N!;XLp/-e*Lz`m"H.O9n$Pq31vX:KM1,\|hגq^[^]ZLG޷S0+gvI~1ߠ/'ۘZ UrͰ+esјG߈#@krL^I4#|v!+ɜI`^d-?'}kc P}S'+X$TUcXh i a zv']/B+UG|U6˔{/rƽˬov_7W^LU#)1lIQ*vvsxt3}q~3xs٦D$n3ӽΏpU`.V)Hu4Jܴۗt(ΫZZUk!n$ŀ'_ Ց3DɁHkPwI+3c3dEs)b$ +JJ!ua^.FPݒ~"ɔyPpCOMӄZ#[{0U!}:j$kӤ\?Z\,iq | rLEa ^Z3p+M|c C6H1]|Gġϛkq"k,'(B.1D49)VO65Y hGF*D-)$Q.&!-ю(Pt)'ooSnno.Ri w% $;tx07ҩRˆo҉&Mar490qhNņ7L.Jh'ѱjnj:Sg4_r !HoSM !s3=9.QConKd. +B=gv \P:iR"=!v L|;23դ܉L‘i+Uv7&FtfJ/3VFjވVKj*΃xv0}g _L]nj?ⳌH|wQR*ds@Q*RDzZkfgC( "Õ@?$#J SiICX:E[a[bU/tWybbP=:wbZtq c:WȀ ޺|WWѦ8وـo*ŀ?i r\v3i46MD%mK\RԴ# xύ)ࡀOW7LAI{u6SjzY11ĂWċEb8(z1ԑ,`\NLXMav54*b0%˳/-ÔT/BXmrgRCYO׾@;vZeK[7t_tԣryhdr3RׁĸUwmx}p>;Pk0YR?S"QDZ=c}2lT(d:ijZGQ36s#/PGڜ/*> DO&>ͧ 1 A~Gs uobR;⑯$"nӑQ 3bZ I W'|OhSO)FAџL$IpԣӧgыKP@Ȩ7-@5 arm!;u{u/ 杠慎| f|N7K,\bb೘%*="bOq7_[ 9Gzyh`kZ0n Q$7I;&ӏ^a'[ Vنt $aO$Ⱦ2,G?h$7cestONbf)G(>ذ(1# 1LR4 Lr7qےa7`δDĊ1C! g|DՋwTofi.Q)AF%;^0[$\hh!&bnQ~O[ŤH*^QP O#F~p%#%rwa 蓒І[MWG"ʋ1$fκZ^jYۺ}yM]#U3OSiYBKÎ,To ^}] ȥA^Ġ1Vv⨮ &fkq\ᬫC!2Qs4('E[#<*WR=zO6<؏D#CcۅN)io k_|Tmp-fZ . % hP`}jR~t-{_I_᭑Bl'u4ˀ{(s&dG>cW8yS621Np_aB_ҡRfvN>Y&Eq'd}¢:9L_nIY8@W^s8;2%"4{+ӟOrz|_r<û WX*jK(}&չ7k)*ʢ3pͤê%Aݚ wΙ-Iup(FX}>ΰ֏ e*8("X-)vY@p &:um AMWEI%mourw)ˣ_n dc,̅dHh^$oWJo5xeLcW_<'+e0!Ц;`n +T/A?Wۛ/B;z)B{)Xeg2PA@U!c=Ћr!w6 2wމU.KMQ3J0퓍1׍m4ɛT(i7XCQ'Q qߒ6C$i9Gw= gPvڒO_s_jN:Oxp%`ΈN3ן)y~il֍/dct-P,YQ+mG lt:j+y -3ޟ7`7ş(Όz?6[ gjߦBdGđ_}"s'^K{~HoxA*[z(.żu\:ޖr(=$SпzH1VPZh$aԧ ]Tep#J@NZ D~IJfW(i62%u`u+FwԐ`O1}z.T CQB]F A*BRm&S,X]?]`\z\+g3}WSɾNη3KtjN^"tz(z@>9u*8-w̠?5*cp١uO{(J}{1/V\DV-;h)LAHIyސR@1~pFex{m]T>U^%R[r/"6*^"~G^P\_VճV RY- R!\?sÂ^u7}HIϠN7?74ΐEΏ+lxpo5A,y@Gָ?ti;0lZe ,$!Ԧ!3@|C@m?^<ra/"pY@TW[S::$Ĝߓ=M)C'XsIz?fk$͙|(񲒈6 2Ws~&K,4n&R!,qHG LSOl\E7G"[s刿?M0 5v~]:]dVX3cr`Oo]faCWx-'A ^^ Ult-43̰jEv{)|`,fV)c bpG1OVƥJܾGdߧ6u@"=aPQ.!r9t^8`:494]iV4"yAN_Ȼ@lv)2_XM3(#0鴶rhokeD]w[yŚ`2>NӚτ^Ae>͸nl p*)45e{0IQ 2i?'VGYpy}Z0d|-{Ŀ]`~x?=(6PLyM02'1#K Z 6+521+!C:82Iixrds.4 vhR(g”0@޴&RGCp۾[ΐnZ2sɃh5|j/dފ.L.g]w$v=?HfѼ,@Qpb@*= IT[(2#Z۶^sQa^f{i%,doX(&ANQ́ҁ v/A]@ƴ/ Ǎ4et""xt4@0Oo`Q Ql^}eg`_lFsMzUԆi6t졋2|PXIb/dX%J8@).Ww"pjo%3WEJT~C]Gx%栲 _W1ﱦJg S#+ۃ e6Z%"o$KIȖ`N@_+a /侧tmPn79ٙ79fLi[NbٸJ?ug[\6X}Q)#-̋gl ItaF5mzF`96| VlJnL;ꚋl]UWgI+i= Y~dZmM^ 6:]ac ~"ws%F Ky &-s24Gآ z\ցE=LH`z4kŽW?7B& 7(!C@)‡牥j;%kS%CO2e ܐA1),,}|TclV!5џ{<~dhdQW-?@ELP#hu_o~@!UЧ?F`ŝKRWjzKc׼pA:›rES0}f˺&PBOX3$3VA@^m7ץՐ8nJW,3(zBf!ufQ,C$8pRn:, a 3.Hr+[;q";& QT_LWrwUH.)!t(\Y!;( gй~l%Ez,ye.+eys;EX^`dϘ0c4υnL/繦*.}9:b>v\8[qMwbJpa,\7ZHJ}nOG\{62S=Y16;5zAhO mb6@Dhu Nt3ΉHzY)BX25>&'%moj? yTZ ta;DU15_mݒ+IBK\$PiG] vXA_*rpBpүm)݌4D!:Vr)CGfW0KĜ}JCP܂^$O1`?+jc(]oq qntn2 WW#K6Vj&V`M/{7Z1oѷ*å\)>})k5.Rn qN^'/z˞!P%alfXUIs ݖ؉mK}k*pm6C{3s;m,n% 8ip%?̃Zf]O-(b)D,Uc6aA \Oo!4|Gn">X brvxJ pOф%\pNR)S@DMtB<:dDXJ?.``6R[e-&|el~>x$-T azlɚSJ+% yp̰Տ@:Mkyr\PwqƯM:hb~+@g!5Mh M%R]R~s+OQ*t2oN_)\ǀ]%R`N|Ms@ )aі" %;1XQ,ܰ K6vAUdN$r~%p쾧T.& Rؓf2v"4A5k`pXb~8znQ}}sott_SXk_y!ןeO@R84uI DBcnO<59$,{ V2Fre63ye ) +Njچhw5P&4E&2 K_f~@1\tQ X[<@&3KCKdiU9}0U|]7L\X3bC ĉMRMDhu =`OcUfN,cvA2GIrZ<h.z-=v%CN3si7)HsE5VGi~KJ HKW|gc6!*ƦKʶ0]VpAؘn5`єvWL"7_\&$]Ěqu>]Brz[BFʰ)bC#2K:pX *p)5]c͗s?Hy73@yԆk#Y1IDGc3[bQH䃳 KA7>+_ (W巗"~FgZW tCh,=/m3S91U̞XpV-K7FuO1ZNCYv R5뵺LaH 8ζg.W2ѭV*KrکI Pآ )u3c<޽}Ѣƕ+AkġMJ:kڒb}%qApm: Sã5?זT`BHY[p]ůfnί^M41󱊰]-:5r"~,"8K`F8X]&ۼONB')<dv 2i@AXm8en`#6b^z䓹y)t( 8vc+MPztʝAOą0py$ rݶ&vDžBͫͱ`j@}.US-.,hauuM+#.H͉pWHC^VxDV-]c5Nx c%¥P68KbuǮ cSB8aGÎG%r?eׅS61 :=̳0ۯNEBcZ*NC4Bp MijbRx:2SdC *D@G뙘bBGC篝QuhǤZ)pSFlsT۸I j' %n*w/j) fIqRdƩZ[\juNEp}@Ȉ>O \h:%}\6Hx16D?>{ MgSYj$YB;WUU 1-ʪvj\KoƎv@,0o8D2B{ӭ@ZB/Õ&q0 V-Lk׫~kT[@41W??HZh[?W3,alN|j`t^\DZYNE:6lC1ܽ/pqEnϽ@${`~MN2pIqHOTj2'ρrB{[YSÀ }$T_0M|iGY;JVկE03Β2ݡ2HRC)>tQQ8gcOAo5?0MXuRӦ׋{[+ݭ\HOl9.oE+B&Q:iUfo\`P>d֯88:r7|7͝3W"?+/<"ۚChg bkˮ%-;\@I[\7?[ڦ~g-N(@x{ aj%1 W@Iv)z|E8NftCsIm*GA-sNm#D2۲< FKCfdgZD,:بȴ)"fU q^vLV MfT7!P4~>HɖTIPH45 T(|jZ.ʭ 4 z=ٌ@8,s [e+o4=XV^p6)O>Ji`t2Q-xwKPbg`.JC~ү S&~Ul qM-{->CUC86Ycve9`;-ƬI^w$d1#"`#F1QHae6cCOnR%h[ATfҴAqCaY@4"i-٪,l~Gs{%S\0g:TPm֐鼐oD+ Ofe愀9M0z\F`C\ZXsrLxLiI;c VђOf`WF@3LY [6L܈ =otY>8LUZ cw%!lȻ>Oiyjv=Mܑ-Am'CsIfT5򶜬ycVAA?=cN6kh䨲AޕU 5K6ɮ>+8q*G0ʶZۀ:1ЖUc50D,Jga tX6NiIP9 S gb2X?j If"I]FPk55aRD@A49jY 9UmmV#/|-'K T Z,NQi+[lNXs;"hk{ݲ] f#$U Cuڵpy!pj,<N.'ڡ_'qt|.ڷ="- i<])FWGn?V2 x5B{6]}yz{ztskTӚRhvA.¥rɴzKLTvpKN=ٻ]xJQW4;= [,z^X_ "?td"?Es jK'9g 9keQpKUAŦQ/vSgI zkWMBVooswC!~?FocSk^s,𖓻,d/ReMutpO-]gΣOЫPO marm@arJ7Hu` 4V몋CXO. fJt&(Yt:v7sMb)I p% 3ǫMDq,k=&&$[3+spӘY;!mRco+.m"*#*,asz %0-J }:oy}|Kjff-7QƉ%^ad5RYX)r6e~}!KKEerS([HOpz:0{k$Z gYZ18651fd3510a1f3c729835351f7b24779fc6404a774d4d66473cedfcfaef21f8da022a76e69a4390 4339b0bb8d34235034b5063bc60c874a65b8f9a0 f56a589c3b6299c20bdd03a944c56282d8178d68 33fa4997dea48b70c2a14e38fd470b2fd3aba9f3 2e9be499f66d3ba9a660ce25f93197f202face76