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_bf78b29c_8cbb_418d_b561_5370ffa2c03f [id="id_bf78b29c_8cbb_418d_b561_5370ffa2c03f#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_438d8d98_c45d_454d_b21b_60df5bdf4e48 [id="id_438d8d98_c45d_454d_b21b_60df5bdf4e48#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_6120572c_7f9e_424d_b473_c6c1d9197157 [id="id_6120572c_7f9e_424d_b473_c6c1d9197157#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_47b577ec_e6e9_41b0_91d2_2abae84a20a2 [id="id_47b577ec_e6e9_41b0_91d2_2abae84a20a2#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C = 0" tooltip="C: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4c840ed0_068e_4c64_8e88_b2b59871f55d [id="id_4c840ed0_068e_4c64_8e88_b2b59871f55d#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b16a640e_be84_49c4_9829_97b078076c90 [id="id_b16a640e_be84_49c4_9829_97b078076c90#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc#While" pos="0.0,9994.375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A>B" tooltip="A>B" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="-1.25,9994.375!" shape=point width=0]
  
  id_2dceabc0_9b74_4705_b9bf_82c2b4178a92 [id="id_2dceabc0_9b74_4705_b9bf_82c2b4178a92#Assign" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_38c933ad_3e46_47f4_bc52_77665be2f124"    label="C = A-B" tooltip="C = A-B" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea [id="id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea#Assign" pos="1.25,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_38c933ad_3e46_47f4_bc52_77665be2f124"    label="A = A-1" tooltip="A = A-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_d329cc66_402a_4249_97c0_a5adffb50f1f [id="id_d329cc66_402a_4249_97c0_a5adffb50f1f#Assign" pos="0.0,9990.625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C = A+B" tooltip="C = A+B" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_d2bff0df_9487_4141_b8d5_22ece8ea884b [id="id_d2bff0df_9487_4141_b8d5_22ece8ea884b#Output" pos="0.0,9989.6875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C" tooltip="C" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a5328d8e_e603_4960_898a_aabcd027e2c1 [id="id_a5328d8e_e603_4960_898a_aabcd027e2c1#Return" pos="0.0,9988.75!" 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_bf78b29c_8cbb_418d_b561_5370ffa2c03f:s -> id_438d8d98_c45d_454d_b21b_60df5bdf4e48:n [id="id_bf78b29c_8cbb_418d_b561_5370ffa2c03f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_438d8d98_c45d_454d_b21b_60df5bdf4e48:s -> id_6120572c_7f9e_424d_b473_c6c1d9197157:n [id="id_438d8d98_c45d_454d_b21b_60df5bdf4e48@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6120572c_7f9e_424d_b473_c6c1d9197157:s -> id_47b577ec_e6e9_41b0_91d2_2abae84a20a2:n [id="id_6120572c_7f9e_424d_b473_c6c1d9197157@fun-main" tailtooltip=" " edgetooltip=" "]
  id_47b577ec_e6e9_41b0_91d2_2abae84a20a2:s -> id_4c840ed0_068e_4c64_8e88_b2b59871f55d:n [id="id_47b577ec_e6e9_41b0_91d2_2abae84a20a2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4c840ed0_068e_4c64_8e88_b2b59871f55d:s -> id_b16a640e_be84_49c4_9829_97b078076c90:n [id="id_4c840ed0_068e_4c64_8e88_b2b59871f55d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b16a640e_be84_49c4_9829_97b078076c90:s -> id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc:n [id="id_b16a640e_be84_49c4_9829_97b078076c90@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc:e -> true_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> id_2dceabc0_9b74_4705_b9bf_82c2b4178a92:n [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" "]
  
  id_2dceabc0_9b74_4705_b9bf_82c2b4178a92:s -> id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea:n [id="id_2dceabc0_9b74_4705_b9bf_82c2b4178a92@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" "]
  id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea:s -> true_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc:n [id="id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> true_dummy_down_left_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc:s [id="id_bb1ad9e8_9ec2_4566_a9ff_685afce9c4ea@id_38c933ad_3e46_47f4_bc52_77665be2f124" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc:w -> false_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> false_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> end_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc -> id_d329cc66_402a_4249_97c0_a5adffb50f1f [id="id_7d7ee9ed_6e46_4dc3_a3b4_9608d73090cc@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_d329cc66_402a_4249_97c0_a5adffb50f1f:s -> id_d2bff0df_9487_4141_b8d5_22ece8ea884b:n [id="id_d329cc66_402a_4249_97c0_a5adffb50f1f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d2bff0df_9487_4141_b8d5_22ece8ea884b:s -> id_a5328d8e_e603_4960_898a_aabcd027e2c1:n [id="id_d2bff0df_9487_4141_b8d5_22ece8ea884b@fun-main" tailtooltip=" " edgetooltip=" "]

}