%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 150 0 R
/Metadata 3 1 R
/Outlines 352 0 R
/Names 356 0 R
/OpenAction [ 4 0 R /Fit ]
/PageMode /UseOutlines
/ViewerPreferences << /FitWindow true >>
/PageLabels 351 0 R
>>
endobj
2 0 obj
<<
/ModDate (D:20040225140602+01'00')
/Producer (Acrobat Distiller 5.0.5 \(Windows\))
/Author (C\351dric Lhoussaine and Vladimiro Sassone)
/Title (LNCS 2986 - A Dependently Typed Ambient Calculus)
/Subject (Programming Languages and Systems)
/Creator (DVIPSONE \(32\) 2.1.7 http://www.YandY.com)
/CreationDate (D:20040210075543Z)
>>
endobj
3 1 obj
<< /Type /Metadata /Subtype /XML /Length 1807 >>
stream
2004-02-10T07:55:43Z
2004-02-25T14:06:02+01:00
Acrobat Distiller 5.0.5 (Windows)
DVIPSONE (32) 2.1.7 http://www.YandY.com
LNCS 2986 - A Dependently Typed Ambient Calculus
Programming Languages and Systems
Cédric Lhoussaine and Vladimiro Sassone
2004-02-10T07:55:43Z
2004-02-25T14:06:02+01:00
2004-02-25T14:06:02+01:00
Cédric Lhoussaine and Vladimiro Sassone
LNCS 2986 - A Dependently Typed Ambient Calculus
Programming Languages and Systems
LNCS 2986 - A Dependently Typed Ambient Calculus
Programming Languages and Systems
Cédric Lhoussaine and Vladimiro Sassone
endstream
endobj
4 0 obj
<<
/Type /Page
/Parent 45 0 R
/Resources << /ColorSpace << /CS2 369 0 R /CS1 369 0 R /CS0 369 0 R >> /ExtGState << /GS4 44 0 R /GS5 368 0 R >>
/Font << /T1_24 33 0 R /T1_25 34 0 R /T1_26 35 0 R /T1_27 32 0 R /T1_28 36 0 R
/T1_29 37 0 R /T1_30 38 0 R /T1_31 39 0 R /T1_32 40 0 R /T1_33 41 0 R
/T1_34 42 0 R /T1_35 43 0 R >>
/ProcSet [ /PDF /Text ] >>
/Contents 374 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 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
357 0 R 363 0 R ]
>>
endobj
5 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900787 4194549 1769225 ]
>>
endobj
6 0 obj
<<
/Title (Introduction )
/Dest (section.1.1)
/Parent 352 0 R
/Next 7 0 R
>>
endobj
7 0 obj
<<
/Title (A Simple Dependent Type System )
/Dest (section.1.2)
/Parent 352 0 R
/Prev 6 0 R
/Next 10 0 R
/First 8 0 R
/Last 9 0 R
/Count -2
>>
endobj
8 0 obj
<<
/Title (Types and Definitions )
/Dest (subsection.1.2.1)
/Parent 7 0 R
/Next 9 0 R
>>
endobj
9 0 obj
<<
/Title (The Type System )
/Dest (subsection.1.2.2)
/Parent 7 0 R
/Prev 8 0 R
>>
endobj
10 0 obj
<<
/Title (Dynamic Types )
/Dest (section.1.3)
/Parent 352 0 R
/Prev 7 0 R
/Next 14 0 R
/First 11 0 R
/Last 13 0 R
/Count -3
>>
endobj
11 0 obj
<<
/Title (New Types and Definitions )
/Dest (subsection.1.3.1)
/Parent 10 0 R
/Next 12 0 R
>>
endobj
12 0 obj
<<
/Title (Revised Typing System )
/Dest (subsection.1.3.2)
/Parent 10 0 R
/Prev 11 0 R
/Next 13 0 R
>>
endobj
13 0 obj
<<
/Title (Estimating the Set of Possible Types )
/Dest (subsection.1.3.3)
/Parent 10 0 R
/Prev 12 0 R
>>
endobj
14 0 obj
<<
/Title (Conclusion, Related and Future Work )
/Dest (section.1.4)
/Parent 352 0 R
/Prev 10 0 R
>>
endobj
15 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949365 4128768 2225774 ]
>>
endobj
16 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949365 4128768 2225774 ]
>>
endobj
17 0 obj
<<
/D [ 4 0 R /XYZ null 544 null ]
/Rect [ 4062987 16347545 4128768 15650266 ]
>>
endobj
18 0 obj
<<
/Dest (cite.CarGor:FoSSaCS:98)
/Type /Annot
/Subtype /Link
/Rect [ 321 436 328 444 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
19 0 obj
<<
/Dest (cite.ma:types)
/Type /Annot
/Subtype /Link
/Rect [ 422 436 429 444 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
20 0 obj
<<
/Dest (cite.CGG00)
/Type /Annot
/Subtype /Link
/Rect [ 255 413 262 421 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
21 0 obj
<<
/Dest (cite.BugCasCra:TACS:01)
/Type /Annot
/Subtype /Link
/Rect [ 262 413 269 421 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
22 0 obj
<<
/Dest (cite.MS02)
/Type /Annot
/Subtype /Link
/Rect [ 270 413 282 421 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
23 0 obj
<<
/Dest (cite.CDGS03)
/Type /Annot
/Subtype /Link
/Rect [ 283 413 290 421 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
24 0 obj
<<
/Dest (cite.CGG00)
/Type /Annot
/Subtype /Link
/Rect [ 388 179 395 187 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
25 0 obj
<<
/Dest (page.187)
/Type /Annot
/Subtype /Link
/Rect [ 326 106 340 113 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
26 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 820 623 842 ]
/Contents (Dieser Report wurde automatisch mit Hilfe der Adobe Acrobat Distiller Er\
weiterung "Distiller Secrets v1.0.5" der IMPRESSED GmbH erstellt.\rSie k\
oennen diese Startup-Datei f\374r die Distiller Versionen 4.0.5 und 5.0.\
x kostenlos unter http://www.impressed.de herunterladen.\r\rALLGEMEIN --\
--------------------------------------\rDateioptionen:\r Kompatibili\
t\344t: PDF 1.3\r F\374r schnelle Web-Anzeige optimieren: Nein\r \
Piktogramme einbetten: Nein\r Seiten automatisch drehen: Nein\r \
Seiten von: 1\r Seiten bis: Alle Seiten\r Bund: Links\r Auf\
l\366sung: [ 2400 2400 ] dpi\r Papierformat: [ 594.962 841.96 ] Punk\
t\r\rKOMPRIMIERUNG ----------------------------------------\rFarbbilder:\
\r Downsampling: Ja\r Berechnungsmethode: Bikubische Neuberechnu\
ng\r Downsample-Aufl\366sung: 300 dpi\r Downsampling f\374r Bild\
er \374ber: 450 dpi\r Komprimieren: Ja\r Automatische Bestimmung\
der Komprimierungsart: Ja\r JPEG-Qualit\344t: Maximal\r Bitanza\
hl pro Pixel: Wie Original Bit\rGraustufenbilder:\r Downsampling: Ja\
\r Berechnungsmethode: Bikubische Neuberechnung\r Downsample-Auf\
l\366sung: 300 dpi\r Downsampling f\374r Bilder \374ber: 450 dpi\r \
Komprimieren: Ja\r Automatische Bestimmung der Komprimierungsart:\
Ja\r JPEG-Qualit\344t: Maximal\r Bitanzahl pro Pixel: Wie Origi\
nal Bit\rSchwarzwei\337-Bilder:\r Downsampling: Ja\r Berechnungs\
methode: Bikubische Neuberechnung\r Downsample-Aufl\366sung: 2400 dp\
i\r Downsampling f\374r Bilder \374ber: 24000 dpi\r Komprimieren\
: Ja\r Komprimierungsart: CCITT\r CCITT-Gruppe: 4\r Graustuf\
en gl\344tten: Nein\r\r Text und Vektorgrafiken komprimieren: Ja\r\r\
SCHRIFTEN ----------------------------------------\r Alle Schriften \
einbetten: Ja\r Untergruppen aller eingebetteten Schriften: Nein\r \
Wenn Einbetten fehlschl\344gt: Warnen und weiter\rEinbetten:\r Im\
mer einbetten: [ /Courier-BoldOblique /Helvetica-BoldOblique /Courier /H\
elvetica-Bold /Times-Bold /Courier-Bold /Helvetica /Times-BoldItalic /Ti\
mes-Roman /ZapfDingbats /Times-Italic /Helvetica-Oblique /Courier-Obliqu\
e /Symbol ]\r Nie einbetten: [ ]\r\rFARBE\(N\) ---------------------\
-------------------\rFarbmanagement:\r Farbumrechnungsmethode: Farbe\
nicht \344ndern\r Methode: Standard\rGer\344teabh\344ngige Daten:\r\
Einstellungen f\374r \334berdrucken beibehalten: Ja\r Unterfarb\
reduktion und Schwarzaufbau beibehalten: Ja\r Transferfunktionen: An\
wenden\r Rastereinstellungen beibehalten: Ja\r\rERWEITERT ----------\
------------------------------\rOptionen:\r Prolog/Epilog verwenden:\
Ja\r PostScript-Datei darf Einstellungen \374berschreiben: Ja\r \
Level 2 copypage-Semantik beibehalten: Ja\r Portable Job Ticket in \
PDF-Datei speichern: Nein\r Illustrator-\334berdruckmodus: Ja\r \
Farbverl\344ufe zu weichen Nuancen konvertieren: Ja\r ASCII-Format: \
Nein\rDocument Structuring Conventions \(DSC\):\r DSC-Kommentare ver\
arbeiten: Ja\r DSC-Warnungen protokollieren: Nein\r F\374r EPS-D\
ateien Seitengr\366\337e \344ndern und Grafiken zentrieren: Ja\r EPS\
-Info von DSC beibehalten: Ja\r OPI-Kommentare beibehalten: Nein\r \
Dokumentinfo von DSC beibehalten: Ja\r\rANDERE ----------------------\
------------------\r Distiller-Kern Version: 5000\r ZIP-Komprimi\
erung verwenden: Ja\r Optimierungen deaktivieren: Nein\r Bildspe\
icher: 524288 Byte\r Farbbilder gl\344tten: Nein\r Graustufenbil\
der gl\344tten: Nein\r Bilder \(< 257 Farben\) in indizierten Farbra\
um konvertieren: Ja\r sRGB ICC-Profil: sRGB IEC61966-2.1\r\rENDE DES\
REPORTS ----------------------------------------\r\rIMPRESSED GmbH\rBah\
renfelder Chaussee 49\r22761 Hamburg, Germany\rTel. +49 40 897189-0\rFax\
+49 40 897189-71\rEmail: info@impressed.de\rWeb: www.impressed.de)
/T (Verwendete Distiller 5.0.x Joboptions)
/C [ 1 1 0 ]
/Name /Note
/P 4 0 R
/NM (190001a)
/F 24
/Popup 357 0 R
/AP << /N 359 0 R /D 361 0 R >>
>>
endobj
27 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 790 623 812 ]
/Contents (<<\r /ColorSettingsFile \(\)\r /AntiAliasMonoImages false\r \
/CannotEmbedFontPolicy /Warning\r /ParseDSCComments true\r /DoTh\
umbnails false\r /CompressPages true\r /CalRGBProfile \(sRGB IEC\
61966-2.1\)\r /MaxSubsetPct 100\r /EncodeColorImages true\r \
/GrayImageFilter /DCTEncode\r /Optimize false\r /ParseDSCComment\
sForDocInfo true\r /EmitDSCWarnings false\r /CalGrayProfile \(\)\
\r /NeverEmbed [ ]\r /GrayImageDownsampleThreshold 1.5\r /Us\
ePrologue true\r /GrayImageDict << /QFactor 0.9 /Blend 1 /HSamples [\
2 1 1 2 ] /VSamples [ 2 1 1 2 ] >>\r /AutoFilterColorImages true\r \
/sRGBProfile \(sRGB IEC61966-2.1\)\r /ColorImageDepth -1\r /\
PreserveOverprintSettings true\r /AutoRotatePages /None\r /UCRan\
dBGInfo /Preserve\r /EmbedAllFonts true\r /CompatibilityLevel 1.\
3\r /StartPage 1\r /AntiAliasColorImages false\r /CreateJobT\
icket false\r /ConvertImagesToIndexed true\r /ColorImageDownsamp\
leType /Bicubic\r /ColorImageDownsampleThreshold 1.5\r /MonoImag\
eDownsampleType /Bicubic\r /DetectBlends true\r /GrayImageDownsa\
mpleType /Bicubic\r /PreserveEPSInfo true\r /GrayACSImageDict <<\
/VSamples [ 1 1 1 1 ] /QFactor 0.15 /Blend 1 /HSamples [ 1 1 1 1 ] /Col\
orTransform 1 >>\r /ColorACSImageDict << /VSamples [ 1 1 1 1 ] /QFac\
tor 0.15 /Blend 1 /HSamples [ 1 1 1 1 ] /ColorTransform 1 >>\r /Pres\
erveCopyPage true\r /EncodeMonoImages true\r /ColorConversionStr\
ategy /LeaveColorUnchanged\r /PreserveOPIComments false\r /AntiA\
liasGrayImages false\r /GrayImageDepth -1\r /ColorImageResolutio\
n 300\r /EndPage -1\r /AutoPositionEPSFiles true\r /MonoImag\
eDepth -1\r /TransferFunctionInfo /Apply\r /EncodeGrayImages tru\
e\r /DownsampleGrayImages true\r /DownsampleMonoImages true\r \
/DownsampleColorImages true\r /MonoImageDownsampleThreshold 10.0\r\
/MonoImageDict << /K -1 >>\r /Binding /Left\r /CalCMYKProfi\
le \(U.S. Web Coated \(SWOP\) v2\)\r /MonoImageResolution 2400\r \
/AutoFilterGrayImages true\r /AlwaysEmbed [ /Courier-BoldOblique /H\
elvetica-BoldOblique /Courier /Helvetica-Bold /Times-Bold /Courier-Bold \
/Helvetica /Times-BoldItalic /Times-Roman /ZapfDingbats /Times-Italic /H\
elvetica-Oblique /Courier-Oblique /Symbol ]\r /ImageMemory 524288\r \
/SubsetFonts false\r /DefaultRenderingIntent /Default\r /OPM\
1\r /MonoImageFilter /CCITTFaxEncode\r /GrayImageResolution 300\
\r /ColorImageFilter /DCTEncode\r /PreserveHalftoneInfo true\r \
/ColorImageDict << /QFactor 0.9 /Blend 1 /HSamples [ 2 1 1 2 ] /VSamp\
les [ 2 1 1 2 ] >>\r /ASCII85EncodePages false\r /LockDistillerP\
arams false\r>> setdistillerparams\r<<\r /PageSize [ 595.276 841.890\
]\r /HWResolution [ 2400 2400 ]\r>> setpagedevice)
/T (Adobe Acrobat Distiller 5.0.x Joboption Datei)
/C [ 0 1 0 ]
/Name /Note
/P 4 0 R
/NM (190001b)
/F 24
/Popup 363 0 R
/AP << /N 364 0 R /D 366 0 R >>
>>
endobj
29 0 obj
<<
/D [ 4 0 R /XYZ null null null ]
>>
endobj
32 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 33
/LastChar 148
/Widths [ 285 343 343 343 343 343 343 400 400 343 343 285 343 285 343 514 514
514 514 514 514 514 514 514 514 285 343 343 799 343 343 343 771
728 742 785 699 671 806 771 371 528 799 642 942 771 343 699 343
756 571 742 771 771 1056 343 771 343 285 343 285 343 343 343 514
571 457 571 457 314 514 571 285 343 542 285 856 571 514 571 343
402 405 400 571 542 742 542 542 457 343 343 343 343 343 343 343
343 343 343 514 343 343 343 343 343 343 343 343 343 285 285 343
343 343 571 ]
/Encoding 289 0 R
/BaseFont /EMEANF+CMR9
/FontDescriptor 225 0 R
/ToUnicode 290 0 R
>>
endobj
33 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 44
/LastChar 121
/Widths [ 313 375 375 375 375 563 563 563 563 375 375 375 375 375 375 375 375
375 375 375 375 850 375 813 862 375 707 375 375 419 375 375 375
375 375 375 375 375 839 625 782 375 375 1162 375 375 375 375 375
375 375 375 375 547 625 500 625 513 344 375 375 313 375 594 313
938 625 563 625 375 459 444 438 625 375 375 375 594 ]
/Encoding 291 0 R
/BaseFont /EMEAOF+CMBX12
/FontDescriptor 227 0 R
/ToUnicode 292 0 R
>>
endobj
34 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 1
/Widths [ 575 ]
/Encoding 293 0 R
/BaseFont /EMEAOG+CMMIB10
/FontDescriptor 229 0 R
>>
endobj
35 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 180
/Widths [ 833 583 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 278
333 333 333 333 333 333 389 389 333 333 278 333 278 333 500 500
500 500 500 500 500 500 500 500 278 278 333 778 333 472 333 750
708 722 764 681 653 785 750 361 333 333 625 917 750 778 681 333
736 556 722 750 750 1028 333 750 333 278 333 278 333 333 333 500
556 444 556 444 306 500 556 278 306 528 278 833 556 500 556 528
392 394 389 556 528 722 528 528 444 333 333 333 333 333 333 333
333 333 333 500 333 333 333 333 333 333 333 500 500 278 278 333
333 556 556 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 500 ]
/Encoding 294 0 R
/BaseFont /EMEAOH+CMR10
/FontDescriptor 231 0 R
/ToUnicode 295 0 R
>>
endobj
36 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 46
/LastChar 116
/Widths [ 329 394 394 592 592 592 592 394 394 394 394 394 329 394 394 394 394
394 394 893 394 394 394 394 744 394 394 394 394 394 394 394 394
394 394 394 394 394 394 394 394 394 394 394 394 394 394 394 394
394 394 575 657 526 394 394 394 592 394 329 394 394 394 394 394
394 394 394 488 467 460 ]
/Encoding 296 0 R
/BaseFont /EMEAPI+CMBX9
/FontDescriptor 233 0 R
/ToUnicode 297 0 R
>>
endobj
37 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 44
/LastChar 148
/Widths [ 285 343 285 343 343 343 343 343 343 343 343 343 343 343 343 343 343
343 343 343 343 771 343 343 343 343 343 343 343 343 343 343 343
942 343 343 343 343 343 343 742 343 343 343 343 343 343 343 343
343 343 343 343 514 571 457 571 457 314 514 571 285 343 542 285
856 571 514 571 343 402 405 400 571 542 742 542 542 343 343 343
343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343
343 343 285 285 343 343 571 571 ]
/Encoding 298 0 R
/BaseFont /EMEAPJ+CMSL9
/FontDescriptor 235 0 R
/ToUnicode 299 0 R
>>
endobj
38 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 45
/LastChar 121
/Widths [ 358 307 358 358 358 358 358 358 358 358 358 358 358 358 358 358 358
358 358 358 743 704 716 755 358 358 774 358 358 358 358 358 897
358 358 678 358 358 562 716 358 743 358 358 358 358 358 358 358
358 358 358 511 460 460 511 460 307 460 511 307 358 358 256 818
562 511 511 358 422 409 332 537 460 358 464 486 ]
/Encoding 300 0 R
/BaseFont /EMEAPK+CMTI10
/FontDescriptor 237 0 R
/ToUnicode 301 0 R
>>
endobj
39 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 121
/Widths [ 494 500 742 763 615 833 831 640 566 571 500 570 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 278 333 278 500 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 750
759 715 828 333 333 786 831 333 333 849 333 970 803 333 642 791
759 333 584 683 583 333 333 333 333 333 333 333 333 333 333 529
429 433 333 333 333 333 333 345 333 333 333 878 600 485 333 333
333 333 333 333 333 333 572 490 ]
/Encoding 302 0 R
/BaseFont /EMEAPL+CMMI10
/FontDescriptor 239 0 R
/ToUnicode 303 0 R
>>
endobj
40 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 46
/LastChar 121
/Widths [ 319 383 383 383 383 383 383 383 383 383 383 383 383 383 383 383 383
383 383 383 383 383 882 383 724 383 383 383 383 383 383 383 383
383 383 383 863 383 383 383 383 383 383 383 383 383 383 383 383
383 383 559 639 383 639 527 383 575 383 319 383 607 319 383 639
575 639 383 474 454 447 639 607 831 607 607 ]
/Encoding 304 0 R
/BaseFont /EMEBAL+CMBXSL10
/FontDescriptor 241 0 R
/ToUnicode 305 0 R
>>
endobj
41 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 1
/Widths [ 639 ]
/Encoding 306 0 R
/BaseFont /EMEBAM+CMMI6
/FontDescriptor 243 0 R
>>
endobj
42 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 133
/Widths [ 678 385 385 385 385 385 385 385 385 385 385 385 385 385 385 385 385
385 385 385 385 385 385 385 385 385 385 385 385 385 385 385 323
385 385 385 385 385 385 446 446 385 385 323 385 323 385 569 569
569 385 569 385 569 569 569 569 323 323 385 877 385 385 385 843
799 815 860 768 385 385 843 385 385 385 706 385 843 877 768 385
385 631 385 385 843 385 385 385 385 323 385 323 385 385 385 569
631 508 631 508 354 569 631 323 385 385 323 939 631 569 631 385
446 385 446 385 385 815 385 600 385 385 385 385 385 385 385 385
385 385 385 569 ]
/Encoding 307 0 R
/BaseFont /EMEBBN+CMR7
/FontDescriptor 245 0 R
/ToUnicode 308 0 R
>>
endobj
43 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 125
/Widths [ 1139 585 585 329 770 893 770 708 893 585 462 462 647 770 0 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
753 620 333 616 333 333 333 333 333 333 792 333 936 333 809 333
333 333 333 333 333 333 819 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 585 339 585 ]
/Encoding 309 0 R
/BaseFont /EMEBBO+CMSY7
/FontDescriptor 247 0 R
/ToUnicode 310 0 R
>>
endobj
44 0 obj
<<
/Type /ExtGState
/SA false
/SM 0.02
/OP false
/op false
/OPM 1
/BG2 /Default
/UCR2 /Default
/HT /Default
>>
endobj
45 0 obj
<<
/Type /Pages
/Kids [ 4 0 R 48 0 R 59 0 R 68 0 R 81 0 R 98 0 R 109 0 R 118 0 R 124 0 R
132 0 R ]
/Count 10
/CropBox [ 0 0 612 792 ]
/Parent 150 0 R
>>
endobj
46 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900787 4194549 1769225 ]
>>
endobj
47 0 obj
<<
/Dest (cite.MS02)
/Type /Annot
/Subtype /Link
/Rect [ 435 480 447 488 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
48 0 obj
<<
/Type /Page
/Parent 45 0 R
/Resources 53 0 R
/Contents 52 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 47 0 R 49 0 R 50 0 R ]
>>
endobj
49 0 obj
<<
/Dest (cite.MS02)
/Type /Annot
/Subtype /Link
/Rect [ 265 376 276 384 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
50 0 obj
<<
/Dest (exam.1)
/Type /Annot
/Subtype /Link
/Rect [ 366 175 373 183 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
51 0 obj
<<
/D [ 48 0 R /XYZ null null null ]
>>
endobj
52 0 obj
<< /Length 4145 /Filter /FlateDecode >>
stream
HWKs_1i&r XI9pQԌlS]U|HZ;`U?X]ϯ]|unO7yP
ϓ*A6-@:]n盯~xn;[fn)t]puԟͩJ[)kʮkO &
"JQ Oi*wmDzmoE xj~%o!$2: 1MP=ɍ5,mO]ܭyew{}ApHUݶ
鐔ZQez&OSN8E뒉/?C#9N`iGr]{
)(9 c
}XhCAvح9uc%F!8$qPTpIPo@E((0t*XqR_;gIa<_߉"lwkNxL LL
,ұ?B⩊XA}"؆f&YAf- Y5yК}ϧJ