I wonder how long it took the computer(s?) to run the permutations