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_bc2e22f9_626b_4882_9a7e_f2d5b8389f6f [id="id_bc2e22f9_626b_4882_9a7e_f2d5b8389f6f#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_9d50730a_3643_447a_b7a2_f661b9f01d76 [id="id_9d50730a_3643_447a_b7a2_f661b9f01d76#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4342f01b_07d3_4993_9f13_75046003299a [id="id_4342f01b_07d3_4993_9f13_75046003299a#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f4bb0060_c28d_4b51_83be_0c3c3d45b18f [id="id_f4bb0060_c28d_4b51_83be_0c3c3d45b18f#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8bfbce27_ec46_43b4_89b7_60bca52a3c37 [id="id_8bfbce27_ec46_43b4_89b7_60bca52a3c37#Assign" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c = 1" tooltip="c = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82#While" pos="0.0,9995.3125!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="c<=10" tooltip="c<=10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_42e065df_2e10_462c_9fb8_3ad63fc7bb8f [id="id_42e065df_2e10_462c_9fb8_3ad63fc7bb8f#Output" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_0309f4bf_b608_482a_8bda_a89ee0595d12"    label="n*c" tooltip="n*c" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_45d5b61a_27ee_4920_928b_5dac15ec659c [id="id_45d5b61a_27ee_4920_928b_5dac15ec659c#Assign" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_0309f4bf_b608_482a_8bda_a89ee0595d12"    label="x = 19" tooltip="x = 19" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="1.25,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="-1.25,9992.5!" shape=point width=0]
  end_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_ed58d52f_87a7_4f56_991c_89f79c939c07 [id="id_ed58d52f_87a7_4f56_991c_89f79c939c07#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_bc2e22f9_626b_4882_9a7e_f2d5b8389f6f:s -> id_9d50730a_3643_447a_b7a2_f661b9f01d76:n [id="id_bc2e22f9_626b_4882_9a7e_f2d5b8389f6f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9d50730a_3643_447a_b7a2_f661b9f01d76:s -> id_4342f01b_07d3_4993_9f13_75046003299a:n [id="id_9d50730a_3643_447a_b7a2_f661b9f01d76@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4342f01b_07d3_4993_9f13_75046003299a:s -> id_f4bb0060_c28d_4b51_83be_0c3c3d45b18f:n [id="id_4342f01b_07d3_4993_9f13_75046003299a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f4bb0060_c28d_4b51_83be_0c3c3d45b18f:s -> id_8bfbce27_ec46_43b4_89b7_60bca52a3c37:n [id="id_f4bb0060_c28d_4b51_83be_0c3c3d45b18f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8bfbce27_ec46_43b4_89b7_60bca52a3c37:s -> id_dd239a0d_93c6_477b_be9e_af7152072b82:n [id="id_8bfbce27_ec46_43b4_89b7_60bca52a3c37@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_dd239a0d_93c6_477b_be9e_af7152072b82:e -> true_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> id_42e065df_2e10_462c_9fb8_3ad63fc7bb8f:n [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" "]
  
  id_42e065df_2e10_462c_9fb8_3ad63fc7bb8f:s -> id_45d5b61a_27ee_4920_928b_5dac15ec659c:n [id="id_42e065df_2e10_462c_9fb8_3ad63fc7bb8f@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" "]
  id_45d5b61a_27ee_4920_928b_5dac15ec659c:s -> true_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82:n [id="id_45d5b61a_27ee_4920_928b_5dac15ec659c@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> true_dummy_down_left_id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_45d5b61a_27ee_4920_928b_5dac15ec659c@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> id_dd239a0d_93c6_477b_be9e_af7152072b82:s [id="id_45d5b61a_27ee_4920_928b_5dac15ec659c@id_0309f4bf_b608_482a_8bda_a89ee0595d12" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_dd239a0d_93c6_477b_be9e_af7152072b82:w -> false_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> false_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> end_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_dd239a0d_93c6_477b_be9e_af7152072b82 -> id_ed58d52f_87a7_4f56_991c_89f79c939c07 [id="id_dd239a0d_93c6_477b_be9e_af7152072b82@fun-main" tailtooltip=" " edgetooltip=" "]
  

}