# isabelle_session_info

session_name: LLL_Basis_Reduction
sources: cf53dd0325d6ab796408c79548b3a620fc0faa64
output_heap: 51268fd3b90c4e68aa0b0ade7b14b9fdd6c45243
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
ffbd0cc1d9a39ba67abb05d830856036d150c206
fd88c1f759d55ac98b581e616f551372bb756e46
2b2df3e13b02d820bbe77d83b6ef89daaddbe86e
0823f06ef0850b208096ddf486d1445ba2be98df
3c81dd9a36de2f40be17cb87ee1f50d7be463147
ae7b9cd2ded264e2a679b926313a99d572fc6799
29049c67b52b5dfd8cd040ae064880000a6d650d
dda403a1cc8e6e44118a7cacada10893d0f3201d


