digraph "Scop Graph for 'main' function" {
	label="Scop Graph for 'main' function";

	Node0x24deb60 [shape=record,label="{%0}"];
	Node0x24deb60 -> Node0x24deaa0;
	Node0x24deaa0 [shape=record,label="{%1}"];
	Node0x24deaa0 -> Node0x24e12a0;
	Node0x24deaa0 -> Node0x24e0e30;
	Node0x24e12a0 [shape=record,label="{%2}"];
	Node0x24e12a0 -> Node0x24e0e00;
	Node0x24e0e00 [shape=record,label="{%3}"];
	Node0x24e0e00 -> Node0x24e1410;
	Node0x24e0e00 -> Node0x24e1470;
	Node0x24e1410 [shape=record,label="{%4}"];
	Node0x24e1410 -> Node0x24e1380;
	Node0x24e1380 [shape=record,label="{%5}"];
	Node0x24e1380 -> Node0x24deaf0;
	Node0x24e1380 -> Node0x24e1620;
	Node0x24deaf0 [shape=record,label="{%6}"];
	Node0x24deaf0 -> Node0x24e1680;
	Node0x24e1680 [shape=record,label="{%12}"];
	Node0x24e1680 -> Node0x24e1380[constraint=false];
	Node0x24e1620 [shape=record,label="{%13}"];
	Node0x24e1620 -> Node0x24e16e0;
	Node0x24e16e0 [shape=record,label="{%14}"];
	Node0x24e16e0 -> Node0x24e0e00[constraint=false];
	Node0x24e1470 [shape=record,label="{%15}"];
	Node0x24e1470 -> Node0x24e01a0;
	Node0x24e01a0 [shape=record,label="{%16}"];
	Node0x24e01a0 -> Node0x24deaa0[constraint=false];
	Node0x24e0e30 [shape=record,label="{%17}"];
	colorscheme = "paired12"
        subgraph cluster_0x24dfc10 {
          label = "";
          style = solid;
          color = 1
          subgraph cluster_0x24de570 {
            label = "";
            style = filled;
            color = 3            subgraph cluster_0x24de7a0 {
              label = "";
              style = solid;
              color = 5
              subgraph cluster_0x24de720 {
                label = "";
                style = solid;
                color = 7
                Node0x24e1380;
                Node0x24deaf0;
                Node0x24e1680;
              }
              Node0x24e0e00;
              Node0x24e1410;
              Node0x24e1620;
              Node0x24e16e0;
            }
            Node0x24deaa0;
            Node0x24e12a0;
            Node0x24e1470;
            Node0x24e01a0;
          }
          Node0x24deb60;
          Node0x24e0e30;
        }
}