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  +9$<| ] HOL-Datatype_Benchmark:threads=6elapsed=533.631cpu=1905.900gc=545.616factor=3.577zXZִF! 5]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*mD:&4 TE ֆL e!^r묛-WD_#u}OQ{2;KEe\F<j`; i;0Wxd@y#/};a2ryno \nde=#sGc_v.bGf:~~*Iłۺo[\I8_ZKIn0ҭ009D(n0c遖egeo&;1`5,%5O\$kF7yׇԎdŵ$2faHE-B0'p}܌%t/1]Bnxٻa%(XwW?  DLf]$i ^R8vo!4t+LfNd, Җ&דxX1;h0䘌RQ-Mp,Ky}JT94q>C$K" Gݥ~`a`֚{OPcA$Yzw[!d9*R$;D8@]yUy`o1atI7!jZ`c64q%/l=^UVuMl=i+',*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Śȗ PPO!T@"(6^og}px&~й3һ+\x^ΰ}56sc/ޡ0oTS-&nӃTmp;4M`x2HuQ]}į$#&mnG pJT4IE>_PCfXcŕOaYyaY'^GϬ{+fû24fq]%5gDAq_:pT d/I أFN;>n#ÕCJYsɞo=4ETy4%Oeָ_!9EP!]8kX ݜSX}fEܰG_cIK9y$&K$ p'N@3݋'ey@ ^1[kxSHCyeu6iIWǮz!!TK(wAqk)N wԱˆKe܌W~9 \J7P19~Xۡ&HP&rr_\׸9%PD9:>kO剗bWףs3>14=TlpY8{hyJ۸% S\/Dd4f6(F)ٍ7؀)g:c;ή@j̃2@;'BlΠy=p،zʻ3t'nD(+ pN)utUqAo$]BW|UF5^D0)Jۮkt3Gd;,9MoŇg5?P:p@Jd^4hX$WtLR P(dROr"|ogv/[0k摓HB4QQvMq@JGzI\7K9*Eu ֨va0RVd\b6@\91sř&j+Y {-m} c^X5-SmX{0J;bdžXVYKqJo#0%x'ZjEggcy`Qb-8S|_/z^6JOıeT i3#Dh˅e*BaWGa49)*9#$_C"iX_fN ~gu36cq,(2GMOJFG kJG؏0ZdsyGسܛJg ^iS-JYwjrEU$D)={"B# P.؂%iR>ۂ*|rnqm@N3΍I]uVȮ%:* d$1ٳ &IV>lgȭ}4P !&yؗ'2?D3k1g vʋ`Iur}>QR& X&wjx^dqsl Z耦[v0[3XiԊ&*=J< 5 Mj K !zJ@֗uwΒM@HXMwqnb$Fdx:4e QPӾi{E& EqaI#_T-V;èлPƙڍ\Ob'IyflxVco=(S/Mr_iïb}tlf1? Mhu Owrh?)f(  cY5b$awư2h#ظ"lrJXʒS^OkB[5YEiUb_4MYhıZZO1 _0"C-l@_YEZw|5crTck`Ӝ 6EIN o֟* ׉cDH1C2|LE]*= ~&K|X| :`8QF̏*mmqo8^??zqu q惯 /jP @k3{<yVn۳pc,GYڗ3z*ݓo-mY`!plDKKy7G- :ę6 vI͕3Ώ@ǷKqsxfV22ʎi8o ujVD`!T.dkD.S$/ZW\ޚ9(Rm (P`:QȰ?] :K~U(NM5$ƭr2e#S _csl$@T-BP_Fײa^%nœ}\ p{&t1X"MI5/Kǡv^@;dg Jí4 < (O\Ǫ{@ٞaOr}Ql-se=J` x.ޱfZ4'sM2,JX>gTHvǴ<;}o ]Rxt[)m-^ዜ^~Ycr{MIޤsA{vdLMt'2(Icmk%aLsiT}0KdאZUq٢rNz4mU*)4 TQU>D-v-3TBWrvtKր0%Jo]h$?Ι櫖 J @%h74>MAuFBB* )fO7-GF\@k9qj}쫜TOOl ` Bka>ROV/\G{`;mAun; H<'Wqj)j+}vvj@xWâs {Bco1Cg9Qq 7fnrh-pgJ |'ҹv:pB[z*cii s3Zȭo|B>wTQ7(v2mYbe'p2R荴oI=֕$xy$~vXqn{ 0Wj3[bY tt w^20֯Ao' ȣv*Jq3Z9K%(C&CJO"El -зKQBJ]szgΗHS{ﺇ>>I$'r3ƀȝ ߸] yLV< YP-ɂjWHTHI)3IK+HcvD,+AUή^ ݇)=dW Yi=}tsK@#NuO*[50}ހJbYSE䋮olǑ4 xvMCRF1c'Rܣv0WӤONyh| B%k~T837r }Ÿ";k[!ZD?I+uO|u aEQ~U(24:cc@d dr DX\`T|Ď0Q6t~h>Gcu .)9П*{ NG身臼r^Q 3VgCгeʴD\wU$e;E;Cwy)봫YM~/0t9m$`Di|D[SXZUxE4-."|}U=1[1]8.Sgz?M;VY1faMXw`|cH &)ң|:zSݼ6ř.D,7 p5Â$ϩ'"$YFLHPi=GIU:ٳ.uDBU1UX6n{fMSF!oѫK7n&ݠS?`Pʫ?GKgg#t"n4;!鮮.Mmc. t)YU8hSk' y&o(z]'}Nki`~o&Xz8 ZcR.X]ߢXKP;9*2\ 1߮,Jy$-HZ-lZb`~[F0`lQ4|ߞkT̖V.~L{_}eJz23{pf뫣ө;9T\|ao낐h-$ǽtLy&=;N 3j%.Uyq)U"[>} ߌ;@VQV0w,{Fـ)(G|sN0hsK{'2G/ $N&NKj"VYafI2hFvqeC Hc^eƚ{3TU QH|ZE对;|ae_jioeNq^*Gg|Spbb՗5ZXMwJQzU.QvxO7  %/4$l[u]BHƶkr+D8,U4&9N\F;آwxjXj[T9'.5gdk5LQ |q6aizI643D3߽ɘ,UKKb|O@D)Omn$Ԗg/?!?o@s~f="B3zfŭbҷ ' 0 357UeLΟ9]5|(<ȔkX7~TkC@6ZYTh 7p'گ铳;Msfi'a$*d~\M\b=QFOǐ-6F׹&5?9u 8p- sTZ7'uV4 ~QvpG|aZԦ-L7Bsm!kљ{4nЁ@{Iؔ/| 1ʜM>&{8kTW%;o6mi5{!iK/-giFR!pFWczMȪ~57K;\xNj135Ҏ^V谵t i+'؞nLrTi"fv˾u*[BfUh杨^ JͺN8' %”$7]>p(+H=&5gϬf)c0vѿ#-COh\[Y 80eB' Fxnu!=B %ĝ'fa+ {ӈ5ɻ`/-*ynvoźs]a_-k;z`4Lq"byOJ•WHrĀ;lf# ;lY1q&Y %]ToAD;4|M3R3JTo`gAsoy4l`ipc3}7'0COF{q-F>F];]A0Fwױ*.m 3:ӿGX:3k`'M)Ms9)A. %*=(JIh6*);}neX8.「HŬ{jW#@rh?y38kݯ xhW@Ǘ^MFQBD6fOu*xuvP g;J2XP֕Bڡd D{wq,\C25]:D/1$5פo6QWLWP1{ŀI&GuŜP˅D58 2`(Kt4\8"LӡZ,4a S%i6C[5w?m I&U͕V%`Oغ'ᑗgb`›&'] )}ޞ|$1i*}E/݂e}735blRa\j< vZdV?*st;ڛqbĐX@R}>yߥ~VaS'M[DfwdWihG .4vʰ4T5{+ݕ9-͑`D Hv+JzSwEoatU:ȱXPR0bRgPapsI)Io5kL)Ւu$l(qa3S˪n. jݨV|6|d--š┟]r`v2q}"#,<~]^H +fte4LΜh|0r& +eE_De5AT9ɸ?4~Q!Is4fgngm[dn,H*Cw Nj(R)5C1zBfNB*t*O<k `{ݿH`IID bJHt/E;RyOK9W\}n#w vXYe A;368;Rbá&w8s iB1d&R>DcVe P)^й  dw{>֍Wj)5r k?qa\Ffw!ZLloy9nsG9ARx_?0:eT46€_ϥy[XU ]7mal6߉}ٔXk6lGh;'C) +8+a *걓iъ}t*J rolJ*=Jm*e&'8)߼r ̷=*i &ot f+kr"Q3]Cg]E]Y{I1nHhbtFC rjs ohPt;Zo lUoyeOr E;N ɐ, Xx)6/ÉG%Dx]54Ԅh7}dEn\s7ЂBR4wz.6LCTc5'E߂k2ʓf6LVKCE R)@eIOYf&S Ϙb3sLIO`\T(zف`V;5Q]:7qIW7K͌%S\|p0ڽ8RZ1EcR(ȱIu;BjPG}"ѫBA|Nζ1Kj͑+6.{KdRSTJ$ (EZ<yу&3gȈN6 G3&xz`$'6 T&>y*=lFv3^n3(RYftzD~)6MTg8*;9^1I2Ri.= Om`)/8C`3.z!BT Iw F{JxEûxFrJ3lݖ&7p ckwJڲmbk P go`o=ʌ G^ L$X={ ^#rU)o p5W@rNĦ]8)L4t6 ;9\~٪CJť>4k[n8)<kǁnVo0jz*~Dǿ=lbũQIsL@vY!6Ecˣ'`61 U|9f(婻]˾߿a_=طq,1 kEecuFڌ?߾IJ5غ>Cw2ly.!Mi|.A|:qH- aH(tKݹv'n??o[a0j߉,_~%*ׅ\ qd{J0JQO<߰,Ͷ D*wکܭ܅?e/]JY= 5y#̠wJs7~9r>-Y}Rwo Z3O>V*C=Lڍ')(\h`}BN.8ȍ ZYaCat9CwnKIڳ {t"=ntxxQ}RX0wfQӍcFp@ɖDy)>q$LVcXr/;Lnبh֪4Ś\F.ګ}m+0$:$7SU~Xyz/úkXp׵pUB$Ӝ5YgaV#1^AGt;ZdKBNsNdž<%ʢ<}vZOj#rH #(rh׹a :O0μVC@wƗE Alԋ!,Di2ד,-t$ϧENHR kha00N_ 'u͟1FZ'tHׂ4{ԹciףZ[c|Oﴤv_#]0NA*%:\*dђM*ݻ@g!x } ^^So?m;&'VFScY҄b*DOi=-X>(4-L!r%|t5kl9q *h>ݜZzs]o,ľجvUDV}1L|pהr>> չߊ b HnqcRssָ OVxBgd`+>:hf1@'K1|FsŽg!с IMom?ko$I<?F]r?-uݰɷ!kʘs"_𙸲D@H]DwKo]`)O7^)?ekh1 lw}?oǘ2B<> V6m># l]W]EN|%5"AԆmcqc= Adx}7}Gf!*JgV$,}֪V-b>FuPo>.|]|<l0ʎUG֦nS90%ru{C x!;UvM_s:$7ĿN/(-Oܩ5{$p(tMf:)++_n{ĺv}xZOwULAtWmh/B;6Fy#9"-SJ| 1 9@cR'U=k'~ŭO*"ҋ;_ͅ3dTpAg1Z J_TxCT)Sߍ1+D <J sMD71q5i%!C(65i@W[!B0%|Q?s4۶^U5b&T V|(8}rOH^B/ ^=@0sZ{LAu_/p wQѥ\g;<裰*,| KPRP1y-ʌ#pxz65_n~N=H-$] c!3%ǍXrܖbpM.b0be8p8yΩ0) wΠVx5p+Rq3y|rNqtН~jʷ\F"T))zO:*nnRsYG6Gg1])pKj(9/Rn~7S bҢ KP0}]S:ۯ莈kp ӆ. h Iox%U׋CƫL7ʮPhYTPw(B֧-$ǦYQҴ M6lNå /z\,/a҇1`!UqFq[n9 :&lx4zluS~n0J![pnG w@Mwm49l V~QpVIܷ6~jv mv)][Br#EkZNAurXYqz7{ _]@̶d=8{%;;: ur|B "Bd='4\f4$K}3T`5=¨9ҩR O A|+ڪj*ub7=TjφCںk8Q98,A㋛T>k E.H=9}i ־;&: ^e8N`J_MձlȱɻSЎ 4x Y1NG/(cA>{[4, (kli(|DsUzqǞԄ}oo!/u>YAnKnYS̔PTHRgSL5r`2mx^63 ^BzOt2TK3,|hi} jB]q_Jig{Nudx'to".o3!:.Ng8ZgQK"9ZIF؋1,/A=TrZ`C0wfaL';ڡo7yxUmsΆ~jbHncTf&˜Jg ɛ{ Vұݬ'$slݍ ـ[%k->%erj6 Tw/ҋÏэzf/?62N׏NQ%qrB VtAvsYtl.-2)'˭;RGj;Bq]FSAvtxFdGY;myA:}R?"#"%.X3̰Fd2u& gߪ$hc_`VjZqC#C{.`I,}@x '[D--[՟ZqAF,1a\N~K6iS~VD$<5oSf-9sұ>褈nW^nρfÎM*.T'<]1](ּN-Q +_Za"LJA6 RgLeCҺlm1:1|"Th7q80硫!8VS3I~7{MUʪR@̎ +%r'ʿhn8_IjclЉ[xet̔Txn P; L5jZc?UɲXŎez`59 XoZm){z[o>O͞:L^&|ckE!1)VV y x {ҢSϤnr˜`c3ooN9@tRm-5<|<=Jz9PH4YO03ҵ?:sAt^yV] JRu;R504Cjp5y\$ۿ1.fXX.9~ 23 9۔ԠNQqS7gl{}J%mؖxGTEe Vyf bgj*vkL lGEԅ7/|8#y\kG{{P58jS5bHWDwWyQeOi"YɿS>x[fqfxݕ%k ـbgiU 2(.\DKei-X88ypTkReKqkm2I|!8HOb6 BOC|R.KIC$4snJq0(C3n;\0k?,B%*=b!nn"hzX٥ZUU壜PGKb l]f3ٽ.4ķrl"m[8#.wfW.*EFIV[<œd^**Y1I J3pFvX{9ظI;>Ův('@`q{Ґ%Pps@77䐑2KKq"Z Sk;V:׋Ex`²zSW~"YKmm~S?T֥29Ds\$T?rE1ZG'GTQGxi!o.XG+Z?iiSIe2]5tyFҕeGmܨyn2QGn{gZv-lI=RvhgFIdd,`$Td]ЅQ ]nĺ4$1>Px5Cm CgU~Z]O>xwƲXg!&SV{-vAa~ edF50·͕5sdxb J“{+C 3ݏH%6CH"BMtVeN'n^j.y]8ƅ.or\-PUYE<\H;yqʊy!v `ƁCDL%cn:S%aw>ɑLiJp@d@>gu- q 1UrgaBtM/mx OȫC9l=0/oW(6ggVc ez} vR7%4PWߘMw:s|~bāA?r@3ɼ {ҋ>1yyD?`WN[V啂ϻRl bV2iz˱ n (M]mnO ^*5Di3*ekwh_dW mJ碢>r+gU3]]"Z *Y4dn|ao <{KUO@ʈz)%<(=~E*Lb[\.~iry ?IR0C3l s4V_T% M3XJlߊF+.yU*&fݐk ,P1Ag CLԸE'zV=n춶c%D[~ =N5t3rOw@f I10l^G2FLoqZ}qy3w T'-Gϩ} ZR{Skx_DfeXSk i/׶Jo\D_l--E؝d4 BL ;'Gx>G $bI\k0ʜk⛂ oMO4+עXG0?uF#EސNcwL@s[Yoqbc~1ܑ0xc4m cwmy0 "x{5 UGK3V.,i3GCt$4vs2e" z<XY-O6*I9#"5=]kNO&h@3]M{gR|)6@HoGG!{4qNjԏ0& kMo(gg/*?r3)4(v02ɫ P"$tNO)%8R' 2l9vIzN&EU{a6ͻ {;'NZqFYwG"vٷ TҲi5]C37#+"gVV^IG;,X"kgk*N_Sel$ݠ͋ vF?g a/4ب~QŘ'yjR$m̬.+, X\rukD(]٩Zyiif{jN./)o`#"[{q3:fڗ A|)-(9A414V,)̭ans-L(ֲ@%vSu.EO*+' #rO+LxWJ Zs/} ~IeXU+$V0Ro'Wg_– AΏ/sVsSL\jCe'o_0>_jxPg K1{?5x]ANw$[6;:n3 $}5p:+R:=+:%\ ~r[I 9K+R겎M7, aan\5}nZ&M_~] `S[V& ;QDf3aw{&;5i(G&Fr ?[􄗽-`Yk$ņ_`(E;",kT$*>ƙWM9[<֎ə؅؅uM)[ޗtL ԛIlcZ8'|ہ0ն(R"cEe& V "z%Z"8t^ ߘb˫=~uIbNcll. lָsB,iE!#Pi"%5nd0lf dNHmi-足{R ƌ?4hB9!K@$,py)ǟfI$?bX -`o/jL+ǭIs1Qg(LkjmP.YmyF2E0VVb.s6et>8ʬbV`όGfh>zA "P47x6\16_oP<ӓ%°hTD̝zļWxQ?#N7gx]} ĺG06f1sYt8FhH9ٟУ1u4|TS(|%/Zye{>Bf`C ,7ӗE.l6j}{[V[Wչ0o=3T/j+-8KBsxOSRO-h#/9"( LJ6ॐ_MI Al({By[+4r-K; R*ٳ0Y:N*o0 C=`gΞPڡ|cE{'^౹`tHo|HG]r"bNSh-Y*SnAKhҔpzdGP&kSiBQ_\ &C?Y [O:}*gxwJ m!MVлu4G ,,wr%~V]d ljDRNH^y!B)?mvk:h#S' ^ojt_