docs: getProblemFact()'s addAll() vs add()
grammar
If the randomSeed is set, then PRODUCTION mode should use it too (even though there is no guarantee on reproducibility)