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_3bc3ed46_65ad_4719_882b_92c7d5418598 [id="id_3bc3ed46_65ad_4719_882b_92c7d5418598#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_681cc2c3_4442_4332_8439_0bd895b9469d [id="id_681cc2c3_4442_4332_8439_0bd895b9469d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 1" tooltip="x: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_db72eadd_6eaf_410a_b135_5475c328e3cc [id="id_db72eadd_6eaf_410a_b135_5475c328e3cc#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t = 0" tooltip="t: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911#While" pos="0.0,9997.1875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="11>x" tooltip="11>x" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_51091b62_50c2_41b9_8e84_150dc2d3d1bf [id="id_51091b62_50c2_41b9_8e84_150dc2d3d1bf#Assign" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_8dfd3dda_bf16_4916_b56e_8dd8099450ce"    label="t = t+x" tooltip="t = t+x" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_748bf1d0_997d_4a46_a6a4_a6e40a37d122 [id="id_748bf1d0_997d_4a46_a6a4_a6e40a37d122#Output" pos="1.25,9995.3125!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_8dfd3dda_bf16_4916_b56e_8dd8099450ce"    label="\"\"+ x + \"-\"" tooltip="\"\"+ x + \"-\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8c6b0a46_b52a_44ca_b74f_354119884029 [id="id_8c6b0a46_b52a_44ca_b74f_354119884029#Assign" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_8dfd3dda_bf16_4916_b56e_8dd8099450ce"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="1.25,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_bfd000e0_d3fd_4ac2_9c22_f6c6794e40cb [id="id_bfd000e0_d3fd_4ac2_9c22_f6c6794e40cb#Output" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="\"\"" tooltip="\"\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_00584688_bb05_4c30_ab8f_ee5a1d13cad9 [id="id_00584688_bb05_4c30_ab8f_ee5a1d13cad9#Output" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t" tooltip="t" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0bad7df7_c8f0_43da_80ac_112660ec13b6 [id="id_0bad7df7_c8f0_43da_80ac_112660ec13b6#Return" pos="0.0,9990.625!" 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_3bc3ed46_65ad_4719_882b_92c7d5418598:s -> id_681cc2c3_4442_4332_8439_0bd895b9469d:n [id="id_3bc3ed46_65ad_4719_882b_92c7d5418598@fun-main" tailtooltip=" " edgetooltip=" "]
  id_681cc2c3_4442_4332_8439_0bd895b9469d:s -> id_db72eadd_6eaf_410a_b135_5475c328e3cc:n [id="id_681cc2c3_4442_4332_8439_0bd895b9469d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_db72eadd_6eaf_410a_b135_5475c328e3cc:s -> id_14ee3b53_82fd_4490_a5e0_9346e44ae911:n [id="id_db72eadd_6eaf_410a_b135_5475c328e3cc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_14ee3b53_82fd_4490_a5e0_9346e44ae911:e -> true_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> id_51091b62_50c2_41b9_8e84_150dc2d3d1bf:n [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" "]
  
  id_51091b62_50c2_41b9_8e84_150dc2d3d1bf:s -> id_748bf1d0_997d_4a46_a6a4_a6e40a37d122:n [id="id_51091b62_50c2_41b9_8e84_150dc2d3d1bf@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" "]
  id_748bf1d0_997d_4a46_a6a4_a6e40a37d122:s -> id_8c6b0a46_b52a_44ca_b74f_354119884029:n [id="id_748bf1d0_997d_4a46_a6a4_a6e40a37d122@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" "]
  id_8c6b0a46_b52a_44ca_b74f_354119884029:s -> true_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911:n [id="id_8c6b0a46_b52a_44ca_b74f_354119884029@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> true_dummy_down_left_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_8c6b0a46_b52a_44ca_b74f_354119884029@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> id_14ee3b53_82fd_4490_a5e0_9346e44ae911:s [id="id_8c6b0a46_b52a_44ca_b74f_354119884029@id_8dfd3dda_bf16_4916_b56e_8dd8099450ce" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_14ee3b53_82fd_4490_a5e0_9346e44ae911:w -> false_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> false_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> end_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_14ee3b53_82fd_4490_a5e0_9346e44ae911 -> id_bfd000e0_d3fd_4ac2_9c22_f6c6794e40cb [id="id_14ee3b53_82fd_4490_a5e0_9346e44ae911@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_bfd000e0_d3fd_4ac2_9c22_f6c6794e40cb:s -> id_00584688_bb05_4c30_ab8f_ee5a1d13cad9:n [id="id_bfd000e0_d3fd_4ac2_9c22_f6c6794e40cb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_00584688_bb05_4c30_ab8f_ee5a1d13cad9:s -> id_0bad7df7_c8f0_43da_80ac_112660ec13b6:n [id="id_00584688_bb05_4c30_ab8f_ee5a1d13cad9@fun-main" tailtooltip=" " edgetooltip=" "]

}