# isabelle_session_info

session_name: Relation_Algebra
output_heap: 123525a369db3cc68e9fbd6887745164e63b1ad5
sources:
0855880e28b25bce23a0b382e846acc593b36267
0f086e7ce11590731d04415bf2ffad59b0fe1d20
7b3d755f6fb4c09b4ad53fc3fb7fadc5db61a503
9e6bb46a997cfda638368ba2bab19f2cf63b764e
b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3
ba2960b5a124c441ca56e5073b9f81fa76807dad
bb0ae60a659faa69a8c367edca05d38dad1346b2
c8ea9a9a84b86a0d86a3876ac7167952558034c5
d81d8b286eee67f6a658f1e82237d21546efbe3f
e2e640c63dee4b2c5f82a3c2f1db6dfbf54869ec
fd9cc54c27b597ae5b136f86c407036656d4fe7e

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e8d126d2d5de6a681bfbf076b304dc246fd257a8
852045aed6d0c651ae7195a272d40906f40473f7


