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_3d6c5bc1_4579_4ca2_a0bf_b0653a9673af [id="id_3d6c5bc1_4579_4ca2_a0bf_b0653a9673af#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_d7621af8_66b2_424d_817f_473fb2acb062 [id="id_d7621af8_66b2_424d_817f_473fb2acb062#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4fb86f16_5fa6_400e_b2a7_d19d46a9a784 [id="id_4fb86f16_5fa6_400e_b2a7_d19d46a9a784#Output" pos="0.0,9998.125!" height=0.4 width=2.29 fixedsize=true group="fun-main"    label="\"Insert a number\"" tooltip="\"Insert a number\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0b5fab2f_7d11_4d28_876a_7dd06aca46f4 [id="id_0b5fab2f_7d11_4d28_876a_7dd06aca46f4#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_849e810d_9219_4570_92f0_2f8e78739e05 [id="id_849e810d_9219_4570_92f0_2f8e78739e05#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_11f2311a_910f_4d9f_bc85_61ce1df831ca [id="id_11f2311a_910f_4d9f_bc85_61ce1df831ca#Output" pos="0.0,9995.3125!" height=0.4 width=3.06 fixedsize=true group="fun-main"    label="\"Insert the same number\"" tooltip="\"Insert the same number\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_02503823_7501_4ee8_81f2_9f436ae1dc74 [id="id_02503823_7501_4ee8_81f2_9f436ae1dc74#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5#While" pos="0.0,9993.4375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x!=z" tooltip="x!=z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_25ed0555_74ad_4638_9a50_7410620a8772 [id="id_25ed0555_74ad_4638_9a50_7410620a8772#Output" pos="2.5,9992.5!" height=0.4 width=3.06 fixedsize=true group="id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30"    label="\"Insert the same number\"" tooltip="\"Insert the same number\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_515a4e3d_a069_4785_8326_2e814a469e26 [id="id_515a4e3d_a069_4785_8326_2e814a469e26#Input" pos="2.5,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30"    label="z" tooltip="z" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="2.5,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  id_8bc89695_0f44_449f_9061_a08a48e99ea6 [id="id_8bc89695_0f44_449f_9061_a08a48e99ea6#Return" pos="0.0,9989.6875!" 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_3d6c5bc1_4579_4ca2_a0bf_b0653a9673af:s -> id_d7621af8_66b2_424d_817f_473fb2acb062:n [id="id_3d6c5bc1_4579_4ca2_a0bf_b0653a9673af@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d7621af8_66b2_424d_817f_473fb2acb062:s -> id_4fb86f16_5fa6_400e_b2a7_d19d46a9a784:n [id="id_d7621af8_66b2_424d_817f_473fb2acb062@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4fb86f16_5fa6_400e_b2a7_d19d46a9a784:s -> id_0b5fab2f_7d11_4d28_876a_7dd06aca46f4:n [id="id_4fb86f16_5fa6_400e_b2a7_d19d46a9a784@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0b5fab2f_7d11_4d28_876a_7dd06aca46f4:s -> id_849e810d_9219_4570_92f0_2f8e78739e05:n [id="id_0b5fab2f_7d11_4d28_876a_7dd06aca46f4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_849e810d_9219_4570_92f0_2f8e78739e05:s -> id_11f2311a_910f_4d9f_bc85_61ce1df831ca:n [id="id_849e810d_9219_4570_92f0_2f8e78739e05@fun-main" tailtooltip=" " edgetooltip=" "]
  id_11f2311a_910f_4d9f_bc85_61ce1df831ca:s -> id_02503823_7501_4ee8_81f2_9f436ae1dc74:n [id="id_11f2311a_910f_4d9f_bc85_61ce1df831ca@fun-main" tailtooltip=" " edgetooltip=" "]
  id_02503823_7501_4ee8_81f2_9f436ae1dc74:s -> id_63fe6b52_5f22_45a6_8316_be9a709ecfa5:n [id="id_02503823_7501_4ee8_81f2_9f436ae1dc74@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_63fe6b52_5f22_45a6_8316_be9a709ecfa5:e -> true_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> id_25ed0555_74ad_4638_9a50_7410620a8772:n [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" "]
  
  id_25ed0555_74ad_4638_9a50_7410620a8772:s -> id_515a4e3d_a069_4785_8326_2e814a469e26:n [id="id_25ed0555_74ad_4638_9a50_7410620a8772@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" "]
  id_515a4e3d_a069_4785_8326_2e814a469e26:s -> true_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5:n [id="id_515a4e3d_a069_4785_8326_2e814a469e26@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> true_dummy_down_left_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_515a4e3d_a069_4785_8326_2e814a469e26@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> id_63fe6b52_5f22_45a6_8316_be9a709ecfa5:s [id="id_515a4e3d_a069_4785_8326_2e814a469e26@id_5b3d819c_f505_42bc_8fa1_ecdbc21bdc30" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_63fe6b52_5f22_45a6_8316_be9a709ecfa5:w -> false_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> false_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> end_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_63fe6b52_5f22_45a6_8316_be9a709ecfa5 -> id_8bc89695_0f44_449f_9061_a08a48e99ea6 [id="id_63fe6b52_5f22_45a6_8316_be9a709ecfa5@fun-main" tailtooltip=" " edgetooltip=" "]
  

}