span
          style=""></span>The format of the source info is an integer <span
          style=""></span>indicating the number of sources followed by <span
          style=""></span>real numbers indicating the depths of each <span
          style=""></span>source. The same format is used for receivers.<span
          style="">&nbsp; </span>Since this data is read in using
        list-directed <span style=""></span>I/O you can type it just
        about any way you want, e.g. on <span style=""></span>one 