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