# isabelle_session_info

session_name: SDS_Impossibility
sources:
162a03f9ba77a8b985c0c58729bedfc2c7715939
2f407a1244fc92466f421ab26a644d186dbbb4c7
33673101c5c4aadab9fb20f44ea09474df805e21
b4ad9a5d7e49db3dc82222e04a6462d5145d5afa

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
3d4014483414825c400089dffb34dee8f3340d83
e7cbe9f5d92f2a7098f71406dd1e377328e3569b


