De verschillende pentomino's: ze ontdekten ze alle twaalf.