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  Z Z~9~ L 8%$v^ #b$|wJVe"EkVh,S\Sud!2)LWz:?\˙Q`nxm韷 QX/ZzX\Hz-/6OSA<{F WA8gÙ PW \ڦDjHPKºu6iԄu?[iʪ)ҫl221 FmI[e E%]|m[ :v *XHjnXL{P.*ChdRAGFgܸO1\J9H[;WH*>2b$jjׯM`~(GK e?|s|}1(r;td8d)Y‰aȬXx6}(~ 'KuWVwE)=S9 6jހ%}5v)KB5K a5t?3kkbӐغb#8 /a6i:mlu9ˑE|[ՆwY}1PBNJ+i2s'xvQ;%kjA%|Pgr[g`@Uzـ39te N;9$X7E8IVODωv&~@k0ŴiQru˾p;> [IDmY6,uX[^_Nۿ;R#/#4d-K (JNUg$yZڿ`^ O5 t&.}G[hIVI:;;-򽃢3Epe( "X[rN@Ɛ8 9h9Vc"{CFOK1$ 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ŚwNy[gYZ7zXZִF! `T}]ŗXi%L+7n\ Eo'dfOeĄYBƗL(feж,$ 6[-hc|^3rOy`=񱀨%)%΄"4(DyQY6{ $eh *+\vF{ޙԜJ-7-ηi  \7XPZ})hÎ+:%H ֵvе\o<9tؒVA ,goHY$Ʒ 0h5];Xt"VaJhz'`zM () Edsdc~xHp16[ fh8 t{5]X1FY;'tF}}*=88 ӭwMP dEba2NJ4F׳Yx>::3Ɔ;rKum -8`oU]nc_HǘcfR~O .rLQyW?-twnD ,帺ЪG]d'J"O[d﫤:<[H4 ۀZDY) &r')]WCh, NGv")?Uz뷰WzBQw} &,CT|܀Ddf1䕤-yoS~ۡ?UE@1m{1;"Q  @3^?ifPz$>MC,ave-錴T9nW}xNak1qOmt>&R:Hp/>D̴lTIN×rx*C9Nݲ,dln- LA`pLyZOBWEM"? ^aF"3/}-QC(;#hGm~heWpT4LmܕAsUVH51~2@.6"U’rzͬ,z1l>EH]8~%ߙ_WL):o=M:7|uNO!Ƕp[,]-yC:}1֛(.x8{8R8 (>55V{ k? gg@%3/<- P`q8w`!ӇS~m=yL.qcVB L1s ef$"fo1K9R0ܦ:(hLs#0`]}Vѳ>2Մ$ӒJ :ˀׇZBm;D61w p|$ɺݢ $Mfl؝K_`f]Y1ֵ󷏜]嚃[| ah ?TUf^ Lzm^}Ze4.߸9z˭{ ]Hc ́FuR- CL臘N͡C XFkGX7 |:|RJ40LܬaEOvcrmP* s҅(uۣp%dT/[Y~Oi 5bkkݼ67uNAHԍ|ReГ6F>dO7/ YHQh-pzю/B U#4_CŁU,&xGj3h"|'_$|2*C p:n{caq}|4}%.>zrDW@4;ޱ*m#@?4U!V0nij.0 w%Qz=e$~1Q θ|%.<\Cn3?~rJBNvnۓOL!g`/ZOkwC+ՔR;(:K-(ze]x<Ϻٲ]ZKq->T"0k9hn'L^n  jء#ESv&bI=QduJk$ikd,ibTٟGn]Ǻ~bVrJ{fBytz6Ht>kDhs.ÁUMZ7>MndzIu",䱝?}'78`<o^muAQa n>N^Teo{pׇw9Ne2MpSdi > xM;Nv_xþKǬU˒Q}Rݸs j`ir]Z.Z8`1mȭ{춗_Dɕsut#?(ﶛ4pӵ#uo:L9EwɸrKa4Y'HDBtvzDNPp-vEc5a`ꍪL_%r9ߩ{lugRwEMf= }GNBee$zB uY0y`Y 6D25DO.P;\޶_`J;#ٯQu nzl{|Y(0N{!M d a1}:_`3>%J05~+6_Oׇy7 H:eMݼR!B؊7łlY]\%SA8gw+t A|)F Qk]4pSy?Dd|q|+YS,,z-0]K|}h40ntǹMmK%Cr Es 3V:-l[#}\q ߥ/)\Q|sɬ4i0[(h#)xG|9xse'vi)ԧ,Mx){j 93 b) sz8-գ2R;8hWm0f|BV+=7S'ſt}@>ΎeK)-DHAڵBasV߶VB O+f} XIvQ-JK-UW%8 2E{#gG(\2ʵ&@"R`ng$`P"e~ % t5uglamQFW?;R >*Gǐ" 這uӭC}m+ ,x:dϑ!TJN7{1ÚI6:JSA%=a'wCXE 8ͧo|ԵZl1qZ` #$<#NrhO[4QCـײ@mAkfk>uv::tLl7*T[))2/Q(Gcl  :h$Ίz~B,8VcfťNqG `X OH-v,4˯` od'Wp^NKmކVckUݷ^zKBұ7Q1 "¸|q2gMMϜ`Ͻ[VL]E !U_!+S')1tncWVm^(6xfou1=&'(t됢'vQ̟kW+{Q!a>هpD嫨rN&1V,eqqU^/bXHE͋K(d7{owz"K=6 T[2> W < e?n^,u[ XaGdP {d jtakN6Sq lGCR`T?h7|lL3$d?0k$2뽝r.MF?ZDzMgmj8 Z[$L8ǾFi==MMe#}J㻹Zl/tڴ0?ʲRo5XZkҺRCS5{q~|7;FFU!hꗦwVHC%kp* :<,SCtk:z.FW?mYh,}Xgȝ{ N2,y&q?JARǩADM}f~cޠ\seܒ6p[q,xr %s2ӇJP%'+Adݗ'lF]> 8p7Vȴ DCF Lp,KmH')#d{OFvo{q!O8n?rA3NI9]ÛJk P~gB>zߞc݇u" 8\õdBt!τዋb?$IAHA=F<c+z=qz2֬[BCJ| ZjFU.W.YJ-~hATl0M4s:{%Im}/ }0t =yCYFK:nNA8q9ɟ:>4_ btVQ9l|$`+%<)kŸO>/s(.͏^tMuyflԘ:2| Uy?wsfrAXr>%W@GPTk0=6W /9W Pŷ>. ڵ"tJPOYߠyh ߸P0?\9X;\K_t[B50LоFu S-; Wdf/*'%6XmjD "1_& %e I:cDa Mw*ѹ}mQac5 9a518vftp? ʴSjI,ZF țbN|xw{&3xG443od3)G\s(ػ/rK^K\ֱ ,p+BY6i@0ܬƧRg-ryrxaI H{qO86iFIrXYP8SE6_񇗞6~8[_ nNJ@xyK-FcEͲ߫Sla8=B¬u&A4y,fRŜ_E3pUad^X+H%C =)VJH#χ}r `,Jׁ%) wR5CʕzӸR Vr#q$*%LE[iI ;wNYVBG잹u ࣼ3@0@eTSFrʁ`tg80`[9ԈC67:#*W)YU7.,O89(k3{^EݑzJXVXZÄ~k[n^TnHc&VOT4%P+mQQ譗9oΎ bEi-@S0 +eәFJ-:G%%1q0Ktvv Be,uX cAPTДncWi*ܻYlvluK, 0qBK}xQ澒W${b`vCY2&b*L ײ<v*J,ɥ1R N̘ @t)#Kv\yyg78~4`>ɥh}B;?І!Y]xx30,' v]XZ3g ?[cba}4ASVP8H858@\B߫cB V@xVs(J(vcthmyԖ;-D[.DB0cWA-]etU@$8Q}oN`pQY+pKQ3H*!Po>c@7kC/oYjx۔$d쨥?6t|km=b+ ՓW;+i\L>}mܪ'RKZK>o_D` aG8Fӫc $ClgYWXaP⩫U oz0[pW|(R2([KPYJWJ[t- [N c;gl%ŋt*W>% gn L`mn". %Xa~ՇCSZDy/覒xDAF-J3B2n nG3`_L04{ dBqUEsһ`k*eUHfC}8XL$sTĔX~xgE&{:[:C#Zg%f[}qhp_ϊEAG~F^!GioE0 :hWѭ8DqfǴ4rr9nƟMօi 3GO5c>ԋp46}:+T'Fa155G; ^qV1 4vJoܕm+ƒIbR_mњt6F}6rAdn6!W62GB%G@#x.ZV겨R+PCIHO6E[% 5{!^5E"0>#Z=\ũ.yQ2c-OZfcͧaACԁv^Mkj/ 65}/# Í]y38F0/=p^1~;qġbF[0yUu/QҺNjNsiL/lc>69tzg|G_r[-v*2M?rd#9̀/o;`=M@,ScNc=Oj{nw@'K<%opajv LJ&U>A>7MHbL{W<a<׌keӧf-xIusަ8(w͓XfqTW{ߐ}1{vF@r>H1 yPyD f,ILC G^?܌~$E!a,*8\ZFhe䅑Y ݐuPA*^RVZ+Z| RBD5>;}W9C4wwKYetR{/C ۶,zfg(ioT7rC*;`3&mWuSڼWى2*BdF8콺uwϗ⹴*\V ѾelB'S8'_6#>!|8Z9 6bO2>jNUŶuJzUB K;ўm:݉,vHG> fkm0DN86S/Iv-%}R(I)Nv{سE1+K8ݐԚY{ ^]'8oNÑPl_Z$zGE0)9fgGؠoJ}D[x<_݊|!YкN) o`"5H_sA!޻qV圼 $m2ʯS|< ;S_p˜. 2a. (jVH[٪iz8(|)5.YXVݧ4؈# t ⾥x¯R6wNe)ْ̠P$܂PO S!u!;SAFmIr)|@ wzd$@TtJ3\;^TexRtߥ64fMt0";clegyO.pџH-dLW:qϭ/^[9͒']WAm >.ecPCyAM%h^zNvӤ~ zFXxm. KivΥ00eO4@|+nH\ԅ]| ɍg0ilD෈fKёd;8H9̇B,7wMDTpcb|u. 7JSc(+#ODEDqn#G{~7>V"1 ],]PC/O}DjNo+zy 8C`Rc ?*Z;ˉ{b Cp9l>%`1G `AbeUYiyp#HLGiV|5]rn.G^9\ц*4Л;߁X5h}0O7ࢣHo ˆhsd"{4ʲd TV̇X5W?`tM6 صO(Wղ N-[UۼkV-wRp(<Nj6?;A]D@{.IJimAzy15bٻnoOJk~Xg6ZWΗ #_"5xT"I¦2lC w6n}4 v]}ؤ|v0[g$km^H@D4n=ͷ?<'=LtvD1 L iꀷK Vx$4,쑐0+MXvS(> q)mIⱬh M$F 3}8T :/SM]N % {"VF6:{T\_Җ,(*NѤgW 3i̹Ly$ ˂}GOce,5N['3ň %7HըKp22Dޏ(0 ໓HLj):6 l"+1':WK'4OHsK23}yib`G8_5/!nrcfeq=rxa=GW6@<7sT` bkm>Aƪ^:.HhMFC$hJpبFVg s?~3+M똭$G@H|dVNJge1@]ti3rታ:UyƞfC΄noY8R %jt ~Wf|IZYog)TM,:Q^iIʣ De끛 %0u8jВx:n ۲tȹvI|c?LMa21cQz x=r.<33[[ l >sD淶˥ wJv\ѩj%&>e餋2VF5uhh9[Dmr9gbG ~Mv&^8}*f||fc~C )5ǣUc< /p:MbM.ꄐyT˷zUيA҆DcbXW,=EK.ޑe'=fB턗xزm w ojc/4rLa {娷LuV4(,e^P6.g%/5EHoGxB-3eTS{+tbRR7J'B{zuW(%VȎI*神2֭doSѾSܞzJx4C-1ƳUM*7pӡw߬YTWUVб>6ɤ+26X$zgˣ<6xx /9k&<&a0()NhGX' 7%xc??OgXg::{'ǦyY6Fyw1D 3ﰿtdpX\;% r C۷ GhγˎY &ǡ7{{vlv/yiPsn4طGˀKC}jxv}vAq Կ&%L?>8ѮV6 0Jy1"MqAw+O T tЬ{qj/^YJJbVK6 ~hmZ\Y聤#A)y8)`҄fUxtL VĔCFl@.kxm"W~^ޛXJU';  7sjܰ*g b(y) [$w]O "@j]r^_(c.ʆыP;a%<o};.puϡB("`I{Ek2Z|P9fgG1#mxW45߽B (8cݽc z5H=h>YGnA["ˮԎmt J o'xy,?>lؾ<|Obm^Yl. g$;gA84*åJp} ZbTg.59Kꏶ,"'Rhmlx|= ~s$ZUG.AOWи܋md7"ujBMn/,Vks-qp+$d!5;ƽy%m._nZd,yH $RI!]-8"f cSm=dэՍ6 R=[tmf ՙnk0!hTIEfX>edLs~B9S~!m8G3Bdot-H_J|G|{ς5藌[) k”Lb5,K nxێ{@5,sNHb#X\;5:I4IH*ҜMcTjb|= !6@YQ )^%;Rkإ'V9SSN0Q%mTf<S B^\ gZ0 [/]կ[RRDP^rǜ!sw0ߐM%!eύIJ0& 1wAeOob˺/ t88r4!6m5#eڗ( c`h'4|<#-1j<{a_q]TVS (߂K,C@"aUFaFciqhGu瀙DAUr^C6)\#J5'yA/"ko9}Y)MQ8d~8X%6dzk4KRX*wz,bs)yD#]MxDbpqmnˤ=ƴzaVdm8FWc,Kn(fnQK70`G|fC:rI_ UGBᎮ&!s}p֙PQn ړ ] Fׁl,O܇_h.PSaXqK9>&k/@/Gl $͹nX :gV$"T BhE:7g0bvFJ܂}u26!a6"¦!YuXz smT:Ctũx"jJ>=2z8 Upr`-Ve*{>Aw3w$KĎ7i,8?+ E9v-mʊzGc- J{FAPջ @b$ 3-hӓtk$zLJh(ea>x856h;jmZc\d>3MӓCGx8b07E$pLge)$~@M)'iOxK 'x1jiK^u ~X 4L=AE.yOwʂ0Ter|ja8W& ޾P`@(rM\~Y@1 n̖lKﮰtTM\vlDanjW/~nfO3_IaUCEd `Y_bJt˯֍ *cf#pD(C_V9 ({Cm}%4̇`Wyƾ6 ܝeٌڨeʀH ͜D9YKsKiG'-<` ]>o e$xvKV%`8{C9:cQNqTYhueg/,h uq~j@=.5}Tp^c,ys|vts3c!R{DRr% 然]ζ@"BSLԼFiö1܈PA$:ٓ *R8~pDIRZ%hkS lq C+*Wy@b=cN/^pƝv@-fҠoz&+3l_[‘\Vjw>|߂2!T\;64yxlrYTkje9| `va-H,!h'0ӻ*"'d)n-d+<Ƌ:ύc|Ncoih觘v@;JvRf}ʴ)w`*|=Z~ް{h;XEχ~)vEM-pTsc#lupB `,kVuNt9smfl^]\, {Sq- w=[6'g@+,gb8lJ:2r˒{3VJ>+Mf©(cn#pHA>>!e w-H+ e;Y.6m}>8R-8/~@mg[iH`c`%B>XkJ97* j!y^U I5`&zm;Fe`#lFZ•i?&|h9E,FAhџrZK1!*ij~i@' *Wt+-]Ap5U/r+kb81'ZHߗ@clDHEoP<"-B*FgRɭM/l@1TARVpE)qgH#n[),YzF|5 _I8VNQ>۠3`Svd{7L~r ɷ塶3X6`LNe,:v$:ޮRN_;0D`Ss_ ^Pf(ׁ/]5).DkXjoe,;#3Kf`'} E2Q %̾P4VzLj6bz- jzŴI8Ff?E<-okuIdlJw5 B;䰻cRG>mcqYj}"}C.Oƞ1I8(9xn͹iAEJsLG֪wti+ bjL"I7bYewx@lIza?F+G4+_O ?I0tUYlb,ew,|ǩeFSE/:E-ua]avCom1nHr2,)M̉Q ytքrc&VPB;5qsn e2A o_9~WMamf|H;bI%LE &DfrebhyG27DffXa*naAƩy*,ed oLVvF^y^{[-(Rώ9i2Ո,Heu^(ۡ 9"U)HY\~f&SջU=ЊR%=~Nu ,Ʉ#iм{x6/pG*Jogۣ͊Q9!Xe]CNg/0]5o] %qY#OǛZq _" Sݬ5!XȨ=e6G=/[2ծ֧b!/|R{5ܧ+{VA aZ7WBx(F>,3zTB4ɹ3)p~ #E2 (iDG;٧ϑB*A)b&uc+%2ߵ/T/m(2or6)(E)휔liKR؀Jϡrǣg "4$T^)r\TRՓ=uedCcw&SNZ}DK%EȎYg6$!jKvoW I-|گݖD<}mFJFNwua{+B'"|ϔ,Y&fM+ .jw{2RlZ9R`"qBյ<& ? fou  Gd@SOebjo< $\ARw2,ޥ_(l̐K$|:*Z7Cƒ*p7^Sjr?OKup,?K8j% tQB t+\ZɊ`$Y}ӘO۾1t3Ps\6HDhUY*Fd`I;1󵽳}9[NIRYN.+gٛ^!vJKɮ@Ik9`"V*E p,?E;Tx6DΨ.Dkus2 hm^p0xtG涻%$} Η?h}aؐEwL; wFjk エv'ϬZ.vn!3WAy iTXtoĉ` fMh'Qxͭm.TczW'=>7:M:90d2c_ĩ~߮q>H7DLК ιvp fLتtXn&IX[?~!xyxq? cYHlt S50W:L *L6m 2h~e99)o@-ii>L૔Ն]V+B)  %!'d21}oG,i.nc3v ;?x$~'+\/:s/J1.*`]00M,Jͯ,Ftw[-4@$Y `N*kei´Ai+*d^0FbAwrn 9 ҤЅ6xz3ʎ6 O։ʉȄǿY${>m57U r1q*27k@5mjF ka)[%eqXN qGjtMrnW(bmۿUV>P_I&?q}S)JS,-2ca߳_;7j )vyCeﴳVRA$a2\`SFS"`W%x.? 9xdEF4A;㸠Ngw`H:ϑ+)(/cѥgEiy4%'2XSO//aX!6 Ws,ĭe:hş QHLV>,9nUx o׽FA?w䋦f23@/]z_4!/ƻ#Ѣ1q)Y_L ֕l幬#3CqGN@"Ԍ51jq;o]2y"hu༬.kOLE#[S7쇼Ђ:G  nDZ)\sꪯN5Vp_A$rTyҸ8!H|ű!^|6+9+7GI-X2p2̧JaVnב^}" sUkMAW4dhʍf=b0W4c``V3֡Mzq mqv¬1Q*as05EqOvK6*rKxHV.`IÎW-Nm~Enp9tN * \g; ye-\t_=ݘOׇ?Y >z,ʶ |"I1@0:|~U%14RxZaftQ,/_Puǟ{;ZύMlPWTh kz: /6Q[#^VxSKvkI?4ui4QS"$Ķ.NUa)Eӝ֘ҍԥoCM2L>UdmӜ`:Rn kim 0)Ws<2忑ݸnG&}ٝ;Ai?.6Xg~!]ZHeF<*+G JUEtB(y^om9Ș=ʔ;ѢwU¹@-^5Z_菉Ɗu#' .z9^:^>tdV'Ԣ[Gd'H> SGzIoճ&2<&r`١ak1Dx&زY6Ƨ'TrhΔsm!ן0ϭ g#)L]iͼCȽ@<&.qɵ! f>ʪ!Xysl;Ư!)o 81! qZIm?ՋDNU``qz&ޖŵe4yVqŠ{^E \yq@c9@]hE;N1,ޜ_)k(AuUL/?Zf2CJ>JzVYLR+Kp`Y5a *_Āz2kHWVq ,]] ftT!>Ω2ZV_i綽(GJѐT?2q~Z01PD_ɑI#p ЬkO̫aOX|D=PbF5ܐ8lcLߋ&)!f)` ;BRvoM\ .R-i׀7LBP@ ._r)p;5#F[*1PƢG3' S )KcB\Nd0ENe 4qڌ%%Knr_[ ՎߓbV2o C9 k,~YKEx.1* %뫽g̣4!E|['$p4 !n+5#j t%1FwЦ}g1ՍqJB䘑-7DfF׻%b>*W;im4uHM>M޷˼a[fJSB)bSr[u1|̏Xlcṡ`0K`)>:~(.'@.[mJzGsgDsú=l]YK͌k,(;3S&BTP4>It;Lc4kۈ'`p1v/i6ǞJ[QP)ȳۦW!:͂0ÒG'IS`/1*Irտǡљj?$ |F7@ Hqoㅆ'P)KA[÷s0\Je_zOm,g4y?rt|X%v2u$X@a;6_`5YܚqqN283*h}ʹZ mlKȺ蹷n]q>* q,s ^;R`tMAK7o 3=M5g8w6O1:35!hf42y9}N ymnASIج&OjS}rmPbBCEĂʮQX)l˧ |{%vsy}~ͨ?@;V張;F:BOIYtuĦ~xm@nxBqqh㋥H`D=sqhcWOş iK̕ˇUEWtʣluڄpyߧvf*PaluFBp`C\eɎnxj}5az}5;eyU?# h zz P/61d` DT%\4r%h.Hzʲ !H/Ict)ׂPgX{4Rĸp5]qWXF];^Kw(b꼖A.֛zryi]}[T=sy .l`o|RvQH sgAd3L͡)>$ `'禙i`2_Qn8ԫH5߫t~ b- ~/iGlT/'b>di3 wvIX.UuF(0܁+چu2{1 d{}ƀ8>ơ\ƼQF*=%\ud2+Hi,ntܺshřԸ8jw `cpQhr袖 & 57gI4ҷw2r3ڧ`KBnf[q1&UICpG.OFi]eNd@6W%$n 4S7:eegҗb>O+^9TN~I uYQ}O:dz_.$Zo燵d[b#M%Q@^mj_#VVO[zH}~?ǻngxX/HN FUzѡ( 1PeV/5j85ePQn43ZyV``rogz>]$ە*%at&;i]Ҁ`[S'JMaXLQ0#e;84,DJyoz{3g]_~Nfd.;_^(SÅ+{("C+\v=P@?[̣.\m&y&qNn5ҶD-Ɛ fc.XnwA⹏bKxۀh^ˆ5 QĕpFT@vNvfÛ;4x.w&E*f+,0 uMMbc̪xҭ"TYQQw&:TmdV$i-qFAKF}kr柠 T8Q^Y_m:ة,՟ e`#bYLxNOѮsfeCA(`Ch20Xtbp,9x=o?dRI6 Uf̜QK(ѳY,yT6X20gk\^DL3'7(VY.a-DYhf?cྈRomr",]_ziz7J0K `yٷ.EET*܉ אf5cn{얞bAp`릃7Fc +{+<F(h !RL$8W蠩,2b!Ic-b"y=ӻq-2ta Oa2/`.ݖ56ݤ`*}Nj'3iu/Us}_>e08YrA#Y"JbIC3#7w_sZwX Sً̿ڙW ÕUbTF T8No%J$iS6 ᅐMu+n^ i t)Mi8hxf#" % «20N*G2aN-STw%WۢN~ a)&e_ٍK_I qvi+i] [)s :&:٩vQ̃ڹ-!f(Vz{+Ud(8puwF#S) ķ&=@JF/_VztXar` \$= `gU-0@r2aؙJ;GhGlhnh'$AEy{m j ^[Ҡ&=h1= -|"xD7֣U3'*M@dp#Pe/gԼhLL_rR0*,-p6p) SpAn (5pM89V75v'Kף ՟"xi |dBc !SsRiҶbMQB@}m7@ lL&K.-!Au$o/j v=;:nn2Һ3\DY^QXM;Fp[U;\v\u $egx׾[A7LJNQ%_d9[I.+ Rŏ'6Y_oP)el;QA歃Q6Ab.k3SSQ@ҨFOydŁ`WkLQMg,R J#:f`Q{U~r7̋!so_)Z4a~ۘx3;J ^юt tQ< I6Ċ<VvLg@9yB巹VL̹vѷ}~;1ا}]I޷~ F,dW"R/0 VPF۝)4_IGbV?x{(KBj v(*'̭Znt#d.Bm񊦺Z#yK`ch5P̝DN5PFۇNS7g_iS/ۊn mA *;*i)"~^U̵ԍ`]H0hFOUkym׊DCPsw{RZ$mjx+KjW>X~]&[?rQ<e;\BשsiX"\4=QjDP)T\5!JEITG$4:}оnݩ{IV p-/Xc5=Ϛ8<|j: 5M4iLwnoNA `7b6+@\Y{mL?~\b= )oo͈fg2X9=tCp]y߃M7:"N2 4!i??,.YfQG9MՆ|<5` w0,kA K,YKp6-dD="q<"4lH;aE~qm\MUD*M .;+•ʣ/`쵰?!eV٤~$5Z?5'XA6cpW|]O pe\/–*c!i#Hv(ۈK%03ۿ58\Oeu?0` i&4[ЉU7~ ^JGUH *Hi'Gt2bBV J^X[ a嵎'wX/"a"V\Zt#j5W4sL[a*P40 (X) v즿 g3ńHZK >-%OzUd8Zq;J Q-Xӄ~5! yh'GpJPG2`)*ݓ1XE_j氢C>]e7S mlixKpaξN e;R! DS/iS趦"۷ڭڪ䧸ؤ}DQ_6V]*M)] ܤ* y ~YU\ovO?5iފY)Vj'_%JP5UXd }}& ZvZ˄!w{ g-gYZbba2236a8c42f2fc64182b2d4e5d5e37e447ba451c2df9ab94e25c8a2679a68910791aed4c2b5de4 6ac8fecf45d23f477b2ee86df14908c91728a9b6 5090a76af1de181d9fb118b4ac17d9653eecda93