# isabelle_session_info

session_name: Datatype_Order_Generator
sources: 6bdbf7546f63dc7a65ae0c34060052b07ba8a53c
output_heap: 1a6aeb04e6e01bc17de26b63bccc250cfdb6cb62
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
b7ea345064e6ade7544c71fbd991740359381db8
12bd5101ca4134610fd46efb8adc7e49567300ff


