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_71a0c8e6_5eef_4b05_b212_993d3cec3252 [id="id_71a0c8e6_5eef_4b05_b212_993d3cec3252#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_b4b1ff82_cd84_47a7_9fe2_34137985a242 [id="id_b4b1ff82_cd84_47a7_9fe2_34137985a242#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a = 0" tooltip="a: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0c801f57_5e98_4898_9397_9ddec2bd12e5 [id="id_0c801f57_5e98_4898_9397_9ddec2bd12e5#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b = 0" tooltip="b: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3b33d4b1_eb73_41fc_8d0e_b0c55fc46b4c [id="id_3b33d4b1_eb73_41fc_8d0e_b0c55fc46b4c#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="num = 0" tooltip="num: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ec024843_b88b_4a2d_a779_4332a883f7f6 [id="id_ec024843_b88b_4a2d_a779_4332a883f7f6#Declare" pos="0.0,9996.25!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="count = 0" tooltip="count: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9670517c_6b11_4d0d_9218_886f8fd79af5 [id="id_9670517c_6b11_4d0d_9218_886f8fd79af5#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e558c9b6_6d51_42d5_91a5_b3d32b1520fd [id="id_e558c9b6_6d51_42d5_91a5_b3d32b1520fd#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="id_face51f4_a58f_45b7_b76d_25ba33cb44dd#If" pos="0.0,9993.4375!" height=0.5 width=2.92 fixedsize=true group="fun-main" 
    label="(a>0) && (b>0) && (ab)" tooltip="(a>0) && (b>0) && (ab)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [pos="-3.75,9993.4375!" shape=point width=0]
  
  end_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [id="end_id_288e9ec3_279a_4bce_8e08_f031e2ce1593#DoWhileEndId" class="flowrun-not-selectable" pos="2.5,9992.5!" group="id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_e70f3cf9_b947_422c_92b4_4a4dc06dea7c [id="id_e70f3cf9_b947_422c_92b4_4a4dc06dea7c#Input" pos="2.5,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_c2b76a7e_2a09_4c7c_8253_43bec9788d63"    label="num" tooltip="num" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915#If" pos="2.5,9990.625!" height=0.5 width=2.7 fixedsize=true group="id_c2b76a7e_2a09_4c7c_8253_43bec9788d63" 
    label="(num>=a) && (num<=b)" tooltip="(num>=a) && (num<=b)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [pos="5.0,9990.625!" shape=point width=0]
  false_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [pos="0.0,9990.625!" shape=point width=0]
  
  id_f323db3a_1866_438b_9fe2_765b57393669 [id="id_f323db3a_1866_438b_9fe2_765b57393669#Assign" pos="5.0,9989.6875!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_45e3286b_21b7_4b28_a9c7_8ad4d13c61e1"    label="count = count + 1" tooltip="count = count + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [ pos="5.0,9988.75!" shape=point width=0]
  false_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [ pos="0.0,9988.75!" shape=point width=0]
  
  end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915#IfEnd" class="flowrun-not-selectable" pos="2.5,9988.75!" group="id_c2b76a7e_2a09_4c7c_8253_43bec9788d63" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [id="id_288e9ec3_279a_4bce_8e08_f031e2ce1593#DoWhile" pos="2.5,9987.8125!" height=0.5 width=1.27 fixedsize=true group="id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" 
  label="num > 0" tooltip="num > 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [pos="6.25,9992.5!" shape=point width=0]
  true_dummy_down_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [pos="6.25,9987.8125!" shape=point width=0]
  
  
  id_c0b29660_7a22_4e2f_bb6e_f724bf510559 [id="id_c0b29660_7a22_4e2f_bb6e_f724bf510559#Output" pos="2.5,9986.875!" height=0.4 width=1.0 fixedsize=true group="id_c8b878be_86b4_49a9_8f6d_fdde0380d75a"    label="count" tooltip="count" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_414cf5b6_d441_42d0_ac95_76f31e109321 [id="id_414cf5b6_d441_42d0_ac95_76f31e109321#Output" pos="-3.75,9992.5!" height=0.4 width=3.1700000000000004 fixedsize=true group="id_7922c21f_56a9_4c50_8d5e_e20548c304d3"    label="\"a e b devono essere > 0\"" tooltip="\"a e b devono essere > 0\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [ pos="2.5,9985.9375!" shape=point width=0]
  false_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [ pos="-3.75,9985.9375!" shape=point width=0]
  
  end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd#IfEnd" class="flowrun-not-selectable" pos="0.0,9985.9375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_ed091433_ffb1_4f52_b860_0a392702eeaa [id="id_ed091433_ffb1_4f52_b860_0a392702eeaa#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_71a0c8e6_5eef_4b05_b212_993d3cec3252:s -> id_b4b1ff82_cd84_47a7_9fe2_34137985a242:n [id="id_71a0c8e6_5eef_4b05_b212_993d3cec3252@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b4b1ff82_cd84_47a7_9fe2_34137985a242:s -> id_0c801f57_5e98_4898_9397_9ddec2bd12e5:n [id="id_b4b1ff82_cd84_47a7_9fe2_34137985a242@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0c801f57_5e98_4898_9397_9ddec2bd12e5:s -> id_3b33d4b1_eb73_41fc_8d0e_b0c55fc46b4c:n [id="id_0c801f57_5e98_4898_9397_9ddec2bd12e5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3b33d4b1_eb73_41fc_8d0e_b0c55fc46b4c:s -> id_ec024843_b88b_4a2d_a779_4332a883f7f6:n [id="id_3b33d4b1_eb73_41fc_8d0e_b0c55fc46b4c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ec024843_b88b_4a2d_a779_4332a883f7f6:s -> id_9670517c_6b11_4d0d_9218_886f8fd79af5:n [id="id_ec024843_b88b_4a2d_a779_4332a883f7f6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9670517c_6b11_4d0d_9218_886f8fd79af5:s -> id_e558c9b6_6d51_42d5_91a5_b3d32b1520fd:n [id="id_9670517c_6b11_4d0d_9218_886f8fd79af5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e558c9b6_6d51_42d5_91a5_b3d32b1520fd:s -> id_face51f4_a58f_45b7_b76d_25ba33cb44dd:n [id="id_e558c9b6_6d51_42d5_91a5_b3d32b1520fd@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_face51f4_a58f_45b7_b76d_25ba33cb44dd:e -> true_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="id_face51f4_a58f_45b7_b76d_25ba33cb44dd@id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd -> end_id_288e9ec3_279a_4bce_8e08_f031e2ce1593:n [id="id_face51f4_a58f_45b7_b76d_25ba33cb44dd@id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-BODY
  end_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 -> id_e70f3cf9_b947_422c_92b4_4a4dc06dea7c [id="id_288e9ec3_279a_4bce_8e08_f031e2ce1593@id_c2b76a7e_2a09_4c7c_8253_43bec9788d63" tailtooltip=" " edgetooltip=" " ]
  id_e70f3cf9_b947_422c_92b4_4a4dc06dea7c:s -> id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:n [id="id_e70f3cf9_b947_422c_92b4_4a4dc06dea7c@id_c2b76a7e_2a09_4c7c_8253_43bec9788d63" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:e -> true_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_45e3286b_21b7_4b28_a9c7_8ad4d13c61e1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 -> id_f323db3a_1866_438b_9fe2_765b57393669:n [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_45e3286b_21b7_4b28_a9c7_8ad4d13c61e1" tailtooltip=" " edgetooltip=" "]
  
  id_f323db3a_1866_438b_9fe2_765b57393669:s -> true_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:n [id="id_f323db3a_1866_438b_9fe2_765b57393669@id_45e3286b_21b7_4b28_a9c7_8ad4d13c61e1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 -> end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="id_f323db3a_1866_438b_9fe2_765b57393669@id_45e3286b_21b7_4b28_a9c7_8ad4d13c61e1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:w -> false_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_4865dc91_1ed9_4d15_ad45_a597b20c746d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 -> false_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:n [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_4865dc91_1ed9_4d15_ad45_a597b20c746d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 -> end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915 [id="id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_4865dc91_1ed9_4d15_ad45_a597b20c746d" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915:s -> id_288e9ec3_279a_4bce_8e08_f031e2ce1593:n [id="end_id_0764374a_0e0a_47f6_b7a4_bfd2ceb75915@id_c2b76a7e_2a09_4c7c_8253_43bec9788d63" tailtooltip=" " edgetooltip=" "]
  
  
  
  ## DOWHILE-TRUE
  id_288e9ec3_279a_4bce_8e08_f031e2ce1593:e -> true_dummy_down_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 -> true_dummy_up_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_288e9ec3_279a_4bce_8e08_f031e2ce1593 -> end_id_288e9ec3_279a_4bce_8e08_f031e2ce1593:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_288e9ec3_279a_4bce_8e08_f031e2ce1593:s -> id_c0b29660_7a22_4e2f_bb6e_f724bf510559 [id="id_288e9ec3_279a_4bce_8e08_f031e2ce1593@id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  id_c0b29660_7a22_4e2f_bb6e_f724bf510559:s -> true_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd:n [id="id_c0b29660_7a22_4e2f_bb6e_f724bf510559@id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd -> end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="id_c0b29660_7a22_4e2f_bb6e_f724bf510559@id_c8b878be_86b4_49a9_8f6d_fdde0380d75a" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_face51f4_a58f_45b7_b76d_25ba33cb44dd:w -> false_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="id_face51f4_a58f_45b7_b76d_25ba33cb44dd@id_7922c21f_56a9_4c50_8d5e_e20548c304d3" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_face51f4_a58f_45b7_b76d_25ba33cb44dd -> id_414cf5b6_d441_42d0_ac95_76f31e109321:n [id="id_face51f4_a58f_45b7_b76d_25ba33cb44dd@id_7922c21f_56a9_4c50_8d5e_e20548c304d3" tailtooltip=" " edgetooltip=" "]
  
  id_414cf5b6_d441_42d0_ac95_76f31e109321:s -> false_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd:n [id="id_414cf5b6_d441_42d0_ac95_76f31e109321@id_7922c21f_56a9_4c50_8d5e_e20548c304d3" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_face51f4_a58f_45b7_b76d_25ba33cb44dd -> end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd [id="id_414cf5b6_d441_42d0_ac95_76f31e109321@id_7922c21f_56a9_4c50_8d5e_e20548c304d3" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd:s -> id_ed091433_ffb1_4f52_b860_0a392702eeaa:n [id="end_id_face51f4_a58f_45b7_b76d_25ba33cb44dd@fun-main" tailtooltip=" " edgetooltip=" "]
  

}