>>27
普通のコンピュータで確かめ算すれば良い