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_bfc222e2_6219_4ed8_a796_1e60e64c7556 [id="id_bfc222e2_6219_4ed8_a796_1e60e64c7556#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_b73ea007_ba7f_49c3_b4fb_9e633fbbc141 [id="id_b73ea007_ba7f_49c3_b4fb_9e633fbbc141#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="height" tooltip="height: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f123496d_a867_4b24_8182_d4a71759a573 [id="id_f123496d_a867_4b24_8182_d4a71759a573#Output" pos="0.0,9998.125!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="\"how tall are you\"" tooltip="\"how tall are you\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c3685781_5a50_4a09_b85d_ac035e76c2c2 [id="id_c3685781_5a50_4a09_b85d_ac035e76c2c2#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="height" tooltip="height" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_99402163_bad1_408e_9f11_fce8d5add020 [id="id_99402163_bad1_408e_9f11_fce8d5add020#If" pos="0.0,9996.25!" height=0.5 width=3.03 fixedsize=true group="fun-main" 
    label="(height>=1)+(height<=2)" tooltip="(height>=1)+(height<=2)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 [pos="2.5,9996.25!" shape=point width=0]
  false_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 [pos="-3.75,9996.25!" shape=point width=0]
  
  id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d [id="id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d#Output" pos="2.5,9995.3125!" height=0.4 width=2.18 fixedsize=true group="id_c5e653ad_8e39_4b7d_bdb0_a9a5434dbe3f"    label="\"enjoy the ride\"" tooltip="\"enjoy the ride\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e0c05e94_fa06_4503_8242_ee673cb9b9c2 [id="id_e0c05e94_fa06_4503_8242_ee673cb9b9c2#Output" pos="-3.75,9995.3125!" height=0.4 width=3.6100000000000003 fixedsize=true group="id_32ebd8da_6f63_4909_a4d0_72b37f049754"    label="\"you cannot get on this ride\"" tooltip="\"you cannot get on this ride\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020 [ pos="2.5,9994.375!" shape=point width=0]
  false_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020 [ pos="-3.75,9994.375!" shape=point width=0]
  
  end_id_99402163_bad1_408e_9f11_fce8d5add020 [id="end_id_99402163_bad1_408e_9f11_fce8d5add020#IfEnd" class="flowrun-not-selectable" pos="0.0,9994.375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_a0698be1_b363_44ba_b800_e3593c0d554c [id="id_a0698be1_b363_44ba_b800_e3593c0d554c#Return" pos="0.0,9993.4375!" 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_bfc222e2_6219_4ed8_a796_1e60e64c7556:s -> id_b73ea007_ba7f_49c3_b4fb_9e633fbbc141:n [id="id_bfc222e2_6219_4ed8_a796_1e60e64c7556@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b73ea007_ba7f_49c3_b4fb_9e633fbbc141:s -> id_f123496d_a867_4b24_8182_d4a71759a573:n [id="id_b73ea007_ba7f_49c3_b4fb_9e633fbbc141@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f123496d_a867_4b24_8182_d4a71759a573:s -> id_c3685781_5a50_4a09_b85d_ac035e76c2c2:n [id="id_f123496d_a867_4b24_8182_d4a71759a573@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c3685781_5a50_4a09_b85d_ac035e76c2c2:s -> id_99402163_bad1_408e_9f11_fce8d5add020:n [id="id_c3685781_5a50_4a09_b85d_ac035e76c2c2@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_99402163_bad1_408e_9f11_fce8d5add020:e -> true_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 [id="id_99402163_bad1_408e_9f11_fce8d5add020@id_c5e653ad_8e39_4b7d_bdb0_a9a5434dbe3f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 -> id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d:n [id="id_99402163_bad1_408e_9f11_fce8d5add020@id_c5e653ad_8e39_4b7d_bdb0_a9a5434dbe3f" tailtooltip=" " edgetooltip=" "]
  
  id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d:s -> true_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020:n [id="id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d@id_c5e653ad_8e39_4b7d_bdb0_a9a5434dbe3f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020 -> end_id_99402163_bad1_408e_9f11_fce8d5add020 [id="id_8aea2dc8_61b9_4e5b_8da1_c4021c43be7d@id_c5e653ad_8e39_4b7d_bdb0_a9a5434dbe3f" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_99402163_bad1_408e_9f11_fce8d5add020:w -> false_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 [id="id_99402163_bad1_408e_9f11_fce8d5add020@id_32ebd8da_6f63_4909_a4d0_72b37f049754" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_99402163_bad1_408e_9f11_fce8d5add020 -> id_e0c05e94_fa06_4503_8242_ee673cb9b9c2:n [id="id_99402163_bad1_408e_9f11_fce8d5add020@id_32ebd8da_6f63_4909_a4d0_72b37f049754" tailtooltip=" " edgetooltip=" "]
  
  id_e0c05e94_fa06_4503_8242_ee673cb9b9c2:s -> false_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020:n [id="id_e0c05e94_fa06_4503_8242_ee673cb9b9c2@id_32ebd8da_6f63_4909_a4d0_72b37f049754" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_99402163_bad1_408e_9f11_fce8d5add020 -> end_id_99402163_bad1_408e_9f11_fce8d5add020 [id="id_e0c05e94_fa06_4503_8242_ee673cb9b9c2@id_32ebd8da_6f63_4909_a4d0_72b37f049754" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_99402163_bad1_408e_9f11_fce8d5add020:s -> id_a0698be1_b363_44ba_b800_e3593c0d554c:n [id="end_id_99402163_bad1_408e_9f11_fce8d5add020@fun-main" tailtooltip=" " edgetooltip=" "]
  

}