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  9~d< ] HOL-Datatype_Benchmark:threads=6elapsed=524.434cpu=1948.616gc=717.9007zXZִF! 4i]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;oTۿQ_cYeEb6V¾MɄ?۽ 5q$dn]K1ɥ&=ju܀lDh[:9.q|MYq<$Y]ZЦ],|aEp{'YÉs۸0L!l| k-PP|ՅZM0>׼b^EdߴMmMx0i^:M[e\Ή)pXnpz{%[&gU7DvQއ ;lI^F8yС5 #F;Dؑ*s@̔m 3o;8>]QD n#rwo`"N@@1|Hss-S_gvtzxƝе7.Ao V16S3q-U p=7R%:NRvWZx4n.4Zת}Xڍ1 LVƀQlꢵxd ?q~/-JpZd{;jKLf&:Crc\Ny:AhYG4 QeV?c8ʭC˳/:rY|ޖ9dž'/ t'Uoxق>dw}qdHb* 2oIQʼryGny+?e*%q;;<1چ%ҋY97]1bO'Ώ}Š]#:ڟ|3$$Fvh|q1ϭ8;'Ohbzhʩ%h)*x٨U"'mE" SUVrg_QI5 XF^4G.$Ȥ+*٭Ȼ;w~Åk˸?3{ {geN,-$7`CWյ i:oWgYZ7zXZִF!  ]ŗXiɟ1)*u%9?E(Y퟼IWZ]ZA}1v";eXS;T^Z1Y֡2 32CF i[)bT[О8m0I+(G" /'gdTtq(N5 Nc t׆]~+^I4R]BVKp<\$(PPiaN\_h%<Q۟20*綆n-UY?S 0&+',*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Ś5v8S!6"1YJԆ?oSdX[6yG+TQk,k䘖{GRo_B|ȷIwARi};q hGʑT 3t^`  /ӫQz~tU"# m2(,braAFZ4^tQ(Ft *2wJRQ؎".0{/ SHI*AMGpqX% `3 O!mMSL?>=9`!-SAm<oj%xyīZ:}JǏJы~ExufN`ƀi@hAr0 D,:*TIQbA.+ȅ \-$M>!K:h윘N Ar=M811-9L^u" #/<F4T @;Fʪ|"[\"{xF`D#Wڨ#c&peGǏL7 Gp"UJ]P=&߷پ~aoz#rF:T^{V( L$u`rp P>A{wdb߷^y@T2P17֏JuAOΨf.th+HN\$f3wq$-kZ5^ uB 3l+(wH(+~U@'6C$XU7`)u< w`]3cbh"]PQ79@I]@ǹ:]3n֗qƏ-߂uec`y Ri Zy5B?圐^W3^v˚]nwhb67|Ctã7?6VE$xрvD%U600 V[`>xIM7•UMT]nz<~C^H`W>}:p2럡8`S6hCz&`y EiXgڲ }E1L0d?()x MN[:lAaJ%$(B+1t ~طGnRYpyƒtD&a{},YJKBuO%k}:7ZOD:}% YGQ}\qNO(J@90z Sײ.kZ侎/9Iggk8F{?OS o[A. o(peG5|6gjYGjR۱JjOpP. R5& ,%?68eD#DRP㚠;{sU5Īot_Wi{ndMЮnօU<.Nqܚߘ`@ P^>(áA'GدFu շǭOdOQBEqlθSFˌ٢47c%j(Wc[גG P.jD >ڶc j2.8ɍw. [(SP3").R=@eY4Ng(K g0d5~Tx~D2pnF?.2paћp[D3lTf+P`'S~C W//6&D1Ga/#ㅥDEKѭ$^/if A'X-kFfP(33o3G1`oI'Egrb۩/0I3##AǤɞQ] “cL%sxΊ;/jh0VgBW!U>A9tD^94(/ *u?+ ]V݊rNZl8rgԖ*Q_6E~}s_'LYԽfӃcgR摪? J^wdskz᷀ ^ߚWŜR9JMIE~EYg[ֱş)ҿ5 mNur~D "đ>xۏV`7SUdΡzϒG`QX#ȩ$Uׁ!ti^ntۜDfPF;?>qS4^& P" 3 Mni<1`cX0X1UΈ|4 {4$L$LZ+oSjr u+.lra4‚ p4'eb^֙-X"FYld OZM%m&3g }vEH ú.}ӽ7Oy1P掼J~"t܏ekP7ėKj1~O@WfE OhxtJ>HotksCj薆g+"fsz)塩d p >0F] xF=60)|O9y7ϙJega_ l[ADV llB&Jp_ie[RۯeWO=2?aˠSw.ʆWt~:ў)b-Y#wdu|)d}ѣ n>8z$/-洝q^`'"uB lߑ2 0F&p2S u@5-|jZ%G?^C$q]эgC2Ӌk\+BaR']&Gn7zu Dy.yG)])骤Fį|&b)'^lӥ.n^Iʌ#y*hn^L&zgۨxK=̡7!f$gqo-ed3I]n]A9.y&L@L :4=':_^g@0g_.!8Wh'HO*hj尰l`r`4p7<`ɫ4~=I3 ěe J#!ĤTC{Gm n]'㕫~pZl$F[, 1."zj ȱPWֻ@onwuuX1:,qZ/5-\2ƥ%['賵uj% 2օ8l7FS,:eWZט*)/MzT}S)T˲wc0M gص.uYn=GN&5k;7,0:s4'W(Q[u)Q'@q 92_./َ4-N?Y*BqOveB <`l(D(Y8g 1j[( 6KkZA4$80ٟ8k }! jthʸ \J^.-=b2 3d-O;4u%lUר {FоEUudUFX69$սr*fb\2CԼ&0߮wc*^6sfE V3qwtRX.fxXcL= \z9JLYE0/56)\=IX%E 01gߦl"a32 &i+}gzUp8NHdӄy✩UTdIuq{ imrjc^dgaWe tC"#4,f vx\%VϚS]].ڢ.'(WaRF3h&Co5n$%Ѣ;eȺgT2xMua^=>"^V -oOgp*Bpd浘)V0TYD FE? dcp7yDQ[R7zHRMmHgG I.udž' lsWNA3&ݮC:AՍw@ U&F sM?3l82}{cԨhctߢ,j 4&JޯpDx; gU"jqu4H7ơSI񱖔+i;s_^ɒ" /*:( jx(pq-Qmr'hiB~v!-m\a4=Fh{n5GW,4f!!d 1[ 6_gT1Q$A'$/l?a7"k+ z;>?2Q|Z?C`v&#;x&.l2gk:mb0tX@ 8R'K,{ᑣkR02DɁ i>+YGpni|عSOehzȚ3a1/;Λ oK9=n(^dǂr^. toK<?dr78o#L =o@ˇ^$LaVdqӹJ AUk#n^廦jGBg5'\QZ+4o/ (Gxm O~wF_0-RbOkC` 6Рy٦K/W5;U]YRZa+YbNp ]n XFpu;8؋ 0{2砲b#WU3F` >҅Vql~v,:v|xwCZavgoyʁ0I\fpqA-u6YMM$Q]CY-\'5_-ͽ+J [;Rz4^[Jc_ȈjGT' PqM$G"Q. 5VJ\>Zv6W˲yc;t5UHݱiT;3a 9GT0^Ԋ,Ą9z-rGd<,L͆ͣj4Z5{.Rtc Uo`H07 g1r6#=)UFNؖCtC8%e.&.G 2,KNC*]ys4L\cf7gwmRAV%Ru,Q0v# jȥJe44 Ib3 (bd ԣJC;f8ֵb3~;+E| <A71~MQ0{?Գ e6H5zoͺ P~1~KVbs&'@ȾH;-)~\:KNW:]ɾ}ؗaXvCV&tY~(sLөEo@b>ɀjXGګZZ*eϑ<1 .Q <,zMT5P[ӝXvm`r @F__! zukзսcKK.z_D?"n3i(^ђW}?c~ #?-`[ƟCrrF{ uxۙ201! w*Ί|B/J)=^-Z,(\.KYN l4K@w4]A>;V+j?|`vYW$A_WM+UܟY]]-DcsHICL!2!E^OߐXĠz̵;T:{V}4D˪On|φ=AHW^;\1m@~f@Rauƻa+$~!C-k:WP6}W)DVmS/{b FT4ɾa շ_ f^69>1֢402Z7엧>Ph$G;p7{)y9[R;Xp&J<6tI 11%˯ed!݈q qmK3!piy~n%E)xPtFbgXnLhl rf]1!Z52vdЩFW(\Bqh ;#AVޭ(>VͲLv K5{R4!mg#0>٬z!_!n}+PE.(^{γ%ƍtI]@QP?S?y^ KuhíJK -\2 Ln4jVOkw GЕf6e O? رuB x[jg#r;),W&YG-6e; Bm65IQJI~k^Fl=&4DtDr]ۋc b6`Kj{Ӭ?9ADO͖k}s9.̣i`U @B5~z#@tA q(#9BYߍA^PLF2-WO$7^!Χu4:+ nNdML&GYtޭs"t"%xeuIz9~ -F-_O'Ԥm b?Sj2Yv\ģ.3J3}?z;C[WD̎>58Pl v}X%V(zI^[[Ŵ3NNm R"_kZPuB#ܢ}5Y;:M'M)_w^wlP+TD:15D"p~zNI@ SKd2^k& - ~M 6Mi`JA9MK/zۣj2wmJ'쩽ćfsCEW}a8TK_PnhP<"d!$pf5zpzv" h>!ceeX ;3G[n̏Ʈ|e|<_8I ll5FL`_47WђX$Zv.*:T;K]ݴZ{6Pk0WhKG-D^)%rE˓`JH6B6cB( p,|CS:]󱛇#R]Q3s!޺n S]2+Tc$4Q3L"оmnm&U}! zAD%1B /RRgnS|Xβ"nZ+n$&xg0=xS-v.l$ۉ*yIB2QmA$#p+YB@TN-|SMm7Vܳ`B<7kwWtY=  9^8{& 󝡴) -54y9x&|TjZ6Mi] !"Bn2wz>Kk9P*c5ܫ$`C(d7v"Fc!~ξuJSƞeEڂ5x#Y8W)̨$ kG/=g@rM vg6m@ھ ѱh&6Ws#J|!(qc.(,kbjEw44Mu`8$@:!\ÆBΡ^vh/TqB-`};6Z)mxG7L^/r.!Jӏ;ZNr@qBE&|TS42'@eNi9e<8bnjHVߩc||San;H7p͔(t72qnwK~ i9Wcr,{Cfk1dSI'oCcHkCCR??׫Xf/;9b%z"s'FJ2\j viǚVߡQy?FNƉډX1/%B),J"aSN6f IVUcړE`WPӳR# [ctbUw+ٍ=KptC:q03{ėzY0'j+Ի-uNoKͭPO,ԛ[:p#1g*xY7\䟆p"{ҟ-ݳYmMlk1 Yجo89SWҟDGk1} vA/p$u?+Xğ¸бL %R;+Wr< {mc>J[Zڛ]fCdJL5-?4I;4&arm$^H-Em HeR:wnci^G]4a9S,T_tx"jNHAqPꔞy"(5\\5i3L~*'[tJyEtd,|5ǐ"jS0^wb  gJ $YC3qö .ydH^<ѾKZZe5gr@C߯+C1"aP2U/caZ&3xjzY`xut'WUh ·s.y᫾y ձNL_bunbx3Ħ#%IF9:$]~r J (~ JZ OMٸ]cOv9-^8 5xèq?;l}Ӟӿip-Ґ `jK̙זN熗0Ht0·`V]-Hk?D1pX:TDNE-U Y5/֯|oyePr-"*dJ=w,bE{J *F;Ok8GԺ@Uw x$SJM{ /M壄4 | .WczvN F7h-"Y\wvYۦȁAQOXR陯Tޚ׹6[ԸRU@Hh56+ o&Ez2~zxEeNtT2icqVݨHN& y o_c ("\LS"Ϫ8S[ uciH_srzRL^oA Ma(26CjZ;p^*݁E}`^}9Iхkk\auOTp{aO)bvCF_vDn w[j~xhnQY1yNwp7P1m[h_*꧍KW##&;LZgK 7~Բw~X?NVӎD˄+{ri}Cq#H6LŧZTKf$A:$މ)"T& >o10ɨK>&B8Ȑe*WةKmJ-=\I+~ a0Og#}*Vۋa =iT|»vf^@C .Un7ՍR՘%cXqk: 4gdPΚFsbLqL^AՕy"ӹ|]6_z0 |%`1vGi#FT~4)D}kH՟/]EHj"}:MeB(k6v4XO2R0?p!t竑7hIʜg=IHA;Db+͞Q* X.DJsd3&ߊU \Ka6B^W Gv{EBԹ㣀$ҲHtk "['vdpY~?%@#W:a6F[h gxmC|a]9e=Tm[׍~cM>|_8LvT am>gs+6 By4{6-) hӶg?'4YN,ձbh66Fs5Y'%g9g:^Haeѵppe 0+k m^¥#!4r b~ג-x SqpݹyrpqHD}RDLqi`H۹8Vzb 7}! {Cq&b/$ǯ嵁b<غWVy>4:-3$^ץׇH2T-s#off$8(,ݗҸ _w9O&tRzZXB칫tж~-3P#ZV r:uVzU˩a//qX̃Iy&EmXXe2_A?Ҁ~ВMKz:9ROuf'?Y#@ˈ>,hu#C <PO"q`OQe 0VJZ~lU-XHxRЅ,fkW( $~Ȅs-H!9kPok,q')(W`RWj;mOY9sҶ'pkrHm͐a+,\"Mba"u.GcOa`OyLOF|%iv %C)BM\5'h&mUM`rT" {kn,keϦTÛ[!UvrUc(%φ.df*]i٘iW ;1A9WHA]`W ~^%Y>{sC}WdS7k9֘}uMUq'Nb3>!m`o8SACs Y3h6o_UO|BJxe) b`OK'urڎ&@r 5sЁyrW8=1Z(x=/ pLgB QsɸyB K j ]g~)B .}5 N ust1Q`m U<(K~fFFHZ|u5:vԨu<>-]ppA"<քʪ;8T3 @ 4/Jڧ,WPXB>x<՞&/L FIی_CO H)hlŐ4MًP\(Oaan˚|k=UznQ ~d <_\eo&Iכ@.DR1HzhCTdݳQd4˥<ş` <2&+l563xHj%i3  u+-v[D;a9NܓHa];U}2FM6 #,6aQ}T@}8x8rk.=ʤ̕8|[TU[J`ݲ*476uXm6HN+J] *KDjOo.QQ{ZmxK) (81X:n8 Pfd3\.oXU|ڀ%/|W㮸ӹSzH)uOƲǴ`[+ %0UwVD2Y^aNKaRndŻC=m28U NaӯsO>go6Q<\-9xGWr 5]8,Pfa^͡V"@Or;֋'*bf ]ÈB+ȇj#iMĐ 2%|Zӣz.:("0>Wļ 30=z i!vq4"ALn_~BŧO=.ҷI~=ǁWc""B&3ZGI ĉ+9rQlɴCO7n0@AZU V'y(J[Hl9yg7;&{gtBOPOPKxTbui*00 bQ>?C@;.6Hy !G~ ǯgt(då9utѱ(J6t_ 7@7-^s'/"48ﵔG6 ۮeiKjJt{`{A= V}jv}b_MgH#?,%^|jT&{ܿ; MSv|wCPtg\a=?'9HZ#!P,m1%:;Wa6g9 KCnɎ?>r&IU(Lhr:X2p5Afpߙ3;(P918AB i Qj88: Z(F$ܬH]Əh`yu= 5"i`e w!ã X$pt?FVWr29ʅs17yߒ\Ma\ G1?թk-gY"FcaZ p׌m+(ϥōd9Oa"}:Bl`L¯5NoA-ʰgɟ3M\ߏشY-I!<%eR]-~4z s{@齲ձ0o,K悭;<K:[?IL9*݌Bƨ<$:@mGGަ`K1¶@V,qlow:h,^h/AW0 Е7Vة=?_hOgvo' IQ? Į$}R֜!<&\XqA4!(̹Stn@Penfc |6EK6WZX&y r"Vܗx|I pᙻ1pN'2TdcpT6܏e3@n+l}Y 'g[YzO:|6鐺'6GNեМ.?̞A;Xl 2WP1gB vdW@&00껗~A642Kfu]7L$Fzu#.(]q<=EOǟ:yM-KT; ($,acw"L8LMW -fҌ wӷ%KkAd ,,ف\<'T@-Yw[բ;بks-@)!/_sKAO;;l^.:}hD*[̪I`>~Y)Ǔzum_ 5& ˧>{>[\$De8@U!iGm{~呅;L2e&b>G0ApT"ރ Fɼ:)瀂ky{Uk8 } 3: DCȨH(uRV[$`t`?`ݨ ^R1!֥Rl'!<?臡mb*lU@{&З;ǎa6E9Yҵ<' 2v'Rt\:&fJCjش!3|Z0k_}O$ml#2okWO~W[5pI|saGU=kTGC*BT?57N&[Z[#2^ym,B?%4$TNqk+GuZULJ{lC,3'aۯj~uFX2*$=SB/dGײ<l|qMH1qwaԌxN7Z_@5+ Q|. XJ"W,<&\RhI5z++Q9KCb) Cyť"8,Z(ilQ8=0sڧa}*nYy*[1/*bo#MrQ)ȍ SE1Ztd1ޱuOƊ? ;:>av$ .Ԝج(5 _kWITy+ ZTiKXoju3EGzw% Қ'[SwJJ(Eߎ}ęb$uBMЍbk?ϨSF鈰+e7]YRi0[73/PZ>D#ML;F%McK\A9G2s "€btOLђtTe|!-X2]@4Ă<22gJT \)S{s>G.b]vu!KOpxWK=7[pUʡb☼"d(S,G Ғ5=Zng|=y.J ^9Z,1ϨEK:Ų?0}yb z=p,^4OhclǕ؁mޑ?zp h\ w7Kȗ[Zy8M߲#>i;½SZQ@ĔУ@=4 'y9~H5Łh%U< ^2wVgB֐|Ssv* {sUUƓ-L-\pͼ]=.-w6j jm 0Hi409u–u{gnrz|h{HwXaҸsu^v6w㚾ؑq'o1u:rF\gcNlg#a w 20Sk6$&q1/;`S 6+oU) Bdx=dÉEtx9Pv;[4 ًbja篢怫s,'= Xf& %.^638yPi/dB mE0'B0=MK^_@BKhlވg'-)Xzg4l$cߝ&M2a>QP+I됣թcFW,Rgxdwdj5XEyTJ7J ͧ$FK76 |[+F1H3W@1b@gf#)spNZ]c||x?2KlwI+pq:|P#'+<5#}a8&e1VS_ac_q64+6e%w jȽSbC7 l ~*H99Tu~CHQ yMЌzO-NeGhr{fԪ  3x Ճ~00D _-#%I/?laϑsFڔwK#h_X3gw#4ǷQq@>5?"@ :gzp6F {,0Zc9*  PVH&WyO)/Q:". }hM#pf^dfz,d40"|7pmӽ}t\͎dIA樉$;7od`OO}&+gl )*@_8d)z/aMp{4=.VS 7IxRYu-? mC E5d93q;*E .3h` ' {<@z!ji:t=-&H&aG`| o33_Pr*29r< ^>&{It;dYHddϋv8}J]\9كq~93N懇mf7C㤍(Vһ hRQ OI`) Xˏ$l klX*DaeMS7Ca/0_1(L[!˒0qw!4{ra%L]w}1QOWZvYU z÷W\kSʛ&2Xݒ |4ia(MaKEئh"Em=:}FtX\SAr"8]Sr7%W{'Ii6C!"yi'PйGGStZ1z.q״C)D2vF9Gx^"Z!EbE6c7.#S,4a S%2mU)N5Bdžq ]{q ԯ3NCR"+% 0lŭ`3+%ltQ䵦ZR2$ #歒`.!GTK`LfdISuR&ÒTůM L!jLb!PU*$pOAF| Yt5ސ\?w.Lm?e00x9ODM@Uàj@tGJ\&l1:~c&Y~Ѹh!+AM TfN30{Uq7Q2+m&cT-ģJ=`KL-(V-MK|_iןEk NBvbρ``t H7 gfD5w_IԂ?OM b,Oǐ#65>CTOqWϕyaM5ŜTźl]xAWȠwEr(ϴYs;d6tQ>feS$0d%2ݭؔFy.7D8(fߙ5=98s;qFj_L0oHY 2m?^Ĭ'Br1W7={ _`pM_%SAEqAw*8w͚HAwD6)ڔaՖ &9XJf4i gXYah"~*p %wSTV?d낋łGQ#;Fi~ߍZL{i0(m\ H 9xl\6c""rK '87RNJ!{)XhTsQA#hIo ܀+4-s 9rkTĒVTa}~%Y[TZR(,s5Qqi 63\aߵxohSyR>;$ ־8 GB%M[F~%m8Z8,OYrf$S%%jr-gc.eApw9QP=t|kC:B&`AG꛵2wN)g3kwu ]m}[^rYдPiPP-rF K~{4NpyRw|"vcBGʼHA(nԅ ^$nNߔyA3IA"=,{,/jqJ ř.!~J׼\1v_]eaMh5^2]Y6t?P.Z#shf~s JK~V.#vuْdeL:ymi \Je G"yfUAԣF3CbZd ʂD"V?Tr SqHKxe& YXfP)IuZ2V2e`v2CK5'!\c6QkvY|G*ʸ.F09p5ng;|{ (meuW20e ]?`/~E紃;HfB:KfM/K}zG\$'|dhR|[R]JmWV%-Mr\;ڄ JQfCs)eHCʺ2Dr.-wU6<[29#R{2Aw)`~tmH1逯y*4EsMcof{ӌftFSBS )42TCc]. ,s_ۇިyߩ/7Hz% vKMyjȝ׻38g BG6]bu)P뉭k'F@/Ht`U٭|lSߋpb"۹0bXY*+v]GmLD5x΅F5Ix,@_ (EY서 /gI )Kϝ J0@5ʂR\e1a~i3vB*W*O}/$u˸$bF*3OcRԻH3g#"km%عHx i\2 [ö0u'0~{KxG! y2K MVI~WGVeJjAe(]KplpI 7F3JŪWH$okRF2P,|?T +j rӨp3'C7Ewɠ }pvHD,'҅RΏLzSQw%Dz1$#wumd^#!s-DG,yu}:mniSzzo>NK UĤ2ܮ.D`fQ H{M|;>[ME0k̈]Ŭxw*TȩE6^l 4@vyY2URzxw};:)] -m ymݝl>IO'cm5G~e\tG2gorHJ CVM'jRtz-am*NE[+MmE`sp3(iݪ驏u:ŷH!ËUwQ݈:n=0nn/x"GA{z;B_YnߑC[)͹5_.ݍ1ykQ;'l"'ĉҞ7SEtk709z-cP׆4×?c"+huώiGQ,I{B$jzC8pwP]0LvlkS79D HeDW2\m <aXY}]xM 豆#A2 r(cMDe.;留=;P4$٩ܸ 1 ]"N65 ];+Qʇ7F F;L(Pk֠`#tSMɕ2l)%Wh!YGZpY뽌\6e᭩ߦdR  \ۺ4~$0;Wr-gXjmQ'}tSð@qˁ _1EarRh24|%RUFl>"E#:878^%ymBH fD< j.l{ٚ;ԇBq99^^d27 F7$K17eMSs`ImصOoqQCqv5EVK8L YBH0xGuEvt`H个ww;?m:* ,0R]jg blR%)O[ҝ0G8Ϥw wymr ;'JG-(LJ\M!7 m:A; wΏhthP_AT"hV,c%"~P(Qo\} TUh|Tc5@ca,8﮵;6EtIf q9S!c]\cWټ*wHݽy'vDϐwڤS Gf*@80 ٰ(AN2YfVҺWD W#8ޔh|*Mq,QA3AEXcֳE,i;QNJ<8xغ1aJl-rV:T9g?l4 F^{ȗ=CC {?RCaVѰ굵 j)/hqvP/酯F=ɀ>r(ngx%7T/g{]KWV_9c'$ "!+R~4N0`K̴7D%5i5Ht>SMӲ(ߚSʹbCe|Izw.(gIN֡Iv+4%,޻ )fwK+k=C%(#,C=Xp Ib!^l U+@AљW1*J6 '0f6wŘqwzPrU5d;JfG!a) խ*Qsl|gx p5y}POGQ.I^'G1Pn>->G<.p'B7kKJ!#[pМN 14w$Ĺw'߂˲Q9,P{[A7PI)Ԭ954 %!,&8ݥ.jG`U=G}vxMBVh&YȥODsh{;)"yCxιwt[߁Y]vI }Y A|%ݾa hIߡ!c`NbBˏ^4_MY%=t 4mgA[tVi8#C"[-5z>z@A nr_7%C큺76A#"S(PNV8ZDqgFR @iB[.B\'K6tgv(Bs]DC?:M]@[lg׆BxW DK¹\fVGڒznQ:!05cb v?4J: ~¡ܩꜳGO+|/Jn(BHWG7Yi)9Х$R̀N^o'Ln&?f~6Y>P (E|`S~WxlY2j)uR0XNc~'҉`^z8luYgfqUz)׷('Ynpfډ}NBR #>Wol)}q3|qrGBס5bRb[-֪H'_cb9R~CT׆5\ <ҭ[]Ti x+q%$Rd`jc"Oe5#.MU$vFkHz5(׊h3bWΩR !WrjH̾kDYݖYA A9[VD;s9e}^:^Hjp2۠X۾q/QاVV̬Ρw9J`%AU_!N|ew.xDx}H1$st;\]mKu-OiȞ7C-M$4Glv.45ܻ21xGJG.Iu_iW K] o4$" Owиo(r?6ki`$PIDU> U+N4-d@T`\+g|Ǭ8^L1Ն 4A),RO:9aFoi )kH]xD܋6rX^Hnk나P;!Վ/y uro*V-Q-gF\Hߓ:ZyfƱOG m tO[79SA0~BEDqZ)&`k?~fFd!/1 /.e!S<`Lؠv-A:y>baLD *>HbߋIg-s3h֏^ް=۫>G;Z<4eWS)}\2`b.ߞXUæ x%nՀG!Uʽ! gZRG0EB+{)˜\BUȮF>ourFx9u\2ɷA=ǀRjy 慎޿pC%X21߻"T0ÕYM꫾HKc:!m_#7;~˯hTyXݶkCAǔ:$nFGmǪgq2^gykO$EQνOVt` BfobHߺfn D Lqe+ʊY>>Ե9ڃp_u7-7$SuƼ6RF.9fV:",S68;dֳwC|}A^㜘ADf4>gSHG}ubp+H #>x)&蠣U: v  JeH].Usr" 5 s}n>s䱟V?XN<ڄ"[蔔֌ޘ9@z5']* #ITIF]B!LPTL)Go0:x\ 3DEF$MVw}y/Z+&zQpX> D!q45S̶r+=WZ::;/CξsRO8Nuܭ`E wW6;̳奇|\ьhnxI1TUVc\ l :/^˘C0qP?7m>M-XRCnyau?҃ P8P4$اG^r3_}enLQ95 l0HznTQ?.M~$ikaqqExގp{ wls2l咽xucBWjl#~fף`RXέ-K{t5IH2>z;]eĦ3xJԾR}*=u *( u8IiİEoEB xlyb$J&"p/&n/:t0qꝂ;AaOZ2g1QǢl+GqG(y-'ӈˉ~wdvms0]T k0Y >ai'x b\oYszWQ1aKԈ&Ҿ7`r#dԳ`~ݽ~_XC,<|b9 x&γ7ukF7[l_a(GUrghƬ seBKz ˅:2?!qs%M4 D p@ M!7zVMh7[_I.݊)a?xjeQ )A?}DVJѿդ؋GllٳXLH,^=x93 k2<w ހ&F\b),tATN{ԪpVB/#\m8ZiK߂.gYZ490fa237536644e696780fc205801df19e653be79b35d05f9f8e0a26d346cc3ebf0cafeb60608d62 916c9a1b16497ead14a9223e075cfd379f8e0d5e bbce231b51918487458129e4d893ba293c3cb727