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=428.277cpu=1584.476gc=443.240factor=3.707zXZִF! 2W]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m ~=B<*zS8)ls&8p MJe_+<9>8zK?RudY9Ѳ#w1k 3cwɟaDW4_?_r% A,d9h-Ҝ 6*7wvRӯr* b#+.r$~f%zinڨX^%`'c2[O&' C wbqn( n~BFKj WISR1qȄVC,Œ"(ݳڒ42&,)&ejf``S//~#o櫨qW4-&Hm{ =2 ׊(U!W:3WLB|?ԧi9M>X] mWz'F+ "g$d u%IȲi F6~.;Qt# ސzBY5-ʌn0*^ʺE 蕵Ni %pYQb)0ܦY\Nt}ZmXH<.tQ()0+oL ˶4yczc@n"$8NcS{;v;^/_Dvg5Iпc\%#; \.h!jdF̅ؔegYZ7zXZִF!  ]ŗXiɟ1)*u%9vDdy׷ʮj'kmYЛtC)_x(;GȆ$n⊫P r87C$/*ڸ  QLgy]i XXu׀511B9?qmoIi;HC@s}ЬC2x&<{i/¼#@(ǧȿ> n,FS%#T@" M8Fk3lϲW)kJr-"0Uyőx4f(XT,!ޤZy շK5V_!E t%e8+e{g3Qdc(Afԁ@'ŵeoQ|ny~vhf۪CO9ߒHIKȫ^'Μ)Iξ=*g[m3Y&YF !zZRo+O0ŠdK7nv54:r,[x{_  ;y? -$ uږ7_q X_(KQ Tnur % 9 HOL-Datatype_Benchmark N RANh9K% LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.tex7zXZִF! ^]]A-MՋhvG"uIBm51FbhK#|Q}RiVeCG# I>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+ꖄND9G% 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҆.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 ,t,G9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texhc-ΐsTnjJ))OxAqpc7pH||2pΧX}FFtf,eKz_wPduL Zd } T,ʐTmF4̼mequfvpHES.K| H-ֶ +fWQ^Hna:_/C;j E-II i+сþc9A?@~+B%U5I?InS2 kXaҰ|OpB-<)=L$N1WRiʔt+7)B)+4%Bp' ^fC:}i\\[PK DU:FlvN32bȥ#7q\d?5 'o?KC #]ٜȇ yV@h3Nxq 骵ܽxZ }䃰O0? mADq *G,qC":b8wբr~p;愀g QNNp/crndJopv^ғ6f7?Ur@ƵQԴj6JµY_q&{^iU聑)@z3QP$lVi8BۂdZ1)OQU4.>19b0Y}.;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Ś%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?%?+EH Oi^5h!br8GNx ,(XwSOdۜmALRa*]ԏ.-\GGXծ|i"Bw(_IAןp|OWѥrJ{N\.wjuTQ0A;ip_sE5bdjIUκ,`'|sŊu|QϝT2EU%*JL0!%+%hQU P SG>Ap`ރ;;U9Q!mpH^]{ OwNyӝrۄXGzlR[J!m[-K48H;Ď=xDc}#V8' lj+Wf٘,;z)!C=G(^ok`d p*3|<3<"فp4-G^"pI$jQ[KX.v@9G3jQ˔׸jdF݉ͅ{Ϛpφˀ 뮧xnYyys9CvS l=kxP V̇+FHq.Чa_*J 2@M0*KR9ly4ω:^0<Đm&BmifH1(=|Q ܧJ4T>"F# /,adt$a@ V]4 jozJٔѓ{l5H4r&nGi?{|ŕ@z:eNqA^JM.eQ~L~O`G@i?ϙ8Bay kI؟zYPя?o :r~h_+9hAF<O$T"~y{t1fF.XhjCˉCӝ5Xl7?`^}҉c`9a YFzXvxV̘cDp0jĜݡ߸kʼn]<Ksrwj!D awL+bɄw=9١/g8/GBW)X)w\x`ѱcvL9vR_u6>j<]Vpe*Å\HblMS?1;k:C|95nsrm&`L̚pQ*r >F!19;wo{V|R|+yW&}ƏX_ͪށͭyC.H+,1*6Lk-^{L]LL7j+J/qʔQ*h,*M:zۑ {6Q[;BS =66 qR$N6HʥgCj L(WYb.3#KUgPb![G7>yGG>yj + @(zE79f0evV|I:̜+x^- ԅr6$aߝzG5JZWe1u3<~2j 9ɍjK, ؋ 2T:-@Z qjłw븄ptlɱ"ҋDMng]\=a|x"@(|NdSmB:nb?u4{iE}ߍ;WvrAm:UʭO?m|yi~1|YܐL 4+ePfe(⋞e9!&xo{'یX3Gߖ)-QܜeҠXt) .4]`mВ{k2Jzk%^TR2 |~{=IۂC i+CN d >m^^wo6NѺ. /zT9 '\`;P fpiQXT oiJL@a8flnuYu~cnlߡ_Z3`]/e?X !LK9rT(ek l䴉f\T&cn];m?q3o0.,OHDE' ăe"]mxX CfȫT-od8q<& ~D͍ ֗(ߚT AwXcov`.#'H2S$2:]젚Br2b6LeK7q8ӵc ^!GWy hn5J:Ff$ŕ 0eۇsbo{ W nH_0VN:$Jp xBv]"=_d]B/ʤ Σ` h{V<-.`#~sQ&NH1?OE͜6Qx&[8ū݇տO@RwX6l;@hbM"<)=al5,"A1V[ώwU|.y鞗ˌn[IЊ%hU ZYt9;E.&74L '{(ٷJ[XI|N JU\(0DxP D~"5QdpLbC<,dL5M* 5 /dhi*Zl:PTH&5dgOO얃^ E*&܎(:iz]*D\k2+4v[ܧxQ,q7>3@g4aC |6^d%$Rr/ j'%aq/-QDWR>6 j_l#X)k]sWcvMKϊPMO)I֟xNT`4cEؑuq:\\n>;/.]o}(G ןtx҆KVE۫-;I嚩rs?KM"MB?Wϲpi@`l`%!k[U_K$o$,eϞw2Ur* 4 J)Huok}zٜ5qПl0Wq(fCCl 5gnjĞ߄r>Pe ߣ@٣#tlHƋ$[6B ^OBW  ,ގ!POtYm\CG𛹉7>Mv/2-CXHtǨ(l[ވ̝lyŒ0; `y\Khׇ_9&şw|A 0Z+EA{ ?jM2Jb-cv#D-3CU^fG'17áՙ)܅};XQ.WB}N<T?vh; z-i)_$>2WP6UX:I,\9>KfIS'7"jC2{jzEllJQU; 's(ƽikz9TF~ic5y\[di_`7M MJz@H\$ 8;8}_)[o|ma!#68+r+1aX pBFK$)3(i᳀1@m g\XO fmᬿ/Gu mdӼm0e=;M,7WpQ1vMp1>anU V '|lT'U-ob~SicdMg06ٛKKO1Vtgf " L_8(M` 8 #PG)n@iL3&LkiBp/Us'N6|7n ~ W0Xt"իg'!Ţǘo=)pYR}_@(x%)?™GTMo}o{7^$\V7|rhthA)%;v3mB/>p7" t)$JgNd ],uOR'~6uy6a0=/ߏ:q|L^ݾ!cHNplF;j!9AZ! (bjpļ}w>ǥBN|%Q̥c(Jhm #Ŷ;Dߞb`[Z}ioy">8庢Nr82);T?Lb;Ԣ[*‡^,?/XxX26=j:qE^k3wV2dlհH#"F_ T%`W{nvM`E4Dwh#tȠcwIYD aKC SmOˡe[0?OVXIvMֵ0ְDspO Ԭ~ZkjNSH:)ؖZ^Ƕ>yjǸQδͬ7Ud[T uW4;QYP0*;ak.oyG-B! aHlD9*lw== q\.>,8ܷp61eRuC>z["-gE毰LȢv AdNxIl<?۽ 'GYxw}m+OS*X,*ﮫ^7"VmyH4뒠*),#Ur7koylE)C\#AﻣƟ-΢>D.:.PL;vY?`)Ѷ/Ә}4)::SJ|kDu `{;A,9Rb~h5IXSSMAMj9-~mj߿+ܯ5ֱ#g+tvU !tŹ&оl[*S"Ol2躧R 삝U1Pe/T>Td>^";NWbP:QQD'1)kџLy7KW=/ه͢?=QN([6$9tsm%>=1Sge/<}B]> ^@2A2Pϑ%2JoH  !kmKFo=sWGZSo\f]op?y̷9Vm2Í_?uVL/R ڡVPK(.$Τr8AyPEIpwaFe{rUQfLuuX 9]zރOjN{2z`;M1軌@ s% T.4T~f}^uԄ&RXAG !۔IOeGx@ta:e"ג{rdxo;26<"W$czI;Syk[H)AN]>)C通?0׭Y?VpYd nhCx ֹ(ʽX%1(;&Q潑-ȗsgd >P. PxA.24~K$>@9;&?8Skt`y!߫3sG.0}*6+ǚf,Z";YBI;iL*mr "mJ me KW[( w69z]TٗyvW:d'wP +FדObgSb($}8 GK(pV'{Y`&#p61:vt<'Hef DS"gh 1z$ V@,t3~Vm̰Geqb#KN3ޡct1l&2)Aʿ/ۜMJ'v8u_D֡ub}JuhHM+Vrd(&Czℳ-/lIL :}3%3v]9w.T`%bI s"ىDQ_Jj7!¿."*eWt'VIRBVE{Z3jLqvLIݬ:B#ϳ#qEkwvneug}"9wM`nB†1Y gf4吠M? bܦ|g4( λpP46v!uɰCb"\[`QLx(:[yC @?1'ח^N,Od]IF! H]PKL2'Blϖ&O%j݅]>O6q'yCSY٥6^48IX j~SdǠ?5Xٯ"V xXв}3]ՕAc=!X'ԁ{y ZY6DMga#l$ fCUer0LCx?K>mfq!.T/){;> s\l.zde fJl}l9+X0?ۇH'G¯**Z{QoѪTas$8-~p$C޾5 )FkG}I}o"~2 UC|"| F:f36#vG`xpd x`"IOXtyHзsb.%){|ۄu([ԕA(VGU˰? =3ltOJ{z5c} H,3ŠU'n;=zd[. 1=qu煠>s :?2D"_p6r'n `i <NJ oJ%AY\$+x}B[5%a`>ycqyr=1i>!2J)T?;#E/+ذQTd]w (rZ7`8l<:y*ow !(>sCP Zq%¦7xQ+Cy}Gv:ujҮ0%YcOz)oŀOvBan z x :VB?wך/03 Af4.'Q1`?ٛsg41.\oGJ~OPW.҅(5HHg}h`gDq<^˩S7 CQH? [0Lt*{Sj;'#BVtTN"|@rŹtU7lA87tGZp{ z\MkLV?x{RF-bj"3* zSQʨ坃+|IZZ|.!?bYFC\omF6kzTW> dsi (}Ki{&41[}W48">n;^*b4AxQ7JE[3*ALhLRGo9B 肔uy$UKboH*cpT>ni*|=B@eY <:Q}5B"' N>]C~(ck>[ qWd{|f6Uɬ7PB]kݕ0cn'̙Q4P}\^5&gB$`&=Fh uy>nbj^u [&zDa/U)B柸bxu0`m.CJ~%>,6Vx?M 6 '֋ zQOMmJ-@V)q$H.~>Ք ob>^$-*=#<-;lWYhyqΑI|GOPc\/j0 :>2 /kH+/ZYľ(چ& nY !R{(4Ys2% 6{RӦ60\;Vfɒ*ȍ1pgǵfnaZ Za O E|KN T-R&w/ԎĂlzeӥ7Л~? z@b-6 +cBqT԰.H0 :/NR8 h5wE deaxY[EW};,U] x}& |@ ۅ4l!C%^[@uo 6]K`^H} $aĤ~AتޫTo0y[n0nZv% O$Lp:d8EG)I?X&Tm4ݘH) gO6AnÍ ͬl $DMY#TftU/`\CILЅ]+t{n>N,ZKE{~/2~( b_z8b(W_' Wk F!r(4HI:oD޸0˱(?]o*( _yiC)Tرd)^@TB3F@uaPQ8SCZ`p) p>m\ S_=s9c7DϜW)Mm3^7E84BsJ:ZSWTIŹ( !kHVY"NO{FGԂ|sI[vyoEV|@qIwL &S:D’2ִ'HXS.1яzLM@RCVy Qy pA{ t FQ&_>e5M3/:#ɇT/$WD4q=*Y|TT>ycTB3 T{!ԉ7޳nn{=yå<0"dMu BU\?~e;cO8+<ܧIЧoBybk-0Pwz/tZ6Ό Ux5%x@{ *||J 9=b*SU/D*yojd`H/-SZRX-)qQ.=(# Bl V5t1m27Rx4(:1:͜VL4 g/ЭA| pFBi+j0Y ;_w컈[Vg0 1[`2La'$N:\R ^/D(),.V h2&q?7XkĮB}lmx Kى(y52,f b]=8f6CcPq`kOqiqR,b?ޮZh ȅBhGXyNQU}~G9D6o]0 ?eLrGUM;[ajgPyRTjj[ 41) lQ-IM)&zBwڶ.̪`?E*V;uV?CZd:u0T-3S˥LsZ?(8c:'9 YO0ZY'7an=l0cd hr3YTM&T̏K5T'~_cJ+AR H/x DPT2tB˹691̗p:&]rVM-R!0&ɋM(B9=2* $њ_"rQZ1dWUCwRӐ>v3U(ݡ:RE_HBzRXӐIl )Yc >KۺO"~^Xom5DLҦ0Jg܆ ˞$?I(1r2~3F+j̖S czZ r9Z~ɢezOH#m=dvmiu&D(s[P[/x4T3$z P҆kM:N!1=ߓv l^=]Zdgq_$:sm>{8/jAK 3?4#RraLIe"1f7 \ c)B+= _S bԭ*&ANj:BJ37q X7Oٱ!>JS,Y~AT$- dv9M"K=60ua~ d6`a3JEn0+țm o( F<2dggoFpz=E~(QB̻xaޱWX "'߫a p tgLvF|Ro}9zY3W# #խrN(k9(O۱Y̪KI_}806SO༶ 2W\i${BB/:}d}Q __@'xIu1h.ڮQ;""ooe|z#xKW̒8oƷo/Ƌۏq~Q7V%-tQbK򶼽QHF-e,ZHOv.+fR*uQ8ī{j") tŤI&Gȵ/*-UGfkmtʸhSj9(Q{MJ#ĸ,%*6=u{JGAҘueN#cÍ2YJ{@BũX ȇ\+!WYpّuP30qW=0Jq! ~G1S'愤C?ALUE#t}j5σ:*b!=toM"KXɲ52V i~e&wJۚܮAҢC֖h,XlTChu-n #*&r]u&$%Ү[ɩN ",7R%k$%\rݽE'N ɮwܻ*OJY}yҳ,lώO:Zvg(pq:N$Lrb?شIۄ~%4>#µ`LܓFFߥߤHbtdTQڃP?桴#U ^.V&On Œfթ#aw3ގ u?-i[(`0 sȁ-|9P,ݱ:)e*ڏ@[;5="W\>g`B,JvwNaY#5%ã/S n'[4\ײg`!_"=ynP [ލ8>Airt$Szu`]][eքTq+9FSV\mXl:^<m>s],;Uɚ96"K" -$O- -D誝k+Ó~(z.!,Gӭ3@9>ukf|$zFR8ߺ9Fk^&CuF [3/C; GݽqMȋ/rJƶ;f8r0B[b0GEV&w6grB[Dz[*YmA>نn%#n)Q%G\XʼE?|Iť7Loeƣ0;qo&w/` DltQ}+7( ^ُ"xit@e}/]Luy L '̭!֋\B;K:..{QWL0@eGְlIյ8vBNt[:t<96΀*}8OM3/G>FY ("t{'{wygYUɤv}o9K<<'ϴfS+4~$`N67"[)mkdi )}^F -2[NBc+o}i"(tTvOxmd٣ɇ#4JzLVׂI 0iaq .p Zo34.E+id>sȅKC9= ۮvoU/SZBTU{;Mzk:w.:rJi#PQ6s'`],jX(N?8' uQf_(56|&Nj)5uP=]K/*C4 $aV^(bJzO( a]T+@`Ncpe 9ዘ:z`6>Pgs[UeUfhV#vSJ&Fpیڿ~BЪ dz2Dcʲ=~GuiCSb-3>YVݪ+w/sV"Z H(' )C󫄉KbD6䝴7+fD-}[j`<+Sm˙'H=3`H7&F-+n_Dr'׭H!Ӧ- *P^6d ɗ {cEe8nrZR9I s py}bpZk]jJUd L!e>I˲"8(X̂":QiGoɎ*Fn}cWa? oG-xH8nP(&6]X)qC0"GSř$EȬCYkBu*X>Jog(wmOu+[C",gq&*b*J%rtD_ѱaqƗ'NM: yO8É6Q3"Fbzjj4Jjs4|QJ3Ix̘0ܪE; RScR6mYI 6Pw)d?`fgؔk` ssV'PX[1%T!9/[$zF'i,Yx1ΤGVll#:c6uĹ?)͚#"̿3c,B1mlAs@9%P$ވ~ca5WAQMMNCc"D}DZ;baK0= XP qBQu{"KU5V1 TS]} cҗ#GwtƹR\ JVq5P/si2wtn/PX 1:;܎(2{d!FB5Α_A8e 1x>ΰ!?;h9-g+rܦ8MZ佤wyocDc϶j&ޖ`] ЅƱtȒA[je0 ] sw';NQ,(L\{ɻGS(w#GO9d{jL|SI^vS E'~ ~Δӡ~6mMn&2b epHba \'.#NwAQe}ѴsKyXX޿^n'i/MC 5ua4@'Ѕ5@V }s}+ QrlZB(ft$hJl; $3"Amv$GD1N -)g* > +U TnCA~ drb" W 7 +R{Oݘ>%j -j{|mPeX1OoѥV H%y= Ip%qXC =̔ǽdAGZ#Jb޳QƔ^.>o7e1u NpG&&|5T:L+J /1z94%R0Ves3(N"\Ji5 =s83SR1,r}yrB.eԼ"?eWRpěR*ImSrIX &qsinz1`#xQ׃oZvϽmÑz%QGPs)8)3pviđv_-P`j9)$5̒/PaWk8NVXjfܲj0Q%<ҠJOlA| m5""@IG/|ny(twUcg3\k$PjOtf-5σD?-Ssu8$ F]r5mC0sC:9ʼn;LSϞcۆ/$HR`Q4`yD\ `FAz(vHld3{,T<:JӀUr + \صYgʾYPdl(銠 T":՜E:*ǩ )ZU@o5:QOax= i Vm4^]Ylb{줷x8}\;5̭n -Fˍ(ea̖IcF_(G=aVs#IJs+C"RobzD#` 3-(ȴ4Ç~V`N0yx[Q./CrhV[2( n>Jon?]R81Vwgcˆ-W o4B5LT8Geu&"vˈ{HL_CE)ұl;UvIOQOϣ~dn'(ۅ/@td6$TƤciT3t" s &MDqp ֗Y$!xj{e: F!m%bTS,,Or(/ΪWKC5-qbkhӗ>8 i:(9-.YUtV|c*58πޯKK06`W2pC|9dE2$LfȆv$P`YmbmHUXq1rV.y'ոH. R񑼩ԟpyWI kAqFZTTXDg[ߢ_5.v'efvFn$n\6$+E CƜ>^ `cư$V1եS̆b?_2Kx^"kK̾η1>$|N\gt>Sb>]&`º]:/4܉J"UkL&쓮%HBGÂ? nJz$7/iӑV1i!/. rRJ|m9ү8N8mxj} *U`'3SMCG%YgTGTT<Ŝt>m<*f>UApNc~=6&ԍ$ʎ;!`C̛njKBmq=L: 2K uΰ@j쐆&|??̀_S>2tS;jou#{@ٌ!nsJ$RC.ZI##؋FT\9{tf.4 /eVեiOOomGXDuC2:3NRK|mr] 6Itfַ)WO":SqzY ,)g#%^^va B4ysjC-ͼ16WF<'֦3l* O῱dŅwG(c` p|vƨ2lo T>-V 3cvǵ"WaKY#ܛ"Ւ<~+ǐ/OaկcN# > ΨY qY_6PU@2()ݎ76fD.ob`}Հ\"h kE0'wh\3+Lꘝiw׀-zT(PݸB$\B{`e5WL7лWMyc%j;.$myȩxܤ? ǣߑg;noOJ?O hC`F BqXT,Fge/WI$ⴜsrl'╵.Σgɗ*~?isf,YzfpbG#N!&">cZPW;twNHS6{qfٝ=O$o^G9{8yq-A&̢F ϢOd_9̝J,s>ɚI}o쬚cw9QN;ord:5-JMKqrLBBLy/4Y^7AP޲t)ЅJi 2T9cKK7*SK%<(P1Ux@섙W{z1M@'ggYZ105fd7b5ad63e32d3e2f0f9b39bcd2ff9e03be73425050c979a8d54247f86c7dfa44e6a498adfdfd 1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93 ed29f35d0b99a35bf56527c7405c4d1433071668