%PDF-1.5
%
10 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
13 0 obj
(Introduction)
endobj
14 0 obj
<< /S /GoTo /D (Outline0.1.1.3) >>
endobj
17 0 obj
()
endobj
18 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
21 0 obj
(Propositional Logic)
endobj
22 0 obj
<< /S /GoTo /D (Outline0.2.1.11) >>
endobj
25 0 obj
()
endobj
26 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
29 0 obj
(Resolution)
endobj
30 0 obj
<< /S /GoTo /D (Outline0.3.1.21) >>
endobj
33 0 obj
()
endobj
34 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
37 0 obj
(Killing a Wumpus)
endobj
38 0 obj
<< /S /GoTo /D (Outline0.4.1.33) >>
endobj
41 0 obj
()
endobj
42 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
45 0 obj
(Conclusion)
endobj
46 0 obj
<< /S /GoTo /D (Outline0.5.1.39) >>
endobj
49 0 obj
()
endobj
50 0 obj
<< /S /GoTo /D (Outline0.6) >>
endobj
53 0 obj
()
endobj
54 0 obj
<< /S /GoTo /D (Outline0.7) >>
endobj
57 0 obj
(References)
endobj
58 0 obj
<< /S /GoTo /D [59 0 R /Fit] >>
endobj
60 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 18.597]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 61 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
61 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 18.59709] /Coords [0 0.0 0 18.59709] /Function << /FunctionType 3 /Domain [0.0 18.59709] /Functions [ << /FunctionType 2 /Domain [0.0 18.59709] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 18.59709] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 2.65672] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
62 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 5.313]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 63 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
63 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 5.31345] /Coords [0 0.0 0 5.31345] /Function << /FunctionType 3 /Domain [0.0 5.31345] /Functions [ << /FunctionType 2 /Domain [0.0 5.31345] /C0 [0.2 0.2 0.7] /C1 [0.2 0.2 0.7] /N 1 >> << /FunctionType 2 /Domain [0.0 5.31345] /C0 [0.2 0.2 0.7] /C1 [0 0 0] /N 1 >> ] /Bounds [ 2.65672] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
64 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 2.657]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 65 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
65 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 2.65672] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.2 0.2 0.7] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
111 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 112 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
112 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
113 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 114 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
114 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
115 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 116 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
116 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
164 0 obj
<<
/Length 1487
/Filter /FlateDecode
>>
stream
x[Ks6WH^ģ4m=$frHz`dD"mJj~ _dN:NX b}B")F],QɠdPAEBqbDq
oO\¿F5_^~/O*c+<\x'/)E-C?)R8UU-\˸SC^Pk
[oͤ41"h;p)rVFTBflZkxI%\u-
uUͪ="Ƹxï`I(p`i9a?a5
?C&QIjl۸6EMJg'w魌-Hvv&fk4Fd@VGq)i'sHpc5_:q6cp [g=_