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_c17e6b18_599a_4385_bca7_eb99b1519b6c [id="id_c17e6b18_599a_4385_bca7_eb99b1519b6c#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_1acea63a_94a7_4c77_85e4_498f2c342a79 [id="id_1acea63a_94a7_4c77_85e4_498f2c342a79#Declare" pos="0.0,9999.0625!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="correctpin = \"1234\"" tooltip="correctpin: String = \"1234\"" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a90d979a_0189_411f_a304_402b4aca766c [id="id_a90d979a_0189_411f_a304_402b4aca766c#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="userpin" tooltip="userpin: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_44c0fe79_92c8_4355_be58_bceae2deb182 [id="id_44c0fe79_92c8_4355_be58_bceae2deb182#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="attempt" tooltip="attempt: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde#While" pos="0.0,9996.25!" height=0.5 width=1.71 fixedsize=true group="fun-main" 
    label="attempt < 3" tooltip="attempt < 3" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="2.5,9996.25!" shape=point width=0]
  false_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="-1.25,9996.25!" shape=point width=0]
  
  id_63c280c2_6310_4753_a795_fa00a86258a0 [id="id_63c280c2_6310_4753_a795_fa00a86258a0#Output" pos="2.5,9995.3125!" height=0.4 width=1.63 fixedsize=true group="id_2560a11b_ec78_410f_985e_f1c61bfd64e9"    label="\"enterpin:\"" tooltip="\"enterpin:\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_409b2e93_a0e7_4e4b_8b80_0dbcfdfd7f8e [id="id_409b2e93_a0e7_4e4b_8b80_0dbcfdfd7f8e#Input" pos="2.5,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_2560a11b_ec78_410f_985e_f1c61bfd64e9"    label="userpin" tooltip="userpin" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c89aac5c_c7d3_4513_bb6e_c0aa09df6706 [id="id_c89aac5c_c7d3_4513_bb6e_c0aa09df6706#Assign" pos="2.5,9993.4375!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_2560a11b_ec78_410f_985e_f1c61bfd64e9"    label="userpin = correctpin" tooltip="userpin = correctpin" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b812774f_c6ce_4c37_9e28_92b134e683a6 [id="id_b812774f_c6ce_4c37_9e28_92b134e683a6#Output" pos="2.5,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_2560a11b_ec78_410f_985e_f1c61bfd64e9"    label="\"unlock\"" tooltip="\"unlock\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="2.5,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_c266a7ae_57a4_4687_a4b6_e48dc42d4664 [id="id_c266a7ae_57a4_4687_a4b6_e48dc42d4664#Assign" pos="0.0,9990.625!" height=0.4 width=2.29 fixedsize=true group="fun-main"    label="attempt = attempt-1" tooltip="attempt = attempt-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_c524f4c2_2768_48ee_957e_b4a2b9bc71ab [id="id_c524f4c2_2768_48ee_957e_b4a2b9bc71ab#Output" pos="0.0,9989.6875!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="\"wrongpin\"" tooltip="\"wrongpin\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c8bea09e_f6f9_4803_b73d_c03ee0ee3c0e [id="id_c8bea09e_f6f9_4803_b73d_c03ee0ee3c0e#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_c17e6b18_599a_4385_bca7_eb99b1519b6c:s -> id_1acea63a_94a7_4c77_85e4_498f2c342a79:n [id="id_c17e6b18_599a_4385_bca7_eb99b1519b6c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1acea63a_94a7_4c77_85e4_498f2c342a79:s -> id_a90d979a_0189_411f_a304_402b4aca766c:n [id="id_1acea63a_94a7_4c77_85e4_498f2c342a79@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a90d979a_0189_411f_a304_402b4aca766c:s -> id_44c0fe79_92c8_4355_be58_bceae2deb182:n [id="id_a90d979a_0189_411f_a304_402b4aca766c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_44c0fe79_92c8_4355_be58_bceae2deb182:s -> id_120db9ca_75e6_4255_98fd_73a0faa7dfde:n [id="id_44c0fe79_92c8_4355_be58_bceae2deb182@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_120db9ca_75e6_4255_98fd_73a0faa7dfde:e -> true_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> id_63c280c2_6310_4753_a795_fa00a86258a0:n [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" "]
  
  id_63c280c2_6310_4753_a795_fa00a86258a0:s -> id_409b2e93_a0e7_4e4b_8b80_0dbcfdfd7f8e:n [id="id_63c280c2_6310_4753_a795_fa00a86258a0@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" "]
  id_409b2e93_a0e7_4e4b_8b80_0dbcfdfd7f8e:s -> id_c89aac5c_c7d3_4513_bb6e_c0aa09df6706:n [id="id_409b2e93_a0e7_4e4b_8b80_0dbcfdfd7f8e@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" "]
  id_c89aac5c_c7d3_4513_bb6e_c0aa09df6706:s -> id_b812774f_c6ce_4c37_9e28_92b134e683a6:n [id="id_c89aac5c_c7d3_4513_bb6e_c0aa09df6706@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" "]
  id_b812774f_c6ce_4c37_9e28_92b134e683a6:s -> true_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde:n [id="id_b812774f_c6ce_4c37_9e28_92b134e683a6@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> true_dummy_down_left_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_b812774f_c6ce_4c37_9e28_92b134e683a6@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> id_120db9ca_75e6_4255_98fd_73a0faa7dfde:s [id="id_b812774f_c6ce_4c37_9e28_92b134e683a6@id_2560a11b_ec78_410f_985e_f1c61bfd64e9" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_120db9ca_75e6_4255_98fd_73a0faa7dfde:w -> false_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> false_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> end_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_120db9ca_75e6_4255_98fd_73a0faa7dfde -> id_c266a7ae_57a4_4687_a4b6_e48dc42d4664 [id="id_120db9ca_75e6_4255_98fd_73a0faa7dfde@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_c266a7ae_57a4_4687_a4b6_e48dc42d4664:s -> id_c524f4c2_2768_48ee_957e_b4a2b9bc71ab:n [id="id_c266a7ae_57a4_4687_a4b6_e48dc42d4664@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c524f4c2_2768_48ee_957e_b4a2b9bc71ab:s -> id_c8bea09e_f6f9_4803_b73d_c03ee0ee3c0e:n [id="id_c524f4c2_2768_48ee_957e_b4a2b9bc71ab@fun-main" tailtooltip=" " edgetooltip=" "]

}