# isabelle_session_info

session_name: LLL_Basis_Reduction
sources: 3984f0062a9bacb05739b54c5ca3e4d3dee23516
output_heap: 4b7f83a7aa6b0a1a61ac708c8e0b0bec47abb48c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
fa0f7ce60fde2db01f2fad58b0a91442128e8c8d
20eaa7974a5051c12ef86fdbf91becaf4d9d771f
ef38589dab16b347433108a7971b737add1a01ec
6f6e016351983881dd3becf1ff35c833efdb685d
2e344af5b09c148235b43dafd62cba88ecbcedd7
d296cba9a9b99942221d7f3aeda2308d6234d051
91ce88fbd6c6d494738b10027fddd96b7344bf44
0bdd255e4b04462fcda54e0db1813dcd2163159d
e6b3b97918c0a7a322632f6d37c2acc9cb45aac7


