r0_mul: ;#/ 6364136223846793005 db 45, 127, 149, 76, 45, 244, 81, 88 r1_add: ;#/ 9298410992540426748 db 252, 161, 245, 89, 136, 151, 10, 129 r2_add: ;#/ 12065312585734608966 db 70, 216, 194, 56, 223, 153, 112, 167 r3_add: ;#/ 9306329213124610396 db 92, 9, 34, 191, 28, 185, 38, 129 r4_add: ;#/ 5281919268842080866 db 98, 138, 159, 23, 151, 37, 77, 73 r5_add: ;#/ 10536153434571861004 db 12, 236, 170, 206, 185, 239, 55, 146 r6_add: ;#/ 3398623926847679864 db 120, 45, 230, 108, 116, 86, 42, 47 r7_add: ;#/ 9549104520008361294 db 78, 229, 44, 182, 247, 59, 133, 132