# isabelle_session_info

session_name: Abs_Int_ITP2012
sources:
008636b94434759f479db1348eba79fd0ca4f4e2
0729a281d81214c573065fb7673c593be58f0999
332124682321656e702ebd7a5d933f675dfc2c80
34f4aa8d46d6203118e4e544c73d325bb2f41a6b
41de83420a499aa06eb5c86c866a6e7451324212
4520668e32c42c01c743f78758f20acdaa42e717
65f6c39b1ebe4143f8fae682f68e4473477f0796
767ddb31cfaad41b01fd33806647d7d894626638
76ae4c679051eb9ef25a4d54d185dedebc4b9950
7f5f64a02881ea6855656af831a166e48b59ba84
9c9c413608c51826f0151108ce44be6228bf12fe
a69d77303bdc8fd4dcf272a00fa495f5ec198b53
a6a36e1052893c0fa649f3352caf33949e67be55
aee4e968522b85b6b975e4e223004139ff0fd2ce
b6122e77952924b9e0da37b7aa08cd7320e1a3f6
c967d80fe4328d4313addabc37cd52f3133d4ca0
e041c843d120825e77104e8742c34aef50abb143
f885fbbcd07e5056f7a71c43b5bed2ba49e3dbb2
f9d3fa5fa9d0d29fff5b5a150b0a01043a981563

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


