Comment Comment by thethirdone How long did it take to compute s(12)? How much harder would it be to compute s(13)? parent thethirdone 5 years ago
