J2000 coordinates formatted for possible transfer to the correlator data base:
name = '0016+731'  ra = 00h19m45.786427s  dec = 73d27'30.01745"
name = '0119+115'  ra = 01h21m41.595043s  dec = 11d49'50.41313"
name = '0415+379'  ra = 04h18m21.277000s  dec = 38d01'35.90000"
name = '0422+004'  ra = 04h24m46.842053s  dec = 00d36'06.32983"
name = '0430+052'  ra = 04h33m11.095535s  dec = 05d21'15.61942"
name = '0716+714'  ra = 07h21m53.448460s  dec = 71d20'36.36339"
name = '0736+017'  ra = 07h39m18.033894s  dec = 01d37'04.61803"
name = '0827+243'  ra = 08h30m52.086193s  dec = 24d10'59.82046"
name = '1045-188'  ra = 10h48m06.620606s  dec = -19d09'35.72695"
name = '1308+326'  ra = 13h10m28.663845s  dec = 32d20'43.78295"
name = '1417+385'  ra = 14h19m46.613762s  dec = 38d21'48.47522"
name = '1637+574'  ra = 16h38m13.456293s  dec = 57d20'23.97918"
name = '1641+399'  ra = 16h42m58.809952s  dec = 39d48'36.99395"
name = '1726+455'  ra = 17h27m27.650808s  dec = 45d30'39.73139"
name = '1751+288'  ra = 17h53m42.473633s  dec = 28d48'04.93908"
name = '2037+511'  ra = 20h38m37.034756s  dec = 51d19'12.66269"
name = '2227-088'  ra = 22h29m40.084347s  dec = -08d32'54.43541"
name = '2243-123'  ra = 22h46m18.231976s  dec = -12d06'51.27734"