Amended_Needham-Schroeder-output 939 KB