# isabelle_session_info

session_name: Rep_Fin_Groups
sources:
30e89132d20913969748d7338b26f8a992abf46e
6ee2ff0f6bf1a0cf002dd6146858958c27102cce
71f19ec4797f8c84a4b74f5859dd8dd527077cf9
c0a09cff0dbdeee54847ab70be74b5ea4da9b986

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89


