# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
be88a5128bdffbc661324343b14b9af6efc8373f


