# isabelle_session_info

session_name: SDS_Impossibility
sources:
162a03f9ba77a8b985c0c58729bedfc2c7715939
33673101c5c4aadab9fb20f44ea09474df805e21
8b9180a203c69ca2b9557ccf2f7be696962b661b
b4ad9a5d7e49db3dc82222e04a6462d5145d5afa

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
2a2323082de30af594ad8800e3610fc181ec79f5
2808fd3a5f281a8f4b71ff42466c144f6a6a2ae6
70afee2d9244cd9eaa37c1571d9853da7eac062f


