|
@@ -1,494 +0,0 @@
|
|
|
-V auto_initial_IP(global)
|
|
|
-V auto_1(assign)
|
|
|
-V auto_10(global)
|
|
|
-N auto_100
|
|
|
-V auto_101("a")
|
|
|
-V auto_102(access)
|
|
|
-V auto_103(resolve)
|
|
|
-V auto_104(call)
|
|
|
-V auto_105(access)
|
|
|
-V auto_106(resolve)
|
|
|
-V auto_107(resolve)
|
|
|
-V auto_108(resolve)
|
|
|
-V auto_109("main")
|
|
|
-V auto_11(assign)
|
|
|
-V auto_110(constant)
|
|
|
-N auto_111
|
|
|
-V auto_112(declare)
|
|
|
-V auto_113(while)
|
|
|
-V auto_114(assign)
|
|
|
-V auto_115(call)
|
|
|
-V auto_116(access)
|
|
|
-V auto_117(resolve)
|
|
|
-N auto_118
|
|
|
-V auto_119("b")
|
|
|
-V auto_12(global)
|
|
|
-V auto_120(call)
|
|
|
-V auto_121(access)
|
|
|
-V auto_122(resolve)
|
|
|
-N auto_123
|
|
|
-V auto_124("b")
|
|
|
-V auto_125(call)
|
|
|
-V auto_126(access)
|
|
|
-V auto_127(resolve)
|
|
|
-N auto_128
|
|
|
-V auto_129("b")
|
|
|
-V auto_13(assign)
|
|
|
-V auto_130(call)
|
|
|
-V auto_131(access)
|
|
|
-V auto_132(resolve)
|
|
|
-N auto_133
|
|
|
-V auto_134("b")
|
|
|
-V auto_135(constant)
|
|
|
-V auto_136(1)
|
|
|
-N auto_137
|
|
|
-V auto_138("a")
|
|
|
-V auto_139(access)
|
|
|
-V auto_14(global)
|
|
|
-V auto_140(resolve)
|
|
|
-N auto_141
|
|
|
-N auto_142
|
|
|
-V auto_143("a")
|
|
|
-V auto_144(access)
|
|
|
-V auto_145(resolve)
|
|
|
-N auto_146
|
|
|
-V auto_147("a")
|
|
|
-V auto_148(call)
|
|
|
-V auto_149(access)
|
|
|
-V auto_15(assign)
|
|
|
-V auto_150(resolve)
|
|
|
-N auto_151
|
|
|
-V auto_152("b")
|
|
|
-V auto_153(call)
|
|
|
-V auto_154(access)
|
|
|
-V auto_155(resolve)
|
|
|
-N auto_156
|
|
|
-V auto_157("b")
|
|
|
-V auto_158(constant)
|
|
|
-V auto_159(2)
|
|
|
-V auto_16(global)
|
|
|
-N auto_160
|
|
|
-V auto_161("a")
|
|
|
-V auto_162(access)
|
|
|
-V auto_163(resolve)
|
|
|
-N auto_164
|
|
|
-V auto_165("a")
|
|
|
-V auto_166(access)
|
|
|
-V auto_167(resolve)
|
|
|
-N auto_168
|
|
|
-V auto_169("a")
|
|
|
-V auto_17(assign)
|
|
|
-V auto_170(access)
|
|
|
-V auto_171(resolve)
|
|
|
-V auto_172(call)
|
|
|
-V auto_173(access)
|
|
|
-V auto_174(resolve)
|
|
|
-N auto_175
|
|
|
-V auto_176("a")
|
|
|
-V auto_177(access)
|
|
|
-V auto_178(resolve)
|
|
|
-V auto_179(resolve)
|
|
|
-V auto_18(global)
|
|
|
-V auto_180(call)
|
|
|
-V auto_181(access)
|
|
|
-V auto_182(resolve)
|
|
|
-N auto_183
|
|
|
-V auto_184("b")
|
|
|
-V auto_185(call)
|
|
|
-V auto_186(access)
|
|
|
-V auto_187(resolve)
|
|
|
-N auto_188
|
|
|
-V auto_189("a")
|
|
|
-V auto_19(assign)
|
|
|
-V auto_190(access)
|
|
|
-V auto_191(resolve)
|
|
|
-N auto_192
|
|
|
-V auto_193("a")
|
|
|
-V auto_194(access)
|
|
|
-V auto_195(resolve)
|
|
|
-N auto_196
|
|
|
-V auto_197("a")
|
|
|
-V auto_198(return)
|
|
|
-V auto_199(call)
|
|
|
-V auto_2(global)
|
|
|
-V auto_20(call)
|
|
|
-V auto_200(access)
|
|
|
-V auto_201(resolve)
|
|
|
-N auto_202
|
|
|
-V auto_203("b")
|
|
|
-V auto_204(call)
|
|
|
-V auto_205(access)
|
|
|
-V auto_206(resolve)
|
|
|
-N auto_207
|
|
|
-V auto_208("b")
|
|
|
-V auto_209(constant)
|
|
|
-V auto_21(access)
|
|
|
-V auto_210(1)
|
|
|
-N auto_211
|
|
|
-V auto_212("a")
|
|
|
-V auto_213(access)
|
|
|
-V auto_214(resolve)
|
|
|
-N auto_215
|
|
|
-V auto_216("a")
|
|
|
-V auto_217(access)
|
|
|
-V auto_218(resolve)
|
|
|
-N auto_219
|
|
|
-V auto_22(resolve)
|
|
|
-V auto_220(resolve)
|
|
|
-V auto_23("create_node")
|
|
|
-V auto_24(resolve)
|
|
|
-V auto_25("numbers")
|
|
|
-V auto_26(call)
|
|
|
-V auto_27(access)
|
|
|
-V auto_28(resolve)
|
|
|
-V auto_29("create_node")
|
|
|
-V auto_3(assign)
|
|
|
-V auto_30(resolve)
|
|
|
-V auto_31("create_node")
|
|
|
-V auto_32(call)
|
|
|
-V auto_33(access)
|
|
|
-V auto_34(resolve)
|
|
|
-V auto_35("create_node")
|
|
|
-V auto_36(resolve)
|
|
|
-V auto_37("dict_read")
|
|
|
-V auto_38(call)
|
|
|
-V auto_39(access)
|
|
|
-V auto_4(global)
|
|
|
-V auto_40(resolve)
|
|
|
-V auto_41("create_node")
|
|
|
-V auto_42(resolve)
|
|
|
-V auto_43("integer_subtraction")
|
|
|
-V auto_44(call)
|
|
|
-V auto_45(access)
|
|
|
-V auto_46(resolve)
|
|
|
-V auto_47("create_node")
|
|
|
-V auto_48(resolve)
|
|
|
-V auto_49("list_append")
|
|
|
-V auto_5(assign)
|
|
|
-V auto_50(call)
|
|
|
-V auto_51(access)
|
|
|
-V auto_52(resolve)
|
|
|
-V auto_53("create_node")
|
|
|
-V auto_54(resolve)
|
|
|
-V auto_55("list_len")
|
|
|
-V auto_56(call)
|
|
|
-V auto_57(access)
|
|
|
-V auto_58(resolve)
|
|
|
-V auto_59("create_node")
|
|
|
-V auto_6(global)
|
|
|
-V auto_60(resolve)
|
|
|
-V auto_61("integer_gt")
|
|
|
-V auto_62(call)
|
|
|
-V auto_63(access)
|
|
|
-V auto_64(resolve)
|
|
|
-V auto_65("create_node")
|
|
|
-V auto_66(resolve)
|
|
|
-V auto_67("integer_addition")
|
|
|
-V auto_68(constant)
|
|
|
-N auto_69
|
|
|
-V auto_7(assign)
|
|
|
-V auto_70(assign)
|
|
|
-V auto_71(call)
|
|
|
-V auto_72(access)
|
|
|
-V auto_73(resolve)
|
|
|
-N auto_74
|
|
|
-V auto_75("b")
|
|
|
-V auto_76(constant)
|
|
|
-V auto_77(1)
|
|
|
-V auto_78(call)
|
|
|
-V auto_79(access)
|
|
|
-V auto_8(global)
|
|
|
-V auto_80(resolve)
|
|
|
-N auto_81
|
|
|
-V auto_82("b")
|
|
|
-V auto_83(constant)
|
|
|
-V auto_84(1)
|
|
|
-V auto_85(while)
|
|
|
-V auto_86(output)
|
|
|
-V auto_87(call)
|
|
|
-V auto_88(access)
|
|
|
-V auto_89(resolve)
|
|
|
-V auto_9(assign)
|
|
|
-V auto_90("fib")
|
|
|
-N auto_91
|
|
|
-V auto_92("a")
|
|
|
-V auto_93(input)
|
|
|
-V auto_94(constant)
|
|
|
-V auto_95(True)
|
|
|
-N auto_96
|
|
|
-V auto_97("a")
|
|
|
-V auto_98(access)
|
|
|
-V auto_99(resolve)
|
|
|
-D auto_initial_IP,"next",auto_1
|
|
|
-D auto_initial_IP,"var",auto_90
|
|
|
-D auto_1,"next",auto_2
|
|
|
-D auto_1,"value",auto_110
|
|
|
-D auto_1,"var",auto_220
|
|
|
-D auto_10,"next",auto_11
|
|
|
-D auto_10,"var",auto_49
|
|
|
-D auto_100,"name",auto_101
|
|
|
-D auto_100,"next_param",auto_74
|
|
|
-D auto_100,"value",auto_102
|
|
|
-D auto_102,"var",auto_103
|
|
|
-D auto_103,"var",auto_25
|
|
|
-D auto_104,"func",auto_105
|
|
|
-D auto_105,"var",auto_106
|
|
|
-D auto_106,"var",auto_31
|
|
|
-D auto_107,"var",auto_25
|
|
|
-D auto_108,"var",auto_109
|
|
|
-D auto_11,"next",auto_12
|
|
|
-D auto_11,"value",auto_44
|
|
|
-D auto_11,"var",auto_48
|
|
|
-D auto_110,"node",auto_111
|
|
|
-D auto_111,"body",auto_112
|
|
|
-D auto_111,"params",auto_219
|
|
|
-D auto_112,"next",auto_113
|
|
|
-D auto_112,"var",auto_141
|
|
|
-D auto_113,"body",auto_114
|
|
|
-D auto_113,"cond",auto_180
|
|
|
-D auto_113,"next",auto_198
|
|
|
-D auto_114,"next",auto_115
|
|
|
-D auto_114,"value",auto_172
|
|
|
-D auto_114,"var",auto_179
|
|
|
-D auto_115,"func",auto_116
|
|
|
-D auto_115,"last_param",auto_118
|
|
|
-D auto_115,"params",auto_168
|
|
|
-D auto_116,"var",auto_117
|
|
|
-D auto_117,"var",auto_49
|
|
|
-D auto_118,"name",auto_119
|
|
|
-D auto_118,"value",auto_120
|
|
|
-D auto_12,"next",auto_13
|
|
|
-D auto_12,"var",auto_43
|
|
|
-D auto_120,"func",auto_121
|
|
|
-D auto_120,"last_param",auto_123
|
|
|
-D auto_120,"params",auto_146
|
|
|
-D auto_121,"var",auto_122
|
|
|
-D auto_122,"var",auto_67
|
|
|
-D auto_123,"name",auto_124
|
|
|
-D auto_123,"value",auto_125
|
|
|
-D auto_125,"func",auto_126
|
|
|
-D auto_125,"last_param",auto_128
|
|
|
-D auto_125,"params",auto_142
|
|
|
-D auto_126,"var",auto_127
|
|
|
-D auto_127,"var",auto_37
|
|
|
-D auto_128,"name",auto_129
|
|
|
-D auto_128,"value",auto_130
|
|
|
-D auto_13,"next",auto_14
|
|
|
-D auto_13,"value",auto_38
|
|
|
-D auto_13,"var",auto_42
|
|
|
-D auto_130,"func",auto_131
|
|
|
-D auto_130,"last_param",auto_133
|
|
|
-D auto_130,"params",auto_137
|
|
|
-D auto_131,"var",auto_132
|
|
|
-D auto_132,"var",auto_43
|
|
|
-D auto_133,"name",auto_134
|
|
|
-D auto_133,"value",auto_135
|
|
|
-D auto_135,"node",auto_136
|
|
|
-D auto_137,"name",auto_138
|
|
|
-D auto_137,"next_param",auto_133
|
|
|
-D auto_137,"value",auto_139
|
|
|
-D auto_139,"var",auto_140
|
|
|
-D auto_14,"next",auto_15
|
|
|
-D auto_14,"var",auto_37
|
|
|
-D auto_140,"var",auto_141
|
|
|
-D auto_142,"name",auto_143
|
|
|
-D auto_142,"next_param",auto_128
|
|
|
-D auto_142,"value",auto_144
|
|
|
-D auto_144,"var",auto_145
|
|
|
-D auto_145,"var",auto_25
|
|
|
-D auto_146,"name",auto_147
|
|
|
-D auto_146,"next_param",auto_123
|
|
|
-D auto_146,"value",auto_148
|
|
|
-D auto_148,"func",auto_149
|
|
|
-D auto_148,"last_param",auto_151
|
|
|
-D auto_148,"params",auto_164
|
|
|
-D auto_149,"var",auto_150
|
|
|
-D auto_15,"next",auto_16
|
|
|
-D auto_15,"value",auto_32
|
|
|
-D auto_15,"var",auto_36
|
|
|
-D auto_150,"var",auto_37
|
|
|
-D auto_151,"name",auto_152
|
|
|
-D auto_151,"value",auto_153
|
|
|
-D auto_153,"func",auto_154
|
|
|
-D auto_153,"last_param",auto_156
|
|
|
-D auto_153,"params",auto_160
|
|
|
-D auto_154,"var",auto_155
|
|
|
-D auto_155,"var",auto_43
|
|
|
-D auto_156,"name",auto_157
|
|
|
-D auto_156,"value",auto_158
|
|
|
-D auto_158,"node",auto_159
|
|
|
-D auto_16,"next",auto_17
|
|
|
-D auto_16,"var",auto_31
|
|
|
-D auto_160,"name",auto_161
|
|
|
-D auto_160,"next_param",auto_156
|
|
|
-D auto_160,"value",auto_162
|
|
|
-D auto_162,"var",auto_163
|
|
|
-D auto_163,"var",auto_141
|
|
|
-D auto_164,"name",auto_165
|
|
|
-D auto_164,"next_param",auto_151
|
|
|
-D auto_164,"value",auto_166
|
|
|
-D auto_166,"var",auto_167
|
|
|
-D auto_167,"var",auto_25
|
|
|
-D auto_168,"name",auto_169
|
|
|
-D auto_168,"next_param",auto_118
|
|
|
-D auto_168,"value",auto_170
|
|
|
-D auto_17,"next",auto_18
|
|
|
-D auto_17,"value",auto_26
|
|
|
-D auto_17,"var",auto_30
|
|
|
-D auto_170,"var",auto_171
|
|
|
-D auto_171,"var",auto_25
|
|
|
-D auto_172,"func",auto_173
|
|
|
-D auto_172,"last_param",auto_175
|
|
|
-D auto_172,"params",auto_175
|
|
|
-D auto_173,"var",auto_174
|
|
|
-D auto_174,"var",auto_55
|
|
|
-D auto_175,"name",auto_176
|
|
|
-D auto_175,"value",auto_177
|
|
|
-D auto_177,"var",auto_178
|
|
|
-D auto_178,"var",auto_25
|
|
|
-D auto_179,"var",auto_141
|
|
|
-D auto_18,"next",auto_19
|
|
|
-D auto_18,"var",auto_25
|
|
|
-D auto_180,"func",auto_181
|
|
|
-D auto_180,"last_param",auto_183
|
|
|
-D auto_180,"params",auto_192
|
|
|
-D auto_181,"var",auto_182
|
|
|
-D auto_182,"var",auto_61
|
|
|
-D auto_183,"name",auto_184
|
|
|
-D auto_183,"value",auto_185
|
|
|
-D auto_185,"func",auto_186
|
|
|
-D auto_185,"last_param",auto_188
|
|
|
-D auto_185,"params",auto_188
|
|
|
-D auto_186,"var",auto_187
|
|
|
-D auto_187,"var",auto_55
|
|
|
-D auto_188,"name",auto_189
|
|
|
-D auto_188,"value",auto_190
|
|
|
-D auto_19,"value",auto_20
|
|
|
-D auto_19,"var",auto_24
|
|
|
-D auto_190,"var",auto_191
|
|
|
-D auto_191,"var",auto_25
|
|
|
-D auto_192,"name",auto_193
|
|
|
-D auto_192,"next_param",auto_183
|
|
|
-D auto_192,"value",auto_194
|
|
|
-D auto_194,"var",auto_195
|
|
|
-D auto_195,"var",auto_196
|
|
|
-D auto_196,"name",auto_197
|
|
|
-D auto_198,"value",auto_199
|
|
|
-D auto_199,"func",auto_200
|
|
|
-D auto_199,"last_param",auto_202
|
|
|
-D auto_199,"params",auto_215
|
|
|
-D auto_2,"next",auto_3
|
|
|
-D auto_2,"var",auto_109
|
|
|
-D auto_20,"func",auto_21
|
|
|
-D auto_200,"var",auto_201
|
|
|
-D auto_201,"var",auto_37
|
|
|
-D auto_202,"name",auto_203
|
|
|
-D auto_202,"value",auto_204
|
|
|
-D auto_204,"func",auto_205
|
|
|
-D auto_204,"last_param",auto_207
|
|
|
-D auto_204,"params",auto_211
|
|
|
-D auto_205,"var",auto_206
|
|
|
-D auto_206,"var",auto_43
|
|
|
-D auto_207,"name",auto_208
|
|
|
-D auto_207,"value",auto_209
|
|
|
-D auto_209,"node",auto_210
|
|
|
-D auto_21,"var",auto_22
|
|
|
-D auto_211,"name",auto_212
|
|
|
-D auto_211,"next_param",auto_207
|
|
|
-D auto_211,"value",auto_213
|
|
|
-D auto_213,"var",auto_214
|
|
|
-D auto_214,"var",auto_196
|
|
|
-D auto_215,"name",auto_216
|
|
|
-D auto_215,"next_param",auto_202
|
|
|
-D auto_215,"value",auto_217
|
|
|
-D auto_217,"var",auto_218
|
|
|
-D auto_218,"var",auto_25
|
|
|
-D auto_219,"a",auto_196
|
|
|
-D auto_22,"var",auto_23
|
|
|
-D auto_220,"var",auto_90
|
|
|
-D auto_24,"var",auto_25
|
|
|
-D auto_26,"func",auto_27
|
|
|
-D auto_27,"var",auto_28
|
|
|
-D auto_28,"var",auto_29
|
|
|
-D auto_3,"next",auto_4
|
|
|
-D auto_3,"value",auto_68
|
|
|
-D auto_3,"var",auto_108
|
|
|
-D auto_30,"var",auto_31
|
|
|
-D auto_32,"func",auto_33
|
|
|
-D auto_33,"var",auto_34
|
|
|
-D auto_34,"var",auto_35
|
|
|
-D auto_36,"var",auto_37
|
|
|
-D auto_38,"func",auto_39
|
|
|
-D auto_39,"var",auto_40
|
|
|
-D auto_4,"next",auto_5
|
|
|
-D auto_4,"var",auto_67
|
|
|
-D auto_40,"var",auto_41
|
|
|
-D auto_42,"var",auto_43
|
|
|
-D auto_44,"func",auto_45
|
|
|
-D auto_45,"var",auto_46
|
|
|
-D auto_46,"var",auto_47
|
|
|
-D auto_48,"var",auto_49
|
|
|
-D auto_5,"next",auto_6
|
|
|
-D auto_5,"value",auto_62
|
|
|
-D auto_5,"var",auto_66
|
|
|
-D auto_50,"func",auto_51
|
|
|
-D auto_51,"var",auto_52
|
|
|
-D auto_52,"var",auto_53
|
|
|
-D auto_54,"var",auto_55
|
|
|
-D auto_56,"func",auto_57
|
|
|
-D auto_57,"var",auto_58
|
|
|
-D auto_58,"var",auto_59
|
|
|
-D auto_6,"next",auto_7
|
|
|
-D auto_6,"var",auto_61
|
|
|
-D auto_60,"var",auto_61
|
|
|
-D auto_62,"func",auto_63
|
|
|
-D auto_63,"var",auto_64
|
|
|
-D auto_64,"var",auto_65
|
|
|
-D auto_66,"var",auto_67
|
|
|
-D auto_68,"node",auto_69
|
|
|
-D auto_69,"body",auto_70
|
|
|
-D auto_7,"next",auto_8
|
|
|
-D auto_7,"value",auto_56
|
|
|
-D auto_7,"var",auto_60
|
|
|
-D auto_70,"next",auto_71
|
|
|
-D auto_70,"value",auto_104
|
|
|
-D auto_70,"var",auto_107
|
|
|
-D auto_71,"func",auto_72
|
|
|
-D auto_71,"last_param",auto_74
|
|
|
-D auto_71,"next",auto_78
|
|
|
-D auto_71,"params",auto_100
|
|
|
-D auto_72,"var",auto_73
|
|
|
-D auto_73,"var",auto_49
|
|
|
-D auto_74,"name",auto_75
|
|
|
-D auto_74,"value",auto_76
|
|
|
-D auto_76,"node",auto_77
|
|
|
-D auto_78,"func",auto_79
|
|
|
-D auto_78,"last_param",auto_81
|
|
|
-D auto_78,"next",auto_85
|
|
|
-D auto_78,"params",auto_96
|
|
|
-D auto_79,"var",auto_80
|
|
|
-D auto_8,"next",auto_9
|
|
|
-D auto_8,"var",auto_55
|
|
|
-D auto_80,"var",auto_49
|
|
|
-D auto_81,"name",auto_82
|
|
|
-D auto_81,"value",auto_83
|
|
|
-D auto_83,"node",auto_84
|
|
|
-D auto_85,"body",auto_86
|
|
|
-D auto_85,"cond",auto_94
|
|
|
-D auto_86,"value",auto_87
|
|
|
-D auto_87,"func",auto_88
|
|
|
-D auto_87,"last_param",auto_91
|
|
|
-D auto_87,"params",auto_91
|
|
|
-D auto_88,"var",auto_89
|
|
|
-D auto_89,"var",auto_90
|
|
|
-D auto_9,"next",auto_10
|
|
|
-D auto_9,"value",auto_50
|
|
|
-D auto_9,"var",auto_54
|
|
|
-D auto_91,"name",auto_92
|
|
|
-D auto_91,"value",auto_93
|
|
|
-D auto_94,"node",auto_95
|
|
|
-D auto_96,"name",auto_97
|
|
|
-D auto_96,"next_param",auto_81
|
|
|
-D auto_96,"value",auto_98
|
|
|
-D auto_98,"var",auto_99
|
|
|
-D auto_99,"var",auto_25
|