initial-state: set &move #1 set &a:1000000 #1 search: rule-1: jez &a:1000000 %rule-2 set @alu.op1 #max cpy &a:1000000 @alu.op2 inc @alu.min cpy @alu.out1 &min cpy &a:1000000 @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &a:1000000 set @alu.op1 #1000000 cpy &min @alu.op2 inc @alu.mul cpy &a @alu.op1 cpy @alu.out1 @alu.op2 inc @alu.add cpy @alu.out1 &a jmp %search rule-2: jez &move %rule-3 jez &a %rule-3 jez &a %rule-3 set @alu.op1 #max cpy &move @alu.op2 inc @alu.min cpy @alu.out1 @alu.op1 cpy &a @alu.op2 inc @alu.min cpy @alu.out1 @alu.op1 cpy &a @alu.op2 inc @alu.min cpy @alu.out1 &min cpy &move @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &move cpy &a @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &a cpy &a @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &a set @alu.op1 #2 cpy &min @alu.op2 inc @alu.mul cpy &move @alu.op1 cpy @alu.out1 @alu.op2 inc @alu.add cpy @alu.out1 &move set @alu.op1 #1 cpy &min @alu.op2 inc @alu.mul cpy &b @alu.op1 cpy @alu.out1 @alu.op2 inc @alu.add cpy @alu.out1 &b jmp %search rule-3: jez &move %rule-done set @alu.op1 #max cpy &move @alu.op2 inc @alu.min cpy @alu.out1 &min cpy &move @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &move jmp %search rule-done: hlt