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_74c338b1_b697_4ce7_91b4_85fcfd155756 [id="id_74c338b1_b697_4ce7_91b4_85fcfd155756#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_b647f8ce_4b15_428d_a03b_ac56b2978687 [id="id_b647f8ce_4b15_428d_a03b_ac56b2978687#Input" pos="0.0,9999.0625!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="inserisci :a,b,c," tooltip="inserisci :a,b,c," shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="id_f36cdfca_08ed_4244_acff_5e79b81ea352#If" pos="0.0,9998.125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="a=2" tooltip="a=2" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [pos="-2.5,9998.125!" shape=point width=0]
  
  id_3b27d150_b4d8_454a_8834_13870381e66c [id="id_3b27d150_b4d8_454a_8834_13870381e66c#Output" pos="1.25,9997.1875!" height=0.4 width=1.0 fixedsize=true group="id_ac4db041_35f0_4f39_8334_0bd8cbbc964e"    label="c=C-1" tooltip="c=C-1" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3#If" pos="-2.5,9997.1875!" height=0.5 width=1.71 fixedsize=true group="id_9d64bec5_2244_4d3f_8075_de942b6d3624" 
    label="a=3//b=cono" tooltip="a=3//b=cono" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [pos="-1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [pos="-5.0,9997.1875!" shape=point width=0]
  
  id_18a2a03d_2dfe_48ab_a312_401981f66b61 [id="id_18a2a03d_2dfe_48ab_a312_401981f66b61#Output" pos="-1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_0c468716_d820_43d3_a66f_f1e833f757fc"    label="C=C-2" tooltip="C=C-2" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1#If" pos="-5.0,9996.25!" height=0.5 width=1.93 fixedsize=true group="id_04f9af2f_d4d1_4486_bdd4_60601661a295" 
    label="a=4 && b=cono" tooltip="a=4 && b=cono" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [pos="-3.75,9996.25!" shape=point width=0]
  false_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [pos="-6.25,9996.25!" shape=point width=0]
  
  id_8461f023_1bb8_402b_be9d_eda69b4fcc6a [id="id_8461f023_1bb8_402b_be9d_eda69b4fcc6a#Output" pos="-3.75,9995.3125!" height=0.4 width=1.0 fixedsize=true group="id_c8578787_2bc6_4731_be60_16b1902a393e"    label="C=C-3" tooltip="C=C-3" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  
  true_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [ pos="-3.75,9994.375!" shape=point width=0]
  false_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [ pos="-6.25,9994.375!" shape=point width=0]
  
  end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1#IfEnd" class="flowrun-not-selectable" pos="-5.0,9994.375!" group="id_04f9af2f_d4d1_4486_bdd4_60601661a295" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [ pos="-1.25,9993.4375!" shape=point width=0]
  false_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [ pos="-5.0,9993.4375!" shape=point width=0]
  
  end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3#IfEnd" class="flowrun-not-selectable" pos="-2.5,9993.4375!" group="id_9d64bec5_2244_4d3f_8075_de942b6d3624" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [ pos="1.25,9992.5!" shape=point width=0]
  false_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [ pos="-2.5,9992.5!" shape=point width=0]
  
  end_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="end_id_f36cdfca_08ed_4244_acff_5e79b81ea352#IfEnd" class="flowrun-not-selectable" pos="0.0,9992.5!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_182e320e_c6be_417c_9a1b_d8ad9b36b887 [id="id_182e320e_c6be_417c_9a1b_d8ad9b36b887#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_74c338b1_b697_4ce7_91b4_85fcfd155756:s -> id_b647f8ce_4b15_428d_a03b_ac56b2978687:n [id="id_74c338b1_b697_4ce7_91b4_85fcfd155756@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b647f8ce_4b15_428d_a03b_ac56b2978687:s -> id_f36cdfca_08ed_4244_acff_5e79b81ea352:n [id="id_b647f8ce_4b15_428d_a03b_ac56b2978687@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_f36cdfca_08ed_4244_acff_5e79b81ea352:e -> true_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="id_f36cdfca_08ed_4244_acff_5e79b81ea352@id_ac4db041_35f0_4f39_8334_0bd8cbbc964e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 -> id_3b27d150_b4d8_454a_8834_13870381e66c:n [id="id_f36cdfca_08ed_4244_acff_5e79b81ea352@id_ac4db041_35f0_4f39_8334_0bd8cbbc964e" tailtooltip=" " edgetooltip=" "]
  
  id_3b27d150_b4d8_454a_8834_13870381e66c:s -> true_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352:n [id="id_3b27d150_b4d8_454a_8834_13870381e66c@id_ac4db041_35f0_4f39_8334_0bd8cbbc964e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352 -> end_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="id_3b27d150_b4d8_454a_8834_13870381e66c@id_ac4db041_35f0_4f39_8334_0bd8cbbc964e" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_f36cdfca_08ed_4244_acff_5e79b81ea352:w -> false_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="id_f36cdfca_08ed_4244_acff_5e79b81ea352@id_9d64bec5_2244_4d3f_8075_de942b6d3624" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f36cdfca_08ed_4244_acff_5e79b81ea352 -> id_59d964ce_fb60_4f01_aa8a_335de3705fd3:n [id="id_f36cdfca_08ed_4244_acff_5e79b81ea352@id_9d64bec5_2244_4d3f_8075_de942b6d3624" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_59d964ce_fb60_4f01_aa8a_335de3705fd3:e -> true_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_0c468716_d820_43d3_a66f_f1e833f757fc" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 -> id_18a2a03d_2dfe_48ab_a312_401981f66b61:n [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_0c468716_d820_43d3_a66f_f1e833f757fc" tailtooltip=" " edgetooltip=" "]
  
  id_18a2a03d_2dfe_48ab_a312_401981f66b61:s -> true_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3:n [id="id_18a2a03d_2dfe_48ab_a312_401981f66b61@id_0c468716_d820_43d3_a66f_f1e833f757fc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 -> end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="id_18a2a03d_2dfe_48ab_a312_401981f66b61@id_0c468716_d820_43d3_a66f_f1e833f757fc" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_59d964ce_fb60_4f01_aa8a_335de3705fd3:w -> false_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_04f9af2f_d4d1_4486_bdd4_60601661a295" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 -> id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:n [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_04f9af2f_d4d1_4486_bdd4_60601661a295" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:e -> true_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_c8578787_2bc6_4731_be60_16b1902a393e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 -> id_8461f023_1bb8_402b_be9d_eda69b4fcc6a:n [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_c8578787_2bc6_4731_be60_16b1902a393e" tailtooltip=" " edgetooltip=" "]
  
  id_8461f023_1bb8_402b_be9d_eda69b4fcc6a:s -> true_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:n [id="id_8461f023_1bb8_402b_be9d_eda69b4fcc6a@id_c8578787_2bc6_4731_be60_16b1902a393e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 -> end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="id_8461f023_1bb8_402b_be9d_eda69b4fcc6a@id_c8578787_2bc6_4731_be60_16b1902a393e" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:w -> false_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_4f335858_363d_442a_96f6_fa16cd3edae0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 -> false_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:n [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_4f335858_363d_442a_96f6_fa16cd3edae0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 -> end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1 [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_4f335858_363d_442a_96f6_fa16cd3edae0" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1:s -> false_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3:n [id="end_id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_04f9af2f_d4d1_4486_bdd4_60601661a295" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 -> end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3 [id="id_e21fbfb9_bac1_4646_a913_bf15b4af23f1@id_04f9af2f_d4d1_4486_bdd4_60601661a295" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3:s -> false_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352:n [id="end_id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_9d64bec5_2244_4d3f_8075_de942b6d3624" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_f36cdfca_08ed_4244_acff_5e79b81ea352 -> end_id_f36cdfca_08ed_4244_acff_5e79b81ea352 [id="id_59d964ce_fb60_4f01_aa8a_335de3705fd3@id_9d64bec5_2244_4d3f_8075_de942b6d3624" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_f36cdfca_08ed_4244_acff_5e79b81ea352:s -> id_182e320e_c6be_417c_9a1b_d8ad9b36b887:n [id="end_id_f36cdfca_08ed_4244_acff_5e79b81ea352@fun-main" tailtooltip=" " edgetooltip=" "]
  

}