# isabelle_session_info

session_name: ConcurrentIMP
sources:
076a275d1a7335859d9ab7f123afbb6fc703e10a
09e822e578576307ce4efbd535ac1298f95273ae
1cb50933e77751ca1b1d3554747156be37cde036
403ca2498b513dfe276daf04607f35c6828e8166
6b4a4ae76ef34970522c8339d9f8ad195fc4ae01
7c49de5e9b3ed6cc22e840b8feab24d221e42996
8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff
9eb774097b3b819ccd6a4678f889ea1f52435831
abb52186ce0c45031b3ba6c2704d52a3ee29a821
b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c
c8b28635b2e5a8aa1607d2d9124a98e97e15fd40

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567


