# isabelle_session_info

session_name: SDS_Impossibility
sources:
0e948a16b23c90c8091b5459cac6f6b4a988ceab
162a03f9ba77a8b985c0c58729bedfc2c7715939
33673101c5c4aadab9fb20f44ea09474df805e21
b4ad9a5d7e49db3dc82222e04a6462d5145d5afa

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
0beff611cd94b5fa7aa7bfc129b0c2bacd34771d
9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff
552b046e4c5680292c6a3d95f4b4060580eee885


