# isabelle_session_info

session_name: SequentInvertibility
sources:
06011559ec785a11f27026e54f8f001ef7134872
0d580bf42bc51aaa37c5a80026ed7c5ac977a62b
1bb994cd796cc79086be101003bf6c200a09265e
1bc701f8eb6474e542db12a6b783a92904024b2b
34221437a109a5594ba7786476b5abb5979a2647
3e5f4718a1a743f369fe454d8673c886ffdf897f
522bcb9a610337e933ce40aa2fef535bb8065631
70f5cb794f1eceb72184414ed24ca1f4ced8e723
82fce86746f9061205d625fb926c1da3b71e3bc1
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
bcd15d470f1434e70b19be93c7d4f49ac2871135
d590558ac27bd56791168a8179e1e46d592628cd
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad
ec47a970dcb2f77bd7f4df637733541e0452d280
f981fd7189936f86a0a9a4d341211b45517df4cb
fbdbabfbfb7a386967703fc27a5e312d838f2e3c

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
0446cbee183b4375f1d1571ae2c911c242138661


