diff --git a/main/ecrecover/dblScalarMulSecp256k1.zkasm b/main/ecrecover/dblScalarMulSecp256k1.zkasm index 9a86b8aa..fddd7a01 100644 --- a/main/ecrecover/dblScalarMulSecp256k1.zkasm +++ b/main/ecrecover/dblScalarMulSecp256k1.zkasm @@ -155,27 +155,31 @@ dblScalarMulSecp256k1_loop: ; high_bit(k1) == 0 high_bit(k2) == ?? dblScalarMulSecp256k1_k10: ; Receive the next MSB bit of k2 - $0{(mem.dblScalarMulSecp256k1_k2) >> RR & 0x1} :JMPZ(@dblScalarMulSecp256k1_scalar_table_k10_k20 + RR) + $0{(mem.dblScalarMulSecp256k1_k2) >> RR & 0x1} :JMPZ(@dblScalarMulSecp256k1_scalar_table_k10_k20 + RR, @dblScalarMulSecp256k1_scalar_table_k10_k21 + RR) + +; high_bit(k1) == 1 high_bit(k2) == ?? +dblScalarMulSecp256k1_k11: + ; Receive the next MSB b of k2. + $0{(mem.dblScalarMulSecp256k1_k2) >> RR & 0x1} :JMPZ(@dblScalarMulSecp256k1_scalar_table_k11_k20 + RR, @dblScalarMulSecp256k1_scalar_table_k11_k21_part1 + RR) ; high_bit(k1) == 0 high_bit(k2) == 1 -dblScalarMulSecp256k1_k10_k21: - :JMP(@dblScalarMulSecp256k1_scalar_table_k10_k21 + RR) -dblScalarMulSecp256k1_k10_k21_continue: +dblScalarMulSecp256k1_k10_k21_add_prepare: ; [steps.before.nosave: 4] ; [steps.before.save: 9] ; [steps.before (w.c.): 9] $ => C :MLOAD(dblScalarMulSecp256k1_p2_x) $ => D :MLOAD(dblScalarMulSecp256k1_p2_y), JMP(dblScalarMulSecp256k1_add) -; high_bit(k1) == 1 high_bit(k2) == ?? -dblScalarMulSecp256k1_k11: - ; Receive the next MSB b of k2. - $0{(mem.dblScalarMulSecp256k1_k2) >> RR & 0x1} :JMPZ(@dblScalarMulSecp256k1_scalar_table_k11_k20 + RR) +; high_bit(k1) == 1 high_bit(k2) == 0 +dblScalarMulSecp256k1_k11_k20_add_prepare: + ; [steps.before.nosave: 3] + ; [steps.before.save: 9] + ; [steps.before (w.c.): 9] + $ => C :MLOAD(dblScalarMulSecp256k1_p1_x) + $ => D :MLOAD(dblScalarMulSecp256k1_p1_y), JMP(dblScalarMulSecp256k1_add) ; high_bit(k1) == 1 high_bit(k2) == 1 -dblScalarMulSecp256k1_k11_k21: - :JMP(@dblScalarMulSecp256k1_scalar_table_k11_k21_part1 + RR) -dblScalarMulSecp256k1_k11_k21_continue: +dblScalarMulSecp256k1_k11_k21_add_prepare: ; [steps.before.nosave: 5] ; [steps.before.save: 10] ; [steps.before (w.c.): 10] @@ -187,14 +191,6 @@ dblScalarMulSecp256k1_k11_k21_continue: $ => C :MLOAD(dblScalarMulSecp256k1_p12_x) $ => D :MLOAD(dblScalarMulSecp256k1_p12_y), JMP(dblScalarMulSecp256k1_add) -; high_bit(k1) == 1 high_bit(k2) == 0 -dblScalarMulSecp256k1_k11_k20: - ; [steps.before.nosave: 3] - ; [steps.before.save: 9] - ; [steps.before (w.c.): 9] - $ => C :MLOAD(dblScalarMulSecp256k1_p1_x) - $ => D :MLOAD(dblScalarMulSecp256k1_p1_y), JMP(dblScalarMulSecp256k1_add) - ; in this point C,D have point to be add dblScalarMulSecp256k1_add: ; [steps.p3empty.nolast: 4 + steps.double = 10] @@ -334,7 +330,7 @@ dblScalarMulSecp256k1_save_k11_k20: $ => C :MLOAD(dblScalarMulSecp256k1_acum_k2) ROTL_C + HASHPOS :MSTORE(dblScalarMulSecp256k1_acum_k2) - 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k11_k20) + 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) dblScalarMulSecp256k1_save_k11_k21: $ => C :MLOAD(dblScalarMulSecp256k1_acum_k1) @@ -343,7 +339,7 @@ dblScalarMulSecp256k1_save_k11_k21: $ => C :MLOAD(dblScalarMulSecp256k1_acum_k2) ROTL_C + HASHPOS :MSTORE(dblScalarMulSecp256k1_acum_k2) - 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) + 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) dblScalarMulSecp256k1_save_k10_k21: $ => C :MLOAD(dblScalarMulSecp256k1_acum_k1) @@ -352,7 +348,7 @@ dblScalarMulSecp256k1_save_k10_k21: $ => C :MLOAD(dblScalarMulSecp256k1_acum_k2) ROTL_C + HASHPOS :MSTORE(dblScalarMulSecp256k1_acum_k2) - 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) + 0n => RCX,HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; Sage code ; ---------------------------------------- @@ -636,265 +632,265 @@ dblScalarMulSecp256k1_scalar_table_k10_k20: ; if (latch == 0): ; print("\tRCX + {0}n => RCX\t\t:JMP(dblScalarMulSecp256k1_save_k11_k20)\t; RR = {1}".format(a,i)) ; else: -; print("\tRCX + {0}n => RCX\t\t:JMP(dblScalarMulSecp256k1_k11_k20_add)\t\t; RR = {1}".format(a,i)) +; print("\tRCX + {0}n => RCX\t\t:JMP(dblScalarMulSecp256k1_k11_k20_add_prepare_add)\t\t; RR = {1}".format(a,i)) ; ---------------------------------------- dblScalarMulSecp256k1_scalar_table_k11_k20: RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 0 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 1 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 2 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 3 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 4 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 5 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 6 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 7 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 8 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 9 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 10 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 11 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 12 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 13 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 14 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 15 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 16 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 17 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 18 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 19 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 20 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 21 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 22 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 23 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 24 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 25 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 26 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 27 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 28 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 29 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 30 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 31 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 1 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 2 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 3 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 4 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 5 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 6 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 7 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 8 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 9 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 10 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 11 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 12 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 13 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 14 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 15 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 16 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 17 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 18 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 19 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 20 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 21 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 22 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 23 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 24 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 25 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 26 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 27 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 28 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 29 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 30 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 31 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 32 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 33 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 34 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 35 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 36 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 37 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 38 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 39 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 40 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 41 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 42 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 43 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 44 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 45 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 46 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 47 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 48 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 49 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 50 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 51 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 52 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 53 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 54 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 55 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 56 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 57 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 58 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 59 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 60 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 61 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 62 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 63 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 33 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 34 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 35 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 36 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 37 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 38 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 39 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 40 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 41 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 42 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 43 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 44 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 45 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 46 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 47 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 48 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 49 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 50 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 51 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 52 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 53 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 54 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 55 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 56 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 57 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 58 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 59 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 60 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 61 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 62 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 63 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 64 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 65 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 66 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 67 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 68 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 69 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 70 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 71 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 72 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 73 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 74 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 75 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 76 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 77 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 78 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 79 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 80 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 81 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 82 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 83 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 84 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 85 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 86 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 87 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 88 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 89 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 90 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 91 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 92 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 93 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 94 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 95 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 65 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 66 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 67 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 68 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 69 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 70 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 71 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 72 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 73 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 74 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 75 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 76 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 77 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 78 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 79 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 80 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 81 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 82 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 83 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 84 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 85 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 86 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 87 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 88 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 89 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 90 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 91 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 92 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 93 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 94 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 95 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 96 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 97 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 98 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 99 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 100 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 101 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 102 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 103 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 104 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 105 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 106 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 107 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 108 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 109 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 110 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 111 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 112 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 113 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 114 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 115 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 116 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 117 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 118 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 119 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 120 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 121 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 122 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 123 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 124 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 125 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 126 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 127 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 97 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 98 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 99 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 100 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 101 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 102 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 103 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 104 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 105 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 106 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 107 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 108 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 109 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 110 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 111 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 112 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 113 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 114 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 115 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 116 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 117 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 118 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 119 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 120 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 121 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 122 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 123 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 124 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 125 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 126 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 127 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 128 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 129 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 130 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 131 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 132 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 133 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 134 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 135 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 136 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 137 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 138 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 139 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 140 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 141 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 142 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 143 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 144 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 145 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 146 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 147 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 148 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 149 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 150 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 151 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 152 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 153 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 154 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 155 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 156 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 157 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 158 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 159 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 129 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 130 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 131 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 132 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 133 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 134 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 135 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 136 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 137 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 138 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 139 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 140 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 141 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 142 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 143 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 144 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 145 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 146 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 147 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 148 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 149 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 150 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 151 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 152 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 153 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 154 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 155 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 156 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 157 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 158 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 159 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 160 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 161 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 162 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 163 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 164 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 165 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 166 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 167 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 168 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 169 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 170 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 171 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 172 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 173 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 174 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 175 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 176 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 177 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 178 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 179 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 180 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 181 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 182 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 183 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 184 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 185 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 186 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 187 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 188 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 189 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 190 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 191 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 161 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 162 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 163 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 164 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 165 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 166 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 167 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 168 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 169 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 170 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 171 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 172 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 173 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 174 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 175 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 176 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 177 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 178 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 179 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 180 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 181 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 182 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 183 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 184 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 185 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 186 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 187 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 188 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 189 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 190 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 191 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 192 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 193 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 194 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 195 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 196 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 197 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 198 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 199 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 200 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 201 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 202 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 203 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 204 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 205 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 206 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 207 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 208 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 209 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 210 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 211 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 212 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 213 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 214 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 215 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 216 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 217 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 218 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 219 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 220 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 221 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 222 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 223 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 193 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 194 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 195 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 196 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 197 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 198 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 199 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 200 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 201 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 202 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 203 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 204 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 205 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 206 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 207 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 208 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 209 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 210 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 211 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 212 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 213 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 214 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 215 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 216 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 217 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 218 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 219 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 220 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 221 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 222 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 223 RCX + 0x00000001n => RCX :JMP(dblScalarMulSecp256k1_save_k11_k20) ; RR = 224 - RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 225 - RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 226 - RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 227 - RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 228 - RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 229 - RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 230 - RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 231 - RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 232 - RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 233 - RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 234 - RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 235 - RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 236 - RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 237 - RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 238 - RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 239 - RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 240 - RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 241 - RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 242 - RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 243 - RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 244 - RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 245 - RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 246 - RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 247 - RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 248 - RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 249 - RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 250 - RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 251 - RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 252 - RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 253 - RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 254 - RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20) ; RR = 255 + RCX + 0x00000002n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 225 + RCX + 0x00000004n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 226 + RCX + 0x00000008n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 227 + RCX + 0x00000010n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 228 + RCX + 0x00000020n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 229 + RCX + 0x00000040n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 230 + RCX + 0x00000080n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 231 + RCX + 0x00000100n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 232 + RCX + 0x00000200n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 233 + RCX + 0x00000400n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 234 + RCX + 0x00000800n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 235 + RCX + 0x00001000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 236 + RCX + 0x00002000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 237 + RCX + 0x00004000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 238 + RCX + 0x00008000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 239 + RCX + 0x00010000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 240 + RCX + 0x00020000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 241 + RCX + 0x00040000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 242 + RCX + 0x00080000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 243 + RCX + 0x00100000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 244 + RCX + 0x00200000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 245 + RCX + 0x00400000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 246 + RCX + 0x00800000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 247 + RCX + 0x01000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 248 + RCX + 0x02000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 249 + RCX + 0x04000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 250 + RCX + 0x08000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 251 + RCX + 0x10000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 252 + RCX + 0x20000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 253 + RCX + 0x40000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 254 + RCX + 0x80000000n => RCX :JMP(dblScalarMulSecp256k1_k11_k20_add_prepare) ; RR = 255 ; Sage code ; ---------------------------------------- @@ -1175,265 +1171,265 @@ dblScalarMulSecp256k1_scalar_table_k11_k21_part1: ; if (latch == 0): ; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_save_k11_k21)\t; RR = {1}".format(a,i)) ; else: -; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_k11_k21_continue)\t\t; RR = {1}".format(a,i)) +; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_k11_k21_add_prepare)\t\t; RR = {1}".format(a,i)) ; ---------------------------------------- dblScalarMulSecp256k1_scalar_table_k11_k21_part2: HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 0 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 1 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 2 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 3 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 4 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 5 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 6 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 7 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 8 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 9 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 10 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 11 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 12 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 13 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 14 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 15 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 16 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 17 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 18 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 19 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 20 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 21 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 22 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 23 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 24 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 25 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 26 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 27 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 28 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 29 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 30 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 31 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 1 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 2 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 3 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 4 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 5 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 6 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 7 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 8 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 9 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 10 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 11 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 12 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 13 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 14 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 15 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 16 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 17 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 18 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 19 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 20 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 21 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 22 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 23 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 24 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 25 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 26 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 27 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 28 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 29 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 30 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 31 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 32 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 33 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 34 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 35 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 36 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 37 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 38 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 39 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 40 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 41 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 42 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 43 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 44 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 45 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 46 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 47 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 48 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 49 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 50 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 51 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 52 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 53 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 54 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 55 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 56 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 57 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 58 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 59 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 60 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 61 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 62 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 63 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 33 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 34 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 35 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 36 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 37 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 38 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 39 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 40 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 41 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 42 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 43 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 44 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 45 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 46 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 47 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 48 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 49 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 50 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 51 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 52 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 53 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 54 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 55 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 56 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 57 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 58 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 59 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 60 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 61 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 62 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 63 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 64 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 65 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 66 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 67 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 68 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 69 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 70 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 71 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 72 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 73 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 74 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 75 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 76 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 77 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 78 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 79 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 80 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 81 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 82 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 83 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 84 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 85 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 86 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 87 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 88 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 89 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 90 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 91 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 92 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 93 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 94 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 95 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 65 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 66 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 67 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 68 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 69 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 70 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 71 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 72 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 73 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 74 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 75 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 76 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 77 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 78 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 79 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 80 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 81 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 82 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 83 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 84 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 85 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 86 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 87 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 88 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 89 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 90 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 91 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 92 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 93 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 94 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 95 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 96 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 97 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 98 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 99 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 100 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 101 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 102 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 103 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 104 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 105 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 106 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 107 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 108 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 109 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 110 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 111 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 112 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 113 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 114 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 115 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 116 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 117 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 118 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 119 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 120 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 121 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 122 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 123 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 124 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 125 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 126 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 127 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 97 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 98 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 99 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 100 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 101 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 102 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 103 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 104 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 105 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 106 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 107 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 108 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 109 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 110 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 111 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 112 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 113 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 114 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 115 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 116 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 117 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 118 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 119 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 120 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 121 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 122 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 123 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 124 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 125 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 126 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 127 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 128 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 129 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 130 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 131 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 132 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 133 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 134 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 135 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 136 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 137 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 138 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 139 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 140 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 141 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 142 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 143 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 144 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 145 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 146 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 147 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 148 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 149 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 150 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 151 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 152 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 153 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 154 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 155 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 156 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 157 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 158 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 159 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 129 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 130 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 131 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 132 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 133 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 134 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 135 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 136 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 137 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 138 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 139 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 140 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 141 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 142 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 143 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 144 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 145 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 146 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 147 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 148 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 149 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 150 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 151 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 152 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 153 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 154 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 155 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 156 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 157 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 158 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 159 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 160 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 161 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 162 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 163 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 164 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 165 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 166 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 167 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 168 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 169 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 170 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 171 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 172 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 173 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 174 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 175 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 176 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 177 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 178 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 179 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 180 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 181 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 182 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 183 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 184 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 185 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 186 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 187 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 188 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 189 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 190 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 191 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 161 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 162 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 163 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 164 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 165 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 166 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 167 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 168 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 169 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 170 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 171 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 172 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 173 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 174 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 175 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 176 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 177 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 178 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 179 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 180 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 181 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 182 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 183 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 184 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 185 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 186 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 187 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 188 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 189 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 190 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 191 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 192 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 193 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 194 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 195 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 196 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 197 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 198 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 199 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 200 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 201 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 202 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 203 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 204 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 205 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 206 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 207 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 208 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 209 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 210 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 211 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 212 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 213 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 214 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 215 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 216 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 217 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 218 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 219 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 220 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 221 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 222 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 223 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 193 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 194 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 195 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 196 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 197 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 198 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 199 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 200 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 201 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 202 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 203 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 204 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 205 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 206 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 207 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 208 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 209 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 210 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 211 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 212 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 213 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 214 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 215 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 216 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 217 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 218 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 219 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 220 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 221 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 222 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 223 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k11_k21) ; RR = 224 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 225 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 226 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 227 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 228 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 229 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 230 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 231 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 232 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 233 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 234 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 235 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 236 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 237 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 238 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 239 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 240 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 241 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 242 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 243 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 244 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 245 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 246 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 247 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 248 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 249 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 250 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 251 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 252 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 253 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 254 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_continue) ; RR = 255 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 225 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 226 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 227 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 228 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 229 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 230 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 231 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 232 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 233 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 234 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 235 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 236 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 237 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 238 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 239 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 240 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 241 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 242 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 243 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 244 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 245 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 246 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 247 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 248 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 249 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 250 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 251 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 252 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 253 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 254 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k11_k21_add_prepare) ; RR = 255 ; Sage code ; ---------------------------------------- @@ -1446,262 +1442,262 @@ dblScalarMulSecp256k1_scalar_table_k11_k21_part2: ; if (latch == 0): ; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_save_k10_k21)\t; RR = {1}".format(a,i)) ; else: -; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_k10_k21_continue)\t\t; RR = {1}".format(a,i)) +; print("\tHASHPOS + {0}n => HASHPOS\t\t:JMP(dblScalarMulSecp256k1_k10_k21_add_prepare)\t\t; RR = {1}".format(a,i)) ; ---------------------------------------- dblScalarMulSecp256k1_scalar_table_k10_k21: HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 0 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 1 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 2 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 3 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 4 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 5 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 6 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 7 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 8 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 9 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 10 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 11 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 12 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 13 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 14 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 15 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 16 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 17 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 18 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 19 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 20 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 21 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 22 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 23 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 24 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 25 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 26 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 27 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 28 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 29 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 30 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 31 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 1 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 2 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 3 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 4 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 5 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 6 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 7 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 8 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 9 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 10 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 11 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 12 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 13 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 14 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 15 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 16 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 17 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 18 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 19 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 20 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 21 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 22 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 23 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 24 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 25 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 26 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 27 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 28 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 29 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 30 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 31 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 32 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 33 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 34 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 35 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 36 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 37 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 38 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 39 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 40 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 41 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 42 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 43 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 44 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 45 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 46 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 47 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 48 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 49 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 50 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 51 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 52 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 53 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 54 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 55 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 56 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 57 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 58 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 59 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 60 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 61 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 62 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 63 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 33 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 34 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 35 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 36 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 37 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 38 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 39 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 40 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 41 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 42 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 43 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 44 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 45 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 46 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 47 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 48 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 49 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 50 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 51 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 52 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 53 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 54 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 55 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 56 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 57 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 58 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 59 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 60 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 61 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 62 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 63 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 64 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 65 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 66 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 67 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 68 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 69 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 70 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 71 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 72 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 73 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 74 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 75 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 76 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 77 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 78 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 79 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 80 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 81 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 82 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 83 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 84 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 85 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 86 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 87 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 88 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 89 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 90 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 91 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 92 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 93 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 94 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 95 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 65 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 66 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 67 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 68 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 69 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 70 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 71 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 72 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 73 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 74 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 75 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 76 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 77 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 78 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 79 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 80 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 81 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 82 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 83 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 84 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 85 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 86 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 87 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 88 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 89 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 90 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 91 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 92 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 93 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 94 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 95 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 96 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 97 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 98 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 99 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 100 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 101 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 102 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 103 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 104 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 105 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 106 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 107 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 108 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 109 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 110 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 111 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 112 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 113 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 114 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 115 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 116 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 117 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 118 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 119 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 120 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 121 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 122 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 123 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 124 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 125 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 126 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 127 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 97 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 98 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 99 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 100 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 101 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 102 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 103 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 104 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 105 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 106 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 107 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 108 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 109 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 110 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 111 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 112 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 113 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 114 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 115 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 116 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 117 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 118 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 119 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 120 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 121 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 122 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 123 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 124 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 125 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 126 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 127 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 128 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 129 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 130 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 131 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 132 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 133 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 134 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 135 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 136 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 137 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 138 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 139 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 140 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 141 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 142 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 143 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 144 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 145 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 146 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 147 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 148 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 149 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 150 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 151 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 152 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 153 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 154 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 155 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 156 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 157 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 158 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 159 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 129 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 130 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 131 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 132 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 133 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 134 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 135 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 136 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 137 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 138 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 139 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 140 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 141 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 142 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 143 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 144 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 145 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 146 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 147 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 148 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 149 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 150 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 151 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 152 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 153 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 154 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 155 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 156 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 157 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 158 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 159 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 160 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 161 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 162 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 163 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 164 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 165 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 166 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 167 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 168 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 169 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 170 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 171 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 172 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 173 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 174 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 175 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 176 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 177 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 178 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 179 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 180 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 181 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 182 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 183 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 184 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 185 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 186 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 187 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 188 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 189 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 190 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 191 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 161 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 162 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 163 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 164 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 165 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 166 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 167 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 168 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 169 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 170 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 171 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 172 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 173 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 174 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 175 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 176 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 177 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 178 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 179 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 180 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 181 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 182 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 183 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 184 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 185 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 186 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 187 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 188 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 189 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 190 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 191 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 192 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 193 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 194 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 195 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 196 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 197 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 198 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 199 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 200 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 201 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 202 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 203 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 204 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 205 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 206 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 207 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 208 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 209 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 210 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 211 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 212 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 213 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 214 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 215 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 216 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 217 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 218 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 219 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 220 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 221 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 222 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 223 + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 193 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 194 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 195 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 196 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 197 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 198 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 199 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 200 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 201 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 202 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 203 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 204 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 205 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 206 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 207 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 208 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 209 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 210 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 211 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 212 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 213 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 214 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 215 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 216 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 217 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 218 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 219 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 220 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 221 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 222 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 223 HASHPOS + 0x00000001n => HASHPOS :JMP(dblScalarMulSecp256k1_save_k10_k21) ; RR = 224 - HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 225 - HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 226 - HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 227 - HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 228 - HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 229 - HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 230 - HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 231 - HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 232 - HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 233 - HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 234 - HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 235 - HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 236 - HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 237 - HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 238 - HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 239 - HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 240 - HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 241 - HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 242 - HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 243 - HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 244 - HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 245 - HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 246 - HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 247 - HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 248 - HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 249 - HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 250 - HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 251 - HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 252 - HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 253 - HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 254 - HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_continue) ; RR = 255 \ No newline at end of file + HASHPOS + 0x00000002n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 225 + HASHPOS + 0x00000004n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 226 + HASHPOS + 0x00000008n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 227 + HASHPOS + 0x00000010n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 228 + HASHPOS + 0x00000020n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 229 + HASHPOS + 0x00000040n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 230 + HASHPOS + 0x00000080n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 231 + HASHPOS + 0x00000100n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 232 + HASHPOS + 0x00000200n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 233 + HASHPOS + 0x00000400n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 234 + HASHPOS + 0x00000800n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 235 + HASHPOS + 0x00001000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 236 + HASHPOS + 0x00002000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 237 + HASHPOS + 0x00004000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 238 + HASHPOS + 0x00008000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 239 + HASHPOS + 0x00010000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 240 + HASHPOS + 0x00020000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 241 + HASHPOS + 0x00040000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 242 + HASHPOS + 0x00080000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 243 + HASHPOS + 0x00100000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 244 + HASHPOS + 0x00200000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 245 + HASHPOS + 0x00400000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 246 + HASHPOS + 0x00800000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 247 + HASHPOS + 0x01000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 248 + HASHPOS + 0x02000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 249 + HASHPOS + 0x04000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 250 + HASHPOS + 0x08000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 251 + HASHPOS + 0x10000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 252 + HASHPOS + 0x20000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 253 + HASHPOS + 0x40000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 254 + HASHPOS + 0x80000000n => HASHPOS :JMP(dblScalarMulSecp256k1_k10_k21_add_prepare) ; RR = 255 \ No newline at end of file