SRM256_TPC-proof.pdf