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_e48c556a_5186_4d5d_ba27_e986d3cb6648 [id="id_e48c556a_5186_4d5d_ba27_e986d3cb6648#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_41a22e22_bf8e_4de2_a7c6_1daf68de62d0 [id="id_41a22e22_bf8e_4de2_a7c6_1daf68de62d0#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_dde33bb6_e04b_4ff3_b3b1_6ade15252f37 [id="id_dde33bb6_e04b_4ff3_b3b1_6ade15252f37#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_6619e88a_a432_44e0_9e4c_b670e8df9d25 [id="id_6619e88a_a432_44e0_9e4c_b670e8df9d25#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_12ada740_d7c6_4899_9557_6fe296c6464b [id="id_12ada740_d7c6_4899_9557_6fe296c6464b#Declare" pos="0.0,9996.25!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="y = \"\"" tooltip="y: String = \"\"" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_23e84071_70af_423d_9ff4_8b47a5a03877 [id="id_23e84071_70af_423d_9ff4_8b47a5a03877#Assign" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 0" tooltip="x = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_c0273bcf_26f0_42dc_b191_6f69d8b3fad7 [id="id_c0273bcf_26f0_42dc_b191_6f69d8b3fad7#Output" pos="0.0,9994.375!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="\"inserire n\"" tooltip="\"inserire n\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_04938907_7600_4c63_89ad_6142b00ed6c5 [id="id_04938907_7600_4c63_89ad_6142b00ed6c5#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b#While" pos="0.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x<=n" tooltip="x<=n" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="1.25,9992.5!" shape=point width=0]
  false_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="-1.25,9992.5!" shape=point width=0]
  
  id_297cedf5_7598_40cd_ad4a_cebdbb159ea1 [id="id_297cedf5_7598_40cd_ad4a_cebdbb159ea1#Assign" pos="1.25,9991.5625!" height=0.4 width=1.41 fixedsize=true group="id_ee838b16_9504_4316_958a_5621ea8c6020"    label="y = y*\"*\"" tooltip="y = y*\"*\"" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_30e83531_a7be_46ab_96b2_b5a116272d57 [id="id_30e83531_a7be_46ab_96b2_b5a116272d57#Assign" pos="1.25,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_ee838b16_9504_4316_958a_5621ea8c6020"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_25d884c7_f6d8_4f3f_9dab_cf16501956eb [id="id_25d884c7_f6d8_4f3f_9dab_cf16501956eb#Output" pos="1.25,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_ee838b16_9504_4316_958a_5621ea8c6020"    label="y" tooltip="y" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="1.25,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_79eb0d47_1162_47b6_bfd2_b9b2694be7c7 [id="id_79eb0d47_1162_47b6_bfd2_b9b2694be7c7#Return" pos="0.0,9987.8125!" 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_e48c556a_5186_4d5d_ba27_e986d3cb6648:s -> id_41a22e22_bf8e_4de2_a7c6_1daf68de62d0:n [id="id_e48c556a_5186_4d5d_ba27_e986d3cb6648@fun-main" tailtooltip=" " edgetooltip=" "]
  id_41a22e22_bf8e_4de2_a7c6_1daf68de62d0:s -> id_dde33bb6_e04b_4ff3_b3b1_6ade15252f37:n [id="id_41a22e22_bf8e_4de2_a7c6_1daf68de62d0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_dde33bb6_e04b_4ff3_b3b1_6ade15252f37:s -> id_6619e88a_a432_44e0_9e4c_b670e8df9d25:n [id="id_dde33bb6_e04b_4ff3_b3b1_6ade15252f37@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6619e88a_a432_44e0_9e4c_b670e8df9d25:s -> id_12ada740_d7c6_4899_9557_6fe296c6464b:n [id="id_6619e88a_a432_44e0_9e4c_b670e8df9d25@fun-main" tailtooltip=" " edgetooltip=" "]
  id_12ada740_d7c6_4899_9557_6fe296c6464b:s -> id_23e84071_70af_423d_9ff4_8b47a5a03877:n [id="id_12ada740_d7c6_4899_9557_6fe296c6464b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_23e84071_70af_423d_9ff4_8b47a5a03877:s -> id_c0273bcf_26f0_42dc_b191_6f69d8b3fad7:n [id="id_23e84071_70af_423d_9ff4_8b47a5a03877@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c0273bcf_26f0_42dc_b191_6f69d8b3fad7:s -> id_04938907_7600_4c63_89ad_6142b00ed6c5:n [id="id_c0273bcf_26f0_42dc_b191_6f69d8b3fad7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_04938907_7600_4c63_89ad_6142b00ed6c5:s -> id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b:n [id="id_04938907_7600_4c63_89ad_6142b00ed6c5@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b:e -> true_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> id_297cedf5_7598_40cd_ad4a_cebdbb159ea1:n [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" "]
  
  id_297cedf5_7598_40cd_ad4a_cebdbb159ea1:s -> id_30e83531_a7be_46ab_96b2_b5a116272d57:n [id="id_297cedf5_7598_40cd_ad4a_cebdbb159ea1@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" "]
  id_30e83531_a7be_46ab_96b2_b5a116272d57:s -> id_25d884c7_f6d8_4f3f_9dab_cf16501956eb:n [id="id_30e83531_a7be_46ab_96b2_b5a116272d57@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" "]
  id_25d884c7_f6d8_4f3f_9dab_cf16501956eb:s -> true_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b:n [id="id_25d884c7_f6d8_4f3f_9dab_cf16501956eb@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> true_dummy_down_left_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_25d884c7_f6d8_4f3f_9dab_cf16501956eb@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b:s [id="id_25d884c7_f6d8_4f3f_9dab_cf16501956eb@id_ee838b16_9504_4316_958a_5621ea8c6020" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b:w -> false_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> false_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> end_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b -> id_79eb0d47_1162_47b6_bfd2_b9b2694be7c7 [id="id_b43f69dd_9b77_48a0_ad63_20d1f1dd0b6b@fun-main" tailtooltip=" " edgetooltip=" "]
  

}