contraction-compilation videos