# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
9d92da7f8420299a8a5022cd26d78922d4ab4ea9
bfe665f7a080847cc9ebf32f97fb08668ad2512b
c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e
ccb8cd9c419df7e87a659e85b0e22ba50512861f
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd


