# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
58b2ccaae6fba23bb10c4e300bab368bb2f3ae1e
72a2c4c4342126b74d4a285201a6f4c6fa340530
bfe665f7a080847cc9ebf32f97fb08668ad2512b
e0e6b6abf9e24297ebe27d4e15087fa83824c8d4
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fc9bc996dc88f5795916c8392ce9eff6dcc840c
303acd374f1059a135c35ac8641e7b77c085e960


