# HG changeset patch
# User haftmann
# Date 1615101962 -3600
# Node ID 6a96e9406e5349f17e1f2cfcd07192c109cd50ae
# Parent  2e6b2134956e43aedf0b6881735ea1df726caed2
reduced dependencies on List_Permutation