Text this: Boosting differential-linear cryptanalysis of ChaCha7 with MILP

 __   _    __   __    _  __    _____     _____   
| || | ||  \ \\/ //  | |/ //  |  ___||  /  ___|| 
| '--' ||   \ ` //   | ' //   | ||__   | // __   
| .--. ||    | ||    | . \\   | ||__   | \\_\ || 
|_|| |_||    |_||    |_|\_\\  |_____||  \____//  
`-`  `-`     `-`'    `-` --`  `-----`    `---`