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