# HG changeset patch # User e155702 # Date 1550421863 -32400 # Node ID 2e748ed64bcc976ef4e858025b8d883bbc17e0d9 # Parent f11d4ccb52c5b74acace28f85830e8130753162d arrangement diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/factorial.graffle --- a/final_main/fig/factorial.graffle Mon Feb 18 01:39:52 2019 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,580 +0,0 @@ - - - - - ActiveLayerIndex - 0 - ApplicationVersion - - com.omnigroup.OmniGraffle6 - 169.23.0.276662 - - AutoAdjust - - BackgroundGraphic - - Bounds - {{0, 0}, {559, 783}} - Class - SolidGraphic - ID - 2 - Style - - stroke - - Draws - NO - - - - BaseZoom - 0 - CanvasOrigin - {0, 0} - ColumnAlign - 1 - ColumnSpacing - 36 - CreationDate - 2011-11-12 11:03:25 +0000 - Creator - Nobuyasu Oshiro - DisplayScale - 1 in = 1.00000 in - GraphDocumentVersion - 12 - GraphicsList - - - Bounds - {{337.67999245226383, 177.89999766647816}, {103, 24}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - FontInfo - - Size - 11 - - ID - 44 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs22 \cf0 goto print_factorial} - - Wrap - NO - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - Head - - ID - 42 - - ID - 43 - Points - - {325.49999356269836, 144} - {325.49999356269836, 235.79999533295631} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - Tail - - ID - 33 - - - - Bounds - {{287.99999356269836, 208.79999533295631}, {75, 54}} - Class - ShapedGraphic - ID - 42 - Shape - Circle - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 - -\f0\fs24 \cf0 print_\ -factorial} - VerticalPad - 0.0 - - - - Bounds - {{284.99999356269836, 45.359998986124992}, {81, 24}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - FontInfo - - Size - 11 - - ID - 37 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs22 \cf0 goto factorial0} - - Wrap - NO - - - Bounds - {{208.49999356269836, 106.55999761819839}, {81, 24}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - FontInfo - - Size - 11 - - ID - 36 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs22 \cf0 goto factorial0} - - Wrap - NO - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - Head - - ID - 33 - - ID - 35 - Points - - {325.49999356269836, 144} - {294.49999356269836, 93.08203125} - {351.578125, 84.4765625} - {325.49999356269836, 144} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - Tail - - ID - 33 - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - Head - - ID - 33 - - ID - 34 - Points - - {183, 144} - {325.49999356269836, 144} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - Tail - - ID - 3 - - - - Bounds - {{287.99999356269836, 117}, {75, 54}} - Class - ShapedGraphic - ID - 33 - Shape - Circle - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 - -\f0\fs24 \cf0 factorial 0} - VerticalPad - 0.0 - - - - Bounds - {{147, 117}, {72, 54}} - Class - ShapedGraphic - ID - 3 - Shape - Circle - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 - -\f0\fs24 \cf0 factorial} - VerticalPad - 0.0 - - - - GridInfo - - GuidesLocked - NO - GuidesVisible - YES - HPages - 1 - ImageCounter - 1 - 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-09 07:19:20 +0000 - Modifier - atton - NotesVisible - NO - Orientation - 2 - OriginVisible - NO - PageBreaks - YES - PrintInfo - - NSBottomMargin - - float - 41 - - NSHorizonalPagination - - coded - BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG - - NSLeftMargin - - float - 18 - - NSPaperSize - - size - {595, 842} - - 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 - {{87, 100}, {989, 938}} - ShowInfo - - ShowRuler - - Sidebar - - SidebarWidth - 200 - TopSlabHeight - 250 - VisibleRegion - {{0, 0}, {475, 780}} - Zoom - 1 - ZoomValues - - - Canvas 1 - 1 - 1 - - - - - diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/factorial.pdf Binary file final_main/fig/factorial.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/gears-meta.graffle --- a/final_main/fig/gears-meta.graffle Mon Feb 18 01:39:52 2019 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,974 +0,0 @@ - - - - - ActiveLayerIndex - 0 - ApplicationVersion - - com.omnigroup.OmniGraffle6 - 169.5.0.253125 - - AutoAdjust - - BackgroundGraphic - - Bounds - {{0, 0}, {1118.4000244140625, 782.79998779296875}} - Class - SolidGraphic - ID - 2 - Style - - stroke - - Draws - NO - - - - BaseZoom - 0 - CanvasOrigin - {0, 0} - ColumnAlign - 1 - ColumnSpacing - 36 - CreationDate - 2014-02-10 06:36:22 +0000 - Creator - utah - DisplayScale - 1 in = 1 in - GraphDocumentVersion - 12 - GraphicsList - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 34 - Points - - {414, 72} - {468, 72} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - 0 - Legacy - - LineType - 1 - Pattern - 1 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - Head - - ID - 29 - Info - 2 - - ID - 33 - Points - - {189, 72} - {243, 72} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - 0 - Legacy - - LineType - 1 - Pattern - 1 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 32 - Points - - {585, 99} - {585, 135} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 31 - OrthogonalBarAutomatic - - OrthogonalBarPoint - {0, 0} - OrthogonalBarPosition - -1 - Points - - {414, 162} - {468, 162} - {468, 72} - {531, 72} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 2 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 30 - Points - - {360, 99} - {360, 135} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 29 - OrthogonalBarAutomatic - - OrthogonalBarPoint - {0, 0} - OrthogonalBarPosition - -1 - Points - - {189, 162} - {243, 162} - {243, 72} - {306, 72} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 2 - TailArrow - 0 - - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 27 - Points - - {135, 99} - {135, 135} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - - - Bounds - {{60.5, 198}, {83, 30}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - ID - 26 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs32 \cf0 meta level} - - Wrap - NO - - - Bounds - {{51.0625, 3}, {96, 30}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - ID - 25 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs32 \cf0 normal level} - - Wrap - NO - - - Bounds - {{531, 135}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 24 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 meta3} - VerticalPad - 0.0 - - - - Bounds - {{306, 135}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 23 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 meta2} - VerticalPad - 0.0 - - - - Bounds - {{81, 135}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 22 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 meta1} - VerticalPad - 0.0 - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 21 - Points - - {684, 117} - {54, 117} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - 0 - Legacy - - LineType - 1 - Pattern - 2 - TailArrow - 0 - - - - - Bounds - {{531, 45}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 19 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 code3} - VerticalPad - 0.0 - - - - Bounds - {{306, 45}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 5 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 code2} - VerticalPad - 0.0 - - - - Bounds - {{81, 45}, {108, 54}} - Class - ShapedGraphic - FontInfo - - Font - Helvetica - Size - 9 - - HFlip - YES - ID - 4 - Magnets - - {1, 0.5} - {1, -0.5} - {-1, 0.5} - {-1, -0.5} - {0.5, 1} - {-0.5, 1} - {0.5, -1} - {-0.5, -1} - - Style - - fill - - Color - - b - 0.99999099999999996 - g - 0.99997400000000003 - r - 1 - - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc\partightenfactor0 - -\f0\fs28 \cf0 code1} - VerticalPad - 0.0 - - - - GridInfo - - SnapsToGrid - YES - - GuidesLocked - NO - GuidesVisible - YES - HPages - 2 - ImageCounter - 1 - KeepToScale - - Layers - - - Lock - NO - Name - Layer 1 - Print - YES - 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 - 2016-02-09 02:10:43 +0000 - Modifier - utah - NotesVisible - NO - Orientation - 2 - OriginVisible - NO - PageBreaks - YES - PrintInfo - - NSBottomMargin - - float - 41 - - NSHorizonalPagination - - coded - BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG - - NSLeftMargin - - float - 18 - - NSPaperSize - - size - {595.20001220703125, 841.79998779296875} - - 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 - {{252, -73}, {1263, 938}} - ShowInfo - - ShowRuler - - Sidebar - - SidebarWidth - 200 - TopSlabHeight - 250 - VisibleRegion - {{0, 0}, {749, 780}} - Zoom - 1 - ZoomValues - - - Canvas 1 - 1 - 1 - - - - - diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/gears-meta.pdf Binary file final_main/fig/gears-meta.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/goto.graffle --- a/final_main/fig/goto.graffle Mon Feb 18 01:39:52 2019 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,445 +0,0 @@ - - - - - ActiveLayerIndex - 0 - ApplicationVersion - - com.omnigroup.OmniGraffle6 - 169.5.0.253125 - - AutoAdjust - - BackgroundGraphic - - Bounds - {{0, 0}, {559.20001220703125, 782.79998779296875}} - Class - SolidGraphic - ID - 2 - Style - - stroke - - Draws - NO - - - - BaseZoom - 0 - CanvasOrigin - {0, 0} - ColumnAlign - 1 - ColumnSpacing - 36 - CreationDate - 2011-11-12 11:03:25 +0000 - Creator - Nobuyasu Oshiro - DisplayScale - 1 in = 1.00000 in - GraphDocumentVersion - 12 - GraphicsList - - - Bounds - {{366.49999356269836, 106.55999761819839}, {65, 24}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - FontInfo - - Size - 11 - - ID - 37 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs22 \cf0 goto cs2(c)} - - Wrap - NO - - - Bounds - {{209.99999356269836, 106.55999761819839}, {78, 24}} - Class - ShapedGraphic - FitText - YES - Flow - Resize - FontInfo - - Size - 11 - - ID - 36 - Style - - fill - - Draws - NO - - shadow - - Draws - NO - - stroke - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fnil\fcharset0 HelveticaNeue;} -{\colortbl;\red255\green255\blue255;} -\deftab720 -\pard\pardeftab720\qc\partightenfactor0 - -\f0\fs22 \cf0 goto cs1(a+b)} - - Wrap - NO - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - ID - 35 - Points - - {323.99999356269836, 144} - {426.68373636901379, 143.8290591686964} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - Tail - - ID - 33 - - - - Class - LineGraphic - FontInfo - - Font - Helvetica - Size - 12 - - Head - - ID - 33 - - ID - 34 - Points - - {183, 144} - {323.99999356269836, 144} - - Style - - shadow - - Draws - NO - - stroke - - HeadArrow - FilledArrow - Legacy - - LineType - 1 - TailArrow - 0 - - - Tail - - ID - 3 - - - - Bounds - {{287.99999356269836, 117}, {72, 54}} - Class - ShapedGraphic - ID - 33 - Shape - Circle - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 - -\f0\fs24 \cf0 cs1} - VerticalPad - 0.0 - - - - Bounds - {{147, 117}, {72, 54}} - Class - ShapedGraphic - ID - 3 - Shape - Circle - Style - - shadow - - Draws - NO - - - Text - - Text - {\rtf1\ansi\ansicpg1252\cocoartf1404\cocoasubrtf340 -{\fonttbl\f0\fswiss\fcharset0 Helvetica;} -{\colortbl;\red255\green255\blue255;} -\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\partightenfactor0 - -\f0\fs24 \cf0 cs0} - VerticalPad - 0.0 - - - - GridInfo - - GuidesLocked - NO - GuidesVisible - YES - HPages - 1 - ImageCounter - 1 - KeepToScale - - Layers - - - Lock - NO - Name - Layer 1 - Print - YES - 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 - 2016-02-14 19:41:55 +0000 - Modifier - utah - NotesVisible - NO - Orientation - 2 - OriginVisible - NO - PageBreaks - YES - PrintInfo - - NSBottomMargin - - float - 41 - - NSHorizonalPagination - - coded - BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG - - NSLeftMargin - - float - 18 - - NSPaperSize - - size - {595.20001220703125, 841.79998779296875} - - 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 - {{507, -237}, {989, 938}} - ShowInfo - - ShowRuler - - Sidebar - - SidebarWidth - 200 - TopSlabHeight - 250 - VisibleRegion - {{0, 0}, {475, 780}} - Zoom - 1 - ZoomValues - - - Canvas 1 - 1 - 1 - - - - - diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/goto.pdf Binary file final_main/fig/goto.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta-hierarchy.graffle Binary file final_main/fig/meta-hierarchy.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta-hierarchy.pdf Binary file final_main/fig/meta-hierarchy.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta.graffle Binary file final_main/fig/meta.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/meta.pdf Binary file final_main/fig/meta.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/metameta.graffle Binary file final_main/fig/metameta.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/metameta.pdf Binary file final_main/fig/metameta.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/non-destructive-rbtree.pdf Binary file final_main/fig/non-destructive-rbtree.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/put.graffle Binary file final_main/fig/put.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/put.pdf Binary file final_main/fig/put.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/rbtree.graffle Binary file final_main/fig/rbtree.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/rbtree.pdf Binary file final_main/fig/rbtree.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-arg.graffle Binary file final_main/fig/subtype-arg.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-arg.pdf Binary file final_main/fig/subtype-arg.pdf has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-return.graffle Binary file final_main/fig/subtype-return.graffle has changed diff -r f11d4ccb52c5 -r 2e748ed64bcc final_main/fig/subtype-return.pdf Binary file final_main/fig/subtype-return.pdf has changed