By doing so, the length of {HEAD ~ the longest run} of {TAIL ~ zeros} is  
By doing so , the length of { HEAD ~ the longest run } of { TAIL ~ zeros } is
OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL OTH OTH