# isabelle_session_info

session_name: Datatype_Order_Generator
sources: 4e5b1c707d0f3db89ad61ad7fb0c88348cc3d2d4
output_heap: bbe194b8190ddd1dac6df6851c8f1708e966e053
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061


