initial-state: set #1 &move set #1 &a:1000000 search: rule-1: jez &move %rule-2 jez &a %rule-2 jez &a %rule-2 set #max @alu.op1 cpy &move @alu.op2 inc @alu.min cpy @alu.out1 @alu.op1 cpy &a @alu.op2 inc @alu.min cpy @alu.out1 &min 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 cpy &move @alu.op1 cpy &min @alu.op2 inc @alu.sub-sat cpy @alu.out1 &move cpy &move @alu.op1 cpy &min @alu.op2 inc @alu.add cpy @alu.out1 &mov cpy &move @alu.op1 cpy &min @alu.op2 inc @alu.add cpy @alu.out1 &mov cpy &b @alu.op1 cpy &min @alu.op2 inc @alu.add cpy @alu.out1 &b jmp &search rule-2: jez &move %done set #max @alu.op1 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 done: hlt