# isabelle_session_info

session_name: Datatype_Order_Generator
sources: 4696ccf1c0658f326430cf0f8486fc75535ecb8f
output_heap: f9204ecba6ad90b557d8aefe17a80d2c4b3f0d71
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28


