three_x_plus_1 library