# isabelle_session_info

session_name: ArrowImpossibilityGS
sources:
527e33139d13d29ab06ef1a036d246bb1bbc37a1
76c811ee88918be2ee08e9a9b82485dedc8ef82c
9879e6323de9f1b60c16d766699d7513eb60656f
d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b
e8cebaba1f0ac906c897804d71803231c71cd04e
f6087813f3ea6a65fcc2fe13b7c4393be073fb88

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


