# isabelle_session_info

session_name: Sturm_Sequences
output_heap: 2c3c807bb33bc4880f207deee0f441007b33b952
sources:
0f88369cc7bb8db9fb816bc7f432bb63c4759322
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
59a77fc3bc2821a7b8023ed1f44e54f31d296767
75ade10fda4dedbddf0c79d726d2e8b3368799a9
8e1395268a387b25702632b1f5b5219090c36b48
c9385cc853612c59a697ade4bb07314f1f2a52e4
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263
fbaa76028f840c497e2dfb091bd7f18565831c1e

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e


