# isabelle_session_info

session_name: Collections
sources: d5283f2910a1a3faf30a6e3e1399b829ff93645c
output_heap: 437ddcc08eba247b0e5f27e85e3641929ad271c0
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
130d7766f61f85ab680b77d9e1b75db9624ff6c1
53daab3c27d74ab804fe66165d8e0b77c19f242e


