Statistics for FCC-hh detector magnets