# isabelle_session_info

session_name: Hermite
sources: fe3f93ab6a73cbfdd5c5fdc83ed00421a69df5b6
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
4e1edfe7234d69db0c391af4bc472f546b8db87f
de853bb1d9939fcd62e9d9fb4490a0333d11d97f


