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_eb58b877_e42c_464f_919b_237be005b9d1 [id="id_eb58b877_e42c_464f_919b_237be005b9d1#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_9cea1f77_6d3b_42da_a082_ab963a647fcf [id="id_9cea1f77_6d3b_42da_a082_ab963a647fcf#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="balance" tooltip="balance: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_df782f7c_7af0_468b_b33e_36062eea7b04 [id="id_df782f7c_7af0_468b_b33e_36062eea7b04#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="balance" tooltip="balance" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ba08f4ad_239b_480a_b3f4_b5a4587e6b32 [id="id_ba08f4ad_239b_480a_b3f4_b5a4587e6b32#Declare" pos="0.0,9997.1875!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="withdraw" tooltip="withdraw: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_92a0b255_15e3_4ff1_8fbd_dd22e45bbb10 [id="id_92a0b255_15e3_4ff1_8fbd_dd22e45bbb10#Input" pos="0.0,9996.25!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="withdraw" tooltip="withdraw" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="id_49994f55_a048_468a_8f5c_7e75f6c82a9f#If" pos="0.0,9995.3125!" height=0.5 width=1.49 fixedsize=true group="fun-main" 
    label="balance>0" tooltip="balance>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [pos="5.0,9995.3125!" shape=point width=0]
  false_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_a6244709_52f9_46da_a71f_eda36145acd9 [id="id_a6244709_52f9_46da_a71f_eda36145acd9#If" pos="5.0,9994.375!" height=0.5 width=2.37 fixedsize=true group="id_bccf73ee_e079_4054_82e6_eb8395015871" 
    label="withdraw<=balance" tooltip="withdraw<=balance" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 [pos="7.5,9994.375!" shape=point width=0]
  false_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 [pos="2.5,9994.375!" shape=point width=0]
  
  id_41326698_ce8b_43c1_bc5f_9b8df3028c92 [id="id_41326698_ce8b_43c1_bc5f_9b8df3028c92#Output" pos="7.5,9993.4375!" height=0.4 width=3.06 fixedsize=true group="id_f11d0e6b_6a60_4007_97cb_47593f47c71a"    label="\"transaction successful\"" tooltip="\"transaction successful\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_57227459_4117_43d9_ba12_a6ef3b329b43 [id="id_57227459_4117_43d9_ba12_a6ef3b329b43#Output" pos="2.5,9993.4375!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_f6dff7f2_eb13_40ee_8048_dc54c094ffcf"    label="\"insufficient balance\"" tooltip="\"insufficient balance\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9 [ pos="7.5,9992.5!" shape=point width=0]
  false_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9 [ pos="2.5,9992.5!" shape=point width=0]
  
  end_id_a6244709_52f9_46da_a71f_eda36145acd9 [id="end_id_a6244709_52f9_46da_a71f_eda36145acd9#IfEnd" class="flowrun-not-selectable" pos="5.0,9992.5!" group="id_bccf73ee_e079_4054_82e6_eb8395015871" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b [id="id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b#Output" pos="-1.25,9994.375!" height=0.4 width=1.19 fixedsize=true group="id_972198b8_d906_4abb_ac0a_644a7da66e35"    label="\"empty\"" tooltip="\"empty\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [ pos="5.0,9991.5625!" shape=point width=0]
  false_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [ pos="-1.25,9991.5625!" shape=point width=0]
  
  end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f#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_4f9b6cc7_767d_4bfc_8176_bc716843b67d [id="id_4f9b6cc7_767d_4bfc_8176_bc716843b67d#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_eb58b877_e42c_464f_919b_237be005b9d1:s -> id_9cea1f77_6d3b_42da_a082_ab963a647fcf:n [id="id_eb58b877_e42c_464f_919b_237be005b9d1@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9cea1f77_6d3b_42da_a082_ab963a647fcf:s -> id_df782f7c_7af0_468b_b33e_36062eea7b04:n [id="id_9cea1f77_6d3b_42da_a082_ab963a647fcf@fun-main" tailtooltip=" " edgetooltip=" "]
  id_df782f7c_7af0_468b_b33e_36062eea7b04:s -> id_ba08f4ad_239b_480a_b3f4_b5a4587e6b32:n [id="id_df782f7c_7af0_468b_b33e_36062eea7b04@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ba08f4ad_239b_480a_b3f4_b5a4587e6b32:s -> id_92a0b255_15e3_4ff1_8fbd_dd22e45bbb10:n [id="id_ba08f4ad_239b_480a_b3f4_b5a4587e6b32@fun-main" tailtooltip=" " edgetooltip=" "]
  id_92a0b255_15e3_4ff1_8fbd_dd22e45bbb10:s -> id_49994f55_a048_468a_8f5c_7e75f6c82a9f:n [id="id_92a0b255_15e3_4ff1_8fbd_dd22e45bbb10@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_49994f55_a048_468a_8f5c_7e75f6c82a9f:e -> true_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="id_49994f55_a048_468a_8f5c_7e75f6c82a9f@id_bccf73ee_e079_4054_82e6_eb8395015871" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f -> id_a6244709_52f9_46da_a71f_eda36145acd9:n [id="id_49994f55_a048_468a_8f5c_7e75f6c82a9f@id_bccf73ee_e079_4054_82e6_eb8395015871" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_a6244709_52f9_46da_a71f_eda36145acd9:e -> true_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 [id="id_a6244709_52f9_46da_a71f_eda36145acd9@id_f11d0e6b_6a60_4007_97cb_47593f47c71a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 -> id_41326698_ce8b_43c1_bc5f_9b8df3028c92:n [id="id_a6244709_52f9_46da_a71f_eda36145acd9@id_f11d0e6b_6a60_4007_97cb_47593f47c71a" tailtooltip=" " edgetooltip=" "]
  
  id_41326698_ce8b_43c1_bc5f_9b8df3028c92:s -> true_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9:n [id="id_41326698_ce8b_43c1_bc5f_9b8df3028c92@id_f11d0e6b_6a60_4007_97cb_47593f47c71a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9 -> end_id_a6244709_52f9_46da_a71f_eda36145acd9 [id="id_41326698_ce8b_43c1_bc5f_9b8df3028c92@id_f11d0e6b_6a60_4007_97cb_47593f47c71a" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_a6244709_52f9_46da_a71f_eda36145acd9:w -> false_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 [id="id_a6244709_52f9_46da_a71f_eda36145acd9@id_f6dff7f2_eb13_40ee_8048_dc54c094ffcf" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a6244709_52f9_46da_a71f_eda36145acd9 -> id_57227459_4117_43d9_ba12_a6ef3b329b43:n [id="id_a6244709_52f9_46da_a71f_eda36145acd9@id_f6dff7f2_eb13_40ee_8048_dc54c094ffcf" tailtooltip=" " edgetooltip=" "]
  
  id_57227459_4117_43d9_ba12_a6ef3b329b43:s -> false_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9:n [id="id_57227459_4117_43d9_ba12_a6ef3b329b43@id_f6dff7f2_eb13_40ee_8048_dc54c094ffcf" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_a6244709_52f9_46da_a71f_eda36145acd9 -> end_id_a6244709_52f9_46da_a71f_eda36145acd9 [id="id_57227459_4117_43d9_ba12_a6ef3b329b43@id_f6dff7f2_eb13_40ee_8048_dc54c094ffcf" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_a6244709_52f9_46da_a71f_eda36145acd9:s -> true_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f:n [id="end_id_a6244709_52f9_46da_a71f_eda36145acd9@id_bccf73ee_e079_4054_82e6_eb8395015871" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f -> end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="id_a6244709_52f9_46da_a71f_eda36145acd9@id_bccf73ee_e079_4054_82e6_eb8395015871" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_49994f55_a048_468a_8f5c_7e75f6c82a9f:w -> false_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="id_49994f55_a048_468a_8f5c_7e75f6c82a9f@id_972198b8_d906_4abb_ac0a_644a7da66e35" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_49994f55_a048_468a_8f5c_7e75f6c82a9f -> id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b:n [id="id_49994f55_a048_468a_8f5c_7e75f6c82a9f@id_972198b8_d906_4abb_ac0a_644a7da66e35" tailtooltip=" " edgetooltip=" "]
  
  id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b:s -> false_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f:n [id="id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b@id_972198b8_d906_4abb_ac0a_644a7da66e35" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_49994f55_a048_468a_8f5c_7e75f6c82a9f -> end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f [id="id_dcfc5e36_3e48_4189_9d91_a0eba3717c6b@id_972198b8_d906_4abb_ac0a_644a7da66e35" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f:s -> id_4f9b6cc7_767d_4bfc_8176_bc716843b67d:n [id="end_id_49994f55_a048_468a_8f5c_7e75f6c82a9f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}