I received a lump sum for annual leave when I retired from an alternate pay plan. Where do I report that?