Image:Infocom logo rename

TID(s):

Controller: 2.067s

Template: 0.039s

Cost: br=1.0, cc=2.363, ch=0.0, cm=0.0, cm+h=0.0, cr=0.0, cs=37.0, cw=25.0, dr=65293.0, dt=4.407, dw=0.0, gqr=0.0, in=38679.0, ir=2362.0, iw=0.0, lh=0.0, lm=7.0, lr=7.0, mcs=0.016, mcu=0.691, minflt=198.0, mr=25.0, nivcsw=645.0, nreqs=52.0, nvcsw=231.0, pf=0.0, pr=0.0, stime=0.08, te=0.917, tf=1.793, tg=1.718, tm=2.439, tr=0.36, ts=0.0, tu=0.34, utime=2.283, va=126287.0