Koliko je Leonardovih zapisa sačuvani?

1. preko 6000
2. preko 8000
3. preko 4000