digraph cfg {
51232624[shape = box, label = "0x30dbf70\n"];
51232624 -> 51047376[label = "0"];
51231536[shape = box, label = "0x30dbb30\n"];
51231536 -> 50803008[label = "0"];
51230448[shape = box, label = "0x30db6f0\n"];
51230448 -> 50863904[label = "0"];
51229744[shape = box, label = "0x30db430\n"];
51229744 -> 52857568[label = "0"];
50803008[shape = box, label = "0x3073140\n"];
50803008 -> 50856912[label = "0"];
51232080[shape = box, label = "0x30dbd50\n"];
51232080 -> 52892496[label = "0"];
52892496[shape = box, label = "0x3271350\n"];
52892496 -> 50856912[label = "0"];
51947616[shape = box, label = "0x318a860\n"];
51947616 -> 50856912[label = "0"];
51047376[shape = box, label = "0x30aebd0\n"];
51047376 -> 50856912[label = "0"];
51230992[shape = box, label = "0x30db910\n"];
51230992 -> 51947616[label = "0"];
52857568[shape = box, label = "0x3268ae0\n"];
52857568 -> 50856912[label = "0"];
50875232[shape = box, label = "0x3084b60\n"];
50875232 -> 50864992[label = "0"];
50863088[shape = box, label = "0x3081bf0\n"];
50863088 -> 50856912[label = "0"];
50856912[shape = box, label = "EXIT"];
51135376[shape = box, label = "0x30c4390\n"];
51135376 -> 51232624[label = "10"];
51135376 -> 51896912[label = "0"];
51135376 -> 51897360[label = "1"];
51135376 -> 51232080[label = "9"];
51135376 -> 51897904[label = "2"];
51135376 -> 51231536[label = "8"];
51135376 -> 51229744[label = "5"];
51135376 -> 51898448[label = "3"];
51135376 -> 51898992[label = "4"];
51135376 -> 51230448[label = "6"];
51135376 -> 51230992[label = "7"];
51897904[shape = box, label = "0x317e630\n"];
51897904 -> 50862560[label = "0"];
50863904[shape = box, label = "0x3081f20\n"];
50863904 -> 50856912[label = "0"];
50862064[shape = box, label = "0x30817f0\n"];
50862064 -> 50856912[label = "0"];
51327360[shape = box, label = "ENTER"];
51327360 -> 50875232[label = "0"];
50862560[shape = box, label = "0x30819e0\n"];
50862560 -> 50856912[label = "0"];
52857920[shape = box, label = "0x3268c40\n"];
52857920 -> 50856912[label = "0"];
50863616[shape = box, label = "0x3081e00\n"];
50863616 -> 50856912[label = "0"];
51896912[shape = box, label = "0x317e250\n"];
51896912 -> 50863616[label = "0"];
50880656[shape = box, label = "0x3086090\n"];
50880656 -> 50856912[label = "0"];
51897360[shape = box, label = "0x317e410\n"];
51897360 -> 50863088[label = "0"];
51898448[shape = box, label = "0x317e850\n"];
51898448 -> 50862064[label = "0"];
50864992[shape = box, label = "0x3082360\n"];
50864992 -> 51135376[label = "0"];
51898992[shape = box, label = "0x317ea70\n"];
51898992 -> 52857920[label = "0"];
}