# isabelle_session_info

session_name: Sequents
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347
sources:
09e42578360a7629cd09c222587dd793115811c6
116c97ad26eaab501bf78fa047a3017488d2e7db
251889998129977dcc5991bbef6eb05299c2da5c
33fba5ff8b216af98705321587f3bde74ab7f735
5deb55d18de32716c6a23639ffdc8ace8986f3f2
5ecd0a28960b1b2d44076993f2a328d5d3068b75
6998c7523e1c0980bd27ad7bf03bde3f267cff2d
6e1588a629d4d51dba9f12e94162fc84243f0041
6fc2f417f1d888086aee52c5e42b3cbe080aebe4
7dd3c42e329e6de4b651cd7707e8a127eb7123cc
9f9e788798da12cfe35c9483f5f33eeb34fe703d
a3eeb85474f76ade6f424a010d5e349811eb723c
a6aa14a4a3cb8b64280a38e88df7f88215099ac0
ae3c4c43dc898784d6f8cd2d4b61ead24a00e62f
ae81ad5cc5167f467241b3ceafb48c7321b64b19
b1059b69bbe49eed61aa110ed9cab68402f340d7
bd9a94da1e8afbf67ce4081424bc53f6ae5c6c7d
f9804929b3b4eb5ee622b1362286787411430f48


