%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Outlines 3 0 R
/Dests 4 0 R
/OpenAction [5 0 R /Fit]
/PageMode /UseOutlines
/Metadata 6 0 R
>>
endobj
7 0 obj
<<
/Producer (dvips + GPL Ghostscript 8.71)
/CreationDate (D:20100807165428+02'00')
/ModDate (D:20100807165428+02'00')
/Creator (LaTeX with hyperref package)
/Title (Schedulability Analysis Using Uppaal: Herschel-Planck Case Study)
/Subject (4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Quantitative Verification in Practice, 2010)
/Author (Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard)
/Keywords (schedulability analysis, timed automata, stop-watch automata, model-checking, verification)
/rgid (PB:225931678_AS:102253130158098@1401390454950)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [5 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]
/Count 15
>>
endobj
3 0 obj
<<
/Count 1
/First 22 0 R
/Last 22 0 R
>>
endobj
4 0 obj
<<
/page.1 [5 0 R /XYZ 133.998627 705.003967 null]
/Doc-Start [5 0 R /XYZ 135.001373 685.996582 null]
/section*.1 [5 0 R /XYZ 135.001373 685.996582 null]
/chapter.1 [5 0 R /XYZ 135.001373 685.996582 null]
/section.1.1 [5 0 R /XYZ 135.001373 374.160583 null]
/page.2 [8 0 R /XYZ 133.998627 705.003967 null]
/section*.2 [8 0 R /XYZ 135.001373 685.996582 null]
/section.1.2 [8 0 R /XYZ 135.001373 203.404663 null]
/page.3 [9 0 R /XYZ 133.998627 705.003967 null]
/page.4 [10 0 R /XYZ 133.998627 705.003967 null]
/figure.caption.3 [10 0 R /XYZ 135.001373 690.498169 null]
/section*.4 [10 0 R /XYZ 135.001373 208.861084 null]
/page.5 [11 0 R /XYZ 133.998627 705.003967 null]
/section.1.3 [11 0 R /XYZ 135.001373 635.082397 null]
/page.6 [12 0 R /XYZ 133.998627 705.003967 null]
/subsection.1.3.1 [12 0 R /XYZ 135.001373 358.99295 null]
/page.7 [13 0 R /XYZ 133.998627 705.003967 null]
/figure.caption.5 [13 0 R /XYZ 135.001373 690.498169 null]
/subfigure.2.1 [13 0 R /XYZ 135.001373 684.996582 null]
/subfigure.2.2 [13 0 R /XYZ 349.444519 536.770874 null]
/subsection.1.3.2 [13 0 R /XYZ 135.001373 501.048645 null]
/figure.caption.6 [13 0 R /XYZ 135.001373 428.591675 null]
/Item.1 [13 0 R /XYZ 135.001373 242.71051 null]
/Item.2 [13 0 R /XYZ 135.001373 194.777405 null]
/Item.3 [13 0 R /XYZ 135.001373 170.847046 null]
/page.8 [14 0 R /XYZ 133.998627 705.003967 null]
/figure.caption.7 [14 0 R /XYZ 135.001373 690.498169 null]
/Item.4 [14 0 R /XYZ 135.001373 437.161957 null]
/page.9 [15 0 R /XYZ 133.998627 705.003967 null]
/table.caption.8 [15 0 R /XYZ 135.001373 596.276123 null]
/lstlisting.1.1 [15 0 R /XYZ 135.001373 251.473236 null]
/lstnumber.1.1.1 [15 0 R /XYZ 154.920792 220.859802 null]
/lstnumber.1.1.2 [15 0 R /XYZ 154.920792 212.86499 null]
/lstnumber.1.1.3 [15 0 R /XYZ 154.920792 204.861084 null]
/lstnumber.1.1.4 [15 0 R /XYZ 154.920792 196.866211 null]
/lstnumber.1.1.5 [15 0 R /XYZ 154.920792 188.862305 null]
/lstnumber.1.1.6 [15 0 R /XYZ 154.920792 180.858398 null]
/lstnumber.1.1.7 [15 0 R /XYZ 154.920792 172.863525 null]
/lstnumber.1.1.8 [15 0 R /XYZ 154.920792 164.859558 null]
/lstnumber.1.1.9 [15 0 R /XYZ 154.920792 156.864746 null]
/lstnumber.1.1.10 [15 0 R /XYZ 154.920792 148.86084 null]
/lstnumber.1.1.11 [15 0 R /XYZ 154.920792 140.865967 null]
/lstnumber.1.1.12 [15 0 R /XYZ 154.920792 132.862061 null]
/page.10 [16 0 R /XYZ 133.998627 705.003967 null]
/lstnumber.1.1.13 [16 0 R /XYZ 154.920792 671.996216 null]
/lstnumber.1.1.14 [16 0 R /XYZ 154.920792 664.001343 null]
/lstnumber.1.1.15 [16 0 R /XYZ 154.920792 655.997498 null]
/lstnumber.1.1.16 [16 0 R /XYZ 154.920792 648.002625 null]
/lstnumber.1.1.17 [16 0 R /XYZ 154.920792 639.998718 null]
/lstnumber.1.1.18 [16 0 R /XYZ 154.920792 632.003845 null]
/lstnumber.1.1.19 [16 0 R /XYZ 154.920792 623.999939 null]
/lstnumber.1.1.20 [16 0 R /XYZ 154.920792 615.996033 null]
/lstnumber.1.1.21 [16 0 R /XYZ 154.920792 608.00116 null]
/lstlisting.1.2 [16 0 R /XYZ 135.001373 602.335 null]
/lstnumber.1.2.1 [16 0 R /XYZ 154.920792 572.236572 null]
/lstnumber.1.2.2 [16 0 R /XYZ 154.920792 564.232666 null]
/lstnumber.1.2.3 [16 0 R /XYZ 154.920792 556.22876 null]
/lstnumber.1.2.4 [16 0 R /XYZ 154.920792 548.233887 null]
/lstnumber.1.2.5 [16 0 R /XYZ 154.920792 540.23 null]
/lstnumber.1.2.6 [16 0 R /XYZ 154.920792 532.235107 null]
/lstnumber.1.2.7 [16 0 R /XYZ 154.920792 524.231201 null]
/lstnumber.1.2.8 [16 0 R /XYZ 154.920792 516.236328 null]
/lstnumber.1.2.9 [16 0 R /XYZ 154.920792 508.232452 null]
/lstnumber.1.2.10 [16 0 R /XYZ 154.920792 500.237549 null]
/lstnumber.1.2.11 [16 0 R /XYZ 154.920792 492.233643 null]
/lstnumber.1.2.12 [16 0 R /XYZ 154.920792 484.229767 null]
/lstnumber.1.2.13 [16 0 R /XYZ 154.920792 476.234894 null]
/lstnumber.1.2.14 [16 0 R /XYZ 154.920792 468.231 null]
/lstnumber.1.2.15 [16 0 R /XYZ 154.920792 460.236115 null]
/lstnumber.1.2.16 [16 0 R /XYZ 154.920792 452.232208 null]
/lstnumber.1.2.17 [16 0 R /XYZ 154.920792 444.237335 null]
/lstnumber.1.2.18 [16 0 R /XYZ 154.920792 436.233429 null]
/lstnumber.1.2.19 [16 0 R /XYZ 154.920792 428.229523 null]
/lstnumber.1.2.20 [16 0 R /XYZ 154.920792 420.23468 null]
/lstnumber.1.2.21 [16 0 R /XYZ 154.920792 412.230774 null]
/lstnumber.1.2.22 [16 0 R /XYZ 154.920792 404.235901 null]
/lstnumber.1.2.23 [16 0 R /XYZ 154.920792 396.232 null]
/lstnumber.1.2.24 [16 0 R /XYZ 154.920792 388.237122 null]
/lstnumber.1.2.25 [16 0 R /XYZ 154.920792 380.233246 null]
/lstnumber.1.2.26 [16 0 R /XYZ 154.920792 372.22934 null]
/lstnumber.1.2.27 [16 0 R /XYZ 154.920792 364.234467 null]
/lstnumber.1.2.28 [16 0 R /XYZ 154.920792 356.23056 null]
/subsection.1.3.3 [16 0 R /XYZ 135.001373 338.766388 null]
/lstlisting.1.3 [16 0 R /XYZ 135.001373 195.617554 null]
/lstnumber.1.3.1 [16 0 R /XYZ 154.920792 164.859558 null]
/lstnumber.1.3.2 [16 0 R /XYZ 154.920792 156.864746 null]
/lstnumber.1.3.3 [16 0 R /XYZ 154.920792 148.86084 null]
/lstnumber.1.3.4 [16 0 R /XYZ 154.920792 140.865967 null]
/lstnumber.1.3.5 [16 0 R /XYZ 154.920792 132.862061 null]
/page.11 [17 0 R /XYZ 133.998627 705.003967 null]
/lstnumber.1.3.6 [17 0 R /XYZ 154.920792 671.996216 null]
/lstnumber.1.3.7 [17 0 R /XYZ 154.920792 664.001343 null]
/lstnumber.1.3.8 [17 0 R /XYZ 154.920792 655.997498 null]
/lstnumber.1.3.9 [17 0 R /XYZ 154.920792 648.002625 null]
/lstnumber.1.3.10 [17 0 R /XYZ 154.920792 639.998718 null]
/lstnumber.1.3.11 [17 0 R /XYZ 154.920792 632.003845 null]
/lstnumber.1.3.12 [17 0 R /XYZ 154.920792 623.999939 null]
/lstnumber.1.3.13 [17 0 R /XYZ 154.920792 615.996033 null]
/lstnumber.1.3.14 [17 0 R /XYZ 154.920792 608.00116 null]
/lstnumber.1.3.15 [17 0 R /XYZ 154.920792 599.997253 null]
/lstnumber.1.3.16 [17 0 R /XYZ 154.920792 592.00238 null]
/lstnumber.1.3.17 [17 0 R /XYZ 154.920792 583.998474 null]
/lstnumber.1.3.18 [17 0 R /XYZ 154.920792 576.003662 null]
/lstnumber.1.3.19 [17 0 R /XYZ 154.920792 567.999756 null]
/lstnumber.1.3.20 [17 0 R /XYZ 154.920792 559.99585 null]
/lstnumber.1.3.21 [17 0 R /XYZ 154.920792 552.001 null]
/lstnumber.1.3.22 [17 0 R /XYZ 154.920792 543.99707 null]
/lstnumber.1.3.23 [17 0 R /XYZ 154.920792 536.002197 null]
/lstnumber.1.3.24 [17 0 R /XYZ 154.920792 527.998291 null]
/lstnumber.1.3.25 [17 0 R /XYZ 154.920792 520.003418 null]
/lstnumber.1.3.26 [17 0 R /XYZ 154.920792 511.999481 null]
/lstnumber.1.3.27 [17 0 R /XYZ 154.920792 503.995605 null]
/lstnumber.1.3.28 [17 0 R /XYZ 154.920792 496.000732 null]
/lstnumber.1.3.29 [17 0 R /XYZ 154.920792 487.996826 null]
/lstnumber.1.3.30 [17 0 R /XYZ 154.920792 480.001984 null]
/lstnumber.1.3.31 [17 0 R /XYZ 154.920792 471.998077 null]
/lstnumber.1.3.32 [17 0 R /XYZ 154.920792 464.003174 null]
/lstnumber.1.3.33 [17 0 R /XYZ 154.920792 455.999268 null]
/lstnumber.1.3.34 [17 0 R /XYZ 154.920792 448.004425 null]
/lstnumber.1.3.35 [17 0 R /XYZ 154.920792 440.000519 null]
/lstlisting.1.4 [17 0 R /XYZ 135.001373 320.38269 null]
/lstnumber.1.4.1 [17 0 R /XYZ 154.920792 288.143188 null]
/lstnumber.1.4.2 [17 0 R /XYZ 154.920792 280.139282 null]
/lstnumber.1.4.3 [17 0 R /XYZ 154.920792 272.14447 null]
/lstnumber.1.4.4 [17 0 R /XYZ 154.920792 264.140533 null]
/lstnumber.1.4.5 [17 0 R /XYZ 154.920792 248.141724 null]
/lstnumber.1.4.6 [17 0 R /XYZ 154.920792 240.137848 null]
/lstnumber.1.4.7 [17 0 R /XYZ 154.920792 232.142975 null]
/lstnumber.1.4.8 [17 0 R /XYZ 154.920792 224.139069 null]
/page.12 [18 0 R /XYZ 133.998627 705.003967 null]
/figure.caption.9 [18 0 R /XYZ 135.001373 690.498169 null]
/subsection.1.3.4 [18 0 R /XYZ 135.001373 597.691711 null]
/section.1.4 [18 0 R /XYZ 135.001373 365.027466 null]
/section*.10 [18 0 R /XYZ 135.001373 291.754791 null]
/lstlisting.1.5 [18 0 R /XYZ 135.001373 195.075562 null]
/lstnumber.1.5.1 [18 0 R /XYZ 154.920792 164.859558 null]
/lstnumber.1.5.2 [18 0 R /XYZ 154.920792 156.864746 null]
/lstnumber.1.5.3 [18 0 R /XYZ 154.920792 148.86084 null]
/lstnumber.1.5.4 [18 0 R /XYZ 154.920792 140.865967 null]
/lstnumber.1.5.5 [18 0 R /XYZ 154.920792 132.862061 null]
/page.13 [19 0 R /XYZ 133.998627 705.003967 null]
/lstnumber.1.5.6 [19 0 R /XYZ 154.920792 671.996216 null]
/lstnumber.1.5.7 [19 0 R /XYZ 154.920792 664.001343 null]
/lstnumber.1.5.8 [19 0 R /XYZ 154.920792 655.997498 null]
/lstnumber.1.5.9 [19 0 R /XYZ 154.920792 648.002625 null]
/lstnumber.1.5.10 [19 0 R /XYZ 154.920792 639.998718 null]
/lstnumber.1.5.11 [19 0 R /XYZ 154.920792 632.003845 null]
/section*.11 [19 0 R /XYZ 135.001373 613.003906 null]
/table.caption.12 [19 0 R /XYZ 135.001373 469.424225 null]
/section*.13 [19 0 R /XYZ 135.001373 205.283752 null]
/page.14 [20 0 R /XYZ 133.998627 705.003967 null]
/table.caption.14 [20 0 R /XYZ 135.001373 690.498169 null]
/section.1.5 [20 0 R /XYZ 135.001373 362.994873 null]
/page.15 [21 0 R /XYZ 133.998627 705.003967 null]
/section*.15 [21 0 R /XYZ 135.001373 536.000244 null]
/cite.Times [21 0 R /XYZ 135.001373 535.000244 null]
/cite.Uppaal [21 0 R /XYZ 135.001373 488.747437 null]
/cite.tiga [21 0 R /XYZ 135.001373 466.750244 null]
/cite.DBLP#3Aconf#2Fjtres#2FBogholmKOTL08 [21 0 R /XYZ 135.001373 422.746857 null]
/cite.ABurns [21 0 R /XYZ 135.001373 378.752502 null]
/cite.sweepline [21 0 R /XYZ 135.001373 356.746277 null]
/cite.dils10 [21 0 R /XYZ 135.001373 323.746 null]
/cite.Fersman [21 0 R /XYZ 135.001373 290.745728 null]
/cite.sweepline-gen [21 0 R /XYZ 135.001373 268.748535 null]
/cite.HPSched [21 0 R /XYZ 135.001373 236.00119 null]
/cite.ASWSpec [21 0 R /XYZ 135.001373 213.751038 null]
/cite.BSWTiming [21 0 R /XYZ 135.001373 191.753845 null]
/cite.DBLP#3Ajournals#2Frts#2FWaszniowskiH08 [21 0 R /XYZ 135.001373 180.750732 null]
>>
endobj
5 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 23 0 R
/Font 24 0 R
>>
/Annots [25 0 R 26 0 R]
/Contents 27 0 R
>>
endobj
6 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 1964
>>
stream
dvips + GPL Ghostscript 8.71
schedulability analysis, timed automata, stop-watch automata, model-checking, verification
2010-08-07T16:54:28+02:00
2010-08-07T16:54:28+02:00
LaTeX with hyperref package
Schedulability Analysis Using Uppaal: Herschel-Planck Case StudyMarius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Quantitative Verification in Practice, 2010
endstream
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 28 0 R
/Font 29 0 R
>>
/Annots [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]
/Contents 40 0 R
>>
endobj
9 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 41 0 R
/Font 42 0 R
>>
/Annots [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]
/Contents 53 0 R
>>
endobj
10 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 54 0 R
/Font 55 0 R
>>
/Annots [56 0 R 57 0 R]
/Contents 58 0 R
>>
endobj
11 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 59 0 R
/Font 60 0 R
>>
/Annots [61 0 R]
/Contents 62 0 R
>>
endobj
12 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 63 0 R
/Font 64 0 R
>>
/Annots [65 0 R 66 0 R 67 0 R]
/Contents 68 0 R
>>
endobj
13 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 69 0 R
/Font 70 0 R
>>
/Annots [71 0 R 72 0 R 73 0 R]
/Contents 74 0 R
>>
endobj
14 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 75 0 R
/Font 76 0 R
>>
/Annots [77 0 R]
/Contents 78 0 R
>>
endobj
15 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 79 0 R
/Font 80 0 R
>>
/Annots [81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R]
/Contents 88 0 R
>>
endobj
16 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 89 0 R
/Font 90 0 R
>>
/Annots [91 0 R 92 0 R 93 0 R]
/Contents 94 0 R
>>
endobj
17 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 95 0 R
/Font 96 0 R
>>
/Annots [97 0 R 98 0 R 99 0 R]
/Contents 100 0 R
>>
endobj
18 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 101 0 R
/Font 102 0 R
>>
/Annots [103 0 R 104 0 R]
/Contents 105 0 R
>>
endobj
19 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 106 0 R
/Font 107 0 R
>>
/Annots [108 0 R 109 0 R 110 0 R 111 0 R]
/Contents 112 0 R
>>
endobj
20 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 113 0 R
/Font 114 0 R
>>
/Contents 115 0 R
>>
endobj
21 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources <<
/ProcSet [/PDF /Text]
/ExtGState 116 0 R
/Font 117 0 R
>>
/Annots [118 0 R 119 0 R 120 0 R 121 0 R]
/Contents 122 0 R
>>
endobj
22 0 obj
<<
/Title (Schedulability Analysis Using Uppaal: Herschel-Planck Case Study)
/Dest /chapter.1
/Parent 3 0 R
>>
endobj
23 0 obj
<<
/R10 123 0 R
>>
endobj
24 0 obj
<<
/R15 124 0 R
/R13 125 0 R
/R11 126 0 R
/R27 127 0 R
/R25 128 0 R
/R23 129 0 R
/R21 130 0 R
/R19 131 0 R
/R17 132 0 R
>>
endobj
25 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/Rect [393.771 491.295 400.371 499.065]
/Dest /cite.Uppaal
/Subtype /Link
>>
endobj
26 0 obj
<<
/Type /Annot
/C [0 1 0]
/H /I
/Border [0 0 1]
/Rect [322.293 319.368 329.262 327.777]
/Dest /cite.ABurns
/Subtype /Link
>>
endobj
27 0 obj
<<
/Length 133 0 R
/Filter /FlateDecode
>>
stream
x\Ksq#8pz?|%;,YZ(t @08t+;j0cCzˬFLr#ߗ'?9ۉL#6?/7??Qr#ͤSW'4y56ιIư9?a)RjTI趯קg;W^oO#]n{qz&'aLe6"N<~K~m3
P-]rocz=&-OqNB
δSvA?ppViߜh;L) 7W _ѱp;ʕ[7Y~T|?YznyGU5163Cfɠ+p^4~Y}Re*-֛8EA>6i39os"x8LEMDɜþxJoCPI?`%)u~KÕ|3.MQ3?\+
M
n-}.v~Fܳ9mȠ`CnfhCP36КUn=81fyLrH{gA).)H8
%3PleN, H:9 Gt0E|#ʡ
蘊 /=1 tZ!^FK`8/C.HSM&
¡qH !=/`Q'CIgyBQ#UpI=`sm6%&FQ=[R2/wR)8TEX+x|.";$I\I.3TwtEr_rIO
` =L/y,atY?\7wocܽ_ hߞ <7 ^#0GP[zҌ#4߰ʍ6qӭgM`Zu3}[)WJ?]^&2+\YۮFuuW0+S<{bzpO:lE& u>j0mAkL/)C-hIP+L>@zoXF1": .Sgq=}6|U?'
3Idi5[rZEr/~]\Zy"B⸚wdZYikeDG!'ݑހU~>oh4Sdao}@]af,2yu|,{p@-{]8YD{OHOm:A:aݛTnRH*BjOC'`Tʊ(Cv