%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Version /1.5
/Pages 2 0 R
/OpenAction [3 0 R /Fit]
/Names 4 0 R
/Outlines 5 0 R
/Metadata 6 0 R
>>
endobj
7 0 obj
<<
/Creator
/Title
/Subject
/Author
/Producer
/Keywords
/CreationDate (D:20250227070421+01'00')
/ModDate (D:20230907113700+02'00')
/Trapped /False
/PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.25 \(TeX Live 2023/Arch Linux\) kpathsea version 6.3.5)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [3 0 R 8 0 R 9 0 R 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 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 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 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
/Count 60
>>
endobj
3 0 obj
<<
/Resources 67 0 R
/Type /Page
/Parent 2 0 R
/Contents [68 0 R]
/Annots [69 0 R 70 0 R 71 0 R 72 0 R]
/CropBox [0.0 0.0 595.28 841.89]
/MediaBox [0.0 0.0 595.28 841.89]
/Rotate 0
>>
endobj
4 0 obj
<<
/Dests 73 0 R
>>
endobj
5 0 obj
<<
/Type /Outlines
/First 74 0 R
/Last 75 0 R
/Count 13
>>
endobj
6 0 obj
<<
/Length 20107
/Type /Metadata
/Subtype /XML
>>
stream
Adobe PDF Schema
pdf
http://ns.adobe.com/pdf/1.3/
Trapped
Text
internal
Indication if the document has been modified to include trapping information
XMP Media Management Schema
xmpMM
http://ns.adobe.com/xap/1.0/mm/
DocumentID
URI
internal
UUID based identifier for all versions and renditions of a document
InstanceID
URI
internal
UUID based identifier for specific incarnation of a document
VersionID
Text
internal
Document version identifier
RenditionClass
RenditionClass
internal
The manner in which a document is rendered
IPTC Core Schema
Iptc4xmpCore
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
CreatorContactInfo
ContactInfo
external
Document creator's contact information
ContactInfo
http://iptc.org/std/Iptc4xmpCore/1.0/xmlns/
Iptc4xmpCore
Basic set of information to get in contact with a person
CiAdrCity
Text
Contact information city
CiAdrCtry
Text
Contact information country
CiAdrExtadr
Text
Contact information address
CiAdrPcode
Text
Contact information local postal code
CiAdrRegion
Text
Contact information regional information such as state or province
CiEmailWork
Text
Contact information email address(es)
CiTelWork
Text
Contact information telephone number(s)
CiUrlWork
Text
Contact information Web URL(s)
PRISM Basic Metadata
prism
http://prismstandard.org/namespaces/basic/3.0/
complianceProfile
Text
internal
PRISM specification compliance profile to which this document adheres
publicationName
Text
external
Publication name
aggregationType
Text
external
Publication type
bookEdition
Text
external
Edition of the book in which the document was published
volume
Text
external
Publication volume number
number
Text
external
Publication issue number within a volume
pageRange
Text
external
Page range for the document within the print version of its publication
issn
Text
external
ISSN for the printed publication in which the document was published
eIssn
Text
external
ISSN for the electronic publication in which the document was published
isbn
Text
external
ISBN for the publication in which the document was published
doi
Text
external
Digital Object Identifier for the document
url
URL
external
URL at which the document can be found
byteCount
Integer
internal
Approximate file size in octets
pageCount
Integer
internal
Number of pages in the print version of the document
subtitle
Text
external
Document's subtitle
pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) kpathsea version 6.3.5
capability machines, capability safety, universal contracts, program logic, separation logic, CHERI
1.5
application/pdf
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
- Security and privacy -> Logic and verification.Formal security models.- Theory of computation -> Program verification.Program specifications.
Association for Computing Machinery
2023-09-07T11:37:00+02:00
Text
paper.tex
en
2023-09-07T11:37:00+02:00
2023-09-07T11:37:00+02:00
2023-09-07T11:37:00+02:00
LaTeX with acmart 2022/10/24 v1.88 Typesetting articles for the Association for Computing Machinery and hyperref 2023-02-07 v7.00v Hypertext links for LaTeX
uuid:2626267a-e46c-4ef7-9fd1-d1d75f759595
uuid:ae41395f-20a8-4826-bfd1-395fd1d1dc4c
1
default
Germany
ageorges@cs.au.dk
three
Journal of the ACM
journal
1
1
59
59
endstream
endobj
8 0 obj
<<
/Type /Page
/Contents 76 0 R
/Resources 77 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [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]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
9 0 obj
<<
/Type /Page
/Contents 99 0 R
/Resources 100 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [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]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
10 0 obj
<<
/Type /Page
/Contents 132 0 R
/Resources 133 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [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]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
11 0 obj
<<
/Type /Page
/Contents 145 0 R
/Resources 146 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [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 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
177 0 R 178 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
12 0 obj
<<
/Type /Page
/Contents 179 0 R
/Resources 180 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
13 0 obj
<<
/Type /Page
/Contents 188 0 R
/Resources 189 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [190 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
14 0 obj
<<
/Type /Page
/Contents 191 0 R
/Resources 192 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
15 0 obj
<<
/Type /Page
/Contents 193 0 R
/Resources 194 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [195 0 R 196 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
16 0 obj
<<
/Type /Page
/Contents 197 0 R
/Resources 198 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [199 0 R 200 0 R 201 0 R 202 0 R 203 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
17 0 obj
<<
/Type /Page
/Contents 204 0 R
/Resources 205 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [206 0 R 207 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
18 0 obj
<<
/Type /Page
/Contents 208 0 R
/Resources 209 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
19 0 obj
<<
/Type /Page
/Contents 210 0 R
/Resources 211 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [212 0 R 213 0 R 214 0 R 215 0 R 216 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
20 0 obj
<<
/Type /Page
/Contents 217 0 R
/Resources 218 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
21 0 obj
<<
/Type /Page
/Contents 225 0 R
/Resources 226 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [227 0 R 228 0 R 229 0 R 230 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
22 0 obj
<<
/Type /Page
/Contents 231 0 R
/Resources 232 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
23 0 obj
<<
/Type /Page
/Contents 233 0 R
/Resources 234 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R 241 0 R 242 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
24 0 obj
<<
/Type /Page
/Contents 243 0 R
/Resources 244 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [245 0 R 246 0 R 247 0 R 248 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
25 0 obj
<<
/Type /Page
/Contents 249 0 R
/Resources 250 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [251 0 R 252 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
26 0 obj
<<
/Type /Page
/Contents 253 0 R
/Resources 254 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [255 0 R 256 0 R 257 0 R 258 0 R 259 0 R 260 0 R 261 0 R 262 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
27 0 obj
<<
/Type /Page
/Contents 263 0 R
/Resources 264 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [265 0 R 266 0 R 267 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
28 0 obj
<<
/Type /Page
/Contents 268 0 R
/Resources 269 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [270 0 R 271 0 R 272 0 R 273 0 R 274 0 R 275 0 R 276 0 R 277 0 R 278 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
29 0 obj
<<
/Type /Page
/Contents 279 0 R
/Resources 280 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [281 0 R 282 0 R 283 0 R 284 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
30 0 obj
<<
/Type /Page
/Contents 285 0 R
/Resources 286 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [287 0 R 288 0 R 289 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
31 0 obj
<<
/Type /Page
/Contents 290 0 R
/Resources 291 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [292 0 R 293 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
32 0 obj
<<
/Type /Page
/Contents 294 0 R
/Resources 295 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [296 0 R 297 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
33 0 obj
<<
/Type /Page
/Contents 298 0 R
/Resources 299 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [300 0 R 301 0 R 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R 308 0 R 309 0 R
310 0 R 311 0 R 312 0 R 313 0 R 314 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
34 0 obj
<<
/Type /Page
/Contents 315 0 R
/Resources 316 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [317 0 R 318 0 R 319 0 R 320 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
35 0 obj
<<
/Type /Page
/Contents 321 0 R
/Resources 322 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [323 0 R 324 0 R 325 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
36 0 obj
<<
/Type /Page
/Contents 326 0 R
/Resources 327 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [328 0 R 329 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
37 0 obj
<<
/Type /Page
/Contents 330 0 R
/Resources 331 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [332 0 R 333 0 R 334 0 R 335 0 R 336 0 R 337 0 R 338 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
38 0 obj
<<
/Type /Page
/Contents 339 0 R
/Resources 340 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [341 0 R 342 0 R 343 0 R 344 0 R 345 0 R 346 0 R 347 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
39 0 obj
<<
/Type /Page
/Contents 348 0 R
/Resources 349 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [350 0 R 351 0 R 352 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
40 0 obj
<<
/Type /Page
/Contents 353 0 R
/Resources 354 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [355 0 R 356 0 R 357 0 R 358 0 R 359 0 R 360 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
41 0 obj
<<
/Type /Page
/Contents 361 0 R
/Resources 362 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [363 0 R 364 0 R 365 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
42 0 obj
<<
/Type /Page
/Contents 366 0 R
/Resources 367 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [368 0 R 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R 375 0 R 376 0 R 377 0 R
378 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
43 0 obj
<<
/Type /Page
/Contents 379 0 R
/Resources 380 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [381 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
44 0 obj
<<
/Type /Page
/Contents 388 0 R
/Resources 389 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [390 0 R 391 0 R 392 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
45 0 obj
<<
/Type /Page
/Contents 393 0 R
/Resources 394 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [395 0 R 396 0 R 397 0 R 398 0 R 399 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
46 0 obj
<<
/Type /Page
/Contents 400 0 R
/Resources 401 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [402 0 R 403 0 R 404 0 R 405 0 R 406 0 R 407 0 R 408 0 R 409 0 R 410 0 R 411 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
47 0 obj
<<
/Type /Page
/Contents 412 0 R
/Resources 413 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
48 0 obj
<<
/Type /Page
/Contents 414 0 R
/Resources 415 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [416 0 R 417 0 R 418 0 R 419 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
49 0 obj
<<
/Type /Page
/Contents 420 0 R
/Resources 421 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [422 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
50 0 obj
<<
/Type /Page
/Contents 423 0 R
/Resources 424 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [425 0 R 426 0 R 427 0 R 428 0 R 429 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
51 0 obj
<<
/Type /Page
/Contents 430 0 R
/Resources 431 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [432 0 R 433 0 R 434 0 R 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R 440 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
52 0 obj
<<
/Type /Page
/Contents 441 0 R
/Resources 442 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [443 0 R 444 0 R 445 0 R 446 0 R 447 0 R 448 0 R 449 0 R 450 0 R 451 0 R 452 0 R
453 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
53 0 obj
<<
/Type /Page
/Contents 454 0 R
/Resources 455 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [456 0 R 457 0 R 458 0 R 459 0 R 460 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
54 0 obj
<<
/Type /Page
/Contents 461 0 R
/Resources 462 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [463 0 R 464 0 R 465 0 R 466 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
55 0 obj
<<
/Type /Page
/Contents 467 0 R
/Resources 468 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [469 0 R 470 0 R 471 0 R 472 0 R 473 0 R 474 0 R 475 0 R 476 0 R 477 0 R 478 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
56 0 obj
<<
/Type /Page
/Contents 479 0 R
/Resources 480 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [481 0 R 482 0 R 483 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
57 0 obj
<<
/Type /Page
/Contents 484 0 R
/Resources 485 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [486 0 R 487 0 R 488 0 R 489 0 R 490 0 R 491 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
58 0 obj
<<
/Type /Page
/Contents 492 0 R
/Resources 493 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [494 0 R 495 0 R 496 0 R 497 0 R 498 0 R 499 0 R 500 0 R 501 0 R 502 0 R 503 0 R
504 0 R 505 0 R 506 0 R 507 0 R 508 0 R 509 0 R 510 0 R 511 0 R 512 0 R 513 0 R
514 0 R 515 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
59 0 obj
<<
/Type /Page
/Contents 516 0 R
/Resources 517 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [518 0 R 519 0 R 520 0 R 521 0 R 522 0 R 523 0 R 524 0 R 525 0 R 526 0 R 527 0 R
528 0 R 529 0 R 530 0 R 531 0 R 532 0 R 533 0 R 534 0 R 535 0 R 536 0 R 537 0 R
538 0 R 539 0 R 540 0 R 541 0 R 542 0 R 543 0 R 544 0 R 545 0 R 546 0 R 547 0 R
548 0 R 549 0 R 550 0 R 551 0 R 552 0 R 553 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
60 0 obj
<<
/Type /Page
/Contents 554 0 R
/Resources 555 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [556 0 R 557 0 R 558 0 R 559 0 R 560 0 R 561 0 R 562 0 R 563 0 R 564 0 R 565 0 R
566 0 R 567 0 R 568 0 R 569 0 R 570 0 R 571 0 R 572 0 R 573 0 R 574 0 R 575 0 R
576 0 R 577 0 R 578 0 R 579 0 R 580 0 R 581 0 R 582 0 R 583 0 R 584 0 R 585 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
61 0 obj
<<
/Type /Page
/Contents 586 0 R
/Resources 587 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [588 0 R 589 0 R 590 0 R 591 0 R 592 0 R 593 0 R 594 0 R 595 0 R 596 0 R 597 0 R
598 0 R 599 0 R 600 0 R 601 0 R 602 0 R 603 0 R 604 0 R 605 0 R 606 0 R 607 0 R
608 0 R 609 0 R 610 0 R 611 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
62 0 obj
<<
/Type /Page
/Contents 612 0 R
/Resources 613 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [614 0 R 615 0 R 616 0 R 617 0 R 618 0 R 619 0 R 620 0 R 621 0 R 622 0 R 623 0 R
624 0 R 625 0 R 626 0 R 627 0 R 628 0 R 629 0 R 630 0 R 631 0 R 632 0 R 633 0 R
634 0 R 635 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
63 0 obj
<<
/Type /Page
/Contents 636 0 R
/Resources 637 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [638 0 R 639 0 R 640 0 R 641 0 R 642 0 R 643 0 R 644 0 R 645 0 R 646 0 R 647 0 R
648 0 R 649 0 R 650 0 R 651 0 R 652 0 R 653 0 R 654 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
64 0 obj
<<
/Type /Page
/Contents 655 0 R
/Resources 656 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [657 0 R 658 0 R 659 0 R 660 0 R 661 0 R 662 0 R 663 0 R 664 0 R 665 0 R 666 0 R
667 0 R 668 0 R 669 0 R 670 0 R 671 0 R 672 0 R 673 0 R 674 0 R 675 0 R 676 0 R
677 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
65 0 obj
<<
/Type /Page
/Contents 678 0 R
/Resources 679 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [680 0 R 681 0 R 682 0 R 683 0 R 684 0 R 685 0 R 686 0 R 687 0 R 688 0 R 689 0 R
690 0 R 691 0 R 692 0 R 693 0 R 694 0 R 695 0 R 696 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
66 0 obj
<<
/Type /Page
/Contents 697 0 R
/Resources 698 0 R
/MediaBox [0.0 0.0 486.0 720.0]
/Parent 2 0 R
/Annots [699 0 R 700 0 R 701 0 R 702 0 R 703 0 R 704 0 R 705 0 R 706 0 R 707 0 R 708 0 R
709 0 R 710 0 R 711 0 R 712 0 R 713 0 R 714 0 R 715 0 R 716 0 R 717 0 R 718 0 R
719 0 R 720 0 R 721 0 R 722 0 R 723 0 R 724 0 R 725 0 R 726 0 R 727 0 R 728 0 R
729 0 R 730 0 R 731 0 R 732 0 R 733 0 R 734 0 R 735 0 R 736 0 R 737 0 R 738 0 R
739 0 R 740 0 R 741 0 R 742 0 R 743 0 R 744 0 R]
/CropBox [0.0 0.0 486.0 720.0]
/Rotate 0
>>
endobj
67 0 obj
<<
/Font 745 0 R
/XObject <<
/Im0 746 0 R
/Im1 747 0 R
/Im2 748 0 R
/Im3 749 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageB /ImageI]
>>
endobj
68 0 obj
<<
/Length 1802
/Filter /FlateDecode
>>
stream
xڕYɎ6+H-P!ȂoAr S~?(JS3
,K>'G~0TLgz~'?0cH0=5ٗ]28;9΅0GsRkho4ŹtH7EyGDzG8? ,st1&y,qi:"=.c~߯Ne@b|.*C
śdn"o*VF(E}7[!35YX_-{0)y$f;0Ρ$'+簞raMUxc)Y,e`}2ljf!Hb'JL&bXOՐ<β u
S)bD"FUbri." [/