%PDF-1.7
%
1 0 obj
<<
/AcroForm 2 0 R
/Lang (en)
/Metadata 3 0 R
/Names <<
/Dests 4 0 R
/EmbeddedFiles 5 0 R
/JavaScript 5 0 R
>>
/OCProperties <<
/D <<
/OFF []
/Order [6 0 R]
/RBGroups []
>>
/OCGs [6 0 R]
>>
/OpenAction [7 0 R /FitH 10000]
/Outlines 8 0 R
/PageLabels <<
/Nums [0 9 0 R]
>>
/PageLayout /SinglePage
/PageMode /UseOutlines
/Pages 10 0 R
/SaveStreams <<
/Q 11 0 R
/q 12 0 R
>>
/Type /Catalog
>>
endobj
13 0 obj
<<
/Author (Jeff Smits)
/CreationDate (D:20200329015628Z)
/Creator (Elsevier)
/CrossMarkDomains#5B1#5D (elsevier.com)
/CrossMarkDomains#5B2#5D (sciencedirect.com)
/CrossmarkDomainExclusive (true)
/CrossmarkMajorVersionDate (2010-04-23)
/ElsevierWebPDFSpecifications (6.5)
/Keywords ()
/ModDate (D:20200329015628Z)
/Subject (Journal of Computer Languages, 57 \(2020\) 100924. doi:10.1016/j.cola.2019.100924)
/Title (FlowSpec_ A declarative specification language for intra-procedural flow-Sensitive data-flow analysis)
/doi (10.1016/j.cola.2019.100924)
/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 6896
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.cola.2019.100924
FlowSpec_ A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
Jeff Smits
Guido Wachsmuth
Eelco Visser
Elsevier
Journal of Computer Languages, 57 (2020) 100924. doi:10.1016/j.cola.2019.100924
journal
Journal of Computer Languages
© 2019 The Authors. Published by Elsevier Ltd.
2590-1184
57
100924
100924
10.1016/j.cola.2019.100924
https://doi.org/10.1016/j.cola.2019.100924
2010-04-23
true
10.1016/j.cola.2019.100924
elsevier.com
sciencedirect.com
10.1016/j.cola.2019.100924
2010-04-23
true
noindex
elsevier.com
sciencedirect.com
VoR
Elsevier
2020-03-29T01:56:28Z
2020-03-29T01:56:28Z
2020-03-29T01:56:28Z
True
uuid:3267ec29-c04d-4ac8-9139-03703491ae4f
uuid:680ee6fb-e89e-485a-9897-a7de47942099
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 33 0 R 34 0 R 35 0 R]
>>
endobj
5 0 obj
<<
>>
endobj
6 0 obj
<<
/Intent [/View /Design]
/Name (Layer 1)
/Type /OCG
/Usage 36 0 R
>>
endobj
7 0 obj
<<
/Annots [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]
/Contents [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R]
/CropBox [0 0 595.276 793.701]
/MediaBox [0 0 595.276 793.701]
/Parent 58 0 R
/QInserted true
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 59 0 R]
/CS1 [/Separation /macblue /DeviceCMYK 60 0 R]
/CS2 [/ICCBased 61 0 R]
>>
/Font <<
/C0_0 62 0 R
/T1_0 63 0 R
/T1_1 64 0 R
/T1_2 65 0 R
/T1_3 66 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/XObject <<
/Fm0 67 0 R
/Im0 68 0 R
/Im1 69 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
8 0 obj
<<
/Count 1
/First 70 0 R
/Last 70 0 R
>>
endobj
9 0 obj
<<
/S /D
>>
endobj
10 0 obj
<<
/Count 40
/Kids [58 0 R 71 0 R 72 0 R 73 0 R]
/Type /Pages
>>
endobj
11 0 obj
<<
/Length 3
>>
stream
Q
endstream
endobj
12 0 obj
<<
/Length 3
>>
stream
q
endstream
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 [(ack0001) (bib0029)]
/Names [(ack0001) 74 0 R (aff0001) 75 0 R (aff0002) 76 0 R (bib0001) 77 0 R (bib0002) 78 0 R
(bib0003) 79 0 R (bib0004) 80 0 R (bib0005) 81 0 R (bib0006) 82 0 R (bib0007) 83 0 R
(bib0008) 84 0 R (bib0009) 85 0 R (bib0010) 86 0 R (bib0011) 87 0 R (bib0012) 88 0 R
(bib0013) 89 0 R (bib0014) 90 0 R (bib0015) 91 0 R (bib0016) 92 0 R (bib0017) 93 0 R
(bib0018) 94 0 R (bib0019) 95 0 R (bib0020) 96 0 R (bib0021) 97 0 R (bib0022) 98 0 R
(bib0023) 99 0 R (bib0024) 100 0 R (bib0025) 101 0 R (bib0026) 102 0 R (bib0027) 103 0 R
(bib0028) 104 0 R (bib0029) 105 0 R]
>>
endobj
18 0 obj
<<
/Limits [(bib0030) (crf0008)]
/Names [(bib0030) 106 0 R (bib0031) 107 0 R (bib0032) 108 0 R (bib0033) 109 0 R (bib0034) 110 0 R
(bib0035) 111 0 R (bib0036) 112 0 R (bib0037) 113 0 R (bib0038) 114 0 R (bib0039) 115 0 R
(bib0040) 116 0 R (bib0041) 117 0 R (bib0042) 118 0 R (bib0043) 119 0 R (bib0044) 120 0 R
(bib0045) 121 0 R (bib0046) 122 0 R (bib0047) 123 0 R (bib0048) 124 0 R (bib0049) 125 0 R
(bib0050) 126 0 R (bib0051) 127 0 R (bib0052) 128 0 R (cor0001) 129 0 R (crf0001) 130 0 R
(crf0002) 131 0 R (crf0003) 132 0 R (crf0004) 133 0 R (crf0005) 134 0 R (crf0006) 135 0 R
(crf0007) 136 0 R (crf0008) 137 0 R]
>>
endobj
19 0 obj
<<
/Limits [(crf0009) (crf0040)]
/Names [(crf0009) 138 0 R (crf0010) 139 0 R (crf0011) 140 0 R (crf0012) 141 0 R (crf0013) 142 0 R
(crf0014) 143 0 R (crf0015) 144 0 R (crf0016) 145 0 R (crf0017) 146 0 R (crf0018) 147 0 R
(crf0019) 148 0 R (crf0020) 149 0 R (crf0021) 150 0 R (crf0022) 151 0 R (crf0023) 152 0 R
(crf0024) 153 0 R (crf0025) 154 0 R (crf0026) 155 0 R (crf0027) 156 0 R (crf0028) 157 0 R
(crf0029) 158 0 R (crf0030) 159 0 R (crf0031) 160 0 R (crf0032) 161 0 R (crf0033) 162 0 R
(crf0034) 163 0 R (crf0035) 164 0 R (crf0036) 165 0 R (crf0037) 166 0 R (crf0038) 167 0 R
(crf0039) 168 0 R (crf0040) 169 0 R]
>>
endobj
20 0 obj
<<
/Limits [(crf0041) (crf0072)]
/Names [(crf0041) 170 0 R (crf0042) 171 0 R (crf0043) 172 0 R (crf0044) 173 0 R (crf0045) 174 0 R
(crf0046) 175 0 R (crf0047) 176 0 R (crf0048) 177 0 R (crf0049) 178 0 R (crf0050) 179 0 R
(crf0051) 180 0 R (crf0052) 181 0 R (crf0053) 182 0 R (crf0054) 183 0 R (crf0055) 184 0 R
(crf0056) 185 0 R (crf0057) 186 0 R (crf0058) 187 0 R (crf0059) 188 0 R (crf0060) 189 0 R
(crf0061) 190 0 R (crf0062) 191 0 R (crf0063) 192 0 R (crf0064) 193 0 R (crf0065) 194 0 R
(crf0066) 195 0 R (crf0067) 196 0 R (crf0068) 197 0 R (crf0069) 198 0 R (crf0070) 199 0 R
(crf0071) 200 0 R (crf0072) 201 0 R]
>>
endobj
21 0 obj
<<
/Limits [(crf0073) (crf0104)]
/Names [(crf0073) 202 0 R (crf0074) 203 0 R (crf0075) 204 0 R (crf0076) 205 0 R (crf0077) 206 0 R
(crf0078) 207 0 R (crf0079) 208 0 R (crf0080) 209 0 R (crf0081) 210 0 R (crf0082) 211 0 R
(crf0083) 212 0 R (crf0084) 213 0 R (crf0085) 214 0 R (crf0086) 215 0 R (crf0087) 216 0 R
(crf0088) 217 0 R (crf0089) 218 0 R (crf0090) 219 0 R (crf0091) 220 0 R (crf0092) 221 0 R
(crf0093) 222 0 R (crf0094) 223 0 R (crf0095) 224 0 R (crf0096) 225 0 R (crf0097) 226 0 R
(crf0098) 227 0 R (crf0099) 228 0 R (crf0100) 229 0 R (crf0101) 230 0 R (crf0102) 231 0 R
(crf0103) 232 0 R (crf0104) 233 0 R]
>>
endobj
22 0 obj
<<
/Limits [(crf0105) (fig0006)]
/Names [(crf0105) 234 0 R (crf0106) 235 0 R (crf0107) 236 0 R (crf0108) 237 0 R (crf0109) 238 0 R
(crf0110) 239 0 R (crf0111) 240 0 R (crf0112) 241 0 R (crf0113) 242 0 R (crf0114) 243 0 R
(crf0115) 244 0 R (crf0116) 245 0 R (crf0117) 246 0 R (crf0118) 247 0 R (crf0119) 248 0 R
(crf0120) 249 0 R (crf0121) 250 0 R (crf0122) 251 0 R (crf0123) 252 0 R (crf0124) 253 0 R
(crf0125) 254 0 R (crf0126) 255 0 R (crf0127) 256 0 R (crf0128) 257 0 R (crfs0001) 258 0 R
(crfs0002) 259 0 R (fig0001) 260 0 R (fig0002) 261 0 R (fig0003) 262 0 R (fig0004) 263 0 R
(fig0005) 264 0 R (fig0006) 265 0 R]
>>
endobj
23 0 obj
<<
/Limits [(fig0007) (fig0038)]
/Names [(fig0007) 266 0 R (fig0008) 267 0 R (fig0009) 268 0 R (fig0010) 269 0 R (fig0011) 270 0 R
(fig0012) 271 0 R (fig0013) 272 0 R (fig0014) 273 0 R (fig0015) 274 0 R (fig0016) 275 0 R
(fig0017) 276 0 R (fig0018) 277 0 R (fig0019) 278 0 R (fig0020) 279 0 R (fig0021) 280 0 R
(fig0022) 281 0 R (fig0023) 282 0 R (fig0024) 283 0 R (fig0025) 284 0 R (fig0026) 285 0 R
(fig0027) 286 0 R (fig0028) 287 0 R (fig0029) 288 0 R (fig0030) 289 0 R (fig0031) 290 0 R
(fig0032) 291 0 R (fig0033) 292 0 R (fig0034) 293 0 R (fig0035) 294 0 R (fig0036) 295 0 R
(fig0037) 296 0 R (fig0038) 297 0 R]
>>
endobj
24 0 obj
<<
/Limits [(fig0039) (mk:H1_31)]
/Names [(fig0039) 298 0 R (fig0040) 299 0 R (fig0041) 300 0 R (fig0042) 301 0 R (fig0043) 302 0 R
(fig0044) 303 0 R (fig0045) 304 0 R (fig0046) 305 0 R (fig0047) 306 0 R (fig0048) 307 0 R
(fig0049) 308 0 R (fig0050) 309 0 R (fig0051) 310 0 R (fig0052) 311 0 R (fig0053) 312 0 R
(fig0054) 313 0 R (fig0055) 314 0 R (fig0056) 315 0 R (fig0057) 316 0 R (fig0058) 317 0 R
(fig0059) 318 0 R (fig0060) 319 0 R (fn0001) 320 0 R (fn0002) 321 0 R (fn0003) 322 0 R
(fn0004) 323 0 R (fn0005) 324 0 R (fn0006) 325 0 R (mk:H1_1) 326 0 R (mk:H1_13) 327 0 R
(mk:H1_26) 328 0 R (mk:H1_31) 329 0 R]
>>
endobj
25 0 obj
<<
/Limits [(mk:H1_38) (mk:H2_25)]
/Names [(mk:H1_38) 330 0 R (mk:H1_4) 331 0 R (mk:H1_53) 332 0 R (mk:H1_62) 333 0 R (mk:H1_67) 334 0 R
(mk:H1_68) 335 0 R (mk:H1_69) 336 0 R (mk:H1_70) 337 0 R (mk:H1_71) 338 0 R (mk:H1_72) 339 0 R
(mk:H1_73) 340 0 R (mk:H1_74) 341 0 R (mk:H1_75) 342 0 R (mk:H1_76) 343 0 R (mk:H1_77) 344 0 R
(mk:H1_78) 345 0 R (mk:H2_10) 346 0 R (mk:H2_11) 347 0 R (mk:H2_12) 348 0 R (mk:H2_14) 349 0 R
(mk:H2_15) 350 0 R (mk:H2_16) 351 0 R (mk:H2_17) 352 0 R (mk:H2_18) 353 0 R (mk:H2_19) 354 0 R
(mk:H2_2) 355 0 R (mk:H2_20) 356 0 R (mk:H2_21) 357 0 R (mk:H2_22) 358 0 R (mk:H2_23) 359 0 R
(mk:H2_24) 360 0 R (mk:H2_25) 361 0 R]
>>
endobj
26 0 obj
<<
/Limits [(mk:H2_27) (mk:H2_59)]
/Names [(mk:H2_27) 362 0 R (mk:H2_28) 363 0 R (mk:H2_29) 364 0 R (mk:H2_3) 365 0 R (mk:H2_30) 366 0 R
(mk:H2_32) 367 0 R (mk:H2_33) 368 0 R (mk:H2_34) 369 0 R (mk:H2_35) 370 0 R (mk:H2_36) 371 0 R
(mk:H2_37) 372 0 R (mk:H2_39) 373 0 R (mk:H2_40) 374 0 R (mk:H2_41) 375 0 R (mk:H2_42) 376 0 R
(mk:H2_43) 377 0 R (mk:H2_44) 378 0 R (mk:H2_45) 379 0 R (mk:H2_46) 380 0 R (mk:H2_47) 381 0 R
(mk:H2_48) 382 0 R (mk:H2_49) 383 0 R (mk:H2_5) 384 0 R (mk:H2_50) 385 0 R (mk:H2_51) 386 0 R
(mk:H2_52) 387 0 R (mk:H2_54) 388 0 R (mk:H2_55) 389 0 R (mk:H2_56) 390 0 R (mk:H2_57) 391 0 R
(mk:H2_58) 392 0 R (mk:H2_59) 393 0 R]
>>
endobj
27 0 obj
<<
/Limits [(mk:H2_6) (p0032)]
/Names [(mk:H2_6) 394 0 R (mk:H2_60) 395 0 R (mk:H2_61) 396 0 R (mk:H2_63) 397 0 R (mk:H2_64) 398 0 R
(mk:H2_65) 399 0 R (mk:H2_66) 400 0 R (mk:H2_7) 401 0 R (mk:H2_8) 402 0 R (mk:H2_9) 403 0 R
(mk:title) 404 0 R (p0006) 405 0 R (p0007) 406 0 R (p0008) 407 0 R (p0009) 408 0 R
(p0010) 409 0 R (p0011) 410 0 R (p0012) 411 0 R (p0013) 412 0 R (p0014) 413 0 R
(p0015) 414 0 R (p0022) 415 0 R (p0023) 416 0 R (p0024) 417 0 R (p0025) 418 0 R
(p0026) 419 0 R (p0027) 420 0 R (p0028) 421 0 R (p0029) 422 0 R (p0030) 423 0 R
(p0031) 424 0 R (p0032) 425 0 R]
>>
endobj
28 0 obj
<<
/Limits [(p0033) (p0074)]
/Names [(p0033) 426 0 R (p0034) 427 0 R (p0035) 428 0 R (p0040) 429 0 R (p0041) 430 0 R
(p0042) 431 0 R (p0043) 432 0 R (p0044) 433 0 R (p0045) 434 0 R (p0046) 435 0 R
(p0047) 436 0 R (p0048) 437 0 R (p0049) 438 0 R (p0050) 439 0 R (p0051) 440 0 R
(p0052) 441 0 R (p0053) 442 0 R (p0054) 443 0 R (p0061) 444 0 R (p0062) 445 0 R
(p0063) 446 0 R (p0064) 447 0 R (p0065) 448 0 R (p0066) 449 0 R (p0067) 450 0 R
(p0068) 451 0 R (p0069) 452 0 R (p0070) 453 0 R (p0071) 454 0 R (p0072) 455 0 R
(p0073) 456 0 R (p0074) 457 0 R]
>>
endobj
29 0 obj
<<
/Limits [(p0075) (p0106)]
/Names [(p0075) 458 0 R (p0076) 459 0 R (p0077) 460 0 R (p0078) 461 0 R (p0079) 462 0 R
(p0080) 463 0 R (p0081) 464 0 R (p0082) 465 0 R (p0083) 466 0 R (p0084) 467 0 R
(p0085) 468 0 R (p0086) 469 0 R (p0087) 470 0 R (p0088) 471 0 R (p0089) 472 0 R
(p0090) 473 0 R (p0091) 474 0 R (p0092) 475 0 R (p0093) 476 0 R (p0094) 477 0 R
(p0095) 478 0 R (p0096) 479 0 R (p0097) 480 0 R (p0098) 481 0 R (p0099) 482 0 R
(p0100) 483 0 R (p0101) 484 0 R (p0102) 485 0 R (p0103) 486 0 R (p0104) 487 0 R
(p0105) 488 0 R (p0106) 489 0 R]
>>
endobj
30 0 obj
<<
/Limits [(p0107) (p0138)]
/Names [(p0107) 490 0 R (p0108) 491 0 R (p0109) 492 0 R (p0110) 493 0 R (p0111) 494 0 R
(p0112) 495 0 R (p0113) 496 0 R (p0114) 497 0 R (p0115) 498 0 R (p0116) 499 0 R
(p0117) 500 0 R (p0118) 501 0 R (p0119) 502 0 R (p0120) 503 0 R (p0121) 504 0 R
(p0122) 505 0 R (p0123) 506 0 R (p0124) 507 0 R (p0125) 508 0 R (p0126) 509 0 R
(p0127) 510 0 R (p0128) 511 0 R (p0129) 512 0 R (p0130) 513 0 R (p0131) 514 0 R
(p0132) 515 0 R (p0133) 516 0 R (p0134) 517 0 R (p0135) 518 0 R (p0136) 519 0 R
(p0137) 520 0 R (p0138) 521 0 R]
>>
endobj
31 0 obj
<<
/Limits [(p0139) (p0180)]
/Names [(p0139) 522 0 R (p0140) 523 0 R (p0141) 524 0 R (p0142) 525 0 R (p0143) 526 0 R
(p0144) 527 0 R (p0145) 528 0 R (p0146) 529 0 R (p0147) 530 0 R (p0148) 531 0 R
(p0149) 532 0 R (p0150) 533 0 R (p0151) 534 0 R (p0152) 535 0 R (p0153) 536 0 R
(p0154) 537 0 R (p0155) 538 0 R (p0156) 539 0 R (p0157) 540 0 R (p0158) 541 0 R
(p0169) 542 0 R (p0170) 543 0 R (p0171) 544 0 R (p0172) 545 0 R (p0173) 546 0 R
(p0174) 547 0 R (p0175) 548 0 R (p0176) 549 0 R (p0177) 550 0 R (p0178) 551 0 R
(p0179) 552 0 R (p0180) 553 0 R]
>>
endobj
32 0 obj
<<
/Limits [(p0181) (p0212)]
/Names [(p0181) 554 0 R (p0182) 555 0 R (p0183) 556 0 R (p0184) 557 0 R (p0185) 558 0 R
(p0186) 559 0 R (p0187) 560 0 R (p0188) 561 0 R (p0189) 562 0 R (p0190) 563 0 R
(p0191) 564 0 R (p0192) 565 0 R (p0193) 566 0 R (p0194) 567 0 R (p0195) 568 0 R
(p0196) 569 0 R (p0197) 570 0 R (p0198) 571 0 R (p0199) 572 0 R (p0200) 573 0 R
(p0201) 574 0 R (p0202) 575 0 R (p0203) 576 0 R (p0204) 577 0 R (p0205) 578 0 R
(p0206) 579 0 R (p0207) 580 0 R (p0208) 581 0 R (p0209) 582 0 R (p0210) 583 0 R
(p0211) 584 0 R (p0212) 585 0 R]
>>
endobj
33 0 obj
<<
/Limits [(p0213) (sec0015)]
/Names [(p0213) 586 0 R (p0214) 587 0 R (p0215) 588 0 R (p0216) 589 0 R (p0217) 590 0 R
(p0219) 591 0 R (p0220) 592 0 R (p0221) 593 0 R (p0222) 594 0 R (p0223) 595 0 R
(p0224) 596 0 R (p0225) 597 0 R (p0226) 598 0 R (p0227) 599 0 R (p0228) 600 0 R
(sctt0073) 601 0 R (sctt0082) 602 0 R (sec0001) 603 0 R (sec0002) 604 0 R (sec0003) 605 0 R
(sec0004) 606 0 R (sec0005) 607 0 R (sec0006) 608 0 R (sec0007) 609 0 R (sec0008) 610 0 R
(sec0009) 611 0 R (sec0010) 612 0 R (sec0011) 613 0 R (sec0012) 614 0 R (sec0013) 615 0 R
(sec0014) 616 0 R (sec0015) 617 0 R]
>>
endobj
34 0 obj
<<
/Limits [(sec0016) (sec0047)]
/Names [(sec0016) 618 0 R (sec0017) 619 0 R (sec0018) 620 0 R (sec0019) 621 0 R (sec0020) 622 0 R
(sec0021) 623 0 R (sec0022) 624 0 R (sec0023) 625 0 R (sec0024) 626 0 R (sec0025) 627 0 R
(sec0026) 628 0 R (sec0027) 629 0 R (sec0028) 630 0 R (sec0029) 631 0 R (sec0030) 632 0 R
(sec0031) 633 0 R (sec0032) 634 0 R (sec0033) 635 0 R (sec0034) 636 0 R (sec0035) 637 0 R
(sec0036) 638 0 R (sec0037) 639 0 R (sec0038) 640 0 R (sec0039) 641 0 R (sec0040) 642 0 R
(sec0041) 643 0 R (sec0042) 644 0 R (sec0043) 645 0 R (sec0044) 646 0 R (sec0045) 647 0 R
(sec0046) 648 0 R (sec0047) 649 0 R]
>>
endobj
35 0 obj
<<
/Limits [(sec0048) (ueq0001)]
/Names [(sec0048) 650 0 R (sec0049) 651 0 R (sec0050) 652 0 R (sec0051) 653 0 R (sec0052) 654 0 R
(sec0053) 655 0 R (sec0054) 656 0 R (sec0055) 657 0 R (sec0056) 658 0 R (sec0057) 659 0 R
(sec0058) 660 0 R (sec0059) 661 0 R (sec0060) 662 0 R (sec0061) 663 0 R (sec0062) 664 0 R
(sec0063) 665 0 R (sec0064) 666 0 R (sec0065) 667 0 R (sec0066) 668 0 R (sec0067) 669 0 R
(sec0068) 670 0 R (sec0069) 671 0 R (sec0070) 672 0 R (sec0071) 673 0 R (sec0072) 674 0 R
(sec0073) 675 0 R (sec0074) 676 0 R (sec0075) 677 0 R (ueq0001) 678 0 R]
>>
endobj
36 0 obj
<<
/CreatorInfo <<
/Creator (Adobe Illustrator 22.1)
/Subtype /Artwork
>>
>>
endobj
37 0 obj
<<
/A 679 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [322.243 723.798 369.978 731.792]
/Subtype /Link
/Type /Annot
>>
endobj
38 0 obj
<<
/A 680 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [245.65 668.013 433.757 676.006]
/Subtype /Link
/Type /Annot
>>
endobj
39 0 obj
<<
/A 681 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [37.5874 730.091 37.5874 742.054]
/Subtype /Link
/Type /Annot
>>
endobj
40 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (cor0001)
/F 4
/P 7 0 R
/Rect [83.7921 580.762 87.7606 591.364]
/Subtype /Link
/Type /Annot
>>
endobj
41 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0001)
/F 4
/P 7 0 R
/Rect [89.9717 580.762 93.9969 591.364]
/Subtype /Link
/Type /Annot
>>
endobj
42 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0002)
/F 4
/P 7 0 R
/Rect [187.257 580.762 191.679 591.364]
/Subtype /Link
/Type /Annot
>>
endobj
43 0 obj
<<
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/Dest (aff0001)
/F 4
/P 7 0 R
/Rect [254.721 580.762 258.746 591.364]
/Subtype /Link
/Type /Annot
>>
endobj
44 0 obj
<<
/A 681 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [37.5874 75.515 180.057 82.715]
/Subtype /Link
/Type /Annot
>>
endobj
45 0 obj
<<
/A 682 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [103.294 92.0693 166.054 99.2693]
/Subtype /Link
/Type /Annot
>>
endobj
46 0 obj
<<
/A 683 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [203.414 92.0693 301.153 99.2693]
/Subtype /Link
/Type /Annot
>>
endobj
47 0 obj
<<
/A 684 0 R
/BS <<
/S /S
/W 0
>>
/Border [0 0 0]
/F 4
/P 7 0 R
/Rect [360.057 92.0693 419.528 99.2693]
/Subtype /Link
/Type /Annot
>>
endobj
48 0 obj
<<
/A 685 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [211.688 747.911 396.152 760.893]
/Subtype /Link
/Type /Annot
>>
endobj
49 0 obj
<<
/A 686 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
50 0 obj
<<
/Length 967
/Filter /FlateDecode
>>
stream
HUn7}_ Mc0Mﯽ<4oA2H+Q!*nX:;s83#sgjgI%G:lH&.y@cL:f>͋=H6U䅺
:Ih@PTYgv
8hQXd4xMƁM}tB)f3^5b#%|:_9+2PZZRܞ:_&U#6/ E:W5fM9`$F UtB
CkwSqT4YJc
˺0DyA@U`齃E{!mE>QGX70u0/;8)Eɘr!m3oGt{?b1:. ͧf= Q
TO62fR0