%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Outlines 3 0 R
/Names <<
/Dests <<
/Kids [4 0 R]
>>
>>
/OpenAction [5 0 R /Fit]
/PageMode /UseOutlines
/Metadata 6 0 R
>>
endobj
7 0 obj
<<
/Producer (dvips + GPL Ghostscript GIT PRERELEASE 9.22)
/CreationDate (D:20211004204307-04'00')
/ModDate (D:20211004204307-04'00')
/Creator (LaTeX with hyperref)
/Title ()
/Subject ()
/Author ()
/Keywords ()
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [8 0 R 5 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R
17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R
27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R
37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R
47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R
57 0 R 58 0 R 59 0 R 60 0 R]
/Count 54
>>
endobj
3 0 obj
<<
/Count 37
/First 61 0 R
/Last 62 0 R
>>
endobj
4 0 obj
<<
/Limits [(Doc-Start) (thm.9)]
/Names [(Doc-Start) 63 0 R (Hfootnote.1) 64 0 R (Hfootnote.2) 65 0 R (Hfootnote.3) 66 0 R (Hfootnote.4) 67 0 R
(Hfootnote.5) 68 0 R (Hfootnote.6) 69 0 R (Hfootnote.7) 70 0 R (Hfootnote.8) 71 0 R (Item.1) 72 0 R
(Item.10) 73 0 R (Item.11) 74 0 R (Item.12) 75 0 R (Item.13) 76 0 R (Item.14) 77 0 R
(Item.15) 78 0 R (Item.16) 79 0 R (Item.17) 80 0 R (Item.18) 81 0 R (Item.19) 82 0 R
(Item.2) 83 0 R (Item.20) 84 0 R (Item.21) 85 0 R (Item.22) 86 0 R (Item.23) 87 0 R
(Item.24) 88 0 R (Item.25) 89 0 R (Item.26) 90 0 R (Item.27) 91 0 R (Item.28) 92 0 R
(Item.29) 93 0 R (Item.3) 94 0 R (Item.30) 95 0 R (Item.31) 96 0 R (Item.32) 97 0 R
(Item.4) 98 0 R (Item.5) 99 0 R (Item.6) 100 0 R (Item.7) 101 0 R (Item.8) 102 0 R
(Item.9) 103 0 R (appendix.A) 104 0 R (appendix.B) 105 0 R (appendix.C) 106 0 R (appendix.D) 107 0 R
(appendix.E) 108 0 R (cite.BellantoniCook) 109 0 R (cite.BellantoniNS00) 110 0 R (cite.BonfanteKMO16) 111 0 R (cite.Brotherston05) 112 0 R
(cite.DP18) 113 0 R (cite.Das2021) 114 0 R (cite.DaxHL06) 115 0 R (cite.Hofmann97) 116 0 R (cite.KPP21) 117 0 R
(cite.Kleene71:intro-to-metamath) 118 0 R (cite.KolodziejczykMP19) 119 0 R (cite.Kuperberg-Pous21) 120 0 R (cite.Leivant-pspace) 121 0 R (cite.Leivant91) 122 0 R
(cite.Leivant98) 123 0 R (cite.Leivant99) 124 0 R (cite.LeivantM00) 125 0 R (cite.NolletST19) 126 0 R (cite.Oitavem-pspace) 127 0 R
(cite.Wirz99characterizingthe) 128 0 R (cite.baelde2016infinitary) 129 0 R (cite.bellantoniTESIS) 130 0 R (cite.brotherston2011sequent) 131 0 R (cite.das2017cut) 132 0 R
(cite.das2018logical) 133 0 R (cite.dax2006proof) 134 0 R (cite.fortier2013cuts) 135 0 R (cite.kuperberg2019cyclic) 136 0 R (cite.mints1978finite) 137 0 R
(cite.niwinski1996games) 138 0 R (cite.rose1984subrecursion) 139 0 R (equation.3.1) 140 0 R (equation.3.2) 141 0 R (equation.3.3) 142 0 R
(equation.4.4) 143 0 R (equation.4.5) 144 0 R (equation.4.6) 145 0 R (equation.5.10) 146 0 R (equation.5.11) 147 0 R
(equation.5.7) 148 0 R (equation.5.8) 149 0 R (equation.5.9) 150 0 R (equation.7.12) 151 0 R (equation.7.13) 152 0 R
(equation.7.14) 153 0 R (equation.7.15) 154 0 R (equation.7.16) 155 0 R (equation.7.17) 156 0 R (equation.7.18) 157 0 R
(equation.C.19) 158 0 R (equation.C.20) 159 0 R (equation.C.21) 160 0 R (equation.C.22) 161 0 R (equation.D.23) 162 0 R
(equation.D.24) 163 0 R (equation.D.25) 164 0 R (equation.D.26) 165 0 R (equation.D.27) 166 0 R (equation.D.28) 167 0 R
(equation.D.29) 168 0 R (figure.1) 169 0 R (figure.2) 170 0 R (figure.3) 171 0 R (page.1) 172 0 R
(page.10) 173 0 R (page.11) 174 0 R (page.12) 175 0 R (page.13) 176 0 R (page.14) 177 0 R
(page.15) 178 0 R (page.16) 179 0 R (page.17) 180 0 R (page.18) 181 0 R (page.19) 182 0 R
(page.2) 183 0 R (page.20) 184 0 R (page.21) 185 0 R (page.22) 186 0 R (page.23) 187 0 R
(page.24) 188 0 R (page.25) 189 0 R (page.26) 190 0 R (page.27) 191 0 R (page.28) 192 0 R
(page.29) 193 0 R (page.3) 194 0 R (page.30) 195 0 R (page.31) 196 0 R (page.32) 197 0 R
(page.33) 198 0 R (page.34) 199 0 R (page.35) 200 0 R (page.36) 201 0 R (page.37) 202 0 R
(page.38) 203 0 R (page.39) 204 0 R (page.4) 205 0 R (page.40) 206 0 R (page.41) 207 0 R
(page.42) 208 0 R (page.43) 209 0 R (page.44) 210 0 R (page.45) 211 0 R (page.46) 212 0 R
(page.47) 213 0 R (page.48) 214 0 R (page.49) 215 0 R (page.5) 216 0 R (page.50) 217 0 R
(page.51) 218 0 R (page.52) 219 0 R (page.53) 220 0 R (page.6) 221 0 R (page.7) 222 0 R
(page.8) 223 0 R (page.9) 224 0 R (section*.1) 225 0 R (section*.2) 226 0 R (section.1) 227 0 R
(section.2) 228 0 R (section.3) 229 0 R (section.4) 230 0 R (section.5) 231 0 R (section.6) 232 0 R
(section.7) 233 0 R (section.8) 234 0 R (subsection.2.1) 235 0 R (subsection.2.2) 236 0 R (subsection.3.1) 237 0 R
(subsection.3.2) 238 0 R (subsection.3.3) 239 0 R (subsection.3.4) 240 0 R (subsection.4.1) 241 0 R (subsection.4.2) 242 0 R
(subsection.4.3) 243 0 R (subsection.5.1) 244 0 R (subsection.5.2) 245 0 R (subsection.5.3) 246 0 R (subsection.6.1) 247 0 R
(subsection.6.2) 248 0 R (subsection.7.1) 249 0 R (subsection.8.1) 250 0 R (subsection.8.2) 251 0 R (subsection.8.3) 252 0 R
(subsection.8.4) 253 0 R (subsection.B.1) 254 0 R (subsection.B.2) 255 0 R (subsection.B.3) 256 0 R (thm.1) 257 0 R
(thm.10) 258 0 R (thm.11) 259 0 R (thm.12) 260 0 R (thm.13) 261 0 R (thm.14) 262 0 R
(thm.15) 263 0 R (thm.16) 264 0 R (thm.17) 265 0 R (thm.18) 266 0 R (thm.19) 267 0 R
(thm.2) 268 0 R (thm.20) 269 0 R (thm.21) 270 0 R (thm.22) 271 0 R (thm.23) 272 0 R
(thm.24) 273 0 R (thm.25) 274 0 R (thm.26) 275 0 R (thm.27) 276 0 R (thm.28) 277 0 R
(thm.29) 278 0 R (thm.3) 279 0 R (thm.30) 280 0 R (thm.31) 281 0 R (thm.32) 282 0 R
(thm.33) 283 0 R (thm.34) 284 0 R (thm.35) 285 0 R (thm.36) 286 0 R (thm.37) 287 0 R
(thm.38) 288 0 R (thm.39) 289 0 R (thm.4) 290 0 R (thm.40) 291 0 R (thm.41) 292 0 R
(thm.42) 293 0 R (thm.43) 294 0 R (thm.44) 295 0 R (thm.45) 296 0 R (thm.46) 297 0 R
(thm.47) 298 0 R (thm.48) 299 0 R (thm.49) 300 0 R (thm.5) 301 0 R (thm.50) 302 0 R
(thm.51) 303 0 R (thm.52) 304 0 R (thm.53) 305 0 R (thm.54) 306 0 R (thm.55) 307 0 R
(thm.56) 308 0 R (thm.57) 309 0 R (thm.58) 310 0 R (thm.59) 311 0 R (thm.6) 312 0 R
(thm.60) 313 0 R (thm.61) 314 0 R (thm.62) 315 0 R (thm.63) 316 0 R (thm.64) 317 0 R
(thm.65) 318 0 R (thm.66) 319 0 R (thm.67) 320 0 R (thm.68) 321 0 R (thm.69) 322 0 R
(thm.7) 323 0 R (thm.70) 324 0 R (thm.71) 325 0 R (thm.8) 326 0 R (thm.9) 327 0 R]
>>
endobj
5 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 328 0 R
/Font 329 0 R
>>
/Annots [330 0 R 331 0 R 332 0 R 333 0 R 334 0 R 335 0 R 336 0 R 337 0 R 338 0 R 339 0 R
340 0 R 341 0 R 342 0 R 343 0 R 344 0 R]
/Contents 345 0 R
>>
endobj
6 0 obj
<<
/Length 1510
/Type /Metadata
/Subtype /XML
>>
stream
2021-10-04T20:43:07-04:00
2021-10-04T20:43:07-04:00
endstream
endobj
8 0 obj
<<
/Contents 346 0 R
/Type /Page
/Resources <<
/Font <<
/F1 347 0 R
/F2 348 0 R
/F3 349 0 R
/F4 350 0 R
>>
/XObject <<
/Xf1 351 0 R
>>
>>
/Annots [352 0 R 353 0 R 354 0 R]
/Parent 2 0 R
/MediaBox [0 0 595 842]
>>
endobj
9 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 355 0 R
/Font 356 0 R
>>
/Annots [357 0 R 358 0 R 359 0 R 360 0 R 361 0 R]
/Contents 362 0 R
>>
endobj
10 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 363 0 R
/Font 364 0 R
>>
/Annots [365 0 R 366 0 R 367 0 R 368 0 R 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R
375 0 R 376 0 R 377 0 R 378 0 R 379 0 R 380 0 R 381 0 R 382 0 R 383 0 R 384 0 R
385 0 R 386 0 R 387 0 R 388 0 R]
/Contents 389 0 R
>>
endobj
11 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 390 0 R
/Font 391 0 R
>>
/Annots [392 0 R 393 0 R 394 0 R]
/Contents 395 0 R
>>
endobj
12 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 396 0 R
/Font 397 0 R
>>
/Annots [398 0 R 399 0 R 400 0 R]
/Contents 401 0 R
>>
endobj
13 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 402 0 R
/Font 403 0 R
>>
/Contents 404 0 R
>>
endobj
14 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 405 0 R
/Font 406 0 R
>>
/Annots [407 0 R]
/Contents 408 0 R
>>
endobj
15 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 409 0 R
/Font 410 0 R
>>
/Annots [411 0 R 412 0 R 413 0 R 414 0 R 415 0 R 416 0 R 417 0 R 418 0 R]
/Contents 419 0 R
>>
endobj
16 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 420 0 R
/Font 421 0 R
>>
/Annots [422 0 R 423 0 R 424 0 R 425 0 R 426 0 R 427 0 R]
/Contents 428 0 R
>>
endobj
17 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 429 0 R
/Font 430 0 R
>>
/Annots [431 0 R 432 0 R 433 0 R]
/Contents 434 0 R
>>
endobj
18 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 435 0 R
/Font 436 0 R
>>
/Annots [437 0 R 438 0 R 439 0 R 440 0 R 441 0 R 442 0 R]
/Contents 443 0 R
>>
endobj
19 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 444 0 R
/Font 445 0 R
>>
/Annots [446 0 R 447 0 R 448 0 R 449 0 R 450 0 R 451 0 R 452 0 R]
/Contents 453 0 R
>>
endobj
20 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 454 0 R
/Font 455 0 R
>>
/Annots [456 0 R 457 0 R 458 0 R 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R]
/Contents 465 0 R
>>
endobj
21 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 466 0 R
/Font 467 0 R
>>
/Annots [468 0 R 469 0 R 470 0 R 471 0 R 472 0 R 473 0 R 474 0 R 475 0 R 476 0 R 477 0 R
478 0 R 479 0 R]
/Contents 480 0 R
>>
endobj
22 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 481 0 R
/Font 482 0 R
>>
/Annots [483 0 R 484 0 R 485 0 R 486 0 R 487 0 R 488 0 R 489 0 R 490 0 R 491 0 R 492 0 R
493 0 R]
/Contents 494 0 R
>>
endobj
23 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 495 0 R
/Font 496 0 R
>>
/Annots [497 0 R 498 0 R 499 0 R 500 0 R]
/Contents 501 0 R
>>
endobj
24 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 502 0 R
/Font 503 0 R
>>
/Annots [504 0 R 505 0 R 506 0 R 507 0 R 508 0 R 509 0 R 510 0 R 511 0 R 512 0 R 513 0 R
514 0 R]
/Contents 515 0 R
>>
endobj
25 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 516 0 R
/Font 517 0 R
>>
/Annots [518 0 R 519 0 R 520 0 R 521 0 R 522 0 R]
/Contents 523 0 R
>>
endobj
26 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 524 0 R
/Font 525 0 R
>>
/Annots [526 0 R 527 0 R 528 0 R 529 0 R 530 0 R 531 0 R 532 0 R 533 0 R]
/Contents 534 0 R
>>
endobj
27 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 535 0 R
/Font 536 0 R
>>
/Annots [537 0 R 538 0 R 539 0 R]
/Contents 540 0 R
>>
endobj
28 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 541 0 R
/Font 542 0 R
>>
/Annots [543 0 R 544 0 R 545 0 R 546 0 R 547 0 R]
/Contents 548 0 R
>>
endobj
29 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 549 0 R
/Font 550 0 R
>>
/Annots [551 0 R 552 0 R 553 0 R 554 0 R 555 0 R]
/Contents 556 0 R
>>
endobj
30 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 557 0 R
/Font 558 0 R
>>
/Annots [559 0 R 560 0 R 561 0 R]
/Contents 562 0 R
>>
endobj
31 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 563 0 R
/Font 564 0 R
>>
/Annots [565 0 R 566 0 R 567 0 R 568 0 R 569 0 R 570 0 R]
/Contents 571 0 R
>>
endobj
32 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 572 0 R
/Font 573 0 R
>>
/Annots [574 0 R 575 0 R 576 0 R 577 0 R 578 0 R 579 0 R 580 0 R]
/Contents 581 0 R
>>
endobj
33 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 582 0 R
/Font 583 0 R
>>
/Annots [584 0 R 585 0 R 586 0 R 587 0 R 588 0 R 589 0 R 590 0 R 591 0 R 592 0 R]
/Contents 593 0 R
>>
endobj
34 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 594 0 R
/Font 595 0 R
>>
/Annots [596 0 R 597 0 R 598 0 R 599 0 R 600 0 R 601 0 R 602 0 R 603 0 R 604 0 R 605 0 R
606 0 R 607 0 R 608 0 R 609 0 R 610 0 R 611 0 R 612 0 R 613 0 R 614 0 R 615 0 R]
/Contents 616 0 R
>>
endobj
35 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 617 0 R
/Font 618 0 R
>>
/Annots [619 0 R]
/Contents 620 0 R
>>
endobj
36 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 621 0 R
/Font 622 0 R
>>
/Annots [623 0 R]
/Contents 624 0 R
>>
endobj
37 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 625 0 R
/Font 626 0 R
>>
/Contents 627 0 R
>>
endobj
38 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 628 0 R
/Font 629 0 R
>>
/Annots [630 0 R 631 0 R]
/Contents 632 0 R
>>
endobj
39 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 633 0 R
/Font 634 0 R
>>
/Annots [635 0 R 636 0 R]
/Contents 637 0 R
>>
endobj
40 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 638 0 R
/Font 639 0 R
>>
/Annots [640 0 R 641 0 R 642 0 R 643 0 R 644 0 R]
/Contents 645 0 R
>>
endobj
41 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 646 0 R
/Font 647 0 R
>>
/Annots [648 0 R 649 0 R 650 0 R 651 0 R 652 0 R 653 0 R 654 0 R 655 0 R 656 0 R 657 0 R
658 0 R 659 0 R 660 0 R 661 0 R 662 0 R]
/Contents 663 0 R
>>
endobj
42 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 664 0 R
/Font 665 0 R
>>
/Annots [666 0 R 667 0 R 668 0 R 669 0 R 670 0 R 671 0 R 672 0 R 673 0 R 674 0 R 675 0 R
676 0 R 677 0 R 678 0 R 679 0 R 680 0 R 681 0 R 682 0 R 683 0 R]
/Contents 684 0 R
>>
endobj
43 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 685 0 R
/Font 686 0 R
>>
/Annots [687 0 R 688 0 R 689 0 R 690 0 R 691 0 R 692 0 R 693 0 R 694 0 R 695 0 R 696 0 R
697 0 R 698 0 R 699 0 R 700 0 R 701 0 R 702 0 R 703 0 R 704 0 R 705 0 R 706 0 R
707 0 R 708 0 R]
/Contents 709 0 R
>>
endobj
44 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 710 0 R
/Font 711 0 R
>>
/Annots [712 0 R 713 0 R 714 0 R 715 0 R 716 0 R 717 0 R 718 0 R 719 0 R]
/Contents 720 0 R
>>
endobj
45 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 721 0 R
/Font 722 0 R
>>
/Contents 723 0 R
>>
endobj
46 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 724 0 R
/Font 725 0 R
>>
/Annots [726 0 R 727 0 R 728 0 R]
/Contents 729 0 R
>>
endobj
47 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 730 0 R
/Font 731 0 R
>>
/Annots [732 0 R 733 0 R 734 0 R 735 0 R 736 0 R]
/Contents 737 0 R
>>
endobj
48 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 738 0 R
/Font 739 0 R
>>
/Annots [740 0 R 741 0 R 742 0 R]
/Contents 743 0 R
>>
endobj
49 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 744 0 R
/Font 745 0 R
>>
/Annots [746 0 R 747 0 R 748 0 R 749 0 R 750 0 R 751 0 R]
/Contents 752 0 R
>>
endobj
50 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 753 0 R
/Font 754 0 R
>>
/Annots [755 0 R 756 0 R 757 0 R 758 0 R 759 0 R 760 0 R 761 0 R]
/Contents 762 0 R
>>
endobj
51 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 763 0 R
/Font 764 0 R
>>
/Annots [765 0 R 766 0 R]
/Contents 767 0 R
>>
endobj
52 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 768 0 R
/Font 769 0 R
>>
/Annots [770 0 R 771 0 R 772 0 R]
/Contents 773 0 R
>>
endobj
53 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 774 0 R
/Font 775 0 R
>>
/Annots [776 0 R 777 0 R 778 0 R 779 0 R 780 0 R 781 0 R]
/Contents 782 0 R
>>
endobj
54 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 783 0 R
/Font 784 0 R
>>
/Annots [785 0 R 786 0 R 787 0 R 788 0 R 789 0 R 790 0 R]
/Contents 791 0 R
>>
endobj
55 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 792 0 R
/Font 793 0 R
>>
/Annots [794 0 R 795 0 R 796 0 R 797 0 R 798 0 R 799 0 R 800 0 R 801 0 R 802 0 R 803 0 R
804 0 R 805 0 R 806 0 R 807 0 R 808 0 R 809 0 R 810 0 R 811 0 R]
/Contents 812 0 R
>>
endobj
56 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 813 0 R
/Font 814 0 R
>>
/Annots [815 0 R 816 0 R 817 0 R 818 0 R 819 0 R 820 0 R 821 0 R 822 0 R 823 0 R 824 0 R
825 0 R 826 0 R 827 0 R 828 0 R 829 0 R 830 0 R 831 0 R 832 0 R]
/Contents 833 0 R
>>
endobj
57 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 834 0 R
/Font 835 0 R
>>
/Annots [836 0 R 837 0 R 838 0 R 839 0 R 840 0 R 841 0 R 842 0 R 843 0 R 844 0 R 845 0 R
846 0 R 847 0 R 848 0 R 849 0 R 850 0 R 851 0 R 852 0 R 853 0 R]
/Contents 854 0 R
>>
endobj
58 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 855 0 R
/Font 856 0 R
>>
/Annots [857 0 R 858 0 R 859 0 R 860 0 R 861 0 R 862 0 R]
/Contents 863 0 R
>>
endobj
59 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /ImageB /Text]
/ExtGState 864 0 R
/Font 865 0 R
>>
/Annots [866 0 R 867 0 R]
/Contents 868 0 R
>>
endobj
60 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 869 0 R
/Font 870 0 R
>>
/Annots [871 0 R 872 0 R]
/Contents 873 0 R
>>
endobj
61 0 obj
<<
/Title (1. Introduction)
/Dest (section.1)
/Count 1
/Parent 3 0 R
/Next 874 0 R
/First 875 0 R
/Last 875 0 R
>>
endobj
62 0 obj
<<
/Title (Appendix E. Further examples)
/Dest (appendix.E)
/Parent 3 0 R
/Prev 876 0 R
>>
endobj
63 0 obj
<<
/D [5 0 R /XYZ 126.925194 685.794861 null]
>>
endobj
64 0 obj
<<
/D [11 0 R /XYZ 142.824585 111.727539 null]
>>
endobj
65 0 obj
<<
/D [21 0 R /XYZ 142.824585 101.730164 null]
>>
endobj
66 0 obj
<<
/D [26 0 R /XYZ 142.824585 101.730164 null]
>>
endobj
67 0 obj
<<
/D [28 0 R /XYZ 142.824585 91.7327881 null]
>>
endobj
68 0 obj
<<
/D [29 0 R /XYZ 142.824585 90.8897095 null]
>>
endobj
69 0 obj
<<
/D [31 0 R /XYZ 142.824585 91.7327881 null]
>>
endobj
70 0 obj
<<
/D [33 0 R /XYZ 142.824585 91.7327881 null]
>>
endobj
71 0 obj
<<
/D [34 0 R /XYZ 142.824585 102.091492 null]
>>
endobj
72 0 obj
<<
/D [20 0 R /XYZ 126.925194 400.569275 null]
>>
endobj
73 0 obj
<<
/D [33 0 R /XYZ 126.925194 578.233032 null]
>>
endobj
74 0 obj
<<
/D [33 0 R /XYZ 126.925194 553.661255 null]
>>
endobj
75 0 obj
<<
/D [33 0 R /XYZ 126.925194 155.935303 null]
>>
endobj
76 0 obj
<<
/D [33 0 R /XYZ 126.925194 143.408569 null]
>>
endobj
77 0 obj
<<
/D [33 0 R /XYZ 126.925194 131.363525 null]
>>
endobj
78 0 obj
<<
/D [34 0 R /XYZ 126.925194 265.424316 null]
>>
endobj
79 0 obj
<<
/D [34 0 R /XYZ 126.925194 252.897552 null]
>>
endobj
80 0 obj
<<
/D [34 0 R /XYZ 126.925194 240.852539 null]
>>
endobj
81 0 obj
<<
/D [37 0 R /XYZ 126.925194 453.56723 null]
>>
endobj
82 0 obj
<<
/D [37 0 R /XYZ 126.925194 440.919983 null]
>>
endobj
83 0 obj
<<
/D [20 0 R /XYZ 126.925194 376.479279 null]
>>
endobj
84 0 obj
<<
/D [39 0 R /XYZ 126.925194 364.916077 null]
>>
endobj
85 0 obj
<<
/D [39 0 R /XYZ 126.925194 352.991516 null]
>>
endobj
86 0 obj
<<
/D [39 0 R /XYZ 126.925194 339.862488 null]
>>
endobj
87 0 obj
<<
/D [39 0 R /XYZ 126.925194 111.248413 null]
>>
endobj
88 0 obj
<<
/D [40 0 R /XYZ 126.925194 685.794861 null]
>>
endobj
89 0 obj
<<
/D [40 0 R /XYZ 126.925194 661.825256 null]
>>
endobj
90 0 obj
<<
/D [40 0 R /XYZ 126.925194 299.873077 null]
>>
endobj
91 0 obj
<<
/D [40 0 R /XYZ 126.925194 273.133179 null]
>>
endobj
92 0 obj
<<
/D [40 0 R /XYZ 126.925194 229.168915 null]
>>
endobj
93 0 obj
<<
/D [40 0 R /XYZ 126.925194 213.149048 null]
>>
endobj
94 0 obj
<<
/D [20 0 R /XYZ 126.925194 352.509705 null]
>>
endobj
95 0 obj
<<
/D [40 0 R /XYZ 126.925194 190.143127 null]
>>
endobj
96 0 obj
<<
/D [51 0 R /XYZ 126.925194 111.850647 null]
>>
endobj
97 0 obj
<<
/D [52 0 R /XYZ 126.925194 685.794861 null]
>>
endobj
98 0 obj
<<
/D [25 0 R /XYZ 126.925194 383.34491 null]
>>
endobj
99 0 obj
<<
/D [25 0 R /XYZ 126.925194 371.42038 null]
>>
endobj
100 0 obj
<<
/D [28 0 R /XYZ 126.925194 620.029175 null]
>>
endobj
101 0 obj
<<
/D [28 0 R /XYZ 126.925194 593.530151 null]
>>
endobj
102 0 obj
<<
/D [32 0 R /XYZ 126.925194 215.437622 null]
>>
endobj
103 0 obj
<<
/D [32 0 R /XYZ 126.925194 202.910828 null]
>>
endobj
104 0 obj
<<
/D [46 0 R /XYZ 126.925194 603.888855 null]
>>
endobj
105 0 obj
<<
/D [47 0 R /XYZ 126.925194 385.513031 null]
>>
endobj
106 0 obj
<<
/D [50 0 R /XYZ 126.925194 198.092834 null]
>>
endobj
107 0 obj
<<
/D [55 0 R /XYZ 126.925194 550.168213 null]
>>
endobj
108 0 obj
<<
/D [58 0 R /XYZ 126.925194 413.096069 null]
>>
endobj
109 0 obj
<<
/D [44 0 R /XYZ 126.925194 371.106659 null]
>>
endobj
110 0 obj
<<
/D [44 0 R /XYZ 126.925194 259.810822 null]
>>
endobj
111 0 obj
<<
/D [44 0 R /XYZ 126.925194 291.127838 null]
>>
endobj
112 0 obj
<<
/D [44 0 R /XYZ 126.925194 229.818817 null]
>>
endobj
113 0 obj
<<
/D [45 0 R /XYZ 126.925194 563.82666 null]
>>
endobj
114 0 obj
<<
/D [44 0 R /XYZ 126.925194 139.842651 null]
>>
endobj
115 0 obj
<<
/D [45 0 R /XYZ 126.925194 673.797485 null]
>>
endobj
116 0 obj
<<
/D [45 0 R /XYZ 126.925194 483.727448 null]
>>
endobj
117 0 obj
<<
/D [45 0 R /XYZ 126.925194 343.764496 null]
>>
endobj
118 0 obj
<<
/D [45 0 R /XYZ 126.925194 433.740692 null]
>>
endobj
119 0 obj
<<
/D [45 0 R /XYZ 126.925194 413.745972 null]
>>
endobj
120 0 obj
<<
/D [45 0 R /XYZ 126.925194 363.759216 null]
>>
endobj
121 0 obj
<<
/D [45 0 R /XYZ 126.925194 243.791046 null]
>>
endobj
122 0 obj
<<
/D [45 0 R /XYZ 126.925194 323.769806 null]
>>
endobj
123 0 obj
<<
/D [45 0 R /XYZ 126.925194 293.777802 null]
>>
endobj
124 0 obj
<<
/D [45 0 R /XYZ 126.925194 263.785736 null]
>>
endobj
125 0 obj
<<
/D [45 0 R /XYZ 126.925194 193.80426 null]
>>
endobj
126 0 obj
<<
/D [45 0 R /XYZ 126.925194 153.81488 null]
>>
endobj
127 0 obj
<<
/D [46 0 R /XYZ 126.925194 653.802795 null]
>>
endobj
128 0 obj
<<
/D [46 0 R /XYZ 126.925194 623.81073 null]
>>
endobj
129 0 obj
<<
/D [44 0 R /XYZ 126.925194 331.117279 null]
>>
endobj
130 0 obj
<<
/D [44 0 R /XYZ 126.925194 311.122589 null]
>>
endobj
131 0 obj
<<
/D [44 0 R /XYZ 126.925194 179.832092 null]
>>
endobj
132 0 obj
<<
/D [45 0 R /XYZ 126.925194 593.818726 null]
>>
endobj
133 0 obj
<<
/D [44 0 R /XYZ 126.925194 159.837402 null]
>>
endobj
134 0 obj
<<
/D [45 0 R /XYZ 126.925194 623.81073 null]
>>
endobj
135 0 obj
<<
/D [45 0 R /XYZ 126.925194 513.839966 null]
>>
endobj
136 0 obj
<<
/D [45 0 R /XYZ 126.925194 383.753906 null]
>>
endobj
137 0 obj
<<
/D [45 0 R /XYZ 126.925194 173.80957 null]
>>
endobj
138 0 obj
<<
/D [46 0 R /XYZ 126.925194 673.797485 null]
>>
endobj
139 0 obj
<<
/D [46 0 R /XYZ 126.925194 633.808105 null]
>>
endobj
140 0 obj
<<
/D [19 0 R /XYZ 229.548599 279.517029 null]
>>
endobj
141 0 obj
<<
/D [21 0 R /XYZ 220.273941 601.600281 null]
>>
endobj
142 0 obj
<<
/D [22 0 R /XYZ 219.189896 529.812134 null]
>>
endobj
143 0 obj
<<
/D [24 0 R /XYZ 238.702774 138.831421 null]
>>
endobj
144 0 obj
<<
/D [26 0 R /XYZ 165.469193 613.645264 null]
>>
endobj
145 0 obj
<<
/D [28 0 R /XYZ 199.315643 357.327698 null]
>>
endobj
146 0 obj
<<
/D [31 0 R /XYZ 165.348755 627.497 null]
>>
endobj
147 0 obj
<<
/D [31 0 R /XYZ 191.004593 183.157043 null]
>>
endobj
148 0 obj
<<
/D [29 0 R /XYZ 246.532028 551.372681 null]
>>
endobj
149 0 obj
<<
/D [29 0 R /XYZ 226.898697 356.96637 null]
>>
endobj
150 0 obj
<<
/D [29 0 R /XYZ 223.164749 312.640808 null]
>>
endobj
151 0 obj
<<
/D [41 0 R /XYZ 188.354706 644.721375 null]
>>
endobj
152 0 obj
<<
/D [41 0 R /XYZ 191.004593 607.984131 null]
>>
endobj
153 0 obj
<<
/D [41 0 R /XYZ 200.520142 531.859741 null]
>>
endobj
154 0 obj
<<
/D [41 0 R /XYZ 198.713409 451.64 null]
>>
endobj
155 0 obj
<<
/D [41 0 R /XYZ 158.724 378.888245 null]
>>
endobj
156 0 obj
<<
/D [41 0 R /XYZ 186.1866 187.011414 null]
>>
endobj
157 0 obj
<<
/D [42 0 R /XYZ 189.679657 647.009949 null]
>>
endobj
158 0 obj
<<
/D [51 0 R /XYZ 247.375198 167.859924 null]
>>
endobj
159 0 obj
<<
/D [52 0 R /XYZ 264.840424 595.939148 null]
>>
endobj
160 0 obj
<<
/D [52 0 R /XYZ 267.490356 319.867767 null]
>>
endobj
161 0 obj
<<
/D [54 0 R /XYZ 237.377838 510.299225 null]
>>
endobj
162 0 obj
<<
/D [56 0 R /XYZ 188.354706 176.532288 null]
>>
endobj
163 0 obj
<<
/D [56 0 R /XYZ 191.004593 134.736145 null]
>>
endobj
164 0 obj
<<
/D [57 0 R /XYZ 200.520142 643.396484 null]
>>
endobj
165 0 obj
<<
/D [57 0 R /XYZ 198.713409 566.067505 null]
>>
endobj
166 0 obj
<<
/D [57 0 R /XYZ 158.724 496.086121 null]
>>
endobj
167 0 obj
<<
/D [57 0 R /XYZ 186.1866 309.870422 null]
>>
endobj
168 0 obj
<<
/D [57 0 R /XYZ 189.679657 181.109375 null]
>>
endobj
169 0 obj
<<
/D [10 0 R /XYZ 215.33551 541.974915 null]
>>
endobj
170 0 obj
<<
/D [12 0 R /XYZ 241.352692 497.649292 null]
>>
endobj
171 0 obj
<<
/D [25 0 R /XYZ 215.937759 582.807495 null]
>>
endobj
172 0 obj
<<
/D [5 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
173 0 obj
<<
/D [17 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
174 0 obj
<<
/D [18 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
175 0 obj
<<
/D [19 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
176 0 obj
<<
/D [20 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
177 0 obj
<<
/D [21 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
178 0 obj
<<
/D [22 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
179 0 obj
<<
/D [23 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
180 0 obj
<<
/D [24 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
181 0 obj
<<
/D [25 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
182 0 obj
<<
/D [26 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
183 0 obj
<<
/D [9 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
184 0 obj
<<
/D [27 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
185 0 obj
<<
/D [28 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
186 0 obj
<<
/D [29 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
187 0 obj
<<
/D [30 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
188 0 obj
<<
/D [31 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
189 0 obj
<<
/D [32 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
190 0 obj
<<
/D [33 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
191 0 obj
<<
/D [34 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
192 0 obj
<<
/D [35 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
193 0 obj
<<
/D [36 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
194 0 obj
<<
/D [10 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
195 0 obj
<<
/D [37 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
196 0 obj
<<
/D [38 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
197 0 obj
<<
/D [39 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
198 0 obj
<<
/D [40 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
199 0 obj
<<
/D [41 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
200 0 obj
<<
/D [42 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
201 0 obj
<<
/D [43 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
202 0 obj
<<
/D [44 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
203 0 obj
<<
/D [45 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
204 0 obj
<<
/D [46 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
205 0 obj
<<
/D [11 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
206 0 obj
<<
/D [47 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
207 0 obj
<<
/D [48 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
208 0 obj
<<
/D [49 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
209 0 obj
<<
/D [50 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
210 0 obj
<<
/D [51 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
211 0 obj
<<
/D [52 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
212 0 obj
<<
/D [53 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
213 0 obj
<<
/D [54 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
214 0 obj
<<
/D [55 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
215 0 obj
<<
/D [56 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
216 0 obj
<<
/D [12 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
217 0 obj
<<
/D [57 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
218 0 obj
<<
/D [58 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
219 0 obj
<<
/D [59 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
220 0 obj
<<
/D [60 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
221 0 obj
<<
/D [13 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
222 0 obj
<<
/D [14 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
223 0 obj
<<
/D [15 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
224 0 obj
<<
/D [16 0 R /XYZ 125.841141 698.800781 null]
>>
endobj
225 0 obj
<<
/D [10 0 R /XYZ 126.925194 368.8909 null]
>>
endobj
226 0 obj
<<
/D [44 0 R /XYZ 277.728577 389.126495 null]
>>
endobj
227 0 obj
<<
/D [5 0 R /XYZ 126.925194 444.894867 null]
>>
endobj
228 0 obj
<<
/D [10 0 R /XYZ 126.925194 189.781799 null]
>>
endobj
229 0 obj
<<
/D [15 0 R /XYZ 126.925194 479.584473 null]
>>
endobj
230 0 obj
<<
/D [24 0 R /XYZ 126.925194 326.612976 null]
>>
endobj
231 0 obj
<<
/D [29 0 R /XYZ 126.925194 685.794861 null]
>>
endobj
232 0 obj
<<
/D [34 0 R /XYZ 126.925194 220.496521 null]
>>
endobj
233 0 obj
<<
/D [39 0 R /XYZ 126.925194 509.456055 null]
>>
endobj
234 0 obj
<<
/D [42 0 R /XYZ 126.925194 449.110626 null]
>>
endobj
235 0 obj
<<
/D [11 0 R /XYZ 126.925194 575.101257 null]
>>
endobj
236 0 obj
<<
/D [12 0 R /XYZ 126.925194 484.763794 null]
>>
endobj
237 0 obj
<<
/D [15 0 R /XYZ 126.925194 379.972321 null]
>>
endobj
238 0 obj
<<
/D [19 0 R /XYZ 126.925194 452.724121 null]
>>
endobj
239 0 obj
<<
/D [21 0 R /XYZ 126.925194 339.019318 null]
>>
endobj
240 0 obj
<<
/D [23 0 R /XYZ 126.925194 438.751953 null]
>>
endobj
241 0 obj
<<
/D [24 0 R /XYZ 126.925194 208.57196 null]
>>
endobj
242 0 obj
<<
/D [26 0 R /XYZ 126.925194 341.789673 null]
>>
endobj
243 0 obj
<<
/D [27 0 R /XYZ 126.925194 207.247009 null]
>>
endobj
244 0 obj
<<
/D [29 0 R /XYZ 126.925194 601.238953 null]
>>
endobj
245 0 obj
<<
/D [32 0 R /XYZ 126.925194 286.623596 null]
>>
endobj
246 0 obj
<<
/D [33 0 R /XYZ 126.925194 200.501831 null]
>>
endobj
247 0 obj
<<
/D [35 0 R /XYZ 126.925194 685.794861 null]
>>
endobj
248 0 obj
<<
/D [35 0 R /XYZ 126.925194 197.851929 null]
>>
endobj
249 0 obj
<<
/D [39 0 R /XYZ 126.925194 446.942474 null]
>>
endobj
250 0 obj
<<
/D [42 0 R /XYZ 126.925194 279.878326 null]
>>
endobj
251 0 obj
<<
/D [43 0 R /XYZ 126.925194 529.932556 null]
>>
endobj
252 0 obj
<<
/D [43 0 R /XYZ 126.925194 314.567963 null]
>>
endobj
253 0 obj
<<
/D [43 0 R /XYZ 126.925194 207.247009 null]
>>
endobj
254 0 obj
<<
/D [47 0 R /XYZ 126.925194 367.445526 null]
>>
endobj
255 0 obj
<<
/D [49 0 R /XYZ 126.925194 527.041748 null]
>>
endobj
256 0 obj
<<
/D [50 0 R /XYZ 126.925194 503.072205 null]
>>
endobj
257 0 obj
<<
/D [11 0 R /XYZ 126.925194 551.613525 null]
>>
endobj
258 0 obj
<<
/D [16 0 R /XYZ 126.925194 615.693 null]
>>
endobj
259 0 obj
<<
/D [16 0 R /XYZ 126.925194 250.368073 null]
>>
endobj
260 0 obj
<<
/D [16 0 R /XYZ 126.925194 134.013428 null]
>>
endobj
261 0 obj
<<
/D [17 0 R /XYZ 126.925194 166.294 null]
>>
endobj
262 0 obj
<<
/D [18 0 R /XYZ 126.925194 663.752502 null]
>>
endobj
263 0 obj
<<
/D [18 0 R /XYZ 126.925194 599.914 null]
>>
endobj
264 0 obj
<<
/D [18 0 R /XYZ 126.925194 420.925323 null]
>>
endobj
265 0 obj
<<
/D [18 0 R /XYZ 126.925194 173.761902 null]
>>
endobj
266 0 obj
<<
/D [19 0 R /XYZ 126.925194 637.855774 null]
>>
endobj
267 0 obj
<<
/D [19 0 R /XYZ 126.925194 356.725464 null]
>>
endobj
268 0 obj
<<
/D [11 0 R /XYZ 126.925194 171.834717 null]
>>
endobj
269 0 obj
<<
/D [19 0 R /XYZ 126.925194 99.8056 null]
>>
endobj
270 0 obj
<<
/D [20 0 R /XYZ 126.925194 421.045715 null]
>>
endobj
271 0 obj
<<
/D [20 0 R /XYZ 126.925194 184.361511 null]
>>
endobj
272 0 obj
<<
/D [21 0 R /XYZ 126.925194 560.406433 null]
>>
endobj
273 0 obj
<<
/D [21 0 R /XYZ 126.925194 476.814117 null]
>>
endobj
274 0 obj
<<
/D [21 0 R /XYZ 126.925194 291.0802 null]
>>
endobj
275 0 obj
<<
/D [21 0 R /XYZ 126.925194 252.295319 null]
>>
endobj
276 0 obj
<<
/D [21 0 R /XYZ 126.925194 136.904236 null]
>>
endobj
277 0 obj
<<
/D [22 0 R /XYZ 126.925194 99.8056 null]
>>
endobj
278 0 obj
<<
/D [23 0 R /XYZ 126.925194 655.682373 null]
>>
endobj
279 0 obj
<<
/D [12 0 R /XYZ 126.925194 304.329712 null]
>>
endobj
280 0 obj
<<
/D [23 0 R /XYZ 126.925194 577.389893 null]
>>
endobj
281 0 obj
<<
/D [23 0 R /XYZ 126.925194 492.954468 null]
>>
endobj
282 0 obj
<<
/D [23 0 R /XYZ 126.925194 391.294617 null]
>>
endobj
283 0 obj
<<
/D [23 0 R /XYZ 126.925194 130.038574 null]
>>
endobj
284 0 obj
<<
/D [24 0 R /XYZ 126.925194 531.618835 null]
>>
endobj
285 0 obj
<<
/D [24 0 R /XYZ 126.925194 459.951111 null]
>>
endobj
286 0 obj
<<
/D [25 0 R /XYZ 126.925194 474.284668 null]
>>
endobj
287 0 obj
<<
/D [25 0 R /XYZ 126.925194 216.642151 null]
>>
endobj
288 0 obj
<<
/D [26 0 R /XYZ 126.925194 540.29126 null]
>>
endobj
289 0 obj
<<
/D [27 0 R /XYZ 126.925194 649.900757 null]
>>
endobj
290 0 obj
<<
/D [12 0 R /XYZ 126.925194 109.562073 null]
>>
endobj
291 0 obj
<<
/D [27 0 R /XYZ 126.925194 540.773071 null]
>>
endobj
292 0 obj
<<
/D [27 0 R /XYZ 126.925194 171.593811 null]
>>
endobj
293 0 obj
<<
/D [28 0 R /XYZ 126.925194 635.5672 null]
>>
endobj
294 0 obj
<<
/D [29 0 R /XYZ 126.925194 400.689728 null]
>>
endobj
295 0 obj
<<
/D [31 0 R /XYZ 126.925194 272.169586 null]
>>
endobj
296 0 obj
<<
/D [32 0 R /XYZ 126.925194 250.60907 null]
>>
endobj
297 0 obj
<<
/D [33 0 R /XYZ 126.925194 176.532288 null]
>>
endobj
298 0 obj
<<
/D [34 0 R /XYZ 126.925194 619.788208 null]
>>
endobj
299 0 obj
<<
/D [34 0 R /XYZ 126.925194 283.130585 null]
>>
endobj
300 0 obj
<<
/D [35 0 R /XYZ 126.925194 661.825256 null]
>>
endobj
301 0 obj
<<
/D [14 0 R /XYZ 126.925194 176.170959 null]
>>
endobj
302 0 obj
<<
/D [35 0 R /XYZ 126.925194 162.439636 null]
>>
endobj
303 0 obj
<<
/D [36 0 R /XYZ 126.925194 432.488495 null]
>>
endobj
304 0 obj
<<
/D [37 0 R /XYZ 126.925194 505.119873 null]
>>
endobj
305 0 obj
<<
/D [39 0 R /XYZ 126.925194 410.446167 null]
>>
endobj
306 0 obj
<<
/D [39 0 R /XYZ 126.925194 273.976288 null]
>>
endobj
307 0 obj
<<
/D [39 0 R /XYZ 126.925194 145.215271 null]
>>
endobj
308 0 obj
<<
/D [40 0 R /XYZ 126.925194 475.24823 null]
>>
endobj
309 0 obj
<<
/D [40 0 R /XYZ 126.925194 333.59906 null]
>>
endobj
310 0 obj
<<
/D [42 0 R /XYZ 126.925194 522.344238 null]
>>
endobj
311 0 obj
<<
/D [47 0 R /XYZ 126.925194 281.564697 null]
>>
endobj
312 0 obj
<<
/D [15 0 R /XYZ 126.925194 661.343506 null]
>>
endobj
313 0 obj
<<
/D [48 0 R /XYZ 126.925194 558.117859 null]
>>
endobj
314 0 obj
<<
/D [48 0 R /XYZ 126.925194 262.172241 null]
>>
endobj
315 0 obj
<<
/D [50 0 R /XYZ 126.925194 158.103455 null]
>>
endobj
316 0 obj
<<
/D [51 0 R /XYZ 126.925194 519.092041 null]
>>
endobj
317 0 obj
<<
/D [51 0 R /XYZ 126.925194 427.309204 null]
>>
endobj
318 0 obj
<<
/D [51 0 R /XYZ 126.925194 131.12262 null]
>>
endobj
319 0 obj
<<
/D [53 0 R /XYZ 126.925194 315.531555 null]
>>
endobj
320 0 obj
<<
/D [58 0 R /XYZ 126.925194 397.558 null]
>>
endobj
321 0 obj
<<
/D [58 0 R /XYZ 126.925194 201.224548 null]
>>
endobj
322 0 obj
<<
/D [59 0 R /XYZ 126.925194 613.765747 null]
>>
endobj
323 0 obj
<<
/D [15 0 R /XYZ 126.925194 518.730713 null]
>>
endobj
324 0 obj
<<
/D [59 0 R /XYZ 126.925194 421.407104 null]
>>
endobj
325 0 obj
<<
/D [59 0 R /XYZ 126.925194 213.751282 null]
>>
endobj
326 0 obj
<<
/D [15 0 R /XYZ 126.925194 356.605 null]
>>
endobj
327 0 obj
<<
/D [15 0 R /XYZ 126.925194 99.3238525 null]
>>
endobj
328 0 obj
<<
/R7 877 0 R
>>
endobj
329 0 obj
<<
/R55 878 0 R
/R53 879 0 R
/R51 880 0 R
/R50 881 0 R
/R84 882 0 R
/R75 883 0 R
/R66 884 0 R
/R64 885 0 R
/R62 886 0 R
/R59 887 0 R
/R57 888 0 R
>>
endobj
330 0 obj
<<
/Type /Annot
/H /I
/Border [0 0 1]
/BS <<
/W 1
/D [2 6]
/S /D
>>
/C [0 1 1]
/Rect [37.62 254 10.94 594.62]
/A <<
/S /URI
/URI (http://arxiv.org/abs/2110.01114v1)
>>
/Subtype /Link
>>
endobj
331 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [365.844 273.564 395.436 282.396]
/Dest (cite.niwinski1996games)
/Subtype /Link
>>
endobj
332 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [398.484 273.564 437.316 282.516]
/Dest (cite.dax2006proof)
/Subtype /Link
>>
endobj
333 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [201.564 261.564 226.116 270.396]
/Dest (cite.brotherston2011sequent)
/Subtype /Link
>>
endobj
334 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [303.444 261.564 329.796 270.396]
/Dest (cite.das2017cut)
/Subtype /Link
>>
endobj
335 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [333.924 261.564 360.156 270.396]
/Dest (cite.DP18)
/Subtype /Link
>>
endobj
336 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [420.924 261.564 453.036 270.396]
/Dest (cite.baelde2016infinitary)
/Subtype /Link
>>
endobj
337 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [155.364 249.684 183.876 258.396]
/Dest (cite.das2018logical)
/Subtype /Link
>>
endobj
338 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [236.124 249.684 274.356 258.396]
/Dest (cite.Kuperberg-Pous21)
/Subtype /Link
>>
endobj
339 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [278.364 249.684 306.756 258.396]
/Dest (cite.Das2021)
/Subtype /Link
>>
endobj
340 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [454.164 249.684 483.516 258.396]
/Dest (cite.mints1978finite)
/Subtype /Link
>>
endobj
341 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [125.724 237.684 149.676 246.516]
/Dest (cite.fortier2013cuts)
/Subtype /Link
>>
endobj
342 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [219.324 237.684 257.556 246.516]
/Dest (cite.Kuperberg-Pous21)
/Subtype /Link
>>
endobj
343 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [281.724 237.684 310.236 246.516]
/Dest (cite.Das2021)
/Subtype /Link
>>
endobj
344 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/BS <<
/W 1
/S /S
>>
/Rect [295.884 165.924 329.076 174.756]
/Dest (cite.kuperberg2019cyclic)
/Subtype /Link
>>
endobj
345 0 obj
<<
/Length 6683
/Filter /FlateDecode
>>
stream
x]Kq6@義ةC7Vڒw dk3}_ʚI *32/"z _odw/~&q;%v;7szVn͟?LI)&!4?_}W𰒇;c[&8Eٲr'cvNIs9Ia?rNFˮ`&->=:I{/}kpmx'᭱a-|<_zGTۯfR5/z
Z3-bH66ղ-F;?E%'`˜Ps=^~F4h?
+Dq)M3V^v!z3
ZwTARm"Ym gҘD%D5av5C3;U?tH*`l7)ђiUys4-Ls?ɨ-T9Ъ7Dg‽r>!D +h"@r*M yGZ/0#h A74>>@zqNA҃P`k"6._ >?YoHj O3ޓM^N,IÞ ɔl$i-Q$T>W_+{ lQf^//Ѓt
@J5࢝[..O& Y}b7^2G]kyK^8fjrBgͻ>,Zmi
C@G3K`»HP>r=&! 90ME mZeh4g8
uTD<\<[bNrS'/{cł֞]<q;ɮpY">/foqU]w¬Sך[j瀌2cTsöD R[VRN-rja7sc?T-ÛP!Jrnnl:k%z'u#GsH1`÷Np8jq &քMG|
k g4%~:kkюVI/#dl{3r(i%8O:eLR2fYXDbNrES#{$1FF oL4QjNx 'BfO &?kxlrff}`Pd9krm.
_#K9a,MWʹ)HGp/g
Y=>骨_0~h6r1>g@\*:O8sC9Y5]z%1I]I5([sjb%`5)h|vX3TLpt\NkL#D!yȁB(5=@9cD[xm