%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Outlines 3 0 R
/Pages 4 0 R
/Type /Catalog
>>
endobj
5 0 obj
<<
/Author (Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser)
/CreationDate (D:20171109000336+01'00')
/Creator (LaTeX with acmart 2017/09/23 v1.48 Typesetting articles for the Association for Computing Machinery and hyperref 2012/11/06 v6.83m Hypertext links for LaTeX)
/Keywords (definitional interpreters, dependent types, scope graphs, mechanized semantics, Agda, type safety, Java)
/ModDate (D:20171109000336+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.16 \(TeX Live 2015\) kpathsea version 6.2.1)
/Producer (pdfTeX-1.40.16)
/Subject (- Theory of computation -> Program verification; Type theory; - Software and its engineering -> Formal language definitions; )
/Title (Intrinsically-Typed Definitional Interpreters for Imperative Languages)
>>
endobj
2 0 obj
<<
/Length 2082
/Subtype /XML
/Type /Metadata
>>
stream
GPL Ghostscript 9.21
definitional interpreters, dependent types, scope graphs, mechanized semantics, Agda, type safety, Java
2017-12-15T13:19:22+01:00
2017-12-15T13:19:22+01:00
LaTeX with acmart 2017/09/23 v1.48 Typesetting articles for the Association for Computing Machinery and hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
Intrinsically-Typed Definitional Interpreters for Imperative LanguagesCasper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser- Theory of computation -> Program verification; Type theory; - Software and its engineering -> Formal language definitions;
endstream
endobj
3 0 obj
<<
/Count 36
/First 6 0 R
/Last 7 0 R
/Type /Outlines
>>
endobj
4 0 obj
<<
/Count 35
/Kids [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]
/Type /Pages
>>
endobj
6 0 obj
<<
/Dest [9 0 R /Fit]
/Next 43 0 R
/Parent 3 0 R
/Title (Abstract)
>>
endobj
7 0 obj
<<
/Dest [39 0 R /Fit]
/Parent 3 0 R
/Prev 44 0 R
/Title (References)
>>
endobj
8 0 obj
<<
/Contents 45 0 R
/Type /Page
/Resources <<
/Font <<
/F1 46 0 R
>>
/XObject <<
/Xf1 47 0 R
>>
>>
/Annots [48 0 R 49 0 R]
/Parent 4 0 R
/MediaBox [0 0 595 842]
>>
endobj
9 0 obj
<<
/Annots [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R]
/Contents [55 0 R 56 0 R 57 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 58 0 R
/Font 59 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi0 60 0 R
>>
>>
/Type /Page
>>
endobj
10 0 obj
<<
/Annots [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]
/Contents [78 0 R 79 0 R 80 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 81 0 R
/Font 82 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi1 83 0 R
>>
>>
/Type /Page
>>
endobj
11 0 obj
<<
/Annots [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]
/Contents [94 0 R 95 0 R 96 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 97 0 R
/Font 98 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi2 99 0 R
>>
>>
/Type /Page
>>
endobj
12 0 obj
<<
/Annots [100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R]
/Contents [108 0 R 109 0 R 110 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 111 0 R
/Font 112 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi3 113 0 R
>>
>>
/Type /Page
>>
endobj
13 0 obj
<<
/Annots [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]
/Contents [146 0 R 147 0 R 148 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 149 0 R
/Font 150 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi4 151 0 R
>>
>>
/Type /Page
>>
endobj
14 0 obj
<<
/Annots [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]
/Contents [171 0 R 172 0 R 173 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 174 0 R
/Font 175 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi5 176 0 R
>>
>>
/Type /Page
>>
endobj
15 0 obj
<<
/Annots [177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R]
/Contents [185 0 R 186 0 R 187 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 188 0 R
/Font 189 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi6 190 0 R
>>
>>
/Type /Page
>>
endobj
16 0 obj
<<
/Annots [191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R]
/Contents [198 0 R 199 0 R 200 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 201 0 R
/Font 202 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi7 203 0 R
>>
>>
/Type /Page
>>
endobj
17 0 obj
<<
/Annots [204 0 R 205 0 R 206 0 R 207 0 R 208 0 R 209 0 R]
/Contents [210 0 R 211 0 R 212 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 213 0 R
/Font 214 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi8 215 0 R
>>
>>
/Type /Page
>>
endobj
18 0 obj
<<
/Annots [216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R]
/Contents [223 0 R 224 0 R 225 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 226 0 R
/Font 227 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi9 228 0 R
>>
>>
/Type /Page
>>
endobj
19 0 obj
<<
/Annots [229 0 R 230 0 R 231 0 R 232 0 R]
/Contents [233 0 R 234 0 R 235 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 236 0 R
/Font 237 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi10 238 0 R
>>
>>
/Type /Page
>>
endobj
20 0 obj
<<
/Annots [239 0 R 240 0 R]
/Contents [241 0 R 242 0 R 243 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 244 0 R
/Font 245 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi11 246 0 R
>>
>>
/Type /Page
>>
endobj
21 0 obj
<<
/Annots [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]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 257 0 R
/Font 258 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi12 259 0 R
>>
>>
/Type /Page
>>
endobj
22 0 obj
<<
/Annots [260 0 R 261 0 R 262 0 R 263 0 R 264 0 R 265 0 R 266 0 R]
/Contents [267 0 R 268 0 R 269 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 270 0 R
/Font 271 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi13 272 0 R
>>
>>
/Type /Page
>>
endobj
23 0 obj
<<
/Annots [273 0 R 274 0 R 275 0 R 276 0 R 277 0 R 278 0 R 279 0 R 280 0 R 281 0 R 282 0 R
283 0 R 284 0 R 285 0 R 286 0 R 287 0 R 288 0 R 289 0 R 290 0 R]
/Contents [291 0 R 292 0 R 293 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 294 0 R
/Font 295 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi14 296 0 R
>>
>>
/Type /Page
>>
endobj
24 0 obj
<<
/Annots [297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R 303 0 R]
/Contents [304 0 R 305 0 R 306 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 307 0 R
/Font 308 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi15 309 0 R
>>
>>
/Type /Page
>>
endobj
25 0 obj
<<
/Contents [310 0 R 311 0 R 312 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 313 0 R
/ExtGState 314 0 R
/Font 315 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi16 316 0 R
>>
>>
/Type /Page
>>
endobj
26 0 obj
<<
/Annots [317 0 R 318 0 R 319 0 R 320 0 R 321 0 R 322 0 R]
/Contents [323 0 R 324 0 R 325 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 326 0 R
/Font 327 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi17 328 0 R
>>
>>
/Type /Page
>>
endobj
27 0 obj
<<
/Annots [329 0 R 330 0 R 331 0 R 332 0 R 333 0 R 334 0 R 335 0 R]
/Contents [336 0 R 337 0 R 338 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 339 0 R
/ExtGState 340 0 R
/Font 341 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi18 342 0 R
>>
>>
/Type /Page
>>
endobj
28 0 obj
<<
/Annots [343 0 R 344 0 R 345 0 R 346 0 R 347 0 R]
/Contents [348 0 R 349 0 R 350 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 351 0 R
/Font 352 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi19 353 0 R
>>
>>
/Type /Page
>>
endobj
29 0 obj
<<
/Annots [354 0 R 355 0 R]
/Contents [356 0 R 357 0 R 358 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 359 0 R
/Font 360 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi20 361 0 R
>>
>>
/Type /Page
>>
endobj
30 0 obj
<<
/Annots [362 0 R 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R 370 0 R 371 0 R]
/Contents [372 0 R 373 0 R 374 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 375 0 R
/Font 376 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi21 377 0 R
>>
>>
/Type /Page
>>
endobj
31 0 obj
<<
/Annots [378 0 R 379 0 R 380 0 R 381 0 R 382 0 R 383 0 R]
/Contents [384 0 R 385 0 R 386 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 387 0 R
/Font 388 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi22 389 0 R
>>
>>
/Type /Page
>>
endobj
32 0 obj
<<
/Annots [390 0 R 391 0 R]
/Contents [392 0 R 393 0 R 394 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 395 0 R
/ExtGState 396 0 R
/Font 397 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi23 398 0 R
>>
>>
/Type /Page
>>
endobj
33 0 obj
<<
/Annots [399 0 R 400 0 R 401 0 R 402 0 R 403 0 R 404 0 R 405 0 R 406 0 R]
/Contents [407 0 R 408 0 R 409 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 410 0 R
/Font 411 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi24 412 0 R
>>
>>
/Type /Page
>>
endobj
34 0 obj
<<
/Annots [413 0 R]
/Contents [414 0 R 415 0 R 416 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 417 0 R
/Font 418 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi25 419 0 R
>>
>>
/Type /Page
>>
endobj
35 0 obj
<<
/Annots [420 0 R 421 0 R 422 0 R 423 0 R 424 0 R 425 0 R 426 0 R 427 0 R 428 0 R 429 0 R
430 0 R 431 0 R 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 441 0 R]
/Contents [442 0 R 443 0 R 444 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 445 0 R
/Font 446 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi26 447 0 R
>>
>>
/Type /Page
>>
endobj
36 0 obj
<<
/Annots [448 0 R 449 0 R 450 0 R 451 0 R 452 0 R 453 0 R 454 0 R 455 0 R 456 0 R 457 0 R
458 0 R 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R 465 0 R 466 0 R 467 0 R
468 0 R 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 479 0 R 480 0 R 481 0 R 482 0 R 483 0 R 484 0 R 485 0 R 486 0 R 487 0 R
488 0 R 489 0 R 490 0 R 491 0 R 492 0 R 493 0 R 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]
/Contents [511 0 R 512 0 R 513 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 514 0 R
/Font 515 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi27 516 0 R
>>
>>
/Type /Page
>>
endobj
37 0 obj
<<
/Annots [517 0 R 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 554 0 R 555 0 R 556 0 R
557 0 R 558 0 R 559 0 R 560 0 R 561 0 R 562 0 R 563 0 R]
/Contents [564 0 R 565 0 R 566 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 567 0 R
/Font 568 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi28 569 0 R
>>
>>
/Type /Page
>>
endobj
38 0 obj
<<
/Annots [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 586 0 R 587 0 R 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]
/Contents [597 0 R 598 0 R 599 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 600 0 R
/Font 601 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi29 602 0 R
>>
>>
/Type /Page
>>
endobj
39 0 obj
<<
/Annots [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 612 0 R
613 0 R 614 0 R 615 0 R 616 0 R 617 0 R 618 0 R 619 0 R 620 0 R 621 0 R]
/Contents [622 0 R 623 0 R 624 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 625 0 R
/Font 626 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi30 627 0 R
>>
>>
/Type /Page
>>
endobj
40 0 obj
<<
/Annots [628 0 R 629 0 R 630 0 R 631 0 R 632 0 R 633 0 R 634 0 R 635 0 R 636 0 R 637 0 R
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]
/Contents [648 0 R 649 0 R 650 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 651 0 R
/Font 652 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi31 653 0 R
>>
>>
/Type /Page
>>
endobj
41 0 obj
<<
/Annots [654 0 R 655 0 R 656 0 R 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]
/Contents [674 0 R 675 0 R 676 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 677 0 R
/Font 678 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi32 679 0 R
>>
>>
/Type /Page
>>
endobj
42 0 obj
<<
/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 697 0 R 698 0 R 699 0 R
700 0 R 701 0 R]
/Contents [702 0 R 703 0 R 704 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 705 0 R
/Font 706 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi33 707 0 R
>>
>>
/Type /Page
>>
endobj
43 0 obj
<<
/Count 4
/Dest [10 0 R /Fit]
/First 708 0 R
/Last 709 0 R
/Next 710 0 R
/Parent 3 0 R
/Prev 6 0 R
/Title (1 Introduction)
>>
endobj
44 0 obj
<<
/Dest [38 0 R /Fit]
/Next 7 0 R
/Parent 3 0 R
/Prev 711 0 R
/Title (Acknowledgments)
>>
endobj
45 0 obj
<<
/Length 1349
/Filter /FlateDecode
>>
stream
xXMoF]7(u> L.)R걠>,DI
}vId̛7+߷mv߿we/[}u˱<
לT^hN^i]\Ś;or(ϭwg1sq-2aXX`d#RF1
HD8W`n+`M96%e-C951)f!Ăz6X-q%|>HzS(`pP)-EF.<5-T`G|+JGƕoYr]>|$ Di0IoŰɢ%Ň#DjwsJK<o8<MR"&'dxM3h)pńWKOFл1]Y"D)(^ń?CBS}#Ua&TӢe4B8U,kl|#M{|.x\݉qPNv^y!nQ뺓Jznw}CSS0U
@"y0XOB_Е@"j/AwPvn?ݞ[EEw:uπWRW8ŗt*G攵Ć1hFns}fːT9`]9i[WnD'SBu6U*B8bYS&&V;`3*xԂTZEc57
U5U:84x k\@фp?H l BQixuZ\_>0uR6ƿ.8}+X&;-h/8ed
-?[0|
%51uj(CD}--h]Qn4NWe5q=D-1Af1cԲ4$3lcǬk3K20es#utzY8ԅ01Nnk,W0h|4CH[lH?\Ց`M<7w]U1#i[a8ȁo!y\ˤ/wMƅ9=dl_J7PoBO:_@9i]fCS
(e}ϊў#ÛQNU͙۸Ԧ#\[Z幥rrnL&;T
endstream
endobj
46 0 obj
<<
/Subtype /Type0
/Type /Font
/BaseFont /AQJBSA+ArialUnicodeMS
/Encoding /Identity-H
/DescendantFonts [712 0 R]
/ToUnicode 713 0 R
>>
endobj
47 0 obj
<<
/Length 1732
/Subtype /Form
/Filter /FlateDecode
/Type /XObject
/Matrix [1 0 0 1 0 0]
/FormType 1
/Resources <<
/ColorSpace <<
/Cs1 [/ICCBased 714 0 R]
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/Gs1 715 0 R
/Gs2 716 0 R
>>
/Font <<
/TT2 717 0 R
>>
>>
/BBox [0 0 595 842]
>>
stream
xˎ^5)6om uxQd_+e6T[5|
_C.F=|KG=,u)nz5|xzsx~wiVb=?=qz8zȣINC}@>ȟfLmgR(ߊtkM9ڣu=^/l)GK I