ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle6 169.23.0.276662 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {4055.244140625, 2860.68505859375}} Class SolidGraphic FontInfo Font Helvetica Size 28 ID 2 Style stroke Draws NO BaseZoom 0 CanvasOrigin {0, 0} ColumnAlign 1 ColumnSpacing 36 CreationDate 2012-01-04 16:02:58 +0000 Creator Daichi TOMA DisplayScale 1.0000 cm = 1.0000 cm GraphDocumentVersion 12 GraphicsList Bounds {{428.68948903630695, 578.51969032465945}, {2184.0945080055963, 1932.2478062009218}} Class ShapedGraphic ID 3540 ImageID 29 ManualSizeImage YES Opacity 0.99999997764825821 Scale 2.4999999441206455 StretchImage Style fill Draws NO shadow Draws NO stroke Draws NO Bounds {{1037.3228442389195, 2204.6378167575267}, {964.78997414196579, 633}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3539 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Class Group Graphics Bounds {{1107.7335395964712, 2133.1562778908906}, {889.0382080078125, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 3520 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Class Group Graphics Class LineGraphic ID 3522 Points {1047.9423238855713, 2158.7128700846743} {1090.7876131140608, 2159.5070191869745} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3523 Position 0.32640770077705383 Class LineGraphic ID 3523 Points {1041.5504256331765, 2178.0347082343924} {1053.2795483971108, 2142.5791670580284} {1055.4603812058122, 2141.3081424473967} {1077.9413469656067, 2141.3081424473967} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3524 Position 0.25490197539329529 Class LineGraphic ID 3524 Points {1027.6268045508284, 2177.7058959265523} {1067.715031550109, 2178.6525966704821} {1082.2234356817582, 2177.7058959265523} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{1023.5630797523588, 2123.1496255628708}, {994.98516845703114, 68}} Class ShapedGraphic ID 3525 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 ID 3521 ID 3519 Bounds {{1025.245808521687, 2191.6403527554439}, {994.98516845703114, 641.58801940755893}} Class ShapedGraphic ID 3518 Style shadow Draws NO stroke Width 0.5 Bounds {{1048.7140122928706, 2016.5984434574605}, {959.36545032042841, 75}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3507 Style fill Color b 0.66274500000000003 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{1037.3228442389195, 1770.7489729732406}, {978.14778642833062, 273}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3506 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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\ } VerticalPad 1 Bounds {{27.497016908487126, 2164.7331515077672}, {977.63370931649047, 381.41779289872517}} Class ShapedGraphic ID 3498 ImageID 27 ManualSizeImage YES Opacity 0.99999997764825821 Scale 1.099999975413084 StretchImage Style fill Draws NO shadow Draws NO stroke Draws NO Bounds {{36.631146406518106, 2548.3464798144464}, {964.78997414196579, 183}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3496 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{22.747054760760825, 1927.7185168674441}, {964.78997414196579, 228}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3494 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{36.631146406518106, 2743.9370327701718}, {959.36545032042841, 75}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3495 Style fill Color b 0.66274500000000003 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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)} VerticalPad 1 Bounds {{103.10500157029998, 1838.2489729732406}, {889.0382080078125, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 3502 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Class LineGraphic ID 3377 Points {42.285434281505644, 1861.6344961960378} {84.383265850591698, 1861.9569050660602} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3378 Position 0.32640770077705383 Class LineGraphic ID 3378 Points {35.146078369707524, 1880.4845941134788} {49.05603394234317, 1843.7580283264824} {71.536999702137592, 1843.7580283264824} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3379 Position 0.25490197539329529 Class LineGraphic ID 3379 Points {21.222457287359639, 1880.1557818056385} {61.310684286639884, 1881.1024825495683} {75.819088418289112, 1880.1557818056385} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{15.158732488890038, 1828.45690936141}, {994.98516845703114, 68}} Class ShapedGraphic ID 3503 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 Bounds {{13.840645106206182, 1894.9606471145244}, {994.98516845703114, 945.35433928600446}} Class ShapedGraphic FontInfo Font HiraKakuProN-W3 Size 46 ID 3497 Link fileReference alias AAAAAAH6AAIAAAxNYWNpbnRvc2ggSEQAAAAA AAAAAAAAAAAAAADUGqDDSCsAAABm8UkRYWth c2hhUHV0LmdyYWZmbGUAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAGcXJNTHnRUAAAAAAAAAAP////8A AAkgAAAAAAAAAAAAAAAAAAAABmltYWdlcwAQ AAgAANQaIjMAAAARAAgAANTHHoUAAAABACQA ZvFJAGbUBABRqaYAUamlAB1FUwAbuYwAG7Xa AAbNyQAGTJ0AAgBsTWFjaW50b3NoIEhEOlVz ZXJzOgBhdHRvbjoAcmVzZWFyY2g6AGhnOgBQ YXBlcnM6ADIwMTc6AGF0dG9uLW1hc3RlcjoA cHJlc2VudGF0aW9uOgBpbWFnZXM6AGFrYXNo YVB1dC5ncmFmZmxlAA4AJAARAGEAawBhAHMA aABhAFAAdQB0AC4AZwByAGEAZgBmAGwAZQAP ABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgA RAASAFZVc2Vycy9hdHRvbi9yZXNlYXJjaC9o Zy9QYXBlcnMvMjAxNy9hdHRvbi1tYXN0ZXIv cHJlc2VudGF0aW9uL2ltYWdlcy9ha2FzaGFQ dXQuZ3JhZmZsZQATAAEvAP//AAA= bookmark 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= path ../presentation/images/akashaPut.graffle Style shadow Draws NO stroke Width 0.5 Bounds {{1046.7927523603337, 1633.4173375460105}, {959.36545032042841, 111}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3471 Style fill Color b 0.66274500000000003 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 \f0\fs48 \cf0 comp-associative : (a : CodeSegment A B) (b : CodeSegment C D) \ (c : CodeSegment E F) -> csComp c (csComp b a) \'81\'df csComp (csComp c b) a\ -- c . (b . a) \'81\'df (c . b) . a} VerticalPad 1 Bounds {{1037.4015843063826, 1534.3642851253569}, {978.14778642833062, 93}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3505 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf810 {\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;} {\colortbl;\red255\green255\blue255;} {\*\expandedcolortbl;;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0 \f0\fs60 \cf0 \'81\'45\'83\'81\'83\'5e\'8c\'76\'8e\'5a\'82\'cd\'95\'94\'95\'aa\'8c\'5e\'82\'f0\'97\'98\'97\'70\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'92\'e8\'8b\'60\'89\'c2\'94\'5c\ \'81\'45CbC \'82\'f0 Agda \'8f\'e3\'82\'c5\'8b\'4c\'8f\'71\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8f\'d8\'96\'be\'82\'aa\'89\'c2\'94\'5c\'82\'c9\'82\'c8\'82\'c1\'82\'bd} VerticalPad 1 Bounds {{1045.9055213914141, 1263.9249580692376}, {959.36545032042841, 255}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3468 Style fill Color b 0.66274500000000003 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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)\}))} VerticalPad 1 Bounds {{1046.7636235553848, 927.78233119476795}, {959.36545032042841, 75}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3467 Style fill Color b 0.66274500000000003 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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)} VerticalPad 1 Bounds {{1040.3417559681222, 860.68099333880286}, {964.78997414196579, 48}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3466 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{485.74694453537722, 1095.9834683055628}, {513.66007214516185, 228}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3439 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{1685.9999397825284, 190.71418127401233}, {329, 100}} Class ShapedGraphic ID 3434 ImageID 22 Style fill Draws NO shadow Draws NO stroke Draws NO Class Group Graphics Bounds {{100.34636690551133, 1387.4282842332475}, {992.30892108419039, 70}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 3403 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Class Group Graphics Class LineGraphic ID 3405 Points {40.555151194611305, 1412.9848764270312} {83.40044042310069, 1413.7790255293316} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3406 Position 0.32640770077705383 Class LineGraphic ID 3406 Points {34.163252942216417, 1432.3067145767498} {45.892375706150709, 1396.8511734003855} {48.073208514852034, 1395.5801487897534} {70.554174274646613, 1395.5801487897534} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3407 Position 0.25490197539329529 Class LineGraphic ID 3407 Points {20.239631859868325, 1431.9779022689095} {60.327858859148876, 1432.9246030128397} {74.836262990798161, 1431.9779022689095} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{16.175907061398732, 1377.421631905228}, {994.98516845703114, 68}} Class ShapedGraphic ID 3408 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 ID 3404 ID 3402 Bounds {{33.455721994961721, 851.81709726088661}, {971.09956664308152, 228}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3367 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{49.606299662683888, 1090.633033696635}, {429.48782970673949, 255}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 28 ID 3365 Style fill Color b 0.66274509803921566 g 1 r 1 shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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);\ \}} VerticalPad 1 Bounds {{1024.2362638616421, 1126.6604735834671}, {978.14778642833062, 138}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3090 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Class Group Graphics Bounds {{1108.0508108271424, 1055.676398718922}, {889.0382080078125, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 3480 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Class Group Graphics Class LineGraphic ID 3482 Points {1048.2595951162423, 1081.2329909127059} {1091.1048843447318, 1082.0271400150064} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3483 Position 0.32640770077705383 Class LineGraphic ID 3483 Points {1041.8676968638474, 1100.554829062424} {1053.5968196277818, 1065.0992878860602} {1055.7776524364831, 1063.8282632754281} {1078.2586181962777, 1063.8282632754281} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3484 Position 0.25490197539329529 Class LineGraphic ID 3484 Points {1027.9440757814994, 1100.2260167545837} {1068.0323027807799, 1101.172717498514} {1082.5407069124292, 1100.2260167545837} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{1023.8803509830298, 1045.6697463909024}, {994.98516845703114, 68}} Class ShapedGraphic ID 3485 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 ID 3481 ID 3479 Bounds {{1023.5630797523584, 1114.1604735834744}, {994.98516845703114, 997.65056919935387}} Class ShapedGraphic ID 3508 Style shadow Draws NO stroke Width 0.5 Class Group Graphics Bounds {{1106.0013261063716, 315.30136288225918}, {889.0382080078125, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 3473 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Class Group Graphics Class LineGraphic ID 3475 Points {1047.3695409607942, 341.22156837372069} {1090.2148301892837, 342.01571747602134} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3476 Position 0.32640770077705383 Class LineGraphic ID 3476 Points {1040.9776427083993, 360.54340652343927} {1052.7067654723337, 325.08786534707508} {1054.887598281035, 323.81684073644294} {1077.3685640408298, 323.81684073644294} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 3477 Position 0.25490197539329529 Class LineGraphic ID 3477 Points {1027.0540216260513, 360.21459421559894} {1067.1422486253318, 361.16129495952919} {1081.6506527569811, 360.21459421559894} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{1022.9902968275817, 305.6583238519176}, {994.98516845703114, 68}} Class ShapedGraphic ID 3478 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 ID 3474 ID 3472 Bounds {{95.693980949471921, 780.36841527241745}, {889.0382080078125, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 48 ID 1078 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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)} VerticalPad 0.0 Bounds {{16.175907061398277, 838.73417499505013}, {994.98516845703114, 520.47843576248852}} Class ShapedGraphic FontInfo Size 30 ID 1077 Style shadow Draws NO stroke Width 0.5 Class Group Graphics Class LineGraphic ID 1073 Points {40.555151194611355, 806.29744979787608} {83.400440423100875, 807.09159890017622} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 1074 Position 0.32640770077705383 Class LineGraphic ID 1074 Points {34.163252942216459, 825.61928794759444} {45.89237570615078, 790.16374677123054} {48.073208514851984, 788.89272216059794} {70.554174274646684, 788.89272216059794} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 1075 Position 0.25490197539329529 Class LineGraphic ID 1075 Points {20.239631859868439, 825.29047563975405} {60.327858859148876, 826.2371763836843} {74.836262990798161, 825.29047563975405} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{16.175907061398732, 770.73420527607254}, {994.98516845703114, 68}} Class ShapedGraphic ID 1076 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 ID 1072 Bounds {{30.105873241335303, 1478.9425967973286}, {964.78997414196579, 318}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 1036 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Class LineGraphic ID 1032 Points {39.126701511968491, 339.1928716562025} {81.224533081054688, 339.51528052622513} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 1031 Position 0.32640770077705383 Class LineGraphic ID 1031 Points {31.987345600170322, 358.04296957364335} {45.89730117280606, 321.31640378664719} {68.378266932600667, 321.31640378664719} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Tail ID 1030 Position 0.25490197539329529 Class LineGraphic ID 1030 Points {18.063724517822315, 357.71415726580312} {58.151951517102724, 358.66085800973303} {72.660355648752045, 357.71415726580312} Style stroke Color b 1 g 1 r 1 HeadArrow FilledBall Legacy TailArrow 0 Width 3 Bounds {{1380.4724534701177, 207.40067864496805}, {627.06526225391576, 97}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 13 ID 24 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Bounds {{27.929965899289073, 380.62833913257816}, {971.47705078125, 363}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 30 ID 989 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 1 Bounds {{27.929965899289073, 16.994015129345218}, {1924.739013671875, 191}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W6 Size 110 ID 5 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Bounds {{14, 14.786078060684758}, {2001.00004626803, 272}} Class ShapedGraphic FontInfo Font Helvetica Size 10 ID 23 Style fill Color b 0.91372500000000001 g 0.62745099999999998 r 0.0 FillType 2 GradientAngle 90 GradientColor b 0.72549 g 0.419608 r 0 shadow Draws NO stroke Width 0.5 Bounds {{97.011028998143161, 315.65832385191749}, {843.98895263671875, 73}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Color b 1 g 1 r 1 Font HiraKakuProN-W3 Size 40 ID 10 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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} VerticalPad 0.0 Bounds {{13.999999719352729, 306.01528482157511}, {994.98516845703114, 68}} Class ShapedGraphic ID 29 Style fill Color b 0.80000000000000004 g 0.59999999999999998 r 0.20000000000000001 FillType 2 GradientAngle 90 GradientColor b 0.8 g 0.4 r 0 shadow Draws NO stroke Width 0.5 Bounds {{13.999999719352729, 374.01528482157528}, {994.98516845703114, 381.41779289872517}} Class ShapedGraphic ID 27 Style shadow Draws NO stroke Width 0.5 Bounds {{16.175907061398959, 1436.0902022142086}, {994.98516845703114, 370.99642835499026}} Class ShapedGraphic ID 3262 Style shadow Draws NO stroke Width 0.5 Bounds {{1038.0878939851143, 388.30136288225884}, {964.78997414196579, 228}} Class ShapedGraphic FitText Vertical Flow Resize FontInfo Font HiraKakuProN-W3 Size 14 ID 3463 Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0.0 Text {\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)} VerticalPad 1 Bounds {{1023.0298730963038, 373.17817670232722}, {994.98516845703114, 650.49494409958015}} Class ShapedGraphic FontInfo Font HiraKakuProN-W3 Size 46 ID 3465 Link fileReference alias AAAAAAH6AAIAAAxNYWNpbnRvc2ggSEQAAAAA AAAAAAAAAAAAAADUGqDDSCsAAABm8UkRYWth c2hhUHV0LmdyYWZmbGUAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAGcXJNTHnRUAAAAAAAAAAP////8A AAkgAAAAAAAAAAAAAAAAAAAABmltYWdlcwAQ AAgAANQaIjMAAAARAAgAANTHHoUAAAABACQA ZvFJAGbUBABRqaYAUamlAB1FUwAbuYwAG7Xa AAbNyQAGTJ0AAgBsTWFjaW50b3NoIEhEOlVz ZXJzOgBhdHRvbjoAcmVzZWFyY2g6AGhnOgBQ YXBlcnM6ADIwMTc6AGF0dG9uLW1hc3RlcjoA cHJlc2VudGF0aW9uOgBpbWFnZXM6AGFrYXNo YVB1dC5ncmFmZmxlAA4AJAARAGEAawBhAHMA aABhAFAAdQB0AC4AZwByAGEAZgBmAGwAZQAP ABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgA RAASAFZVc2Vycy9hdHRvbi9yZXNlYXJjaC9o Zy9QYXBlcnMvMjAxNy9hdHRvbi1tYXN0ZXIv cHJlc2VudGF0aW9uL2ltYWdlcy9ha2FzaGFQ dXQuZ3JhZmZsZQATAAEvAP//AAA= bookmark 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= path ../presentation/images/akashaPut.graffle Style shadow Draws NO stroke Width 0.5 GridInfo GridSpacing 35.433071136474609 ShowsGrid YES GuidesLocked NO GuidesVisible YES HPages 2 ImageCounter 30 ImageLinkBack ImageList image29.pdf image27.pdf image22.pdf KeepToScale Layers Lock NO Name Layer 1 Print YES Slices NO View YES LayoutInfo Animate NO circoMinDist 18 circoSeparation 0.0 layoutEngine dot neatoLineLength 0.20000000298023224 neatoSeparation 0.0 twopiSeparation 0.0 LinksVisible NO MagnetsVisible NO MasterSheets ModificationDate 2017-02-19 04:43:31 +0000 Modifier atton NotesVisible NO Orientation 2 OriginVisible NO PageBreaks YES PrintInfo NSBottomMargin float 41 NSHorizonalPagination coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG NSLeftMargin float 18 NSPaperName string 35594B77-E0C2-4AA7-B0AF-0CA27B63B300 NSPaperSize size {2063.6220703125, 2919.68505859375} NSPrintReverseOrientation coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG NSRightMargin float 18 NSTopMargin float 18 PrintOnePage ReadOnly NO RowAlign 1 RowSpacing 36 SheetTitle Canvas 1 SmartAlignmentGuidesActive YES SmartDistanceGuidesActive YES UniqueID 1 UseEntirePage VPages 1 WindowInfo CurrentSheet 0 Expanded_Canvases Frame {{376, 3}, {1592, 1053}} ShowInfo Sidebar SidebarWidth 0 TopSlabHeight 250 VisibleRegion {{0, 162}, {2590, 1886}} Zoom 0.5 ZoomValues Canvas 1 0.5 0.49000000000000005