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 ,,(%lD< ]/]HOL-Analysis:threads=6elapsed=280.946cpu=1233.568gc=85.624factor=4.397zXZִF! [@0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBI`"r8.hsP-G'Y(1aO}ĢG[&4l~5}Akb '-u yҵʎ EIÏʅyImpX .DZQ hxLn3>lG3ϋ r劋 o pG9tbsdTg7=58:.S[֖?qkȸ[[C6ر9>=oYTi9?iQ`$`2T1~5f'/%DfiT-yg"l4s5haaDYcY]۔oђ֩hbA?|w?_=y eK!& |'ZչG@<~~\ TBD26qWUQIK_'cO,,s:γ'J5m^xɁd^8;O0!) t7;]8@rRJ,wh4vLaϐl ^܌rssN+x'ũ6$;4QCG/tkV+ڤ_@Jц R;KCDȏE~Snٽ"A?kK%>EWIuʱ\>=7eLe 8& `CTOMz_ʩt]O '1ڵU\u{&"o \O;O2dT/HnADu><3~<@kC샑 !U]VJ=kI!?D Iԥx_Nʍ=o ֍{؁7W.a6Z!] 78V]qMg @0lL[*P o~)SE֣'q}bq!/ČAza~*+5T.x=hۊHS~!uY?n9#_quY^?9S 7IK(kkZN)F̆bKюs,Y7Mr VwODŽaeb''Õ<.|<&0'ܬ,Y"j8WrY-^R%Gwƞ2k-뵔ANtjw3I~J-8KH S%+ 3wSDjܐܫLVꆁk`rTJw|w1d(}W5fg{*VPRjH$(sU3'5e*A_U:DՋϘOJI9.*Tϸ`Qo A??`%?3zaTC(8N˪,laN w.aX|L/217Xv"BkSjPTIHS7#XS_E^:헍0AP^hH%Nkg-YJ` l C4BI}RUBG իm`[xb"6倘ίQmա:^V /a [B!X)ȳԅT"ogN>7W8(jQ5I ?&ݛC 9+u|(*VΔ#<w^ˆ3YW._똡Rtkkzz٭ "gő-C?.mv9uz=?//;o-\$ה35ϔQR,ұ;"d$^0PXF.om|G0l#g0E[`fGynӫ]ˈg\L>@-oӡxR( TWzBE|(9d.-ԑ{WNP^ d;9银| 2I|=΀!HsQK`u<؛ҀjZ`/+c(V^ܖ] ^H;(Nڏ;gdSbgG"1![[\xv򐆉*žg@wQ <$SP?:|6$ClK\oKb֛ &Ҥ^ʗ%BH)߲2[Z?XB%H8?ԏBP =^l.RmANmbgD^8Wթ=F~D>Z y}t`~'Q޹t1/M:"8elA0غ X*1%Rr6/AE^ա%skD˴<I"ξx#h{̻10ğg ['8 ӽP+ʢN~a$xv`oJ 2m|J+5Edý-mL"kJe$:86 r% % HOL-AnalysisCT_*rA\Qx5>Kt83ȼh|J𢾄r6ʀZU`|贻7*iYLcJ2LrhU  扸lɞD'|Zb`q]/Ho\ӻo`̥;Q {8撩FVxʆwz3RЅ灤peCPqu=uzF>F"< XZzyPcߠ̓3;r WXQ&THxcH>) |BK6~`ٌ얻M+nvZhѷ 䕳.A "Ϙy&(%^--֜FVI 1ꓲ=0$[MW{J/H(X [w7=Ck /%5eRn*:t JSrWߚԙi;a"OT{"rí*4ϘɾxZڪuf*HsGRx A_<[YryLVjUb41Iu>3?PCI3-N5:1p Z}$Q ^/p_v 4NfJ>|X8Cgm]X6 \T堔HN} ϫѯĕwMN-,׭e@4Uhw=ɷR˛IB*7Lhy=N4#d%_mo NtQS)>hT 9rGFخ$sK8:U'&Ȝ@G0=3vkZ-En+T'[ cXF<_h(#U*Ͷ~k[/7QjCW7,r8 B"5]~8J Xm0.'p[׃'QɐJE9m~s Ɣz˝mr d?/y3liT]5o+Dx*M\qAFX ]硯<="ĐPo+^_"t*743 ,U?NjdR+n՞ئjgdivO#[}BCl*B:eH,mqbJf/aGU |8T r{&8CY#JR|Oˊ򈩽Zb6JDU}ו6mcىҎL{Bp-|{g.esYӹ7?%:DX^uJHwWB ![(Gh G=hOv>?Gj7 TltOO7S"iȑ6H &AĥÖgݥ!HhSS6O;m YPfh-S&ah8H\w&K >7S4[5hb)-̇'|"c;)@y,0(b~s'G= ȑz31ߥqW+G8/1R]!d8`,Ԡ:ƘoY4H+24 YgejqRQچEIB*yOBH\HG0a> T\EXw>jL`"0uS,vޮ:4.{,5,?怮ToiMFF,B߹j?knFPӋb[Nݥw$o ,qɎǏ pʣUE S@ջgpWf /Bh/L ugH1жS 9jvԽ'vPU2'L(E'H"uǤñ>[xO滮bލҏi^wE91x3 }'B]PQ`l?UjaƐ1# c̋Yj)M~iȫQ Bye=Ԓy sDz"&9aƉHdo9heYؒ/h3Z;v%ˀ17/RYnTkŹD1HgƆ1*{x'#~J PI9y©+!Iu?j![0Td@\k[?kCN Jh0`Q:5c#zFX(WH3eˊXYN*)01mv ~UV8g!W1u`ݽ-5 I&ETC* mEI)?1H;/IO"0HXtw Qs;WIeBtnd%TC*ts.zWʫYs,4^n=S8HԷL˧~a=ysnb$S7ɿ3#.;;1΍Zcdfv# :Ś8L0v* F~?7 zX >?ћ;#ajqq7ap"TϜ* yR; JHey&_qڄ/k^!j x_K/W6-u%-u<*]K Ld8ӭEri3/P"F]˓ͣ'cÑBKI]\lԘ9peL!4\@gsy6[+>Y['#h׎C~Y9L{pw!wA ?*Gs-QK,r*ʂm8{ b;{ԶJB͈O .0!In1U@ԔYشRx`։#݀wsPK~, Zϸˬ&!,NRؚc֒0'S؟ЁUUfLVSA;#ղn8Nc^"Pm1q60nbe<_:g(#:BoBL1yJP *Ԝ6GսJ ,#LHaڪJ?@3*KJA1Sãm}!V@3!<cin mxRY DCseIs.#kR3E d :3lpa.D/)Wħro_)_9)@OADvxcԼJh滶ym+"Ja?V8|Q}+YM)-PX^A/f6p-\(WU?ݵ@\Dg\؛IMwwOF!uOI΅FY*f7v0 =?a/ W[#Ms $/2dCjEѨE]Y{fNekAjf"TCр-ۜ1{ecP"0Šj}]Ly?v((Гn ͟͟UB Zp Uñ( 6ܝ=p9BzVTyW!yCm wN[*l[{bUˮMH8w>.#(]bHfۖ  GR"PW͂HԳV'm YKzDQܼaI/i;jaCҸX*`lNlQ97(oί9\EE٫4暒.8X ؾxOu>֋(/hdFwIBl0ڊ=qkErE!18围F3v[ fpPNuAkhG01)mT\YPxG8:fd|(3g2`p/ᙠ'R_AP G@ItGZ&GckwMw$&7)5P~L(^h(LSSi8JGi5mH* c0ѹyi:q!wbȂ*qbnh9PuNS3] G'>CN*S ?87h fdEn3CK=JM*9yUM193GA0QGMҢBYn#䌮'HbF2ސʦS ˏ}%4ɃǢfD&@QOBKEB&]A}[RiF)lZF9ȔyrG{OUEi+ U:XX9)0^94d7sz%@_ϤG[x{Q8am2&#)}_:Lb٩Џ08ĸ,{"ܬH#cgf[JObjN5J G S4T{2pCg1zC~{`Mz>e{>JABȕƀ!5 yN^9ԊG%IRξ}Ƈæ3dwV ]bW 'R떥C1ו6>|! &J֙-뺽ki8jUŦ`CrT2v9ੂuwUg*jʳ Q'AMvneK|a8ld3:Sr C%5]̺8iRI&&87˔tP Lj]xvT{pIY/*d}j_m(l/Izah ?W!2˖';).dnׄ]ZSpFCzjSY/ I߰5p䠓)м(XqPl,쓩2Bl: r mp +FhalWi٩:T$5{gzs.3*yJ.'aPB:N_F+7%YI֨Amjжd?iC>C 79^TQGktgA:#/;~Ȼ$.rV&偤xDt,FZ-TN"%7YuԆb1ŠJD2QCyn H:Ɓ + ?m\zH'( (KM{͌FQ症(LYǿF 1a(թl=!Ҕk{j $zziI量~V)E*S:+>rp4Q! V,Rd@lUxHn'^Ku<3c#Qyb坳mojE5lRZv?b5p)pYqQ(6v@x61UNP]% RN:Ra֯ùI&[Adm{`t: n ~R[R\ }A̎+f#j[Od;Y `MӉ\+(G6cm`F!`de~!Hݜ&IO&ĕcI[.rIb ڰZ EZS|^N&P)apHQWSb.Wf@~ (Ӽi׸g;jfQ)LR].k#kK) g fmuw8wufDgRZφ -\S,1RF-8ZÓwa2%GW;L&*n9q7U]Euoiɛ.&i2d7!9G=&bHbR_WBNP<,0:&ct]9vjAC߶W $G;l=s`5h2Tw @/TkW&#$./d{_啉 dq&kx#=b)J&0NgKk ;_6Vw’ v`lO76oBZ%QBFHˆ-K<2H.28!99+kz%42&a'X.ڵ.HO,TuΧ'!=8+stĂoD\Y+h#(Yr HPVJ^ E1atq; GoK Xx9 '컲~}:h8/BENHy8^Q£|HʌTfD-:ʷF$MtIh$0Y %s`DMDg vǶy+'7ܫT1/I2J$NJ{hWwAk=<B%(;umE!v VwwPDe a'hCA#.t<,/]o줂N<-Ӥqj[JnI ͗wbC5/<8yԪ;&kr# ;LWi b{b_ ы$X7$\ a1uX:?ńswBcqJsEVw Xeթ;L:j>= {Um9'imL.\;@R f/IQ-/@s[uE*Z"G1$KXQ x&%F Ŏhn¢Zɯ\s )"2YF']T+DJG+gwItU竪F癟z~doC';mL,$PJO t űoWdp ilcoKL7cSދVw~~ժ'p8z8Lf^Vb$s1ssPs<ƻt\\Eezpj'6EpQ[l $OMXOI:h ԊհdҵXqCu,+DͨۉdQk- g]|(BNfpf% SX:GqN05PQ>Joc kOv>7ޜOVqv#1Duxa[۳|SY'KZ%zJNUݩMZQɺ"sH"Yٌ$.ImL_'y=İʙSLC*Q"K5LHeY~cQ[ފ@5\D!4[z}Qֻ?$` JH]k_k\LzóPw#afu7-'e* }fql{5vˠJI?&2 (w cj󗑡 &ioiz >bUF'˱2B*~=A;$X fz\f%Ԧ+,V*u^?ں WFYVO2AvoiV1tSH작V4%7q>iś5B8+Y Y<+6o o|< zn$ 1XO;oF`蒵 AeN8ˤv8|vU 7z {|O.zyw)' ]#nbWl({=pٵfy"1 Y;m³^W.F!xjf>#ьGiO `(h/'l=d(͌ <5STƓ溠YxVf,[;WZM<Pr-]W~{!2DZD~ݰşغ:Fpf 'N) N.Hҋ/fr[EWmf?\A p;6} U>̘P40LlhlBj]y"pXPdVL7[ml.n* 4 vV}= mNOSP?Ӕv̍{<0Ia0Sqr7 V68wO#F':LLᱶ> yok|8ӱ,uZK{4 T' fsJe%x6#yz:p7\{nmmZV^RvZl.`2]SwЀpTJ^\藫Awu)/ut]`i"Cj}w9SIZTB<Š&( `vcLꛚ <:T>#VlT{/#7CFìi `x ~.G#xD9׸]>5cqеj-lvPȎʴߚ1mSKMԫ _D-{;{FHdo"uסEN¯wX16ЍxVvuyN 1=N)c10xʂ,2ƅʎk55Zpckk*5(U [UR1(/Ppda^2~3:\Zed_iGBN5J'7'tT'="<緹S[A4 w:\ĻF˧`+ N#LuT~.0=a@f{`Z{FE+BQ| 3V=SnD 0-!*_ c\ewUθHgroLw&[#_u D}#:2xk9a/B0ԥ6^ZsrQ)sy4"Î0I&*v"/#LcΡ#F FmiRlX)S%9NmdNuZ$.bҏҸlty`&JWڂ eHlI~[CQyYeQ)pZbҝJX/Q÷XѣpQ,#D=[qs_A$fzO=F~|* .GO\(5JB#{x#Lz;kޕ JV̀܊ [-lgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4o F}&{{+bxmȝAT CcP& Ni}x\_e p;k 3qa'jp -/ < í{i50>B P|x`qwM6ndz?&TKj%V`gf_uK'* kB}dJ'qhWJ1Lݶ(1zCrQTe<!4ǝUׁI maMQX5 5_I{/ ,пʿ J(cfCkzڟqN?*dyؗD䞐yw;v'_ &Gq]5M\>ZZV43924:6Yi5,vߩɶE͓Е _WJ1g°wORښ`P6ߣ(ҮlCFٷmpwМAGIcDoG`rvKHhC~8@߆D֦d'徽  Ie) $tAU͹P"{JRZގq,{ `؏+ c; 鈭gyQfs ҏ#Yr\Xuz";犠pς]P+y|@KC}=Ԟ̣+xXywpG@>:VbE+fn f:xt[`ٗ"@Ng!ıژ$o=--ėrh<SΟfqbƫGvf,⥞bA[}4VO^xe Y#XӆW 4{("2^ vq?;s4|q A0hFpEC ʯ E.s( a%āb ;ػrwG& Y_'T.u5j?dJkݞ嵥n,,z2CKxD$ƚLq*yʒ>vtp8/|VEH5}@2+K'2ϪE ^vYo&fF:ur-[ʚE%ZJ]]^!oW4lr7C\iB/T[((M;!Usf㛼Ң#Sr$ l3C\LQن7$pJ OOzj0Y"]d2t_gO.~6'}Vra|aİBn5ՋO3)֌< e_z:c*hG[LZrHΤ/ֆf.TMñ)“,p[''.@A|yOEH etӵjMYA4n/i ڰ"gȑE5.8o1 %ɨP2)Qy8\)sped-wqz!D7"sVo<I#O8p2ůXGDDBΨL:D 9b}*m|Ong);^F0szwC`lk$2"m5{p4 :Η^OoVzB@cA2{@ZDoSDkk·U9t^8)9SȎ2Og@5HF"!#^'` %Ȅg#׵1F O͵q/r$I ;M9SlRvAS w;iӘ5 IW =1^ɔ"| Rfz7z ^'㑐` rίG%7 [шZSGB]K!n0жx;ycwE :6B00A2;\̃Ad_؇S8i| aÔ/e%3fa`[Tgb;tt47v>Ər{%O[HiTB۾_fE(D숣zoy:'}7#zb:<$z1vx4Q/A<@D$2Ͼk@^MU!WnXntR(.f; )e?4}1@!ZߺP yN(ė`aJp{>?e:~#:FG\$:dWGS։rABa,n"._K(hP"!p׋|!q[?6:K**q2>ќ}f4-H~7} 0jkczjM|ja_jxPGk+4=~m\ ZCP)s7fi9C<zG (Z98fwMW_p{sd )Q*uBGmLVJ"ܶlJʭAП9'Il&b+(dEfPun[fmu=EAF v*8>% uGE3a:A}Gy:, M>`b큀=f:8P 7Ef0@L>\hEeQGC|f}_/Wm7݃9'Of! H[;KY2 =seM.a9zPNؾe|DTш&w[KIzזil>-!k$:|1lN7]xY8***{<~d)G{7>m/3'cٻ{ 臨ŮpTv zA*[F.lQA6:10Ԍ?KDe3OƧ]]oZXtT],SmM?}'#k*"ĔM9Qu}5AePȗFNH)b xVB?L+3OÞl?I!_CUx5 +Φڪim*=0c28l7&t=5RdH/lw8c.ONZlvGQR'j jn?w@M]mXDA~0&MajSѦl@u%O~T>~KFΨ S!zTXexzBU['_Z9)௖?URAƉzdK)-I* pfg"~ 2}Īdv ]+;hlWT#Lv5#ӊ8 tiMb$CGvm~9x k5I}kҷOM^ Ljh :|Ii{@ݳFH|n00B/~pP8*FA-02/bfE(j7 h#ާR(_Ԁ_W#,ѫ# p㈢E*)[+94nx!#D, :A͈F44G{/DPzាn/F|½CϚHb>',߃HֺLAly`Dh m1WKÉs=nd݁kE7ѱ{ySu0i;"c OT@W%s,>oFŵ{㍋RIT J=aׅzbc/ч 2QÇ-h>.۞Y-4붭?lk4ij\? Ej}Kzəׇ)kY9"v (O,~@([0P` \& z.(_Q:w8X/6+c24(t٘ɸȀIیp6;N4W F2H焙-\{Cɻ3sIҪar`j}Y!|oŘhW1pЪT-CΛ$l5_,L}B~՛Ķ 5@s@O* Oпrq8|{U̝ꂏ?*=8U-!'ERT.%K8!B=?AMC-0`סd0I@HsI]B_E+pEemd@ZϾZr{AWqP6ֺSO nui"-Ge$T Y3q@Zv,.,ɕ.W_&όir9l` '+.z#c< ~^ _e&/)&a,ǔV",PBIA2ĮXy͕>?|c4`>(B|g7 +ǩ` ,{ұ6ŸܯDЌR[y [EOX. Qh-i-{1%/h2Y-q%^6\Id/ 0rdw2sw[?]Ky͝ZNA b# IWWԿW pU{[.N:a;=r%S놟C&IGSxج d\;~{d (&%eR3#$I < 4/d V'˿B&Ts(SG?r.ryududWRެ&LkZ3HK <̹rY;N?myPT0٪}7 }آ`4(k'kPF Y ˡza)H_ه!F/$}Si|&[yQu6z"ev԰B4BZ$>"þ]ZFx2ց߃#np2 e佂PN{@?he-iK{yh&ݠBț}NZPW RX?H~OONdsoY` S髱b2RL4Y"8rDycSDD.cCXq縙KW6bSq /)a&?0ç$Җq,Aau'G'"1BcȆ 7Nx=#d4,:{0)`ǤGJ-r16C|_ϻ7!+k/NYtDF2iŧS:q.FaP؁rj`-drn휪Z}Ҳ5HU  AT}ᐏ>I0P?7pȐ!c%cS}.wIx#!VlktU*jCk(ꦗm7"KPc).kL9k/ a(󠟉Wv3Bq<*RЬJ[n+\^%vR]So:׬d=ucsz,6wm-o-lbM]7n+\ (bc50p^y z-L w&n'n2ixLZ>VzA Kdc#Uj/~cؔY.4-d;.8Yqp,s0lPߒ]B`UH!GC2mpY݃g(dx--M\a}:PcbH dh傥SO{],T5y`UlQ{jԪ؈/5ʽ0]lh}I!J]zs͇[QhxfP K &"pzyhmH:1F 6^%Ai ,zY qX'Iɟ%@K\V_MuBÂӵWIi2/«EF0Cc ^2G G鑱+%*Z{Hq{JQܪxǀZNc`=RrIz ',;6bǘz%k0a_1Ƣ;BImڤ죶~r`6x e4&хoò{ ~OIKgJ'Ow(k%=*C0R|ݳ/bǖ?F̜~1IεjZlR^Fi$ B)ࠓts8wjBnq򡨘GY}XY˵|(7z}PNoDA4bҩ z, qLeд_r^٫mŇ]Fn>.lS #̩(mM?0r.ôyådx~SՐ685wXeB 㗕؁[<&z]KQ~MYkIsj,4jy42QVIGZfRli9whz_Efoqȵ ˆ`yIʱt4+r; ZcE$Q vJ^BmZchcM+F ^NqYѢw@m ?V_]vFb i#)Āە|AHER֬4Q :&|dPLf3Ā=xݝ*NIFyWClGH6vͅS׃W]:=;Ir[oFq~8,Kc)ق'j&VqWF{([# 1gv Iυ8Nw0cW]F+vQuʦq0Q}xP-cso)`NC=2 vۚƐ$ȶn!"|4L'B< `c2.ɯހ3_GPT,BJw쎔X+p3f7Y$_8.LOa'k]d0!ؘpǴ|mqdC@kWi~׵AN$1!lݺKɿʟ ::5򔦤E^]Ld-74T?C/k/fˉj$鏅F#ijZ>4+@l[S3ը'<|c1<ʆgM`qa|& gpN:'_hh_%_l{T PAkym8߬T}{Kk<[og*BuR};z^tP <|i=PΨL+6AH6 PkQlN Ə?ͥ߆&.$/ǘL0/W0Oɿj&6]~ٺ z\МVS!z sA5Epa EhܣNA8 lSȚ#ngT ޷7e͌| 1pĮ`K:Z;w"U7 ?*0'||:zF+S/ʈ( ^Iv|',+>CCqkՏ STtDY4Yh~FEF;z6"_ g6E2VÑZk89'WW* k| Fa>_]by\IG֮ "? O1E\z-[[kP 2,qd5R|"HʂD3CԪ9yɰu Sjy_t,;\7I6V \fzu99ȫXAԂ`̪X&|>j aؗ]7/ю0,j+nã㣆cbk$*`cRx zq&0%<WO Sj}CŢEўFU;8.~v_rƇ@*jUPhb,ȟI8;` 9ˑ9.eң¢,(+zzY{)>YUS޼$2Q^>*ۚs>+1,Hd'|?wJu mnǧAT ˟X5 g.+TG  ˈλ>QsQ$E#m;_Q*?|;$ӤUZ\ހi*'i ֹy' 5JBLFt59ilnpeq 7q9!EBcn>R%eՈ&􎒚_cNkvO>;qu+ >&h!5_>Zv:Zn1>aw[θM ?ja:)P63{謮0ģ{|%N%' ;Z-5Z{RIg+bTTBIVRec-)6.5yRGw5R 7V㿣ÊQW> xJJח[C(8T.Pr_r'`_<9+Bl¨DoC<'2gqRejE^hsơ |&|rUX{^݋cz:rQK~Z Hƴ^{,z #cԏ!oQ9@/ 4p%>&Jk$b855kbӋTaӺQxJ3!WLQE7wތksM'`.oQMB:'?G+6ܷ `[S𢃭@8&۹𷇦\"!]=娬~I%4m*N[Ras #ʄk9V%?R*z-uq2Pq>s*EdUD&PPiM2 r*<޺[q^J>Vwkg1%_oN4&E]/gM0^vlׂݧE Oi#/b6qgQTb}J=NA"V>["Mrkjեb<)#jc a7z^%AT|C௭ũrʢǔKG,I)qa0b0"_toҐ?3<ƚ*͟@=+[rW *y{B3n])YfYGvv-ѭ_1ȹR v9,:%ꊀnL%}>aݵHnb>'}۲`eI 7h^q"n2 ◥~I02H#ߦi]8I+Eթ>uN|BCP#yͮ=Y | JܗBXɴ.e*B,4rg6*d,S)f|kk`7,Pbj=8cNQpDYf dg"[;ȎS:C#tyKT-'Z(~Y.Hbti̓>>bS>Y\y oNzQd =mrFe8a"7 0)4͏ய<d ڪ +1!Y[w/E[d5?ؿ%^g~qz+rŕ"^8q̐s@o"]Ygbѭ'Rը/gX PKXo~ 9 F_ޓz! ~(urrMR?kzMW $K׬ 4$EYxTm-"iNWw|S5=_+!+ ӢϽBLͅ@["]!E_ S<'4>Kՠw/'y24AVmbX&|T7G0- =9yaǚzb7 =q3dٌmC?O%b9#!^?u"s<.'ߴ:Y$R[:Y uWT0itM}#K4co#& e5WMxƛܗVuU-Qdg] >ʎ]0߭"熼A ˜rRb8 CH.r2K՟ES$h[r)V: cTdGZñrOZDgN`C[$ZϝWw}B4AO`g#Q^WXܡb`ŝ(!OMƬ6ӨD&h\ZBVz] > {ѱuO})t!CލuGnTsWhjĶyc\,Z%it{!6@oH G)~uVDW(b+ rZ id dl?}OaADK\Ћ[1\2QR܆%XәHAPG̓eb[9t4J, DR.5 ?i Rĵgl $k{Ps DV&@'~^[x;ӦܗxcmedFu+[s<Oc,^8'7u54T@Lh^ ]TްH4C\Y=SQ"shJ!4C'p/e@+GTb9у.i.WK KlCa ֿ Ɓōy4΀@o\ ׹ܢw^.SlAyȍ̕!Z|Cv0R \I6fOI%=e+ ي^eG{YHGc5li,{d#2B6)G3+O;E!kp9&9̫E%[$ zQ[h _b_ѫʠ{G)$-lr"z^[(98Zu 8UC L3qj~mpFX{x#C/: /MTv;3GoJպXmX7^Q~zO5{ Y=N-&KJlp0l0YX,h0=.;ːO>ˀK!gkE[C8TqsSNp@m:}XЬ/N}SIOD45lA,3 1;IQoָ-eCTw97oYT\BKy;E㾶ȕ xLD^/+U$$F[+i5l`YA׫gKߐ,ů!5Q8VSrrr%gQ&T{gJ~$X>bJU@.^i}qBPٴstQܫo:-}⑗9X}HGz w|Zmq!SKc:,H 2Fge&Qюn9Y .?l?]KN=;WPOkSd2zCgB->#p?vUkǃP- {asm)ja h-gIf73$M-/2,9,ǰp9tD |Qa%B2Զ+\Y IVy#©mehPNI\elOq"' ئWKqq&l:JʹmQb.^zJź}6_WѓULUd0xSi$?THjv_TXLa-&NП˂d#h]+6uCs䤯 c(dYv?U#u粑^( ]! Xg? ҤZ!y\[?q:zRw@3۹(\ -TlK.<0 s}Gff~F#_w4D{a3>JuZhFjRKh#HS 4+NϹ4="V93(Y~.>3o~c^UcNlK?+F.B) ma|!͹9nZ][E/D{z=yz&tIVVwoש%aW*b~cvPpK{;r_ZE/fzHق~Zؤ}ǂ]_|9l+Xxj]@9~?ReEBRQD½.̨3OJYx_Y@m:7+gS0NܶYjh˴`a<\t*Yeows✪ qP뚃!7kYApLx%N!m=['%gS0~_]sRڤq<*?w}M/4_N2ֿ qb-jSVoڰbwLl~;ŠcKwA)m8Ʌs#3N7徎s|x(7]SPy T1kyD_CF!>Ŀ;@L0>\B(8i4[=<>0h G_V {q2hb'Uem6oBeA)੡}86`q[BYiĶt`DYl=e7Vv6RM0_l1X7^`D{A鴗 l \u?RLp;clўƂZkO|xTqXGO j]V%j$O@5!cRUV ]՘na+^!n8*j^\ AП]ɥG$,Т#sgk=>~/[SC4(͟of=RyDBiԼz_oF1GRz ~Pm4C'KpjITʸS w8+]҄.ƏzH}H~>&L^f̌+SQ_r"5K2#S4 w"+ =u7(í膠tܔi#t/Փ#Bq"% #Ork)#Z@TB"vc;luO)!^ dmzl[ߝ jcE<tM(AZ[#^ !v[TYЬd@e$ C2ϭdeܞ p~wIl-AAK:'*kc%Qv C[wޤsm YErHkK@b:_ɾ% EP y0 m?Ve' O˲[mhRJ>e4 PV15ͯzVz<_^nڧF( ;RY]W1'Y mf ;W$O$ Au}ThҾrY qu)QK?^\Wޥ$ؙGf21q7!Vh؍O-SQ4/ aDٕ٩#e+Tx^9.=um!~A( _@ .~2I nՉuX+816rOkCT[7`a%C1U`w1oḑRtܑYMJ/ 5=A9 .VHnby4) du=^q2=9OhETCh7Vs_v-BpUMzxm)_e~"\)ؾ0%*X}4fPүV$U9B|Kgة_fGvJKm۞3$|. TL5(e[komϧcqwmeRM D ![,n IQ!x [e1qM hU/b3J-Ѻ^HpDTqMgl.h=Dz>D012_c9޹8ؘQH.0`J# s ('Y!,tv 0Sr,Tf}+vTw< ' ԭ&\|- M۫/=ʈKQ'k>eJll1Jꏷdڬkv(t3 H:ִ™BmFsk2N(dj^ l3}9f#ːIl'_;1 Jb4( 7נym>#qŖ6*+ rpU"ZESNS|O=˓2hr⇤kH3t;_1AgOm1J(bIc|tD4,GVt}[^ $BWzI<+B=͙O3'6S+E;-:Ҡ?K  °(U;o %hHv+ gP,:s|gCkZFiV#J˗22AB;uE]iy eMmASOGJFqQpVO^P9#p9 +Aj.Hj(*\,Q*?~km]~U#V#dTOr8 S/ t5jk1<~bo&I J܉ou*sٝ-g88 @Zg/kesI5L,S?Z.:$+䷹>ۅְ{g ҇gcO?*Y6u56^>떚Y &2d[T `@ *ӝ>/ WsV{HL̂uQ73'9&b$wY:j֜Ds65*"@-a1Gynm)sNF6sl%Fh?AUA!Z <\(J/FZN}ʶo,!MX;7Ѭ6*ޛ9lTVNմz)G=eͤ~9ҏ-vWNP=fTC`k>Hxk6z|e0 Rr6ł"hWN?V`]}Ey6riґG;& e]/\Rz IDޚ AJxٞPgYZ769aff21367900cf925053d86edd2c473cc7d7db10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf297127ec536cdf9eaaf2fc3f01a4da97a05af14c