# isabelle_session_info

session_name: Relation_Algebra
sources: 3d08a8541c54d9e281daefa1624468ba85f1d6d4
output_heap: 37a7ec52982746dcfca5a01dfaa97ec178186686
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
2199e330ac59e6d168064afaf1a6cceacea7ddf7
4bf0e95cb0e4dbfc1155448ad46133e11630c39e


