"type","value"
strict , "no"
digraph , "yes"
graph_id , "states"
start_scope , "1"
class_id , "graph"
start_attribute , "["
attribute_id , "size"
attribute_value , "3,2"
end_attribute , "]"
class_id , "graph"
start_attribute , "["
attribute_id , "rankdir"
attribute_value , "LR"
end_attribute , "]"
class_id , "node"
start_attribute , "["
attribute_id , "shape"
attribute_value , "ellipse"
end_attribute , "]"
node_id , "empty"
start_attribute , "["
attribute_id , "label"
attribute_value , "Empty"
end_attribute , "]"
node_id , "stolen"
start_attribute , "["
attribute_id , "label"
attribute_value , "Stolen"
end_attribute , "]"
node_id , "waiting"
start_attribute , "["
attribute_id , "label"
attribute_value , "Waiting"
end_attribute , "]"
node_id , "full"
start_attribute , "["
attribute_id , "label"
attribute_value , "Full"
end_attribute , "]"
node_id , "empty"
edge_id , "->"
node_id , "full"
start_attribute , "["
attribute_id , "label"
attribute_value , "return"
end_attribute , "]"
node_id , "empty"
edge_id , "->"
node_id , "stolen"
start_attribute , "["
attribute_id , "label"
attribute_value , "dispatch"
attribute_id , "wt"
attribute_value , "28"
end_attribute , "]"
node_id , "stolen"
edge_id , "->"
node_id , "full"
start_attribute , "["
attribute_id , "label"
attribute_value , "return"
end_attribute , "]"
node_id , "stolen"
edge_id , "->"
node_id , "waiting"
start_attribute , "["
attribute_id , "label"
attribute_value , "touch"
end_attribute , "]"
node_id , "waiting"
edge_id , "->"
node_id , "full"
start_attribute , "["
attribute_id , "label"
attribute_value , "return"
end_attribute , "]"
end_scope , "1"