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 FF9~,<\ ] HOL-Datatype_Benchmark:threads=6elapsed=526.759cpu=1955.680gc=728.6847zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;珽P:0bT1[YB!0Ox/}y?Pkq(?O[8IұŤMPJd"  [#(k+39bǹgOdxDIv(ڍڀ앨l07$y;32[YĐTH6s7C/ şރ ь =Ieq'p(b,3ؐ袴UZ}ݣW詬!#nv[* 8ntI'.kYZOϮW@1Wa][uˠp-{T~ءf7*+z!_`i#NM*X&Xvա*VyB u7sV6\.*0zׇ5m,z^Tr's.eRtjKvLԚ#b54Qʿ1ݹ$Hgc^m[?,'!x(ϙf+ٳNX(jtT9#0O<%"h%~W1S fh}`~?\vj F-lrPO$膛‰EeATiQ4NK;h0>;AYdΔ5Fd;#5}*>dvYnqWu&śyhw Ӊ|b~(ma@GL,m%Z{\~j>aIծ6P=Ƽ1ON`,cՀZQuh|;s10*GoKA{ɐf 8cQz5G`v!$0ćf%e!>bqJ5)GANV_*clx^m#*_̤쨿@ǩHk^ 9Pkl 2l2 *lYz=pը+ka&-HLAf/hkZǻ8Q<َ gwnXZL#0"*RԖ"s\F>3ʽA߼ .Ɣ*ƍauvi"N۹9lUz+ NMi{LX,hᄕOBc]9*+.3JwAM@8ˋZ585CCgl^QAҴ WL'hL;WRaSHWk-VeoS u^NCt*<닔)kWU~0B,/[\Y@dVT+֧T|/ H@&'6AJ b{U){&,&5SnnGk-Yf'0N)V+-qp;) KӿӶ6Eir)'xAڵ~0,O]qÙu1@.r%J@I^U}?2"%6=K fcFA'U᧠;Kv-uxҿFAێ5>{:Al>r +|MVm2NßDMSOj'3S X !"k!y8,_r ªTleE*\JFKoܹJtcE#"_)ڷ"`n2_hNo4m~/s1y596j)1юBzW.~o0ޑNdG>bfM *|X-l r+o6P$ ea#W2 U4IP1JUSCYHw t6fEYa<cm=xcUdhHE\FEMwQXnգD0)jpI':f*1?8tIJŭK4p}x+'Axpf](@f%A}ML(,ɁDE-R6[q ζOxy|NU42ox(#hx4YSzΟQy9r .:*dgf?2Iw15gۛTg0I4sSY Fa64A;Z);nqFi'gp<}"(+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND,9I% THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ ,,rE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texG9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚ5 Lv%ԝ{zkx*u*Ga)g2έ77cIv}S'.M_Vɟ*{_^%ژf4dF Ff r%=^s[!]H%q$\FZb2]{P*CBnXk~!9KP,v0zۨwI!;wxY@_MhXuLg+,XpY2Pk*Q9s,-!/; &f${>֛KZfk쵥4+)!U?!;Ŏ|d >̱2^'R@"i1a{Ly&B'œf=ikAN *K]њ ^0RZa\]C4Q+ l.g29" M/AUd=d$n;7K3wk/VLc>6 P//4t^ >Kh7Ex2)an%jxZs磲>4ZT1 Op sWHFlt?Ҩ F cISqҿ=oX:zZ}1G&J]? 71Dl\פTdG')AMS߸H$ho{IgܫHJCkh[6@`5$I2lߵ;EZ3@ FO 9=BO$5Hf345*0Tq/ 8\6/!LBv#Āwe~d'/js%<LVD}uio6xj-&_ĹH (Sb Aq,U{nGI\_? Bm UQK nCa9xIX#@ɡ+c 'qjvQq,զ; JHq8Ab$CPyS>΀\`%9׎ަ}a`co2 9j^zAuqwm#XT% 5X $YĖ!;0v<o1r O/^Ш[J97 lV{i'Ƿ֤;5vG_7e((maTJg9! _S'9BXYj oyanGZ<5H>X<ݛeX~kzJ>r+!+n[zǺ<+D]vdAFX B%Mm>$(O9$jRez)G8ÉChܑZP)|f` q?J ZUcz+8zߦ?EI4)kddսw$܃^"Zoۋ;\dﱔ\M&ٝIr,h2ktȫQEE!9|\vk\ X's] 4g2>@FLFX"x/`sX~J˯\)P>:5PJț10CHD~?"cpv tM*TN母eYyZ᧖D4M ߯Jn@! T90Kp?8*"/C ̲)u&>>&vG_7 ~1kxϘEY|yȱ9RYׯˣ>h-a27cq ɡ;zPTܫiY׸LsmDAp,K҂ WQ)5rs$-hfLEo.5>Lx CFqMA)x갩 8S\X}|E_,=jBelxc[\7Z XFY\r4pQDawHd ßX GY!%$n0u4 跺9HŅ] vG(NH.uw EWM.t:nzjt쇚Ϛ. f#,œx>Psd34eQ׹zg Db2V'7V IOaqDo4\I9* %{(\:1$ CM:Lb*h^h~I)@B4 *Ar|LLRF7 &<ǣd_ ůemץRx0̬ &V|2A֕*gF+<Yl;NZͫ[:"ҞQ! \՝!gY˨|;ݾe J:HZX+ ڬ7/*rS$o0Uh,Sy,pSmgn _#'X;c35Fft`M\Ѩ+],1^ՙ}xb+ˏ`Cӊn P?cq;fvv#xIs[цHIn_ý?xʃۍRL|!>9EW1YMJJ ձBvMLB+$-yfXc#BP0T3Tsjl"t Ąhc.*OG\Ęككi. ~ ]_~k߮ͻrCƷ6#{aIO^tzaهoDiMV:@9߄ nYwX "KnO[ڵ_wܐR ƃx:joBhلN]9/;t0I?/-n RC;!~ r4 9tm!agD u ">PwЈ5Q>F C~.*M\?/# a+@r3ОٻVT/T9J37mpW)ϻ;  ;0p},ϟh{.L-hFTotL!N>`ѣ 0(ː A" ]վ@儁Ϛ`F&3u q (,:ʼYDw$lq$T "8a<^=\(l-uvq<9. [7h*>zżKE.Uɮvy@Aq/?`^E=1&y^x#q$a>H~HU:,ii<'\P*w 6Ik`x{TZYmK'ChkVQxx;#VԦ#4DI>̵D 5TUTE*k祫Vڥ ++2L4w6%=1Ij hé/\ {8!n/ܧko&D)` `e +Q=/;PZT`LQ@d*P9k9Kwꞟ dI33',h=5I]uh%Ⳅig8IDaTu?7=` rua? q{nvYnLNw6%̰f/TbK4=='Ps2!Ẹ)gA,hz(=kcgyC|xі6`8ՒܑVE "1dWqM={c$Y5 dhͭÛ%tR-I^lZX@:Oj `|#~ZjLqKԠDjE@ZKݱ %IiJJfI^sٝ]j#[DEzũ#CL*-{dj=샕x]s9oP Pj$) wُD|:$ȯNtzڎBd~B"=,(^D}TX/HgpֳZdy #,Oer8*>7K֐ ?g@*8io!%%:R0bm BBteL32^t V&ձOMJ}0 '9SϢo 1RJT j'e1*gePK!*(+trdYhTWShZ(rד Q'4# O svD4=]6ȶC̮3G\p f.,Gn7;d1t nP]1NH5C 9ݍJz&@-0L|cjLzL:ZCR#:M̜aR ^XdEm`7bpAbGցtk$\u#'L"إ":.İuYE:4iV&ϚAƗ>`eş< ;|,)u?=|`_q 49Tt^9kGd?mHTOO4&u4!F) m&(j=SsٮR%HclaO뒦Aow T~Z+9QӖi[2Ld/|\ﻄѸ)DO9;(',XDcY~8CѲՆcѽ+?,'$Vi94&f 3h[WmpՌBCyU3 84F֥j}f2ojyg8DKg"tmԕ/53ۏHob-P0t^vH!a!+bCb& ro%~˘kzJ)]8\E2 a[z}\r<i]Ov^(n9 C+2gFPX-j y`z8_j[ + @ԨyBa>,`iO˹%׋:LZzzI9r9/w-a3Zd;Y d >%Vk#R1O$1!OD+>;iU+6~JiraЎf;zUKv2*T|.9- &"Cd+[o˪#QFT N k'T9TJ^^qGeӒrri6"]GaMHFYqntOV 4eY{}GԬr!ZS[6.vۺA@H=1T5>ۓ dHW^1fn/Cz KhR#{a;'F2ᶤ3 c DJk5/ /ڤ(t B`5e)iNe7 ,yC"/ë]zm*W(Vű)N{z%s[MP1A 7<{K^Rx8t^EUFho,/lk>1AŶTX9 RP Se܅-v+fKtz/eN-~/ӌ1 N1Dk4h.wbOmxsr(ǵu[dIO%(ՠE* 0"_ׂU.U\K:mǺu ״SYm}p0SN&GťhkiQK^#߳}{!}傞z^THwUT@xjBg- j"ac;":G#ƿAH ˝ Z6a)mM@O^vDZO$ `ܮT0.E389p,e}[)VGWün!ۉ ;tSJ͸Kkd"[sIWԘoz(i4[Ro= ^~@] -9b*^7XAFTHsF( M. 91 wu6b,axDmr8QG_n^wn|PPG SRרP|@Axm!MCVnZvYdҋ(c ER"r??KEi6y: ":C;j(h켥(>1`/B S҉}|P$V<&bx3cd᥋<.OޔL1IkWZN^ $O0ASPu@ "-'u|8~Y*;>w`l=h0reZ +iǓ> ] Aw*yE'3F2]G,k7 k~πJM#')b}Jr(F_*QB|.;}Wӣq%2k'e9A THUwiܜn|PMjPb#˓cl L9E|^Tӑ ul(:m&ϑs=l|= 螘NsSNUZmY 0Jpb Mx㾰-Ri٥=~>~2֞N+SmZmYY8 iif\#lşlNwRz̿}G&>jZL@hximq%7.(_b *@Y-5$[ e{e@Nq+P3 ` GN[z%gG~}*)c)VBOio2@w'yy~h =m:4hȌr㡨[b^e ͪ i&EbشK-Uv1]د/poEL7t-ҋ26!p|-նtInI"@Kpzb=4b]7>g }`8D!<-6a|H0Lc4R)YѢ `14ƞ 0&cGW jaܲDx6wp{7<! m=Wfbq1S vՋgɗ4FT̈́SI>.Azy|x6w +-p&2=L -/7|[tғQ*+i\Yhݡ?a0`*DFXҒits;_\,3!vXh:̓փYc\^$Mݡhe'cƇ{9$IK5np-sn?!6$6$kncq-$0n:Jgt(2xKF{zK.bޞosd]p?qY˻eMY]Za9bvZp2:QEx&yL>G*jwf̹êgxެvq23v6)Ͼ{X( )%;[Ɗݠ_: ܛBA `;w EŦ_oj2 y =ކaG?qL0aN޵' 4ѥ: O c 0gmĸt"kY͑_8[^N&:sW]ZISA4W.1Xثi?=Vp˫dHMcW;yz--YhJRЪ)|yx#-.9CQ[~0:0;N̂0Or8rY,6Ln2Jdw_=#toKNB|@ބDj.əYw:lIJE^5ï։65?fAG_pa1ZaӬ$^dV,cWJR5}Td7m2{|Səm}KU EAOUG~VooKhW[AqdKj\+Q%hGvʄʶ@лEǷNOD Jڷߊe1穹uѩMI/+2^Aɪݯm2p$NʹTZf'?0_![wsc7>7{EHbbTSOGb!Kqٞ^8 ]m ~]q%^9 m,Rx{7%_O90͓/aMO5+!5pyVa|ҙ0)$g e3XNyM4Z=&+ަxa6 lEecjUhz=n6xNf7X+#j"Lñ)n݄*.83pG-u]LƱXV#:n~2{Y|J@7 /Hr */Ӵ|@Y HE? {d/z;` ;jxֿR+w_2NUDs!\ a/25K^)Te1T_*fEy̬OP}*DTsuvW tCUFІ.n+F@ٍKY򆣧m=8.Q;XOх@e?[Az ~QI 3k}O(wwL!_o*"S@iBzќ%(V]3URP<]]榕Mqg։ϗ"wW~͞N*Ѝ(Oo0 6z$Y MG_va'$\Ib|IXLMg gp*HZ3Ƹ^p2!WbÅbw-5 is;Ȏ%rGJY<% ?hJ5!Ɉ4n9:0)qilzӨ`% bϺ`584%#a-D6dl_sl5ɽ=*P8MfM"'xH4tJ18FQLn=FpHq- h{1Y&Ə>1s(mpj|?,‚Ox,9g9#DW־ ZHETTXś^\= 0dA.<3Sy& ;(wFt } M73;ĥ:"p81˻oV]"Tf+`P**OͿ XV~^[eo&;֊㛿\zcZ%[Ik;pO qϫa|cXC|`5lly_3zN:8N/ߺa8ԒVIh]3/5b0H,Ǐ&epKJ;/pO=0^|-LH6 q XݿԌrR?-`?kF|%'E;n&MKJv,m򃡱Zk+6@1O3jQؤ.~#LZ tʞ `$Sc]qX0gFMZpP,O.8;Fij(fMҡ4tJJt޵C <$R BT1#췻0|uK{fWz T2Ut~>mۃl~KarXYV.+{V7ҪL?!nafaW~{&qCVCeʧ+5"A#Ӌ@s^n$߰jU>xA?i/Eiӑc5.&vXz) BE[NV*}G߂у] ̠ W3v |7F 5%je?W6qgUCs{ h$椓IR+P{YPxvdя)䤎{䷧8qqOvkCVtC,T袶Ig/AEN#dHha!.U|{*TL{iGǒᔽvQKjZP,\"~; |Eu\:SYd /˂0{Hkƽ HcgҒ ۋCw82_%tN&p#G9z@UR|nBj~ tSh{q ;Ȝ/Iͥ 5]K\*@*^›RtG >2,)(W䉇<&5#{{PuO\W?tD쌷q ' -@DŽGy9VWAuBm6tbD]Z) )Mil$lB45M`A!˰'Ɨ13E,H 1i8[vs|p 2Ybyף_ʩ UN,WkL_ٱ3~ b&z!d@MIN-c7o(d96;PG+=cL~I'K4 x$ pۥ~^Ѐ} H6JWJĉPgdo-4 ddzT[[`&u98,],dMd_l{cgUtnS2Ҿӥ*<6f}tרRri.vִՠVR.@ ?)zPGtw*s?Hh1{SH74T&''4؅;mP¿3@;x31͠\JzJQ!'伜n9 &Ze_ED (L< /w…n!$3$F{Nsvc@{)N^M|u3s-Cv03n[Faŗ{D5'EMޒ~ٮ?,\(Mن hf )Ym@zyKt)|U i[NX=S/A=o^RƄ (502@`PuT݋nVbF(_XQ+$HyGGUG-j 0u5=d_MUgͱJ n:T=]K@t_ؒY4,)oIsvs on"MƠ4mlc˭"r⒲aF%QhPlR6IP$*j֚bo,&(3= + gqo6lNf4-V{.| tk[حT"VOb*M$FGZߋ0H;w]YC}f|դ1, EWqYCRjNlېj">^S' K(Y[ ;;hMz7;KGc IA?to7ƩIVF\{пLE%D 5N&R"TЯ{qGe5UP"`u,4< a rl3,oX6I+8BNy//{%ҏ A'}ih0~2n mIDEsAp.W@F̟ qLFA-mw̛bv|VCu5xnvmHh+ؐ@q"!XxtNLNCD' +8J[*w'bnůM?oW{גNT[k+o[ V*`5V/`W%/g&WЇ%7 ׺s/zV3_/mH\R`T:+}qa+ǔձʉ*\0'Mϼި)-8.L'﫷dfd KXZ+ɤxmuuzi֣\^۠Z)=s1]lD5r]As{/}_L-v[’p<EAF/,'3Y@}Ϙ2LuJ*Q'߿ {O{]Ў 4jt*nAUˆs-)arlnCd=4*Vk/Nz}m \ >xHHkBJ@ 9|j{j^IC5}G41mUC/Z{[ԺTP{ T?IM' `pUYѲ$) x[X:ɐZvT ]QD_kE?l!#[:I䰱 B_.ȫV:5&?V/Lr"]JgSLO AH|QeW7,#D#0 b/Q-D΢kؒ9Q;q_%_RoJWswV,N V'#SZ{{eʡ=١|'y^hr~} kWrf2!+ۡfTXrxߥ=W<읽Qΐs,(bQl%d-b󄑤ڞD Y:<r;!ndp# 8;:0A@AF5Qo܆Ks[\iMl '7䪎@&Br9!<+^<_1,襽dL:|'z `{+G7o`JYq}Ѯd0I ӭifǾTCm[nqƏ즰xlg9r^\ 9F3Cf ;L4~}?!G.IT6C07w%<;bcU'\S ^yἬB$PQ|*E8z'*WSѓ>D !.J?>ásUc|fTͷa@zGVCu[ 'Zݪ@cT-B{&c?}C+Vpm9(#S&" iPg^?8w=T}(%0C/ݢ/_y)ʩ)'Iu&6BX\0/#1QQe\ΡRFXsUozwKsMy6lk=uZOTJbuKRV#nɾNU&4o&,h] ^z)Mk3b ڀ:Y?&B~6d5T_lUA;i ~߰q3sWf!h$L8lu&EKڈurCų0 iY>`F]9;jkg] A̦6W>B܍  o Z:E[~R!t1_ ̀diʫ4zIhsx]Vְ(Ò2OƞX0hJu!_6re9`Αbs%ehbAP"#׍I+dQ l⧍¼~uEF|Q]mo{[)/Y Ic:\Ei2?PR |Siʠ4(=K_ՐkB ܌&Z41'K2ewyTڞwv Nb%,ibQF s$#t8c9qY{K˛D`\ԩՙC{H>6!$Tex۱M}C "2]Xn$@ϳ} <tvx eU.OENUIp,u ]Z[ȮnNK]ᤀf2 ё *0(B>fsz=R85T'dVmbDS/їJqgtb5lHnMP3 Q ] '79m %˿Lj\[EF&%loӝ;N* uf$_4Kˇ^`G'2Yrw.ke_VlSTo`n\J OrG*f[AgCʘɷ1 Z~L:J7tޤdeaV#yDl8q T 9%^}e^'yp>6 {.oNNAvfrgy>(,2J)&Ǭd˴fMn'Mٍ$NO mBlᙸNzI"}+¨ORvdkQ`qwK:=V"ږfpyoTaQ6\NPꜛ i>s3fvG+"钛УO9k$R|C-K_*gPC4ḅ.u}S E J~L*6}huo=~7EY(nPHӧn +9~"Urk5gUw zדRD;'ܞYH^lg7]ԒkA1rrpYpo~%a6|F^A8&_⽌;.RQsENF >(v\eȏ fV `Q` h ?wHj! Vt'Xɬ\K8q&q}xK'g;s~(|]]DoEkp(d|y1ѓ:خn;ZޞI'%q}⠢ٕ<!Z쓺p_LaZFH]ZYڽ$dį\,`WIү=T 3H#^ыn;CJ-eUpl #\MmbPGlT0W#A|.Ƞr#wxh-!G#W_QBr9QL{g3g-HwiLn7H7 * _7>K_XKO`XJ>}T_!K30/NE!_r]q+9XDŸ .sv!D\$]@q8|z *Nl,bSu ]w!PHyIxh0gB"z,]# 尥9LEEөEfԲ 5an./J#똛֋w(},9  AEܽiC9X4A2*Pjϲ2'ֵFx5T,.̳%4}we4v0܇XoBx2`mUܟ,Ֆ21ZFdjob㽯: "j`#/(ne w^`* <ʸmCyM%=.0f-.e[ЭP0#Cƍ>8Ձˮu+AG|\}!X7j(v/lLW2ѩBњǍzdnׯ!M/)m25=\ Qp[U=sӚɿYFs9UD Uԟdp|R۾~._üxxzu.yb0]\\;GB\++ g1W.RPF tH~K!n$}C z@ӢOsTzKb/}?_4hyQy+؝VYw]IBLm3nkWhpwPO,  6CcX:g1QAjnONdeCs,Moޗrs[7`g# t/e =U4E6T5=`:TAFikQK4WPs\{I_`cF/ $RvaY S;S{ i,Z0O߿ =dqwż!pJ^8^_@/s^-A@ Rc q ձoѣ_PB8_֍ 7"lrTYxjߘ_6MWR}UdZ3 e|4.ODeG{rgD`lis#~O)G>{8@JV`(!`ʛGݍ%tϴ͚~?/g|nBsRNj׷1lQ-/PPTozgōS~>9ݠo *U|-ݐy L7LK^.|;^S ggv G|au4sOxcd;[_,T'6W#B31߇i;ꜧGb!VJ ?S J~߷a\&:ZY;4N~gL+_7< :3uxۿTðj=#&8)7lE~e@ڌipn#%R.<ߑTz8jvu$&1jn$X"\)[s w\(Q)`bYg{qCY֖x1T/֯#LN ShOTLnuϱﬞ;TU@Fb2'/(^wR] +wYIt@M">/ȥ-xtsǚ{:h6,JG}㬯,N<,Tw^_ɒEoI*2k*!ݧOŕ==]a:e}IAl&8Զjʼ;b(-؏Z%HmxG'H:)؂͜SQ,#g~;UaLJ>| s7 i\SM F#t6k ,fl*ISkj`% ȖsA7oz_> :b ح߇[kxuL]a & Riѿ3߈o-&`gztv*GA(`$CG&es' 3F n@:åt 4V\APUbe8`hWa<*pFl7].FDIfԾv]UfwvЉ^[SF+1Ɯ8{ qC6Tކot/2-5ʤDY/ExѠp s;32a/5(>gBr+{!"}r)'m`o)3Y*mǸsMMqO3d#«~v5fcnFy3w1x-;g͇]`LH?lq(WyťMX*ҒD/I{@jm_^ꄤ>6)MD E${2? g+X5ujj*Qz,PK%). VRX6+j d1Me`_&+E -jpwaLXR}r؍. +i̤VT?߅UDzd _O+= (ԓ@uwg[, )4&QѢuR+\Q>9M`>N[j^(gQM˙J6B<<(gB^ c'͚)Beݪ[UgCgSof( ;sƁ_8א SDp>f%4=pHᒊEq\HNPx_3}wcJ`pTuU_-CV!3iA>|72:_i:X;TqeXi[ )v/ HN UfOy2$|[7iL"v`f}h?. 2Ǵ)ЈNG zdLmHí?[5%)KTZDJU:U F[u蚘,>NNt |v^fVV.Wejz!˦i'"e[ă#+"&>- /6Ɔ- 896gTʝAܟkˠaadd]\ay隇`&.a`q;z,O!HFRw*K\j` ?DӺdwymMmϔ[űa"f&(8y ]cͦ3tGIO8L(4sql=7eb IEKw-Ŭ r1M I%hЪOJ,.FnS]敉)>e/1,yjO|^Oͣ S 1qNrk^əD5ۤZmjʲ&nT2'`NqpF k+Ǝlܪ~?jLָZB<\%gB Rj$21!3p8#+ ߮D/ ۜ62XܱJCW?mtRy!,o^v@׋|4 a0o=W2=2Mfp9 #ۡQ@5:,蔵5Z鮟*2d+8_MA R'DKe8㴷ҜQ$9W7vCLA.)o:zj'8Kͬ6paW?%|S8p3_K Sn-BDx0+W\/[oa=;`QQʥ`GVT3g&q{GPKٞD dw@:O^-^.o~Z0EJ[w8NSժUrAtx%h-hZL6j&sI<&1?&vKܪ+RzHV=\ Da^5M/Sg|>CN%`Km=WdR٠v0W,BJ1'Bd({F8*ɳ]ܲTAi en`M3q)G ӠriŴ+=Hǒc,~mif!?/?0I4U, ruI? ~Vs43 e5XjZ8Ϛ8[7o0N!y[H2|CZCNעxsqv2+'v4V~(9ƍ,yQ{ѭ8ދY< =8IEȆms:bZiI>hFhuk:ٴp (΍xdhZ4܏k37^h3uD7z#6Dw.8W瑗_Mć%֧jT4p%;EF-{ a1*hxH |=͝mNy$QE.&+):KGog9ue`y433!V75s(  TvD-".XlZ#\ u2L=pɼ^tAFx}eP@{fR&4!Bl*lEwnKbo3/`%ef<Ԧc<#THTR!QaCݠ%Nt3+~ mN> #Mim_ NL}QC? D(q?5t ~/_%%ؑɟg>hnԖ8*( _} zgb$#]#SlVy$(Dxf >̗nuZsqpۄ/'^p'B>=HGxeg8~_^˖⊋:aJeKi^^˳djXj!Mzǝ$]65gH?מaR#Ql|^wȀV$#!Gkٴ<ܽ,vOF jd?Qb}[[P3UqX8K%uے/JvSVhONE͠oױ֐bRɫ,7~9c tnQbZ͠ x~ =9mq `TA -ϽHZtq/) v^ߤ^|(sgl槿ԌI1T;mu9=7͐% "jR[qfqM(sVdmGp&J@%w=Un+|%! W5AhlFa wg\rUtG_#Rhu77ڳ˦p̎- Z%s[tα`٨z]C&e{BzT۲ @n1ks욋к5 Hpsңe$z{&9^ÒnF E _MC6VlF֤P%,d0Stb~R8kAB, x:ޤYUɃK*i(A[dc'&.rn'x=B63ٝhM% !W)>t6i(#c} .%tPVZ?r>3b +H,A=y ǗcTrS805=PjEE< /Bd/ܦ@$>nEH奂pD_a׀+R%r/B U#]aʱ iu@q).aESP\\(X}pfpɚsRiOX?+h@MT Yû=dcړ]#TV$NP/Pֵ<$(q"KQ(_F ǴZ+ :@QT~.f<7 l Ij)DD, /C"U\5B%y+P-,ӶxT@m 译 *o{T/8dhrZG9 *(ǘD88{An=wMaN-T,aly(n.2L8?<mmI2?}t|sy:5x U(L 678,G ]/z/ׅf/f$;O vGq]fß"0"v\7/ ^`k <鰆!޻esP90P8GyC4,1s#ƎW!6O3"=qZ\-%/ª9)ljbaLN7Jw8Ț(zp5E}O>>ipp3(]ݣe6tڰ(:3.flYwڜ_~KA 18GT7~r<}`ߘVbд&*FWB~ca,vt?{;h[)%١Y`b3\!m Z1I*a&#%$P[2!Q' AXݟ8C(I]9薭X>xf]k¿L[ 8ow3x]U7Qy~6UeS R~׎ AރZxn>pr;-eS&>K;i{ {JvˍrCye5x*sN?N>O4)\Lo㎡iN?p\S[ 1:]MM|X{v0I5q8b:5ڙkAWUn_,UlAbpUj=UL|п؄j~99w6oi\Z> 4aQ}xuOO1R !tfW$"]M&pC?GlB#2R;'b#aOdњ pu|SC.~/2pa&`L}aF&qeُԝyqx,8;ͪX6`8ed˩*wB3kw ޷;D2ɿ@J8DP { ?g6y(z&) f?٫˝]68?EGi,uq.}.\p"dub_:?-yx.u凝Ed'2w&Uz0u@ў 8`;RdbZA] -;jY -%29S"BJ; T |;-GdCs<.lBqD^|"焱]Kȷ $RD{HKJ-3tĊlHXmK&%.rWuEh_nŐv%3 I^,AV?vOæ^eu p&/U".J1r Efrܰu[Cq5idz%},O(2?F$1ݕmwyBU׿i~\/!ZrDKE`YlU⢳ƨVIa&@8 ܒĝ'=xΔSj,3]?++Y"+t-($ɒL Rk %_"ZZ _gPIeAN;ggO;=ʰOj.&h,,Z@3_m޴\/ c 08@AФ3LWcŷk^= gl0#"U9)k8OYfh6&%᜸bE䇏5#XT5wK\?Yآ jErU_ē@v^Mv]|8^=T$ Цb`V葞nƇFYE78kD-7Fl ^8aT:?w^BR%2s"\@!ϰR8I(ՙ'mH:w42W+QufGA`op#ki:O͕NGm&|5C哪֠quXqV#TzP" -:N=[45+Q>k?_lv.*;Y< "⮪%;(BQuEo2)$?n6mU3A` kzJAJ;97|SQqz||qⓢ]d$;~iNehd͒t79_40WhC/DZ :&>c֪z, ˣEWWV?_C ?%č{ͮ6>'-y+=1yGҍiQč/2ױgYZbba2236a8c42f2fc64182b2d4e5d5e37e447ba45edcd1e22b3bcd95b9f743e779022af92d2d4b479 1cc0c57a4dc6b1fce148bea145e128ee3a528e0f c10683afda8bf4b1603b53cf71ee32dbeeb26ac2