Does anyone know if there's a dataset of UK national lottery jackpot amounts going back to when it started somewhere on the web? Surely someone was noting them down each week?