r0_avx2_increments:
	db 2,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,5,0,0,0,0,0,0,0
mul_hi_avx2_data:
	db 0,0,0,0,1,0,0,0
r0_avx2_mul:
	;#/ 6364136223846793005
	db 45, 127, 149, 76, 45, 244, 81, 88
r1_avx2_add:
	;#/ 9298411001130361340
	db 252, 161, 245, 89, 138, 151, 10, 129
r2_avx2_add:
	;#/ 12065312585734608966
	db 70, 216, 194, 56, 223, 153, 112, 167
r3_avx2_add:
	;#/ 9306329213124626780
	db 92, 73, 34, 191, 28, 185, 38, 129
r4_avx2_add:
	;#/ 5281919268842080866
	db 98, 138, 159, 23, 151, 37, 77, 73
r5_avx2_add:
	;#/ 10536153434571861004
	db 12, 236, 170, 206, 185, 239, 55, 146
r6_avx2_add:
	;#/ 3398623926847679864
	db 120, 45, 230, 108, 116, 86, 42, 47
r7_avx2_add:
	;#/ 9549104520008361294
	db 78, 229, 44, 182, 247, 59, 133, 132