Man sues California Lotto over $394M Super Many jackpot butterflies mobile prize