%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author ()
/CreationDate (D:20170522203718+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20170531110347+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.16 \(TeX Live 2015/Debian\) kpathsea version 6.2.1)
/Producer (pdfTeX-1.40.16)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3826
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2017-05-22T20:37:18+01:00
LaTeX with hyperref package
2017-05-31T11:03:47+01:00
2017-05-31T11:03:47+01:00
pdfTeX-1.40.16
False
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) kpathsea version 6.2.1
uuid:21a3b7c8-eeb5-4b43-8286-a9f687a23c73
uuid:2ccf0bde-8b74-493a-8765-194544f9a999
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 7
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 19
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R]
/Limits [(AMS.1) (theorem.B.28)]
>>
endobj
9 0 obj
<<
/Annots [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]
/Contents [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R]
/CropBox [0 0 595.276 841.89]
/MediaBox [0 0 595.276 841.89]
/Parent 12 0 R
/Resources 37 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 38 0 R
/Next 39 0 R
/Parent 5 0 R
/Title (Introduction)
>>
endobj
11 0 obj
<<
/A 40 0 R
/Parent 5 0 R
/Prev 41 0 R
/Title (Missing proofs in Section 5)
>>
endobj
12 0 obj
<<
/Count 7
/Kids [42 0 R 9 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 6
/Kids [54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
/Limits [(AMS.1) (cite.kupkekurzvenema2004stone)]
>>
endobj
16 0 obj
<<
/Kids [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R]
/Limits [(cite.lawson2011stably) (subsection.4.1)]
>>
endobj
17 0 obj
<<
/Kids [72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R]
/Limits [(subsection.4.2) (theorem.B.28)]
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://dx.doi.org/10.4230/LIPIcs.CALCO.2017.14)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [198.198 482.814 333.403 494.271]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/D (cite.abramsky87a)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [302.054 432.95 309.027 441.216]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.jung13a)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [362.773 394.096 369.747 402.362]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.jung06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [414.942 342.227 421.916 350.493]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.lawson2011stably)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [425.825 342.227 437.78 350.493]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.jung06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [364.682 329.275 371.656 337.542]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (section.4)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [316.059 145.338 323.033 157.294]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://creativecommons.org/licenses/by/3.0/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [89.712 88.512 131.299 95.309]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (page.18)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [340.147 71.216 350.082 79.369]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://www.dagstuhl.de/lipics/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [157.448 63.246 328.206 71.399]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://www.dagstuhl.de)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [157.448 55.276 449.775 63.429]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/Length 625
/Filter /FlateDecode
>>
stream
H|Tn0+H×HG )
{Jr`dVcɮ,hKSqGj9ܝRd07 ;/ٵ