
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_b9b6072a_ab43_4ede_a680_f2abfe87c8d7 [id="id_b9b6072a_ab43_4ede_a680_f2abfe87c8d7#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_8ebc9a2d_f09b_4129_931e_096586a5af32 [id="id_8ebc9a2d_f09b_4129_931e_096586a5af32#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Ti = 10" tooltip="Ti: Real = 10" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_31eb5749_a800_4ec3_b936_314c9c955e5f [id="id_31eb5749_a800_4ec3_b936_314c9c955e5f#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Ti" tooltip="Ti" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9e6f7c5c_fc71_4d6b_9f3b_04f02114f833 [id="id_9e6f7c5c_fc71_4d6b_9f3b_04f02114f833#Declare" pos="0.0,9997.1875!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="Intentos = 1" tooltip="Intentos: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_508cb73e_79fe_4caa_8c46_ed9df53e318d [id="id_508cb73e_79fe_4caa_8c46_ed9df53e318d#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Tf = 0" tooltip="Tf: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_57194b6b_1136_407a_97fa_04bed0602072 [id="id_57194b6b_1136_407a_97fa_04bed0602072#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Tf" tooltip="Tf" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac#While" pos="0.0,9994.375!" height=0.5 width=3.03 fixedsize=true group="fun-main" 
    label="Tf < Ti && Intentos <=3" tooltip="Tf < Ti && Intentos <=3" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="5.0,9994.375!" shape=point width=0]
  false_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="-2.5,9994.375!" shape=point width=0]
  
  id_a16b9bee_7201_4bcd_88a6_03aca55aea1b [id="id_a16b9bee_7201_4bcd_88a6_03aca55aea1b#Output" pos="5.0,9993.4375!" height=0.4 width=4.930000000000001 fixedsize=true group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb"    label="\"Error: Tf debe ser mayor o igual que Ti\"" tooltip="\"Error: Tf debe ser mayor o igual que Ti\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497#While" pos="5.0,9992.5!" height=0.5 width=1.82 fixedsize=true group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" 
    label="Intentos < 3" tooltip="Intentos < 3" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="6.25,9992.5!" shape=point width=0]
  false_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="3.75,9992.5!" shape=point width=0]
  
  
  
  true_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="6.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="5.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="3.75,9991.5625!" shape=point width=0]
  end_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 [pos="5.0,9991.5625!" group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" shape=point width=0]
  
  
  id_3ec3ce07_d9a1_45fd_a630_8ba17e66db75 [id="id_3ec3ce07_d9a1_45fd_a630_8ba17e66db75#Input" pos="5.0,9990.625!" height=0.4 width=1.08 fixedsize=true group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb"    label="Intentos" tooltip="Intentos" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f23b6527_c046_470e_b8d5_a8b0136c9868 [id="id_f23b6527_c046_470e_b8d5_a8b0136c9868#Output" pos="5.0,9989.6875!" height=0.4 width=4.2700000000000005 fixedsize=true group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb"    label="\"Finalizado por valores invalidos \"" tooltip="\"Finalizado por valores invalidos \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a8737caa_6f23_471a_ae0f_4c39170ea1e4 [id="id_a8737caa_6f23_471a_ae0f_4c39170ea1e4#Input" pos="5.0,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb"    label="Tf" tooltip="Tf" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="5.0,9987.916666666666!" shape=point width=0]
  true_dummy_down_left_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="0.0,9987.916666666666!" shape=point width=0]
  false_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="-2.5,9987.8125!" shape=point width=0]
  end_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac [pos="0.0,9987.8125!" group="fun-main" shape=point width=0]
  
  
  id_372f8a6b_ba29_4384_bc4f_319e6c8ddd72 [id="id_372f8a6b_ba29_4384_bc4f_319e6c8ddd72#Declare" pos="0.0,9986.875!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="deltaT = 0" tooltip="deltaT: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9dbd6b5e_11c9_4764_8267_c3704edd0aed [id="id_9dbd6b5e_11c9_4764_8267_c3704edd0aed#Input" pos="0.0,9985.9375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="deltaT" tooltip="deltaT" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb#While" pos="0.0,9985.0!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="deltaT < 0" tooltip="deltaT < 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="3.75,9985.0!" shape=point width=0]
  false_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="-1.25,9985.0!" shape=point width=0]
  
  id_56215c0c_257d_4769_8561_c13d4ffd8d9c [id="id_56215c0c_257d_4769_8561_c13d4ffd8d9c#Output" pos="3.75,9984.0625!" height=0.4 width=4.49 fixedsize=true group="id_f534fd10_47bb_4300_ab0b_fb277ecef4dd"    label="\"Error: deltaT no puede ser negativo\"" tooltip="\"Error: deltaT no puede ser negativo\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f47afc7a_e47a_43d4_8aa0_bee441843b99 [id="id_f47afc7a_e47a_43d4_8aa0_bee441843b99#Input" pos="3.75,9983.125!" height=0.4 width=1.0 fixedsize=true group="id_f534fd10_47bb_4300_ab0b_fb277ecef4dd"    label="deltaT" tooltip="deltaT" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="3.75,9982.291666666666!" shape=point width=0]
  true_dummy_down_left_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="0.0,9982.291666666666!" shape=point width=0]
  false_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="-1.25,9982.1875!" shape=point width=0]
  end_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [pos="0.0,9982.1875!" group="fun-main" shape=point width=0]
  
  
  id_6369e64b_21cb_4309_8640_0cfb12a2a218 [id="id_6369e64b_21cb_4309_8640_0cfb12a2a218#Declare" pos="0.0,9981.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Tc = Ti" tooltip="Tc: Real = Ti" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9d0b11fb_b9ca_4795_bdb5_d3c7f69e5ed3 [id="id_9d0b11fb_b9ca_4795_bdb5_d3c7f69e5ed3#Declare" pos="0.0,9980.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="TF = 0" tooltip="TF: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d#While" pos="0.0,9979.375!" height=0.5 width=1.38 fixedsize=true group="fun-main" 
    label="Tc <= Tf" tooltip="Tc <= Tf" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="2.5,9979.375!" shape=point width=0]
  false_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="-1.25,9979.375!" shape=point width=0]
  
  id_ab6f33a6_669a_4fab_b3cf_cbdee3003e3b [id="id_ab6f33a6_669a_4fab_b3cf_cbdee3003e3b#Assign" pos="2.5,9978.4375!" height=0.4 width=1.96 fixedsize=true group="id_306942af_9d30_44ce_8df8_bd2cbf473fc9"    label="TF = (9/5)*Tc+32" tooltip="TF = (9/5)*Tc+32" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_0c72355f_c924_4e9b_9ef0_9bba601918d8 [id="id_0c72355f_c924_4e9b_9ef0_9bba601918d8#Output" pos="2.5,9977.5!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_306942af_9d30_44ce_8df8_bd2cbf473fc9"    label="\"(\"+Tc+\", \"+TF+\")\"" tooltip="\"(\"+Tc+\", \"+TF+\")\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_234e1837_d912_4863_b048_8b32bba77a5c [id="id_234e1837_d912_4863_b048_8b32bba77a5c#Assign" pos="2.5,9976.5625!" height=0.4 width=1.74 fixedsize=true group="id_306942af_9d30_44ce_8df8_bd2cbf473fc9"    label="Tc = Tc+deltaT" tooltip="Tc = Tc+deltaT" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="2.5,9975.729166666666!" shape=point width=0]
  true_dummy_down_left_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="0.0,9975.729166666666!" shape=point width=0]
  false_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="-1.25,9975.625!" shape=point width=0]
  end_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [pos="0.0,9975.625!" group="fun-main" shape=point width=0]
  
  
  id_572ff3e5_a947_4bd1_96d9_0d20ceffcd64 [id="id_572ff3e5_a947_4bd1_96d9_0d20ceffcd64#Return" pos="0.0,9974.6875!" 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_b9b6072a_ab43_4ede_a680_f2abfe87c8d7:s -> id_8ebc9a2d_f09b_4129_931e_096586a5af32:n [id="id_b9b6072a_ab43_4ede_a680_f2abfe87c8d7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8ebc9a2d_f09b_4129_931e_096586a5af32:s -> id_31eb5749_a800_4ec3_b936_314c9c955e5f:n [id="id_8ebc9a2d_f09b_4129_931e_096586a5af32@fun-main" tailtooltip=" " edgetooltip=" "]
  id_31eb5749_a800_4ec3_b936_314c9c955e5f:s -> id_9e6f7c5c_fc71_4d6b_9f3b_04f02114f833:n [id="id_31eb5749_a800_4ec3_b936_314c9c955e5f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9e6f7c5c_fc71_4d6b_9f3b_04f02114f833:s -> id_508cb73e_79fe_4caa_8c46_ed9df53e318d:n [id="id_9e6f7c5c_fc71_4d6b_9f3b_04f02114f833@fun-main" tailtooltip=" " edgetooltip=" "]
  id_508cb73e_79fe_4caa_8c46_ed9df53e318d:s -> id_57194b6b_1136_407a_97fa_04bed0602072:n [id="id_508cb73e_79fe_4caa_8c46_ed9df53e318d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_57194b6b_1136_407a_97fa_04bed0602072:s -> id_cc29584b_712b_4af9_9abb_8062b7b37fac:n [id="id_57194b6b_1136_407a_97fa_04bed0602072@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_cc29584b_712b_4af9_9abb_8062b7b37fac:e -> true_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> id_a16b9bee_7201_4bcd_88a6_03aca55aea1b:n [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  
  id_a16b9bee_7201_4bcd_88a6_03aca55aea1b:s -> id_68788add_4bc4_4de3_922c_7803e137f497:n [id="id_a16b9bee_7201_4bcd_88a6_03aca55aea1b@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_68788add_4bc4_4de3_922c_7803e137f497:e -> true_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_3b5505c9_e143_4817_a986_fa1d44fe67b5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 -> true_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497:n [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_3b5505c9_e143_4817_a986_fa1d44fe67b5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 -> true_dummy_down_left_id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_3b5505c9_e143_4817_a986_fa1d44fe67b5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_68788add_4bc4_4de3_922c_7803e137f497 -> id_68788add_4bc4_4de3_922c_7803e137f497:s [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_3b5505c9_e143_4817_a986_fa1d44fe67b5" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_68788add_4bc4_4de3_922c_7803e137f497:w -> false_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_68788add_4bc4_4de3_922c_7803e137f497 -> false_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 -> end_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_68788add_4bc4_4de3_922c_7803e137f497 -> id_3ec3ce07_d9a1_45fd_a630_8ba17e66db75 [id="id_68788add_4bc4_4de3_922c_7803e137f497@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  
  
  id_3ec3ce07_d9a1_45fd_a630_8ba17e66db75:s -> id_f23b6527_c046_470e_b8d5_a8b0136c9868:n [id="id_3ec3ce07_d9a1_45fd_a630_8ba17e66db75@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  id_f23b6527_c046_470e_b8d5_a8b0136c9868:s -> id_a8737caa_6f23_471a_ae0f_4c39170ea1e4:n [id="id_f23b6527_c046_470e_b8d5_a8b0136c9868@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  id_a8737caa_6f23_471a_ae0f_4c39170ea1e4:s -> true_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac:n [id="id_a8737caa_6f23_471a_ae0f_4c39170ea1e4@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> true_dummy_down_left_id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_a8737caa_6f23_471a_ae0f_4c39170ea1e4@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> id_cc29584b_712b_4af9_9abb_8062b7b37fac:s [id="id_a8737caa_6f23_471a_ae0f_4c39170ea1e4@id_56f8e607_bf71_41a6_b89b_2a52cae0d3bb" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_cc29584b_712b_4af9_9abb_8062b7b37fac:w -> false_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> false_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> end_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_cc29584b_712b_4af9_9abb_8062b7b37fac -> id_372f8a6b_ba29_4384_bc4f_319e6c8ddd72 [id="id_cc29584b_712b_4af9_9abb_8062b7b37fac@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_372f8a6b_ba29_4384_bc4f_319e6c8ddd72:s -> id_9dbd6b5e_11c9_4764_8267_c3704edd0aed:n [id="id_372f8a6b_ba29_4384_bc4f_319e6c8ddd72@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9dbd6b5e_11c9_4764_8267_c3704edd0aed:s -> id_22bf0189_2390_4d79_811b_1d4b21c44bfb:n [id="id_9dbd6b5e_11c9_4764_8267_c3704edd0aed@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_22bf0189_2390_4d79_811b_1d4b21c44bfb:e -> true_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> id_56215c0c_257d_4769_8561_c13d4ffd8d9c:n [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" "]
  
  id_56215c0c_257d_4769_8561_c13d4ffd8d9c:s -> id_f47afc7a_e47a_43d4_8aa0_bee441843b99:n [id="id_56215c0c_257d_4769_8561_c13d4ffd8d9c@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" "]
  id_f47afc7a_e47a_43d4_8aa0_bee441843b99:s -> true_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb:n [id="id_f47afc7a_e47a_43d4_8aa0_bee441843b99@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> true_dummy_down_left_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_f47afc7a_e47a_43d4_8aa0_bee441843b99@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> id_22bf0189_2390_4d79_811b_1d4b21c44bfb:s [id="id_f47afc7a_e47a_43d4_8aa0_bee441843b99@id_f534fd10_47bb_4300_ab0b_fb277ecef4dd" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_22bf0189_2390_4d79_811b_1d4b21c44bfb:w -> false_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> false_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> end_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_22bf0189_2390_4d79_811b_1d4b21c44bfb -> id_6369e64b_21cb_4309_8640_0cfb12a2a218 [id="id_22bf0189_2390_4d79_811b_1d4b21c44bfb@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_6369e64b_21cb_4309_8640_0cfb12a2a218:s -> id_9d0b11fb_b9ca_4795_bdb5_d3c7f69e5ed3:n [id="id_6369e64b_21cb_4309_8640_0cfb12a2a218@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9d0b11fb_b9ca_4795_bdb5_d3c7f69e5ed3:s -> id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d:n [id="id_9d0b11fb_b9ca_4795_bdb5_d3c7f69e5ed3@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d:e -> true_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> id_ab6f33a6_669a_4fab_b3cf_cbdee3003e3b:n [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" "]
  
  id_ab6f33a6_669a_4fab_b3cf_cbdee3003e3b:s -> id_0c72355f_c924_4e9b_9ef0_9bba601918d8:n [id="id_ab6f33a6_669a_4fab_b3cf_cbdee3003e3b@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" "]
  id_0c72355f_c924_4e9b_9ef0_9bba601918d8:s -> id_234e1837_d912_4863_b048_8b32bba77a5c:n [id="id_0c72355f_c924_4e9b_9ef0_9bba601918d8@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" "]
  id_234e1837_d912_4863_b048_8b32bba77a5c:s -> true_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d:n [id="id_234e1837_d912_4863_b048_8b32bba77a5c@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> true_dummy_down_left_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_234e1837_d912_4863_b048_8b32bba77a5c@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d:s [id="id_234e1837_d912_4863_b048_8b32bba77a5c@id_306942af_9d30_44ce_8df8_bd2cbf473fc9" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d:w -> false_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> false_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> end_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d -> id_572ff3e5_a947_4bd1_96d9_0d20ceffcd64 [id="id_5a67ccf2_9916_4a83_ad27_2bd59e1c746d@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
