# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 8573da3b1dcdca58ff7ab2df1adccd37536e0de0
output_heap: ea5f77db6e20cbc19c772d1b0519afac0f10743d
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
d1de4b0ae4570dd49914b47f9a482883bd47bf60


