# isabelle_session_info

session_name: ArrowImpossibilityGS
sources:
1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc
527e33139d13d29ab06ef1a036d246bb1bbc37a1
9879e6323de9f1b60c16d766699d7513eb60656f
d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b
e8cebaba1f0ac906c897804d71803231c71cd04e
f6087813f3ea6a65fcc2fe13b7c4393be073fb88

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91


