
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_932267bc_f67a_4349_906c_63aa906f5dff [id="id_932267bc_f67a_4349_906c_63aa906f5dff#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_5f6d9cb5_d1ba_4a55_b7b9_3c3bf8cf8586 [id="id_5f6d9cb5_d1ba_4a55_b7b9_3c3bf8cf8586#Comment" pos="0.0,9999.0625!" height=0.4 width=2.62 fixedsize=true group="fun-main"    label="MESSAGGIO DI BENVENUTO" tooltip="MESSAGGIO DI BENVENUTO" shape="parallelogram" fillcolor="#C0C0C0" color="#A9A9A9" fontcolor="white"] 
  id_52d40f97_734c_46a8_8867_b87d9ac50953 [id="id_52d40f97_734c_46a8_8867_b87d9ac50953#Output" pos="0.0,9998.125!" height=0.4 width=4.71 fixedsize=true group="fun-main"    label="\"Converto in binario numeri da 0 a 255\"" tooltip="\"Converto in binario numeri da 0 a 255\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2fb54ed8_f332_4bec_a3fa_1fb0e4ee1ecf [id="id_2fb54ed8_f332_4bec_a3fa_1fb0e4ee1ecf#Comment" pos="0.0,9997.1875!" height=0.4 width=3.39 fixedsize=true group="fun-main"    label="DICHIARAZIONE DELLE VARIABILI" tooltip="DICHIARAZIONE DELLE VARIABILI" shape="parallelogram" fillcolor="#C0C0C0" color="#A9A9A9" fontcolor="white"] 
  id_9c829929_2dec_49fc_a0d8_8447df20708c [id="id_9c829929_2dec_49fc_a0d8_8447df20708c#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ndec" tooltip="ndec: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c5d240f5_ad1d_48f8_aab9_17147b8f880e [id="id_c5d240f5_ad1d_48f8_aab9_17147b8f880e#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="nbin" tooltip="nbin: IntegerArray" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3c6016bf_5ad1_475d_8e0c_6977fce25fd8 [id="id_3c6016bf_5ad1_475d_8e0c_6977fce25fd8#Declare" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Q" tooltip="Q: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f689f22f_b348_4aa5_a514_61fe46ebe6dd [id="id_f689f22f_b348_4aa5_a514_61fe46ebe6dd#Declare" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="R" tooltip="R: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a923ec24_dbfa_4062_9353_6d68a64c29f5 [id="id_a923ec24_dbfa_4062_9353_6d68a64c29f5#Declare" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 7" tooltip="i: Integer = 7" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_143159b5_1925_44d8_947a_830e0dcba40b [id="id_143159b5_1925_44d8_947a_830e0dcba40b#Declare" pos="0.0,9991.5625!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="scelta = \"N\"" tooltip="scelta: String = \"N\"" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a#While" pos="0.0,9990.625!" height=0.5 width=4.02 fixedsize=true group="fun-main" 
    label="(scelta==\"N\")||(scelta==\"n\")" tooltip="(scelta==\"N\")||(scelta==\"n\")" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="5.0,9990.625!" shape=point width=0]
  false_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="-2.5,9990.625!" shape=point width=0]
  
  id_9db60895_157b_452e_85bc_3b0bd41d549c [id="id_9db60895_157b_452e_85bc_3b0bd41d549c#Output" pos="5.0,9989.6875!" height=0.4 width=4.930000000000001 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="\"Qual è il numero da convertire? (0-255)\"" tooltip="\"Qual è il numero da convertire? (0-255)\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4f9b2a50_d9cd_4cbb_bab4_eb6371dc4b1c [id="id_4f9b2a50_d9cd_4cbb_bab4_eb6371dc4b1c#Input" pos="5.0,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="ndec" tooltip="ndec" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_acf2b980_833b_4a9a_a827_57a4cbc71472 [id="id_acf2b980_833b_4a9a_a827_57a4cbc71472#Assign" pos="5.0,9987.8125!" height=0.4 width=1.08 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="Q = ndec" tooltip="Q = ndec" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_8c7452fb_bfd3_4f7f_b968_bf2a6a136315 [id="id_8c7452fb_bfd3_4f7f_b968_bf2a6a136315#Assign" pos="5.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="i = 7" tooltip="i = 7" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_71bbbd96_886f_4f16_af59_05373f2855a0#While" pos="5.0,9985.9375!" height=0.5 width=1.0 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68" 
    label="i>=0" tooltip="i>=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="6.25,9985.9375!" shape=point width=0]
  false_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="3.75,9985.9375!" shape=point width=0]
  
  id_ea050a52_69d1_4aec_af5d_6667eaf29564 [id="id_ea050a52_69d1_4aec_af5d_6667eaf29564#Assign" pos="6.25,9985.0!" height=0.4 width=1.0 fixedsize=true group="id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e"    label="R = Q%2" tooltip="R = Q%2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f0e7ef8c_641e_4f28_b4a8_c6243c559722 [id="id_f0e7ef8c_641e_4f28_b4a8_c6243c559722#Assign" pos="6.25,9984.0625!" height=0.4 width=1.0 fixedsize=true group="id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e"    label="Q = Q/2" tooltip="Q = Q/2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_389b7fa6_d92b_480c_b97f_6b92d512276c [id="id_389b7fa6_d92b_480c_b97f_6b92d512276c#Assign" pos="6.25,9983.125!" height=0.4 width=1.41 fixedsize=true group="id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e"    label="nbin[i] = R" tooltip="nbin[i] = R" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b [id="id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b#Assign" pos="6.25,9982.1875!" height=0.4 width=1.0 fixedsize=true group="id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e"    label="i = i-1" tooltip="i = i-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="6.25,9981.354166666666!" shape=point width=0]
  true_dummy_down_left_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="5.0,9981.354166666666!" shape=point width=0]
  false_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="3.75,9981.25!" shape=point width=0]
  end_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 [pos="5.0,9981.25!" group="id_cf097f35_48c3_43fe_8ead_c194d3afff68" shape=point width=0]
  
  
  id_b1a0903e_2f7e_4e58_b074_6dc8b7fc21cc [id="id_b1a0903e_2f7e_4e58_b074_6dc8b7fc21cc#Output" pos="5.0,9980.3125!" height=0.4 width=4.71 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="\"Il numero rappresentato in binario è:\"" tooltip="\"Il numero rappresentato in binario è:\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f0a320a3_6583_4fa5_8426_90fd4dc93586 [id="id_f0a320a3_6583_4fa5_8426_90fd4dc93586#Output" pos="5.0,9979.375!" height=0.4 width=1.0 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="nbin" tooltip="nbin" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f2de6a53_922a_43a5_adf5_e81a751c3895 [id="id_f2de6a53_922a_43a5_adf5_e81a751c3895#Output" pos="5.0,9978.4375!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="\"Vuoi uscire? S/N\"" tooltip="\"Vuoi uscire? S/N\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_16d4fe7d_7715_4207_8e36_0b747df2b32c [id="id_16d4fe7d_7715_4207_8e36_0b747df2b32c#Input" pos="5.0,9977.5!" height=0.4 width=1.0 fixedsize=true group="id_cf097f35_48c3_43fe_8ead_c194d3afff68"    label="scelta" tooltip="scelta" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="5.0,9976.666666666666!" shape=point width=0]
  true_dummy_down_left_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="0.0,9976.666666666666!" shape=point width=0]
  false_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="-2.5,9976.5625!" shape=point width=0]
  end_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [pos="0.0,9976.5625!" group="fun-main" shape=point width=0]
  
  
  id_a2fec401_ef1a_40f4_8047_0cec02d2abc4 [id="id_a2fec401_ef1a_40f4_8047_0cec02d2abc4#Return" pos="0.0,9975.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_932267bc_f67a_4349_906c_63aa906f5dff:s -> id_5f6d9cb5_d1ba_4a55_b7b9_3c3bf8cf8586:n [id="id_932267bc_f67a_4349_906c_63aa906f5dff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5f6d9cb5_d1ba_4a55_b7b9_3c3bf8cf8586:s -> id_52d40f97_734c_46a8_8867_b87d9ac50953:n [id="id_5f6d9cb5_d1ba_4a55_b7b9_3c3bf8cf8586@fun-main" tailtooltip=" " edgetooltip=" "]
  id_52d40f97_734c_46a8_8867_b87d9ac50953:s -> id_2fb54ed8_f332_4bec_a3fa_1fb0e4ee1ecf:n [id="id_52d40f97_734c_46a8_8867_b87d9ac50953@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2fb54ed8_f332_4bec_a3fa_1fb0e4ee1ecf:s -> id_9c829929_2dec_49fc_a0d8_8447df20708c:n [id="id_2fb54ed8_f332_4bec_a3fa_1fb0e4ee1ecf@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9c829929_2dec_49fc_a0d8_8447df20708c:s -> id_c5d240f5_ad1d_48f8_aab9_17147b8f880e:n [id="id_9c829929_2dec_49fc_a0d8_8447df20708c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c5d240f5_ad1d_48f8_aab9_17147b8f880e:s -> id_3c6016bf_5ad1_475d_8e0c_6977fce25fd8:n [id="id_c5d240f5_ad1d_48f8_aab9_17147b8f880e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3c6016bf_5ad1_475d_8e0c_6977fce25fd8:s -> id_f689f22f_b348_4aa5_a514_61fe46ebe6dd:n [id="id_3c6016bf_5ad1_475d_8e0c_6977fce25fd8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f689f22f_b348_4aa5_a514_61fe46ebe6dd:s -> id_a923ec24_dbfa_4062_9353_6d68a64c29f5:n [id="id_f689f22f_b348_4aa5_a514_61fe46ebe6dd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a923ec24_dbfa_4062_9353_6d68a64c29f5:s -> id_143159b5_1925_44d8_947a_830e0dcba40b:n [id="id_a923ec24_dbfa_4062_9353_6d68a64c29f5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_143159b5_1925_44d8_947a_830e0dcba40b:s -> id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a:n [id="id_143159b5_1925_44d8_947a_830e0dcba40b@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a:e -> true_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> id_9db60895_157b_452e_85bc_3b0bd41d549c:n [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  
  id_9db60895_157b_452e_85bc_3b0bd41d549c:s -> id_4f9b2a50_d9cd_4cbb_bab4_eb6371dc4b1c:n [id="id_9db60895_157b_452e_85bc_3b0bd41d549c@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_4f9b2a50_d9cd_4cbb_bab4_eb6371dc4b1c:s -> id_acf2b980_833b_4a9a_a827_57a4cbc71472:n [id="id_4f9b2a50_d9cd_4cbb_bab4_eb6371dc4b1c@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_acf2b980_833b_4a9a_a827_57a4cbc71472:s -> id_8c7452fb_bfd3_4f7f_b968_bf2a6a136315:n [id="id_acf2b980_833b_4a9a_a827_57a4cbc71472@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_8c7452fb_bfd3_4f7f_b968_bf2a6a136315:s -> id_71bbbd96_886f_4f16_af59_05373f2855a0:n [id="id_8c7452fb_bfd3_4f7f_b968_bf2a6a136315@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_71bbbd96_886f_4f16_af59_05373f2855a0:e -> true_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> id_ea050a52_69d1_4aec_af5d_6667eaf29564:n [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" "]
  
  id_ea050a52_69d1_4aec_af5d_6667eaf29564:s -> id_f0e7ef8c_641e_4f28_b4a8_c6243c559722:n [id="id_ea050a52_69d1_4aec_af5d_6667eaf29564@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" "]
  id_f0e7ef8c_641e_4f28_b4a8_c6243c559722:s -> id_389b7fa6_d92b_480c_b97f_6b92d512276c:n [id="id_f0e7ef8c_641e_4f28_b4a8_c6243c559722@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" "]
  id_389b7fa6_d92b_480c_b97f_6b92d512276c:s -> id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b:n [id="id_389b7fa6_d92b_480c_b97f_6b92d512276c@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" "]
  id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b:s -> true_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0:n [id="id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> true_dummy_down_left_id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> id_71bbbd96_886f_4f16_af59_05373f2855a0:s [id="id_c11a3ccc_ceab_496f_8d4b_56b823ed9c6b@id_9b404ef7_18cb_4677_9e5c_8b9c91e46e1e" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_71bbbd96_886f_4f16_af59_05373f2855a0:w -> false_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> false_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> end_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_71bbbd96_886f_4f16_af59_05373f2855a0 -> id_b1a0903e_2f7e_4e58_b074_6dc8b7fc21cc [id="id_71bbbd96_886f_4f16_af59_05373f2855a0@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  
  
  id_b1a0903e_2f7e_4e58_b074_6dc8b7fc21cc:s -> id_f0a320a3_6583_4fa5_8426_90fd4dc93586:n [id="id_b1a0903e_2f7e_4e58_b074_6dc8b7fc21cc@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_f0a320a3_6583_4fa5_8426_90fd4dc93586:s -> id_f2de6a53_922a_43a5_adf5_e81a751c3895:n [id="id_f0a320a3_6583_4fa5_8426_90fd4dc93586@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_f2de6a53_922a_43a5_adf5_e81a751c3895:s -> id_16d4fe7d_7715_4207_8e36_0b747df2b32c:n [id="id_f2de6a53_922a_43a5_adf5_e81a751c3895@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  id_16d4fe7d_7715_4207_8e36_0b747df2b32c:s -> true_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a:n [id="id_16d4fe7d_7715_4207_8e36_0b747df2b32c@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> true_dummy_down_left_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_16d4fe7d_7715_4207_8e36_0b747df2b32c@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a:s [id="id_16d4fe7d_7715_4207_8e36_0b747df2b32c@id_cf097f35_48c3_43fe_8ead_c194d3afff68" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a:w -> false_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> false_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> end_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a -> id_a2fec401_ef1a_40f4_8047_0cec02d2abc4 [id="id_fb194233_e4cd_4cea_87c0_3b95c1ed6a1a@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
