What is the trimmed mean of the set {1,10,11,12,13,14,15,100}\{1, 10, 11, 12, 13, 14, 15, 100\}{1,10,11,12,13,14,15,100} if we remove the top and bottom 25%?
12.512.512.5
12.012.012.0
13.013.013.0
11.511.511.5