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  1l ]% HOL-Decision_Procs:threads=6elapsed=225.624cpu=1078.772gc=128.896factor=4.787zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvE͏[=!ma јfwCWh<D)9#sU+DZF."xӃ3ȻCm-Yh `a$G=p1kM:B[`L)ސ{g]-bcBlb:~aHHvv-TNmkb>N6Y!}@;>.`pv#4-Y&4@2Ji&9OR;{%mw̒S%Ѻh?rOD<&2ێ 1B :͇lhQOv 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 Jr`02BԷLyV!5Zou '&oHN75 #Ӭ/k 3l 8By*. ʭYLN-#h@NBڇI;|(} >.#S01c'Q0k԰!`xTYI8@aL=7HU؟%PaWm#>䚬sYq"R9IsQRQ)}$|# Bz"iE*àk &Mgď4#ꨢRCuOy([RUdh+s<r$i(_zV]j2(!go ,1䆼ԑAN/ܔ3ۭôFE&N$?;soPC%3mpa4AS-GAĤی$@AV wB}JJvDS8%jop5?o Ǎ'FvxEB*1JۗkO8* ,}یlHa@į1i*6%Ռ9m-g6j̳gzĘU`blw^ $:xt[SO5==hTͿ6.9h@"4> "y-!tOfOo︱ݡGcr<$cEyaJϛ:M2º$N]J8\1t@6s榯^8{f^mS Irrmۓ rB"ժV,;a=E@gtT y 6G6JfzBDֹN|vڑ^i@l~8kDK6אMwB>yQ>s*Z,U:hu=n_v؟Еj  9R}F e/ x1~c ( ֜zcs?0Z߻QOP(&.ʋrWAlNxj8򹶗ssai4ﴪXir 卥"2B(@Jceu {<{pOYɏ$ꍱ~~+Yj(V _P}0kΏ61PGREiF8QiGHBV u91%52L0)>qqHbyi 6ęV눭Y^"aز ݪ [  {k0B5V,=7I쇛yo 9PIQ1x?wS ܺ'ncK)̺%|V&y ךuƉH'v&ҤoǠz$ 18.JkΛ*;?ӅXdz %N$kv8+?* 9oR_shOz(_o98 -m듍jFM)A#̗&cn]*2e&-ѱW}.ñNן9ZوX5'n'Q8Mq.6BNtS,])Vv{+ 4~YmhV Ԇ=]_5)ُps/ ሆAV ~D2՘!%.F$u@P |gZP|i=lnRA+fWeǧIl#t ՠńxt+< fK>M񐹡!:W T딉 ˳{0Iވe :E7VZ1(1 uy h /[Cxuu !4j.'iGc-n0#aԖcOMGP|jad *J\4\mH{]|nd[߿ l&A;,qL{Vv gcWLsj<wq;d7$&w}Q$!O7-`xAw8:1֕!_Sa|1`֫M,hA'J%nxUݷ`}PQ[=0;"(< oNBvO5HטKrD1WYѽ3z}MRV:U2d_ &f|6*f x3@1zԽY#mt23W8mFJ39!"ѕhA9[ЙH=.$#0<ĊKkWdS7.;P[lX`?Η=B ;œAIxo}S)ɛ@G WOŃA*2?ؗwcKޗg{ `S`;83-B(CAc4b\nSfcXˆR Ҫbd~ g<'&w-9ueǏWC_vҜi"ԽF!-u7$*RMEx@#"&i͞. et\N$P+: X Ն8*.C3YWkm] "p'Uup;zrtQUtqXAI.{6 oպ=OʰZlhQ2 %O5ޣb WDf5ir[޵̕giB/dWs)?p64Wbo/R ߘ*mjc-.)+ &Q2oy ͪE/M+Jx 歒NGVO)'6 z0v#LY_h@0LY6kY|UҪހ500K h8;s ѯBdRTf\.2~yP lRrB9P7' -hHO4]o7ޑ"\X#}Ycٍ끮cjoA1]]Kܭu!L{UPI\Vb|E&FhG2wCܘ\ŁdEuFj k ⩔YU T]*y; {ar!./ы$yB{seXlOJGR·QwqbJ>23<(Y2\wLR-"捾Ti6BE(hL)SxҴ{Y I{= _d[-fEգDczIfDs@L6Yə2OοY>2qfK¸JA|Xֈ9x6H'7htaN? '>!c] u>/ՍT.[C:Jc܎,:OFO6!Tۄ\5|_D0.3±gYZ7zXZִF! \.]ŗXiɟ17L? KxlWP8SաM~>fٺdf'p?TH>ŀRHnG6b֦" o#4h$q $eoYTb2OT5 rŌCzTJ]+iB/> Gf\֕[uy=ygwg}zAZB64 $87~ ի" B+bM6kLz7&K/"vyA9iˑgHƎ=m`xϑr}&N^En{vjtq9MhN"քɌ•O4Wh^=`sY9+A]dE`$MWDs"iaQ^Eъ#=BKCjZ<\RAOԊ{ښh\{Ɣ LD:THn,DnmO pvgٕyFLZx|[fEF~Y w=01hMk55[D5ڥV8Tq[Z^R9|nh6ɾ =E2_ ][نԽ4Ptcn"w.rjXTbUfv1-֗uE(p* 0Dm+v.`T6V}.ܗNyn##dEL:8??r/>%Y;&`ZPXU%2r+2YxzllO}(J!LaH5݈w_?q€ezwg"O/GfшmTPP!`>0ج[w sx3W"覤4h{[0aj+ZBx3Ԅ zR'8< KEE3TwUV.rj]`;Բ?` E2fI6RbTj#mH.J)[+tى>n:&jԲLZ<[#}ڪ!a& Iu$4H6S;ծR2PcCs˓Eۍfo#))6v9<'ǖq VuY]-CM;|CFsgKTYBZzQwi#lYq᧨#na J  W!9хKPb` 4-] Ki(\ %4m'.b[S< BڻkQoh |'*"sݹaSBSMQ *k.޽'#ޞmuϻ٠Rm@sSu@\j%3֪q hR VZ .ն99۶E{gc)!ݶB_nKod*Do,|@iJz K_U'q"xU;M`L-6 ݎ6f֔@,}NR}l^2k1RmVJq8%ͩA/Aw돆T1W=bI61;H \y;{M(oڽdU&d.CEJb%$Wc1FWmCeTR]8 Cƾ̘Ƌ>4pl@CPyK.ꈺ^Y3(UeIB]r GЪ;W I7{ #x0X=&Ε#]<1yF_vx4זܲt\Nr8C]cEKU@G7U&J3uO`0OĖF. ؟+^a7!;7f>/"2n[0Ҹdċ' zvƱW{;P#^=,n~o$˶$Q ]%ihA}@[X'-:#y@j%,_]}Cdh %Byho|G>{$VT<$ WɡOuN\urgOϞR  ˅;n?x4}bs;mN|B,= z-&u0O<6gl=r/,S}"AqH3^Tg&b'_>Y>WQʳG|OTq?^]ye(r4f=R68S^vF٧d%r=D)vSnB`Fy.ԽKmZuHK=mSr ^I);^-/^80hD q,q}7ԮCIe[R%! :Jt|aw|k¿/zG1&sBīKOG;>XAٲ]ڹ9j’y~-nhH@i4ChvͿ:me@ht[Apj ~1 -Oz}(wZ"7A E-GiHnwZ8Tmi 9Q[LjB{ >cWoIUxc FU=Ի (GjVa(>JR|]h_ O-J|1WؓA>oamj e:ƚP+3eQf3HtZc{r"0J:^9\yԇv̘BΈj!͹lx!UVZ>okxvd @ȟTz EűEVHE͔=1qD+':@?%Һլm3I|DƓ#i&+ ~)4OlNc^ 0!q*[HjסydXF)pfH@#:Tdҁ7wڟXO:ng%g6ͱ.ij4n>~rP||8tm"b}&Fe4D¾oZ|p-4Ki{>aLk $V\=ɆM'oj8qo>5fA ݼ(ؕXB[<#Trl ))kRJ*7{¸T=w( Ҭ0~pᖌ9CT&'5fc_'.A븭.'ega(g/n"sv!+ :$rfpXcs;.ͮ:r{Bb=7Ī u׵ y禴QsH@3\20O0vhHmϲuhy64dCD-7h49hYG]{qc~*J:̈{*\fc 0T akRU70p, ؒp252ħ;N?OO!#+&|h-8di-VDx TCvV̌gIxj2RǏYVzZ~J<ďC)#$̄.U>gh`IҪ[ln<тӒ>؏juOrk]rzX]WƩ-QC $+Rw͖O NX\eA[DYla35-5Jh`hx+ɠْC]6պk]?n~b\cDH \;"2.dcvLjŦ}#Kr"FO c) jW'3όdoG,v§Fս`il?)EN8 K0bV̢wUg׽DOLy* `  /کϯz2nd/H8nu~Ʉ_LIX*gȺ؛KYD0aK(Ð aΰD< x/a0O &=dO‹ bܿL)ݜx5+]IltQ680԰q(M+]O R'i7rEIeGΦ\M$CpbS>**" Xdi]bI¤_2F2rؠq 7vj4:c\s𝿉F 9il8I5@ӖVT~;%m5[ b5ŧ Rsa }jIˊD4nfuD4gXQ bQ&XPN69^ݜR馕< @%iи 56ee+K ]{{%wTE^tخ;"G/ CB̤ je_֟WMXte pShK,# fSݣ$:/s4o!gJFn>MHzvBmeH^(u bey [#6uŴrP]w PN@H߅&uJMfi- [SrP+l18.;$G/#Rxx\Wqy)Qw*-N;9;ܙ:aM1AY4\HhF>#~MU.4l ɜU50tfa\( i4s H(`Xlr#U$d_m`D&F]z45"B-IivllȀL־ ZGu7dNqR2g^y\2!7a :[q-<T9!z\ψ*Mcǔ 6uĀydcD%cZo:)r У*,PCʶ =9ofK`D"*(~_/'W:Hk=7Rߋ9ܦtp@?_d/C;q_ܽ7~iؒ󍯚l#Z0[y@-P23Rv Dt0~${&%N&-KB`xsKQ93W{1"RvyzbS=KkCvEz21\g񚎤15=PlM~ D@Bqvj;Ic"hVtX6 8h3OӴzՆqlO-k設K|}9IB`@dcI >a>zI6V:;t@@xJ(8Μ1N ݏIˌ|/r%v~jyl>-"kn36pI-.MUqA'!_rlU}j41:Aݫy&8CCQBj뵌z30MO!9kX)?d1 &dPJ`ET|f[k?>CJvb/γT݋:t%ApW0| B#m%GRNUDgDV9L>+@yac)Ն/᷋HNX{?aK`*©vT`x4?e4?d |`.\|l$'Cϙ}1EX$G^ix*sӳ$*=C[T|?W%217 C_L%jG捒Y#mo׫ܱ#1իd&u 4bRN/h%PV:]дXc&6 UĥGhSd5 5`?Z nzJg-@br 7#Ghyd|=nqW~uH]%MyO@,]_vDT@ܲ; BġOZRYPހt*x_ЛQe aBP$\ TWmTWљQ ˅0.~ph  Yk:B9UvQ3$k>& }ͤAuA{ܟv6G C.bݶjH.5IgFvMw=yГnI5wSh)o2.ܔeCtwQ> A1,{$ヲ9i^ w8(F8Zq͕Z7M?& 4D#]>;j9ۘԲ3GŋqD/ɩ.#0 Ɵw5=(|]%dt3+U j@Hn{+ǵJ)0mPkb Ն'g(&IR xYtiut`Z.:ﴼhln¬hl?k]\yNȢOGƝ@ygKyhϊs$楹[^@=_pe3×r"tkyoS/mg;YNY<|̤5|jzL2kGnzESU 6c`? tAT_9{397ynη3+f%is艴DDLսi1 ~y+|DE& m3e-Ww3 EtU^I,rxmtO9p (VzKC< uD%Ř}/£651v:ґ2GY0@c(Oe^ Eq3hYǧ$!G-=io%x\#9~ +EV[/ھ{?EO  3Cg%l^3!~ ym US:qdy QKwhwi|1`7޼H\wm˰zZh:L3w>Ax$#x_EaF%B8O{$ >R/z *!7̭KA~&E;xe~GDDdp=ϬzݮZi`"{OUK}CZ2+F6Lk=I+Jk˕ڨ)hjl}!JgG9JYD5𧻤MF˕xEqJt@&b]W R MlW<t#fA:X 2H0-g@<>oԅS2 ~LO\٪4vnN"=k+y(ᐊJ#|'p Yz EPـmJj'21xŗhj+RZ @OI$̹;˫-4"Jֈ3=od89wQ +Zn鰱Z 0 ah?X3W9q%ތ ˱ֆ7>v\>JT⩳`y_lz4c=K 9 Y 5k Q15Bdls? čF&y2_ӛvj6f'A]by~PChE;ee#hI;kAg Dz=9"/|A> !?ENS ̒gTO&3؅31 FpAqSekaw B3ؘ2,6JH3(Lmvfy6yŢz-8 M*ˀO'S=~ قl@N+9E"|>]N^̹y !S*׹ 7QlrT+ITu5sr*Bl/3,)vr4fl:5uы ՚׀9^(Re`0OhTvK1APҖLŋތ'vF` #,fl7vb $ MߦWmE!ϔ؆iTBH|.E x5PÙ9 GKf3&Eg*8S1ZQS  H  ~6XbFIqCt8K5wnERYjv]ԁM߶}rU=5\^8wϾ,l=.k ^$=}|{F _dvKqbm"TWҍrӭɉ;NV.D2 z[[mL`;0^D{\/ 4\ƪW.V~Uxu/mJ8/AY]ޅȩ5~6$(f^ͅg 66p1o%KʼZD0i/ّ:Xc-큮Y^2LaIO#? tM)5dwZ3{"H;.ތ-"yKUZ˺i̗p&"$xwj>`o=)1jE89 ! "g5C~tSX|1\.glcDVzxM [Y甮])ER՜j$6{cP r sr Jy#e`FdkΔD~]L~Kŷc;>:Cmp&׎a*iCm?hc=v wĎId:x(+P}ni8URwL&'X[Y]B9WG\ѰR7'B=q'#4"³H5 ;{(r7u^8|Csx/OKIV~OkU%SmMdŁ  %Oe} b1QB[EIq>ET[Ťz81|='7f3ЊcnnZ F;4g>GP`K,T;cfef&X>b}42?.mdbIW6-#5Ϻ=ITe%sx=M5SOOWH7`oiN)K ^'`^tІ*ƶ"u[&24 e\K+CWaYM]iUۙDk@M;(Fa휈NcKg-[‰5`LF{a槶uE,͍m;O$M+ 9s,##""h8|gܺ=x ~kMX~#GO)A'帐q 2rjῦ{@_Tih=$|mHzPSff=HkH 1NfNvUc['g}}ol+rćXjI~mXm h#\n$hz* hyR$\QU% uT=Cy3.DipI-P@+CTdX-(VTGa9㝄Oh.n,PSB⑿.9~-7I;vsp?y. DTa-̂i r)6~!.ELŁ>FWƂPYus_7*؈kH"5?wG" =):[{BAǝ]El3@*wF]yM#CU7w\BNM U@V1LL{.H^ MD~^X<}- Sc0J6qI4F8CS=:fTq efHc2"aVe#Ѱzcqp0o%i'}j]ѧP$=c4~4 A3T}pl[2u8"Bk#*I; (t[ ƴ0&LWI3;xQQRCO%HCTj y6iOZ(10ޔP;,F#{f@;@™Py2L)=2B c!C=[} T16^Or>Ԙ~9e(KQ6 @Ү/y-!}`lvUȬU<-;Qp}Z!)bDlL=%E/)cPujk髍JN2%/kZK!qc!P|sj+w^RzNqitA!)B<*qJZZN4N$2#3E'\} /'xYӽcג\6U&T|K 3Gz8e.X#+d=[@rQD!Qyu/9OW2.?;.o *p<*dž*$PmG[9!LVY9=9Rhnx==~j鼢:|eCAtKmO j3Wmr"w0檾&"/S#Gsvs~:}<|?zaozB W73#/aMp?7=TX@$*nޘ=I2f,k:W+ظ`k&eMadP}f vҶEzG>>tC0O:.Tt?OrJyMzhw}AxUӬ^"[je~pkdUu FH>%p+oE&iT7٫X/jj=^$[tc[tnh.Rm'@wrL"!dVQ .}HR tɿڲ *%ỾD-)Yݯ>Lvds\ Ǘ!Y(P`o^zѠodm 9T7u$r y0jCx!Z*Ut(ÃA6?' mȌSx:ŠO>HOss2 %̢FDoT]3bkzFUX$O\wZ \̣yrLvէ9Lsh9<Ն|1 쮸'uX@bih3 ii OI7 JZܞywI{ ƞ~9 s=:T|rؤ}ՆP?H99[9j~z< *i^)*^}FZ./ykew~q,jL@#Sꃅ u$Yvl?˞gw<15xMc@%LOZ3vy)?ỂؕUBҼ~ zBă4P@pSbc+`@WQ l{kK:46+dB#MWhK U,ѩtpo =؉STWCI_+b7wV^D9oD>l9 `RYuR:{Î}F [%UTz[A3ziʪ5o1n`S p`}FnX>oemC% ok[2]c ^IiFr2hGn^*BĿ5 +GRH+в )\8[eq3jD!S[A售((D8!Nc0𶛤5X%l?~HjPY~9~Wǂ wq%Ǻ5pft̪ )D5فXc WUջ-Q#NoCDJҨ$RuUfm-zjт,ue߼"9\EW fQWA',*쀚Q31ŷf):b.9l1&Gu $ T~IJIbF=S 5E L\21WD \VHnyVA^KAÂ-#.7!Ij.jHGuzpx01?MN+ tH񛴑de|$KeMߟXdlf҆9 KԱaN!0|"3! o$vՔU'Wbd:8AEԔ{Ѫ5#i8Tϐ ^~ C-8LN)I~ hQ*u,N!ٟpǐESy#pQsf`kY4e}dB'b=7s]go6 &.fmPrFJӼP]s `švm.cr1r/Pt+* KaV9KC 8&ZZ1x:PE򼞚FăŗxKAlǷGy6N1u4fF*s"z%߫XGf~_=麌 ./*Vcx{v)FfQ+S8٣^}@}k)>TE/2yjfgT`808cr(D}3o0|i0^KjhP?{C"ܘigMGW1T8bԨ' S_78NTk(t/ks-ݏ#>>}KŽQ==ؾQյZ<%֋04wr Q ~hR'g 6)yG .ä= C@npSۃQ>&f7!9?~}X *WA\.56ߗL`.(1Y jTB?ZL2]1v/3@ "p7kkR;rw~0Cwe,ɚm`M.g˖xϝLa!5bX)O,s͖a"UT Hz{c*Ж=/&J1t+R`$3wH۴@6t~o7ËSWncSMbgJy;%>Hs!=(ƒ4,\.JfsCaژf50Xr }YBXd;h`i`n뚌v(&wV.)n8OfO'J]~kiafDߛSsj r|.oHRoL/D sû?,1{@><?/J7@l $뿸5F҆8(ݞ*.~f<^D0yE%BtJC F>Fcm.s|!yV+%wU1ʪ|Muo"}SN0>i_uFm(7bbx.F~TI] $I&Qe cOC' eb\UP eFTN]+Ez,&Z}Ϯ0~2dbJ< PwP:l;~F1TSmoG Ve#wk<#_1'uR`L g R! k@,h[O&&op?fYD~ 3ʡ`U3ϔn-mG鍵 Y wHeh),,V<3Yګ5_*׺T Itrd9~f+ t]H]ENDI ;{.?P}› SI31GIpn AI, a^X̸C]xԭz|DĸGrSe *? susw2FM3楙/3 6=zwʹ>1y=bEZ\Zc.F<{6IxX3{BZ!9~Pl[#JXrv} Uz*TrPii\ NH]kZ~ݾ)s26 nb0vq8wB>\ 9|1_18֗SA }]hqٰ U[GG< e%^׍k^(gYZ66b125616ee386e058b79581f751f86e4983e302a69e01c96a12bd53668892d3b016657d478dd6de 3c734878b591af1befe4e6e92cfa619b5f2484ec ffa93f14b53080023971122cdd81d750be7857d6 522200f47ce427e7877e96a809380222673184b8 d9ac044d6a09ed140054300be1a8826297445064