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_58477faa_f1c1_4395_85dc_572128998ba6 [id="id_58477faa_f1c1_4395_85dc_572128998ba6#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_448cc4bb_0656_47d7_b442_5ba7db39a8eb [id="id_448cc4bb_0656_47d7_b442_5ba7db39a8eb#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_92234050_8bf0_43aa_9902_a6974e19afd9 [id="id_92234050_8bf0_43aa_9902_a6974e19afd9#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x1" tooltip="x1: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c0a4915b_4b39_4a7d_8930_d7ad196b867b [id="id_c0a4915b_4b39_4a7d_8930_d7ad196b867b#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x1" tooltip="x1" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fb4979f5_8e8e_4a4d_b25f_6d399dd238b9 [id="id_fb4979f5_8e8e_4a4d_b25f_6d399dd238b9#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_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8#While" pos="0.0,9995.3125!" height=0.5 width=1.27 fixedsize=true group="fun-main" 
    label="x <= x1" tooltip="x <= x1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_f5d31b33_883e_4817_ab76_ec83c4ac44ca [id="id_f5d31b33_883e_4817_ab76_ec83c4ac44ca#Output" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_066a960e_3782_40df_a6de_873552f9ff7c"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7dad8264_3a5c_485c_857a_16e0fd20471c [id="id_7dad8264_3a5c_485c_857a_16e0fd20471c#Assign" pos="1.25,9993.4375!" height=0.4 width=1.19 fixedsize=true group="id_066a960e_3782_40df_a6de_873552f9ff7c"    label="x = x + 1" tooltip="x = x + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="1.25,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="-1.25,9992.5!" shape=point width=0]
  end_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_d1c6eac0_d26b_4ae2_b1c2_2a589809eec6 [id="id_d1c6eac0_d26b_4ae2_b1c2_2a589809eec6#Return" pos="0.0,9991.5625!" 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_58477faa_f1c1_4395_85dc_572128998ba6:s -> id_448cc4bb_0656_47d7_b442_5ba7db39a8eb:n [id="id_58477faa_f1c1_4395_85dc_572128998ba6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_448cc4bb_0656_47d7_b442_5ba7db39a8eb:s -> id_92234050_8bf0_43aa_9902_a6974e19afd9:n [id="id_448cc4bb_0656_47d7_b442_5ba7db39a8eb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_92234050_8bf0_43aa_9902_a6974e19afd9:s -> id_c0a4915b_4b39_4a7d_8930_d7ad196b867b:n [id="id_92234050_8bf0_43aa_9902_a6974e19afd9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c0a4915b_4b39_4a7d_8930_d7ad196b867b:s -> id_fb4979f5_8e8e_4a4d_b25f_6d399dd238b9:n [id="id_c0a4915b_4b39_4a7d_8930_d7ad196b867b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_fb4979f5_8e8e_4a4d_b25f_6d399dd238b9:s -> id_77ed2572_6096_40d9_9edf_925c19c4a1d8:n [id="id_fb4979f5_8e8e_4a4d_b25f_6d399dd238b9@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_77ed2572_6096_40d9_9edf_925c19c4a1d8:e -> true_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> id_f5d31b33_883e_4817_ab76_ec83c4ac44ca:n [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" "]
  
  id_f5d31b33_883e_4817_ab76_ec83c4ac44ca:s -> id_7dad8264_3a5c_485c_857a_16e0fd20471c:n [id="id_f5d31b33_883e_4817_ab76_ec83c4ac44ca@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" "]
  id_7dad8264_3a5c_485c_857a_16e0fd20471c:s -> true_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8:n [id="id_7dad8264_3a5c_485c_857a_16e0fd20471c@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> true_dummy_down_left_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_7dad8264_3a5c_485c_857a_16e0fd20471c@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> id_77ed2572_6096_40d9_9edf_925c19c4a1d8:s [id="id_7dad8264_3a5c_485c_857a_16e0fd20471c@id_066a960e_3782_40df_a6de_873552f9ff7c" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_77ed2572_6096_40d9_9edf_925c19c4a1d8:w -> false_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> false_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> end_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_77ed2572_6096_40d9_9edf_925c19c4a1d8 -> id_d1c6eac0_d26b_4ae2_b1c2_2a589809eec6 [id="id_77ed2572_6096_40d9_9edf_925c19c4a1d8@fun-main" tailtooltip=" " edgetooltip=" "]
  

}