# isabelle_session_info

session_name: Catalan_Numbers
sources:
2ba9f89670507f6e0af67fe7f4120067968def00
63da0cf65f9c5488c5c4bd6651ab6bf37a2800b2
bfe665f7a080847cc9ebf32f97fb08668ad2512b
e23b0750577bdc8ecb29cfa6e2e693e43a1f1a3f
fcd536b9e4bcc443b503ea91f92affc054d4bd96

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
0370b25103025af935263fa23188c7fd7c232378


