*** 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 ***
