file too large

doc/src/cpsa4manual/examples/new_dhcr_um_expt_assume.tst (15525350 bytes) exceeds the storage limit; its content is not kept.