New Program0 id_7403a248_1e7f_4ab3_b1ae_6b7a5f47ab0a Begin id_03cd59c8_6eb6_4274_8141_900893428bd9 a id_7403a248_1e7f_4ab3_b1ae_6b7a5f47ab0a:s->id_03cd59c8_6eb6_4274_8141_900893428bd9:n id_6b431672_e6df_4b23_99d9_c98b8a932861 a id_03cd59c8_6eb6_4274_8141_900893428bd9:s->id_6b431672_e6df_4b23_99d9_c98b8a932861:n id_0e0624c6_0439_46af_8504_d241fa0c875a b id_6b431672_e6df_4b23_99d9_c98b8a932861:s->id_0e0624c6_0439_46af_8504_d241fa0c875a:n id_156c5e98_410c_4c2b_9645_b24fa3b94c07 b id_0e0624c6_0439_46af_8504_d241fa0c875a:s->id_156c5e98_410c_4c2b_9645_b24fa3b94c07:n id_81e0b2f0_b62a_4786_8e78_f3601585acc8 c id_156c5e98_410c_4c2b_9645_b24fa3b94c07:s->id_81e0b2f0_b62a_4786_8e78_f3601585acc8:n id_9cf33dfc_9429_4400_aa96_025ba716260e c id_81e0b2f0_b62a_4786_8e78_f3601585acc8:s->id_9cf33dfc_9429_4400_aa96_025ba716260e:n id_d2b57f68_55c0_40c8_95d9_cb514651c5bc a<b+c&&b<a+c&&c<a+b id_9cf33dfc_9429_4400_aa96_025ba716260e:s->id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:n true_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:e->true_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc true false_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:w->false_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc false id_38a55efb_6a0b_4b54_b481_cd59678ae6cf "valid triangle" true_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc->id_38a55efb_6a0b_4b54_b481_cd59678ae6cf:n id_7a9ccc20_ac2f_47df_9b57_9719ceb2a1fa "not a validate triangle" false_dummy_up_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc->id_7a9ccc20_ac2f_47df_9b57_9719ceb2a1fa:n id_8cad7552_3bd0_4426_a5c0_54f9306c79dd a==b&&b==c id_38a55efb_6a0b_4b54_b481_cd59678ae6cf:s->id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:n true_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:e->true_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd true false_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:w->false_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd false id_cb0b6e00_d00d_4e5f_87e3_25464146ea3d "equilateral" true_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd->id_cb0b6e00_d00d_4e5f_87e3_25464146ea3d:n id_a6d3ea71_e952_44db_9934_838a7dc518f5 a==b||b==c||c==a false_dummy_up_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd->id_a6d3ea71_e952_44db_9934_838a7dc518f5:n true_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd id_cb0b6e00_d00d_4e5f_87e3_25464146ea3d:s->true_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:n true_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5 id_a6d3ea71_e952_44db_9934_838a7dc518f5:e->true_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5 true false_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5 id_a6d3ea71_e952_44db_9934_838a7dc518f5:w->false_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5 false id_cb593465_480f_4484_9190_b28713103f4d "isoceles" true_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5->id_cb593465_480f_4484_9190_b28713103f4d:n id_01169bd0_4d88_4c37_aee9_113736a9fdb8 "scalene" false_dummy_up_id_a6d3ea71_e952_44db_9934_838a7dc518f5->id_01169bd0_4d88_4c37_aee9_113736a9fdb8:n true_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5 id_cb593465_480f_4484_9190_b28713103f4d:s->true_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5:n false_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5 id_01169bd0_4d88_4c37_aee9_113736a9fdb8:s->false_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5:n end_id_a6d3ea71_e952_44db_9934_838a7dc518f5 true_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5->end_id_a6d3ea71_e952_44db_9934_838a7dc518f5 false_dummy_down_id_a6d3ea71_e952_44db_9934_838a7dc518f5->end_id_a6d3ea71_e952_44db_9934_838a7dc518f5 false_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd end_id_a6d3ea71_e952_44db_9934_838a7dc518f5:s->false_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:n end_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd true_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd->end_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd false_dummy_down_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd->end_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd id_09e901c8_7ef0_4089_bdf5_f93476e9a56b a*a+b*b>c*c end_id_8cad7552_3bd0_4426_a5c0_54f9306c79dd:s->id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:n true_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:e->true_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b true false_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:w->false_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b false id_f7fb7d62_5f50_4a7a_95d1_1ef252ac1edd "acute triangle" true_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b->id_f7fb7d62_5f50_4a7a_95d1_1ef252ac1edd:n id_48d86ef9_d783_4091_a2b9_f220062b5071 a*a+b*b=c*c false_dummy_up_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b->id_48d86ef9_d783_4091_a2b9_f220062b5071:n true_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b id_f7fb7d62_5f50_4a7a_95d1_1ef252ac1edd:s->true_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:n true_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071 id_48d86ef9_d783_4091_a2b9_f220062b5071:e->true_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071 true false_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071 id_48d86ef9_d783_4091_a2b9_f220062b5071:w->false_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071 false id_3c71567d_c748_4212_bce2_d592feda41dc "right triangle" true_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071->id_3c71567d_c748_4212_bce2_d592feda41dc:n id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe a*a+b*b<c*c false_dummy_up_id_48d86ef9_d783_4091_a2b9_f220062b5071->id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:n true_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071 id_3c71567d_c748_4212_bce2_d592feda41dc:s->true_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071:n true_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:e->true_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe true false_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:w->false_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe false id_92bc9121_fbd6_4043_84bc_a8004318bd97 "obtuse triangle" true_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe->id_92bc9121_fbd6_4043_84bc_a8004318bd97:n id_20a35fcd_8915_4776_b328_e3f2ebabf4a8 "invalid triangle" false_dummy_up_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe->id_20a35fcd_8915_4776_b328_e3f2ebabf4a8:n true_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe id_92bc9121_fbd6_4043_84bc_a8004318bd97:s->true_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:n false_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe id_20a35fcd_8915_4776_b328_e3f2ebabf4a8:s->false_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:n end_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe true_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe->end_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe false_dummy_down_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe->end_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe false_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071 end_id_f7fc03ff_4ebb_48a0_892d_19cb744dcffe:s->false_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071:n end_id_48d86ef9_d783_4091_a2b9_f220062b5071 true_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071->end_id_48d86ef9_d783_4091_a2b9_f220062b5071 false_dummy_down_id_48d86ef9_d783_4091_a2b9_f220062b5071->end_id_48d86ef9_d783_4091_a2b9_f220062b5071 false_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b end_id_48d86ef9_d783_4091_a2b9_f220062b5071:s->false_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:n end_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b true_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b->end_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b false_dummy_down_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b->end_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b true_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc end_id_09e901c8_7ef0_4089_bdf5_f93476e9a56b:s->true_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:n false_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc id_7a9ccc20_ac2f_47df_9b57_9719ceb2a1fa:s->false_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:n end_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc true_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc->end_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc false_dummy_down_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc->end_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc id_fec5447d_2048_44bf_a5b9_69c5123a1505 End end_id_d2b57f68_55c0_40c8_95d9_cb514651c5bc:s->id_fec5447d_2048_44bf_a5b9_69c5123a1505:n
New Program0 id_7403a248_1e7f_4ab3_b1ae_6b7a5f47ab0a Begin id_fec5447d_2048_44bf_a5b9_69c5123a1505 End id_7403a248_1e7f_4ab3_b1ae_6b7a5f47ab0a:s->id_fec5447d_2048_44bf_a5b9_69c5123a1505:n
New Program0 id_06affd03_67b5_4736_826a_d02ba060e88f Begin id_a65cb10d_6c13_48a2_a251_177362a92b1d a id_06affd03_67b5_4736_826a_d02ba060e88f:s->id_a65cb10d_6c13_48a2_a251_177362a92b1d:n id_d7ba1618_63e0_43b5_9e58_054adf41f25f a id_a65cb10d_6c13_48a2_a251_177362a92b1d:s->id_d7ba1618_63e0_43b5_9e58_054adf41f25f:n id_b215f1c1_cb48_42f1_89af_54da360cfe54 b id_d7ba1618_63e0_43b5_9e58_054adf41f25f:s->id_b215f1c1_cb48_42f1_89af_54da360cfe54:n id_0a4a957d_29aa_4723_bc27_055baf87d34d b id_b215f1c1_cb48_42f1_89af_54da360cfe54:s->id_0a4a957d_29aa_4723_bc27_055baf87d34d:n id_fb32676d_79d9_40f4_a5cd_a6f79d0ac490 c id_0a4a957d_29aa_4723_bc27_055baf87d34d:s->id_fb32676d_79d9_40f4_a5cd_a6f79d0ac490:n id_e59f91be_0294_4d97_ac39_c55b4960fdcc c id_fb32676d_79d9_40f4_a5cd_a6f79d0ac490:s->id_e59f91be_0294_4d97_ac39_c55b4960fdcc:n id_50aef4e6_91ef_4353_a752_55e425d1094e a>b id_e59f91be_0294_4d97_ac39_c55b4960fdcc:s->id_50aef4e6_91ef_4353_a752_55e425d1094e:n true_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e id_50aef4e6_91ef_4353_a752_55e425d1094e:e->true_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e true false_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e id_50aef4e6_91ef_4353_a752_55e425d1094e:w->false_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e false id_69d3406b_30d7_4e33_8d6d_0b63e6c52845 "a is largest" true_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e->id_69d3406b_30d7_4e33_8d6d_0b63e6c52845:n id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff b>c false_dummy_up_id_50aef4e6_91ef_4353_a752_55e425d1094e->id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:n true_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e id_69d3406b_30d7_4e33_8d6d_0b63e6c52845:s->true_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e:n true_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:e->true_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff true false_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:w->false_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff false id_da82be95_992a_4f3a_9002_50d6f39fe0b7 "b is largest" true_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff->id_da82be95_992a_4f3a_9002_50d6f39fe0b7:n false_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff false_dummy_up_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff->false_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:n true_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff id_da82be95_992a_4f3a_9002_50d6f39fe0b7:s->true_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:n end_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff true_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff->end_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff false_dummy_down_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff->end_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff id_43712988_60ea_4a3d_87d1_d9e80dd33e20 c>a end_id_0e92086e_c12d_4114_8a0e_5eb636c1f0ff:s->id_43712988_60ea_4a3d_87d1_d9e80dd33e20:n true_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 id_43712988_60ea_4a3d_87d1_d9e80dd33e20:e->true_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 true false_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 id_43712988_60ea_4a3d_87d1_d9e80dd33e20:w->false_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 false id_a87ca03c_1a6d_4eaa_a63e_46ac8414a0b4 "c is largest" true_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20->id_a87ca03c_1a6d_4eaa_a63e_46ac8414a0b4:n false_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 false_dummy_up_id_43712988_60ea_4a3d_87d1_d9e80dd33e20->false_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20:n true_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 id_a87ca03c_1a6d_4eaa_a63e_46ac8414a0b4:s->true_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20:n end_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 true_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20->end_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 false_dummy_down_id_43712988_60ea_4a3d_87d1_d9e80dd33e20->end_id_43712988_60ea_4a3d_87d1_d9e80dd33e20 false_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e end_id_43712988_60ea_4a3d_87d1_d9e80dd33e20:s->false_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e:n end_id_50aef4e6_91ef_4353_a752_55e425d1094e true_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e->end_id_50aef4e6_91ef_4353_a752_55e425d1094e false_dummy_down_id_50aef4e6_91ef_4353_a752_55e425d1094e->end_id_50aef4e6_91ef_4353_a752_55e425d1094e id_3fefe610_3653_412a_950f_7e07072f9843 End end_id_50aef4e6_91ef_4353_a752_55e425d1094e:s->id_3fefe610_3653_412a_950f_7e07072f9843:n