Mercurial > hg > Papers > 2014 > taninari-master

comparison paper/images/traverse_sample_2.graffle @ 0:77283ceeeb96

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first commit
author Taninari YU <you@cr.ie.u-ryukyu.ac.jp>
date Tue, 14 Jan 2014 17:43:01 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:77283ceeeb96
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.16.0.171715</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {1118, 783}}</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-02-13 05:42:53 +0000</string>
46 <key>Creator</key>
47 <string>shoshi</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>ID</key>
58 <integer>91</integer>
59 <key>Points</key>
60 <array>
61 <string>{452.25, 158.50700378417969}</string>
62 <string>{497.25, 158.50700378417969}</string>
63 </array>
64 <key>Style</key>
65 <dict>
66 <key>stroke</key>
67 <dict>
68 <key>HeadArrow</key>
69 <string>FilledArrow</string>
70 <key>Legacy</key>
71 <true/>
72 <key>TailArrow</key>
73 <string>0</string>
74 <key>Width</key>
75 <real>5</real>
76 </dict>
77 </dict>
78 </dict>
79 <dict>
80 <key>Bounds</key>
81 <string>{{672.5, 43.999999999999943}, {57, 17}}</string>
82 <key>Class</key>
83 <string>ShapedGraphic</string>
84 <key>FitText</key>
85 <string>YES</string>
86 <key>Flow</key>
87 <string>Resize</string>
88 <key>FontInfo</key>
89 <dict>
90 <key>Color</key>
91 <dict>
92 <key>b</key>
93 <string>0</string>
94 <key>g</key>
95 <string>0</string>
96 <key>r</key>
97 <string>1</string>
98 </dict>
99 <key>Font</key>
100 <string>Helvetica</string>
101 <key>Size</key>
102 <real>13</real>
103 </dict>
104 <key>ID</key>
105 <integer>90</integer>
106 <key>Shape</key>
107 <string>Rectangle</string>
108 <key>Style</key>
109 <dict>
110 <key>fill</key>
111 <dict>
112 <key>Draws</key>
113 <string>NO</string>
114 </dict>
115 <key>shadow</key>
116 <dict>
117 <key>Draws</key>
118 <string>NO</string>
119 </dict>
120 <key>stroke</key>
121 <dict>
122 <key>Draws</key>
123 <string>NO</string>
124 </dict>
125 </dict>
126 <key>Text</key>
127 <dict>
128 <key>Pad</key>
129 <integer>0</integer>
130 <key>Text</key>
131 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
132 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
133 {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
134 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
135
136 \f0\fs28 \cf2 ACCEPT}</string>
137 <key>VerticalPad</key>
138 <integer>0</integer>
139 </dict>
140 <key>Wrap</key>
141 <string>NO</string>
142 </dict>
143 <dict>
144 <key>Class</key>
145 <string>LineGraphic</string>
146 <key>Head</key>
147 <dict>
148 <key>ID</key>
149 <integer>65</integer>
150 </dict>
151 <key>ID</key>
152 <integer>89</integer>
153 <key>Points</key>
154 <array>
155 <string>{504.29684125543838, 63.03860218229314}</string>
156 <string>{555.39645763795602, 98.558970788705423}</string>
157 </array>
158 <key>Style</key>
159 <dict>
160 <key>stroke</key>
161 <dict>
162 <key>HeadArrow</key>
163 <string>FilledArrow</string>
164 <key>Legacy</key>
165 <true/>
166 <key>Pattern</key>
167 <integer>1</integer>
168 <key>TailArrow</key>
169 <string>0</string>
170 </dict>
171 </dict>
172 <key>Tail</key>
173 <dict>
174 <key>ID</key>
175 <integer>62</integer>
176 </dict>
177 </dict>
178 <dict>
179 <key>Class</key>
180 <string>LineGraphic</string>
181 <key>Head</key>
182 <dict>
183 <key>ID</key>
184 <integer>84</integer>
185 </dict>
186 <key>ID</key>
187 <integer>88</integer>
188 <key>Points</key>
189 <array>
190 <string>{689.55305440841551, 193}</string>
191 <string>{749.44648863248722, 234.98658467643128}</string>
192 </array>
193 <key>Style</key>
194 <dict>
195 <key>stroke</key>
196 <dict>
197 <key>HeadArrow</key>
198 <string>0</string>
199 <key>Legacy</key>
200 <true/>
201 <key>TailArrow</key>
202 <string>0</string>
203 </dict>
204 </dict>
205 </dict>
206 <dict>
207 <key>Class</key>
208 <string>LineGraphic</string>
209 <key>Head</key>
210 <dict>
211 <key>ID</key>
212 <integer>83</integer>
213 </dict>
214 <key>ID</key>
215 <integer>87</integer>
216 <key>Points</key>
217 <array>
218 <string>{681.3745931692697, 199.63399464199267}</string>
219 <string>{696.59901765531242, 228.364775492832}</string>
220 </array>
221 <key>Style</key>
222 <dict>
223 <key>stroke</key>
224 <dict>
225 <key>HeadArrow</key>
226 <string>0</string>
227 <key>Legacy</key>
228 <true/>
229 <key>TailArrow</key>
230 <string>0</string>
231 </dict>
232 </dict>
233 </dict>
234 <dict>
235 <key>Class</key>
236 <string>LineGraphic</string>
237 <key>Head</key>
238 <dict>
239 <key>ID</key>
240 <integer>82</integer>
241 </dict>
242 <key>ID</key>
243 <integer>86</integer>
244 <key>Points</key>
245 <array>
246 <string>{663.31004419374301, 200.73205310302325}</string>
247 <string>{653.60630674740696, 227.22579082378738}</string>
248 </array>
249 <key>Style</key>
250 <dict>
251 <key>stroke</key>
252 <dict>
253 <key>HeadArrow</key>
254 <string>0</string>
255 <key>Legacy</key>
256 <true/>
257 <key>TailArrow</key>
258 <string>0</string>
259 </dict>
260 </dict>
261 </dict>
262 <dict>
263 <key>Class</key>
264 <string>LineGraphic</string>
265 <key>Head</key>
266 <dict>
267 <key>ID</key>
268 <integer>81</integer>
269 </dict>
270 <key>ID</key>
271 <integer>85</integer>
272 <key>Points</key>
273 <array>
274 <string>{653.26672715531754, 194.00476228664814}</string>
275 <string>{602.72686875502143, 233.97383281319256}</string>
276 </array>
277 <key>Style</key>
278 <dict>
279 <key>stroke</key>
280 <dict>
281 <key>HeadArrow</key>
282 <string>0</string>
283 <key>Legacy</key>
284 <true/>
285 <key>TailArrow</key>
286 <string>0</string>
287 </dict>
288 </dict>
289 </dict>
290 <dict>
291 <key>Bounds</key>
292 <string>{{745.5, 226.49299491436881}, {45, 43}}</string>
293 <key>Class</key>
294 <string>ShapedGraphic</string>
295 <key>ID</key>
296 <integer>84</integer>
297 <key>Shape</key>
298 <string>Circle</string>
299 <key>Style</key>
300 <dict>
301 <key>shadow</key>
302 <dict>
303 <key>Draws</key>
304 <string>NO</string>
305 </dict>
306 </dict>
307 <key>Text</key>
308 <dict>
309 <key>Text</key>
310 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
311 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
312 {\colortbl;\red255\green255\blue255;}
313 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
314
315 \f0\fs24 \cf0 3}</string>
316 <key>VerticalPad</key>
317 <integer>0</integer>
318 </dict>
319 </dict>
320 <dict>
321 <key>Bounds</key>
322 <string>{{684.5, 226.49299491436881}, {45, 43}}</string>
323 <key>Class</key>
324 <string>ShapedGraphic</string>
325 <key>ID</key>
326 <integer>83</integer>
327 <key>Shape</key>
328 <string>Circle</string>
329 <key>Style</key>
330 <dict>
331 <key>fill</key>
332 <dict>
333 <key>Draws</key>
334 <string>NO</string>
335 </dict>
336 <key>shadow</key>
337 <dict>
338 <key>Draws</key>
339 <string>NO</string>
340 </dict>
341 </dict>
342 <key>Text</key>
343 <dict>
344 <key>Text</key>
345 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
346 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
347 {\colortbl;\red255\green255\blue255;}
348 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
349
350 \f0\fs24 \cf0 2}</string>
351 <key>VerticalPad</key>
352 <integer>0</integer>
353 </dict>
354 </dict>
355 <dict>
356 <key>Bounds</key>
357 <string>{{623.5, 226.49299491436881}, {45, 43}}</string>
358 <key>Class</key>
359 <string>ShapedGraphic</string>
360 <key>ID</key>
361 <integer>82</integer>
362 <key>Shape</key>
363 <string>Circle</string>
364 <key>Style</key>
365 <dict>
366 <key>shadow</key>
367 <dict>
368 <key>Draws</key>
369 <string>NO</string>
370 </dict>
371 </dict>
372 <key>Text</key>
373 <dict>
374 <key>Text</key>
375 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
376 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
377 {\colortbl;\red255\green255\blue255;}
378 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
379
380 \f0\fs24 \cf0 1}</string>
381 <key>VerticalPad</key>
382 <integer>0</integer>
383 </dict>
384 </dict>
385 <dict>
386 <key>Bounds</key>
387 <string>{{562.5, 226.49299491436881}, {45, 43}}</string>
388 <key>Class</key>
389 <string>ShapedGraphic</string>
390 <key>ID</key>
391 <integer>81</integer>
392 <key>Shape</key>
393 <string>Circle</string>
394 <key>Style</key>
395 <dict>
396 <key>shadow</key>
397 <dict>
398 <key>Draws</key>
399 <string>NO</string>
400 </dict>
401 </dict>
402 <key>Text</key>
403 <dict>
404 <key>Text</key>
405 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
406 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
407 {\colortbl;\red255\green255\blue255;}
408 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
409
410 \f0\fs24 \cf0 0}</string>
411 <key>VerticalPad</key>
412 <integer>0</integer>
413 </dict>
414 </dict>
415 <dict>
416 <key>Class</key>
417 <string>LineGraphic</string>
418 <key>Head</key>
419 <dict>
420 <key>ID</key>
421 <integer>76</integer>
422 </dict>
423 <key>ID</key>
424 <integer>80</integer>
425 <key>Points</key>
426 <array>
427 <string>{653.55305440841551, 125.01401017126238}</string>
428 <string>{713.44648863248722, 167.00059484769366}</string>
429 </array>
430 <key>Style</key>
431 <dict>
432 <key>stroke</key>
433 <dict>
434 <key>HeadArrow</key>
435 <string>0</string>
436 <key>Legacy</key>
437 <true/>
438 <key>TailArrow</key>
439 <string>0</string>
440 </dict>
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>75</integer>
450 </dict>
451 <key>ID</key>
452 <integer>79</integer>
453 <key>Points</key>
454 <array>
455 <string>{645.3745931692697, 131.64800481325506}</string>
456 <string>{660.59901765531242, 160.37878566409432}</string>
457 </array>
458 <key>Style</key>
459 <dict>
460 <key>stroke</key>
461 <dict>
462 <key>HeadArrow</key>
463 <string>0</string>
464 <key>Legacy</key>
465 <true/>
466 <key>TailArrow</key>
467 <string>0</string>
468 </dict>
469 </dict>
470 </dict>
471 <dict>
472 <key>Class</key>
473 <string>LineGraphic</string>
474 <key>Head</key>
475 <dict>
476 <key>ID</key>
477 <integer>74</integer>
478 </dict>
479 <key>ID</key>
480 <integer>78</integer>
481 <key>Points</key>
482 <array>
483 <string>{627.31004419374301, 132.74606327428563}</string>
484 <string>{617.60630674740696, 159.23980099504976}</string>
485 </array>
486 <key>Style</key>
487 <dict>
488 <key>stroke</key>
489 <dict>
490 <key>HeadArrow</key>
491 <string>0</string>
492 <key>Legacy</key>
493 <true/>
494 <key>TailArrow</key>
495 <string>0</string>
496 </dict>
497 </dict>
498 </dict>
499 <dict>
500 <key>Class</key>
501 <string>LineGraphic</string>
502 <key>Head</key>
503 <dict>
504 <key>ID</key>
505 <integer>73</integer>
506 </dict>
507 <key>ID</key>
508 <integer>77</integer>
509 <key>Points</key>
510 <array>
511 <string>{617.26672715531754, 126.01877245791053}</string>
512 <string>{566.72686875502143, 165.98784298445494}</string>
513 </array>
514 <key>Style</key>
515 <dict>
516 <key>stroke</key>
517 <dict>
518 <key>HeadArrow</key>
519 <string>0</string>
520 <key>Legacy</key>
521 <true/>
522 <key>TailArrow</key>
523 <string>0</string>
524 </dict>
525 </dict>
526 </dict>
527 <dict>
528 <key>Bounds</key>
529 <string>{{709.5, 158.50700508563119}, {45, 43}}</string>
530 <key>Class</key>
531 <string>ShapedGraphic</string>
532 <key>ID</key>
533 <integer>76</integer>
534 <key>Shape</key>
535 <string>Circle</string>
536 <key>Style</key>
537 <dict>
538 <key>shadow</key>
539 <dict>
540 <key>Draws</key>
541 <string>NO</string>
542 </dict>
543 </dict>
544 <key>Text</key>
545 <dict>
546 <key>Text</key>
547 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
548 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
549 {\colortbl;\red255\green255\blue255;}
550 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
551
552 \f0\fs24 \cf0 3}</string>
553 <key>VerticalPad</key>
554 <integer>0</integer>
555 </dict>
556 </dict>
557 <dict>
558 <key>Bounds</key>
559 <string>{{648.5, 158.50700508563119}, {45, 43}}</string>
560 <key>Class</key>
561 <string>ShapedGraphic</string>
562 <key>ID</key>
563 <integer>75</integer>
564 <key>Shape</key>
565 <string>Circle</string>
566 <key>Style</key>
567 <dict>
568 <key>fill</key>
569 <dict>
570 <key>Draws</key>
571 <string>NO</string>
572 </dict>
573 <key>shadow</key>
574 <dict>
575 <key>Draws</key>
576 <string>NO</string>
577 </dict>
578 </dict>
579 <key>Text</key>
580 <dict>
581 <key>Text</key>
582 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
583 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
584 {\colortbl;\red255\green255\blue255;}
585 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
586
587 \f0\fs24 \cf0 2}</string>
588 <key>VerticalPad</key>
589 <integer>0</integer>
590 </dict>
591 </dict>
592 <dict>
593 <key>Bounds</key>
594 <string>{{587.5, 158.50700508563119}, {45, 43}}</string>
595 <key>Class</key>
596 <string>ShapedGraphic</string>
597 <key>ID</key>
598 <integer>74</integer>
599 <key>Shape</key>
600 <string>Circle</string>
601 <key>Style</key>
602 <dict>
603 <key>shadow</key>
604 <dict>
605 <key>Draws</key>
606 <string>NO</string>
607 </dict>
608 </dict>
609 <key>Text</key>
610 <dict>
611 <key>Text</key>
612 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
613 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
614 {\colortbl;\red255\green255\blue255;}
615 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
616
617 \f0\fs24 \cf0 1}</string>
618 <key>VerticalPad</key>
619 <integer>0</integer>
620 </dict>
621 </dict>
622 <dict>
623 <key>Bounds</key>
624 <string>{{526.5, 158.50700508563119}, {45, 43}}</string>
625 <key>Class</key>
626 <string>ShapedGraphic</string>
627 <key>ID</key>
628 <integer>73</integer>
629 <key>Shape</key>
630 <string>Circle</string>
631 <key>Style</key>
632 <dict>
633 <key>shadow</key>
634 <dict>
635 <key>Draws</key>
636 <string>NO</string>
637 </dict>
638 </dict>
639 <key>Text</key>
640 <dict>
641 <key>Text</key>
642 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
643 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
644 {\colortbl;\red255\green255\blue255;}
645 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
646
647 \f0\fs24 \cf0 0}</string>
648 <key>VerticalPad</key>
649 <integer>0</integer>
650 </dict>
651 </dict>
652 <dict>
653 <key>Class</key>
654 <string>LineGraphic</string>
655 <key>Head</key>
656 <dict>
657 <key>ID</key>
658 <integer>68</integer>
659 </dict>
660 <key>ID</key>
661 <integer>72</integer>
662 <key>Points</key>
663 <array>
664 <string>{678.55342397883362, 56.506524026398807}</string>
665 <string>{738.44657602116638, 98.493475973601193}</string>
666 </array>
667 <key>Style</key>
668 <dict>
669 <key>stroke</key>
670 <dict>
671 <key>HeadArrow</key>
672 <string>0</string>
673 <key>Legacy</key>
674 <true/>
675 <key>TailArrow</key>
676 <string>0</string>
677 </dict>
678 </dict>
679 <key>Tail</key>
680 <dict>
681 <key>ID</key>
682 <integer>64</integer>
683 </dict>
684 </dict>
685 <dict>
686 <key>Class</key>
687 <string>LineGraphic</string>
688 <key>Head</key>
689 <dict>
690 <key>ID</key>
691 <integer>67</integer>
692 </dict>
693 <key>ID</key>
694 <integer>71</integer>
695 <key>Points</key>
696 <array>
697 <string>{670.39336544318496, 63.131912503793792}</string>
698 <string>{685.60663455681504, 91.868087496206158}</string>
699 </array>
700 <key>Style</key>
701 <dict>
702 <key>stroke</key>
703 <dict>
704 <key>HeadArrow</key>
705 <string>0</string>
706 <key>Legacy</key>
707 <true/>
708 <key>TailArrow</key>
709 <string>0</string>
710 </dict>
711 </dict>
712 <key>Tail</key>
713 <dict>
714 <key>ID</key>
715 <integer>64</integer>
716 </dict>
717 </dict>
718 <dict>
719 <key>Class</key>
720 <string>LineGraphic</string>
721 <key>Head</key>
722 <dict>
723 <key>ID</key>
724 <integer>66</integer>
725 </dict>
726 <key>ID</key>
727 <integer>70</integer>
728 <key>Points</key>
729 <array>
730 <string>{652.36814531511902, 64.258644742876399}</string>
731 <string>{642.63185468488109, 90.741355257123629}</string>
732 </array>
733 <key>Style</key>
734 <dict>
735 <key>stroke</key>
736 <dict>
737 <key>HeadArrow</key>
738 <string>0</string>
739 <key>Legacy</key>
740 <true/>
741 <key>TailArrow</key>
742 <string>0</string>
743 </dict>
744 </dict>
745 <key>Tail</key>
746 <dict>
747 <key>ID</key>
748 <integer>64</integer>
749 </dict>
750 </dict>
751 <dict>
752 <key>Class</key>
753 <string>LineGraphic</string>
754 <key>Head</key>
755 <dict>
756 <key>ID</key>
757 <integer>65</integer>
758 </dict>
759 <key>ID</key>
760 <integer>69</integer>
761 <key>Points</key>
762 <array>
763 <string>{642.27181079386185, 57.517637976946467}</string>
764 <string>{591.72818920613827, 97.48236202305344}</string>
765 </array>
766 <key>Style</key>
767 <dict>
768 <key>stroke</key>
769 <dict>
770 <key>HeadArrow</key>
771 <string>0</string>
772 <key>Legacy</key>
773 <true/>
774 <key>TailArrow</key>
775 <string>0</string>
776 </dict>
777 </dict>
778 <key>Tail</key>
779 <dict>
780 <key>ID</key>
781 <integer>64</integer>
782 </dict>
783 </dict>
784 <dict>
785 <key>Bounds</key>
786 <string>{{734.5, 90}, {45, 43}}</string>
787 <key>Class</key>
788 <string>ShapedGraphic</string>
789 <key>ID</key>
790 <integer>68</integer>
791 <key>Shape</key>
792 <string>Circle</string>
793 <key>Style</key>
794 <dict>
795 <key>shadow</key>
796 <dict>
797 <key>Draws</key>
798 <string>NO</string>
799 </dict>
800 </dict>
801 <key>Text</key>
802 <dict>
803 <key>Text</key>
804 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
805 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
806 {\colortbl;\red255\green255\blue255;}
807 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
808
809 \f0\fs24 \cf0 n}</string>
810 <key>VerticalPad</key>
811 <integer>0</integer>
812 </dict>
813 </dict>
814 <dict>
815 <key>Bounds</key>
816 <string>{{673.5, 90}, {45, 43}}</string>
817 <key>Class</key>
818 <string>ShapedGraphic</string>
819 <key>ID</key>
820 <integer>67</integer>
821 <key>Shape</key>
822 <string>Circle</string>
823 <key>Style</key>
824 <dict>
825 <key>fill</key>
826 <dict>
827 <key>Draws</key>
828 <string>NO</string>
829 </dict>
830 <key>shadow</key>
831 <dict>
832 <key>Draws</key>
833 <string>NO</string>
834 </dict>
835 </dict>
836 <key>Text</key>
837 <dict>
838 <key>Text</key>
839 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
840 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
841 {\colortbl;\red255\green255\blue255;}
842 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
843
844 \f0\fs24 \cf0 ...}</string>
845 <key>VerticalPad</key>
846 <integer>0</integer>
847 </dict>
848 </dict>
849 <dict>
850 <key>Bounds</key>
851 <string>{{612.5, 90}, {45, 43}}</string>
852 <key>Class</key>
853 <string>ShapedGraphic</string>
854 <key>ID</key>
855 <integer>66</integer>
856 <key>Shape</key>
857 <string>Circle</string>
858 <key>Style</key>
859 <dict>
860 <key>shadow</key>
861 <dict>
862 <key>Draws</key>
863 <string>NO</string>
864 </dict>
865 </dict>
866 <key>Text</key>
867 <dict>
868 <key>Text</key>
869 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
870 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
871 {\colortbl;\red255\green255\blue255;}
872 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
873
874 \f0\fs24 \cf0 1}</string>
875 <key>VerticalPad</key>
876 <integer>0</integer>
877 </dict>
878 </dict>
879 <dict>
880 <key>Bounds</key>
881 <string>{{551.5, 90}, {45, 43}}</string>
882 <key>Class</key>
883 <string>ShapedGraphic</string>
884 <key>ID</key>
885 <integer>65</integer>
886 <key>Shape</key>
887 <string>Circle</string>
888 <key>Style</key>
889 <dict>
890 <key>shadow</key>
891 <dict>
892 <key>Draws</key>
893 <string>NO</string>
894 </dict>
895 </dict>
896 <key>Text</key>
897 <dict>
898 <key>Text</key>
899 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
900 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
901 {\colortbl;\red255\green255\blue255;}
902 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
903
904 \f0\fs24 \cf0 0}</string>
905 <key>VerticalPad</key>
906 <integer>0</integer>
907 </dict>
908 </dict>
909 <dict>
910 <key>Bounds</key>
911 <string>{{637.5, 22}, {45, 43}}</string>
912 <key>Class</key>
913 <string>ShapedGraphic</string>
914 <key>ID</key>
915 <integer>64</integer>
916 <key>Shape</key>
917 <string>Circle</string>
918 <key>Style</key>
919 <dict>
920 <key>shadow</key>
921 <dict>
922 <key>Draws</key>
923 <string>NO</string>
924 </dict>
925 </dict>
926 <key>Text</key>
927 <dict>
928 <key>Text</key>
929 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
930 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
931 {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
932 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
933
934 \f0\fs24 \cf0 root\
935 \cf2 -1}</string>
936 <key>VerticalPad</key>
937 <integer>0</integer>
938 </dict>
939 </dict>
940 <dict>
941 <key>Bounds</key>
942 <string>{{509, 14}, {80, 36}}</string>
943 <key>Class</key>
944 <string>ShapedGraphic</string>
945 <key>FontInfo</key>
946 <dict>
947 <key>Font</key>
948 <string>Helvetica</string>
949 <key>Size</key>
950 <real>12</real>
951 </dict>
952 <key>ID</key>
953 <integer>63</integer>
954 <key>Magnets</key>
955 <array>
956 <string>{0, 1}</string>
957 <string>{0, -1}</string>
958 <string>{1, 0}</string>
959 <string>{-1, 0}</string>
960 </array>
961 <key>Shape</key>
962 <string>Rectangle</string>
963 <key>Style</key>
964 <dict>
965 <key>shadow</key>
966 <dict>
967 <key>Draws</key>
968 <string>NO</string>
969 </dict>
970 </dict>
971 <key>Text</key>
972 <dict>
973 <key>Text</key>
974 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
975 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
976 {\colortbl;\red255\green255\blue255;}
977 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
978
979 \f0\fs22 \cf0 Evaluator\
980 &lt;1,2,3&gt;}</string>
981 <key>VerticalPad</key>
982 <integer>0</integer>
983 </dict>
984 </dict>
985 <dict>
986 <key>Bounds</key>
987 <string>{{423, 18}, {103.5, 49}}</string>
988 <key>Class</key>
989 <string>ShapedGraphic</string>
990 <key>ID</key>
991 <integer>62</integer>
992 <key>Shape</key>
993 <string>Circle</string>
994 <key>Style</key>
995 <dict>
996 <key>shadow</key>
997 <dict>
998 <key>Draws</key>
999 <string>NO</string>
1000 </dict>
1001 </dict>
1002 <key>Text</key>
1003 <dict>
1004 <key>Text</key>
1005 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1006 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1007 {\colortbl;\red255\green255\blue255;}
1008 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1009
1010 \f0\fs24 \cf0 Traverser}</string>
1011 <key>VerticalPad</key>
1012 <integer>0</integer>
1013 </dict>
1014 </dict>
1015 <dict>
1016 <key>Class</key>
1017 <string>LineGraphic</string>
1018 <key>Head</key>
1019 <dict>
1020 <key>ID</key>
1021 <integer>28</integer>
1022 </dict>
1023 <key>ID</key>
1024 <integer>61</integer>
1025 <key>Points</key>
1026 <array>
1027 <string>{147.99667719510833, 38.78197711949435}</string>
1028 <string>{258.00035386016179, 39.375670757923558}</string>
1029 </array>
1030 <key>Style</key>
1031 <dict>
1032 <key>stroke</key>
1033 <dict>
1034 <key>HeadArrow</key>
1035 <string>FilledArrow</string>
1036 <key>Legacy</key>
1037 <true/>
1038 <key>Pattern</key>
1039 <integer>1</integer>
1040 <key>TailArrow</key>
1041 <string>0</string>
1042 </dict>
1043 </dict>
1044 <key>Tail</key>
1045 <dict>
1046 <key>ID</key>
1047 <integer>60</integer>
1048 </dict>
1049 </dict>
1050 <dict>
1051 <key>Class</key>
1052 <string>LineGraphic</string>
1053 <key>Head</key>
1054 <dict>
1055 <key>ID</key>
1056 <integer>52</integer>
1057 </dict>
1058 <key>ID</key>
1059 <integer>56</integer>
1060 <key>Points</key>
1061 <array>
1062 <string>{310.55305440841551, 189}</string>
1063 <string>{370.44648863248722, 230.98658467643128}</string>
1064 </array>
1065 <key>Style</key>
1066 <dict>
1067 <key>stroke</key>
1068 <dict>
1069 <key>HeadArrow</key>
1070 <string>0</string>
1071 <key>Legacy</key>
1072 <true/>
1073 <key>TailArrow</key>
1074 <string>0</string>
1075 </dict>
1076 </dict>
1077 </dict>
1078 <dict>
1079 <key>Class</key>
1080 <string>LineGraphic</string>
1081 <key>Head</key>
1082 <dict>
1083 <key>ID</key>
1084 <integer>51</integer>
1085 </dict>
1086 <key>ID</key>
1087 <integer>55</integer>
1088 <key>Points</key>
1089 <array>
1090 <string>{302.3745931692697, 195.63399464199267}</string>
1091 <string>{317.59901765531248, 224.36477549283194}</string>
1092 </array>
1093 <key>Style</key>
1094 <dict>
1095 <key>stroke</key>
1096 <dict>
1097 <key>HeadArrow</key>
1098 <string>0</string>
1099 <key>Legacy</key>
1100 <true/>
1101 <key>TailArrow</key>
1102 <string>0</string>
1103 </dict>
1104 </dict>
1105 </dict>
1106 <dict>
1107 <key>Class</key>
1108 <string>LineGraphic</string>
1109 <key>Head</key>
1110 <dict>
1111 <key>ID</key>
1112 <integer>50</integer>
1113 </dict>
1114 <key>ID</key>
1115 <integer>54</integer>
1116 <key>Points</key>
1117 <array>
1118 <string>{284.31004419374301, 196.73205310302325}</string>
1119 <string>{274.6063067474069, 223.22579082378743}</string>
1120 </array>
1121 <key>Style</key>
1122 <dict>
1123 <key>stroke</key>
1124 <dict>
1125 <key>HeadArrow</key>
1126 <string>0</string>
1127 <key>Legacy</key>
1128 <true/>
1129 <key>TailArrow</key>
1130 <string>0</string>
1131 </dict>
1132 </dict>
1133 </dict>
1134 <dict>
1135 <key>Class</key>
1136 <string>LineGraphic</string>
1137 <key>Head</key>
1138 <dict>
1139 <key>ID</key>
1140 <integer>49</integer>
1141 </dict>
1142 <key>ID</key>
1143 <integer>53</integer>
1144 <key>Points</key>
1145 <array>
1146 <string>{274.26672715531754, 190.00476228664814}</string>
1147 <string>{223.72686875502137, 229.97383281319256}</string>
1148 </array>
1149 <key>Style</key>
1150 <dict>
1151 <key>stroke</key>
1152 <dict>
1153 <key>HeadArrow</key>
1154 <string>0</string>
1155 <key>Legacy</key>
1156 <true/>
1157 <key>TailArrow</key>
1158 <string>0</string>
1159 </dict>
1160 </dict>
1161 </dict>
1162 <dict>
1163 <key>Bounds</key>
1164 <string>{{366.5, 222.49299491436881}, {45, 43}}</string>
1165 <key>Class</key>
1166 <string>ShapedGraphic</string>
1167 <key>ID</key>
1168 <integer>52</integer>
1169 <key>Shape</key>
1170 <string>Circle</string>
1171 <key>Style</key>
1172 <dict>
1173 <key>shadow</key>
1174 <dict>
1175 <key>Draws</key>
1176 <string>NO</string>
1177 </dict>
1178 </dict>
1179 <key>Text</key>
1180 <dict>
1181 <key>Text</key>
1182 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1183 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1184 {\colortbl;\red255\green255\blue255;}
1185 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1186
1187 \f0\fs24 \cf0 3}</string>
1188 <key>VerticalPad</key>
1189 <integer>0</integer>
1190 </dict>
1191 </dict>
1192 <dict>
1193 <key>Bounds</key>
1194 <string>{{305.5, 222.49299491436881}, {45, 43}}</string>
1195 <key>Class</key>
1196 <string>ShapedGraphic</string>
1197 <key>ID</key>
1198 <integer>51</integer>
1199 <key>Shape</key>
1200 <string>Circle</string>
1201 <key>Style</key>
1202 <dict>
1203 <key>fill</key>
1204 <dict>
1205 <key>Draws</key>
1206 <string>NO</string>
1207 </dict>
1208 <key>shadow</key>
1209 <dict>
1210 <key>Draws</key>
1211 <string>NO</string>
1212 </dict>
1213 </dict>
1214 <key>Text</key>
1215 <dict>
1216 <key>Text</key>
1217 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1218 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1219 {\colortbl;\red255\green255\blue255;}
1220 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1221
1222 \f0\fs24 \cf0 2}</string>
1223 <key>VerticalPad</key>
1224 <integer>0</integer>
1225 </dict>
1226 </dict>
1227 <dict>
1228 <key>Bounds</key>
1229 <string>{{244.5, 222.49299491436881}, {45, 43}}</string>
1230 <key>Class</key>
1231 <string>ShapedGraphic</string>
1232 <key>ID</key>
1233 <integer>50</integer>
1234 <key>Shape</key>
1235 <string>Circle</string>
1236 <key>Style</key>
1237 <dict>
1238 <key>shadow</key>
1239 <dict>
1240 <key>Draws</key>
1241 <string>NO</string>
1242 </dict>
1243 </dict>
1244 <key>Text</key>
1245 <dict>
1246 <key>Text</key>
1247 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1248 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1249 {\colortbl;\red255\green255\blue255;}
1250 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1251
1252 \f0\fs24 \cf0 1}</string>
1253 <key>VerticalPad</key>
1254 <integer>0</integer>
1255 </dict>
1256 </dict>
1257 <dict>
1258 <key>Bounds</key>
1259 <string>{{183.5, 222.49299491436881}, {45, 43}}</string>
1260 <key>Class</key>
1261 <string>ShapedGraphic</string>
1262 <key>ID</key>
1263 <integer>49</integer>
1264 <key>Shape</key>
1265 <string>Circle</string>
1266 <key>Style</key>
1267 <dict>
1268 <key>shadow</key>
1269 <dict>
1270 <key>Draws</key>
1271 <string>NO</string>
1272 </dict>
1273 </dict>
1274 <key>Text</key>
1275 <dict>
1276 <key>Text</key>
1277 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1278 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1279 {\colortbl;\red255\green255\blue255;}
1280 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1281
1282 \f0\fs24 \cf0 0}</string>
1283 <key>VerticalPad</key>
1284 <integer>0</integer>
1285 </dict>
1286 </dict>
1287 <dict>
1288 <key>Class</key>
1289 <string>LineGraphic</string>
1290 <key>Head</key>
1291 <dict>
1292 <key>ID</key>
1293 <integer>44</integer>
1294 </dict>
1295 <key>ID</key>
1296 <integer>48</integer>
1297 <key>Points</key>
1298 <array>
1299 <string>{274.55305440841551, 121.01401017126238}</string>
1300 <string>{334.44648863248722, 163.00059484769366}</string>
1301 </array>
1302 <key>Style</key>
1303 <dict>
1304 <key>stroke</key>
1305 <dict>
1306 <key>HeadArrow</key>
1307 <string>0</string>
1308 <key>Legacy</key>
1309 <true/>
1310 <key>TailArrow</key>
1311 <string>0</string>
1312 </dict>
1313 </dict>
1314 </dict>
1315 <dict>
1316 <key>Class</key>
1317 <string>LineGraphic</string>
1318 <key>Head</key>
1319 <dict>
1320 <key>ID</key>
1321 <integer>43</integer>
1322 </dict>
1323 <key>ID</key>
1324 <integer>47</integer>
1325 <key>Points</key>
1326 <array>
1327 <string>{266.3745931692697, 127.64800481325506}</string>
1328 <string>{281.59901765531248, 156.37878566409435}</string>
1329 </array>
1330 <key>Style</key>
1331 <dict>
1332 <key>stroke</key>
1333 <dict>
1334 <key>HeadArrow</key>
1335 <string>0</string>
1336 <key>Legacy</key>
1337 <true/>
1338 <key>TailArrow</key>
1339 <string>0</string>
1340 </dict>
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>42</integer>
1350 </dict>
1351 <key>ID</key>
1352 <integer>46</integer>
1353 <key>Points</key>
1354 <array>
1355 <string>{248.31004419374301, 128.74606327428563}</string>
1356 <string>{238.60630674740693, 155.23980099504979}</string>
1357 </array>
1358 <key>Style</key>
1359 <dict>
1360 <key>stroke</key>
1361 <dict>
1362 <key>HeadArrow</key>
1363 <string>0</string>
1364 <key>Legacy</key>
1365 <true/>
1366 <key>TailArrow</key>
1367 <string>0</string>
1368 </dict>
1369 </dict>
1370 </dict>
1371 <dict>
1372 <key>Class</key>
1373 <string>LineGraphic</string>
1374 <key>Head</key>
1375 <dict>
1376 <key>ID</key>
1377 <integer>41</integer>
1378 </dict>
1379 <key>ID</key>
1380 <integer>45</integer>
1381 <key>Points</key>
1382 <array>
1383 <string>{238.26672715531754, 122.01877245791053}</string>
1384 <string>{187.72686875502137, 161.98784298445494}</string>
1385 </array>
1386 <key>Style</key>
1387 <dict>
1388 <key>stroke</key>
1389 <dict>
1390 <key>HeadArrow</key>
1391 <string>0</string>
1392 <key>Legacy</key>
1393 <true/>
1394 <key>TailArrow</key>
1395 <string>0</string>
1396 </dict>
1397 </dict>
1398 </dict>
1399 <dict>
1400 <key>Bounds</key>
1401 <string>{{330.5, 154.50700508563119}, {45, 43}}</string>
1402 <key>Class</key>
1403 <string>ShapedGraphic</string>
1404 <key>ID</key>
1405 <integer>44</integer>
1406 <key>Shape</key>
1407 <string>Circle</string>
1408 <key>Style</key>
1409 <dict>
1410 <key>shadow</key>
1411 <dict>
1412 <key>Draws</key>
1413 <string>NO</string>
1414 </dict>
1415 </dict>
1416 <key>Text</key>
1417 <dict>
1418 <key>Text</key>
1419 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1420 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1421 {\colortbl;\red255\green255\blue255;}
1422 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1423
1424 \f0\fs24 \cf0 3}</string>
1425 <key>VerticalPad</key>
1426 <integer>0</integer>
1427 </dict>
1428 </dict>
1429 <dict>
1430 <key>Bounds</key>
1431 <string>{{269.5, 154.50700508563119}, {45, 43}}</string>
1432 <key>Class</key>
1433 <string>ShapedGraphic</string>
1434 <key>ID</key>
1435 <integer>43</integer>
1436 <key>Shape</key>
1437 <string>Circle</string>
1438 <key>Style</key>
1439 <dict>
1440 <key>fill</key>
1441 <dict>
1442 <key>Draws</key>
1443 <string>NO</string>
1444 </dict>
1445 <key>shadow</key>
1446 <dict>
1447 <key>Draws</key>
1448 <string>NO</string>
1449 </dict>
1450 </dict>
1451 <key>Text</key>
1452 <dict>
1453 <key>Text</key>
1454 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1455 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1456 {\colortbl;\red255\green255\blue255;}
1457 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1458
1459 \f0\fs24 \cf0 2}</string>
1460 <key>VerticalPad</key>
1461 <integer>0</integer>
1462 </dict>
1463 </dict>
1464 <dict>
1465 <key>Bounds</key>
1466 <string>{{208.5, 154.50700508563119}, {45, 43}}</string>
1467 <key>Class</key>
1468 <string>ShapedGraphic</string>
1469 <key>ID</key>
1470 <integer>42</integer>
1471 <key>Shape</key>
1472 <string>Circle</string>
1473 <key>Style</key>
1474 <dict>
1475 <key>shadow</key>
1476 <dict>
1477 <key>Draws</key>
1478 <string>NO</string>
1479 </dict>
1480 </dict>
1481 <key>Text</key>
1482 <dict>
1483 <key>Text</key>
1484 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1485 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1486 {\colortbl;\red255\green255\blue255;}
1487 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1488
1489 \f0\fs24 \cf0 1}</string>
1490 <key>VerticalPad</key>
1491 <integer>0</integer>
1492 </dict>
1493 </dict>
1494 <dict>
1495 <key>Bounds</key>
1496 <string>{{147.5, 154.50700508563119}, {45, 43}}</string>
1497 <key>Class</key>
1498 <string>ShapedGraphic</string>
1499 <key>ID</key>
1500 <integer>41</integer>
1501 <key>Shape</key>
1502 <string>Circle</string>
1503 <key>Style</key>
1504 <dict>
1505 <key>shadow</key>
1506 <dict>
1507 <key>Draws</key>
1508 <string>NO</string>
1509 </dict>
1510 </dict>
1511 <key>Text</key>
1512 <dict>
1513 <key>Text</key>
1514 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1515 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1516 {\colortbl;\red255\green255\blue255;}
1517 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1518
1519 \f0\fs24 \cf0 0}</string>
1520 <key>VerticalPad</key>
1521 <integer>0</integer>
1522 </dict>
1523 </dict>
1524 <dict>
1525 <key>Class</key>
1526 <string>LineGraphic</string>
1527 <key>Head</key>
1528 <dict>
1529 <key>ID</key>
1530 <integer>33</integer>
1531 </dict>
1532 <key>ID</key>
1533 <integer>37</integer>
1534 <key>Points</key>
1535 <array>
1536 <string>{299.55342397883351, 52.506524026398765}</string>
1537 <string>{359.44657602116644, 94.493475973601207}</string>
1538 </array>
1539 <key>Style</key>
1540 <dict>
1541 <key>stroke</key>
1542 <dict>
1543 <key>HeadArrow</key>
1544 <string>0</string>
1545 <key>Legacy</key>
1546 <true/>
1547 <key>TailArrow</key>
1548 <string>0</string>
1549 </dict>
1550 </dict>
1551 <key>Tail</key>
1552 <dict>
1553 <key>ID</key>
1554 <integer>28</integer>
1555 </dict>
1556 </dict>
1557 <dict>
1558 <key>Class</key>
1559 <string>LineGraphic</string>
1560 <key>Head</key>
1561 <dict>
1562 <key>ID</key>
1563 <integer>32</integer>
1564 </dict>
1565 <key>ID</key>
1566 <integer>36</integer>
1567 <key>Points</key>
1568 <array>
1569 <string>{291.39336544318496, 59.131912503793806}</string>
1570 <string>{306.60663455681504, 87.868087496206186}</string>
1571 </array>
1572 <key>Style</key>
1573 <dict>
1574 <key>stroke</key>
1575 <dict>
1576 <key>HeadArrow</key>
1577 <string>0</string>
1578 <key>Legacy</key>
1579 <true/>
1580 <key>TailArrow</key>
1581 <string>0</string>
1582 </dict>
1583 </dict>
1584 <key>Tail</key>
1585 <dict>
1586 <key>ID</key>
1587 <integer>28</integer>
1588 </dict>
1589 </dict>
1590 <dict>
1591 <key>Class</key>
1592 <string>LineGraphic</string>
1593 <key>Head</key>
1594 <dict>
1595 <key>ID</key>
1596 <integer>31</integer>
1597 </dict>
1598 <key>ID</key>
1599 <integer>35</integer>
1600 <key>Points</key>
1601 <array>
1602 <string>{273.36814531511897, 60.258644742876363}</string>
1603 <string>{263.63185468488103, 86.741355257123615}</string>
1604 </array>
1605 <key>Style</key>
1606 <dict>
1607 <key>stroke</key>
1608 <dict>
1609 <key>HeadArrow</key>
1610 <string>0</string>
1611 <key>Legacy</key>
1612 <true/>
1613 <key>TailArrow</key>
1614 <string>0</string>
1615 </dict>
1616 </dict>
1617 <key>Tail</key>
1618 <dict>
1619 <key>ID</key>
1620 <integer>28</integer>
1621 </dict>
1622 </dict>
1623 <dict>
1624 <key>Class</key>
1625 <string>LineGraphic</string>
1626 <key>Head</key>
1627 <dict>
1628 <key>ID</key>
1629 <integer>30</integer>
1630 </dict>
1631 <key>ID</key>
1632 <integer>34</integer>
1633 <key>Points</key>
1634 <array>
1635 <string>{263.27181079386173, 53.517637976946517}</string>
1636 <string>{212.72818920613821, 93.482362023053497}</string>
1637 </array>
1638 <key>Style</key>
1639 <dict>
1640 <key>stroke</key>
1641 <dict>
1642 <key>HeadArrow</key>
1643 <string>0</string>
1644 <key>Legacy</key>
1645 <true/>
1646 <key>TailArrow</key>
1647 <string>0</string>
1648 </dict>
1649 </dict>
1650 <key>Tail</key>
1651 <dict>
1652 <key>ID</key>
1653 <integer>28</integer>
1654 </dict>
1655 </dict>
1656 <dict>
1657 <key>Bounds</key>
1658 <string>{{355.5, 86}, {45, 43}}</string>
1659 <key>Class</key>
1660 <string>ShapedGraphic</string>
1661 <key>ID</key>
1662 <integer>33</integer>
1663 <key>Shape</key>
1664 <string>Circle</string>
1665 <key>Style</key>
1666 <dict>
1667 <key>shadow</key>
1668 <dict>
1669 <key>Draws</key>
1670 <string>NO</string>
1671 </dict>
1672 </dict>
1673 <key>Text</key>
1674 <dict>
1675 <key>Text</key>
1676 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1677 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1678 {\colortbl;\red255\green255\blue255;}
1679 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1680
1681 \f0\fs24 \cf0 n}</string>
1682 <key>VerticalPad</key>
1683 <integer>0</integer>
1684 </dict>
1685 </dict>
1686 <dict>
1687 <key>Bounds</key>
1688 <string>{{294.5, 86}, {45, 43}}</string>
1689 <key>Class</key>
1690 <string>ShapedGraphic</string>
1691 <key>ID</key>
1692 <integer>32</integer>
1693 <key>Shape</key>
1694 <string>Circle</string>
1695 <key>Style</key>
1696 <dict>
1697 <key>fill</key>
1698 <dict>
1699 <key>Draws</key>
1700 <string>NO</string>
1701 </dict>
1702 <key>shadow</key>
1703 <dict>
1704 <key>Draws</key>
1705 <string>NO</string>
1706 </dict>
1707 </dict>
1708 <key>Text</key>
1709 <dict>
1710 <key>Text</key>
1711 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1712 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1713 {\colortbl;\red255\green255\blue255;}
1714 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1715
1716 \f0\fs24 \cf0 ...}</string>
1717 <key>VerticalPad</key>
1718 <integer>0</integer>
1719 </dict>
1720 </dict>
1721 <dict>
1722 <key>Bounds</key>
1723 <string>{{233.5, 86}, {45, 43}}</string>
1724 <key>Class</key>
1725 <string>ShapedGraphic</string>
1726 <key>ID</key>
1727 <integer>31</integer>
1728 <key>Shape</key>
1729 <string>Circle</string>
1730 <key>Style</key>
1731 <dict>
1732 <key>shadow</key>
1733 <dict>
1734 <key>Draws</key>
1735 <string>NO</string>
1736 </dict>
1737 </dict>
1738 <key>Text</key>
1739 <dict>
1740 <key>Text</key>
1741 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1742 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1743 {\colortbl;\red255\green255\blue255;}
1744 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1745
1746 \f0\fs24 \cf0 1}</string>
1747 <key>VerticalPad</key>
1748 <integer>0</integer>
1749 </dict>
1750 </dict>
1751 <dict>
1752 <key>Bounds</key>
1753 <string>{{172.5, 86}, {45, 43}}</string>
1754 <key>Class</key>
1755 <string>ShapedGraphic</string>
1756 <key>ID</key>
1757 <integer>30</integer>
1758 <key>Shape</key>
1759 <string>Circle</string>
1760 <key>Style</key>
1761 <dict>
1762 <key>shadow</key>
1763 <dict>
1764 <key>Draws</key>
1765 <string>NO</string>
1766 </dict>
1767 </dict>
1768 <key>Text</key>
1769 <dict>
1770 <key>Text</key>
1771 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1772 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1773 {\colortbl;\red255\green255\blue255;}
1774 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1775
1776 \f0\fs24 \cf0 0}</string>
1777 <key>VerticalPad</key>
1778 <integer>0</integer>
1779 </dict>
1780 </dict>
1781 <dict>
1782 <key>Bounds</key>
1783 <string>{{258.5, 18}, {45, 43}}</string>
1784 <key>Class</key>
1785 <string>ShapedGraphic</string>
1786 <key>ID</key>
1787 <integer>28</integer>
1788 <key>Shape</key>
1789 <string>Circle</string>
1790 <key>Style</key>
1791 <dict>
1792 <key>shadow</key>
1793 <dict>
1794 <key>Draws</key>
1795 <string>NO</string>
1796 </dict>
1797 </dict>
1798 <key>Text</key>
1799 <dict>
1800 <key>Text</key>
1801 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1802 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1803 {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
1804 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1805
1806 \f0\fs24 \cf0 root\
1807 \cf2 -1}</string>
1808 <key>VerticalPad</key>
1809 <integer>0</integer>
1810 </dict>
1811 </dict>
1812 <dict>
1813 <key>Bounds</key>
1814 <string>{{88, 51.0560302734375}, {80, 36}}</string>
1815 <key>Class</key>
1816 <string>ShapedGraphic</string>
1817 <key>FontInfo</key>
1818 <dict>
1819 <key>Font</key>
1820 <string>Helvetica</string>
1821 <key>Size</key>
1822 <real>12</real>
1823 </dict>
1824 <key>ID</key>
1825 <integer>59</integer>
1826 <key>Magnets</key>
1827 <array>
1828 <string>{0, 1}</string>
1829 <string>{0, -1}</string>
1830 <string>{1, 0}</string>
1831 <string>{-1, 0}</string>
1832 </array>
1833 <key>Shape</key>
1834 <string>Rectangle</string>
1835 <key>Style</key>
1836 <dict>
1837 <key>shadow</key>
1838 <dict>
1839 <key>Draws</key>
1840 <string>NO</string>
1841 </dict>
1842 </dict>
1843 <key>Text</key>
1844 <dict>
1845 <key>Text</key>
1846 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1847 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1848 {\colortbl;\red255\green255\blue255;\red255\green0\blue0;}
1849 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1850
1851 \f0\fs22 \cf0 Evaluator\
1852 &lt;\cf2 -1\cf0 ,1,2,3&gt;}</string>
1853 <key>VerticalPad</key>
1854 <integer>0</integer>
1855 </dict>
1856 </dict>
1857 <dict>
1858 <key>Bounds</key>
1859 <string>{{44, 14}, {103.5, 49}}</string>
1860 <key>Class</key>
1861 <string>ShapedGraphic</string>
1862 <key>ID</key>
1863 <integer>60</integer>
1864 <key>Shape</key>
1865 <string>Circle</string>
1866 <key>Style</key>
1867 <dict>
1868 <key>shadow</key>
1869 <dict>
1870 <key>Draws</key>
1871 <string>NO</string>
1872 </dict>
1873 </dict>
1874 <key>Text</key>
1875 <dict>
1876 <key>Text</key>
1877 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
1878 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1879 {\colortbl;\red255\green255\blue255;}
1880 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1881
1882 \f0\fs24 \cf0 Traverser}</string>
1883 <key>VerticalPad</key>
1884 <integer>0</integer>
1885 </dict>
1886 </dict>
1887 </array>
1888 <key>GridInfo</key>
1889 <dict/>
1890 <key>GuidesLocked</key>
1891 <string>NO</string>
1892 <key>GuidesVisible</key>
1893 <string>YES</string>
1894 <key>HPages</key>
1895 <integer>2</integer>
1896 <key>ImageCounter</key>
1897 <integer>1</integer>
1898 <key>KeepToScale</key>
1899 <false/>
1900 <key>Layers</key>
1901 <array>
1902 <dict>
1903 <key>Lock</key>
1904 <string>NO</string>
1905 <key>Name</key>
1906 <string>レイヤー 1</string>
1907 <key>Print</key>
1908 <string>YES</string>
1909 <key>View</key>
1910 <string>YES</string>
1911 </dict>
1912 </array>
1913 <key>LayoutInfo</key>
1914 <dict>
1915 <key>Animate</key>
1916 <string>NO</string>
1917 <key>circoMinDist</key>
1918 <real>18</real>
1919 <key>circoSeparation</key>
1920 <real>0.0</real>
1921 <key>layoutEngine</key>
1922 <string>dot</string>
1923 <key>neatoSeparation</key>
1924 <real>0.0</real>
1925 <key>twopiSeparation</key>
1926 <real>0.0</real>
1927 </dict>
1928 <key>LinksVisible</key>
1929 <string>NO</string>
1930 <key>MagnetsVisible</key>
1931 <string>NO</string>
1932 <key>MasterSheets</key>
1933 <array/>
1934 <key>ModificationDate</key>
1935 <string>2013-02-13 06:26:38 +0000</string>
1936 <key>Modifier</key>
1937 <string>shoshi</string>
1938 <key>NotesVisible</key>
1939 <string>NO</string>
1940 <key>Orientation</key>
1941 <integer>2</integer>
1942 <key>OriginVisible</key>
1943 <string>NO</string>
1944 <key>PageBreaks</key>
1945 <string>YES</string>
1946 <key>PrintInfo</key>
1947 <dict>
1948 <key>NSBottomMargin</key>
1949 <array>
1950 <string>float</string>
1951 <string>41</string>
1952 </array>
1953 <key>NSHorizonalPagination</key>
1954 <array>
1955 <string>coded</string>
1956 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
1957 </array>
1958 <key>NSLeftMargin</key>
1959 <array>
1960 <string>float</string>
1961 <string>18</string>
1962 </array>
1963 <key>NSPaperSize</key>
1964 <array>
1965 <string>size</string>
1966 <string>{595, 842}</string>
1967 </array>
1968 <key>NSPrintReverseOrientation</key>
1969 <array>
1970 <string>int</string>
1971 <string>0</string>
1972 </array>
1973 <key>NSPrinter</key>
1974 <array>
1975 <string>coded</string>
1976 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAlOU1ByaW50ZXIAhIQITlNPYmplY3QAhZKEhIQITlNTdHJpbmcBlIQBKx1jaW5uYW1vbi5jci5pZS51LXJ5dWt5dS5hYy5qcIaG</string>
1977 </array>
1978 <key>NSPrinterName</key>
1979 <array>
1980 <string>string</string>
1981 <string>cinnamon.cr.ie.u-ryukyu.ac.jp</string>
1982 </array>
1983 <key>NSRightMargin</key>
1984 <array>
1985 <string>float</string>
1986 <string>18</string>
1987 </array>
1988 <key>NSTopMargin</key>
1989 <array>
1990 <string>float</string>
1991 <string>18</string>
1992 </array>
1993 </dict>
1994 <key>PrintOnePage</key>
1995 <false/>
1996 <key>ReadOnly</key>
1997 <string>NO</string>
1998 <key>RowAlign</key>
1999 <integer>1</integer>
2000 <key>RowSpacing</key>
2001 <real>36</real>
2002 <key>SheetTitle</key>
2003 <string>キャンバス 1</string>
2004 <key>SmartAlignmentGuidesActive</key>
2005 <string>YES</string>
2006 <key>SmartDistanceGuidesActive</key>
2007 <string>YES</string>
2008 <key>UniqueID</key>
2009 <integer>1</integer>
2010 <key>UseEntirePage</key>
2011 <false/>
2012 <key>VPages</key>
2013 <integer>1</integer>
2014 <key>WindowInfo</key>
2015 <dict>
2016 <key>CurrentSheet</key>
2017 <integer>0</integer>
2018 <key>ExpandedCanvases</key>
2019 <array/>
2020 <key>Frame</key>
2021 <string>{{-2258, 243}, {1117, 938}}</string>
2022 <key>ListView</key>
2023 <true/>
2024 <key>OutlineWidth</key>
2025 <integer>142</integer>
2026 <key>RightSidebar</key>
2027 <false/>
2028 <key>ShowRuler</key>
2029 <true/>
2030 <key>Sidebar</key>
2031 <true/>
2032 <key>SidebarWidth</key>
2033 <integer>120</integer>
2034 <key>VisibleRegion</key>
2035 <string>{{0, 0}, {982, 784}}</string>
2036 <key>Zoom</key>
2037 <real>1</real>
2038 <key>ZoomValues</key>
2039 <array>
2040 <array>
2041 <string>キャンバス 1</string>
2042 <real>1</real>
2043 <real>1</real>
2044 </array>
2045 </array>
2046 </dict>
2047 </dict>
2048 </plist>