produces the following:
STYCHO 2.4.1, 16 September 1998, Doug Mink SAO
Tycho 10:00:00.000 +10:00:00.00 (J2000) +- 1800.00
10 / 13 Tycho Catalog Stars (brighter than 11.6)
Tycho number RA2000 Dec2000 Mag Type Arcsec
832.06321 09:58:45.692 +10:27:31.08 9.07 M1 1982.24
829.00231 09:58:00.595 +09:41:40.59 9.37 F0 2079.14
832.12001 10:01:46.852 +10:12:57.34 9.84 F8 1758.99
832.09811 09:58:28.750 +10:25:28.44 9.98 G2 2037.33
832.09051 09:59:17.067 +10:10:02.94 10.32 F8 874.96
832.10651 09:58:28.086 +10:02:51.30 10.46 F8 1368.43
832.08721 09:58:07.998 +10:01:52.95 10.95 F5 1658.27
829.07851 10:00:59.943 +09:40:43.84 11.21 G2 1456.56
829.01931 10:01:42.729 +09:36:40.47 11.26 K8 2065.02
832.10121 10:01:24.428 +10:04:25.54 11.63 G5 1275.00