# isabelle_session_info

session_name: Marriage
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
output_heap: 7923f155cb5790b593a45fa3af20736d5c9351a3
sources:
d935082e94f9aa19003a2467cb02ced8b8a4c150
ebc4257a9aa7a5c330a6b8083a3e451564d7e130
fc6e402b6d3e0e415e1f7c1dc540714b270f58ca
fda2d9246beddb1d75ccdccc1033eecb3656c0d8


