# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


