SELECT count(), arrayJoin([1, 2, 3]) AS n GROUP BY n WITH TOTALS LIMIT 1 FORMAT JSON