Reformat aes-table-le.h