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 95 ID 97 Points {376.04922, 135.40001} {442.94183, 224.60017} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 23 ID 96 Points {455.86624, 243.42448} {499.15762, 312.97485} {504, 394.50922} {500.58548, 476.09314} {459.17212, 546.50098} {389.54272, 602.68604} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 95 Bounds {{414, 225}, {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 {361.17969, 135.38411} {331.819, 170.61586} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Bounds {{288, 171}, {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 {368.9986, 81.5} {368.99329, 116.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 13 ID 91 Points {270.00055, 243.5} {270.0025, 278.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 88 ID 90 Points {295.41861, 567.49323} {289.58603, 602.50684} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 87 ID 89 Points {280.06253, 567.23944} {214.9462, 602.76068} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Bounds {{252.00002, 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 {{162, 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 72 ID 86 Points {260.5386, 297.35147} {221.30534, 336.12909} {178.88373, 386.61719} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 6 ID 85 Points {314.64725, 189.35358} {279.35745, 224.64651} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 14 ID 103 Points {296.7226, 243.16217} {380.88028, 272.0166} {427.83014, 337.65021} {425.52625, 418.33374} {391.25259, 494.54401} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 14 ID 105 Points {310.64835, 351.44864} {343.30328, 417.82565} {382.21021, 494.55405} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 14 ID 104 Points {283.92285, 297.27725} {353.88974, 343.89856} {377.96054, 414.4054} {386.04178, 494.50253} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 14 ID 81 Points {267.4642, 459.1756} {362.51227, 494.82455} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Bounds {{333, 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 73 ID 79 Points {183.40109, 405.29999} {230.60518, 440.69992} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 72 ID 100 Points {262.0657, 243.38176} {209.88031, 305.08737} {175.04561, 386.54028} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 72 ID 77 Points {283.03906, 351.18573} {193.98048, 386.81442} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 22 ID 76 Points {414.48434, 612.54163} {431.53378, 612.79474} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 23 Class LineGraphic Head ID 16 ID 106 Points {247.726, 459.44717} {292.30139, 548.55231} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Bounds {{207, 441}, {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} Bounds {{135, 387}, {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 22 ID 71 Points {325.87692, 567.0412} {378.03448, 583.3714} {439.44278, 602.9126} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 68 ID 69 Points {288.00107, 621.5} {288.00504, 656.5} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 88 Bounds {{252.00002, 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 22 ID 98 Points {303.22113, 241.04262} {395.07471, 260.51483} {463.15366, 322.17206} {465.98401, 414.03922} {465.98401, 505.897} {467.81952, 602.50006} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 23 ID 66 Points {310.64651, 567.28119} {362.78311, 602.74005} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 22 ID 65 Points {393.69513, 513.40735} {422.39471, 553.73322} {460.64755, 602.60626} Style stroke HeadArrow FilledArrow LineType 1 Pattern 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 16 ID 99 Points {236.38937, 240.69641} {147.62595, 258.38116} {78.050583, 313.466} {72, 402.04269} {100.06482, 486.22345} {180.64503, 523.323} {267.27234, 549.14032} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 16 ID 107 Points {305.569, 351.49945} {301.32605, 445.02255} {297.36377, 548.50037} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 16 ID 53 Points {371.57074, 513.25726} {312.4263, 548.74274} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 15 ID 48 Points {276.276, 297.41605} {299.71616, 332.58411} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 73 ID 102 Points {258.54425, 243.31544} {180.08281, 307.11777} {127.82465, 391.6554} {224.78752, 440.77405} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 73 ID 101 Points {267.72348, 297.48621} {251.90016, 363.4216} {243.97632, 440.50262} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 73 ID 36 Points {300.50204, 351.43198} {248.54356, 440.56894} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Bounds {{342, 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 {{432, 603}, {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 {{261, 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 {{270, 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 {{351, 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 {{234, 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 {{333, 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 {{234, 225}, {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:09:38 +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 {{622, 63}, {1574, 1346}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{-68, 120.5}, {712.5, 595.5}} Zoom 2 ZoomValues Canvas 1 2 2.5 saveQuickLookFiles YES