%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 4 0 obj << /S /GoTo /D (chapter.1) >> endobj 7 0 obj (Challenges and Experiences in Managing Large-Scale Proofs) endobj 8 0 obj << /S /GoTo /D [9 0 R /Fit ] >> endobj 21 0 obj << /Length 2991 /Filter /FlateDecode >> stream xڵYY ~_G+:!;l&;yP۴ʹ= ʒ٪T$H | (Q*۫^KD$m XdIdY&Hž*LQy͆<@CYa_ʦft /B)vúxߵ_qwuP"3FFJT7*bnmU,UI{b(rE.N@L\$+`k<ðeO,(draf)hI7\b̏E/ItON o] c-+}Vemt!tTQ*A')fL狭
:\/L`ۆ[p3iusޭLz%ñ*;"لNйD22He!%Do~t0F j T͗휈L5
Ie=M\֕a._4`9 l6dm;X7^aLK˃)l6PЌ6lӕ8D#C |GHC'mzۣkEnl'P5εH2.fC,aqvVַ ه}9 1"؛
薡/iO}GdTE