dicey1_64 doesn't have any sets.