%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/Outlines 4 0 R
/PageLabels 5 0 R
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/CreationDate (D:20230428060219-04'00')
/Creator (Arbortext Advanced Print Publisher 9.1.405/W Unicode)
/ModDate (D:20230607034809+00'00')
/Producer (Acrobat Distiller 10.0.0 \(Windows\))
/Title (Formal Verification, Scientific Code, and the Epistemological Heterogeneity of Computational Science)
>>
endobj
2 0 obj
<<
/Length 1790
/Subtype /XML
/Type /Metadata
>>
stream
Arbortext Advanced Print Publisher 9.1.405/W Unicode
2023-06-07T03:48:09+00:00
2023-06-07T03:48:09+00:00
Acrobat Distiller 10.0.0 (Windows)
application/pdf
Formal Verification, Scientific Code, and the Epistemological Heterogeneity of Computational Science
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/psa.2022.78
https://doi.org/10.1017/psa.2022.78 Published online by Cambridge University Press
uuid:d33b823f-0949-44dc-8247-9fd57ed66dc5
uuid:d63160b3-25b1-4765-a8e1-3bd6381b8dd7
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/Count 1
/First 9 0 R
/Last 9 0 R
>>
endobj
5 0 obj
<<
/Nums [0 10 0 R]
>>
endobj
6 0 obj
<<
/Count 19
/Kids [11 0 R 12 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [13 0 R 14 0 R 15 0 R]
>>
endobj
9 0 obj
<<
/Count -9
/Dest
/First 16 0 R
/Last 17 0 R
/Parent 4 0 R
/Title
>>
endobj
10 0 obj
<<
/S /D
/St 376
>>
endobj
11 0 obj
<<
/Count 10
/Kids [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]
/Parent 6 0 R
/Type /Pages
>>
endobj
12 0 obj
<<
/Count 9
/Kids [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]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Limits [ ]
/Names [ 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 61 0 R
62 0 R 63 0 R 64 0 R 65 0 R 66 0 R
67 0 R 68 0 R 69 0 R 70 0 R 71 0 R
72 0 R 73 0 R 74 0 R 75 0 R 76 0 R
77 0 R 78 0 R 79 0 R 80 0 R 81 0 R
82 0 R 83 0 R 84 0 R 85 0 R 86 0 R
87 0 R 88 0 R 89 0 R 90 0 R 91 0 R
92 0 R 93 0 R 94 0 R 95 0 R 96 0 R
97 0 R 98 0 R 99 0 R 100 0 R]
>>
endobj
14 0 obj
<<
/Limits [ ]
/Names [ 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R
106 0 R 107 0 R 108 0 R 109 0 R 110 0 R
111 0 R 112 0 R 113 0 R 114 0 R 115 0 R
116 0 R 117 0 R 118 0 R 119 0 R 120 0 R
121 0 R 122 0 R 123 0 R 124 0 R 125 0 R
126 0 R 127 0 R 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 154 0 R 155 0 R
156 0 R 157 0 R 158 0 R 159 0 R 160 0 R
161 0 R 162 0 R 163 0 R 164 0 R]
>>
endobj
15 0 obj
<<
/Limits [ ]
/Names [ 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R
170 0 R 171 0 R 172 0 R 173 0 R 174 0 R
175 0 R 176 0 R]
>>
endobj
16 0 obj
<<
/Dest
/Next 177 0 R
/Parent 9 0 R
/Title
>>
endobj
17 0 obj
<<
/Dest
/Parent 9 0 R
/Prev 178 0 R
/Title
>>
endobj
18 0 obj
<<
/Annots [179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R]
/Contents [186 0 R 187 0 R 188 0 R 189 0 R 190 0 R 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 196 0 R
/Rotate 0
/Type /Page
>>
endobj
19 0 obj
<<
/Annots [197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R
207 0 R 208 0 R 209 0 R 210 0 R 211 0 R]
/Contents [212 0 R 213 0 R 214 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 215 0 R
/Rotate 0
/Type /Page
>>
endobj
20 0 obj
<<
/Annots [216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R
226 0 R 227 0 R 228 0 R 229 0 R]
/Contents [230 0 R 231 0 R 232 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 233 0 R
/Rotate 0
/Type /Page
>>
endobj
21 0 obj
<<
/Annots [234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R]
/Contents [240 0 R 241 0 R 242 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 243 0 R
/Rotate 0
/Type /Page
>>
endobj
22 0 obj
<<
/Annots [244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R 250 0 R 251 0 R 252 0 R 253 0 R]
/Contents [254 0 R 255 0 R 256 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 257 0 R
/Rotate 0
/Type /Page
>>
endobj
23 0 obj
<<
/Annots [258 0 R 259 0 R 260 0 R 261 0 R 262 0 R 263 0 R 264 0 R 265 0 R 266 0 R 267 0 R
268 0 R 269 0 R 270 0 R 271 0 R]
/Contents [272 0 R 273 0 R 274 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 275 0 R
/Rotate 0
/Type /Page
>>
endobj
24 0 obj
<<
/Annots [276 0 R 277 0 R 278 0 R 279 0 R 280 0 R 281 0 R 282 0 R 283 0 R]
/Contents [284 0 R 285 0 R 286 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 287 0 R
/Rotate 0
/Type /Page
>>
endobj
25 0 obj
<<
/Annots [288 0 R 289 0 R 290 0 R 291 0 R]
/Contents [292 0 R 293 0 R 294 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 295 0 R
/Rotate 0
/Type /Page
>>
endobj
26 0 obj
<<
/Annots [296 0 R 297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R]
/Contents [303 0 R 304 0 R 305 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 306 0 R
/Rotate 0
/Type /Page
>>
endobj
27 0 obj
<<
/Annots [307 0 R 308 0 R 309 0 R 310 0 R]
/Contents [311 0 R 312 0 R 313 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 11 0 R
/Resources 314 0 R
/Rotate 0
/Type /Page
>>
endobj
28 0 obj
<<
/Annots [315 0 R 316 0 R 317 0 R 318 0 R 319 0 R]
/Contents [320 0 R 321 0 R 322 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 323 0 R
/Rotate 0
/Type /Page
>>
endobj
29 0 obj
<<
/Annots [324 0 R 325 0 R 326 0 R 327 0 R]
/Contents [328 0 R 329 0 R 330 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 331 0 R
/Rotate 0
/Type /Page
>>
endobj
30 0 obj
<<
/Annots [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]
/Contents [341 0 R 342 0 R 343 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 344 0 R
/Rotate 0
/Type /Page
>>
endobj
31 0 obj
<<
/Annots [345 0 R 346 0 R]
/Contents [347 0 R 348 0 R 349 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 350 0 R
/Rotate 0
/Type /Page
>>
endobj
32 0 obj
<<
/Annots [351 0 R 352 0 R 353 0 R 354 0 R]
/Contents [355 0 R 356 0 R 357 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 358 0 R
/Rotate 0
/Type /Page
>>
endobj
33 0 obj
<<
/Annots [359 0 R 360 0 R]
/Contents [361 0 R 362 0 R 363 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 364 0 R
/Rotate 0
/Type /Page
>>
endobj
34 0 obj
<<
/Annots [365 0 R 366 0 R 367 0 R 368 0 R 369 0 R]
/Contents [370 0 R 371 0 R 372 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 373 0 R
/Rotate 0
/Type /Page
>>
endobj
35 0 obj
<<
/Annots [374 0 R 375 0 R 376 0 R 377 0 R]
/Contents [378 0 R 379 0 R 380 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 381 0 R
/Rotate 0
/Type /Page
>>
endobj
36 0 obj
<<
/Annots [382 0 R 383 0 R]
/Contents [384 0 R 385 0 R 386 0 R]
/CropBox [0 0 432 648]
/MediaBox [0 0 432 648]
/Parent 12 0 R
/Resources 387 0 R
/Rotate 0
/Type /Page
>>
endobj
37 0 obj
<<
/D [34 0 R /FitR 0 597 432 44]
>>
endobj
38 0 obj
<<
/D [18 0 R /FitR 0 597 432 44]
>>
endobj
39 0 obj
<<
/D [19 0 R /FitR 0 597 432 44]
>>
endobj
40 0 obj
<<
/D [22 0 R /FitR 0 597 432 44]
>>
endobj
41 0 obj
<<
/D [25 0 R /FitR 0 597 432 44]
>>
endobj
42 0 obj
<<
/D [28 0 R /FitR 0 597 432 44]
>>
endobj
43 0 obj
<<
/D [30 0 R /FitR 0 597 432 44]
>>
endobj
44 0 obj
<<
/D [32 0 R /FitR 0 597 432 44]
>>
endobj
45 0 obj
<<
/D [33 0 R /FitR 0 597 432 44]
>>
endobj
46 0 obj
<<
/D [18 0 R /FitR 0 648 432 0]
>>
endobj
47 0 obj
<<
/D [18 0 R /FitR 0 574 432 574]
>>
endobj
48 0 obj
<<
/D [22 0 R /FitR 0 184 432 184]
>>
endobj
49 0 obj
<<
/D [23 0 R /FitR 0 194 432 194]
>>
endobj
50 0 obj
<<
/D [25 0 R /FitR 0 194 432 194]
>>
endobj
51 0 obj
<<
/D [26 0 R /FitR 0 184 432 184]
>>
endobj
52 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
53 0 obj
<<
/D [34 0 R /FitR 0 512 432 512]
>>
endobj
54 0 obj
<<
/D [34 0 R /FitR 0 502 432 502]
>>
endobj
55 0 obj
<<
/D [34 0 R /FitR 0 482 432 482]
>>
endobj
56 0 obj
<<
/D [34 0 R /FitR 0 462 432 462]
>>
endobj
57 0 obj
<<
/D [34 0 R /FitR 0 442 432 442]
>>
endobj
58 0 obj
<<
/D [34 0 R /FitR 0 412 432 412]
>>
endobj
59 0 obj
<<
/D [34 0 R /FitR 0 392 432 392]
>>
endobj
60 0 obj
<<
/D [34 0 R /FitR 0 382 432 382]
>>
endobj
61 0 obj
<<
/D [34 0 R /FitR 0 362 432 362]
>>
endobj
62 0 obj
<<
/D [34 0 R /FitR 0 342 432 342]
>>
endobj
63 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
64 0 obj
<<
/D [34 0 R /FitR 0 332 432 332]
>>
endobj
65 0 obj
<<
/D [34 0 R /FitR 0 322 432 322]
>>
endobj
66 0 obj
<<
/D [34 0 R /FitR 0 302 432 302]
>>
endobj
67 0 obj
<<
/D [34 0 R /FitR 0 262 432 262]
>>
endobj
68 0 obj
<<
/D [34 0 R /FitR 0 232 432 232]
>>
endobj
69 0 obj
<<
/D [34 0 R /FitR 0 212 432 212]
>>
endobj
70 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
71 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
72 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
73 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
74 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
75 0 obj
<<
/D [35 0 R /FitR 0 635 432 635]
>>
endobj
76 0 obj
<<
/D [35 0 R /FitR 0 625 432 625]
>>
endobj
77 0 obj
<<
/D [35 0 R /FitR 0 605 432 605]
>>
endobj
78 0 obj
<<
/D [35 0 R /FitR 0 595 432 595]
>>
endobj
79 0 obj
<<
/D [35 0 R /FitR 0 575 432 575]
>>
endobj
80 0 obj
<<
/D [35 0 R /FitR 0 555 432 555]
>>
endobj
81 0 obj
<<
/D [35 0 R /FitR 0 535 432 535]
>>
endobj
82 0 obj
<<
/D [35 0 R /FitR 0 515 432 515]
>>
endobj
83 0 obj
<<
/D [35 0 R /FitR 0 495 432 495]
>>
endobj
84 0 obj
<<
/D [35 0 R /FitR 0 485 432 485]
>>
endobj
85 0 obj
<<
/D [34 0 R /FitR 0 632 432 632]
>>
endobj
86 0 obj
<<
/D [35 0 R /FitR 0 475 432 475]
>>
endobj
87 0 obj
<<
/D [35 0 R /FitR 0 465 432 465]
>>
endobj
88 0 obj
<<
/D [35 0 R /FitR 0 445 432 445]
>>
endobj
89 0 obj
<<
/D [35 0 R /FitR 0 425 432 425]
>>
endobj
90 0 obj
<<
/D [35 0 R /FitR 0 405 432 405]
>>
endobj
91 0 obj
<<
/D [35 0 R /FitR 0 385 432 385]
>>
endobj
92 0 obj
<<
/D [35 0 R /FitR 0 365 432 365]
>>
endobj
93 0 obj
<<
/D [35 0 R /FitR 0 335 432 335]
>>
endobj
94 0 obj
<<
/D [35 0 R /FitR 0 315 432 315]
>>
endobj
95 0 obj
<<
/D [35 0 R /FitR 0 295 432 295]
>>
endobj
96 0 obj
<<
/D [34 0 R /FitR 0 612 432 612]
>>
endobj
97 0 obj
<<
/D [35 0 R /FitR 0 275 432 275]
>>
endobj
98 0 obj
<<
/D [35 0 R /FitR 0 255 432 255]
>>
endobj
99 0 obj
<<
/D [35 0 R /FitR 0 245 432 245]
>>
endobj
100 0 obj
<<
/D [35 0 R /FitR 0 225 432 225]
>>
endobj
101 0 obj
<<
/D [35 0 R /FitR 0 205 432 205]
>>
endobj
102 0 obj
<<
/D [35 0 R /FitR 0 185 432 185]
>>
endobj
103 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
104 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
105 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
106 0 obj
<<
/D [34 0 R /FitR 0 592 432 592]
>>
endobj
107 0 obj
<<
/D [34 0 R /FitR 0 572 432 572]
>>
endobj
108 0 obj
<<
/D [34 0 R /FitR 0 552 432 552]
>>
endobj
109 0 obj
<<
/D [34 0 R /FitR 0 532 432 532]
>>
endobj
110 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
111 0 obj
<<
/D [34 0 R /FitR 0 512 432 512]
>>
endobj
112 0 obj
<<
/D [34 0 R /FitR 0 502 432 502]
>>
endobj
113 0 obj
<<
/D [34 0 R /FitR 0 482 432 482]
>>
endobj
114 0 obj
<<
/D [34 0 R /FitR 0 462 432 462]
>>
endobj
115 0 obj
<<
/D [34 0 R /FitR 0 442 432 442]
>>
endobj
116 0 obj
<<
/D [34 0 R /FitR 0 412 432 412]
>>
endobj
117 0 obj
<<
/D [34 0 R /FitR 0 392 432 392]
>>
endobj
118 0 obj
<<
/D [34 0 R /FitR 0 382 432 382]
>>
endobj
119 0 obj
<<
/D [34 0 R /FitR 0 362 432 362]
>>
endobj
120 0 obj
<<
/D [34 0 R /FitR 0 342 432 342]
>>
endobj
121 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
122 0 obj
<<
/D [34 0 R /FitR 0 332 432 332]
>>
endobj
123 0 obj
<<
/D [34 0 R /FitR 0 322 432 322]
>>
endobj
124 0 obj
<<
/D [34 0 R /FitR 0 302 432 302]
>>
endobj
125 0 obj
<<
/D [34 0 R /FitR 0 262 432 262]
>>
endobj
126 0 obj
<<
/D [34 0 R /FitR 0 232 432 232]
>>
endobj
127 0 obj
<<
/D [34 0 R /FitR 0 212 432 212]
>>
endobj
128 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
129 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
130 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
131 0 obj
<<
/D [35 0 R /FitR 0 648 432 648]
>>
endobj
132 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
133 0 obj
<<
/D [35 0 R /FitR 0 635 432 635]
>>
endobj
134 0 obj
<<
/D [35 0 R /FitR 0 625 432 625]
>>
endobj
135 0 obj
<<
/D [35 0 R /FitR 0 605 432 605]
>>
endobj
136 0 obj
<<
/D [35 0 R /FitR 0 595 432 595]
>>
endobj
137 0 obj
<<
/D [35 0 R /FitR 0 575 432 575]
>>
endobj
138 0 obj
<<
/D [35 0 R /FitR 0 555 432 555]
>>
endobj
139 0 obj
<<
/D [35 0 R /FitR 0 535 432 535]
>>
endobj
140 0 obj
<<
/D [35 0 R /FitR 0 515 432 515]
>>
endobj
141 0 obj
<<
/D [35 0 R /FitR 0 495 432 495]
>>
endobj
142 0 obj
<<
/D [35 0 R /FitR 0 485 432 485]
>>
endobj
143 0 obj
<<
/D [34 0 R /FitR 0 632 432 632]
>>
endobj
144 0 obj
<<
/D [35 0 R /FitR 0 475 432 475]
>>
endobj
145 0 obj
<<
/D [35 0 R /FitR 0 465 432 465]
>>
endobj
146 0 obj
<<
/D [35 0 R /FitR 0 445 432 445]
>>
endobj
147 0 obj
<<
/D [35 0 R /FitR 0 425 432 425]
>>
endobj
148 0 obj
<<
/D [35 0 R /FitR 0 405 432 405]
>>
endobj
149 0 obj
<<
/D [35 0 R /FitR 0 385 432 385]
>>
endobj
150 0 obj
<<
/D [35 0 R /FitR 0 365 432 365]
>>
endobj
151 0 obj
<<
/D [35 0 R /FitR 0 335 432 335]
>>
endobj
152 0 obj
<<
/D [35 0 R /FitR 0 315 432 315]
>>
endobj
153 0 obj
<<
/D [35 0 R /FitR 0 295 432 295]
>>
endobj
154 0 obj
<<
/D [34 0 R /FitR 0 612 432 612]
>>
endobj
155 0 obj
<<
/D [35 0 R /FitR 0 275 432 275]
>>
endobj
156 0 obj
<<
/D [35 0 R /FitR 0 255 432 255]
>>
endobj
157 0 obj
<<
/D [35 0 R /FitR 0 245 432 245]
>>
endobj
158 0 obj
<<
/D [35 0 R /FitR 0 225 432 225]
>>
endobj
159 0 obj
<<
/D [35 0 R /FitR 0 205 432 205]
>>
endobj
160 0 obj
<<
/D [35 0 R /FitR 0 185 432 185]
>>
endobj
161 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
162 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
163 0 obj
<<
/D [36 0 R /FitR 0 648 432 648]
>>
endobj
164 0 obj
<<
/D [34 0 R /FitR 0 592 432 592]
>>
endobj
165 0 obj
<<
/D [34 0 R /FitR 0 572 432 572]
>>
endobj
166 0 obj
<<
/D [34 0 R /FitR 0 552 432 552]
>>
endobj
167 0 obj
<<
/D [34 0 R /FitR 0 532 432 532]
>>
endobj
168 0 obj
<<
/D [34 0 R /FitR 0 648 432 648]
>>
endobj
169 0 obj
<<
/D [18 0 R /FitR 0 393 432 393]
>>
endobj
170 0 obj
<<
/D [19 0 R /FitR 0 303 432 303]
>>
endobj
171 0 obj
<<
/D [22 0 R /FitR 0 648 432 648]
>>
endobj
172 0 obj
<<
/D [25 0 R /FitR 0 291 432 291]
>>
endobj
173 0 obj
<<
/D [28 0 R /FitR 0 432 432 432]
>>
endobj
174 0 obj
<<
/D [30 0 R /FitR 0 327 432 327]
>>
endobj
175 0 obj
<<
/D [32 0 R /FitR 0 632 432 632]
>>
endobj
176 0 obj
<<
/D [33 0 R /FitR 0 479 432 479]
>>
endobj
177 0 obj
<<
/Dest
/Next 388 0 R
/Parent 9 0 R
/Prev 16 0 R
/Title
>>
endobj
178 0 obj
<<
/Dest
/Next 17 0 R
/Parent 9 0 R
/Prev 389 0 R
/Title
>>
endobj
179 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0003-2313-3458)
>>
/Border [0 0 0]
/Rect [117.128 477.524 123.25 487.502]
/Subtype /Link
/Type /Annot
>>
endobj
180 0 obj
<<
/A <<
/S /URI
/URI (mailto:cyrille.imbert@univ-lorraine.fr)
>>
/Border [0 0 0]
/Rect [152.617 441.014 254.211 449.008]
/Subtype /Link
/Type /Annot
>>
endobj
181 0 obj
<<
/Border [0 0 0]
/Dest
/Rect [230.457 232.554 248.768 242.306]
/Subtype /Link
/Type /Annot
>>
endobj
182 0 obj
<<
/Border [0 0 0]
/Dest
/Rect [110.381 185.499 128.693 195.25]
/Subtype /Link
/Type /Annot
>>
endobj
183 0 obj
<<
/A <<
/S /URI
/URI (http://creativecommons.org/licenses/by-nc-nd/4.0/)
>>
/Border [0 0 0]
/Rect [117.071 65.991 269.008 73.021]
/Subtype /Link
/Type /Annot
>>
endobj
184 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1017/psa.2022.78)
>>
/Border [0 0 0]
/Rect [61.285 594.822 125.972 602.816]
/Subtype /Link
/Type /Annot
>>
endobj
185 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 7.132324 109.152 15.057129]
/Border [0 0 0]
/A 390 0 R
>>
endobj
186 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
187 0 obj
<<
/Filter /FlateDecode
/Length 609
>>
stream
HLTMo0W 3#R5m
aKCk&{,1`?R)e}yﷇwٰܘ-RK,|0Ol;k~Y[O1Pad78;
;2詖?51zZT?Ӱvs)-{nek97G)L9 $0%|O(uYq
b_/?JUh5<'40Ά\J1q%- xQ: "Qt' 53:]Jir\4`ZBtfYʼn_ S1
\o,|b
e%+&1˹=Q\AoĤZI6M9tŇE3zT@߱$4WԢژ
!jdHJ[Ta 3Hj
2|]uȍNO}Io8r
jR(?;>ewQo6ǭ.I%y ?
endstream
endobj
188 0 obj
<<
/Filter /FlateDecode
/Length 606
>>
stream
H|SMO0A#v➺݂ЊM{YqY/V7/q\&{ޛf3r!E|1ƳF}u]5-ɹm[7>@R
*IK-]c5Y~lGtPCVə m;lf>ǥR:+kHjf'Agݐαl<@&"@.v76 CSMB*Z֦ʒX.A%xCdMs@o
p;h煡HSMq[:(*UÇEaBRxxC85-73y_;E$ds1=ϗʮFWi`U5 x1Ϛ 5#V"[0~oˉ&*)fKsVI r[T@$O'
*PPUOTJI9eYP)Jl1)@`1sXx|
@A0װ"-@\;܇~b)Z9l2,@Z0snIwӢQ
}C'ErIu$
endstream
endobj
189 0 obj
<<
/Filter /FlateDecode
/Length 698
>>
stream
HTTn0+tHC=F|,^(d@Q1%8^>fvvgVeweX)kqWU֫y&ʋDhJA7eGX^VJ!("&{lj gpk^];S2