# isabelle_session_info

session_name: LightweightJava
sources:
047dcf3b5168cfac0a5cf40c72fb12153fb59669
721a87149a2cab64131b95157bb7352c8850ebd4
90d4b67aa28e20a56ac79a9eabe61bba293376fa
cd8ce952ac5c4717ff6ff8d6b03d81301aefce67
d58c92dbe2e3370c357865e539a9e2d59efb0816
f4ae0fae7893f7947d754f24e1ee90bd24a07f3e

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


