マナティ教授のロト６＆ミニロト予想