# isabelle_session_info

session_name: LLL_Basis_Reduction
sources: cf53dd0325d6ab796408c79548b3a620fc0faa64
output_heap: 473b0636da81f6feea1d22e5cfedc8fa9da8b3a1
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
efadd5e2415b70a835a36820e6157751d92cd168
90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf
0e5cd0aa27bcf9e14390c7f9613452f604e17fee
81570f0964418fcb9945003d64445a2cb57d5d39
5d20c944b256649be85d2caf677b5dd6b7d90589
a377f8e83d16041e66227883876ec4e895d3306d
44b71fcf447475874bed60c49ec6a98bd2a28055
a2a9ee8647536a6e20b29cd4dea2d8a8f0bb16f6


