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_21205eac_f623_4c04_82c5_6669d621cc3f [id="id_21205eac_f623_4c04_82c5_6669d621cc3f#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_9fa911cf_7ea5_4daa_9f30_4be199bf2855 [id="id_9fa911cf_7ea5_4daa_9f30_4be199bf2855#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6f57362a_1b64_49cf_90bd_929aa9c5288c [id="id_6f57362a_1b64_49cf_90bd_929aa9c5288c#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_da512d87_92b1_48ad_9a8a_715a6be05d52 [id="id_da512d87_92b1_48ad_9a8a_715a6be05d52#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e12781dc_7316_4a8a_8928_da416286ce1e [id="id_e12781dc_7316_4a8a_8928_da416286ce1e#Return" pos="0.0,9996.25!" 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_21205eac_f623_4c04_82c5_6669d621cc3f:s -> id_9fa911cf_7ea5_4daa_9f30_4be199bf2855:n [id="id_21205eac_f623_4c04_82c5_6669d621cc3f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9fa911cf_7ea5_4daa_9f30_4be199bf2855:s -> id_6f57362a_1b64_49cf_90bd_929aa9c5288c:n [id="id_9fa911cf_7ea5_4daa_9f30_4be199bf2855@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6f57362a_1b64_49cf_90bd_929aa9c5288c:s -> id_da512d87_92b1_48ad_9a8a_715a6be05d52:n [id="id_6f57362a_1b64_49cf_90bd_929aa9c5288c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_da512d87_92b1_48ad_9a8a_715a6be05d52:s -> id_e12781dc_7316_4a8a_8928_da416286ce1e:n [id="id_da512d87_92b1_48ad_9a8a_715a6be05d52@fun-main" tailtooltip=" " edgetooltip=" "]

}