# isabelle_session_info

session_name: Sturm_Sequences
sources: 8ecffa1c5aa930cdd27b4c33f7f53eb4498b2483
output_heap: 281a192d07db7b3f5d98b61db91ee21877b79a14
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2
4be53cb318387eb763efd17db778c28cbb7b8bd2


