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_4003e574_8842_4d04_8481_6484416b6f4c [id="id_4003e574_8842_4d04_8481_6484416b6f4c#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_5531f937_fb4c_40b0_af0c_b8b895b75306 [id="id_5531f937_fb4c_40b0_af0c_b8b895b75306#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="nbinint" tooltip="nbinint: RealArray" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_47f5c047_a947_4164_8fbf_ea21928a54f8 [id="id_47f5c047_a947_4164_8fbf_ea21928a54f8#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ndec" tooltip="ndec: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_abbf34f0_d738_4535_9aad_ff3158a25884 [id="id_abbf34f0_d738_4535_9aad_ff3158a25884#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c09b9d25_f4bc_43a2_833f_a96f3b08f61a [id="id_c09b9d25_f4bc_43a2_833f_a96f3b08f61a#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bb3aed95_697a_49af_9860_950210c22c23 [id="id_bb3aed95_697a_49af_9860_950210c22c23#Assign" pos="0.0,9995.3125!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="ndecint[] = floor(x)" tooltip="ndecint[] = floor(x)" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_3f4e03de_7e2c_437b_93ad_0096f9515ab1 [id="id_3f4e03de_7e2c_437b_93ad_0096f9515ab1#Output" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ndecint" tooltip="ndecint" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82#ForLoop" pos="0.0,9993.4375!" height=0.5 width=2.15 fixedsize=true group="fun-main" 
    label="k = 0 to 7 by 1" tooltip="k = 0 to 7 by 1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_f6e06794_e753_478c_8656_075fb29eb416 [id="id_f6e06794_e753_478c_8656_075fb29eb416#Assign" pos="1.25,9992.5!" height=0.4 width=1.74 fixedsize=true group="id_c38d1de4_6cf7_4076_8d58_621da037a08e"    label="nbinint[k] = 0" tooltip="nbinint[k] = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668#While" pos="0.0,9990.625!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="k<7" tooltip="k<7" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="2.5,9990.625!" shape=point width=0]
  false_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="-1.25,9990.625!" shape=point width=0]
  
  id_226935c1_d9bb_4953_8e94_dce92ec7b92a [id="id_226935c1_d9bb_4953_8e94_dce92ec7b92a#Assign" pos="2.5,9989.6875!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_ee682011_5697_47a9_9584_e92db97d1a61"    label="nbinint[7-i] = ndecint%2" tooltip="nbinint[7-i] = ndecint%2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_76941eb7_a633_4b0c_8065_8de4275f9a4e [id="id_76941eb7_a633_4b0c_8065_8de4275f9a4e#Assign" pos="2.5,9988.75!" height=0.4 width=2.29 fixedsize=true group="id_ee682011_5697_47a9_9584_e92db97d1a61"    label="ndecint = ndecint/2" tooltip="ndecint = ndecint/2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b659c284_ed50_45e1_9833_c489cdf23f8b [id="id_b659c284_ed50_45e1_9833_c489cdf23f8b#Assign" pos="2.5,9987.8125!" height=0.4 width=1.0 fixedsize=true group="id_ee682011_5697_47a9_9584_e92db97d1a61"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="2.5,9986.979166666666!" shape=point width=0]
  true_dummy_down_left_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="0.0,9986.979166666666!" shape=point width=0]
  false_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="-1.25,9986.875!" shape=point width=0]
  end_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [pos="0.0,9986.875!" group="fun-main" shape=point width=0]
  
  
  id_1f49d9bb_256d_4cf4_bf25_2d67ba0ed6e9 [id="id_1f49d9bb_256d_4cf4_bf25_2d67ba0ed6e9#Return" pos="0.0,9985.9375!" 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_4003e574_8842_4d04_8481_6484416b6f4c:s -> id_5531f937_fb4c_40b0_af0c_b8b895b75306:n [id="id_4003e574_8842_4d04_8481_6484416b6f4c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5531f937_fb4c_40b0_af0c_b8b895b75306:s -> id_47f5c047_a947_4164_8fbf_ea21928a54f8:n [id="id_5531f937_fb4c_40b0_af0c_b8b895b75306@fun-main" tailtooltip=" " edgetooltip=" "]
  id_47f5c047_a947_4164_8fbf_ea21928a54f8:s -> id_abbf34f0_d738_4535_9aad_ff3158a25884:n [id="id_47f5c047_a947_4164_8fbf_ea21928a54f8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_abbf34f0_d738_4535_9aad_ff3158a25884:s -> id_c09b9d25_f4bc_43a2_833f_a96f3b08f61a:n [id="id_abbf34f0_d738_4535_9aad_ff3158a25884@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c09b9d25_f4bc_43a2_833f_a96f3b08f61a:s -> id_bb3aed95_697a_49af_9860_950210c22c23:n [id="id_c09b9d25_f4bc_43a2_833f_a96f3b08f61a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bb3aed95_697a_49af_9860_950210c22c23:s -> id_3f4e03de_7e2c_437b_93ad_0096f9515ab1:n [id="id_bb3aed95_697a_49af_9860_950210c22c23@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3f4e03de_7e2c_437b_93ad_0096f9515ab1:s -> id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82:n [id="id_3f4e03de_7e2c_437b_93ad_0096f9515ab1@fun-main" tailtooltip=" " edgetooltip=" "]
  ## FORLOOP-TRUE
  id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82:e -> true_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@id_c38d1de4_6cf7_4076_8d58_621da037a08e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> id_f6e06794_e753_478c_8656_075fb29eb416:n [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@id_c38d1de4_6cf7_4076_8d58_621da037a08e" tailtooltip=" " edgetooltip=" "]
  
  id_f6e06794_e753_478c_8656_075fb29eb416:s -> true_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82:n [id="id_f6e06794_e753_478c_8656_075fb29eb416@id_c38d1de4_6cf7_4076_8d58_621da037a08e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> true_dummy_down_left_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_f6e06794_e753_478c_8656_075fb29eb416@id_c38d1de4_6cf7_4076_8d58_621da037a08e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82:s [id="id_f6e06794_e753_478c_8656_075fb29eb416@id_c38d1de4_6cf7_4076_8d58_621da037a08e" tailtooltip=" " edgetooltip=" "]
  
  ## FORLOOP-FALSE
  id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82:w -> false_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> false_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> end_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82 -> id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_3e81a1b4_9ecd_4bcf_930b_55785b3c0d82@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## WHILE-TRUE
  id_da81abbb_19f0_41c8_8e11_7b061acc7668:e -> true_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> id_226935c1_d9bb_4953_8e94_dce92ec7b92a:n [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" "]
  
  id_226935c1_d9bb_4953_8e94_dce92ec7b92a:s -> id_76941eb7_a633_4b0c_8065_8de4275f9a4e:n [id="id_226935c1_d9bb_4953_8e94_dce92ec7b92a@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" "]
  id_76941eb7_a633_4b0c_8065_8de4275f9a4e:s -> id_b659c284_ed50_45e1_9833_c489cdf23f8b:n [id="id_76941eb7_a633_4b0c_8065_8de4275f9a4e@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" "]
  id_b659c284_ed50_45e1_9833_c489cdf23f8b:s -> true_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668:n [id="id_b659c284_ed50_45e1_9833_c489cdf23f8b@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> true_dummy_down_left_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_b659c284_ed50_45e1_9833_c489cdf23f8b@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> id_da81abbb_19f0_41c8_8e11_7b061acc7668:s [id="id_b659c284_ed50_45e1_9833_c489cdf23f8b@id_ee682011_5697_47a9_9584_e92db97d1a61" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_da81abbb_19f0_41c8_8e11_7b061acc7668:w -> false_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> false_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> end_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_da81abbb_19f0_41c8_8e11_7b061acc7668 -> id_1f49d9bb_256d_4cf4_bf25_2d67ba0ed6e9 [id="id_da81abbb_19f0_41c8_8e11_7b061acc7668@fun-main" tailtooltip=" " edgetooltip=" "]
  

}