ActiveLayerIndex 0 AutoAdjust CanvasColor w 1 CanvasOrigin {0, 0} CanvasScale 1 ColumnAlign 1 ColumnSpacing 36 CreationDate 2006-04-21 13:40:43 +0200 Creator Eric Kow DisplayScale 1 cm = 1 cm GraphDocumentVersion 5 GraphicsList Class Group Graphics Class LineGraphic Head ID 361 ID 358 Points {158.89, 420.454} {158.89, 395.221} Style stroke HeadArrow 0 TailArrow 0 Tail ID 359 Bounds {{144.89, 420.454}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 359 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 bar} Wrap NO Class LineGraphic Head ID 361 ID 360 Points {158.89, 350.456} {158.89, 381.221} Style stroke HeadArrow 0 TailArrow 0 Tail ID 362 Bounds {{144.39, 381.221}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 361 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:b} Wrap NO Bounds {{141.39, 336.456}, {35, 14}} Class ShapedGraphic FitText YES Flow Resize ID 362 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:?X} Wrap NO Bounds {{92.7401, 398.114}, {23, 14}} Class ShapedGraphic ID 363 Shape HorizontalArrow Class LineGraphic Head ID 371 ID 364 Points {44.48, 420.454} {44.48, 395.221} Style stroke HeadArrow 0 TailArrow 0 Tail ID 365 Bounds {{30.48, 420.454}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 365 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 bar} Wrap NO Bounds {{75.06, 336.456}, {68, 56}} Class ShapedGraphic FitText YES Flow Resize ID 366 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 [?X ?Y ]\ [?X b\cf0 \cf0 ]\ --------\ [?X b ]} Wrap NO Class Group Graphics Bounds {{49.52, 493.522}, {133, 29}} Class ShapedGraphic FitText YES Flow Resize ID 368 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 parent rule from B\ ciVariables: \f1 [?X b ]} Wrap NO Bounds {{26.98, 497.522}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 369 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 3} Wrap NO ID 367 Class LineGraphic Head ID 371 ID 370 Points {44.48, 350.456} {44.48, 381.221} Style stroke HeadArrow 0 TailArrow 0 Tail ID 372 Bounds {{29.98, 381.221}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 371 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:b} Wrap NO Bounds {{26.98, 336.456}, {35, 14}} Class ShapedGraphic FitText YES Flow Resize ID 372 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:?X} Wrap NO ID 357 Class Group Graphics Bounds {{769.77, 477.334}, {150, 29}} Class ShapedGraphic FitText YES Flow Resize ID 406 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 parent rule from P (step 8)\ ciVariables: \f1 [a b ]} Wrap NO Bounds {{747.23, 481.334}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 407 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 9} Wrap NO Class LineGraphic Head ID 409 ID 408 Points {973, 350.924} {973, 315.913} Style stroke HeadArrow 0 TailArrow 0 Tail ID 416 Bounds {{958.5, 301.913}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 409 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 S:b} Wrap NO Bounds {{988, 416.744}, {29, 29}} Class ShapedGraphic ID 410 Shape VerticalTriangle VFlip YES Bounds {{923, 416.744}, {29, 29}} Class ShapedGraphic ID 411 Shape VerticalTriangle VFlip YES Class LineGraphic Head ID 414 ID 412 Points {977.835, 364.924} {1001.66, 399.424} Style stroke HeadArrow 0 TailArrow 0 Tail ID 416 Class LineGraphic Head ID 416 ID 413 Points {942.624, 399.424} {967.876, 364.924} Style stroke HeadArrow 0 TailArrow 0 Tail ID 415 Bounds {{992, 399.424}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 414 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:a} Wrap NO Bounds {{924, 399.424}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize ID 415 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:a} Wrap NO Bounds {{958.5, 350.924}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 416 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:a} Wrap NO Bounds {{871.48, 401.914}, {23, 14}} Class ShapedGraphic ID 417 Shape HorizontalArrow Bounds {{848.98, 338.75}, {68, 56}} Class ShapedGraphic FitText YES Flow Resize ID 418 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 [?X ?Y ]\ [ a b ]\ --------\ [ a b ]} Wrap NO Class LineGraphic Head ID 420 ID 419 Points {778, 357.924} {778, 322.913} Style stroke HeadArrow 0 TailArrow 0 Tail ID 427 Bounds {{759.5, 308.913}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 420 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 S:?Y} Wrap NO Bounds {{793, 423.744}, {29, 29}} Class ShapedGraphic ID 421 Shape VerticalTriangle VFlip YES Bounds {{728, 423.744}, {29, 29}} Class ShapedGraphic ID 422 Shape VerticalTriangle VFlip YES Class LineGraphic Head ID 425 ID 423 Points {782.835, 371.924} {806.665, 406.424} Style stroke HeadArrow 0 TailArrow 0 Tail ID 427 Class LineGraphic Head ID 427 ID 424 Points {747.624, 406.424} {772.876, 371.924} Style stroke HeadArrow 0 TailArrow 0 Tail ID 426 Bounds {{797, 406.424}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 425 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:a} Wrap NO Bounds {{729, 406.424}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize ID 426 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:a} Wrap NO Bounds {{763.5, 357.924}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 427 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:a} Wrap NO ID 405 Class Group Graphics Bounds {{1097.72, 156.357}, {29, 29}} Class ShapedGraphic ID 374 Shape VerticalTriangle VFlip YES Bounds {{1032.72, 156.357}, {29, 29}} Class ShapedGraphic ID 375 Shape VerticalTriangle VFlip YES Class LineGraphic Head ID 378 ID 376 Points {1087.56, 104.537} {1111.39, 139.037} Style stroke HeadArrow 0 TailArrow 0 Tail ID 380 Class LineGraphic Head ID 380 ID 377 Points {1052.34, 139.037} {1077.6, 104.537} Style stroke HeadArrow 0 TailArrow 0 Tail ID 379 Bounds {{1101.72, 139.037}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 378 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:a} Wrap NO Bounds {{1033.72, 139.037}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize ID 379 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:a} Wrap NO Bounds {{1068.22, 90.537}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 380 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:a} Wrap NO Bounds {{987.22, 155.361}, {23, 14}} Class ShapedGraphic ID 381 Shape HorizontalArrow Bounds {{910, 152.408}, {29, 29}} Class ShapedGraphic ID 382 Shape VerticalTriangle VFlip YES Bounds {{845, 152.408}, {29, 29}} Class ShapedGraphic ID 383 Shape VerticalTriangle VFlip YES Class LineGraphic Head ID 386 ID 384 Points {899.835, 100.588} {923.665, 135.088} Style stroke HeadArrow 0 TailArrow 0 Tail ID 388 Class LineGraphic Head ID 388 ID 385 Points {864.624, 135.088} {889.876, 100.588} Style stroke HeadArrow 0 TailArrow 0 Tail ID 387 Bounds {{914, 135.088}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 386 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:a} Wrap NO Bounds {{846, 135.088}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize ID 387 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:a} Wrap NO Bounds {{876.5, 86.5877}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 388 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:?X} Wrap NO Bounds {{964.72, 83.037}, {68, 70}} Class ShapedGraphic FitText YES Flow Resize ID 389 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 [?X ?Y ]\ [ a b ]\ [ a ?Y ]\ --------\ [ a b ]} Wrap NO Bounds {{887.24, 213.76}, {224, 29}} Class ShapedGraphic FitText YES Flow Resize ID 390 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 parent rule from L and R (steps 4 and 5)\ ciVariables: \f1 [ a b ]} Wrap NO Bounds {{864.7, 217.76}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 391 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 8} Wrap NO ID 373 Class Group Graphics Bounds {{614.721, 216.991}, {205, 43}} Class ShapedGraphic FitText YES Flow Resize ID 393 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 substitute something into the node R\ ciVariables: \f1 [ a ?Y ]\ \f0 (independent from steps 2-6)} Wrap NO Bounds {{590.681, 220.991}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 394 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 7} Wrap NO Bounds {{693.701, 157.741}, {23, 14}} Class ShapedGraphic ID 395 Shape HorizontalArrow Class LineGraphic Head ID 398 ID 396 Points {749.377, 175.521} {750.024, 149.896} Style stroke HeadArrow 0 TailArrow 0 Tail ID 397 Bounds {{718.701, 175.521}, {61, 14}} Class ShapedGraphic FitText YES Flow Resize ID 397 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 good_foo} Wrap NO Bounds {{735.701, 135.896}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 398 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:a} Wrap NO Class LineGraphic Head ID 404 ID 399 Points {655.318, 163.646} {656.083, 118.146} Style stroke Color b 1 g 0 r 0 HeadArrow FilledArrow TailArrow 0 Width 2 Tail ID 403 Class LineGraphic ID 400 Points {678.201, 115.366} {678.201, 132.366} Style stroke HeadArrow FilledArrow HeadScale 0.5 TailArrow 0 Width 2 Class LineGraphic Head ID 403 ID 401 Points {655.201, 202.991} {655.201, 177.646} Style stroke Color b 0.501961 g 0 r 0.501961 HeadArrow 0 TailArrow 0 Tail ID 402 Bounds {{624.701, 202.991}, {61, 14}} Class ShapedGraphic FitText YES Flow Resize ID 402 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 good_foo} Wrap NO Bounds {{640.701, 163.646}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 403 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 R:a} Wrap NO Bounds {{637.701, 104.146}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 404 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:?X} Wrap NO ID 392 Class LineGraphic ID 275 Points {305, 704.312} {438, 596.312} Style stroke Color b 0 g 0 r 1 HeadArrow 0 TailArrow 0 Width 2 Class LineGraphic ID 276 Points {332, 595.312} {444, 709.312} Style stroke Color b 0 g 0 r 1 HeadArrow 0 TailArrow 0 Width 2 Bounds {{401.82, 664.212}, {29, 29}} Class ShapedGraphic ID 277 Shape VerticalTriangle VFlip YES Bounds {{336.82, 664.212}, {29, 29}} Class ShapedGraphic ID 278 Shape VerticalTriangle VFlip YES Class LineGraphic Head ID 281 ID 279 Points {391.655, 612.393} {415.485, 646.892} Style stroke HeadArrow 0 TailArrow 0 Tail ID 283 Class LineGraphic Head ID 283 ID 280 Points {356.444, 646.892} {381.696, 612.393} Style stroke HeadArrow 0 TailArrow 0 Tail ID 282 Bounds {{406.32, 646.892}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 281 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:c} Wrap NO Bounds {{337.82, 646.892}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize ID 282 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:a} Wrap NO Bounds {{368.32, 598.393}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 283 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:?X} Wrap NO Bounds {{458.839, 625.892}, {68, 70}} Class ShapedGraphic FitText YES Flow Resize ID 284 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 [?X ?Y ]\ [ a b ]\ [ c ?Y ]\ --------\ failure} Wrap NO Class Group Graphics Bounds {{321.54, 729.508}, {224, 28}} Class ShapedGraphic FitText YES Flow Resize ID 286 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 parent rule from L and R (steps 4 and 5)\ ciVariables: (unification failure) } Wrap NO Bounds {{299, 733.508}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 287 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 6} Wrap NO ID 285 Class Group Graphics Class Group Graphics Bounds {{35.1606, 721.202}, {249, 43}} Class ShapedGraphic FitText YES Flow Resize ID 290 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 substitute something into the node R (step 1)\ ciVariables: \f1 [ c ?Y ]\ \f0 (independent from steps 2-4)} Wrap NO Bounds {{13, 732.702}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 291 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 5} Wrap NO ID 289 Bounds {{107.176, 643.213}, {23, 14}} Class ShapedGraphic ID 292 Shape HorizontalArrow Class LineGraphic Head ID 295 ID 293 Points {162.853, 660.993} {163.499, 635.368} Style stroke HeadArrow 0 TailArrow 0 Tail ID 294 Bounds {{135.676, 660.993}, {54, 14}} Class ShapedGraphic FitText YES Flow Resize ID 294 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 bad_foo} Wrap NO Bounds {{149.676, 621.368}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 295 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:c} Wrap NO Class LineGraphic Head ID 301 ID 296 Points {68.7936, 649.118} {69.5583, 603.618} Style stroke Color b 1 g 0 r 0 HeadArrow FilledArrow TailArrow 0 Width 2 Tail ID 300 Class LineGraphic ID 297 Points {91.6759, 600.838} {91.6759, 617.838} Style stroke HeadArrow FilledArrow HeadScale 0.5 TailArrow 0 Width 2 Class LineGraphic Head ID 300 ID 298 Points {68.6759, 688.463} {68.6759, 663.118} Style stroke Color b 0.501961 g 0 r 0.501961 HeadArrow 0 TailArrow 0 Tail ID 299 Bounds {{41.6759, 688.463}, {54, 14}} Class ShapedGraphic FitText YES Flow Resize ID 299 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 bad_foo} Wrap NO Bounds {{54.6759, 649.118}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 300 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 R:c} Wrap NO Bounds {{51.1759, 589.618}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 301 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:?X} Wrap NO ID 288 Class Group Graphics Class Group Graphics Bounds {{306.88, 493.522}, {164, 29}} Class ShapedGraphic FitText YES Flow Resize ID 304 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \f0\fs24 \cf0 adjoin something into node L\ ciVariables: \f1 [ a b ]} Wrap NO Bounds {{282.84, 497.522}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 305 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 4} Wrap NO ID 303 Class LineGraphic Head ID 309 ID 306 Points {493.27, 458.039} {493.27, 435.082} Style stroke HeadArrow 0 TailArrow 0 Tail ID 307 Bounds {{479.27, 458.039}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 307 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 bar} Wrap NO Class LineGraphic Head ID 309 ID 308 Points {492.851, 391.594} {493.19, 421.082} Style stroke HeadArrow 0 TailArrow 0 Tail ID 312 Bounds {{478.77, 421.082}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 309 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:b} Wrap NO Class LineGraphic Head ID 312 ID 310 Points {470.226, 345.594} {488.724, 377.594} Style stroke HeadArrow 0 TailArrow 0 Tail ID 314 Class LineGraphic Head ID 314 ID 311 Points {446.072, 380.094} {462.788, 345.594} Style stroke HeadArrow 0 TailArrow 0 Tail ID 313 Bounds {{484.27, 377.594}, {17, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0 g 0 r 0 ID 312 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red0\green0\blue0;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 L} Wrap NO Bounds {{426.18, 380.094}, {33, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0 g 0 r 0 ID 313 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red0\green0\blue0;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 ping} Wrap NO Bounds {{452.68, 331.594}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0 g 0 r 0 ID 314 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red0\green0\blue0;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 L:a} Wrap NO Bounds {{389.18, 355.844}, {23, 14}} Class ShapedGraphic ID 315 Shape HorizontalArrow Class LineGraphic Head ID 317 ID 316 Points {256.77, 364.844} {256.77, 400.359} Style stroke HeadArrow 0 TailArrow 0 Tail ID 325 Bounds {{242.27, 400.359}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 317 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:b} Wrap NO Class LineGraphic Head ID 325 ID 318 Points {362.57, 391.594} {314.36, 429.987} {262.358, 364.844} Style stroke Color b 0 g 0 r 1 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 2 Tail ID 322 Class LineGraphic Head ID 325 ID 319 Points {337.978, 331.594} {317.36, 310.344} {265.699, 350.844} Style stroke Color b 0 g 0 r 1 HeadArrow FilledArrow LineType 1 TailArrow 0 Width 2 Tail ID 324 Class LineGraphic Head ID 322 ID 320 Points {348.816, 345.594} {367.314, 377.594} Style stroke Color b 0.501961 g 0 r 0.501961 HeadArrow 0 TailArrow 0 Tail ID 324 Class LineGraphic Head ID 324 ID 321 Points {324.662, 380.094} {341.378, 345.594} Style stroke Color b 0.501961 g 0 r 0.501961 HeadArrow 0 TailArrow 0 Tail ID 323 Bounds {{360.36, 377.594}, {22, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0.501961 g 0 r 0.501961 ID 322 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 L*} Wrap NO Bounds {{304.77, 380.094}, {33, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0.501961 g 0 r 0.501961 ID 323 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 ping} Wrap NO Bounds {{331.27, 331.594}, {27, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0.501961 g 0 r 0.501961 ID 324 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 L:a} Wrap NO Bounds {{239.27, 350.844}, {35, 14}} Class ShapedGraphic FitText YES Flow Resize ID 325 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:?X} Wrap NO ID 302 Class Group Graphics Class Group Graphics Bounds {{20, 253.898}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 430 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 1} Wrap NO Bounds {{48.5, 249.398}, {141, 29}} Class ShapedGraphic FitText YES Flow Resize ID 431 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 collect all open variables\ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \cf0 ciVariables: \f1 [?X ?Y ] } Wrap NO ID 429 Class LineGraphic ID 432 Points {90, 218.345} {90, 235.345} Style stroke HeadArrow FilledArrow HeadScale 0.5 TailArrow 0 Width 2 Class LineGraphic ID 433 Points {165.5, 174.595} {165.5, 191.595} Style stroke HeadArrow FilledArrow HeadScale 0.5 TailArrow 0 Width 2 Bounds {{26.98, 47.3991}, {71, 14}} Class ShapedGraphic FitText YES Flow Resize ID 434 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Oblique;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\i\fs24 \cf0 source tree} Wrap NO Class LineGraphic Head ID 436 ID 435 Points {110.5, 116.5} {110.5, 82} Style stroke HeadArrow 0 TailArrow 0 Tail ID 443 Bounds {{92, 68}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 436 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 S:?Y} Wrap NO Class LineGraphic Head ID 440 ID 437 Points {75, 179} {75, 209.765} Style stroke HeadArrow 0 TailArrow 0 Tail ID 442 Class LineGraphic Head ID 441 ID 438 Points {115.335, 130.5} {139.165, 165} Style stroke HeadArrow 0 TailArrow 0 Tail ID 443 Class LineGraphic Head ID 443 ID 439 Points {80.1237, 165} {105.376, 130.5} Style stroke HeadArrow 0 TailArrow 0 Tail ID 442 Bounds {{56.5, 209.765}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 440 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:?Y} Wrap NO Bounds {{125.5, 165}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 441 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 R:?X} Wrap NO Bounds {{57.5, 165}, {35, 14}} Class ShapedGraphic FitText YES Flow Resize ID 442 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 L:?X} Wrap NO Bounds {{92, 116.5}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 443 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 P:?X} Wrap NO ID 428 Class Group Graphics Class Group Graphics Bounds {{283.04, 249.398}, {205, 29}} Class ShapedGraphic FitText YES Flow Resize ID 446 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;\f1\fmodern\fcharset77 CourierNewPSMT;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\fs24 \cf0 substitute something into the node B\ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\ql\qnatural\pardirnatural \cf0 ciVariables: \f1 [?X b ]} Wrap NO Bounds {{259, 253.398}, {21.25, 20}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 1 g 1 r 1 Font Arial-BoldMS Size 12 ID 447 Shape Circle Style fill Color b 1 g 0 r 0 shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica-Bold;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\b\fs24 \cf1 2} Wrap NO ID 445 Bounds {{346.18, 139.009}, {23, 14}} Class ShapedGraphic ID 448 Shape HorizontalArrow Class LineGraphic Head ID 451 ID 449 Points {416.348, 159.039} {417.012, 131.414} Style stroke HeadArrow 0 TailArrow 0 Tail ID 450 Bounds {{402.18, 159.039}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize ID 450 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 bar} Wrap NO Bounds {{402.68, 117.414}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize ID 451 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:b} Wrap NO Class LineGraphic Head ID 457 ID 452 Points {306.298, 154.039} {307.063, 108.539} Style stroke Color b 1 g 0 r 0 HeadArrow FilledArrow TailArrow 0 Width 2 Tail ID 456 Class LineGraphic ID 453 Points {322.68, 105.759} {322.68, 122.759} Style stroke HeadArrow FilledArrow HeadScale 0.5 TailArrow 0 Width 2 Class LineGraphic Head ID 456 ID 454 Points {306.18, 193.384} {306.18, 168.039} Style stroke Color b 0.501961 g 0 r 0.501961 HeadArrow 0 TailArrow 0 Tail ID 455 Bounds {{292.18, 193.384}, {28, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0.501961 g 0 r 0.501961 ID 455 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 bar} Wrap NO Bounds {{291.68, 154.039}, {29, 14}} Class ShapedGraphic FitText YES Flow Resize FontInfo Color b 0.501961 g 0 r 0.501961 ID 456 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;\red128\green0\blue128;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf2 B:b} Wrap NO Bounds {{288.68, 94.5386}, {37, 14}} Class ShapedGraphic FitText YES Flow Resize ID 457 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Text {\rtf1\mac\ansicpg10000\cocoartf824\cocoasubrtf330 {\fonttbl\f0\fswiss\fcharset77 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural \f0\fs24 \cf0 B:?Y} Wrap NO ID 444 GridInfo GuidesLocked NO GuidesVisible YES HPages 2 ImageCounter 1 IsPalette NO KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo LayoutTarget 3 LinksVisible NO MagnetsVisible NO MasterSheet Master 1 MasterSheets ActiveLayerIndex 0 AutoAdjust CanvasColor w 1 CanvasOrigin {0, 0} CanvasScale 1 ColumnAlign 1 ColumnSpacing 36 DisplayScale 1 cm = 1 cm GraphicsList GridInfo HPages 1 IsPalette NO KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo LayoutTarget 3 Orientation 2 OutlineStyle Basic RowAlign 1 RowSpacing 36 SheetTitle Master 1 UniqueID 1 VPages 1 ModificationDate 2006-04-22 13:18:04 +0200 Modifier Eric Kow NotesVisible NO Orientation 2 OriginVisible NO OutlineStyle Basic PageBreaks YES PrintInfo NSBottomMargin float 0 NSLeftMargin float 0 NSRightMargin float 0 NSTopMargin float 0 ReadOnly NO RowAlign 1 RowSpacing 36 SheetTitle Canvas 1 SmartAlignmentGuidesActive YES SmartDistanceGuidesActive YES UniqueID 1 UseEntirePage VPages 1 WindowInfo CurrentSheet 0 DrawerOpen DrawerTab Outline DrawerWidth 209 FitInWindow Frame {{209, 4}, {1403, 982}} ShowRuler ShowStatusBar VisibleRegion {{-122, -25}, {1388, 868}} Zoom 1