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~,$ ] HOL-Datatype_Benchmark:threads=6elapsed=531.959cpu=1963.564gc=733.1807zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_096&0<0sE i{9hwW' INQG O{+%HvO8y!d'I#@1V [QFmX䡜TeLEQ.T]2%ą_]E[; I)bM @кγL ZJbY8Fjc4Jc "bNj{QY8 Ϗ3?-t"~N[]ਐOs~E WZLX ]cg7$Nb"2ѣRj1;s)#Aw"7C "+N^9hz`OPڱikcN^[Z-H{PI^9r}WI!]Tf!dpc/leT@X39Z~Y-=3OAj0X\VSwҧisQR9D(pdoZ,"_ L{)IBTWN(Zo\b$ #樤B N_9 c]N53]縙|Y+j%pŠ4=H5.ȷ&bnk Oݙv" uZPI#y LΥ3{ Ӿ=##IȊD݉IyNK:Q wIQ.8߯=j>ys/X?ͥa0 :a+s.L349xxn0 \SoIo= *S-@l^OWmn>&]VMy8I_=R9!3Ǽ9nTi@<|⠃<~u$-Ke_OnRo'u+R@g:w?G[ox ]!jKtkb5*yJI3;6> ~7#U*z iJ쟛gYZ7zXZִF!  ]ŗXiɟ1)*u%9$hۘ>Iٵg7dCiV } ZYM&׈_C ˚\*-y$8. g2Aa):ҩ.Ggs.0iXh.|nX@7Ve$[8iK1 b"^̜R:7B= d Xa7a&.Fs/U#r{fQܺ`sźzV PoE[ .}U =N%.5:9"#2qbE,n`V|&v0z=!/c_Q><\Ʈa}?+',*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Śl#Qgw3bǬvk(^t5 xC/#Xد?DCڱ֛;ȧK5qhjF&)\CZ2d g85s2/~d3\> =[_4dċ`@"Hv8֬Ӏ7{Ctm =[ZN]J#lGM{Zd#pQA[y8,pKq3 $PGzM>v]-E/5 pڕ˿ݠPNx1HrZxO>яLGeE<}|swӌ(I810Cbo`&*4!*tQ!#?<\7+,'6|;]=4ӳԿ QzBq9H熘BEXAE,7\>zR3$&gg~[sS7roP_um^a}PCأ &2,PVZ :" >`rV~JĬ8P{wbQw#MZMpܭ"fL>G1vy~hwJIp荟OԴHn3+,W(bJe+<ژ؁~V#a ڵ(4;6_V[iӯa:H8}g#6DK;4ty=TEuvZ8pCql <9}0@jCHv0tx^c߾Dn1}|o 1.:(SWAݍŃ dnܦQG1O=݁5YeL ɍU 9:j/'&@Ap85uZ&4:]fd*}[b*lYŻv_+3P^ l"[ 4oo\'L)s&}d݅0 <O>5%B$w۴ E7֤HPonw`)kLڝdZIJiFɆ-c1^U>ŐDo|}yyҟ9M.-\Yc BV rXxLɐdt<T|λ[Fh?2U\i'(҇__zq"Ȏo[`}[;nUptj :Cg{^c]w+(\=cP;?؄ϊ- 'C&sx)&^;r5%[ DNLM~穘`h o^AI돽@MN"w<3"l,BHWt6c1St: ~NZljkZ] D3 ? (ݪXx6)ʜe3h~W"ՇZM33qNE6=';kW7BKZߣ\30KD-[`ε?ɒHk4 xCEv$oY792Vԟ;iͿ,.If̆jfLmSjncZiG]_c} :w*u$_:( 9N\LṕBF~Jrek,V@`̞,;n<d-O'~kV`̭8j* C -:f[cD(|h`W`-;AKttt%ѕEQwJ'!,Tx{^2a2CeB?L0ېQ I<-҉U׼`ޯdCa>wa,n{w'©'{%l TU1ixK Q*$ڻ1)+ ]"} @}dt~a?D<EtEitR͔aKm,GJ3^"Hٕ3L!2LR5-Rfv'&Ľ9Fi#)Rd%M̉fz+* p@-.$gj< 9-5G0t,*YYziu,wg BS?{{I)AW(O~0[iC Y*(6z\h.$33u*%G fK0aY&vĮt_.3_pIQB87q\[0WW_wmhe6]1H_eZbۂh/G&q2TJ/n `yFsbn{n]-a9O#C&UR]fd9?DJ`WɖC<Ǝ5-2`S"NϜX+f IPUf`A[(1C0ō[>S:yD[lI[kxG1ٰᘮT |<0jVǞP}VvjsS%ד pU+-Nh"Tl) tG#3w`iX@Ћ*ho'KxLV 0Kb^눦WEmسP ,uQ>^O$F}Z(H%}.5D:"pm8S*F|U>|o y:ui,X2*v{CG<ܵ?m]62!59ʃ/1%[5%= ?A1K1h#lv~Q+N#F}ex8$[;ҡͿޤ:wlʅ;!WbZR~jEٙ+%dOO)NKf{[( pCiD,sw7Re2r&m`BWka LaHhØoxRBkÐO> 愂˔?0SkjmAN9 ]M 3?:`/KL=wpMʡTXT<:Zgf&P$1.$"W@ ]UќБ4nY$[ հ gu6"NڰT" $6<߆PDE&9=9 m(z Ѻ L"%҃,"^Aqz>M5m** "I}Ф@9:߷cV24.f(5j聁1SN6>=F]8?t'歀؁X|ܶ7J~?b45p9ٓN)8Mv(%,5Q/(ӌ o޽Y;B,=+^V?޾թp&s77k|Md"?I涙/c>|<>$^h/ 6ILu5RFf?Ày.Bb4g~//d%0De|A 902?Et#gtD[8x,=^҆w1%! $~`&c.rfb|s`qZR=tHy\UEXdImw =<9\B->>l1U-0;Ya`ڦ=\J}69s1w0fR~=b.Yjn)-{27 Fr2̙mxй9MaEr:5(vԱ.*=@wH'O @_y2lH<4U]1ϋF` nۉҶCF9$n6s4_GyAɥt/T̵՘;Crz9[Zkzt̹t*odֿt6 2ܶ,4$Fʾ=EpI94d]դI6B6M^#?1ԓ`W+ĺ-ԘYrR;sO15 )0? V 'mvMhy{mhPmt-=3az g6{.;Ug-;NnQ>Y6[M{7HԡK+ uDE«s9S+^>s[Nel~(3U[MEw8@Ri!|T*SWb)yػ y恄u=,\ĩ4~xOi1u t9q̅Rj i&*@5?CA#zjm !rX xc6"q3ȴVLeRL;p= D/ ";ېHu#YB:Z9i|JF8AR2~%C,Y BO>4;zBkxOj? <6ZI}6ƬWsÊsƢۅkAуe0X`th\{0y#(iL0g !&{xD(oeY̫{1*84$#N?Ұ-A`NWs"5D⠻1%_eRԛhȡA`vbݍ S'ѲO+Rc]}堑,OQÛ]:8NuՌOn' I0L;Br:);}x(86yv]\"|)邮 Y\;,qY+iU+pB{@X> (UiR{l'J}" 3y*)yvz,(-:9O.605r=C0ehucPT`AId ͇4p,ne#ϯtH |.>ooװp D4z s4ԍN d'Ӳfln>$ m?%4-7+`vE-alcU7)|7^mWc<bHnG V#AA ]YQX?463&dsɺs&e~K4H/δHޤPD]:yt5W;LWvxbʣ.Oht#&Wn`fG!Q=If)f`Cmͺvuok5`1RGx|M.\Ĺ<{MҩĢ'DOnc($(+DzhΣK0.2*j^LAE3Ч}3 u 4FG m$ՄќO[&{.βg?XJ/`Wo:XcȎk ?rxSYXecS*mfkĀGcE>N/[ho~÷@yϐK4Mptm%l]e2IưbKRw&njh+˙,0:3]Nl .ǻ5&/&bߏ:M[͘ U۱>LfCWˏ:2w$LXg Bt[9I+"ԡ5+wbF*t^'C$ݨQL,>$g+N(qR<@s-/$?Bv_֔SA^ޔ֧ cS=qmGS,ŭ\Q]*c(5KqVš4շ⃮w_L}e sziZwo s e!P¬:2bwEMAvI5)҆8M+ʻ^EV ܴi3'Fd\dI!P M `+lNʓ \R0Yd;8ʺ-(_[7:݊ *#{Jk*Ē~+&J1ƧsÓB7 ۾QƋRj0y" YXdI^W( sx;_yz7A A&FD;VT1iYK% }D2yeW)p[3IC,Й67< R~ .ldBm|EcoZ6([P'5Y\ەH8Pv4PO?Hh+aD<6VvM>½:%4&ɑ3uy\m٪" Tw6LՄ@CB<^I%PAh0So~eHKJEk"@9`)җfL==r5-u*ꘛles:rvtĨxu吨\T5\}9gF(:'uDXTE4loM]&'20+Sq4c."+KeRiiW-r TbӕP8OȸoC(xt8Cm40^ hIz֡SO'-kɚ]j1/#yRP2WsM?p&۫AȣQIOZ>/5y G_,nM)c;YqF@zԪC>ah{}SkgH;Bh*ۉY3UJZqdXv19WAʘbWC ڄ}i:VtkՀ1*{S1'm>KTyHE^08CK&y4}ĖYo®5 !k&n~mÌP"kUEO.˨Θ#T$M+z5,9l !MuS䮧} %*c:<ί_Ty 4ȆB7YzLPL]3 C$Tށaa3kzE!k1HLb]׾29`qՑv#'7*Tb z896a5E"Z;;c@SV+. czx"ִi+,XFW˒u^b𵠙>he`Oxqwhqeh3SZto :XgqaIcBXǯ'sЀfD:yC澴&IIwx1p!)鰭dͥMT1]/ENNӜNկ2;*CE" %]$#ӘVR)`GlˈIi~ uLAU ogo`4@6Z?%+MYswH!}t+07Kt2sZF:6W^p 盵0dٱ_:?;%2ޗ+'/1«Uϙ'!ڴ%Ly(:pज#JNFH$蓟 E3`"C"e0];v_HnIk3X[^`m6͸͟139E jf(wZ36%ڜ= n5jVһUQ7[8jɽr<'#8-S8AE_6,/[#?TF/$A%W˧zWTg8~i>}Cjt~He*5唇gDXˇȧELNŚգrK,`fǦ2._0p_.5^~Ҩ`8HUED0O>!H$js Id!ݎ,D!ڰאr3۠B|g E d˸a(>|D8^i vuTxT*Cg Hjyg1%LB5(WzU'hld4Ӹ艇vΛ/lԩ!z%Q~47I|(4O.#/UhK599LJoh4J < K8M䈾&,6Bh;?p^[Ahr+}ˬx]·Pߐrhѿ/ ks?RE?=b`'1=no!Rz ѷiA4dpc٣!J 6ahƙ8ȞCWF#N\8pP$o}`ojBG=dMz̛?OѾ% Ʀ]H!T鷽Y3--nH:M*HMuբs@R(*j V ͊WX17ja:<,Pb͜NOdxYEfZY6eFZ, l1tCNڒ[]מ{_"Xf(8L͘LvUTR+{J'f-FZ 3?YAӎptlA}eE]nyqP bnZ9>ˆhbù`y:ֳbHzYtnVh8Sm^ș=S "BP Vbf,EU @rw)vta/1=uJ?U1hI ɱ?%s'}O_7m:r`?aXIL Ԇj DfmGǚ^(<Ԡ| c2< * f$ (0?߬2? [o\j`O뎝\YZ>^+¿ Ȯ@uFɴ$m!*W0Dp{h2̺ǎ\-$%Ez  7OM uCvo;>23 R3Tb2NRy;3s+x[J ]"Qjh.yU  s\siW1B y7'>BH-Ѷv= g\ ,j縦Qbt$\f@P4|1A <<#3PDƏg0v늏%BJ0 >dI}F&iұڎC!5yD5/xMfwC[JO^xDB&]4KvBYj۞JiNAoE^El9KxB0[ߌCZ|POKl;{Х\3UO_\lf:!̡G. b <.7ܱskY})RJ^d6Af]>oGHM`Dl}tbܓSNcxn°Kp2(?#)uZ#{Qa$u$/2d -axt;-SSˣEY< PB&P of7-T?2ēq6 ^H &v3jX:p*BQO~Z\b(s&NK౱SZ~*ЁW.gtW0HLT Nѣ?!0B=F8"Xb^V} J,Sدc.pgc-Zxd*t3PlQYEM¶."{;ixNJ[-Zp.׍Lįv.I wiQ0ʅcSb+~ui&+$U}Nzþdɻ5`,8Y׷!9њ*wʐMsX*~TIL]TH ) N| %?2i>\n{7DEFf:qTd I7‰@#r*(5cs,3o7lL8]Z2+$ϜsartU1Ф:;R': #&@Cϙ7PH &~BKU4*XEa9x[{*:-'CY`+ z/άd֓s <85CCm>[ȅEh)B#5h?pI:ZK5[(Xbg5p9JѦsg.BrYl3u#RsۖYoCcKGț%q"⨊Z_!b6f~F}0D-##:a/X Gݽ ytd4L| vSFչCPid-N"<AN F ? F9 ۯ KѤ1Rӟr+Kn5#/Gjc^E<cρ(}T&izyշq_BnkëpBJVqI1 CcL"Q̨:ԧcBWulaKAb_dL e6:?65A-?Mj?Z:ScEi3C^{iDWv"Ft _0 (QLr 4^!1A^0;VJJϠ-8,Le2ؿu`irF(wvfE7 g|jЮE!;XWxsr<ðT=(B]ݥns:P ].m~n4Ɇ? hː>`T"q?XLzts -$u6)uh$GO Ad ]/ߎޚL5sk_SPY=R1_CrF+ 7S١X. ḿ~ g>{SQz!`RQB-/א[ ?ғ{S,e|ج;cXؚ~eǮ =}}q>ߑE! -4_Em$(.1н{u=UHfp vu,''7Gj?N.1j:=>CqyZ'#qLYVH0)q_KI'@#!Vq=|xsEFEb$W;?#z{ axzK@?.~zJZJ I9_PBv#q| ~,M1 Ou=an3FGiP ~M˺`E8*/I$ONU}~ŌT5}^O#>Վ{q.s h߯ c}=/$,!B<kQ!2)N?v,B[E qjS- Ȍ#/[>/ª@ /W#?ϩoTݬYTKG`!B# ʈ("-,'= s[Lլ0[hGo(8Ihrs" ;;MNdd|;E]!қ%2*ZAvٖSw9l 5OzƸL=ܷm<M %ڈaEFB!񙎝 &9$a0 `S|" Z5{ د]NwIF6,pb4[ ^}=( mfS|a_!sJ!syAǧGZ߈| m!ѡP11yIRj>{Me~ *+* пG(2}>!w#+CϬOBH/Óᕕb;dN/Yo7:b9dG6x h5<;E(5bRdXTDfGEG*Ij0ztrX.>,=ހ۴IqR4笉>"O>o$!^Mκs&PW[ Re 3NJSH۸ƀhBSY;/(UP!vu>n+i o87b$x`soڇ.`0_C%9QAhtV;p j,>VYM,>j>B#vHn-yY K*4@Yi]FN'`dV; \txrl,dI\dzKC`/Hkh:m^HćM5;F'|Þno8o =Ê 7'yħKTow`=ՊbgZ}B=bM6;%r燏C98>E`d3- ]#㟥~&[n# ؘI:bŚ0Y9\h C$Mhȵ; kru]rxwuc 2y24voH077d[dIhf9| {xzН7x$=B1xO<:ݕu? fPHp1_zr ܂|hg/FV9r~8BuIf&MJx=)fR\z/wN[=`B~寮O(q:= ng)lc[ $V۝6 6CxE2~GOWovS>UޛTg( U{@h%DHO/es&BFOfx>!r_D~pyˬ3ɨ~W"G抋 vA~9~Q'G0`11bǜ׭3| Oi^(2 @NwmdzM ȅYZ!bqw,6n xe7ܿ\ -~sH~{z[ƂoCӰI{>G= @_OrK{J2Dٛ.Beˏ q*Yp)1Q[ V'BP'8[rS%ׄ6">ͮ<w@r%K„ȺUexE=(!"!O5.\8,D}}I.PČ?RƩ[~0xWQUљ`/+jT#jި~L^W v*u%X@_X6HgWsP(>fqȑqr?hy`Iu-P<S~.Y[kβ'v˨b g7({J?V "|̓x Ee\_"ϏoQ$m{V1%18HV nxsRjAjM;A.K XLly/H禊rw8jAH ,iO%rE_Ĝax]{ˋ62sjegvuƜ[1/o!+ NSӲYB?Yp&C_ȯK|DlF 69^k>Z.JxοKA 0iO+UlnN~KɳE0H_L30ofnjTa=maI4`Лo1Yz{"əMK^IN[xd:=ڇdSw,1Nbbyј}>%Q0wF&@g+ωrδ!jHʑ}u#];I?G}%jGgbbItHcF+?+%=Nw+ֺafnJfM)9nOunq0);|CE)EƒUjw\ԅUD@"nƶ3~VR=5u,>#mzt fLRjAew uju@;\w`q+8e2)➬sKbTuo^!)]k{LJpW yVO; Mƽ(|$ɦ^z`Ec0PA3%8~Dl7 6 &RO^tC,fU F˻ZɽrGo+x1#>/P)xr{{ʺUN{xčܿkyeG&j|:<Y<dP·$h^f4Sǖ((b` rp#Ė$)ً] U _zg ɷ0VC3!cw,J0:pq:t6&%)lZ޸h9QTX xCU5FzdN[8 >I(b՚ |g$q4?jePcsP9A&4w@FHF`ix`Hoܒi#s$zP~ H4 OKukufE(^@2'Ta]4RϐJ&˳b|nFJ_) D0=%N!n3fMd"5Y@s/jW6^hÌT.a8xx7YHnWQIRKpLȸ0yDbO\YNI3cULsÂ+M.)k|$RiUM:5反TiVZaK@yhWNQNթ% uz~Jx\@H~@٘wMa qwfGS=&H'Kll`J2C]nEx㚍ۤиB9i-sN\)5-?Fjmnwb U݄"Grv*s#*暙H}tB^]Ӫi}]ͧ\Ppf&w*!,a156,FM4*8d\ 泴Zd^K{W^0W8` {P[1|Mp}r:Sh n92gũdiD0= )-gUi1~9nFQ݌kr>\T2KY5i!G3h :휃,WտB_֭l[U^hNNJSMn8",P"l4[«L 3#y%hkZNE4 nC!JhYv볗jRuo)2[1ش`:vIhhm֚lEqPs3I.\hi_63p ;~!čG qXa ߴ"bu?Z11K knM//]ޯ"*l( ܻ]u?C_l'ʿ?VPk h?SUlŽ w˼%$EW|iJ?FJlvE#G/hAwa|Y'>%'kur#e[t}Y6;|87Ê>Ip Q3QweQ<.H ƦR%m&o#ԹWǒ$Le?l.@S{ 2B)TWbBe1H# YzI1O s&z\}샚}XU}1L]}.h7Jd_g!ltmx6m/ g#%V RJ{ܲ*B퓨9 Fn\"9v^:'lt? x;!wiW^I/4)S%2o&Eb)+%^zo̐rح(q1u=x2|9ȣ M>f  a}E/)QMj]"kΓ])m#]ԃT_QN9JjOW-=9s<UCܟu*ΛdZfgɜ9sB"- 㢞flDV)Lԃ ?f_}yJVÂ*#=T56*l,;~x5Ka@c=>*g.=>/|WnPΈRlaS I^o5Z'cM]gZ =bs}-RO gȶ.ðFCr|M[pT4-eҥ\~pY~IhbWXP.j86O Eb=9W -|@ -+KI!0kU~00YQQqrߩG&Ep,EmK#/@ׄg;~07?G,%ι 09.O,Ra6i}cwǷpz?.a7PdΟy@c?%_.&Υ=ozC)t7[u;D@ B+.7HIp?̻7..VhB,PPIGvTP؇}4 ;*CtKܱN߅iyUcmO~ wK5= g%YVr=;<<1(YON7`},Wd%l㭇OZMI7ȓ(<ݕ~13/ &&'A8M9 v8:CIO?&nӌnZ/\~avu#9RQJ'}M|k_K3oTL)>j{3>B(vu C+^቏O}ttY! z,z=AMPb^XO^_XRC/Txl~r"Q{ZްQ^\Zi~ yvsPqՔ?1ؚgq;h)kxj-k5F ?MB7xKDWXW+7#'eHp8OrqъBjl`,O@tQa 64|c!h~~/۵q6o@DCnjkK}005-#icߕYXiԙ J'MUA5P>Gɇ;$EEQ445,q>jP,FG ^+")j $ +o[:jPUJ۴?йy:jPn.nʇMzVv|%)CvGkаq²^&. D7NiuZcC->~)GGZ4M:$9"Κu)IĆwM5cԦݹR4=aa#Cy[=#]\֊yLbx7Iz1={k8u$ѸJŌukUu(A7-魔0(ˬ"+u%t1dZIXvH6%m}6z,{zE.Rt{v/H{zRv\QXX!eIiېy@L@QHL(J}€\p2$_c*`(1ZƅD*ǯ%X^3G .SVy?0,Ygx O DBxcQoK_\ oruWc7n8eA#@%(6ٵ|z۴9V'AFs & +f_DOl'u8v*r:%xrB?E̓d4zgU%&I4 C S)7YnFic8Bs8vwc?+=6!ye1M@89/`h![\q耂Z. Mf.ܹzĉEKA?'}`ظJIbD(}p[< .Gj oŗ'ٵ8 B VIG0XSErĸ, O[8~׈AXO,)%~/"D#a h@YJ\7SC[nOsD(K׾cW6j.^^cm>)+CH)k,[[vqy;"\xe( o2͊mh,!e+ DQ $\W+E7x$:J=Iަ'o)Rw #Kbbsv+25J@F— Ը<%Y3>5iߍSt`3̍D+5G^sQif*D`VSFL7R3N)=ʷ6c;UB 8jtB3T"[CD2Ȥ5Z(&e l:Kro{Y2UR=1 g:/ue_2c+ !דC#3hyN&B8_)tv(ew\H!QfVgEwb h`'0I7. L0+FKSzҢ[-ߺ!s!#1A Zy:sM*xV\G3(0c.g#&p$>#Yn!8r<>~KhiP*N<MksR3ZpB_#ؒb Jr>HYgD+Ow!lB7ɆYlSs:"n]ZO]uRxZJ_ӛ]Tr~֓60NmOǿӑNw? t \#r ZKOfc|T\˾1> S&cV BڃטF7?ԧZ6y&帠GFyUEeDTsMo+z78Z~3%P(u+7$ e\1\^ #V B[x~#qfFJ *^_HRV7uq/X}vaMvW9a4"_ ̆^FxђWш~;h:5|4]{>QjdR07(I:[wNַuK@ԲTjvװ/9&ΈM?lS"]8Kk-*U;W3Z2|5 M@.͕ .lu?[wSMV"x8^ˏ~:z;}Nc s xCaM0E4zi\Z"HPrB@ZCxڠ/jBN: :ژ1O`uD:c|$so@ЀVJ@rNS=%q$I6N: gfr,!Kmt5@ZxWvHP4v"s,h6!3 YCJo);PܭWI.fs j5&FAvA{g&^,wb^|EL ab}\Ecq2vH eÑ tkF)i0 qՀ98L َC)J6 \JnC=Y`޽HNñ&د3)TXd4gb餒{K[ZС?[.Ά,^{ 4;o- @od͖)ˍV q* d,D{H]&">6q6o5jϗI;d'Y@`S:$&VVw?Xӂ"Jpn (t|JoNN I$ow.E~/ rXFkc SaGG.V` 4\b+-.feu[(񟶜uH%<_knG%IHNdG ;+oG*(cYn8y/$sg;0> a΁06hx5JUyW1K]-US]5Ǣ$g/t%2zpqvx8%q}iE |bkE 1JAOn C~[yWj.^pq,>SƱ~fV*>f@<% ]<#bmzUE7,# hQt{<LV dFh) {7b7R|dͷ6zr5g|*+Y*[m?!+@6(T?q\Hyun}gŭT;Ýc Y5}’&⦭,!D ށQX}I`ݒLAβ(B[fՙIޯoǤ4+a.A;>02iBr,Kgi9!즑ACz|Pq'xMįC\PeYDaJ3ZF<.]6~^b󷉑b@V(J-X[ 6 &SLm$WS.M }_CFd-U*g.xBNR`*Jn<ޘe2 qWR$7pn ەC5W1@kf"T@yBu)b ^ۗ̈F4mTQG38b8 Qplݔ5'|J06 GL:_XuRn8,Xyӟ@EҖC Ϫ,xLo; efP  8y||Z<!t%bSι7bK5]P;~y_Ju J_-k;j>P9]83^ iXƕAPfaT#9=e8ʻ%Cg#%2oGڱY=31+g]3CL JV^ e\ƠoMdʩuN!S hce|ͷZ%0'Is*'5s&.sE6-fHV<,FVU[c֠Om=tѯ3nxRѣG7I㩮|OBעR8rLV1 řn'zo^?Zl RB8(t웜pi(N{#G\J܏%Lјb:Ɯ0^Z_O\!ޱmC [R0>u MN}goAå:@Ma' TͨxqjuMAFWF&uj簣L0V~եo4=}­Ν]~;stt FS_#\F 5M2boߣ/cuw/f f(A_5CrH#ǫBe \.>N% D|u(GkXqf64_{]p{Q"~suc %O2SɬE넃xt _:ᰧyQiKތC Aţ͋g,ã@j%„O[0An#G B>%)cc4/C%?'5**|AoYSiBM'c_}r3C8`zG`xy?,B-?N\+  0&]vzmR{#?H_&Хw" ǮTv,1AxUxlRvGPYW 6)2U,MSFkQr {Щb .t#1^ttF29%Sn=)o%AqDh"ϲwEby(zcpҝ"GsҧBYbb'w !6/CÎV$W0*o2tv :{dtEt=-hؚJu?/k+xVw9n'QǙy?R{pW ],lX ^R,SbD֛BHypǽdHlJ Eu ܳ":YO28{k[ز,-˅h6ӥϢ9n5FwLD]%!pg.zαCoii1@Ӑu6kB(zrAŸ?5}7MHV?'Y͢&]K^?AgLs~hZm]fIx#qG} ذ@-ӟ"F$9b 8)dR)אYcWsUػ2Fi=Nyb|,:B u'|Yc<@Hy f ^ B ZRA.,yH9`=yl .df7[o~F C~Hg:K~/0Dka,rCAڏm=`ZFF1F4] -`ZU; r0 9jH'"6 >xRaηV}rw˲;65K@XEx;D&iZLE71s-;ETw5G5`=:k\!_iqz)TT+5jnlZ~̼<,d°Nϱer- Gw4"tXZCT7;&(Xu~ֆVHu]VUbBWaG&A2"Uah$ < KMJl^l p #Y]bŸ{!(1j]-V5CLSL5XtQ&@%d'{sM òԻ'ii#᫔Vۚ됦7{S-B" S aR+ $*TfQi[`0D͖1nfDs-臃Сf4!o8Λܻ2F 84t(j٨3N0`4~:4MGr϶y>QMyMwfVNP= KǗ1ʅ2JLҪ6ۭ+">SȊQqүjY]OpO0cMH?jضy%ERݵ}٩0G+)5[CHHP+<@UbbT3Aw?6K7>kr;5^})>PwB%6uIvt`OtdA$_]QLг!u.&ӚQ)T~qԙ=fvyqOZĝQ~fXIgW=BaT6hQIV<`R\*tp-/dMgYZbba2236a8c42f2fc64182b2d4e5d5e37e447ba45e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e e0b4ef556b392ea7ef408585b4aaeb86030f1fb5 59f0152035b1abf943b38e12f1435654d5d780c4