# isabelle_session_info

session_name: Multirelations
sources:
12ec593e71ff261efb2d1b95ad609583feef4445
5e20e4fc330cb85a57f929f7cb117d5a4839eed5
6b7479b32e9f357befaf116a8b1de2b5f8676c1f
d2ef0567b21d3450b941643a1f5a38de6abd51aa
e3d2174eb362b4e6148e4579ffdad6911d33f397

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
63276d11c9b06d2bcc64fc1b4ca336b68701f2c4
87b86faa59ba0aa334d902ae420e1de4fcb3f757


