Is short for (13/48)

Is short for