# isabelle_session_info

session_name: ArrowImpossibilityGS
sources:
05986579c3f4e790da03670c7d87f887a7a23b8b
527e33139d13d29ab06ef1a036d246bb1bbc37a1
9879e6323de9f1b60c16d766699d7513eb60656f
d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b
e8cebaba1f0ac906c897804d71803231c71cd04e
f6087813f3ea6a65fcc2fe13b7c4393be073fb88

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


