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 ee9\ V- IDO m?7N7yt@rd dgg2'l ?_ Ž`#6v.eԙ&뼂~[k$ NmDf Ew ~UʲLb|Cٱ u,cQ`3!i(;g*fNŬn< W,VөRnNCK[bDK|m({uG.lAmodEW걧 H"fVsߞ sC1:tRT"EfDwD֚ Vrq} ]uݳhyOA">!GDF"ې p9$ 0t-"GQX!T'sɒ>1b,PPvs~ £۽YaLr^AAl]e<0?kꘗ {j%#^+zP=w}_m6l<48@&lF)Gr2@ܸ^\bҡsM=@iL1zy5T5u'K١eD*@NutoFu.xvKS+,sSRʵ}o59aL:Z˕^3HIB)N po ;y :K2X;6v~/Rʴiɨ&uz9WPokovbe \XG8^vpAa$CϯNBuUPa:=K ET}ht!٤B~]F6+f*S,w_ 9 HOL-Datatype_Benchmark N R _N9G% 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ŚmC1ZNfK3ZL &iy}!qmqV_Szj=|yHwAdF&N2 |7zS7eD2ҭ$< FXډc zх1Bש\zL{Zvw>xC Jg=A-!}4ȨgS7<>qD$_Sx]:y/iC^bz ՞h^ 2jAh•6)q݄y.6GXRy IE66!631@=Dtc3H+Tt՘Cl@=+m ۶-պOp ȴ5A:E5 Lsx;8}*$p! |Tۍ6CjF0%ݹ5`~)x6$ch}qYZo=e~P£$KjA:5e7Z^D8 Y`BFahbQ*!ON'C2IN[E҄]eEbHrofԗ@bFhN4k@UdVT`7x4 oڙ5>]@0_#cOoR~y3zK\F)f}$g4PuN.Pr_lxKHL"FEѣ;Ļ\WuO]ۥ1.篃ִ dD*Wz$e2. 3:t,UU2Zd,ì"*sVMcqeh!BHȔi#2$?7@1-jg@I r=Jb=q%=TeXѦq6;n6?EB8XV'Xqt lXKa(PÒBXP4l/`XF> [5ҠhB f Lt@-. *9{I8A2mAa3NϨq+Fư D^\g{z]N:l@k(}̀q#&n62;pawE;h@f{ R ?IEF jx~9",Sœ0I|1i8JyU l* VqlQy˭Hol,dHG$l;Bq#hH.OLS"gxt4&ıKdrjk̋'pScr{?IW Â(˫ݵ9i׼A#M8T6{D[b⧸㞺Pz,H6.lAq(03I2ݓio=鮊}2<8p0'q)a.&;Gky<9QllQ%4!bI)c:"CUR 78#R ȋثQ`ИS١ r4[U"2G';MKs145Sb5tybg$#7f30[:_Lsc얀M YPѷ/#i=LR"hGJEM07uη=t]4E S  it6Gs#=|{_7Pp3W][vAz)Fkc@l\̑YiUh?}0@ S3P ?Re7˜:)4NZO,C% ݰSpk-8!Shױց.Y*&? A_u#fZ)Qog~vJS؀o{ )B*̏ێ|OjKmXhM"yˆ"ڪjWǒÜOr1$ צt9iBH]c3d(K]+Hכ筧0c萮H?j-u\Qu0+2ƽ؇C `r0"+`QEtoVB$j=5V^xlPnl^RO1Tَs7CK+8C}LDXl}㰱5~lDJ F:ZF#F^^zƿ^hƎApj9A: @R}U%eTbr;ăǷ|CsZ=N6W q:yuUoI6zMl+31Y l⭙B4DumZpwXq 5۽|ŭO!8R.=5ͯ-bw _C*$˾l=q八^4C&BS{?^?D/&u@Aj$ ̀D׏E9H( '6w\K'l Z42ICݱʗ1%DHy BS9e?\6:7N  F` _; hi%T N@Ai|.4c-1yЁ$N)=J37e,/H/sbY*. Qk>mڝwqbq6='*z˘,l߽DLJ&EyvmvFc,uz<ت"֞w&~wf[L'pMxB,T }V jn݋q|@x]#1bt^Oym/Ew/3{}m,zO\D>G{/e_Ҵ;g*.C/qfià;RXH>r'WbdpE#Zɑ1O P=5ȏ+`]ҁPe@x,ŷT.=^Ҩ1Xe5[Dj8Ұ訔A}̥ɛ?IKaJ8e8 Z`0g*lODK@ "5髃4I] j]57ed)GH9IonJ]'Sٝ<̼n Z=49ZvZfSK48ֳ&uoYn3MqҢا40:i&rv3!0y $F*c),фY3޴n`RRhȕxd%J@6RS&meOQV Qi*LT3` |Fm}pEϞ$`гQEU#o/KWzԾ1acD\}9=a2M hY(N:>lAq5xCz["|87y,xX#Xfu!>c!pcGO ޸c2ld\6KגW5C%kvIRDu'nO)uOFak:]ڳ\o h>a@o"Ci׌TDJ)!"\E^ E!"OK&;@ls N7w7f|AM?pw&5IdO=uzTA wB8X2*;㫜eSex,;Za[a6 ):Gv̧Mk0q낑) @Bma?yDgʉ[nR 1j4Y2} deIɠ%*du&hHRGeC0l99c3_򳭾X-ÚĨ4v8[}_HGS:6 cdWo0I5|R)'panwï E.ȧMM(` iZ+.趨t8JtL~)\;5|ӖpTC}[XINjj>f,mܿq0Ɔ/3+Z=m.J>C[Kht?5!3ZL nr mc&fKXn:>5WRyW`w?,q`' pA9^E?e#ĊOE9~$Ap5t#Ee*-;ԟH~O"8.H>t:'RzMMjQo㞦Bvce\mo8zw +o55~PԍØtEþmC>2rgJ*KO,.w:iCz6;wr!?m΁A)Srz #p bcŧ/JMA݋ 90lB=ӹCL΁ .Ѵ9oW8 5cN|c hNU9: VT9Y) ĦZR6{'psz&GjYa8*S`^fP[eVB =OIEҺGiACsFK wAk8S4#:|i$ZUKLj3hgnI/RCBi/?Z*wW\9 = &' Ni^G*ui YG#M[o xh Gx4ڷT#nݾrmɳ[ҕ>A 5n?'X|2xT ݠ6ze}٣z9i=3GAeb%)}Xf&?5Kny^f"Z* G6y sW\zD%d]Hzذzћ$ZxG>[˴5{<\UJe\h>Q_`3ڇ8A)u߬e,/k/_!*p8ph/JԲT\Re3My{i)'; 4 ,{GPën@v\:Cro;( O ϙp) rO/©WQ[pa45bڍ/yx{V|VIn8D~Cwre87PJ^1IQf{Nzn 8F=R۠AdpԀ~X_5U{àQLcHeWT D[#'؄㘗^)^c,q* N~8굋 I lX,ukOOS d bZW(>]\~,FL1&  Ƽ`hUvV5yخT=}S؃ź] z9>VT&ۏt)` l|әa_ˎN`]tN`f/aD]aԦ5Qio W'cYns%h~%:iL(i;c|D :Dwlhw#0R5gxR]e΢n,J*͖ap~S68S_Ba _ f9`cz-AÝ-FQU+bb u=aچN(>$OE|=) ODlxVCf?uPՑxkv =3N ,[8*}9f ]s2"A+cXl},e5`/,YΉToöl5j `G]*C$-g/qKנ1< I (o#>?OPdzKK*R9S~ p%ovZP.`3_;`ӗY5$A-*iюÅn YAg+!1pZThgPũrzvcO5P453z\ 6m9"̇ rP_fDDoÄY\{7tQ].^t兴=[ziUI=BԴ}ቩ=)h%;W1?Xhu?:GO>Lq ^@Ƹ K4Iv ? U9`ᢙQMD2qs.@M`K"onS<ƩHik]l60&DKgC`Bv$f^a.:&"M0ʏ!.jk7&Y:d`ן4Tn"<8ZW]9N{ 16se9o8Jf\Eךq°-gt]b#T ~ 4RC>78߃+\m@"wF{ )&{:vNG#+I8/D1~4eS|>Hw לpκXL r (Y 2/ܙ[1"}6y5#6tV;5Uo*3R]'-}c-f^ t@' 7B[ǗlK)/a.y*HQĩ݇'3N o9M RG7R3@`μr=d9U훓{!.vr {8VkW/yKeq{vo[0&dEZ4)fDŜ#,CK~+ăp8; o}&(VD|C7)O~݂}@'X}gF=g]׎ O6 kM%2{R㵤1xrM39UNKC@4_Jggb^fB]gj1Yuą} " f!tMɚH}ӸkŦ > FdVއZx)3rE fUP+ } b/эY5~XuvBf)2e_=<σ~df."[Rj&Eq+ֈ4RLvd_],&`,#HPƅTM9wp9fUC4LrdHkAۂ ,cHyV|>s8kIJDU/[޿)^ovXj%rK vOla1zDmWvG$'̳ҝjoV6>VpGVx}y$.<@<0u_~ALhs 7U_yyȔgfuAbs5x'o69 |Lq <\]hĉƵnЗymNe.pw0D=a.zyZ.4? ) !όT$tK 5F`+Ϻ?Vv5$>}.tKm )r`PT=\KY h^PXxjZzin!m @2.W>!<+z`#4 ?H?W j'lcja젳{Ot)or߼mjl73ůuBd./M . mtŰ"2̚(&"N0۳k]b?aGg'8b5~6)MÀQAo@ƼtƚieCP?0(;wzUR?fAj%<ےԲޛ}ph3L0'8?ZYɅ ($Wga^\(dWDc! r`On?4Q06K␅ |X|3@NʦB.)4 [ʶѡr*#+A(Z^ c8{|l+kR2I3a(r|vq7V`v^}}s#7sYW Ufk|)>Z~kθE[<•"G BRB?Ђ,{V 1c˼!܁8,P?29eP- $݆m'\\!t 3%nUb.HE(Fl@U%ɱ'."!B뒓Пxo s؟}hqpNE$c 6Z'8)L\TOQˍ&s 10*N02z8O"xBSx85}(ȓgz]7Aa|?ah!qJ;/̺֜O3g!eVc hn^Hj(bIPGNHkJBPoC h婄n~h:+s.ev_?\29\9R*! @#f67.j e6xhi :4i ޜ!O[.n$oZqo6O8;rg!%9k89JtE H+tL:[@+xsVьݱ-N֏ayM0~\COV+n?mR_B@+Xѿ+:דay$#E!tM)q%\irg >mX=ηڝ'to8 Å;5p*4AhHЋ^c\: p֕␄k :4 dk#B05t}VhT1It9?~NO)F7j.9Fѱ&VbcVT}}6MpsڈD 8;r{/ba@UUC `i OmhnCAHqҟSO5ѐjJ+HCe_s2!$x;T9#X7_s>GXKMak 9=p35 Zxh'߮ JJ.typ$j4vqґз(nu+ŕ;.@~*e͙ZZdsy,Gb5e\29=UV! MÑ>GW9QxnNWleoKO3= Fs Ed*!r:ڦ-t##ޞʖEc_HT+~" *}i9|ɿ i|]H+>mGĹ#:Źaa5;d-[wj8sZj/ ET%o;Mgҹț>7?\bӫ}|tK5T`uEQUn|-\8gcMs.ݩWRcOѠ {hnX#LB|C\BAC}Vѝ:G7EWW~c#7OgD!sU-z iY,S_ NY0d=~tUbDrՃ{`A,.tew kdͩ{56#(bhkEk| Ž "U{cfe4 A:@%!״3"Kq|[:jlTerS^m1>yO>e%s=q'7|Uiķ/dЗoGCߧ߱vj*P8s.Q=[b*V+Tr~޵JO߽MʢF`w[5w"B~Ml:^ E_{a9⻇B&Dp$$jN1#gYt\{J D fqE@{w_\HCK,c3) ei!' `̂w㡫X8txj+R UB(C5gxYBŨ v4F)DG0wym!+Yz#:FãAM͐v ̠&:ub1ċM; 'r`Z'H 0i{m- /r`hV OuxƭP wn5xZ=Ba&V J~O`$d́e*qXQi΄,yƗ-9`!uEq(ä 8*"%dD_x-mʓ̴|O:6UZjo {+s&߈UL0L9GUʏRb־'1lpF}dM ƬY~+I|fy/#ߒʌѕvJ +?whY6ƻzÑ@LckxBjA!>=Mh?c d!55-]ݑw:DՃ|`)nf~3& Hk 0֪>Tˏ)r d FeQV󍉓TUU*(ܞn6 ̦ .]eVvyT-s2^v(?4U\ʧW UbTW\YelkՇh/ܮl TUS{jo%IX6-+Z(7sTuFs8F:7OܦHS{ƃC~wD8zTBYn7 8 <]<3ұZi]7aǶƟĔ=P6nwo@.ti 2}WY0Lkx {ъ)kB DNH/cJH>M ^j:՛Z;E"GC~a5xH ZY^xK7dm1nn]<5J;#zdHӳUzt-6i&P닀K bŬcحRn+E8{&V;4̂-҃ cPq5m[:1a-Za1@rH0=yJ>*~uvҦNI>jԬjPPԽ9=y;.v-qp%sAƶEÁ 4Ye@ڐ?Hl1} ?m( o~a &,Rݛ%D/ A\@dꮰ xѷ1z4ټ<'ԇ.0=ZXptNHf3b K]r3e5KD GDRxJqi%5C?*/9!*(gaI¦ ׳#̻sٛf~X `鱙-<@NEJOh\-yT)R14":WwE\McdH4VƬ:Ud@0BcZM%q㌑0$N%.}'ZZ- j(@ܒ\.u8jqZ7OŴN.(:Px3 !=p獧<j4,㩍L1$]zĔ5jh]WF*&.JD>吪ЪpgRmF$ t X=U-h]+71zgH ܻk&F;]EЌ&;nCcOk?jZ!r#bo}EYd%_4sJ쓾ρyW!򻐡`OT'PWCb>SXa^g޼~:7U)߁סG #!QePttCnqJڣaM ?,ioqYb4!)Wl?BbzNHDL? }#/ɁMՊ6)/pAWO ?uNb `+wL1p ( MY>DJ2^aۅ;ɰLGr'{ '6}ϚT*a]+%ϋ{gñ,nŮU4A!@߻>^L0F/ "Uus|юab`\P9[ w ΆT,̂7E4Hiŗ_@d {M>K3'} ^Ji5"F[U[ d}58wP#ʇŨUt͇v__y;ʷ}߾9%:VDR!/-f_?, p BF_Cc8$T5\TN0^lz-Ңq'350K2e7 d|>j0ͧcq4yas[naᓩ=|qzPZ-߻HmKY*ɒGg҇9|-ېV ZP46gDF0?ǧ>W2lju,9oU3pz\S#-ZQcLe\*%%{0"i7"`)&b8"NJk)7aM U.OX$Ӣ?`dtN uu@~HEX_Zj`3,)˨z?IPJ06\kkuÍVdzKcA1-U#R<)H"8LE|Ց cUZUؚ%#'4 qq5BE,G={r^̵ ̱nO N5^58\&Y Zo<Ѐ`@<"6, !5`ϰ!>.(X`@;?aQ@yoe;w=X‹.<ɝqCpJ!xvFo\m$׏1C~RW 1 1EȄy}@=Q>Pԡ7k:"ag_6:|Mdጻ2\p ^L;" @ױ6Z#=&hjbԀ<~>}yބ*WENZ >%rC5'(H5>drhے%@P 2bmY܋8'c9HlÊЂq+.jy+NE3u2/x銖n WWvX]w"Lc{/Ж=@9>-'ۙv,jE[>7!SJɆdl\tM[})Kn $;g̺/SV6)ȭʊV_,&65D?LULPpcwmW>Ć{3FGvx eT=(B*r_ʺs]&3עڝq8s?s@ M }*ވ@ϝR'M 1gBs\ ϧ^j&ET?Y m(OivwSmG؝NY]?;#>EOoc"ZBt~sT~T x Oo<P)IWJHtP7/fxt5FH>))EH \oͧF̊רj<=i9TarD@ȕ0EQ;v*[%02OۤgFR o+m)gD6 ,+.Brtl Su$ݧfjJrqmakK+ai856 d.He,<=l\6" ukgvXcn dOڙ%nVַ- n(xP,e"Blwya3tiTB A8r6G.(BHN%3 ]R]ZCrpSy5O8Ľ.Eh `Z5Q*#FO`QqJos "-]YgRvb#(4'Y!e ̛GOia)iCHל_}dA(*qѵhB>_ŻOn^Ƈ=,H@3 k>UT} d0.txB*2#wxP],K@51 [HLA4Xzrڇ2U=23Ou)Zmo2B 9fȁѣ6|A9$>X A{f9ᒫ`1b77mNad5a+[%$J׌ٕ^U=m8TBWo} WKC4RY1-"VߩG*3`QO/7iɳS,-6Ԙ7^ `{-xFQU.usۨhn"'$n_3aੂ*9L PUKO_ ?eYvoK>$>%;ɭ9t߆o l:!; QmO©?}9yƐпsX;i}-z6Do}>: q{CP֦eYdt(yǴg_ٷ]&wx?U㨋=zSlFXץ=y2 W|8_a5v3#M\1rJ˖*P%&!MNzz0su{$@쨐I :Äs`k (b 'ߡpȟWҲnزe:[}Js!ixY%pyE 0rg8ws>X0NDuÿ76\mt2$H#d \Ld?xkq_o0жG;c5\" ЩRm΍i O|3t5[o_?):_HW  {6+5rSps[vG_V0F:OLuF9Hde6hAEˑ[wijS#V; T0Bye6< 粑beT_u uKmnd?efۉRC4_ (".eJV_]-|*ufyz ߪz /L.UG-ƛg޸UzC~ID`JJ$? (RJeYdkDމZMj?AeT3癱:J(wcEf2YvR! Iyn:.hE[E˩%wV& Drqdtaw9>캻Nc2)ؒPMhzmB l%P({P|0PcW?S > &`(u*0_)3.l(hSHp9n>vK迣82)EL֩[z(n7K_<ͳɪrHh ܐW,shMDw/T?mP!V#r\|`7aekro'WLx 䭩8^ |CSApUg/&ƫU0`OYLߟtڎcb)gz$WB#ttCqXV[o/ }ӄO}-EHHĆ5ȞScwt L֝ '"(0M{cUwG5iԗyS_8:R:iW M@پpq>$2G3[0$zgZ4>$ܾL8Q=2lfJK4$:̑DdQz !r8+W;a 6yB<1`8)'ܙ\ 'F6@VύF&eX{&HG( é67e-berІΙP'4d/vjCkA7&o'Bn(f2?B ."3j/k7[x1rGlS 6`}\՟eWF] 1ԾI;Yٔ.lPt.8K}!S*,TIjBŸV+9J D> ᾜ*uOs5׆DF0R A ]7+0>ʄ@z먻5+ڙF2}W_$a,a~ {Wh9LO_'ehv3!G,3s˯oeȄUD.͉Vj8ks^\5=N<@o=/9i/Do9sU-ȡLPU0P!`WdFHi\o1P*e-)2̻&7ʟXN$C#1qP?#/ ;o5s+Z2:T*&Af܍D;E?Zc;QS(FK[ ꪢ4"Y q`G Crk/pY+4u"Se?]`X:~ܘՇo{}շ];=Fc O)CC?ڢx(A*Ib1bq&xf6aɓ^Wފ/8DP;%WzSpVfU!C[695AdL&s vV\{4=n͉&Cp%قaʧ8^gYZaa98847e593042fa57eb231d9ff0c9df9bf1958e4261b5a1501386295bfdb70e434ff4b92336605d 8bd4e929afcbb2be1bf5607a7362f9b0aead5da6 9d57baec7568878c083caab485bc257f450f36b5