12079 13821 Empty set 2 1161 1193 2016-06-24