1000未満の素数のうち,大きい方から12個の素数の積