Let's say that we are trying to support competition synchronization in a producer-consumer environment, in which we have 6 producers and 9 consumers. Moreover, we have decided to use semaphores.

Given this, how big is the range of values associated with the semaphore counter that ensures this form of synchronization. (For example, if [0, 1, 2, 3, 4] were all possible values for the counter, then the range would be of size 5)