optimze u30xu30

sCrypt-Inc · Nov 25, 2024 · 055d15e · 055d15e
1 parent fdcbdb8
commit 055d15e
Show file tree

Hide file tree

Showing 5 changed files with 202 additions and 225 deletions.
diff --git a/.asm/asm.json b/.asm/asm.json
@@ -1,5 +1,7 @@
 {
   "OpMul": {
-    "mul": "OP_DUP OP_0 OP_GREATERTHANOREQUAL OP_VERIFY OP_1 OP_PICK OP_0 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_DUP 00000040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 8000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 8000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 40 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 40 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 20 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 20 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_16 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_16 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_8 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_8 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_4 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_4 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_2 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_2 OP_SUB OP_1 OP_SWAP OP_ENDIF 1f OP_PICK OP_SWAP OP_IF OP_DUP OP_ELSE OP_0 OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF  OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SIZE OP_5 OP_EQUAL OP_NOT OP_VERIFY OP_NIP"
+    "mul": "OP_DUP OP_0 OP_GREATERTHANOREQUAL OP_VERIFY OP_1 OP_PICK OP_0 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_DUP 00000040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 8000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 8000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 40 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 40 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 20 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 20 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_16 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_16 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_8 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_8 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_4 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_4 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_2 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_2 OP_SUB OP_1 OP_SWAP OP_ENDIF 1f OP_PICK OP_SWAP OP_IF OP_DUP OP_ELSE OP_0 OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF  OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_SIZE OP_5 OP_EQUAL OP_IF OP_DROP OP_0 OP_ENDIF OP_ROT OP_IF OP_DUP OP_VERIFY OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SIZE OP_5 OP_EQUAL OP_NOT OP_VERIFY OP_NIP",
+    "u15Mul": "OP_DUP ff7f OP_LESSTHANOREQUAL OP_VERIFY OP_DUP OP_0 OP_GREATERTHANOREQUAL OP_VERIFY OP_1 OP_PICK ff7f OP_LESSTHANOREQUAL OP_VERIFY OP_1 OP_PICK OP_0 OP_GREATERTHANOREQUAL OP_VERIFY OP_DUP 0040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 0001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 0001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 8000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 8000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 40 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 40 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 20 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 20 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_16 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_16 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_8 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_8 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_4 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_4 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP OP_2 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE OP_2 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_15 OP_PICK OP_SWAP OP_IF OP_DUP OP_ELSE OP_0 OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_NIP",
+    "sliceU30": "OP_DUP ffffff3f OP_LESSTHANOREQUAL OP_VERIFY OP_DUP OP_0 OP_GREATERTHANOREQUAL OP_VERIFY OP_DUP 00000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 00008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 00008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000040 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000040 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000020 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000020 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000010 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000010 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000008 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000008 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000004 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000004 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000002 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000002 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 000001 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 000001 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_DUP 008000 OP_LESSTHAN OP_IF OP_0 OP_SWAP OP_ELSE 008000 OP_SUB OP_1 OP_SWAP OP_ENDIF OP_TOALTSTACK OP_1 OP_SWAP OP_IF OP_DUP OP_ELSE OP_0 OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD  OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_SWAP OP_DUP OP_ADD OP_ROT OP_IF OP_DUP OP_ROT OP_ADD OP_ELSE OP_SWAP OP_ENDIF OP_NIP OP_FROMALTSTACK"
   }
 }