SQLite format 3@  . BBh77otableisabelle_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 x!< ]]]HOL-Proofs:threads=6elapsed=601.397cpu=1404.080gc=171.496factor=2.337zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV`tm#:žͼYkt=ڮK"?APtڽ!,[$E3o*s?,JwdxiA68vWtȏmB?$!at)M =b1 di3(K J I5l;V[+Z%:o2h-s*JTw3c;ȟn2m{FVpF,d U\azHsoӠ L A4<',=JBPƠiz5  ! HOL-Proofs k"hљ"rG҈TWsqqjQ?6/ƯA Z2x,qL˩C{8jtcWŇ"~Hrm[bBq;d&P0:B0Vu*2N;n~^_n`˻π n$n k;`!ίSr1lU`!ř(++>ٸc\W,}-\,p8Vj/ ID=,֜xϾGwbvg}(9o+?[&1>8y7y)tJ0T҉ 0_P4R{,AYb0waoNZ SA13c$Sɀ [;,Yf-fCTqc,y@0(z,'zzoQn-2Z(%oJrք8 WݽPB!;qIDRԴAB4F[_j;&Xy~)N0w<o(i^!8iS J$ܧBZXU*-"J ը;P2B풸.w$\dė\R5 b r,aGc}Kh>9ό,/) \"hg\0R^&Nϒx/d1(xc X6 `" 7,'JFaLjȗ ` dn@@(cGՉU&.)< ͒{Ȭ O-/rxM\?wfوP|i,\:h|VA_.AAQ`N-կ>#GSt=jɈ׆5%2GϦK KL>aaF{\4cщ4Q3^[$L@g!Fhg[QpQf,e ;%#Z,r|l@:Iz3Sk慬(;=l =ct [agP/|Vֲ&TFzQIt[YG2$>2-6=9{lx BASMˑ=JB #8 *uЬɩv9ѺpME5" #&!Ԫ֯t L nNi֡lGfP.> V!j⁉PF%:mv7IUO2G1gbBy{| Fv[+>N1 ^7:,UE b~teo> ږ(ŤS\xK wԾpƖ" ,0J%8Ң$}V+2V]~৭E(H>Lr4lY&z]UOdUBFpZ=EX86i 7ZXI{el}HP \sz#JLWgr\uxN![l[9j|'ha#qN"UV)PsXd7L}c,##Q*)-׺8' L^Ӌ[yKfTQUj>lWKrO5 Ł傆{{; }q~*#4lYwђ-/=5n (/>؉uN εƒf 6]ϨQ,-BNa4 -'bA x&uTz G=BizX-5'{q oD ̣1 &dp[6{ ޷{zPS匶DB\WosX)ѲtyhE ЧKl^IΫIv  CW t&r@+iЪn5yx2pضi]'$͊mNaݾ'ۆd| `& " z]N__들qX@D7th,`)U`H\sq >/"r`q@&9iHv&R_뢰 %e,O`Tor>4] m77Θ A7Ȅ;EF\(ޫ5;^$dZqihmoڄ)36nRI8DX.DlUV|xt@)Λ%ߩB ް=9W}ɓgw2d_.DW4j.7x1h;$Ѫ JO9k:yTmRrNO4w!)d${?s,h _}߃Lj԰Vj\s&H6}۴ IU5o#Xt/ZH<92!`~lv>3n )fq2dRV7B9NݩDZJ{Vn) }Oqߤ§Rs2^Y)U dln(_jQc, 6ñ.Pŏ "IZ4{i7:Қ?NzP:]Ā]w\{ a3!,s oCE8@y ,Hr%t.,hyӘBAz 2Y fAa2Mp֒ -EM!!B_=Jarl$b.Pce5 #kyӯb.XI:۔ ZOƞD^Y(OМu'"ui[ַ. |bi\Kҙ'~oD%n-ʇ<۾=İt y'>B^3wuao5<*xHE4 _^UXG-M2fkCh[&H_ (L۩"~jXSwf`0!H?>*`tFV= *T0mor=S GSs;2a]H[;D ^ $嵍?_B@-b,n1̽~| p'ob|08o{{.bkkO*Y;w}d|ùٴޤp2ReM޹\WKA:9vɽY' '$ڷ9B%.!"[ܹf#!M+,%O)r- ɶ%ȡRطqzz9:V]5zo&"hwXdvC*ցϽ W{yIO7дgb< x/s價)ߣ}v||ê_X?,SMO Eoib﨓 'Af6N5a]v[IPhaۮ"&f :`t?_v7L(MYł5O<Зs[mYR ĭAZיn5ANH7\ailrwS(䮅 "6s%X7+hfҸMsD_Ёf-x8 Qt=oF~UdE }yRjh7۸zqOECLafVι(^~>! m\/R u%3 Kq\p|kzcladguG\x$ga0)rmñ&"E Sݸ)TݨrPqRث ʝ89="Fu/kajc_b ):HGQ2ƈ0Q^3 be,23xDE(֫8]8!%kS㻗؈M٨˽DZ*:f!V%jiQ~UM68X&7Ym.I?-^Mç$߶ޙ=̇"g8… UB /ȏLn~"oPsda\1 1[#tLBù,Ƹ#FF\ZpOۮkmN"3d JXՂwԠw$P[}a# :`dcln\z e M գWxflRHo$4J͗Y37GP.Ê?MJ\y܊߷@:dejBf{ w%h2p(6 2xlgYZ7zXZִF! 8p]ŗXi%92DI2|A)4|P:5뒕+XxY,9G!Qk -xg 2bâNB-=rdXǏ΅*SA:P{==, NS<$ xa2c _vOi|BA՗9`ݬfVx\y0A3A&aq6]<SX$L_$p-wuI-Z٭bQ¶ݟ!oVW0Ћeּdf:j X*eT!Ex kQLd$h=5oP$-h_Vܗk4"7l6}Y]Ntްry|z[.'(!Q7_Z3m溃o0)2/wz2uK V, b`">ViK#SOqrkT) ]z}r/R5a akl8NHϝ4g+3nRU2$3AIMgv%e7uwj\: p¢3eg*`^,dݲvDz'\lsˢ- AahxF zR Aޏlc  ]k8tZ"(:>,D*92(A2U E =n s+kEcIk{ۡ;?y;GU[Ȃn4W=] |g[I뛜aL,/YRԥCڴ`/~ɍ LCNbRW '<}0 r[kr$A͟cUzϩ7"<É6 Y$33dwCK A;$ic3lCYwgAv0I+b i:?RLni=:>E8c M }ah'A^Ǿpl J_0CjG+N5zSt`zT0FtQ˅n'bQo3=@6CWKdɂf,0=^Jcˣr.Fc\ŧ'G_)*F:1Wd]U@&Lb q!S!zy-nːᨛV)^w)C ZviE"O{M R3<n ^^gO.ڃ SW>3^&~6,NG"X1Jhj=AnHR{b]{dEPfaۆ~v7c#] 뽈.5NiA=]Qsi1_kj Mc\](n ;WTXh 2AG' O'pLA<{:c|Nj=6LӯP[EPEMk;g'@[X1E1v[%"8}>5-L2)2SIXU^+cf">M\+Ʈ#ؒLh) >$?h*itux2S-!bPl"Ggȗ=Fb%`k^[KzCfR9?Ui $Zle|\gT]ouYd&W}Ѝ^X\kT ^ ,a,訐r)&8m)5'y]-n!D(?`ׄ,>7(Wy=S޶>?%vsdwNB1IR[k6SHm;6:<ܷ6 Fsn<!^?~HfRyAh/Bp^[pk(riz>[{o.xF>:,lP4B4`1cFj>Tڐ '\fLrr~pvTP1稅N=aUV}'?g3-ȏm^"!B2SaƳ%YGuB@rk!D<9n1*=U5Z{=$H{vNn1s"cxKAz%t6ں=v}Ֆca8|0c޼ccGt@h0 ExIܗ?{K;1&0G&[dWLܧ[fDUt r̎=ߐ<)o{!]EYFەsl_‹@w}԰y &V0JpmաJwe/4w4 ]Dzw7I'FOLuasB#C t?hѿ0- ,X_R6PoؓʬؠHaPjq 4.yn'{ ˉ&2QE"XKhDI>&=~Ae.O,'hi"[8X^| %`N]$Ƥ+u3l${3Ӳk_}bNF\!&!ѹ Ȼ{?OyirtѢz;1$Th`] z9jd$0z3HdL{:Zfz9Ys'uݔY1P㶳5vUć[3X B΄r3M U aœ}|0ҮzigK DTR(ckNJFw7h#0 gmģL`;Y0^ \dԠF{y@29q %8vg?> ~kt'xz&gX^x*^9 jB7]+^ɌrۙM(@|}[ ,k/>_NC:?kυS8BO'íz"D'kw+k,9Ti)2P'.L۩L(pߩ%ϧ0HY x 9M(-~on`]Ш=-bƪ*9U<08oPjҸGe2tFǕW[X'ΨpE'~}ws@LÓ| YZcsbZb@sVhUېv9{\1E5D^Xfh ,Lz-|3l| iaCJX҄4iR<QsOX!.o8ym^A|a{,N*l!25VImb 'ݝ? ΘVT/\ڱ;W3+>^P_F{%fb|Kxwq\p U|zf}j?O}7yBUPE"RcSITß8aDˏY<.XAiixw;@1Hx?3%J6$y vB/o(uXYxά"̧k|n~ݲyń{Aʡ;0$)ixP24PzO S!^|M? pUIշDpAzFKzM5+p!%fR=M1Lz?K(`M]I nj:h ՜꿜H)EE=G?7i'|Q*?ǁ$ -u(0wYe >V'#爵|lJ"/ֽʁsY: e5' Yaz [AH6{u2_e_#z \R# |l 3L{ġV鯘 '':X91gA[f3 7Gঔݢ#3.w1' OXf2\lFZŅOZ[0,e1}X<9;ھu P H\86QTޯb@Mnc#Ps>4k€%ᶛٿf@%w2c{M +E 6/ PR|Sm gNQ_4okr A@})C O3f2\ y( {!&2ڛ}>%e˹P}U(yCz; 4wUq7|t%0G'V3ϗ^ۋ^whK^g@Fݨڋ&mM\2'}3M=i#i-@gGF2 QSS6+%,RehP6vs9bS hH(m+']1-M4/ HsSP5jLL s:7V+W$Gvoɨ6)o`5vzaбtQ~Kd!0C7SnlµBqb?ljX-[6d@'urOO~O7RiBw3X\e@ȶe;[iS7:ܜpCt9T 3m|c#fO2(Q9!A/xEEr\C`]^uPbΈw-8$h[8ko,PTg1I>G5_*T>}.ɴRuI}/|$c86,2`y.z:cP;]TFE[܂ WUxb&ZNnSbgzQh͂9BN m-D<] v\@?U- 6:?-uHN _$;?ػ#*G0 {r{ϭ?Um-$f 9ĕ̉%Bqu*KekG֯-z= mAt\miMio'u);7b ƭ_^< G YbwKв9*?,Jcr375'Dg)ס~s%7<ݠP'9bX_dB v{@ɭ>} Szpg +:LFo  vYװQ|pm43heŝu?˟L 6h$,#}p@fQ8_J<M$ &+aaԭL6NwDE%; pWKw)@7: qd'E]"+q@G$'Na[lvd\ݕDM%H)v[,8'i%άrqҾIIЭ& ȉG ]ֺ qճ1(gm'MwѤ=TMie83MW 7QpyD'61 qaG/?QUWl,$_㪔h9%2CT[-\C.P0^!y k8r^<~K[/뮋>J&Iip$DQLI,#W,#GґJVE07J8C61ꗿ(j"n^qߚ7c:(" A@'/?-=f/zv!l!MITIP{h%.J^v%(N4WC lWH+.K3 0~dQ6MO-TBk݄B:mkOMe|"Cw_Ci7aU?mqt%}$ƉQQoDP#L΅LN0$}(Z4Y!4?2=.raͽz qy|"ݰzL. 7 _ S2e{i% B$Anƚ|w3̸W98f^G=X料_n}xI^;Yo]-.1xGN* ݍ$oW~l} G7i] $ڧ;b9jx%&ufZ4)3k`2)6iO] jFP.g%yI믪;t0''dZ Z[p4Ν.Dn^7rhb #dX;fE["Ar_⸐c74 S~VjE[5F@!4(7NL}5 xcdqҢޒ}m.h*I*"4" 1 Ws$2S P=u:wVlb!rkaOm]>ѹ<ޕM0ʎpD6d5Csɢjy)vbqP~xEt+A K׈ͩv% k:ېtUTCte áeR]|%f:[7/~=e L'1rր5yOmE&Z">Am~ =TphS{唎]kvh,[/b+M(\vKdҘe4H]Uet߹ f#%/K91 g ꣨zVva)aC]rQ;5&H%a#hTh9 ?}߸DAviQ,x6-kȑbdQ'BpݣTG{+z.#1G?UMj/vM~L!(p'jwWnn@'}jߓ7B!0rR٦|rNƸ-M:˷DIbxÉfר[% CG;2*<ձ1>Fi|Ȑ26:;~&B8GrMK{S(kceTT?r+=gsFpv>"S?!:yd1iV4szeOd%~,rnÛHMR u/C9)6 9XYSPU_e3^C,Ji<#?SZ|LOFvh㐃,fVM>Լo)(.4%stX9/oumvyLWSnىJ|7ɲd*qڞ0dzzwBimvwރoaNw6>3ށ:aBAMd O??kj2rfj]6&BZHKe0Y%eRqNߗ!w~?IK wu +E_w8vf_gOBZVs^+T( |aU6 &T':RZ~ڔb 6EIbGՇEj!C^o{cr(cϛW`*9HW{s!__`U]H;5O)$yߌF>ƝX8l}i@'d'_LH@'ÈĢnD^pq]3;-"zrsOhx8+VwF+Ytt[:mh fQ/Q%_ Cúm}{pd7L Q+MGn)Ћ1 J?}+Q?OrAwB-7yRNtY`dmf gQ(< qD`x!A~(M'50 K]GPF9C 'HGOx<{|+:۹_!jjJ=~ĕ'nb[<91ea͙ާp[Xsj~W3ѣqwh3EmDEj|YV##&3hZEzm 'PQ 4?ʰPcbKa` />Cazfpmh{\5yw*}>)JiLŊ/΀=7\F~>H5Ƣ1XIZL/v/ j~ \PO-tȢ9AT= FpX\v2&~;}#S0$L]~<(H W}eԢ[refVilr3)1Aٙsy.jc%ӏ~' T!/:K-+5;Ae:J^pf$1f8򚜲fYmś#'[K?+cnDzuk $]6y`, _ _h_PpmCqOC*+t%7ϪDa[^OUr|A*<7%-_V3,hvUl3hS|ې2`9]5qo+M@x={VG,8KRScg肯=,k=, \O5VzqUkI̪eI]Ħ}[Z\OdžɂJ_,{X6mO}l|b/FPA,ɖc) `uq/JZ(@nSG!Vnc֯&21a'ߚ}lf< dvXѳ(*@ӻ"/tlkPWȳ?&j/-c AQ2gM-VKJ2gP/neV=Z,r'NtD:,lHCԗD(^߰R݄7[ k\%TndpQ$5@(qZxoCP`]ăYb5f6?֘W=9翚B5\C ՍaǁjJ=}đ\gЛH+sUFՁt}Fd- `$ K)mˁHp׶̌ `Mk$C=ݱE'M~poZ`.YxZ 24~=(jq#PSYŏo/nKU/(nݯKjɟFCz_sTw.z"O' ;\ @^q`\ `N ;>ֺz@Y$  W&+RK 4It_YNF\Zġ->{_508D>kH~o賸׍fmMh \S|z*dn<݅H Ju֋M iՂZ#)%7`i՛Y+Ow߾vFMxXVb)ɏxDݙ8o_qf&`.[뾐6`MU՟:UC Bc-YRЋw^iL.ːvIۣ4&=DK9f$W,kC*G( о1R:seW$o |.{)C9J53d{{YIg vK'j6_q]@w::lliU{j@&>۳%LC޿8]azx4 {iHc\H_^CUyg#8 'C x9.'K3Imv{lTRoGO3t[S y כw eK&M~ם w*U v BmV)2QNQwhӽ_tNXQuZ-)۝QOv@P-,Ԣ-^ypO%vaD0F<=N;B'Mv”P?&Ɋ: Ó]&Ʒ5me(Vr&H+K& 8cT)8Mw/ fE?v ٴ E h'c2$;Q1|WϤj7t6w@{=HT T6hlܯr״e=Y#~x \Pjs"z1J&+입 \t0؇N;"ma$I"׈?HɩYs[Aubpuߡ#JE"@۩w;)Kvn4^晹~]~1u6T z[6/0DLLyCہ GO,ISbe\K9hբ3o\oO}6;d!o7`j ~#'oVÉixh> oY9I"p?&m G&RR]_ӜVzYBZF~\BPϻ?_UAi O;1VB&k:kՋ-̪ M|.4c}[fkB] ǙX!o敶SA`0I[B}/:7Hstk *:t!Ym=r6I }s=fwd^AH܂qs]m\/԰Gqq44hrOrFѳ)GdœD;lwmXNz)`LXyvYZ"04eɷ=B ə>A(#w~*΢ w :~u ]^" V=i֟!l*+#/^vw珡$+ R)rgqT62ꐶ&r ʴqcdyd(B·\Ś v"ݪ7^kx-v͔ -3^{RE(! !W9춊(ߝTh ԥ?dҠ/WAiGmBHNqZe'/M#T}< JU}(~z!=?7->}4eu>J2z$Jњ8!*eXټ@l!Llԯ?"dY/vqߤ&>ΏAb戴 *Y|]DHGWFmgmy0>PNDA-Hh^Ř"YuKA nֹA!x2w0+G3ĥMIdD/Oh0>cXR]WJ%1^(6ۙ/cϩ0 %i?GW6*"pm׸ə%:xkxsi+DFsMg(˵`I$-|[ N6i. -f_? $6Muxq=-tо:][6Jd75'=pG?_. QN 7`oe[bK^;26Ő}}f"u\ }“/`75g a.=V yU%(*jHwX~Rh ["C쎶HJ/=`rt)b#ϕO0 Ip>oiHy4w&}[EJPʹh`QY8cx[Sk|UeaPiܐg Q:0> B@C&y&Snscc7V$,Nfpd O0%?eG*z;R*c^ 5-⬵ K+UP`Z*hZ\vƁ8m)Ap@ݽC{ ܹC'd\ p K:c#J|^"讂9y- fQhYm.xdY[N\)L⪽iSl 9نK9<%Ͱօg6>/B6lD<5 ~5. UZK`7Xͽ[K^q}aoH*dz nE uN#C?1#%ȫƌ&qU`E5Zƀ_\͎[lm34_0@w  ~^r 1Z6jd RC8.ʓwJ)̟\ЪY,$Ga+a-IA$׬30KG%Ğ[YJq'QKxͷuxul&OaF>Y)+7A͸%Z>ȅ%xw fa;ɇՖ}7zpLgE"(d{ 8^+D,!s-uwhz %dK+oY:Jn= t3i^Xt!`ҵvK/%AKb:~d{Eh?1CH]L Q&~&p0vn OBLb"˵c52 +P{"݅ƋSmCs|~^-g[yZp*9*NKń78zV@q9 .1/׉n1 pVSzY(K%z5Z9٥JߥcKDš# <6)W{^5b״فc T@F\]-m[GITHLgrW^%OwP68}\*}kUN >2թid{J/~[Id/ Jߔ*vAR]M-h& d2 퓬Y'W(>_CRݢ!{ S1Tݔ)RbQc7s)r 1ƊTt Pܳj3hF6jbՁ%aumbűeX"N,<$2##/ E@_ ̬}4R^ՆW\%e ЕK`\0ci9o\Xjf@oЛ؁U5 *Q됳 g ~'d|d5(\v Aj h7q~<%58e:3o$@+wOęRmʶ'ARV*>AdΘ&#Xp1%m@Uދb7KÕ*)N_8$6[E^f= 22=Ȏ|1[ `ăVZWz2NL-d%.Ov!5[76_%ZKDM`;K 5k5#+a[sL׻d5c|=[yIMԊ/1pO}я2w&L7Qh3O |njUF#i *ɰpȓ]0>E!LB3MTd^>jafWc+}%X`e E"++!XKc[)XPC5$:[%~[01=019N#k g.]`bJG#7I9'q93SIg&SZ" dy=&LCQޜtٸ$UTWN@mX^æ2hR& 9oCJ4K#s늼N$j "훉3XAj#A@!wk[vu3]T]wN}^*G5Z %E \W"{B2r($ƎZֵDkq=-!߷_wJJ4mư:וk/ˍr~»AY/fFTj-":۷x] p$ d?̏0(ɹ⚙c&ZQ2NˉU`jqX>7)qd)DFlUic_U+ub9xAHOTI 3ˆHbVH9\axY_ Aj@~nBj3Dmv+u< ; i2o#-Z;U\> x5D bM5VAZjTpµ 9t97g@s.n?Uviw nQqХ13qJ!E>M5q+*gV Ud^nfgՈK5Zb ofK׷SnBtcR"x&ܨVw6kdxdr .1!O!oM.^$Hh& K6e޶DSkm=@_>C{+eL2TLku6Bɥ@?0oeirǓP1`w:`%E΃`8%q y {f^ {aM-Q%׹eW1w3;#[r;LDJQ5c>~b5skqȯ[σ J)d.}6H.Gϥjm!}ۮ='}aydQ On.ؕBWrT]Xȟ΢12-j8ڪ Ysb?(I=_ԛXOjM+oK*;tW`46rk΄LDthɭ9wߴ_~$fxL`E&s TMch[S<@OpӛMXi S T jR'4(<J(v?t*ERtq|9~ L;xzRkx*+ Ŭ *)8A,!qT7s0IK 6ʰo?Q!-2cҪ9ȯ G@T %QiݶG6wh z| K?y>sasϪ8u(V͈$ጘAjCH-tqa<ȿ\cQ`ʴX Su^iY?}ˤ^oƛ vc.`%?`&OmXze XCyL0a,2fF5%90?Sk*$'O^[t]m4|i>KwY/<<0(EZM$FU"Q:"p%`rhNBΫ/.g+#Lġ!wDdW\vC?5ϝWBiTl#j촻laJRM{1)P FIҟBmO`zsXБ[]Y !,+Y9`JFJeTtyIV??Yl-R8t-9]Y䗝j$/ۑFZ'5c]>ܩ,}mZ^GanL:޺J$4Srq:%7%HzV0brp;wMw`9j<ʞQr@}B5-ˤ}⩤:;O&WUv(ëb;?Rn,AB)ΉBʜ ţKl$@X B(=3tvݗ0eo6хԯ*Ż7eN,xufQrr]CV?7G*Y_䓲A.q Z ž:Ք{XDgQz{' )3YK?BAMNNZg/Ys% >dڋY>c2inA"6Kb͠hcbh>Ai#K+!mFH֒BM,k֮h)9F=,2ʁ?1#jP[yvL72XpȆ,݆h`aKxh.{YW`$~U(uv$5peaW/%OwЮ7-Z5lj(F}Dw8<&ӆҦ<].dPtQQz +̠mf)m8}!Bax1 yl b5b\0+E]?Q "X/ ѐΝTi;N/,| $,u)֪=q5jAGK "A2aa0aȷ6l6j!jbܥ\oP'T%(8HRp,uZtk7a0uw4meIUԉܭSgl`uXOqDUڴBz7KjcV,D.g @i:Y^?  [OXMV䦔5^, Gp@f \]$bN3ice66uަ  ]7 e=|CX?PDQÒ?" hy7Z9ah9򇙁 zjSq?U{G'|Iv*H?,h |qrąT9 !=gzʥ>}ec['#Ybj֝-O:`ooV&s2G8L Yg7e^;@;a9z%ҽq#Au$|܆GM"'$t#qf,u^T 9 A c23b*PA.o;M-vt*Ne*o/R@o>(NeNbC.Ӕ)kx7WSjA fߠP=(Vh(]`qeeltl¥&;I %CpX[㮒qNX,,L\5rw LE-Ӈb2(X6k.>_y+ˊ@~p4<0k&;3ֆi~t {V)5$?HSmkq*Q4&vM۳shm:N3 l])[v٬l%~;_b_mvß*>rsZ&N)92`:fxNZlcW'v y>jwHf {gm?8Sb NB;0X7ޒރ`|6iۨzՠ,I[ H- Pre*(>o~{$/e]mZzb쭠‘f\4@J,ivUe+[sp|n"i\MJ7/'ӣ߬Ǫzv/S=@CJBk+Ol͏yMMJe\ ,se45֣hN!T=?; <_IS>:u6⭴ ơ–ފe_ hPR=2MH0,-/]#H&7SJK ŗRr;)!gtQ釾p+epS-tf!T}W=zg!;+WZѳvS>DTkk1WlV?LM&LtKR7HFS%?P!(@GE}o~v6(AFnE\+x!jVo/l*@4W./3hRIwxT ؙhbʽwkoXX!ܢR'!)k ? +J^*U0qTVSRp+q̕L%V1kik~ R.oՄ;Rڛu^&I` /"~N_Srn =.(§fYFCPPҘg< FQd%W˫ 1|vY_vspW 8ࢸ&]+s+<ORS4 =5^ee_՚s󖇛j\6bw?r:~r1`NB?*xtM2y4ɳCD~ `;IBs2V>е/8 [V qqg"e fd#v! DH/W~Z e.~oݽvfY:0}  Uq^Hƶ bch UDvBQ+6;pܟ q\|iwHTlBWuz s$ܷDvčBL>rY>0 ADM3ө1 ;otSB7ě6yb80`(?EUX~HGigؿ.̂! l#'Y&%x*ZNsj<&ϼ D':2wkcSb`~u=h(=2!V9 ]/e NВkHXP.EfqTyǚ$UXD;jFWh7I~cRtQ:U1x2$!.xG1/,Gڛ Z}h+ wjV TQ6\:be쌙Dt]TJݛ!vCiTIw<$tߊT|UK ӏg b$,xSUz2UFO,Y/;pLM4u7q?bHf˒j@nmKE}ylxsk7Ŗ60T͜w;i?-#QcWzpV$Cǯ/c +|QGmu \_S+f^V J:o&w"#o|ImC3a$h[_&x'f{ cw&\Γ,1ޭb̊Vvt^C!Bg)0!!"3 %9Q !$oz-{شfTl}?Uh!4l^ytv`lݻ:>ն!"N] ͂P6"׎ъQ2ay_0uc5"'˝MpH"ɉ2v3t}g'Q" /=G} &c+\,t^1prb5=ޏJe ן