What was the KEK 500 MeV booster proton synchrotron replaced with?

A. A superconducting magnet system
B. A new 500 MeV booster proton synchrotron
C. A high-energy laser system
D. A digital accelerator
Answer: 