# isabelle_session_info

session_name: LightweightJava
sources:
311916cabc672824fbd18f36a74a9f62a6ae4fa1
721a87149a2cab64131b95157bb7352c8850ebd4
90d4b67aa28e20a56ac79a9eabe61bba293376fa
9cfab51a1f87d0d39dc1dd8a34686d11b2595af8
cd8ce952ac5c4717ff6ff8d6b03d81301aefce67
f4ae0fae7893f7947d754f24e1ee90bd24a07f3e

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567


