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_9d424c40_c96a_41d4_a215_4efe8e5a1b5f [id="id_9d424c40_c96a_41d4_a215_4efe8e5a1b5f#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_093c8b3a_4c1c_4eb7_9e21_b19a66b3651e [id="id_093c8b3a_4c1c_4eb7_9e21_b19a66b3651e#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a41d2dcc_d4df_4a53_9cd9_74f6f5809a4f [id="id_a41d2dcc_d4df_4a53_9cd9_74f6f5809a4f#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a6cbbf2f_8849_45a7_aed2_60d6983980a5 [id="id_a6cbbf2f_8849_45a7_aed2_60d6983980a5#Assign" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 0" tooltip="x = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_443696b4_8afd_482b_8fa9_06ac9a1c31b5 [id="id_443696b4_8afd_482b_8fa9_06ac9a1c31b5#Assign" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c = 0" tooltip="c = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee#While" pos="0.0,9995.3125!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="c<1000" tooltip="c<1000" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_701fb6a9_4ce3_4f03_8fe0_e4163aeea789 [id="id_701fb6a9_4ce3_4f03_8fe0_e4163aeea789#Output" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_654e4c04_3743_45bb_9269_befe8a6a8444"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6d168424_9912_4668_b0b5_9c3b18dda469 [id="id_6d168424_9912_4668_b0b5_9c3b18dda469#Assign" pos="1.25,9993.4375!" height=0.4 width=1.08 fixedsize=true group="id_654e4c04_3743_45bb_9269_befe8a6a8444"    label="x = x+10" tooltip="x = x+10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e [id="id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e#Assign" pos="1.25,9992.5!" height=0.4 width=1.08 fixedsize=true group="id_654e4c04_3743_45bb_9269_befe8a6a8444"    label="c = c+10" tooltip="c = c+10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_eae64b81_bfef_4e5f_bf25_22c4c52aa8e8 [id="id_eae64b81_bfef_4e5f_bf25_22c4c52aa8e8#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_9d424c40_c96a_41d4_a215_4efe8e5a1b5f:s -> id_093c8b3a_4c1c_4eb7_9e21_b19a66b3651e:n [id="id_9d424c40_c96a_41d4_a215_4efe8e5a1b5f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_093c8b3a_4c1c_4eb7_9e21_b19a66b3651e:s -> id_a41d2dcc_d4df_4a53_9cd9_74f6f5809a4f:n [id="id_093c8b3a_4c1c_4eb7_9e21_b19a66b3651e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a41d2dcc_d4df_4a53_9cd9_74f6f5809a4f:s -> id_a6cbbf2f_8849_45a7_aed2_60d6983980a5:n [id="id_a41d2dcc_d4df_4a53_9cd9_74f6f5809a4f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a6cbbf2f_8849_45a7_aed2_60d6983980a5:s -> id_443696b4_8afd_482b_8fa9_06ac9a1c31b5:n [id="id_a6cbbf2f_8849_45a7_aed2_60d6983980a5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_443696b4_8afd_482b_8fa9_06ac9a1c31b5:s -> id_80bcd481_2b01_4f19_98ef_4186ed216bee:n [id="id_443696b4_8afd_482b_8fa9_06ac9a1c31b5@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_80bcd481_2b01_4f19_98ef_4186ed216bee:e -> true_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> id_701fb6a9_4ce3_4f03_8fe0_e4163aeea789:n [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" "]
  
  id_701fb6a9_4ce3_4f03_8fe0_e4163aeea789:s -> id_6d168424_9912_4668_b0b5_9c3b18dda469:n [id="id_701fb6a9_4ce3_4f03_8fe0_e4163aeea789@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" "]
  id_6d168424_9912_4668_b0b5_9c3b18dda469:s -> id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e:n [id="id_6d168424_9912_4668_b0b5_9c3b18dda469@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" "]
  id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e:s -> true_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee:n [id="id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> true_dummy_down_left_id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> id_80bcd481_2b01_4f19_98ef_4186ed216bee:s [id="id_9eb595c5_5c07_40d2_924b_1d8d8140bd0e@id_654e4c04_3743_45bb_9269_befe8a6a8444" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_80bcd481_2b01_4f19_98ef_4186ed216bee:w -> false_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> false_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> end_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_80bcd481_2b01_4f19_98ef_4186ed216bee -> id_eae64b81_bfef_4e5f_bf25_22c4c52aa8e8 [id="id_80bcd481_2b01_4f19_98ef_4186ed216bee@fun-main" tailtooltip=" " edgetooltip=" "]
  

}