# isabelle_session_info

session_name: HOL-Bali
sources:
1d61bd41b7c5765c7c22059ec139e91e3a8a273e
20c23879fab5e4214a9207e09f84cd3d6a73ca8c
2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3
3299e28da33984c23c8f4e0a4b6e4c8558353d3c
36801034d896b236e7467230dac165ebe7c0b6b6
3fe4540cb7413f9f901e99af65742d8209898d1c
52cf19753f4cc101c53b9754ff163bee7d6d51ea
72cf4d0430de6be55dea6de763c19c94f0bb40cc
7968a5176659b1f867e0923f4ea7bc1137e1ffe7
7ad5c05a09593310abdc9bc7f02482d84576c05e
8579f972454ca757444bccbab6239f4e8af28ca4
907f38f57a24e3620e92135b5c8d8f10c7b4ee53
94db8c095db4b558fc2e24fdc9241f940426a436
a17513be351693f499b4d2c77390120fe92cde96
a1d0adce50228f8326f7d2fa6939b26fda4e05a6
a26d656cd49741a44856501a1b7f4bcfef40887c
a88ce6213eeb3d2840cbc183a2ab07e64fb1217c
b8d4baa4d8f38e6a19185afcc81d737d475d5390
bacb19f11615a1099e691d34daa5ca1f230fc048
d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475
ea3c8c7803625888c491700086ab8c690d645197
f18332bceaefacaad4deda93cfc03e73562bdc17
f216e73e36408ee403b664174917affa2b5d104d
f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea
f67fdbab3d4d839e5491743ee963e2cbe0513ab8
fb8dd87665f0aa09f8e43b43caabe77d5987a3fe

input_heaps:
15748ff93b5834b25114edd06d2d63705d38b42a
099e6023f4ae6707d54ddd503c055c2d319dec5e
03e4eb80150aecfba50f57cc189606718d664e57


