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