+++ /dev/null
-*** allredmany ***
-*** allredmany run 0 ***
-*** allredmany run 1 ***
-*** allredmany run 2 ***
-*** allredmany run 3 ***
-*** allredmany run 4 ***
-*** allredmany run 5 ***
-*** allredmany run 6 ***
-*** allredmany run 7 ***
-*** allredmany run 8 ***
-*** allredmany run 9 ***
-*** allredmany run 10 ***
-*** allredmany run 11 ***
-*** allredmany run 12 ***
-*** allredmany run 13 ***
-*** allredmany run 14 ***
-*** allredmany run 15 ***
-*** allredmany run 16 ***
-*** allredmany run 17 ***
-*** allredmany run 18 ***
-*** allredmany run 19 ***
-*** allredmany ***