# isabelle_session_info

session_name: LatticeProperties
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
output_heap: 267903774b2eb9590fe3c0457e60e678a3a73ace
sources:
73a61ed164bc64a4afe6d3339ca73439147850a7
84a4165dacdda17be75a9999775f9299610c42a0
862cf3ac8c1fecce1262b05b9e772d879c94fa33
8b36bcd52565e911e4bdcf24e682ee4e68b41ef0
97928f84f738cddc76162b4420caa65d0902effd
a94076b6de8406150ee988c7666b13850e5ec305
c98ee4ea2164dc2e1fda68947cbbdf0953045a67
e2b063405e84056d48c35f74dc2f5e30c318a3ad
e2d43a12977f5444e54595e2e424cc3ecc1f6036


