changeset 133:aa8e52f56fe0

Update poster
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sun, 19 Feb 2017 13:45:06 +0900
parents 25d0356fc327
children bd760daf8759
files poster/atton-poster.graffle/data.plist poster/atton-poster.graffle/image29.pdf poster/atton-poster.pdf
diffstat 3 files changed, 1094 insertions(+), 1036 deletions(-) [+]
line wrap: on
line diff
--- a/poster/atton-poster.graffle/data.plist	Sat Feb 18 16:28:40 2017 +0900
+++ b/poster/atton-poster.graffle/data.plist	Sun Feb 19 13:45:06 2017 +0900
@@ -14,7 +14,7 @@
 	<key>BackgroundGraphic</key>
 	<dict>
 		<key>Bounds</key>
-		<string>{{0, 0}, {4055.244140625, 5721.3701171875}}</string>
+		<string>{{0, 0}, {4055.244140625, 2860.68505859375}}</string>
 		<key>Class</key>
 		<string>SolidGraphic</string>
 		<key>FontInfo</key>
@@ -55,7 +55,1037 @@
 	<array>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1047.81102534807, 2719.1620043914941}, {959.36545032042841, 75}}</string>
+			<string>{{428.68948903630695, 578.51969032465945}, {2184.0945080055963, 1932.2478062009218}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<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>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{1037.3228442389195, 2204.6378167575267}, {964.78997414196579, 633}}</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>3539</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\'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>
+				<key>VerticalPad</key>
+				<real>1</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>Group</string>
+			<key>Graphics</key>
+			<array>
+				<dict>
+					<key>Bounds</key>
+					<string>{{1107.7335395964712, 2133.1562778908906}, {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>3520</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 \'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>3522</integer>
+							<key>Points</key>
+							<array>
+								<string>{1047.9423238855713, 2158.7128700846743}</string>
+								<string>{1090.7876131140608, 2159.5070191869745}</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>3523</integer>
+								<key>Position</key>
+								<real>0.32640770077705383</real>
+							</dict>
+						</dict>
+						<dict>
+							<key>Class</key>
+							<string>LineGraphic</string>
+							<key>ID</key>
+							<integer>3523</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>
+							</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>3524</integer>
+								<key>Position</key>
+								<real>0.25490197539329529</real>
+							</dict>
+						</dict>
+						<dict>
+							<key>Class</key>
+							<string>LineGraphic</string>
+							<key>ID</key>
+							<integer>3524</integer>
+							<key>Points</key>
+							<array>
+								<string>{1027.6268045508284, 2177.7058959265523}</string>
+								<string>{1067.715031550109, 2178.6525966704821}</string>
+								<string>{1082.2234356817582, 2177.7058959265523}</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.5630797523588, 2123.1496255628708}, {994.98516845703114, 68}}</string>
+							<key>Class</key>
+							<string>ShapedGraphic</string>
+							<key>ID</key>
+							<integer>3525</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>3521</integer>
+				</dict>
+			</array>
+			<key>ID</key>
+			<integer>3519</integer>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{1025.245808521687, 2191.6403527554439}, {994.98516845703114, 641.58801940755893}}</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>
+				<string>HiraKakuProN-W3</string>
+				<key>Size</key>
+				<real>14</real>
+			</dict>
+			<key>ID</key>
+			<integer>3507</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 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>
+				<key>VerticalPad</key>
+				<real>1</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{1037.3228442389195, 1770.7489729732406}, {978.14778642833062, 273}}</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>3506</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\'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\
+}</string>
+				<key>VerticalPad</key>
+				<real>1</real>
+			</dict>
+		</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>
+			<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>3496</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\'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>
+				<key>VerticalPad</key>
+				<real>1</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Bounds</key>
+			<string>{{22.747054760760825, 1927.7185168674441}, {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>3494</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\'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-&gt;data[AkashaInfo]-&gt;akashaInfo.maxHeight &gt;\
+        2*context-&gt;data[AkashaInfo]-&gt;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>
+				<key>VerticalPad</key>
+				<real>0.0</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>LineGraphic</string>
+			<key>ID</key>
+			<integer>3377</integer>
+			<key>Points</key>
+			<array>
+				<string>{42.285434281505644, 1861.6344961960378}</string>
+				<string>{84.383265850591698, 1861.9569050660602}</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>3378</integer>
+				<key>Position</key>
+				<real>0.32640770077705383</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>LineGraphic</string>
+			<key>ID</key>
+			<integer>3378</integer>
+			<key>Points</key>
+			<array>
+				<string>{35.146078369707524, 1880.4845941134788}</string>
+				<string>{49.05603394234317, 1843.7580283264824}</string>
+				<string>{71.536999702137592, 1843.7580283264824}</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>3379</integer>
+				<key>Position</key>
+				<real>0.25490197539329529</real>
+			</dict>
+		</dict>
+		<dict>
+			<key>Class</key>
+			<string>LineGraphic</string>
+			<key>ID</key>
+			<integer>3379</integer>
+			<key>Points</key>
+			<array>
+				<string>{21.222457287359639, 1880.1557818056385}</string>
+				<string>{61.310684286639884, 1881.1024825495683}</string>
+				<string>{75.819088418289112, 1880.1557818056385}</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>{{15.158732488890038, 1828.45690936141}, {994.98516845703114, 68}}</string>
+			<key>Class</key>
+			<string>ShapedGraphic</string>
+			<key>ID</key>
+			<integer>3503</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.840645106206182, 1894.9606471145244}, {994.98516845703114, 945.35433928600446}}</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>3497</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>
+			<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>{{1046.7927523603337, 1633.4173375460105}, {959.36545032042841, 111}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -109,15 +1139,16 @@
 {\*\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\fs48 \cf0 comp-associative : (a : CodeSegment A B) (b : CodeSegment C D) \
+  (c : CodeSegment E F) -&gt; 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>{{1044.1489697708976, 2445.3627891954325}, {978.14778642833062, 228}}</string>
+			<string>{{1037.4015843063826, 1534.3642851253569}, {978.14778642833062, 93}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -132,7 +1163,7 @@
 				<real>14</real>
 			</dict>
 			<key>ID</key>
-			<integer>3470</integer>
+			<integer>3505</integer>
 			<key>Style</key>
 			<dict>
 				<key>fill</key>
@@ -164,18 +1195,15 @@
 {\*\expandedcolortbl;;}
 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
 
-\f0\fs60 \cf0 \'81\'45Agda \'82\'c9 CbC \'82\'f0\'95\'cf\'8a\'b7\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8f\'d8\'96\'be\'82\'aa\'8d\'73\'82\'c8\'82\'a6\'82\'e9\
-\'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\
-\'81\'45Agda \'82\'c5\'90\'ab\'8e\'bf\'82\'f0\'92\'e8\'8b\'60\'82\'b7\'82\'e9\'82\'c6\'88\'c8\'89\'ba\'82\'cc\'82\'e6\'82\'a4\'82\'c9\'82\'c8\'82\'e9}</string>
+\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>{{1053.5401378248487, 2164.7331515077672}, {959.36545032042841, 255}}</string>
+			<string>{{1045.9055213914141, 1263.9249580692376}, {959.36545032042841, 255}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -242,7 +1270,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1043.7880980533005, 1772.1407234047856}, {959.36545032042841, 75}}</string>
+			<string>{{1046.7636235553848, 927.78233119476795}, {959.36545032042841, 75}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -304,7 +1332,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1037.3662304660379, 1705.0393855488203}, {964.78997414196579, 48}}</string>
+			<string>{{1040.3417559681222, 860.68099333880286}, {964.78997414196579, 48}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -358,513 +1386,6 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1037.3662304660379, 504.56693371187043}, {977.63370931649047, 381.41779289872517}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3461</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>{{1043.7880980533002, 861.7322912831944}, {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>14</real>
-			</dict>
-			<key>ID</key>
-			<integer>3452</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\'94\'f1\'94\'6a\'89\'f3\'90\'d4\'8d\'95\'96\'d8\'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>
-				<key>VerticalPad</key>
-				<real>1</real>
-			</dict>
-		</dict>
-		<dict>
-			<key>Bounds</key>
-			<string>{{1029.904006407543, 388.21400567621367}, {964.78997414196579, 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>3451</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\'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\'45CodeSegment \'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>Class</key>
-			<string>Group</string>
-			<key>Graphics</key>
-			<array>
-				<dict>
-					<key>Bounds</key>
-					<string>{{98.170459563465442, 2154.3426297596006}, {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>3444</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 \'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8}</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>3446</integer>
-							<key>Points</key>
-							<array>
-								<string>{38.379243852565331, 2179.8992219533848}</string>
-								<string>{81.224533081054673, 2180.693371055685}</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>3447</integer>
-								<key>Position</key>
-								<real>0.32640770077705383</real>
-							</dict>
-						</dict>
-						<dict>
-							<key>Class</key>
-							<string>LineGraphic</string>
-							<key>ID</key>
-							<integer>3447</integer>
-							<key>Points</key>
-							<array>
-								<string>{31.987345600170414, 2199.2210601031034}</string>
-								<string>{43.716468364104713, 2163.7655189267389}</string>
-								<string>{45.897301172806038, 2162.4944943161067}</string>
-								<string>{68.37826693260061, 2162.4944943161067}</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>3448</integer>
-								<key>Position</key>
-								<real>0.25490197539329529</real>
-							</dict>
-						</dict>
-						<dict>
-							<key>Class</key>
-							<string>LineGraphic</string>
-							<key>ID</key>
-							<integer>3448</integer>
-							<key>Points</key>
-							<array>
-								<string>{18.063724517822322, 2198.8922477952628}</string>
-								<string>{58.151951517102873, 2199.8389485391931}</string>
-								<string>{72.660355648752159, 2198.8922477952628}</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>{{13.999999719352729, 2144.3359774315813}, {994.98516845703114, 68}}</string>
-							<key>Class</key>
-							<string>ShapedGraphic</string>
-							<key>ID</key>
-							<integer>3449</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>3445</integer>
-				</dict>
-			</array>
-			<key>ID</key>
-			<integer>3443</integer>
-		</dict>
-		<dict>
-			<key>Bounds</key>
-			<string>{{27.929965899289073, 2242.2047447533118}, {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>14</real>
-			</dict>
-			<key>ID</key>
-			<integer>3442</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\'5c\'83\'74\'83\'67\'83\'45\'83\'46\'83\'41\'82\'aa\'8e\'64\'97\'6c\'82\'f0\'96\'9e\'82\'bd\'82\'b7\'82\'a9\'83\'60\'83\'46\'83\'62\'83\'4e\'82\'b7\'82\'e9\
-\'81\'45\'8e\'64\'97\'6c\'82\'c9\'94\'77\'82\'ad\'8f\'f3\'91\'d4\'82\'aa\'82\'a0\'82\'ea\'82\'ce\'94\'bd\'97\'e1\'82\'c6\'82\'b5\'82\'c4\'82\'bb\'82\'cc\'8e\'c0\'8d\'73\'8f\'f3\'91\'d4\'82\'f0\'92\'f1\'8f\'6f\
-\'81\'45\'8a\'f9\'91\'b6\'82\'cc\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'8a\'ed\
-     - spin : promela \'82\'c6\'8c\'c4\'82\'ce\'82\'ea\'82\'e9\'8c\'be\'8c\'ea\'82\'c5\'8b\'4c\'8f\'71\'81\'42\uc0\u8232                 \'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'cd\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'82\'c8\'8e\'ae\'81\'42\'97\'e1\'82\'a6\'82\'ce (x &lt; 10) \'82\'c8\'82\'c7\
-                \'95\'c0\'97\'f1\'93\'ae\'8d\'ec\'82\'f0\'8c\'9f\'8f\'d8\'89\'c2\'94\'5c\'82\'c5\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'82\'c8 C \'83\'5c\'81\'5b\'83\'58\'82\'f0\'90\'b6\'90\'ac\'89\'c2\'94\'5c\
-                \'82\'b5\'82\'a9\'82\'b5 C \'82\'c6 promela \'82\'cd\'8b\'4c\'8f\'71\'82\'aa\'82\'a9\'82\'c8\'82\'e8\'88\'d9\'82\'c8\'82\'e9              \
-     - CBMC : C/C++ \'82\'f0\'8b\'4c\'8d\'86\'8e\'c0\'8d\'73\'89\'c2\'94\'5c\'81\'42 \'82\'b1\'82\'bf\'82\'e7\'82\'e0\'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'cd\'8e\'ae\'81\'42\
-                   \'8b\'4c\'8d\'86\'8e\'c0\'8d\'73\'82\'c9\'82\'e6\'82\'e8\'8e\'c0\'8d\'73\'8c\'6f\'98\'48\'82\'f0\'97\'f1\'8b\'93\'82\'b7\'82\'e9\
-                   \'97\'4c\'8c\'c0\'82\'cc\'89\'f1\'90\'94\'82\'be\'82\'af if \'82\'e2 while \'82\'f0\'93\'57\'8a\'4a\'82\'b7\'82\'e9\
-\'81\'45\'8e\'64\'97\'6c\'8b\'4c\'8f\'71\'82\'c6\'8c\'9f\'8d\'b8\'91\'ce\'8f\'db\'82\'aa\'93\'af\'82\'b6\'8c\'be\'8c\'ea\'81\'41\'82\'a9\'82\'c2\'8d\'82\'91\'ac\'82\'c8\'83\'82\'83\'66\'83\'8b\'8c\'9f\'8d\'b8\'82\'f0\'96\'da\'8e\'77\'82\'b7}</string>
-				<key>VerticalPad</key>
-				<real>1</real>
-			</dict>
-		</dict>
-		<dict>
-			<key>Bounds</key>
-			<string>{{13.999999719352957, 2213.004547740562}, {994.98516845703114, 598.1066291954985}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3441</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>{{32.492583947868297, 1949.6693093548606}, {958, 148}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3440</integer>
-			<key>ImageID</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>
-		</dict>
-		<dict>
-			<key>Bounds</key>
 			<string>{{485.74694453537722, 1095.9834683055628}, {513.66007214516185, 228}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
@@ -923,40 +1444,6 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{21.330703311956142, 1340.1498393502391}, {964.78997414196579, 165.82677315811497}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3436</integer>
-			<key>ImageID</key>
-			<integer>23</integer>
-			<key>ManualSizeImage</key>
-			<string>YES</string>
-			<key>Scale</key>
-			<real>1.4999999664723873</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>{{1685.9999397825284, 190.71418127401233}, {329, 100}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
@@ -984,75 +1471,13 @@
 			</dict>
 		</dict>
 		<dict>
-			<key>Bounds</key>
-			<string>{{1043.7880980533005, 1044.7322912831944}, {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>3420</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-&gt;data[AkashaInfo]-&gt;akashaInfo.maxHeight &gt;\
-        2*context-&gt;data[AkashaInfo]-&gt;akashaInfo.minHeight)}</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>{{98.170459563465101, 1520.2357341398917}, {992.30892108419039, 70}}</string>
+					<string>{{100.34636690551133, 1387.4282842332475}, {992.30892108419039, 70}}</string>
 					<key>Class</key>
 					<string>ShapedGraphic</string>
 					<key>FitText</key>
@@ -1125,8 +1550,8 @@
 							<integer>3405</integer>
 							<key>Points</key>
 							<array>
-								<string>{38.379243852565132, 1545.7923263336754}</string>
-								<string>{81.224533081054517, 1546.5864754359759}</string>
+								<string>{40.555151194611305, 1412.9848764270312}</string>
+								<string>{83.40044042310069, 1413.7790255293316}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1166,10 +1591,10 @@
 							<integer>3406</integer>
 							<key>Points</key>
 							<array>
-								<string>{31.987345600170244, 1565.114164483394}</string>
-								<string>{43.716468364104536, 1529.6586233070298}</string>
-								<string>{45.897301172805861, 1528.3875986963976}</string>
-								<string>{68.37826693260044, 1528.3875986963976}</string>
+								<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>
@@ -1209,9 +1634,9 @@
 							<integer>3407</integer>
 							<key>Points</key>
 							<array>
-								<string>{18.063724517822152, 1564.7853521755537}</string>
-								<string>{58.151951517102702, 1565.732052919484}</string>
-								<string>{72.660355648751988, 1564.7853521755537}</string>
+								<string>{20.239631859868325, 1431.9779022689095}</string>
+								<string>{60.327858859148876, 1432.9246030128397}</string>
+								<string>{74.836262990798161, 1431.9779022689095}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1239,7 +1664,7 @@
 						</dict>
 						<dict>
 							<key>Bounds</key>
-							<string>{{13.999999719352502, 1510.2290818118722}, {994.98516845703114, 68}}</string>
+							<string>{{16.175907061398732, 1377.421631905228}, {994.98516845703114, 68}}</string>
 							<key>Class</key>
 							<string>ShapedGraphic</string>
 							<key>ID</key>
@@ -1293,69 +1718,6 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1105.9610404069074, 315.80734216059085}, {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>3381</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>
-				<key>VerticalPad</key>
-				<real>0.0</real>
-			</dict>
-		</dict>
-		<dict>
-			<key>Bounds</key>
 			<string>{{33.455721994961721, 851.81709726088661}, {971.09956664308152, 228}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
@@ -1480,7 +1842,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1027.2607383595575, 1971.0188657934857}, {978.14778642833062, 183}}</string>
+			<string>{{1024.2362638616421, 1126.6604735834671}, {978.14778642833062, 138}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -1529,8 +1891,7 @@
 
 \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\
-\'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'cd\'95\'94\'95\'aa\'8c\'5e\'82\'f0\'97\'70\'82\'a2\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'92\'e8\'8b\'60\'89\'c2\'94\'5c}</string>
+\'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>
@@ -1542,7 +1903,7 @@
 			<array>
 				<dict>
 					<key>Bounds</key>
-					<string>{{1111.0752853250578, 1900.0347909289405}, {889.0382080078125, 73}}</string>
+					<string>{{1108.0508108271424, 1055.676398718922}, {889.0382080078125, 73}}</string>
 					<key>Class</key>
 					<string>ShapedGraphic</string>
 					<key>FitText</key>
@@ -1615,8 +1976,8 @@
 							<integer>3482</integer>
 							<key>Points</key>
 							<array>
-								<string>{1051.2840696141577, 1925.5913831227244}</string>
-								<string>{1094.1293588426472, 1926.3855322250249}</string>
+								<string>{1048.2595951162423, 1081.2329909127059}</string>
+								<string>{1091.1048843447318, 1082.0271400150064}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1656,10 +2017,10 @@
 							<integer>3483</integer>
 							<key>Points</key>
 							<array>
-								<string>{1044.8921713617628, 1944.9132212724428}</string>
-								<string>{1056.6212941256972, 1909.4576800960788}</string>
-								<string>{1058.8021269343985, 1908.1866554854466}</string>
-								<string>{1081.2830926941931, 1908.1866554854466}</string>
+								<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>
@@ -1699,9 +2060,9 @@
 							<integer>3484</integer>
 							<key>Points</key>
 							<array>
-								<string>{1030.9685502794148, 1944.5844089646025}</string>
-								<string>{1071.0567772786953, 1945.5311097085328}</string>
-								<string>{1085.5651814103446, 1944.5844089646025}</string>
+								<string>{1027.9440757814994, 1100.2260167545837}</string>
+								<string>{1068.0323027807799, 1101.172717498514}</string>
+								<string>{1082.5407069124292, 1100.2260167545837}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1729,7 +2090,7 @@
 						</dict>
 						<dict>
 							<key>Bounds</key>
-							<string>{{1026.9048254809452, 1890.0281386009212}, {994.98516845703114, 68}}</string>
+							<string>{{1023.8803509830298, 1045.6697463909024}, {994.98516845703114, 68}}</string>
 							<key>Class</key>
 							<string>ShapedGraphic</string>
 							<key>ID</key>
@@ -1783,11 +2144,11 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1028.5875542502738, 1958.518865793493}, {994.98516845703114, 848.51715514332818}}</string>
+			<string>{{1023.5630797523584, 1114.1604735834744}, {994.98516845703114, 997.65056919935387}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>ID</key>
-			<integer>3088</integer>
+			<integer>3508</integer>
 			<key>Style</key>
 			<dict>
 				<key>shadow</key>
@@ -1809,7 +2170,7 @@
 			<array>
 				<dict>
 					<key>Bounds</key>
-					<string>{{1103.0258006042873, 1159.6597550922763}, {889.0382080078125, 73}}</string>
+					<string>{{1106.0013261063716, 315.30136288225918}, {889.0382080078125, 73}}</string>
 					<key>Class</key>
 					<string>ShapedGraphic</string>
 					<key>FitText</key>
@@ -1882,8 +2243,8 @@
 							<integer>3475</integer>
 							<key>Points</key>
 							<array>
-								<string>{1044.3940154587096, 1185.5799605837378}</string>
-								<string>{1087.2393046871991, 1186.3741096860383}</string>
+								<string>{1047.3695409607942, 341.22156837372069}</string>
+								<string>{1090.2148301892837, 342.01571747602134}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1923,10 +2284,10 @@
 							<integer>3476</integer>
 							<key>Points</key>
 							<array>
-								<string>{1038.0021172063148, 1204.9017987334564}</string>
-								<string>{1049.7312399702491, 1169.4462575570922}</string>
-								<string>{1051.9120727789505, 1168.17523294646}</string>
-								<string>{1074.3930385387453, 1168.17523294646}</string>
+								<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>
@@ -1966,9 +2327,9 @@
 							<integer>3477</integer>
 							<key>Points</key>
 							<array>
-								<string>{1024.0784961239667, 1204.5729864256161}</string>
-								<string>{1064.1667231232473, 1205.5196871695464}</string>
-								<string>{1078.6751272548966, 1204.5729864256161}</string>
+								<string>{1027.0540216260513, 360.21459421559894}</string>
+								<string>{1067.1422486253318, 361.16129495952919}</string>
+								<string>{1081.6506527569811, 360.21459421559894}</string>
 							</array>
 							<key>Style</key>
 							<dict>
@@ -1996,7 +2357,7 @@
 						</dict>
 						<dict>
 							<key>Bounds</key>
-							<string>{{1020.0147713254971, 1150.0167160619346}, {994.98516845703114, 68}}</string>
+							<string>{{1022.9902968275817, 305.6583238519176}, {994.98516845703114, 68}}</string>
 							<key>Class</key>
 							<string>ShapedGraphic</string>
 							<key>ID</key>
@@ -2113,7 +2474,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{16.175907061398277, 838.73417499504967}, {994.98516845703114, 662.21072051301428}}</string>
+			<string>{{16.175907061398277, 838.73417499505013}, {994.98516845703114, 520.47843576248852}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FontInfo</key>
@@ -2312,126 +2673,8 @@
 			<integer>1072</integer>
 		</dict>
 		<dict>
-			<key>Class</key>
-			<string>LineGraphic</string>
-			<key>ID</key>
-			<integer>3377</integer>
-			<key>Points</key>
-			<array>
-				<string>{1045.141473118113, 339.19286538338747}</string>
-				<string>{1087.2393046871991, 339.51527425341004}</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>3378</integer>
-				<key>Position</key>
-				<real>0.32640770077705383</real>
-			</dict>
-		</dict>
-		<dict>
-			<key>Class</key>
-			<string>LineGraphic</string>
-			<key>ID</key>
-			<integer>3378</integer>
-			<key>Points</key>
-			<array>
-				<string>{1038.0021172063148, 358.04296330082826}</string>
-				<string>{1051.9120727789505, 321.3163975138321}</string>
-				<string>{1074.393038538745, 321.3163975138321}</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>3379</integer>
-				<key>Position</key>
-				<real>0.25490197539329529</real>
-			</dict>
-		</dict>
-		<dict>
-			<key>Class</key>
-			<string>LineGraphic</string>
-			<key>ID</key>
-			<integer>3379</integer>
-			<key>Points</key>
-			<array>
-				<string>{1024.0784961239669, 357.71415099298804}</string>
-				<string>{1064.1667231232473, 358.66085173691783}</string>
-				<string>{1078.6751272548966, 357.71415099298804}</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.929965899289073, 1621.7500467039733}, {964.78997414196579, 318}}</string>
+			<string>{{30.105873241335303, 1478.9425967973286}, {964.78997414196579, 318}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -2490,151 +2733,6 @@
 			</dict>
 		</dict>
 		<dict>
-			<key>Bounds</key>
-			<string>{{1020.0147713254972, 306.01527854876002}, {994.98516845703114, 68}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3380</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>{{1020.9975967529883, 374.11488953702474}, {994.98516845703114, 759.74338846717842}}</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>1033</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>
-			<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>LineGraphic</string>
 			<key>ID</key>
@@ -3116,7 +3214,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{13.999999719352729, 1578.8976521208529}, {994.98516845703114, 558.42520191707035}}</string>
+			<string>{{16.175907061398959, 1436.0902022142086}, {994.98516845703114, 370.99642835499026}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>ID</key>
@@ -3137,7 +3235,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1035.1123684830297, 1232.6597550922763}, {964.78997414196579, 228}}</string>
+			<string>{{1038.0878939851143, 388.30136288225884}, {964.78997414196579, 228}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -3195,43 +3293,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{742.53629228568104, 1323.9834683055628}, {1568.9763921883164, 2113.4291483889169}}</string>
-			<key>Class</key>
-			<string>ShapedGraphic</string>
-			<key>ID</key>
-			<integer>3464</integer>
-			<key>ImageID</key>
-			<integer>28</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>
-		</dict>
-		<dict>
-			<key>Bounds</key>
-			<string>{{1024.0543475942195, 1217.5365689123446}, {994.98516845703114, 650.49494409958015}}</string>
+			<string>{{1023.0298730963038, 373.17817670232722}, {994.98516845703114, 650.49494409958015}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FontInfo</key>
@@ -3343,21 +3405,17 @@
 	<key>HPages</key>
 	<integer>2</integer>
 	<key>ImageCounter</key>
-	<integer>29</integer>
+	<integer>30</integer>
 	<key>ImageLinkBack</key>
 	<array>
 		<dict/>
 		<dict/>
 		<dict/>
-		<dict/>
-		<dict/>
 	</array>
 	<key>ImageList</key>
 	<array>
-		<string>image28.pdf</string>
+		<string>image29.pdf</string>
 		<string>image27.pdf</string>
-		<string>image24.pdf</string>
-		<string>image23.pdf</string>
 		<string>image22.pdf</string>
 	</array>
 	<key>KeepToScale</key>
@@ -3401,7 +3459,7 @@
 	<key>MasterSheets</key>
 	<array/>
 	<key>ModificationDate</key>
-	<string>2017-02-18 07:27:01 +0000</string>
+	<string>2017-02-19 04:43:31 +0000</string>
 	<key>Modifier</key>
 	<string>atton</string>
 	<key>NotesVisible</key>
@@ -3432,7 +3490,7 @@
 		<key>NSPaperName</key>
 		<array>
 			<string>string</string>
-			<string>5A61AC28-1385-4667-8BEF-C9D7779DD8A5</string>
+			<string>35594B77-E0C2-4AA7-B0AF-0CA27B63B300</string>
 		</array>
 		<key>NSPaperSize</key>
 		<array>
@@ -3474,7 +3532,7 @@
 	<key>UseEntirePage</key>
 	<false/>
 	<key>VPages</key>
-	<integer>2</integer>
+	<integer>1</integer>
 	<key>WindowInfo</key>
 	<dict>
 		<key>CurrentSheet</key>
@@ -3482,7 +3540,7 @@
 		<key>Expanded_Canvases</key>
 		<array/>
 		<key>Frame</key>
-		<string>{{22, 4}, {1592, 1053}}</string>
+		<string>{{376, 3}, {1592, 1053}}</string>
 		<key>ShowInfo</key>
 		<true/>
 		<key>Sidebar</key>
@@ -3492,15 +3550,15 @@
 		<key>TopSlabHeight</key>
 		<real>250</real>
 		<key>VisibleRegion</key>
-		<string>{{146.42857142857144, 1173.2142857142858}, {2312.5, 1683.9285714285716}}</string>
+		<string>{{0, 162}, {2590, 1886}}</string>
 		<key>Zoom</key>
-		<real>0.55999999999999994</real>
+		<real>0.5</real>
 		<key>ZoomValues</key>
 		<array>
 			<array>
 				<string>Canvas 1</string>
-				<real>0.55999999999999994</real>
-				<real>0.78000000000000003</real>
+				<real>0.5</real>
+				<real>0.49000000000000005</real>
 			</array>
 		</array>
 	</dict>
Binary file poster/atton-poster.graffle/image29.pdf has changed
Binary file poster/atton-poster.pdf has changed