$1.8 billion lottery lowered a bit after taxes