hey does anyone know what the size is of the largest ball python ever recorded is if there is one?