# isabelle_session_info

session_name: Marriage
input_heaps: 19db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
output_heap: 82fff996c54624414bc17acea1fb13c3219b3c95
sources:
560050b6165ac382ec930a570271f5ea82eaf9b7
d935082e94f9aa19003a2467cb02ced8b8a4c150
ebc4257a9aa7a5c330a6b8083a3e451564d7e130
fc6e402b6d3e0e415e1f7c1dc540714b270f58ca


