# isabelle_session_info

session_name: LTL_to_DRA
sources:
05319997465498fd50eec9bd57412d97d74920c9
2af1f0acc05cbb4debce00c194883618bdf947ee
305956dd519eb0ed6d89481a506e9a58b70c053a
471183e9525201884529e8c87135bfb1c3ec0562
5b7a8a74977f35c97745ff4512f1447d08ad5d6c
5c35e753de9008821a6118aedcc339f9365e8561
5c7aad52516ad734c5184e396b92353f16d0969a
73f9974b8de1377495f6ec6fb87149fcc00641c7
77151cf25e81dff7515a62245d38b5be1d0232dc
831170309fd0f2a164931736839a7fc72a82dac3
865e842c28f01431dd0d018fdf5b4e30c4143b99
8bece84c70c54c61f926817eef0491f38ce1a283
9543d7ce503da655163478fcf812f892fdc30259
a11b2b260022912a7747f4596797fec1a9bd197c
abbd179296efc7391814a938d7c67ca73a6cd7fb
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
b7e2285fc35636c5e216495767017cea58992d10
b991207dc39dc1af90cb4995520fe332e27e6a6a
bdd7f45a00fa4cfa908ad654226e0323ddde7b83
c58c34ef2d0c582fe9cda2b118575653d8ed2e0c
c8bedb3d9fb612d8e5ce0162734a34d3619849f8
d2fab2f6c707c654e3da5c35320f5884b2346d4c
d3cfd1f27b46179ccb9ba70affb26bf2a67df512
de72d506013358d751f05ce0db7499722a2fe22c
e3df2ea96144e7e9c754a369de8056abd7a93dbf
fd37bd78a1d1880d064952247d2566df475b4741
fecefaa99a6004e12b366e59817d3f39655441d3

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
b620adee2838b6eb9a396ba0c97bd9edea68648a


