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_6f749109_ccfb_4fe7_a631_4d802295b214 [id="id_6f749109_ccfb_4fe7_a631_4d802295b214#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_d0d2b25a_ed99_468c_b371_c0bc96c8b618 [id="id_d0d2b25a_ed99_468c_b371_c0bc96c8b618#Declare" pos="0.0,9999.0625!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="balance = 0" tooltip="balance: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_83f80fdb_37c3_43bf_9a24_df420019d8fe [id="id_83f80fdb_37c3_43bf_9a24_df420019d8fe#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_0d18477a_46b2_4480_b722_259cc6151006 [id="id_0d18477a_46b2_4480_b722_259cc6151006#Declare" pos="0.0,9997.1875!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="withdrawal = 0" tooltip="withdrawal: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_aa8e0a50_b325_435b_a535_d9633f456610 [id="id_aa8e0a50_b325_435b_a535_d9633f456610#Input" pos="0.0,9996.25!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="withdrawal" tooltip="withdrawal" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="id_fb46c1b3_8e79_464a_b901_2847760fddf5#If" pos="0.0,9995.3125!" height=0.5 width=2.81 fixedsize=true group="fun-main" 
    label="withdrawal <= balance" tooltip="withdrawal <= balance" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [pos="3.75,9995.3125!" shape=point width=0]
  false_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [pos="-3.75,9995.3125!" shape=point width=0]
  
  id_353785fd_14d6_4091_b64b_3a4356fb2aef [id="id_353785fd_14d6_4091_b64b_3a4356fb2aef#Declare" pos="3.75,9994.375!" height=0.4 width=3.83 fixedsize=true group="id_8896a22e_59b9_48ba_b60e_96cad55f7f49"    label="newbalance = balance - withdrawal" tooltip="newbalance: Real = balance - withdrawal" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_91af4ff6_3d1d_4f73_8751_ac149c11269f [id="id_91af4ff6_3d1d_4f73_8751_ac149c11269f#Output" pos="3.75,9993.4375!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_8896a22e_59b9_48ba_b60e_96cad55f7f49"    label="\"Withdraw Amount:\"" tooltip="\"Withdraw Amount:\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fafac9b2_ade8_4375_999a_7db0a1927479 [id="id_fafac9b2_ade8_4375_999a_7db0a1927479#Output" pos="3.75,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_8896a22e_59b9_48ba_b60e_96cad55f7f49"    label="withdrawal" tooltip="withdrawal" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_47312483_7686_40ad_9501_6428b3893e9d [id="id_47312483_7686_40ad_9501_6428b3893e9d#Output" pos="3.75,9991.5625!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_8896a22e_59b9_48ba_b60e_96cad55f7f49"    label="\"New Balance\"" tooltip="\"New Balance\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8621b010_7125_444c_8138_9648dc896aac [id="id_8621b010_7125_444c_8138_9648dc896aac#Output" pos="3.75,9990.625!" height=0.4 width=1.3 fixedsize=true group="id_8896a22e_59b9_48ba_b60e_96cad55f7f49"    label="newbalance" tooltip="newbalance" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_df0d8f61_40da_43fa_b8bd_9fc37993d720 [id="id_df0d8f61_40da_43fa_b8bd_9fc37993d720#Output" pos="-3.75,9994.375!" height=0.4 width=2.62 fixedsize=true group="id_dedb68e7_e7bd_44d9_8530_20c9c0c4b7c4"    label="\"Insufficient funds\"" tooltip="\"Insufficient funds\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [ pos="3.75,9989.6875!" shape=point width=0]
  false_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [ pos="-3.75,9989.6875!" shape=point width=0]
  
  end_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="end_id_fb46c1b3_8e79_464a_b901_2847760fddf5#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_b56096b9_d2af_4b82_90e2_e4af280d4436 [id="id_b56096b9_d2af_4b82_90e2_e4af280d4436#Return" pos="0.0,9988.75!" 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_6f749109_ccfb_4fe7_a631_4d802295b214:s -> id_d0d2b25a_ed99_468c_b371_c0bc96c8b618:n [id="id_6f749109_ccfb_4fe7_a631_4d802295b214@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d0d2b25a_ed99_468c_b371_c0bc96c8b618:s -> id_83f80fdb_37c3_43bf_9a24_df420019d8fe:n [id="id_d0d2b25a_ed99_468c_b371_c0bc96c8b618@fun-main" tailtooltip=" " edgetooltip=" "]
  id_83f80fdb_37c3_43bf_9a24_df420019d8fe:s -> id_0d18477a_46b2_4480_b722_259cc6151006:n [id="id_83f80fdb_37c3_43bf_9a24_df420019d8fe@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0d18477a_46b2_4480_b722_259cc6151006:s -> id_aa8e0a50_b325_435b_a535_d9633f456610:n [id="id_0d18477a_46b2_4480_b722_259cc6151006@fun-main" tailtooltip=" " edgetooltip=" "]
  id_aa8e0a50_b325_435b_a535_d9633f456610:s -> id_fb46c1b3_8e79_464a_b901_2847760fddf5:n [id="id_aa8e0a50_b325_435b_a535_d9633f456610@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_fb46c1b3_8e79_464a_b901_2847760fddf5:e -> true_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="id_fb46c1b3_8e79_464a_b901_2847760fddf5@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 -> id_353785fd_14d6_4091_b64b_3a4356fb2aef:n [id="id_fb46c1b3_8e79_464a_b901_2847760fddf5@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  
  id_353785fd_14d6_4091_b64b_3a4356fb2aef:s -> id_91af4ff6_3d1d_4f73_8751_ac149c11269f:n [id="id_353785fd_14d6_4091_b64b_3a4356fb2aef@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  id_91af4ff6_3d1d_4f73_8751_ac149c11269f:s -> id_fafac9b2_ade8_4375_999a_7db0a1927479:n [id="id_91af4ff6_3d1d_4f73_8751_ac149c11269f@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  id_fafac9b2_ade8_4375_999a_7db0a1927479:s -> id_47312483_7686_40ad_9501_6428b3893e9d:n [id="id_fafac9b2_ade8_4375_999a_7db0a1927479@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  id_47312483_7686_40ad_9501_6428b3893e9d:s -> id_8621b010_7125_444c_8138_9648dc896aac:n [id="id_47312483_7686_40ad_9501_6428b3893e9d@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  id_8621b010_7125_444c_8138_9648dc896aac:s -> true_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5:n [id="id_8621b010_7125_444c_8138_9648dc896aac@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5 -> end_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="id_8621b010_7125_444c_8138_9648dc896aac@id_8896a22e_59b9_48ba_b60e_96cad55f7f49" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_fb46c1b3_8e79_464a_b901_2847760fddf5:w -> false_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="id_fb46c1b3_8e79_464a_b901_2847760fddf5@id_dedb68e7_e7bd_44d9_8530_20c9c0c4b7c4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_fb46c1b3_8e79_464a_b901_2847760fddf5 -> id_df0d8f61_40da_43fa_b8bd_9fc37993d720:n [id="id_fb46c1b3_8e79_464a_b901_2847760fddf5@id_dedb68e7_e7bd_44d9_8530_20c9c0c4b7c4" tailtooltip=" " edgetooltip=" "]
  
  id_df0d8f61_40da_43fa_b8bd_9fc37993d720:s -> false_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5:n [id="id_df0d8f61_40da_43fa_b8bd_9fc37993d720@id_dedb68e7_e7bd_44d9_8530_20c9c0c4b7c4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_fb46c1b3_8e79_464a_b901_2847760fddf5 -> end_id_fb46c1b3_8e79_464a_b901_2847760fddf5 [id="id_df0d8f61_40da_43fa_b8bd_9fc37993d720@id_dedb68e7_e7bd_44d9_8530_20c9c0c4b7c4" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_fb46c1b3_8e79_464a_b901_2847760fddf5:s -> id_b56096b9_d2af_4b82_90e2_e4af280d4436:n [id="end_id_fb46c1b3_8e79_464a_b901_2847760fddf5@fun-main" tailtooltip=" " edgetooltip=" "]
  

}