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_9b6caf44_ca67_476e_8497_5b62809800c1 [id="id_9b6caf44_ca67_476e_8497_5b62809800c1#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_d5b240af_7f3e_4471_b8da_26a6a30b6c8d [id="id_d5b240af_7f3e_4471_b8da_26a6a30b6c8d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d1d1719b_9951_4fa0_8c8e_8f284964b872 [id="id_d1d1719b_9951_4fa0_8c8e_8f284964b872#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_24de4dc7_b630_4ac0_9576_916c02f6caa1 [id="id_24de4dc7_b630_4ac0_9576_916c02f6caa1#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="fac = 1" tooltip="fac: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91#While" pos="0.0,9996.25!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="n>1" tooltip="n>1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="1.25,9996.25!" shape=point width=0]
  false_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="-1.25,9996.25!" shape=point width=0]
  
  id_b8192aeb_ed53_44f0_a2a2_d1c37bfc1291 [id="id_b8192aeb_ed53_44f0_a2a2_d1c37bfc1291#Assign" pos="1.25,9995.3125!" height=0.4 width=1.41 fixedsize=true group="id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5"    label="fac = fac*n" tooltip="fac = fac*n" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_5b9e112b_0241_4408_b20b_7427a9c091a2 [id="id_5b9e112b_0241_4408_b20b_7427a9c091a2#Assign" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5"    label="n = n-1" tooltip="n = n-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="1.25,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_5def2906_7d4e_4c40_98b3_4ed2813e2949 [id="id_5def2906_7d4e_4c40_98b3_4ed2813e2949#Output" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="fac" tooltip="fac" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_21d44df0_e82e_405c_b1b9_1d1837ca9799 [id="id_21d44df0_e82e_405c_b1b9_1d1837ca9799#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_9b6caf44_ca67_476e_8497_5b62809800c1:s -> id_d5b240af_7f3e_4471_b8da_26a6a30b6c8d:n [id="id_9b6caf44_ca67_476e_8497_5b62809800c1@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d5b240af_7f3e_4471_b8da_26a6a30b6c8d:s -> id_d1d1719b_9951_4fa0_8c8e_8f284964b872:n [id="id_d5b240af_7f3e_4471_b8da_26a6a30b6c8d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d1d1719b_9951_4fa0_8c8e_8f284964b872:s -> id_24de4dc7_b630_4ac0_9576_916c02f6caa1:n [id="id_d1d1719b_9951_4fa0_8c8e_8f284964b872@fun-main" tailtooltip=" " edgetooltip=" "]
  id_24de4dc7_b630_4ac0_9576_916c02f6caa1:s -> id_3c96d20f_b062_4df4_8e24_e963bcb02a91:n [id="id_24de4dc7_b630_4ac0_9576_916c02f6caa1@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_3c96d20f_b062_4df4_8e24_e963bcb02a91:e -> true_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> id_b8192aeb_ed53_44f0_a2a2_d1c37bfc1291:n [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" "]
  
  id_b8192aeb_ed53_44f0_a2a2_d1c37bfc1291:s -> id_5b9e112b_0241_4408_b20b_7427a9c091a2:n [id="id_b8192aeb_ed53_44f0_a2a2_d1c37bfc1291@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" "]
  id_5b9e112b_0241_4408_b20b_7427a9c091a2:s -> true_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91:n [id="id_5b9e112b_0241_4408_b20b_7427a9c091a2@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> true_dummy_down_left_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_5b9e112b_0241_4408_b20b_7427a9c091a2@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> id_3c96d20f_b062_4df4_8e24_e963bcb02a91:s [id="id_5b9e112b_0241_4408_b20b_7427a9c091a2@id_589728c9_31b2_4218_8b4b_a81e8bdd8ee5" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_3c96d20f_b062_4df4_8e24_e963bcb02a91:w -> false_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> false_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> end_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_3c96d20f_b062_4df4_8e24_e963bcb02a91 -> id_5def2906_7d4e_4c40_98b3_4ed2813e2949 [id="id_3c96d20f_b062_4df4_8e24_e963bcb02a91@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_5def2906_7d4e_4c40_98b3_4ed2813e2949:s -> id_21d44df0_e82e_405c_b1b9_1d1837ca9799:n [id="id_5def2906_7d4e_4c40_98b3_4ed2813e2949@fun-main" tailtooltip=" " edgetooltip=" "]

}