# isabelle_session_info

session_name: Catalan_Numbers
sources:
051fcc02cf15db50e658fe345f69f729bfd1c807
49fe44064c676d59a1eebd21c2c9cbedac9083e6
4bb5f846c66ba46bb2cd8089e7bd9b4c162aff91
bfe665f7a080847cc9ebf32f97fb08668ad2512b
e0e6b6abf9e24297ebe27d4e15087fa83824c8d4
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
2a2323082de30af594ad8800e3610fc181ec79f5
f13c4eee76f6f4eeed93d34e6e99e61603cad6cf


