%PDF-1.4
9 0 obj
<< /S /GoTo /D (Outline1) >>
endobj
12 0 obj
(Resolution-Based Proof Systems)
endobj
13 0 obj
<< /S /GoTo /D (Outline1.1.6) >>
endobj
16 0 obj
(Basics)
endobj
17 0 obj
<< /S /GoTo /D (Outline1.2.39) >>
endobj
20 0 obj
(Some Previous Work)
endobj
21 0 obj
<< /S /GoTo /D (Outline1.3.49) >>
endobj
24 0 obj
(Our Results)
endobj
25 0 obj
<< /S /GoTo /D (Outline2) >>
endobj
28 0 obj
(Outline of Proofs)
endobj
29 0 obj
<< /S /GoTo /D (Outline2.1.59) >>
endobj
32 0 obj
(Pebble Games and Pebbling Contradictions)
endobj
33 0 obj
<< /S /GoTo /D (Outline2.2.130) >>
endobj
36 0 obj
(Substitution Theorem)
endobj
37 0 obj
<< /S /GoTo /D (Outline2.3.140) >>
endobj
40 0 obj
(Putting the Pieces Together)
endobj
41 0 obj
<< /S /GoTo /D (Outline3) >>
endobj
44 0 obj
(Open Problems)
endobj
45 0 obj
<< /S /GoTo /D [46 0 R /Fit ] >>
endobj
48 0 obj <<
/Length 1100
/Filter /FlateDecode
>>
stream
xWo6~_{knhCbd[v:R`(Jd[X2yw? c@V,nO7ĭP|I(AY9B
Zda]2tvSmV$ې@h+)u9V|LzH{ '-O\#g'Ֆ4ֆ0z+wYig?I2!O2dJ0Tޑ\lcISQA?,8BN^#-xe)$JMMl㨰`Bl
C4뾛+
Dj*ra*ߣ*ݕU|3sLk篻X6 U/?"BL+:mm>}Nv3`QReE^m<'gYWi\ğYҸ_UV6sa~8F03T(ΔX*5?j`\RBƑ|"xK[ծNT
˴``FcfT|̋m }1eM:AqaP_>
/Parent 59 0 R
/Annots [ 56 0 R ]
>> endobj
56 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [125.0306 0.8 237.8041 8.528]
/Subtype /Link
/A << /S /GoTo /D (Navigation148) >>
>> endobj
49 0 obj <<
/D [46 0 R /XYZ 10.9091 261.9658 null]
>> endobj
57 0 obj <<
/D [46 0 R /XYZ 351.9256 0 null]
>> endobj
58 0 obj <<
/D [46 0 R /XYZ 351.9256 0 null]
>> endobj
47 0 obj <<
/Font << /F25 52 0 R /F28 55 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
64 0 obj <<
/Length 1215
/Filter /FlateDecode
>>
stream
xWMo6W "{n]E(n8Bdѵfw(Rd˲0"dCrH@0XJ*-/p/hjk [&)R)"0*XS;aۍ&[~Qq>F!8X/v,a".RX?1C`Zn)xsKo["@T(F/i!]Y1aVh^2Ф$A#A]ظ1ڡxsw[ha @̚
ٟz_ZjS=H$Nfl~qq_\}=" 1.i0}
VJû 8NaTXL~8SD49HfxD4LR@#YΌxkY],I\Jy{,ܯ7qwE#"!Nt/9 11`KAm,HQb}&ҲI~~Nm](VE~
INUЍi`?ycBӂcdUO"p6i.]CV{\mtfYZRQf'_#)3д^1/ҙ|`<"-}*Y5s_^dT#TATmH^cal"\M[g"Y,|af[IY_t7ϊhfzWfx=U{Uï+SRF*ULyu,)1 9?3$v\ᰱx^M/ C'o,E),85[#AMk |Se^aGYZckPoֶ
,M4K 'w faY+ty)ɦjm1}B2CY9V9C729`mM i_ "Fk#u:*RuݫmtA6W5,#푑'.˛5,F+BvC&ժiB֊t#HbKE3(:E-0@RN l+rwRmYU2wkc%A0CZA|
C c|Ma~Jl`BQF8mi}[X35Uc[kR>k$0!u
W[qr]/ +kendstream
endobj
63 0 obj <<
/Type /Page
/Contents 64 0 R
/Resources 62 0 R
/MediaBox [0 0 362.8347 272.1261]
/Trans << /S /R >>
/Parent 59 0 R
/Annots [ 65 0 R ]
>> endobj
61 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 6.0477 6.0477]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 68 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP( endstream
endobj
68 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 3.02385] /Coords [1.96872 4.31342 0.0 3.02385 3.02385 3.02385] /Function << /FunctionType 3 /Domain [0.0 3.02385] /Functions [ << /FunctionType 2 /Domain [0.0 3.02385] /C0 [0.88 0.88 0.955] /C1 [0.4 0.4 0.775] /N 1 >> << /FunctionType 2 /Domain [0.0 3.02385] /C0 [0.4 0.4 0.775] /C1 [0.14 0.14 0.49] /N 1 >> << /FunctionType 2 /Domain [0.0 3.02385] /C0 [0.14 0.14 0.49] /C1 [0.09999 0.09999 0.34999] /N 1 >> << /FunctionType 2 /Domain [0.0 3.02385] /C0 [0.09999 0.09999 0.34999] /C1 [1 1 1] /N 1 >> ] /Bounds [ 0.93787 1.87573 2.57915] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
65 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [125.0306 0.8 237.8041 8.528]
/Subtype /Link
/A << /S /GoTo /D (Navigation1) >>
>> endobj
66 0 obj <<
/D [63 0 R /XYZ 351.9256 0 null]
>> endobj
67 0 obj <<
/D [63 0 R /XYZ 351.9256 0 null]
>> endobj
62 0 obj <<
/Font << /F25 52 0 R >>
/XObject << /Fm1 61 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
71 0 obj <<
/Length 1130
/Filter /FlateDecode
>>
stream
xWM6WV`._&)EuC7-Fl˵n3)Y%,A8$g{3a0j5PUDf#)4o3&]V'm;#Bs r
8YB_60|6+Dk>%ׇ\!2
W@#TwuLuV}2%'/Ԅ-#ȅЏߜ
SC;FCʄb#мdSTB(I%Q
lJbX*Kr1ơv%n
/_!}
W臵T:TJ-IX_ipRZf:{IԜL$IR&ui2=}e`hc٭@|~^*.
$hi,^1DfpB=4PU95lyl3yp5UuaNiI#YA[VCW9C*AC.yeIl}ޕ$Ѥi 1̗8̏Ηʧ=