# isabelle_session_info

session_name: Old_Datatype_Show
sources:
13305432bc3653e20afe426f74c9f95e21f296bb
1ef5f3abf8d818521167945b030feac485f1ba6c
71c53efd96ce8de74225c95ab93af522d4677a3d
9321b1493941ea7d671ee813515aeafc2e3ea891
c9d6170601a0c08271763a38692e57cf22fb5bc5
cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
64817dddc7bd01ead3bcf80d00b70cafd2bc7996


