# isabelle_session_info

session_name: LatticeProperties
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449
output_heap: bb85712e245933843f507d142e8a00c6843f1544
sources:
73a61ed164bc64a4afe6d3339ca73439147850a7
862cf3ac8c1fecce1262b05b9e772d879c94fa33
8b36bcd52565e911e4bdcf24e682ee4e68b41ef0
90b531f9982451e87096d3774b8e50f9c9762a97
97928f84f738cddc76162b4420caa65d0902effd
a94076b6de8406150ee988c7666b13850e5ec305
c98ee4ea2164dc2e1fda68947cbbdf0953045a67
e2b063405e84056d48c35f74dc2f5e30c318a3ad
e2d43a12977f5444e54595e2e424cc3ecc1f6036


