>>541
modの回数を別では記録してなさそうだから
正確にはmod数+demod数じゃないかな、確かめてないけど