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 E1$ld ]% HOL-Decision_Procs:threads=6elapsed=220.145cpu=1049.304gc=108.040factor=4.777zXZִF! 4K]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ї,+J6/mnTV'AW0C/T̅{.D*+B{r?% v`^J9,r=Rbnmǭ sf#? /Y'BZ%7E(\ek$=Ba 'r(>fZB' Ãc"aI{Ӥ7 InB<+ր *$a 4l[ׄӦC{8od:*f;Ql3B 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 i%25JʶD`n@ D9~ ;3HEp쾈 ӏD0Ń3Dk 88Բ94[+D/ɤ&{$p\g'ِKqlLC_lD@#LjthmTImBXoX^:!'Y8zTǸ.q="9қ'6\t^r06Ug&KƹOKI!TP&ɉ)?8d+!(Ԅc\xY(ҍ// |D3U QKpv!Q =ƑNCCO)Xr.k2dûM~1#Iu` ݁}s6RE (sxXMŊDOCyx S}sPGM78}Vsb#eX&NGB%L,$1B3JiOa-sj2kKgd': lhG* ِeM[</SlRUc{[S1h ؆]g^:FMdR47i.@|:%mKqv1GLχaصo^v 5)b\!jrG y{.`)جT6.)'D~jy%61@y%Qq&8E\X G rU{jhOGe!#4D%Fhqd#Tg|{֕]ɒH4f1k[1R9,Gˊnq;{͕/NM qӭKe) V?LUR\gƈEh.s6rROS-Fݎ!-Z ^%鞗z^l."`XzބƉjVq "7u)G5 #f;!ɐp.rZ}d^g̣p(S4f ^#qị{]))cYzx%Z7Rղ΃y*%h3>U廹) )*"Z4hVžJ e9fX e_Qc4跁A{dE͏ s6r"q[QĻVv㔘NmY{u aO[>.zd +G`c@#D;9%Q^?/r3k=Ren%܂\Aa?7מ[:^R/~# ve)N0>V_%KZ*arʪxZ~%`_AV06%_:ƛB=zI_<"5`<6cf앻e!,xvq.^|bv%7tg)Y)+M0Ν2(?pעB6%]ol_ Ĕ)E_kp}(V^gC{qy͵THDE=KNR(7YOPʀ0J ^K?ۉ8iq6f" ,rSRn{߁4=g]k%\&K ]U=Vӆ{nW2fp :azv "/G& $t,bک8,/ BS\߷Ul.Qժ;|M$UTY0'Iޥt)(:5l. !e̘ZE:焥BfغWo2r㑧6SՔ*2=*r:ܹzjԇWwj{xB=da0 ֡ooL%2u'XZ֥z=plpEi+ 98&$M􁺊nvࡪd1$Oqhp˺OpS=VUVap]Z10Rh sVKǚ.c_b~>H531=F[7Gpw;trH(m.LPD|}cѠm:u"c-؊Jdbـ2 U 0ݾjNj׌-7\wA̹;K<.-6"[0DJAF Vkp4ϳydIg?Pk).}˫ȟ2>(v[:0ٸ8>m`,\ހ]O]9M r8,ހ8,[ϧgBMAN6"1QR4mێ"V3[۰\ wNUx1ws(ڮ6hM#t:Şдd: J[OtZpsN"0.Y nhšXH/]U 8"8?R⋜۩{UܹOy>J8eJs [9J|\nI~M"ٗQ2Z# V.;-v{iQPGU$탠1VBF5YAYP*lm@I[t:= x-D&^eІ$DѮC~ [ _7Ww.a1Ѕ!p+0L뱂k4abk-nVްm`2򈾽09_%12_=B6E ̪C×}Jq;tnɼ~),_r?+Zce/i2L4? ulv F $v7֦UcJ {^`0ZC/=_ԝ"d3$pd.8gZֈ@dq5aݑ8Xr-@F.VDlyMm1CyuR<1.-\Z^m@3[t]!Z[vf{@h|~h*}pׁ7ޛ\|,ֵ^E&?^U~'vKq05 # ] ؘldvk hy8Ҁ)3=O;JyXZ{߾ʪAEmVK l^\2PG#ci|^uvQ.X &-w7oA6~Cr(͠IdBGT8/0YðB#"OQi$XtˆS*$ASՁ*LC'CoH0W<\5k.yd%Et_;8Xx֨3ͭu?8 Oa^{' tnRzg#${҇ӢTՠzg yh7ț~$L@ڬ BcNNؓGp&jj8tY_z ,1NӴO9Gn(i;dؘ.?w< NimE$VdRɈfٺdO^_rss,]Fu9-rԟ@̔@ SLڐ%b*޲\…U&=CI9Vc|M&fc`:(0kH2 $[vO%4CWQ:zeO]ы3t@*p%84SM8D_Mک=,p_g2);Hw)Bc9J|h)b͞J.qݕ5vr$ͤTv ND׋I# okldʭfY N'|{Lfq;u81ѣUj|Rmh& |oOyS`d=YFuZ)5w|yuה8&pKfh!梴^l\Vsw^|)2ԁ3)O<|x X1{du(K)^d>nz3MC Jئh fFyXgYZ7zXZִF! ^!F)]ŗXi%J YHՒB %{)mzGe|OKI3 Ԩi@AtA 0N҇㻬fгP$N߈G*(}v wuYާ3kb[=``D=0Q~?PY)u%?Yw}5Ppz#~6oɴfL:ӎut jGڽShG&0'@i`;Jb zH їZ_7*>`:.h&Amܛ8oVLa݈vlt@{nQOI[ѽι6-+%J^G($Pnl(h:,`c Ü(g#$Y~q#4əQb/!?ޘ랪hkfPߕIƙv2UpDwR.˛ ͲwwPD y7Z`B"%:l,Me'wӹVSRhpga<3hEH=RM;&ZC)m7h@Zu 1m%RVX})[/'zJzDY< G> ! C1?Ҫaܵ^8ڨ >gjQòr;F `[:؎R6ϛ02Wا6) w]oqh!.5wrizYiC`[e(X(=}}m'bW9"(CCOug 93\޷w@Qu7ζZݬ15Ib!r!q&ſ{>~ Jz?aǎb+)-z~,!rV_u)[V`E")q+L"%!1pY{$咙Fö_nI(m%3$ ]qԝWQ ? / 9cR$#`n6'Gm-BFQSpTs+)>v&b™XnZ̠~ Em[= @RNV g06ˑ;T)+l%zM^#J9חJk(8{ ^+:V!_ܯGݨ.Y2bH{TK|]a} >1qb8/NI3$t{~aAˁĨ|W%.}u,Ζ 1P_:_ܶAdiL_e,p}CTؘFe܃3*{sH:6uTOdV!qzGD.E&7cGTL,l/aصc6(x(m@ I^O|~Ɔ;*}o5ACğ?͎4I3}-> t y)QFGDB< ůY_DEXNɰʇ+9j*BBF:i>rzc%SJN2rc% bwwM덷V2YW^X(}90= O>c&;lH3U>puFuF;1Xk։Tڼh;K/Kg%\C<̒s)`3]w5Xq^Ggi}"(^Ǖ` CŒRf a%9xxt 䱞t:lz,C::R&b\Xq9Jk]y0Z5w?mE/g5W*=7zaI^ΐ/̆⭩qBlڳg a{g?ޢ nrXR,Qrr@BЮ4$78%QPHBOuMBR.aSŵ ^ B8=W)J $&(Gѕ^@/`;K}<(y[on0^ËzMRmE}亴YM J~Ѥ3o0I:NjfwZwx!FAxV[Z#R`;, ߵ%E>oBѾ 3qǪUXLU߮xsd=<57q%wʝ>TF&EM*0Nw>\ekt\c.CNZxlˆ~X/U`B,,o pS=g2v4}Mm!$'CJQĿjEޒOxB8 \lAQ8QFX'1ReYђ !}1UGfcM%% |JwLSo6 +&0gl!jtgr5ԋGRKqp43x|7hJ:FGМ}1@9>Z'>. q􀏑p理~2$$'8 #wr3OCq.UT'Eyh&G%aoZ|IxMB6 yOe~4 KR4 <׮W,Tw0(wv'ߠD3u"QgM+@p%SgX'zsեوuߙw$_) KYEEOռj *֬N 9y5S3vPi{OV8 .Gۃ|'.R9OiyOòYMIM _D b!y67qrï0=MaDӵ$Rή!Bk͌.Ӥl" i ǽnm@&ZWE[uX㹛-!ONwM {-[RI Mr8Ԧ{2Uv,Hv CeT8(?&fXF)pו?Wq0A=rzRwgC;h[ѻS"j~|?vB#bFD%\P/)\z4TJ)#.ّrj걱N?k+[oqfڎ,.Ű?]d]=G8ph^&ڪm0$wG0rL9}%˸ p@Ƿ5A[9xni_j֘m ٽNw<{*Ն潰HfE><4҉j;ϸ4CraPL>/=rpHf>5wD=Ed;U6U6Ӥ#9fj kATˮC^n RP5*ͳjwg$8:)K(!`lb>QXإ!eyp^V|Au*xa HRk(3c;(#*zBKMlwKU*Oq%0Ǘ4w!AJ<7޲ KTh#z5` 9ij{)_|\u@P;J^[b}0oK.9-T\k$T6! t'9y\ӝt~ir]醒ȌљXUmOo\9 h9:ʹ_Jܑ,jl;ߵ\zY!Ŀ9U!;~Tb#zʃ,S!ϱy߃\*Ju@xX jAV Em㐾3+I%(}9E0 [ʃ=E"O2.2-Y=/ :Ƕl9jw< dŀp*(@JU*a|{#tG8JR]AYјF:8vVQC}QUCR`|=+r~XwJüX:9'<^{bT#0^u7kZkw߇xH#!9 +-'qMزwx4F-\>gIB7c)yf+ݜ!i@S壖'*IZzl 8B/-S|moE#|D=HcέƱMfL& Nƶ>glSH+q _ ߞQ)h L:mhԠg~n &ݯޥӹ=X` N\Ů E WlxK{F1@|Z wԛE7)oMIlx&"4qkȚc<\55 /˖yQru8`;b]hI,k΋ΏQ'h%<'HkY(]߶@r3^?7tx f`m ?++[.!,>FiLZa۴gS "zg%][sӶݺ" "@iޭ=[% K2bm!Smlc'"/iBv I9.)R ʅrD拏".lr ~sg.eɸ7яy4M 5Ά P&ҍi.wA}zwIf Gʇ!mLO*۠Jcr+7zf6XK7 <.sI0^s(uBIDidxߪcJ9.,>.j`(whvQ4h*a)I F59J}]v s:ixͅcUz{szOC[sr*L d cQ9ڙ1Hl^*Qw@a9vlOܭf >0SƅM`HBUh7&NjdzihY%_,\ Iv&?,^eZ ?;rfB.pxA*Ck=˦$E{jO^VR6419^4S0[)` raQ4_-푟k2K; a|;W!w'xe |)㲄0q5J .\vAUP?&?§GU|uM9w)ړsxJiv 4QyNu5>S8_x>DQt ۔v4uxۮ}oPH[يLYX zeqDPofh!Y;g{Mz%T*uW_D!!`o(zu@\/+X"@ҍ|X 4dA'A%X Ñ"ʳE ^ojF+甩Wi44n3xP [O^s2}}_\o#ep*Dv1`isoB} 6yEOl}`I4ҵ@6c)T6H&&\."[m]^=k8,SݱjbwwxHN4' 8EǟvO)Kz>4 \-Aڤ=(ddt0~2jB>YuЎRj{wzQdF$c}XQB!.B/dtlٜlNW9} ^ nȍ yJgdPi$9K2.`|bLAOK5&(՝՚x+J~X-XqdgLZ4y uU25KtW;ǽk 'L bp74&ްF@b҉GKhzL\$ .wd/Etgy8I e}d,,5_~q3\Ʃ]t](TYh2h FCcĄU.M9/Jۦ:*,Q ra %d{1IxtBҏm<4řx/&ƭ94|9SMcLK| K9zX'g~7X8,T}*|mM]ϖ,3h[PJ|*E[~Se ]\h *Y,wux\@O V{#>s`Bʬ#e7ޜ6fz [oйaJu6.;Za*}[C5)cn&Gi>&+~MKwuo%[༶6P;=U(RP[.)~s^P. ԠvtUSKoOX?n=EA`OJf'rHOÛR C͔$Ӿ.֟1fUINz}f q6vtۏ`skƴf9ܕ0C=rfv) ?dG0~_5 3؍v謗\$/I<6:ZӞKY#unZXbأAxLU۫|ה.^l=C~^Ւ_F1 v A+!ǶQv+L0K*Ǻ|R o j9UpuQa,T,ײg1rMSXtJ^ʝ 9h\AZt-JR(FX|tS =_ԡ_`VuNTYn?J[I:eJQH\L>7; bu,=/u K-άmK@wi mlψdJ f>/qG({]rSU8 XgמW7;'9H_!7\7P(}`-A$@#tᒥYU)|#:@U[p]e:[Z }B"tgMRㅇz#dL171dW@~<3x4[)p+І׈QS.`4)Ep~f~',C)e 5'kx Tᅢ ӂ5oYV= |Xζldfc.a脗5d6?@slj`,Ѫ|z4v=oG:%EѓT^XZBb0,Qy9 Ha綕r~= ڟ;oCTʋ?U⹿3ü}& HPOMeްc$yuP ߵbDb~kKi{PT]*}a -S|tW҄dd>p҂a?Y.]nM|xqa|6 l\@4]K4R#cgdB O&iV;zav`~tzD,PDbaQp' >H71E=W CWB, 4C.Zj)T5PD%IKrS̍OT'}M0fCk Bj==Ͼfm#J&GnCHğx;n'F^?s {L@!pa+S˕Li1o =3ⵡClzңC*7jvX‹шđv́xbtmsg,jN[ aF&3_·P/}'myĎj l䑥 "hri?tvEs t^e_S}B7,j &t弝¥ǃ TxtK^ąĹ5N˷EnHkK^ ;L#᳷#Fk*\ˉ1l#f"Qz<M,EUOR,ڜ+NslM…8 بhwjN < l># #I)-c-I[_&kl} 0woo.a<ȫrRjP+4@"[I:?\ `=},?9gfrz5R P_+bᴚ޻dYJ~Y9Hh("aG-]ɓ31ˉ&#1Nk- ꠵d`g:goN:oy"0 ePܳ2:$KEL.! =0(VlVNnj+3],|tW;o~ p$zJ&I`CW͍Kx Ob.%Lw6%Z&Rot-4eѱ1Nl֢>ZS{ ukMy,< ΙduJ)O{L(VT| 0yd% zX*}{%L!`晞pQ#orDPPle,j:ӷ1L4 }o!3K)S>In]R(] Ps&ũňX$MQҽ*q  d 9|IkO=kƽ#T9[jѩ3iG#4Lx_WC|PђDG9'?S3#< }g|OEc,}z逓5}]e=8HIaj`<9qZv*GL/&@[^ ֈI1vS7y! {=y-eq>i(غqCEFU/ ]2-:'l bu*2+:.W mH$I,]޺tqm$kiKS++vh"XfU7+Ϧϼ8(e8Oƫ; +Nvh Ho'os^+ƞlvx"z@ȀOK :E 'c8joZPBިAy|QGU"w{xݹ Pm#@{~1K[.g6Âzs 5.8QRUd(Tcb8_4 iSIPx;%(S4|@%rNԞ,,"qSgw.T>NblvS]RkRigS+y@2V0f FfYDtɗ]m-fjKTWEi3ze} !چ)BDXh 5DT2D}["d(?|Oh#E7Jr@#)m?`-\2ZKCn<ZnKߠKfpk[p?Đu$ٗ0^P2"f$( ٻ׏*p d?P u\P.! &+DHh M~d;.q&Uw9h;NnĤ*އ0fJq@N_hjd'JBY_8"Wٗ~soܿځR/֬>jC}sxL3?2X#FjlTsJHcF`6=3jӼv+!ɍI}B6 w$m+m" %QS&i/ r`xH C3K9S^ QYA\]JX: *:V'  a.zcHY=rri:r1?WA04n LYV~q#v#SWT6L'm͜4zda:w>!X]Ze 4kPˡme(ް&+vf9MGto^zPHBTQҏ!M%絁#Q l|ؑ'y7C9KXK ]|&,ZYfsm.}5~U@\tq.Cv9.k[i* Ma_KG.ʆb Xi@9ΚX^2WS5 ŀz( GK}X'G B8G]6؟#uE i.Y\Ix5f>pp|/ ёcp*U8C̛.珻 KIZ[;("2=aJ$ P@Vpvn'*杖+IPÙ}]ڲw*P[w<U9'E~_  mJ]?Y 3A[ źE s@Ch@183Ꮳ,Nڼ]Úǜ|7z@ ΄c3f[Q]@)[k}wu6vEpX?T*ZIX{7=ˢW^;v=,M78: ä~xMSjj~ƪO FӃgHZVs'p*? 3Q4ʓ)y]4/U +8ҧ*jc+vP/ͥ<{8c%L<ۃF2S$L Q7T /=>K fn#D5* ٷLTF=<Zf…C{HFb޾uw^j.㹆7yi ͙3;sIpq䘙1ĒӚD@I>@^"lj8&/ O4XH|E)ՀÓДH$zHߡ;z Ǐ["~ ؠNɍ#"o6#m.6z~v29Z2)<>ew )_˲S];1*4ZNH!&(UiȮLob')At3Fjd!|o<]FMc_Hٷ.@"`VѻlxV?X<ҡBO)dO5@BHoHvm6F aSZ ^ڐرi [ʞ"-jCFhEBst%f9;<&EUvs~Q("zh%B{m'5> PD|-#2'tr[˵\!V 1?^T␇;D5K7$6QÌTv"}yXe Vq½@CNO*l`X3ERZǷ9 M5~#SFXfTpN͈>Ͱ Z ]{$ѡe]6JYO\c,t]|@y&9IeCEZ+غlgdq9byr2-xd)ba[IxsW=٩d0cE&%`޲ڃŁ7W³daN| H7sY%@9?qtB|2)_%}D{Ɔ٠q]Xů 7@JMg, !T~Ruu\hD?F˕q7^Rchۂ5I!%\ ,\\cf!syNs'<,% :'/NL.kx&؆tL/Ks\^xăe-s̵pe/!^a6J ďS7 kk$_:j:Rܨ;sBPn[ CGfpVsy'(L-oC(mcUK 7 E3fCJu!I<|e-]v#E$C'w& xe&5@#٢it0ޗILqpw*o"[c-vI(i#CQ'fL^ƚ#1^'8W`>U3am'gm}%5"/V#zxZaY;>2|3-UyDh g~f_Ҧxa x@ 6\jzLzsE_P4+g+ßN`JVn<7z2+$V:m4 ԣ_BY_A La !R}I |(FhWU8fBP\ԮCDh2̈L9 j5/Z1Fe`Z챸qQlb{&n-:^)=`ZMtK񦗇R 3JĦp=Q#fs P}[wZ80ιtض33FWDOFyL>Q_ Y:Eobm*p 7434Gn zMiB%,fFDk=ɓ9J MgJ  ʫu{zBA|_1:v !" hի!dbbj0 h{0Jg0[Z\fkw ~˭)@_C!ze \%ѼsыfK8*CLU3;Nmxf|v311l ;A@y C. $# >r.69%5ZԤT<Ѻ> *\~YJje6_ nO&Mo`0Fs}W";і5{:!ThVL5)]7B;67CBvyl q\aiW /S8X`jt&]^5!?zKUj +Ww燻l3Ye*LγKV֔hhP}$j־:.__džKxhoT )YF&);`+΍ "QES=lpJ_3[Fڃz;ow1Chro)Wq^Y:Q~mO2jF7*>X'[6oAي^|Q9O&hn? ٿ+_q-4)+̙8Y3ClI :x2xg~($iA~`dߍu),nbd 뮁sb% }IL,Ƙ5Ōd)涱gYZ5b8893454073d10165b14ad0c698da4c7e418118f0e41e8906fc3822e07e67496b53881453c8efc4 8cdd60cef878eaae282636d39dc13f1b1a7fdd02 92250eaa20372918515a2ab7aeba71bd399d2360 c009be7f045c2decbf0c536eb23a8c9de4997427 40ad0ef1f8b070ec60a152c6ef42ee44af387d2b