# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
bfe665f7a080847cc9ebf32f97fb08668ad2512b
ccb8cd9c419df7e87a659e85b0e22ba50512861f
d3242671669698e64020f9348513d0e42a1d8294
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
10cae7858f6298753bffb93deb42b58c91c816c8
4167e44b8013937bf7e6e2492589d57b425dc2c1
470795486639672c45c5e4ad5e2bc4c1c0724762


