おそらく
20001×10導入→7713×10を7713×8に変更→7707×8置換ではないかと予想する。