#作問 getStrongPrimeはsafe primeを返すわけではない 特にquadratic residue関連の問題を作るときはこれに気をつけたい 特別な理由がなければフラグにはパディングをつける small_roots で解けるべきかどうか、ということ 愚直なz3で解けないことを確かめて…