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  ; ;%1ddl ]% HOL-Decision_Procs:threads=6elapsed=226.612cpu=1080.920gc=128.636factor=4.777zXZִF! k]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+p_/:UݟUl aYxDY c"Ci%(ȵ'D\|k55$RյqSI=͑՜on9* Ʀ{-Z6/;txB6L4sP}鳍}v>@\QܰIa45K05Q D7 )6WȎuاz'OS_6\%, nOK¬NӳPLfpss-s\>NSh 'Uegx[M0V{dR~[u 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 )81xD[bP$، *ix.jțCɡwp~Ӌ0;k1˟.؆ ~~CofSB sNln A?<<Xr+Tu #r'Rl?4opS:FsD,Ն?n*} P+G36{ZCʨ,nMXcP; ^`ֹ#GD&xe F,:肐BLCĦ+rWQH}V$e%ZAX^f(^H]O2@+w=Fm"-l . Dɰ\A(5zX(oKvTw_$Q5.Klaq2׈z-WvuNun_&Ju`d7%'sQfzsё60Lť pp:Π0k8 @eSP277/,$*'Hbˆy~EMJrv6*4/ZmR_YG$F-^s3`##V,·W?kG3Px}X$>4-G]K%@4rY8ytUǙ ^[bRMmt/"ksr/)k!5/"mA {'LcXojbɲ+ lv^V|QDx FoH={ц^ŕE&]^C] 6&mkH-a\` /UR=18%-ւ ?zAdŞ% R~,ZPx "}}Ԧ;wlE.s[4^HJL>{8R-s,UY#(FȿXoM,k=Lm&ߨ1L&-ݒGcFBIݘ(MdTT䗪v8l+ =]#y lHu9{gPS& Iv"nG!ި 6z\DGȪ%-4N9W9(d>S%2Fݳ&b\;d%FUB7~um Ϙ;1az4vvV$>vy:\b^q֔} Ьz/v8TNB/aq[iMBDw~'u.D=&]wlV&Ut@@kj ~Zgʍ  I%hô|è+wUMf{7ir&(r󂩠e,d([%pdЀvױֵec]؈CͲ'(P^W@1qw뵭cٚE1N@@3)-"V@4 WEiY-ɞKLiMs`EX/2t;\jCg4-Lj$O&I@i2^-egmTvLP\sz&h0tY-|UDF쩂˾PlC?<A9M ʓ3Il-Jm6]q P%j# #t!lnWʼnxx/÷߄ȦRΑH fJ4ʇ&J^QQYk_N{~O A q]\:&h4=y7|TIO_GK GL71=xІ.cm+Ĺ%? t-_)#& )K&R)  /ɸHq\1=rausۨ^O3gbsE {DQC|܄\ PUqa6 8X0 &7z'Y-R6֮pTɆ24VSH)~ HyΖmECPlh Y _#\nK,|X?"~ڵcZe.s#+/½O4JWi6SL឵yn`ľ봽QS. D 9n= `tXvaUV Iܒ Ez=/dљ@7d9GFrmFF]@ OhV^n2U H,b/8D2TnPunh&# @2?QD]ϗt?(MDUFEs@6KĽU'˳qPxN+}-jcB@xJ-<ۺ./KA .HZVdl_P#}O#IIi ?X*U^,_2V G`"U'z\o.#)Ѵ \f2 zβ"(i}m2q~0tGs%^La)؀? ŲL5k{Yd1|NܖwK9kSZj= P &,px_5O'LTcvR ݣ6<:Htf{٥ɷ$uu715;q=h)wҜl|l#>7+"łtT3cofͶG2!NHhֳ'tpY;U]Qh6"e"'՗ZʻWɺe1`޽~5&$]p`g1ɝJ=iq: ڦ y/ٺuY]g U99Ŕ 7k)T34,iS+_jMD=tSuRPTqM9=t,hĥL=j 4{Yvsjnfǭ HC   F Qȧt(ݞ#W)96&zeOy6]E0{Ӭ^U3eC0gȦRt6~O]D#I0gμ3gY\RաsR&$~F;$.e'Ϥ"]Zރ"/n$|K>Y] \C{)jݫ DR"[z`_k*W;&9Y\֒0\=pD>3Y_[^&G kK3isP և4Yu)Hp5{~w2XIq7#ݢ8Wfؒ} $ k٥UFc|{9a[{ĝT&ɆF\5Z;Z}9CjrbIby 2%+jYn*mL/U0a6n٘8ʋWX֟gKpj-\Fh2'ibꎸhtC4cnsOX"vB!%Iҩ&źi%N{ ԕPiddTUDG4#U[5\YE*C&q3M{o|3T4Nm k ikV%HW%Qd6 i[хk)s5˯Wx"/2m^NASLqmҩ;7?{.i7g~z4$J!$fIn5]G(bJΨD7vI¢r3CN!.xPI\3:53;jhʱOT{L>SDե'`1bOF|jI]eM.GW"F( QǑ!b{#17BC+>G'`<+5#>hZ10&!niyB*x#D|#rf &g-K/] `~ΑAJ%JƳK_OٌG<WάT!vmѿ2微$ eW-SUDs%f|]NuOWnr4fۛ՞ OE+aO^Ü ccאJD7bX"bEɈ]Wg 6!teݩL/+%h/X&gYZ7zXZִF! ])]ŗXiɟ17L? KxlWP8SաM~>fٺdeR{k\#&-$lk[1l]% שva t~#4g|I-pBO֮vt!ay)-AMT|vƝQl`0lj"ca˝Nhͅ“#r_VKw $Z)uBv"lg6|os9&)LJ-Ͷ߮LKr9[yq\58f+` DŽٝ`H(|huP5 ZIKZiĐ]ꀖqkoZp+5QJ9FSj`owڡ!wjB-^Vi(yf8+l7=I.Ͼמ@hJȠ'4ڋ!&?:57wm1YXG.k|6q)3疺 bum"znU!)zC.VMkF>w w{k~yOD&15a [Ayw=pL廱gYZ7zXZִF! lF]ŗXi%Gth+:2nCK"Js<|o{&9z C3]21zyezt >FYK:iB= Z5 6ُ߻w3uQ 8*i.L'S넇8Fp(BJ2B"TA<&s/2L7f͢ʗ?75Y(⚬wfHQ\]'$TӶc4ޜJe5~r1+=@dt .c:~ˮ#w̠b.?& P wkև=y/#A"WV.VX[)$+{JUd`;>=G:CBY,a'6Hâ 6jc )1ķaWtTPKpONUYbBl߰(2:() <e'rS+sn잯!HSF` 2ߊf&)6uD8?NO ^%8<j!*lY~psCr%:pA~"@L@x)&kPH_glX|,՜5& p^ rO3y&ߤ*c7J,x(x 3m;ŒDBjٗhGe?e#iZ_/ KMplE$5>Xl8LlC ЩXLcQQ:D~q Is(SAIWOzdia- q>?a,MW+X?QGfWpJ|8 1O8ώG+ҋ\z]t ccB=q-۫|-Z* "P YCJ 3v4:,:EY-QI$#okaǙh(d@]=gCLViaߨPqq>@'S/ؼCBq?zܫ58͞PٯO+>`p p1m7feNoû9ez$H w8$&EQܰdOy.{BZET±/y0cCi|U%eɯ\ٵ/qV6hUD~ӓQBfd ><Ð-^*ģZBRV8.a弱};k:3>W]ۉCBOK"饴}zȓ+9mS$TքNn7[wLook =It\*9ʲLOyO]q^?7R(ԁwa IYEt _]i=rfQ5)o % R'h5CǼI8Q=;B?a76JQQIb$!*BJp(P> 8lސk6;y[fu(KZn5׽5!phV (x]=ZTk`8e=[/zZEx_)›|-,J`5kZn'9ccmX"nG 3ܚZ$@jF-G 77(:{U*;g=hfdf¼yXWC^tgcsusNnjViKmM#ͭCtlmFtjH%ΞvF7n3v;ǐDbރ@5"ѥmGeExV+lU?)X*1`{oAQ;[% + c<0D1 Wf'v#',NWiNTNL_th}ImiIp\ bXgY(-H031j7b1p*t">Ç`9Ǖi~Bjar=%Kn*nsxa] /d7t>סT]ǎ okRTt 'C)q~(#^pE;1!v浳jU_5Ek#Xhd^p*{Wxv)k{%kLޥ~xJ Eֻ\)ow;)1KwN[/${4u@Rmùʃ*b#'Gu;苦4ލGʀ( U ngf"K7v|༲)c+ָ[3к=uG+cDyq% mݼbx#nHnC R+pv E|gӢ_RϜM$P.*l(+wta*kl1{Z P-5yX%j8wt59"t h=AM*1[a# /h%PEjw\2;%ۣ5:toZKӪ&vkVm)R6uco@2 sD τq|pQ Wk$r)ħ)*o Z=QԤp!Cɐ"c@sΔ XI+<\?׺IPqsbH. , h+կ.q5G,Wv5j%AN'cj} Uds[ְ, oiD>FĖQ#*,0EC8EIbq"M@iG#ZpŨ+n <%\jσ-dvUgy>QqlU.8Ѫ1)(Ja;:P "M$}4OӨ90$}ö~|bܦԃ*:^Ur+KT= UFYz 2xB~]Mg&WDx'n ҔV-M]奋92t99?S'5āHi\ 솂d~uzVؠRU ?қxT+|FS9O%p)N @0vՄ D}+b.+BKJX@ǻ,+SHɝHB&/JOڞ h  7^vSggļ$):,\M==(MXo-ɢ!ƦsQ[UW`j4@)'3NؔSڧ<ˆu,n=a@%YEܙ϶n0 d,f艜蓒1rÑRql d8iv'olQxgMRBW;1Z2L@ *hn( tLH:B`"UBE`$"Lz?N)cb[0+ڒX9-wU~`uT膋fW r2 IcDQvj_= A\䬪nGM:ݓq;_Q9HU|_\ [ƖgvZ=RyJk} @05ohTlec-Zٗ^)W"I'739ؕ-T ~-0f "ҔR'^^4?q>˶1[2H_N5U ߢ\Ri̓x(<;7Iai.Md{f6MB)P.)}}j[7~Zrw ō҂1i cLcYk^8n"l$Ƚ..©ЏI\plc#-<,[_,z0H? >=㙰Am_VP2*Ƹ1A}xx2/SL7V6/ͱ+eX0BE+_ѽ[/OcJGMfqv,-H\Cf2COWisoYuTte/NMkY9L*SR$>vE#iyd_^s%fF27k^/h)6Rme9wJ tI-"%RN Wx{`D  iNpR¶I5'k#F{A Wh- m o- j?D,bN^6t!:Em`in6y#_CdMAB8|P;@PMw'u>?zP /5JFd@r >(;I]fqDc|{hLDUHfl:R\d4gMdoIch3 % T(jVl֮gZ\`*q,zkFeJGuyZړfʗ+?.@\=!EB=I~pq+)/ g(lmj&Y\- 0Ēnp"Cju?d|Sxtw~8~uqLo2hFDՓכ891AM quGa8J>xxGs$d+]O n3¼`o/'pNJu?"&k|XZgRCq8Y4iB(8J𸶲J&aܮ9d@ѾHLrv0ʈvbL3Rnxu r2WQO._"m`E[,\!0Vڗ܊F* 2#/'Y-u%nVBR$ʀV[> $hk@O =b>MAF`R3 #I̗N=D4 N8$vnJFB.T="܏К}7$`#@6Ì?:0NɫZBV8p&E`MoF}plp38a[iCmb:o>JTp49 P^4SzNXQu=cp-B;uvĜA͒ &> [kC\LS:fɀ5>pY S;#' Gli%Q>#avețVpsg#hn ;C99B=yxzC6j',RaIa թII?'WNQ٭=耙*!~.gNcd1DJ"Df؟0Fӡ =.`(UG!J.^\YYCoY|PFi/ײ1)I"vhdžLJk9\u;Se#!Rmj$Ek|~&eŐڙen6=)* 2g@6F]X+M <'@B=jz0z*4{?$ORxc4r;L'uE-v`C]K'։tN|7 _\#D_c0CJ[iu۵HK_'SyK/'@Cc6PKqx9P3ɱJ:^Ѩ`I,.(`~^*~ 7eS8 0_Q! e~[? qH6 unxa)jT/4#_ g'"Q չFv|=Й?}q-UʞĠ-kUGy~sƴWb|?ܥQL +eoy-ͱB54PBvIN[[R[_ 4^[=oգHdHĊьTUb޽!'L~_X(0j676-_ko jѝ6kxĵm(B>Bq%z =+$qm?m}ޣMEQV!FNә5^:O -oM}c@#Ϳzu;Jm@Eى~9(o& Cd25EGդݼkL]{[ayĬw]REޞU1R3kU8j :׵?O tИyPe:z)lDQzTȃ$14 vE[8I.7%DD1b9d .\ 7I}$ɣO$̪*5ǩ: 0sC="kgnhw&祩 +Oݴvm(g~xWH։>dP ?cwdb&T] l~EPm6+ ?1aGɰDYv!db8S:a0uJtf"4tOpVVMO끸=,Pf0_g9A{~R'{UR1 ?6UVO~LC U$s34I`$N)0qJ&L lIn7<}vXR,G9b -ϊ/qf[(bxmtJqXgYv 0Dr+oC]geFbT"o(G6Mt5\TY.y{Ѧ5wBf^Ǖh%R>D~܌THFX9Ok9/} zӬ5#$sfXe2AB̲(t؂^~ k`-Xmq)#e Encu@m38⧰H@$Ԧ.$EΟ˳3#%i7.K'tbW5 `~쎷 ,Tҋ!MQzN(PH -T!AW1q}ĭc;`o89psBxɷއA  n}"6"Jfh+toxT]wPhTanarjF8=gR\3% wh| RdC&Ivոu^Ȟ7/g]9zmԉ\zYKnK#׸Y]x/$ԲD1hS.ʹ w 9^A5`۱z3zx&GYΥ{ĒǞZK|KOZ{!SκJ$W%7g]FF [6t?K=#aq!# ' .}رkfH5.q#2? K|1{|+bDiA00l-CLc%1'r^Ejqd30IK0@H5kቈ#膡D`p"X>  q%N5Txlު /7t r lq r~R'Ř ]b4 >kX}`tLIM ,H]^?[ cC#7bP5H~uCpo_nKR?rOn W{YL&=+Fidq@me ,kvoީ$M NcNAGT5^KIl~AFlG~QLg;!yoaθÒ &78xh;sU׼FF I,lZNa7d d؎S!mܗ-PC)lH(W| ՝~̻G5f=^ X:ac^'F}(.uߣoº8H D("p‘>t21Vym݋Pcz"e?u$\u% 0 D-.Dϔ-$5 g\Mc΅:һbǵRD;Az x,q$]Y-9)K6eOp/Ap5sB:E&TSs՟+b|&ֹf.S ͬf5Ób6åPSA1`D<0i"eYoxV(nEVnͧ0=r})ĨB$ |2f7W1 ]c mi2@]X*O #͟yCzam.V (Y59F 9ǟrw(X,aL5(P4-~IPP\YN׳j\'XQ>ߠT4Dہ=3LG}q>kBRcZ͇r ʃzpjىv/f>׀vWT=ZPEa](A7-fs8ضKa8sso XtYEc@0ʼI}q?vOޡ ' @gŷ4B 3g^ч*WqacWEKz(nԈ٨RʚϞBŊzf 꽴^<sa!bVy]kuHu}t4ݙ滄 oG/qᨃ"ͩ9{ͭ闱b\}ʖnaeyo iĔak%XuUKГQd=#ƤKCve/@є 6nU'(Z6 9˷zǨD!Gw54ͦlRf"trWp+^HxM XQuChPE1L'#WNV=eNb[4+-B\Zy?[ + LNH4p;OQw{{v -)(F+] v#_Zk}*B-?5._rׇ^"nmwvJQCW9JO2'7FWLEX(F~L/;jHG^R N)dzķ5+5 ?,GzDD2BъlCJ=>o'WMbv,4 ҝH;7C "Z$Э#8HSEbc/Sǰ$f\OE5T> CP"?ޱ`Q-=֮ucm!usr ;ѯp2 x%gUUy`*@^[z\k RY qnMv31Cs_: s;1*>"0͒KȊ _ˢ P@'o% |e6X46Lλh\ONAMEʓCZv>%ˣpPaP/iJ Ga_Mg U+s.>S%d\RȶKXOG0~eރdd^ݍ'YYcڋ=UjF-HcFV ߂6եhRBŎ)tQ?@"=&$!4}eX uXE| H5ɲجߊeo!-q_TN*bw8Q_QNByzߙ[DsM}:dfp.fI}h xϹ.(P-W\>!^Gi)d(PFG0?Fc'uT`JՌ۸NbݩO,L8\4eʼlPpzЉ%Y| y}>a5irw ':!aj7a9MHW~FDBxDlpO]6oǕ9VP͠B#DL%18L 273O\0dD/r˙;g.LR3lС.[K0fAݲ/Y$D8qS !wh_#e`~:-]k,sbߒ(1BIs'E6rӶ19=oG+-(Ul3IF>4B/leSdA]ח9_ZPɓUm%VK,xNY7ȑ/q1 U  #PʡA|5$&PBwE)ߠ(UYhxݪDƉӸm~#|SQ )rնld.|D~2 ] fS,K[:}MЗpBOGRTI("u#0ӝ|N#%;`kx9ג&E/`eU0Y]@4w1(Dɑ6wUƩG=52HZD:zL5ս{gGy{T BGݦ ]OUDޘzʴF(v/vMpCT"-.b4t=rcbrv4#>xrWO[l{H'{ c\,x!/Č])\un 9aBINS.߃?L@kVS@D=pN>FX֖Z@ yRH8,U,\͔{N(ǻׅI!Jo?HSg!|C4Mc_XDZ%3ht풊 D1YyI#ITGC,`D!k_DaQzNdLl\Xup)y#";pr\"FrE/r@;D3cSt<ʊP?<5N=|TH[r_'PE9auZ)Îmtu pn?e&+M(V߮Y'gR| A0.fsK.0OT"Zo +CP{No(rJP$ '[c>nKCW8Wwt-xJϐpo[e'%4KuX \$컻XP&o4('nZZeK0( SLӅD_V/z} E3 .RȯKUQ^L2='2l2('?g7D j?O#H F³f  ȱ#[*q,ħb@48뺃q(U҅Ѧ` flNķj}N #՘Yr\ex~eW*0N*6{7dԖhIK.1GiTSX">9.|'<*z_zЯ uhh eGV9 ϛЉ7u8J]ǂo tڽPR!z#(KEUԉ$ۇBfiPӤ Q.evsYi03',X(K-m@l\c)6Rv>X8!ZH#/+vQ%̈ahR~\R[&g9a%W PjArw300[[pÐCg Q/,goG%}$5\g}lꮹ}}ZBwϜօb`vJ0fGLfLK1ڻ2~gMz t*n4J쏻M3] Ff$&lӮ~k5'H./#2GK/7ߙruh4msh@'=/Ofd&EE$!j5(_t3S D|\Oϣ筇N|Mhw"o6M~\=E2}-Kn@ 3;W2QL1i׮1gޙ7h~ N7{C eO趯+? 9Ez`4z Hn^y%\ Qv!0yFNtRf`}iwuMhM;"aTyG2Ƞ\1فazj9=Nlmv# ܷRR9k9ܲ|#h|CV SFO$}9xH$eYՎ(B|)/ {Qz?h gzt߃fs>uw~c,޼K?V@zA(ZW=xc))dQکCaP}vOI q[[ے/ˇ"{5(Hj͓3ޯ୷fZ:'#=f?|ѥ^`R .7cuw2L~0.-!!!2r>^R䭸MnB907zcay$18-qرgYZdec586edb8d2e5cf11dcf2fa22d391c8bbd04d46685a311797845e45d1e0e94079c226b99532de8d ecda265f0c10e11be2e8ba52576797c5f2be44b5 b65ab027311c69044c4ea978b04fec953edd36a0 72fa036d0eae04f605be92ed0740d083d168190b b6f6da5b49c7431a5901e971116c7340e130e45e