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_9db54951_2412_4214_a4ac_e4ae88ad24d0 [id="id_9db54951_2412_4214_a4ac_e4ae88ad24d0#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_a4c7555c_927e_4bcf_b38c_76b5c943320a [id="id_a4c7555c_927e_4bcf_b38c_76b5c943320a#Declare" pos="0.0,9999.0625!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="sid = 61194" tooltip="sid: Integer = 61194" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_dd46dd9e_1ed5_445a_b827_872f02b55aeb [id="id_dd46dd9e_1ed5_445a_b827_872f02b55aeb#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="digits" tooltip="digits: IntegerArray" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_09aa8230_79f8_4cce_8dda_e963183084e5 [id="id_09aa8230_79f8_4cce_8dda_e963183084e5#Assign" pos="0.0,9997.1875!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="digits[0] = sid / 10000 % 10" tooltip="digits[0] = sid / 10000 % 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_aea5c751_b4ca_4227_b4fb_a8e370f8557a [id="id_aea5c751_b4ca_4227_b4fb_a8e370f8557a#Assign" pos="0.0,9996.25!" height=0.4 width=3.1700000000000004 fixedsize=true group="fun-main"    label="digits[1] = sid / 1000 % 10" tooltip="digits[1] = sid / 1000 % 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_315d5f51_b670_4c2e_8ba9_c2e9745b324e [id="id_315d5f51_b670_4c2e_8ba9_c2e9745b324e#Assign" pos="0.0,9995.3125!" height=0.4 width=3.06 fixedsize=true group="fun-main"    label="digits[2] = sid / 100 % 10" tooltip="digits[2] = sid / 100 % 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 [id="id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5#Assign" pos="0.0,9994.375!" height=0.4 width=2.95 fixedsize=true group="fun-main"    label="digits[3] = sid / 10 % 10" tooltip="digits[3] = sid / 10 % 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_257fa210_93ad_4a01_ac33_16c393309cfd [id="id_257fa210_93ad_4a01_ac33_16c393309cfd#Assign" pos="0.0,9993.4375!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="digits[4] = sid % 10" tooltip="digits[4] = sid % 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_db00edef_944f_48d8_beac_1dd849668429 [id="id_db00edef_944f_48d8_beac_1dd849668429#Declare" pos="0.0,9992.5!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="maxv = 0" tooltip="maxv: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9d9074c9_3d49_47a8_88da_863921d4a3af [id="id_9d9074c9_3d49_47a8_88da_863921d4a3af#Declare" pos="0.0,9991.5625!" height=0.4 width=1.52 fixedsize=true group="fun-main"    label="maxindex = 0" tooltip="maxindex: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd#ForLoop" pos="0.0,9990.625!" height=0.5 width=3.8 fixedsize=true group="fun-main" 
    label="i = 0 to length(digits)-1 by 1" tooltip="i = 0 to length(digits)-1 by 1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="3.75,9990.625!" shape=point width=0]
  false_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="-2.5,9990.625!" shape=point width=0]
  
  id_528da02a_4006_450b_a43e_a6237b808424 [id="id_528da02a_4006_450b_a43e_a6237b808424#If" pos="3.75,9989.6875!" height=0.5 width=2.15 fixedsize=true group="id_4a876948_b184_48c0_bf0a_d7fb082fd368" 
    label="digits[i]>=maxv" tooltip="digits[i]>=maxv" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 [pos="5.0,9989.6875!" shape=point width=0]
  false_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 [pos="2.5,9989.6875!" shape=point width=0]
  
  id_93a09839_96c4_416d_a8fb_bf27695c3656 [id="id_93a09839_96c4_416d_a8fb_bf27695c3656#Assign" pos="5.0,9988.75!" height=0.4 width=1.96 fixedsize=true group="id_fbdcf928_6317_493c_9a52_1740d88213ce"    label="maxv = digits[i]" tooltip="maxv = digits[i]" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_ffc69845_011a_423c_9134_13a30311145c [id="id_ffc69845_011a_423c_9134_13a30311145c#Assign" pos="5.0,9987.8125!" height=0.4 width=1.52 fixedsize=true group="id_fbdcf928_6317_493c_9a52_1740d88213ce"    label="maxindex = i" tooltip="maxindex = i" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424 [ pos="5.0,9986.875!" shape=point width=0]
  false_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424 [ pos="2.5,9986.875!" shape=point width=0]
  
  end_id_528da02a_4006_450b_a43e_a6237b808424 [id="end_id_528da02a_4006_450b_a43e_a6237b808424#IfEnd" class="flowrun-not-selectable" pos="3.75,9986.875!" group="id_4a876948_b184_48c0_bf0a_d7fb082fd368" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="3.75,9986.041666666666!" shape=point width=0]
  true_dummy_down_left_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="0.0,9986.041666666666!" shape=point width=0]
  false_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="-2.5,9985.9375!" shape=point width=0]
  end_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [pos="0.0,9985.9375!" group="fun-main" shape=point width=0]
  
  
  id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 [id="id_f1da01b6_2b53_4b8b_93f3_6464d928dd92#Output" pos="0.0,9985.0!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="maxindex" tooltip="maxindex" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad [id="id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad#Return" pos="0.0,9984.0625!" 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_9db54951_2412_4214_a4ac_e4ae88ad24d0:s -> id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n [id="id_9db54951_2412_4214_a4ac_e4ae88ad24d0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s -> id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n [id="id_a4c7555c_927e_4bcf_b38c_76b5c943320a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s -> id_09aa8230_79f8_4cce_8dda_e963183084e5:n [id="id_dd46dd9e_1ed5_445a_b827_872f02b55aeb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_09aa8230_79f8_4cce_8dda_e963183084e5:s -> id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n [id="id_09aa8230_79f8_4cce_8dda_e963183084e5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s -> id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n [id="id_aea5c751_b4ca_4227_b4fb_a8e370f8557a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s -> id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n [id="id_315d5f51_b670_4c2e_8ba9_c2e9745b324e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s -> id_257fa210_93ad_4a01_ac33_16c393309cfd:n [id="id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_257fa210_93ad_4a01_ac33_16c393309cfd:s -> id_db00edef_944f_48d8_beac_1dd849668429:n [id="id_257fa210_93ad_4a01_ac33_16c393309cfd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_db00edef_944f_48d8_beac_1dd849668429:s -> id_9d9074c9_3d49_47a8_88da_863921d4a3af:n [id="id_db00edef_944f_48d8_beac_1dd849668429@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9d9074c9_3d49_47a8_88da_863921d4a3af:s -> id_95f5581c_e83c_412f_b328_0513e2cc8bcd:n [id="id_9d9074c9_3d49_47a8_88da_863921d4a3af@fun-main" tailtooltip=" " edgetooltip=" "]
  ## FORLOOP-TRUE
  id_95f5581c_e83c_412f_b328_0513e2cc8bcd:e -> true_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@id_4a876948_b184_48c0_bf0a_d7fb082fd368" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> id_528da02a_4006_450b_a43e_a6237b808424:n [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@id_4a876948_b184_48c0_bf0a_d7fb082fd368" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_528da02a_4006_450b_a43e_a6237b808424:e -> true_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 [id="id_528da02a_4006_450b_a43e_a6237b808424@id_fbdcf928_6317_493c_9a52_1740d88213ce" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 -> id_93a09839_96c4_416d_a8fb_bf27695c3656:n [id="id_528da02a_4006_450b_a43e_a6237b808424@id_fbdcf928_6317_493c_9a52_1740d88213ce" tailtooltip=" " edgetooltip=" "]
  
  id_93a09839_96c4_416d_a8fb_bf27695c3656:s -> id_ffc69845_011a_423c_9134_13a30311145c:n [id="id_93a09839_96c4_416d_a8fb_bf27695c3656@id_fbdcf928_6317_493c_9a52_1740d88213ce" tailtooltip=" " edgetooltip=" "]
  id_ffc69845_011a_423c_9134_13a30311145c:s -> true_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424:n [id="id_ffc69845_011a_423c_9134_13a30311145c@id_fbdcf928_6317_493c_9a52_1740d88213ce" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424 -> end_id_528da02a_4006_450b_a43e_a6237b808424 [id="id_ffc69845_011a_423c_9134_13a30311145c@id_fbdcf928_6317_493c_9a52_1740d88213ce" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_528da02a_4006_450b_a43e_a6237b808424:w -> false_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 [id="id_528da02a_4006_450b_a43e_a6237b808424@id_83cc13a2_ca77_49b9_84e0_665aac5a9c9a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_528da02a_4006_450b_a43e_a6237b808424 -> false_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424:n [id="id_528da02a_4006_450b_a43e_a6237b808424@id_83cc13a2_ca77_49b9_84e0_665aac5a9c9a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_528da02a_4006_450b_a43e_a6237b808424 -> end_id_528da02a_4006_450b_a43e_a6237b808424 [id="id_528da02a_4006_450b_a43e_a6237b808424@id_83cc13a2_ca77_49b9_84e0_665aac5a9c9a" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_528da02a_4006_450b_a43e_a6237b808424:s -> true_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd:n [id="end_id_528da02a_4006_450b_a43e_a6237b808424@id_4a876948_b184_48c0_bf0a_d7fb082fd368" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> true_dummy_down_left_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_528da02a_4006_450b_a43e_a6237b808424@id_4a876948_b184_48c0_bf0a_d7fb082fd368" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> id_95f5581c_e83c_412f_b328_0513e2cc8bcd:s [id="id_528da02a_4006_450b_a43e_a6237b808424@id_4a876948_b184_48c0_bf0a_d7fb082fd368" tailtooltip=" " edgetooltip=" "]
  
  ## FORLOOP-FALSE
  id_95f5581c_e83c_412f_b328_0513e2cc8bcd:w -> false_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> false_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> end_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_95f5581c_e83c_412f_b328_0513e2cc8bcd -> id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 [id="id_95f5581c_e83c_412f_b328_0513e2cc8bcd@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s -> id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n [id="id_f1da01b6_2b53_4b8b_93f3_6464d928dd92@fun-main" tailtooltip=" " edgetooltip=" "]

}