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 qqs9<4| ] HOL-Datatype_Benchmark:threads=6elapsed=463.477cpu=1665.312gc=440.440factor=3.597zXZִF! 5]]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*mJ1d(U`P Aݵ^8ܔ&`p8"R:'9'G ̼hvV04nb# XǟY6q,-xE !!yƖ δ=E$abo'.DV[(V}Eves2*MP'o|%3'{HS@O9,k}KC% /DI:B펄zF LY0lZjz;zKw 1S}` ywp}{n>ju⼱b̀UDp-T]/{K@$Ҹ^.FDܼB j̩ŨAG,֠2$;Me}lQS՚\( %؉F.恁ՐzV_U1tZߠuǺΣxmEZş @rݺrM\q)Igae})Oǃe * k?lL %-,[ѮxXM:v^G z` L; *n.DU;9Q3os{)ʥŦD~UTvOF%"f1ݕ܌>dʋ*aޮ!XzU&vWo4nbⱤM&Fs΢ˣx jgYZ7zXZִF!  ]ŗXiɟ1)*u%9XmłaK;݄(}6CjO'AuZ_lI^~L UgB#^iI?t[7QOྡv+T/K)PN4Qbݠ$.͢}NJҧԲ `seF O7p9}4hQoYq?꼰8Vr 0`%w.w9&;0y ^ )=)*mi߅5@bhnXF[AL[#p 0.Euo#صÏnQf?7a.K8)0YE/.,LD =\q<@|Q')I˗n#m&DKU9tE>PRbKA}lA~|hʂ~swY)m} 5H) VP}0"h}e] ŒHW$^|拠E#Tf{z~py>iP-jx9 (C&"渫 {O"eOϗ@+ uTr@$&2y5e&Lڵٙj*vEcO,3I/(n1W$^ +#2gY="r%;@O.71K91j\ /I{w:Wtl3fDiywGٿ\^lsE)4nѳ)ˉ1uU)dE;,(bcG4ʒlT}$%DGirI}zOC>񀨪2;1S]$4$ڒ >DKߩW:,aosC%5t&ݏXWHe>BT f9]5vH2jf b>K=C+ jn؅&sv1!Z=^;C_.:LP] )U>ȽG.y3X[I l&|%6L/8~JV>%bRx87= 'Em\TAޡs@9bĀʸ_7]G\nWN0N*1>6gE{'K-}dyc-+O# Gޜ5쏊ҁ}h=hBb3W\s^huXɶazVN H+,ib}ruB"C0ƣ^9/Tѧ,{]ɊC LS+'y<H@ o}Xe'= z)1U䑾9FרAvFY nafr4mr;k^ɐ"k ٲ&69t۽3΅qӵJ-K{R3o3>?Owg,G*x*pC(=kAaGk:߆f&*` ZJM!NY"2Ai7i|yuV::D[,}clV<*o[q4V<-ێj T]5AYpN|KdfXhI բL9WR0gR _-{n_6+u$9Rm@]x Kwzp (S+e >1F3 uرHy5p}<-lnp;m&H^4+ş 9 HOL-Datatype_Benchmark N R _N9G% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.tex7zXZִF! "]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEya ƥˣP/0ɱE$W$m{4նՐ\yB8<^M{?RM 9ql` VOpRTG>+',*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Ś%.e#LOhkOStHVWFN>eJ2VWګHc(^9'{8-<}CIoXn>DN H? cI 8yz!-`7rZz(.b^U,yVHoP:{-d{ Osڇ{!Qi'q4@@ cB0->^@L)‰i|y3~AiHKpGu@,$瀶yαI} ~ѕ)_6Pe9H4;!d~ dXa1M:Lɟ{nNt$~49L@}HVXᘎԸ[nZoƏҌ7i<D9v9*<$KjyN< NiL|rTX]%I x!. ohצ>"@ᆪ R }B>դ.BZ>&[-w[ecd%VYM?ʣ Խ RVתx[lv~'>6{Es䛤+M-cF~.L@kKr:NWʲCavnnQsH5&-R:\*qITF<'gykƂ㇁`SS*4 GkvCr+Y)}6q cd|s2&=tW7Q Hjh+]ڷwCP|\1q7\Kr;V|/o$>GQTLEP\I\,8$Ƣ|{kmˤ-UWXWl73t~/ =i'HulJ aǹhEt h[`L?HmdyH^؟t'28L>}VoJPwuq^5.c'd-+i&tƔϥtag*-+m;'Ϝvľ~JBuDu9[Ǽtf#GD5q^dʈ$p>G{% QB?)% +?=dńTu]䢪h*0W瞥T[B lo~I'U@S_հ{IC ,t v>@h\o:Os49:PCX_bqbI1Vx8[iJT~M#"֯&b]([z*6͙bj dTw#>,$MG8N)#>"? R̯JRiҿ `NPoquSD;MnZ#g@ [kmU6쳊% ޶?yq@Mcuٮ:O~9?jܛ0R^~# kעǾ)P*Zte>gP pÊrx'W0_c)8wv~'! Dia3oJ琼0V!ھ 0"jkc "xM< $C)'^VMc0wOka g^nGO<<4@Yҥf~wGLlނ^Y]YP K.CUM?Fu_NrtRעbJl†$T$ө#/_5*fjR@kw-$".Z'oa)=^n)uZ p\B*6QI22{VSx0B}9  7?[:K۴W}d5ڴT DΌhK$MH5̂F3:謴F(F>W̎#T Xsh˜l0:>.Vo "Ӏ[G~sۣ?,DX0_]jה9 $1OMz#ZL:8oEX>[1dQ`Vq?a\Fx?zyЃNFxX/!9tL@ yBIdE?mƝ@׭LԘ5l vxҟ͜Vz`d۫sXT)in66CZ'EQaSk>J5n>3B8"%3-"^Hsm/ .t)xc:{>bwFf= jRL Drm{sCcNI72'e d8zJ\j'ٴ{<ӥgkش@Ur^%[1"h*#d́Q]YY\}3Uu HX!2^y)'| WVS`xu0n@0 [%9y}Cv娒2?_Ɖ omK: gwHj CJ~b|qK2YytV֘G9t e#^tѶ'2 ϐ.Jo1`J%w3̽])}<pnQP 8"RZh4['PoRG[x֤15^:xqŜ*ySu1!O(baժ̮VE]A <'#X6sл nnۥ`>wtns\i( z 9г@rS:ۇ  wE`yi()ؖT9ꩧwj $nn0˴2?ZR{&mc`:"X<כSi:6h?NJP3 gĠZJ8dՑ,;,9^zLhj18R?as뫆MW捘fҁ6`,SLRWගG#0]( }&Lg=,3́,x-2bO0{oLgjUTYدA,i!fx_{‰{Հ)|\eI*ja(=-_6')$dP0fy@ا:EׄnǺc.c:BNOKnfu>ZU 2oC=|X%v66]TH %,9S>ƌ]『I|s60sϝ}i@j[6Lr$?-sj}̜sx;]u.,"sRu^mKuWtRYsoX^1B ﲕpA_čy.G#U 坋xf\>n}^_w`SwH?fy|cH#QXA r4aPSqr_~ lAϱЃ8Kn$aҏ Z;HWv*_&Gf{K!WV'B$j5vc}Kn)n7-`lCٿY]-h" ^k3sTM=0-.62ow*gRr.rEjNCx{ue :(?\mZS ~m`4kX̏b!wl/dB%Zknb{Y$[83dDo{ %zٮR>f9w)`yq"Z"k|-Z &rpv:yD?"HsȀ`(?Qv.Tp1R &WwHW66ZUB xb6=! VKѐ4kN;LH4o+jl@(6dk?t]%SxYGðOw9o(oKƆi;対A+&i:y~ZV2qz}Sź8l0N:e0, Q!'&_Ɂ\*EYH<k;* MYtVh_/KdD 29ڧ*N@Z{GW{sb\( ;jSAtM93cǷK1',w=jfݰ=}R]m}4&b:d!ͦ6}߄B&{/1r3k|7%|s xnFc/P%s|u5hg +M(0 U?/q rѮ2 N8z@)o1$A'ŵ-mrN|PQEʶs)do'.t<7}̌$R*)DɗMN&h/U0F@2'+Ww.k-="~ @Bv!s$3K\~(0p h#yǺ*sSaUbsբ TOoh_a:N(#58/,?+n#*,qx^ Z ,ǻ@`ra򎼬Lb Vk nID{;]Ct刕!I=%vLΰ5*S[֧F/[mK'xu"Ai&츹 `ѥJ^Ч shEu?3iK.-+2H[!p &3V2i7#+&u떡5L"4+'+>gwԫb%=K5ǐvadx@Zs(}>DdsK3xbӷ[WLC+&vTa먈#r,*q8Bd-,ئ'd8<@].Q`=b80 Qwp39XYEVpkJESK뫴M;aܑ;69I\:>KٕsU7P@K.طOK&/vKBѼ}6.vR1i5#h.^i'TޚY|"z: S 9<~֫,Unbyyj\\Q$ _ώh: ŤW{nFw?˒J~R3jkl%{n҆^A QA OBz/H|> nrSYK-w֩,7kfNcS=m6;5*yRg7t&kM:C*I]Jo%U=h ˍ$v_e D\/@QǨ-ZT gXSSDpt -%u$ӷ#R===+9êӧlWR4:R9qPr o53>Cb+J%ȳuu~X455yݴ"h1_Ly1|B!"GxS<\3?>)]_ˎ'$M!4ybfbIx WxmXz%)Dw_C=ŽUOJgBWkC #õ1ˬ#-je(} O̷v͹//$U渣7SvYǙĈѫUÈL(c;E;%6 TZaj/ػz{JJΒ+Me,b,Y[&-5P|hS4|ϙ"'|Vl".]TdO/1ShE[ZϵCS isJVBV@x*^YW7Oǣ(cUTɤVnل\*FFLs;)s恒l>u~\V+zivqS8LDe~?a=)P tWճeҝ)EpRb*Lk- mlR(%%s!zY,Eų)[~e`eH ,544ZuNV-)*&uŔ+0j)ɤip!A{~H`Hߝ('y+>v҆<0O 6Bc >a`  klVԮ#rl /s_9*/1d#fєQ3b1EJ>CקHs-'6uYW3"+BKKw?O]^ZTK۳g?N w]KO}8є*"ԙj>%,2B⒔Vv=UeYgglItgf 5go}/g2 rE=C ;z `1p-gc7j'*3koqd$ᰛcمHdDdr&?V)ebEj/jԎsEv@,}]qK~LaPajzV#Zc)ÎB,0b խC!-wƍ*tї` 鉦wH/0ɺgy&l4yݢ*)xb!h3g7 m2dig&$&{1(R~4m!Iѡ]Wj]BD[d4ui>b)$3R/g܋KJ7l9ıCpV&+dݻON ׹-}&erV4I{]vjDT]c0^XIЛs1ǘjB G!89yw2̑wdt&m~wYm}Δ m.oz˰Ks6n* *ֿ.p,@?k)KɊz/oH|i nyjOZ!4`vGI4 V fEkWQ8Ґ *ϹD5Ǚ_U䶆Z'XDQ`3{(Xe:G> j37?%lJq2nhN>"OŹE.>=gR@@A) h=q}ιH JZ噝Hٲ;N69wM@`;l5}> R'MR1xq Or"}+SмrAQ2M$@'*#m LݔY~Dz *C.d-en+̛S_ 古Γ|25 xOHd5;l.3vC.m#AΝRyUȮEakZ{쭷S\ Q(O*-U?mDsT{I pȊhgs)Y* -Q&`ؗ2VezYu-+ǝaYćwHc_p.VSrgy=[Of q+L,|{g]ɜz_]n =IwP".uϓ3ʴjY8!Ioٿ"brs<TnLapa-8zzmז<ߖ71`nsNyGrnҎ fc'OZwQ}!ƭֻVpDTÇ񓛉n}<_h05P@{b1DLt+û`}11WGc\Z%=Jͻ 6_O2vI6qe/د[C Q89PZyy B s0̤[-,9Dacq!)J]!_PʮcGV+ F-@]L2k6wqsƵOT}VP!Ud#⑨l |VvVw0mA -+g<_aBn3@7i-,<#_g"X{64Ϳxf6gW=&o7o&ɘ{,b;O{\EOD)'EN%E9y͊y;Zyn@/ paQrUza},ΡhZOQ1=e;l +51n\Ihms ԭYq 2\( v˶k!M+b+(u0fo2!WҰ)"7Mq25pې9ڑڼЙ+ziv,DĄ2o`ޭi{=X)hJ"8\&oX;1NȾ/œ㤙Uy7yV"EMbR bI\<9AAf֪56/xO7[b#|ұJko30~ *ڎW(j0OqR߆h~vF;4lIbh'2^4k ڇG, 6f U>"y57籒@գmFr.**CX&XGx@+?xKwAj <7-Fb.ikY]#2"l֮¼'IwK-/Ҹ،ߕjnh=Ӷ'|h-nZQId&gQ@+aoQА,Z/&w[AAn{F/+ڙ5|QZo۪p>_d3 IjiO-X*~5וTw,04{뫾)>/G~ ݤMjS֯qvr=!j$u{>$2>:L!p %,t/ ~.+r~"iqʒNu{L(@HEK<|{*dl{I~=1Cq[?MjnKƼdk3RxMa-<ۂ?N2QE>]ƐErg0f ɕ9.aLUU)Ά~oڵp6Ψ|f>o5E=;P@-6Cl#v_rbꁬ\ YvC\ ՕZ1vȐWtR8 XEgYkG?颢ۋ.)q1):l f+F;PPTS'HH |j9f#gܲ.۠B" [*2Ĭ¡mHYN 5^JJI$ey:bL0*{.|ytwvfc$4cdyKX:E36}3$A!Pºzg4ׂhYqcC3z "k4{'uCܠ2zmic H_Cw|٧0$dd͚Z$N??PZ欏 n}]x dY8Z; PHk$IBku<*1NV٤DnebFzjkĚ,@H~Ax{U}j^'+!|J%߄T*-C4-@K/ Xיg2 ĸbŔϜpEN StL~hs㲶\1lGV&"^8V-DHx7Bz>F_fEaUgҬn9.M'NSI, ra)B 6, 0J[,I6 -517_'H3[5jCޜq5FE%Cx1L{Ps }G ~ 1i/Hs}@-XT-7RG3_Wۙ>z!7*@TTd[mo _p s5*mVz6xKDvqCb[qsIgr~:X{[“V >GˏEq/&լ&knKDǪgӒ~.A ᵨ+`oTcz^&~bA.FV@*J"btX?Ӭ ٔo3%0bNWn]e' X,kPZ`&{{;}vڞ}k-BӎR_~Lw] 9J0fjה!# et 'T%`r\=b@)zMRp1LiXT8Q3b4yPi¥9lmZKZRvᢌ\BI&"zXlsQ6ziVĎ^%2)"^2M1ԃKYͺ!;%CgKǵkӱRA.4gtS]*HHw5.Oo~72&F[M@@)(Lmɏ/<8s5 Q\U) OM JfnC(Ӆie+Q_,[k*!9YUbDenyہؕ'I?[zuPsA"{P\`7 ALW$nj&_o4jBE]lm-X}:6{8,b}Vmn;c<Z}*oe /- z4R!(rUa=NtnzRo^*H&E0Pgu‰9rbBāï:Q` bH9~X#0ߩ-c9O)VKFYIL2ӑN1y5U*H U 3xk^ORxމֱ@jPD~mQ VBnYE#S s#5[ZU%ڬ'`dPDxDmן,b\?ǩړqufVŐ|(S}m [UU#@EƱ`@IZգTʉ5i̘ȸd^k!H h-nw Tf0+p07d ^Lijj0LfO6O% >_QtpƆW|4?]%Q :Q#U?zU{Bmlb'X2GD6aEM ]> oo@ND4\µqfB>w-Gϱt6CNxϟC?&yzAֿb H IOUhi{YkCG"wqY5ryȗ:8\03- :@)fZqlE&05^%罯{C`G%n\/th(Eh'EǛ/M)7mԂ4WUy~)VW!{&6j! /#$SHnw"5hh;IجWU2b9lbdmm ˓;Le$kpˀ{($))#3punR1%;$C`بA;;U4T=Lr)rT*#n(@?lAYEkC5L&2gEyc6Vhw~PlScCDmber\ed# 7M -—֑#Q!ۉ.uO5,X7:C/)g`c؆M쀣D3&;T[~UdgʅVSZ99nrq |^FKbD))$":S4kE@G~00:_ݩ2."y]o:;BkY6[/6 ".-xqlimL ɵaC[٧fFylR$uM)1tPtXv}|z' ƪ[&RZrǍt mcgTl]du{  e`ITxT,(9d㨊j?}էIrx?;KcqF>5 v Xc?8s8WZg@Lu X"|;KelUO_*<wowѥyES`H݀pf]=1~S>qGco܋^-(FiXQMD< Y[|43y& z )zиR8FI"'?AnEJL9kuuf8u#'_SqlNC["BO!|E9oZp(}u+Kdm? jք s1[@I;lPOxW+`̢uzb=fǕ`?fAC@}D[=f`̌IJH&Ao E6}Esw98qo)^R\%F|L*uʑ?A ؟V<_y]<_τBMp*5o ċIZK3BT!eb=|AcqS} _(lHYLrAp *IY!<*;҄_?LH޷lciYdM\Lʲl(PY h]āwEcg]XE$Ag0D! ^ƩA2 $0\ZXJ&<aEmnRYe.u)4%P:ՉkՁXzk~+2I. 6)*Z 1E>I(1S\֯)%`|9MB!0^{5+5gBnݰQHc:C+َ ܰC!-TBd>GKJk^'CDl3Su _ / *UaDT+쿝 7yIㄑ튁'>l(+;zF++ F.H,Dvl-S4UvƄB?JQjVC$:w!S %5֫ժM":8rZP*V,Hq`{ Q$bCCt$Zc|-yOKb?0CH;4vCf~}7Y"~G=-C]ODM;{B,nj1ǭo=QT\qp*y9} U;J#ܒ@UXh /7'ӗ^ |#v P+]cԕܽ[I`ӿ8)̭tH֓)_L[*S0dv ',4FOxϦ7pV]N`2ge㌺4E!e% ܘӁWF Olft?=y)-եYА}icIJ$TjTg(ȩ@,2,^,FBϗɆ0SjmC96&['VSe+Q2X9'I+3qD\h<hZ{"rLF[뢆N$bq߷4AL9?,mI$%T&5rO誅QKck](~BrD (7Bss=7w/ph(X;͟b_Oc}bT2a8"6g.* )ؼyb"^A .~m0 O܌j1iH 6HdDe]2LVw=VůAiO 5+8?QAHCkF,37x@SX,U=Cs4&IS Д%/4%NWN^NmW4zL'g 5l(+R^Riمa&?CLG9@GG1:k~,I@dґ'=6<%S".w3t.$q5;`2۝9G0ðKִr]?ʠ`6ȷr%oD1ғ X{SGOZ0'!ӍOdb[s8>ؑ:^hɨ++2 znYb75QmaܰσzgYFe|O!S-X)F$sBgNڌg,|>u My;k' r[S_"c]^.}L@ϟ]P#zS^V$no`%CDkh>#< HXTg%5Ю(~&Vz^4ϐ>L0β3^Ɗ fԌBh_A[ýX}c[C':K_w2aݕ&ʦI<,"q".TL賵e^ˌ LZdzn,?GRb ki.W[o2,5Peac0gӐ6|F-TБOOT1Foj=J`4/He%gGхD`MܫKyc$`G VOsC 0Ht> ÿPQOr3oeʘvNfgœ1hw4G:r#y1kăneHK0݈ꭂ.4VZ5G.I:%[)c$" We+d}U_1X,KZp m$潑:trANV.{ێo -W0_G- 0"z_2\bXiFRoj` y,a IVFvXo" H0$:Tj)PtMN YVk^WV576OlU0nZznU@ &X*lPg]q Y}.@J4'ՠS齎0{_5. ,t!FZp6^մN}]#v, ; )r (nUS|=Zɔ;c;o(!Y+2]͞fkPY+͑S (*gi`íQ7!FF f6aȿ֕P&|e8QUǷQj25kO Ӣd.-4*z-.8/ >Ghɛ r=Hnz6/ܦ-&JPO_m{jFX(U%henH?V!Yi T8oKM< YZmJ.%Gġ)<.ۖ)x!3J{YOzrV#ҹ.