# isabelle_session_info

session_name: SequentInvertibility
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
1bb994cd796cc79086be101003bf6c200a09265e
5f360baf4e8402e91487d0a01e303c5cf4e17e70
6e6830125da19514bcf5366d94739ff4e39de0ad
6efffaeca090f1848646001c43a0bfc28731204d
70f5cb794f1eceb72184414ed24ca1f4ced8e723
767b848e899bf51172cfcafea6b2fd397e8b0312
78759369f7db0a7b2e1ca4cd148107e261ab15f1
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
a9d939422fb2e34039938ae5e74922d408eb51be
bae67d108c6c5e9b336b83c8f4eb0c3b2c6bec72
bcd15d470f1434e70b19be93c7d4f49ac2871135
ef94c735cccfb02600840260444872022eddbc1e
f50426b844aa6e8d8b31e6b1a8e70ee0faa0c8e0
f981fd7189936f86a0a9a4d341211b45517df4cb

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
97f2a8558bb7c10ccc08ab98510a8e738690f181


