# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
bfe665f7a080847cc9ebf32f97fb08668ad2512b
e7727b70ddb5d0fb7204a973b22adf636d021b19
eccbe9577a9822aadd01dcd3a198ec132d102bf8
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
bd0387820c887a5b95904735a0e26b7b975531c4
0a1d261716bd570ccc2ca45098af83aadf1f1b5a


