V auto_initial_IP(global)
N auto_1
D auto_initial_IP,"var",auto_1
V auto_2(assign)
V auto_3(constant)
D auto_3,"node",?primitives/integer_addition
V auto_5(resolve)
D auto_5,"var",auto_1
D auto_2,"value",auto_3
D auto_2,"var",auto_5
V auto_6(global)
N auto_7
D auto_6,"var",auto_7
V auto_8(assign)
V auto_9(constant)
D auto_9,"node",?primitives/integer_subtraction
V auto_11(resolve)
D auto_11,"var",auto_7
D auto_8,"value",auto_9
D auto_8,"var",auto_11
V auto_12(global)
N auto_13
D auto_12,"var",auto_13
V auto_14(assign)
V auto_15(constant)
D auto_15,"node",?primitives/integer_multiplication
V auto_17(resolve)
D auto_17,"var",auto_13
D auto_14,"value",auto_15
D auto_14,"var",auto_17
V auto_18(global)
N auto_19
D auto_18,"var",auto_19
V auto_20(assign)
V auto_21(constant)
D auto_21,"node",?primitives/integer_division
V auto_23(resolve)
D auto_23,"var",auto_19
D auto_20,"value",auto_21
D auto_20,"var",auto_23
V auto_24(global)
N auto_25
D auto_24,"var",auto_25
V auto_26(assign)
V auto_27(constant)
D auto_27,"node",?primitives/integer_eq
V auto_29(resolve)
D auto_29,"var",auto_25
D auto_26,"value",auto_27
D auto_26,"var",auto_29
V auto_30(global)
N auto_31
D auto_30,"var",auto_31
V auto_32(assign)
V auto_33(constant)
D auto_33,"node",?primitives/integer_neq
V auto_35(resolve)
D auto_35,"var",auto_31
D auto_32,"value",auto_33
D auto_32,"var",auto_35
V auto_36(global)
N auto_37
D auto_36,"var",auto_37
V auto_38(assign)
V auto_39(constant)
D auto_39,"node",?primitives/integer_lt
V auto_41(resolve)
D auto_41,"var",auto_37
D auto_38,"value",auto_39
D auto_38,"var",auto_41
V auto_42(global)
N auto_43
D auto_42,"var",auto_43
V auto_44(assign)
V auto_45(constant)
D auto_45,"node",?primitives/integer_lte
V auto_47(resolve)
D auto_47,"var",auto_43
D auto_44,"value",auto_45
D auto_44,"var",auto_47
V auto_48(global)
N auto_49
D auto_48,"var",auto_49
V auto_50(assign)
V auto_51(constant)
D auto_51,"node",?primitives/integer_gt
V auto_53(resolve)
D auto_53,"var",auto_49
D auto_50,"value",auto_51
D auto_50,"var",auto_53
V auto_54(global)
N auto_55
D auto_54,"var",auto_55
V auto_56(assign)
V auto_57(constant)
D auto_57,"node",?primitives/integer_gte
V auto_59(resolve)
D auto_59,"var",auto_55
D auto_56,"value",auto_57
D auto_56,"var",auto_59
V auto_60(global)
N auto_61
D auto_60,"var",auto_61
V auto_62(assign)
V auto_63(constant)
D auto_63,"node",?primitives/integer_neg
V auto_65(resolve)
D auto_65,"var",auto_61
D auto_62,"value",auto_63
D auto_62,"var",auto_65
V auto_66(global)
N auto_67
D auto_66,"var",auto_67
V auto_68(assign)
V auto_69(constant)
N auto_70
V auto_71(resolve)
D auto_71,"var",auto_70
V auto_72(access)
D auto_72,"var",auto_71
V auto_73(return)
D auto_73,"value",auto_72
V auto_74(resolve)
D auto_74,"var",auto_70
V auto_75(access)
D auto_75,"var",auto_74
V auto_76(return)
D auto_76,"value",auto_75
N auto_77
N auto_78
D auto_77,"params",auto_78
D auto_78,"a",auto_70
D auto_77,"body",auto_76
D auto_69,"node",auto_77
V auto_79(resolve)
D auto_79,"var",auto_67
D auto_68,"value",auto_69
D auto_68,"var",auto_79
V auto_80(global)
N auto_81
D auto_80,"var",auto_81
V auto_82(assign)
V auto_83(constant)
N auto_84
V auto_85(resolve)
D auto_85,"var",auto_84
V auto_86(access)
D auto_86,"var",auto_85
V auto_87(return)
D auto_87,"value",auto_86
V auto_88(resolve)
D auto_88,"var",auto_84
V auto_89(access)
D auto_89,"var",auto_88
V auto_90(return)
D auto_90,"value",auto_89
N auto_91
N auto_92
D auto_91,"params",auto_92
D auto_92,"a",auto_84
D auto_91,"body",auto_90
D auto_83,"node",auto_91
V auto_93(resolve)
D auto_93,"var",auto_81
D auto_82,"value",auto_83
D auto_82,"var",auto_93
V auto_94(global)
N auto_95
D auto_94,"var",auto_95
V auto_96(assign)
V auto_97(constant)
N auto_98
V auto_99(resolve)
D auto_99,"var",auto_81
V auto_100(resolve)
D auto_100,"var",auto_67
V auto_101(resolve)
D auto_101,"var",auto_98
V auto_102(access)
D auto_102,"var",auto_101
N auto_103
V auto_104("a")
D auto_103,"name",auto_104
D auto_103,"value",auto_102
V auto_105(call)
V auto_106(access)
D auto_105,"func",auto_106
D auto_106,"var",auto_100
D auto_105,"params",auto_103
D auto_105,"last_param",auto_103
N auto_107
V auto_108("a")
D auto_107,"name",auto_108
D auto_107,"value",auto_105
V auto_109(call)
V auto_110(access)
D auto_109,"func",auto_110
D auto_110,"var",auto_99
D auto_109,"params",auto_107
D auto_109,"last_param",auto_107
V auto_111(return)
D auto_111,"value",auto_109
V auto_112(resolve)
D auto_112,"var",auto_81
V auto_113(resolve)
D auto_113,"var",auto_67
V auto_114(resolve)
D auto_114,"var",auto_98
V auto_115(access)
D auto_115,"var",auto_114
N auto_116
V auto_117("a")
D auto_116,"name",auto_117
D auto_116,"value",auto_115
V auto_118(call)
V auto_119(access)
D auto_118,"func",auto_119
D auto_119,"var",auto_113
D auto_118,"params",auto_116
D auto_118,"last_param",auto_116
N auto_120
V auto_121("a")
D auto_120,"name",auto_121
D auto_120,"value",auto_118
V auto_122(call)
V auto_123(access)
D auto_122,"func",auto_123
D auto_123,"var",auto_112
D auto_122,"params",auto_120
D auto_122,"last_param",auto_120
V auto_124(return)
D auto_124,"value",auto_122
N auto_125
N auto_126
D auto_125,"params",auto_126
D auto_126,"a",auto_98
D auto_125,"body",auto_124
D auto_97,"node",auto_125
V auto_127(resolve)
D auto_127,"var",auto_95
D auto_96,"value",auto_97
D auto_96,"var",auto_127
V auto_128(constant)
V auto_129(True)
D auto_128,"node",auto_129
N auto_130
V auto_131(declare)
D auto_131,"var",auto_130
V auto_132(resolve)
D auto_132,"var",auto_130
V auto_133(input)
V auto_134(assign)
D auto_134,"var",auto_132
D auto_134,"value",auto_133
N auto_135
V auto_136(declare)
D auto_136,"var",auto_135
V auto_137(resolve)
D auto_137,"var",auto_135
V auto_138(resolve)
D auto_138,"var",auto_95
V auto_139(resolve)
D auto_139,"var",auto_130
V auto_140(access)
D auto_140,"var",auto_139
N auto_141
V auto_142("a")
D auto_141,"name",auto_142
D auto_141,"value",auto_140
V auto_143(call)
V auto_144(access)
D auto_143,"func",auto_144
D auto_144,"var",auto_138
D auto_143,"params",auto_141
D auto_143,"last_param",auto_141
V auto_145(assign)
D auto_145,"var",auto_137
D auto_145,"value",auto_143
V auto_146(resolve)
D auto_146,"var",auto_135
V auto_147(access)
D auto_147,"var",auto_146
V auto_148(resolve)
D auto_148,"var",auto_135
V auto_149(access)
D auto_149,"var",auto_148
V auto_150(output)
D auto_150,"value",auto_147
D auto_131,"next",auto_134
D auto_134,"next",auto_136
D auto_136,"next",auto_145
D auto_145,"next",auto_150
V auto_151(while)
D auto_151,"cond",auto_128
D auto_151,"body",auto_131
D auto_initial_IP,"next",auto_2
D auto_2,"next",auto_6
D auto_6,"next",auto_8
D auto_8,"next",auto_12
D auto_12,"next",auto_14
D auto_14,"next",auto_18
D auto_18,"next",auto_20
D auto_20,"next",auto_24
D auto_24,"next",auto_26
D auto_26,"next",auto_30
D auto_30,"next",auto_32
D auto_32,"next",auto_36
D auto_36,"next",auto_38
D auto_38,"next",auto_42
D auto_42,"next",auto_44
D auto_44,"next",auto_48
D auto_48,"next",auto_50
D auto_50,"next",auto_54
D auto_54,"next",auto_56
D auto_56,"next",auto_60
D auto_60,"next",auto_62
D auto_62,"next",auto_66
D auto_66,"next",auto_68
D auto_68,"next",auto_80
D auto_80,"next",auto_82
D auto_82,"next",auto_94
D auto_94,"next",auto_96
D auto_96,"next",auto_151
