3x_+_1_semigroup loading ...