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

1.23 2.0 main test-branch
Last change on this file since bfebb46 was 0c65483, checked in by Stephen Siegel <siegel@…>, 13 years ago

Working on tutorial, small changes to comments

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

  • Property mode set to 100644
File size: 29.1 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>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}, {576, 733}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>ID</key>
21 <integer>2</integer>
22 <key>Style</key>
23 <dict>
24 <key>shadow</key>
25 <dict>
26 <key>Draws</key>
27 <string>NO</string>
28 </dict>
29 <key>stroke</key>
30 <dict>
31 <key>Draws</key>
32 <string>NO</string>
33 </dict>
34 </dict>
35 </dict>
36 <key>BaseZoom</key>
37 <integer>0</integer>
38 <key>CanvasOrigin</key>
39 <string>{0, 0}</string>
40 <key>ColumnAlign</key>
41 <integer>1</integer>
42 <key>ColumnSpacing</key>
43 <real>36</real>
44 <key>CreationDate</key>
45 <string>2013-11-12 22:44:52 +0000</string>
46 <key>Creator</key>
47 <string>Tim Zirkel</string>
48 <key>DisplayScale</key>
49 <string>1 0/72 in = 1.0000 in</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>Class</key>
56 <string>LineGraphic</string>
57 <key>Head</key>
58 <dict>
59 <key>ID</key>
60 <integer>22</integer>
61 </dict>
62 <key>ID</key>
63 <integer>71</integer>
64 <key>Points</key>
65 <array>
66 <string>{294.00284672372021, 486.50483777504775}</string>
67 <string>{437.97336239215531, 534.49457419088549}</string>
68 </array>
69 <key>Style</key>
70 <dict>
71 <key>stroke</key>
72 <dict>
73 <key>HeadArrow</key>
74 <string>FilledArrow</string>
75 <key>Legacy</key>
76 <true/>
77 <key>LineType</key>
78 <integer>1</integer>
79 <key>Pattern</key>
80 <integer>1</integer>
81 <key>TailArrow</key>
82 <string>0</string>
83 </dict>
84 </dict>
85 <key>Tail</key>
86 <dict>
87 <key>ID</key>
88 <integer>16</integer>
89 </dict>
90 </dict>
91 <dict>
92 <key>Class</key>
93 <string>LineGraphic</string>
94 <key>Head</key>
95 <dict>
96 <key>ID</key>
97 <integer>68</integer>
98 </dict>
99 <key>ID</key>
100 <integer>69</integer>
101 <key>Points</key>
102 <array>
103 <string>{199.21310142938086, 276.97723433117807}</string>
104 <string>{120.75091878132351, 528.02276566892931}</string>
105 </array>
106 <key>Style</key>
107 <dict>
108 <key>stroke</key>
109 <dict>
110 <key>HeadArrow</key>
111 <string>FilledArrow</string>
112 <key>Legacy</key>
113 <true/>
114 <key>LineType</key>
115 <integer>1</integer>
116 <key>Pattern</key>
117 <integer>1</integer>
118 <key>TailArrow</key>
119 <string>0</string>
120 </dict>
121 </dict>
122 <key>Tail</key>
123 <dict>
124 <key>ID</key>
125 <integer>13</integer>
126 </dict>
127 </dict>
128 <dict>
129 <key>Bounds</key>
130 <string>{{78.97601318359375, 528.5}, {72, 36}}</string>
131 <key>Class</key>
132 <string>ShapedGraphic</string>
133 <key>ID</key>
134 <integer>68</integer>
135 <key>Shape</key>
136 <string>Rectangle</string>
137 <key>Style</key>
138 <dict>
139 <key>shadow</key>
140 <dict>
141 <key>Draws</key>
142 <string>NO</string>
143 </dict>
144 <key>stroke</key>
145 <dict>
146 <key>CornerRadius</key>
147 <real>9</real>
148 </dict>
149 </dict>
150 <key>Text</key>
151 <dict>
152 <key>Text</key>
153 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
154\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
155{\colortbl;\red255\green255\blue255;}
156\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
157
158\f0\fs24 \cf0 GMC}</string>
159 </dict>
160 </dict>
161 <dict>
162 <key>Class</key>
163 <string>LineGraphic</string>
164 <key>Head</key>
165 <dict>
166 <key>ID</key>
167 <integer>22</integer>
168 </dict>
169 <key>ID</key>
170 <integer>67</integer>
171 <key>Points</key>
172 <array>
173 <string>{466.5519546518168, 276.99976784706899}</string>
174 <string>{468.99577132423934, 357.16679794380167}</string>
175 <string>{471.14374217920368, 437.79896600126654}</string>
176 <string>{473.5039412328411, 528.00017107815677}</string>
177 </array>
178 <key>Style</key>
179 <dict>
180 <key>stroke</key>
181 <dict>
182 <key>HeadArrow</key>
183 <string>FilledArrow</string>
184 <key>Legacy</key>
185 <true/>
186 <key>LineType</key>
187 <integer>1</integer>
188 <key>Pattern</key>
189 <integer>1</integer>
190 <key>TailArrow</key>
191 <string>0</string>
192 </dict>
193 </dict>
194 <key>Tail</key>
195 <dict>
196 <key>ID</key>
197 <integer>6</integer>
198 </dict>
199 </dict>
200 <dict>
201 <key>Class</key>
202 <string>LineGraphic</string>
203 <key>Head</key>
204 <dict>
205 <key>ID</key>
206 <integer>23</integer>
207 </dict>
208 <key>ID</key>
209 <integer>66</integer>
210 <key>Points</key>
211 <array>
212 <string>{257.98798829670079, 493}</string>
213 <string>{257.98798829670079, 528}</string>
214 </array>
215 <key>Style</key>
216 <dict>
217 <key>stroke</key>
218 <dict>
219 <key>HeadArrow</key>
220 <string>FilledArrow</string>
221 <key>Legacy</key>
222 <true/>
223 <key>LineType</key>
224 <integer>1</integer>
225 <key>Pattern</key>
226 <integer>1</integer>
227 <key>TailArrow</key>
228 <string>0</string>
229 </dict>
230 </dict>
231 <key>Tail</key>
232 <dict>
233 <key>ID</key>
234 <integer>16</integer>
235 </dict>
236 </dict>
237 <dict>
238 <key>Class</key>
239 <string>LineGraphic</string>
240 <key>Head</key>
241 <dict>
242 <key>ID</key>
243 <integer>22</integer>
244 </dict>
245 <key>ID</key>
246 <integer>65</integer>
247 <key>Points</key>
248 <array>
249 <string>{366.85913563882139, 420.87842316887242}</string>
250 <string>{409.6160065643283, 470.38995224267495}</string>
251 <string>{458.44116393610659, 528.11823562270422}</string>
252 </array>
253 <key>Style</key>
254 <dict>
255 <key>stroke</key>
256 <dict>
257 <key>HeadArrow</key>
258 <string>FilledArrow</string>
259 <key>Legacy</key>
260 <true/>
261 <key>LineType</key>
262 <integer>1</integer>
263 <key>Pattern</key>
264 <integer>1</integer>
265 <key>TailArrow</key>
266 <string>0</string>
267 </dict>
268 </dict>
269 <key>Tail</key>
270 <dict>
271 <key>ID</key>
272 <integer>14</integer>
273 </dict>
274 </dict>
275 <dict>
276 <key>Class</key>
277 <string>LineGraphic</string>
278 <key>Head</key>
279 <dict>
280 <key>ID</key>
281 <integer>20</integer>
282 </dict>
283 <key>ID</key>
284 <integer>61</integer>
285 <key>Points</key>
286 <array>
287 <string>{186.88693416479725, 276.8560170806399}</string>
288 <string>{152.0890789088304, 312.1439829193601}</string>
289 </array>
290 <key>Style</key>
291 <dict>
292 <key>stroke</key>
293 <dict>
294 <key>HeadArrow</key>
295 <string>FilledArrow</string>
296 <key>Legacy</key>
297 <true/>
298 <key>LineType</key>
299 <integer>1</integer>
300 <key>TailArrow</key>
301 <string>0</string>
302 </dict>
303 </dict>
304 <key>Tail</key>
305 <dict>
306 <key>ID</key>
307 <integer>13</integer>
308 </dict>
309 </dict>
310 <dict>
311 <key>Class</key>
312 <string>LineGraphic</string>
313 <key>Head</key>
314 <dict>
315 <key>ID</key>
316 <integer>16</integer>
317 </dict>
318 <key>ID</key>
319 <integer>56</integer>
320 <key>Points</key>
321 <array>
322 <string>{461.07122711207819, 276.98319596163765}</string>
323 <string>{438.58105846912463, 361.52841421937694}</string>
324 <string>{382.57188287929392, 430.33648268644879}</string>
325 <string>{293.749190539653, 461.82308133686854}</string>
326 </array>
327 <key>Style</key>
328 <dict>
329 <key>stroke</key>
330 <dict>
331 <key>HeadArrow</key>
332 <string>FilledArrow</string>
333 <key>Legacy</key>
334 <true/>
335 <key>LineType</key>
336 <integer>1</integer>
337 <key>TailArrow</key>
338 <string>0</string>
339 </dict>
340 </dict>
341 <key>Tail</key>
342 <dict>
343 <key>ID</key>
344 <integer>6</integer>
345 </dict>
346 </dict>
347 <dict>
348 <key>Class</key>
349 <string>LineGraphic</string>
350 <key>Head</key>
351 <dict>
352 <key>ID</key>
353 <integer>16</integer>
354 </dict>
355 <key>ID</key>
356 <integer>55</integer>
357 <key>Points</key>
358 <array>
359 <string>{300.28154717913111, 348.9614123273152}</string>
360 <string>{280.07922427361007, 397.35762038563723}</string>
361 <string>{263.28030763910891, 456.01932128389006}</string>
362 </array>
363 <key>Style</key>
364 <dict>
365 <key>stroke</key>
366 <dict>
367 <key>HeadArrow</key>
368 <string>FilledArrow</string>
369 <key>Legacy</key>
370 <true/>
371 <key>LineType</key>
372 <integer>1</integer>
373 <key>TailArrow</key>
374 <string>0</string>
375 </dict>
376 </dict>
377 <key>Tail</key>
378 <dict>
379 <key>ID</key>
380 <integer>15</integer>
381 </dict>
382 </dict>
383 <dict>
384 <key>Class</key>
385 <string>LineGraphic</string>
386 <key>Head</key>
387 <dict>
388 <key>ID</key>
389 <integer>16</integer>
390 </dict>
391 <key>ID</key>
392 <integer>54</integer>
393 <key>Points</key>
394 <array>
395 <string>{149.89258185388036, 348.87807958969518}</string>
396 <string>{192.88782862737281, 398.56001413752261}</string>
397 <string>{242.23193749630741, 456.12039334188057}</string>
398 </array>
399 <key>Style</key>
400 <dict>
401 <key>stroke</key>
402 <dict>
403 <key>HeadArrow</key>
404 <string>FilledArrow</string>
405 <key>Legacy</key>
406 <true/>
407 <key>LineType</key>
408 <integer>1</integer>
409 <key>TailArrow</key>
410 <string>0</string>
411 </dict>
412 </dict>
413 <key>Tail</key>
414 <dict>
415 <key>ID</key>
416 <integer>20</integer>
417 </dict>
418 </dict>
419 <dict>
420 <key>Class</key>
421 <string>LineGraphic</string>
422 <key>Head</key>
423 <dict>
424 <key>ID</key>
425 <integer>16</integer>
426 </dict>
427 <key>ID</key>
428 <integer>53</integer>
429 <key>Points</key>
430 <array>
431 <string>{327.34264472054463, 420.80608659010096}</string>
432 <string>{281.63336836194958, 456.1939134098975}</string>
433 </array>
434 <key>Style</key>
435 <dict>
436 <key>stroke</key>
437 <dict>
438 <key>HeadArrow</key>
439 <string>FilledArrow</string>
440 <key>Legacy</key>
441 <true/>
442 <key>LineType</key>
443 <integer>1</integer>
444 <key>TailArrow</key>
445 <string>0</string>
446 </dict>
447 </dict>
448 <key>Tail</key>
449 <dict>
450 <key>ID</key>
451 <integer>14</integer>
452 </dict>
453 </dict>
454 <dict>
455 <key>Class</key>
456 <string>LineGraphic</string>
457 <key>Head</key>
458 <dict>
459 <key>ID</key>
460 <integer>16</integer>
461 </dict>
462 <key>ID</key>
463 <integer>52</integer>
464 <key>Points</key>
465 <array>
466 <string>{287.74178718701307, 276.94699313836537}</string>
467 <string>{245.9676047864632, 360.29003556120369}</string>
468 <string>{256.04120255824631, 456.00274649367771}</string>
469 </array>
470 <key>Style</key>
471 <dict>
472 <key>stroke</key>
473 <dict>
474 <key>HeadArrow</key>
475 <string>FilledArrow</string>
476 <key>Legacy</key>
477 <true/>
478 <key>LineType</key>
479 <integer>1</integer>
480 <key>TailArrow</key>
481 <string>0</string>
482 </dict>
483 </dict>
484 <key>Tail</key>
485 <dict>
486 <key>ID</key>
487 <integer>17</integer>
488 </dict>
489 </dict>
490 <dict>
491 <key>Class</key>
492 <string>LineGraphic</string>
493 <key>ID</key>
494 <integer>50</integer>
495 <key>Points</key>
496 <array>
497 <string>{227.64431386156627, 204.80856775726554}</string>
498 <string>{207, 221}</string>
499 </array>
500 <key>Style</key>
501 <dict>
502 <key>stroke</key>
503 <dict>
504 <key>HeadArrow</key>
505 <string>FilledArrow</string>
506 <key>Legacy</key>
507 <true/>
508 <key>LineType</key>
509 <integer>1</integer>
510 <key>TailArrow</key>
511 <string>0</string>
512 </dict>
513 </dict>
514 <key>Tail</key>
515 <dict>
516 <key>ID</key>
517 <integer>12</integer>
518 </dict>
519 </dict>
520 <dict>
521 <key>Class</key>
522 <string>LineGraphic</string>
523 <key>Head</key>
524 <dict>
525 <key>ID</key>
526 <integer>15</integer>
527 </dict>
528 <key>ID</key>
529 <integer>49</integer>
530 <key>Points</key>
531 <array>
532 <string>{432.06049580707236, 273.96086191406977}</string>
533 <string>{341.91621335669885, 315.03986450142213}</string>
534 </array>
535 <key>Style</key>
536 <dict>
537 <key>stroke</key>
538 <dict>
539 <key>HeadArrow</key>
540 <string>FilledArrow</string>
541 <key>Legacy</key>
542 <true/>
543 <key>LineType</key>
544 <integer>1</integer>
545 <key>TailArrow</key>
546 <string>0</string>
547 </dict>
548 </dict>
549 <key>Tail</key>
550 <dict>
551 <key>ID</key>
552 <integer>6</integer>
553 </dict>
554 </dict>
555 <dict>
556 <key>Class</key>
557 <string>LineGraphic</string>
558 <key>Head</key>
559 <dict>
560 <key>ID</key>
561 <integer>15</integer>
562 </dict>
563 <key>ID</key>
564 <integer>48</integer>
565 <key>Points</key>
566 <array>
567 <string>{231.11485857715388, 276.78670920302284}</string>
568 <string>{281.73141358998896, 312.21425412490186}</string>
569 </array>
570 <key>Style</key>
571 <dict>
572 <key>stroke</key>
573 <dict>
574 <key>HeadArrow</key>
575 <string>FilledArrow</string>
576 <key>Legacy</key>
577 <true/>
578 <key>LineType</key>
579 <integer>1</integer>
580 <key>TailArrow</key>
581 <string>0</string>
582 </dict>
583 </dict>
584 <key>Tail</key>
585 <dict>
586 <key>ID</key>
587 <integer>13</integer>
588 </dict>
589 </dict>
590 <dict>
591 <key>Class</key>
592 <string>LineGraphic</string>
593 <key>ID</key>
594 <integer>44</integer>
595 <key>Points</key>
596 <array>
597 <string>{275.73415245752756, 204.7972652429662}</string>
598 <string>{299, 222}</string>
599 </array>
600 <key>Style</key>
601 <dict>
602 <key>stroke</key>
603 <dict>
604 <key>HeadArrow</key>
605 <string>FilledArrow</string>
606 <key>Legacy</key>
607 <true/>
608 <key>LineType</key>
609 <integer>1</integer>
610 <key>TailArrow</key>
611 <string>0</string>
612 </dict>
613 </dict>
614 <key>Tail</key>
615 <dict>
616 <key>ID</key>
617 <integer>12</integer>
618 </dict>
619 </dict>
620 <dict>
621 <key>Class</key>
622 <string>LineGraphic</string>
623 <key>Head</key>
624 <dict>
625 <key>ID</key>
626 <integer>15</integer>
627 </dict>
628 <key>ID</key>
629 <integer>43</integer>
630 <key>Points</key>
631 <array>
632 <string>{299.77868475491829, 276.99440319941056}</string>
633 <string>{305.06171550199792, 312.00614408825891}</string>
634 </array>
635 <key>Style</key>
636 <dict>
637 <key>stroke</key>
638 <dict>
639 <key>HeadArrow</key>
640 <string>FilledArrow</string>
641 <key>Legacy</key>
642 <true/>
643 <key>LineType</key>
644 <integer>1</integer>
645 <key>TailArrow</key>
646 <string>0</string>
647 </dict>
648 </dict>
649 <key>Tail</key>
650 <dict>
651 <key>ID</key>
652 <integer>17</integer>
653 </dict>
654 </dict>
655 <dict>
656 <key>Class</key>
657 <string>LineGraphic</string>
658 <key>Head</key>
659 <dict>
660 <key>ID</key>
661 <integer>14</integer>
662 </dict>
663 <key>ID</key>
664 <integer>42</integer>
665 <key>Points</key>
666 <array>
667 <string>{169.78346755149852, 343.0947698500853}</string>
668 <string>{237.24064896336222, 366.82983714183933}</string>
669 <string>{314.78275385291357, 391.14635374005383}</string>
670 </array>
671 <key>Style</key>
672 <dict>
673 <key>stroke</key>
674 <dict>
675 <key>HeadArrow</key>
676 <string>FilledArrow</string>
677 <key>Legacy</key>
678 <true/>
679 <key>LineType</key>
680 <integer>1</integer>
681 <key>TailArrow</key>
682 <string>0</string>
683 </dict>
684 </dict>
685 <key>Tail</key>
686 <dict>
687 <key>ID</key>
688 <integer>20</integer>
689 </dict>
690 </dict>
691 <dict>
692 <key>Class</key>
693 <string>LineGraphic</string>
694 <key>Head</key>
695 <dict>
696 <key>ID</key>
697 <integer>14</integer>
698 </dict>
699 <key>ID</key>
700 <integer>39</integer>
701 <key>Points</key>
702 <array>
703 <string>{456.4612123299413, 276.94423975928862}</string>
704 <string>{427.77543240126829, 332.48101195610764}</string>
705 <string>{371.09745135968035, 384.16310489082616}</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>Legacy</key>
714 <true/>
715 <key>LineType</key>
716 <integer>1</integer>
717 <key>TailArrow</key>
718 <string>0</string>
719 </dict>
720 </dict>
721 <key>Tail</key>
722 <dict>
723 <key>ID</key>
724 <integer>6</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>14</integer>
734 </dict>
735 <key>ID</key>
736 <integer>38</integer>
737 <key>Points</key>
738 <array>
739 <string>{311.85651174726684, 276.88880509074642}</string>
740 <string>{348.31090363983822, 321.97421887005748}</string>
741 <string>{350.37297790413447, 384.00027608945669}</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>Legacy</key>
750 <true/>
751 <key>LineType</key>
752 <integer>1</integer>
753 <key>TailArrow</key>
754 <string>0</string>
755 </dict>
756 </dict>
757 <key>Tail</key>
758 <dict>
759 <key>ID</key>
760 <integer>17</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>14</integer>
770 </dict>
771 <key>ID</key>
772 <integer>37</integer>
773 <key>Points</key>
774 <array>
775 <string>{214.63615937359009, 276.94303898838331}</string>
776 <string>{248.20437655601432, 341.11075609110765}</string>
777 <string>{321.02623488303811, 384.60483020758062}</string>
778 </array>
779 <key>Style</key>
780 <dict>
781 <key>stroke</key>
782 <dict>
783 <key>HeadArrow</key>
784 <string>FilledArrow</string>
785 <key>Legacy</key>
786 <true/>
787 <key>LineType</key>
788 <integer>1</integer>
789 <key>TailArrow</key>
790 <string>0</string>
791 </dict>
792 </dict>
793 <key>Tail</key>
794 <dict>
795 <key>ID</key>
796 <integer>13</integer>
797 </dict>
798 </dict>
799 <dict>
800 <key>Class</key>
801 <string>LineGraphic</string>
802 <key>Head</key>
803 <dict>
804 <key>ID</key>
805 <integer>14</integer>
806 </dict>
807 <key>ID</key>
808 <integer>36</integer>
809 <key>Points</key>
810 <array>
811 <string>{318.98263226554928, 348.92939279103399}</string>
812 <string>{339.94749575338813, 384.07108069316735}</string>
813 </array>
814 <key>Style</key>
815 <dict>
816 <key>stroke</key>
817 <dict>
818 <key>HeadArrow</key>
819 <string>FilledArrow</string>
820 <key>Legacy</key>
821 <true/>
822 <key>LineType</key>
823 <integer>1</integer>
824 <key>TailArrow</key>
825 <string>0</string>
826 </dict>
827 </dict>
828 <key>Tail</key>
829 <dict>
830 <key>ID</key>
831 <integer>15</integer>
832 </dict>
833 </dict>
834 <dict>
835 <key>Bounds</key>
836 <string>{{221.98800659179688, 528.5}, {72, 36}}</string>
837 <key>Class</key>
838 <string>ShapedGraphic</string>
839 <key>ID</key>
840 <integer>23</integer>
841 <key>Shape</key>
842 <string>Rectangle</string>
843 <key>Style</key>
844 <dict>
845 <key>shadow</key>
846 <dict>
847 <key>Draws</key>
848 <string>NO</string>
849 </dict>
850 <key>stroke</key>
851 <dict>
852 <key>CornerRadius</key>
853 <real>9</real>
854 </dict>
855 </dict>
856 <key>Text</key>
857 <dict>
858 <key>Text</key>
859 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
860\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
861{\colortbl;\red255\green255\blue255;}
862\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
863
864\f0\fs24 \cf0 ABC}</string>
865 </dict>
866 </dict>
867 <dict>
868 <key>Bounds</key>
869 <string>{{437.98800659179688, 528.5}, {72, 36}}</string>
870 <key>Class</key>
871 <string>ShapedGraphic</string>
872 <key>ID</key>
873 <integer>22</integer>
874 <key>Shape</key>
875 <string>Rectangle</string>
876 <key>Style</key>
877 <dict>
878 <key>shadow</key>
879 <dict>
880 <key>Draws</key>
881 <string>NO</string>
882 </dict>
883 <key>stroke</key>
884 <dict>
885 <key>CornerRadius</key>
886 <real>9</real>
887 </dict>
888 </dict>
889 <key>Text</key>
890 <dict>
891 <key>Text</key>
892 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
893\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
894{\colortbl;\red255\green255\blue255;}
895\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
896
897\f0\fs24 \cf0 SARL}</string>
898 </dict>
899 </dict>
900 <dict>
901 <key>Bounds</key>
902 <string>{{97.988006591796875, 312.5}, {72, 36}}</string>
903 <key>Class</key>
904 <string>ShapedGraphic</string>
905 <key>ID</key>
906 <integer>20</integer>
907 <key>Shape</key>
908 <string>Rectangle</string>
909 <key>Style</key>
910 <dict>
911 <key>shadow</key>
912 <dict>
913 <key>Draws</key>
914 <string>NO</string>
915 </dict>
916 <key>stroke</key>
917 <dict>
918 <key>CornerRadius</key>
919 <real>9</real>
920 </dict>
921 </dict>
922 <key>Text</key>
923 <dict>
924 <key>Text</key>
925 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
926\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
927{\colortbl;\red255\green255\blue255;}
928\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
929
930\f0\fs24 \cf0 transition}</string>
931 </dict>
932 </dict>
933 <dict>
934 <key>Bounds</key>
935 <string>{{260.98800659179688, 240.5}, {72, 36}}</string>
936 <key>Class</key>
937 <string>ShapedGraphic</string>
938 <key>ID</key>
939 <integer>17</integer>
940 <key>Shape</key>
941 <string>Rectangle</string>
942 <key>Style</key>
943 <dict>
944 <key>shadow</key>
945 <dict>
946 <key>Draws</key>
947 <string>NO</string>
948 </dict>
949 <key>stroke</key>
950 <dict>
951 <key>CornerRadius</key>
952 <real>9</real>
953 </dict>
954 </dict>
955 <key>Text</key>
956 <dict>
957 <key>Text</key>
958 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
959\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
960{\colortbl;\red255\green255\blue255;}
961\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
962
963\f0\fs24 \cf0 library}</string>
964 </dict>
965 </dict>
966 <dict>
967 <key>Bounds</key>
968 <string>{{221.98800659179688, 456.5}, {72, 36}}</string>
969 <key>Class</key>
970 <string>ShapedGraphic</string>
971 <key>ID</key>
972 <integer>16</integer>
973 <key>Shape</key>
974 <string>Rectangle</string>
975 <key>Style</key>
976 <dict>
977 <key>shadow</key>
978 <dict>
979 <key>Draws</key>
980 <string>NO</string>
981 </dict>
982 <key>stroke</key>
983 <dict>
984 <key>CornerRadius</key>
985 <real>9</real>
986 </dict>
987 </dict>
988 <key>Text</key>
989 <dict>
990 <key>Text</key>
991 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
992\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
993{\colortbl;\red255\green255\blue255;}
994\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
995
996\f0\fs24 \cf0 model}</string>
997 </dict>
998 </dict>
999 <dict>
1000 <key>Bounds</key>
1001 <string>{{271.98800659179688, 312.5}, {72, 36}}</string>
1002 <key>Class</key>
1003 <string>ShapedGraphic</string>
1004 <key>ID</key>
1005 <integer>15</integer>
1006 <key>Shape</key>
1007 <string>Rectangle</string>
1008 <key>Style</key>
1009 <dict>
1010 <key>shadow</key>
1011 <dict>
1012 <key>Draws</key>
1013 <string>NO</string>
1014 </dict>
1015 <key>stroke</key>
1016 <dict>
1017 <key>CornerRadius</key>
1018 <real>9</real>
1019 </dict>
1020 </dict>
1021 <key>Text</key>
1022 <dict>
1023 <key>Text</key>
1024 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1025\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1026{\colortbl;\red255\green255\blue255;}
1027\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1028
1029\f0\fs24 \cf0 semantics}</string>
1030 </dict>
1031 </dict>
1032 <dict>
1033 <key>Bounds</key>
1034 <string>{{314.98800659179688, 384.5}, {72, 36}}</string>
1035 <key>Class</key>
1036 <string>ShapedGraphic</string>
1037 <key>ID</key>
1038 <integer>14</integer>
1039 <key>Shape</key>
1040 <string>Rectangle</string>
1041 <key>Style</key>
1042 <dict>
1043 <key>shadow</key>
1044 <dict>
1045 <key>Draws</key>
1046 <string>NO</string>
1047 </dict>
1048 <key>stroke</key>
1049 <dict>
1050 <key>CornerRadius</key>
1051 <real>9</real>
1052 </dict>
1053 </dict>
1054 <key>Text</key>
1055 <dict>
1056 <key>Text</key>
1057 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1058\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1059{\colortbl;\red255\green255\blue255;}
1060\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1061
1062\f0\fs24 \cf0 state}</string>
1063 </dict>
1064 </dict>
1065 <dict>
1066 <key>Bounds</key>
1067 <string>{{168.98800659179688, 240.5}, {72, 36}}</string>
1068 <key>Class</key>
1069 <string>ShapedGraphic</string>
1070 <key>ID</key>
1071 <integer>13</integer>
1072 <key>Shape</key>
1073 <string>Rectangle</string>
1074 <key>Style</key>
1075 <dict>
1076 <key>shadow</key>
1077 <dict>
1078 <key>Draws</key>
1079 <string>NO</string>
1080 </dict>
1081 <key>stroke</key>
1082 <dict>
1083 <key>CornerRadius</key>
1084 <real>9</real>
1085 </dict>
1086 </dict>
1087 <key>Text</key>
1088 <dict>
1089 <key>Text</key>
1090 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1091\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1092{\colortbl;\red255\green255\blue255;}
1093\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1094
1095\f0\fs24 \cf0 kripke}</string>
1096 </dict>
1097 </dict>
1098 <dict>
1099 <key>Bounds</key>
1100 <string>{{214.98800659179688, 168.5}, {72, 36}}</string>
1101 <key>Class</key>
1102 <string>ShapedGraphic</string>
1103 <key>ID</key>
1104 <integer>12</integer>
1105 <key>Shape</key>
1106 <string>Rectangle</string>
1107 <key>Style</key>
1108 <dict>
1109 <key>shadow</key>
1110 <dict>
1111 <key>Draws</key>
1112 <string>NO</string>
1113 </dict>
1114 <key>stroke</key>
1115 <dict>
1116 <key>CornerRadius</key>
1117 <real>9</real>
1118 </dict>
1119 </dict>
1120 <key>Text</key>
1121 <dict>
1122 <key>Text</key>
1123 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1124\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1125{\colortbl;\red255\green255\blue255;}
1126\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1127
1128\f0\fs24 \cf0 run}</string>
1129 </dict>
1130 </dict>
1131 <dict>
1132 <key>Bounds</key>
1133 <string>{{429.98800659179688, 240.5}, {72, 36}}</string>
1134 <key>Class</key>
1135 <string>ShapedGraphic</string>
1136 <key>ID</key>
1137 <integer>6</integer>
1138 <key>Shape</key>
1139 <string>Rectangle</string>
1140 <key>Style</key>
1141 <dict>
1142 <key>shadow</key>
1143 <dict>
1144 <key>Draws</key>
1145 <string>NO</string>
1146 </dict>
1147 <key>stroke</key>
1148 <dict>
1149 <key>CornerRadius</key>
1150 <real>9</real>
1151 </dict>
1152 </dict>
1153 <key>Text</key>
1154 <dict>
1155 <key>Text</key>
1156 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
1157\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1158{\colortbl;\red255\green255\blue255;}
1159\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1160
1161\f0\fs24 \cf0 predicate}</string>
1162 </dict>
1163 </dict>
1164 </array>
1165 <key>GridInfo</key>
1166 <dict/>
1167 <key>GuidesLocked</key>
1168 <string>NO</string>
1169 <key>GuidesVisible</key>
1170 <string>YES</string>
1171 <key>HPages</key>
1172 <integer>1</integer>
1173 <key>ImageCounter</key>
1174 <integer>1</integer>
1175 <key>KeepToScale</key>
1176 <false/>
1177 <key>Layers</key>
1178 <array>
1179 <dict>
1180 <key>Lock</key>
1181 <string>NO</string>
1182 <key>Name</key>
1183 <string>Layer 1</string>
1184 <key>Print</key>
1185 <string>YES</string>
1186 <key>View</key>
1187 <string>YES</string>
1188 </dict>
1189 </array>
1190 <key>LayoutInfo</key>
1191 <dict>
1192 <key>Animate</key>
1193 <string>NO</string>
1194 <key>RankInfo</key>
1195 <dict>
1196 <key>Same</key>
1197 <array>
1198 <array>
1199 <integer>22</integer>
1200 <integer>23</integer>
1201 </array>
1202 </array>
1203 </dict>
1204 <key>circoMinDist</key>
1205 <real>18</real>
1206 <key>circoSeparation</key>
1207 <real>0.0</real>
1208 <key>layoutEngine</key>
1209 <string>dot</string>
1210 <key>neatoSeparation</key>
1211 <real>0.0</real>
1212 <key>twopiSeparation</key>
1213 <real>0.0</real>
1214 </dict>
1215 <key>LinksVisible</key>
1216 <string>NO</string>
1217 <key>MagnetsVisible</key>
1218 <string>NO</string>
1219 <key>MasterSheets</key>
1220 <array/>
1221 <key>ModificationDate</key>
1222 <string>2013-12-09 13:09:19 +0000</string>
1223 <key>Modifier</key>
1224 <string>Stephen Siegel</string>
1225 <key>NotesVisible</key>
1226 <string>NO</string>
1227 <key>Orientation</key>
1228 <integer>2</integer>
1229 <key>OriginVisible</key>
1230 <string>NO</string>
1231 <key>PageBreaks</key>
1232 <string>YES</string>
1233 <key>PrintInfo</key>
1234 <dict>
1235 <key>NSBottomMargin</key>
1236 <array>
1237 <string>float</string>
1238 <string>41</string>
1239 </array>
1240 <key>NSHorizonalPagination</key>
1241 <array>
1242 <string>coded</string>
1243 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
1244 </array>
1245 <key>NSLeftMargin</key>
1246 <array>
1247 <string>float</string>
1248 <string>18</string>
1249 </array>
1250 <key>NSPaperSize</key>
1251 <array>
1252 <string>size</string>
1253 <string>{612, 792}</string>
1254 </array>
1255 <key>NSPrintReverseOrientation</key>
1256 <array>
1257 <string>int</string>
1258 <string>0</string>
1259 </array>
1260 <key>NSRightMargin</key>
1261 <array>
1262 <string>float</string>
1263 <string>18</string>
1264 </array>
1265 <key>NSTopMargin</key>
1266 <array>
1267 <string>float</string>
1268 <string>18</string>
1269 </array>
1270 </dict>
1271 <key>PrintOnePage</key>
1272 <false/>
1273 <key>ReadOnly</key>
1274 <string>NO</string>
1275 <key>RowAlign</key>
1276 <integer>1</integer>
1277 <key>RowSpacing</key>
1278 <real>36</real>
1279 <key>SheetTitle</key>
1280 <string>Canvas 1</string>
1281 <key>SmartAlignmentGuidesActive</key>
1282 <string>YES</string>
1283 <key>SmartDistanceGuidesActive</key>
1284 <string>YES</string>
1285 <key>UniqueID</key>
1286 <integer>1</integer>
1287 <key>UseEntirePage</key>
1288 <false/>
1289 <key>VPages</key>
1290 <integer>1</integer>
1291 <key>WindowInfo</key>
1292 <dict>
1293 <key>CurrentSheet</key>
1294 <integer>0</integer>
1295 <key>ExpandedCanvases</key>
1296 <array>
1297 <dict>
1298 <key>name</key>
1299 <string>Canvas 1</string>
1300 </dict>
1301 </array>
1302 <key>Frame</key>
1303 <string>{{305, 4}, {710, 774}}</string>
1304 <key>ListView</key>
1305 <true/>
1306 <key>OutlineWidth</key>
1307 <integer>142</integer>
1308 <key>RightSidebar</key>
1309 <false/>
1310 <key>ShowRuler</key>
1311 <true/>
1312 <key>Sidebar</key>
1313 <true/>
1314 <key>SidebarWidth</key>
1315 <integer>120</integer>
1316 <key>VisibleRegion</key>
1317 <string>{{0, 0}, {575, 635}}</string>
1318 <key>Zoom</key>
1319 <real>1</real>
1320 <key>ZoomValues</key>
1321 <array>
1322 <array>
1323 <string>Canvas 1</string>
1324 <real>1</real>
1325 <real>1</real>
1326 </array>
1327 </array>
1328 </dict>
1329</dict>
1330</plist>
Note: See TracBrowser for help on using the repository browser.