AVX13X1235 |13X1235 |13 X 1230 |AVX 13 X 1230 |13 X 1231 |13 X 1232 |13 X 1233 |13 X 1234 |AVX 13 X 1231 |AVX 13 X 1232 |AVX 13 X 1233 |AVX 13 X 1234 |13 X 1236 |13 X 1237 |13 X 1238 |13 X 1239 |13 X 1240 |AVX 13 X 1236 |AVX 13 X 1237 |AVX 13 X 1238 |AVX 13 X 1239 |AVX 13 X 1240