# isabelle_session_info

session_name: Datatype_Order_Generator
sources: 16eeafc8ba4e1fb96e17585563d6b324e27322c7
output_heap: 69a6c247d97d60215765a18a694f70ed6b9ffdb4
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b


