2^4 W3 deg9               expected 9  first dependency degree 9 (#mons 715) 1.0s
exit 0
