History testing/case31k.ref