(7)(:=,口2,x) (9)(:=,t3m) (10)(-,i,1,1) (11)(*,,10,t5) (13)(+,t5,t6,t7) (14)(*,口7,1,t8) (15)([,A,t8,t9) (16)(LT,x,10,tl0) (18)(+,t9,m,tll) (19)(:=,tll,y) (20)(JUMP,L4) (21)(LABLE, L3) (22)(-,t9,m,tl2) (23)( LABLE, L4 (24)(+z,10,l3) (25)(:=,t13,n) (26)(JUMP,LI (27)( LABLE, L2(7) ( : = , t2 , x ) (8) ( + , x , 1 , t3 ) (9) ( : = , t3 ,m ) (10) ( - , i ,1 , t4 ) (11) ( * , t4 , 10 , t5) (12) ( - , j , 1 ,t6) (13) ( + , t5 , t6, t7 ) (14) (* , t7 , 1, t8 ) (15) ( [], A ,t8 , t9 ) (16) ( LT , x ,10 , t10) (17) ( JUMP0, L3) (18) (+, t9,m ,t11 ) (19) ( : = , t11 , y ) (20) (JUMP, L4) (21) (LABLE, L3) (22) ( - , t9 , m ,t12 ) (23) ( LABLE , L4 ) (24) ( + ,z , 10 ,t13) (25) ( : = , t13 , n) (26) ( JUMP, L1 ) (27) ( LABLE, L2 )