New Program0 id_9d9ae59c_4991_437c_b28b_b2e539677385 Begin id_77db92b7_087c_49b3_8855_d930145a1da9 Valid triangle id_9d9ae59c_4991_437c_b28b_b2e539677385:s->id_77db92b7_087c_49b3_8855_d930145a1da9:n id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 c² == a² + b² id_77db92b7_087c_49b3_8855_d930145a1da9:s->id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:n true_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:e->true_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 true false_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:w->false_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 false id_09a93178_9f16_4fac_8652_8ede46b850e1 Right-Angled Triangle true_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204->id_09a93178_9f16_4fac_8652_8ede46b850e1:n id_3973a8d9_4e79_468d_bb0b_079b88183767 c² < a² + b² false_dummy_up_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204->id_3973a8d9_4e79_468d_bb0b_079b88183767:n true_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 id_09a93178_9f16_4fac_8652_8ede46b850e1:s->true_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:n true_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767 id_3973a8d9_4e79_468d_bb0b_079b88183767:e->true_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767 true false_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767 id_3973a8d9_4e79_468d_bb0b_079b88183767:w->false_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767 false id_2a3b6787_001d_47b0_b6e1_7a0dda7d151e Acute Triangle true_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767->id_2a3b6787_001d_47b0_b6e1_7a0dda7d151e:n id_ae1a27f7_51cd_489d_bf97_670e17583492 Obtuse Triangle false_dummy_up_id_3973a8d9_4e79_468d_bb0b_079b88183767->id_ae1a27f7_51cd_489d_bf97_670e17583492:n true_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767 id_2a3b6787_001d_47b0_b6e1_7a0dda7d151e:s->true_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767:n false_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767 id_ae1a27f7_51cd_489d_bf97_670e17583492:s->false_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767:n end_id_3973a8d9_4e79_468d_bb0b_079b88183767 true_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767->end_id_3973a8d9_4e79_468d_bb0b_079b88183767 false_dummy_down_id_3973a8d9_4e79_468d_bb0b_079b88183767->end_id_3973a8d9_4e79_468d_bb0b_079b88183767 false_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 end_id_3973a8d9_4e79_468d_bb0b_079b88183767:s->false_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:n end_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 true_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204->end_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 false_dummy_down_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204->end_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204 id_badd3a3d_bef3_4414_99d9_0bd5e10e12bb End end_id_0e0968e1_1be3_4db7_b96e_2142b5cf2204:s->id_badd3a3d_bef3_4414_99d9_0bd5e10e12bb:n
New Program0 id_9637b4e2_519f_4323_b890_9efaf9e463ec Begin id_b6d505a3_5264_48d6_b14f_9b175abca7ca valid triangle id_9637b4e2_519f_4323_b890_9efaf9e463ec:s->id_b6d505a3_5264_48d6_b14f_9b175abca7ca:n id_3a808918_2d64_4df4_b3ce_e8057b0506a0 c² == a² + b² id_b6d505a3_5264_48d6_b14f_9b175abca7ca:s->id_3a808918_2d64_4df4_b3ce_e8057b0506a0:n true_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 id_3a808918_2d64_4df4_b3ce_e8057b0506a0:e->true_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 true false_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 id_3a808918_2d64_4df4_b3ce_e8057b0506a0:w->false_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 false id_97be1aef_d7ed_4a49_8889_166b14b5e494 Right-Angled Triangle true_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0->id_97be1aef_d7ed_4a49_8889_166b14b5e494:n id_12f5a916_7417_4430_bb23_15f29b01bafa c² < a² + b² false_dummy_up_id_3a808918_2d64_4df4_b3ce_e8057b0506a0->id_12f5a916_7417_4430_bb23_15f29b01bafa:n true_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 id_97be1aef_d7ed_4a49_8889_166b14b5e494:s->true_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0:n true_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa id_12f5a916_7417_4430_bb23_15f29b01bafa:e->true_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa true false_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa id_12f5a916_7417_4430_bb23_15f29b01bafa:w->false_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa false id_79efc547_e34f_472a_bb85_8759255a4e88 Acute Triangle true_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa->id_79efc547_e34f_472a_bb85_8759255a4e88:n id_10847c2a_c04a_4304_b1c4_e2b43fee772c Obtuse Triangle false_dummy_up_id_12f5a916_7417_4430_bb23_15f29b01bafa->id_10847c2a_c04a_4304_b1c4_e2b43fee772c:n true_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa id_79efc547_e34f_472a_bb85_8759255a4e88:s->true_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa:n false_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa id_10847c2a_c04a_4304_b1c4_e2b43fee772c:s->false_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa:n end_id_12f5a916_7417_4430_bb23_15f29b01bafa true_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa->end_id_12f5a916_7417_4430_bb23_15f29b01bafa false_dummy_down_id_12f5a916_7417_4430_bb23_15f29b01bafa->end_id_12f5a916_7417_4430_bb23_15f29b01bafa false_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 end_id_12f5a916_7417_4430_bb23_15f29b01bafa:s->false_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0:n end_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 true_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0->end_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 false_dummy_down_id_3a808918_2d64_4df4_b3ce_e8057b0506a0->end_id_3a808918_2d64_4df4_b3ce_e8057b0506a0 id_e451bf6c_f90b_4f9a_ab8c_e674b333d5bb End end_id_3a808918_2d64_4df4_b3ce_e8057b0506a0:s->id_e451bf6c_f90b_4f9a_ab8c_e674b333d5bb:n
New Program0 id_afe70807_2d16_48b5_ae39_0bb57709d537 Begin id_5097dfe7_4ed0_4438_93dd_fb04c2fb33ed input a,b,c id_afe70807_2d16_48b5_ae39_0bb57709d537:s->id_5097dfe7_4ed0_4438_93dd_fb04c2fb33ed:n id_088e84a9_da62_41c2_9a1d_c79179dd6174 a<b+c and b<c+a and c<a+b id_5097dfe7_4ed0_4438_93dd_fb04c2fb33ed:s->id_088e84a9_da62_41c2_9a1d_c79179dd6174:n true_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174 id_088e84a9_da62_41c2_9a1d_c79179dd6174:e->true_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174 true false_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174 id_088e84a9_da62_41c2_9a1d_c79179dd6174:w->false_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174 false id_046d8936_e47e_472a_b90f_eff30504a537 valid triangle true_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174->id_046d8936_e47e_472a_b90f_eff30504a537:n id_77fbe748_b739_4149_8b56_c646ce209b82 Not a triangle. false_dummy_up_id_088e84a9_da62_41c2_9a1d_c79179dd6174->id_77fbe748_b739_4149_8b56_c646ce209b82:n true_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174 id_046d8936_e47e_472a_b90f_eff30504a537:s->true_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174:n false_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174 id_77fbe748_b739_4149_8b56_c646ce209b82:s->false_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174:n end_id_088e84a9_da62_41c2_9a1d_c79179dd6174 true_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174->end_id_088e84a9_da62_41c2_9a1d_c79179dd6174 false_dummy_down_id_088e84a9_da62_41c2_9a1d_c79179dd6174->end_id_088e84a9_da62_41c2_9a1d_c79179dd6174 id_5a6cafcc_cff5_4b11_bfc0_18d07cbf7a74 End end_id_088e84a9_da62_41c2_9a1d_c79179dd6174:s->id_5a6cafcc_cff5_4b11_bfc0_18d07cbf7a74:n