# isabelle_session_info

session_name: Abs_Int_ITP2012
sources:
131c9598e4d3c8713102030cb7372854cb1247a2
1c0e2e5db0ce5f4c21f9696c9c8849f5bd503d31
2294a811339c9fed7c39dc1a187253e92695985a
332124682321656e702ebd7a5d933f675dfc2c80
41de83420a499aa06eb5c86c866a6e7451324212
51eab392c3a386d8267ec19c2401af32630d590b
5916380c51ea09b3443b25eba72b0511f03bc4bd
65f6c39b1ebe4143f8fae682f68e4473477f0796
767ddb31cfaad41b01fd33806647d7d894626638
76ae4c679051eb9ef25a4d54d185dedebc4b9950
7f5f64a02881ea6855656af831a166e48b59ba84
9c9c413608c51826f0151108ce44be6228bf12fe
a6a36e1052893c0fa649f3352caf33949e67be55
aee4e968522b85b6b975e4e223004139ff0fd2ce
b6122e77952924b9e0da37b7aa08cd7320e1a3f6
dc94f1bda507b27a36b3acee6798203ee88796ea
e041c843d120825e77104e8742c34aef50abb143
f64671eb9558715bab78b76e63eebdb15394e1c9
f885fbbcd07e5056f7a71c43b5bed2ba49e3dbb2

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


