The cutoff is computed using {HEAD ~ weighted multi automata} for internal transitions of {TAIL ~ the threads} 
The cutoff is computed using { HEAD ~ weighted multi automata } for internal transitions of { TAIL ~ the threads }
OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL