# isabelle_session_info

session_name: Multirelations
sources:
5e20e4fc330cb85a57f929f7cb117d5a4839eed5
6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3
9d1a345466a108d4a08c3c31e9d6a6384464cadb
d2ef0567b21d3450b941643a1f5a38de6abd51aa
e3d2174eb362b4e6148e4579ffdad6911d33f397

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
2d7e34b51e998d41ed4178afd5a302c27eed7c4c
a4a05a0f55508edaf10339d429ff62fc569e541d


