# isabelle_session_info

session_name: SequentInvertibility
sources:
06011559ec785a11f27026e54f8f001ef7134872
0d580bf42bc51aaa37c5a80026ed7c5ac977a62b
0f83e9379368d232af1423c3a9685e6e1cf74f88
1bb994cd796cc79086be101003bf6c200a09265e
522bcb9a610337e933ce40aa2fef535bb8065631
70f5cb794f1eceb72184414ed24ca1f4ced8e723
767b848e899bf51172cfcafea6b2fd397e8b0312
78759369f7db0a7b2e1ca4cd148107e261ab15f1
82fce86746f9061205d625fb926c1da3b71e3bc1
97020981c6aabcd5f9a12344194388cc00a68b45
99d06e148ca7ee3dbde6bb85038c0d73e8d5e4f0
a6d881014016ac510413e96c94577bf126ea335f
bcd15d470f1434e70b19be93c7d4f49ac2871135
ec47a970dcb2f77bd7f4df637733541e0452d280
f981fd7189936f86a0a9a4d341211b45517df4cb
fbdbabfbfb7a386967703fc27a5e312d838f2e3c

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
411b4b14c43f9856bdacc7f9127730f198ab1c9f


