# isabelle_session_info

session_name: Relation_Algebra
output_heap: 18154a4a469793d4eca8d0e6f4ff6afe78a3d8ae
sources:
0855880e28b25bce23a0b382e846acc593b36267
0f086e7ce11590731d04415bf2ffad59b0fe1d20
38f4f889341e004ef96c3834add35375ebee7827
9e6bb46a997cfda638368ba2bab19f2cf63b764e
b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3
ba2960b5a124c441ca56e5073b9f81fa76807dad
bb0ae60a659faa69a8c367edca05d38dad1346b2
c8ea9a9a84b86a0d86a3876ac7167952558034c5
e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee
e9fc63d73cfe5bb844315cf9fe119f34dba342e4
fd9cc54c27b597ae5b136f86c407036656d4fe7e

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
3f2ab5a11cdc0e3f55edbba46bc7f76fd89de14c
120df08501278bd017c471dc3d0458d3ec8aac7f


