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_3c91434f_d469_4002_8a4a_b749666d10c2 [id="id_3c91434f_d469_4002_8a4a_b749666d10c2#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_1e6bf234_2bef_449a_a6cb_44c526130ba9 [id="id_1e6bf234_2bef_449a_a6cb_44c526130ba9#Declare" pos="0.0,9999.0625!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="speedlimit = 0" tooltip="speedlimit: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_556cb383_1f04_4e1c_a7eb_b93e00d78427 [id="id_556cb383_1f04_4e1c_a7eb_b93e00d78427#Declare" pos="0.0,9998.125!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="driverspeed = 0" tooltip="driverspeed: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_66b7b7c2_9f81_4e76_b54f_4c5295443fb3 [id="id_66b7b7c2_9f81_4e76_b54f_4c5295443fb3#Declare" pos="0.0,9997.1875!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="abovelimit = 0" tooltip="abovelimit: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f3809916_e2b6_45ae_8bb0_7b2d6bd7c0d2 [id="id_f3809916_e2b6_45ae_8bb0_7b2d6bd7c0d2#Comment" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="comment" tooltip="comment" shape="parallelogram" fillcolor="#C0C0C0" color="#A9A9A9" fontcolor="white"] 
  id_19d76720_8bd3_4d84_af18_25ab67d74bd7 [id="id_19d76720_8bd3_4d84_af18_25ab67d74bd7#Input" pos="0.0,9995.3125!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="speedlimit" tooltip="speedlimit" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b#While" pos="0.0,9994.375!" height=0.5 width=4.68 fixedsize=true group="fun-main" 
    label="(speedlimit < 20) || (speedlimit > 70)" tooltip="(speedlimit < 20) || (speedlimit > 70)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="3.75,9994.375!" shape=point width=0]
  false_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="-3.75,9994.375!" shape=point width=0]
  
  id_44e0c0b9_4194_4e33_975a_f194fa90657f [id="id_44e0c0b9_4194_4e33_975a_f194fa90657f#Input" pos="3.75,9993.4375!" height=0.4 width=1.3 fixedsize=true group="id_d9badad2_3ff5_48a3_b2af_4e04995f9722"    label="speedlimit" tooltip="speedlimit" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="3.75,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="-3.75,9992.5!" shape=point width=0]
  end_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_4a4c3981_ede8_4993_bef0_b939a669fa43 [id="id_4a4c3981_ede8_4993_bef0_b939a669fa43#Input" pos="0.0,9991.5625!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="driverspeed" tooltip="driverspeed" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e#While" pos="0.0,9990.625!" height=0.5 width=3.14 fixedsize=true group="fun-main" 
    label="speedlimit > driverspeed" tooltip="speedlimit > driverspeed" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="2.5,9990.625!" shape=point width=0]
  false_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="-2.5,9990.625!" shape=point width=0]
  
  id_1fe2d22f_2887_4b78_a0c5_1a814acbb081 [id="id_1fe2d22f_2887_4b78_a0c5_1a814acbb081#Input" pos="2.5,9989.6875!" height=0.4 width=1.41 fixedsize=true group="id_80578bd9_4860_45e1_a21b_ca4ad0053102"    label="driverspeed" tooltip="driverspeed" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="2.5,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="-2.5,9988.75!" shape=point width=0]
  end_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_810eb48a_3446_4eb9_933d_e86ac19e2a77 [id="id_810eb48a_3446_4eb9_933d_e86ac19e2a77#Assign" pos="0.0,9987.8125!" height=0.4 width=4.2700000000000005 fixedsize=true group="fun-main"    label="abovelimit = driverspeed - speedlimit" tooltip="abovelimit = driverspeed - speedlimit" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_df925153_e02e_41c9_ace2_ad8b73222ffc [id="id_df925153_e02e_41c9_ace2_ad8b73222ffc#Output" pos="0.0,9986.875!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="\"You were driving \"" tooltip="\"You were driving \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5ed3108f_0f0d_4da1_943f_6fc1060c6bdf [id="id_5ed3108f_0f0d_4da1_943f_6fc1060c6bdf#Output" pos="0.0,9985.9375!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="abovelimit" tooltip="abovelimit" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3635d097_94af_4b63_b05e_be63df37ddf9 [id="id_3635d097_94af_4b63_b05e_be63df37ddf9#Output" pos="0.0,9985.0!" height=0.4 width=3.83 fixedsize=true group="fun-main"    label="\" miles above the speed limit.\"" tooltip="\" miles above the speed limit.\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_30ba91d9_d8dd_4dc6_97bc_77b6048e2dc5 [id="id_30ba91d9_d8dd_4dc6_97bc_77b6048e2dc5#Return" pos="0.0,9984.0625!" 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_3c91434f_d469_4002_8a4a_b749666d10c2:s -> id_1e6bf234_2bef_449a_a6cb_44c526130ba9:n [id="id_3c91434f_d469_4002_8a4a_b749666d10c2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1e6bf234_2bef_449a_a6cb_44c526130ba9:s -> id_556cb383_1f04_4e1c_a7eb_b93e00d78427:n [id="id_1e6bf234_2bef_449a_a6cb_44c526130ba9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_556cb383_1f04_4e1c_a7eb_b93e00d78427:s -> id_66b7b7c2_9f81_4e76_b54f_4c5295443fb3:n [id="id_556cb383_1f04_4e1c_a7eb_b93e00d78427@fun-main" tailtooltip=" " edgetooltip=" "]
  id_66b7b7c2_9f81_4e76_b54f_4c5295443fb3:s -> id_f3809916_e2b6_45ae_8bb0_7b2d6bd7c0d2:n [id="id_66b7b7c2_9f81_4e76_b54f_4c5295443fb3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f3809916_e2b6_45ae_8bb0_7b2d6bd7c0d2:s -> id_19d76720_8bd3_4d84_af18_25ab67d74bd7:n [id="id_f3809916_e2b6_45ae_8bb0_7b2d6bd7c0d2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_19d76720_8bd3_4d84_af18_25ab67d74bd7:s -> id_cc13851a_f3b6_46ae_9020_09ff4dc7971b:n [id="id_19d76720_8bd3_4d84_af18_25ab67d74bd7@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_cc13851a_f3b6_46ae_9020_09ff4dc7971b:e -> true_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@id_d9badad2_3ff5_48a3_b2af_4e04995f9722" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> id_44e0c0b9_4194_4e33_975a_f194fa90657f:n [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@id_d9badad2_3ff5_48a3_b2af_4e04995f9722" tailtooltip=" " edgetooltip=" "]
  
  id_44e0c0b9_4194_4e33_975a_f194fa90657f:s -> true_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b:n [id="id_44e0c0b9_4194_4e33_975a_f194fa90657f@id_d9badad2_3ff5_48a3_b2af_4e04995f9722" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> true_dummy_down_left_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_44e0c0b9_4194_4e33_975a_f194fa90657f@id_d9badad2_3ff5_48a3_b2af_4e04995f9722" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> id_cc13851a_f3b6_46ae_9020_09ff4dc7971b:s [id="id_44e0c0b9_4194_4e33_975a_f194fa90657f@id_d9badad2_3ff5_48a3_b2af_4e04995f9722" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_cc13851a_f3b6_46ae_9020_09ff4dc7971b:w -> false_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> false_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> end_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_cc13851a_f3b6_46ae_9020_09ff4dc7971b -> id_4a4c3981_ede8_4993_bef0_b939a669fa43 [id="id_cc13851a_f3b6_46ae_9020_09ff4dc7971b@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_4a4c3981_ede8_4993_bef0_b939a669fa43:s -> id_b7559f5e_9510_45d5_a147_95e1e7848d1e:n [id="id_4a4c3981_ede8_4993_bef0_b939a669fa43@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_b7559f5e_9510_45d5_a147_95e1e7848d1e:e -> true_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@id_80578bd9_4860_45e1_a21b_ca4ad0053102" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> id_1fe2d22f_2887_4b78_a0c5_1a814acbb081:n [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@id_80578bd9_4860_45e1_a21b_ca4ad0053102" tailtooltip=" " edgetooltip=" "]
  
  id_1fe2d22f_2887_4b78_a0c5_1a814acbb081:s -> true_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e:n [id="id_1fe2d22f_2887_4b78_a0c5_1a814acbb081@id_80578bd9_4860_45e1_a21b_ca4ad0053102" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> true_dummy_down_left_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_1fe2d22f_2887_4b78_a0c5_1a814acbb081@id_80578bd9_4860_45e1_a21b_ca4ad0053102" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> id_b7559f5e_9510_45d5_a147_95e1e7848d1e:s [id="id_1fe2d22f_2887_4b78_a0c5_1a814acbb081@id_80578bd9_4860_45e1_a21b_ca4ad0053102" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_b7559f5e_9510_45d5_a147_95e1e7848d1e:w -> false_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> false_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> end_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_b7559f5e_9510_45d5_a147_95e1e7848d1e -> id_810eb48a_3446_4eb9_933d_e86ac19e2a77 [id="id_b7559f5e_9510_45d5_a147_95e1e7848d1e@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_810eb48a_3446_4eb9_933d_e86ac19e2a77:s -> id_df925153_e02e_41c9_ace2_ad8b73222ffc:n [id="id_810eb48a_3446_4eb9_933d_e86ac19e2a77@fun-main" tailtooltip=" " edgetooltip=" "]
  id_df925153_e02e_41c9_ace2_ad8b73222ffc:s -> id_5ed3108f_0f0d_4da1_943f_6fc1060c6bdf:n [id="id_df925153_e02e_41c9_ace2_ad8b73222ffc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5ed3108f_0f0d_4da1_943f_6fc1060c6bdf:s -> id_3635d097_94af_4b63_b05e_be63df37ddf9:n [id="id_5ed3108f_0f0d_4da1_943f_6fc1060c6bdf@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3635d097_94af_4b63_b05e_be63df37ddf9:s -> id_30ba91d9_d8dd_4dc6_97bc_77b6048e2dc5:n [id="id_3635d097_94af_4b63_b05e_be63df37ddf9@fun-main" tailtooltip=" " edgetooltip=" "]

}