ActiveLayerIndex 0 AutoAdjust CanvasColor w 1 CanvasOrigin {0, 0} CanvasScale 1 ColumnAlign 1 ColumnSpacing 36 CreationDate 2006-02-23 15:01:55 +0100 Creator Eric Kow DisplayScale 1 cm = 1 cm GraphDocumentVersion 5 GraphicsList Class LineGraphic Head ID 24 ID 61 Points {300.293, 44.3152} {337.175, 135.604} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 25 Class LineGraphic Head ID 23 ID 60 Points {277.458, 40.3353} {147.04, 84.5986} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 25 Class LineGraphic Head ID 15 ID 59 Points {334.25, 156.211} {267.664, 251.635} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 24 Class LineGraphic Head ID 19 ID 58 Points {341.328, 156.5} {341.172, 191.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 24 Class LineGraphic Head ID 21 ID 57 Points {361.354, 154.428} {452.01, 192.671} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 24 Class LineGraphic Head ID 22 ID 56 Points {140.003, 99.1857} {175.491, 135.903} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 23 Class LineGraphic Head ID 20 ID 55 Points {122.278, 99.1955} {86.7932, 136.08} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 23 Class LineGraphic Head ID 18 ID 54 Points {166.076, 155.129} {86.7396, 192.9} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 22 Class LineGraphic Head ID 16 ID 53 Points {185.367, 156.5} {185.758, 191.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 22 Class LineGraphic Head ID 21 ID 52 Points {217.96, 152.341} {436.626, 194.731} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 22 Class LineGraphic Head ID 13 ID 51 Points {464.288, 212.2} {351.53, 329.118} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 21 Class LineGraphic Head ID 16 ID 50 Points {94.1787, 154.727} {167.825, 192.695} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 20 Class LineGraphic Head ID 19 ID 49 Points {103.787, 151.632} {308.822, 195.145} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 20 Class LineGraphic Head ID 18 ID 48 Points {75.4491, 156.478} {69.4269, 191.516} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 20 Class LineGraphic Head ID 13 ID 47 Points {341.192, 212.5} {341.933, 328.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 19 Class LineGraphic Head ID 17 ID 46 Points {67.8222, 212.5} {71.0528, 384.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 18 Class LineGraphic Head ID 15 ID 45 Points {90.7469, 210.475} {232.9, 262.582} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 18 Class LineGraphic Head ID 9 ID 44 Points {87.0833, 404.309} {152.499, 442.768} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 17 Class LineGraphic Head ID 6 ID 43 Points {71.3672, 405.5} {71.7578, 440.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 17 Class LineGraphic Head ID 15 ID 42 Points {195.974, 212.08} {238.222, 254.251} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 16 Class LineGraphic Head ID 13 ID 41 Points {272.612, 284.679} {329.85, 329.489} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 15 Class LineGraphic Head ID 14 ID 40 Points {236.358, 284.642} {179.371, 329.064} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 15 Class LineGraphic Head ID 9 ID 39 Points {166.613, 349.5} {166.512, 440.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 14 Class LineGraphic Head ID 12 ID 38 Points {359.82, 347.368} {441.128, 385.55} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic Head ID 10 ID 37 Points {342.164, 349.5} {342.711, 384.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic Head ID 3 ID 36 Points {325.863, 347.763} {255.794, 385.813} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 13 Class LineGraphic Head ID 11 ID 35 Points {461.227, 405.5} {461.148, 440.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 12 Class LineGraphic Head ID 8 ID 34 Points {425.395, 457.905} {197.418, 501.967} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 11 Class LineGraphic Head ID 2 ID 33 Points {341.237, 405.482} {335.764, 440.513} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 10 Class LineGraphic Head ID 6 ID 32 Points {315.761, 400.603} {101.698, 444.837} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 10 Class LineGraphic Head ID 9 ID 31 Points {319.995, 402.265} {185.287, 445.035} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 10 Class LineGraphic Head ID 8 ID 30 Points {167.413, 461.491} {170.461, 496.506} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 9 Class LineGraphic Head ID 7 ID 29 Points {174.264, 517.438} {183.979, 552.535} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 8 Class LineGraphic Head ID 4 ID 28 Points {155.648, 515.785} {87.3147, 553.956} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 8 Class LineGraphic Head ID 5 ID 27 Points {71.7109, 461.5} {71.1641, 496.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 6 Class LineGraphic Head ID 4 ID 26 Points {71.0234, 517.5} {71.1016, 552.5} Style stroke HeadArrow FilledArrow LineType 1 TailArrow 0 Tail ID 5 Bounds {{273, 24}, {46.25, 20}} Class ShapedGraphic ID 25 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Main} Bounds {{307, 136}, {68.75, 20}} Class ShapedGraphic ID 24 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Console} Bounds {{113, 80}, {36.25, 20}} Class ShapedGraphic ID 23 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Gui} Bounds {{144, 136}, {82.5, 20}} Class ShapedGraphic ID 22 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 SimpleGui} Bounds {{421, 192}, {106.25, 20}} Class ShapedGraphic ID 21 Shape Circle Style fill Color b 0.4 g 1 r 1 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 SimpleBuilder} Bounds {{46, 136}, {62.5, 20}} Class ShapedGraphic ID 20 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 CkyGui} Bounds {{298, 192}, {86.25, 20}} Class ShapedGraphic ID 19 Shape Circle Style fill Color b 0.4 g 1 r 1 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 CkyBuilder} Bounds {{27, 192}, {81.25, 20}} Class ShapedGraphic ID 18 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 GuiHelper} Bounds {{35, 385}, {72.5, 20}} Class ShapedGraphic ID 17 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Treeprint} Bounds {{144, 192}, {83.75, 20}} Class ShapedGraphic ID 16 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 BuilderGui} Bounds {{232, 248}, {45, 45}} Class ShapedGraphic ID 15 Shape Circle Style fill Color b 0.4 g 1 r 1 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Geni} Bounds {{121, 329}, {91.25, 20}} Class ShapedGraphic ID 14 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Morphology} Bounds {{312, 329}, {60, 20}} Class ShapedGraphic ID 13 Shape Circle Style fill Color b 0.4 g 1 r 1 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Builder} Bounds {{410, 385}, {102.5, 20}} Class ShapedGraphic ID 12 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Configuration} Bounds {{413, 441}, {96.25, 20}} Class ShapedGraphic ID 11 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 GeniParsers} Bounds {{311, 385}, {63.75, 20}} Class ShapedGraphic ID 10 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Polarity} Bounds {{144, 441}, {45, 20}} Class ShapedGraphic ID 9 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Tags} Bounds {{142, 497}, {58.75, 20}} Class ShapedGraphic ID 8 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Btypes} Bounds {{140, 553}, {93.75, 20}} Class ShapedGraphic ID 7 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 QuickCheck} Bounds {{35, 441}, {73.75, 20}} Class ShapedGraphic ID 6 Shape Circle Style fill Color b 0.8 g 0.8 r 0.8 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Graphviz} Bounds {{36, 497}, {70, 20}} Class ShapedGraphic ID 5 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 SysGeni} Bounds {{38, 553}, {66.25, 20}} Class ShapedGraphic ID 4 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 General} Bounds {{202, 385}, {73.75, 20}} Class ShapedGraphic ID 3 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Statistics} Bounds {{291, 441}, {86.25, 20}} Class ShapedGraphic ID 2 Shape Circle 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\ql\qnatural\pardirnatural \f0\fs24 \cf0 Automaton} GridInfo GuidesLocked NO GuidesVisible YES HPages 1 ImageCounter 1 IsPalette NO KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo ChildOrdering 0 LayoutTarget 0 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-02-23 15:09:06 +0100 Modifier Eric Kow NotesVisible NO Orientation 2 OriginVisible NO OutlineStyle Basic PageBreaks NO 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 {{385, 49}, {716, 930}} ShowRuler ShowStatusBar VisibleRegion {{-64, 0}, {701, 816}} Zoom 1