ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle 138.33.0.157554 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {1728, 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 22 ID 151 Points {962.12897, 166.83778} {1087.0989, 184.04803} {1205.4156, 215.42755} {1269, 320.05042} {1192.3583, 415.42401} {1078.3716, 460.02222} {959.53601, 489.20145} {838.9823, 510.4621} {717.67456, 526.56067} {595.92712, 538.77893} {486.49878, 546.44354} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 22 ID 150 Points {259.25784, 171.49179} {242.80573, 261.12793} {244.08659, 352.16098} {267.79425, 440.12177} {327.10278, 509.29874} {413.5242, 537.21674} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 16 ID 148 Points {267.02527, 171.42122} {313.37656, 243.89697} {376.10406, 307.31604} {443.44479, 365.74319} {513.97852, 420.34381} {598.14801, 476.72174} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 68 ID 147 Points {464.99237, 170.78059} {367.02533, 199.44698} {287.89722, 260.82663} {219.27588, 333.69193} {162.46324, 416.14017} {160.01558, 516.26263} {243.82924, 570.94653} {341.58737, 592.46307} {440.93353, 604.48639} {540.65082, 612.78497} {638.50092, 618.76819} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 15 ID 145 Points {529.86627, 167.23857} {626.8573, 181.8112} {719.04468, 200.27818} {809.45953, 226.12193} {902.42242, 260.82513} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 22 ID 144 Points {677.52789, 225.17554} {592.8349, 256.93024} {520.73523, 300.81509} {461.90668, 361.29074} {433.89932, 440.92749} {447.24469, 530.50543} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 68 ID 143 Points {737.91144, 219.24786} {866.05786, 230.83755} {991.99048, 257.10339} {1108.3573, 311.91959} {1219.4196, 376.79681} {1307.016, 471.05923} {1198.6044, 540.32129} {1072.73, 566.97644} {945.7511, 587.37793} {818.22485, 604.44647} {711.4967, 616.7818} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 87 ID 142 Points {737.49683, 220.18532} {832.63574, 231.40285} {926.62329, 246.99477} {1016.8059, 277.92984} {1100.4385, 323.58344} {1117.0081, 417.4686} {1054.0039, 489.00333} {962.6947, 516.30194} {869.00665, 533.75317} {782.37231, 544.57959} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 16 ID 141 Points {697.91821, 225.45908} {664.04773, 303.95111} {633.95959, 384.46429} {614.05219, 476.51129} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 22 ID 140 Points {927.2182, 279.49988} {929.43268, 375.90814} {869.05304, 451.70517} {777.89893, 484.47797} {683.78308, 507.58685} {588.79944, 526.61267} {486.49362, 543.11389} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 87 ID 139 Points {936.49481, 279.35083} {1009.2366, 350.98984} {1036.7324, 444.86353} {972.8808, 518.91205} {876.97449, 538.20734} {783.00427, 546.01031} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 87 ID 138 Points {556.21838, 333.49142} {541.78223, 410.39709} {558.59052, 487.27618} {627.34955, 525.54077} {713.29675, 542.39197} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Class LineGraphic Head ID 22 ID 137 Points {767.62201, 387.41394} {723.64441, 452.32523} {654.65741, 496.38919} {578.09772, 525.4126} {486.49173, 542.28052} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 68 ID 136 Points {777.07013, 387.47565} {805.56158, 475.41168} {790.7879, 565.71625} {711.45123, 603.59613} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 16 ID 135 Points {764.89874, 387.35843} {714.05347, 439.64011} {632.26721, 476.79321} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 72 ID 134 Points {590.0296, 331.88983} {663.49744, 349.98706} {742.24854, 369.95087} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Class LineGraphic Head ID 88 ID 133 Points {693.50513, 441.1579} {765.26306, 465.04987} {836.51477, 489.02231} {907.75439, 512.98108} {989.24133, 539.84784} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 68 ID 132 Points {666.41302, 441.49954} {669.69604, 517.00757} {674.05646, 602.50067} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 68 ID 131 Points {616.00995, 495.46036} {636.75262, 544.39636} {665.78949, 602.55267} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 88 ID 129 Points {737.63538, 219.90215} {831.01324, 230.12717} {923.82562, 241.82722} {1016.3679, 255.5802} {1108.3291, 272.65668} {1198.4226, 297.93274} {1230.984, 385.59619} {1215.5151, 477.85556} {1136.2517, 527.49298} {1051.1388, 542.84308} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 88 ID 128 Points {943.43579, 279.24512} {1034.423, 330.42551} {1098.4559, 401.23062} {1132.6256, 490.39911} {1035.204, 539.77399} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 88 ID 127 Points {639.34302, 109.70278} {767.41211, 115.70322} {892.75275, 124.2478} {1017.8763, 135.21921} {1142.5952, 149.97964} {1266.1379, 172.75978} {1345.032, 270.53424} {1345.032, 396.13812} {1266.8135, 494.4075} {1145.5566, 527.14502} {1051.4044, 543.15112} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 22 ID 126 Points {229.92812, 493.94946} {319.07199, 516.14459} {413.51505, 539.84436} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 95 Class LineGraphic Head ID 16 ID 125 Points {922.98901, 171.46033} {889.74365, 249.87289} {852.85461, 328.39676} {807.68036, 402.47055} {734.37109, 448.92496} {641.46106, 477.0741} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 14 ID 124 Points {934.80212, 171.38448} {996.68329, 245.81592} {953.70251, 325.93079} {877.35352, 375.39081} {792.20544, 407.22559} {699.69647, 425.38531} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 72 ID 123 Points {933.64307, 171.40845} {978.89441, 235.49704} {952.09296, 306.40109} {888.49506, 347.65384} {805.27985, 369.70947} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 22 ID 122 Points {542.41187, 333.25528} {466.01978, 378.61224} {446.42468, 450.5675} {449.32803, 530.50031} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Class LineGraphic Head ID 73 ID 121 Points {906.42548, 171.20418} {829.15051, 205.77379} {749.33911, 240.61282} {669.58698, 275.59607} {579.2066, 314.80103} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 15 ID 120 Points {926.99402, 171.5} {926.93787, 260.5} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 13 ID 119 Points {895.10486, 169.96851} {821.0238, 188.47655} {734.5802, 208.46603} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 80 Class LineGraphic Head ID 68 ID 118 Points {254.04182, 171.4019} {198.74597, 246.11771} {154.82614, 326.38687} {124.29368, 412.62079} {122.94771, 504.07013} {180.86938, 574.90729} {270.74402, 591.76428} {361.7175, 601.45984} {452.93927, 608.70648} {544.23651, 614.54285} {638.50061, 619.19763} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 14 ID 117 Points {755.56116, 387.22369} {684.48761, 422.77679} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 72 Class LineGraphic Head ID 73 ID 116 Points {277.74509, 171.24159} {361.065, 217.22571} {447.12921, 263.45813} {541.07941, 314.76038} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 6 ID 115 Points {584.48657, 117.22295} {513.12555, 152.77318} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 14 ID 113 Points {270.34271, 171.35376} {330.34009, 231.4221} {396.64014, 288.64954} {466.32214, 341.68341} {540.43805, 388.3924} {639.6134, 422.83597} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 73 ID 111 Points {601.21606, 117.49139} {583.62878, 211.06386} {560.15302, 314.51239} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 72 ID 110 Points {620.98627, 117.22826} {695.29419, 155.35367} {749.33563, 210.8723} {773.98132, 284.34827} {773.99811, 368.5} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 15 ID 109 Points {639.24402, 110.16615} {732.30109, 115.72777} {822.43103, 123.25601} {912.15833, 134.40001} {982.32513, 191.42004} {933.62439, 260.59116} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 13 ID 108 Points {611.93115, 117.36178} {650.62158, 157.91797} {693.70746, 206.62549} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 95 ID 97 Points {566.88751, 110.65291} {474.03204, 117.4743} {378.23004, 126.55276} {282.77063, 138.56439} {188.88132, 159.60539} {106.29871, 209.04749} {109.46449, 305.23926} {140.22186, 396.46985} {191.92076, 476.5799} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Class LineGraphic Head ID 23 ID 96 Points {210.49231, 495.29855} {258.01419, 530.67108} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 95 Bounds {{162, 477}, {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 {568.39227, 113.59312} {481.36716, 127.65764} {392.64352, 141.27246} {295.70468, 156.53568} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 12 Bounds {{225.00002, 153}, {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 13 ID 91 Points {526.72968, 170.06111} {595.02795, 187.41267} {670.8136, 207.66571} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 88 ID 90 Points {646.57855, 491.63092} {726.15613, 504.58972} {807.38892, 516.87146} {888.64301, 528.9986} {982.25824, 543.5863} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 87 ID 89 Points {631.5484, 495.2132} {726.14825, 539.79816} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Bounds {{981, 540}, {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 {{711, 540}, {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 {707.00592, 225.44176} {741.97827, 291.4032} {770.4986, 368.53104} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 13 ID 85 Points {296.41867, 166.33475} {384.50281, 177.11499} {475.02466, 188.1678} {565.53381, 199.37141} {666.57184, 211.68303} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 93 Class LineGraphic Head ID 14 ID 103 Points {494.61203, 171.49959} {491.4361, 249.26801} {509.76968, 325.45911} {562.41351, 383.52155} {646.31635, 422.78806} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 14 ID 105 Points {920.08337, 279.40274} {868.77539, 349.1532} {796.36707, 401.3634} {698.4472, 424.37482} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 14 ID 104 Points {700.44141, 225.49339} {685.10059, 318.93472} {667.6037, 422.50699} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 14 ID 81 Points {579.15698, 333.19937} {645.48346, 362.03912} {663.21997, 422.5202} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Bounds {{891, 153}, {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 72 ID 100 Points {507.66769, 171.29581} {572.22357, 218.66818} {634.21045, 266.69019} {696.09271, 314.8028} {762.51678, 368.685} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 72 ID 77 Points {914.42438, 279.29724} {857.98602, 321.02231} {787.67993, 368.7193} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 22 ID 76 Points {315.5, 549.00439} {413.5, 549.01617} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 23 Class LineGraphic Head ID 16 ID 106 Points {559.91937, 333.49008} {573.83673, 402.30219} {607.68884, 476.54507} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 73 Bounds {{522, 315}, {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 {{738, 369}, {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 {588.69067, 495.18329} {486.46872, 535.45612} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 68 ID 69 Points {983.61072, 555.89795} {892.89203, 574.63989} {805.95398, 592.90051} {711.48889, 613.17035} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 88 Bounds {{639, 603}, {72, 36}} Class ShapedGraphic ID 68 Shape Rectangle Style fill Color a 0.5 b 0.4 g 1 r 1 shadow Draws NO stroke Cap 2 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 {472.16077, 171.18658} {386.87524, 205.49088} {319.68936, 259.65875} {295.992, 342.66647} {295.992, 428.95303} {339.34372, 503.56677} {413.53748, 534.02924} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 23 ID 66 Points {577.93658, 492.2395} {490.26395, 508.29874} {407.5849, 523.98834} {315.49081, 541.90204} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 16 Class LineGraphic Head ID 22 ID 65 Points {645.22961, 441.20255} {562.20276, 477.98849} {478.86365, 530.7326} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 16 ID 99 Points {493.51398, 171.49399} {480.70081, 253.35652} {499.76932, 334.67572} {542.40521, 406.55975} {603.78595, 476.6239} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 16 ID 107 Points {925.36279, 279.49274} {908.70868, 376.05606} {845.07855, 452.10663} {748.35419, 473.93546} {647.93677, 482.82034} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Class LineGraphic Head ID 16 ID 53 Points {656.64148, 441.35349} {621.3299, 476.646} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 14 Class LineGraphic Head ID 15 ID 48 Points {734.18951, 223.79225} {811.00342, 242.3869} {894.66272, 262.30209} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 73 ID 102 Points {498.9584, 171.46126} {526.75775, 237.90651} {554.56348, 314.53} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 6 Class LineGraphic Head ID 73 ID 101 Points {689.48651, 225.29822} {634.06177, 266.48175} {570.30035, 314.69843} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 13 Class LineGraphic Head ID 73 ID 36 Points {892.12665, 275.2283} {797.78699, 289.37195} {701.46167, 303.16113} {592.97369, 318.91983} Style stroke Color b 1 g 0.501961 r 0 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 0.5 Tail ID 15 Bounds {{243.00002, 531}, {72, 36}} Class ShapedGraphic ID 23 Shape Rectangle Style fill Color a 0.5 b 0.4 g 1 r 1 shadow Draws NO stroke Cap 2 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 {{414, 531}, {72, 36}} Class ShapedGraphic ID 22 Shape Rectangle Style fill Color a 0.5 b 0.4 g 1 r 1 shadow Draws NO stroke Cap 2 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 {{576, 477}, {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 {{891, 261}, {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 {{630, 423}, {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 {{666, 207}, {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 {{567, 99}, {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 {{459, 153}, {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 3 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-27 21:18:46 +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 FitInWindow Frame {{-0, 143}, {2560, 1275}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, -31.999983}, {1727.2876, 797.75769}} Zoom 1.4039351940155029 ZoomValues Canvas 1 0.0 1.2400000095367432 saveQuickLookFiles YES