# isabelle_session_info

session_name: Marriage
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
output_heap: 41e9c363ad19c4d9ae0b3beaeddbf79369bbf42f
sources:
d935082e94f9aa19003a2467cb02ced8b8a4c150
ebc4257a9aa7a5c330a6b8083a3e451564d7e130
f908617c446cfe641014cedc51b988e94879382c
fc6e402b6d3e0e415e1f7c1dc540714b270f58ca


