# isabelle_session_info

session_name: CTT
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd
sources:
3fec8120aee4d2f3fc0938877b7144f1fa11842b
47ab5e12f713c12a600183f27a54a2d10fc7bcc5
4ff231e9dbfbd8b32a7192fa22b7eada470a5f38
7684ee4b2033059fc89a0fa153b20aafd68ec874
9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df
b8cdc9672f8c2445ddd4eedf3b42acca2f61a654
cbd62024e1ebc1e91e9c12675b807a1a7a7e6911
d5dc92c918f7f2926d839b163368a5b800022194
e4fe2863f7065e3cac571887135e1095336ca9dd


