# isabelle_session_info

session_name: LinearQuantifierElim
sources:
0239361b737491c73b4bb9d6783181b32ba58da8
054c6977293eccd4cbc3626bdff9b09b5b1eed02
0ee3215b541f86bc4fe53798751909bd62cf17e9
3f7cde7f41116766b6e2507715dee2d2687d1606
5a02b6f08d475da226d0013dc028f2dd8de8d8b9
885c0f07284518b9555f55c8b68b0c832c0976e2
8a67c50901bda972910644190134fc2a48f50a20
982a8d2f6bb7f8ee762b35d520af37364f00770e
9c2985f65da43545bf020409a31833f5136be0cc
ad135b7866c16262bec7d76c3da90107e2896535
b426c65a3dfb9ab65f346b85a5f2edca0f4ae31c
bdd71ba68bc2bce26c0ff54d2f0754319e7ed4d9
c9054cfe88fc120a341601dd7292b2b9aff67fbd
ca49fac3e0a3d68dfea9b74c41434c21dd132c41
d17dcb20e05b48c602f054397b140f959314309a
d22f17c33d94aedb045659ab65d5f3dd459be331
e518bb6cf0c689764ea79234974795210d42cad2
ea8234019ee7d3a1d1ca9540c4a1560165dbcef8
eb11b36f9f02876598691476d28c63ccf1c44127
f414239f5f3ac22edf222057f4a5680c6fd0086e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


