# isabelle_session_info

session_name: SDS_Impossibility
sources: 05f0957a8a019e114b7e7820b290a0c642e116a3
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
0ef3f7ca08aa38fbfb432e3cbe6e8bc7442e9193
9ea8e90307d7a345a583a77301327eb45d5352d0
39cf877140bf57ab8ae26e51ccf1c5aaab0051a0
3feb1cada3688882f84240cd4a70e5b1c1ab2381


