Compression bounds for Lipschitz maps from the Heisenberg group to $L_1$ · wovepaper