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 K1\ ]% HOL-Decision_Procs:threads=6elapsed=215.847cpu=988.084gc=88.348factor=4.587zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1cz|MpW5 <;H{rC!JEحr Fo<zfUGmf?> sO ҄\{uC o=.g:~.qE,;z62$CnBPܝq ӹr`_ 2rwj 9VU-?K`B>|53b;}uO!Sݕr, x˶IToNЁߝW8d!&΁RK9tGH&\x 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 in ēo(yP@ј oĬ{Svxн^dPf~`k_]dDYKMR 6{) @ B~P c k~n8d*<" 0%&(G_0dScn׏~H ]OTY+@s:kN1pYn *}s3Qۦv'sn+GQ-27n!VCKچqJs_vj7׬ Q>@ NQJ*櫐:q$hh$z  oVQq[΅h;,9B@yKρR<O{MĈ[KR)Um%f#*#L !d0?FyuW̝ԙk˓ƛ3EcA"#;%el|Vo;>@Mn6杊n$,pYx܈V?y٬1MuO`8>R&.RՇvΰ:!-߅c N H% i)7>hh;mJgbU"ۏA]WG`?FֺQA"=cIJx>2=I9T>DMo3PY0]y^:wNA 'jޫũ"CZdȇ+sbDiMˆܻ}#iIKQv@eXz۸f{nN6FgЌWͨIꌦ$ We0cMo^B\L9&#GzgFULc)X]W6py-t3PT/@ X]M 8oǁCB;3AFo͔w/.Y\e6mP"SoSV"Y{Ҋ9<+o0z$|6(f=OvQS1V{-oaE| (ڏtf<=wobh'S7_ fV pHŘt*䲫 / g{;X1i4<5]˵m/Ƹ멪/|jܬ#71Z5NO,M9A>T[@ LQ_wR1FS0 ,d34r?0sSAS$*n88憎J&65ge6XKGJۇʚ9.lADý6$ ;h/ uaqptR.[)nu% aXZ 0 1B0qMq-6)ϡ1`7cjweHv&s/̉ރtǑ wO)\]*k$>iՉZHZaN1UH]aEǕkn)L9,} I5*@R i7I=wiѫ' sGP^4(Mod-Tu:B^.YY>2VX^޵06tnxvێ'[޺An[&׉XZ]%"x.nl_z.ޞ,wdΉj\_E !1XqFޢDI $x ֑u]v`osAmQiLʁ.i7Xs!ԛAЫ/ 3T!ɭ73wR9ևq˱OH2cyF/;j1K{_iug=ϰ"໱6)81yJ}tϐaj@@.ٞM9A'%(V7UXG/Ř#i[ZޒȲ)  Q$(zG I6jLu6j% lQ^cBm0HaQwQ4.&Cc 09*üH)PZI{w3}-yeLkT `aoqd\LC,;/|:Z'-h5!m3UY0= <}%tӂdWإs:U-np <2 8\Ћ5cY)uJk= ++l QfP%vW1 TPtVecQ7b'R"I<'%M;;^+83~?I&[Y:Sb?*xN7}}sha?.>%BKф@CpB }D`]_߼?C ߲Gx~ ;+N(^}|tÆ#"irYT)ήr6xI FBAȜ@έg%i"2"I V@7i2fwb΁$ElH߂4[un.ȣ,ȠWyЀZ9:F'5-yC^SDE*l)>wf[ ,t}2N!!< [܀F=ʕ1@fq̰ 5%D4-@'[m8Ђ›4.fle+%ҿm'q;ݑL7*hecP)t- FaL2[YYFl]Z\ҍcΑV&QC*q'5{}{0]! 7IT^c 2ďl)M`r&J$By(uRȡ%`%4r @:&=vtC~ծ[U=+UB#M?gY ] >oz7s޸䁒!u}e:Fp*'!@Dј_9z^4un3Z7@tEk֋Wx1x:>Fv74hEJll?v\AVM~F|x=23qVb#_ǫ0-G@,TE8GIWq[Km)?a2p3%v&I }$Fh?"0aˮ\Z}D=o5.Ac'[I} _#Sއ5do;|SVA+9#*Fk{K o:d`n;q .c7Ն9eXjgmȳ`8Pj~lWwZFm.%q ocHv-իKVjU끎xY7G^C98tƿJ9魊v,c:q0?VQ36d嘘48+nA[gRZ-_0`(*>muo(mzhAh0]"^SşBQrAv2ڞӀSa ]`VKQ.},q >ja.xt_7tbyE#r'>HU$;нN1l<ٙ-֦՜٫KTVo2wVKRڮ{>4*@y9ب*8OSi Gy{lV_AWCd.`Ͻ0GcuEWwZ"w>ȒP,Me3{v'sOv/btc]c=N$ypNߧ;b6(߸NB$+$gYZ7zXZִF! [&]ŗXiɟ17L? KxlWP8SաM~>fٺd&tknYű};WxU:C:#Ax\ V5fO6(񠷄]Fo3~߬-0ߐ0י+I)_xcÄaOuWy@ux4pZ隉T b%V6aǓzEـ4wa0򊌆Lc10edăU٥ei~b7(j k/qO؈7\jϴCl}Dxt7`W%]}%$`4N gqE`|+KzzŠ? \=>-K\jB"YP:@Zd)[D'ZΒ:7@1c'!Y>m_ U$>M3CtopsgkVh{q%&"ZEsJxju*HܪGF耚 MEoz gYZ7zXZִF! cLH]ŗXi%BU7cՉ-#Z;<0Y ɪelj C70CA6`<_hTn7LG4lue7(|Bm 7V:~ .|4_ 1v >I;_qJm}E*<j6hk"a.d> +wט$\|ZAwwn59H@ K;C#x6Al aɶyz9Q^fzkNM0 E,mTdu-5'e\ _]={#'JAN[O%'>@b?hXĂ̴!Yq.X\?nUN.!ib&r  3.Bh0H$=Zcxގ1Oɛ)d {%Z*XJChjD>nʬȘa :]׸֡z9 2y[y6.NI2ZX,>4<>6׍_*"*va_(SsLPѹ&FmV36vؠ]}-7CjDܪ$A-IkyPYdG*-HHW&*/IVp3zWc( #"s=R̊摤L[6%xM:Kq3<RS[[^;CPaf*k]3Qu#`vʢ\2eCatx=c`sL:|K"7hFP:4(c}6 W4t]ǝH+a.|`ؿM$עK)gH؛$ݨ:%x#߆Oa;0 SA YBFl*.MX VЏH+f;.K6+kjǟOCm >ȅirVܓ^HQRf9>X~)Kx,p b 32LFz4^I/ +ɱVR@f?r]p;HX-%9S8p0"ucm2ް 2!CY\i?ք#? w k{-f2,dؗweMk A+Qh*Yù`0s/U1ΣlOF Mg șknάfEVQ( ȈBb|pZwuZ_zqb[Lc5yE |&DP1$sAg0.r赣OQ0,?@mvFʂxV1IaqoWxA[Ә~` bΰ2SѹUQy4R8'tK{ҊN[7F>Jyrc_Ƣ b$#s䩮lc.mdG~VV'FR;WD oA3Z3{< RJ݈}ȼEyUG叶GhNO+ͯZv17~ѻ)2\vN?m3%3.uY6LrrCeȯF>k6!Uⷑؽ9 V#d5LO¢Vm^"k1fL@ݼRXyYϥUsHri+q@`/꣦!bx4G_}~.^nE$|J vјĀoy\Soq!g?{Gz1Qv#&U8ۨqri%Pr/ <g-yka<\%"RD5Ȏ ,] :i^hbO>78us Xn& jh 9 ~K̛`_뺍k" %c?& ionժx̾"T"fPfXw;p)ۑ$۠Ί^wK nDR C4J[##:32+1}llp$nuǶ?yɽ–xL3.o}}LxL;哜Uh,Sm/S4o1+z<U &w(jhiY YFK}7OLJL&Y$pGƵ Bˬbr=rvj\Qvw 6l&Zf➋dfc@D5ʢn~I% <#+':+GV x-LZ $ ,gVCð*bsv/,:F$Zh hQ*9uL,`Fɕ3//嗪& IOQ$ /J^kBTk+<:|+4PNCw)u4v ƛ0R-GP ~@S@?v/5=H3I/_ INcQw_}u[@NO:.Yw>,HYQf5Mm ZZJ('w9RF`^H9dz"Bg\i)샛E3pgBKRʋ`g.8: R W[uYL:sP*Mpp'ڂ ͇j\DX[A._zV*|@<[z*d8;}ua0"VkTHkhkĖT1 2nWOZZu,B%aD=o.ϓĽ GSNyegzLJ-؍Uu9y>R,c$6>:-˖A}nԶ6mco=ML> K0e _ߐL:c(,|SzJ̦ܽeLoƉeZECRv!1X]H9a'n =,w|pQTNN'T*b8@LBX4IU,TlAʴjo42M^4 )ZBUY^Sޖ U4~Ӫa5In/C׈f^v{{]1 O['3]Zg48kʓ_̷|s?[-Rc{T-dRfoql= EKXL԰Ѣ5>UWEU7sˢǑ;_Yh5 xJpHXe=s{Hj3eMl іu痌8 D4BI*'ǐW@!cO9'awL"?+~s N_1 ZH?]PEJS gsCi.u\U/MR6(ᓬbq Ebc[Okp]G*a&44?Lأb=`@cFg1$(,>n b3爢VX,LUץF]ER,qO$HS2z`3?' AIFZYs`qdAB;*9?,emZxƣuXw~txWN  kT ]*lmb0 yD5{n<5sRXz>y>?W'nxͶEq>W J Z"/}Wϰ{y6pbi(#[;f3Z12~|f"7AE7zԘk衝HYmy cL23.n3[^hMfGm^SG= ܙ\wC9&7 YO]T|\"Gk6l2ڸt` ࠫÇ.hnڟJs]JZ= R0bl&U֖͋R##,[aZ+įյzL~/@tEhCW=Ś ], ]|9γ9T~uM?!+QkcsIէTVs.{"{74B rѿh^^ e|VL1~Mo&LS_8]O96$(7 rkK&rD7\GW1ӿI8d{,\S W/ 8y>m Ul%C(WD293i[t D;:hj?BNv% Lk췽{Bݟ`j_qe nQgǣx &I4aXh<`8@q+}nv6%$v9Wfr!3o\^7:{M( A?b/>P̒pʵ~Y?ߦ7vi-ykWc/ζfWx^+t[Iɋ}3g]jv5;Z"-<q#=e: -cvX_5rEا?}hƒ#HZCeIO``_ ,S^b67dmLh mר^;Yo-L'2H1~A,$vo|E^ŒGܩ[g~Uk?L+_W=j[ ?^RT onQ~%F@N6{'U I_60˅Jp&D-:qV_m2C7=}S3֬Z"  "3wYoZ=_`&Lw2dp(S?btG;Nvl"\wr$گ5zrCU*p0=tqPyzmĸFݓb÷8~> b_Pf-7S0t>uK֪֊Bqr7 , Q9ZgɦY?j-pKb{Bg >SHf~0曊"-ESF_\p #N"MT bC2˪)MGѮuĦ["_7ACxn 윀+ S+m O fѱmr;72L\RAD `HISEG U6nkW|rX=;ZV0]I+vW0)mN?^Vdh1+%׵?(x VfoA? ^N&&l ?Ijz)|e=*4vq;G]Dh؉CvW@SUQJ#vf$V{_+XK[8p07i›k3>1K|u_u #0O( 0ȩA!HT N@EH.^l_ zo#;["0sX=9;,G f)/(ݣ.~TIpI J9Q5Yf@FO~W9uŎecbkH& ;s}ՆG9ۦft5}+/>ӓOS-vW "L_|mTz`U:khLlN},WyW(}HpBa6{;" c8SGGQJ_^U^8~ zN~rǁu%t8"$fE,ً3C(g飼 fCJL==<>}4Մf;ǐSfKemd>~_DZi1'x!J̦%n3WpIG 2/t L[P)gW\hWGċ#rBǝR)? &c;|9N7- ȵC_SsS夾ELFBs#[. ɗ^`v@+R/,ifREݛ& -*xXMKZa'=nXiXG^]&Ruq%onc@@=e #9H (P0}jFPF"7X; :Ïצ?Nxj$6SnJQ`1iZpc M虠1Bv%\` 1C2| 28At_(2ѕ\&nN&tgbXb3AJϽPʅPeİ;H%TwF_Ka[/ĜӔvnw65m?M|\XaD6;2L Cq/@?\PI !A_xhzyaL,̙uwXo&[WNj1y a]9G=G]\HvN?sↈUF^2HWp@dWF%%2RNYx&MMiBpPjjQ HC6 `gip1޻%BmKZ7Qs(v-us$b 6JX=%_~ߌS:2eU6z Gί3dGq09\Ϟi_TKvϐXS g8Z*HRJɄ1Vz^uvA Lye&Z4 t\&x5gڅ;bha e @z7'(o~Xñ ,y=KVUj VZ3JmX`8Z@6qcQ}} ,d7<<.D;jJQ9Czߝ CQ`琬rJ5?.(璏ۜ<vSo͘C]O4FmN?y響9BҪ_rp506$g~/cW*Ef{y(@>_1u faYU^xa-¦?`"A."xMD=P驰DO6ÑV9t`\%/Z+)]ޛjȯjs@lb$H6kaݡvZ$Bnx.3Tc~pH[մWȏZ:6]79UIer G285Kڀgև OH8k`w_+^C=)eAQseaiF_|_2tT/Y7;$C-IZt ވZ*sگӢщ;g4Ѹ5" QYӑ9_XiP*pw2*sS:JeY/(aX` CF jO}}Ĺ &,muSI3Z ]n\%AB*5/bR_ ,xNZ3Foeۺkd7гK+yTo9y&BgwgUBl\EqH{ٸz9DeɈdĐ:}>T*C}m}&ݖ&Kj[r`뻯9Eʃzu>?z5(*s꒞)gx+ '[7W'QRVNyOY<1 H )Nt g@ ~/F2v3-&Қ8nA\꒵ Mڐ+I n'6VYG 5`Wd4Y.\2+O#}›_fWW_Dk``Ny:&6Gjz TӸ $tOr f{nQ?/à D 1IA{g&u\<-ϠDW#߼~r.T*.8gk,moԄ@-rwgt `e Y2!./3 4:5^7zB J2MV}á`I8@8kVݙy\踋dt ݚ뿖^'naSAS6MzPc^jkVdFŲ5 nWϡdT{M -A؝Xrؗs`p՗2!^ђS#اHANzpe_Js7| ϾcT>_%;޶)[%@ LoGJD@pȁ Z`=f062dS]bZDw^S$XnƄPA" @sWRwlhY{hkp׿$m} pS57X$BQO`pݔ3WllBXjyⴃHalo霫4]ie4JfWR;jYguYdUnITxT6yᔽwcq􌲡htShKkb G쾝OQA/ [Vc˚g{ Ǒl= {Ñ_~RE*U׊>_/**l7{ڹKi~${m/ׯ ^W!ogROL'0"{9L_, v$գ{}iL7 niGٗ9`J'=S9'Ev$Ҕ|@fⅬmB#+z^5VN].{KJ\焘`|\K)DcI 7ʱ&  hm֫j5Ŏ)Omi+]y;oCvMBiJ7pM;"s; Tf`c7^6(ƻL;Fu$&#o>/ +ܒ^v6cEڻjwP]V c4;,jwBAzP2 %{'JO5D.5SK/BK%-b^呾&xa_@$~ן>MtoCUm EU8{QWPk cBX)6Hb f V DVg*āaȑOiXW*yjX+_[*:s`!yS֫&jsQRF<"Ze*Ѧݙ?,ևo$vo$k6pdx~MPs 7T\N^$DB,?JX$6G=\&!5 ׫D3$)T*BR"&i(p.cNkYdA܂]KԱk]O_J=?_:WiX6C_D ~[1Kߗ{gSOX? %)q%'YYՃZ=29jLKb0,9zy|'۔N߱]wB0;@ A BOW@}(MF uZ;>1M>gQ6)(3!=]Jrһޡ[d`-c1sw qY2G =pn^Eh_0a#wH-ԖQMke0h0ǝ`vߡ.}jݵZjEXHЂcϡ"iP 9BnA #G߱MY"v&dP|{h^E `R2# &0eњyk?%9ׂ)<;7H'X]fgmGdGU.0ÖF2Ĥ-ln)Om8p(x Ɛ^:-E,HK:Fic!!| "&5tLJzrTT( qV脑x7ۓy:jpDG ]sN{k(;1&l}Y$.FQ%@W2 dՒ2meRQO~Tf:+T7pk$lyP+dD5~Nƣ^,g>/p T$!Jl֢ 0G%Oqݍ2#q)@+Ev79ru#aq;R }ہyV.a;Eq`eI6wl"cNB=b!צ.Q++NF5 W(ga0Bn^iŢ8Kp3 U dYJ -_ML_C Oab2)XaXϲ4jD!]R[lW5H@Xd 9ԲvU8|# mtU/EUqמ!WJAQ:'xh,8g.qEDF%a@ wvckV{=Y |?Elqad/CeF{=\Ή!Xr]8R rwF@#6:wr"Ŏ&GgF_a)̝dxަ$y^6q\cUSo}A^a@Yy[$=AoK7LZ{_z)"0`cɥQ,khe׵ŬJPPoYCmt ~hI|d1Ku]S_Yޅ:)0ǗyrJ;`F=;%ԠaD 9O$L8HkHZt[ @ e 'arGx2j~%Pma-Ζh:ٵfu_,F= ͟Ux~k}3Dok9MJ7~i}yS>NOňxIpLe}y[fPYVst>YSZB+vŌR*_$l7Wh)G5ߝ,UgQ06!ĆvX:KK8"[>)Fܢ$^yݨb##BjX6GwjH.-\)'j48-,“@~-]t3F;- BZh/.*!n[س>VmP=;tDZ._ҬF6ٹZfS Ci 6tƢsby /ݹ ;/Y |3RkKxӳ,ēB@A?H5S1 DM"()ډgX"d0h`_FS|r£4w:'uzTcp#E]h;)bg1HRMOrȁW-}f3Қ" &34)Fb[EĀb[wY8ʊ\aD@(Q+BZ218> +R %o5QX3&md_pT*#Z{Rc۟w% TK'@kYB *zx{F&nZL!W_UH%§+Ea/ VV'Ӊx]R9rHR]0oRD۫sď")XT |!ƳK#ԮMB9Y[ҳnL|`AGcXчca7fO874$}$t{&غG%' i,e,Qʺq#_k5ӑ}w"[-Ý^[ NysD ?`S5g@߂'ݺ, >ti96e|!5wv<5۲j>,Kr1ȮiU=iro|X(xz8@Po W6ҽ \{U!ͱA`c$Fr&M^ se\JEf)~XMd|3d-}&Rݹ%z>p-κzI/_G*Pqm5깠WL\C,bg4m.Y=[̯dFֳI| g>*՝Ȟ+hă JB둈QkR9Fi`ӡre ,ڋq=X(LɻEy|Ýf{P;nX-S837*{X_8 "$INc󢿒׉Ȃx a7RCa,‰_B\]2GO''=QrBG@-XG֫nX$ں,.ύ#Rk( [%,7':sRi<曐5TdVO/ ' { ZO>m\zv,gv60[#V?Ye( +t8K3K]i:N]@pyatxRg| [H!pS^п]D_ l}O4P[ӥRz}#9`؃: eIsW}PO #Ͱm.b麩::Q,Jxٱ9-71sB|f?^NKo;N\u0$%Vs@`/ܯ,L𴈮99Gu4xeA}XBFEI?p}%_dX9zVt2:?<YxRc'٩%dݏ@\N^nT`|R Â݊])tC6Z\嬊>:o|a۾A^c*cHҨj ttmÛ,0n@Qf?]F#Ҏq.`{0ּC4y^sR eva 'JU8FP;|D̕h<>+a :a7zD%soL$vY6-!~$gHugEcQ8bO "yvWY_:Jx_]U yE⩊ivL-"xwYM)R,> _lA X2wW~].)7h"rAnq;f5D↪b"y{b 6N| ;QRƸr+txX2jUYN_)SYꕎUIMN/@N< nˮ6%_@ 0QzWJd_n#6Rds]ͪ}{pYգ̴,8';t5n@c4^(_81KULSCKj?`ͺDskÕ@m@DyѷL[۩nq#ؘi[^Ӂxfsω=-*{JGv+ LrI\)r7GYB0<މRtşoZzu҈ , Zѐoe(gYZd6cd1accd1e21136bedd482f81d83fde31b5862e3ec2aed6e56052c24ce5cac914b0579704df917b 463e1b5d04f25a3da6ccab4b394f1a960d47251b b75140eaddb22ffd906dee0374b7b79ced3a3e38 97d1408f056a36a863614e4c0dd4b25a6a73f760 fb1d9bb504d67ae202c7df4eef2003d9ec6a0be4