# isabelle_session_info

session_name: Bernoulli
sources:
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
5a5e1fdaf975d1e550fdbc34edfc57f71789cded
63996b18a434731c4e83e9b8e9092ffff29a55ea
74c7b3b9fc805b37404841e74148b8988e671d65
8c9504a479a5a4046082d82961946640d41562f0
b643d05d50864ba0cd5d29b7370becfbcb3726b0
ba3b3a5730257d7f4916bd70913829a914ccdf7a
c9b980bdc06e42fbfb7f1f4a828761937777410e

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


