Mike Guyon's ISOs1 pins found