CanvasColor w 1.000000e+00 ColumnAlign 0 ColumnSpacing 3.600000e+01 GraphDocumentVersion 1 GraphicsList Bounds {{9, 279}, {108, 45}} Class ShapedGraphic ID 20 Shape Rectangle Style fill Color b 6.705883e-01 g 4.039216e-01 r 4.823529e-01 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 IEXT maps 1 to a property extention} Class LineGraphic Head ID 18 Info 8 ID 19 Points {198.068, 298.924} {99, 306} {180.989, 378} Style stroke HeadArrow 1 LineType 1 Tail ID 15 Bounds {{180, 378}, {180, 45}} Class ShapedGraphic ID 18 Magnets {0, 1} {0, -1} {1, 0} {-1, 0} {1, 1} {1, -1} {-1, 1} {-1, -1} Shape Rectangle Style fill Color b 6.705883e-01 g 4.039216e-01 r 4.823529e-01 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 the property extension IEXT(1) maps 1 to 2 and 2 to 1} Class LineGraphic Head ID 15 ID 17 Points {353.451, 323.198} {333, 405} {244.092, 316.092} Style stroke HeadArrow 1 LineType 1 Tail ID 13 Class LineGraphic Head ID 13 ID 16 Points {225, 324} {225, 396} {338.224, 312.969} Style stroke HeadArrow 1 LineType 1 Tail ID 15 Bounds {{198, 270}, {54, 54}} Class ShapedGraphic ID 15 Shape Circle Style fill Color b 1.490196e-01 g 3.490196e-01 r 9.529412e-01 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 thing 1} Bounds {{135, 234}, {180, 99}} Class ShapedGraphic ID 14 Shape RoundRect Style fill Color b 8.470588e-01 g 7.019608e-01 r 7.647059e-01 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 IP, a set containing just one property} TextPlacement 0 Bounds {{333, 270}, {54, 54}} Class ShapedGraphic ID 13 Shape Circle Style fill Color b 1.490196e-01 g 3.490196e-01 r 9.529412e-01 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 thing 2} Bounds {{126, 207}, {279, 144}} Class ShapedGraphic ID 12 Shape RoundedRectangle Style fill Color b 5.019608e-01 g 8.000000e-01 r 1.000000e+00 Text Text {\rtf1\mac\ansicpg10000\cocoartf100 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc \f0\fs24 \cf0 The universe IR has only two things in it} TextPlacement 0 GridInfo GridColor w 6.666667e-01 GridInFront NO GridSpacing 9.000000e+00 ShowsGrid NO SnapsToGrid YES HPages 1 ImageCounter 1 IsPalette NO LayoutInfo AutoAdjust YES LayoutType 1 Orientation YES MagnetsEnabled YES PageBreakColor w 6.666667e-01 PageBreaks YES PageSetup BAt0eXBlZHN0cmVhbYED6IQBQISEhAtOU1ByaW50SW5mbwGEhAhOU09iamVjdACFkoSE hBNOU011dGFibGVEaWN0aW9uYXJ5AISEDE5TRGljdGlvbmFyeQCUhAFpC5KEhIQITlNT dHJpbmcBlIQBKw5OU0JvdHRvbU1hcmdpboaShISECE5TTnVtYmVyAISEB05TVmFsdWUA lIQBKoSEAWadJIaShJmZC05TUGFwZXJOYW1lhpKEmZkGTGV0dGVyhpKEmZkVTlNIb3Jp em9uYWxQYWdpbmF0aW9uhpKEm5yEhAFzngCGkoSZmRROU1ZlcnRpY2FsbHlDZW50ZXJl ZIaShJuchIQBY58BhpKEmZkNTlNSaWdodE1hcmdpboaShJucnZ0khpKEmZkMTlNMZWZ0 TWFyZ2luhpKEm5ydnSSGkoSZmQ1OU09yaWVudGF0aW9uhpKEm5yingCGkoSZmRROU1Zl cnRpY2FsUGFnaW5hdGlvboaShJucop4AhpKEmZkWTlNIb3Jpem9udGFsbHlDZW50ZXJl ZIaSpJKEmZkLTlNUb3BNYXJnaW6GkoSbnJ2dJIaShJmZC05TUGFwZXJTaXplhpKEnJyE hAZ7Pz1mZn2ggQJkgQMYhoaG RowAlign 0 RowSpacing 3.600000e+01 VPages 1 WindowInfo Frame {{87, 146}, {747, 592}} Zoom 1