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_4548c717_060f_4621_a097_029aa3f3da70 [id="id_4548c717_060f_4621_a097_029aa3f3da70#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_fde443a3_91b7_441c_b9e5_08375941fa77 [id="id_fde443a3_91b7_441c_b9e5_08375941fa77#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_55ab8d96_26d1_421d_a4dc_70c72f8d53c2 [id="id_55ab8d96_26d1_421d_a4dc_70c72f8d53c2#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 10" tooltip="x = 10: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774#While" pos="0.0,9997.1875!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="x<=10" tooltip="x<=10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_15206fc0_f55b_4050_8ac8_1c7ea7c8bdd1 [id="id_15206fc0_f55b_4050_8ac8_1c7ea7c8bdd1#Declare" pos="1.25,9996.25!" height=0.4 width=1.41 fixedsize=true group="id_77244c51_2928_41ed_8b4c_399f6228175c"    label="escreva (x)" tooltip="escreva (x): Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f6b612b9_ffac_4df3_a641_768a5bb9ebfe [id="id_f6b612b9_ffac_4df3_a641_768a5bb9ebfe#Declare" pos="1.25,9995.3125!" height=0.4 width=1.63 fixedsize=true group="id_77244c51_2928_41ed_8b4c_399f6228175c"    label="escreva \"-\"" tooltip="escreva \"-\": Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea [id="id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea#Declare" pos="1.25,9994.375!" height=0.4 width=1.19 fixedsize=true group="id_77244c51_2928_41ed_8b4c_399f6228175c"    label="x = x - 2" tooltip="x = x - 2: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="1.25,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_eddb5af6_22da_4bfc_9c52_b694704bb567 [id="id_eddb5af6_22da_4bfc_9c52_b694704bb567#Output" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="\"fim\"" tooltip="\"fim\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c1363f9c_5b5e_481a_afbc_4a31f419cf8e [id="id_c1363f9c_5b5e_481a_afbc_4a31f419cf8e#Return" pos="0.0,9991.5625!" 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_4548c717_060f_4621_a097_029aa3f3da70:s -> id_fde443a3_91b7_441c_b9e5_08375941fa77:n [id="id_4548c717_060f_4621_a097_029aa3f3da70@fun-main" tailtooltip=" " edgetooltip=" "]
  id_fde443a3_91b7_441c_b9e5_08375941fa77:s -> id_55ab8d96_26d1_421d_a4dc_70c72f8d53c2:n [id="id_fde443a3_91b7_441c_b9e5_08375941fa77@fun-main" tailtooltip=" " edgetooltip=" "]
  id_55ab8d96_26d1_421d_a4dc_70c72f8d53c2:s -> id_44f1f2e2_6e81_4eab_9470_353255caf774:n [id="id_55ab8d96_26d1_421d_a4dc_70c72f8d53c2@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_44f1f2e2_6e81_4eab_9470_353255caf774:e -> true_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> id_15206fc0_f55b_4050_8ac8_1c7ea7c8bdd1:n [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" "]
  
  id_15206fc0_f55b_4050_8ac8_1c7ea7c8bdd1:s -> id_f6b612b9_ffac_4df3_a641_768a5bb9ebfe:n [id="id_15206fc0_f55b_4050_8ac8_1c7ea7c8bdd1@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" "]
  id_f6b612b9_ffac_4df3_a641_768a5bb9ebfe:s -> id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea:n [id="id_f6b612b9_ffac_4df3_a641_768a5bb9ebfe@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" "]
  id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea:s -> true_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774:n [id="id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> true_dummy_down_left_id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> id_44f1f2e2_6e81_4eab_9470_353255caf774:s [id="id_f1cbe2a0_63b7_4f43_a4f4_5f644fe8ccea@id_77244c51_2928_41ed_8b4c_399f6228175c" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_44f1f2e2_6e81_4eab_9470_353255caf774:w -> false_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> false_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> end_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_44f1f2e2_6e81_4eab_9470_353255caf774 -> id_eddb5af6_22da_4bfc_9c52_b694704bb567 [id="id_44f1f2e2_6e81_4eab_9470_353255caf774@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_eddb5af6_22da_4bfc_9c52_b694704bb567:s -> id_c1363f9c_5b5e_481a_afbc_4a31f419cf8e:n [id="id_eddb5af6_22da_4bfc_9c52_b694704bb567@fun-main" tailtooltip=" " edgetooltip=" "]

}