ORANGE.CC.UTEXAS.EDU     (temp, OK)  0   IP    128.83.145.26  128.83.186.36
EMX.CC.UTEXAS.EDU        (temp, OK)  0   IP    128.83.186.11
THUMPER.CC.UTEXAS.EDU    (temp, OK)  0   IP    128.83.135.23
DOPEY.CC.UTEXAS.EDU      (temp, EX)  0   IP    128.83.135.10
SLEEPY.CC.UTEXAS.EDU     (temp, OK)  0   IP    128.83.135.5
DOC.CC.UTEXAS.EDU        (temp, OK)  0   IP    128.83.135.6
BONGO.CC.UTEXAS.EDU      (temp, OK)  0   IP    128.83.186.13
BASHFUL.CC.UTEXAS.EDU    (temp, EX)  0   IP    128.83.135.9
MICKEY.CC.UTEXAS.EDU     (temp, OK)  0   IP    128.83.135.12
DUMBO.CC.UTEXAS.EDU      (temp, OK)  0   IP    128.83.135.19
POOH.CC.UTEXAS.EDU       (temp, ??)  0   IP    128.83.135.64
MINNIE.CC.UTEXAS.EDU     (temp, OK)  0   IP    128.83.135.13
DAISY.CC.UTEXAS.EDU      (temp, OK)  0   IP    128.83.135.15
UTCAT.UTEXAS.EDU         (temp, OK)  0   IP    128.83.186.104
 --More--
Host                     Flags      Age Type   Address(es)
SPEER.GEO.UTEXAS.EDU     (temp, OK)  0   IP    128.83.166.12
PADUCAH.CS.UTEXAS.EDU    (temp, ??)  0   IP    128.83.138.125
HUEY.CC.UTEXAS.EDU       (temp, OK)  0   IP    128.83.135.2
HAPPY.CC.UTEXAS.EDU      (temp, OK)  0   IP    128.83.135.11
VIBES.AE.UTEXAS.EDU      (temp, OK)  0   IP    128.83.152.15
SYLVESTER.CC.UTEXAS.EDU  (temp, EX)  0   IP    128.83.135.63
