%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 217 0 R
/Metadata 3 1 R
/Outlines 346 0 R
/Names 350 0 R
/OpenAction [ 4 0 R /Fit ]
/PageMode /UseOutlines
/ViewerPreferences << /FitWindow true >>
/PageLabels 345 0 R
>>
endobj
2 0 obj
<<
/ModDate (D:20031120143625+01'00')
/Producer (Acrobat Distiller 5.0.5 \(Windows\))
/Author (Christof L\366ding and Philipp Rohde)
/Title (LNCS 2914 - Model Checking and Satisfiability for Sabotage Modal Logic)
/Subject (FST TCS 2003: Foundations of Software Technology and Theoretical Compute\
r Science)
/Creator (DVIPSONE \(32\) 2.1.7 http://www.YandY.com)
/CreationDate (D:20031024122830Z)
>>
endobj
3 1 obj
<< /Type /Metadata /Subtype /XML /Length 1999 >>
stream
2003-10-24T12:28:30Z
2003-11-20T14:36:25+01:00
Acrobat Distiller 5.0.5 (Windows)
DVIPSONE (32) 2.1.7 http://www.YandY.com
LNCS 2914 - Model Checking and Satisfiability for Sabotage Modal Logic
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Christof Löding and Philipp Rohde
2003-10-24T12:28:30Z
2003-11-20T14:36:25+01:00
2003-11-20T14:36:25+01:00
Christof Löding and Philipp Rohde
LNCS 2914 - Model Checking and Satisfiability for Sabotage Modal Logic
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
LNCS 2914 - Model Checking and Satisfiability for Sabotage Modal Logic
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Christof Löding and Philipp Rohde
endstream
endobj
4 0 obj
<<
/Type /Page
/Parent 34 0 R
/Resources << /ColorSpace << /CS0 363 0 R >> /ExtGState << /GS0 33 0 R /GS1 362 0 R >>
/Font << /T1_0 26 0 R /T1_1 27 0 R /T1_2 25 0 R /T1_3 28 0 R /T1_4 29 0 R
/T1_5 30 0 R /T1_6 31 0 R /T1_7 32 0 R >>
/ProcSet [ /PDF /Text ] >>
/Contents 364 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 351 0 R 352 0 R ]
>>
endobj
5 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900789 4194549 1769229 ]
>>
endobj
6 0 obj
<<
/Title (Introduction)
/Dest (section.1.1)
/Parent 346 0 R
/Next 7 0 R
>>
endobj
7 0 obj
<<
/Title (Sabotage Modal Logic)
/Dest (section.1.2)
/Parent 346 0 R
/Prev 6 0 R
/Next 8 0 R
>>
endobj
8 0 obj
<<
/Title (Model Checking for SML)
/Dest (section.1.3)
/Parent 346 0 R
/Prev 7 0 R
/Next 9 0 R
>>
endobj
9 0 obj
<<
/Title (Model-Theoretic Properties of SML)
/Dest (section.1.4)
/Parent 346 0 R
/Prev 8 0 R
/Next 10 0 R
>>
endobj
10 0 obj
<<
/Title (Undecidability of Satisfiability for SML)
/Dest (section.1.5)
/Parent 346 0 R
/Prev 9 0 R
/Next 11 0 R
>>
endobj
11 0 obj
<<
/Title (Conclusion and Outlook)
/Dest (section.1.6)
/Parent 346 0 R
/Prev 10 0 R
>>
endobj
12 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949369 4128768 2225778 ]
>>
endobj
13 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949369 4128768 2225778 ]
>>
endobj
14 0 obj
<<
/D [ 4 0 R /XYZ null 478 null ]
/Rect [ 4062987 20700584 4128768 19976994 ]
>>
endobj
15 0 obj
<<
/Dest (cite.vBe02)
/Type /Annot
/Subtype /Link
/Rect [ 150 367 157 376 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
16 0 obj
<<
/Dest (section.1.2)
/Type /Annot
/Subtype /Link
/Rect [ 154 248 161 256 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
17 0 obj
<<
/Dest (cite.LoedingRohde03)
/Type /Annot
/Subtype /Link
/Rect [ 173 164 180 172 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
18 0 obj
<<
/Dest (page.313)
/Type /Annot
/Subtype /Link
/Rect [ 415 106 429 113 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
19 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 803 623 825 ]
/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: [ 595.276 824.882 ] Pun\
kt\r\rKOMPRIMIERUNG ----------------------------------------\rFarbbilder\
:\r Downsampling: Ja\r Berechnungsmethode: Bikubische Neuberechn\
ung\r Downsample-Aufl\366sung: 300 dpi\r Downsampling f\374r Bil\
der \374ber: 450 dpi\r Komprimieren: Ja\r Automatische Bestimmun\
g der Komprimierungsart: Ja\r JPEG-Qualit\344t: Maximal\r Bitanz\
ahl pro Pixel: Wie Original Bit\rGraustufenbilder:\r Downsampling: J\
a\r Berechnungsmethode: Bikubische Neuberechnung\r Downsample-Au\
fl\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 Orig\
inal Bit\rSchwarzwei\337-Bilder:\r Downsampling: Ja\r Berechnung\
smethode: Bikubische Neuberechnung\r Downsample-Aufl\366sung: 2400 d\
pi\r Downsampling f\374r Bilder \374ber: 3600 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 (4900013)
/F 24
/Popup 351 0 R
/AP << /N 354 0 R /D 356 0 R >>
>>
endobj
20 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 773 623 795 ]
/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 1.5\r \
/MonoImageDict << /K -1 >>\r /Binding /Left\r /CalCMYKProfil\
e \(U.S. Web Coated \(SWOP\) v2\)\r /MonoImageResolution 2400\r \
/AutoFilterGrayImages true\r /AlwaysEmbed [ /Courier-BoldOblique /He\
lvetica-BoldOblique /Courier /Helvetica-Bold /Times-Bold /Courier-Bold /\
Helvetica /Times-BoldItalic /Times-Roman /ZapfDingbats /Times-Italic /He\
lvetica-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 ] /VSample\
s [ 2 1 1 2 ] >>\r /ASCII85EncodePages false\r /LockDistillerPar\
ams 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 (4900014)
/F 24
/Popup 352 0 R
/AP << /N 358 0 R /D 360 0 R >>
>>
endobj
22 0 obj
<<
/D [ 4 0 R /XYZ null null null ]
>>
endobj
25 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 44
/LastChar 168
/Widths [ 285 343 285 343 514 514 514 514 514 514 514 514 514 514 343 343 343
343 343 343 343 771 728 742 785 699 671 806 771 371 528 343 642
942 771 799 699 343 756 571 742 771 771 1056 343 771 343 343 343
343 343 343 343 514 571 457 571 457 314 514 571 285 343 542 285
856 571 514 571 542 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 343 343 343 343 343 343 343 343 343
343 343 343 343 343 343 343 343 343 343 343 514 ]
/Encoding 292 0 R
/BaseFont /COGPKP+CMR9
/FontDescriptor 236 0 R
/ToUnicode 293 0 R
>>
endobj
26 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 45
/LastChar 147
/Widths [ 375 375 375 375 563 563 563 563 563 563 375 375 375 375 375 375 375
375 375 375 375 375 813 375 375 375 375 375 419 375 375 676 1067
375 845 769 375 839 625 782 865 375 375 375 375 375 375 375 375
375 375 375 547 625 500 625 513 344 563 625 313 375 594 313 375
625 563 625 375 459 444 438 625 375 375 375 594 375 375 375 375
375 375 375 375 375 375 375 375 375 375 375 375 375 375 375 375
375 375 375 375 375 625 ]
/Encoding 294 0 R
/BaseFont /COGPLA+CMBX12
/FontDescriptor 238 0 R
/ToUnicode 295 0 R
>>
endobj
27 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 175
/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 278 333 333 333 333 333 333
333 833 333 333 333 333 389 389 333 778 278 333 278 333 500 500
500 500 500 500 500 500 500 333 278 278 333 778 333 472 333 750
708 722 764 681 653 785 750 361 514 333 625 917 750 778 681 333
736 556 722 333 333 1028 333 333 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 333 333 278 278 333
333 556 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 500 333 333 333 333 333 333 500 ]
/Encoding 296 0 R
/BaseFont /COGPLB+CMR10
/FontDescriptor 240 0 R
/ToUnicode 297 0 R
>>
endobj
28 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 123
/LastChar 128
/Widths [ 514 285 514 333 333 514 ]
/Encoding 298 0 R
/BaseFont /COGPMC+CMSY9
/FontDescriptor 242 0 R
/ToUnicode 299 0 R
>>
endobj
29 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 44
/LastChar 119
/Widths [ 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525
525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525
525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525
525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525
525 525 525 525 525 525 525 525 525 525 525 ]
/Encoding 300 0 R
/BaseFont /COGPMD+CMTT9
/FontDescriptor 244 0 R
/ToUnicode 301 0 R
>>
endobj
30 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 46
/LastChar 116
/Widths [ 329 394 394 592 592 592 592 592 394 394 394 394 394 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 302 0 R
/BaseFont /COGPME+CMBX9
/FontDescriptor 246 0 R
/ToUnicode 303 0 R
>>
endobj
31 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 35
/LastChar 175
/Widths [ 939 385 385 385 385 446 446 385 877 323 385 323 385 569 569 569 569
569 385 385 385 385 569 323 385 385 877 385 385 385 385 799 815
385 768 737 385 843 385 583 874 706 385 843 385 768 385 829 631
815 385 843 385 385 385 385 385 385 385 385 385 385 569 631 508
631 508 385 569 631 323 385 600 323 385 631 569 631 385 446 453
385 385 385 385 385 600 385 385 385 385 385 385 385 385 385 385
385 569 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 385 385 385 385 385 385 385 385 385 385 569 ]
/Encoding 304 0 R
/BaseFont /COGPNF+CMR7
/FontDescriptor 248 0 R
/ToUnicode 305 0 R
>>
endobj
32 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 138
/Widths [ 1139 585 329 770 1139 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 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 648 333 333 333 333 333 333 333 585 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 333 333 333 333
333 333 333 333 333 333 333 333 893 ]
/Encoding 306 0 R
/BaseFont /COGPNG+CMSY7
/FontDescriptor 250 0 R
/ToUnicode 307 0 R
>>
endobj
33 0 obj
<<
/Type /ExtGState
/SA false
/SM 0.02
/OP false
/op false
/OPM 1
/BG2 /Default
/UCR2 /Default
/HT /Default
>>
endobj
34 0 obj
<<
/Type /Pages
/Kids [ 4 0 R 37 0 R 53 0 R 65 0 R 76 0 R 87 0 R 116 0 R 134 0 R 154 0 R
178 0 R ]
/Count 10
/CropBox [ 0 0 612 792 ]
/Parent 217 0 R
>>
endobj
35 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900789 4194549 1769229 ]
>>
endobj
36 0 obj
<<
/Dest (section.1.3)
/Type /Annot
/Subtype /Link
/Rect [ 359 641 366 650 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
37 0 obj
<<
/Type /Page
/Parent 34 0 R
/Resources 45 0 R
/Contents 44 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 36 0 R 38 0 R 39 0 R 40 0 R 41 0 R ]
>>
endobj
38 0 obj
<<
/Dest (cite.Sch03)
/Type /Annot
/Subtype /Link
/Rect [ 431 593 438 602 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
39 0 obj
<<
/Dest (cite.Graedel03)
/Type /Annot
/Subtype /Link
/Rect [ 153 558 160 566 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
40 0 obj
<<
/Dest (section.1.4)
/Type /Annot
/Subtype /Link
/Rect [ 427 558 434 566 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
41 0 obj
<<
/Dest (section.1.5)
/Type /Annot
/Subtype /Link
/Rect [ 154 522 161 530 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
42 0 obj
<<
/D [ 37 0 R /XYZ null 466 null ]
/Rect [ 4062987 21484028 4128768 20760436 ]
>>
endobj
43 0 obj
<<
/D [ 37 0 R /XYZ null null null ]
>>
endobj
44 0 obj
<< /Length 3517 /Filter /FlateDecode >>
stream
HnkoGNe.d >P31THe%7dO~'U]cFMbf]]7oB.7g,Bs
&qMX7wvm+(rqzWl@e}Լ2xe_U>iֵmAb%^4DB:˟߃l0ڈ$8**VXbY}\ޖŖ#9XZϺ/7T40_i8^psvQY[;iWt^lOO(=.VR`ks\
ey0iwUtʡ;UOh[Ǭtݵm(\{:=T9|"n={C{ic.Ffxf9ڋv
%OK3a\!x@.r"v=l_T%Gh_I(hl8a@:ހ4q^=;`+5C^~:%L.m^we_6!!]m~0 OD$
pBs3Ն:A,FJ괌%0
R.>/`Zi@bR1Eu$jPFj[̂g_$%|J=#"8T?J0y ęu)$jH>FvyJ
5D:py:ÙIU~8q/J^윑`]8? 㠒c nYݕ%((vHpCGm%7v|00(N{0 |C?0~_;s?#xDDehw(I^ZS'qR%J# =ƆM%ǝc=^Hv)@5#V6T4܅K졳THܳ3cvLMq̠V`3x3\/Ϣ;p0gEˮw%FbK9)2