# isabelle_session_info

session_name: Catalan_Numbers
sources:
49fe44064c676d59a1eebd21c2c9cbedac9083e6
bfe665f7a080847cc9ebf32f97fb08668ad2512b
e7727b70ddb5d0fb7204a973b22adf636d021b19
eccbe9577a9822aadd01dcd3a198ec132d102bf8
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
d0588517c8f6cbe01daa7d05f7b6fd5a31064a65
ce40a574e7f863c3c93eb865ad6e1dff930a9d4b


