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 u1 l\ ]% HOL-Decision_Procs:threads=6elapsed=224.758cpu=1077.520gc=132.680factor=4.797zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvE͏[=!mah ޻̥0{#0 ՠR4 m)dJr6eծq{BO!f1C&`ԛJ5K*ܣ!|noB*gkKT; M;Aϵa9c6nCİ7TqY냮rwxX?NY'ѩI|nc{ݗ1⁘ FHE8 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 cv;שE> ?[|غ9ӎ#l*q@jWSD<;EgYQ+i)ӐpHYcԼm( 붶Xg}~5?q9wыཌྷ([oQCБ64~??|a ve.eCCϾDJ~Dbo؋M1墝 H6] K 3kOY* rW䓳 ѱظ 4`Dj޳T. Q"!)0M{tRzW?R_aZ+; oko"yx[PC#=RsAټil) BB& 5[qw77{$rZ@~^učE]WivB ]ࡗJ=gbd'& ͷ$BJB=O}tԲ|G8; d3wtI~v%&VqN[ym> YVe:^}yd 6J Sܕc#m^zo/VetqiSᯱTxEcC"n(q `ZA;D3|t,1wJQPFxkjv[x7!Рho,?8Yx2nB, WUj ւCZ \jR1B;6Hy !pť]l/' bFv.ngl~֗@?\#@%xeVV@Tdբ]*U"Ew㻧(I]!FsbvnbRWuE?`@}uÕAF&*KGk-ldʜڳ1d-z@;]N#NîG,(;+Jzfk6br bY&ApaF q4Li!4j2eS3mwCX$[ǵ8_ *b-V)T¼uUUmS}+UWNwJHָpa/6E@OuLF2 ܻpLHpD.,9lѿ߽ƙa\~%m|ޫ+?jc}" y oςht K)c;+A#vUg6ڽT7%eCۥkXn2+e͍u#֣u7 T`aҎpoZR0+Py*50Qv"dj`8][,v dzi7bG{|[.QiKzhIGklOdRZ`2d Y'kf%e˞0& e ( >@Q@g\OQ

!Q&70cUSN/f-3z/K{ / )FpP`y)`l5&smOՌe 9D#t slI^)m];XrȘ Ͷ:9E)nNV0"@}?}֜~{ },6 s؎' @Ҽ@A<@2>COGN2{AE-R8S7iv#II.=mſA&:gqWY~3Lh|wMG4a[W Q8"Lo7ll頍0IMcQ Ġr!NDݏV0+'rG6D6w'Ž.NjK멾1o’h2YWFdž0@豱F9d vͽOzq \e۹*W;@pQ;GSI- V6NFq$ӻ ;O)=VEK6 D g?~L"%r򛗷VP0{`),Pz0ϝgBGdsU0ꢎ>4ijT9w# f1=?EFٗe,k 6r褡g ]<zbn@S~  1ko݅'O:Dd4Ͳ0-nLF _H $6oOw+L‡22KIgMX8dh :#e|O=2Λ1&cq76$r Ʉ3v`QF&V QhWX33K^'NXKg$9- h Ţ|D\Yؠk{PS% )@6XQq5퓱NRͥ>@$.{Ae:dD?sz81Da vH:r pr2 fʜqXYF[weU?7/|o/ֱm(&LY\4*I3 7ڟlzBcԼ<5ӈhTrk s_$4`֚vTcIN %~c0Eo%lo޻C'%P8Bʫy!0B᨞d}. @f-,92dL҅I"A~ml OѐA'@|?U(e=1WR$ k!>[JL2cczPݚ:Qr%OMSX¯B1z mUR&;Cr"- '}}hN,_%Gcҧ۪=޼ea$I8E$'U]^oU굘ɾ!;Wn?wʩ)@PU[TO6R11eF9n[^Ks$={jn-llٻE՛m`x(Uhxx[ sW8lv|PUN1;|DGEhF`;e"#XLmLnk\4Av s0k -Go Xf‚~rm+Uͥ۲sbY֜òw^m} Ƞ+vh͆jʳ ?@ߤn)eH^bi tcSW{ #|=ݥmpB1gTZdSm̐{[mH̚@7S>%Kퟲ@R6ZL g[~+Wr"_H]@q`Dοwⶰ=wHwH`nKM*FHQcAҺtUu@G<=mYZLJ(fٺdHl-uEzޅ=P*fu~7K¦H`D_4l!2xe8;/)̶fcB%`ZSŒ4AaZ#XY̢fp?9ޠq۴V/W2CJ?!p 9⁹wǦCS'7}m ^4_3wq,~|h4R&xUEBh|Ks{WYdžM7%u}G[{_15-Iiiu)%T߭Ez󄆮[צ9>у9DRTvnb缇"GC4NgH k|WW-%Xg]RSR'G HZ Ͱ` ͘k|<'OJ4HsBqz`+f owY!XNg|WRi)U Ԟ;͗mV=5ڟwပ0 x>hn\3E@3-䛜 ҁ'ʿ7N'/n H 9 .ZteTPw]kRv" !؁gە Wͷ.X"M *X>Us]-T+c_SEY=ti|P_.sOYl8u@Ii]G 9a\I2!ndSv`2w+\0|`x`/ ;XBP꺕<JcNmM"3#{Oy>Szΰ{ة;N*Ȱ^vQ6\ߪi_4ޜgbڳlӊ9=縏3nOΥ5hQHHk[+DAb=CYYqm. *ԝ8ǍI;-clfev40  mj>%@)W4mI֐>8w^lcmB  SPl0FRceY#uŬgs&VF^ ˼H'"Q{$!xfӹx2Gla+%o۰X 'AC:Wӳ0ʽ9B7Is$Mnt`P>73%q@M~tjl#XmQK(,=@ ɽ0x/UDf\x{m,hR-[':u5lp?M9H֛ 4Fee?pd!LV@z gJW*~gZײi?vEI׮q76)pl, x#\Q1VsHѡi8#C6ƚJmusYIBHs5zD9w4 UaTӨΡlk,:/zcG~A -F??Ql@b҉y_yЦyPկ;ez aɈQ>\| vbKs\;݆޲Z5뵞fDumqV}p6[NUNj;o/w\5l̔?Mo|&Fz0asB`5wVX| b~~`)Uɩ!Ț(G$\i堊ΪNԈPO\lbߏ=6|ػ{⮺ϡ)}ʬS7EM 'iz*B&܀YPa)]6zLCK`-qÏ ~~AK2Df ذgg?BM"xT~@Y4(^dQNZbY9H`&rQ1rd?c۳j;<a=ukuO>]X6&OfAO#cZ8rlՆk}4o b5ȋb?[Cy`wꮗΤ̀t62ֺ.kÆWN?@jADgIF.[$U:v {(D皝3YxC?[R!yLN ^Lm[k9]!'- S)C9hN4C S`%:>'D|DYy[vWGa T"oSz.p"|;f⊜µ"H]0`gNwX1k`!#$8)jl*6мYc?A/FEvHHw"a[S5VqC7X^:vUBԝDy,jDmZZk{M#&)Q^_#kFcˈiZA[u ܄ֱֶlG$_fLVg|PhʀD>%E PĆ(Cstȧ%&ls\wT̜;y)4biv}`.vx 0qA4pa#- i KXcJY0$UI<OJNm@ֳԴ`V+7urgU$4U =U }"1Vi~!LC) /.7ʫUZXTWpwVh #sB /[(Ά*hT?_ z1ԑ+[jyټo3= fFRz5Y%.FsIa+-u})#LB爅OÂE3@t-dSƠBB=ecq̲r!Q;~^7 5p:*✵*792kXN:xWJ{tNxT`2Snlsz >Na!vMb:"g =G@҉;v|;L&[ .`R|;8jCt#S5`ZvnmEFdp$ :"ƵhF'ԥ|i9d5ZV%To!757Hjj3e-ؓ`h.Q"k9/ѪR7_/5o\:k_m?#Rx 탈 /=qv/HѺFᝧ]39VgypY{i|gq<1C( {3iDdc2 n`'ssE?YnfTJt;E3Uk@0ҿYlhhD, *O h|E ak_JlI/TTkSo֮ ڗwphz%8k3n@L|'SSHn@"'͊p[j*53xBlxghʡIl(VmuZWIil_씝_b!9-=BE${XT22;8)S@rtmHIBvjq*%WS>Px͉+|ya/^>7I<.Q)..|Ui[MUI2(89 JjM4_3of8\UuxQX ? *wOEe.3͹\^ X6vg0-@^ﭝ4XWj/¿s|}TH?\OUl$U9͌WX?unbF ٝ#_]u>tYe ٘$fa!YqWzȴn68 rQ[n"{&rOޗJ`G= }xR N1v 1q=2?`P _[Q,h} :g[2;7KY=-Ef8(=LƁ.rI~9+qЄ褪R1Y!R[!G9_j՘!#U˒MY:q"DAϕJ%z~ wk&aکo?EpPJ \tB1$Q\œq<ۦ!Rm^uVlM .ԤτFWkFAjgfrswb#XObϵ|U>g黺+$:Lq.O۷Zx} XkP~6ހ;h_w@갭Y*5JB%ޚ?%cU*YH׵2vXV`-TƳq@NdXw:aL A#!7Ǥ0qb,"'f"P)+R8~_&' r A,dƶ{Ds%mYQ")KN_mjSz {U YX\gGP3Y~mDhgh}xl+f&[No ŭƪŶ"xzo#'hv3XcxCK{h G"!D[wOu5GYeVیn2CcaRɖJpGmijS 7e^5e]6xsg0ōO~+Dx0Uܤĉ'EHb[o-se33ʧe)LA"w/H,&wOGu!oÏ]NFM^l I't&]h}jI %ք_xךD3NQbjA,@9\:x%^68{Qgo7'|e4IT_ E0&.l(\-;|aX`+j#D]T}  Г& 㾜h -y* pT^p{_<9+7qԧSb`߀*@ 3+{G> fxoWjNiz0ZL0~i ‚Q `fJt_ID-B㽖BG^B4LVF{lyHQ&X /*S%O&۲jM" ',5D5x5+6tZ$d7a) )uHU&K|_JT4yFC_KܧӭI-'@ư7 ?r*.4p>0F0^ 6p Gђ!@Jͩ\m5NWI̓DBCk8"MkZT0u] kKRy۔[ؿ 7gg ɿ?&ǟHjR[9z`Q A {` b/H>׺`}Pω[{2/%=pxDAQ{L&NVEڋ: vwoݿ4C|?>LHԿv? *HV&#'ߴ LOl^ft,[EdyXE+D]G;h܅Ӕ/a/f_%tnAFX^XDC$sLWO(##*0ayaw&="JB62# Ą/%ltsZ9.Kp~f{ePha YƞH.c=xnOCnɷf}1Ct&ڧhQ{k<2v,A6L֎1k|RP2 Jyzy^8@q?-QCUZ6+'24k|P´U/o"n.wȺ]@VA_{Jڕ*pP6kйR2 *;(3J$#8cttE+7"i0HKj!v1x@zU^(YͮSw nGaC @~ il\S?7j1 *o, :d}/u4n = NՑZ5x(.yٞ|F.5$"ɇgU!K_K"@l=M\ G1AxH_i]1$#M'S;,LY 1ɺ7ZO2$YE}ZJ-axeN7:qF[RGD!VVN`/7}n8=]%L`Yn`XYPSQ +Cv2xV0k@ϬdUͿq)PҍDQBf03_4_b#&)J;\dO]5;YqOVdyb#ATAx `b:f^$epv.!-c:^3FY["Q{r2Eh?y'.?%ӸˎZ[ Z.c@bk{МSoCpfő9f?bfv;] ~2tR8ݬ.vwS+F0ӎqصh ws>{^ MOЛDEW.D ̴ٍ+9%Q H)P  #S^iQA-/%U) AR66;46 ZZ.d _zSr08s $loÿ:DSī=_ٜ1 KW=vRn ~"Vu*\aMFG֊ LAÜԳ{GQz}0bKPH6Gg8^duyz?Oْyי||~pj2q@ce=g.Y Wg䷘0{޲ExAN  ̓mg!b1(;@^ǞܟG2XQP=0u/*Ps8uQcǝw"G􈼆xt:1 \=zUbJلӾ66T`hͩE8<B^†WВb~I"#>oL0C/F􈢾&3!BݻS5ag?6|K&9JE qIJ"$xQ..O(}I=({vs&"dc`!Kq2Gs"jTݰt15ohhUM PDzƝ3{HuLbUJt mc47ӳG?v38V{9c_ÃZǜqit2(_"t&?/wǜȚJg;.}|ESQ$2Eh0$cg/:m>3\$!ư}^Al DL}śBZ8tŭ;<)bo|ZRbİbAǎ_oOu)6+b^5 1-AϠ]5\uqn?r+oyWܱs}2ČqV#ɝtrOc=2LωBA#r+,a2y'֠OF?KԘx<ɽIS>vsZé`O(s0I Hq$EM8$-=gB{tئm?w7kq"[O>FzZ-f͇<&J` (p -S]_ߋtguρh2qEXfD:$ceYtm*y(Ʌ0=VḯmrTw3NB]#@uitie(@c'u@o9R9"\'|FbU]㙬v^aw]kk=<ɕD6X{]*E//X/\@ji+1qjx%~ז2e `&:RD ^B}~H("x*l<iP'nWðR: aa0mLjWOnIsIq-_=#fpGMHJסtEֳϰU x?e̯Oz_4Iݴ(*iu^qP";!y3Gqg׉ 3⭛՛!W:Q#FTewDWj+~7v0R[D([,1S'yVm DH.9v|YDqه9W `fW'IX7.㳥spw7lE:gX6˺K|5b WR]64 el&[ek(w  9_%$L`v]P˷0Y6 zB{nnf1/C>'ikU~qo0:up^WG6T%;Ԁ ɱՊTSc,F"8Q:Qyn }7BL y2m/"ވ`DZźuALa޼.ș~驗V٧V~Fx3 A`Mk\K>vj"xR:fļ4qj۶>uO?AOeʺ9@ZLmw ٕ7ƳԻC"|-! g܎Y&(sU,Iպ砣zlCt>DC(8]֌WBd " Fɷ+PSw){ Ϥ*I$x6I\VlBU0MOFk;7j7=t/ȉL[vd,?+?13R.S^œ)ל~8]t?hS᪰i*};DlvKKf/N`3/[X7J>he"~ߺpYFN~ &ņQ*\# FwH22<Fha28i&pFKI 4͡Rà(B ,#3\SvIpUz6d|MOw1xl'#1~H >="S/Ve- ? ?˖^躴|ۗIn^L_-xcҠC#Jf-{j=е9Dd D|TpYMLZ$P㋷UK 0<8rTJNb[,ĩ2!?A{ 6`>knϸwwop$,l۞Rx3p/C4464ADCUPh:>F٣z+0k߱ uM #k~zySաuP>dLjotb`~>KIӴ`R/=[=+VꢒC|yLdr<*<`#ڿ,ͦη* YTvO6\`I-+GFokDqC@ݙ¶b+׷SC0yo9EiGGW6i6eS1HKi{Cg ٿM;,]89&>z!dvCX| j已jC KmC_˵(ՙ5蝫OQ*4SJY"Xra֮ żf>] E CrԘSB AtCުYJr|i9zuj S<.… E}|ku!3&ȘmNw~+uy31P χVX"ye=:;js纝HGz7?G,\= &m[ꕆN]ߵhCW)Ĕ Zo+vr#ri$xB.Z8ݷMQ#L / uATl:wStP\L[<ƅ-Y莡 =R 2-LЪC|*5tTa@F++@\3f^+ Ė5}l{\ctU)\'q5DM{Vti/%VU [D*,K!kqR+:h1B-aX+(ǔ Nh4 ;–Ѓ sY.]ȇwfϿcx5^F?iiA(OP8-/@s}U!S\'NKY[#X.plHnC*^!ڱ(JM|mK1olW Sn'G>H_(lj`9Nq')#`om{x<ݷhf9(D]|?p8b&{s\>^gG. D#ζR>Ƴ9X&NgLr^gVT3U~l@и!,W=pf._ϠᅥoKF\[LCe-p`!kktnʓtwv-4Ψ^1Z+4XH#9 I$ Gq!<,n; ,vZ*R玨o< ˅y$WH[W(T2fA8mJ?;_t*3}gk(pa}Vr@I6,HvNL4 9=P(#ӏM ;Hx<9Pfo(>.1$8ft@|d#,tŵW=nУ-h⳰n-`OZ8ѼЌUGiWݮ'i@{@n8.*t*3 aat]#UFM+dz~em7iQރb^۽# ϼiE"uHa8bKM++#pp#'!r&Su\ªИлSȀn숰MiܗwThyKndg5_'A]D/0_} ܞgN:*kXbݩtyf̾I= %| Hu]Ɍ$WhǝH8 2}H̿^Ha;芏n+Zn۵]r'. ehKUi&'r:8?BJuk!4Ӎ*M[cb#S$ e;^*8C;mgBy(}d[wFo{r)FX$Z6n A|MCexfGQQ@GnΔ4߯D<'}M5+s1hReX-dmu:< xe%T3<댊J^ GʣU'l']MyfެmNo)婗`U1g%z>1\eJPrmSej4|t} >Yx9XBY>Eo.{C'm5P,/Yo˭?Zo@+J# )e$T+](MJH.[z2:Jo #Y2UBnDHFѤ1;fAz[_0-[Nw%='^1?0R|רJ#11'Ro˂Y9B)Gr|fmM3݇SSF\ؤW)]e,xL\{̕4LKYbzN>us#㟱WQ+|1B{yE'@-+f %!H7Q@\T+1>҂?B@d]xƷ> `|ܳ/O3xi "I(i$%9DCԽt,k`;}/+D_kf@J6;9Xsl#-C&5d.fHS?'RKjMM9#$AZAl~I53F_*ddcϖPs"3t`hE?_rm\mYzz}\#IBi!y.?RJ߿ ? <Ɨm0 a,ah΀É g_췵a{5]Θ#ExdOf3_ml`(sѬ0WO[g{B5ki;x?&sJ| ZGsNn;Ay®r[f^qe@pC * I[uxW{Z b@WuW5Vdzufgyj4b Qm u}.É)Y *ϝc 5X9J7V N%B< iRYq㗟LK+=$3$T awo{kS~% G^,5jUIF2=PJT7_dX1./-\p? NjކCmdWEΔfل&zq9vQ}{a{5rq6n 1I$5 hm'1vO>@/m~vCD2249VqR Q# Nnx z5\%rJ| ;d8E?5$,rC‰,ɦ1gYZ33b3cea3a0c4ed12f15f835c3537d8e855f82873ed49615d0f34d882905c1347e93972344c93c592 18a74e1184c98f28794864630d3eda03f7ec5008 85a3031c01b9afe036405074dcf537dcc35ce904 c9d03173b727562f290c8ebceb9e4b7bc89c7233 3595066ab1a670a116306bfab445d1f3889ca38b