# isabelle_session_info

session_name: LLL_Basis_Reduction
sources: 4de197aadd4cda1797c82ad9c098af3375b01293
output_heap: 6f0a4a6a1dca02024fa33815e818372e2019755d
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93
62fc32271c2ebfe8b0a41ceadf060bcb122ed795
1ac88312e3ba000aff59c6d3e42551cdea51a087
e822910a690d08c33db92d4b0540b4946d37a28a
91ed7d358cadba4fba861d389d2432a21a9cfb07
a25592536d8e8f908bed8505b70a5a0765a9e303
d007bf261a5c5bec507e68667144197f24dc8775
e1cf44a2bed7c389b57bd1c5e72a393cf137a73f


