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_14c18973_d13b_4f83_9b61_33f29fcc9be4 [id="id_14c18973_d13b_4f83_9b61_33f29fcc9be4#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_437b7dd2_e438_496b_84b3_86c10cc9dbf2 [id="id_437b7dd2_e438_496b_84b3_86c10cc9dbf2#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ticket" tooltip="ticket: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1c1dd81c_a188_4bfb_863e_0a53abc49307 [id="id_1c1dd81c_a188_4bfb_863e_0a53abc49307#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="weight" tooltip="weight: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6d4d7780_5146_4dde_91fb_c666ea2a4d93 [id="id_6d4d7780_5146_4dde_91fb_c666ea2a4d93#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ticket" tooltip="ticket" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9f97ad5b_6ce9_4897_a6bb_dfdf1ba6610d [id="id_9f97ad5b_6ce9_4897_a6bb_dfdf1ba6610d#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="weight" tooltip="weight" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="id_3b0439f5_ea63_45bf_963c_b98b1f163635#If" pos="0.0,9995.3125!" height=0.5 width=2.37 fixedsize=true group="fun-main" 
    label="ticket==\"valid\"" tooltip="ticket==\"valid\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb#If" pos="2.5,9994.375!" height=0.5 width=1.71 fixedsize=true group="id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" 
    label="weight <=20" tooltip="weight <=20" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [pos="5.0,9994.375!" shape=point width=0]
  false_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [pos="1.25,9994.375!" shape=point width=0]
  
  id_c5466bf6_50fd_4c25_a501_2ca0e001098d [id="id_c5466bf6_50fd_4c25_a501_2ca0e001098d#Output" pos="5.0,9993.4375!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_5ba9eddb_b7ab_4ba3_a8b9_d09e9bcd8f42"    label="\"boarding allowed\"" tooltip="\"boarding allowed\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef [id="id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef#Output" pos="1.25,9993.4375!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_0c051b7e_5726_4702_8271_304cb67385e7"    label="\"extra charges\"" tooltip="\"extra charges\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [ pos="5.0,9992.5!" shape=point width=0]
  false_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [ pos="1.25,9992.5!" shape=point width=0]
  
  end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb#IfEnd" class="flowrun-not-selectable" pos="2.5,9992.5!" group="id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_4f0808a6_1c18_4880_bc08_5b180af66227 [id="id_4f0808a6_1c18_4880_bc08_5b180af66227#Output" pos="-1.25,9994.375!" height=0.4 width=2.18 fixedsize=true group="id_c7ac159f_1394_44e2_b264_d50365b10e1c"    label="\"invalid ticket\"" tooltip="\"invalid ticket\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [ pos="2.5,9991.5625!" shape=point width=0]
  false_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [ pos="-1.25,9991.5625!" shape=point width=0]
  
  end_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="end_id_3b0439f5_ea63_45bf_963c_b98b1f163635#IfEnd" class="flowrun-not-selectable" pos="0.0,9991.5625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_26c729ee_721a_4b8c_a436_f88a80631f5e [id="id_26c729ee_721a_4b8c_a436_f88a80631f5e#Return" pos="0.0,9990.625!" 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_14c18973_d13b_4f83_9b61_33f29fcc9be4:s -> id_437b7dd2_e438_496b_84b3_86c10cc9dbf2:n [id="id_14c18973_d13b_4f83_9b61_33f29fcc9be4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_437b7dd2_e438_496b_84b3_86c10cc9dbf2:s -> id_1c1dd81c_a188_4bfb_863e_0a53abc49307:n [id="id_437b7dd2_e438_496b_84b3_86c10cc9dbf2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1c1dd81c_a188_4bfb_863e_0a53abc49307:s -> id_6d4d7780_5146_4dde_91fb_c666ea2a4d93:n [id="id_1c1dd81c_a188_4bfb_863e_0a53abc49307@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6d4d7780_5146_4dde_91fb_c666ea2a4d93:s -> id_9f97ad5b_6ce9_4897_a6bb_dfdf1ba6610d:n [id="id_6d4d7780_5146_4dde_91fb_c666ea2a4d93@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9f97ad5b_6ce9_4897_a6bb_dfdf1ba6610d:s -> id_3b0439f5_ea63_45bf_963c_b98b1f163635:n [id="id_9f97ad5b_6ce9_4897_a6bb_dfdf1ba6610d@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_3b0439f5_ea63_45bf_963c_b98b1f163635:e -> true_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="id_3b0439f5_ea63_45bf_963c_b98b1f163635@id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 -> id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:n [id="id_3b0439f5_ea63_45bf_963c_b98b1f163635@id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:e -> true_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_5ba9eddb_b7ab_4ba3_a8b9_d09e9bcd8f42" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb -> id_c5466bf6_50fd_4c25_a501_2ca0e001098d:n [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_5ba9eddb_b7ab_4ba3_a8b9_d09e9bcd8f42" tailtooltip=" " edgetooltip=" "]
  
  id_c5466bf6_50fd_4c25_a501_2ca0e001098d:s -> true_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:n [id="id_c5466bf6_50fd_4c25_a501_2ca0e001098d@id_5ba9eddb_b7ab_4ba3_a8b9_d09e9bcd8f42" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb -> end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="id_c5466bf6_50fd_4c25_a501_2ca0e001098d@id_5ba9eddb_b7ab_4ba3_a8b9_d09e9bcd8f42" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:w -> false_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_0c051b7e_5726_4702_8271_304cb67385e7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb -> id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef:n [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_0c051b7e_5726_4702_8271_304cb67385e7" tailtooltip=" " edgetooltip=" "]
  
  id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef:s -> false_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:n [id="id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef@id_0c051b7e_5726_4702_8271_304cb67385e7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb -> end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb [id="id_287b1022_91ba_4b4e_9e4c_dc5cb73215ef@id_0c051b7e_5726_4702_8271_304cb67385e7" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb:s -> true_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635:n [id="end_id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635 -> end_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="id_4374f0c5_46a0_42fc_abcc_efa8c9af3fcb@id_1d0a46a6_9e84_4983_91a0_23c89e786ee1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3b0439f5_ea63_45bf_963c_b98b1f163635:w -> false_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="id_3b0439f5_ea63_45bf_963c_b98b1f163635@id_c7ac159f_1394_44e2_b264_d50365b10e1c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3b0439f5_ea63_45bf_963c_b98b1f163635 -> id_4f0808a6_1c18_4880_bc08_5b180af66227:n [id="id_3b0439f5_ea63_45bf_963c_b98b1f163635@id_c7ac159f_1394_44e2_b264_d50365b10e1c" tailtooltip=" " edgetooltip=" "]
  
  id_4f0808a6_1c18_4880_bc08_5b180af66227:s -> false_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635:n [id="id_4f0808a6_1c18_4880_bc08_5b180af66227@id_c7ac159f_1394_44e2_b264_d50365b10e1c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_3b0439f5_ea63_45bf_963c_b98b1f163635 -> end_id_3b0439f5_ea63_45bf_963c_b98b1f163635 [id="id_4f0808a6_1c18_4880_bc08_5b180af66227@id_c7ac159f_1394_44e2_b264_d50365b10e1c" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3b0439f5_ea63_45bf_963c_b98b1f163635:s -> id_26c729ee_721a_4b8c_a436_f88a80631f5e:n [id="end_id_3b0439f5_ea63_45bf_963c_b98b1f163635@fun-main" tailtooltip=" " edgetooltip=" "]
  

}