# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
dedb1fb2ce17009850c27ae6db421c37e92db7ea
a1d76d720c8136f35b3efc377670a0c392bc1a38


