The main computation took 90 days on Shigeru Kondo's desktop. Verification was done using two separate computers.
The program that was used for the main computation is y-cruncher v0.5.4.9138 Alpha.
How many surrealists does it take to screw in a lightbulb? One to hold the giraffe and one to fill the bathtub with brightly colored power tools.