# isabelle_session_info

session_name: UpDown_Scheme
sources: 4e10ed1757c1bb59759b4d3ab7e4bd4f72a991aa
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
46924ae7fdf2d3b6dfe0db46173b9c412365c8f6
b6fab83d44fbd50133ed1478e9491fefa6c65b6d


