J2000 coordinates formatted for possible transfer to the correlator data base:
name = '0202+319'  ra = 02h05m04.925371s  dec = 32d12'30.09560"
name = '0333+321'  ra = 03h36m30.107599s  dec = 32d18'29.34239"
name = '0415+379'  ra = 04h18m21.277000s  dec = 38d01'35.90000"
name = '0430+052'  ra = 04h33m11.095535s  dec = 05d21'15.61942"
name = '0552+398'  ra = 05h55m30.805609s  dec = 39d48'49.16500"
name = '0642+449'  ra = 06h46m32.025986s  dec = 44d51'16.59013"
name = '0716+714'  ra = 07h21m53.448460s  dec = 71d20'36.36339"
name = '1036+054'  ra = 10h38m46.779892s  dec = 05d12'29.08536"
name = '1038+064'  ra = 10h41m17.162504s  dec = 06d10'16.92378"
name = '1150+812'  ra = 11h53m12.499130s  dec = 80d58'29.15451"
name = '1502+106'  ra = 15h04m24.979782s  dec = 10d29'39.19865"
name = '1638+398'  ra = 16h40m29.632771s  dec = 39d46'46.02854"
name = '1739+522'  ra = 17h40m36.977852s  dec = 52d11'43.40750"
name = '1823+568'  ra = 18h24m07.068372s  dec = 56d51'01.49088"
name = '2128-123'  ra = 21h31m35.261757s  dec = -12d07'04.79588"
name = '2155-152'  ra = 21h58m06.281901s  dec = -15d01'09.32809"
name = '2200+420'  ra = 22h02m43.291378s  dec = 42d16'39.97994"
name = '2243-123'  ra = 22h46m18.231976s  dec = -12d06'51.27734"