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_24762931_2bc8_44cc_a3fa_38ed7611db9c [id="id_24762931_2bc8_44cc_a3fa_38ed7611db9c#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_3be5f4a9_be9e_4a74_a74a_c6f060bb08f7 [id="id_3be5f4a9_be9e_4a74_a74a_c6f060bb08f7#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_72aefa8b_0a6d_4e62_bb53_9c01f219b494 [id="id_72aefa8b_0a6d_4e62_bb53_9c01f219b494#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t" tooltip="t: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0d818bbc_e8b6_4eca_b2b5_9f17737c32ff [id="id_0d818bbc_e8b6_4eca_b2b5_9f17737c32ff#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="p" tooltip="p: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9d4249c5_a60c_434f_aab1_8510dd075ddc [id="id_9d4249c5_a60c_434f_aab1_8510dd075ddc#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_26f05cca_33e1_4275_b885_e6ab24847c60 [id="id_26f05cca_33e1_4275_b885_e6ab24847c60#Assign" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t = 0" tooltip="t = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_eb8c13e6_9ea5_463d_b159_887a2e33b049 [id="id_eb8c13e6_9ea5_463d_b159_887a2e33b049#Assign" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 1" tooltip="x = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_00d4893c_8ac4_4216_a0e5_65297d49d11c [id="id_00d4893c_8ac4_4216_a0e5_65297d49d11c#Assign" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c = 1" tooltip="c = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da#While" pos="0.0,9992.5!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="c<=89" tooltip="c<=89" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="1.25,9992.5!" shape=point width=0]
  false_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="-1.25,9992.5!" shape=point width=0]
  
  id_c8bd3a9c_a0b4_485c_9d04_69db781185c5 [id="id_c8bd3a9c_a0b4_485c_9d04_69db781185c5#Output" pos="1.25,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7"    label="t" tooltip="t" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cea46314_43c8_4768_86be_6f5f249c01bd [id="id_cea46314_43c8_4768_86be_6f5f249c01bd#Assign" pos="1.25,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7"    label="p = x+t" tooltip="p = x+t" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_1f823d74_d58d_453c_9380_e6f349f3ba52 [id="id_1f823d74_d58d_453c_9380_e6f349f3ba52#Assign" pos="1.25,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7"    label="t = x" tooltip="t = x" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_a032c4c0_fec9_481c_91e1_3634c5411550 [id="id_a032c4c0_fec9_481c_91e1_3634c5411550#Assign" pos="1.25,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7"    label="x = p" tooltip="x = p" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_eb8c0342_7eec_4201_aecb_5720adfab5bd [id="id_eb8c0342_7eec_4201_aecb_5720adfab5bd#Assign" pos="1.25,9987.8125!" height=0.4 width=1.0 fixedsize=true group="id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7"    label="c = c+1" tooltip="c = c+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="1.25,9986.979166666666!" shape=point width=0]
  true_dummy_down_left_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="0.0,9986.979166666666!" shape=point width=0]
  false_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="-1.25,9986.875!" shape=point width=0]
  end_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [pos="0.0,9986.875!" group="fun-main" shape=point width=0]
  
  
  id_6cbea453_4215_4fac_86e1_c610d679a49e [id="id_6cbea453_4215_4fac_86e1_c610d679a49e#Return" pos="0.0,9985.9375!" 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_24762931_2bc8_44cc_a3fa_38ed7611db9c:s -> id_3be5f4a9_be9e_4a74_a74a_c6f060bb08f7:n [id="id_24762931_2bc8_44cc_a3fa_38ed7611db9c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3be5f4a9_be9e_4a74_a74a_c6f060bb08f7:s -> id_72aefa8b_0a6d_4e62_bb53_9c01f219b494:n [id="id_3be5f4a9_be9e_4a74_a74a_c6f060bb08f7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_72aefa8b_0a6d_4e62_bb53_9c01f219b494:s -> id_0d818bbc_e8b6_4eca_b2b5_9f17737c32ff:n [id="id_72aefa8b_0a6d_4e62_bb53_9c01f219b494@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0d818bbc_e8b6_4eca_b2b5_9f17737c32ff:s -> id_9d4249c5_a60c_434f_aab1_8510dd075ddc:n [id="id_0d818bbc_e8b6_4eca_b2b5_9f17737c32ff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9d4249c5_a60c_434f_aab1_8510dd075ddc:s -> id_26f05cca_33e1_4275_b885_e6ab24847c60:n [id="id_9d4249c5_a60c_434f_aab1_8510dd075ddc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_26f05cca_33e1_4275_b885_e6ab24847c60:s -> id_eb8c13e6_9ea5_463d_b159_887a2e33b049:n [id="id_26f05cca_33e1_4275_b885_e6ab24847c60@fun-main" tailtooltip=" " edgetooltip=" "]
  id_eb8c13e6_9ea5_463d_b159_887a2e33b049:s -> id_00d4893c_8ac4_4216_a0e5_65297d49d11c:n [id="id_eb8c13e6_9ea5_463d_b159_887a2e33b049@fun-main" tailtooltip=" " edgetooltip=" "]
  id_00d4893c_8ac4_4216_a0e5_65297d49d11c:s -> id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da:n [id="id_00d4893c_8ac4_4216_a0e5_65297d49d11c@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da:e -> true_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> id_c8bd3a9c_a0b4_485c_9d04_69db781185c5:n [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  
  id_c8bd3a9c_a0b4_485c_9d04_69db781185c5:s -> id_cea46314_43c8_4768_86be_6f5f249c01bd:n [id="id_c8bd3a9c_a0b4_485c_9d04_69db781185c5@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  id_cea46314_43c8_4768_86be_6f5f249c01bd:s -> id_1f823d74_d58d_453c_9380_e6f349f3ba52:n [id="id_cea46314_43c8_4768_86be_6f5f249c01bd@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  id_1f823d74_d58d_453c_9380_e6f349f3ba52:s -> id_a032c4c0_fec9_481c_91e1_3634c5411550:n [id="id_1f823d74_d58d_453c_9380_e6f349f3ba52@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  id_a032c4c0_fec9_481c_91e1_3634c5411550:s -> id_eb8c0342_7eec_4201_aecb_5720adfab5bd:n [id="id_a032c4c0_fec9_481c_91e1_3634c5411550@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  id_eb8c0342_7eec_4201_aecb_5720adfab5bd:s -> true_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da:n [id="id_eb8c0342_7eec_4201_aecb_5720adfab5bd@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> true_dummy_down_left_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_eb8c0342_7eec_4201_aecb_5720adfab5bd@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da:s [id="id_eb8c0342_7eec_4201_aecb_5720adfab5bd@id_e2a6d2e6_ce74_4225_b250_d683a8b2a2a7" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da:w -> false_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> false_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> end_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da -> id_6cbea453_4215_4fac_86e1_c610d679a49e [id="id_48e5e89b_a7c1_4f15_bbbf_90a8b6eb84da@fun-main" tailtooltip=" " edgetooltip=" "]
  

}