输出格式中的"如果两个操作数有大小的话则先输出大的"写在第三条里，然而事实上每条式子都要满足。