%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Notations) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Russian Doll Abstraction) endobj 17 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 20 0 obj (Abstraction Sets) endobj 21 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 24 0 obj (Pattern Databases) endobj 25 0 obj << /S /GoTo /D (section.4) >> endobj 28 0 obj (Choosing Abstraction Sets) endobj 29 0 obj << /S /GoTo /D (section.5) >> endobj 32 0 obj (Empirical Results) endobj 33 0 obj << /S /GoTo /D (section.6) >> endobj 36 0 obj (Related Work) endobj 37 0 obj << /S /GoTo /D (section.7) >> endobj 40 0 obj (Conclusion) endobj 41 0 obj << /S /GoTo /D [42 0 R /Fit ] >> endobj 51 0 obj << /Length 2743 /Filter /FlateDecode >> stream xڕr_[*!@8ĻT[{ 5E*||}EEltn@洉6~ǧ~fmUlSy:ntjTMD*7~3u$|/צ:sO<.Z6hO?lt+Ngpḣ=컾u>45NMԤ߮0&zӜ|{n;lѷ| %omRUdqJ* oWβʦtu@*͋M"[0ЈTLt&jKsD/3|ΜYg.[bÅO?+PF̓LI`VƊyl0U[Si ky$\+W@ߏ;m֒ɷ!\$]<*9Y!VY u=үf2LR.Xݾ"Gprb*IGĽm