# isabelle_session_info

session_name: CTT
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
sources:
2658e33a15986e48c0313c55cab49287ec17b82d
47ab5e12f713c12a600183f27a54a2d10fc7bcc5
4ff231e9dbfbd8b32a7192fa22b7eada470a5f38
65cf2a054ac068ba5c48abd1baf0030c71056898
8356fd26cc30a0292c7ac4dd7e4b27635be869a5
9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df
b8cdc9672f8c2445ddd4eedf3b42acca2f61a654
cbd62024e1ebc1e91e9c12675b807a1a7a7e6911
d5dc92c918f7f2926d839b163368a5b800022194
dfb3fc7fe09084753f19431307f82ada78d50fc0
f171316eb9258a904025aed6f1ab96ccbd54f453
f42437d649626834adbe5c707e74a03b2d3adfe2


