# isabelle_session_info

session_name: LLL_Basis_Reduction
sources: 2fb4c89d67192aeab69ffe22a4ae4e423fac13dc
output_heap: a4faad792180e709bb17480bd1732afc0028a71a
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
ba77dadcae147c3abe446d173cd63ef2f4737176
0d216112904bd2aee6f56e4c093f96919394ea2c
8c0b9f567aafec89538c6e206faa1ca02b041cca
bf65bbfb32bc74acafc3225426b5f5f780a21212
ddf5ff7f7fa4fde4dac7cc97f89306222b3241b4
5f52a77da06969022bd6b5608b200047a61307f8
694dd09e5ce209aadcda4eb0172ff018251b5c46
3390147ef302212bc18ddd85cb0baf361387c668
7013216df8faf59d1dc11018d51477512c8b75b2


