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_8e4e680d_5bac_49c2_b1ee_2d43fc25bfb0 [id="id_8e4e680d_5bac_49c2_b1ee_2d43fc25bfb0#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_03b4017d_5b89_4720_9211_180f7d91c98c [id="id_03b4017d_5b89_4720_9211_180f7d91c98c#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_f9eaa359_eec2_4403_924a_0d2121329197 [id="id_f9eaa359_eec2_4403_924a_0d2121329197#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_f18f2231_fa73_4b4e_a946_c156ed1d28d0 [id="id_f18f2231_fa73_4b4e_a946_c156ed1d28d0#Output" pos="0.0,9997.1875!" height=0.4 width=3.06 fixedsize=true group="fun-main"    label="\"quantos bilhetes quer?\"" tooltip="\"quantos bilhetes quer?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_63cd9606_e74d_452f_99d4_1cfa492e7cdc [id="id_63cd9606_e74d_452f_99d4_1cfa492e7cdc#Input" pos="0.0,9996.25!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="bilhetes" tooltip="bilhetes" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_3939b700_ff6f_456f_a739_cc8976e3964c#While" pos="0.0,9995.3125!" 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_3939b700_ff6f_456f_a739_cc8976e3964c [pos="7.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_3939b700_ff6f_456f_a739_cc8976e3964c [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_e7ae5e17_46fa_4d4f_ad97_b66e7a54608c [id="id_e7ae5e17_46fa_4d4f_ad97_b66e7a54608c#Output" pos="7.5,9994.375!" height=0.4 width=2.73 fixedsize=true group="id_632b7450_61ee_4d08_80ec_14e38b888754"    label="\"bilhetes comprados?\"" tooltip="\"bilhetes comprados?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_49a18e41_621b_4829_9bb5_f5050feb64e1 [id="id_49a18e41_621b_4829_9bb5_f5050feb64e1#Input" pos="7.5,9993.4375!" height=0.4 width=1.08 fixedsize=true group="id_632b7450_61ee_4d08_80ec_14e38b888754"    label="bilhetes" tooltip="bilhetes" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9#If" pos="7.5,9992.5!" height=0.5 width=2.37 fixedsize=true group="id_632b7450_61ee_4d08_80ec_14e38b888754" 
    label="bilhetes<=lugares" tooltip="bilhetes<=lugares" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [pos="11.25,9992.5!" shape=point width=0]
  false_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [pos="3.75,9992.5!" shape=point width=0]
  
  id_e6624a70_89fd_4862_a26d_b563d74add5d [id="id_e6624a70_89fd_4862_a26d_b563d74add5d#Assign" pos="11.25,9991.5625!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6"    label="lugares = lugares - bilhetes" tooltip="lugares = lugares - bilhetes" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c [id="id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c#Output" pos="11.25,9990.625!" height=0.4 width=5.37 fixedsize=true group="id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6"    label="\"lugares restantes \" + lugares + \" lugares\"" tooltip="\"lugares restantes \" + lugares + \" lugares\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b3d97875_7f23_4eb4_9f56_da270ebaed5c [id="id_b3d97875_7f23_4eb4_9f56_da270ebaed5c#Output" pos="3.75,9991.5625!" height=0.4 width=4.49 fixedsize=true group="id_ad9027a1_3e9a_448d_adb2_3887d09894d6"    label="\"so restam \" + lugares + \" lugares\"" tooltip="\"so restam \" + lugares + \" lugares\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [ pos="11.25,9989.6875!" shape=point width=0]
  false_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [ pos="3.75,9989.6875!" shape=point width=0]
  
  end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9#IfEnd" class="flowrun-not-selectable" pos="7.5,9989.6875!" group="id_632b7450_61ee_4d08_80ec_14e38b888754" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c [pos="7.5,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_3939b700_ff6f_456f_a739_cc8976e3964c [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_f4052b8a_9754_40e4_a2af_8255c032815e [id="id_f4052b8a_9754_40e4_a2af_8255c032815e#Output" pos="0.0,9987.8125!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="\"esgotado!\"" tooltip="\"esgotado!\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e2138453_edae_4872_92df_8cd22565a4d5 [id="id_e2138453_edae_4872_92df_8cd22565a4d5#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_8e4e680d_5bac_49c2_b1ee_2d43fc25bfb0:s -> id_03b4017d_5b89_4720_9211_180f7d91c98c:n [id="id_8e4e680d_5bac_49c2_b1ee_2d43fc25bfb0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_03b4017d_5b89_4720_9211_180f7d91c98c:s -> id_f9eaa359_eec2_4403_924a_0d2121329197:n [id="id_03b4017d_5b89_4720_9211_180f7d91c98c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f9eaa359_eec2_4403_924a_0d2121329197:s -> id_f18f2231_fa73_4b4e_a946_c156ed1d28d0:n [id="id_f9eaa359_eec2_4403_924a_0d2121329197@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f18f2231_fa73_4b4e_a946_c156ed1d28d0:s -> id_63cd9606_e74d_452f_99d4_1cfa492e7cdc:n [id="id_f18f2231_fa73_4b4e_a946_c156ed1d28d0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_63cd9606_e74d_452f_99d4_1cfa492e7cdc:s -> id_3939b700_ff6f_456f_a739_cc8976e3964c:n [id="id_63cd9606_e74d_452f_99d4_1cfa492e7cdc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_3939b700_ff6f_456f_a739_cc8976e3964c:e -> true_dummy_up_id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3939b700_ff6f_456f_a739_cc8976e3964c -> id_e7ae5e17_46fa_4d4f_ad97_b66e7a54608c:n [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" "]
  
  id_e7ae5e17_46fa_4d4f_ad97_b66e7a54608c:s -> id_49a18e41_621b_4829_9bb5_f5050feb64e1:n [id="id_e7ae5e17_46fa_4d4f_ad97_b66e7a54608c@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" "]
  id_49a18e41_621b_4829_9bb5_f5050feb64e1:s -> id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:n [id="id_49a18e41_621b_4829_9bb5_f5050feb64e1@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:e -> true_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 -> id_e6624a70_89fd_4862_a26d_b563d74add5d:n [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6" tailtooltip=" " edgetooltip=" "]
  
  id_e6624a70_89fd_4862_a26d_b563d74add5d:s -> id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c:n [id="id_e6624a70_89fd_4862_a26d_b563d74add5d@id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6" tailtooltip=" " edgetooltip=" "]
  id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c:s -> true_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:n [id="id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c@id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 -> end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="id_0c245d21_8e18_4fab_80fe_ebaa4c41e44c@id_11814a21_bccc_4ab8_91b0_2cc7a2044fb6" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:w -> false_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_ad9027a1_3e9a_448d_adb2_3887d09894d6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 -> id_b3d97875_7f23_4eb4_9f56_da270ebaed5c:n [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_ad9027a1_3e9a_448d_adb2_3887d09894d6" tailtooltip=" " edgetooltip=" "]
  
  id_b3d97875_7f23_4eb4_9f56_da270ebaed5c:s -> false_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:n [id="id_b3d97875_7f23_4eb4_9f56_da270ebaed5c@id_ad9027a1_3e9a_448d_adb2_3887d09894d6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 -> end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9 [id="id_b3d97875_7f23_4eb4_9f56_da270ebaed5c@id_ad9027a1_3e9a_448d_adb2_3887d09894d6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9:s -> true_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c:n [id="end_id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c -> true_dummy_down_left_id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_3939b700_ff6f_456f_a739_cc8976e3964c -> id_3939b700_ff6f_456f_a739_cc8976e3964c:s [id="id_35e02d23_ce13_439e_ab09_88fd48f6cbd9@id_632b7450_61ee_4d08_80ec_14e38b888754" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_3939b700_ff6f_456f_a739_cc8976e3964c:w -> false_dummy_up_id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3939b700_ff6f_456f_a739_cc8976e3964c -> false_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c -> end_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_3939b700_ff6f_456f_a739_cc8976e3964c -> id_f4052b8a_9754_40e4_a2af_8255c032815e [id="id_3939b700_ff6f_456f_a739_cc8976e3964c@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f4052b8a_9754_40e4_a2af_8255c032815e:s -> id_e2138453_edae_4872_92df_8cd22565a4d5:n [id="id_f4052b8a_9754_40e4_a2af_8255c032815e@fun-main" tailtooltip=" " edgetooltip=" "]

}