#include "../../XKCP/lib/low/KeccakP-1600-times2/AVX512/AVX512u12/SIMD512-2-config.h"