# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
0d90e78a71d4ad12abb16f8b317db1f37020fed8
ecc6f84d5d5c6c9da5c4169a01af656067f8edce


