import python

select count(Repr r)