digraph cfg {
52495872[shape = box, label = "0x3210600\n"];
52495872 -> 51440544[label = "0"];
52495168[shape = box, label = "0x3210340\n"];
52495168 -> 52495520[label = "0"];
51441248[shape = box, label = "0x310ee60\n"];
51441248 -> 51440544[label = "0"];
51441248 -> 52495168[label = "1"];
51440896[shape = box, label = "0x310ed00\n"];
51440896 -> 51441248[label = "0"];
52207088[shape = box, label = "0x31c9df0\n"];
52207088 -> 51446240[label = "0"];
51440544[shape = box, label = "0x310eba0\n"];
51440544 -> 52496800[label = "0"];
52496800[shape = box, label = "0x32109a0\n"];
52496800 -> 52207088[label = "0"];
51439904[shape = box, label = "0x310e920\n"];
51439904 -> 51440896[label = "0"];
52886912[shape = box, label = "ENTER"];
52886912 -> 51973232[label = "0"];
51446240[shape = box, label = "EXIT"];
51530544[shape = box, label = "0x3124b30\n"];
51530544 -> 53230704[label = "0"];
53230704[shape = box, label = "0x32c3c70\n"];
53230704 -> 53231152[label = "0"];
51973232[shape = box, label = "0x3190c70\n"];
51973232 -> 53229248[label = "0"];
53229472[shape = box, label = "0x32c37a0\n"];
53229472 -> 51451664[label = "0"];
53229472 -> 51530544[label = "1"];
51451664[shape = box, label = "0x3111710\n"];
51451664 -> 51439904[label = "0"];
53229248[shape = box, label = "0x32c36c0\n"];
53229248 -> 53229472[label = "0"];
52495520[shape = box, label = "0x32104a0\n"];
52495520 -> 52495872[label = "0"];
53231152[shape = box, label = "0x32c3e30\n"];
53231152 -> 51441904[label = "0"];
51441904[shape = box, label = "0x310f0f0\n"];
51441904 -> 51451664[label = "0"];
}