# isabelle_session_info

session_name: Derangements
sources:
2a8f3356c93438bc84f43386712653f14e5794d2
46decd2ea03956d11733c10d45e23e959b8b89b0
496ff3726f25bba871a78c0bf3a62ec2e149428d
6b8b43304099b7267559b684ddbbcc730b932277

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


