%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /FitH 800]
/Outlines 5 0 R
/PageLabels 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author ()
/CreationDate (D:20200120103633+05'30')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20200203092048+01'00')
/Producer (Technische Universiteit Delft)
/Subject ()
/Title ()
>>
endobj
2 0 obj
<<
/Length 4135
/Subtype /XML
/Type /Metadata
>>
stream
Technische Universiteit Delft
2020-01-20T10:36:33+05:30
LaTeX with hyperref package
2020-02-03T09:20:48+01:00
2020-02-03T09:20:48+01:00
application/pdf
https://doi.org/10.1017/S0956796819000182
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
Technische Universiteit Delft
uuid:92a1bf24-0a8d-45aa-af9b-2ea9fa6b5127
uuid:df70978e-0553-41e5-a56e-d8e308c9feda
endstream
endobj
3 0 obj
<<
/Dests 9 0 R
>>
endobj
4 0 obj
<<
/Annots [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]
/Contents [22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R]
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Parent 30 0 R
/Resources 31 0 R
/Rotate 0
/Type /Page
>>
endobj
5 0 obj
<<
/Count 27
/First 32 0 R
/Last 32 0 R
>>
endobj
6 0 obj
<<
/Nums [0 33 0 R]
>>
endobj
7 0 obj
<<
/Count 44
/Kids [30 0 R 34 0 R 35 0 R 36 0 R 37 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [38 0 R 39 0 R 40 0 R 41 0 R]
>>
endobj
10 0 obj
<<
/A <<
/S /URI
/URI (http://creativecommons.org/licenses/by/4.0/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [227.379 652.179 360.582 660.795]
/Subtype /Link
/Type /Annot
>>
endobj
11 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0956796819000182)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [70.077 634.692 162.348 641.868]
/Subtype /Link
/Type /Annot
>>
endobj
12 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0003-3862-4073)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [274.467 541.236 285.468 552.228]
/Subtype /Link
/Type /Annot
>>
endobj
13 0 obj
<<
/A <<
/S /URI
/URI (mailto:jesper@sikanda.be)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [214.338 506.586 288.24 515.22]
/Subtype /Link
/Type /Annot
>>
endobj
14 0 obj
<<
/A <<
/S /URI
/URI (mailto:andreas.abel@gu.se)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [212.223 463.746 290.355 472.38]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.agda253)
/H /I
/Rect [284.772 172.353 305.676 184.308]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.inria:coq87)
/H /I
/Rect [369.831 172.353 390.735 184.308]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.brady:jfp13)
/H /I
/Rect [61.437 159.402 82.341 171.357]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.deMoura:cade15)
/H /I
/Rect [207.156 159.402 228.06 171.357]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A 42 0 R
/Border [0 0 0]
/Rect [24.251999 15.849609 135.774 23.774414]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A 43 0 R
/Border [0 0 0]
/Rect [138.942 15.849609 264.762 23.774414]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A 44 0 R
/Border [0 0 0]
/Rect [69.804 23.774414 162.582 31.699219]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/Length 727
/Filter /FlateDecode
>>
stream
HtTMo0+8klnJF
*%9a.5DIl Dcf3yAa3 !
ˇ iB?eirbZl6V>:*
(3 )?`0{E
K. ;ElH8e'h5s#8Imdvgt(~Tfy6jdAJ(A^^Ο(:n8uAETѻUsje*Xp1 310QI'&V%.V_Ieڵq3FUXmwk}~%蠥v\v]4e09)#0,{{zTc{SL≍ə4'yk14t@UI"PxN_SKy"8:3Ea`b5nսL_Lﳋ%U>'?fep!PotA2ԛ_\
֙:ŎlgngzDJBTLDoy݀\"a$(s.ծ7Un@AZu݂d
tme|&C_>/i;),[8S S{/kBo]_@M t_F
endstream
endobj
23 0 obj
<<
/Length 662
/Filter /FlateDecode
>>
stream
HlTMo1WH^iHiݜJf HH@ZwY/KT!o