# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
09b65d430a7a9891a3f68f37dc3b73e82cde44f7
f6e4506f6cce2c552ed4bd6f1a9e86ad1780bd57


