graph: { title: "Divisibility by Seven"

node.shape:rbox
node.roundness:8
node.color:lightgrey
node.height:40
node.width:40
node.label:""

equalydist:yes
splines:yes
xspace:80
xlspace:48

node: { title:"1" shape:circle color:white bordercolor:darkred }
node: { title:"2" }
node: { title:"3" }
node: { title:"4" }
node: { title:"5" }
node: { title:"6" }
node: { title:"7" }

edge.color:red
edge.linestyle:dotted
edge: { source:"1" target:"1" }
edge: { source:"2" target:"5" }
edge: { source:"3" target:"4" }
edge: { source:"4" target:"6" }
edge: { source:"5" target:"3" }
edge: { source:"6" target:"7" }
edge: { source:"7" target:"2" }

edge.color:blue
edge.linestyle:solid
edge: { source:"1" target:"4" }
edge: { source:"2" target:"1" }
edge: { source:"3" target:"2" }
edge: { source:"4" target:"7" }
edge: { source:"5" target:"3" }
edge: { source:"6" target:"5" }
edge: { source:"7" target:"6" }

}