Mercurial > hg > Papers > 2018 > nozomi-master
view poster/atton-poster.graffle/data.plist @ 132:25d0356fc327
Wrote poster
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 18 Feb 2017 16:28:40 +0900 |
parents | ba30f7948580 |
children | aa8e52f56fe0 |
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> <plist version="1.0"> <dict> <key>ActiveLayerIndex</key> <integer>0</integer> <key>ApplicationVersion</key> <array> <string>com.omnigroup.OmniGraffle6</string> <string>169.23.0.276662</string> </array> <key>AutoAdjust</key> <true/> <key>BackgroundGraphic</key> <dict> <key>Bounds</key> <string>{{0, 0}, {4055.244140625, 5721.3701171875}}</string> <key>Class</key> <string>SolidGraphic</string> <key>FontInfo</key> <dict> <key>Font</key> <string>Helvetica</string> <key>Size</key> <real>28</real> </dict> <key>ID</key> <integer>2</integer> <key>Style</key> <dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> </dict> <key>BaseZoom</key> <integer>0</integer> <key>CanvasOrigin</key> <string>{0, 0}</string> <key>ColumnAlign</key> <integer>1</integer> <key>ColumnSpacing</key> <real>36</real> <key>CreationDate</key> <string>2012-01-04 16:02:58 +0000</string> <key>Creator</key> <string>Daichi TOMA</string> <key>DisplayScale</key> <string>1.0000 cm = 1.0000 cm</string> <key>GraphDocumentVersion</key> <integer>12</integer> <key>GraphicsList</key> <array> <dict> <key>Bounds</key> <string>{{1047.81102534807, 2719.1620043914941}, {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>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 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>{{1044.1489697708976, 2445.3627891954325}, {978.14778642833062, 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>3470</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\'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> <key>VerticalPad</key> <real>1</real> </dict> </dict> <dict> <key>Bounds</key> <string>{{1053.5401378248487, 2164.7331515077672}, {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>{{1043.7880980533005, 1772.1407234047856}, {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>{{1037.3662304660379, 1705.0393855488203}, {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>{{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 < 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> <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>{{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> <key>ID</key> <integer>3434</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>{{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->data[AkashaInfo]->akashaInfo.maxHeight >\ 2*context->data[AkashaInfo]->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> <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>{38.379243852565132, 1545.7923263336754}</string> <string>{81.224533081054517, 1546.5864754359759}</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>{31.987345600170244, 1565.114164483394}</string> <string>{43.716468364104536, 1529.6586233070298}</string> <string>{45.897301172805861, 1528.3875986963976}</string> <string>{68.37826693260044, 1528.3875986963976}</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>{18.063724517822152, 1564.7853521755537}</string> <string>{58.151951517102702, 1565.732052919484}</string> <string>{72.660355648751988, 1564.7853521755537}</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.999999719352502, 1510.2290818118722}, {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>{{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> <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>{{1027.2607383595575, 1971.0188657934857}, {978.14778642833062, 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>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\ \'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> <key>VerticalPad</key> <real>1</real> </dict> </dict> <dict> <key>Class</key> <string>Group</string> <key>Graphics</key> <array> <dict> <key>Bounds</key> <string>{{1111.0752853250578, 1900.0347909289405}, {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>{1051.2840696141577, 1925.5913831227244}</string> <string>{1094.1293588426472, 1926.3855322250249}</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>{1044.8921713617628, 1944.9132212724428}</string> <string>{1056.6212941256972, 1909.4576800960788}</string> <string>{1058.8021269343985, 1908.1866554854466}</string> <string>{1081.2830926941931, 1908.1866554854466}</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>{1030.9685502794148, 1944.5844089646025}</string> <string>{1071.0567772786953, 1945.5311097085328}</string> <string>{1085.5651814103446, 1944.5844089646025}</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>{{1026.9048254809452, 1890.0281386009212}, {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>{{1028.5875542502738, 1958.518865793493}, {994.98516845703114, 848.51715514332818}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> <integer>3088</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> <array> <dict> <key>Bounds</key> <string>{{1103.0258006042873, 1159.6597550922763}, {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>{1044.3940154587096, 1185.5799605837378}</string> <string>{1087.2393046871991, 1186.3741096860383}</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>{1038.0021172063148, 1204.9017987334564}</string> <string>{1049.7312399702491, 1169.4462575570922}</string> <string>{1051.9120727789505, 1168.17523294646}</string> <string>{1074.3930385387453, 1168.17523294646}</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>{1024.0784961239667, 1204.5729864256161}</string> <string>{1064.1667231232473, 1205.5196871695464}</string> <string>{1078.6751272548966, 1204.5729864256161}</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.0147713254971, 1150.0167160619346}, {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.73417499504967}, {994.98516845703114, 662.21072051301428}}</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>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>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> <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>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> <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> <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>{{13.999999719352729, 1578.8976521208529}, {994.98516845703114, 558.42520191707035}}</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>{{1035.1123684830297, 1232.6597550922763}, {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>{{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> <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> <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>GridInfo</key> <dict> <key>GridSpacing</key> <real>35.433071136474609</real> <key>ShowsGrid</key> <string>YES</string> </dict> <key>GuidesLocked</key> <string>NO</string> <key>GuidesVisible</key> <string>YES</string> <key>HPages</key> <integer>2</integer> <key>ImageCounter</key> <integer>29</integer> <key>ImageLinkBack</key> <array> <dict/> <dict/> <dict/> <dict/> <dict/> </array> <key>ImageList</key> <array> <string>image28.pdf</string> <string>image27.pdf</string> <string>image24.pdf</string> <string>image23.pdf</string> <string>image22.pdf</string> </array> <key>KeepToScale</key> <false/> <key>Layers</key> <array> <dict> <key>Lock</key> <string>NO</string> <key>Name</key> <string>Layer 1</string> <key>Print</key> <string>YES</string> <key>Slices</key> <string>NO</string> <key>View</key> <string>YES</string> </dict> </array> <key>LayoutInfo</key> <dict> <key>Animate</key> <string>NO</string> <key>circoMinDist</key> <real>18</real> <key>circoSeparation</key> <real>0.0</real> <key>layoutEngine</key> <string>dot</string> <key>neatoLineLength</key> <real>0.20000000298023224</real> <key>neatoSeparation</key> <real>0.0</real> <key>twopiSeparation</key> <real>0.0</real> </dict> <key>LinksVisible</key> <string>NO</string> <key>MagnetsVisible</key> <string>NO</string> <key>MasterSheets</key> <array/> <key>ModificationDate</key> <string>2017-02-18 07:27:01 +0000</string> <key>Modifier</key> <string>atton</string> <key>NotesVisible</key> <string>NO</string> <key>Orientation</key> <integer>2</integer> <key>OriginVisible</key> <string>NO</string> <key>PageBreaks</key> <string>YES</string> <key>PrintInfo</key> <dict> <key>NSBottomMargin</key> <array> <string>float</string> <string>41</string> </array> <key>NSHorizonalPagination</key> <array> <string>coded</string> <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> </array> <key>NSLeftMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSPaperName</key> <array> <string>string</string> <string>5A61AC28-1385-4667-8BEF-C9D7779DD8A5</string> </array> <key>NSPaperSize</key> <array> <string>size</string> <string>{2063.6220703125, 2919.68505859375}</string> </array> <key>NSPrintReverseOrientation</key> <array> <string>coded</string> <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> </array> <key>NSRightMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSTopMargin</key> <array> <string>float</string> <string>18</string> </array> </dict> <key>PrintOnePage</key> <false/> <key>ReadOnly</key> <string>NO</string> <key>RowAlign</key> <integer>1</integer> <key>RowSpacing</key> <real>36</real> <key>SheetTitle</key> <string>Canvas 1</string> <key>SmartAlignmentGuidesActive</key> <string>YES</string> <key>SmartDistanceGuidesActive</key> <string>YES</string> <key>UniqueID</key> <integer>1</integer> <key>UseEntirePage</key> <false/> <key>VPages</key> <integer>2</integer> <key>WindowInfo</key> <dict> <key>CurrentSheet</key> <integer>0</integer> <key>Expanded_Canvases</key> <array/> <key>Frame</key> <string>{{22, 4}, {1592, 1053}}</string> <key>ShowInfo</key> <true/> <key>Sidebar</key> <false/> <key>SidebarWidth</key> <integer>0</integer> <key>TopSlabHeight</key> <real>250</real> <key>VisibleRegion</key> <string>{{146.42857142857144, 1173.2142857142858}, {2312.5, 1683.9285714285716}}</string> <key>Zoom</key> <real>0.55999999999999994</real> <key>ZoomValues</key> <array> <array> <string>Canvas 1</string> <real>0.55999999999999994</real> <real>0.78000000000000003</real> </array> </array> </dict> </dict> </plist>