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_8edc4dd1_ff0f_4af8_a534_c0b7bf5c6b83 [id="id_8edc4dd1_ff0f_4af8_a534_c0b7bf5c6b83#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_c17e5345_bdc0_4599_8e18_e5a30c5195f9 [id="id_c17e5345_bdc0_4599_8e18_e5a30c5195f9#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_515fe5c0_8e1c_4109_b939_11e8c57a7b99 [id="id_515fe5c0_8e1c_4109_b939_11e8c57a7b99#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4c6fcb90_d4f0_4161_aae3_0a7b23fd548a [id="id_4c6fcb90_d4f0_4161_aae3_0a7b23fd548a#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9684156b_865d_41d2_853c_49d4a6c02089 [id="id_9684156b_865d_41d2_853c_49d4a6c02089#Output" pos="0.0,9996.25!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="\"inserisci a\"" tooltip="\"inserisci a\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_be115ebf_1b40_4481_b120_dd5fc90df623 [id="id_be115ebf_1b40_4481_b120_dd5fc90df623#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7022d5b4_73b0_43ff_b50d_9ec6b519a665 [id="id_7022d5b4_73b0_43ff_b50d_9ec6b519a665#Output" pos="0.0,9994.375!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="\"inserisci b\"" tooltip="\"inserisci b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4d4d38d5_84a2_4f54_ad99_3f7d24e4eac3 [id="id_4d4d38d5_84a2_4f54_ad99_3f7d24e4eac3#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6af38c3d_2119_43ad_8c78_cc41143a6aad [id="id_6af38c3d_2119_43ad_8c78_cc41143a6aad#Output" pos="0.0,9992.5!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="\"inserisci c\"" tooltip="\"inserisci c\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b22c1a17_de36_4510_a9b9_55ffddd9df79 [id="id_b22c1a17_de36_4510_a9b9_55ffddd9df79#Input" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078#If" pos="0.0,9990.625!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="a == b" tooltip="a == b" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [pos="1.25,9990.625!" shape=point width=0]
  false_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [pos="-1.25,9990.625!" shape=point width=0]
  
  
  
  
  true_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [ pos="1.25,9989.6875!" shape=point width=0]
  false_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [ pos="-1.25,9989.6875!" shape=point width=0]
  
  end_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="end_id_af18cb36_539a_42c1_8201_2a6c61eb2078#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_1a3acf28_4729_479a_8f27_3d9b4d6e5bb3 [id="id_1a3acf28_4729_479a_8f27_3d9b4d6e5bb3#Return" pos="0.0,9988.75!" 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_8edc4dd1_ff0f_4af8_a534_c0b7bf5c6b83:s -> id_c17e5345_bdc0_4599_8e18_e5a30c5195f9:n [id="id_8edc4dd1_ff0f_4af8_a534_c0b7bf5c6b83@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c17e5345_bdc0_4599_8e18_e5a30c5195f9:s -> id_515fe5c0_8e1c_4109_b939_11e8c57a7b99:n [id="id_c17e5345_bdc0_4599_8e18_e5a30c5195f9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_515fe5c0_8e1c_4109_b939_11e8c57a7b99:s -> id_4c6fcb90_d4f0_4161_aae3_0a7b23fd548a:n [id="id_515fe5c0_8e1c_4109_b939_11e8c57a7b99@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4c6fcb90_d4f0_4161_aae3_0a7b23fd548a:s -> id_9684156b_865d_41d2_853c_49d4a6c02089:n [id="id_4c6fcb90_d4f0_4161_aae3_0a7b23fd548a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9684156b_865d_41d2_853c_49d4a6c02089:s -> id_be115ebf_1b40_4481_b120_dd5fc90df623:n [id="id_9684156b_865d_41d2_853c_49d4a6c02089@fun-main" tailtooltip=" " edgetooltip=" "]
  id_be115ebf_1b40_4481_b120_dd5fc90df623:s -> id_7022d5b4_73b0_43ff_b50d_9ec6b519a665:n [id="id_be115ebf_1b40_4481_b120_dd5fc90df623@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7022d5b4_73b0_43ff_b50d_9ec6b519a665:s -> id_4d4d38d5_84a2_4f54_ad99_3f7d24e4eac3:n [id="id_7022d5b4_73b0_43ff_b50d_9ec6b519a665@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4d4d38d5_84a2_4f54_ad99_3f7d24e4eac3:s -> id_6af38c3d_2119_43ad_8c78_cc41143a6aad:n [id="id_4d4d38d5_84a2_4f54_ad99_3f7d24e4eac3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6af38c3d_2119_43ad_8c78_cc41143a6aad:s -> id_b22c1a17_de36_4510_a9b9_55ffddd9df79:n [id="id_6af38c3d_2119_43ad_8c78_cc41143a6aad@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b22c1a17_de36_4510_a9b9_55ffddd9df79:s -> id_af18cb36_539a_42c1_8201_2a6c61eb2078:n [id="id_b22c1a17_de36_4510_a9b9_55ffddd9df79@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_af18cb36_539a_42c1_8201_2a6c61eb2078:e -> true_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b923f201_2f32_4106_8fb2_70f42c3a46f1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 -> true_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078:n [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b923f201_2f32_4106_8fb2_70f42c3a46f1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078 -> end_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b923f201_2f32_4106_8fb2_70f42c3a46f1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_af18cb36_539a_42c1_8201_2a6c61eb2078:w -> false_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b860b432_ea6a_408c_8ac4_f2b4971891d2" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_af18cb36_539a_42c1_8201_2a6c61eb2078 -> false_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078:n [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b860b432_ea6a_408c_8ac4_f2b4971891d2" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_af18cb36_539a_42c1_8201_2a6c61eb2078 -> end_id_af18cb36_539a_42c1_8201_2a6c61eb2078 [id="id_af18cb36_539a_42c1_8201_2a6c61eb2078@id_b860b432_ea6a_408c_8ac4_f2b4971891d2" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_af18cb36_539a_42c1_8201_2a6c61eb2078:s -> id_1a3acf28_4729_479a_8f27_3d9b4d6e5bb3:n [id="end_id_af18cb36_539a_42c1_8201_2a6c61eb2078@fun-main" tailtooltip=" " edgetooltip=" "]
  

}