digraph G { N3 -> N2 N2 -> N1 N1 [ label="a", shape="box", xlabel="n=1000"] N2 [ label="factorial", shape="parallelogram", xlabel="n=1000"] N3 [ label="[ (subset)", shape="parallelogram", xlabel="n=10"] }