# isabelle_session_info

session_name: Sturm_Sequences
output_heap: ac33eee2d240a02b37e9eb380b5df6ad4c77c202
sources:
0f88369cc7bb8db9fb816bc7f432bb63c4759322
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
75ade10fda4dedbddf0c79d726d2e8b3368799a9
8e1395268a387b25702632b1f5b5219090c36b48
c9385cc853612c59a697ade4bb07314f1f2a52e4
d6cf29e94c065c45a888abbeea16c29847f274b1
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263
fbaa76028f840c497e2dfb091bd7f18565831c1e

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
9d16446985398a9a4a5a5c5d9f4c3cd654f14764


