lamport_orig.pnet 674 Bytes