mkdir -p "$SAGE_SHARE"/combinatorial_designs
mv src/* "$SAGE_SHARE"/combinatorial_designs
