# isabelle_session_info

session_name: Saturation_Framework_Extensions
sources: e5abf35ac4b7cac856c01da2d796f84b1b2ac00e
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
0fa19cce54d2c7b176cb8f554db2def89233f130
e84500743a48943df8fb46162a573eef6795f00e


