# isabelle_session_info

session_name: Sturm_Sequences
output_heap: eecea3207a1f66fba312a0551df33874fba1429b
sources:
119489a3e3d8e99d72521b040365de7941f7f622
19c8dbad5648050597dee363f077c3ef6069ec4f
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
7364e9ccf7ab42c119771af0b30c338443b40c92
74c7b3b9fc805b37404841e74148b8988e671d65
75ade10fda4dedbddf0c79d726d2e8b3368799a9
8577e25de3d2144ed5e515600e29877251192b04
88bddf642f8d245e56518b669478e3610b2e7f45
8e1395268a387b25702632b1f5b5219090c36b48
9b9e177591d02c11b520dec097a77fabd4864729
a689face40d7b0573eb05f1c05c2dfd3a47d722d
ba3b3a5730257d7f4916bd70913829a914ccdf7a
c9385cc853612c59a697ade4bb07314f1f2a52e4
d8b3344fbf9d3bcf9f7847ced09d257744d6dec4
e64da87197b6cf6a72d86ba6381add534e159263
f83abfa96c2346ecc68d747c8f1846d73e577b2e
fbaa76028f840c497e2dfb091bd7f18565831c1e

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


