# isabelle_session_info

session_name: Bernoulli
sources:
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
63996b18a434731c4e83e9b8e9092ffff29a55ea
a570a4b08861e318de5f427d11f5de9206d85eb1
b643d05d50864ba0cd5d29b7370becfbcb3726b0
ce9622447b37ca4392b5384f7e5b0cddbf2a6d58

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
61801de5e43545180136440fc3774bb7d9933b29


