Denning-Sacco-output 129 KB