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_09f212c3_d575_4d3b_ac1b_82f6b5ab39ed [id="id_09f212c3_d575_4d3b_ac1b_82f6b5ab39ed#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_235c154e_17e9_4e0f_8b26_93d6d03bccfe [id="id_235c154e_17e9_4e0f_8b26_93d6d03bccfe#Declare" pos="0.0,9999.0625!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="reddito = readInput()" tooltip="reddito: Integer = readInput()" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3#While" pos="0.0,9998.125!" height=0.5 width=1.82 fixedsize=true group="fun-main" 
    label="reddito <= 0" tooltip="reddito <= 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="2.5,9998.125!" shape=point width=0]
  false_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="-1.25,9998.125!" shape=point width=0]
  
  id_7bac042c_ae39_4961_91f1_5febf3916a1f [id="id_7bac042c_ae39_4961_91f1_5febf3916a1f#Output" pos="2.5,9997.1875!" height=0.4 width=3.39 fixedsize=true group="id_d4a46814_fac1_4c93_b54c_7cb33b306ba6"    label="\"Inserire un numero valido\"" tooltip="\"Inserire un numero valido\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4259adc8_5bdb_4ebd_95a9_38c76dd53186 [id="id_4259adc8_5bdb_4ebd_95a9_38c76dd53186#Input" pos="2.5,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_d4a46814_fac1_4c93_b54c_7cb33b306ba6"    label="reddito" tooltip="reddito" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="2.5,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_26efa82a_b4db_43c7_be18_f227cc6f5f54#If" pos="0.0,9994.375!" height=0.5 width=2.26 fixedsize=true group="fun-main" 
    label="reddito <= 10000" tooltip="reddito <= 10000" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [pos="2.5,9994.375!" shape=point width=0]
  false_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [pos="-3.75,9994.375!" shape=point width=0]
  
  id_da3350bd_a506_4b3b_93a0_6b2617c060d4 [id="id_da3350bd_a506_4b3b_93a0_6b2617c060d4#Assign" pos="2.5,9993.4375!" height=0.4 width=3.83 fixedsize=true group="id_8549808d_3a09_4cfb_a7f5_a5a2ca925e53"    label="reddito = real2int(reddito * 0.9)" tooltip="reddito = real2int(reddito * 0.9)" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_45d3e8a6_574b_47cf_8caa_7986c0edb11f [id="id_45d3e8a6_574b_47cf_8caa_7986c0edb11f#Assign" pos="-3.75,9993.4375!" height=0.4 width=4.82 fixedsize=true group="id_3d6f9d46_3500_407b_b088_55eb45c923b4"    label="reddito = real2int((reddito - 1000) * 0.8)" tooltip="reddito = real2int((reddito - 1000) * 0.8)" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_3bb458bb_6670_4000_be2b_439d709eb954 [id="id_3bb458bb_6670_4000_be2b_439d709eb954#Assign" pos="-3.75,9992.5!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_3d6f9d46_3500_407b_b088_55eb45c923b4"    label="reddito = reddito" tooltip="reddito = reddito" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [ pos="2.5,9991.5625!" shape=point width=0]
  false_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [ pos="-3.75,9991.5625!" shape=point width=0]
  
  end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54#IfEnd" class="flowrun-not-selectable" pos="0.0,9991.5625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_30be41b6_338c_44ea_a875_1d5952dfc927 [id="id_30be41b6_338c_44ea_a875_1d5952dfc927#Output" pos="0.0,9990.625!" height=0.4 width=4.49 fixedsize=true group="fun-main"    label="\"Reddito annuale: \" + reddito + \"€\"" tooltip="\"Reddito annuale: \" + reddito + \"€\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e61552c3_8940_4150_8674_f3642462abf1 [id="id_e61552c3_8940_4150_8674_f3642462abf1#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_09f212c3_d575_4d3b_ac1b_82f6b5ab39ed:s -> id_235c154e_17e9_4e0f_8b26_93d6d03bccfe:n [id="id_09f212c3_d575_4d3b_ac1b_82f6b5ab39ed@fun-main" tailtooltip=" " edgetooltip=" "]
  id_235c154e_17e9_4e0f_8b26_93d6d03bccfe:s -> id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3:n [id="id_235c154e_17e9_4e0f_8b26_93d6d03bccfe@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3:e -> true_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> id_7bac042c_ae39_4961_91f1_5febf3916a1f:n [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" "]
  
  id_7bac042c_ae39_4961_91f1_5febf3916a1f:s -> id_4259adc8_5bdb_4ebd_95a9_38c76dd53186:n [id="id_7bac042c_ae39_4961_91f1_5febf3916a1f@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" "]
  id_4259adc8_5bdb_4ebd_95a9_38c76dd53186:s -> true_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3:n [id="id_4259adc8_5bdb_4ebd_95a9_38c76dd53186@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> true_dummy_down_left_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_4259adc8_5bdb_4ebd_95a9_38c76dd53186@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3:s [id="id_4259adc8_5bdb_4ebd_95a9_38c76dd53186@id_d4a46814_fac1_4c93_b54c_7cb33b306ba6" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3:w -> false_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> false_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> end_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3 -> id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_08d513f0_1b41_4a60_80c0_0cf193b1a2a3@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_26efa82a_b4db_43c7_be18_f227cc6f5f54:e -> true_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_26efa82a_b4db_43c7_be18_f227cc6f5f54@id_8549808d_3a09_4cfb_a7f5_a5a2ca925e53" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 -> id_da3350bd_a506_4b3b_93a0_6b2617c060d4:n [id="id_26efa82a_b4db_43c7_be18_f227cc6f5f54@id_8549808d_3a09_4cfb_a7f5_a5a2ca925e53" tailtooltip=" " edgetooltip=" "]
  
  id_da3350bd_a506_4b3b_93a0_6b2617c060d4:s -> true_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54:n [id="id_da3350bd_a506_4b3b_93a0_6b2617c060d4@id_8549808d_3a09_4cfb_a7f5_a5a2ca925e53" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 -> end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_da3350bd_a506_4b3b_93a0_6b2617c060d4@id_8549808d_3a09_4cfb_a7f5_a5a2ca925e53" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_26efa82a_b4db_43c7_be18_f227cc6f5f54:w -> false_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_26efa82a_b4db_43c7_be18_f227cc6f5f54@id_3d6f9d46_3500_407b_b088_55eb45c923b4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 -> id_45d3e8a6_574b_47cf_8caa_7986c0edb11f:n [id="id_26efa82a_b4db_43c7_be18_f227cc6f5f54@id_3d6f9d46_3500_407b_b088_55eb45c923b4" tailtooltip=" " edgetooltip=" "]
  
  id_45d3e8a6_574b_47cf_8caa_7986c0edb11f:s -> id_3bb458bb_6670_4000_be2b_439d709eb954:n [id="id_45d3e8a6_574b_47cf_8caa_7986c0edb11f@id_3d6f9d46_3500_407b_b088_55eb45c923b4" tailtooltip=" " edgetooltip=" "]
  id_3bb458bb_6670_4000_be2b_439d709eb954:s -> false_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54:n [id="id_3bb458bb_6670_4000_be2b_439d709eb954@id_3d6f9d46_3500_407b_b088_55eb45c923b4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 -> end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54 [id="id_3bb458bb_6670_4000_be2b_439d709eb954@id_3d6f9d46_3500_407b_b088_55eb45c923b4" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54:s -> id_30be41b6_338c_44ea_a875_1d5952dfc927:n [id="end_id_26efa82a_b4db_43c7_be18_f227cc6f5f54@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_30be41b6_338c_44ea_a875_1d5952dfc927:s -> id_e61552c3_8940_4150_8674_f3642462abf1:n [id="id_30be41b6_338c_44ea_a875_1d5952dfc927@fun-main" tailtooltip=" " edgetooltip=" "]

}