ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle 139.18.0.187838 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {576, 733}} Class SolidGraphic ID 2 Style shadow Draws NO stroke Draws NO BaseZoom 0 CanvasOrigin {0, 0} ColumnAlign 1 ColumnSpacing 36 CreationDate 2013-11-12 22:44:52 +0000 Creator Tim Zirkel DisplayScale 1 0/72 in = 1.0000 in GraphDocumentVersion 8 GraphicsList Class LineGraphic Head ID 22 ID 71 Points {294.00284672372021, 486.50483777504775} {437.97336239215531, 534.49457419088549} Style stroke HeadArrow FilledArrow Legacy LineType 1 Pattern 1 TailArrow 0 Tail ID 16 Class LineGraphic Head ID 68 ID 69 Points {199.21310142938086, 276.97723433117807} {120.75091878132351, 528.02276566892931} Style stroke HeadArrow FilledArrow Legacy LineType 1 Pattern 1 TailArrow 0 Tail ID 13 Bounds {{78.97601318359375, 528.5}, {72, 36}} Class ShapedGraphic ID 68 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 GMC} Class LineGraphic Head ID 22 ID 67 Points {466.5519546518168, 276.99976784706899} {468.99577132423934, 357.16679794380167} {471.14374217920368, 437.79896600126654} {473.5039412328411, 528.00017107815677} Style stroke HeadArrow FilledArrow Legacy LineType 1 Pattern 1 TailArrow 0 Tail ID 6 Class LineGraphic Head ID 23 ID 66 Points {257.98798829670079, 493} {257.98798829670079, 528} Style stroke HeadArrow FilledArrow Legacy LineType 1 Pattern 1 TailArrow 0 Tail ID 16 Class LineGraphic Head ID 22 ID 65 Points {366.85913563882139, 420.87842316887242} {409.6160065643283, 470.38995224267495} {458.44116393610659, 528.11823562270422} Style stroke HeadArrow FilledArrow Legacy LineType 1 Pattern 1 TailArrow 0 Tail ID 14 Class LineGraphic Head ID 20 ID 61 Points {186.88693416479725, 276.8560170806399} {152.0890789088304, 312.1439829193601} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic Head ID 16 ID 56 Points {461.07122711207819, 276.98319596163765} {438.58105846912463, 361.52841421937694} {382.57188287929392, 430.33648268644879} {293.749190539653, 461.82308133686854} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 6 Class LineGraphic Head ID 16 ID 55 Points {300.28154717913111, 348.9614123273152} {280.07922427361007, 397.35762038563723} {263.28030763910891, 456.01932128389006} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 15 Class LineGraphic Head ID 16 ID 54 Points {149.89258185388036, 348.87807958969518} {192.88782862737281, 398.56001413752261} {242.23193749630741, 456.12039334188057} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 20 Class LineGraphic Head ID 16 ID 53 Points {327.34264472054463, 420.80608659010096} {281.63336836194958, 456.1939134098975} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 14 Class LineGraphic Head ID 16 ID 52 Points {287.74178718701307, 276.94699313836537} {245.9676047864632, 360.29003556120369} {256.04120255824631, 456.00274649367771} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 17 Class LineGraphic ID 50 Points {227.64431386156627, 204.80856775726554} {207, 221} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 12 Class LineGraphic Head ID 15 ID 49 Points {432.06049580707236, 273.96086191406977} {341.91621335669885, 315.03986450142213} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 6 Class LineGraphic Head ID 15 ID 48 Points {231.11485857715388, 276.78670920302284} {281.73141358998896, 312.21425412490186} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic ID 44 Points {275.73415245752756, 204.7972652429662} {299, 222} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 12 Class LineGraphic Head ID 15 ID 43 Points {299.77868475491829, 276.99440319941056} {305.06171550199792, 312.00614408825891} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 17 Class LineGraphic Head ID 14 ID 42 Points {169.78346755149852, 343.0947698500853} {237.24064896336222, 366.82983714183933} {314.78275385291357, 391.14635374005383} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 20 Class LineGraphic Head ID 14 ID 39 Points {456.4612123299413, 276.94423975928862} {427.77543240126829, 332.48101195610764} {371.09745135968035, 384.16310489082616} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 6 Class LineGraphic Head ID 14 ID 38 Points {311.85651174726684, 276.88880509074642} {348.31090363983822, 321.97421887005748} {350.37297790413447, 384.00027608945669} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 17 Class LineGraphic Head ID 14 ID 37 Points {214.63615937359009, 276.94303898838331} {248.20437655601432, 341.11075609110765} {321.02623488303811, 384.60483020758062} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic Head ID 14 ID 36 Points {318.98263226554928, 348.92939279103399} {339.94749575338813, 384.07108069316735} Style stroke HeadArrow FilledArrow Legacy LineType 1 TailArrow 0 Tail ID 15 Bounds {{221.98800659179688, 528.5}, {72, 36}} Class ShapedGraphic ID 23 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 ABC} Bounds {{437.98800659179688, 528.5}, {72, 36}} Class ShapedGraphic ID 22 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 SARL} Bounds {{97.988006591796875, 312.5}, {72, 36}} Class ShapedGraphic ID 20 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 transition} Bounds {{260.98800659179688, 240.5}, {72, 36}} Class ShapedGraphic ID 17 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 library} Bounds {{221.98800659179688, 456.5}, {72, 36}} Class ShapedGraphic ID 16 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 model} Bounds {{271.98800659179688, 312.5}, {72, 36}} Class ShapedGraphic ID 15 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 semantics} Bounds {{314.98800659179688, 384.5}, {72, 36}} Class ShapedGraphic ID 14 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 state} Bounds {{168.98800659179688, 240.5}, {72, 36}} Class ShapedGraphic ID 13 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 kripke} Bounds {{214.98800659179688, 168.5}, {72, 36}} Class ShapedGraphic ID 12 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 run} Bounds {{429.98800659179688, 240.5}, {72, 36}} Class ShapedGraphic ID 6 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 predicate} GridInfo GuidesLocked NO GuidesVisible YES HPages 1 ImageCounter 1 KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo Animate NO RankInfo Same 22 23 circoMinDist 18 circoSeparation 0.0 layoutEngine dot neatoSeparation 0.0 twopiSeparation 0.0 LinksVisible NO MagnetsVisible NO MasterSheets ModificationDate 2013-12-09 13:09:19 +0000 Modifier Stephen Siegel NotesVisible NO Orientation 2 OriginVisible NO PageBreaks YES PrintInfo NSBottomMargin float 41 NSHorizonalPagination coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG NSLeftMargin float 18 NSPaperSize size {612, 792} NSPrintReverseOrientation int 0 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 ExpandedCanvases name Canvas 1 Frame {{305, 4}, {710, 774}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {575, 635}} Zoom 1 ZoomValues Canvas 1 1 1