[math] John Nash's files