还记得Matrix67的“非常男女”计划吗？由Matrix67策划的学校大型男女配对活动将在大礼堂隆重举行，学校里许多人即将前来捧场。大礼堂一共有n个座位，为了方便管理，Matrix67对它们从1到n顺序编号。售票工作已经完成，经统计，共有k个人拿到了入场券。由于k< n，因此大礼堂的座位完全足够。每张入场券上都印有座位号，入场者凭入场券对号入座。在这k个人即将陆续入场时，Matrix67发现了一个严重的错误：由于在入场券的销售过程中搞错了大礼堂总的座位数，入场券上印的座位号只有1到t。虽然这t个座位号中的每一个都在入场券中至少出现了一次，但有一个事实不能改变：t< k。也就是说，这k个人中有一些人的入场券上印有相同的座位号。这样，入场时必将发生很多次座位的争执。我们假定，当一个人入场后发现了他该坐的位置上已经有了人，此时这两个人将发生一次争执，争执的结果总是这个人不能夺回座位；此时该人继续寻找下一个座位号并可能再次发生争执，直到找到一个空位置为止。Matrix67必须调整这k个人的入场顺序，使得总的座位争执发生的次数最少。
样例说明：
假设我们将入场顺序调整为1、1、3、2、2，下面说明此时发生的座位争执次数应该如何计算。
第一个人入场后成功找到1号座位。
第二个人入场后发现自己的入场券上印有的1号座位已经被占，此时发生一次争执；而后该人继续寻找2号座位并就座。
第三个人入场后成功找到3号座位。
第四个人入场后发现2号座位被占，争执后转而寻找3号座位并再次发生争执，直至成功找到4号座位。这里的争执有两次。
第五个人从2号座位开始寻找，接连三次寻找座位失败，最终在5号位置就座。这里一共发生了三次争执。
这样的入场方案使得总的争执数为6次。可以证明，不存在更好的入场顺序使得发生争执的次数少于6次。