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_d3f753ea_7559_4a2b_8ca3_72e3b3bf6595 [id="id_d3f753ea_7559_4a2b_8ca3_72e3b3bf6595#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_33c22696_a2ac_408b_912a_493a05cbbb5f [id="id_33c22696_a2ac_408b_912a_493a05cbbb5f#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_f39b3b24_ef1e_49fc_b7c9_15c7515fd0f2 [id="id_f39b3b24_ef1e_49fc_b7c9_15c7515fd0f2#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_8a2dbfff_6a4a_4d87_a477_c3c1131bed57 [id="id_8a2dbfff_6a4a_4d87_a477_c3c1131bed57#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4d98e77b_4ef0_4c66_973f_43007e5b918a [id="id_4d98e77b_4ef0_4c66_973f_43007e5b918a#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_057f3203_6742_4b24_a0d0_c9b8e32a83e5 [id="id_057f3203_6742_4b24_a0d0_c9b8e32a83e5#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_66aef639_c474_4f7a_9506_df3cfaaad31a [id="id_66aef639_c474_4f7a_9506_df3cfaaad31a#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e2208d1c_362b_4bca_9486_9b06511ae4a3 [id="id_e2208d1c_362b_4bca_9486_9b06511ae4a3#Declare" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="d" tooltip="d: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e893a42c_323b_4476_b8cc_2643cd947368 [id="id_e893a42c_323b_4476_b8cc_2643cd947368#Input" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="d" tooltip="d" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c3e31480_b529_467f_b742_354c2f43be86 [id="id_c3e31480_b529_467f_b742_354c2f43be86#Declare" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="e" tooltip="e: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_81406935_0f5f_444d_bb62_24711429ebc6 [id="id_81406935_0f5f_444d_bb62_24711429ebc6#Input" pos="0.0,9990.625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="e" tooltip="e" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_05a8f25f_2669_4b9f_971c_c0e58cd9de47 [id="id_05a8f25f_2669_4b9f_971c_c0e58cd9de47#Declare" pos="0.0,9989.6875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="maximum" tooltip="maximum: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_68536119_c778_44c4_bf4f_d4d21b98ba01 [id="id_68536119_c778_44c4_bf4f_d4d21b98ba01#Input" pos="0.0,9988.75!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="maximum" tooltip="maximum" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92#While" pos="0.0,9987.8125!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="maximum==5" tooltip="maximum==5" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="2.5,9987.8125!" shape=point width=0]
  false_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="-1.25,9987.8125!" shape=point width=0]
  
  id_733ab65b_b986_4458_b5f6_b28ed22f9d14 [id="id_733ab65b_b986_4458_b5f6_b28ed22f9d14#Output" pos="2.5,9986.875!" height=0.4 width=2.29 fixedsize=true group="id_490fb344_88e9_4ffa_871f_50ff4fd599ff"    label="\"maximum\"+maximum" tooltip="\"maximum\"+maximum" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="2.5,9986.041666666666!" shape=point width=0]
  true_dummy_down_left_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="0.0,9986.041666666666!" shape=point width=0]
  false_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="-1.25,9985.9375!" shape=point width=0]
  end_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [pos="0.0,9985.9375!" group="fun-main" shape=point width=0]
  
  
  id_65796033_4dfe_4025_bd72_02248143ee16 [id="id_65796033_4dfe_4025_bd72_02248143ee16#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_d3f753ea_7559_4a2b_8ca3_72e3b3bf6595:s -> id_33c22696_a2ac_408b_912a_493a05cbbb5f:n [id="id_d3f753ea_7559_4a2b_8ca3_72e3b3bf6595@fun-main" tailtooltip=" " edgetooltip=" "]
  id_33c22696_a2ac_408b_912a_493a05cbbb5f:s -> id_f39b3b24_ef1e_49fc_b7c9_15c7515fd0f2:n [id="id_33c22696_a2ac_408b_912a_493a05cbbb5f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f39b3b24_ef1e_49fc_b7c9_15c7515fd0f2:s -> id_8a2dbfff_6a4a_4d87_a477_c3c1131bed57:n [id="id_f39b3b24_ef1e_49fc_b7c9_15c7515fd0f2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8a2dbfff_6a4a_4d87_a477_c3c1131bed57:s -> id_4d98e77b_4ef0_4c66_973f_43007e5b918a:n [id="id_8a2dbfff_6a4a_4d87_a477_c3c1131bed57@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4d98e77b_4ef0_4c66_973f_43007e5b918a:s -> id_057f3203_6742_4b24_a0d0_c9b8e32a83e5:n [id="id_4d98e77b_4ef0_4c66_973f_43007e5b918a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_057f3203_6742_4b24_a0d0_c9b8e32a83e5:s -> id_66aef639_c474_4f7a_9506_df3cfaaad31a:n [id="id_057f3203_6742_4b24_a0d0_c9b8e32a83e5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_66aef639_c474_4f7a_9506_df3cfaaad31a:s -> id_e2208d1c_362b_4bca_9486_9b06511ae4a3:n [id="id_66aef639_c474_4f7a_9506_df3cfaaad31a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e2208d1c_362b_4bca_9486_9b06511ae4a3:s -> id_e893a42c_323b_4476_b8cc_2643cd947368:n [id="id_e2208d1c_362b_4bca_9486_9b06511ae4a3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e893a42c_323b_4476_b8cc_2643cd947368:s -> id_c3e31480_b529_467f_b742_354c2f43be86:n [id="id_e893a42c_323b_4476_b8cc_2643cd947368@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c3e31480_b529_467f_b742_354c2f43be86:s -> id_81406935_0f5f_444d_bb62_24711429ebc6:n [id="id_c3e31480_b529_467f_b742_354c2f43be86@fun-main" tailtooltip=" " edgetooltip=" "]
  id_81406935_0f5f_444d_bb62_24711429ebc6:s -> id_05a8f25f_2669_4b9f_971c_c0e58cd9de47:n [id="id_81406935_0f5f_444d_bb62_24711429ebc6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_05a8f25f_2669_4b9f_971c_c0e58cd9de47:s -> id_68536119_c778_44c4_bf4f_d4d21b98ba01:n [id="id_05a8f25f_2669_4b9f_971c_c0e58cd9de47@fun-main" tailtooltip=" " edgetooltip=" "]
  id_68536119_c778_44c4_bf4f_d4d21b98ba01:s -> id_d54c3c52_876a_464e_aa9e_021e9f6bba92:n [id="id_68536119_c778_44c4_bf4f_d4d21b98ba01@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_d54c3c52_876a_464e_aa9e_021e9f6bba92:e -> true_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@id_490fb344_88e9_4ffa_871f_50ff4fd599ff" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> id_733ab65b_b986_4458_b5f6_b28ed22f9d14:n [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@id_490fb344_88e9_4ffa_871f_50ff4fd599ff" tailtooltip=" " edgetooltip=" "]
  
  id_733ab65b_b986_4458_b5f6_b28ed22f9d14:s -> true_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92:n [id="id_733ab65b_b986_4458_b5f6_b28ed22f9d14@id_490fb344_88e9_4ffa_871f_50ff4fd599ff" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> true_dummy_down_left_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_733ab65b_b986_4458_b5f6_b28ed22f9d14@id_490fb344_88e9_4ffa_871f_50ff4fd599ff" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> id_d54c3c52_876a_464e_aa9e_021e9f6bba92:s [id="id_733ab65b_b986_4458_b5f6_b28ed22f9d14@id_490fb344_88e9_4ffa_871f_50ff4fd599ff" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_d54c3c52_876a_464e_aa9e_021e9f6bba92:w -> false_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> false_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> end_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_d54c3c52_876a_464e_aa9e_021e9f6bba92 -> id_65796033_4dfe_4025_bd72_02248143ee16 [id="id_d54c3c52_876a_464e_aa9e_021e9f6bba92@fun-main" tailtooltip=" " edgetooltip=" "]
  

}