# isabelle_session_info

session_name: SequentInvertibility
sources:
06011559ec785a11f27026e54f8f001ef7134872
0d580bf42bc51aaa37c5a80026ed7c5ac977a62b
0f83e9379368d232af1423c3a9685e6e1cf74f88
1bb994cd796cc79086be101003bf6c200a09265e
31b7c7e0a079e2361c8f01374d417b3b91042909
34221437a109a5594ba7786476b5abb5979a2647
522bcb9a610337e933ce40aa2fef535bb8065631
70f5cb794f1eceb72184414ed24ca1f4ced8e723
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
97020981c6aabcd5f9a12344194388cc00a68b45
a6d881014016ac510413e96c94577bf126ea335f
bcd15d470f1434e70b19be93c7d4f49ac2871135
ec47a970dcb2f77bd7f4df637733541e0452d280
f981fd7189936f86a0a9a4d341211b45517df4cb
fbdbabfbfb7a386967703fc27a5e312d838f2e3c

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
575bd1ddaeebeb2381323a2568454825f5f6c46f


