SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  0 0%t|d ]/]HOL-Analysis:threads=6elapsed=305.765cpu=1457.020gc=66.360factor=4.777zXZִF! KL]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE5 >d0gBS~-b*ק}uw`?&L|Q/Rj["-tPɷԖӂ 4-\R̈́ac ĀzP{ʤpàCb'.]v5Y `KS+\\ "ڇ'%1v<+@ꍲǐAJ+RV0RE۰$Gw(O&ץ܀6};lG"v՟|BU:HQIV3Bfo6ҊiV29̣'[cBԾZOg_yBT:ĖhL;-X= !>{M9wqInfR % HOL-Analysis  ϑxSG{0#x ]И,lJ}15| +5F:fbabٴP/v9i.v:҈EpgBFCJ*Z Vҽ3gLlb ޴&dB Ǔ%A],5\Ԟw$MI!?B7fly]o2^]ۙ˂@ ȣzܫ!A刉w]lkK)rꍿ_2;&6ƈ=@o-Dƿ _#]}EOOC_)刟u`ԄEK/mu1·5"?[:RP%# m`ޔ: ? |s 4`QdLjz6p(cYoVQ\ }(n[6WBJ BQA_̓66MgEfse6R+V0Ӳnd)sG) %b0b!X03E#q6\Jj/`W+El 1xՉ4Y4t;6P(=Ad va\`A#aw9"o K7#MLҢeՂ4@ %y鱭Q(?D؉lw-^ (>@X*Rp*Fpl eXbg]׈uوN> 0饘ѯ/̖0PME5 #oLމd:{|iN`?o02#R<{!]F9מSls#6) ]S -Rjn/RR‘ e<{0L2O{eoa{kc)$sQ~(>FoÎO#Q9E [#vEXδτ#B=(~C3cۋ}+ 1e5@5dÖ,%l Kh>*.ړUPhiz%tkU6Fک8`p16oo܊.0ɻ` )3](gJތ,3(V(.rB)R~z l+Z+EjMkUKQ'FJՃ魈KP:T]b~NUwo@UR77rȪx 3a]2*1Gɠ*-斎OlC,l(M:VB6Z]]e&I%f\g/rĵbLx r)#7j;t#MgK'*.\̯A?\p*"Y-{r)sJieT#cU-r13A|!lcy2< ~5vMWU0y:d}&ܝ-OpO鷁{!Rܨ-?omZ;zW,.mܚ4HػWy'[œ!VD:CM)clH3m Ʃm54[ƠJJڶVѻ0JU["^Wş:'=^0HQ@gyv|v;1zopk&8S/r%Yc7b4X7蟾Ia)ƯFQSK {IPQlmoIu@>i66= њ3| 27-oHuk׈ :%Exƴ*D]g i:-Zvߑ8̣{ _D =Y%_NP,2_>Ohelamho'u;xydV_ RjzJw<(umAKR N?!/ߩYU;r648B@XZl!qmkPp[9lc u46~@" C?˟(" Xj,칇 ꦀ٩4Ȯ]vZ{'O\p/vq`zd&GFXu6S[D WXb.dy-̱\cxzߗy z] fC/Uϵ N^iٸiڐFz{fQK..+cWpjbkNx=Aou7XBM7*KbT Z:"J$_OhE纲X_. =v@  H2 !&[_16nByUӚgV?(2iEMTm^{Л-m&^T'+OZ~DnQwύuUz4MX~yşdge|pSZ3E[HU]]lYx'Q!4`2>)ƒ-ּIWwzBEMy/p]r R.L旕,+F"2ʒ =Au"Ξ,s0ƭKd4w;ʮl;T%Wsm]%gI-38,&Y;kydgYXV>ft͢]7a{}s9jD?&YiuJeyU*$lfDE5ss^z:r~㿅:l0J?Ms[sګ6M 0έ(Loigu8r !GERr)92F>m&^*7noPz_=kD=˻sUZ2z|͗)<' P-o}ˮnV8]` @[/r >&`gZ>'Fz޽N{i[hAuxCA}#i-]>  cT%5;Ա.98z ִ6cŪY¼"Xz`3b\ vY@ꅽ tIz 1)O5]d Yed'2G{ŁѮN{~B -O#I"_Hpu!q_2 1΂*}P)#I9m[X 1 SVgI,6J>[-TH3{㩕&z*S((4cmʨR]88W]^3IN Mu9O:P1-v,5cd{0\~ ;=heeۻ;OgUkʦWs1ѩ>)I`}ӵjp՘>8/9R%V,@+992XX R<;"%z!we%Kl&9@F5Pޠ41䎂)8S/(83W'w̑At1Əy2X3:XAW8H˹Q@Ť?OeK.ۑF6Bޫ!)Lh0E]|r};|ՄhF "ܙv Nip'tsLrf gLo!C:aOr ;>-&q-QtQIJl5#ERp1xR#4E.3e)Ų ˃MVhzG1A+xOiv(5|S/69"G=g 7<4yHYkڛ!Dcܡ[ lOh]b_%weπP_t{R?q|_yIi2/|F'5t@m,1U $zjm{A='U[Eؙ~撟|Y׿‚mc:xUگ#Le, 4FOͥn6A >\Q'9c K^"T RPi;bZSP8;S*$cXt5tF?ѺӾ$+H(]Op Vx?X6('y*rQֽ4 LφA6-L=daY0eG[#7'? fK- ĄHcΨ'HB~i!ܓ,xG 5`aS=;uI=_XY<"ݰ/C!^.: JC\PjLa0YXlrr얨IGWHT;RG"Qa@73ՕrSQ V[^QcťD) %y蝽H 8yB_0FI^b0\|zGʴEK}(n:@E^5 -ICYD pr.t5isFq|odܐE#|%*M'NV/ALq-wI "rYYFKdr~`} TE+B͙C:bxdDs?$۶JVok#&]YbƁ| M^A/)+Y<Եdġ] .jVD󷴆D]F!1}$_~fn=2,2Ce˰W֥_SZŰg C%́a$^[f8eQ V=օ{'_NN jl#իsFm<rH Y0mvϴ;@!MB6h 8/!A}drbʶ=)-(\4Pb> %V: \H< 3 jA-_UU^0ށ؝Hgp(]|=q=(3 Mπ@"eYW(~וltF{\#)Z5"H>x}}2U[ƜyE9bfXaމטPm&BПzN#87%]R-vsq溼;'l6j#cs/cm`)'8JuS%An"A2d@ju\onZ%J,Xs07֔6+*-x=+XQa4\^Ϡ9fACLiGޜW,>P^CG^&"NŻD# zUexjY&iopi-/)O"J3t~9ԥY} V%Rk8dT=gmd\+/M9׹Hw5P{ e~JG~-mgڛO,xC>J' ;ѿ4 nQ# v2O ͱq.?6~zhy<ˇ5gI7m,jb/} N$!Z6ƏBLj6ٷ)Lj+A  \ .H Z+T`"l"gOm)ixMvJJQJ؆: O M\$0uzCJπ rՊIEQq?TjN`A!. A0ᵯ15^YUc&_' FVD~fGxނL.LuBJ_ qϣXaR,$Vގvsz[Sd '߿K`ba !Ts^=kD+I&L]hP j@uY,zkBr vι"l{\?[z46_!dMhQ..-l[ok",/b߃zŗ.Ւ <]8"!Mڶr ʥz86|.wǃ)7Ǐ}kFp%/ZPP{CRh԰Y7(&xBe O>JGbͲiI 0T{@=Vf][S6[ ٙ,J163+6!lWKSgEi00SfݫR"H^z/~##T5Y T4Z0 TxOLo W9t+TN4F3b'~b~&ҳrY)x+ ( sthd/n~r҆wĵǶiGkNvɼ7;Ԯl54;~w޾~OtRlz%(5.~BZL⣌꼸2{CE\elHQem7u+LP$^ǟ)N|Υ]yiLfvehe]!ɗh;))NJDl<2b1OrNkc驋@).܉e,2mɣF7ce 3x&mPЄ}%cL>N\{C h#L~#6|_`%qFp{_ Ly"vDU&TKi;vA0 Ez=9 oΠx}lގ*.iy~לL<82i~;"55 ?1  e',@[ނX]dM\" FF̀]> ] < ׼%L&Njƪf"G=[y];CI:!sAL.'{2mĵ*Ctme/0ûZf zfԄlӼ`-\Fa;CW;l41BpA&j[m&!MfM=NjHP.L%&ﰤ\5^*Yz۟a5, 38;" fa}9wvrU!@4BJ&VW~jҕ:??e4)s4 oM㺍0sM!@L?ZѻOsfa_?Vz³X%i$X0iڔEdYlwgF$A!qyP^RX+d1I"qS=氕$ h-Bѱ|C"EΠ1n= nEM7M so_mBE*C<.bC?.;T"c _b( -ɆWx،""pT6>4qO>87˗ KdfQTvF8=pƮ(PV/c3z6Z{%_sV%X B% ߀cM)b#og%f{]4(L=/t%6 aumFi%&}`I{ %J 8"n*-f4(vq?Jb2wH,yS IT5`2y e(KKҠl'"(cP'"ky4oZ@ǟ%t=8tv2{}M9)J!JywCS1R'@kˬtIqacfk2|ٓ??ڃ]ċ͇ьA6͸<0ڷ._O5U2 /ZM|ċ=%uA9дD7KHy!eFe᧓Y.qza3|tѫ?}F *ګx`M⥈AwLʠ7&}T %cjhtU"d/B7Ak푎!yG3l(ܐA3fNŸ]k=Saɻ7[xB!NN .zRG \X/~1{ 0遏H3QqWy'|_/!ؘdKi}:CӍE ivhӀPQ{3TZ Xml4SDt33S|qB'׀Aӓ]1>1/|}T{u&i/%Rr 3@iQ􊮎c B<]GW}6D~epG \޼ZEkܠ%Ż7Y>}{- ̵~n@//oabncd=@Iw X^#QY$1=:Z[O63"*^I}7q^cl> |[::SIY.Px xZ?!m4zx);sڧgaЫn*x$1UC:ggTTLO) n`lGuRp!xW x/npܧ2,7 O7 uk}oԗHKcg![4)_B&4A;38EP+Zߕh}<,JZؙDj?rn4BWGjk^׊.7o[['l}x *O$U:7Ń wXC-:w:b&(;e١C(V364+E[x;Bn(N:f|axNq̑uȦȱFDךd!-e:%z?"130XȪyeycf4u 3xv?8^M7k͋2{,f  AIM/;jv~mrΩ9B8痑l'@s8ؐhḛA*(Vlme\ zjjv1v,),B^O ԁ?Xށc pBA \c7))ca wthG\7_0M2SbXIIagfm?J xn+˙s1D. |v+*FZ窍0V֌U(8ݟ*m=|H{TQZߜaZL{]&c"oCKd^S=‹wstFHHFXF\byl5>j"hJ$<QL[7zHgP(CBĺ7(#y|roKo"ڋu0y0D7Vp-#1=b+:(ZY[va-ev8UYsQޖ-݆nvX'n"g k,HxȺ|{,`3hJTf3:)3¤~GYR:x8z"*@E#37Zx_' 9ԁ~DUTC\Vfyu1 p7c'ۺ^v(NeFJ٤;b RQΕo$nlϢI9[ hm)5w^#գ1In=Nec0yBe ŌUp ^CV`9.C+1x BLXE%}(*n4ERC;J EH ЍUϔl{i?HS7 }L0\?K]ixJO#jH2:lU\]ۣÓ՝LPS<^vdoSI' W,png-)bۺټ`+~.D'$}Q #a<:?ngW8=RY'B1r6/`ztr{D.4&";I"e7kLs,8;F .,ukZqT֕f3/eqХlC0CsaE'W~Xִ WA4m]Ϯ_x\QpL|k.4IlZE%ҏKlsWIe {>,y fJǧ" ڍz%:= *d3b=JIc92|z *< b ʕU H XRdHrkT9{gPqeMx'/H=F*!\i4*@G |2ik#h@^ E4+{bŲ3"wA9ڄIk[1O]Q[nv`  ŝ[>=Lzwm1\R9`tB3b/br@+RpC8[Ftv,g;YdO~aU O Ũ5Q)SIu@c{p#Q*BD`tw1#ܽiDG,Og2m\\]?Ҽ_P4uOf2!P\Myp8qw+kd!\]i n~eRC2v &vU7Da&e@@hYXXyG3ž7!\4]bo@DWtzV8X=LlSw !D;xNۏ'OdW CZ8WٕRN#NG>0 _L!MA[NNS߼0m*d{qQU\i&wNaqNY12u$ЍԤQ|;$-/\y?c<Ó7t6S6[)щ8˄ƏЗg-}xnbM6zi~xHsˌ9%>}ZC^ ֘>-:(ҴQAXu:ڝ.- W 3z?'BGa.UEެh :Gp Aw򚙫?n՟OeM j[r]{~aް#eA!NJqF2#B!}^=!6hߎT񻺼20w9r]ᒘk|KXaBfj@CAf82⻵|M:1"j9' ( `XD* ;Ps2m n+1gwA}jiغih6]$BفWAK`*ET XtуvR҄d_>:pݮgYP&J4AAh/ ܟT$<m{KdvrIjl r;Hrp-ƍ ZwTš=8:дKF pFP}_n_q,mdS'uq5T5&8Չ&_FeOpe (tKSOw6Ʈs)?2b4z4Qnwl4\|ԙ o_gzN„h=%{^)( uQ^"Jr9# ? ekDqVfLy,EB"J-μ#' ' _. }[oħ~Z 57cGx ̯o-ފ\RÇOxclRɻҒ!=2rW0 S'_%;rRA9W՜!HW^VY`$-Ьxb} 5phW7:*|70`Dx/u=ͥؐT\k|b5N)/aI3{L!KvoA]ͦ9pq]9LE#~d uv*t&6od"YUs-8)q LF Pȇz>JlNL +vB{'E֬,ȗĸi:;~XiVѐ&[,4Z=Wv]d= 9^)W ZW2#败C:yceg;YsZ2g( i&mtIRG8XBQ?NVӜe\/G7Z*t0i'|Ŏt^H$r+ hMnQCvj21k!3UxYdg+Z ɓ)xy}3^]s?rQ:TփF;0%_#K졑U4Z δx璊m|Q}M|sxϠ>[ _&Xq^pv"B Ʊ=+0Y#z-sP@xN|\]Z4BAS>#?hx7?FD㼜5(zo0\h g/~w  ~ؠݠ&d|V)TQF``}/zne쌩O68* &+<,aB"U뀾,fLr@D$^*ia7; Vk_%ꬎF {%G2@";mBT 550s2գZk{1KJn˓\0d*9]#+؛ǷhgI=Yю6r۰{{Mqiʺ(/ȦW9@kqgݢGvC3dS0B wm^‘$ZYBsۜփ/ɒ:ۢmF `jjZ8)P}(1~?L*.{DsiDQ1S$ o˝ʽ>l ?h` V8?dˌٚ7x&yp9Wξ\-H\rlq~#G=ÕC_ё[ղ  7ֽ/Lnps.IQCڍQLJ .Q:j51IIa_sOcۋ8 P>TP߮󩠤'3 h/ tv@:wggr5^}O1SMk܊s&t596{[=~hb0US 6~vE'BF lRii0 "ta;v4]++*: ]>di5|<ao SR P0!LE7B0trzaܬ 5b(TT^L~VlD *XahINF!C>~CP/l u  2 8@+^uxǐſ PlURiڋ*CCwdoFAU' ^ \F﷠dW˩>d1Lc0b_1SDHhctI#8]oqȏ$$;d@_\I~!ĕVLzr&n&M%5ֵٍJ|[(~o8e8o44l9C3;Sxf:h.~Wra#m`)fk,&NBUTm Vr^pIOȳWQe>'B3YN@6 mf{WJk?0({Ϋ^+HZmM ׈7*XL ᕴKZ[q-3/!67s3 y "ruTW'wc sPDˑn zu ZK|(`.NT#_/+~Vɰ"-1 6 \%ɢ8@%}Ι,eBHY\O Q@p1'V6 iMq]}zZ8ix3[Bn}2V p ŷ8ޅl#-X8&){RX#~Ϡ1-AҪEB:ܱgYZ7zXZִF! 密]]ŗXi%> Ƅ}? Ho'!2X!lP[I8mWI ZcӯBL0.ďJdV#Y76MXбll[N n(2`_KC `Oh4L?re3rD-F˼e$!1Rr"b;Z&) ǟl{Č. #.nM izlSqSƂ~d@5^n;d>ւ,R&a^tү^ZҶvTs6!UC\9f*-xG9bDz@kPoY]a@<^;iuh$oPef;ǣ&h k|uڐ"[_na["s A1VM}6Py@=_LbK¤r+ " JŻM*XQ 錀|ha2Yk(ec>¸gCYgzl2kO7`*ߗj=}qusEA+d9z-wXӡ],sqùG붒xgU(U1+Ų74\˸ܳ %oXw邖cntmĞLK5 #yP)fekӎZd=aQ+)LY5kڣzTT m,vt=o">F6M7X1ܒ~|@I5d'Q;r %-OEcqJ/#W;o +OJ؎GlpZ%%:ռ:]Z,R׻6JJ3qfds=˦ϧb N#Σكx- { Q"ZNNPTWj= lMFn,"R^QZazD*Q;1wKyqE Od0OJ·]MV9͍˄ xqh|oP/FBv^B`Mɖ,)0vAWk"&JFUVKCT/ tq9\ߵa7R4jBKT4K] S2ZC <];l۬ZO+70jr|]C8`4lK}=P여GfF~ ?A-@`| 88n|nقn +Yng[@k.wMr~0̥Z md =}#vJI,XLjㆷ[불'bڶJ1eUOI%)&c~oؼbni;I{0ZL ?!V(m ƓPQH$dQh mkB&N:?/#kl \EAtz@ )=x6M&WH]qFSlH_SNYr/5߻q Se0Fp]Hr)~Y@c  `oAg FzpС?P{3B z BR$Vu.pE)xq8]:mQȶ&P8s1Gg TDŦBaa~v8W s{)' -~8ԫﹳF'ÔÌ:a>Q Jۛn- 7 cܣes'ǿU)X*a jXf.j$fRe~FT|U{9\r2JeEE]MBDqE%%duS]F#B)v-%]_"L k)]Sn *eDv]S`v"N)b:]pFYwn".G-`usx΄|0Gk@e6/Bp.>z{dNȀbY@_xh4XvqcżBIfiZ3DOj[:8Pr~`}je"6U1z17îmu7߅P*$C,Cޔ8~ qfI"$џY݀|`":B&cv! T)€O9mnWP!}Ò28LlFxE & y] :"dC06lytj&>׸mPIhIJ W-Y֌/D!^UhA].&$CzӐy^ނPBX^Lv ëLxy{dwJ3"631L0-3Vs%Qv~!7RbYP7a# Y3zJq8}rYi__CXk0s()Ry/Yf؇@EӻNHcKD,z9 6EInSOɩg6Td #sd'k _KVbipv"iNK=O1ĖluRR&'B*\ekib[ v&0B~iU>y.xG93*鬁fN>x`,bX$SVzFp6 +]?>= ,Zp4ȳ7I 4" ^Χd]N&m2C^#X:ŶEWBյ?7>hwWa;xw!Z}s2eJa1\63a|b!2ۻt^^ˆBFb)`t,Bi !_rPdpSK۩yТEdZxuwV̊`YIqBo}K & c2L.:ڊ&󍂝i7 Ώ̝>%dAXJ1 9crr4M%h:U:XU5P=Dml|#؀ŅqCDq"dVOـ6'x?^ zL&)*{K BJflptRV3-!J_k [$ H*c MUSnuϨ(}SǢ?#S#gh926W՚*:qaS^Ҡ^̠]b?";BwS* 0UOiC9 L)˸ޏ`IhlUVHuGFp<زQs0e%:t}jP6w +})|Q~v@eca-SR[Ae>B,Dyli"?`R>\4,zSug[`v3u)s6m(^D50r3ng%0d~e > Tv4kD#F $dDTmhQ:+XRFHpW%Z#d'/F, VМdaF9S9IQF2^D,t_(5_izW J2PAt8QaAQ%WpCF$gI CMt 1jkBAry( hɫe,.\p7.tXr,dvL߃ 2v'B cXaUjd2O5EhÊ`ӊQ +~n?foX]M˵gGw)b^>#!W}&~OX ;@T'RSH[~R)(UuZ(m EQR  ,a9WYnMeՉEyn`K6˙;ÐEKMA LWl7*yN|uB]KXKw+T{vO⤨݄ǖsAj z0lF[J:2G(*dQ%wo̭6;>b` 9Zf:e23d?(& L˶ Osʃ)9]o>'tDu1V.Sݒ$ qj O C4  m;J.^qNgwAŽ]]WbziKةw=p\xf]OC!񣏠>idMO4*8fId3勬EŁfޠI⿎̷ KԎ#?4|7tR5ڜNpWms1HбƠ*'N#GCA2 <kAzq>CWt 9zr}B&`c 3pJK/=µA(TsYL'܊Lk:,ApL1>U&)"37UK_XoJm{_þPŲՀ^U6Ǣ1$l|ЈoYw4ƿ,Dۻ<|Fs0gXDݨ45Ш\%#gWdܣ1KB9>y*gMf(:ctm6DыEgphC8hAN*h'y+">d\%;!g"rr#;;.plu8` Mu)C=F$gk]XQDjK'I ym$E߬ZRT8AȈ C$fQf=^E >fHō t-rK0ь]XZH01V(rrNj&MڳdNaNDy(T|OY#5`2fm6ʁ0uyjQpt/nHX(!v3 )'M )ې}<ӋA# Ku,-{R ݫ덫%Oyu ~y~LOf:<(θצawO"/NT/c| >ڳ/fn K͏NG.~ÔZJ9LuqHNPҢG1SPU1 qo)Dcי7;2KN*=$[j,9\/S;9~;ߛoGـ5+ݍfe8!01Ct\o ux@bΊ9uc)_=x6-S A4e2C$%^b.on槐 )'2VJō{pYeD|f^=aوe̚UIh0vHOҶI6WSDX'Eջlކx%ÓA eu1w}T 4]T{<54M1wńqCZD=d d0֍"m41Ӽd]K4P쫏\ 9P>l.N>Bfȥ[_oWzp%b4K*+Fc"abj%8[ޯՄph<h*>ur4[09ZJ|޸*"2MG\Nizxq&qH[Vp&ɠg,5ȉ3q)^|Ͳ$PVH a.'"!4CAzHsk|N≮ EX/&]S"T'u/&sؓ0@AM؃W↠?İ bINIGgӿ5zPU@әB+hHԙXzʲJ wBPDL\eQwE*kY0Qh9sW=zk= TQ(=[mKCWD4xۡQ";/d7L>ɿ# ݵTTa=.6rFrgVUe)&ƠVT\ԏk<so0cM#S >E( 3ކ$!x90 5'qϡx3H҃SuUڌPŚKq7z"YT0(cI<⚪it?tRugXkynuz(X0ͼާ>dւ[K5^%45Q|Dަs+Q798˶V#̵ ꘩@  (J)P!动^ qE~:T#b"p:\*&Ff?.Jy! LZy:%~o8|Yp|sxG]Q(;o84p0(耀ZyP]PIJE[p6B?tf* _E7m׿ : @+Ţ7}ӪJt;%J; dC^%SmsLjzllJ4' /Hg#ܧ{MPDGJeS7Al%EODލz5{!lϡ'Ḣ73ЏoUei s^UU !Fk 8!K^&cB4p,J89'd_,T K(InaOЋ#'pl#zTBPGc3A>ŠнT[6&~Sp0[XsKh_k(^:ѭvW0mJbV]m"#Mc0(uxDtlSLr?Gbr\?J/S 4ohG`o(L`?(i+Y~]8NtD|1GKP/޶47vʭz<`TDFS7# !hYR1ءH1Gơ`Y$ _Z`љz#MM8~(E{)TZ t訚c9 3^^л2@al/adR O(G:O!ԝimjb29 Kxs/隮}ؕuxggӽb]ZSQ%N{d-gxx׭y3qݎ?oɾϳlZI25kM!Wr'\ai(,ҜT9Bh%sl\"ڭD\ڛf h;z2CGčoR/V@-IB$á}1E֧xvjϠrhtV1WPõn)9y7%;)N@Aw\Wͷb-[(JA0_Cr>YD!>^|.Z9(i&~,8QӶK r^փKc 1!zm}GW 7 9Ud1x bюTp9͘ `^@3!= <,8g ?9Gir=뫌U4ȹ>܎nw{W㖅F2ڠȤi, _CDa[3˵T8/ӄ7;NT2xQ䑌y؂jYn(QPI;SGqZ8?[: /\2`+Z~JΠDF{5ik6]}X~mykOU)Np%djKX` Q*p^WV fCفhXwb.G8R}(<,ii' J?%G !;fjjޑ%]PHi5zXr%7-U'q$GS2qx|hT(сipzC󧦇hźU3g^.xxJ܀Vz V ȨvK11vqAiխݺr`G'Lk1i2ء݉m }!sNwy}L C3L\:81ͶBm AVVqDe$'IT8WE5sC|Ȼ+#7%RS+f#WE^hvO໙dg&~mto3A\dC=%4導nH&A0$.>ķ͚ؗmR|O}e.KfVjMe¥DH=4 d]Y#2F LJ=j[]݃kT/%)Mե?z#U O`Ч.OkK8YAK9 \iva}(fy]b1SQPbNJ0 _H$OӼuT#2Igm `3RfsI+y(ƄHŜH@X URBb[` H طn"YzgoQyO8*/WztdoLmIч0͂B 'N2ޯ\vsd 9"g} CƯK;cJŒfY8 efZ4|#G5t\.Y{s]zu{뀃Rtٍ{iW[? 2M?"#aL70V=>)p;h)hݱ6nYV fҡo& !p

{PP!5wT(4~ԕEQ#6(#n#tY8u@.ͣzBvs$+H֒Bky 15(H/>Gw0Eߚ-tt@^&֟1u֯F|wS1жͼbJW6wN[Q:>UX<AQ0u>bf*w ZK[^wh`:JT4(3W NNΡ_ ]2U%+  k*/kMd ^lec ^nU QB0*i>ӹ0,RɈK/z/}1rR c$kӶ: mMaz>! t$I>aW+RvVvr-b8C S@w~zdoI'e _}zöY!-qxTNxϬ؇pK%@~ڢI0@>uy(诋f{u"OWZ _BL:1w2@Xn!u- IdM) E@[I@[|CUBROڶxABMm]R)6%OX.~6*G*y?wu<R2YNb*x>"qgeV2y:" LL 4qH՛gvmB:΁Nu}< ,2ril8Q>Xot;{ Ej&]M's?<%#o"r:"ߣ,WxP'1edɚMaUa7(MҕDu10#Php@=0}b@>c.7;(S[oUD,^QN̔Ig87hB'.AD_,gS{|xA(ܸR篝X=@;UZ@i =mG p:[xnp1j4 S $u<%_2w?V(#F }ZN.Z*kMVjDyU~2J#@h?1FX@F A)t`y|1r&Xem`Y-O9P"*J?˨Wa?gT߁g5"8}+#)l ι^.Jeb̼ww0RvȀРܥ99$ xW:K/fliքy~ PCkW j^_WXVvZpƯ¨%sPr^gӆ;SKڼ'lWEԦ܎`LЋ9jΧ^Pj$2yܪ@j7 UWvꟿz o2ݢT _#1\rBK<͏=w9Pv/FOJ}*ZxbR:r-%<"#0f$0Z~jCzT90N02,2"NYfTeoA{:©ܗVAS(7FRxtse:@aރ"BC.BvgE;π :6d2$k i "8y) 胹!!r yYadL%j[EvdǍL8!M穇ν'CDy z)罬*e<,1B-(g&{ꈀ3[ KБH!nD],^%3SC: zEG"X+p\{Ѳs`պ3BEA㠅IUq"i7g.WrǨSѯ!) y.Zah,"$@elS49N#^ go;e5>3+g>l0'FFςYjJ Tgz ޱanu(K֘1#6d4kUX%s^,~ҏ!$S<~fK͑nDPʇʤZey]q;";3/i+C* s8+t\N ߬TuBŕ `r'j2+%b_Aq])rt|}9p*+/gh_a>"|ϴ>5W0Dc%;#rQ*>-`%ofHbb*wy1258.Xgq^M% ꀸ}ȫ4kLxpQ]aʻn,브D X6AӲNmjMhQ%ěP ]Ս&v!QstD87(ǟ2xtIo2}2?6) oq^N^Tkb+V]QJVň/yi:7f`LIf9,qs@1w5=E۳ϨFr,+571J3Z} c ſ҈ov)xj8BEB|NgzB QmJqj=ORaхCT.`#f Ai]d3N"~iux "5s_*y ٨SF;*t9Y(Pqi QY<6+XppN*|DL }n_ٞ]H㞿#PzP٣V足\קIzq*Iék.mnL\,iƹѨ[0a2"p6-6uS&/֙O`\pj~ gxL/ɽogp$xA-fPnlm0E+UXbYn_m?'GnHxjd2~`@b Di7 Tvrt-ͦsI;iT1߶!!xӁ.H̕P f$1-LI#2Pt:^EcQO~jF:XkA]bs~.QNaǰ;7}摡;T'_ĸ-wHɉ϶s*.cߕF2|OprlnDOdqSÔ,AB Gfm1jFPY8,mD]aYWfgWW^`!x96M,ym7+}ɾX(NNmNeXv941aB>-prl6tDLd](׽jCH/[v9Ԝ.UB'_Z6MlgaAP8FxCK|MDŽ$|]}!f%u}J.r'|/eY݊vzpChş?FO ʯB拐,xo 9;BX](պsz١F򆻐+$ʨq| _SjC G"W ,m)}\DoKՇG ~[p՚ضkS]IT$mzl%2bm5S6Rq_tNw[X3I_bA2 qj@{\Z5ABbFefD.vtz"t"ٷ N:53- K1Tͭ;=By;G \i#?V$e}V$dlh(Mfxm_ϮHY8Y5G.BX!h^>a ;^Wu O¼YL'n:4{{Ob( s"DҕK˲6KHrae"'!{}LjjFhue=n,o݌cz|.c̈́fޥd QXp%IqQNBBRl7z=6:)[8n +&(xɝ%.ݟI^jD'R虔gL{,_"~?>{,9)='Ie< G򌀫 5cKO:xiMO-Ÿ)|ܪI3+^u/>)\y MhPZ| sƗ`ުe:iA9c IUmn!rJQiV8:Z]/q#@gF+]kW+*ut1-2؊/4в`v]$ \~ˌ;4wRA˿Ѻ= 9EǢG0U%;dvٗb|Oz6ሻWDOWnq-Z$o C,\ݥ4FkGRmm(L][ s@9w K tM @̊lVϊoxak<#{{{x$yQ* ػHqI9'2UR7ȼ?*ݐ@"YUӊmBb_@uߘvkԛhQQCs\yѧEBRmJ3EYd]>븬; I%1UylVkmG=i;^ BNMI' Θw 3ܑYιjmG^u-ɇh1{:JVJ^'}G^qG0,v6o,x{AzSK ,"}5Fˆ7$Ip6}ݳPZkYP ޔ5X\e]TuD?[_elv{>5Gsy/-g,YنcM85 6qו M/*f10P?c@spy`Ow 3]E3y};IO!z0Xz'OY&LqfOo%)g*س@WOkt忺V=hk՘7JBb\G@O+UD{'֠d*Aq`oiDzY)2 T}qg@Pxb*1fU.^Xjrnc*o99uI[="*N[P H3x|$ˤ/5cc'dWMލ,8aێzhs&XǬ]P*!tbЂڽދN HO6 C ^tF Ǒȶxk6]'|rjlWG':LJ /C-2 x~:~٭@^ⲻ3U+i6$5O8{L~:FDs&"WaL@WmŢN?u7Ѿ/櫽lp=C5ƕ/Sub2aPfQy@6 z*Xy5R;nm65Af D/{3<8Q d}̨`ts60{B2h9stRi @$hiprU,:ۘ7Hk0gu@]ҎE33ø6" ~&g eLwu݋SI@Doܔ.hK )#yZmK< j,`_}u7>%z t8 ]g#Y48ҙ#q&o谤FE$)GUMoq'X48 "p9w$7:B6'0$w 7VdWlV𦬗ީM^>ŤIǻ|'6*8i%#Аz6?Ӟ*s`0)} ?TSEs{-(+b{TMwd|3q(WXc%(p ѕhnٶB3<_v_ٛ'4G5٤@:p%e1z K;ToiT~)@g20g,Zȵ|HhUxr$/1$.6U=k)ҭwp iJ̽(ZpX\wBN rd8GJ^yKǛ:Ph_9%ݔ7SRHZ"S/©傭vRcyW@8o`q ]AwӪr/]RñϞ3,cJXq`17I8L^<6Wpe8d=܊SڸsT 2o6q#|\YuE#luv,ETp]Ú慬ѹh{J3G&MQ3߯&ث8-v\_3u#O\is~ (85Eť>G* HLbS?R3588=Ԝ }}E>Kvqf/ 6/z8b'RGQM L!$=ZфׂXTKWK=K|ς'44xEdEdB1(+l+"A2d"S fEؾS^lc 갽*\%p{ōN~ D1@n\@\WRw8u㓯/e@rDͅb}SަB.T-*/dmdžj{KaC BR/_ўs+yۡ4n؀ߜ"+*.K/0 B( {k@3۟~Ǎ1n;3JnlMZ4Tי(i!莎h^X[ O`8 \<#g&6U,IYqabsVRzI Q/ר_,.WV#!=M炠^5$תGd^|L[Px<E KP~+srliS$h6v<nr,c,T_䡭ָYNjR{T2ôJkEe,j rv'lynVԔ>ҩQ `\i/-߷; {ӖW }~} :İ?lpoɁH"O63yꖢlA+iƟ3\~z|#EY,&19UnPea$"0΁Ăg 16%q man+u; ASau)F{,}8'eW7U&FQ~gLޑ M z/357IG zWƽPvqE%*jQu%J{2Α+3"M%L>n+M(jW~K}yiܛo S]](XθE<Ͱʃ| 缅DG?_'ר%KuOUsr5D' B[U%l5:\:Wճ?7ڷ|Йyُ>~ J^AGEk{'y*0vzJ{hk_+}S()2vhj˪]zS$!1%igo7 i<()rP]OS%&QӔr}H?PkgaxB¹ B9"\5]ZW)Y҆#)oR[F|1M%!N٩4«y&%7Y7gHο jḃqOnH9=k! 4K-\\HTC2!۽ꈔA>H0 [2> /? BFIuN꿼E<}ükĻ[$jTm>)9?`M#:ô~+#ݮGqL 0C{i9a FfIkK]i~: xYE4E̓nrM]AuJWpAK؝_SA&ļp|P_6gAo3KRj0ֹ؟ԕ^^TXX X2J')9}vKa3ߦU,/uIG0sqǤu8284[H kʖ4T/#i< 9Ρ&"9\k׊4]։%A!xD'zk, tw8q!NcLe]v63C"ktz/OMOd_6µ9n 4ٛqaulnpksԳHscjAġ('|C/mYr}Vb3L w ;{9i&:~ˌ;A`ƳXkۼpdz(8`64HSa"Ϝ̞%V׃RVZǤH$Kle,-k1N3mЭqEo|yS5SUѪx~TsN(iՇ=l{d<T%]a8E6كUϙݠ#K(09+M e2C&o"Oě 8>TCgP }W I"l~?c\`Ɵ$0o*yOjpD),K41ZS4SL*Bٜ/+AwvSfuiBYb ١(yy|瑏@pYL<_@rq/SOǕKT 'tdt.CfUr* FG 3 e!}@1Lq.[9b:;cpx1Yi3FR7«y(I W^~٦\н`sp\C_*k~\;[b5979x~lv;eE/??3uP&41A\Mp2~\sjBWfc-+r5I(*_9dz@m ^ўrn4&Fh (8R 900JYt;WN-+?;KZ$i[^(@`#Qz _Z2~U[|?-DS nKMo Ha].D8".]ŗ"sڒ6 8r C Xf?ہv(Pm_"c\JDcW˞r%4u&j1Bc7ڵJWu{lOof5O::lCُ H>IKSG@BS$ ֝ 1#٘pPRiK&mpM n81h'G QZ?5,y> Oϰm6{󾪏[CMX^:.܁rkG^JwX "%Fy+hzvT QC4F1,C:[YiqH+o\i߸'&% '_AueBpΐ=E2!l_P= "2RحjZs/LW SThʱ+⻜uoptxWC`&{ V}3"&2C-Ӣ-<%de8ܥ1)f l7@BgYZ21fd846df11ff12108b095aa7d17b2cd4d5552c933566f3cddb263229cca6b46057522afa84933ef bb7ec89f1f64990bcc746653a2c829e6a81d9bf204f7ce9e6d4ac715c18cbdbb5c436ecb18c77626