New Program0 id_43c2cf2e_30bb_41d6_9dfa_a18122092d68 Begin id_2715c815_370d_4e2f_9d63_54bc469a1970 NUM id_43c2cf2e_30bb_41d6_9dfa_a18122092d68:s->id_2715c815_370d_4e2f_9d63_54bc469a1970:n id_3c0148be_3697_40d0_8288_1f322daffaf1 I id_2715c815_370d_4e2f_9d63_54bc469a1970:s->id_3c0148be_3697_40d0_8288_1f322daffaf1:n id_d3f6d036_2983_4ca6_9e08_82e9f101a42b NUM id_3c0148be_3697_40d0_8288_1f322daffaf1:s->id_d3f6d036_2983_4ca6_9e08_82e9f101a42b:n id_03754bdd_9f0c_4931_b3ac_5373bc302088 I = 1 id_d3f6d036_2983_4ca6_9e08_82e9f101a42b:s->id_03754bdd_9f0c_4931_b3ac_5373bc302088:n end_id_02609f1f_7a7e_478b_9a6b_3aed221f086a id_03754bdd_9f0c_4931_b3ac_5373bc302088:s->end_id_02609f1f_7a7e_478b_9a6b_3aed221f086a:n id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 NUM % I == 0 end_id_02609f1f_7a7e_478b_9a6b_3aed221f086a->id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 true_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 id_fadc64b2_2ffe_4676_9e67_6799a2d74a77:e->true_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 true false_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 id_fadc64b2_2ffe_4676_9e67_6799a2d74a77:w->false_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 false id_e09ff6c7_465f_4232_9cf8_ed527b528569 I true_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77->id_e09ff6c7_465f_4232_9cf8_ed527b528569:n false_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 false_dummy_up_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77->false_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77:n true_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 id_e09ff6c7_465f_4232_9cf8_ed527b528569:s->true_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77:n end_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 true_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77->end_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 false_dummy_down_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77->end_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77 id_2de0f2aa_e998_48d0_ad67_c97c1d43ad33 I = I + 1 end_id_fadc64b2_2ffe_4676_9e67_6799a2d74a77:s->id_2de0f2aa_e998_48d0_ad67_c97c1d43ad33:n id_02609f1f_7a7e_478b_9a6b_3aed221f086a I * 2 <= NUM id_2de0f2aa_e998_48d0_ad67_c97c1d43ad33:s->id_02609f1f_7a7e_478b_9a6b_3aed221f086a:n true_dummy_down_id_02609f1f_7a7e_478b_9a6b_3aed221f086a id_02609f1f_7a7e_478b_9a6b_3aed221f086a:e->true_dummy_down_id_02609f1f_7a7e_478b_9a6b_3aed221f086a true id_cd120b4c_f178_4524_ac51_e9ece9276776 "NUM + è un divisore" id_02609f1f_7a7e_478b_9a6b_3aed221f086a:s->id_cd120b4c_f178_4524_ac51_e9ece9276776 false true_dummy_up_id_02609f1f_7a7e_478b_9a6b_3aed221f086a true_dummy_up_id_02609f1f_7a7e_478b_9a6b_3aed221f086a->end_id_02609f1f_7a7e_478b_9a6b_3aed221f086a:e true_dummy_down_id_02609f1f_7a7e_478b_9a6b_3aed221f086a->true_dummy_up_id_02609f1f_7a7e_478b_9a6b_3aed221f086a id_621cb2db_fd3c_4f83_9939_38b88edac69e End id_cd120b4c_f178_4524_ac51_e9ece9276776:s->id_621cb2db_fd3c_4f83_9939_38b88edac69e:n