Mercurial > hg > Papers > 2011 > nobu-prosym
comparison Paper/figure/ir.graffle @ 29:d80535a49459
modify tex
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 21 Nov 2011 06:28:32 +0900 |
parents | 9adf0d4a6033 |
children |
comparison
equal
deleted
inserted
replaced
28:9ca3eb4921d6 | 29:d80535a49459 |
---|---|
48 <key>GraphDocumentVersion</key> | 48 <key>GraphDocumentVersion</key> |
49 <integer>8</integer> | 49 <integer>8</integer> |
50 <key>GraphicsList</key> | 50 <key>GraphicsList</key> |
51 <array> | 51 <array> |
52 <dict> | 52 <dict> |
53 <key>AllowLabelDrop</key> | |
54 <false/> | |
55 <key>Class</key> | |
56 <string>LineGraphic</string> | |
57 <key>Head</key> | |
58 <dict> | |
59 <key>ID</key> | |
60 <integer>13</integer> | |
61 </dict> | |
62 <key>ID</key> | |
63 <integer>35</integer> | |
64 <key>Points</key> | |
65 <array> | |
66 <string>{337.99988, 258}</string> | |
67 <string>{373.39996, 258}</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>HeadScale</key> | |
76 <real>1.4285709857940674</real> | |
77 <key>TailArrow</key> | |
78 <string>0</string> | |
79 <key>TailScale</key> | |
80 <real>0.5</real> | |
81 </dict> | |
82 </dict> | |
83 <key>Tail</key> | |
84 <dict> | |
85 <key>ID</key> | |
86 <integer>34</integer> | |
87 <key>Info</key> | |
88 <integer>7</integer> | |
89 </dict> | |
90 </dict> | |
91 <dict> | |
92 <key>Bounds</key> | 53 <key>Bounds</key> |
93 <string>{{273, 237.60001}, {64.999878, 40.799988}}</string> | 54 <string>{{284.60004, 168.00006}, {87.599983, 31.199951}}</string> |
94 <key>Class</key> | 55 <key>Class</key> |
95 <string>ShapedGraphic</string> | 56 <string>ShapedGraphic</string> |
96 <key>ID</key> | 57 <key>ID</key> |
97 <integer>34</integer> | 58 <integer>37</integer> |
98 <key>Magnets</key> | 59 <key>Magnets</key> |
99 <array> | 60 <array> |
100 <string>{1, 1}</string> | 61 <string>{1, 1}</string> |
101 <string>{1, -1}</string> | 62 <string>{1, -1}</string> |
102 <string>{-1, -1}</string> | 63 <string>{-1, -1}</string> |
135 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 96 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
136 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 97 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
137 {\colortbl;\red255\green255\blue255;} | 98 {\colortbl;\red255\green255\blue255;} |
138 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 99 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
139 | 100 |
140 \f0\fs24 \cf0 Code\ | 101 \f0\fs24 \cf0 RTL Generate}</string> |
141 Generate}</string> | |
142 <key>VerticalPad</key> | 102 <key>VerticalPad</key> |
143 <integer>0</integer> | 103 <integer>0</integer> |
144 </dict> | 104 </dict> |
145 </dict> | 105 </dict> |
146 <dict> | 106 <dict> |
107 <key>AllowLabelDrop</key> | |
108 <false/> | |
109 <key>Class</key> | |
110 <string>LineGraphic</string> | |
111 <key>Head</key> | |
112 <dict> | |
113 <key>ID</key> | |
114 <integer>13</integer> | |
115 </dict> | |
116 <key>ID</key> | |
117 <integer>35</integer> | |
118 <key>Points</key> | |
119 <array> | |
120 <string>{337.99988, 258}</string> | |
121 <string>{373.39996, 258}</string> | |
122 </array> | |
123 <key>Style</key> | |
124 <dict> | |
125 <key>stroke</key> | |
126 <dict> | |
127 <key>HeadArrow</key> | |
128 <string>FilledArrow</string> | |
129 <key>HeadScale</key> | |
130 <real>1.4285709857940674</real> | |
131 <key>TailArrow</key> | |
132 <string>0</string> | |
133 <key>TailScale</key> | |
134 <real>0.5</real> | |
135 </dict> | |
136 </dict> | |
137 <key>Tail</key> | |
138 <dict> | |
139 <key>ID</key> | |
140 <integer>34</integer> | |
141 <key>Info</key> | |
142 <integer>7</integer> | |
143 </dict> | |
144 </dict> | |
145 <dict> | |
147 <key>Bounds</key> | 146 <key>Bounds</key> |
148 <string>{{163, 241.40005}, {64.999878, 40.799988}}</string> | 147 <string>{{273, 237.60001}, {64.999878, 40.799988}}</string> |
149 <key>Class</key> | 148 <key>Class</key> |
150 <string>ShapedGraphic</string> | 149 <string>ShapedGraphic</string> |
151 <key>ID</key> | 150 <key>ID</key> |
152 <integer>33</integer> | 151 <integer>34</integer> |
153 <key>Magnets</key> | 152 <key>Magnets</key> |
154 <array> | 153 <array> |
155 <string>{1, 1}</string> | 154 <string>{1, 1}</string> |
156 <string>{1, -1}</string> | 155 <string>{1, -1}</string> |
157 <string>{-1, -1}</string> | 156 <string>{-1, -1}</string> |
190 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 189 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
191 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 190 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
192 {\colortbl;\red255\green255\blue255;} | 191 {\colortbl;\red255\green255\blue255;} |
193 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 192 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
194 | 193 |
195 \f0\fs24 \cf0 RTL\ | 194 \f0\fs24 \cf0 Code\ |
196 Optimize}</string> | 195 Generate}</string> |
197 <key>VerticalPad</key> | 196 <key>VerticalPad</key> |
198 <integer>0</integer> | 197 <integer>0</integer> |
199 </dict> | 198 </dict> |
200 </dict> | 199 </dict> |
201 <dict> | 200 <dict> |
202 <key>AllowLabelDrop</key> | |
203 <false/> | |
204 <key>Class</key> | |
205 <string>LineGraphic</string> | |
206 <key>Head</key> | |
207 <dict> | |
208 <key>ID</key> | |
209 <integer>34</integer> | |
210 <key>Info</key> | |
211 <integer>8</integer> | |
212 </dict> | |
213 <key>ID</key> | |
214 <integer>32</integer> | |
215 <key>Points</key> | |
216 <array> | |
217 <string>{138.19998, 257.00006}</string> | |
218 <string>{273, 258}</string> | |
219 </array> | |
220 <key>Style</key> | |
221 <dict> | |
222 <key>stroke</key> | |
223 <dict> | |
224 <key>HeadArrow</key> | |
225 <string>FilledArrow</string> | |
226 <key>HeadScale</key> | |
227 <real>1.4285709857940674</real> | |
228 <key>TailArrow</key> | |
229 <string>0</string> | |
230 <key>TailScale</key> | |
231 <real>0.5</real> | |
232 </dict> | |
233 </dict> | |
234 </dict> | |
235 <dict> | |
236 <key>Bounds</key> | 201 <key>Bounds</key> |
237 <string>{{58.999924, 234.19995}, {79.200012, 47.999989}}</string> | 202 <string>{{163, 241.40005}, {64.999878, 40.799988}}</string> |
238 <key>Class</key> | 203 <key>Class</key> |
239 <string>ShapedGraphic</string> | 204 <string>ShapedGraphic</string> |
240 <key>ID</key> | 205 <key>ID</key> |
241 <integer>30</integer> | 206 <integer>33</integer> |
242 <key>Magnets</key> | 207 <key>Magnets</key> |
243 <array> | 208 <array> |
244 <string>{1, 1}</string> | 209 <string>{1, 1}</string> |
245 <string>{1, -1}</string> | 210 <string>{1, -1}</string> |
246 <string>{-1, -1}</string> | 211 <string>{-1, -1}</string> |
265 <key>shadow</key> | 230 <key>shadow</key> |
266 <dict> | 231 <dict> |
267 <key>Draws</key> | 232 <key>Draws</key> |
268 <string>NO</string> | 233 <string>NO</string> |
269 </dict> | 234 </dict> |
235 <key>stroke</key> | |
236 <dict> | |
237 <key>Draws</key> | |
238 <string>NO</string> | |
239 </dict> | |
270 </dict> | 240 </dict> |
271 <key>Text</key> | 241 <key>Text</key> |
272 <dict> | 242 <dict> |
273 <key>Text</key> | 243 <key>Text</key> |
274 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 244 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
275 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 245 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
276 {\colortbl;\red255\green255\blue255;} | 246 {\colortbl;\red255\green255\blue255;} |
277 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 247 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
278 | 248 |
279 \f0\fs24 \cf0 RTL}</string> | 249 \f0\fs24 \cf0 RTL\ |
250 Optimize}</string> | |
280 <key>VerticalPad</key> | 251 <key>VerticalPad</key> |
281 <integer>0</integer> | 252 <integer>0</integer> |
282 </dict> | 253 </dict> |
283 </dict> | 254 </dict> |
284 <dict> | 255 <dict> |
256 <key>AllowLabelDrop</key> | |
257 <false/> | |
258 <key>Class</key> | |
259 <string>LineGraphic</string> | |
260 <key>Head</key> | |
261 <dict> | |
262 <key>ID</key> | |
263 <integer>34</integer> | |
264 <key>Info</key> | |
265 <integer>8</integer> | |
266 </dict> | |
267 <key>ID</key> | |
268 <integer>32</integer> | |
269 <key>Points</key> | |
270 <array> | |
271 <string>{138.19998, 257.00006}</string> | |
272 <string>{273, 258}</string> | |
273 </array> | |
274 <key>Style</key> | |
275 <dict> | |
276 <key>stroke</key> | |
277 <dict> | |
278 <key>HeadArrow</key> | |
279 <string>FilledArrow</string> | |
280 <key>HeadScale</key> | |
281 <real>1.4285709857940674</real> | |
282 <key>TailArrow</key> | |
283 <string>0</string> | |
284 <key>TailScale</key> | |
285 <real>0.5</real> | |
286 </dict> | |
287 </dict> | |
288 </dict> | |
289 <dict> | |
285 <key>Bounds</key> | 290 <key>Bounds</key> |
286 <string>{{177.61139, 209}, {87.599983, 31.199951}}</string> | 291 <string>{{64.999924, 234.20004}, {79.200012, 47.999989}}</string> |
287 <key>Class</key> | 292 <key>Class</key> |
288 <string>ShapedGraphic</string> | 293 <string>ShapedGraphic</string> |
289 <key>ID</key> | 294 <key>ID</key> |
290 <integer>29</integer> | 295 <integer>30</integer> |
291 <key>Magnets</key> | 296 <key>Magnets</key> |
292 <array> | 297 <array> |
293 <string>{1, 1}</string> | 298 <string>{1, 1}</string> |
294 <string>{1, -1}</string> | 299 <string>{1, -1}</string> |
295 <string>{-1, -1}</string> | 300 <string>{-1, -1}</string> |
314 <key>shadow</key> | 319 <key>shadow</key> |
315 <dict> | 320 <dict> |
316 <key>Draws</key> | 321 <key>Draws</key> |
317 <string>NO</string> | 322 <string>NO</string> |
318 </dict> | 323 </dict> |
319 <key>stroke</key> | |
320 <dict> | |
321 <key>Draws</key> | |
322 <string>NO</string> | |
323 </dict> | |
324 </dict> | 324 </dict> |
325 <key>Text</key> | 325 <key>Text</key> |
326 <dict> | 326 <dict> |
327 <key>Text</key> | 327 <key>Text</key> |
328 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 328 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
329 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 329 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
330 {\colortbl;\red255\green255\blue255;} | 330 {\colortbl;\red255\green255\blue255;} |
331 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 331 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
332 | 332 |
333 \f0\fs24 \cf0 RTL Generate}</string> | 333 \f0\fs24 \cf0 RTL}</string> |
334 <key>VerticalPad</key> | 334 <key>VerticalPad</key> |
335 <integer>0</integer> | 335 <integer>0</integer> |
336 </dict> | 336 </dict> |
337 </dict> | 337 </dict> |
338 <dict> | 338 <dict> |
346 <integer>30</integer> | 346 <integer>30</integer> |
347 <key>Info</key> | 347 <key>Info</key> |
348 <integer>6</integer> | 348 <integer>6</integer> |
349 </dict> | 349 </dict> |
350 <key>ID</key> | 350 <key>ID</key> |
351 <integer>28</integer> | 351 <integer>40</integer> |
352 <key>Points</key> | 352 <key>Points</key> |
353 <array> | 353 <array> |
354 <string>{372.20004, 184.19995}</string> | 354 <string>{378, 184}</string> |
355 <string>{387.59985, 183.99995}</string> | 355 <string>{387.59985, 183.99995}</string> |
356 <string>{388.20001, 225}</string> | 356 <string>{388.20001, 225}</string> |
357 <string>{119.19994, 225.39995}</string> | 357 <string>{119.19994, 225.39995}</string> |
358 <string>{98.59993, 234.19995}</string> | 358 <string>{104.59993, 234.20004}</string> |
359 </array> | 359 </array> |
360 <key>Style</key> | 360 <key>Style</key> |
361 <dict> | 361 <dict> |
362 <key>stroke</key> | 362 <key>stroke</key> |
363 <dict> | 363 <dict> |
368 <key>TailArrow</key> | 368 <key>TailArrow</key> |
369 <string>0</string> | 369 <string>0</string> |
370 <key>TailScale</key> | 370 <key>TailScale</key> |
371 <real>0.5</real> | 371 <real>0.5</real> |
372 </dict> | 372 </dict> |
373 </dict> | |
374 <key>Tail</key> | |
375 <dict> | |
376 <key>ID</key> | |
377 <integer>24</integer> | |
378 </dict> | 373 </dict> |
379 </dict> | 374 </dict> |
380 <dict> | 375 <dict> |
381 <key>Bounds</key> | 376 <key>Bounds</key> |
382 <string>{{187.80569, 168.00006}, {60.030289, 31.199951}}</string> | 377 <string>{{187.80569, 168.00006}, {60.030289, 31.199951}}</string> |
434 <dict> | 429 <dict> |
435 <key>AllowLabelDrop</key> | 430 <key>AllowLabelDrop</key> |
436 <false/> | 431 <false/> |
437 <key>Class</key> | 432 <key>Class</key> |
438 <string>LineGraphic</string> | 433 <string>LineGraphic</string> |
439 <key>Head</key> | 434 <key>ID</key> |
440 <dict> | 435 <integer>39</integer> |
441 <key>ID</key> | |
442 <integer>24</integer> | |
443 </dict> | |
444 <key>ID</key> | |
445 <integer>25</integer> | |
446 <key>Points</key> | 436 <key>Points</key> |
447 <array> | 437 <array> |
448 <string>{144.19992, 184.19995}</string> | 438 <string>{144.69992, 184.20277}</string> |
449 <string>{293, 184.19995}</string> | 439 <string>{286, 185}</string> |
450 </array> | 440 </array> |
451 <key>Style</key> | 441 <key>Style</key> |
452 <dict> | 442 <dict> |
453 <key>stroke</key> | 443 <key>stroke</key> |
454 <dict> | 444 <dict> |
470 <integer>7</integer> | 460 <integer>7</integer> |
471 </dict> | 461 </dict> |
472 </dict> | 462 </dict> |
473 <dict> | 463 <dict> |
474 <key>Bounds</key> | 464 <key>Bounds</key> |
475 <string>{{293, 160.19995}, {79.200012, 47.999989}}</string> | 465 <string>{{191.36963, 132.2}, {60.030289, 25.000061}}</string> |
476 <key>Class</key> | 466 <key>Class</key> |
477 <string>ShapedGraphic</string> | 467 <string>ShapedGraphic</string> |
478 <key>ID</key> | 468 <key>ID</key> |
479 <integer>24</integer> | 469 <integer>22</integer> |
480 <key>Magnets</key> | 470 <key>Magnets</key> |
481 <array> | 471 <array> |
482 <string>{1, 1}</string> | 472 <string>{1, 1}</string> |
483 <string>{1, -1}</string> | 473 <string>{1, -1}</string> |
484 <string>{-1, -1}</string> | 474 <string>{-1, -1}</string> |
503 <key>shadow</key> | 493 <key>shadow</key> |
504 <dict> | 494 <dict> |
505 <key>Draws</key> | 495 <key>Draws</key> |
506 <string>NO</string> | 496 <string>NO</string> |
507 </dict> | 497 </dict> |
498 <key>stroke</key> | |
499 <dict> | |
500 <key>Draws</key> | |
501 <string>NO</string> | |
502 </dict> | |
508 </dict> | 503 </dict> |
509 <key>Text</key> | 504 <key>Text</key> |
510 <dict> | 505 <dict> |
511 <key>Text</key> | 506 <key>Text</key> |
512 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 507 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
513 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 508 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
514 {\colortbl;\red255\green255\blue255;} | 509 {\colortbl;\red255\green255\blue255;} |
515 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 510 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
516 | 511 |
517 \f0\fs24 \cf0 Generic\ | 512 \f0\fs24 \cf0 Gimplify}</string> |
518 tree}</string> | |
519 <key>VerticalPad</key> | 513 <key>VerticalPad</key> |
520 <integer>0</integer> | 514 <integer>0</integer> |
521 </dict> | 515 </dict> |
522 </dict> | 516 </dict> |
523 <dict> | 517 <dict> |
518 <key>AllowLabelDrop</key> | |
519 <false/> | |
520 <key>Class</key> | |
521 <string>LineGraphic</string> | |
522 <key>Head</key> | |
523 <dict> | |
524 <key>ID</key> | |
525 <integer>10</integer> | |
526 <key>Info</key> | |
527 <integer>6</integer> | |
528 </dict> | |
529 <key>ID</key> | |
530 <integer>19</integer> | |
531 <key>Points</key> | |
532 <array> | |
533 <string>{372.20001, 110.00003}</string> | |
534 <string>{385.7999, 110.00005}</string> | |
535 <string>{385.7999, 145.00006}</string> | |
536 <string>{133, 145}</string> | |
537 <string>{129, 146}</string> | |
538 <string>{105.03209, 159.94846}</string> | |
539 </array> | |
540 <key>Style</key> | |
541 <dict> | |
542 <key>stroke</key> | |
543 <dict> | |
544 <key>HeadArrow</key> | |
545 <string>FilledArrow</string> | |
546 <key>HeadScale</key> | |
547 <real>1.4285709857940674</real> | |
548 <key>TailArrow</key> | |
549 <string>0</string> | |
550 <key>TailScale</key> | |
551 <real>0.5</real> | |
552 </dict> | |
553 </dict> | |
554 <key>Tail</key> | |
555 <dict> | |
556 <key>ID</key> | |
557 <integer>8</integer> | |
558 <key>Info</key> | |
559 <integer>7</integer> | |
560 </dict> | |
561 </dict> | |
562 <dict> | |
524 <key>Bounds</key> | 563 <key>Bounds</key> |
525 <string>{{191.36963, 132.2}, {60.030289, 25.000061}}</string> | 564 <string>{{373.39999, 234}, {87.599983, 47.999989}}</string> |
526 <key>Class</key> | 565 <key>Class</key> |
527 <string>ShapedGraphic</string> | 566 <string>ShapedGraphic</string> |
528 <key>ID</key> | 567 <key>ID</key> |
529 <integer>22</integer> | 568 <integer>13</integer> |
530 <key>Magnets</key> | 569 <key>Magnets</key> |
531 <array> | 570 <array> |
532 <string>{1, 1}</string> | 571 <string>{1, 1}</string> |
533 <string>{1, -1}</string> | 572 <string>{1, -1}</string> |
534 <string>{-1, -1}</string> | 573 <string>{-1, -1}</string> |
553 <key>shadow</key> | 592 <key>shadow</key> |
554 <dict> | 593 <dict> |
555 <key>Draws</key> | 594 <key>Draws</key> |
556 <string>NO</string> | 595 <string>NO</string> |
557 </dict> | 596 </dict> |
558 <key>stroke</key> | |
559 <dict> | |
560 <key>Draws</key> | |
561 <string>NO</string> | |
562 </dict> | |
563 </dict> | 597 </dict> |
564 <key>Text</key> | 598 <key>Text</key> |
565 <dict> | 599 <dict> |
566 <key>Text</key> | 600 <key>Text</key> |
567 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 601 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
568 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 602 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
569 {\colortbl;\red255\green255\blue255;} | 603 {\colortbl;\red255\green255\blue255;} |
570 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 604 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
571 | 605 |
572 \f0\fs24 \cf0 Gimplify}</string> | 606 \f0\fs24 \cf0 Assembler\ |
607 Language}</string> | |
573 <key>VerticalPad</key> | 608 <key>VerticalPad</key> |
574 <integer>0</integer> | 609 <integer>0</integer> |
575 </dict> | 610 </dict> |
576 </dict> | 611 </dict> |
577 <dict> | 612 <dict> |
578 <key>AllowLabelDrop</key> | 613 <key>Bounds</key> |
579 <false/> | 614 <string>{{185.91939, 90.000031}, {51.962097, 40}}</string> |
580 <key>Class</key> | 615 <key>Class</key> |
581 <string>LineGraphic</string> | 616 <string>ShapedGraphic</string> |
582 <key>Head</key> | 617 <key>ID</key> |
618 <integer>12</integer> | |
619 <key>Line</key> | |
583 <dict> | 620 <dict> |
584 <key>ID</key> | 621 <key>ID</key> |
585 <integer>10</integer> | 622 <integer>11</integer> |
586 <key>Info</key> | 623 <key>Position</key> |
587 <integer>6</integer> | 624 <real>0.45497629046440125</real> |
588 </dict> | 625 <key>RotationType</key> |
589 <key>ID</key> | 626 <integer>0</integer> |
590 <integer>19</integer> | 627 </dict> |
591 <key>Points</key> | |
592 <array> | |
593 <string>{372.20001, 110.00003}</string> | |
594 <string>{385.7999, 110.00005}</string> | |
595 <string>{385.7999, 145.00006}</string> | |
596 <string>{133, 145}</string> | |
597 <string>{129, 146}</string> | |
598 <string>{105.03209, 159.94846}</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>HeadScale</key> | |
607 <real>1.4285709857940674</real> | |
608 <key>TailArrow</key> | |
609 <string>0</string> | |
610 <key>TailScale</key> | |
611 <real>0.5</real> | |
612 </dict> | |
613 </dict> | |
614 <key>Tail</key> | |
615 <dict> | |
616 <key>ID</key> | |
617 <integer>8</integer> | |
618 <key>Info</key> | |
619 <integer>7</integer> | |
620 </dict> | |
621 </dict> | |
622 <dict> | |
623 <key>Bounds</key> | |
624 <string>{{373.39999, 234}, {87.599983, 47.999989}}</string> | |
625 <key>Class</key> | |
626 <string>ShapedGraphic</string> | |
627 <key>ID</key> | |
628 <integer>13</integer> | |
629 <key>Magnets</key> | 628 <key>Magnets</key> |
630 <array> | 629 <array> |
631 <string>{1, 1}</string> | 630 <string>{1, 1}</string> |
632 <string>{1, -1}</string> | 631 <string>{1, -1}</string> |
633 <string>{-1, -1}</string> | 632 <string>{-1, -1}</string> |
652 <key>shadow</key> | 651 <key>shadow</key> |
653 <dict> | 652 <dict> |
654 <key>Draws</key> | 653 <key>Draws</key> |
655 <string>NO</string> | 654 <string>NO</string> |
656 </dict> | 655 </dict> |
656 <key>stroke</key> | |
657 <dict> | |
658 <key>Draws</key> | |
659 <string>NO</string> | |
660 </dict> | |
657 </dict> | 661 </dict> |
658 <key>Text</key> | 662 <key>Text</key> |
659 <dict> | 663 <dict> |
660 <key>Text</key> | 664 <key>Text</key> |
661 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 665 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
662 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 666 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
663 {\colortbl;\red255\green255\blue255;} | 667 {\colortbl;\red255\green255\blue255;} |
664 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 668 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
665 | 669 |
666 \f0\fs24 \cf0 Assembler\ | 670 \f0\fs24 \cf0 Parse}</string> |
667 Language}</string> | |
668 <key>VerticalPad</key> | 671 <key>VerticalPad</key> |
669 <integer>0</integer> | 672 <integer>0</integer> |
670 </dict> | 673 </dict> |
671 </dict> | 674 </dict> |
672 <dict> | 675 <dict> |
676 <key>Class</key> | |
677 <string>LineGraphic</string> | |
678 <key>Head</key> | |
679 <dict> | |
680 <key>ID</key> | |
681 <integer>8</integer> | |
682 </dict> | |
683 <key>ID</key> | |
684 <integer>11</integer> | |
685 <key>Points</key> | |
686 <array> | |
687 <string>{144.19994, 110.00003}</string> | |
688 <string>{293, 110.00003}</string> | |
689 </array> | |
690 <key>Style</key> | |
691 <dict> | |
692 <key>stroke</key> | |
693 <dict> | |
694 <key>HeadArrow</key> | |
695 <string>FilledArrow</string> | |
696 <key>LineType</key> | |
697 <integer>1</integer> | |
698 <key>TailArrow</key> | |
699 <string>0</string> | |
700 </dict> | |
701 </dict> | |
702 <key>Tail</key> | |
703 <dict> | |
704 <key>ID</key> | |
705 <integer>9</integer> | |
706 <key>Info</key> | |
707 <integer>7</integer> | |
708 </dict> | |
709 </dict> | |
710 <dict> | |
673 <key>Bounds</key> | 711 <key>Bounds</key> |
674 <string>{{191.36963, 90.000031}, {51.962097, 40}}</string> | 712 <string>{{64.999924, 160.19995}, {79.200012, 47.999989}}</string> |
675 <key>Class</key> | 713 <key>Class</key> |
676 <string>ShapedGraphic</string> | 714 <string>ShapedGraphic</string> |
677 <key>ID</key> | 715 <key>ID</key> |
678 <integer>12</integer> | 716 <integer>10</integer> |
679 <key>Line</key> | |
680 <dict> | |
681 <key>ID</key> | |
682 <integer>11</integer> | |
683 <key>Position</key> | |
684 <real>0.45497629046440125</real> | |
685 <key>RotationType</key> | |
686 <integer>0</integer> | |
687 </dict> | |
688 <key>Magnets</key> | 717 <key>Magnets</key> |
689 <array> | 718 <array> |
690 <string>{1, 1}</string> | 719 <string>{1, 1}</string> |
691 <string>{1, -1}</string> | 720 <string>{1, -1}</string> |
692 <string>{-1, -1}</string> | 721 <string>{-1, -1}</string> |
711 <key>shadow</key> | 740 <key>shadow</key> |
712 <dict> | 741 <dict> |
713 <key>Draws</key> | 742 <key>Draws</key> |
714 <string>NO</string> | 743 <string>NO</string> |
715 </dict> | 744 </dict> |
716 <key>stroke</key> | |
717 <dict> | |
718 <key>Draws</key> | |
719 <string>NO</string> | |
720 </dict> | |
721 </dict> | 745 </dict> |
722 <key>Text</key> | 746 <key>Text</key> |
723 <dict> | 747 <dict> |
724 <key>Text</key> | 748 <key>Text</key> |
725 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 749 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
726 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 750 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
727 {\colortbl;\red255\green255\blue255;} | 751 {\colortbl;\red255\green255\blue255;} |
728 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 752 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
729 | 753 |
730 \f0\fs24 \cf0 Parse}</string> | 754 \f0\fs24 \cf0 GIMPLE\ |
755 Tree}</string> | |
731 <key>VerticalPad</key> | 756 <key>VerticalPad</key> |
732 <integer>0</integer> | 757 <integer>0</integer> |
733 </dict> | 758 </dict> |
734 </dict> | 759 </dict> |
735 <dict> | 760 <dict> |
736 <key>Class</key> | |
737 <string>LineGraphic</string> | |
738 <key>Head</key> | |
739 <dict> | |
740 <key>ID</key> | |
741 <integer>8</integer> | |
742 </dict> | |
743 <key>ID</key> | |
744 <integer>11</integer> | |
745 <key>Points</key> | |
746 <array> | |
747 <string>{154.19994, 110.00003}</string> | |
748 <string>{293, 110.00003}</string> | |
749 </array> | |
750 <key>Style</key> | |
751 <dict> | |
752 <key>stroke</key> | |
753 <dict> | |
754 <key>HeadArrow</key> | |
755 <string>FilledArrow</string> | |
756 <key>LineType</key> | |
757 <integer>1</integer> | |
758 <key>TailArrow</key> | |
759 <string>0</string> | |
760 </dict> | |
761 </dict> | |
762 <key>Tail</key> | |
763 <dict> | |
764 <key>ID</key> | |
765 <integer>9</integer> | |
766 <key>Info</key> | |
767 <integer>7</integer> | |
768 </dict> | |
769 </dict> | |
770 <dict> | |
771 <key>Bounds</key> | 761 <key>Bounds</key> |
772 <string>{{64.999924, 160.19995}, {79.200012, 47.999989}}</string> | 762 <string>{{64.999924, 86.000038}, {79.200012, 47.999989}}</string> |
773 <key>Class</key> | 763 <key>Class</key> |
774 <string>ShapedGraphic</string> | 764 <string>ShapedGraphic</string> |
775 <key>ID</key> | 765 <key>ID</key> |
776 <integer>10</integer> | 766 <integer>9</integer> |
777 <key>Magnets</key> | 767 <key>Magnets</key> |
778 <array> | 768 <array> |
779 <string>{1, 1}</string> | 769 <string>{1, 1}</string> |
780 <string>{1, -1}</string> | 770 <string>{1, -1}</string> |
781 <string>{-1, -1}</string> | 771 <string>{-1, -1}</string> |
809 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 799 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
810 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 800 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
811 {\colortbl;\red255\green255\blue255;} | 801 {\colortbl;\red255\green255\blue255;} |
812 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 802 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
813 | 803 |
814 \f0\fs24 \cf0 GIMPLE}</string> | 804 \f0\fs24 \cf0 Code}</string> |
815 <key>VerticalPad</key> | 805 <key>VerticalPad</key> |
816 <integer>0</integer> | 806 <integer>0</integer> |
817 </dict> | 807 </dict> |
818 </dict> | 808 </dict> |
819 <dict> | 809 <dict> |
820 <key>Bounds</key> | 810 <key>Bounds</key> |
821 <string>{{74.999924, 86.000038}, {79.200012, 47.999989}}</string> | 811 <string>{{293, 86.000038}, {79.200012, 47.999989}}</string> |
822 <key>Class</key> | 812 <key>Class</key> |
823 <string>ShapedGraphic</string> | 813 <string>ShapedGraphic</string> |
824 <key>ID</key> | 814 <key>ID</key> |
825 <integer>9</integer> | 815 <integer>8</integer> |
826 <key>Magnets</key> | 816 <key>Magnets</key> |
827 <array> | 817 <array> |
828 <string>{1, 1}</string> | 818 <string>{1, 1}</string> |
829 <string>{1, -1}</string> | 819 <string>{1, -1}</string> |
830 <string>{-1, -1}</string> | 820 <string>{-1, -1}</string> |
858 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 848 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
859 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 849 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
860 {\colortbl;\red255\green255\blue255;} | 850 {\colortbl;\red255\green255\blue255;} |
861 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 851 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
862 | 852 |
863 \f0\fs24 \cf0 Code}</string> | |
864 <key>VerticalPad</key> | |
865 <integer>0</integer> | |
866 </dict> | |
867 </dict> | |
868 <dict> | |
869 <key>Bounds</key> | |
870 <string>{{293, 86.000038}, {79.200012, 47.999989}}</string> | |
871 <key>Class</key> | |
872 <string>ShapedGraphic</string> | |
873 <key>ID</key> | |
874 <integer>8</integer> | |
875 <key>Magnets</key> | |
876 <array> | |
877 <string>{1, 1}</string> | |
878 <string>{1, -1}</string> | |
879 <string>{-1, -1}</string> | |
880 <string>{-1, 1}</string> | |
881 <string>{0, 1}</string> | |
882 <string>{0, -1}</string> | |
883 <string>{1, 0}</string> | |
884 <string>{-1, 0}</string> | |
885 <string>{-0.5, -0.233518}</string> | |
886 <string>{-0.49144199, 0.26006299}</string> | |
887 <string>{0.50711799, -0.224086}</string> | |
888 <string>{0.50711799, 0.26717901}</string> | |
889 <string>{-0.27430999, -0.47402799}</string> | |
890 <string>{0.27978, -0.47847801}</string> | |
891 <string>{0.29393801, 0.54304397}</string> | |
892 <string>{-0.28623199, 0.55380398}</string> | |
893 </array> | |
894 <key>Shape</key> | |
895 <string>Rectangle</string> | |
896 <key>Style</key> | |
897 <dict> | |
898 <key>shadow</key> | |
899 <dict> | |
900 <key>Draws</key> | |
901 <string>NO</string> | |
902 </dict> | |
903 </dict> | |
904 <key>Text</key> | |
905 <dict> | |
906 <key>Text</key> | |
907 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
908 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
909 {\colortbl;\red255\green255\blue255;} | |
910 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
911 | |
912 \f0\fs24 \cf0 Generic\ | 853 \f0\fs24 \cf0 Generic\ |
913 tree}</string> | 854 Tree}</string> |
914 <key>VerticalPad</key> | 855 <key>VerticalPad</key> |
915 <integer>0</integer> | 856 <integer>0</integer> |
916 </dict> | 857 </dict> |
917 </dict> | 858 </dict> |
918 </array> | 859 </array> |
961 <key>MagnetsVisible</key> | 902 <key>MagnetsVisible</key> |
962 <string>NO</string> | 903 <string>NO</string> |
963 <key>MasterSheets</key> | 904 <key>MasterSheets</key> |
964 <array/> | 905 <array/> |
965 <key>ModificationDate</key> | 906 <key>ModificationDate</key> |
966 <string>2011-11-18 00:23:12 +0000</string> | 907 <string>2011-11-20 21:01:25 +0000</string> |
967 <key>Modifier</key> | 908 <key>Modifier</key> |
968 <string>Nobuyasu Oshiro</string> | 909 <string>Nobuyasu Oshiro</string> |
969 <key>NotesVisible</key> | 910 <key>NotesVisible</key> |
970 <string>NO</string> | 911 <string>NO</string> |
971 <key>Orientation</key> | 912 <key>Orientation</key> |
1042 <key>name</key> | 983 <key>name</key> |
1043 <string>Canvas 1</string> | 984 <string>Canvas 1</string> |
1044 </dict> | 985 </dict> |
1045 </array> | 986 </array> |
1046 <key>Frame</key> | 987 <key>Frame</key> |
1047 <string>{{6, 4}, {693, 938}}</string> | 988 <string>{{50, 4}, {693, 938}}</string> |
1048 <key>ListView</key> | 989 <key>ListView</key> |
1049 <true/> | 990 <true/> |
1050 <key>OutlineWidth</key> | 991 <key>OutlineWidth</key> |
1051 <integer>142</integer> | 992 <integer>142</integer> |
1052 <key>RightSidebar</key> | 993 <key>RightSidebar</key> |