# isabelle_session_info

session_name: Bernoulli
sources:
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
5a5e1fdaf975d1e550fdbc34edfc57f71789cded
63996b18a434731c4e83e9b8e9092ffff29a55ea
a983b7dacbcbeca7f189237577759f4195807224
b1414c3ca7d741dc9c3828d873306f24e6963539
b643d05d50864ba0cd5d29b7370becfbcb3726b0
c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e
ddf1e6fcfed6f1e181060280eac7c76d6f799654

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


