digraph dot_graph {
 graph [label="C4.t.byte.graph"];
 2[label="0  iload_0", shape=box,
   style="filled", fillcolor="#8080ff",
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 3[label="1  tableswitch", shape=hexagon,
   style="filled", fillcolor="#decd87", 
   fixedsize=true, fontsize=12, 
   width=1.17, height=0.36 ];
 4[label="24  getstatic", shape=parallelogram,
   style="filled", fillcolor="#ff3c3c", 
   fixedsize=true, fontsize=12, 
   width=1.15, height=0.36 ];
 5[label="27  iconst_1", shape=box, 
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 6[label="28  iadd", shape=box,
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 7[label="29  putstatic", shape=box,
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 8[label="32  goto", shape=box,
   style="filled", fillcolor="#80ffff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 9[label="35  iload_0", shape=box,
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 10[label="36  bipush", shape=box,
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 11[label="38  if_icmple", shape=diamond,
   style="filled", fillcolor="#80ff80", 
   fixedsize=true, fontsize=12, 
   width=1.24, height=0.43 ];
 12[label="41  iinc", shape=box,
   style="filled", fillcolor="#8080ff", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 13[label="44  return", shape=invhouse,
   style="filled", fillcolor="#ffb380", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 14[label="START", shape=box,
   style="rounded,filled", fillcolor="#e6e6e6", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 15[label="EXIT", shape=box,
   style="rounded,filled", fillcolor="#e6e6e6", 
   fixedsize=true, fontsize=12, 
   width=0.85, height=0.36 ];
 14 -> 2 [label="", style=dashed ];
 2 -> 3 [label="", style=solid ];
 3 -> 4 [label="0", style=solid ];
 4 -> 5 [label="", style=solid ];
 5 -> 6 [label="", style=solid ];
 6 -> 7 [label="", style=solid ];
 7 -> 8 [label="", style=solid ];
 3 -> 9 [label="1", style=solid ];
 9 -> 10 [label="", style=solid ];
 10 -> 11 [label="", style=solid ];
 11 -> 12 [label="true", style=solid ];
 3 -> 13 [label="default", style=solid ];
 8 -> 13 [label="", style=solid ];
 11 -> 13 [label="false", style=solid ];
 12 -> 13 [label="", style=solid ];
 13 -> 15 [label="", style=dashed ];
}