# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
82cd4d68c338fd10fac41d74fb7c4213ac250009
1ed2e44d249de2547efba5d64469e034852d1054


