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_77991e84_e587_417b_96c9_c9efc1112f79 [id="id_77991e84_e587_417b_96c9_c9efc1112f79#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_8c51cc9d_2250_4dd0_9bc2_ed29d60b264a [id="id_8c51cc9d_2250_4dd0_9bc2_ed29d60b264a#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4d1e8a4b_fd60_4036_bd7b_68bae490e971 [id="id_4d1e8a4b_fd60_4036_bd7b_68bae490e971#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_22f9269c_ca41_4569_ab36_36aea24cab96 [id="id_22f9269c_ca41_4569_ab36_36aea24cab96#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a9ab1154_b564_49a1_9e55_af6ab8511651 [id="id_a9ab1154_b564_49a1_9e55_af6ab8511651#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="sa" tooltip="sa: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_90c57b2e_6d28_453c_af07_59c58c48ac05 [id="id_90c57b2e_6d28_453c_af07_59c58c48ac05#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="sb" tooltip="sb: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e26f62ab_4752_47ca_ab5d_8c63fbf95305 [id="id_e26f62ab_4752_47ca_ab5d_8c63fbf95305#Declare" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="sc" tooltip="sc: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7729e201_6b96_4951_85b1_65635b947268 [id="id_7729e201_6b96_4951_85b1_65635b947268#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5c9dc7a5_4837_45ee_8759_0e62d746f07a [id="id_5c9dc7a5_4837_45ee_8759_0e62d746f07a#Input" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_30713fd1_ee08_428d_942e_db4d7d67eb7f [id="id_30713fd1_ee08_428d_942e_db4d7d67eb7f#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_c28dc752_4acd_4c00_83ac_9dc0a769fe07 [id="id_c28dc752_4acd_4c00_83ac_9dc0a769fe07#Assign" pos="0.0,9990.625!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="sa = b+c" tooltip="sa = b+c" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_531f245e_5886_40fb_8b74_42e54759245b [id="id_531f245e_5886_40fb_8b74_42e54759245b#Assign" pos="0.0,9989.6875!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="sb = a+c" tooltip="sb = a+c" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b4ff395b_f27d_42ed_8976_0c2f7ac6eb18 [id="id_b4ff395b_f27d_42ed_8976_0c2f7ac6eb18#Assign" pos="0.0,9988.75!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="sc = a+b" tooltip="sc = a+b" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_13388133_e9bf_42ef_94ae_c8e29957545f [id="id_13388133_e9bf_42ef_94ae_c8e29957545f#If" pos="0.0,9987.8125!" height=0.5 width=2.7 fixedsize=true group="fun-main" 
    label="a<sa && b<sb && c<sc" tooltip="a<sa && b<sb && c<sc" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f [pos="2.5,9987.8125!" shape=point width=0]
  false_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f [pos="-3.75,9987.8125!" shape=point width=0]
  
  id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd [id="id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd#Output" pos="2.5,9986.875!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_f785e91c_1da7_468f_98a5_62f00dfc0693"    label="\"si può fare\"" tooltip="\"si può fare\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_11cf6632_f636_4f08_885a_d7df87f48d72 [id="id_11cf6632_f636_4f08_885a_d7df87f48d72#Output" pos="-3.75,9986.875!" height=0.4 width=2.29 fixedsize=true group="id_34c26d4c_7cb4_4729_a24f_42f120461366"    label="\"non si può fare\"" tooltip="\"non si può fare\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f [ pos="2.5,9985.9375!" shape=point width=0]
  false_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f [ pos="-3.75,9985.9375!" shape=point width=0]
  
  end_id_13388133_e9bf_42ef_94ae_c8e29957545f [id="end_id_13388133_e9bf_42ef_94ae_c8e29957545f#IfEnd" class="flowrun-not-selectable" pos="0.0,9985.9375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_76a9fb51_f32e_47a5_a92b_620de816b611 [id="id_76a9fb51_f32e_47a5_a92b_620de816b611#Return" pos="0.0,9985.0!" 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_77991e84_e587_417b_96c9_c9efc1112f79:s -> id_8c51cc9d_2250_4dd0_9bc2_ed29d60b264a:n [id="id_77991e84_e587_417b_96c9_c9efc1112f79@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8c51cc9d_2250_4dd0_9bc2_ed29d60b264a:s -> id_4d1e8a4b_fd60_4036_bd7b_68bae490e971:n [id="id_8c51cc9d_2250_4dd0_9bc2_ed29d60b264a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4d1e8a4b_fd60_4036_bd7b_68bae490e971:s -> id_22f9269c_ca41_4569_ab36_36aea24cab96:n [id="id_4d1e8a4b_fd60_4036_bd7b_68bae490e971@fun-main" tailtooltip=" " edgetooltip=" "]
  id_22f9269c_ca41_4569_ab36_36aea24cab96:s -> id_a9ab1154_b564_49a1_9e55_af6ab8511651:n [id="id_22f9269c_ca41_4569_ab36_36aea24cab96@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a9ab1154_b564_49a1_9e55_af6ab8511651:s -> id_90c57b2e_6d28_453c_af07_59c58c48ac05:n [id="id_a9ab1154_b564_49a1_9e55_af6ab8511651@fun-main" tailtooltip=" " edgetooltip=" "]
  id_90c57b2e_6d28_453c_af07_59c58c48ac05:s -> id_e26f62ab_4752_47ca_ab5d_8c63fbf95305:n [id="id_90c57b2e_6d28_453c_af07_59c58c48ac05@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e26f62ab_4752_47ca_ab5d_8c63fbf95305:s -> id_7729e201_6b96_4951_85b1_65635b947268:n [id="id_e26f62ab_4752_47ca_ab5d_8c63fbf95305@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7729e201_6b96_4951_85b1_65635b947268:s -> id_5c9dc7a5_4837_45ee_8759_0e62d746f07a:n [id="id_7729e201_6b96_4951_85b1_65635b947268@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5c9dc7a5_4837_45ee_8759_0e62d746f07a:s -> id_30713fd1_ee08_428d_942e_db4d7d67eb7f:n [id="id_5c9dc7a5_4837_45ee_8759_0e62d746f07a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_30713fd1_ee08_428d_942e_db4d7d67eb7f:s -> id_c28dc752_4acd_4c00_83ac_9dc0a769fe07:n [id="id_30713fd1_ee08_428d_942e_db4d7d67eb7f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c28dc752_4acd_4c00_83ac_9dc0a769fe07:s -> id_531f245e_5886_40fb_8b74_42e54759245b:n [id="id_c28dc752_4acd_4c00_83ac_9dc0a769fe07@fun-main" tailtooltip=" " edgetooltip=" "]
  id_531f245e_5886_40fb_8b74_42e54759245b:s -> id_b4ff395b_f27d_42ed_8976_0c2f7ac6eb18:n [id="id_531f245e_5886_40fb_8b74_42e54759245b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b4ff395b_f27d_42ed_8976_0c2f7ac6eb18:s -> id_13388133_e9bf_42ef_94ae_c8e29957545f:n [id="id_b4ff395b_f27d_42ed_8976_0c2f7ac6eb18@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_13388133_e9bf_42ef_94ae_c8e29957545f:e -> true_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f [id="id_13388133_e9bf_42ef_94ae_c8e29957545f@id_f785e91c_1da7_468f_98a5_62f00dfc0693" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f -> id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd:n [id="id_13388133_e9bf_42ef_94ae_c8e29957545f@id_f785e91c_1da7_468f_98a5_62f00dfc0693" tailtooltip=" " edgetooltip=" "]
  
  id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd:s -> true_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f:n [id="id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd@id_f785e91c_1da7_468f_98a5_62f00dfc0693" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f -> end_id_13388133_e9bf_42ef_94ae_c8e29957545f [id="id_e794e4a0_0145_4127_8ba0_bed3a0c1dadd@id_f785e91c_1da7_468f_98a5_62f00dfc0693" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_13388133_e9bf_42ef_94ae_c8e29957545f:w -> false_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f [id="id_13388133_e9bf_42ef_94ae_c8e29957545f@id_34c26d4c_7cb4_4729_a24f_42f120461366" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_13388133_e9bf_42ef_94ae_c8e29957545f -> id_11cf6632_f636_4f08_885a_d7df87f48d72:n [id="id_13388133_e9bf_42ef_94ae_c8e29957545f@id_34c26d4c_7cb4_4729_a24f_42f120461366" tailtooltip=" " edgetooltip=" "]
  
  id_11cf6632_f636_4f08_885a_d7df87f48d72:s -> false_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f:n [id="id_11cf6632_f636_4f08_885a_d7df87f48d72@id_34c26d4c_7cb4_4729_a24f_42f120461366" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_13388133_e9bf_42ef_94ae_c8e29957545f -> end_id_13388133_e9bf_42ef_94ae_c8e29957545f [id="id_11cf6632_f636_4f08_885a_d7df87f48d72@id_34c26d4c_7cb4_4729_a24f_42f120461366" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_13388133_e9bf_42ef_94ae_c8e29957545f:s -> id_76a9fb51_f32e_47a5_a92b_620de816b611:n [id="end_id_13388133_e9bf_42ef_94ae_c8e29957545f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}