# isabelle_session_info

session_name: ArrowImpossibilityGS
sources:
527e33139d13d29ab06ef1a036d246bb1bbc37a1
89053acc9b1f627f13a3d5aa156a8d75a6317a8d
9879e6323de9f1b60c16d766699d7513eb60656f
d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b
e8cebaba1f0ac906c897804d71803231c71cd04e
f6087813f3ea6a65fcc2fe13b7c4393be073fb88

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
278d3a45d56163c7a0a92ad467d4e69c490882ba


