A formula for constructing Mignotte sequences. - Marek Putresza (CoRR, 2024)