# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074


