Mercurial > hg > Papers > 2022 > ikki-master
changeset 38:e5570db4fcb4
add Poster
| author | ichikitakahiro <e165713@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 15 Feb 2022 01:08:09 +0900 |
| parents | 8efb5398e604 |
| children | f78096cb1f69 |
| files | poster/.DS_Store poster/ikki-poster.graffle/data.plist |
| diffstat | 2 files changed, 2293 insertions(+), 2608 deletions(-) [+] |
line wrap: on
line diff
--- a/poster/ikki-poster.graffle/data.plist Mon Feb 14 17:43:19 2022 +0900 +++ b/poster/ikki-poster.graffle/data.plist Tue Feb 15 01:08:09 2022 +0900 @@ -14,7 +14,7 @@ <key>BackgroundGraphic</key> <dict> <key>Bounds</key> - <string>{{0, 0}, {4055.244140625, 2860.68505859375}}</string> + <string>{{0, 0}, {2027.6220703125, 5721.3701171875}}</string> <key>Class</key> <string>SolidGraphic</string> <key>FontInfo</key> @@ -54,44 +54,586 @@ <key>GraphicsList</key> <array> <dict> - <key>Bounds</key> - <string>{{428.68948903630695, 578.51969032465945}, {2184.0945080055963, 1932.2478062009218}}</string> <key>Class</key> - <string>ShapedGraphic</string> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{1032.8940372816407, 980.78741047363576}, {964.78997414196579, 183}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3731</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ +\'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> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1041.7322929163618, 786.6141803654159}, {874.30574445825118, 183}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>14</real> + </dict> + <key>ID</key> + <integer>3732</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.66274500000000003</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs48 \cf0 __code sendDataRemoteDGMQueue(struct RemoteDGMQueue* tQueue, union Data* data, __code next(...))\{\ + int send_size;\ + send_size = write(tQueue->socket, data, sizeof(union Data));\ + \} //\'97\'e1\'8a\'4f\'8f\'88\'97\'9d\'97\'aa}</string> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{1103.0259070897889, 269.01312012380276}, {889.0382080078125, 73}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>48</real> + </dict> + <key>ID</key> + <integer>3734</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs96 \cf1 GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'c6\'92\'ca\'90\'4d}</string> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3736</integer> + <key>Points</key> + <array> + <string>{1044.3941219442115, 294.93332561526427}</string> + <string>{1087.239411172701, 295.72747471756492}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3737</integer> + <key>Position</key> + <real>0.32640770077705383</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3737</integer> + <key>Points</key> + <array> + <string>{1038.0022236918167, 314.25516376498285}</string> + <string>{1049.731346455751, 278.79962258861866}</string> + <string>{1051.9121792644523, 277.52859797798652}</string> + <string>{1074.3931450242471, 277.52859797798652}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3738</integer> + <key>Position</key> + <real>0.25490197539329529</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3738</integer> + <key>Points</key> + <array> + <string>{1024.0786026094686, 313.92635145714252}</string> + <string>{1064.1668296087491, 314.87305220107277}</string> + <string>{1078.6752337403984, 313.92635145714252}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1020.014877810999, 259.37008109346118}, {994.98516845703114, 68}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3739</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.80000000000000004</real> + <key>g</key> + <real>0.59999999999999998</real> + <key>r</key> + <real>0.20000000000000001</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.8</string> + <key>g</key> + <string>0.4</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3735</integer> + </dict> + </array> + <key>ID</key> + <integer>3733</integer> + </dict> + <dict> + <key>Bounds</key> + <string>{{1035.0728986998095, 342.01312012380276}, {964.78997414196579, 498}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3740</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ + - \'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\ + - 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\ + - 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\ + - \'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\ +\'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\ + - 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\ +}</string> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1020.0148778109989, 326.88993394387103}, {994.98516845703102, 831.06283246792145}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>46</real> + </dict> + <key>ID</key> + <integer>3741</integer> + <key>Link</key> + <dict> + <key>fileReference</key> + <dict> + <key>alias</key> + <data> + AAAAAAH6AAIAAAxNYWNp + bnRvc2ggSEQAAAAAAAAA + AAAAAAAAAADUGqDDSCsA + AABm8UkRYWthc2hhUHV0 + LmdyYWZmbGUAAAAAAAAA + AAAAAAAAAAAAAAAAAAAA + AAAAAAAAAAAAAAAAAAAA + AAAAAAAAAAAAAGcXJNTH + nRUAAAAAAAAAAP////8A + AAkgAAAAAAAAAAAAAAAA + AAAABmltYWdlcwAQAAgA + ANQaIjMAAAARAAgAANTH + HoUAAAABACQAZvFJAGbU + BABRqaYAUamlAB1FUwAb + uYwAG7XaAAbNyQAGTJ0A + AgBsTWFjaW50b3NoIEhE + OlVzZXJzOgBhdHRvbjoA + cmVzZWFyY2g6AGhnOgBQ + YXBlcnM6ADIwMTc6AGF0 + dG9uLW1hc3RlcjoAcHJl + c2VudGF0aW9uOgBpbWFn + ZXM6AGFrYXNoYVB1dC5n + cmFmZmxlAA4AJAARAGEA + awBhAHMAaABhAFAAdQB0 + AC4AZwByAGEAZgBmAGwA + ZQAPABoADABNAGEAYwBp + AG4AdABvAHMAaAAgAEgA + RAASAFZVc2Vycy9hdHRv + bi9yZXNlYXJjaC9oZy9Q + YXBlcnMvMjAxNy9hdHRv + bi1tYXN0ZXIvcHJlc2Vu + dGF0aW9uL2ltYWdlcy9h + a2FzaGFQdXQuZ3JhZmZs + ZQATAAEvAP//AAA= + </data> + <key>bookmark</key> + <data> + Ym9va+wDAAAAAAQQMAAA + AAPFOmVt2JcX6S3vNCx5 + PiRxV1IG9l4sWCW7xZdg + LFp03AIAAAQAAAADAwAA + AAgAKAUAAAABAQAAVXNl + cnMAAAAFAAAAAQEAAGF0 + dG9uAAAACAAAAAEBAABy + ZXNlYXJjaAIAAAABAQAA + aGcAAAYAAAABAQAAUGFw + ZXJzAAAEAAAAAQEAADIw + MTcMAAAAAQEAAGF0dG9u + LW1hc3RlcgwAAAABAQAA + cHJlc2VudGF0aW9uBgAA + AAEBAABpbWFnZXMAABEA + AAABAQAAYWthc2hhUHV0 + LmdyYWZmbGUAAAAoAAAA + AQYAABAAAAAgAAAAMAAA + AEAAAABMAAAAXAAAAGgA + AAB8AAAAkAAAAKAAAAAI + AAAABAMAAJ1MBgAAAAAA + CAAAAAQDAADJzQYAAAAA + AAgAAAAEAwAA2rUbAAAA + AAAIAAAABAMAAIy5GwAA + AAAACAAAAAQDAABTRR0A + AAAAAAgAAAAEAwAApalR + AAAAAAAIAAAABAMAAKap + UQAAAAAACAAAAAQDAAAE + 1GYAAAAAAAgAAAAEAwAA + SfFmAAAAAAAIAAAABAMA + ACQXZwAAAAAAKAAAAAEG + AADsAAAA/AAAAAwBAAAc + AQAALAEAADwBAABMAQAA + XAEAAGwBAAB8AQAACAAA + AAAEAABBvlGlhQAAABgA + AAABAgAAAQAAAAAAAAAP + AAAAAAAAAAAAAAAAAAAA + CAAAAAQDAAAIAAAAAAAA + AAQAAAADAwAA9QEAAAgA + AAABCQAAZmlsZTovLy8M + AAAAAQEAAE1hY2ludG9z + aCBIRAgAAAAEAwAAAACC + MXQAAAAIAAAAAAQAAEG9 + pKkzAAAAJAAAAAEBAAA0 + OEIxNDExNS1DRUU3LTM2 + MTItOEMwNi1GQ0Q1Qjgy + OTJCQUIYAAAAAQIAAIEA + AAABAAAA7xMAAAEAAAAA + AAAAAAAAAAEAAAABAQAA + LwAAAAAAAAABBQAAGgAA + AAEBAABOU1VSTERvY3Vt + ZW50SWRlbnRpZmllcktl + eQAABAAAAAMDAAA/AAAA + 2AAAAP7///8BAAAAAAAA + ABEAAAAEEAAAvAAAAAAA + AAAFEAAAjAEAAAAAAAAQ + EAAAzAEAAAAAAABAEAAA + vAEAAAAAAAACIAAAmAIA + AAAAAAAFIAAACAIAAAAA + AAAQIAAAGAIAAAAAAAAR + IAAATAIAAAAAAAASIAAA + LAIAAAAAAAATIAAAPAIA + AAAAAAAgIAAAeAIAAAAA + AAAwIAAApAIAAAAAAAAB + wAAA7AEAAAAAAAARwAAA + IAAAAAAAAAASwAAA/AEA + AAAAAAAQ0AAABAAAAAAA + AACsAgCA0AIAAAAAAAA= + </data> + <key>path</key> + <string>../presentation/images/akashaPut.graffle</string> + </dict> + </dict> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> <key>ID</key> - <integer>3540</integer> - <key>ImageID</key> - <integer>29</integer> - <key>ManualSizeImage</key> - <string>YES</string> - <key>Opacity</key> - <real>0.99999997764825821</real> - <key>Scale</key> - <real>2.4999999441206455</real> - <key>StretchImage</key> - <false/> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> + <integer>3730</integer> </dict> <dict> <key>Bounds</key> - <string>{{1037.3228442389195, 2204.6378167575267}, {964.78997414196579, 633}}</string> + <string>{{35.433071187631349, 2405.7842106729418}, {971.09956664308152, 363}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -103,10 +645,10 @@ <key>Font</key> <string>HiraKakuProN-W3</string> <key>Size</key> - <real>14</real> + <real>30</real> </dict> <key>ID</key> - <integer>3539</integer> + <integer>3666</integer> <key>Style</key> <dict> <key>fill</key> @@ -132,26 +674,19 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\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\ -\'81\'45\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\ - - \'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\ - - \'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\ - - 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\ -\'81\'45\'92\'e8\'97\'9d\'8f\'d8\'96\'be\'93\'49\'83\'41\'83\'76\'83\'8d\'81\'5b\'83\'60\ - - \'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\ - - \'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\ - - 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\ - - \'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\ -\'81\'45\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8\ - - \'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\ - - \'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\ - - 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> +\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\ + - \'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\ + - \'83\'66\'81\'5b\'83\'5e\'82\'cdQueue\'82\'c9\'95\'db\'91\'b6\'82\'b3\'82\'ea\'82\'e9\ +\'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\ + - \'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\ + - \'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\ +\'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> <key>VerticalPad</key> <real>1</real> </dict> @@ -163,7 +698,7 @@ <array> <dict> <key>Bounds</key> - <string>{{1107.7335395964712, 2133.1562778908906}, {889.0382080078125, 73}}</string> + <string>{{612.60074135294087, 1968.6614351847968}, {386.93480448918513, 297}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -172,22 +707,13 @@ <string>Resize</string> <key>FontInfo</key> <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> <key>Font</key> <string>HiraKakuProN-W3</string> <key>Size</key> - <real>48</real> + <real>28</real> </dict> <key>ID</key> - <integer>3520</integer> + <integer>3652</integer> <key>Style</key> <dict> <key>fill</key> @@ -213,18 +739,566 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ +\'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> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{45.67160235083918, 1948.8189153197231}, {554.17323337455434, 367.08661750385863}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3654</integer> + <key>ImageID</key> + <integer>34</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>CornerRadius</key> + <real>3</real> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{100.66363813618273, 1525.1247763111362}, {992.30892108419039, 70}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>48</real> + </dict> + <key>ID</key> + <integer>3656</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\f0\fs96 \cf1 \'82\'dc\'82\'c6\'82\'df\'82\'c6\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8}</string> +\f0\fs92 \cf1 \'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4eChristie}</string> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3658</integer> + <key>Points</key> + <array> + <string>{40.872422425283247, 1550.6813685049199}</string> + <string>{83.717711653772341, 1551.4755176072204}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3659</integer> + <key>Position</key> + <real>0.32640770077705383</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3659</integer> + <key>Points</key> + <array> + <string>{34.480524172888323, 1570.0032066546385}</string> + <string>{46.209646936822686, 1534.5476654782742}</string> + <string>{48.390479745524011, 1533.2766408676421}</string> + <string>{70.871445505318519, 1533.2766408676421}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3660</integer> + <key>Position</key> + <real>0.25490197539329529</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3660</integer> + <key>Points</key> + <array> + <string>{20.556903090540175, 1569.6743943467982}</string> + <string>{60.645130089820725, 1570.6210950907284}</string> + <string>{75.153534221470238, 1569.6743943467982}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{16.493178292070127, 1515.1181239831167}, {994.98516845703114, 68}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3661</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.80000000000000004</real> + <key>g</key> + <real>0.59999999999999998</real> + <key>r</key> + <real>0.20000000000000001</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.8</string> + <key>g</key> + <string>0.4</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3657</integer> + </dict> + </array> + <key>ID</key> + <integer>3655</integer> + </dict> + <dict> + <key>Bounds</key> + <string>{{28.435979199044482, 1595.1247763111357}, {971.09956664308152, 408}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3662</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ +\'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\ +\'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\ +\'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\ + - 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\ + - 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\ + - 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\ +}</string> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{16.493178292069615, 1581.0752299866488}, {994.98516845703148, 734.83030283693324}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3663</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3653</integer> + </dict> + </array> + <key>ID</key> + <integer>3651</integer> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{78.255357800457404, 1219.0041584500198}, {882.13483749343231, 273}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3622</integer> + <key>ImageID</key> + <integer>31</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>CornerRadius</key> + <real>3</real> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{33.772993225632888, 811.00415845001976}, {971.09956664308152, 408}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3623</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ +\'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\ + - \'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\ +\'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)\ +\'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\ +\'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\ + - \'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\ +\'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\ + - 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> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{96.011252180143089, 739.5554764615506}, {889.0382080078125, 73}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>48</real> + </dict> + <key>ID</key> + <integer>3624</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs96 \cf1 GearsOS}</string> <key>VerticalPad</key> <real>0.0</real> </dict> </dict> <dict> + <key>Bounds</key> + <string>{{16.493178292069672, 797.92123618418304}, {994.98516845703068, 706.14772878567692}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3625</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + <dict> <key>Class</key> <string>Group</string> <key>Graphics</key> @@ -233,11 +1307,11 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3522</integer> + <integer>3627</integer> <key>Points</key> <array> - <string>{1047.9423238855713, 2158.7128700846743}</string> - <string>{1090.7876131140608, 2159.5070191869745}</string> + <string>{40.872422425282522, 765.48451098700923}</string> + <string>{83.717711653772042, 766.27866008930937}</string> </array> <key>Style</key> <dict> @@ -265,7 +1339,7 @@ <key>Tail</key> <dict> <key>ID</key> - <integer>3523</integer> + <integer>3628</integer> <key>Position</key> <real>0.32640770077705383</real> </dict> @@ -274,13 +1348,13 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3523</integer> + <integer>3628</integer> <key>Points</key> <array> - <string>{1041.5504256331765, 2178.0347082343924}</string> - <string>{1053.2795483971108, 2142.5791670580284}</string> - <string>{1055.4603812058122, 2141.3081424473967}</string> - <string>{1077.9413469656067, 2141.3081424473967}</string> + <string>{34.480524172887627, 784.80634913672759}</string> + <string>{46.209646936821947, 749.35080796036368}</string> + <string>{48.390479745523152, 748.07978334973109}</string> + <string>{70.871445505317851, 748.07978334973109}</string> </array> <key>Style</key> <dict> @@ -308,7 +1382,7 @@ <key>Tail</key> <dict> <key>ID</key> - <integer>3524</integer> + <integer>3629</integer> <key>Position</key> <real>0.25490197539329529</real> </dict> @@ -317,12 +1391,12 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3524</integer> + <integer>3629</integer> <key>Points</key> <array> - <string>{1027.6268045508284, 2177.7058959265523}</string> - <string>{1067.715031550109, 2178.6525966704821}</string> - <string>{1082.2234356817582, 2177.7058959265523}</string> + <string>{20.556903090539606, 784.4775368288872}</string> + <string>{60.645130089820043, 785.42423757281745}</string> + <string>{75.153534221469329, 784.4775368288872}</string> </array> <key>Style</key> <dict> @@ -350,11 +1424,11 @@ </dict> <dict> <key>Bounds</key> - <string>{{1023.5630797523588, 2123.1496255628708}, {994.98516845703114, 68}}</string> + <string>{{16.493178292069899, 729.92126646520569}, {994.98516845703114, 68}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> - <integer>3525</integer> + <integer>3630</integer> <key>Style</key> <dict> <key>fill</key> @@ -396,42 +1470,17 @@ </dict> </array> <key>ID</key> - <integer>3521</integer> + <integer>3626</integer> </dict> </array> <key>ID</key> - <integer>3519</integer> + <integer>3621</integer> </dict> <dict> <key>Bounds</key> - <string>{{1025.245808521687, 2191.6403527554439}, {994.98516845703114, 641.58801940755893}}</string> + <string>{{1033.7746422975588, 2350.5289963014625}, {964.78997414196579, 566.87425149700448}}</string> <key>Class</key> <string>ShapedGraphic</string> - <key>ID</key> - <integer>3518</integer> - <key>Style</key> - <dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1048.7140122928706, 2016.5984434574605}, {959.36545032042841, 75}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> <key>FontInfo</key> <dict> <key>Font</key> @@ -440,20 +1489,13 @@ <real>14</real> </dict> <key>ID</key> - <integer>3507</integer> + <integer>3577</integer> <key>Style</key> <dict> <key>fill</key> <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274500000000003</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> + <key>Draws</key> + <string>NO</string> </dict> <key>shadow</key> <dict> @@ -473,21 +1515,290 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\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\ --- goto (pop*n . push*n) mds \'81\'df mds}</string> +\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\ + - \'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\ + - \'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\ + - \'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\ + \'81\'45\'89\'db\'91\'e8\ + - \'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)\ + - \'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\ + - \'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> <key>VerticalPad</key> <real>1</real> </dict> </dict> <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{1104.185337655111, 2281.6156564360194}, {889.0382080078125, 70.377245508981872}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>48</real> + </dict> + <key>ID</key> + <integer>3579</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs96 \cf1 \'82\'dc\'82\'c6\'82\'df\'82\'c6\'8d\'a1\'8c\'e3\'82\'cc\'89\'db\'91\'e8}</string> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3581</integer> + <key>Points</key> + <array> + <string>{1044.4771225642178, 2306.0115295951773}</string> + <string>{1087.2394111727006, 2307.0196645118872}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3582</integer> + <key>Position</key> + <real>0.32640770077705383</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3582</integer> + <key>Points</key> + <array> + <string>{1038.001742628654, 2324.8816771321945}</string> + <string>{1049.7313464557506, 2290.6999986869741}</string> + <string>{1051.9121792644519, 2289.4746396312162}</string> + <string>{1074.3931450242465, 2289.4746396312162}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3583</integer> + <key>Position</key> + <real>0.25490197539329529</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3583</integer> + <key>Points</key> + <array> + <string>{1024.0786026094681, 2324.5646893925564}</string> + <string>{1064.1668296087487, 2325.4773769361059}</string> + <string>{1078.675233740398, 2324.5646893925564}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1020.0148778109985, 2271.968524550924}, {994.98516845703114, 65.556886227544723}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3584</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.80000000000000004</real> + <key>g</key> + <real>0.59999999999999998</real> + <key>r</key> + <real>0.20000000000000001</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.8</string> + <key>g</key> + <string>0.4</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3580</integer> + </dict> + </array> + <key>ID</key> + <integer>3578</integer> + </dict> + <dict> <key>Bounds</key> - <string>{{1037.3228442389195, 1770.7489729732406}, {978.14778642833062, 273}}</string> + <string>{{1021.6976065803265, 2337.9985070539433}, {993.3024396877031, 618.53695284201638}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3585</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1028.7508400560205, 1997.0078921349027}, {978.14778642833062, 318}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -502,7 +1813,7 @@ <real>14</real> </dict> <key>ID</key> - <integer>3506</integer> + <integer>3702</integer> <key>Style</key> <dict> <key>fill</key> @@ -528,17 +1839,16 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\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\ -\'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\ -\'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\ -\'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\ - \'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\ +\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\ + - \'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\ + - \'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\ + - \'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\ }</string> <key>VerticalPad</key> <real>1</real> @@ -546,43 +1856,7 @@ </dict> <dict> <key>Bounds</key> - <string>{{27.497016908487126, 2164.7331515077672}, {977.63370931649047, 381.41779289872517}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3498</integer> - <key>ImageID</key> - <integer>27</integer> - <key>ManualSizeImage</key> - <string>YES</string> - <key>Opacity</key> - <real>0.99999997764825821</real> - <key>Scale</key> - <real>1.099999975413084</real> - <key>StretchImage</key> - <false/> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{36.631146406518106, 2548.3464798144464}, {964.78997414196579, 183}}</string> + <string>{{1020.6880619202827, 1244.7781376662001}, {978.14778642833062, 273}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -597,7 +1871,7 @@ <real>14</real> </dict> <key>ID</key> - <integer>3496</integer> + <integer>3706</integer> <key>Style</key> <dict> <key>fill</key> @@ -623,23 +1897,269 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\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\ -\'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\ -\'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\ -\'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> +\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\ +\'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\ + - \'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\ + - \'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> <key>VerticalPad</key> <real>1</real> </dict> </dict> <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{1104.502608885783, 1173.7940628016549}, {889.0382080078125, 73}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>48</real> + </dict> + <key>ID</key> + <integer>3708</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs96 \cf1 WordCount\'97\'e1\'91\'e8}</string> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3710</integer> + <key>Points</key> + <array> + <string>{1044.7113931748829, 1199.3506549954388}</string> + <string>{1087.5566824033724, 1200.1448040977393}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3711</integer> + <key>Position</key> + <real>0.32640770077705383</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3711</integer> + <key>Points</key> + <array> + <string>{1038.319494922488, 1218.672493145157}</string> + <string>{1050.0486176864224, 1183.2169519687932}</string> + <string>{1052.2294504951237, 1181.945927358161}</string> + <string>{1074.7104162549183, 1181.945927358161}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3712</integer> + <key>Position</key> + <real>0.25490197539329529</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3712</integer> + <key>Points</key> + <array> + <string>{1024.39587384014, 1218.3436808373167}</string> + <string>{1064.4841008394205, 1219.2903815812469}</string> + <string>{1078.9925049710698, 1218.3436808373167}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1020.3321490416704, 1163.7874104736354}, {994.98516845703114, 68}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3713</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.80000000000000004</real> + <key>g</key> + <real>0.59999999999999998</real> + <key>r</key> + <real>0.20000000000000001</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.8</string> + <key>g</key> + <string>0.4</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3709</integer> + </dict> + </array> + <key>ID</key> + <integer>3707</integer> + </dict> + <dict> <key>Bounds</key> - <string>{{22.747054760760825, 1927.7185168674441}, {964.78997414196579, 228}}</string> + <string>{{105.75753475616338, 2332.7842106729418}, {889.0382080078125, 73}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> @@ -648,13 +2168,22 @@ <string>Resize</string> <key>FontInfo</key> <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> <key>Font</key> <string>HiraKakuProN-W3</string> <key>Size</key> - <real>14</real> + <real>48</real> </dict> <key>ID</key> - <integer>3494</integer> + <integer>3570</integer> <key>Style</key> <dict> <key>fill</key> @@ -680,142 +2209,13 @@ <key>Pad</key> <real>0.0</real> <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 -\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\ -\'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\ - - 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\ -\'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\ -\'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{36.631146406518106, 2743.9370327701718}, {959.36545032042841, 75}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3495</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274500000000003</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs48 \cf0 if (context->data[AkashaInfo]->akashaInfo.maxHeight >\ - 2*context->data[AkashaInfo]->akashaInfo.minHeight)}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{103.10500157029998, 1838.2489729732406}, {889.0382080078125, 73}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>48</real> - </dict> - <key>ID</key> - <integer>3502</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs96 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'83\'89\'83\'43\'83\'75\'83\'89\'83\'8a akasha}</string> +\f0\fs96 \cf1 GearsFS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'66\'81\'5b\'83\'5e}</string> <key>VerticalPad</key> <real>0.0</real> </dict> @@ -824,11 +2224,11 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3377</integer> + <integer>3571</integer> <key>Points</key> <array> - <string>{42.285434281505644, 1861.6344961960378}</string> - <string>{84.383265850591698, 1861.9569050660602}</string> + <string>{43.920792894859957, 2358.846903538742}</string> + <string>{86.018624463946082, 2359.1693124087647}</string> </array> <key>Style</key> <dict> @@ -856,7 +2256,7 @@ <key>Tail</key> <dict> <key>ID</key> - <integer>3378</integer> + <integer>3572</integer> <key>Position</key> <real>0.32640770077705383</real> </dict> @@ -865,12 +2265,12 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3378</integer> + <integer>3572</integer> <key>Points</key> <array> - <string>{35.146078369707524, 1880.4845941134788}</string> - <string>{49.05603394234317, 1843.7580283264824}</string> - <string>{71.536999702137592, 1843.7580283264824}</string> + <string>{36.781436983061894, 2377.697001456183}</string> + <string>{50.691392555697476, 2340.9704356691868}</string> + <string>{73.17235831549192, 2340.9704356691868}</string> </array> <key>Style</key> <dict> @@ -898,7 +2298,7 @@ <key>Tail</key> <dict> <key>ID</key> - <integer>3379</integer> + <integer>3573</integer> <key>Position</key> <real>0.25490197539329529</real> </dict> @@ -907,12 +2307,12 @@ <key>Class</key> <string>LineGraphic</string> <key>ID</key> - <integer>3379</integer> + <integer>3573</integer> <key>Points</key> <array> - <string>{21.222457287359639, 1880.1557818056385}</string> - <string>{61.310684286639884, 1881.1024825495683}</string> - <string>{75.819088418289112, 1880.1557818056385}</string> + <string>{22.857815900714002, 2377.3681891483429}</string> + <string>{62.946042899994268, 2378.3148898922727}</string> + <string>{77.454447031643497, 2377.3681891483429}</string> </array> <key>Style</key> <dict> @@ -940,11 +2340,11 @@ </dict> <dict> <key>Bounds</key> - <string>{{15.158732488890038, 1828.45690936141}, {994.98516845703114, 68}}</string> + <string>{{16.493178292069757, 2322.9921470611107}, {994.98516845703114, 68}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> - <integer>3503</integer> + <integer>3574</integer> <key>Style</key> <dict> <key>fill</key> @@ -985,8 +2385,550 @@ </dict> </dict> <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Bounds</key> + <string>{{1659.6850544286524, 138.62318058760886}, {329, 100}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3726</integer> + <key>ImageID</key> + <integer>22</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{1370.6187491696908, 157.32283607308318}, {627.06526225391576, 97}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>13</real> + </dict> + <key>ID</key> + <integer>3727</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\f0\fs128 \cf1 \'88\'ea\'96\'d8 \'8b\'4d\'97\'54}</string> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{27.929965899289073, 42.62318058760885}, {1924.739013671875, 96}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FitText</key> + <string>Vertical</string> + <key>Flow</key> + <string>Resize</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W6</string> + <key>Size</key> + <real>110</real> + </dict> + <key>ID</key> + <integer>3728</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W6;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\slleading-800\pardirnatural\partightenfactor0 + +\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> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{14, 14.786078060684787}, {2001.00004626803, 233.86746662237738}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>Helvetica</string> + <key>Size</key> + <real>10</real> + </dict> + <key>ID</key> + <integer>3729</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.91372500000000001</real> + <key>g</key> + <real>0.62745099999999998</real> + <key>r</key> + <real>0.0</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.72549</string> + <key>g</key> + <string>0.419608</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3725</integer> + </dict> + <dict> + <key>Class</key> + <string>Group</string> + <key>Graphics</key> + <array> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3614</integer> + <key>Points</key> + <array> + <string>{41.085916736741737, 296.6248941436113}</string> + <string>{83.400440423100576, 296.34705111738697}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3615</integer> + <key>Position</key> + <real>0.32640770077705383</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3615</integer> + <key>Points</key> + <array> + <string>{34.164741539660547, 316.79777321426974}</string> + <string>{48.07320851485202, 276.25930765612168}</string> + <string>{70.554174274646599, 276.25930765612168}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + <key>Tail</key> + <dict> + <key>ID</key> + <integer>3616</integer> + <key>Position</key> + <real>0.25490197539329529</real> + </dict> + </dict> + <dict> + <key>Class</key> + <string>LineGraphic</string> + <key>ID</key> + <integer>3616</integer> + <key>Points</key> + <array> + <string>{20.239631859868329, 316.43479457865146}</string> + <string>{60.327858859148719, 317.47975366875255}</string> + <string>{74.836262990798048, 316.43479457865146}</string> + </array> + <key>Style</key> + <dict> + <key>stroke</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>1</real> + <key>g</key> + <real>1</real> + <key>r</key> + <real>1</real> + </dict> + <key>HeadArrow</key> + <string>FilledBall</string> + <key>Legacy</key> + <true/> + <key>TailArrow</key> + <string>0</string> + <key>Width</key> + <real>3</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{27.929965899289527, 342.35171871851804}, {976.62532273875377, 398.90813052672945}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>30</real> + </dict> + <key>ID</key> + <integer>3617</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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\ + - 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\ + - \'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\ + - \'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\ +\'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\ +\'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\ +\'81\'45Transaction\'82\'cdGearsOS\'82\'c9\'82\'e6\'82\'e8API\'83\'8c\'83\'78\'83\'8b\'82\'c5\'8e\'9d\'82\'c2\ + - OS\'83\'8c\'83\'78\'83\'8bTransaction\'82\'c9\'82\'e6\'82\'e9\'8a\'4a\'94\'ad\'82\'cc\'8c\'9f\'8f\'d8}</string> + <key>VerticalPad</key> + <real>1</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{99.186936340189106, 270.01397395566283}, {843.98895263671841, 80.576691279153749}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>FontInfo</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <string>1</string> + <key>g</key> + <string>1</string> + <key>r</key> + <string>1</string> + </dict> + <key>Font</key> + <string>HiraKakuProN-W3</string> + <key>Size</key> + <real>40</real> + </dict> + <key>ID</key> + <integer>3618</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + <key>Text</key> + <dict> + <key>Align</key> + <integer>0</integer> + <key>Pad</key> + <real>0.0</real> + <key>Text</key> + <string>{\rtf1\ansi\ansicpg932\cocoartf2636 +\cocoatextscaling0\cocoaplatform0{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} +{\colortbl;\red255\green255\blue255;} +{\*\expandedcolortbl;;} +\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 + +\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> + <key>VerticalPad</key> + <real>0.0</real> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{16.175907061398732, 259.37008109346147}, {994.98516845703068, 75.057739821677444}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3619</integer> + <key>Style</key> + <dict> + <key>fill</key> + <dict> + <key>Color</key> + <dict> + <key>b</key> + <real>0.80000000000000004</real> + <key>g</key> + <real>0.59999999999999998</real> + <key>r</key> + <real>0.20000000000000001</real> + </dict> + <key>FillType</key> + <integer>2</integer> + <key>GradientAngle</key> + <real>90</real> + <key>GradientColor</key> + <dict> + <key>b</key> + <string>0.8</string> + <key>g</key> + <string>0.4</string> + <key>r</key> + <string>0</string> + </dict> + </dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{16.175907061398789, 334.42782091513925}, {995.30243968770242, 384.15486277002429}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3620</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>Width</key> + <real>0.5</real> + </dict> + </dict> + </dict> + </array> + <key>ID</key> + <integer>3613</integer> + </dict> + <dict> <key>Bounds</key> - <string>{{13.840645106206182, 1894.9606471145244}, {994.98516845703114, 945.35433928600446}}</string> + <string>{{35.433071187631349, 2745.3543556176769}, {823.46457440055258, 187.08661587069355}}</string> + <key>Class</key> + <string>ShapedGraphic</string> + <key>ID</key> + <integer>3668</integer> + <key>ImageID</key> + <integer>35</integer> + <key>Style</key> + <dict> + <key>shadow</key> + <dict> + <key>Draws</key> + <string>NO</string> + </dict> + <key>stroke</key> + <dict> + <key>CornerRadius</key> + <real>3</real> + <key>Draws</key> + <string>NO</string> + </dict> + </dict> + </dict> + <dict> + <key>Bounds</key> + <string>{{16.493178292069786, 2390.9921470611107}, {994.98516845703114, 565.54331283484908}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FontInfo</key> @@ -997,7 +2939,7 @@ <real>46</real> </dict> <key>ID</key> - <integer>3497</integer> + <integer>3575</integer> <key>Link</key> <dict> <key>fileReference</key> @@ -1085,1070 +3027,13 @@ </dict> <dict> <key>Bounds</key> - <string>{{1046.7927523603337, 1633.4173375460105}, {959.36545032042841, 111}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3471</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274500000000003</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs48 \cf0 comp-associative : (a : CodeSegment A B) (b : CodeSegment C D) \ - (c : CodeSegment E F) -> csComp c (csComp b a) \'81\'df csComp (csComp c b) a\ --- c . (b . a) \'81\'df (c . b) . a}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1037.4015843063826, 1534.3642851253569}, {978.14778642833062, 93}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3505</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1045.9055213914141, 1263.9249580692376}, {959.36545032042841, 255}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3468</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274500000000003</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs48 \cf0 record ds0 : Set where\ - field\ - a : Int\ - b : Int\ -\ -cs0 : CodeSegment ds0 ds1\ -cs0 = cs (\\d -> goto cs1 (record \{c = (ds0.a d) + (ds0.b d)\}))}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1046.7636235553848, 927.78233119476795}, {959.36545032042841, 75}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3467</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274500000000003</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs48 \cf0 f : \{A B C : Set\} -> ((A -> B) \'81\'7e (B -> C)) -> (A -> C)\ -f = \\p x -> (snd p) ((fst p) x)}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1040.3417559681222, 860.68099333880286}, {964.78997414196579, 48}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3466</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{485.74694453537722, 1095.9834683055628}, {513.66007214516185, 228}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3439</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs60 \cf0 \'81\'45CbC \'82\'cc\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80\'97\'e1\ -\'81\'45cs0 \'82\'c6 cs1 \'82\'aa CodeSegment\ -\'81\'45a \'82\'c6 b \'82\'cc\'90\'94\'92\'6c\'82\'f0\'89\'c1\'8e\'5a\'82\'b7\'82\'e9 cs0\ -\'81\'45\'88\'f8\'90\'94\'95\'94\'95\'aa\'82\'aa DataSegment\ -\'81\'45goto \'82\'aa CodeSegment \'82\'cc\'90\'da\'91\'b1}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1685.9999397825284, 190.71418127401233}, {329, 100}}</string> + <string>{{1072.9133955614773, 1486.8454402919813}, {852.91523165681042, 519.55989551351945}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> - <integer>3434</integer> + <integer>3742</integer> <key>ImageID</key> - <integer>22</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Bounds</key> - <string>{{100.34636690551133, 1387.4282842332475}, {992.30892108419039, 70}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>48</real> - </dict> - <key>ID</key> - <integer>3403</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs92 \cf1 CbC \'82\'c6\'83\'81\'83\'5e\'8c\'76\'8e\'5a}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3405</integer> - <key>Points</key> - <array> - <string>{40.555151194611305, 1412.9848764270312}</string> - <string>{83.40044042310069, 1413.7790255293316}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3406</integer> - <key>Position</key> - <real>0.32640770077705383</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3406</integer> - <key>Points</key> - <array> - <string>{34.163252942216417, 1432.3067145767498}</string> - <string>{45.892375706150709, 1396.8511734003855}</string> - <string>{48.073208514852034, 1395.5801487897534}</string> - <string>{70.554174274646613, 1395.5801487897534}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3407</integer> - <key>Position</key> - <real>0.25490197539329529</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3407</integer> - <key>Points</key> - <array> - <string>{20.239631859868325, 1431.9779022689095}</string> - <string>{60.327858859148876, 1432.9246030128397}</string> - <string>{74.836262990798161, 1431.9779022689095}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{16.175907061398732, 1377.421631905228}, {994.98516845703114, 68}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3408</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.80000000000000004</real> - <key>g</key> - <real>0.59999999999999998</real> - <key>r</key> - <real>0.20000000000000001</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.8</string> - <key>g</key> - <string>0.4</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - </array> - <key>ID</key> - <integer>3404</integer> - </dict> - </array> - <key>ID</key> - <integer>3402</integer> - </dict> - <dict> - <key>Bounds</key> - <string>{{33.455721994961721, 851.81709726088661}, {971.09956664308152, 228}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3367</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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\ -\'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\ -\'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\ -\'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{49.606299662683888, 1090.633033696635}, {429.48782970673949, 255}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>28</real> - </dict> - <key>ID</key> - <integer>3365</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.66274509803921566</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs56 \cf0 __code cs0(int a, int b) \{\ - goto cs1(a+b);\ -\}\ -__code cs1(int c) \{\ - goto cs2(c);\ -\}}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1024.2362638616421, 1126.6604735834671}, {978.14778642833062, 138}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3090</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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\ -\'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Bounds</key> - <string>{{1108.0508108271424, 1055.676398718922}, {889.0382080078125, 73}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>48</real> - </dict> - <key>ID</key> - <integer>3480</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs96 \cf1 Agda \'82\'c6 Continuation based C}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3482</integer> - <key>Points</key> - <array> - <string>{1048.2595951162423, 1081.2329909127059}</string> - <string>{1091.1048843447318, 1082.0271400150064}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3483</integer> - <key>Position</key> - <real>0.32640770077705383</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3483</integer> - <key>Points</key> - <array> - <string>{1041.8676968638474, 1100.554829062424}</string> - <string>{1053.5968196277818, 1065.0992878860602}</string> - <string>{1055.7776524364831, 1063.8282632754281}</string> - <string>{1078.2586181962777, 1063.8282632754281}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3484</integer> - <key>Position</key> - <real>0.25490197539329529</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3484</integer> - <key>Points</key> - <array> - <string>{1027.9440757814994, 1100.2260167545837}</string> - <string>{1068.0323027807799, 1101.172717498514}</string> - <string>{1082.5407069124292, 1100.2260167545837}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1023.8803509830298, 1045.6697463909024}, {994.98516845703114, 68}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3485</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.80000000000000004</real> - <key>g</key> - <real>0.59999999999999998</real> - <key>r</key> - <real>0.20000000000000001</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.8</string> - <key>g</key> - <string>0.4</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - </array> - <key>ID</key> - <integer>3481</integer> - </dict> - </array> - <key>ID</key> - <integer>3479</integer> - </dict> - <dict> - <key>Bounds</key> - <string>{{1023.5630797523584, 1114.1604735834744}, {994.98516845703114, 997.65056919935387}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3508</integer> + <integer>36</integer> <key>Style</key> <dict> <key>shadow</key> @@ -2158,1224 +3043,20 @@ </dict> <key>stroke</key> <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Bounds</key> - <string>{{1106.0013261063716, 315.30136288225918}, {889.0382080078125, 73}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>48</real> - </dict> - <key>ID</key> - <integer>3473</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs96 \cf1 \'92\'e8\'97\'9d\'8f\'d8\'96\'be\'82\'c6\'83\'76\'83\'8d\'83\'4f\'83\'89\'83\'80}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3475</integer> - <key>Points</key> - <array> - <string>{1047.3695409607942, 341.22156837372069}</string> - <string>{1090.2148301892837, 342.01571747602134}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3476</integer> - <key>Position</key> - <real>0.32640770077705383</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3476</integer> - <key>Points</key> - <array> - <string>{1040.9776427083993, 360.54340652343927}</string> - <string>{1052.7067654723337, 325.08786534707508}</string> - <string>{1054.887598281035, 323.81684073644294}</string> - <string>{1077.3685640408298, 323.81684073644294}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>3477</integer> - <key>Position</key> - <real>0.25490197539329529</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>3477</integer> - <key>Points</key> - <array> - <string>{1027.0540216260513, 360.21459421559894}</string> - <string>{1067.1422486253318, 361.16129495952919}</string> - <string>{1081.6506527569811, 360.21459421559894}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1022.9902968275817, 305.6583238519176}, {994.98516845703114, 68}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3478</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.80000000000000004</real> - <key>g</key> - <real>0.59999999999999998</real> - <key>r</key> - <real>0.20000000000000001</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.8</string> - <key>g</key> - <string>0.4</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - </array> - <key>ID</key> - <integer>3474</integer> - </dict> - </array> - <key>ID</key> - <integer>3472</integer> - </dict> - <dict> - <key>Bounds</key> - <string>{{95.693980949471921, 780.36841527241745}, {889.0382080078125, 73}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>48</real> - </dict> - <key>ID</key> - <integer>1078</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs96 \cf1 Continuation based C (CbC)}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{16.175907061398277, 838.73417499505013}, {994.98516845703114, 520.47843576248852}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FontInfo</key> - <dict> - <key>Size</key> - <real>30</real> - </dict> - <key>ID</key> - <integer>1077</integer> - <key>Style</key> - <dict> - <key>shadow</key> - <dict> + <key>CornerRadius</key> + <real>3</real> <key>Draws</key> <string>NO</string> </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Class</key> - <string>Group</string> - <key>Graphics</key> - <array> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1073</integer> - <key>Points</key> - <array> - <string>{40.555151194611355, 806.29744979787608}</string> - <string>{83.400440423100875, 807.09159890017622}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>1074</integer> - <key>Position</key> - <real>0.32640770077705383</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1074</integer> - <key>Points</key> - <array> - <string>{34.163252942216459, 825.61928794759444}</string> - <string>{45.89237570615078, 790.16374677123054}</string> - <string>{48.073208514851984, 788.89272216059794}</string> - <string>{70.554174274646684, 788.89272216059794}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>1075</integer> - <key>Position</key> - <real>0.25490197539329529</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1075</integer> - <key>Points</key> - <array> - <string>{20.239631859868439, 825.29047563975405}</string> - <string>{60.327858859148876, 826.2371763836843}</string> - <string>{74.836262990798161, 825.29047563975405}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{16.175907061398732, 770.73420527607254}, {994.98516845703114, 68}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>1076</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.80000000000000004</real> - <key>g</key> - <real>0.59999999999999998</real> - <key>r</key> - <real>0.20000000000000001</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.8</string> - <key>g</key> - <string>0.4</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - </array> - <key>ID</key> - <integer>1072</integer> - </dict> - <dict> - <key>Bounds</key> - <string>{{30.105873241335303, 1478.9425967973286}, {964.78997414196579, 318}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>1036</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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\ -\'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\ - - \'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\ -\'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\ - - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'82\'b7\'82\'e9 CodeSegment \'82\'cd Meta CodeSegment\ - - \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'c9\'95\'4b\'97\'76\'82\'c8 DataSegment \'82\'cd Meta DataSegment}</string> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1032</integer> - <key>Points</key> - <array> - <string>{39.126701511968491, 339.1928716562025}</string> - <string>{81.224533081054688, 339.51528052622513}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>1031</integer> - <key>Position</key> - <real>0.32640770077705383</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1031</integer> - <key>Points</key> - <array> - <string>{31.987345600170322, 358.04296957364335}</string> - <string>{45.89730117280606, 321.31640378664719}</string> - <string>{68.378266932600667, 321.31640378664719}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> - </dict> - <key>Tail</key> - <dict> - <key>ID</key> - <integer>1030</integer> - <key>Position</key> - <real>0.25490197539329529</real> - </dict> - </dict> - <dict> - <key>Class</key> - <string>LineGraphic</string> - <key>ID</key> - <integer>1030</integer> - <key>Points</key> - <array> - <string>{18.063724517822315, 357.71415726580312}</string> - <string>{58.151951517102724, 358.66085800973303}</string> - <string>{72.660355648752045, 357.71415726580312}</string> - </array> - <key>Style</key> - <dict> - <key>stroke</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>1</real> - <key>g</key> - <real>1</real> - <key>r</key> - <real>1</real> - </dict> - <key>HeadArrow</key> - <string>FilledBall</string> - <key>Legacy</key> - <true/> - <key>TailArrow</key> - <string>0</string> - <key>Width</key> - <real>3</real> - </dict> </dict> </dict> <dict> <key>Bounds</key> - <string>{{1380.4724534701177, 207.40067864496805}, {627.06526225391576, 97}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>13</real> - </dict> - <key>ID</key> - <integer>24</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\f0\fs128 \cf1 \'94\'e4\'89\'c3 \'8c\'92\'91\'be}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{27.929965899289073, 380.62833913257816}, {971.47705078125, 363}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>30</real> - </dict> - <key>ID</key> - <integer>989</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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\ -\'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\ - - \'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 \ - \'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\ - - \'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\ -\'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\ -\'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{27.929965899289073, 16.994015129345218}, {1924.739013671875, 191}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W6</string> - <key>Size</key> - <real>110</real> - </dict> - <key>ID</key> - <integer>5</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\slleading-800\pardirnatural\partightenfactor0 - -\f0\b\fs180 \cf1 \'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'f0\'97\'70\'82\'a2\'82\'bd\ -Continuation based C \'82\'cc\'8c\'9f\'8f\'d8\'8e\'e8\'96\'40}</string> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{14, 14.786078060684758}, {2001.00004626803, 272}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>Helvetica</string> - <key>Size</key> - <real>10</real> - </dict> - <key>ID</key> - <integer>23</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.91372500000000001</real> - <key>g</key> - <real>0.62745099999999998</real> - <key>r</key> - <real>0.0</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.72549</string> - <key>g</key> - <string>0.419608</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{97.011028998143161, 315.65832385191749}, {843.98895263671875, 73}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <string>1</string> - <key>g</key> - <string>1</string> - <key>r</key> - <string>1</string> - </dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>40</real> - </dict> - <key>ID</key> - <integer>10</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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> - <key>VerticalPad</key> - <real>0.0</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{13.999999719352729, 306.01528482157511}, {994.98516845703114, 68}}</string> + <string>{{1020.0148778109988, 1232.2781376662074}, {995.30243968770264, 1034.0210954946938}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> - <integer>29</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Color</key> - <dict> - <key>b</key> - <real>0.80000000000000004</real> - <key>g</key> - <real>0.59999999999999998</real> - <key>r</key> - <real>0.20000000000000001</real> - </dict> - <key>FillType</key> - <integer>2</integer> - <key>GradientAngle</key> - <real>90</real> - <key>GradientColor</key> - <dict> - <key>b</key> - <string>0.8</string> - <key>g</key> - <string>0.4</string> - <key>r</key> - <string>0</string> - </dict> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{13.999999719352729, 374.01528482157528}, {994.98516845703114, 381.41779289872517}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>27</integer> - <key>Style</key> - <dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{16.175907061398959, 1436.0902022142086}, {994.98516845703114, 370.99642835499026}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>ID</key> - <integer>3262</integer> - <key>Style</key> - <dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Width</key> - <real>0.5</real> - </dict> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1038.0878939851143, 388.30136288225884}, {964.78997414196579, 228}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FitText</key> - <string>Vertical</string> - <key>Flow</key> - <string>Resize</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>14</real> - </dict> - <key>ID</key> - <integer>3463</integer> - <key>Style</key> - <dict> - <key>fill</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>shadow</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - <key>stroke</key> - <dict> - <key>Draws</key> - <string>NO</string> - </dict> - </dict> - <key>Text</key> - <dict> - <key>Align</key> - <integer>0</integer> - <key>Pad</key> - <real>0.0</real> - <key>Text</key> - <string>{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 -{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} -{\colortbl;\red255\green255\blue255;} -{\*\expandedcolortbl;;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 - -\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\ -\'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\ -\'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\ -\'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\ - - \'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> - <key>VerticalPad</key> - <real>1</real> - </dict> - </dict> - <dict> - <key>Bounds</key> - <string>{{1023.0298730963038, 373.17817670232722}, {994.98516845703114, 650.49494409958015}}</string> - <key>Class</key> - <string>ShapedGraphic</string> - <key>FontInfo</key> - <dict> - <key>Font</key> - <string>HiraKakuProN-W3</string> - <key>Size</key> - <real>46</real> - </dict> - <key>ID</key> - <integer>3465</integer> - <key>Link</key> - <dict> - <key>fileReference</key> - <dict> - <key>alias</key> - <data> - AAAAAAH6AAIAAAxNYWNpbnRvc2ggSEQAAAAA - AAAAAAAAAAAAAADUGqDDSCsAAABm8UkRYWth - c2hhUHV0LmdyYWZmbGUAAAAAAAAAAAAAAAAA - AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA - AAAAAAAAAGcXJNTHnRUAAAAAAAAAAP////8A - AAkgAAAAAAAAAAAAAAAAAAAABmltYWdlcwAQ - AAgAANQaIjMAAAARAAgAANTHHoUAAAABACQA - ZvFJAGbUBABRqaYAUamlAB1FUwAbuYwAG7Xa - AAbNyQAGTJ0AAgBsTWFjaW50b3NoIEhEOlVz - ZXJzOgBhdHRvbjoAcmVzZWFyY2g6AGhnOgBQ - YXBlcnM6ADIwMTc6AGF0dG9uLW1hc3RlcjoA - cHJlc2VudGF0aW9uOgBpbWFnZXM6AGFrYXNo - YVB1dC5ncmFmZmxlAA4AJAARAGEAawBhAHMA - aABhAFAAdQB0AC4AZwByAGEAZgBmAGwAZQAP - ABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgA - RAASAFZVc2Vycy9hdHRvbi9yZXNlYXJjaC9o - Zy9QYXBlcnMvMjAxNy9hdHRvbi1tYXN0ZXIv - cHJlc2VudGF0aW9uL2ltYWdlcy9ha2FzaGFQ - dXQuZ3JhZmZsZQATAAEvAP//AAA= - </data> - <key>bookmark</key> - <data> - Ym9va+wDAAAAAAQQMAAAAAPFOmVt2JcX6S3v - NCx5PiRxV1IG9l4sWCW7xZdgLFp03AIAAAQA - AAADAwAAAAgAKAUAAAABAQAAVXNlcnMAAAAF - AAAAAQEAAGF0dG9uAAAACAAAAAEBAAByZXNl - YXJjaAIAAAABAQAAaGcAAAYAAAABAQAAUGFw - ZXJzAAAEAAAAAQEAADIwMTcMAAAAAQEAAGF0 - dG9uLW1hc3RlcgwAAAABAQAAcHJlc2VudGF0 - aW9uBgAAAAEBAABpbWFnZXMAABEAAAABAQAA - YWthc2hhUHV0LmdyYWZmbGUAAAAoAAAAAQYA - ABAAAAAgAAAAMAAAAEAAAABMAAAAXAAAAGgA - AAB8AAAAkAAAAKAAAAAIAAAABAMAAJ1MBgAA - AAAACAAAAAQDAADJzQYAAAAAAAgAAAAEAwAA - 2rUbAAAAAAAIAAAABAMAAIy5GwAAAAAACAAA - AAQDAABTRR0AAAAAAAgAAAAEAwAApalRAAAA - AAAIAAAABAMAAKapUQAAAAAACAAAAAQDAAAE - 1GYAAAAAAAgAAAAEAwAASfFmAAAAAAAIAAAA - BAMAACQXZwAAAAAAKAAAAAEGAADsAAAA/AAA - AAwBAAAcAQAALAEAADwBAABMAQAAXAEAAGwB - AAB8AQAACAAAAAAEAABBvlGlhQAAABgAAAAB - AgAAAQAAAAAAAAAPAAAAAAAAAAAAAAAAAAAA - CAAAAAQDAAAIAAAAAAAAAAQAAAADAwAA9QEA - AAgAAAABCQAAZmlsZTovLy8MAAAAAQEAAE1h - Y2ludG9zaCBIRAgAAAAEAwAAAACCMXQAAAAI - AAAAAAQAAEG9pKkzAAAAJAAAAAEBAAA0OEIx - NDExNS1DRUU3LTM2MTItOEMwNi1GQ0Q1Qjgy - OTJCQUIYAAAAAQIAAIEAAAABAAAA7xMAAAEA - AAAAAAAAAAAAAAEAAAABAQAALwAAAAAAAAAB - BQAAGgAAAAEBAABOU1VSTERvY3VtZW50SWRl - bnRpZmllcktleQAABAAAAAMDAAA/AAAA2AAA - AP7///8BAAAAAAAAABEAAAAEEAAAvAAAAAAA - AAAFEAAAjAEAAAAAAAAQEAAAzAEAAAAAAABA - EAAAvAEAAAAAAAACIAAAmAIAAAAAAAAFIAAA - CAIAAAAAAAAQIAAAGAIAAAAAAAARIAAATAIA - AAAAAAASIAAALAIAAAAAAAATIAAAPAIAAAAA - AAAgIAAAeAIAAAAAAAAwIAAApAIAAAAAAAAB - wAAA7AEAAAAAAAARwAAAIAAAAAAAAAASwAAA - /AEAAAAAAAAQ0AAABAAAAAAAAACsAgCA0AIA - AAAAAAA= - </data> - <key>path</key> - <string>../presentation/images/akashaPut.graffle</string> - </dict> - </dict> + <integer>3714</integer> <key>Style</key> <dict> <key>shadow</key> @@ -3403,19 +3084,23 @@ <key>GuidesVisible</key> <string>YES</string> <key>HPages</key> - <integer>2</integer> + <integer>1</integer> <key>ImageCounter</key> - <integer>30</integer> + <integer>37</integer> <key>ImageLinkBack</key> <array> <dict/> <dict/> <dict/> + <dict/> + <dict/> </array> <key>ImageList</key> <array> - <string>image29.pdf</string> - <string>image27.pdf</string> + <string>image36.pdf</string> + <string>image35.pdf</string> + <string>image34.pdf</string> + <string>image31.pdf</string> <string>image22.pdf</string> </array> <key>KeepToScale</key> @@ -3459,9 +3144,9 @@ <key>MasterSheets</key> <array/> <key>ModificationDate</key> - <string>2017-02-19 04:43:31 +0000</string> + <string>2022-02-14 15:56:34 +0000</string> <key>Modifier</key> - <string>atton</string> + <string>一木貴裕</string> <key>NotesVisible</key> <string>NO</string> <key>Orientation</key> @@ -3490,7 +3175,7 @@ <key>NSPaperName</key> <array> <string>string</string> - <string>35594B77-E0C2-4AA7-B0AF-0CA27B63B300</string> + <string>0D07D2C0-E48E-4D58-994A-A8F4093291D0</string> </array> <key>NSPaperSize</key> <array> @@ -3532,7 +3217,7 @@ <key>UseEntirePage</key> <false/> <key>VPages</key> - <integer>1</integer> + <integer>2</integer> <key>WindowInfo</key> <dict> <key>CurrentSheet</key> @@ -3540,7 +3225,7 @@ <key>Expanded_Canvases</key> <array/> <key>Frame</key> - <string>{{376, 3}, {1592, 1053}}</string> + <string>{{0, 0}, {1280, 736}}</string> <key>ShowInfo</key> <true/> <key>Sidebar</key> @@ -3550,7 +3235,7 @@ <key>TopSlabHeight</key> <real>250</real> <key>VisibleRegion</key> - <string>{{0, 162}, {2590, 1886}}</string> + <string>{{0, 686}, {1936, 1378}}</string> <key>Zoom</key> <real>0.5</real> <key>ZoomValues</key>