¿Cuánto medía el ejemplar de pitón más largo catalogado?