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_4b27d0c8_5854_45ec_a258_097439f5d9b5 [id="id_4b27d0c8_5854_45ec_a258_097439f5d9b5#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_4a15f2e1_e050_4d93_a5ef_102fe32b1f7f [id="id_4a15f2e1_e050_4d93_a5ef_102fe32b1f7f#Declare" pos="0.0,9999.0625!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="withdraw = 100000" tooltip="withdraw: Integer = 100000" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e0e1a8eb_9573_40be_8bee_77af03b8a173 [id="id_e0e1a8eb_9573_40be_8bee_77af03b8a173#Declare" pos="0.0,9998.125!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="balance = 500000" tooltip="balance: Integer = 500000" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f46217ba_2c14_474f_b6dc_b82470966b93 [id="id_f46217ba_2c14_474f_b6dc_b82470966b93#Output" pos="0.0,9997.1875!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="\"your balance is\" +balance" tooltip="\"your balance is\" +balance" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a7924ecc_35c6_4918_a941_bf2e222bfa8b [id="id_a7924ecc_35c6_4918_a941_bf2e222bfa8b#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_a46377dc_f089_453b_b6a2_99f2d1024e7e [id="id_a46377dc_f089_453b_b6a2_99f2d1024e7e#Assign" pos="0.0,9995.3125!" height=0.4 width=3.39 fixedsize=true group="fun-main"    label="balance = balance-withdraw = " tooltip="balance = balance-withdraw = " fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_3ef28978_15ce_48c6_9c15_b39223edd891 [id="id_3ef28978_15ce_48c6_9c15_b39223edd891#Output" pos="0.0,9994.375!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="“your balance is +balance\"}" tooltip="“your balance is +balance\"}" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_06fefe4c_0439_4093_80cd_4e2047ac3fb2 [id="id_06fefe4c_0439_4093_80cd_4e2047ac3fb2#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_4b27d0c8_5854_45ec_a258_097439f5d9b5:s -> id_4a15f2e1_e050_4d93_a5ef_102fe32b1f7f:n [id="id_4b27d0c8_5854_45ec_a258_097439f5d9b5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4a15f2e1_e050_4d93_a5ef_102fe32b1f7f:s -> id_e0e1a8eb_9573_40be_8bee_77af03b8a173:n [id="id_4a15f2e1_e050_4d93_a5ef_102fe32b1f7f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e0e1a8eb_9573_40be_8bee_77af03b8a173:s -> id_f46217ba_2c14_474f_b6dc_b82470966b93:n [id="id_e0e1a8eb_9573_40be_8bee_77af03b8a173@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f46217ba_2c14_474f_b6dc_b82470966b93:s -> id_a7924ecc_35c6_4918_a941_bf2e222bfa8b:n [id="id_f46217ba_2c14_474f_b6dc_b82470966b93@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a7924ecc_35c6_4918_a941_bf2e222bfa8b:s -> id_a46377dc_f089_453b_b6a2_99f2d1024e7e:n [id="id_a7924ecc_35c6_4918_a941_bf2e222bfa8b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a46377dc_f089_453b_b6a2_99f2d1024e7e:s -> id_3ef28978_15ce_48c6_9c15_b39223edd891:n [id="id_a46377dc_f089_453b_b6a2_99f2d1024e7e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3ef28978_15ce_48c6_9c15_b39223edd891:s -> id_06fefe4c_0439_4093_80cd_4e2047ac3fb2:n [id="id_3ef28978_15ce_48c6_9c15_b39223edd891@fun-main" tailtooltip=" " edgetooltip=" "]

}