%PDF-1.4 % 1 0 obj << /Title (\376\377\000S\000P\000I\000N0k0\2100\2130\3420\3070\353i\034g\373\000-\000\ 1) /Author (nonaka) /Subject (model-cheking-by-spin) /AAPL:Keywords [ ()] /Keywords () /Creator (Keynote) /Producer (Mac OS X 10.5.4 Quartz PDFContext) /CreationDate (D:20080806021153Z00'00') /ModDate (D:20080806021153Z00'00') >> endobj 2 0 obj << /Type /Page /Parent 3 0 R /Resources 6 0 R /Contents 4 0 R /MediaBox [ 0 0 842 595 ] >> endobj 3 0 obj << /Type /Pages /Parent 396 0 R /Count 8 /Kids [ 2 0 R 17 0 R 30 0 R 36 0 R 42 0 R 48 0 R 54 0 R 60 0 R ] >> endobj 4 0 obj << /Length 5 0 R /Filter /FlateDecode >> stream xJAydCBڃof[jUt!L/ 2Ym5Cu|bkFMVϬ%A#DBE0o&ɽ*Rp'ν%rt+*5bdϨND}2QHj u7ug){%L4* Tä/] N[7>q $(7;7R+\䘠 -՝c2LS:RGg2mDy0QLeC>!/⼄9Ut/oRY $AOtˎbp@at >j^2 endstream endobj 5 0 obj 395 endobj 6 0 obj << /ProcSet [ /PDF /Text /ImageB /ImageC /ImageI ] /ColorSpace << /Cs1 7 0 R >> /Font << /F1.1 10 0 R >> /XObject << /Im1 8 0 R >> >> endobj 7 0 obj [ /ICCBased 13 0 R ] endobj 8 0 obj << /Length 9 0 R /Type /XObject /Subtype /Image /Width 1024 /Height 768 /ColorSpace 12 0 R /BitsPerComponent 8 /Filter /DCTDecode >> stream JFIF H H Adobe d@ s !1AQa"q2B#R3b$r%C4Scs5D'6Tdt& EFVU(eufv7GWgw8HXhx)9IYiy*:JZjz m !1AQa"q2#BRbr3$4CS%cs5DT &6E'dtU7()euFVfvGWgw8HXhx9IYiy*:JZjz ? QDBަ+V?N/*ӎb-)!$ Bѕېjo^)7T$_zSaMA zН~* i@{b $LUTl({늴ܨ#p8өT@~t!rбmoUw9(J*Ob)֟bRGƽ\X*8?dE