%PDF-1.4
%
3 0 obj
<< /pgfprgb [/Pattern /DeviceRGB] >>
endobj
76 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
79 0 obj
(Introduction)
endobj
80 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
83 0 obj
(Games)
endobj
84 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
87 0 obj
(Two Stage Synthesis)
endobj
88 0 obj
<< /S /GoTo /D (Outline0.3.1.53) >>
endobj
91 0 obj
(The Challenge)
endobj
92 0 obj
<< /S /GoTo /D (Outline0.3.2.85) >>
endobj
95 0 obj
(Algorithm)
endobj
96 0 obj
<< /S /GoTo /D (Outline0.3.3.97) >>
endobj
99 0 obj
(Optimizations)
endobj
100 0 obj
<< /S /GoTo /D (Outline0.3.4.102) >>
endobj
103 0 obj
(Implementation)
endobj
104 0 obj
<< /S /GoTo /D (Outline0.3.5.105) >>
endobj
107 0 obj
(Caveats)
endobj
108 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
111 0 obj
(Results)
endobj
112 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
115 0 obj
(Conclusions)
endobj
116 0 obj
<< /S /GoTo /D [117 0 R /Fit ] >>
endobj
155 0 obj <<
/Length 1555
/Filter /FlateDecode
>>
stream
xYKo8Wh!RҴ Zti\aW8_CR|ٲGl#ADňF
-PabÔIi|t3>,P:zJ/cQĸq@Z Lj
t]81XD0nBKåJҁ( 䕘 RVhq(sD%o#UBF(etؾn]
XՓ~mFUT2όMxIJ1(ؗWKd~~]JKXl k$TBf'qLEI!P(TPjh=J5Cj+sK(+VQ$@m=0<) 2M{C1ʌ&JK"MHg:P@5Kv%wwWN{Y^ntסijA.lXCW-Sj'Lfn*ʬj
|\`Wf!^
",c+wPƹ "w
iXYxE{ympzLE
vBy^{tEE`Ca^y^C2"8GY12DOz WVCrfìeV4grw[Z3W/@r6Ԁ,Mwk$T(2m<+f$k5[,\Q ^2>u)nt6fnO4OߛqP4Rjt:` [.YUzԷnfrRPSnլk~ 2Ktܑl['Ͳ-|vgfhMiknvn'L5]]w:fv3qװA1!3zbHv?N_;ITЙMeSvFv'oWemTNvQ~JvۓցL~Hu.p8ZI
endstream
endobj
117 0 obj <<
/Type /Page
/Contents 155 0 R
/Resources 154 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 160 0 R
/Annots [ 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R ]
>> endobj
118 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 3.985]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 161 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
161 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
126 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 162 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
162 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
127 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 163 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
163 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
125 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 164 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
164 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
12 0 obj <<
/Interpolate false
/Type /XObject
/Subtype /Image
/Width 201
/Height 199
/BitsPerComponent 8
/Length 29219
/ColorSpace /DeviceRGB
/Filter /DCTDecode
>>
stream
JFIF H H C C "
=
!"1#A29Qa$Rbqy3BSX ? Gxxxxxyve=S-mU 'e)?RC.f ԕbq B
8;*#|ӵM;Ÿ\5( HݫZ_o%g