
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_45c6c034_2f09_41f0_817c_b666ba848c8f [id="id_45c6c034_2f09_41f0_817c_b666ba848c8f#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_50e2b5d1_cd5a_41f1_a564_4258820c0f88 [id="id_50e2b5d1_cd5a_41f1_a564_4258820c0f88#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="count1" tooltip="count1: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ad763fb7_6379_4858_a150_c1266c5a4de1 [id="id_ad763fb7_6379_4858_a150_c1266c5a4de1#Output" pos="0.0,9998.125!" height=0.4 width=5.04 fixedsize=true group="fun-main"    label="\"please pick a number to count down from \"" tooltip="\"please pick a number to count down from \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_21a68059_a3be_4ab2_8a3d_b1da275237ab [id="id_21a68059_a3be_4ab2_8a3d_b1da275237ab#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="count1" tooltip="count1" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d1f2cd0a_560f_4ba1_a5e6_dcca050925ec [id="id_d1f2cd0a_560f_4ba1_a5e6_dcca050925ec#Declare" pos="0.0,9996.25!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="count2 = count1+1" tooltip="count2: Integer = count1+1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_b4321792_247e_43b2_8dfd_10226d7d1393#While" pos="0.0,9995.3125!" height=0.5 width=2.92 fixedsize=true group="fun-main" 
    label="count2 !=count1-count1" tooltip="count2 !=count1-count1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_2023bb67_7ac9_47b2_af39_3c144315e5a7 [id="id_2023bb67_7ac9_47b2_af39_3c144315e5a7#Assign" pos="2.5,9994.375!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_a9e4fe4a_36b8_4888_8e49_1723a73e249b"    label="count2 = count2-1" tooltip="count2 = count2-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_a1374c20_83f6_4805_af81_1b174411d881 [id="id_a1374c20_83f6_4805_af81_1b174411d881#Output" pos="2.5,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_a9e4fe4a_36b8_4888_8e49_1723a73e249b"    label="count2" tooltip="count2" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="2.5,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="-2.5,9992.5!" shape=point width=0]
  end_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_e27af8fe_0347_4499_b5d6_369ac39db58e [id="id_e27af8fe_0347_4499_b5d6_369ac39db58e#Output" pos="0.0,9991.5625!" height=0.4 width=3.06 fixedsize=true group="fun-main"    label="\"you have now reached 0\"" tooltip="\"you have now reached 0\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a8d87092_c249_4216_9ecf_6c1b25539fe9 [id="id_a8d87092_c249_4216_9ecf_6c1b25539fe9#Return" pos="0.0,9990.625!" 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_45c6c034_2f09_41f0_817c_b666ba848c8f:s -> id_50e2b5d1_cd5a_41f1_a564_4258820c0f88:n [id="id_45c6c034_2f09_41f0_817c_b666ba848c8f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_50e2b5d1_cd5a_41f1_a564_4258820c0f88:s -> id_ad763fb7_6379_4858_a150_c1266c5a4de1:n [id="id_50e2b5d1_cd5a_41f1_a564_4258820c0f88@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ad763fb7_6379_4858_a150_c1266c5a4de1:s -> id_21a68059_a3be_4ab2_8a3d_b1da275237ab:n [id="id_ad763fb7_6379_4858_a150_c1266c5a4de1@fun-main" tailtooltip=" " edgetooltip=" "]
  id_21a68059_a3be_4ab2_8a3d_b1da275237ab:s -> id_d1f2cd0a_560f_4ba1_a5e6_dcca050925ec:n [id="id_21a68059_a3be_4ab2_8a3d_b1da275237ab@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d1f2cd0a_560f_4ba1_a5e6_dcca050925ec:s -> id_b4321792_247e_43b2_8dfd_10226d7d1393:n [id="id_d1f2cd0a_560f_4ba1_a5e6_dcca050925ec@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_b4321792_247e_43b2_8dfd_10226d7d1393:e -> true_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> id_2023bb67_7ac9_47b2_af39_3c144315e5a7:n [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" "]
  
  id_2023bb67_7ac9_47b2_af39_3c144315e5a7:s -> id_a1374c20_83f6_4805_af81_1b174411d881:n [id="id_2023bb67_7ac9_47b2_af39_3c144315e5a7@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" "]
  id_a1374c20_83f6_4805_af81_1b174411d881:s -> true_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393:n [id="id_a1374c20_83f6_4805_af81_1b174411d881@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> true_dummy_down_left_id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_a1374c20_83f6_4805_af81_1b174411d881@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> id_b4321792_247e_43b2_8dfd_10226d7d1393:s [id="id_a1374c20_83f6_4805_af81_1b174411d881@id_a9e4fe4a_36b8_4888_8e49_1723a73e249b" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_b4321792_247e_43b2_8dfd_10226d7d1393:w -> false_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> false_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> end_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_b4321792_247e_43b2_8dfd_10226d7d1393 -> id_e27af8fe_0347_4499_b5d6_369ac39db58e [id="id_b4321792_247e_43b2_8dfd_10226d7d1393@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_e27af8fe_0347_4499_b5d6_369ac39db58e:s -> id_a8d87092_c249_4216_9ecf_6c1b25539fe9:n [id="id_e27af8fe_0347_4499_b5d6_369ac39db58e@fun-main" tailtooltip=" " edgetooltip=" "]

}
