# isabelle_session_info

session_name: Marriage
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
output_heap: e9cb036d47cc13eceb15dd70a4422391af78e6c2
sources:
bd6133cdb819f8e4e00ff61ed035ba123a2356fa
d935082e94f9aa19003a2467cb02ced8b8a4c150
ebc4257a9aa7a5c330a6b8083a3e451564d7e130
fc6e402b6d3e0e415e1f7c1dc540714b270f58ca


