| 1 | <?xml version="1.0" encoding="UTF-8"?>
|
|---|
| 2 | <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
|
|---|
| 3 | <plist version="1.0">
|
|---|
| 4 | <dict>
|
|---|
| 5 | <key>ActiveLayerIndex</key>
|
|---|
| 6 | <integer>0</integer>
|
|---|
| 7 | <key>ApplicationVersion</key>
|
|---|
| 8 | <array>
|
|---|
| 9 | <string>com.omnigroup.OmniGraffle</string>
|
|---|
| 10 | <string>139.18.0.187838</string>
|
|---|
| 11 | </array>
|
|---|
| 12 | <key>AutoAdjust</key>
|
|---|
| 13 | <true/>
|
|---|
| 14 | <key>BackgroundGraphic</key>
|
|---|
| 15 | <dict>
|
|---|
| 16 | <key>Bounds</key>
|
|---|
| 17 | <string>{{0, 0}, {756, 553.00002479553223}}</string>
|
|---|
| 18 | <key>Class</key>
|
|---|
| 19 | <string>SolidGraphic</string>
|
|---|
| 20 | <key>FontInfo</key>
|
|---|
| 21 | <dict>
|
|---|
| 22 | <key>Font</key>
|
|---|
| 23 | <string>Helvetica</string>
|
|---|
| 24 | <key>Size</key>
|
|---|
| 25 | <real>12</real>
|
|---|
| 26 | </dict>
|
|---|
| 27 | <key>ID</key>
|
|---|
| 28 | <integer>2</integer>
|
|---|
| 29 | <key>Style</key>
|
|---|
| 30 | <dict>
|
|---|
| 31 | <key>shadow</key>
|
|---|
| 32 | <dict>
|
|---|
| 33 | <key>Draws</key>
|
|---|
| 34 | <string>NO</string>
|
|---|
| 35 | </dict>
|
|---|
| 36 | <key>stroke</key>
|
|---|
| 37 | <dict>
|
|---|
| 38 | <key>Draws</key>
|
|---|
| 39 | <string>NO</string>
|
|---|
| 40 | </dict>
|
|---|
| 41 | </dict>
|
|---|
| 42 | </dict>
|
|---|
| 43 | <key>BaseZoom</key>
|
|---|
| 44 | <integer>0</integer>
|
|---|
| 45 | <key>CanvasOrigin</key>
|
|---|
| 46 | <string>{0, 0}</string>
|
|---|
| 47 | <key>ColumnAlign</key>
|
|---|
| 48 | <integer>1</integer>
|
|---|
| 49 | <key>ColumnSpacing</key>
|
|---|
| 50 | <real>36</real>
|
|---|
| 51 | <key>CreationDate</key>
|
|---|
| 52 | <string>2015-07-16 14:07:19 +0000</string>
|
|---|
| 53 | <key>Creator</key>
|
|---|
| 54 | <string>Manchun Zheng</string>
|
|---|
| 55 | <key>DisplayScale</key>
|
|---|
| 56 | <string>1 0/72 in = 1.0000 in</string>
|
|---|
| 57 | <key>GraphDocumentVersion</key>
|
|---|
| 58 | <integer>8</integer>
|
|---|
| 59 | <key>GraphicsList</key>
|
|---|
| 60 | <array>
|
|---|
| 61 | <dict>
|
|---|
| 62 | <key>Class</key>
|
|---|
| 63 | <string>LineGraphic</string>
|
|---|
| 64 | <key>Head</key>
|
|---|
| 65 | <dict>
|
|---|
| 66 | <key>ID</key>
|
|---|
| 67 | <integer>108</integer>
|
|---|
| 68 | </dict>
|
|---|
| 69 | <key>ID</key>
|
|---|
| 70 | <integer>110</integer>
|
|---|
| 71 | <key>Points</key>
|
|---|
| 72 | <array>
|
|---|
| 73 | <string>{479.00000000000023, 200.9999832562483}</string>
|
|---|
| 74 | <string>{492.50000000000642, 200.9999832562483}</string>
|
|---|
| 75 | </array>
|
|---|
| 76 | <key>Style</key>
|
|---|
| 77 | <dict>
|
|---|
| 78 | <key>stroke</key>
|
|---|
| 79 | <dict>
|
|---|
| 80 | <key>HeadArrow</key>
|
|---|
| 81 | <string>FilledArrow</string>
|
|---|
| 82 | <key>HeadScale</key>
|
|---|
| 83 | <real>0.5</real>
|
|---|
| 84 | <key>Legacy</key>
|
|---|
| 85 | <true/>
|
|---|
| 86 | <key>LineType</key>
|
|---|
| 87 | <integer>1</integer>
|
|---|
| 88 | <key>TailArrow</key>
|
|---|
| 89 | <string>0</string>
|
|---|
| 90 | </dict>
|
|---|
| 91 | </dict>
|
|---|
| 92 | <key>Tail</key>
|
|---|
| 93 | <dict>
|
|---|
| 94 | <key>ID</key>
|
|---|
| 95 | <integer>107</integer>
|
|---|
| 96 | </dict>
|
|---|
| 97 | </dict>
|
|---|
| 98 | <dict>
|
|---|
| 99 | <key>Class</key>
|
|---|
| 100 | <string>LineGraphic</string>
|
|---|
| 101 | <key>Head</key>
|
|---|
| 102 | <dict>
|
|---|
| 103 | <key>ID</key>
|
|---|
| 104 | <integer>107</integer>
|
|---|
| 105 | </dict>
|
|---|
| 106 | <key>ID</key>
|
|---|
| 107 | <integer>109</integer>
|
|---|
| 108 | <key>Points</key>
|
|---|
| 109 | <array>
|
|---|
| 110 | <string>{398.99999999999613, 200.99998355859162}</string>
|
|---|
| 111 | <string>{412.99999999999989, 200.99998355859162}</string>
|
|---|
| 112 | </array>
|
|---|
| 113 | <key>Style</key>
|
|---|
| 114 | <dict>
|
|---|
| 115 | <key>stroke</key>
|
|---|
| 116 | <dict>
|
|---|
| 117 | <key>HeadArrow</key>
|
|---|
| 118 | <string>FilledArrow</string>
|
|---|
| 119 | <key>HeadScale</key>
|
|---|
| 120 | <real>0.5</real>
|
|---|
| 121 | <key>Legacy</key>
|
|---|
| 122 | <true/>
|
|---|
| 123 | <key>LineType</key>
|
|---|
| 124 | <integer>1</integer>
|
|---|
| 125 | <key>TailArrow</key>
|
|---|
| 126 | <string>0</string>
|
|---|
| 127 | </dict>
|
|---|
| 128 | </dict>
|
|---|
| 129 | <key>Tail</key>
|
|---|
| 130 | <dict>
|
|---|
| 131 | <key>ID</key>
|
|---|
| 132 | <integer>102</integer>
|
|---|
| 133 | </dict>
|
|---|
| 134 | </dict>
|
|---|
| 135 | <dict>
|
|---|
| 136 | <key>Bounds</key>
|
|---|
| 137 | <string>{{493, 183.5}, {86, 35}}</string>
|
|---|
| 138 | <key>Class</key>
|
|---|
| 139 | <string>ShapedGraphic</string>
|
|---|
| 140 | <key>ID</key>
|
|---|
| 141 | <integer>108</integer>
|
|---|
| 142 | <key>Shape</key>
|
|---|
| 143 | <string>RoundRect</string>
|
|---|
| 144 | <key>Style</key>
|
|---|
| 145 | <dict>
|
|---|
| 146 | <key>shadow</key>
|
|---|
| 147 | <dict>
|
|---|
| 148 | <key>Draws</key>
|
|---|
| 149 | <string>NO</string>
|
|---|
| 150 | </dict>
|
|---|
| 151 | </dict>
|
|---|
| 152 | <key>Text</key>
|
|---|
| 153 | <dict>
|
|---|
| 154 | <key>Align</key>
|
|---|
| 155 | <integer>0</integer>
|
|---|
| 156 | <key>Pad</key>
|
|---|
| 157 | <integer>0</integer>
|
|---|
| 158 | <key>Text</key>
|
|---|
| 159 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 160 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 161 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 162 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
|
|---|
| 163 |
|
|---|
| 164 | \f0\i\fs22 \cf0 Model builder + Verifier}</string>
|
|---|
| 165 | </dict>
|
|---|
| 166 | </dict>
|
|---|
| 167 | <dict>
|
|---|
| 168 | <key>Bounds</key>
|
|---|
| 169 | <string>{{413.5, 177.5}, {65, 47}}</string>
|
|---|
| 170 | <key>Class</key>
|
|---|
| 171 | <string>ShapedGraphic</string>
|
|---|
| 172 | <key>FontInfo</key>
|
|---|
| 173 | <dict>
|
|---|
| 174 | <key>Font</key>
|
|---|
| 175 | <string>Helvetica-Bold</string>
|
|---|
| 176 | <key>Size</key>
|
|---|
| 177 | <real>12</real>
|
|---|
| 178 | </dict>
|
|---|
| 179 | <key>ID</key>
|
|---|
| 180 | <integer>107</integer>
|
|---|
| 181 | <key>Shape</key>
|
|---|
| 182 | <string>Rectangle</string>
|
|---|
| 183 | <key>Style</key>
|
|---|
| 184 | <dict>
|
|---|
| 185 | <key>fill</key>
|
|---|
| 186 | <dict>
|
|---|
| 187 | <key>Color</key>
|
|---|
| 188 | <dict>
|
|---|
| 189 | <key>b</key>
|
|---|
| 190 | <string>0.901961</string>
|
|---|
| 191 | <key>g</key>
|
|---|
| 192 | <string>0.901961</string>
|
|---|
| 193 | <key>r</key>
|
|---|
| 194 | <string>0.901961</string>
|
|---|
| 195 | </dict>
|
|---|
| 196 | </dict>
|
|---|
| 197 | <key>shadow</key>
|
|---|
| 198 | <dict>
|
|---|
| 199 | <key>Draws</key>
|
|---|
| 200 | <string>NO</string>
|
|---|
| 201 | </dict>
|
|---|
| 202 | </dict>
|
|---|
| 203 | <key>Text</key>
|
|---|
| 204 | <dict>
|
|---|
| 205 | <key>Text</key>
|
|---|
| 206 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 207 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 208 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 209 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 210 |
|
|---|
| 211 | \f0\fs20 \cf0 CIVL
|
|---|
| 212 | \b AST\
|
|---|
| 213 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 214 |
|
|---|
| 215 | \b0\fs24 \cf0 spec-impl}</string>
|
|---|
| 216 | </dict>
|
|---|
| 217 | </dict>
|
|---|
| 218 | <dict>
|
|---|
| 219 | <key>Class</key>
|
|---|
| 220 | <string>LineGraphic</string>
|
|---|
| 221 | <key>Head</key>
|
|---|
| 222 | <dict>
|
|---|
| 223 | <key>ID</key>
|
|---|
| 224 | <integer>102</integer>
|
|---|
| 225 | </dict>
|
|---|
| 226 | <key>ID</key>
|
|---|
| 227 | <integer>106</integer>
|
|---|
| 228 | <key>Points</key>
|
|---|
| 229 | <array>
|
|---|
| 230 | <string>{307.97648202107098, 217.14815250777005}</string>
|
|---|
| 231 | <string>{321.56700910095213, 212.82578303925087}</string>
|
|---|
| 232 | </array>
|
|---|
| 233 | <key>Style</key>
|
|---|
| 234 | <dict>
|
|---|
| 235 | <key>stroke</key>
|
|---|
| 236 | <dict>
|
|---|
| 237 | <key>HeadArrow</key>
|
|---|
| 238 | <string>FilledArrow</string>
|
|---|
| 239 | <key>HeadScale</key>
|
|---|
| 240 | <real>0.5</real>
|
|---|
| 241 | <key>Legacy</key>
|
|---|
| 242 | <true/>
|
|---|
| 243 | <key>LineType</key>
|
|---|
| 244 | <integer>1</integer>
|
|---|
| 245 | <key>TailArrow</key>
|
|---|
| 246 | <string>0</string>
|
|---|
| 247 | </dict>
|
|---|
| 248 | </dict>
|
|---|
| 249 | <key>Tail</key>
|
|---|
| 250 | <dict>
|
|---|
| 251 | <key>ID</key>
|
|---|
| 252 | <integer>95</integer>
|
|---|
| 253 | </dict>
|
|---|
| 254 | </dict>
|
|---|
| 255 | <dict>
|
|---|
| 256 | <key>Class</key>
|
|---|
| 257 | <string>LineGraphic</string>
|
|---|
| 258 | <key>Head</key>
|
|---|
| 259 | <dict>
|
|---|
| 260 | <key>ID</key>
|
|---|
| 261 | <integer>102</integer>
|
|---|
| 262 | </dict>
|
|---|
| 263 | <key>ID</key>
|
|---|
| 264 | <integer>105</integer>
|
|---|
| 265 | <key>Points</key>
|
|---|
| 266 | <array>
|
|---|
| 267 | <string>{307.97648203131979, 184.85184749548949}</string>
|
|---|
| 268 | <string>{321.56701031234155, 189.17421734602283}</string>
|
|---|
| 269 | </array>
|
|---|
| 270 | <key>Style</key>
|
|---|
| 271 | <dict>
|
|---|
| 272 | <key>stroke</key>
|
|---|
| 273 | <dict>
|
|---|
| 274 | <key>HeadArrow</key>
|
|---|
| 275 | <string>FilledArrow</string>
|
|---|
| 276 | <key>HeadScale</key>
|
|---|
| 277 | <real>0.5</real>
|
|---|
| 278 | <key>Legacy</key>
|
|---|
| 279 | <true/>
|
|---|
| 280 | <key>LineType</key>
|
|---|
| 281 | <integer>1</integer>
|
|---|
| 282 | <key>TailArrow</key>
|
|---|
| 283 | <string>0</string>
|
|---|
| 284 | </dict>
|
|---|
| 285 | </dict>
|
|---|
| 286 | <key>Tail</key>
|
|---|
| 287 | <dict>
|
|---|
| 288 | <key>ID</key>
|
|---|
| 289 | <integer>94</integer>
|
|---|
| 290 | </dict>
|
|---|
| 291 | </dict>
|
|---|
| 292 | <dict>
|
|---|
| 293 | <key>Bounds</key>
|
|---|
| 294 | <string>{{319, 183.5}, {79.5, 35}}</string>
|
|---|
| 295 | <key>Class</key>
|
|---|
| 296 | <string>ShapedGraphic</string>
|
|---|
| 297 | <key>ID</key>
|
|---|
| 298 | <integer>102</integer>
|
|---|
| 299 | <key>Shape</key>
|
|---|
| 300 | <string>RoundRect</string>
|
|---|
| 301 | <key>Style</key>
|
|---|
| 302 | <dict>
|
|---|
| 303 | <key>fill</key>
|
|---|
| 304 | <dict>
|
|---|
| 305 | <key>Color</key>
|
|---|
| 306 | <dict>
|
|---|
| 307 | <key>b</key>
|
|---|
| 308 | <string>0.679018</string>
|
|---|
| 309 | <key>g</key>
|
|---|
| 310 | <string>0.909892</string>
|
|---|
| 311 | <key>r</key>
|
|---|
| 312 | <string>1</string>
|
|---|
| 313 | </dict>
|
|---|
| 314 | </dict>
|
|---|
| 315 | <key>shadow</key>
|
|---|
| 316 | <dict>
|
|---|
| 317 | <key>Draws</key>
|
|---|
| 318 | <string>NO</string>
|
|---|
| 319 | </dict>
|
|---|
| 320 | </dict>
|
|---|
| 321 | <key>Text</key>
|
|---|
| 322 | <dict>
|
|---|
| 323 | <key>Text</key>
|
|---|
| 324 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 325 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 326 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 327 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 328 |
|
|---|
| 329 | \f0\fs24 \cf0 Compare Combiner}</string>
|
|---|
| 330 | </dict>
|
|---|
| 331 | </dict>
|
|---|
| 332 | <dict>
|
|---|
| 333 | <key>Class</key>
|
|---|
| 334 | <string>LineGraphic</string>
|
|---|
| 335 | <key>Head</key>
|
|---|
| 336 | <dict>
|
|---|
| 337 | <key>ID</key>
|
|---|
| 338 | <integer>95</integer>
|
|---|
| 339 | </dict>
|
|---|
| 340 | <key>ID</key>
|
|---|
| 341 | <integer>101</integer>
|
|---|
| 342 | <key>Points</key>
|
|---|
| 343 | <array>
|
|---|
| 344 | <string>{231.46085508027224, 213.15183897131075}</string>
|
|---|
| 345 | <string>{246.02162917888649, 217.57967670873055}</string>
|
|---|
| 346 | </array>
|
|---|
| 347 | <key>Style</key>
|
|---|
| 348 | <dict>
|
|---|
| 349 | <key>stroke</key>
|
|---|
| 350 | <dict>
|
|---|
| 351 | <key>HeadArrow</key>
|
|---|
| 352 | <string>FilledArrow</string>
|
|---|
| 353 | <key>HeadScale</key>
|
|---|
| 354 | <real>0.5</real>
|
|---|
| 355 | <key>Legacy</key>
|
|---|
| 356 | <true/>
|
|---|
| 357 | <key>LineType</key>
|
|---|
| 358 | <integer>1</integer>
|
|---|
| 359 | <key>TailArrow</key>
|
|---|
| 360 | <string>0</string>
|
|---|
| 361 | </dict>
|
|---|
| 362 | </dict>
|
|---|
| 363 | <key>Tail</key>
|
|---|
| 364 | <dict>
|
|---|
| 365 | <key>ID</key>
|
|---|
| 366 | <integer>80</integer>
|
|---|
| 367 | </dict>
|
|---|
| 368 | </dict>
|
|---|
| 369 | <dict>
|
|---|
| 370 | <key>Class</key>
|
|---|
| 371 | <string>LineGraphic</string>
|
|---|
| 372 | <key>Head</key>
|
|---|
| 373 | <dict>
|
|---|
| 374 | <key>ID</key>
|
|---|
| 375 | <integer>94</integer>
|
|---|
| 376 | </dict>
|
|---|
| 377 | <key>ID</key>
|
|---|
| 378 | <integer>100</integer>
|
|---|
| 379 | <key>Points</key>
|
|---|
| 380 | <array>
|
|---|
| 381 | <string>{231.46085642129353, 188.84816062089317}</string>
|
|---|
| 382 | <string>{246.02162919251961, 184.42032328712355}</string>
|
|---|
| 383 | </array>
|
|---|
| 384 | <key>Style</key>
|
|---|
| 385 | <dict>
|
|---|
| 386 | <key>stroke</key>
|
|---|
| 387 | <dict>
|
|---|
| 388 | <key>HeadArrow</key>
|
|---|
| 389 | <string>FilledArrow</string>
|
|---|
| 390 | <key>HeadScale</key>
|
|---|
| 391 | <real>0.5</real>
|
|---|
| 392 | <key>Legacy</key>
|
|---|
| 393 | <true/>
|
|---|
| 394 | <key>LineType</key>
|
|---|
| 395 | <integer>1</integer>
|
|---|
| 396 | <key>TailArrow</key>
|
|---|
| 397 | <string>0</string>
|
|---|
| 398 | </dict>
|
|---|
| 399 | </dict>
|
|---|
| 400 | <key>Tail</key>
|
|---|
| 401 | <dict>
|
|---|
| 402 | <key>ID</key>
|
|---|
| 403 | <integer>80</integer>
|
|---|
| 404 | </dict>
|
|---|
| 405 | </dict>
|
|---|
| 406 | <dict>
|
|---|
| 407 | <key>Class</key>
|
|---|
| 408 | <string>LineGraphic</string>
|
|---|
| 409 | <key>Head</key>
|
|---|
| 410 | <dict>
|
|---|
| 411 | <key>ID</key>
|
|---|
| 412 | <integer>80</integer>
|
|---|
| 413 | </dict>
|
|---|
| 414 | <key>ID</key>
|
|---|
| 415 | <integer>99</integer>
|
|---|
| 416 | <key>Points</key>
|
|---|
| 417 | <array>
|
|---|
| 418 | <string>{136.31108564274041, 220.2401719777678}</string>
|
|---|
| 419 | <string>{152.62342948780682, 214.5532998116025}</string>
|
|---|
| 420 | </array>
|
|---|
| 421 | <key>Style</key>
|
|---|
| 422 | <dict>
|
|---|
| 423 | <key>stroke</key>
|
|---|
| 424 | <dict>
|
|---|
| 425 | <key>HeadArrow</key>
|
|---|
| 426 | <string>FilledArrow</string>
|
|---|
| 427 | <key>HeadScale</key>
|
|---|
| 428 | <real>0.5</real>
|
|---|
| 429 | <key>Legacy</key>
|
|---|
| 430 | <true/>
|
|---|
| 431 | <key>LineType</key>
|
|---|
| 432 | <integer>1</integer>
|
|---|
| 433 | <key>TailArrow</key>
|
|---|
| 434 | <string>0</string>
|
|---|
| 435 | </dict>
|
|---|
| 436 | </dict>
|
|---|
| 437 | <key>Tail</key>
|
|---|
| 438 | <dict>
|
|---|
| 439 | <key>ID</key>
|
|---|
| 440 | <integer>74</integer>
|
|---|
| 441 | </dict>
|
|---|
| 442 | </dict>
|
|---|
| 443 | <dict>
|
|---|
| 444 | <key>Class</key>
|
|---|
| 445 | <string>LineGraphic</string>
|
|---|
| 446 | <key>Head</key>
|
|---|
| 447 | <dict>
|
|---|
| 448 | <key>ID</key>
|
|---|
| 449 | <integer>80</integer>
|
|---|
| 450 | </dict>
|
|---|
| 451 | <key>ID</key>
|
|---|
| 452 | <integer>98</integer>
|
|---|
| 453 | <key>Points</key>
|
|---|
| 454 | <array>
|
|---|
| 455 | <string>{136.47213140063627, 181.81597241488984}</string>
|
|---|
| 456 | <string>{152.62343100244067, 187.44670071642975}</string>
|
|---|
| 457 | </array>
|
|---|
| 458 | <key>Style</key>
|
|---|
| 459 | <dict>
|
|---|
| 460 | <key>stroke</key>
|
|---|
| 461 | <dict>
|
|---|
| 462 | <key>HeadArrow</key>
|
|---|
| 463 | <string>FilledArrow</string>
|
|---|
| 464 | <key>HeadScale</key>
|
|---|
| 465 | <real>0.5</real>
|
|---|
| 466 | <key>Legacy</key>
|
|---|
| 467 | <true/>
|
|---|
| 468 | <key>LineType</key>
|
|---|
| 469 | <integer>1</integer>
|
|---|
| 470 | <key>TailArrow</key>
|
|---|
| 471 | <string>0</string>
|
|---|
| 472 | </dict>
|
|---|
| 473 | </dict>
|
|---|
| 474 | <key>Tail</key>
|
|---|
| 475 | <dict>
|
|---|
| 476 | <key>ID</key>
|
|---|
| 477 | <integer>73</integer>
|
|---|
| 478 | </dict>
|
|---|
| 479 | </dict>
|
|---|
| 480 | <dict>
|
|---|
| 481 | <key>Bounds</key>
|
|---|
| 482 | <string>{{246.5, 209.5}, {61, 35}}</string>
|
|---|
| 483 | <key>Class</key>
|
|---|
| 484 | <string>ShapedGraphic</string>
|
|---|
| 485 | <key>FontInfo</key>
|
|---|
| 486 | <dict>
|
|---|
| 487 | <key>Font</key>
|
|---|
| 488 | <string>Helvetica-Bold</string>
|
|---|
| 489 | <key>Size</key>
|
|---|
| 490 | <real>12</real>
|
|---|
| 491 | </dict>
|
|---|
| 492 | <key>ID</key>
|
|---|
| 493 | <integer>95</integer>
|
|---|
| 494 | <key>Shape</key>
|
|---|
| 495 | <string>Rectangle</string>
|
|---|
| 496 | <key>Style</key>
|
|---|
| 497 | <dict>
|
|---|
| 498 | <key>fill</key>
|
|---|
| 499 | <dict>
|
|---|
| 500 | <key>Color</key>
|
|---|
| 501 | <dict>
|
|---|
| 502 | <key>b</key>
|
|---|
| 503 | <string>0.901961</string>
|
|---|
| 504 | <key>g</key>
|
|---|
| 505 | <string>0.901961</string>
|
|---|
| 506 | <key>r</key>
|
|---|
| 507 | <string>0.901961</string>
|
|---|
| 508 | </dict>
|
|---|
| 509 | </dict>
|
|---|
| 510 | <key>shadow</key>
|
|---|
| 511 | <dict>
|
|---|
| 512 | <key>Draws</key>
|
|---|
| 513 | <string>NO</string>
|
|---|
| 514 | </dict>
|
|---|
| 515 | </dict>
|
|---|
| 516 | <key>Text</key>
|
|---|
| 517 | <dict>
|
|---|
| 518 | <key>Text</key>
|
|---|
| 519 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 520 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 521 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 522 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 523 |
|
|---|
| 524 | \f0\fs20 \cf0 CIVL
|
|---|
| 525 | \b AST\
|
|---|
| 526 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 527 |
|
|---|
| 528 | \b0\fs24 \cf0 impl}</string>
|
|---|
| 529 | </dict>
|
|---|
| 530 | </dict>
|
|---|
| 531 | <dict>
|
|---|
| 532 | <key>Bounds</key>
|
|---|
| 533 | <string>{{246.5, 157.5}, {61, 35}}</string>
|
|---|
| 534 | <key>Class</key>
|
|---|
| 535 | <string>ShapedGraphic</string>
|
|---|
| 536 | <key>FontInfo</key>
|
|---|
| 537 | <dict>
|
|---|
| 538 | <key>Font</key>
|
|---|
| 539 | <string>Helvetica-Bold</string>
|
|---|
| 540 | <key>Size</key>
|
|---|
| 541 | <real>12</real>
|
|---|
| 542 | </dict>
|
|---|
| 543 | <key>ID</key>
|
|---|
| 544 | <integer>94</integer>
|
|---|
| 545 | <key>Shape</key>
|
|---|
| 546 | <string>Rectangle</string>
|
|---|
| 547 | <key>Style</key>
|
|---|
| 548 | <dict>
|
|---|
| 549 | <key>fill</key>
|
|---|
| 550 | <dict>
|
|---|
| 551 | <key>Color</key>
|
|---|
| 552 | <dict>
|
|---|
| 553 | <key>b</key>
|
|---|
| 554 | <string>0.901961</string>
|
|---|
| 555 | <key>g</key>
|
|---|
| 556 | <string>0.901961</string>
|
|---|
| 557 | <key>r</key>
|
|---|
| 558 | <string>0.901961</string>
|
|---|
| 559 | </dict>
|
|---|
| 560 | </dict>
|
|---|
| 561 | <key>shadow</key>
|
|---|
| 562 | <dict>
|
|---|
| 563 | <key>Draws</key>
|
|---|
| 564 | <string>NO</string>
|
|---|
| 565 | </dict>
|
|---|
| 566 | </dict>
|
|---|
| 567 | <key>Text</key>
|
|---|
| 568 | <dict>
|
|---|
| 569 | <key>Text</key>
|
|---|
| 570 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 571 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 572 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 573 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 574 |
|
|---|
| 575 | \f0\fs20 \cf0 CIVL
|
|---|
| 576 | \b AST\
|
|---|
| 577 |
|
|---|
| 578 | \b0\fs24 spec}</string>
|
|---|
| 579 | </dict>
|
|---|
| 580 | </dict>
|
|---|
| 581 | <dict>
|
|---|
| 582 | <key>Bounds</key>
|
|---|
| 583 | <string>{{148.5, 183.5}, {86, 35}}</string>
|
|---|
| 584 | <key>Class</key>
|
|---|
| 585 | <string>ShapedGraphic</string>
|
|---|
| 586 | <key>ID</key>
|
|---|
| 587 | <integer>80</integer>
|
|---|
| 588 | <key>Shape</key>
|
|---|
| 589 | <string>RoundRect</string>
|
|---|
| 590 | <key>Style</key>
|
|---|
| 591 | <dict>
|
|---|
| 592 | <key>shadow</key>
|
|---|
| 593 | <dict>
|
|---|
| 594 | <key>Draws</key>
|
|---|
| 595 | <string>NO</string>
|
|---|
| 596 | </dict>
|
|---|
| 597 | </dict>
|
|---|
| 598 | <key>Text</key>
|
|---|
| 599 | <dict>
|
|---|
| 600 | <key>Align</key>
|
|---|
| 601 | <integer>0</integer>
|
|---|
| 602 | <key>Pad</key>
|
|---|
| 603 | <integer>0</integer>
|
|---|
| 604 | <key>Text</key>
|
|---|
| 605 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 606 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 607 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 608 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
|
|---|
| 609 |
|
|---|
| 610 | \f0\i\fs22 \cf0 Parser + Transformers}</string>
|
|---|
| 611 | </dict>
|
|---|
| 612 | </dict>
|
|---|
| 613 | <dict>
|
|---|
| 614 | <key>Bounds</key>
|
|---|
| 615 | <string>{{83.5, 212}, {52.5, 35}}</string>
|
|---|
| 616 | <key>Class</key>
|
|---|
| 617 | <string>ShapedGraphic</string>
|
|---|
| 618 | <key>ID</key>
|
|---|
| 619 | <integer>74</integer>
|
|---|
| 620 | <key>Shape</key>
|
|---|
| 621 | <string>NoteShape</string>
|
|---|
| 622 | <key>Style</key>
|
|---|
| 623 | <dict>
|
|---|
| 624 | <key>fill</key>
|
|---|
| 625 | <dict>
|
|---|
| 626 | <key>Color</key>
|
|---|
| 627 | <dict>
|
|---|
| 628 | <key>b</key>
|
|---|
| 629 | <string>0.901961</string>
|
|---|
| 630 | <key>g</key>
|
|---|
| 631 | <string>0.901961</string>
|
|---|
| 632 | <key>r</key>
|
|---|
| 633 | <string>0.901961</string>
|
|---|
| 634 | </dict>
|
|---|
| 635 | </dict>
|
|---|
| 636 | <key>shadow</key>
|
|---|
| 637 | <dict>
|
|---|
| 638 | <key>Draws</key>
|
|---|
| 639 | <string>NO</string>
|
|---|
| 640 | </dict>
|
|---|
| 641 | </dict>
|
|---|
| 642 | <key>Text</key>
|
|---|
| 643 | <dict>
|
|---|
| 644 | <key>Text</key>
|
|---|
| 645 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 646 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 647 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 648 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 649 |
|
|---|
| 650 | \f0\b\fs20 \cf0 source
|
|---|
| 651 | \fs24 \
|
|---|
| 652 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 653 |
|
|---|
| 654 | \b0 \cf0 impl}</string>
|
|---|
| 655 | </dict>
|
|---|
| 656 | </dict>
|
|---|
| 657 | <dict>
|
|---|
| 658 | <key>Bounds</key>
|
|---|
| 659 | <string>{{83.5, 155}, {52.5, 35}}</string>
|
|---|
| 660 | <key>Class</key>
|
|---|
| 661 | <string>ShapedGraphic</string>
|
|---|
| 662 | <key>ID</key>
|
|---|
| 663 | <integer>73</integer>
|
|---|
| 664 | <key>Shape</key>
|
|---|
| 665 | <string>NoteShape</string>
|
|---|
| 666 | <key>Style</key>
|
|---|
| 667 | <dict>
|
|---|
| 668 | <key>fill</key>
|
|---|
| 669 | <dict>
|
|---|
| 670 | <key>Color</key>
|
|---|
| 671 | <dict>
|
|---|
| 672 | <key>b</key>
|
|---|
| 673 | <string>0.901961</string>
|
|---|
| 674 | <key>g</key>
|
|---|
| 675 | <string>0.901961</string>
|
|---|
| 676 | <key>r</key>
|
|---|
| 677 | <string>0.901961</string>
|
|---|
| 678 | </dict>
|
|---|
| 679 | </dict>
|
|---|
| 680 | <key>shadow</key>
|
|---|
| 681 | <dict>
|
|---|
| 682 | <key>Draws</key>
|
|---|
| 683 | <string>NO</string>
|
|---|
| 684 | </dict>
|
|---|
| 685 | </dict>
|
|---|
| 686 | <key>Text</key>
|
|---|
| 687 | <dict>
|
|---|
| 688 | <key>Text</key>
|
|---|
| 689 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 690 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 691 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 692 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 693 |
|
|---|
| 694 | \f0\b\fs20 \cf0 source
|
|---|
| 695 | \fs24 \
|
|---|
| 696 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 697 |
|
|---|
| 698 | \b0 \cf0 spec}</string>
|
|---|
| 699 | </dict>
|
|---|
| 700 | </dict>
|
|---|
| 701 | </array>
|
|---|
| 702 | <key>GridInfo</key>
|
|---|
| 703 | <dict/>
|
|---|
| 704 | <key>GuidesLocked</key>
|
|---|
| 705 | <string>NO</string>
|
|---|
| 706 | <key>GuidesVisible</key>
|
|---|
| 707 | <string>YES</string>
|
|---|
| 708 | <key>HPages</key>
|
|---|
| 709 | <integer>1</integer>
|
|---|
| 710 | <key>ImageCounter</key>
|
|---|
| 711 | <integer>1</integer>
|
|---|
| 712 | <key>KeepToScale</key>
|
|---|
| 713 | <false/>
|
|---|
| 714 | <key>Layers</key>
|
|---|
| 715 | <array>
|
|---|
| 716 | <dict>
|
|---|
| 717 | <key>Lock</key>
|
|---|
| 718 | <string>NO</string>
|
|---|
| 719 | <key>Name</key>
|
|---|
| 720 | <string>Layer 1</string>
|
|---|
| 721 | <key>Print</key>
|
|---|
| 722 | <string>YES</string>
|
|---|
| 723 | <key>View</key>
|
|---|
| 724 | <string>YES</string>
|
|---|
| 725 | </dict>
|
|---|
| 726 | </array>
|
|---|
| 727 | <key>LayoutInfo</key>
|
|---|
| 728 | <dict>
|
|---|
| 729 | <key>Animate</key>
|
|---|
| 730 | <string>NO</string>
|
|---|
| 731 | <key>circoMinDist</key>
|
|---|
| 732 | <real>18</real>
|
|---|
| 733 | <key>circoSeparation</key>
|
|---|
| 734 | <real>0.0</real>
|
|---|
| 735 | <key>layoutEngine</key>
|
|---|
| 736 | <string>dot</string>
|
|---|
| 737 | <key>neatoSeparation</key>
|
|---|
| 738 | <real>0.0</real>
|
|---|
| 739 | <key>twopiSeparation</key>
|
|---|
| 740 | <real>0.0</real>
|
|---|
| 741 | </dict>
|
|---|
| 742 | <key>LinksVisible</key>
|
|---|
| 743 | <string>NO</string>
|
|---|
| 744 | <key>MagnetsVisible</key>
|
|---|
| 745 | <string>NO</string>
|
|---|
| 746 | <key>MasterSheets</key>
|
|---|
| 747 | <array/>
|
|---|
| 748 | <key>ModificationDate</key>
|
|---|
| 749 | <string>2015-07-22 14:29:47 +0000</string>
|
|---|
| 750 | <key>Modifier</key>
|
|---|
| 751 | <string>Manchun Zheng</string>
|
|---|
| 752 | <key>NotesVisible</key>
|
|---|
| 753 | <string>NO</string>
|
|---|
| 754 | <key>Orientation</key>
|
|---|
| 755 | <integer>2</integer>
|
|---|
| 756 | <key>OriginVisible</key>
|
|---|
| 757 | <string>NO</string>
|
|---|
| 758 | <key>PageBreaks</key>
|
|---|
| 759 | <string>YES</string>
|
|---|
| 760 | <key>PrintInfo</key>
|
|---|
| 761 | <dict>
|
|---|
| 762 | <key>NSBottomMargin</key>
|
|---|
| 763 | <array>
|
|---|
| 764 | <string>float</string>
|
|---|
| 765 | <string>41</string>
|
|---|
| 766 | </array>
|
|---|
| 767 | <key>NSHorizonalPagination</key>
|
|---|
| 768 | <array>
|
|---|
| 769 | <string>coded</string>
|
|---|
| 770 | <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
|
|---|
| 771 | </array>
|
|---|
| 772 | <key>NSLeftMargin</key>
|
|---|
| 773 | <array>
|
|---|
| 774 | <string>float</string>
|
|---|
| 775 | <string>18</string>
|
|---|
| 776 | </array>
|
|---|
| 777 | <key>NSOrientation</key>
|
|---|
| 778 | <array>
|
|---|
| 779 | <string>coded</string>
|
|---|
| 780 | <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG</string>
|
|---|
| 781 | </array>
|
|---|
| 782 | <key>NSPaperSize</key>
|
|---|
| 783 | <array>
|
|---|
| 784 | <string>size</string>
|
|---|
| 785 | <string>{792, 612.00002479553223}</string>
|
|---|
| 786 | </array>
|
|---|
| 787 | <key>NSPrintReverseOrientation</key>
|
|---|
| 788 | <array>
|
|---|
| 789 | <string>int</string>
|
|---|
| 790 | <string>0</string>
|
|---|
| 791 | </array>
|
|---|
| 792 | <key>NSRightMargin</key>
|
|---|
| 793 | <array>
|
|---|
| 794 | <string>float</string>
|
|---|
| 795 | <string>18</string>
|
|---|
| 796 | </array>
|
|---|
| 797 | <key>NSTopMargin</key>
|
|---|
| 798 | <array>
|
|---|
| 799 | <string>float</string>
|
|---|
| 800 | <string>18</string>
|
|---|
| 801 | </array>
|
|---|
| 802 | </dict>
|
|---|
| 803 | <key>PrintOnePage</key>
|
|---|
| 804 | <false/>
|
|---|
| 805 | <key>ReadOnly</key>
|
|---|
| 806 | <string>NO</string>
|
|---|
| 807 | <key>RowAlign</key>
|
|---|
| 808 | <integer>1</integer>
|
|---|
| 809 | <key>RowSpacing</key>
|
|---|
| 810 | <real>36</real>
|
|---|
| 811 | <key>SheetTitle</key>
|
|---|
| 812 | <string>Canvas 1</string>
|
|---|
| 813 | <key>SmartAlignmentGuidesActive</key>
|
|---|
| 814 | <string>YES</string>
|
|---|
| 815 | <key>SmartDistanceGuidesActive</key>
|
|---|
| 816 | <string>YES</string>
|
|---|
| 817 | <key>UniqueID</key>
|
|---|
| 818 | <integer>1</integer>
|
|---|
| 819 | <key>UseEntirePage</key>
|
|---|
| 820 | <false/>
|
|---|
| 821 | <key>VPages</key>
|
|---|
| 822 | <integer>1</integer>
|
|---|
| 823 | <key>WindowInfo</key>
|
|---|
| 824 | <dict>
|
|---|
| 825 | <key>CurrentSheet</key>
|
|---|
| 826 | <integer>0</integer>
|
|---|
| 827 | <key>ExpandedCanvases</key>
|
|---|
| 828 | <array>
|
|---|
| 829 | <dict>
|
|---|
| 830 | <key>name</key>
|
|---|
| 831 | <string>Canvas 1</string>
|
|---|
| 832 | </dict>
|
|---|
| 833 | </array>
|
|---|
| 834 | <key>Frame</key>
|
|---|
| 835 | <string>{{728, 88}, {1646, 1247}}</string>
|
|---|
| 836 | <key>ListView</key>
|
|---|
| 837 | <true/>
|
|---|
| 838 | <key>OutlineWidth</key>
|
|---|
| 839 | <integer>142</integer>
|
|---|
| 840 | <key>RightSidebar</key>
|
|---|
| 841 | <true/>
|
|---|
| 842 | <key>ShowRuler</key>
|
|---|
| 843 | <true/>
|
|---|
| 844 | <key>Sidebar</key>
|
|---|
| 845 | <true/>
|
|---|
| 846 | <key>SidebarWidth</key>
|
|---|
| 847 | <integer>120</integer>
|
|---|
| 848 | <key>VisibleRegion</key>
|
|---|
| 849 | <string>{{0, 0}, {677, 546.5}}</string>
|
|---|
| 850 | <key>Zoom</key>
|
|---|
| 851 | <real>2</real>
|
|---|
| 852 | <key>ZoomValues</key>
|
|---|
| 853 | <array>
|
|---|
| 854 | <array>
|
|---|
| 855 | <string>Canvas 1</string>
|
|---|
| 856 | <real>2</real>
|
|---|
| 857 | <real>1</real>
|
|---|
| 858 | </array>
|
|---|
| 859 | </array>
|
|---|
| 860 | </dict>
|
|---|
| 861 | </dict>
|
|---|
| 862 | </plist>
|
|---|