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_1460026e_bbd9_4365_a06f_eed594d1bf6c [id="id_1460026e_bbd9_4365_a06f_eed594d1bf6c#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_c0c081ba_b57a_45b3_9c22_90bd4b8b8c01 [id="id_c0c081ba_b57a_45b3_9c22_90bd4b8b8c01#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c2b5433c_5862_4f78_a44d_5c4930669c87 [id="id_c2b5433c_5862_4f78_a44d_5c4930669c87#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e6b2cd37_0416_46ea_b1fa_e80c0e991e58 [id="id_e6b2cd37_0416_46ea_b1fa_e80c0e991e58#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="S" tooltip="S: Boolean" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e#ForLoop" pos="0.0,9996.25!" height=0.5 width=2.15 fixedsize=true group="fun-main" 
    label="H = 0 to a by 1" tooltip="H = 0 to a by 1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="5.0,9996.25!" shape=point width=0]
  false_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="-1.25,9996.25!" shape=point width=0]
  
  id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf#If" pos="5.0,9995.3125!" height=0.5 width=4.68 fixedsize=true group="id_c3f79753_eb3b_4c9f_8060_cd408227dda0" 
    label="(H!=0) && (a%H==0) && (H!=a) && (H!=1)" tooltip="(H!=0) && (a%H==0) && (H!=a) && (H!=1)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [pos="8.75,9995.3125!" shape=point width=0]
  false_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [pos="1.25,9995.3125!" shape=point width=0]
  
  id_367448b2_c2f4_4c51_a52f_c13fbaa1c990 [id="id_367448b2_c2f4_4c51_a52f_c13fbaa1c990#Assign" pos="8.75,9994.375!" height=0.4 width=1.19 fixedsize=true group="id_d5ccf295_f476_44d5_8b0b_a1ed01b3ab8d"    label="S = false" tooltip="S = false" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_38578f97_1851_403b_9e5e_1fec2334e60c [id="id_38578f97_1851_403b_9e5e_1fec2334e60c#Assign" pos="1.25,9994.375!" height=0.4 width=1.08 fixedsize=true group="id_8400336c_25fa_4d0e_8bf3_a4fd8caeeaca"    label="S = true" tooltip="S = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [ pos="8.75,9993.4375!" shape=point width=0]
  false_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [ pos="1.25,9993.4375!" shape=point width=0]
  
  end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf#IfEnd" class="flowrun-not-selectable" pos="5.0,9993.4375!" group="id_c3f79753_eb3b_4c9f_8060_cd408227dda0" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="5.0,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="-1.25,9992.5!" shape=point width=0]
  end_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f#If" pos="0.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="S" tooltip="S" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [pos="1.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [pos="-1.25,9991.5625!" shape=point width=0]
  
  id_e3aca299_304d_4a86_846a_bbca5e40dfc1 [id="id_e3aca299_304d_4a86_846a_bbca5e40dfc1#Output" pos="1.25,9990.625!" height=0.4 width=1.19 fixedsize=true group="id_9e30c588_51d3_4f37_a9d6_f8fbb56af882"    label="\"prima\"" tooltip="\"prima\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_615e7e1c_d0f9_4034_ac24_d19a63dfd613 [id="id_615e7e1c_d0f9_4034_ac24_d19a63dfd613#Output" pos="-1.25,9990.625!" height=0.4 width=1.52 fixedsize=true group="id_188ecf08_4736_4f83_87bc_69bc853328a5"    label="\"megatron\"" tooltip="\"megatron\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [ pos="1.25,9989.6875!" shape=point width=0]
  false_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [ pos="-1.25,9989.6875!" shape=point width=0]
  
  end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_6c9eea18_9be8_4229_b6fc_081f9ae2a876 [id="id_6c9eea18_9be8_4229_b6fc_081f9ae2a876#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_1460026e_bbd9_4365_a06f_eed594d1bf6c:s -> id_c0c081ba_b57a_45b3_9c22_90bd4b8b8c01:n [id="id_1460026e_bbd9_4365_a06f_eed594d1bf6c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c0c081ba_b57a_45b3_9c22_90bd4b8b8c01:s -> id_c2b5433c_5862_4f78_a44d_5c4930669c87:n [id="id_c0c081ba_b57a_45b3_9c22_90bd4b8b8c01@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c2b5433c_5862_4f78_a44d_5c4930669c87:s -> id_e6b2cd37_0416_46ea_b1fa_e80c0e991e58:n [id="id_c2b5433c_5862_4f78_a44d_5c4930669c87@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e6b2cd37_0416_46ea_b1fa_e80c0e991e58:s -> id_0ea82997_09c5_4566_8da3_e2642ed2308e:n [id="id_e6b2cd37_0416_46ea_b1fa_e80c0e991e58@fun-main" tailtooltip=" " edgetooltip=" "]
  ## FORLOOP-TRUE
  id_0ea82997_09c5_4566_8da3_e2642ed2308e:e -> true_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@id_c3f79753_eb3b_4c9f_8060_cd408227dda0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:n [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@id_c3f79753_eb3b_4c9f_8060_cd408227dda0" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:e -> true_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_d5ccf295_f476_44d5_8b0b_a1ed01b3ab8d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf -> id_367448b2_c2f4_4c51_a52f_c13fbaa1c990:n [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_d5ccf295_f476_44d5_8b0b_a1ed01b3ab8d" tailtooltip=" " edgetooltip=" "]
  
  id_367448b2_c2f4_4c51_a52f_c13fbaa1c990:s -> true_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:n [id="id_367448b2_c2f4_4c51_a52f_c13fbaa1c990@id_d5ccf295_f476_44d5_8b0b_a1ed01b3ab8d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf -> end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="id_367448b2_c2f4_4c51_a52f_c13fbaa1c990@id_d5ccf295_f476_44d5_8b0b_a1ed01b3ab8d" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:w -> false_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_8400336c_25fa_4d0e_8bf3_a4fd8caeeaca" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf -> id_38578f97_1851_403b_9e5e_1fec2334e60c:n [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_8400336c_25fa_4d0e_8bf3_a4fd8caeeaca" tailtooltip=" " edgetooltip=" "]
  
  id_38578f97_1851_403b_9e5e_1fec2334e60c:s -> false_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:n [id="id_38578f97_1851_403b_9e5e_1fec2334e60c@id_8400336c_25fa_4d0e_8bf3_a4fd8caeeaca" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf -> end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf [id="id_38578f97_1851_403b_9e5e_1fec2334e60c@id_8400336c_25fa_4d0e_8bf3_a4fd8caeeaca" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf:s -> true_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e:n [id="end_id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_c3f79753_eb3b_4c9f_8060_cd408227dda0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> true_dummy_down_left_id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_c3f79753_eb3b_4c9f_8060_cd408227dda0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> id_0ea82997_09c5_4566_8da3_e2642ed2308e:s [id="id_59fc8b11_c9f9_4bcd_b5c9_cbca5c9296bf@id_c3f79753_eb3b_4c9f_8060_cd408227dda0" tailtooltip=" " edgetooltip=" "]
  
  ## FORLOOP-FALSE
  id_0ea82997_09c5_4566_8da3_e2642ed2308e:w -> false_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> false_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> end_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_0ea82997_09c5_4566_8da3_e2642ed2308e -> id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_0ea82997_09c5_4566_8da3_e2642ed2308e@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f:e -> true_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f@id_9e30c588_51d3_4f37_a9d6_f8fbb56af882" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f -> id_e3aca299_304d_4a86_846a_bbca5e40dfc1:n [id="id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f@id_9e30c588_51d3_4f37_a9d6_f8fbb56af882" tailtooltip=" " edgetooltip=" "]
  
  id_e3aca299_304d_4a86_846a_bbca5e40dfc1:s -> true_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f:n [id="id_e3aca299_304d_4a86_846a_bbca5e40dfc1@id_9e30c588_51d3_4f37_a9d6_f8fbb56af882" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f -> end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_e3aca299_304d_4a86_846a_bbca5e40dfc1@id_9e30c588_51d3_4f37_a9d6_f8fbb56af882" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f:w -> false_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f@id_188ecf08_4736_4f83_87bc_69bc853328a5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f -> id_615e7e1c_d0f9_4034_ac24_d19a63dfd613:n [id="id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f@id_188ecf08_4736_4f83_87bc_69bc853328a5" tailtooltip=" " edgetooltip=" "]
  
  id_615e7e1c_d0f9_4034_ac24_d19a63dfd613:s -> false_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f:n [id="id_615e7e1c_d0f9_4034_ac24_d19a63dfd613@id_188ecf08_4736_4f83_87bc_69bc853328a5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f -> end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f [id="id_615e7e1c_d0f9_4034_ac24_d19a63dfd613@id_188ecf08_4736_4f83_87bc_69bc853328a5" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f:s -> id_6c9eea18_9be8_4229_b6fc_081f9ae2a876:n [id="end_id_c49bdcc5_0e9d_413c_a97a_7e28b1d8f79f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}