1 dc13c29e 2003-11-25 devnull compressed 2 dc13c29e 2003-11-25 devnull k1 0 0 216 24 24 590 ‡3 dc13c29e 2003-11-25 devnull ˆ