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_b348f559_aca5_44ad_83ff_b6295a43fec8 [id="id_b348f559_aca5_44ad_83ff_b6295a43fec8#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_ab966c50_cfe3_409c_9ef8_bce6df68d570 [id="id_ab966c50_cfe3_409c_9ef8_bce6df68d570#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b06250c8_0890_4789_beeb_854fe51cf7b9 [id="id_b06250c8_0890_4789_beeb_854fe51cf7b9#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_db2e3350_5f33_4b2b_8693_5a1d5a9ccc8d [id="id_db2e3350_5f33_4b2b_8693_5a1d5a9ccc8d#Declare" pos="0.0,9997.1875!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="Risultato" tooltip="Risultato: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_91a7ac3b_6135_4a42_936b_c6f6de1af5f6 [id="id_91a7ac3b_6135_4a42_936b_c6f6de1af5f6#Assign" pos="0.0,9996.25!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="A = true" tooltip="A = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_36e54fa3_8c5b_4a0c_afec_d2f9a27564ad [id="id_36e54fa3_8c5b_4a0c_afec_d2f9a27564ad#Assign" pos="0.0,9995.3125!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="B = false" tooltip="B = false" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b74bee13_39f2_474d_b994_52e2125b1904 [id="id_b74bee13_39f2_474d_b994_52e2125b1904#Assign" pos="0.0,9994.375!" height=0.4 width=2.29 fixedsize=true group="fun-main"    label="Risultato = A&&(!B)" tooltip="Risultato = A&&(!B)" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_916cea75_0ec7_4e79_89a0_a3fa577e917d [id="id_916cea75_0ec7_4e79_89a0_a3fa577e917d#Output" pos="0.0,9993.4375!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="Risultato" tooltip="Risultato" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6ca18b6a_a9b3_4b5c_8b36_8dc871179e7b [id="id_6ca18b6a_a9b3_4b5c_8b36_8dc871179e7b#Return" pos="0.0,9992.5!" 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_b348f559_aca5_44ad_83ff_b6295a43fec8:s -> id_ab966c50_cfe3_409c_9ef8_bce6df68d570:n [id="id_b348f559_aca5_44ad_83ff_b6295a43fec8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ab966c50_cfe3_409c_9ef8_bce6df68d570:s -> id_b06250c8_0890_4789_beeb_854fe51cf7b9:n [id="id_ab966c50_cfe3_409c_9ef8_bce6df68d570@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b06250c8_0890_4789_beeb_854fe51cf7b9:s -> id_db2e3350_5f33_4b2b_8693_5a1d5a9ccc8d:n [id="id_b06250c8_0890_4789_beeb_854fe51cf7b9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_db2e3350_5f33_4b2b_8693_5a1d5a9ccc8d:s -> id_91a7ac3b_6135_4a42_936b_c6f6de1af5f6:n [id="id_db2e3350_5f33_4b2b_8693_5a1d5a9ccc8d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_91a7ac3b_6135_4a42_936b_c6f6de1af5f6:s -> id_36e54fa3_8c5b_4a0c_afec_d2f9a27564ad:n [id="id_91a7ac3b_6135_4a42_936b_c6f6de1af5f6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_36e54fa3_8c5b_4a0c_afec_d2f9a27564ad:s -> id_b74bee13_39f2_474d_b994_52e2125b1904:n [id="id_36e54fa3_8c5b_4a0c_afec_d2f9a27564ad@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b74bee13_39f2_474d_b994_52e2125b1904:s -> id_916cea75_0ec7_4e79_89a0_a3fa577e917d:n [id="id_b74bee13_39f2_474d_b994_52e2125b1904@fun-main" tailtooltip=" " edgetooltip=" "]
  id_916cea75_0ec7_4e79_89a0_a3fa577e917d:s -> id_6ca18b6a_a9b3_4b5c_8b36_8dc871179e7b:n [id="id_916cea75_0ec7_4e79_89a0_a3fa577e917d@fun-main" tailtooltip=" " edgetooltip=" "]

}