Explore

0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61026 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_a94c81f5_8bd8_453a_a6d1_ce4178da90c8 digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_a94c81f5_8bd8_453a_a6d1_ce4178da90c8:n id_84a600ad_cf6f_436f_aeea_08e58ecad41d maxvalue = digits[0] id_a94c81f5_8bd8_453a_a6d1_ce4178da90c8:s->id_84a600ad_cf6f_436f_aeea_08e58ecad41d:n id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 i = 0 to 4 by 1 id_84a600ad_cf6f_436f_aeea_08e58ecad41d:s->id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98:n true_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98:e->true_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 true false_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98:w->false_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 false id_f0bda5bb_10a2_4c99_a133_88863e999562 digits[i] == maxvalue true_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->id_f0bda5bb_10a2_4c99_a133_88863e999562:n false_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 false_dummy_up_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->false_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 true_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562 id_f0bda5bb_10a2_4c99_a133_88863e999562:e->true_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562 true false_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562 id_f0bda5bb_10a2_4c99_a133_88863e999562:w->false_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562 false id_73016f01_cdd0_46fd_b3ca_a953d321ffe2 i true_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562->id_73016f01_cdd0_46fd_b3ca_a953d321ffe2:n false_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562 false_dummy_up_id_f0bda5bb_10a2_4c99_a133_88863e999562->false_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562:n true_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562 id_73016f01_cdd0_46fd_b3ca_a953d321ffe2:s->true_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562:n end_id_f0bda5bb_10a2_4c99_a133_88863e999562 true_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562->end_id_f0bda5bb_10a2_4c99_a133_88863e999562 false_dummy_down_id_f0bda5bb_10a2_4c99_a133_88863e999562->end_id_f0bda5bb_10a2_4c99_a133_88863e999562 true_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 end_id_f0bda5bb_10a2_4c99_a133_88863e999562:s->true_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98:n true_dummy_down_left_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 true_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->true_dummy_down_left_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 true_dummy_down_left_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98:s end_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 false_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->end_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End end_dummy_down_id_01cf17f4_eb78_4d5c_a45e_6ff6181c3d98->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61083 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_f1e55310_0c03_424a_bdcc_c4c3e17b289d e = 0 id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_f1e55310_0c03_424a_bdcc_c4c3e17b289d:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_f1e55310_0c03_424a_bdcc_c4c3e17b289d:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:n id_1322f396_6469_43de_afc1_aed30db04961 i = 0 to length(digits)-1 by 1 id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_1322f396_6469_43de_afc1_aed30db04961:n true_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961 id_1322f396_6469_43de_afc1_aed30db04961:e->true_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961 true false_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961 id_1322f396_6469_43de_afc1_aed30db04961:w->false_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961 false id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 digits[i] > e true_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961->id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:n false_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961 false_dummy_up_id_1322f396_6469_43de_afc1_aed30db04961->false_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961 true_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:e->true_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 true false_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:w->false_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 false id_04820a17_87bc_4fab_acad_444cd26b8741 e = digits[i] true_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0->id_04820a17_87bc_4fab_acad_444cd26b8741:n false_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 false_dummy_up_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0->false_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:n id_f0810ade_3387_4e83_91a1_b128b9701d28 e = i id_04820a17_87bc_4fab_acad_444cd26b8741:s->id_f0810ade_3387_4e83_91a1_b128b9701d28:n true_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 id_f0810ade_3387_4e83_91a1_b128b9701d28:s->true_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:n end_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 true_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0->end_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 false_dummy_down_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0->end_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0 true_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961 end_id_42051e2d_7c2b_4c83_8d43_eaa583e157a0:s->true_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961:n true_dummy_down_left_id_1322f396_6469_43de_afc1_aed30db04961 true_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961->true_dummy_down_left_id_1322f396_6469_43de_afc1_aed30db04961 true_dummy_down_left_id_1322f396_6469_43de_afc1_aed30db04961->id_1322f396_6469_43de_afc1_aed30db04961:s end_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961 false_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961->end_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961 id_196c35fa_8527_4d3d_be4e_d6ca647936d8 e end_dummy_down_id_1322f396_6469_43de_afc1_aed30db04961->id_196c35fa_8527_4d3d_be4e_d6ca647936d8 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_196c35fa_8527_4d3d_be4e_d6ca647936d8:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61171 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:n id_230b4f26_e952_4e29_b28d_bf084c267dfb max = digits[0] id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_230b4f26_e952_4e29_b28d_bf084c267dfb:n id_73f2d11b_c05a_4423_8e5e_d9711d80ee0e i = 1 id_230b4f26_e952_4e29_b28d_bf084c267dfb:s->id_73f2d11b_c05a_4423_8e5e_d9711d80ee0e:n id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa i = 1 to 4 by 1 id_73f2d11b_c05a_4423_8e5e_d9711d80ee0e:s->id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa:n true_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa:e->true_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa true false_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa:w->false_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa false id_d150a8dc_c029_442b_be21_73d2bd25d7f6 digits[i] > max true_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->id_d150a8dc_c029_442b_be21_73d2bd25d7f6:n false_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa false_dummy_up_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->false_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa true_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 id_d150a8dc_c029_442b_be21_73d2bd25d7f6:e->true_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 true false_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 id_d150a8dc_c029_442b_be21_73d2bd25d7f6:w->false_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 false id_6ca0ba60_494d_4246_8e5b_b31bd7aed0b4 max = digits[i] true_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6->id_6ca0ba60_494d_4246_8e5b_b31bd7aed0b4:n false_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 false_dummy_up_id_d150a8dc_c029_442b_be21_73d2bd25d7f6->false_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6:n true_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 id_6ca0ba60_494d_4246_8e5b_b31bd7aed0b4:s->true_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6:n end_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 true_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6->end_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 false_dummy_down_id_d150a8dc_c029_442b_be21_73d2bd25d7f6->end_id_d150a8dc_c029_442b_be21_73d2bd25d7f6 true_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa end_id_d150a8dc_c029_442b_be21_73d2bd25d7f6:s->true_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa:n true_dummy_down_left_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa true_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->true_dummy_down_left_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa true_dummy_down_left_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa:s end_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa false_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->end_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa id_3bb2e61b_36b7_4014_a004_75f3519fa84f max end_dummy_down_id_aba4bdf2_4a2a_4aa5_a6f8_cfd8d62ef6aa->id_3bb2e61b_36b7_4014_a004_75f3519fa84f id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_3bb2e61b_36b7_4014_a004_75f3519fa84f:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61187 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_1a898520_f00a_4c80_ab66_92f7d8835110 a = digits[0] id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_1a898520_f00a_4c80_ab66_92f7d8835110:n id_9ac9bb24_ffb9_4d2e_affb_697d38e52598 index = 0 id_1a898520_f00a_4c80_ab66_92f7d8835110:s->id_9ac9bb24_ffb9_4d2e_affb_697d38e52598:n id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 i = 0 to length(digits)-1 by 1 id_9ac9bb24_ffb9_4d2e_affb_697d38e52598:s->id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1:n true_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1:e->true_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 true false_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1:w->false_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 false id_8b566714_af0e_4a1d_9c90_d126ca5c058b a<digits[i] true_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->id_8b566714_af0e_4a1d_9c90_d126ca5c058b:n false_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 false_dummy_up_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->false_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 true_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b id_8b566714_af0e_4a1d_9c90_d126ca5c058b:e->true_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b true false_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b id_8b566714_af0e_4a1d_9c90_d126ca5c058b:w->false_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b false id_58bfb29f_750a_4495_afa2_d37ea8fcd894 a = digits[i] true_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b->id_58bfb29f_750a_4495_afa2_d37ea8fcd894:n false_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b false_dummy_up_id_8b566714_af0e_4a1d_9c90_d126ca5c058b->false_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b:n id_a2f05b13_bb28_4554_b944_4d8153a4270c index = i id_58bfb29f_750a_4495_afa2_d37ea8fcd894:s->id_a2f05b13_bb28_4554_b944_4d8153a4270c:n true_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b id_a2f05b13_bb28_4554_b944_4d8153a4270c:s->true_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b:n end_id_8b566714_af0e_4a1d_9c90_d126ca5c058b true_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b->end_id_8b566714_af0e_4a1d_9c90_d126ca5c058b false_dummy_down_id_8b566714_af0e_4a1d_9c90_d126ca5c058b->end_id_8b566714_af0e_4a1d_9c90_d126ca5c058b true_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 end_id_8b566714_af0e_4a1d_9c90_d126ca5c058b:s->true_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1:n true_dummy_down_left_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 true_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->true_dummy_down_left_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 true_dummy_down_left_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1:s end_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 false_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->end_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1 id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 index end_dummy_down_id_03e5f1c3_ba6f_4034_907e_0abcfb236ae1->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61171 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:n id_e71290d4_5a20_4425_b203_d37540342c8e max = digits[0] id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_e71290d4_5a20_4425_b203_d37540342c8e:n id_26386a81_bbef_4e53_ba7d_11bb8649a1c2 index = 0 id_e71290d4_5a20_4425_b203_d37540342c8e:s->id_26386a81_bbef_4e53_ba7d_11bb8649a1c2:n id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d i = 1 to 4 by 1 id_26386a81_bbef_4e53_ba7d_11bb8649a1c2:s->id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d:n true_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d:e->true_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d true false_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d:w->false_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d false id_c8929ea2_9b9e_4276_8513_b643ee6db054 digits[i] > max true_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->id_c8929ea2_9b9e_4276_8513_b643ee6db054:n false_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d false_dummy_up_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->false_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d true_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054 id_c8929ea2_9b9e_4276_8513_b643ee6db054:e->true_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054 true false_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054 id_c8929ea2_9b9e_4276_8513_b643ee6db054:w->false_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054 false id_57b3f225_e1ed_456b_b2f9_20137012e955 max = digits[i] true_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054->id_57b3f225_e1ed_456b_b2f9_20137012e955:n false_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054 false_dummy_up_id_c8929ea2_9b9e_4276_8513_b643ee6db054->false_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054:n id_ee6da9ae_2a7e_4655_8991_6f9931a29a87 index = i id_57b3f225_e1ed_456b_b2f9_20137012e955:s->id_ee6da9ae_2a7e_4655_8991_6f9931a29a87:n true_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054 id_ee6da9ae_2a7e_4655_8991_6f9931a29a87:s->true_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054:n end_id_c8929ea2_9b9e_4276_8513_b643ee6db054 true_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054->end_id_c8929ea2_9b9e_4276_8513_b643ee6db054 false_dummy_down_id_c8929ea2_9b9e_4276_8513_b643ee6db054->end_id_c8929ea2_9b9e_4276_8513_b643ee6db054 true_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d end_id_c8929ea2_9b9e_4276_8513_b643ee6db054:s->true_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d:n true_dummy_down_left_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d true_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->true_dummy_down_left_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d true_dummy_down_left_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d:s end_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d false_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->end_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d id_0dfb2cb4_2eb4_4fdc_831c_5a0bd61106b4 max end_dummy_down_id_d1eef2bd_d5bc_40fa_b105_2e0dcd49e62d->id_0dfb2cb4_2eb4_4fdc_831c_5a0bd61106b4 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_0dfb2cb4_2eb4_4fdc_831c_5a0bd61106b4:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61111 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_e3cd8d94_c4c4_422c_bd1b_26c9480ca293 max = digits[0] id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_e3cd8d94_c4c4_422c_bd1b_26c9480ca293:n id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 i = 0 to length(digits)-1 by 1 id_e3cd8d94_c4c4_422c_bd1b_26c9480ca293:s->id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016:n true_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016:e->true_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 true false_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016:w->false_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 false id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d digits[i] > max true_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:n false_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 false_dummy_up_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->false_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 true_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:e->true_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d true false_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:w->false_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d false id_61e11ff9_65aa_4edd_9f9f_3961fcdf59fa max = digits[i] true_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d->id_61e11ff9_65aa_4edd_9f9f_3961fcdf59fa:n false_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d false_dummy_up_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d->false_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:n true_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d id_61e11ff9_65aa_4edd_9f9f_3961fcdf59fa:s->true_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:n end_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d true_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d->end_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d false_dummy_down_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d->end_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d true_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 end_id_0e6506d9_9280_4eeb_a7ae_a3c0e0222d0d:s->true_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016:n true_dummy_down_left_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 true_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->true_dummy_down_left_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 true_dummy_down_left_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016:s end_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 false_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->end_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016 id_b5fcb1ba_aaca_45ec_beeb_d6982dd02ded max end_dummy_down_id_0e7d0fe1_e7e3_48e0_b9a6_2ad46d712016->id_b5fcb1ba_aaca_45ec_beeb_d6982dd02ded id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_b5fcb1ba_aaca_45ec_beeb_d6982dd02ded:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61195 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_6dad0776_644f_4174_9a94_74ec5dfcd5da maxvalue = digits[0] id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_6dad0776_644f_4174_9a94_74ec5dfcd5da:n id_0afaaf5a_c8c9_479e_b0ef_3e7f440b537c maxindex = maxvalu id_6dad0776_644f_4174_9a94_74ec5dfcd5da:s->id_0afaaf5a_c8c9_479e_b0ef_3e7f440b537c:n id_9f1beddb_ac75_424e_8dae_b71182fb7b36 i = 1 to length(digits)-1 by 1 id_0afaaf5a_c8c9_479e_b0ef_3e7f440b537c:s->id_9f1beddb_ac75_424e_8dae_b71182fb7b36:n true_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 id_9f1beddb_ac75_424e_8dae_b71182fb7b36:e->true_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 true false_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 id_9f1beddb_ac75_424e_8dae_b71182fb7b36:w->false_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 false id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe digits[i]>maxvalue true_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:n false_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 false_dummy_up_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->false_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 true_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:e->true_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe true false_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:w->false_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe false id_94107f64_a3aa_48b5_bd3b_7768cb916c58 maxindex = i true_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe->id_94107f64_a3aa_48b5_bd3b_7768cb916c58:n false_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe false_dummy_up_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe->false_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:n true_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe id_94107f64_a3aa_48b5_bd3b_7768cb916c58:s->true_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:n end_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe true_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe->end_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe false_dummy_down_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe->end_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe true_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 end_id_c326a75e_7f9b_4468_ad47_c9fe6b59ecbe:s->true_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36:n true_dummy_down_left_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 true_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->true_dummy_down_left_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 true_dummy_down_left_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->id_9f1beddb_ac75_424e_8dae_b71182fb7b36:s end_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 false_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->end_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36 id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 maxindex end_dummy_down_id_9f1beddb_ac75_424e_8dae_b71182fb7b36->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61068 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_cec4f966_1f0c_4a4f_ba50_6aa0ea0ea5ef largest = digits[0] id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_cec4f966_1f0c_4a4f_ba50_6aa0ea0ea5ef:n id_c8d88219_a555_4710_b0fd_83270d42f2a1 i = 1 to 4 by 1 id_cec4f966_1f0c_4a4f_ba50_6aa0ea0ea5ef:s->id_c8d88219_a555_4710_b0fd_83270d42f2a1:n true_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1 id_c8d88219_a555_4710_b0fd_83270d42f2a1:e->true_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1 true false_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1 id_c8d88219_a555_4710_b0fd_83270d42f2a1:w->false_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1 false id_6b9a7487_45f6_4754_aed0_3a249e938032 digits[i] > largest true_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1->id_6b9a7487_45f6_4754_aed0_3a249e938032:n false_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1 false_dummy_up_id_c8d88219_a555_4710_b0fd_83270d42f2a1->false_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1 true_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032 id_6b9a7487_45f6_4754_aed0_3a249e938032:e->true_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032 true false_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032 id_6b9a7487_45f6_4754_aed0_3a249e938032:w->false_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032 false id_1a147290_e822_4e50_9c80_47d76bcc3e4d largest = digits[i] true_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032->id_1a147290_e822_4e50_9c80_47d76bcc3e4d:n false_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032 false_dummy_up_id_6b9a7487_45f6_4754_aed0_3a249e938032->false_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032:n true_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032 id_1a147290_e822_4e50_9c80_47d76bcc3e4d:s->true_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032:n end_id_6b9a7487_45f6_4754_aed0_3a249e938032 true_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032->end_id_6b9a7487_45f6_4754_aed0_3a249e938032 false_dummy_down_id_6b9a7487_45f6_4754_aed0_3a249e938032->end_id_6b9a7487_45f6_4754_aed0_3a249e938032 true_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1 end_id_6b9a7487_45f6_4754_aed0_3a249e938032:s->true_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1:n true_dummy_down_left_id_c8d88219_a555_4710_b0fd_83270d42f2a1 true_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1->true_dummy_down_left_id_c8d88219_a555_4710_b0fd_83270d42f2a1 true_dummy_down_left_id_c8d88219_a555_4710_b0fd_83270d42f2a1->id_c8d88219_a555_4710_b0fd_83270d42f2a1:s end_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1 false_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1->end_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1 id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 largest end_dummy_down_id_c8d88219_a555_4710_b0fd_83270d42f2a1->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61024 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_f5435ec1_af9e_43d9_b25f_9e6ee73e68ba digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_f5435ec1_af9e_43d9_b25f_9e6ee73e68ba:n id_32e5204f_fddf_467b_9812_94993cd1fffa maxvalue = digits[0] id_f5435ec1_af9e_43d9_b25f_9e6ee73e68ba:s->id_32e5204f_fddf_467b_9812_94993cd1fffa:n id_54092181_57a7_4a3f_b3de_fb21695c3906 i = 0 to length(digits)-1 by 1 id_32e5204f_fddf_467b_9812_94993cd1fffa:s->id_54092181_57a7_4a3f_b3de_fb21695c3906:n true_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906 id_54092181_57a7_4a3f_b3de_fb21695c3906:e->true_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906 true false_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906 id_54092181_57a7_4a3f_b3de_fb21695c3906:w->false_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906 false id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc digits[i] == maxvalue true_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906->id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:n false_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906 false_dummy_up_id_54092181_57a7_4a3f_b3de_fb21695c3906->false_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906 true_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:e->true_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc true false_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:w->false_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc false id_fd3aa58f_af82_4f91_8649_e0f14a870d00 i true_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc->id_fd3aa58f_af82_4f91_8649_e0f14a870d00:n false_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc false_dummy_up_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc->false_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:n true_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc id_fd3aa58f_af82_4f91_8649_e0f14a870d00:s->true_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:n end_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc true_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc->end_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc false_dummy_down_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc->end_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc true_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906 end_id_563ed9eb_1e8b_4d4a_b663_034ad1bbbcdc:s->true_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906:n true_dummy_down_left_id_54092181_57a7_4a3f_b3de_fb21695c3906 true_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906->true_dummy_down_left_id_54092181_57a7_4a3f_b3de_fb21695c3906 true_dummy_down_left_id_54092181_57a7_4a3f_b3de_fb21695c3906->id_54092181_57a7_4a3f_b3de_fb21695c3906:s end_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906 false_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906->end_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End end_dummy_down_id_54092181_57a7_4a3f_b3de_fb21695c3906->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad
0
id_9db54951_2412_4214_a4ac_e4ae88ad24d0 Begin id_a4c7555c_927e_4bcf_b38c_76b5c943320a sid = 61143 id_9db54951_2412_4214_a4ac_e4ae88ad24d0:s->id_a4c7555c_927e_4bcf_b38c_76b5c943320a:n id_dd46dd9e_1ed5_445a_b827_872f02b55aeb digits id_a4c7555c_927e_4bcf_b38c_76b5c943320a:s->id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:n id_09aa8230_79f8_4cce_8dda_e963183084e5 digits[0] = sid / 10000 % 10 id_dd46dd9e_1ed5_445a_b827_872f02b55aeb:s->id_09aa8230_79f8_4cce_8dda_e963183084e5:n id_aea5c751_b4ca_4227_b4fb_a8e370f8557a digits[1] = sid / 1000 % 10 id_09aa8230_79f8_4cce_8dda_e963183084e5:s->id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:n id_315d5f51_b670_4c2e_8ba9_c2e9745b324e digits[2] = sid / 100 % 10 id_aea5c751_b4ca_4227_b4fb_a8e370f8557a:s->id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:n id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5 digits[3] = sid / 10 % 10 id_315d5f51_b670_4c2e_8ba9_c2e9745b324e:s->id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:n id_257fa210_93ad_4a01_ac33_16c393309cfd digits[4] = sid % 10 id_1fd7fdf0_5a2a_4aeb_96e8_307c565bb3b5:s->id_257fa210_93ad_4a01_ac33_16c393309cfd:n id_f1da01b6_2b53_4b8b_93f3_6464d928dd92 digits id_257fa210_93ad_4a01_ac33_16c393309cfd:s->id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:n id_2891b6fa_2e85_4760_93c0_bdf97e042a18 maxvalue = digits[0] id_f1da01b6_2b53_4b8b_93f3_6464d928dd92:s->id_2891b6fa_2e85_4760_93c0_bdf97e042a18:n id_a573e006_d59d_4c63_bae7_180d8d78bd44 i = 0 to length(digits)-1 by 1 id_2891b6fa_2e85_4760_93c0_bdf97e042a18:s->id_a573e006_d59d_4c63_bae7_180d8d78bd44:n true_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44 id_a573e006_d59d_4c63_bae7_180d8d78bd44:e->true_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44 true false_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44 id_a573e006_d59d_4c63_bae7_180d8d78bd44:w->false_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44 false id_8d9c96fd_e595_47f2_83e2_58222f67c71c digits[i]>maxvalue true_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44->id_8d9c96fd_e595_47f2_83e2_58222f67c71c:n false_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44 false_dummy_up_id_a573e006_d59d_4c63_bae7_180d8d78bd44->false_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44 true_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c id_8d9c96fd_e595_47f2_83e2_58222f67c71c:e->true_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c true false_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c id_8d9c96fd_e595_47f2_83e2_58222f67c71c:w->false_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c false id_d56f9768_34ae_4f85_8727_b34871a8d436 maxvalue = digits[i] true_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c->id_d56f9768_34ae_4f85_8727_b34871a8d436:n false_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c false_dummy_up_id_8d9c96fd_e595_47f2_83e2_58222f67c71c->false_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c:n true_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c id_d56f9768_34ae_4f85_8727_b34871a8d436:s->true_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c:n end_id_8d9c96fd_e595_47f2_83e2_58222f67c71c true_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c->end_id_8d9c96fd_e595_47f2_83e2_58222f67c71c false_dummy_down_id_8d9c96fd_e595_47f2_83e2_58222f67c71c->end_id_8d9c96fd_e595_47f2_83e2_58222f67c71c true_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44 end_id_8d9c96fd_e595_47f2_83e2_58222f67c71c:s->true_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44:n true_dummy_down_left_id_a573e006_d59d_4c63_bae7_180d8d78bd44 true_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44->true_dummy_down_left_id_a573e006_d59d_4c63_bae7_180d8d78bd44 true_dummy_down_left_id_a573e006_d59d_4c63_bae7_180d8d78bd44->id_a573e006_d59d_4c63_bae7_180d8d78bd44:s end_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44 false_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44->end_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44 id_443033c0_3d61_46a8_8f1f_9f8c40629c74 maxvalue end_dummy_down_id_a573e006_d59d_4c63_bae7_180d8d78bd44->id_443033c0_3d61_46a8_8f1f_9f8c40629c74 id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad End id_443033c0_3d61_46a8_8f1f_9f8c40629c74:s->id_84308d9f_cf75_4a08_92c8_5d5e84dcdaad:n