# isabelle_session_info

session_name: Multirelations
sources:
5e20e4fc330cb85a57f929f7cb117d5a4839eed5
9d1a345466a108d4a08c3c31e9d6a6384464cadb
b82064862a0072ff58d26f98c7bf135471bbe1b9
d2ef0567b21d3450b941643a1f5a38de6abd51aa
e3d2174eb362b4e6148e4579ffdad6911d33f397

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9
1738ef42f8204b743ebfb759aba88ee73398d1ec


