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_7a5bd14a_53ca_48c0_a6d1_fecb177ff59f [id="id_7a5bd14a_53ca_48c0_a6d1_fecb177ff59f#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_ca438b89_2b91_4cd2_8896_441ee7091f60 [id="id_ca438b89_2b91_4cd2_8896_441ee7091f60#Declare" pos="0.0,9999.0625!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="Velocita_auto" tooltip="Velocita_auto: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0ec09455_3c5e_4778_872d_23f2542a7a70 [id="id_0ec09455_3c5e_4778_872d_23f2542a7a70#Declare" pos="0.0,9998.125!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="LIMITE_VELOCITA = 50" tooltip="LIMITE_VELOCITA: Integer = 50" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="id_a9084ab9_c56c_42cb_bd99_5ecf279aab47#If" pos="0.0,9997.1875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="true" tooltip="true" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [pos="2.5,9997.1875!" shape=point width=0]
  false_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [pos="-3.75,9997.1875!" shape=point width=0]
  
  id_7c209cd8_6f42_4a15_938c_0f9dca8015d4 [id="id_7c209cd8_6f42_4a15_938c_0f9dca8015d4#Declare" pos="2.5,9996.25!" height=0.4 width=3.9400000000000004 fixedsize=true group="id_ef6df9e8_8d66_4837_a20c_72e51c466776"    label="\"paghi multa + velocita_ + euro\"" tooltip="\"paghi multa + velocita_ + euro\": Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f [id="id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f#Declare" pos="-3.75,9996.25!" height=0.4 width=4.6000000000000005 fixedsize=true group="id_1b5415dc_b854_4704_bb84_cdb6f196faa7"    label="\" non paghi multa\" + velocità + euro\"" tooltip="\" non paghi multa\" + velocità + euro\": Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [ pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [ pos="-3.75,9995.3125!" shape=point width=0]
  
  end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47#IfEnd" class="flowrun-not-selectable" pos="0.0,9995.3125!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_6606e90e_bc8c_4654_ae1f_9a5f41439319 [id="id_6606e90e_bc8c_4654_ae1f_9a5f41439319#Return" pos="0.0,9994.375!" 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_7a5bd14a_53ca_48c0_a6d1_fecb177ff59f:s -> id_ca438b89_2b91_4cd2_8896_441ee7091f60:n [id="id_7a5bd14a_53ca_48c0_a6d1_fecb177ff59f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ca438b89_2b91_4cd2_8896_441ee7091f60:s -> id_0ec09455_3c5e_4778_872d_23f2542a7a70:n [id="id_ca438b89_2b91_4cd2_8896_441ee7091f60@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0ec09455_3c5e_4778_872d_23f2542a7a70:s -> id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:n [id="id_0ec09455_3c5e_4778_872d_23f2542a7a70@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:e -> true_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="id_a9084ab9_c56c_42cb_bd99_5ecf279aab47@id_ef6df9e8_8d66_4837_a20c_72e51c466776" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 -> id_7c209cd8_6f42_4a15_938c_0f9dca8015d4:n [id="id_a9084ab9_c56c_42cb_bd99_5ecf279aab47@id_ef6df9e8_8d66_4837_a20c_72e51c466776" tailtooltip=" " edgetooltip=" "]
  
  id_7c209cd8_6f42_4a15_938c_0f9dca8015d4:s -> true_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:n [id="id_7c209cd8_6f42_4a15_938c_0f9dca8015d4@id_ef6df9e8_8d66_4837_a20c_72e51c466776" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 -> end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="id_7c209cd8_6f42_4a15_938c_0f9dca8015d4@id_ef6df9e8_8d66_4837_a20c_72e51c466776" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:w -> false_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="id_a9084ab9_c56c_42cb_bd99_5ecf279aab47@id_1b5415dc_b854_4704_bb84_cdb6f196faa7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 -> id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f:n [id="id_a9084ab9_c56c_42cb_bd99_5ecf279aab47@id_1b5415dc_b854_4704_bb84_cdb6f196faa7" tailtooltip=" " edgetooltip=" "]
  
  id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f:s -> false_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:n [id="id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f@id_1b5415dc_b854_4704_bb84_cdb6f196faa7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 -> end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47 [id="id_c5a0354c_f6a7_4fdf_9960_38cb83f7769f@id_1b5415dc_b854_4704_bb84_cdb6f196faa7" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47:s -> id_6606e90e_bc8c_4654_ae1f_9a5f41439319:n [id="end_id_a9084ab9_c56c_42cb_bd99_5ecf279aab47@fun-main" tailtooltip=" " edgetooltip=" "]
  

}