# isabelle_session_info

session_name: JEdit
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
00d9b3663a5d556017d3d0f9d5c1ca97330f2c70
021fbb81f2e308c4c2078057e1e13fbb01cc7d84
08fa2e11111ec4419de00ab3ba39e90c2ff3f00c
0c5f9ca945ce4c7436997eeaa7b069ec038d06fc
0da98abebf4c1e8aa50e5f76933ef10b2b4f112d
1649a350f20a6d185e8e7b614a96daa599158e2f
2d949b4687a484bbd1fe34257c31d12c0b651ff6
4082beb843215d0167bc4e43ccd95ff6b1f0c2ac
440dbdd8c41bf0e612edbe4d8c169c5e94699ab9
457d02a572a0fdf5e6d683531094ab0706112941
49d9663a63a728e90dc3742e68583737c4776d41
4b174e346e2b2ef68e63381410770e342180497a
533202683c03a56eaf9e7054f446bf018fbc4821
550c68caff46e0e13ac2cee0a7219942a5b04eee
56ffdb180785554c41c0ecb9d25594329e0b78bd
7c882ef60da56a47bd7c4b2ece494c7eeb1acbad
8f194db846e67a7e87b25a27fa8ba1259c4af82d
9276c3fc9beba2aa896fe29e0304a56b25106ff3
95f843d608d95a195e5c8cb9a1ea08df6ff536a6
98ebcdcae9b91269bee4cc10954205963661fcc1
9fb9c931110ac7289e3c279810f90d07d2b1e664
a634d2977750efd14daaf8018feb1fdee3310b68
b549213b2aef49e3da5304ab78395d90a826e17d
bb3555e141757c68f46b20f9207c4771f7c50cda
c47fe18627ec350688645dfa34784ae6742ea8e0
c6ea457348aad54a01d5405ed5c077a607de3cf2
d77d851fa580681fd25aec9bbc7140d99800fb58
da1567c528c0591b76c11bbf612dc90f71ec564d
e2e27024b43617f2eb45724b111e24673b10ffd5
e9ca265174fd241d0c8ae7786aa0b916cb55358d
f67c55d0b5e0d52934ab5994b37c34d2ffe2d451
fa86c9e59aa74c202b6e17f662fa4fe243c58f65
fd2b02dded527fdedfb330e24b0df02361aff2bb
ffd48d7d62b5d05388b8869a74ed650bac8bf741


