digraph {
  bgcolor="transparent"

  node [penwidth=0.5 fontsize="12" shape="box" style="filled" fontcolor="white" fontname="Courier New"]
  edge [penwidth=2 fontsize="10" color="#0A1931" arrowsize=0.8 fontname="Courier New"]

#########
# NODES #
#########
  id_819b5287_61be_4a1f_a26b_39acb77c4e97 [id="id_819b5287_61be_4a1f_a26b_39acb77c4e97#Begin" pos="0.0,10000.0!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Begin" tooltip="Begin" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 
  id_4a98bad5_9458_40a8_8f31_44fb17861e88 [id="id_4a98bad5_9458_40a8_8f31_44fb17861e88#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5e78bd01_a0fd_4546_b45c_040d07c08a2e [id="id_5e78bd01_a0fd_4546_b45c_040d07c08a2e#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="r" tooltip="r: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6789c887_5128_4fa7_b22a_4b12dff2d0ea [id="id_6789c887_5128_4fa7_b22a_4b12dff2d0ea#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3f70bb57_b4e7_41e0_8329_9a02222fe426 [id="id_3f70bb57_b4e7_41e0_8329_9a02222fe426#Assign" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 1" tooltip="x = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b97150b0_d016_41dc_b42f_db62b08db6bc [id="id_b97150b0_d016_41dc_b42f_db62b08db6bc#Assign" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y = 5" tooltip="y = 5" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f60c0590_0567_46af_b4bc_ad55440af0e8 [id="id_f60c0590_0567_46af_b4bc_ad55440af0e8#Assign" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="r = 5" tooltip="r = 5" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd#While" pos="0.0,9993.4375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x<11" tooltip="x<11" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_e10e106d_023c_49a7_af5d_c5738ac43657 [id="id_e10e106d_023c_49a7_af5d_c5738ac43657#Output" pos="2.5,9992.5!" height=0.4 width=2.62 fixedsize=true group="id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0"    label="\"\"+x+\"x\"+y+\"=\"+r" tooltip="\"\"+x+\"x\"+y+\"=\"+r" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f805c56d_2e48_4ad8_84c7_d38f1899cb6a [id="id_f805c56d_2e48_4ad8_84c7_d38f1899cb6a#Assign" pos="2.5,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0"    label="y = y" tooltip="y = y" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_7465c1c3_6d0b_49fc_98e7_838f0944368b [id="id_7465c1c3_6d0b_49fc_98e7_838f0944368b#Assign" pos="2.5,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f4e91913_acf0_4aae_b8bc_9bcaf674768d [id="id_f4e91913_acf0_4aae_b8bc_9bcaf674768d#Assign" pos="2.5,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0"    label="r = r+5" tooltip="r = r+5" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="2.5,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_5eff3750_9ceb_445f_b686_52734ef78888 [id="id_5eff3750_9ceb_445f_b686_52734ef78888#Output" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="\"fim\"" tooltip="\"fim\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0103c432_792c_45f4_affd_fd5c40dea6e3 [id="id_0103c432_792c_45f4_affd_fd5c40dea6e3#Return" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="End" tooltip="End" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 

#########
# EDGES #
#########
  id_819b5287_61be_4a1f_a26b_39acb77c4e97:s -> id_4a98bad5_9458_40a8_8f31_44fb17861e88:n [id="id_819b5287_61be_4a1f_a26b_39acb77c4e97@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4a98bad5_9458_40a8_8f31_44fb17861e88:s -> id_5e78bd01_a0fd_4546_b45c_040d07c08a2e:n [id="id_4a98bad5_9458_40a8_8f31_44fb17861e88@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5e78bd01_a0fd_4546_b45c_040d07c08a2e:s -> id_6789c887_5128_4fa7_b22a_4b12dff2d0ea:n [id="id_5e78bd01_a0fd_4546_b45c_040d07c08a2e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6789c887_5128_4fa7_b22a_4b12dff2d0ea:s -> id_3f70bb57_b4e7_41e0_8329_9a02222fe426:n [id="id_6789c887_5128_4fa7_b22a_4b12dff2d0ea@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3f70bb57_b4e7_41e0_8329_9a02222fe426:s -> id_b97150b0_d016_41dc_b42f_db62b08db6bc:n [id="id_3f70bb57_b4e7_41e0_8329_9a02222fe426@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b97150b0_d016_41dc_b42f_db62b08db6bc:s -> id_f60c0590_0567_46af_b4bc_ad55440af0e8:n [id="id_b97150b0_d016_41dc_b42f_db62b08db6bc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f60c0590_0567_46af_b4bc_ad55440af0e8:s -> id_2ef39543_e9eb_47f7_8062_b13a300951bd:n [id="id_f60c0590_0567_46af_b4bc_ad55440af0e8@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_2ef39543_e9eb_47f7_8062_b13a300951bd:e -> true_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> id_e10e106d_023c_49a7_af5d_c5738ac43657:n [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" "]
  
  id_e10e106d_023c_49a7_af5d_c5738ac43657:s -> id_f805c56d_2e48_4ad8_84c7_d38f1899cb6a:n [id="id_e10e106d_023c_49a7_af5d_c5738ac43657@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" "]
  id_f805c56d_2e48_4ad8_84c7_d38f1899cb6a:s -> id_7465c1c3_6d0b_49fc_98e7_838f0944368b:n [id="id_f805c56d_2e48_4ad8_84c7_d38f1899cb6a@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" "]
  id_7465c1c3_6d0b_49fc_98e7_838f0944368b:s -> id_f4e91913_acf0_4aae_b8bc_9bcaf674768d:n [id="id_7465c1c3_6d0b_49fc_98e7_838f0944368b@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" "]
  id_f4e91913_acf0_4aae_b8bc_9bcaf674768d:s -> true_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd:n [id="id_f4e91913_acf0_4aae_b8bc_9bcaf674768d@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> true_dummy_down_left_id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_f4e91913_acf0_4aae_b8bc_9bcaf674768d@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> id_2ef39543_e9eb_47f7_8062_b13a300951bd:s [id="id_f4e91913_acf0_4aae_b8bc_9bcaf674768d@id_bbfcb8ae_052a_4cd0_9d3c_f12dafbbbdc0" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_2ef39543_e9eb_47f7_8062_b13a300951bd:w -> false_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> false_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> end_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_2ef39543_e9eb_47f7_8062_b13a300951bd -> id_5eff3750_9ceb_445f_b686_52734ef78888 [id="id_2ef39543_e9eb_47f7_8062_b13a300951bd@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_5eff3750_9ceb_445f_b686_52734ef78888:s -> id_0103c432_792c_45f4_affd_fd5c40dea6e3:n [id="id_5eff3750_9ceb_445f_b686_52734ef78888@fun-main" tailtooltip=" " edgetooltip=" "]

}