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 +1Tl ]% HOL-Decision_Procs:threads=6elapsed=212.088cpu=985.148gc=88.264factor=4.647zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1`𥛫wI=`Fk?E\u&䛙DD{yVV-\5 3q7b~is[)Wr[{O &6/vvPefƫkےA?aUf01E!+o3^}xgM$3|VLnB/zUpZ1fy$?ڔ:!3{,g 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 O WSSAlhpҫV#s?ޭLZ^>5AO%(avpـY$ ϴIxUi+WѭeG }wbx"'݄6,+ZMt)bսA*JSJWBr7o&V;I֢Gp7~ѥ[o7+ |rNQC!6Μ^&?CDŜ^ xo.p6٦nݿYJQX,kv Y_`ae"98>ۉ-wVǀsp yyR|IɚdtR7SM)HNlaYʿ7~e_G g65t[!|uSM R~&Z঍v?Yc)-nyUh\5f|0S;w8~4|<2SH9x럑a Sh 0:R 纰׷C ,` QPWԣf;s.loƷu{31Xk/Mᮢ++dz&i@\ZN)iVaj@LoܬLܿ:V٭$JݶR= <āQ<_Td謖wY7]ZL zQ@RYcn_tA'P f &%^d B!)zI*mU=ty=e^| fWq\`dQdyDW>;recl3bw;EܫG~#=a#^F*K50edRMpHZ -rs\e> K^}VAIAUøCHĚ1&] qN9fS; Q\Dw|TNF\s_d{WY4L%S#xᬯ{fǔ, ,Xjf3M$)5DHX*_C`pGhЅc;&SU[OKu/Cz=td(9@L7$Mh!"FgSY3Eq!#fVr G|?x- ޣiY2=y˽ ["!׊=(@ZThf\ejJlR9Baј1`wI BhovYktU.ɾSdm5ղJ7Ǡn,W,SNEY͋,|_Ы8hzK:9^Ew=_4u' *,-W/To[gT2fpM Aq"_OUti5tC}i %09ˀD{C&=r7;M/cXD5P}n-d`æ626nz)KDƁ|s 1a)Mczya݇g!UQ8X-#!bymTjf ض tPNI opj:侯1Wi >m 8|E.*;G]o_틾w۾gg0J=-tn %{ױ/ʐq.3㮳/^ِlx.:{j.cY ^w|V^ @Om+$;ii"rNryD'fm1"p jlm'Zbw^l5NNU轢jƱ}9>&4wk!=0iJfJmTu\E4KflI"c'KU(ϖMݖ9Nxd;Csp&TI O )^&3h韛Xvd\6: -?w,zq|#I"i:HZFJV#X=LlUdF_|WH_J0j^@M3/ ?h l9\VZE~ ůw]:$n6m̄/C ghr·0zi~h̘}-m*%/#k{2?A'h N] NQS+_R%*TB*N(bͅ`EFK5Jx&^F"0u̠w*W#:& b(ϟRsLp8ˈr"|'Chl4Lt:&ZeXXGfQ 7bEdf7.`PD2x}}o:D@A|H7C>V>JlX?A<+~zeSAqEb|E?Au Vض+h&j~R3sbPy)(L06^3݀|{MQ2%Z5~3cq|CC;r%I ) ̄J^ 6d^Ci\]c@E߅.l3 UfkFhj/bk4RXzz_@ggנKK5JzBF 6b?ެn,jQIuc] 7fxwzc4Yƾ;ns<"ݢu͡8;ؿcȆU\sş! @fQC|_B*)YEu8SԠsv#)ySNifC# >gzc5mܹOQ[ݥ֠Zn ,Ê}U/(B~s5B}:dćkNNgG oI; L4D.:l:B|+d3lk6@Skb&`)eqZ-88`h7i P@+8rA?R,Nu(m"{^1L<~<[+JLy ϊTxpg7$pzi]ѠLֈt.cF2p4Rb "ֹ:\-ulWz̍-BȂQi<,߅l*뮦t}p9FXW~|lRZ-` te- ]%(b̈M{AKl~Uq JܩX3Ýi(-/ӻ؏^Q+:a{}W}1<JjV4ۻ5(4Zp(5\"Vt)XfR D%&ԗ`j1WQMWiB7eڋ7cRUJqݗzs`kl0DFة6_s>~v} Q:m@@:snU;Jo,Y*99 #④)E(54!5]RPC]/3͕`N ?">3DISP_l@ R%cgh|6Jփ-~F3%vࢼYiyyZQp LN0lf72fߵS t*^h}c jΨ.&j vZ_Txh q( %Dlzy.lT;rO0d,$;#7[*+c+'Q?+llaKISz,C6?С-P;8 <1ta!p@'*vqBz D f~Tdsˑ :H*{* 0bK2k@?!U \(CD PHW ӰԬ!WCbmem33~蜂"\xc%YfJΝ3mcv? ⲁTW8=:T-Wa\MF$O⧮x G~ʤzioOXGHPlzR*oKb#NلЇPA"*ĺwHU^IMRe"Hvs˩]u{"QvW90h/|SH$OPUqX S} J+HJ 9Tt Y@"6B{cN]?XsyAȕ+ύg /fjhOowW_H)~bJq7R}1I\S+~ }]`LgL[H% Dᚫ4M`!ofg3@R-ֆ5Mr:QmVo#oC ̟&&MK^asx.4%Y4F}9\GhVo>y jOlsyQ /q)H3ΪJp!v÷>ʬcrV"\ c&Tx>mq{0?դ.Q:5mi+VWrPG5N*-'=1h,`j ?znָ.qŇq+N0h3ʉU6pex{?#  d|&cU'o[&ETh]0*Qv꺲 uZ8AhwME.tT%[ۊReQᙻGsdOP8[r}{ RP(E 5~pd2[ ȆKơ?LJ0XDS ΒcVk? zCH)駱bRߑ!㊳pxOpr)4H u5ZU4/qcK$[,-3Uɴ ^N,}?+vgYZ7zXZִF! \!]ŗXiɟ17L? KxlWP8SաM~>fٺdO`ٖr@8@rcuP@vcm& t\I-KŗBV:.bVN"6!E/Í{lҵNhEMW"}˰T_BPƖꊄ/R5n﹨qc"6U,6b4d@eiզ@ѻUOw^;~!Qԝ?H*4$y]<}c?q &MeVYg(L:m*J~P," -CYm(9}Itf"`m%Qch#m'<厙}/O?17:/ <~Hmk|[E,:"/B]|b~O|X#1E YqKީgFcfP,^bD^$'$Kф<ܸwtKXf~N9{>!NgYZ7zXZִF! JG]ŗXi%BɝO5!`Nb}Q j@դEv(-G߉iHA9;,a5h@-G5/ϥ ec0@AP~ 1)N$ M@Ej "h 3y |H)Pl¡3$fg8[Qmэb%%v81$ 1ؔWtZh蕧W[`LNs$LA$^ n,b%ch@ۖSҔVmu)rZE2"Bsq jdM~V`̓YGθz2Jp-7 oJqHӇ;K7!}]i &!/챿 YOo?BowMFa ^ SAY#T;i]5@{^h&ݹ]G3n"[nԩ zKLSqAIy 8M`ÆuӳD;໶DN4HsHݯ*S<]U.דB0[[ SeC^#(̢IisV%&Y)>A߻!К?{̖Y0*Ңы1u1zEvgu"\ejx2l /*|-%p 7&;,=iZq>PBqް]}zSYQ1m+PUa<ם~jI8ekYM 9,ۼVVl.%|Zcj/-)tх$"(2`J6[,>\ 6-Yzp]_Hy2n΍"R:ُɤ+LzkWbΆϾb ma]+#SYڈWoIhVs]bu7z[v uC*ϑz{>LJx/\% !Xu@=eäd oT4HnϢD]-^/Ru0: v )7 kj,}Imݾ3R';j'-R՘BAo<l|"(tT[UnڸnqQހ~,TNR;l^\bnp667ЈK胮:u$ (<gn1j(e15kN@rxn~^:M: 5{1V;(г(@"k8%ע.D'JW&PzÐ.'i:Y;XX[|C'o6H2nVC:\?YljH8MT#s<(@,0/#!Z]IB'61#>@Gߎ[4a@JB0 tctȭ|9QNeĠ&:?^Qf KAFL5}clhnFAMH7&ţhJƲѥb.ZTzɠTm˦\eՍL ̆qcv1`ńT ω GM~04aS3@aфR=AX#x#R>r1P O6oNT*RY[g0ZW6ʂf#5FcD8UWp5 HB͗m*'^kAɴrg|d_] %ZRhZ| kc_WiWcQq^7I%6Gl knVVEaPza+a˻6\|!Q6Hy,p-lh"KÐ䍕lv-,EYl90hc ]gKc|YIvuQ+\(TMpOmY@"4j hV$M@EL,'º_njQDeJɦ9u{F M`A,tnw~0S 3v Й<#WC),r[Hc"p쫨JLl,wpDB֨ۿAK~\L:p]>_f##kr L*[H6γٕH<}إ ߂m'.9 Tؚdg h1͖h¸U 7t~ |G',~A?lnm:m ٛV*Gl϶: ]X fk>Տќ[R&$κ^Y"LA1 (?S=hB%BքȚӣ)*q |;A0~ʏUڐ(wB9II\W`efZ`||16%,Uy\DcxqLQr=V 7wz]^d995 1(rSL`9Ѯ%qeI1zBF\3O23!·*  kmߙ3,\✉J$[vNFq5Dw4\yA5Գ[2Y24}*:< WP`&n:s`;aȞ{B]*w̺-?I~W9#O %D,N&`}WA6C Eae豯w"ܪ` O}rݵ0䞓4PgwajSo:o>'0Voi{VO8QU&75Sh`ll`*"lUµU.$'稴иZa)RX9Y lǠ؏ {2*]x&g]?`?^ C fL2i¾'p'ww+!Il?޵]݇zyl"\n)Xݞ<2 hJBW >굷 i{bԦxzT2Wތ -dgSlM9ͫc ~YR] G/#&Hӯu\󞖀 {MVʨ8 >]:5#1P{Վ7g+Mn:aO ljNnEhȍ֑p\ ~.|+FP6˅AfS=iuISi&G`Q~0ck򖓗)@J1{S8ر2qb}φ B'xRNm[0(F,+&`Zv'SB3QˑV'Y:03t\<2ʚJ^@A8 楘gYݳ4Z4SF⭙Z~0~ڜR,>"QRj7_E&u^\pj%v]C{)wMEH<1 %9giRzo 9+DX5k b hQv[sܹ|tP(oOeNѵm2*{\߄{jƤ UBx,lL܌Ɵ iUx/w 1BFCF+5X+^fd9ϕ}?`fzJn]7M^\2-^ m[u\鵷`z!QНUg } H  3OqK"S h[W ƼJG@J"O)6]qk7/=>;nXfKh7% mxx{"gז0f9 L:w2;!qflk&hEFf{UPDA4Ty͕z1AÁ;"B( + ,;2b}`㳡5?r+bGjlr#B˯E.eÐŌrtAY60vgud#|qDD:o3Z5+]I#tX>_  90/VUR(E\~В#`7",΁־TN/#TC~4{{M)_$1P{If6qj TP"*ݲM΀ oiݰKD7 @Ciptγhc#`Sb x] > Ռkt TOJwJһːŏ-,1sSoQ{m4@v  "(UNGD,S[ie S"m59wHMQibbu,lhSYPoz;#lXRI ؂NZє} hȥhz7 "f PؒFO;fg~' (xV ,#` L'gi8٨rS6E-U'R?ќs5ZheS@zlQ]71ZLV,5Y=^#b &2-SHdOyCe+ K@J,oke@LThܱ_dw *Zkp}VeM*؟̫6WtMў !0ĕfpw" uF&7\.kŮ{J\ЉH`8bdoh,&ĔqL YI~ޒ~%F9)2 fyڸ#xk͍쀏&T=boch'͆iV9Y쪤|7̤ػvpC?uX9gbzw%3P~_.\I&lcSS@oM_uՅ7$TQcaf=:8A}j*dI:YQd} nG/{4`7H WrmMFЋ5q[T])"oxOr"ˋbl7j#&P,Ȭ&iHf+h}Lr:W`:94B:W[v* ?Rt|Jx%[ċʠ4&&_M;a5FCa110u+v}ϲ0sPSp~kMA6e.LPuV}ݶxV'*?9 !438 u =+UMV{n. 7mR]<`eAY 'k n?K10/s `5`DcmʖnrbW6.[k㹱 eGTv@Պ~^~P<ˠ׈osz]]VCWn:C˿60w^7ޥ3ZJDѳ|nZ &qǫW _#i / :,DE?-ثۍIQ$Ras_FEjrV<ўbخWn,@4K\Eg2:rcjCZ~ Rft(Qs &}ʤe!)a+91Kۤ}{zSFz95tTuЈ_P(CxY;l)vkKћu@'{fq掱t(06d2eJ至H>Nfùÿ^gI,/2U:w B;)"KN}u6(Rjnsu=ct'FgHDYō׋ Mkd8fk0ݼ&"G5ρRvqnAEi!vY>>X̌4=p_"ўwP֭ X(._$b{e(_{{|dXaB&p h&-9/Q=гA >\־N ݿSfA2Zϖ?_] bb6LT= uxhw= l2pF <,|HAB]XSiI[6 F/pp-^+ȝ&f (u ;aa%&]+hҿ-O=eli{8UzVnZCULeZVsu5W /x#^B'l̒&$S3A(bbhA=½4_lG#H% HLH!aIЮ5-H -n"BWjAᇀyZ+Ÿ|ê40tIs3e^[+a=n3tUfXւAc%r!|f ѣ> c1 +ytm9vnD3lIJo׬#+B*fE3c‰-7T6d=8P!+v3 =)JB/P*1Q(0p+Q7VyAjh Qu6{-%o)iiOK"c]\˦ACN>+'&ɎΝtm NBOQx4t̜v*;KPGu 5d|+T_S'JmR\GoQaTaG7D"8a W]/jupStgJ :AE_~*Rh+1Ifu2;&6m>#f}1&I]a  =[u-ˬT3*|_;(IۓV>}dps 4GO p~A׎@*џLa鸵3= K8{ B;y (Lݢ)*Md`<]xF %Vʋ+Wy/0]~vA3ʅOc͎Rm=wH|IJ jp0 [J f z"}"ܺEjGù4;M7¾HQ+Գ9݉n2=Vos} 5#Ńk1>q{ަDDj9$k۶"\z{ 7پqlcL-sOS ѴP6@39\QMe, Og`,B"pj*J@ ӎ X°pSzw=G '܈Mbg֘w/-ϖHE{ub0#iJDKwzv2 (vW؎J3XW`^]R[9KC%Vt)q'x5˘ 4 ϩ휕 `%-48ApTl¯CZ͘n9  j$A:`m"ʽԹt:kJļP®Х\@HPA9k0?'WH϶eF:!MhƒfV1"{+|Gp,s.V%) (r¶GNc4S7G[ca1Ivb榕)5 F0rޭ[@B>/lgv-ۂ2?GİKU>$x؉Z$0֮5||I>I n rL!{ hu%K@М#9PoLvK|6Z˭z?Uu85bḰQ䱉+5j 0bS8| 2Csa"Xtep-ċW5io)Z*+A?y8qIn1,LL y m3Hb(jyW=G[WfvMBWyQ?: yy÷9wڿ.It9$kYjV1> (َώށpG_4VlR=q Nm#"Cb5x}mC,%se~K[ ЯF>سd yZrjָg[भFΉ-/6>렜`DNDvLW 20< aiyBwCʤG uc+XJGM7J5x?G6h"S&}9ӷ47:eP; TPVK21A;^X*3ICvپ * x/w _E^39i~lX W^HOִ2\Xgy=giI _9YwIIevd/uxHn ]ZE'5r9jnaR21)n\ h*A5$|)JNUy$ Lֳ R H 7vL h|PdR $︙*ZD"|zsNr ݦJDnӑoy1bduDN wy&pa.ܨ0dw;UPCJQD"9bOU|Ж-I5㺤ߗN̛nk„.7>ˡph&P.V=~e-Ԍd1v0k =Zp9 LNvYD%@ND+Ft/\"PM E.T Unw_»E~ɎK=+.E"yaM<%WЯ#Т_;ء;n;R0sM:TJ)\D1Ϲ(<m[CM`NG|γr"e7':3VZyaہP=xkkB֎a'N|:wkdencP$64N",{}4jFO+w-+ L+:AFR1qaAYsS_MQ 㬁 2)[xXcv$X}1d$2YRmR;|!w{ɛ’z(¸NJn0" V1-uG69-t@}"R&ew؉It8oi\6avNBavu줎,<Ξx及FZSlz?, <%UPUE4."uZ* ֳػxVd&JstIXyV U&B6pk!,uO>ѧ|eEp (2.W%9\܈߳zU vkflʂ0ORY[5TaLπ]*O.:)HC#ȅRbZsU'{Jئ3M7rÒh[]o/Aؓt_=#$qUDAE:f;-BH[^77͆ b !LzE: Yd;':R2M ?c\r!= TO,`FL ȝZY4M_-DVI.(LIwΎiitPҞ "(l1c u&%Wѫ݇rjV'7Q-0[]_ P^#eVA2R-7<f7b ܎}HqƜQvOZkF$I,x_"~c?~D/gH~NG ~S3 ʼYF]0Zx|D&O淲# QZv;<n '(*]͂a5lr\ˏ> |EwTjo`FVQc[Se_(> q0Gi45Z6a{z9̂3m~JsfWoYԛetaeENW~IL{%(m餇n`AĴLӊ}!VuOv{R?ゅigPJhܢXsB ?)C𷮙FHl2XkB)ỏVˠ8 NIOPCf6H]Saܔ4sM wvyN \Ω0+o0x vsS"[o~PaZa K- :5cIeF}d@?z85Bnupz50e(g Jslnh|{k?EoَlAP v 2S`hUDPT́IQbݩǃ<ݤc͔` veH=iI2>4"Ø罺K],Sr, 'Qف\- {i T&"#Mw">#ZXGc%ಛtC+ Zuł?Dpz=Ħ@f q$9‰0z909v/sN{҉$mPS ,q#G|v}1Z΅ŭQV,Zj>(NS.'B.;"4s ''Wm:#M^׻Ϛ,5 J&fqŪYS[Όe>4Wف5mUZġy- O”VN .[TZ YwNɌ,J⪦2'^%Ofsrm/XgJ}<滍dUƢ]8Q@+%nYLv!|aS[1rEK]X]PE7(pUb*Pd :bݕrV{U=fװ I[V"t~kin3Oۑ?In30CۡnWąVKk7((9SB|O9*S@ ^/%C>*MPY|Sml?-4ưB& 7a* !KLp_|*Ok!OV7 'KΔDOa@ uRB'Њ0N HDTkå/̈́Is#È[s`;/۵G"H[*,> qM 5s" jO7VX9N;G=-yb(;S@~p%5fP`M+zt L!) ٤XH~ B2#Xp=1͚_E]se}K>F؍V0&út_ u"&YƎLj:4`ƙ~=,oːNzi^9Q80L+@ jM*x|AynBm0ajc'՗5{?X-%Ct:2XČywU>CӔr1* 􏅗f{~.1%pTd VDwț  KN3rO)Ƀx_9sixf}[k&nP11 XbM_U]T,ȭGskN`&fqv8& )a%-|w4}\[0!d{^pm ֵDn;Pdʼnʯiv òF݇j*Gz2дvS6(;[掌hMsdN=eH_@^`Zm,Y &矇C}iEr! K?hYihP#gYOG]*rSdZ`x!zV<5'[|@J3JOCP/=Q KH"F8rSSr R^:G£;b=:RCBؑ##?h雜wx~J!Pw4` g !LɎ}*#݄W( KJW9Y@LD2Fmܽ}s8T E\1$'rGlu; &ǫ]dc8Y4s8,(뷙ƓC /f;Eab$G▌4HSF=U()=׭ܓ1|Bխg<{p/WaGISRIp5I#<1%lŎtPL|UP/ j?+#27`H;˧ 1ҊܺCqMD9)ֈIUjs<: J[aܥ)\!%ǻ|;6$;yrS:- pߑhu.K5;_6FZީKnKY?>oz(&{zjkqmYj>DuU =Zu+zt&%"Qv"`\f8H @/96ӱҷ/?| ?unIOW8a@OlǹB3,M ăN\QF/$)`0J&Z\ WYĘ-=A^T4@8 O/[L!;?)һРj\< 1)KO:^fr],WUOA}cdG+R+wNc) }fVmQ&FKMYeVDz&D Q/uq߿hθ ^ygD9KKh,0`hIQyM&,8`>b!]90Z2h#kìg0{)j6zll"Ӌ+g'7'QCO|"2"Ju '1 }x4PnᢍDL RWUuwg;}>L|ĕ\ST+F釞<-LL?S`oGT$WAG ח9g2)w՝|Ļu,VcL=XÏ,hme9]ÀEG)bΰs? 2:┰)6k-hZu#txKM< ko[eH$Nh]і1{])Ye&w#Lsvv!v+D4hzށ1P~qx'`e?%[ջ} dJ3qMZ^EiYd_/ie}=!)"N2;ѻ7F |ܤk'l[IHI$V؛_Tv{d`z֔v͂ `pШG-T8!8Mڻ0.QSLPb# Zt#TjQq:PD\ێyF&4"`d7anj}=Zsͥ] UTfW8Qdh:t9AVQʒ?`~ f mTS?V+)ż,}'5b7XZ,'hT+jM j"~WQ(O97*VY3ڡ JVc(1c=n[v ܥ޴}-ʨg!kifo"kG#ޡQrpԶDmk<>̊s5l%YDQqt>=?֢Li~|WtahMA _8`E{߽9aOxb0Snî--X# 4@M+֨n. R_=>q] ;[+}h5Ll~+jH._nb^_#X);x |7ѤYX/fh5B#7F_/`tKqj$ka%aR/ : ٥mtzl!Ŕ0,a3,u+xvKfkp#K&c { i{ ;ΛIU.-lj6P%x27n q%`M 1Po:4v+!M#e4d-7n:<#g~~h~VnOwCzTwwq,|ĊdJ:>?J'cх "u$_AR ,j ?"oG@Kȓ*FSy< A( -e￉0пllSg(m_m1W{øY]GۚfNVMUG7vVG+cQ깼Qi4S&$c|uɏϕWT͂gYZ66ff6cedc73a8cba71ff4dfb9918ba54d642d983a8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93 34f15badb9a644c12492cc350d37337dd4eb1074 13b49a6fa69f44d1405c577ddd4e80eb8fae64fe 415e37f59b0ddef3de1474c46988485b72167362