digraph my_DOT{
	 node [shape=record]
		ID0 [label="dijkstra",shape = Msquare ,style=filled, fillcolor="#AAAAAA"]
		ID1 [label="FOR #104",shape = doubleoctagon]
		ID2 [label="{ ExprStmt #106}"]
		ID3 [label="{ ExprStmt #107}"]
		ID4 [label="<then> then | <if> IF #110|<else> else",shape = Mrecord]
		ID5 [label="{ ExprStmt #112}"]
		ID6 [label="{ ExprStmt #116}"]
		ID7 [label="{ ExprStmt #117}"]
		ID8 [label=<<table border="0"><TR><TD BGCOLOR="#AAAAAA">enqueue</TD></TR></table>>,shape = Mrecord]
		ID9 [label="WHILE #121",shape = doubleoctagon]
		ID10 [label=<<table border="0"><TR><TD BGCOLOR="#AAAAAA">dequeue</TD></TR></table>>,shape = Mrecord]
		ID11 [label="FOR #124",shape = doubleoctagon]
		ID12 [label="<then> then | <if> IF #126|<else> else",shape = Mrecord]
		ID13 [label="<then> then | <if> IF #128|<else> else",shape = Mrecord]
		ID14 [label="{ ExprStmt #131}"]
		ID15 [label="{ ExprStmt #132}"]
		ID16 [label=<<table border="0"><TR><TD BGCOLOR="#AAAAAA">enqueue</TD></TR></table>>,shape = Mrecord]
		ID17 [label="{ ExprStmt #139}"]
		ID18 [label="{ ExprStmt #140}"]
		ID19 [label=<<table border="0"><TR><TD BGCOLOR="#AAAAAA">print_path</TD></TR></table>>,shape = Mrecord]
		ID20 [label="{ ExprStmt #142}"]

		ID0->ID1
		ID1->ID2
		ID2->ID3
		ID3->ID1
		ID1->ID4
		ID4:then->ID5
		ID5->ID4:then
		ID6->ID7
		ID7->ID8
		ID8->ID9
		ID9->ID10
		ID10->ID11
		ID11->ID12
		ID14->ID15
		ID15->ID16
		ID13:then->ID14
		ID16->ID13:then
		ID12:then->ID13
		ID13->ID12:then
		ID12->ID11
		ID11->ID9
		ID9->ID17
		ID17->ID18
		ID18->ID19
		ID19->ID20
		ID4:else->ID6
		ID20->ID4:else



subgraph cluster_0{
ID0 
subgraph cluster_1{
ID1 ID2 ID3 
}
ID4 ID5 ID6 ID7 ID8 
subgraph cluster_2{
ID9 ID10 
subgraph cluster_3{
ID11 ID12 ID13 ID14 ID15 ID16 
}

}
ID17 ID18 ID19 ID20 
}

}
