# isabelle_session_info

session_name: ArrowImpossibilityGS
sources:
1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc
9879e6323de9f1b60c16d766699d7513eb60656f
be18bb60cc1c4fb19b52c32c3875440e33f9f684
d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b
e8cebaba1f0ac906c897804d71803231c71cd04e
f6087813f3ea6a65fcc2fe13b7c4393be073fb88

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


