# isabelle_session_info

session_name: IOA-ABP
sources:
080dae06aec14b828aa37d39b34ee8b44a0e18a9
0a49159f483e2644341db188774a133e432281e0
181d2b92dcc3714bedc6a0e7f083141ffa171c0d
315dedad6bf63cf6376d19cef535f51d6f332a63
781fb061bd38e288d34cba0200e25981e7567598
7d12d7edea3a531180c2c2053a7322a41d874610
96e3a471d3b874ddfb93bb394ac4ba897cd14b4a
a603ee4196c9d72d68023e7d2f472dad55892814
ac0049eb2877daec256c11b389dcc78ac1242da1
bb576dfed7c0bb787618e694ce9c0e86609d9264
e3d4f177af568ca9847e91ef811aff305baecce2
e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289
ed640e6cf4e978447badf183263663509801dd4e
f076f310f70c80397c6a792d4576161a4a9efe6f

input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
645174f4cff6174b9ce6ceffc99373d5441e2d5a
3e8441425ee2ebd049e583d926e4e69394235387


