# isabelle_session_info

session_name: LightweightJava
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
311916cabc672824fbd18f36a74a9f62a6ae4fa1
34221437a109a5594ba7786476b5abb5979a2647
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
721a87149a2cab64131b95157bb7352c8850ebd4
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
90d4b67aa28e20a56ac79a9eabe61bba293376fa
9cfab51a1f87d0d39dc1dd8a34686d11b2595af8
a6d881014016ac510413e96c94577bf126ea335f
cd8ce952ac5c4717ff6ff8d6b03d81301aefce67
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
e30c4e45bf127f2a757d4f3fc2479d2d6e22bb88


