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_c1826b4e_9a6f_4f35_ab44_3bf8a075b9c3 [id="id_c1826b4e_9a6f_4f35_ab44_3bf8a075b9c3#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_e4e72815_d7a9_473c_b94c_f8507c352818 [id="id_e4e72815_d7a9_473c_b94c_f8507c352818#Declare" pos="0.0,9999.0625!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="lugares = 20" tooltip="lugares: Integer = 20" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5829119b_d98f_457f_bc28_f3c7d5f0182d [id="id_5829119b_d98f_457f_bc28_f3c7d5f0182d#Declare" pos="0.0,9998.125!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="bilhetes = 0" tooltip="bilhetes: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325#While" pos="0.0,9997.1875!" height=0.5 width=1.49 fixedsize=true group="fun-main" 
    label="lugares>0" tooltip="lugares>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="6.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_0822dba0_3aa4_40f9_a9e0_34de4b098c7b [id="id_0822dba0_3aa4_40f9_a9e0_34de4b098c7b#Output" pos="6.25,9996.25!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a"    label="\"quantos bilhetes?\"" tooltip="\"quantos bilhetes?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fb001e04_422b_463b_92ea_16acf986c023 [id="id_fb001e04_422b_463b_92ea_16acf986c023#Input" pos="6.25,9995.3125!" height=0.4 width=1.08 fixedsize=true group="id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a"    label="bilhetes" tooltip="bilhetes" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="id_0ad05e16_8923_4ebd_98a6_11b241ca3e99#If" pos="6.25,9994.375!" height=0.5 width=2.59 fixedsize=true group="id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" 
    label="bilhetes <= lugares" tooltip="bilhetes <= lugares" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [pos="10.0,9994.375!" shape=point width=0]
  false_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [pos="2.5,9994.375!" shape=point width=0]
  
  id_e6f6b623_0aca_420a_84e7_62d4dd67f12f [id="id_e6f6b623_0aca_420a_84e7_62d4dd67f12f#Assign" pos="10.0,9993.4375!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_57430943_9f08_4a46_adab_16b8cdce7cc0"    label="lugares = lugares - bilhetes" tooltip="lugares = lugares - bilhetes" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_108e4d66_2e0d_4656_8da5_1059b8c97bd7 [id="id_108e4d66_2e0d_4656_8da5_1059b8c97bd7#Output" pos="10.0,9992.5!" height=0.4 width=4.05 fixedsize=true group="id_57430943_9f08_4a46_adab_16b8cdce7cc0"    label="\"restam\" + lugares + \" lugares\"" tooltip="\"restam\" + lugares + \" lugares\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_89743068_ed2d_41de_930f_7c9b962eacbf [id="id_89743068_ed2d_41de_930f_7c9b962eacbf#Input" pos="10.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_57430943_9f08_4a46_adab_16b8cdce7cc0"    label="lugares" tooltip="lugares" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e [id="id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e#Output" pos="2.5,9993.4375!" height=0.4 width=4.2700000000000005 fixedsize=true group="id_5a70c307_6cae_4299_bee0_106799735548"    label="\"so restam\" + lugares + \"lugares\"" tooltip="\"so restam\" + lugares + \"lugares\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [ pos="10.0,9990.625!" shape=point width=0]
  false_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [ pos="2.5,9990.625!" shape=point width=0]
  
  end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99#IfEnd" class="flowrun-not-selectable" pos="6.25,9990.625!" group="id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474 [id="id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474#Input" pos="6.25,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="6.25,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_61704094_0363_493a_b64b_89ca8a4d2197 [id="id_61704094_0363_493a_b64b_89ca8a4d2197#Output" pos="0.0,9987.8125!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="\"esgotado\"" tooltip="\"esgotado\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3ccf39d4_19cf_46a3_a048_a42e20da9a05 [id="id_3ccf39d4_19cf_46a3_a048_a42e20da9a05#Return" pos="0.0,9986.875!" 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_c1826b4e_9a6f_4f35_ab44_3bf8a075b9c3:s -> id_e4e72815_d7a9_473c_b94c_f8507c352818:n [id="id_c1826b4e_9a6f_4f35_ab44_3bf8a075b9c3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e4e72815_d7a9_473c_b94c_f8507c352818:s -> id_5829119b_d98f_457f_bc28_f3c7d5f0182d:n [id="id_e4e72815_d7a9_473c_b94c_f8507c352818@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5829119b_d98f_457f_bc28_f3c7d5f0182d:s -> id_a3fb9f40_1d4d_4286_b45e_918cc8483325:n [id="id_5829119b_d98f_457f_bc28_f3c7d5f0182d@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_a3fb9f40_1d4d_4286_b45e_918cc8483325:e -> true_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> id_0822dba0_3aa4_40f9_a9e0_34de4b098c7b:n [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" "]
  
  id_0822dba0_3aa4_40f9_a9e0_34de4b098c7b:s -> id_fb001e04_422b_463b_92ea_16acf986c023:n [id="id_0822dba0_3aa4_40f9_a9e0_34de4b098c7b@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" "]
  id_fb001e04_422b_463b_92ea_16acf986c023:s -> id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:n [id="id_fb001e04_422b_463b_92ea_16acf986c023@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:e -> true_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="id_0ad05e16_8923_4ebd_98a6_11b241ca3e99@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 -> id_e6f6b623_0aca_420a_84e7_62d4dd67f12f:n [id="id_0ad05e16_8923_4ebd_98a6_11b241ca3e99@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" "]
  
  id_e6f6b623_0aca_420a_84e7_62d4dd67f12f:s -> id_108e4d66_2e0d_4656_8da5_1059b8c97bd7:n [id="id_e6f6b623_0aca_420a_84e7_62d4dd67f12f@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" "]
  id_108e4d66_2e0d_4656_8da5_1059b8c97bd7:s -> id_89743068_ed2d_41de_930f_7c9b962eacbf:n [id="id_108e4d66_2e0d_4656_8da5_1059b8c97bd7@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" "]
  id_89743068_ed2d_41de_930f_7c9b962eacbf:s -> true_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:n [id="id_89743068_ed2d_41de_930f_7c9b962eacbf@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 -> end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="id_89743068_ed2d_41de_930f_7c9b962eacbf@id_57430943_9f08_4a46_adab_16b8cdce7cc0" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:w -> false_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="id_0ad05e16_8923_4ebd_98a6_11b241ca3e99@id_5a70c307_6cae_4299_bee0_106799735548" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 -> id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e:n [id="id_0ad05e16_8923_4ebd_98a6_11b241ca3e99@id_5a70c307_6cae_4299_bee0_106799735548" tailtooltip=" " edgetooltip=" "]
  
  id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e:s -> false_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:n [id="id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e@id_5a70c307_6cae_4299_bee0_106799735548" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 -> end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99 [id="id_70324a0e_44fe_4b7b_84c0_dd05fad82e4e@id_5a70c307_6cae_4299_bee0_106799735548" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99:s -> id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474:n [id="end_id_0ad05e16_8923_4ebd_98a6_11b241ca3e99@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" "]
  
  
  id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474:s -> true_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325:n [id="id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> true_dummy_down_left_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> id_a3fb9f40_1d4d_4286_b45e_918cc8483325:s [id="id_4e6b8f77_29ed_4c1c_8e74_bf4ea67ec474@id_12b4bf8c_fb33_400d_91e1_ed9b03612b7a" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_a3fb9f40_1d4d_4286_b45e_918cc8483325:w -> false_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> false_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> end_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_a3fb9f40_1d4d_4286_b45e_918cc8483325 -> id_61704094_0363_493a_b64b_89ca8a4d2197 [id="id_a3fb9f40_1d4d_4286_b45e_918cc8483325@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_61704094_0363_493a_b64b_89ca8a4d2197:s -> id_3ccf39d4_19cf_46a3_a048_a42e20da9a05:n [id="id_61704094_0363_493a_b64b_89ca8a4d2197@fun-main" tailtooltip=" " edgetooltip=" "]

}