do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);
do_reduce_table(out, reduce_table);