|
@@ -1,294 +0,0 @@
|
|
|
-N auto_1
|
|
|
-N auto_2
|
|
|
-D auto_1,"a",auto_2
|
|
|
-N auto_3
|
|
|
-D auto_3,"params",auto_1
|
|
|
-V auto_initial_IP(global)
|
|
|
-D auto_initial_IP,"var",auto_0
|
|
|
-V auto_5(resolve)
|
|
|
-D auto_5,"var",auto_0
|
|
|
-V auto_6(assign)
|
|
|
-D auto_6,"var",auto_5
|
|
|
-V auto_7(constant)
|
|
|
-D auto_7,"node",auto_3
|
|
|
-D auto_6,"value",auto_7
|
|
|
-D auto_initial_IP,"next",auto_6
|
|
|
-N auto_8
|
|
|
-V auto_9(global)
|
|
|
-D auto_9,"var",auto_8
|
|
|
-D auto_6,"next",auto_9
|
|
|
-V auto_10(resolve)
|
|
|
-D auto_10,"var",auto_8
|
|
|
-V auto_11(assign)
|
|
|
-D auto_11,"var",auto_10
|
|
|
-V auto_12(constant)
|
|
|
-D auto_12,"node",?primitives/integer_addition
|
|
|
-D auto_11,"value",auto_12
|
|
|
-D auto_9,"next",auto_11
|
|
|
-N auto_13
|
|
|
-V auto_14(global)
|
|
|
-D auto_14,"var",auto_13
|
|
|
-D auto_11,"next",auto_14
|
|
|
-V auto_15(resolve)
|
|
|
-D auto_15,"var",auto_13
|
|
|
-V auto_16(assign)
|
|
|
-D auto_16,"var",auto_15
|
|
|
-V auto_17(constant)
|
|
|
-D auto_17,"node",?primitives/integer_subtraction
|
|
|
-D auto_16,"value",auto_17
|
|
|
-D auto_14,"next",auto_16
|
|
|
-N auto_18
|
|
|
-V auto_19(global)
|
|
|
-D auto_19,"var",auto_18
|
|
|
-D auto_16,"next",auto_19
|
|
|
-V auto_20(resolve)
|
|
|
-D auto_20,"var",auto_18
|
|
|
-V auto_21(assign)
|
|
|
-D auto_21,"var",auto_20
|
|
|
-V auto_22(constant)
|
|
|
-D auto_22,"node",?primitives/integer_multiplication
|
|
|
-D auto_21,"value",auto_22
|
|
|
-D auto_19,"next",auto_21
|
|
|
-N auto_23
|
|
|
-V auto_24(global)
|
|
|
-D auto_24,"var",auto_23
|
|
|
-D auto_21,"next",auto_24
|
|
|
-V auto_25(resolve)
|
|
|
-D auto_25,"var",auto_23
|
|
|
-V auto_26(assign)
|
|
|
-D auto_26,"var",auto_25
|
|
|
-V auto_27(constant)
|
|
|
-D auto_27,"node",?primitives/integer_division
|
|
|
-D auto_26,"value",auto_27
|
|
|
-D auto_24,"next",auto_26
|
|
|
-N auto_28
|
|
|
-V auto_29(global)
|
|
|
-D auto_29,"var",auto_28
|
|
|
-D auto_26,"next",auto_29
|
|
|
-V auto_30(resolve)
|
|
|
-D auto_30,"var",auto_28
|
|
|
-V auto_31(assign)
|
|
|
-D auto_31,"var",auto_30
|
|
|
-V auto_32(constant)
|
|
|
-D auto_32,"node",?primitives/integer_gt
|
|
|
-D auto_31,"value",auto_32
|
|
|
-D auto_29,"next",auto_31
|
|
|
-N auto_33
|
|
|
-V auto_34(global)
|
|
|
-D auto_34,"var",auto_33
|
|
|
-D auto_31,"next",auto_34
|
|
|
-V auto_35(resolve)
|
|
|
-D auto_35,"var",auto_33
|
|
|
-V auto_36(assign)
|
|
|
-D auto_36,"var",auto_35
|
|
|
-V auto_37(constant)
|
|
|
-D auto_37,"node",?primitives/integer_gte
|
|
|
-D auto_36,"value",auto_37
|
|
|
-D auto_34,"next",auto_36
|
|
|
-N auto_38
|
|
|
-V auto_39(global)
|
|
|
-D auto_39,"var",auto_38
|
|
|
-D auto_36,"next",auto_39
|
|
|
-V auto_40(resolve)
|
|
|
-D auto_40,"var",auto_38
|
|
|
-V auto_41(assign)
|
|
|
-D auto_41,"var",auto_40
|
|
|
-V auto_42(constant)
|
|
|
-D auto_42,"node",?primitives/integer_lt
|
|
|
-D auto_41,"value",auto_42
|
|
|
-D auto_39,"next",auto_41
|
|
|
-N auto_43
|
|
|
-V auto_44(global)
|
|
|
-D auto_44,"var",auto_43
|
|
|
-D auto_41,"next",auto_44
|
|
|
-V auto_45(resolve)
|
|
|
-D auto_45,"var",auto_43
|
|
|
-V auto_46(assign)
|
|
|
-D auto_46,"var",auto_45
|
|
|
-V auto_47(constant)
|
|
|
-D auto_47,"node",?primitives/integer_lte
|
|
|
-D auto_46,"value",auto_47
|
|
|
-D auto_44,"next",auto_46
|
|
|
-N auto_48
|
|
|
-V auto_49(global)
|
|
|
-D auto_49,"var",auto_48
|
|
|
-D auto_46,"next",auto_49
|
|
|
-V auto_50(resolve)
|
|
|
-D auto_50,"var",auto_48
|
|
|
-V auto_51(assign)
|
|
|
-D auto_51,"var",auto_50
|
|
|
-V auto_52(constant)
|
|
|
-D auto_52,"node",?primitives/integer_eq
|
|
|
-D auto_51,"value",auto_52
|
|
|
-D auto_49,"next",auto_51
|
|
|
-N auto_53
|
|
|
-V auto_54(global)
|
|
|
-D auto_54,"var",auto_53
|
|
|
-D auto_51,"next",auto_54
|
|
|
-V auto_55(resolve)
|
|
|
-D auto_55,"var",auto_53
|
|
|
-V auto_56(assign)
|
|
|
-D auto_56,"var",auto_55
|
|
|
-V auto_57(constant)
|
|
|
-D auto_57,"node",?primitives/integer_neq
|
|
|
-D auto_56,"value",auto_57
|
|
|
-D auto_54,"next",auto_56
|
|
|
-N auto_58
|
|
|
-V auto_59(global)
|
|
|
-D auto_59,"var",auto_58
|
|
|
-D auto_56,"next",auto_59
|
|
|
-V auto_60(resolve)
|
|
|
-D auto_60,"var",auto_58
|
|
|
-V auto_61(assign)
|
|
|
-D auto_61,"var",auto_60
|
|
|
-V auto_62(constant)
|
|
|
-D auto_62,"node",?primitives/integer_neg
|
|
|
-D auto_61,"value",auto_62
|
|
|
-D auto_59,"next",auto_61
|
|
|
-V auto_63(if)
|
|
|
-V auto_64(resolve)
|
|
|
-D auto_64,"var",auto_43
|
|
|
-V auto_65(access)
|
|
|
-D auto_65,"var",auto_64
|
|
|
-V auto_66(call)
|
|
|
-D auto_66,"func",auto_65
|
|
|
-N auto_67
|
|
|
-V auto_68(resolve)
|
|
|
-D auto_68,"var",auto_2
|
|
|
-V auto_69(access)
|
|
|
-D auto_69,"var",auto_68
|
|
|
-V auto_70("a")
|
|
|
-D auto_67,"value",auto_69
|
|
|
-D auto_67,"name",auto_70
|
|
|
-N auto_71
|
|
|
-V auto_72(2)
|
|
|
-V auto_73(constant)
|
|
|
-D auto_73,"node",auto_72
|
|
|
-V auto_74("b")
|
|
|
-D auto_71,"value",auto_73
|
|
|
-D auto_71,"name",auto_74
|
|
|
-D auto_67,"next_param",auto_71
|
|
|
-D auto_66,"params",auto_67
|
|
|
-D auto_66,"last_param",auto_71
|
|
|
-V auto_75(return)
|
|
|
-V auto_76(1)
|
|
|
-V auto_77(constant)
|
|
|
-D auto_77,"node",auto_76
|
|
|
-D auto_75,"value",auto_77
|
|
|
-V auto_78(return)
|
|
|
-V auto_79(resolve)
|
|
|
-D auto_79,"var",auto_8
|
|
|
-V auto_80(access)
|
|
|
-D auto_80,"var",auto_79
|
|
|
-V auto_81(call)
|
|
|
-D auto_81,"func",auto_80
|
|
|
-N auto_82
|
|
|
-V auto_83(resolve)
|
|
|
-D auto_83,"var",auto_0
|
|
|
-V auto_84(access)
|
|
|
-D auto_84,"var",auto_83
|
|
|
-V auto_85(call)
|
|
|
-D auto_85,"func",auto_84
|
|
|
-N auto_86
|
|
|
-V auto_87(resolve)
|
|
|
-D auto_87,"var",auto_13
|
|
|
-V auto_88(access)
|
|
|
-D auto_88,"var",auto_87
|
|
|
-V auto_89(call)
|
|
|
-D auto_89,"func",auto_88
|
|
|
-N auto_90
|
|
|
-V auto_91(resolve)
|
|
|
-D auto_91,"var",auto_2
|
|
|
-V auto_92(access)
|
|
|
-D auto_92,"var",auto_91
|
|
|
-V auto_93("a")
|
|
|
-D auto_90,"value",auto_92
|
|
|
-D auto_90,"name",auto_93
|
|
|
-N auto_94
|
|
|
-V auto_95(1)
|
|
|
-V auto_96(constant)
|
|
|
-D auto_96,"node",auto_95
|
|
|
-V auto_97("b")
|
|
|
-D auto_94,"value",auto_96
|
|
|
-D auto_94,"name",auto_97
|
|
|
-D auto_90,"next_param",auto_94
|
|
|
-D auto_89,"params",auto_90
|
|
|
-D auto_89,"last_param",auto_94
|
|
|
-V auto_98("a")
|
|
|
-D auto_86,"value",auto_89
|
|
|
-D auto_86,"name",auto_98
|
|
|
-D auto_85,"params",auto_86
|
|
|
-D auto_85,"last_param",auto_86
|
|
|
-V auto_99("a")
|
|
|
-D auto_82,"value",auto_85
|
|
|
-D auto_82,"name",auto_99
|
|
|
-N auto_100
|
|
|
-V auto_101(resolve)
|
|
|
-D auto_101,"var",auto_0
|
|
|
-V auto_102(access)
|
|
|
-D auto_102,"var",auto_101
|
|
|
-V auto_103(call)
|
|
|
-D auto_103,"func",auto_102
|
|
|
-N auto_104
|
|
|
-V auto_105(resolve)
|
|
|
-D auto_105,"var",auto_13
|
|
|
-V auto_106(access)
|
|
|
-D auto_106,"var",auto_105
|
|
|
-V auto_107(call)
|
|
|
-D auto_107,"func",auto_106
|
|
|
-N auto_108
|
|
|
-V auto_109(resolve)
|
|
|
-D auto_109,"var",auto_2
|
|
|
-V auto_110(access)
|
|
|
-D auto_110,"var",auto_109
|
|
|
-V auto_111("a")
|
|
|
-D auto_108,"value",auto_110
|
|
|
-D auto_108,"name",auto_111
|
|
|
-N auto_112
|
|
|
-V auto_113(2)
|
|
|
-V auto_114(constant)
|
|
|
-D auto_114,"node",auto_113
|
|
|
-V auto_115("b")
|
|
|
-D auto_112,"value",auto_114
|
|
|
-D auto_112,"name",auto_115
|
|
|
-D auto_108,"next_param",auto_112
|
|
|
-D auto_107,"params",auto_108
|
|
|
-D auto_107,"last_param",auto_112
|
|
|
-V auto_116("a")
|
|
|
-D auto_104,"value",auto_107
|
|
|
-D auto_104,"name",auto_116
|
|
|
-D auto_103,"params",auto_104
|
|
|
-D auto_103,"last_param",auto_104
|
|
|
-V auto_117("b")
|
|
|
-D auto_100,"value",auto_103
|
|
|
-D auto_100,"name",auto_117
|
|
|
-D auto_82,"next_param",auto_100
|
|
|
-D auto_81,"params",auto_82
|
|
|
-D auto_81,"last_param",auto_100
|
|
|
-D auto_78,"value",auto_81
|
|
|
-D auto_63,"cond",auto_66
|
|
|
-D auto_63,"then",auto_75
|
|
|
-D auto_63,"else",auto_78
|
|
|
-D auto_3,"body",auto_63
|
|
|
-V auto_118(while)
|
|
|
-V auto_119(True)
|
|
|
-V auto_120(constant)
|
|
|
-D auto_120,"node",auto_119
|
|
|
-V auto_121(output)
|
|
|
-V auto_122(resolve)
|
|
|
-D auto_122,"var",auto_0
|
|
|
-V auto_123(access)
|
|
|
-D auto_123,"var",auto_122
|
|
|
-V auto_124(call)
|
|
|
-D auto_124,"func",auto_123
|
|
|
-N auto_125
|
|
|
-V auto_126(input)
|
|
|
-V auto_127("a")
|
|
|
-D auto_125,"value",auto_126
|
|
|
-D auto_125,"name",auto_127
|
|
|
-D auto_124,"params",auto_125
|
|
|
-D auto_124,"last_param",auto_125
|
|
|
-D auto_121,"value",auto_124
|
|
|
-D auto_118,"cond",auto_120
|
|
|
-D auto_118,"body",auto_121
|
|
|
-D auto_61,"next",auto_118
|