Set of programs for generating Boolean equation of the mini-AES and the AES