%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 12 0 obj << /S /GoTo /D (Outline0.1) >> endobj 15 0 obj (Preface) endobj 16 0 obj << /S /GoTo /D (Outline0.2) >> endobj 19 0 obj (Graded Computation Tree Logic) endobj 20 0 obj << /S /GoTo /D (Outline0.2.1.8) >> endobj 23 0 obj (Syntax and Semantics) endobj 24 0 obj << /S /GoTo /D (Outline0.2.2.13) >> endobj 27 0 obj (Properties) endobj 28 0 obj << /S /GoTo /D (Outline0.3) >> endobj 31 0 obj (Partitioning Alternating Tree Automata) endobj 32 0 obj << /S /GoTo /D (Outline0.3.1.19) >> endobj 35 0 obj (Structure) endobj 36 0 obj << /S /GoTo /D (Outline0.3.2.23) >> endobj 39 0 obj (Emptiness) endobj 40 0 obj << /S /GoTo /D (Outline0.4) >> endobj 43 0 obj (Conclusion) endobj 44 0 obj << /S /GoTo /D (Outline0.5) >> endobj 47 0 obj () endobj 48 0 obj << /S /GoTo /D [49 0 R /Fit ] >> endobj 114 0 obj << /Length 1567 /Filter /FlateDecode >> stream xZKo7W9IEsH.9$HvNij-/ =RE;$ܕ,)- ,.Ǚ! 1a(KRS#25.)'_/%5~W21&^\8^.2* QiɧG_ѝdL$ k2'q,reu[̀*(;4\HRX[r(OR)Jr }ͰH&omx c6cUgU8ÁSjalhT Ib hOk'm$Ucfb~Bi$D< m$pqs3,3ÌfVk5OFSO70 D{Ж8Qj#|q;rnJ.]U#- $N*˔u#IP$XG n@ Aeq6#_%n+Xp &Ifi#FHJFwMxx#M)(3WZF|0B2}yM̗͒YkY{ƶfv{ެ)I7$(_?.hoO4%R'qG$ЮoCI&=cUmUmCL c}oe] -CtP/)Bbƙ:0g\#t8\ld`2J:n$́yZ5p$*Zhr5"z͋`a^zw ήfet.VoVBu#7 Z& G/>#rg>cu"`\>0Hݔ̝ o#s}F ..p,; A-&Tցܠ;O@<;O@<~xtnΨ[/GQ16gr,gU \(Bl\OsBv.ivI;;OQdeZ}cOMٸKܓ,ۋ8N'x֫pSwZΦp^q&O@f'+q7c;ex.wU:tvPMB}mm'KhLQܷjyъZ@`0^,z5b?^%U ]:kK"dtR,j41_*op~~._faǨ.iUI FVu*)TÍM2=u }zE]HGxRjT,6:wYYk}tB2_,TD 47O''vRjH꺢߿ @Co|E@\9n)t9Kzp.7gggMogr5 .?gY]'^ǗE.be;SuGk9Igu/uvPp[xxx$S78w\j K$ysNf5{l!qgpOF+0eTA||oZC\wpA;;J?/ endstream endobj 49 0 obj << /Type /Page /Contents 114 0 R /Resources 113 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 121 0 R /Annots [ 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 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 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 93 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 104 0 R 111 0 R 71 0 R 112 0 R ] >> endobj 72 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [234.467 17.995 242.437 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 73 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[1 0 0] /Rect [240.445 17.995 250.407 27.46] /Subtype /Link /A<> >> endobj 74 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [248.415 17.995 256.385 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation2) >> >> endobj 75 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [255.389 17.995 262.363 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 76 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [260.371 17.995 267.344 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 77 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [265.352 17.995 272.326 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 78 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [270.333 17.995 277.307 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation2) >> >> endobj 79 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [276.312 17.995 283.285 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 80 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [281.293 17.995 288.267 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 81 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [286.274 17.995 293.248 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation6) >> >> endobj 82 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [291.255 17.995 298.229 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation7) >> >> endobj 83 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [297.234 17.995 304.208 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 84 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [302.215 17.995 309.189 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 85 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [307.196 17.995 314.17 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation6) >> >> endobj 86 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [312.178 17.995 319.152 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation7) >> >> endobj 87 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [318.156 17.995 329.115 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation1) >> >> endobj 88 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [327.122 17.995 340.074 27.46] /Subtype /Link /A << /S /GoTo /D (Navigation27) >> >> endobj 89 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[1 0 0] /Rect [339.078 17.995 348.045 27.46] /Subtype /Link /A<> >> endobj 90 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[1 0 0] /Rect [346.052 17.995 354.022 27.46] /Subtype /Link /A<> >> endobj 91 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[1 0 0] /Rect [352.03 17.995 360.996 27.46] /Subtype /Link /A<> >> endobj 92 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [7.508 262.983 24.815 271.13] /Subtype /Link /A << /S /GoTo /D (Navigation2) >> >> endobj 94 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [80.301 258.505 85.128 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation8) >> >> endobj 95 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [84.27 258.505 89.097 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation9) >> >> endobj 96 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [88.238 258.505 93.065 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation10) >> >> endobj 97 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [92.207 258.505 97.034 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation11) >> >> endobj 98 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [96.175 258.505 101.002 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation12) >> >> endobj 99 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [100.143 258.505 104.971 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation13) >> >> endobj 100 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [104.112 258.505 108.939 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation14) >> >> endobj 101 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [108.08 258.505 112.908 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation15) >> >> endobj 102 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [112.049 258.505 116.876 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation16) >> >> endobj 103 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [116.017 258.505 120.845 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation17) >> >> endobj 93 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [79.305 262.983 144.751 271.13] /Subtype /Link /A << /S /GoTo /D (Navigation7) >> >> endobj 105 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [200.238 258.505 205.065 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation19) >> >> endobj 106 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [204.206 258.505 209.033 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation20) >> >> endobj 107 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [208.175 258.505 213.002 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation21) >> >> endobj 108 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [212.143 258.505 216.97 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation22) >> >> endobj 109 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [216.112 258.505 220.939 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation23) >> >> endobj 110 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [220.08 258.505 224.907 263.332] /Subtype /Link /A << /S /GoTo /D (Navigation24) >> >> endobj 104 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [199.241 262.983 276.671 271.13] /Subtype /Link /A << /S /GoTo /D (Navigation18) >> >> endobj 111 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [331.161 262.983 355.327 271.13] /Subtype /Link /A << /S /GoTo /D (Navigation25) >> >> endobj 71 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[0 1 1] /Rect [73.224 114.336 289.611 121.834] /Subtype/Link/A<> >> endobj 112 0 obj << /Type /Annot /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [7.508 0.644 72.954 6.931] /Subtype /Link /A << /S /GoTo /D (Navigation27) >> >> endobj 116 0 obj << /D [49 0 R /XYZ 28.346 249.009 null] >> endobj 119 0 obj << /D [49 0 R /XYZ 334.488 0 null] >> endobj 120 0 obj << /D [49 0 R /XYZ 334.488 0 null] >> endobj 113 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F51 115 0 R /F55 117 0 R /F56 118 0 R >> /ProcSet [ /PDF /Text ] >> endobj 187 0 obj << /Length 2255 /Filter /FlateDecode >> stream x[Yo9~ "fAf 2b>MAnmpV2[ūdvE]MɯNf0uJ%PZP#3"rAd]v\RAoI[q ?x-E82JK"UFbqT'=<$'M2C9DRir |gᒜ"*?e/ NHXGJ 5u_v8 o4 nj&`z{
^~3}$~X-D˹5{@j uf\cL[ILq.@F,|0H)1,{HNȹI 6FE=HJ