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_b14c2b56_c550_413a_8493_624891540b1d [id="id_b14c2b56_c550_413a_8493_624891540b1d#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_cf8d56e0_5398_414b_9637_8db19b904495 [id="id_cf8d56e0_5398_414b_9637_8db19b904495#Declare" pos="0.0,9999.0625!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="isstudent = true" tooltip="isstudent: Boolean = true" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_728dcf35_c88a_49b6_9622_c6421d274391 [id="id_728dcf35_c88a_49b6_9622_c6421d274391#Declare" pos="0.0,9998.125!" height=0.4 width=2.18 fixedsize=true group="fun-main"    label="hasstudent = false" tooltip="hasstudent: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_04999238_4cea_4188_b349_5dc7dad7028c [id="id_04999238_4cea_4188_b349_5dc7dad7028c#Output" pos="0.0,9997.1875!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="isstudent" tooltip="isstudent" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1c5915fe_ad3b_4a88_ad77_47f9414e83b5 [id="id_1c5915fe_ad3b_4a88_ad77_47f9414e83b5#Output" pos="0.0,9996.25!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="hasstudent" tooltip="hasstudent" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_abc820f8_c5e5_492f_93e7_82eb8247effe [id="id_abc820f8_c5e5_492f_93e7_82eb8247effe#Return" pos="0.0,9995.3125!" 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_b14c2b56_c550_413a_8493_624891540b1d:s -> id_cf8d56e0_5398_414b_9637_8db19b904495:n [id="id_b14c2b56_c550_413a_8493_624891540b1d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_cf8d56e0_5398_414b_9637_8db19b904495:s -> id_728dcf35_c88a_49b6_9622_c6421d274391:n [id="id_cf8d56e0_5398_414b_9637_8db19b904495@fun-main" tailtooltip=" " edgetooltip=" "]
  id_728dcf35_c88a_49b6_9622_c6421d274391:s -> id_04999238_4cea_4188_b349_5dc7dad7028c:n [id="id_728dcf35_c88a_49b6_9622_c6421d274391@fun-main" tailtooltip=" " edgetooltip=" "]
  id_04999238_4cea_4188_b349_5dc7dad7028c:s -> id_1c5915fe_ad3b_4a88_ad77_47f9414e83b5:n [id="id_04999238_4cea_4188_b349_5dc7dad7028c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1c5915fe_ad3b_4a88_ad77_47f9414e83b5:s -> id_abc820f8_c5e5_492f_93e7_82eb8247effe:n [id="id_1c5915fe_ad3b_4a88_ad77_47f9414e83b5@fun-main" tailtooltip=" " edgetooltip=" "]

}