
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_baf3e5f0_4fb3_4b77_8859_c708cb147cbb [id="id_baf3e5f0_4fb3_4b77_8859_c708cb147cbb#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_703f0098_d003_4515_b33b_80322adb10eb [id="id_703f0098_d003_4515_b33b_80322adb10eb#Declare" pos="0.0,9999.0625!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="levantarse" tooltip="levantarse: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_da965a19_510d_482e_8bee_ab0a75250599 [id="id_da965a19_510d_482e_8bee_ab0a75250599#Declare" pos="0.0,9998.125!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="vestirse" tooltip="vestirse: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3cc72ca0_4eba_4460_9fbe_45c917a112b5 [id="id_3cc72ca0_4eba_4460_9fbe_45c917a112b5#Declare" pos="0.0,9997.1875!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="desayunar" tooltip="desayunar: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_de65f31a_3ebf_4073_b786_13fa561f6746 [id="id_de65f31a_3ebf_4073_b786_13fa561f6746#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="dientes" tooltip="dientes: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bcab80c0_a425_4f84_8ac5_303137f48cb0 [id="id_bcab80c0_a425_4f84_8ac5_303137f48cb0#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="mochila" tooltip="mochila: String" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_88136410_96a6_4093_98bf_dda39e7b37a7 [id="id_88136410_96a6_4093_98bf_dda39e7b37a7#Input" pos="0.0,9994.375!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="levantarse" tooltip="levantarse" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a#While" pos="0.0,9993.4375!" height=0.5 width=2.48 fixedsize=true group="fun-main" 
    label="levantarse==\"NO\"" tooltip="levantarse==\"NO\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_d8c67073_544c_4547_bdd2_0f92da6ee635 [id="id_d8c67073_544c_4547_bdd2_0f92da6ee635#Input" pos="1.25,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_f1c94a01_53c6_44ff_a34c_7f6c5862737b"    label="levantarse" tooltip="levantarse" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_ac0c2154_a2bd_4970_9595_feba6e440cdc [id="id_ac0c2154_a2bd_4970_9595_feba6e440cdc#Output" pos="0.0,9990.625!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="\"¡TU PUEDES!\"" tooltip="\"¡TU PUEDES!\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d8e767ac_6e6b_4a5b_b85a_237d9ed3fa1a [id="id_d8e767ac_6e6b_4a5b_b85a_237d9ed3fa1a#Input" pos="0.0,9989.6875!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="vestirse" tooltip="vestirse" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220#While" pos="0.0,9988.75!" height=0.5 width=2.26 fixedsize=true group="fun-main" 
    label="vestirse==\"No\"" tooltip="vestirse==\"No\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="1.25,9988.75!" shape=point width=0]
  false_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="-1.25,9988.75!" shape=point width=0]
  
  id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4 [id="id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4#Input" pos="1.25,9987.8125!" height=0.4 width=1.08 fixedsize=true group="id_39539130_73c8_4389_a83d_9cb467753b59"    label="vestirse" tooltip="vestirse" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="1.25,9986.979166666666!" shape=point width=0]
  true_dummy_down_left_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="0.0,9986.979166666666!" shape=point width=0]
  false_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="-1.25,9986.875!" shape=point width=0]
  end_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [pos="0.0,9986.875!" group="fun-main" shape=point width=0]
  
  
  id_3a54fe85_d939_4d44_ad88_e94748b43862 [id="id_3a54fe85_d939_4d44_ad88_e94748b43862#Input" pos="0.0,9985.9375!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="desayunar" tooltip="desayunar" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3#While" pos="0.0,9985.0!" height=0.5 width=2.37 fixedsize=true group="fun-main" 
    label="desayunar==\"No\"" tooltip="desayunar==\"No\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="1.25,9985.0!" shape=point width=0]
  false_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="-1.25,9985.0!" shape=point width=0]
  
  id_6e48d066_9e1e_46c0_a67d_3133fca36779 [id="id_6e48d066_9e1e_46c0_a67d_3133fca36779#Input" pos="1.25,9984.0625!" height=0.4 width=1.19 fixedsize=true group="id_a0091c04_013f_4d9f_b1e1_a49595a37a63"    label="desayunar" tooltip="desayunar" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="1.25,9983.229166666666!" shape=point width=0]
  true_dummy_down_left_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="0.0,9983.229166666666!" shape=point width=0]
  false_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="-1.25,9983.125!" shape=point width=0]
  end_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [pos="0.0,9983.125!" group="fun-main" shape=point width=0]
  
  
  id_29fca897_4bc5_4894_acc1_e963bb417ea0 [id="id_29fca897_4bc5_4894_acc1_e963bb417ea0#Input" pos="0.0,9982.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="dientes" tooltip="dientes" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef#While" pos="0.0,9981.25!" height=0.5 width=2.15 fixedsize=true group="fun-main" 
    label="dientes==\"No\"" tooltip="dientes==\"No\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="1.25,9981.25!" shape=point width=0]
  false_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="-1.25,9981.25!" shape=point width=0]
  
  id_9d036325_db30_4832_893e_bbdf9b80137e [id="id_9d036325_db30_4832_893e_bbdf9b80137e#Input" pos="1.25,9980.3125!" height=0.4 width=1.0 fixedsize=true group="id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6"    label="dientes" tooltip="dientes" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="1.25,9979.479166666666!" shape=point width=0]
  true_dummy_down_left_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="0.0,9979.479166666666!" shape=point width=0]
  false_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="-1.25,9979.375!" shape=point width=0]
  end_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [pos="0.0,9979.375!" group="fun-main" shape=point width=0]
  
  
  id_58fa13c0_0733_43fb_8bbe_4139ad3b49ee [id="id_58fa13c0_0733_43fb_8bbe_4139ad3b49ee#Output" pos="0.0,9978.4375!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="\"¡YA QUEDA MENK" tooltip="\"¡YA QUEDA MENK" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_97980cd6_9bee_451e_95d3_7851339f0951 [id="id_97980cd6_9bee_451e_95d3_7851339f0951#Input" pos="0.0,9977.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="mochila" tooltip="mochila" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e#While" pos="0.0,9976.5625!" height=0.5 width=2.15 fixedsize=true group="fun-main" 
    label="mochila==\"No\"" tooltip="mochila==\"No\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="1.25,9976.5625!" shape=point width=0]
  false_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="-1.25,9976.5625!" shape=point width=0]
  
  id_f28f962a_c0e0_4b9a_999f_64caec49c63d [id="id_f28f962a_c0e0_4b9a_999f_64caec49c63d#Input" pos="1.25,9975.625!" height=0.4 width=1.0 fixedsize=true group="id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac"    label="mochila" tooltip="mochila" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="1.25,9974.791666666666!" shape=point width=0]
  true_dummy_down_left_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="0.0,9974.791666666666!" shape=point width=0]
  false_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="-1.25,9974.6875!" shape=point width=0]
  end_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e [pos="0.0,9974.6875!" group="fun-main" shape=point width=0]
  
  
  id_6869eeca_f04d_4388_87a1_5bded35c5ee5 [id="id_6869eeca_f04d_4388_87a1_5bded35c5ee5#Output" pos="0.0,9973.75!" height=0.4 width=4.16 fixedsize=true group="fun-main"    label="\"Enhorabuena, has llegado al cole\"" tooltip="\"Enhorabuena, has llegado al cole\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_885c2539_0070_4117_be8f_3b45350b43e4 [id="id_885c2539_0070_4117_be8f_3b45350b43e4#Return" pos="0.0,9972.8125!" 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_baf3e5f0_4fb3_4b77_8859_c708cb147cbb:s -> id_703f0098_d003_4515_b33b_80322adb10eb:n [id="id_baf3e5f0_4fb3_4b77_8859_c708cb147cbb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_703f0098_d003_4515_b33b_80322adb10eb:s -> id_da965a19_510d_482e_8bee_ab0a75250599:n [id="id_703f0098_d003_4515_b33b_80322adb10eb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_da965a19_510d_482e_8bee_ab0a75250599:s -> id_3cc72ca0_4eba_4460_9fbe_45c917a112b5:n [id="id_da965a19_510d_482e_8bee_ab0a75250599@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3cc72ca0_4eba_4460_9fbe_45c917a112b5:s -> id_de65f31a_3ebf_4073_b786_13fa561f6746:n [id="id_3cc72ca0_4eba_4460_9fbe_45c917a112b5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_de65f31a_3ebf_4073_b786_13fa561f6746:s -> id_bcab80c0_a425_4f84_8ac5_303137f48cb0:n [id="id_de65f31a_3ebf_4073_b786_13fa561f6746@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bcab80c0_a425_4f84_8ac5_303137f48cb0:s -> id_88136410_96a6_4093_98bf_dda39e7b37a7:n [id="id_bcab80c0_a425_4f84_8ac5_303137f48cb0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_88136410_96a6_4093_98bf_dda39e7b37a7:s -> id_a0594d8a_761b_4e5e_a649_db892c5f715a:n [id="id_88136410_96a6_4093_98bf_dda39e7b37a7@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_a0594d8a_761b_4e5e_a649_db892c5f715a:e -> true_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@id_f1c94a01_53c6_44ff_a34c_7f6c5862737b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> id_d8c67073_544c_4547_bdd2_0f92da6ee635:n [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@id_f1c94a01_53c6_44ff_a34c_7f6c5862737b" tailtooltip=" " edgetooltip=" "]
  
  id_d8c67073_544c_4547_bdd2_0f92da6ee635:s -> true_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a:n [id="id_d8c67073_544c_4547_bdd2_0f92da6ee635@id_f1c94a01_53c6_44ff_a34c_7f6c5862737b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> true_dummy_down_left_id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_d8c67073_544c_4547_bdd2_0f92da6ee635@id_f1c94a01_53c6_44ff_a34c_7f6c5862737b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> id_a0594d8a_761b_4e5e_a649_db892c5f715a:s [id="id_d8c67073_544c_4547_bdd2_0f92da6ee635@id_f1c94a01_53c6_44ff_a34c_7f6c5862737b" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_a0594d8a_761b_4e5e_a649_db892c5f715a:w -> false_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> false_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> end_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_a0594d8a_761b_4e5e_a649_db892c5f715a -> id_ac0c2154_a2bd_4970_9595_feba6e440cdc [id="id_a0594d8a_761b_4e5e_a649_db892c5f715a@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_ac0c2154_a2bd_4970_9595_feba6e440cdc:s -> id_d8e767ac_6e6b_4a5b_b85a_237d9ed3fa1a:n [id="id_ac0c2154_a2bd_4970_9595_feba6e440cdc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d8e767ac_6e6b_4a5b_b85a_237d9ed3fa1a:s -> id_58f1b20e_1807_46fe_8652_8dd1b94b9220:n [id="id_d8e767ac_6e6b_4a5b_b85a_237d9ed3fa1a@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_58f1b20e_1807_46fe_8652_8dd1b94b9220:e -> true_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@id_39539130_73c8_4389_a83d_9cb467753b59" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4:n [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@id_39539130_73c8_4389_a83d_9cb467753b59" tailtooltip=" " edgetooltip=" "]
  
  id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4:s -> true_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220:n [id="id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4@id_39539130_73c8_4389_a83d_9cb467753b59" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> true_dummy_down_left_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4@id_39539130_73c8_4389_a83d_9cb467753b59" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> id_58f1b20e_1807_46fe_8652_8dd1b94b9220:s [id="id_330e51b8_fd3e_4cb1_b3d1_fc27faaecaf4@id_39539130_73c8_4389_a83d_9cb467753b59" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_58f1b20e_1807_46fe_8652_8dd1b94b9220:w -> false_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> false_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> end_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_58f1b20e_1807_46fe_8652_8dd1b94b9220 -> id_3a54fe85_d939_4d44_ad88_e94748b43862 [id="id_58f1b20e_1807_46fe_8652_8dd1b94b9220@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_3a54fe85_d939_4d44_ad88_e94748b43862:s -> id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3:n [id="id_3a54fe85_d939_4d44_ad88_e94748b43862@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3:e -> true_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@id_a0091c04_013f_4d9f_b1e1_a49595a37a63" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> id_6e48d066_9e1e_46c0_a67d_3133fca36779:n [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@id_a0091c04_013f_4d9f_b1e1_a49595a37a63" tailtooltip=" " edgetooltip=" "]
  
  id_6e48d066_9e1e_46c0_a67d_3133fca36779:s -> true_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3:n [id="id_6e48d066_9e1e_46c0_a67d_3133fca36779@id_a0091c04_013f_4d9f_b1e1_a49595a37a63" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> true_dummy_down_left_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_6e48d066_9e1e_46c0_a67d_3133fca36779@id_a0091c04_013f_4d9f_b1e1_a49595a37a63" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3:s [id="id_6e48d066_9e1e_46c0_a67d_3133fca36779@id_a0091c04_013f_4d9f_b1e1_a49595a37a63" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3:w -> false_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> false_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> end_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3 -> id_29fca897_4bc5_4894_acc1_e963bb417ea0 [id="id_b00e562e_b5c9_40e6_a4b1_7e9b444a97a3@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_29fca897_4bc5_4894_acc1_e963bb417ea0:s -> id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef:n [id="id_29fca897_4bc5_4894_acc1_e963bb417ea0@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef:e -> true_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> id_9d036325_db30_4832_893e_bbdf9b80137e:n [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6" tailtooltip=" " edgetooltip=" "]
  
  id_9d036325_db30_4832_893e_bbdf9b80137e:s -> true_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef:n [id="id_9d036325_db30_4832_893e_bbdf9b80137e@id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> true_dummy_down_left_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_9d036325_db30_4832_893e_bbdf9b80137e@id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef:s [id="id_9d036325_db30_4832_893e_bbdf9b80137e@id_a30dc1b4_8f33_465a_aa60_899df1ddbdd6" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef:w -> false_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> false_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> end_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef -> id_58fa13c0_0733_43fb_8bbe_4139ad3b49ee [id="id_58d2d7f9_b090_4bf3_bb98_e031fb4f40ef@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_58fa13c0_0733_43fb_8bbe_4139ad3b49ee:s -> id_97980cd6_9bee_451e_95d3_7851339f0951:n [id="id_58fa13c0_0733_43fb_8bbe_4139ad3b49ee@fun-main" tailtooltip=" " edgetooltip=" "]
  id_97980cd6_9bee_451e_95d3_7851339f0951:s -> id_58573412_d78c_4625_b5f3_8f11fca48f1e:n [id="id_97980cd6_9bee_451e_95d3_7851339f0951@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_58573412_d78c_4625_b5f3_8f11fca48f1e:e -> true_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> id_f28f962a_c0e0_4b9a_999f_64caec49c63d:n [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac" tailtooltip=" " edgetooltip=" "]
  
  id_f28f962a_c0e0_4b9a_999f_64caec49c63d:s -> true_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e:n [id="id_f28f962a_c0e0_4b9a_999f_64caec49c63d@id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> true_dummy_down_left_id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_f28f962a_c0e0_4b9a_999f_64caec49c63d@id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> id_58573412_d78c_4625_b5f3_8f11fca48f1e:s [id="id_f28f962a_c0e0_4b9a_999f_64caec49c63d@id_d5d43175_b9dd_4439_8b0f_1cf7910dbdac" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_58573412_d78c_4625_b5f3_8f11fca48f1e:w -> false_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> false_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> end_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_58573412_d78c_4625_b5f3_8f11fca48f1e -> id_6869eeca_f04d_4388_87a1_5bded35c5ee5 [id="id_58573412_d78c_4625_b5f3_8f11fca48f1e@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_6869eeca_f04d_4388_87a1_5bded35c5ee5:s -> id_885c2539_0070_4117_be8f_3b45350b43e4:n [id="id_6869eeca_f04d_4388_87a1_5bded35c5ee5@fun-main" tailtooltip=" " edgetooltip=" "]

}
