diff --git a/flax/subterms/16mix b/show/dance2004/subterms/16mix copy from flax/subterms/16mix copy to show/dance2004/subterms/16mix