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_8cee41cf_ea06_4c3d_a7f7_2c22b2c7cbb9 [id="id_8cee41cf_ea06_4c3d_a7f7_2c22b2c7cbb9#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_f9d21c8f_833d_42c2_8f2f_63c51484aab5 [id="id_f9d21c8f_833d_42c2_8f2f_63c51484aab5#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_d4b97f9a_aa40_444f_aad6_7508b53155ff [id="id_d4b97f9a_aa40_444f_aad6_7508b53155ff#Declare" pos="0.0,9998.125!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="HasLaptop = false" tooltip="HasLaptop: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ac12c00b_fb23_44e4_aa37_47eff3e89c52 [id="id_ac12c00b_fb23_44e4_aa37_47eff3e89c52#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_eb9a3839_dea6_4e18_bcdd_08c4eaabcac6 [id="id_eb9a3839_dea6_4e18_bcdd_08c4eaabcac6#Output" pos="0.0,9996.25!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="HasLaptop" tooltip="HasLaptop" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3c25e71d_ab12_463c_9452_ec82539150cd [id="id_3c25e71d_ab12_463c_9452_ec82539150cd#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_8cee41cf_ea06_4c3d_a7f7_2c22b2c7cbb9:s -> id_f9d21c8f_833d_42c2_8f2f_63c51484aab5:n [id="id_8cee41cf_ea06_4c3d_a7f7_2c22b2c7cbb9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f9d21c8f_833d_42c2_8f2f_63c51484aab5:s -> id_d4b97f9a_aa40_444f_aad6_7508b53155ff:n [id="id_f9d21c8f_833d_42c2_8f2f_63c51484aab5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d4b97f9a_aa40_444f_aad6_7508b53155ff:s -> id_ac12c00b_fb23_44e4_aa37_47eff3e89c52:n [id="id_d4b97f9a_aa40_444f_aad6_7508b53155ff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ac12c00b_fb23_44e4_aa37_47eff3e89c52:s -> id_eb9a3839_dea6_4e18_bcdd_08c4eaabcac6:n [id="id_ac12c00b_fb23_44e4_aa37_47eff3e89c52@fun-main" tailtooltip=" " edgetooltip=" "]
  id_eb9a3839_dea6_4e18_bcdd_08c4eaabcac6:s -> id_3c25e71d_ab12_463c_9452_ec82539150cd:n [id="id_eb9a3839_dea6_4e18_bcdd_08c4eaabcac6@fun-main" tailtooltip=" " edgetooltip=" "]

}