15100 Reduced Inequalities