If one programmed a powerful computer, to test all of these ways to divide the rocks, one might be able to check formula_1 combinations per second using current systems. This means one would still need formula_2 very powerful computers, "working since the origin of the universe," to test all the ways of dividing the rocks.