Design of All-Superconducting User Magnets Generating More Than 40 T for the SuperEMFL Project | Synapse