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   F9~|ұU&&d*GsT5_bmk,Vj #ZqTթOJd=1D?9p)&g/;6( hlqK>sy rMJ;ԬoFFL|$<9W. ng뿢oH",~})D\&s;途9ԈI~ τޔ??:5C Y_m<W&TjgtgBE |jpYxs8^jnJo,H J"rCbsdeUn CdpjXnbpŦ Ĵ͑+ gǓ3Vw.!_|'8=PcQLs4H/h%u -~=NO 3(zLIٵgb P5ti\"GС]|/0=dN7JGv*1ǑIel䢊A42YC]s7eGr=K_J|@g[&pHt:qMNuqأ@+(K2a~hD\t&okIRKV+^sɅERcE_Y  9 HOL-Datatype_Benchmark K Q ]K9G% 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Ś74m{P7NT2 `8.K)}f3Na CdB}H޻[$.I4=īW+Oꧤ[kV)- |aG됱gYZ7zXZִF! `c}]ŗXi%L+hAU;B`O2EyYB-ʘս@ Y/,Ug\X)QdпBbs+6R( r9`uٍ7iZ(;Wvff `J3hD8V͜oGfyB\&!Dj^vfB!C9)2W+ ֠= s5Y<2bp~d'RT:?4EZ14Ι`k0xIVd+xwXZlZW<r$fB*~@j'>9}EGʼBTdzKN6vM C5tuFIPh2^(F `&LGNe4h |YR<,'+L&oK b]w/J4KV_υ/qjdڎ3P"w,^ianۖu4/;Φv&B̺OVZ=zMPZRJ_sP_e]ڋ[Nbib.v;j+~h(BRMd Zx6W8^ڇ'?1J[b9եӬIJ=f^Y"t8Il .v7yևAeYӜ3v.[`1Z3xh;"1)ܯ7 K0xd})N:DK{Qu:Y \+K|FL;.o6O^v0b9^eU5Wٞmy ! @ FAL%R +g>-pSE0'aˬP,m[?܀ِ}P@) g; 35Ky_ $}}oS OV G@!0TbY/" )mz 7A"r+.HJ߈83z1oܺ ;7oj 8$VwC.mE1U<>m[E-8CBC߾bG%M{>:ϩ#WU$qP^]ypDK~2(#=Gd{OYFNZS{ ~9b&<̇QʙodeX^]"tL.%s߳f1SV7UV6|--L }$,/V){)iq袘%,y9W#P ӆ,>XI8}ߐS.x-BGn)5{9oLD6*1"?BV6U1ϳ Mۺ҆n#>b'1kS.2lU1z 0\)7jIИ߭=u``⾋mx#T?~o rg%n:LW&WVGv(${{<.!PZPH‘+zmƥznUv~{~ůfok&xP=ЬҹLbH3 H9!ia֍kwo^E|2IiR!W B]fZX\z8[@ #~ə5I)ԠݱX G-X}#i^|JruWVۙ0 4l4nnN!-@r%.^5jT֣аS5j &=؏գXQ|޽OସuI͒}A\kmϿ6OM*Js]:?Q7g=҂yXz%U42i'&Tj=GhD2G Y;Y>a/N;r~=*{|HAg_j@F ȭD#I©fF~'x)/O`sWeVIJ$xc@}1r" :$oʻ0jjN%:x?t:KvB`Z.u^dnMGcCܩXDbRN{W/^nq+  Ĥg?R,E7\${zk.Zr'6'#C]Vijx*DpO΁ Um>Q\z|xa`Ryrcή0Xr3Sp/2dW+qvu5Kkna)ʮh72[F &Crb7C?J砥:R 嶼J޶um~ RD.7o kp\/Jx<ԝRėI?DMM@3`U_;%\<.w!-7V9U]p= ɢZ/[g'cbN #)\4TJ BBTJ= ,&͡"g7QB^J9ߑ]x$`yRqvX pûdyݶ94%b],nD.R*ք\ efC.?d֍XCd[3YdO1Xogo_(Iɡ AL 6E9r$V?fj|J|(< Ҡ[}X}=<:AʌA;CbJyJ77Ϟq~_"X>VHeb XOc OaR[?e;soWEl^b/G *V]ߤ{u1 /lG`ɤX:.p$ ]8G^,h9ͮoZX0!I=i=͑.ivv, )-zmE5,! QhkGѣuΰu c' f;f015_^k ~h|Ӫ:gp |ཱུ'bΪS";1 T>')ǦA,ձ1F= FܙS%J@+o`kSv7;Hk&--۶mg"ȬkD+PǪp{njp[\pm V WT>IX,徙E0Žaq[# f`#`.6v,P1SϦT}qrKsO3K0l?/i͊.:qEt {.<R`ѐ}NY3`L-~YTTCTjD +ޣ|P3f\EL -Sn߸ާS#!y$H9n86Xo=S=Ä}sYQW oG#VqKZDRF}0VZ45톌=87aދCHiH$lMۀ6L{ǂRھ<:ĄgfqϰJr̙ h7l7c{??I7Q5*6%{JޔRWZrԤ4I?dt;=M(/ ,"zbբLV϶"[z xdn kQ7 9Qbf%ՅI$}] 0}j~KBEŃsǼ(%҈IJJS>82*C^0B{b+c[[lHPms1TR¸Ui)p6 Af>O;qJ (K/W+% حr$q2/Njr1tD\Ps@։_4:{XG#m1Jn*b _F;b1šQ=l~&"A݊`( 0<c=SM oSyu՟[:UY(u1Dԕ@LN)V;.FiVx{9hb&4śճ{ rW-]Ɂ `55C PQk6\Li< Ȍ yq.iHN zF}D2ye,fH G~p6= ̬4$3ÌOW>^b-r"yE^`P #wxbt DƤe6k2OZ$1S`*ôi )rZ=wTg"L]zu+ 0+Xܪ ,_vpJ&S$'Sl]e^ $>Cp肭o,zyy(ʒwj] EkG`|jh?IrljT,)H0Vjt*#Ҟ\fW)ǒ1+_c+X唏4LKDVeiQFp@}tR!O˽H;Jߖ'sv*Gg6CϱeDu7Ӿu,1?&,ڸJwrѵE<&]b!;Q -(QSaX?Ssg(@yZ2KH?hra v *|3E8O*h[`t'20¸MpET|}pl2U6QfG5r,;, ûf$C\ן Sk?HSK~6';rWT,%At(9Y\51&n։=+<2ԙ{G*> +/VmDkMY6t! ֯N8Ifߝ5-ߞ : 鑰+DڳoL)G)ۂA~+Zm 9 l|scADK/1>0}[;X17|SJy4x]*W3LZ릔%-4@ǟ:)4w$*8ŲEd=9TIw`=,GնAJ_QbnT]f͙.Ð\p5l{j-apXM^.ZYl@js^ en[̮z) ގϾC$' Qq|ov,78c XIj=bPloND(Z('3Z Xf˺ZjH\9itS7tS+=JJuELekYvOu8VbLA0㠽E⃼?CJ&R],jbS|'9PvQ#VFe&|K m-˃ƲBuL8ؕQxC( B딛=a0`K(T \9DDX~XU~MYU=,a߻ 3߶8`SdIxUa[fu_W*)4+T#xc-)Ch6\Ar͎/9Lh#hB<19D~K>dZ? w>jQe]7u^\ M}nO&Eԓ#+(/ju~S*Q#pW"` do؟|e)|Q, rpWڊ]fto%d-TYΛ}<(Ns9+囟4 ?Y.L;+aX;m>FVd~KX)Z+L#x2BS x {Lz߰;\T'B6]@%R|פ(h,<} giX*CI44O\% )!m耶"AԵw2#>d_˷U\#OI`\AuǫƀNz|)`wCđfl$& m>R g ={WPKalP[2Hd"~pzbmwd9da2ōp#|BSIM3ž%C*鿱㻫) cCօV˿^E!y0W|%Wu_`Vi {+i>t~'HR*ffnIW=ftx2i~mXf =I}IG]3uҨp[I7|d#6}^©~t .+;mxx=XȂz@H~8n8qo N<0U7c[6~D[X𷏐&HH{dqĴsWpDݔOp2ڐEZ>MX|*3&DN~]Iؠ|46fM@Kշ=Z$,A@+[T2~ #0 ߠ9Q\6:E~10c׽*i{ 9P鬆JBSƴ$*‡$ Baæ I=tLeNmc R yXe֢)T 6qӯ 5վo{,v*F`2R_>^ ,s@Kp+VTvQU&]wYm 2$ԓ'<"lC ns*Yf0Q~[{MDv,' $0qr+Yݤ/x*.|v'Qq-"-d3 -tx6dݿ9L>&<DICa􋋘$6^ Y?;uz #O ,դqT:afa72565g8z2o۳fF08%5=0d1a:ڠ4 :=i~_)\g"cǏL՚ ᶋL1Ծ`J","U Oŀ.Y;5 mVE[!u9umJipLhK4+|G!l&\Z4PNd|~iSh骗Ho^l.J'ld PjRtHKk|.vuXksXY?[&t#kh4[3`%$Q.p YBB?L 0]e,ңϣT-%b64 zcg%=hAٽ粎,7pq@ƐhS φQ|#w0\dEg ެOmԩ `΄Ҁ )O4$n2^um`ii2=ErudB9ũ38.ecoȮvdCXkSytUq7s]Ǽ:3bشEJI]KEX1֔]`^ xV;)J_wۉZ@@N sMPRj8!J:xܿc"5,EZфv u Bc "/EBSse2{VJU0:E_:;N8a@藥&5l2@aBM8Ge&C&Ѱ.w#젆ƕJQW8)B?icKJv5Ҳ=FDq `${[&񻕎Q&|6{F"|eϲ7ȍUV k ތO*]JPg sS6>z~n80'K96VW&89ȸFiC[Igu;3wVcƃHM^Bʨk1EJnD+>Kt%ViU(-4i8e#~S鷠@SH6x:X3dĒ>r[GPhPm8.NZVcw!ļu/ w~L'/9 T"ON߯tnA46j0"|h2;kk| E}Mt 1E+ys4 عt yTb)0[@S_\Sn/S<3jDh$*}gQ7Hg+q#fRssP-YSqYC8qib9hI{?맣DM We,0=6xu0V Nw;əm^2eG**&(0XHFX$T^Fs魌Mm'RV!Ýyl#R ܧ6}LB2P ≻5!: y| b< Oj9~r::!{(گױ%^TCZD9F /x@uDm~OW;h#A*SqҘ/lB߸cU&S [t<޲Jmjx#NVYNճ6>L$M24TfKZyH&CVȭF")+Ň`oV@r^r 4ᯙ]u)hQ=vXp7_8w}[b$0zF:]}]W rTݶ+;A]J ؆Mdʏɐa*B̰ (r.I>PDah`C@,$/3\M%?!sՑogܴԍdd x/v9rIr27e$ҧ ĩ*P^ !}~{, ;}o;,+gC6(\/TW۠r%y2;WV뇝/mN rіh;Ry]#Q#^ ~"@j [;_ KQ^yv׵á>\y6:/0 %;gCi.=e =hc+cWV<ێׄz`I[חnxE;@ Bޕٝѫ"oI9*H3A4U- ۶)kmgyV,ґ҅~ ǀm"#^QhO(ͪF]Ҟ@X.'FH9R:2 ǞrW  ! >s'OvP.$r|&M qUU">7T{rm(z=Orc"hiI͊N))!״ſ Lm0i@CmqMghy tr+*o(^6lrcE,C0N .O;2!,3p,11̿w.r. !SLM-aYNKRw NA^+̌?lfl2MKazxè^jYKe1T\54T˖j8 >g}PL8Ac")`Ӎjbt*sAEneH)!pqGqG`CW * -ǜ߲(ʔԠ>}~XIeK]=;+h "]0I킿ĵ Fň:BB(=\(39JB=s!av1οPesVªN8}0WN]|ZYY^oSvKEВ?"TYT)nKċ&6E?%٥RaҞ˔٢ !,=]1k/IhM! FJ alUdkRgSՆ2EEEJ 2waR|ԜpEbJ~umXؖg9o.IܶX'W쮖M"- [ @o(W23z57 )v ĸ -ܔz+7,M&%iJ `LXMt* Sql?8}K<4IxQAJN7,n3" gp3zc"# ɦ gG-tH㻎+C#o\1Х<_0v/Ȅoo$W7RKU=ˢtdjm!Fyb$#6ܢ^Sg7–7Z+KUuzիT°r--!Y\\ ŘZ$aXc\K9䙎H,8G*,Co ,|iLA7s`8,7@'Х&gj)G:yۇQ4ˉ@+Hu0Yv"hpwAjjHQ K(t,!Ime +oWaCl?% sم[ S] 4 %kg|5=.p_5S_Csϐv8cv*1+тNrm8+۰\%807R [,.(紥a 5*6P\{p7k%z8K [.@9{ .磧_<gQ6JѤ "QDpQ|MCݓE҈Кm9tEPGF.W~0jsMmUՑ4$y}{9D·.4:}rO?BEh&SxjDPV{8?XK2bT]e:ԪI$^״Baʫu_%&6У>E$"vp£wiIF8 ,9 5R!l :eC| 2y y i&uwZP}|ʪ]}56qN0>zۊlH34h:&&0R*r5M ut.͚_b^zJ M8#Ls&BdAP ?’`/B D"z/ZbSS&Y9fyTJ+W:4X'_o}Dm:,&"p|Jb<}ixlrQUh7k4֩zȖ{m_ů:/ jMdӇZ ,b }QYgR0r{]w銊#*=88ޤ{n7{gw;Yˑ Gz&Ɋ >gR-Џ2 {(<| ;95[ )6Lnp,#bOZo/4 }@J?Xju][]*r0opeG iCxn.NsL$mZ7HQlEѓŎ\'(4`sw>+\QlhVA,Ͼk(#lZQaͲN1ғG(8sޑZuH sqD;whI&DYjUN-i/ԟN, ꩩl]uٍn6iLe,U!lyaIHlc䮱F#2a3qW8A2'^k#JoZ_$&9G* wLWN#g┗h49D嗞 O4$WTb#_1\)څ߬/~1&G6 %H+1dn{% %1@ʝt0[anzJ+}\[+GQfmk쭔:wNq"/Xo E$JEwK$T0۷ћ`s,Q$⦚pFu{\pBG(+S9{X4[` bԍ2tkwMҷ xn7'- ]k$=DX YS(w#t-&PMGQdJrqZx\< p$.:h{IM7oDC ia9CNLg-!C9p625ExV$ZɚXS˛nSp aG|pǑzI:s5n>Rh[*o_l,,tOg FUIA/R'>xG܅m;p<7H"!!`XR Gc.yIC'&Q`X͔6 p(F3OH@ -@nq0ξNbcuETulShS}qAa1덛T T i\WkHG)4;rO9! s#ZtvSr$M -T]kg<\ѢG@}$ F :Wֿ20@knv POfs߭ n@=+3O,0Ȩw*&ts94[4g5 zHlΑq*-fIJc4}ČB7ѲC' V2z:](`doQ:gl΂bԹy"@pT1Ԉ}.<N9iy&?N^/Y´qptͦr'4P-0?r)մ)=z{#,Y$xt Md86L*.p>0޴Kpp¥'+n:sck&U|.K(e'Pó]ǖUKڞE7ˁפl~Q^ ]yd9+JɈĸ"ϹyrFyf&LɟgH!GCꃵ[!ݎVN:齑r&ᱞRĝ#=bvᨘ$zSwDS|;ݷ v5x:m>i]4f*'_ͻ@D,.:L'nW`NX p26cH [DI q88̀65`$k-pg2G:t֖[s'V&wSy; U75vM^.h B<"sy/0puqoֿvӞ3ӲPEA)]N"1Ұ>\*swiۛ9\~(2y*hF_(v J"ҀrVVϼ)Liަ ,ఉ d",rdr) 8 e5m]> +w⩵h^\ ilF)}]חyBi$刴BD+M_hHr? J/9k5gPVD[ln&#A734D9eZ5=Y;$n;1^Z@"3ުe?ث5dwUkۈVvֱU+,l51`ӌ;܅| XINo;0 Wf2cJƓ#t 7^g%z%dFB1^_= W;QI[eCx=N)JY蛴&hb;WIPpzf/qޞ+]#]E좮zG +ـQ=c|z\DGbvcg1{NuQ{7iO#?%A""H~.s"JK Ƙ}sq:%p QӃ)\ k/0"1jM!}Sl˹p˦pzmlRWSr{AؾaaObP*X뚡@o;0SæMI2P2Kh?u#0(qg 椳n>.~m#̠)$כ!)$0ztrD=S22jsShb O9S[HKREQ|pH* ub8OTa&H]G/A6[Kዩ@b=R7I;M* aYn%qW &yw<zHǒr:%*G g(ɓ{81DxyYPx'%/LbG/. )9:}Vٝ$і_2{T6~%.M Rwa*OEe!h%O!뜻„ #Ċىc" Q;0ҒL򝻲ܺbb]_t0u#'5L؍I"A+oOK*x@1: hӲQ#K_"e}*((9Y }Ri1Y6f^yKGbJk3ͻZ@em4rbCD4À" Г)fJMΈ}4q%|ulUa(y|zR{ȾrT vfm0XʱQ)Iv0ņkt&;,A;{VYj53Ry_q6<>K{Ԛh=CݪI v&+?R%^Qӎ GT\LT$p%NhLƒH'a"`yB̩kcuPEo_tNs_nyW8zCj8 PDڝE{_hMݫAllߟːSW s;c\ g P͹\H*Ay : CM9V\2*oI. B,Tx"Bu5?i<ᦶ듪<1쭙XS w5FSd&^zzzh߯As]\L|H 0oߐ%zQV|*1e4'lAJwRcjZ"@ *w˯||2DkSHO#~?bz!5*=Vym_tM D;[@Laׇ ~7!67 p9\i2v)ўƥBABx úU&e DZ\CO'B yn-Q U̦( 'r}$I9z?cqY.6LhkaIkbfD=꡹N4IA8=B_߅WFx8϶(+-$)9-*$l͗67Z2!#cj2 ݂Y 22wlDJ/iU%,'u."4rV/vI~QZ݈T|L>ЋVH@#NT3ņ`*܃qXʛQHaF/8Էâ j2k0}k1){*ufg[A^,b2h^gH0WnJt}qA09gc@ _s󤘒Vkw5\S+784IhS؈و.JnwX+Pa'g~ ῥ8" );``!nf2hO2lR3 Ť0W0 ?+D_H4ZBC%,J)C$klP!w+tuYK6[&K[N 9Pwbl'q )36dA. )yQZ-?SlѶ[`WݔaziQ#@cgZ#R]zƬ e&^KBN cqnA>BkGCq[ib1RRJA^BVaHs(hWv^p"fj13 Z&= J%6x}X@sZxVZE \XwbQĵ1?\h߈ o?^ؙ($:1*f'UKn<%`e&l5Bz/#ʺfv"TH^Si@egp4E+s¤{!lʱ0\wPR8`CMKl*N$BiXKdO+zITb.jW%ۢ#@%`b⁲b Pgf Z9nH#u!u5;RY(dFQ|VQ%S!tEto]eæF+Wc1 o /*֤V!03 &m~XSqN?v4CB%L6'-:4NE1?9 0}S[:'q eL:8|®COb0M+tj葶"#ワÂJjϓ<jhCccnnX;u&E\ZOQAo|@wȓ0ꂞ֒M5.O7r8TP1' 4ὶq[W[%f0`3Q3|n BйɹEġ8in`A(WoeU>#KސaAta.|h63`>SB>q?Js/!!Jm%zRs#/^fv!tR#:p7Q C,mJى#%,(Sr ;~\X_ R.nhGOBhlA(n4S 1[(4C\1]x:h?F"KfT=52e"+gEb4ok)֓5No~ݨ3 4C-#{KK*$BXi&̊$fFb2ra[)p-mGU"7/MCwȨIņF;qT0 AI.N 1\x!`А%gBVi V@I mgkQ v{É_X ڟe"L1wp M=(h_blOƓ́*:h8=&.Ʈs@b)avH~f~Ga8FTɮ&RX=YfkiT9ξΐ8AY-(]h>9?:j45> =-@oVqTF0(ʑkfZwDX6e+UVdq 6OG2Tr. XG_8竂Ci5w{H$ai`I|n\{+dF:XC)ÉdP>V o ngȌTt1!|~])^X`B̭#Ԉ =3 _ _ m$޽/8w+Ckd,t(2yѡfcs A?鐠҆H* }4N]ٻ˴ O3N}1`֏OܡPϧGgޖW+ClT@ȬM(Y]@Y P {F6L(jMi?# m();\}$jum=kDR洎-{)ǚ 倰\Xk/{4K q).<eQ;D[ӹ[;*lvSC) h` }A4Y"tNn\ir"$YFůBĪlg _[\Hl;vU";/ID2 QuvhE Z'/, 5/2PGoxs⧦SDSM.ۂ{>&Ź/9ލ]DvEO%ۻeqhْ2MSumdzLd" c!V[1j͡EU⍻wSdNukݷ4 K}4 شtע{$Idjw_B+05^vZ*IlN9y{yl&<rd]B8M%|,꼊LANHhIW^7TGYw(fwwu;C΄ڒH]#vLGFWƛ⸀i:ߚ} 1 K{-@emAh,^9)aK=*Cib)ڊEC8#Q?i]W*f==*o\wT- %?pBZ9#$SO!CbE>Κ]Y'-v*V%>@%<@E4{hς Ȧ7f]FI5ӇŸئ̬XcM3n }Y+sҹpSX&Bq,$L/K[ &b*+\  !p'k0e(=-_Jڜ,}oW7VIDrb.E ]?}K7e~gA&2 z?@xՊV W@I0=)*Ͱ,eLo$BI6-v򢸵vtQ|4qJk) sߡ:).&" K1hԾ7"dOyr1 /d$]{XzPU)m;;Xl6Ѱ03)k 7!l#O#3c H*bƬE>fr>h#8)x|#rp6rJf0cK{ik%T"~,M z3t'][tx~h&X3 釤pk2zDç!ɣW 9]dAz-4sfjD#DG,PK^D Cg Xޮ@l-<۬,1L?*8vKL]{~Vhu>7kmT{%6H #W:%R|]&]uj[,ӕ 3D!D"> 8a':=WCt-s@<|T;7MBHM z|ŏ{2fy mܡq7lo(XRU6ͣ$ ͎̆3;>=;Z|f*E"6TLuLR( hjV9;t2=mC˭D, &ݘDl?>(&#l6Vll=eq9>t@=D'AntFڥdg).J b t!N@4+٠ohzYRWbmtLCeFEȃV9utw`QNEKTڃ[lfsL5&%\V.;h~VM"ˋF9/w Z3ָ]S΍Y!Z(@SAhhNX*MF9 '&;\ZNʯ/@ :SȅZ!e]>?3b SFJ-/O>[l9wo}BAJXAsn\|ݔFWt鮭0f൒pd2!cށu &!1KF?Vx>oqZƃWK꒘T.^4gX iԮeSL+r|gz MR!HXΗrX\oX}CH]{͏ D-ӊ Wνőy~IgA\%>e)Ҙ1qa <ӗ4Rk/^6gVHqTm5rB6ZO`ٵD)63~nmEy${7n ?+VyXO+)zsJ.kǛ ю/dۗoH4"v6.H܋C5Up݌J4>'rBztVYbT |ԯT0;*!|Jk1 %E/:ze?NkѨ La.Ҳr3-5\`o7ŪqB>oE8C]Lpi1"G: ZiOB0c#lWXkT!*\/3pWodv3;xE֝~#^P!ewmMoB8ץjn`[ޑ>$HMQA|%]c)!Z[ Tv6 '#If#T]%R Y ˉԬő&xYqxX0K4t74ꭝ+S!aKX@}m;p@+({MZfDP2] OR#o@ KV+C>=J%s]+ìΖ /_,LS;}:2&r#uY _j~r=3Gg2i#!a,*JTI1ۤ2ZTScqp8Jn' %.'q~9BJΡvP;J\4#6F~ǵnTN  VrDbR}vba3%TW+6.Op$#[hN-t`1uqSC.C1, T кKhu<1C Dãr i뼀_wU SiA(|ghO[0 evn znSUJ4i~zG40 &R?:!.逴dor1EʨG}b=NpqhR!VH0~P$A*8 wجubr7/^Y? h[:#wЩڝmq'>ϮZ%~ 4)(G %Ve]b`8][Q:0Eq̎%:`Z8zI_\Ix l pEjBL *TxUg8||"}-hFkH!f&0T%Saǽy0iy3_ [+]Z쀈~'7*EbN*CUx|*Bcvy*B䣐%!nOGP'r#~r23Bؙ#/SL&9R[gHn2m=e 2nbAN z˨,>-w8$^EfI2oTuGK.AH[SP~ك+0#) ڷimx[$5 "p;Iҙ;& 0"32Y|md;ZL%Se+)%f+l6(tG̰6) Dz5iN8K?R us)UX*t'Ef0b)dނOxru#~Lg/#R2H,}WzF^i OJIKzX*.AKus[I}OϷ490V>@\8Ҽ7qG -A7 >MĐ>) 3p>("H? +pR 3L>t2L@72uOP/I cJkC1.T % '0 -0u[r yy7Jpzn0[~|M53wuY*G[so $I|6jW)|ul1y!̺0DeZ,5 z|Rvv d: U.Ze6+Q{iٲ|r<[En+]6^tXp1qf b}5хEnZN]4x$a3CJq$8OVbD$H%[0(c~`a|ND8l@P}JM8L*n¨#ϯҔosDu(E3Ϻ