# isabelle_session_info

session_name: Old_Datatype_Show
sources:
13305432bc3653e20afe426f74c9f95e21f296bb
67bb3f0a1bc9d880844fcd3a0c7dd285eb4525ba
71c53efd96ce8de74225c95ab93af522d4677a3d
9321b1493941ea7d671ee813515aeafc2e3ea891
c9d6170601a0c08271763a38692e57cf22fb5bc5
cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
f7a2b7df80bba7a6bf25529cd936f348ab86ae18


