Mercurial > hg > Papers > 2022 > ikki-master

comparison poster/ikki-poster.graffle/data.plist @ 38:e5570db4fcb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Poster
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Tue, 15 Feb 2022 01:08:09 +0900
parents 411d86a35dd3
children f78096cb1f69
comparison
equal deleted inserted replaced
37:8efb5398e604 38:e5570db4fcb4
12 <key>AutoAdjust</key> 12 <key>AutoAdjust</key>
13 <true/> 13 <true/>
14 <key>BackgroundGraphic</key> 14 <key>BackgroundGraphic</key>
15 <dict> 15 <dict>
16 <key>Bounds</key> 16 <key>Bounds</key>
17 <string>{{0, 0}, {4055.244140625, 2860.68505859375}}</string> 17 <string>{{0, 0}, {2027.6220703125, 5721.3701171875}}</string>
18 <key>Class</key> 18 <key>Class</key>
19 <string>SolidGraphic</string> 19 <string>SolidGraphic</string>
20 <key>FontInfo</key> 20 <key>FontInfo</key>
21 <dict> 21 <dict>
22 <key>Font</key> 22 <key>Font</key>
52 <key>GraphDocumentVersion</key> 52 <key>GraphDocumentVersion</key>
53 <integer>12</integer> 53 <integer>12</integer>
54 <key>GraphicsList</key> 54 <key>GraphicsList</key>
55 <array> 55 <array>
56 <dict> 56 <dict>
57 <key>Bounds</key>
58 <string>{{428.68948903630695, 578.51969032465945}, {2184.0945080055963, 1932.2478062009218}}</string>
59 <key>Class</key> 57 <key>Class</key>
60 <string>ShapedGraphic</string> 58 <string>Group</string>
59 <key>Graphics</key>
60 <array>
61 <dict>
62 <key>Bounds</key>
63 <string>{{1032.8940372816407, 980.78741047363576}, {964.78997414196579, 183}}</string>
64 <key>Class</key>
65 <string>ShapedGraphic</string>
66 <key>FitText</key>
67 <string>Vertical</string>
68 <key>Flow</key>
69 <string>Resize</string>
70 <key>FontInfo</key>
71 <dict>
72 <key>Font</key>
73 <string>HiraKakuProN-W3</string>
74 <key>Size</key>
75 <real>30</real>
76 </dict>
77 <key>ID</key>
78 <integer>3731</integer>
79 <key>Style</key>
80 <dict>
81 <key>fill</key>
82 <dict>
83 <key>Draws</key>
84 <string>NO</string>
85 </dict>
86 <key>shadow</key>
87 <dict>
88 <key>Draws</key>
89 <string>NO</string>
90 </dict>
91 <key>stroke</key>
92 <dict>
93 <key>Draws</key>
94 <string>NO</string>
95 </dict>
96 </dict>
97 <key>Text</key>
98 <dict>
99 <key>Align</key>
100 <integer>0</integer>
101 <key>Pad</key>
102 <real>0.0</real>
103 <key>Text</key>
104 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
105 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
106 {\colortbl;\red255\green255\blue255;}
107 {\*\expandedcolortbl;;}
108 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
109
110 \f0\fs60 \cf0 \'81\'45socket\'82\'d6\'82\'ccDataGear\'8f\'91\'82\'ab\'8d\'9e\'82\'dd/\'8e\'e6\'82\'e8\'8f\'6f\'82\'b5\'82\'cdQueue\'82\'d6\'82\'ccPut/TakeAPI\'82\'cc\'8f\'88\'97\'9d\'82\'c9\'91\'67\'82\'dd\'8d\'9e\'82\'dc\'82\'ea\'82\'e9\
111 \'81\'45read/writeAPI\'82\'f0\'8e\'67\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'83\'6d\'81\'5b\'83\'68\'82\'be\'82\'af\'82\'c5\'82\'c8\'82\'ad\'8e\'9d\'91\'b1\'83\'66\'83\'6f\'83\'43\'83\'58\'82\'d6\'82\'cc\'95\'db\'91\'b6\'82\'e0\'93\'af\'97\'6c\'82\'c9\'8d\'73\'82\'a6\'82\'e9}</string>
112 <key>VerticalPad</key>
113 <real>1</real>
114 </dict>
115 </dict>
116 <dict>
117 <key>Bounds</key>
118 <string>{{1041.7322929163618, 786.6141803654159}, {874.30574445825118, 183}}</string>
119 <key>Class</key>
120 <string>ShapedGraphic</string>
121 <key>FitText</key>
122 <string>Vertical</string>
123 <key>Flow</key>
124 <string>Resize</string>
125 <key>FontInfo</key>
126 <dict>
127 <key>Font</key>
128 <string>HiraKakuProN-W3</string>
129 <key>Size</key>
130 <real>14</real>
131 </dict>
132 <key>ID</key>
133 <integer>3732</integer>
134 <key>Style</key>
135 <dict>
136 <key>fill</key>
137 <dict>
138 <key>Color</key>
139 <dict>
140 <key>b</key>
141 <real>0.66274500000000003</real>
142 <key>g</key>
143 <real>1</real>
144 <key>r</key>
145 <real>1</real>
146 </dict>
147 </dict>
148 <key>shadow</key>
149 <dict>
150 <key>Draws</key>
151 <string>NO</string>
152 </dict>
153 <key>stroke</key>
154 <dict>
155 <key>Draws</key>
156 <string>NO</string>
157 </dict>
158 </dict>
159 <key>Text</key>
160 <dict>
161 <key>Align</key>
162 <integer>0</integer>
163 <key>Pad</key>
164 <real>0.0</real>
165 <key>Text</key>
166 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
167 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
168 {\colortbl;\red255\green255\blue255;}
169 {\*\expandedcolortbl;;}
170 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
171
172 \f0\fs48 \cf0 __code sendDataRemoteDGMQueue(struct RemoteDGMQueue* tQueue, union Data* data, __code next(...))\{\
173 int send_size;\
174 send_size = write(tQueue-&gt;socket, data, sizeof(union Data));\
175 \} //\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'97\'aa}</string>
176 <key>VerticalPad</key>
177 <real>1</real>
178 </dict>
179 </dict>
180 <dict>
181 <key>Class</key>
182 <string>Group</string>
183 <key>Graphics</key>
184 <array>
185 <dict>
186 <key>Bounds</key>
187 <string>{{1103.0259070897889, 269.01312012380276}, {889.0382080078125, 73}}</string>
188 <key>Class</key>
189 <string>ShapedGraphic</string>
190 <key>FitText</key>
191 <string>Vertical</string>
192 <key>Flow</key>
193 <string>Resize</string>
194 <key>FontInfo</key>
195 <dict>
196 <key>Color</key>
197 <dict>
198 <key>b</key>
199 <string>1</string>
200 <key>g</key>
201 <string>1</string>
202 <key>r</key>
203 <string>1</string>
204 </dict>
205 <key>Font</key>
206 <string>HiraKakuProN-W3</string>
207 <key>Size</key>
208 <real>48</real>
209 </dict>
210 <key>ID</key>
211 <integer>3734</integer>
212 <key>Style</key>
213 <dict>
214 <key>fill</key>
215 <dict>
216 <key>Draws</key>
217 <string>NO</string>
218 </dict>
219 <key>shadow</key>
220 <dict>
221 <key>Draws</key>
222 <string>NO</string>
223 </dict>
224 <key>stroke</key>
225 <dict>
226 <key>Draws</key>
227 <string>NO</string>
228 </dict>
229 </dict>
230 <key>Text</key>
231 <dict>
232 <key>Align</key>
233 <integer>0</integer>
234 <key>Pad</key>
235 <real>0.0</real>
236 <key>Text</key>
237 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
238 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
239 {\colortbl;\red255\green255\blue255;}
240 {\*\expandedcolortbl;;}
241 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
242
243 \f0\fs96 \cf1 GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'c6\'92\'ca\'90\'4d}</string>
244 <key>VerticalPad</key>
245 <real>0.0</real>
246 </dict>
247 </dict>
248 <dict>
249 <key>Class</key>
250 <string>Group</string>
251 <key>Graphics</key>
252 <array>
253 <dict>
254 <key>Class</key>
255 <string>LineGraphic</string>
256 <key>ID</key>
257 <integer>3736</integer>
258 <key>Points</key>
259 <array>
260 <string>{1044.3941219442115, 294.93332561526427}</string>
261 <string>{1087.239411172701, 295.72747471756492}</string>
262 </array>
263 <key>Style</key>
264 <dict>
265 <key>stroke</key>
266 <dict>
267 <key>Color</key>
268 <dict>
269 <key>b</key>
270 <real>1</real>
271 <key>g</key>
272 <real>1</real>
273 <key>r</key>
274 <real>1</real>
275 </dict>
276 <key>HeadArrow</key>
277 <string>FilledBall</string>
278 <key>Legacy</key>
279 <true/>
280 <key>TailArrow</key>
281 <string>0</string>
282 <key>Width</key>
283 <real>3</real>
284 </dict>
285 </dict>
286 <key>Tail</key>
287 <dict>
288 <key>ID</key>
289 <integer>3737</integer>
290 <key>Position</key>
291 <real>0.32640770077705383</real>
292 </dict>
293 </dict>
294 <dict>
295 <key>Class</key>
296 <string>LineGraphic</string>
297 <key>ID</key>
298 <integer>3737</integer>
299 <key>Points</key>
300 <array>
301 <string>{1038.0022236918167, 314.25516376498285}</string>
302 <string>{1049.731346455751, 278.79962258861866}</string>
303 <string>{1051.9121792644523, 277.52859797798652}</string>
304 <string>{1074.3931450242471, 277.52859797798652}</string>
305 </array>
306 <key>Style</key>
307 <dict>
308 <key>stroke</key>
309 <dict>
310 <key>Color</key>
311 <dict>
312 <key>b</key>
313 <real>1</real>
314 <key>g</key>
315 <real>1</real>
316 <key>r</key>
317 <real>1</real>
318 </dict>
319 <key>HeadArrow</key>
320 <string>FilledBall</string>
321 <key>Legacy</key>
322 <true/>
323 <key>TailArrow</key>
324 <string>0</string>
325 <key>Width</key>
326 <real>3</real>
327 </dict>
328 </dict>
329 <key>Tail</key>
330 <dict>
331 <key>ID</key>
332 <integer>3738</integer>
333 <key>Position</key>
334 <real>0.25490197539329529</real>
335 </dict>
336 </dict>
337 <dict>
338 <key>Class</key>
339 <string>LineGraphic</string>
340 <key>ID</key>
341 <integer>3738</integer>
342 <key>Points</key>
343 <array>
344 <string>{1024.0786026094686, 313.92635145714252}</string>
345 <string>{1064.1668296087491, 314.87305220107277}</string>
346 <string>{1078.6752337403984, 313.92635145714252}</string>
347 </array>
348 <key>Style</key>
349 <dict>
350 <key>stroke</key>
351 <dict>
352 <key>Color</key>
353 <dict>
354 <key>b</key>
355 <real>1</real>
356 <key>g</key>
357 <real>1</real>
358 <key>r</key>
359 <real>1</real>
360 </dict>
361 <key>HeadArrow</key>
362 <string>FilledBall</string>
363 <key>Legacy</key>
364 <true/>
365 <key>TailArrow</key>
366 <string>0</string>
367 <key>Width</key>
368 <real>3</real>
369 </dict>
370 </dict>
371 </dict>
372 <dict>
373 <key>Bounds</key>
374 <string>{{1020.014877810999, 259.37008109346118}, {994.98516845703114, 68}}</string>
375 <key>Class</key>
376 <string>ShapedGraphic</string>
377 <key>ID</key>
378 <integer>3739</integer>
379 <key>Style</key>
380 <dict>
381 <key>fill</key>
382 <dict>
383 <key>Color</key>
384 <dict>
385 <key>b</key>
386 <real>0.80000000000000004</real>
387 <key>g</key>
388 <real>0.59999999999999998</real>
389 <key>r</key>
390 <real>0.20000000000000001</real>
391 </dict>
392 <key>FillType</key>
393 <integer>2</integer>
394 <key>GradientAngle</key>
395 <real>90</real>
396 <key>GradientColor</key>
397 <dict>
398 <key>b</key>
399 <string>0.8</string>
400 <key>g</key>
401 <string>0.4</string>
402 <key>r</key>
403 <string>0</string>
404 </dict>
405 </dict>
406 <key>shadow</key>
407 <dict>
408 <key>Draws</key>
409 <string>NO</string>
410 </dict>
411 <key>stroke</key>
412 <dict>
413 <key>Width</key>
414 <real>0.5</real>
415 </dict>
416 </dict>
417 </dict>
418 </array>
419 <key>ID</key>
420 <integer>3735</integer>
421 </dict>
422 </array>
423 <key>ID</key>
424 <integer>3733</integer>
425 </dict>
426 <dict>
427 <key>Bounds</key>
428 <string>{{1035.0728986998095, 342.01312012380276}, {964.78997414196579, 498}}</string>
429 <key>Class</key>
430 <string>ShapedGraphic</string>
431 <key>FitText</key>
432 <string>Vertical</string>
433 <key>Flow</key>
434 <string>Resize</string>
435 <key>FontInfo</key>
436 <dict>
437 <key>Font</key>
438 <string>HiraKakuProN-W3</string>
439 <key>Size</key>
440 <real>30</real>
441 </dict>
442 <key>ID</key>
443 <integer>3740</integer>
444 <key>Style</key>
445 <dict>
446 <key>fill</key>
447 <dict>
448 <key>Draws</key>
449 <string>NO</string>
450 </dict>
451 <key>shadow</key>
452 <dict>
453 <key>Draws</key>
454 <string>NO</string>
455 </dict>
456 <key>stroke</key>
457 <dict>
458 <key>Draws</key>
459 <string>NO</string>
460 </dict>
461 </dict>
462 <key>Text</key>
463 <dict>
464 <key>Align</key>
465 <integer>0</integer>
466 <key>Pad</key>
467 <real>0.0</real>
468 <key>Text</key>
469 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
470 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
471 {\colortbl;\red255\green255\blue255;}
472 {\*\expandedcolortbl;;}
473 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
474
475 \f0\fs60 \cf0 \'81\'45GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cdChristie\'82\'ccDataGearManager\'82\'cc\'8e\'64\'91\'67\'82\'dd\'82\'f0\'8e\'67\'82\'a4\
476 - \'95\'a1\'90\'94\'82\'ccQueue\'82\'f0\'8e\'9d\'82\'c2\'90\'d4\'8d\'95\'96\'d8\'82\'c6\'82\'b5\'82\'c4\'8e\'c0\'91\'95\'82\'b3\'82\'ea\'82\'e9\
477 - Queue\'82\'cdmain\'82\'c5\'83\'66\'81\'5b\'83\'5e\'82\'f0\'95\'db\'8e\'9d\'82\'b7\'82\'e9\'82\'e0\'82\'cc\'82\'c9\'89\'c1\'82\'a6\'81\'41mainQueue\'82\'ccInput/OutputStream\'81\'41\'92\'ca\'90\'4d\'90\'a7\'8c\'e4\'82\'c9\'8e\'67\'82\'ed\'82\'ea\'82\'e9\'94\'43\'88\'d3\'82\'ccStream\'82\'c6\'82\'c8\'82\'e9\
478 - Queue\'82\'cd\'82\'bb\'82\'ea\'82\'bc\'82\'eakey\'82\'f0\'8e\'9d\'82\'bf\'81\'41key\'82\'c5\'83\'41\'83\'4e\'83\'5a\'83\'58\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
479 - \'82\'bb\'82\'cc\'82\'bd\'82\'df\'81\'41API\'8c\'c4\'82\'d1\'8f\'6f\'82\'b5\'82\'cd\'91\'80\'8d\'ec\'82\'f0\'8d\'73\'82\'a4Queue\'82\'cc\'8e\'77\'92\'e8\'82\'f0\'82\'b7\'82\'e9\
480 \'81\'45\'92\'ca\'90\'4d\'82\'f0\'8d\'73\'82\'a4\'8f\'ea\'8d\'87\'81\'41\'82\'bb\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'c9\'91\'ce\'89\'9e\'82\'b5\'82\'bdproxy(RemoteDGM)\'82\'f0\'8d\'ec\'90\'ac\'82\'b5\'81\'41socket\'82\'c5\'90\'da\'91\'b1\'82\'f0\'8d\'73\'82\'a4\
481 - proxy\'82\'ccQueue\'82\'c9\'93\'4b\'90\'d8\'82\'c8\'8c\'5e\'82\'ccDataGear\'82\'f0\'8f\'91\'82\'ab\'8d\'9e\'82\'de\'82\'b1\'82\'c6\'82\'c5\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'b7\'82\'e9\
482 }</string>
483 <key>VerticalPad</key>
484 <real>1</real>
485 </dict>
486 </dict>
487 <dict>
488 <key>Bounds</key>
489 <string>{{1020.0148778109989, 326.88993394387103}, {994.98516845703102, 831.06283246792145}}</string>
490 <key>Class</key>
491 <string>ShapedGraphic</string>
492 <key>FontInfo</key>
493 <dict>
494 <key>Font</key>
495 <string>HiraKakuProN-W3</string>
496 <key>Size</key>
497 <real>46</real>
498 </dict>
499 <key>ID</key>
500 <integer>3741</integer>
501 <key>Link</key>
502 <dict>
503 <key>fileReference</key>
504 <dict>
505 <key>alias</key>
506 <data>
507 AAAAAAH6AAIAAAxNYWNp
508 bnRvc2ggSEQAAAAAAAAA
509 AAAAAAAAAADUGqDDSCsA
510 AABm8UkRYWthc2hhUHV0
511 LmdyYWZmbGUAAAAAAAAA
512 AAAAAAAAAAAAAAAAAAAA
513 AAAAAAAAAAAAAAAAAAAA
514 AAAAAAAAAAAAAGcXJNTH
515 nRUAAAAAAAAAAP////8A
516 AAkgAAAAAAAAAAAAAAAA
517 AAAABmltYWdlcwAQAAgA
518 ANQaIjMAAAARAAgAANTH
519 HoUAAAABACQAZvFJAGbU
520 BABRqaYAUamlAB1FUwAb
521 uYwAG7XaAAbNyQAGTJ0A
522 AgBsTWFjaW50b3NoIEhE
523 OlVzZXJzOgBhdHRvbjoA
524 cmVzZWFyY2g6AGhnOgBQ
525 YXBlcnM6ADIwMTc6AGF0
526 dG9uLW1hc3RlcjoAcHJl
527 c2VudGF0aW9uOgBpbWFn
528 ZXM6AGFrYXNoYVB1dC5n
529 cmFmZmxlAA4AJAARAGEA
530 awBhAHMAaABhAFAAdQB0
531 AC4AZwByAGEAZgBmAGwA
532 ZQAPABoADABNAGEAYwBp
533 AG4AdABvAHMAaAAgAEgA
534 RAASAFZVc2Vycy9hdHRv
535 bi9yZXNlYXJjaC9oZy9Q
536 YXBlcnMvMjAxNy9hdHRv
537 bi1tYXN0ZXIvcHJlc2Vu
538 dGF0aW9uL2ltYWdlcy9h
539 a2FzaGFQdXQuZ3JhZmZs
540 ZQATAAEvAP//AAA=
541 </data>
542 <key>bookmark</key>
543 <data>
544 Ym9va+wDAAAAAAQQMAAA
545 AAPFOmVt2JcX6S3vNCx5
546 PiRxV1IG9l4sWCW7xZdg
547 LFp03AIAAAQAAAADAwAA
548 AAgAKAUAAAABAQAAVXNl
549 cnMAAAAFAAAAAQEAAGF0
550 dG9uAAAACAAAAAEBAABy
551 ZXNlYXJjaAIAAAABAQAA
552 aGcAAAYAAAABAQAAUGFw
553 ZXJzAAAEAAAAAQEAADIw
554 MTcMAAAAAQEAAGF0dG9u
555 LW1hc3RlcgwAAAABAQAA
556 cHJlc2VudGF0aW9uBgAA
557 AAEBAABpbWFnZXMAABEA
558 AAABAQAAYWthc2hhUHV0
559 LmdyYWZmbGUAAAAoAAAA
560 AQYAABAAAAAgAAAAMAAA
561 AEAAAABMAAAAXAAAAGgA
562 AAB8AAAAkAAAAKAAAAAI
563 AAAABAMAAJ1MBgAAAAAA
564 CAAAAAQDAADJzQYAAAAA
565 AAgAAAAEAwAA2rUbAAAA
566 AAAIAAAABAMAAIy5GwAA
567 AAAACAAAAAQDAABTRR0A
568 AAAAAAgAAAAEAwAApalR
569 AAAAAAAIAAAABAMAAKap
570 UQAAAAAACAAAAAQDAAAE
571 1GYAAAAAAAgAAAAEAwAA
572 SfFmAAAAAAAIAAAABAMA
573 ACQXZwAAAAAAKAAAAAEG
574 AADsAAAA/AAAAAwBAAAc
575 AQAALAEAADwBAABMAQAA
576 XAEAAGwBAAB8AQAACAAA
577 AAAEAABBvlGlhQAAABgA
578 AAABAgAAAQAAAAAAAAAP
579 AAAAAAAAAAAAAAAAAAAA
580 CAAAAAQDAAAIAAAAAAAA
581 AAQAAAADAwAA9QEAAAgA
582 AAABCQAAZmlsZTovLy8M
583 AAAAAQEAAE1hY2ludG9z
584 aCBIRAgAAAAEAwAAAACC
585 MXQAAAAIAAAAAAQAAEG9
586 pKkzAAAAJAAAAAEBAAA0
587 OEIxNDExNS1DRUU3LTM2
588 MTItOEMwNi1GQ0Q1Qjgy
589 OTJCQUIYAAAAAQIAAIEA
590 AAABAAAA7xMAAAEAAAAA
591 AAAAAAAAAAEAAAABAQAA
592 LwAAAAAAAAABBQAAGgAA
593 AAEBAABOU1VSTERvY3Vt
594 ZW50SWRlbnRpZmllcktl
595 eQAABAAAAAMDAAA/AAAA
596 2AAAAP7///8BAAAAAAAA
597 ABEAAAAEEAAAvAAAAAAA
598 AAAFEAAAjAEAAAAAAAAQ
599 EAAAzAEAAAAAAABAEAAA
600 vAEAAAAAAAACIAAAmAIA
601 AAAAAAAFIAAACAIAAAAA
602 AAAQIAAAGAIAAAAAAAAR
603 IAAATAIAAAAAAAASIAAA
604 LAIAAAAAAAATIAAAPAIA
605 AAAAAAAgIAAAeAIAAAAA
606 AAAwIAAApAIAAAAAAAAB
607 wAAA7AEAAAAAAAARwAAA
608 IAAAAAAAAAASwAAA/AEA
609 AAAAAAAQ0AAABAAAAAAA
610 AACsAgCA0AIAAAAAAAA=
611 </data>
612 <key>path</key>
613 <string>../presentation/images/akashaPut.graffle</string>
614 </dict>
615 </dict>
616 <key>Style</key>
617 <dict>
618 <key>shadow</key>
619 <dict>
620 <key>Draws</key>
621 <string>NO</string>
622 </dict>
623 <key>stroke</key>
624 <dict>
625 <key>Width</key>
626 <real>0.5</real>
627 </dict>
628 </dict>
629 </dict>
630 </array>
61 <key>ID</key> 631 <key>ID</key>
62 <integer>3540</integer> 632 <integer>3730</integer>
63 <key>ImageID</key>
64 <integer>29</integer>
65 <key>ManualSizeImage</key>
66 <string>YES</string>
67 <key>Opacity</key>
68 <real>0.99999997764825821</real>
69 <key>Scale</key>
70 <real>2.4999999441206455</real>
71 <key>StretchImage</key>
72 <false/>
73 <key>Style</key>
74 <dict>
75 <key>fill</key>
76 <dict>
77 <key>Draws</key>
78 <string>NO</string>
79 </dict>
80 <key>shadow</key>
81 <dict>
82 <key>Draws</key>
83 <string>NO</string>
84 </dict>
85 <key>stroke</key>
86 <dict>
87 <key>Draws</key>
88 <string>NO</string>
89 </dict>
90 </dict>
91 </dict> 633 </dict>
92 <dict> 634 <dict>
93 <key>Bounds</key> 635 <key>Bounds</key>
94 <string>{{1037.3228442389195, 2204.6378167575267}, {964.78997414196579, 633}}</string> 636 <string>{{35.433071187631349, 2405.7842106729418}, {971.09956664308152, 363}}</string>
95 <key>Class</key> 637 <key>Class</key>
96 <string>ShapedGraphic</string> 638 <string>ShapedGraphic</string>
97 <key>FitText</key> 639 <key>FitText</key>
98 <string>Vertical</string> 640 <string>Vertical</string>
99 <key>Flow</key> 641 <key>Flow</key>
101 <key>FontInfo</key> 643 <key>FontInfo</key>
102 <dict> 644 <dict>
103 <key>Font</key> 645 <key>Font</key>
104 <string>HiraKakuProN-W3</string> 646 <string>HiraKakuProN-W3</string>
105 <key>Size</key> 647 <key>Size</key>
106 <real>14</real> 648 <real>30</real>
107 </dict> 649 </dict>
108 <key>ID</key> 650 <key>ID</key>
109 <integer>3539</integer> 651 <integer>3666</integer>
110 <key>Style</key> 652 <key>Style</key>
111 <dict> 653 <dict>
112 <key>fill</key> 654 <key>fill</key>
113 <dict> 655 <dict>
114 <key>Draws</key> 656 <key>Draws</key>
130 <key>Align</key> 672 <key>Align</key>
131 <integer>0</integer> 673 <integer>0</integer>
132 <key>Pad</key> 674 <key>Pad</key>
133 <real>0.0</real> 675 <real>0.0</real>
134 <key>Text</key> 676 <key>Text</key>
135 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 677 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
136 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} 678 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
137 {\colortbl;\red255\green255\blue255;} 679 {\colortbl;\red255\green255\blue255;}
138 {\*\expandedcolortbl;;} 680 {\*\expandedcolortbl;;}
139 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 681 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
140 682
141 \f0\fs60 \cf0 \'81\'45Continuation based C \'82\'c9\'91\'ce\'82\'b7\'82\'e9\'8c\'9f\'8f\'d8\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'f02\'82\'c2\'92\'f1\'88\'c4\ 683 \f0\fs60 \cf0 \'81\'45\'83\'66\'81\'5b\'83\'5e\'82\'cc\'8d\'c5\'8f\'ac\'92\'50\'88\'ca\'82\'cd\'94\'43\'88\'d3\'82\'cc\'8d\'5c\'91\'a2\'91\'cc\'82\'c5\'95\'5c\'8c\'bb\'82\'b3\'82\'ea\'82\'e9DataGear\'82\'c6\'82\'c8\'82\'e9\
142 \'81\'45\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\ 684 - \'82\'bb\'82\'cc\'82\'bd\'82\'dfGearsOS\'82\'ccDataGear\'82\'c6\'82\'b5\'82\'c4\'82\'e0\'97\'98\'97\'70\'82\'c5\'82\'ab\'82\'e9\
143 - \'94\'f1\'94\'6a\'89\'f3\'90\'d4\'8d\'95\'96\'d8\'82\'cc\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'8c\'9f\'8f\'d8\'97\'70\'82\'c9\'95\'cf\'8d\'58\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c8\'82\'ad\'8c\'9f\'8f\'d8\ 685 - \'83\'66\'81\'5b\'83\'5e\'82\'cdQueue\'82\'c9\'95\'db\'91\'b6\'82\'b3\'82\'ea\'82\'e9\
144 - \'8c\'c0\'92\'e8\'82\'b3\'82\'ea\'82\'bd\'89\'f1\'90\'94\'95\'aa\'82\'cc\'91\'80\'8d\'ec\'82\'c9\'91\'ce\'82\'b5\'82\'c4\'8e\'64\'97\'6c\'82\'f0\'95\'db\'8f\'d8\ 686 \'81\'45API\'82\'cdPut/Take/Peek\'82\'cc\'8e\'4f\'8e\'ed\'97\'de\'82\'c5\'8d\'5c\'90\'ac\'82\'b3\'82\'ea\'82\'e9\
145 - C/C++ \'82\'cc\'97\'4c\'8a\'45\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'8a\'ed CBMC \'82\'e6\'82\'e8\'8d\'4c\'82\'a2\'94\'cd\'88\'cd\'82\'f0\'8c\'9f\'8f\'d8\'82\'c5\'82\'ab\'82\'bd\ 687 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'93\'c7\'82\'dd\'8f\'6f\'82\'b5\'82\'cdQueue\'93\'e0\'82\'cc\'83\'66\'81\'5b\'83\'5e\'82\'f0\'91\'53\'82\'c4Take\'82\'b7\'82\'ea\'82\'ce\'97\'c7\'82\'a2\
146 \'81\'45\'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\ 688 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'8f\'91\'82\'ab\'8d\'9e\'82\'dd\'82\'cdQueue\'82\'c9\'91\'ce\'82\'b5\'82\'c4\'95\'cf\'8d\'58\'82\'f0Put\'82\'b7\'82\'ea\'82\'ce\'97\'c7\'82\'a2\
147 - \'8f\'d8\'96\'be\'8e\'78\'89\'87\'8c\'6e Agda \'8f\'e3\'82\'c9 CodeSegment \'82\'c6 DataSegment \'82\'f0\'92\'e8\'8b\'60\ 689 \'81\'45\'95\'a1\'90\'94\'83\'76\'83\'8d\'83\'5a\'83\'58\'82\'a9\'82\'e7\'83\'41\'83\'4e\'83\'5a\'83\'58\'82\'b3\'82\'ea\'82\'e9\'8f\'ea\'8d\'87\'82\'cc\'90\'ae\'8d\'87\'90\'ab\'8a\'6d\'95\'db\'82\'cc\'82\'bd\'82\'df\'81\'41Compare and Swap\'82\'f0\'93\'8b\'8d\'da\'82\'b5\'82\'bdSynchronizedQueue\'82\'f0\'8e\'67\'97\'70\'82\'b5\'82\'c4\'82\'a2\'82\'e9}</string>
148 - \'8a\'ee\'96\'7b\'8c\'5e\'81\'41\'8a\'d6\'90\'94\'8c\'5e\'81\'41\'83\'8c\'83\'52\'81\'5b\'83\'68\'8c\'5e\'81\'41\'95\'94\'95\'aa\'8c\'5e\'82\'c9\'82\'e6\'82\'c1\'82\'c4\'8c\'5e\'95\'74\'82\'af\'89\'c2\'94\'5c\
149 - CbC \'82\'c5\'8e\'c0\'91\'95\'82\'b3\'82\'ea\'82\'bd\'83\'58\'83\'5e\'83\'62\'83\'4e\'82\'f0 Agda \'82\'c9\'95\'cf\'8a\'b7\'82\'b5\'82\'c4\'90\'ab\'8e\'bf\'82\'f0\'8f\'d8\'96\'be\
150 - \'94\'43\'88\'d3\'82\'cc\'89\'f1\'90\'94\'95\'aa\'82\'cc\'91\'80\'8d\'ec\'82\'c9\'91\'ce\'82\'b5\'82\'c4\'90\'ab\'8e\'bf\'82\'f0\'95\'db\'8f\'d8\
151 \'81\'45\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8\
152 - \'88\'cb\'91\'b6\'8c\'5e\'82\'f0 CbC \'82\'c9\'93\'b1\'93\'fc\'82\'b5\'82\'c4 CbC \'82\'c5\'8e\'a9\'90\'67\'82\'f0\'8f\'d8\'96\'be\'89\'c2\'94\'5c\'82\'c9\'82\'b7\'82\'e9\
153 - \'94\'f1\'94\'6a\'89\'f3\'90\'d4\'8d\'95\'96\'d8\'82\'cc\'8f\'d8\'96\'be\'82\'f0\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\
154 - CbC \'82\'cc\'8c\'60\'8e\'ae\'93\'49\'82\'c8\'92\'e8\'8b\'60\'82\'e2\'8c\'5e\'83\'56\'83\'58\'83\'65\'83\'80\'82\'cc\'89\'f0\'90\'cd}</string>
155 <key>VerticalPad</key> 690 <key>VerticalPad</key>
156 <real>1</real> 691 <real>1</real>
157 </dict> 692 </dict>
158 </dict> 693 </dict>
159 <dict> 694 <dict>
161 <string>Group</string> 696 <string>Group</string>
162 <key>Graphics</key> 697 <key>Graphics</key>
163 <array> 698 <array>
164 <dict> 699 <dict>
165 <key>Bounds</key> 700 <key>Bounds</key>
166 <string>{{1107.7335395964712, 2133.1562778908906}, {889.0382080078125, 73}}</string> 701 <string>{{612.60074135294087, 1968.6614351847968}, {386.93480448918513, 297}}</string>
167 <key>Class</key> 702 <key>Class</key>
168 <string>ShapedGraphic</string> 703 <string>ShapedGraphic</string>
169 <key>FitText</key> 704 <key>FitText</key>
170 <string>Vertical</string> 705 <string>Vertical</string>
171 <key>Flow</key> 706 <key>Flow</key>
172 <string>Resize</string> 707 <string>Resize</string>
173 <key>FontInfo</key> 708 <key>FontInfo</key>
174 <dict> 709 <dict>
710 <key>Font</key>
711 <string>HiraKakuProN-W3</string>
712 <key>Size</key>
713 <real>28</real>
714 </dict>
715 <key>ID</key>
716 <integer>3652</integer>
717 <key>Style</key>
718 <dict>
719 <key>fill</key>
720 <dict>
721 <key>Draws</key>
722 <string>NO</string>
723 </dict>
724 <key>shadow</key>
725 <dict>
726 <key>Draws</key>
727 <string>NO</string>
728 </dict>
729 <key>stroke</key>
730 <dict>
731 <key>Draws</key>
732 <string>NO</string>
733 </dict>
734 </dict>
735 <key>Text</key>
736 <dict>
737 <key>Align</key>
738 <integer>0</integer>
739 <key>Pad</key>
740 <real>0.0</real>
741 <key>Text</key>
742 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
743 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
744 {\colortbl;\red255\green255\blue255;}
745 {\*\expandedcolortbl;;}
746 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
747
748 \f0\fs56 \cf0 \'81\'45\'91\'ce\'89\'9e\'82\'b5\'82\'bdRemoteDGM\'82\'c9Data\'82\'f0\'8f\'91\'82\'ab\'8d\'9e\'82\'de\'82\'b1\'82\'c6\'82\'c5\'94\'43\'88\'d3\'82\'ccNode\'82\'ccLocalDGM\'82\'d6\'8f\'91\'82\'ab\'8d\'9e\'82\'dd\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
749 \'81\'45Thread\'82\'c9\'95\'4b\'97\'76\'82\'c8DataGear\'82\'aa\'91\'53\'82\'c4\'91\'b5\'82\'c1\'82\'bd\'82\'e7\'81\'41\'83\'6d\'81\'5b\'83\'68\'82\'cdThread\'82\'f0\'8e\'c0\'8d\'73\'82\'b7\'82\'e9}</string>
750 <key>VerticalPad</key>
751 <real>1</real>
752 </dict>
753 </dict>
754 <dict>
755 <key>Class</key>
756 <string>Group</string>
757 <key>Graphics</key>
758 <array>
759 <dict>
760 <key>Bounds</key>
761 <string>{{45.67160235083918, 1948.8189153197231}, {554.17323337455434, 367.08661750385863}}</string>
762 <key>Class</key>
763 <string>ShapedGraphic</string>
764 <key>ID</key>
765 <integer>3654</integer>
766 <key>ImageID</key>
767 <integer>34</integer>
768 <key>Style</key>
769 <dict>
770 <key>shadow</key>
771 <dict>
772 <key>Draws</key>
773 <string>NO</string>
774 </dict>
775 <key>stroke</key>
776 <dict>
777 <key>CornerRadius</key>
778 <real>3</real>
779 <key>Draws</key>
780 <string>NO</string>
781 </dict>
782 </dict>
783 </dict>
784 <dict>
785 <key>Class</key>
786 <string>Group</string>
787 <key>Graphics</key>
788 <array>
789 <dict>
790 <key>Bounds</key>
791 <string>{{100.66363813618273, 1525.1247763111362}, {992.30892108419039, 70}}</string>
792 <key>Class</key>
793 <string>ShapedGraphic</string>
794 <key>FitText</key>
795 <string>Vertical</string>
796 <key>Flow</key>
797 <string>Resize</string>
798 <key>FontInfo</key>
799 <dict>
800 <key>Color</key>
801 <dict>
802 <key>b</key>
803 <string>1</string>
804 <key>g</key>
805 <string>1</string>
806 <key>r</key>
807 <string>1</string>
808 </dict>
809 <key>Font</key>
810 <string>HiraKakuProN-W3</string>
811 <key>Size</key>
812 <real>48</real>
813 </dict>
814 <key>ID</key>
815 <integer>3656</integer>
816 <key>Style</key>
817 <dict>
818 <key>fill</key>
819 <dict>
820 <key>Draws</key>
821 <string>NO</string>
822 </dict>
823 <key>shadow</key>
824 <dict>
825 <key>Draws</key>
826 <string>NO</string>
827 </dict>
828 <key>stroke</key>
829 <dict>
830 <key>Draws</key>
831 <string>NO</string>
832 </dict>
833 </dict>
834 <key>Text</key>
835 <dict>
836 <key>Align</key>
837 <integer>0</integer>
838 <key>Pad</key>
839 <real>0.0</real>
840 <key>Text</key>
841 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
842 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
843 {\colortbl;\red255\green255\blue255;}
844 {\*\expandedcolortbl;;}
845 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
846
847 \f0\fs92 \cf1 \'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4eChristie}</string>
848 <key>VerticalPad</key>
849 <real>0.0</real>
850 </dict>
851 </dict>
852 <dict>
853 <key>Class</key>
854 <string>Group</string>
855 <key>Graphics</key>
856 <array>
857 <dict>
858 <key>Class</key>
859 <string>LineGraphic</string>
860 <key>ID</key>
861 <integer>3658</integer>
862 <key>Points</key>
863 <array>
864 <string>{40.872422425283247, 1550.6813685049199}</string>
865 <string>{83.717711653772341, 1551.4755176072204}</string>
866 </array>
867 <key>Style</key>
868 <dict>
869 <key>stroke</key>
870 <dict>
871 <key>Color</key>
872 <dict>
873 <key>b</key>
874 <real>1</real>
875 <key>g</key>
876 <real>1</real>
877 <key>r</key>
878 <real>1</real>
879 </dict>
880 <key>HeadArrow</key>
881 <string>FilledBall</string>
882 <key>Legacy</key>
883 <true/>
884 <key>TailArrow</key>
885 <string>0</string>
886 <key>Width</key>
887 <real>3</real>
888 </dict>
889 </dict>
890 <key>Tail</key>
891 <dict>
892 <key>ID</key>
893 <integer>3659</integer>
894 <key>Position</key>
895 <real>0.32640770077705383</real>
896 </dict>
897 </dict>
898 <dict>
899 <key>Class</key>
900 <string>LineGraphic</string>
901 <key>ID</key>
902 <integer>3659</integer>
903 <key>Points</key>
904 <array>
905 <string>{34.480524172888323, 1570.0032066546385}</string>
906 <string>{46.209646936822686, 1534.5476654782742}</string>
907 <string>{48.390479745524011, 1533.2766408676421}</string>
908 <string>{70.871445505318519, 1533.2766408676421}</string>
909 </array>
910 <key>Style</key>
911 <dict>
912 <key>stroke</key>
913 <dict>
914 <key>Color</key>
915 <dict>
916 <key>b</key>
917 <real>1</real>
918 <key>g</key>
919 <real>1</real>
920 <key>r</key>
921 <real>1</real>
922 </dict>
923 <key>HeadArrow</key>
924 <string>FilledBall</string>
925 <key>Legacy</key>
926 <true/>
927 <key>TailArrow</key>
928 <string>0</string>
929 <key>Width</key>
930 <real>3</real>
931 </dict>
932 </dict>
933 <key>Tail</key>
934 <dict>
935 <key>ID</key>
936 <integer>3660</integer>
937 <key>Position</key>
938 <real>0.25490197539329529</real>
939 </dict>
940 </dict>
941 <dict>
942 <key>Class</key>
943 <string>LineGraphic</string>
944 <key>ID</key>
945 <integer>3660</integer>
946 <key>Points</key>
947 <array>
948 <string>{20.556903090540175, 1569.6743943467982}</string>
949 <string>{60.645130089820725, 1570.6210950907284}</string>
950 <string>{75.153534221470238, 1569.6743943467982}</string>
951 </array>
952 <key>Style</key>
953 <dict>
954 <key>stroke</key>
955 <dict>
956 <key>Color</key>
957 <dict>
958 <key>b</key>
959 <real>1</real>
960 <key>g</key>
961 <real>1</real>
962 <key>r</key>
963 <real>1</real>
964 </dict>
965 <key>HeadArrow</key>
966 <string>FilledBall</string>
967 <key>Legacy</key>
968 <true/>
969 <key>TailArrow</key>
970 <string>0</string>
971 <key>Width</key>
972 <real>3</real>
973 </dict>
974 </dict>
975 </dict>
976 <dict>
977 <key>Bounds</key>
978 <string>{{16.493178292070127, 1515.1181239831167}, {994.98516845703114, 68}}</string>
979 <key>Class</key>
980 <string>ShapedGraphic</string>
981 <key>ID</key>
982 <integer>3661</integer>
983 <key>Style</key>
984 <dict>
985 <key>fill</key>
986 <dict>
987 <key>Color</key>
988 <dict>
989 <key>b</key>
990 <real>0.80000000000000004</real>
991 <key>g</key>
992 <real>0.59999999999999998</real>
993 <key>r</key>
994 <real>0.20000000000000001</real>
995 </dict>
996 <key>FillType</key>
997 <integer>2</integer>
998 <key>GradientAngle</key>
999 <real>90</real>
1000 <key>GradientColor</key>
1001 <dict>
1002 <key>b</key>
1003 <string>0.8</string>
1004 <key>g</key>
1005 <string>0.4</string>
1006 <key>r</key>
1007 <string>0</string>
1008 </dict>
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>Width</key>
1018 <real>0.5</real>
1019 </dict>
1020 </dict>
1021 </dict>
1022 </array>
1023 <key>ID</key>
1024 <integer>3657</integer>
1025 </dict>
1026 </array>
1027 <key>ID</key>
1028 <integer>3655</integer>
1029 </dict>
1030 <dict>
1031 <key>Bounds</key>
1032 <string>{{28.435979199044482, 1595.1247763111357}, {971.09956664308152, 408}}</string>
1033 <key>Class</key>
1034 <string>ShapedGraphic</string>
1035 <key>FitText</key>
1036 <string>Vertical</string>
1037 <key>Flow</key>
1038 <string>Resize</string>
1039 <key>FontInfo</key>
1040 <dict>
1041 <key>Font</key>
1042 <string>HiraKakuProN-W3</string>
1043 <key>Size</key>
1044 <real>30</real>
1045 </dict>
1046 <key>ID</key>
1047 <integer>3662</integer>
1048 <key>Style</key>
1049 <dict>
1050 <key>fill</key>
1051 <dict>
1052 <key>Draws</key>
1053 <string>NO</string>
1054 </dict>
1055 <key>shadow</key>
1056 <dict>
1057 <key>Draws</key>
1058 <string>NO</string>
1059 </dict>
1060 <key>stroke</key>
1061 <dict>
1062 <key>Draws</key>
1063 <string>NO</string>
1064 </dict>
1065 </dict>
1066 <key>Text</key>
1067 <dict>
1068 <key>Align</key>
1069 <integer>0</integer>
1070 <key>Pad</key>
1071 <real>0.0</real>
1072 <key>Text</key>
1073 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
1074 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1075 {\colortbl;\red255\green255\blue255;}
1076 {\*\expandedcolortbl;;}
1077 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1078
1079 \f0\fs60 \cf0 \'81\'45Java\'8c\'be\'8c\'ea\'82\'c5\'8b\'4c\'8f\'71\'82\'b3\'82\'ea\'82\'bd\'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4e\
1080 \'81\'45GearsOS\'82\'c6\'8e\'97\'82\'bdgear\'82\'c6\'8c\'be\'82\'a4\'8a\'54\'94\'4f\'82\'f0\'97\'70\'82\'a2\'82\'c4\'8b\'4c\'8f\'71\'82\'f0\'8d\'73\'82\'a4\
1081 \'81\'45\'83\'6d\'81\'5b\'83\'68\'8a\'d4\'82\'c5\'95\'cf\'90\'94\'83\'66\'81\'5b\'83\'5e(DataGear)\'82\'f0\'91\'97\'82\'e8\'8d\'87\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'b7\'82\'e9\
1082 \'81\'45LocalDataGearManager\'82\'c6RemoteDataGearManager\'82\'c6\'8c\'be\'82\'a4\'8e\'64\'91\'67\'82\'dd\'82\'c5\'92\'ca\'90\'4d\'82\'aa\'8c\'60\'90\'ac\'82\'b3\'82\'ea\'82\'e9\
1083 - LocalDGM\'82\'cd\'83\'6d\'81\'5b\'83\'68\'82\'aa\'8e\'9d\'82\'c2Thread\'82\'aa\'8e\'51\'8f\'c6\'82\'b7\'82\'e9\'83\'66\'81\'5b\'83\'5e\'83\'76\'81\'5b\'83\'8b\'82\'c5\'82\'a0\'82\'e9\
1084 - DGM\'82\'cdDataGear\'82\'f0key\'82\'c6\'83\'66\'81\'5b\'83\'5e\'82\'cc\'91\'67\'82\'dd\'8d\'87\'82\'ed\'82\'b9\'82\'c5\'95\'db\'8e\'9d\'82\'b7\'82\'e9\
1085 - RemoteDGM\'82\'cd\'83\'6d\'81\'5b\'83\'68\'82\'b2\'82\'c6\'82\'ccLocalDGM\'82\'c9\'91\'ce\'89\'9e\'82\'b7\'82\'e9proxy\'82\'c5\'82\'a0\'82\'e9\
1086 }</string>
1087 <key>VerticalPad</key>
1088 <real>1</real>
1089 </dict>
1090 </dict>
1091 <dict>
1092 <key>Bounds</key>
1093 <string>{{16.493178292069615, 1581.0752299866488}, {994.98516845703148, 734.83030283693324}}</string>
1094 <key>Class</key>
1095 <string>ShapedGraphic</string>
1096 <key>ID</key>
1097 <integer>3663</integer>
1098 <key>Style</key>
1099 <dict>
1100 <key>shadow</key>
1101 <dict>
1102 <key>Draws</key>
1103 <string>NO</string>
1104 </dict>
1105 <key>stroke</key>
1106 <dict>
1107 <key>Width</key>
1108 <real>0.5</real>
1109 </dict>
1110 </dict>
1111 </dict>
1112 </array>
1113 <key>ID</key>
1114 <integer>3653</integer>
1115 </dict>
1116 </array>
1117 <key>ID</key>
1118 <integer>3651</integer>
1119 </dict>
1120 <dict>
1121 <key>Class</key>
1122 <string>Group</string>
1123 <key>Graphics</key>
1124 <array>
1125 <dict>
1126 <key>Bounds</key>
1127 <string>{{78.255357800457404, 1219.0041584500198}, {882.13483749343231, 273}}</string>
1128 <key>Class</key>
1129 <string>ShapedGraphic</string>
1130 <key>ID</key>
1131 <integer>3622</integer>
1132 <key>ImageID</key>
1133 <integer>31</integer>
1134 <key>Style</key>
1135 <dict>
1136 <key>shadow</key>
1137 <dict>
1138 <key>Draws</key>
1139 <string>NO</string>
1140 </dict>
1141 <key>stroke</key>
1142 <dict>
1143 <key>CornerRadius</key>
1144 <real>3</real>
1145 <key>Draws</key>
1146 <string>NO</string>
1147 </dict>
1148 </dict>
1149 </dict>
1150 <dict>
1151 <key>Bounds</key>
1152 <string>{{33.772993225632888, 811.00415845001976}, {971.09956664308152, 408}}</string>
1153 <key>Class</key>
1154 <string>ShapedGraphic</string>
1155 <key>FitText</key>
1156 <string>Vertical</string>
1157 <key>Flow</key>
1158 <string>Resize</string>
1159 <key>FontInfo</key>
1160 <dict>
1161 <key>Font</key>
1162 <string>HiraKakuProN-W3</string>
1163 <key>Size</key>
1164 <real>30</real>
1165 </dict>
1166 <key>ID</key>
1167 <integer>3623</integer>
1168 <key>Style</key>
1169 <dict>
1170 <key>fill</key>
1171 <dict>
1172 <key>Draws</key>
1173 <string>NO</string>
1174 </dict>
1175 <key>shadow</key>
1176 <dict>
1177 <key>Draws</key>
1178 <string>NO</string>
1179 </dict>
1180 <key>stroke</key>
1181 <dict>
1182 <key>Draws</key>
1183 <string>NO</string>
1184 </dict>
1185 </dict>
1186 <key>Text</key>
1187 <dict>
1188 <key>Align</key>
1189 <integer>0</integer>
1190 <key>Pad</key>
1191 <real>0.0</real>
1192 <key>Text</key>
1193 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
1194 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1195 {\colortbl;\red255\green255\blue255;}
1196 {\*\expandedcolortbl;;}
1197 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1198
1199 \f0\fs60 \cf0 \'81\'45OS\'82\'cc\'90\'4d\'97\'8a\'90\'ab\'82\'c6\'8a\'67\'92\'a3\'90\'ab\'82\'f0\'96\'da\'8e\'77\'82\'b5\'82\'bdOS\'8a\'4a\'94\'ad\'83\'76\'83\'8d\'83\'57\'83\'46\'83\'4e\'83\'67\
1200 \'81\'45\'83\'6d\'81\'5b\'83\'7d\'83\'8b\'83\'8c\'83\'78\'83\'8b\'82\'c6\'83\'81\'83\'5e\'83\'8c\'83\'78\'83\'8b\'82\'f0\'95\'aa\'97\'a3\'82\'b5\'82\'c4\'8b\'4c\'8f\'71\'82\'aa\'8d\'73\'82\'a6\'82\'e9\
1201 - \'83\'81\'83\'5e\'83\'8c\'83\'78\'83\'8b\'8f\'88\'97\'9d\'82\'f0\'90\'d8\'82\'e8\'91\'d6\'82\'a6\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'83\'86\'81\'5b\'83\'55\'81\'5b\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'8c\'9f\'8f\'d8\'82\'b7\'82\'e9\
1202 \'81\'45\'8a\'d6\'90\'94\'91\'4a\'88\'da\'82\'c5\'82\'c8\'82\'ad\'81\'41Gear\'82\'c6\'8c\'be\'82\'a4\'92\'50\'88\'ca\'82\'c5\'8b\'4c\'8f\'71\'82\'f0\'8d\'73\'82\'a4(\'8c\'79\'97\'ca\'8c\'70\'91\'b1)\
1203 \'81\'45CodeGear\'82\'cd\'8b\'4c\'8f\'71\'92\'50\'88\'ca\'81\'41DataGear\'82\'cd\'95\'cf\'90\'94\'83\'66\'81\'5b\'83\'5e(\'8d\'5c\'91\'a2\'91\'cc)\'82\'c9\'91\'8a\'93\'96\'82\'b7\'82\'e9\
1204 \'81\'45CodeGear\'82\'cd\'93\'fc\'97\'cd/\'8f\'6f\'97\'cd\'82\'c6\'82\'b5\'82\'c4DataGear\'82\'f0\'8e\'f3\'82\'af\'8e\'e6\'82\'e9\
1205 - \'8f\'6f\'97\'cd\'82\'b3\'82\'ea\'82\'bdDataGear\'82\'cd\'8e\'9f\'82\'ccCodeGear\'82\'aa\'93\'fc\'97\'cd\'82\'c6\'82\'b5\'82\'c4\'8e\'f3\'82\'af\'8e\'e6\'82\'e9\
1206 \'81\'45CodeGear\'82\'cc\'8e\'c0\'8d\'73\'92\'bc\'91\'4f\'82\'c6\'92\'bc\'8c\'e3\'82\'cdMeta\'82\'c8CodeGear\'82\'aa\'8c\'c4\'82\'ce\'82\'ea\'82\'e9\
1207 - MetaCodeGear\'82\'c5\'82\'cdDataGear\'82\'cc\'88\'f8\'82\'ab\'93\'6e\'82\'b5\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9}</string>
1208 <key>VerticalPad</key>
1209 <real>1</real>
1210 </dict>
1211 </dict>
1212 <dict>
1213 <key>Bounds</key>
1214 <string>{{96.011252180143089, 739.5554764615506}, {889.0382080078125, 73}}</string>
1215 <key>Class</key>
1216 <string>ShapedGraphic</string>
1217 <key>FitText</key>
1218 <string>Vertical</string>
1219 <key>Flow</key>
1220 <string>Resize</string>
1221 <key>FontInfo</key>
1222 <dict>
175 <key>Color</key> 1223 <key>Color</key>
176 <dict> 1224 <dict>
177 <key>b</key> 1225 <key>b</key>
178 <string>1</string> 1226 <string>1</string>
179 <key>g</key> 1227 <key>g</key>
185 <string>HiraKakuProN-W3</string> 1233 <string>HiraKakuProN-W3</string>
186 <key>Size</key> 1234 <key>Size</key>
187 <real>48</real> 1235 <real>48</real>
188 </dict> 1236 </dict>
189 <key>ID</key> 1237 <key>ID</key>
190 <integer>3520</integer> 1238 <integer>3624</integer>
191 <key>Style</key> 1239 <key>Style</key>
192 <dict> 1240 <dict>
193 <key>fill</key> 1241 <key>fill</key>
194 <dict> 1242 <dict>
195 <key>Draws</key> 1243 <key>Draws</key>
211 <key>Align</key> 1259 <key>Align</key>
212 <integer>0</integer> 1260 <integer>0</integer>
213 <key>Pad</key> 1261 <key>Pad</key>
214 <real>0.0</real> 1262 <real>0.0</real>
215 <key>Text</key> 1263 <key>Text</key>
216 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 1264 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
217 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} 1265 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
218 {\colortbl;\red255\green255\blue255;} 1266 {\colortbl;\red255\green255\blue255;}
219 {\*\expandedcolortbl;;} 1267 {\*\expandedcolortbl;;}
220 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 1268 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
221 1269
222 \f0\fs96 \cf1 \'82\'dc\'82\'c6\'82\'df\'82\'c6\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8}</string> 1270 \f0\fs96 \cf1 GearsOS}</string>
223 <key>VerticalPad</key> 1271 <key>VerticalPad</key>
224 <real>0.0</real> 1272 <real>0.0</real>
1273 </dict>
1274 </dict>
1275 <dict>
1276 <key>Bounds</key>
1277 <string>{{16.493178292069672, 797.92123618418304}, {994.98516845703068, 706.14772878567692}}</string>
1278 <key>Class</key>
1279 <string>ShapedGraphic</string>
1280 <key>FontInfo</key>
1281 <dict>
1282 <key>Size</key>
1283 <real>30</real>
1284 </dict>
1285 <key>ID</key>
1286 <integer>3625</integer>
1287 <key>Style</key>
1288 <dict>
1289 <key>shadow</key>
1290 <dict>
1291 <key>Draws</key>
1292 <string>NO</string>
1293 </dict>
1294 <key>stroke</key>
1295 <dict>
1296 <key>Width</key>
1297 <real>0.5</real>
1298 </dict>
225 </dict> 1299 </dict>
226 </dict> 1300 </dict>
227 <dict> 1301 <dict>
228 <key>Class</key> 1302 <key>Class</key>
229 <string>Group</string> 1303 <string>Group</string>
231 <array> 1305 <array>
232 <dict> 1306 <dict>
233 <key>Class</key> 1307 <key>Class</key>
234 <string>LineGraphic</string> 1308 <string>LineGraphic</string>
235 <key>ID</key> 1309 <key>ID</key>
236 <integer>3522</integer> 1310 <integer>3627</integer>
237 <key>Points</key> 1311 <key>Points</key>
238 <array> 1312 <array>
239 <string>{1047.9423238855713, 2158.7128700846743}</string> 1313 <string>{40.872422425282522, 765.48451098700923}</string>
240 <string>{1090.7876131140608, 2159.5070191869745}</string> 1314 <string>{83.717711653772042, 766.27866008930937}</string>
241 </array> 1315 </array>
242 <key>Style</key> 1316 <key>Style</key>
243 <dict> 1317 <dict>
244 <key>stroke</key> 1318 <key>stroke</key>
245 <dict> 1319 <dict>
263 </dict> 1337 </dict>
264 </dict> 1338 </dict>
265 <key>Tail</key> 1339 <key>Tail</key>
266 <dict> 1340 <dict>
267 <key>ID</key> 1341 <key>ID</key>
268 <integer>3523</integer> 1342 <integer>3628</integer>
269 <key>Position</key> 1343 <key>Position</key>
270 <real>0.32640770077705383</real> 1344 <real>0.32640770077705383</real>
271 </dict> 1345 </dict>
272 </dict> 1346 </dict>
273 <dict> 1347 <dict>
274 <key>Class</key> 1348 <key>Class</key>
275 <string>LineGraphic</string> 1349 <string>LineGraphic</string>
276 <key>ID</key> 1350 <key>ID</key>
277 <integer>3523</integer> 1351 <integer>3628</integer>
278 <key>Points</key> 1352 <key>Points</key>
279 <array> 1353 <array>
280 <string>{1041.5504256331765, 2178.0347082343924}</string> 1354 <string>{34.480524172887627, 784.80634913672759}</string>
281 <string>{1053.2795483971108, 2142.5791670580284}</string> 1355 <string>{46.209646936821947, 749.35080796036368}</string>
282 <string>{1055.4603812058122, 2141.3081424473967}</string> 1356 <string>{48.390479745523152, 748.07978334973109}</string>
283 <string>{1077.9413469656067, 2141.3081424473967}</string> 1357 <string>{70.871445505317851, 748.07978334973109}</string>
284 </array> 1358 </array>
285 <key>Style</key> 1359 <key>Style</key>
286 <dict> 1360 <dict>
287 <key>stroke</key> 1361 <key>stroke</key>
288 <dict> 1362 <dict>
306 </dict> 1380 </dict>
307 </dict> 1381 </dict>
308 <key>Tail</key> 1382 <key>Tail</key>
309 <dict> 1383 <dict>
310 <key>ID</key> 1384 <key>ID</key>
311 <integer>3524</integer> 1385 <integer>3629</integer>
312 <key>Position</key> 1386 <key>Position</key>
313 <real>0.25490197539329529</real> 1387 <real>0.25490197539329529</real>
314 </dict> 1388 </dict>
315 </dict> 1389 </dict>
316 <dict> 1390 <dict>
317 <key>Class</key> 1391 <key>Class</key>
318 <string>LineGraphic</string> 1392 <string>LineGraphic</string>
319 <key>ID</key> 1393 <key>ID</key>
320 <integer>3524</integer> 1394 <integer>3629</integer>
321 <key>Points</key> 1395 <key>Points</key>
322 <array> 1396 <array>
323 <string>{1027.6268045508284, 2177.7058959265523}</string> 1397 <string>{20.556903090539606, 784.4775368288872}</string>
324 <string>{1067.715031550109, 2178.6525966704821}</string> 1398 <string>{60.645130089820043, 785.42423757281745}</string>
325 <string>{1082.2234356817582, 2177.7058959265523}</string> 1399 <string>{75.153534221469329, 784.4775368288872}</string>
326 </array> 1400 </array>
327 <key>Style</key> 1401 <key>Style</key>
328 <dict> 1402 <dict>
329 <key>stroke</key> 1403 <key>stroke</key>
330 <dict> 1404 <dict>
348 </dict> 1422 </dict>
349 </dict> 1423 </dict>
350 </dict> 1424 </dict>
351 <dict> 1425 <dict>
352 <key>Bounds</key> 1426 <key>Bounds</key>
353 <string>{{1023.5630797523588, 2123.1496255628708}, {994.98516845703114, 68}}</string> 1427 <string>{{16.493178292069899, 729.92126646520569}, {994.98516845703114, 68}}</string>
354 <key>Class</key> 1428 <key>Class</key>
355 <string>ShapedGraphic</string> 1429 <string>ShapedGraphic</string>
356 <key>ID</key> 1430 <key>ID</key>
357 <integer>3525</integer> 1431 <integer>3630</integer>
358 <key>Style</key> 1432 <key>Style</key>
359 <dict> 1433 <dict>
360 <key>fill</key> 1434 <key>fill</key>
361 <dict> 1435 <dict>
362 <key>Color</key> 1436 <key>Color</key>
394 </dict> 1468 </dict>
395 </dict> 1469 </dict>
396 </dict> 1470 </dict>
397 </array> 1471 </array>
398 <key>ID</key> 1472 <key>ID</key>
399 <integer>3521</integer> 1473 <integer>3626</integer>
400 </dict> 1474 </dict>
401 </array> 1475 </array>
402 <key>ID</key> 1476 <key>ID</key>
403 <integer>3519</integer> 1477 <integer>3621</integer>
404 </dict> 1478 </dict>
405 <dict> 1479 <dict>
406 <key>Bounds</key> 1480 <key>Bounds</key>
407 <string>{{1025.245808521687, 2191.6403527554439}, {994.98516845703114, 641.58801940755893}}</string> 1481 <string>{{1033.7746422975588, 2350.5289963014625}, {964.78997414196579, 566.87425149700448}}</string>
1482 <key>Class</key>
1483 <string>ShapedGraphic</string>
1484 <key>FontInfo</key>
1485 <dict>
1486 <key>Font</key>
1487 <string>HiraKakuProN-W3</string>
1488 <key>Size</key>
1489 <real>14</real>
1490 </dict>
1491 <key>ID</key>
1492 <integer>3577</integer>
1493 <key>Style</key>
1494 <dict>
1495 <key>fill</key>
1496 <dict>
1497 <key>Draws</key>
1498 <string>NO</string>
1499 </dict>
1500 <key>shadow</key>
1501 <dict>
1502 <key>Draws</key>
1503 <string>NO</string>
1504 </dict>
1505 <key>stroke</key>
1506 <dict>
1507 <key>Draws</key>
1508 <string>NO</string>
1509 </dict>
1510 </dict>
1511 <key>Text</key>
1512 <dict>
1513 <key>Align</key>
1514 <integer>0</integer>
1515 <key>Pad</key>
1516 <real>0.0</real>
1517 <key>Text</key>
1518 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
1519 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1520 {\colortbl;\red255\green255\blue255;}
1521 {\*\expandedcolortbl;;}
1522 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1523
1524 \f0\fs60 \cf0 \'81\'45\'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4eChristie\'82\'cc\'8e\'64\'91\'67\'82\'dd\'82\'f0GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'d6\'82\'cc\'89\'9e\'97\'70\'82\'b5\'82\'bd\
1525 - \'83\'66\'81\'5b\'83\'5e\'82\'cc\'8d\'c5\'8f\'ac\'92\'50\'88\'ca\'82\'cd\'94\'43\'88\'d3\'82\'cc\'8c\'5e\'82\'cc\'8d\'5c\'91\'a2\'91\'cc(CodeGear)\'82\'c5\'82\'a0\'82\'e8\'81\'41Queue\'82\'c9\'95\'db\'91\'b6\'82\'b3\'82\'ea\'82\'e9\
1526 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cdDataGearManager\'82\'cc\'8e\'64\'91\'67\'82\'dd\'82\'f0\'97\'70\'82\'a2\'81\'41\'92\'ca\'90\'4d\'82\'cd\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'ccproxy\'82\'f0\'92\'ca\'82\'b6\'82\'c4\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
1527 - \'83\'74\'83\'40\'83\'43\'83\'8b\'92\'ca\'90\'4d\'8d\'5c\'90\'ac\'82\'c6\'83\'76\'83\'8d\'83\'5a\'83\'58\'83\'82\'83\'66\'83\'8b\'82\'c6\'82\'b5\'82\'c4WordCount\'97\'e1\'91\'e8\'82\'f0\'8d\'ec\'90\'ac\'82\'b5\'82\'bd\
1528 \'81\'45\'89\'db\'91\'e8\
1529 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'92\'ca\'90\'4d\'90\'da\'91\'b1\'82\'f0\'83\'54\'83\'7c\'81\'5b\'83\'67\'82\'b7\'82\'e9\'8b\'40\'94\'5c\'82\'cc\'8e\'c0\'91\'95(Topology Manager)\
1530 - \'92\'e8\'97\'9d\'8e\'78\'89\'87\'8f\'d8\'96\'be\'8c\'6eAgda\'82\'c9\'82\'e6\'82\'e9\'90\'4d\'97\'8a\'90\'ab\'82\'cc\'8c\'9f\'8f\'d8\
1531 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'83\'41\'83\'4e\'83\'5a\'83\'58\'8c\'a0\'8c\'c0\'82\'c8\'82\'c7\'82\'cc\'83\'5a\'83\'4c\'83\'85\'83\'8a\'83\'65\'83\'42\'8b\'40\'94\'5c\'82\'cc\'93\'b1\'93\'fc}</string>
1532 <key>VerticalPad</key>
1533 <real>1</real>
1534 </dict>
1535 </dict>
1536 <dict>
1537 <key>Class</key>
1538 <string>Group</string>
1539 <key>Graphics</key>
1540 <array>
1541 <dict>
1542 <key>Bounds</key>
1543 <string>{{1104.185337655111, 2281.6156564360194}, {889.0382080078125, 70.377245508981872}}</string>
1544 <key>Class</key>
1545 <string>ShapedGraphic</string>
1546 <key>FontInfo</key>
1547 <dict>
1548 <key>Color</key>
1549 <dict>
1550 <key>b</key>
1551 <string>1</string>
1552 <key>g</key>
1553 <string>1</string>
1554 <key>r</key>
1555 <string>1</string>
1556 </dict>
1557 <key>Font</key>
1558 <string>HiraKakuProN-W3</string>
1559 <key>Size</key>
1560 <real>48</real>
1561 </dict>
1562 <key>ID</key>
1563 <integer>3579</integer>
1564 <key>Style</key>
1565 <dict>
1566 <key>fill</key>
1567 <dict>
1568 <key>Draws</key>
1569 <string>NO</string>
1570 </dict>
1571 <key>shadow</key>
1572 <dict>
1573 <key>Draws</key>
1574 <string>NO</string>
1575 </dict>
1576 <key>stroke</key>
1577 <dict>
1578 <key>Draws</key>
1579 <string>NO</string>
1580 </dict>
1581 </dict>
1582 <key>Text</key>
1583 <dict>
1584 <key>Align</key>
1585 <integer>0</integer>
1586 <key>Pad</key>
1587 <real>0.0</real>
1588 <key>Text</key>
1589 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
1590 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1591 {\colortbl;\red255\green255\blue255;}
1592 {\*\expandedcolortbl;;}
1593 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1594
1595 \f0\fs96 \cf1 \'82\'dc\'82\'c6\'82\'df\'82\'c6\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8}</string>
1596 <key>VerticalPad</key>
1597 <real>0.0</real>
1598 </dict>
1599 </dict>
1600 <dict>
1601 <key>Class</key>
1602 <string>Group</string>
1603 <key>Graphics</key>
1604 <array>
1605 <dict>
1606 <key>Class</key>
1607 <string>LineGraphic</string>
1608 <key>ID</key>
1609 <integer>3581</integer>
1610 <key>Points</key>
1611 <array>
1612 <string>{1044.4771225642178, 2306.0115295951773}</string>
1613 <string>{1087.2394111727006, 2307.0196645118872}</string>
1614 </array>
1615 <key>Style</key>
1616 <dict>
1617 <key>stroke</key>
1618 <dict>
1619 <key>Color</key>
1620 <dict>
1621 <key>b</key>
1622 <real>1</real>
1623 <key>g</key>
1624 <real>1</real>
1625 <key>r</key>
1626 <real>1</real>
1627 </dict>
1628 <key>HeadArrow</key>
1629 <string>FilledBall</string>
1630 <key>Legacy</key>
1631 <true/>
1632 <key>TailArrow</key>
1633 <string>0</string>
1634 <key>Width</key>
1635 <real>3</real>
1636 </dict>
1637 </dict>
1638 <key>Tail</key>
1639 <dict>
1640 <key>ID</key>
1641 <integer>3582</integer>
1642 <key>Position</key>
1643 <real>0.32640770077705383</real>
1644 </dict>
1645 </dict>
1646 <dict>
1647 <key>Class</key>
1648 <string>LineGraphic</string>
1649 <key>ID</key>
1650 <integer>3582</integer>
1651 <key>Points</key>
1652 <array>
1653 <string>{1038.001742628654, 2324.8816771321945}</string>
1654 <string>{1049.7313464557506, 2290.6999986869741}</string>
1655 <string>{1051.9121792644519, 2289.4746396312162}</string>
1656 <string>{1074.3931450242465, 2289.4746396312162}</string>
1657 </array>
1658 <key>Style</key>
1659 <dict>
1660 <key>stroke</key>
1661 <dict>
1662 <key>Color</key>
1663 <dict>
1664 <key>b</key>
1665 <real>1</real>
1666 <key>g</key>
1667 <real>1</real>
1668 <key>r</key>
1669 <real>1</real>
1670 </dict>
1671 <key>HeadArrow</key>
1672 <string>FilledBall</string>
1673 <key>Legacy</key>
1674 <true/>
1675 <key>TailArrow</key>
1676 <string>0</string>
1677 <key>Width</key>
1678 <real>3</real>
1679 </dict>
1680 </dict>
1681 <key>Tail</key>
1682 <dict>
1683 <key>ID</key>
1684 <integer>3583</integer>
1685 <key>Position</key>
1686 <real>0.25490197539329529</real>
1687 </dict>
1688 </dict>
1689 <dict>
1690 <key>Class</key>
1691 <string>LineGraphic</string>
1692 <key>ID</key>
1693 <integer>3583</integer>
1694 <key>Points</key>
1695 <array>
1696 <string>{1024.0786026094681, 2324.5646893925564}</string>
1697 <string>{1064.1668296087487, 2325.4773769361059}</string>
1698 <string>{1078.675233740398, 2324.5646893925564}</string>
1699 </array>
1700 <key>Style</key>
1701 <dict>
1702 <key>stroke</key>
1703 <dict>
1704 <key>Color</key>
1705 <dict>
1706 <key>b</key>
1707 <real>1</real>
1708 <key>g</key>
1709 <real>1</real>
1710 <key>r</key>
1711 <real>1</real>
1712 </dict>
1713 <key>HeadArrow</key>
1714 <string>FilledBall</string>
1715 <key>Legacy</key>
1716 <true/>
1717 <key>TailArrow</key>
1718 <string>0</string>
1719 <key>Width</key>
1720 <real>3</real>
1721 </dict>
1722 </dict>
1723 </dict>
1724 <dict>
1725 <key>Bounds</key>
1726 <string>{{1020.0148778109985, 2271.968524550924}, {994.98516845703114, 65.556886227544723}}</string>
1727 <key>Class</key>
1728 <string>ShapedGraphic</string>
1729 <key>ID</key>
1730 <integer>3584</integer>
1731 <key>Style</key>
1732 <dict>
1733 <key>fill</key>
1734 <dict>
1735 <key>Color</key>
1736 <dict>
1737 <key>b</key>
1738 <real>0.80000000000000004</real>
1739 <key>g</key>
1740 <real>0.59999999999999998</real>
1741 <key>r</key>
1742 <real>0.20000000000000001</real>
1743 </dict>
1744 <key>FillType</key>
1745 <integer>2</integer>
1746 <key>GradientAngle</key>
1747 <real>90</real>
1748 <key>GradientColor</key>
1749 <dict>
1750 <key>b</key>
1751 <string>0.8</string>
1752 <key>g</key>
1753 <string>0.4</string>
1754 <key>r</key>
1755 <string>0</string>
1756 </dict>
1757 </dict>
1758 <key>shadow</key>
1759 <dict>
1760 <key>Draws</key>
1761 <string>NO</string>
1762 </dict>
1763 <key>stroke</key>
1764 <dict>
1765 <key>Width</key>
1766 <real>0.5</real>
1767 </dict>
1768 </dict>
1769 </dict>
1770 </array>
1771 <key>ID</key>
1772 <integer>3580</integer>
1773 </dict>
1774 </array>
1775 <key>ID</key>
1776 <integer>3578</integer>
1777 </dict>
1778 <dict>
1779 <key>Bounds</key>
1780 <string>{{1021.6976065803265, 2337.9985070539433}, {993.3024396877031, 618.53695284201638}}</string>
408 <key>Class</key> 1781 <key>Class</key>
409 <string>ShapedGraphic</string> 1782 <string>ShapedGraphic</string>
410 <key>ID</key> 1783 <key>ID</key>
411 <integer>3518</integer> 1784 <integer>3585</integer>
412 <key>Style</key> 1785 <key>Style</key>
413 <dict> 1786 <dict>
414 <key>shadow</key> 1787 <key>shadow</key>
415 <dict> 1788 <dict>
416 <key>Draws</key> 1789 <key>Draws</key>
423 </dict> 1796 </dict>
424 </dict> 1797 </dict>
425 </dict> 1798 </dict>
426 <dict> 1799 <dict>
427 <key>Bounds</key> 1800 <key>Bounds</key>
428 <string>{{1048.7140122928706, 2016.5984434574605}, {959.36545032042841, 75}}</string> 1801 <string>{{1028.7508400560205, 1997.0078921349027}, {978.14778642833062, 318}}</string>
429 <key>Class</key> 1802 <key>Class</key>
430 <string>ShapedGraphic</string> 1803 <string>ShapedGraphic</string>
431 <key>FitText</key> 1804 <key>FitText</key>
432 <string>Vertical</string> 1805 <string>Vertical</string>
433 <key>Flow</key> 1806 <key>Flow</key>
438 <string>HiraKakuProN-W3</string> 1811 <string>HiraKakuProN-W3</string>
439 <key>Size</key> 1812 <key>Size</key>
440 <real>14</real> 1813 <real>14</real>
441 </dict> 1814 </dict>
442 <key>ID</key> 1815 <key>ID</key>
443 <integer>3507</integer> 1816 <integer>3702</integer>
444 <key>Style</key> 1817 <key>Style</key>
445 <dict> 1818 <dict>
446 <key>fill</key> 1819 <key>fill</key>
447 <dict> 1820 <dict>
448 <key>Color</key> 1821 <key>Draws</key>
449 <dict> 1822 <string>NO</string>
450 <key>b</key>
451 <real>0.66274500000000003</real>
452 <key>g</key>
453 <real>1</real>
454 <key>r</key>
455 <real>1</real>
456 </dict>
457 </dict> 1823 </dict>
458 <key>shadow</key> 1824 <key>shadow</key>
459 <dict> 1825 <dict>
460 <key>Draws</key> 1826 <key>Draws</key>
461 <string>NO</string> 1827 <string>NO</string>
471 <key>Align</key> 1837 <key>Align</key>
472 <integer>0</integer> 1838 <integer>0</integer>
473 <key>Pad</key> 1839 <key>Pad</key>
474 <real>0.0</real> 1840 <real>0.0</real>
475 <key>Text</key> 1841 <key>Text</key>
476 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 1842 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
477 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} 1843 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
478 {\colortbl;\red255\green255\blue255;} 1844 {\colortbl;\red255\green255\blue255;}
479 {\*\expandedcolortbl;;} 1845 {\*\expandedcolortbl;;}
480 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 1846 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
481 1847
482 \f0\fs48 \cf0 n-push-pop-type n cn ce st = M.exec (M.csComp (n-pop n) (n-push n)) m \'81\'df m\ 1848 \f0\fs60 \cf0 \'81\'452\'82\'c2\'82\'ccRemoteDGM(proxy)\'82\'cc\'83\'79\'83\'41\'82\'f0\'97\'70\'82\'a2\'82\'c4\'92\'ca\'90\'4d\'82\'b7\'82\'e9\
483 -- goto (pop*n . push*n) mds \'81\'df mds}</string> 1849 - \'83\'74\'83\'40\'83\'43\'83\'8b\'91\'97\'90\'4d\'91\'a4\'82\'a9\'82\'e7\'82\'cc\'83\'66\'81\'5b\'83\'5e\'91\'97\'90\'4d\'82\'c6count\'8f\'88\'97\'9d\'82\'f0\'8d\'73\'82\'c1\'82\'bdack\'82\'cc\'95\'d4\'90\'4d\'82\'f0\'83\'8b\'81\'5b\'83\'76\'82\'b7\'82\'e9\
1850 - \'91\'97\'90\'4d\'91\'a4\'82\'cd\'95\'b6\'8e\'9a\'97\'f1\'91\'97\'90\'4d\'82\'aa\'8f\'49\'82\'ed\'82\'c1\'82\'bd\'82\'e7EoF\'83\'74\'83\'89\'83\'4f\'82\'f0\'91\'97\'90\'4d\'82\'b5\'81\'41count\'91\'a4\'82\'cd\'8c\'8b\'89\'ca\'82\'f0\'95\'d4\'90\'4d\'82\'b7\'82\'e9\'81\'42\'82\'bb\'82\'b5\'82\'c4\'8f\'88\'97\'9d\'82\'f0\'8f\'49\'97\'b9\'82\'b7\'82\'e9\
1851 - \'8c\'bb\'8e\'9e\'93\'5f\'82\'c5\'82\'cd\'92\'50\'88\'ea\'82\'ccQueue\'82\'c9\'82\'e6\'82\'e9\'88\'ea\'95\'fb\'95\'fb\'8c\'fc\'82\'cc\'92\'ca\'90\'4d\'82\'dc\'82\'c5\'8e\'c0\'91\'95\'8d\'cf\'82\'dd\'82\'c6\'82\'c8\'82\'e9\
1852 }</string>
484 <key>VerticalPad</key> 1853 <key>VerticalPad</key>
485 <real>1</real> 1854 <real>1</real>
486 </dict> 1855 </dict>
487 </dict> 1856 </dict>
488 <dict> 1857 <dict>
489 <key>Bounds</key> 1858 <key>Bounds</key>
490 <string>{{1037.3228442389195, 1770.7489729732406}, {978.14778642833062, 273}}</string> 1859 <string>{{1020.6880619202827, 1244.7781376662001}, {978.14778642833062, 273}}</string>
491 <key>Class</key> 1860 <key>Class</key>
492 <string>ShapedGraphic</string> 1861 <string>ShapedGraphic</string>
493 <key>FitText</key> 1862 <key>FitText</key>
494 <string>Vertical</string> 1863 <string>Vertical</string>
495 <key>Flow</key> 1864 <key>Flow</key>
500 <string>HiraKakuProN-W3</string> 1869 <string>HiraKakuProN-W3</string>
501 <key>Size</key> 1870 <key>Size</key>
502 <real>14</real> 1871 <real>14</real>
503 </dict> 1872 </dict>
504 <key>ID</key> 1873 <key>ID</key>
505 <integer>3506</integer> 1874 <integer>3706</integer>
506 <key>Style</key> 1875 <key>Style</key>
507 <dict> 1876 <dict>
508 <key>fill</key> 1877 <key>fill</key>
509 <dict> 1878 <dict>
510 <key>Draws</key> 1879 <key>Draws</key>
526 <key>Align</key> 1895 <key>Align</key>
527 <integer>0</integer> 1896 <integer>0</integer>
528 <key>Pad</key> 1897 <key>Pad</key>
529 <real>0.0</real> 1898 <real>0.0</real>
530 <key>Text</key> 1899 <key>Text</key>
531 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 1900 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
532 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} 1901 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
533 {\colortbl;\red255\green255\blue255;} 1902 {\colortbl;\red255\green255\blue255;}
534 {\*\expandedcolortbl;;} 1903 {\*\expandedcolortbl;;}
535 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 1904 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
536 1905
537 \f0\fs60 \cf0 \'81\'45\'82\'c7\'82\'cc\'92\'6c\'82\'e0\'91\'53\'82\'ad\'93\'af\'82\'b6\'8d\'80\'82\'c9\'8a\'c8\'96\'f1\'82\'b3\'82\'ea\'82\'e9\'82\'b1\'82\'c6\'82\'f0\'8e\'a6\'82\'b7\'82\'b1\'82\'c6\'82\'c5\'93\'99\'8e\'ae\'82\'cc\'8f\'d8\'96\'be\'82\'c6\'82\'c8\'82\'e9\ 1906 \f0\fs60 \cf0 \'81\'45GearsOS\'82\'cc\'92\'ca\'90\'4d\'82\'cdWordCount\'97\'e1\'91\'e8\'82\'f0\'92\'ca\'82\'b5\'82\'c4\'8d\'5c\'90\'ac\'82\'f0\'8d\'73\'82\'c1\'82\'bd\
538 \'81\'45\'91\'80\'8d\'ec\'82\'aa\'94\'43\'88\'d3\'82\'cc\'89\'f1\'90\'94\'8d\'73\'82\'ed\'82\'c8\'82\'ea\'82\'e9\'82\'e6\'82\'a4\'82\'c8\'8c\'9f\'8f\'d8\'82\'e0\'89\'c2\'94\'5c\ 1907 \'81\'45GearsFS\'82\'cc\'92\'ca\'90\'4d\'83\'76\'83\'8d\'83\'5a\'83\'58\'82\'cc\'83\'82\'83\'66\'83\'8b\'82\'c5\'82\'e0\'82\'a0\'82\'e9\
539 \'81\'45SingleLinkedStack \'82\'c9\'91\'ce\'82\'b7\'82\'e9\'91\'80\'8d\'ec\'82\'cc\'90\'ab\'8e\'bf\'82\'f0\'8f\'d8\'96\'be\'82\'b5\'82\'bd\ 1908 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'95\'b6\'8e\'9a\'97\'f1\'82\'f01\'8d\'73\'82\'c3\'82\'c2\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'81\'41\'95\'b6\'8e\'9a\'97\'f1\'82\'c6\'82\'bb\'82\'cc\'95\'b6\'8e\'9a\'90\'94\'81\'41\'8d\'73\'90\'94\'82\'f0\'83\'4a\'83\'45\'83\'93\'83\'67\'82\'b7\'82\'e9\
540 \'81\'45\'81\'75\'82\'a0\'82\'e9\'83\'58\'83\'5e\'83\'62\'83\'4e\'82\'c9\'91\'ce\'82\'b5\'82\'c4n\'89\'f1\'82\'be\'82\'af\'92\'6c\'82\'f0\'90\'cf\'82\'f1\'82\'be\'8c\'e3\'81\'41\ 1909 - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6count\'82\'f0\'95\'ca\'83\'6d\'81\'5b\'83\'68\'8f\'e3\'82\'c5\'8d\'73\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'c5\'82\'ab\'82\'e9}</string>
541 \'93\'af\'82\'b6\'89\'f1\'90\'94\'82\'be\'82\'af\'92\'6c\'82\'f0\'8e\'e6\'82\'e8\'8f\'6f\'82\'b7\'82\'c6\'8c\'b3\'82\'cc\'83\'58\'83\'5e\'83\'62\'83\'4e\'82\'c9\'93\'99\'82\'b5\'82\'a2\'81\'76\
542 }</string>
543 <key>VerticalPad</key> 1910 <key>VerticalPad</key>
544 <real>1</real> 1911 <real>1</real>
545 </dict> 1912 </dict>
546 </dict> 1913 </dict>
547 <dict> 1914 <dict>
548 <key>Bounds</key>
549 <string>{{27.497016908487126, 2164.7331515077672}, {977.63370931649047, 381.41779289872517}}</string>
550 <key>Class</key> 1915 <key>Class</key>
551 <string>ShapedGraphic</string> 1916 <string>Group</string>
552 <key>ID</key> 1917 <key>Graphics</key>
553 <integer>3498</integer> 1918 <array>
554 <key>ImageID</key> 1919 <dict>
555 <integer>27</integer> 1920 <key>Bounds</key>
556 <key>ManualSizeImage</key> 1921 <string>{{1104.502608885783, 1173.7940628016549}, {889.0382080078125, 73}}</string>
557 <string>YES</string> 1922 <key>Class</key>
558 <key>Opacity</key> 1923 <string>ShapedGraphic</string>
559 <real>0.99999997764825821</real> 1924 <key>FitText</key>
560 <key>Scale</key> 1925 <string>Vertical</string>
561 <real>1.099999975413084</real> 1926 <key>Flow</key>
562 <key>StretchImage</key> 1927 <string>Resize</string>
563 <false/> 1928 <key>FontInfo</key>
564 <key>Style</key> 1929 <dict>
565 <dict> 1930 <key>Color</key>
566 <key>fill</key> 1931 <dict>
567 <dict> 1932 <key>b</key>
568 <key>Draws</key> 1933 <string>1</string>
569 <string>NO</string> 1934 <key>g</key>
570 </dict> 1935 <string>1</string>
571 <key>shadow</key> 1936 <key>r</key>
572 <dict> 1937 <string>1</string>
573 <key>Draws</key> 1938 </dict>
574 <string>NO</string> 1939 <key>Font</key>
575 </dict> 1940 <string>HiraKakuProN-W3</string>
576 <key>stroke</key> 1941 <key>Size</key>
577 <dict> 1942 <real>48</real>
578 <key>Draws</key> 1943 </dict>
579 <string>NO</string> 1944 <key>ID</key>
580 </dict> 1945 <integer>3708</integer>
581 </dict> 1946 <key>Style</key>
582 </dict> 1947 <dict>
583 <dict> 1948 <key>fill</key>
584 <key>Bounds</key> 1949 <dict>
585 <string>{{36.631146406518106, 2548.3464798144464}, {964.78997414196579, 183}}</string> 1950 <key>Draws</key>
586 <key>Class</key> 1951 <string>NO</string>
587 <string>ShapedGraphic</string> 1952 </dict>
588 <key>FitText</key> 1953 <key>shadow</key>
589 <string>Vertical</string> 1954 <dict>
590 <key>Flow</key> 1955 <key>Draws</key>
591 <string>Resize</string> 1956 <string>NO</string>
592 <key>FontInfo</key> 1957 </dict>
593 <dict> 1958 <key>stroke</key>
594 <key>Font</key> 1959 <dict>
595 <string>HiraKakuProN-W3</string> 1960 <key>Draws</key>
596 <key>Size</key> 1961 <string>NO</string>
597 <real>14</real> 1962 </dict>
598 </dict> 1963 </dict>
599 <key>ID</key> 1964 <key>Text</key>
600 <integer>3496</integer> 1965 <dict>
601 <key>Style</key> 1966 <key>Align</key>
602 <dict> 1967 <integer>0</integer>
603 <key>fill</key> 1968 <key>Pad</key>
604 <dict> 1969 <real>0.0</real>
605 <key>Draws</key> 1970 <key>Text</key>
606 <string>NO</string> 1971 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
607 </dict> 1972 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
608 <key>shadow</key>
609 <dict>
610 <key>Draws</key>
611 <string>NO</string>
612 </dict>
613 <key>stroke</key>
614 <dict>
615 <key>Draws</key>
616 <string>NO</string>
617 </dict>
618 </dict>
619 <key>Text</key>
620 <dict>
621 <key>Align</key>
622 <integer>0</integer>
623 <key>Pad</key>
624 <real>0.0</real>
625 <key>Text</key>
626 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
627 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
628 {\colortbl;\red255\green255\blue255;} 1973 {\colortbl;\red255\green255\blue255;}
629 {\*\expandedcolortbl;;} 1974 {\*\expandedcolortbl;;}
630 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 1975 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
631 1976
632 \f0\fs60 \cf0 \'81\'45\'94\'f1\'94\'6a\'89\'f3\'90\'d4\'8d\'95\'96\'d8\'82\'cc\'97\'4c\'8c\'c0\'89\'f1\'82\'cc\'91\'7d\'93\'fc\'91\'80\'8d\'ec\'82\'c9\'8a\'d6\'82\'b7\'82\'e9\'8e\'64\'97\'6c\'82\'f0\'8c\'9f\'8f\'d8\ 1977 \f0\fs96 \cf1 WordCount\'97\'e1\'91\'e8}</string>
633 \'81\'45\'97\'76\'91\'66\'90\'9413\'82\'dc\'82\'c5\'82\'cd\'96\'d8\'82\'aa\'83\'6f\'83\'89\'83\'93\'83\'58\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'f0\'95\'db\'8f\'d8\ 1978 <key>VerticalPad</key>
634 \'81\'45\'9c\'93\'88\'d3\'93\'49\'82\'c9\'83\'6f\'83\'4f\'82\'f0\'8e\'64\'8d\'9e\'82\'de\'82\'c6\'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'f0\'95\'d4\'8b\'70\ 1979 <real>0.0</real>
635 \'81\'45CBMC \'82\'c5\'82\'cd\'83\'6f\'83\'4f\'82\'c9\'97\'52\'97\'88\'82\'b5\'82\'bd\'94\'bd\'97\'e1\'82\'f0\'8c\'9f\'8f\'6f\'82\'c5\'82\'ab\'82\'b8}</string> 1980 </dict>
636 <key>VerticalPad</key> 1981 </dict>
637 <real>1</real> 1982 <dict>
638 </dict> 1983 <key>Class</key>
1984 <string>Group</string>
1985 <key>Graphics</key>
1986 <array>
1987 <dict>
1988 <key>Class</key>
1989 <string>LineGraphic</string>
1990 <key>ID</key>
1991 <integer>3710</integer>
1992 <key>Points</key>
1993 <array>
1994 <string>{1044.7113931748829, 1199.3506549954388}</string>
1995 <string>{1087.5566824033724, 1200.1448040977393}</string>
1996 </array>
1997 <key>Style</key>
1998 <dict>
1999 <key>stroke</key>
2000 <dict>
2001 <key>Color</key>
2002 <dict>
2003 <key>b</key>
2004 <real>1</real>
2005 <key>g</key>
2006 <real>1</real>
2007 <key>r</key>
2008 <real>1</real>
2009 </dict>
2010 <key>HeadArrow</key>
2011 <string>FilledBall</string>
2012 <key>Legacy</key>
2013 <true/>
2014 <key>TailArrow</key>
2015 <string>0</string>
2016 <key>Width</key>
2017 <real>3</real>
2018 </dict>
2019 </dict>
2020 <key>Tail</key>
2021 <dict>
2022 <key>ID</key>
2023 <integer>3711</integer>
2024 <key>Position</key>
2025 <real>0.32640770077705383</real>
2026 </dict>
2027 </dict>
2028 <dict>
2029 <key>Class</key>
2030 <string>LineGraphic</string>
2031 <key>ID</key>
2032 <integer>3711</integer>
2033 <key>Points</key>
2034 <array>
2035 <string>{1038.319494922488, 1218.672493145157}</string>
2036 <string>{1050.0486176864224, 1183.2169519687932}</string>
2037 <string>{1052.2294504951237, 1181.945927358161}</string>
2038 <string>{1074.7104162549183, 1181.945927358161}</string>
2039 </array>
2040 <key>Style</key>
2041 <dict>
2042 <key>stroke</key>
2043 <dict>
2044 <key>Color</key>
2045 <dict>
2046 <key>b</key>
2047 <real>1</real>
2048 <key>g</key>
2049 <real>1</real>
2050 <key>r</key>
2051 <real>1</real>
2052 </dict>
2053 <key>HeadArrow</key>
2054 <string>FilledBall</string>
2055 <key>Legacy</key>
2056 <true/>
2057 <key>TailArrow</key>
2058 <string>0</string>
2059 <key>Width</key>
2060 <real>3</real>
2061 </dict>
2062 </dict>
2063 <key>Tail</key>
2064 <dict>
2065 <key>ID</key>
2066 <integer>3712</integer>
2067 <key>Position</key>
2068 <real>0.25490197539329529</real>
2069 </dict>
2070 </dict>
2071 <dict>
2072 <key>Class</key>
2073 <string>LineGraphic</string>
2074 <key>ID</key>
2075 <integer>3712</integer>
2076 <key>Points</key>
2077 <array>
2078 <string>{1024.39587384014, 1218.3436808373167}</string>
2079 <string>{1064.4841008394205, 1219.2903815812469}</string>
2080 <string>{1078.9925049710698, 1218.3436808373167}</string>
2081 </array>
2082 <key>Style</key>
2083 <dict>
2084 <key>stroke</key>
2085 <dict>
2086 <key>Color</key>
2087 <dict>
2088 <key>b</key>
2089 <real>1</real>
2090 <key>g</key>
2091 <real>1</real>
2092 <key>r</key>
2093 <real>1</real>
2094 </dict>
2095 <key>HeadArrow</key>
2096 <string>FilledBall</string>
2097 <key>Legacy</key>
2098 <true/>
2099 <key>TailArrow</key>
2100 <string>0</string>
2101 <key>Width</key>
2102 <real>3</real>
2103 </dict>
2104 </dict>
2105 </dict>
2106 <dict>
2107 <key>Bounds</key>
2108 <string>{{1020.3321490416704, 1163.7874104736354}, {994.98516845703114, 68}}</string>
2109 <key>Class</key>
2110 <string>ShapedGraphic</string>
2111 <key>ID</key>
2112 <integer>3713</integer>
2113 <key>Style</key>
2114 <dict>
2115 <key>fill</key>
2116 <dict>
2117 <key>Color</key>
2118 <dict>
2119 <key>b</key>
2120 <real>0.80000000000000004</real>
2121 <key>g</key>
2122 <real>0.59999999999999998</real>
2123 <key>r</key>
2124 <real>0.20000000000000001</real>
2125 </dict>
2126 <key>FillType</key>
2127 <integer>2</integer>
2128 <key>GradientAngle</key>
2129 <real>90</real>
2130 <key>GradientColor</key>
2131 <dict>
2132 <key>b</key>
2133 <string>0.8</string>
2134 <key>g</key>
2135 <string>0.4</string>
2136 <key>r</key>
2137 <string>0</string>
2138 </dict>
2139 </dict>
2140 <key>shadow</key>
2141 <dict>
2142 <key>Draws</key>
2143 <string>NO</string>
2144 </dict>
2145 <key>stroke</key>
2146 <dict>
2147 <key>Width</key>
2148 <real>0.5</real>
2149 </dict>
2150 </dict>
2151 </dict>
2152 </array>
2153 <key>ID</key>
2154 <integer>3709</integer>
2155 </dict>
2156 </array>
2157 <key>ID</key>
2158 <integer>3707</integer>
639 </dict> 2159 </dict>
640 <dict> 2160 <dict>
641 <key>Bounds</key> 2161 <key>Bounds</key>
642 <string>{{22.747054760760825, 1927.7185168674441}, {964.78997414196579, 228}}</string> 2162 <string>{{105.75753475616338, 2332.7842106729418}, {889.0382080078125, 73}}</string>
643 <key>Class</key>
644 <string>ShapedGraphic</string>
645 <key>FitText</key>
646 <string>Vertical</string>
647 <key>Flow</key>
648 <string>Resize</string>
649 <key>FontInfo</key>
650 <dict>
651 <key>Font</key>
652 <string>HiraKakuProN-W3</string>
653 <key>Size</key>
654 <real>14</real>
655 </dict>
656 <key>ID</key>
657 <integer>3494</integer>
658 <key>Style</key>
659 <dict>
660 <key>fill</key>
661 <dict>
662 <key>Draws</key>
663 <string>NO</string>
664 </dict>
665 <key>shadow</key>
666 <dict>
667 <key>Draws</key>
668 <string>NO</string>
669 </dict>
670 <key>stroke</key>
671 <dict>
672 <key>Draws</key>
673 <string>NO</string>
674 </dict>
675 </dict>
676 <key>Text</key>
677 <dict>
678 <key>Align</key>
679 <integer>0</integer>
680 <key>Pad</key>
681 <real>0.0</real>
682 <key>Text</key>
683 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
684 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
685 {\colortbl;\red255\green255\blue255;}
686 {\*\expandedcolortbl;;}
687 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
688
689 \f0\fs60 \cf0 \'81\'45CbC \'82\'c9\'91\'ce\'82\'b7\'82\'e9\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\
690 \'81\'45CbC \'82\'c5\'8b\'4c\'8f\'71\'82\'b3\'82\'ea\'82\'bd\'83\'52\'81\'5b\'83\'68\'82\'f0 CbC \'8e\'a9\'90\'67\'82\'c5\'8c\'9f\'8f\'d8\'89\'c2\'94\'5c\
691 - spin \'82\'c8\'82\'c7\'82\'cc\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'8a\'ed\'82\'cd\'8c\'9f\'8f\'d8\'83\'52\'81\'5b\'83\'68\'82\'c6\'8e\'c0\'8d\'73\'83\'52\'81\'5b\'83\'68\'82\'aa\'88\'d9\'82\'c8\'82\'e9\
692 \'81\'45\'8b\'ef\'91\'cc\'93\'49\'82\'c9\'82\'cd CodeSegment \'82\'cc\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'f0\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c6\'82\'b5\'82\'c4\'92\'e8\'8b\'60\
693 \'81\'45\'96\'d4\'97\'85\'93\'49\'82\'c9\'8e\'c0\'8d\'73\'82\'b7\'82\'e9\'82\'e6\'82\'a4\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'f0\'8f\'e3\'8f\'91\'82\'ab\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8f\'f3\'91\'d4\'82\'f0\'97\'f1\'8b\'93}</string>
694 <key>VerticalPad</key>
695 <real>1</real>
696 </dict>
697 </dict>
698 <dict>
699 <key>Bounds</key>
700 <string>{{36.631146406518106, 2743.9370327701718}, {959.36545032042841, 75}}</string>
701 <key>Class</key>
702 <string>ShapedGraphic</string>
703 <key>FitText</key>
704 <string>Vertical</string>
705 <key>Flow</key>
706 <string>Resize</string>
707 <key>FontInfo</key>
708 <dict>
709 <key>Font</key>
710 <string>HiraKakuProN-W3</string>
711 <key>Size</key>
712 <real>14</real>
713 </dict>
714 <key>ID</key>
715 <integer>3495</integer>
716 <key>Style</key>
717 <dict>
718 <key>fill</key>
719 <dict>
720 <key>Color</key>
721 <dict>
722 <key>b</key>
723 <real>0.66274500000000003</real>
724 <key>g</key>
725 <real>1</real>
726 <key>r</key>
727 <real>1</real>
728 </dict>
729 </dict>
730 <key>shadow</key>
731 <dict>
732 <key>Draws</key>
733 <string>NO</string>
734 </dict>
735 <key>stroke</key>
736 <dict>
737 <key>Draws</key>
738 <string>NO</string>
739 </dict>
740 </dict>
741 <key>Text</key>
742 <dict>
743 <key>Align</key>
744 <integer>0</integer>
745 <key>Pad</key>
746 <real>0.0</real>
747 <key>Text</key>
748 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
749 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
750 {\colortbl;\red255\green255\blue255;}
751 {\*\expandedcolortbl;;}
752 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
753
754 \f0\fs48 \cf0 if (context-&gt;data[AkashaInfo]-&gt;akashaInfo.maxHeight &gt;\
755 2*context-&gt;data[AkashaInfo]-&gt;akashaInfo.minHeight)}</string>
756 <key>VerticalPad</key>
757 <real>1</real>
758 </dict>
759 </dict>
760 <dict>
761 <key>Bounds</key>
762 <string>{{103.10500157029998, 1838.2489729732406}, {889.0382080078125, 73}}</string>
763 <key>Class</key> 2163 <key>Class</key>
764 <string>ShapedGraphic</string> 2164 <string>ShapedGraphic</string>
765 <key>FitText</key> 2165 <key>FitText</key>
766 <string>Vertical</string> 2166 <string>Vertical</string>
767 <key>Flow</key> 2167 <key>Flow</key>
781 <string>HiraKakuProN-W3</string> 2181 <string>HiraKakuProN-W3</string>
782 <key>Size</key> 2182 <key>Size</key>
783 <real>48</real> 2183 <real>48</real>
784 </dict> 2184 </dict>
785 <key>ID</key> 2185 <key>ID</key>
786 <integer>3502</integer> 2186 <integer>3570</integer>
787 <key>Style</key> 2187 <key>Style</key>
788 <dict> 2188 <dict>
789 <key>fill</key> 2189 <key>fill</key>
790 <dict> 2190 <dict>
791 <key>Draws</key> 2191 <key>Draws</key>
807 <key>Align</key> 2207 <key>Align</key>
808 <integer>0</integer> 2208 <integer>0</integer>
809 <key>Pad</key> 2209 <key>Pad</key>
810 <real>0.0</real> 2210 <real>0.0</real>
811 <key>Text</key> 2211 <key>Text</key>
812 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 2212 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
813 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} 2213 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
814 {\colortbl;\red255\green255\blue255;} 2214 {\colortbl;\red255\green255\blue255;}
815 {\*\expandedcolortbl;;} 2215 {\*\expandedcolortbl;;}
816 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 2216 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
817 2217
818 \f0\fs96 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'83\'89\'83\'43\'83\'75\'83\'89\'83\'8a akasha}</string> 2218 \f0\fs96 \cf1 GearsFS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'66\'81\'5b\'83\'5e}</string>
819 <key>VerticalPad</key> 2219 <key>VerticalPad</key>
820 <real>0.0</real> 2220 <real>0.0</real>
821 </dict> 2221 </dict>
822 </dict> 2222 </dict>
823 <dict> 2223 <dict>
824 <key>Class</key> 2224 <key>Class</key>
825 <string>LineGraphic</string> 2225 <string>LineGraphic</string>
826 <key>ID</key> 2226 <key>ID</key>
827 <integer>3377</integer> 2227 <integer>3571</integer>
828 <key>Points</key> 2228 <key>Points</key>
829 <array> 2229 <array>
830 <string>{42.285434281505644, 1861.6344961960378}</string> 2230 <string>{43.920792894859957, 2358.846903538742}</string>
831 <string>{84.383265850591698, 1861.9569050660602}</string> 2231 <string>{86.018624463946082, 2359.1693124087647}</string>
832 </array> 2232 </array>
833 <key>Style</key> 2233 <key>Style</key>
834 <dict> 2234 <dict>
835 <key>stroke</key> 2235 <key>stroke</key>
836 <dict> 2236 <dict>
854 </dict> 2254 </dict>
855 </dict> 2255 </dict>
856 <key>Tail</key> 2256 <key>Tail</key>
857 <dict> 2257 <dict>
858 <key>ID</key> 2258 <key>ID</key>
859 <integer>3378</integer> 2259 <integer>3572</integer>
860 <key>Position</key> 2260 <key>Position</key>
861 <real>0.32640770077705383</real> 2261 <real>0.32640770077705383</real>
862 </dict> 2262 </dict>
863 </dict> 2263 </dict>
864 <dict> 2264 <dict>
865 <key>Class</key> 2265 <key>Class</key>
866 <string>LineGraphic</string> 2266 <string>LineGraphic</string>
867 <key>ID</key> 2267 <key>ID</key>
868 <integer>3378</integer> 2268 <integer>3572</integer>
869 <key>Points</key> 2269 <key>Points</key>
870 <array> 2270 <array>
871 <string>{35.146078369707524, 1880.4845941134788}</string> 2271 <string>{36.781436983061894, 2377.697001456183}</string>
872 <string>{49.05603394234317, 1843.7580283264824}</string> 2272 <string>{50.691392555697476, 2340.9704356691868}</string>
873 <string>{71.536999702137592, 1843.7580283264824}</string> 2273 <string>{73.17235831549192, 2340.9704356691868}</string>
874 </array> 2274 </array>
875 <key>Style</key> 2275 <key>Style</key>
876 <dict> 2276 <dict>
877 <key>stroke</key> 2277 <key>stroke</key>
878 <dict> 2278 <dict>
896 </dict> 2296 </dict>
897 </dict> 2297 </dict>
898 <key>Tail</key> 2298 <key>Tail</key>
899 <dict> 2299 <dict>
900 <key>ID</key> 2300 <key>ID</key>
901 <integer>3379</integer> 2301 <integer>3573</integer>
902 <key>Position</key> 2302 <key>Position</key>
903 <real>0.25490197539329529</real> 2303 <real>0.25490197539329529</real>
904 </dict> 2304 </dict>
905 </dict> 2305 </dict>
906 <dict> 2306 <dict>
907 <key>Class</key> 2307 <key>Class</key>
908 <string>LineGraphic</string> 2308 <string>LineGraphic</string>
909 <key>ID</key> 2309 <key>ID</key>
910 <integer>3379</integer> 2310 <integer>3573</integer>
911 <key>Points</key> 2311 <key>Points</key>
912 <array> 2312 <array>
913 <string>{21.222457287359639, 1880.1557818056385}</string> 2313 <string>{22.857815900714002, 2377.3681891483429}</string>
914 <string>{61.310684286639884, 1881.1024825495683}</string> 2314 <string>{62.946042899994268, 2378.3148898922727}</string>
915 <string>{75.819088418289112, 1880.1557818056385}</string> 2315 <string>{77.454447031643497, 2377.3681891483429}</string>
916 </array> 2316 </array>
917 <key>Style</key> 2317 <key>Style</key>
918 <dict> 2318 <dict>
919 <key>stroke</key> 2319 <key>stroke</key>
920 <dict> 2320 <dict>
938 </dict> 2338 </dict>
939 </dict> 2339 </dict>
940 </dict> 2340 </dict>
941 <dict> 2341 <dict>
942 <key>Bounds</key> 2342 <key>Bounds</key>
943 <string>{{15.158732488890038, 1828.45690936141}, {994.98516845703114, 68}}</string> 2343 <string>{{16.493178292069757, 2322.9921470611107}, {994.98516845703114, 68}}</string>
944 <key>Class</key> 2344 <key>Class</key>
945 <string>ShapedGraphic</string> 2345 <string>ShapedGraphic</string>
946 <key>ID</key> 2346 <key>ID</key>
947 <integer>3503</integer> 2347 <integer>3574</integer>
948 <key>Style</key> 2348 <key>Style</key>
949 <dict> 2349 <dict>
950 <key>fill</key> 2350 <key>fill</key>
951 <dict> 2351 <dict>
952 <key>Color</key> 2352 <key>Color</key>
983 <real>0.5</real> 2383 <real>0.5</real>
984 </dict> 2384 </dict>
985 </dict> 2385 </dict>
986 </dict> 2386 </dict>
987 <dict> 2387 <dict>
2388 <key>Class</key>
2389 <string>Group</string>
2390 <key>Graphics</key>
2391 <array>
2392 <dict>
2393 <key>Bounds</key>
2394 <string>{{1659.6850544286524, 138.62318058760886}, {329, 100}}</string>
2395 <key>Class</key>
2396 <string>ShapedGraphic</string>
2397 <key>ID</key>
2398 <integer>3726</integer>
2399 <key>ImageID</key>
2400 <integer>22</integer>
2401 <key>Style</key>
2402 <dict>
2403 <key>fill</key>
2404 <dict>
2405 <key>Draws</key>
2406 <string>NO</string>
2407 </dict>
2408 <key>shadow</key>
2409 <dict>
2410 <key>Draws</key>
2411 <string>NO</string>
2412 </dict>
2413 <key>stroke</key>
2414 <dict>
2415 <key>Draws</key>
2416 <string>NO</string>
2417 </dict>
2418 </dict>
2419 </dict>
2420 <dict>
2421 <key>Bounds</key>
2422 <string>{{1370.6187491696908, 157.32283607308318}, {627.06526225391576, 97}}</string>
2423 <key>Class</key>
2424 <string>ShapedGraphic</string>
2425 <key>FitText</key>
2426 <string>Vertical</string>
2427 <key>Flow</key>
2428 <string>Resize</string>
2429 <key>FontInfo</key>
2430 <dict>
2431 <key>Color</key>
2432 <dict>
2433 <key>b</key>
2434 <string>1</string>
2435 <key>g</key>
2436 <string>1</string>
2437 <key>r</key>
2438 <string>1</string>
2439 </dict>
2440 <key>Font</key>
2441 <string>HiraKakuProN-W3</string>
2442 <key>Size</key>
2443 <real>13</real>
2444 </dict>
2445 <key>ID</key>
2446 <integer>3727</integer>
2447 <key>Style</key>
2448 <dict>
2449 <key>fill</key>
2450 <dict>
2451 <key>Draws</key>
2452 <string>NO</string>
2453 </dict>
2454 <key>shadow</key>
2455 <dict>
2456 <key>Draws</key>
2457 <string>NO</string>
2458 </dict>
2459 <key>stroke</key>
2460 <dict>
2461 <key>Draws</key>
2462 <string>NO</string>
2463 </dict>
2464 </dict>
2465 <key>Text</key>
2466 <dict>
2467 <key>Align</key>
2468 <integer>0</integer>
2469 <key>Pad</key>
2470 <real>0.0</real>
2471 <key>Text</key>
2472 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
2473 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2474 {\colortbl;\red255\green255\blue255;}
2475 {\*\expandedcolortbl;;}
2476 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2477
2478 \f0\fs128 \cf1 \'88\'ea\'96\'d8 \'8b\'4d\'97\'54}</string>
2479 <key>VerticalPad</key>
2480 <real>0.0</real>
2481 </dict>
2482 </dict>
2483 <dict>
2484 <key>Bounds</key>
2485 <string>{{27.929965899289073, 42.62318058760885}, {1924.739013671875, 96}}</string>
2486 <key>Class</key>
2487 <string>ShapedGraphic</string>
2488 <key>FitText</key>
2489 <string>Vertical</string>
2490 <key>Flow</key>
2491 <string>Resize</string>
2492 <key>FontInfo</key>
2493 <dict>
2494 <key>Font</key>
2495 <string>HiraKakuProN-W6</string>
2496 <key>Size</key>
2497 <real>110</real>
2498 </dict>
2499 <key>ID</key>
2500 <integer>3728</integer>
2501 <key>Style</key>
2502 <dict>
2503 <key>fill</key>
2504 <dict>
2505 <key>Draws</key>
2506 <string>NO</string>
2507 </dict>
2508 <key>shadow</key>
2509 <dict>
2510 <key>Draws</key>
2511 <string>NO</string>
2512 </dict>
2513 <key>stroke</key>
2514 <dict>
2515 <key>Draws</key>
2516 <string>NO</string>
2517 </dict>
2518 </dict>
2519 <key>Text</key>
2520 <dict>
2521 <key>Align</key>
2522 <integer>0</integer>
2523 <key>Pad</key>
2524 <real>0.0</real>
2525 <key>Text</key>
2526 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
2527 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W6;}
2528 {\colortbl;\red255\green255\blue255;}
2529 {\*\expandedcolortbl;;}
2530 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\slleading-800\pardirnatural\partightenfactor0
2531
2532 \f0\b\fs180 \cf1 GearsOS\'82\'cc\'95\'aa\'8e\'55\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'90\'dd\'8c\'76}</string>
2533 <key>VerticalPad</key>
2534 <real>0.0</real>
2535 </dict>
2536 </dict>
2537 <dict>
2538 <key>Bounds</key>
2539 <string>{{14, 14.786078060684787}, {2001.00004626803, 233.86746662237738}}</string>
2540 <key>Class</key>
2541 <string>ShapedGraphic</string>
2542 <key>FontInfo</key>
2543 <dict>
2544 <key>Font</key>
2545 <string>Helvetica</string>
2546 <key>Size</key>
2547 <real>10</real>
2548 </dict>
2549 <key>ID</key>
2550 <integer>3729</integer>
2551 <key>Style</key>
2552 <dict>
2553 <key>fill</key>
2554 <dict>
2555 <key>Color</key>
2556 <dict>
2557 <key>b</key>
2558 <real>0.91372500000000001</real>
2559 <key>g</key>
2560 <real>0.62745099999999998</real>
2561 <key>r</key>
2562 <real>0.0</real>
2563 </dict>
2564 <key>FillType</key>
2565 <integer>2</integer>
2566 <key>GradientAngle</key>
2567 <real>90</real>
2568 <key>GradientColor</key>
2569 <dict>
2570 <key>b</key>
2571 <string>0.72549</string>
2572 <key>g</key>
2573 <string>0.419608</string>
2574 <key>r</key>
2575 <string>0</string>
2576 </dict>
2577 </dict>
2578 <key>shadow</key>
2579 <dict>
2580 <key>Draws</key>
2581 <string>NO</string>
2582 </dict>
2583 <key>stroke</key>
2584 <dict>
2585 <key>Width</key>
2586 <real>0.5</real>
2587 </dict>
2588 </dict>
2589 </dict>
2590 </array>
2591 <key>ID</key>
2592 <integer>3725</integer>
2593 </dict>
2594 <dict>
2595 <key>Class</key>
2596 <string>Group</string>
2597 <key>Graphics</key>
2598 <array>
2599 <dict>
2600 <key>Class</key>
2601 <string>LineGraphic</string>
2602 <key>ID</key>
2603 <integer>3614</integer>
2604 <key>Points</key>
2605 <array>
2606 <string>{41.085916736741737, 296.6248941436113}</string>
2607 <string>{83.400440423100576, 296.34705111738697}</string>
2608 </array>
2609 <key>Style</key>
2610 <dict>
2611 <key>stroke</key>
2612 <dict>
2613 <key>Color</key>
2614 <dict>
2615 <key>b</key>
2616 <real>1</real>
2617 <key>g</key>
2618 <real>1</real>
2619 <key>r</key>
2620 <real>1</real>
2621 </dict>
2622 <key>HeadArrow</key>
2623 <string>FilledBall</string>
2624 <key>Legacy</key>
2625 <true/>
2626 <key>TailArrow</key>
2627 <string>0</string>
2628 <key>Width</key>
2629 <real>3</real>
2630 </dict>
2631 </dict>
2632 <key>Tail</key>
2633 <dict>
2634 <key>ID</key>
2635 <integer>3615</integer>
2636 <key>Position</key>
2637 <real>0.32640770077705383</real>
2638 </dict>
2639 </dict>
2640 <dict>
2641 <key>Class</key>
2642 <string>LineGraphic</string>
2643 <key>ID</key>
2644 <integer>3615</integer>
2645 <key>Points</key>
2646 <array>
2647 <string>{34.164741539660547, 316.79777321426974}</string>
2648 <string>{48.07320851485202, 276.25930765612168}</string>
2649 <string>{70.554174274646599, 276.25930765612168}</string>
2650 </array>
2651 <key>Style</key>
2652 <dict>
2653 <key>stroke</key>
2654 <dict>
2655 <key>Color</key>
2656 <dict>
2657 <key>b</key>
2658 <real>1</real>
2659 <key>g</key>
2660 <real>1</real>
2661 <key>r</key>
2662 <real>1</real>
2663 </dict>
2664 <key>HeadArrow</key>
2665 <string>FilledBall</string>
2666 <key>Legacy</key>
2667 <true/>
2668 <key>TailArrow</key>
2669 <string>0</string>
2670 <key>Width</key>
2671 <real>3</real>
2672 </dict>
2673 </dict>
2674 <key>Tail</key>
2675 <dict>
2676 <key>ID</key>
2677 <integer>3616</integer>
2678 <key>Position</key>
2679 <real>0.25490197539329529</real>
2680 </dict>
2681 </dict>
2682 <dict>
2683 <key>Class</key>
2684 <string>LineGraphic</string>
2685 <key>ID</key>
2686 <integer>3616</integer>
2687 <key>Points</key>
2688 <array>
2689 <string>{20.239631859868329, 316.43479457865146}</string>
2690 <string>{60.327858859148719, 317.47975366875255}</string>
2691 <string>{74.836262990798048, 316.43479457865146}</string>
2692 </array>
2693 <key>Style</key>
2694 <dict>
2695 <key>stroke</key>
2696 <dict>
2697 <key>Color</key>
2698 <dict>
2699 <key>b</key>
2700 <real>1</real>
2701 <key>g</key>
2702 <real>1</real>
2703 <key>r</key>
2704 <real>1</real>
2705 </dict>
2706 <key>HeadArrow</key>
2707 <string>FilledBall</string>
2708 <key>Legacy</key>
2709 <true/>
2710 <key>TailArrow</key>
2711 <string>0</string>
2712 <key>Width</key>
2713 <real>3</real>
2714 </dict>
2715 </dict>
2716 </dict>
2717 <dict>
2718 <key>Bounds</key>
2719 <string>{{27.929965899289527, 342.35171871851804}, {976.62532273875377, 398.90813052672945}}</string>
2720 <key>Class</key>
2721 <string>ShapedGraphic</string>
2722 <key>FontInfo</key>
2723 <dict>
2724 <key>Font</key>
2725 <string>HiraKakuProN-W3</string>
2726 <key>Size</key>
2727 <real>30</real>
2728 </dict>
2729 <key>ID</key>
2730 <integer>3617</integer>
2731 <key>Style</key>
2732 <dict>
2733 <key>fill</key>
2734 <dict>
2735 <key>Draws</key>
2736 <string>NO</string>
2737 </dict>
2738 <key>shadow</key>
2739 <dict>
2740 <key>Draws</key>
2741 <string>NO</string>
2742 </dict>
2743 <key>stroke</key>
2744 <dict>
2745 <key>Draws</key>
2746 <string>NO</string>
2747 </dict>
2748 </dict>
2749 <key>Text</key>
2750 <dict>
2751 <key>Align</key>
2752 <integer>0</integer>
2753 <key>Pad</key>
2754 <real>0.0</real>
2755 <key>Text</key>
2756 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
2757 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2758 {\colortbl;\red255\green255\blue255;}
2759 {\*\expandedcolortbl;;}
2760 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2761
2762 \f0\fs60 \cf0 \'81\'45\'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4eChristie\'82\'cc\'8d\'5c\'90\'ac\'82\'f0\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'c9\'89\'9e\'97\'70\'82\'b5\'82\'bd\'82\'a2\
2763 - Christie\'82\'c9\'82\'e6\'82\'e9\'92\'ca\'90\'4d\'82\'b3\'82\'ea\'82\'e9\'83\'66\'81\'5b\'83\'5e\'82\'f0\'88\'d3\'8e\'af\'82\'b5\'82\'bd\'8b\'4c\'8f\'71\'82\'aa\'8d\'73\'82\'a6\'82\'e9\
2764 - \'83\'76\'83\'8d\'83\'67\'83\'52\'83\'8b\'82\'f0\'97\'70\'82\'a2\'82\'c8\'82\'a2\'82\'b1\'82\'c6\'82\'c5\'81\'41\'83\'6c\'83\'62\'83\'67\'83\'8f\'81\'5b\'83\'4e\'82\'cc\'8c\'a9\'92\'ca\'82\'b5\'82\'f0\'8a\'6d\'95\'db\'82\'b7\'82\'e9\
2765 - \'8f\'ab\'97\'88\'93\'49\'82\'c9\'8e\'a9\'97\'a7\'95\'aa\'8e\'55\'82\'c8\'95\'aa\'8e\'55\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'f0\'96\'da\'8e\'77\'82\'b5\'82\'bd\'82\'a2\
2766 \'81\'45\'92\'ca\'90\'4d\'82\'cdGearsOS\'82\'c9\'8d\'87\'82\'ed\'82\'b9\'81\'41DataGear\'82\'c6\'82\'a2\'82\'a4\'92\'50\'88\'ca\'82\'c5\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
2767 \'81\'45\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cd\'95\'a1\'90\'94\'82\'ccstream\'82\'f0\'8e\'9d\'82\'bf\'81\'41\'92\'ca\'90\'4d\'82\'e0\'8d\'73\'82\'a4\
2768 \'81\'45Transaction\'82\'cdGearsOS\'82\'c9\'82\'e6\'82\'e8API\'83\'8c\'83\'78\'83\'8b\'82\'c5\'8e\'9d\'82\'c2\
2769 - OS\'83\'8c\'83\'78\'83\'8bTransaction\'82\'c9\'82\'e6\'82\'e9\'8a\'4a\'94\'ad\'82\'cc\'8c\'9f\'8f\'d8}</string>
2770 <key>VerticalPad</key>
2771 <real>1</real>
2772 </dict>
2773 </dict>
2774 <dict>
2775 <key>Bounds</key>
2776 <string>{{99.186936340189106, 270.01397395566283}, {843.98895263671841, 80.576691279153749}}</string>
2777 <key>Class</key>
2778 <string>ShapedGraphic</string>
2779 <key>FontInfo</key>
2780 <dict>
2781 <key>Color</key>
2782 <dict>
2783 <key>b</key>
2784 <string>1</string>
2785 <key>g</key>
2786 <string>1</string>
2787 <key>r</key>
2788 <string>1</string>
2789 </dict>
2790 <key>Font</key>
2791 <string>HiraKakuProN-W3</string>
2792 <key>Size</key>
2793 <real>40</real>
2794 </dict>
2795 <key>ID</key>
2796 <integer>3618</integer>
2797 <key>Style</key>
2798 <dict>
2799 <key>fill</key>
2800 <dict>
2801 <key>Draws</key>
2802 <string>NO</string>
2803 </dict>
2804 <key>shadow</key>
2805 <dict>
2806 <key>Draws</key>
2807 <string>NO</string>
2808 </dict>
2809 <key>stroke</key>
2810 <dict>
2811 <key>Draws</key>
2812 <string>NO</string>
2813 </dict>
2814 </dict>
2815 <key>Text</key>
2816 <dict>
2817 <key>Align</key>
2818 <integer>0</integer>
2819 <key>Pad</key>
2820 <real>0.0</real>
2821 <key>Text</key>
2822 <string>{\rtf1\ansi\ansicpg932\cocoartf2636
2823 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2824 {\colortbl;\red255\green255\blue255;}
2825 {\*\expandedcolortbl;;}
2826 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2827
2828 \f0\fs96 \cf1 GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'97\'76\'8c\'8f}</string>
2829 <key>VerticalPad</key>
2830 <real>0.0</real>
2831 </dict>
2832 </dict>
2833 <dict>
2834 <key>Bounds</key>
2835 <string>{{16.175907061398732, 259.37008109346147}, {994.98516845703068, 75.057739821677444}}</string>
2836 <key>Class</key>
2837 <string>ShapedGraphic</string>
2838 <key>ID</key>
2839 <integer>3619</integer>
2840 <key>Style</key>
2841 <dict>
2842 <key>fill</key>
2843 <dict>
2844 <key>Color</key>
2845 <dict>
2846 <key>b</key>
2847 <real>0.80000000000000004</real>
2848 <key>g</key>
2849 <real>0.59999999999999998</real>
2850 <key>r</key>
2851 <real>0.20000000000000001</real>
2852 </dict>
2853 <key>FillType</key>
2854 <integer>2</integer>
2855 <key>GradientAngle</key>
2856 <real>90</real>
2857 <key>GradientColor</key>
2858 <dict>
2859 <key>b</key>
2860 <string>0.8</string>
2861 <key>g</key>
2862 <string>0.4</string>
2863 <key>r</key>
2864 <string>0</string>
2865 </dict>
2866 </dict>
2867 <key>shadow</key>
2868 <dict>
2869 <key>Draws</key>
2870 <string>NO</string>
2871 </dict>
2872 <key>stroke</key>
2873 <dict>
2874 <key>Width</key>
2875 <real>0.5</real>
2876 </dict>
2877 </dict>
2878 </dict>
2879 <dict>
2880 <key>Bounds</key>
2881 <string>{{16.175907061398789, 334.42782091513925}, {995.30243968770242, 384.15486277002429}}</string>
2882 <key>Class</key>
2883 <string>ShapedGraphic</string>
2884 <key>ID</key>
2885 <integer>3620</integer>
2886 <key>Style</key>
2887 <dict>
2888 <key>shadow</key>
2889 <dict>
2890 <key>Draws</key>
2891 <string>NO</string>
2892 </dict>
2893 <key>stroke</key>
2894 <dict>
2895 <key>Width</key>
2896 <real>0.5</real>
2897 </dict>
2898 </dict>
2899 </dict>
2900 </array>
2901 <key>ID</key>
2902 <integer>3613</integer>
2903 </dict>
2904 <dict>
988 <key>Bounds</key> 2905 <key>Bounds</key>
989 <string>{{13.840645106206182, 1894.9606471145244}, {994.98516845703114, 945.35433928600446}}</string> 2906 <string>{{35.433071187631349, 2745.3543556176769}, {823.46457440055258, 187.08661587069355}}</string>
2907 <key>Class</key>
2908 <string>ShapedGraphic</string>
2909 <key>ID</key>
2910 <integer>3668</integer>
2911 <key>ImageID</key>
2912 <integer>35</integer>
2913 <key>Style</key>
2914 <dict>
2915 <key>shadow</key>
2916 <dict>
2917 <key>Draws</key>
2918 <string>NO</string>
2919 </dict>
2920 <key>stroke</key>
2921 <dict>
2922 <key>CornerRadius</key>
2923 <real>3</real>
2924 <key>Draws</key>
2925 <string>NO</string>
2926 </dict>
2927 </dict>
2928 </dict>
2929 <dict>
2930 <key>Bounds</key>
2931 <string>{{16.493178292069786, 2390.9921470611107}, {994.98516845703114, 565.54331283484908}}</string>
990 <key>Class</key> 2932 <key>Class</key>
991 <string>ShapedGraphic</string> 2933 <string>ShapedGraphic</string>
992 <key>FontInfo</key> 2934 <key>FontInfo</key>
993 <dict> 2935 <dict>
994 <key>Font</key> 2936 <key>Font</key>
995 <string>HiraKakuProN-W3</string> 2937 <string>HiraKakuProN-W3</string>
996 <key>Size</key> 2938 <key>Size</key>
997 <real>46</real> 2939 <real>46</real>
998 </dict> 2940 </dict>
999 <key>ID</key> 2941 <key>ID</key>
1000 <integer>3497</integer> 2942 <integer>3575</integer>
1001 <key>Link</key> 2943 <key>Link</key>
1002 <dict> 2944 <dict>
1003 <key>fileReference</key> 2945 <key>fileReference</key>
1004 <dict> 2946 <dict>
1005 <key>alias</key> 2947 <key>alias</key>
1083 </dict> 3025 </dict>
1084 </dict> 3026 </dict>
1085 </dict> 3027 </dict>
1086 <dict> 3028 <dict>
1087 <key>Bounds</key> 3029 <key>Bounds</key>
1088 <string>{{1046.7927523603337, 1633.4173375460105}, {959.36545032042841, 111}}</string> 3030 <string>{{1072.9133955614773, 1486.8454402919813}, {852.91523165681042, 519.55989551351945}}</string>
1089 <key>Class</key> 3031 <key>Class</key>
1090 <string>ShapedGraphic</string> 3032 <string>ShapedGraphic</string>
1091 <key>FitText</key>
1092 <string>Vertical</string>
1093 <key>Flow</key>
1094 <string>Resize</string>
1095 <key>FontInfo</key>
1096 <dict>
1097 <key>Font</key>
1098 <string>HiraKakuProN-W3</string>
1099 <key>Size</key>
1100 <real>14</real>
1101 </dict>
1102 <key>ID</key> 3033 <key>ID</key>
1103 <integer>3471</integer> 3034 <integer>3742</integer>
3035 <key>ImageID</key>
3036 <integer>36</integer>
1104 <key>Style</key> 3037 <key>Style</key>
1105 <dict> 3038 <dict>
1106 <key>fill</key>
1107 <dict>
1108 <key>Color</key>
1109 <dict>
1110 <key>b</key>
1111 <real>0.66274500000000003</real>
1112 <key>g</key>
1113 <real>1</real>
1114 <key>r</key>
1115 <real>1</real>
1116 </dict>
1117 </dict>
1118 <key>shadow</key> 3039 <key>shadow</key>
1119 <dict> 3040 <dict>
1120 <key>Draws</key> 3041 <key>Draws</key>
1121 <string>NO</string> 3042 <string>NO</string>
1122 </dict> 3043 </dict>
1123 <key>stroke</key> 3044 <key>stroke</key>
1124 <dict> 3045 <dict>
3046 <key>CornerRadius</key>
3047 <real>3</real>
1125 <key>Draws</key> 3048 <key>Draws</key>
1126 <string>NO</string> 3049 <string>NO</string>
1127 </dict> 3050 </dict>
1128 </dict>
1129 <key>Text</key>
1130 <dict>
1131 <key>Align</key>
1132 <integer>0</integer>
1133 <key>Pad</key>
1134 <real>0.0</real>
1135 <key>Text</key>
1136 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1137 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1138 {\colortbl;\red255\green255\blue255;}
1139 {\*\expandedcolortbl;;}
1140 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1141
1142 \f0\fs48 \cf0 comp-associative : (a : CodeSegment A B) (b : CodeSegment C D) \
1143 (c : CodeSegment E F) -&gt; csComp c (csComp b a) \'81\'df csComp (csComp c b) a\
1144 -- c . (b . a) \'81\'df (c . b) . a}</string>
1145 <key>VerticalPad</key>
1146 <real>1</real>
1147 </dict> 3051 </dict>
1148 </dict> 3052 </dict>
1149 <dict> 3053 <dict>
1150 <key>Bounds</key> 3054 <key>Bounds</key>
1151 <string>{{1037.4015843063826, 1534.3642851253569}, {978.14778642833062, 93}}</string> 3055 <string>{{1020.0148778109988, 1232.2781376662074}, {995.30243968770264, 1034.0210954946938}}</string>
1152 <key>Class</key>
1153 <string>ShapedGraphic</string>
1154 <key>FitText</key>
1155 <string>Vertical</string>
1156 <key>Flow</key>
1157 <string>Resize</string>
1158 <key>FontInfo</key>
1159 <dict>
1160 <key>Font</key>
1161 <string>HiraKakuProN-W3</string>
1162 <key>Size</key>
1163 <real>14</real>
1164 </dict>
1165 <key>ID</key>
1166 <integer>3505</integer>
1167 <key>Style</key>
1168 <dict>
1169 <key>fill</key>
1170 <dict>
1171 <key>Draws</key>
1172 <string>NO</string>
1173 </dict>
1174 <key>shadow</key>
1175 <dict>
1176 <key>Draws</key>
1177 <string>NO</string>
1178 </dict>
1179 <key>stroke</key>
1180 <dict>
1181 <key>Draws</key>
1182 <string>NO</string>
1183 </dict>
1184 </dict>
1185 <key>Text</key>
1186 <dict>
1187 <key>Align</key>
1188 <integer>0</integer>
1189 <key>Pad</key>
1190 <real>0.0</real>
1191 <key>Text</key>
1192 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1193 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1194 {\colortbl;\red255\green255\blue255;}
1195 {\*\expandedcolortbl;;}
1196 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1197
1198 \f0\fs60 \cf0 \'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'cd\'95\'94\'95\'aa\'8c\'5e\'82\'f0\'97\'98\'97\'70\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'92\'e8\'8b\'60\'89\'c2\'94\'5c\
1199 \'81\'45CbC \'82\'f0 Agda \'8f\'e3\'82\'c5\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8f\'d8\'96\'be\'82\'aa\'89\'c2\'94\'5c\'82\'c9\'82\'c8\'82\'c1\'82\'bd}</string>
1200 <key>VerticalPad</key>
1201 <real>1</real>
1202 </dict>
1203 </dict>
1204 <dict>
1205 <key>Bounds</key>
1206 <string>{{1045.9055213914141, 1263.9249580692376}, {959.36545032042841, 255}}</string>
1207 <key>Class</key>
1208 <string>ShapedGraphic</string>
1209 <key>FitText</key>
1210 <string>Vertical</string>
1211 <key>Flow</key>
1212 <string>Resize</string>
1213 <key>FontInfo</key>
1214 <dict>
1215 <key>Font</key>
1216 <string>HiraKakuProN-W3</string>
1217 <key>Size</key>
1218 <real>14</real>
1219 </dict>
1220 <key>ID</key>
1221 <integer>3468</integer>
1222 <key>Style</key>
1223 <dict>
1224 <key>fill</key>
1225 <dict>
1226 <key>Color</key>
1227 <dict>
1228 <key>b</key>
1229 <real>0.66274500000000003</real>
1230 <key>g</key>
1231 <real>1</real>
1232 <key>r</key>
1233 <real>1</real>
1234 </dict>
1235 </dict>
1236 <key>shadow</key>
1237 <dict>
1238 <key>Draws</key>
1239 <string>NO</string>
1240 </dict>
1241 <key>stroke</key>
1242 <dict>
1243 <key>Draws</key>
1244 <string>NO</string>
1245 </dict>
1246 </dict>
1247 <key>Text</key>
1248 <dict>
1249 <key>Align</key>
1250 <integer>0</integer>
1251 <key>Pad</key>
1252 <real>0.0</real>
1253 <key>Text</key>
1254 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1255 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1256 {\colortbl;\red255\green255\blue255;}
1257 {\*\expandedcolortbl;;}
1258 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1259
1260 \f0\fs48 \cf0 record ds0 : Set where\
1261 field\
1262 a : Int\
1263 b : Int\
1264 \
1265 cs0 : CodeSegment ds0 ds1\
1266 cs0 = cs (\\d -&gt; goto cs1 (record \{c = (ds0.a d) + (ds0.b d)\}))}</string>
1267 <key>VerticalPad</key>
1268 <real>1</real>
1269 </dict>
1270 </dict>
1271 <dict>
1272 <key>Bounds</key>
1273 <string>{{1046.7636235553848, 927.78233119476795}, {959.36545032042841, 75}}</string>
1274 <key>Class</key>
1275 <string>ShapedGraphic</string>
1276 <key>FitText</key>
1277 <string>Vertical</string>
1278 <key>Flow</key>
1279 <string>Resize</string>
1280 <key>FontInfo</key>
1281 <dict>
1282 <key>Font</key>
1283 <string>HiraKakuProN-W3</string>
1284 <key>Size</key>
1285 <real>14</real>
1286 </dict>
1287 <key>ID</key>
1288 <integer>3467</integer>
1289 <key>Style</key>
1290 <dict>
1291 <key>fill</key>
1292 <dict>
1293 <key>Color</key>
1294 <dict>
1295 <key>b</key>
1296 <real>0.66274500000000003</real>
1297 <key>g</key>
1298 <real>1</real>
1299 <key>r</key>
1300 <real>1</real>
1301 </dict>
1302 </dict>
1303 <key>shadow</key>
1304 <dict>
1305 <key>Draws</key>
1306 <string>NO</string>
1307 </dict>
1308 <key>stroke</key>
1309 <dict>
1310 <key>Draws</key>
1311 <string>NO</string>
1312 </dict>
1313 </dict>
1314 <key>Text</key>
1315 <dict>
1316 <key>Align</key>
1317 <integer>0</integer>
1318 <key>Pad</key>
1319 <real>0.0</real>
1320 <key>Text</key>
1321 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1322 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1323 {\colortbl;\red255\green255\blue255;}
1324 {\*\expandedcolortbl;;}
1325 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1326
1327 \f0\fs48 \cf0 f : \{A B C : Set\} -&gt; ((A -&gt; B) \'81\'7e (B -&gt; C)) -&gt; (A -&gt; C)\
1328 f = \\p x -&gt; (snd p) ((fst p) x)}</string>
1329 <key>VerticalPad</key>
1330 <real>1</real>
1331 </dict>
1332 </dict>
1333 <dict>
1334 <key>Bounds</key>
1335 <string>{{1040.3417559681222, 860.68099333880286}, {964.78997414196579, 48}}</string>
1336 <key>Class</key>
1337 <string>ShapedGraphic</string>
1338 <key>FitText</key>
1339 <string>Vertical</string>
1340 <key>Flow</key>
1341 <string>Resize</string>
1342 <key>FontInfo</key>
1343 <dict>
1344 <key>Font</key>
1345 <string>HiraKakuProN-W3</string>
1346 <key>Size</key>
1347 <real>14</real>
1348 </dict>
1349 <key>ID</key>
1350 <integer>3466</integer>
1351 <key>Style</key>
1352 <dict>
1353 <key>fill</key>
1354 <dict>
1355 <key>Draws</key>
1356 <string>NO</string>
1357 </dict>
1358 <key>shadow</key>
1359 <dict>
1360 <key>Draws</key>
1361 <string>NO</string>
1362 </dict>
1363 <key>stroke</key>
1364 <dict>
1365 <key>Draws</key>
1366 <string>NO</string>
1367 </dict>
1368 </dict>
1369 <key>Text</key>
1370 <dict>
1371 <key>Align</key>
1372 <integer>0</integer>
1373 <key>Pad</key>
1374 <real>0.0</real>
1375 <key>Text</key>
1376 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1377 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1378 {\colortbl;\red255\green255\blue255;}
1379 {\*\expandedcolortbl;;}
1380 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1381
1382 \f0\fs60 \cf0 \'81\'45\'8e\'4f\'92\'69\'98\'5f\'96\'40\'82\'cc Agda \'82\'c9\'82\'e6\'82\'e9\'8f\'d8\'96\'be\'82\'cd\'88\'c8\'89\'ba\'82\'cc\'82\'e6\'82\'a4\'82\'c9\'82\'c8\'82\'e9}</string>
1383 <key>VerticalPad</key>
1384 <real>1</real>
1385 </dict>
1386 </dict>
1387 <dict>
1388 <key>Bounds</key>
1389 <string>{{485.74694453537722, 1095.9834683055628}, {513.66007214516185, 228}}</string>
1390 <key>Class</key>
1391 <string>ShapedGraphic</string>
1392 <key>FitText</key>
1393 <string>Vertical</string>
1394 <key>Flow</key>
1395 <string>Resize</string>
1396 <key>FontInfo</key>
1397 <dict>
1398 <key>Font</key>
1399 <string>HiraKakuProN-W3</string>
1400 <key>Size</key>
1401 <real>14</real>
1402 </dict>
1403 <key>ID</key>
1404 <integer>3439</integer>
1405 <key>Style</key>
1406 <dict>
1407 <key>fill</key>
1408 <dict>
1409 <key>Draws</key>
1410 <string>NO</string>
1411 </dict>
1412 <key>shadow</key>
1413 <dict>
1414 <key>Draws</key>
1415 <string>NO</string>
1416 </dict>
1417 <key>stroke</key>
1418 <dict>
1419 <key>Draws</key>
1420 <string>NO</string>
1421 </dict>
1422 </dict>
1423 <key>Text</key>
1424 <dict>
1425 <key>Align</key>
1426 <integer>0</integer>
1427 <key>Pad</key>
1428 <real>0.0</real>
1429 <key>Text</key>
1430 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1431 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1432 {\colortbl;\red255\green255\blue255;}
1433 {\*\expandedcolortbl;;}
1434 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1435
1436 \f0\fs60 \cf0 \'81\'45CbC \'82\'cc\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'97\'e1\
1437 \'81\'45cs0 \'82\'c6 cs1 \'82\'aa CodeSegment\
1438 \'81\'45a \'82\'c6 b \'82\'cc\'90\'94\'92\'6c\'82\'f0\'89\'c1\'8e\'5a\'82\'b7\'82\'e9 cs0\
1439 \'81\'45\'88\'f8\'90\'94\'95\'94\'95\'aa\'82\'aa DataSegment\
1440 \'81\'45goto \'82\'aa CodeSegment \'82\'cc\'90\'da\'91\'b1}</string>
1441 <key>VerticalPad</key>
1442 <real>1</real>
1443 </dict>
1444 </dict>
1445 <dict>
1446 <key>Bounds</key>
1447 <string>{{1685.9999397825284, 190.71418127401233}, {329, 100}}</string>
1448 <key>Class</key> 3056 <key>Class</key>
1449 <string>ShapedGraphic</string> 3057 <string>ShapedGraphic</string>
1450 <key>ID</key> 3058 <key>ID</key>
1451 <integer>3434</integer> 3059 <integer>3714</integer>
1452 <key>ImageID</key>
1453 <integer>22</integer>
1454 <key>Style</key>
1455 <dict>
1456 <key>fill</key>
1457 <dict>
1458 <key>Draws</key>
1459 <string>NO</string>
1460 </dict>
1461 <key>shadow</key>
1462 <dict>
1463 <key>Draws</key>
1464 <string>NO</string>
1465 </dict>
1466 <key>stroke</key>
1467 <dict>
1468 <key>Draws</key>
1469 <string>NO</string>
1470 </dict>
1471 </dict>
1472 </dict>
1473 <dict>
1474 <key>Class</key>
1475 <string>Group</string>
1476 <key>Graphics</key>
1477 <array>
1478 <dict>
1479 <key>Bounds</key>
1480 <string>{{100.34636690551133, 1387.4282842332475}, {992.30892108419039, 70}}</string>
1481 <key>Class</key>
1482 <string>ShapedGraphic</string>
1483 <key>FitText</key>
1484 <string>Vertical</string>
1485 <key>Flow</key>
1486 <string>Resize</string>
1487 <key>FontInfo</key>
1488 <dict>
1489 <key>Color</key>
1490 <dict>
1491 <key>b</key>
1492 <string>1</string>
1493 <key>g</key>
1494 <string>1</string>
1495 <key>r</key>
1496 <string>1</string>
1497 </dict>
1498 <key>Font</key>
1499 <string>HiraKakuProN-W3</string>
1500 <key>Size</key>
1501 <real>48</real>
1502 </dict>
1503 <key>ID</key>
1504 <integer>3403</integer>
1505 <key>Style</key>
1506 <dict>
1507 <key>fill</key>
1508 <dict>
1509 <key>Draws</key>
1510 <string>NO</string>
1511 </dict>
1512 <key>shadow</key>
1513 <dict>
1514 <key>Draws</key>
1515 <string>NO</string>
1516 </dict>
1517 <key>stroke</key>
1518 <dict>
1519 <key>Draws</key>
1520 <string>NO</string>
1521 </dict>
1522 </dict>
1523 <key>Text</key>
1524 <dict>
1525 <key>Align</key>
1526 <integer>0</integer>
1527 <key>Pad</key>
1528 <real>0.0</real>
1529 <key>Text</key>
1530 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1531 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1532 {\colortbl;\red255\green255\blue255;}
1533 {\*\expandedcolortbl;;}
1534 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1535
1536 \f0\fs92 \cf1 CbC \'82\'c6\'83\'81\'83\'5e\'8c\'76\'8e\'5a}</string>
1537 <key>VerticalPad</key>
1538 <real>0.0</real>
1539 </dict>
1540 </dict>
1541 <dict>
1542 <key>Class</key>
1543 <string>Group</string>
1544 <key>Graphics</key>
1545 <array>
1546 <dict>
1547 <key>Class</key>
1548 <string>LineGraphic</string>
1549 <key>ID</key>
1550 <integer>3405</integer>
1551 <key>Points</key>
1552 <array>
1553 <string>{40.555151194611305, 1412.9848764270312}</string>
1554 <string>{83.40044042310069, 1413.7790255293316}</string>
1555 </array>
1556 <key>Style</key>
1557 <dict>
1558 <key>stroke</key>
1559 <dict>
1560 <key>Color</key>
1561 <dict>
1562 <key>b</key>
1563 <real>1</real>
1564 <key>g</key>
1565 <real>1</real>
1566 <key>r</key>
1567 <real>1</real>
1568 </dict>
1569 <key>HeadArrow</key>
1570 <string>FilledBall</string>
1571 <key>Legacy</key>
1572 <true/>
1573 <key>TailArrow</key>
1574 <string>0</string>
1575 <key>Width</key>
1576 <real>3</real>
1577 </dict>
1578 </dict>
1579 <key>Tail</key>
1580 <dict>
1581 <key>ID</key>
1582 <integer>3406</integer>
1583 <key>Position</key>
1584 <real>0.32640770077705383</real>
1585 </dict>
1586 </dict>
1587 <dict>
1588 <key>Class</key>
1589 <string>LineGraphic</string>
1590 <key>ID</key>
1591 <integer>3406</integer>
1592 <key>Points</key>
1593 <array>
1594 <string>{34.163252942216417, 1432.3067145767498}</string>
1595 <string>{45.892375706150709, 1396.8511734003855}</string>
1596 <string>{48.073208514852034, 1395.5801487897534}</string>
1597 <string>{70.554174274646613, 1395.5801487897534}</string>
1598 </array>
1599 <key>Style</key>
1600 <dict>
1601 <key>stroke</key>
1602 <dict>
1603 <key>Color</key>
1604 <dict>
1605 <key>b</key>
1606 <real>1</real>
1607 <key>g</key>
1608 <real>1</real>
1609 <key>r</key>
1610 <real>1</real>
1611 </dict>
1612 <key>HeadArrow</key>
1613 <string>FilledBall</string>
1614 <key>Legacy</key>
1615 <true/>
1616 <key>TailArrow</key>
1617 <string>0</string>
1618 <key>Width</key>
1619 <real>3</real>
1620 </dict>
1621 </dict>
1622 <key>Tail</key>
1623 <dict>
1624 <key>ID</key>
1625 <integer>3407</integer>
1626 <key>Position</key>
1627 <real>0.25490197539329529</real>
1628 </dict>
1629 </dict>
1630 <dict>
1631 <key>Class</key>
1632 <string>LineGraphic</string>
1633 <key>ID</key>
1634 <integer>3407</integer>
1635 <key>Points</key>
1636 <array>
1637 <string>{20.239631859868325, 1431.9779022689095}</string>
1638 <string>{60.327858859148876, 1432.9246030128397}</string>
1639 <string>{74.836262990798161, 1431.9779022689095}</string>
1640 </array>
1641 <key>Style</key>
1642 <dict>
1643 <key>stroke</key>
1644 <dict>
1645 <key>Color</key>
1646 <dict>
1647 <key>b</key>
1648 <real>1</real>
1649 <key>g</key>
1650 <real>1</real>
1651 <key>r</key>
1652 <real>1</real>
1653 </dict>
1654 <key>HeadArrow</key>
1655 <string>FilledBall</string>
1656 <key>Legacy</key>
1657 <true/>
1658 <key>TailArrow</key>
1659 <string>0</string>
1660 <key>Width</key>
1661 <real>3</real>
1662 </dict>
1663 </dict>
1664 </dict>
1665 <dict>
1666 <key>Bounds</key>
1667 <string>{{16.175907061398732, 1377.421631905228}, {994.98516845703114, 68}}</string>
1668 <key>Class</key>
1669 <string>ShapedGraphic</string>
1670 <key>ID</key>
1671 <integer>3408</integer>
1672 <key>Style</key>
1673 <dict>
1674 <key>fill</key>
1675 <dict>
1676 <key>Color</key>
1677 <dict>
1678 <key>b</key>
1679 <real>0.80000000000000004</real>
1680 <key>g</key>
1681 <real>0.59999999999999998</real>
1682 <key>r</key>
1683 <real>0.20000000000000001</real>
1684 </dict>
1685 <key>FillType</key>
1686 <integer>2</integer>
1687 <key>GradientAngle</key>
1688 <real>90</real>
1689 <key>GradientColor</key>
1690 <dict>
1691 <key>b</key>
1692 <string>0.8</string>
1693 <key>g</key>
1694 <string>0.4</string>
1695 <key>r</key>
1696 <string>0</string>
1697 </dict>
1698 </dict>
1699 <key>shadow</key>
1700 <dict>
1701 <key>Draws</key>
1702 <string>NO</string>
1703 </dict>
1704 <key>stroke</key>
1705 <dict>
1706 <key>Width</key>
1707 <real>0.5</real>
1708 </dict>
1709 </dict>
1710 </dict>
1711 </array>
1712 <key>ID</key>
1713 <integer>3404</integer>
1714 </dict>
1715 </array>
1716 <key>ID</key>
1717 <integer>3402</integer>
1718 </dict>
1719 <dict>
1720 <key>Bounds</key>
1721 <string>{{33.455721994961721, 851.81709726088661}, {971.09956664308152, 228}}</string>
1722 <key>Class</key>
1723 <string>ShapedGraphic</string>
1724 <key>FitText</key>
1725 <string>Vertical</string>
1726 <key>Flow</key>
1727 <string>Resize</string>
1728 <key>FontInfo</key>
1729 <dict>
1730 <key>Font</key>
1731 <string>HiraKakuProN-W3</string>
1732 <key>Size</key>
1733 <real>14</real>
1734 </dict>
1735 <key>ID</key>
1736 <integer>3367</integer>
1737 <key>Style</key>
1738 <dict>
1739 <key>fill</key>
1740 <dict>
1741 <key>Draws</key>
1742 <string>NO</string>
1743 </dict>
1744 <key>shadow</key>
1745 <dict>
1746 <key>Draws</key>
1747 <string>NO</string>
1748 </dict>
1749 <key>stroke</key>
1750 <dict>
1751 <key>Draws</key>
1752 <string>NO</string>
1753 </dict>
1754 </dict>
1755 <key>Text</key>
1756 <dict>
1757 <key>Align</key>
1758 <integer>0</integer>
1759 <key>Pad</key>
1760 <real>0.0</real>
1761 <key>Text</key>
1762 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1763 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1764 {\colortbl;\red255\green255\blue255;}
1765 {\*\expandedcolortbl;;}
1766 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1767
1768 \f0\fs60 \cf0 \'81\'45\'83\'41\'83\'5a\'83\'93\'83\'75\'83\'89\'82\'c6C\'8c\'be\'8c\'ea\'82\'cc\'92\'86\'8a\'d4\'82\'cc\'82\'e6\'82\'a4\'82\'c8\'8c\'be\'8c\'ea\'82\'c5\'81\'41\'8d\'5c\'95\'b6\'82\'cd\'82\'d9\'82\'c6\'82\'f1\'82\'c7 C \'8c\'be\'8c\'ea\
1769 \'81\'45OS \'82\'e2\'91\'67\'82\'dd\'8d\'9e\'82\'dd\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'c8\'82\'c7\'82\'aa\'91\'ce\'8f\'db\
1770 \'81\'45CodeSegment \'82\'c6 DataSegment \'82\'c6\'82\'a2\'82\'a4\'92\'50\'88\'ca\'82\'c5\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'7e\'83\'93\'83\'4f\
1771 \'81\'45CodeSegment \'82\'f0\'90\'da\'91\'b1\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'f0\'8d\'5c\'90\'ac\'82\'b7\'82\'e9\
1772 \'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'cc\'90\'d8\'82\'e8\'91\'d6\'82\'a6\'82\'c9\'82\'e6\'82\'e8\'8c\'9f\'8f\'d8\'82\'e2\'95\'c0\'97\'f1\'8e\'c0\'8d\'73\'81\'41\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'82\'f0\'8d\'73\'82\'c8\'82\'a4}</string>
1773 <key>VerticalPad</key>
1774 <real>1</real>
1775 </dict>
1776 </dict>
1777 <dict>
1778 <key>Bounds</key>
1779 <string>{{49.606299662683888, 1090.633033696635}, {429.48782970673949, 255}}</string>
1780 <key>Class</key>
1781 <string>ShapedGraphic</string>
1782 <key>FitText</key>
1783 <string>Vertical</string>
1784 <key>Flow</key>
1785 <string>Resize</string>
1786 <key>FontInfo</key>
1787 <dict>
1788 <key>Font</key>
1789 <string>HiraKakuProN-W3</string>
1790 <key>Size</key>
1791 <real>28</real>
1792 </dict>
1793 <key>ID</key>
1794 <integer>3365</integer>
1795 <key>Style</key>
1796 <dict>
1797 <key>fill</key>
1798 <dict>
1799 <key>Color</key>
1800 <dict>
1801 <key>b</key>
1802 <real>0.66274509803921566</real>
1803 <key>g</key>
1804 <real>1</real>
1805 <key>r</key>
1806 <real>1</real>
1807 </dict>
1808 </dict>
1809 <key>shadow</key>
1810 <dict>
1811 <key>Draws</key>
1812 <string>NO</string>
1813 </dict>
1814 <key>stroke</key>
1815 <dict>
1816 <key>Draws</key>
1817 <string>NO</string>
1818 </dict>
1819 </dict>
1820 <key>Text</key>
1821 <dict>
1822 <key>Align</key>
1823 <integer>0</integer>
1824 <key>Pad</key>
1825 <real>0.0</real>
1826 <key>Text</key>
1827 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1828 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1829 {\colortbl;\red255\green255\blue255;}
1830 {\*\expandedcolortbl;;}
1831 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1832
1833 \f0\fs56 \cf0 __code cs0(int a, int b) \{\
1834 goto cs1(a+b);\
1835 \}\
1836 __code cs1(int c) \{\
1837 goto cs2(c);\
1838 \}}</string>
1839 <key>VerticalPad</key>
1840 <real>1</real>
1841 </dict>
1842 </dict>
1843 <dict>
1844 <key>Bounds</key>
1845 <string>{{1024.2362638616421, 1126.6604735834671}, {978.14778642833062, 138}}</string>
1846 <key>Class</key>
1847 <string>ShapedGraphic</string>
1848 <key>FitText</key>
1849 <string>Vertical</string>
1850 <key>Flow</key>
1851 <string>Resize</string>
1852 <key>FontInfo</key>
1853 <dict>
1854 <key>Font</key>
1855 <string>HiraKakuProN-W3</string>
1856 <key>Size</key>
1857 <real>14</real>
1858 </dict>
1859 <key>ID</key>
1860 <integer>3090</integer>
1861 <key>Style</key>
1862 <dict>
1863 <key>fill</key>
1864 <dict>
1865 <key>Draws</key>
1866 <string>NO</string>
1867 </dict>
1868 <key>shadow</key>
1869 <dict>
1870 <key>Draws</key>
1871 <string>NO</string>
1872 </dict>
1873 <key>stroke</key>
1874 <dict>
1875 <key>Draws</key>
1876 <string>NO</string>
1877 </dict>
1878 </dict>
1879 <key>Text</key>
1880 <dict>
1881 <key>Align</key>
1882 <integer>0</integer>
1883 <key>Pad</key>
1884 <real>0.0</real>
1885 <key>Text</key>
1886 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1887 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1888 {\colortbl;\red255\green255\blue255;}
1889 {\*\expandedcolortbl;;}
1890 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1891
1892 \f0\fs60 \cf0 \'81\'45CbC \'82\'c5 CbC \'8e\'a9\'90\'67\'82\'f0\'8f\'d8\'96\'be\'82\'b5\'82\'bd\'82\'a2\'82\'aa\'8c\'bb\'8f\'f3\'82\'c5\'82\'cd\'82\'c5\'82\'ab\'82\'c8\'82\'a2\
1893 \'81\'45\'8f\'d8\'96\'be\'8e\'78\'89\'87\'8c\'6e Agda \'8f\'e3\'82\'c5 CbC \'82\'f0\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8c\'60\'8e\'ae\'93\'49\'82\'c8\'92\'e8\'8b\'60\'82\'f0\'93\'be\'82\'e9\
1894 \'81\'45DataSegemnt \'82\'cd\'83\'8c\'83\'52\'81\'5b\'83\'68\'8c\'5e\'82\'c6\'82\'c8\'82\'e8\'81\'41CodeSegment \'82\'cd\'8a\'d6\'90\'94\'8c\'5e\'82\'c6\'82\'c8\'82\'e9}</string>
1895 <key>VerticalPad</key>
1896 <real>1</real>
1897 </dict>
1898 </dict>
1899 <dict>
1900 <key>Class</key>
1901 <string>Group</string>
1902 <key>Graphics</key>
1903 <array>
1904 <dict>
1905 <key>Bounds</key>
1906 <string>{{1108.0508108271424, 1055.676398718922}, {889.0382080078125, 73}}</string>
1907 <key>Class</key>
1908 <string>ShapedGraphic</string>
1909 <key>FitText</key>
1910 <string>Vertical</string>
1911 <key>Flow</key>
1912 <string>Resize</string>
1913 <key>FontInfo</key>
1914 <dict>
1915 <key>Color</key>
1916 <dict>
1917 <key>b</key>
1918 <string>1</string>
1919 <key>g</key>
1920 <string>1</string>
1921 <key>r</key>
1922 <string>1</string>
1923 </dict>
1924 <key>Font</key>
1925 <string>HiraKakuProN-W3</string>
1926 <key>Size</key>
1927 <real>48</real>
1928 </dict>
1929 <key>ID</key>
1930 <integer>3480</integer>
1931 <key>Style</key>
1932 <dict>
1933 <key>fill</key>
1934 <dict>
1935 <key>Draws</key>
1936 <string>NO</string>
1937 </dict>
1938 <key>shadow</key>
1939 <dict>
1940 <key>Draws</key>
1941 <string>NO</string>
1942 </dict>
1943 <key>stroke</key>
1944 <dict>
1945 <key>Draws</key>
1946 <string>NO</string>
1947 </dict>
1948 </dict>
1949 <key>Text</key>
1950 <dict>
1951 <key>Align</key>
1952 <integer>0</integer>
1953 <key>Pad</key>
1954 <real>0.0</real>
1955 <key>Text</key>
1956 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
1957 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
1958 {\colortbl;\red255\green255\blue255;}
1959 {\*\expandedcolortbl;;}
1960 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
1961
1962 \f0\fs96 \cf1 Agda \'82\'c6 Continuation based C}</string>
1963 <key>VerticalPad</key>
1964 <real>0.0</real>
1965 </dict>
1966 </dict>
1967 <dict>
1968 <key>Class</key>
1969 <string>Group</string>
1970 <key>Graphics</key>
1971 <array>
1972 <dict>
1973 <key>Class</key>
1974 <string>LineGraphic</string>
1975 <key>ID</key>
1976 <integer>3482</integer>
1977 <key>Points</key>
1978 <array>
1979 <string>{1048.2595951162423, 1081.2329909127059}</string>
1980 <string>{1091.1048843447318, 1082.0271400150064}</string>
1981 </array>
1982 <key>Style</key>
1983 <dict>
1984 <key>stroke</key>
1985 <dict>
1986 <key>Color</key>
1987 <dict>
1988 <key>b</key>
1989 <real>1</real>
1990 <key>g</key>
1991 <real>1</real>
1992 <key>r</key>
1993 <real>1</real>
1994 </dict>
1995 <key>HeadArrow</key>
1996 <string>FilledBall</string>
1997 <key>Legacy</key>
1998 <true/>
1999 <key>TailArrow</key>
2000 <string>0</string>
2001 <key>Width</key>
2002 <real>3</real>
2003 </dict>
2004 </dict>
2005 <key>Tail</key>
2006 <dict>
2007 <key>ID</key>
2008 <integer>3483</integer>
2009 <key>Position</key>
2010 <real>0.32640770077705383</real>
2011 </dict>
2012 </dict>
2013 <dict>
2014 <key>Class</key>
2015 <string>LineGraphic</string>
2016 <key>ID</key>
2017 <integer>3483</integer>
2018 <key>Points</key>
2019 <array>
2020 <string>{1041.8676968638474, 1100.554829062424}</string>
2021 <string>{1053.5968196277818, 1065.0992878860602}</string>
2022 <string>{1055.7776524364831, 1063.8282632754281}</string>
2023 <string>{1078.2586181962777, 1063.8282632754281}</string>
2024 </array>
2025 <key>Style</key>
2026 <dict>
2027 <key>stroke</key>
2028 <dict>
2029 <key>Color</key>
2030 <dict>
2031 <key>b</key>
2032 <real>1</real>
2033 <key>g</key>
2034 <real>1</real>
2035 <key>r</key>
2036 <real>1</real>
2037 </dict>
2038 <key>HeadArrow</key>
2039 <string>FilledBall</string>
2040 <key>Legacy</key>
2041 <true/>
2042 <key>TailArrow</key>
2043 <string>0</string>
2044 <key>Width</key>
2045 <real>3</real>
2046 </dict>
2047 </dict>
2048 <key>Tail</key>
2049 <dict>
2050 <key>ID</key>
2051 <integer>3484</integer>
2052 <key>Position</key>
2053 <real>0.25490197539329529</real>
2054 </dict>
2055 </dict>
2056 <dict>
2057 <key>Class</key>
2058 <string>LineGraphic</string>
2059 <key>ID</key>
2060 <integer>3484</integer>
2061 <key>Points</key>
2062 <array>
2063 <string>{1027.9440757814994, 1100.2260167545837}</string>
2064 <string>{1068.0323027807799, 1101.172717498514}</string>
2065 <string>{1082.5407069124292, 1100.2260167545837}</string>
2066 </array>
2067 <key>Style</key>
2068 <dict>
2069 <key>stroke</key>
2070 <dict>
2071 <key>Color</key>
2072 <dict>
2073 <key>b</key>
2074 <real>1</real>
2075 <key>g</key>
2076 <real>1</real>
2077 <key>r</key>
2078 <real>1</real>
2079 </dict>
2080 <key>HeadArrow</key>
2081 <string>FilledBall</string>
2082 <key>Legacy</key>
2083 <true/>
2084 <key>TailArrow</key>
2085 <string>0</string>
2086 <key>Width</key>
2087 <real>3</real>
2088 </dict>
2089 </dict>
2090 </dict>
2091 <dict>
2092 <key>Bounds</key>
2093 <string>{{1023.8803509830298, 1045.6697463909024}, {994.98516845703114, 68}}</string>
2094 <key>Class</key>
2095 <string>ShapedGraphic</string>
2096 <key>ID</key>
2097 <integer>3485</integer>
2098 <key>Style</key>
2099 <dict>
2100 <key>fill</key>
2101 <dict>
2102 <key>Color</key>
2103 <dict>
2104 <key>b</key>
2105 <real>0.80000000000000004</real>
2106 <key>g</key>
2107 <real>0.59999999999999998</real>
2108 <key>r</key>
2109 <real>0.20000000000000001</real>
2110 </dict>
2111 <key>FillType</key>
2112 <integer>2</integer>
2113 <key>GradientAngle</key>
2114 <real>90</real>
2115 <key>GradientColor</key>
2116 <dict>
2117 <key>b</key>
2118 <string>0.8</string>
2119 <key>g</key>
2120 <string>0.4</string>
2121 <key>r</key>
2122 <string>0</string>
2123 </dict>
2124 </dict>
2125 <key>shadow</key>
2126 <dict>
2127 <key>Draws</key>
2128 <string>NO</string>
2129 </dict>
2130 <key>stroke</key>
2131 <dict>
2132 <key>Width</key>
2133 <real>0.5</real>
2134 </dict>
2135 </dict>
2136 </dict>
2137 </array>
2138 <key>ID</key>
2139 <integer>3481</integer>
2140 </dict>
2141 </array>
2142 <key>ID</key>
2143 <integer>3479</integer>
2144 </dict>
2145 <dict>
2146 <key>Bounds</key>
2147 <string>{{1023.5630797523584, 1114.1604735834744}, {994.98516845703114, 997.65056919935387}}</string>
2148 <key>Class</key>
2149 <string>ShapedGraphic</string>
2150 <key>ID</key>
2151 <integer>3508</integer>
2152 <key>Style</key>
2153 <dict>
2154 <key>shadow</key>
2155 <dict>
2156 <key>Draws</key>
2157 <string>NO</string>
2158 </dict>
2159 <key>stroke</key>
2160 <dict>
2161 <key>Width</key>
2162 <real>0.5</real>
2163 </dict>
2164 </dict>
2165 </dict>
2166 <dict>
2167 <key>Class</key>
2168 <string>Group</string>
2169 <key>Graphics</key>
2170 <array>
2171 <dict>
2172 <key>Bounds</key>
2173 <string>{{1106.0013261063716, 315.30136288225918}, {889.0382080078125, 73}}</string>
2174 <key>Class</key>
2175 <string>ShapedGraphic</string>
2176 <key>FitText</key>
2177 <string>Vertical</string>
2178 <key>Flow</key>
2179 <string>Resize</string>
2180 <key>FontInfo</key>
2181 <dict>
2182 <key>Color</key>
2183 <dict>
2184 <key>b</key>
2185 <string>1</string>
2186 <key>g</key>
2187 <string>1</string>
2188 <key>r</key>
2189 <string>1</string>
2190 </dict>
2191 <key>Font</key>
2192 <string>HiraKakuProN-W3</string>
2193 <key>Size</key>
2194 <real>48</real>
2195 </dict>
2196 <key>ID</key>
2197 <integer>3473</integer>
2198 <key>Style</key>
2199 <dict>
2200 <key>fill</key>
2201 <dict>
2202 <key>Draws</key>
2203 <string>NO</string>
2204 </dict>
2205 <key>shadow</key>
2206 <dict>
2207 <key>Draws</key>
2208 <string>NO</string>
2209 </dict>
2210 <key>stroke</key>
2211 <dict>
2212 <key>Draws</key>
2213 <string>NO</string>
2214 </dict>
2215 </dict>
2216 <key>Text</key>
2217 <dict>
2218 <key>Align</key>
2219 <integer>0</integer>
2220 <key>Pad</key>
2221 <real>0.0</real>
2222 <key>Text</key>
2223 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
2224 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2225 {\colortbl;\red255\green255\blue255;}
2226 {\*\expandedcolortbl;;}
2227 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2228
2229 \f0\fs96 \cf1 \'92\'e8\'97\'9d\'8f\'d8\'96\'be\'82\'c6\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80}</string>
2230 <key>VerticalPad</key>
2231 <real>0.0</real>
2232 </dict>
2233 </dict>
2234 <dict>
2235 <key>Class</key>
2236 <string>Group</string>
2237 <key>Graphics</key>
2238 <array>
2239 <dict>
2240 <key>Class</key>
2241 <string>LineGraphic</string>
2242 <key>ID</key>
2243 <integer>3475</integer>
2244 <key>Points</key>
2245 <array>
2246 <string>{1047.3695409607942, 341.22156837372069}</string>
2247 <string>{1090.2148301892837, 342.01571747602134}</string>
2248 </array>
2249 <key>Style</key>
2250 <dict>
2251 <key>stroke</key>
2252 <dict>
2253 <key>Color</key>
2254 <dict>
2255 <key>b</key>
2256 <real>1</real>
2257 <key>g</key>
2258 <real>1</real>
2259 <key>r</key>
2260 <real>1</real>
2261 </dict>
2262 <key>HeadArrow</key>
2263 <string>FilledBall</string>
2264 <key>Legacy</key>
2265 <true/>
2266 <key>TailArrow</key>
2267 <string>0</string>
2268 <key>Width</key>
2269 <real>3</real>
2270 </dict>
2271 </dict>
2272 <key>Tail</key>
2273 <dict>
2274 <key>ID</key>
2275 <integer>3476</integer>
2276 <key>Position</key>
2277 <real>0.32640770077705383</real>
2278 </dict>
2279 </dict>
2280 <dict>
2281 <key>Class</key>
2282 <string>LineGraphic</string>
2283 <key>ID</key>
2284 <integer>3476</integer>
2285 <key>Points</key>
2286 <array>
2287 <string>{1040.9776427083993, 360.54340652343927}</string>
2288 <string>{1052.7067654723337, 325.08786534707508}</string>
2289 <string>{1054.887598281035, 323.81684073644294}</string>
2290 <string>{1077.3685640408298, 323.81684073644294}</string>
2291 </array>
2292 <key>Style</key>
2293 <dict>
2294 <key>stroke</key>
2295 <dict>
2296 <key>Color</key>
2297 <dict>
2298 <key>b</key>
2299 <real>1</real>
2300 <key>g</key>
2301 <real>1</real>
2302 <key>r</key>
2303 <real>1</real>
2304 </dict>
2305 <key>HeadArrow</key>
2306 <string>FilledBall</string>
2307 <key>Legacy</key>
2308 <true/>
2309 <key>TailArrow</key>
2310 <string>0</string>
2311 <key>Width</key>
2312 <real>3</real>
2313 </dict>
2314 </dict>
2315 <key>Tail</key>
2316 <dict>
2317 <key>ID</key>
2318 <integer>3477</integer>
2319 <key>Position</key>
2320 <real>0.25490197539329529</real>
2321 </dict>
2322 </dict>
2323 <dict>
2324 <key>Class</key>
2325 <string>LineGraphic</string>
2326 <key>ID</key>
2327 <integer>3477</integer>
2328 <key>Points</key>
2329 <array>
2330 <string>{1027.0540216260513, 360.21459421559894}</string>
2331 <string>{1067.1422486253318, 361.16129495952919}</string>
2332 <string>{1081.6506527569811, 360.21459421559894}</string>
2333 </array>
2334 <key>Style</key>
2335 <dict>
2336 <key>stroke</key>
2337 <dict>
2338 <key>Color</key>
2339 <dict>
2340 <key>b</key>
2341 <real>1</real>
2342 <key>g</key>
2343 <real>1</real>
2344 <key>r</key>
2345 <real>1</real>
2346 </dict>
2347 <key>HeadArrow</key>
2348 <string>FilledBall</string>
2349 <key>Legacy</key>
2350 <true/>
2351 <key>TailArrow</key>
2352 <string>0</string>
2353 <key>Width</key>
2354 <real>3</real>
2355 </dict>
2356 </dict>
2357 </dict>
2358 <dict>
2359 <key>Bounds</key>
2360 <string>{{1022.9902968275817, 305.6583238519176}, {994.98516845703114, 68}}</string>
2361 <key>Class</key>
2362 <string>ShapedGraphic</string>
2363 <key>ID</key>
2364 <integer>3478</integer>
2365 <key>Style</key>
2366 <dict>
2367 <key>fill</key>
2368 <dict>
2369 <key>Color</key>
2370 <dict>
2371 <key>b</key>
2372 <real>0.80000000000000004</real>
2373 <key>g</key>
2374 <real>0.59999999999999998</real>
2375 <key>r</key>
2376 <real>0.20000000000000001</real>
2377 </dict>
2378 <key>FillType</key>
2379 <integer>2</integer>
2380 <key>GradientAngle</key>
2381 <real>90</real>
2382 <key>GradientColor</key>
2383 <dict>
2384 <key>b</key>
2385 <string>0.8</string>
2386 <key>g</key>
2387 <string>0.4</string>
2388 <key>r</key>
2389 <string>0</string>
2390 </dict>
2391 </dict>
2392 <key>shadow</key>
2393 <dict>
2394 <key>Draws</key>
2395 <string>NO</string>
2396 </dict>
2397 <key>stroke</key>
2398 <dict>
2399 <key>Width</key>
2400 <real>0.5</real>
2401 </dict>
2402 </dict>
2403 </dict>
2404 </array>
2405 <key>ID</key>
2406 <integer>3474</integer>
2407 </dict>
2408 </array>
2409 <key>ID</key>
2410 <integer>3472</integer>
2411 </dict>
2412 <dict>
2413 <key>Bounds</key>
2414 <string>{{95.693980949471921, 780.36841527241745}, {889.0382080078125, 73}}</string>
2415 <key>Class</key>
2416 <string>ShapedGraphic</string>
2417 <key>FitText</key>
2418 <string>Vertical</string>
2419 <key>Flow</key>
2420 <string>Resize</string>
2421 <key>FontInfo</key>
2422 <dict>
2423 <key>Color</key>
2424 <dict>
2425 <key>b</key>
2426 <string>1</string>
2427 <key>g</key>
2428 <string>1</string>
2429 <key>r</key>
2430 <string>1</string>
2431 </dict>
2432 <key>Font</key>
2433 <string>HiraKakuProN-W3</string>
2434 <key>Size</key>
2435 <real>48</real>
2436 </dict>
2437 <key>ID</key>
2438 <integer>1078</integer>
2439 <key>Style</key>
2440 <dict>
2441 <key>fill</key>
2442 <dict>
2443 <key>Draws</key>
2444 <string>NO</string>
2445 </dict>
2446 <key>shadow</key>
2447 <dict>
2448 <key>Draws</key>
2449 <string>NO</string>
2450 </dict>
2451 <key>stroke</key>
2452 <dict>
2453 <key>Draws</key>
2454 <string>NO</string>
2455 </dict>
2456 </dict>
2457 <key>Text</key>
2458 <dict>
2459 <key>Align</key>
2460 <integer>0</integer>
2461 <key>Pad</key>
2462 <real>0.0</real>
2463 <key>Text</key>
2464 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
2465 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2466 {\colortbl;\red255\green255\blue255;}
2467 {\*\expandedcolortbl;;}
2468 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2469
2470 \f0\fs96 \cf1 Continuation based C (CbC)}</string>
2471 <key>VerticalPad</key>
2472 <real>0.0</real>
2473 </dict>
2474 </dict>
2475 <dict>
2476 <key>Bounds</key>
2477 <string>{{16.175907061398277, 838.73417499505013}, {994.98516845703114, 520.47843576248852}}</string>
2478 <key>Class</key>
2479 <string>ShapedGraphic</string>
2480 <key>FontInfo</key>
2481 <dict>
2482 <key>Size</key>
2483 <real>30</real>
2484 </dict>
2485 <key>ID</key>
2486 <integer>1077</integer>
2487 <key>Style</key>
2488 <dict>
2489 <key>shadow</key>
2490 <dict>
2491 <key>Draws</key>
2492 <string>NO</string>
2493 </dict>
2494 <key>stroke</key>
2495 <dict>
2496 <key>Width</key>
2497 <real>0.5</real>
2498 </dict>
2499 </dict>
2500 </dict>
2501 <dict>
2502 <key>Class</key>
2503 <string>Group</string>
2504 <key>Graphics</key>
2505 <array>
2506 <dict>
2507 <key>Class</key>
2508 <string>LineGraphic</string>
2509 <key>ID</key>
2510 <integer>1073</integer>
2511 <key>Points</key>
2512 <array>
2513 <string>{40.555151194611355, 806.29744979787608}</string>
2514 <string>{83.400440423100875, 807.09159890017622}</string>
2515 </array>
2516 <key>Style</key>
2517 <dict>
2518 <key>stroke</key>
2519 <dict>
2520 <key>Color</key>
2521 <dict>
2522 <key>b</key>
2523 <real>1</real>
2524 <key>g</key>
2525 <real>1</real>
2526 <key>r</key>
2527 <real>1</real>
2528 </dict>
2529 <key>HeadArrow</key>
2530 <string>FilledBall</string>
2531 <key>Legacy</key>
2532 <true/>
2533 <key>TailArrow</key>
2534 <string>0</string>
2535 <key>Width</key>
2536 <real>3</real>
2537 </dict>
2538 </dict>
2539 <key>Tail</key>
2540 <dict>
2541 <key>ID</key>
2542 <integer>1074</integer>
2543 <key>Position</key>
2544 <real>0.32640770077705383</real>
2545 </dict>
2546 </dict>
2547 <dict>
2548 <key>Class</key>
2549 <string>LineGraphic</string>
2550 <key>ID</key>
2551 <integer>1074</integer>
2552 <key>Points</key>
2553 <array>
2554 <string>{34.163252942216459, 825.61928794759444}</string>
2555 <string>{45.89237570615078, 790.16374677123054}</string>
2556 <string>{48.073208514851984, 788.89272216059794}</string>
2557 <string>{70.554174274646684, 788.89272216059794}</string>
2558 </array>
2559 <key>Style</key>
2560 <dict>
2561 <key>stroke</key>
2562 <dict>
2563 <key>Color</key>
2564 <dict>
2565 <key>b</key>
2566 <real>1</real>
2567 <key>g</key>
2568 <real>1</real>
2569 <key>r</key>
2570 <real>1</real>
2571 </dict>
2572 <key>HeadArrow</key>
2573 <string>FilledBall</string>
2574 <key>Legacy</key>
2575 <true/>
2576 <key>TailArrow</key>
2577 <string>0</string>
2578 <key>Width</key>
2579 <real>3</real>
2580 </dict>
2581 </dict>
2582 <key>Tail</key>
2583 <dict>
2584 <key>ID</key>
2585 <integer>1075</integer>
2586 <key>Position</key>
2587 <real>0.25490197539329529</real>
2588 </dict>
2589 </dict>
2590 <dict>
2591 <key>Class</key>
2592 <string>LineGraphic</string>
2593 <key>ID</key>
2594 <integer>1075</integer>
2595 <key>Points</key>
2596 <array>
2597 <string>{20.239631859868439, 825.29047563975405}</string>
2598 <string>{60.327858859148876, 826.2371763836843}</string>
2599 <string>{74.836262990798161, 825.29047563975405}</string>
2600 </array>
2601 <key>Style</key>
2602 <dict>
2603 <key>stroke</key>
2604 <dict>
2605 <key>Color</key>
2606 <dict>
2607 <key>b</key>
2608 <real>1</real>
2609 <key>g</key>
2610 <real>1</real>
2611 <key>r</key>
2612 <real>1</real>
2613 </dict>
2614 <key>HeadArrow</key>
2615 <string>FilledBall</string>
2616 <key>Legacy</key>
2617 <true/>
2618 <key>TailArrow</key>
2619 <string>0</string>
2620 <key>Width</key>
2621 <real>3</real>
2622 </dict>
2623 </dict>
2624 </dict>
2625 <dict>
2626 <key>Bounds</key>
2627 <string>{{16.175907061398732, 770.73420527607254}, {994.98516845703114, 68}}</string>
2628 <key>Class</key>
2629 <string>ShapedGraphic</string>
2630 <key>ID</key>
2631 <integer>1076</integer>
2632 <key>Style</key>
2633 <dict>
2634 <key>fill</key>
2635 <dict>
2636 <key>Color</key>
2637 <dict>
2638 <key>b</key>
2639 <real>0.80000000000000004</real>
2640 <key>g</key>
2641 <real>0.59999999999999998</real>
2642 <key>r</key>
2643 <real>0.20000000000000001</real>
2644 </dict>
2645 <key>FillType</key>
2646 <integer>2</integer>
2647 <key>GradientAngle</key>
2648 <real>90</real>
2649 <key>GradientColor</key>
2650 <dict>
2651 <key>b</key>
2652 <string>0.8</string>
2653 <key>g</key>
2654 <string>0.4</string>
2655 <key>r</key>
2656 <string>0</string>
2657 </dict>
2658 </dict>
2659 <key>shadow</key>
2660 <dict>
2661 <key>Draws</key>
2662 <string>NO</string>
2663 </dict>
2664 <key>stroke</key>
2665 <dict>
2666 <key>Width</key>
2667 <real>0.5</real>
2668 </dict>
2669 </dict>
2670 </dict>
2671 </array>
2672 <key>ID</key>
2673 <integer>1072</integer>
2674 </dict>
2675 <dict>
2676 <key>Bounds</key>
2677 <string>{{30.105873241335303, 1478.9425967973286}, {964.78997414196579, 318}}</string>
2678 <key>Class</key>
2679 <string>ShapedGraphic</string>
2680 <key>FitText</key>
2681 <string>Vertical</string>
2682 <key>Flow</key>
2683 <string>Resize</string>
2684 <key>FontInfo</key>
2685 <dict>
2686 <key>Font</key>
2687 <string>HiraKakuProN-W3</string>
2688 <key>Size</key>
2689 <real>14</real>
2690 </dict>
2691 <key>ID</key>
2692 <integer>1036</integer>
2693 <key>Style</key>
2694 <dict>
2695 <key>fill</key>
2696 <dict>
2697 <key>Draws</key>
2698 <string>NO</string>
2699 </dict>
2700 <key>shadow</key>
2701 <dict>
2702 <key>Draws</key>
2703 <string>NO</string>
2704 </dict>
2705 <key>stroke</key>
2706 <dict>
2707 <key>Draws</key>
2708 <string>NO</string>
2709 </dict>
2710 </dict>
2711 <key>Text</key>
2712 <dict>
2713 <key>Align</key>
2714 <integer>0</integer>
2715 <key>Pad</key>
2716 <real>0.0</real>
2717 <key>Text</key>
2718 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
2719 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2720 {\colortbl;\red255\green255\blue255;}
2721 {\*\expandedcolortbl;;}
2722 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2723
2724 \f0\fs60 \cf0 \'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c6\'82\'cd\'82\'c6\'82\'a0\'82\'e9\'8c\'76\'8e\'5a\'82\'f0\'8e\'78\'82\'a6\'82\'e9\'8c\'76\'8e\'5a\
2725 \'81\'45\'83\'6c\'83\'62\'83\'67\'83\'8f\'81\'5b\'83\'4e\'8f\'88\'97\'9d\'81\'41\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'81\'41\'95\'c0\'97\'f1\'8e\'c0\'8d\'73\'82\'c8\'82\'c7\
2726 \'81\'45CbC \'82\'cd\'92\'ca\'8f\'ed\'83\'8c\'83\'78\'83\'8b\'82\'cc\'8c\'76\'8e\'5a\'82\'c6\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'95\'aa\'97\'a3\'82\'b5\'82\'c4\'8d\'6c\'82\'a6\'82\'e9\
2727 - \'92\'ca\'8f\'ed\'83\'8c\'83\'78\'83\'8b\'82\'c5\'82\'cd\'83\'7c\'83\'43\'83\'93\'83\'5e\'82\'cd\'8f\'6f\'82\'c4\'82\'b1\'82\'c8\'82\'a2\'81\'41\'82\'c8\'82\'c7\
2728 \'81\'45 CodeSegment \'82\'cc\'90\'da\'91\'b1\'95\'94\'95\'aa\'82\'c9\'8f\'88\'97\'9d\'82\'f0\'92\'c7\'89\'c1\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8a\'67\'92\'a3\'82\'b7\'82\'e9\
2729 - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'82\'b7\'82\'e9 CodeSegment \'82\'cd Meta CodeSegment\
2730 - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c9\'95\'4b\'97\'76\'82\'c8 DataSegment \'82\'cd Meta DataSegment}</string>
2731 <key>VerticalPad</key>
2732 <real>1</real>
2733 </dict>
2734 </dict>
2735 <dict>
2736 <key>Class</key>
2737 <string>LineGraphic</string>
2738 <key>ID</key>
2739 <integer>1032</integer>
2740 <key>Points</key>
2741 <array>
2742 <string>{39.126701511968491, 339.1928716562025}</string>
2743 <string>{81.224533081054688, 339.51528052622513}</string>
2744 </array>
2745 <key>Style</key>
2746 <dict>
2747 <key>stroke</key>
2748 <dict>
2749 <key>Color</key>
2750 <dict>
2751 <key>b</key>
2752 <real>1</real>
2753 <key>g</key>
2754 <real>1</real>
2755 <key>r</key>
2756 <real>1</real>
2757 </dict>
2758 <key>HeadArrow</key>
2759 <string>FilledBall</string>
2760 <key>Legacy</key>
2761 <true/>
2762 <key>TailArrow</key>
2763 <string>0</string>
2764 <key>Width</key>
2765 <real>3</real>
2766 </dict>
2767 </dict>
2768 <key>Tail</key>
2769 <dict>
2770 <key>ID</key>
2771 <integer>1031</integer>
2772 <key>Position</key>
2773 <real>0.32640770077705383</real>
2774 </dict>
2775 </dict>
2776 <dict>
2777 <key>Class</key>
2778 <string>LineGraphic</string>
2779 <key>ID</key>
2780 <integer>1031</integer>
2781 <key>Points</key>
2782 <array>
2783 <string>{31.987345600170322, 358.04296957364335}</string>
2784 <string>{45.89730117280606, 321.31640378664719}</string>
2785 <string>{68.378266932600667, 321.31640378664719}</string>
2786 </array>
2787 <key>Style</key>
2788 <dict>
2789 <key>stroke</key>
2790 <dict>
2791 <key>Color</key>
2792 <dict>
2793 <key>b</key>
2794 <real>1</real>
2795 <key>g</key>
2796 <real>1</real>
2797 <key>r</key>
2798 <real>1</real>
2799 </dict>
2800 <key>HeadArrow</key>
2801 <string>FilledBall</string>
2802 <key>Legacy</key>
2803 <true/>
2804 <key>TailArrow</key>
2805 <string>0</string>
2806 <key>Width</key>
2807 <real>3</real>
2808 </dict>
2809 </dict>
2810 <key>Tail</key>
2811 <dict>
2812 <key>ID</key>
2813 <integer>1030</integer>
2814 <key>Position</key>
2815 <real>0.25490197539329529</real>
2816 </dict>
2817 </dict>
2818 <dict>
2819 <key>Class</key>
2820 <string>LineGraphic</string>
2821 <key>ID</key>
2822 <integer>1030</integer>
2823 <key>Points</key>
2824 <array>
2825 <string>{18.063724517822315, 357.71415726580312}</string>
2826 <string>{58.151951517102724, 358.66085800973303}</string>
2827 <string>{72.660355648752045, 357.71415726580312}</string>
2828 </array>
2829 <key>Style</key>
2830 <dict>
2831 <key>stroke</key>
2832 <dict>
2833 <key>Color</key>
2834 <dict>
2835 <key>b</key>
2836 <real>1</real>
2837 <key>g</key>
2838 <real>1</real>
2839 <key>r</key>
2840 <real>1</real>
2841 </dict>
2842 <key>HeadArrow</key>
2843 <string>FilledBall</string>
2844 <key>Legacy</key>
2845 <true/>
2846 <key>TailArrow</key>
2847 <string>0</string>
2848 <key>Width</key>
2849 <real>3</real>
2850 </dict>
2851 </dict>
2852 </dict>
2853 <dict>
2854 <key>Bounds</key>
2855 <string>{{1380.4724534701177, 207.40067864496805}, {627.06526225391576, 97}}</string>
2856 <key>Class</key>
2857 <string>ShapedGraphic</string>
2858 <key>FitText</key>
2859 <string>Vertical</string>
2860 <key>Flow</key>
2861 <string>Resize</string>
2862 <key>FontInfo</key>
2863 <dict>
2864 <key>Color</key>
2865 <dict>
2866 <key>b</key>
2867 <string>1</string>
2868 <key>g</key>
2869 <string>1</string>
2870 <key>r</key>
2871 <string>1</string>
2872 </dict>
2873 <key>Font</key>
2874 <string>HiraKakuProN-W3</string>
2875 <key>Size</key>
2876 <real>13</real>
2877 </dict>
2878 <key>ID</key>
2879 <integer>24</integer>
2880 <key>Style</key>
2881 <dict>
2882 <key>fill</key>
2883 <dict>
2884 <key>Draws</key>
2885 <string>NO</string>
2886 </dict>
2887 <key>shadow</key>
2888 <dict>
2889 <key>Draws</key>
2890 <string>NO</string>
2891 </dict>
2892 <key>stroke</key>
2893 <dict>
2894 <key>Draws</key>
2895 <string>NO</string>
2896 </dict>
2897 </dict>
2898 <key>Text</key>
2899 <dict>
2900 <key>Align</key>
2901 <integer>0</integer>
2902 <key>Pad</key>
2903 <real>0.0</real>
2904 <key>Text</key>
2905 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
2906 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2907 {\colortbl;\red255\green255\blue255;}
2908 {\*\expandedcolortbl;;}
2909 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2910
2911 \f0\fs128 \cf1 \'94\'e4\'89\'c3 \'8c\'92\'91\'be}</string>
2912 <key>VerticalPad</key>
2913 <real>0.0</real>
2914 </dict>
2915 </dict>
2916 <dict>
2917 <key>Bounds</key>
2918 <string>{{27.929965899289073, 380.62833913257816}, {971.47705078125, 363}}</string>
2919 <key>Class</key>
2920 <string>ShapedGraphic</string>
2921 <key>FitText</key>
2922 <string>Vertical</string>
2923 <key>Flow</key>
2924 <string>Resize</string>
2925 <key>FontInfo</key>
2926 <dict>
2927 <key>Font</key>
2928 <string>HiraKakuProN-W3</string>
2929 <key>Size</key>
2930 <real>30</real>
2931 </dict>
2932 <key>ID</key>
2933 <integer>989</integer>
2934 <key>Style</key>
2935 <dict>
2936 <key>fill</key>
2937 <dict>
2938 <key>Draws</key>
2939 <string>NO</string>
2940 </dict>
2941 <key>shadow</key>
2942 <dict>
2943 <key>Draws</key>
2944 <string>NO</string>
2945 </dict>
2946 <key>stroke</key>
2947 <dict>
2948 <key>Draws</key>
2949 <string>NO</string>
2950 </dict>
2951 </dict>
2952 <key>Text</key>
2953 <dict>
2954 <key>Align</key>
2955 <integer>0</integer>
2956 <key>Pad</key>
2957 <real>0.0</real>
2958 <key>Text</key>
2959 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
2960 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
2961 {\colortbl;\red255\green255\blue255;}
2962 {\*\expandedcolortbl;;}
2963 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
2964
2965 \f0\fs60 \cf0 \'81\'45\'90\'4d\'97\'8a\'90\'ab\'82\'cc\'8d\'82\'82\'a2\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'f0\'92\'f1\'8b\'9f\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'cd\'8f\'64\'97\'76\'82\'c5\'82\'a0\'82\'e9\
2966 \'81\'45\'83\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'aa\'97\'76\'8b\'81\'82\'b3\'82\'ea\'82\'e9\'8e\'64\'97\'6c\'82\'f0\'96\'9e\'82\'bd\'82\'b7\'82\'a9\'82\'c7\'82\'a4\'82\'a9\'8c\'9f\'8f\'d8\'82\'b7\'82\'e9\
2967 \'81\'45\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'c6\'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'cc2\'82\'c2\'82\'aa\'82\'a0\'82\'e9\
2968 - \'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60: \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'8f\'f3\'91\'d4\'82\'f0\'90\'94\'82\'a6\'8f\'e3\'82\'b0 \
2969 \'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'aa\'96\'b3\'82\'a2\'82\'a9\'8a\'6d\'94\'46\'82\'b7\'82\'e9\
2970 - \'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60: \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'90\'b3\'82\'b5\'82\'b3\'82\'f0\'92\'bc\'90\'da\'8f\'d8\'96\'be\'82\'b7\'82\'e9\
2971 \'81\'45\'8c\'9f\'8f\'d8\'82\'b5\'82\'e2\'82\'b7\'82\'a2\'8c\'be\'8c\'ea Continuation based C (CbC)\'82\'f0\'8a\'4a\'94\'ad\'82\'b5\'82\'c4\'82\'a2\'82\'e9\
2972 \'81\'45CbC \'82\'c5\'82\'cd\'97\'bc\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\'82\'c9\'82\'e6\'82\'e9\'8c\'9f\'8f\'d8\'82\'aa\'89\'c2\'94\'5c\'82\'c8\'82\'b1\'82\'c6\'82\'f0\'8e\'a6\'82\'b7}</string>
2973 <key>VerticalPad</key>
2974 <real>1</real>
2975 </dict>
2976 </dict>
2977 <dict>
2978 <key>Bounds</key>
2979 <string>{{27.929965899289073, 16.994015129345218}, {1924.739013671875, 191}}</string>
2980 <key>Class</key>
2981 <string>ShapedGraphic</string>
2982 <key>FitText</key>
2983 <string>Vertical</string>
2984 <key>Flow</key>
2985 <string>Resize</string>
2986 <key>FontInfo</key>
2987 <dict>
2988 <key>Font</key>
2989 <string>HiraKakuProN-W6</string>
2990 <key>Size</key>
2991 <real>110</real>
2992 </dict>
2993 <key>ID</key>
2994 <integer>5</integer>
2995 <key>Style</key>
2996 <dict>
2997 <key>fill</key>
2998 <dict>
2999 <key>Draws</key>
3000 <string>NO</string>
3001 </dict>
3002 <key>shadow</key>
3003 <dict>
3004 <key>Draws</key>
3005 <string>NO</string>
3006 </dict>
3007 <key>stroke</key>
3008 <dict>
3009 <key>Draws</key>
3010 <string>NO</string>
3011 </dict>
3012 </dict>
3013 <key>Text</key>
3014 <dict>
3015 <key>Align</key>
3016 <integer>0</integer>
3017 <key>Pad</key>
3018 <real>0.0</real>
3019 <key>Text</key>
3020 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
3021 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
3022 {\colortbl;\red255\green255\blue255;}
3023 {\*\expandedcolortbl;;}
3024 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\slleading-800\pardirnatural\partightenfactor0
3025
3026 \f0\b\fs180 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'97\'70\'82\'a2\'82\'bd\
3027 Continuation based C \'82\'cc\'8c\'9f\'8f\'d8\'8e\'e8\'96\'40}</string>
3028 <key>VerticalPad</key>
3029 <real>0.0</real>
3030 </dict>
3031 </dict>
3032 <dict>
3033 <key>Bounds</key>
3034 <string>{{14, 14.786078060684758}, {2001.00004626803, 272}}</string>
3035 <key>Class</key>
3036 <string>ShapedGraphic</string>
3037 <key>FontInfo</key>
3038 <dict>
3039 <key>Font</key>
3040 <string>Helvetica</string>
3041 <key>Size</key>
3042 <real>10</real>
3043 </dict>
3044 <key>ID</key>
3045 <integer>23</integer>
3046 <key>Style</key>
3047 <dict>
3048 <key>fill</key>
3049 <dict>
3050 <key>Color</key>
3051 <dict>
3052 <key>b</key>
3053 <real>0.91372500000000001</real>
3054 <key>g</key>
3055 <real>0.62745099999999998</real>
3056 <key>r</key>
3057 <real>0.0</real>
3058 </dict>
3059 <key>FillType</key>
3060 <integer>2</integer>
3061 <key>GradientAngle</key>
3062 <real>90</real>
3063 <key>GradientColor</key>
3064 <dict>
3065 <key>b</key>
3066 <string>0.72549</string>
3067 <key>g</key>
3068 <string>0.419608</string>
3069 <key>r</key>
3070 <string>0</string>
3071 </dict>
3072 </dict>
3073 <key>shadow</key>
3074 <dict>
3075 <key>Draws</key>
3076 <string>NO</string>
3077 </dict>
3078 <key>stroke</key>
3079 <dict>
3080 <key>Width</key>
3081 <real>0.5</real>
3082 </dict>
3083 </dict>
3084 </dict>
3085 <dict>
3086 <key>Bounds</key>
3087 <string>{{97.011028998143161, 315.65832385191749}, {843.98895263671875, 73}}</string>
3088 <key>Class</key>
3089 <string>ShapedGraphic</string>
3090 <key>FitText</key>
3091 <string>Vertical</string>
3092 <key>Flow</key>
3093 <string>Resize</string>
3094 <key>FontInfo</key>
3095 <dict>
3096 <key>Color</key>
3097 <dict>
3098 <key>b</key>
3099 <string>1</string>
3100 <key>g</key>
3101 <string>1</string>
3102 <key>r</key>
3103 <string>1</string>
3104 </dict>
3105 <key>Font</key>
3106 <string>HiraKakuProN-W3</string>
3107 <key>Size</key>
3108 <real>40</real>
3109 </dict>
3110 <key>ID</key>
3111 <integer>10</integer>
3112 <key>Style</key>
3113 <dict>
3114 <key>fill</key>
3115 <dict>
3116 <key>Draws</key>
3117 <string>NO</string>
3118 </dict>
3119 <key>shadow</key>
3120 <dict>
3121 <key>Draws</key>
3122 <string>NO</string>
3123 </dict>
3124 <key>stroke</key>
3125 <dict>
3126 <key>Draws</key>
3127 <string>NO</string>
3128 </dict>
3129 </dict>
3130 <key>Text</key>
3131 <dict>
3132 <key>Align</key>
3133 <integer>0</integer>
3134 <key>Pad</key>
3135 <real>0.0</real>
3136 <key>Text</key>
3137 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
3138 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
3139 {\colortbl;\red255\green255\blue255;}
3140 {\*\expandedcolortbl;;}
3141 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
3142
3143 \f0\fs96 \cf1 \'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'7e\'83\'93\'83\'4f\'8c\'be\'8c\'ea\'82\'c6\'90\'4d\'97\'8a\'90\'ab}</string>
3144 <key>VerticalPad</key>
3145 <real>0.0</real>
3146 </dict>
3147 </dict>
3148 <dict>
3149 <key>Bounds</key>
3150 <string>{{13.999999719352729, 306.01528482157511}, {994.98516845703114, 68}}</string>
3151 <key>Class</key>
3152 <string>ShapedGraphic</string>
3153 <key>ID</key>
3154 <integer>29</integer>
3155 <key>Style</key>
3156 <dict>
3157 <key>fill</key>
3158 <dict>
3159 <key>Color</key>
3160 <dict>
3161 <key>b</key>
3162 <real>0.80000000000000004</real>
3163 <key>g</key>
3164 <real>0.59999999999999998</real>
3165 <key>r</key>
3166 <real>0.20000000000000001</real>
3167 </dict>
3168 <key>FillType</key>
3169 <integer>2</integer>
3170 <key>GradientAngle</key>
3171 <real>90</real>
3172 <key>GradientColor</key>
3173 <dict>
3174 <key>b</key>
3175 <string>0.8</string>
3176 <key>g</key>
3177 <string>0.4</string>
3178 <key>r</key>
3179 <string>0</string>
3180 </dict>
3181 </dict>
3182 <key>shadow</key>
3183 <dict>
3184 <key>Draws</key>
3185 <string>NO</string>
3186 </dict>
3187 <key>stroke</key>
3188 <dict>
3189 <key>Width</key>
3190 <real>0.5</real>
3191 </dict>
3192 </dict>
3193 </dict>
3194 <dict>
3195 <key>Bounds</key>
3196 <string>{{13.999999719352729, 374.01528482157528}, {994.98516845703114, 381.41779289872517}}</string>
3197 <key>Class</key>
3198 <string>ShapedGraphic</string>
3199 <key>ID</key>
3200 <integer>27</integer>
3201 <key>Style</key>
3202 <dict>
3203 <key>shadow</key>
3204 <dict>
3205 <key>Draws</key>
3206 <string>NO</string>
3207 </dict>
3208 <key>stroke</key>
3209 <dict>
3210 <key>Width</key>
3211 <real>0.5</real>
3212 </dict>
3213 </dict>
3214 </dict>
3215 <dict>
3216 <key>Bounds</key>
3217 <string>{{16.175907061398959, 1436.0902022142086}, {994.98516845703114, 370.99642835499026}}</string>
3218 <key>Class</key>
3219 <string>ShapedGraphic</string>
3220 <key>ID</key>
3221 <integer>3262</integer>
3222 <key>Style</key>
3223 <dict>
3224 <key>shadow</key>
3225 <dict>
3226 <key>Draws</key>
3227 <string>NO</string>
3228 </dict>
3229 <key>stroke</key>
3230 <dict>
3231 <key>Width</key>
3232 <real>0.5</real>
3233 </dict>
3234 </dict>
3235 </dict>
3236 <dict>
3237 <key>Bounds</key>
3238 <string>{{1038.0878939851143, 388.30136288225884}, {964.78997414196579, 228}}</string>
3239 <key>Class</key>
3240 <string>ShapedGraphic</string>
3241 <key>FitText</key>
3242 <string>Vertical</string>
3243 <key>Flow</key>
3244 <string>Resize</string>
3245 <key>FontInfo</key>
3246 <dict>
3247 <key>Font</key>
3248 <string>HiraKakuProN-W3</string>
3249 <key>Size</key>
3250 <real>14</real>
3251 </dict>
3252 <key>ID</key>
3253 <integer>3463</integer>
3254 <key>Style</key>
3255 <dict>
3256 <key>fill</key>
3257 <dict>
3258 <key>Draws</key>
3259 <string>NO</string>
3260 </dict>
3261 <key>shadow</key>
3262 <dict>
3263 <key>Draws</key>
3264 <string>NO</string>
3265 </dict>
3266 <key>stroke</key>
3267 <dict>
3268 <key>Draws</key>
3269 <string>NO</string>
3270 </dict>
3271 </dict>
3272 <key>Text</key>
3273 <dict>
3274 <key>Align</key>
3275 <integer>0</integer>
3276 <key>Pad</key>
3277 <real>0.0</real>
3278 <key>Text</key>
3279 <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810
3280 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
3281 {\colortbl;\red255\green255\blue255;}
3282 {\*\expandedcolortbl;;}
3283 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
3284
3285 \f0\fs60 \cf0 \'81\'45Curry-Howard Isomorphism \'82\'c9\'82\'e6\'82\'e8\'8f\'d8\'96\'be\'82\'c6\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'82\'cc\'8c\'5e\'82\'cd\'91\'ce\'89\'9e\
3286 \'81\'45\'98\'5f\'97\'9d\'8e\'ae\'82\'cd\'8c\'5e\'82\'c9\'91\'8a\'93\'96\'82\'b5\'81\'41\'8f\'d8\'96\'be\'82\'cd\'82\'bb\'82\'cc\'8c\'5e\'82\'f0\'8e\'9d\'82\'c2\'92\'6c\'82\'cc\'93\'b1\'8f\'6f\
3287 \'81\'45Coq\'81\'41Agda \'82\'c6\'82\'a2\'82\'c1\'82\'bd\'8b\'ad\'97\'cd\'82\'c8\'8c\'5e\'82\'f0\'8e\'9d\'82\'c2\'8c\'be\'8c\'ea\'82\'c5\'82\'cd\'8f\'d8\'96\'be\'82\'aa\'8b\'4c\'8f\'71\'89\'c2\'94\'5c\
3288 \'81\'45\'8e\'4f\'92\'69\'98\'5f\'96\'40\'82\'cc\'8e\'a9\'91\'52\'89\'89\'e3\'88\'82\'c9\'82\'e6\'82\'e9\'8f\'d8\'96\'be\'96\'d8\'82\'cd\'88\'c8\'89\'ba\'82\'cc\'82\'e6\'82\'a4\'82\'c9\'82\'c8\'82\'e9\
3289 - \'8e\'4f\'92\'69\'98\'5f\'96\'40: ((A \'82\'c8\'82\'e7\'82\'ce B) \'82\'a9\'82\'c2 (B \'82\'c8\'82\'e7\'82\'ce C)) \'82\'c8\'82\'e7\'82\'ce (A \'82\'c8\'82\'e7\'82\'ce C)}</string>
3290 <key>VerticalPad</key>
3291 <real>1</real>
3292 </dict>
3293 </dict>
3294 <dict>
3295 <key>Bounds</key>
3296 <string>{{1023.0298730963038, 373.17817670232722}, {994.98516845703114, 650.49494409958015}}</string>
3297 <key>Class</key>
3298 <string>ShapedGraphic</string>
3299 <key>FontInfo</key>
3300 <dict>
3301 <key>Font</key>
3302 <string>HiraKakuProN-W3</string>
3303 <key>Size</key>
3304 <real>46</real>
3305 </dict>
3306 <key>ID</key>
3307 <integer>3465</integer>
3308 <key>Link</key>
3309 <dict>
3310 <key>fileReference</key>
3311 <dict>
3312 <key>alias</key>
3313 <data>
3314 AAAAAAH6AAIAAAxNYWNpbnRvc2ggSEQAAAAA
3315 AAAAAAAAAAAAAADUGqDDSCsAAABm8UkRYWth
3316 c2hhUHV0LmdyYWZmbGUAAAAAAAAAAAAAAAAA
3317 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
3318 AAAAAAAAAGcXJNTHnRUAAAAAAAAAAP////8A
3319 AAkgAAAAAAAAAAAAAAAAAAAABmltYWdlcwAQ
3320 AAgAANQaIjMAAAARAAgAANTHHoUAAAABACQA
3321 ZvFJAGbUBABRqaYAUamlAB1FUwAbuYwAG7Xa
3322 AAbNyQAGTJ0AAgBsTWFjaW50b3NoIEhEOlVz
3323 ZXJzOgBhdHRvbjoAcmVzZWFyY2g6AGhnOgBQ
3324 YXBlcnM6ADIwMTc6AGF0dG9uLW1hc3RlcjoA
3325 cHJlc2VudGF0aW9uOgBpbWFnZXM6AGFrYXNo
3326 YVB1dC5ncmFmZmxlAA4AJAARAGEAawBhAHMA
3327 aABhAFAAdQB0AC4AZwByAGEAZgBmAGwAZQAP
3328 ABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgA
3329 RAASAFZVc2Vycy9hdHRvbi9yZXNlYXJjaC9o
3330 Zy9QYXBlcnMvMjAxNy9hdHRvbi1tYXN0ZXIv
3331 cHJlc2VudGF0aW9uL2ltYWdlcy9ha2FzaGFQ
3332 dXQuZ3JhZmZsZQATAAEvAP//AAA=
3333 </data>
3334 <key>bookmark</key>
3335 <data>
3336 Ym9va+wDAAAAAAQQMAAAAAPFOmVt2JcX6S3v
3337 NCx5PiRxV1IG9l4sWCW7xZdgLFp03AIAAAQA
3338 AAADAwAAAAgAKAUAAAABAQAAVXNlcnMAAAAF
3339 AAAAAQEAAGF0dG9uAAAACAAAAAEBAAByZXNl
3340 YXJjaAIAAAABAQAAaGcAAAYAAAABAQAAUGFw
3341 ZXJzAAAEAAAAAQEAADIwMTcMAAAAAQEAAGF0
3342 dG9uLW1hc3RlcgwAAAABAQAAcHJlc2VudGF0
3343 aW9uBgAAAAEBAABpbWFnZXMAABEAAAABAQAA
3344 YWthc2hhUHV0LmdyYWZmbGUAAAAoAAAAAQYA
3345 ABAAAAAgAAAAMAAAAEAAAABMAAAAXAAAAGgA
3346 AAB8AAAAkAAAAKAAAAAIAAAABAMAAJ1MBgAA
3347 AAAACAAAAAQDAADJzQYAAAAAAAgAAAAEAwAA
3348 2rUbAAAAAAAIAAAABAMAAIy5GwAAAAAACAAA
3349 AAQDAABTRR0AAAAAAAgAAAAEAwAApalRAAAA
3350 AAAIAAAABAMAAKapUQAAAAAACAAAAAQDAAAE
3351 1GYAAAAAAAgAAAAEAwAASfFmAAAAAAAIAAAA
3352 BAMAACQXZwAAAAAAKAAAAAEGAADsAAAA/AAA
3353 AAwBAAAcAQAALAEAADwBAABMAQAAXAEAAGwB
3354 AAB8AQAACAAAAAAEAABBvlGlhQAAABgAAAAB
3355 AgAAAQAAAAAAAAAPAAAAAAAAAAAAAAAAAAAA
3356 CAAAAAQDAAAIAAAAAAAAAAQAAAADAwAA9QEA
3357 AAgAAAABCQAAZmlsZTovLy8MAAAAAQEAAE1h
3358 Y2ludG9zaCBIRAgAAAAEAwAAAACCMXQAAAAI
3359 AAAAAAQAAEG9pKkzAAAAJAAAAAEBAAA0OEIx
3360 NDExNS1DRUU3LTM2MTItOEMwNi1GQ0Q1Qjgy
3361 OTJCQUIYAAAAAQIAAIEAAAABAAAA7xMAAAEA
3362 AAAAAAAAAAAAAAEAAAABAQAALwAAAAAAAAAB
3363 BQAAGgAAAAEBAABOU1VSTERvY3VtZW50SWRl
3364 bnRpZmllcktleQAABAAAAAMDAAA/AAAA2AAA
3365 AP7///8BAAAAAAAAABEAAAAEEAAAvAAAAAAA
3366 AAAFEAAAjAEAAAAAAAAQEAAAzAEAAAAAAABA
3367 EAAAvAEAAAAAAAACIAAAmAIAAAAAAAAFIAAA
3368 CAIAAAAAAAAQIAAAGAIAAAAAAAARIAAATAIA
3369 AAAAAAASIAAALAIAAAAAAAATIAAAPAIAAAAA
3370 AAAgIAAAeAIAAAAAAAAwIAAApAIAAAAAAAAB
3371 wAAA7AEAAAAAAAARwAAAIAAAAAAAAAASwAAA
3372 /AEAAAAAAAAQ0AAABAAAAAAAAACsAgCA0AIA
3373 AAAAAAA=
3374 </data>
3375 <key>path</key>
3376 <string>../presentation/images/akashaPut.graffle</string>
3377 </dict>
3378 </dict>
3379 <key>Style</key> 3060 <key>Style</key>
3380 <dict> 3061 <dict>
3381 <key>shadow</key> 3062 <key>shadow</key>
3382 <dict> 3063 <dict>
3383 <key>Draws</key> 3064 <key>Draws</key>
3401 <key>GuidesLocked</key> 3082 <key>GuidesLocked</key>
3402 <string>NO</string> 3083 <string>NO</string>
3403 <key>GuidesVisible</key> 3084 <key>GuidesVisible</key>
3404 <string>YES</string> 3085 <string>YES</string>
3405 <key>HPages</key> 3086 <key>HPages</key>
3406 <integer>2</integer> 3087 <integer>1</integer>
3407 <key>ImageCounter</key> 3088 <key>ImageCounter</key>
3408 <integer>30</integer> 3089 <integer>37</integer>
3409 <key>ImageLinkBack</key> 3090 <key>ImageLinkBack</key>
3410 <array> 3091 <array>
3092 <dict/>
3093 <dict/>
3411 <dict/> 3094 <dict/>
3412 <dict/> 3095 <dict/>
3413 <dict/> 3096 <dict/>
3414 </array> 3097 </array>
3415 <key>ImageList</key> 3098 <key>ImageList</key>
3416 <array> 3099 <array>
3417 <string>image29.pdf</string> 3100 <string>image36.pdf</string>
3418 <string>image27.pdf</string> 3101 <string>image35.pdf</string>
3102 <string>image34.pdf</string>
3103 <string>image31.pdf</string>
3419 <string>image22.pdf</string> 3104 <string>image22.pdf</string>
3420 </array> 3105 </array>
3421 <key>KeepToScale</key> 3106 <key>KeepToScale</key>
3422 <false/> 3107 <false/>
3423 <key>Layers</key> 3108 <key>Layers</key>
3457 <key>MagnetsVisible</key> 3142 <key>MagnetsVisible</key>
3458 <string>NO</string> 3143 <string>NO</string>
3459 <key>MasterSheets</key> 3144 <key>MasterSheets</key>
3460 <array/> 3145 <array/>
3461 <key>ModificationDate</key> 3146 <key>ModificationDate</key>
3462 <string>2017-02-19 04:43:31 +0000</string> 3147 <string>2022-02-14 15:56:34 +0000</string>
3463 <key>Modifier</key> 3148 <key>Modifier</key>
3464 <string>atton</string> 3149 <string>一木貴裕</string>
3465 <key>NotesVisible</key> 3150 <key>NotesVisible</key>
3466 <string>NO</string> 3151 <string>NO</string>
3467 <key>Orientation</key> 3152 <key>Orientation</key>
3468 <integer>2</integer> 3153 <integer>2</integer>
3469 <key>OriginVisible</key> 3154 <key>OriginVisible</key>
3488 <string>18</string> 3173 <string>18</string>
3489 </array> 3174 </array>
3490 <key>NSPaperName</key> 3175 <key>NSPaperName</key>
3491 <array> 3176 <array>
3492 <string>string</string> 3177 <string>string</string>
3493 <string>35594B77-E0C2-4AA7-B0AF-0CA27B63B300</string> 3178 <string>0D07D2C0-E48E-4D58-994A-A8F4093291D0</string>
3494 </array> 3179 </array>
3495 <key>NSPaperSize</key> 3180 <key>NSPaperSize</key>
3496 <array> 3181 <array>
3497 <string>size</string> 3182 <string>size</string>
3498 <string>{2063.6220703125, 2919.68505859375}</string> 3183 <string>{2063.6220703125, 2919.68505859375}</string>
3530 <key>UniqueID</key> 3215 <key>UniqueID</key>
3531 <integer>1</integer> 3216 <integer>1</integer>
3532 <key>UseEntirePage</key> 3217 <key>UseEntirePage</key>
3533 <false/> 3218 <false/>
3534 <key>VPages</key> 3219 <key>VPages</key>
3535 <integer>1</integer> 3220 <integer>2</integer>
3536 <key>WindowInfo</key> 3221 <key>WindowInfo</key>
3537 <dict> 3222 <dict>
3538 <key>CurrentSheet</key> 3223 <key>CurrentSheet</key>
3539 <integer>0</integer> 3224 <integer>0</integer>
3540 <key>Expanded_Canvases</key> 3225 <key>Expanded_Canvases</key>
3541 <array/> 3226 <array/>
3542 <key>Frame</key> 3227 <key>Frame</key>
3543 <string>{{376, 3}, {1592, 1053}}</string> 3228 <string>{{0, 0}, {1280, 736}}</string>
3544 <key>ShowInfo</key> 3229 <key>ShowInfo</key>
3545 <true/> 3230 <true/>
3546 <key>Sidebar</key> 3231 <key>Sidebar</key>
3547 <false/> 3232 <false/>
3548 <key>SidebarWidth</key> 3233 <key>SidebarWidth</key>
3549 <integer>0</integer> 3234 <integer>0</integer>
3550 <key>TopSlabHeight</key> 3235 <key>TopSlabHeight</key>
3551 <real>250</real> 3236 <real>250</real>
3552 <key>VisibleRegion</key> 3237 <key>VisibleRegion</key>
3553 <string>{{0, 162}, {2590, 1886}}</string> 3238 <string>{{0, 686}, {1936, 1378}}</string>
3554 <key>Zoom</key> 3239 <key>Zoom</key>
3555 <real>0.5</real> 3240 <real>0.5</real>
3556 <key>ZoomValues</key> 3241 <key>ZoomValues</key>
3557 <array> 3242 <array>
3558 <array> 3243 <array>