# isabelle_session_info

session_name: Multi_Party_Computation
sources: f2dbf2bd5e311630f934f2b2e2ac5695c848f92a
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
34f017f50e8f9831899f371b93beca4f99c352ea
9f9a7d0d5e992c9fadb188725bb60a2039638e84
b977af9c65589a21083fde8cac7dbc680078da70
0f8c4aab07b6212c40aa5e4c8704cdfbd91074c9
5c48c9b7fa6f423df2109d6867270c0f4b81ad2f


