# isabelle_session_info

session_name: Datatype_Order_Generator
sources: ccb493cb82a00e0e923960970e9f7b4e470c17ab
output_heap: 1d2f1d7ac7bfbdc5de822403831cf7f94b531e08
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3


