# isabelle_session_info

session_name: Multi_Party_Computation
sources: d7b3dd66f49cf31f4c2b73bbe59c2dc8cb40d739
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
4907e731bc16daddc205b6b11f8b89eb33f47f6b
736d5c06b62df891bd9077332c5b7dde9e009115
4a818213647343506d13fcec848b2c41d2d07d72
e0a883690e7730d63b6bc400af598688beda3576
ec98979d6db4288b3e49f6fba2ac890dc85b2c38
9a18d73564506c27c1a3e6c5b1ab3b5f6f015979


