# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
8c9504a479a5a4046082d82961946640d41562f0
bfe665f7a080847cc9ebf32f97fb08668ad2512b
ccb8cd9c419df7e87a659e85b0e22ba50512861f
e7727b70ddb5d0fb7204a973b22adf636d021b19
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
cce5e359cdc08868d80fc98e6846ca4e8992cb71


