%PDF-1.7
%
1 0 obj
<<
/AcroForm 2 0 R
/Lang (en)
/MarkInfo <<
/Marked false
>>
/Metadata 3 0 R
/Names <<
/Dests 4 0 R
/EmbeddedFiles 5 0 R
/JavaScript 5 0 R
>>
/OpenAction [6 0 R /FitH 10000]
/Outlines 7 0 R
/PageLabels <<
/Nums [0 8 0 R]
>>
/PageLayout /SinglePage
/PageMode /UseOutlines
/Pages 9 0 R
/SaveStreams <<
/Q 10 0 R
/q 11 0 R
>>
/StructTreeRoot 12 0 R
/Type /Catalog
>>
endobj
13 0 obj
<<
/Author (Antti Pakonen)
/CreationDate (D:20200911085857Z)
/Creator (Elsevier)
/CrossMarkDomains#5B1#5D (elsevier.com)
/CrossMarkDomains#5B2#5D (sciencedirect.com)
/CrossmarkDomainExclusive (true)
/CrossmarkMajorVersionDate (2010-04-23)
/ElsevierWebPDFSpecifications (7.0)
/Keywords (Model checking; I&c; Spurious failure; Model-based system engineering; )
/ModDate (D:20200911085857Z)
/Subject (Reliability Engineering and System Safety, 205 \(2020\) 107237. doi:10.1016/j.ress.2020.107237)
/Title (Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems)
/doi (10.1016/j.ress.2020.107237)
/robots (noindex)
>>
endobj
2 0 obj
<<
/DA (/Helv 0 Tf 0 g )
/DR <<
/Encoding <<
/PDFDocEncoding 14 0 R
>>
/Font <<
/Helv 15 0 R
/ZaDb 16 0 R
>>
>>
/Fields []
>>
endobj
3 0 obj
<<
/Length 7314
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.ress.2020.107237
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems
Antti Pakonen
I Buzhinsky
K Björkman
Model checking
I&c
Spurious failure
Model-based system engineering
Elsevier Ltd
Reliability Engineering and System Safety, 205 (2020) 107237. doi:10.1016/j.ress.2020.107237
journal
Reliability Engineering and System Safety
© 2020 The Authors. Published by Elsevier Ltd.
0951-8320
205
107237
107237
10.1016/j.ress.2020.107237
https://doi.org/10.1016/j.ress.2020.107237
2010-04-23
true
10.1016/j.ress.2020.107237
elsevier.com
sciencedirect.com
<6U7vcz9uRytyPzdqGn9uOyLNNmtiMlwiJnPiGodySytj7nPr9n9mJo9ePmdiQnMiLmtqTma/>
10.1016/j.ress.2020.107237
2010-04-23
true
noindex
elsevier.com
sciencedirect.com
VoR
Elsevier
2020-09-11T08:58:57Z
2020-09-11T08:58:57Z
2020-09-11T08:58:57Z
True
Model checking; I&c; Spurious failure; Model-based system engineering;
uuid:25202adc-9019-498d-9a0b-f71e52d609a4
uuid:7222f45e-ea6e-4875-a4ee-ad00f2786a31
http://creativecommons.org/licenses/BY/4.0/
endstream
endobj
4 0 obj
<<
/Kids [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]
>>
endobj
5 0 obj
<<
>>
endobj
6 0 obj
<<
/Annots [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]
/Contents [61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R]
/CropBox [0 0 595.276 793.701]
/MediaBox [0 0 595.276 793.701]
/Parent 69 0 R
/QInserted true
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 70 0 R]
/CS1 [/ICCBased 71 0 R]
>>
/Font <<
/C0_0 72 0 R
/T1_0 73 0 R
/T1_1 74 0 R
/T1_2 75 0 R
/T1_3 76 0 R
/T1_4 77 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/XObject <<
/Fm0 78 0 R
/Im0 79 0 R
/Im1 80 0 R
>>
>>
/Rotate 0
/StructParents 26
/Tabs /S
/Type /Page
>>
endobj
7 0 obj
<<
/Count 1
/First 81 0 R
/Last 81 0 R
>>
endobj
8 0 obj
<<
/S /D
>>
endobj
9 0 obj
<<
/Count 16
/Kids [69 0 R 82 0 R]
/Type /Pages
>>
endobj
10 0 obj
<<
/Length 3
>>
stream
Q
endstream
endobj
11 0 obj
<<
/Length 3
>>
stream
q
endstream
endobj
12 0 obj
<<
/K 83 0 R
/ParentTree 84 0 R
/ParentTreeNextKey 411
/Type /StructTreeRoot
>>
endobj
14 0 obj
<<
/Differences [24 /breve /caron /circumflex /dotaccent /hungarumlaut /ogonek /ring /tilde 39
/quotesingle 96 /grave 128 /bullet /dagger /daggerdbl /ellipsis /emdash /endash
/florin /fraction /guilsinglleft /guilsinglright /minus /perthousand /quotedblbase /quotedblleft /quotedblright /quoteleft
/quoteright /quotesinglbase /trademark /fi /fl /Lslash /OE /Scaron /Ydieresis /Zcaron
/dotlessi /lslash /oe /scaron /zcaron 160 /Euro 164 /currency 166
/brokenbar 168 /dieresis /copyright /ordfeminine 172 /logicalnot /.notdef /registered /macron
/degree /plusminus /twosuperior /threesuperior /acute /mu 183 /periodcentered /cedilla /onesuperior
/ordmasculine 188 /onequarter /onehalf /threequarters 192 /Agrave /Aacute /Acircumflex /Atilde
/Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute
/Icircumflex /Idieresis /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls /agrave /aacute
/acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis
/igrave /iacute /icircumflex /idieresis /eth /ntilde /ograve /oacute /ocircumflex /otilde
/odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis]
/Type /Encoding
>>
endobj
15 0 obj
<<
/BaseFont /Helvetica
/Encoding 14 0 R
/Name /Helv
/Subtype /Type1
/Type /Font
>>
endobj
16 0 obj
<<
/BaseFont /ZapfDingbats
/Name /ZaDb
/Subtype /Type1
/Type /Font
>>
endobj
17 0 obj
<<
/Limits [(aff0001) (bib0029)]
/Names [(aff0001) 85 0 R (aff0002) 86 0 R (aff0003) 87 0 R (bib0001) 88 0 R (bib0002) 89 0 R
(bib0003) 90 0 R (bib0004) 91 0 R (bib0005) 92 0 R (bib0006) 93 0 R (bib0007) 94 0 R
(bib0008) 95 0 R (bib0009) 96 0 R (bib0010) 97 0 R (bib0011) 98 0 R (bib0012) 99 0 R
(bib0013) 100 0 R (bib0014) 101 0 R (bib0015) 102 0 R (bib0016) 103 0 R (bib0017) 104 0 R
(bib0018) 105 0 R (bib0019) 106 0 R (bib0020) 107 0 R (bib0021) 108 0 R (bib0022) 109 0 R
(bib0023) 110 0 R (bib0024) 111 0 R (bib0025) 112 0 R (bib0026) 113 0 R (bib0027) 114 0 R
(bib0028) 115 0 R (bib0029) 116 0 R]
>>
endobj
18 0 obj
<<
/Limits [(bib0030) (bib0061)]
/Names [(bib0030) 117 0 R (bib0031) 118 0 R (bib0032) 119 0 R (bib0033) 120 0 R (bib0034) 121 0 R
(bib0035) 122 0 R (bib0036) 123 0 R (bib0037) 124 0 R (bib0038) 125 0 R (bib0039) 126 0 R
(bib0040) 127 0 R (bib0041) 128 0 R (bib0042) 129 0 R (bib0043) 130 0 R (bib0044) 131 0 R
(bib0045) 132 0 R (bib0046) 133 0 R (bib0047) 134 0 R (bib0048) 135 0 R (bib0049) 136 0 R
(bib0050) 137 0 R (bib0051) 138 0 R (bib0052) 139 0 R (bib0053) 140 0 R (bib0054) 141 0 R
(bib0055) 142 0 R (bib0056) 143 0 R (bib0057) 144 0 R (bib0058) 145 0 R (bib0059) 146 0 R
(bib0060) 147 0 R (bib0061) 148 0 R]
>>
endobj
19 0 obj
<<
/Limits [(bib0062) (crf0024)]
/Names [(bib0062) 149 0 R (bib0063) 150 0 R (bib0064) 151 0 R (bib0065) 152 0 R (bib0066) 153 0 R
(bib0067) 154 0 R (bib0068) 155 0 R (cor0001) 156 0 R (crf0001) 157 0 R (crf0002) 158 0 R
(crf0003) 159 0 R (crf0004) 160 0 R (crf0005) 161 0 R (crf0006) 162 0 R (crf0007) 163 0 R
(crf0008) 164 0 R (crf0009) 165 0 R (crf0010) 166 0 R (crf0011) 167 0 R (crf0012) 168 0 R
(crf0013) 169 0 R (crf0014) 170 0 R (crf0015) 171 0 R (crf0016) 172 0 R (crf0017) 173 0 R
(crf0018) 174 0 R (crf0019) 175 0 R (crf0020) 176 0 R (crf0021) 177 0 R (crf0022) 178 0 R
(crf0023) 179 0 R (crf0024) 180 0 R]
>>
endobj
20 0 obj
<<
/Limits [(crf0025) (crf0056)]
/Names [(crf0025) 181 0 R (crf0026) 182 0 R (crf0027) 183 0 R (crf0028) 184 0 R (crf0029) 185 0 R
(crf0030) 186 0 R (crf0031) 187 0 R (crf0032) 188 0 R (crf0033) 189 0 R (crf0034) 190 0 R
(crf0035) 191 0 R (crf0036) 192 0 R (crf0037) 193 0 R (crf0038) 194 0 R (crf0039) 195 0 R
(crf0040) 196 0 R (crf0041) 197 0 R (crf0042) 198 0 R (crf0043) 199 0 R (crf0044) 200 0 R
(crf0045) 201 0 R (crf0046) 202 0 R (crf0047) 203 0 R (crf0048) 204 0 R (crf0049) 205 0 R
(crf0050) 206 0 R (crf0051) 207 0 R (crf0052) 208 0 R (crf0053) 209 0 R (crf0054) 210 0 R
(crf0055) 211 0 R (crf0056) 212 0 R]
>>
endobj
21 0 obj
<<
/Limits [(crf0057) (crf0088)]
/Names [(crf0057) 213 0 R (crf0058) 214 0 R (crf0059) 215 0 R (crf0060) 216 0 R (crf0061) 217 0 R
(crf0062) 218 0 R (crf0063) 219 0 R (crf0064) 220 0 R (crf0065) 221 0 R (crf0066) 222 0 R
(crf0067) 223 0 R (crf0068) 224 0 R (crf0069) 225 0 R (crf0070) 226 0 R (crf0071) 227 0 R
(crf0072) 228 0 R (crf0073) 229 0 R (crf0074) 230 0 R (crf0075) 231 0 R (crf0076) 232 0 R
(crf0077) 233 0 R (crf0078) 234 0 R (crf0079) 235 0 R (crf0080) 236 0 R (crf0081) 237 0 R
(crf0082) 238 0 R (crf0083) 239 0 R (crf0084) 240 0 R (crf0085) 241 0 R (crf0086) 242 0 R
(crf0087) 243 0 R (crf0088) 244 0 R]
>>
endobj
22 0 obj
<<
/Limits [(crf0089) (crf0120)]
/Names [(crf0089) 245 0 R (crf0090) 246 0 R (crf0091) 247 0 R (crf0092) 248 0 R (crf0093) 249 0 R
(crf0094) 250 0 R (crf0095) 251 0 R (crf0096) 252 0 R (crf0097) 253 0 R (crf0098) 254 0 R
(crf0099) 255 0 R (crf0100) 256 0 R (crf0101) 257 0 R (crf0102) 258 0 R (crf0103) 259 0 R
(crf0104) 260 0 R (crf0105) 261 0 R (crf0106) 262 0 R (crf0107) 263 0 R (crf0108) 264 0 R
(crf0109) 265 0 R (crf0110) 266 0 R (crf0111) 267 0 R (crf0112) 268 0 R (crf0113) 269 0 R
(crf0114) 270 0 R (crf0115) 271 0 R (crf0116) 272 0 R (crf0117) 273 0 R (crf0118) 274 0 R
(crf0119) 275 0 R (crf0120) 276 0 R]
>>
endobj
23 0 obj
<<
/Limits [(crf0121) (crf0152)]
/Names [(crf0121) 277 0 R (crf0122) 278 0 R (crf0123) 279 0 R (crf0124) 280 0 R (crf0125) 281 0 R
(crf0126) 282 0 R (crf0127) 283 0 R (crf0128) 284 0 R (crf0129) 285 0 R (crf0130) 286 0 R
(crf0131) 287 0 R (crf0132) 288 0 R (crf0133) 289 0 R (crf0134) 290 0 R (crf0135) 291 0 R
(crf0136) 292 0 R (crf0137) 293 0 R (crf0138) 294 0 R (crf0139) 295 0 R (crf0140) 296 0 R
(crf0141) 297 0 R (crf0142) 298 0 R (crf0143) 299 0 R (crf0144) 300 0 R (crf0145) 301 0 R
(crf0146) 302 0 R (crf0147) 303 0 R (crf0148) 304 0 R (crf0149) 305 0 R (crf0150) 306 0 R
(crf0151) 307 0 R (crf0152) 308 0 R]
>>
endobj
24 0 obj
<<
/Limits [(crf0153) (crf0184)]
/Names [(crf0153) 309 0 R (crf0154) 310 0 R (crf0155) 311 0 R (crf0156) 312 0 R (crf0157) 313 0 R
(crf0158) 314 0 R (crf0159) 315 0 R (crf0160) 316 0 R (crf0161) 317 0 R (crf0162) 318 0 R
(crf0163) 319 0 R (crf0164) 320 0 R (crf0165) 321 0 R (crf0166) 322 0 R (crf0167) 323 0 R
(crf0168) 324 0 R (crf0169) 325 0 R (crf0170) 326 0 R (crf0171) 327 0 R (crf0172) 328 0 R
(crf0173) 329 0 R (crf0174) 330 0 R (crf0175) 331 0 R (crf0176) 332 0 R (crf0177) 333 0 R
(crf0178) 334 0 R (crf0179) 335 0 R (crf0180) 336 0 R (crf0181) 337 0 R (crf0182) 338 0 R
(crf0183) 339 0 R (crf0184) 340 0 R]
>>
endobj
25 0 obj
<<
/Limits [(crf0185) (crf0216)]
/Names [(crf0185) 341 0 R (crf0186) 342 0 R (crf0187) 343 0 R (crf0188) 344 0 R (crf0189) 345 0 R
(crf0190) 346 0 R (crf0191) 347 0 R (crf0192) 348 0 R (crf0193) 349 0 R (crf0194) 350 0 R
(crf0195) 351 0 R (crf0196) 352 0 R (crf0197) 353 0 R (crf0198) 354 0 R (crf0199) 355 0 R
(crf0200) 356 0 R (crf0201) 357 0 R (crf0202) 358 0 R (crf0203) 359 0 R (crf0204) 360 0 R
(crf0205) 361 0 R (crf0206) 362 0 R (crf0207) 363 0 R (crf0208) 364 0 R (crf0209) 365 0 R
(crf0210) 366 0 R (crf0211) 367 0 R (crf0212) 368 0 R (crf0213) 369 0 R (crf0214) 370 0 R
(crf0215) 371 0 R (crf0216) 372 0 R]
>>
endobj
26 0 obj
<<
/Limits [(crf0217) (fn0001)]
/Names [(crf0217) 373 0 R (crf0218) 374 0 R (crf0219) 375 0 R (crf0220) 376 0 R (crfs0001) 377 0 R
(crfs0002) 378 0 R (crfs0003) 379 0 R (crfs0004) 380 0 R (crfs0005) 381 0 R (crfs0006) 382 0 R
(crfs0007) 383 0 R (crfs0008) 384 0 R (eq0001) 385 0 R (eq0002) 386 0 R (eq0003) 387 0 R
(eq0004) 388 0 R (eq0005) 389 0 R (eq0006) 390 0 R (eq0007) 391 0 R (eq0008) 392 0 R
(eq0009) 393 0 R (eq0010) 394 0 R (eq0011) 395 0 R (fig0001) 396 0 R (fig0002) 397 0 R
(fig0003) 398 0 R (fig0004) 399 0 R (fig0005) 400 0 R (fig0006) 401 0 R (fig0007) 402 0 R
(fig0008) 403 0 R (fn0001) 404 0 R]
>>
endobj
27 0 obj
<<
/Limits [(fn0002) (p0006)]
/Names [(fn0002) 405 0 R (fn0003) 406 0 R (fn0004) 407 0 R (fn0005) 408 0 R (mk:H1_1) 409 0 R
(mk:H1_13) 410 0 R (mk:H1_16) 411 0 R (mk:H1_2) 412 0 R (mk:H1_20) 413 0 R (mk:H1_21) 414 0 R
(mk:H1_22) 415 0 R (mk:H1_23) 416 0 R (mk:H1_24) 417 0 R (mk:H1_25) 418 0 R (mk:H1_7) 419 0 R
(mk:H2_10) 420 0 R (mk:H2_11) 421 0 R (mk:H2_12) 422 0 R (mk:H2_14) 423 0 R (mk:H2_15) 424 0 R
(mk:H2_17) 425 0 R (mk:H2_18) 426 0 R (mk:H2_19) 427 0 R (mk:H2_3) 428 0 R (mk:H2_4) 429 0 R
(mk:H2_5) 430 0 R (mk:H2_6) 431 0 R (mk:H2_8) 432 0 R (mk:H2_9) 433 0 R (mk:title) 434 0 R
(p0005) 435 0 R (p0006) 436 0 R]
>>
endobj
28 0 obj
<<
/Limits [(p0007) (p0047)]
/Names [(p0007) 437 0 R (p0008) 438 0 R (p0009) 439 0 R (p0010) 440 0 R (p0011) 441 0 R
(p0012) 442 0 R (p0013) 443 0 R (p0014) 444 0 R (p0015) 445 0 R (p0016) 446 0 R
(p0017) 447 0 R (p0018) 448 0 R (p0019) 449 0 R (p0024) 450 0 R (p0025) 451 0 R
(p0031) 452 0 R (p0032) 453 0 R (p0033) 454 0 R (p0034) 455 0 R (p0035) 456 0 R
(p0036) 457 0 R (p0037) 458 0 R (p0038) 459 0 R (p0039) 460 0 R (p0040) 461 0 R
(p0041) 462 0 R (p0042) 463 0 R (p0043) 464 0 R (p0044) 465 0 R (p0045) 466 0 R
(p0046) 467 0 R (p0047) 468 0 R]
>>
endobj
29 0 obj
<<
/Limits [(p0048) (p0084)]
/Names [(p0048) 469 0 R (p0049) 470 0 R (p0050) 471 0 R (p0051) 472 0 R (p0052) 473 0 R
(p0053) 474 0 R (p0054) 475 0 R (p0055) 476 0 R (p0056) 477 0 R (p0057) 478 0 R
(p0058) 479 0 R (p0059) 480 0 R (p0060) 481 0 R (p0061) 482 0 R (p0062) 483 0 R
(p0063) 484 0 R (p0064) 485 0 R (p0065) 486 0 R (p0066) 487 0 R (p0067) 488 0 R
(p0068) 489 0 R (p0069) 490 0 R (p0070) 491 0 R (p0076) 492 0 R (p0077) 493 0 R
(p0078) 494 0 R (p0079) 495 0 R (p0080) 496 0 R (p0081) 497 0 R (p0082) 498 0 R
(p0083) 499 0 R (p0084) 500 0 R]
>>
endobj
30 0 obj
<<
/Limits [(p0085) (p0123)]
/Names [(p0085) 501 0 R (p0088) 502 0 R (p0089) 503 0 R (p0090) 504 0 R (p0091) 505 0 R
(p0092) 506 0 R (p0093) 507 0 R (p0094) 508 0 R (p0095) 509 0 R (p0096) 510 0 R
(p0097) 511 0 R (p0098) 512 0 R (p0099) 513 0 R (p0103) 514 0 R (p0104) 515 0 R
(p0105) 516 0 R (p0106) 517 0 R (p0107) 518 0 R (p0110) 519 0 R (p0111) 520 0 R
(p0112) 521 0 R (p0113) 522 0 R (p0114) 523 0 R (p0115) 524 0 R (p0116) 525 0 R
(p0117) 526 0 R (p0118) 527 0 R (p0119) 528 0 R (p0120) 529 0 R (p0121) 530 0 R
(p0122) 531 0 R (p0123) 532 0 R]
>>
endobj
31 0 obj
<<
/Limits [(p0124) (p0162)]
/Names [(p0124) 533 0 R (p0125) 534 0 R (p0126) 535 0 R (p0127) 536 0 R (p0128) 537 0 R
(p0129) 538 0 R (p0130) 539 0 R (p0131) 540 0 R (p0132) 541 0 R (p0133) 542 0 R
(p0134) 543 0 R (p0135) 544 0 R (p0136) 545 0 R (p0137) 546 0 R (p0138) 547 0 R
(p0139) 548 0 R (p0140) 549 0 R (p0141) 550 0 R (p0145) 551 0 R (p0146) 552 0 R
(p0147) 553 0 R (p0148) 554 0 R (p0149) 555 0 R (p0150) 556 0 R (p0156) 557 0 R
(p0157) 558 0 R (p0158) 559 0 R (p0159) 560 0 R (p0159a) 561 0 R (p0160) 562 0 R
(p0161) 563 0 R (p0162) 564 0 R]
>>
endobj
32 0 obj
<<
/Limits [(sctt0025) (tbl0006)]
/Names [(sctt0025) 565 0 R (sctt0027) 566 0 R (sec0001) 567 0 R (sec0002) 568 0 R (sec0003) 569 0 R
(sec0004) 570 0 R (sec0005) 571 0 R (sec0006) 572 0 R (sec0007) 573 0 R (sec0008) 574 0 R
(sec0009) 575 0 R (sec0010) 576 0 R (sec0011) 577 0 R (sec0012) 578 0 R (sec0013) 579 0 R
(sec0014) 580 0 R (sec0015) 581 0 R (sec0016) 582 0 R (sec0017) 583 0 R (sec0018) 584 0 R
(sec0019) 585 0 R (sec0020) 586 0 R (sec0021) 587 0 R (sec0021a) 588 0 R (sec0022) 589 0 R
(tbl0001) 590 0 R (tbl0002) 591 0 R (tbl0003) 592 0 R (tbl0004) 593 0 R (tbl0005) 594 0 R
(tbl0006) 595 0 R]
>>
endobj
33 0 obj
<<
/A 596 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [322.243 723.798 369.978 731.792]
/StructParent 0
/Subtype /Link
/Type /Annot
>>
endobj
34 0 obj
<<
/A 597 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [277.852 668.013 401.499 676.006]
/StructParent 1
/Subtype /Link
/Type /Annot
>>
endobj
35 0 obj
<<
/A 598 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [37.5874 730.091 37.5874 742.054]
/StructParent 2
/Subtype /Link
/Type /Annot
>>
endobj
36 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (cor0001)
/F 4
/P 6 0 R
/Rect [104.655 581.896 108.624 592.441]
/StructParent 3
/Subtype /Link
/Type /Annot
>>
endobj
37 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0001)
/F 4
/P 6 0 R
/Rect [110.835 580.762 114.86 591.364]
/StructParent 4
/Subtype /Link
/Type /Annot
>>
endobj
38 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0002)
/F 4
/P 6 0 R
/Rect [176.315 580.762 180.68 591.364]
/StructParent 5
/Subtype /Link
/Type /Annot
>>
endobj
39 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0003)
/F 4
/P 6 0 R
/Rect [182.891 580.762 186.576 591.364]
/StructParent 6
/Subtype /Link
/Type /Annot
>>
endobj
40 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0001)
/F 4
/P 6 0 R
/Rect [248.655 580.762 252.68 591.364]
/StructParent 7
/Subtype /Link
/Type /Annot
>>
endobj
41 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0001)
/F 4
/P 6 0 R
/Rect [98.4189 301.323 109.644 309.317]
/StructParent 8
/Subtype /Link
/Type /Annot
>>
endobj
42 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0002)
/F 4
/P 6 0 R
/Rect [66.5575 290.891 77.7827 298.828]
/StructParent 9
/Subtype /Link
/Type /Annot
>>
endobj
43 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0002)
/F 4
/P 6 0 R
/Rect [236.239 290.891 247.465 298.828]
/StructParent 10
/Subtype /Link
/Type /Annot
>>
endobj
44 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0003)
/F 4
/P 6 0 R
/Rect [244.403 259.483 255.628 267.477]
/StructParent 11
/Subtype /Link
/Type /Annot
>>
endobj
45 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0004)
/F 4
/P 6 0 R
/Rect [67.5213 238.564 78.7465 246.557]
/StructParent 12
/Subtype /Link
/Type /Annot
>>
endobj
46 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0005)
/F 4
/P 6 0 R
/Rect [86.1165 217.644 97.3417 225.638]
/StructParent 13
/Subtype /Link
/Type /Annot
>>
endobj
47 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0002)
/F 4
/P 6 0 R
/Rect [66.4441 196.724 77.6693 204.718]
/StructParent 14
/Subtype /Link
/Type /Annot
>>
endobj
48 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0006)
/F 4
/P 6 0 R
/Rect [143.49 196.724 154.715 204.718]
/StructParent 15
/Subtype /Link
/Type /Annot
>>
endobj
49 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0006)
/F 4
/P 6 0 R
/Rect [156.076 175.805 167.301 183.798]
/StructParent 16
/Subtype /Link
/Type /Annot
>>
endobj
50 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0001)
/F 4
/P 6 0 R
/Rect [363.005 322.243 374.23 330.236]
/StructParent 17
/Subtype /Link
/Type /Annot
>>
endobj
51 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0001)
/F 4
/P 6 0 R
/Rect [474.69 290.891 485.915 298.828]
/StructParent 18
/Subtype /Link
/Type /Annot
>>
endobj
52 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0003)
/F 4
/P 6 0 R
/Rect [374.4 269.972 385.625 277.909]
/StructParent 19
/Subtype /Link
/Type /Annot
>>
endobj
53 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0007)
/F 4
/P 6 0 R
/Rect [356.088 217.644 367.313 225.638]
/StructParent 20
/Subtype /Link
/Type /Annot
>>
endobj
54 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (bib0002)
/F 4
/P 6 0 R
/Rect [468.113 196.724 479.339 204.718]
/StructParent 21
/Subtype /Link
/Type /Annot
>>
endobj
55 0 obj
<<
/A 598 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [37.5874 75.515 179.036 82.715]
/StructParent 22
/Subtype /Link
/Type /Annot
>>
endobj
56 0 obj
<<
/A 599 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [103.294 92.0693 169.058 99.2693]
/StructParent 23
/Subtype /Link
/Type /Annot
>>
endobj
57 0 obj
<<
/A 600 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [217.644 92.0693 294.066 99.2693]
/StructParent 24
/Subtype /Link
/Type /Annot
>>
endobj
58 0 obj
<<
/A 601 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 6 0 R
/Rect [345.6 92.0693 412.044 99.2693]
/StructParent 25
/Subtype /Link
/Type /Annot
>>
endobj
59 0 obj
<<
/A 602 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [193.677 747.911 414.163 760.893]
/Subtype /Link
/Type /Annot
>>
endobj
60 0 obj
<<
/A 603 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [499.585 605.96 536.505 623.99]
/Subtype /Link
/Type /Annot
>>
endobj
61 0 obj
<<
/Length 1256
/Filter /FlateDecode
>>
stream
HV[k\7~?IZRC`PjkRlFg'FHsfF_w5~DDڑUYr6V=N>G]54P75Ƥcfi뗓Qd$m|y;usD:U7!!2=!c$f*fajpAa- )Sd%H9%qkFlKj2R%t`KY3{mNhƏ(Ѷx^z
p
L7%k䁞D ~f?aSiѨ/Ǧ㴸r~A=%hJaAŒ4Zdk-bmrWq²Xcaҋ+uQWІ3tve56Im*VҋOPP̡Vm`j(=%Z#_qgzD(AO)fzRq-&Xr[d/~CiR|57Xm(0UbUʎxkǜ6-KvFw