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_d4fc3fa5_0051_4a1d_82ff_0832bbdf9598 [id="id_d4fc3fa5_0051_4a1d_82ff_0832bbdf9598#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_46a2365e_4e5c_4842_828c_9afdbefb8c4f [id="id_46a2365e_4e5c_4842_828c_9afdbefb8c4f#Declare" pos="0.0,9999.0625!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="card_is_valid" tooltip="card_is_valid: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_783b2309_1434_4ed9_a9fb_1e174e0d91fc [id="id_783b2309_1434_4ed9_a9fb_1e174e0d91fc#Assign" pos="0.0,9998.125!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="card_is_valid = true" tooltip="card_is_valid = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_1a529348_92ca_44ff_bb68_330f8be6ca92 [id="id_1a529348_92ca_44ff_bb68_330f8be6ca92#Declare" pos="0.0,9997.1875!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="pin_is_correct" tooltip="pin_is_correct: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7c62018b_6178_40e6_b4fa_fa57ff599e7b [id="id_7c62018b_6178_40e6_b4fa_fa57ff599e7b#Assign" pos="0.0,9996.25!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="pin_is_correct = true" tooltip="pin_is_correct = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_88d68a09_db07_4370_b2de_1243a79c5231 [id="id_88d68a09_db07_4370_b2de_1243a79c5231#Declare" pos="0.0,9995.3125!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="account_balance" tooltip="account_balance: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_34c2fc8a_5a94_4652_9195_4f0c9c6aab21 [id="id_34c2fc8a_5a94_4652_9195_4f0c9c6aab21#Assign" pos="0.0,9994.375!" height=0.4 width=2.62 fixedsize=true group="fun-main"    label="account_balance = 5000" tooltip="account_balance = 5000" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_a4904edb_0cc4_4c81_af9e_5fa7bca3bcda [id="id_a4904edb_0cc4_4c81_af9e_5fa7bca3bcda#Declare" pos="0.0,9993.4375!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="Atm_cash" tooltip="Atm_cash: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0f632f59_348b_4c91_b193_cb92d2cc44c1 [id="id_0f632f59_348b_4c91_b193_cb92d2cc44c1#Assign" pos="0.0,9992.5!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="Atm_cash = 4000" tooltip="Atm_cash = 4000" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_7fbb7f9f_f62d_4ef3_99f6_4b2272371787 [id="id_7fbb7f9f_f62d_4ef3_99f6_4b2272371787#Declare" pos="0.0,9991.5625!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="withdraw" tooltip="withdraw: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c85e6a0e_9c5b_4b5f_b9f3_a5bc7b04fe3b [id="id_c85e6a0e_9c5b_4b5f_b9f3_a5bc7b04fe3b#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_d4fc3fa5_0051_4a1d_82ff_0832bbdf9598:s -> id_46a2365e_4e5c_4842_828c_9afdbefb8c4f:n [id="id_d4fc3fa5_0051_4a1d_82ff_0832bbdf9598@fun-main" tailtooltip=" " edgetooltip=" "]
  id_46a2365e_4e5c_4842_828c_9afdbefb8c4f:s -> id_783b2309_1434_4ed9_a9fb_1e174e0d91fc:n [id="id_46a2365e_4e5c_4842_828c_9afdbefb8c4f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_783b2309_1434_4ed9_a9fb_1e174e0d91fc:s -> id_1a529348_92ca_44ff_bb68_330f8be6ca92:n [id="id_783b2309_1434_4ed9_a9fb_1e174e0d91fc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1a529348_92ca_44ff_bb68_330f8be6ca92:s -> id_7c62018b_6178_40e6_b4fa_fa57ff599e7b:n [id="id_1a529348_92ca_44ff_bb68_330f8be6ca92@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7c62018b_6178_40e6_b4fa_fa57ff599e7b:s -> id_88d68a09_db07_4370_b2de_1243a79c5231:n [id="id_7c62018b_6178_40e6_b4fa_fa57ff599e7b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_88d68a09_db07_4370_b2de_1243a79c5231:s -> id_34c2fc8a_5a94_4652_9195_4f0c9c6aab21:n [id="id_88d68a09_db07_4370_b2de_1243a79c5231@fun-main" tailtooltip=" " edgetooltip=" "]
  id_34c2fc8a_5a94_4652_9195_4f0c9c6aab21:s -> id_a4904edb_0cc4_4c81_af9e_5fa7bca3bcda:n [id="id_34c2fc8a_5a94_4652_9195_4f0c9c6aab21@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a4904edb_0cc4_4c81_af9e_5fa7bca3bcda:s -> id_0f632f59_348b_4c91_b193_cb92d2cc44c1:n [id="id_a4904edb_0cc4_4c81_af9e_5fa7bca3bcda@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0f632f59_348b_4c91_b193_cb92d2cc44c1:s -> id_7fbb7f9f_f62d_4ef3_99f6_4b2272371787:n [id="id_0f632f59_348b_4c91_b193_cb92d2cc44c1@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7fbb7f9f_f62d_4ef3_99f6_4b2272371787:s -> id_c85e6a0e_9c5b_4b5f_b9f3_a5bc7b04fe3b:n [id="id_7fbb7f9f_f62d_4ef3_99f6_4b2272371787@fun-main" tailtooltip=" " edgetooltip=" "]

}