%PDF-1.4 % 4 0 obj << /S /GoTo /D (chapter.1) >> endobj 7 0 obj (Deciding Local Theory Extensions via E-matching ) endobj 8 0 obj << /S /GoTo /D [9 0 R /Fit] >> endobj 27 0 obj << /Length 2617 /Filter /FlateDecode >> stream xڕ]s8=o+Ī(xn{ƽؼJ+Q~dKzNf,A'갊+O42[, HU($Q4"ڈK{Ew`3JMiYޭ2IVYqCRWfoz(V&p{Զ{ Wض_FĦQ:Oۿ?UY~Iq$n#LL6CQ 2%qߴϪA.6_ea'.Y'* 3 0EkwzZࡵW:N?v44)$d/j}uڹ};jmF-NeI0hecZ# ,(WD_8aRMWoo~_0 YN%k!D;(O8$SG)QEL2,5nξiv$KtQA"&/\n=zשʅWNϛFۊhɭrEڙ8-i? ډ>B]Olwr(0Ph&YWVz?t@% dk{aitGhMcULK{tHxuZH2h>#!n1d8S kk#|1ɠ+F<NuӇ4|N4ƭE@SXiw2A(4}hv/iE ?J@# &ewC}}=% "ǯ^q'TAat'in@{xcbx!a^a"x2OUIS-Hݟ\ Uө64L_O3_mkqtU}}N8[scכ2L/X1T}xNQWɼ1vqXZ-v~!0S)fc.Cm h%9erLK 3ePSj a2b&bf3AU٢Ϭ̸.:ނ`px"7b̠i{ٌ.◬)$?`:R{iaB*U@Dwlh! ܃?ŬN$C?VSW";dx,\BNZu@mR4p憊F)i[NwDQ=4.š3cWq%펣E)LA!A%'Kh>}pY0k lfp D$dz2Q0N[ful μ]g2ya:0:4ԜqáSwpxQmyi!;ttvti6>;B.w` ]?_Kf{f3 |u]1c>i&՞|ΤR:M2KiBJ>1p(d.-Eɣ4L䷊˸e\Iq3\BEc(5{g[MPؽzi-ڣ'E{3˹