# isabelle_session_info

session_name: Derangements
sources:
0e2369879c23ffa3af808601205c5bb2f112917a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
30afac17f29e367c46142872751722118953e506
3409823eec2206aa526e41e503adcabd1945717e
39431008178593cd2c20f0c5c73b9658a0985260
496ff3726f25bba871a78c0bf3a62ec2e149428d
54bd0c7d3fe0c6ca011e2a6df705755ad8d8fe81
6b8b43304099b7267559b684ddbbcc730b932277
8d8434495da4f2908e82a1b077cd387e59f40719
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
d25f3d256bae918966574511fca2002460d90524
e004be89eedc43b00a4133a440c7f5aab345e6ee

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2


