3 # Output a PS file with a legend for the node state colors
9 node0 [label="INVALID",style=filled,fillcolor="0.5,0.2,0.5"]
10 node1 [label="UNRESOLVED",style=filled,fillcolor="0.0,1.0,1.0"]
11 node2 [label="RESOLVED",style=filled,fillcolor="0.17328679513998632735430803036454,1.0,1.0"]
12 node4 [label="ACTIVE",style=filled,fillcolor="0.34657359027997265470861606072909,1.0,1.0"]
13 node8 [label="FROZEN",style=filled,fillcolor="0.51986038541995898206292409109363,1.0,1.0"]
14 node16 [label="ENDED",style=filled,fillcolor="0.69314718055994530941723212145818,1.0,1.0"]