# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
86e95bb3182356f659f9dccb3c8075066387911f
bf6c8eb6904ee70fa70efa8c3b57869887e97ece
4330eb5bee314b6d5b47cf7b6e504ab46294d96f


