graph: {title: "graph layout algorithms"
        layoutalgorithm :  minindegree
        finetuning      :  yes
             scaling    :   2.0
             yspace     :  50       //=================================
        node.textcolor  :   0       //   aiSee -- Graph Visualization  
        node.borderwidth:   0       //       http://www.aisee.com      
        node.fontname   : "helvB18" //     © Copyright 2000 - 2002     
        node.shape      :  circle   //AbsInt Angewandte Informatik GmbH
        node.width      :  30       //         aisee@absint.com        
        node.height     :  30       //=================================
        edge.arrowsize  :   8
        edge.color      :  43
             arrowmode  :  free
             splines    :  yes

        colorentry 1    :   0   0 120    colorentry 7  : 160  51 170
        colorentry 2    : 255   0   0    colorentry 8  :  32  42 219
        colorentry 3    : 232 126  27    colorentry 9  : 229  45 113
        colorentry 4    :  41 199 216    colorentry 10 :  39 229  99
        colorentry 5    :  48 155 155    colorentry 42 : 186   7   7
        colorentry 6    :  55 142  51    colorentry 43 : 100   0   0
node: { title           : "S"
        label           : "Start"
        color           :  42
        width           : 100
        shape           :  box
        borderwidth     :   5
        borderstyle     :  dotted
        bordercolor     :  42}

node: {title: "1"  color: 1}   node: {title: "6"  color:  6}
node: {title: "2"  color: 2}   node: {title: "7"  color:  7}
node: {title: "3"  color: 3}   node: {title: "8"  color:  8}
node: {title: "4"  color: 4}   node: {title: "9"  color:  9}
node: {title: "5"  color: 5}   node: {title: "0"  color: 10}

edge: {source: "S"  target: "1"}
edge: {source: "S"  target: "2"}
edge: {source: "S"  target: "3"}
edge: {source: "S"  target: "4"}
edge: {source: "S"  target: "5"}
edge: {source: "S"  target: "6"}
edge: {source: "S"  target: "9"}

edge: {source: "1"  target: "3"  color: 1}
edge: {source: "2"  target: "4"  color: 2}
edge: {source: "3"  target: "5"  color: 3}
edge: {source: "6"  target: "7"  color: 6}
edge: {source: "7"  target: "8"  color: 7}
edge: {source: "8"  target: "S"  color: 8}
edge: {source: "5"  target: "0"  color: 5}
edge: {source: "9"  target: "0"  color: 9}

}