1560 Reduced Inequalities