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_4ed22269_8d3d_47b6_aaef_836afa8bdd7d [id="id_4ed22269_8d3d_47b6_aaef_836afa8bdd7d#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_d10d882f_821b_421d_b86d_72174e0f6822 [id="id_d10d882f_821b_421d_b86d_72174e0f6822#Output" pos="0.0,9999.0625!" height=0.4 width=4.38 fixedsize=true group="fun-main"    label="\"Inserisci due numeri a tua scelta \"" tooltip="\"Inserisci due numeri a tua scelta \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_638ecb70_43be_4a90_a299_030341ce0eeb [id="id_638ecb70_43be_4a90_a299_030341ce0eeb#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c90282a1_c07c_49df_b3cf_406404282cac [id="id_c90282a1_c07c_49df_b3cf_406404282cac#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9958a8ec_41ac_4f7a_a103_4554abe612f0 [id="id_9958a8ec_41ac_4f7a_a103_4554abe612f0#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_50d8c770_95b2_43ab_98ff_6a551292ec8b [id="id_50d8c770_95b2_43ab_98ff_6a551292ec8b#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ffed422d_52a4_46b7_b72a_f1bcd20a7adc [id="id_ffed422d_52a4_46b7_b72a_f1bcd20a7adc#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f#While" pos="0.0,9993.4375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x<y" tooltip="x<y" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_cc0b11e8_7fb8_475e_9308_37f25ea0a740 [id="id_cc0b11e8_7fb8_475e_9308_37f25ea0a740#Output" pos="1.25,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_ce63b063_b289_4ba3_98d4_896fcd5caed4"    label="\"output\"" tooltip="\"output\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552 [id="id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552#Input" pos="1.25,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_ce63b063_b289_4ba3_98d4_896fcd5caed4"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="1.25,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  end_id_33e05399_00e6_46ef_b278_0d8deef0624e [id="end_id_33e05399_00e6_46ef_b278_0d8deef0624e#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_230caeba_881a_4b4c_b355_b92c5d731c3f [id="id_230caeba_881a_4b4c_b355_b92c5d731c3f#Output" pos="0.0,9988.75!" height=0.4 width=6.470000000000001 fixedsize=true group="id_4b552df7_2219_461e_8397_91538ea37b02"    label="\"il numero deve essere tra i primi due numeri inseriti\"" tooltip="\"il numero deve essere tra i primi due numeri inseriti\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9d3bf81f_fcc9_438e_8461_d46c8159c01f [id="id_9d3bf81f_fcc9_438e_8461_d46c8159c01f#Input" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="id_4b552df7_2219_461e_8397_91538ea37b02"    label="z" tooltip="z" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_33e05399_00e6_46ef_b278_0d8deef0624e [id="id_33e05399_00e6_46ef_b278_0d8deef0624e#DoWhile" pos="0.0,9986.875!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
  label="z<x || z>y" tooltip="z<x || z>y" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_33e05399_00e6_46ef_b278_0d8deef0624e [pos="5.0,9989.6875!" shape=point width=0]
  true_dummy_down_id_33e05399_00e6_46ef_b278_0d8deef0624e [pos="5.0,9986.875!" shape=point width=0]
  
  
  id_f35e2923_aa2f_4968_9869_cb39b0243951 [id="id_f35e2923_aa2f_4968_9869_cb39b0243951#Output" pos="0.0,9985.9375!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="\"I numeri sono verificati\"" tooltip="\"I numeri sono verificati\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4f4c68af_5761_41b3_b3b5_4dd154a669fa [id="id_4f4c68af_5761_41b3_b3b5_4dd154a669fa#Return" pos="0.0,9985.0!" 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_4ed22269_8d3d_47b6_aaef_836afa8bdd7d:s -> id_d10d882f_821b_421d_b86d_72174e0f6822:n [id="id_4ed22269_8d3d_47b6_aaef_836afa8bdd7d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d10d882f_821b_421d_b86d_72174e0f6822:s -> id_638ecb70_43be_4a90_a299_030341ce0eeb:n [id="id_d10d882f_821b_421d_b86d_72174e0f6822@fun-main" tailtooltip=" " edgetooltip=" "]
  id_638ecb70_43be_4a90_a299_030341ce0eeb:s -> id_c90282a1_c07c_49df_b3cf_406404282cac:n [id="id_638ecb70_43be_4a90_a299_030341ce0eeb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c90282a1_c07c_49df_b3cf_406404282cac:s -> id_9958a8ec_41ac_4f7a_a103_4554abe612f0:n [id="id_c90282a1_c07c_49df_b3cf_406404282cac@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9958a8ec_41ac_4f7a_a103_4554abe612f0:s -> id_50d8c770_95b2_43ab_98ff_6a551292ec8b:n [id="id_9958a8ec_41ac_4f7a_a103_4554abe612f0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_50d8c770_95b2_43ab_98ff_6a551292ec8b:s -> id_ffed422d_52a4_46b7_b72a_f1bcd20a7adc:n [id="id_50d8c770_95b2_43ab_98ff_6a551292ec8b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ffed422d_52a4_46b7_b72a_f1bcd20a7adc:s -> id_8ce29ae3_9356_4d36_abd2_94534d79a69f:n [id="id_ffed422d_52a4_46b7_b72a_f1bcd20a7adc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_8ce29ae3_9356_4d36_abd2_94534d79a69f:e -> true_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> id_cc0b11e8_7fb8_475e_9308_37f25ea0a740:n [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" "]
  
  id_cc0b11e8_7fb8_475e_9308_37f25ea0a740:s -> id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552:n [id="id_cc0b11e8_7fb8_475e_9308_37f25ea0a740@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" "]
  id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552:s -> true_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f:n [id="id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> true_dummy_down_left_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> id_8ce29ae3_9356_4d36_abd2_94534d79a69f:s [id="id_4c5258ae_9dd7_41c4_beff_ae7c7e47f552@id_ce63b063_b289_4ba3_98d4_896fcd5caed4" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_8ce29ae3_9356_4d36_abd2_94534d79a69f:w -> false_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> false_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> end_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_8ce29ae3_9356_4d36_abd2_94534d79a69f -> end_id_33e05399_00e6_46ef_b278_0d8deef0624e [id="id_8ce29ae3_9356_4d36_abd2_94534d79a69f@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## DOWHILE-BODY
  end_id_33e05399_00e6_46ef_b278_0d8deef0624e -> id_230caeba_881a_4b4c_b355_b92c5d731c3f [id="id_33e05399_00e6_46ef_b278_0d8deef0624e@id_4b552df7_2219_461e_8397_91538ea37b02" tailtooltip=" " edgetooltip=" " ]
  id_230caeba_881a_4b4c_b355_b92c5d731c3f:s -> id_9d3bf81f_fcc9_438e_8461_d46c8159c01f:n [id="id_230caeba_881a_4b4c_b355_b92c5d731c3f@id_4b552df7_2219_461e_8397_91538ea37b02" tailtooltip=" " edgetooltip=" "]
  id_9d3bf81f_fcc9_438e_8461_d46c8159c01f:s -> id_33e05399_00e6_46ef_b278_0d8deef0624e:n [id="id_9d3bf81f_fcc9_438e_8461_d46c8159c01f@id_4b552df7_2219_461e_8397_91538ea37b02" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_33e05399_00e6_46ef_b278_0d8deef0624e:e -> true_dummy_down_id_33e05399_00e6_46ef_b278_0d8deef0624e [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_33e05399_00e6_46ef_b278_0d8deef0624e -> true_dummy_up_id_33e05399_00e6_46ef_b278_0d8deef0624e [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_33e05399_00e6_46ef_b278_0d8deef0624e -> end_id_33e05399_00e6_46ef_b278_0d8deef0624e:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_33e05399_00e6_46ef_b278_0d8deef0624e:s -> id_f35e2923_aa2f_4968_9869_cb39b0243951 [id="id_33e05399_00e6_46ef_b278_0d8deef0624e@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  id_f35e2923_aa2f_4968_9869_cb39b0243951:s -> id_4f4c68af_5761_41b3_b3b5_4dd154a669fa:n [id="id_f35e2923_aa2f_4968_9869_cb39b0243951@fun-main" tailtooltip=" " edgetooltip=" "]

}