In realtà io questo non lo vedo così tassativo. Chiaramente il problema degli arrotondamenti andrebbe gestito, ma è sicuramente risolvibile facilmente.

Esempio: (sommatoria(parte intera(quote_socio*0,558...%))) e poi se, come probabile, il risultato è minore di 342, si va a pescare una quota da ciascun socio a partire dai maggiori detentori. Non ho idea però se qualcosa del genere sia implementabile con Counterparty, che sostanzialmente non conosco.