CDC 6400: differenze tra le versioni