(* Lifetimes of 50 batteries (in hours) *) battery= {0.33, 5.71, 2.23, 10, 3.41, 1.83, 3.01 , 0.71, 3.95, 4.37, 0.90, 0.30, 1.94, 10, 8.31, 5.15, 10, 3.25, 0.06 , 2.89 , 6.99 , 2.15 , 6.58, 10, 5.28, 0.78, 1.70, 6.68, 4.73, 5.94, 4.26, 10, 7.23, 8.31, 2.52, 1.35, 2.66, 10, 1.30, 0.71, 2.41, 3.66, 10, 10, 9.69, 0.43, 10, 4.41, 8.77, 9.66 }