# isabelle_session_info

session_name: Datatype_Order_Generator
sources: be1d8d4dae5e4b07456282bbfafa2952651d3263
output_heap: 56a4bdcc02274951ab2b1b61388e0a5e99ae2a62
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


