ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle 138.33.0.157554 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {576, 733}} Class SolidGraphic FontInfo Font LucidaGrande Size 14 ID 2 Style shadow Draws NO stroke Draws NO 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 14 ID 110 Points {243, 463} {243, 494.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 72 ID 109 Points {243, 409.5} {243, 444} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Class LineGraphic Head ID 73 ID 81 Points {243, 351.5} {243, 390.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Bounds {{207, 444.5}, {72, 18}} Class ShapedGraphic ID 72 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 log} Class LineGraphic Head ID 6 ID 108 Points {283.70218, 135.45518} {247.29779, 215.54482} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 95 ID 97 Points {291.35434, 135.47131} {437.64117, 548.52875} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 23 ID 96 Points {422.53894, 567.22345} {351.38004, 602.77576} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 95 Bounds {{405, 549}, {72, 18}} Class ShapedGraphic ID 95 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 transform} Class LineGraphic Head ID 93 ID 94 Points {272.57318, 135.25728} {168.44374, 197.74294} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Bounds {{117, 198}, {72, 18}} Class ShapedGraphic ID 93 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 gui} Class LineGraphic Head ID 12 ID 92 Points {288.00156, 81.5} {288.00723, 116.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 13 ID 91 Points {243.00041, 234.5} {243.00237, 278.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 88 ID 90 Points {243.0002, 567.5} {243.00092, 602.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 87 ID 89 Points {227.5714, 567.25726} {168.42953, 602.74274} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Bounds {{207, 603}, {72, 18}} Class ShapedGraphic ID 88 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 config} Bounds {{117.00001, 603}, {72, 18}} Class ShapedGraphic ID 87 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 util} Class LineGraphic Head ID 13 ID 85 Points {163.37398, 216.33446} {232.64607, 278.66519} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Bounds {{251.99998, 63}, {72, 18}} Class ShapedGraphic ID 80 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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} Class LineGraphic Head ID 22 ID 76 Points {333.07306, 621.5} {333.34216, 656.50031} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 23 Bounds {{207, 391}, {72, 18}} Class ShapedGraphic ID 73 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 dynamic} Class LineGraphic Head ID 68 ID 69 Points {243.00075, 621.5} {243.00349, 656.5} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 88 Bounds {{207, 657}, {72, 18}} Class ShapedGraphic ID 68 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 23 ID 66 Points {258.42892, 567.25726} {317.57208, 602.74274} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 16 ID 53 Points {243.00114, 513.5} {243.00534, 548.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 15 ID 48 Points {243.00133, 297.5} {243.0062, 332.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Bounds {{297, 603}, {72, 18}} Class ShapedGraphic ID 23 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{297, 657}, {72, 18}} Class ShapedGraphic ID 22 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{207, 549}, {72, 18}} Class ShapedGraphic ID 16 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{207, 333}, {72, 18}} Class ShapedGraphic ID 15 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{207, 495}, {72, 18}} Class ShapedGraphic ID 14 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{207, 279}, {72, 18}} Class ShapedGraphic ID 13 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{251.99998, 117}, {72, 18}} Class ShapedGraphic ID 12 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 {{207, 216}, {72, 18}} Class ShapedGraphic ID 6 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190 \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 ShowsGrid YES SnapsToGrid YES 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 2014-05-22 18:48:39 +0000 Modifier Manchun Zheng NotesVisible NO Orientation 2 OriginVisible NO PageBreaks YES PrintInfo NSBottomMargin float 41 NSHorizonalPagination int 0 NSLeftMargin float 18 NSPaperSize coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAx7X05TU2l6ZT1mZn2WgWQCgRgDhg== 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 {{-457, 88}, {1574, 1330}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{-68, 50}, {712.5, 587.5}} Zoom 2 ZoomValues Canvas 1 2 2.5 saveQuickLookFiles YES