(100!)^10