source: CIVL/doc/graffle/civlUsesRelation.graffle@ f6ce0eb

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since f6ce0eb was 411e0b8, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

cleaned up usage cycle; improved javadocs; improved error message in mpi.cvl.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1051 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 39.6 KB
Line 
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>138.33.0.157554</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {576, 733}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>FontInfo</key>
21 <dict>
22 <key>Font</key>
23 <string>LucidaGrande</string>
24 <key>Size</key>
25 <real>14</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>CanvasOrigin</key>
44 <string>{0, 0}</string>
45 <key>ColumnAlign</key>
46 <integer>1</integer>
47 <key>ColumnSpacing</key>
48 <real>36</real>
49 <key>CreationDate</key>
50 <string>2013-11-12 22:44:52 +0000</string>
51 <key>Creator</key>
52 <string>Tim Zirkel</string>
53 <key>DisplayScale</key>
54 <string>1 0/72 in = 1.0000 in</string>
55 <key>GraphDocumentVersion</key>
56 <integer>8</integer>
57 <key>GraphicsList</key>
58 <array>
59 <dict>
60 <key>Class</key>
61 <string>LineGraphic</string>
62 <key>Head</key>
63 <dict>
64 <key>ID</key>
65 <integer>95</integer>
66 </dict>
67 <key>ID</key>
68 <integer>97</integer>
69 <key>Points</key>
70 <array>
71 <string>{376.04922, 135.40001}</string>
72 <string>{442.94183, 224.60017}</string>
73 </array>
74 <key>Style</key>
75 <dict>
76 <key>stroke</key>
77 <dict>
78 <key>HeadArrow</key>
79 <string>FilledArrow</string>
80 <key>LineType</key>
81 <integer>1</integer>
82 <key>TailArrow</key>
83 <string>0</string>
84 <key>Width</key>
85 <real>0.5</real>
86 </dict>
87 </dict>
88 <key>Tail</key>
89 <dict>
90 <key>ID</key>
91 <integer>12</integer>
92 </dict>
93 </dict>
94 <dict>
95 <key>Class</key>
96 <string>LineGraphic</string>
97 <key>Head</key>
98 <dict>
99 <key>ID</key>
100 <integer>23</integer>
101 </dict>
102 <key>ID</key>
103 <integer>96</integer>
104 <key>Points</key>
105 <array>
106 <string>{455.86624, 243.42448}</string>
107 <string>{499.15762, 312.97485}</string>
108 <string>{504, 394.50922}</string>
109 <string>{500.58548, 476.09314}</string>
110 <string>{459.17212, 546.50098}</string>
111 <string>{389.54272, 602.68604}</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>LineType</key>
120 <integer>1</integer>
121 <key>Pattern</key>
122 <integer>1</integer>
123 <key>TailArrow</key>
124 <string>0</string>
125 <key>Width</key>
126 <real>0.5</real>
127 </dict>
128 </dict>
129 <key>Tail</key>
130 <dict>
131 <key>ID</key>
132 <integer>95</integer>
133 </dict>
134 </dict>
135 <dict>
136 <key>Bounds</key>
137 <string>{{414, 225}, {72, 18}}</string>
138 <key>Class</key>
139 <string>ShapedGraphic</string>
140 <key>ID</key>
141 <integer>95</integer>
142 <key>Shape</key>
143 <string>Rectangle</string>
144 <key>Style</key>
145 <dict>
146 <key>shadow</key>
147 <dict>
148 <key>Draws</key>
149 <string>NO</string>
150 </dict>
151 <key>stroke</key>
152 <dict>
153 <key>CornerRadius</key>
154 <real>9</real>
155 </dict>
156 </dict>
157 <key>Text</key>
158 <dict>
159 <key>Text</key>
160 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
161\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
162{\colortbl;\red255\green255\blue255;}
163\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
164
165\f0\fs24 \cf0 transform}</string>
166 </dict>
167 </dict>
168 <dict>
169 <key>Class</key>
170 <string>LineGraphic</string>
171 <key>Head</key>
172 <dict>
173 <key>ID</key>
174 <integer>93</integer>
175 </dict>
176 <key>ID</key>
177 <integer>94</integer>
178 <key>Points</key>
179 <array>
180 <string>{361.17969, 135.38411}</string>
181 <string>{331.819, 170.61586}</string>
182 </array>
183 <key>Style</key>
184 <dict>
185 <key>stroke</key>
186 <dict>
187 <key>HeadArrow</key>
188 <string>FilledArrow</string>
189 <key>LineType</key>
190 <integer>1</integer>
191 <key>TailArrow</key>
192 <string>0</string>
193 <key>Width</key>
194 <real>0.5</real>
195 </dict>
196 </dict>
197 <key>Tail</key>
198 <dict>
199 <key>ID</key>
200 <integer>12</integer>
201 </dict>
202 </dict>
203 <dict>
204 <key>Bounds</key>
205 <string>{{288, 171}, {72, 18}}</string>
206 <key>Class</key>
207 <string>ShapedGraphic</string>
208 <key>ID</key>
209 <integer>93</integer>
210 <key>Shape</key>
211 <string>Rectangle</string>
212 <key>Style</key>
213 <dict>
214 <key>shadow</key>
215 <dict>
216 <key>Draws</key>
217 <string>NO</string>
218 </dict>
219 <key>stroke</key>
220 <dict>
221 <key>CornerRadius</key>
222 <real>9</real>
223 </dict>
224 </dict>
225 <key>Text</key>
226 <dict>
227 <key>Text</key>
228 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
229\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
230{\colortbl;\red255\green255\blue255;}
231\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
232
233\f0\fs24 \cf0 gui}</string>
234 </dict>
235 </dict>
236 <dict>
237 <key>Class</key>
238 <string>LineGraphic</string>
239 <key>Head</key>
240 <dict>
241 <key>ID</key>
242 <integer>12</integer>
243 </dict>
244 <key>ID</key>
245 <integer>92</integer>
246 <key>Points</key>
247 <array>
248 <string>{368.9986, 81.5}</string>
249 <string>{368.99329, 116.5}</string>
250 </array>
251 <key>Style</key>
252 <dict>
253 <key>stroke</key>
254 <dict>
255 <key>HeadArrow</key>
256 <string>FilledArrow</string>
257 <key>LineType</key>
258 <integer>1</integer>
259 <key>TailArrow</key>
260 <string>0</string>
261 <key>Width</key>
262 <real>0.5</real>
263 </dict>
264 </dict>
265 <key>Tail</key>
266 <dict>
267 <key>ID</key>
268 <integer>80</integer>
269 </dict>
270 </dict>
271 <dict>
272 <key>Class</key>
273 <string>LineGraphic</string>
274 <key>Head</key>
275 <dict>
276 <key>ID</key>
277 <integer>13</integer>
278 </dict>
279 <key>ID</key>
280 <integer>91</integer>
281 <key>Points</key>
282 <array>
283 <string>{270.00055, 243.5}</string>
284 <string>{270.0025, 278.5}</string>
285 </array>
286 <key>Style</key>
287 <dict>
288 <key>stroke</key>
289 <dict>
290 <key>HeadArrow</key>
291 <string>FilledArrow</string>
292 <key>LineType</key>
293 <integer>1</integer>
294 <key>TailArrow</key>
295 <string>0</string>
296 <key>Width</key>
297 <real>0.5</real>
298 </dict>
299 </dict>
300 <key>Tail</key>
301 <dict>
302 <key>ID</key>
303 <integer>6</integer>
304 </dict>
305 </dict>
306 <dict>
307 <key>Class</key>
308 <string>LineGraphic</string>
309 <key>Head</key>
310 <dict>
311 <key>ID</key>
312 <integer>88</integer>
313 </dict>
314 <key>ID</key>
315 <integer>90</integer>
316 <key>Points</key>
317 <array>
318 <string>{295.41861, 567.49323}</string>
319 <string>{289.58603, 602.50684}</string>
320 </array>
321 <key>Style</key>
322 <dict>
323 <key>stroke</key>
324 <dict>
325 <key>HeadArrow</key>
326 <string>FilledArrow</string>
327 <key>LineType</key>
328 <integer>1</integer>
329 <key>TailArrow</key>
330 <string>0</string>
331 <key>Width</key>
332 <real>0.5</real>
333 </dict>
334 </dict>
335 <key>Tail</key>
336 <dict>
337 <key>ID</key>
338 <integer>16</integer>
339 </dict>
340 </dict>
341 <dict>
342 <key>Class</key>
343 <string>LineGraphic</string>
344 <key>Head</key>
345 <dict>
346 <key>ID</key>
347 <integer>87</integer>
348 </dict>
349 <key>ID</key>
350 <integer>89</integer>
351 <key>Points</key>
352 <array>
353 <string>{280.06253, 567.23944}</string>
354 <string>{214.9462, 602.76068}</string>
355 </array>
356 <key>Style</key>
357 <dict>
358 <key>stroke</key>
359 <dict>
360 <key>HeadArrow</key>
361 <string>FilledArrow</string>
362 <key>LineType</key>
363 <integer>1</integer>
364 <key>TailArrow</key>
365 <string>0</string>
366 <key>Width</key>
367 <real>0.5</real>
368 </dict>
369 </dict>
370 <key>Tail</key>
371 <dict>
372 <key>ID</key>
373 <integer>16</integer>
374 </dict>
375 </dict>
376 <dict>
377 <key>Bounds</key>
378 <string>{{252.00002, 603}, {72, 18}}</string>
379 <key>Class</key>
380 <string>ShapedGraphic</string>
381 <key>ID</key>
382 <integer>88</integer>
383 <key>Shape</key>
384 <string>Rectangle</string>
385 <key>Style</key>
386 <dict>
387 <key>shadow</key>
388 <dict>
389 <key>Draws</key>
390 <string>NO</string>
391 </dict>
392 <key>stroke</key>
393 <dict>
394 <key>CornerRadius</key>
395 <real>9</real>
396 </dict>
397 </dict>
398 <key>Text</key>
399 <dict>
400 <key>Text</key>
401 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
402\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
403{\colortbl;\red255\green255\blue255;}
404\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
405
406\f0\fs24 \cf0 config}</string>
407 </dict>
408 </dict>
409 <dict>
410 <key>Bounds</key>
411 <string>{{162, 603}, {72, 18}}</string>
412 <key>Class</key>
413 <string>ShapedGraphic</string>
414 <key>ID</key>
415 <integer>87</integer>
416 <key>Shape</key>
417 <string>Rectangle</string>
418 <key>Style</key>
419 <dict>
420 <key>shadow</key>
421 <dict>
422 <key>Draws</key>
423 <string>NO</string>
424 </dict>
425 <key>stroke</key>
426 <dict>
427 <key>CornerRadius</key>
428 <real>9</real>
429 </dict>
430 </dict>
431 <key>Text</key>
432 <dict>
433 <key>Text</key>
434 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
435\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
436{\colortbl;\red255\green255\blue255;}
437\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
438
439\f0\fs24 \cf0 util}</string>
440 </dict>
441 </dict>
442 <dict>
443 <key>Class</key>
444 <string>LineGraphic</string>
445 <key>Head</key>
446 <dict>
447 <key>ID</key>
448 <integer>72</integer>
449 </dict>
450 <key>ID</key>
451 <integer>86</integer>
452 <key>Points</key>
453 <array>
454 <string>{260.5386, 297.35147}</string>
455 <string>{221.30534, 336.12909}</string>
456 <string>{178.88373, 386.61719}</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>LineType</key>
465 <integer>1</integer>
466 <key>TailArrow</key>
467 <string>0</string>
468 <key>Width</key>
469 <real>0.5</real>
470 </dict>
471 </dict>
472 <key>Tail</key>
473 <dict>
474 <key>ID</key>
475 <integer>13</integer>
476 </dict>
477 </dict>
478 <dict>
479 <key>Class</key>
480 <string>LineGraphic</string>
481 <key>Head</key>
482 <dict>
483 <key>ID</key>
484 <integer>6</integer>
485 </dict>
486 <key>ID</key>
487 <integer>85</integer>
488 <key>Points</key>
489 <array>
490 <string>{314.64725, 189.35358}</string>
491 <string>{279.35745, 224.64651}</string>
492 </array>
493 <key>Style</key>
494 <dict>
495 <key>stroke</key>
496 <dict>
497 <key>HeadArrow</key>
498 <string>FilledArrow</string>
499 <key>LineType</key>
500 <integer>1</integer>
501 <key>TailArrow</key>
502 <string>0</string>
503 <key>Width</key>
504 <real>0.5</real>
505 </dict>
506 </dict>
507 <key>Tail</key>
508 <dict>
509 <key>ID</key>
510 <integer>93</integer>
511 </dict>
512 </dict>
513 <dict>
514 <key>Class</key>
515 <string>LineGraphic</string>
516 <key>Head</key>
517 <dict>
518 <key>ID</key>
519 <integer>14</integer>
520 </dict>
521 <key>ID</key>
522 <integer>103</integer>
523 <key>Points</key>
524 <array>
525 <string>{296.7226, 243.16217}</string>
526 <string>{380.88028, 272.0166}</string>
527 <string>{427.83014, 337.65021}</string>
528 <string>{425.52625, 418.33374}</string>
529 <string>{391.25259, 494.54401}</string>
530 </array>
531 <key>Style</key>
532 <dict>
533 <key>stroke</key>
534 <dict>
535 <key>HeadArrow</key>
536 <string>FilledArrow</string>
537 <key>LineType</key>
538 <integer>1</integer>
539 <key>TailArrow</key>
540 <string>0</string>
541 <key>Width</key>
542 <real>0.5</real>
543 </dict>
544 </dict>
545 <key>Tail</key>
546 <dict>
547 <key>ID</key>
548 <integer>6</integer>
549 </dict>
550 </dict>
551 <dict>
552 <key>Class</key>
553 <string>LineGraphic</string>
554 <key>Head</key>
555 <dict>
556 <key>ID</key>
557 <integer>14</integer>
558 </dict>
559 <key>ID</key>
560 <integer>105</integer>
561 <key>Points</key>
562 <array>
563 <string>{310.64835, 351.44864}</string>
564 <string>{343.30328, 417.82565}</string>
565 <string>{382.21021, 494.55405}</string>
566 </array>
567 <key>Style</key>
568 <dict>
569 <key>stroke</key>
570 <dict>
571 <key>HeadArrow</key>
572 <string>FilledArrow</string>
573 <key>LineType</key>
574 <integer>1</integer>
575 <key>TailArrow</key>
576 <string>0</string>
577 <key>Width</key>
578 <real>0.5</real>
579 </dict>
580 </dict>
581 <key>Tail</key>
582 <dict>
583 <key>ID</key>
584 <integer>15</integer>
585 </dict>
586 </dict>
587 <dict>
588 <key>Class</key>
589 <string>LineGraphic</string>
590 <key>Head</key>
591 <dict>
592 <key>ID</key>
593 <integer>14</integer>
594 </dict>
595 <key>ID</key>
596 <integer>104</integer>
597 <key>Points</key>
598 <array>
599 <string>{283.92285, 297.27725}</string>
600 <string>{353.88974, 343.89856}</string>
601 <string>{377.96054, 414.4054}</string>
602 <string>{386.04178, 494.50253}</string>
603 </array>
604 <key>Style</key>
605 <dict>
606 <key>stroke</key>
607 <dict>
608 <key>HeadArrow</key>
609 <string>FilledArrow</string>
610 <key>LineType</key>
611 <integer>1</integer>
612 <key>TailArrow</key>
613 <string>0</string>
614 <key>Width</key>
615 <real>0.5</real>
616 </dict>
617 </dict>
618 <key>Tail</key>
619 <dict>
620 <key>ID</key>
621 <integer>13</integer>
622 </dict>
623 </dict>
624 <dict>
625 <key>Class</key>
626 <string>LineGraphic</string>
627 <key>Head</key>
628 <dict>
629 <key>ID</key>
630 <integer>14</integer>
631 </dict>
632 <key>ID</key>
633 <integer>81</integer>
634 <key>Points</key>
635 <array>
636 <string>{267.4642, 459.1756}</string>
637 <string>{362.51227, 494.82455}</string>
638 </array>
639 <key>Style</key>
640 <dict>
641 <key>stroke</key>
642 <dict>
643 <key>HeadArrow</key>
644 <string>FilledArrow</string>
645 <key>LineType</key>
646 <integer>1</integer>
647 <key>TailArrow</key>
648 <string>0</string>
649 <key>Width</key>
650 <real>0.5</real>
651 </dict>
652 </dict>
653 <key>Tail</key>
654 <dict>
655 <key>ID</key>
656 <integer>73</integer>
657 </dict>
658 </dict>
659 <dict>
660 <key>Bounds</key>
661 <string>{{333, 63}, {72, 18}}</string>
662 <key>Class</key>
663 <string>ShapedGraphic</string>
664 <key>ID</key>
665 <integer>80</integer>
666 <key>Shape</key>
667 <string>Rectangle</string>
668 <key>Style</key>
669 <dict>
670 <key>shadow</key>
671 <dict>
672 <key>Draws</key>
673 <string>NO</string>
674 </dict>
675 <key>stroke</key>
676 <dict>
677 <key>CornerRadius</key>
678 <real>9</real>
679 </dict>
680 </dict>
681 <key>Text</key>
682 <dict>
683 <key>Text</key>
684 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
685\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
686{\colortbl;\red255\green255\blue255;}
687\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
688
689\f0\fs24 \cf0 library}</string>
690 </dict>
691 </dict>
692 <dict>
693 <key>Class</key>
694 <string>LineGraphic</string>
695 <key>Head</key>
696 <dict>
697 <key>ID</key>
698 <integer>73</integer>
699 </dict>
700 <key>ID</key>
701 <integer>79</integer>
702 <key>Points</key>
703 <array>
704 <string>{183.40109, 405.29999}</string>
705 <string>{230.60518, 440.69992}</string>
706 </array>
707 <key>Style</key>
708 <dict>
709 <key>stroke</key>
710 <dict>
711 <key>HeadArrow</key>
712 <string>FilledArrow</string>
713 <key>LineType</key>
714 <integer>1</integer>
715 <key>TailArrow</key>
716 <string>0</string>
717 <key>Width</key>
718 <real>0.5</real>
719 </dict>
720 </dict>
721 <key>Tail</key>
722 <dict>
723 <key>ID</key>
724 <integer>72</integer>
725 </dict>
726 </dict>
727 <dict>
728 <key>Class</key>
729 <string>LineGraphic</string>
730 <key>Head</key>
731 <dict>
732 <key>ID</key>
733 <integer>72</integer>
734 </dict>
735 <key>ID</key>
736 <integer>100</integer>
737 <key>Points</key>
738 <array>
739 <string>{262.0657, 243.38176}</string>
740 <string>{209.88031, 305.08737}</string>
741 <string>{175.04561, 386.54028}</string>
742 </array>
743 <key>Style</key>
744 <dict>
745 <key>stroke</key>
746 <dict>
747 <key>HeadArrow</key>
748 <string>FilledArrow</string>
749 <key>LineType</key>
750 <integer>1</integer>
751 <key>TailArrow</key>
752 <string>0</string>
753 <key>Width</key>
754 <real>0.5</real>
755 </dict>
756 </dict>
757 <key>Tail</key>
758 <dict>
759 <key>ID</key>
760 <integer>6</integer>
761 </dict>
762 </dict>
763 <dict>
764 <key>Class</key>
765 <string>LineGraphic</string>
766 <key>Head</key>
767 <dict>
768 <key>ID</key>
769 <integer>72</integer>
770 </dict>
771 <key>ID</key>
772 <integer>77</integer>
773 <key>Points</key>
774 <array>
775 <string>{283.03906, 351.18573}</string>
776 <string>{193.98048, 386.81442}</string>
777 </array>
778 <key>Style</key>
779 <dict>
780 <key>stroke</key>
781 <dict>
782 <key>HeadArrow</key>
783 <string>FilledArrow</string>
784 <key>LineType</key>
785 <integer>1</integer>
786 <key>TailArrow</key>
787 <string>0</string>
788 <key>Width</key>
789 <real>0.5</real>
790 </dict>
791 </dict>
792 <key>Tail</key>
793 <dict>
794 <key>ID</key>
795 <integer>15</integer>
796 </dict>
797 </dict>
798 <dict>
799 <key>Class</key>
800 <string>LineGraphic</string>
801 <key>Head</key>
802 <dict>
803 <key>ID</key>
804 <integer>22</integer>
805 </dict>
806 <key>ID</key>
807 <integer>76</integer>
808 <key>Points</key>
809 <array>
810 <string>{414.48434, 612.54163}</string>
811 <string>{431.53378, 612.79474}</string>
812 </array>
813 <key>Style</key>
814 <dict>
815 <key>stroke</key>
816 <dict>
817 <key>HeadArrow</key>
818 <string>FilledArrow</string>
819 <key>LineType</key>
820 <integer>1</integer>
821 <key>Pattern</key>
822 <integer>1</integer>
823 <key>TailArrow</key>
824 <string>0</string>
825 <key>Width</key>
826 <real>0.5</real>
827 </dict>
828 </dict>
829 <key>Tail</key>
830 <dict>
831 <key>ID</key>
832 <integer>23</integer>
833 </dict>
834 </dict>
835 <dict>
836 <key>Class</key>
837 <string>LineGraphic</string>
838 <key>Head</key>
839 <dict>
840 <key>ID</key>
841 <integer>16</integer>
842 </dict>
843 <key>ID</key>
844 <integer>106</integer>
845 <key>Points</key>
846 <array>
847 <string>{247.726, 459.44717}</string>
848 <string>{292.30139, 548.55231}</string>
849 </array>
850 <key>Style</key>
851 <dict>
852 <key>stroke</key>
853 <dict>
854 <key>HeadArrow</key>
855 <string>FilledArrow</string>
856 <key>LineType</key>
857 <integer>1</integer>
858 <key>TailArrow</key>
859 <string>0</string>
860 <key>Width</key>
861 <real>0.5</real>
862 </dict>
863 </dict>
864 <key>Tail</key>
865 <dict>
866 <key>ID</key>
867 <integer>73</integer>
868 </dict>
869 </dict>
870 <dict>
871 <key>Bounds</key>
872 <string>{{207, 441}, {72, 18}}</string>
873 <key>Class</key>
874 <string>ShapedGraphic</string>
875 <key>ID</key>
876 <integer>73</integer>
877 <key>Shape</key>
878 <string>Rectangle</string>
879 <key>Style</key>
880 <dict>
881 <key>shadow</key>
882 <dict>
883 <key>Draws</key>
884 <string>NO</string>
885 </dict>
886 <key>stroke</key>
887 <dict>
888 <key>CornerRadius</key>
889 <real>9</real>
890 </dict>
891 </dict>
892 <key>Text</key>
893 <dict>
894 <key>Text</key>
895 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
896\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
897{\colortbl;\red255\green255\blue255;}
898\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
899
900\f0\fs24 \cf0 dynamic}</string>
901 </dict>
902 </dict>
903 <dict>
904 <key>Bounds</key>
905 <string>{{135, 387}, {72, 18}}</string>
906 <key>Class</key>
907 <string>ShapedGraphic</string>
908 <key>ID</key>
909 <integer>72</integer>
910 <key>Shape</key>
911 <string>Rectangle</string>
912 <key>Style</key>
913 <dict>
914 <key>shadow</key>
915 <dict>
916 <key>Draws</key>
917 <string>NO</string>
918 </dict>
919 <key>stroke</key>
920 <dict>
921 <key>CornerRadius</key>
922 <real>9</real>
923 </dict>
924 </dict>
925 <key>Text</key>
926 <dict>
927 <key>Text</key>
928 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
929\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
930{\colortbl;\red255\green255\blue255;}
931\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
932
933\f0\fs24 \cf0 log}</string>
934 </dict>
935 </dict>
936 <dict>
937 <key>Class</key>
938 <string>LineGraphic</string>
939 <key>Head</key>
940 <dict>
941 <key>ID</key>
942 <integer>22</integer>
943 </dict>
944 <key>ID</key>
945 <integer>71</integer>
946 <key>Points</key>
947 <array>
948 <string>{325.87692, 567.0412}</string>
949 <string>{378.03448, 583.3714}</string>
950 <string>{439.44278, 602.9126}</string>
951 </array>
952 <key>Style</key>
953 <dict>
954 <key>stroke</key>
955 <dict>
956 <key>HeadArrow</key>
957 <string>FilledArrow</string>
958 <key>LineType</key>
959 <integer>1</integer>
960 <key>Pattern</key>
961 <integer>1</integer>
962 <key>TailArrow</key>
963 <string>0</string>
964 <key>Width</key>
965 <real>0.5</real>
966 </dict>
967 </dict>
968 <key>Tail</key>
969 <dict>
970 <key>ID</key>
971 <integer>16</integer>
972 </dict>
973 </dict>
974 <dict>
975 <key>Class</key>
976 <string>LineGraphic</string>
977 <key>Head</key>
978 <dict>
979 <key>ID</key>
980 <integer>68</integer>
981 </dict>
982 <key>ID</key>
983 <integer>69</integer>
984 <key>Points</key>
985 <array>
986 <string>{288.00107, 621.5}</string>
987 <string>{288.00504, 656.5}</string>
988 </array>
989 <key>Style</key>
990 <dict>
991 <key>stroke</key>
992 <dict>
993 <key>HeadArrow</key>
994 <string>FilledArrow</string>
995 <key>LineType</key>
996 <integer>1</integer>
997 <key>Pattern</key>
998 <integer>1</integer>
999 <key>TailArrow</key>
1000 <string>0</string>
1001 <key>Width</key>
1002 <real>0.5</real>
1003 </dict>
1004 </dict>
1005 <key>Tail</key>
1006 <dict>
1007 <key>ID</key>
1008 <integer>88</integer>
1009 </dict>
1010 </dict>
1011 <dict>
1012 <key>Bounds</key>
1013 <string>{{252.00002, 657}, {72, 18}}</string>
1014 <key>Class</key>
1015 <string>ShapedGraphic</string>
1016 <key>ID</key>
1017 <integer>68</integer>
1018 <key>Shape</key>
1019 <string>Rectangle</string>
1020 <key>Style</key>
1021 <dict>
1022 <key>shadow</key>
1023 <dict>
1024 <key>Draws</key>
1025 <string>NO</string>
1026 </dict>
1027 <key>stroke</key>
1028 <dict>
1029 <key>CornerRadius</key>
1030 <real>9</real>
1031 </dict>
1032 </dict>
1033 <key>Text</key>
1034 <dict>
1035 <key>Text</key>
1036 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1037\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1038{\colortbl;\red255\green255\blue255;}
1039\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1040
1041\f0\fs24 \cf0 GMC}</string>
1042 </dict>
1043 </dict>
1044 <dict>
1045 <key>Class</key>
1046 <string>LineGraphic</string>
1047 <key>Head</key>
1048 <dict>
1049 <key>ID</key>
1050 <integer>22</integer>
1051 </dict>
1052 <key>ID</key>
1053 <integer>98</integer>
1054 <key>Points</key>
1055 <array>
1056 <string>{303.22113, 241.04262}</string>
1057 <string>{395.07471, 260.51483}</string>
1058 <string>{463.15366, 322.17206}</string>
1059 <string>{465.98401, 414.03922}</string>
1060 <string>{465.98401, 505.897}</string>
1061 <string>{467.81952, 602.50006}</string>
1062 </array>
1063 <key>Style</key>
1064 <dict>
1065 <key>stroke</key>
1066 <dict>
1067 <key>HeadArrow</key>
1068 <string>FilledArrow</string>
1069 <key>LineType</key>
1070 <integer>1</integer>
1071 <key>Pattern</key>
1072 <integer>1</integer>
1073 <key>TailArrow</key>
1074 <string>0</string>
1075 <key>Width</key>
1076 <real>0.5</real>
1077 </dict>
1078 </dict>
1079 <key>Tail</key>
1080 <dict>
1081 <key>ID</key>
1082 <integer>6</integer>
1083 </dict>
1084 </dict>
1085 <dict>
1086 <key>Class</key>
1087 <string>LineGraphic</string>
1088 <key>Head</key>
1089 <dict>
1090 <key>ID</key>
1091 <integer>23</integer>
1092 </dict>
1093 <key>ID</key>
1094 <integer>66</integer>
1095 <key>Points</key>
1096 <array>
1097 <string>{310.64651, 567.28119}</string>
1098 <string>{362.78311, 602.74005}</string>
1099 </array>
1100 <key>Style</key>
1101 <dict>
1102 <key>stroke</key>
1103 <dict>
1104 <key>HeadArrow</key>
1105 <string>FilledArrow</string>
1106 <key>LineType</key>
1107 <integer>1</integer>
1108 <key>Pattern</key>
1109 <integer>1</integer>
1110 <key>TailArrow</key>
1111 <string>0</string>
1112 <key>Width</key>
1113 <real>0.5</real>
1114 </dict>
1115 </dict>
1116 <key>Tail</key>
1117 <dict>
1118 <key>ID</key>
1119 <integer>16</integer>
1120 </dict>
1121 </dict>
1122 <dict>
1123 <key>Class</key>
1124 <string>LineGraphic</string>
1125 <key>Head</key>
1126 <dict>
1127 <key>ID</key>
1128 <integer>22</integer>
1129 </dict>
1130 <key>ID</key>
1131 <integer>65</integer>
1132 <key>Points</key>
1133 <array>
1134 <string>{393.69513, 513.40735}</string>
1135 <string>{422.39471, 553.73322}</string>
1136 <string>{460.64755, 602.60626}</string>
1137 </array>
1138 <key>Style</key>
1139 <dict>
1140 <key>stroke</key>
1141 <dict>
1142 <key>HeadArrow</key>
1143 <string>FilledArrow</string>
1144 <key>LineType</key>
1145 <integer>1</integer>
1146 <key>Pattern</key>
1147 <integer>1</integer>
1148 <key>TailArrow</key>
1149 <string>0</string>
1150 <key>Width</key>
1151 <real>0.5</real>
1152 </dict>
1153 </dict>
1154 <key>Tail</key>
1155 <dict>
1156 <key>ID</key>
1157 <integer>14</integer>
1158 </dict>
1159 </dict>
1160 <dict>
1161 <key>Class</key>
1162 <string>LineGraphic</string>
1163 <key>Head</key>
1164 <dict>
1165 <key>ID</key>
1166 <integer>16</integer>
1167 </dict>
1168 <key>ID</key>
1169 <integer>99</integer>
1170 <key>Points</key>
1171 <array>
1172 <string>{236.38937, 240.69641}</string>
1173 <string>{147.62595, 258.38116}</string>
1174 <string>{78.050583, 313.466}</string>
1175 <string>{72, 402.04269}</string>
1176 <string>{100.06482, 486.22345}</string>
1177 <string>{180.64503, 523.323}</string>
1178 <string>{267.27234, 549.14032}</string>
1179 </array>
1180 <key>Style</key>
1181 <dict>
1182 <key>stroke</key>
1183 <dict>
1184 <key>HeadArrow</key>
1185 <string>FilledArrow</string>
1186 <key>LineType</key>
1187 <integer>1</integer>
1188 <key>TailArrow</key>
1189 <string>0</string>
1190 <key>Width</key>
1191 <real>0.5</real>
1192 </dict>
1193 </dict>
1194 <key>Tail</key>
1195 <dict>
1196 <key>ID</key>
1197 <integer>6</integer>
1198 </dict>
1199 </dict>
1200 <dict>
1201 <key>Class</key>
1202 <string>LineGraphic</string>
1203 <key>Head</key>
1204 <dict>
1205 <key>ID</key>
1206 <integer>16</integer>
1207 </dict>
1208 <key>ID</key>
1209 <integer>107</integer>
1210 <key>Points</key>
1211 <array>
1212 <string>{305.569, 351.49945}</string>
1213 <string>{301.32605, 445.02255}</string>
1214 <string>{297.36377, 548.50037}</string>
1215 </array>
1216 <key>Style</key>
1217 <dict>
1218 <key>stroke</key>
1219 <dict>
1220 <key>HeadArrow</key>
1221 <string>FilledArrow</string>
1222 <key>LineType</key>
1223 <integer>1</integer>
1224 <key>TailArrow</key>
1225 <string>0</string>
1226 <key>Width</key>
1227 <real>0.5</real>
1228 </dict>
1229 </dict>
1230 <key>Tail</key>
1231 <dict>
1232 <key>ID</key>
1233 <integer>15</integer>
1234 </dict>
1235 </dict>
1236 <dict>
1237 <key>Class</key>
1238 <string>LineGraphic</string>
1239 <key>Head</key>
1240 <dict>
1241 <key>ID</key>
1242 <integer>16</integer>
1243 </dict>
1244 <key>ID</key>
1245 <integer>53</integer>
1246 <key>Points</key>
1247 <array>
1248 <string>{371.57074, 513.25726}</string>
1249 <string>{312.4263, 548.74274}</string>
1250 </array>
1251 <key>Style</key>
1252 <dict>
1253 <key>stroke</key>
1254 <dict>
1255 <key>HeadArrow</key>
1256 <string>FilledArrow</string>
1257 <key>LineType</key>
1258 <integer>1</integer>
1259 <key>TailArrow</key>
1260 <string>0</string>
1261 <key>Width</key>
1262 <real>0.5</real>
1263 </dict>
1264 </dict>
1265 <key>Tail</key>
1266 <dict>
1267 <key>ID</key>
1268 <integer>14</integer>
1269 </dict>
1270 </dict>
1271 <dict>
1272 <key>Class</key>
1273 <string>LineGraphic</string>
1274 <key>Head</key>
1275 <dict>
1276 <key>ID</key>
1277 <integer>15</integer>
1278 </dict>
1279 <key>ID</key>
1280 <integer>48</integer>
1281 <key>Points</key>
1282 <array>
1283 <string>{276.276, 297.41605}</string>
1284 <string>{299.71616, 332.58411}</string>
1285 </array>
1286 <key>Style</key>
1287 <dict>
1288 <key>stroke</key>
1289 <dict>
1290 <key>HeadArrow</key>
1291 <string>FilledArrow</string>
1292 <key>LineType</key>
1293 <integer>1</integer>
1294 <key>TailArrow</key>
1295 <string>0</string>
1296 <key>Width</key>
1297 <real>0.5</real>
1298 </dict>
1299 </dict>
1300 <key>Tail</key>
1301 <dict>
1302 <key>ID</key>
1303 <integer>13</integer>
1304 </dict>
1305 </dict>
1306 <dict>
1307 <key>Class</key>
1308 <string>LineGraphic</string>
1309 <key>Head</key>
1310 <dict>
1311 <key>ID</key>
1312 <integer>73</integer>
1313 </dict>
1314 <key>ID</key>
1315 <integer>102</integer>
1316 <key>Points</key>
1317 <array>
1318 <string>{258.54425, 243.31544}</string>
1319 <string>{180.08281, 307.11777}</string>
1320 <string>{127.82465, 391.6554}</string>
1321 <string>{224.78752, 440.77405}</string>
1322 </array>
1323 <key>Style</key>
1324 <dict>
1325 <key>stroke</key>
1326 <dict>
1327 <key>HeadArrow</key>
1328 <string>FilledArrow</string>
1329 <key>LineType</key>
1330 <integer>1</integer>
1331 <key>TailArrow</key>
1332 <string>0</string>
1333 <key>Width</key>
1334 <real>0.5</real>
1335 </dict>
1336 </dict>
1337 <key>Tail</key>
1338 <dict>
1339 <key>ID</key>
1340 <integer>6</integer>
1341 </dict>
1342 </dict>
1343 <dict>
1344 <key>Class</key>
1345 <string>LineGraphic</string>
1346 <key>Head</key>
1347 <dict>
1348 <key>ID</key>
1349 <integer>73</integer>
1350 </dict>
1351 <key>ID</key>
1352 <integer>101</integer>
1353 <key>Points</key>
1354 <array>
1355 <string>{267.72348, 297.48621}</string>
1356 <string>{251.90016, 363.4216}</string>
1357 <string>{243.97632, 440.50262}</string>
1358 </array>
1359 <key>Style</key>
1360 <dict>
1361 <key>stroke</key>
1362 <dict>
1363 <key>HeadArrow</key>
1364 <string>FilledArrow</string>
1365 <key>LineType</key>
1366 <integer>1</integer>
1367 <key>TailArrow</key>
1368 <string>0</string>
1369 <key>Width</key>
1370 <real>0.5</real>
1371 </dict>
1372 </dict>
1373 <key>Tail</key>
1374 <dict>
1375 <key>ID</key>
1376 <integer>13</integer>
1377 </dict>
1378 </dict>
1379 <dict>
1380 <key>Class</key>
1381 <string>LineGraphic</string>
1382 <key>Head</key>
1383 <dict>
1384 <key>ID</key>
1385 <integer>73</integer>
1386 </dict>
1387 <key>ID</key>
1388 <integer>36</integer>
1389 <key>Points</key>
1390 <array>
1391 <string>{300.50204, 351.43198}</string>
1392 <string>{248.54356, 440.56894}</string>
1393 </array>
1394 <key>Style</key>
1395 <dict>
1396 <key>stroke</key>
1397 <dict>
1398 <key>HeadArrow</key>
1399 <string>FilledArrow</string>
1400 <key>LineType</key>
1401 <integer>1</integer>
1402 <key>TailArrow</key>
1403 <string>0</string>
1404 <key>Width</key>
1405 <real>0.5</real>
1406 </dict>
1407 </dict>
1408 <key>Tail</key>
1409 <dict>
1410 <key>ID</key>
1411 <integer>15</integer>
1412 </dict>
1413 </dict>
1414 <dict>
1415 <key>Bounds</key>
1416 <string>{{342, 603}, {72, 18}}</string>
1417 <key>Class</key>
1418 <string>ShapedGraphic</string>
1419 <key>ID</key>
1420 <integer>23</integer>
1421 <key>Shape</key>
1422 <string>Rectangle</string>
1423 <key>Style</key>
1424 <dict>
1425 <key>shadow</key>
1426 <dict>
1427 <key>Draws</key>
1428 <string>NO</string>
1429 </dict>
1430 <key>stroke</key>
1431 <dict>
1432 <key>CornerRadius</key>
1433 <real>9</real>
1434 </dict>
1435 </dict>
1436 <key>Text</key>
1437 <dict>
1438 <key>Text</key>
1439 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1440\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1441{\colortbl;\red255\green255\blue255;}
1442\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1443
1444\f0\fs24 \cf0 ABC}</string>
1445 </dict>
1446 </dict>
1447 <dict>
1448 <key>Bounds</key>
1449 <string>{{432, 603}, {72, 18}}</string>
1450 <key>Class</key>
1451 <string>ShapedGraphic</string>
1452 <key>ID</key>
1453 <integer>22</integer>
1454 <key>Shape</key>
1455 <string>Rectangle</string>
1456 <key>Style</key>
1457 <dict>
1458 <key>shadow</key>
1459 <dict>
1460 <key>Draws</key>
1461 <string>NO</string>
1462 </dict>
1463 <key>stroke</key>
1464 <dict>
1465 <key>CornerRadius</key>
1466 <real>9</real>
1467 </dict>
1468 </dict>
1469 <key>Text</key>
1470 <dict>
1471 <key>Text</key>
1472 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1473\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1474{\colortbl;\red255\green255\blue255;}
1475\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1476
1477\f0\fs24 \cf0 SARL}</string>
1478 </dict>
1479 </dict>
1480 <dict>
1481 <key>Bounds</key>
1482 <string>{{261, 549}, {72, 18}}</string>
1483 <key>Class</key>
1484 <string>ShapedGraphic</string>
1485 <key>ID</key>
1486 <integer>16</integer>
1487 <key>Shape</key>
1488 <string>Rectangle</string>
1489 <key>Style</key>
1490 <dict>
1491 <key>shadow</key>
1492 <dict>
1493 <key>Draws</key>
1494 <string>NO</string>
1495 </dict>
1496 <key>stroke</key>
1497 <dict>
1498 <key>CornerRadius</key>
1499 <real>9</real>
1500 </dict>
1501 </dict>
1502 <key>Text</key>
1503 <dict>
1504 <key>Text</key>
1505 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1506\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1507{\colortbl;\red255\green255\blue255;}
1508\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1509
1510\f0\fs24 \cf0 model}</string>
1511 </dict>
1512 </dict>
1513 <dict>
1514 <key>Bounds</key>
1515 <string>{{270, 333}, {72, 18}}</string>
1516 <key>Class</key>
1517 <string>ShapedGraphic</string>
1518 <key>ID</key>
1519 <integer>15</integer>
1520 <key>Shape</key>
1521 <string>Rectangle</string>
1522 <key>Style</key>
1523 <dict>
1524 <key>shadow</key>
1525 <dict>
1526 <key>Draws</key>
1527 <string>NO</string>
1528 </dict>
1529 <key>stroke</key>
1530 <dict>
1531 <key>CornerRadius</key>
1532 <real>9</real>
1533 </dict>
1534 </dict>
1535 <key>Text</key>
1536 <dict>
1537 <key>Text</key>
1538 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1539\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1540{\colortbl;\red255\green255\blue255;}
1541\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1542
1543\f0\fs24 \cf0 semantics}</string>
1544 </dict>
1545 </dict>
1546 <dict>
1547 <key>Bounds</key>
1548 <string>{{351, 495}, {72, 18}}</string>
1549 <key>Class</key>
1550 <string>ShapedGraphic</string>
1551 <key>ID</key>
1552 <integer>14</integer>
1553 <key>Shape</key>
1554 <string>Rectangle</string>
1555 <key>Style</key>
1556 <dict>
1557 <key>shadow</key>
1558 <dict>
1559 <key>Draws</key>
1560 <string>NO</string>
1561 </dict>
1562 <key>stroke</key>
1563 <dict>
1564 <key>CornerRadius</key>
1565 <real>9</real>
1566 </dict>
1567 </dict>
1568 <key>Text</key>
1569 <dict>
1570 <key>Text</key>
1571 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1572\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1573{\colortbl;\red255\green255\blue255;}
1574\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1575
1576\f0\fs24 \cf0 state}</string>
1577 </dict>
1578 </dict>
1579 <dict>
1580 <key>Bounds</key>
1581 <string>{{234, 279}, {72, 18}}</string>
1582 <key>Class</key>
1583 <string>ShapedGraphic</string>
1584 <key>ID</key>
1585 <integer>13</integer>
1586 <key>Shape</key>
1587 <string>Rectangle</string>
1588 <key>Style</key>
1589 <dict>
1590 <key>shadow</key>
1591 <dict>
1592 <key>Draws</key>
1593 <string>NO</string>
1594 </dict>
1595 <key>stroke</key>
1596 <dict>
1597 <key>CornerRadius</key>
1598 <real>9</real>
1599 </dict>
1600 </dict>
1601 <key>Text</key>
1602 <dict>
1603 <key>Text</key>
1604 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1605\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1606{\colortbl;\red255\green255\blue255;}
1607\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1608
1609\f0\fs24 \cf0 kripke}</string>
1610 </dict>
1611 </dict>
1612 <dict>
1613 <key>Bounds</key>
1614 <string>{{333, 117}, {72, 18}}</string>
1615 <key>Class</key>
1616 <string>ShapedGraphic</string>
1617 <key>ID</key>
1618 <integer>12</integer>
1619 <key>Shape</key>
1620 <string>Rectangle</string>
1621 <key>Style</key>
1622 <dict>
1623 <key>shadow</key>
1624 <dict>
1625 <key>Draws</key>
1626 <string>NO</string>
1627 </dict>
1628 <key>stroke</key>
1629 <dict>
1630 <key>CornerRadius</key>
1631 <real>9</real>
1632 </dict>
1633 </dict>
1634 <key>Text</key>
1635 <dict>
1636 <key>Text</key>
1637 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1638\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1639{\colortbl;\red255\green255\blue255;}
1640\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1641
1642\f0\fs24 \cf0 run}</string>
1643 </dict>
1644 </dict>
1645 <dict>
1646 <key>Bounds</key>
1647 <string>{{234, 225}, {72, 18}}</string>
1648 <key>Class</key>
1649 <string>ShapedGraphic</string>
1650 <key>ID</key>
1651 <integer>6</integer>
1652 <key>Shape</key>
1653 <string>Rectangle</string>
1654 <key>Style</key>
1655 <dict>
1656 <key>shadow</key>
1657 <dict>
1658 <key>Draws</key>
1659 <string>NO</string>
1660 </dict>
1661 <key>stroke</key>
1662 <dict>
1663 <key>CornerRadius</key>
1664 <real>9</real>
1665 </dict>
1666 </dict>
1667 <key>Text</key>
1668 <dict>
1669 <key>Text</key>
1670 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1671\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1672{\colortbl;\red255\green255\blue255;}
1673\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1674
1675\f0\fs24 \cf0 predicate}</string>
1676 </dict>
1677 </dict>
1678 </array>
1679 <key>GridInfo</key>
1680 <dict>
1681 <key>ShowsGrid</key>
1682 <string>YES</string>
1683 <key>SnapsToGrid</key>
1684 <string>YES</string>
1685 </dict>
1686 <key>GuidesLocked</key>
1687 <string>NO</string>
1688 <key>GuidesVisible</key>
1689 <string>YES</string>
1690 <key>HPages</key>
1691 <integer>1</integer>
1692 <key>ImageCounter</key>
1693 <integer>1</integer>
1694 <key>KeepToScale</key>
1695 <false/>
1696 <key>Layers</key>
1697 <array>
1698 <dict>
1699 <key>Lock</key>
1700 <string>NO</string>
1701 <key>Name</key>
1702 <string>Layer 1</string>
1703 <key>Print</key>
1704 <string>YES</string>
1705 <key>View</key>
1706 <string>YES</string>
1707 </dict>
1708 </array>
1709 <key>LayoutInfo</key>
1710 <dict>
1711 <key>Animate</key>
1712 <string>NO</string>
1713 <key>RankInfo</key>
1714 <dict>
1715 <key>Same</key>
1716 <array>
1717 <array>
1718 <integer>22</integer>
1719 <integer>23</integer>
1720 </array>
1721 </array>
1722 </dict>
1723 <key>circoMinDist</key>
1724 <real>18</real>
1725 <key>circoSeparation</key>
1726 <real>0.0</real>
1727 <key>layoutEngine</key>
1728 <string>dot</string>
1729 <key>neatoSeparation</key>
1730 <real>0.0</real>
1731 <key>twopiSeparation</key>
1732 <real>0.0</real>
1733 </dict>
1734 <key>LinksVisible</key>
1735 <string>NO</string>
1736 <key>MagnetsVisible</key>
1737 <string>NO</string>
1738 <key>MasterSheets</key>
1739 <array/>
1740 <key>ModificationDate</key>
1741 <string>2014-05-22 18:09:38 +0000</string>
1742 <key>Modifier</key>
1743 <string>Manchun Zheng</string>
1744 <key>NotesVisible</key>
1745 <string>NO</string>
1746 <key>Orientation</key>
1747 <integer>2</integer>
1748 <key>OriginVisible</key>
1749 <string>NO</string>
1750 <key>PageBreaks</key>
1751 <string>YES</string>
1752 <key>PrintInfo</key>
1753 <dict>
1754 <key>NSBottomMargin</key>
1755 <array>
1756 <string>float</string>
1757 <string>41</string>
1758 </array>
1759 <key>NSHorizonalPagination</key>
1760 <array>
1761 <string>int</string>
1762 <string>0</string>
1763 </array>
1764 <key>NSLeftMargin</key>
1765 <array>
1766 <string>float</string>
1767 <string>18</string>
1768 </array>
1769 <key>NSPaperSize</key>
1770 <array>
1771 <string>coded</string>
1772 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAx7X05TU2l6ZT1mZn2WgWQCgRgDhg==</string>
1773 </array>
1774 <key>NSPrintReverseOrientation</key>
1775 <array>
1776 <string>int</string>
1777 <string>0</string>
1778 </array>
1779 <key>NSRightMargin</key>
1780 <array>
1781 <string>float</string>
1782 <string>18</string>
1783 </array>
1784 <key>NSTopMargin</key>
1785 <array>
1786 <string>float</string>
1787 <string>18</string>
1788 </array>
1789 </dict>
1790 <key>PrintOnePage</key>
1791 <false/>
1792 <key>ReadOnly</key>
1793 <string>NO</string>
1794 <key>RowAlign</key>
1795 <integer>1</integer>
1796 <key>RowSpacing</key>
1797 <real>36</real>
1798 <key>SheetTitle</key>
1799 <string>Canvas 1</string>
1800 <key>SmartAlignmentGuidesActive</key>
1801 <string>YES</string>
1802 <key>SmartDistanceGuidesActive</key>
1803 <string>YES</string>
1804 <key>UniqueID</key>
1805 <integer>1</integer>
1806 <key>UseEntirePage</key>
1807 <false/>
1808 <key>VPages</key>
1809 <integer>1</integer>
1810 <key>WindowInfo</key>
1811 <dict>
1812 <key>CurrentSheet</key>
1813 <integer>0</integer>
1814 <key>ExpandedCanvases</key>
1815 <array>
1816 <dict>
1817 <key>name</key>
1818 <string>Canvas 1</string>
1819 </dict>
1820 </array>
1821 <key>Frame</key>
1822 <string>{{622, 63}, {1574, 1346}}</string>
1823 <key>ListView</key>
1824 <true/>
1825 <key>OutlineWidth</key>
1826 <integer>142</integer>
1827 <key>RightSidebar</key>
1828 <false/>
1829 <key>ShowRuler</key>
1830 <true/>
1831 <key>Sidebar</key>
1832 <true/>
1833 <key>SidebarWidth</key>
1834 <integer>120</integer>
1835 <key>VisibleRegion</key>
1836 <string>{{-68, 120.5}, {712.5, 595.5}}</string>
1837 <key>Zoom</key>
1838 <real>2</real>
1839 <key>ZoomValues</key>
1840 <array>
1841 <array>
1842 <string>Canvas 1</string>
1843 <real>2</real>
1844 <real>2.5</real>
1845 </array>
1846 </array>
1847 </dict>
1848 <key>saveQuickLookFiles</key>
1849 <string>YES</string>
1850</dict>
1851</plist>
Note: See TracBrowser for help on using the repository browser.