 OP @-@ 20 @-@ G then turned to the Japanese navy 's " Coral " cipher , a key tool for the attack on which was the " Gleason crutch " , a form of Chernoff bound on tail distributions of sums of independent random variables , but predating Chernoff 's work by a decade . 
