Documentation for the machine-readable version of the general catalogue of 33342 stars for the epoch 1950 (Boss 1937)