Test files for measurements.
This commit is contained in:
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
ADD a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
AND a true true
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
BLAKE2B a "This is a string"
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
DEC a
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
DECA
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
DIV a 1 1
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
DUP 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
DUPA
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
EGT a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
ELT a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,12 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
EQ a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
GT a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
INC a
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
INCA
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
LT a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
MOD a 1 1
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
MUL a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
NEQ a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
NOT a true
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
OR a true true
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
POP a
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
POW a 1 1
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,122 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
PUSH 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
SHA256 a "This is a string"
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
STORE var3 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; CONTRACT empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
SUB a 0 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
@@ -0,0 +1,123 @@
|
|||||||
|
;; Contract empty_loop
|
||||||
|
|
||||||
|
FUNCTION run (integer) : integer
|
||||||
|
STORE var0 arg0
|
||||||
|
PUSH 0
|
||||||
|
JUMP 1
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
TUPLE a 0
|
||||||
|
|
||||||
|
DEC var0
|
||||||
|
GT var1 var0 0
|
||||||
|
JUMPIF var1 1
|
||||||
|
|
||||||
|
RETURNR 0
|
||||||
|
|
||||||
Reference in New Issue
Block a user