# isabelle_session_info

session_name: Abs_Int_ITP2012
sources:
008636b94434759f479db1348eba79fd0ca4f4e2
01585504f685a2463e303fc9ca3dbb9b85cba27f
0729a281d81214c573065fb7673c593be58f0999
0820e3056668a14f00e4822b5de1ea479826e96b
332124682321656e702ebd7a5d933f675dfc2c80
34f4aa8d46d6203118e4e544c73d325bb2f41a6b
41de83420a499aa06eb5c86c866a6e7451324212
65f6c39b1ebe4143f8fae682f68e4473477f0796
69d69b3f6d4d360a574af42e77816eda8c80eb17
767ddb31cfaad41b01fd33806647d7d894626638
7f5f64a02881ea6855656af831a166e48b59ba84
a6a36e1052893c0fa649f3352caf33949e67be55
aee4e968522b85b6b975e4e223004139ff0fd2ce
b6122e77952924b9e0da37b7aa08cd7320e1a3f6
c967d80fe4328d4313addabc37cd52f3133d4ca0
e041c843d120825e77104e8742c34aef50abb143
f9d3fa5fa9d0d29fff5b5a150b0a01043a981563

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


