include progress in reduction_gia