# isabelle_session_info

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

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
bd0387820c887a5b95904735a0e26b7b975531c4
9a1e199125fd0a92ee6838ebfc0691585c61eb5d
73d60d80633dc964c8d85f329f5b2f6c7914ba87


